TermComp 2020
: SRS Standard Certified
41502
Job info CSV
Showing
all
interesting
conflicting
unsolved
solo
results.
benchmark
ttt2-1.20
ttt2_cert
--
YES
NO
MAYBE
timeout
AProVE
certified
--
YES
NO
MAYBE
timeout
NaTT 1.6.1
Certifiable
--
YES
NO
MAYBE
timeout
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