Termination Competition 2020
: SRS Relative
41209
Job info CSV
benchmark
NaTT v.1.6c
Default
ttt2-1.20
ttt2
matchbox-2020-06-19b
tc20-std.sh
AProVE
standard
MultumNonMulta 20 June 2020 20G sparse
default
Mixed_
relative_
SRS/
dup02.xml
11771692
MAYBE
1.92/1.90
MAYBE
831.72/299.36
timeout (wallclock)
[out]
YES
77.27/20.47
timeout (wallclock)
[out]
Mixed_
relative_
SRS/
dup03.xml
11771700
YES
2.28/1.67
MAYBE
770.62/299.33
YES
0.31/0.13
YES
59.42/20.26
YES
1.01/0.53
Mixed_
relative_
SRS/
dup04.xml
11771701
MAYBE
18.84/18.83
MAYBE
923.77/299.33
YES
2.74/0.73
YES
217.50/56.29
YES
0.70/0.43
Mixed_
relative_
SRS/
un01.xml
11771709
MAYBE
0.04/0.16
MAYBE
768.75/299.33
timeout (wallclock)
[out]
YES
26.92/8.09
YES
0.98/2.32
Mixed_
relative_
SRS/
un03.xml
11771697
MAYBE
2.11/1.99
MAYBE
798.88/299.34
YES
12.48/3.24
timeout (wallclock)
[out]
YES
53.49/16.85
Mixed_
relative_
SRS/
zr01.xml
11771696
MAYBE
0.02/0.07
YES
4.76/1.46
YES
0.11/0.04
YES
5.86/2.21
YES
0.67/0.41
Mixed_
relative_
SRS/
zr02.xml
11771706
MAYBE
0.06/0.20
YES
11.88/3.29
YES
0.81/0.23
YES
6.79/2.47
YES
0.75/0.47
Mixed_
relative_
SRS/
zr02new.xml
11771691
MAYBE
0.03/0.15
YES
23.01/6.11
timeout (wallclock)
[out]
YES
7.49/2.63
YES
1.67/0.67
Mixed_
relative_
SRS/
zr03.xml
11771708
YES
0.01/0.01
YES
2.09/0.77
YES
0.10/0.05
YES
3.93/1.70
YES
0.62/0.40
Mixed_
relative_
SRS/
zr04.xml
11771710
MAYBE
0.04/0.33
MAYBE
906.85/299.34
timeout (wallclock)
[out]
YES
19.09/5.64
YES
1.24/0.61
Mixed_
relative_
SRS/
zr04new.xml
11771702
MAYBE
0.02/0.12
MAYBE
907.13/299.33
timeout (wallclock)
[out]
YES
14.96/5.40
YES
1.60/0.72
Mixed_
relative_
SRS/
zr05.xml
11771705
YES
0.02/0.04
YES
2.13/0.78
YES
0.15/0.07
YES
4.49/1.84
YES
0.62/0.40
Mixed_
relative_
SRS/
zr06.xml
11771698
YES
0.02/0.04
YES
1.83/0.70
YES
0.09/0.04
YES
6.76/2.41
YES
0.62/0.39
Mixed_
relative_
SRS/
zr07.xml
11771694
YES
0.03/0.09
YES
6.35/1.87
YES
0.07/0.03
YES
8.15/2.84
YES
0.74/0.43
Mixed_
relative_
SRS/
zr08.xml
11771699
YES
0.01/0.01
YES
4.57/1.41
YES
0.07/0.03
YES
7.02/2.48
YES
0.63/0.38
Mixed_
relative_
SRS/
zr09.xml
11771693
MAYBE
0.02/0.05
YES
4.61/1.48
YES
0.07/0.03
YES
6.01/2.21
YES
0.68/0.40
Mixed_
relative_
SRS/
zr10.xml
11771703
MAYBE
0.03/0.17
YES
17.52/4.94
YES
0.23/0.08
YES
10.91/4.63
YES
0.65/0.40
Mixed_
relative_
SRS/
zr11.xml
11771695
MAYBE
0.04/0.22
YES
6.35/1.87
YES
0.06/0.03
YES
9.45/3.28
YES
0.72/0.41
Mixed_
relative_
SRS/
zr12.xml
11771707
MAYBE
0.02/0.05
YES
5.86/1.78
YES
0.08/0.03
YES
6.11/2.33
YES
0.77/0.43
Mixed_
relative_
SRS/
zr13.xml
11771704
MAYBE
0.03/0.07
NO
0.38/0.35
NO
0.06/0.03
NO
3.70/1.63
timeout (wallclock)
[out]
Waldmann_
06_
relative/
r1.xml
11771719
YES
0.01/0.01
MAYBE
607.12/299.33
YES
0.06/0.03
ERROR
0.35/0.47
YES
0.74/0.47
Waldmann_
06_
relative/
r10.xml
11771715
MAYBE
0.08/0.27
MAYBE
772.5/299.33
timeout (wallclock)
[out]
YES
487.04/124.06
YES
1.72/0.70
Waldmann_
06_
relative/
r2.xml
11771712
YES
0.02/0.02
YES
18.10/4.86
YES
0.19/0.07
ERROR
0.35/0.75
timeout (wallclock)
[out]
Waldmann_
06_
relative/
r3.xml
11771713
MAYBE
0.02/0.07
YES
4.88/1.49
YES
0.62/0.18
YES
31.60/8.76
YES
1.06/0.55
Waldmann_
06_
relative/
r4.xml
11771714
MAYBE
0.02/0.10
MAYBE
769.24/299.33
YES
1.69/0.46
YES
1107.33/281.55
timeout (wallclock)
[out]
Waldmann_
06_
relative/
r5.xml
11771711
MAYBE
0.02/0.09
YES
10.01/2.80
timeout (wallclock)
[out]
YES
19.45/5.69
timeout (wallclock)
[out]
Waldmann_
06_
relative/
r6.xml
11771720
MAYBE
0.03/0.13
YES
8.65/1.93
YES
10.02/2.59
YES
10.03/3.28
YES
0.71/0.45
Waldmann_
06_
relative/
r7.xml
11771717
MAYBE
0.03/0.13
YES
4.22/1.34
YES
0.07/0.03
YES
4.40/1.82
YES
0.72/0.42
Waldmann_
06_
relative/
r8.xml
11771721
MAYBE
0.07/0.28
YES
8.96/2.53
YES
0.21/0.07
YES
21.85/6.45
YES
0.99/0.49
Waldmann_
06_
relative/
r9.xml
11771716
YES
0.01/0.02
YES
2.06/0.77
YES
0.08/0.03
YES
24.36/6.94
YES
0.70/0.41
Waldmann_
06_
relative/
rbeans.xml
11771718
YES
0.01/0.02
MAYBE
624.90/299.33
timeout (wallclock)
[out]
ERROR
0.36/0.32
timeout (wallclock)
[out]
Zantema_
06_
relative/
cars.xml
11771735
MAYBE
0.02/0.11
MAYBE
907.47/299.33
timeout (wallclock)
[out]
timeout (wallclock)
[out]
timeout (wallclock)
[out]
Zantema_
06_
relative/
rel01.xml
11771733
MAYBE
0.03/0.07
YES
8.56/1.43
YES
0.09/0.03
YES
6.10/2.40
YES
0.90/0.46
Zantema_
06_
relative/
rel02.xml
11771723
MAYBE
0.02/0.16
MAYBE
1054.75/299.33
YES
0.11/0.05
YES
10.80/3.46
YES
1.33/0.58
Zantema_
06_
relative/
rel03.xml
11771727
MAYBE
0.04/0.16
MAYBE
779.07/299.33
timeout (wallclock)
[out]
timeout (wallclock)
[out]
timeout (wallclock)
[out]
Zantema_
06_
relative/
rel04.xml
11771726
MAYBE
0.04/0.16
YES
16.31/4.34
YES
0.14/0.05
YES
11.99/3.83
YES
0.91/0.52
Zantema_
06_
relative/
rel05.xml
11771724
MAYBE
0.03/0.16
YES
9.75/2.74
YES
0.13/0.04
YES
11.19/3.67
YES
0.77/0.43
Zantema_
06_
relative/
rel06.xml
11771732
MAYBE
0.02/0.08
MAYBE
786.59/299.33
timeout (wallclock)
[out]
YES
29.94/8.33
timeout (wallclock)
[out]
Zantema_
06_
relative/
rel07.xml
11771728
MAYBE
0.06/0.25
MAYBE
804.57/299.33
timeout (wallclock)
[out]
timeout (wallclock)
[out]
timeout (wallclock)
[out]
Zantema_
06_
relative/
rel08.xml
11771731
MAYBE
0.06/0.11
MAYBE
781.21/299.32
timeout (wallclock)
[out]
YES
8.70/2.94
YES
7.39/2.14
Zantema_
06_
relative/
rel09.xml
11771729
MAYBE
0.03/0.30
MAYBE
807.00/299.33
YES
1.18/0.32
YES
27.61/7.82
YES
32.96/9.44
Zantema_
06_
relative/
rel10.xml
11771734
MAYBE
0.03/0.28
MAYBE
791.44/299.33
YES
0.24/0.08
YES
36.91/10.43
YES
1.01/0.49
Zantema_
06_
relative/
rel11.xml
11771730
MAYBE
0.02/0.12
MAYBE
931.74/299.33
timeout (wallclock)
[out]
timeout (wallclock)
[out]
timeout (wallclock)
[out]
Zantema_
06_
relative/
rel12.xml
11771725
MAYBE
0.05/0.24
MAYBE
779.13/299.33
timeout (wallclock)
[out]
timeout (wallclock)
[out]
timeout (wallclock)
[out]
Zantema_
06_
relative/
rel13.xml
11771722
MAYBE
0.02/0.06
YES
12.71/3.50
YES
0.10/0.04
YES
8.12/2.75
YES
0.80/0.44
ICFP_
2010_
relative/
107220.xml
11771882
timeout (wallclock)
[out]
timeout (wallclock)
[out]
YES
798.70/205.04
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
107236.xml
11771859
timeout (wallclock)
[out]
timeout (wallclock)
[out]
YES
1021.41/262.14
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
123759.xml
11771807
timeout (wallclock)
[out]
MAYBE
785.38/299.92
timeout (wallclock)
[out]
timeout (wallclock)
[out]
YES
17.66/5.46
ICFP_
2010_
relative/
124211.xml
11771775
timeout (wallclock)
[out]
MAYBE
935.18/299.91
timeout (wallclock)
[out]
timeout (wallclock)
[out]
YES
16.07/4.97
ICFP_
2010_
relative/
124269.xml
11771871
timeout (wallclock)
[out]
MAYBE
956.52/299.93
YES
7.89/2.11
timeout (wallclock)
[out]
YES
19.11/5.75
ICFP_
2010_
relative/
124791.xml
11771853
timeout (wallclock)
[out]
MAYBE
940.67/300.00
YES
16.82/4.41
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
127538.xml
11771877
timeout (wallclock)
[out]
timeout (wallclock)
[out]
YES
9.77/2.63
YES
49.84/13.47
YES
8.93/2.85
ICFP_
2010_
relative/
128056.xml
11771855
timeout (wallclock)
[out]
timeout (wallclock)
[out]
timeout (wallclock)
[out]
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
128182.xml
11771753
timeout (wallclock)
[out]
timeout (wallclock)
[out]
YES
10.31/2.71
YES
32.84/9.27
YES
7.00/2.23
ICFP_
2010_
relative/
128280.xml
11771890
timeout (wallclock)
[out]
timeout (wallclock)
[out]
YES
4.97/1.35
YES
54.32/14.78
YES
8.64/2.69
ICFP_
2010_
relative/
128430.xml
11771854
timeout (wallclock)
[out]
timeout (wallclock)
[out]
YES
9.75/2.57
YES
55.65/15.07
YES
7.51/2.44
ICFP_
2010_
relative/
128486.xml
11771810
timeout (wallclock)
[out]
timeout (wallclock)
[out]
YES
9.10/2.41
YES
47.00/12.83
YES
7.46/2.43
ICFP_
2010_
relative/
128515.xml
11771878
timeout (wallclock)
[out]
timeout (wallclock)
[out]
YES
10.25/2.70
YES
63.31/16.91
YES
5.52/1.72
ICFP_
2010_
relative/
128550.xml
11771794
timeout (wallclock)
[out]
timeout (wallclock)
[out]
YES
9.32/2.46
YES
44.95/12.31
YES
8.29/3.26
ICFP_
2010_
relative/
128620.xml
11771840
timeout (wallclock)
[out]
timeout (wallclock)
[out]
YES
10.88/3.05
YES
38.06/10.67
YES
33.37/10.89
ICFP_
2010_
relative/
128691.xml
11771791
timeout (wallclock)
[out]
timeout (wallclock)
[out]
YES
9.06/2.41
YES
39.14/10.72
YES
30.52/9.86
ICFP_
2010_
relative/
131633.xml
11771773
timeout (wallclock)
[out]
MAYBE
784.20/299.92
timeout (wallclock)
[out]
timeout (wallclock)
[out]
YES
34.17/10.81
ICFP_
2010_
relative/
131982.xml
11771827
timeout (wallclock)
[out]
MAYBE
786.25/299.92
YES
16.30/4.29
timeout (wallclock)
[out]
YES
18.97/5.83
ICFP_
2010_
relative/
132235.xml
11771743
timeout (wallclock)
[out]
MAYBE
784.41/299.91
YES
16.37/4.31
timeout (wallclock)
[out]
YES
32.75/10.24
ICFP_
2010_
relative/
132478.xml
11771755
timeout (wallclock)
[out]
timeout (wallclock)
[out]
YES
9.94/2.70
YES
61.51/16.46
YES
7.47/2.21
ICFP_
2010_
relative/
132540.xml
11771881
timeout (wallclock)
[out]
timeout (wallclock)
[out]
YES
9.65/2.55
YES
55.96/15.08
YES
6.75/2.08
ICFP_
2010_
relative/
132622.xml
11771886
timeout (wallclock)
[out]
timeout (wallclock)
[out]
YES
10.28/2.72
YES
43.07/11.86
YES
8.17/2.60
ICFP_
2010_
relative/
132720.xml
11771808
timeout (wallclock)
[out]
timeout (wallclock)
[out]
YES
10.43/2.95
YES
55.98/15.13
YES
7.87/2.59
ICFP_
2010_
relative/
132738.xml
11771798
timeout (wallclock)
[out]
timeout (wallclock)
[out]
YES
10.55/2.77
YES
34.29/9.67
YES
7.51/2.41
ICFP_
2010_
relative/
132782.xml
11771764
timeout (wallclock)
[out]
timeout (wallclock)
[out]
YES
4.64/1.27
YES
38.62/10.66
YES
15.08/2.45
ICFP_
2010_
relative/
132833.xml
11771831
timeout (wallclock)
[out]
timeout (wallclock)
[out]
YES
10.06/2.66
YES
53.74/14.45
YES
32.64/10.50
ICFP_
2010_
relative/
132864.xml
11771892
timeout (wallclock)
[out]
timeout (wallclock)
[out]
YES
9.52/2.51
YES
38.04/10.56
YES
8.46/2.67
ICFP_
2010_
relative/
132920.xml
11771757
timeout (wallclock)
[out]
timeout (wallclock)
[out]
YES
4.78/1.31
YES
30.26/8.50
YES
10.34/3.23
ICFP_
2010_
relative/
132957.xml
11771837
timeout (wallclock)
[out]
timeout (wallclock)
[out]
YES
20.16/5.29
YES
55.72/15.34
YES
41.95/12.91
ICFP_
2010_
relative/
132969.xml
11771769
timeout (wallclock)
[out]
MAYBE
935.61/299.93
YES
16.93/4.47
timeout (wallclock)
[out]
YES
20.49/6.15
ICFP_
2010_
relative/
133010.xml
11771884
timeout (wallclock)
[out]
timeout (wallclock)
[out]
YES
10.47/2.92
YES
35.30/9.77
YES
10.9/3.53
ICFP_
2010_
relative/
133159.xml
11771860
timeout (wallclock)
[out]
MAYBE
933.72/299.98
YES
7.90/2.13
timeout (wallclock)
[out]
YES
10.36/3.28
ICFP_
2010_
relative/
133486.xml
11771814
timeout (wallclock)
[out]
MAYBE
935.98/299.94
timeout (wallclock)
[out]
timeout (wallclock)
[out]
YES
82.71/15.36
ICFP_
2010_
relative/
133881.xml
11771809
timeout (wallclock)
[out]
MAYBE
935.77/299.93
timeout (wallclock)
[out]
timeout (wallclock)
[out]
YES
17.31/5.41
ICFP_
2010_
relative/
134918.xml
11771850
timeout (wallclock)
[out]
MAYBE
784.81/299.98
YES
8.26/2.23
timeout (wallclock)
[out]
YES
19.27/6.14
ICFP_
2010_
relative/
135115.xml
11771737
timeout (wallclock)
[out]
MAYBE
935.83/299.94
YES
16.73/4.39
timeout (wallclock)
[out]
YES
17.13/5.23
ICFP_
2010_
relative/
135328.xml
11771742
timeout (wallclock)
[out]
MAYBE
935.47/299.92
YES
16.22/4.28
timeout (wallclock)
[out]
YES
18.02/5.63
ICFP_
2010_
relative/
135604.xml
11771867
timeout (wallclock)
[out]
MAYBE
784.36/299.92
YES
18.19/4.77
timeout (wallclock)
[out]
YES
15.93/5.06
ICFP_
2010_
relative/
135652.xml
11771891
timeout (wallclock)
[out]
MAYBE
784.74/299.91
timeout (wallclock)
[out]
timeout (wallclock)
[out]
YES
20.08/6.08
ICFP_
2010_
relative/
135782.xml
11771823
timeout (wallclock)
[out]
MAYBE
940.59/299.93
timeout (wallclock)
[out]
timeout (wallclock)
[out]
YES
19.94/6.11
ICFP_
2010_
relative/
135936.xml
11771842
timeout (wallclock)
[out]
MAYBE
785.01/299.90
timeout (wallclock)
[out]
timeout (wallclock)
[out]
YES
18.87/5.91
ICFP_
2010_
relative/
136051.xml
11771759
timeout (wallclock)
[out]
MAYBE
785.12/299.91
YES
16.57/4.40
timeout (wallclock)
[out]
YES
21.41/6.52
ICFP_
2010_
relative/
136562.xml
11771856
timeout (wallclock)
[out]
MAYBE
785.00/299.92
YES
16.25/4.27
timeout (wallclock)
[out]
YES
27.67/8.50
ICFP_
2010_
relative/
136623.xml
11771880
timeout (wallclock)
[out]
MAYBE
784.69/299.90
YES
16.51/4.41
timeout (wallclock)
[out]
YES
15.68/4.86
ICFP_
2010_
relative/
137404.xml
11771848
timeout (wallclock)
[out]
MAYBE
936.19/299.91
YES
7.90/2.12
timeout (wallclock)
[out]
YES
20.93/6.49
ICFP_
2010_
relative/
137809.xml
11771800
timeout (wallclock)
[out]
MAYBE
784.62/299.92
timeout (wallclock)
[out]
timeout (wallclock)
[out]
YES
18.07/5.64
ICFP_
2010_
relative/
138194.xml
11771820
timeout (wallclock)
[out]
MAYBE
940.70/299.92
timeout (wallclock)
[out]
timeout (wallclock)
[out]
YES
57.91/18.45
ICFP_
2010_
relative/
138269.xml
11771812
timeout (wallclock)
[out]
MAYBE
786.33/299.92
YES
16.49/4.35
timeout (wallclock)
[out]
YES
18.78/5.88
ICFP_
2010_
relative/
138330.xml
11771766
timeout (wallclock)
[out]
MAYBE
936.00/299.94
YES
16.57/4.36
timeout (wallclock)
[out]
YES
21.99/7.16
ICFP_
2010_
relative/
138477.xml
11771862
timeout (wallclock)
[out]
MAYBE
797.54/299.91
timeout (wallclock)
[out]
timeout (wallclock)
[out]
YES
18.54/5.56
ICFP_
2010_
relative/
138993.xml
11771895
timeout (wallclock)
[out]
timeout (wallclock)
[out]
YES
10.41/2.77
YES
36.80/10.24
YES
6.34/1.99
ICFP_
2010_
relative/
139004.xml
11771861
timeout (wallclock)
[out]
timeout (wallclock)
[out]
YES
10.12/2.67
YES
57.36/15.41
YES
7.95/2.56
ICFP_
2010_
relative/
139018.xml
11771748
timeout (wallclock)
[out]
timeout (wallclock)
[out]
YES
4.84/1.32
YES
36.96/10.34
YES
7.09/2.09
ICFP_
2010_
relative/
139025.xml
11771796
timeout (wallclock)
[out]
timeout (wallclock)
[out]
YES
4.80/1.31
YES
35.91/9.97
YES
7.53/2.23
ICFP_
2010_
relative/
139036.xml
11771869
timeout (wallclock)
[out]
timeout (wallclock)
[out]
YES
9.61/2.54
YES
53.39/14.80
YES
5.29/1.65
ICFP_
2010_
relative/
139100.xml
11771741
timeout (wallclock)
[out]
timeout (wallclock)
[out]
YES
9.36/2.47
YES
50.71/13.86
YES
7.42/2.26
ICFP_
2010_
relative/
139163.xml
11771783
timeout (wallclock)
[out]
timeout (wallclock)
[out]
YES
27.36/7.18
YES
56.11/15.69
YES
153.14/49.45
ICFP_
2010_
relative/
139167.xml
11771874
timeout (wallclock)
[out]
timeout (wallclock)
[out]
YES
9.47/2.50
YES
55.91/15.01
YES
8.94/2.64
ICFP_
2010_
relative/
139174.xml
11771801
timeout (wallclock)
[out]
timeout (wallclock)
[out]
YES
9.11/2.41
YES
55.61/15.20
YES
7.45/2.29
ICFP_
2010_
relative/
139180.xml
11771754
timeout (wallclock)
[out]
timeout (wallclock)
[out]
YES
9.75/2.57
YES
78.89/21.09
YES
7.22/2.20
ICFP_
2010_
relative/
139185.xml
11771838
timeout (wallclock)
[out]
timeout (wallclock)
[out]
YES
4.80/1.31
YES
28.88/8.18
YES
36.87/11.86
ICFP_
2010_
relative/
139190.xml
11771788
timeout (wallclock)
[out]
timeout (wallclock)
[out]
YES
5.00/1.36
YES
50.37/13.77
YES
7.89/2.61
ICFP_
2010_
relative/
139214.xml
11771879
timeout (wallclock)
[out]
timeout (wallclock)
[out]
YES
9.52/2.51
YES
42.77/11.75
YES
8.3/2.65
ICFP_
2010_
relative/
139236.xml
11771834
timeout (wallclock)
[out]
timeout (wallclock)
[out]
YES
10.32/2.72
YES
40.30/11.80
YES
7.84/2.99
ICFP_
2010_
relative/
139256.xml
11771787
timeout (wallclock)
[out]
timeout (wallclock)
[out]
YES
4.71/1.28
YES
46.48/12.64
YES
9.32/2.77
ICFP_
2010_
relative/
139282.xml
11771887
timeout (wallclock)
[out]
timeout (wallclock)
[out]
YES
4.79/1.32
YES
34.84/9.66
YES
8.03/2.46
ICFP_
2010_
relative/
139310.xml
11771756
timeout (wallclock)
[out]
timeout (wallclock)
[out]
YES
8.60/2.28
YES
35.49/10.05
YES
6.26/2.10
ICFP_
2010_
relative/
139378.xml
11771846
timeout (wallclock)
[out]
timeout (wallclock)
[out]
YES
8.37/2.23
YES
44.75/12.40
YES
5.31/1.64
ICFP_
2010_
relative/
140287.xml
11771847
timeout (wallclock)
[out]
timeout (wallclock)
[out]
timeout (wallclock)
[out]
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
140318.xml
11771836
timeout (wallclock)
[out]
timeout (wallclock)
[out]
YES
9.22/2.44
YES
37.93/10.60
YES
10.09/4.32
ICFP_
2010_
relative/
140359.xml
11771873
timeout (wallclock)
[out]
timeout (wallclock)
[out]
YES
9.13/2.42
YES
44.11/12.20
YES
8.3/2.63
ICFP_
2010_
relative/
140631.xml
11771883
timeout (wallclock)
[out]
MAYBE
935.53/299.87
YES
605.26/155.52
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
140639.xml
11771843
timeout (wallclock)
[out]
MAYBE
935.89/299.86
YES
234.04/59.97
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
140649.xml
11771745
timeout (wallclock)
[out]
MAYBE
936.63/299.89
YES
710.83/182.00
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
140654.xml
11771839
timeout (wallclock)
[out]
MAYBE
916.69/299.86
YES
1036.85/267.17
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
140659.xml
11771815
timeout (wallclock)
[out]
MAYBE
935.57/299.84
YES
569.04/146.29
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
140664.xml
11771781
timeout (wallclock)
[out]
MAYBE
943.99/299.85
YES
666.83/171.13
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
142142.xml
11771813
timeout (wallclock)
[out]
MAYBE
934.68/299.91
YES
790.75/203.38
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
142146.xml
11771832
timeout (wallclock)
[out]
MAYBE
944.82/299.84
YES
5.34/1.44
YES
69.43/32.42
YES
5.66/1.74
ICFP_
2010_
relative/
142150.xml
11771851
timeout (wallclock)
[out]
MAYBE
936.16/299.85
YES
676.93/173.37
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
142157.xml
11771849
timeout (wallclock)
[out]
MAYBE
939.69/299.85
YES
522.29/133.63
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
3268.xml
11771749
timeout (wallclock)
[out]
MAYBE
812.20/299.38
YES
43.62/11.26
timeout (wallclock)
[out]
YES
4.04/1.33
ICFP_
2010_
relative/
3336.xml
11771785
ERROR
16.69/15.36
MAYBE
650.89/299.40
YES
385.01/98.57
ERROR
0.55/0.32
YES
18.08/5.22
ICFP_
2010_
relative/
3385.xml
11771763
timeout (wallclock)
[out]
MAYBE
809.72/299.40
timeout (wallclock)
[out]
timeout (wallclock)
[out]
YES
15.55/4.48
ICFP_
2010_
relative/
3450.xml
11771751
timeout (wallclock)
[out]
MAYBE
935.15/299.51
YES
39.54/10.15
timeout (wallclock)
[out]
YES
56.28/17.17
ICFP_
2010_
relative/
3467.xml
11771825
timeout (wallclock)
[out]
MAYBE
935.4/299.51
YES
3.08/0.84
timeout (wallclock)
[out]
YES
8.0/2.56
ICFP_
2010_
relative/
3498.xml
11771792
timeout (wallclock)
[out]
MAYBE
870.15/299.49
YES
8.60/2.28
timeout (wallclock)
[out]
YES
11.91/3.80
ICFP_
2010_
relative/
3533.xml
11771765
timeout (wallclock)
[out]
MAYBE
935.00/299.51
YES
105.64/27.08
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
3562.xml
11771747
timeout (wallclock)
[out]
MAYBE
934.71/299.51
YES
41.07/10.54
timeout (wallclock)
[out]
YES
49.53/14.95
ICFP_
2010_
relative/
3589.xml
11771797
timeout (wallclock)
[out]
MAYBE
935.25/299.51
timeout (wallclock)
[out]
timeout (wallclock)
[out]
YES
41.97/12.29
ICFP_
2010_
relative/
3633.xml
11771799
timeout (wallclock)
[out]
MAYBE
935.29/299.51
YES
39.12/10.07
timeout (wallclock)
[out]
YES
507.53/162.29
ICFP_
2010_
relative/
3680.xml
11771774
timeout (wallclock)
[out]
MAYBE
935.26/299.52
YES
7.21/1.91
YES
104.09/27.44
YES
6.55/2.15
ICFP_
2010_
relative/
3705.xml
11771830
timeout (wallclock)
[out]
MAYBE
935.03/299.51
YES
44.90/11.58
timeout (wallclock)
[out]
YES
283.06/90.88
ICFP_
2010_
relative/
3729.xml
11771889
timeout (wallclock)
[out]
MAYBE
944.12/299.51
YES
3.31/0.90
timeout (wallclock)
[out]
YES
7.77/2.48
ICFP_
2010_
relative/
3746.xml
11771819
timeout (wallclock)
[out]
MAYBE
934.91/299.50
timeout (wallclock)
[out]
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
3762.xml
11771805
timeout (wallclock)
[out]
MAYBE
934.46/299.51
YES
24.64/6.33
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
3770.xml
11771826
timeout (wallclock)
[out]
MAYBE
938.23/299.51
timeout (wallclock)
[out]
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
3786.xml
11771784
timeout (wallclock)
[out]
MAYBE
941.28/299.52
timeout (wallclock)
[out]
timeout (wallclock)
[out]
YES
33.43/9.90
ICFP_
2010_
relative/
3817.xml
11771778
timeout (wallclock)
[out]
MAYBE
935.59/299.51
YES
53.54/13.79
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
3831.xml
11771844
timeout (wallclock)
[out]
MAYBE
935.15/299.51
YES
7.80/2.06
YES
124.95/32.89
YES
8.16/2.49
ICFP_
2010_
relative/
3842.xml
11771885
timeout (wallclock)
[out]
MAYBE
936.82/299.51
timeout (wallclock)
[out]
timeout (wallclock)
[out]
YES
18.94/5.48
ICFP_
2010_
relative/
3856.xml
11771816
timeout (wallclock)
[out]
MAYBE
935.77/299.52
YES
7.56/1.99
YES
174.78/45.12
YES
8.25/2.59
ICFP_
2010_
relative/
3861.xml
11771863
timeout (wallclock)
[out]
MAYBE
935.27/299.50
timeout (wallclock)
[out]
timeout (wallclock)
[out]
YES
74.68/22.85
ICFP_
2010_
relative/
3865.xml
11771767
timeout (wallclock)
[out]
MAYBE
933.41/299.57
timeout (wallclock)
[out]
timeout (wallclock)
[out]
YES
348.23/109.86
ICFP_
2010_
relative/
3916.xml
11771786
timeout (wallclock)
[out]
MAYBE
653.12/299.55
timeout (wallclock)
[out]
ERROR
0.63/0.35
timeout (wallclock)
[out]
ICFP_
2010_
relative/
3930.xml
11771872
timeout (wallclock)
[out]
MAYBE
934.01/299.53
timeout (wallclock)
[out]
timeout (wallclock)
[out]
YES
51.92/15.82
ICFP_
2010_
relative/
3939.xml
11771864
timeout (wallclock)
[out]
MAYBE
935.03/299.51
YES
6.95/1.85
timeout (wallclock)
[out]
YES
9.27/2.77
ICFP_
2010_
relative/
3989.xml
11771804
timeout (wallclock)
[out]
MAYBE
935.02/299.51
timeout (wallclock)
[out]
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
3995.xml
11771833
timeout (wallclock)
[out]
MAYBE
944.54/299.51
YES
11.16/2.88
timeout (wallclock)
[out]
YES
8.54/2.78
ICFP_
2010_
relative/
4002.xml
11771868
timeout (wallclock)
[out]
MAYBE
882.63/299.48
timeout (wallclock)
[out]
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
4017.xml
11771740
timeout (wallclock)
[out]
MAYBE
935.10/299.51
YES
35.37/9.10
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
4029.xml
11771845
timeout (wallclock)
[out]
MAYBE
935.83/299.52
YES
40.58/10.45
timeout (wallclock)
[out]
YES
581.49/180.16
ICFP_
2010_
relative/
4036.xml
11771835
timeout (wallclock)
[out]
MAYBE
935.34/299.51
YES
6.84/1.81
YES
199.09/51.18
YES
8.23/2.53
ICFP_
2010_
relative/
4046.xml
11771752
timeout (wallclock)
[out]
MAYBE
652.31/299.49
timeout (wallclock)
[out]
ERROR
0.51/0.31
timeout (wallclock)
[out]
ICFP_
2010_
relative/
4051.xml
11771789
timeout (wallclock)
[out]
MAYBE
935.22/299.51
YES
7.02/1.86
YES
202.82/52.30
YES
5.48/1.82
ICFP_
2010_
relative/
4057.xml
11771750
timeout (wallclock)
[out]
MAYBE
934.07/299.57
timeout (wallclock)
[out]
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
4074.xml
11771772
timeout (wallclock)
[out]
MAYBE
934.77/299.57
YES
3.22/0.87
timeout (wallclock)
[out]
YES
8.13/2.90
ICFP_
2010_
relative/
4106.xml
11771744
timeout (wallclock)
[out]
MAYBE
869.70/299.48
timeout (wallclock)
[out]
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
41378.xml
11771771
timeout (wallclock)
[out]
timeout (wallclock)
[out]
timeout (wallclock)
[out]
timeout (wallclock)
[out]
YES
19.79/5.78
ICFP_
2010_
relative/
4141.xml
11771738
timeout (wallclock)
[out]
MAYBE
934.35/299.50
YES
48.19/12.40
timeout (wallclock)
[out]
YES
30.15/9.06
ICFP_
2010_
relative/
4157.xml
11771779
timeout (wallclock)
[out]
MAYBE
934.93/299.52
YES
33.79/8.67
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
4181.xml
11771776
timeout (wallclock)
[out]
MAYBE
940.44/299.51
YES
3.43/0.93
YES
199.32/51.46
YES
8.34/2.47
ICFP_
2010_
relative/
4200.xml
11771758
timeout (wallclock)
[out]
MAYBE
934.86/299.51
YES
53.21/13.82
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
4248.xml
11771811
timeout (wallclock)
[out]
MAYBE
934.48/299.58
timeout (wallclock)
[out]
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
4282.xml
11771852
timeout (wallclock)
[out]
MAYBE
822.31/299.5
YES
7.12/1.90
timeout (wallclock)
[out]
YES
7.02/2.22
ICFP_
2010_
relative/
4374.xml
11771806
timeout (wallclock)
[out]
MAYBE
944.05/299.53
timeout (wallclock)
[out]
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
4412.xml
11771780
timeout (wallclock)
[out]
MAYBE
935.11/299.51
YES
7.99/2.11
YES
140.34/36.77
YES
17.94/5.20
ICFP_
2010_
relative/
4484.xml
11771760
timeout (wallclock)
[out]
MAYBE
934.48/299.52
timeout (wallclock)
[out]
timeout (wallclock)
[out]
YES
86.68/27.29
ICFP_
2010_
relative/
4487.xml
11771857
timeout (wallclock)
[out]
MAYBE
935.71/299.50
YES
2.96/0.81
timeout (wallclock)
[out]
YES
7.6/2.64
ICFP_
2010_
relative/
4816.xml
11771866
timeout (wallclock)
[out]
MAYBE
935.22/299.51
YES
7.12/1.89
YES
184.83/47.67
YES
7.55/2.28
ICFP_
2010_
relative/
4819.xml
11771824
timeout (wallclock)
[out]
MAYBE
929.89/299.49
YES
7.63/2.02
YES
81.98/22.01
YES
8.92/2.72
ICFP_
2010_
relative/
4824.xml
11771858
timeout (wallclock)
[out]
MAYBE
935.97/299.50
YES
11.59/3.07
timeout (wallclock)
[out]
YES
19.15/5.46
ICFP_
2010_
relative/
4827.xml
11771761
timeout (wallclock)
[out]
MAYBE
940.82/299.50
timeout (wallclock)
[out]
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
4840.xml
11771893
timeout (wallclock)
[out]
MAYBE
934.97/299.51
timeout (wallclock)
[out]
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
4847.xml
11771888
timeout (wallclock)
[out]
MAYBE
934.76/299.51
YES
72.15/18.71
timeout (wallclock)
[out]
YES
439.87/138.69
ICFP_
2010_
relative/
4854.xml
11771822
timeout (wallclock)
[out]
MAYBE
935.14/299.51
YES
41.51/10.70
timeout (wallclock)
[out]
YES
624.65/196.13
ICFP_
2010_
relative/
4893.xml
11771790
timeout (wallclock)
[out]
MAYBE
935.32/299.50
YES
6.80/1.80
timeout (wallclock)
[out]
YES
18.63/5.16
ICFP_
2010_
relative/
4920.xml
11771739
timeout (wallclock)
[out]
MAYBE
934.09/299.51
timeout (wallclock)
[out]
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
4934.xml
11771829
timeout (wallclock)
[out]
MAYBE
935.33/299.50
timeout (wallclock)
[out]
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
4938.xml
11771782
timeout (wallclock)
[out]
MAYBE
934.04/299.53
YES
11.55/3.00
timeout (wallclock)
[out]
YES
8.11/2.64
ICFP_
2010_
relative/
4943.xml
11771777
timeout (wallclock)
[out]
MAYBE
935.43/299.51
YES
5.09/1.33
timeout (wallclock)
[out]
YES
160.71/50.20
ICFP_
2010_
relative/
4953.xml
11771802
timeout (wallclock)
[out]
MAYBE
935.72/299.51
YES
6.95/1.83
timeout (wallclock)
[out]
YES
8.56/2.79
ICFP_
2010_
relative/
4964.xml
11771894
timeout (wallclock)
[out]
MAYBE
935.11/299.51
timeout (wallclock)
[out]
timeout (wallclock)
[out]
YES
13.57/3.91
ICFP_
2010_
relative/
4970.xml
11771821
timeout (wallclock)
[out]
MAYBE
652.70/299.48
timeout (wallclock)
[out]
ERROR
0.56/0.32
timeout (wallclock)
[out]
ICFP_
2010_
relative/
4979.xml
11771818
timeout (wallclock)
[out]
MAYBE
934.64/299.50
timeout (wallclock)
[out]
timeout (wallclock)
[out]
YES
290.00/92.69
ICFP_
2010_
relative/
4991.xml
11771876
timeout (wallclock)
[out]
MAYBE
944.75/299.54
timeout (wallclock)
[out]
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
5011.xml
11771828
timeout (wallclock)
[out]
MAYBE
655.55/299.49
timeout (wallclock)
[out]
ERROR
0.56/0.41
timeout (wallclock)
[out]
ICFP_
2010_
relative/
5076.xml
11771803
timeout (wallclock)
[out]
MAYBE
936.69/299.55
timeout (wallclock)
[out]
timeout (wallclock)
[out]
YES
499.51/156.28
ICFP_
2010_
relative/
5109.xml
11771841
timeout (wallclock)
[out]
MAYBE
852.97/299.50
YES
7.41/1.96
YES
84.54/22.44
YES
7.76/2.33
ICFP_
2010_
relative/
5130.xml
11771768
timeout (wallclock)
[out]
MAYBE
936.81/299.52
YES
3.54/0.95
YES
113.33/29.76
YES
7.92/2.49
ICFP_
2010_
relative/
54097.xml
11771736
timeout (wallclock)
[out]
timeout (wallclock)
[out]
YES
54.90/14.12
timeout (wallclock)
[out]
YES
17.8/5.11
ICFP_
2010_
relative/
63142.xml
11771875
timeout (wallclock)
[out]
MAYBE
842.19/299.55
YES
6.27/1.64
timeout (wallclock)
[out]
YES
34.81/10.61
ICFP_
2010_
relative/
64160.xml
11771746
timeout (wallclock)
[out]
MAYBE
870.46/299.55
YES
43.05/11.17
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
88143.xml
11771762
timeout (wallclock)
[out]
MAYBE
810.97/299.53
YES
2.93/0.79
YES
71.44/23.75
YES
2.32/0.88
ICFP_
2010_
relative/
88172.xml
11771865
timeout (wallclock)
[out]
MAYBE
943.53/299.56
YES
3.14/0.84
timeout (wallclock)
[out]
YES
2.82/0.96
ICFP_
2010_
relative/
91242.xml
11771770
timeout (wallclock)
[out]
MAYBE
955.99/300.03
YES
79.14/20.34
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
97888.xml
11771793
timeout (wallclock)
[out]
timeout (wallclock)
[out]
YES
1004.01/257.44
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
97901.xml
11771795
timeout (wallclock)
[out]
timeout (wallclock)
[out]
timeout (wallclock)
[out]
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
97917.xml
11771817
timeout (wallclock)
[out]
timeout (wallclock)
[out]
timeout (wallclock)
[out]
timeout (wallclock)
[out]
timeout (wallclock)
[out]
ICFP_
2010_
relative/
97929.xml
11771870
timeout (wallclock)
[out]
timeout (wallclock)
[out]
timeout (wallclock)
[out]
timeout (wallclock)
[out]
timeout (wallclock)
[out]
10
24
145
89
150