Termination Competition 2020
: C
41216
Job info CSV
benchmark
AProVE
c
UltimateAutomizer2019
default
Ultimate/
4BitCounterPointer_
true-termination.c
11773909
YES
7.01/2.74
timeout (wallclock)
[out]
Ultimate/
Arrays01-EquivalentConstantIndices_
true-termination.c
11773911
YES
7.2/3.01
YES
15.95/6.85
Ultimate/
Arrays02-EquivalentConstantIndices_
false-termination.c
11773920
MAYBE
10.50/4.08
NO
13.18/6.18
Ultimate/
Arrays03-ValueRestictsIndex_
true-termination.c
11773913
YES
10.31/3.68
MAYBE
22.06/8.69
Ultimate/
Bangalore_
true-termination.c
11773908
YES
8.46/3.06
YES
12.88/5.99
Ultimate/
Cairo_
true-termination.c
11773906
YES
7.37/2.65
YES
12.78/6.29
Ultimate/
Collatz_
unknown-termination.c
11773929
timeout (wallclock)
[out]
MAYBE
39.44/16.47
Ultimate/
Division_
false-termination.c
11773902
NO
10.97/4.23
NO
11.07/5.51
Ultimate/
Gothenburg_
true-termination.c
11773915
YES
36.57/14.19
YES
23.86/15.28
Ultimate/
LexIndexValue-Array_
true-termination.c
11773918
MAYBE
10.04/3.66
timeout (wallclock)
[out]
Ultimate/
LexIndexValue-Pointer_
true-termination.c
11773927
MAYBE
4.55/2.04
timeout (wallclock)
[out]
Ultimate/
LICENSE.txt
11773921
ERROR
0.32/0.33
ERROR
8.06/3.25
Ultimate/
Lobnya-Boolean-Reordered_
true-termination.c
11773926
YES
8.53/3.03
YES
15.74/7.14
Ultimate/
Madrid_
false-termination.c
11773904
NO
4.59/2.01
NO
10.83/5.66
Ultimate/
Mysore_
true-termination.c
11773905
YES
10.9/3.79
YES
15.00/8.44
Ultimate/
NonTermination2_
false-termination.c
11773928
NO
14.06/4.51
NO
12.77/6.17
Ultimate/
NonTermination3_
false-termination.c
11773903
MAYBE
4.85/2.03
MAYBE
13.25/6.20
Ultimate/
NonTerminationSimple2_
false-termination.c
11773916
NO
6.35/2.75
NO
12.12/6.30
Ultimate/
NonTerminationSimple3_
false-termination.c
11773901
NO
21.05/4.05
NO
11.54/5.43
Ultimate/
NonTerminationSimple4_
false-termination.c
11773900
NO
7.87/2.85
NO
12.95/6.02
Ultimate/
NonTerminationSimple5_
false-termination.c
11773917
NO
26.60/7.70
NO
14.69/6.60
Ultimate/
NonTerminationSimple6_
false-termination.c
11773923
NO
6.19/2.80
NO
12.10/5.98
Ultimate/
NonTerminationSimple7_
false-termination.c
11773914
NO
5.89/2.41
NO
11.58/5.58
Ultimate/
NonTerminationSimple8_
false-termination.c
11773924
timeout (wallclock)
[out]
NO
12.11/6.05
Ultimate/
NonTerminationSimple9_
false-termination.c
11773910
NO
10.23/3.81
NO
11.57/6.76
Ultimate/
Nyala-2lex_
true-termination.c
11773922
YES
26.10/11.49
YES
15.01/6.80
Ultimate/
Parallel_
true-termination.c
11773912
YES
13.47/4.31
YES
13.08/6.02
Ultimate/
Pure3Phase_
true-termination.c
11773899
timeout (wallclock)
[out]
YES
23.26/12.31
Ultimate/
README.txt
11773897
ERROR
0.31/0.24
ERROR
8.21/3.35
Ultimate/
RecursiveMultiplication_
true-termination.c
11773919
YES
24.01/11.19
YES
17.52/8.62
Ultimate/
RecursiveNonterminating_
false-termination.c
11773907
NO
14.59/5.22
NO
12.48/5.56
Ultimate/
Rotation180_
false-termination.c
11773898
NO
6.94/2.64
NO
11.89/5.56
Ultimate/
Stockholm_
true-termination.c
11773925
YES
9.25/3.42
YES
14.02/7.04
Ultimate/
SyntaxSupportPointer01_
true-termination.c
11773896
YES
7.04/2.63
YES
16.07/7.10
Ultimate/
WhileFalse_
true-termination.c
11773930
YES
3.90/1.78
YES
10.84/5.02
Ultimate/
WhileTrue_
false-termination.c
11773931
NO
3.89/1.82
NO
11.32/5.34
SV-COMP_
Mixed_
Categories/
960521-1_
1_
true-valid-memsafety.c
11774012
MAYBE
12.87/4.68
YES
30.42/12.49
SV-COMP_
Mixed_
Categories/
Addition01_
true-unreach-call_
true-termination.c
11774024
YES
16.46/5.88
YES
28.92/19.19
SV-COMP_
Mixed_
Categories/
afterrec_
2calls_
false-unreach-call.c
11774023
YES
6.75/2.70
YES
13.92/6.57
SV-COMP_
Mixed_
Categories/
BallRajamani-SPIN2000-Fig1_
false-unreach-call.c
11773985
YES
37.40/12.83
YES
21.00/15.85
SV-COMP_
Mixed_
Categories/
bist_
cell_
true-unreach-call_
false-termination.cil.c
11773967
MAYBE
77.73/37.18
NO
54.20/20.08
SV-COMP_
Mixed_
Categories/
bubble_
sort_
linux_
true-unreach-call.c
11773982
MAYBE
3.82/1.75
timeout (wallclock)
[out]
SV-COMP_
Mixed_
Categories/
cdaudio_
simpl1_
false-unreach-call_
true-termination.cil.c
11773951
timeout (wallclock)
[out]
YES
33.68/12.76
SV-COMP_
Mixed_
Categories/
cs_
dekker_
true-unreach-call.c
11774011
MAYBE
7.55/3.35
timeout (wallclock)
[out]
SV-COMP_
Mixed_
Categories/
cs_
fib_
longer_
true-unreach-call.c
11774007
MAYBE
8.93/4.35
timeout (wallclock)
[out]
SV-COMP_
Mixed_
Categories/
cs_
lamport_
true-unreach-call.c
11773971
MAYBE
8.23/3.51
timeout (wallclock)
[out]
SV-COMP_
Mixed_
Categories/
cs_
peterson_
true-unreach-call.c
11773957
MAYBE
7.14/3.06
timeout (wallclock)
[out]
SV-COMP_
Mixed_
Categories/
cs_
stateful_
false-unreach-call.c
11773937
MAYBE
6.63/2.71
timeout (wallclock)
[out]
SV-COMP_
Mixed_
Categories/
cs_
szymanski_
true-unreach-call.c
11774032
MAYBE
7.56/3.15
timeout (wallclock)
[out]
SV-COMP_
Mixed_
Categories/
cs_
time_
var_
mutex_
true-unreach-call.c
11773949
MAYBE
8.24/3.57
timeout (wallclock)
[out]
SV-COMP_
Mixed_
Categories/
data_
structures_
set_
multi_
proc_
false-unreach-call_
ground.c
11773987
YES
169.23/76.50
timeout (wallclock)
[out]
SV-COMP_
Mixed_
Categories/
diskperf_
simpl1_
true-unreach-call_
true-termination.cil.c
11773991
timeout (wallclock)
[out]
YES
28.72/13.07
SV-COMP_
Mixed_
Categories/
dll_
extends_
pointer_
true-valid-memsafety.c
11773972
MAYBE
11.10/4.82
ERROR
16.58/7.63
SV-COMP_
Mixed_
Categories/
dll_
of_
dll_
true-unreach-call.c
11773934
MAYBE
4.36/2.14
timeout (wallclock)
[out]
SV-COMP_
Mixed_
Categories/
elevator_
spec1_
product01_
true-unreach-call.cil.c
11773996
timeout (wallclock)
[out]
timeout (wallclock)
[out]
SV-COMP_
Mixed_
Categories/
email_
spec0_
product05_
true-unreach-call.cil.c
11774003
YES
175.72/82.93
timeout (wallclock)
[out]
SV-COMP_
Mixed_
Categories/
EvenOdd01_
true-unreach-call_
true-termination.c
11773988
YES
18.86/6.55
YES
24.10/14.40
SV-COMP_
Mixed_
Categories/
Fibonacci01_
true-unreach-call.c
11774016
YES
30.38/18.00
timeout (wallclock)
[out]
SV-COMP_
Mixed_
Categories/
fibo_
2calls_
2_
false-unreach-call.c
11774005
YES
7.87/3.19
YES
29.81/7.09
SV-COMP_
Mixed_
Categories/
fibo_
5_
false-unreach-call.c
11773945
YES
27.80/9.23
YES
39.04/20.62
SV-COMP_
Mixed_
Categories/
floppy_
simpl3_
false-unreach-call_
true-termination.cil.c
11774029
timeout (wallclock)
[out]
YES
25.05/9.72
SV-COMP_
Mixed_
Categories/
gcd01_
true-unreach-call_
true-termination.c
11774025
YES
19.22/6.18
YES
23.17/13.48
SV-COMP_
Mixed_
Categories/
id2_
b2_
o3_
true-unreach-call.c
11773958
MAYBE
32.29/11.38
NO
18.32/8.84
SV-COMP_
Mixed_
Categories/
id_
i10_
o10_
false-unreach-call.c
11773977
YES
12.07/4.21
YES
15.84/7.52
SV-COMP_
Mixed_
Categories/
kbfiltr_
simpl1_
true-unreach-call_
true-termination.cil.c
11773942
timeout (wallclock)
[out]
YES
13.87/5.98
SV-COMP_
Mixed_
Categories/
list-ext_
1_
true-valid-memsafety.c
11773960
MAYBE
37.30/15.27
timeout (wallclock)
[out]
SV-COMP_
Mixed_
Categories/
list_
true-unreach-call.c
11773965
MAYBE
11.69/4.40
ERROR
244.40/187.88
SV-COMP_
Mixed_
Categories/
lockfree-3.0_
true-valid-memsafety.c
11774001
MAYBE
10.53/3.95
timeout (wallclock)
[out]
SV-COMP_
Mixed_
Categories/
McCarthy91_
false-unreach-call_
false-termination.c
11774015
timeout (wallclock)
[out]
YES
28.99/12.58
SV-COMP_
Mixed_
Categories/
mem_
slave_
tlm.1_
true-unreach-call_
false-termination.cil.c
11773999
timeout (wallclock)
[out]
NO
54.86/20.39
SV-COMP_
Mixed_
Categories/
merge_
sort_
true-unreach-call.c
11773954
MAYBE
12.7/4.52
timeout (wallclock)
[out]
SV-COMP_
Mixed_
Categories/
minepump_
spec1_
product01_
true-unreach-call.cil.c
11773953
NO
110.00/29.26
timeout (wallclock)
[out]
SV-COMP_
Mixed_
Categories/
pals_
floodmax.3_
false-unreach-call.1.ufo.BOUNDED-6.pals.c
11773969
timeout (wallclock)
[out]
NO
26.23/11.19
SV-COMP_
Mixed_
Categories/
pals_
floodmax.5_
false-unreach-call.1.ufo.BOUNDED-10.pals.c
11773994
timeout (wallclock)
[out]
timeout (wallclock)
[out]
SV-COMP_
Mixed_
Categories/
pals_
lcr-var-start-time.3_
false-unreach-call.1.ufo.BOUNDED-6.pals.c
11773970
MAYBE
48.02/15.96
NO
17.05/7.13
SV-COMP_
Mixed_
Categories/
pals_
lcr-var-start-time.6_
false-unreach-call.1.ufo.BOUNDED-12.pals.c
11773959
MAYBE
118.54/47.34
NO
18.16/7.99
SV-COMP_
Mixed_
Categories/
pals_
lcr.3_
false-unreach-call.1.ufo.BOUNDED-6.pals.c
11774018
MAYBE
33.60/11.67
NO
15.46/6.83
SV-COMP_
Mixed_
Categories/
pals_
lcr.8_
false-unreach-call.1.ufo.BOUNDED-16.pals.c
11773975
MAYBE
127.75/62.18
NO
18.48/8.22
SV-COMP_
Mixed_
Categories/
pals_
opt-floodmax.3_
false-unreach-call.1.ufo.BOUNDED-6.pals.c
11774008
timeout (wallclock)
[out]
NO
26.91/11.63
SV-COMP_
Mixed_
Categories/
pals_
opt-floodmax.5_
false-unreach-call.1.ufo.BOUNDED-10.pals.c
11773978
timeout (wallclock)
[out]
timeout (wallclock)
[out]
SV-COMP_
Mixed_
Categories/
pals_
STARTPALS_
ActiveStandby_
false-unreach-call.1.ufo.BOUNDED-10.pals.c
11773943
MAYBE
130.82/56.99
NO
21.89/8.80
SV-COMP_
Mixed_
Categories/
pals_
STARTPALS_
Triplicated_
false-unreach-call.1.ufo.BOUNDED-10.pals.c
11773995
MAYBE
99.25/38.67
NO
48.62/18.47
SV-COMP_
Mixed_
Categories/
pc_
sfifo_
1_
false-unreach-call_
false-termination.cil.c
11773961
timeout (wallclock)
[out]
NO
38.30/17.12
SV-COMP_
Mixed_
Categories/
Primes_
true-unreach-call.c
11773946
timeout (wallclock)
[out]
NO
101.10/61.83
SV-COMP_
Mixed_
Categories/
Problem01_
label00_
true-unreach-call.c
11773936
timeout (wallclock)
[out]
timeout (wallclock)
[out]
SV-COMP_
Mixed_
Categories/
Problem02_
label00_
true-unreach-call.c
11774006
NO
259.36/111.19
NO
405.19/233.50
SV-COMP_
Mixed_
Categories/
Problem03_
label00_
true-unreach-call.c
11773935
timeout (wallclock)
[out]
timeout (wallclock)
[out]
SV-COMP_
Mixed_
Categories/
Problem04_
label00_
true-unreach-call.c
11774010
timeout (wallclock)
[out]
timeout (wallclock)
[out]
SV-COMP_
Mixed_
Categories/
Problem05_
label00_
false-unreach-call.c
11773973
timeout (wallclock)
[out]
timeout (wallclock)
[out]
SV-COMP_
Mixed_
Categories/
Problem06_
label00_
false-unreach-call.c
11773941
timeout (wallclock)
[out]
timeout (wallclock)
[out]
SV-COMP_
Mixed_
Categories/
Problem07_
label00_
true-unreach-call.c
11773933
timeout (wallclock)
[out]
timeout (wallclock)
[out]
SV-COMP_
Mixed_
Categories/
Problem08_
label00_
true-unreach-call.c
11774013
timeout (wallclock)
[out]
timeout (wallclock)
[out]
SV-COMP_
Mixed_
Categories/
Problem09_
label00_
true-unreach-call.c
11773944
timeout (wallclock)
[out]
timeout (wallclock)
[out]
SV-COMP_
Mixed_
Categories/
Problem10_
label00_
true-unreach-call.c
11774027
timeout (wallclock)
[out]
timeout (wallclock)
[out]
SV-COMP_
Mixed_
Categories/
Problem11_
label00_
false-unreach-call.c
11773986
timeout (wallclock)
[out]
timeout (wallclock)
[out]
SV-COMP_
Mixed_
Categories/
Problem12_
label00_
false-unreach-call.c
11774021
timeout (wallclock)
[out]
timeout (wallclock)
[out]
SV-COMP_
Mixed_
Categories/
Problem13_
label00_
true-unreach-call.c
11773948
timeout (wallclock)
[out]
timeout (wallclock)
[out]
SV-COMP_
Mixed_
Categories/
Problem14_
label00_
true-unreach-call.c
11774019
timeout (wallclock)
[out]
timeout (wallclock)
[out]
SV-COMP_
Mixed_
Categories/
Problem15_
label00_
false-unreach-call.c
11773947
timeout (wallclock)
[out]
timeout (wallclock)
[out]
SV-COMP_
Mixed_
Categories/
Problem16_
label00_
false-unreach-call.c
11773968
timeout (wallclock)
[out]
timeout (wallclock)
[out]
SV-COMP_
Mixed_
Categories/
Problem17_
label00_
true-unreach-call.c
11773952
timeout (wallclock)
[out]
timeout (wallclock)
[out]
SV-COMP_
Mixed_
Categories/
Problem18_
label00_
false-unreach-call.c
11773962
timeout (wallclock)
[out]
timeout (wallclock)
[out]
SV-COMP_
Mixed_
Categories/
Problem19_
label00_
true-unreach-call.c
11773956
timeout (wallclock)
[out]
timeout (wallclock)
[out]
SV-COMP_
Mixed_
Categories/
recHanoi01_
true-unreach-call_
true-termination.c
11773984
YES
53.79/16.48
timeout (wallclock)
[out]
SV-COMP_
Mixed_
Categories/
rekcba_
aso_
false-unreach-call.1.M1.c
11773966
MAYBE
3.85/1.92
timeout (wallclock)
[out]
SV-COMP_
Mixed_
Categories/
rekcba_
ctm_
false-unreach-call.2.c
11773938
MAYBE
27.59/20.10
timeout (wallclock)
[out]
SV-COMP_
Mixed_
Categories/
rekcba_
nxt_
false-unreach-call.1.M1.c
11773981
MAYBE
3.75/1.74
timeout (wallclock)
[out]
SV-COMP_
Mixed_
Categories/
s3_
clnt_
1_
false-unreach-call.cil.c
11773939
timeout (wallclock)
[out]
YES
88.83/38.26
SV-COMP_
Mixed_
Categories/
s3_
srvr_
14_
false-unreach-call.cil.c
11774028
MAYBE
33.41/13.72
NO
114.91/60.19
SV-COMP_
Mixed_
Categories/
s3_
srvr_
1_
false-unreach-call.cil.c
11773950
MAYBE
23.92/9.86
NO
81.35/37.06
SV-COMP_
Mixed_
Categories/
sanfoundry_
02_
true-unreach-call_
ground.c
11774022
MAYBE
81.00/37.41
timeout (wallclock)
[out]
SV-COMP_
Mixed_
Categories/
simple-ext_
1_
true-valid-memsafety.c
11773976
MAYBE
29.50/15.20
timeout (wallclock)
[out]
SV-COMP_
Mixed_
Categories/
skiplist_
3lvl_
true-valid-memsafety.c
11773974
MAYBE
12.62/4.53
timeout (wallclock)
[out]
SV-COMP_
Mixed_
Categories/
sll_
to_
dll_
rev_
true-unreach-call.c
11774031
timeout (wallclock)
[out]
timeout (wallclock)
[out]
SV-COMP_
Mixed_
Categories/
sorting_
bubblesort_
true-unreach-call_
ground.c
11773993
timeout (wallclock)
[out]
timeout (wallclock)
[out]
SV-COMP_
Mixed_
Categories/
splice_
true-unreach-call.c
11774017
MAYBE
20.97/7.76
timeout (wallclock)
[out]
SV-COMP_
Mixed_
Categories/
standard_
compare_
true-unreach-call_
ground.c
11773980
YES
56.95/18.79
timeout (wallclock)
[out]
SV-COMP_
Mixed_
Categories/
standard_
copy7_
true-unreach-call_
ground.c
11773964
YES
79.30/31.19
ERROR
230.11/218.57
SV-COMP_
Mixed_
Categories/
standard_
password_
true-unreach-call_
ground.c
11773989
YES
53.97/17.20
timeout (wallclock)
[out]
SV-COMP_
Mixed_
Categories/
stateful_
check_
false-unreach-call.c
11773983
MAYBE
3.35/1.56
NO
14.56/6.34
SV-COMP_
Mixed_
Categories/
sum_
2x3_
false-unreach-call.c
11774026
YES
13.95/4.80
YES
26.18/6.17
SV-COMP_
Mixed_
Categories/
sum_
non_
eq_
false-unreach-call.c
11773998
MAYBE
19.73/13.15
NO
13.65/6.63
SV-COMP_
Mixed_
Categories/
test-0134_
true-valid-memsafety.c
11774030
MAYBE
3.73/1.70
ERROR
11.17/4.99
SV-COMP_
Mixed_
Categories/
test-0219_
true-valid-memsafety.c
11774004
MAYBE
14.31/5.13
timeout (wallclock)
[out]
SV-COMP_
Mixed_
Categories/
test-0234_
true-valid-memsafety.c
11774020
MAYBE
3.58/1.72
timeout (wallclock)
[out]
SV-COMP_
Mixed_
Categories/
test-0513_
1_
true-valid-memsafety.c
11773940
MAYBE
11.01/3.97
timeout (wallclock)
[out]
SV-COMP_
Mixed_
Categories/
test-0521_
true-valid-memsafety.c
11774002
MAYBE
33.51/12.59
timeout (wallclock)
[out]
SV-COMP_
Mixed_
Categories/
test_
locks_
15_
true-unreach-call_
false-termination.c
11773997
timeout (wallclock)
[out]
NO
60.39/25.93
SV-COMP_
Mixed_
Categories/
token_
ring.01_
false-unreach-call_
false-termination.cil.c
11773992
timeout (wallclock)
[out]
NO
31.77/12.56
SV-COMP_
Mixed_
Categories/
token_
ring.05_
false-unreach-call_
false-termination.cil.c
11774014
timeout (wallclock)
[out]
NO
296.86/160.19
SV-COMP_
Mixed_
Categories/
token_
ring.10_
false-unreach-call_
false-termination.cil.c
11774009
timeout (wallclock)
[out]
timeout (wallclock)
[out]
SV-COMP_
Mixed_
Categories/
token_
ring.15_
false-unreach-call_
false-termination.cil.c
11773990
timeout (wallclock)
[out]
timeout (wallclock)
[out]
SV-COMP_
Mixed_
Categories/
transmitter.01_
false-unreach-call_
false-termination.cil.c
11773955
timeout (wallclock)
[out]
NO
31.87/12.06
SV-COMP_
Mixed_
Categories/
transmitter.06_
false-unreach-call_
false-termination.cil.c
11773963
timeout (wallclock)
[out]
NO
332.17/177.89
SV-COMP_
Mixed_
Categories/
transmitter.11_
false-unreach-call_
false-termination.cil.c
11773979
timeout (wallclock)
[out]
timeout (wallclock)
[out]
SV-COMP_
Mixed_
Categories/
transmitter.16_
false-unreach-call_
false-termination.cil.c
11773932
timeout (wallclock)
[out]
timeout (wallclock)
[out]
SV-COMP_
Mixed_
Categories/
tree_
stack_
true-valid-memsafety.c
11774000
MAYBE
59.30/37.50
ERROR
44.46/21.81
SV-COMP_
Termination_
Category/
aaron2_
true-termination.c
11773869
YES
47.66/17.00
YES
13.24/6.39
SV-COMP_
Termination_
Category/
aaron3_
true-termination.c
11773822
memout
[out]
YES
17.88/9.71
SV-COMP_
Termination_
Category/
AliasDarteFeautrierGonnord-SAS2010-counterex1a_
true-termination.c
11773800
MAYBE
14.92/5.26
YES
19.32/8.80
SV-COMP_
Termination_
Category/
AliasDarteFeautrierGonnord-SAS2010-counterex1b_
true-termination.c
11773866
YES
91.78/32.71
YES
16.08/7.40
SV-COMP_
Termination_
Category/
AliasDarteFeautrierGonnord-SAS2010-cousot9_
true-termination.c
11773810
YES
23.26/7.11
YES
13.44/6.47
SV-COMP_
Termination_
Category/
AliasDarteFeautrierGonnord-SAS2010-Fig1_
true-termination.c
11773811
MAYBE
16.41/7.85
YES
19.14/9.91
SV-COMP_
Termination_
Category/
AliasDarteFeautrierGonnord-SAS2010-Fig2a_
true-termination.c
11773786
YES
176.42/56.53
YES
14.93/6.99
SV-COMP_
Termination_
Category/
AliasDarteFeautrierGonnord-SAS2010-Fig2b_
true-termination.c
11773862
timeout (wallclock)
[out]
YES
105.29/69.89
SV-COMP_
Termination_
Category/
AliasDarteFeautrierGonnord-SAS2010-ndecr_
true-termination.c
11773796
YES
7.83/2.84
YES
12.32/5.85
SV-COMP_
Termination_
Category/
AliasDarteFeautrierGonnord-SAS2010-nestedLoop_
true-termination.c
11773882
YES
57.66/21.04
YES
29.56/20.42
SV-COMP_
Termination_
Category/
AliasDarteFeautrierGonnord-SAS2010-random1d_
true-termination.c
11773846
YES
36.43/10.84
YES
12.43/6.14
SV-COMP_
Termination_
Category/
AliasDarteFeautrierGonnord-SAS2010-rsd_
true-termination.c
11773879
timeout (wallclock)
[out]
YES
27.79/19.31
SV-COMP_
Termination_
Category/
AliasDarteFeautrierGonnord-SAS2010-speedpldi2_
true-termination.c
11773852
YES
14.85/5.13
YES
15.06/6.98
SV-COMP_
Termination_
Category/
AliasDarteFeautrierGonnord-SAS2010-speedpldi3_
true-termination.c
11773842
YES
29.15/9.10
YES
15.78/7.74
SV-COMP_
Termination_
Category/
AliasDarteFeautrierGonnord-SAS2010-speedpldi4_
true-termination.c
11773824
YES
15.98/5.17
YES
15.62/7.06
SV-COMP_
Termination_
Category/
AliasDarteFeautrierGonnord-SAS2010-terminate_
true-termination.c
11773840
YES
10.37/3.83
YES
24.72/18.01
SV-COMP_
Termination_
Category/
AliasDarteFeautrierGonnord-SAS2010-wcet2_
true-termination.c
11773839
YES
24.87/10.42
YES
23.72/13.55
SV-COMP_
Termination_
Category/
AliasDarteFeautrierGonnord-SAS2010-while2_
true-termination.c
11773865
YES
18.78/5.81
YES
13.22/6.36
SV-COMP_
Termination_
Category/
AliasDarteFeautrierGonnord-SAS2010-wise_
true-termination.c
11773863
timeout (wallclock)
[out]
YES
14.90/7.36
SV-COMP_
Termination_
Category/
Avery-FLOPS2006-Table1_
true-termination.c
11773833
YES
23.66/8.01
YES
13.98/6.57
SV-COMP_
Termination_
Category/
aviad_
true-termination.c
11773873
YES
50.22/15.04
YES
14.67/7.69
SV-COMP_
Termination_
Category/
BradleyMannaSipma-CAV2005-Fig1-modified_
false-termination.c
11773815
timeout (wallclock)
[out]
NO
11.05/5.59
SV-COMP_
Termination_
Category/
BradleyMannaSipma-CAV2005-Fig1_
true-termination.c
11773834
YES
67.32/18.55
YES
22.52/10.51
SV-COMP_
Termination_
Category/
BradleyMannaSipma-ICALP2005-Fig1_
true-termination.c
11773821
timeout (wallclock)
[out]
YES
27.97/19.17
SV-COMP_
Termination_
Category/
ChawdharyCookGulwaniSagivYang-ESOP2008-aaron12_
true-termination.c
11773871
memout
[out]
MAYBE
28.78/14.16
SV-COMP_
Termination_
Category/
ChawdharyCookGulwaniSagivYang-ESOP2008-aaron1_
true-termination.c
11773802
YES
64.62/18.23
YES
18.51/8.86
SV-COMP_
Termination_
Category/
ChawdharyCookGulwaniSagivYang-ESOP2008-aaron4_
true-termination.c
11773819
YES
95.05/27.86
YES
22.74/11.88
SV-COMP_
Termination_
Category/
ChawdharyCookGulwaniSagivYang-ESOP2008-aaron6_
true-termination.c
11773794
timeout (wallclock)
[out]
YES
15.18/7.61
SV-COMP_
Termination_
Category/
ChawdharyCookGulwaniSagivYang-ESOP2008-random1d_
true-termination.c
11773832
YES
38.75/11.81
YES
12.43/5.98
SV-COMP_
Termination_
Category/
ChenFlurMukhopadhyay-SAS2012-Ex1.02_
true-termination.c
11773829
YES
9.29/3.23
YES
60.66/23.07
SV-COMP_
Termination_
Category/
ChenFlurMukhopadhyay-SAS2012-Ex1.03_
true-termination.c
11773844
YES
4.62/2.03
YES
12.12/5.99
SV-COMP_
Termination_
Category/
ChenFlurMukhopadhyay-SAS2012-Ex1.04_
true-termination.c
11773864
YES
7.43/2.78
YES
12.00/6.07
SV-COMP_
Termination_
Category/
ChenFlurMukhopadhyay-SAS2012-Ex1.05_
true-termination.c
11773816
YES
10.43/3.75
YES
13.07/6.17
SV-COMP_
Termination_
Category/
ChenFlurMukhopadhyay-SAS2012-Ex2.01_
true-termination.c
11773795
YES
12.92/4.18
YES
15.03/7.83
SV-COMP_
Termination_
Category/
ChenFlurMukhopadhyay-SAS2012-Ex2.02_
false-termination.c
11773848
NO
31.21/12.77
NO
12.63/6.22
SV-COMP_
Termination_
Category/
ChenFlurMukhopadhyay-SAS2012-Ex2.05_
false-termination.c
11773845
NO
21.30/8.34
NO
15.59/8.12
SV-COMP_
Termination_
Category/
ChenFlurMukhopadhyay-SAS2012-Ex2.07_
true-termination.c
11773872
YES
8.89/3.32
YES
15.01/8.07
SV-COMP_
Termination_
Category/
ChenFlurMukhopadhyay-SAS2012-Ex2.08_
true-termination.c
11773841
YES
12.79/4.16
YES
14.79/8.09
SV-COMP_
Termination_
Category/
ChenFlurMukhopadhyay-SAS2012-Ex2.10_
true-termination.c
11773825
YES
8.77/4.02
YES
13.07/5.98
SV-COMP_
Termination_
Category/
ChenFlurMukhopadhyay-SAS2012-Ex2.13_
true-termination.c
11773881
YES
16.67/5.26
YES
15.64/8.30
SV-COMP_
Termination_
Category/
ChenFlurMukhopadhyay-SAS2012-Ex2.16_
true-termination.c
11773857
YES
7.73/4.10
YES
12.08/6.04
SV-COMP_
Termination_
Category/
ChenFlurMukhopadhyay-SAS2012-Ex2.17_
false-termination.c
11773805
NO
32.91/5.21
NO
12.66/6.20
SV-COMP_
Termination_
Category/
ChenFlurMukhopadhyay-SAS2012-Ex2.20_
true-termination.c
11773789
YES
8.77/3.19
YES
12.88/6.19
SV-COMP_
Termination_
Category/
ChenFlurMukhopadhyay-SAS2012-Ex2.22_
true-termination.c
11773814
YES
8.92/3.21
YES
13.02/5.98
SV-COMP_
Termination_
Category/
ChenFlurMukhopadhyay-SAS2012-Ex3.01_
true-termination.c
11773818
YES
7.30/2.81
YES
14.82/8.57
SV-COMP_
Termination_
Category/
ChenFlurMukhopadhyay-SAS2012-Ex3.03_
true-termination.c
11773790
YES
18.52/5.86
YES
14.97/8.27
SV-COMP_
Termination_
Category/
ChenFlurMukhopadhyay-SAS2012-Ex3.04_
true-termination.c
11773803
YES
16.52/5.56
YES
15.51/8.59
SV-COMP_
Termination_
Category/
ChenFlurMukhopadhyay-SAS2012-Ex3.05_
true-termination.c
11773874
YES
15.66/5.26
YES
14.94/7.91
SV-COMP_
Termination_
Category/
ChenFlurMukhopadhyay-SAS2012-Ex3.08_
true-termination.c
11773813
YES
14.56/4.73
YES
14.36/7.54
SV-COMP_
Termination_
Category/
ChenFlurMukhopadhyay-SAS2012-Ex3.09_
true-termination.c
11773877
YES
9.45/3.37
YES
17.36/10.54
SV-COMP_
Termination_
Category/
ChenFlurMukhopadhyay-SAS2012-Ex4.01_
true-termination.c
11773787
YES
17.51/5.64
YES
24.94/17.89
SV-COMP_
Termination_
Category/
CookSeeZuleger-TACAS2013-Fig1_
true-termination.c
11773875
YES
28.65/8.44
YES
14.85/6.59
SV-COMP_
Termination_
Category/
CookSeeZuleger-TACAS2013-Fig7a_
true-termination.c
11773809
YES
35.12/10.58
YES
15.24/7.08
SV-COMP_
Termination_
Category/
CookSeeZuleger-TACAS2013-Fig7b_
true-termination.c
11773858
YES
232.12/61.69
YES
17.20/8.05
SV-COMP_
Termination_
Category/
gcd1_
true-termination.c
11773850
YES
93.81/26.63
YES
17.32/8.52
SV-COMP_
Termination_
Category/
genady_
true-termination.c
11773870
YES
16.04/10.76
YES
13.13/5.88
SV-COMP_
Termination_
Category/
GopanReps-CAV2006-Fig1a_
true-termination.c.c
11773817
YES
11.85/3.99
YES
30.12/6.69
SV-COMP_
Termination_
Category/
GulwaniJainKoskinen-PLDI2009-Fig1_
true-termination.c
11773806
timeout (wallclock)
[out]
YES
20.09/8.86
SV-COMP_
Termination_
Category/
HarrisLalNoriRajamani-SAS2010-Fig1_
true-termination.c
11773808
YES
112.90/37.16
YES
56.40/39.18
SV-COMP_
Termination_
Category/
HarrisLalNoriRajamani-SAS2010-Fig2_
false-termination.c
11773823
timeout (wallclock)
[out]
NO
12.78/5.79
SV-COMP_
Termination_
Category/
HarrisLalNoriRajamani-SAS2010-Fig3_
true-termination.c
11773836
YES
17.85/5.52
YES
12.63/6.20
SV-COMP_
Termination_
Category/
HeizmannHoenickeLeikePodelski-ATVA2013-Fig2_
true-termination.c
11773868
YES
15.39/5.22
MAYBE
24.40/14.27
SV-COMP_
Termination_
Category/
HeizmannHoenickeLeikePodelski-ATVA2013-Fig5_
true-termination.c
11773854
YES
7.75/2.83
MAYBE
16.49/6.88
SV-COMP_
Termination_
Category/
HeizmannHoenickeLeikePodelski-ATVA2013-Fig6_
true-termination.c
11773812
YES
26.16/4.24
YES
12.31/5.87
SV-COMP_
Termination_
Category/
HeizmannHoenickeLeikePodelski-ATVA2013-Fig7_
true-termination.c
11773878
YES
21.77/11.16
YES
34.06/7.79
SV-COMP_
Termination_
Category/
HeizmannHoenickeLeikePodelski-ATVA2013-Fig8_
true-termination.c
11773828
YES
15.53/4.99
MAYBE
15.74/7.16
SV-COMP_
Termination_
Category/
HeizmannHoenickeLeikePodelski-ATVA2013-Fig9_
true-termination.c
11773849
YES
17.93/5.57
MAYBE
18.13/7.66
SV-COMP_
Termination_
Category/
HenzingerJhalaMajumdarSutre-POPL2002-LockingExample_
false-termination.c
11773785
NO
425.03/109.78
NO
11.15/5.53
SV-COMP_
Termination_
Category/
joey_
false-termination.c
11773792
timeout (wallclock)
[out]
NO
31.66/15.06
SV-COMP_
Termination_
Category/
KroeningSharyginaTsitovichWintersteiger-CAV2010-Ex_
true-termination.c
11773838
YES
37.79/16.62
YES
12.49/5.82
SV-COMP_
Termination_
Category/
KroeningSharyginaTsitovichWintersteiger-CAV2010-Fig1_
true-termination.c
11773880
timeout (wallclock)
[out]
YES
20.54/10.78
SV-COMP_
Termination_
Category/
LarrazOliverasRodriguez-CarbonellRubio-FMCAD2013-Fig1_
true-termination.c
11773867
YES
65.28/19.43
YES
24.84/13.41
SV-COMP_
Termination_
Category/
LeeJonesBen-Amram-POPL2001-Ex1_
true-termination.c
11773793
YES
20.66/6.86
YES
16.33/7.82
SV-COMP_
Termination_
Category/
LeeJonesBen-Amram-POPL2001-Ex2_
true-termination.c
11773861
YES
20.73/7.03
YES
19.78/11.15
SV-COMP_
Termination_
Category/
LeeJonesBen-Amram-POPL2001-Ex3_
true-termination.c
11773820
YES
39.56/13.59
timeout (wallclock)
[out]
SV-COMP_
Termination_
Category/
LeeJonesBen-Amram-POPL2001-Ex4_
true-termination.c
11773826
YES
24.84/8.30
YES
60.37/39.34
SV-COMP_
Termination_
Category/
LeeJonesBen-Amram-POPL2001-Ex5_
true-termination.c
11773847
YES
18.35/5.71
YES
56.98/42.29
SV-COMP_
Termination_
Category/
LeeJonesBen-Amram-POPL2001-Ex6_
true-termination.c
11773801
YES
30.62/12.14
YES
20.20/10.53
SV-COMP_
Termination_
Category/
LeikeHeizmann-TACAS2014-Ex9_
true-termination.c
11773860
YES
10.30/3.73
YES
13.15/6.21
SV-COMP_
Termination_
Category/
LeikeHeizmann-WST2014-Ex9_
true-termination.c
11773799
YES
6.76/2.59
YES
12.29/6.04
SV-COMP_
Termination_
Category/
LICENSE.txt
11773804
ERROR
0.32/0.29
ERROR
8.38/3.38
SV-COMP_
Termination_
Category/
Masse-VMCAI2014-Fig1b_
true-termination.c
11773856
timeout (wallclock)
[out]
MAYBE
19.27/7.88
SV-COMP_
Termination_
Category/
min_
rf_
true-termination.c
11773798
YES
115.09/49.90
YES
31.60/17.29
SV-COMP_
Termination_
Category/
PodelskiRybalchenko-LICS2004-Fig2_
true-termination.c
11773843
YES
62.67/17.93
timeout (wallclock)
[out]
SV-COMP_
Termination_
Category/
PodelskiRybalchenko-TACAS2011-Fig4_
true-termination.c
11773853
YES
35.66/10.24
YES
14.00/6.38
SV-COMP_
Termination_
Category/
PodelskiRybalchenko-VMCAI2004-Ex1_
true-termination.c
11773837
YES
32.77/16.81
YES
26.41/19.54
SV-COMP_
Termination_
Category/
README.txt
11773788
ERROR
0.30/0.25
ERROR
8.17/3.49
SV-COMP_
Termination_
Category/
svcomp_
cstrcmp_
true-termination.c
11773807
YES
12.08/4.22
YES
67.08/37.08
SV-COMP_
Termination_
Category/
svcomp_
cstrcspn_
true-termination.c
11773797
YES
77.00/22.12
YES
138.6/97.81
SV-COMP_
Termination_
Category/
svcomp_
cstrlen_
true-termination.c
11773876
YES
7.56/2.79
YES
22.24/9.55
SV-COMP_
Termination_
Category/
svcomp_
cstrncmp_
true-termination.c
11773791
YES
16.82/5.68
YES
77.51/42.62
SV-COMP_
Termination_
Category/
svcomp_
cstrpbrk_
true-termination.c
11773851
YES
41.40/15.32
YES
260.14/208.52
SV-COMP_
Termination_
Category/
svcomp_
cstrspn_
true-termination.c
11773830
YES
48.29/14.92
YES
259.42/205.18
SV-COMP_
Termination_
Category/
svcomp_
strchr_
true-termination.c
11773835
YES
8.62/3.21
YES
24.13/10.84
SV-COMP_
Termination_
Category/
TelAviv-Amir-Minimum_
true-termination.c
11773855
timeout (wallclock)
[out]
YES
21.62/10.00
SV-COMP_
Termination_
Category/
Toulouse-BranchesToLoop_
true-termination.c
11773831
YES
11.91/4.18
YES
17.71/8.59
SV-COMP_
Termination_
Category/
Toulouse-MultiBranchesToLoop_
true-termination.c
11773859
YES
14.72/4.81
YES
19.60/9.04
SV-COMP_
Termination_
Category/
UrbanMine-ESOP2014-Fig3_
true-termination.c
11773827
YES
139.77/38.30
YES
18.31/8.07
Ton_
Chanh_
15/
Ackermann_
false-termination.c
11773889
MAYBE
60.44/20.35
NO
19.54/9.84
Ton_
Chanh_
15/
Ackermann_
true-termination.c
11773883
YES
41.70/14.90
timeout (wallclock)
[out]
Ton_
Chanh_
15/
Binary_
Search_
true-termination.c
11773886
MAYBE
36.24/13.44
NO
50.27/39.21
Ton_
Chanh_
15/
McCarthy91_
Recursion_
true-termination.c
11773890
timeout (wallclock)
[out]
YES
47.47/25.84
Ton_
Chanh_
15/
MutualRecursion_
1a_
false-termination.c
11773892
MAYBE
17.99/5.97
NO
16.45/7.22
Ton_
Chanh_
15/
MutualRecursion_
1b_
true-termination.c
11773894
YES
17.37/10.44
timeout (wallclock)
[out]
Ton_
Chanh_
15/
NestedRecursion_
1a_
false-termination.c
11773891
MAYBE
25.12/8.61
NO
13.47/6.16
Ton_
Chanh_
15/
NestedRecursion_
1b_
true-termination.c
11773885
MAYBE
26.07/14.39
YES
22.70/10.14
Ton_
Chanh_
15/
NestedRecursion_
1c_
true-termination.c
11773893
YES
11.64/4.13
YES
53.05/23.90
Ton_
Chanh_
15/
NestedRecursion_
1d_
true-termination.c
11773888
YES
18.80/6.01
YES
20.40/9.15
Ton_
Chanh_
15/
NestedRecursion_
2a_
false-termination.c
11773887
MAYBE
56.45/26.65
NO
15.09/7.46
Ton_
Chanh_
15/
NestedRecursion_
2b_
false-termination.c
11773884
MAYBE
12.83/5.02
NO
21.67/10.93
Ton_
Chanh_
15/
NestedRecursion_
2c_
true-termination.c
11773895
YES
16.44/5.28
YES
42.15/21.26
AProVE_
numeric/
Avg_
true.c
11773714
YES
45.02/14.68
YES
24.55/11.55
AProVE_
numeric/
Binomial_
true.c
11773755
MAYBE
15.34/5.33
timeout (wallclock)
[out]
AProVE_
numeric/
Et1_
true.c
11773762
YES
27.93/12.45
YES
19.79/10.56
AProVE_
numeric/
Et2_
true.c
11773723
YES
23.19/6.99
YES
16.63/7.61
AProVE_
numeric/
Et3_
true.c
11773771
YES
22.86/10.27
YES
17.32/8.67
AProVE_
numeric/
Et4_
true.c
11773731
YES
57.71/16.26
YES
36.14/24.57
AProVE_
numeric/
ex2.c
11773721
YES
11.18/3.84
YES
16.39/7.55
AProVE_
numeric/
ex3.c
11773711
YES
18.82/5.99
YES
38.41/18.32
AProVE_
numeric/
LeUserDefRec_
true.c
11773720
YES
14.44/4.99
YES
13.25/6.16
AProVE_
numeric/
LogRecursive_
true.c
11773742
timeout (wallclock)
[out]
MAYBE
95.52/29.85
AProVE_
numeric/
Parts_
true.c
11773767
timeout (wallclock)
[out]
timeout (wallclock)
[out]
AProVE_
numeric/
rec_
counter1.c
11773726
YES
21.61/6.81
YES
20.44/10.81
AProVE_
numeric/
rec_
counter3.c
11773725
YES
24.32/10.96
YES
21.84/11.44
AProVE_
numeric/
rec_
strlen.c
11773708
YES
24.10/10.41
YES
25.04/14.77
AProVE_
numeric/
svcomp_
a.01.c
11773710
YES
26.54/11.61
YES
14.74/6.72
AProVE_
numeric/
svcomp_
a.04.c
11773763
YES
10.45/4.66
YES
12.62/5.93
AProVE_
numeric/
svcomp_
a.05.c
11773777
YES
10.08/3.74
YES
12.82/6.63
AProVE_
numeric/
svcomp_
a.06.c
11773760
YES
15.40/5.25
YES
15.52/8.25
AProVE_
numeric/
svcomp_
a.07.c
11773745
YES
14.53/5.02
YES
13.03/6.20
AProVE_
numeric/
svcomp_
a.08.c
11773732
YES
11.33/3.92
YES
13.24/6.04
AProVE_
numeric/
svcomp_
a.09_
assume.c
11773738
YES
11.84/4.12
YES
13.03/6.20
AProVE_
numeric/
svcomp_
a.10.c
11773716
YES
4.69/1.96
YES
16.78/8.08
AProVE_
numeric/
svcomp_
Ackermann01_
true-unreach-call_
modified_
modified.c
11773717
YES
45.26/17.24
timeout (wallclock)
[out]
AProVE_
numeric/
svcomp_
Addition01_
true-unreach-call_
true-termination_
modified.c
11773756
YES
14.03/4.77
YES
28.47/19.02
AProVE_
numeric/
svcomp_
b.01.c
11773753
YES
9.74/3.42
YES
12.78/6.05
AProVE_
numeric/
svcomp_
b.02.c
11773773
YES
11.97/4.14
YES
12.94/6.14
AProVE_
numeric/
svcomp_
b.03-no-inv_
assume.c
11773765
YES
10.33/3.63
YES
14.62/6.89
AProVE_
numeric/
svcomp_
b.03_
assume.c
11773712
YES
9.88/3.55
YES
12.45/5.93
AProVE_
numeric/
svcomp_
b.04.c
11773736
YES
4.64/2.07
YES
14.00/7.84
AProVE_
numeric/
svcomp_
b.05.c
11773733
timeout (wallclock)
[out]
YES
12.69/6.49
AProVE_
numeric/
svcomp_
b.06.c
11773713
YES
12.93/4.55
YES
12.76/5.77
AProVE_
numeric/
svcomp_
b.07.c
11773718
YES
14.49/4.94
YES
13.34/6.18
AProVE_
numeric/
svcomp_
b.09-no-inv_
assume.c
11773739
YES
5.27/2.21
YES
15.77/7.49
AProVE_
numeric/
svcomp_
b.09_
assume.c
11773746
YES
5.23/2.18
YES
14.48/6.77
AProVE_
numeric/
svcomp_
b.10.c
11773747
YES
25.57/8.14
YES
14.14/6.70
AProVE_
numeric/
svcomp_
b.11.c
11773758
timeout (wallclock)
[out]
YES
15.77/7.04
AProVE_
numeric/
svcomp_
b.12.c
11773775
YES
20.68/6.51
YES
14.44/7.88
AProVE_
numeric/
svcomp_
b.13.c
11773764
YES
21.13/6.85
YES
15.44/7.33
AProVE_
numeric/
svcomp_
b.14.c
11773740
YES
14.80/4.86
YES
14.75/6.82
AProVE_
numeric/
svcomp_
b.15.c
11773727
YES
11.21/4.20
YES
15.86/7.44
AProVE_
numeric/
svcomp_
b.16.c
11773709
YES
20.02/6.55
YES
13.57/6.13
AProVE_
numeric/
svcomp_
b.17.c
11773724
YES
22.26/7.13
YES
14.06/6.89
AProVE_
numeric/
svcomp_
b.18.c
11773774
YES
13.83/4.78
YES
15.23/7.27
AProVE_
numeric/
svcomp_
c.01-no-inv.c
11773776
YES
27.30/8.45
YES
15.50/6.89
AProVE_
numeric/
svcomp_
c.01_
assume.c
11773737
YES
24.66/12.43
YES
13.74/6.31
AProVE_
numeric/
svcomp_
c.02.c
11773744
YES
27.97/8.72
YES
13.68/6.37
AProVE_
numeric/
svcomp_
c.03.c
11773759
YES
27.42/8.54
YES
17.79/8.86
AProVE_
numeric/
svcomp_
c.07.c
11773728
YES
17.86/6.07
YES
25.36/18.01
AProVE_
numeric/
svcomp_
c.08.c
11773748
YES
25.98/8.05
YES
13.59/6.38
AProVE_
numeric/
svcomp_
easySum.c
11773719
YES
23.13/7.78
YES
12.66/5.91
AProVE_
numeric/
svcomp_
EvenOdd01_
true-unreach-call_
true-termination_
modified.c
11773734
YES
14.20/4.80
YES
24.43/14.66
AProVE_
numeric/
svcomp_
ex1.c
11773769
YES
9.50/3.42
YES
13.04/5.76
AProVE_
numeric/
svcomp_
ex2.c
11773752
timeout (wallclock)
[out]
MAYBE
25.80/10.06
AProVE_
numeric/
svcomp_
ex3a.c
11773735
YES
10.87/3.79
MAYBE
20.74/8.27
AProVE_
numeric/
svcomp_
ex3b.c
11773715
YES
11.33/3.92
MAYBE
21.98/8.71
AProVE_
numeric/
svcomp_
fermat.c
11773772
YES
106.05/32.09
YES
29.33/19.78
AProVE_
numeric/
svcomp_
Fibonacci01_
true-unreach-call_
modified.c
11773761
YES
28.62/9.29
timeout (wallclock)
[out]
AProVE_
numeric/
svcomp_
flag.c
11773766
YES
12.45/4.27
YES
16.85/7.88
AProVE_
numeric/
svcomp_
gcd01_
true-unreach-call_
true-termination_
modified.c
11773750
YES
18.77/6.00
YES
23.41/13.08
AProVE_
numeric/
svcomp_
java_
AG313.c
11773743
YES
23.50/7.18
YES
13.73/6.47
AProVE_
numeric/
svcomp_
java_
Break.c
11773757
YES
7.95/2.96
YES
12.86/6.09
AProVE_
numeric/
svcomp_
java_
Continue1.c
11773754
YES
11.14/3.92
YES
13.13/6.48
AProVE_
numeric/
svcomp_
java_
LogBuiltIn.c
11773729
YES
8.08/2.99
YES
12.25/5.91
AProVE_
numeric/
svcomp_
java_
Nested.c
11773741
YES
28.32/9.06
YES
16.74/7.68
AProVE_
numeric/
svcomp_
java_
Sequence.c
11773749
YES
12.42/4.16
YES
12.66/6.25
AProVE_
numeric/
svcomp_
MultCommutative_
true-unreach-call_
true-termination_
modified.c
11773730
YES
28.37/8.43
YES
18.61/8.49
AProVE_
numeric/
svcomp_
recHanoi02_
true-unreach-call_
true-termination_
modified.c
11773768
YES
11.57/3.96
YES
15.62/7.32
AProVE_
numeric/
svcomp_
twisted.c
11773770
YES
84.80/31.17
YES
15.55/7.01
AProVE_
numeric/
TerminatorRec02_
true.c
11773751
YES
12.33/4.21
YES
12.53/6.02
AProVE_
numeric/
TwoWay_
true.c
11773722
YES
17.41/5.78
YES
15.92/7.04
Di_
Stefano_
20/
boids_
true-termination.c
11773782
MAYBE
17.24/8.78
ERROR
10.35/4.79
Di_
Stefano_
20/
flock-noarray_
true-termination.c
11773783
timeout (wallclock)
[out]
timeout (wallclock)
[out]
Di_
Stefano_
20/
flock_
true-termination.c
11773780
MAYBE
14.17/5.83
timeout (wallclock)
[out]
Di_
Stefano_
20/
formation-noarray_
true-termination.c
11773784
timeout (wallclock)
[out]
timeout (wallclock)
[out]
Di_
Stefano_
20/
formation_
true-termination.c
11773781
MAYBE
57.30/26.06
timeout (wallclock)
[out]
Di_
Stefano_
20/
majority-noarray_
true-termination.c
11773779
MAYBE
44.95/16.38
YES
245.89/197.79
Di_
Stefano_
20/
majority_
true-termination.c
11773778
MAYBE
45.41/18.90
timeout (wallclock)
[out]
AProVE_
memory_
unsafe/
svcomp_
add_
last_
unsafe.c
11773580
MAYBE
4.97/2.24
MAYBE
13.61/6.36
AProVE_
memory_
unsafe/
svcomp_
bubblesort_
unsafe.c
11773560
MAYBE
5.89/2.47
MAYBE
12.01/5.60
AProVE_
memory_
unsafe/
svcomp_
bubble_
sort_
unsafe.c
11773559
MAYBE
5.58/2.31
MAYBE
11.85/5.77
AProVE_
memory_
unsafe/
svcomp_
count_
down_
unsafe.c
11773558
MAYBE
6.04/2.39
MAYBE
13.57/6.53
AProVE_
memory_
unsafe/
svcomp_
cstrcat_
unsafe.c
11773562
MAYBE
4.68/2.02
MAYBE
11.32/5.47
AProVE_
memory_
unsafe/
svcomp_
cstrchr_
unsafe.c
11773555
MAYBE
4.50/2.01
MAYBE
18.09/7.98
AProVE_
memory_
unsafe/
svcomp_
cstrcpy_
unsafe.c
11773556
MAYBE
4.84/2.18
MAYBE
11.35/5.59
AProVE_
memory_
unsafe/
svcomp_
cstrlen_
unsafe.c
11773564
MAYBE
4.73/1.99
MAYBE
14.68/6.62
AProVE_
memory_
unsafe/
svcomp_
cstrncat_
unsafe.c
11773573
MAYBE
5.46/2.33
MAYBE
11.81/5.50
AProVE_
memory_
unsafe/
svcomp_
cstrncpy_
unsafe.c
11773570
MAYBE
6.43/2.66
MAYBE
12.05/5.72
AProVE_
memory_
unsafe/
svcomp_
cstrpbrk_
unsafe.c
11773571
MAYBE
5.23/2.27
MAYBE
17.89/8.01
AProVE_
memory_
unsafe/
svcomp_
delete_
alloca_
unsafe.c
11773568
MAYBE
4.95/2.09
MAYBE
11.49/5.49
AProVE_
memory_
unsafe/
svcomp_
delete_
unsafe.c
11773575
MAYBE
4.59/1.96
MAYBE
11.41/5.46
AProVE_
memory_
unsafe/
svcomp_
diff_
usafe.c
11773578
MAYBE
8.81/3.30
MAYBE
11.16/6.60
AProVE_
memory_
unsafe/
svcomp_
insertionsort_
unsafe.c
11773563
MAYBE
10.64/2.21
MAYBE
11.87/5.44
AProVE_
memory_
unsafe/
svcomp_
insertion_
sort_
unsafe.c
11773565
MAYBE
5.17/2.20
MAYBE
11.99/5.64
AProVE_
memory_
unsafe/
svcomp_
java_
BubbleSort_
unsafe.c
11773569
MAYBE
5.57/3.16
MAYBE
11.03/5.50
AProVE_
memory_
unsafe/
svcomp_
knapsack_
alloca_
unsafe.c
11773554
MAYBE
24.54/12.34
MAYBE
14.66/6.57
AProVE_
memory_
unsafe/
svcomp_
knapsack_
unsafe.c
11773574
MAYBE
8.04/3.02
MAYBE
12.01/5.72
AProVE_
memory_
unsafe/
svcomp_
lis_
unsafe.c
11773577
MAYBE
5.72/2.28
MAYBE
16.40/7.37
AProVE_
memory_
unsafe/
svcomp_
mult_
array_
unsafe.c
11773566
MAYBE
6.52/2.65
MAYBE
95.95/82.71
AProVE_
memory_
unsafe/
svcomp_
reverse_
array_
alloca_
unsafe.c
11773567
MAYBE
11.48/4.17
MAYBE
16.04/7.62
AProVE_
memory_
unsafe/
svcomp_
reverse_
array_
unsafe.c
11773572
MAYBE
7.06/2.93
MAYBE
14.39/6.50
AProVE_
memory_
unsafe/
svcomp_
selectionsort_
unsafe.c
11773557
MAYBE
5.87/2.42
MAYBE
11.73/5.46
AProVE_
memory_
unsafe/
svcomp_
selection_
sort_
unsafe.c
11773579
MAYBE
5.63/2.38
MAYBE
12.03/5.88
AProVE_
memory_
unsafe/
svcomp_
stroeder1_
unsafe.c
11773561
MAYBE
5.36/2.19
MAYBE
11.31/5.40
AProVE_
memory_
unsafe/
svcomp_
stroeder2_
unsafe.c
11773576
MAYBE
5.83/2.60
MAYBE
11.42/5.49
AProVE_
memory_
alloca/
svcomp_
a.01-alloca.c
11773604
YES
36.93/12.18
timeout (wallclock)
[out]
AProVE_
memory_
alloca/
svcomp_
a.04-alloca.c
11773661
YES
18.28/6.18
YES
37.31/24.49
AProVE_
memory_
alloca/
svcomp_
a.05-alloca.c
11773694
YES
19.03/6.60
YES
36.59/24.81
AProVE_
memory_
alloca/
svcomp_
a.06-alloca.c
11773582
YES
38.08/13.25
timeout (wallclock)
[out]
AProVE_
memory_
alloca/
svcomp_
a.07-alloca.c
11773622
YES
29.95/11.38
YES
287.50/261.05
AProVE_
memory_
alloca/
svcomp_
a.08-alloca.c
11773619
YES
21.86/7.28
YES
52.60/38.74
AProVE_
memory_
alloca/
svcomp_
a.09_
assume-alloca.c
11773633
YES
14.02/4.98
YES
29.75/14.30
AProVE_
memory_
alloca/
svcomp_
a.10-alloca.c
11773639
YES
5.58/2.37
timeout (wallclock)
[out]
AProVE_
memory_
alloca/
svcomp_
add_
last_
alloca.c
11773613
MAYBE
8.59/3.43
timeout (wallclock)
[out]
AProVE_
memory_
alloca/
svcomp_
array01_
alloca.c
11773680
YES
88.54/33.10
YES
21.54/8.95
AProVE_
memory_
alloca/
svcomp_
array02_
alloca.c
11773599
YES
213.56/118.92
YES
24.73/17.31
AProVE_
memory_
alloca/
svcomp_
array03_
alloca.c
11773640
YES
287.28/130.0
YES
25.30/10.63
AProVE_
memory_
alloca/
svcomp_
Avery-2006FLOPS-Tabel1_
true-alloca.c
11773658
YES
44.70/16.12
YES
49.97/32.88
AProVE_
memory_
alloca/
svcomp_
aviad_
true-alloca.c
11773682
YES
66.09/21.70
timeout (wallclock)
[out]
AProVE_
memory_
alloca/
svcomp_
b.01-alloca.c
11773688
YES
18.24/6.23
YES
37.30/24.96
AProVE_
memory_
alloca/
svcomp_
b.02-alloca.c
11773605
YES
21.85/7.50
YES
305.41/291.33
AProVE_
memory_
alloca/
svcomp_
b.03-no-inv_
assume-alloca.c
11773698
YES
11.60/4.04
YES
18.32/8.18
AProVE_
memory_
alloca/
svcomp_
b.03_
assume-alloca.c
11773644
YES
14.54/4.87
YES
19.33/8.79
AProVE_
memory_
alloca/
svcomp_
b.04-alloca.c
11773621
YES
5.99/2.55
YES
31.41/16.25
AProVE_
memory_
alloca/
svcomp_
b.05-alloca.c
11773581
YES
11.97/4.38
YES
18.11/8.45
AProVE_
memory_
alloca/
svcomp_
b.06-alloca.c
11773695
YES
54.96/9.10
YES
191.36/165.10
AProVE_
memory_
alloca/
svcomp_
b.07-alloca.c
11773662
YES
33.41/11.86
YES
313.05/286.16
AProVE_
memory_
alloca/
svcomp_
b.09-no-inv_
assume-alloca.c
11773675
YES
6.96/3.99
YES
46.80/23.87
AProVE_
memory_
alloca/
svcomp_
b.09_
assume-alloca.c
11773687
YES
6.92/3.30
YES
50.44/24.05
AProVE_
memory_
alloca/
svcomp_
b.10-alloca.c
11773647
YES
45.21/14.76
timeout (wallclock)
[out]
AProVE_
memory_
alloca/
svcomp_
b.11-alloca.c
11773681
timeout (wallclock)
[out]
timeout (wallclock)
[out]
AProVE_
memory_
alloca/
svcomp_
b.12-alloca.c
11773600
YES
46.88/15.26
YES
150.42/108.03
AProVE_
memory_
alloca/
svcomp_
b.13-alloca.c
11773638
YES
43.13/15.99
timeout (wallclock)
[out]
AProVE_
memory_
alloca/
svcomp_
b.14-alloca.c
11773626
YES
22.32/7.49
YES
90.87/67.43
AProVE_
memory_
alloca/
svcomp_
b.15-alloca.c
11773588
YES
30.77/10.41
timeout (wallclock)
[out]
AProVE_
memory_
alloca/
svcomp_
b.16-alloca.c
11773701
YES
42.24/15.56
timeout (wallclock)
[out]
AProVE_
memory_
alloca/
svcomp_
b.17-alloca.c
11773664
YES
47.92/16.26
timeout (wallclock)
[out]
AProVE_
memory_
alloca/
svcomp_
b.18-alloca.c
11773665
YES
14.38/4.78
YES
24.36/11.18
AProVE_
memory_
alloca/
svcomp_
Ben-Amram-2010LMCS-Ex2.3_
true-alloca.c
11773643
YES
26.00/8.17
YES
73.41/38.34
AProVE_
memory_
alloca/
svcomp_
BradleyMannaSipma-2005CAV-Fig1-modified_
false-termination.c
11773603
timeout (wallclock)
[out]
NO
19.47/8.64
AProVE_
memory_
alloca/
svcomp_
BradleyMannaSipma-2005CAV-Fig1_
true-alloca.c
11773606
timeout (wallclock)
[out]
timeout (wallclock)
[out]
AProVE_
memory_
alloca/
svcomp_
BradleyMannaSipma-2005ICALP-Fig1_
true-alloca.c
11773655
timeout (wallclock)
[out]
NO
16.60/7.36
AProVE_
memory_
alloca/
svcomp_
BrockschmidtCookFuhs-2013CAV-Fig1_
true-alloca.c
11773595
YES
43.81/13.61
YES
242.69/185.70
AProVE_
memory_
alloca/
svcomp_
BrockschmidtCookFuhs-2013CAV-Introduction_
true-alloca.c
11773594
YES
13.28/4.66
YES
18.96/15.40
AProVE_
memory_
alloca/
svcomp_
bubblesort_
alloca.c
11773651
MAYBE
162.88/114.18
YES
19.18/8.59
AProVE_
memory_
alloca/
svcomp_
c.01-no-inv-alloca.c
11773699
YES
48.49/15.38
timeout (wallclock)
[out]
AProVE_
memory_
alloca/
svcomp_
c.01_
assume-alloca.c
11773676
YES
32.65/10.14
YES
23.34/10.93
AProVE_
memory_
alloca/
svcomp_
c.02-alloca.c
11773696
YES
50.76/16.30
timeout (wallclock)
[out]
AProVE_
memory_
alloca/
svcomp_
c.03-alloca.c
11773659
YES
53.41/18.79
timeout (wallclock)
[out]
AProVE_
memory_
alloca/
svcomp_
c.07-alloca.c
11773642
YES
42.95/15.68
timeout (wallclock)
[out]
AProVE_
memory_
alloca/
svcomp_
c.08-alloca.c
11773645
YES
42.69/13.75
timeout (wallclock)
[out]
AProVE_
memory_
alloca/
svcomp_
ChenFlurMukhopadhyay-2012SAS-Fig1_
true-alloca.c
11773652
YES
14.98/4.90
YES
227.07/200.80
AProVE_
memory_
alloca/
svcomp_
CookSeeZuleger-2013TACAS-Fig3_
true-alloca.c
11773654
YES
31.75/9.29
YES
31.26/14.00
AProVE_
memory_
alloca/
svcomp_
CookSeeZuleger-2013TACAS-Fig7a_
true-alloca.c
11773679
YES
36.60/10.93
YES
117.07/77.40
AProVE_
memory_
alloca/
svcomp_
CookSeeZuleger-2013TACAS-Fig7b_
true-alloca.c
11773614
YES
243.40/64.58
timeout (wallclock)
[out]
AProVE_
memory_
alloca/
svcomp_
count_
down_
alloca.c
11773669
YES
235.24/97.89
YES
26.84/11.48
AProVE_
memory_
alloca/
svcomp_
cstrcat_
alloca.c
11773634
MAYBE
10.82/3.94
timeout (wallclock)
[out]
AProVE_
memory_
alloca/
svcomp_
cstrchr_
true_
alloca.c
11773612
YES
16.67/5.72
YES
26.25/11.67
AProVE_
memory_
alloca/
svcomp_
cstrcmp_
true_
alloca.c
11773631
YES
35.76/14.21
YES
60.03/30.34
AProVE_
memory_
alloca/
svcomp_
cstrcpy_
alloca.c
11773611
YES
158.20/125.28
YES
40.13/21.24
AProVE_
memory_
alloca/
svcomp_
cstrcspn_
true_
alloca.c
11773610
YES
107.46/40.18
YES
280.28/242.77
AProVE_
memory_
alloca/
svcomp_
cstrlen_
true_
alloca.c
11773693
YES
14.53/5.16
YES
22.33/9.69
AProVE_
memory_
alloca/
svcomp_
cstrncat_
alloca.c
11773587
MAYBE
11.52/4.20
timeout (wallclock)
[out]
AProVE_
memory_
alloca/
svcomp_
cstrncmp_
true_
alloca.c
11773584
YES
45.08/15.27
YES
57.86/32.36
AProVE_
memory_
alloca/
svcomp_
cstrncpy_
alloca.c
11773608
MAYBE
36.29/13.49
YES
42.58/18.95
AProVE_
memory_
alloca/
svcomp_
cstrpbrk_
true_
alloca.c
11773668
YES
79.64/28.52
YES
306.01/271.29
AProVE_
memory_
alloca/
svcomp_
cstrspn_
true_
alloca.c
11773689
YES
76.90/28.33
YES
170.14/123.29
AProVE_
memory_
alloca/
svcomp_
diff_
alloca.c
11773585
YES
80.43/38.50
YES
78.09/35.91
AProVE_
memory_
alloca/
svcomp_
easySum-alloca.c
11773704
YES
81.94/49.10
YES
29.84/14.73
AProVE_
memory_
alloca/
svcomp_
ex1-alloca.c
11773684
YES
13.71/4.75
YES
187.38/175.20
AProVE_
memory_
alloca/
svcomp_
ex2-alloca.c
11773601
timeout (wallclock)
[out]
MAYBE
71.39/37.12
AProVE_
memory_
alloca/
svcomp_
ex3a-alloca.c
11773635
YES
19.81/7.73
MAYBE
32.97/12.81
AProVE_
memory_
alloca/
svcomp_
ex3b-alloca.c
11773646
YES
39.35/13.58
MAYBE
39.13/16.25
AProVE_
memory_
alloca/
svcomp_
fermat-alloca.c
11773636
YES
146.02/55.50
timeout (wallclock)
[out]
AProVE_
memory_
alloca/
svcomp_
flag-alloca.c
11773690
YES
27.83/9.44
YES
183.93/137.15
AProVE_
memory_
alloca/
svcomp_
gcd1_
true-alloca.c
11773629
YES
118.05/35.88
YES
52.80/29.36
AProVE_
memory_
alloca/
svcomp_
genady_
true-alloca.c
11773632
YES
33.26/16.33
YES
19.13/8.87
AProVE_
memory_
alloca/
svcomp_
GulwaniJainKoskinen-2009PLDI-Fig1_
true-alloca.c
11773678
timeout (wallclock)
[out]
YES
270.87/202.92
AProVE_
memory_
alloca/
svcomp_
HarrisLalNoriRajamani-2010SAS-Fig1_
true-alloca.c
11773700
YES
10.05/3.70
timeout (wallclock)
[out]
AProVE_
memory_
alloca/
svcomp_
HarrisLalNoriRajamani-2010SAS-Fig2_
false-unreach-label-termination-alloca.c
11773609
timeout (wallclock)
[out]
NO
47.95/21.20
AProVE_
memory_
alloca/
svcomp_
HarrisLalNoriRajamani-2010SAS-Fig3_
true-alloca.c
11773649
YES
23.24/6.91
YES
15.42/7.13
AProVE_
memory_
alloca/
svcomp_
insertionsort_
alloca.c
11773617
YES
143.04/89.74
YES
26.57/11.10
AProVE_
memory_
alloca/
svcomp_
java_
AG313-alloca.c
11773628
YES
36.44/12.13
YES
97.86/73.40
AProVE_
memory_
alloca/
svcomp_
java_
Break-alloca.c
11773637
YES
10.56/3.66
YES
32.21/21.80
AProVE_
memory_
alloca/
svcomp_
java_
BubbleSort_
alloca.c
11773673
MAYBE
148.85/111.95
YES
22.40/9.77
AProVE_
memory_
alloca/
svcomp_
java_
Continue1-alloca.c
11773618
YES
17.55/5.85
YES
138.71/98.81
AProVE_
memory_
alloca/
svcomp_
java_
LogBuiltIn-alloca.c
11773660
YES
14.72/5.01
YES
25.09/14.41
AProVE_
memory_
alloca/
svcomp_
java_
Nested-alloca.c
11773624
YES
39.55/13.77
ERROR
243.34/206.21
AProVE_
memory_
alloca/
svcomp_
java_
Sequence-alloca.c
11773650
YES
18.29/5.86
timeout (wallclock)
[out]
AProVE_
memory_
alloca/
svcomp_
KroeningSharyginaTsitovichWintersteiger-2010CAV-Fig1_
true-alloca.c
11773667
timeout (wallclock)
[out]
YES
26.92/11.48
AProVE_
memory_
alloca/
svcomp_
LarrazOliverasRodriguez-CarbonellRubio-2013FMCAD-Fig1_
true-alloca.c
11773705
YES
68.46/21.46
timeout (wallclock)
[out]
AProVE_
memory_
alloca/
svcomp_
lis_
alloca.c
11773648
MAYBE
126.05/84.18
YES
96.60/52.50
AProVE_
memory_
alloca/
svcomp_
Masse_
true-alloca.c
11773592
timeout (wallclock)
[out]
MAYBE
23.81/9.06
AProVE_
memory_
alloca/
svcomp_
min_
rf_
true-alloca.c
11773597
YES
130.65/56.42
timeout (wallclock)
[out]
AProVE_
memory_
alloca/
svcomp_
mult_
array_
alloca.c
11773671
MAYBE
7.12/2.71
YES
151.97/124.58
AProVE_
memory_
alloca/
svcomp_
NoriSharma-2013FSE-Fig7_
true-alloca.c
11773627
YES
73.56/30.99
timeout (wallclock)
[out]
AProVE_
memory_
alloca/
svcomp_
NoriSharma-2013FSE-Fig8_
true-alloca.c
11773625
YES
69.08/24.05
timeout (wallclock)
[out]
AProVE_
memory_
alloca/
svcomp_
openbsd_
cbzero_
alloca.c
11773593
YES
18.68/6.21
YES
22.24/10.10
AProVE_
memory_
alloca/
svcomp_
openbsd_
cmemchr_
alloca.c
11773663
MAYBE
22.67/7.73
YES
22.55/9.96
AProVE_
memory_
alloca/
svcomp_
openbsd_
cmemrchr_
alloca.c
11773692
MAYBE
25.81/8.77
MAYBE
13.77/6.33
AProVE_
memory_
alloca/
svcomp_
openbsd_
cmemset_
alloca.c
11773616
YES
25.92/8.62
YES
21.76/9.80
AProVE_
memory_
alloca/
svcomp_
openbsd_
cstpcpy_
alloca.c
11773702
YES
124.93/91.21
YES
36.90/20.32
AProVE_
memory_
alloca/
svcomp_
openbsd_
cstpncpy_
alloca.c
11773583
YES
95.72/49.64
timeout (wallclock)
[out]
AProVE_
memory_
alloca/
svcomp_
openbsd_
cstrcat_
alloca.c
11773691
MAYBE
12.02/4.43
timeout (wallclock)
[out]
AProVE_
memory_
alloca/
svcomp_
openbsd_
cstrcmp_
alloca.c
11773620
YES
39.01/16.99
YES
70.65/41.72
AProVE_
memory_
alloca/
svcomp_
openbsd_
cstrcpy_
alloca.c
11773686
YES
124.18/90.67
YES
69.83/18.17
AProVE_
memory_
alloca/
svcomp_
openbsd_
cstrcspn_
alloca.c
11773666
timeout (wallclock)
[out]
MAYBE
120.62/75.87
AProVE_
memory_
alloca/
svcomp_
openbsd_
cstrlcpy_
alloca.c
11773607
YES
59.24/21.66
YES
61.09/27.55
AProVE_
memory_
alloca/
svcomp_
openbsd_
cstrlen_
alloca.c
11773653
YES
14.91/5.07
YES
21.66/9.52
AProVE_
memory_
alloca/
svcomp_
openbsd_
cstrncat_
alloca.c
11773602
MAYBE
11.47/4.05
timeout (wallclock)
[out]
AProVE_
memory_
alloca/
svcomp_
openbsd_
cstrncmp_
alloca.c
11773657
YES
39.75/13.72
YES
58.64/30.42
AProVE_
memory_
alloca/
svcomp_
openbsd_
cstrncpy_
alloca.c
11773596
YES
69.64/30.44
YES
58.59/26.79
AProVE_
memory_
alloca/
svcomp_
openbsd_
cstrnlen_
alloca.c
11773623
YES
23.70/7.84
ERROR
10.40/5.16
AProVE_
memory_
alloca/
svcomp_
openbsd_
cstrpbrk_
alloca.c
11773591
YES
56.75/20.34
YES
68.21/35.23
AProVE_
memory_
alloca/
svcomp_
openbsd_
cstrspn_
alloca.c
11773615
timeout (wallclock)
[out]
MAYBE
88.75/44.07
AProVE_
memory_
alloca/
svcomp_
openbsd_
cstrstr_
alloca.c
11773677
YES
244.02/92.34
timeout (wallclock)
[out]
AProVE_
memory_
alloca/
svcomp_
PodelskiRybalchenko-2004VMCAI-Ex2_
true-alloca.c
11773672
NO
14.24/2.82
MAYBE
27.94/10.61
AProVE_
memory_
alloca/
svcomp_
selectionsort_
alloca.c
11773589
MAYBE
260.12/196.83
YES
29.39/12.50
AProVE_
memory_
alloca/
svcomp_
stroeder1_
alloca.c
11773656
YES
34.11/11.43
YES
19.68/8.38
AProVE_
memory_
alloca/
svcomp_
stroeder2_
alloca.c
11773630
YES
87.05/32.80
YES
21.17/9.06
AProVE_
memory_
alloca/
svcomp_
strreplace_
alloca.c
11773683
YES
66.02/21.82
YES
40.55/19.85
AProVE_
memory_
alloca/
svcomp_
subseq_
alloca.c
11773590
YES
63.36/20.99
YES
109.30/80.41
AProVE_
memory_
alloca/
svcomp_
substring_
alloca.c
11773674
YES
77.84/30.16
YES
354.80/290.33
AProVE_
memory_
alloca/
svcomp_
TelAviv-Amir-Minimum_
true-alloca.c
11773703
timeout (wallclock)
[out]
timeout (wallclock)
[out]
AProVE_
memory_
alloca/
svcomp_
Toulouse-BranchesToLoop_
true-alloca.c
11773586
YES
17.48/5.72
YES
90.06/60.70
AProVE_
memory_
alloca/
svcomp_
Toulouse-MultiBranchesToLoop_
true-alloca.c
11773706
YES
18.13/5.91
YES
278.60/212.40
AProVE_
memory_
alloca/
svcomp_
twisted-alloca.c
11773670
YES
8.41/3.11
YES
317.4/285.12
AProVE_
memory_
alloca/
svcomp_
Urban-2013WST-Fig1_
false-unreach-label-termination-alloca.c
11773641
NO
6.57/2.56
NO
12.18/6.21
AProVE_
memory_
alloca/
svcomp_
Urban-2013WST-Fig2-modified1000_
true-alloca.c
11773598
YES
20.14/6.30
timeout (wallclock)
[out]
AProVE_
memory_
alloca/
svcomp_
Urban-2013WST-Fig2_
true-alloca.c
11773697
YES
17.00/5.33
YES
121.00/74.29
AProVE_
memory_
alloca/
svcomp_
Urban_
true-alloca.c
11773707
YES
136.26/37.43
YES
66.76/31.08
AProVE_
memory_
alloca/
svcomp_
Velroyen_
false-unreach-label-termination-alloca.c
11773685
NO
8.64/3.10
NO
20.32/9.06
296
313