TermComp 2020: SRS Standard Certified 41502 Job info CSV Showing results.

benchmark ttt2-1.20 ttt2_cert AProVE certified NaTT 1.6.1 Certifiable
Waldmann_19/random-390.xml 8321425 YES 1.05/0.49 YES 12.83/4.03 YES 0.19/0.22
Waldmann_19/random-341.xml 8321426 YES 11.28/3.11 YES 7.96/2.85 YES 0.73/0.66
Waldmann_19/random-55.xml 8321427 YES 20.74/5.44 YES 27.10/7.61 YES 0.53/0.50
Waldmann_19/random-397.xml 8321428 YES 1.33/0.61 YES 12.88/4.25 YES 0.04/0.09
Waldmann_19/random-27.xml 8321429 YES 30.30/7.84 YES 15.41/4.79 YES 0.20/0.23
Waldmann_19/random-470.xml 8321430 YES 34.65/9.02 YES 16.94/5.05 YES 0.41/0.35
Waldmann_19/random-554.xml 8321431 is MAYBE 952.10/300.32 YES 176.28/44.90 MAYBE 1.16/1.10
Waldmann_19/random-222.xml 8321432 i YES 7.37/2.11 YES 11.94/3.79 MAYBE 0.47/0.45
Waldmann_19/random-132.xml 8321433 i YES 28.88/7.53 YES 14.34/4.36 MAYBE 0.40/0.44
Waldmann_19/random-373.xml 8321434 i YES 41.40/10.59 YES 183.72/46.76 MAYBE 1.00/0.99
Waldmann_19/random-147.xml 8321435 is MAYBE 952.47/300.32 YES 147.06/37.68 MAYBE 1.40/1.36
Waldmann_19/random-402.xml 8321436 i YES 35.57/9.18 YES 21.20/6.25 MAYBE 0.42/0.47
Waldmann_19/random-319.xml 8321437 i YES 65.40/16.72 YES 23.08/6.71 MAYBE 0.79/0.75
Waldmann_19/random-414.xml 8321438 YES 6.67/1.93 YES 10.42/3.37 YES 0.04/0.06
Waldmann_19/random-246.xml 8321439 YES 1.33/0.58 YES 10.79/3.63 YES 0.03/0.07
Waldmann_19/random-530.xml 8321440 i YES 8.16/2.32 YES 27.01/7.64 MAYBE 0.71/0.70
Waldmann_19/random-234.xml 8321441 i YES 54.61/14.02 YES 11.55/3.78 MAYBE 2.34/2.30
Waldmann_19/random-123.xml 8321442 u MAYBE 951.94/300.38 timeout (wallclock) MAYBE 1.36/1.33
Waldmann_19/random-78.xml 8321443 i YES 45.43/11.64 YES 25.96/12.00 MAYBE 1.67/1.69
Waldmann_19/random-466.xml 8321444 YES 0.73/0.43 YES 8.88/2.99 YES 0.04/0.07
Waldmann_19/random-158.xml 8321445 YES 1.28/0.59 YES 11.03/3.63 YES 0.04/0.04
Waldmann_19/random-539.xml 8321446 u MAYBE 951.79/300.31 timeout (wallclock) MAYBE 1.28/1.23
Waldmann_19/random-317.xml 8321447 i YES 45.61/11.69 YES 38.52/12.99 MAYBE 0.99/1.03
Waldmann_19/random-545.xml 8321448 i YES 7.32/2.14 YES 11.78/3.91 MAYBE 0.46/0.49
Waldmann_19/random-453.xml 8321449 YES 1.39/0.65 YES 13.54/4.37 YES 0.04/0.11
Waldmann_19/random-421.xml 8321450 i YES 31.05/8.03 YES 17.93/5.30 MAYBE 0.51/0.55
Waldmann_19/random-403.xml 8321451 YES 29.75/7.71 YES 17.47/5.17 YES 0.24/0.21
Waldmann_19/random-404.xml 8321452 i YES 11.07/3.06 YES 29.96/10.95 MAYBE 0.78/0.78
Waldmann_19/random-141.xml 8321453 YES 10.84/2.96 YES 10.23/3.46 YES 0.39/0.39
Waldmann_19/random-552.xml 8321454 YES 1.08/0.53 YES 9.05/3.04 YES 0.04/0.08
Waldmann_19/random-289.xml 8321455 i YES 42.74/11.00 YES 42.79/11.73 MAYBE 0.51/0.52
Waldmann_19/random-529.xml 8321456 YES 1.31/0.62 YES 12.82/4.13 YES 0.04/0.08
Waldmann_19/random-332.xml 8321457 i YES 167.32/42.27 YES 38.45/10.54 MAYBE 0.77/0.79
Waldmann_19/random-26.xml 8321458 i YES 41.60/10.72 YES 9.95/3.39 MAYBE 0.51/0.51
Waldmann_19/random-216.xml 8321459 YES 14.94/3.99 YES 10.03/3.30 YES 0.03/0.03
Waldmann_19/random-101.xml 8321460 is MAYBE 952.43/300.33 YES 23.94/6.81 MAYBE 1.70/1.67
Waldmann_19/random-106.xml 8321461 i YES 48.83/12.54 YES 29.15/8.19 MAYBE 0.76/0.79
Waldmann_19/random-443.xml 8321462 is MAYBE 952.18/300.33 YES 37.57/10.31 MAYBE 1.46/1.44
Waldmann_19/random-396.xml 8321463 i YES 32.72/8.44 YES 11.91/3.86 MAYBE 0.96/0.94
Waldmann_19/random-82.xml 8321464 YES 1.34/0.59 YES 12.67/6.92 YES 0.41/0.44
Waldmann_19/random-391.xml 8321465 i YES 29.28/7.64 YES 20.04/9.46 MAYBE 0.39/0.42
Waldmann_19/random-436.xml 8321466 YES 7.31/2.07 YES 14.35/4.38 YES 0.21/0.18
Waldmann_19/random-45.xml 8321467 u MAYBE 952.97/300.31 timeout (wallclock) MAYBE 1.46/1.42
Waldmann_19/random-387.xml 8321468 i YES 77.45/19.72 YES 264.98/67.19 MAYBE 1.29/1.26
Waldmann_19/random-504.xml 8321469 i YES 9.88/2.74 YES 12.46/4.00 MAYBE 0.45/0.49
Waldmann_19/random-467.xml 8321470 is MAYBE 951.72/300.35 YES 58.76/15.62 MAYBE 1.15/1.15
Waldmann_19/random-77.xml 8321471 i YES 66.18/16.90 YES 36.88/10.15 MAYBE 0.83/0.79
Waldmann_19/random-90.xml 8321472 is MAYBE 952.66/300.34 YES 44.07/11.86 MAYBE 1.29/1.26
Waldmann_19/random-355.xml 8321473 i YES 4.55/1.41 YES 13.13/4.28 MAYBE 0.36/0.35
Waldmann_19/random-97.xml 8321474 i YES 39.10/10.08 YES 11.63/3.90 MAYBE 0.56/0.55
Waldmann_19/random-383.xml 8321475 YES 8.98/2.51 YES 9.99/3.41 YES 0.35/0.35
Waldmann_19/random-278.xml 8321476 u MAYBE 952.25/300.31 timeout (wallclock) MAYBE 2.59/2.55
Waldmann_19/random-320.xml 8321477 YES 1.20/0.57 YES 11.49/3.74 YES 0.04/0.07
Waldmann_19/random-113.xml 8321478 i YES 36.30/9.39 YES 28.62/10.80 MAYBE 0.49/0.50
Waldmann_19/random-114.xml 8321479 is MAYBE 951.86/300.36 YES 59.41/15.85 MAYBE 1.29/1.30
Waldmann_19/random-33.xml 8321480 is MAYBE 952.00/300.33 YES 383.70/96.96 MAYBE 1.03/0.94
Waldmann_19/random-327.xml 8321481 i YES 8.62/2.39 YES 23.07/6.64 MAYBE 0.42/0.43
Waldmann_19/random-540.xml 8321482 i YES 6.82/2.72 YES 11.90/3.85 MAYBE 0.36/0.37
Waldmann_19/random-126.xml 8321483 YES 1.22/0.54 YES 16.22/5.03 YES 0.04/0.04
Waldmann_19/random-369.xml 8321484 is MAYBE 952.20/300.34 YES 53.93/14.40 MAYBE 1.47/1.44
Waldmann_19/random-185.xml 8321485 i YES 27.98/7.29 YES 16.17/4.89 MAYBE 0.76/0.73
Waldmann_19/random-238.xml 8321486 i YES 135.84/34.34 YES 39.10/13.09 MAYBE 0.48/0.50
Waldmann_19/random-244.xml 8321487 YES 29.83/7.79 YES 13.89/4.29 YES 0.22/0.19
Waldmann_19/random-371.xml 8321488 YES 1.09/0.51 YES 13.82/4.24 YES 0.23/0.25
Waldmann_19/random-65.xml 8321489 is MAYBE 952.36/300.35 YES 40.05/10.86 MAYBE 1.40/1.40
Waldmann_19/random-19.xml 8321490 u MAYBE 952.53/300.33 timeout (cpu) MAYBE 1.37/1.30
Waldmann_19/random-284.xml 8321491 i YES 31.68/8.22 YES 23.48/6.83 MAYBE 1.00/1.01
Waldmann_19/random-194.xml 8321492 i YES 37.05/9.53 YES 21.30/6.24 MAYBE 0.52/0.52
Waldmann_19/random-376.xml 8321493 YES 1.14/0.56 YES 11.25/3.61 YES 0.03/0.03
Waldmann_19/random-400.xml 8321494 is MAYBE 952.34/300.30 NO 165.91/42.46 MAYBE 1.17/1.11
Waldmann_19/random-472.xml 8321495 YES 0.82/0.49 YES 12.87/4.08 YES 0.05/0.04
Waldmann_19/random-10.xml 8321496 YES 27.28/7.11 YES 11.67/3.83 YES 0.22/0.25
Waldmann_19/random-17.xml 8321497 YES 1.37/0.61 YES 12.48/4.00 YES 0.04/0.07
Waldmann_19/random-22.xml 8321498 i YES 192.36/48.64 YES 23.83/11.29 MAYBE 0.46/0.44
Waldmann_19/random-215.xml 8321499 YES 1.14/0.53 YES 10.11/3.31 YES 0.11/0.10
Waldmann_19/random-498.xml 8321500 is MAYBE 952.27/300.30 YES 22.17/6.36 MAYBE 1.19/1.15
Waldmann_19/random-395.xml 8321501 is MAYBE 952.07/300.30 YES 157.48/40.23 MAYBE 0.48/0.49
Waldmann_19/random-516.xml 8321502 YES 6.81/1.93 YES 15.48/4.81 YES 0.22/0.23
Waldmann_19/random-239.xml 8321503 is MAYBE 952.42/300.32 YES 24.29/6.93 MAYBE 1.77/1.76
Waldmann_19/random-361.xml 8321504 YES 0.73/0.46 YES 15.16/4.82 YES 0.05/0.08
Waldmann_19/random-152.xml 8321505 YES 6.59/1.91 YES 11.73/3.86 YES 0.16/0.16
Waldmann_19/random-230.xml 8321506 i YES 37.14/9.56 YES 17.68/5.23 MAYBE 1.41/1.38
Waldmann_19/random-546.xml 8321507 YES 1.46/0.65 YES 18.05/5.47 YES 0.09/0.12
Waldmann_19/random-127.xml 8321508 i YES 64.80/16.48 YES 11.22/4.14 MAYBE 1.74/1.75
Waldmann_19/random-120.xml 8321509 YES 1.12/0.56 YES 11.93/3.85 YES 0.04/0.04
Waldmann_19/random-115.xml 8321510 YES 1.37/0.57 YES 12.30/3.90 YES 0.04/0.04
Waldmann_19/random-202.xml 8321511 is MAYBE 952.38/300.31 YES 50.33/13.61 MAYBE 1.07/1.05
Waldmann_19/random-169.xml 8321512 YES 1.08/0.59 YES 20.28/5.96 YES 0.36/0.31
Waldmann_19/random-450.xml 8321513 YES 14.18/3.78 YES 11.23/3.57 YES 0.19/0.18
Waldmann_19/random-486.xml 8321514 i YES 6.37/1.88 YES 17.70/5.28 MAYBE 0.48/0.46
Waldmann_19/random-8.xml 8321515 is MAYBE 951.02/300.30 YES 59.12/15.61 MAYBE 0.44/0.42
Waldmann_19/random-488.xml 8321516 YES 9.24/2.55 YES 11.12/3.67 YES 0.22/0.18
Waldmann_19/random-425.xml 8321517 YES 1.14/0.58 YES 12.71/3.94 YES 0.36/0.37
Waldmann_19/random-354.xml 8321518 YES 0.65/0.39 YES 11.13/3.56 YES 0.10/0.08
Waldmann_19/random-266.xml 8321519 YES 13.56/3.63 YES 17.15/5.17 YES 0.09/0.10
Waldmann_19/random-87.xml 8321520 YES 0.69/0.45 YES 11.16/3.76 YES 0.04/0.06
Waldmann_19/random-330.xml 8321521 YES 35.03/9.04 YES 8.92/3.02 YES 0.31/0.35
Waldmann_19/random-268.xml 8321522 YES 1.05/0.54 YES 14.12/7.67 YES 0.04/0.07
Waldmann_19/random-519.xml 8321523 is MAYBE 951.87/300.34 YES 85.08/22.15 MAYBE 0.44/0.46
Waldmann_19/random-408.xml 8321524 i YES 28.52/7.45 YES 14.35/4.43 MAYBE 0.41/0.39
Waldmann_19/random-254.xml 8321525 i YES 164.16/41.47 YES 102.67/27.77 MAYBE 0.44/0.46
Zantema_06/09.xml 11772013 i YES 22.29/5.88 YES 21.56/6.31 MAYBE 2.15/2.13
Zantema_06/loop1.xml 11772014 i NO 1.20/0.58 NO 3.38/1.59 MAYBE 0.11/0.16
Zantema_06/07.xml 11772015 u MAYBE 952.34/300.32 timeout (wallclock) MAYBE 0.37/0.34
Zantema_06/16.xml 11772016 YES 17.27/4.56 YES 12.16/3.84 YES 1.05/1.01
Zantema_06/11.xml 11772017 i YES 32.16/8.34 YES 50.19/15.30 MAYBE 1.76/1.74
Zantema_06/18.xml 11772018 i MAYBE 952.92/300.36 YES 8.18/2.86 YES 4.60/4.33
Zantema_06/beans5.xml 11772019 i YES 24.19/6.31 YES 12.36/3.87 MAYBE 0.14/0.18
Zantema_06/while1.xml 11772020 u MAYBE 952.96/300.34 MAYBE 1189.84/298.84 MAYBE 7.31/7.28
Zantema_06/beans2.xml 11772021 i YES 24.87/6.49 YES 11.87/3.77 MAYBE 0.21/0.19
Zantema_06/06.xml 11772022 i YES 50.32/12.86 YES 22.08/6.45 MAYBE 0.15/0.17
Zantema_06/01.xml 11772023 YES 6.49/1.86 YES 10.39/3.56 YES 0.07/0.10
Zantema_06/08.xml 11772024 u MAYBE 952.67/300.32 MAYBE 1179.38/296.51 MAYBE 1.35/0.94
Zantema_06/beans3.xml 11772025 i YES 29.48/7.68 YES 32.20/13.52 MAYBE 0.26/0.25
Zantema_06/beans4.xml 11772026 YES 1.44/0.64 YES 12.93/4.03 YES 0.24/0.27
Zantema_06/10.xml 11772027 i YES 27.14/7.07 YES 22.09/6.48 MAYBE 0.29/0.26
Zantema_06/17.xml 11772028 YES 63.94/16.31 YES 6.41/2.49 YES 1.32/1.23
Zantema_06/beans7.xml 11772029 i YES 29.09/7.61 YES 15.89/4.84 MAYBE 0.19/0.17
Zantema_06/14.xml 11772030 is MAYBE 952.49/300.30 YES 58.11/15.36 MAYBE 0.31/0.28
Zantema_06/13.xml 11772031 i YES 102.01/25.79 YES 45.72/12.38 MAYBE 1.17/1.12
Zantema_06/02.xml 11772032 YES 4.00/1.23 YES 11.69/3.74 YES 0.16/0.14
Zantema_06/05.xml 11772033 i YES 39.75/10.27 YES 155.72/39.84 MAYBE 0.43/0.38
Zantema_06/abc.xml 11772034 i YES 25.41/6.60 YES 15.58/4.77 MAYBE 0.15/0.14
Zantema_06/12.xml 11772035 i YES 62.58/15.91 YES 244.13/61.96 MAYBE 8.51/8.07
Zantema_06/15.xml 11772036 YES 125.99/31.90 YES 30.74/11.16 YES 0.84/0.77
Zantema_06/beans1.xml 11772037 YES 14.72/3.94 YES 12.53/3.97 YES 0.05/0.05
Zantema_06/beans6.xml 11772038 i YES 26.46/6.88 YES 21.97/8.62 MAYBE 0.17/0.16
Zantema_06/while2.xml 11772039 i YES 5.90/1.71 YES 9.65/3.16 MAYBE 0.39/0.41
Zantema_06/loop2.xml 11772040 i NO 1.04/0.54 NO 3.29/1.56 MAYBE 0.16/0.18
Zantema_06/04.xml 11772041 YES 26.10/6.81 YES 15.33/4.62 YES 0.18/0.20
Zantema_06/03.xml 11772042 i YES 116.59/29.47 YES 165.35/42.30 MAYBE 0.38/0.37
Secret_07_SRS/dj.xml 11773270 YES 1.23/0.55 YES 9.59/3.13 YES 0.02/0.02
Secret_07_SRS/x05.xml 11773271 i YES 25.45/6.66 YES 15.21/4.58 MAYBE 0.25/0.28
Secret_07_SRS/x02.xml 11773272 i YES 28.62/7.70 YES 119.06/36.32 MAYBE 0.17/0.20
Secret_07_SRS/num-520.xml 11773273 u MAYBE 952.40/300.33 MAYBE 1161.87/291.82 MAYBE 0.18/0.20
Secret_07_SRS/num-527.xml 11773274 is MAYBE 950.79/300.34 NO 141.75/39.97 MAYBE 0.26/0.25
Secret_07_SRS/num-515.xml 11773275 is MAYBE 952.65/300.29 NO 26.64/12.40 MAYBE 0.25/0.21
Secret_07_SRS/num-539.xml 11773276 is MAYBE 952.11/300.29 NO 5.57/2.17 MAYBE 0.22/0.20
Secret_07_SRS/num-530.xml 11773277 is MAYBE 951.67/300.30 NO 11.46/3.61 MAYBE 0.25/0.22
Secret_07_SRS/num-514.xml 11773278 is MAYBE 951.32/300.79 NO 501.94/126.66 MAYBE 0.29/0.26
Secret_07_SRS/num-521.xml 11773279 is MAYBE 951.87/300.31 NO 421.37/106.25 MAYBE 0.19/0.21
Secret_07_SRS/x03.xml 11773280 i YES 27.74/7.18 YES 14.37/4.37 MAYBE 0.25/0.24
Secret_07_SRS/x04.xml 11773281 i YES 49.75/12.75 YES 34.95/9.73 MAYBE 0.33/0.35
Secret_07_SRS/num-519.xml 11773282 is MAYBE 951.54/300.39 NO 8.47/3.01 MAYBE 0.38/0.33
Secret_07_SRS/x09.xml 11773283 is MAYBE 952.35/300.31 YES 91.23/23.86 MAYBE 0.36/0.27
Secret_07_SRS/num-525.xml 11773284 is MAYBE 952.27/300.30 NO 59.45/15.78 MAYBE 0.26/0.24
Secret_07_SRS/x07.xml 11773285 u MAYBE 953.37/300.31 timeout (cpu) MAYBE 0.99/0.93
Secret_07_SRS/x01.xml 11773286 i YES 28.58/7.74 YES 17.60/5.30 MAYBE 0.20/0.18
Secret_07_SRS/x06.xml 11773287 is MAYBE 953.10/300.31 YES 22.31/6.45 MAYBE 0.40/0.42
Secret_07_SRS/x08.xml 11773288 is MAYBE 952.06/300.31 YES 30.58/8.43 MAYBE 0.47/0.36
Secret_07_SRS/num-518.xml 11773289 u MAYBE 952.49/300.30 MAYBE 1163.74/292.18 MAYBE 0.34/0.31
Secret_07_SRS/x10.xml 11773290 i YES 53.36/13.60 YES 31.39/8.81 MAYBE 0.31/0.26
Waldmann_06_SRS/e.xml 11773291 i YES 25.14/6.56 YES 58.08/15.36 MAYBE 2.02/1.92
Waldmann_06_SRS/jw4.xml 11773292 i YES 24.64/6.50 YES 82.53/21.46 MAYBE 0.65/0.62
Waldmann_06_SRS/jw3.xml 11773293 i YES 82.97/21.01 YES 54.64/15.26 MAYBE 0.44/0.48
Waldmann_06_SRS/uni-3.xml 11773294 is MAYBE 952.38/300.34 NO 5.15/2.06 MAYBE 0.40/0.38
Waldmann_06_SRS/sym-2.xml 11773295 i YES 16.79/4.48 YES 46.06/12.56 MAYBE 0.24/0.21
Waldmann_06_SRS/uni-4.xml 11773296 is MAYBE 951.28/300.29 NO 3.99/1.91 MAYBE 0.31/0.31
Waldmann_06_SRS/sym-5.xml 11773297 is MAYBE 952.25/300.30 YES 338.84/85.60 MAYBE 0.54/0.56
Waldmann_06_SRS/jw5.xml 11773298 is YES 26.22/6.90 timeout (wallclock) MAYBE 0.81/0.79
Waldmann_06_SRS/uni-5.xml 11773299 i YES 37.93/9.84 YES 13.74/4.37 MAYBE 0.21/0.19
Waldmann_06_SRS/sym-4.xml 11773300 i YES 4.51/1.59 YES 6.36/2.42 MAYBE 0.12/0.12
Waldmann_06_SRS/uni-2.xml 11773301 i NO 2.68/0.91 NO 4.00/1.71 MAYBE 0.47/0.40
Waldmann_06_SRS/z086-variant.xml 11773302 is MAYBE 953.02/300.30 YES 41.43/13.16 MAYBE 0.36/0.37
Waldmann_06_SRS/uni-1.xml 11773303 i YES 6.58/1.94 YES 5.77/2.36 MAYBE 0.11/0.10
Waldmann_06_SRS/uni-6.xml 11773304 is MAYBE 953.10/300.32 NO 8.27/2.86 MAYBE 0.90/0.86
Waldmann_06_SRS/jw1.xml 11773305 is MAYBE 952.14/300.33 YES 19.23/5.61 MAYBE 0.30/0.29
Waldmann_06_SRS/pi.xml 11773306 YES 23.19/6.06 YES 44.48/12.14 YES 1.79/1.72
Waldmann_06_SRS/uni-7.xml 11773307 u MAYBE 953.45/300.31 timeout (wallclock) MAYBE 2.65/2.41
Waldmann_06_SRS/sym-6.xml 11773308 is MAYBE 951.75/300.36 YES 106.07/27.64 MAYBE 0.47/0.40
Waldmann_06_SRS/sym-1.xml 11773309 i YES 5.92/1.76 YES 5.47/2.13 MAYBE 0.12/0.10
Mixed_SRS/touzet.xml 11772898 i YES 8.36/2.42 YES 11.24/3.61 MAYBE 0.12/0.15
Mixed_SRS/09.xml 11772899 i YES 26.43/6.91 YES 19.88/5.75 MAYBE 0.40/0.42
Mixed_SRS/07.xml 11772900 i YES 32.59/8.71 YES 21.30/11.58 MAYBE 0.15/0.18
Mixed_SRS/1.xml 11772901 is MAYBE 952.34/300.36 NO 5.01/2.03 MAYBE 0.15/0.20
Mixed_SRS/s6.xml 11772902 YES 2.77/1.00 YES 16.36/5.12 YES 0.06/0.10
Mixed_SRS/01.xml 11772903 is MAYBE 952.10/300.30 YES 23.86/6.75 MAYBE 0.21/0.24
Mixed_SRS/06.xml 11772904 i YES 27.05/7.02 YES 26.27/7.34 MAYBE 0.23/0.21
Mixed_SRS/08.xml 11772905 is MAYBE 952.17/300.30 YES 209.87/53.27 MAYBE 0.42/0.42
Mixed_SRS/08-oppelt08.xml 11772906 is MAYBE 951.85/300.44 NO 6.88/2.48 MAYBE 0.72/0.72
Mixed_SRS/05.xml 11772907 i YES 43.44/11.17 YES 24.72/9.19 MAYBE 0.37/0.38
Mixed_SRS/4.xml 11772908 u MAYBE 952.59/300.33 timeout (wallclock) MAYBE 1.50/1.30
Mixed_SRS/3.xml 11772909 YES 3.14/1.07 YES 8.24/2.93 YES 0.11/0.13
Mixed_SRS/02.xml 11772910 is MAYBE 952.49/300.34 YES 20.96/6.05 MAYBE 0.87/0.90
Mixed_SRS/07-oppelt08.xml 11772911 is MAYBE 952.97/300.35 NO 4.83/2.14 MAYBE 0.14/0.17
Mixed_SRS/turing_copy.xml 11772912 i NO 0.30/0.34 NO 3.38/1.65 MAYBE 2.06/1.95
Mixed_SRS/06-oppelt08.xml 11772913 is MAYBE 951.77/300.30 NO 3.86/1.65 MAYBE 0.10/0.09
Mixed_SRS/turing_add.xml 11772914 YES 1.37/0.59 YES 10.59/3.48 YES 0.05/0.09
Mixed_SRS/04-oppelt08.xml 11772915 is MAYBE 952.47/300.34 NO 25.05/10.02 MAYBE 0.48/0.48
Mixed_SRS/05-oppelt08.xml 11772916 is MAYBE 953.07/300.33 NO 15.69/5.73 MAYBE 0.32/0.35
Mixed_SRS/turing_mult.xml 11772917 i NO 1.11/0.54 NO 3.59/1.69 MAYBE 2.45/2.35
Mixed_SRS/01-oppelt08.xml 11772918 is MAYBE 952.61/300.30 NO 27.17/9.89 MAYBE 1.26/1.25
Mixed_SRS/03-oppelt08.xml 11772919 is MAYBE 951.79/300.29 NO 57.37/15.21 MAYBE 0.29/0.31
Mixed_SRS/2.xml 11772920 i YES 176.51/44.54 YES 15.09/4.59 MAYBE 0.16/0.20
Mixed_SRS/03.xml 11772921 is MAYBE 951.54/300.31 YES 31.12/8.58 MAYBE 0.27/0.25
Mixed_SRS/02-oppelt08.xml 11772922 is MAYBE 951.27/300.30 NO 60.99/16.04 MAYBE 0.22/0.25
Mixed_SRS/04.xml 11772923 i YES 86.46/21.98 YES 49.41/13.59 MAYBE 0.22/0.21
Waldmann_07_size12/size-12-alpha-3-num-568.xml 11772924 i YES 34.67/8.92 YES 12.82/4.08 MAYBE 0.12/0.11
Waldmann_07_size12/size-12-alpha-3-num-109.xml 11772925 i YES 24.52/6.67 YES 13.14/5.06 MAYBE 0.18/0.18
Waldmann_07_size12/size-12-alpha-3-num-430.xml 11772926 u MAYBE 952.62/300.34 timeout (cpu) MAYBE 0.17/0.19
Waldmann_07_size12/size-12-alpha-3-num-72.xml 11772927 i YES 15.64/4.19 YES 16.59/5.08 MAYBE 0.13/0.14
Waldmann_07_size12/size-12-alpha-3-num-346.xml 11772928 i YES 27.70/7.22 YES 21.62/6.36 MAYBE 0.19/0.18
Waldmann_07_size12/size-12-alpha-3-num-219.xml 11772929 u MAYBE 952.20/300.33 MAYBE 1172.83/294.37 MAYBE 0.12/0.15
Waldmann_07_size12/size-12-alpha-3-num-437.xml 11772930 i YES 27.77/7.40 YES 19.47/5.87 MAYBE 0.14/0.14
Waldmann_07_size12/size-12-alpha-3-num-341.xml 11772931 i YES 27.97/7.29 YES 19.67/8.09 MAYBE 0.13/0.12
Waldmann_07_size12/size-12-alpha-3-num-265.xml 11772932 i YES 27.33/7.11 YES 10.22/3.36 MAYBE 0.14/0.16
Waldmann_07_size12/size-12-alpha-3-num-217.xml 11772933 i NO 13.18/3.60 NO 5.50/2.23 MAYBE 0.15/0.16
Waldmann_07_size12/size-12-alpha-3-num-561.xml 11772934 i YES 22.66/5.95 YES 10.25/3.40 MAYBE 0.10/0.10
Waldmann_07_size12/size-12-alpha-3-num-100.xml 11772935 is MAYBE 950.86/300.34 NO 5.08/2.07 MAYBE 0.13/0.15
Waldmann_07_size12/size-12-alpha-3-num-439.xml 11772936 i YES 29.95/7.86 YES 11.39/3.73 MAYBE 0.13/0.17
Waldmann_07_size12/size-12-alpha-3-num-494.xml 11772937 i YES 27.85/7.28 YES 33.01/9.96 MAYBE 0.12/0.17
Waldmann_07_size12/size-12-alpha-3-num-493.xml 11772938 is MAYBE 952.11/300.34 NO 101.56/26.36 MAYBE 0.29/0.52
Waldmann_07_size12/size-12-alpha-3-num-210.xml 11772939 u MAYBE 952.24/300.30 MAYBE 1160.97/291.73 MAYBE 0.10/0.13
Waldmann_07_size12/size-12-alpha-3-num-566.xml 11772940 is MAYBE 950.83/300.31 NO 622.68/157.14 MAYBE 0.12/0.16
Waldmann_07_size12/size-12-alpha-3-num-107.xml 11772941 i YES 18.21/4.84 YES 15.14/4.74 MAYBE 0.16/0.14
Waldmann_07_size12/size-12-alpha-3-num-399.xml 11772942 i YES 30.10/7.78 YES 13.98/4.34 MAYBE 0.23/0.27
Waldmann_07_size12/size-12-alpha-3-num-348.xml 11772943 i YES 28.49/7.43 YES 17.86/5.31 MAYBE 0.20/0.40
Waldmann_07_size12/size-12-alpha-3-num-288.xml 11772944 i YES 25.71/6.92 YES 20.22/5.94 MAYBE 0.13/0.11
Waldmann_07_size12/size-12-alpha-3-num-301.xml 11772945 i YES 29.65/7.67 YES 20.98/6.15 MAYBE 0.25/0.21
Waldmann_07_size12/size-12-alpha-3-num-35.xml 11772946 i YES 21.76/5.84 YES 18.27/5.39 MAYBE 0.11/0.09
Waldmann_07_size12/size-12-alpha-3-num-477.xml 11772947 i YES 34.85/8.98 YES 11.24/3.62 MAYBE 0.15/0.18
Waldmann_07_size12/size-12-alpha-3-num-132.xml 11772948 is MAYBE 952.58/300.29 YES 30.68/8.72 MAYBE 0.16/0.18
Waldmann_07_size12/size-12-alpha-3-num-553.xml 11772949 i YES 23.01/6.07 YES 23.40/8.94 MAYBE 0.16/0.20
Waldmann_07_size12/size-12-alpha-3-num-225.xml 11772950 i YES 24.13/6.78 YES 16.17/4.93 MAYBE 0.11/0.13
Waldmann_07_size12/size-12-alpha-3-num-98.xml 11772951 i YES 63.30/16.10 YES 17.78/5.37 MAYBE 0.20/0.21
Waldmann_07_size12/size-12-alpha-3-num-49.xml 11772952 i YES 15.65/4.23 YES 12.32/3.99 MAYBE 0.14/0.17
Waldmann_07_size12/size-12-alpha-3-num-135.xml 11772953 is MAYBE 706.70/300.34 NO 20.58/6.00 MAYBE 0.12/0.17
Waldmann_07_size12/size-12-alpha-3-num-222.xml 11772954 u MAYBE 952.16/300.34 MAYBE 1162.70/291.77 MAYBE 0.19/0.16
Waldmann_07_size12/size-12-alpha-3-num-149.xml 11772955 i YES 20.26/5.41 YES 11.14/3.72 MAYBE 0.15/0.17
Waldmann_07_size12/size-12-alpha-3-num-198.xml 11772956 i YES 47.49/12.15 YES 33.06/9.41 MAYBE 0.14/0.16
Waldmann_07_size12/size-12-alpha-3-num-32.xml 11772957 u MAYBE 951.29/300.30 MAYBE 1162.50/291.73 MAYBE 0.29/0.23
Waldmann_07_size12/size-12-alpha-3-num-470.xml 11772958 i YES 30.04/7.78 YES 17.89/5.27 MAYBE 0.17/0.15
Waldmann_07_size12/size-12-alpha-3-num-374.xml 11772959 u MAYBE 952.45/300.31 MAYBE 1164.98/292.37 MAYBE 0.18/0.16
Waldmann_07_size12/size-12-alpha-3-num-91.xml 11772960 i YES 27.18/7.14 YES 14.01/4.39 MAYBE 0.11/0.14
Waldmann_07_size12/size-12-alpha-3-num-40.xml 11772961 i YES 20.03/5.27 YES 17.93/5.29 MAYBE 0.21/0.18
Waldmann_07_size12/size-12-alpha-3-num-402.xml 11772962 is MAYBE 952.49/300.30 NO 215.58/54.69 MAYBE 0.68/0.59
Waldmann_07_size12/size-12-alpha-3-num-281.xml 11772963 i YES 14.34/3.92 YES 13.86/4.38 MAYBE 0.10/0.10
Waldmann_07_size12/size-12-alpha-3-num-526.xml 11772964 i YES 22.98/6.01 YES 14.53/5.10 MAYBE 0.24/0.20
Waldmann_07_size12/size-12-alpha-3-num-140.xml 11772965 i NO 2.60/0.88 NO 3.48/1.64 MAYBE 0.12/0.15
Waldmann_07_size12/size-12-alpha-3-num-286.xml 11772966 i YES 35.08/9.15 YES 13.62/4.26 MAYBE 0.15/0.18
Waldmann_07_size12/size-12-alpha-3-num-257.xml 11772967 is MAYBE 694.44/300.34 NO 4.64/2.12 MAYBE 0.15/0.17
Waldmann_07_size12/size-12-alpha-3-num-191.xml 11772968 i YES 19.51/5.17 YES 12.56/4.05 MAYBE 0.11/0.15
Waldmann_07_size12/size-12-alpha-3-num-479.xml 11772969 i YES 45.66/11.73 YES 19.20/5.81 MAYBE 0.13/0.14
Waldmann_07_size12/size-12-alpha-3-num-373.xml 11772970 is MAYBE 952.11/300.33 NO 18.06/5.51 MAYBE 0.19/0.15
Waldmann_07_size12/size-12-alpha-3-num-47.xml 11772971 is MAYBE 951.80/300.29 NO 13.47/4.11 MAYBE 0.18/0.15
Waldmann_07_size12/size-12-alpha-3-num-468.xml 11772972 i YES 30.61/7.92 YES 16.23/4.92 MAYBE 0.16/0.19
Waldmann_07_size12/size-12-alpha-3-num-180.xml 11772973 i YES 30.04/8.12 YES 21.31/6.16 MAYBE 0.12/0.14
Waldmann_07_size12/size-12-alpha-3-num-297.xml 11772974 i YES 32.79/8.48 YES 19.04/6.00 MAYBE 0.16/0.17
Waldmann_07_size12/size-12-alpha-3-num-414.xml 11772975 i YES 28.88/7.49 YES 17.64/5.40 MAYBE 0.27/0.24
Waldmann_07_size12/size-12-alpha-2-num-20.xml 11772976 is MAYBE 951.22/300.33 NO 212.10/54.16 MAYBE 0.15/0.16
Waldmann_07_size12/size-12-alpha-3-num-362.xml 11772977 is MAYBE 952.48/300.30 NO 257.70/65.20 MAYBE 0.57/0.45
Waldmann_07_size12/size-12-alpha-3-num-51.xml 11772978 i YES 26.60/6.93 YES 10.51/3.46 MAYBE 0.10/0.12
Waldmann_07_size12/size-12-alpha-3-num-413.xml 11772979 i YES 28.86/7.57 YES 21.49/6.17 MAYBE 0.26/0.22
Waldmann_07_size12/size-12-alpha-3-num-241.xml 11772980 is MAYBE 691.82/300.30 NO 7.78/2.73 MAYBE 0.10/0.09
Waldmann_07_size12/size-12-alpha-3-num-233.xml 11772981 is MAYBE 952.34/300.30 NO 56.39/14.87 MAYBE 0.16/0.16
Waldmann_07_size12/size-12-alpha-3-num-124.xml 11772982 i YES 97.92/24.74 YES 15.28/4.63 MAYBE 0.22/0.19
Waldmann_07_size12/size-12-alpha-3-num-545.xml 11772983 i YES 22.54/5.89 YES 23.50/6.81 MAYBE 0.12/0.12
Waldmann_07_size12/size-12-alpha-3-num-23.xml 11772984 is MAYBE 949.61/300.34 NO 6.22/2.38 MAYBE 0.22/0.21
Waldmann_07_size12/size-12-alpha-3-num-461.xml 11772985 i YES 30.57/7.92 YES 20.00/5.79 MAYBE 0.19/0.17
Waldmann_07_size12/size-12-alpha-3-num-158.xml 11772986 i NO 3.51/1.15 NO 3.55/1.60 MAYBE 0.17/0.32
Waldmann_07_size12/size-12-alpha-3-num-248.xml 11772987 u MAYBE 952.00/300.30 MAYBE 1162.12/291.71 MAYBE 0.17/0.19
Waldmann_07_size12/size-12-alpha-3-num-299.xml 11772988 i YES 34.85/9.01 YES 17.86/5.45 MAYBE 0.21/0.24
Waldmann_07_size12/size-12-alpha-3-num-123.xml 11772989 i YES 46.80/12.00 YES 31.16/8.62 MAYBE 0.18/0.20
Waldmann_07_size12/size-12-alpha-3-num-482.xml 11772990 i YES 28.45/7.42 YES 50.88/13.66 MAYBE 0.14/0.12
Waldmann_07_size12/size-12-alpha-3-num-453.xml 11772991 i YES 26.40/6.98 YES 14.58/4.50 MAYBE 0.21/0.19
Waldmann_07_size12/size-12-alpha-3-num-11.xml 11772992 is MAYBE 952.22/300.30 NO 33.87/9.34 MAYBE 0.14/0.15
Waldmann_07_size12/size-12-alpha-2-num-5.xml 11772993 i YES 156.36/39.37 YES 22.21/10.64 MAYBE 0.24/0.26
Waldmann_07_size12/size-12-alpha-3-num-359.xml 11772994 i YES 49.07/12.57 YES 19.76/5.81 MAYBE 0.13/0.15
Waldmann_07_size12/size-12-alpha-3-num-201.xml 11772995 i YES 23.38/6.32 YES 14.60/4.64 MAYBE 0.12/0.14
Waldmann_07_size12/size-12-alpha-3-num-111.xml 11772996 i YES 24.72/7.11 YES 17.64/5.27 MAYBE 0.26/0.24
Waldmann_07_size12/size-12-alpha-3-num-206.xml 11772997 is MAYBE 952.16/300.34 NO 9.57/3.26 MAYBE 0.10/0.12
Waldmann_07_size12/size-12-alpha-3-num-485.xml 11772998 i YES 25.97/6.77 YES 39.96/10.99 MAYBE 0.14/0.16
Waldmann_07_size12/size-12-alpha-3-num-454.xml 11772999 u MAYBE 950.89/300.30 MAYBE 1162.39/291.88 MAYBE 0.18/0.16
Waldmann_07_size12/size-12-alpha-3-num-16.xml 11773000 i YES 26.53/6.90 YES 12.40/3.91 MAYBE 0.17/0.18
Waldmann_07_size12/size-12-alpha-2-num-2.xml 11773001 i YES 27.57/7.20 YES 17.10/5.10 MAYBE 0.12/0.11
Waldmann_07_size12/size-12-alpha-3-num-350.xml 11773002 i YES 28.24/7.53 YES 21.28/6.21 MAYBE 0.11/0.13
Waldmann_07_size12/size-12-alpha-2-num-12.xml 11773003 u MAYBE 951.69/300.34 timeout (wallclock) MAYBE 0.38/0.38
Waldmann_07_size12/size-12-alpha-3-num-64.xml 11773004 i YES 13.17/3.64 YES 7.65/2.82 MAYBE 0.12/0.15
Waldmann_07_size12/size-12-alpha-3-num-502.xml 11773005 i YES 70.01/17.81 YES 13.64/4.27 MAYBE 0.19/0.22
Waldmann_07_size12/size-12-alpha-3-num-163.xml 11773006 i YES 14.82/4.13 YES 12.61/5.27 MAYBE 0.11/0.14
Waldmann_07_size12/size-12-alpha-3-num-274.xml 11773007 u MAYBE 952.06/300.33 MAYBE 1162.25/291.85 MAYBE 0.16/0.17
Waldmann_07_size12/size-12-alpha-3-num-164.xml 11773008 i YES 26.11/6.84 YES 14.81/4.71 MAYBE 0.11/0.14
Waldmann_07_size12/size-12-alpha-3-num-273.xml 11773009 i YES 17.08/4.69 YES 12.78/8.27 MAYBE 0.11/0.15
Waldmann_07_size12/size-12-alpha-3-num-386.xml 11773010 u MAYBE 952.29/300.33 timeout (wallclock) MAYBE 0.58/0.50
Waldmann_07_size12/size-12-alpha-2-num-15.xml 11773011 i YES 118.66/30.02 YES 10.86/3.59 MAYBE 0.14/0.19
Waldmann_07_size12/size-12-alpha-3-num-287.xml 11773012 i YES 9.40/2.64 YES 20.77/6.12 MAYBE 0.11/0.15
Waldmann_07_size12/size-12-alpha-3-num-190.xml 11773013 i YES 18.44/4.94 YES 12.60/8.40 MAYBE 0.11/0.12
Waldmann_07_size12/size-12-alpha-3-num-478.xml 11773014 i YES 157.81/39.97 YES 24.17/10.67 MAYBE 0.17/0.16
Waldmann_07_size12/size-12-alpha-3-num-375.xml 11773015 i YES 31.47/8.13 YES 13.84/4.25 MAYBE 0.13/0.13
Waldmann_07_size12/size-12-alpha-3-num-90.xml 11773016 is MAYBE 951.89/300.36 NO 103.83/31.13 MAYBE 0.12/0.13
Waldmann_07_size12/size-12-alpha-3-num-41.xml 11773017 i YES 18.00/4.86 YES 17.04/5.16 MAYBE 0.09/0.10
Waldmann_07_size12/size-12-alpha-3-num-403.xml 11773018 u MAYBE 951.60/300.38 timeout (wallclock) MAYBE 0.47/0.45
Waldmann_07_size12/size-12-alpha-3-num-146.xml 11773019 i NO 2.27/0.87 NO 3.57/1.59 MAYBE 0.11/0.11
Waldmann_07_size12/size-12-alpha-3-num-309.xml 11773020 is MAYBE 951.53/300.30 YES 14.89/4.74 MAYBE 0.24/0.20
Waldmann_07_size12/size-12-alpha-3-num-134.xml 11773021 i YES 23.84/6.52 YES 13.19/4.15 MAYBE 0.10/0.09
Waldmann_07_size12/size-12-alpha-3-num-223.xml 11773022 is MAYBE 433.52/300.30 YES 157.79/40.30 MAYBE 0.15/0.13
Waldmann_07_size12/size-12-alpha-3-num-199.xml 11773023 u MAYBE 952.23/300.29 timeout (wallclock) MAYBE 0.14/0.13
Waldmann_07_size12/size-12-alpha-3-num-289.xml 11773024 i YES 28.74/7.49 YES 12.50/4.10 MAYBE 0.18/0.21
Waldmann_07_size12/size-12-alpha-3-num-300.xml 11773025 i YES 43.35/11.27 YES 14.66/4.67 MAYBE 0.14/0.15
Waldmann_07_size12/size-12-alpha-3-num-476.xml 11773026 i YES 38.89/9.99 YES 18.63/5.56 MAYBE 0.15/0.14
Waldmann_07_size12/size-12-alpha-3-num-133.xml 11773027 i YES 84.48/21.44 YES 25.83/7.38 MAYBE 0.18/0.18
Waldmann_07_size12/size-12-alpha-3-num-552.xml 11773028 i YES 22.66/5.95 YES 19.06/5.66 MAYBE 0.15/0.18
Waldmann_07_size12/size-12-alpha-3-num-224.xml 11773029 is MAYBE 952.32/300.31 NO 544.07/137.16 MAYBE 0.17/0.19
Waldmann_07_size12/size-12-alpha-3-num-99.xml 11773030 i NO 12.89/3.61 NO 3.73/1.77 MAYBE 0.13/0.14
Waldmann_07_size12/size-12-alpha-3-num-48.xml 11773031 i YES 31.52/8.19 YES 16.96/5.13 MAYBE 0.19/0.20
Waldmann_07_size12/size-12-alpha-3-num-443.xml 11773032 i YES 27.45/7.55 YES 15.02/4.71 MAYBE 0.18/0.21
Waldmann_07_size12/size-12-alpha-3-num-492.xml 11773033 is MAYBE 952.26/300.35 NO 76.31/19.98 MAYBE 0.28/0.27
Waldmann_07_size12/size-12-alpha-3-num-335.xml 11773034 i YES 27.21/7.21 YES 12.79/4.08 MAYBE 0.13/0.19
Waldmann_07_size12/size-12-alpha-3-num-211.xml 11773035 is MAYBE 951.99/300.36 NO 1053.58/264.61 MAYBE 0.15/0.20
Waldmann_07_size12/size-12-alpha-3-num-106.xml 11773036 i YES 47.79/12.30 YES 15.94/4.92 MAYBE 0.13/0.15
Waldmann_07_size12/size-12-alpha-3-num-560.xml 11773037 i YES 22.00/5.82 YES 20.08/5.90 MAYBE 0.11/0.14
Waldmann_07_size12/size-12-alpha-3-num-101.xml 11773038 is MAYBE 950.56/300.34 NO 7.26/2.72 MAYBE 0.12/0.18
Waldmann_07_size12/size-12-alpha-3-num-438.xml 11773039 i YES 29.28/7.67 YES 20.00/6.12 MAYBE 0.14/0.16
Waldmann_07_size12/size-12-alpha-3-num-495.xml 11773040 is MAYBE 952.80/300.33 YES 15.09/4.86 MAYBE 0.15/0.17
Waldmann_07_size12/size-12-alpha-3-num-436.xml 11773041 i YES 28.50/7.44 YES 13.83/4.36 MAYBE 0.13/0.17
Waldmann_07_size12/size-12-alpha-3-num-391.xml 11773042 i YES 36.45/9.41 YES 19.63/5.80 MAYBE 0.15/0.18
Waldmann_07_size12/size-12-alpha-3-num-74.xml 11773043 i YES 12.08/3.45 YES 18.43/5.56 MAYBE 0.09/0.12
Waldmann_07_size12/size-12-alpha-3-num-340.xml 11773044 u MAYBE 952.23/300.33 timeout (wallclock) MAYBE 0.41/0.35
Waldmann_07_size12/size-12-alpha-3-num-263.xml 11773045 i YES 69.94/17.76 YES 18.84/5.61 MAYBE 0.14/0.16
Waldmann_07_size12/size-12-alpha-3-num-174.xml 11773046 u MAYBE 952.27/300.32 MAYBE 1163.12/291.78 MAYBE 0.14/0.16
Waldmann_07_size12/size-12-alpha-3-num-108.xml 11773047 i YES 22.34/5.91 YES 14.09/4.45 MAYBE 0.18/0.20
Waldmann_07_size12/size-12-alpha-3-num-396.xml 11773048 i YES 28.00/7.33 YES 15.09/4.74 MAYBE 0.15/0.19
Waldmann_07_size12/size-12-alpha-3-num-431.xml 11773049 u MAYBE 951.21/300.38 MAYBE 1161.29/291.71 MAYBE 0.12/0.11
Waldmann_07_size12/size-12-alpha-3-num-347.xml 11773050 i YES 28.50/7.44 YES 17.94/5.31 MAYBE 0.18/0.21
Waldmann_07_size12/size-12-alpha-3-num-165.xml 11773051 i YES 25.10/6.61 YES 14.54/4.61 MAYBE 0.11/0.13
Waldmann_07_size12/size-12-alpha-3-num-272.xml 11773052 u MAYBE 952.34/300.35 MAYBE 1163.89/291.95 MAYBE 0.16/0.18
Waldmann_07_size12/size-12-alpha-3-num-3.xml 11773053 is MAYBE 435.97/300.36 NO 7.21/2.65 MAYBE 0.08/0.11
Waldmann_07_size12/size-12-alpha-3-num-356.xml 11773054 is MAYBE 952.21/300.36 NO 818.07/206.29 MAYBE 0.34/0.33
Waldmann_07_size12/size-12-alpha-2-num-14.xml 11773055 i YES 42.49/10.89 YES 19.19/5.65 MAYBE 0.17/0.15
Waldmann_07_size12/size-12-alpha-3-num-4.xml 11773056 i YES 15.16/4.07 YES 14.65/4.56 MAYBE 0.12/0.13
Waldmann_07_size12/size-12-alpha-3-num-351.xml 11773057 i YES 10.83/2.98 YES 12.05/3.84 MAYBE 0.09/0.08
Waldmann_07_size12/size-12-alpha-3-num-427.xml 11773058 i YES 27.91/7.23 YES 20.14/5.82 MAYBE 0.16/0.14
Waldmann_07_size12/size-12-alpha-2-num-13.xml 11773059 i YES 44.17/11.32 YES 14.20/4.36 MAYBE 0.17/0.15
Waldmann_07_size12/size-12-alpha-3-num-65.xml 11773060 i YES 30.33/7.85 YES 13.98/4.29 MAYBE 0.16/0.18
Waldmann_07_size12/size-12-alpha-3-num-209.xml 11773061 u MAYBE 952.63/300.35 MAYBE 1163.77/292.21 MAYBE 0.11/0.10
Waldmann_07_size12/size-12-alpha-3-num-19.xml 11773062 i YES 25.17/6.56 YES 16.03/4.81 MAYBE 0.18/0.15
Waldmann_07_size12/size-12-alpha-3-num-503.xml 11773063 i YES 87.92/22.32 YES 14.35/4.61 MAYBE 0.33/0.32
Waldmann_07_size12/size-12-alpha-3-num-275.xml 11773064 i YES 10.59/2.94 YES 13.13/4.30 MAYBE 0.12/0.16
Waldmann_07_size12/size-12-alpha-3-num-429.xml 11773065 i YES 13.39/3.65 YES 17.62/5.19 MAYBE 0.14/0.14
Waldmann_07_size12/size-12-alpha-3-num-110.xml 11773066 i YES 25.86/6.74 YES 14.20/4.57 MAYBE 0.09/0.08
Waldmann_07_size12/size-12-alpha-3-num-207.xml 11773067 is MAYBE 951.84/300.34 NO 12.25/3.94 MAYBE 0.10/0.13
Waldmann_07_size12/size-12-alpha-3-num-484.xml 11773068 i YES 28.82/7.50 YES 13.73/4.23 MAYBE 0.15/0.13
Waldmann_07_size12/size-12-alpha-3-num-455.xml 11773069 i YES 58.33/14.89 YES 46.20/13.21 MAYBE 0.23/0.21
Waldmann_07_size12/size-12-alpha-3-num-17.xml 11773070 i YES 25.91/6.72 YES 12.78/3.98 MAYBE 0.17/0.14
Waldmann_07_size12/size-12-alpha-2-num-3.xml 11773071 i YES 29.09/7.54 YES 20.53/5.93 MAYBE 0.12/0.11
Waldmann_07_size12/size-12-alpha-3-num-452.xml 11773072 is MAYBE 952.42/300.34 YES 34.46/9.52 MAYBE 0.16/0.15
Waldmann_07_size12/size-12-alpha-3-num-10.xml 11773073 i YES 15.14/4.07 YES 12.78/4.20 MAYBE 0.17/0.15
Waldmann_07_size12/size-12-alpha-2-num-4.xml 11773074 i YES 58.10/14.79 YES 18.89/5.63 MAYBE 0.15/0.14
Waldmann_07_size12/size-12-alpha-3-num-389.xml 11773075 i YES 29.13/7.54 YES 18.64/5.46 MAYBE 0.18/0.16
Waldmann_07_size12/size-12-alpha-3-num-200.xml 11773076 i YES 23.82/6.45 YES 12.14/3.87 MAYBE 0.12/0.12
Waldmann_07_size12/size-12-alpha-3-num-467.xml 11773077 i YES 36.10/9.28 YES 27.08/10.54 MAYBE 0.15/0.16
Waldmann_07_size12/size-12-alpha-3-num-249.xml 11773078 is MAYBE 951.93/300.32 NO 32.53/9.15 MAYBE 0.12/0.10
Waldmann_07_size12/size-12-alpha-3-num-298.xml 11773079 is MAYBE 952.19/300.32 NO 62.18/16.36 MAYBE 0.15/0.13
Waldmann_07_size12/size-12-alpha-3-num-59.xml 11773080 i YES 18.89/4.99 YES 11.90/3.85 MAYBE 0.16/0.15
Waldmann_07_size12/size-12-alpha-3-num-88.xml 11773081 u MAYBE 952.43/300.37 timeout (wallclock) MAYBE 0.19/0.21
Waldmann_07_size12/size-12-alpha-3-num-122.xml 11773082 i YES 97.30/24.64 YES 42.03/12.15 MAYBE 0.14/0.19
Waldmann_07_size12/size-12-alpha-3-num-543.xml 11773083 i YES 26.91/7.04 YES 20.04/5.96 MAYBE 0.21/0.29
Waldmann_07_size12/size-12-alpha-3-num-232.xml 11773084 i YES 18.25/5.02 YES 11.63/3.89 MAYBE 0.12/0.16
Waldmann_07_size12/size-12-alpha-3-num-125.xml 11773085 i YES 36.98/9.68 YES 18.32/5.48 MAYBE 0.39/0.38
Waldmann_07_size12/size-12-alpha-3-num-22.xml 11773086 is MAYBE 951.22/300.34 NO 17.54/5.22 MAYBE 0.32/0.26
Waldmann_07_size12/size-12-alpha-3-num-460.xml 11773087 i YES 25.70/6.81 YES 19.44/5.78 MAYBE 0.28/0.23
Waldmann_07_size12/size-12-alpha-3-num-159.xml 11773088 i NO 1.09/0.56 NO 3.56/1.71 MAYBE 0.13/0.16
Waldmann_07_size12/size-12-alpha-3-num-412.xml 11773089 i YES 28.47/7.43 YES 13.75/4.38 MAYBE 0.28/0.30
Waldmann_07_size12/size-12-alpha-3-num-186.xml 11773090 i YES 12.90/3.58 YES 11.06/3.70 MAYBE 0.12/0.16
Waldmann_07_size12/size-12-alpha-3-num-291.xml 11773091 u MAYBE 951.46/300.34 MAYBE 1160.95/291.99 MAYBE 0.33/0.34
Waldmann_07_size12/size-12-alpha-3-num-536.xml 11773092 i YES 26.14/6.81 YES 13.95/4.37 MAYBE 0.19/0.23
Waldmann_07_size12/size-12-alpha-3-num-469.xml 11773093 is MAYBE 951.77/300.34 YES 35.13/13.06 MAYBE 0.15/0.16
Waldmann_07_size12/size-12-alpha-3-num-247.xml 11773094 u MAYBE 951.78/300.33 MAYBE 1163.27/291.91 MAYBE 0.15/0.18
Waldmann_07_size12/size-12-alpha-3-num-181.xml 11773095 i NO 4.33/1.39 NO 3.94/1.91 MAYBE 0.13/0.16
Waldmann_07_size12/size-12-alpha-3-num-296.xml 11773096 i YES 34.07/8.92 YES 13.72/4.41 MAYBE 0.16/0.19
Waldmann_07_size12/size-12-alpha-3-num-57.xml 11773097 i YES 19.46/5.73 YES 5.77/2.27 MAYBE 0.13/0.18
Waldmann_07_size12/size-12-alpha-2-num-21.xml 11773098 i YES 25.84/6.76 YES 16.44/5.05 MAYBE 0.12/0.15
Waldmann_07_size12/size-12-alpha-3-num-415.xml 11773099 i YES 28.48/7.41 YES 20.92/6.25 MAYBE 0.21/0.23
Waldmann_07_size12/size-12-alpha-3-num-363.xml 11773100 u MAYBE 952.39/300.35 timeout (wallclock) MAYBE 0.63/0.51
Waldmann_07_size12/size-12-alpha-3-num-86.xml 11773101 i YES 14.24/3.86 YES 39.08/14.19 MAYBE 0.12/0.13
Waldmann_07_size12/size-12-alpha-3-num-352.xml 11773102 i YES 14.32/3.90 YES 10.94/3.64 MAYBE 0.11/0.12
Waldmann_07_size12/size-12-alpha-3-num-7.xml 11773103 is MAYBE 952.41/300.34 NO 6.91/2.60 MAYBE 0.12/0.14
Waldmann_07_size12/size-12-alpha-3-num-66.xml 11773104 i YES 29.26/7.59 YES 12.54/4.00 MAYBE 0.17/0.20
Waldmann_07_size12/size-12-alpha-3-num-383.xml 11773105 is MAYBE 952.36/300.35 NO 915.83/230.18 MAYBE 0.31/0.26
Waldmann_07_size12/size-12-alpha-2-num-10.xml 11773106 u MAYBE 951.91/300.34 timeout (wallclock) MAYBE 0.32/0.32
Waldmann_07_size12/size-12-alpha-3-num-489.xml 11773107 i YES 71.74/18.24 YES 21.92/6.97 MAYBE 0.13/0.11
Waldmann_07_size12/size-12-alpha-3-num-507.xml 11773108 i YES 6.60/1.90 YES 13.43/4.15 MAYBE 0.21/0.21
Waldmann_07_size12/size-12-alpha-3-num-271.xml 11773109 i YES 35.88/9.24 YES 12.60/4.42 MAYBE 0.15/0.18
Waldmann_07_size12/size-12-alpha-3-num-355.xml 11773110 u MAYBE 951.57/300.30 timeout (cpu) MAYBE 0.27/0.25
Waldmann_07_size12/size-12-alpha-3-num-61.xml 11773111 i YES 31.89/8.33 YES 12.29/3.90 MAYBE 0.13/0.11
Waldmann_07_size12/size-12-alpha-2-num-17.xml 11773112 u MAYBE 951.91/300.38 timeout (wallclock) MAYBE 0.21/0.22
Waldmann_07_size12/size-12-alpha-3-num-384.xml 11773113 u MAYBE 952.04/300.37 timeout (wallclock) MAYBE 0.76/0.61
Waldmann_07_size12/size-12-alpha-3-num-327.xml 11773114 i YES 28.66/7.42 YES 16.57/10.74 MAYBE 0.13/0.12
Waldmann_07_size12/size-12-alpha-3-num-480.xml 11773115 i YES 30.24/7.87 YES 15.34/4.62 MAYBE 0.12/0.14
Waldmann_07_size12/size-12-alpha-3-num-13.xml 11773116 i YES 23.33/6.23 YES 12.72/4.28 MAYBE 0.11/0.16
Waldmann_07_size12/size-12-alpha-3-num-451.xml 11773117 i YES 28.15/7.48 YES 11.49/3.81 MAYBE 0.18/0.24
Waldmann_07_size12/size-12-alpha-3-num-168.xml 11773118 i YES 25.29/6.63 YES 12.63/3.96 MAYBE 0.10/0.08
Waldmann_07_size12/size-12-alpha-2-num-7.xml 11773119 u MAYBE 952.38/300.30 MAYBE 1170.50/293.66 MAYBE 0.20/0.18
Waldmann_07_size12/size-12-alpha-2-num-19.xml 11773120 is MAYBE 952.03/300.30 YES 16.40/4.90 MAYBE 0.14/0.12
Waldmann_07_size12/size-12-alpha-3-num-114.xml 11773121 i YES 66.67/16.95 YES 33.62/9.19 MAYBE 0.17/0.15
Waldmann_07_size12/size-12-alpha-3-num-203.xml 11773122 i YES 24.20/6.33 YES 12.30/3.88 MAYBE 0.12/0.12
Waldmann_07_size12/size-12-alpha-3-num-9.xml 11773123 i YES 25.40/6.61 YES 11.61/3.71 MAYBE 0.14/0.12
Waldmann_07_size12/size-12-alpha-3-num-113.xml 11773124 i YES 27.04/7.06 YES 13.21/4.12 MAYBE 0.23/0.20
Waldmann_07_size12/size-12-alpha-3-num-204.xml 11773125 is MAYBE 701.83/300.31 YES 18.87/5.48 MAYBE 0.14/0.13
Waldmann_07_size12/size-12-alpha-3-num-487.xml 11773126 i YES 37.87/9.73 YES 26.28/7.37 MAYBE 0.14/0.13
Waldmann_07_size12/size-12-alpha-3-num-14.xml 11773127 i YES 24.72/6.45 YES 17.56/5.24 MAYBE 0.12/0.14
Waldmann_07_size12/size-12-alpha-3-num-456.xml 11773128 i YES 34.40/8.85 YES 20.54/5.91 MAYBE 0.15/0.13
Waldmann_07_size12/size-12-alpha-3-num-369.xml 11773129 is MAYBE 952.04/300.30 NO 72.24/18.87 MAYBE 0.23/0.21
Waldmann_07_size12/size-12-alpha-3-num-231.xml 11773130 u MAYBE 951.82/300.31 timeout (cpu) MAYBE 0.13/0.12
Waldmann_07_size12/size-12-alpha-3-num-547.xml 11773131 i YES 45.81/11.72 YES 13.93/4.33 MAYBE 0.12/0.14
Waldmann_07_size12/size-12-alpha-3-num-126.xml 11773132 i YES 37.93/9.79 YES 15.72/4.77 MAYBE 0.20/0.21
Waldmann_07_size12/size-12-alpha-3-num-21.xml 11773133 is MAYBE 951.96/300.35 NO 93.66/24.52 MAYBE 0.32/0.29
Waldmann_07_size12/size-12-alpha-3-num-418.xml 11773134 i YES 28.12/7.32 YES 12.57/4.08 MAYBE 0.18/0.21
Waldmann_07_size12/size-12-alpha-3-num-236.xml 11773135 i YES 49.36/12.61 YES 20.78/9.99 MAYBE 0.16/0.15
Waldmann_07_size12/size-12-alpha-3-num-540.xml 11773136 u MAYBE 950.15/300.35 MAYBE 1179.84/296.09 MAYBE 0.13/0.18
Waldmann_07_size12/size-12-alpha-3-num-121.xml 11773137 i YES 51.69/13.40 YES 21.59/6.23 MAYBE 0.15/0.19
Waldmann_07_size12/size-12-alpha-3-num-532.xml 11773138 i YES 21.79/5.73 YES 12.45/4.04 MAYBE 0.12/0.17
Waldmann_07_size12/size-12-alpha-3-num-416.xml 11773139 i YES 32.64/8.44 YES 42.60/11.60 MAYBE 0.18/0.19
Waldmann_07_size12/size-12-alpha-2-num-22.xml 11773140 i YES 29.93/8.39 YES 13.46/4.23 MAYBE 0.18/0.15
Waldmann_07_size12/size-12-alpha-3-num-85.xml 11773141 i YES 50.63/13.15 YES 19.94/5.84 MAYBE 0.14/0.55
Waldmann_07_size12/size-12-alpha-3-num-360.xml 11773142 i YES 26.83/7.00 YES 12.65/4.01 MAYBE 0.23/0.24
Waldmann_07_size12/size-12-alpha-3-num-238.xml 11773143 u MAYBE 951.98/300.32 MAYBE 1163.39/291.98 MAYBE 0.13/0.16
Waldmann_07_size12/size-12-alpha-3-num-82.xml 11773144 i YES 22.87/6.06 YES 14.77/4.64 MAYBE 0.13/0.15
Waldmann_07_size12/size-12-alpha-3-num-367.xml 11773145 i YES 27.77/7.36 YES 19.05/5.61 MAYBE 0.18/0.21
Waldmann_07_size12/size-12-alpha-3-num-549.xml 11773146 i YES 26.90/7.04 YES 24.80/7.14 MAYBE 0.15/0.14
Waldmann_07_size12/size-12-alpha-3-num-128.xml 11773147 i YES 56.95/14.53 YES 17.77/5.23 MAYBE 0.25/0.25
Waldmann_07_size12/size-12-alpha-3-num-243.xml 11773148 is MAYBE 689.65/300.37 NO 5.36/3.35 MAYBE 0.12/0.11
Waldmann_07_size12/size-12-alpha-3-num-292.xml 11773149 u MAYBE 952.28/300.33 MAYBE 1162.40/291.76 MAYBE 0.22/0.19
Waldmann_07_size12/size-12-alpha-3-num-535.xml 11773150 i YES 27.38/7.14 YES 18.53/5.42 MAYBE 0.21/0.24
Waldmann_07_size12/size-12-alpha-3-num-558.xml 11773151 is MAYBE 952.51/300.34 NO 173.14/44.22 MAYBE 0.14/0.16
Waldmann_07_size12/size-12-alpha-3-num-376.xml 11773152 i YES 29.37/7.63 YES 13.30/4.10 MAYBE 0.14/0.15
Waldmann_07_size12/size-12-alpha-3-num-400.xml 11773153 u MAYBE 952.05/300.30 timeout (wallclock) MAYBE 0.62/0.54
Waldmann_07_size12/size-12-alpha-3-num-283.xml 11773154 i YES 11.54/3.23 YES 22.75/6.47 MAYBE 0.20/0.18
Waldmann_07_size12/size-12-alpha-3-num-194.xml 11773155 i YES 21.91/5.73 YES 13.71/4.23 MAYBE 0.11/0.10
Waldmann_07_size12/size-12-alpha-3-num-284.xml 11773156 i YES 15.49/4.27 YES 11.93/3.79 MAYBE 0.10/0.09
Waldmann_07_size12/size-12-alpha-3-num-255.xml 11773157 i YES 16.36/4.41 YES 48.90/13.66 MAYBE 0.11/0.09
Waldmann_07_size12/size-12-alpha-3-num-94.xml 11773158 i YES 13.77/3.70 YES 11.91/3.80 MAYBE 0.10/0.08
Waldmann_07_size12/size-12-alpha-3-num-45.xml 11773159 i YES 14.44/3.92 YES 14.94/4.71 MAYBE 0.13/0.14
Waldmann_07_size12/size-12-alpha-3-num-303.xml 11773160 i YES 27.18/7.05 YES 19.39/5.67 MAYBE 0.16/0.19
Waldmann_07_size12/size-12-alpha-3-num-475.xml 11773161 is MAYBE 952.31/300.34 NO 1003.41/251.75 MAYBE 0.37/0.31
Waldmann_07_size12/size-12-alpha-3-num-551.xml 11773162 i YES 11.52/3.12 YES 20.82/6.00 MAYBE 0.15/0.18
Waldmann_07_size12/size-12-alpha-3-num-227.xml 11773163 is MAYBE 952.26/300.31 NO 8.53/2.91 MAYBE 0.19/0.20
Waldmann_07_size12/size-12-alpha-3-num-409.xml 11773164 u MAYBE 951.64/300.35 timeout (wallclock) MAYBE 0.64/0.55
Waldmann_07_size12/size-12-alpha-3-num-556.xml 11773165 i YES 22.35/5.83 YES 22.04/6.35 MAYBE 0.15/0.14
Waldmann_07_size12/size-12-alpha-3-num-220.xml 11773166 u MAYBE 950.99/300.34 MAYBE 1164.58/292.32 MAYBE 0.12/0.11
Waldmann_07_size12/size-12-alpha-3-num-378.xml 11773167 is MAYBE 952.19/300.33 NO 118.16/30.31 MAYBE 0.14/0.14
Waldmann_07_size12/size-12-alpha-3-num-304.xml 11773168 i YES 32.36/8.39 YES 17.25/5.18 MAYBE 0.17/0.14
Waldmann_07_size12/size-12-alpha-3-num-472.xml 11773169 is MAYBE 952.07/300.29 YES 23.61/6.78 MAYBE 0.12/0.16
Waldmann_07_size12/size-12-alpha-3-num-30.xml 11773170 i YES 10.42/2.92 YES 11.78/3.73 MAYBE 0.10/0.09
Waldmann_07_size12/size-12-alpha-3-num-215.xml 11773171 i YES 20.96/5.59 YES 14.12/4.48 MAYBE 0.17/0.17
Waldmann_07_size12/size-12-alpha-3-num-563.xml 11773172 i YES 23.49/6.19 YES 15.97/4.91 MAYBE 0.14/0.12
Waldmann_07_size12/size-12-alpha-3-num-179.xml 11773173 i NO 2.08/0.76 NO 3.66/1.81 MAYBE 0.14/0.13
Waldmann_07_size12/size-12-alpha-3-num-491.xml 11773174 is MAYBE 952.16/300.29 NO 40.89/11.04 MAYBE 0.22/0.21
Waldmann_07_size12/size-12-alpha-3-num-105.xml 11773175 is MAYBE 952.37/300.30 YES 13.25/4.12 MAYBE 0.16/0.21
Waldmann_07_size12/size-12-alpha-3-num-564.xml 11773176 is MAYBE 951.66/300.33 NO 102.69/26.73 MAYBE 0.15/0.18
Waldmann_07_size12/size-12-alpha-3-num-260.xml 11773177 is MAYBE 951.87/300.30 NO 4.03/1.71 MAYBE 0.17/0.15
Waldmann_07_size12/size-12-alpha-3-num-177.xml 11773178 i NO 9.28/2.62 NO 3.90/1.67 MAYBE 0.13/0.11
Waldmann_07_size12/size-12-alpha-3-num-338.xml 11773179 u MAYBE 952.04/300.30 timeout (cpu) MAYBE 0.29/0.26
Waldmann_07_size12/size-12-alpha-3-num-70.xml 11773180 i YES 12.38/3.53 YES 11.73/3.69 MAYBE 0.09/0.10
Waldmann_07_size12/size-12-alpha-3-num-395.xml 11773181 i YES 28.72/7.44 YES 12.31/4.04 MAYBE 0.17/0.15
Waldmann_07_size12/size-12-alpha-3-num-435.xml 11773182 i YES 27.13/7.13 YES 19.86/5.84 MAYBE 0.15/0.16
Waldmann_07_size12/size-12-alpha-3-num-392.xml 11773183 i YES 25.56/6.63 YES 15.40/4.66 MAYBE 0.16/0.14
Waldmann_07_size12/size-12-alpha-3-num-343.xml 11773184 i YES 21.09/5.58 YES 11.55/3.76 MAYBE 0.13/0.15
Waldmann_07_size12/size-12-alpha-3-num-267.xml 11773185 u MAYBE 951.77/300.35 timeout (wallclock) MAYBE 0.28/0.32
Waldmann_07_size12/size-12-alpha-3-num-170.xml 11773186 is MAYBE 951.50/300.30 NO 35.30/14.15 MAYBE 0.10/0.15
Waldmann_07_size12/size-12-alpha-3-num-511.xml 11773187 is MAYBE 951.25/300.35 NO 28.33/11.14 MAYBE 0.22/0.24
Waldmann_07_size12/size-12-alpha-3-num-498.xml 11773188 i YES 26.04/6.81 YES 11.31/3.73 MAYBE 0.17/0.19
Waldmann_07_size12/size-12-alpha-3-num-410.xml 11773189 u MAYBE 952.12/300.30 timeout (wallclock) MAYBE 0.53/0.45
Waldmann_07_size12/size-12-alpha-3-num-52.xml 11773190 i YES 23.65/6.24 YES 16.75/5.14 MAYBE 0.12/0.15
Waldmann_07_size12/size-12-alpha-3-num-83.xml 11773191 is MAYBE 951.42/300.31 NO 286.17/72.41 MAYBE 0.11/0.09
Waldmann_07_size12/size-12-alpha-3-num-366.xml 11773192 i YES 28.75/7.44 YES 20.54/5.92 MAYBE 0.23/0.25
Waldmann_07_size12/size-12-alpha-3-num-548.xml 11773193 i YES 22.76/5.96 YES 21.03/6.11 MAYBE 0.14/0.15
Waldmann_07_size12/size-12-alpha-3-num-129.xml 11773194 is MAYBE 696.14/300.35 NO 4.75/2.07 MAYBE 0.10/0.13
Waldmann_07_size12/size-12-alpha-3-num-293.xml 11773195 i YES 35.15/9.08 YES 20.08/5.95 MAYBE 0.22/0.23
Waldmann_07_size12/size-12-alpha-3-num-294.xml 11773196 i YES 27.82/7.22 YES 19.52/5.82 MAYBE 0.14/0.15
Waldmann_07_size12/size-12-alpha-3-num-152.xml 11773197 i YES 26.12/7.17 YES 21.50/6.28 MAYBE 0.11/0.09
Waldmann_07_size12/size-12-alpha-3-num-417.xml 11773198 i YES 30.41/7.88 YES 20.98/6.11 MAYBE 0.18/0.17
Waldmann_07_size12/size-12-alpha-3-num-84.xml 11773199 u MAYBE 951.93/300.30 MAYBE 1169.15/293.47 MAYBE 0.11/0.14
Waldmann_07_size12/size-12-alpha-3-num-361.xml 11773200 u MAYBE 952.12/300.33 timeout (wallclock) MAYBE 0.32/0.33
Waldmann_07_size12/size-12-alpha-3-num-239.xml 11773201 is MAYBE 951.40/300.33 NO 5.38/2.21 MAYBE 0.14/0.17
Waldmann_07_size12/size-12-alpha-3-num-465.xml 11773202 i YES 26.45/6.93 YES 12.82/3.98 MAYBE 0.12/0.11
Waldmann_07_size12/size-12-alpha-3-num-237.xml 11773203 i YES 39.00/10.03 YES 11.27/3.60 MAYBE 0.16/0.14
Waldmann_07_size12/size-12-alpha-3-num-541.xml 11773204 i YES 23.56/6.17 YES 16.82/5.05 MAYBE 0.12/0.13
Waldmann_07_size12/size-12-alpha-3-num-120.xml 11773205 u MAYBE 952.42/300.33 MAYBE 1164.38/292.28 MAYBE 0.13/0.11
Waldmann_07_size12/size-12-alpha-3-num-368.xml 11773206 is MAYBE 952.32/300.33 NO 11.79/3.71 MAYBE 0.16/0.15
Waldmann_07_size12/size-12-alpha-3-num-546.xml 11773207 i YES 40.11/10.28 YES 14.23/4.34 MAYBE 0.13/0.12
Waldmann_07_size12/size-12-alpha-3-num-127.xml 11773208 is MAYBE 951.42/300.30 NO 54.85/14.54 MAYBE 0.17/0.19
Waldmann_07_size12/size-12-alpha-3-num-462.xml 11773209 i YES 28.57/7.43 YES 14.93/4.54 MAYBE 0.15/0.13
Waldmann_07_size12/size-12-alpha-3-num-20.xml 11773210 is MAYBE 951.85/300.30 NO 5.39/2.10 MAYBE 0.18/0.17
Waldmann_07_size12/size-12-alpha-3-num-112.xml 11773211 i YES 34.79/8.98 YES 17.91/5.30 MAYBE 0.19/0.16
Waldmann_07_size12/size-12-alpha-3-num-15.xml 11773212 i YES 17.36/4.62 YES 13.38/4.13 MAYBE 0.11/0.12
Waldmann_07_size12/size-12-alpha-3-num-279.xml 11773213 i YES 15.23/4.09 YES 10.08/3.35 MAYBE 0.15/0.19
Waldmann_07_size12/size-12-alpha-2-num-1.xml 11773214 i YES 27.80/7.24 YES 17.94/5.28 MAYBE 0.12/0.13
Waldmann_07_size12/size-12-alpha-3-num-450.xml 11773215 is MAYBE 952.05/300.31 NO 13.95/7.27 MAYBE 0.15/0.17
Waldmann_07_size12/size-12-alpha-3-num-508.xml 11773216 is MAYBE 952.32/300.30 YES 13.34/4.07 MAYBE 0.19/0.18
Waldmann_07_size12/size-12-alpha-2-num-6.xml 11773217 is MAYBE 952.07/300.30 YES 14.96/4.58 MAYBE 0.16/0.14
Waldmann_07_size12/size-12-alpha-2-num-18.xml 11773218 u MAYBE 951.56/300.30 MAYBE 1191.90/299.57 MAYBE 0.26/0.21
Waldmann_07_size12/size-12-alpha-3-num-202.xml 11773219 is MAYBE 688.24/300.32 YES 17.58/5.22 MAYBE 0.14/0.13
Waldmann_07_size12/size-12-alpha-3-num-328.xml 11773220 is MAYBE 952.33/300.30 NO 19.95/5.80 MAYBE 0.18/0.20
Waldmann_07_size12/size-12-alpha-3-num-506.xml 11773221 is MAYBE 952.09/300.33 YES 23.67/6.70 MAYBE 0.14/0.12
Waldmann_07_size12/size-12-alpha-2-num-8.xml 11773222 is MAYBE 951.88/300.30 YES 22.74/6.49 MAYBE 0.19/0.18
Waldmann_07_size12/size-12-alpha-3-num-270.xml 11773223 is MAYBE 951.66/300.30 NO 64.33/16.88 MAYBE 0.16/0.14
Waldmann_07_size12/size-12-alpha-3-num-1.xml 11773224 i YES 20.47/5.62 YES 13.27/4.24 MAYBE 0.09/0.08
Waldmann_07_size12/size-12-alpha-3-num-354.xml 11773225 i YES 69.18/17.70 YES 31.32/8.61 MAYBE 0.11/0.10
Waldmann_07_size12/size-12-alpha-3-num-385.xml 11773226 is MAYBE 951.70/300.35 NO 535.43/134.94 MAYBE 0.32/0.28
Waldmann_07_size12/size-12-alpha-2-num-16.xml 11773227 i YES 34.49/8.86 YES 26.11/7.33 MAYBE 0.23/0.26
Waldmann_07_size12/size-12-alpha-3-num-353.xml 11773228 is MAYBE 951.29/300.30 NO 4.12/1.78 MAYBE 0.13/0.15
Waldmann_07_size12/size-12-alpha-3-num-67.xml 11773229 i YES 12.53/3.38 YES 10.28/3.44 MAYBE 0.11/0.13
Waldmann_07_size12/size-12-alpha-2-num-11.xml 11773230 u MAYBE 951.97/300.30 timeout (wallclock) MAYBE 0.38/0.35
Waldmann_07_size12/size-12-alpha-3-num-382.xml 11773231 is MAYBE 951.90/300.31 NO 935.57/235.05 MAYBE 0.39/0.32
Waldmann_07_size12/size-12-alpha-3-num-488.xml 11773232 is MAYBE 952.44/300.33 NO 8.92/3.00 MAYBE 0.16/0.17
Waldmann_07_size12/size-12-alpha-3-num-160.xml 11773233 i NO 4.45/1.40 NO 3.82/1.66 MAYBE 0.12/0.10
Waldmann_07_size12/size-12-alpha-3-num-76.xml 11773234 i YES 22.88/6.23 YES 11.61/3.67 MAYBE 0.10/0.11
Waldmann_07_size12/size-12-alpha-3-num-434.xml 11773235 u MAYBE 950.61/300.30 MAYBE 1161.72/291.70 MAYBE 0.15/0.17
Waldmann_07_size12/size-12-alpha-3-num-448.xml 11773236 i YES 24.76/6.59 YES 12.39/3.89 MAYBE 0.12/0.10
Waldmann_07_size12/size-12-alpha-3-num-499.xml 11773237 i YES 36.72/9.51 YES 20.34/5.95 MAYBE 0.15/0.13
Waldmann_07_size12/size-12-alpha-3-num-176.xml 11773238 i YES 34.14/8.79 YES 15.13/4.55 MAYBE 0.10/0.10
Waldmann_07_size12/size-12-alpha-3-num-339.xml 11773239 is MAYBE 952.24/300.31 NO 61.72/16.24 MAYBE 0.46/0.36
Waldmann_07_size12/size-12-alpha-3-num-71.xml 11773240 i YES 26.31/6.82 YES 12.55/3.92 MAYBE 0.12/0.11
Waldmann_07_size12/size-12-alpha-3-num-345.xml 11773241 i YES 28.53/7.40 YES 15.40/4.66 MAYBE 0.16/0.15
Waldmann_07_size12/size-12-alpha-3-num-178.xml 11773242 is MAYBE 950.32/300.30 NO 11.69/3.73 MAYBE 0.11/0.12
Waldmann_07_size12/size-12-alpha-3-num-441.xml 11773243 i YES 21.68/5.81 YES 10.44/3.42 MAYBE 0.12/0.10
Waldmann_07_size12/size-12-alpha-3-num-337.xml 11773244 i YES 32.08/8.31 YES 17.34/5.12 MAYBE 0.15/0.14
Waldmann_07_size12/size-12-alpha-3-num-213.xml 11773245 i YES 24.45/6.88 YES 16.00/4.84 MAYBE 0.12/0.10
Waldmann_07_size12/size-12-alpha-3-num-104.xml 11773246 i YES 33.50/8.63 YES 16.84/5.12 MAYBE 0.16/0.14
Waldmann_07_size12/size-12-alpha-3-num-565.xml 11773247 i YES 13.26/3.58 YES 17.23/5.17 MAYBE 0.11/0.13
Waldmann_07_size12/size-12-alpha-3-num-446.xml 11773248 i YES 26.42/6.86 YES 13.65/4.29 MAYBE 0.12/0.17
Waldmann_07_size12/size-12-alpha-3-num-497.xml 11773249 is MAYBE 952.16/300.40 NO 8.68/8.56 MAYBE 0.14/0.17
Waldmann_07_size12/size-12-alpha-3-num-330.xml 11773250 i YES 25.10/6.67 YES 20.61/5.91 MAYBE 0.12/0.12
Waldmann_07_size12/size-12-alpha-3-num-221.xml 11773251 i YES 14.93/4.01 YES 31.28/12.71 MAYBE 0.15/0.13
Waldmann_07_size12/size-12-alpha-3-num-473.xml 11773252 i YES 31.74/8.23 YES 11.14/3.61 MAYBE 0.12/0.11
Waldmann_07_size12/size-12-alpha-3-num-31.xml 11773253 i YES 21.06/5.56 YES 12.56/4.07 MAYBE 0.12/0.15
Waldmann_07_size12/size-12-alpha-3-num-474.xml 11773254 is MAYBE 952.55/300.36 NO 80.73/21.10 MAYBE 0.26/0.28
Waldmann_07_size12/size-12-alpha-3-num-550.xml 11773255 i YES 22.86/5.99 YES 15.64/4.78 MAYBE 0.13/0.12
Waldmann_07_size12/size-12-alpha-3-num-131.xml 11773256 i YES 27.93/7.24 YES 14.14/4.47 MAYBE 0.11/0.10
Waldmann_07_size12/size-12-alpha-3-num-226.xml 11773257 i YES 35.83/9.26 YES 23.16/6.58 MAYBE 0.14/0.14
Waldmann_07_size12/size-12-alpha-3-num-408.xml 11773258 u MAYBE 951.87/300.34 timeout (cpu) MAYBE 0.91/0.70
Waldmann_07_size12/size-12-alpha-3-num-522.xml 11773259 is MAYBE 951.41/300.33 NO 99.59/25.79 MAYBE 0.27/0.27
Waldmann_07_size12/size-12-alpha-3-num-285.xml 11773260 i YES 25.02/6.66 YES 10.98/3.55 MAYBE 0.11/0.13
Waldmann_07_size12/size-12-alpha-3-num-95.xml 11773261 is MAYBE 952.46/300.30 NO 401.48/101.27 MAYBE 0.10/0.10
Waldmann_07_size12/size-12-alpha-3-num-406.xml 11773262 u MAYBE 952.39/300.37 timeout (wallclock) MAYBE 0.62/0.50
Waldmann_07_size12/size-12-alpha-3-num-44.xml 11773263 i YES 20.96/5.75 YES 11.81/3.76 MAYBE 0.16/0.15
Waldmann_07_size12/size-12-alpha-3-num-559.xml 11773264 i YES 13.93/3.88 YES 19.93/5.74 MAYBE 0.13/0.13
Waldmann_07_size12/size-12-alpha-3-num-92.xml 11773265 i YES 30.94/8.01 YES 12.12/3.96 MAYBE 0.12/0.12
Waldmann_07_size12/size-12-alpha-3-num-377.xml 11773266 i YES 26.88/6.99 YES 18.33/5.41 MAYBE 0.16/0.18
Waldmann_07_size12/size-12-alpha-3-num-401.xml 11773267 is MAYBE 951.99/300.34 NO 309.76/78.38 MAYBE 0.62/0.56
Waldmann_07_size12/size-12-alpha-3-num-282.xml 11773268 i YES 24.95/6.80 YES 14.36/4.41 MAYBE 0.12/0.10
Waldmann_07_size12/size-12-alpha-3-num-195.xml 11773269 i NO 11.81/3.21 NO 3.93/1.72 MAYBE 0.12/0.11
Bouchare_06/04.xml 11772285 i YES 6.81/1.94 YES 6.46/2.42 MAYBE 0.24/0.26
Bouchare_06/03.xml 11772286 i YES 27.55/7.16 YES 13.12/4.05 MAYBE 0.29/0.26
Bouchare_06/12.xml 11772287 i YES 11.29/3.12 YES 24.63/7.20 MAYBE 0.14/0.18
Bouchare_06/15.xml 11772288 i YES 4.94/1.53 YES 6.02/2.43 MAYBE 0.21/0.26
Bouchare_06/02.xml 11772289 YES 4.32/1.39 YES 5.02/2.18 YES 0.12/0.17
Bouchare_06/05.xml 11772290 i YES 12.11/3.27 YES 15.58/4.67 MAYBE 0.18/0.15
Bouchare_06/14.xml 11772291 i YES 4.51/1.41 YES 7.17/2.69 MAYBE 0.13/0.12
Bouchare_06/13.xml 11772292 i YES 28.56/7.40 YES 16.59/4.90 MAYBE 0.20/0.18
Bouchare_06/10.xml 11772293 i YES 8.90/2.46 YES 44.25/12.08 MAYBE 0.29/0.30
Bouchare_06/17.xml 11772294 i YES 6.29/1.84 YES 6.79/2.67 MAYBE 0.18/0.20
Bouchare_06/08.xml 11772295 i NO 0.87/0.45 NO 3.37/1.59 MAYBE 0.33/0.31
Bouchare_06/06.xml 11772296 i YES 31.18/8.10 YES 21.74/6.38 MAYBE 0.68/0.71
Bouchare_06/01.xml 11772297 i YES 6.69/1.95 YES 4.76/2.05 MAYBE 0.19/0.22
Bouchare_06/18.xml 11772298 i YES 44.20/11.30 YES 14.40/4.41 MAYBE 0.27/0.26
Bouchare_06/16.xml 11772299 i YES 5.89/1.71 YES 4.66/2.10 MAYBE 0.14/0.18
Bouchare_06/11.xml 11772300 i YES 4.99/1.54 YES 23.80/8.24 MAYBE 0.14/0.17
Bouchare_06/07.xml 11772301 YES 25.91/6.75 YES 12.12/3.91 YES 0.13/0.18
Bouchare_06/09.xml 11772302 i NO 1.07/0.55 NO 3.47/1.72 MAYBE 0.22/0.23
ICFP_2010/142150.xml 11772303 u MAYBE 953.18/300.69 timeout (wallclock) timeout (wallclock)
ICFP_2010/96176.xml 11772304 u ERROR 0.0/0.0 MAYBE 917.33/295.54 timeout (wallclock)
ICFP_2010/134918.xml 11772305 u MAYBE 961.44/300.98 MAYBE 810.36/294.87 timeout (wallclock)
ICFP_2010/231043.xml 11772306 is timeout (wallclock) YES 17.95/5.57 ERROR 0.01/0.08
ICFP_2010/25849.xml 11772307 u timeout (wallclock) MAYBE 1098.95/296.73 timeout (wallclock)
ICFP_2010/86617.xml 11772308 u MAYBE 953.94/300.50 MAYBE 854.45/294.36 timeout (wallclock)
ICFP_2010/5109.xml 11772309 u ERROR 0.0/0.0 timeout (wallclock) timeout (wallclock)
ICFP_2010/137404.xml 11772310 u MAYBE 960.83/300.98 MAYBE 927.83/295.09 timeout (wallclock)
ICFP_2010/26927.xml 11772311 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/97885.xml 11772312 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/58301.xml 11772313 i MAYBE 955.82/300.55 YES 51.96/13.93 YES 1.33/1.28
ICFP_2010/142157.xml 11772314 u MAYBE 953.31/300.69 MAYBE 828.50/292.42 timeout (wallclock)
ICFP_2010/96029.xml 11772315 u ERROR 0.0/0.0 timeout (wallclock) timeout (wallclock)
ICFP_2010/25395.xml 11772316 u timeout (wallclock) MAYBE 1050.64/297.11 timeout (wallclock)
ICFP_2010/214320.xml 11772317 YES 68.72/17.78 YES 20.53/5.93 YES 16.22/15.17
ICFP_2010/188004.xml 11772318 u timeout (wallclock) MAYBE 869.73/297.83 timeout (wallclock)
ICFP_2010/165755.xml 11772319 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/128056.xml 11772320 u timeout (wallclock) MAYBE 771.13/294.24 timeout (wallclock)
ICFP_2010/132611.xml 11772321 is MAYBE 960.25/301.01 YES 19.66/5.83 timeout (wallclock)
ICFP_2010/39830.xml 11772322 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/57453.xml 11772323 u MAYBE 954.90/300.55 timeout (wallclock) timeout (wallclock)
ICFP_2010/26871.xml 11772324 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/167310.xml 11772325 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/128430.xml 11772326 is timeout (wallclock) YES 45.07/12.52 timeout (wallclock)
ICFP_2010/124791.xml 11772327 u MAYBE 961.71/300.96 timeout (wallclock) timeout (wallclock)
ICFP_2010/180915.xml 11772328 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/91218.xml 11772329 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/4036.xml 11772330 u MAYBE 954.55/300.52 timeout (wallclock) timeout (wallclock)
ICFP_2010/96104.xml 11772331 u MAYBE 953.74/300.45 timeout (wallclock) timeout (wallclock)
ICFP_2010/157161.xml 11772332 u MAYBE 955.39/300.64 timeout (wallclock) timeout (wallclock)
ICFP_2010/136463.xml 11772333 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/43603.xml 11772334 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/96302.xml 11772335 u MAYBE 954.16/300.42 timeout (wallclock) timeout (wallclock)
ICFP_2010/5011.xml 11772336 is YES 58.97/15.11 timeout (wallclock) timeout (wallclock)
ICFP_2010/4934.xml 11772337 u ERROR 0.0/0.0 timeout (wallclock) timeout (wallclock)
ICFP_2010/4314.xml 11772338 u ERROR 0.0/0.0 timeout (wallclock) timeout (wallclock)
ICFP_2010/213537.xml 11772339 i MAYBE 953.79/300.38 YES 73.95/19.50 YES 1.52/1.49
ICFP_2010/86816.xml 11772340 u ERROR 0.0/0.0 timeout (wallclock) timeout (wallclock)
ICFP_2010/26960.xml 11772341 u timeout (wallclock) MAYBE 1018.51/297.64 timeout (wallclock)
ICFP_2010/135936.xml 11772342 is MAYBE 961.94/300.96 YES 713.50/254.15 timeout (wallclock)
ICFP_2010/3995.xml 11772343 u ERROR 0.0/0.0 timeout (wallclock) timeout (wallclock)
ICFP_2010/187254.xml 11772344 is timeout (wallclock) YES 52.07/14.12 timeout (wallclock)
ICFP_2010/68989.xml 11772345 YES 185.92/46.88 YES 15.01/4.48 YES 23.11/23.07
ICFP_2010/27039.xml 11772346 u timeout (wallclock) MAYBE 1060.65/296.24 timeout (wallclock)
ICFP_2010/140639.xml 11772347 is MAYBE 953.50/300.70 YES 22.63/6.57 timeout (wallclock)
ICFP_2010/231230.xml 11772348 is timeout (wallclock) YES 11.68/3.70 ERROR 0.01/0.01
ICFP_2010/3705.xml 11772349 u MAYBE 955.00/300.44 timeout (wallclock) timeout (wallclock)
ICFP_2010/130962.xml 11772350 is timeout (wallclock) YES 210.60/53.86 timeout (wallclock)
ICFP_2010/166848.xml 11772351 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/259625.xml 11772352 is timeout (wallclock) YES 142.88/37.31 timeout (wallclock)
ICFP_2010/4819.xml 11772353 u MAYBE 954.18/300.45 MAYBE 862.66/294.22 timeout (wallclock)
ICFP_2010/25409.xml 11772354 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/42321.xml 11772355 is timeout (wallclock) YES 80.88/21.86 timeout (wallclock)
ICFP_2010/85380.xml 11772356 u MAYBE 954.43/300.57 timeout (wallclock) timeout (wallclock)
ICFP_2010/140287.xml 11772357 u timeout (wallclock) MAYBE 807.02/297.80 timeout (wallclock)
ICFP_2010/27030.xml 11772358 i YES 35.15/9.24 YES 44.33/12.06 timeout (wallclock)
ICFP_2010/139378.xml 11772359 is timeout (wallclock) YES 50.19/13.74 timeout (wallclock)
ICFP_2010/29415.xml 11772360 is timeout (wallclock) YES 125.92/33.16 timeout (wallclock)
ICFP_2010/3467.xml 11772361 u ERROR 0.0/0.0 timeout (wallclock) timeout (wallclock)
ICFP_2010/26969.xml 11772362 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/150468.xml 11772363 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/3770.xml 11772364 i YES 90.77/23.02 YES 78.62/20.93 timeout (wallclock)
ICFP_2010/96370.xml 11772365 i YES 160.94/40.72 YES 48.30/12.94 timeout (wallclock)
ICFP_2010/56144.xml 11772366 is timeout (wallclock) YES 73.10/20.26 timeout (wallclock)
ICFP_2010/140318.xml 11772367 is timeout (wallclock) YES 60.57/16.81 timeout (wallclock)
ICFP_2010/53216.xml 11772368 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/150877.xml 11772369 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/4282.xml 11772370 u ERROR 0.0/0.0 timeout (wallclock) timeout (wallclock)
ICFP_2010/96417.xml 11772371 u ERROR 0.0/0.0 timeout (wallclock) timeout (wallclock)
ICFP_2010/26978.xml 11772372 u MAYBE 956.63/300.97 timeout (wallclock) timeout (wallclock)
ICFP_2010/96239.xml 11772373 u MAYBE 954.38/300.45 timeout (wallclock) timeout (wallclock)
ICFP_2010/186222.xml 11772374 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/85721.xml 11772375 u MAYBE 954.12/300.50 timeout (wallclock) timeout (wallclock)
ICFP_2010/68535.xml 11772376 is MAYBE 952.42/300.44 YES 204.69/52.24 timeout (wallclock)
ICFP_2010/188261.xml 11772377 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/167087.xml 11772378 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/136601.xml 11772379 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/135714.xml 11772380 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/3927.xml 11772381 u ERROR 0.0/0.0 timeout (wallclock) timeout (wallclock)
ICFP_2010/139236.xml 11772382 is timeout (wallclock) YES 41.84/11.66 timeout (wallclock)
ICFP_2010/26903.xml 11772383 u timeout (wallclock) MAYBE 1137.75/295.85 timeout (wallclock)
ICFP_2010/26110.xml 11772384 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/27026.xml 11772385 u timeout (wallclock) MAYBE 1052.68/298.39 timeout (wallclock)
ICFP_2010/128620.xml 11772386 is timeout (wallclock) YES 39.34/11.12 timeout (wallclock)
ICFP_2010/25416.xml 11772387 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/57132.xml 11772388 u MAYBE 955.78/300.57 MAYBE 741.23/295.25 timeout (wallclock)
ICFP_2010/140654.xml 11772389 is MAYBE 953.57/300.44 YES 35.12/9.76 timeout (wallclock)
ICFP_2010/85782.xml 11772390 u MAYBE 954.18/300.53 timeout (wallclock) timeout (wallclock)
ICFP_2010/27028.xml 11772391 u timeout (wallclock) MAYBE 1035.71/295.56 timeout (wallclock)
ICFP_2010/28464.xml 11772392 i YES 46.73/12.44 YES 74.32/19.51 timeout (wallclock)
ICFP_2010/162244.xml 11772393 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/132957.xml 11772394 is timeout (wallclock) YES 72.24/19.35 timeout (wallclock)
ICFP_2010/212534.xml 11772395 YES 97.83/25.96 YES 51.73/13.73 YES 1.18/1.16
ICFP_2010/139185.xml 11772396 is timeout (wallclock) YES 40.16/11.13 timeout (wallclock)
ICFP_2010/213147.xml 11772397 ERROR 0.0/0.0 YES 58.12/15.38 YES 228.25/225.21
ICFP_2010/213281.xml 11772398 YES 37.37/9.83 YES 21.45/6.15 YES 0.66/0.64
ICFP_2010/26976.xml 11772399 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/98362.xml 11772400 is ERROR 0.0/0.0 YES 76.30/20.36 timeout (wallclock)
ICFP_2010/213437.xml 11772401 i MAYBE 953.45/300.42 YES 58.60/15.69 YES 47.47/45.20
ICFP_2010/137316.xml 11772402 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/166465.xml 11772403 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/131982.xml 11772404 u MAYBE 961.37/300.97 MAYBE 916.20/296.08 timeout (wallclock)
ICFP_2010/85920.xml 11772405 u MAYBE 954.09/300.48 timeout (wallclock) timeout (wallclock)
ICFP_2010/26943.xml 11772406 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/249459.xml 11772407 is timeout (wallclock) YES 13.46/4.18 ERROR 0.01/0.01
ICFP_2010/212043.xml 11772408 is MAYBE 953.40/300.38 YES 78.69/20.54 MAYBE 72.86/70.51
ICFP_2010/25734.xml 11772409 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/26186.xml 11772410 i YES 31.16/8.08 YES 25.01/7.30 timeout (wallclock)
ICFP_2010/26291.xml 11772411 i YES 33.44/8.67 YES 40.43/14.59 timeout (wallclock)
ICFP_2010/264405.xml 11772412 YES 1.20/0.55 YES 5.12/2.49 YES 0.01/0.02
ICFP_2010/188696.xml 11772413 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/135782.xml 11772414 u MAYBE 961.77/301.03 timeout (wallclock) timeout (wallclock)
ICFP_2010/213051.xml 11772415 YES 47.90/12.66 YES 32.15/8.85 YES 0.63/0.62
ICFP_2010/149319.xml 11772416 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/160068.xml 11772417 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/150839.xml 11772418 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/167526.xml 11772419 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/186023.xml 11772420 is timeout (wallclock) YES 20.84/6.23 timeout (wallclock)
ICFP_2010/142146.xml 11772421 is MAYBE 953.99/300.87 YES 32.26/9.14 timeout (wallclock)
ICFP_2010/27013.xml 11772422 u timeout (wallclock) MAYBE 1024.56/294.84 timeout (wallclock)
ICFP_2010/132833.xml 11772423 is timeout (wallclock) YES 61.53/16.49 timeout (wallclock)
ICFP_2010/160475.xml 11772424 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/186333.xml 11772425 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/137621.xml 11772426 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/167636.xml 11772427 is timeout (wallclock) YES 165.00/43.27 timeout (wallclock)
ICFP_2010/249663.xml 11772428 is timeout (wallclock) YES 18.25/6.77 ERROR 0.01/0.10
ICFP_2010/26931.xml 11772429 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/4029.xml 11772430 u ERROR 0.0/0.0 timeout (wallclock) timeout (wallclock)
ICFP_2010/149297.xml 11772431 u timeout (wallclock) MAYBE 1094.43/293.63 timeout (wallclock)
ICFP_2010/3831.xml 11772432 u MAYBE 954.51/300.46 timeout (wallclock) timeout (wallclock)
ICFP_2010/132848.xml 11772433 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/96523.xml 11772434 u MAYBE 953.63/300.49 timeout (wallclock) timeout (wallclock)
ICFP_2010/140631.xml 11772435 u MAYBE 952.83/300.62 timeout (wallclock) timeout (wallclock)
ICFP_2010/211915.xml 11772436 i MAYBE 953.79/300.39 YES 48.10/12.98 YES 11.36/9.45
ICFP_2010/3930.xml 11772437 u ERROR 0.0/0.0 timeout (wallclock) timeout (wallclock)
ICFP_2010/158342.xml 11772438 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/137087.xml 11772439 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/167041.xml 11772440 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/159731.xml 11772441 i MAYBE 953.81/300.40 YES 88.97/23.46 YES 16.92/15.51
ICFP_2010/45970.xml 11772442 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/214183.xml 11772443 YES 128.68/32.87 YES 27.53/7.72 YES 260.98/256.40
ICFP_2010/133010.xml 11772444 is timeout (wallclock) YES 44.31/12.48 timeout (wallclock)
ICFP_2010/165713.xml 11772445 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/4991.xml 11772446 u ERROR 0.0/0.0 timeout (wallclock) timeout (wallclock)
ICFP_2010/132540.xml 11772447 is timeout (wallclock) YES 40.91/11.50 timeout (wallclock)
ICFP_2010/264033.xml 11772448 YES 45.53/11.97 YES 23.87/6.91 YES 10.30/8.48
ICFP_2010/27036.xml 11772449 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/107220.xml 11772450 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/136354.xml 11772451 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/25711.xml 11772452 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/4816.xml 11772453 u MAYBE 954.86/300.47 timeout (wallclock) timeout (wallclock)
ICFP_2010/132864.xml 11772454 is timeout (wallclock) YES 48.77/13.45 timeout (wallclock)
ICFP_2010/211960.xml 11772455 i MAYBE 953.26/300.38 YES 53.04/14.08 YES 17.22/14.74
ICFP_2010/150188.xml 11772456 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/128280.xml 11772457 is timeout (wallclock) YES 45.63/12.56 timeout (wallclock)
ICFP_2010/135652.xml 11772458 u MAYBE 961.83/300.96 timeout (wallclock) timeout (wallclock)
ICFP_2010/167742.xml 11772459 is timeout (wallclock) YES 68.82/18.42 timeout (wallclock)
ICFP_2010/3861.xml 11772460 u ERROR 0.0/0.0 timeout (wallclock) timeout (wallclock)
ICFP_2010/25808.xml 11772461 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/138993.xml 11772462 is timeout (wallclock) YES 49.26/13.45 timeout (wallclock)
ICFP_2010/26845.xml 11772463 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/138468.xml 11772464 is timeout (wallclock) YES 59.61/16.05 timeout (wallclock)
ICFP_2010/3939.xml 11772465 u MAYBE 954.39/300.45 MAYBE 820.38/295.42 timeout (wallclock)
ICFP_2010/25192.xml 11772466 YES 0.92/0.46 YES 5.49/2.90 YES 0.03/0.08
ICFP_2010/149915.xml 11772467 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/167452.xml 11772468 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/132622.xml 11772469 is timeout (wallclock) YES 52.12/15.55 timeout (wallclock)
ICFP_2010/4002.xml 11772470 i YES 59.22/15.13 YES 62.44/16.58 timeout (wallclock)
ICFP_2010/150815.xml 11772471 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/107193.xml 11772472 u timeout (wallclock) MAYBE 977.64/293.68 timeout (wallclock)
ICFP_2010/139282.xml 11772473 is timeout (wallclock) YES 40.50/11.30 timeout (wallclock)
ICFP_2010/88208.xml 11772474 is MAYBE 953.79/300.55 YES 55.58/14.88 timeout (wallclock)
ICFP_2010/136934.xml 11772475 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/51842.xml 11772476 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/88156.xml 11772477 is ERROR 0.0/0.0 YES 72.40/19.06 timeout (wallclock)
ICFP_2010/96673.xml 11772478 u MAYBE 953.10/300.52 timeout (wallclock) timeout (wallclock)
ICFP_2010/4487.xml 11772479 u ERROR 0.0/0.0 timeout (wallclock) timeout (wallclock)
ICFP_2010/4824.xml 11772480 u ERROR 0.0/0.0 timeout (wallclock) timeout (wallclock)
ICFP_2010/128515.xml 11772481 is timeout (wallclock) YES 75.54/20.03 timeout (wallclock)
ICFP_2010/41427.xml 11772482 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/214169.xml 11772483 YES 109.12/27.97 YES 30.09/8.51 YES 24.99/23.04
ICFP_2010/231480.xml 11772484 is timeout (wallclock) YES 15.62/4.72 ERROR 0.01/0.01
ICFP_2010/26954.xml 11772485 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/127538.xml 11772486 is timeout (wallclock) YES 51.03/13.98 timeout (wallclock)
ICFP_2010/96563.xml 11772487 YES 142.46/36.08 YES 11.56/3.69 YES 13.54/13.48
ICFP_2010/152694.xml 11772488 u timeout (wallclock) MAYBE 953.15/300.41 timeout (wallclock)
ICFP_2010/149251.xml 11772489 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/91210.xml 11772490 is timeout (wallclock) YES 50.83/14.04 timeout (wallclock)
ICFP_2010/211471.xml 11772491 is timeout (wallclock) YES 18.70/5.62 ERROR 0.01/0.05
ICFP_2010/95952.xml 11772492 u MAYBE 953.67/300.54 timeout (wallclock) timeout (wallclock)
ICFP_2010/54622.xml 11772493 YES 31.11/15.41 YES 10.31/3.51 ERROR 0.01/0.02
ICFP_2010/57852.xml 11772494 is timeout (wallclock) YES 65.23/17.36 timeout (wallclock)
ICFP_2010/130304.xml 11772495 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/166558.xml 11772496 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/130472.xml 11772497 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/188238.xml 11772498 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/27003.xml 11772499 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/167240.xml 11772500 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/26132.xml 11772501 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/160462.xml 11772502 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/153243.xml 11772503 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/86857.xml 11772504 is MAYBE 953.61/300.51 YES 374.14/100.14 timeout (wallclock)
ICFP_2010/212026.xml 11772505 i MAYBE 953.29/300.38 YES 102.85/26.72 YES 15.26/13.82
ICFP_2010/139214.xml 11772506 is timeout (wallclock) YES 51.02/13.92 timeout (wallclock)
ICFP_2010/135505.xml 11772507 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/26879.xml 11772508 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/149713.xml 11772509 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/136534.xml 11772510 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/137715.xml 11772511 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/136623.xml 11772512 u MAYBE 962.39/300.96 timeout (wallclock) timeout (wallclock)
ICFP_2010/81452.xml 11772513 u ERROR 0.0/0.0 MAYBE 780.50/297.26 timeout (wallclock)
ICFP_2010/54532.xml 11772514 YES 31.96/15.59 YES 8.96/3.18 ERROR 0.01/0.01
ICFP_2010/211639.xml 11772515 is timeout (wallclock) YES 18.85/5.69 ERROR 0.01/0.02
ICFP_2010/213560.xml 11772516 i MAYBE 953.70/300.43 YES 68.59/18.17 YES 290.25/286.29
ICFP_2010/212037.xml 11772517 i MAYBE 953.77/300.44 YES 102.16/26.39 YES 12.51/10.33
ICFP_2010/51577.xml 11772518 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/149415.xml 11772519 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/27015.xml 11772520 u MAYBE 955.53/301.03 timeout (wallclock) timeout (wallclock)
ICFP_2010/4847.xml 11772521 u MAYBE 954.17/300.51 timeout (wallclock) timeout (wallclock)
ICFP_2010/24100.xml 11772522 is MAYBE 954.67/300.70 YES 439.11/111.08 timeout (wallclock)
ICFP_2010/26123.xml 11772523 i YES 26.40/6.92 YES 19.41/5.75 timeout (wallclock)
ICFP_2010/247992.xml 11772524 is timeout (wallclock) YES 14.55/4.45 ERROR 0.01/0.09
ICFP_2010/3729.xml 11772525 u MAYBE 954.25/300.55 timeout (wallclock) timeout (wallclock)
ICFP_2010/58125.xml 11772526 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/138089.xml 11772527 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/133827.xml 11772528 is MAYBE 961.76/301.06 YES 13.87/4.24 timeout (wallclock)
ICFP_2010/27131.xml 11772529 i YES 37.77/9.85 YES 57.22/15.19 timeout (wallclock)
ICFP_2010/214261.xml 11772530 is MAYBE 953.85/300.42 YES 40.55/11.10 timeout (wallclock)
ICFP_2010/86499.xml 11772531 u MAYBE 953.98/300.53 MAYBE 738.71/296.17 timeout (wallclock)
ICFP_2010/139036.xml 11772532 is timeout (wallclock) YES 69.16/19.04 timeout (wallclock)
ICFP_2010/153371.xml 11772533 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/4964.xml 11772534 u ERROR 0.0/0.0 timeout (wallclock) timeout (wallclock)
ICFP_2010/158152.xml 11772535 is MAYBE 953.76/300.48 timeout (wallclock) YES 71.25/66.77
ICFP_2010/212480.xml 11772536 i MAYBE 953.08/300.41 YES 57.78/15.37 YES 13.28/11.14
ICFP_2010/135604.xml 11772537 u MAYBE 961.87/300.97 timeout (wallclock) timeout (wallclock)
ICFP_2010/161930.xml 11772538 is timeout (wallclock) YES 53.89/15.32 timeout (wallclock)
ICFP_2010/86052.xml 11772539 u MAYBE 954.10/300.50 timeout (wallclock) timeout (wallclock)
ICFP_2010/4840.xml 11772540 is YES 146.23/36.94 timeout (wallclock) timeout (wallclock)
ICFP_2010/26683.xml 11772541 i YES 34.26/8.94 YES 36.79/11.53 timeout (wallclock)
ICFP_2010/161593.xml 11772542 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/139167.xml 11772543 is timeout (wallclock) YES 52.74/14.40 timeout (wallclock)
ICFP_2010/165904.xml 11772544 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/41843.xml 11772545 is MAYBE 954.16/300.51 YES 823.41/264.78 timeout (wallclock)
ICFP_2010/140359.xml 11772546 is timeout (wallclock) YES 63.26/17.09 timeout (wallclock)
ICFP_2010/162095.xml 11772547 u timeout (wallclock) MAYBE 1035.70/300.25 timeout (wallclock)
ICFP_2010/25422.xml 11772548 u MAYBE 956.34/301.00 MAYBE 1109.95/299.06 timeout (wallclock)
ICFP_2010/246924.xml 11772549 is timeout (wallclock) YES 15.81/4.76 ERROR 0.01/0.01
ICFP_2010/160254.xml 11772550 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/48374.xml 11772551 u MAYBE 955.49/300.64 MAYBE 867.76/297.38 timeout (wallclock)
ICFP_2010/40093.xml 11772552 is YES 25.36/6.65 MAYBE 798.19/292.22 timeout (wallclock)
ICFP_2010/43621.xml 11772553 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/124269.xml 11772554 u MAYBE 961.44/300.99 MAYBE 920.55/300.23 timeout (wallclock)
ICFP_2010/213218.xml 11772555 YES 23.59/6.41 YES 13.65/4.21 YES 0.29/0.32
ICFP_2010/85477.xml 11772556 is MAYBE 954.63/300.54 YES 50.01/13.35 timeout (wallclock)
ICFP_2010/41838.xml 11772557 u MAYBE 954.34/300.52 timeout (wallclock) timeout (wallclock)
ICFP_2010/3842.xml 11772558 u MAYBE 954.15/300.47 timeout (wallclock) timeout (wallclock)
ICFP_2010/212094.xml 11772559 i MAYBE 953.62/300.46 YES 43.87/11.87 YES 33.04/30.49
ICFP_2010/26993.xml 11772560 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/26882.xml 11772561 u timeout (wallclock) MAYBE 1028.40/295.78 timeout (wallclock)
ICFP_2010/96464.xml 11772562 is ERROR 0.0/0.0 YES 57.68/15.30 timeout (wallclock)
ICFP_2010/88172.xml 11772563 u ERROR 0.0/0.0 timeout (wallclock) timeout (wallclock)
ICFP_2010/136562.xml 11772564 u MAYBE 961.88/300.99 timeout (wallclock) timeout (wallclock)
ICFP_2010/188674.xml 11772565 is timeout (wallclock) YES 30.44/9.83 timeout (wallclock)
ICFP_2010/136497.xml 11772566 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/150258.xml 11772567 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/165936.xml 11772568 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/48262.xml 11772569 u MAYBE 954.68/300.58 timeout (wallclock) timeout (wallclock)
ICFP_2010/95978.xml 11772570 u MAYBE 953.86/300.54 timeout (wallclock) timeout (wallclock)
ICFP_2010/42170.xml 11772571 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/130161.xml 11772572 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/231378.xml 11772573 is timeout (wallclock) YES 17.06/5.25 ERROR 0.01/0.06
ICFP_2010/150630.xml 11772574 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/139004.xml 11772575 is timeout (wallclock) YES 61.10/16.53 timeout (wallclock)
ICFP_2010/167391.xml 11772576 is timeout (wallclock) YES 258.20/67.25 timeout (wallclock)
ICFP_2010/138477.xml 11772577 u MAYBE 962.79/301.00 timeout (wallclock) timeout (wallclock)
ICFP_2010/97929.xml 11772578 u timeout (wallclock) MAYBE 1080.41/298.42 timeout (wallclock)
ICFP_2010/40540.xml 11772579 is timeout (wallclock) YES 73.35/19.79 timeout (wallclock)
ICFP_2010/84886.xml 11772580 u MAYBE 954.52/300.62 MAYBE 820.87/293.59 timeout (wallclock)
ICFP_2010/28293.xml 11772581 i YES 38.55/10.34 YES 55.22/14.73 timeout (wallclock)
ICFP_2010/86559.xml 11772582 i YES 4.31/1.50 YES 10.46/3.47 timeout (wallclock)
ICFP_2010/212774.xml 11772583 YES 67.24/17.54 YES 18.49/5.42 YES 47.19/44.17
ICFP_2010/63142.xml 11772584 is ERROR 0.0/0.0 YES 10.56/3.56 timeout (wallclock)
ICFP_2010/107236.xml 11772585 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/45720.xml 11772586 u MAYBE 954.78/300.53 timeout (wallclock) MAYBE 304.77/269.97
ICFP_2010/153170.xml 11772587 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/26116.xml 11772588 u timeout (wallclock) MAYBE 1150.68/297.52 timeout (wallclock)
ICFP_2010/25775.xml 11772589 u timeout (wallclock) MAYBE 1054.78/300.35 timeout (wallclock)
ICFP_2010/247504.xml 11772590 is timeout (wallclock) YES 20.67/10.23 ERROR 0.01/0.04
ICFP_2010/40708.xml 11772591 is YES 32.55/8.45 timeout (wallclock) timeout (wallclock)
ICFP_2010/211978.xml 11772592 YES 24.96/6.86 YES 17.20/5.08 YES 4.57/3.39
ICFP_2010/27213.xml 11772593 i YES 39.88/10.55 YES 75.11/19.72 timeout (wallclock)
ICFP_2010/91233.xml 11772594 is timeout (wallclock) YES 48.97/13.90 timeout (wallclock)
ICFP_2010/133159.xml 11772595 u MAYBE 962.62/301.01 timeout (wallclock) timeout (wallclock)
ICFP_2010/3268.xml 11772596 YES 27.74/7.21 YES 28.14/8.07 YES 10.67/8.88
ICFP_2010/43650.xml 11772597 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/212117.xml 11772598 YES 129.39/33.15 YES 33.58/9.39 YES 24.30/22.33
ICFP_2010/40033.xml 11772599 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/25388.xml 11772600 u timeout (wallclock) MAYBE 1047.02/296.26 timeout (wallclock)
ICFP_2010/132969.xml 11772601 u MAYBE 960.42/301.02 timeout (wallclock) timeout (wallclock)
ICFP_2010/3562.xml 11772602 u ERROR 0.0/0.0 timeout (wallclock) timeout (wallclock)
ICFP_2010/165975.xml 11772603 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/26127.xml 11772604 u timeout (wallclock) MAYBE 1015.59/296.38 timeout (wallclock)
ICFP_2010/137623.xml 11772605 is MAYBE 961.87/301.02 YES 17.11/5.07 timeout (wallclock)
ICFP_2010/138330.xml 11772606 u timeout (wallclock) MAYBE 838.18/297.92 timeout (wallclock)
ICFP_2010/25743.xml 11772607 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/150725.xml 11772608 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/4057.xml 11772609 u ERROR 0.0/0.0 timeout (wallclock) timeout (wallclock)
ICFP_2010/132782.xml 11772610 is timeout (wallclock) YES 41.62/12.72 timeout (wallclock)
ICFP_2010/26933.xml 11772611 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/85874.xml 11772612 u ERROR 0.0/0.0 timeout (wallclock) timeout (wallclock)
ICFP_2010/96119.xml 11772613 u ERROR 0.0/0.0 timeout (wallclock) timeout (wallclock)
ICFP_2010/158620.xml 11772614 is timeout (wallclock) YES 58.59/15.93 timeout (wallclock)
ICFP_2010/139163.xml 11772615 is timeout (wallclock) YES 66.17/18.02 timeout (wallclock)
ICFP_2010/152949.xml 11772616 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/25731.xml 11772617 YES 23.17/6.06 YES 10.39/3.52 YES 0.95/0.89
ICFP_2010/140664.xml 11772618 u MAYBE 953.83/300.90 timeout (wallclock) timeout (wallclock)
ICFP_2010/124211.xml 11772619 u MAYBE 962.01/301.00 timeout (wallclock) timeout (wallclock)
ICFP_2010/40976.xml 11772620 is timeout (wallclock) YES 84.63/22.67 timeout (wallclock)
ICFP_2010/157603.xml 11772621 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/166001.xml 11772622 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/25736.xml 11772623 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/131633.xml 11772624 u MAYBE 961.64/300.98 timeout (wallclock) timeout (wallclock)
ICFP_2010/68322.xml 11772625 u MAYBE 953.91/300.58 timeout (wallclock) timeout (wallclock)
ICFP_2010/161533.xml 11772626 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/26946.xml 11772627 u timeout (wallclock) MAYBE 1052.39/294.92 timeout (wallclock)
ICFP_2010/88143.xml 11772628 is ERROR 0.0/0.0 YES 53.08/14.47 timeout (wallclock)
ICFP_2010/26862.xml 11772629 u MAYBE 956.60/301.05 MAYBE 1015.40/295.86 timeout (wallclock)
ICFP_2010/4106.xml 11772630 u ERROR 0.0/0.0 timeout (wallclock) timeout (wallclock)
ICFP_2010/139180.xml 11772631 is timeout (wallclock) YES 72.46/19.46 timeout (wallclock)
ICFP_2010/259405.xml 11772632 is timeout (wallclock) YES 50.52/13.93 timeout (wallclock)
ICFP_2010/85675.xml 11772633 i MAYBE 954.14/300.53 YES 8.55/2.95 YES 192.83/192.71
ICFP_2010/214011.xml 11772634 YES 29.65/7.96 YES 21.43/6.28 YES 50.37/48.33
ICFP_2010/4017.xml 11772635 u MAYBE 954.31/300.50 timeout (wallclock) timeout (wallclock)
ICFP_2010/133532.xml 11772636 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/26886.xml 11772637 u MAYBE 954.77/300.99 MAYBE 1056.65/296.96 timeout (wallclock)
ICFP_2010/4920.xml 11772638 u ERROR 0.0/0.0 timeout (wallclock) timeout (wallclock)
ICFP_2010/85834.xml 11772639 i MAYBE 953.99/300.55 YES 9.82/3.32 YES 197.73/197.74
ICFP_2010/138254.xml 11772640 is MAYBE 961.95/301.01 YES 16.62/5.13 timeout (wallclock)
ICFP_2010/213407.xml 11772641 YES 52.59/13.74 YES 27.66/10.01 YES 7.51/6.04
ICFP_2010/132478.xml 11772642 is timeout (wallclock) YES 69.98/20.67 timeout (wallclock)
ICFP_2010/153444.xml 11772643 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/91242.xml 11772644 u MAYBE 954.84/301.02 timeout (wallclock) timeout (wallclock)
ICFP_2010/95858.xml 11772645 u ERROR 0.0/0.0 timeout (wallclock) timeout (wallclock)
ICFP_2010/212364.xml 11772646 is MAYBE 953.39/300.42 YES 855.72/216.39 MAYBE 24.44/22.66
ICFP_2010/128182.xml 11772647 is timeout (wallclock) YES 63.71/17.17 timeout (wallclock)
ICFP_2010/231300.xml 11772648 is timeout (wallclock) YES 17.20/5.12 ERROR 0.01/0.09
ICFP_2010/26974.xml 11772649 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/162075.xml 11772650 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/151247.xml 11772651 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/158208.xml 11772652 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/213719.xml 11772653 is MAYBE 953.45/300.42 timeout (wallclock) YES 28.34/24.05
ICFP_2010/27023.xml 11772654 u MAYBE 956.53/301.05 timeout (wallclock) timeout (wallclock)
ICFP_2010/86526.xml 11772655 u MAYBE 954.78/300.55 timeout (wallclock) timeout (wallclock)
ICFP_2010/85345.xml 11772656 u MAYBE 955.17/300.59 timeout (wallclock) timeout (wallclock)
ICFP_2010/84977.xml 11772657 u MAYBE 954.19/300.62 timeout (wallclock) timeout (wallclock)
ICFP_2010/41378.xml 11772658 u ERROR 0.0/0.0 timeout (wallclock) timeout (wallclock)
ICFP_2010/4141.xml 11772659 u ERROR 0.0/0.0 MAYBE 775.18/300.66 timeout (wallclock)
ICFP_2010/160210.xml 11772660 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/132920.xml 11772661 is timeout (wallclock) YES 42.73/11.92 timeout (wallclock)
ICFP_2010/86636.xml 11772662 u ERROR 0.0/0.0 timeout (wallclock) timeout (wallclock)
ICFP_2010/139310.xml 11772663 is timeout (wallclock) YES 46.39/13.29 timeout (wallclock)
ICFP_2010/133079.xml 11772664 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/136051.xml 11772665 u MAYBE 961.82/300.97 timeout (wallclock) timeout (wallclock)
ICFP_2010/133236.xml 11772666 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/161519.xml 11772667 is timeout (wallclock) YES 212.92/55.18 timeout (wallclock)
ICFP_2010/135410.xml 11772668 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/157466.xml 11772669 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/254704.xml 11772670 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/4181.xml 11772671 ERROR 0.0/0.0 YES 7.99/2.85 YES 3.76/3.70
ICFP_2010/96403.xml 11772672 u MAYBE 953.46/300.46 timeout (wallclock) timeout (wallclock)
ICFP_2010/160660.xml 11772673 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/132235.xml 11772674 u MAYBE 961.68/301.00 timeout (wallclock) timeout (wallclock)
ICFP_2010/153090.xml 11772675 is timeout (wallclock) YES 49.09/13.49 timeout (wallclock)
ICFP_2010/4943.xml 11772676 is YES 172.19/43.43 MAYBE 738.01/294.43 timeout (wallclock)
ICFP_2010/4074.xml 11772677 u ERROR 0.0/0.0 timeout (wallclock) timeout (wallclock)
ICFP_2010/161917.xml 11772678 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/54097.xml 11772679 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/26103.xml 11772680 YES 25.56/6.73 YES 23.87/10.40 YES 70.30/58.30
ICFP_2010/26910.xml 11772681 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/3680.xml 11772682 u MAYBE 954.03/300.49 MAYBE 796.26/293.12 timeout (wallclock)
ICFP_2010/157593.xml 11772683 i MAYBE 954.33/300.47 YES 27.27/7.66 YES 12.26/9.85
ICFP_2010/4412.xml 11772684 u MAYBE 954.30/300.46 MAYBE 820.60/293.78 timeout (wallclock)
ICFP_2010/162016.xml 11772685 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/96256.xml 11772686 u ERROR 0.0/0.0 timeout (wallclock) timeout (wallclock)
ICFP_2010/85749.xml 11772687 is MAYBE 954.51/300.81 YES 7.84/2.79 timeout (wallclock)
ICFP_2010/4938.xml 11772688 u MAYBE 954.50/300.49 MAYBE 834.09/300.73 timeout (wallclock)
ICFP_2010/212693.xml 11772689 YES 23.65/6.39 YES 13.56/4.20 YES 16.84/15.51
ICFP_2010/3817.xml 11772690 u ERROR 0.0/0.0 MAYBE 808.65/295.02 timeout (wallclock)
ICFP_2010/4157.xml 11772691 u ERROR 0.0/0.0 timeout (wallclock) timeout (wallclock)
ICFP_2010/96065.xml 11772692 u ERROR 0.0/0.0 timeout (wallclock) timeout (wallclock)
ICFP_2010/96289.xml 11772693 u MAYBE 953.98/300.43 MAYBE 714.33/292.80 timeout (wallclock)
ICFP_2010/3865.xml 11772694 u ERROR 0.0/0.0 MAYBE 774.61/296.06 timeout (wallclock)
ICFP_2010/26919.xml 11772695 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/153034.xml 11772696 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/26965.xml 11772697 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/96224.xml 11772698 YES 2.67/1.02 YES 11.81/3.91 YES 43.96/43.96
ICFP_2010/212062.xml 11772699 YES 23.63/6.37 YES 10.23/3.32 YES 1.29/1.28
ICFP_2010/3533.xml 11772700 is YES 161.48/40.78 timeout (wallclock) timeout (wallclock)
ICFP_2010/48328.xml 11772701 u MAYBE 954.85/300.56 ERROR 0.0/0.0 timeout (wallclock)
ICFP_2010/41688.xml 11772702 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/152786.xml 11772703 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/28643.xml 11772704 is ERROR 44.61/12.04 YES 59.29/15.68 timeout (wallclock)
ICFP_2010/96642.xml 11772705 is ERROR 0.0/0.0 YES 47.70/12.74 timeout (wallclock)
ICFP_2010/139018.xml 11772706 is timeout (wallclock) YES 42.03/11.69 timeout (wallclock)
ICFP_2010/5130.xml 11772707 u MAYBE 954.71/300.51 timeout (wallclock) timeout (wallclock)
ICFP_2010/91254.xml 11772708 u timeout (wallclock) MAYBE 858.10/293.06 timeout (wallclock)
ICFP_2010/149849.xml 11772709 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/26957.xml 11772710 u timeout (wallclock) MAYBE 1188.23/298.80 timeout (wallclock)
ICFP_2010/26986.xml 11772711 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/96438.xml 11772712 is ERROR 0.0/0.0 YES 339.52/103.68 timeout (wallclock)
ICFP_2010/158477.xml 11772713 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/212892.xml 11772714 i MAYBE 953.23/300.37 YES 42.09/11.48 YES 13.27/11.49
ICFP_2010/212263.xml 11772715 YES 23.57/6.34 YES 18.61/5.63 YES 35.56/33.39
ICFP_2010/43987.xml 11772716 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/133432.xml 11772717 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/86577.xml 11772718 u ERROR 0.0/0.0 timeout (wallclock) timeout (wallclock)
ICFP_2010/88183.xml 11772719 u MAYBE 953.93/300.60 MAYBE 687.73/299.24 timeout (wallclock)
ICFP_2010/4200.xml 11772720 u ERROR 0.0/0.0 timeout (wallclock) timeout (wallclock)
ICFP_2010/186617.xml 11772721 u timeout (wallclock) MAYBE 848.71/297.96 timeout (wallclock)
ICFP_2010/3385.xml 11772722 YES 51.96/13.31 YES 78.02/20.55 YES 33.62/31.82
ICFP_2010/27009.xml 11772723 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/57278.xml 11772724 u MAYBE 956.37/300.64 MAYBE 1152.44/299.38 MAYBE 263.28/251.35
ICFP_2010/58194.xml 11772725 u MAYBE 954.98/300.69 timeout (wallclock) MAYBE 95.94/86.70
ICFP_2010/64160.xml 11772726 is YES 33.68/8.76 timeout (wallclock) timeout (wallclock)
ICFP_2010/4484.xml 11772727 u ERROR 0.0/0.0 timeout (wallclock) timeout (wallclock)
ICFP_2010/85590.xml 11772728 u MAYBE 954.40/300.50 timeout (wallclock) timeout (wallclock)
ICFP_2010/4827.xml 11772729 u ERROR 0.0/0.0 timeout (wallclock) timeout (wallclock)
ICFP_2010/137136.xml 11772730 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/135115.xml 11772731 u MAYBE 960.83/301.01 timeout (wallclock) timeout (wallclock)
ICFP_2010/148543.xml 11772732 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/39849.xml 11772733 i MAYBE 953.45/300.41 YES 47.46/13.03 YES 27.02/26.52
ICFP_2010/85294.xml 11772734 u MAYBE 954.64/300.59 timeout (wallclock) timeout (wallclock)
ICFP_2010/135328.xml 11772735 u MAYBE 960.33/301.03 MAYBE 827.69/295.42 timeout (wallclock)
ICFP_2010/26226.xml 11772736 i YES 32.01/8.35 YES 29.78/8.43 timeout (wallclock)
ICFP_2010/4046.xml 11772737 YES 22.39/5.92 YES 7.98/2.82 YES 136.67/103.12
ICFP_2010/214091.xml 11772738 YES 23.59/6.39 YES 14.61/4.45 YES 0.18/0.22
ICFP_2010/139100.xml 11772739 is timeout (wallclock) YES 57.61/15.66 timeout (wallclock)
ICFP_2010/26069.xml 11772740 YES 25.11/6.60 YES 18.20/5.46 YES 10.29/8.62
ICFP_2010/3450.xml 11772741 u ERROR 0.0/0.0 timeout (wallclock) timeout (wallclock)
ICFP_2010/182946.xml 11772742 u timeout (wallclock) MAYBE 963.52/298.70 timeout (wallclock)
ICFP_2010/185628.xml 11772743 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/149633.xml 11772744 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/188296.xml 11772745 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/160234.xml 11772746 YES 42.33/11.35 YES 27.50/7.78 YES 5.22/5.22
ICFP_2010/57355.xml 11772747 i MAYBE 954.30/300.46 YES 439.58/112.22 YES 85.46/78.33
ICFP_2010/96086.xml 11772748 YES 1.96/1.13 YES 16.24/5.10 YES 28.12/28.14
ICFP_2010/157388.xml 11772749 i MAYBE 954.55/300.61 YES 47.16/12.61 YES 280.88/270.08
ICFP_2010/57799.xml 11772750 i MAYBE 954.73/300.62 YES 61.27/16.65 YES 47.84/45.56
ICFP_2010/26741.xml 11772751 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/4953.xml 11772752 u MAYBE 954.66/300.46 MAYBE 764.82/296.63 timeout (wallclock)
ICFP_2010/3989.xml 11772753 is YES 147.21/37.18 timeout (wallclock) timeout (wallclock)
ICFP_2010/5076.xml 11772754 is YES 158.43/40.02 timeout (wallclock) timeout (wallclock)
ICFP_2010/149277.xml 11772755 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/160398.xml 11772756 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/140659.xml 11772757 u MAYBE 952.96/300.83 MAYBE 754.81/296.13 timeout (wallclock)
ICFP_2010/85267.xml 11772758 u MAYBE 954.68/300.55 timeout (wallclock) timeout (wallclock)
ICFP_2010/137799.xml 11772759 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/96156.xml 11772760 u MAYBE 954.28/300.52 timeout (wallclock) timeout (wallclock)
ICFP_2010/150067.xml 11772761 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/4374.xml 11772762 u ERROR 0.0/0.0 MAYBE 904.47/297.90 timeout (wallclock)
ICFP_2010/230819.xml 11772763 is timeout (wallclock) YES 16.57/5.11 ERROR 0.01/0.03
ICFP_2010/212189.xml 11772764 i MAYBE 953.43/300.42 YES 367.96/92.90 YES 10.64/9.49
ICFP_2010/3762.xml 11772765 u MAYBE 953.50/300.55 timeout (wallclock) timeout (wallclock)
ICFP_2010/167433.xml 11772766 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/138194.xml 11772767 u MAYBE 961.84/300.98 timeout (wallclock) timeout (wallclock)
ICFP_2010/247906.xml 11772768 is timeout (wallclock) YES 137.79/35.94 ERROR 0.01/0.06
ICFP_2010/3633.xml 11772769 u ERROR 0.0/0.0 timeout (wallclock) timeout (wallclock)
ICFP_2010/45757.xml 11772770 u MAYBE 954.57/300.53 MAYBE 879.45/293.15 MAYBE 308.52/286.03
ICFP_2010/26972.xml 11772771 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/248060.xml 11772772 is timeout (wallclock) YES 17.19/6.22 ERROR 0.01/0.05
ICFP_2010/48267.xml 11772773 u MAYBE 954.97/300.60 timeout (wallclock) timeout (wallclock)
ICFP_2010/231149.xml 11772774 is timeout (wallclock) YES 17.38/5.13 ERROR 0.01/0.04
ICFP_2010/160263.xml 11772775 YES 34.89/9.25 YES 27.59/7.89 YES 10.16/8.48
ICFP_2010/3589.xml 11772776 u ERROR 0.0/0.0 timeout (wallclock) timeout (wallclock)
ICFP_2010/230948.xml 11772777 is timeout (wallclock) YES 17.29/5.30 ERROR 0.01/0.10
ICFP_2010/138142.xml 11772778 is MAYBE 962.39/301.03 YES 15.78/4.77 timeout (wallclock)
ICFP_2010/211857.xml 11772779 YES 29.56/7.86 YES 19.96/5.84 YES 0.28/0.62
ICFP_2010/157713.xml 11772780 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/212421.xml 11772781 YES 28.02/7.60 YES 68.58/18.18 YES 12.98/11.06
ICFP_2010/186919.xml 11772782 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/98623.xml 11772783 is ERROR 0.0/0.0 YES 54.29/14.70 timeout (wallclock)
ICFP_2010/3498.xml 11772784 u MAYBE 953.88/300.48 timeout (wallclock) timeout (wallclock)
ICFP_2010/96485.xml 11772785 i MAYBE 953.58/300.48 YES 21.51/6.27 YES 84.15/84.14
ICFP_2010/133881.xml 11772786 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/264370.xml 11772787 YES 1.18/0.53 YES 5.17/2.04 YES 0.01/0.05
ICFP_2010/262998.xml 11772788 is timeout (wallclock) YES 27.09/7.78 timeout (wallclock)
ICFP_2010/161864.xml 11772789 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/27280.xml 11772790 i YES 38.29/10.18 YES 44.28/11.94 timeout (wallclock)
ICFP_2010/51424.xml 11772791 u ERROR 0.0/0.0 timeout (wallclock) timeout (wallclock)
ICFP_2010/153288.xml 11772792 is timeout (wallclock) YES 162.81/42.44 timeout (wallclock)
ICFP_2010/212612.xml 11772793 is MAYBE 952.94/300.41 YES 161.98/41.55 MAYBE 29.95/28.70
ICFP_2010/97917.xml 11772794 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/249386.xml 11772795 is timeout (wallclock) YES 62.25/16.75 ERROR 0.01/0.02
ICFP_2010/88283.xml 11772796 u ERROR 0.0/0.0 timeout (wallclock) timeout (wallclock)
ICFP_2010/27019.xml 11772797 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/157436.xml 11772798 u MAYBE 954.13/300.49 timeout (wallclock) MAYBE 115.00/109.93
ICFP_2010/136693.xml 11772799 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/123759.xml 11772800 u MAYBE 962.16/301.03 timeout (wallclock) timeout (wallclock)
ICFP_2010/132720.xml 11772801 is timeout (wallclock) YES 59.14/16.06 timeout (wallclock)
ICFP_2010/86025.xml 11772802 u ERROR 0.0/0.0 timeout (wallclock) timeout (wallclock)
ICFP_2010/26940.xml 11772803 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/149361.xml 11772804 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/3916.xml 11772805 u ERROR 0.0/0.0 timeout (wallclock) timeout (wallclock)
ICFP_2010/135601.xml 11772806 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/142142.xml 11772807 is MAYBE 953.52/300.99 YES 20.18/5.99 timeout (wallclock)
ICFP_2010/138269.xml 11772808 u MAYBE 961.76/301.02 timeout (wallclock) timeout (wallclock)
ICFP_2010/96612.xml 11772809 u MAYBE 953.71/300.49 timeout (wallclock) timeout (wallclock)
ICFP_2010/133486.xml 11772810 u MAYBE 961.59/301.01 MAYBE 921.34/296.63 timeout (wallclock)
ICFP_2010/3786.xml 11772811 u ERROR 0.0/0.0 timeout (wallclock) timeout (wallclock)
ICFP_2010/136280.xml 11772812 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/3336.xml 11772813 YES 28.98/7.77 YES 20.25/5.96 YES 0.23/0.28
ICFP_2010/27134.xml 11772814 i YES 41.06/10.72 YES 59.77/15.92 timeout (wallclock)
ICFP_2010/26998.xml 11772815 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/26949.xml 11772816 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/128486.xml 11772817 is timeout (wallclock) YES 35.85/10.00 timeout (wallclock)
ICFP_2010/231604.xml 11772818 is timeout (wallclock) YES 16.12/4.94 ERROR 0.01/0.08
ICFP_2010/212795.xml 11772819 i MAYBE 953.45/300.44 YES 279.00/70.83 YES 56.58/54.00
ICFP_2010/4051.xml 11772820 u MAYBE 953.69/300.50 MAYBE 739.74/294.55 timeout (wallclock)
ICFP_2010/152865.xml 11772821 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/96274.xml 11772822 is MAYBE 953.62/300.50 YES 8.87/3.22 timeout (wallclock)
ICFP_2010/4893.xml 11772823 u MAYBE 953.91/300.45 timeout (wallclock) timeout (wallclock)
ICFP_2010/132738.xml 11772824 is timeout (wallclock) YES 37.78/10.77 timeout (wallclock)
ICFP_2010/27001.xml 11772825 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/137809.xml 11772826 u MAYBE 962.11/301.01 timeout (wallclock) timeout (wallclock)
ICFP_2010/42683.xml 11772827 is timeout (wallclock) YES 83.20/22.29 timeout (wallclock)
ICFP_2010/28838.xml 11772828 is ERROR 48.65/13.13 YES 83.51/21.96 timeout (wallclock)
ICFP_2010/26923.xml 11772829 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/48686.xml 11772830 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/247254.xml 11772831 is timeout (wallclock) YES 17.63/5.39 ERROR 0.01/0.02
ICFP_2010/26130.xml 11772832 i YES 29.34/7.66 YES 25.63/7.23 timeout (wallclock)
ICFP_2010/27006.xml 11772833 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/4854.xml 11772834 u MAYBE 954.02/300.53 timeout (wallclock) timeout (wallclock)
ICFP_2010/137956.xml 11772835 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/167294.xml 11772836 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/139025.xml 11772837 is timeout (wallclock) YES 33.53/9.49 timeout (wallclock)
ICFP_2010/3746.xml 11772838 is ERROR 0.0/0.0 YES 39.13/10.77 timeout (wallclock)
ICFP_2010/50904.xml 11772839 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/187837.xml 11772840 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/42466.xml 11772841 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/4970.xml 11772842 i YES 36.29/9.47 timeout (wallclock) YES 334.86/285.00
ICFP_2010/58221.xml 11772843 u MAYBE 955.07/300.59 MAYBE 731.86/295.23 timeout (wallclock)
ICFP_2010/27235.xml 11772844 i YES 45.45/11.99 YES 67.60/17.83 timeout (wallclock)
ICFP_2010/186973.xml 11772845 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/26875.xml 11772846 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/96334.xml 11772847 u MAYBE 954.07/300.49 timeout (wallclock) timeout (wallclock)
ICFP_2010/4206.xml 11772848 u ERROR 0.0/0.0 timeout (wallclock) timeout (wallclock)
ICFP_2010/183803.xml 11772849 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/26951.xml 11772850 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/26980.xml 11772851 u MAYBE 956.96/300.96 MAYBE 1130.12/295.93 timeout (wallclock)
ICFP_2010/160364.xml 11772852 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/85079.xml 11772853 is MAYBE 954.54/300.60 YES 205.60/52.54 timeout (wallclock)
ICFP_2010/157275.xml 11772854 is ERROR 0.0/0.0 YES 94.69/25.45 timeout (wallclock)
ICFP_2010/85650.xml 11772855 is MAYBE 954.98/300.56 YES 54.27/14.54 timeout (wallclock)
ICFP_2010/86745.xml 11772856 i MAYBE 953.83/300.53 YES 10.20/3.38 YES 34.22/34.18
ICFP_2010/25726.xml 11772857 u MAYBE 956.53/301.03 timeout (wallclock) timeout (wallclock)
ICFP_2010/86452.xml 11772858 u MAYBE 954.15/300.50 timeout (wallclock) timeout (wallclock)
ICFP_2010/4979.xml 11772859 is YES 143.85/36.45 timeout (wallclock) timeout (wallclock)
ICFP_2010/213611.xml 11772860 is timeout (wallclock) YES 13.17/4.09 ERROR 0.01/0.05
ICFP_2010/139174.xml 11772861 is timeout (wallclock) YES 41.60/11.61 timeout (wallclock)
ICFP_2010/147437.xml 11772862 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/184957.xml 11772863 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/230780.xml 11772864 is timeout (wallclock) YES 17.61/5.29 ERROR 0.01/0.03
ICFP_2010/3856.xml 11772865 u ERROR 0.0/0.0 MAYBE 768.72/299.11 timeout (wallclock)
ICFP_2010/97888.xml 11772866 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/97901.xml 11772867 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/65081.xml 11772868 ERROR 0.0/0.0 YES 7.75/2.78 YES 74.75/74.77
ICFP_2010/157150.xml 11772869 is MAYBE 955.89/300.69 YES 169.33/43.70 timeout (wallclock)
ICFP_2010/4248.xml 11772870 u MAYBE 954.43/300.41 timeout (wallclock) timeout (wallclock)
ICFP_2010/139190.xml 11772871 is timeout (wallclock) YES 55.44/15.07 timeout (wallclock)
ICFP_2010/41865.xml 11772872 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/139256.xml 11772873 is timeout (wallclock) YES 53.69/14.66 timeout (wallclock)
ICFP_2010/43266.xml 11772874 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/213865.xml 11772875 YES 40.94/10.94 YES 31.94/8.93 YES 35.05/32.18
ICFP_2010/96198.xml 11772876 u MAYBE 953.90/300.46 timeout (wallclock) timeout (wallclock)
ICFP_2010/26896.xml 11772877 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/136571.xml 11772878 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/95899.xml 11772879 u MAYBE 954.43/300.55 timeout (wallclock) timeout (wallclock)
ICFP_2010/212308.xml 11772880 i MAYBE 953.89/300.42 YES 59.77/15.92 YES 68.03/66.21
ICFP_2010/247020.xml 11772881 is timeout (wallclock) YES 19.01/5.54 ERROR 0.01/0.06
ICFP_2010/44332.xml 11772882 is timeout (wallclock) YES 61.02/16.66 timeout (wallclock)
ICFP_2010/160427.xml 11772883 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/166493.xml 11772884 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/263745.xml 11772885 is timeout (wallclock) YES 49.52/13.55 timeout (wallclock)
ICFP_2010/136323.xml 11772886 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/26105.xml 11772887 u MAYBE 955.83/301.02 timeout (wallclock) timeout (wallclock)
ICFP_2010/26916.xml 11772888 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/186775.xml 11772889 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/128550.xml 11772890 is timeout (wallclock) YES 63.75/17.31 timeout (wallclock)
ICFP_2010/186810.xml 11772891 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/185453.xml 11772892 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/135659.xml 11772893 is timeout (wallclock) YES 357.25/104.48 timeout (wallclock)
ICFP_2010/160324.xml 11772894 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/27034.xml 11772895 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010/85039.xml 11772896 u MAYBE 954.13/300.62 timeout (wallclock) timeout (wallclock)
ICFP_2010/128691.xml 11772897 is timeout (wallclock) YES 39.81/11.42 timeout (wallclock)
Secret_05_SRS/aprove1.xml 11772043 i YES 32.36/8.50 YES 19.22/5.72 MAYBE 0.24/0.28
Secret_05_SRS/matchbox2.xml 11772044 YES 7.47/2.13 YES 40.66/14.01 YES 1.54/1.44
Secret_05_SRS/jambox5.xml 11772045 is MAYBE 952.58/300.36 YES 44.26/12.01 MAYBE 0.33/0.29
Secret_05_SRS/jambox2.xml 11772046 u MAYBE 952.82/300.33 MAYBE 1162.84/291.84 MAYBE 0.83/0.79
Secret_05_SRS/torpa2.xml 11772047 i YES 49.48/12.70 YES 21.95/6.45 MAYBE 0.14/0.18
Secret_05_SRS/jambox3.xml 11772048 is MAYBE 953.01/300.36 YES 92.69/24.10 MAYBE 0.47/0.44
Secret_05_SRS/torpa3.xml 11772049 YES 12.53/3.42 YES 8.90/3.03 YES 0.03/0.05
Secret_05_SRS/jambox4.xml 11772050 i YES 28.21/7.34 YES 24.22/6.99 MAYBE 0.26/0.29
Secret_05_SRS/torpa4.xml 11772051 i YES 21.68/5.77 YES 24.47/8.80 MAYBE 0.58/0.58
Secret_05_SRS/aprove3.xml 11772052 i YES 25.82/6.78 YES 17.15/5.38 MAYBE 0.26/0.27
Secret_05_SRS/aprove4.xml 11772053 i YES 39.82/10.30 YES 21.20/6.43 MAYBE 0.36/0.34
Secret_05_SRS/jambox1.xml 11772054 is MAYBE 951.94/300.35 YES 47.23/12.78 MAYBE 0.50/0.50
Secret_05_SRS/torpa1.xml 11772055 i YES 22.28/5.93 YES 12.61/4.01 MAYBE 0.40/0.41
Secret_05_SRS/aprove5.xml 11772056 i YES 34.20/8.88 YES 25.14/7.38 MAYBE 0.46/0.45
Secret_05_SRS/aprove2.xml 11772057 i YES 32.47/8.43 YES 16.72/5.21 MAYBE 0.26/0.25
Secret_05_SRS/matchbox1.xml 11772058 YES 8.67/2.46 YES 20.79/6.07 YES 2.35/1.90
Wenzel_16/abbaaaaa-aaaaaabbabb.srs.xml 11772059 u MAYBE 952.27/300.33 timeout (wallclock) MAYBE 3.96/2.95
Wenzel_16/abcbaaaaa-aaaaaabcbabcb.srs.xml 11772060 u MAYBE 951.89/300.31 timeout (wallclock) MAYBE 76.01/55.46
Wenzel_16/bccaaaaaaa-aaaaaaabccbcca.srs.xml 11772061 u MAYBE 952.01/300.37 timeout (wallclock) timeout (wallclock)
Wenzel_16/abbabbaaaaa-aaaaaabbabbabb.srs.xml 11772062 u MAYBE 950.75/300.37 timeout (wallclock) MAYBE 52.97/37.06
Wenzel_16/caabccaabc-aabccaabcaabcc.srs.xml 11772063 u MAYBE 952.34/300.34 timeout (wallclock) MAYBE 295.07/218.74
Wenzel_16/abaaaa-aaaaabaabab.srs.xml 11772064 is YES 44.09/11.30 MAYBE 615.21/295.45 MAYBE 0.72/0.73
Wenzel_16/abaaaaa-aaaaaaabababab.srs.xml 11772065 u MAYBE 952.20/300.34 timeout (wallclock) MAYBE 1.35/1.27
Wenzel_16/abaaaaaa-aaaaaaababaaab.srs.xml 11772066 u MAYBE 951.86/300.31 timeout (wallclock) MAYBE 1.50/1.40
Wenzel_16/baabbaab-aabbaabaabaabb.srs.xml 11772067 u MAYBE 951.78/300.35 timeout (wallclock) MAYBE 3.08/2.78
Wenzel_16/babaaaaaaa-aaaaaaababbaba.srs.xml 11772068 u MAYBE 952.28/300.30 timeout (wallclock) MAYBE 11.74/8.53
Wenzel_16/abaaaaa-aaaaaabaaaab.srs.xml 11772069 u MAYBE 951.70/300.34 MAYBE 941.91/292.10 MAYBE 0.87/0.90
Wenzel_16/aababaaaa-aaaaaababaabab.srs.xml 11772070 u MAYBE 951.62/300.37 timeout (wallclock) MAYBE 4.34/4.03
Wenzel_16/abccaaaaa-aaaaaabccaabcc.srs.xml 11772071 u MAYBE 951.69/300.34 timeout (wallclock) MAYBE 50.17/36.90
Wenzel_16/abaaba-aabababaab.srs.xml 11772072 u MAYBE 951.99/300.30 MAYBE 638.32/294.59 MAYBE 0.77/0.75
Wenzel_16/ababbababab-abbababababba.srs.xml 11772073 u MAYBE 951.94/300.30 MAYBE 923.44/291.99 MAYBE 2.10/2.00
Wenzel_16/abababaababa-aababaabababab.srs.xml 11772074 u MAYBE 952.37/300.33 timeout (wallclock) MAYBE 2.33/2.15
Wenzel_16/abbbaaaa-aaaaabbbaabbb.srs.xml 11772075 is YES 47.62/12.22 timeout (wallclock) MAYBE 5.62/4.15
Wenzel_16/baabaabbaab-aabbaabaabaabb.srs.xml 11772076 u MAYBE 952.57/300.35 timeout (wallclock) MAYBE 7.89/6.26
Wenzel_16/bacaaaaaa-aaaaaaabacbac.srs.xml 11772077 u MAYBE 951.55/300.34 timeout (wallclock) MAYBE 14.28/10.81
Wenzel_16/abaaaaaaa-aaaaaaaabab.srs.xml 11772078 u MAYBE 952.28/300.36 timeout (wallclock) MAYBE 1.03/0.99
Wenzel_16/abacaabaca-aabacabacaabac.srs.xml 11772079 u MAYBE 952.45/300.32 timeout (wallclock) MAYBE 19.89/19.48
Wenzel_16/aabaaaaa-aaaaaaabaaaab.srs.xml 11772080 u MAYBE 951.21/300.36 MAYBE 588.81/296.38 MAYBE 1.67/1.57
Wenzel_16/aabaaaaa-aaaaaaabaab.srs.xml 11772081 u MAYBE 952.20/300.36 timeout (wallclock) MAYBE 1.54/1.47
Wenzel_16/abababaaab-aaabaaabababab.srs.xml 11772082 is YES 134.22/33.93 MAYBE 644.69/295.48 MAYBE 3.42/3.24
Wenzel_16/abbaaaaaaa-aaaaaaaabbaabb.srs.xml 11772083 u MAYBE 952.32/300.34 timeout (wallclock) MAYBE 11.81/8.23
Wenzel_16/abaaaa-aaaaabaababab.srs.xml 11772084 is YES 99.91/25.31 timeout (wallclock) MAYBE 1.12/1.09
Wenzel_16/abaaabaaaa-aaaaabaaabaaab.srs.xml 11772085 u MAYBE 951.80/300.33 MAYBE 746.48/295.34 MAYBE 1.85/1.74
Wenzel_16/abbcaaaaa-aaaaaabbcabbc.srs.xml 11772086 u MAYBE 952.37/300.33 MAYBE 744.62/300.64 MAYBE 136.22/99.01
Wenzel_16/ababaababa-abaabababaabab.srs.xml 11772087 u MAYBE 950.90/300.41 timeout (wallclock) MAYBE 3.59/3.43
Wenzel_16/aabaaaaa-aaaaaaabaaab.srs.xml 11772088 u MAYBE 952.42/300.30 timeout (wallclock) MAYBE 1.36/1.27
Wenzel_16/aabaaaabaa-aaaabaabaaaab.srs.xml 11772089 u MAYBE 951.63/300.33 timeout (wallclock) MAYBE 4.23/4.01
Wenzel_16/aaabaaaa-aaaaaaabaaab.srs.xml 11772090 u MAYBE 951.63/300.35 timeout (wallclock) MAYBE 1.34/1.30
Wenzel_16/bcbaaaaaa-aaaaaabcbbcba.srs.xml 11772091 u MAYBE 951.95/300.30 timeout (wallclock) timeout (wallclock)
Wenzel_16/aabaabaaaa-aaaaaabaabaab.srs.xml 11772092 u MAYBE 951.96/300.30 timeout (wallclock) MAYBE 4.19/3.87
Wenzel_16/abaababa-aababababaabab.srs.xml 11772093 u MAYBE 952.18/300.41 timeout (wallclock) MAYBE 2.38/2.31
Wenzel_16/aabaaabaab-abaaabaabaaab.srs.xml 11772094 u MAYBE 950.86/300.42 timeout (wallclock) MAYBE 2.67/2.52
Wenzel_16/babaaaaaaa-aaaaaaaababbab.srs.xml 11772095 u MAYBE 951.91/300.35 timeout (wallclock) MAYBE 15.25/11.06
Wenzel_16/aabaababaab-aababaababaaba.srs.xml 11772096 is YES 170.10/42.91 MAYBE 708.36/299.30 MAYBE 1.44/1.40
Wenzel_16/abbbaaaaa-aaaaaabbbaabbb.srs.xml 11772097 u MAYBE 952.39/300.35 timeout (wallclock) MAYBE 23.18/16.20
Wenzel_16/ababaaaaa-aaaaaababaabab.srs.xml 11772098 u MAYBE 951.88/300.33 timeout (wallclock) MAYBE 2.14/1.95
Wenzel_16/abbaaaaa-aaaaaabbabbabb.srs.xml 11772099 u MAYBE 952.00/300.30 MAYBE 697.25/293.38 MAYBE 6.89/5.23
Wenzel_16/ababaabababa-abaababababaab.srs.xml 11772100 u MAYBE 951.78/300.34 timeout (wallclock) MAYBE 2.78/2.61
Wenzel_16/abbaababab-ababababbaabba.srs.xml 11772101 u MAYBE 950.54/300.35 timeout (wallclock) MAYBE 2.99/2.60
Wenzel_16/ababaaba-abaababababaab.srs.xml 11772102 u MAYBE 952.25/300.34 timeout (wallclock) MAYBE 2.14/2.05
Wenzel_16/abaaaaabaa-aaaaababaaaaab.srs.xml 11772103 u MAYBE 952.18/300.33 timeout (wallclock) MAYBE 2.75/2.47
Wenzel_16/cabababa-ababababccccca.srs.xml 11772104 u MAYBE 952.73/300.33 timeout (wallclock) MAYBE 41.96/31.52
Wenzel_16/baabbaaaab-aabbaaaabbaab.srs.xml 11772105 u MAYBE 952.19/300.30 timeout (wallclock) MAYBE 10.66/7.66
Wenzel_16/abaaaaa-aaaaaabaabaaab.srs.xml 11772106 u MAYBE 951.90/300.35 timeout (wallclock) MAYBE 1.34/1.29
Wenzel_16/abacaaaaa-aaaaaabacabac.srs.xml 11772107 u MAYBE 951.53/300.34 timeout (wallclock) MAYBE 7.02/6.46
Wenzel_16/abaaaa-aaaaabaabaab.srs.xml 11772108 is YES 44.34/11.40 timeout (wallclock) MAYBE 1.05/1.10
Wenzel_16/abaababa-aababababaab.srs.xml 11772109 u MAYBE 951.71/300.34 timeout (wallclock) MAYBE 1.19/1.18
Wenzel_16/ababaaaa-aaaaababaabab.srs.xml 11772110 u MAYBE 952.57/300.32 timeout (wallclock) MAYBE 2.60/2.52
Wenzel_16/bacaaaaaa-aaaaaabacbaca.srs.xml 11772111 u MAYBE 952.02/300.35 MAYBE 672.35/291.89 MAYBE 12.23/9.54
Wenzel_16/abababaab-aabaabababab.srs.xml 11772112 is MAYBE 952.25/300.36 YES 137.86/38.82 MAYBE 2.14/2.07
Wenzel_16/abaaababaab-abaababaaababa.srs.xml 11772113 u MAYBE 952.24/300.31 timeout (wallclock) MAYBE 5.09/4.63
Wenzel_16/abababaab-aababaabababab.srs.xml 11772114 is YES 168.24/42.55 MAYBE 653.28/297.16 MAYBE 2.62/2.54
Wenzel_16/aabaaaa-aaaaaabaaab.srs.xml 11772115 u MAYBE 951.67/300.35 MAYBE 608.92/296.45 MAYBE 1.18/1.17
Wenzel_16/babbabbaba-abababbabbabba.srs.xml 11772116 u MAYBE 952.40/300.32 timeout (wallclock) MAYBE 4.05/3.73
Wenzel_16/abcbaaaa-aaaaabcbaaabcb.srs.xml 11772117 is YES 179.69/45.24 MAYBE 752.59/298.27 MAYBE 10.39/9.05
Wenzel_16/abaaaaaaaa-aaaaaaaaabaaab.srs.xml 11772118 is YES 45.32/11.67 timeout (wallclock) MAYBE 1.65/1.58
Wenzel_16/abcbaabcba-aabcbabcbaabcb.srs.xml 11772119 u MAYBE 952.38/300.31 timeout (wallclock) MAYBE 26.85/24.95
Wenzel_16/abbaaaaaa-aaaaaaabbaaabb.srs.xml 11772120 u MAYBE 952.18/300.36 timeout (wallclock) MAYBE 4.23/3.44
Wenzel_16/ababbbabbab-abbabbbababbba.srs.xml 11772121 u MAYBE 952.06/300.34 timeout (wallclock) MAYBE 2.50/2.40
Wenzel_16/abaaaaaaa-aaaaaaaabaaaab.srs.xml 11772122 u MAYBE 952.05/300.33 timeout (wallclock) MAYBE 1.50/1.46
Wenzel_16/aabbababa-abababaabbaab.srs.xml 11772123 is YES 62.69/15.99 timeout (wallclock) MAYBE 1.61/1.56
Wenzel_16/babbabbababa-abababbabbabba.srs.xml 11772124 is YES 107.43/27.22 timeout (wallclock) MAYBE 5.44/4.79
Wenzel_16/abbbaaaa-aaaaabbbaaabbb.srs.xml 11772125 u MAYBE 952.07/300.35 MAYBE 699.65/291.99 MAYBE 5.23/4.12
Wenzel_16/bababaa-aaaaababababa.srs.xml 11772126 u MAYBE 952.09/300.33 timeout (wallclock) MAYBE 1.16/1.12
Wenzel_16/abaaaa-aaaaabababaab.srs.xml 11772127 is YES 46.96/12.07 timeout (wallclock) MAYBE 1.00/0.98
Wenzel_16/baabbaab-aabbaabaabb.srs.xml 11772128 u MAYBE 952.07/300.35 timeout (wallclock) MAYBE 2.41/2.18
Wenzel_16/aaabaaaaa-aaaaaaaabaaaab.srs.xml 11772129 u MAYBE 951.52/300.34 timeout (wallclock) MAYBE 2.35/2.20
Wenzel_16/aabbaaaaa-aaaaaaabbaaabb.srs.xml 11772130 u MAYBE 952.28/300.35 timeout (wallclock) MAYBE 6.63/5.43
Wenzel_16/bbcaaaaaa-aaaaaabbcbbca.srs.xml 11772131 u MAYBE 952.12/300.35 timeout (wallclock) timeout (wallclock)
Wenzel_16/bababababaa-aababababababa.srs.xml 11772132 u MAYBE 951.76/300.34 MAYBE 683.92/298.82 MAYBE 1.77/1.65
Wenzel_16/bbcaaaaaaa-aaaaaaaabbcbbc.srs.xml 11772133 u MAYBE 952.17/300.35 timeout (wallclock) timeout (wallclock)
Wenzel_16/acbabacba-abacbacbabac.srs.xml 11772134 u MAYBE 952.43/300.33 timeout (wallclock) MAYBE 15.27/14.12
Wenzel_16/babaaaaaa-aaaaaaababbab.srs.xml 11772135 u MAYBE 952.01/300.34 timeout (wallclock) MAYBE 6.30/4.63
Wenzel_16/abaaaa-aaaaabaaabaab.srs.xml 11772136 is YES 53.02/13.54 MAYBE 796.63/291.82 MAYBE 0.76/0.71
Wenzel_16/aabaaaa-aaaaaabaab.srs.xml 11772137 u MAYBE 952.24/300.30 timeout (wallclock) MAYBE 1.01/0.98
Wenzel_16/bababaa-aaaababababa.srs.xml 11772138 u MAYBE 952.08/300.33 timeout (wallclock) MAYBE 1.19/1.17
Wenzel_16/abaabababa-aababababaabab.srs.xml 11772139 u MAYBE 952.14/300.37 MAYBE 644.56/294.14 MAYBE 3.06/2.96
Wenzel_16/aaabaaaaa-aaaaaaaabaaab.srs.xml 11772140 u MAYBE 952.33/300.36 timeout (wallclock) MAYBE 1.85/1.75
Wenzel_16/abaaaaaa-aaaaaaabaaab.srs.xml 11772141 u MAYBE 952.31/300.32 timeout (wallclock) MAYBE 0.74/0.75
Wenzel_16/abaabababa-aababababaab.srs.xml 11772142 u MAYBE 952.10/300.32 timeout (wallclock) MAYBE 2.01/1.96
Wenzel_16/abbaaaa-aaaaabbaabbabb.srs.xml 11772143 is YES 175.94/44.32 timeout (wallclock) MAYBE 2.55/2.36
Wenzel_16/abaaaaa-aaaaaababab.srs.xml 11772144 u MAYBE 952.15/300.35 timeout (wallclock) MAYBE 1.05/1.05
Wenzel_16/aabaaaaaaa-aaaaaaaaabaaab.srs.xml 11772145 u MAYBE 952.37/300.34 MAYBE 670.75/296.36 MAYBE 2.81/2.45
Wenzel_16/abaaaaaaa-aaaaaaaabaabab.srs.xml 11772146 u MAYBE 952.03/300.35 timeout (wallclock) MAYBE 1.67/1.59
Wenzel_16/abaaaa-aaaaababaabaab.srs.xml 11772147 is YES 54.92/14.06 timeout (wallclock) MAYBE 0.98/0.95
Wenzel_16/ababbabab-abbababababba.srs.xml 11772148 u MAYBE 952.27/300.34 timeout (wallclock) MAYBE 1.72/1.66
Wenzel_16/abaaaaa-aaaaaabaaabab.srs.xml 11772149 u MAYBE 952.31/300.35 timeout (wallclock) MAYBE 0.95/0.92
Wenzel_16/babbaabba-abbaabbabba.srs.xml 11772150 u MAYBE 952.43/300.34 timeout (wallclock) MAYBE 1.83/1.59
Wenzel_16/bbcaaaaaa-aaaaaaabbcbbc.srs.xml 11772151 u MAYBE 952.49/300.33 MAYBE 909.55/297.77 timeout (wallclock)
Wenzel_16/baabbaabaab-aabbaabaabbaab.srs.xml 11772152 is YES 192.89/48.74 MAYBE 794.36/295.16 MAYBE 9.72/7.22
Wenzel_16/abbcaabbca-aabbcabbcaabbc.srs.xml 11772153 u MAYBE 952.45/300.35 timeout (wallclock) MAYBE 34.68/27.55
Wenzel_16/bccaaaaaa-aaaaaabccbcca.srs.xml 11772154 u MAYBE 952.04/300.34 timeout (wallclock) timeout (wallclock)
Wenzel_16/bbcaaaaaaa-aaaaaaabbcbbca.srs.xml 11772155 u MAYBE 952.25/300.32 MAYBE 805.74/299.30 timeout (wallclock)
Wenzel_16/babababaa-aaaabababababa.srs.xml 11772156 u MAYBE 952.14/300.30 timeout (wallclock) MAYBE 2.03/1.93
Wenzel_16/abccaaaa-aaaaabccaabcc.srs.xml 11772157 u MAYBE 952.32/300.34 timeout (wallclock) MAYBE 17.99/15.17
Wenzel_16/abaaaaaaa-aaaaaaaababab.srs.xml 11772158 u MAYBE 952.06/300.36 MAYBE 679.81/291.91 MAYBE 1.65/1.53
Wenzel_16/abacaaaa-aaaaabacaaabac.srs.xml 11772159 u MAYBE 952.36/300.31 timeout (wallclock) MAYBE 4.79/4.66
Wenzel_16/bcbaaaaaaa-aaaaaaaabcbbcb.srs.xml 11772160 u MAYBE 952.50/300.35 MAYBE 821.49/299.98 timeout (wallclock)
Wenzel_16/abaaaaaaa-aaaaaaaabaab.srs.xml 11772161 u MAYBE 952.03/300.36 timeout (wallclock) MAYBE 1.04/1.00
Wenzel_16/abaaaaaaaa-aaaaaaaaaabaab.srs.xml 11772162 u MAYBE 952.00/300.35 timeout (wallclock) MAYBE 1.61/1.49
Wenzel_16/aaabbaaaa-aaaaaaabbaaabb.srs.xml 11772163 u MAYBE 952.15/300.34 MAYBE 746.06/297.26 MAYBE 4.74/4.26
Wenzel_16/baababaab-ababaabaabab.srs.xml 11772164 u MAYBE 952.05/300.34 timeout (wallclock) MAYBE 2.09/2.00
Wenzel_16/abbaaaaaaa-aaaaaaaabbabb.srs.xml 11772165 u MAYBE 952.08/300.31 MAYBE 754.37/291.89 MAYBE 22.11/15.23
Wenzel_16/abaaaaaa-aaaaaaaababab.srs.xml 11772166 u MAYBE 951.72/300.30 timeout (wallclock) MAYBE 1.40/1.34
Wenzel_16/abaaaaaaa-aaaaaaaabaaab.srs.xml 11772167 u MAYBE 952.07/300.35 timeout (wallclock) MAYBE 1.11/1.10
Wenzel_16/babaaaaaa-aaaaaababbaba.srs.xml 11772168 u MAYBE 951.92/300.35 timeout (wallclock) MAYBE 5.50/4.23
Wenzel_16/aabaababaab-aababaabaababa.srs.xml 11772169 u MAYBE 952.17/300.35 MAYBE 663.82/295.96 MAYBE 1.74/1.68
Wenzel_16/abaaaa-aaaaabaabaabab.srs.xml 11772170 u MAYBE 952.24/300.32 timeout (wallclock) MAYBE 1.15/1.13
Wenzel_16/abababaaaaa-aaaaaabababab.srs.xml 11772171 u MAYBE 952.18/300.34 MAYBE 611.41/291.94 MAYBE 3.91/3.25
Wenzel_16/aabbaaaa-aaaaaabbaaabb.srs.xml 11772172 is YES 109.81/27.74 timeout (wallclock) MAYBE 3.33/2.91
Wenzel_16/abababbabab-ababbabababba.srs.xml 11772173 u MAYBE 952.04/300.34 timeout (wallclock) MAYBE 1.97/1.94
Wenzel_16/aabbaaaaa-aaaaaaabbaabb.srs.xml 11772174 u MAYBE 951.08/300.33 timeout (wallclock) MAYBE 7.82/5.97
Wenzel_16/abbaaaaa-aaaaaabbaaaabb.srs.xml 11772175 u MAYBE 952.20/300.32 MAYBE 653.58/298.96 MAYBE 2.08/1.83
Wenzel_16/abababaababa-ababaabababaab.srs.xml 11772176 u MAYBE 951.99/300.35 timeout (wallclock) MAYBE 3.57/3.37
Wenzel_16/abaaaaa-aaaaaabaaabaab.srs.xml 11772177 u MAYBE 951.25/300.34 timeout (wallclock) MAYBE 1.48/1.46
Wenzel_16/aabccaaaa-aaaaaabccaabcc.srs.xml 11772178 u MAYBE 951.81/300.34 timeout (wallclock) MAYBE 45.69/36.23
Wenzel_16/abcbaaaa-aaaaabcbaabcb.srs.xml 11772179 u MAYBE 952.05/300.35 timeout (wallclock) MAYBE 12.94/11.06
Wenzel_16/abbaaaabaa-abaaaabbaaaab.srs.xml 11772180 u MAYBE 952.07/300.32 timeout (wallclock) MAYBE 3.36/2.95
Wenzel_16/bcbaaaaaa-aaaaaaabcbbcb.srs.xml 11772181 u MAYBE 952.36/300.34 timeout (wallclock) timeout (wallclock)
Wenzel_16/abaababaab-aababaabaabab.srs.xml 11772182 u MAYBE 952.24/300.35 MAYBE 947.27/292.05 MAYBE 2.80/2.69
Wenzel_16/abacaaaaa-aaaaaabacaabac.srs.xml 11772183 u MAYBE 952.08/300.34 timeout (wallclock) MAYBE 7.48/7.08
Wenzel_16/abbcaaaaa-aaaaaabbcaabbc.srs.xml 11772184 u MAYBE 952.17/300.29 timeout (wallclock) MAYBE 53.15/38.20
Wenzel_16/ababaabababa-aabababaababab.srs.xml 11772185 u MAYBE 952.23/300.30 timeout (wallclock) MAYBE 2.27/2.02
Wenzel_16/abaaaaaa-aaaaaaabaaaab.srs.xml 11772186 u MAYBE 952.09/300.33 timeout (wallclock) MAYBE 1.23/1.18
Wenzel_16/abccaaaaa-aaaaaabccabcc.srs.xml 11772187 u MAYBE 952.41/300.34 timeout (wallclock) MAYBE 115.67/82.82
Wenzel_16/abaaaaabaa-aaabaaabaaaaab.srs.xml 11772188 u MAYBE 951.70/300.33 MAYBE 578.96/291.93 MAYBE 2.29/2.14
Wenzel_16/abaaaa-aaaaabaaabaaab.srs.xml 11772189 u MAYBE 952.25/300.33 timeout (wallclock) MAYBE 1.08/1.02
Wenzel_16/abaaaaa-aaaaaababaaab.srs.xml 11772190 u MAYBE 951.97/300.30 timeout (wallclock) MAYBE 0.95/0.94
Wenzel_16/abaaaa-aaaaabaaabab.srs.xml 11772191 is YES 39.05/10.08 timeout (wallclock) MAYBE 0.87/0.90
Wenzel_16/abaaaaaaaaa-aaaaaaaaaaabab.srs.xml 11772192 u MAYBE 951.94/300.33 timeout (wallclock) MAYBE 1.92/1.70
Wenzel_16/baaabbaaab-aaabbaaabaaabb.srs.xml 11772193 u MAYBE 952.12/300.34 timeout (wallclock) MAYBE 8.91/6.78
Wenzel_16/aabababab-ababababaaaaab.srs.xml 11772194 u MAYBE 951.92/300.32 timeout (wallclock) MAYBE 2.21/2.17
Wenzel_16/abbbaaaaa-aaaaaabbbabbb.srs.xml 11772195 u MAYBE 951.62/300.34 MAYBE 761.55/291.99 MAYBE 54.06/37.19
Wenzel_16/abaaaaa-aaaaaabababab.srs.xml 11772196 u MAYBE 952.27/300.34 timeout (wallclock) MAYBE 1.30/1.26
Wenzel_16/ababaabaaba-aabaabaababab.srs.xml 11772197 u MAYBE 952.01/300.36 timeout (wallclock) MAYBE 2.18/2.02
Wenzel_16/abccaaaa-aaaaabccaaabcc.srs.xml 11772198 u MAYBE 952.44/300.33 timeout (wallclock) MAYBE 14.79/12.63
Wenzel_16/aabaaaa-aaaaaabaabaab.srs.xml 11772199 is YES 186.22/47.00 timeout (wallclock) MAYBE 1.59/1.50
Wenzel_16/abbcacabca-abcacabbcacab.srs.xml 11772200 u MAYBE 952.26/300.33 timeout (wallclock) MAYBE 22.89/20.72
Wenzel_16/bababaaab-aabaaabababab.srs.xml 11772201 is MAYBE 952.12/300.31 YES 118.25/31.23 MAYBE 1.94/1.82
Wenzel_16/ababbabab-abbabababba.srs.xml 11772202 u MAYBE 952.09/300.30 timeout (wallclock) MAYBE 1.26/1.26
Wenzel_16/abaababa-aabababababaab.srs.xml 11772203 u MAYBE 951.83/300.37 timeout (wallclock) MAYBE 1.43/1.38
Wenzel_16/baabbaaba-aabbaabaabba.srs.xml 11772204 is YES 96.51/24.43 timeout (wallclock) MAYBE 3.55/3.06
Wenzel_16/ababaababa-abaababababaab.srs.xml 11772205 u MAYBE 951.88/300.30 timeout (wallclock) MAYBE 2.60/2.50
Wenzel_16/bccaaaaaaa-aaaaaaaabccbcc.srs.xml 11772206 u MAYBE 951.94/300.33 timeout (wallclock) timeout (wallclock)
Wenzel_16/aabbaabababa-aabababaabbaab.srs.xml 11772207 u MAYBE 952.27/300.30 timeout (wallclock) MAYBE 3.45/3.30
Wenzel_16/aabaaabaaba-aaabaabaabaaab.srs.xml 11772208 u MAYBE 952.26/300.30 timeout (wallclock) MAYBE 4.16/3.82
Wenzel_16/ababaaaaaaa-aaaaaaaababab.srs.xml 11772209 u MAYBE 952.28/300.30 timeout (wallclock) MAYBE 5.30/4.03
Wenzel_16/aabaabbaab-aabbaabaabbaa.srs.xml 11772210 is YES 81.73/20.72 timeout (wallclock) MAYBE 1.61/1.50
Wenzel_16/abbaaaaaaa-aaaaaaaaabbabb.srs.xml 11772211 u MAYBE 952.22/300.32 timeout (wallclock) MAYBE 25.12/17.13
Wenzel_16/abcbaaaaa-aaaaaabcbaabcb.srs.xml 11772212 u MAYBE 952.40/300.30 timeout (wallclock) MAYBE 38.37/29.36
Wenzel_16/abbaaaaa-aaaaaabbaaabb.srs.xml 11772213 u MAYBE 951.90/300.31 timeout (wallclock) MAYBE 2.75/2.43
Wenzel_16/aabbaabbaaba-aabaabbaabbaab.srs.xml 11772214 u MAYBE 952.20/300.33 timeout (wallclock) MAYBE 6.92/5.85
Wenzel_16/aabaaaaaaaa-aaaaaaaaaabaab.srs.xml 11772215 is YES 100.20/25.36 timeout (wallclock) MAYBE 4.82/4.12
Wenzel_16/bababaaba-ababaababababa.srs.xml 11772216 is YES 211.88/53.40 timeout (wallclock) MAYBE 1.98/1.90
Wenzel_16/bababbababa-abababbababba.srs.xml 11772217 i YES 90.67/22.94 YES 133.40/34.39 MAYBE 3.43/3.27
Wenzel_16/aabbbaaaa-aaaaaabbbaabbb.srs.xml 11772218 u MAYBE 951.97/300.33 timeout (wallclock) MAYBE 17.04/12.61
Wenzel_16/baabababba-abababbaababab.srs.xml 11772219 is YES 124.92/31.58 timeout (wallclock) MAYBE 2.43/2.10
Wenzel_16/aabaaaa-aaaaaabaabaaab.srs.xml 11772220 is YES 43.44/11.22 timeout (wallclock) MAYBE 1.68/1.58
Wenzel_16/aabaaaaaaa-aaaaaaaaabaab.srs.xml 11772221 u MAYBE 951.69/300.38 MAYBE 589.81/295.04 MAYBE 3.26/2.90
Wenzel_16/abacababab-ababababacabac.srs.xml 11772222 u MAYBE 951.64/300.37 timeout (wallclock) MAYBE 16.00/15.39
Wenzel_16/ababaaaaa-aaaaaabababab.srs.xml 11772223 u MAYBE 951.92/300.35 timeout (wallclock) MAYBE 2.47/2.18
Wenzel_16/abaaaaaaa-aaaaaaaaababab.srs.xml 11772224 u MAYBE 951.99/300.33 timeout (wallclock) MAYBE 1.81/1.66
Wenzel_16/abaaaaaaaa-aaaaaaaaaabab.srs.xml 11772225 u MAYBE 952.08/300.34 timeout (wallclock) MAYBE 1.80/1.69
Wenzel_16/abaababababa-aabababababaab.srs.xml 11772226 u MAYBE 951.86/300.37 timeout (wallclock) MAYBE 2.30/2.06
Wenzel_16/abaababaab-ababaabaababa.srs.xml 11772227 u MAYBE 952.09/300.33 timeout (wallclock) MAYBE 3.35/3.63
Wenzel_16/abaaaaa-aaaaaabaaaabab.srs.xml 11772228 u MAYBE 952.07/300.36 MAYBE 589.55/292.29 MAYBE 1.06/1.00
Wenzel_16/ababaabaaba-abaabaabaabab.srs.xml 11772229 u MAYBE 951.88/300.32 timeout (wallclock) MAYBE 2.58/2.43
Wenzel_16/abaabaaaa-aaaaabaababaab.srs.xml 11772230 is YES 72.73/18.53 timeout (wallclock) MAYBE 2.87/2.76
Wenzel_16/abaaabaa-aaabaaababaaab.srs.xml 11772231 u MAYBE 951.27/300.38 timeout (wallclock) MAYBE 1.91/1.83
Wenzel_16/abababaababa-ababaababaabab.srs.xml 11772232 u MAYBE 951.55/300.36 timeout (wallclock) MAYBE 3.42/3.22
Wenzel_16/abaababaaab-aababaaababaab.srs.xml 11772233 u MAYBE 952.42/300.34 timeout (wallclock) MAYBE 3.84/3.48
Wenzel_16/bccaaaaaa-aaaaaaabccbcc.srs.xml 11772234 u MAYBE 952.22/300.36 MAYBE 1040.09/299.02 timeout (wallclock)
Wenzel_16/abaaaa-aaaaabaababaab.srs.xml 11772235 is YES 135.01/34.06 MAYBE 602.00/296.72 MAYBE 1.29/1.22
Wenzel_16/bacaaaaaaa-aaaaaaabacbaca.srs.xml 11772236 u MAYBE 952.33/300.30 MAYBE 809.57/298.38 MAYBE 24.93/18.78
Wenzel_16/aabaaaaaa-aaaaaaaabaaab.srs.xml 11772237 u MAYBE 952.09/300.31 MAYBE 616.08/294.79 MAYBE 2.05/1.88
Wenzel_16/abababaababa-abaababaababab.srs.xml 11772238 u MAYBE 952.16/300.35 timeout (wallclock) MAYBE 2.75/2.54
Wenzel_16/ababaaaa-aaaaababaaabab.srs.xml 11772239 u MAYBE 951.95/300.34 timeout (wallclock) MAYBE 2.02/1.94
Wenzel_16/aabacaaa-aaaaabacaabac.srs.xml 11772240 i YES 78.75/19.96 YES 622.63/185.36 MAYBE 5.79/5.62
Wenzel_16/abaaaaa-aaaaaababaaaab.srs.xml 11772241 u MAYBE 952.17/300.32 timeout (wallclock) MAYBE 1.14/1.10
Wenzel_16/bababaa-aaaaaababababa.srs.xml 11772242 u MAYBE 951.34/300.42 timeout (wallclock) MAYBE 1.68/1.58
Wenzel_16/abbaaaa-aaaaabbaabb.srs.xml 11772243 is YES 107.53/27.23 timeout (wallclock) MAYBE 1.59/1.44
Wenzel_16/bcbaaaaaaa-aaaaaaabcbbcba.srs.xml 11772244 u MAYBE 952.09/300.35 timeout (wallclock) timeout (wallclock)
Wenzel_16/abbabbbbabb-abbbbabbabbbba.srs.xml 11772245 u MAYBE 952.23/300.31 timeout (wallclock) MAYBE 2.00/1.91
Wenzel_16/abbaabbaaba-abaabbaabbaab.srs.xml 11772246 u MAYBE 952.01/300.34 timeout (wallclock) MAYBE 4.78/3.77
Wenzel_16/abaabaaaaa-aaaaaabaabaab.srs.xml 11772247 u MAYBE 952.23/300.32 timeout (wallclock) MAYBE 3.06/2.93
Wenzel_16/abaaaaa-aaaaaababaabab.srs.xml 11772248 u MAYBE 951.65/300.29 timeout (wallclock) MAYBE 1.49/1.43
Wenzel_16/aabcbaaaa-aaaaaabcbaabcb.srs.xml 11772249 u MAYBE 952.42/300.30 timeout (wallclock) MAYBE 30.00/24.40
Wenzel_16/bababaaaba-aabaaababababa.srs.xml 11772250 u MAYBE 952.11/300.34 timeout (wallclock) MAYBE 2.32/2.12
Wenzel_16/abacaaaa-aaaaabacaabac.srs.xml 11772251 is YES 51.72/13.27 timeout (wallclock) MAYBE 6.41/6.24
Wenzel_16/aabaabaaaaa-aaaaaaabaabaab.srs.xml 11772252 u MAYBE 952.32/300.35 timeout (wallclock) MAYBE 5.44/4.78
Wenzel_16/aabaaaa-aaaaaabaaabaab.srs.xml 11772253 is YES 55.19/14.15 timeout (wallclock) MAYBE 2.11/1.96
Wenzel_16/abbcaaaa-aaaaabbcaaabbc.srs.xml 11772254 u MAYBE 952.00/300.35 timeout (wallclock) MAYBE 12.11/9.90
Wenzel_16/aabbaaba-aabaabbaab.srs.xml 11772255 u MAYBE 952.00/300.34 timeout (wallclock) MAYBE 1.50/1.49
Wenzel_16/abaaba-aababababaab.srs.xml 11772256 u MAYBE 952.17/300.37 MAYBE 883.16/292.72 MAYBE 0.79/0.80
Wenzel_16/aabbaaaabaa-aabaaaabbaaaab.srs.xml 11772257 u MAYBE 952.31/300.37 timeout (wallclock) MAYBE 7.64/6.59
Wenzel_16/babababaa-aaabababababa.srs.xml 11772258 u MAYBE 952.33/300.33 MAYBE 1004.54/291.91 MAYBE 1.33/1.30
Wenzel_16/abaaaaaaa-aaaaaaaababaab.srs.xml 11772259 u MAYBE 952.10/300.34 timeout (wallclock) MAYBE 1.86/1.78
Wenzel_16/abaaaabaa-aaabaabaaaab.srs.xml 11772260 u MAYBE 952.39/300.36 timeout (wallclock) MAYBE 2.44/2.39
Wenzel_16/aabbcaaaa-aaaaaabbcaabbc.srs.xml 11772261 u MAYBE 951.78/300.34 timeout (wallclock) MAYBE 44.99/35.07
Wenzel_16/aabbaaaa-aaaaaabbaabb.srs.xml 11772262 u MAYBE 950.89/300.33 MAYBE 865.92/293.11 MAYBE 4.18/3.62
Wenzel_16/abaaaaaa-aaaaaaabaaabab.srs.xml 11772263 u MAYBE 951.72/300.35 MAYBE 618.16/297.95 MAYBE 1.32/1.27
Wenzel_16/abbaaaa-aaaaabbabbaabb.srs.xml 11772264 u MAYBE 951.57/300.36 timeout (wallclock) MAYBE 3.14/2.77
Wenzel_16/aaabaaaaaa-aaaaaaaaabaaab.srs.xml 11772265 u MAYBE 952.10/300.32 timeout (wallclock) MAYBE 2.65/2.44
Wenzel_16/abaabababa-aabababababaab.srs.xml 11772266 u MAYBE 952.16/300.30 timeout (wallclock) MAYBE 2.09/1.98
Wenzel_16/baabbaaaabb-aabbaaaabbaabb.srs.xml 11772267 u MAYBE 952.44/300.34 timeout (wallclock) MAYBE 26.80/19.13
Wenzel_16/aabaaaaa-aaaaaaabaabaab.srs.xml 11772268 u MAYBE 952.15/300.30 timeout (wallclock) MAYBE 2.73/2.50
Wenzel_16/abcabbcab-abbcabcabbca.srs.xml 11772269 is YES 43.35/11.10 timeout (wallclock) MAYBE 9.14/8.70
Wenzel_16/bacaaaaaaa-aaaaaaaabacbac.srs.xml 11772270 u MAYBE 952.23/300.30 timeout (wallclock) MAYBE 28.80/20.85
Wenzel_16/ababaababa-aababababaabab.srs.xml 11772271 u MAYBE 951.99/300.36 timeout (wallclock) MAYBE 2.14/2.05
Wenzel_16/abbaaba-abaabbaab.srs.xml 11772272 u MAYBE 951.61/300.41 timeout (wallclock) MAYBE 0.87/0.83
Wenzel_16/abaaaaaa-aaaaaaabaaaaab.srs.xml 11772273 u MAYBE 952.14/300.31 timeout (wallclock) MAYBE 1.44/1.34
Wenzel_16/aabaaaaaa-aaaaaaaabaaaab.srs.xml 11772274 u MAYBE 952.50/300.30 MAYBE 659.45/292.22 MAYBE 2.25/2.03
Wenzel_16/baababaaab-ababaaababaab.srs.xml 11772275 u MAYBE 952.29/300.36 timeout (wallclock) MAYBE 1.96/1.74
Wenzel_16/ababaaaaa-aaaaaababab.srs.xml 11772276 u MAYBE 952.32/300.34 MAYBE 759.38/297.50 MAYBE 1.65/1.45
Wenzel_16/abaaba-aabababababaab.srs.xml 11772277 u MAYBE 952.16/300.35 timeout (wallclock) MAYBE 1.60/1.52
Wenzel_16/ababaababa-abaabababaab.srs.xml 11772278 u MAYBE 952.18/300.33 MAYBE 956.67/291.92 MAYBE 1.58/1.51
Wenzel_16/babbabbaba-ababbabbabba.srs.xml 11772279 is MAYBE 951.60/300.33 YES 254.81/65.11 MAYBE 3.30/3.12
Wenzel_16/cababababa-abababababccca.srs.xml 11772280 u MAYBE 951.68/300.43 timeout (wallclock) MAYBE 24.61/20.01
Wenzel_16/abaababa-aabababaab.srs.xml 11772281 u MAYBE 952.13/300.31 MAYBE 637.38/294.62 MAYBE 0.89/0.90
Wenzel_16/abbcaaaa-aaaaabbcaabbc.srs.xml 11772282 is YES 50.39/12.95 timeout (wallclock) MAYBE 14.43/11.12
Wenzel_16/abaabaaaa-aaaaabaabaab.srs.xml 11772283 is YES 79.16/20.08 timeout (wallclock) MAYBE 1.79/1.67
Wenzel_16/abaaaa-aaaaababaabab.srs.xml 11772284 u MAYBE 952.10/300.30 timeout (wallclock) MAYBE 0.99/0.93
Gebhardt_06/05.xml 11773534 is MAYBE 952.17/300.29 NO 22.39/6.49 MAYBE 0.37/0.35
Gebhardt_06/02.xml 11773535 is MAYBE 951.99/300.31 YES 1097.70/275.47 MAYBE 0.22/0.21
Gebhardt_06/13.xml 11773536 u MAYBE 952.37/300.30 MAYBE 1162.61/291.72 MAYBE 0.43/0.44
Gebhardt_06/14.xml 11773537 is MAYBE 951.35/300.34 YES 17.74/5.30 MAYBE 0.34/0.33
Gebhardt_06/03.xml 11773538 is MAYBE 952.38/300.34 NO 6.74/2.52 MAYBE 0.33/0.34
Gebhardt_06/04.xml 11773539 is MAYBE 952.00/300.35 YES 20.93/6.20 MAYBE 0.59/0.62
Gebhardt_06/15.xml 11773540 is MAYBE 952.00/300.32 NO 41.05/11.22 MAYBE 0.38/0.41
Gebhardt_06/12.xml 11773541 is MAYBE 952.06/300.33 NO 23.18/6.73 MAYBE 0.39/0.41
Gebhardt_06/20.xml 11773542 u MAYBE 952.12/300.38 timeout (cpu) MAYBE 1.08/1.09
Gebhardt_06/11.xml 11773543 is MAYBE 951.75/300.34 YES 15.98/4.86 MAYBE 0.39/0.37
Gebhardt_06/16.xml 11773544 is MAYBE 951.89/300.41 YES 15.75/4.73 MAYBE 0.37/0.41
Gebhardt_06/18.xml 11773545 is MAYBE 952.44/300.33 YES 257.56/65.39 MAYBE 0.44/0.43
Gebhardt_06/09.xml 11773546 is MAYBE 952.44/300.33 YES 227.40/57.91 MAYBE 0.30/0.30
Gebhardt_06/07.xml 11773547 is MAYBE 951.84/300.34 YES 17.67/5.30 MAYBE 0.37/0.42
Gebhardt_06/19.xml 11773548 u MAYBE 952.07/300.34 MAYBE 1162.99/291.89 MAYBE 0.85/0.86
Gebhardt_06/17.xml 11773549 is MAYBE 952.38/300.33 YES 35.47/9.92 MAYBE 0.42/0.44
Gebhardt_06/10.xml 11773550 u MAYBE 951.75/300.37 MAYBE 1162.77/291.85 MAYBE 0.39/0.40
Gebhardt_06/01.xml 11773551 u MAYBE 952.12/300.35 timeout (cpu) MAYBE 0.27/0.30
Gebhardt_06/06.xml 11773552 u MAYBE 951.80/300.36 timeout (wallclock) MAYBE 0.31/0.32
Gebhardt_06/08.xml 11773553 is MAYBE 951.94/300.32 NO 9.82/3.31 MAYBE 0.40/0.43
Secret_06_SRS/aprove04.xml 11773368 i YES 66.46/17.70 YES 20.91/6.28 MAYBE 0.59/0.55
Secret_06_SRS/aprove03.xml 11773369 i YES 26.44/6.98 YES 18.83/5.65 MAYBE 0.23/0.25
Secret_06_SRS/secr4.xml 11773370 YES 9.32/2.61 YES 34.30/9.61 YES 0.03/0.08
Secret_06_SRS/multum1.xml 11773371 i YES 16.27/4.35 YES 212.79/54.15 MAYBE 0.62/0.64
Secret_06_SRS/secr3.xml 11773372 is MAYBE 953.07/300.35 YES 15.45/4.83 MAYBE 0.62/0.79
Secret_06_SRS/multum6.xml 11773373 i YES 17.75/4.75 YES 17.24/9.53 MAYBE 0.90/0.88
Secret_06_SRS/9.xml 11773374 i YES 11.84/3.24 YES 13.67/4.32 MAYBE 0.18/0.20
Secret_06_SRS/7.xml 11773375 i YES 27.93/7.28 YES 12.71/4.10 MAYBE 0.18/0.23
Secret_06_SRS/secr2.xml 11773376 i YES 17.87/4.97 YES 11.17/3.74 MAYBE 0.18/0.21
Secret_06_SRS/secr5.xml 11773377 is MAYBE 953.30/300.33 YES 186.77/47.68 MAYBE 0.36/0.35
Secret_06_SRS/aprove02.xml 11773378 i YES 29.19/7.62 YES 32.46/9.10 MAYBE 0.55/0.49
Secret_06_SRS/10.xml 11773379 i YES 9.07/2.50 YES 14.21/4.32 MAYBE 0.14/0.15
Secret_06_SRS/aprove05.xml 11773380 i YES 25.05/6.59 YES 16.57/5.07 MAYBE 0.19/0.24
Secret_06_SRS/1.xml 11773381 u MAYBE 952.80/300.33 MAYBE 1162.56/291.85 MAYBE 0.30/0.32
Secret_06_SRS/6.xml 11773382 i YES 10.42/2.88 YES 14.46/4.54 MAYBE 1.28/1.29
Secret_06_SRS/8.xml 11773383 i YES 8.47/2.37 YES 47.91/12.90 MAYBE 1.30/1.24
Secret_06_SRS/5.xml 11773384 i YES 102.05/25.86 YES 42.91/11.53 MAYBE 0.37/0.35
Secret_06_SRS/2.xml 11773385 i YES 127.49/32.27 YES 25.60/7.29 MAYBE 0.50/0.49
Secret_06_SRS/secr6.xml 11773386 i YES 30.40/7.91 YES 18.20/5.44 MAYBE 0.81/0.66
Secret_06_SRS/multum3.xml 11773387 i YES 11.81/3.30 YES 17.97/5.38 MAYBE 0.37/0.37
Secret_06_SRS/secr1.xml 11773388 i YES 12.00/3.36 YES 9.75/3.21 MAYBE 0.14/0.15
Secret_06_SRS/multum4.xml 11773389 is YES 20.36/5.40 timeout (wallclock) MAYBE 23.65/18.33
Secret_06_SRS/aprove08.xml 11773390 i YES 80.76/20.69 YES 37.64/11.58 MAYBE 0.70/0.69
Secret_06_SRS/aprove06.xml 11773391 i YES 46.71/12.38 YES 35.69/9.94 MAYBE 0.48/0.50
Secret_06_SRS/secr8.xml 11773392 i YES 40.06/10.36 YES 21.44/6.39 MAYBE 0.22/0.22
Secret_06_SRS/aprove01.xml 11773393 i YES 31.36/8.18 YES 12.57/4.15 MAYBE 0.34/0.35
Secret_06_SRS/3.xml 11773394 is MAYBE 951.71/300.36 YES 386.42/97.72 MAYBE 0.31/0.27
Secret_06_SRS/secr10.xml 11773395 i YES 31.05/8.31 YES 16.71/5.07 MAYBE 0.80/1.13
Secret_06_SRS/5-matchbox.xml 11773396 i YES 60.64/15.66 YES 12.81/4.02 MAYBE 0.24/0.26
Secret_06_SRS/1-matchbox.xml 11773397 is MAYBE 951.84/300.35 NO 225.48/57.34 MAYBE 0.24/0.23
Secret_06_SRS/secr9.xml 11773398 i YES 40.82/10.57 YES 41.77/11.43 MAYBE 0.34/0.36
Secret_06_SRS/2-matchbox.xml 11773399 YES 21.74/6.45 YES 250.20/65.86 YES 1.91/1.38
Secret_06_SRS/aprove00.xml 11773400 YES 25.01/6.56 YES 13.98/4.56 YES 0.20/0.22
Secret_06_SRS/aprove07.xml 11773401 i YES 49.75/12.78 YES 35.20/9.88 timeout (wallclock)
Secret_06_SRS/multum5.xml 11773402 i YES 6.05/1.78 YES 18.16/5.52 MAYBE 0.53/0.58
Secret_06_SRS/aprove09.xml 11773403 i YES 24.62/6.49 YES 9.66/3.19 MAYBE 0.21/0.22
Secret_06_SRS/secr7.xml 11773404 i YES 26.49/7.22 YES 13.84/4.40 MAYBE 0.13/0.16
Secret_06_SRS/multum2.xml 11773405 i YES 5.98/1.77 YES 51.10/13.63 MAYBE 0.33/0.32
Secret_06_SRS/3-matchbox.xml 11773406 YES 13.84/3.77 YES 25.85/7.28 YES 0.85/0.82
Zantema_04/z067.xml 11773407 YES 9.85/2.75 YES 14.16/4.40 YES 0.43/0.40
Zantema_04/z060.xml 11773408 YES 20.99/5.55 YES 15.15/4.82 YES 0.36/0.36
Zantema_04/z012.xml 11773409 YES 1.12/0.56 YES 16.66/5.03 YES 0.02/0.07
Zantema_04/z015.xml 11773410 YES 5.12/1.55 YES 10.46/3.44 YES 0.08/0.13
Zantema_04/z069.xml 11773411 YES 1.54/0.65 YES 17.07/5.14 YES 0.16/0.19
Zantema_04/z020.xml 11773412 YES 9.72/2.73 YES 9.05/3.10 YES 0.03/0.08
Zantema_04/z104.xml 11773413 YES 3.95/1.26 YES 4.98/2.03 YES 0.04/0.05
Zantema_04/z103.xml 11773414 i YES 5.17/1.56 YES 10.04/3.33 MAYBE 0.28/0.27
Zantema_04/z027.xml 11773415 is YES 22.80/6.10 timeout (wallclock) MAYBE 0.38/0.40
Zantema_04/z084.xml 11773416 YES 0.75/0.46 YES 9.34/3.24 YES 0.03/0.08
Zantema_04/z055.xml 11773417 YES 5.93/1.79 YES 3.74/1.77 YES 0.32/0.35
Zantema_04/z029.xml 11773418 is YES 23.85/6.29 MAYBE 804.99/291.97 MAYBE 0.56/0.55
Zantema_04/z083.xml 11773419 i YES 15.16/4.08 YES 15.32/4.79 MAYBE 0.26/0.27
Zantema_04/z052.xml 11773420 i YES 3.93/1.27 YES 3.70/1.76 MAYBE 0.52/0.55
Zantema_04/z043.xml 11773421 i YES 21.54/5.68 YES 38.72/12.92 MAYBE 0.67/0.66
Zantema_04/z092.xml 11773422 YES 0.97/0.53 YES 19.72/5.84 YES 0.16/0.21
Zantema_04/z044.xml 11773423 i NO 0.75/0.46 NO 3.51/1.68 MAYBE 0.92/0.93
Zantema_04/z095.xml 11773424 i YES 27.54/7.19 YES 177.92/45.79 MAYBE 0.66/0.62
Zantema_04/z038.xml 11773425 u MAYBE 951.64/300.31 timeout (wallclock) MAYBE 0.60/0.55
Zantema_04/z112.xml 11773426 YES 3.86/1.25 YES 4.26/1.88 YES 0.03/0.08
Zantema_04/z036.xml 11773427 i YES 29.89/7.80 YES 24.96/7.37 MAYBE 0.90/0.87
Zantema_04/z031.xml 11773428 i YES 25.14/6.62 YES 199.30/50.86 MAYBE 6.62/5.06
Zantema_04/z115.xml 11773429 YES 0.82/0.49 YES 8.14/2.86 YES 0.03/0.09
Zantema_04/z004.xml 11773430 YES 7.74/2.24 YES 10.73/3.58 YES 0.18/0.21
Zantema_04/z078.xml 11773431 YES 21.53/5.69 YES 11.21/3.82 YES 0.06/0.11
Zantema_04/z120.xml 11773432 i YES 22.91/6.07 YES 11.13/3.54 MAYBE 0.34/0.35
Zantema_04/z127.xml 11773433 i NO 1.17/0.56 NO 3.57/2.15 MAYBE 0.22/0.22
Zantema_04/z003.xml 11773434 i YES 8.34/2.41 YES 9.66/3.36 MAYBE 0.31/0.33
Zantema_04/z071.xml 11773435 YES 5.87/1.77 YES 12.33/4.01 YES 0.02/0.10
Zantema_04/z076.xml 11773436 YES 19.20/5.09 YES 7.83/2.83 YES 0.05/0.11
Zantema_04/z082.xml 11773437 i YES 13.97/3.82 YES 20.21/6.07 MAYBE 0.61/0.65
Zantema_04/z053.xml 11773438 i YES 5.17/1.59 YES 5.30/2.25 MAYBE 0.60/0.63
Zantema_04/z085.xml 11773439 YES 0.65/0.45 YES 9.18/3.93 YES 0.02/0.08
Zantema_04/z054.xml 11773440 i YES 21.36/5.63 YES 16.24/4.90 MAYBE 0.51/0.57
Zantema_04/z028.xml 11773441 i YES 38.68/9.97 YES 24.65/7.27 MAYBE 0.99/1.01
Zantema_04/z102.xml 11773442 YES 1.31/0.60 YES 4.45/3.28 YES 0.03/0.06
Zantema_04/z026.xml 11773443 YES 0.68/0.43 YES 11.08/3.64 YES 0.02/0.09
Zantema_04/z021.xml 11773444 YES 2.98/1.05 YES 13.11/7.62 YES 0.13/0.20
Zantema_04/z105.xml 11773445 YES 3.72/1.23 YES 9.32/3.29 YES 0.03/0.08
Zantema_04/z014.xml 11773446 YES 4.24/1.35 YES 6.66/2.64 YES 0.02/0.05
Zantema_04/z068.xml 11773447 i YES 28.73/7.50 YES 15.98/5.70 MAYBE 0.34/0.40
Zantema_04/syracuse.xml 11773448 u MAYBE 953.39/300.36 MAYBE 1172.23/294.54 MAYBE 0.65/0.69
Zantema_04/z013.xml 11773449 YES 8.33/2.41 YES 12.14/6.40 YES 0.12/0.16
Zantema_04/z061.xml 11773450 YES 3.72/1.23 YES 3.62/1.79 YES 0.01/0.06
Zantema_04/z066.xml 11773451 YES 17.75/4.77 YES 18.49/5.58 YES 0.16/0.19
Zantema_04/z077.xml 11773452 YES 6.10/1.85 YES 9.14/3.19 YES 0.04/0.09
Zantema_04/z070.xml 11773453 YES 1.72/0.73 YES 17.95/5.36 YES 0.16/0.21
Zantema_04/z128.xml 11773454 i NO 1.19/0.58 NO 3.31/1.70 MAYBE 0.28/0.32
Zantema_04/z126.xml 11773455 YES 3.34/1.17 YES 4.98/2.76 YES 0.07/0.10
Zantema_04/z002.xml 11773456 YES 4.87/1.50 YES 4.12/1.82 YES 0.24/0.25
Zantema_04/z005.xml 11773457 YES 21.89/5.87 YES 10.47/7.21 YES 0.26/0.27
Zantema_04/z079.xml 11773458 u MAYBE 952.88/300.35 MAYBE 1162.15/291.91 MAYBE 0.25/0.27
Zantema_04/z121.xml 11773459 YES 11.37/3.11 YES 8.83/3.05 YES 0.14/0.15
Zantema_04/z030.xml 11773460 i YES 25.14/6.59 YES 713.64/204.51 MAYBE 0.61/1.08
Zantema_04/z114.xml 11773461 i YES 3.46/1.16 YES 12.00/3.98 MAYBE 0.22/0.22
Zantema_04/z113.xml 11773462 YES 6.53/1.91 YES 24.28/7.01 YES 0.04/0.09
Zantema_04/z037.xml 11773463 i YES 22.73/5.98 YES 58.06/15.91 MAYBE 0.55/0.50
Zantema_04/z045.xml 11773464 i YES 21.64/5.71 YES 11.14/3.62 MAYBE 1.36/1.24
Zantema_04/z094.xml 11773465 YES 4.05/1.29 YES 10.92/3.56 YES 0.21/0.24
Zantema_04/z039.xml 11773466 i YES 21.76/5.73 YES 14.50/4.51 MAYBE 4.75/4.15
Zantema_04/z042.xml 11773467 i NO 1.13/0.62 NO 3.64/1.73 MAYBE 1.19/1.14
Zantema_04/z093.xml 11773468 YES 0.77/0.44 YES 7.40/2.63 YES 0.02/0.02
Zantema_04/z073.xml 11773469 is MAYBE 952.17/300.38 NO 5.23/2.05 MAYBE 0.15/0.18
Zantema_04/z008.xml 11773470 YES 14.68/3.96 YES 27.40/9.80 YES 0.67/0.67
Zantema_04/z074.xml 11773471 i YES 14.05/3.82 YES 19.81/5.95 MAYBE 0.52/0.54
Zantema_04/z006.xml 11773472 YES 1.85/0.75 YES 8.19/2.88 YES 0.02/0.06
Zantema_04/z122.xml 11773473 YES 3.27/1.09 YES 7.36/2.69 YES 0.04/0.07
Zantema_04/z125.xml 11773474 YES 13.60/3.67 YES 11.78/3.81 YES 0.43/0.41
Zantema_04/z001.xml 11773475 i YES 23.02/6.01 YES 69.01/18.25 MAYBE 0.33/0.34
Zantema_04/z048.xml 11773476 i YES 21.48/5.65 YES 16.07/4.83 MAYBE 5.93/5.68
Zantema_04/z110.xml 11773477 i YES 4.60/1.39 YES 10.18/3.33 MAYBE 0.33/0.28
Zantema_04/z034.xml 11773478 u MAYBE 951.45/300.30 timeout (wallclock) MAYBE 0.40/0.84
Zantema_04/z033.xml 11773479 YES 9.93/2.78 YES 9.43/3.21 YES 0.45/0.43
Zantema_04/z117.xml 11773480 i YES 6.38/1.83 YES 28.84/7.98 MAYBE 0.58/0.56
Zantema_04/z041.xml 11773481 u MAYBE 952.08/300.31 timeout (wallclock) MAYBE 0.42/0.43
Zantema_04/z090.xml 11773482 is MAYBE 952.75/300.33 YES 54.48/14.76 MAYBE 0.26/0.26
Zantema_04/z119.xml 11773483 i YES 10.42/2.91 YES 12.81/4.01 MAYBE 0.48/0.46
Zantema_04/z046.xml 11773484 i NO 1.30/0.61 NO 3.69/1.69 MAYBE 1.59/1.56
Zantema_04/z097.xml 11773485 is YES 28.57/7.44 timeout (wallclock) MAYBE 2.49/1.78
Zantema_04/z086.xml 11773486 i YES 28.28/7.34 YES 17.56/5.25 MAYBE 0.48/0.49
Zantema_04/z057.xml 11773487 i YES 11.70/3.20 YES 5.52/2.19 MAYBE 0.67/0.69
Zantema_04/z108.xml 11773488 YES 1.12/0.55 YES 4.60/3.32 YES 0.03/0.06
Zantema_04/z081.xml 11773489 YES 1.56/0.69 YES 11.68/10.28 YES 0.04/0.09
Zantema_04/z050.xml 11773490 YES 4.39/1.38 YES 3.79/1.76 YES 0.54/0.58
Zantema_04/z022.xml 11773491 YES 5.03/1.57 YES 11.45/3.85 YES 0.05/0.07
Zantema_04/z106.xml 11773492 YES 3.09/1.03 YES 8.04/2.87 YES 0.03/0.08
Zantema_04/z101.xml 11773493 YES 0.73/0.45 YES 4.30/1.84 YES 0.02/0.09
Zantema_04/z088.xml 11773494 i YES 29.66/7.73 YES 10.29/3.60 MAYBE 0.29/0.30
Zantema_04/z059.xml 11773495 i YES 21.20/5.60 YES 36.77/10.15 MAYBE 0.56/0.61
Zantema_04/z025.xml 11773496 YES 0.87/0.53 YES 8.25/8.77 YES 0.03/0.11
Zantema_04/z010.xml 11773497 YES 3.17/1.09 YES 9.87/3.40 YES 0.02/0.09
Zantema_04/z017.xml 11773498 YES 4.74/1.51 YES 11.85/3.95 YES 0.03/0.09
Zantema_04/z019.xml 11773499 YES 3.00/1.06 YES 11.46/3.73 YES 0.13/0.19
Zantema_04/z065.xml 11773500 YES 1.36/0.66 YES 13.44/4.24 ERROR 0.01/0.05
Zantema_04/z062.xml 11773501 YES 4.54/1.43 YES 4.20/1.99 YES 0.57/0.49
Zantema_04/z047.xml 11773502 YES 21.82/5.77 YES 9.74/3.37 YES 0.29/0.32
Zantema_04/z096.xml 11773503 i NO 1.12/0.57 NO 3.23/1.65 MAYBE 0.86/0.76
Zantema_04/z040.xml 11773504 is YES 23.44/6.18 timeout (wallclock) MAYBE 0.91/0.92
Zantema_04/z091.xml 11773505 YES 27.44/7.23 YES 25.20/9.12 YES 0.19/0.22
Zantema_04/z118.xml 11773506 YES 4.98/1.54 YES 19.67/5.87 YES 0.03/0.09
Zantema_04/z032.xml 11773507 i YES 24.76/6.52 YES 95.09/24.81 MAYBE 0.68/0.71
Zantema_04/z116.xml 11773508 YES 0.83/0.50 YES 4.61/2.00 YES 0.03/0.09
Zantema_04/z049.xml 11773509 YES 5.17/1.58 YES 3.91/1.81 YES 0.02/0.06
Zantema_04/z098.xml 11773510 i YES 24.43/6.43 YES 121.62/31.51 MAYBE 3.04/2.15
Zantema_04/z111.xml 11773511 YES 1.33/0.62 YES 12.77/4.07 YES 0.03/0.07
Zantema_04/z035.xml 11773512 u MAYBE 952.27/300.34 timeout (wallclock) MAYBE 0.48/0.54
Zantema_04/z124.xml 11773513 YES 1.23/0.62 YES 29.87/8.64 YES 0.09/0.16
Zantema_04/z007.xml 11773514 YES 2.74/0.98 YES 6.98/2.74 YES 0.02/0.07
Zantema_04/z123.xml 11773515 YES 22.61/5.97 YES 12.34/9.81 YES 0.13/0.17
Zantema_04/z009.xml 11773516 YES 2.47/0.91 YES 8.51/3.17 YES 0.03/0.10
Zantema_04/z075.xml 11773517 i YES 7.47/2.19 YES 44.66/12.36 MAYBE 0.22/0.26
Zantema_04/z072.xml 11773518 YES 3.59/1.18 YES 15.56/4.87 YES 0.14/0.19
Zantema_04/z063.xml 11773519 YES 4.70/1.48 YES 3.74/1.75 YES 0.02/0.12
Zantema_04/z018.xml 11773520 YES 8.39/2.40 YES 8.41/3.04 YES 0.14/0.19
Zantema_04/z064.xml 11773521 i YES 21.23/5.61 YES 9.72/3.30 MAYBE 2.63/2.52
Zantema_04/z011.xml 11773522 YES 5.47/1.67 YES 11.49/3.78 YES 0.04/0.04
Zantema_04/z100.xml 11773523 YES 22.74/5.99 YES 34.95/10.11 YES 0.51/0.54
Zantema_04/z089.xml 11773524 i YES 6.16/1.85 YES 13.96/4.34 MAYBE 0.29/0.33
Zantema_04/z058.xml 11773525 YES 10.06/2.85 YES 5.64/2.27 YES 0.34/0.40
Zantema_04/z024.xml 11773526 YES 4.08/1.32 YES 8.81/3.13 YES 0.23/0.28
Zantema_04/z023.xml 11773527 YES 4.98/1.56 YES 18.92/5.76 YES 0.25/0.26
Zantema_04/z107.xml 11773528 YES 3.14/1.03 YES 4.92/1.95 YES 0.03/0.09
Zantema_04/z109.xml 11773529 YES 2.40/0.88 YES 4.33/1.89 YES 0.03/0.08
Zantema_04/z080.xml 11773530 i YES 31.27/8.14 YES 32.20/12.73 MAYBE 0.20/0.24
Zantema_04/z051.xml 11773531 i YES 15.35/4.30 YES 8.16/3.00 MAYBE 0.73/0.74
Zantema_04/z087.xml 11773532 i YES 2.97/1.04 YES 19.84/8.87 MAYBE 0.98/1.01
Zantema_04/z056.xml 11773533 i YES 21.36/5.65 YES 15.26/11.66 MAYBE 0.64/0.67
Trafo_06/un05.xml 11773310 is MAYBE 952.04/300.36 YES 33.21/9.38 MAYBE 0.40/0.44
Trafo_06/un02.xml 11773311 u MAYBE 952.62/300.36 timeout (wallclock) MAYBE 57.05/47.19
Trafo_06/dup05.xml 11773312 YES 43.02/11.21 YES 28.27/9.14 YES 18.72/14.59
Trafo_06/dup14.xml 11773313 i YES 22.15/5.87 YES 24.31/7.11 MAYBE 4.09/3.60
Trafo_06/dup13.xml 11773314 i YES 58.00/14.81 YES 223.21/56.94 MAYBE 6.93/5.15
Trafo_06/un13.xml 11773315 u MAYBE 952.28/300.34 timeout (wallclock) MAYBE 2.13/2.06
Trafo_06/un14.xml 11773316 i YES 70.94/18.03 YES 133.47/34.41 MAYBE 1.78/1.67
Trafo_06/hom01.xml 11773317 i YES 12.31/3.36 YES 27.11/7.78 MAYBE 2.24/1.99
Trafo_06/un04.xml 11773318 is MAYBE 952.00/300.35 NO 16.43/4.99 MAYBE 0.83/0.87
Trafo_06/un15.xml 11773319 u MAYBE 952.28/300.35 timeout (wallclock) MAYBE 2.12/1.92
Trafo_06/un12.xml 11773320 u MAYBE 952.24/300.38 timeout (wallclock) MAYBE 1.21/1.20
Trafo_06/dup12.xml 11773321 i YES 79.87/20.36 YES 132.39/34.27 MAYBE 4.50/4.16
Trafo_06/dup15.xml 11773322 YES 8.99/2.57 YES 31.32/12.01 YES 1.69/1.26
Trafo_06/un11.xml 11773323 u MAYBE 952.06/300.34 timeout (wallclock) MAYBE 1.55/1.55
Trafo_06/un16.xml 11773324 u MAYBE 951.92/300.36 timeout (wallclock) MAYBE 2.06/1.99
Trafo_06/dup16.xml 11773325 YES 12.19/3.32 YES 6.00/2.35 YES 0.04/0.08
Trafo_06/un18.xml 11773326 u MAYBE 952.23/300.35 timeout (wallclock) MAYBE 1.06/1.05
Trafo_06/dup11.xml 11773327 YES 108.56/27.64 YES 35.32/9.97 YES 0.53/0.56
Trafo_06/hom02.xml 11773328 YES 1.51/0.67 YES 10.27/3.45 YES 0.03/0.10
Trafo_06/dup07.xml 11773329 i YES 25.45/6.69 YES 17.23/5.22 MAYBE 1.57/1.40
Trafo_06/un09.xml 11773330 i YES 86.43/21.96 YES 64.68/17.20 MAYBE 1.13/1.13
Trafo_06/dup09.xml 11773331 YES 1.31/1.37 YES 22.13/6.61 ERROR 0.01/0.05
Trafo_06/un07.xml 11773332 i YES 33.39/8.67 YES 16.39/4.99 MAYBE 0.45/0.48
Trafo_06/dup10.xml 11773333 is YES 59.16/15.27 timeout (wallclock) MAYBE 259.76/180.88
Trafo_06/dup17.xml 11773334 YES 14.70/3.93 YES 20.84/6.12 YES 3.77/2.75
Trafo_06/un17.xml 11773335 is MAYBE 952.29/300.34 YES 250.74/63.70 MAYBE 0.74/0.76
Trafo_06/un10.xml 11773336 is YES 65.96/16.84 timeout (wallclock) MAYBE 3.38/3.18
Trafo_06/dup08.xml 11773337 YES 16.18/4.35 YES 45.37/12.55 YES 14.81/10.31
Trafo_06/un06.xml 11773338 YES 17.70/4.69 YES 24.43/6.91 YES 0.93/0.88
Trafo_06/dup06.xml 11773339 YES 23.66/6.17 YES 11.38/5.79 YES 1.09/0.86
Trafo_06/un08.xml 11773340 i YES 33.26/8.62 YES 24.86/7.13 MAYBE 0.48/0.49
Trafo_06/dup01.xml 11773341 YES 6.86/2.05 YES 37.53/10.34 YES 0.22/0.28
Trafo_06/hom03.xml 11773342 i YES 102.46/25.93 YES 144.51/37.95 MAYBE 15.16/12.46
Waldmann_07_size11/size-11-alpha-3-num-2.xml 11773343 is MAYBE 951.64/300.35 YES 13.15/4.17 MAYBE 0.14/0.18
Waldmann_07_size11/size-11-alpha-3-num-18.xml 11773344 is MAYBE 951.51/300.35 NO 6.13/2.41 MAYBE 0.09/0.15
Waldmann_07_size11/size-11-alpha-3-num-5.xml 11773345 i YES 29.07/7.55 YES 12.29/3.92 MAYBE 0.18/0.18
Waldmann_07_size11/size-11-alpha-2-num-2.xml 11773346 i YES 195.47/49.20 YES 19.93/5.91 MAYBE 0.22/0.26
Waldmann_07_size11/size-11-alpha-3-num-16.xml 11773347 i YES 13.08/3.59 YES 5.20/2.12 MAYBE 0.14/0.16
Waldmann_07_size11/size-11-alpha-3-num-11.xml 11773348 i YES 25.13/6.77 YES 12.35/3.93 MAYBE 0.13/0.14
Waldmann_07_size11/size-11-alpha-2-num-4.xml 11773349 i YES 34.15/8.85 YES 40.56/14.55 MAYBE 0.24/0.27
Waldmann_07_size11/size-11-alpha-3-num-10.xml 11773350 i YES 15.87/4.22 YES 12.51/3.88 MAYBE 0.17/0.16
Waldmann_07_size11/size-11-alpha-2-num-3.xml 11773351 i YES 61.12/15.61 YES 22.07/6.41 MAYBE 0.26/0.24
Waldmann_07_size11/size-11-alpha-3-num-17.xml 11773352 i YES 15.15/4.15 YES 11.32/3.64 MAYBE 0.10/0.14
Waldmann_07_size11/size-11-alpha-3-num-19.xml 11773353 i YES 17.25/4.64 YES 10.62/4.38 MAYBE 0.10/0.13
Waldmann_07_size11/size-11-alpha-3-num-4.xml 11773354 u MAYBE 952.30/300.32 MAYBE 1162.43/291.86 MAYBE 0.18/0.19
Waldmann_07_size11/size-11-alpha-3-num-3.xml 11773355 i YES 15.72/4.43 YES 18.13/5.34 MAYBE 0.12/0.14
Waldmann_07_size11/size-11-alpha-3-num-14.xml 11773356 i YES 26.27/6.87 YES 14.11/4.50 MAYBE 0.13/0.15
Waldmann_07_size11/size-11-alpha-3-num-9.xml 11773357 i YES 28.68/7.45 YES 13.00/4.12 MAYBE 0.14/0.18
Waldmann_07_size11/size-11-alpha-3-num-13.xml 11773358 i YES 26.64/6.97 YES 13.49/4.24 MAYBE 0.17/0.19
Waldmann_07_size11/size-11-alpha-3-num-7.xml 11773359 i YES 26.59/6.96 YES 19.07/5.75 MAYBE 0.17/0.20
Waldmann_07_size11/size-11-alpha-3-num-21.xml 11773360 is MAYBE 439.60/300.34 NO 7.12/2.74 MAYBE 0.11/0.15
Waldmann_07_size11/size-11-alpha-3-num-20.xml 11773361 i YES 17.61/4.94 YES 19.49/7.43 MAYBE 0.10/0.12
Waldmann_07_size11/size-11-alpha-3-num-6.xml 11773362 i YES 26.40/6.88 YES 24.11/9.67 MAYBE 0.16/0.19
Waldmann_07_size11/size-11-alpha-3-num-1.xml 11773363 is MAYBE 951.78/300.40 NO 83.40/21.78 MAYBE 0.18/0.21
Waldmann_07_size11/size-11-alpha-3-num-12.xml 11773364 i YES 15.31/4.11 YES 22.10/6.47 MAYBE 0.12/0.14
Waldmann_07_size11/size-11-alpha-3-num-15.xml 11773365 is MAYBE 952.31/300.36 NO 16.44/4.98 MAYBE 0.21/0.22
Waldmann_07_size11/size-11-alpha-2-num-1.xml 11773366 i YES 57.53/14.70 YES 22.43/6.51 MAYBE 0.16/0.18
Waldmann_07_size11/size-11-alpha-3-num-8.xml 11773367 i YES 27.85/7.25 YES 29.66/9.84 MAYBE 0.15/0.16
687 949 212