Example AProVE Ultimate HipTNT+ SeaHorn KITTeL
termination-crafted/2Nested_true-termination.c YES4.6 YES9.4 YES0.39 TIMEOUT-- YES0.13
termination-crafted/4BitCounterPointer_true-termination.c YES10 MAYBE55 MAYBE1.2 MAYBE0.15 MAYBE0.05
termination-crafted/4NestedWith3Variables_true-termination.c YES10 YES23 MAYBE71 TIMEOUT-- YES0.28
termination-crafted/Ackermann_true-termination.c YES13 TIMEOUT-- YES0.97 MAYBE0.24 TIMEOUT--
termination-crafted/Arrays01-EquivalentConstantIndices_true-termination.c YES6.5 YES9.0 TIMEOUT-- YES0.58 TIMEOUT--
termination-crafted/Arrays03-ValueRestictsIndex_true-termination.c YES13 MAYBE18 TIMEOUT-- MAYBE0.26 TIMEOUT--
termination-crafted/Bangalore_true-termination.c YES12 YES10 YES0.38 TIMEOUT-- TIMEOUT--
termination-crafted/Bangalore_v4_true-termination.c YES7.6 YES12 YES0.38 YES0.77 TIMEOUT--
termination-crafted/Benghazi_nondet_true-termination.c YES11 YES14 YES0.91 TIMEOUT-- YES0.13
termination-crafted/Benghazi_true-termination.c YES9.8 YES13 YES0.89 TIMEOUT-- YES0.14
termination-crafted/Cairo_true-termination.c YES4.4 YES12 YES0.35 YES0.94 TIMEOUT--
termination-crafted/Copenhagen_disj_true-termination.c YES12 MAYBE36 YES0.54 YES1.6 TIMEOUT--
termination-crafted/Copenhagen_true-termination.c YES3.3 YES10 YES0.39 YES1.2 YES0.10
termination-crafted/Gothenburg_true-termination.c YES290 YES20 MAYBE6.4 TIMEOUT-- TIMEOUT--
termination-crafted/Gothenburg_v2_true-termination.c TIMEOUT-- MAYBE35 YES6.4 YES2.1 MAYBE43
termination-crafted/LexIndexValue-Array_true-termination.c YES38 YES11 TIMEOUT-- MAYBE0.16 MAYBE0.05
termination-crafted/LexIndexValue-Pointer_true-termination.c MAYBE11 YES18 MAYBE0.46 MAYBE0.16 MAYBE0.05
termination-crafted/Lobnya-Boolean-Reordered_true-termination.c YES9.9 YES18 YES0.48 YES0.95 YES0.12
termination-crafted/McCarthy91_Iteration_true-termination.c YES3.8 YES35 YES0.47 TIMEOUT-- YES0.17
termination-crafted/McCarthy91_Recursion_true-termination.c MAYBE9.1 YES56 YES0.59 MAYBE0.28 TIMEOUT--
termination-crafted/MenloPark_true-termination.c YES47 YES11 MAYBE21 TIMEOUT-- TIMEOUT--
termination-crafted/MutualRecursion_1b_true-termination.c YES17 TIMEOUT-- YES0.41 MAYBE0.25 YES0.15
termination-crafted/Mysore_true-termination.c YES7.1 YES15 YES0.63 YES36 YES0.22
termination-crafted/NestedRecursion_1b_true-termination.c MAYBE10 YES26 YES0.55 MAYBE0.23 TIMEOUT--
termination-crafted/NestedRecursion_1c_true-termination.c YES7.5 YES12 YES0.63 MAYBE0.35 TIMEOUT--
termination-crafted/NestedRecursion_1d_true-termination.c YES9.5 TIMEOUT-- YES0.51 MAYBE0.29 TIMEOUT--
termination-crafted/NestedRecursion_2c_true-termination.c YES6.6 TIMEOUT-- YES0.46 MAYBE0.28 TIMEOUT--
termination-crafted/Nyala-2lex_true-termination.c YES3.3 YES13 YES0.53 YES3.7 YES0.16
termination-crafted/Parallel_true-termination.c YES4.3 YES11 YES0.43 YES19 YES0.14
termination-crafted/Piecewise_true-termination.c YES55 YES14 YES0.56 YES1.0 YES0.46
termination-crafted/Pure2Phase_true-termination.c YES3.9 YES12 YES0.42 TIMEOUT-- YES0.11
termination-crafted/Pure3Phase_true-termination.c YES37 TIMEOUT-- YES0.78 TIMEOUT-- TIMEOUT--
termination-crafted/RecursiveMultiplication_true-termination.c YES8.6 YES16 YES0.42 MAYBE0.35 YES0.16
termination-crafted/Singapore_true-termination.c TIMEOUT-- YES10 YES0.82 TIMEOUT-- TIMEOUT--
termination-crafted/Stockholm_true-termination.c YES33 YES11 YES0.43 TIMEOUT-- MAYBE10
termination-crafted/SyntaxSupportPointer01_true-termination.c YES6.6 YES11 YES0.40 MAYBE0.25 MAYBE0.05
termination-crafted/TelAviv-Amir-Minimum_true-termination.c TIMEOUT-- YES18 YES0.74 YES1.2 MAYBE15
termination-crafted/Thun_true-termination.c YES6.2 YES9.8 YES0.41 YES16 YES0.12
termination-crafted/Toulouse-BranchesToLoop_true-termination.c YES24 YES13 YES0.54 TIMEOUT-- TIMEOUT--
termination-crafted/Toulouse-MultiBranchesToLoop_true-termination.c YES30 YES16 YES1.4 TIMEOUT-- TIMEOUT--
termination-crafted/Waldkirch_true-termination.c YES6.3 YES11 YES0.34 YES0.78 YES0.09
termination-crafted/WhileFalse_true-termination.c YES3.6 YES9.3 YES0.28 MAYBE0.27 YES0.05
termination-crafted/aaron2_true-termination.c YES4.1 YES10 YES0.51 YES1.1 YES0.14
termination-crafted/aaron3_true-termination.c TIMEOUT-- YES25 MAYBE36 TIMEOUT-- YES1.1
termination-crafted/easy1_true-termination.c YES3.7 YES9.6 YES0.42 YES65 YES0.13
termination-crafted/easy2_true-termination.c YES3.2 YES9.2 YES0.35 YES0.73 YES0.09
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig1_true-termination.c YES3.5 YES17 YES1.3 TIMEOUT-- YES0.30
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2a_true-termination.c YES3.7 YES12 YES0.87 YES2.1 YES0.16
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2b_true-termination.c YES180 YES20 MAYBE17 TIMEOUT-- YES4.6
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron2_true-termination.c YES43 YES10 YES0.49 YES1.1 YES0.14
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron3_true-termination.c TIMEOUT-- YES33 MAYBE24 TIMEOUT-- YES1.1
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-complex_true-termination.c YES4.4 YES16 YES1.4 YES7.4 YES0.20
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1a_true-termination.c YES84 YES20 MAYBE79 TIMEOUT-- YES2.9
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1b_true-termination.c YES4.0 YES13 YES1.5 YES7.4 YES0.22
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-cousot9_true-termination.c YES3.7 YES12 YES0.48 YES1.7 YES0.15
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy1_true-termination.c YES13 YES10 YES0.41 YES60 YES0.12
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2_true-termination.c YES11 YES11 YES0.35 YES0.71 YES0.09
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-exmini_true-termination.c YES3.7 YES24 YES0.42 YES1.4 YES0.10
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-loops_true-termination.c YES55 YES26 YES0.73 YES3.7 MAYBE43
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-ndecr_true-termination.c YES4.0 YES10 YES0.34 YES0.56 YES0.09
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_true-termination.c YES3.9 YES19 YES1.2 YES13 YES0.19
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d_true-termination.c YES3.8 YES9.7 YES0.45 YES0.91 YES0.13
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random2d_true-termination.c YES4.5 YES9.8 YES0.85 YES1.8 YES0.32
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-rsd_true-termination.c YES24 YES25 YES0.76 TIMEOUT-- YES0.39
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedFails4_true-termination.c YES33 YES13 YES0.57 TIMEOUT-- MAYBE30
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi2_true-termination.c YES53 YES11 MAYBE6.7 YES1.5 MAYBE0.22
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi3_true-termination.c YES3.9 YES12 YES0.52 TIMEOUT-- YES0.20
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi4_true-termination.c YES24 YES12 YES0.57 YES12 TIMEOUT--
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-terminate_true-termination.c YES3.8 YES22 YES0.42 YES1.8 YES0.10
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wcet2_true-termination.c YES4.0 YES13 YES0.62 YES11 YES0.14
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-while2_true-termination.c YES3.4 YES11 YES0.53 YES1.6 YES0.12
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wise_true-termination.c YES33 YES13 YES0.50 YES2.0 YES0.26
termination-crafted-lit/Avery-FLOPS2006-Table1_true-termination.c YES4.0 YES11 YES0.57 YES2.0 YES0.13
termination-crafted-lit/Ben-Amram-LMCS2010-Ex2.3_true-termination.c YES29 YES12 YES0.56 YES2.1 YES0.22
termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1_true-termination.c YES43 YES15 YES0.59 YES3.8 TIMEOUT--
termination-crafted-lit/BradleyMannaSipma-ICALP2005-Fig1_true-termination.c TIMEOUT-- YES27 YES86 TIMEOUT-- TIMEOUT--
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig1_true-termination.c YES3.4 YES12 YES0.54 YES2.4 YES0.12
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig9a_true-termination.c YES290 YES14 YES2.1 YES4.5 TIMEOUT--
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Introduction_true-termination.c YES4.5 YES10 YES0.38 YES2.0 YES0.13
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron12_true-termination.c YES41 MAYBE55 YES27 TIMEOUT-- TIMEOUT--
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron1_true-termination.c YES12 YES15 YES0.89 TIMEOUT-- YES2.3
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron2_true-termination.c YES40 YES11 YES0.65 YES1.1 YES0.15
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron3_true-termination.c MAYBE790 YES35 MAYBE24 TIMEOUT-- YES1.1
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron4_true-termination.c YES260 YES28 YES3.1 TIMEOUT-- TIMEOUT--
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron6_true-termination.c YES4.1 YES11 YES0.92 YES2.4 YES1.5
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy1_true-termination.c YES13 YES9.4 YES0.42 YES65 YES0.12
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy2_true-termination.c YES11 YES9.1 YES0.35 YES0.72 YES0.09
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random1d_true-termination.c YES3.9 YES10 YES0.47 YES0.69 YES0.12
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random2d_true-termination.c YES4.6 YES9.3 YES1.1 YES2.2 YES0.32
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.01_true-termination.c YES7.3 MAYBE14 YES0.48 YES1.3 YES0.13
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.02_true-termination.c YES3.8 YES8.6 YES0.57 YES1.7 YES0.15
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.03_true-termination.c YES3.9 YES9.4 YES0.37 YES0.66 YES0.12
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.04_true-termination.c YES3.9 YES9.4 YES0.49 YES0.65 YES0.09
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.05_true-termination.c YES3.7 YES10 YES0.38 YES0.73 YES0.10
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.01_true-termination.c YES4.3 YES9.7 YES0.50 TIMEOUT-- YES0.13
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.07_true-termination.c YES4.2 YES8.9 YES0.43 TIMEOUT-- YES0.16
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.08_true-termination.c YES3.5 YES10 YES0.39 TIMEOUT-- YES0.13
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.09_true-termination.c YES7.9 YES11 YES0.71 YES1.0 YES0.16
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.10_true-termination.c YES3.7 YES9.8 YES0.50 YES0.93 YES0.10
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.13_true-termination.c YES4.6 YES21 YES0.51 YES1.2 YES0.10
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.16_true-termination.c YES6.6 YES10 YES0.48 YES0.76 YES0.10
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.18_true-termination.c YES5.3 YES10 YES0.54 YES1.3 YES0.12
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.19_true-termination.c YES6.3 YES22 YES0.54 YES0.97 YES0.11
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.20_true-termination.c YES3.9 YES9.7 YES0.56 YES0.89 YES0.11
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.21_true-termination.c YES5.7 YES11 YES0.51 YES1.0 YES0.12
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.22_true-termination.c YES7.1 YES9.8 YES0.60 YES1.2 YES0.16
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.01_true-termination.c YES7.3 YES14 YES0.51 YES1.3 YES0.14
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.03_true-termination.c YES4.7 YES10 YES1.00 TIMEOUT-- MAYBE9.5
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.04_true-termination.c YES8.1 YES22 YES0.59 YES1.7 YES0.23
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.05_true-termination.c YES8.1 YES21 YES0.54 TIMEOUT-- YES0.15
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.07_true-termination.c YES5.8 YES11 YES0.91 YES1.7 YES0.12
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.08_true-termination.c YES7.4 YES11 YES0.43 YES1.4 YES0.11
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.09_true-termination.c YES9.4 YES23 YES0.59 YES1.3 YES0.25
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.10_true-termination.c YES3.8 YES13 YES0.42 YES1.0 YES0.11
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex4.01_true-termination.c YES9.0 YES22 YES1.5 TIMEOUT-- YES0.27
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Fig1_true-termination.c YES5.4 YES11 YES0.92 YES5.9 YES0.13
termination-crafted-lit/ColonSipma-TACAS2001-Fig1_true-termination.c YES3.7 YES21 YES0.42 YES1.5 YES0.11
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig1_true-termination.c YES3.9 YES13 YES0.50 TIMEOUT-- YES0.19
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7a_true-termination.c YES4.1 YES13 YES0.63 YES4.3 YES0.22
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7b_true-termination.c YES4.0 YES13 YES1.1 TIMEOUT-- YES3.0
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a-modified_true-termination.c YES15 YES12 YES0.40 YES4.1 YES0.23
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a_true-termination.c YES9.3 YES13 YES0.39 YES1.4 YES0.18
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8b_true-termination.c YES13 YES12 YES0.45 YES2.1 MAYBE0.25
termination-crafted-lit/GopanReps-CAV2006-Fig1a_true-termination.c.c YES4.2 YES12 YES0.53 TIMEOUT-- YES0.11
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1a_true-termination.c YES3.3 YES14 YES0.45 YES1.2 YES0.18
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1b_true-termination.c YES3.6 YES11 YES0.77 YES2.0 YES0.12
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1c_true-termination.c YES3.5 YES11 YES0.36 YES0.93 YES0.09
termination-crafted-lit/GulwaniJainKoskinen-PLDI2009-Fig1_true-termination.c TIMEOUT-- TIMEOUT-- MAYBE26 YES4.2 TIMEOUT--
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig1_true-termination.c YES230 YES30 YES1.9 TIMEOUT-- TIMEOUT--
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig3_true-termination.c YES9.5 MAYBE7.8 YES0.39 MAYBE0.29 TIMEOUT--
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig1_true-termination.c YES4.1 YES10 YES0.37 YES11 YES0.13
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig2_true-termination.c MAYBE16 MAYBE26 MAYBE0.90 YES0.75 TIMEOUT--
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig4_true-termination.c YES3.6 YES9.7 YES0.45 YES0.76 YES0.09
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig5_true-termination.c YES10 MAYBE32 YES0.47 YES10 TIMEOUT--
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig6_true-termination.c YES2.9 YES9.9 YES0.39 YES0.80 YES0.10
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig7_true-termination.c YES26 YES14 MAYBE0.30 MAYBE0.27 TIMEOUT--
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig8_true-termination.c TIMEOUT-- MAYBE15 YES0.55 YES1.2 TIMEOUT--
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig9_true-termination.c TIMEOUT-- MAYBE17 YES0.49 TIMEOUT-- TIMEOUT--
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Ex_true-termination.c YES3.8 YES8.5 YES0.52 YES0.73 YES0.12
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Fig1_true-termination.c TIMEOUT-- YES23 YES3.9 YES1.5 TIMEOUT--
termination-crafted-lit/LarrazOliverasRodriguez-CarbonellRubio-FMCAD2013-Fig1_true-termination.c TIMEOUT-- YES42 YES8.9 TIMEOUT-- YES0.42
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex1_true-termination.c YES8.8 YES13 YES0.40 MAYBE0.29 TIMEOUT--
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex2_true-termination.c YES9.9 YES21 YES0.46 MAYBE0.34 TIMEOUT--
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex3_true-termination.c YES12 TIMEOUT-- YES0.85 MAYBE0.32 YES0.31
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex4_true-termination.c YES13 YES37 YES1.2 MAYBE0.33 YES0.15
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex5_true-termination.c YES12 MAYBE43 YES0.55 MAYBE0.29 TIMEOUT--
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex6_true-termination.c YES10 YES14 MAYBE21 MAYBE0.38 TIMEOUT--
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex1_true-termination.c YES3.7 YES9.5 YES0.56 YES0.63 YES0.11
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex7_true-termination.c YES6.3 YES9.9 YES0.51 YES1.1 YES0.12
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex8_true-termination.c YES3.6 YES11 YES0.50 YES3.0 YES0.12
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex9_true-termination.c YES14 YES10 YES0.67 YES1.4 YES0.28
termination-crafted-lit/LeikeHeizmann-TACAS2014-Fig1_true-termination.c YES4.4 YES12 YES0.49 TIMEOUT-- YES0.13
termination-crafted-lit/LeikeHeizmann-WST2014-Ex9_true-termination.c MAYBE6.3 YES9.4 YES0.34 YES0.73 YES0.11
termination-crafted-lit/Masse-VMCAI2014-Ex6_true-termination.c YES3.8 YES12 YES0.52 YES3.8 YES0.10
termination-crafted-lit/Masse-VMCAI2014-Fig1a_true-termination.c YES3.4 YES11 YES0.55 YES2.0 YES0.16
termination-crafted-lit/Masse-VMCAI2014-Fig1b_true-termination.c TIMEOUT-- MAYBE18 MAYBE28 YES7.6 TIMEOUT--
termination-crafted-lit/NoriSharma-FSE2013-Fig7_true-termination.c YES4.1 YES12 YES0.48 YES2.5 YES0.11
termination-crafted-lit/NoriSharma-FSE2013-Fig8_true-termination.c YES3.9 YES13 YES0.45 YES12 YES0.12
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig1_true-termination.c YES34 YES13 YES0.70 YES2.3 TIMEOUT--
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig2-TACAS2011-Fig3_true-termination.c TIMEOUT-- TIMEOUT-- MAYBE47 YES18 TIMEOUT--
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig2_true-termination.c TIMEOUT-- TIMEOUT-- MAYBE43 YES18 TIMEOUT--
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig1_true-termination.c YES3.7 YES9.4 YES0.33 YES0.71 YES0.08
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig2_true-termination.c YES3.6 YES11 YES0.53 YES1.8 YES0.12
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig3_true-termination.c TIMEOUT-- TIMEOUT-- MAYBE43 YES18 TIMEOUT--
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig4_true-termination.c YES3.9 YES13 YES0.64 YES2.6 YES0.19
termination-crafted-lit/PodelskiRybalchenko-VMCAI2004-Ex1_true-termination.c YES3.7 YES50 YES1.0 YES1.0 YES0.13
termination-crafted-lit/PodelskiRybalchenko-VMCAI2004-Ex2_true-termination.c YES6.5 MAYBE14 YES0.77 YES1.8 YES0.12
termination-crafted-lit/Urban-WST2013-Fig2-modified1000_true-termination.c YES3.6 TIMEOUT-- YES0.61 TIMEOUT-- YES0.11
termination-crafted-lit/Urban-WST2013-Fig2_true-termination.c YES3.9 YES12 YES0.60 YES10 YES0.12
termination-crafted-lit/UrbanMine-ESOP2014-Fig3_true-termination.c YES110 YES14 YES1.1 TIMEOUT-- YES1.0
termination-crafted-lit/aviad_true-termination.c YES41 YES11 YES0.70 YES0.64 YES0.22
termination-crafted-lit/cstrcmp_true-termination.c YES19 YES24 MAYBE29 MAYBE0.15 MAYBE0.05
termination-crafted-lit/cstrcspn_true-termination.c YES84 TIMEOUT-- MAYBE0.48 MAYBE0.14 MAYBE0.05
termination-crafted-lit/cstrlen_true-termination.c YES10 YES13 MAYBE0.44 MAYBE0.12 MAYBE0.05
termination-crafted-lit/cstrncmp_true-termination.c YES28 YES14 MAYBE1.5 MAYBE0.21 MAYBE0.05
termination-crafted-lit/cstrpbrk_true-termination.c YES60 TIMEOUT-- MAYBE55 MAYBE0.13 MAYBE0.05
termination-crafted-lit/cstrspn_true-termination.c YES67 TIMEOUT-- MAYBE0.49 MAYBE0.16 MAYBE0.05
termination-crafted-lit/gcd1_true-termination.c YES5.1 YES13 YES0.80 YES1.8 TIMEOUT--
termination-crafted-lit/genady_true-termination.c YES3.7 YES9.6 YES0.34 TIMEOUT-- YES0.09
termination-crafted-lit/min_rf_true-termination.c YES52 YES39 YES0.83 YES0.80 TIMEOUT--
termination-crafted-lit/strchr_true-termination.c YES14 YES14 MAYBE50 MAYBE0.12 MAYBE0.05
termination-libowfat/atoi_true-termination.c.i MAYBE790 YES13 MAYBE0.36 MAYBE0.23 TIMEOUT--
termination-libowfat/atol_true-termination.c.i TIMEOUT-- YES13 MAYBE0.37 MAYBE0.23 TIMEOUT--
termination-libowfat/atoll_true-termination.c.i TIMEOUT-- YES12 MAYBE0.37 MAYBE0.33 TIMEOUT--
termination-libowfat/basename_true-termination.c.i MAYBE37 TIMEOUT-- MAYBE0.25 MAYBE0.41 TIMEOUT--
termination-libowfat/build_fullname_true-termination.c.i MAYBE62 YES190 MAYBE0.31 MAYBE0.31 TIMEOUT--
termination-libowfat/dirname_true-termination.c.i MAYBE36 MAYBE8.9 MAYBE0.25 MAYBE0.25 TIMEOUT--
termination-libowfat/skip_to_true-termination.c.i YES55 MAYBE100 MAYBE0.29 MAYBE0.33 TIMEOUT--
termination-libowfat/stpcpy_true-termination.c.i MAYBE23 YES26 MAYBE0.36 MAYBE0.27 TIMEOUT--
termination-libowfat/strcasecmp_true-termination.c.i MAYBE9.0 YES24 MAYBE0.36 MAYBE0.31 TIMEOUT--
termination-libowfat/strcat_short_true-termination.c.i MAYBE12 YES28 MAYBE0.30 MAYBE0.28 TIMEOUT--
termination-libowfat/strcat_true-termination.c.i MAYBE12 TIMEOUT-- MAYBE0.37 MAYBE0.36 TIMEOUT--
termination-libowfat/strchr_short_true-termination.c.i YES21 YES14 MAYBE0.29 MAYBE0.33 TIMEOUT--
termination-libowfat/strchr_true-termination.c.i YES59 YES15 MAYBE0.29 MAYBE0.35 TIMEOUT--
termination-libowfat/strcmp_short_true-termination.c.i YES30 YES23 MAYBE0.36 MAYBE0.22 TIMEOUT--
termination-libowfat/strcpy_small_true-termination.c.i MAYBE22 YES26 MAYBE0.36 MAYBE0.34 TIMEOUT--
termination-libowfat/strcspn_true-termination.c.i YES300 YES550 MAYBE0.27 MAYBE0.29 TIMEOUT--
termination-libowfat/strdup_true-termination.c.i YES51 TIMEOUT-- MAYBE0.29 MAYBE0.31 TIMEOUT--
termination-libowfat/strlcat_true-termination.c.i MAYBE15 MAYBE7.9 MAYBE0.30 MAYBE0.31 MAYBE0.05
termination-libowfat/strlcpy_true-termination.c.i MAYBE98 MAYBE7.4 MAYBE0.30 MAYBE0.31 MAYBE0.05
termination-libowfat/strlen_true-termination.c.i YES33 YES12 MAYBE0.30 MAYBE0.22 TIMEOUT--
termination-libowfat/strpbrk_true-termination.c.i YES160 MAYBE90 MAYBE0.29 MAYBE0.31 TIMEOUT--
termination-libowfat/strrchr_short_true-termination.c.i YES46 YES16 MAYBE0.37 MAYBE0.34 TIMEOUT--
termination-libowfat/strrchr_true-termination.c.i TIMEOUT-- YES17 MAYBE0.29 MAYBE0.35 TIMEOUT--
termination-libowfat/strspn_true-termination.c.i YES190 TIMEOUT-- MAYBE0.30 MAYBE0.31 TIMEOUT--
termination-libowfat/strstr_true-termination.c.i MAYBE94 MAYBE84 MAYBE0.20 MAYBE0.26 TIMEOUT--
termination-libowfat/strtok_r_true-termination.c.i TIMEOUT-- TIMEOUT-- MAYBE0.31 MAYBE0.32 TIMEOUT--
termination-libowfat/strtol_true-termination.c.i MAYBE30 YES64 MAYBE0.25 MAYBE0.38 TIMEOUT--
termination-libowfat/strtoul_true-termination.c.i MAYBE27 YES52 MAYBE0.25 MAYBE0.40 TIMEOUT--
termination-libowfat/strtoull_true-termination.c.i MAYBE28 YES57 MAYBE0.26 MAYBE0.34 TIMEOUT--
termination-libowfat/wcsrchr_true-termination.c.i MAYBE5.3 YES13 MAYBE0.36 MAYBE0.28 TIMEOUT--
termination-libowfat/wcsstr_true-termination.c.i TIMEOUT-- YES10 MAYBE0.37 MAYBE0.32 TIMEOUT--
termination-memory-alloca/Avery-2006FLOPS-Tabel1_true-alloca_true-termination.c.i YES110 YES25 YES2.3 YES2.1 TIMEOUT--
termination-memory-alloca/Ben-Amram-2010LMCS-Ex2.3-alloca_true-termination.c.i YES34 YES34 YES1.5 YES3.2 TIMEOUT--
termination-memory-alloca/BrockschmidtCookFuhs-2013CAV-Fig1-alloca_true-termination.c.i YES48 TIMEOUT-- MAYBE11 YES2.4 TIMEOUT--
termination-memory-alloca/BrockschmidtCookFuhs-2013CAV-Introduction-alloca_true-termination.c.i YES21 YES12 YES0.70 YES1.9 TIMEOUT--
termination-memory-alloca/ChenFlurMukhopadhyay-2012SAS-Fig1-alloca_true-termination.c.i YES21 YES20 YES9.8 YES5.5 TIMEOUT--
termination-memory-alloca/CookSeeZuleger-2013TACAS-Fig3-alloca_true-termination.c.i YES24 YES41 YES1.1 YES270 TIMEOUT--
termination-memory-alloca/CookSeeZuleger-2013TACAS-Fig7a-alloca_true-termination.c.i YES34 YES40 YES1.7 YES8.0 TIMEOUT--
termination-memory-alloca/CookSeeZuleger-2013TACAS-Fig7b-alloca_true-termination.c.i YES110 YES84 YES1.6 TIMEOUT-- TIMEOUT--
termination-memory-alloca/GulwaniJainKoskinen-2009PLDI-Fig1-alloca_true-termination.c.i YES37 TIMEOUT-- MAYBE89 MAYBE0.34 TIMEOUT--
termination-memory-alloca/HarrisLalNoriRajamani-2010SAS-Fig1-alloca_true-termination.c.i YES16 YES120 YES18 YES4.0 TIMEOUT--
termination-memory-alloca/HarrisLalNoriRajamani-2010SAS-Fig3-alloca_true-termination.c.i YES22 YES11 MAYBE0.43 MAYBE0.30 TIMEOUT--
termination-memory-alloca/KroeningSharyginaTsitovichWintersteiger-2010CAV-Fig1-alloca_true-termination.c.i TIMEOUT-- YES31 YES7.2 YES1.4 TIMEOUT--
termination-memory-alloca/Masse-alloca_true-termination.c.i TIMEOUT-- MAYBE26 MAYBE30 YES190 TIMEOUT--
termination-memory-alloca/NoriSharma-2013FSE-Fig7-alloca_true-termination.c.i YES230 YES71 YES4.1 YES4.6 TIMEOUT--
termination-memory-alloca/NoriSharma-2013FSE-Fig8-alloca_true-termination.c.i YES100 YES56 YES3.2 TIMEOUT-- TIMEOUT--
termination-memory-alloca/TelAviv-Amir-Minimum-alloca_true-termination.c.i TIMEOUT-- TIMEOUT-- YES1.7 YES1.1 TIMEOUT--
termination-memory-alloca/Toulouse-BranchesToLoop-alloca_true-termination.c.i YES17 YES18 YES2.5 TIMEOUT-- TIMEOUT--
termination-memory-alloca/Toulouse-MultiBranchesToLoop-alloca_true-termination.c.i YES27 YES110 YES11 TIMEOUT-- TIMEOUT--
termination-memory-alloca/Urban-2013WST-Fig2-alloca_true-termination.c.i YES20 YES700 YES0.66 YES10 TIMEOUT--
termination-memory-alloca/Urban-2013WST-Fig2-modified1000-alloca_true-termination.c.i YES20 TIMEOUT-- YES0.66 TIMEOUT-- TIMEOUT--
termination-memory-alloca/Urban-alloca_true-termination.c.i YES110 YES35 YES1.4 TIMEOUT-- TIMEOUT--
termination-memory-alloca/a.01-alloca_true-termination.c.i YES89 MAYBE520 MAYBE9.7 YES3.1 TIMEOUT--
termination-memory-alloca/a.04-alloca_true-termination.c.i YES33 YES15 YES0.90 YES1.1 TIMEOUT--
termination-memory-alloca/a.05-alloca_true-termination.c.i YES44 YES15 YES0.90 YES1.1 TIMEOUT--
termination-memory-alloca/a.06-alloca_true-termination.c.i YES69 YES15 YES1.4 YES2.2 TIMEOUT--
termination-memory-alloca/a.07-alloca_true-termination.c.i YES100 YES18 YES1.5 YES0.97 TIMEOUT--
termination-memory-alloca/a.08-alloca_true-termination.c.i YES45 YES13 YES0.95 YES0.94 TIMEOUT--
termination-memory-alloca/a.09_assume-alloca_true-termination.c.i YES17 YES14 MAYBE0.77 YES1.2 TIMEOUT--
termination-memory-alloca/a.10-alloca_true-termination.c.i YES58 YES23 YES1.4 YES13 TIMEOUT--
termination-memory-alloca/add_last-alloca_true-termination.c.i MAYBE4.9 YES43 MAYBE3.2 MAYBE0.23 TIMEOUT--
termination-memory-alloca/array01-alloca_true-termination.c.i YES61 YES17 MAYBE22 MAYBE0.26 TIMEOUT--
termination-memory-alloca/array02-alloca_true-termination.c.i YES200 YES18 MAYBE22 MAYBE0.37 TIMEOUT--
termination-memory-alloca/array03-alloca_true-termination.c.i YES350 YES17 MAYBE36 MAYBE0.29 TIMEOUT--
termination-memory-alloca/aviad_true-alloca_true-termination.c.i YES70 YES30 YES2.6 YES0.70 TIMEOUT--
termination-memory-alloca/b.01-alloca_true-termination.c.i YES37 YES14 YES0.91 YES0.99 TIMEOUT--
termination-memory-alloca/b.02-alloca_true-termination.c.i YES59 YES14 YES0.95 YES1.5 TIMEOUT--
termination-memory-alloca/b.03-no-inv_assume-alloca_true-termination.c.i YES13 YES12 YES1.0 TIMEOUT-- TIMEOUT--
termination-memory-alloca/b.03_assume-alloca_true-termination.c.i YES14 YES13 MAYBE0.99 YES0.91 TIMEOUT--
termination-memory-alloca/b.04-alloca_true-termination.c.i YES9.5 YES13 YES0.84 YES0.62 TIMEOUT--
termination-memory-alloca/b.05-alloca_true-termination.c.i YES15 YES13 YES0.84 YES0.67 TIMEOUT--
termination-memory-alloca/b.06-alloca_true-termination.c.i YES55 YES15 YES1.0 YES0.70 TIMEOUT--
termination-memory-alloca/b.07-alloca_true-termination.c.i YES110 YES16 YES1.8 YES0.88 TIMEOUT--
termination-memory-alloca/b.09-no-inv_assume-alloca_true-termination.c.i YES55 YES24 YES6.3 YES0.86 TIMEOUT--
termination-memory-alloca/b.09_assume-alloca_true-termination.c.i YES52 YES20 MAYBE1.1 YES1.2 TIMEOUT--
termination-memory-alloca/b.10-alloca_true-termination.c.i YES74 YES18 YES1.3 YES0.74 TIMEOUT--
termination-memory-alloca/b.11-alloca_true-termination.c.i YES140 YES33 YES1.5 YES0.98 TIMEOUT--
termination-memory-alloca/b.12-alloca_true-termination.c.i YES60 YES23 YES1.2 YES1.9 TIMEOUT--
termination-memory-alloca/b.13-alloca_true-termination.c.i YES110 YES120 YES1.9 YES17 TIMEOUT--
termination-memory-alloca/b.14-alloca_true-termination.c.i YES40 YES53 MAYBE9.3 YES2.2 TIMEOUT--
termination-memory-alloca/b.15-alloca_true-termination.c.i YES51 YES24 MAYBE16 YES2.8 TIMEOUT--
termination-memory-alloca/b.16-alloca_true-termination.c.i YES59 YES22 YES1.3 YES1.8 TIMEOUT--
termination-memory-alloca/b.17-alloca_true-termination.c.i YES88 YES34 MAYBE17 YES2.9 TIMEOUT--
termination-memory-alloca/b.18-alloca_true-termination.c.i YES14 YES24 MAYBE14 YES4.1 TIMEOUT--
termination-memory-alloca/bubblesort-alloca_true-termination.c.i YES260 TIMEOUT-- MAYBE84 MAYBE0.30 YES0.16
termination-memory-alloca/c.01-no-inv-alloca_true-termination.c.i YES80 TIMEOUT-- MAYBE10 YES1.9 TIMEOUT--
termination-memory-alloca/c.01_assume-alloca_true-termination.c.i YES50 YES29 MAYBE0.78 YES2.5 TIMEOUT--
termination-memory-alloca/c.02-alloca_true-termination.c.i YES55 MAYBE200 MAYBE9.7 YES2.3 TIMEOUT--
termination-memory-alloca/c.03-alloca_true-termination.c.i YES110 MAYBE120 YES1.7 YES7.6 TIMEOUT--
termination-memory-alloca/c.07-alloca_true-termination.c.i YES100 YES19 YES2.7 YES130 TIMEOUT--
termination-memory-alloca/c.08-alloca_true-termination.c.i YES130 MAYBE630 MAYBE9.4 YES2.2 TIMEOUT--
termination-memory-alloca/count_down-alloca_true-termination.c.i YES170 YES33 MAYBE2.9 MAYBE0.31 TIMEOUT--
termination-memory-alloca/cstrcat-alloca_true-termination.c.i MAYBE97 YES14 MAYBE8.4 MAYBE0.34 TIMEOUT--
termination-memory-alloca/cstrchr-alloca_true-termination.c.i YES24 YES14 MAYBE49 MAYBE0.30 TIMEOUT--
termination-memory-alloca/cstrcmp-alloca_true-termination.c.i YES54 YES24 MAYBE28 MAYBE0.31 TIMEOUT--
termination-memory-alloca/cstrcpy-alloca_true-termination.c.i YES32 YES27 MAYBE2.9 MAYBE0.29 TIMEOUT--
termination-memory-alloca/cstrcspn-alloca_true-termination.c.i YES220 TIMEOUT-- MAYBE0.45 MAYBE0.41 TIMEOUT--
termination-memory-alloca/cstrlen-alloca_true-termination.c.i YES18 YES12 MAYBE0.56 MAYBE0.34 TIMEOUT--
termination-memory-alloca/cstrncat-alloca_true-termination.c.i MAYBE190 YES20 MAYBE8.2 MAYBE0.34 TIMEOUT--
termination-memory-alloca/cstrncmp-alloca_true-termination.c.i YES95 YES16 MAYBE1.0 MAYBE0.25 YES0.24
termination-memory-alloca/cstrncpy-alloca_true-termination.c.i YES87 YES39 MAYBE0.92 MAYBE0.30 TIMEOUT--
termination-memory-alloca/cstrpbrk-alloca_true-termination.c.i YES110 TIMEOUT-- MAYBE50 MAYBE0.34 TIMEOUT--
termination-memory-alloca/cstrspn-alloca_true-termination.c.i YES140 TIMEOUT-- MAYBE0.44 MAYBE0.48 TIMEOUT--
termination-memory-alloca/diff-alloca_true-termination.c.i TIMEOUT-- YES51 MAYBE24 MAYBE0.31 YES0.34
termination-memory-alloca/easySum-alloca_true-termination.c.i YES55 YES13 YES1.1 YES0.88 TIMEOUT--
termination-memory-alloca/ex1-alloca_true-termination.c.i YES12 YES14 YES2.0 YES0.63 TIMEOUT--
termination-memory-alloca/ex2-alloca_true-termination.c.i YES96 MAYBE76 YES6.0 TIMEOUT-- TIMEOUT--
termination-memory-alloca/ex3a-alloca_true-termination.c.i YES18 MAYBE40 YES0.95 TIMEOUT-- TIMEOUT--
termination-memory-alloca/ex3b-alloca_true-termination.c.i YES31 MAYBE47 YES1.4 TIMEOUT-- TIMEOUT--
termination-memory-alloca/fermat-alloca_true-termination.c.i YES430 MAYBE130 MAYBE65 TIMEOUT-- TIMEOUT--
termination-memory-alloca/flag-alloca_true-termination.c.i YES41 YES47 YES1.7 YES1.3 TIMEOUT--
termination-memory-alloca/gcd1-alloca_true-termination.c.i YES130 MAYBE16 MAYBE14 YES2.1 TIMEOUT--
termination-memory-alloca/genady-alloca_true-termination.c.i YES38 YES12 YES0.62 TIMEOUT-- TIMEOUT--
termination-memory-alloca/insertionsort-alloca_true-termination.c.i TIMEOUT-- YES65 MAYBE22 MAYBE0.32 YES0.15
termination-memory-alloca/java_AG313-alloca_true-termination.c.i YES35 YES15 YES1.3 YES0.80 TIMEOUT--
termination-memory-alloca/java_Break-alloca_true-termination.c.i YES13 YES12 YES0.61 YES1.5 TIMEOUT--
termination-memory-alloca/java_BubbleSort-alloca_true-termination.c.i TIMEOUT-- TIMEOUT-- MAYBE84 MAYBE0.30 YES0.16
termination-memory-alloca/java_Continue1-alloca_true-termination.c.i YES16 YES510 YES0.67 YES3.2 TIMEOUT--
termination-memory-alloca/java_LogBuiltIn-alloca_true-termination.c.i YES14 YES13 YES0.65 YES0.64 TIMEOUT--
termination-memory-alloca/java_Nested-alloca_true-termination.c.i YES46 MAYBE33 YES0.92 TIMEOUT-- TIMEOUT--
termination-memory-alloca/java_Sequence-alloca_true-termination.c.i YES16 MAYBE820 YES0.89 YES340 TIMEOUT--
termination-memory-alloca/lis-alloca_true-termination.c.i MAYBE460 TIMEOUT-- MAYBE22 MAYBE0.35 YES0.27
termination-memory-alloca/min_rf-alloca_true-termination.c.i YES250 MAYBE630 YES2.2 YES0.83 TIMEOUT--
termination-memory-alloca/mult_array-alloca_true-termination.c.i YES120 YES18 MAYBE5.2 TIMEOUT-- YES0.30
termination-memory-alloca/openbsd_cbzero-alloca_true-termination.c.i YES21 YES14 MAYBE0.88 MAYBE0.30 TIMEOUT--
termination-memory-alloca/openbsd_cmemchr-alloca_true-termination.c.i YES52 YES13 MAYBE5.8 MAYBE0.23 TIMEOUT--
termination-memory-alloca/openbsd_cmemrchr-alloca_true-termination.c.i YES60 MAYBE46 MAYBE0.45 MAYBE0.38 TIMEOUT--
termination-memory-alloca/openbsd_cmemset-alloca_true-termination.c.i YES36 YES13 MAYBE0.86 MAYBE0.30 TIMEOUT--
termination-memory-alloca/openbsd_cstpcpy-alloca_true-termination.c.i YES28 YES23 MAYBE24 MAYBE0.32 TIMEOUT--
termination-memory-alloca/openbsd_cstpncpy-alloca_true-termination.c.i YES84 TIMEOUT-- MAYBE0.45 MAYBE0.39 TIMEOUT--
termination-memory-alloca/openbsd_cstrcat-alloca_true-termination.c.i MAYBE100 YES26 MAYBE8.6 MAYBE0.23 TIMEOUT--
termination-memory-alloca/openbsd_cstrcmp-alloca_true-termination.c.i YES36 YES22 MAYBE1.2 MAYBE0.34 TIMEOUT--
termination-memory-alloca/openbsd_cstrcpy-alloca_true-termination.c.i YES28 YES35 MAYBE24 MAYBE0.35 TIMEOUT--
termination-memory-alloca/openbsd_cstrcspn-alloca_true-termination.c.i TIMEOUT-- YES65 MAYBE0.58 MAYBE0.33 TIMEOUT--
termination-memory-alloca/openbsd_cstrlcpy-alloca_true-termination.c.i YES86 YES33 MAYBE0.58 MAYBE0.33 TIMEOUT--
termination-memory-alloca/openbsd_cstrlen-alloca_true-termination.c.i YES18 YES12 MAYBE0.44 MAYBE0.43 TIMEOUT--
termination-memory-alloca/openbsd_cstrncat-alloca_true-termination.c.i MAYBE140 MAYBE26 MAYBE8.3 MAYBE0.37 TIMEOUT--
termination-memory-alloca/openbsd_cstrncmp-alloca_true-termination.c.i YES55 YES25 MAYBE1.4 MAYBE0.30 TIMEOUT--
termination-memory-alloca/openbsd_cstrncpy-alloca_true-termination.c.i YES69 YES34 MAYBE0.89 MAYBE0.30 TIMEOUT--
termination-memory-alloca/openbsd_cstrnlen-alloca_true-termination.c.i YES32 YES12 MAYBE0.44 MAYBE0.29 TIMEOUT--
termination-memory-alloca/openbsd_cstrpbrk-alloca_true-termination.c.i YES62 YES32 MAYBE0.94 MAYBE0.34 TIMEOUT--
termination-memory-alloca/openbsd_cstrspn-alloca_true-termination.c.i TIMEOUT-- TIMEOUT-- MAYBE0.20 MAYBE0.38 TIMEOUT--
termination-memory-alloca/openbsd_cstrstr-alloca_true-termination.c.i TIMEOUT-- YES54 MAYBE0.60 MAYBE0.37 TIMEOUT--
termination-memory-alloca/rec_strlen-alloca_true-termination.c.i YES9.8 YES12 MAYBE8.7 MAYBE0.27 TIMEOUT--
termination-memory-alloca/selectionsort-alloca_true-termination.c.i TIMEOUT-- YES56 YES4.2 MAYBE0.29 YES0.15
termination-memory-alloca/stroeder1-alloca_true-termination.c.i YES29 YES13 MAYBE0.68 MAYBE0.38 YES0.09
termination-memory-alloca/stroeder2-alloca_true-termination.c.i YES65 YES19 MAYBE1.3 MAYBE0.29 TIMEOUT--
termination-memory-alloca/strreplace-alloca_true-termination.c.i YES74 YES18 MAYBE84 MAYBE0.32 TIMEOUT--
termination-memory-alloca/subseq-alloca_true-termination.c.i YES89 YES29 MAYBE33 MAYBE0.32 TIMEOUT--
termination-memory-alloca/substring-alloca_true-termination.c.i YES100 TIMEOUT-- MAYBE23 MAYBE0.29 TIMEOUT--
termination-memory-alloca/twisted-alloca_true-termination.c.i YES14 YES43 MAYBE0.19 YES6.8 TIMEOUT--
termination-numeric/Ackermann01_true-termination.c YES16 TIMEOUT-- YES1.32 MAYBE0.29 TIMEOUT--
termination-numeric/Addition01_true-termination.c YES8.7 YES15 MAYBE0.42 MAYBE0.29 YES0.16
termination-numeric/Avg_true_true-termination.c YES15 YES20 YES0.81 MAYBE0.32 YES0.22
termination-numeric/Binomial_true-termination.c YES130 TIMEOUT-- MAYBE5.1 MAYBE0.29 MAYBE0.05
termination-numeric/Et1_true_true-termination.c YES21 YES22 YES0.55 MAYBE0.28 YES0.17
termination-numeric/Et2_true_true-termination.c YES28 YES13 YES0.50 MAYBE0.28 TIMEOUT--
termination-numeric/Et3_true_true-termination.c YES20 YES12 YES0.44 MAYBE0.34 YES0.15
termination-numeric/Et4_true_true-termination.c YES35 YES71 YES0.67 MAYBE0.28 TIMEOUT--
termination-numeric/EvenOdd01_true-termination.c YES9.6 YES16 YES0.55 MAYBE0.25 TIMEOUT--
termination-numeric/Fibonacci01_true-termination.c YES12 TIMEOUT-- YES0.47 MAYBE0.30 YES0.13
termination-numeric/LeUserDefRec_true-termination.c YES9.9 YES9.6 YES0.50 MAYBE0.28 YES0.13
termination-numeric/LogRecursive_true-termination.c TIMEOUT-- MAYBE21 YES0.47 MAYBE0.29 YES0.22
termination-numeric/MultCommutative_true-termination.c YES11 YES17 YES0.86 MAYBE0.24 YES0.14
termination-numeric/Parts_true-termination.c YES79 TIMEOUT-- YES1.2 MAYBE0.33 MAYBE0.05
termination-numeric/TerminatorRec02_true-termination.c YES9.1 YES10 YES0.43 MAYBE0.33 YES0.09
termination-numeric/TwoWay_true-termination.c YES9.0 YES20 YES0.91 MAYBE0.25 TIMEOUT--
termination-numeric/gcd01_true-termination.c YES13 YES15 YES0.85 MAYBE0.24 YES0.20
termination-numeric/java_LogBuiltIn_true-termination.c YES12 YES9.9 YES0.49 YES0.77 YES0.12
termination-numeric/recHanoi02_true-termination.c YES8.3 YES11 YES0.49 MAYBE0.36 TIMEOUT--
termination-numeric/rec_counter1_true-termination.c YES15 YES12 YES0.54 MAYBE0.31 TIMEOUT--
termination-numeric/rec_counter3_true-termination.c YES15 YES21 YES0.58 MAYBE0.35 MAYBE0.18
termination-numeric/twisted_true-termination.c YES96 YES12 MAYBE0.19 YES7.1 YES0.20
termination-restricted-15/DivMinus2_true-termination.c YES29 YES13 YES0.62 YES3.0 YES0.26
termination-restricted-15/DivMinus_true-termination.c YES4.1 YES9.7 YES0.39 YES0.85 YES0.10
termination-restricted-15/Et1_true-termination.c YES3.6 YES22 YES0.50 TIMEOUT-- YES0.22
termination-restricted-15/GCD3_true-termination.c YES31 YES30 YES1.1 YES3.6 TIMEOUT--
termination-restricted-15/GCD4_true-termination.c YES32 YES26 MAYBE2.6 YES1.8 YES0.14
termination-restricted-15/IntPath_true-termination.c YES5.7 YES9.0 YES0.35 YES0.54 MAYBE0.14
termination-restricted-15/LogAG_true-termination.c YES3.9 YES11 YES0.63 YES1.9 YES0.12
termination-restricted-15/LogMult_true-termination.c YES29 MAYBE33 YES0.92 TIMEOUT-- TIMEOUT--
termination-restricted-15/Log_true-termination.c YES3.7 YES12 YES0.55 YES1.4 YES0.12
termination-restricted-15/McCarthyIterative_true-termination.c YES4.0 YES23 YES0.47 TIMEOUT-- YES0.16
termination-restricted-15/MinusBuiltIn_true-termination.c YES3.9 YES12 YES0.33 YES0.67 YES0.09
termination-restricted-15/MinusMin_true-termination.c YES4.1 YES12 YES0.46 YES1.1 YES0.13
termination-restricted-15/MinusUserDefined_true-termination.c YES4.2 YES13 MAYBE3.9 YES6.1 YES0.18
termination-restricted-15/Nested_true-termination.c YES3.9 YES10 YES0.51 YES120 YES0.12
termination-restricted-15/Overflow_true-termination.c YES3.9 YES9.5 YES0.33 MAYBE0.24 MAYBE0.07
termination-restricted-15/PastaA10_true-termination.c YES15 YES12 YES0.39 YES2.7 YES0.24
termination-restricted-15/PastaA1_true-termination.c YES3.8 YES11 YES0.47 YES2.5 YES0.11
termination-restricted-15/PastaA4_true-termination.c YES3.2 YES9.9 YES0.33 YES0.95 YES0.09
termination-restricted-15/PastaA5_true-termination.c YES3.6 YES9.0 YES0.33 YES0.75 YES0.09
termination-restricted-15/PastaA6_true-termination.c YES3.9 YES11 YES0.35 YES3.4 YES0.09
termination-restricted-15/PastaA7_true-termination.c YES3.1 YES10 YES0.39 YES0.97 YES0.10
termination-restricted-15/PastaA8_true-termination.c YES3.5 YES9.2 YES0.33 YES0.98 YES0.09
termination-restricted-15/PastaA9_true-termination.c YES14 YES11 YES0.39 YES1.3 TIMEOUT--
termination-restricted-15/PastaB11_true-termination.c YES4.0 YES10 YES0.48 YES0.69 YES0.15
termination-restricted-15/PastaB14_true-termination.c YES3.8 YES10 YES0.55 YES1.5 YES0.13
termination-restricted-15/PastaB15_true-termination.c YES4.0 YES11 YES0.58 YES2.7 YES0.13
termination-restricted-15/PastaB16_true-termination.c YES3.2 YES11 YES0.51 YES1.3 YES0.12
termination-restricted-15/PastaB17_true-termination.c YES3.6 YES11 YES0.53 YES2.0 YES0.12
termination-restricted-15/PastaB1_true-termination.c YES3.2 YES8.8 YES0.33 YES0.80 YES0.09
termination-restricted-15/PastaB2_true-termination.c YES3.6 YES9.4 YES0.34 YES1.3 YES0.09
termination-restricted-15/PastaB3_true-termination.c YES11 YES11 YES0.38 TIMEOUT-- TIMEOUT--
termination-restricted-15/PastaB4_true-termination.c YES3.5 YES16 YES0.32 YES0.60 YES0.08
termination-restricted-15/PastaB6_true-termination.c YES3.8 YES9.6 YES0.38 YES1.0 YES0.11
termination-restricted-15/PastaB7_true-termination.c YES3.8 YES9.2 YES0.39 YES0.83 YES0.10
termination-restricted-15/PastaC1_true-termination.c YES32 YES14 YES0.67 YES1.9 TIMEOUT--
termination-restricted-15/PastaC2_true-termination.c YES3.9 YES11 YES0.48 YES2.8 YES0.13
termination-restricted-15/PastaC3_true-termination.c YES3.7 YES12 YES0.41 YES1.8 YES0.18
termination-restricted-15/PastaC7_true-termination.c YES3.7 YES16 YES0.40 YES1.3 YES0.10
termination-restricted-15/PastaC9_true-termination.c YES3.6 YES11 YES0.48 YES2.7 YES0.17
termination-restricted-15/PlusSwap_true-termination.c YES4.7 YES12 YES0.40 YES0.84 YES0.10
termination-restricted-15/Sequence_true-termination.c YES3.2 YES10 YES0.36 YES350 YES0.12
termination-restricted-15/WhileDecr_true-termination.c YES3.8 YES10 YES0.32 YES0.73 YES0.09
termination-restricted-15/a.01_true-termination.c YES4.0 YES11 YES0.52 YES2.6 YES0.11
termination-restricted-15/a.04_true-termination.c YES3.2 YES9.4 YES0.34 YES0.72 YES0.09
termination-restricted-15/a.05_true-termination.c YES3.2 YES9.9 YES0.35 YES0.93 YES0.09
termination-restricted-15/a.06_true-termination.c YES3.9 YES11 YES0.37 YES3.6 YES0.09
termination-restricted-15/a.07_true-termination.c YES3.9 YES9.4 YES0.41 YES0.87 YES0.10
termination-restricted-15/a.08_true-termination.c YES3.0 YES11 YES0.46 YES0.92 YES0.09
termination-restricted-15/a.09_assume_true-termination.c YES3.7 YES9.2 YES0.38 YES0.82 YES0.10
termination-restricted-15/a.10_true-termination.c YES39 YES12 YES0.67 YES2.5 YES0.16
termination-restricted-15/b.01_true-termination.c YES3.1 YES9.7 YES0.34 YES0.71 YES0.09
termination-restricted-15/b.02_true-termination.c YES3.8 YES9.5 YES0.35 YES1.2 YES0.09
termination-restricted-15/b.03-no-inv_assume_true-termination.c YES12 YES10 YES0.39 YES15 TIMEOUT--
termination-restricted-15/b.03_assume_true-termination.c YES3.7 YES9.7 YES0.49 YES0.77 YES0.10
termination-restricted-15/b.04_true-termination.c YES4.0 YES13 YES0.32 YES0.58 YES0.08
termination-restricted-15/b.05_true-termination.c YES3.3 YES11 YES0.50 YES0.58 YES0.12
termination-restricted-15/b.06_true-termination.c YES3.9 YES9.4 YES0.40 YES1.0 YES0.10
termination-restricted-15/b.07_true-termination.c YES3.7 YES9.9 YES0.41 YES0.82 YES0.10
termination-restricted-15/b.09-no-inv_assume_true-termination.c YES21 YES15 YES1.1 YES0.97 TIMEOUT--
termination-restricted-15/b.09_assume_true-termination.c YES4.0 YES10 YES0.44 YES0.92 YES0.12
termination-restricted-15/b.10_true-termination.c YES3.9 YES11 YES0.44 YES1.0 YES0.14
termination-restricted-15/b.11_true-termination.c YES4.0 YES11 YES0.54 YES0.87 YES0.15
termination-restricted-15/b.12_true-termination.c YES4.8 YES9.9 YES0.45 YES2.1 YES0.15
termination-restricted-15/b.13_true-termination.c YES5.1 YES11 YES0.47 YES91 YES0.16
termination-restricted-15/b.14_true-termination.c YES4.0 YES11 YES0.61 YES2.1 YES0.14
termination-restricted-15/b.15_true-termination.c YES4.1 YES12 YES0.80 YES2.8 YES0.14
termination-restricted-15/b.16_true-termination.c YES4.0 YES10 YES0.58 YES2.0 YES0.12
termination-restricted-15/b.17_true-termination.c YES3.9 YES11 YES0.62 YES2.5 YES0.12
termination-restricted-15/b.18_true-termination.c YES3.8 YES11 YES0.68 YES3.8 YES0.17
termination-restricted-15/c.01-no-inv_true-termination.c YES54 YES14 YES0.83 YES2.6 TIMEOUT--
termination-restricted-15/c.01_assume_true-termination.c YES4.0 YES11 YES0.96 YES2.0 YES0.15
termination-restricted-15/c.02_true-termination.c YES3.9 YES12 YES0.58 YES2.0 YES0.13
termination-restricted-15/c.03_true-termination.c YES3.7 YES13 YES0.44 YES1.7 YES0.20
termination-restricted-15/c.07_true-termination.c YES3.8 YES23 YES0.44 YES1.5 YES0.10
termination-restricted-15/c.08_true-termination.c YES3.7 YES11 YES0.58 YES2.2 YES0.11
termination-restricted-15/easySum_true-termination.c YES3.1 YES8.6 YES0.35 YES0.68 YES0.08
termination-restricted-15/ex1_true-termination.c YES3.7 YES9.8 YES0.64 YES0.59 YES0.09
termination-restricted-15/ex2_true-termination.c YES7.7 MAYBE25 YES0.83 TIMEOUT-- YES0.64
termination-restricted-15/ex3a_true-termination.c YES4.7 MAYBE20 YES0.39 TIMEOUT-- YES0.11
termination-restricted-15/ex3b_true-termination.c YES3.7 MAYBE23 YES0.39 TIMEOUT-- YES0.12
termination-restricted-15/fermat_true-termination.c YES4.2 YES140 MAYBE280 TIMEOUT-- YES0.90
termination-restricted-15/flag_true-termination.c YES36 YES17 YES0.50 YES1.1 YES0.13
termination-restricted-15/java_AG313_true-termination.c YES3.2 YES9.7 YES0.44 YES0.71 YES0.12
termination-restricted-15/java_Break_true-termination.c YES4.0 YES9.9 YES0.34 YES1.5 YES0.09
termination-restricted-15/java_Continue1_true-termination.c YES3.8 YES10 YES0.38 YES2.5 YES0.11
termination-restricted-15/java_Nested_true-termination.c YES3.9 YES15 YES0.52 TIMEOUT-- YES0.12
termination-restricted-15/java_Sequence_true-termination.c YES3.9 YES9.9 YES0.62 YES340 YES0.12
termination-15/add_first_alloca_true-termination.c.i MAYBE4.0 MAYBE150 NO1.5 MAYBE0.27 TIMEOUT--
termination-15/array05_alloca_true-termination.c.i MAYBE39 TIMEOUT-- MAYBE7.8 MAYBE0.27 TIMEOUT--
termination-15/array06_alloca_true-termination.c.i YES38 YES19 MAYBE7.6 MAYBE0.24 TIMEOUT--
termination-15/array07_alloca_true-termination.c.i YES46 YES18 MAYBE7.3 MAYBE0.30 TIMEOUT--
termination-15/array08_alloca_true-termination.c.i TIMEOUT-- TIMEOUT-- MAYBE6.1 MAYBE0.31 TIMEOUT--
termination-15/array09_alloca_true-termination.c.i TIMEOUT-- TIMEOUT-- MAYBE6.1 MAYBE0.30 TIMEOUT--
termination-15/array10_alloca_true-termination.c.i MAYBE40 TIMEOUT-- MAYBE7.6 MAYBE0.31 TIMEOUT--
termination-15/array11_alloca_true-termination.c.i TIMEOUT-- MAYBE150 YES1.3 MAYBE0.28 TIMEOUT--
termination-15/array12_alloca_true-termination.c.i MAYBE850 TIMEOUT-- MAYBE81 MAYBE0.28 TIMEOUT--
termination-15/array13_alloca_true-termination.c.i TIMEOUT-- TIMEOUT-- MAYBE81 MAYBE0.34 TIMEOUT--
termination-15/array16_alloca_true-termination.c.i TIMEOUT-- MAYBE48 MAYBE180 MAYBE0.28 TIMEOUT--
termination-15/array17_alloca_true-termination.c.i MAYBE75 TIMEOUT-- MAYBE85 MAYBE0.29 TIMEOUT--
termination-15/array18_alloca_true-termination.c.i TIMEOUT-- TIMEOUT-- MAYBE6.5 MAYBE0.27 TIMEOUT--
termination-15/count_up_alloca_true-termination.c.i YES270 YES31 MAYBE3.2 MAYBE0.28 TIMEOUT--
termination-15/count_up_and_down_alloca_true-termination.c.i YES61 YES41 MAYBE3.2 MAYBE0.34 TIMEOUT--
termination-15/cstrcat_diffterm_alloca_true-termination.c.i TIMEOUT-- YES14 MAYBE8.6 MAYBE0.25 TIMEOUT--
termination-15/cstrcat_malloc_true-termination.c.i MAYBE26 YES14 MAYBE0.30 MAYBE0.29 TIMEOUT--
termination-15/cstrcat_mixed_alloca_true-termination.c.i MAYBE97 YES16 MAYBE8.6 MAYBE0.32 TIMEOUT--
termination-15/cstrcat_reverse_alloca_true-termination.c.i TIMEOUT-- MAYBE34 MAYBE8.4 MAYBE0.27 TIMEOUT--
termination-15/cstrchr_diffterm_alloca_true-termination.c.i YES59 YES12 MAYBE51 MAYBE0.22 TIMEOUT--
termination-15/cstrchr_malloc_true-termination.c.i YES24 YES13 MAYBE0.28 MAYBE0.28 TIMEOUT--
termination-15/cstrchr_reverse_alloca_true-termination.c.i YES23 MAYBE53 MAYBE51 MAYBE0.30 TIMEOUT--
termination-15/cstrcmp_diffterm_alloca_true-termination.c.i YES170 YES27 MAYBE29 MAYBE0.30 TIMEOUT--
termination-15/cstrcmp_malloc_true-termination.c.i YES58 YES23 MAYBE0.30 MAYBE0.23 TIMEOUT--
termination-15/cstrcmp_mixed_alloca_true-termination.c.i YES52 YES53 MAYBE28 MAYBE0.27 TIMEOUT--
termination-15/cstrcmp_reverse_alloca_true-termination.c.i YES52 MAYBE230 MAYBE28 MAYBE0.28 TIMEOUT--
termination-15/cstrcpy_diffterm_alloca_true-termination.c.i TIMEOUT-- YES32 MAYBE2.4 MAYBE0.24 TIMEOUT--
termination-15/cstrcpy_malloc_true-termination.c.i YES31 YES30 MAYBE0.29 MAYBE0.28 TIMEOUT--
termination-15/cstrcpy_mixed_alloca_true-termination.c.i MAYBE22 YES58 MAYBE2.5 MAYBE0.23 TIMEOUT--
termination-15/cstrcpy_reverse_alloca_true-termination.c.i MAYBE27 MAYBE540 MAYBE2 MAYBE0.31 TIMEOUT--
termination-15/cstrcspn_diffterm_alloca_true-termination.c.i MAYBE900 TIMEOUT-- MAYBE0.43 MAYBE0.32 TIMEOUT--
termination-15/cstrcspn_malloc_true-termination.c.i YES230 MAYBE-- MAYBE0.30 MAYBE0.28 TIMEOUT--
termination-15/cstrcspn_mixed_alloca_true-termination.c.i YES230 TIMEOUT-- MAYBE0.44 MAYBE0.31 TIMEOUT--
termination-15/cstrcspn_reverse_alloca_true-termination.c.i TIMEOUT-- TIMEOUT-- MAYBE0.44 MAYBE0.28 TIMEOUT--
termination-15/cstrlen_diffterm_alloca_true-termination.c.i YES38 YES13 MAYBE0.44 MAYBE0.22 TIMEOUT--
termination-15/cstrlen_malloc_true-termination.c.i YES19 YES12 MAYBE0.29 MAYBE0.31 TIMEOUT--
termination-15/cstrlen_reverse_alloca_true-termination.c.i TIMEOUT-- MAYBE38 MAYBE0.42 MAYBE0.27 TIMEOUT--
termination-15/cstrncat_diffterm_alloca_true-termination.c.i TIMEOUT-- YES21 MAYBE7.0 MAYBE0.32 TIMEOUT--
termination-15/cstrncat_malloc_true-termination.c.i MAYBE36 YES34 MAYBE0.30 MAYBE0.30 TIMEOUT--
termination-15/cstrncat_mixed_alloca_true-termination.c.i MAYBE190 YES75 MAYBE7.1 MAYBE0.29 TIMEOUT--
termination-15/cstrncat_reverse_alloca_true-termination.c.i TIMEOUT-- MAYBE38 MAYBE7.0 MAYBE0.32 TIMEOUT--
termination-15/cstrncmp_diffterm_alloca_true-termination.c.i YES190 YES18 MAYBE0.91 MAYBE0.34 YES0.24
termination-15/cstrncmp_malloc_true-termination.c.i YES110 YES22 MAYBE0.28 MAYBE0.28 YES0.24
termination-15/cstrncmp_mixed_alloca_true-termination.c.i TIMEOUT-- YES69 MAYBE0.90 MAYBE0.29 YES0.24
termination-15/cstrncmp_reverse_alloca_true-termination.c.i TIMEOUT-- YES39 MAYBE0.92 MAYBE0.35 YES0.24
termination-15/cstrncpy_diffterm_alloca_true-termination.c.i YES120 YES38 MAYBE0.81 MAYBE0.23 TIMEOUT--
termination-15/cstrncpy_malloc_true-termination.c.i YES87 YES22 MAYBE0.30 MAYBE0.36 TIMEOUT--
termination-15/cstrncpy_mixed_alloca_true-termination.c.i MAYBE77 YES76 MAYBE0.84 MAYBE0.23 TIMEOUT--
termination-15/cstrncpy_reverse_alloca_true-termination.c.i MAYBE81 YES130 MAYBE0.84 MAYBE0.30 TIMEOUT--
termination-15/cstrpbrk_diffterm_alloca_true-termination.c.i YES730 TIMEOUT-- MAYBE53 MAYBE0.28 TIMEOUT--
termination-15/cstrpbrk_malloc_true-termination.c.i YES120 TIMEOUT-- MAYBE0.29 MAYBE0.28 TIMEOUT--
termination-15/cstrpbrk_mixed_alloca_true-termination.c.i YES120 TIMEOUT-- MAYBE51 MAYBE0.32 TIMEOUT--
termination-15/cstrpbrk_reverse_alloca_true-termination.c.i YES130 TIMEOUT-- MAYBE51 MAYBE0.34 TIMEOUT--
termination-15/cstrspn_diffterm_alloca_true-termination.c.i MAYBE900 TIMEOUT-- TIMEOUT0.43 MAYBE0.25 TIMEOUT--
termination-15/cstrspn_malloc_true-termination.c.i YES150 TIMEOUT-- TIMEOUT0.28 MAYBE0.29 TIMEOUT--
termination-15/cstrspn_mixed_alloca_true-termination.c.i YES150 TIMEOUT-- MAYBE0.43 MAYBE0.32 TIMEOUT--
termination-15/cstrspn_reverse_alloca_true-termination.c.i YES160 TIMEOUT-- MAYBE0.42 MAYBE0.39 TIMEOUT--