| benchmark name | result LoAT ADCL | time LoAT ADCL | result VeryMax | time VeryMax | result Ultimate | time Ultimate | result iRankFinder | time iRankFinder |
|---|
| C_Integer/Stroeder_15/2Nested_true-termination.c | unknown | 0.1 | yes | 0.12 | yes | 4.1 | yes | 1.2 |
| C_Integer/Stroeder_15/4NestedWith3Variables_true-termination.c | unknown | 0.06 | yes | 21.66 | yes | 14.75 | unknown | 10.29 |
| C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-Fig1_true-termination.c | unknown | 300.06 | yes | 0.14 | yes | 8.11 | yes | 8.17 |
| C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-Fig2a_true-termination.c | unknown | 300.03 | yes | 0.05 | yes | 5.62 | yes | 3.24 |
| C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-Fig2b_true-termination.c | unknown | 300.09 | yes | 0.22 | yes | 10.68 | yes | 9.97 |
| C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-complex_true-termination.c | unknown | 300.05 | yes | 0.78 | yes | 4.89 | yes | 3.05 |
| C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-counterex1a_true-termination.c | unknown | 86.37 | yes | 0.16 | yes | 8.8 | yes | 93.38 |
| C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-counterex1b_true-termination.c | unknown | 300.07 | yes | 0.14 | yes | 6.05 | yes | 17.99 |
| C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-cousot9_true-termination.c | unknown | 0.1 | yes | 0.02 | yes | 5.86 | yes | 1.6 |
| C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-exmini_true-termination.c | unknown | 3.34 | yes | 0.04 | unknown | 300.06 | yes | 1.64 |
| C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-loops_true-termination.c | unknown | 0.14 | yes | 0.14 | yes | 5.1 | yes | 1.81 |
| C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-ndecr_true-termination.c | unknown | 0.04 | yes | 0.04 | yes | 3.92 | yes | 0.98 |
| C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_true-termination.c | unknown | 1.07 | yes | 0.17 | unknown | 300.04 | yes | 4.03 |
| C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-random1d_true-termination.c | unknown | 300.1 | yes | 0.05 | yes | 4.46 | yes | 1.67 |
| C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-random2d_true-termination.c | unknown | 300.05 | yes | 0.06 | yes | 3.76 | yes | 20.5 |
| C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-rsd_true-termination.c | unknown | 300.03 | yes | 0.06 | yes | 7.66 | yes | 4.24 |
| C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-speedFails4_true-termination.c | unknown | 0.17 | yes | 0.23 | yes | 5.98 | yes | 12.03 |
| C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-speedpldi2_true-termination.c | unknown | 0.11 | yes | 0.08 | yes | 5.26 | yes | 1.58 |
| C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-speedpldi3_true-termination.c | unknown | 0.1 | yes | 0.05 | yes | 5.44 | yes | 7.87 |
| C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-speedpldi4_true-termination.c | unknown | 0.2 | yes | 0.08 | yes | 5.16 | yes | 1.7 |
| C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-terminate_true-termination.c | unknown | 3.83 | yes | 0.05 | yes | 13.77 | yes | 1.49 |
| C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-wcet2_true-termination.c | unknown | 0.15 | yes | 0.06 | yes | 6.76 | yes | 1.88 |
| C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-while2_true-termination.c | unknown | 0.07 | yes | 0.05 | yes | 3.98 | yes | 1.34 |
| C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-wise_true-termination.c | unknown | 0.12 | yes | 0.09 | yes | 5.85 | yes | 6.44 |
| C_Integer/Stroeder_15/AlternDiv.c | no | 0.07 | no | 9.34 | no | 4.56 | no | 2.86 |
| C_Integer/Stroeder_15/AlternDivWide.c | no | 0.09 | no | 10.53 | no | 4.96 | no | 4.78 |
| C_Integer/Stroeder_15/AlternDivWidening.c | no | 0.09 | no | 21.33 | no | 4.91 | unknown | 32.79 |
| C_Integer/Stroeder_15/AlternKonv.c | no | 0.08 | unknown | 6.93 | no | 4.41 | no | 6.06 |
| C_Integer/Stroeder_15/Avery-FLOPS2006-Table1_true-termination.c | unknown | 0.06 | yes | 0.05 | yes | 4.85 | yes | 1.84 |
| C_Integer/Stroeder_15/Bangalore_true-termination.c | unknown | 0.11 | yes | 0.03 | yes | 4.63 | yes | 1.1 |
| C_Integer/Stroeder_15/Ben-Amram-LMCS2010-Ex2.3_true-termination.c | unknown | 0.14 | yes | 0.1 | yes | 8.31 | yes | 13.56 |
| C_Integer/Stroeder_15/Benghazi_true-termination.c | unknown | 74.97 | yes | 0.06 | yes | 6.71 | yes | 2.23 |
| C_Integer/Stroeder_15/BradleyMannaSipma-CAV2005-Fig1-modified_false-termination.c | no | 0.11 | no | 4.6 | no | 3.32 | no | 2.68 |
| C_Integer/Stroeder_15/BradleyMannaSipma-CAV2005-Fig1_true-termination.c | unknown | 8.32 | yes | 0.09 | yes | 7.21 | yes | 13.17 |
| C_Integer/Stroeder_15/BradleyMannaSipma-ICALP2005-Fig1_true-termination.c | unknown | 0.24 | yes | 1.16 | unknown | 300.05 | yes | 10.5 |
| C_Integer/Stroeder_15/BrockschmidtCookFuhs-CAV2013-Fig1_true-termination.c | unknown | 0.15 | yes | 0.03 | yes | 5.17 | yes | 2.06 |
| C_Integer/Stroeder_15/BrockschmidtCookFuhs-CAV2013-Fig9a_true-termination.c | unknown | 0.3 | yes | 0.08 | yes | 6.04 | yes | 7.53 |
| C_Integer/Stroeder_15/BrockschmidtCookFuhs-CAV2013-Introduction_true-termination.c | unknown | 0.1 | yes | 0.06 | yes | 4.25 | yes | 1.19 |
| C_Integer/Stroeder_15/Cairo_true-termination.c | unknown | 0.06 | yes | 0.04 | yes | 3.96 | yes | 4.78 |
| C_Integer/Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron12_true-termination.c | unknown | 300.02 | unknown | 20.95 | unknown | 17.58 | unknown | 87.87 |
| C_Integer/Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron1_true-termination.c | unknown | 300.08 | yes | 0.04 | yes | 7.15 | yes | 120.47 |
| C_Integer/Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron4_true-termination.c | unknown | 300.08 | yes | 0.31 | yes | 17.4 | unknown | 299.01 |
| C_Integer/Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron6_true-termination.c | unknown | 0.98 | yes | 0.05 | yes | 4.77 | yes | 7.78 |
| C_Integer/Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-random1d_true-termination.c | unknown | 300.08 | yes | 0.03 | yes | 4.49 | yes | 2.02 |
| C_Integer/Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-random2d_true-termination.c | unknown | 300.07 | yes | 0.06 | yes | 4.23 | yes | 20.63 |
| C_Integer/Stroeder_15/ChenCookFuhsNimkarOHearn-TACAS2014-Introduction_false-termination.c | no | 0.05 | no | 4.24 | no | 3.4 | no | 1.91 |
| C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex1.01_true-termination.c | unknown | 0.15 | unknown | 9.27 | unknown | 12.75 | unknown | 4.65 |
| C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex1.02_true-termination.c | unknown | 0.1 | yes | 0.04 | yes | 4.14 | yes | 1.61 |
| C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex1.03_true-termination.c | unknown | 0.04 | yes | 0.04 | yes | 4.13 | yes | 1.41 |
| C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex1.04_true-termination.c | unknown | 0.1 | yes | 0.02 | yes | 3.99 | yes | 1.36 |
| C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex1.05_true-termination.c | unknown | 0.12 | yes | 0.04 | yes | 3.52 | yes | 1.33 |
| C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.01_true-termination.c | unknown | 0.1 | yes | 0.2 | yes | 3.76 | yes | 1.18 |
| C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.02_false-termination.c | no | 0.06 | no | 20.91 | no | 3.87 | no | 1.4 |
| C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.03_false-termination.c | no | 0.1 | no | 5.35 | no | 2.74 | no | 1.45 |
| C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.04_false-termination.c | no | 0.1 | no | 5.34 | no | 2.8 | no | 1.47 |
| C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.06_false-termination.c | unknown | 0.12 | unknown | 15.48 | unknown | 46.88 | unknown | 8.12 |
| C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.07_true-termination.c | unknown | 0.11 | yes | 0.27 | yes | 4.05 | yes | 1.32 |
| C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.08_true-termination.c | unknown | 0.11 | yes | 0.14 | yes | 3.71 | yes | 1.26 |
| C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.09_true-termination.c | unknown | 0.37 | yes | 0.77 | yes | 4.2 | yes | 1.54 |
| C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.10_true-termination.c | unknown | 0.11 | yes | 0.04 | yes | 3.62 | yes | 1.2 |
| C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.11_false-termination.c | unknown | 0.11 | unknown | 37.46 | unknown | 153.7 | no | 1.91 |
| C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.12_false-termination.c | no | 0.05 | no | 8.5 | no | 3.33 | no | 1.43 |
| C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.13_true-termination.c | unknown | 1.98 | yes | 0.18 | yes | 4.29 | yes | 1.25 |
| C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.14_false-termination.c | no | 0.1 | unknown | 9.91 | no | 3.4 | no | 1.42 |
| C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.15_false-termination.c | no | 0.1 | no | 4.28 | no | 3.36 | no | 1.17 |
| C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.16_true-termination.c | unknown | 0.06 | yes | 0.08 | yes | 4.16 | yes | 1.14 |
| C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.17_false-termination.c | no | 0.05 | no | 8.67 | no | 4.01 | no | 1.41 |
| C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.18_true-termination.c | unknown | 0.31 | yes | 0.12 | yes | 3.68 | yes | 1.29 |
| C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.19_true-termination.c | unknown | 0.3 | yes | 0.14 | yes | 4.2 | yes | 1.25 |
| C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.20_true-termination.c | unknown | 0.11 | yes | 0.02 | yes | 3.94 | yes | 1.54 |
| C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.21_true-termination.c | unknown | 1.74 | yes | 1.28 | yes | 4.03 | yes | 1.25 |
| C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.22_true-termination.c | unknown | 0.08 | yes | 0.26 | yes | 3.75 | yes | 1.92 |
| C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.01_true-termination.c | unknown | 0.06 | yes | 0.13 | yes | 4.52 | yes | 1.32 |
| C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.02_false-termination.c | no | 0.06 | no | 5.79 | no | 2.88 | no | 1.56 |
| C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.03_true-termination.c | unknown | 0.06 | yes | 5.43 | yes | 4.01 | unknown | 6.97 |
| C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.04_true-termination.c | unknown | 0.11 | yes | 0.11 | yes | 4.9 | yes | 1.63 |
| C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.05_true-termination.c | unknown | 0.11 | yes | 0.23 | yes | 4.28 | yes | 1.5 |
| C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.06_false-termination.c | unknown | 0.07 | no | 81.68 | no | 3.67 | no | 1.91 |
| C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.07_true-termination.c | unknown | 2.87 | yes | 1.31 | yes | 4.39 | yes | 2.63 |
| C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.08_true-termination.c | unknown | 2.15 | yes | 0.3 | yes | 4.78 | yes | 1.56 |
| C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.09_true-termination.c | unknown | 0.13 | yes | 0.15 | yes | 4.43 | yes | 2.29 |
| C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.10_true-termination.c | unknown | 0.04 | yes | 0.04 | yes | 7.16 | yes | 1.65 |
| C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex4.01_true-termination.c | unknown | 0.07 | yes | 1.36 | yes | 5.73 | yes | 3.34 |
| C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Fig1_true-termination.c | unknown | 2.86 | yes | 0.84 | yes | 4.64 | yes | 2.68 |
| C_Integer/Stroeder_15/Choose.c | no | 0.08 | no | 13.59 | no | 5.61 | no | 7.73 |
| C_Integer/Stroeder_15/ChooseLife.c | no | 0.03 | no | 4.57 | unknown | 29.79 | unknown | 8.14 |
| C_Integer/Stroeder_15/ColonSipma-TACAS2001-Fig1_true-termination.c | unknown | 3.92 | yes | 0.04 | unknown | 300.04 | yes | 1.48 |
| C_Integer/Stroeder_15/ComplInterv.c | no | 0.16 | unknown | 8.35 | unknown | 13.12 | unknown | 7.06 |
| C_Integer/Stroeder_15/ComplInterv2.c | no | 0.12 | no | 4.25 | no | 2.99 | no | 3.99 |
| C_Integer/Stroeder_15/ComplInterv3.c | no | 0.07 | no | 8.64 | no | 3.54 | no | 2.97 |
| C_Integer/Stroeder_15/ComplxStruc.c | no | 0.22 | no | 26.66 | no | 12.52 | no | 152.47 |
| C_Integer/Stroeder_15/ConvLower.c | no | 0.06 | no | 0.09 | no | 3.31 | no | 1.66 |
| C_Integer/Stroeder_15/CookSeeZuleger-TACAS2013-Fig1_true-termination.c | unknown | 300.11 | yes | 0.04 | yes | 4.78 | yes | 5.1 |
| C_Integer/Stroeder_15/CookSeeZuleger-TACAS2013-Fig7a_true-termination.c | unknown | 300.02 | yes | 0.05 | yes | 5.84 | yes | 9.12 |
| C_Integer/Stroeder_15/CookSeeZuleger-TACAS2013-Fig7b_true-termination.c | unknown | 300.03 | yes | 0.05 | yes | 7.85 | yes | 48.28 |
| C_Integer/Stroeder_15/CookSeeZuleger-TACAS2013-Fig8a-modified_true-termination.c | unknown | 0.11 | yes | 0.04 | yes | 5.79 | yes | 4.04 |
| C_Integer/Stroeder_15/CookSeeZuleger-TACAS2013-Fig8a_true-termination.c | unknown | 0.11 | yes | 0.07 | yes | 5.24 | yes | 3.78 |
| C_Integer/Stroeder_15/CookSeeZuleger-TACAS2013-Fig8b_true-termination.c | unknown | 0.1 | yes | 0.1 | yes | 6.3 | yes | 3.61 |
| C_Integer/Stroeder_15/Copenhagen_true-termination.c | unknown | 3.11 | yes | 0.04 | yes | 4.08 | yes | 1.17 |
| C_Integer/Stroeder_15/Cousot.c | no | 0.07 | no | 24.9 | no | 5.03 | no | 1.94 |
| C_Integer/Stroeder_15/DivMinus.c | unknown | 0.11 | yes | 0.04 | yes | 3.65 | yes | 1.2 |
| C_Integer/Stroeder_15/DivMinus2.c | unknown | 0.18 | yes | 0.06 | yes | 5.52 | yes | 12.44 |
| C_Integer/Stroeder_15/DivWithoutMinus.c | no | 0.09 | no | 30.35 | no | 5.31 | no | 34.8 |
| C_Integer/Stroeder_15/DoubleNeg.c | no | 0.17 | unknown | 24.99 | unknown | 14.44 | unknown | 5.7 |
| C_Integer/Stroeder_15/Et1.c | unknown | 0.11 | yes | 0.24 | yes | 4.35 | yes | 1.4 |
| C_Integer/Stroeder_15/Et2.c | no | 0.04 | no | 4.24 | no | 3.34 | unknown | 8.9 |
| C_Integer/Stroeder_15/Et4.c | no | 0.05 | no | 5.04 | no | 3.35 | no | 10.63 |
| C_Integer/Stroeder_15/Even.c | no | 0.03 | no | 8.37 | no | 4.01 | no | 1.46 |
| C_Integer/Stroeder_15/Ex01.c | no | 0.05 | no | 8.36 | no | 3.83 | no | 1.08 |
| C_Integer/Stroeder_15/Ex02.c | no | 0.03 | no | 0.06 | no | 4.16 | no | 1.64 |
| C_Integer/Stroeder_15/Ex03.c | no | 0.06 | no | 0.09 | no | 4.45 | no | 1.64 |
| C_Integer/Stroeder_15/Ex04.c | no | 0.05 | no | 8.31 | no | 4.09 | no | 0.79 |
| C_Integer/Stroeder_15/Ex05.c | no | 0.04 | no | 0.05 | no | 2.87 | no | 0.71 |
| C_Integer/Stroeder_15/Ex06.c | no | 0.06 | no | 0.1 | no | 4.19 | no | 2.08 |
| C_Integer/Stroeder_15/Ex07.c | no | 0.03 | no | 0.09 | no | 5.15 | no | 1.42 |
| C_Integer/Stroeder_15/Ex08.c | no | 0.21 | no | 5.02 | no | 62.39 | unknown | 115.95 |
| C_Integer/Stroeder_15/Factorial.c | unknown | 0.21 | unknown | 24.92 | unknown | 14.43 | unknown | 5.71 |
| C_Integer/Stroeder_15/Fibonacci.c | unknown | 0.05 | no | 26.28 | unknown | 11.24 | unknown | 6.89 |
| C_Integer/Stroeder_15/Flip.c | no | 0.04 | no | 10.98 | no | 3.77 | no | 1.89 |
| C_Integer/Stroeder_15/Flip2.c | no | 0.17 | no | 13.91 | no | 6.01 | no | 22.45 |
| C_Integer/Stroeder_15/GCD.c | no | 0.06 | no | 7.6 | no | 5.75 | no | 7.48 |
| C_Integer/Stroeder_15/GCD2.c | no | 11.44 | no | 5.45 | no | 3.45 | no | 4.71 |
| C_Integer/Stroeder_15/GCD3.c | unknown | 7.28 | yes | 0.08 | yes | 8.0 | yes | 3.06 |
| C_Integer/Stroeder_15/GCD4.c | unknown | 1.95 | yes | 0.06 | yes | 8.36 | yes | 1.65 |
| C_Integer/Stroeder_15/Gauss.c | no | 0.08 | no | 20.9 | no | 4.74 | no | 1.45 |
| C_Integer/Stroeder_15/GopanReps-CAV2006-Fig1a_true-termination.c.c | unknown | 0.1 | yes | 0.07 | yes | 5.35 | yes | 1.24 |
| C_Integer/Stroeder_15/Gothenburg_true-termination.c | unknown | 13.94 | yes | 0.09 | yes | 7.7 | yes | 2.08 |
| C_Integer/Stroeder_15/GulavaniGulwani-CAV2008-Fig1a_true-termination.c | unknown | 2.69 | yes | 0.02 | yes | 5.85 | yes | 2.84 |
| C_Integer/Stroeder_15/GulavaniGulwani-CAV2008-Fig1b_true-termination.c | unknown | 0.09 | yes | 0.02 | yes | 4.51 | yes | 2.15 |
| C_Integer/Stroeder_15/GulavaniGulwani-CAV2008-Fig1c_true-termination.c | unknown | 0.06 | yes | 0.04 | yes | 3.78 | yes | 1.31 |
| C_Integer/Stroeder_15/GulwaniJainKoskinen-PLDI2009-Fig1_true-termination.c | unknown | 2.4 | unknown | 10.95 | yes | 8.32 | yes | 12.46 |
| C_Integer/Stroeder_15/HeizmannHoenickeLeikePodelski-ATVA2013-Fig1_true-termination.c | unknown | 0.08 | yes | 0.06 | yes | 3.77 | yes | 1.22 |
| C_Integer/Stroeder_15/HeizmannHoenickeLeikePodelski-ATVA2013-Fig4_true-termination.c | unknown | 0.06 | yes | 0.04 | yes | 4.03 | yes | 0.89 |
| C_Integer/Stroeder_15/HeizmannHoenickeLeikePodelski-ATVA2013-Fig6_true-termination.c | unknown | 0.11 | yes | 0.04 | yes | 3.52 | yes | 1.39 |
| C_Integer/Stroeder_15/HeizmannHoenickeLeikePodelski-ATVA2013-Fig8_true-termination.c | unknown | 0.11 | yes | 0.04 | unknown | 10.18 | unknown | 6.07 |
| C_Integer/Stroeder_15/HeizmannHoenickeLeikePodelski-ATVA2013-Fig9_true-termination.c | unknown | 0.12 | yes | 0.1 | unknown | 11.38 | unknown | 7.16 |
| C_Integer/Stroeder_15/IntPath.c | unknown | 0.06 | yes | 0.04 | yes | 3.5 | yes | 3.47 |
| C_Integer/Stroeder_15/KroeningSharyginaTsitovichWintersteiger-CAV2010-Ex_true-termination.c | unknown | 300.02 | yes | 0.02 | yes | 4.25 | yes | 1.72 |
| C_Integer/Stroeder_15/LarrazOliverasRodriguez-CarbonellRubio-FMCAD2013-Fig1_true-termination.c | unknown | 0.24 | yes | 9.74 | yes | 6.99 | yes | 6.94 |
| C_Integer/Stroeder_15/Lcm.c | no | 0.11 | no | 6.45 | no | 2.86 | no | 2.2 |
| C_Integer/Stroeder_15/LeikeHeizmann-TACAS2014-Ex1_true-termination.c | unknown | 0.18 | yes | 0.05 | yes | 4.16 | yes | 1.52 |
| C_Integer/Stroeder_15/LeikeHeizmann-TACAS2014-Ex7_true-termination.c | unknown | 1.93 | yes | 1.28 | yes | 4.38 | yes | 1.26 |
| C_Integer/Stroeder_15/LeikeHeizmann-TACAS2014-Ex8_true-termination.c | unknown | 0.17 | yes | 0.05 | yes | 5.5 | yes | 2.24 |
| C_Integer/Stroeder_15/LeikeHeizmann-TACAS2014-Ex9_true-termination.c | unknown | 0.14 | yes | 0.05 | yes | 4.56 | yes | 4.36 |
| C_Integer/Stroeder_15/LeikeHeizmann-TACAS2014-Fig1_true-termination.c | unknown | 0.1 | yes | 0.2 | yes | 4.04 | yes | 1.18 |
| C_Integer/Stroeder_15/LeikeHeizmann-WST2014-Ex5_false-termination.c | no | 0.05 | no | 8.97 | unknown | 13.9 | unknown | 5.57 |
| C_Integer/Stroeder_15/LeikeHeizmann-WST2014-Ex6_false-termination.c | no | 0.04 | no | 16.88 | no | 4.22 | no | 1.43 |
| C_Integer/Stroeder_15/Lobnya-Boolean-Reordered_true-termination.c | unknown | 0.13 | yes | 0.08 | yes | 5.39 | yes | 4.43 |
| C_Integer/Stroeder_15/Log.c | unknown | 0.06 | yes | 0.02 | yes | 5.23 | yes | 1.63 |
| C_Integer/Stroeder_15/LogAG.c | unknown | 0.08 | yes | 0.04 | yes | 5.61 | yes | 2.1 |
| C_Integer/Stroeder_15/LogMult.c | unknown | 0.16 | unknown | 22.94 | unknown | 11.45 | unknown | 4.24 |
| C_Integer/Stroeder_15/Loop.c | no | 0.05 | no | 0.06 | no | 3.35 | no | 0.83 |
| C_Integer/Stroeder_15/Madrid_false-termination.c | no | 0.05 | no | 0.05 | no | 3.14 | no | 0.6 |
| C_Integer/Stroeder_15/Marbie1.c | no | 0.05 | no | 8.34 | no | 3.34 | no | 1.05 |
| C_Integer/Stroeder_15/Marbie2.c | no | 0.05 | no | 8.33 | no | 3.34 | no | 0.79 |
| C_Integer/Stroeder_15/Masse-VMCAI2014-Ex6_true-termination.c | unknown | 0.63 | yes | 0.02 | yes | 4.51 | yes | 1.77 |
| C_Integer/Stroeder_15/Masse-VMCAI2014-Fig1a_true-termination.c | unknown | 0.22 | yes | 0.05 | yes | 6.39 | yes | 1.88 |
| C_Integer/Stroeder_15/Masse-VMCAI2014-Fig1b_true-termination.c | unknown | 0.43 | unknown | 12.95 | unknown | 14.26 | unknown | 73.05 |
| C_Integer/Stroeder_15/McCarthyIterative.c | unknown | 2.16 | yes | 0.13 | yes | 37.27 | yes | 1.46 |
| C_Integer/Stroeder_15/MenloPark_true-termination.c | unknown | 6.37 | yes | 0.07 | yes | 4.42 | yes | 1.16 |
| C_Integer/Stroeder_15/Middle.c | no | 0.06 | no | 27.15 | no | 3.47 | no | 1.99 |
| C_Integer/Stroeder_15/MinusBuiltIn.c | unknown | 0.05 | yes | 0.04 | yes | 4.74 | yes | 1.13 |
| C_Integer/Stroeder_15/MinusMin.c | unknown | 0.09 | yes | 0.05 | yes | 6.66 | yes | 1.71 |
| C_Integer/Stroeder_15/MinusUserDefined.c | unknown | 0.2 | yes | 0.05 | yes | 6.24 | yes | 8.74 |
| C_Integer/Stroeder_15/MirrorInterv.c | no | 0.16 | no | 40.72 | no | 5.02 | no | 7.98 |
| C_Integer/Stroeder_15/MirrorIntervSim.c | no | 0.07 | no | 6.08 | no | 4.89 | no | 3.61 |
| C_Integer/Stroeder_15/Mysore_true-termination.c | unknown | 0.11 | yes | 0.08 | yes | 4.1 | yes | 1.33 |
| C_Integer/Stroeder_15/NO_00.c | no | 0.05 | no | 0.08 | no | 3.27 | no | 0.82 |
| C_Integer/Stroeder_15/NO_01.c | no | 0.06 | no | 0.09 | no | 4.12 | no | 1.76 |
| C_Integer/Stroeder_15/NO_02.c | no | 0.05 | no | 0.06 | no | 3.5 | no | 1.07 |
| C_Integer/Stroeder_15/NO_03.c | no | 0.06 | no | 0.18 | no | 3.37 | no | 1.66 |
| C_Integer/Stroeder_15/NO_04.c | no | 0.06 | no | 13.05 | no | 4.51 | no | 4.18 |
| C_Integer/Stroeder_15/NO_10.c | no | 0.05 | no | 34.05 | no | 3.79 | no | 0.97 |
| C_Integer/Stroeder_15/NO_12.c | no | 0.05 | no | 29.03 | no | 6.04 | no | 9.14 |
| C_Integer/Stroeder_15/NO_13.c | no | 0.14 | no | 10.66 | no | 14.15 | unknown | 12.63 |
| C_Integer/Stroeder_15/NO_21.c | no | 0.05 | no | 0.08 | no | 3.4 | no | 0.86 |
| C_Integer/Stroeder_15/NO_22.c | no | 0.13 | no | 1.92 | no | 12.27 | unknown | 9.0 |
| C_Integer/Stroeder_15/NO_23.c | no | 0.06 | no | 16.62 | no | 6.99 | no | 4.84 |
| C_Integer/Stroeder_15/NO_24.c | no | 0.05 | no | 1.1 | unknown | 8.11 | unknown | 5.15 |
| C_Integer/Stroeder_15/NarrowKonv.c | unknown | 4.86 | no | 0.35 | no | 77.92 | unknown | 58.85 |
| C_Integer/Stroeder_15/Narrowing.c | no | 0.36 | no | 22.61 | no | 18.36 | unknown | 219.33 |
| C_Integer/Stroeder_15/Nested.c | unknown | 0.06 | yes | 0.06 | yes | 4.42 | yes | 1.25 |
| C_Integer/Stroeder_15/NonTermination1_false-termination.c | no | 0.06 | no | 8.36 | no | 3.4 | no | 1.05 |
| C_Integer/Stroeder_15/NonTermination2_false-termination.c | unknown | 0.11 | no | 23.22 | no | 4.0 | unknown | 8.41 |
| C_Integer/Stroeder_15/NonTermination4_false-termination.c | no | 0.06 | no | 28.04 | no | 3.25 | no | 1.03 |
| C_Integer/Stroeder_15/NonTerminationSimple2_false-termination.c | no | 0.05 | no | 8.37 | no | 3.4 | no | 1.07 |
| C_Integer/Stroeder_15/NonTerminationSimple3_false-termination.c | no | 0.1 | no | 4.33 | no | 3.4 | no | 1.18 |
| C_Integer/Stroeder_15/NonTerminationSimple4_false-termination.c | no | 0.05 | no | 25.01 | no | 4.0 | no | 1.28 |
| C_Integer/Stroeder_15/NonTerminationSimple5_false-termination.c | no | 0.16 | no | 4.36 | no | 5.38 | no | 3.1 |
| C_Integer/Stroeder_15/NonTerminationSimple6_false-termination.c | no | 0.1 | no | 8.36 | no | 3.2 | no | 1.03 |
| C_Integer/Stroeder_15/NonTerminationSimple7_false-termination.c | no | 0.1 | no | 4.27 | no | 3.43 | no | 1.27 |
| C_Integer/Stroeder_15/NonTerminationSimple8_false-termination.c | no | 0.03 | no | 8.82 | no | 4.18 | no | 52.1 |
| C_Integer/Stroeder_15/NonTerminationSimple9_false-termination.c | no | 0.08 | no | 4.23 | no | 2.87 | no | 1.59 |
| C_Integer/Stroeder_15/NoriSharma-FSE2013-Fig7_true-termination.c | unknown | 1.67 | yes | 0.02 | yes | 5.71 | yes | 1.79 |
| C_Integer/Stroeder_15/NoriSharma-FSE2013-Fig8_true-termination.c | unknown | 0.2 | yes | 0.05 | yes | 5.72 | yes | 2.27 |
| C_Integer/Stroeder_15/Nyala-2lex_true-termination.c | unknown | 0.13 | yes | 0.05 | yes | 4.98 | yes | 1.59 |
| C_Integer/Stroeder_15/Overflow.c | unknown | 0.06 | yes | 0.04 | yes | 3.93 | yes | 0.92 |
| C_Integer/Stroeder_15/Parallel_true-termination.c | unknown | 0.96 | yes | 0.02 | yes | 6.19 | yes | 2.2 |
| C_Integer/Stroeder_15/PastaA1.c | unknown | 0.09 | yes | 0.05 | yes | 4.37 | yes | 1.35 |
| C_Integer/Stroeder_15/PastaA10.c | unknown | 0.11 | yes | 0.06 | yes | 6.0 | yes | 5.13 |
| C_Integer/Stroeder_15/PastaA4.c | unknown | 0.06 | yes | 0.04 | yes | 3.41 | yes | 1.06 |
| C_Integer/Stroeder_15/PastaA5.c | unknown | 0.06 | yes | 0.04 | yes | 3.31 | yes | 1.07 |
| C_Integer/Stroeder_15/PastaA6.c | unknown | 0.06 | yes | 0.04 | yes | 5.09 | yes | 1.4 |
| C_Integer/Stroeder_15/PastaA7.c | unknown | 0.07 | yes | 0.04 | yes | 4.11 | yes | 1.4 |
| C_Integer/Stroeder_15/PastaA8.c | unknown | 0.04 | yes | 0.04 | yes | 4.05 | yes | 1.15 |
| C_Integer/Stroeder_15/PastaA9.c | unknown | 0.11 | yes | 0.06 | yes | 4.23 | yes | 1.22 |
| C_Integer/Stroeder_15/PastaB1.c | unknown | 0.04 | yes | 0.04 | yes | 4.05 | yes | 1.06 |
| C_Integer/Stroeder_15/PastaB11.c | unknown | 0.91 | yes | 0.02 | yes | 5.22 | yes | 2.38 |
| C_Integer/Stroeder_15/PastaB14.c | unknown | 0.07 | yes | 0.05 | yes | 5.17 | yes | 1.73 |
| C_Integer/Stroeder_15/PastaB15.c | unknown | 0.07 | yes | 0.05 | yes | 4.0 | yes | 1.92 |
| C_Integer/Stroeder_15/PastaB16.c | unknown | 0.13 | yes | 0.03 | yes | 4.35 | yes | 1.65 |
| C_Integer/Stroeder_15/PastaB17.c | unknown | 0.16 | yes | 0.05 | yes | 4.87 | yes | 2.0 |
| C_Integer/Stroeder_15/PastaB2.c | unknown | 0.04 | yes | 0.02 | yes | 3.61 | yes | 1.14 |
| C_Integer/Stroeder_15/PastaB3.c | unknown | 0.11 | yes | 0.06 | yes | 4.01 | yes | 1.11 |
| C_Integer/Stroeder_15/PastaB4.c | unknown | 0.03 | yes | 0.04 | yes | 4.25 | yes | 0.97 |
| C_Integer/Stroeder_15/PastaB6.c | unknown | 0.04 | yes | 0.04 | yes | 3.87 | yes | 1.24 |
| C_Integer/Stroeder_15/PastaB7.c | unknown | 0.06 | yes | 0.04 | yes | 4.2 | yes | 1.37 |
| C_Integer/Stroeder_15/PastaC1.c | unknown | 0.12 | yes | 0.08 | yes | 4.94 | yes | 1.57 |
| C_Integer/Stroeder_15/PastaC10.c | no | 0.08 | no | 4.3 | no | 3.46 | unknown | 14.07 |
| C_Integer/Stroeder_15/PastaC2.c | unknown | 0.09 | yes | 0.05 | yes | 4.76 | yes | 1.85 |
| C_Integer/Stroeder_15/PastaC3.c | unknown | 3.68 | yes | 0.04 | yes | 7.01 | yes | 1.71 |
| C_Integer/Stroeder_15/PastaC7.c | unknown | 0.07 | yes | 0.04 | unknown | 300.06 | yes | 1.43 |
| C_Integer/Stroeder_15/PastaC9.c | unknown | 1.93 | yes | 0.05 | yes | 5.88 | yes | 3.65 |
| C_Integer/Stroeder_15/Piecewise_true-termination.c | unknown | 0.14 | yes | 0.05 | yes | 5.76 | yes | 19.88 |
| C_Integer/Stroeder_15/PlusSwap.c | unknown | 2.22 | yes | 3.24 | yes | 5.63 | yes | 1.3 |
| C_Integer/Stroeder_15/PodelskiRybalchenko-LICS2004-Fig1_true-termination.c | unknown | 0.1 | yes | 0.05 | yes | 5.21 | yes | 1.5 |
| C_Integer/Stroeder_15/PodelskiRybalchenko-LICS2004-Fig2-TACAS2011-Fig3_true-termination.c | unknown | 300.12 | yes | 4.67 | yes | 26.31 | yes | 13.45 |
| C_Integer/Stroeder_15/PodelskiRybalchenko-TACAS2011-Fig1_true-termination.c | unknown | 0.04 | yes | 0.04 | yes | 3.62 | yes | 0.92 |
| C_Integer/Stroeder_15/PodelskiRybalchenko-TACAS2011-Fig2_true-termination.c | unknown | 0.1 | yes | 0.02 | yes | 4.23 | yes | 1.52 |
| C_Integer/Stroeder_15/PodelskiRybalchenko-TACAS2011-Fig4_true-termination.c | unknown | 300.05 | yes | 0.04 | yes | 5.14 | yes | 5.37 |
| C_Integer/Stroeder_15/PodelskiRybalchenko-VMCAI2004-Ex1_true-termination.c | unknown | 300.03 | yes | 0.05 | yes | 6.92 | yes | 2.66 |
| C_Integer/Stroeder_15/PodelskiRybalchenko-VMCAI2004-Ex2_true-termination.c | unknown | 0.15 | unknown | 9.26 | unknown | 12.26 | unknown | 4.47 |
| C_Integer/Stroeder_15/Pure2Phase_true-termination.c | unknown | 0.13 | yes | 0.05 | yes | 5.42 | yes | 2.29 |
| C_Integer/Stroeder_15/Pure3Phase_true-termination.c | unknown | 1.83 | yes | 6.06 | unknown | 300.07 | unknown | 80.03 |
| C_Integer/Stroeder_15/Rotation180_false-termination.c | no | 0.03 | no | 4.18 | no | 3.35 | no | 0.95 |
| C_Integer/Stroeder_15/Sequence.c | unknown | 0.07 | yes | 0.04 | yes | 4.25 | yes | 1.0 |
| C_Integer/Stroeder_15/Stockholm_true-termination.c | unknown | 0.12 | yes | 0.04 | yes | 4.39 | yes | 1.39 |
| C_Integer/Stroeder_15/Sunset.c | no | 0.06 | no | 21.41 | no | 11.76 | unknown | 19.34 |
| C_Integer/Stroeder_15/Swingers.c | no | 0.05 | no | 4.53 | unknown | 12.0 | unknown | 3.81 |
| C_Integer/Stroeder_15/TelAviv-Amir-Minimum_true-termination.c | unknown | 300.03 | yes | 0.06 | yes | 14.61 | unknown | 12.33 |
| C_Integer/Stroeder_15/Thun_true-termination.c | unknown | 0.3 | yes | 1.24 | yes | 4.16 | yes | 1.25 |
| C_Integer/Stroeder_15/Toulouse-BranchesToLoop_true-termination.c | unknown | 0.19 | yes | 0.09 | yes | 6.47 | yes | 7.8 |
| C_Integer/Stroeder_15/Toulouse-MultiBranchesToLoop_true-termination.c | unknown | 0.23 | yes | 0.13 | yes | 6.02 | yes | 36.6 |
| C_Integer/Stroeder_15/TrueDiv.c | no | 0.05 | no | 8.36 | no | 3.47 | no | 1.05 |
| C_Integer/Stroeder_15/TwoFloatInterv.c | no | 0.12 | no | 2.4 | no | 5.21 | no | 5.11 |
| C_Integer/Stroeder_15/UpAndDown.c | no | 0.2 | no | 4.95 | no | 21.15 | unknown | 91.55 |
| C_Integer/Stroeder_15/UpAndDownIneq.c | no | 0.4 | no | 5.0 | no | 20.3 | unknown | 91.31 |
| C_Integer/Stroeder_15/Urban-WST2013-Fig1_false-termination.c | no | 0.03 | no | 4.18 | no | 3.39 | no | 1.34 |
| C_Integer/Stroeder_15/Urban-WST2013-Fig2-modified1000_true-termination.c | unknown | 0.09 | yes | 4.16 | unknown | 300.04 | yes | 1.61 |
| C_Integer/Stroeder_15/Urban-WST2013-Fig2_true-termination.c | unknown | 0.09 | yes | 3.81 | yes | 5.7 | yes | 1.61 |
| C_Integer/Stroeder_15/UrbanMine-ESOP2014-Fig3_true-termination.c | unknown | 300.06 | yes | 0.11 | yes | 7.92 | yes | 91.92 |
| C_Integer/Stroeder_15/Velroyen_false-termination.c | no | 0.06 | no | 8.65 | no | 4.13 | no | 3.44 |
| C_Integer/Stroeder_15/Waldkirch_true-termination.c | unknown | 0.06 | yes | 0.02 | yes | 3.9 | yes | 0.75 |
| C_Integer/Stroeder_15/WhileDecr.c | unknown | 0.06 | yes | 0.04 | yes | 3.77 | yes | 0.9 |
| C_Integer/Stroeder_15/WhileFalse_true-termination.c | unknown | 0.04 | yes | 0.04 | yes | 3.13 | yes | 0.46 |
| C_Integer/Stroeder_15/WhileIncr.c | no | 0.03 | no | 8.41 | no | 3.71 | no | 1.08 |
| C_Integer/Stroeder_15/WhileIncrPart.c | no | 0.03 | no | 8.43 | no | 4.91 | no | 1.4 |
| C_Integer/Stroeder_15/WhileNested.c | no | 0.03 | no | 13.47 | no | 4.93 | no | 1.66 |
| C_Integer/Stroeder_15/WhileNestedOffset.c | no | 0.06 | no | 13.46 | no | 4.68 | no | 1.64 |
| C_Integer/Stroeder_15/WhilePart.c | no | 0.03 | no | 4.19 | no | 2.97 | no | 1.38 |
| C_Integer/Stroeder_15/WhileSingle.c | no | 0.03 | no | 0.05 | no | 4.31 | no | 1.67 |
| C_Integer/Stroeder_15/WhileTrue.c | no | 0.05 | no | 8.31 | no | 3.95 | no | 0.8 |
| C_Integer/Stroeder_15/WhileTrue_false-termination.c | no | 0.04 | no | 0.05 | no | 2.97 | no | 0.59 |
| C_Integer/Stroeder_15/aaron2_true-termination.c | unknown | 300.03 | yes | 0.05 | yes | 4.04 | yes | 2.25 |
| C_Integer/Stroeder_15/aaron3_true-termination.c | unknown | 300.07 | yes | 0.61 | yes | 5.74 | unknown | 299.01 |
| C_Integer/Stroeder_15/collatz.c | unknown | 0.27 | unknown | 16.71 | unknown | 300.08 | unknown | 79.13 |
| C_Integer/Stroeder_15/easy1_true-termination.c | unknown | 0.14 | yes | 0.05 | yes | 4.29 | yes | 1.12 |
| C_Integer/Stroeder_15/easy2_true-termination.c | unknown | 0.06 | yes | 0.04 | yes | 4.36 | yes | 1.09 |
| C_Integer/Stroeder_15/gcd1_true-termination.c | unknown | 10.5 | yes | 0.07 | yes | 8.31 | yes | 2.17 |
| C_Integer/Stroeder_15/genady_true-termination.c | unknown | 0.04 | yes | 0.02 | yes | 3.63 | yes | 0.86 |
| C_Integer/Stroeder_15/min_rf_true-termination.c | unknown | 300.03 | yes | 0.07 | yes | 22.42 | yes | 14.95 |
| C_Integer/Stroeder_15/svcomp_a.01.c | unknown | 0.1 | yes | 0.05 | yes | 5.5 | yes | 1.85 |
| C_Integer/Stroeder_15/svcomp_a.04.c | unknown | 0.06 | yes | 0.04 | yes | 3.79 | yes | 1.1 |
| C_Integer/Stroeder_15/svcomp_a.05.c | unknown | 0.06 | yes | 0.04 | yes | 3.4 | yes | 1.18 |
| C_Integer/Stroeder_15/svcomp_a.06.c | unknown | 0.06 | yes | 0.03 | yes | 5.05 | yes | 1.46 |
| C_Integer/Stroeder_15/svcomp_a.07.c | unknown | 0.07 | yes | 0.04 | yes | 3.92 | yes | 1.49 |
| C_Integer/Stroeder_15/svcomp_a.08.c | unknown | 0.06 | yes | 0.04 | yes | 4.43 | yes | 1.24 |
| C_Integer/Stroeder_15/svcomp_a.09_assume.c | unknown | 0.11 | yes | 0.04 | yes | 3.95 | yes | 1.19 |
| C_Integer/Stroeder_15/svcomp_a.10.c | unknown | 0.11 | yes | 0.09 | yes | 5.78 | yes | 7.19 |
| C_Integer/Stroeder_15/svcomp_b.01.c | unknown | 0.06 | yes | 0.03 | yes | 4.31 | yes | 1.13 |
| C_Integer/Stroeder_15/svcomp_b.02.c | unknown | 0.06 | yes | 0.04 | yes | 4.46 | yes | 1.26 |
| C_Integer/Stroeder_15/svcomp_b.03-no-inv_assume.c | unknown | 0.11 | yes | 0.06 | yes | 4.06 | yes | 1.11 |
| C_Integer/Stroeder_15/svcomp_b.03_assume.c | unknown | 0.11 | yes | 0.04 | yes | 4.09 | yes | 1.08 |
| C_Integer/Stroeder_15/svcomp_b.04.c | unknown | 0.05 | yes | 0.04 | yes | 7.39 | yes | 1.1 |
| C_Integer/Stroeder_15/svcomp_b.05.c | unknown | 0.06 | yes | 0.04 | yes | 3.63 | yes | 1.71 |
| C_Integer/Stroeder_15/svcomp_b.06.c | unknown | 0.07 | yes | 0.04 | yes | 3.68 | yes | 1.33 |
| C_Integer/Stroeder_15/svcomp_b.07.c | unknown | 0.07 | yes | 0.02 | yes | 4.41 | yes | 1.49 |
| C_Integer/Stroeder_15/svcomp_b.09-no-inv_assume.c | unknown | 0.15 | yes | 0.06 | yes | 6.39 | yes | 9.14 |
| C_Integer/Stroeder_15/svcomp_b.09_assume.c | unknown | 0.17 | yes | 0.05 | yes | 4.02 | yes | 1.42 |
| C_Integer/Stroeder_15/svcomp_b.10.c | unknown | 0.17 | yes | 0.04 | yes | 5.34 | yes | 2.51 |
| C_Integer/Stroeder_15/svcomp_b.11.c | unknown | 0.9 | yes | 0.05 | yes | 5.33 | yes | 3.17 |
| C_Integer/Stroeder_15/svcomp_b.12.c | unknown | 3.07 | yes | 0.04 | yes | 4.88 | yes | 7.36 |
| C_Integer/Stroeder_15/svcomp_b.13.c | unknown | 3.1 | yes | 0.05 | yes | 5.4 | yes | 9.86 |
| C_Integer/Stroeder_15/svcomp_b.14.c | unknown | 0.05 | yes | 0.05 | yes | 5.49 | yes | 2.08 |
| C_Integer/Stroeder_15/svcomp_b.15.c | unknown | 0.07 | yes | 0.05 | yes | 4.66 | yes | 2.31 |
| C_Integer/Stroeder_15/svcomp_b.16.c | unknown | 0.13 | yes | 0.05 | yes | 5.1 | yes | 2.14 |
| C_Integer/Stroeder_15/svcomp_b.17.c | unknown | 0.16 | yes | 0.03 | yes | 5.18 | yes | 2.63 |
| C_Integer/Stroeder_15/svcomp_b.18.c | unknown | 0.1 | yes | 0.05 | yes | 5.17 | yes | 2.69 |
| C_Integer/Stroeder_15/svcomp_c.01-no-inv.c | unknown | 0.12 | yes | 0.09 | yes | 5.7 | unknown | 9.6 |
| C_Integer/Stroeder_15/svcomp_c.01_assume.c | unknown | 0.15 | yes | 0.05 | yes | 4.68 | yes | 2.34 |
| C_Integer/Stroeder_15/svcomp_c.02.c | unknown | 0.12 | yes | 0.02 | yes | 5.05 | yes | 2.73 |
| C_Integer/Stroeder_15/svcomp_c.03.c | unknown | 4.22 | yes | 0.05 | yes | 4.47 | yes | 1.92 |
| C_Integer/Stroeder_15/svcomp_c.07.c | unknown | 3.35 | yes | 0.02 | unknown | 300.13 | yes | 1.71 |
| C_Integer/Stroeder_15/svcomp_c.08.c | unknown | 0.12 | yes | 0.02 | yes | 4.58 | yes | 1.93 |
| C_Integer/Stroeder_15/svcomp_easySum.c | unknown | 0.07 | yes | 0.04 | yes | 4.13 | yes | 1.1 |
| C_Integer/Stroeder_15/svcomp_ex1.c | unknown | 0.07 | yes | 0.04 | yes | 4.31 | yes | 1.08 |
| C_Integer/Stroeder_15/svcomp_ex2.c | unknown | 1.85 | unknown | 188.81 | unknown | 20.23 | unknown | 56.6 |
| C_Integer/Stroeder_15/svcomp_ex3a.c | unknown | 0.2 | unknown | 14.48 | unknown | 15.92 | unknown | 4.76 |
| C_Integer/Stroeder_15/svcomp_ex3b.c | unknown | 0.18 | unknown | 29.96 | unknown | 16.8 | unknown | 5.25 |
| C_Integer/Stroeder_15/svcomp_fermat.c | unknown | 4.1 | yes | 4.16 | yes | 9.63 | yes | 62.26 |
| C_Integer/Stroeder_15/svcomp_flag.c | unknown | 0.09 | yes | 0.06 | yes | 4.14 | yes | 3.42 |
| C_Integer/Stroeder_15/svcomp_java_AG313.c | unknown | 0.12 | yes | 0.04 | yes | 4.47 | yes | 1.41 |
| C_Integer/Stroeder_15/svcomp_java_Break.c | unknown | 0.05 | yes | 0.02 | yes | 4.34 | yes | 0.79 |
| C_Integer/Stroeder_15/svcomp_java_Continue1.c | unknown | 0.11 | yes | 0.03 | yes | 3.87 | yes | 0.93 |
| C_Integer/Stroeder_15/svcomp_java_Nested.c | unknown | 0.09 | yes | 0.28 | yes | 5.77 | yes | 1.44 |
| C_Integer/Stroeder_15/svcomp_java_Sequence.c | unknown | 0.07 | yes | 0.06 | yes | 4.83 | yes | 1.25 |
| C_Integer/Ton_Chanh_15/2Nested_false-termination.c | no | 0.06 | no | 20.87 | no | 3.51 | no | 1.37 |
| C_Integer/Ton_Chanh_15/Bangalore_false-termination.c | no | 0.08 | no | 4.25 | no | 3.25 | no | 1.27 |
| C_Integer/Ton_Chanh_15/Bangalore_v2_false-termination.c | no | 0.11 | no | 4.3 | no | 3.38 | no | 1.24 |
| C_Integer/Ton_Chanh_15/Bangalore_v3_false-termination.c | no | 0.1 | no | 4.3 | no | 2.93 | no | 1.26 |
| C_Integer/Ton_Chanh_15/Bangalore_v4_true-termination.c | unknown | 0.09 | yes | 0.04 | yes | 6.44 | yes | 1.07 |
| C_Integer/Ton_Chanh_15/Benghazi_nondet_true-termination.c | unknown | 132.34 | yes | 2.4 | yes | 7.01 | yes | 2.68 |
| C_Integer/Ton_Chanh_15/Cairo_nondet_false-termination.c | no | 0.05 | no | 8.34 | no | 4.25 | no | 1.68 |
| C_Integer/Ton_Chanh_15/Cairo_step2_false-termination.c | no | 0.06 | unknown | 19.23 | no | 4.65 | no | 1.38 |
| C_Integer/Ton_Chanh_15/Copenhagen_disj_true-termination.c | unknown | 300.03 | unknown | 31.31 | yes | 9.92 | yes | 4.64 |
| C_Integer/Ton_Chanh_15/Gothenburg_v2_true-termination.c | unknown | 0.13 | yes | 0.12 | yes | 7.94 | yes | 2.03 |
| C_Integer/Ton_Chanh_15/Hanoi_2vars_false-termination.c | no | 0.06 | no | 21.37 | no | 3.98 | no | 1.38 |
| C_Integer/Ton_Chanh_15/Hanoi_3vars_false-termination.c | unknown | 0.07 | no | 60.86 | no | 4.23 | no | 1.84 |
| C_Integer/Ton_Chanh_15/Hanoi_plus_false-termination.c | unknown | 0.03 | no | 96.11 | unknown | 15.77 | no | 1.83 |
| C_Integer/Ton_Chanh_15/McCarthy91_Iteration_true-termination.c | unknown | 4.0 | yes | 0.11 | yes | 6.59 | yes | 1.48 |
| C_Integer/Ton_Chanh_15/Mysore_false-termination.c | no | 0.06 | no | 20.91 | no | 4.06 | no | 1.57 |
| C_Integer/Ton_Chanh_15/Singapore_plus_false-termination.c | no | 0.06 | no | 20.87 | no | 3.6 | no | 1.71 |
| C_Integer/Ton_Chanh_15/Singapore_true-termination.c | unknown | 0.1 | yes | 0.17 | yes | 4.8 | yes | 6.12 |
| C_Integer/Ton_Chanh_15/Singapore_v1_false-termination.c | no | 0.08 | no | 20.96 | no | 3.9 | no | 1.75 |
| C_Integer/Ton_Chanh_15/Singapore_v2_false-termination.c | no | 0.08 | no | 20.93 | no | 3.5 | no | 1.74 |