TermComp 2020
: Integer Transition Systems
41496
Job info CSV
Showing
all
interesting
conflicting
unsolved
solo
results.
benchmark
Ctrl
Transition
--
YES
NO
MAYBE
timeout
irankfinder v1.3.2
competition
--
YES
NO
MAYBE
timeout
LoAT
loat_nonterm_proofout
--
YES
NO
MAYBE
timeout
From_
T2/
ex2.t2.smt2
11761849
i
MAYBE
3.72/3.48
NO
2.63/2.64
NO
0.07/0.11
From_
T2/
ud.t2.smt2
11761850
is
timeout (wallclock)
YES
82.62/82.67
ERROR
4.43/4.44
From_
T2/
java_
EqUserDefRec.c.t2.smt2
11761851
YES
10.64/10.06
YES
3.00/3.00
ERROR
0.19/0.22
From_
T2/
ex33.t2.smt2
11761852
YES
0.17/0.22
YES
1.61/1.62
ERROR
0.01/0.07
From_
T2/
bubblesort_
inner_
loop.t2.smt2
11761853
YES
5.97/5.85
YES
2.87/2.92
ERROR
0.14/0.19
From_
T2/
ex6.t2.smt2
11761854
YES
0.01/0.05
YES
1.26/1.30
ERROR
0.01/0.05
From_
T2/
neg-1394complete-fail.t2.smt2
11761855
i
timeout (wallclock)
NO
83.46/83.46
NO
3.25/3.25
From_
T2/
n-1.t2_
fixed.smt2
11761856
i
MAYBE
27.01/25.25
NO
3.89/3.89
NO
0.08/0.09
From_
T2/
pgarch.t2.smt2
11761857
is
timeout (wallclock)
MAYBE
298.93/299.01
NO
73.31/73.28
From_
T2/
neg-e-st88b-succeed.t2.smt2
11761858
i
MAYBE
2.96/2.81
NO
3.56/3.63
NO
1.71/1.76
From_
T2/
florian_
sas1.t2.smt2
11761859
is
MAYBE
20.38/19.10
YES
4.37/4.45
ERROR
0.30/0.34
From_
T2/
cover.t2_
fixed.smt2
11761860
u
timeout (wallclock)
MAYBE
298.97/299.03
ERROR
6.64/6.56
From_
T2/
neg-e-1394complete-fail.t2_
fixed.smt2
11761861
i
timeout (wallclock)
NO
74.81/74.83
NO
2.87/2.85
From_
T2/
test_
byron_
2.t2.smt2
11761862
i
MAYBE
0.73/0.68
NO
1.85/1.85
NO
0.05/0.06
From_
T2/
neg-acqrel-succeed.t2.smt2
11761863
i
MAYBE
4.09/4.03
NO
2.87/2.87
NO
0.30/0.30
From_
T2/
java_
Break.c.t2_
fixed.smt2
11761864
YES
1.78/1.66
YES
2.02/2.04
ERROR
0.07/0.07
From_
T2/
janne_
complex.t2_
fixed.smt2
11761865
u
MAYBE
118.14/110.65
MAYBE
298.89/299.07
ERROR
118.32/118.37
From_
T2/
ex10.t2.smt2
11761866
i
MAYBE
94.23/88.31
NO
11.80/11.80
NO
0.08/0.16
From_
T2/
p-1b.t2.smt2
11761867
YES
1.77/1.80
YES
1.34/1.42
ERROR
0.06/0.09
From_
T2/
svdcmp.c.i.svdcmp.pl.t2.nor.t2.rlgfixed.t2.smt2
11761868
u
timeout (wallclock)
MAYBE
298.99/299.01
ERROR
33.48/33.36
From_
T2/
heidy9.t2.smt2
11761869
YES
0.36/0.39
YES
1.23/1.27
ERROR
0.05/0.11
From_
T2/
n-6a.t2.smt2
11761870
i
MAYBE
18.14/17.42
NO
2.67/2.69
NO
0.13/0.19
From_
T2/
dsa_
test12.t2.smt2
11761871
YES
0.01/0.02
YES
0.90/0.91
ERROR
0.00/0.05
From_
T2/
jacobi.t2_
fixed.smt2
11761872
is
timeout (wallclock)
YES
15.44/15.49
ERROR
8.75/8.77
From_
T2/
ex14.t2.smt2
11761873
YES
1.94/1.86
YES
1.33/1.38
ERROR
0.05/0.09
From_
T2/
java_
FactSum.c.t2.smt2
11761874
YES
33.66/31.37
YES
4.75/4.80
ERROR
0.30/0.35
From_
T2/
ex3.t2_
fixed.smt2
11761875
YES
1.89/1.82
YES
1.90/1.98
ERROR
0.06/0.12
From_
T2/
p-63.t2_
fixed.smt2
11761876
is
MAYBE
8.41/7.88
YES
1.82/1.83
ERROR
0.10/0.14
From_
T2/
neg-smagilla-fail.t2.smt2
11761877
i
MAYBE
5.31/4.97
NO
3.20/3.20
NO
0.64/1.16
From_
T2/
select.t2_
fixed.smt2
11761878
is
timeout (wallclock)
MAYBE
298.96/299.03
NO
6.60/6.59
From_
T2/
p-3.t2_
fixed.smt2
11761879
YES
7.08/6.66
YES
2.11/2.11
ERROR
0.10/0.15
From_
T2/
ex27.t2_
fixed.smt2
11761880
is
timeout (wallclock)
YES
50.69/50.73
ERROR
0.99/1.01
From_
T2/
heidy5.t2.smt2
11761881
YES
1.36/1.30
YES
1.51/1.54
ERROR
0.05/0.10
From_
T2/
magic.t2.smt2
11761882
is
timeout (wallclock)
YES
182.23/182.26
ERROR
3.29/3.32
From_
T2/
fun10b.t2_
fixed.smt2
11761883
i
timeout (wallclock)
NO
190.08/190.18
NO
4.85/4.87
From_
T2/
neg-st88b-fail.t2.smt2
11761884
i
MAYBE
19.80/18.43
NO
11.69/11.71
NO
1.68/1.71
From_
T2/
smagillc-fail.t2_
fixed.smt2
11761885
is
MAYBE
5.59/5.25
MAYBE
60.31/60.95
NO
0.66/0.70
From_
T2/
array3.t2.smt2
11761886
YES
5.87/5.64
YES
2.03/2.08
ERROR
0.10/0.10
From_
T2/
apchild-live.t2_
fixed.smt2
11761887
is
timeout (wallclock)
MAYBE
299.01/299.01
NO
9.13/9.11
From_
T2/
p-20.t2.smt2
11761888
i
MAYBE
19.47/18.47
NO
2.91/2.94
NO
0.05/0.11
From_
T2/
opt-tree.c.t2.smt2
11761889
is
timeout (wallclock)
YES
165.87/166.01
timeout (wallclock)
From_
T2/
two_
arrays1.t2_
fixed.smt2
11761890
YES
111.79/104.29
YES
8.29/8.35
ERROR
0.30/0.34
From_
T2/
e-pgarch-fail.t2.smt2
11761891
i
MAYBE
39.95/38.33
NO
6.75/6.81
NO
0.18/0.22
From_
T2/
heidy1.t2.smt2
11761892
i
MAYBE
0.52/0.54
NO
1.57/1.58
NO
0.02/0.03
From_
T2/
fun1.t2_
fixed.smt2
11761893
is
MAYBE
292.34/278.64
MAYBE
299.00/299.05
NO
21.87/21.70
From_
T2/
ex18.t2.smt2
11761894
is
MAYBE
44.95/42.01
YES
28.43/28.51
ERROR
0.19/0.24
From_
T2/
ex33.t2_
fixed.smt2
11761895
YES
0.15/0.18
YES
1.49/1.53
ERROR
0.01/0.05
From_
T2/
p-41.t2.smt2
11761896
YES
0.01/0.05
YES
0.90/0.93
ERROR
0.01/0.05
From_
T2/
bf12.t2.smt2
11761897
YES
151.49/142.01
YES
8.57/8.72
ERROR
1.56/1.60
From_
T2/
n-32.t2.smt2
11761898
i
MAYBE
3.63/3.41
NO
2.00/2.05
NO
0.14/0.17
From_
T2/
afagp-fail.t2.smt2
11761899
is
timeout (wallclock)
MAYBE
298.97/299.05
NO
7.12/7.14
From_
T2/
small28.t2.smt2
11761900
YES
1.24/1.20
YES
1.15/1.19
ERROR
0.05/0.06
From_
T2/
statemate.t2_
fixed.smt2
11761901
u
timeout (wallclock)
MAYBE
299.01/299.05
ERROR
254.67/259.08
From_
T2/
p-45.t2.smt2
11761902
YES
5.36/5.18
YES
1.71/1.73
ERROR
0.13/0.14
From_
T2/
bf16.t2.smt2
11761903
YES
304.28/284.86
YES
8.54/8.58
ERROR
1.69/1.70
From_
T2/
traverse_
seg2.t2.smt2
11761904
is
timeout (wallclock)
YES
51.71/51.78
ERROR
1.88/1.94
From_
T2/
intSqRoot.t2.smt2
11761905
i
MAYBE
5.01/4.69
NO
25.28/25.29
NO
0.14/0.20
From_
T2/
byron-1.t2.smt2
11761906
is
MAYBE
2.83/2.70
YES
1.43/1.47
ERROR
0.14/0.18
From_
T2/
n-36.t2.smt2
11761907
i
timeout (wallclock)
NO
21.17/21.22
NO
0.28/0.30
From_
T2/
dsa_
test1.t2.smt2
11761908
YES
0.01/0.07
YES
0.89/0.94
ERROR
0.00/0.08
From_
T2/
n-18a.t2.smt2
11761909
i
MAYBE
1.77/1.71
NO
1.63/1.67
NO
0.10/0.13
From_
T2/
Prim_
4.t2.smt2
11761910
is
timeout (wallclock)
MAYBE
298.96/299.01
NO
1.83/1.81
From_
T2/
p-5.t2.smt2
11761911
i
timeout (wallclock)
NO
6.33/6.39
NO
1.49/1.53
From_
T2/
small24.t2.smt2
11761912
i
MAYBE
0.28/0.32
NO
1.42/1.47
NO
0.02/0.08
From_
T2/
dsa_
test9.t2.smt2
11761913
YES
0.01/0.06
YES
0.89/0.93
ERROR
0.00/0.04
From_
T2/
non_
term.t2.smt2
11761914
i
MAYBE
0.99/0.98
NO
1.63/1.67
NO
0.11/0.14
From_
T2/
spctrm.c.i.spctrm.pl.t2.fixed.t2.smt2
11761915
is
timeout (wallclock)
YES
63.59/63.65
ERROR
12.33/12.23
From_
T2/
java_
Diff.c.t2.smt2
11761916
is
timeout (wallclock)
YES
109.42/109.49
ERROR
1.59/1.58
From_
T2/
p-49.t2.smt2
11761917
YES
0.37/0.38
YES
1.30/1.35
ERROR
0.04/0.07
From_
T2/
ludcmp.c.i.ludcmp.pl.t2.fixed.t2.smt2
11761918
is
timeout (wallclock)
YES
19.09/19.10
ERROR
7.13/7.14
From_
T2/
p-1.t2.smt2
11761919
i
MAYBE
9.71/9.05
NO
1.74/1.74
NO
0.04/0.08
From_
T2/
small20.t2.smt2
11761920
YES
2.99/2.87
YES
1.57/1.60
ERROR
0.09/0.09
From_
T2/
n-4.t2_
fixed.smt2
11761921
i
MAYBE
104.76/97.94
NO
6.56/6.63
NO
0.55/0.76
From_
T2/
n_
firewire_
instrumented-PP.t2.smt2
11761922
is
MAYBE
145.83/135.89
YES
110.86/111.92
ERROR
18.56/18.30
From_
T2/
streamserver-succeed.t2_
fixed.smt2
11761923
i
MAYBE
106.49/99.82
NO
28.24/28.29
NO
8.22/8.25
From_
T2/
java_
LeUserDefRec.c.t2.smt2
11761924
YES
15.17/14.59
YES
2.76/2.79
ERROR
0.12/0.12
From_
T2/
n-15.t2.smt2
11761925
i
MAYBE
1.51/1.42
NO
10.55/10.58
NO
0.18/0.19
From_
T2/
bf8.t2_
fixed.smt2
11761926
YES
111.78/104.87
YES
8.54/8.59
ERROR
1.67/1.69
From_
T2/
p-62.t2.smt2
11761927
YES
0.02/0.05
YES
0.94/0.97
ERROR
0.00/0.01
From_
T2/
fun4.t2_
fixed.smt2
11761928
is
MAYBE
11.73/11.03
YES
11.96/11.96
ERROR
0.15/0.16
From_
T2/
ex36.t2_
fixed.smt2
11761929
is
timeout (wallclock)
MAYBE
299.00/299.00
NO
16.72/16.64
From_
T2/
small03.t2.smt2
11761930
i
MAYBE
0.48/0.49
NO
1.58/1.62
NO
0.05/0.08
From_
T2/
ud.t2_
fixed.smt2
11761931
is
timeout (wallclock)
YES
74.99/75.00
ERROR
3.47/3.45
From_
T2/
reverse_
seg_
cyclic.t2_
fixed.smt2
11761932
is
timeout (wallclock)
YES
67.51/67.52
ERROR
1.75/1.75
From_
T2/
neg-e-1394complete-fail.t2.smt2
11761933
i
timeout (wallclock)
NO
75.05/75.06
NO
2.84/2.82
From_
T2/
bitcount16.t2_
fixed.smt2
11761934
YES
48.93/46.12
YES
3.71/3.72
ERROR
0.12/0.13
From_
T2/
small07.t2.smt2
11761935
is
MAYBE
16.39/15.35
YES
3.18/3.19
ERROR
0.52/0.50
From_
T2/
ex22.t2_
fixed.smt2
11761936
is
timeout (wallclock)
YES
32.73/32.73
ERROR
0.63/0.63
From_
T2/
small31.t2.smt2
11761937
YES
0.01/0.02
YES
0.95/0.96
ERROR
0.00/0.01
From_
T2/
stored.t2.smt2
11761938
i
MAYBE
6.09/5.87
NO
4.92/4.93
NO
0.16/0.20
From_
T2/
sudoku.t2.smt2
11761939
u
timeout (wallclock)
MAYBE
298.98/299.01
ERROR
7.65/7.56
From_
T2/
acqrel-fail.t2.smt2
11761940
i
MAYBE
2.50/2.33
NO
2.61/3.82
NO
0.35/1.41
From_
T2/
ndes.t2.smt2
11761941
u
timeout (wallclock)
MAYBE
298.97/299.01
ERROR
26.14/26.06
From_
T2/
p-58.t2.smt2
11761942
is
MAYBE
2.41/2.29
YES
1.45/1.46
ERROR
0.01/0.05
From_
T2/
compress.t2_
fixed.smt2
11761943
u
timeout (wallclock)
MAYBE
298.98/299.01
ERROR
3.57/3.59
From_
T2/
zlib-crc32-BYFOUR.c.t2.smt2
11761944
i
MAYBE
263.75/247.47
NO
18.87/18.87
NO
2.56/2.55
From_
T2/
fun2b.t2_
fixed.smt2
11761945
is
MAYBE
278.55/264.56
YES
24.26/24.27
ERROR
16.36/16.26
From_
T2/
eric3.t2.smt2
11761946
i
MAYBE
24.67/23.14
NO
3.56/3.58
NO
0.27/0.30
From_
T2/
queens.t2_
fixed.smt2
11761947
u
timeout (wallclock)
MAYBE
298.92/299.01
ERROR
3.57/3.54
From_
T2/
st88.t2.smt2
11761948
i
MAYBE
15.98/15.37
NO
10.14/10.14
NO
0.94/0.92
From_
T2/
fun4-alt.t2.smt2
11761949
is
MAYBE
7.32/6.84
YES
5.35/5.42
ERROR
0.29/0.43
From_
T2/
neg-1394-succeed.t2.smt2
11761950
i
timeout (wallclock)
NO
82.00/82.03
NO
3.61/3.63
From_
T2/
apchild-accepted-fail.t2_
fixed.smt2
11761951
i
timeout (wallclock)
NO
273.72/273.82
NO
6.37/6.38
From_
T2/
small35.t2.smt2
11761952
i
MAYBE
1.23/1.19
NO
1.60/1.60
NO
0.03/0.03
From_
T2/
simple_
array_
inversion.t2.smt2
11761953
YES
0.45/0.43
YES
1.50/1.50
ERROR
0.04/0.05
From_
T2/
slayer-3.t2_
fixed.smt2
11761954
is
timeout (wallclock)
MAYBE
298.99/299.03
NO
73.51/73.41
From_
T2/
rev_
nt4.t2_
fixed.smt2
11761955
YES
0.02/0.04
YES
1.01/1.03
ERROR
0.00/0.03
From_
T2/
p.t2.smt2
11761956
u
timeout (wallclock)
MAYBE
298.98/299.04
ERROR
7.87/7.83
From_
T2/
zlib-crc32-BYFOUR.c.t2_
fixed.smt2
11761957
is
timeout (wallclock)
YES
22.63/22.64
ERROR
0.84/0.83
From_
T2/
s1.t2.smt2
11761958
is
timeout (wallclock)
MAYBE
299.01/299.06
NO
22.63/22.60
From_
T2/
bf7.t2_
fixed.smt2
11761959
YES
106.58/99.13
YES
9.29/9.36
ERROR
1.55/1.57
From_
T2/
mc91test.t2.smt2
11761960
i
MAYBE
84.72/79.11
NO
7.73/7.73
NO
2.65/2.67
From_
T2/
java_
PlusSwap.c.t2.smt2
11761961
is
MAYBE
13.93/13.39
YES
3.12/3.12
ERROR
0.19/0.22
From_
T2/
bsort100.t2.smt2
11761962
YES
134.11/124.96
YES
11.22/11.22
ERROR
336.41/295.85
From_
T2/
pgarch-succeed.t2.smt2
11761963
i
MAYBE
36.16/33.80
NO
6.57/6.62
NO
0.18/0.22
From_
T2/
p-50.t2.smt2
11761964
YES
0.01/0.06
YES
0.93/1.00
ERROR
0.00/0.05
From_
T2/
small16.t2.smt2
11761965
is
MAYBE
1.45/1.46
MAYBE
28.09/28.35
NO
0.28/0.32
From_
T2/
fun1.t2.smt2
11761966
is
timeout (wallclock)
MAYBE
299.04/299.00
NO
254.92/254.23
From_
T2/
consts3.t2.smt2
11761967
YES
0.96/1.16
YES
1.14/1.20
ERROR
0.05/0.11
From_
T2/
bf14.t2_
fixed.smt2
11761968
YES
105.25/98.92
YES
7.46/7.54
ERROR
1.51/1.56
From_
T2/
consts3.t2_
fixed.smt2
11761969
YES
0.12/0.19
YES
1.11/1.14
ERROR
0.04/0.09
From_
T2/
neg-e-pgarch-fail.t2_
fixed.smt2
11761970
i
MAYBE
24.36/23.01
NO
5.02/5.11
NO
0.17/0.21
From_
T2/
simple_
fail.t2.smt2
11761971
YES
0.01/0.06
YES
0.91/0.97
ERROR
0.00/0.03
From_
T2/
small12.t2.smt2
11761972
YES
1.27/1.32
YES
1.25/1.25
ERROR
0.07/0.11
From_
T2/
fun5.t2.smt2
11761973
i
MAYBE
127.41/119.82
NO
129.92/129.99
NO
13.50/13.45
From_
T2/
d.t2.smt2
11761974
is
MAYBE
4.79/4.52
MAYBE
21.59/21.95
NO
0.06/0.10
From_
T2/
florian_
sumit.t2.smt2
11761975
is
MAYBE
13.12/12.23
YES
22.37/22.40
ERROR
1.87/1.90
From_
T2/
queue_
100.t2_
fixed.smt2
11761976
YES
15.13/14.21
YES
6.25/6.28
ERROR
0.20/0.31
From_
T2/
1394complete-fail.t2.smt2
11761977
i
timeout (wallclock)
NO
85.82/85.91
NO
3.12/3.16
From_
T2/
apchild-accepted.t2.smt2
11761978
is
timeout (wallclock)
MAYBE
298.99/299.05
NO
7.42/7.46
From_
T2/
bf20.t2.smt2
11761979
YES
139.61/130.58
YES
9.22/9.27
ERROR
1.55/1.59
From_
T2/
sequential_
swap.t2.smt2
11761980
YES
0.07/0.11
YES
1.24/1.28
ERROR
0.01/0.06
From_
T2/
s1.t2_
fixed.smt2
11761981
is
timeout (wallclock)
MAYBE
298.98/299.08
NO
21.08/21.03
From_
T2/
create_
seg.t2.smt2
11761982
YES
53.07/50.03
YES
3.08/3.09
ERROR
0.10/0.10
From_
T2/
ns.t2.smt2
11761983
YES
167.15/156.59
YES
19.15/19.20
ERROR
0.42/0.41
From_
T2/
fake-succeed.t2.smt2
11761984
i
timeout (wallclock)
NO
199.67/199.72
NO
17.28/17.25
From_
T2/
tqli.c.i.tqli.pl.t2.fixed.t2.smt2
11761985
is
timeout (wallclock)
MAYBE
298.96/299.01
NO
4.67/4.68
From_
T2/
hqr.c.i.hqr.pl.t2.nor.t2.rlgfixed.t2_
fixed.smt2
11761986
u
timeout (wallclock)
MAYBE
298.97/299.07
ERROR
252.55/252.91
From_
T2/
fun9.t2.smt2
11761987
u
MAYBE
90.37/84.48
MAYBE
299.01/299.01
ERROR
3.70/3.69
From_
T2/
s1-saved.t2.smt2
11761988
is
timeout (wallclock)
YES
46.85/46.92
ERROR
1.66/1.71
From_
T2/
subpoly_
crash.t2.smt2
11761989
i
MAYBE
0.53/0.53
NO
1.61/1.66
NO
0.03/0.06
From_
T2/
hqr.t2.smt2
11761990
u
timeout (wallclock)
MAYBE
298.88/299.05
ERROR
17.44/17.38
From_
T2/
fir.t2_
fixed.smt2
11761991
YES
81.81/77.07
YES
8.22/8.29
ERROR
1.82/1.83
From_
T2/
p-55.t2_
fixed.smt2
11761992
YES
12.70/11.83
YES
3.91/3.97
ERROR
0.41/0.46
From_
T2/
fir.t2.smt2
11761993
YES
143.84/133.97
YES
11.50/11.55
ERROR
1.81/1.79
From_
T2/
mc91.t2.smt2
11761994
i
MAYBE
11.19/10.40
NO
3.44/3.44
NO
1.02/1.02
From_
T2/
queue_
1000.t2.smt2
11761995
YES
27.49/25.60
YES
6.61/6.61
ERROR
0.25/0.25
From_
T2/
neg-e-pgarch-succeed.t2_
fixed.smt2
11761996
i
MAYBE
17.25/16.17
NO
4.89/4.89
NO
0.16/0.77
From_
T2/
huh.t2.smt2
11761997
is
MAYBE
187.17/176.08
YES
5.57/5.63
ERROR
0.17/0.68
From_
T2/
curious.t2_
fixed.smt2
11761998
i
MAYBE
0.75/0.75
NO
1.87/1.93
NO
0.04/0.11
From_
T2/
fun10.t2_
fixed.smt2
11761999
i
timeout (wallclock)
NO
221.95/222.04
NO
5.61/5.63
From_
T2/
p-12.t2.smt2
11762000
YES
0.37/0.39
YES
1.29/1.29
ERROR
0.04/0.04
From_
T2/
neg-e-1394complete-succeed.t2.smt2
11762001
i
timeout (wallclock)
NO
74.56/74.58
NO
2.82/2.80
From_
T2/
1394-succeed.t2.smt2
11762002
i
timeout (wallclock)
NO
77.32/77.39
NO
3.17/3.15
From_
T2/
send-more-money.t2.smt2
11762003
YES
77.78/77.26
YES
43.51/43.51
ERROR
0.14/0.16
From_
T2/
p-43-terminate.t2_
fixed.smt2
11762004
is
timeout (wallclock)
YES
76.38/76.37
ERROR
15.55/15.52
From_
T2/
rlft3.c.i.rlft3.pl.t2.fixed.t2.smt2
11762005
i
timeout (wallclock)
NO
34.86/34.89
NO
7.44/7.41
From_
T2/
polyrank2.t2.smt2
11762006
is
MAYBE
1.86/1.77
YES
12.91/13.24
ERROR
0.06/0.10
From_
T2/
two_
arrays.t2.smt2
11762007
YES
66.95/63.18
YES
6.17/6.23
ERROR
0.27/0.29
From_
T2/
cnt.t2_
fixed.smt2
11762008
is
timeout (wallclock)
YES
29.98/29.98
ERROR
0.32/0.32
From_
T2/
flipflop.t2.smt2
11762009
is
MAYBE
0.70/0.69
MAYBE
17.62/17.79
NO
0.04/0.10
From_
T2/
dropbuf.t2.smt2
11762010
i
MAYBE
113.95/106.69
NO
14.66/14.71
NO
1.33/1.31
From_
T2/
ex22.t2.smt2
11762011
is
timeout (wallclock)
YES
30.42/30.45
ERROR
0.78/0.80
From_
T2/
fun11.t2.smt2
11762012
i
MAYBE
27.50/25.80
NO
5.26/5.33
NO
0.06/0.11
From_
T2/
ex26.t2.smt2
11762013
YES
37.53/35.00
YES
4.01/4.06
ERROR
0.13/0.17
From_
T2/
ctl.t2.smt2
11762014
i
MAYBE
30.09/28.55
NO
8.20/8.27
NO
0.14/0.19
From_
T2/
polyrank6.t2.smt2
11762015
is
MAYBE
4.17/3.91
YES
1.64/1.65
ERROR
0.71/0.72
From_
T2/
byron-2.t2_
fixed.smt2
11762016
YES
38.14/35.78
YES
4.00/4.05
ERROR
0.32/0.32
From_
T2/
simple_
pre1.t2.smt2
11762017
YES
0.01/0.06
YES
0.91/0.95
ERROR
0.01/0.01
From_
T2/
s4.t2_
fixed.smt2
11762018
u
timeout (wallclock)
MAYBE
299.25/299.03
timeout (wallclock)
From_
T2/
svdcmp.c.i.svdcmp.pl.t2.fixed.t2.smt2
11762019
u
timeout (wallclock)
MAYBE
298.97/299.06
ERROR
44.75/44.77
From_
T2/
foo.t2.smt2
11762020
u
timeout (wallclock)
MAYBE
298.96/299.01
ERROR
6.65/6.65
From_
T2/
n-46.t2.smt2
11762021
i
MAYBE
2.29/2.20
NO
2.09/2.12
NO
0.04/0.09
From_
T2/
curious.t2.smt2
11762022
i
MAYBE
1.41/1.37
NO
1.93/1.99
NO
0.04/0.09
From_
T2/
destroy_
seg.t2.smt2
11762023
is
timeout (wallclock)
YES
18.38/18.42
ERROR
0.58/0.61
From_
T2/
ex14.t2_
fixed.smt2
11762024
YES
1.02/0.99
YES
1.26/1.31
ERROR
0.05/0.11
From_
T2/
tqli.t2.smt2
11762025
is
timeout (wallclock)
MAYBE
298.98/299.03
NO
4.64/4.65
From_
T2/
traverse_
twice.t2.smt2
11762026
is
timeout (wallclock)
YES
92.00/92.04
ERROR
3.46/3.49
From_
T2/
bf11.t2_
fixed.smt2
11762027
YES
110.75/103.80
YES
8.07/8.14
ERROR
1.54/1.59
From_
T2/
bf6.t2.smt2
11762028
YES
156.67/146.97
YES
8.59/8.62
ERROR
1.56/1.58
From_
T2/
java_
TimesPlusUserDef.c.t2.smt2
11762029
YES
35.76/33.26
YES
6.01/6.06
ERROR
0.31/0.31
From_
T2/
n-3.t2.smt2
11762030
i
MAYBE
7.92/7.72
NO
2.42/2.42
NO
0.13/0.13
From_
T2/
array_
free.t2.smt2
11762031
YES
1.98/1.90
YES
2.04/2.09
ERROR
0.07/0.13
From_
T2/
n-7.t2.smt2
11762032
i
MAYBE
9.26/8.68
NO
2.99/3.04
NO
0.07/0.12
From_
T2/
dummy.t2.smt2
11762033
i
MAYBE
1.40/1.36
NO
1.46/1.51
NO
0.09/0.13
From_
T2/
neg-e-smagill-succeed.t2.smt2
11762034
i
MAYBE
5.30/5.09
NO
3.52/3.56
NO
0.66/0.68
From_
T2/
broydn.t2.smt2
11762035
is
timeout (wallclock)
YES
235.79/235.88
ERROR
29.59/29.52
From_
T2/
p-55.t2.smt2
11762036
YES
22.25/20.74
YES
3.68/3.75
ERROR
0.57/0.61
From_
T2/
destroy_
seg_
leak.t2_
fixed.smt2
11762037
i
timeout (wallclock)
NO
162.57/162.65
NO
1.65/1.71
From_
T2/
n-16a.t2.smt2
11762038
i
MAYBE
1.90/1.83
NO
1.60/1.66
NO
0.10/0.16
From_
T2/
s4.t2.smt2
11762039
u
timeout (wallclock)
MAYBE
299.38/299.05
timeout (wallclock)
From_
T2/
fibcall.t2_
fixed.smt2
11762040
YES
13.68/12.79
YES
2.10/2.15
ERROR
0.54/0.60
From_
T2/
zlib-crc32.c.t2.smt2
11762041
i
MAYBE
55.65/52.23
NO
6.82/6.86
NO
0.27/0.30
From_
T2/
example.t2.smt2
11762042
is
MAYBE
2.26/2.13
YES
1.30/1.36
ERROR
0.14/0.20
From_
T2/
zlib-crc32.c.t2_
fixed.smt2
11762043
YES
38.77/36.18
YES
4.81/4.82
ERROR
0.15/0.20
From_
T2/
n-36.t2_
fixed.smt2
11762044
i
timeout (wallclock)
NO
18.85/18.88
NO
0.24/0.29
From_
T2/
neg-e-acqrel-fail.t2.smt2
11762045
i
MAYBE
5.94/5.60
NO
3.03/3.09
NO
0.11/0.17
From_
T2/
p-19a.t2.smt2
11762046
i
MAYBE
20.02/19.19
NO
2.32/2.37
NO
0.04/0.10
From_
T2/
slayer-1-rf.t2.smt2
11762047
is
timeout (wallclock)
YES
19.18/19.24
ERROR
0.57/0.63
From_
T2/
rev_
nt3.t2_
fixed.smt2
11762048
i
timeout (wallclock)
NO
24.81/24.88
NO
0.54/0.61
From_
T2/
st88.t2_
fixed.smt2
11762049
i
MAYBE
8.39/7.85
NO
194.71/194.80
NO
0.42/0.45
From_
T2/
java_
Factorial.c.t2.smt2
11762050
YES
2.21/2.11
YES
2.06/2.10
ERROR
0.06/0.09
From_
T2/
pearl-necklace.t2.smt2
11762051
YES
13.96/13.03
YES
3.08/3.08
ERROR
0.17/0.17
From_
T2/
jfdctint.c.t2.smt2
11762052
YES
34.61/32.62
YES
4.95/5.06
ERROR
0.18/0.25
From_
T2/
elmhes.c.i.elmhes.pl.t2.fixed.t2.smt2
11762053
is
timeout (wallclock)
YES
11.09/11.12
ERROR
3.38/3.34
From_
T2/
wtf.t2.smt2
11762054
is
MAYBE
276.48/264.97
YES
24.28/24.62
ERROR
16.00/15.90
From_
T2/
java_
Nested.c.t2.smt2
11762055
YES
39.69/38.49
YES
4.12/4.18
ERROR
0.50/0.53
From_
T2/
eric2.t2.smt2
11762056
is
timeout (wallclock)
YES
36.03/36.10
ERROR
16.36/16.32
From_
T2/
1394complete-succeed.t2_
fixed.smt2
11762057
i
timeout (wallclock)
NO
84.94/85.01
NO
3.14/3.17
From_
T2/
jfdctint.c.t2_
fixed.smt2
11762058
YES
20.49/19.24
YES
4.39/4.46
ERROR
0.17/0.22
From_
T2/
small34.t2.smt2
11762059
YES
0.14/0.16
YES
1.11/1.13
ERROR
0.04/0.07
From_
T2/
n-1d.t2.smt2
11762060
i
MAYBE
17.75/16.66
NO
3.19/3.23
NO
0.14/0.17
From_
T2/
zeroconf.t2.smt2
11762061
u
timeout (wallclock)
MAYBE
298.96/299.05
ERROR
29.93/29.66
From_
T2/
consts4nt.t2_
fixed.smt2
11762062
i
MAYBE
0.41/0.43
NO
9.21/9.31
NO
0.03/0.08
From_
T2/
ex16.t2_
fixed.smt2
11762063
i
MAYBE
114.73/107.65
NO
15.26/15.32
NO
0.34/0.40
From_
T2/
two_
arrays1.t2.smt2
11762064
YES
137.73/135.64
YES
10.02/10.09
ERROR
0.37/0.41
From_
T2/
simpleWhile.t2.smt2
11762065
YES
6.81/6.43
YES
3.48/3.52
ERROR
0.13/0.19
From_
T2/
array2.t2_
fixed.smt2
11762066
YES
0.94/0.94
YES
1.33/1.39
ERROR
0.04/0.10
From_
T2/
nested2.t2_
fixed.smt2
11762067
YES
19.81/20.26
YES
2.15/2.21
ERROR
0.08/0.13
From_
T2/
fun8.t2.smt2
11762068
is
timeout (wallclock)
YES
16.30/16.36
ERROR
0.44/0.59
From_
T2/
heidy10.t2.smt2
11762069
YES
1.16/1.13
YES
1.92/1.97
ERROR
0.15/0.19
From_
T2/
queue_
1000.t2_
fixed.smt2
11762070
YES
14.45/13.91
YES
6.31/6.37
ERROR
0.20/0.26
From_
T2/
fdct.t2.smt2
11762071
is
timeout (wallclock)
YES
5.98/6.03
ERROR
0.17/0.23
From_
T2/
small17.t2.smt2
11762072
is
MAYBE
0.58/0.61
MAYBE
24.61/26.17
NO
0.17/0.22
From_
T2/
apchildlive-succeed.t2.smt2
11762073
is
timeout (wallclock)
MAYBE
299.07/299.07
NO
10.02/10.03
From_
T2/
weakness.t2.smt2
11762074
is
MAYBE
2.87/2.71
YES
1.47/1.53
ERROR
0.41/0.46
From_
T2/
simple_
test2.t2.smt2
11762075
i
MAYBE
0.94/1.42
NO
1.44/1.49
NO
0.03/0.08
From_
T2/
consts2.t2.smt2
11762076
i
MAYBE
0.91/0.91
NO
1.41/1.46
NO
0.11/0.15
From_
T2/
p-46.t2_
fixed.smt2
11762077
is
MAYBE
36.43/33.99
MAYBE
300.54/299.05
NO
2.15/2.21
From_
T2/
oct_
vs_
subpoly.t2.smt2
11762078
i
MAYBE
0.48/0.52
NO
1.57/1.62
NO
0.02/0.07
From_
T2/
print.t2.smt2
11762079
is
timeout (wallclock)
YES
50.58/50.58
ERROR
2.53/2.53
From_
T2/
w2_
nt.t2.smt2
11762080
i
MAYBE
273.49/257.17
NO
14.60/14.61
NO
0.25/0.26
From_
T2/
florian.t2.smt2
11762081
YES
0.12/0.12
YES
1.04/1.04
ERROR
0.04/0.08
From_
T2/
java_
MinusMin.c.t2.smt2
11762082
YES
15.61/14.71
YES
2.76/2.81
ERROR
0.09/0.12
From_
T2/
queue_
100.t2.smt2
11762083
YES
27.31/25.49
YES
6.74/6.81
ERROR
0.24/0.29
From_
T2/
small13.t2.smt2
11762084
is
MAYBE
2.01/1.93
YES
1.56/1.56
ERROR
0.14/0.17
From_
T2/
fun4.t2.smt2
11762085
i
MAYBE
12.96/12.34
NO
5.79/5.83
NO
3.41/3.45
From_
T2/
bf13.t2_
fixed.smt2
11762086
YES
113.84/106.42
YES
8.16/8.21
ERROR
1.51/1.56
From_
T2/
zlib-adler32.c.t2.smt2
11762087
i
MAYBE
290.17/273.65
NO
24.65/24.70
NO
2.04/2.06
From_
T2/
consts4.t2_
fixed.smt2
11762088
YES
0.13/0.15
YES
1.13/1.18
ERROR
0.05/0.08
From_
T2/
neg-pgarch-succeed.t2_
fixed.smt2
11762089
i
MAYBE
35.56/33.48
NO
6.61/6.68
NO
0.18/0.24
From_
T2/
polyrank3.t2.smt2
11762090
u
MAYBE
3.34/3.16
MAYBE
299.16/299.06
ERROR
0.98/1.03
From_
T2/
nested.t2.smt2
11762091
YES
30.75/28.66
YES
2.39/2.45
ERROR
0.14/0.15
From_
T2/
neg-1394complete-fail.t2_
fixed.smt2
11762092
i
timeout (wallclock)
NO
84.35/84.41
NO
3.10/3.13
From_
T2/
whatwhat.t2.smt2
11762093
is
MAYBE
1.06/1.03
YES
1.17/1.21
ERROR
0.09/0.09
From_
T2/
ex23.t2.smt2
11762094
YES
4.48/4.20
YES
1.67/1.68
ERROR
0.06/0.06
From_
T2/
fun10.t2.smt2
11762095
i
timeout (wallclock)
NO
220.25/220.31
NO
5.60/5.64
From_
T2/
ex27.t2.smt2
11762096
is
timeout (wallclock)
YES
45.17/45.23
ERROR
1.20/1.25
From_
T2/
neg-1394complete-succeed.t2.smt2
11762097
i
timeout (wallclock)
NO
84.48/84.54
NO
3.09/3.11
From_
T2/
armc-difficult_
k.t2.smt2
11762098
is
MAYBE
40.91/39.28
YES
2.66/2.70
ERROR
0.62/0.62
From_
T2/
jacobi.t2.smt2
11762099
is
timeout (wallclock)
YES
16.01/16.07
ERROR
9.53/9.55
From_
T2/
polyrank7.t2.smt2
11762100
i
MAYBE
4.09/3.87
NO
2.26/2.31
NO
0.16/0.66
From_
T2/
select.t2.smt2
11762101
is
timeout (wallclock)
MAYBE
298.97/299.04
NO
6.49/6.49
From_
T2/
bf5.t2_
fixed.smt2
11762102
YES
103.58/96.62
YES
7.20/7.29
ERROR
1.55/1.61
From_
T2/
sas2.t2.smt2
11762103
u
timeout (wallclock)
MAYBE
298.99/299.08
ERROR
3.25/3.30
From_
T2/
reverse_
seg_
cyclic.t2.smt2
11762104
is
timeout (wallclock)
YES
43.03/43.07
ERROR
1.37/1.42
From_
T2/
neg-pgarch-succeed.t2.smt2
11762105
i
MAYBE
41.03/38.33
NO
6.99/7.05
NO
0.18/0.24
From_
T2/
fun2b.t2.smt2
11762106
is
timeout (wallclock)
YES
34.66/34.71
MAYBE
254.35/254.03
From_
T2/
p-13.t2.smt2
11762107
YES
0.01/0.03
YES
0.99/1.06
ERROR
0.00/0.03
From_
T2/
constants.t2.smt2
11762108
YES
16.55/15.51
YES
2.41/2.46
ERROR
0.56/0.63
From_
T2/
simple_
swap_
call.t2.smt2
11762109
YES
0.07/0.09
YES
1.25/1.29
ERROR
0.00/0.06
From_
T2/
neg-e-acqrel-succeed.t2_
fixed.smt2
11762110
i
MAYBE
3.78/3.56
NO
2.90/2.97
NO
0.08/0.20
From_
T2/
nested2.t2.smt2
11762111
YES
26.43/24.76
YES
2.31/2.36
ERROR
0.16/0.18
From_
T2/
hand7.t2.smt2
11762112
i
MAYBE
0.74/0.73
NO
9.45/9.52
NO
0.05/0.11
From_
T2/
bf7.t2.smt2
11762113
YES
141.35/131.69
YES
10.84/10.87
ERROR
1.56/1.61
From_
T2/
p-43.t2_
fixed.smt2
11762114
is
MAYBE
11.65/10.92
YES
14.03/14.08
ERROR
0.94/0.99
From_
T2/
rev_
nt4.t2.smt2
11762115
YES
0.01/0.04
YES
1.02/1.08
ERROR
0.00/0.07
From_
T2/
fake-succeed.t2_
fixed.smt2
11762116
i
timeout (wallclock)
NO
160.84/160.92
NO
10.63/10.66
From_
T2/
n-9.t2_
fixed.smt2
11762117
i
MAYBE
51.06/47.97
NO
9.05/9.11
NO
0.70/0.74
From_
T2/
defect.t2.smt2
11762118
i
MAYBE
0.04/0.09
NO
1.17/1.24
NO
0.02/0.08
From_
T2/
n-6.t2.smt2
11762119
i
MAYBE
12.66/11.84
NO
3.98/4.05
NO
0.25/0.31
From_
T2/
n-8a.t2.smt2
11762120
i
MAYBE
8.70/8.20
NO
2.08/2.11
NO
0.04/0.08
From_
T2/
bf16.t2_
fixed.smt2
11762121
YES
112.29/105.14
YES
8.17/8.22
ERROR
1.52/1.57
From_
T2/
p-36.t2_
fixed.smt2
11762122
i
timeout (wallclock)
NO
5.80/5.82
NO
0.12/0.17
From_
T2/
p-38.t2.smt2
11762123
YES
0.35/0.39
YES
2.64/2.68
ERROR
0.02/0.07
From_
T2/
consts1.t2_
fixed.smt2
11762124
is
MAYBE
1.21/1.18
YES
21.21/21.32
ERROR
0.06/0.12
From_
T2/
agafp.t2_
fixed.smt2
11762125
is
timeout (wallclock)
MAYBE
298.95/299.05
NO
22.41/22.46
From_
T2/
e-popl07-succeed.t2.smt2
11762126
i
MAYBE
102.59/95.80
NO
10.70/10.76
NO
0.30/0.33
From_
T2/
fourn.t2.smt2
11762127
i
timeout (wallclock)
NO
180.98/181.05
NO
66.01/65.89
From_
T2/
p-34.t2.smt2
11762128
i
timeout (wallclock)
NO
26.31/26.38
NO
0.31/0.37
From_
T2/
e-1394-succeed.t2_
fixed.smt2
11762129
i
timeout (wallclock)
NO
72.84/72.88
NO
3.38/3.40
From_
T2/
s3.t2_
fixed.smt2
11762130
u
timeout (wallclock)
MAYBE
299.02/299.06
ERROR
255.58/278.69
From_
T2/
apchild-accepted-fail.t2.smt2
11762131
is
timeout (wallclock)
MAYBE
298.85/299.01
NO
7.44/7.42
From_
T2/
create_
via_
tmps.t2.smt2
11762132
is
timeout (wallclock)
YES
13.49/13.55
ERROR
0.53/0.57
From_
T2/
apchild-live.t2.smt2
11762133
is
timeout (wallclock)
MAYBE
298.98/299.04
NO
10.43/10.45
From_
T2/
n-14.t2_
fixed.smt2
11762134
i
MAYBE
4.50/4.29
NO
3.14/3.19
NO
0.27/0.28
From_
T2/
iecs.t2.smt2
11762135
is
MAYBE
0.96/0.94
YES
1.18/1.22
ERROR
0.11/0.16
From_
T2/
janne_
complex.t2.smt2
11762136
is
MAYBE
109.48/102.41
MAYBE
298.96/299.05
NO
25.19/25.14
From_
T2/
e-1394complete-fail.t2.smt2
11762137
i
timeout (wallclock)
NO
76.27/76.32
NO
2.86/2.89
From_
T2/
sort.t2_
fixed.smt2
11762138
is
timeout (wallclock)
YES
40.95/41.03
ERROR
1.46/1.50
From_
T2/
fuhs-inflasso.t2.smt2
11762139
YES
7.48/7.03
YES
1.77/1.83
ERROR
0.67/0.72
From_
T2/
loop_
on_
input.t2.smt2
11762140
YES
2.58/2.45
YES
1.62/1.67
ERROR
0.08/0.16
From_
T2/
ex3.t2.smt2
11762141
YES
3.03/2.88
YES
2.01/2.08
ERROR
0.07/0.12
From_
T2/
refine_
disj_
problem.t2.smt2
11762142
i
MAYBE
2.72/2.58
NO
2.29/2.35
NO
0.11/0.16
From_
T2/
consts5nt.t2_
fixed.smt2
11762143
i
MAYBE
1.24/1.21
NO
9.57/9.63
NO
0.04/0.11
From_
T2/
ex36.t2.smt2
11762144
is
timeout (wallclock)
MAYBE
298.97/299.07
NO
23.97/23.92
From_
T2/
bio.t2.smt2
11762145
u
timeout (wallclock)
MAYBE
299.00/299.06
ERROR
253.76/254.61
From_
T2/
n-6.t2_
fixed.smt2
11762146
i
MAYBE
9.62/9.13
NO
4.92/4.98
NO
1.47/1.53
From_
T2/
st88b-fail.t2.smt2
11762147
i
MAYBE
13.20/12.34
NO
9.13/9.15
NO
1.70/1.74
From_
T2/
java_
DivMinus1.c.t2.smt2
11762148
YES
17.09/16.19
YES
2.76/2.83
ERROR
0.18/0.20
From_
T2/
ex32.t2.smt2
11762149
YES
7.72/7.28
YES
2.76/2.80
ERROR
0.09/0.15
From_
T2/
slayer-n1.t2.smt2
11762150
i
timeout (wallclock)
NO
71.60/71.64
NO
0.47/0.51
From_
T2/
apchild-accepted.t2_
fixed.smt2
11762151
i
timeout (wallclock)
NO
273.61/273.69
NO
6.39/6.44
From_
T2/
bf19.t2_
fixed.smt2
11762152
YES
86.73/80.61
YES
8.08/8.16
ERROR
1.52/1.56
From_
T2/
armc-difficult_
defect.t2.smt2
11762153
is
MAYBE
1.92/1.84
YES
1.29/1.34
ERROR
0.06/0.11
From_
T2/
ex7.t2.smt2
11762154
YES
6.85/6.48
YES
1.61/1.67
ERROR
0.05/0.11
From_
T2/
fourn.c.i.fourn.pl.t2.nor.t2.rlgfixed.t2.smt2
11762155
i
timeout (wallclock)
NO
109.27/109.34
NO
66.76/66.65
From_
T2/
eric.t2.smt2
11762156
is
MAYBE
20.04/18.80
YES
8.08/8.56
ERROR
2.03/2.09
From_
T2/
java_
AProVEMathRecursive.c.t2.smt2
11762157
is
MAYBE
41.23/38.60
YES
67.53/67.61
ERROR
1.28/1.36
From_
T2/
traverse2.t2_
fixed.smt2
11762158
is
timeout (wallclock)
YES
75.53/75.56
ERROR
2.95/3.00
From_
T2/
e-smagill-succeed.t2.smt2
11762159
is
MAYBE
4.12/3.86
MAYBE
51.18/52.21
NO
0.64/0.64
From_
T2/
polling.t2.smt2
11762160
i
timeout (wallclock)
NO
42.18/42.24
NO
7.08/7.06
From_
T2/
firewire.t2.smt2
11762161
u
MAYBE
189.67/181.59
MAYBE
298.99/299.09
ERROR
33.78/33.42
From_
T2/
afagx1.t2.smt2
11762162
i
MAYBE
0.71/0.73
NO
2.17/2.24
NO
0.08/0.15
From_
T2/
broydn.c.i.broydn.pl.t2.nor.t2.rlgfixed.t2.smt2
11762163
is
timeout (wallclock)
YES
103.05/103.15
ERROR
21.62/21.58
From_
T2/
selectSort.t2.smt2
11762164
YES
89.61/83.59
YES
6.63/6.63
ERROR
0.34/0.37
From_
T2/
fun6.t2_
fixed.smt2
11762165
is
timeout (wallclock)
MAYBE
298.97/299.00
NO
54.44/54.16
From_
T2/
array2.t2.smt2
11762166
YES
1.81/1.70
YES
1.39/1.39
ERROR
0.05/0.05
From_
T2/
n-15a.t2_
fixed.smt2
11762167
i
MAYBE
3.80/3.57
NO
3.89/3.89
NO
0.23/0.23
From_
T2/
p-21.t2.smt2
11762168
YES
16.04/14.91
YES
1.96/2.06
ERROR
0.17/0.17
From_
T2/
cfg.t2.smt2
11762169
i
MAYBE
5.33/5.00
NO
2.04/2.05
NO
0.70/0.77
From_
T2/
hqr.c.i.hqr.pl.t2.fixed.t2_
fixed.smt2
11762170
u
timeout (wallclock)
MAYBE
298.99/299.06
ERROR
17.81/17.79
From_
T2/
ex19.t2.smt2
11762171
i
MAYBE
10.43/9.86
NO
4.00/4.06
NO
0.13/0.18
From_
T2/
java_
AProVEMath.c.t2.smt2
11762172
is
MAYBE
50.76/47.45
YES
7.03/7.09
ERROR
1.07/1.11
From_
T2/
ex4.t2_
fixed.smt2
11762173
YES
38.58/36.01
YES
4.91/5.00
ERROR
0.23/0.29
From_
T2/
p-1c.t2.smt2
11762174
i
MAYBE
15.71/15.16
NO
1.76/1.78
NO
0.04/0.09
From_
T2/
ex11.t2.smt2
11762175
is
MAYBE
5.57/5.28
MAYBE
258.16/258.37
NO
0.36/0.42
From_
T2/
graycode.t2.smt2
11762176
is
timeout (wallclock)
YES
34.69/34.75
ERROR
2.14/2.17
From_
T2/
dsa_
test13.t2.smt2
11762177
YES
0.01/0.08
YES
0.88/1.24
ERROR
0.00/0.07
From_
T2/
heidy8.t2.smt2
11762178
i
MAYBE
7.46/7.08
NO
3.32/3.39
NO
0.18/0.24
From_
T2/
florian_
new_
ex.t2.smt2
11762179
is
MAYBE
57.35/53.75
YES
12.96/13.57
ERROR
0.76/0.80
From_
T2/
ex20.t2_
fixed.smt2
11762180
YES
4.81/4.53
YES
2.63/2.72
ERROR
0.06/0.12
From_
T2/
ex15.t2.smt2
11762181
YES
0.01/0.08
YES
0.93/0.99
ERROR
0.00/0.07
From_
T2/
p-4.t2.smt2
11762182
YES
12.68/11.94
YES
1.90/1.96
ERROR
0.19/0.25
From_
T2/
Prim_
5.t2.smt2
11762183
is
timeout (wallclock)
MAYBE
298.97/299.06
NO
2.09/2.14
From_
T2/
spctrm.t2.smt2
11762184
is
timeout (wallclock)
YES
117.07/117.13
ERROR
10.78/10.74
From_
T2/
simple_
test.t2.smt2
11762185
YES
5.80/5.50
YES
2.67/2.74
ERROR
0.18/0.22
From_
T2/
destroy.t2_
fixed.smt2
11762186
is
timeout (wallclock)
YES
17.61/17.65
ERROR
1.11/1.15
From_
T2/
dsa_
test8.t2.smt2
11762187
YES
0.01/0.06
YES
0.91/0.96
ERROR
0.00/0.06
From_
T2/
rewrite.t2.smt2
11762188
i
MAYBE
0.70/0.71
NO
1.43/1.47
NO
0.03/0.09
From_
T2/
fibcall.t2.smt2
11762189
YES
16.85/15.91
YES
2.29/2.34
ERROR
0.54/0.59
From_
T2/
bitcount16.t2.smt2
11762190
is
MAYBE
54.86/51.09
YES
2.92/2.98
ERROR
0.48/0.52
From_
T2/
insertsort.t2_
fixed.smt2
11762191
i
MAYBE
4.59/4.30
NO
2.47/2.51
NO
0.14/0.19
From_
T2/
small21.t2.smt2
11762192
YES
3.40/3.25
YES
1.57/1.60
ERROR
0.09/0.11
From_
T2/
p-7b.t2.smt2
11762193
YES
5.09/4.78
YES
1.54/1.60
ERROR
0.06/0.10
From_
T2/
simple_
control_
on_
input.t2.smt2
11762194
YES
1.02/1.07
YES
1.68/1.75
ERROR
0.06/0.13
From_
T2/
p-40.t2.smt2
11762195
YES
8.07/7.57
YES
1.86/1.92
ERROR
0.06/0.13
From_
T2/
randomwalk_
withassume.t2.smt2
11762196
is
MAYBE
52.73/49.27
YES
17.38/17.42
ERROR
4.86/4.86
From_
T2/
bf13.t2.smt2
11762197
YES
147.84/139.26
YES
8.52/8.59
ERROR
1.54/1.59
From_
T2/
pgarch.t2_
fixed.smt2
11762198
is
timeout (wallclock)
MAYBE
298.98/299.07
NO
49.07/49.09
From_
T2/
n-33.t2.smt2
11762199
i
MAYBE
28.02/26.36
NO
9.98/10.02
NO
1.51/1.52
From_
T2/
byron-4.t2.smt2
11762200
i
MAYBE
31.17/29.18
NO
22.12/22.21
NO
0.07/0.13
From_
T2/
reverse_
div4.t2_
fixed.smt2
11762201
i
timeout (wallclock)
NO
76.09/76.16
NO
1.17/1.22
From_
T2/
5.t2.smt2
11762202
YES
0.01/0.06
YES
0.86/0.86
ERROR
0.00/0.03
From_
T2/
small29.t2.smt2
11762203
i
MAYBE
1.27/1.23
NO
1.39/1.45
NO
0.04/0.08
From_
T2/
ruslan-benchmarks_
misc_
n-38.t2.smt2
11762204
i
MAYBE
81.06/75.94
NO
105.55/105.68
NO
0.85/0.89
From_
T2/
curious4.t2.smt2
11762205
is
timeout (wallclock)
MAYBE
298.96/299.05
NO
8.54/8.56
From_
T2/
p-8.t2.smt2
11762206
i
MAYBE
7.72/7.33
NO
2.00/2.05
NO
0.04/0.10
From_
T2/
ctl.t2_
fixed.smt2
11762207
i
MAYBE
4.41/4.21
NO
7.56/7.60
NO
0.11/0.15
From_
T2/
java_
Ackermann.c.t2.smt2
11762208
is
MAYBE
36.67/34.29
YES
29.72/29.77
ERROR
0.40/0.44
From_
T2/
232.t2.smt2
11762209
YES
2.79/2.66
YES
1.56/1.59
ERROR
0.08/0.13
From_
T2/
spiral.t2.smt2
11762210
is
MAYBE
24.92/23.72
YES
17.33/17.38
ERROR
0.49/0.52
From_
T2/
p-44.t2.smt2
11762211
YES
0.82/0.81
YES
1.50/1.56
ERROR
0.55/0.56
From_
T2/
bf17.t2.smt2
11762212
YES
137.47/128.76
YES
8.78/8.83
ERROR
1.55/1.59
From_
T2/
1.t2.smt2
11762213
i
MAYBE
94.10/88.30
NO
11.60/11.64
NO
0.16/0.22
From_
T2/
l1.t2.smt2
11762214
i
MAYBE
2.31/2.22
NO
1.72/1.76
NO
0.14/0.19
From_
T2/
n-37.t2.smt2
11762215
i
MAYBE
7.57/7.47
NO
2.56/2.63
NO
0.03/0.07
From_
T2/
print.t2_
fixed.smt2
11762216
is
timeout (wallclock)
YES
53.50/53.56
ERROR
2.68/2.71
From_
T2/
neg-acqrel-fail.t2.smt2
11762217
i
MAYBE
4.24/4.04
NO
2.90/2.95
NO
0.31/0.37
From_
T2/
small02.t2.smt2
11762218
i
MAYBE
3.93/3.73
NO
2.71/2.78
NO
0.03/0.09
From_
T2/
n-18.t2.smt2
11762219
i
MAYBE
0.89/0.88
NO
8.91/8.98
NO
0.03/0.08
From_
T2/
p-61.t2_
fixed.smt2
11762220
YES
2.62/2.52
YES
1.57/1.63
ERROR
0.06/0.13
From_
T2/
efegp.t2.smt2
11762221
is
timeout (wallclock)
MAYBE
298.96/299.02
NO
3.08/3.11
From_
T2/
reverse.t2_
fixed.smt2
11762222
is
timeout (wallclock)
YES
101.36/101.43
ERROR
3.38/3.42
From_
T2/
java_
Sequence.c.t2.smt2
11762223
YES
29.45/27.60
YES
3.77/3.82
ERROR
0.14/0.18
From_
T2/
db2.t2_
fixed.smt2
11762224
is
timeout (wallclock)
MAYBE
298.97/299.05
NO
108.26/108.22
From_
T2/
e-st88b-fail.t2.smt2
11762225
i
MAYBE
2.86/2.72
NO
3.76/3.94
NO
2.12/2.15
From_
T2/
neg-e-popl07-succeed.t2.smt2
11762226
i
MAYBE
97.26/91.09
NO
11.98/12.05
NO
0.44/0.58
From_
T2/
small06.t2.smt2
11762227
YES
2.61/2.49
YES
2.25/2.30
ERROR
0.18/0.23
From_
T2/
fourn.c.i.fourn.pl.t2.fixed.t2.smt2
11762228
i
timeout (wallclock)
NO
109.15/109.20
NO
105.20/105.07
From_
T2/
java_
Break.c.t2.smt2
11762229
YES
3.20/3.36
YES
2.09/2.13
ERROR
0.07/0.12
From_
T2/
n-14.t2.smt2
11762230
i
MAYBE
11.31/10.58
NO
2.59/2.64
NO
0.12/0.17
From_
T2/
java_
DivMinus2.c.t2.smt2
11762231
is
timeout (wallclock)
YES
72.19/72.22
ERROR
1.94/1.97
From_
T2/
e-popl07-fail.t2.smt2
11762232
i
MAYBE
111.30/104.32
NO
13.09/13.14
NO
0.45/0.50
From_
T2/
ex31.t2_
fixed.smt2
11762233
i
MAYBE
1.50/1.77
NO
2.17/2.24
NO
0.26/0.29
From_
T2/
wrong_
loop.t2.smt2
11762234
i
MAYBE
12.52/11.74
NO
5.95/6.01
NO
0.86/0.93
From_
T2/
svdcmp.t2_
fixed.smt2
11762235
u
timeout (wallclock)
MAYBE
298.95/299.04
ERROR
337.24/298.99
From_
T2/
bf20.t2_
fixed.smt2
11762236
YES
86.63/80.67
YES
8.24/8.30
ERROR
1.51/1.54
From_
T2/
p-63.t2.smt2
11762237
is
MAYBE
8.43/7.91
YES
1.82/1.84
ERROR
0.10/0.14
From_
T2/
n-10.t2.smt2
11762238
i
MAYBE
70.11/66.46
NO
8.49/8.55
NO
0.19/0.23
From_
T2/
slayer-n3-filtered.t2_
fixed.smt2
11762239
is
timeout (wallclock)
YES
10.43/10.50
ERROR
0.08/0.13
From_
T2/
e-acqrel-succeed.t2_
fixed.smt2
11762240
i
MAYBE
3.80/3.59
NO
2.82/2.88
NO
0.11/0.19
From_
T2/
neg-popl07-fail.t2_
fixed.smt2
11762241
i
MAYBE
106.32/99.74
NO
10.66/10.72
NO
0.30/0.36
From_
T2/
small19.t2.smt2
11762242
is
MAYBE
4.15/3.95
YES
1.68/1.76
ERROR
0.14/0.20
From_
T2/
simple_
pre.t2.smt2
11762243
YES
0.01/0.07
YES
0.92/0.96
ERROR
0.00/0.05
From_
T2/
prime.t2_
fixed.smt2
11762244
i
MAYBE
304.47/286.16
NO
35.24/35.29
NO
0.33/0.38
From_
T2/
s1-striped.t2.smt2
11762245
is
timeout (wallclock)
MAYBE
298.95/299.06
NO
23.27/23.29
From_
T2/
java_
Double3.c.t2.smt2
11762246
YES
22.21/20.80
YES
4.63/4.64
ERROR
0.15/0.20
From_
T2/
ns.t2_
fixed.smt2
11762247
YES
82.99/77.43
YES
13.55/13.63
ERROR
0.18/0.21
From_
T2/
neg-1394complete-succeed.t2_
fixed.smt2
11762248
i
timeout (wallclock)
NO
83.87/83.90
NO
3.14/3.17
From_
T2/
neg-pgarch-fail.t2.smt2
11762249
i
MAYBE
41.07/38.37
NO
6.92/6.97
NO
0.18/0.19
From_
T2/
java_
Avg.c.t2.smt2
11762250
is
MAYBE
20.50/19.18
YES
88.23/88.32
ERROR
0.30/0.30
From_
T2/
ppblockterm.t2.smt2
11762251
i
MAYBE
47.81/45.20
NO
9.58/9.58
NO
0.33/0.33
From_
T2/
vmcai_
bytes.t2.smt2
11762252
YES
0.01/0.02
YES
0.87/0.92
ERROR
0.00/0.04
From_
T2/
sort.t2.smt2
11762253
is
timeout (wallclock)
YES
29.16/29.21
ERROR
1.54/1.64
From_
T2/
smagillc-succeed.t2.smt2
11762254
is
MAYBE
5.59/5.27
MAYBE
60.73/60.91
NO
0.71/0.76
From_
T2/
tqli.t2_
fixed.smt2
11762255
is
timeout (wallclock)
MAYBE
298.96/299.04
NO
4.21/4.25
From_
T2/
traverse_
twice.t2_
fixed.smt2
11762256
is
timeout (wallclock)
YES
85.75/85.82
ERROR
3.01/3.06
From_
T2/
neg-e-1394-succeed.t2.smt2
11762257
i
timeout (wallclock)
NO
74.79/74.82
NO
4.10/4.12
From_
T2/
ax_
test_
3.t2.smt2
11762258
i
MAYBE
0.23/0.25
NO
1.62/1.66
NO
0.03/0.08
From_
T2/
fun2.t2.smt2
11762259
is
timeout (wallclock)
YES
34.39/34.45
MAYBE
254.16/253.45
From_
T2/
small15.t2.smt2
11762260
i
MAYBE
2.97/2.84
NO
1.96/2.01
NO
0.27/0.30
From_
T2/
florian_
pldi.t2.smt2
11762261
YES
27.04/25.39
YES
3.43/3.51
ERROR
0.39/0.42
From_
T2/
slayer-3-new.t2_
fixed.smt2
11762262
is
timeout (wallclock)
MAYBE
298.98/299.04
NO
74.59/74.51
From_
T2/
broydn.t2_
fixed.smt2
11762263
is
timeout (wallclock)
YES
221.16/221.23
ERROR
18.34/18.27
From_
T2/
n-10.t2_
fixed.smt2
11762264
i
MAYBE
67.02/62.97
NO
10.70/10.76
NO
0.40/0.44
From_
T2/
elmhes.t2.smt2
11762265
is
timeout (wallclock)
YES
11.83/11.88
ERROR
4.06/4.07
From_
T2/
ex18.t2_
fixed.smt2
11762266
is
MAYBE
19.16/17.94
YES
26.09/26.22
ERROR
0.12/0.16
From_
T2/
hqr.c.i.hqr.pl.t2.fixed.t2.smt2
11762267
u
timeout (wallclock)
MAYBE
298.95/299.05
ERROR
337.11/300.01
From_
T2/
bakery.t2.smt2
11762268
i
MAYBE
163.14/152.39
NO
34.18/34.22
NO
14.68/14.63
From_
T2/
consts4.t2.smt2
11762269
i
MAYBE
1.78/1.70
NO
1.57/1.60
NO
0.12/0.16
From_
T2/
n-3a.t2.smt2
11762270
i
MAYBE
122.41/114.03
NO
7.79/7.83
NO
0.28/0.32
From_
T2/
apchildlive-succeed.t2_
fixed.smt2
11762271
is
timeout (wallclock)
MAYBE
299.06/299.07
NO
9.58/9.57
From_
T2/
fun6.t2.smt2
11762272
i
timeout (wallclock)
NO
294.63/294.64
NO
32.80/32.57
From_
T2/
small11.t2.smt2
11762273
i
MAYBE
0.07/0.11
NO
1.43/1.45
NO
0.17/0.18
From_
T2/
ex40.t2.smt2
11762274
i
MAYBE
1.12/1.10
NO
3.02/3.07
NO
0.03/0.09
From_
T2/
nakata.t2.smt2
11762275
u
timeout (wallclock)
MAYBE
298.97/299.00
ERROR
5.48/5.49
From_
T2/
randomwalk.t2.smt2
11762276
is
MAYBE
45.86/43.29
YES
60.24/60.30
ERROR
3.23/3.21
From_
T2/
p-60.t2_
fixed.smt2
11762277
YES
5.19/4.98
YES
1.66/1.70
ERROR
0.07/0.11
From_
T2/
neg-popl07-succeed.t2_
fixed.smt2
11762278
i
MAYBE
105.75/99.25
NO
11.75/11.79
NO
0.34/0.58
From_
T2/
consts3nt.t2_
fixed.smt2
11762279
i
MAYBE
0.36/0.41
NO
8.48/8.55
NO
0.03/0.09
From_
T2/
db3.t2_
fixed.smt2
11762280
is
timeout (wallclock)
MAYBE
299.00/299.07
NO
108.11/108.09
From_
T2/
s2.t2.smt2
11762281
YES
7.30/6.91
YES
1.54/1.60
ERROR
0.06/0.12
From_
T2/
disj_
nightmare.t2_
fixed.smt2
11762282
u
timeout (wallclock)
MAYBE
298.99/299.05
ERROR
2.18/2.23
From_
T2/
java_
Double2.c.t2.smt2
11762283
YES
14.88/13.90
YES
3.75/3.81
ERROR
0.13/0.19
From_
T2/
p-53.t2.smt2
11762284
YES
0.07/0.13
YES
1.22/1.26
ERROR
0.00/0.05
From_
T2/
n-20.t2.smt2
11762285
i
MAYBE
23.35/21.80
NO
3.28/3.34
NO
0.06/0.12
From_
T2/
java_
AG313.c.t2.smt2
11762286
YES
14.82/13.84
YES
3.02/3.09
ERROR
0.20/0.26
From_
T2/
small32.t2.smt2
11762287
YES
0.01/0.02
YES
1.00/1.02
ERROR
0.01/0.02
From_
T2/
fun2.t2_
fixed.smt2
11762288
is
MAYBE
292.80/281.81
YES
24.50/24.52
ERROR
17.40/17.29
From_
T2/
heidy8.t2_
fixed.smt2
11762289
i
MAYBE
6.91/6.49
NO
3.30/3.30
NO
0.18/0.18
From_
T2/
dead.neg-st88b-succeed.t2.smt2
11762290
i
MAYBE
20.91/19.56
NO
11.32/11.33
NO
2.14/2.13
From_
T2/
neg-e-acqrel-fail.t2_
fixed.smt2
11762291
i
MAYBE
5.58/5.54
NO
3.06/3.10
NO
0.11/0.14
From_
T2/
simple.t2.smt2
11762292
i
MAYBE
0.72/0.67
NO
1.77/1.77
NO
0.16/0.16
From_
T2/
broydn.c.i.broydn.pl.t2.fixed.t2.smt2
11762293
is
timeout (wallclock)
YES
111.21/111.23
ERROR
21.24/21.13
From_
T2/
bf5.t2.smt2
11762294
YES
119.64/112.78
YES
8.87/8.87
ERROR
1.53/1.52
From_
T2/
java_
Double1.c.t2.smt2
11762295
is
MAYBE
16.08/15.51
YES
9.66/9.72
ERROR
0.15/0.15
From_
T2/
n-4.t2.smt2
11762296
i
MAYBE
161.21/157.32
NO
10.18/10.19
NO
0.32/0.32
From_
T2/
rev_
nt2.t2.smt2
11762297
i
timeout (wallclock)
NO
17.25/17.30
NO
0.28/0.28
From_
T2/
create.t2.smt2
11762298
YES
41.60/39.23
YES
2.79/2.79
ERROR
0.10/0.11
From_
T2/
java_
NestedLoop.c.t2.smt2
11762299
YES
211.62/198.28
YES
21.58/21.58
ERROR
0.76/0.80
From_
T2/
fun1b.t2_
fixed.smt2
11762300
is
timeout (wallclock)
MAYBE
299.01/299.05
NO
21.97/21.80
From_
T2/
afagp-fail.t2_
fixed.smt2
11762301
is
timeout (wallclock)
MAYBE
298.97/299.01
NO
7.46/7.44
From_
T2/
dropbuf-live.t2.smt2
11762302
YES
0.01/0.02
YES
0.94/0.95
ERROR
0.00/0.01
From_
T2/
bf9.t2.smt2
11762303
YES
141.90/132.60
YES
9.31/9.31
ERROR
1.56/1.55
From_
T2/
simple_
pre2.t2.smt2
11762304
YES
0.01/0.02
YES
0.91/0.91
ERROR
0.00/0.01
From_
T2/
armc-difficult_
foo2.t2.smt2
11762305
YES
0.01/0.02
YES
0.79/0.81
ERROR
0.00/0.01
From_
T2/
java_
DivWithoutMinus.c.t2.smt2
11762306
YES
132.11/125.42
YES
53.33/53.33
ERROR
0.63/0.63
From_
T2/
n-7.t2_
fixed.smt2
11762307
i
MAYBE
9.62/8.96
NO
3.12/3.12
NO
0.07/0.08
From_
T2/
p-32.t2.smt2
11762308
i
MAYBE
3.31/3.07
NO
2.20/2.21
NO
0.14/0.14
From_
T2/
constants.t2_
fixed.smt2
11762309
YES
10.91/10.23
YES
2.23/2.23
ERROR
0.43/0.44
From_
T2/
e-1394complete-failA.t2.smt2
11762310
i
timeout (wallclock)
NO
76.36/76.37
NO
2.88/2.87
From_
T2/
p-36.t2.smt2
11762311
i
timeout (wallclock)
NO
6.33/6.35
NO
0.13/0.13
From_
T2/
destroy.t2.smt2
11762312
is
timeout (wallclock)
YES
14.92/14.93
ERROR
0.52/0.52
From_
T2/
streamserver.bug.t2_
fixed.smt2
11762313
is
MAYBE
94.13/88.88
MAYBE
298.99/299.00
NO
5.36/5.32
From_
T2/
consts4nt.t2.smt2
11762314
i
MAYBE
1.77/1.66
NO
1.55/1.56
NO
0.11/0.11
From_
T2/
bf18.t2_
fixed.smt2
11762315
YES
95.58/89.41
YES
8.13/8.14
ERROR
1.52/1.53
From_
T2/
n-8.t2.smt2
11762316
i
MAYBE
41.46/39.55
NO
5.97/5.97
NO
0.19/0.19
From_
T2/
p-38.t2_
fixed.smt2
11762317
YES
0.48/0.49
YES
3.13/3.13
ERROR
0.02/0.02
From_
T2/
java_
Continue1.c.t2.smt2
11762318
YES
3.03/2.87
YES
2.17/2.19
ERROR
0.07/0.07
From_
T2/
collatz.t2_
fixed.smt2
11762319
u
MAYBE
8.91/8.66
MAYBE
298.89/299.01
ERROR
1.59/1.59
From_
T2/
p-19.t2.smt2
11762320
i
MAYBE
10.39/9.71
NO
2.08/2.08
NO
0.04/0.07
From_
T2/
polyrank1.t2.smt2
11762321
is
MAYBE
0.88/0.83
YES
1.26/1.26
ERROR
0.11/0.11
From_
T2/
java_
Duplicate.c.t2.smt2
11762322
YES
6.94/6.52
YES
2.46/2.46
ERROR
0.40/0.40
From_
T2/
ndes.t2_
fixed.smt2
11762323
u
timeout (wallclock)
MAYBE
298.99/299.00
ERROR
19.82/19.74
From_
T2/
destroy_
seg.t2_
fixed.smt2
11762324
is
timeout (wallclock)
YES
21.56/21.56
ERROR
1.03/1.02
From_
T2/
reverse.t2.smt2
11762325
is
timeout (wallclock)
YES
104.38/104.46
ERROR
4.07/4.07
From_
T2/
ex21.t2.smt2
11762326
YES
17.46/16.66
YES
2.22/2.22
ERROR
0.09/0.10
From_
T2/
e-1394-fail.t2.smt2
11762327
i
timeout (wallclock)
NO
74.33/74.33
NO
4.10/4.08
From_
T2/
arith.t2.smt2
11762328
YES
2.37/2.22
YES
1.48/1.49
ERROR
0.38/0.39
From_
T2/
fun7.t2_
fixed.smt2
11762329
i
timeout (wallclock)
NO
58.63/58.64
NO
2.81/2.79
From_
T2/
slayer-n5-filtered.t2.smt2
11762330
i
timeout (wallclock)
NO
66.14/66.15
NO
2.21/2.20
From_
T2/
popl07-succeed.t2.smt2
11762331
i
MAYBE
82.59/76.84
NO
9.74/9.78
NO
0.29/0.29
From_
T2/
minmax.t2.smt2
11762332
YES
1.13/1.08
YES
4.76/4.76
ERROR
0.02/0.02
From_
T2/
polyrank5.t2.smt2
11762333
u
MAYBE
5.73/5.35
MAYBE
299.16/299.01
ERROR
0.20/0.20
From_
T2/
n-48.t2_
fixed.smt2
11762334
i
MAYBE
8.71/8.58
NO
2.57/2.57
NO
0.10/0.11
From_
T2/
edn.t2.smt2
11762335
is
timeout (wallclock)
MAYBE
298.98/299.01
NO
8.42/8.41
From_
T2/
pentagon.t2.smt2
11762336
u
MAYBE
55.57/51.93
MAYBE
299.17/299.01
ERROR
1.25/1.25
From_
T2/
ppblocktermbug.t2.smt2
11762337
i
MAYBE
69.30/64.82
NO
12.83/12.83
NO
0.39/0.39
From_
T2/
nakata_
withassume.t2.smt2
11762338
u
timeout (wallclock)
MAYBE
298.97/299.01
ERROR
110.55/109.62
From_
T2/
neg-e-acqrel-succeed.t2.smt2
11762339
i
MAYBE
3.66/3.41
NO
2.92/2.92
NO
0.08/0.08
From_
T2/
fast_
poll.t2.smt2
11762340
i
timeout (wallclock)
NO
56.77/56.83
NO
8.23/8.24
From_
T2/
zlib-adler32.c.t2_
fixed.smt2
11762341
is
timeout (wallclock)
YES
18.95/19.00
ERROR
0.85/0.90
From_
T2/
n-12a.t2.smt2
11762342
i
MAYBE
0.93/0.92
NO
1.47/1.51
NO
0.03/0.10
From_
T2/
neg-e-1394complete-succeed.t2_
fixed.smt2
11762343
i
timeout (wallclock)
NO
75.48/75.51
NO
2.86/2.93
From_
T2/
ex21.t2_
fixed.smt2
11762344
YES
9.02/8.48
YES
1.94/1.98
ERROR
0.09/0.16
From_
T2/
slayer-3-new.t2.smt2
11762345
u
timeout (wallclock)
MAYBE
298.97/299.05
ERROR
253.95/257.57
From_
T2/
p-15.t2.smt2
11762346
YES
0.39/0.43
YES
1.29/1.35
ERROR
0.05/0.11
From_
T2/
p-5.t2_
fixed.smt2
11762347
i
MAYBE
285.01/268.74
NO
6.50/6.55
NO
1.48/1.53
From_
T2/
dumper.t2.smt2
11762348
is
timeout (wallclock)
MAYBE
298.96/299.08
NO
8.67/8.69
From_
T2/
consts5nt.t2.smt2
11762349
i
MAYBE
7.09/6.66
NO
2.16/2.28
NO
0.14/0.20
From_
T2/
spiral.t2_
fixed.smt2
11762350
is
MAYBE
29.51/27.57
YES
23.99/24.02
ERROR
0.64/0.70
From_
T2/
ex29.t2.smt2
11762351
YES
1.22/1.25
YES
6.15/6.20
ERROR
0.02/0.09
From_
T2/
complex_
guard.t2.smt2
11762352
YES
0.67/0.70
YES
1.92/1.97
ERROR
0.05/0.09
From_
T2/
collatz.t2.smt2
11762353
u
MAYBE
13.76/12.91
MAYBE
298.89/299.06
ERROR
0.79/0.85
From_
T2/
heidy6.t2.smt2
11762354
i
MAYBE
1.58/1.57
NO
2.95/2.95
NO
0.11/0.11
From_
T2/
e-smagill-fail.t2.smt2
11762355
i
MAYBE
7.23/6.77
NO
3.68/3.68
NO
0.67/0.67
From_
T2/
w3_
nt.t2.smt2
11762356
i
MAYBE
270.90/253.88
NO
22.19/22.20
NO
0.75/0.78
From_
T2/
array4.t2.smt2
11762357
YES
3.61/3.36
YES
1.95/1.95
ERROR
0.08/0.09
From_
T2/
fun1b.t2.smt2
11762358
u
timeout (wallclock)
MAYBE
299.05/299.01
MAYBE
254.22/253.58
From_
T2/
consts2nt.t2.smt2
11762359
i
MAYBE
1.03/0.97
NO
1.43/1.44
NO
0.10/0.11
From_
T2/
svdcmp.t2.smt2
11762360
u
timeout (wallclock)
MAYBE
299.03/299.01
ERROR
36.46/36.29
From_
T2/
heidy2.t2.smt2
11762361
i
MAYBE
1.41/1.32
NO
1.67/1.68
NO
0.05/0.06
From_
T2/
consts2nt.t2_
fixed.smt2
11762362
i
MAYBE
0.40/0.38
NO
9.60/9.69
NO
0.03/0.04
From_
T2/
traverse.t2.smt2
11762363
is
timeout (wallclock)
YES
48.30/48.44
ERROR
1.71/1.71
From_
T2/
fdct.t2_
fixed.smt2
11762364
YES
147.73/138.90
YES
3.28/3.28
ERROR
0.10/0.11
From_
T2/
slayer-2-filtered.t2_
fixed.smt2
11762365
YES
4.70/4.39
YES
1.65/1.65
ERROR
0.04/0.05
From_
T2/
bakerybug.t2.smt2
11762366
i
MAYBE
162.38/153.86
NO
28.94/28.95
NO
14.95/14.87
From_
T2/
p-1a.t2.smt2
11762367
i
MAYBE
15.74/14.67
NO
1.78/1.79
NO
0.04/0.05
From_
T2/
walk.t2_
fixed.smt2
11762368
i
MAYBE
91.24/85.31
NO
11.46/11.46
NO
0.60/0.60
From_
T2/
fun8.t2_
fixed.smt2
11762369
is
timeout (wallclock)
YES
19.01/19.01
ERROR
1.14/1.14
From_
T2/
ex13.t2.smt2
11762370
YES
0.01/0.02
YES
0.89/0.90
ERROR
0.00/0.01
From_
T2/
dsa_
test15.t2.smt2
11762371
YES
5.89/5.50
YES
1.99/2.99
ERROR
0.08/0.09
From_
T2/
java_
BubbleSort.c.t2.smt2
11762372
YES
93.86/87.99
YES
8.72/8.72
ERROR
2.20/2.19
From_
T2/
ex17.t2.smt2
11762373
is
MAYBE
35.53/33.91
YES
4.65/4.65
ERROR
0.12/0.12
From_
T2/
slayer-5-filtered.t2.smt2
11762374
is
timeout (wallclock)
MAYBE
299.02/299.01
NO
1.92/1.91
From_
T2/
neg-1394-fail.t2.smt2
11762375
i
timeout (wallclock)
NO
77.25/77.26
NO
3.19/3.17
From_
T2/
smagillc-fail.t2.smt2
11762376
is
MAYBE
5.90/5.55
MAYBE
60.71/61.65
NO
0.66/0.66
From_
T2/
popl07-fail.t2.smt2
11762377
i
MAYBE
82.04/77.37
NO
9.83/9.83
NO
0.29/0.29
From_
T2/
bitcount32.t2_
fixed.smt2
11762378
YES
47.47/44.39
YES
3.74/4.43
ERROR
0.11/0.12
From_
T2/
array_
free2.t2.smt2
11762379
YES
0.52/0.49
YES
1.96/1.96
ERROR
0.06/0.07
From_
T2/
florian_
sas2.t2.smt2
11762380
u
timeout (wallclock)
MAYBE
298.99/299.01
ERROR
3.27/3.26
From_
T2/
destroy_
seg_
leak.t2.smt2
11762381
i
timeout (wallclock)
NO
102.81/102.82
NO
1.02/1.02
From_
T2/
n-8.t2_
fixed.smt2
11762382
i
MAYBE
34.72/32.37
NO
7.54/7.54
NO
0.40/0.39
From_
T2/
ex9.t2.smt2
11762383
i
MAYBE
10.19/9.49
NO
5.88/5.90
NO
0.18/0.19
From_
T2/
traverse_
seg2.t2_
fixed.smt2
11762384
is
timeout (wallclock)
YES
64.13/64.14
ERROR
2.10/2.09
From_
T2/
consts3nt.t2.smt2
11762385
i
MAYBE
0.97/0.91
NO
9.95/9.99
NO
0.04/0.04
From_
T2/
bf17.t2_
fixed.smt2
11762386
YES
83.93/78.15
YES
8.05/8.06
ERROR
1.51/1.51
From_
T2/
queue_
10.t2.smt2
11762387
YES
25.84/24.05
YES
6.57/6.57
ERROR
0.25/0.25
From_
T2/
p_
armc.t2.smt2
11762388
i
MAYBE
65.99/65.44
NO
64.89/64.90
NO
2.50/2.50
From_
T2/
p-37.t2_
fixed.smt2
11762389
YES
11.08/10.40
YES
2.21/2.21
ERROR
0.44/0.44
From_
T2/
ex1.t2.smt2
11762390
i
MAYBE
1.42/1.33
NO
1.68/1.68
NO
0.03/0.03
From_
T2/
p-56.t2_
fixed.smt2
11762391
YES
9.70/9.05
YES
1.96/1.97
ERROR
0.12/0.12
From_
T2/
ex34.t2.smt2
11762392
YES
0.03/0.04
YES
1.33/1.33
ERROR
0.01/0.01
From_
T2/
ex12.t2_
fixed.smt2
11762393
YES
1.01/0.96
YES
1.29/1.29
ERROR
0.05/0.05
From_
T2/
matmul.t2.smt2
11762394
YES
36.30/34.29
YES
7.67/7.67
ERROR
0.47/0.47
From_
T2/
smagillb-succeed.t2.smt2
11762395
i
MAYBE
7.43/6.93
NO
3.78/3.78
NO
0.65/0.65
From_
T2/
traverse2.t2.smt2
11762396
is
timeout (wallclock)
YES
69.14/69.16
ERROR
2.60/2.60
From_
T2/
ex30.t2.smt2
11762397
YES
15.78/14.68
YES
2.41/2.41
ERROR
0.09/0.10
From_
T2/
s2.t2_
fixed.smt2
11762398
YES
5.34/4.99
YES
1.44/1.47
ERROR
0.57/0.57
From_
T2/
byron-4.t2_
fixed.smt2
11762399
is
MAYBE
16.12/15.00
YES
2.82/2.82
ERROR
0.17/0.18
From_
T2/
streamserver-succeed.t2.smt2
11762400
i
MAYBE
119.86/112.80
NO
29.13/29.15
NO
8.67/8.65
From_
T2/
n-6a.t2_
fixed.smt2
11762401
i
MAYBE
14.49/13.69
NO
3.25/3.25
NO
0.21/0.21
From_
T2/
ppblock.t2.smt2
11762402
i
MAYBE
15.45/14.38
NO
50.26/50.25
NO
0.42/0.42
From_
T2/
broydn.c.i.broydn.pl.t2.nor.t2.rlgfixed.t2_
fixed.smt2
11762403
is
timeout (wallclock)
YES
98.29/98.30
ERROR
16.31/16.20
From_
T2/
loop_
on_
input.t2_
fixed.smt2
11762404
YES
2.00/1.97
YES
1.64/1.66
ERROR
0.12/0.14
From_
T2/
n-37.t2_
fixed.smt2
11762405
i
MAYBE
7.26/6.74
NO
2.54/2.54
NO
0.03/0.03
From_
T2/
n-1d.t2_
fixed.smt2
11762406
i
MAYBE
21.48/20.12
NO
3.44/3.44
NO
0.34/0.34
From_
T2/
db3.t2.smt2
11762407
is
timeout (wallclock)
MAYBE
299.00/299.01
NO
105.12/105.00
From_
T2/
rev_
nt2.t2_
fixed.smt2
11762408
i
timeout (wallclock)
NO
25.18/25.19
NO
1.01/1.01
From_
T2/
agafp.t2.smt2
11762409
is
timeout (wallclock)
MAYBE
298.96/299.01
NO
22.69/22.67
From_
T2/
small04.t2.smt2
11762410
i
MAYBE
0.58/0.54
NO
1.69/1.69
NO
0.02/0.03
From_
T2/
ax_
test.t2.smt2
11762411
i
MAYBE
0.16/0.15
NO
1.37/1.37
NO
0.02/0.03
From_
T2/
slayer-4-filtered.t2.smt2
11762412
is
timeout (wallclock)
MAYBE
298.97/299.00
NO
253.82/258.99
From_
T2/
matmult.t2.smt2
11762413
YES
311.01/292.29
YES
13.91/13.91
ERROR
0.63/0.62
From_
T2/
brockschmidt_
1.t2.smt2
11762414
is
MAYBE
4.00/4.18
YES
3.77/3.77
ERROR
0.11/0.11
From_
T2/
qrdcmp.c.i.qrdcmp.pl.t2.fixed.t2.smt2
11762415
is
timeout (wallclock)
YES
16.47/16.48
ERROR
4.12/4.10
From_
T2/
hqr.c.i.hqr.pl.t2.nor.t2.rlgfixed.t2.smt2
11762416
is
timeout (wallclock)
MAYBE
299.00/299.02
NO
39.54/39.42
From_
T2/
n-15a.t2.smt2
11762417
i
MAYBE
11.93/11.13
NO
21.44/21.93
NO
0.21/0.21
From_
T2/
refine_
disj_
problem.t2_
fixed.smt2
11762418
is
MAYBE
2.65/2.48
NO
2.80/2.80
ERROR
0.17/0.17
From_
T2/
broydn.c.i.broydn.pl.t2.fixed.t2_
fixed.smt2
11762419
is
timeout (wallclock)
YES
106.75/106.78
ERROR
16.79/16.67
From_
T2/
small08.t2.smt2
11762420
is
MAYBE
20.25/19.17
YES
3.43/3.44
ERROR
0.51/0.50
From_
T2/
1394complete-succeed.t2.smt2
11762421
i
timeout (wallclock)
NO
84.72/84.77
NO
3.10/3.09
From_
T2/
n-12.t2.smt2
11762422
i
MAYBE
11.35/10.58
NO
2.82/2.82
NO
0.11/0.11
From_
T2/
p-61.t2.smt2
11762423
YES
12.28/11.47
YES
1.80/1.82
ERROR
0.06/0.06
From_
T2/
1394-fail.t2.smt2
11762424
i
timeout (wallclock)
NO
82.50/82.53
NO
3.58/3.56
From_
T2/
small27.t2.smt2
11762425
YES
0.02/0.02
YES
1.01/1.01
ERROR
0.00/0.03
From_
T2/
consts1nt.t2.smt2
11762426
i
MAYBE
1.87/1.74
NO
1.90/1.91
NO
0.03/0.03
From_
T2/
cover.t2.smt2
11762427
u
timeout (wallclock)
MAYBE
298.98/299.00
ERROR
254.34/256.62
From_
T2/
neg-e-pgarch-fail.t2.smt2
11762428
i
MAYBE
26.44/24.73
NO
5.42/5.42
NO
0.17/0.18
From_
T2/
mc91.t2_
fixed.smt2
11762429
is
MAYBE
3.36/3.15
YES
1.61/1.61
ERROR
0.41/0.41
From_
T2/
p-6.t2.smt2
11762430
is
MAYBE
12.67/11.77
YES
2.47/2.47
ERROR
0.21/0.21
From_
T2/
java_
Hanoi.c.t2.smt2
11762431
YES
47.70/44.61
YES
5.23/5.23
ERROR
0.63/0.63
From_
T2/
ase_
example.t2_
fixed.smt2
11762432
YES
18.59/18.91
YES
3.15/3.15
ERROR
0.14/0.14
From_
T2/
s1-saved.t2_
fixed.smt2
11762433
is
timeout (wallclock)
YES
55.08/55.09
ERROR
1.83/1.83
From_
T2/
ex17.t2_
fixed.smt2
11762434
is
MAYBE
32.41/30.11
YES
4.40/4.40
ERROR
0.09/0.10
From_
T2/
bf19.t2.smt2
11762435
YES
151.42/143.10
YES
8.74/8.74
ERROR
1.55/1.54
From_
T2/
disj_
nightmare.t2.smt2
11762436
i
timeout (wallclock)
NO
13.63/13.74
NO
0.16/0.16
From_
T2/
wrap.c.t2.smt2
11762437
is
timeout (wallclock)
YES
23.33/23.33
ERROR
4.20/4.21
From_
T2/
small23.t2.smt2
11762438
i
MAYBE
3.56/3.38
NO
4.66/4.66
NO
0.16/0.17
From_
T2/
e-acqrel-succeed.t2.smt2
11762439
i
MAYBE
3.88/3.62
NO
2.87/2.87
NO
0.11/0.11
From_
T2/
polling.t2_
fixed.smt2
11762440
i
timeout (wallclock)
NO
40.46/40.46
NO
6.57/6.55
From_
T2/
minmax.t2_
fixed.smt2
11762441
YES
1.07/1.03
YES
4.58/4.58
ERROR
0.02/0.02
From_
T2/
dsa_
test6.t2.smt2
11762442
YES
1.77/1.74
YES
1.39/1.39
ERROR
0.05/0.06
From_
T2/
7.t2.smt2
11762443
i
MAYBE
1.40/1.31
NO
1.59/1.59
NO
0.03/0.03
From_
T2/
toeplz.c.i.toeplz.pl.t2.fixed.t2.smt2
11762444
is
timeout (wallclock)
YES
10.44/10.44
ERROR
2.39/2.38
From_
T2/
crc.t2_
fixed.smt2
11762445
is
timeout (wallclock)
YES
95.07/95.10
ERROR
1.18/1.17
From_
T2/
bf11.t2.smt2
11762446
YES
138.63/128.75
YES
8.51/8.51
ERROR
1.56/1.55
From_
T2/
p-42.t2.smt2
11762447
YES
7.31/6.84
YES
1.74/1.75
ERROR
0.11/0.11
From_
T2/
smagilla-fail.t2.smt2
11762448
is
MAYBE
3.61/3.36
MAYBE
50.98/51.26
NO
0.64/0.65
From_
T2/
curious2.t2.smt2
11762449
YES
0.01/0.02
YES
0.90/0.90
ERROR
0.00/0.01
From_
T2/
efegp.t2_
fixed.smt2
11762450
is
timeout (wallclock)
MAYBE
298.96/299.00
NO
3.00/2.99
From_
T2/
byron-2.t2.smt2
11762451
YES
40.34/37.61
YES
3.68/3.68
ERROR
0.15/0.15
From_
T2/
3.t2.smt2
11762452
i
MAYBE
0.22/0.21
NO
1.35/1.35
NO
0.02/0.03
From_
T2/
bf12.t2_
fixed.smt2
11762453
YES
112.13/105.11
YES
8.15/8.38
ERROR
1.54/1.54
From_
T2/
bf15.t2.smt2
11762454
YES
184.97/172.28
YES
9.12/9.12
ERROR
1.54/1.53
From_
T2/
p-46.t2.smt2
11762455
i
MAYBE
44.92/41.97
NO
203.31/202.18
NO
0.68/0.68
From_
T2/
consts5.t2_
fixed.smt2
11762456
is
MAYBE
1.33/1.25
YES
1.06/1.07
ERROR
0.04/0.04
From_
T2/
ase_
example.t2.smt2
11762457
YES
24.15/22.41
YES
3.48/3.48
ERROR
0.15/0.15
From_
T2/
hqr.t2_
fixed.smt2
11762458
u
timeout (wallclock)
MAYBE
298.97/299.01
ERROR
15.77/15.68
From_
T2/
array_
init_
assign.t2.smt2
11762459
YES
1.93/1.80
YES
2.04/2.04
ERROR
0.08/0.08
From_
T2/
bsort100.t2_
fixed.smt2
11762460
YES
88.21/82.38
YES
10.26/10.27
ERROR
1.45/1.44
From_
T2/
dsa_
test10.t2.smt2
11762461
YES
19.89/18.59
YES
2.14/2.15
ERROR
0.09/0.09
From_
T2/
n-40.t2_
fixed.smt2
11762462
is
MAYBE
153.65/144.89
NO
10.66/10.66
ERROR
0.47/0.46
From_
T2/
st88b-succeed.t2.smt2
11762463
i
MAYBE
12.44/11.58
NO
9.22/9.23
NO
1.02/1.02
From_
T2/
ex12.t2.smt2
11762464
YES
1.86/1.73
YES
1.37/1.37
ERROR
0.06/0.06
From_
T2/
java_
MinusBuiltIn.c.t2.smt2
11762465
YES
13.93/12.98
YES
2.62/2.62
ERROR
0.08/0.09
From_
T2/
insertsort.t2.smt2
11762466
i
MAYBE
8.51/8.37
NO
2.84/2.84
NO
0.14/0.14
From_
T2/
fun11.t2_
fixed.smt2
11762467
i
MAYBE
15.76/14.67
NO
6.77/6.78
NO
0.12/0.12
From_
T2/
p-1d.t2.smt2
11762468
YES
16.74/15.89
YES
2.23/2.23
ERROR
0.12/0.13
From_
T2/
java_
Recursions.c.t2.smt2
11762469
is
timeout (wallclock)
YES
16.73/16.73
ERROR
0.45/0.45
From_
T2/
ex16.t2.smt2
11762470
i
MAYBE
123.70/115.92
NO
16.13/16.14
NO
0.38/0.38
From_
T2/
seq.t2.smt2
11762471
YES
0.12/0.12
YES
1.12/1.13
ERROR
0.04/0.07
From_
T2/
disj_
nightmare_
abi.t2.smt2
11762472
is
MAYBE
3.83/3.59
YES
3.29/3.34
ERROR
0.07/0.08
From_
T2/
curious2.t2_
fixed.smt2
11762473
YES
0.01/0.02
YES
0.82/0.82
ERROR
0.00/0.01
From_
T2/
queue_
1.t2.smt2
11762474
YES
14.90/13.89
YES
5.51/5.51
ERROR
0.18/0.18
From_
T2/
ludcmp.t2.smt2
11762475
is
timeout (wallclock)
YES
19.09/19.10
ERROR
7.24/7.21
From_
T2/
heidy7.t2.smt2
11762476
i
MAYBE
2.78/2.59
NO
40.12/40.14
NO
0.17/0.17
From_
T2/
andrey.t2.smt2
11762477
YES
0.09/0.09
YES
1.14/1.14
ERROR
0.04/0.05
From_
T2/
p-22.t2.smt2
11762478
YES
0.43/0.41
YES
1.51/1.52
ERROR
0.05/0.05
From_
T2/
neg-e-pgarch-succeed.t2.smt2
11762479
i
MAYBE
19.32/18.01
NO
5.06/5.07
NO
0.17/0.17
From_
T2/
acqrel-succeed2.t2.smt2
11762480
i
MAYBE
7.00/6.55
NO
2.63/2.64
NO
0.32/0.31
From_
T2/
n-21.t2_
fixed.smt2
11762481
i
MAYBE
5.53/5.17
NO
2.44/2.44
NO
0.08/0.08
From_
T2/
ex29.t2_
fixed.smt2
11762482
YES
1.34/1.29
YES
5.83/5.83
ERROR
0.02/0.02
From_
T2/
heidy3.t2.smt2
11762483
i
MAYBE
0.68/0.64
NO
1.69/1.69
NO
0.06/0.07
From_
T2/
smagillb-succeed.t2_
fixed.smt2
11762484
i
MAYBE
7.40/6.92
NO
3.83/3.83
NO
0.65/0.65
From_
T2/
db.t2.smt2
11762485
YES
0.12/0.12
YES
1.36/1.36
ERROR
0.01/0.01
From_
T2/
walk.t2.smt2
11762486
i
MAYBE
84.09/78.90
NO
11.85/11.87
NO
0.58/0.58
From_
T2/
jfdctint.t2_
fixed.smt2
11762487
YES
153.36/144.68
YES
4.75/4.75
ERROR
0.14/0.14
From_
T2/
slayer-n2.t2.smt2
11762488
i
MAYBE
4.36/4.06
NO
13.40/13.52
NO
0.03/0.04
From_
T2/
ex31.t2.smt2
11762489
i
MAYBE
2.95/2.75
NO
2.52/2.53
NO
0.28/0.33
From_
T2/
neg-e-popl07-fail.t2.smt2
11762490
i
MAYBE
108.78/102.11
NO
10.56/10.56
NO
0.30/0.30
From_
T2/
jfdctint.t2.smt2
11762491
YES
190.47/178.87
YES
5.49/5.49
ERROR
0.15/0.15
From_
T2/
ex4.t2.smt2
11762492
YES
50.91/47.53
YES
5.24/5.24
ERROR
0.25/0.25
From_
T2/
streamserver.bug.t2.smt2
11762493
is
MAYBE
157.45/147.90
MAYBE
298.98/299.01
NO
5.40/5.35
From_
T2/
slayer-n1-filtered.t2.smt2
11762494
i
MAYBE
151.88/143.54
NO
8.53/8.56
NO
0.26/0.27
From_
T2/
queens.t2.smt2
11762495
is
timeout (wallclock)
YES
229.56/229.66
ERROR
3.84/3.81
From_
T2/
jacobi.c.i.jacobi.pl.t2.fixed.t2_
fixed.smt2
11762496
is
timeout (wallclock)
YES
19.47/19.47
ERROR
8.60/8.56
From_
T2/
edn.t2_
fixed.smt2
11762497
is
timeout (wallclock)
YES
79.37/79.38
ERROR
0.91/0.91
From_
T2/
bf10.t2_
fixed.smt2
11762498
YES
114.02/107.50
YES
8.51/8.52
ERROR
1.55/1.54
From_
T2/
slayer-2-filtered.t2.smt2
11762499
YES
6.08/5.65
YES
1.73/1.73
ERROR
0.06/0.06
From_
T2/
ex8.t2.smt2
11762500
i
MAYBE
7.83/7.68
NO
5.10/5.11
NO
0.13/0.13
From_
T2/
e-1394complete-succeed.t2_
fixed.smt2
11762501
i
timeout (wallclock)
NO
76.47/76.48
NO
2.89/2.88
From_
T2/
polling.bug.t2.smt2
11762502
i
timeout (wallclock)
NO
52.95/52.95
NO
7.59/7.57
From_
T2/
n-17.t2.smt2
11762503
i
MAYBE
1.38/1.29
NO
9.71/9.72
NO
0.18/0.18
From_
T2/
prime.t2.smt2
11762504
i
timeout (wallclock)
NO
38.10/38.11
NO
0.36/0.36
From_
T2/
small01.t2_
fixed.smt2
11762505
is
MAYBE
1.22/1.15
YES
1.31/1.32
ERROR
0.06/0.06
From_
T2/
java_
Sequence.c.t2_
fixed.smt2
11762506
YES
13.08/12.21
YES
3.16/3.16
ERROR
0.13/0.14
From_
T2/
1394complete-fail.t2_
fixed.smt2
11762507
i
timeout (wallclock)
NO
85.25/85.26
NO
3.15/3.14
From_
T2/
consts1nt.t2_
fixed.smt2
11762508
i
MAYBE
1.26/1.18
NO
1.68/1.68
NO
0.06/0.06
From_
T2/
small09.t2.smt2
11762509
is
MAYBE
22.82/22.10
YES
3.49/3.49
ERROR
0.52/0.51
From_
T2/
n-13.t2.smt2
11762510
i
MAYBE
0.92/0.86
NO
1.48/1.48
NO
0.03/0.04
From_
T2/
p-60.t2.smt2
11762511
YES
7.58/7.08
YES
1.77/1.78
ERROR
0.07/0.07
From_
T2/
st88.bug.t2.smt2
11762512
i
MAYBE
16.20/15.16
NO
9.78/9.78
NO
1.56/1.53
From_
T2/
create_
via_
tmps.t2_
fixed.smt2
11762513
is
timeout (wallclock)
YES
15.64/15.65
ERROR
1.35/1.35
From_
T2/
small01.t2.smt2
11762514
i
MAYBE
0.91/0.86
NO
1.56/1.58
NO
0.03/0.04
From_
T2/
n-1c.t2_
fixed.smt2
11762515
i
MAYBE
46.50/43.41
NO
5.27/5.27
NO
0.40/0.40
From_
T2/
traverse_
seg.t2.smt2
11762516
is
timeout (wallclock)
YES
65.71/65.72
ERROR
2.23/2.23
From_
T2/
rlft3.t2.smt2
11762517
i
timeout (wallclock)
NO
25.50/25.50
NO
7.87/7.81
From_
T2/
bf6.t2_
fixed.smt2
11762518
YES
105.14/98.64
YES
7.78/7.78
ERROR
1.55/1.54
From_
T2/
array_
init.t2_
fixed.smt2
11762519
YES
0.47/0.44
YES
1.47/1.48
ERROR
0.05/0.05
From_
T2/
bitcount32.t2.smt2
11762520
is
MAYBE
60.80/56.89
YES
2.93/2.93
ERROR
0.16/0.16
From_
T2/
s3-work.t2.smt2
11762521
u
timeout (wallclock)
MAYBE
298.98/299.01
ERROR
41.90/41.92
From_
T2/
fast_
poll.t2_
fixed.smt2
11762522
i
timeout (wallclock)
NO
55.57/55.59
NO
7.74/7.72
From_
T2/
matmult.t2_
fixed.smt2
11762523
YES
262.89/245.94
YES
12.90/12.90
ERROR
0.31/0.31
From_
T2/
db2.t2.smt2
11762524
is
timeout (wallclock)
MAYBE
298.98/299.01
NO
105.32/105.22
From_
T2/
zeroconf_
withassume.t2.smt2
11762525
u
timeout (wallclock)
MAYBE
298.96/299.01
ERROR
36.36/36.02
From_
T2/
small05.t2.smt2
11762526
i
MAYBE
0.52/0.49
NO
1.53/1.53
NO
0.03/0.04
From_
T2/
toeplz.t2.smt2
11762527
is
timeout (wallclock)
YES
21.08/21.08
ERROR
2.39/2.37
From_
T2/
jacobi.c.i.jacobi.pl.t2.nor.t2.rlgfixed.t2.smt2
11762528
is
timeout (wallclock)
YES
18.77/18.78
ERROR
8.61/8.57
From_
T2/
smagilla-succeed.t2.smt2
11762529
is
MAYBE
3.74/3.49
MAYBE
53.39/55.55
NO
0.64/0.64
From_
T2/
6.t2.smt2
11762530
i
MAYBE
0.27/0.26
NO
1.56/1.56
NO
0.03/0.03
From_
T2/
bf10.t2.smt2
11762531
YES
150.80/141.05
YES
9.36/9.36
ERROR
1.56/1.55
From_
T2/
p-43.t2.smt2
11762532
is
MAYBE
13.99/13.02
YES
9.70/9.73
ERROR
1.14/1.14
From_
T2/
array_
init.t2.smt2
11762533
YES
1.15/1.08
YES
1.60/1.60
ERROR
0.06/0.07
From_
T2/
bf15.t2_
fixed.smt2
11762534
is
MAYBE
103.98/98.79
YES
8.09/8.09
ERROR
1.51/1.51
From_
T2/
brp_
withassume.t2.smt2
11762535
u
timeout (wallclock)
MAYBE
298.96/299.00
ERROR
91.22/90.67
From_
T2/
consts2.t2_
fixed.smt2
11762536
YES
0.12/0.12
YES
1.10/1.12
ERROR
0.05/0.05
From_
T2/
bubbleSort.t2.smt2
11762537
YES
26.53/24.82
YES
4.18/4.19
ERROR
1.12/1.12
From_
T2/
pgarch-fail.t2.smt2
11762538
i
MAYBE
36.46/34.04
NO
6.36/6.36
NO
0.18/0.18
From_
T2/
bs.t2.smt2
11762539
i
MAYBE
47.63/45.53
NO
14.47/14.52
NO
0.77/0.83
From_
T2/
2.t2.smt2
11762540
is
MAYBE
100.02/94.56
MAYBE
298.90/299.06
NO
0.27/0.33
From_
T2/
p-40.t2_
fixed.smt2
11762541
YES
6.72/6.38
YES
1.80/1.80
ERROR
0.05/0.05
From_
T2/
byron-3.t2.smt2
11762542
is
MAYBE
2.94/2.80
YES
1.46/1.51
ERROR
0.10/0.17
From_
T2/
slayer-3-filtered.t2.smt2
11762543
is
timeout (wallclock)
MAYBE
298.97/299.01
NO
10.40/10.32
From_
T2/
tqli.c.i.tqli.pl.t2.nor.t2.rlgfixed.t2.smt2
11762544
is
timeout (wallclock)
MAYBE
298.96/299.01
NO
4.24/4.22
From_
T2/
bf14.t2.smt2
11762545
YES
145.44/135.55
YES
8.90/8.91
ERROR
1.55/1.55
From_
T2/
matrixsqrt.t2.smt2
11762546
YES
94.42/88.07
YES
8.74/8.76
ERROR
0.53/0.53
From_
T2/
small26.t2.smt2
11762547
YES
1.29/1.21
YES
1.17/1.18
ERROR
0.05/0.05
From_
T2/
p-7.t2.smt2
11762548
YES
10.43/9.77
YES
1.88/1.88
ERROR
0.08/0.09
From_
T2/
st88.bug.t2_
fixed.smt2
11762549
i
MAYBE
8.18/7.60
NO
7.56/7.56
NO
0.75/0.73
From_
T2/
fermat.t2.smt2
11762550
YES
255.21/238.97
YES
8.80/8.80
ERROR
0.18/0.18
From_
T2/
dsa_
test6.t2_
fixed.smt2
11762551
YES
0.91/0.86
YES
1.31/1.32
ERROR
0.04/0.04
From_
T2/
p-21.t2_
fixed.smt2
11762552
YES
3.71/3.50
YES
1.76/1.77
ERROR
0.16/0.16
From_
T2/
bf18.t2.smt2
11762553
YES
146.77/137.81
YES
8.57/8.58
ERROR
1.55/1.54
From_
T2/
n-38.t2.smt2
11762554
YES
0.02/0.02
YES
0.94/0.94
ERROR
0.00/0.01
From_
T2/
two_
arrays.t2_
fixed.smt2
11762555
is
MAYBE
49.77/49.56
YES
5.51/5.51
ERROR
0.23/0.23
From_
T2/
java_
Continue1.c.t2_
fixed.smt2
11762556
YES
1.84/1.72
YES
2.00/2.02
ERROR
0.07/0.07
From_
T2/
small22.t2.smt2
11762557
i
MAYBE
2.42/2.26
NO
4.68/4.68
NO
0.44/0.43
From_
T2/
java_
FibRecursive.c.t2.smt2
11762558
YES
4.50/4.22
YES
3.59/3.59
ERROR
0.33/0.33
From_
T2/
p-3.t2.smt2
11762559
YES
10.08/9.67
YES
1.99/2.00
ERROR
0.10/0.10
From_
T2/
ax_
test_
2.t2.smt2
11762560
i
MAYBE
0.15/0.15
NO
1.36/1.36
NO
0.02/0.03
From_
T2/
consts1.t2.smt2
11762561
i
MAYBE
1.76/1.64
NO
1.87/1.88
NO
0.03/0.03
From_
T2/
fun3.t2.smt2
11762562
is
timeout (wallclock)
YES
34.59/34.60
ERROR
296.58/296.66
From_
T2/
small14.t2.smt2
11762563
i
MAYBE
45.37/42.79
NO
13.60/13.69
NO
2.89/2.86
From_
T2/
e-popl07-fail.t2_
fixed.smt2
11762564
i
MAYBE
116.49/112.13
NO
13.01/13.02
NO
0.45/0.45
From_
T2/
cnt.t2.smt2
11762565
is
timeout (wallclock)
YES
39.67/39.68
ERROR
0.73/0.73
From_
T2/
consts5.t2.smt2
11762566
i
MAYBE
7.46/6.99
NO
2.16/2.16
NO
0.16/0.16
From_
T2/
array.t2.smt2
11762567
YES
0.01/0.02
YES
0.90/0.90
ERROR
0.00/0.01
From_
T2/
fun7.t2.smt2
11762568
i
timeout (wallclock)
NO
47.82/47.82
NO
2.01/2.00
From_
T2/
small10.t2.smt2
11762569
i
MAYBE
3.85/3.59
NO
2.46/2.46
NO
0.93/0.93
From_
T2/
wrong_
loop.t2_
fixed.smt2
11762570
is
MAYBE
4.10/3.94
MAYBE
56.47/56.71
NO
0.25/0.25
From_
T2/
small18.t2.smt2
11762571
is
MAYBE
0.68/0.64
MAYBE
29.59/29.83
NO
0.17/0.17
From_
T2/
crc.t2.smt2
11762572
is
timeout (wallclock)
YES
101.33/101.33
ERROR
1.47/1.45
From_
T2/
reverse_
div4.t2.smt2
11762573
i
timeout (wallclock)
NO
50.21/50.21
NO
0.91/0.91
From_
T2/
two_
arrays6.t2.smt2
11762574
YES
120.10/112.42
YES
10.52/10.52
ERROR
0.32/0.32
From_
T2/
e-pgarch-succeed.t2.smt2
11762575
i
MAYBE
54.16/51.00
NO
6.86/6.86
NO
0.20/0.20
From_
T2/
loop3.t2_
fixed.smt2
11762576
is
MAYBE
136.69/136.27
YES
61.00/61.02
ERROR
82.87/82.52
From_
T2/
traverse_
seg.t2_
fixed.smt2
11762577
is
timeout (wallclock)
YES
68.52/68.54
ERROR
2.53/2.53
From_
T2/
two_
arrays2.t2.smt2
11762578
YES
136.19/127.72
YES
10.02/10.02
ERROR
0.37/0.37
From_
T2/
slayer-n3-filtered.t2.smt2
11762579
is
timeout (wallclock)
YES
10.80/10.80
ERROR
0.15/0.16
From_
T2/
n-5.t2_
fixed.smt2
11762580
i
MAYBE
266.60/250.20
NO
6.48/6.48
NO
1.48/1.47
From_
T2/
jacobi.c.i.jacobi.pl.t2.fixed.t2.smt2
11762581
is
timeout (wallclock)
YES
19.40/19.41
ERROR
10.30/10.26
From_
T2/
dsa_
test15.t2_
fixed.smt2
11762582
YES
3.61/3.35
YES
1.95/1.95
ERROR
0.08/0.08
From_
T2/
ppblockbug.t2.smt2
11762583
i
MAYBE
15.34/15.50
NO
22.27/22.27
NO
1.28/1.27
From_
T2/
neg-popl07-succeed.t2.smt2
11762584
i
MAYBE
113.95/107.04
NO
11.83/11.83
NO
0.41/0.42
From_
T2/
neg-e-popl07-succeed.t2_
fixed.smt2
11762585
i
MAYBE
95.91/89.60
NO
11.98/11.98
NO
0.44/0.44
From_
T2/
n-1c.t2.smt2
11762586
i
MAYBE
48.81/46.16
NO
4.37/4.38
NO
0.19/0.19
From_
T2/
queue_
10.t2_
fixed.smt2
11762587
YES
14.36/13.58
YES
6.32/6.32
ERROR
0.21/0.21
From_
T2/
small33.t2.smt2
11762588
YES
0.01/0.02
YES
1.01/1.01
ERROR
0.00/0.01
From_
T2/
e-pgarch-succeed.t2_
fixed.smt2
11762589
i
MAYBE
47.73/45.54
NO
6.49/6.49
NO
0.19/0.19
From_
T2/
slayer-3.t2.smt2
11762590
u
timeout (wallclock)
MAYBE
299.02/299.01
ERROR
253.77/257.85
From_
T2/
bf9.t2_
fixed.smt2
11762591
YES
113.72/107.43
YES
8.48/8.48
ERROR
1.54/1.54
From_
T2/
qrdcmp.t2.smt2
11762592
is
timeout (wallclock)
YES
23.67/23.67
ERROR
4.15/4.13
From_
T2/
eric1.t2.smt2
11762593
is
MAYBE
4.10/3.82
YES
2.56/2.57
ERROR
0.28/0.28
From_
T2/
sas07.cex.t2.smt2
11762594
is
timeout (wallclock)
YES
18.18/18.24
ERROR
2.06/2.06
From_
T2/
send-more-money.t2_
fixed.smt2
11762595
YES
73.56/73.02
YES
42.04/42.04
ERROR
0.13/0.14
From_
T2/
loop3.t2.smt2
11762596
is
timeout (wallclock)
YES
107.33/107.35
ERROR
133.50/133.13
From_
T2/
e-1394complete-succeed.t2.smt2
11762597
i
timeout (wallclock)
NO
76.54/76.54
NO
2.86/2.85
From_
T2/
fun5.t2_
fixed.smt2
11762598
u
MAYBE
135.60/128.19
MAYBE
298.98/299.00
ERROR
10.08/10.02
From_
T2/
p-56.t2.smt2
11762599
YES
9.48/8.86
YES
1.77/1.77
ERROR
0.06/0.06
From_
T2/
traverse.t2_
fixed.smt2
11762600
is
timeout (wallclock)
YES
48.95/48.96
ERROR
1.89/1.89
From_
T2/
ex7.t2_
fixed.smt2
11762601
YES
4.45/4.29
YES
1.52/1.52
ERROR
0.05/0.06
From_
T2/
s3.t2.smt2
11762602
u
timeout (wallclock)
MAYBE
298.97/299.01
ERROR
256.21/274.75
From_
T2/
java_
Nested.c.t2_
fixed.smt2
11762603
YES
25.88/24.25
YES
3.58/3.58
ERROR
0.35/0.35
From_
T2/
p-52.t2.smt2
11762604
i
MAYBE
16.63/15.56
NO
2.41/2.41
NO
0.04/0.04
From_
T2/
n-21.t2.smt2
11762605
i
MAYBE
11.09/10.31
NO
3.13/3.13
NO
0.09/0.09
From_
T2/
ex23.t2_
fixed.smt2
11762606
YES
1.80/1.68
YES
1.63/1.63
ERROR
0.05/0.06
From_
T2/
p-7.t2_
fixed.smt2
11762607
YES
9.60/9.01
YES
1.98/1.98
ERROR
0.08/0.09
From_
T2/
mc91test.t2_
fixed.smt2
11762608
is
MAYBE
38.38/38.45
YES
3.76/3.78
ERROR
1.14/1.13
From_
T2/
simple_
pre3.t2.smt2
11762609
YES
0.21/0.20
YES
1.84/1.85
ERROR
0.00/0.01
From_
T2/
s1-striped.t2_
fixed.smt2
11762610
is
timeout (wallclock)
MAYBE
298.97/299.01
NO
21.56/21.51
From_
T2/
bf8.t2.smt2
11762611
YES
143.24/134.40
YES
9.49/9.51
ERROR
1.56/1.56
From_
T2/
slayer-1-filtered.t2.smt2
11762612
is
timeout (wallclock)
YES
12.78/12.78
ERROR
0.36/0.36
From_
T2/
neg-popl07-fail.t2.smt2
11762613
i
MAYBE
102.00/96.39
NO
10.62/10.62
NO
0.30/0.30
From_
T2/
armc-difficult_
foo3.t2.smt2
11762614
is
timeout (wallclock)
YES
47.93/47.94
ERROR
42.17/41.90
From_
T2/
n-40.t2.smt2
11762615
i
timeout (wallclock)
NO
7.37/7.37
NO
1.27/1.30
From_
T2/
peculiar.t2.smt2
11762616
i
MAYBE
13.02/12.16
NO
3.93/3.95
NO
0.59/0.58
From_
T2/
p-33.t2.smt2
11762617
i
MAYBE
7.97/7.89
NO
4.21/4.21
NO
0.66/0.65
From_
T2/
p-43-terminate.t2.smt2
11762618
is
timeout (wallclock)
YES
61.14/61.15
ERROR
7.54/7.49
From_
T2/
slayer-n2-filtered.t2.smt2
11762619
i
MAYBE
6.77/6.35
NO
15.18/15.22
NO
0.04/0.04
From_
T2/
p-37.t2.smt2
11762620
YES
13.34/12.47
YES
2.32/2.32
ERROR
0.53/0.53
From_
T2/
241.t2.smt2
11762621
YES
2.87/2.67
YES
1.58/1.58
ERROR
0.08/0.09
From_
T2/
dsa_
test10.t2_
fixed.smt2
11762622
YES
9.53/8.96
YES
1.97/1.97
ERROR
0.09/0.09
From_
T2/
n-9.t2.smt2
11762623
i
MAYBE
47.69/44.99
NO
7.20/7.20
NO
0.26/0.26
From_
T2/
graycode.t2_
fixed.smt2
11762624
is
timeout (wallclock)
YES
32.35/32.36
ERROR
1.99/1.97
From_
T2/
n-3a.t2_
fixed.smt2
11762625
i
MAYBE
57.95/54.07
NO
6.43/6.44
NO
0.86/0.85
From_
T2/
fun10b.t2.smt2
11762626
i
timeout (wallclock)
NO
189.76/189.80
NO
4.67/4.67
From_
T2/
n-1.t2.smt2
11762627
i
MAYBE
26.51/25.03
NO
2.98/2.98
NO
0.04/0.04
From_
T2/
statemate.t2.smt2
11762628
u
timeout (wallclock)
MAYBE
298.97/299.01
ERROR
254.91/260.02
From_
T2/
peculiar.t2_
fixed.smt2
11762629
i
MAYBE
13.86/13.39
NO
3.95/3.95
NO
0.58/0.57
From_
T2/
e-acqrel-fail.t2.smt2
11762630
i
MAYBE
2.42/2.27
NO
2.70/2.70
NO
0.08/0.08
From_
T2/
rev_
nt3.t2.smt2
11762631
i
timeout (wallclock)
NO
24.87/24.88
NO
0.53/0.53
From_
T2/
n-5.t2.smt2
11762632
i
timeout (wallclock)
NO
6.35/6.38
NO
1.48/1.48
From_
T2/
e-1394-succeed.t2.smt2
11762633
i
timeout (wallclock)
NO
72.67/72.68
NO
3.32/3.30
From_
T2/
s3-work.t2_
fixed.smt2
11762634
u
timeout (wallclock)
MAYBE
298.98/299.01
ERROR
14.65/14.61
From_
T2/
polling.bug.t2_
fixed.smt2
11762635
i
timeout (wallclock)
NO
49.32/49.33
NO
7.23/7.22
From_
T2/
n-48.t2.smt2
11762636
i
MAYBE
8.11/7.52
NO
2.57/2.57
NO
0.10/0.11
From_
T2/
n-12.t2_
fixed.smt2
11762637
i
MAYBE
7.69/7.18
NO
3.02/3.02
NO
0.30/0.29
From_
T2/
huh.t2_
fixed.smt2
11762638
YES
179.69/168.86
YES
5.30/5.30
ERROR
0.16/0.16
From_
T2/
neg-smagilla-succeed.t2.smt2
11762639
is
MAYBE
5.62/5.26
MAYBE
60.54/60.79
NO
0.64/0.64
From_
T2/
p-14.t2.smt2
11762640
YES
0.35/0.33
YES
1.31/1.31
ERROR
0.05/0.05
From_
T2/
p-10.t2.smt2
11762641
i
MAYBE
15.40/14.73
NO
2.47/2.48
NO
0.04/0.05
From_
T2/
ex2.t2_
fixed.smt2
11762642
i
MAYBE
2.65/2.92
NO
2.44/2.45
NO
0.06/0.07
From_
T2/
matmul.t2_
fixed.smt2
11762643
YES
22.06/20.59
YES
6.32/6.32
ERROR
0.20/0.20
From_
T2/
w1.t2.smt2
11762644
i
MAYBE
0.29/0.28
NO
9.45/9.49
NO
0.07/0.08
From_
T2/
ex26.t2_
fixed.smt2
11762645
YES
18.59/17.28
YES
3.89/3.91
ERROR
0.10/0.11
From_
T2/
java_
LogBuiltIn.c.t2.smt2
11762646
is
MAYBE
27.46/25.71
YES
3.03/3.04
ERROR
0.65/0.66
From_
T2/
simple_
control_
on_
input.t2_
fixed.smt2
11762647
YES
0.47/0.44
YES
1.61/1.61
ERROR
0.05/0.06
From_
T2/
bs.t2_
fixed.smt2
11762648
i
MAYBE
26.62/24.77
NO
81.66/81.70
NO
0.74/0.74
From_
T2/
ex20.t2.smt2
11762649
YES
7.28/6.82
YES
2.75/2.75
ERROR
0.06/0.06
From_
T2/
neg.t2.smt2
11762650
YES
0.01/0.02
YES
0.80/0.80
ERROR
0.00/0.01
From_
T2/
compress.t2.smt2
11762651
i
timeout (wallclock)
NO
249.05/249.10
NO
148.22/147.94
From_
T2/
slayer-n1.t2_
fixed.smt2
11762652
i
timeout (wallclock)
NO
118.29/118.32
NO
0.77/0.77
From_
T2/
polyrank4.t2.smt2
11762653
u
MAYBE
3.87/3.97
MAYBE
299.07/299.01
ERROR
1.08/1.08
From_
T2/
ex32.t2_
fixed.smt2
11762654
YES
4.93/4.64
YES
2.59/2.59
ERROR
0.09/0.09
From_
AProVE_
2014/
Parts.jar-obl-9.smt2
11761433
YES
15.74/16.00
YES
5.08/5.08
ERROR
4.00/3.96
From_
AProVE_
2014/
juLinkedListCreateAddAt.jar-obl-10.smt2
11761434
YES
16.86/16.02
YES
13.74/13.74
ERROR
8.64/8.61
From_
AProVE_
2014/
ex07_
rec.jar-obl-8.smt2
11761435
i
MAYBE
0.31/0.29
NO
1.05/1.05
NO
0.03/0.03
From_
AProVE_
2014/
upAndDownIneq_
rec.jar-obl-8.smt2
11761436
u
MAYBE
3.92/3.66
MAYBE
298.97/299.01
ERROR
0.88/0.85
From_
AProVE_
2014/
Velroyen08-ex02.jar-obl-8.smt2
11761437
i
MAYBE
0.43/0.40
NO
1.82/1.82
NO
0.14/0.14
From_
AProVE_
2014/
PastaC10.jar-obl-8.smt2
11761438
is
MAYBE
0.62/0.58
YES
1.19/1.20
ERROR
0.16/0.16
From_
AProVE_
2014/
MinusMin.jar-obl-8.smt2
11761439
is
MAYBE
2.31/2.16
YES
1.49/1.50
ERROR
0.09/0.09
From_
AProVE_
2014/
ListContent.jar-obl-9.smt2
11761440
i
MAYBE
0.47/0.45
NO
1.52/1.52
NO
0.09/0.09
From_
AProVE_
2014/
PastaB17.jar-obl-8.smt2
11761441
YES
3.97/4.24
YES
1.43/1.43
ERROR
1.67/1.71
From_
AProVE_
2014/
costa09-example_
3.jar-obl-8.smt2
11761442
YES
0.43/0.41
YES
1.07/1.07
ERROR
0.71/0.72
From_
AProVE_
2014/
Velroyen08-whileIncr.jar-obl-8.smt2
11761443
i
MAYBE
0.35/0.34
NO
1.11/1.11
NO
0.04/0.04
From_
AProVE_
2014/
PastaB6.jar-obl-8.smt2
11761444
YES
0.13/0.14
YES
1.04/1.04
ERROR
0.12/0.13
From_
AProVE_
2014/
TimesPlusUserDef.jar-obl-9.smt2
11761445
YES
0.86/0.81
YES
1.94/1.94
ERROR
0.15/0.16
From_
AProVE_
2014/
TaylorSeriesIte.jar-obl-13.smt2
11761446
YES
289.34/286.49
YES
17.00/17.00
ERROR
24.18/24.09
From_
AProVE_
2014/
whileNestedOffset_
rec.jar-obl-9.smt2
11761447
i
MAYBE
0.49/0.46
NO
1.32/1.32
NO
0.10/0.10
From_
AProVE_
2014/
Distances.jar-obl-19.smt2
11761448
is
timeout (wallclock)
YES
84.27/84.32
ERROR
124.32/123.94
From_
AProVE_
2014/
Et2-rec.jar-obl-8.smt2
11761449
is
MAYBE
0.74/0.70
YES
1.98/1.99
ERROR
0.37/0.37
From_
AProVE_
2014/
AppE.jar-obl-9.smt2
11761450
YES
0.86/0.82
YES
1.77/1.78
ERROR
1.26/1.26
From_
AProVE_
2014/
juHashMapCreatePut.jar-obl-10.smt2
11761451
YES
89.61/85.40
YES
11.49/11.49
ERROR
252.26/253.71
From_
AProVE_
2014/
juLinkedListCreateSize.jar-obl-8.smt2
11761452
YES
1.41/1.52
YES
1.66/1.66
ERROR
1.47/1.47
From_
AProVE_
2014/
Velroyen08-flip.jar-obl-8.smt2
11761453
i
MAYBE
0.40/0.38
NO
1.18/1.18
NO
0.05/0.05
From_
AProVE_
2014/
SharingAnalysisRec.jar-obl-9.smt2
11761454
YES
0.89/0.85
YES
2.07/2.07
ERROR
0.16/0.17
From_
AProVE_
2014/
sumGeneric2_
rec.jar-obl-8.smt2
11761455
i
MAYBE
0.52/0.49
NO
1.50/1.50
NO
1.17/1.17
From_
AProVE_
2014/
PastaB10.jar-obl-8.smt2
11761456
YES
0.41/0.39
YES
1.40/1.40
ERROR
1.17/1.17
From_
AProVE_
2014/
Et3.jar-obl-9.smt2
11761457
is
MAYBE
0.43/0.41
YES
1.41/1.41
ERROR
1.12/1.12
From_
AProVE_
2014/
Swingers.jar-obl-8.smt2
11761458
is
MAYBE
0.44/0.42
MAYBE
18.61/19.55
NO
0.04/0.05
From_
AProVE_
2014/
Velroyen08-ex05.jar-obl-8.smt2
11761459
i
MAYBE
0.35/0.33
NO
1.17/1.17
NO
0.05/0.05
From_
AProVE_
2014/
complInterv3_
rec.jar-obl-8.smt2
11761460
i
MAYBE
0.40/0.38
NO
1.33/1.34
NO
0.08/0.08
From_
AProVE_
2014/
Double2.jar-obl-8.smt2
11761461
YES
0.09/0.09
YES
1.15/1.16
ERROR
0.03/0.04
From_
AProVE_
2014/
PlusSwap.jar-obl-8.smt2
11761462
is
MAYBE
0.35/0.33
YES
1.02/1.03
ERROR
0.12/0.12
From_
AProVE_
2014/
LogBuiltIn.jar-obl-8.smt2
11761463
YES
0.54/0.51
YES
1.16/1.16
ERROR
0.57/0.57
From_
AProVE_
2014/
TreeLeftmostDepth.jar-obl-9.smt2
11761464
YES
3.32/3.13
YES
4.93/4.93
ERROR
8.86/8.75
From_
AProVE_
2014/
LessLeavesRec.jar-obl-10.smt2
11761465
is
timeout (wallclock)
MAYBE
298.97/299.01
NO
28.38/28.22
From_
AProVE_
2014/
Iterations.jar-obl-8.smt2
11761466
is
timeout (wallclock)
YES
7.97/7.98
ERROR
3.80/3.79
From_
AProVE_
2014/
Continue1.jar-obl-8.smt2
11761467
YES
0.40/0.38
YES
1.19/1.19
ERROR
0.11/0.11
From_
AProVE_
2014/
ListContentArbitrary.jar-obl-10.smt2
11761468
YES
0.54/0.51
YES
1.89/1.89
ERROR
0.17/0.18
From_
AProVE_
2014/
mirrorIntervSim_
rec.jar-obl-8.smt2
11761469
i
MAYBE
0.51/0.55
NO
1.74/1.74
NO
0.13/0.13
From_
AProVE_
2014/
Test11.jar-obl-8.smt2
11761470
is
MAYBE
2.99/2.88
YES
3.35/3.35
ERROR
3.52/3.50
From_
AProVE_
2014/
juLinkedListCreatePoll.jar-obl-8.smt2
11761471
YES
2.48/2.57
YES
3.52/3.52
ERROR
2.70/2.70
From_
AProVE_
2014/
PartitionList.jar-obl-16.smt2
11761472
YES
78.78/74.76
YES
30.87/30.87
ERROR
31.23/31.10
From_
AProVE_
2014/
LogMult.jar-obl-8.smt2
11761473
is
YES
0.41/0.39
MAYBE
16.30/16.69
ERROR
0.24/0.24
From_
AProVE_
2014/
Virtual.jar-obl-9.smt2
11761474
is
MAYBE
0.74/0.70
YES
1.33/1.33
ERROR
0.11/0.12
From_
AProVE_
2014/
juLinkedListCreateRemoveAt.jar-obl-10.smt2
11761475
YES
26.82/25.74
YES
20.69/20.69
ERROR
11.39/11.32
From_
AProVE_
2014/
BubbleSort.jar-obl-8.smt2
11761476
YES
7.69/7.15
YES
2.01/2.02
ERROR
0.71/0.71
From_
AProVE_
2014/
TaylorSeriesRec.jar-obl-13.smt2
11761477
YES
271.62/269.30
YES
13.58/13.58
ERROR
21.73/21.64
From_
AProVE_
2014/
NO_
12.jar-obl-8.smt2
11761478
i
MAYBE
0.70/1.13
NO
1.72/1.72
NO
0.22/0.22
From_
AProVE_
2014/
costa09-example_
4.jar-obl-8.smt2
11761479
YES
0.23/0.22
YES
1.10/1.11
ERROR
0.56/0.56
From_
AProVE_
2014/
EvenOdd.jar-obl-8.smt2
11761480
i
MAYBE
5.63/5.28
NO
2.25/2.25
NO
0.14/0.15
From_
AProVE_
2014/
GrowTreeR.jar-obl-9.smt2
11761481
YES
21.04/19.72
YES
4.56/4.56
ERROR
2.33/2.35
From_
AProVE_
2014/
PastaB1.jar-obl-8.smt2
11761482
YES
0.29/0.28
YES
1.04/1.05
ERROR
0.55/0.56
From_
AProVE_
2014/
AlternatingGrowReduce.jar-obl-9.smt2
11761483
is
MAYBE
1.09/1.02
YES
5.79/5.78
ERROR
0.21/0.21
From_
AProVE_
2014/
juLinkedListCreateListIteratorLoop.jar-obl-10.smt2
11761484
YES
13.87/13.48
YES
14.85/14.86
ERROR
23.32/23.31
From_
AProVE_
2014/
TerminatorRec02.jar-obl-8.smt2
11761485
YES
0.16/0.16
YES
1.00/1.01
ERROR
0.05/0.05
From_
AProVE_
2014/
Velroyen08-ex07.jar-obl-9.smt2
11761486
i
MAYBE
0.67/0.63
NO
2.07/2.07
NO
0.25/0.25
From_
AProVE_
2014/
Et5-rec.jar-obl-8.smt2
11761487
YES
1.61/1.53
YES
2.77/2.77
ERROR
2.29/2.29
From_
AProVE_
2014/
Et1.jar-obl-8.smt2
11761488
is
MAYBE
0.39/0.37
YES
1.11/1.11
ERROR
0.12/0.12
From_
AProVE_
2014/
juHashMapCreateIteratorKeyLoop.jar-obl-12.smt2
11761489
YES
184.09/173.04
YES
15.99/15.99
ERROR
149.17/149.07
From_
AProVE_
2014/
whileSingle_
rec.jar-obl-8.smt2
11761490
i
MAYBE
0.70/0.66
NO
1.71/1.71
NO
0.17/0.17
From_
AProVE_
2014/
Exc1.jar-obl-8.smt2
11761491
is
MAYBE
0.28/0.26
MAYBE
20.53/20.74
NO
0.11/0.11
From_
AProVE_
2014/
AlternatingGrowReduce2.jar-obl-9.smt2
11761492
u
MAYBE
0.92/0.87
MAYBE
32.04/33.11
ERROR
0.25/0.24
From_
AProVE_
2014/
PastaB8.jar-obl-8.smt2
11761493
YES
1.03/0.97
YES
1.69/1.70
ERROR
1.37/1.37
From_
AProVE_
2014/
Velroyen08-marbie1.jar-obl-8.smt2
11761494
i
MAYBE
0.36/0.34
NO
1.11/1.11
NO
0.04/0.04
From_
AProVE_
2014/
Velroyen08-mirrorIntervSim.jar-obl-8.smt2
11761495
i
MAYBE
0.49/0.46
NO
1.69/1.69
NO
0.13/0.14
From_
AProVE_
2014/
Test2.jar-obl-8.smt2
11761496
is
MAYBE
1.65/1.54
YES
3.50/3.50
ERROR
1.97/1.96
From_
AProVE_
2014/
CyclicAnalysis.jar-obl-10.smt2
11761497
YES
2.22/2.10
YES
2.82/2.82
ERROR
2.20/2.19
From_
AProVE_
2014/
juLinkedListCreatePeekFirst.jar-obl-8.smt2
11761498
YES
2.01/1.93
YES
2.68/2.68
ERROR
2.68/2.68
From_
AProVE_
2014/
LessLeaves.jar-obl-10.smt2
11761499
is
MAYBE
11.34/10.64
MAYBE
299.00/299.00
NO
6.96/6.88
From_
AProVE_
2014/
Velroyen08-twoFloatInterv.jar-obl-8.smt2
11761500
i
MAYBE
41.73/39.02
NO
3.19/3.20
NO
0.26/0.26
From_
AProVE_
2014/
Fibonacci.jar-obl-8.smt2
11761501
YES
0.88/0.85
YES
1.72/1.72
ERROR
0.16/0.17
From_
AProVE_
2014/
FlattenTreeRec.jar-obl-9.smt2
11761502
i
MAYBE
2.86/2.72
NO
3.37/3.37
NO
4.50/4.44
From_
AProVE_
2014/
CyclicList.jar-obl-9.smt2
11761503
YES
1.04/0.98
YES
1.90/1.90
ERROR
0.18/0.18
From_
AProVE_
2014/
Hanoi.jar-obl-8.smt2
11761504
YES
0.16/0.17
YES
1.14/1.14
ERROR
0.04/0.04
From_
AProVE_
2014/
Loop.jar-obl-8.smt2
11761505
i
MAYBE
0.06/0.07
NO
1.03/1.03
NO
0.02/0.02
From_
AProVE_
2014/
Kernel95.jar-obl-9.smt2
11761506
YES
3.79/3.89
YES
4.31/4.31
ERROR
4.37/4.34
From_
AProVE_
2014/
juLinkedListCreate.jar-obl-8.smt2
11761507
YES
1.52/1.45
YES
1.67/1.67
ERROR
1.48/1.48
From_
AProVE_
2014/
narrowKonv_
rec.jar-obl-8.smt2
11761508
u
MAYBE
0.58/0.55
MAYBE
124.18/124.55
ERROR
0.69/0.69
From_
AProVE_
2014/
List.jar-obl-12.smt2
11761509
is
MAYBE
1.44/1.39
MAYBE
35.37/36.29
NO
5.51/5.50
From_
AProVE_
2014/
PastaA4.jar-obl-8.smt2
11761510
YES
0.29/0.28
YES
1.03/1.04
ERROR
0.55/0.55
From_
AProVE_
2014/
AProVE12-cyclic-Visit.jar-obl-9.smt2
11761511
is
MAYBE
0.67/0.63
MAYBE
21.81/26.56
NO
0.16/0.17
From_
AProVE_
2014/
juLinkedListCreateOfferFirst.jar-obl-8.smt2
11761512
YES
1.70/1.63
YES
2.24/2.24
ERROR
2.21/2.25
From_
AProVE_
2014/
AProVE12-cyclic-Iterate.jar-obl-9.smt2
11761513
is
MAYBE
1.65/1.54
YES
1.99/2.00
ERROR
1.89/1.89
From_
AProVE_
2014/
PastaA10.jar-obl-8.smt2
11761514
YES
0.50/0.47
YES
2.99/2.99
ERROR
1.09/1.10
From_
AProVE_
2014/
NO_
02.jar-obl-8.smt2
11761515
i
MAYBE
0.06/0.06
NO
1.04/1.04
NO
0.02/0.02
From_
AProVE_
2014/
CountMetaListRec.jar-obl-9.smt2
11761516
is
MAYBE
1.76/1.65
MAYBE
30.79/30.93
NO
2.00/2.00
From_
AProVE_
2014/
DivTernary2.jar-obl-9.smt2
11761517
i
MAYBE
2.20/2.08
NO
3.39/3.39
NO
1.20/1.20
From_
AProVE_
2014/
juHashMapCreateContainsKey.jar-obl-11.smt2
11761518
YES
118.28/112.16
YES
15.23/15.24
ERROR
252.20/253.09
From_
AProVE_
2014/
MinusUserDefined.jar-obl-8.smt2
11761519
is
MAYBE
0.84/0.79
YES
1.93/1.93
ERROR
0.39/0.39
From_
AProVE_
2014/
juLinkedListCreateRemoveFirstOccurrence.jar-obl-16.smt2
11761520
is
timeout (wallclock)
YES
127.13/127.15
ERROR
138.23/137.56
From_
AProVE_
2014/
MultiLasso.jar-obl-8.smt2
11761521
is
MAYBE
2.70/2.54
MAYBE
50.96/52.48
NO
0.10/0.11
From_
AProVE_
2014/
PastaC1.jar-obl-8.smt2
11761522
YES
3.08/2.88
YES
1.35/1.36
ERROR
1.88/1.88
From_
AProVE_
2014/
juLinkedListCreateRemoveRange.jar-obl-14.smt2
11761523
is
timeout (wallclock)
YES
35.51/35.52
ERROR
42.92/42.84
From_
AProVE_
2014/
FactSLR.jar-obl-8.smt2
11761524
is
MAYBE
0.67/0.62
YES
1.53/1.53
ERROR
0.68/0.68
From_
AProVE_
2014/
Et6.jar-obl-8.smt2
11761525
YES
1.62/1.54
YES
2.98/2.98
ERROR
3.23/3.21
From_
AProVE_
2014/
trueDiv_
rec.jar-obl-8.smt2
11761526
i
MAYBE
0.45/0.42
NO
1.35/1.35
NO
0.17/0.18
From_
AProVE_
2014/
NO_
20.jar-obl-8.smt2
11761527
i
MAYBE
0.07/0.07
NO
1.03/1.04
NO
0.02/0.02
From_
AProVE_
2014/
Sudoku.jar-obl-14.smt2
11761528
YES
79.17/74.28
YES
19.55/19.56
ERROR
4.66/4.60
From_
AProVE_
2014/
Log.jar-obl-8.smt2
11761529
is
MAYBE
1.60/1.50
YES
4.62/5.41
ERROR
0.59/0.60
From_
AProVE_
2014/
Main.jar-obl-11.smt2
11761530
is
timeout (wallclock)
YES
81.13/81.15
MAYBE
253.80/252.85
From_
AProVE_
2014/
Test8.jar-obl-12.smt2
11761531
is
MAYBE
1.46/1.60
YES
2.37/2.37
ERROR
0.29/0.29
From_
AProVE_
2014/
Carre.jar-obl-9.smt2
11761532
YES
14.59/13.65
YES
3.33/3.33
ERROR
16.42/16.41
From_
AProVE_
2014/
juHashMapCreate.jar-obl-10.smt2
11761533
YES
94.03/88.86
YES
11.60/11.60
ERROR
14.95/14.88
From_
AProVE_
2014/
ListReverseCyclicList.jar-obl-10.smt2
11761534
YES
3.91/3.72
YES
3.02/3.03
ERROR
3.52/3.52
From_
AProVE_
2014/
IntRTA.jar-obl-8.smt2
11761535
YES
0.69/0.66
YES
1.14/1.15
ERROR
0.65/0.66
From_
AProVE_
2014/
even_
rec.jar-obl-8.smt2
11761536
i
MAYBE
0.46/0.51
NO
1.14/1.14
NO
0.04/0.04
From_
AProVE_
2014/
alternDiv_
rec.jar-obl-8.smt2
11761537
i
MAYBE
0.64/0.60
NO
1.50/1.50
NO
0.12/0.13
From_
AProVE_
2014/
ex05_
rec.jar-obl-8.smt2
11761538
i
MAYBE
0.28/0.27
NO
1.12/1.12
NO
0.03/0.04
From_
AProVE_
2014/
EqUserDefRec.jar-obl-8.smt2
11761539
YES
0.13/0.13
YES
1.03/1.03
ERROR
0.12/0.12
From_
AProVE_
2014/
GCD2.jar-obl-8.smt2
11761540
YES
0.69/0.65
YES
1.88/1.88
ERROR
6.26/6.26
From_
AProVE_
2014/
PastaB12.jar-obl-8.smt2
11761541
YES
0.29/0.27
YES
1.21/1.21
ERROR
0.12/0.12
From_
AProVE_
2014/
juHashMapCreateContainsValue.jar-obl-11.smt2
11761542
YES
238.61/225.36
YES
23.65/23.65
ERROR
31.72/31.69
From_
AProVE_
2014/
AProVEMath.jar-obl-8.smt2
11761543
YES
1.22/1.43
YES
1.99/1.99
ERROR
1.27/1.27
From_
AProVE_
2014/
Choose.jar-obl-8.smt2
11761544
is
MAYBE
0.31/0.29
NO
9.12/9.16
ERROR
0.20/0.20
From_
AProVE_
2014/
Alternate.jar-obl-10.smt2
11761545
is
timeout (wallclock)
YES
22.11/22.12
ERROR
12.77/12.70
From_
AProVE_
2014/
Samefringe.jar-obl-10.smt2
11761546
is
MAYBE
3.40/3.53
MAYBE
77.92/78.01
NO
5.42/5.35
From_
AProVE_
2014/
juHashMapCreateRemove.jar-obl-11.smt2
11761547
YES
115.83/109.58
YES
18.71/18.71
ERROR
135.15/135.10
From_
AProVE_
2014/
IntListSumRec.jar-obl-9.smt2
11761548
YES
0.54/0.51
YES
1.80/1.80
ERROR
1.18/1.19
From_
AProVE_
2014/
juLinkedListCreateGetFirst.jar-obl-8.smt2
11761549
YES
2.55/2.45
YES
3.23/3.23
ERROR
2.70/2.71
From_
AProVE_
2014/
Duplicate.jar-obl-8.smt2
11761550
YES
0.32/0.31
YES
1.04/1.04
ERROR
0.80/0.80
From_
AProVE_
2014/
NO_
05.jar-obl-9.smt2
11761551
u
MAYBE
0.47/0.44
MAYBE
58.09/58.15
ERROR
0.16/0.18
From_
AProVE_
2014/
CountUpRound.jar-obl-8.smt2
11761552
YES
2.15/2.02
YES
1.79/1.79
ERROR
1.60/1.60
From_
AProVE_
2014/
juHashMapCreateIteratorValueLoop.jar-obl-12.smt2
11761553
YES
194.98/183.98
YES
16.01/16.02
ERROR
150.10/150.00
From_
AProVE_
2014/
CyclicPair2.jar-obl-8.smt2
11761554
YES
0.22/0.53
YES
1.02/1.33
ERROR
0.06/0.06
From_
AProVE_
2014/
BinarySearchTree.jar-obl-8.smt2
11761555
YES
0.69/0.65
YES
1.51/1.51
ERROR
1.78/1.77
From_
AProVE_
2014/
juHashMapCreateIsEmpty.jar-obl-10.smt2
11761556
YES
94.48/89.61
YES
10.98/10.99
ERROR
252.16/252.86
From_
AProVE_
2014/
BinTreeChanger.jar-obl-10.smt2
11761557
u
MAYBE
12.33/11.48
MAYBE
63.83/64.00
ERROR
16.80/16.74
From_
AProVE_
2014/
Matrix.jar-obl-16.smt2
11761558
u
MAYBE
254.20/238.89
MAYBE
299.00/299.01
ERROR
252.17/252.38
From_
AProVE_
2014/
AckR.jar-obl-8.smt2
11761559
YES
1.08/1.03
YES
1.77/1.78
ERROR
0.27/0.27
From_
AProVE_
2014/
juLinkedListCreatePop.jar-obl-8.smt2
11761560
YES
2.61/2.52
YES
3.43/3.44
ERROR
2.84/2.84
From_
AProVE_
2014/
RotateTree.jar-obl-10.smt2
11761561
YES
5.14/4.85
YES
4.80/4.80
ERROR
7.34/7.28
From_
AProVE_
2014/
ChooseLife.jar-obl-8.smt2
11761562
is
MAYBE
0.41/0.39
MAYBE
18.05/18.26
NO
0.05/0.05
From_
AProVE_
2014/
PastaB3.jar-obl-8.smt2
11761563
YES
0.07/0.07
YES
1.03/1.04
ERROR
0.61/0.62
From_
AProVE_
2014/
Test6.jar-obl-13.smt2
11761564
u
MAYBE
315.43/297.87
MAYBE
298.98/299.01
ERROR
216.01/215.51
From_
AProVE_
2014/
Velroyen08-complxStruc.jar-obl-8.smt2
11761565
u
MAYBE
1.75/1.64
MAYBE
71.36/71.92
ERROR
2.45/2.44
From_
AProVE_
2014/
juLinkedListCreateGet.jar-obl-10.smt2
11761566
YES
10.25/10.00
YES
3.97/3.97
ERROR
3.40/3.39
From_
AProVE_
2014/
NO_
10.jar-obl-8.smt2
11761567
i
MAYBE
0.35/0.33
NO
1.17/1.17
NO
0.03/0.03
From_
AProVE_
2014/
Velroyen08-moduloUp.jar-obl-8.smt2
11761568
is
MAYBE
1.09/1.02
NO
9.60/9.63
ERROR
0.79/0.80
From_
AProVE_
2014/
LoopingNonterm.jar-obl-8.smt2
11761569
i
MAYBE
0.49/0.47
NO
1.31/1.31
NO
0.22/0.22
From_
AProVE_
2014/
CAppE.jar-obl-9.smt2
11761570
YES
0.39/0.37
YES
1.38/1.38
ERROR
0.09/0.09
From_
AProVE_
2014/
Velroyen08-cousot.jar-obl-8.smt2
11761571
i
MAYBE
0.52/0.53
NO
1.36/1.36
NO
0.94/0.94
From_
AProVE_
2014/
PastaA8.jar-obl-8.smt2
11761572
YES
0.30/0.29
YES
1.02/1.03
ERROR
0.55/0.55
From_
AProVE_
2014/
BubbleSortR.jar-obl-10.smt2
11761573
YES
38.24/35.85
YES
4.89/4.89
ERROR
3.72/3.71
From_
AProVE_
2014/
sumGeneric_
rec.jar-obl-8.smt2
11761574
i
MAYBE
0.44/0.42
NO
1.32/1.34
NO
0.05/0.05
From_
AProVE_
2014/
GCD5.jar-obl-8.smt2
11761575
is
YES
0.51/0.49
MAYBE
17.96/19.13
ERROR
0.24/0.25
From_
AProVE_
2014/
Factorial.jar-obl-8.smt2
11761576
YES
0.09/0.10
YES
1.01/1.02
ERROR
0.04/0.04
From_
AProVE_
2014/
complxStruc_
rec.jar-obl-8.smt2
11761577
u
MAYBE
22.48/20.97
MAYBE
285.52/288.50
ERROR
2.36/2.35
From_
AProVE_
2014/
PastaB15.jar-obl-8.smt2
11761578
YES
0.51/0.52
YES
1.58/1.58
ERROR
1.11/1.11
From_
AProVE_
2014/
LogAG.jar-obl-8.smt2
11761579
is
MAYBE
2.48/2.32
YES
1.35/1.35
ERROR
0.64/0.64
From_
AProVE_
2014/
Infix2Postfix.jar-obl-11.smt2
11761580
YES
73.24/69.13
YES
12.73/12.73
ERROR
20.57/20.38
From_
AProVE_
2014/
ListDuplicate.jar-obl-9.smt2
11761581
YES
0.74/0.70
YES
1.98/1.99
ERROR
1.24/1.24
From_
AProVE_
2014/
juLinkedListCreatePeek.jar-obl-8.smt2
11761582
YES
2.01/1.94
YES
2.65/2.66
ERROR
2.68/2.68
From_
AProVE_
2014/
PastaB4.jar-obl-8.smt2
11761583
YES
0.07/0.07
YES
1.03/1.04
ERROR
0.03/0.03
From_
AProVE_
2014/
McCarthyIterative.jar-obl-8.smt2
11761584
is
MAYBE
0.55/0.52
YES
1.29/1.30
ERROR
0.33/0.33
From_
AProVE_
2014/
Velroyen08-alternKonv.jar-obl-8.smt2
11761585
i
MAYBE
0.74/0.70
NO
2.60/2.60
NO
1.36/1.36
From_
AProVE_
2014/
Velroyen08-complInterv3.jar-obl-8.smt2
11761586
i
MAYBE
0.40/0.39
NO
1.33/1.33
NO
0.08/0.08
From_
AProVE_
2014/
Continue.jar-obl-8.smt2
11761587
i
MAYBE
0.07/0.07
NO
1.04/1.04
NO
0.02/0.02
From_
AProVE_
2014/
DuplicateNodes.jar-obl-9.smt2
11761588
YES
2.58/2.48
YES
4.37/4.42
ERROR
1.54/1.50
From_
AProVE_
2014/
Convert.jar-obl-9.smt2
11761589
i
MAYBE
1.15/1.09
NO
2.20/2.20
NO
0.27/0.27
From_
AProVE_
2014/
whilePart_
rec.jar-obl-8.smt2
11761590
i
MAYBE
0.46/0.43
NO
1.38/1.38
NO
0.08/0.08
From_
AProVE_
2014/
PastaC3.jar-obl-8.smt2
11761591
YES
1.08/1.01
YES
1.30/1.30
ERROR
1.19/1.19
From_
AProVE_
2014/
MirrorTree.jar-obl-9.smt2
11761592
YES
2.26/2.14
YES
3.87/3.87
ERROR
1.37/1.34
From_
AProVE_
2014/
juLinkedListCreateSubList.jar-obl-8.smt2
11761593
YES
1.69/1.61
YES
2.26/2.27
ERROR
2.22/2.22
From_
AProVE_
2014/
NO_
00.jar-obl-8.smt2
11761594
i
MAYBE
0.06/0.07
NO
1.03/1.04
NO
0.02/0.03
From_
AProVE_
2014/
Loop1.jar-obl-8.smt2
11761595
YES
0.43/0.41
YES
1.10/1.10
ERROR
0.57/0.57
From_
AProVE_
2014/
NestedLoop.jar-obl-10.smt2
11761596
is
MAYBE
1.14/1.08
YES
3.54/3.54
ERROR
3.06/3.06
From_
AProVE_
2014/
Velroyen08-fib.jar-obl-8.smt2
11761597
is
MAYBE
0.77/0.73
MAYBE
47.34/50.33
NO
0.61/0.62
From_
AProVE_
2014/
Count.jar-obl-10-2.smt2
11761598
i
MAYBE
6.67/6.51
NO
6.41/6.41
NO
10.28/10.21
From_
AProVE_
2014/
AG313.jar-obl-8.smt2
11761599
YES
0.18/0.17
YES
1.05/1.05
ERROR
0.12/0.13
From_
AProVE_
2014/
Velroyen08-plait.jar-obl-8.smt2
11761600
u
MAYBE
28.09/27.28
MAYBE
298.97/299.01
ERROR
2.58/2.57
From_
AProVE_
2014/
Et4.jar-obl-8.smt2
11761601
is
MAYBE
1.15/1.10
YES
2.59/2.59
ERROR
1.39/1.38
From_
AProVE_
2014/
AProVEMathRecursive.jar-obl-8.smt2
11761602
YES
6.32/5.90
YES
3.47/3.54
ERROR
1.59/1.58
From_
AProVE_
2014/
Exc4.jar-obl-8.smt2
11761603
is
MAYBE
0.31/0.29
MAYBE
21.13/22.06
NO
0.12/0.12
From_
AProVE_
2014/
KnapsackDP.jar-obl-11.smt2
11761604
u
MAYBE
12.70/11.88
MAYBE
298.98/299.01
ERROR
3.37/3.35
From_
AProVE_
2014/
Norm.jar-obl-9.smt2
11761605
i
MAYBE
37.53/35.18
NO
18.85/18.85
NO
21.06/20.98
From_
AProVE_
2014/
PastaA1.jar-obl-8.smt2
11761606
YES
2.08/2.03
YES
1.36/1.37
ERROR
0.59/0.59
From_
AProVE_
2014/
Velroyen08-whileIncrPart.jar-obl-8.smt2
11761607
i
MAYBE
0.42/0.40
NO
1.41/1.41
NO
0.20/0.20
From_
AProVE_
2014/
juLinkedListCreateIsEmpty.jar-obl-8.smt2
11761608
YES
1.74/1.67
YES
2.26/2.26
ERROR
2.21/2.21
From_
AProVE_
2014/
HanR.jar-obl-8.smt2
11761609
YES
0.52/0.50
YES
1.33/1.33
ERROR
0.06/0.06
From_
AProVE_
2014/
NO_
22.jar-obl-8.smt2
11761610
is
MAYBE
0.36/0.34
MAYBE
24.51/24.84
NO
0.24/0.24
From_
AProVE_
2014/
alternDivWidening_
rec.jar-obl-8.smt2
11761611
i
MAYBE
1.11/1.05
NO
5.26/5.26
NO
0.70/0.70
From_
AProVE_
2014/
Velroyen08-trueDiv.jar-obl-8.smt2
11761612
i
MAYBE
0.43/0.41
NO
1.34/1.34
NO
0.17/0.18
From_
AProVE_
2014/
juLinkedListCreateDescendingIteratorLoop.jar-obl-13.smt2
11761613
YES
90.88/85.42
YES
11.65/11.65
ERROR
12.84/12.85
From_
AProVE_
2014/
ex02_
rec.jar-obl-8.smt2
11761614
i
MAYBE
0.48/0.47
NO
1.71/1.71
NO
0.14/0.14
From_
AProVE_
2014/
juLinkedListCreateClear.jar-obl-9.smt2
11761615
YES
3.18/3.01
YES
2.84/2.84
ERROR
4.27/4.27
From_
AProVE_
2014/
Avg.jar-obl-8.smt2
11761616
is
MAYBE
0.73/0.69
YES
1.21/1.21
ERROR
0.14/0.14
From_
AProVE_
2014/
Exc3.jar-obl-8.smt2
11761617
YES
0.43/0.41
YES
1.18/1.19
ERROR
0.12/0.12
From_
AProVE_
2014/
Sharing.jar-obl-8.smt2
11761618
YES
0.14/0.14
YES
1.00/1.00
ERROR
0.04/0.05
From_
AProVE_
2014/
TestJulia7.jar-obl-8.smt2
11761619
is
MAYBE
0.28/0.27
MAYBE
14.81/14.97
NO
0.04/0.04
From_
AProVE_
2014/
DivMinus.jar-obl-11.smt2
11761620
is
MAYBE
31.10/29.25
MAYBE
299.64/299.00
NO
18.25/18.21
From_
AProVE_
2014/
costa09-example_
1.jar-obl-10.smt2
11761621
YES
1.31/1.23
YES
2.13/2.13
ERROR
0.47/0.48
From_
AProVE_
2014/
juLinkedListCreateContains.jar-obl-16.smt2
11761622
is
timeout (wallclock)
YES
57.34/57.35
ERROR
104.66/104.22
From_
AProVE_
2014/
Test3.jar-obl-10.smt2
11761623
is
MAYBE
4.07/3.86
YES
7.31/7.32
ERROR
2.56/2.53
From_
AProVE_
2014/
AlternatingGrowReduceRec2.jar-obl-9.smt2
11761624
u
MAYBE
0.99/0.93
MAYBE
36.73/38.09
ERROR
0.29/0.29
From_
AProVE_
2014/
juLinkedListCreateAddAllAt.jar-obl-17.smt2
11761625
u
MAYBE
73.30/71.78
MAYBE
298.98/299.00
ERROR
202.15/201.68
From_
AProVE_
2014/
narrowing_
rec.jar-obl-8.smt2
11761626
u
MAYBE
314.36/298.07
MAYBE
299.00/299.01
ERROR
2.77/2.76
From_
AProVE_
2014/
TriTas.jar-obl-12.smt2
11761627
is
MAYBE
17.67/16.60
MAYBE
299.04/299.00
NO
252.57/256.97
From_
AProVE_
2014/
Velroyen08-flip2.jar-obl-8.smt2
11761628
is
MAYBE
0.87/0.82
NO
2.10/2.10
ERROR
0.63/0.63
From_
AProVE_
2014/
MainGet.jar-obl-10.smt2
11761629
is
MAYBE
2.06/1.94
MAYBE
57.20/57.36
NO
3.52/3.50
From_
AProVE_
2014/
ClassAnalysisRec.jar-obl-8.smt2
11761630
YES
0.20/0.19
YES
1.25/1.25
ERROR
0.06/0.08
From_
AProVE_
2014/
Velroyen08-lcm.jar-obl-10.smt2
11761631
i
MAYBE
1.93/1.83
NO
3.40/3.41
NO
36.42/36.41
From_
AProVE_
2014/
Gopher.jar-obl-10.smt2
11761632
YES
4.68/4.40
YES
4.55/4.55
ERROR
18.88/18.82
From_
AProVE_
2014/
juLinkedListCreateElement.jar-obl-8.smt2
11761633
YES
2.00/1.93
YES
2.69/2.69
ERROR
2.68/2.68
From_
AProVE_
2014/
Velroyen08-sunset.jar-obl-8.smt2
11761634
is
MAYBE
0.79/0.74
MAYBE
98.52/99.22
NO
0.27/0.28
From_
AProVE_
2014/
Velroyen08-upAndDown.jar-obl-8.smt2
11761635
u
MAYBE
1.27/1.20
MAYBE
92.12/94.61
ERROR
0.22/0.22
From_
AProVE_
2014/
upAndDown_
rec.jar-obl-8.smt2
11761636
u
MAYBE
1.75/1.64
MAYBE
118.69/118.85
ERROR
0.27/0.27
From_
AProVE_
2014/
PastaA6.jar-obl-8.smt2
11761637
is
MAYBE
0.54/0.51
YES
1.10/1.11
ERROR
0.11/0.12
From_
AProVE_
2014/
PastaC2.jar-obl-8.smt2
11761638
YES
2.63/2.46
YES
1.37/1.37
ERROR
0.08/0.09
From_
AProVE_
2014/
TwoWay.jar-obl-8.smt2
11761639
YES
0.18/0.18
YES
1.02/1.02
ERROR
0.04/0.04
From_
AProVE_
2014/
NO_
01.jar-obl-8.smt2
11761640
i
MAYBE
0.06/0.07
NO
1.03/1.03
NO
0.02/0.02
From_
AProVE_
2014/
juLinkedListCreateRemoveElement.jar-obl-16.smt2
11761641
is
timeout (wallclock)
YES
125.64/126.31
ERROR
137.96/137.32
From_
AProVE_
2014/
Velroyen08-alternDivWidening.jar-obl-8.smt2
11761642
i
MAYBE
0.91/0.85
NO
4.43/4.43
NO
0.22/0.22
From_
AProVE_
2014/
Et5.jar-obl-8.smt2
11761643
YES
1.70/1.63
YES
2.99/2.99
ERROR
2.52/2.51
From_
AProVE_
2014/
ListReversePanhandleList.jar-obl-11.smt2
11761644
YES
4.70/4.76
YES
3.74/3.75
ERROR
6.65/6.64
From_
AProVE_
2014/
ex03_
rec.jar-obl-8.smt2
11761645
i
MAYBE
0.65/0.61
NO
1.71/1.71
NO
0.15/0.15
From_
AProVE_
2014/
TypeSwitch.jar-obl-8.smt2
11761646
i
MAYBE
1.02/0.96
NO
1.92/1.92
NO
0.48/0.48
From_
AProVE_
2014/
Shuffle.jar-obl-10.smt2
11761647
is
MAYBE
1.20/1.14
MAYBE
29.29/29.48
NO
1.15/1.15
From_
AProVE_
2014/
Exc5.jar-obl-8.smt2
11761648
YES
0.39/0.37
YES
1.19/1.19
ERROR
0.10/0.10
From_
AProVE_
2014/
TermCreateCollect.jar-obl-9.smt2
11761649
YES
4.40/4.13
YES
3.13/3.14
ERROR
2.16/2.16
From_
AProVE_
2014/
RandomHard.jar-obl-10.smt2
11761650
is
MAYBE
203.56/143.99
MAYBE
298.94/299.00
NO
60.87/60.85
From_
AProVE_
2014/
Diff.jar-obl-8.smt2
11761651
YES
14.27/13.54
YES
3.73/3.74
ERROR
0.58/0.57
From_
AProVE_
2014/
BTreeR.jar-obl-9.smt2
11761652
YES
3.07/2.89
YES
3.37/3.37
ERROR
1.49/1.48
From_
AProVE_
2014/
Kernel68.jar-obl-9.smt2
11761653
YES
39.95/37.99
YES
16.50/16.50
ERROR
4.50/4.48
From_
AProVE_
2014/
Et6-rec.jar-obl-8.smt2
11761654
YES
1.50/1.43
YES
2.79/2.79
ERROR
2.87/2.86
From_
AProVE_
2014/
juHashMapCreateSize.jar-obl-10.smt2
11761655
YES
93.26/88.57
YES
11.68/11.68
ERROR
32.52/32.45
From_
AProVE_
2014/
NO_
23.jar-obl-8.smt2
11761656
i
MAYBE
0.27/0.26
NO
10.80/10.86
NO
0.09/0.10
From_
AProVE_
2014/
Velroyen08-ex08.jar-obl-8.smt2
11761657
u
MAYBE
1.26/1.17
MAYBE
299.04/299.01
ERROR
1.50/1.49
From_
AProVE_
2014/
Exc.jar-obl-8.smt2
11761658
YES
0.41/0.39
YES
1.19/1.21
ERROR
0.26/0.26
From_
AProVE_
2014/
IntListDupRec.jar-obl-9.smt2
11761659
YES
1.15/1.08
YES
2.47/2.47
ERROR
2.10/2.09
From_
AProVE_
2014/
juLinkedListCreateRemoveLastOccurrence.jar-obl-16.smt2
11761660
is
timeout (wallclock)
YES
131.63/131.66
ERROR
136.22/135.60
From_
AProVE_
2014/
Velroyen08-ex09half.jar-obl-8.smt2
11761661
i
MAYBE
4.67/4.39
NO
2.14/2.14
NO
0.72/0.72
From_
AProVE_
2014/
RetValRec.jar-obl-8.smt2
11761662
is
MAYBE
0.44/0.41
YES
10.28/10.29
ERROR
0.05/0.05
From_
AProVE_
2014/
Velroyen08-whileTrue.jar-obl-8.smt2
11761663
i
MAYBE
0.43/0.41
NO
1.29/1.29
NO
0.05/0.05
From_
AProVE_
2014/
Exc2.jar-obl-8.smt2
11761664
is
MAYBE
0.31/0.29
MAYBE
20.88/21.09
NO
0.12/0.13
From_
AProVE_
2014/
Velroyen08-gauss.jar-obl-8.smt2
11761665
i
MAYBE
0.57/0.55
NO
1.88/1.88
NO
1.21/1.21
From_
AProVE_
2014/
TestJulia6.jar-obl-8.smt2
11761666
i
MAYBE
0.06/0.06
NO
1.03/1.04
NO
0.02/0.02
From_
AProVE_
2014/
TerminatorRec01.jar-obl-8.smt2
11761667
YES
1.73/1.62
YES
1.71/1.71
ERROR
0.15/0.15
From_
AProVE_
2014/
Et2.jar-obl-8.smt2
11761668
is
MAYBE
0.93/0.92
YES
2.43/2.43
ERROR
0.64/0.63
From_
AProVE_
2014/
Power.jar-obl-10.smt2
11761669
YES
27.04/25.27
YES
5.33/5.33
ERROR
252.14/252.63
From_
AProVE_
2014/
NO_
06.jar-obl-8.smt2
11761670
i
MAYBE
0.07/0.07
NO
1.04/1.04
NO
0.02/0.02
From_
AProVE_
2014/
DivMinus2.jar-obl-8.smt2
11761671
YES
7.86/7.36
YES
5.05/5.47
ERROR
0.24/0.24
From_
AProVE_
2014/
Nested.jar-obl-8.smt2
11761672
YES
2.23/2.09
YES
1.42/1.44
ERROR
0.08/0.08
From_
AProVE_
2014/
Velroyen08-whileBreak.jar-obl-8.smt2
11761673
i
MAYBE
6.77/6.78
NO
2.18/2.18
NO
1.32/1.32
From_
AProVE_
2014/
PastaC5.jar-obl-8.smt2
11761674
YES
0.47/0.96
YES
1.24/1.24
ERROR
2.28/2.28
From_
AProVE_
2014/
Velroyen08-marbie2.jar-obl-8.smt2
11761675
i
MAYBE
0.42/0.40
NO
1.29/1.29
NO
0.05/0.05
From_
AProVE_
2014/
SharingAnalysis.jar-obl-9.smt2
11761676
YES
0.78/0.73
YES
1.55/1.55
ERROR
1.17/1.17
From_
AProVE_
2014/
Test1.jar-obl-8.smt2
11761677
is
MAYBE
2.03/1.92
YES
2.46/2.46
ERROR
2.61/2.60
From_
AProVE_
2014/
LogIterative.jar-obl-8.smt2
11761678
YES
0.54/0.52
YES
1.25/1.26
ERROR
1.35/1.36
From_
AProVE_
2014/
Test10.jar-obl-9.smt2
11761679
YES
1.76/1.64
YES
1.85/1.85
ERROR
0.26/0.26
From_
AProVE_
2014/
FactSum.jar-obl-9.smt2
11761680
YES
0.21/0.20
YES
1.24/1.24
ERROR
0.06/0.08
From_
AProVE_
2014/
Test13Loops.jar-obl-10.smt2
11761681
i
MAYBE
1.41/1.33
NO
2.60/2.60
NO
2.82/2.82
From_
AProVE_
2014/
juLinkedListCreateRemoveFirst.jar-obl-8.smt2
11761682
YES
2.58/2.49
YES
3.44/3.44
ERROR
2.84/2.84
From_
AProVE_
2014/
Velroyen08-whileNested.jar-obl-8.smt2
11761683
i
MAYBE
0.49/0.46
NO
1.66/1.66
NO
0.19/0.19
From_
AProVE_
2014/
Kernel88.jar-obl-9.smt2
11761684
YES
9.98/9.53
YES
2.33/2.34
ERROR
3.50/3.49
From_
AProVE_
2014/
Velroyen08-narrowKonv.jar-obl-8.smt2
11761685
u
MAYBE
0.59/0.56
MAYBE
125.34/125.51
ERROR
0.69/0.69
From_
AProVE_
2014/
DuplicateTreePath.jar-obl-9.smt2
11761686
YES
7.71/7.25
YES
6.07/6.08
ERROR
6.02/5.95
From_
AProVE_
2014/
ListContentTail.jar-obl-10.smt2
11761687
YES
3.05/2.85
YES
2.67/2.67
ERROR
2.39/2.38
From_
AProVE_
2014/
Velroyen08-convLower.jar-obl-8.smt2
11761688
i
MAYBE
0.43/0.41
NO
1.67/1.68
NO
0.15/0.15
From_
AProVE_
2014/
Mod.jar-obl-8.smt2
11761689
YES
4.63/4.33
YES
4.52/4.53
ERROR
0.22/0.22
From_
AProVE_
2014/
NO_
24.jar-obl-8.smt2
11761690
is
MAYBE
0.41/0.39
MAYBE
20.47/23.05
NO
0.04/0.04
From_
AProVE_
2014/
Init.jar-obl-8.smt2
11761691
i
MAYBE
0.07/0.07
NO
1.04/1.05
NO
0.02/0.03
From_
AProVE_
2014/
LinkedList.jar-obl-10.smt2
11761692
is
MAYBE
0.80/0.76
MAYBE
29.40/29.99
NO
0.81/0.81
From_
AProVE_
2014/
Velroyen08-upAndDownIneq.jar-obl-8.smt2
11761693
u
MAYBE
1.22/1.14
MAYBE
92.93/93.07
ERROR
0.21/0.21
From_
AProVE_
2014/
juLinkedListCreateAdd.jar-obl-8.smt2
11761694
YES
1.78/1.70
YES
2.21/2.21
ERROR
2.21/2.21
From_
AProVE_
2014/
Round3.jar-obl-8.smt2
11761695
u
MAYBE
1.13/1.06
MAYBE
21.76/21.85
ERROR
0.58/0.59
From_
AProVE_
2014/
PastaA7.jar-obl-8.smt2
11761696
YES
0.40/0.40
YES
1.08/1.08
ERROR
0.57/0.58
From_
AProVE_
2014/
TermsCreateMatch.jar-obl-9.smt2
11761697
YES
19.50/18.30
YES
5.73/5.74
ERROR
7.34/7.32
From_
AProVE_
2014/
Velroyen08-complInterv.jar-obl-8.smt2
11761698
is
MAYBE
0.37/0.36
MAYBE
16.50/16.63
NO
0.13/0.14
From_
AProVE_
2014/
DivMinus.jar-obl-8.smt2
11761699
YES
0.24/0.23
YES
1.08/1.08
ERROR
0.14/0.14
From_
AProVE_
2014/
Velroyen08-ex06.jar-obl-8.smt2
11761700
i
MAYBE
2.11/1.98
NO
3.10/3.10
NO
0.35/0.35
From_
AProVE_
2014/
Velroyen08-mirrorInterv.jar-obl-8.smt2
11761701
i
MAYBE
0.99/0.93
NO
3.92/3.92
NO
0.52/0.52
From_
AProVE_
2014/
GCD3.jar-obl-8.smt2
11761702
YES
2.71/2.88
YES
1.37/1.37
ERROR
0.91/0.91
From_
AProVE_
2014/
PastaB13.jar-obl-8.smt2
11761703
YES
5.13/4.82
YES
5.68/5.70
ERROR
1.16/1.16
From_
AProVE_
2014/
Velroyen08-alternDiv.jar-obl-8.smt2
11761704
i
MAYBE
0.51/0.49
NO
1.48/1.48
NO
0.13/0.14
From_
AProVE_
2014/
NonPeriodicNonterm2.jar-obl-8.smt2
11761705
is
MAYBE
0.64/0.60
MAYBE
53.98/54.09
NO
1.34/1.34
From_
AProVE_
2014/
Test7.jar-obl-11.smt2
11761706
is
MAYBE
1.30/1.23
MAYBE
41.29/49.04
NO
2.19/2.23
From_
AProVE_
2014/
juLinkedListCreatePush.jar-obl-8.smt2
11761707
YES
1.74/1.67
YES
2.28/2.30
ERROR
2.22/2.24
From_
AProVE_
2014/
Et1-rec.jar-obl-8.smt2
11761708
is
MAYBE
0.60/0.57
YES
1.38/1.38
ERROR
0.30/0.31
From_
AProVE_
2014/
AProVE12-cyclic-Length.jar-obl-9.smt2
11761709
is
MAYBE
1.12/1.04
YES
1.54/1.56
ERROR
0.24/0.25
From_
AProVE_
2014/
LogRecursive.jar-obl-8.smt2
11761710
YES
1.30/1.23
YES
2.06/2.09
ERROR
1.43/1.44
From_
AProVE_
2014/
juLinkedListCreateRemove.jar-obl-10.smt2
11761711
YES
28.60/27.49
YES
20.78/20.78
ERROR
10.67/10.61
From_
AProVE_
2014/
CyclicAnalysisRec.jar-obl-9.smt2
11761712
YES
1.70/1.61
YES
3.55/3.57
ERROR
0.81/0.81
From_
AProVE_
2014/
ex04_
rec.jar-obl-8.smt2
11761713
i
MAYBE
0.35/0.34
NO
1.16/1.20
NO
0.04/0.04
From_
AProVE_
2014/
FlattenRTA.jar-obl-10.smt2
11761714
i
MAYBE
5.48/5.56
NO
4.14/4.14
NO
6.88/6.80
From_
AProVE_
2014/
Test12.jar-obl-8.smt2
11761715
is
MAYBE
0.95/0.89
YES
2.47/2.48
ERROR
1.69/1.68
From_
AProVE_
2014/
sum_
rec.jar-obl-8.smt2
11761716
i
MAYBE
0.29/0.30
NO
1.19/1.19
NO
1.15/1.15
From_
AProVE_
2014/
PastaB2.jar-obl-8.smt2
11761717
YES
0.31/0.30
YES
1.03/1.03
ERROR
0.55/0.55
From_
AProVE_
2014/
Velroyen08-whileDecr.jar-obl-8.smt2
11761718
YES
0.19/0.18
YES
1.01/1.01
ERROR
0.04/0.04
From_
AProVE_
2014/
Velroyen08-alternDivWide.jar-obl-8.smt2
11761719
i
MAYBE
0.61/0.58
NO
3.35/3.35
NO
0.16/0.16
From_
AProVE_
2014/
Velroyen08-whileNestedOffset.jar-obl-8.smt2
11761720
i
MAYBE
0.51/0.48
NO
1.67/1.67
NO
0.73/0.73
From_
AProVE_
2014/
Flatten.jar-obl-10.smt2
11761721
i
MAYBE
5.13/4.83
NO
3.50/3.50
NO
5.21/5.14
From_
AProVE_
2014/
NO_
11.jar-obl-8.smt2
11761722
is
MAYBE
0.36/0.34
MAYBE
24.58/25.96
NO
0.65/0.65
From_
AProVE_
2014/
juLinkedListCreatePollFirst.jar-obl-8.smt2
11761723
YES
2.55/2.47
YES
3.37/3.37
ERROR
2.70/2.69
From_
AProVE_
2014/
MainCopy.jar-obl-10.smt2
11761724
is
MAYBE
2.81/2.68
MAYBE
118.59/118.74
NO
4.09/4.09
From_
AProVE_
2014/
FlattenTreeListRec.jar-obl-10.smt2
11761725
i
MAYBE
5.07/4.80
NO
3.55/3.57
NO
8.16/8.12
From_
AProVE_
2014/
Nest.jar-obl-8.smt2
11761726
YES
0.38/0.40
YES
1.53/1.53
ERROR
0.10/0.10
From_
AProVE_
2014/
PastaA9.jar-obl-8.smt2
11761727
YES
0.68/0.64
YES
1.06/1.07
ERROR
0.15/0.15
From_
AProVE_
2014/
Sequence.jar-obl-9.smt2
11761728
YES
0.40/0.38
YES
1.23/1.24
ERROR
0.08/0.08
From_
AProVE_
2014/
ex08_
rec.jar-obl-8.smt2
11761729
u
MAYBE
11.43/10.67
MAYBE
298.95/299.01
ERROR
0.43/0.43
From_
AProVE_
2014/
Velroyen08-moduloLower.jar-obl-8.smt2
11761730
i
MAYBE
2.54/2.38
NO
2.64/2.64
NO
136.99/137.00
From_
AProVE_
2014/
BMOG_
CAV_
12_
MarkingGraphVisitor.jar-obl-11.smt2
11761731
is
MAYBE
15.01/14.09
MAYBE
68.68/68.76
NO
1.86/1.84
From_
AProVE_
2014/
Test4.jar-obl-10.smt2
11761732
is
timeout (wallclock)
MAYBE
298.97/299.01
NO
68.77/68.64
From_
AProVE_
2014/
GCD4.jar-obl-8.smt2
11761733
YES
2.69/2.51
YES
1.36/1.37
ERROR
0.91/0.91
From_
AProVE_
2014/
SearchTreeR.jar-obl-9.smt2
11761734
YES
4.57/4.30
YES
3.77/3.78
ERROR
4.90/4.87
From_
AProVE_
2014/
PastaB14.jar-obl-8.smt2
11761735
YES
0.24/0.23
YES
1.46/1.46
ERROR
0.14/0.14
From_
AProVE_
2014/
Test9.jar-obl-20.smt2
11761736
YES
3.34/3.11
YES
5.41/5.41
ERROR
1.20/1.19
From_
AProVE_
2014/
Velroyen08-even.jar-obl-9.smt2
11761737
i
MAYBE
0.63/0.59
NO
1.78/1.78
NO
0.13/0.13
From_
AProVE_
2014/
Velroyen08-ex01.jar-obl-8.smt2
11761738
i
MAYBE
0.39/0.37
NO
1.31/1.31
NO
0.06/0.22
From_
AProVE_
2014/
flip2_
rec.jar-obl-8.smt2
11761739
u
MAYBE
1.04/0.98
MAYBE
34.34/35.93
ERROR
0.61/0.61
From_
AProVE_
2014/
Double.jar-obl-8.smt2
11761740
YES
0.60/0.57
YES
1.27/1.27
ERROR
1.10/1.10
From_
AProVE_
2014/
TerminatorRec04.jar-obl-9.smt2
11761741
i
MAYBE
0.55/0.52
NO
1.33/1.34
NO
0.07/0.07
From_
AProVE_
2014/
juLinkedListCreatePeekLast.jar-obl-8.smt2
11761742
YES
2.14/2.06
YES
2.62/2.62
ERROR
2.68/2.68
From_
AProVE_
2014/
Collatz.jar-obl-8.smt2
11761743
u
MAYBE
4.07/4.32
MAYBE
300.55/299.01
ERROR
1.09/1.09
From_
AProVE_
2014/
ListInt.jar-obl-12.smt2
11761744
is
MAYBE
4.03/3.80
MAYBE
122.32/128.31
NO
2.08/2.07
From_
AProVE_
2014/
StupidArray.jar-obl-8.smt2
11761745
YES
0.05/0.05
YES
1.01/1.01
ERROR
0.55/0.55
From_
AProVE_
2014/
PastaB5.jar-obl-8.smt2
11761746
YES
0.14/0.13
YES
1.16/1.16
ERROR
0.60/0.61
From_
AProVE_
2014/
ListReverseAcyclicList.jar-obl-9.smt2
11761747
YES
0.39/0.39
YES
1.30/1.30
ERROR
0.12/0.12
From_
AProVE_
2014/
DivWithoutMinus.jar-obl-8.smt2
11761748
YES
0.38/0.36
YES
1.56/1.58
ERROR
0.52/0.52
From_
AProVE_
2014/
FibSLR.jar-obl-8.smt2
11761749
is
MAYBE
0.67/0.65
YES
2.05/2.07
ERROR
0.71/0.72
From_
AProVE_
2014/
juLinkedListCreateIteratorLoop.jar-obl-10.smt2
11761750
YES
13.69/13.15
YES
14.96/14.96
ERROR
23.31/23.27
From_
AProVE_
2014/
Velroyen08-complInterv2.jar-obl-8.smt2
11761751
i
MAYBE
0.44/0.41
NO
1.40/1.40
NO
0.15/0.16
From_
AProVE_
2014/
cousot_
rec.jar-obl-8.smt2
11761752
i
MAYBE
21.11/19.79
NO
1.95/1.95
NO
1.05/1.05
From_
AProVE_
2014/
TerminatorRec03.jar-obl-8.smt2
11761753
i
MAYBE
0.92/0.88
NO
1.41/1.41
NO
0.12/0.18
From_
AProVE_
2014/
Fractale1.jar-obl-8.smt2
11761754
YES
26.00/24.43
YES
7.51/7.51
ERROR
7.63/7.61
From_
AProVE_
2014/
alternKonv_
rec.jar-obl-8.smt2
11761755
i
MAYBE
0.73/0.69
NO
2.63/2.63
NO
1.39/1.38
From_
AProVE_
2014/
juLinkedListCreateSet.jar-obl-10.smt2
11761756
YES
11.73/11.05
YES
4.38/4.38
ERROR
4.02/4.02
From_
AProVE_
2014/
PastaC7.jar-obl-8.smt2
11761757
YES
0.26/0.25
YES
1.10/1.11
ERROR
0.56/0.57
From_
AProVE_
2014/
MysteriousProgram.jar-obl-12.smt2
11761758
u
MAYBE
95.52/89.98
MAYBE
299.00/299.01
ERROR
10.76/10.71
From_
AProVE_
2014/
Recursions.jar-obl-13.smt2
11761759
YES
3.19/3.00
YES
3.01/3.01
ERROR
0.90/0.94
From_
AProVE_
2014/
NO_
04.jar-obl-8.smt2
11761760
i
MAYBE
0.07/0.10
NO
1.04/1.04
NO
0.02/0.03
From_
AProVE_
2014/
ex01_
rec.jar-obl-8.smt2
11761761
i
MAYBE
0.44/0.42
NO
1.13/1.13
NO
0.04/0.04
From_
AProVE_
2014/
Velroyen08-whileSum.jar-obl-8.smt2
11761762
i
MAYBE
8.11/7.65
NO
4.22/4.23
NO
1.98/1.98
From_
AProVE_
2014/
Velroyen08-whilePart.jar-obl-8.smt2
11761763
i
MAYBE
0.44/0.41
NO
1.40/1.41
NO
0.08/0.08
From_
AProVE_
2014/
juLinkedListCreatePollLast.jar-obl-8.smt2
11761764
YES
4.67/4.74
YES
5.09/5.09
ERROR
2.79/2.79
From_
AProVE_
2014/
Velroyen08-whileSingle.jar-obl-8.smt2
11761765
i
MAYBE
0.65/0.61
NO
1.72/1.76
NO
0.13/0.13
From_
AProVE_
2014/
Et4-rec.jar-obl-8.smt2
11761766
is
MAYBE
0.91/0.86
YES
2.21/2.21
ERROR
1.07/1.06
From_
AProVE_
2014/
PastaB18.jar-obl-8.smt2
11761767
YES
0.39/0.37
YES
1.99/2.02
ERROR
0.66/0.66
From_
AProVE_
2014/
juHashMapCreateClear.jar-obl-11.smt2
11761768
YES
96.52/92.92
YES
11.92/11.93
ERROR
15.68/15.62
From_
AProVE_
2014/
FlattenTree.jar-obl-9.smt2
11761769
i
MAYBE
2.88/3.08
NO
3.67/3.67
NO
4.69/4.62
From_
AProVE_
2014/
juLinkedListCreateEquals.jar-obl-13.smt2
11761770
is
timeout (wallclock)
YES
63.96/63.96
ERROR
144.91/144.70
From_
AProVE_
2014/
Queen.jar-obl-10.smt2
11761771
is
MAYBE
3.77/3.53
MAYBE
298.91/299.01
NO
5.83/5.79
From_
AProVE_
2014/
juLinkedListCreateContainsAll.jar-obl-11.smt2
11761772
is
timeout (wallclock)
YES
106.49/106.52
ERROR
253.54/258.15
From_
AProVE_
2014/
PastaA5.jar-obl-8.smt2
11761773
is
MAYBE
0.45/0.43
YES
1.07/1.08
ERROR
0.06/0.07
From_
AProVE_
2014/
GCD.jar-obl-8.smt2
11761774
YES
0.75/0.71
YES
2.20/2.21
ERROR
6.60/6.61
From_
AProVE_
2014/
AlternatingGrowReduceRec.jar-obl-9.smt2
11761775
is
MAYBE
1.13/1.06
YES
6.09/6.11
ERROR
0.23/0.23
From_
AProVE_
2014/
NO_
03.jar-obl-8.smt2
11761776
i
MAYBE
0.48/0.45
NO
1.35/1.36
NO
0.08/0.08
From_
AProVE_
2014/
alternDivWide_
rec.jar-obl-8.smt2
11761777
i
MAYBE
0.85/0.80
NO
1.98/1.98
NO
0.17/0.18
From_
AProVE_
2014/
MergeSort.jar-obl-12.smt2
11761778
YES
57.90/54.49
YES
11.24/11.24
ERROR
7.80/7.78
From_
AProVE_
2014/
CyclicalListDuplicate.jar-obl-9.smt2
11761779
i
MAYBE
2.18/2.12
NO
7.67/7.67
NO
0.57/0.57
From_
AProVE_
2014/
MainMove.jar-obl-11.smt2
11761780
is
MAYBE
66.88/62.99
MAYBE
122.80/122.98
NO
5.10/9.70
From_
AProVE_
2014/
DivTernary.jar-obl-10.smt2
11761781
i
MAYBE
133.84/126.66
NO
160.49/160.50
NO
105.97/105.84
From_
AProVE_
2014/
Velroyen08-collatz.jar-obl-8.smt2
11761782
u
MAYBE
3.99/3.73
MAYBE
300.54/299.00
ERROR
1.09/1.09
From_
AProVE_
2014/
juLinkedListCreateAddLast.jar-obl-8.smt2
11761783
YES
1.70/2.12
YES
2.23/2.23
ERROR
2.21/2.20
From_
AProVE_
2014/
juHashMapCreateIteratorEntryLoop.jar-obl-12.smt2
11761784
YES
185.77/174.88
YES
16.20/16.21
ERROR
149.17/149.08
From_
AProVE_
2014/
mirrorInterv_
rec.jar-obl-8.smt2
11761785
i
MAYBE
1.06/1.00
NO
4.73/4.74
NO
0.65/0.64
From_
AProVE_
2014/
juLinkedListCreateAddFirst.jar-obl-8.smt2
11761786
YES
1.63/1.55
YES
2.24/2.24
ERROR
2.21/2.21
From_
AProVE_
2014/
MirrorMultiTreeRec.jar-obl-9.smt2
11761787
YES
13.90/13.36
YES
4.80/4.81
ERROR
2.31/2.30
From_
AProVE_
2014/
NO_
21.jar-obl-8.smt2
11761788
i
MAYBE
0.07/0.07
NO
1.03/1.04
NO
0.02/0.02
From_
AProVE_
2014/
Velroyen08-factorial.jar-obl-8.smt2
11761789
is
MAYBE
0.86/0.84
MAYBE
53.07/54.59
NO
0.19/0.20
From_
AProVE_
2014/
Break.jar-obl-8.smt2
11761790
YES
0.21/0.21
YES
0.99/1.00
ERROR
0.04/0.10
From_
AProVE_
2014/
Take.jar-obl-8.smt2
11761791
YES
0.67/0.64
YES
1.23/1.23
ERROR
0.65/0.71
From_
AProVE_
2014/
juLinkedListCreateOffer.jar-obl-8.smt2
11761792
YES
1.65/1.59
YES
2.25/2.25
ERROR
2.21/2.21
From_
AProVE_
2014/
juLinkedListCreateAddAll.jar-obl-11.smt2
11761793
u
MAYBE
18.38/17.64
MAYBE
298.94/299.01
ERROR
31.66/31.61
From_
AProVE_
2014/
BinarySearch.jar-obl-9.smt2
11761794
is
timeout (wallclock)
YES
97.96/97.98
ERROR
90.22/90.24
From_
AProVE_
2014/
Kernel93.jar-obl-9.smt2
11761795
is
MAYBE
4.06/3.81
NO
4.24/4.25
ERROR
2.69/2.72
From_
AProVE_
2014/
LeUserDefRec.jar-obl-8.smt2
11761796
YES
0.12/0.12
YES
1.03/1.09
ERROR
0.12/0.13
From_
AProVE_
2014/
Ackermann.jar-obl-8.smt2
11761797
YES
0.50/0.47
YES
1.65/1.79
ERROR
0.23/0.23
From_
AProVE_
2014/
sunset_
rec.jar-obl-8.smt2
11761798
is
MAYBE
0.72/0.68
MAYBE
97.77/97.91
NO
0.27/0.27
From_
AProVE_
2014/
CountMetaList.jar-obl-9.smt2
11761799
is
MAYBE
1.68/1.57
MAYBE
29.59/29.85
NO
1.97/1.96
From_
AProVE_
2014/
RSA.jar-obl-17.smt2
11761800
u
timeout (wallclock)
MAYBE
298.98/299.01
ERROR
38.89/38.78
From_
AProVE_
2014/
MirrorBinTreeRec.jar-obl-9.smt2
11761801
is
timeout (wallclock)
YES
15.37/15.39
ERROR
6.49/6.45
From_
AProVE_
2014/
ClassAnalysis.jar-obl-8.smt2
11761802
YES
0.20/0.23
YES
1.22/1.22
ERROR
0.05/0.06
From_
AProVE_
2014/
whileNested_
rec.jar-obl-9.smt2
11761803
i
MAYBE
0.52/0.49
NO
1.29/1.29
NO
0.08/0.13
From_
AProVE_
2014/
QuicksortRec.jar-obl-9.smt2
11761804
YES
30.03/28.38
YES
10.60/10.63
ERROR
7.28/7.25
From_
AProVE_
2014/
Velroyen08-ex03.jar-obl-8.smt2
11761805
i
MAYBE
0.69/0.64
NO
1.93/1.93
NO
0.15/0.15
From_
AProVE_
2014/
PastaC11.jar-obl-8.smt2
11761806
YES
0.36/0.35
YES
1.61/1.62
ERROR
0.12/0.12
From_
AProVE_
2014/
Et3-rec.jar-obl-8.smt2
11761807
is
MAYBE
0.55/0.52
YES
1.35/1.36
ERROR
0.20/0.20
From_
AProVE_
2014/
PastaB16.jar-obl-8.smt2
11761808
YES
1.44/1.35
YES
1.33/1.34
ERROR
0.16/0.16
From_
AProVE_
2014/
flip_
rec.jar-obl-8.smt2
11761809
is
MAYBE
0.43/0.41
MAYBE
19.81/20.07
NO
0.05/0.07
From_
AProVE_
2014/
costa09-example_
2.jar-obl-8.smt2
11761810
YES
0.56/0.55
YES
1.25/1.26
ERROR
0.65/0.68
From_
AProVE_
2014/
ConvertRec.jar-obl-9.smt2
11761811
i
MAYBE
3.26/3.10
NO
4.88/4.89
NO
1.87/1.87
From_
AProVE_
2014/
PastaB7.jar-obl-8.smt2
11761812
YES
0.36/0.34
YES
1.06/1.07
ERROR
0.59/0.59
From_
AProVE_
2014/
PastaC9.jar-obl-8.smt2
11761813
YES
0.54/0.51
YES
1.65/1.66
ERROR
0.25/0.25
From_
AProVE_
2014/
ex06_
rec.jar-obl-8.smt2
11761814
i
MAYBE
0.32/0.30
NO
1.19/1.20
NO
0.03/0.03
From_
AProVE_
2014/
juLinkedListCreateToArray.jar-obl-9.smt2
11761815
YES
8.47/8.12
YES
3.63/3.83
ERROR
3.90/3.91
From_
AProVE_
2014/
BTree.jar-obl-9.smt2
11761816
YES
2.07/1.97
YES
2.72/2.72
ERROR
1.44/1.44
From_
AProVE_
2014/
Velroyen08-alternatingIncr.jar-obl-8.smt2
11761817
u
MAYBE
2.53/2.37
MAYBE
299.49/299.00
ERROR
1.14/1.13
From_
AProVE_
2014/
MainDelete.jar-obl-10.smt2
11761818
is
MAYBE
5.17/4.92
MAYBE
128.15/128.35
NO
4.29/4.26
From_
AProVE_
2014/
DupTreeRec.jar-obl-9.smt2
11761819
YES
17.09/16.01
YES
4.37/4.37
ERROR
3.09/3.08
From_
AProVE_
2014/
juLinkedListCreateIndexOf.jar-obl-16.smt2
11761820
is
timeout (wallclock)
YES
57.63/57.64
ERROR
107.58/107.12
From_
AProVE_
2014/
MinusBuiltIn.jar-obl-8.smt2
11761821
YES
0.29/0.28
YES
1.03/1.04
ERROR
0.55/0.55
From_
AProVE_
2014/
PastaB11.jar-obl-8.smt2
11761822
is
MAYBE
0.91/0.85
YES
1.68/1.68
ERROR
1.76/1.79
From_
AProVE_
2014/
Domino.jar-obl-27.smt2
11761823
u
timeout (wallclock)
MAYBE
298.96/299.01
ERROR
252.91/253.44
From_
AProVE_
2014/
Velroyen08-ex04.jar-obl-8.smt2
11761824
i
MAYBE
0.43/0.41
NO
1.28/1.29
NO
0.05/0.05
From_
AProVE_
2014/
Binomial.jar-obl-9.smt2
11761825
is
timeout (wallclock)
YES
12.09/12.09
ERROR
4.38/4.35
From_
AProVE_
2014/
RunningPointers.jar-obl-9.smt2
11761826
YES
0.43/0.42
YES
1.43/1.43
ERROR
0.16/0.17
From_
AProVE_
2014/
MainFind.jar-obl-10.smt2
11761827
is
MAYBE
3.21/3.04
MAYBE
118.99/120.20
NO
4.47/4.45
From_
AProVE_
2014/
juLinkedListCreateLastIndexOf.jar-obl-16.smt2
11761828
is
timeout (wallclock)
YES
98.23/98.25
ERROR
126.23/125.69
From_
AProVE_
2014/
Double3.jar-obl-8.smt2
11761829
YES
0.09/0.10
YES
1.01/1.01
ERROR
0.04/0.04
From_
AProVE_
2014/
juLinkedListCreateRemoveLast.jar-obl-8.smt2
11761830
YES
4.60/4.52
YES
4.97/4.97
ERROR
2.79/2.79
From_
AProVE_
2014/
convLower_
rec.jar-obl-8.smt2
11761831
i
MAYBE
0.45/0.42
NO
1.68/1.68
NO
0.14/0.16
From_
AProVE_
2014/
Overflow.jar-obl-8.smt2
11761832
i
YES
0.31/0.31
YES
1.01/1.02
MAYBE
0.04/0.05
From_
AProVE_
2014/
SharingPair.jar-obl-8.smt2
11761833
i
MAYBE
0.58/0.55
NO
18.85/18.89
NO
0.19/0.19
From_
AProVE_
2014/
Velroyen08-middle.jar-obl-8.smt2
11761834
i
MAYBE
0.42/0.40
NO
1.54/1.54
NO
0.78/0.79
From_
AProVE_
2014/
SortCount.jar-obl-10.smt2
11761835
u
MAYBE
3.87/3.68
MAYBE
298.87/299.01
ERROR
4.18/4.16
From_
AProVE_
2014/
Velroyen08-narrowing.jar-obl-8.smt2
11761836
u
MAYBE
188.08/177.07
MAYBE
298.98/299.01
ERROR
2.67/2.66
From_
AProVE_
2014/
Count.jar-obl-10.smt2
11761837
i
MAYBE
2.89/2.73
NO
3.73/3.73
NO
5.73/5.66
From_
AProVE_
2014/
juLinkedListCreateGetLast.jar-obl-8.smt2
11761838
YES
2.05/1.96
YES
2.64/2.67
ERROR
2.68/2.68
From_
AProVE_
2014/
Test5.jar-obl-11.smt2
11761839
is
MAYBE
6.34/6.07
YES
10.29/10.29
ERROR
7.79/7.78
From_
AProVE_
2014/
juLinkedListCreateRemoveAll.jar-obl-11.smt2
11761840
u
MAYBE
174.46/173.18
MAYBE
298.96/299.01
MAYBE
253.30/256.01
From_
AProVE_
2014/
juLinkedListCreateOfferLast.jar-obl-8.smt2
11761841
YES
1.65/1.58
YES
2.20/2.20
ERROR
2.21/2.21
From_
AProVE_
2014/
TreeLeftmostPath.jar-obl-9.smt2
11761842
YES
3.48/3.31
YES
4.84/4.84
ERROR
7.16/7.09
From_
AProVE_
2014/
complInterv2_
rec.jar-obl-8.smt2
11761843
i
MAYBE
0.49/0.47
NO
1.40/1.41
NO
0.09/0.10
From_
AProVE_
2014/
FactSumList.jar-obl-8.smt2
11761844
YES
9.02/8.50
YES
1.80/1.80
ERROR
0.74/0.74
From_
AProVE_
2014/
NO_
13.jar-obl-8.smt2
11761845
is
MAYBE
0.57/0.57
MAYBE
29.04/29.21
NO
1.35/1.36
From_
AProVE_
2014/
costa09-example_
5.jar-obl-8.smt2
11761846
i
MAYBE
0.07/0.09
NO
1.03/1.06
NO
0.02/0.07
From_
AProVE_
2014/
juHashMapCreateGet.jar-obl-11.smt2
11761847
YES
113.67/107.65
YES
15.17/15.18
ERROR
252.24/253.25
From_
AProVE_
2014/
Graph.jar-obl-17.smt2
11761848
u
timeout (wallclock)
MAYBE
296.56/299.01
ERROR
336.71/296.88
441
1035
496