Termination Competition 2018: SRS Relative30037

Job info CSV
benchmark AProVE standard NaTT Default ttt2-1.17+nonreach ttt2-1.17+nonreach MultumNonMulta3.12_29June2018A default
SRS_Relative/Waldmann_06_relative/rbeans.xml 5166276 MAYBE 0.36/0.28 MAYBE 0.02/0.01 MAYBE 99.11/42.37 timeout (cpu) [out]
SRS_Relative/Waldmann_06_relative/r8.xml 5166277 YES 21.66/6.16 MAYBE 0.24/0.20 YES 11.00/3.05 YES 1.14/0.54
SRS_Relative/Waldmann_06_relative/r4.xml 5166278 YES 1093.41/274.31 MAYBE 0.10/0.09 MAYBE 158.98/42.38 timeout (cpu) [out]
SRS_Relative/Waldmann_06_relative/r1.xml 5166279 MAYBE 0.33/2.63 MAYBE 0.01/0.01 MAYBE 91.57/42.38 YES 0.66/0.42
SRS_Relative/Waldmann_06_relative/r5.xml 5166280 YES 20.14/5.73 MAYBE 0.08/0.07 YES 14.34/3.87 memout [out]
SRS_Relative/Waldmann_06_relative/r9.xml 5166281 YES 27.23/7.77 YES 0.02/0.03 YES 4.35/1.37 YES 0.97/0.51
SRS_Relative/Waldmann_06_relative/r6.xml 5166282 YES 9.58/3.15 MAYBE 0.10/0.09 YES 9.99/2.80 YES 0.83/0.47
SRS_Relative/Waldmann_06_relative/r7.xml 5166283 YES 4.64/1.89 MAYBE 0.13/0.11 YES 7.23/2.11 YES 0.88/0.59
SRS_Relative/Waldmann_06_relative/r3.xml 5166284 YES 31.01/8.50 MAYBE 0.07/0.06 YES 4.35/1.37 YES 1.27/0.59
SRS_Relative/Waldmann_06_relative/r10.xml 5166285 YES 479.01/120.61 MAYBE 0.26/0.21 MAYBE 159.36/42.37 YES 2.89/1.18
SRS_Relative/Waldmann_06_relative/r2.xml 5166286 MAYBE 0.34/0.25 MAYBE 0.02/0.02 YES 17.88/4.79 memout [out]
SRS_Relative/Mixed_relative_SRS/zr07.xml 5166256 YES 9.26/3.05 YES 0.11/0.09 YES 10.14/2.83 YES 0.88/0.49
SRS_Relative/Mixed_relative_SRS/zr02new.xml 5166257 YES 8.20/2.80 MAYBE 0.13/0.11 YES 24.27/6.38 YES 1.72/0.70
SRS_Relative/Mixed_relative_SRS/zr01.xml 5166258 YES 5.30/2.07 MAYBE 0.08/0.07 YES 6.43/1.90 YES 0.62/0.41
SRS_Relative/Mixed_relative_SRS/zr05.xml 5166259 YES 4.44/1.82 YES 0.04/0.03 YES 3.81/1.24 YES 0.87/0.59
SRS_Relative/Mixed_relative_SRS/un03.xml 5166260 run script error [out] MAYBE 1.69/1.46 MAYBE 160.41/42.40 YES 65.24/16.74
SRS_Relative/Mixed_relative_SRS/zr03.xml 5166261 YES 4.21/1.75 YES 0.01/0.01 YES 3.02/1.04 YES 0.70/0.44
SRS_Relative/Mixed_relative_SRS/zr11.xml 5166262 YES 9.80/3.22 MAYBE 0.20/0.17 YES 12.08/3.32 YES 0.83/0.55
SRS_Relative/Mixed_relative_SRS/dup04.xml 5166263 YES 192.44/49.39 MAYBE 16.77/16.69 MAYBE 159.37/42.38 YES 0.79/0.45
SRS_Relative/Mixed_relative_SRS/zr04.xml 5166264 YES 20.86/6.04 MAYBE 0.23/0.21 MAYBE 168.50/42.46 YES 1.11/0.55
SRS_Relative/Mixed_relative_SRS/zr08.xml 5166265 YES 8.65/3.08 YES 0.02/0.02 YES 6.35/1.89 YES 0.62/0.42
SRS_Relative/Mixed_relative_SRS/zr09.xml 5166266 YES 5.87/2.16 run script error [out] YES 7.82/2.24 YES 0.69/0.44
SRS_Relative/Mixed_relative_SRS/zr12.xml 5166267 YES 6.20/2.24 MAYBE 0.06/0.05 YES 9.20/2.60 YES 0.84/0.48
SRS_Relative/Mixed_relative_SRS/un01.xml 5166268 YES 29.70/10.27 MAYBE 0.16/0.14 MAYBE 159.53/42.38 YES 0.76/0.44
SRS_Relative/Mixed_relative_SRS/zr13.xml 5166269 NO 3.85/1.68 MAYBE 0.06/0.05 NO 2.63/0.97 NO 0.46/0.36
SRS_Relative/Mixed_relative_SRS/dup02.xml 5166270 YES 98.75/25.69 MAYBE 1.82/1.72 MAYBE 168.13/42.49 memout [out]
SRS_Relative/Mixed_relative_SRS/zr04new.xml 5166271 YES 15.74/4.77 MAYBE 0.10/0.09 MAYBE 168.41/42.46 YES 1.28/0.59
SRS_Relative/Mixed_relative_SRS/zr06.xml 5166272 YES 7.61/3.13 YES 0.04/0.04 YES 4.06/1.30 YES 0.86/0.48
SRS_Relative/Mixed_relative_SRS/dup03.xml 5166273 YES 53.06/14.25 YES 2.44/1.79 MAYBE 165.98/42.38 YES 1.26/0.67
SRS_Relative/Mixed_relative_SRS/zr02.xml 5166274 YES 7.13/2.69 MAYBE 0.14/0.12 YES 22.80/6.02 YES 0.80/0.46
SRS_Relative/Mixed_relative_SRS/zr10.xml 5166275 YES 11.60/3.93 MAYBE 0.13/0.11 YES 21.11/5.58 YES 0.76/0.45
SRS_Relative/Zantema_06_relative/rel12.xml 5166242 run script error [out] MAYBE 0.15/0.13 MAYBE 163.48/42.38 memout [out]
SRS_Relative/Zantema_06_relative/rel10.xml 5166243 YES 32.45/9.26 MAYBE 0.23/0.22 MAYBE 151.61/42.38 YES 2.34/0.86
SRS_Relative/Zantema_06_relative/rel11.xml 5166244 run script error [out] MAYBE 0.10/0.09 MAYBE 169.51/42.77 memout [out]
SRS_Relative/Zantema_06_relative/rel08.xml 5166245 YES 8.66/2.90 MAYBE 0.12/0.10 MAYBE 164.10/42.38 YES 5.74/1.95
SRS_Relative/Zantema_06_relative/rel06.xml 5166246 YES 32.21/8.90 MAYBE 0.08/0.07 MAYBE 156.98/42.38 memout [out]
SRS_Relative/Zantema_06_relative/rel05.xml 5166247 YES 11.28/3.63 MAYBE 0.14/0.11 YES 11.90/3.29 YES 0.98/0.62
SRS_Relative/Zantema_06_relative/rel02.xml 5166248 YES 13.23/4.05 MAYBE 0.14/0.13 MAYBE 159.15/42.38 YES 1.62/0.70
SRS_Relative/Zantema_06_relative/rel13.xml 5166249 YES 6.27/2.32 MAYBE 0.07/0.06 YES 19.97/5.29 YES 0.88/0.49
SRS_Relative/Zantema_06_relative/rel01.xml 5166250 YES 5.51/2.15 MAYBE 0.07/0.05 YES 7.43/2.16 YES 0.88/0.49
SRS_Relative/Zantema_06_relative/rel07.xml 5166251 run script error [out] MAYBE 0.22/0.19 MAYBE 158.10/42.38 timeout (cpu) [out]
SRS_Relative/Zantema_06_relative/rel03.xml 5166252 run script error [out] MAYBE 0.17/0.14 MAYBE 160.23/42.37 memout [out]
SRS_Relative/Zantema_06_relative/cars.xml 5166253 run script error [out] MAYBE 0.10/0.09 MAYBE 168.39/42.48 memout [out]
SRS_Relative/Zantema_06_relative/rel04.xml 5166254 YES 11.02/3.61 MAYBE 0.16/0.13 YES 20.42/5.41 YES 0.84/0.48
SRS_Relative/Zantema_06_relative/rel09.xml 5166255 YES 27.56/7.97 MAYBE 0.23/0.22 MAYBE 155.43/42.39 YES 101.77/28.43
SRS_Relative/ICFP_2010_relative/4484.xml 5166287 run script error [out] run script error [out] MAYBE 141.51/42.67 YES 120.20/42.98
SRS_Relative/ICFP_2010_relative/131982.xml 5166288 timeout (wallclock) [out] run script error [out] MAYBE 142.93/43.51 YES 325.61/83.16
SRS_Relative/ICFP_2010_relative/137809.xml 5166289 run script error [out] run script error [out] MAYBE 142.83/43.50 YES 1017.88/256.48
SRS_Relative/ICFP_2010_relative/4057.xml 5166290 run script error [out] run script error [out] MAYBE 141.49/42.67 memout [out]
SRS_Relative/ICFP_2010_relative/139256.xml 5166291 YES 52.83/14.08 run script error [out] MAYBE 142.78/43.83 YES 65.61/17.00
SRS_Relative/ICFP_2010_relative/5130.xml 5166292 YES 120.02/31.13 run script error [out] MAYBE 141.37/42.67 YES 108.80/28.89
SRS_Relative/ICFP_2010_relative/3770.xml 5166293 run script error [out] run script error [out] MAYBE 141.49/42.68 timeout (wallclock) [out]
SRS_Relative/ICFP_2010_relative/135604.xml 5166294 run script error [out] run script error [out] MAYBE 142.76/43.51 YES 789.33/199.42
SRS_Relative/ICFP_2010_relative/3842.xml 5166295 run script error [out] run script error [out] MAYBE 141.59/42.68 YES 25.52/7.74
SRS_Relative/ICFP_2010_relative/4979.xml 5166296 run script error [out] run script error [out] MAYBE 141.19/42.66 YES 371.11/96.57
SRS_Relative/ICFP_2010_relative/4487.xml 5166297 run script error [out] run script error [out] MAYBE 141.55/42.68 YES 77.15/19.73
SRS_Relative/ICFP_2010_relative/4943.xml 5166298 run script error [out] run script error [out] MAYBE 141.76/42.67 YES 233.33/61.58
SRS_Relative/ICFP_2010_relative/3916.xml 5166299 MAYBE 0.59/0.33 MAYBE 1.13/1.11 MAYBE 100.30/42.62 memout [out]
SRS_Relative/ICFP_2010_relative/4106.xml 5166300 run script error [out] run script error [out] MAYBE 141.44/42.65 memout [out]
SRS_Relative/ICFP_2010_relative/4893.xml 5166301 run script error [out] run script error [out] MAYBE 141.39/42.67 YES 33.76/10.55
SRS_Relative/ICFP_2010_relative/136051.xml 5166302 run script error [out] run script error [out] MAYBE 142.63/43.49 YES 869.10/219.68
SRS_Relative/ICFP_2010_relative/139310.xml 5166303 YES 39.95/10.92 run script error [out] MAYBE 141.80/43.83 YES 48.93/13.13
SRS_Relative/ICFP_2010_relative/136623.xml 5166304 run script error [out] run script error [out] MAYBE 142.38/43.45 YES 929.44/235.69
SRS_Relative/ICFP_2010_relative/132478.xml 5166305 YES 55.50/14.67 run script error [out] MAYBE 142.82/43.84 YES 61.37/17.72
SRS_Relative/ICFP_2010_relative/4824.xml 5166306 run script error [out] run script error [out] MAYBE 141.55/42.66 YES 19.53/5.30
SRS_Relative/ICFP_2010_relative/4938.xml 5166307 run script error [out] run script error [out] MAYBE 141.63/42.67 YES 110.10/27.95
SRS_Relative/ICFP_2010_relative/88172.xml 5166308 run script error [out] run script error [out] MAYBE 141.72/42.81 YES 11.86/3.58
SRS_Relative/ICFP_2010_relative/132920.xml 5166309 YES 39.29/10.68 run script error [out] MAYBE 141.71/43.84 YES 120.86/71.54
SRS_Relative/ICFP_2010_relative/139163.xml 5166310 YES 70.21/18.68 run script error [out] MAYBE 142.00/43.85 run script error [out]
SRS_Relative/ICFP_2010_relative/97888.xml 5166311 run script error [out] run script error [out] MAYBE 144.85/45.95 timeout (cpu) [out]
SRS_Relative/ICFP_2010_relative/4374.xml 5166312 run script error [out] run script error [out] run script error [out] timeout (cpu) [out]
SRS_Relative/ICFP_2010_relative/128430.xml 5166313 YES 47.32/12.83 run script error [out] MAYBE 142.28/43.83 YES 64.56/22.45
SRS_Relative/ICFP_2010_relative/135328.xml 5166314 run script error [out] run script error [out] MAYBE 142.65/43.47 YES 1148.32/288.13
SRS_Relative/ICFP_2010_relative/140639.xml 5166315 run script error [out] run script error [out] MAYBE 142.46/43.35 timeout (cpu) [out]
SRS_Relative/ICFP_2010_relative/139174.xml 5166316 YES 41.88/11.42 run script error [out] MAYBE 142.85/43.85 YES 57.74/15.22
SRS_Relative/ICFP_2010_relative/4157.xml 5166317 run script error [out] run script error [out] MAYBE 141.61/42.71 timeout (cpu) [out]
SRS_Relative/ICFP_2010_relative/91242.xml 5166318 run script error [out] run script error [out] MAYBE 143.07/43.86 timeout (cpu) [out]
SRS_Relative/ICFP_2010_relative/140664.xml 5166319 run script error [out] run script error [out] MAYBE 141.86/43.32 timeout (cpu) [out]
SRS_Relative/ICFP_2010_relative/128691.xml 5166320 YES 39.44/10.73 run script error [out] MAYBE 142.85/43.84 YES 56.43/17.52
SRS_Relative/ICFP_2010_relative/4953.xml 5166321 run script error [out] run script error [out] MAYBE 141.65/42.69 YES 112.51/28.81
SRS_Relative/ICFP_2010_relative/131633.xml 5166322 run script error [out] run script error [out] MAYBE 142.77/43.51 YES 358.45/92.91
SRS_Relative/ICFP_2010_relative/128550.xml 5166323 YES 54.62/15.00 run script error [out] MAYBE 142.81/43.84 YES 76.83/31.02
SRS_Relative/ICFP_2010_relative/133486.xml 5166324 run script error [out] run script error [out] MAYBE 142.64/43.47 YES 886.07/222.23
SRS_Relative/ICFP_2010_relative/134918.xml 5166325 run script error [out] run script error [out] MAYBE 143.00/43.49 YES 876.02/220.07
SRS_Relative/ICFP_2010_relative/138269.xml 5166326 run script error [out] run script error [out] MAYBE 142.88/43.51 run script error [out]
SRS_Relative/ICFP_2010_relative/4964.xml 5166327 run script error [out] run script error [out] MAYBE 141.71/42.66 YES 13.13/3.60
SRS_Relative/ICFP_2010_relative/133010.xml 5166328 YES 44.15/11.86 run script error [out] MAYBE 141.86/43.82 YES 97.05/54.59
SRS_Relative/ICFP_2010_relative/133159.xml 5166329 run script error [out] run script error [out] MAYBE 142.56/43.49 YES 769.99/196.44
SRS_Relative/ICFP_2010_relative/128280.xml 5166330 YES 44.48/12.45 run script error [out] MAYBE 142.91/43.83 YES 58.95/15.70
SRS_Relative/ICFP_2010_relative/127538.xml 5166331 YES 49.80/13.51 run script error [out] MAYBE 141.75/43.83 YES 58.25/17.07
SRS_Relative/ICFP_2010_relative/3989.xml 5166332 run script error [out] run script error [out] MAYBE 141.43/42.66 timeout (cpu) [out]
SRS_Relative/ICFP_2010_relative/140631.xml 5166333 run script error [out] run script error [out] MAYBE 142.33/43.39 timeout (cpu) [out]
SRS_Relative/ICFP_2010_relative/128486.xml 5166334 YES 32.40/8.95 run script error [out] MAYBE 141.78/43.94 YES 58.67/15.35
SRS_Relative/ICFP_2010_relative/140649.xml 5166335 run script error [out] run script error [out] MAYBE 142.35/43.41 timeout (cpu) [out]
SRS_Relative/ICFP_2010_relative/124791.xml 5166336 run script error [out] run script error [out] MAYBE 142.93/43.49 YES 791.49/199.37
SRS_Relative/ICFP_2010_relative/139018.xml 5166337 YES 40.02/10.94 run script error [out] MAYBE 142.04/43.88 YES 59.52/17.57
SRS_Relative/ICFP_2010_relative/3533.xml 5166338 run script error [out] run script error [out] MAYBE 142.78/42.68 timeout (cpu) [out]
SRS_Relative/ICFP_2010_relative/139036.xml 5166339 YES 40.79/11.11 run script error [out] MAYBE 142.67/43.83 YES 57.91/17.08
SRS_Relative/ICFP_2010_relative/139180.xml 5166340 YES 81.19/21.73 run script error [out] MAYBE 142.75/43.85 run script error [out]
SRS_Relative/ICFP_2010_relative/139378.xml 5166341 YES 49.00/13.63 run script error [out] MAYBE 141.78/43.82 YES 51.93/14.27
SRS_Relative/ICFP_2010_relative/140359.xml 5166342 YES 41.79/11.36 run script error [out] MAYBE 142.67/43.84 run script error [out]
SRS_Relative/ICFP_2010_relative/4920.xml 5166343 run script error [out] run script error [out] MAYBE 141.52/42.67 memout [out]
SRS_Relative/ICFP_2010_relative/41378.xml 5166344 run script error [out] run script error [out] MAYBE 153.44/54.33 YES 66.26/18.41
SRS_Relative/ICFP_2010_relative/3831.xml 5166345 YES 114.12/29.78 run script error [out] MAYBE 141.43/42.69 YES 71.85/20.38
SRS_Relative/ICFP_2010_relative/124211.xml 5166346 run script error [out] run script error [out] MAYBE 142.75/43.46 YES 693.50/173.89
SRS_Relative/ICFP_2010_relative/138330.xml 5166347 run script error [out] run script error [out] MAYBE 142.61/43.49 YES 788.69/199.88
SRS_Relative/ICFP_2010_relative/138477.xml 5166348 run script error [out] run script error [out] MAYBE 142.67/43.48 YES 982.28/246.70
SRS_Relative/ICFP_2010_relative/132235.xml 5166349 run script error [out] run script error [out] MAYBE 142.61/43.48 YES 840.89/214.25
SRS_Relative/ICFP_2010_relative/139214.xml 5166350 YES 47.62/12.80 run script error [out] MAYBE 142.79/43.84 YES 59.25/15.24
SRS_Relative/ICFP_2010_relative/3268.xml 5166351 run script error [out] run script error [out] MAYBE 138.69/42.47 YES 4.09/1.48
SRS_Relative/ICFP_2010_relative/139025.xml 5166352 YES 52.00/13.92 run script error [out] MAYBE 142.61/43.84 YES 275.26/78.86
SRS_Relative/ICFP_2010_relative/5109.xml 5166353 YES 98.27/25.73 run script error [out] MAYBE 141.73/42.67 YES 116.15/30.10
SRS_Relative/ICFP_2010_relative/139185.xml 5166354 YES 39.25/10.74 run script error [out] MAYBE 142.73/43.83 YES 82.29/36.55
SRS_Relative/ICFP_2010_relative/4200.xml 5166355 run script error [out] run script error [out] MAYBE 141.53/42.68 timeout (cpu) [out]
SRS_Relative/ICFP_2010_relative/3467.xml 5166356 run script error [out] run script error [out] MAYBE 141.39/42.68 YES 76.21/19.52
SRS_Relative/ICFP_2010_relative/139100.xml 5166357 YES 49.16/13.13 run script error [out] MAYBE 142.82/43.88 run script error [out]
SRS_Relative/ICFP_2010_relative/128182.xml 5166358 YES 49.81/13.49 run script error [out] MAYBE 142.75/43.84 YES 57.69/15.41
SRS_Relative/ICFP_2010_relative/124269.xml 5166359 run script error [out] run script error [out] run script error [out] timeout (cpu) [out]
SRS_Relative/ICFP_2010_relative/142142.xml 5166360 run script error [out] run script error [out] MAYBE 142.28/43.38 timeout (cpu) [out]
SRS_Relative/ICFP_2010_relative/3865.xml 5166361 run script error [out] run script error [out] MAYBE 141.62/42.69 YES 436.81/113.18
SRS_Relative/ICFP_2010_relative/3995.xml 5166362 run script error [out] run script error [out] MAYBE 141.49/42.68 YES 69.51/18.20
SRS_Relative/ICFP_2010_relative/138993.xml 5166363 YES 52.76/14.05 run script error [out] MAYBE 141.76/43.93 YES 54.67/16.49
SRS_Relative/ICFP_2010_relative/142146.xml 5166364 YES 69.99/31.01 run script error [out] MAYBE 141.51/43.33 YES 15.97/4.40
SRS_Relative/ICFP_2010_relative/63142.xml 5166365 run script error [out] run script error [out] MAYBE 141.93/42.80 YES 40.96/10.70
SRS_Relative/ICFP_2010_relative/4819.xml 5166366 YES 86.46/23.27 run script error [out] MAYBE 141.53/42.67 YES 41.86/11.16
SRS_Relative/ICFP_2010_relative/135782.xml 5166367 run script error [out] run script error [out] MAYBE 142.55/43.49 YES 599.07/151.68
SRS_Relative/ICFP_2010_relative/4282.xml 5166368 timeout (wallclock) [out] run script error [out] MAYBE 141.67/42.66 YES 76.74/21.61
SRS_Relative/ICFP_2010_relative/137404.xml 5166369 run script error [out] run script error [out] MAYBE 143.00/43.50 YES 1033.82/262.41
SRS_Relative/ICFP_2010_relative/139190.xml 5166370 YES 38.66/11.05 run script error [out] MAYBE 142.77/43.85 YES 73.98/30.73
SRS_Relative/ICFP_2010_relative/3786.xml 5166371 run script error [out] run script error [out] MAYBE 141.70/42.69 YES 51.45/15.50
SRS_Relative/ICFP_2010_relative/4074.xml 5166372 run script error [out] run script error [out] MAYBE 141.49/42.68 YES 71.86/20.49
SRS_Relative/ICFP_2010_relative/97917.xml 5166373 run script error [out] run script error [out] MAYBE 144.68/45.94 timeout (cpu) [out]
SRS_Relative/ICFP_2010_relative/132622.xml 5166374 YES 44.15/11.91 run script error [out] MAYBE 142.63/43.86 YES 216.97/85.07
SRS_Relative/ICFP_2010_relative/135115.xml 5166375 run script error [out] run script error [out] MAYBE 143.00/43.51 YES 1038.31/262.59
SRS_Relative/ICFP_2010_relative/107236.xml 5166376 run script error [out] run script error [out] MAYBE 143.90/44.99 timeout (cpu) [out]
SRS_Relative/ICFP_2010_relative/132720.xml 5166377 YES 37.76/10.42 run script error [out] MAYBE 141.89/43.84 YES 74.75/21.43
SRS_Relative/ICFP_2010_relative/140659.xml 5166378 run script error [out] run script error [out] MAYBE 142.28/43.33 timeout (cpu) [out]
SRS_Relative/ICFP_2010_relative/139167.xml 5166379 YES 52.02/14.39 run script error [out] MAYBE 142.85/43.86 YES 71.65/30.96
SRS_Relative/ICFP_2010_relative/4412.xml 5166380 YES 133.79/34.34 run script error [out] MAYBE 141.48/42.68 YES 19.76/5.38
SRS_Relative/ICFP_2010_relative/140287.xml 5166381 run script error [out] run script error [out] MAYBE 141.75/43.82 timeout (cpu) [out]
SRS_Relative/ICFP_2010_relative/138194.xml 5166382 run script error [out] run script error [out] MAYBE 142.60/43.46 YES 660.34/167.87
SRS_Relative/ICFP_2010_relative/4934.xml 5166383 run script error [out] run script error [out] MAYBE 141.61/42.67 timeout (cpu) [out]
SRS_Relative/ICFP_2010_relative/135936.xml 5166384 YES 559.58/154.02 run script error [out] MAYBE 142.69/43.47 YES 943.11/238.06
SRS_Relative/ICFP_2010_relative/123759.xml 5166385 run script error [out] run script error [out] run script error [out] run script error [out]
SRS_Relative/ICFP_2010_relative/4991.xml 5166386 run script error [out] run script error [out] MAYBE 141.58/42.67 timeout (cpu) [out]
SRS_Relative/ICFP_2010_relative/3633.xml 5166387 timeout (wallclock) [out] run script error [out] MAYBE 141.60/42.68 YES 638.30/163.69
SRS_Relative/ICFP_2010_relative/139004.xml 5166388 YES 44.82/12.09 run script error [out] MAYBE 142.02/43.88 YES 82.06/32.85
SRS_Relative/ICFP_2010_relative/3705.xml 5166389 run script error [out] run script error [out] MAYBE 141.56/42.68 YES 332.41/83.93
SRS_Relative/ICFP_2010_relative/3746.xml 5166390 run script error [out] run script error [out] MAYBE 142.99/42.66 timeout (cpu) [out]
SRS_Relative/ICFP_2010_relative/142157.xml 5166391 run script error [out] run script error [out] MAYBE 141.98/43.36 timeout (cpu) [out]
SRS_Relative/ICFP_2010_relative/4051.xml 5166392 YES 233.69/59.37 run script error [out] MAYBE 141.59/42.68 YES 66.10/18.73
SRS_Relative/ICFP_2010_relative/4248.xml 5166393 run script error [out] run script error [out] MAYBE 141.54/42.69 timeout (cpu) [out]
SRS_Relative/ICFP_2010_relative/4840.xml 5166394 run script error [out] run script error [out] MAYBE 141.35/42.67 memout [out]
SRS_Relative/ICFP_2010_relative/140654.xml 5166395 run script error [out] run script error [out] MAYBE 142.25/43.38 timeout (cpu) [out]
SRS_Relative/ICFP_2010_relative/128515.xml 5166396 YES 63.72/16.75 run script error [out] MAYBE 142.88/43.83 run script error [out]
SRS_Relative/ICFP_2010_relative/128620.xml 5166397 YES 42.68/11.62 run script error [out] MAYBE 142.68/43.83 YES 58.67/17.16
SRS_Relative/ICFP_2010_relative/4970.xml 5166398 MAYBE 0.54/0.31 MAYBE 0.96/0.95 MAYBE 100.60/42.62 memout [out]
SRS_Relative/ICFP_2010_relative/3498.xml 5166399 run script error [out] run script error [out] MAYBE 141.45/42.65 YES 16.80/4.54
SRS_Relative/ICFP_2010_relative/3450.xml 5166400 timeout (wallclock) [out] run script error [out] MAYBE 141.55/42.68 YES 80.68/37.23
SRS_Relative/ICFP_2010_relative/3589.xml 5166401 run script error [out] run script error [out] MAYBE 141.35/42.71 YES 89.24/52.34
SRS_Relative/ICFP_2010_relative/132833.xml 5166402 YES 53.19/14.18 run script error [out] MAYBE 142.86/43.84 YES 62.32/17.87
SRS_Relative/ICFP_2010_relative/133881.xml 5166403 run script error [out] run script error [out] MAYBE 142.65/43.51 YES 776.38/194.89
SRS_Relative/ICFP_2010_relative/3680.xml 5166404 YES 114.52/29.88 run script error [out] MAYBE 141.71/42.68 YES 188.73/49.68
SRS_Relative/ICFP_2010_relative/4036.xml 5166405 YES 213.30/54.86 run script error [out] MAYBE 141.57/42.70 YES 84.21/23.59
SRS_Relative/ICFP_2010_relative/54097.xml 5166406 run script error [out] run script error [out] MAYBE 153.57/54.34 YES 133.32/35.28
SRS_Relative/ICFP_2010_relative/3817.xml 5166407 run script error [out] run script error [out] MAYBE 141.54/42.67 timeout (cpu) [out]
SRS_Relative/ICFP_2010_relative/4141.xml 5166408 run script error [out] run script error [out] MAYBE 142.95/42.67 YES 37.20/10.48
SRS_Relative/ICFP_2010_relative/4181.xml 5166409 YES 243.97/61.86 run script error [out] MAYBE 141.56/42.68 YES 283.32/74.05
SRS_Relative/ICFP_2010_relative/3562.xml 5166410 run script error [out] run script error [out] MAYBE 143.12/42.68 YES 100.56/54.12
SRS_Relative/ICFP_2010_relative/4002.xml 5166411 run script error [out] run script error [out] MAYBE 141.58/42.65 memout [out]
SRS_Relative/ICFP_2010_relative/136562.xml 5166412 run script error [out] run script error [out] MAYBE 142.59/43.49 YES 987.33/249.41
SRS_Relative/ICFP_2010_relative/132969.xml 5166413 run script error [out] run script error [out] MAYBE 142.74/43.50 YES 467.42/117.47
SRS_Relative/ICFP_2010_relative/4827.xml 5166414 run script error [out] run script error [out] MAYBE 141.42/42.67 timeout (cpu) [out]
SRS_Relative/ICFP_2010_relative/140318.xml 5166415 YES 38.58/10.50 run script error [out] MAYBE 142.65/43.85 YES 114.99/37.16
SRS_Relative/ICFP_2010_relative/132782.xml 5166416 YES 38.54/10.56 run script error [out] MAYBE 142.44/43.84 YES 68.50/18.14
SRS_Relative/ICFP_2010_relative/139236.xml 5166417 YES 32.73/9.38 run script error [out] MAYBE 141.80/43.81 run script error [out]
SRS_Relative/ICFP_2010_relative/3729.xml 5166418 run script error [out] run script error [out] MAYBE 141.36/42.68 YES 83.33/23.41
SRS_Relative/ICFP_2010_relative/3939.xml 5166419 run script error [out] run script error [out] MAYBE 141.71/42.68 YES 76.61/19.61
SRS_Relative/ICFP_2010_relative/3336.xml 5166420 MAYBE 0.56/0.31 MAYBE 0.19/0.19 MAYBE 100.01/42.49 YES 14.48/3.98
SRS_Relative/ICFP_2010_relative/3385.xml 5166421 run script error [out] run script error [out] MAYBE 138.04/42.51 YES 15.29/4.17
SRS_Relative/ICFP_2010_relative/128056.xml 5166422 run script error [out] run script error [out] MAYBE 142.72/43.84 timeout (cpu) [out]
SRS_Relative/ICFP_2010_relative/107220.xml 5166423 run script error [out] run script error [out] MAYBE 143.98/44.96 timeout (cpu) [out]
SRS_Relative/ICFP_2010_relative/135652.xml 5166424 run script error [out] run script error [out] MAYBE 142.68/43.48 timeout (cpu) [out]
SRS_Relative/ICFP_2010_relative/3856.xml 5166425 YES 172.81/44.00 run script error [out] MAYBE 141.55/42.68 YES 78.40/20.02
SRS_Relative/ICFP_2010_relative/132540.xml 5166426 YES 42.76/11.57 run script error [out] MAYBE 142.75/43.84 run script error [out]
SRS_Relative/ICFP_2010_relative/3930.xml 5166427 run script error [out] run script error [out] MAYBE 141.52/42.67 YES 103.01/47.82
SRS_Relative/ICFP_2010_relative/4029.xml 5166428 run script error [out] run script error [out] MAYBE 141.44/42.68 YES 779.91/199.69
SRS_Relative/ICFP_2010_relative/4816.xml 5166429 YES 188.13/47.88 run script error [out] MAYBE 141.60/42.69 YES 30.85/9.43
SRS_Relative/ICFP_2010_relative/142150.xml 5166430 run script error [out] run script error [out] MAYBE 142.37/43.38 timeout (cpu) [out]
SRS_Relative/ICFP_2010_relative/5011.xml 5166431 MAYBE 0.55/0.34 MAYBE 0.70/0.69 MAYBE 100.43/42.64 memout [out]
SRS_Relative/ICFP_2010_relative/3861.xml 5166432 run script error [out] run script error [out] MAYBE 141.45/42.66 YES 97.91/43.08
SRS_Relative/ICFP_2010_relative/132864.xml 5166433 YES 45.33/12.59 run script error [out] MAYBE 142.85/43.85 YES 85.64/41.61
SRS_Relative/ICFP_2010_relative/132957.xml 5166434 YES 55.68/15.54 run script error [out] MAYBE 141.81/43.83 run script error [out]
SRS_Relative/ICFP_2010_relative/3762.xml 5166435 run script error [out] run script error [out] MAYBE 141.77/42.68 timeout (wallclock) [out]
SRS_Relative/ICFP_2010_relative/139282.xml 5166436 YES 37.42/10.25 run script error [out] MAYBE 142.64/43.86 YES 156.79/111.52
SRS_Relative/ICFP_2010_relative/4854.xml 5166437 run script error [out] run script error [out] MAYBE 141.28/42.68 YES 727.46/182.65
SRS_Relative/ICFP_2010_relative/132738.xml 5166438 YES 39.90/10.84 run script error [out] MAYBE 142.57/43.84 YES 61.25/17.37
SRS_Relative/ICFP_2010_relative/88143.xml 5166439 YES 53.80/18.07 run script error [out] MAYBE 141.53/42.77 YES 9.90/3.14
SRS_Relative/ICFP_2010_relative/5076.xml 5166440 run script error [out] run script error [out] MAYBE 141.42/42.66 YES 769.45/197.16
SRS_Relative/ICFP_2010_relative/4847.xml 5166441 run script error [out] run script error [out] MAYBE 141.56/42.68 YES 541.65/139.54
SRS_Relative/ICFP_2010_relative/4046.xml 5166442 MAYBE 0.51/0.32 MAYBE 1.02/1.01 MAYBE 100.70/42.63 memout [out]
SRS_Relative/ICFP_2010_relative/97901.xml 5166443 run script error [out] run script error [out] MAYBE 144.12/45.98 timeout (cpu) [out]
SRS_Relative/ICFP_2010_relative/64160.xml 5166444 run script error [out] run script error [out] MAYBE 141.97/42.81 timeout (cpu) [out]
SRS_Relative/ICFP_2010_relative/97929.xml 5166445 run script error [out] run script error [out] MAYBE 144.84/45.94 timeout (cpu) [out]
SRS_Relative/ICFP_2010_relative/4017.xml 5166446 run script error [out] run script error [out] MAYBE 141.51/42.68 timeout (cpu) [out]
90 7 24 142