Termination Competition 2019: SRS Relative33461

Job info CSV
benchmark AProVE standard matchbox-2019-03-17 rel.sh MultumNonMulta 3.12 2019 20G default NaTT Default ttt2-1.19 ttt2
Mixed_relative_SRS/zr07.xml 5166256 YES 8.93/3.08 YES 0.39/0.13 YES 0.84/0.40 YES 0.03/0.09 YES 10.97/3.08
Mixed_relative_SRS/zr02new.xml 5166257 YES 9.40/3.21 YES 4.94/1.29 YES 1.47/0.56 MAYBE 0.03/0.11 YES 21.73/5.85
Mixed_relative_SRS/zr01.xml 5166258 YES 6.73/2.56 YES 0.16/0.06 YES 0.66/0.36 MAYBE 0.02/0.07 YES 6.34/1.91
Mixed_relative_SRS/zr05.xml 5166259 YES 4.91/1.95 YES 0.07/0.03 YES 0.52/0.32 YES 0.01/0.04 YES 4.36/1.39
Mixed_relative_SRS/un03.xml 5166260 timeout (wallclock) [out] YES 25.92/7.12 YES 92.69/23.74 MAYBE 1.65/1.50 MAYBE 742.01/299.42
Mixed_relative_SRS/zr03.xml 5166261 YES 4.24/1.85 YES 0.07/0.03 YES 0.62/0.34 YES 0.01/0.01 YES 3.71/1.23
Mixed_relative_SRS/zr11.xml 5166262 YES 11.14/3.86 YES 0.44/0.13 YES 0.91/0.42 MAYBE 0.04/0.17 YES 13.05/3.62
Mixed_relative_SRS/dup04.xml 5166263 YES 206.88/53.80 YES 1.19/0.44 YES 0.71/0.38 MAYBE 16.5/16.51 MAYBE 807.87/299.40
Mixed_relative_SRS/zr04.xml 5166264 YES 20.38/6.17 YES 8.63/2.21 YES 1.06/0.47 MAYBE 0.04/0.21 MAYBE 790.14/299.40
Mixed_relative_SRS/zr08.xml 5166265 YES 7.22/2.63 YES 0.03/0.02 YES 0.58/0.33 YES 0.01/0.01 YES 7.38/2.17
Mixed_relative_SRS/zr09.xml 5166266 YES 5.80/2.31 YES 0.36/0.11 YES 0.67/0.36 MAYBE 0.02/0.06 YES 7.83/2.27
Mixed_relative_SRS/zr12.xml 5166267 YES 6.41/2.46 YES 0.06/0.03 YES 0.89/0.42 MAYBE 0.02/0.05 YES 10.03/2.82
Mixed_relative_SRS/un01.xml 5166268 YES 22.09/6.62 YES 43.34/11.76 YES 0.79/0.39 MAYBE 0.04/0.15 MAYBE 713.50/299.40
Mixed_relative_SRS/zr13.xml 5166269 NO 3.56/1.63 timeout (wallclock) [out] NO 0.40/0.29 MAYBE 0.02/0.05 NO 2.59/0.97
Mixed_relative_SRS/dup02.xml 5166270 YES 98.65/26.08 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 1.75/1.74 MAYBE 820.07/299.41
Mixed_relative_SRS/zr04new.xml 5166271 YES 21.66/9.33 YES 24.05/6.13 YES 1.51/0.58 MAYBE 0.02/0.09 MAYBE 790.30/299.39
Mixed_relative_SRS/zr06.xml 5166272 YES 5.67/2.22 YES 0.07/0.03 YES 0.65/0.35 YES 0.01/0.04 YES 4.44/1.41
Mixed_relative_SRS/dup03.xml 5166273 YES 48.72/13.37 YES 8.09/2.09 YES 0.96/0.43 YES 2.7/1.99 MAYBE 715.34/299.41
Mixed_relative_SRS/zr02.xml 5166274 YES 8.58/3.11 YES 6.98/1.82 YES 0.73/0.36 MAYBE 0.03/0.12 YES 28.41/7.04
Mixed_relative_SRS/zr10.xml 5166275 YES 12.74/4.11 YES 0.13/0.06 YES 0.73/0.38 MAYBE 0.03/0.12 YES 21.37/5.74
ICFP_2010_relative/4484.xml 5166287 timeout (wallclock) [out] YES 578.59/147.75 YES 131.38/46.02 timeout (wallclock) [out] MAYBE 918.54/299.71
ICFP_2010_relative/131982.xml 5166288 timeout (wallclock) [out] YES 428.46/109.35 YES 317.77/80.47 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/137809.xml 5166289 YES 733.64/248.68 timeout (wallclock) [out] YES 1100.33/278.54 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/4057.xml 5166290 timeout (wallclock) [out] YES 775.97/198.02 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 918.50/299.75
ICFP_2010_relative/139256.xml 5166291 YES 53.13/14.72 YES 38.38/10.18 YES 53.09/13.94 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/5130.xml 5166292 YES 115.95/30.33 YES 10.35/2.98 YES 129.11/32.92 timeout (wallclock) [out] MAYBE 918.46/299.72
ICFP_2010_relative/3770.xml 5166293 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 919.11/299.72
ICFP_2010_relative/135604.xml 5166294 timeout (wallclock) [out] YES 454.04/116.01 YES 876.04/221.83 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/3842.xml 5166295 timeout (wallclock) [out] YES 219.02/55.88 YES 19.13/5.14 timeout (wallclock) [out] MAYBE 918.48/299.71
ICFP_2010_relative/4979.xml 5166296 timeout (wallclock) [out] timeout (wallclock) [out] YES 336.28/85.30 timeout (wallclock) [out] MAYBE 918.47/299.73
ICFP_2010_relative/4487.xml 5166297 timeout (wallclock) [out] YES 8.74/2.58 YES 73.72/19.00 timeout (wallclock) [out] MAYBE 918.42/299.71
ICFP_2010_relative/4943.xml 5166298 timeout (wallclock) [out] YES 47.53/12.28 YES 239.34/61.37 timeout (wallclock) [out] MAYBE 918.86/299.71
ICFP_2010_relative/3916.xml 5166299 MAYBE 0.59/0.99 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 1.07/1.13 MAYBE 628.08/299.66
ICFP_2010_relative/4106.xml 5166300 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 918.57/299.66
ICFP_2010_relative/4893.xml 5166301 timeout (wallclock) [out] YES 21.88/5.93 YES 32.62/9.98 timeout (wallclock) [out] MAYBE 918.55/299.71
ICFP_2010_relative/136051.xml 5166302 timeout (wallclock) [out] YES 345.64/88.47 YES 976.38/246.99 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/139310.xml 5166303 YES 41.41/11.41 YES 822.65/208.53 YES 49.61/12.94 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/136623.xml 5166304 timeout (wallclock) [out] YES 401.56/102.56 YES 1020.43/258.26 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/132478.xml 5166305 YES 58.81/15.73 YES 1006.76/254.93 YES 62.79/16.21 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/4824.xml 5166306 timeout (wallclock) [out] YES 34.04/8.91 YES 20.95/5.62 timeout (wallclock) [out] MAYBE 918.62/299.71
ICFP_2010_relative/4938.xml 5166307 timeout (wallclock) [out] YES 31.29/8.34 YES 126.51/32.20 timeout (wallclock) [out] MAYBE 918.55/299.71
ICFP_2010_relative/88172.xml 5166308 timeout (wallclock) [out] YES 49.38/12.68 YES 14.05/3.86 timeout (wallclock) [out] MAYBE 918.83/299.82
ICFP_2010_relative/132920.xml 5166309 YES 37.24/10.36 YES 812.44/205.94 YES 130.70/79.60 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/139163.xml 5166310 YES 68.20/18.44 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/97888.xml 5166311 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/4374.xml 5166312 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 918.68/299.79
ICFP_2010_relative/128430.xml 5166313 YES 53.62/14.47 YES 638.47/161.71 YES 66.09/24.53 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/135328.xml 5166314 timeout (wallclock) [out] YES 374.31/95.64 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/140639.xml 5166315 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/139174.xml 5166316 YES 42.27/11.66 YES 901.13/227.98 YES 53.87/14.62 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/4157.xml 5166317 timeout (wallclock) [out] YES 479.98/122.55 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 917.24/299.72
ICFP_2010_relative/91242.xml 5166318 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/140664.xml 5166319 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/128691.xml 5166320 YES 36.38/10.19 YES 604.32/153.15 YES 50.39/14.64 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/4953.xml 5166321 timeout (wallclock) [out] YES 26.48/7.10 YES 115.55/29.44 timeout (wallclock) [out] MAYBE 918.56/299.74
ICFP_2010_relative/131633.xml 5166322 timeout (wallclock) [out] timeout (wallclock) [out] YES 348.10/88.12 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/128550.xml 5166323 YES 43.06/11.90 YES 39.20/10.43 YES 72.49/31.39 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/133486.xml 5166324 timeout (wallclock) [out] timeout (wallclock) [out] YES 1096.3/277.79 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/134918.xml 5166325 timeout (wallclock) [out] YES 319.50/81.70 YES 929.96/234.97 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/138269.xml 5166326 timeout (wallclock) [out] YES 367.74/94.08 YES 892.77/225.85 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/4964.xml 5166327 timeout (wallclock) [out] YES 463.58/118.28 YES 15.19/4.20 timeout (wallclock) [out] MAYBE 919.57/299.71
ICFP_2010_relative/133010.xml 5166328 YES 40.94/11.28 YES 797.62/202.28 YES 97.98/58.72 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/133159.xml 5166329 timeout (wallclock) [out] YES 335.43/85.88 YES 836.41/214.16 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/128280.xml 5166330 YES 48.10/13.18 YES 327.75/83.31 YES 50.58/13.09 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/127538.xml 5166331 YES 57.11/15.39 YES 643.76/163.05 YES 51.01/14.19 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/3989.xml 5166332 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 918.39/299.72
ICFP_2010_relative/140631.xml 5166333 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/128486.xml 5166334 YES 47.23/12.92 YES 38.89/10.28 YES 49.10/12.94 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/140649.xml 5166335 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/124791.xml 5166336 timeout (wallclock) [out] YES 383.34/97.65 YES 870.29/220.22 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/139018.xml 5166337 YES 44.97/12.42 YES 811.09/205.41 YES 58.59/15.23 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/3533.xml 5166338 timeout (wallclock) [out] YES 1173.86/300.03 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 929.35/299.71
ICFP_2010_relative/139036.xml 5166339 YES 54.13/14.90 YES 44.00/11.64 YES 49.78/13.90 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/139180.xml 5166340 YES 73.08/19.41 YES 783.19/198.17 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/139378.xml 5166341 YES 50.89/13.91 YES 832.44/210.90 YES 55.21/14.79 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/140359.xml 5166342 YES 42.20/11.61 YES 378.16/96.21 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/4920.xml 5166343 timeout (wallclock) [out] YES 411.10/105.18 MAYBE 443.21/119.17 timeout (wallclock) [out] MAYBE 918.63/299.72
ICFP_2010_relative/41378.xml 5166344 timeout (wallclock) [out] timeout (wallclock) [out] YES 66.21/17.05 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/3831.xml 5166345 YES 113.6/29.52 YES 26.56/7.11 YES 74.95/19.39 timeout (wallclock) [out] MAYBE 918.56/299.71
ICFP_2010_relative/124211.xml 5166346 timeout (wallclock) [out] timeout (wallclock) [out] YES 729.01/184.32 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/138330.xml 5166347 timeout (wallclock) [out] YES 506.05/128.66 YES 851.63/215.32 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/138477.xml 5166348 timeout (wallclock) [out] timeout (wallclock) [out] YES 1156.32/292.86 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/132235.xml 5166349 timeout (wallclock) [out] YES 44.42/12.13 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/139214.xml 5166350 YES 42.29/11.70 YES 883.53/223.61 YES 54.99/14.41 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/3268.xml 5166351 timeout (wallclock) [out] YES 14.94/3.92 YES 4.20/1.28 timeout (wallclock) [out] MAYBE 915.46/299.52
ICFP_2010_relative/139025.xml 5166352 YES 37.63/10.52 YES 790.40/200.15 YES 292.30/82.98 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/5109.xml 5166353 YES 95.64/25.58 YES 17.48/4.78 YES 119.99/30.55 timeout (wallclock) [out] MAYBE 918.43/299.71
ICFP_2010_relative/139185.xml 5166354 YES 34.33/9.64 YES 929.82/235.45 YES 78.52/36.59 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/4200.xml 5166355 timeout (wallclock) [out] YES 87.35/22.32 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 919.67/299.74
ICFP_2010_relative/3467.xml 5166356 timeout (wallclock) [out] YES 27.38/7.26 YES 81.10/20.80 timeout (wallclock) [out] MAYBE 923.15/299.70
ICFP_2010_relative/139100.xml 5166357 YES 46.47/12.65 YES 384.30/97.73 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/128182.xml 5166358 YES 39.74/11.10 YES 784.70/198.64 YES 57.36/14.86 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/124269.xml 5166359 timeout (wallclock) [out] YES 350.28/89.40 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/142142.xml 5166360 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/3865.xml 5166361 timeout (wallclock) [out] YES 86.80/22.17 YES 409.70/103.81 timeout (wallclock) [out] MAYBE 918.40/299.71
ICFP_2010_relative/3995.xml 5166362 timeout (wallclock) [out] YES 91.44/23.28 YES 79.38/20.37 timeout (wallclock) [out] MAYBE 918.53/299.74
ICFP_2010_relative/138993.xml 5166363 YES 53.73/14.51 YES 783.94/198.5 YES 50.03/13.04 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/142146.xml 5166364 YES 61.57/25.28 YES 182.10/47.00 YES 17.82/4.82 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/63142.xml 5166365 timeout (wallclock) [out] YES 63.22/17.26 YES 43.19/11.29 timeout (wallclock) [out] MAYBE 918.64/299.84
ICFP_2010_relative/4819.xml 5166366 YES 89.09/23.88 YES 31.03/8.39 YES 43.53/11.49 timeout (wallclock) [out] MAYBE 919.16/299.70
ICFP_2010_relative/135782.xml 5166367 timeout (wallclock) [out] timeout (wallclock) [out] YES 625.26/158.13 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/4282.xml 5166368 timeout (wallclock) [out] YES 18.31/5.01 YES 64.18/16.52 timeout (wallclock) [out] MAYBE 918.38/299.70
ICFP_2010_relative/137404.xml 5166369 timeout (wallclock) [out] YES 61.86/16.68 YES 1033.71/261.51 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/139190.xml 5166370 YES 34.39/9.76 YES 675.56/171.06 YES 77.74/33.87 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/3786.xml 5166371 timeout (wallclock) [out] timeout (wallclock) [out] YES 42.13/11.12 timeout (wallclock) [out] MAYBE 918.41/299.73
ICFP_2010_relative/4074.xml 5166372 timeout (wallclock) [out] YES 16.44/4.52 YES 71.03/19.14 timeout (wallclock) [out] MAYBE 918.68/299.74
ICFP_2010_relative/97917.xml 5166373 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/132622.xml 5166374 YES 45.13/12.32 YES 42.51/11.21 YES 219.73/88.49 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/135115.xml 5166375 timeout (wallclock) [out] YES 413.06/105.52 YES 1178.73/298.37 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/107236.xml 5166376 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/132720.xml 5166377 YES 36.22/10.05 YES 42.93/11.40 YES 52.66/14.95 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/140659.xml 5166378 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/139167.xml 5166379 YES 52.25/14.13 YES 376.39/95.83 YES 69.88/30.28 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/4412.xml 5166380 YES 159.16/41.17 YES 69.41/17.85 YES 20.49/5.48 timeout (wallclock) [out] MAYBE 723.16/299.70
ICFP_2010_relative/140287.xml 5166381 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/138194.xml 5166382 timeout (wallclock) [out] timeout (wallclock) [out] YES 711.85/179.96 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/4934.xml 5166383 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 919.09/299.71
ICFP_2010_relative/135936.xml 5166384 YES 507.51/157.25 timeout (wallclock) [out] YES 1037.17/262.59 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/123759.xml 5166385 timeout (wallclock) [out] timeout (wallclock) [out] YES 676.84/171.08 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/4991.xml 5166386 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 918.38/299.73
ICFP_2010_relative/3633.xml 5166387 timeout (wallclock) [out] YES 322.72/82.44 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 918.74/299.72
ICFP_2010_relative/139004.xml 5166388 YES 52.90/14.49 YES 446.23/113.32 YES 84.01/35.29 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/3705.xml 5166389 timeout (wallclock) [out] YES 607.77/155.06 YES 354.88/89.97 timeout (wallclock) [out] MAYBE 918.44/299.73
ICFP_2010_relative/3746.xml 5166390 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 918.57/299.70
ICFP_2010_relative/142157.xml 5166391 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/4051.xml 5166392 YES 253.51/65.14 YES 21.60/5.75 YES 67.03/17.22 timeout (wallclock) [out] MAYBE 918.84/299.71
ICFP_2010_relative/4248.xml 5166393 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 918.53/299.73
ICFP_2010_relative/4840.xml 5166394 timeout (wallclock) [out] YES 915.76/233.66 MAYBE 864.36/228.05 timeout (wallclock) [out] MAYBE 722.38/299.69
ICFP_2010_relative/140654.xml 5166395 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/128515.xml 5166396 YES 60.29/16.07 YES 584.08/147.98 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/128620.xml 5166397 YES 41.23/11.35 YES 725.34/183.51 YES 55.52/14.49 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/4970.xml 5166398 MAYBE 0.56/0.46 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.92/0.95 MAYBE 627.91/299.63
ICFP_2010_relative/3498.xml 5166399 timeout (wallclock) [out] YES 22.36/6.04 YES 18.97/5.11 timeout (wallclock) [out] MAYBE 918.45/299.70
ICFP_2010_relative/3450.xml 5166400 timeout (wallclock) [out] YES 564.43/144.27 YES 95.97/44.53 timeout (wallclock) [out] MAYBE 727.19/299.69
ICFP_2010_relative/3589.xml 5166401 timeout (wallclock) [out] YES 559.23/142.77 YES 40.14/10.47 timeout (wallclock) [out] MAYBE 918.37/299.73
ICFP_2010_relative/132833.xml 5166402 YES 56.41/15.33 YES 364.43/92.66 YES 58.37/15.06 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/133881.xml 5166403 timeout (wallclock) [out] timeout (wallclock) [out] YES 819.05/206.98 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/3680.xml 5166404 YES 109.97/28.87 YES 8.03/2.40 YES 200.11/50.88 timeout (wallclock) [out] MAYBE 918.76/299.70
ICFP_2010_relative/4036.xml 5166405 YES 208.99/54.51 YES 19.14/5.24 YES 91.86/23.54 timeout (wallclock) [out] MAYBE 918.46/299.74
ICFP_2010_relative/54097.xml 5166406 timeout (wallclock) [out] timeout (wallclock) [out] YES 135.33/34.46 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/3817.xml 5166407 timeout (wallclock) [out] YES 346.94/88.79 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 918.47/299.72
ICFP_2010_relative/4141.xml 5166408 timeout (wallclock) [out] YES 95.58/24.46 YES 33.03/9.23 timeout (wallclock) [out] MAYBE 918.47/299.71
ICFP_2010_relative/4181.xml 5166409 YES 283.39/72.60 YES 26.86/6.87 YES 313.55/79.52 timeout (wallclock) [out] MAYBE 918.97/299.72
ICFP_2010_relative/3562.xml 5166410 timeout (wallclock) [out] YES 349.64/89.37 YES 89.84/44.97 timeout (wallclock) [out] MAYBE 918.58/299.71
ICFP_2010_relative/4002.xml 5166411 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 918.49/299.69
ICFP_2010_relative/136562.xml 5166412 timeout (wallclock) [out] YES 79.76/21.22 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/132969.xml 5166413 timeout (wallclock) [out] YES 411.51/105.13 YES 468.56/118.57 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/4827.xml 5166414 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 918.27/299.70
ICFP_2010_relative/140318.xml 5166415 YES 39.99/11.18 YES 831.16/210.68 YES 121.44/39.26 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/132782.xml 5166416 YES 35.57/10.04 YES 863.12/218.64 YES 55.15/14.35 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/139236.xml 5166417 YES 40.69/11.31 YES 356.66/90.69 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/3729.xml 5166418 timeout (wallclock) [out] YES 9.30/2.71 YES 76.53/19.60 timeout (wallclock) [out] MAYBE 918.62/299.71
ICFP_2010_relative/3939.xml 5166419 timeout (wallclock) [out] YES 20.45/5.53 YES 67.86/17.47 timeout (wallclock) [out] MAYBE 918.61/299.72
ICFP_2010_relative/3336.xml 5166420 MAYBE 0.52/0.35 timeout (wallclock) [out] YES 17.35/4.66 MAYBE 0.11/0.19 MAYBE 628.65/299.52
ICFP_2010_relative/3385.xml 5166421 timeout (wallclock) [out] YES 1057.21/268.10 YES 18.43/5.23 timeout (wallclock) [out] MAYBE 914.83/299.56
ICFP_2010_relative/128056.xml 5166422 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/107220.xml 5166423 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/135652.xml 5166424 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/3856.xml 5166425 YES 166.40/43.00 YES 21.96/5.95 YES 83.11/21.35 timeout (wallclock) [out] MAYBE 918.50/299.72
ICFP_2010_relative/132540.xml 5166426 YES 51.08/13.86 YES 638.15/161.70 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/3930.xml 5166427 timeout (wallclock) [out] timeout (wallclock) [out] YES 116.56/48.84 timeout (wallclock) [out] MAYBE 918.43/299.73
ICFP_2010_relative/4029.xml 5166428 timeout (wallclock) [out] YES 39.72/10.14 YES 1026.94/262.20 timeout (wallclock) [out] MAYBE 918.47/299.74
ICFP_2010_relative/4816.xml 5166429 YES 198.50/51.02 YES 27.01/7.22 YES 25.37/6.74 timeout (wallclock) [out] MAYBE 918.55/299.78
ICFP_2010_relative/142150.xml 5166430 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/5011.xml 5166431 MAYBE 0.57/0.86 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.68/0.69 MAYBE 629.0/299.65
ICFP_2010_relative/3861.xml 5166432 timeout (wallclock) [out] YES 415.97/106.22 YES 103.48/45.41 timeout (wallclock) [out] MAYBE 918.58/299.74
ICFP_2010_relative/132864.xml 5166433 YES 38.44/10.73 YES 834.89/211.32 YES 88.06/43.81 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/132957.xml 5166434 YES 64.47/17.42 YES 894.32/226.58 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/3762.xml 5166435 timeout (wallclock) [out] YES 126.43/32.42 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 918.49/299.70
ICFP_2010_relative/139282.xml 5166436 YES 38.37/10.72 YES 825.78/209.11 YES 168.16/126.26 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/4854.xml 5166437 timeout (wallclock) [out] YES 646.05/165.15 YES 910.64/232.29 timeout (wallclock) [out] MAYBE 918.56/299.72
ICFP_2010_relative/132738.xml 5166438 YES 39.60/11.10 YES 39.33/10.42 YES 58.10/15.07 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/88143.xml 5166439 YES 57.12/19.67 YES 37.16/9.61 YES 11.34/3.15 timeout (wallclock) [out] MAYBE 918.64/299.81
ICFP_2010_relative/5076.xml 5166440 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 918.45/299.71
ICFP_2010_relative/4847.xml 5166441 timeout (wallclock) [out] timeout (wallclock) [out] YES 569.04/144.55 timeout (wallclock) [out] MAYBE 918.40/299.73
ICFP_2010_relative/4046.xml 5166442 MAYBE 0.52/1.26 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 1.0/1.02 MAYBE 627.99/299.66
ICFP_2010_relative/97901.xml 5166443 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/64160.xml 5166444 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 919.38/299.87
ICFP_2010_relative/97929.xml 5166445 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/4017.xml 5166446 timeout (wallclock) [out] YES 460.23/117.42 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 918.64/299.72
Waldmann_19/random-195.xml 8321526 timeout (wallclock) [out] YES 142.32/36.17 timeout (wallclock) [out] MAYBE 4.27/4.27 MAYBE 724.85/299.39
Waldmann_19/random-76.xml 8321527 YES 6.19/2.35 YES 15.12/3.87 timeout (wallclock) [out] YES 0.01/0.02 YES 15.49/4.27
Waldmann_19/random-228.xml 8321528 YES 8.31/2.96 YES 0.23/0.07 YES 1.27/0.53 YES 0.02/0.10 YES 9.26/2.64
Waldmann_19/random-78.xml 8321529 YES 32.24/9.03 YES 7.96/2.05 timeout (wallclock) [out] MAYBE 0.04/0.26 MAYBE 726.91/299.39
Waldmann_19/random-226.xml 8321530 YES 4.88/2.07 YES 0.13/0.05 YES 0.86/0.41 YES 0.01/0.04 YES 21.45/5.73
Waldmann_19/random-221.xml 8321531 YES 5.73/2.18 YES 0.06/0.03 YES 1.01/0.45 YES 0.02/0.04 YES 10.38/2.94
Waldmann_19/random-43.xml 8321532 YES 129.47/33.61 YES 12.12/3.11 timeout (wallclock) [out] MAYBE 0.64/0.71 YES 102.79/26.59
Waldmann_19/random-176.xml 8321533 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 4.75/4.77 MAYBE 733.35/299.39
Waldmann_19/random-92.xml 8321534 YES 77.78/20.57 YES 2.99/0.84 YES 10.68/2.96 MAYBE 0.07/0.45 YES 61.57/15.59
Waldmann_19/random-38.xml 8321535 timeout (wallclock) [out] YES 46.55/11.83 timeout (wallclock) [out] MAYBE 0.06/0.29 MAYBE 725.84/299.40
Waldmann_19/random-95.xml 8321536 YES 5.73/2.24 YES 4.04/1.06 YES 26.90/7.17 YES 0.01/0.03 YES 14.00/3.30
Waldmann_19/random-84.xml 8321537 timeout (wallclock) [out] YES 268.81/68.02 timeout (wallclock) [out] MAYBE 0.04/0.33 MAYBE 741.50/299.39
Waldmann_19/random-160.xml 8321538 YES 4.46/1.87 YES 10.97/1.43 YES 1.11/0.48 YES 0.01/0.02 YES 13.83/3.81
Waldmann_19/random-52.xml 8321539 YES 5.18/2.16 YES 1.70/0.47 YES 1.45/0.58 MAYBE 0.04/0.48 YES 29.78/7.91
Waldmann_19/random-202.xml 8321540 YES 66.81/17.65 YES 7.89/2.07 YES 1.61/0.60 MAYBE 2.75/2.79 MAYBE 724.38/299.39
Waldmann_19/random-115.xml 8321541 YES 5.57/2.20 YES 2.10/0.56 YES 1.00/0.45 YES 0.75/0.85 MAYBE 712.95/299.39
Waldmann_19/random-27.xml 8321542 timeout (wallclock) [out] timeout (wallclock) [out] NO 11.51/3.19 MAYBE 0.05/0.43 MAYBE 723.41/299.37
Waldmann_19/random-120.xml 8321543 YES 6.74/2.49 YES 0.67/0.20 YES 33.44/8.78 MAYBE 0.04/0.36 YES 21.82/5.87
Waldmann_19/random-152.xml 8321544 YES 35.46/10.48 YES 1.17/0.31 timeout (wallclock) [out] MAYBE 0.03/0.17 YES 40.26/10.60
Waldmann_19/random-67.xml 8321545 YES 55.84/14.94 YES 6.31/1.70 YES 1.58/0.60 MAYBE 3.63/3.67 MAYBE 724.14/299.40
Waldmann_19/random-60.xml 8321546 timeout (wallclock) [out] YES 522.17/132.15 timeout (wallclock) [out] MAYBE 0.07/0.41 MAYBE 724.36/299.39
Waldmann_19/random-184.xml 8321547 YES 5.82/2.47 YES 0.05/0.03 YES 0.67/0.36 YES 0.01/0.02 YES 9.56/2.74
Waldmann_19/random-39.xml 8321548 YES 40.57/11.20 YES 3.31/0.88 YES 1.67/0.62 MAYBE 0.04/0.45 YES 58.92/15.34
Waldmann_19/random-45.xml 8321549 YES 52.51/14.96 YES 32.30/8.23 YES 13.30/3.65 MAYBE 0.58/0.62 YES 45.85/12.02
Waldmann_19/random-177.xml 8321550 timeout (wallclock) [out] timeout (wallclock) [out] NO 12.68/3.47 MAYBE 0.48/0.59 MAYBE 724.01/299.39
Waldmann_19/random-42.xml 8321551 YES 8.33/3.02 YES 11.67/3.01 timeout (wallclock) [out] MAYBE 0.06/0.44 YES 114.49/29.75
Waldmann_19/random-93.xml 8321552 YES 5.06/2.02 YES 0.33/0.10 YES 0.88/0.43 YES 0.02/0.03 YES 19.30/5.29
Waldmann_19/random-105.xml 8321553 YES 28.50/7.94 YES 0.61/0.17 YES 1.09/0.53 YES 0.10/0.45 YES 12.62/3.52
Waldmann_19/random-212.xml 8321554 YES 53.65/14.40 YES 260.82/66.13 timeout (wallclock) [out] YES 0.02/0.04 MAYBE 727.86/299.40
Waldmann_19/random-137.xml 8321555 YES 3.83/1.87 YES 0.06/0.03 YES 1.68/0.62 YES 0.01/0.03 YES 3.87/1.29
Waldmann_19/random-79.xml 8321556 YES 53.76/14.45 YES 26.34/6.74 timeout (wallclock) [out] MAYBE 0.63/0.73 YES 40.36/10.62
Waldmann_19/random-227.xml 8321557 YES 29.06/4.51 YES 1.62/0.44 YES 2.98/0.97 MAYBE 0.61/0.65 YES 46.11/12.05
Waldmann_19/random-130.xml 8321558 timeout (wallclock) [out] timeout (wallclock) [out] NO 5.26/1.54 MAYBE 4.58/4.70 MAYBE 724.40/299.39
Waldmann_19/random-142.xml 8321559 YES 8.34/2.86 YES 1.67/0.45 YES 10.42/2.94 YES 0.02/0.04 YES 18.60/5.02
Waldmann_19/random-77.xml 8321560 YES 6.22/2.41 YES 1.42/0.51 YES 4.02/1.23 YES 0.01/0.02 YES 11.58/3.26
Waldmann_19/random-145.xml 8321561 YES 37.89/11.42 YES 0.54/0.15 YES 1.19/0.51 YES 0.07/0.39 YES 60.46/15.05
Waldmann_19/random-70.xml 8321562 YES 7.58/2.74 YES 0.10/0.10 YES 0.62/0.34 YES 0.01/0.02 YES 28.37/3.92
Waldmann_19/random-66.xml 8321563 YES 14.03/4.44 YES 0.49/0.14 YES 0.77/0.38 YES 0.05/0.25 YES 16.61/4.56
Waldmann_19/random-182.xml 8321564 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 3.21/3.24 MAYBE 724.11/299.38
Waldmann_19/random-68.xml 8321565 MAYBE 0.40/0.42 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 2.69/2.75 MAYBE 727.99/299.39
Waldmann_19/random-14.xml 8321566 YES 9.02/3.12 YES 5.41/1.40 YES 11.08/3.04 YES 0.05/0.11 YES 57.71/15.02
Waldmann_19/random-126.xml 8321567 YES 6.02/2.38 YES 259.10/65.53 timeout (wallclock) [out] YES 0.09/0.10 MAYBE 733.14/299.39
Waldmann_19/random-26.xml 8321568 YES 8.02/2.88 YES 45.38/11.51 timeout (wallclock) [out] YES 0.02/0.03 YES 12.13/3.40
Waldmann_19/random-113.xml 8321569 YES 5.06/2.19 YES 0.69/0.22 YES 1.29/0.52 YES 0.06/0.30 YES 29.39/7.78
Waldmann_19/random-168.xml 8321570 YES 4.70/1.98 YES 1.28/0.35 YES 1.46/0.58 YES 0.05/0.24 YES 41.97/5.63
Waldmann_19/random-82.xml 8321571 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] YES 0.02/0.04 YES 115.22/29.17
Waldmann_19/random-166.xml 8321572 timeout (wallclock) [out] YES 33.35/8.51 timeout (wallclock) [out] MAYBE 0.9/0.92 YES 39.36/10.34
Waldmann_19/random-28.xml 8321573 YES 191.92/49.48 YES 4.13/1.07 timeout (wallclock) [out] MAYBE 1.6/1.66 YES 51.57/11.39
Waldmann_19/random-150.xml 8321574 YES 31.12/8.77 YES 4.24/1.10 timeout (wallclock) [out] MAYBE 0.79/0.83 YES 191.32/48.00
Waldmann_19/random-65.xml 8321575 YES 8.03/2.93 YES 0.27/0.09 YES 1.10/0.47 YES 2.66/2.69 YES 27.32/7.02
Waldmann_19/random-62.xml 8321576 timeout (wallclock) [out] timeout (wallclock) [out] NO 8.01/2.27 MAYBE 1.17/1.25 MAYBE 724.55/299.39
Waldmann_19/random-186.xml 8321577 YES 982.03/249.30 YES 269.32/68.28 timeout (wallclock) [out] MAYBE 0.08/0.48 MAYBE 724.11/299.38
Waldmann_19/random-10.xml 8321578 YES 4.75/2.42 YES 0.09/0.04 YES 0.85/0.42 YES 0.05/0.20 YES 9.39/2.68
Waldmann_19/random-232.xml 8321579 YES 40.54/11.12 YES 7.35/2.00 YES 18.30/4.93 MAYBE 0.04/0.49 YES 30.00/7.96
Waldmann_19/random-159.xml 8321580 YES 49.66/13.45 YES 0.53/0.15 YES 1.43/0.56 MAYBE 0.07/0.29 YES 23.19/6.24
Waldmann_19/random-207.xml 8321581 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.46/0.51 MAYBE 724.48/299.39
Waldmann_19/random-110.xml 8321582 YES 7.27/2.63 YES 0.27/0.09 YES 332.75/85.44 YES 0.01/0.03 YES 18.37/4.99
Waldmann_19/random-59.xml 8321583 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.52/0.56 MAYBE 711.70/299.39
Waldmann_19/random-209.xml 8321584 timeout (cpu) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 4.91/4.96 MAYBE 726.86/299.38
Waldmann_19/random-86.xml 8321585 YES 43.56/11.90 YES 2.85/0.79 YES 1.75/0.65 YES 0.07/0.38 YES 53.46/14.33
Waldmann_19/random-162.xml 8321586 YES 4.93/2.06 YES 0.12/0.04 YES 0.73/0.38 YES 0.02/0.05 YES 12.54/3.49
Waldmann_19/random-57.xml 8321587 YES 54.02/14.54 YES 266.86/67.62 timeout (wallclock) [out] YES 0.04/0.27 MAYBE 724.14/299.39
Waldmann_19/random-81.xml 8321588 YES 119.16/30.93 YES 11.79/3.02 timeout (wallclock) [out] YES 0.06/0.25 YES 30.35/8.08
Waldmann_19/random-50.xml 8321589 YES 5.58/2.26 YES 1.96/0.52 YES 1.76/0.66 YES 0.02/0.03 YES 12.07/3.38
Waldmann_19/random-41.xml 8321590 YES 5.87/2.31 YES 2.99/0.80 YES 55.78/14.45 YES 0.05/0.18 YES 35.21/9.18
Waldmann_19/random-46.xml 8321591 YES 7.16/2.68 YES 72.28/18.33 timeout (wallclock) [out] MAYBE 0.05/0.45 MAYBE 730.76/299.40
Waldmann_19/random-173.xml 8321592 YES 6.90/2.68 YES 8.54/2.20 timeout (wallclock) [out] YES 0.01/0.02 YES 13.53/3.76
Waldmann_19/random-34.xml 8321593 YES 5.72/2.30 YES 0.26/0.08 YES 1.38/0.54 YES 0.01/0.01 YES 14.21/3.91
Waldmann_19/random-216.xml 8321594 timeout (wallclock) [out] timeout (wallclock) [out] NO 45.69/11.90 MAYBE 0.05/0.54 MAYBE 724.88/299.38
Waldmann_19/random-99.xml 8321595 timeout (wallclock) [out] timeout (wallclock) [out] NO 529.11/137.85 MAYBE 0.06/0.47 MAYBE 724.60/299.39
Waldmann_19/random-33.xml 8321596 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] YES 15.57/15.78 YES 106.59/27.59
Waldmann_19/random-106.xml 8321597 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 2.1/2.18 MAYBE 724.50/299.4
Waldmann_19/random-134.xml 8321598 YES 6.92/2.54 YES 0.20/0.07 YES 0.81/0.39 YES 0.06/0.35 YES 25.09/6.71
Waldmann_19/random-148.xml 8321599 YES 133.13/36.98 YES 8.03/2.07 timeout (wallclock) [out] YES 0.66/0.79 YES 84.17/21.72
Waldmann_19/random-146.xml 8321600 YES 6.07/2.39 YES 0.31/0.10 YES 0.58/0.32 MAYBE 0.06/0.20 YES 8.05/2.35
Waldmann_19/random-141.xml 8321601 NO 516.90/131.59 timeout (wallclock) [out] NO 0.63/0.34 MAYBE 0.06/0.37 NO 661.26/267.81
Waldmann_19/random-80.xml 8321602 YES 5.12/2.05 YES 0.24/0.08 YES 1.37/0.55 YES 0.01/0.05 YES 16.23/4.44
Waldmann_19/random-164.xml 8321603 YES 5.16/2.01 timeout (wallclock) [out] YES 183.38/46.57 YES 0.01/0.04 YES 60.15/15.59
Waldmann_19/random-208.xml 8321604 YES 145.26/37.60 YES 22.38/6.08 timeout (wallclock) [out] MAYBE 1.5/1.54 YES 73.20/18.46
Waldmann_19/random-163.xml 8321605 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.05/0.47 MAYBE 748.73/299.39
Waldmann_19/random-24.xml 8321606 YES 4.24/1.87 YES 35.77/9.10 YES 148.81/37.92 YES 0.02/0.04 YES 14.32/3.95
Waldmann_19/random-89.xml 8321607 YES 8.80/3.06 YES 0.33/0.10 timeout (wallclock) [out] YES 0.02/0.03 YES 20.65/5.56
Waldmann_19/random-58.xml 8321608 YES 7.05/2.68 YES 1.79/0.48 timeout (wallclock) [out] YES 0.01/0.02 YES 23.11/6.20
Waldmann_19/random-116.xml 8321609 YES 4.28/1.78 YES 0.25/0.08 YES 1.00/0.44 MAYBE 0.05/0.43 YES 23.99/6.42
Waldmann_19/random-16.xml 8321610 YES 6.70/2.55 YES 7.17/1.84 YES 35.08/9.18 YES 0.01/0.02 YES 13.22/3.65
Waldmann_19/random-123.xml 8321611 timeout (wallclock) [out] YES 57.08/14.56 timeout (wallclock) [out] MAYBE 0.06/0.37 YES 145.08/37.34
Waldmann_19/random-11.xml 8321612 timeout (wallclock) [out] YES 34.41/8.76 timeout (wallclock) [out] MAYBE 0.05/0.31 MAYBE 723.60/299.39
Waldmann_19/random-187.xml 8321613 YES 53.46/14.35 YES 9.08/2.39 timeout (wallclock) [out] YES 0.11/0.27 YES 72.46/18.82
Waldmann_19/random-151.xml 8321614 memout [out] YES 14.50/3.71 timeout (wallclock) [out] MAYBE 0.03/0.34 MAYBE 709.11/299.39
Waldmann_19/random-140.xml 8321615 YES 4.70/1.95 YES 0.34/0.10 YES 1.29/0.53 YES 0.05/0.07 YES 41.48/10.89
Waldmann_19/random-75.xml 8321616 YES 17.47/5.32 YES 93.86/23.79 timeout (wallclock) [out] MAYBE 0.86/0.89 MAYBE 723.75/299.38
Waldmann_19/random-72.xml 8321617 YES 112.16/29.56 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.06/0.39 MAYBE 724.65/299.40
Waldmann_19/random-198.xml 8321618 timeout (wallclock) [out] YES 177.83/45.04 timeout (wallclock) [out] MAYBE 5.92/5.93 MAYBE 725.02/299.39
Waldmann_19/random-149.xml 8321619 YES 7.35/2.75 YES 0.23/0.07 YES 0.76/0.40 YES 0.03/0.14 YES 8.86/2.54
Waldmann_19/random-210.xml 8321620 YES 5.70/2.37 YES 0.85/0.26 YES 0.96/0.50 YES 0.01/0.02 YES 31.62/8.34
Waldmann_19/random-35.xml 8321621 YES 5.38/2.12 YES 0.20/0.07 YES 0.91/0.43 YES 0.01/0.04 YES 11.98/3.34
Waldmann_19/random-98.xml 8321622 YES 20.92/6.24 YES 2.90/0.75 timeout (wallclock) [out] MAYBE 1.39/1.42 YES 35.17/9.32
Waldmann_19/random-172.xml 8321623 YES 4.78/1.99 YES 0.28/0.09 YES 1.82/0.69 MAYBE 3.97/4.07 YES 41.54/10.90
Waldmann_19/random-175.xml 8321624 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 3.13/3.13 MAYBE 726.00/299.39
Waldmann_19/random-109.xml 8321625 YES 4.71/2.07 YES 0.15/0.05 YES 1.01/0.45 YES 0.01/0.03 YES 21.50/5.80
Zantema_06_relative/rel12.xml 5166242 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.02/0.12 MAYBE 724.68/299.39
Zantema_06_relative/rel10.xml 5166243 YES 36.27/10.07 YES 0.28/0.09 YES 1.69/0.63 MAYBE 0.03/0.22 MAYBE 702.67/299.38
Zantema_06_relative/rel11.xml 5166244 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.02/0.10 MAYBE 818.67/299.39
Zantema_06_relative/rel08.xml 5166245 YES 9.21/3.20 YES 0.99/0.27 YES 6.85/1.98 MAYBE 0.06/0.11 MAYBE 725.25/299.38
Zantema_06_relative/rel06.xml 5166246 YES 49.53/13.83 YES 7.13/1.83 timeout (wallclock) [out] MAYBE 0.02/0.07 MAYBE 709.32/299.41
Zantema_06_relative/rel05.xml 5166247 YES 12.75/4.13 YES 0.50/0.14 YES 0.95/0.43 MAYBE 0.04/0.12 YES 13.58/3.75
Zantema_06_relative/rel02.xml 5166248 YES 15.31/4.72 YES 57.07/14.50 YES 1.58/0.60 MAYBE 0.03/0.13 MAYBE 884.21/299.39
Zantema_06_relative/rel13.xml 5166249 YES 8.09/2.97 YES 0.12/0.05 YES 0.92/0.42 MAYBE 0.02/0.07 YES 22.11/5.96
Zantema_06_relative/rel01.xml 5166250 YES 6.56/2.42 YES 0.55/0.16 YES 0.90/0.42 MAYBE 0.02/0.06 YES 8.37/2.42
Zantema_06_relative/rel07.xml 5166251 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.06/0.19 MAYBE 710.01/299.39
Zantema_06_relative/rel03.xml 5166252 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.04/0.14 MAYBE 721.95/299.39
Zantema_06_relative/cars.xml 5166253 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.02/0.09 MAYBE 792.54/299.41
Zantema_06_relative/rel04.xml 5166254 YES 19.76/3.32 YES 1.16/0.32 YES 1.17/0.49 MAYBE 0.04/0.14 YES 19.49/5.25
Zantema_06_relative/rel09.xml 5166255 YES 32.73/9.29 YES 0.20/0.07 YES 110.53/28.32 MAYBE 0.02/0.22 MAYBE 703.31/299.40
Waldmann_06_relative/rbeans.xml 5166276 MAYBE 0.34/0.30 YES 26.79/6.84 timeout (wallclock) [out] MAYBE 0.01/0.01 MAYBE 612.80/299.38
Waldmann_06_relative/r8.xml 5166277 YES 19.58/5.68 YES 0.41/0.12 YES 1.05/0.47 MAYBE 0.08/0.22 YES 11.12/3.12
Waldmann_06_relative/r4.xml 5166278 YES 1144.1/290.14 YES 0.22/0.08 timeout (wallclock) [out] MAYBE 0.02/0.09 MAYBE 714.25/299.38
Waldmann_06_relative/r1.xml 5166279 MAYBE 0.35/0.36 YES 0.06/0.03 YES 0.58/0.33 MAYBE 0.01/0.01 MAYBE 605.77/299.39
Waldmann_06_relative/r5.xml 5166280 YES 19.53/8.69 YES 0.36/0.11 timeout (wallclock) [out] MAYBE 0.02/0.08 YES 14.27/3.93
Waldmann_06_relative/r9.xml 5166281 YES 26.62/7.62 YES 0.10/0.04 YES 0.68/0.36 YES 0.01/0.02 YES 3.78/1.24
Waldmann_06_relative/r6.xml 5166282 YES 10.51/3.39 YES 0.29/0.10 YES 0.73/0.38 MAYBE 0.03/0.10 YES 11.22/3.15
Waldmann_06_relative/r7.xml 5166283 YES 5.01/2.07 YES 0.07/0.03 YES 0.88/0.42 MAYBE 0.03/0.11 YES 6.48/1.98
Waldmann_06_relative/r3.xml 5166284 YES 36.31/10.11 YES 0.16/0.06 YES 1.40/0.55 MAYBE 0.02/0.06 YES 5.13/1.60
Waldmann_06_relative/r10.xml 5166285 YES 482.98/123.2 YES 127.30/32.56 YES 2.00/0.73 MAYBE 0.09/0.22 MAYBE 717.12/299.39
Waldmann_06_relative/r2.xml 5166286 MAYBE 0.35/0.34 YES 0.25/0.08 timeout (wallclock) [out] MAYBE 0.01/0.01 YES 19.76/5.32
165 225 200 56 91