Termination Competition 2019: SRS Relative Certified33127

Job info CSV
benchmark AProVE certified ttt2-1.19 ttt2_cert
Mixed_relative_SRS/zr07.xml 5166256 YES 8.79/3.10 (CERTIFIED 0.0) YES 3.34/1.10 (CERTIFIED 0.0)
Mixed_relative_SRS/zr02new.xml 5166257 YES 10.92/3.64 (CERTIFIED 0.1) YES 14.08/3.84 (CERTIFIED 0.1)
Mixed_relative_SRS/zr01.xml 5166258 YES 7.19/2.69 (CERTIFIED 0.0) YES 3.45/1.15 (CERTIFIED 0.1)
Mixed_relative_SRS/zr05.xml 5166259 YES 5.26/2.08 (CERTIFIED 0.0) YES 1.56/0.64 (CERTIFIED 0.0)
Mixed_relative_SRS/un03.xml 5166260 MAYBE 950.12/293.36 timeout (wallclock) [out]
Mixed_relative_SRS/zr03.xml 5166261 YES 4.07/1.78 (CERTIFIED 0.0) YES 1.28/0.56 (CERTIFIED 0.0)
Mixed_relative_SRS/zr11.xml 5166262 YES 12.66/4.02 (CERTIFIED 0.1) YES 4.27/1.34 (CERTIFIED 0.0)
Mixed_relative_SRS/dup04.xml 5166263 YES 382.78/108.35 (CERTIFIED 0.1) timeout (wallclock) [out]
Mixed_relative_SRS/zr04.xml 5166264 YES 26.49/7.69 (CERTIFIED 0.1) YES 19.98/5.35 (CERTIFIED 0.2)
Mixed_relative_SRS/zr08.xml 5166265 YES 8.55/3.21 (CERTIFIED 0.0) YES 4.82/1.52 (CERTIFIED 0.1)
Mixed_relative_SRS/zr09.xml 5166266 YES 7.60/2.77 (CERTIFIED 0.0) YES 2.88/0.97 (CERTIFIED 0.1)
Mixed_relative_SRS/zr12.xml 5166267 YES 7.17/2.62 (CERTIFIED 0.0) YES 2.44/0.87 (CERTIFIED 0.1)
Mixed_relative_SRS/un01.xml 5166268 YES 19.80/7.03 (CERTIFIED 0.1) timeout (wallclock) [out]
Mixed_relative_SRS/zr13.xml 5166269 NO 3.61/1.68 (CERTIFIED 0.0) NO 1.43/0.62 (CERTIFIED 0.0)
Mixed_relative_SRS/dup02.xml 5166270 YES 64.43/17.21 (CERTIFIED 0.2) timeout (wallclock) [out]
Mixed_relative_SRS/zr04new.xml 5166271 YES 19.65/5.97 (CERTIFIED 0.1) timeout (wallclock) [out]
Mixed_relative_SRS/zr06.xml 5166272 YES 6.50/2.43 (CERTIFIED 0.0) YES 1.85/0.73 (CERTIFIED 0.0)
Mixed_relative_SRS/dup03.xml 5166273 YES 55.53/15.85 (CERTIFIED 0.0) YES 11.82/3.24 (CERTIFIED 0.0)
Mixed_relative_SRS/zr02.xml 5166274 YES 11.84/4.02 (CERTIFIED 0.1) YES 8.19/2.35 (CERTIFIED 0.1)
Mixed_relative_SRS/zr10.xml 5166275 YES 10.45/3.60 (CERTIFIED 0.1) YES 8.62/1.77 (CERTIFIED 0.0)
ICFP_2010_relative/4484.xml 5166287 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/131982.xml 5166288 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/137809.xml 5166289 YES 744.45/249.37 (CERTIFIED 5.1) timeout (wallclock) [out]
ICFP_2010_relative/4057.xml 5166290 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/139256.xml 5166291 YES 59.47/16.50 (CERTIFIED 11.4) timeout (wallclock) [out]
ICFP_2010_relative/5130.xml 5166292 YES 133.80/34.83 (CERTIFIED 6.6) timeout (wallclock) [out]
ICFP_2010_relative/3770.xml 5166293 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/135604.xml 5166294 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/3842.xml 5166295 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/4979.xml 5166296 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/4487.xml 5166297 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/4943.xml 5166298 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/3916.xml 5166299 MAYBE 0.59/0.39 MAYBE 22.55/7.62
ICFP_2010_relative/4106.xml 5166300 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/4893.xml 5166301 MAYBE 634.90/294.59 timeout (wallclock) [out]
ICFP_2010_relative/136051.xml 5166302 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/139310.xml 5166303 YES 50.84/14.06 (CERTIFIED 6.2) timeout (wallclock) [out]
ICFP_2010_relative/136623.xml 5166304 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/132478.xml 5166305 YES 65.86/18.36 (CERTIFIED 7.8) timeout (wallclock) [out]
ICFP_2010_relative/4824.xml 5166306 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/4938.xml 5166307 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/88172.xml 5166308 MAYBE 703.70/292.34 timeout (wallclock) [out]
ICFP_2010_relative/132920.xml 5166309 YES 47.70/13.23 (CERTIFIED 5.3) timeout (wallclock) [out]
ICFP_2010_relative/139163.xml 5166310 YES 77.53/21.01 (CERTIFIED 15.1) timeout (wallclock) [out]
ICFP_2010_relative/97888.xml 5166311 MAYBE 497.98/295.65 timeout (wallclock) [out]
ICFP_2010_relative/4374.xml 5166312 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/128430.xml 5166313 YES 60.98/16.83 (CERTIFIED 7.0) timeout (wallclock) [out]
ICFP_2010_relative/135328.xml 5166314 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/140639.xml 5166315 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/139174.xml 5166316 YES 46.68/13.05 (CERTIFIED 7.5) timeout (wallclock) [out]
ICFP_2010_relative/4157.xml 5166317 MAYBE 774.71/296.99 ERROR 300.65/102.79 (UNSUPPORTED 0.1)
ICFP_2010_relative/91242.xml 5166318 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/140664.xml 5166319 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/128691.xml 5166320 YES 56.71/17.75 (CERTIFIED 7.3) timeout (wallclock) [out]
ICFP_2010_relative/4953.xml 5166321 timeout (wallclock) [out] ERROR 193.83/67.21 (UNSUPPORTED 0.1)
ICFP_2010_relative/131633.xml 5166322 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/128550.xml 5166323 YES 51.20/14.14 (CERTIFIED 10.5) timeout (wallclock) [out]
ICFP_2010_relative/133486.xml 5166324 MAYBE 1019.37/298.32 timeout (wallclock) [out]
ICFP_2010_relative/134918.xml 5166325 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/138269.xml 5166326 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/4964.xml 5166327 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/133010.xml 5166328 YES 55.11/15.19 (CERTIFIED 9.5) timeout (wallclock) [out]
ICFP_2010_relative/133159.xml 5166329 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/128280.xml 5166330 YES 51.72/14.55 (CERTIFIED 6.2) timeout (wallclock) [out]
ICFP_2010_relative/127538.xml 5166331 YES 72.98/19.75 (CERTIFIED 11.5) timeout (wallclock) [out]
ICFP_2010_relative/3989.xml 5166332 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/140631.xml 5166333 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/128486.xml 5166334 YES 48.07/13.45 (CERTIFIED 6.4) timeout (wallclock) [out]
ICFP_2010_relative/140649.xml 5166335 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/124791.xml 5166336 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/139018.xml 5166337 YES 50.84/14.10 (CERTIFIED 7.6) timeout (wallclock) [out]
ICFP_2010_relative/3533.xml 5166338 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/139036.xml 5166339 YES 65.83/17.96 (CERTIFIED 8.8) timeout (wallclock) [out]
ICFP_2010_relative/139180.xml 5166340 YES 80.37/21.72 (CERTIFIED 12.0) timeout (wallclock) [out]
ICFP_2010_relative/139378.xml 5166341 YES 56.71/15.67 (CERTIFIED 8.5) timeout (wallclock) [out]
ICFP_2010_relative/140359.xml 5166342 YES 59.76/16.59 (CERTIFIED 6.8) timeout (wallclock) [out]
ICFP_2010_relative/4920.xml 5166343 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/41378.xml 5166344 timeout (wallclock) [out] ERROR 276.16/102.56 (UNSUPPORTED 0.3)
ICFP_2010_relative/3831.xml 5166345 YES 100.92/26.53 (CERTIFIED 6.7) timeout (wallclock) [out]
ICFP_2010_relative/124211.xml 5166346 MAYBE 897.61/295.98 timeout (wallclock) [out]
ICFP_2010_relative/138330.xml 5166347 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/138477.xml 5166348 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/132235.xml 5166349 MAYBE 837.10/296.29 timeout (wallclock) [out]
ICFP_2010_relative/139214.xml 5166350 YES 49.95/13.94 (CERTIFIED 7.2) timeout (wallclock) [out]
ICFP_2010_relative/3268.xml 5166351 MAYBE 1091.09/292.92 timeout (wallclock) [out]
ICFP_2010_relative/139025.xml 5166352 YES 50.47/14.09 (CERTIFIED 6.9) timeout (wallclock) [out]
ICFP_2010_relative/5109.xml 5166353 YES 167.00/43.73 (CERTIFIED 11.1) timeout (wallclock) [out]
ICFP_2010_relative/139185.xml 5166354 YES 49.24/13.68 (CERTIFIED 6.5) timeout (wallclock) [out]
ICFP_2010_relative/4200.xml 5166355 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/3467.xml 5166356 timeout (wallclock) [out] ERROR 232.34/80.01 (UNSUPPORTED 0.1)
ICFP_2010_relative/139100.xml 5166357 YES 55.20/15.76 (CERTIFIED 6.6) timeout (wallclock) [out]
ICFP_2010_relative/128182.xml 5166358 YES 47.04/13.16 (CERTIFIED 5.5) timeout (wallclock) [out]
ICFP_2010_relative/124269.xml 5166359 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/142142.xml 5166360 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/3865.xml 5166361 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/3995.xml 5166362 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/138993.xml 5166363 YES 68.10/18.83 (CERTIFIED 10.4) timeout (wallclock) [out]
ICFP_2010_relative/142146.xml 5166364 YES 78.14/32.20 (CERTIFIED 5.1) timeout (wallclock) [out]
ICFP_2010_relative/63142.xml 5166365 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/4819.xml 5166366 YES 102.53/27.35 (CERTIFIED 7.7) timeout (wallclock) [out]
ICFP_2010_relative/135782.xml 5166367 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/4282.xml 5166368 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/137404.xml 5166369 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/139190.xml 5166370 YES 45.33/12.86 (CERTIFIED 5.2) timeout (wallclock) [out]
ICFP_2010_relative/3786.xml 5166371 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/4074.xml 5166372 timeout (wallclock) [out] ERROR 434.78/147.23 (UNSUPPORTED 0.1)
ICFP_2010_relative/97917.xml 5166373 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/132622.xml 5166374 YES 63.98/17.47 (CERTIFIED 7.1) timeout (wallclock) [out]
ICFP_2010_relative/135115.xml 5166375 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/107236.xml 5166376 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/132720.xml 5166377 YES 47.48/13.27 (CERTIFIED 7.4) timeout (wallclock) [out]
ICFP_2010_relative/140659.xml 5166378 MAYBE 720.18/293.20 timeout (wallclock) [out]
ICFP_2010_relative/139167.xml 5166379 YES 64.63/17.61 (CERTIFIED 8.4) timeout (wallclock) [out]
ICFP_2010_relative/4412.xml 5166380 YES 175.65/45.60 (CERTIFIED 9.0) timeout (wallclock) [out]
ICFP_2010_relative/140287.xml 5166381 MAYBE 776.79/293.46 timeout (wallclock) [out]
ICFP_2010_relative/138194.xml 5166382 MAYBE 891.88/295.50 timeout (wallclock) [out]
ICFP_2010_relative/4934.xml 5166383 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/135936.xml 5166384 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/123759.xml 5166385 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/4991.xml 5166386 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/3633.xml 5166387 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/139004.xml 5166388 YES 58.71/16.09 (CERTIFIED 8.5) timeout (wallclock) [out]
ICFP_2010_relative/3705.xml 5166389 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/3746.xml 5166390 MAYBE 684.09/297.37 timeout (wallclock) [out]
ICFP_2010_relative/142157.xml 5166391 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/4051.xml 5166392 YES 248.42/63.95 (CERTIFIED 12.1) timeout (wallclock) [out]
ICFP_2010_relative/4248.xml 5166393 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/4840.xml 5166394 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/140654.xml 5166395 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/128515.xml 5166396 YES 60.40/16.39 (CERTIFIED 7.5) timeout (wallclock) [out]
ICFP_2010_relative/128620.xml 5166397 YES 50.64/14.03 (CERTIFIED 6.5) timeout (wallclock) [out]
ICFP_2010_relative/4970.xml 5166398 MAYBE 0.57/0.41 MAYBE 22.65/7.61
ICFP_2010_relative/3498.xml 5166399 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/3450.xml 5166400 timeout (wallclock) [out] ERROR 450.97/152.88 (UNSUPPORTED 0.1)
ICFP_2010_relative/3589.xml 5166401 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/132833.xml 5166402 YES 69.55/18.90 (CERTIFIED 7.3) timeout (wallclock) [out]
ICFP_2010_relative/133881.xml 5166403 MAYBE 838.15/296.77 timeout (wallclock) [out]
ICFP_2010_relative/3680.xml 5166404 YES 114.76/30.32 (CERTIFIED 11.0) timeout (wallclock) [out]
ICFP_2010_relative/4036.xml 5166405 YES 241.81/62.26 (CERTIFIED 8.2) ERROR 882.07/296.63 (UNSUPPORTED 0.1)
ICFP_2010_relative/54097.xml 5166406 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/3817.xml 5166407 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/4141.xml 5166408 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/4181.xml 5166409 YES 232.60/59.79 (CERTIFIED 9.1) ERROR 736.45/249.15 (UNSUPPORTED 0.1)
ICFP_2010_relative/3562.xml 5166410 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/4002.xml 5166411 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/136562.xml 5166412 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/132969.xml 5166413 MAYBE 958.58/296.71 timeout (wallclock) [out]
ICFP_2010_relative/4827.xml 5166414 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/140318.xml 5166415 YES 54.01/14.82 (CERTIFIED 6.5) timeout (wallclock) [out]
ICFP_2010_relative/132782.xml 5166416 YES 57.35/15.83 (CERTIFIED 7.5) timeout (wallclock) [out]
ICFP_2010_relative/139236.xml 5166417 YES 38.23/10.85 (CERTIFIED 6.4) timeout (wallclock) [out]
ICFP_2010_relative/3729.xml 5166418 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/3939.xml 5166419 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/3336.xml 5166420 MAYBE 0.54/0.40 MAYBE 22.48/7.48
ICFP_2010_relative/3385.xml 5166421 MAYBE 1042.21/292.27 timeout (wallclock) [out]
ICFP_2010_relative/128056.xml 5166422 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/107220.xml 5166423 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/135652.xml 5166424 MAYBE 930.39/297.43 timeout (wallclock) [out]
ICFP_2010_relative/3856.xml 5166425 YES 179.48/46.37 (CERTIFIED 7.8) timeout (wallclock) [out]
ICFP_2010_relative/132540.xml 5166426 YES 46.04/12.88 (CERTIFIED 7.7) timeout (wallclock) [out]
ICFP_2010_relative/3930.xml 5166427 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/4029.xml 5166428 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/4816.xml 5166429 YES 197.89/50.96 (CERTIFIED 7.1) timeout (wallclock) [out]
ICFP_2010_relative/142150.xml 5166430 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/5011.xml 5166431 MAYBE 0.57/0.35 MAYBE 22.75/7.63
ICFP_2010_relative/3861.xml 5166432 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/132864.xml 5166433 YES 59.99/16.48 (CERTIFIED 7.2) timeout (wallclock) [out]
ICFP_2010_relative/132957.xml 5166434 YES 67.49/18.55 (CERTIFIED 9.1) timeout (wallclock) [out]
ICFP_2010_relative/3762.xml 5166435 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/139282.xml 5166436 YES 53.27/14.81 (CERTIFIED 7.8) timeout (wallclock) [out]
ICFP_2010_relative/4854.xml 5166437 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/132738.xml 5166438 YES 56.29/15.55 (CERTIFIED 6.4) timeout (wallclock) [out]
ICFP_2010_relative/88143.xml 5166439 YES 90.93/27.68 (CERTIFIED 4.6) timeout (wallclock) [out]
ICFP_2010_relative/5076.xml 5166440 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/4847.xml 5166441 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/4046.xml 5166442 MAYBE 0.53/0.37 MAYBE 22.68/7.63
ICFP_2010_relative/97901.xml 5166443 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/64160.xml 5166444 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/97929.xml 5166445 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/4017.xml 5166446 timeout (wallclock) [out] timeout (wallclock) [out]
Waldmann_19/random-195.xml 8321526 timeout (wallclock) [out] timeout (wallclock) [out]
Waldmann_19/random-76.xml 8321527 YES 4.66/1.98 (CERTIFIED 0.0) YES 1.68/0.69 (CERTIFIED 0.0)
Waldmann_19/random-228.xml 8321528 YES 9.24/3.26 (CERTIFIED 0.0) YES 7.57/2.18 (CERTIFIED 0.1)
Waldmann_19/random-78.xml 8321529 YES 39.36/10.76 (CERTIFIED 0.3) YES 15.60/4.24 (CERTIFIED 0.1)
Waldmann_19/random-226.xml 8321530 YES 7.01/2.67 (CERTIFIED 0.2) YES 10.06/2.80 (CERTIFIED 0.0)
Waldmann_19/random-221.xml 8321531 YES 5.83/2.33 (CERTIFIED 0.1) YES 8.10/2.31 (CERTIFIED 0.0)
Waldmann_19/random-43.xml 8321532 YES 120.39/31.27 (CERTIFIED 0.2) timeout (wallclock) [out]
Waldmann_19/random-176.xml 8321533 MAYBE 1163.5/295.55 timeout (wallclock) [out]
Waldmann_19/random-92.xml 8321534 YES 75.92/20.09 (CERTIFIED 0.4) timeout (wallclock) [out]
Waldmann_19/random-38.xml 8321535 timeout (wallclock) [out] timeout (wallclock) [out]
Waldmann_19/random-95.xml 8321536 YES 7.80/2.76 (CERTIFIED 0.0) YES 2.18/0.81 (CERTIFIED 0.0)
Waldmann_19/random-84.xml 8321537 timeout (wallclock) [out] timeout (wallclock) [out]
Waldmann_19/random-160.xml 8321538 YES 7.28/2.65 (CERTIFIED 0.0) YES 1.58/0.67 (CERTIFIED 0.0)
Waldmann_19/random-52.xml 8321539 YES 6.56/2.49 (CERTIFIED 0.1) YES 12.91/3.51 (CERTIFIED 0.1)
Waldmann_19/random-202.xml 8321540 YES 59.22/15.93 (CERTIFIED 0.1) timeout (wallclock) [out]
Waldmann_19/random-115.xml 8321541 YES 7.45/2.86 (CERTIFIED 0.2) YES 13.21/3.61 (CERTIFIED 0.0)
Waldmann_19/random-27.xml 8321542 MAYBE 1173.23/297.95 timeout (wallclock) [out]
Waldmann_19/random-120.xml 8321543 YES 5.95/2.23 (CERTIFIED 0.1) YES 6.14/1.82 (CERTIFIED 0.0)
Waldmann_19/random-152.xml 8321544 YES 24.13/7.75 (CERTIFIED 0.3) timeout (wallclock) [out]
Waldmann_19/random-67.xml 8321545 YES 61.06/16.24 (CERTIFIED 0.0) timeout (wallclock) [out]
Waldmann_19/random-60.xml 8321546 MAYBE 1162.13/295.10 timeout (wallclock) [out]
Waldmann_19/random-184.xml 8321547 YES 6.53/2.49 (CERTIFIED 0.1) YES 8.40/1.66 (CERTIFIED 0.0)
Waldmann_19/random-39.xml 8321548 YES 23.66/6.94 (CERTIFIED 0.3) timeout (wallclock) [out]
Waldmann_19/random-45.xml 8321549 YES 45.37/12.31 (CERTIFIED 0.1) ERROR 32.08/5.63 (UNSUPPORTED 0.0)
Waldmann_19/random-177.xml 8321550 MAYBE 1170.81/297.29 timeout (wallclock) [out]
Waldmann_19/random-42.xml 8321551 YES 7.95/2.92 (CERTIFIED 0.0) timeout (wallclock) [out]
Waldmann_19/random-93.xml 8321552 YES 6.63/2.43 (CERTIFIED 0.1) YES 6.70/1.97 (CERTIFIED 0.0)
Waldmann_19/random-105.xml 8321553 YES 31.16/8.73 (CERTIFIED 0.0) YES 10.82/3.01 (CERTIFIED 0.0)
Waldmann_19/random-212.xml 8321554 YES 56.65/15.20 (CERTIFIED 0.0) YES 12.83/3.52 (CERTIFIED 0.0)
Waldmann_19/random-137.xml 8321555 YES 5.90/2.33 (CERTIFIED 0.1) YES 0.77/0.44 (CERTIFIED 0.0)
Waldmann_19/random-79.xml 8321556 YES 77.97/20.48 (CERTIFIED 0.3) timeout (wallclock) [out]
Waldmann_19/random-227.xml 8321557 memout [out] YES 20.09/5.36 (CERTIFIED 0.1)
Waldmann_19/random-130.xml 8321558 timeout (wallclock) [out] timeout (wallclock) [out]
Waldmann_19/random-142.xml 8321559 YES 8.38/2.97 (CERTIFIED 0.0) timeout (wallclock) [out]
Waldmann_19/random-77.xml 8321560 YES 6.59/2.75 (CERTIFIED 0.0) YES 10.70/2.98 (CERTIFIED 0.0)
Waldmann_19/random-145.xml 8321561 YES 35.99/10.22 (CERTIFIED 0.2) YES 13.22/3.60 (CERTIFIED 0.1)
Waldmann_19/random-70.xml 8321562 YES 5.84/2.38 (CERTIFIED 0.1) YES 6.95/2.02 (CERTIFIED 0.0)
Waldmann_19/random-66.xml 8321563 YES 59.70/16.32 (CERTIFIED 0.2) YES 5.97/1.77 (CERTIFIED 0.0)
Waldmann_19/random-182.xml 8321564 MAYBE 1161.11/295.01 timeout (wallclock) [out]
Waldmann_19/random-68.xml 8321565 MAYBE 0.39/0.36 timeout (wallclock) [out]
Waldmann_19/random-14.xml 8321566 YES 11.23/3.72 (CERTIFIED 0.0) YES 14.69/3.92 (CERTIFIED 0.1)
Waldmann_19/random-126.xml 8321567 YES 7.68/2.77 (CERTIFIED 0.0) YES 1.95/0.75 (CERTIFIED 0.0)
Waldmann_19/random-26.xml 8321568 YES 8.12/2.93 (CERTIFIED 0.0) YES 7.43/2.12 (CERTIFIED 0.0)
Waldmann_19/random-113.xml 8321569 YES 6.42/2.47 (CERTIFIED 0.2) YES 13.88/3.80 (CERTIFIED 0.0)
Waldmann_19/random-168.xml 8321570 YES 5.18/2.34 (CERTIFIED 0.1) YES 11.63/3.22 (CERTIFIED 0.1)
Waldmann_19/random-82.xml 8321571 timeout (wallclock) [out] timeout (wallclock) [out]
Waldmann_19/random-166.xml 8321572 MAYBE 1156.48/293.39 timeout (wallclock) [out]
Waldmann_19/random-28.xml 8321573 YES 189.59/49.02 (CERTIFIED 0.4) timeout (wallclock) [out]
Waldmann_19/random-150.xml 8321574 YES 31.66/8.84 (CERTIFIED 0.4) timeout (wallclock) [out]
Waldmann_19/random-65.xml 8321575 YES 5.48/2.16 (CERTIFIED 0.1) YES 13.87/3.78 (CERTIFIED 0.0)
Waldmann_19/random-62.xml 8321576 timeout (wallclock) [out] timeout (wallclock) [out]
Waldmann_19/random-186.xml 8321577 YES 927.84/235.42 (CERTIFIED 0.0) timeout (wallclock) [out]
Waldmann_19/random-10.xml 8321578 YES 7.35/2.69 (CERTIFIED 0.0) YES 4.92/1.52 (CERTIFIED 0.0)
Waldmann_19/random-232.xml 8321579 YES 51.15/13.89 (CERTIFIED 0.3) timeout (wallclock) [out]
Waldmann_19/random-159.xml 8321580 YES 48.78/13.21 (CERTIFIED 0.1) YES 13.00/3.56 (CERTIFIED 0.1)
Waldmann_19/random-207.xml 8321581 timeout (wallclock) [out] timeout (wallclock) [out]
Waldmann_19/random-110.xml 8321582 YES 8.46/3.05 (CERTIFIED 0.0) YES 17.52/4.73 (CERTIFIED 0.1)
Waldmann_19/random-59.xml 8321583 timeout (wallclock) [out] timeout (wallclock) [out]
Waldmann_19/random-209.xml 8321584 timeout (wallclock) [out] timeout (wallclock) [out]
Waldmann_19/random-86.xml 8321585 YES 45.15/12.37 (CERTIFIED 0.3) YES 6.80/1.99 (CERTIFIED 0.0)
Waldmann_19/random-162.xml 8321586 YES 5.48/2.17 (CERTIFIED 0.1) YES 9.49/2.67 (CERTIFIED 0.0)
Waldmann_19/random-57.xml 8321587 YES 56.68/15.16 (CERTIFIED 0.2) timeout (wallclock) [out]
Waldmann_19/random-81.xml 8321588 YES 123.30/32.10 (CERTIFIED 0.2) YES 18.89/5.07 (CERTIFIED 0.0)
Waldmann_19/random-50.xml 8321589 YES 6.53/2.45 (CERTIFIED 0.0) YES 1.55/0.65 (CERTIFIED 0.0)
Waldmann_19/random-41.xml 8321590 YES 4.29/1.92 (CERTIFIED 0.2) YES 14.60/3.98 (CERTIFIED 0.1)
Waldmann_19/random-46.xml 8321591 YES 20.11/3.41 (CERTIFIED 0.0) timeout (wallclock) [out]
Waldmann_19/random-173.xml 8321592 YES 8.67/2.99 (CERTIFIED 0.0) YES 9.60/2.70 (CERTIFIED 0.0)
Waldmann_19/random-34.xml 8321593 YES 7.46/2.74 (CERTIFIED 0.0) YES 1.46/0.66 (CERTIFIED 0.0)
Waldmann_19/random-216.xml 8321594 timeout (wallclock) [out] timeout (wallclock) [out]
Waldmann_19/random-99.xml 8321595 timeout (wallclock) [out] timeout (wallclock) [out]
Waldmann_19/random-33.xml 8321596 timeout (wallclock) [out] timeout (wallclock) [out]
Waldmann_19/random-106.xml 8321597 timeout (wallclock) [out] timeout (wallclock) [out]
Waldmann_19/random-134.xml 8321598 YES 6.32/2.46 (CERTIFIED 0.1) YES 9.44/2.67 (CERTIFIED 0.0)
Waldmann_19/random-148.xml 8321599 YES 148.67/38.48 (CERTIFIED 0.2) timeout (wallclock) [out]
Waldmann_19/random-146.xml 8321600 YES 7.08/2.60 (CERTIFIED 0.0) YES 12.66/3.28 (CERTIFIED 0.1)
Waldmann_19/random-141.xml 8321601 NO 476.57/121.26 (CERTIFIED 0.0) timeout (wallclock) [out]
Waldmann_19/random-80.xml 8321602 YES 5.99/2.34 (CERTIFIED 0.0) YES 1.58/0.66 (CERTIFIED 0.0)
Waldmann_19/random-164.xml 8321603 YES 6.65/2.47 (CERTIFIED 0.0) YES 1.81/0.72 (CERTIFIED 0.0)
Waldmann_19/random-208.xml 8321604 YES 142.53/36.89 (CERTIFIED 0.3) timeout (wallclock) [out]
Waldmann_19/random-163.xml 8321605 MAYBE 1178.74/299.29 timeout (wallclock) [out]
Waldmann_19/random-24.xml 8321606 YES 6.39/2.48 (CERTIFIED 0.0) YES 1.90/0.74 (CERTIFIED 0.0)
Waldmann_19/random-89.xml 8321607 YES 7.28/2.62 (CERTIFIED 0.0) YES 8.02/2.31 (CERTIFIED 0.1)
Waldmann_19/random-58.xml 8321608 YES 8.29/2.92 (CERTIFIED 0.0) YES 11.13/3.09 (CERTIFIED 0.0)
Waldmann_19/random-116.xml 8321609 YES 5.84/2.29 (CERTIFIED 0.1) YES 16.14/3.50 (CERTIFIED 0.0)
Waldmann_19/random-16.xml 8321610 YES 5.04/2.10 (CERTIFIED 0.0) YES 1.88/0.74 (CERTIFIED 0.0)
Waldmann_19/random-123.xml 8321611 timeout (wallclock) [out] timeout (wallclock) [out]
Waldmann_19/random-11.xml 8321612 timeout (wallclock) [out] timeout (wallclock) [out]
Waldmann_19/random-187.xml 8321613 YES 52.24/14.07 (CERTIFIED 0.0) YES 20.00/5.34 (CERTIFIED 0.1)
Waldmann_19/random-151.xml 8321614 memout [out] timeout (wallclock) [out]
Waldmann_19/random-140.xml 8321615 YES 7.45/2.98 (CERTIFIED 0.1) YES 11.42/3.15 (CERTIFIED 0.1)
Waldmann_19/random-75.xml 8321616 YES 23.58/6.85 (CERTIFIED 0.0) timeout (wallclock) [out]
Waldmann_19/random-72.xml 8321617 YES 136.16/35.27 (CERTIFIED 0.2) timeout (wallclock) [out]
Waldmann_19/random-198.xml 8321618 timeout (wallclock) [out] timeout (wallclock) [out]
Waldmann_19/random-149.xml 8321619 YES 8.77/3.00 (CERTIFIED 0.2) YES 6.16/1.83 (CERTIFIED 0.1)
Waldmann_19/random-210.xml 8321620 YES 4.85/2.12 (CERTIFIED 0.1) YES 10.04/2.81 (CERTIFIED 0.0)
Waldmann_19/random-35.xml 8321621 YES 7.28/2.82 (CERTIFIED 0.0) YES 7.19/2.09 (CERTIFIED 0.0)
Waldmann_19/random-98.xml 8321622 YES 24.04/9.02 (CERTIFIED 0.0) YES 16.69/4.50 (CERTIFIED 0.1)
Waldmann_19/random-172.xml 8321623 YES 8.10/2.81 (CERTIFIED 0.1) YES 19.87/5.30 (CERTIFIED 0.0)
Waldmann_19/random-175.xml 8321624 MAYBE 1179.97/299.68 timeout (wallclock) [out]
Waldmann_19/random-109.xml 8321625 YES 8.27/2.93 (CERTIFIED 0.2) YES 19.93/5.33 (CERTIFIED 0.0)
Zantema_06_relative/rel12.xml 5166242 timeout (wallclock) [out] timeout (wallclock) [out]
Zantema_06_relative/rel10.xml 5166243 YES 24.95/7.18 (CERTIFIED 0.0) YES 8.93/1.93 (CERTIFIED 0.0)
Zantema_06_relative/rel11.xml 5166244 timeout (wallclock) [out] timeout (wallclock) [out]
Zantema_06_relative/rel08.xml 5166245 YES 8.70/3.03 (CERTIFIED 0.0) YES 11.62/3.21 (CERTIFIED 0.1)
Zantema_06_relative/rel06.xml 5166246 YES 44.98/12.30 (CERTIFIED 0.3) timeout (wallclock) [out]
Zantema_06_relative/rel05.xml 5166247 YES 11.96/3.86 (CERTIFIED 0.0) YES 3.97/1.26 (CERTIFIED 0.1)
Zantema_06_relative/rel02.xml 5166248 YES 17.27/5.22 (CERTIFIED 0.1) timeout (wallclock) [out]
Zantema_06_relative/rel13.xml 5166249 YES 10.87/3.58 (CERTIFIED 0.0) YES 7.83/2.26 (CERTIFIED 0.1)
Zantema_06_relative/rel01.xml 5166250 YES 5.70/2.17 (CERTIFIED 0.0) YES 2.94/1.01 (CERTIFIED 0.0)
Zantema_06_relative/rel07.xml 5166251 MAYBE 1154.01/292.78 timeout (wallclock) [out]
Zantema_06_relative/rel03.xml 5166252 timeout (wallclock) [out] timeout (wallclock) [out]
Zantema_06_relative/cars.xml 5166253 MAYBE 1180.65/299.99 timeout (wallclock) [out]
Zantema_06_relative/rel04.xml 5166254 YES 21.69/7.37 (CERTIFIED 0.0) YES 5.04/1.54 (CERTIFIED 0.1)
Zantema_06_relative/rel09.xml 5166255 YES 31.70/8.92 (CERTIFIED 0.1) YES 7.37/2.14 (CERTIFIED 0.1)
Waldmann_06_relative/rbeans.xml 5166276 MAYBE 0.36/0.35 MAYBE 8.92/7.33
Waldmann_06_relative/r8.xml 5166277 YES 14.53/4.45 (CERTIFIED 0.0) YES 7.03/2.04 (CERTIFIED 0.1)
Waldmann_06_relative/r4.xml 5166278 YES 935.47/237.51 (CERTIFIED 3.7) timeout (wallclock) [out]
Waldmann_06_relative/r1.xml 5166279 MAYBE 0.34/0.27 MAYBE 8.07/7.33
Waldmann_06_relative/r5.xml 5166280 YES 13.82/4.24 (CERTIFIED 0.0) YES 4.55/1.41 (CERTIFIED 0.0)
Waldmann_06_relative/r9.xml 5166281 YES 24.42/6.96 (CERTIFIED 0.0) YES 6.36/1.86 (CERTIFIED 0.0)
Waldmann_06_relative/r6.xml 5166282 YES 14.07/4.51 (CERTIFIED 0.0) YES 4.51/1.40 (CERTIFIED 0.1)
Waldmann_06_relative/r7.xml 5166283 YES 4.83/2.02 (CERTIFIED 0.1) YES 3.16/1.07 (CERTIFIED 0.0)
Waldmann_06_relative/r3.xml 5166284 YES 36.44/12.08 (CERTIFIED 0.1) YES 2.62/0.92 (CERTIFIED 0.0)
Waldmann_06_relative/r10.xml 5166285 YES 469.34/119.60 (CERTIFIED 0.0) timeout (wallclock) [out]
Waldmann_06_relative/r2.xml 5166286 MAYBE 0.35/0.34 MAYBE 8.82/7.33
163 81