TermComp 2020
: SRS Relative
41488
Job info CSV
Showing
all
interesting
conflicting
unsolved
solo
results.
benchmark
NaTT v.1.6c
Default
--
YES
NO
MAYBE
timeout
ttt2-1.20
ttt2
--
YES
NO
MAYBE
timeout
matchbox-2020-06-25
tc20-rel.sh
--
YES
NO
MAYBE
timeout
AProVE
standard
--
YES
NO
MAYBE
timeout
MultumNonMulta 3.16 29 June 2020 60G
default
--
YES
NO
MAYBE
timeout
Mixed_
relative_
SRS/
zr02new.xml
11771691
i
MAYBE
0.17/0.18
YES
20.21/5.37
YES
4.21/1.10
YES
8.91/3.23
YES
3.36/1.27
Mixed_
relative_
SRS/
dup02.xml
11771692
is
MAYBE
2.03/1.93
MAYBE
940.64/299.39
timeout (wallclock)
YES
88.69/23.21
timeout (wallclock)
Mixed_
relative_
SRS/
zr09.xml
11771693
i
MAYBE
0.12/0.15
YES
4.58/1.43
YES
1.02/0.32
YES
6.03/2.33
YES
1.16/0.60
Mixed_
relative_
SRS/
zr07.xml
11771694
YES
0.11/0.09
YES
5.50/1.68
YES
0.92/0.28
YES
10.07/3.32
YES
1.14/0.58
Mixed_
relative_
SRS/
zr11.xml
11771695
i
MAYBE
0.25/0.22
YES
6.76/1.98
YES
0.85/0.24
YES
11.00/3.53
YES
1.09/0.74
Mixed_
relative_
SRS/
zr01.xml
11771696
i
MAYBE
0.08/0.07
YES
4.09/1.29
YES
0.27/0.09
YES
6.41/2.41
YES
0.91/0.51
Mixed_
relative_
SRS/
un03.xml
11771697
i
MAYBE
2.23/1.99
MAYBE
786.42/299.34
YES
34.67/9.13
timeout (wallclock)
YES
142.50/36.23
Mixed_
relative_
SRS/
zr06.xml
11771698
YES
0.04/0.04
YES
2.27/0.82
YES
0.12/0.06
YES
5.95/2.22
YES
1.01/0.54
Mixed_
relative_
SRS/
zr08.xml
11771699
YES
0.02/0.04
YES
4.35/1.37
YES
0.06/0.05
YES
6.86/2.43
YES
0.76/0.46
Mixed_
relative_
SRS/
dup03.xml
11771700
i
YES
2.48/1.68
MAYBE
774.89/299.40
YES
24.22/6.25
YES
61.33/16.32
YES
1.43/0.72
Mixed_
relative_
SRS/
dup04.xml
11771701
i
MAYBE
16.40/16.36
MAYBE
931.33/299.39
YES
4.00/1.22
YES
238.25/60.89
YES
1.28/0.66
Mixed_
relative_
SRS/
zr04new.xml
11771702
i
MAYBE
0.13/0.14
MAYBE
912.78/299.34
YES
8.00/2.06
YES
15.03/4.63
YES
1.89/0.81
Mixed_
relative_
SRS/
zr10.xml
11771703
i
MAYBE
0.17/0.20
YES
17.86/4.84
YES
0.52/0.21
YES
12.73/4.23
YES
0.98/0.59
Mixed_
relative_
SRS/
zr13.xml
11771704
i
MAYBE
0.06/0.13
NO
1.49/0.71
NO
0.04/0.09
NO
3.77/1.76
NO
0.63/0.49
Mixed_
relative_
SRS/
zr05.xml
11771705
YES
0.04/0.09
YES
2.11/0.82
YES
0.07/0.09
YES
5.33/2.17
YES
0.92/0.60
Mixed_
relative_
SRS/
zr02.xml
11771706
i
MAYBE
0.17/0.20
YES
10.08/2.83
YES
3.46/0.95
YES
6.86/2.57
YES
1.23/0.66
Mixed_
relative_
SRS/
zr12.xml
11771707
i
MAYBE
0.06/0.10
YES
5.94/1.80
YES
0.10/0.08
YES
6.53/2.46
YES
1.24/0.69
Mixed_
relative_
SRS/
zr03.xml
11771708
YES
0.02/0.03
YES
2.04/0.79
YES
0.05/0.05
YES
4.04/1.77
YES
0.91/0.57
Mixed_
relative_
SRS/
un01.xml
11771709
i
MAYBE
0.19/0.20
MAYBE
774.08/299.37
YES
69.33/17.68
YES
24.35/7.40
YES
1.37/1.10
Mixed_
relative_
SRS/
zr04.xml
11771710
i
MAYBE
0.35/0.33
MAYBE
913.06/299.35
YES
8.78/2.29
YES
33.15/9.34
YES
1.85/0.78
Waldmann_
06_
relative/
r5.xml
11771711
i
MAYBE
0.11/0.14
YES
9.98/2.75
YES
1.33/0.36
YES
16.91/4.95
timeout (wallclock)
Waldmann_
06_
relative/
r2.xml
11771712
i
YES
0.02/0.04
YES
18.04/4.77
YES
0.55/0.17
MAYBE
0.35/0.33
timeout (wallclock)
Waldmann_
06_
relative/
r3.xml
11771713
i
MAYBE
0.09/0.12
YES
4.27/1.32
YES
0.42/0.17
YES
26.77/7.60
YES
1.62/0.76
Waldmann_
06_
relative/
r4.xml
11771714
i
MAYBE
0.12/0.16
MAYBE
775.95/299.35
YES
0.85/0.26
YES
1074.74/269.71
timeout (wallclock)
Waldmann_
06_
relative/
r10.xml
11771715
i
MAYBE
0.48/0.46
MAYBE
775.64/299.43
YES
98.51/25.12
YES
487.84/122.85
YES
3.59/1.92
Waldmann_
06_
relative/
r9.xml
11771716
YES
0.03/0.06
YES
2.12/0.83
YES
0.27/0.15
YES
21.54/6.17
YES
0.97/0.58
Waldmann_
06_
relative/
r7.xml
11771717
i
MAYBE
0.16/0.19
YES
3.90/1.25
YES
0.08/0.08
YES
4.58/1.91
YES
1.01/0.58
Waldmann_
06_
relative/
rbeans.xml
11771718
i
YES
0.03/0.02
MAYBE
614.14/299.44
YES
21.64/5.55
MAYBE
0.35/1.57
timeout (wallclock)
Waldmann_
06_
relative/
r1.xml
11771719
i
YES
0.02/0.06
MAYBE
605.96/299.44
YES
0.16/0.14
MAYBE
0.34/0.35
YES
0.96/0.56
Waldmann_
06_
relative/
r6.xml
11771720
i
MAYBE
0.15/0.19
YES
6.31/1.85
YES
1.60/0.47
YES
11.10/3.59
YES
0.99/0.58
Waldmann_
06_
relative/
r8.xml
11771721
i
MAYBE
0.33/0.33
YES
8.94/2.63
YES
4.73/1.28
YES
22.56/6.72
YES
1.74/0.74
Waldmann_
19/
random-195.xml
8321526
is
MAYBE
6.20/6.15
MAYBE
787.86/299.39
YES
219.25/55.87
timeout (wallclock)
timeout (wallclock)
Waldmann_
19/
random-76.xml
8321527
i
YES
0.02/0.02
YES
11.57/3.22
YES
24.56/6.23
YES
4.52/2.87
timeout (wallclock)
Waldmann_
19/
random-228.xml
8321528
YES
0.16/0.19
YES
4.94/1.53
YES
0.75/0.24
YES
8.28/3.07
YES
1.44/0.66
Waldmann_
19/
random-78.xml
8321529
i
MAYBE
0.34/0.32
MAYBE
786.36/299.34
YES
10.49/2.74
YES
43.51/11.86
YES
8.40/2.55
Waldmann_
19/
random-226.xml
8321530
YES
0.09/0.13
YES
12.37/3.40
YES
0.29/0.14
YES
6.25/2.48
YES
1.38/0.69
Waldmann_
19/
random-221.xml
8321531
YES
0.05/0.08
YES
6.88/2.03
YES
0.10/0.13
YES
4.46/1.91
YES
0.96/0.53
Waldmann_
19/
random-43.xml
8321532
i
MAYBE
1.02/1.02
YES
96.85/24.59
YES
19.85/5.14
YES
134.49/34.58
timeout (wallclock)
Waldmann_
19/
random-176.xml
8321533
u
MAYBE
6.28/6.20
MAYBE
788.60/299.33
timeout (wallclock)
timeout (cpu)
timeout (wallclock)
Waldmann_
19/
random-92.xml
8321534
i
MAYBE
0.85/0.87
YES
49.89/12.88
YES
6.66/1.74
YES
69.85/18.26
YES
15.39/4.30
Waldmann_
19/
random-38.xml
8321535
is
MAYBE
0.39/0.37
MAYBE
781.93/299.47
YES
87.04/22.21
timeout (wallclock)
timeout (wallclock)
Waldmann_
19/
random-95.xml
8321536
YES
0.03/0.07
YES
10.79/3.02
YES
14.67/3.75
YES
5.24/2.13
YES
43.66/11.38
Waldmann_
19/
random-84.xml
8321537
is
MAYBE
0.47/0.49
MAYBE
796.95/299.38
YES
199.62/50.37
timeout (cpu)
timeout (wallclock)
Waldmann_
19/
random-160.xml
8321538
YES
0.03/0.03
YES
10.01/2.76
YES
4.74/1.23
YES
4.89/2.09
YES
1.59/1.63
Waldmann_
19/
random-52.xml
8321539
i
MAYBE
0.63/0.61
YES
20.60/5.50
YES
4.16/1.15
YES
4.84/2.05
YES
2.69/1.14
Waldmann_
19/
random-202.xml
8321540
i
MAYBE
4.30/4.22
MAYBE
787.85/299.36
YES
9.10/2.47
YES
57.49/15.28
YES
2.60/1.72
Waldmann_
19/
random-115.xml
8321541
YES
0.71/0.70
YES
27.92/7.30
YES
6.20/1.66
YES
5.08/2.03
YES
1.63/0.94
Waldmann_
19/
random-27.xml
8321542
i
MAYBE
0.67/0.70
MAYBE
786.24/299.39
NO
7.40/1.94
timeout (wallclock)
NO
19.88/5.35
Waldmann_
19/
random-120.xml
8321543
i
MAYBE
0.45/0.42
YES
16.22/4.37
YES
6.82/1.83
YES
4.86/2.07
YES
32.27/8.62
Waldmann_
19/
random-152.xml
8321544
i
MAYBE
0.22/0.25
YES
32.44/8.48
YES
2.34/0.68
YES
26.45/7.61
timeout (wallclock)
Waldmann_
19/
random-67.xml
8321545
i
MAYBE
6.01/6.00
MAYBE
787.21/299.40
YES
8.41/2.25
YES
51.63/13.74
YES
1.86/0.84
Waldmann_
19/
random-60.xml
8321546
is
MAYBE
0.66/0.67
MAYBE
787.13/299.34
YES
422.70/106.87
timeout (cpu)
timeout (wallclock)
Waldmann_
19/
random-184.xml
8321547
YES
0.04/0.07
YES
3.93/1.25
YES
0.09/0.04
YES
5.28/2.32
YES
0.98/1.65
Waldmann_
19/
random-39.xml
8321548
i
MAYBE
0.64/0.64
YES
41.98/10.90
YES
5.95/1.59
YES
20.89/6.11
YES
1.81/0.76
Waldmann_
19/
random-45.xml
8321549
i
MAYBE
0.69/0.67
YES
42.55/11.00
YES
24.56/6.29
YES
46.96/12.67
YES
18.94/5.17
Waldmann_
19/
random-177.xml
8321550
is
MAYBE
0.94/0.91
MAYBE
786.83/299.34
timeout (cpu)
timeout (cpu)
NO
17.87/4.91
Waldmann_
19/
random-42.xml
8321551
i
MAYBE
0.59/0.56
YES
121.07/30.78
YES
21.04/5.39
YES
10.37/3.45
timeout (wallclock)
Waldmann_
19/
random-93.xml
8321552
YES
0.05/0.04
YES
11.84/5.83
YES
0.79/0.23
YES
9.88/3.22
YES
1.23/0.61
Waldmann_
19/
random-105.xml
8321553
YES
0.82/0.74
YES
8.10/2.30
YES
17.54/4.49
YES
39.81/11.21
YES
1.19/0.63
Waldmann_
19/
random-212.xml
8321554
i
YES
0.05/0.05
MAYBE
789.60/299.34
YES
457.59/115.04
YES
46.95/12.50
timeout (wallclock)
Waldmann_
19/
random-137.xml
8321555
YES
0.04/0.04
YES
1.65/0.72
YES
0.06/0.08
YES
4.02/1.82
YES
1.02/0.59
Waldmann_
19/
random-79.xml
8321556
i
MAYBE
1.02/1.00
YES
37.57/9.80
YES
29.01/7.39
YES
39.80/10.73
timeout (wallclock)
Waldmann_
19/
random-227.xml
8321557
i
MAYBE
1.19/1.19
YES
52.31/13.49
YES
4.19/1.11
YES
11.73/3.74
YES
3.21/1.14
Waldmann_
19/
random-130.xml
8321558
i
MAYBE
8.23/8.15
MAYBE
788.31/299.34
NO
1.41/0.41
timeout (wallclock)
NO
7.10/2.23
Waldmann_
19/
random-142.xml
8321559
YES
0.09/0.09
YES
14.87/3.99
YES
2.27/0.61
YES
8.15/2.81
YES
10.11/2.96
Waldmann_
19/
random-77.xml
8321560
YES
0.04/0.04
YES
10.35/2.87
YES
2.39/0.65
YES
8.17/2.80
YES
1.60/0.70
Waldmann_
19/
random-145.xml
8321561
YES
0.45/0.41
YES
46.66/12.03
YES
0.68/0.19
YES
25.73/7.21
YES
1.65/0.72
Waldmann_
19/
random-70.xml
8321562
YES
0.04/0.04
YES
6.32/1.87
YES
0.21/0.07
YES
5.09/2.00
YES
1.13/0.65
Waldmann_
19/
random-66.xml
8321563
YES
0.40/0.38
YES
9.76/2.70
YES
0.84/0.23
YES
4.78/2.12
YES
0.83/0.54
Waldmann_
19/
random-182.xml
8321564
u
MAYBE
4.06/4.04
MAYBE
787.93/299.34
timeout (wallclock)
timeout (wallclock)
timeout (wallclock)
Waldmann_
19/
random-68.xml
8321565
u
MAYBE
3.87/3.81
MAYBE
787.97/299.39
timeout (wallclock)
MAYBE
0.40/0.30
timeout (wallclock)
Waldmann_
19/
random-14.xml
8321566
YES
0.13/0.11
YES
66.06/16.90
YES
8.92/2.29
YES
9.08/3.04
YES
16.16/4.43
Waldmann_
19/
random-126.xml
8321567
i
YES
0.11/0.11
YES
20.06/5.29
YES
357.67/90.00
YES
4.27/1.78
timeout (wallclock)
Waldmann_
19/
random-26.xml
8321568
YES
0.04/0.09
YES
9.27/2.63
YES
28.73/7.32
YES
7.76/2.77
YES
723.29/238.01
Waldmann_
19/
random-113.xml
8321569
YES
0.33/0.33
YES
22.28/5.88
YES
0.67/0.22
YES
4.98/2.12
YES
1.71/0.77
Waldmann_
19/
random-168.xml
8321570
YES
0.36/0.37
YES
12.77/3.53
YES
1.42/0.46
YES
4.33/1.86
YES
1.34/0.69
Waldmann_
19/
random-82.xml
8321571
i
YES
0.06/0.08
YES
106.59/27.40
timeout (wallclock)
timeout (wallclock)
timeout (wallclock)
Waldmann_
19/
random-166.xml
8321572
i
MAYBE
1.64/1.64
YES
62.91/16.05
YES
45.31/12.75
timeout (wallclock)
timeout (wallclock)
Waldmann_
19/
random-28.xml
8321573
i
MAYBE
2.03/2.01
YES
48.87/12.65
YES
8.50/2.25
YES
175.81/45.07
timeout (wallclock)
Waldmann_
19/
random-150.xml
8321574
i
MAYBE
1.06/1.04
YES
55.73/14.35
YES
6.75/1.76
YES
27.45/7.70
timeout (wallclock)
Waldmann_
19/
random-65.xml
8321575
YES
0.63/0.57
YES
25.52/6.70
YES
0.48/0.15
YES
4.73/1.89
YES
1.18/0.59
Waldmann_
19/
random-62.xml
8321576
i
MAYBE
1.68/1.65
MAYBE
788.74/299.34
NO
19.94/5.13
timeout (wallclock)
NO
9.40/2.74
Waldmann_
19/
random-186.xml
8321577
i
MAYBE
0.57/0.58
MAYBE
787.32/299.34
YES
155.09/39.43
YES
965.59/242.76
timeout (wallclock)
Waldmann_
19/
random-10.xml
8321578
YES
0.24/0.26
YES
5.30/1.63
YES
0.16/0.09
YES
6.94/2.47
YES
1.28/0.66
Waldmann_
19/
random-232.xml
8321579
i
MAYBE
0.77/0.77
YES
42.07/11.07
YES
31.42/8.11
YES
36.49/9.90
YES
26.55/7.08
Waldmann_
19/
random-159.xml
8321580
i
MAYBE
0.41/0.38
YES
20.67/5.46
YES
8.55/2.25
YES
41.50/11.16
YES
2.05/0.82
Waldmann_
19/
random-207.xml
8321581
u
MAYBE
0.80/0.81
MAYBE
787.24/299.34
timeout (wallclock)
timeout (wallclock)
timeout (wallclock)
Waldmann_
19/
random-110.xml
8321582
YES
0.08/0.08
YES
11.28/3.11
YES
0.74/0.26
YES
7.48/2.70
YES
327.23/82.89
Waldmann_
19/
random-59.xml
8321583
u
MAYBE
0.88/0.85
MAYBE
786.18/299.37
timeout (wallclock)
timeout (wallclock)
timeout (wallclock)
Waldmann_
19/
random-209.xml
8321584
u
MAYBE
6.56/6.47
MAYBE
776.33/299.40
timeout (wallclock)
timeout (wallclock)
timeout (wallclock)
Waldmann_
19/
random-86.xml
8321585
YES
0.55/0.52
YES
52.24/13.52
YES
9.64/2.53
YES
50.89/13.57
YES
2.41/0.94
Waldmann_
19/
random-162.xml
8321586
YES
0.07/0.06
YES
8.49/2.46
YES
0.16/0.06
YES
4.70/1.91
YES
1.03/0.58
Waldmann_
19/
random-57.xml
8321587
i
YES
0.40/0.38
MAYBE
783.81/299.35
YES
430.56/108.22
YES
47.67/12.68
timeout (wallclock)
Waldmann_
19/
random-81.xml
8321588
i
YES
0.59/0.54
YES
29.26/7.67
YES
15.19/3.89
YES
116.56/29.93
timeout (wallclock)
Waldmann_
19/
random-50.xml
8321589
YES
0.06/0.06
YES
9.89/2.74
YES
5.74/1.50
YES
3.98/1.76
YES
2.66/1.02
Waldmann_
19/
random-41.xml
8321590
YES
0.41/0.37
YES
30.01/7.80
YES
8.56/2.27
YES
4.61/1.98
YES
82.74/21.94
Waldmann_
19/
random-46.xml
8321591
i
MAYBE
0.58/0.61
MAYBE
792.60/299.39
YES
45.57/11.55
YES
6.20/2.53
timeout (wallclock)
Waldmann_
19/
random-173.xml
8321592
i
YES
0.03/0.08
YES
10.90/3.11
YES
9.36/2.40
YES
7.02/2.78
timeout (wallclock)
Waldmann_
19/
random-34.xml
8321593
YES
0.04/0.04
YES
10.04/2.77
YES
3.81/1.00
YES
4.29/1.81
YES
1.40/0.76
Waldmann_
19/
random-216.xml
8321594
is
MAYBE
0.76/0.73
MAYBE
786.98/299.41
timeout (cpu)
timeout (wallclock)
NO
49.21/12.80
Waldmann_
19/
random-99.xml
8321595
is
MAYBE
0.60/0.60
MAYBE
787.46/299.39
timeout (cpu)
timeout (wallclock)
NO
325.44/82.65
Waldmann_
19/
random-33.xml
8321596
i
YES
16.24/16.20
YES
99.20/25.24
YES
361.61/91.08
timeout (wallclock)
timeout (wallclock)
Waldmann_
19/
random-106.xml
8321597
u
MAYBE
3.59/3.52
MAYBE
786.63/299.41
timeout (cpu)
timeout (wallclock)
timeout (wallclock)
Waldmann_
19/
random-134.xml
8321598
YES
0.50/0.52
YES
21.00/5.59
YES
0.49/0.15
YES
4.48/1.97
YES
1.01/0.59
Waldmann_
19/
random-148.xml
8321599
i
YES
0.94/0.94
YES
81.00/20.85
YES
9.40/2.48
YES
140.57/36.26
timeout (wallclock)
Waldmann_
19/
random-146.xml
8321600
i
MAYBE
0.32/0.35
YES
7.33/2.17
YES
0.45/0.21
YES
6.72/2.59
YES
1.19/0.67
Waldmann_
19/
random-141.xml
8321601
i
MAYBE
0.44/0.47
NO
631.74/221.73
NO
0.57/0.24
NO
510.54/128.70
NO
0.89/0.58
Waldmann_
19/
random-80.xml
8321602
YES
0.06/0.10
YES
13.74/3.78
YES
0.44/0.18
YES
4.54/1.93
YES
1.34/0.66
Waldmann_
19/
random-164.xml
8321603
i
YES
0.05/0.08
YES
16.77/4.51
timeout (wallclock)
YES
4.70/1.90
YES
242.72/61.40
Waldmann_
19/
random-208.xml
8321604
i
MAYBE
1.85/1.85
YES
68.23/17.65
YES
68.05/17.66
YES
140.01/36.02
timeout (wallclock)
Waldmann_
19/
random-163.xml
8321605
u
MAYBE
0.69/0.72
MAYBE
788.06/299.38
timeout (cpu)
timeout (wallclock)
timeout (wallclock)
Waldmann_
19/
random-24.xml
8321606
YES
0.06/0.11
YES
11.83/3.26
YES
86.55/21.85
YES
5.07/2.09
YES
198.75/50.42
Waldmann_
19/
random-89.xml
8321607
i
YES
0.05/0.10
YES
13.12/3.68
YES
0.64/0.23
YES
7.95/2.76
timeout (wallclock)
Waldmann_
19/
random-58.xml
8321608
i
YES
0.03/0.07
YES
17.21/4.83
YES
7.18/1.88
YES
6.90/2.62
timeout (wallclock)
Waldmann_
19/
random-116.xml
8321609
i
MAYBE
0.59/0.60
YES
23.45/6.18
YES
0.46/0.19
YES
5.09/2.10
YES
1.14/0.62
Waldmann_
19/
random-16.xml
8321610
YES
0.02/0.08
YES
8.53/2.41
YES
25.05/6.37
YES
4.66/1.91
YES
64.52/16.96
Waldmann_
19/
random-123.xml
8321611
i
MAYBE
0.55/0.53
YES
118.25/30.07
YES
48.97/12.42
timeout (wallclock)
timeout (wallclock)
Waldmann_
19/
random-11.xml
8321612
is
MAYBE
0.42/0.45
MAYBE
786.35/299.36
YES
33.29/8.43
timeout (cpu)
timeout (wallclock)
Waldmann_
19/
random-187.xml
8321613
i
YES
0.38/0.41
YES
80.29/20.64
YES
13.79/3.63
YES
52.03/13.93
timeout (wallclock)
Waldmann_
19/
random-151.xml
8321614
i
MAYBE
0.51/0.57
MAYBE
778.80/299.37
YES
21.04/5.43
YES
55.64/15.01
timeout (wallclock)
Waldmann_
19/
random-140.xml
8321615
YES
0.10/0.15
YES
46.55/12.10
YES
0.68/0.25
YES
4.60/1.93
YES
1.33/0.70
Waldmann_
19/
random-75.xml
8321616
i
MAYBE
1.40/1.40
MAYBE
784.46/299.36
YES
62.66/15.79
YES
16.59/5.24
timeout (wallclock)
Waldmann_
19/
random-72.xml
8321617
is
MAYBE
0.63/0.64
MAYBE
786.99/299.38
timeout (wallclock)
YES
117.98/30.44
timeout (wallclock)
Waldmann_
19/
random-198.xml
8321618
is
MAYBE
9.49/9.44
MAYBE
788.37/299.39
YES
151.10/38.18
timeout (cpu)
timeout (wallclock)
Waldmann_
19/
random-149.xml
8321619
YES
0.18/0.22
YES
5.38/1.68
YES
0.29/0.16
YES
4.61/1.88
YES
1.13/0.59
Waldmann_
19/
random-210.xml
8321620
YES
0.06/0.13
YES
30.87/8.07
YES
8.61/2.28
YES
4.90/2.06
YES
1.70/0.80
Waldmann_
19/
random-35.xml
8321621
YES
0.06/0.11
YES
6.77/2.00
YES
0.46/0.18
YES
5.21/2.09
YES
1.06/1.79
Waldmann_
19/
random-98.xml
8321622
i
MAYBE
2.40/2.34
YES
42.54/10.99
YES
9.34/2.62
YES
38.96/10.76
timeout (wallclock)
Waldmann_
19/
random-172.xml
8321623
i
MAYBE
6.75/6.82
YES
39.40/10.28
YES
0.39/0.19
YES
4.67/2.03
YES
1.31/0.68
Waldmann_
19/
random-175.xml
8321624
u
MAYBE
5.47/5.41
MAYBE
788.77/299.40
timeout (cpu)
timeout (cpu)
timeout (wallclock)
Waldmann_
19/
random-109.xml
8321625
YES
0.06/0.11
YES
21.22/5.64
YES
0.44/0.18
YES
4.70/1.94
YES
1.65/0.81
Zantema_
06_
relative/
rel13.xml
11771722
i
MAYBE
0.08/0.11
YES
12.20/3.39
YES
0.09/0.05
YES
7.95/2.88
YES
1.24/0.62
Zantema_
06_
relative/
rel02.xml
11771723
i
MAYBE
0.18/0.26
MAYBE
1067.31/299.40
YES
21.64/5.58
YES
41.90/12.47
YES
2.16/0.87
Zantema_
06_
relative/
rel05.xml
11771724
i
MAYBE
0.18/0.29
YES
9.38/2.71
YES
0.51/0.65
YES
12.69/4.11
YES
1.32/0.63
Zantema_
06_
relative/
rel12.xml
11771725
u
MAYBE
0.19/0.20
MAYBE
786.57/299.39
timeout (wallclock)
timeout (cpu)
timeout (wallclock)
Zantema_
06_
relative/
rel04.xml
11771726
i
MAYBE
0.19/0.22
YES
14.38/3.91
YES
4.81/1.31
YES
22.98/6.78
YES
1.19/0.63
Zantema_
06_
relative/
rel03.xml
11771727
u
MAYBE
0.20/0.22
MAYBE
784.56/299.34
timeout (wallclock)
timeout (wallclock)
timeout (wallclock)
Zantema_
06_
relative/
rel07.xml
11771728
u
MAYBE
0.30/0.27
MAYBE
788.40/299.33
timeout (wallclock)
timeout (wallclock)
timeout (wallclock)
Zantema_
06_
relative/
rel09.xml
11771729
i
MAYBE
0.32/0.34
MAYBE
943.74/299.34
YES
0.50/0.18
YES
29.56/8.25
YES
51.22/13.46
Zantema_
06_
relative/
rel11.xml
11771730
u
MAYBE
0.13/0.18
MAYBE
944.21/299.37
timeout (wallclock)
timeout (cpu)
timeout (wallclock)
Zantema_
06_
relative/
rel08.xml
11771731
i
MAYBE
0.13/0.17
MAYBE
787.55/299.39
YES
3.45/0.96
YES
9.39/3.15
YES
10.19/5.39
Zantema_
06_
relative/
rel06.xml
11771732
i
MAYBE
0.09/0.10
MAYBE
786.09/299.37
YES
11.68/3.03
YES
44.71/12.28
timeout (wallclock)
Zantema_
06_
relative/
rel01.xml
11771733
i
MAYBE
0.08/0.13
YES
4.44/1.37
YES
1.25/0.42
YES
6.36/2.32
YES
1.21/0.61
Zantema_
06_
relative/
rel10.xml
11771734
i
MAYBE
0.30/0.33
MAYBE
796.94/299.38
YES
0.73/0.26
YES
36.05/12.79
YES
1.41/0.67
Zantema_
06_
relative/
cars.xml
11771735
u
MAYBE
0.20/0.18
MAYBE
914.60/299.35
timeout (wallclock)
timeout (wallclock)
timeout (wallclock)
ICFP_
2010_
relative/
54097.xml
11771736
is
timeout (wallclock)
timeout (wallclock)
timeout (cpu)
timeout (wallclock)
YES
26.82/7.35
ICFP_
2010_
relative/
135115.xml
11771737
i
timeout (wallclock)
MAYBE
791.60/299.97
YES
89.52/23.55
timeout (wallclock)
YES
19.43/5.65
ICFP_
2010_
relative/
4141.xml
11771738
i
timeout (wallclock)
MAYBE
936.96/299.53
YES
300.28/94.37
timeout (wallclock)
YES
28.19/8.29
ICFP_
2010_
relative/
4920.xml
11771739
u
timeout (wallclock)
MAYBE
937.14/299.51
timeout (wallclock)
timeout (wallclock)
timeout (wallclock)
ICFP_
2010_
relative/
4017.xml
11771740
u
timeout (wallclock)
MAYBE
936.56/299.53
timeout (wallclock)
timeout (wallclock)
timeout (wallclock)
ICFP_
2010_
relative/
139100.xml
11771741
i
timeout (wallclock)
MAYBE
937.52/300.14
YES
63.47/16.48
YES
42.06/11.43
YES
8.03/2.49
ICFP_
2010_
relative/
135328.xml
11771742
i
timeout (wallclock)
MAYBE
789.33/299.91
YES
79.37/20.88
timeout (wallclock)
YES
18.58/5.76
ICFP_
2010_
relative/
132235.xml
11771743
i
timeout (wallclock)
MAYBE
936.69/299.97
YES
78.12/20.55
timeout (wallclock)
YES
33.83/10.50
ICFP_
2010_
relative/
4106.xml
11771744
u
timeout (wallclock)
MAYBE
870.86/299.51
timeout (wallclock)
timeout (wallclock)
timeout (wallclock)
ICFP_
2010_
relative/
140649.xml
11771745
u
timeout (wallclock)
MAYBE
937.10/299.90
timeout (wallclock)
timeout (wallclock)
timeout (wallclock)
ICFP_
2010_
relative/
64160.xml
11771746
u
timeout (wallclock)
MAYBE
872.38/299.60
timeout (wallclock)
timeout (wallclock)
timeout (wallclock)
ICFP_
2010_
relative/
3562.xml
11771747
i
timeout (wallclock)
MAYBE
936.86/299.57
YES
820.08/218.46
timeout (wallclock)
YES
46.97/14.25
ICFP_
2010_
relative/
139018.xml
11771748
i
timeout (wallclock)
MAYBE
937.64/300.12
YES
78.97/20.48
YES
52.73/14.64
YES
6.58/2.14
ICFP_
2010_
relative/
3268.xml
11771749
i
timeout (wallclock)
MAYBE
816.54/299.40
YES
37.27/9.68
timeout (wallclock)
YES
5.02/1.70
ICFP_
2010_
relative/
4057.xml
11771750
u
timeout (wallclock)
MAYBE
937.06/299.53
timeout (wallclock)
timeout (wallclock)
timeout (wallclock)
ICFP_
2010_
relative/
3450.xml
11771751
is
timeout (wallclock)
MAYBE
937.26/299.54
timeout (wallclock)
timeout (wallclock)
YES
56.53/17.28
ICFP_
2010_
relative/
4046.xml
11771752
u
timeout (wallclock)
MAYBE
653.41/299.54
timeout (wallclock)
MAYBE
0.51/0.48
timeout (wallclock)
ICFP_
2010_
relative/
128182.xml
11771753
i
timeout (wallclock)
MAYBE
936.16/300.12
YES
62.51/16.17
YES
43.54/11.93
YES
7.20/2.28
ICFP_
2010_
relative/
139180.xml
11771754
i
timeout (wallclock)
MAYBE
937.36/300.13
YES
61.14/16.16
YES
81.20/21.15
YES
8.30/2.62
ICFP_
2010_
relative/
132478.xml
11771755
i
timeout (wallclock)
MAYBE
937.46/300.15
YES
62.13/16.13
YES
57.77/15.53
YES
8.09/2.55
ICFP_
2010_
relative/
139310.xml
11771756
i
timeout (wallclock)
MAYBE
937.30/300.17
YES
65.28/17.00
YES
37.65/10.48
YES
6.62/2.33
ICFP_
2010_
relative/
132920.xml
11771757
i
timeout (wallclock)
MAYBE
937.75/300.12
YES
174.41/44.59
YES
40.50/11.02
YES
11.27/3.48
ICFP_
2010_
relative/
4200.xml
11771758
is
timeout (wallclock)
MAYBE
937.08/299.73
YES
299.49/79.50
timeout (wallclock)
timeout (wallclock)
ICFP_
2010_
relative/
136051.xml
11771759
i
timeout (wallclock)
MAYBE
792.64/299.97
YES
78.35/20.67
timeout (wallclock)
YES
22.08/6.49
ICFP_
2010_
relative/
4484.xml
11771760
is
timeout (wallclock)
MAYBE
937.28/299.56
timeout (wallclock)
timeout (wallclock)
YES
86.54/27.20
ICFP_
2010_
relative/
4827.xml
11771761
u
timeout (wallclock)
MAYBE
936.37/299.55
timeout (wallclock)
timeout (wallclock)
timeout (wallclock)
ICFP_
2010_
relative/
88143.xml
11771762
i
timeout (wallclock)
MAYBE
815.42/299.60
YES
21.22/5.59
YES
39.43/13.00
YES
3.37/1.20
ICFP_
2010_
relative/
3385.xml
11771763
is
timeout (wallclock)
MAYBE
815.09/299.41
timeout (wallclock)
timeout (wallclock)
YES
18.71/5.18
ICFP_
2010_
relative/
132782.xml
11771764
i
timeout (wallclock)
MAYBE
937.70/300.14
YES
62.88/16.30
YES
47.07/12.60
YES
7.70/2.53
ICFP_
2010_
relative/
3533.xml
11771765
u
timeout (wallclock)
MAYBE
937.03/299.51
timeout (wallclock)
timeout (wallclock)
timeout (wallclock)
ICFP_
2010_
relative/
138330.xml
11771766
i
timeout (wallclock)
MAYBE
937.46/299.95
YES
81.53/21.40
timeout (wallclock)
YES
21.24/6.80
ICFP_
2010_
relative/
3865.xml
11771767
i
timeout (wallclock)
MAYBE
937.21/299.54
YES
292.38/77.06
timeout (wallclock)
YES
347.49/111.39
ICFP_
2010_
relative/
5130.xml
11771768
i
timeout (wallclock)
MAYBE
936.83/299.55
YES
23.60/6.37
YES
96.22/25.82
YES
7.31/2.55
ICFP_
2010_
relative/
132969.xml
11771769
i
timeout (wallclock)
MAYBE
937.78/299.93
YES
78.32/20.65
timeout (wallclock)
YES
20.33/6.19
ICFP_
2010_
relative/
91242.xml
11771770
u
timeout (wallclock)
MAYBE
937.65/300.08
timeout (wallclock)
timeout (wallclock)
timeout (wallclock)
ICFP_
2010_
relative/
41378.xml
11771771
is
timeout (wallclock)
timeout (wallclock)
timeout (cpu)
timeout (wallclock)
YES
31.07/8.40
ICFP_
2010_
relative/
4074.xml
11771772
i
timeout (wallclock)
MAYBE
936.81/299.61
YES
23.37/6.26
timeout (wallclock)
YES
8.26/2.63
ICFP_
2010_
relative/
131633.xml
11771773
is
timeout (wallclock)
MAYBE
937.50/299.98
timeout (wallclock)
timeout (wallclock)
YES
34.08/10.89
ICFP_
2010_
relative/
3680.xml
11771774
i
timeout (wallclock)
MAYBE
936.90/299.56
YES
24.16/6.47
YES
104.23/27.14
YES
7.06/2.32
ICFP_
2010_
relative/
124211.xml
11771775
is
timeout (wallclock)
MAYBE
937.17/299.96
timeout (wallclock)
timeout (wallclock)
YES
17.70/5.15
ICFP_
2010_
relative/
4181.xml
11771776
i
timeout (wallclock)
MAYBE
937.30/299.58
YES
26.90/7.20
YES
266.37/67.72
YES
8.45/2.50
ICFP_
2010_
relative/
4943.xml
11771777
i
timeout (wallclock)
MAYBE
937.09/299.55
YES
29.68/7.90
timeout (wallclock)
YES
163.27/50.93
ICFP_
2010_
relative/
3817.xml
11771778
u
timeout (wallclock)
MAYBE
936.98/299.55
timeout (wallclock)
timeout (wallclock)
timeout (wallclock)
ICFP_
2010_
relative/
4157.xml
11771779
u
timeout (wallclock)
MAYBE
937.25/299.55
timeout (wallclock)
timeout (wallclock)
timeout (wallclock)
ICFP_
2010_
relative/
4412.xml
11771780
i
timeout (wallclock)
MAYBE
937.02/299.59
YES
28.67/7.62
YES
171.28/43.80
YES
19.34/5.72
ICFP_
2010_
relative/
140664.xml
11771781
u
timeout (wallclock)
MAYBE
937.37/299.90
timeout (wallclock)
timeout (wallclock)
timeout (wallclock)
ICFP_
2010_
relative/
4938.xml
11771782
i
timeout (wallclock)
MAYBE
937.03/299.56
YES
22.10/6.01
timeout (wallclock)
YES
8.60/2.84
ICFP_
2010_
relative/
139163.xml
11771783
i
timeout (wallclock)
MAYBE
937.73/300.11
YES
752.16/189.30
YES
58.76/16.02
YES
163.69/52.88
ICFP_
2010_
relative/
3786.xml
11771784
is
timeout (wallclock)
MAYBE
937.01/299.58
timeout (wallclock)
timeout (wallclock)
YES
34.26/10.19
ICFP_
2010_
relative/
3336.xml
11771785
i
MAYBE
16.88/15.49
MAYBE
651.91/299.40
YES
1143.77/299.39
MAYBE
0.56/0.40
YES
17.09/5.32
ICFP_
2010_
relative/
3916.xml
11771786
u
timeout (wallclock)
MAYBE
653.58/299.48
timeout (wallclock)
MAYBE
0.64/0.39
timeout (wallclock)
ICFP_
2010_
relative/
139256.xml
11771787
i
timeout (wallclock)
MAYBE
937.49/300.14
YES
66.13/17.09
YES
54.26/14.52
YES
9.72/2.94
ICFP_
2010_
relative/
139190.xml
11771788
i
timeout (wallclock)
MAYBE
937.46/300.09
YES
64.74/16.72
YES
30.32/8.46
YES
7.96/2.45
ICFP_
2010_
relative/
4051.xml
11771789
i
timeout (wallclock)
MAYBE
936.83/299.56
YES
22.74/6.11
YES
225.53/57.33
YES
5.52/1.86
ICFP_
2010_
relative/
4893.xml
11771790
i
timeout (wallclock)
MAYBE
937.15/299.53
YES
22.42/6.05
timeout (wallclock)
YES
15.75/4.65
ICFP_
2010_
relative/
128691.xml
11771791
i
timeout (wallclock)
MAYBE
937.29/300.12
YES
192.32/49.06
YES
31.52/8.73
YES
29.91/9.83
ICFP_
2010_
relative/
3498.xml
11771792
i
timeout (wallclock)
MAYBE
872.83/299.53
YES
22.33/6.02
timeout (wallclock)
YES
12.34/3.98
ICFP_
2010_
relative/
97888.xml
11771793
u
timeout (wallclock)
timeout (wallclock)
timeout (cpu)
timeout (wallclock)
timeout (wallclock)
ICFP_
2010_
relative/
128550.xml
11771794
i
timeout (wallclock)
MAYBE
937.83/300.12
YES
59.88/15.53
YES
54.60/14.75
YES
7.63/2.43
ICFP_
2010_
relative/
97901.xml
11771795
u
timeout (wallclock)
timeout (wallclock)
timeout (cpu)
timeout (wallclock)
timeout (wallclock)
ICFP_
2010_
relative/
139025.xml
11771796
i
timeout (wallclock)
MAYBE
937.81/300.15
YES
25.16/6.81
YES
35.59/10.16
YES
7.52/2.39
ICFP_
2010_
relative/
3589.xml
11771797
is
timeout (wallclock)
MAYBE
937.07/299.58
timeout (wallclock)
timeout (wallclock)
YES
35.62/10.75
ICFP_
2010_
relative/
132738.xml
11771798
i
timeout (wallclock)
MAYBE
937.45/300.13
YES
61.06/15.88
YES
34.96/9.73
YES
7.82/2.64
ICFP_
2010_
relative/
3633.xml
11771799
i
timeout (wallclock)
MAYBE
936.93/299.56
YES
1079.56/284.81
timeout (wallclock)
YES
478.32/153.56
ICFP_
2010_
relative/
137809.xml
11771800
is
timeout (wallclock)
MAYBE
937.62/299.93
timeout (wallclock)
timeout (wallclock)
YES
18.44/5.72
ICFP_
2010_
relative/
139174.xml
11771801
i
timeout (wallclock)
MAYBE
937.73/300.09
YES
61.85/16.03
YES
49.65/13.28
YES
7.78/2.49
ICFP_
2010_
relative/
4953.xml
11771802
i
timeout (wallclock)
MAYBE
937.26/299.55
YES
27.00/7.20
timeout (wallclock)
YES
8.75/2.88
ICFP_
2010_
relative/
5076.xml
11771803
i
timeout (wallclock)
MAYBE
936.81/299.50
YES
379.85/119.55
timeout (wallclock)
YES
435.72/135.48
ICFP_
2010_
relative/
3989.xml
11771804
u
timeout (wallclock)
MAYBE
937.07/299.51
timeout (wallclock)
timeout (wallclock)
timeout (wallclock)
ICFP_
2010_
relative/
3762.xml
11771805
is
timeout (wallclock)
MAYBE
937.23/299.56
YES
402.80/104.70
timeout (wallclock)
timeout (wallclock)
ICFP_
2010_
relative/
4374.xml
11771806
u
timeout (wallclock)
MAYBE
936.56/299.56
timeout (wallclock)
timeout (wallclock)
timeout (wallclock)
ICFP_
2010_
relative/
123759.xml
11771807
is
timeout (wallclock)
MAYBE
791.56/299.95
timeout (wallclock)
timeout (wallclock)
YES
18.73/5.58
ICFP_
2010_
relative/
132720.xml
11771808
i
timeout (wallclock)
MAYBE
937.63/300.13
YES
576.90/145.69
YES
39.96/10.98
YES
8.73/3.04
ICFP_
2010_
relative/
133881.xml
11771809
is
timeout (wallclock)
MAYBE
937.05/300.00
timeout (wallclock)
timeout (wallclock)
YES
17.49/5.25
ICFP_
2010_
relative/
128486.xml
11771810
i
timeout (wallclock)
MAYBE
937.92/300.15
YES
71.47/18.50
YES
55.83/14.97
YES
9.07/2.90
ICFP_
2010_
relative/
4248.xml
11771811
u
timeout (wallclock)
MAYBE
937.08/299.56
timeout (wallclock)
timeout (wallclock)
timeout (wallclock)
ICFP_
2010_
relative/
138269.xml
11771812
i
timeout (wallclock)
MAYBE
793.66/299.96
YES
89.04/23.36
timeout (wallclock)
YES
21.56/6.47
ICFP_
2010_
relative/
142142.xml
11771813
is
timeout (wallclock)
MAYBE
937.26/299.89
YES
285.77/74.57
timeout (wallclock)
timeout (wallclock)
ICFP_
2010_
relative/
133486.xml
11771814
is
timeout (wallclock)
MAYBE
791.98/299.93
timeout (wallclock)
timeout (wallclock)
YES
48.72/15.34
ICFP_
2010_
relative/
140659.xml
11771815
u
timeout (wallclock)
MAYBE
937.20/299.86
timeout (wallclock)
timeout (wallclock)
timeout (wallclock)
ICFP_
2010_
relative/
3856.xml
11771816
i
timeout (wallclock)
MAYBE
937.35/299.53
YES
24.48/6.60
YES
104.31/27.19
YES
7.79/2.56
ICFP_
2010_
relative/
97917.xml
11771817
u
timeout (wallclock)
timeout (wallclock)
timeout (cpu)
timeout (wallclock)
timeout (wallclock)
ICFP_
2010_
relative/
4979.xml
11771818
is
timeout (wallclock)
MAYBE
937.00/299.55
timeout (wallclock)
timeout (wallclock)
YES
293.98/94.45
ICFP_
2010_
relative/
3746.xml
11771819
u
timeout (wallclock)
MAYBE
936.77/299.55
timeout (wallclock)
timeout (wallclock)
timeout (wallclock)
ICFP_
2010_
relative/
138194.xml
11771820
is
timeout (wallclock)
MAYBE
792.60/299.94
timeout (wallclock)
timeout (wallclock)
YES
59.98/19.26
ICFP_
2010_
relative/
4970.xml
11771821
is
timeout (wallclock)
MAYBE
653.00/299.50
YES
265.60/88.88
MAYBE
0.57/0.39
timeout (wallclock)
ICFP_
2010_
relative/
4854.xml
11771822
is
timeout (wallclock)
MAYBE
936.81/299.57
timeout (wallclock)
timeout (wallclock)
YES
581.23/185.46
ICFP_
2010_
relative/
135782.xml
11771823
is
timeout (wallclock)
MAYBE
937.67/300.11
timeout (wallclock)
timeout (wallclock)
YES
21.43/6.35
ICFP_
2010_
relative/
4819.xml
11771824
i
timeout (wallclock)
MAYBE
931.19/299.49
YES
23.06/6.20
YES
81.26/21.63
YES
8.25/3.21
ICFP_
2010_
relative/
3467.xml
11771825
i
timeout (wallclock)
MAYBE
936.79/299.55
YES
22.90/6.17
timeout (wallclock)
YES
8.23/2.63
ICFP_
2010_
relative/
3770.xml
11771826
u
timeout (wallclock)
MAYBE
936.70/299.51
timeout (wallclock)
timeout (wallclock)
timeout (wallclock)
ICFP_
2010_
relative/
131982.xml
11771827
i
timeout (wallclock)
MAYBE
937.71/299.93
YES
255.80/65.30
timeout (wallclock)
YES
20.80/6.21
ICFP_
2010_
relative/
5011.xml
11771828
u
timeout (wallclock)
MAYBE
653.37/299.48
timeout (wallclock)
MAYBE
0.58/0.34
timeout (wallclock)
ICFP_
2010_
relative/
4934.xml
11771829
u
timeout (wallclock)
MAYBE
937.21/299.53
timeout (wallclock)
timeout (wallclock)
timeout (wallclock)
ICFP_
2010_
relative/
3705.xml
11771830
is
timeout (wallclock)
MAYBE
936.97/299.57
timeout (wallclock)
timeout (wallclock)
YES
278.98/88.70
ICFP_
2010_
relative/
132833.xml
11771831
i
timeout (wallclock)
MAYBE
937.71/300.16
YES
75.28/19.52
YES
51.00/13.74
YES
32.94/10.41
ICFP_
2010_
relative/
142146.xml
11771832
i
timeout (wallclock)
MAYBE
937.51/299.91
YES
31.95/8.37
YES
60.68/26.85
YES
5.85/4.39
ICFP_
2010_
relative/
3995.xml
11771833
i
timeout (wallclock)
MAYBE
936.38/299.56
YES
851.01/216.65
timeout (wallclock)
YES
8.97/2.86
ICFP_
2010_
relative/
139236.xml
11771834
i
timeout (wallclock)
MAYBE
937.93/300.14
YES
60.78/15.78
YES
40.67/11.11
YES
11.14/5.67
ICFP_
2010_
relative/
4036.xml
11771835
i
timeout (wallclock)
MAYBE
936.98/299.57
YES
21.55/5.80
YES
179.15/45.79
YES
9.02/2.76
ICFP_
2010_
relative/
140318.xml
11771836
i
timeout (wallclock)
MAYBE
937.21/300.11
YES
71.83/18.76
YES
37.67/10.34
YES
8.96/2.93
ICFP_
2010_
relative/
132957.xml
11771837
i
timeout (wallclock)
MAYBE
937.84/300.11
YES
491.36/123.98
YES
50.50/13.96
YES
42.38/12.75
ICFP_
2010_
relative/
139185.xml
11771838
i
timeout (wallclock)
MAYBE
937.65/300.10
YES
64.74/16.79
YES
37.71/10.28
YES
36.65/11.98
ICFP_
2010_
relative/
140654.xml
11771839
u
timeout (wallclock)
MAYBE
918.32/299.87
timeout (wallclock)
timeout (wallclock)
timeout (wallclock)
ICFP_
2010_
relative/
128620.xml
11771840
i
timeout (wallclock)
MAYBE
937.66/300.11
YES
61.41/16.01
YES
35.01/9.71
YES
35.35/11.43
ICFP_
2010_
relative/
5109.xml
11771841
i
timeout (wallclock)
MAYBE
854.24/299.56
YES
22.72/6.13
YES
74.48/19.62
YES
8.18/2.57
ICFP_
2010_
relative/
135936.xml
11771842
i
timeout (wallclock)
MAYBE
792.65/299.96
timeout (wallclock)
YES
708.14/230.75
YES
19.77/6.06
ICFP_
2010_
relative/
140639.xml
11771843
u
timeout (wallclock)
MAYBE
937.25/299.92
timeout (wallclock)
timeout (wallclock)
timeout (wallclock)
ICFP_
2010_
relative/
3831.xml
11771844
i
timeout (wallclock)
MAYBE
937.37/299.57
YES
23.87/6.43
YES
97.05/26.00
YES
7.94/2.57
ICFP_
2010_
relative/
4029.xml
11771845
i
timeout (wallclock)
MAYBE
936.45/299.62
YES
131.47/35.62
timeout (wallclock)
YES
566.38/182.09
ICFP_
2010_
relative/
139378.xml
11771846
i
timeout (wallclock)
MAYBE
937.88/300.16
YES
61.04/15.86
YES
60.51/16.22
YES
6.35/2.09
ICFP_
2010_
relative/
140287.xml
11771847
u
timeout (wallclock)
MAYBE
937.75/300.16
timeout (wallclock)
timeout (wallclock)
timeout (wallclock)
ICFP_
2010_
relative/
137404.xml
11771848
i
timeout (wallclock)
MAYBE
936.81/299.98
YES
78.95/20.77
timeout (wallclock)
YES
22.01/6.66
ICFP_
2010_
relative/
142157.xml
11771849
u
timeout (wallclock)
MAYBE
936.98/299.89
timeout (wallclock)
timeout (wallclock)
timeout (wallclock)
ICFP_
2010_
relative/
134918.xml
11771850
i
timeout (wallclock)
MAYBE
937.66/299.97
YES
89.85/23.69
timeout (wallclock)
YES
20.51/6.36
ICFP_
2010_
relative/
142150.xml
11771851
u
timeout (wallclock)
MAYBE
937.06/299.90
timeout (wallclock)
timeout (wallclock)
timeout (wallclock)
ICFP_
2010_
relative/
4282.xml
11771852
i
timeout (wallclock)
MAYBE
821.13/299.54
YES
22.08/7.02
timeout (wallclock)
YES
7.28/2.33
ICFP_
2010_
relative/
124791.xml
11771853
i
timeout (wallclock)
MAYBE
792.91/299.96
YES
79.11/20.84
timeout (wallclock)
YES
68.09/21.96
ICFP_
2010_
relative/
128430.xml
11771854
i
timeout (wallclock)
MAYBE
937.08/300.12
YES
60.77/15.78
YES
48.64/13.19
YES
8.66/2.87
ICFP_
2010_
relative/
128056.xml
11771855
u
timeout (wallclock)
MAYBE
937.89/300.15
timeout (wallclock)
timeout (wallclock)
timeout (wallclock)
ICFP_
2010_
relative/
136562.xml
11771856
i
timeout (wallclock)
MAYBE
937.20/299.95
YES
318.26/81.02
timeout (wallclock)
YES
28.02/8.73
ICFP_
2010_
relative/
4487.xml
11771857
i
timeout (wallclock)
MAYBE
936.68/299.57
YES
22.22/5.98
timeout (wallclock)
YES
8.13/2.63
ICFP_
2010_
relative/
4824.xml
11771858
i
timeout (wallclock)
MAYBE
936.90/299.53
YES
22.74/6.16
timeout (wallclock)
YES
18.73/5.43
ICFP_
2010_
relative/
107236.xml
11771859
u
timeout (wallclock)
MAYBE
937.19/300.68
timeout (cpu)
timeout (wallclock)
timeout (wallclock)
ICFP_
2010_
relative/
133159.xml
11771860
i
timeout (wallclock)
MAYBE
937.28/299.98
YES
78.38/20.64
timeout (wallclock)
YES
11.46/3.53
ICFP_
2010_
relative/
139004.xml
11771861
i
timeout (wallclock)
MAYBE
937.29/300.16
YES
64.00/16.59
YES
43.11/11.70
YES
8.40/2.78
ICFP_
2010_
relative/
138477.xml
11771862
is
timeout (wallclock)
MAYBE
791.65/300.04
timeout (wallclock)
timeout (wallclock)
YES
16.95/5.27
ICFP_
2010_
relative/
3861.xml
11771863
i
timeout (wallclock)
MAYBE
937.19/299.52
YES
849.43/220.99
timeout (wallclock)
YES
68.60/21.34
ICFP_
2010_
relative/
3939.xml
11771864
i
timeout (wallclock)
MAYBE
937.16/299.55
YES
23.03/6.25
timeout (wallclock)
YES
9.88/3.07
ICFP_
2010_
relative/
88172.xml
11771865
i
timeout (wallclock)
MAYBE
936.87/299.61
YES
28.81/7.43
timeout (wallclock)
YES
3.84/1.29
ICFP_
2010_
relative/
4816.xml
11771866
i
timeout (wallclock)
MAYBE
936.95/299.55
YES
27.84/7.39
YES
226.07/57.63
YES
7.73/2.49
ICFP_
2010_
relative/
135604.xml
11771867
i
timeout (wallclock)
MAYBE
791.63/299.98
YES
86.26/22.84
timeout (wallclock)
YES
17.49/5.34
ICFP_
2010_
relative/
4002.xml
11771868
u
timeout (wallclock)
MAYBE
884.22/299.52
timeout (wallclock)
timeout (wallclock)
timeout (wallclock)
ICFP_
2010_
relative/
139036.xml
11771869
i
timeout (wallclock)
MAYBE
936.87/300.14
YES
60.39/15.68
YES
47.73/13.09
YES
6.33/2.07
ICFP_
2010_
relative/
97929.xml
11771870
u
timeout (wallclock)
timeout (wallclock)
timeout (cpu)
timeout (wallclock)
timeout (wallclock)
ICFP_
2010_
relative/
124269.xml
11771871
i
timeout (wallclock)
MAYBE
791.06/299.96
YES
70.71/18.52
timeout (wallclock)
YES
18.74/5.68
ICFP_
2010_
relative/
3930.xml
11771872
is
timeout (wallclock)
MAYBE
936.92/299.56
timeout (wallclock)
timeout (wallclock)
YES
52.43/16.14
ICFP_
2010_
relative/
140359.xml
11771873
i
timeout (wallclock)
MAYBE
937.69/300.15
YES
83.06/21.43
YES
35.62/9.88
YES
8.03/2.75
ICFP_
2010_
relative/
139167.xml
11771874
i
timeout (wallclock)
MAYBE
937.40/300.17
YES
238.83/60.70
YES
49.20/13.35
YES
9.69/2.93
ICFP_
2010_
relative/
63142.xml
11771875
i
timeout (wallclock)
MAYBE
843.64/299.62
YES
93.04/24.59
timeout (wallclock)
YES
53.67/14.27
ICFP_
2010_
relative/
4991.xml
11771876
u
timeout (wallclock)
MAYBE
936.78/299.56
timeout (wallclock)
timeout (wallclock)
timeout (wallclock)
ICFP_
2010_
relative/
127538.xml
11771877
i
timeout (wallclock)
MAYBE
937.51/300.15
YES
64.30/16.75
YES
42.78/11.70
YES
8.69/2.99
ICFP_
2010_
relative/
128515.xml
11771878
i
timeout (wallclock)
MAYBE
937.45/300.15
YES
176.24/44.91
YES
54.61/14.60
YES
5.76/1.96
ICFP_
2010_
relative/
139214.xml
11771879
i
timeout (wallclock)
MAYBE
937.44/300.16
YES
128.48/32.95
YES
38.56/10.69
YES
8.97/2.98
ICFP_
2010_
relative/
136623.xml
11771880
i
timeout (wallclock)
MAYBE
791.63/299.96
YES
216.88/55.61
timeout (wallclock)
YES
16.22/5.74
ICFP_
2010_
relative/
132540.xml
11771881
i
timeout (wallclock)
MAYBE
937.85/300.12
YES
537.60/136.20
YES
45.34/12.30
YES
6.80/2.18
ICFP_
2010_
relative/
107220.xml
11771882
u
timeout (wallclock)
MAYBE
937.77/300.64
timeout (cpu)
timeout (wallclock)
timeout (wallclock)
ICFP_
2010_
relative/
140631.xml
11771883
u
timeout (wallclock)
MAYBE
937.65/299.91
timeout (wallclock)
timeout (wallclock)
timeout (wallclock)
ICFP_
2010_
relative/
133010.xml
11771884
i
timeout (wallclock)
MAYBE
937.49/300.17
YES
61.48/15.94
YES
54.46/14.59
YES
12.10/4.00
ICFP_
2010_
relative/
3842.xml
11771885
i
timeout (wallclock)
MAYBE
937.01/299.57
YES
321.99/98.68
timeout (wallclock)
YES
22.94/6.70
ICFP_
2010_
relative/
132622.xml
11771886
i
timeout (wallclock)
MAYBE
937.42/300.21
YES
551.77/139.02
YES
77.10/23.27
YES
8.43/2.75
ICFP_
2010_
relative/
139282.xml
11771887
i
timeout (wallclock)
MAYBE
937.23/300.14
YES
64.23/16.72
YES
43.33/11.78
YES
8.88/2.88
ICFP_
2010_
relative/
4847.xml
11771888
is
timeout (wallclock)
MAYBE
936.65/299.57
timeout (wallclock)
timeout (wallclock)
YES
425.11/136.20
ICFP_
2010_
relative/
3729.xml
11771889
i
timeout (wallclock)
MAYBE
937.00/299.57
YES
23.46/6.36
timeout (wallclock)
YES
8.35/2.71
ICFP_
2010_
relative/
128280.xml
11771890
i
timeout (wallclock)
MAYBE
937.73/300.15
YES
61.98/16.09
YES
42.86/11.92
YES
9.25/3.02
ICFP_
2010_
relative/
135652.xml
11771891
is
timeout (wallclock)
MAYBE
937.39/299.98
timeout (wallclock)
timeout (wallclock)
YES
19.67/6.05
ICFP_
2010_
relative/
132864.xml
11771892
i
timeout (wallclock)
MAYBE
937.76/300.16
YES
73.15/19.05
YES
33.00/9.28
YES
8.30/2.89
ICFP_
2010_
relative/
4840.xml
11771893
u
timeout (wallclock)
MAYBE
936.65/299.58
timeout (wallclock)
timeout (wallclock)
timeout (wallclock)
ICFP_
2010_
relative/
4964.xml
11771894
is
timeout (wallclock)
MAYBE
937.07/299.57
timeout (wallclock)
timeout (wallclock)
YES
15.03/4.55
ICFP_
2010_
relative/
138993.xml
11771895
i
timeout (wallclock)
MAYBE
937.35/300.14
YES
60.79/15.78
YES
37.91/10.52
YES
8.19/2.57
59
93
222
165
210