Termination Competition 2020
: SRS Relative Certified
41233
Job info CSV
benchmark
ttt2-1.20
ttt2_cert
AProVE
certified
Mixed_
relative_
SRS/
dup02.xml
11771692
timeout (wallclock)
[out]
CERTIFIED YES
70.86/18.83
(CERTIFIED
0.50
)
Mixed_
relative_
SRS/
dup03.xml
11771700
CERTIFIED YES
11.82/3.29
(CERTIFIED
0.14
)
CERTIFIED YES
59.18/15.85
(CERTIFIED
0.08
)
Mixed_
relative_
SRS/
dup04.xml
11771701
timeout (wallclock)
[out]
CERTIFIED YES
423.94/108.06
(CERTIFIED
0.27
)
Mixed_
relative_
SRS/
un01.xml
11771709
timeout (wallclock)
[out]
CERTIFIED YES
34.53/9.73
(CERTIFIED
0.21
)
Mixed_
relative_
SRS/
un03.xml
11771697
timeout (wallclock)
[out]
timeout (wallclock)
[out]
Mixed_
relative_
SRS/
zr01.xml
11771696
CERTIFIED YES
3.42/1.10
(CERTIFIED
0.17
)
CERTIFIED YES
6.57/2.42
(CERTIFIED
0.07
)
Mixed_
relative_
SRS/
zr02.xml
11771706
CERTIFIED YES
7.01/2.01
(CERTIFIED
0.22
)
CERTIFIED YES
42.69/11.74
(CERTIFIED
0.21
)
Mixed_
relative_
SRS/
zr02new.xml
11771691
CERTIFIED YES
14.30/3.89
(CERTIFIED
0.30
)
CERTIFIED YES
7.82/2.84
(CERTIFIED
0.22
)
Mixed_
relative_
SRS/
zr03.xml
11771708
CERTIFIED YES
1.29/0.54
(CERTIFIED
0.06
)
CERTIFIED YES
4.18/1.82
(CERTIFIED
0.05
)
Mixed_
relative_
SRS/
zr04.xml
11771710
timeout (wallclock)
[out]
CERTIFIED YES
15.77/4.81
(CERTIFIED
0.33
)
Mixed_
relative_
SRS/
zr04new.xml
11771702
timeout (wallclock)
[out]
CERTIFIED YES
15.47/4.90
(CERTIFIED
0.33
)
Mixed_
relative_
SRS/
zr05.xml
11771705
CERTIFIED YES
1.62/0.63
(CERTIFIED
0.06
)
CERTIFIED YES
5.04/1.98
(CERTIFIED
0.06
)
Mixed_
relative_
SRS/
zr06.xml
11771698
CERTIFIED YES
1.96/0.71
(CERTIFIED
0.06
)
CERTIFIED YES
6.12/2.29
(CERTIFIED
0.09
)
Mixed_
relative_
SRS/
zr07.xml
11771694
CERTIFIED YES
3.38/1.09
(CERTIFIED
0.12
)
CERTIFIED YES
9.45/3.22
(CERTIFIED
0.31
)
Mixed_
relative_
SRS/
zr08.xml
11771699
CERTIFIED YES
5.30/1.56
(CERTIFIED
0.18
)
CERTIFIED YES
8.27/2.83
(CERTIFIED
0.09
)
Mixed_
relative_
SRS/
zr09.xml
11771693
CERTIFIED YES
2.60/0.88
(CERTIFIED
0.18
)
CERTIFIED YES
5.92/2.28
(CERTIFIED
0.07
)
Mixed_
relative_
SRS/
zr10.xml
11771703
CERTIFIED YES
5.28/1.56
(CERTIFIED
0.10
)
CERTIFIED YES
11.60/3.73
(CERTIFIED
0.25
)
Mixed_
relative_
SRS/
zr11.xml
11771695
CERTIFIED YES
3.97/1.23
(CERTIFIED
0.11
)
CERTIFIED YES
11.13/3.54
(CERTIFIED
0.32
)
Mixed_
relative_
SRS/
zr12.xml
11771707
CERTIFIED YES
3.15/1.03
(CERTIFIED
0.19
)
CERTIFIED YES
6.28/2.32
(CERTIFIED
0.09
)
Mixed_
relative_
SRS/
zr13.xml
11771704
CERTIFIED NO
0.92/0.45
(CERTIFIED
0.05
)
CERTIFIED NO
3.73/1.72
(CERTIFIED
0.02
)
Waldmann_
06_
relative/
r1.xml
11771719
MAYBE
8.73/7.30
ERROR
0.35/0.33
Waldmann_
06_
relative/
r10.xml
11771715
timeout (wallclock)
[out]
CERTIFIED YES
491.37/125.52
(CERTIFIED
0.08
)
Waldmann_
06_
relative/
r2.xml
11771712
MAYBE
9.55/7.29
ERROR
0.35/0.27
Waldmann_
06_
relative/
r3.xml
11771713
CERTIFIED YES
3.03/0.99
(CERTIFIED
0.05
)
CERTIFIED YES
29.82/8.32
(CERTIFIED
0.22
)
Waldmann_
06_
relative/
r4.xml
11771714
timeout (wallclock)
[out]
CERTIFIED YES
913.67/232.27
(CERTIFIED
9.86
)
Waldmann_
06_
relative/
r5.xml
11771711
CERTIFIED YES
3.83/1.20
(CERTIFIED
0.07
)
CERTIFIED YES
16.92/10.28
(CERTIFIED
0.06
)
Waldmann_
06_
relative/
r6.xml
11771720
CERTIFIED YES
5.34/1.49
(CERTIFIED
0.14
)
CERTIFIED YES
9.61/3.23
(CERTIFIED
0.06
)
Waldmann_
06_
relative/
r7.xml
11771717
CERTIFIED YES
3.12/1.02
(CERTIFIED
0.11
)
CERTIFIED YES
5.97/2.38
(CERTIFIED
0.25
)
Waldmann_
06_
relative/
r8.xml
11771721
CERTIFIED YES
7.12/2.04
(CERTIFIED
0.14
)
CERTIFIED YES
18.46/5.55
(CERTIFIED
0.11
)
Waldmann_
06_
relative/
r9.xml
11771716
CERTIFIED YES
7.28/2.11
(CERTIFIED
0.07
)
CERTIFIED YES
28.16/7.95
(CERTIFIED
0.08
)
Waldmann_
06_
relative/
rbeans.xml
11771718
MAYBE
9.00/7.29
ERROR
0.36/0.31
Zantema_
06_
relative/
cars.xml
11771735
timeout (wallclock)
[out]
timeout (wallclock)
[out]
Zantema_
06_
relative/
rel01.xml
11771733
CERTIFIED YES
3.38/1.08
(CERTIFIED
0.10
)
CERTIFIED YES
6.23/2.33
(CERTIFIED
0.06
)
Zantema_
06_
relative/
rel02.xml
11771723
timeout (wallclock)
[out]
CERTIFIED YES
13.38/4.14
(CERTIFIED
0.29
)
Zantema_
06_
relative/
rel03.xml
11771727
timeout (wallclock)
[out]
ERROR
1173.42/298.86
Zantema_
06_
relative/
rel04.xml
11771726
CERTIFIED YES
4.81/1.45
(CERTIFIED
0.22
)
CERTIFIED YES
14.11/4.45
(CERTIFIED
0.10
)
Zantema_
06_
relative/
rel05.xml
11771724
CERTIFIED YES
2.51/0.87
(CERTIFIED
0.17
)
CERTIFIED YES
10.54/3.45
(CERTIFIED
0.12
)
Zantema_
06_
relative/
rel06.xml
11771732
timeout (wallclock)
[out]
CERTIFIED YES
31.73/8.94
(CERTIFIED
0.86
)
Zantema_
06_
relative/
rel07.xml
11771728
timeout (wallclock)
[out]
timeout (wallclock)
[out]
Zantema_
06_
relative/
rel08.xml
11771731
CERTIFIED YES
12.83/3.56
(CERTIFIED
0.15
)
CERTIFIED YES
10.10/3.32
(CERTIFIED
0.10
)
Zantema_
06_
relative/
rel09.xml
11771729
CERTIFIED YES
9.14/2.55
(CERTIFIED
0.17
)
CERTIFIED YES
27.73/8.02
(CERTIFIED
0.19
)
Zantema_
06_
relative/
rel10.xml
11771734
CERTIFIED YES
4.73/1.42
(CERTIFIED
0.11
)
CERTIFIED YES
25.08/12.76
(CERTIFIED
0.09
)
Zantema_
06_
relative/
rel11.xml
11771730
timeout (wallclock)
[out]
ERROR
1172.48/297.85
Zantema_
06_
relative/
rel12.xml
11771725
timeout (wallclock)
[out]
ERROR
1154.29/293.24
Zantema_
06_
relative/
rel13.xml
11771722
CERTIFIED YES
10.60/2.92
(CERTIFIED
0.27
)
CERTIFIED YES
7.63/2.69
(CERTIFIED
0.12
)
ICFP_
2010_
relative/
107220.xml
11771882
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
107236.xml
11771859
timeout (wallclock)
[out]
ERROR
550.06/294.95
ICFP_
2010_
relative/
123759.xml
11771807
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
124211.xml
11771775
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
124269.xml
11771871
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
124791.xml
11771853
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
127538.xml
11771877
timeout (wallclock)
[out]
CERTIFIED YES
59.87/16.39
(CERTIFIED
32.43
)
ICFP_
2010_
relative/
128056.xml
11771855
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
128182.xml
11771753
timeout (wallclock)
[out]
CERTIFIED YES
48.68/13.55
(CERTIFIED
15.52
)
ICFP_
2010_
relative/
128280.xml
11771890
timeout (wallclock)
[out]
CERTIFIED YES
57.23/15.69
(CERTIFIED
16.92
)
ICFP_
2010_
relative/
128430.xml
11771854
timeout (wallclock)
[out]
CERTIFIED YES
63.71/17.38
(CERTIFIED
19.36
)
ICFP_
2010_
relative/
128486.xml
11771810
timeout (wallclock)
[out]
CERTIFIED YES
34.12/9.85
(CERTIFIED
17.65
)
ICFP_
2010_
relative/
128515.xml
11771878
timeout (wallclock)
[out]
CERTIFIED YES
74.32/19.96
(CERTIFIED
21.61
)
ICFP_
2010_
relative/
128550.xml
11771794
timeout (wallclock)
[out]
CERTIFIED YES
59.27/16.24
(CERTIFIED
29.09
)
ICFP_
2010_
relative/
128620.xml
11771840
timeout (wallclock)
[out]
CERTIFIED YES
42.53/12.00
(CERTIFIED
18.29
)
ICFP_
2010_
relative/
128691.xml
11771791
timeout (wallclock)
[out]
CERTIFIED YES
41.02/11.62
(CERTIFIED
20.58
)
ICFP_
2010_
relative/
131633.xml
11771773
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
131982.xml
11771827
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
132235.xml
11771743
timeout (wallclock)
[out]
ERROR
918.11/296.96
ICFP_
2010_
relative/
132478.xml
11771755
timeout (wallclock)
[out]
CERTIFIED YES
75.52/20.97
(CERTIFIED
22.56
)
ICFP_
2010_
relative/
132540.xml
11771881
timeout (wallclock)
[out]
CERTIFIED YES
49.24/13.70
(CERTIFIED
22.08
)
ICFP_
2010_
relative/
132622.xml
11771886
timeout (wallclock)
[out]
CERTIFIED YES
57.13/15.65
(CERTIFIED
19.97
)
ICFP_
2010_
relative/
132720.xml
11771808
timeout (wallclock)
[out]
CERTIFIED YES
44.67/12.40
(CERTIFIED
21.25
)
ICFP_
2010_
relative/
132738.xml
11771798
timeout (wallclock)
[out]
CERTIFIED YES
44.80/12.56
(CERTIFIED
17.71
)
ICFP_
2010_
relative/
132782.xml
11771764
timeout (wallclock)
[out]
CERTIFIED YES
45.64/12.77
(CERTIFIED
21.21
)
ICFP_
2010_
relative/
132833.xml
11771831
timeout (wallclock)
[out]
CERTIFIED YES
72.04/19.39
(CERTIFIED
20.99
)
ICFP_
2010_
relative/
132864.xml
11771892
timeout (wallclock)
[out]
CERTIFIED YES
68.87/19.99
(CERTIFIED
20.49
)
ICFP_
2010_
relative/
132920.xml
11771757
timeout (wallclock)
[out]
CERTIFIED YES
32.11/9.28
(CERTIFIED
15.57
)
ICFP_
2010_
relative/
132957.xml
11771837
timeout (wallclock)
[out]
CERTIFIED YES
69.17/18.97
(CERTIFIED
23.51
)
ICFP_
2010_
relative/
132969.xml
11771769
timeout (wallclock)
[out]
ERROR
887.43/297.35
ICFP_
2010_
relative/
133010.xml
11771884
timeout (wallclock)
[out]
CERTIFIED YES
68.76/18.55
(CERTIFIED
28.19
)
ICFP_
2010_
relative/
133159.xml
11771860
timeout (wallclock)
[out]
ERROR
979.88/297.64
ICFP_
2010_
relative/
133486.xml
11771814
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
133881.xml
11771809
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
134918.xml
11771850
timeout (wallclock)
[out]
ERROR
925.91/296.33
ICFP_
2010_
relative/
135115.xml
11771737
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
135328.xml
11771742
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
135604.xml
11771867
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
135652.xml
11771891
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
135782.xml
11771823
timeout (wallclock)
[out]
ERROR
804.19/294.72
ICFP_
2010_
relative/
135936.xml
11771842
timeout (wallclock)
[out]
CERTIFIED YES
519.56/166.95
(CERTIFIED
13.40
)
ICFP_
2010_
relative/
136051.xml
11771759
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
136562.xml
11771856
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
136623.xml
11771880
timeout (wallclock)
[out]
ERROR
889.06/296.61
ICFP_
2010_
relative/
137404.xml
11771848
timeout (wallclock)
[out]
ERROR
882.82/296.56
ICFP_
2010_
relative/
137809.xml
11771800
timeout (wallclock)
[out]
CERTIFIED YES
637.68/201.27
(CERTIFIED
14.33
)
ICFP_
2010_
relative/
138194.xml
11771820
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
138269.xml
11771812
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
138330.xml
11771766
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
138477.xml
11771862
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
138993.xml
11771895
timeout (wallclock)
[out]
CERTIFIED YES
46.00/12.79
(CERTIFIED
21.69
)
ICFP_
2010_
relative/
139004.xml
11771861
timeout (wallclock)
[out]
CERTIFIED YES
58.61/16.00
(CERTIFIED
24.90
)
ICFP_
2010_
relative/
139018.xml
11771748
timeout (wallclock)
[out]
CERTIFIED YES
52.60/14.66
(CERTIFIED
21.65
)
ICFP_
2010_
relative/
139025.xml
11771796
timeout (wallclock)
[out]
CERTIFIED YES
42.83/12.12
(CERTIFIED
19.17
)
ICFP_
2010_
relative/
139036.xml
11771869
timeout (wallclock)
[out]
CERTIFIED YES
53.23/14.85
(CERTIFIED
25.82
)
ICFP_
2010_
relative/
139100.xml
11771741
timeout (wallclock)
[out]
CERTIFIED YES
65.17/17.83
(CERTIFIED
30.19
)
ICFP_
2010_
relative/
139163.xml
11771783
timeout (wallclock)
[out]
CERTIFIED YES
72.38/19.78
(CERTIFIED
44.45
)
ICFP_
2010_
relative/
139167.xml
11771874
timeout (wallclock)
[out]
CERTIFIED YES
72.50/19.68
(CERTIFIED
24.60
)
ICFP_
2010_
relative/
139174.xml
11771801
timeout (wallclock)
[out]
CERTIFIED YES
43.00/12.37
(CERTIFIED
21.34
)
ICFP_
2010_
relative/
139180.xml
11771754
timeout (wallclock)
[out]
CERTIFIED YES
90.88/24.38
(CERTIFIED
34.11
)
ICFP_
2010_
relative/
139185.xml
11771838
timeout (wallclock)
[out]
CERTIFIED YES
44.68/12.77
(CERTIFIED
17.76
)
ICFP_
2010_
relative/
139190.xml
11771788
timeout (wallclock)
[out]
CERTIFIED YES
39.86/11.13
(CERTIFIED
15.42
)
ICFP_
2010_
relative/
139214.xml
11771879
timeout (wallclock)
[out]
CERTIFIED YES
52.79/14.52
(CERTIFIED
20.31
)
ICFP_
2010_
relative/
139236.xml
11771834
timeout (wallclock)
[out]
CERTIFIED YES
46.91/17.83
(CERTIFIED
21.54
)
ICFP_
2010_
relative/
139256.xml
11771787
timeout (wallclock)
[out]
CERTIFIED YES
52.22/14.34
(CERTIFIED
32.01
)
ICFP_
2010_
relative/
139282.xml
11771887
timeout (wallclock)
[out]
CERTIFIED YES
49.75/13.73
(CERTIFIED
22.31
)
ICFP_
2010_
relative/
139310.xml
11771756
timeout (wallclock)
[out]
CERTIFIED YES
40.02/11.35
(CERTIFIED
17.14
)
ICFP_
2010_
relative/
139378.xml
11771846
timeout (wallclock)
[out]
CERTIFIED YES
50.53/14.15
(CERTIFIED
23.74
)
ICFP_
2010_
relative/
140287.xml
11771847
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
140318.xml
11771836
timeout (wallclock)
[out]
CERTIFIED YES
43.46/12.22
(CERTIFIED
18.17
)
ICFP_
2010_
relative/
140359.xml
11771873
timeout (wallclock)
[out]
CERTIFIED YES
44.95/12.68
(CERTIFIED
19.10
)
ICFP_
2010_
relative/
140631.xml
11771883
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
140639.xml
11771843
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
140649.xml
11771745
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
140654.xml
11771839
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
140659.xml
11771815
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
140664.xml
11771781
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
142142.xml
11771813
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
142146.xml
11771832
timeout (wallclock)
[out]
CERTIFIED YES
63.39/23.68
(CERTIFIED
14.65
)
ICFP_
2010_
relative/
142150.xml
11771851
timeout (wallclock)
[out]
ERROR
634.34/299.42
ICFP_
2010_
relative/
142157.xml
11771849
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
3268.xml
11771749
timeout (wallclock)
[out]
ERROR
1065.99/292.68
ICFP_
2010_
relative/
3336.xml
11771785
MAYBE
22.30/7.38
ERROR
0.56/0.31
ICFP_
2010_
relative/
3385.xml
11771763
timeout (wallclock)
[out]
ERROR
1092.41/297.99
ICFP_
2010_
relative/
3450.xml
11771751
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
3467.xml
11771825
UNSUPPORTED YES
327.45/111.99
(UNSUPPORTED
0.31
)
timeout (wallclock)
[out]
ICFP_
2010_
relative/
3498.xml
11771792
UNSUPPORTED YES
341.36/116.35
(UNSUPPORTED
0.29
)
timeout (wallclock)
[out]
ICFP_
2010_
relative/
3533.xml
11771765
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
3562.xml
11771747
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
3589.xml
11771797
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
3633.xml
11771799
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
3680.xml
11771774
timeout (wallclock)
[out]
CERTIFIED YES
105.56/28.23
(CERTIFIED
32.76
)
ICFP_
2010_
relative/
3705.xml
11771830
UNSUPPORTED YES
210.58/72.53
(UNSUPPORTED
0.30
)
timeout (wallclock)
[out]
ICFP_
2010_
relative/
3729.xml
11771889
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
3746.xml
11771819
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
3762.xml
11771805
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
3770.xml
11771826
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
3786.xml
11771784
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
3817.xml
11771778
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
3831.xml
11771844
timeout (wallclock)
[out]
CERTIFIED YES
112.21/29.74
(CERTIFIED
18.83
)
ICFP_
2010_
relative/
3842.xml
11771885
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
3856.xml
11771816
timeout (wallclock)
[out]
CERTIFIED YES
160.40/41.70
(CERTIFIED
22.27
)
ICFP_
2010_
relative/
3861.xml
11771863
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
3865.xml
11771767
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
3916.xml
11771786
MAYBE
22.46/7.48
ERROR
0.63/0.35
ICFP_
2010_
relative/
3930.xml
11771872
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
3939.xml
11771864
timeout (wallclock)
[out]
ERROR
773.05/296.51
ICFP_
2010_
relative/
3989.xml
11771804
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
3995.xml
11771833
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
4002.xml
11771868
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
4017.xml
11771740
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
4029.xml
11771845
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
4036.xml
11771835
UNSUPPORTED YES
144.13/50.34
(UNSUPPORTED
0.31
)
CERTIFIED YES
174.12/45.23
(CERTIFIED
26.56
)
ICFP_
2010_
relative/
4046.xml
11771752
MAYBE
22.37/7.49
ERROR
0.51/0.31
ICFP_
2010_
relative/
4051.xml
11771789
timeout (wallclock)
[out]
CERTIFIED YES
218.95/56.47
(CERTIFIED
33.92
)
ICFP_
2010_
relative/
4057.xml
11771750
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
4074.xml
11771772
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
4106.xml
11771744
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
41378.xml
11771771
UNSUPPORTED YES
175.42/64.86
(UNSUPPORTED
1.07
)
timeout (wallclock)
[out]
ICFP_
2010_
relative/
4141.xml
11771738
UNSUPPORTED YES
415.68/141.17
(UNSUPPORTED
0.28
)
timeout (wallclock)
[out]
ICFP_
2010_
relative/
4157.xml
11771779
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
4181.xml
11771776
UNSUPPORTED YES
273.33/93.72
(UNSUPPORTED
0.31
)
CERTIFIED YES
230.75/59.47
(CERTIFIED
26.14
)
ICFP_
2010_
relative/
4200.xml
11771758
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
4248.xml
11771811
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
4282.xml
11771852
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
4374.xml
11771806
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
4412.xml
11771780
timeout (wallclock)
[out]
CERTIFIED YES
191.04/49.45
(CERTIFIED
25.58
)
ICFP_
2010_
relative/
4484.xml
11771760
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
4487.xml
11771857
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
4816.xml
11771866
UNSUPPORTED YES
136.26/47.92
(UNSUPPORTED
0.31
)
CERTIFIED YES
199.82/51.80
(CERTIFIED
21.33
)
ICFP_
2010_
relative/
4819.xml
11771824
timeout (wallclock)
[out]
CERTIFIED YES
90.16/24.16
(CERTIFIED
21.98
)
ICFP_
2010_
relative/
4824.xml
11771858
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
4827.xml
11771761
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
4840.xml
11771893
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
4847.xml
11771888
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
4854.xml
11771822
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
4893.xml
11771790
timeout (wallclock)
[out]
ERROR
616.63/292.40
ICFP_
2010_
relative/
4920.xml
11771739
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
4934.xml
11771829
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
4938.xml
11771782
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
4943.xml
11771777
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
4953.xml
11771802
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
4964.xml
11771894
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
4970.xml
11771821
MAYBE
22.34/7.47
ERROR
0.57/0.41
ICFP_
2010_
relative/
4979.xml
11771818
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
4991.xml
11771876
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
5011.xml
11771828
MAYBE
24.71/7.49
ERROR
0.56/0.50
ICFP_
2010_
relative/
5076.xml
11771803
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
5109.xml
11771841
UNSUPPORTED YES
274.16/93.72
(UNSUPPORTED
0.30
)
CERTIFIED YES
103.78/27.52
(CERTIFIED
28.33
)
ICFP_
2010_
relative/
5130.xml
11771768
timeout (wallclock)
[out]
CERTIFIED YES
96.62/25.95
(CERTIFIED
18.71
)
ICFP_
2010_
relative/
54097.xml
11771736
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
63142.xml
11771875
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
64160.xml
11771746
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
88143.xml
11771762
UNSUPPORTED YES
641.76/216.79
(UNSUPPORTED
0.26
)
CERTIFIED YES
63.51/21.20
(CERTIFIED
8.40
)
ICFP_
2010_
relative/
88172.xml
11771865
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
91242.xml
11771770
timeout (wallclock)
[out]
ERROR
567.98/299.12
ICFP_
2010_
relative/
97888.xml
11771793
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
97901.xml
11771795
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
97917.xml
11771817
timeout (wallclock)
[out]
ERROR
537.66/293.97
ICFP_
2010_
relative/
97929.xml
11771870
timeout (wallclock)
[out]
timeout (wallclock)
[out]
27
91