C_Integer/Stroeder_15/2Nested_true-termination.c
|
YES
3.0 /
1.8
|
YES
0.2 /
0.2
|
YES
9.8 /
5.5
|
roeder_15/4NestedWith3Variables_true-termination.c
|
YES
15.2 /
9.2
|
.
47.1 /
57.9
|
YES
11.4 /
6.1
|
teFeautrierGonnord-SAS2010-Fig1_true-termination.c
|
YES
2.8 /
1.7
|
YES
1.0 /
1.5
|
YES
14.1 /
8.1
|
eFeautrierGonnord-SAS2010-Fig2a_true-termination.c
|
YES
2.8 /
2.3
|
YES
0.6 /
0.6
|
YES
13.6 /
13.5
|
eFeautrierGonnord-SAS2010-Fig2b_true-termination.c
|
.
237.4 /
104.8
|
.
13.8 /
16.0
|
YES
19.4 /
15.7
|
eautrierGonnord-SAS2010-complex_true-termination.c
|
YES
3.4 /
1.9
|
YES
1.1 /
1.1
|
YES
16.9 /
24.3
|
rierGonnord-SAS2010-counterex1a_true-termination.c
|
.
51.0 /
46.3
|
.
65.3 /
65.4
|
YES
17.9 /
10.8
|
rierGonnord-SAS2010-counterex1b_true-termination.c
|
YES
2.8 /
1.7
|
YES
1.1 /
1.1
|
YES
14.6 /
11.1
|
eautrierGonnord-SAS2010-cousot9_true-termination.c
|
YES
2.7 /
2.1
|
YES
0.3 /
0.3
|
YES
12.2 /
7.3
|
FeautrierGonnord-SAS2010-exmini_true-termination.c
|
YES
3.0 /
3.9
|
YES
0.3 /
1.1
|
YES
11.8 /
19.0
|
eFeautrierGonnord-SAS2010-loops_true-termination.c
|
YES
35.5 /
13.8
|
YES
0.5 /
1.2
|
YES
15.0 /
7.5
|
eFeautrierGonnord-SAS2010-ndecr_true-termination.c
|
YES
2.4 /
1.6
|
YES
0.2 /
0.2
|
YES
9.6 /
5.4
|
trierGonnord-SAS2010-nestedLoop_true-termination.c
|
YES
3.3 /
2.0
|
YES
0.8 /
0.9
|
YES
14.6 /
8.6
|
autrierGonnord-SAS2010-random1d_true-termination.c
|
YES
2.6 /
1.6
|
YES
0.2 /
0.3
|
YES
10.3 /
11.6
|
autrierGonnord-SAS2010-random2d_true-termination.c
|
YES
3.9 /
2.1
|
YES
0.6 /
0.6
|
YES
11.5 /
7.2
|
rteFeautrierGonnord-SAS2010-rsd_true-termination.c
|
YES
25.8 /
10.0
|
YES
0.5 /
0.5
|
YES
13.6 /
7.4
|
rierGonnord-SAS2010-speedFails4_true-termination.c
|
YES
14.0 /
14.9
|
YES
0.3 /
0.4
|
YES
13.2 /
7.9
|
trierGonnord-SAS2010-speedpldi2_true-termination.c
|
YES
37.6 /
14.1
|
.
5.1 /
5.2
|
YES
14.5 /
8.2
|
trierGonnord-SAS2010-speedpldi3_true-termination.c
|
YES
2.6 /
1.9
|
YES
0.3 /
0.3
|
YES
12.3 /
7.1
|
trierGonnord-SAS2010-speedpldi4_true-termination.c
|
YES
12.4 /
11.0
|
YES
0.4 /
0.4
|
YES
12.2 /
18.1
|
utrierGonnord-SAS2010-terminate_true-termination.c
|
YES
2.7 /
1.9
|
YES
0.2 /
0.2
|
YES
10.7 /
6.9
|
eFeautrierGonnord-SAS2010-wcet2_true-termination.c
|
YES
2.7 /
3.8
|
YES
0.4 /
1.2
|
YES
13.7 /
22.5
|
FeautrierGonnord-SAS2010-while2_true-termination.c
|
YES
2.7 /
1.7
|
YES
0.3 /
0.3
|
YES
13.7 /
19.2
|
teFeautrierGonnord-SAS2010-wise_true-termination.c
|
YES
20.0 /
6.8
|
YES
0.3 /
1.1
|
YES
12.7 /
7.0
|
C_Integer/Stroeder_15/AlternDiv.c
|
NO
6.8 /
3.4
|
NO
0.2 /
0.2
|
NO
12.3 /
6.5
|
C_Integer/Stroeder_15/AlternDivWide.c
|
NO
7.5 /
3.2
|
NO
0.6 /
1.1
|
NO
15.2 /
7.6
|
C_Integer/Stroeder_15/AlternDivWidening.c
|
.
803.0 /
300.0
|
NO
0.5 /
0.6
|
NO
12.8 /
6.8
|
C_Integer/Stroeder_15/AlternKonv.c
|
NO
10.9 /
5.0
|
NO
0.8 /
0.8
|
NO
12.4 /
7.0
|
oeder_15/Avery-FLOPS2006-Table1_true-termination.c
|
YES
2.6 /
1.6
|
YES
0.3 /
0.3
|
YES
10.9 /
5.7
|
C_Integer/Stroeder_15/Bangalore_true-termination.c
|
YES
8.2 /
5.4
|
YES
0.2 /
0.2
|
YES
10.2 /
6.5
|
der_15/Ben-Amram-LMCS2010-Ex2.3_true-termination.c
|
YES
16.8 /
7.6
|
YES
0.3 /
0.4
|
YES
15.0 /
22.5
|
C_Integer/Stroeder_15/Benghazi_true-termination.c
|
YES
16.9 /
9.0
|
YES
0.5 /
0.6
|
YES
11.8 /
16.5
|
nnaSipma-CAV2005-Fig1-modified_false-termination.c
|
.
434.3 /
300.0
|
NO
0.3 /
0.4
|
NO
10.5 /
6.1
|
/BradleyMannaSipma-CAV2005-Fig1_true-termination.c
|
YES
34.5 /
35.5
|
YES
0.4 /
0.5
|
YES
15.8 /
9.1
|
radleyMannaSipma-ICALP2005-Fig1_true-termination.c
|
.
876.8 /
300.1
|
YES
64.3 /
65.4
|
YES
14.8 /
17.1
|
ockschmidtCookFuhs-CAV2013-Fig1_true-termination.c
|
YES
2.7 /
1.7
|
YES
0.3 /
0.3
|
YES
12.3 /
6.6
|
ckschmidtCookFuhs-CAV2013-Fig9a_true-termination.c
|
YES
219.9 /
73.2
|
YES
1.5 /
1.5
|
YES
13.4 /
7.4
|
dtCookFuhs-CAV2013-Introduction_true-termination.c
|
YES
4.1 /
4.7
|
YES
0.2 /
0.4
|
YES
11.7 /
19.0
|
C_Integer/Stroeder_15/Cairo_true-termination.c
|
YES
5.2 /
3.5
|
YES
0.2 /
0.2
|
YES
12.2 /
6.1
|
lwaniSagivYang-ESOP2008-aaron12_true-termination.c
|
YES
42.4 /
16.2
|
YES
22.5 /
22.8
|
.
20.6 /
13.1
|
ulwaniSagivYang-ESOP2008-aaron1_true-termination.c
|
YES
17.0 /
5.5
|
YES
0.7 /
1.5
|
YES
12.4 /
6.7
|
ulwaniSagivYang-ESOP2008-aaron4_true-termination.c
|
YES
130.8 /
54.5
|
YES
1.9 /
2.0
|
YES
14.0 /
21.5
|
ulwaniSagivYang-ESOP2008-aaron6_true-termination.c
|
YES
3.2 /
5.2
|
YES
0.6 /
0.6
|
YES
11.2 /
7.7
|
waniSagivYang-ESOP2008-random1d_true-termination.c
|
YES
2.9 /
5.4
|
YES
0.3 /
0.3
|
YES
10.4 /
5.5
|
waniSagivYang-ESOP2008-random2d_true-termination.c
|
YES
4.1 /
2.0
|
YES
0.5 /
0.6
|
YES
10.9 /
6.2
|
rOHearn-TACAS2014-Introduction_false-termination.c
|
NO
4.2 /
2.5
|
NO
0.2 /
0.2
|
NO
10.5 /
15.6
|
FlurMukhopadhyay-SAS2012-Ex1.01_true-termination.c
|
YES
6.1 /
4.0
|
YES
0.3 /
0.3
|
.
17.3 /
21.9
|
FlurMukhopadhyay-SAS2012-Ex1.02_true-termination.c
|
YES
2.6 /
1.6
|
YES
0.2 /
0.3
|
YES
10.3 /
5.6
|
FlurMukhopadhyay-SAS2012-Ex1.03_true-termination.c
|
YES
2.5 /
1.6
|
YES
0.2 /
0.2
|
YES
9.8 /
12.3
|
FlurMukhopadhyay-SAS2012-Ex1.04_true-termination.c
|
YES
2.4 /
1.6
|
YES
0.2 /
0.2
|
YES
11.9 /
11.4
|
FlurMukhopadhyay-SAS2012-Ex1.05_true-termination.c
|
YES
2.6 /
2.1
|
YES
0.2 /
0.2
|
YES
10.8 /
5.8
|
FlurMukhopadhyay-SAS2012-Ex2.01_true-termination.c
|
YES
3.4 /
2.0
|
YES
0.2 /
0.2
|
YES
11.6 /
8.7
|
lurMukhopadhyay-SAS2012-Ex2.02_false-termination.c
|
.
595.5 /
300.0
|
NO
0.8 /
0.8
|
.
21.0 /
8.6
|
lurMukhopadhyay-SAS2012-Ex2.03_false-termination.c
|
NO
6.7 /
3.4
|
NO
0.4 /
0.4
|
NO
10.8 /
6.3
|
lurMukhopadhyay-SAS2012-Ex2.04_false-termination.c
|
NO
7.3 /
3.3
|
NO
0.4 /
1.4
|
NO
9.9 /
5.2
|
lurMukhopadhyay-SAS2012-Ex2.06_false-termination.c
|
.
717.8 /
300.0
|
.
1.0 /
1.4
|
.
22.7 /
9.8
|
FlurMukhopadhyay-SAS2012-Ex2.07_true-termination.c
|
YES
3.4 /
2.4
|
YES
0.2 /
0.3
|
YES
11.7 /
16.5
|
FlurMukhopadhyay-SAS2012-Ex2.08_true-termination.c
|
YES
3.9 /
2.8
|
YES
0.2 /
0.3
|
YES
10.5 /
5.8
|
FlurMukhopadhyay-SAS2012-Ex2.09_true-termination.c
|
YES
9.7 /
4.1
|
YES
0.5 /
0.5
|
YES
10.5 /
5.8
|
FlurMukhopadhyay-SAS2012-Ex2.10_true-termination.c
|
YES
2.5 /
1.6
|
YES
0.2 /
0.2
|
YES
11.4 /
16.0
|
lurMukhopadhyay-SAS2012-Ex2.11_false-termination.c
|
.
986.9 /
300.1
|
NO
0.3 /
0.3
|
.
294.8 /
300.0
|
lurMukhopadhyay-SAS2012-Ex2.12_false-termination.c
|
NO
10.2 /
7.6
|
NO
52.4 /
77.6
|
NO
10.0 /
12.3
|
FlurMukhopadhyay-SAS2012-Ex2.13_true-termination.c
|
YES
4.3 /
2.3
|
YES
0.2 /
0.2
|
YES
10.6 /
7.0
|
lurMukhopadhyay-SAS2012-Ex2.14_false-termination.c
|
NO
9.0 /
6.1
|
.
1.7 /
3.6
|
NO
9.7 /
5.4
|
lurMukhopadhyay-SAS2012-Ex2.15_false-termination.c
|
NO
5.2 /
2.9
|
NO
0.2 /
0.2
|
NO
10.7 /
6.5
|
FlurMukhopadhyay-SAS2012-Ex2.16_true-termination.c
|
YES
6.0 /
2.9
|
YES
0.2 /
0.2
|
YES
10.9 /
6.6
|
lurMukhopadhyay-SAS2012-Ex2.17_false-termination.c
|
.
444.9 /
300.1
|
NO
0.4 /
0.4
|
NO
9.6 /
5.2
|
FlurMukhopadhyay-SAS2012-Ex2.18_true-termination.c
|
YES
5.8 /
2.7
|
YES
0.2 /
0.2
|
YES
11.3 /
6.7
|
FlurMukhopadhyay-SAS2012-Ex2.19_true-termination.c
|
YES
5.7 /
2.5
|
YES
0.2 /
0.2
|
YES
11.7 /
16.4
|
FlurMukhopadhyay-SAS2012-Ex2.20_true-termination.c
|
YES
2.8 /
2.2
|
YES
0.2 /
0.3
|
YES
11.3 /
17.6
|
FlurMukhopadhyay-SAS2012-Ex2.21_true-termination.c
|
YES
8.2 /
13.1
|
YES
0.2 /
0.8
|
YES
10.3 /
5.3
|
FlurMukhopadhyay-SAS2012-Ex2.22_true-termination.c
|
YES
7.7 /
4.0
|
YES
0.3 /
0.3
|
YES
10.4 /
5.7
|
FlurMukhopadhyay-SAS2012-Ex3.01_true-termination.c
|
YES
7.7 /
3.2
|
YES
0.2 /
0.2
|
YES
11.2 /
9.3
|
lurMukhopadhyay-SAS2012-Ex3.02_false-termination.c
|
NO
9.4 /
13.9
|
NO
1.7 /
1.7
|
NO
9.7 /
5.2
|
FlurMukhopadhyay-SAS2012-Ex3.03_true-termination.c
|
YES
4.2 /
4.0
|
YES
0.5 /
0.6
|
YES
11.7 /
15.9
|
FlurMukhopadhyay-SAS2012-Ex3.04_true-termination.c
|
YES
9.8 /
4.1
|
YES
0.3 /
0.3
|
YES
10.5 /
5.6
|
FlurMukhopadhyay-SAS2012-Ex3.05_true-termination.c
|
YES
12.0 /
6.7
|
YES
0.3 /
0.3
|
YES
12.0 /
9.3
|
lurMukhopadhyay-SAS2012-Ex3.06_false-termination.c
|
.
577.4 /
300.0
|
NO
1.1 /
1.1
|
.
20.5 /
9.1
|
FlurMukhopadhyay-SAS2012-Ex3.07_true-termination.c
|
YES
7.2 /
3.9
|
YES
0.6 /
0.6
|
YES
12.0 /
12.3
|
FlurMukhopadhyay-SAS2012-Ex3.08_true-termination.c
|
YES
7.9 /
3.4
|
YES
0.2 /
0.2
|
YES
11.7 /
7.3
|
FlurMukhopadhyay-SAS2012-Ex3.09_true-termination.c
|
YES
12.0 /
5.9
|
YES
0.4 /
0.8
|
YES
10.2 /
5.7
|
FlurMukhopadhyay-SAS2012-Ex3.10_true-termination.c
|
YES
2.6 /
1.6
|
YES
0.2 /
0.3
|
YES
11.4 /
16.8
|
FlurMukhopadhyay-SAS2012-Ex4.01_true-termination.c
|
YES
10.0 /
3.6
|
YES
0.8 /
0.8
|
YES
10.3 /
6.0
|
enFlurMukhopadhyay-SAS2012-Fig1_true-termination.c
|
YES
7.9 /
3.9
|
YES
0.6 /
0.6
|
YES
10.9 /
7.3
|
C_Integer/Stroeder_15/Choose.c
|
NO
6.0 /
4.5
|
NO
0.2 /
0.9
|
NO
11.9 /
7.4
|
C_Integer/Stroeder_15/ChooseLife.c
|
NO
5.7 /
3.6
|
NO
0.3 /
0.5
|
.
20.6 /
8.9
|
er_15/ColonSipma-TACAS2001-Fig1_true-termination.c
|
YES
2.6 /
1.6
|
YES
0.2 /
0.2
|
YES
10.9 /
7.5
|
C_Integer/Stroeder_15/ComplInterv.c
|
.
740.0 /
300.0
|
.
0.6 /
1.3
|
.
16.3 /
7.7
|
C_Integer/Stroeder_15/ComplInterv2.c
|
NO
5.7 /
2.8
|
NO
0.3 /
0.3
|
NO
9.8 /
6.1
|
C_Integer/Stroeder_15/ComplInterv3.c
|
NO
5.2 /
2.9
|
NO
0.3 /
0.3
|
NO
10.5 /
6.1
|
C_Integer/Stroeder_15/ComplxStruc.c
|
.
860.6 /
300.1
|
.
3.3 /
3.3
|
NO
20.7 /
15.7
|
C_Integer/Stroeder_15/ConvLower.c
|
NO
3.6 /
1.9
|
NO
0.2 /
0.2
|
NO
10.4 /
5.8
|
5/CookSeeZuleger-TACAS2013-Fig1_true-termination.c
|
YES
2.7 /
1.7
|
YES
0.3 /
1.2
|
YES
12.9 /
7.2
|
/CookSeeZuleger-TACAS2013-Fig7a_true-termination.c
|
YES
3.2 /
3.7
|
YES
0.4 /
0.4
|
YES
14.4 /
8.2
|
/CookSeeZuleger-TACAS2013-Fig7b_true-termination.c
|
YES
3.9 /
8.6
|
YES
0.7 /
1.1
|
YES
15.2 /
8.4
|
uleger-TACAS2013-Fig8a-modified_true-termination.c
|
YES
9.0 /
4.5
|
YES
0.2 /
0.2
|
YES
13.3 /
19.9
|
/CookSeeZuleger-TACAS2013-Fig8a_true-termination.c
|
YES
6.8 /
4.5
|
YES
0.2 /
0.3
|
YES
11.8 /
6.1
|
/CookSeeZuleger-TACAS2013-Fig8b_true-termination.c
|
YES
7.6 /
10.2
|
YES
0.3 /
0.3
|
YES
15.5 /
10.3
|
_Integer/Stroeder_15/Copenhagen_true-termination.c
|
YES
2.6 /
1.7
|
YES
0.2 /
0.4
|
YES
10.2 /
5.5
|
C_Integer/Stroeder_15/Cousot.c
|
NO
3.2 /
1.8
|
NO
0.2 /
0.8
|
NO
10.5 /
5.8
|
C_Integer/Stroeder_15/DivMinus.c
|
YES
2.6 /
1.6
|
YES
0.2 /
0.3
|
YES
10.2 /
5.4
|
C_Integer/Stroeder_15/DivMinus2.c
|
YES
29.3 /
9.1
|
YES
0.4 /
0.4
|
YES
12.9 /
7.2
|
C_Integer/Stroeder_15/DivWithoutMinus.c
|
.
398.3 /
300.1
|
.
12.1 /
19.2
|
NO
11.5 /
6.0
|
C_Integer/Stroeder_15/DoubleNeg.c
|
.
664.5 /
300.1
|
NO
0.3 /
0.3
|
.
17.1 /
9.7
|
C_Integer/Stroeder_15/Et1.c
|
YES
3.2 /
1.8
|
YES
0.3 /
0.3
|
YES
10.0 /
5.6
|
C_Integer/Stroeder_15/Et2.c
|
NO
4.1 /
2.2
|
NO
0.2 /
0.2
|
NO
10.0 /
6.4
|
C_Integer/Stroeder_15/Et4.c
|
NO
4.1 /
2.1
|
NO
0.3 /
0.3
|
NO
10.6 /
8.4
|
C_Integer/Stroeder_15/Even.c
|
NO
3.8 /
2.1
|
NO
0.2 /
0.2
|
NO
10.7 /
6.4
|
C_Integer/Stroeder_15/Ex01.c
|
NO
4.4 /
7.1
|
NO
0.2 /
0.8
|
NO
10.5 /
6.8
|
C_Integer/Stroeder_15/Ex02.c
|
NO
3.8 /
2.1
|
NO
0.2 /
0.2
|
NO
12.1 /
19.6
|
C_Integer/Stroeder_15/Ex03.c
|
NO
3.5 /
1.9
|
NO
0.2 /
0.2
|
NO
10.4 /
16.3
|
C_Integer/Stroeder_15/Ex04.c
|
NO
2.9 /
1.8
|
NO
0.1 /
0.3
|
NO
9.7 /
5.3
|
C_Integer/Stroeder_15/Ex05.c
|
NO
3.0 /
5.9
|
NO
0.1 /
0.1
|
NO
10.7 /
8.4
|
C_Integer/Stroeder_15/Ex06.c
|
NO
6.5 /
3.3
|
NO
0.3 /
1.5
|
NO
12.7 /
17.8
|
C_Integer/Stroeder_15/Ex07.c
|
NO
6.2 /
3.1
|
NO
0.3 /
0.7
|
NO
13.3 /
20.6
|
C_Integer/Stroeder_15/Ex08.c
|
.
429.7 /
300.0
|
.
3.3 /
3.3
|
NO
141.3 /
112.4
|
C_Integer/Stroeder_15/Factorial.c
|
.
1075.6 /
300.1
|
NO
14.3 /
14.5
|
.
25.8 /
17.4
|
C_Integer/Stroeder_15/Fibonacci.c
|
.
1174.2 /
300.0
|
NO
3.8 /
3.8
|
.
23.0 /
10.1
|
C_Integer/Stroeder_15/Flip.c
|
NO
5.3 /
3.6
|
NO
0.3 /
1.1
|
NO
11.7 /
8.8
|
C_Integer/Stroeder_15/Flip2.c
|
NO
9.2 /
4.3
|
NO
0.4 /
0.4
|
NO
13.7 /
7.5
|
C_Integer/Stroeder_15/GCD.c
|
NO
18.2 /
7.4
|
NO
1.0 /
1.1
|
NO
10.2 /
5.4
|
C_Integer/Stroeder_15/GCD2.c
|
NO
5.7 /
3.3
|
NO
0.8 /
2.6
|
NO
11.5 /
18.0
|
C_Integer/Stroeder_15/GCD3.c
|
YES
18.1 /
22.1
|
YES
0.8 /
0.8
|
YES
16.4 /
27.4
|
C_Integer/Stroeder_15/GCD4.c
|
YES
17.4 /
6.9
|
.
1.7 /
2.7
|
YES
13.1 /
7.6
|
C_Integer/Stroeder_15/Gauss.c
|
NO
3.5 /
2.0
|
NO
0.2 /
0.2
|
.
22.4 /
11.5
|
er_15/GopanReps-CAV2006-Fig1a_true-termination.c.c
|
YES
2.8 /
1.7
|
YES
0.2 /
0.2
|
YES
13.6 /
7.4
|
_Integer/Stroeder_15/Gothenburg_true-termination.c
|
YES
151.2 /
54.9
|
.
5.1 /
5.2
|
YES
19.0 /
8.0
|
5/GulavaniGulwani-CAV2008-Fig1a_true-termination.c
|
YES
2.7 /
1.7
|
YES
0.2 /
0.3
|
YES
14.6 /
23.3
|
5/GulavaniGulwani-CAV2008-Fig1b_true-termination.c
|
YES
2.6 /
1.6
|
YES
0.4 /
1.2
|
YES
10.8 /
5.9
|
5/GulavaniGulwani-CAV2008-Fig1c_true-termination.c
|
YES
2.6 /
1.7
|
YES
0.2 /
0.3
|
YES
10.8 /
6.6
|
lwaniJainKoskinen-PLDI2009-Fig1_true-termination.c
|
.
538.5 /
300.0
|
.
22.0 /
22.0
|
.
337.6 /
300.0
|
ickeLeikePodelski-ATVA2013-Fig1_true-termination.c
|
YES
3.0 /
1.8
|
YES
0.2 /
0.2
|
YES
10.4 /
17.5
|
ickeLeikePodelski-ATVA2013-Fig4_true-termination.c
|
YES
2.4 /
1.6
|
YES
0.2 /
0.7
|
YES
11.3 /
7.1
|
ickeLeikePodelski-ATVA2013-Fig6_true-termination.c
|
YES
2.9 /
6.4
|
YES
0.2 /
0.2
|
YES
10.0 /
5.3
|
ickeLeikePodelski-ATVA2013-Fig8_true-termination.c
|
.
890.7 /
300.1
|
YES
0.3 /
0.8
|
.
14.8 /
7.3
|
ickeLeikePodelski-ATVA2013-Fig9_true-termination.c
|
.
479.5 /
300.1
|
YES
0.3 /
0.3
|
.
18.1 /
10.2
|
C_Integer/Stroeder_15/IntPath.c
|
YES
3.2 /
2.4
|
YES
0.2 /
0.2
|
YES
10.0 /
5.5
|
itovichWintersteiger-CAV2010-Ex_true-termination.c
|
YES
2.5 /
1.6
|
YES
0.3 /
0.7
|
YES
9.9 /
5.6
|
z-CarbonellRubio-FMCAD2013-Fig1_true-termination.c
|
.
500.6 /
300.1
|
YES
6.7 /
6.7
|
YES
15.2 /
9.0
|
C_Integer/Stroeder_15/Lcm.c
|
NO
37.6 /
14.4
|
.
183.6 /
300.0
|
NO
11.3 /
17.2
|
_15/LeikeHeizmann-TACAS2014-Ex1_true-termination.c
|
YES
2.5 /
3.0
|
YES
0.2 /
0.2
|
YES
11.2 /
9.2
|
_15/LeikeHeizmann-TACAS2014-Ex7_true-termination.c
|
YES
6.0 /
7.3
|
YES
0.2 /
0.2
|
YES
11.4 /
6.5
|
_15/LeikeHeizmann-TACAS2014-Ex8_true-termination.c
|
YES
3.3 /
2.4
|
YES
0.2 /
0.2
|
YES
13.6 /
11.4
|
_15/LeikeHeizmann-TACAS2014-Ex9_true-termination.c
|
YES
7.7 /
3.4
|
YES
0.3 /
0.3
|
YES
11.4 /
5.9
|
15/LeikeHeizmann-TACAS2014-Fig1_true-termination.c
|
YES
3.0 /
1.8
|
YES
0.2 /
0.2
|
YES
10.1 /
5.6
|
r_15/LeikeHeizmann-WST2014-Ex5_false-termination.c
|
.
684.1 /
300.4
|
NO
0.2 /
0.2
|
.
20.1 /
8.5
|
r_15/LeikeHeizmann-WST2014-Ex6_false-termination.c
|
NO
4.4 /
2.9
|
NO
0.2 /
0.2
|
NO
10.5 /
5.5
|
der_15/Lobnya-Boolean-Reordered_true-termination.c
|
YES
6.0 /
3.2
|
YES
0.3 /
0.3
|
YES
19.0 /
8.0
|
C_Integer/Stroeder_15/Log.c
|
YES
2.8 /
2.9
|
YES
0.3 /
0.3
|
YES
12.2 /
10.4
|
C_Integer/Stroeder_15/LogAG.c
|
YES
2.6 /
1.8
|
YES
0.4 /
0.4
|
YES
12.1 /
6.8
|
C_Integer/Stroeder_15/LogMult.c
|
YES
13.6 /
7.3
|
YES
0.7 /
1.0
|
.
26.6 /
13.1
|
C_Integer/Stroeder_15/Loop.c
|
NO
4.0 /
7.0
|
NO
0.1 /
0.2
|
NO
11.4 /
7.3
|
C_Integer/Stroeder_15/Madrid_false-termination.c
|
NO
2.7 /
2.0
|
NO
0.1 /
0.1
|
NO
10.7 /
5.3
|
C_Integer/Stroeder_15/Marbie1.c
|
NO
3.7 /
2.6
|
NO
0.2 /
0.2
|
NO
9.9 /
5.4
|
C_Integer/Stroeder_15/Marbie2.c
|
NO
2.7 /
1.7
|
NO
0.1 /
0.1
|
NO
10.9 /
7.5
|
Stroeder_15/Masse-VMCAI2014-Ex6_true-termination.c
|
YES
2.7 /
2.1
|
YES
0.2 /
0.2
|
YES
13.6 /
7.5
|
roeder_15/Masse-VMCAI2014-Fig1a_true-termination.c
|
YES
3.3 /
5.5
|
YES
0.3 /
1.0
|
YES
14.1 /
8.5
|
roeder_15/Masse-VMCAI2014-Fig1b_true-termination.c
|
.
414.0 /
300.1
|
.
16.6 /
16.7
|
.
17.2 /
17.7
|
C_Integer/Stroeder_15/McCarthyIterative.c
|
YES
2.9 /
3.8
|
YES
0.3 /
0.3
|
YES
52.4 /
30.7
|
C_Integer/Stroeder_15/MenloPark_true-termination.c
|
YES
30.4 /
11.6
|
.
16.7 /
17.4
|
YES
11.6 /
6.2
|
C_Integer/Stroeder_15/Middle.c
|
NO
3.3 /
1.9
|
NO
151.1 /
169.2
|
NO
10.1 /
5.5
|
C_Integer/Stroeder_15/MinusBuiltIn.c
|
YES
2.6 /
1.8
|
YES
0.2 /
0.2
|
YES
10.4 /
5.5
|
C_Integer/Stroeder_15/MinusMin.c
|
YES
3.2 /
2.3
|
YES
0.3 /
0.5
|
YES
11.6 /
7.2
|
C_Integer/Stroeder_15/MinusUserDefined.c
|
YES
3.7 /
5.9
|
.
3.1 /
6.9
|
YES
13.2 /
6.9
|
C_Integer/Stroeder_15/MirrorInterv.c
|
NO
29.6 /
11.1
|
.
0.3 /
300.0
|
.
25.9 /
27.7
|
C_Integer/Stroeder_15/MirrorIntervSim.c
|
NO
6.4 /
4.2
|
NO
0.4 /
0.9
|
NO
15.0 /
8.9
|
C_Integer/Stroeder_15/Mysore_true-termination.c
|
YES
7.1 /
2.8
|
YES
0.4 /
0.4
|
YES
10.0 /
11.0
|
C_Integer/Stroeder_15/NO_00.c
|
NO
3.0 /
2.1
|
NO
0.1 /
0.2
|
NO
9.4 /
12.2
|
C_Integer/Stroeder_15/NO_01.c
|
NO
3.8 /
3.9
|
NO
0.6 /
0.6
|
NO
10.7 /
5.7
|
C_Integer/Stroeder_15/NO_02.c
|
NO
3.8 /
2.4
|
NO
0.2 /
0.2
|
NO
10.9 /
18.8
|
C_Integer/Stroeder_15/NO_03.c
|
NO
3.7 /
2.4
|
NO
0.3 /
0.3
|
NO
9.8 /
5.3
|
C_Integer/Stroeder_15/NO_04.c
|
NO
6.7 /
3.4
|
NO
1.3 /
1.3
|
NO
13.3 /
7.8
|
C_Integer/Stroeder_15/NO_10.c
|
NO
6.4 /
9.6
|
NO
0.2 /
0.2
|
NO
11.0 /
11.4
|
C_Integer/Stroeder_15/NO_12.c
|
NO
9.0 /
10.6
|
NO
0.3 /
0.3
|
NO
13.4 /
7.8
|
C_Integer/Stroeder_15/NO_13.c
|
.
256.7 /
300.1
|
.
225.3 /
300.0
|
NO
63.3 /
50.5
|
C_Integer/Stroeder_15/NO_21.c
|
NO
3.8 /
3.1
|
NO
0.2 /
0.2
|
NO
9.9 /
5.2
|
C_Integer/Stroeder_15/NO_22.c
|
.
759.8 /
300.0
|
.
0.5 /
0.5
|
NO
61.4 /
65.1
|
C_Integer/Stroeder_15/NO_23.c
|
NO
3.7 /
2.6
|
NO
0.2 /
0.3
|
NO
12.8 /
20.0
|
C_Integer/Stroeder_15/NO_24.c
|
NO
4.2 /
2.1
|
NO
0.2 /
0.2
|
.
18.2 /
8.1
|
C_Integer/Stroeder_15/NarrowKonv.c
|
.
247.2 /
115.5
|
.
0.5 /
300.0
|
.
333.2 /
300.1
|
C_Integer/Stroeder_15/Narrowing.c
|
.
643.3 /
300.1
|
.
0.4 /
300.0
|
NO
37.7 /
27.5
|
C_Integer/Stroeder_15/Nested.c
|
YES
3.1 /
5.2
|
YES
0.3 /
0.3
|
YES
10.9 /
8.4
|
er/Stroeder_15/NonTermination1_false-termination.c
|
NO
3.1 /
1.9
|
NO
0.2 /
0.2
|
NO
11.4 /
6.8
|
er/Stroeder_15/NonTermination2_false-termination.c
|
NO
3.3 /
1.8
|
NO
0.2 /
0.2
|
.
19.5 /
9.8
|
er/Stroeder_15/NonTermination4_false-termination.c
|
NO
4.8 /
3.0
|
NO
0.2 /
0.2
|
NO
10.2 /
17.6
|
oeder_15/NonTerminationSimple2_false-termination.c
|
NO
2.9 /
1.7
|
NO
0.2 /
0.3
|
NO
9.1 /
5.1
|
oeder_15/NonTerminationSimple3_false-termination.c
|
NO
5.7 /
3.8
|
NO
0.2 /
0.2
|
NO
9.6 /
5.0
|
oeder_15/NonTerminationSimple4_false-termination.c
|
NO
3.1 /
4.3
|
NO
0.2 /
0.6
|
NO
10.6 /
8.0
|
oeder_15/NonTerminationSimple5_false-termination.c
|
NO
14.1 /
6.7
|
NO
0.3 /
0.3
|
NO
14.9 /
16.8
|
oeder_15/NonTerminationSimple6_false-termination.c
|
NO
6.0 /
3.1
|
NO
0.2 /
0.5
|
NO
10.7 /
6.8
|
oeder_15/NonTerminationSimple7_false-termination.c
|
NO
3.9 /
8.8
|
NO
0.2 /
0.8
|
NO
9.6 /
5.1
|
oeder_15/NonTerminationSimple8_false-termination.c
|
NO
5.3 /
7.6
|
NO
0.7 /
0.7
|
NO
11.6 /
6.3
|
oeder_15/NonTerminationSimple9_false-termination.c
|
NO
2.8 /
1.8
|
NO
0.2 /
0.2
|
NO
9.5 /
5.1
|
eder_15/NoriSharma-FSE2013-Fig7_true-termination.c
|
YES
3.0 /
7.2
|
YES
0.3 /
0.3
|
YES
11.3 /
13.8
|
eder_15/NoriSharma-FSE2013-Fig8_true-termination.c
|
YES
2.9 /
2.1
|
YES
0.2 /
0.4
|
YES
12.7 /
15.5
|
_Integer/Stroeder_15/Nyala-2lex_true-termination.c
|
YES
2.9 /
2.5
|
YES
0.3 /
0.3
|
YES
13.1 /
8.4
|
C_Integer/Stroeder_15/Overflow.c
|
YES
2.4 /
1.6
|
YES
0.2 /
0.2
|
YES
9.8 /
5.3
|
C_Integer/Stroeder_15/Parallel_true-termination.c
|
YES
3.5 /
2.5
|
YES
0.2 /
0.3
|
YES
10.8 /
6.0
|
C_Integer/Stroeder_15/PastaA1.c
|
YES
2.6 /
1.7
|
YES
0.3 /
0.5
|
YES
11.6 /
6.8
|
C_Integer/Stroeder_15/PastaA10.c
|
YES
8.3 /
4.1
|
YES
0.2 /
0.3
|
YES
12.4 /
14.9
|
C_Integer/Stroeder_15/PastaA4.c
|
YES
2.4 /
1.6
|
YES
0.2 /
0.2
|
YES
9.9 /
5.3
|
C_Integer/Stroeder_15/PastaA5.c
|
YES
2.5 /
1.6
|
YES
0.2 /
0.2
|
YES
10.9 /
5.6
|
C_Integer/Stroeder_15/PastaA6.c
|
YES
2.7 /
2.0
|
YES
0.2 /
0.2
|
YES
11.2 /
6.8
|
C_Integer/Stroeder_15/PastaA7.c
|
YES
2.6 /
1.6
|
YES
0.2 /
0.2
|
YES
9.8 /
5.5
|
C_Integer/Stroeder_15/PastaA8.c
|
YES
2.5 /
1.6
|
YES
0.2 /
0.2
|
YES
9.9 /
5.5
|
C_Integer/Stroeder_15/PastaA9.c
|
YES
9.1 /
13.9
|
YES
0.2 /
0.2
|
YES
10.4 /
5.6
|
C_Integer/Stroeder_15/PastaB1.c
|
YES
2.4 /
1.6
|
YES
0.2 /
0.2
|
YES
9.8 /
5.4
|
C_Integer/Stroeder_15/PastaB11.c
|
YES
3.1 /
1.8
|
YES
0.3 /
0.3
|
YES
11.5 /
6.1
|
C_Integer/Stroeder_15/PastaB14.c
|
YES
2.7 /
1.7
|
YES
0.3 /
0.4
|
YES
11.2 /
8.8
|
C_Integer/Stroeder_15/PastaB15.c
|
YES
2.8 /
2.2
|
YES
0.3 /
0.4
|
YES
11.3 /
5.7
|
C_Integer/Stroeder_15/PastaB16.c
|
YES
2.7 /
3.6
|
YES
0.3 /
0.3
|
YES
10.2 /
5.7
|
C_Integer/Stroeder_15/PastaB17.c
|
YES
2.6 /
1.6
|
YES
0.4 /
1.0
|
YES
11.0 /
6.4
|
C_Integer/Stroeder_15/PastaB2.c
|
YES
2.5 /
1.7
|
YES
0.2 /
0.2
|
YES
11.6 /
19.1
|
C_Integer/Stroeder_15/PastaB3.c
|
YES
8.4 /
15.0
|
YES
0.2 /
0.2
|
YES
11.3 /
7.0
|
C_Integer/Stroeder_15/PastaB4.c
|
YES
2.9 /
6.5
|
YES
0.2 /
0.2
|
YES
10.7 /
16.3
|
C_Integer/Stroeder_15/PastaB6.c
|
YES
2.6 /
4.7
|
YES
0.2 /
0.2
|
YES
10.2 /
5.4
|
C_Integer/Stroeder_15/PastaB7.c
|
YES
2.6 /
1.6
|
YES
0.2 /
0.3
|
YES
10.2 /
5.3
|
C_Integer/Stroeder_15/PastaC1.c
|
YES
18.1 /
7.4
|
YES
0.4 /
0.5
|
YES
16.6 /
20.0
|
C_Integer/Stroeder_15/PastaC10.c
|
NO
3.3 /
1.9
|
NO
0.2 /
0.3
|
NO
10.4 /
5.6
|
C_Integer/Stroeder_15/PastaC2.c
|
YES
2.6 /
1.8
|
YES
0.3 /
0.3
|
YES
11.8 /
6.6
|
C_Integer/Stroeder_15/PastaC3.c
|
YES
3.0 /
5.0
|
YES
0.3 /
0.3
|
YES
13.7 /
7.1
|
C_Integer/Stroeder_15/PastaC7.c
|
YES
2.6 /
2.0
|
YES
0.2 /
1.0
|
YES
10.2 /
5.4
|
C_Integer/Stroeder_15/PastaC9.c
|
YES
2.7 /
1.8
|
YES
0.3 /
0.6
|
YES
13.1 /
7.5
|
C_Integer/Stroeder_15/Piecewise_true-termination.c
|
YES
38.1 /
14.0
|
YES
0.4 /
0.4
|
YES
15.6 /
9.0
|
C_Integer/Stroeder_15/PlusSwap.c
|
YES
5.6 /
11.3
|
YES
0.2 /
0.4
|
YES
10.8 /
7.6
|
delskiRybalchenko-LICS2004-Fig1_true-termination.c
|
YES
16.8 /
6.2
|
YES
0.4 /
0.5
|
YES
13.3 /
7.1
|
ko-LICS2004-Fig2-TACAS2011-Fig3_true-termination.c
|
.
545.7 /
300.0
|
.
36.7 /
36.7
|
.
742.2 /
300.1
|
elskiRybalchenko-TACAS2011-Fig1_true-termination.c
|
YES
2.4 /
1.6
|
YES
0.2 /
0.2
|
YES
9.7 /
6.2
|
elskiRybalchenko-TACAS2011-Fig2_true-termination.c
|
YES
2.6 /
1.6
|
YES
0.3 /
0.3
|
YES
11.6 /
6.4
|
elskiRybalchenko-TACAS2011-Fig4_true-termination.c
|
YES
2.6 /
1.6
|
YES
0.3 /
0.4
|
YES
14.3 /
11.9
|
delskiRybalchenko-VMCAI2004-Ex1_true-termination.c
|
YES
2.7 /
1.7
|
YES
0.6 /
1.3
|
YES
12.4 /
6.7
|
delskiRybalchenko-VMCAI2004-Ex2_true-termination.c
|
YES
5.8 /
4.2
|
YES
0.4 /
0.9
|
.
15.2 /
8.0
|
_Integer/Stroeder_15/Pure2Phase_true-termination.c
|
YES
2.7 /
1.7
|
YES
0.3 /
1.1
|
YES
14.2 /
21.3
|
_Integer/Stroeder_15/Pure3Phase_true-termination.c
|
.
104.8 /
46.4
|
YES
0.6 /
0.9
|
.
240.0 /
300.0
|
nteger/Stroeder_15/Rotation180_false-termination.c
|
NO
3.8 /
2.9
|
NO
0.1 /
0.1
|
NO
10.2 /
5.4
|
C_Integer/Stroeder_15/Sequence.c
|
YES
2.8 /
6.3
|
YES
0.2 /
0.9
|
YES
11.2 /
5.8
|
C_Integer/Stroeder_15/Stockholm_true-termination.c
|
YES
15.5 /
7.7
|
YES
0.2 /
0.2
|
YES
12.8 /
16.2
|
C_Integer/Stroeder_15/Sunset.c
|
.
342.3 /
300.1
|
.
0.6 /
0.6
|
NO
16.1 /
8.9
|
C_Integer/Stroeder_15/Swingers.c
|
NO
5.1 /
3.7
|
NO
0.2 /
0.2
|
.
16.9 /
8.5
|
troeder_15/TelAviv-Amir-Minimum_true-termination.c
|
.
449.2 /
300.0
|
YES
0.5 /
0.5
|
YES
20.5 /
12.5
|
C_Integer/Stroeder_15/Thun_true-termination.c
|
YES
7.5 /
12.4
|
YES
0.2 /
0.3
|
YES
10.1 /
5.6
|
eder_15/Toulouse-BranchesToLoop_true-termination.c
|
YES
18.1 /
6.3
|
YES
0.3 /
0.3
|
YES
12.9 /
7.9
|
15/Toulouse-MultiBranchesToLoop_true-termination.c
|
YES
13.0 /
4.8
|
YES
1.1 /
2.2
|
YES
15.6 /
19.9
|
C_Integer/Stroeder_15/TrueDiv.c
|
NO
4.5 /
6.6
|
NO
0.2 /
0.2
|
NO
11.0 /
16.9
|
C_Integer/Stroeder_15/TwoFloatInterv.c
|
NO
8.1 /
3.4
|
NO
0.5 /
0.5
|
NO
10.6 /
7.8
|
C_Integer/Stroeder_15/UpAndDown.c
|
.
709.2 /
300.1
|
.
2.9 /
2.9
|
NO
40.8 /
31.2
|
C_Integer/Stroeder_15/UpAndDownIneq.c
|
.
425.5 /
300.1
|
.
2.2 /
4.2
|
NO
38.7 /
55.8
|
Stroeder_15/Urban-WST2013-Fig1_false-termination.c
|
NO
4.5 /
5.7
|
NO
0.2 /
0.2
|
NO
10.4 /
5.6
|
Urban-WST2013-Fig2-modified1000_true-termination.c
|
YES
2.6 /
1.6
|
YES
0.3 /
0.3
|
.
167.9 /
300.0
|
/Stroeder_15/Urban-WST2013-Fig2_true-termination.c
|
YES
2.6 /
1.7
|
YES
0.3 /
0.5
|
YES
14.6 /
16.9
|
eder_15/UrbanMine-ESOP2014-Fig3_true-termination.c
|
YES
58.4 /
21.1
|
YES
0.5 /
1.1
|
YES
18.6 /
10.5
|
C_Integer/Stroeder_15/Velroyen_false-termination.c
|
NO
5.2 /
2.7
|
.
0.7 /
0.7
|
NO
9.5 /
5.1
|
C_Integer/Stroeder_15/Waldkirch_true-termination.c
|
YES
2.5 /
2.0
|
YES
0.2 /
0.2
|
YES
10.9 /
5.4
|
C_Integer/Stroeder_15/WhileDecr.c
|
YES
2.7 /
2.2
|
YES
0.2 /
0.2
|
YES
10.0 /
16.4
|
_Integer/Stroeder_15/WhileFalse_true-termination.c
|
YES
2.3 /
1.7
|
YES
0.1 /
0.3
|
YES
9.9 /
5.0
|
C_Integer/Stroeder_15/WhileIncr.c
|
NO
2.8 /
1.7
|
NO
0.2 /
0.2
|
NO
9.7 /
5.2
|
C_Integer/Stroeder_15/WhileIncrPart.c
|
NO
5.8 /
6.9
|
NO
0.2 /
0.2
|
NO
10.9 /
5.3
|
C_Integer/Stroeder_15/WhileNested.c
|
NO
4.4 /
2.4
|
NO
0.2 /
0.2
|
NO
11.8 /
7.3
|
C_Integer/Stroeder_15/WhileNestedOffset.c
|
NO
4.2 /
2.4
|
NO
0.3 /
0.4
|
NO
12.0 /
13.9
|
C_Integer/Stroeder_15/WhilePart.c
|
NO
3.3 /
1.9
|
NO
0.2 /
0.2
|
NO
10.4 /
5.6
|
C_Integer/Stroeder_15/WhileSingle.c
|
NO
4.5 /
8.0
|
NO
0.2 /
0.2
|
NO
10.8 /
5.7
|
C_Integer/Stroeder_15/WhileTrue.c
|
NO
2.7 /
1.9
|
NO
0.2 /
1.1
|
NO
9.4 /
5.3
|
_Integer/Stroeder_15/WhileTrue_false-termination.c
|
NO
2.5 /
1.6
|
NO
0.1 /
0.1
|
NO
10.5 /
5.4
|
C_Integer/Stroeder_15/aaron2_true-termination.c
|
YES
3.0 /
4.0
|
YES
0.3 /
0.3
|
YES
10.6 /
5.8
|
C_Integer/Stroeder_15/aaron3_true-termination.c
|
.
452.0 /
300.1
|
.
29.7 /
29.9
|
YES
13.7 /
8.0
|
C_Integer/Stroeder_15/collatz.c
|
.
647.0 /
300.0
|
.
2.7 /
2.8
|
.
316.4 /
300.0
|
C_Integer/Stroeder_15/easy1_true-termination.c
|
YES
2.6 /
1.6
|
YES
0.2 /
0.3
|
YES
11.1 /
17.4
|
C_Integer/Stroeder_15/easy2_true-termination.c
|
YES
2.5 /
1.6
|
YES
0.2 /
0.2
|
YES
11.1 /
13.4
|
C_Integer/Stroeder_15/gcd1_true-termination.c
|
YES
18.6 /
8.1
|
YES
0.5 /
0.5
|
YES
14.4 /
10.3
|
C_Integer/Stroeder_15/genady_true-termination.c
|
YES
2.5 /
1.7
|
YES
0.2 /
0.2
|
YES
10.2 /
5.7
|
C_Integer/Stroeder_15/min_rf_true-termination.c
|
YES
67.3 /
25.1
|
YES
0.5 /
0.6
|
YES
16.1 /
24.6
|
C_Integer/Stroeder_15/svcomp_a.01.c
|
YES
2.9 /
2.2
|
YES
0.3 /
0.3
|
YES
14.9 /
8.9
|
C_Integer/Stroeder_15/svcomp_a.04.c
|
YES
2.5 /
1.6
|
YES
0.2 /
0.3
|
YES
11.2 /
5.7
|
C_Integer/Stroeder_15/svcomp_a.05.c
|
YES
2.7 /
2.0
|
YES
0.2 /
0.2
|
YES
10.9 /
9.3
|
C_Integer/Stroeder_15/svcomp_a.06.c
|
YES
2.4 /
1.8
|
YES
0.2 /
0.2
|
YES
10.0 /
5.4
|
C_Integer/Stroeder_15/svcomp_a.07.c
|
YES
2.6 /
1.7
|
YES
0.2 /
0.5
|
YES
11.4 /
16.3
|
C_Integer/Stroeder_15/svcomp_a.08.c
|
YES
2.5 /
1.6
|
YES
0.2 /
0.4
|
YES
10.2 /
5.4
|
C_Integer/Stroeder_15/svcomp_a.09_assume.c
|
YES
2.8 /
6.0
|
YES
0.2 /
0.7
|
YES
10.0 /
5.3
|
C_Integer/Stroeder_15/svcomp_a.10.c
|
YES
28.0 /
11.0
|
YES
0.3 /
0.3
|
YES
13.7 /
19.8
|
C_Integer/Stroeder_15/svcomp_b.01.c
|
YES
2.5 /
1.6
|
YES
0.2 /
0.2
|
YES
12.1 /
10.7
|
C_Integer/Stroeder_15/svcomp_b.02.c
|
YES
2.5 /
2.5
|
YES
0.2 /
0.2
|
YES
11.9 /
8.0
|
C_Integer/Stroeder_15/svcomp_b.03-no-inv_assume.c
|
YES
8.7 /
5.1
|
YES
0.2 /
0.3
|
YES
11.3 /
12.9
|
C_Integer/Stroeder_15/svcomp_b.03_assume.c
|
YES
2.7 /
3.9
|
YES
0.2 /
0.2
|
YES
10.5 /
6.3
|
C_Integer/Stroeder_15/svcomp_b.04.c
|
YES
2.5 /
2.0
|
YES
0.2 /
0.2
|
YES
10.1 /
5.1
|
C_Integer/Stroeder_15/svcomp_b.05.c
|
YES
2.8 /
2.7
|
YES
0.2 /
0.2
|
YES
10.2 /
6.3
|
C_Integer/Stroeder_15/svcomp_b.06.c
|
YES
2.6 /
1.6
|
YES
0.2 /
0.2
|
YES
10.5 /
16.1
|
C_Integer/Stroeder_15/svcomp_b.07.c
|
YES
2.6 /
1.6
|
YES
0.2 /
0.2
|
YES
10.7 /
7.8
|
C_Integer/Stroeder_15/svcomp_b.09-no-inv_assume.c
|
YES
21.6 /
21.0
|
YES
0.6 /
0.6
|
YES
15.4 /
9.0
|
C_Integer/Stroeder_15/svcomp_b.09_assume.c
|
YES
2.6 /
1.6
|
YES
0.2 /
0.7
|
YES
11.0 /
16.6
|
C_Integer/Stroeder_15/svcomp_b.10.c
|
YES
3.3 /
2.1
|
YES
0.2 /
0.3
|
YES
11.8 /
7.1
|
C_Integer/Stroeder_15/svcomp_b.11.c
|
YES
3.1 /
2.2
|
YES
0.3 /
0.9
|
YES
11.1 /
6.1
|
C_Integer/Stroeder_15/svcomp_b.12.c
|
YES
5.8 /
5.1
|
YES
0.3 /
0.9
|
YES
11.5 /
6.1
|
C_Integer/Stroeder_15/svcomp_b.13.c
|
YES
4.5 /
2.4
|
YES
0.3 /
0.5
|
YES
11.9 /
6.4
|
C_Integer/Stroeder_15/svcomp_b.14.c
|
YES
2.6 /
1.7
|
YES
0.4 /
0.4
|
YES
11.5 /
6.0
|
C_Integer/Stroeder_15/svcomp_b.15.c
|
YES
2.7 /
1.7
|
YES
0.4 /
0.4
|
YES
11.5 /
6.2
|
C_Integer/Stroeder_15/svcomp_b.16.c
|
YES
2.6 /
1.7
|
YES
0.4 /
0.4
|
YES
11.1 /
6.1
|
C_Integer/Stroeder_15/svcomp_b.17.c
|
YES
2.7 /
1.7
|
YES
0.4 /
0.4
|
YES
12.7 /
16.5
|
C_Integer/Stroeder_15/svcomp_b.18.c
|
YES
2.8 /
1.7
|
YES
0.4 /
0.4
|
YES
11.3 /
5.8
|
C_Integer/Stroeder_15/svcomp_c.01-no-inv.c
|
YES
32.4 /
38.5
|
YES
0.6 /
0.6
|
YES
14.7 /
9.2
|
C_Integer/Stroeder_15/svcomp_c.01_assume.c
|
YES
2.7 /
2.1
|
YES
0.5 /
0.5
|
YES
12.5 /
7.8
|
C_Integer/Stroeder_15/svcomp_c.02.c
|
YES
2.7 /
1.7
|
YES
0.3 /
0.3
|
YES
12.6 /
6.9
|
C_Integer/Stroeder_15/svcomp_c.03.c
|
YES
2.9 /
1.8
|
YES
0.2 /
0.3
|
YES
12.7 /
7.1
|
C_Integer/Stroeder_15/svcomp_c.07.c
|
YES
2.7 /
1.7
|
YES
0.2 /
0.3
|
YES
11.7 /
12.3
|
C_Integer/Stroeder_15/svcomp_c.08.c
|
YES
2.9 /
2.2
|
YES
0.3 /
0.4
|
YES
13.0 /
7.2
|
C_Integer/Stroeder_15/svcomp_easySum.c
|
YES
2.5 /
1.6
|
YES
0.2 /
0.3
|
YES
10.1 /
5.4
|
C_Integer/Stroeder_15/svcomp_ex1.c
|
YES
2.7 /
5.1
|
YES
0.4 /
0.4
|
YES
10.1 /
5.4
|
C_Integer/Stroeder_15/svcomp_ex2.c
|
YES
9.9 /
4.1
|
YES
0.5 /
0.5
|
.
25.7 /
11.2
|
C_Integer/Stroeder_15/svcomp_ex3a.c
|
YES
4.0 /
4.8
|
YES
0.2 /
0.2
|
.
20.7 /
11.7
|
C_Integer/Stroeder_15/svcomp_ex3b.c
|
YES
2.5 /
1.6
|
YES
0.3 /
0.7
|
.
18.0 /
8.2
|
C_Integer/Stroeder_15/svcomp_fermat.c
|
YES
3.6 /
2.0
|
.
229.0 /
278.1
|
YES
176.9 /
223.6
|
C_Integer/Stroeder_15/svcomp_flag.c
|
YES
14.5 /
4.9
|
YES
0.3 /
0.7
|
YES
16.6 /
18.5
|
C_Integer/Stroeder_15/svcomp_java_AG313.c
|
YES
2.6 /
1.6
|
YES
0.2 /
0.2
|
YES
10.1 /
5.5
|
C_Integer/Stroeder_15/svcomp_java_Break.c
|
YES
2.4 /
1.6
|
YES
0.2 /
0.2
|
YES
10.4 /
5.6
|
C_Integer/Stroeder_15/svcomp_java_Continue1.c
|
YES
2.5 /
1.6
|
YES
0.2 /
0.2
|
YES
11.0 /
5.9
|
C_Integer/Stroeder_15/svcomp_java_Nested.c
|
YES
2.6 /
1.7
|
YES
0.3 /
0.3
|
YES
13.9 /
8.2
|
C_Integer/Stroeder_15/svcomp_java_Sequence.c
|
YES
3.0 /
2.3
|
YES
0.4 /
0.4
|
YES
11.3 /
6.0
|
C_Integer/Ton_Chanh_15/2Nested_false-termination.c
|
.
511.6 /
300.1
|
NO
0.8 /
1.1
|
.
18.2 /
7.9
|
Integer/Ton_Chanh_15/Bangalore_false-termination.c
|
NO
6.0 /
2.9
|
NO
0.2 /
0.2
|
NO
9.6 /
5.1
|
eger/Ton_Chanh_15/Bangalore_v2_false-termination.c
|
NO
5.6 /
5.1
|
NO
0.2 /
0.4
|
NO
10.7 /
6.6
|
eger/Ton_Chanh_15/Bangalore_v3_false-termination.c
|
NO
7.0 /
5.4
|
NO
0.2 /
1.0
|
NO
10.7 /
6.6
|
teger/Ton_Chanh_15/Bangalore_v4_true-termination.c
|
.
686.3 /
300.0
|
YES
0.2 /
0.6
|
YES
12.6 /
12.2
|
er/Ton_Chanh_15/Benghazi_nondet_true-termination.c
|
YES
15.3 /
6.5
|
YES
0.6 /
1.2
|
YES
11.5 /
6.0
|
eger/Ton_Chanh_15/Cairo_nondet_false-termination.c
|
NO
3.3 /
1.9
|
NO
0.2 /
0.2
|
NO
9.7 /
5.0
|
teger/Ton_Chanh_15/Cairo_step2_false-termination.c
|
NO
11.5 /
6.2
|
NO
0.5 /
1.1
|
NO
17.6 /
9.2
|
er/Ton_Chanh_15/Copenhagen_disj_true-termination.c
|
YES
18.2 /
20.9
|
YES
0.3 /
0.3
|
.
25.0 /
10.9
|
eger/Ton_Chanh_15/Gothenburg_v2_true-termination.c
|
.
828.0 /
300.0
|
YES
5.1 /
5.6
|
.
24.3 /
11.0
|
teger/Ton_Chanh_15/Hanoi_2vars_false-termination.c
|
.
946.7 /
300.0
|
NO
0.8 /
0.8
|
.
18.7 /
19.1
|
teger/Ton_Chanh_15/Hanoi_3vars_false-termination.c
|
.
653.6 /
300.0
|
NO
2.1 /
2.1
|
.
19.6 /
8.7
|
nteger/Ton_Chanh_15/Hanoi_plus_false-termination.c
|
.
918.3 /
300.1
|
NO
1.8 /
3.3
|
.
22.6 /
28.5
|
n_Chanh_15/McCarthy91_Iteration_true-termination.c
|
YES
2.8 /
1.8
|
YES
0.3 /
0.5
|
YES
29.4 /
23.0
|
C_Integer/Ton_Chanh_15/Mysore_false-termination.c
|
.
814.0 /
300.1
|
NO
0.8 /
0.9
|
.
20.0 /
10.0
|
er/Ton_Chanh_15/Singapore_plus_false-termination.c
|
.
787.9 /
300.0
|
NO
0.5 /
1.1
|
.
40.2 /
28.4
|
_Integer/Ton_Chanh_15/Singapore_true-termination.c
|
.
883.9 /
300.0
|
YES
0.4 /
0.9
|
YES
11.3 /
5.8
|
eger/Ton_Chanh_15/Singapore_v1_false-termination.c
|
.
853.9 /
300.1
|
NO
0.4 /
0.5
|
NO
11.4 /
7.0
|
eger/Ton_Chanh_15/Singapore_v2_false-termination.c
|
.
1027.2 /
300.0
|
NO
0.4 /
0.5
|
.
28.8 /
17.5
|