TermComp 2020
: SRS Relative Certified
41504
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
Mixed_
relative_
SRS/
zr02new.xml
11771691
YES
14.61/3.92
YES
9.57/3.52
Mixed_
relative_
SRS/
dup02.xml
11771692
is
MAYBE
892.07/300.36
YES
58.46/15.52
Mixed_
relative_
SRS/
zr09.xml
11771693
YES
2.58/0.90
YES
6.79/2.56
Mixed_
relative_
SRS/
zr07.xml
11771694
YES
3.09/1.06
YES
8.36/3.61
Mixed_
relative_
SRS/
zr11.xml
11771695
YES
4.79/1.50
YES
16.37/4.99
Mixed_
relative_
SRS/
zr01.xml
11771696
YES
3.83/1.43
YES
6.34/2.36
Mixed_
relative_
SRS/
un03.xml
11771697
u
MAYBE
892.24/300.37
MAYBE
985.76/300.69
Mixed_
relative_
SRS/
zr06.xml
11771698
YES
2.16/0.84
YES
5.95/2.23
Mixed_
relative_
SRS/
zr08.xml
11771699
YES
5.24/1.54
YES
8.98/3.11
Mixed_
relative_
SRS/
dup03.xml
11771700
YES
11.83/3.23
YES
54.07/14.46
Mixed_
relative_
SRS/
dup04.xml
11771701
is
MAYBE
890.94/300.37
YES
386.42/108.02
Mixed_
relative_
SRS/
zr04new.xml
11771702
is
MAYBE
891.54/300.39
YES
14.37/4.38
Mixed_
relative_
SRS/
zr10.xml
11771703
YES
5.84/1.72
YES
13.68/4.25
Mixed_
relative_
SRS/
zr13.xml
11771704
NO
1.00/0.49
NO
3.76/1.68
Mixed_
relative_
SRS/
zr05.xml
11771705
YES
1.93/0.73
YES
5.12/2.03
Mixed_
relative_
SRS/
zr02.xml
11771706
YES
7.44/2.14
YES
8.00/2.87
Mixed_
relative_
SRS/
zr12.xml
11771707
YES
3.20/1.03
YES
7.11/2.58
Mixed_
relative_
SRS/
zr03.xml
11771708
YES
1.37/0.59
YES
4.23/1.85
Mixed_
relative_
SRS/
un01.xml
11771709
is
MAYBE
892.09/300.37
YES
71.23/19.50
Mixed_
relative_
SRS/
zr04.xml
11771710
is
MAYBE
892.17/300.31
YES
17.19/5.21
Waldmann_
06_
relative/
r5.xml
11771711
YES
2.27/0.86
YES
15.41/4.97
Waldmann_
06_
relative/
r2.xml
11771712
u
MAYBE
9.58/7.35
MAYBE
0.36/0.46
Waldmann_
06_
relative/
r3.xml
11771713
YES
3.16/1.06
YES
60.52/16.96
Waldmann_
06_
relative/
r4.xml
11771714
is
MAYBE
891.93/300.32
YES
945.60/238.02
Waldmann_
06_
relative/
r10.xml
11771715
is
MAYBE
892.12/300.30
YES
476.17/119.92
Waldmann_
06_
relative/
r9.xml
11771716
YES
6.84/1.99
YES
25.68/7.17
Waldmann_
06_
relative/
r7.xml
11771717
YES
3.55/1.12
YES
5.21/2.04
Waldmann_
06_
relative/
rbeans.xml
11771718
u
MAYBE
8.96/7.30
MAYBE
0.36/0.27
Waldmann_
06_
relative/
r1.xml
11771719
u
MAYBE
8.75/7.34
MAYBE
0.35/0.29
Waldmann_
06_
relative/
r6.xml
11771720
YES
4.46/1.39
YES
10.93/3.52
Waldmann_
06_
relative/
r8.xml
11771721
YES
6.35/2.00
YES
19.07/5.63
Waldmann_
19/
random-195.xml
8321526
u
MAYBE
892.23/300.37
timeout (wallclock)
Waldmann_
19/
random-76.xml
8321527
YES
1.24/0.58
YES
7.70/2.78
Waldmann_
19/
random-228.xml
8321528
YES
8.70/2.48
YES
8.10/2.83
Waldmann_
19/
random-78.xml
8321529
YES
16.66/4.47
YES
44.36/11.94
Waldmann_
19/
random-226.xml
8321530
YES
8.53/2.45
YES
5.96/2.26
Waldmann_
19/
random-221.xml
8321531
YES
8.13/2.28
YES
5.34/2.18
Waldmann_
19/
random-43.xml
8321532
is
MAYBE
892.27/300.31
YES
118.90/30.66
Waldmann_
19/
random-176.xml
8321533
u
MAYBE
892.34/300.33
MAYBE
1178.54/296.18
Waldmann_
19/
random-92.xml
8321534
is
MAYBE
892.24/300.36
YES
75.73/19.70
Waldmann_
19/
random-38.xml
8321535
u
MAYBE
892.14/300.33
timeout (cpu)
Waldmann_
19/
random-95.xml
8321536
YES
1.32/0.62
YES
4.70/2.08
Waldmann_
19/
random-84.xml
8321537
u
MAYBE
892.34/300.36
timeout (wallclock)
Waldmann_
19/
random-160.xml
8321538
YES
1.14/0.56
YES
8.04/2.86
Waldmann_
19/
random-52.xml
8321539
YES
15.94/4.29
YES
6.14/2.36
Waldmann_
19/
random-202.xml
8321540
s
ERROR
20.86/5.51
YES
62.69/16.48
Waldmann_
19/
random-115.xml
8321541
YES
11.77/3.19
YES
6.10/2.36
Waldmann_
19/
random-27.xml
8321542
u
MAYBE
892.30/300.34
MAYBE
1180.82/296.91
Waldmann_
19/
random-120.xml
8321543
YES
5.77/1.67
YES
5.22/2.07
Waldmann_
19/
random-152.xml
8321544
is
MAYBE
891.88/300.31
YES
55.13/18.55
Waldmann_
19/
random-67.xml
8321545
is
MAYBE
891.96/300.36
YES
57.17/15.11
Waldmann_
19/
random-60.xml
8321546
u
MAYBE
891.68/300.35
timeout (wallclock)
Waldmann_
19/
random-184.xml
8321547
YES
6.23/1.80
YES
5.18/2.06
Waldmann_
19/
random-39.xml
8321548
is
MAYBE
891.92/300.35
YES
20.51/6.07
Waldmann_
19/
random-45.xml
8321549
s
ERROR
21.12/5.57
YES
48.09/12.85
Waldmann_
19/
random-177.xml
8321550
u
MAYBE
892.32/300.32
MAYBE
1174.28/295.28
Waldmann_
19/
random-42.xml
8321551
is
MAYBE
892.18/300.32
YES
10.34/3.52
Waldmann_
19/
random-93.xml
8321552
YES
8.88/2.50
YES
6.34/2.35
Waldmann_
19/
random-105.xml
8321553
YES
10.52/2.91
YES
26.19/7.39
Waldmann_
19/
random-212.xml
8321554
is
MAYBE
892.12/300.30
YES
51.53/13.66
Waldmann_
19/
random-137.xml
8321555
YES
0.72/0.45
YES
5.65/2.14
Waldmann_
19/
random-79.xml
8321556
is
MAYBE
892.18/300.30
YES
57.12/15.09
Waldmann_
19/
random-227.xml
8321557
is
MAYBE
891.94/300.37
YES
27.20/13.44
Waldmann_
19/
random-130.xml
8321558
u
MAYBE
892.15/300.33
timeout (wallclock)
Waldmann_
19/
random-142.xml
8321559
YES
17.83/4.70
YES
8.89/2.99
Waldmann_
19/
random-77.xml
8321560
YES
15.04/4.02
YES
6.57/2.43
Waldmann_
19/
random-145.xml
8321561
YES
12.74/3.42
YES
31.47/8.68
Waldmann_
19/
random-70.xml
8321562
YES
9.73/2.72
YES
7.51/2.73
Waldmann_
19/
random-66.xml
8321563
YES
7.57/2.18
YES
11.49/3.66
Waldmann_
19/
random-182.xml
8321564
u
MAYBE
892.20/300.35
MAYBE
1181.50/297.51
Waldmann_
19/
random-68.xml
8321565
u
MAYBE
892.21/300.31
MAYBE
0.40/0.30
Waldmann_
19/
random-14.xml
8321566
YES
14.25/3.84
YES
10.95/3.49
Waldmann_
19/
random-126.xml
8321567
YES
1.13/0.51
YES
6.01/2.26
Waldmann_
19/
random-26.xml
8321568
YES
10.35/2.89
YES
7.33/2.56
Waldmann_
19/
random-113.xml
8321569
YES
14.40/3.84
YES
6.48/2.36
Waldmann_
19/
random-168.xml
8321570
YES
7.67/2.19
YES
5.35/2.08
Waldmann_
19/
random-82.xml
8321571
u
MAYBE
892.41/300.30
timeout (cpu)
Waldmann_
19/
random-166.xml
8321572
u
MAYBE
892.27/300.30
MAYBE
1166.61/293.47
Waldmann_
19/
random-28.xml
8321573
is
MAYBE
891.95/300.31
YES
210.66/53.67
Waldmann_
19/
random-150.xml
8321574
is
MAYBE
891.74/300.33
YES
26.81/7.51
Waldmann_
19/
random-65.xml
8321575
YES
12.70/3.41
YES
4.86/1.95
Waldmann_
19/
random-62.xml
8321576
u
MAYBE
892.23/300.31
timeout (cpu)
Waldmann_
19/
random-186.xml
8321577
is
MAYBE
892.26/300.30
YES
910.16/228.90
Waldmann_
19/
random-10.xml
8321578
YES
5.39/1.58
YES
5.88/2.35
Waldmann_
19/
random-232.xml
8321579
is
MAYBE
892.21/300.30
YES
40.36/10.92
Waldmann_
19/
random-159.xml
8321580
YES
15.94/4.27
YES
52.39/13.88
Waldmann_
19/
random-207.xml
8321581
u
MAYBE
892.16/300.30
timeout (wallclock)
Waldmann_
19/
random-110.xml
8321582
YES
16.75/4.43
YES
8.02/2.91
Waldmann_
19/
random-59.xml
8321583
u
MAYBE
891.99/300.32
timeout (cpu)
Waldmann_
19/
random-209.xml
8321584
u
MAYBE
891.62/300.30
timeout (cpu)
Waldmann_
19/
random-86.xml
8321585
YES
7.27/2.66
YES
36.37/9.90
Waldmann_
19/
random-162.xml
8321586
YES
8.26/2.32
YES
4.87/1.97
Waldmann_
19/
random-57.xml
8321587
is
MAYBE
892.20/300.30
YES
59.01/15.60
Waldmann_
19/
random-81.xml
8321588
YES
13.50/3.65
YES
151.72/38.74
Waldmann_
19/
random-50.xml
8321589
YES
1.14/0.52
YES
4.40/2.77
Waldmann_
19/
random-41.xml
8321590
is
MAYBE
892.18/300.35
YES
5.49/2.32
Waldmann_
19/
random-46.xml
8321591
is
MAYBE
891.29/300.38
YES
7.46/2.61
Waldmann_
19/
random-173.xml
8321592
YES
10.41/2.87
YES
7.47/2.65
Waldmann_
19/
random-34.xml
8321593
YES
0.60/0.43
YES
4.98/2.07
Waldmann_
19/
random-216.xml
8321594
u
MAYBE
892.16/300.33
timeout (wallclock)
Waldmann_
19/
random-99.xml
8321595
u
MAYBE
892.16/300.31
timeout (wallclock)
Waldmann_
19/
random-33.xml
8321596
u
MAYBE
891.57/300.31
timeout (wallclock)
Waldmann_
19/
random-106.xml
8321597
u
MAYBE
892.36/300.34
timeout (cpu)
Waldmann_
19/
random-134.xml
8321598
YES
9.68/2.66
YES
6.94/2.58
Waldmann_
19/
random-148.xml
8321599
is
MAYBE
892.18/300.30
YES
124.63/35.58
Waldmann_
19/
random-146.xml
8321600
YES
7.56/2.18
YES
6.79/2.45
Waldmann_
19/
random-141.xml
8321601
is
MAYBE
892.18/300.30
NO
454.57/114.54
Waldmann_
19/
random-80.xml
8321602
YES
1.10/0.53
YES
4.97/1.99
Waldmann_
19/
random-164.xml
8321603
YES
1.31/0.56
YES
5.22/2.15
Waldmann_
19/
random-208.xml
8321604
is
MAYBE
892.43/300.30
YES
148.02/38.63
Waldmann_
19/
random-163.xml
8321605
u
MAYBE
892.05/300.35
timeout (cpu)
Waldmann_
19/
random-24.xml
8321606
YES
1.36/0.64
YES
4.84/2.13
Waldmann_
19/
random-89.xml
8321607
YES
14.15/3.84
YES
9.06/3.26
Waldmann_
19/
random-58.xml
8321608
is
MAYBE
892.19/300.36
YES
8.01/2.94
Waldmann_
19/
random-116.xml
8321609
YES
15.18/4.08
YES
4.49/2.11
Waldmann_
19/
random-16.xml
8321610
YES
1.16/0.58
YES
5.67/2.27
Waldmann_
19/
random-123.xml
8321611
u
MAYBE
892.11/300.38
timeout (cpu)
Waldmann_
19/
random-11.xml
8321612
u
MAYBE
892.15/300.34
timeout (wallclock)
Waldmann_
19/
random-187.xml
8321613
is
MAYBE
891.98/300.33
YES
54.57/14.55
Waldmann_
19/
random-151.xml
8321614
is
MAYBE
892.27/300.35
YES
50.44/13.71
Waldmann_
19/
random-140.xml
8321615
YES
7.05/2.05
YES
5.11/2.04
Waldmann_
19/
random-75.xml
8321616
is
MAYBE
892.04/300.35
YES
43.30/12.10
Waldmann_
19/
random-72.xml
8321617
is
MAYBE
891.99/300.34
YES
140.21/37.55
Waldmann_
19/
random-198.xml
8321618
u
MAYBE
892.22/300.35
timeout (wallclock)
Waldmann_
19/
random-149.xml
8321619
YES
8.21/2.34
YES
6.37/2.48
Waldmann_
19/
random-210.xml
8321620
YES
6.68/1.96
YES
4.78/1.89
Waldmann_
19/
random-35.xml
8321621
YES
6.79/1.98
YES
4.75/2.00
Waldmann_
19/
random-98.xml
8321622
YES
18.93/5.58
YES
51.78/13.92
Waldmann_
19/
random-172.xml
8321623
s
ERROR
25.22/6.96
YES
6.46/2.47
Waldmann_
19/
random-175.xml
8321624
u
MAYBE
892.07/300.36
timeout (cpu)
Waldmann_
19/
random-109.xml
8321625
YES
18.86/4.95
YES
6.42/2.37
Zantema_
06_
relative/
rel13.xml
11771722
YES
10.08/2.76
YES
8.29/2.92
Zantema_
06_
relative/
rel02.xml
11771723
is
MAYBE
889.41/300.32
YES
13.18/4.07
Zantema_
06_
relative/
rel05.xml
11771724
YES
2.39/0.87
YES
12.64/4.03
Zantema_
06_
relative/
rel12.xml
11771725
u
MAYBE
891.84/300.35
MAYBE
1164.69/293.25
Zantema_
06_
relative/
rel04.xml
11771726
YES
5.03/1.52
YES
13.02/4.14
Zantema_
06_
relative/
rel03.xml
11771727
u
MAYBE
888.87/300.35
MAYBE
1170.52/294.39
Zantema_
06_
relative/
rel07.xml
11771728
u
MAYBE
891.88/300.32
MAYBE
1165.25/292.79
Zantema_
06_
relative/
rel09.xml
11771729
YES
8.43/2.43
YES
31.34/8.78
Zantema_
06_
relative/
rel11.xml
11771730
u
MAYBE
892.03/300.33
MAYBE
1193.64/299.53
Zantema_
06_
relative/
rel08.xml
11771731
YES
13.33/3.62
YES
10.65/3.45
Zantema_
06_
relative/
rel06.xml
11771732
is
MAYBE
889.90/300.30
YES
29.54/8.34
Zantema_
06_
relative/
rel01.xml
11771733
YES
3.43/1.15
YES
5.80/2.40
Zantema_
06_
relative/
rel10.xml
11771734
YES
5.09/1.53
YES
27.29/11.11
Zantema_
06_
relative/
cars.xml
11771735
u
MAYBE
892.25/300.36
timeout (wallclock)
ICFP_
2010_
relative/
54097.xml
11771736
u
timeout (wallclock)
timeout (wallclock)
ICFP_
2010_
relative/
135115.xml
11771737
u
MAYBE
893.04/301.04
timeout (wallclock)
ICFP_
2010_
relative/
4141.xml
11771738
u
ERROR
415.96/140.99
timeout (wallclock)
ICFP_
2010_
relative/
4920.xml
11771739
u
MAYBE
892.66/300.53
timeout (wallclock)
ICFP_
2010_
relative/
4017.xml
11771740
u
MAYBE
892.01/300.63
timeout (wallclock)
ICFP_
2010_
relative/
139100.xml
11771741
is
timeout (wallclock)
YES
52.69/14.60
ICFP_
2010_
relative/
135328.xml
11771742
u
MAYBE
893.08/301.01
timeout (wallclock)
ICFP_
2010_
relative/
132235.xml
11771743
u
MAYBE
892.70/301.02
timeout (wallclock)
ICFP_
2010_
relative/
4106.xml
11771744
u
MAYBE
892.14/300.51
timeout (wallclock)
ICFP_
2010_
relative/
140649.xml
11771745
u
MAYBE
892.67/300.97
timeout (wallclock)
ICFP_
2010_
relative/
64160.xml
11771746
u
MAYBE
892.46/300.61
timeout (wallclock)
ICFP_
2010_
relative/
3562.xml
11771747
u
MAYBE
892.50/300.49
timeout (wallclock)
ICFP_
2010_
relative/
139018.xml
11771748
is
timeout (wallclock)
YES
76.72/20.54
ICFP_
2010_
relative/
3268.xml
11771749
u
MAYBE
892.45/300.41
timeout (wallclock)
ICFP_
2010_
relative/
4057.xml
11771750
u
MAYBE
892.51/300.74
timeout (wallclock)
ICFP_
2010_
relative/
3450.xml
11771751
u
MAYBE
892.10/300.56
timeout (wallclock)
ICFP_
2010_
relative/
4046.xml
11771752
u
MAYBE
22.56/7.56
MAYBE
0.51/0.89
ICFP_
2010_
relative/
128182.xml
11771753
is
timeout (wallclock)
YES
40.62/11.24
ICFP_
2010_
relative/
139180.xml
11771754
is
timeout (wallclock)
YES
80.91/21.61
ICFP_
2010_
relative/
132478.xml
11771755
is
timeout (wallclock)
YES
63.71/17.24
ICFP_
2010_
relative/
139310.xml
11771756
is
timeout (wallclock)
YES
100.07/26.39
ICFP_
2010_
relative/
132920.xml
11771757
is
timeout (wallclock)
YES
47.90/13.79
ICFP_
2010_
relative/
4200.xml
11771758
u
MAYBE
892.61/300.49
timeout (wallclock)
ICFP_
2010_
relative/
136051.xml
11771759
u
MAYBE
892.93/300.98
MAYBE
909.74/295.96
ICFP_
2010_
relative/
4484.xml
11771760
u
MAYBE
892.30/300.55
timeout (wallclock)
ICFP_
2010_
relative/
4827.xml
11771761
u
MAYBE
892.40/300.52
timeout (wallclock)
ICFP_
2010_
relative/
88143.xml
11771762
s
ERROR
643.12/217.04
YES
49.47/17.00
ICFP_
2010_
relative/
3385.xml
11771763
u
MAYBE
892.22/300.46
timeout (wallclock)
ICFP_
2010_
relative/
132782.xml
11771764
is
timeout (wallclock)
YES
50.02/13.81
ICFP_
2010_
relative/
3533.xml
11771765
u
MAYBE
892.16/300.54
timeout (wallclock)
ICFP_
2010_
relative/
138330.xml
11771766
u
MAYBE
892.63/301.01
timeout (wallclock)
ICFP_
2010_
relative/
3865.xml
11771767
u
MAYBE
891.50/300.56
timeout (wallclock)
ICFP_
2010_
relative/
5130.xml
11771768
is
MAYBE
892.44/300.48
YES
104.81/27.42
ICFP_
2010_
relative/
132969.xml
11771769
u
MAYBE
893.10/301.02
timeout (wallclock)
ICFP_
2010_
relative/
91242.xml
11771770
u
timeout (wallclock)
timeout (wallclock)
ICFP_
2010_
relative/
41378.xml
11771771
u
ERROR
176.39/64.96
timeout (wallclock)
ICFP_
2010_
relative/
4074.xml
11771772
u
MAYBE
891.52/300.60
MAYBE
791.27/296.98
ICFP_
2010_
relative/
131633.xml
11771773
u
MAYBE
893.04/301.05
timeout (wallclock)
ICFP_
2010_
relative/
3680.xml
11771774
is
MAYBE
892.33/300.54
YES
103.58/27.37
ICFP_
2010_
relative/
124211.xml
11771775
u
MAYBE
892.43/300.96
timeout (wallclock)
ICFP_
2010_
relative/
4181.xml
11771776
s
ERROR
269.32/92.13
YES
384.97/152.89
ICFP_
2010_
relative/
4943.xml
11771777
u
MAYBE
891.87/300.49
timeout (wallclock)
ICFP_
2010_
relative/
3817.xml
11771778
u
MAYBE
892.38/300.54
timeout (wallclock)
ICFP_
2010_
relative/
4157.xml
11771779
u
MAYBE
892.22/300.81
timeout (wallclock)
ICFP_
2010_
relative/
4412.xml
11771780
is
MAYBE
892.40/300.50
YES
133.24/38.25
ICFP_
2010_
relative/
140664.xml
11771781
u
MAYBE
892.84/300.90
timeout (wallclock)
ICFP_
2010_
relative/
4938.xml
11771782
u
MAYBE
892.50/300.52
timeout (wallclock)
ICFP_
2010_
relative/
139163.xml
11771783
is
timeout (wallclock)
YES
70.86/23.89
ICFP_
2010_
relative/
3786.xml
11771784
u
MAYBE
892.50/300.54
timeout (wallclock)
ICFP_
2010_
relative/
3336.xml
11771785
u
MAYBE
22.49/7.43
MAYBE
0.56/0.31
ICFP_
2010_
relative/
3916.xml
11771786
u
MAYBE
22.55/7.48
MAYBE
0.63/0.44
ICFP_
2010_
relative/
139256.xml
11771787
is
timeout (wallclock)
YES
74.72/19.94
ICFP_
2010_
relative/
139190.xml
11771788
is
timeout (wallclock)
YES
49.20/15.07
ICFP_
2010_
relative/
4051.xml
11771789
is
MAYBE
892.12/300.49
YES
221.94/58.95
ICFP_
2010_
relative/
4893.xml
11771790
u
MAYBE
892.31/300.52
timeout (wallclock)
ICFP_
2010_
relative/
128691.xml
11771791
is
timeout (wallclock)
YES
61.40/16.61
ICFP_
2010_
relative/
3498.xml
11771792
u
ERROR
345.49/117.48
timeout (wallclock)
ICFP_
2010_
relative/
97888.xml
11771793
u
timeout (wallclock)
MAYBE
497.94/294.69
ICFP_
2010_
relative/
128550.xml
11771794
is
timeout (wallclock)
YES
55.82/16.02
ICFP_
2010_
relative/
97901.xml
11771795
u
timeout (wallclock)
timeout (wallclock)
ICFP_
2010_
relative/
139025.xml
11771796
is
timeout (wallclock)
YES
42.54/11.80
ICFP_
2010_
relative/
3589.xml
11771797
u
MAYBE
892.50/300.50
timeout (wallclock)
ICFP_
2010_
relative/
132738.xml
11771798
is
timeout (wallclock)
YES
38.93/10.91
ICFP_
2010_
relative/
3633.xml
11771799
u
MAYBE
892.44/300.53
timeout (wallclock)
ICFP_
2010_
relative/
137809.xml
11771800
is
MAYBE
892.89/300.99
YES
578.56/156.32
ICFP_
2010_
relative/
139174.xml
11771801
is
timeout (wallclock)
YES
42.14/11.72
ICFP_
2010_
relative/
4953.xml
11771802
u
MAYBE
892.43/300.54
timeout (wallclock)
ICFP_
2010_
relative/
5076.xml
11771803
u
MAYBE
892.37/300.47
timeout (wallclock)
ICFP_
2010_
relative/
3989.xml
11771804
u
MAYBE
892.40/300.55
timeout (wallclock)
ICFP_
2010_
relative/
3762.xml
11771805
u
MAYBE
892.32/300.54
timeout (wallclock)
ICFP_
2010_
relative/
4374.xml
11771806
u
MAYBE
892.52/300.54
timeout (wallclock)
ICFP_
2010_
relative/
123759.xml
11771807
u
MAYBE
892.99/301.03
timeout (wallclock)
ICFP_
2010_
relative/
132720.xml
11771808
is
timeout (wallclock)
YES
60.03/16.35
ICFP_
2010_
relative/
133881.xml
11771809
u
MAYBE
893.19/301.03
timeout (wallclock)
ICFP_
2010_
relative/
128486.xml
11771810
is
timeout (wallclock)
YES
41.18/11.58
ICFP_
2010_
relative/
4248.xml
11771811
u
MAYBE
891.83/300.60
timeout (wallclock)
ICFP_
2010_
relative/
138269.xml
11771812
u
MAYBE
891.97/300.98
timeout (wallclock)
ICFP_
2010_
relative/
142142.xml
11771813
u
MAYBE
893.01/300.89
timeout (wallclock)
ICFP_
2010_
relative/
133486.xml
11771814
u
MAYBE
892.97/300.97
timeout (wallclock)
ICFP_
2010_
relative/
140659.xml
11771815
u
MAYBE
892.88/300.93
timeout (wallclock)
ICFP_
2010_
relative/
3856.xml
11771816
is
MAYBE
892.42/300.53
YES
123.65/32.14
ICFP_
2010_
relative/
97917.xml
11771817
u
timeout (wallclock)
timeout (wallclock)
ICFP_
2010_
relative/
4979.xml
11771818
u
MAYBE
892.39/300.55
timeout (wallclock)
ICFP_
2010_
relative/
3746.xml
11771819
u
MAYBE
892.26/300.55
MAYBE
729.63/293.27
ICFP_
2010_
relative/
138194.xml
11771820
u
MAYBE
893.00/300.98
timeout (wallclock)
ICFP_
2010_
relative/
4970.xml
11771821
u
MAYBE
22.62/7.50
MAYBE
0.57/0.40
ICFP_
2010_
relative/
4854.xml
11771822
u
MAYBE
892.60/300.53
timeout (wallclock)
ICFP_
2010_
relative/
135782.xml
11771823
u
MAYBE
893.13/301.02
timeout (wallclock)
ICFP_
2010_
relative/
4819.xml
11771824
is
MAYBE
892.65/300.52
YES
90.59/24.04
ICFP_
2010_
relative/
3467.xml
11771825
u
ERROR
328.34/111.76
timeout (wallclock)
ICFP_
2010_
relative/
3770.xml
11771826
u
MAYBE
892.59/300.54
timeout (wallclock)
ICFP_
2010_
relative/
131982.xml
11771827
u
MAYBE
893.12/301.02
MAYBE
957.33/295.50
ICFP_
2010_
relative/
5011.xml
11771828
u
MAYBE
22.57/7.54
MAYBE
0.57/0.45
ICFP_
2010_
relative/
4934.xml
11771829
u
MAYBE
892.45/300.51
timeout (wallclock)
ICFP_
2010_
relative/
3705.xml
11771830
u
ERROR
210.71/72.51
timeout (wallclock)
ICFP_
2010_
relative/
132833.xml
11771831
is
timeout (wallclock)
YES
66.08/17.79
ICFP_
2010_
relative/
142146.xml
11771832
is
MAYBE
892.73/300.92
YES
58.66/23.86
ICFP_
2010_
relative/
3995.xml
11771833
u
MAYBE
892.50/300.53
timeout (wallclock)
ICFP_
2010_
relative/
139236.xml
11771834
is
timeout (wallclock)
YES
50.67/13.79
ICFP_
2010_
relative/
4036.xml
11771835
s
ERROR
144.30/50.42
YES
173.79/44.68
ICFP_
2010_
relative/
140318.xml
11771836
is
timeout (wallclock)
YES
47.89/13.23
ICFP_
2010_
relative/
132957.xml
11771837
is
timeout (wallclock)
YES
46.66/12.97
ICFP_
2010_
relative/
139185.xml
11771838
is
timeout (wallclock)
YES
48.41/14.18
ICFP_
2010_
relative/
140654.xml
11771839
u
MAYBE
892.83/300.94
timeout (wallclock)
ICFP_
2010_
relative/
128620.xml
11771840
is
timeout (wallclock)
YES
54.98/15.03
ICFP_
2010_
relative/
5109.xml
11771841
s
ERROR
273.64/93.54
YES
98.39/26.16
ICFP_
2010_
relative/
135936.xml
11771842
u
MAYBE
893.06/301.02
timeout (wallclock)
ICFP_
2010_
relative/
140639.xml
11771843
u
MAYBE
892.60/300.92
timeout (wallclock)
ICFP_
2010_
relative/
3831.xml
11771844
is
MAYBE
892.60/300.54
YES
95.97/25.42
ICFP_
2010_
relative/
4029.xml
11771845
u
MAYBE
892.68/300.51
timeout (wallclock)
ICFP_
2010_
relative/
139378.xml
11771846
is
timeout (wallclock)
YES
49.86/13.72
ICFP_
2010_
relative/
140287.xml
11771847
u
timeout (wallclock)
timeout (wallclock)
ICFP_
2010_
relative/
137404.xml
11771848
u
timeout (wallclock)
timeout (wallclock)
ICFP_
2010_
relative/
142157.xml
11771849
u
MAYBE
892.87/300.88
timeout (wallclock)
ICFP_
2010_
relative/
134918.xml
11771850
u
MAYBE
893.09/300.98
timeout (wallclock)
ICFP_
2010_
relative/
142150.xml
11771851
u
MAYBE
892.32/300.94
timeout (wallclock)
ICFP_
2010_
relative/
4282.xml
11771852
u
MAYBE
892.23/300.52
timeout (wallclock)
ICFP_
2010_
relative/
124791.xml
11771853
u
MAYBE
892.91/301.00
MAYBE
949.44/297.16
ICFP_
2010_
relative/
128430.xml
11771854
is
timeout (wallclock)
YES
55.43/15.10
ICFP_
2010_
relative/
128056.xml
11771855
u
timeout (wallclock)
timeout (wallclock)
ICFP_
2010_
relative/
136562.xml
11771856
u
MAYBE
893.10/301.02
timeout (wallclock)
ICFP_
2010_
relative/
4487.xml
11771857
u
MAYBE
892.17/300.54
timeout (wallclock)
ICFP_
2010_
relative/
4824.xml
11771858
u
MAYBE
892.23/300.49
timeout (wallclock)
ICFP_
2010_
relative/
107236.xml
11771859
u
timeout (wallclock)
timeout (wallclock)
ICFP_
2010_
relative/
133159.xml
11771860
u
MAYBE
892.86/300.96
timeout (wallclock)
ICFP_
2010_
relative/
139004.xml
11771861
is
timeout (wallclock)
YES
53.95/15.81
ICFP_
2010_
relative/
138477.xml
11771862
u
MAYBE
892.94/301.01
timeout (wallclock)
ICFP_
2010_
relative/
3861.xml
11771863
u
MAYBE
892.51/300.49
timeout (wallclock)
ICFP_
2010_
relative/
3939.xml
11771864
u
MAYBE
892.58/300.49
MAYBE
740.21/292.86
ICFP_
2010_
relative/
88172.xml
11771865
u
MAYBE
892.47/300.59
timeout (wallclock)
ICFP_
2010_
relative/
4816.xml
11771866
s
ERROR
136.61/47.89
YES
198.75/50.80
ICFP_
2010_
relative/
135604.xml
11771867
u
MAYBE
892.88/301.01
timeout (wallclock)
ICFP_
2010_
relative/
4002.xml
11771868
u
MAYBE
892.44/300.47
timeout (wallclock)
ICFP_
2010_
relative/
139036.xml
11771869
is
timeout (wallclock)
YES
48.73/13.32
ICFP_
2010_
relative/
97929.xml
11771870
u
timeout (wallclock)
timeout (wallclock)
ICFP_
2010_
relative/
124269.xml
11771871
u
MAYBE
893.01/301.00
timeout (wallclock)
ICFP_
2010_
relative/
3930.xml
11771872
u
MAYBE
892.33/300.53
timeout (wallclock)
ICFP_
2010_
relative/
140359.xml
11771873
is
timeout (wallclock)
YES
46.55/12.97
ICFP_
2010_
relative/
139167.xml
11771874
is
timeout (wallclock)
YES
61.11/16.44
ICFP_
2010_
relative/
63142.xml
11771875
u
MAYBE
892.44/300.58
timeout (wallclock)
ICFP_
2010_
relative/
4991.xml
11771876
u
MAYBE
892.42/300.53
timeout (wallclock)
ICFP_
2010_
relative/
127538.xml
11771877
is
timeout (wallclock)
YES
60.71/17.04
ICFP_
2010_
relative/
128515.xml
11771878
is
timeout (wallclock)
YES
72.25/21.47
ICFP_
2010_
relative/
139214.xml
11771879
is
timeout (wallclock)
YES
50.71/13.91
ICFP_
2010_
relative/
136623.xml
11771880
u
MAYBE
892.90/300.99
timeout (wallclock)
ICFP_
2010_
relative/
132540.xml
11771881
is
timeout (wallclock)
YES
43.37/12.18
ICFP_
2010_
relative/
107220.xml
11771882
u
timeout (wallclock)
timeout (wallclock)
ICFP_
2010_
relative/
140631.xml
11771883
u
MAYBE
892.86/300.88
timeout (wallclock)
ICFP_
2010_
relative/
133010.xml
11771884
is
timeout (wallclock)
YES
44.65/12.49
ICFP_
2010_
relative/
3842.xml
11771885
u
MAYBE
892.31/300.51
timeout (wallclock)
ICFP_
2010_
relative/
132622.xml
11771886
is
timeout (wallclock)
YES
50.37/13.82
ICFP_
2010_
relative/
139282.xml
11771887
is
timeout (wallclock)
YES
49.07/13.47
ICFP_
2010_
relative/
4847.xml
11771888
u
MAYBE
892.63/300.50
timeout (wallclock)
ICFP_
2010_
relative/
3729.xml
11771889
u
MAYBE
892.59/300.50
timeout (wallclock)
ICFP_
2010_
relative/
128280.xml
11771890
is
timeout (wallclock)
YES
70.33/18.93
ICFP_
2010_
relative/
135652.xml
11771891
u
MAYBE
892.99/300.96
timeout (wallclock)
ICFP_
2010_
relative/
132864.xml
11771892
is
timeout (wallclock)
YES
53.00/14.58
ICFP_
2010_
relative/
4840.xml
11771893
u
MAYBE
892.19/300.53
timeout (wallclock)
ICFP_
2010_
relative/
4964.xml
11771894
u
MAYBE
892.41/300.52
timeout (wallclock)
ICFP_
2010_
relative/
138993.xml
11771895
is
timeout (wallclock)
YES
40.96/11.54
75
165