You can download the tool output here.
| Example | Result | Runtime |
|---|---|---|
| Lommen_24/non_linear01.c | Maybe | 2.69 s |
| Lommen_24/non_linear02.c | Maybe | 2.50 s |
| Lommen_24/non_linear03.c | Maybe | 2.92 s |
| Lommen_24/non_linear04.c | Maybe | 10.42 s |
| Lommen_24/non_linear05.c | Maybe | 1.62 s |
| Lommen_24/non_linear06.c | Maybe | 3.62 s |
| Lommen_24/non_linear07.c | Maybe | 7.06 s |
| Lommen_24/non_linear08.c | Maybe | 4.11 s |
| Lommen_24/non_linear09.c | Maybe | 16.45 s |
| Lommen_24/non_linear10.c | Maybe | 12.38 s |
| Lommen_24/non_linear11.c | Maybe | 2.43 s |
| Lommen_24/non_linear12.c | O(n²) | 2.02 s |
| Lommen_24/non_linear13.c | Maybe | 4.20 s |
| Lommen_24/non_linear14.c | Maybe | 84.98 s |
| Lommen_24/non_linear15.c | Maybe | 44.03 s |
| Lommen_24/non_linear16.c | Maybe | 4.70 s |
| Lommen_24/non_linear17.c | Maybe | 80.95 s |
| Lommen_24/non_linear18.c | EXP | 2.11 s |
| Lommen_24/non_linear19.c | Maybe | 5.24 s |
| Lommen_24/non_linear20.c | Maybe | 13.03 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/2Nested_true-termination.c | O(n) | 0.94 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/4NestedWith3Variables_true-termination.c | O(n) | 1.14 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-Fig1_true-termination.c | O(n³) | 36.20 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-Fig2a_true-termination.c | O(n) | 2.09 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-Fig2b_true-termination.c | O(n²) | 9.62 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-complex_true-termination.c | O(n) | 1.70 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-counterex1a_true-termination.c | TIMEOUT | 300.74 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-counterex1b_true-termination.c | TIMEOUT | 298.61 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-cousot9_true-termination.c | O(n²) | 2.63 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-exmini_true-termination.c | O(n) | 1.02 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-loops_true-termination.c | O(n²) | 2.01 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-ndecr_true-termination.c | O(n) | 0.69 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_true-termination.c | O(n²) | 7.34 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-random1d_true-termination.c | O(n) | 1.02 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-random2d_true-termination.c | O(1) | 2.54 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-rsd_true-termination.c | O(n²) | 5.64 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-speedFails4_true-termination.c | Maybe | 3.09 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-speedpldi2_true-termination.c | O(n) | 1.10 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-speedpldi3_true-termination.c | O(n²) | 3.51 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-speedpldi4_true-termination.c | O(n) | 0.89 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-terminate_true-termination.c | O(n) | 0.87 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-wcet2_true-termination.c | O(n) | 1.10 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-while2_true-termination.c | O(n²) | 1.51 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-wise_true-termination.c | O(n) | 1.27 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/AlternDiv.c | Maybe | 2.03 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/AlternDivWide.c | Maybe | 4.12 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/AlternDivWidening.c | Maybe | 16.27 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/AlternKonv.c | Maybe | 14.07 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/Avery-FLOPS2006-Table1_true-termination.c | O(n) | 1.17 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/Bangalore_true-termination.c | O(n) | 0.70 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/Ben-Amram-LMCS2010-Ex2.3_true-termination.c | Maybe | 12.53 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/Benghazi_true-termination.c | O(n) | 0.89 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/BradleyMannaSipma-CAV2005-Fig1-modified_false-termination.c | Maybe | 4.74 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/BradleyMannaSipma-CAV2005-Fig1_true-termination.c | O(n) | 4.02 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/BradleyMannaSipma-ICALP2005-Fig1_true-termination.c | Maybe | 85.74 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/BrockschmidtCookFuhs-CAV2013-Fig1_true-termination.c | O(n²) | 1.96 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/BrockschmidtCookFuhs-CAV2013-Fig9a_true-termination.c | O(n²) | 2.00 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/BrockschmidtCookFuhs-CAV2013-Introduction_true-termination.c | O(n) | 0.79 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/Cairo_true-termination.c | O(n) | 0.67 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron12_true-termination.c | Maybe | 25.99 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron1_true-termination.c | O(n) | 21.68 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron4_true-termination.c | O(n) | 185.20 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron6_true-termination.c | O(n) | 3.67 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-random1d_true-termination.c | O(n) | 0.97 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-random2d_true-termination.c | O(1) | 2.56 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenCookFuhsNimkarOHearn-TACAS2014-Introduction_false-termination.c | Maybe | 1.77 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex1.01_true-termination.c | Maybe | 1.25 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex1.02_true-termination.c | O(n) | 0.81 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex1.03_true-termination.c | O(1) | 0.95 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex1.04_true-termination.c | O(n) | 0.91 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex1.05_true-termination.c | O(n) | 0.93 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.01_true-termination.c | O(n) | 0.85 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.02_false-termination.c | Maybe | 1.97 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.03_false-termination.c | Maybe | 1.67 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.04_false-termination.c | Maybe | 1.79 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.06_false-termination.c | Maybe | 1.85 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.07_true-termination.c | O(n) | 1.05 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.08_true-termination.c | O(n) | 0.84 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.09_true-termination.c | O(n) | 0.74 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.10_true-termination.c | O(n) | 1.02 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.11_false-termination.c | Maybe | 1.85 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.12_false-termination.c | Maybe | 1.66 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.13_true-termination.c | O(n) | 0.81 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.14_false-termination.c | Maybe | 1.58 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.15_false-termination.c | Maybe | 1.33 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.16_true-termination.c | O(n) | 0.80 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.17_false-termination.c | Maybe | 2.43 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.18_true-termination.c | O(n) | 0.67 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.19_true-termination.c | O(n) | 0.78 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.20_true-termination.c | O(n) | 1.08 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.21_true-termination.c | O(n) | 0.62 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.22_true-termination.c | O(n) | 0.89 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.01_true-termination.c | O(n) | 0.81 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.02_false-termination.c | Maybe | 1.71 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.03_true-termination.c | O(n) | 1.07 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.04_true-termination.c | O(n) | 0.99 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.05_true-termination.c | O(n) | 0.92 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.06_false-termination.c | Maybe | 2.52 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.07_true-termination.c | O(n) | 0.72 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.08_true-termination.c | O(n) | 0.91 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.09_true-termination.c | O(n) | 0.94 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.10_true-termination.c | O(n) | 0.66 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex4.01_true-termination.c | O(n) | 1.11 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Fig1_true-termination.c | O(n) | 0.66 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/Choose.c | Maybe | 1.82 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/ChooseLife.c | Maybe | 1.64 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/ColonSipma-TACAS2001-Fig1_true-termination.c | O(n) | 0.90 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/ComplInterv.c | Maybe | 1.85 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/ComplInterv2.c | Maybe | 3.32 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/ComplInterv3.c | Maybe | 3.42 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/ComplxStruc.c | Maybe | 42.51 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/ConvLower.c | Maybe | 2.39 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/CookSeeZuleger-TACAS2013-Fig1_true-termination.c | Maybe | 54.72 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/CookSeeZuleger-TACAS2013-Fig7a_true-termination.c | TIMEOUT | 300.45 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/CookSeeZuleger-TACAS2013-Fig7b_true-termination.c | TIMEOUT | 300.47 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/CookSeeZuleger-TACAS2013-Fig8a-modified_true-termination.c | O(n) | 1.63 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/CookSeeZuleger-TACAS2013-Fig8a_true-termination.c | O(n) | 1.24 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/CookSeeZuleger-TACAS2013-Fig8b_true-termination.c | O(n) | 2.56 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/Copenhagen_true-termination.c | O(n) | 0.61 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/Cousot.c | Maybe | 2.59 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/DivMinus.c | O(n) | 0.77 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/DivMinus2.c | O(n) | 1.38 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/DivWithoutMinus.c | Maybe | 13.23 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/DoubleNeg.c | Maybe | 1.90 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/Et1.c | Maybe | 2.53 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/Et2.c | Maybe | 2.52 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/Et4.c | Maybe | 4.17 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/Even.c | Maybe | 1.91 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/Ex01.c | Maybe | 1.45 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/Ex02.c | Maybe | 2.38 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/Ex03.c | Maybe | 2.40 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/Ex04.c | Maybe | 0.64 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/Ex05.c | Maybe | 0.62 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/Ex06.c | Maybe | 2.20 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/Ex07.c | Maybe | 1.22 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/Ex08.c | Maybe | 18.72 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/Factorial.c | Maybe | 2.23 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/Fibonacci.c | Maybe | 4.22 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/Flip.c | Maybe | 2.03 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/Flip2.c | Maybe | 10.90 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/GCD.c | Maybe | 11.81 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/GCD2.c | Maybe | 5.65 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/GCD3.c | O(n) | 2.58 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/GCD4.c | O(n) | 0.99 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/Gauss.c | Maybe | 1.68 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/GopanReps-CAV2006-Fig1a_true-termination.c.c | O(1) | 0.83 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/Gothenburg_true-termination.c | O(n) | 1.11 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/GulavaniGulwani-CAV2008-Fig1a_true-termination.c | O(n) | 1.10 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/GulavaniGulwani-CAV2008-Fig1b_true-termination.c | O(n) | 1.20 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/GulavaniGulwani-CAV2008-Fig1c_true-termination.c | O(n) | 0.82 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/GulwaniJainKoskinen-PLDI2009-Fig1_true-termination.c | O(n) | 8.44 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/HeizmannHoenickeLeikePodelski-ATVA2013-Fig1_true-termination.c | O(n) | 0.80 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/HeizmannHoenickeLeikePodelski-ATVA2013-Fig4_true-termination.c | O(n) | 0.65 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/HeizmannHoenickeLeikePodelski-ATVA2013-Fig6_true-termination.c | O(n) | 0.96 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/HeizmannHoenickeLeikePodelski-ATVA2013-Fig8_true-termination.c | O(n) | 0.71 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/HeizmannHoenickeLeikePodelski-ATVA2013-Fig9_true-termination.c | Maybe | 1.96 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/IntPath.c | O(1) | 0.67 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/KroeningSharyginaTsitovichWintersteiger-CAV2010-Ex_true-termination.c | O(n) | 0.95 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/LarrazOliverasRodriguez-CarbonellRubio-FMCAD2013-Fig1_true-termination.c | O(n) | 3.62 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/Lcm.c | Maybe | 5.13 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/LeikeHeizmann-TACAS2014-Ex1_true-termination.c | O(n) | 0.73 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/LeikeHeizmann-TACAS2014-Ex7_true-termination.c | O(n) | 0.64 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/LeikeHeizmann-TACAS2014-Ex8_true-termination.c | Maybe | 3.86 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/LeikeHeizmann-TACAS2014-Ex9_true-termination.c | O(n) | 1.58 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/LeikeHeizmann-TACAS2014-Fig1_true-termination.c | O(n) | 0.82 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/LeikeHeizmann-WST2014-Ex5_false-termination.c | Maybe | 1.91 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/LeikeHeizmann-WST2014-Ex6_false-termination.c | Maybe | 2.55 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/Lobnya-Boolean-Reordered_true-termination.c | O(n) | 0.88 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/Log.c | O(n) | 0.90 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/LogAG.c | O(n) | 0.96 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/LogMult.c | Maybe | 1.42 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/Loop.c | Maybe | 0.86 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/Madrid_false-termination.c | Maybe | 0.52 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/Marbie1.c | Maybe | 1.42 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/Marbie2.c | Maybe | 0.57 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/Masse-VMCAI2014-Ex6_true-termination.c | O(n²) | 2.70 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/Masse-VMCAI2014-Fig1a_true-termination.c | O(n) | 2.10 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/Masse-VMCAI2014-Fig1b_true-termination.c | Maybe | 17.94 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/McCarthyIterative.c | O(n) | 2.79 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/MenloPark_true-termination.c | O(n) | 0.85 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/Middle.c | Maybe | 2.78 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/MinusBuiltIn.c | O(1) | 0.69 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/MinusMin.c | O(n) | 1.16 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/MinusUserDefined.c | O(n) | 3.27 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/MirrorInterv.c | Maybe | 9.06 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/MirrorIntervSim.c | Maybe | 4.13 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/Mysore_true-termination.c | O(n) | 0.87 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/NO_00.c | Maybe | 0.84 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/NO_01.c | Maybe | 0.85 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/NO_02.c | Maybe | 1.04 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/NO_03.c | Maybe | 2.26 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/NO_04.c | Maybe | 5.26 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/NO_10.c | Maybe | 1.48 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/NO_12.c | Maybe | 2.47 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/NO_13.c | Maybe | 3.74 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/NO_21.c | Maybe | 0.86 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/NO_22.c | Maybe | 1.60 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/NO_23.c | Maybe | 1.33 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/NO_24.c | Maybe | 1.13 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/NarrowKonv.c | Maybe | 2.15 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/Narrowing.c | Maybe | 15.40 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/Nested.c | O(1) | 0.92 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/NonTermination1_false-termination.c | Maybe | 1.41 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/NonTermination2_false-termination.c | Maybe | 3.13 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/NonTermination4_false-termination.c | Maybe | 0.98 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/NonTerminationSimple2_false-termination.c | Maybe | 1.40 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/NonTerminationSimple3_false-termination.c | Maybe | 1.29 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/NonTerminationSimple4_false-termination.c | Maybe | 1.17 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/NonTerminationSimple5_false-termination.c | Maybe | 7.51 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/NonTerminationSimple6_false-termination.c | Maybe | 1.37 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/NonTerminationSimple7_false-termination.c | Maybe | 1.48 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/NonTerminationSimple8_false-termination.c | TIMEOUT | 300.43 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/NonTerminationSimple9_false-termination.c | Maybe | 1.93 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/NoriSharma-FSE2013-Fig7_true-termination.c | O(n) | 1.30 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/NoriSharma-FSE2013-Fig8_true-termination.c | O(n²) | 3.33 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/Nyala-2lex_true-termination.c | Maybe | 5.34 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/Overflow.c | O(n) | 0.68 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/Parallel_true-termination.c | O(n) | 4.14 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaA1.c | O(n²) | 1.60 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaA10.c | O(n) | 2.59 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaA4.c | O(n) | 0.74 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaA5.c | O(n) | 0.77 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaA6.c | O(n) | 0.90 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaA7.c | O(n) | 1.07 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaA8.c | O(n) | 0.88 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaA9.c | O(n) | 0.81 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaB1.c | O(n) | 0.77 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaB11.c | O(n) | 1.29 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaB14.c | O(n) | 1.49 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaB15.c | O(n) | 1.65 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaB16.c | O(n) | 1.16 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaB17.c | O(n) | 1.44 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaB2.c | O(n) | 0.88 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaB3.c | O(n) | 0.78 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaB4.c | O(1) | 0.71 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaB6.c | O(n) | 1.01 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaB7.c | O(n) | 1.15 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaC1.c | O(n²) | 1.75 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaC10.c | Maybe | 4.35 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaC2.c | O(n²) | 2.17 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaC3.c | O(n) | 1.08 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaC7.c | O(n) | 1.10 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaC9.c | Maybe | 33.78 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/Piecewise_true-termination.c | O(n) | 20.15 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/PlusSwap.c | O(n) | 0.59 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/PodelskiRybalchenko-LICS2004-Fig1_true-termination.c | O(n²) | 1.68 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/PodelskiRybalchenko-LICS2004-Fig2-TACAS2011-Fig3_true-termination.c | O(n) | 11.85 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/PodelskiRybalchenko-TACAS2011-Fig1_true-termination.c | O(n) | 0.66 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/PodelskiRybalchenko-TACAS2011-Fig2_true-termination.c | O(n²) | 1.80 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/PodelskiRybalchenko-TACAS2011-Fig4_true-termination.c | Maybe | 61.23 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/PodelskiRybalchenko-VMCAI2004-Ex1_true-termination.c | O(n) | 1.61 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/PodelskiRybalchenko-VMCAI2004-Ex2_true-termination.c | Maybe | 1.23 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/Pure2Phase_true-termination.c | Maybe | 5.28 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/Pure3Phase_true-termination.c | Maybe | 14.29 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/Rotation180_false-termination.c | Maybe | 0.50 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/Sequence.c | O(1) | 0.75 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/Stockholm_true-termination.c | O(n) | 0.82 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/Sunset.c | Maybe | 4.42 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/Swingers.c | Maybe | 0.74 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/TelAviv-Amir-Minimum_true-termination.c | O(n) | 12.51 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/Thun_true-termination.c | O(n) | 0.63 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/Toulouse-BranchesToLoop_true-termination.c | Maybe | 3.40 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/Toulouse-MultiBranchesToLoop_true-termination.c | Maybe | 3.52 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/TrueDiv.c | Maybe | 1.08 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/TwoFloatInterv.c | Maybe | 3.87 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/UpAndDown.c | Maybe | 18.19 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/UpAndDownIneq.c | Maybe | 17.06 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/Urban-WST2013-Fig1_false-termination.c | Maybe | 1.77 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/Urban-WST2013-Fig2-modified1000_true-termination.c | O(n) | 1.04 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/Urban-WST2013-Fig2_true-termination.c | O(n) | 1.10 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/UrbanMine-ESOP2014-Fig3_true-termination.c | TIMEOUT | 300.36 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/Velroyen_false-termination.c | Maybe | 4.18 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/Waldkirch_true-termination.c | O(1) | 0.53 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/WhileDecr.c | O(n) | 0.62 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/WhileFalse_true-termination.c | O(1) | 0.39 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/WhileIncr.c | Maybe | 1.41 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/WhileIncrPart.c | Maybe | 1.70 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/WhileNested.c | Maybe | 2.26 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/WhileNestedOffset.c | Maybe | 2.50 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/WhilePart.c | Maybe | 1.69 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/WhileSingle.c | Maybe | 2.56 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/WhileTrue.c | Maybe | 0.51 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/WhileTrue_false-termination.c | Maybe | 0.58 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/aaron2_true-termination.c | O(n) | 1.82 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/aaron3_true-termination.c | Maybe | 103.03 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/collatz.c | Maybe | 12.94 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/easy1_true-termination.c | O(1) | 0.70 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/easy2_true-termination.c | O(n) | 0.70 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/gcd1_true-termination.c | O(n) | 1.31 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/genady_true-termination.c | O(1) | 0.74 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/min_rf_true-termination.c | O(n) | 8.24 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_a.01.c | O(n²) | 1.63 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_a.04.c | O(n) | 0.77 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_a.05.c | O(n) | 0.76 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_a.06.c | O(n) | 0.91 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_a.07.c | O(n) | 1.11 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_a.08.c | O(n) | 0.90 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_a.09_assume.c | O(n) | 0.87 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_a.10.c | O(n) | 2.70 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_b.01.c | O(n) | 0.79 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_b.02.c | O(n) | 0.94 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_b.03-no-inv_assume.c | O(n) | 0.80 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_b.03_assume.c | O(n) | 0.86 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_b.04.c | O(1) | 0.78 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_b.05.c | O(n) | 1.12 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_b.06.c | O(n) | 0.98 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_b.07.c | O(n) | 1.17 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_b.09-no-inv_assume.c | O(n) | 0.89 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_b.09_assume.c | O(n) | 0.80 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_b.10.c | O(n) | 1.61 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_b.11.c | O(n) | 1.83 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_b.12.c | O(n) | 2.10 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_b.13.c | O(n) | 2.25 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_b.14.c | O(n) | 1.48 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_b.15.c | O(n) | 1.64 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_b.16.c | O(n) | 1.23 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_b.17.c | O(n) | 1.54 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_b.18.c | O(n) | 1.89 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_c.01-no-inv.c | O(n²) | 1.82 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_c.01_assume.c | O(n²) | 2.49 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_c.02.c | O(n²) | 2.46 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_c.03.c | O(n) | 1.13 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_c.07.c | O(n) | 1.01 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_c.08.c | O(n²) | 1.92 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_easySum.c | O(n) | 0.72 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_ex1.c | O(n) | 0.73 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_ex2.c | Maybe | 15.17 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_ex3a.c | O(n) | 0.63 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_ex3b.c | O(n) | 0.68 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_fermat.c | O(1) | 1.39 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_flag.c | O(n) | 0.87 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_java_AG313.c | O(n) | 0.89 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_java_Break.c | O(1) | 0.57 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_java_Continue1.c | O(1) | 0.67 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_java_Nested.c | O(1) | 0.88 s |
| Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_java_Sequence.c | O(1) | 0.80 s |
| Flores-Montoya_2017/Adapted_from_Ton_Chanh_15/2Nested_false-termination.c | Maybe | 2.04 s |
| Flores-Montoya_2017/Adapted_from_Ton_Chanh_15/Bangalore_false-termination.c | Maybe | 1.60 s |
| Flores-Montoya_2017/Adapted_from_Ton_Chanh_15/Bangalore_v2_false-termination.c | Maybe | 1.63 s |
| Flores-Montoya_2017/Adapted_from_Ton_Chanh_15/Bangalore_v3_false-termination.c | Maybe | 1.69 s |
| Flores-Montoya_2017/Adapted_from_Ton_Chanh_15/Bangalore_v4_true-termination.c | O(1) | 0.81 s |
| Flores-Montoya_2017/Adapted_from_Ton_Chanh_15/Benghazi_nondet_true-termination.c | O(n) | 0.73 s |
| Flores-Montoya_2017/Adapted_from_Ton_Chanh_15/Cairo_nondet_false-termination.c | Maybe | 2.63 s |
| Flores-Montoya_2017/Adapted_from_Ton_Chanh_15/Cairo_step2_false-termination.c | Maybe | 1.87 s |
| Flores-Montoya_2017/Adapted_from_Ton_Chanh_15/Copenhagen_disj_true-termination.c | Maybe | 2.44 s |
| Flores-Montoya_2017/Adapted_from_Ton_Chanh_15/Gothenburg_v2_true-termination.c | Maybe | 3.84 s |
| Flores-Montoya_2017/Adapted_from_Ton_Chanh_15/Hanoi_2vars_false-termination.c | Maybe | 2.02 s |
| Flores-Montoya_2017/Adapted_from_Ton_Chanh_15/Hanoi_3vars_false-termination.c | Maybe | 2.46 s |
| Flores-Montoya_2017/Adapted_from_Ton_Chanh_15/Hanoi_plus_false-termination.c | TIMEOUT | 298.49 s |
| Flores-Montoya_2017/Adapted_from_Ton_Chanh_15/McCarthy91_Iteration_true-termination.c | O(n) | 2.81 s |
| Flores-Montoya_2017/Adapted_from_Ton_Chanh_15/Mysore_false-termination.c | Maybe | 2.48 s |
| Flores-Montoya_2017/Adapted_from_Ton_Chanh_15/Singapore_plus_false-termination.c | Maybe | 2.29 s |
| Flores-Montoya_2017/Adapted_from_Ton_Chanh_15/Singapore_true-termination.c | Maybe | 2.40 s |
| Flores-Montoya_2017/Adapted_from_Ton_Chanh_15/Singapore_v1_false-termination.c | Maybe | 2.20 s |
| Flores-Montoya_2017/Adapted_from_Ton_Chanh_15/Singapore_v2_false-termination.c | Maybe | 2.20 s |
| Flores-Montoya_2017/examples_from_literature/ABC/jama_ex1.c | O(n²) | 1.65 s |
| Flores-Montoya_2017/examples_from_literature/ABC/jama_ex2.c | O(n²) | 1.66 s |
| Flores-Montoya_2017/examples_from_literature/ABC/jama_ex3.c | O(n²) | 1.68 s |
| Flores-Montoya_2017/examples_from_literature/ABC/jama_ex4.c | O(n²) | 2.28 s |
| Flores-Montoya_2017/examples_from_literature/ABC/jama_ex5.c | O(n²) | 1.65 s |
| Flores-Montoya_2017/examples_from_literature/ABC/jama_ex6.c | O(n³) | 6.81 s |
| Flores-Montoya_2017/examples_from_literature/ABC/jama_ex7.c | O(n²) | 1.73 s |
| Flores-Montoya_2017/examples_from_literature/ABC/textbook_ex1.c | O(n) | 0.76 s |
| Flores-Montoya_2017/examples_from_literature/ABC/textbook_ex2.c | O(n²) | 1.61 s |
| Flores-Montoya_2017/examples_from_literature/ABC/textbook_ex3.c | O(n⁴) | 32.06 s |
| Flores-Montoya_2017/examples_from_literature/ABC/textbook_ex4.c | O(n²) | 1.94 s |
| Flores-Montoya_2017/examples_from_literature/C4B_examples/gcd.c | O(n) | 0.98 s |
| Flores-Montoya_2017/examples_from_literature/C4B_examples/knuth_morris_pratt.c | O(n) | 2.55 s |
| Flores-Montoya_2017/examples_from_literature/C4B_examples/speed_pldi09_fig1.c | O(n) | 1.95 s |
| Flores-Montoya_2017/examples_from_literature/C4B_examples/speed_pldi09_fig4_2.c | O(n) | 0.98 s |
| Flores-Montoya_2017/examples_from_literature/C4B_examples/speed_pldi09_fig4_4.c | O(n) | 0.82 s |
| Flores-Montoya_2017/examples_from_literature/C4B_examples/speed_pldi09_fig4_5.c | O(n) | 3.42 s |
| Flores-Montoya_2017/examples_from_literature/C4B_examples/speed_pldi10_ex1.c | O(n²) | 6.71 s |
| Flores-Montoya_2017/examples_from_literature/C4B_examples/speed_pldi10_ex3.c | O(n) | 1.30 s |
| Flores-Montoya_2017/examples_from_literature/C4B_examples/speed_pldi10_ex4.c | O(n) | 1.08 s |
| Flores-Montoya_2017/examples_from_literature/C4B_examples/speed_popl10_fig2_1.c | O(n) | 1.12 s |
| Flores-Montoya_2017/examples_from_literature/C4B_examples/speed_popl10_fig2_2.c | O(n) | 1.07 s |
| Flores-Montoya_2017/examples_from_literature/C4B_examples/speed_popl10_nested_multiple.c | O(n) | 2.05 s |
| Flores-Montoya_2017/examples_from_literature/C4B_examples/speed_popl10_nested_single.c | O(n) | 1.27 s |
| Flores-Montoya_2017/examples_from_literature/C4B_examples/speed_popl10_sequential_single.c | O(n) | 1.27 s |
| Flores-Montoya_2017/examples_from_literature/C4B_examples/speed_popl10_simple_multiple.c | O(n) | 0.89 s |
| Flores-Montoya_2017/examples_from_literature/C4B_examples/speed_popl10_simple_single.c | O(n) | 0.82 s |
| Flores-Montoya_2017/examples_from_literature/C4B_examples/speed_popl10_simple_single_2.c | O(n) | 1.17 s |
| Flores-Montoya_2017/examples_from_literature/C4B_examples/t07.c | O(n) | 1.46 s |
| Flores-Montoya_2017/examples_from_literature/C4B_examples/t08.c | O(n) | 1.08 s |
| Flores-Montoya_2017/examples_from_literature/C4B_examples/t10.c | O(n) | 1.10 s |
| Flores-Montoya_2017/examples_from_literature/C4B_examples/t11.c | O(n) | 1.07 s |
| Flores-Montoya_2017/examples_from_literature/C4B_examples/t13.c | O(n) | 1.60 s |
| Flores-Montoya_2017/examples_from_literature/C4B_examples/t15.c | O(n) | 1.07 s |
| Flores-Montoya_2017/examples_from_literature/C4B_examples/t16.c | O(n) | 1.88 s |
| Flores-Montoya_2017/examples_from_literature/C4B_examples/t19.c | O(n) | 1.10 s |
| Flores-Montoya_2017/examples_from_literature/C4B_examples/t20.c | O(n) | 1.08 s |
| Flores-Montoya_2017/examples_from_literature/C4B_examples/t27.c | O(n) | 1.13 s |
| Flores-Montoya_2017/examples_from_literature/C4B_examples/t28.c | O(n) | 1.73 s |
| Flores-Montoya_2017/examples_from_literature/C4B_examples/t30.c | O(n) | 0.56 s |
| Flores-Montoya_2017/examples_from_literature/C4B_examples/t47.c | O(n) | 0.78 s |
| Flores-Montoya_2017/examples_from_literature/C4B_examples/t62.c | O(n) | 4.03 s |
| Flores-Montoya_2017/examples_from_literature/Loopus/Loopus2011_ex1.c | O(n) | 1.88 s |
| Flores-Montoya_2017/examples_from_literature/Loopus/Loopus2011_ex2.c | O(n) | 54.71 s |
| Flores-Montoya_2017/examples_from_literature/Loopus/Loopus2011_ex3.c | O(1) | 2.57 s |
| Flores-Montoya_2017/examples_from_literature/Loopus/Loopus2014_ex1.c | O(n²) | 26.73 s |
| Flores-Montoya_2017/examples_from_literature/Loopus/Loopus2014_ex2.c | O(n) | 2.51 s |
| Flores-Montoya_2017/examples_from_literature/Loopus/Loopus2015_big.c | O(n) | 5.38 s |
| Flores-Montoya_2017/examples_from_literature/Loopus/Loopus2015_ex1.c | O(n) | 1.83 s |
| Flores-Montoya_2017/examples_from_literature/Loopus/Loopus2015_ex2.c | O(n) | 2.02 s |
| Flores-Montoya_2017/examples_from_literature/Loopus/Loopus2015_original.c | O(n) | 3.21 s |
| Flores-Montoya_2017/examples_from_literature/Other/ex_paper1.c | O(n²) | 9.05 s |
| Flores-Montoya_2017/examples_from_literature/Other/ex_paper2.c | O(n²) | 1.67 s |
| Flores-Montoya_2017/examples_from_literature/Other/ex_paper3.c | O(n²) | 4.74 s |
| Flores-Montoya_2017/examples_from_literature/Other/exclusive_phases.c | O(n) | 2.29 s |
| Flores-Montoya_2017/examples_from_literature/WTC_V2/aaron12.c | Maybe | 13.56 s |
| Flores-Montoya_2017/examples_from_literature/WTC_V2/aaron2.c | O(n) | 1.38 s |
| Flores-Montoya_2017/examples_from_literature/WTC_V2/aaron3.c | Maybe | 232.68 s |
| Flores-Montoya_2017/examples_from_literature/WTC_V2/alain.c | O(n³) | 9.86 s |
| Flores-Montoya_2017/examples_from_literature/WTC_V2/ax.c | O(n²) | 1.69 s |
| Flores-Montoya_2017/examples_from_literature/WTC_V2/catmouse.c | Maybe | 2.81 s |
| Flores-Montoya_2017/examples_from_literature/WTC_V2/complex.c | O(n) | 1.40 s |
| Flores-Montoya_2017/examples_from_literature/WTC_V2/counterex1a.c | O(n²) | 55.02 s |
| Flores-Montoya_2017/examples_from_literature/WTC_V2/counterex1b.c | TIMEOUT | 298.42 s |
| Flores-Montoya_2017/examples_from_literature/WTC_V2/counterex1c.c | O(n²) | 82.72 s |
| Flores-Montoya_2017/examples_from_literature/WTC_V2/cousot9.c | O(n²) | 2.43 s |
| Flores-Montoya_2017/examples_from_literature/WTC_V2/easy1.c | O(1) | 0.74 s |
| Flores-Montoya_2017/examples_from_literature/WTC_V2/easy2.c | O(n) | 0.67 s |
| Flores-Montoya_2017/examples_from_literature/WTC_V2/exmini.c | O(n) | 0.88 s |
| Flores-Montoya_2017/examples_from_literature/WTC_V2/gcd.c | O(n) | 4.32 s |
| Flores-Montoya_2017/examples_from_literature/WTC_V2/heapsort.c | O(n) | 4.99 s |
| Flores-Montoya_2017/examples_from_literature/WTC_V2/insertsort.c | O(n²) | 3.54 s |
| Flores-Montoya_2017/examples_from_literature/WTC_V2/loops.c | O(n²) | 1.77 s |
| Flores-Montoya_2017/examples_from_literature/WTC_V2/nd_loop.c | O(1) | 0.71 s |
| Flores-Montoya_2017/examples_from_literature/WTC_V2/ndecr.c | O(n) | 0.62 s |
| Flores-Montoya_2017/examples_from_literature/WTC_V2/nestedLoop.c | O(n²) | 26.25 s |
| Flores-Montoya_2017/examples_from_literature/WTC_V2/nested_loop.c | O(n²) | 27.88 s |
| Flores-Montoya_2017/examples_from_literature/WTC_V2/perfect.c | O(n²) | 3.18 s |
| Flores-Montoya_2017/examples_from_literature/WTC_V2/perfect1.c | O(n²) | 2.67 s |
| Flores-Montoya_2017/examples_from_literature/WTC_V2/perfect2.c | O(n²) | 3.20 s |
| Flores-Montoya_2017/examples_from_literature/WTC_V2/perfectg.c | O(n²) | 5.85 s |
| Flores-Montoya_2017/examples_from_literature/WTC_V2/random1d.c | O(n) | 0.83 s |
| Flores-Montoya_2017/examples_from_literature/WTC_V2/random2d.c | O(n) | 3.20 s |
| Flores-Montoya_2017/examples_from_literature/WTC_V2/rank1.c | O(n³) | 15.91 s |
| Flores-Montoya_2017/examples_from_literature/WTC_V2/rank2.c | O(n) | 1.75 s |
| Flores-Montoya_2017/examples_from_literature/WTC_V2/rank3.c | O(n²) | 8.46 s |
| Flores-Montoya_2017/examples_from_literature/WTC_V2/real2.c | Maybe | 175.03 s |
| Flores-Montoya_2017/examples_from_literature/WTC_V2/realbubble.c | O(n²) | 15.89 s |
| Flores-Montoya_2017/examples_from_literature/WTC_V2/realheapsort.c | O(n²) | 30.27 s |
| Flores-Montoya_2017/examples_from_literature/WTC_V2/realheapsort_step1.c | O(n²) | 3.79 s |
| Flores-Montoya_2017/examples_from_literature/WTC_V2/realheapsort_step2.c | O(n²) | 25.53 s |
| Flores-Montoya_2017/examples_from_literature/WTC_V2/realselect.c | O(n²) | 3.71 s |
| Flores-Montoya_2017/examples_from_literature/WTC_V2/realshellsort.c | O(n⁴) | 23.73 s |
| Flores-Montoya_2017/examples_from_literature/WTC_V2/relation1.c | O(1) | 0.39 s |
| Flores-Montoya_2017/examples_from_literature/WTC_V2/rsd.c | O(n) | 1.01 s |
| Flores-Montoya_2017/examples_from_literature/WTC_V2/serpent.c | O(n²) | 41.35 s |
| Flores-Montoya_2017/examples_from_literature/WTC_V2/sipma91.c | O(n) | 2.69 s |
| Flores-Montoya_2017/examples_from_literature/WTC_V2/sipmabubble.c | O(n²) | 2.53 s |
| Flores-Montoya_2017/examples_from_literature/WTC_V2/sipmamergesort.c | TIMEOUT | 300.57 s |
| Flores-Montoya_2017/examples_from_literature/WTC_V2/sipmamergesort2.c | TIMEOUT | 300.56 s |
| Flores-Montoya_2017/examples_from_literature/WTC_V2/speedDis1.c | O(n) | 1.07 s |
| Flores-Montoya_2017/examples_from_literature/WTC_V2/speedDis2.c | O(n) | 1.05 s |
| Flores-Montoya_2017/examples_from_literature/WTC_V2/speedFails1.c | Maybe | 1.46 s |
| Flores-Montoya_2017/examples_from_literature/WTC_V2/speedFails2.c | Maybe | 1.87 s |
| Flores-Montoya_2017/examples_from_literature/WTC_V2/speedFails3.c | Maybe | 3.04 s |
| Flores-Montoya_2017/examples_from_literature/WTC_V2/speedFails4.c | Maybe | 3.15 s |
| Flores-Montoya_2017/examples_from_literature/WTC_V2/speedNestedMultiple.c | O(n) | 2.02 s |
| Flores-Montoya_2017/examples_from_literature/WTC_V2/speedNestedMultipleDep.c | O(n²) | 2.18 s |
| Flores-Montoya_2017/examples_from_literature/WTC_V2/speedSimpleMultiple.c | O(n) | 0.89 s |
| Flores-Montoya_2017/examples_from_literature/WTC_V2/speedSimpleMultipleDep.c | O(n²) | 3.07 s |
| Flores-Montoya_2017/examples_from_literature/WTC_V2/speedSingleSingle.c | O(n) | 0.77 s |
| Flores-Montoya_2017/examples_from_literature/WTC_V2/speedSingleSingle2.c | O(n) | 1.76 s |
| Flores-Montoya_2017/examples_from_literature/WTC_V2/speedpldi2.c | O(n) | 1.04 s |
| Flores-Montoya_2017/examples_from_literature/WTC_V2/speedpldi3.c | O(n²) | 3.30 s |
| Flores-Montoya_2017/examples_from_literature/WTC_V2/speedpldi4.c | O(n) | 0.85 s |
| Flores-Montoya_2017/examples_from_literature/WTC_V2/terminate.c | O(n) | 0.85 s |
| Flores-Montoya_2017/examples_from_literature/WTC_V2/terminatorbubble.c | O(n²) | 22.13 s |
| Flores-Montoya_2017/examples_from_literature/WTC_V2/unperfect.c | O(n²) | 3.18 s |
| Flores-Montoya_2017/examples_from_literature/WTC_V2/wcet0.c | O(n) | 1.42 s |
| Flores-Montoya_2017/examples_from_literature/WTC_V2/wcet1.c | O(n) | 1.45 s |
| Flores-Montoya_2017/examples_from_literature/WTC_V2/wcet2.c | O(n) | 1.01 s |
| Flores-Montoya_2017/examples_from_literature/WTC_V2/while2.c | O(n²) | 1.39 s |
| Flores-Montoya_2017/examples_from_literature/WTC_V2/wise.c | O(n) | 1.12 s |
| Lommen_22/twn01.c | Maybe | 2.66 s |
| Lommen_22/twn02.c | Maybe | 1.72 s |
| Lommen_22/twn03.c | Maybe | 3.53 s |
| Lommen_22/twn04.c | Maybe | 3.67 s |
| Lommen_22/twn05.c | Maybe | 9.36 s |
| Lommen_22/twn06.c | TIMEOUT | 300.40 s |
| Lommen_22/twn07.c | O(n⁴) | 1.70 s |
| Lommen_22/twn08.c | Maybe | 99.56 s |
| Lommen_22/twn09.c | Maybe | 3.32 s |
| Lommen_22/twn10.c | Maybe | 2.48 s |
| Lommen_22/twn11.c | Maybe | 21.57 s |
| Lommen_22/twn12.c | Maybe | 1.45 s |
| Lommen_22/twn13.c | Maybe | 1.91 s |
| Lommen_22/twn14.c | Maybe | 8.42 s |
| Lommen_22/twn15.c | Maybe | 29.33 s |
| Lommen_22/twn16.c | O(n) | 0.67 s |
| Lommen_22/twn17.c | Maybe | 41.30 s |
| Lommen_22/twn18.c | Maybe | 1.02 s |
| Lommen_22/twn19.c | Maybe | 3.06 s |
| Lommen_22/twn20.c | Maybe | 2.88 s |
| Lommen_23/size01.c | O(n) | 0.61 s |
| Lommen_23/size02.c | O(n) | 1.19 s |
| Lommen_23/size03.c | O(n³) | 1.77 s |
| Lommen_23/size04.c | O(n³) | 2.94 s |
| Lommen_23/size05.c | Maybe | 5.40 s |
| Lommen_23/size06.c | Maybe | 7.56 s |
| Lommen_23/size07.c | O(n³) | 2.41 s |
| Lommen_23/size08.c | Maybe | 3.23 s |
| Lommen_23/size09.c | O(n²) | 7.11 s |
| Lommen_23/size10.c | O(n⁴) | 11.74 s |
| Lommen_23/size11.c | EXP | 2.02 s |
| Lommen_23/size12.c | EXP | 12.76 s |
| Lommen_23/size13.c | Maybe | 4.91 s |
| Lommen_23/size14.c | Maybe | 2.22 s |
| Lommen_23/size15.c | Maybe | 115.83 s |
| Sinn_2016/CPU2006_ApplyBndRobin.c | O(n⁴) | 47.77 s |
| Sinn_2016/CPU2006_Configure.c | O(n) | 5.07 s |
| Sinn_2016/CPU2006_ParseFile.c | TIMEOUT | 300.47 s |
| Sinn_2016/CPU2006_Perl_scan_vstring.c | O(n²) | 26.61 s |
| Sinn_2016/CPU2006_SingleLinkCluster.c | O(n²) | 27.02 s |
| Sinn_2016/CPU2006_XNU.c | O(n) | 5.21 s |
| Sinn_2016/CPU2006_analyse_other.c | O(n⁴) | 106.80 s |
| Sinn_2016/CPU2006_asctoeg.c | O(n²) | 51.69 s |
| Sinn_2016/CPU2006_load_mems.c | O(n) | 4.63 s |
| Sinn_2016/CPU2006_local_alloc.c | O(n²) | 2.37 s |
| Sinn_2016/CPU2006_xdr3dfcoord.c | O(n²) | 43.81 s |
| Sinn_2016/cBench_PackBitsEncode.c | TIMEOUT | 300.61 s |
| Sinn_2016/cBench_bin_search_StepSize2.c | Maybe | 221.23 s |
| Sinn_2016/cBench_cf_decode_eol.c | O(n) | 4.66 s |
| Sinn_2016/cBench_cryptRandWriteFile.c | O(n) | 1.10 s |
| Sinn_2016/cBench_encode_mcu_AC_refine.c | O(n) | 3.46 s |
| Sinn_2016/cBench_hc_compute.c | O(n²) | 16.17 s |
| Sinn_2016/cBench_inflated_stored.c | O(n) | 2.61 s |
| Sinn_2016/cBench_noiseTickSize.c | O(n) | 1.32 s |
| Sinn_2016/cBench_render_ht.c | O(n) | 2.23 s |
| Sinn_2016/cBench_s_SFD_process.c | O(n²) | 25.75 s |
| Sinn_2016/cBench_sendMTFValues.c | O(n) | 2.76 s |
| Sinn_2016/cBench_send_tree.c | O(n) | 5.15 s |
| Sinn_2016/cBench_set_color_ht.c | O(n²) | 22.04 s |
| Sinn_2016/cBench_subsetdump.c | O(n) | 3.57 s |
| Sinn_2016/cBench_zwritehexstring_at.c | O(n) | 1.00 s |