Termination Competition 2018: SRS Relative Certified30041

Job info CSV
benchmark AProVE certified ttt2-1.17+nonreach ttt2-1.17+nonreach-cert
SRS_Relative/Zantema_06_relative/rel12.xml 5166242 MAYBE 1164.38/292.86 MAYBE 145.52/67.33
SRS_Relative/Zantema_06_relative/rel10.xml 5166243 YES 28.48/7.88 (CERTIFIED 0.0) YES 5.60/1.68 (CERTIFIED 0.0)
SRS_Relative/Zantema_06_relative/rel11.xml 5166244 timeout (cpu) [out] MAYBE 145.49/67.42
SRS_Relative/Zantema_06_relative/rel08.xml 5166245 YES 10.52/3.43 (CERTIFIED 0.0) YES 11.04/3.04 (CERTIFIED 0.0)
SRS_Relative/Zantema_06_relative/rel06.xml 5166246 YES 35.78/9.75 (CERTIFIED 0.0) MAYBE 143.13/67.35
SRS_Relative/Zantema_06_relative/rel05.xml 5166247 YES 13.70/4.26 (CERTIFIED 0.0) YES 4.71/1.44 (CERTIFIED 0.0)
SRS_Relative/Zantema_06_relative/rel02.xml 5166248 YES 11.24/3.56 (CERTIFIED 0.0) MAYBE 142.73/67.34
SRS_Relative/Zantema_06_relative/rel13.xml 5166249 YES 7.03/2.63 (CERTIFIED 0.0) YES 9.06/2.53 (CERTIFIED 0.0)
SRS_Relative/Zantema_06_relative/rel01.xml 5166250 YES 6.14/2.23 (CERTIFIED 0.0) YES 4.00/1.27 (CERTIFIED 0.0)
SRS_Relative/Zantema_06_relative/rel07.xml 5166251 MAYBE 1163.59/292.55 run script error [out]
SRS_Relative/Zantema_06_relative/rel03.xml 5166252 timeout (cpu) [out] MAYBE 141.85/67.34
SRS_Relative/Zantema_06_relative/cars.xml 5166253 MAYBE 1189.84/298.91 run script error [out]
SRS_Relative/Zantema_06_relative/rel04.xml 5166254 YES 13.62/4.19 (CERTIFIED 0.0) YES 4.98/1.52 (CERTIFIED 0.0)
SRS_Relative/Zantema_06_relative/rel09.xml 5166255 YES 28.01/8.07 (CERTIFIED 0.0) YES 7.22/2.08 (CERTIFIED 0.0)
SRS_Relative/Waldmann_06_relative/rbeans.xml 5166276 MAYBE 0.35/0.27 MAYBE 8.83/7.33
SRS_Relative/Waldmann_06_relative/r8.xml 5166277 YES 16.90/4.98 (CERTIFIED 0.0) YES 6.98/2.00 (CERTIFIED 0.0)
SRS_Relative/Waldmann_06_relative/r4.xml 5166278 YES 932.71/234.38 (CERTIFIED 0.6) MAYBE 145.31/67.34
SRS_Relative/Waldmann_06_relative/r1.xml 5166279 MAYBE 0.36/0.27 MAYBE 8.12/7.32
SRS_Relative/Waldmann_06_relative/r5.xml 5166280 YES 13.42/4.24 (CERTIFIED 0.0) YES 4.06/1.26 (CERTIFIED 0.0)
SRS_Relative/Waldmann_06_relative/r9.xml 5166281 YES 27.29/7.56 (CERTIFIED 0.0) YES 5.85/1.73 (CERTIFIED 0.0)
SRS_Relative/Waldmann_06_relative/r6.xml 5166282 YES 9.24/3.08 (CERTIFIED 0.0) YES 4.17/1.31 (CERTIFIED 0.0)
SRS_Relative/Waldmann_06_relative/r7.xml 5166283 YES 5.12/2.08 (CERTIFIED 0.0) YES 3.61/1.16 (CERTIFIED 0.0)
SRS_Relative/Waldmann_06_relative/r3.xml 5166284 YES 28.00/7.82 (CERTIFIED 0.0) YES 2.85/0.95 (CERTIFIED 0.0)
SRS_Relative/Waldmann_06_relative/r10.xml 5166285 YES 456.36/114.97 (CERTIFIED 0.0) MAYBE 145.42/67.33
SRS_Relative/Waldmann_06_relative/r2.xml 5166286 MAYBE 0.34/0.26 MAYBE 8.81/7.32
SRS_Relative/Mixed_relative_SRS/zr07.xml 5166256 YES 8.19/2.80 (CERTIFIED 0.0) YES 3.74/1.19 (CERTIFIED 0.0)
SRS_Relative/Mixed_relative_SRS/zr02new.xml 5166257 YES 10.15/3.43 (CERTIFIED 0.0) YES 18.37/4.89 (CERTIFIED 0.0)
SRS_Relative/Mixed_relative_SRS/zr01.xml 5166258 YES 7.86/2.87 (CERTIFIED 0.0) YES 4.07/1.27 (CERTIFIED 0.0)
SRS_Relative/Mixed_relative_SRS/zr05.xml 5166259 YES 5.32/2.93 (CERTIFIED 0.0) YES 1.65/0.69 (CERTIFIED 0.0)
SRS_Relative/Mixed_relative_SRS/un03.xml 5166260 timeout (wallclock) [out] MAYBE 145.57/67.35
SRS_Relative/Mixed_relative_SRS/zr03.xml 5166261 YES 3.88/1.82 (CERTIFIED 0.0) YES 1.61/0.66 (CERTIFIED 0.0)
SRS_Relative/Mixed_relative_SRS/zr11.xml 5166262 YES 10.01/3.25 (CERTIFIED 0.0) YES 3.97/1.26 (CERTIFIED 0.0)
SRS_Relative/Mixed_relative_SRS/dup04.xml 5166263 YES 338.84/92.91 (CERTIFIED 0.0) MAYBE 145.50/67.35
SRS_Relative/Mixed_relative_SRS/zr04.xml 5166264 YES 14.36/4.61 (CERTIFIED 0.0) YES 19.76/5.24 (CERTIFIED 0.0)
SRS_Relative/Mixed_relative_SRS/zr08.xml 5166265 YES 8.58/2.92 (CERTIFIED 0.0) YES 5.65/1.68 (CERTIFIED 0.0)
SRS_Relative/Mixed_relative_SRS/zr09.xml 5166266 YES 6.34/2.40 (CERTIFIED 0.0) YES 2.94/0.99 (CERTIFIED 0.0)
SRS_Relative/Mixed_relative_SRS/zr12.xml 5166267 YES 6.64/2.45 (CERTIFIED 0.0) YES 2.81/0.97 (CERTIFIED 0.0)
SRS_Relative/Mixed_relative_SRS/un01.xml 5166268 YES 24.33/9.78 (CERTIFIED 0.0) MAYBE 145.48/67.34
SRS_Relative/Mixed_relative_SRS/zr13.xml 5166269 NO 3.57/1.69 (CERTIFIED 0.0) NO 1.50/0.64 (CERTIFIED 0.0)
SRS_Relative/Mixed_relative_SRS/dup02.xml 5166270 YES 68.48/18.55 (CERTIFIED 0.0) MAYBE 145.66/67.41
SRS_Relative/Mixed_relative_SRS/zr04new.xml 5166271 YES 14.61/4.79 (CERTIFIED 0.0) MAYBE 145.52/67.36
SRS_Relative/Mixed_relative_SRS/zr06.xml 5166272 YES 6.45/2.33 (CERTIFIED 0.0) YES 2.21/0.81 (CERTIFIED 0.0)
SRS_Relative/Mixed_relative_SRS/dup03.xml 5166273 YES 61.94/17.40 (CERTIFIED 0.0) YES 11.52/3.16 (CERTIFIED 0.0)
SRS_Relative/Mixed_relative_SRS/zr02.xml 5166274 YES 6.80/2.56 (CERTIFIED 0.0) YES 8.19/2.34 (CERTIFIED 0.0)
SRS_Relative/Mixed_relative_SRS/zr10.xml 5166275 YES 9.92/3.40 (CERTIFIED 0.0) YES 5.99/1.77 (CERTIFIED 0.0)
SRS_Relative/ICFP_2010_relative/4484.xml 5166287 timeout (wallclock) [out] MAYBE 146.02/67.73
SRS_Relative/ICFP_2010_relative/131982.xml 5166288 timeout (wallclock) [out] MAYBE 147.15/68.85
SRS_Relative/ICFP_2010_relative/137809.xml 5166289 YES 687.99/226.21 (CERTIFIED 1.0) MAYBE 147.11/68.79
SRS_Relative/ICFP_2010_relative/4057.xml 5166290 timeout (wallclock) [out] MAYBE 145.99/67.74
SRS_Relative/ICFP_2010_relative/139256.xml 5166291 YES 65.19/17.51 (CERTIFIED 1.5) MAYBE 147.25/68.94
SRS_Relative/ICFP_2010_relative/5130.xml 5166292 YES 104.87/27.16 (CERTIFIED 0.8) MAYBE 146.05/67.75
SRS_Relative/ICFP_2010_relative/3770.xml 5166293 timeout (wallclock) [out] MAYBE 145.93/67.74
SRS_Relative/ICFP_2010_relative/135604.xml 5166294 timeout (wallclock) [out] MAYBE 146.85/68.79
SRS_Relative/ICFP_2010_relative/3842.xml 5166295 timeout (wallclock) [out] MAYBE 145.99/67.72
SRS_Relative/ICFP_2010_relative/4979.xml 5166296 MAYBE 745.61/297.69 MAYBE 146.05/67.72
SRS_Relative/ICFP_2010_relative/4487.xml 5166297 timeout (wallclock) [out] MAYBE 146.02/67.73
SRS_Relative/ICFP_2010_relative/4943.xml 5166298 MAYBE 756.00/293.75 MAYBE 145.95/67.71
SRS_Relative/ICFP_2010_relative/3916.xml 5166299 MAYBE 0.55/0.33 MAYBE 22.89/7.63
SRS_Relative/ICFP_2010_relative/4106.xml 5166300 timeout (wallclock) [out] MAYBE 146.03/67.70
SRS_Relative/ICFP_2010_relative/4893.xml 5166301 MAYBE 717.09/300.81 MAYBE 146.01/67.72
SRS_Relative/ICFP_2010_relative/136051.xml 5166302 timeout (wallclock) [out] MAYBE 147.04/68.80
SRS_Relative/ICFP_2010_relative/139310.xml 5166303 YES 60.31/16.21 (CERTIFIED 1.0) MAYBE 147.19/68.94
SRS_Relative/ICFP_2010_relative/136623.xml 5166304 timeout (wallclock) [out] MAYBE 146.91/68.80
SRS_Relative/ICFP_2010_relative/132478.xml 5166305 YES 61.18/16.47 (CERTIFIED 0.9) MAYBE 147.34/68.96
SRS_Relative/ICFP_2010_relative/4824.xml 5166306 timeout (wallclock) [out] MAYBE 146.04/67.73
SRS_Relative/ICFP_2010_relative/4938.xml 5166307 timeout (wallclock) [out] MAYBE 146.04/67.72
SRS_Relative/ICFP_2010_relative/88172.xml 5166308 timeout (wallclock) [out] MAYBE 146.10/67.81
SRS_Relative/ICFP_2010_relative/132920.xml 5166309 YES 41.32/11.67 (CERTIFIED 0.7) MAYBE 147.24/68.92
SRS_Relative/ICFP_2010_relative/139163.xml 5166310 YES 65.80/18.28 (CERTIFIED 1.9) MAYBE 147.29/68.96
SRS_Relative/ICFP_2010_relative/97888.xml 5166311 timeout (wallclock) [out] MAYBE 149.44/71.17
SRS_Relative/ICFP_2010_relative/4374.xml 5166312 timeout (wallclock) [out] MAYBE 146.02/67.72
SRS_Relative/ICFP_2010_relative/128430.xml 5166313 YES 52.41/14.23 (CERTIFIED 0.8) MAYBE 147.18/68.95
SRS_Relative/ICFP_2010_relative/135328.xml 5166314 timeout (wallclock) [out] MAYBE 147.08/68.76
SRS_Relative/ICFP_2010_relative/140639.xml 5166315 timeout (wallclock) [out] MAYBE 146.71/68.44
SRS_Relative/ICFP_2010_relative/139174.xml 5166316 YES 56.78/15.79 (CERTIFIED 1.2) MAYBE 147.27/68.94
SRS_Relative/ICFP_2010_relative/4157.xml 5166317 run script error [out] MAYBE 146.08/67.73
SRS_Relative/ICFP_2010_relative/91242.xml 5166318 timeout (wallclock) [out] MAYBE 147.15/68.87
SRS_Relative/ICFP_2010_relative/140664.xml 5166319 timeout (wallclock) [out] MAYBE 146.69/68.40
SRS_Relative/ICFP_2010_relative/128691.xml 5166320 YES 41.83/11.53 (CERTIFIED 1.0) MAYBE 147.25/68.94
SRS_Relative/ICFP_2010_relative/4953.xml 5166321 timeout (wallclock) [out] MAYBE 146.09/67.76
SRS_Relative/ICFP_2010_relative/131633.xml 5166322 MAYBE 905.86/296.39 MAYBE 147.26/68.81
SRS_Relative/ICFP_2010_relative/128550.xml 5166323 YES 55.75/15.10 (CERTIFIED 1.4) MAYBE 147.27/68.96
SRS_Relative/ICFP_2010_relative/133486.xml 5166324 run script error [out] run script error [out]
SRS_Relative/ICFP_2010_relative/134918.xml 5166325 timeout (wallclock) [out] MAYBE 147.01/68.79
SRS_Relative/ICFP_2010_relative/138269.xml 5166326 timeout (wallclock) [out] MAYBE 147.15/68.80
SRS_Relative/ICFP_2010_relative/4964.xml 5166327 timeout (wallclock) [out] MAYBE 146.14/67.72
SRS_Relative/ICFP_2010_relative/133010.xml 5166328 YES 52.13/14.47 (CERTIFIED 1.3) MAYBE 147.30/68.95
SRS_Relative/ICFP_2010_relative/133159.xml 5166329 timeout (wallclock) [out] MAYBE 147.15/68.80
SRS_Relative/ICFP_2010_relative/128280.xml 5166330 YES 49.75/13.57 (CERTIFIED 0.8) MAYBE 147.25/68.93
SRS_Relative/ICFP_2010_relative/127538.xml 5166331 YES 54.54/14.75 (CERTIFIED 1.5) MAYBE 147.27/68.96
SRS_Relative/ICFP_2010_relative/3989.xml 5166332 MAYBE 822.23/294.79 MAYBE 146.08/67.75
SRS_Relative/ICFP_2010_relative/140631.xml 5166333 timeout (wallclock) [out] MAYBE 146.78/68.48
SRS_Relative/ICFP_2010_relative/128486.xml 5166334 YES 48.28/13.17 (CERTIFIED 0.8) MAYBE 147.22/68.95
SRS_Relative/ICFP_2010_relative/140649.xml 5166335 timeout (wallclock) [out] MAYBE 146.78/68.50
SRS_Relative/ICFP_2010_relative/124791.xml 5166336 timeout (wallclock) [out] MAYBE 147.16/68.79
SRS_Relative/ICFP_2010_relative/139018.xml 5166337 YES 50.49/13.93 (CERTIFIED 0.9) MAYBE 147.02/68.95
SRS_Relative/ICFP_2010_relative/3533.xml 5166338 timeout (wallclock) [out] MAYBE 145.87/67.75
SRS_Relative/ICFP_2010_relative/139036.xml 5166339 YES 61.97/16.79 (CERTIFIED 1.2) MAYBE 147.28/68.94
SRS_Relative/ICFP_2010_relative/139180.xml 5166340 YES 91.77/24.38 (CERTIFIED 1.6) MAYBE 147.29/68.95
SRS_Relative/ICFP_2010_relative/139378.xml 5166341 YES 47.53/13.27 (CERTIFIED 1.1) MAYBE 147.37/68.97
SRS_Relative/ICFP_2010_relative/140359.xml 5166342 YES 45.88/13.04 (CERTIFIED 0.8) MAYBE 147.28/68.93
SRS_Relative/ICFP_2010_relative/4920.xml 5166343 timeout (wallclock) [out] MAYBE 146.08/67.74
SRS_Relative/ICFP_2010_relative/41378.xml 5166344 run script error [out] MAYBE 158.31/79.92
SRS_Relative/ICFP_2010_relative/3831.xml 5166345 YES 118.39/30.55 (CERTIFIED 0.8) MAYBE 146.10/67.75
SRS_Relative/ICFP_2010_relative/124211.xml 5166346 MAYBE 900.20/299.42 MAYBE 147.07/68.78
SRS_Relative/ICFP_2010_relative/138330.xml 5166347 timeout (wallclock) [out] MAYBE 147.06/68.79
SRS_Relative/ICFP_2010_relative/138477.xml 5166348 timeout (wallclock) [out] MAYBE 147.11/68.80
SRS_Relative/ICFP_2010_relative/132235.xml 5166349 MAYBE 917.74/296.61 run script error [out]
SRS_Relative/ICFP_2010_relative/139214.xml 5166350 YES 52.98/14.80 (CERTIFIED 0.9) MAYBE 147.24/68.94
SRS_Relative/ICFP_2010_relative/3268.xml 5166351 timeout (wallclock) [out] MAYBE 145.88/67.48
SRS_Relative/ICFP_2010_relative/139025.xml 5166352 YES 64.55/17.82 (CERTIFIED 0.8) MAYBE 147.32/68.95
SRS_Relative/ICFP_2010_relative/5109.xml 5166353 YES 163.92/42.40 (CERTIFIED 1.3) MAYBE 145.96/67.73
SRS_Relative/ICFP_2010_relative/139185.xml 5166354 YES 48.41/13.64 (CERTIFIED 0.8) MAYBE 147.31/68.93
SRS_Relative/ICFP_2010_relative/4200.xml 5166355 timeout (wallclock) [out] MAYBE 146.09/67.75
SRS_Relative/ICFP_2010_relative/3467.xml 5166356 timeout (wallclock) [out] MAYBE 145.98/67.72
SRS_Relative/ICFP_2010_relative/139100.xml 5166357 YES 53.01/14.81 (CERTIFIED 0.8) MAYBE 147.29/68.97
SRS_Relative/ICFP_2010_relative/128182.xml 5166358 YES 57.32/15.94 (CERTIFIED 0.7) MAYBE 147.24/68.94
SRS_Relative/ICFP_2010_relative/124269.xml 5166359 MAYBE 901.37/299.23 MAYBE 147.20/68.79
SRS_Relative/ICFP_2010_relative/142142.xml 5166360 MAYBE 690.06/299.92 MAYBE 146.75/68.44
SRS_Relative/ICFP_2010_relative/3865.xml 5166361 timeout (wallclock) [out] MAYBE 146.17/67.74
SRS_Relative/ICFP_2010_relative/3995.xml 5166362 timeout (wallclock) [out] MAYBE 146.05/67.75
SRS_Relative/ICFP_2010_relative/138993.xml 5166363 YES 67.41/18.15 (CERTIFIED 1.4) MAYBE 147.21/68.94
SRS_Relative/ICFP_2010_relative/142146.xml 5166364 YES 79.71/32.26 (CERTIFIED 0.6) MAYBE 146.73/68.44
SRS_Relative/ICFP_2010_relative/63142.xml 5166365 timeout (wallclock) [out] MAYBE 146.20/67.82
SRS_Relative/ICFP_2010_relative/4819.xml 5166366 YES 99.30/26.00 (CERTIFIED 1.1) MAYBE 146.00/67.70
SRS_Relative/ICFP_2010_relative/135782.xml 5166367 timeout (wallclock) [out] MAYBE 147.12/68.81
SRS_Relative/ICFP_2010_relative/4282.xml 5166368 timeout (wallclock) [out] MAYBE 146.01/67.71
SRS_Relative/ICFP_2010_relative/137404.xml 5166369 timeout (wallclock) [out] MAYBE 147.11/68.78
SRS_Relative/ICFP_2010_relative/139190.xml 5166370 YES 45.39/12.97 (CERTIFIED 0.7) MAYBE 147.32/68.94
SRS_Relative/ICFP_2010_relative/3786.xml 5166371 timeout (wallclock) [out] MAYBE 146.06/67.74
SRS_Relative/ICFP_2010_relative/4074.xml 5166372 MAYBE 644.65/296.95 MAYBE 146.03/67.75
SRS_Relative/ICFP_2010_relative/97917.xml 5166373 timeout (wallclock) [out] MAYBE 149.47/71.14
SRS_Relative/ICFP_2010_relative/132622.xml 5166374 YES 48.04/13.52 (CERTIFIED 0.8) MAYBE 147.28/68.94
SRS_Relative/ICFP_2010_relative/135115.xml 5166375 timeout (wallclock) [out] MAYBE 147.15/68.79
SRS_Relative/ICFP_2010_relative/107236.xml 5166376 timeout (wallclock) [out] MAYBE 148.44/70.11
SRS_Relative/ICFP_2010_relative/132720.xml 5166377 YES 41.79/11.64 (CERTIFIED 0.9) MAYBE 147.25/68.96
SRS_Relative/ICFP_2010_relative/140659.xml 5166378 run script error [out] MAYBE 146.72/68.41
SRS_Relative/ICFP_2010_relative/139167.xml 5166379 YES 61.07/16.47 (CERTIFIED 1.3) MAYBE 147.26/68.95
SRS_Relative/ICFP_2010_relative/4412.xml 5166380 YES 133.80/34.71 (CERTIFIED 1.2) MAYBE 146.19/67.74
SRS_Relative/ICFP_2010_relative/140287.xml 5166381 timeout (wallclock) [out] MAYBE 147.25/68.95
SRS_Relative/ICFP_2010_relative/138194.xml 5166382 MAYBE 932.46/296.93 MAYBE 147.04/68.79
SRS_Relative/ICFP_2010_relative/4934.xml 5166383 timeout (wallclock) [out] MAYBE 145.96/67.73
SRS_Relative/ICFP_2010_relative/135936.xml 5166384 timeout (wallclock) [out] MAYBE 146.82/68.78
SRS_Relative/ICFP_2010_relative/123759.xml 5166385 MAYBE 860.35/300.52 MAYBE 147.02/68.81
SRS_Relative/ICFP_2010_relative/4991.xml 5166386 timeout (wallclock) [out] MAYBE 146.10/67.74
SRS_Relative/ICFP_2010_relative/3633.xml 5166387 timeout (wallclock) [out] MAYBE 146.03/67.73
SRS_Relative/ICFP_2010_relative/139004.xml 5166388 YES 58.51/16.13 (CERTIFIED 1.4) MAYBE 147.32/68.94
SRS_Relative/ICFP_2010_relative/3705.xml 5166389 timeout (wallclock) [out] MAYBE 145.98/67.75
SRS_Relative/ICFP_2010_relative/3746.xml 5166390 timeout (wallclock) [out] MAYBE 146.13/67.73
SRS_Relative/ICFP_2010_relative/142157.xml 5166391 run script error [out] MAYBE 146.63/68.41
SRS_Relative/ICFP_2010_relative/4051.xml 5166392 YES 230.85/58.80 (CERTIFIED 1.5) MAYBE 146.04/67.73
SRS_Relative/ICFP_2010_relative/4248.xml 5166393 timeout (wallclock) [out] MAYBE 146.09/67.75
SRS_Relative/ICFP_2010_relative/4840.xml 5166394 timeout (wallclock) [out] MAYBE 146.04/67.73
SRS_Relative/ICFP_2010_relative/140654.xml 5166395 timeout (wallclock) [out] MAYBE 146.69/68.47
SRS_Relative/ICFP_2010_relative/128515.xml 5166396 YES 81.94/22.37 (CERTIFIED 0.9) MAYBE 147.29/68.93
SRS_Relative/ICFP_2010_relative/128620.xml 5166397 YES 54.74/15.42 (CERTIFIED 0.9) MAYBE 147.25/68.94
SRS_Relative/ICFP_2010_relative/4970.xml 5166398 MAYBE 0.54/0.31 MAYBE 22.97/7.62
SRS_Relative/ICFP_2010_relative/3498.xml 5166399 timeout (wallclock) [out] MAYBE 146.01/67.70
SRS_Relative/ICFP_2010_relative/3450.xml 5166400 timeout (wallclock) [out] MAYBE 146.06/67.74
SRS_Relative/ICFP_2010_relative/3589.xml 5166401 timeout (wallclock) [out] MAYBE 146.03/67.73
SRS_Relative/ICFP_2010_relative/132833.xml 5166402 YES 63.58/17.47 (CERTIFIED 0.9) MAYBE 147.00/68.93
SRS_Relative/ICFP_2010_relative/133881.xml 5166403 timeout (wallclock) [out] MAYBE 146.99/68.78
SRS_Relative/ICFP_2010_relative/3680.xml 5166404 YES 104.79/27.42 (CERTIFIED 1.5) MAYBE 145.99/67.73
SRS_Relative/ICFP_2010_relative/4036.xml 5166405 YES 205.92/52.54 (CERTIFIED 1.3) MAYBE 146.09/67.74
SRS_Relative/ICFP_2010_relative/54097.xml 5166406 timeout (wallclock) [out] MAYBE 158.25/79.83
SRS_Relative/ICFP_2010_relative/3817.xml 5166407 run script error [out] MAYBE 145.99/67.73
SRS_Relative/ICFP_2010_relative/4141.xml 5166408 timeout (wallclock) [out] MAYBE 146.07/67.72
SRS_Relative/ICFP_2010_relative/4181.xml 5166409 YES 240.51/61.97 (CERTIFIED 1.2) MAYBE 145.95/67.74
SRS_Relative/ICFP_2010_relative/3562.xml 5166410 timeout (wallclock) [out] MAYBE 145.96/67.73
SRS_Relative/ICFP_2010_relative/4002.xml 5166411 timeout (wallclock) [out] MAYBE 146.01/67.72
SRS_Relative/ICFP_2010_relative/136562.xml 5166412 timeout (wallclock) [out] MAYBE 147.19/68.82
SRS_Relative/ICFP_2010_relative/132969.xml 5166413 timeout (wallclock) [out] MAYBE 147.16/68.77
SRS_Relative/ICFP_2010_relative/4827.xml 5166414 timeout (wallclock) [out] MAYBE 146.11/67.72
SRS_Relative/ICFP_2010_relative/140318.xml 5166415 YES 53.25/15.55 (CERTIFIED 0.8) MAYBE 147.23/68.92
SRS_Relative/ICFP_2010_relative/132782.xml 5166416 YES 46.68/13.27 (CERTIFIED 0.9) MAYBE 147.24/68.94
SRS_Relative/ICFP_2010_relative/139236.xml 5166417 YES 51.00/13.95 (CERTIFIED 0.8) MAYBE 147.28/68.95
SRS_Relative/ICFP_2010_relative/3729.xml 5166418 timeout (wallclock) [out] MAYBE 146.08/67.74
SRS_Relative/ICFP_2010_relative/3939.xml 5166419 timeout (wallclock) [out] MAYBE 146.03/67.73
SRS_Relative/ICFP_2010_relative/3336.xml 5166420 MAYBE 0.56/0.34 MAYBE 22.74/7.46
SRS_Relative/ICFP_2010_relative/3385.xml 5166421 MAYBE 1090.13/299.77 MAYBE 145.82/67.52
SRS_Relative/ICFP_2010_relative/128056.xml 5166422 timeout (wallclock) [out] MAYBE 147.34/68.96
SRS_Relative/ICFP_2010_relative/107220.xml 5166423 timeout (wallclock) [out] MAYBE 148.39/70.09
SRS_Relative/ICFP_2010_relative/135652.xml 5166424 timeout (wallclock) [out] MAYBE 147.08/68.78
SRS_Relative/ICFP_2010_relative/3856.xml 5166425 YES 190.29/49.31 (CERTIFIED 1.1) MAYBE 146.07/67.74
SRS_Relative/ICFP_2010_relative/132540.xml 5166426 YES 54.51/14.88 (CERTIFIED 0.9) MAYBE 147.09/69.03
SRS_Relative/ICFP_2010_relative/3930.xml 5166427 timeout (wallclock) [out] MAYBE 146.01/67.73
SRS_Relative/ICFP_2010_relative/4029.xml 5166428 timeout (wallclock) [out] MAYBE 145.99/67.73
SRS_Relative/ICFP_2010_relative/4816.xml 5166429 YES 203.57/52.50 (CERTIFIED 1.1) MAYBE 145.89/67.74
SRS_Relative/ICFP_2010_relative/142150.xml 5166430 run script error [out] MAYBE 146.76/68.43
SRS_Relative/ICFP_2010_relative/5011.xml 5166431 MAYBE 0.55/0.32 MAYBE 22.78/7.63
SRS_Relative/ICFP_2010_relative/3861.xml 5166432 timeout (wallclock) [out] MAYBE 146.09/67.73
SRS_Relative/ICFP_2010_relative/132864.xml 5166433 YES 55.59/15.05 (CERTIFIED 0.9) MAYBE 147.32/68.96
SRS_Relative/ICFP_2010_relative/132957.xml 5166434 YES 53.29/14.54 (CERTIFIED 1.3) MAYBE 147.37/68.95
SRS_Relative/ICFP_2010_relative/3762.xml 5166435 timeout (wallclock) [out] MAYBE 146.02/67.73
SRS_Relative/ICFP_2010_relative/139282.xml 5166436 YES 56.35/15.40 (CERTIFIED 0.9) MAYBE 147.27/68.95
SRS_Relative/ICFP_2010_relative/4854.xml 5166437 timeout (wallclock) [out] MAYBE 146.12/67.75
SRS_Relative/ICFP_2010_relative/132738.xml 5166438 YES 61.20/16.56 (CERTIFIED 0.9) MAYBE 147.28/68.96
SRS_Relative/ICFP_2010_relative/88143.xml 5166439 YES 63.52/21.63 (CERTIFIED 0.4) MAYBE 146.14/67.80
SRS_Relative/ICFP_2010_relative/5076.xml 5166440 timeout (wallclock) [out] MAYBE 146.07/67.71
SRS_Relative/ICFP_2010_relative/4847.xml 5166441 timeout (wallclock) [out] MAYBE 146.01/67.72
SRS_Relative/ICFP_2010_relative/4046.xml 5166442 MAYBE 0.51/0.31 MAYBE 22.88/7.64
SRS_Relative/ICFP_2010_relative/97901.xml 5166443 timeout (wallclock) [out] MAYBE 149.64/71.24
SRS_Relative/ICFP_2010_relative/64160.xml 5166444 timeout (wallclock) [out] MAYBE 146.16/67.81
SRS_Relative/ICFP_2010_relative/97929.xml 5166445 timeout (wallclock) [out] MAYBE 149.45/71.10
SRS_Relative/ICFP_2010_relative/4017.xml 5166446 timeout (wallclock) [out] MAYBE 145.63/67.74
90 28