| signedintegeroverflow-regression/AdditionIntMax_false-no-overflow.c.i |
false(no-overflow) |
7.75 |
4.60 |
238260224 |
| signedintegeroverflow-regression/AdditionIntMin_false-no-overflow.c.i |
false(no-overflow) |
8.17 |
4.97 |
254603264 |
| signedintegeroverflow-regression/Division_false-no-overflow.c.i |
false(no-overflow) |
8.25 |
4.87 |
251637760 |
| signedintegeroverflow-regression/Multiplication_false-no-overflow.c.i |
false(no-overflow) |
7.99 |
4.68 |
245731328 |
| signedintegeroverflow-regression/NoConversion_false-no-overflow.c.i |
false(no-overflow) |
8.21 |
4.98 |
239267840 |
| signedintegeroverflow-regression/PostfixDecrement_false-no-overflow.c.i |
false(no-overflow) |
9.02 |
5.15 |
263725056 |
| signedintegeroverflow-regression/PostfixIncrement_false-no-overflow.c.i |
false(no-overflow) |
8.08 |
5.04 |
253960192 |
| signedintegeroverflow-regression/PrefixDecrement_false-no-overflow.c.i |
false(no-overflow) |
8.31 |
4.94 |
245350400 |
| signedintegeroverflow-regression/PrefixIncrement_false-no-overflow.c.i |
false(no-overflow) |
7.51 |
4.61 |
248225792 |
| signedintegeroverflow-regression/UnaryMinus_false-no-overflow.c.i |
false(no-overflow) |
7.83 |
4.95 |
248229888 |
| signedintegeroverflow-regression/ConversionToSignedInt_true-no-overflow_true-termination.c.i |
true |
7.27 |
5.07 |
240009216 |
| signedintegeroverflow-regression/IntegerPromotion_true-no-overflow_true-termination.c.i |
true |
8.67 |
5.36 |
257925120 |
| signedintegeroverflow-regression/Multiplication_true-no-overflow_true-termination.c.i |
true |
7.41 |
4.64 |
238804992 |
| signedintegeroverflow-regression/NoNegativeIntegerConstant_true-no-overflow_true-termination.c.i |
true |
7.35 |
4.41 |
235536384 |
| signedintegeroverflow-regression/UsualArithmeticConversions_true-no-overflow_true-termination.c.i |
true |
7.51 |
4.50 |
236445696 |
| termination-crafted/2Nested_false-no-overflow.c |
false(no-overflow) |
6.78 |
4.29 |
236564480 |
| termination-crafted/4NestedWith3Variables_false-no-overflow.c |
false(no-overflow) |
7.66 |
4.67 |
248545280 |
| termination-crafted/Ackermann_false-no-overflow.c |
false(no-overflow) |
7.32 |
4.58 |
242552832 |
| termination-crafted/Bangalore_false-no-overflow.c |
false(no-overflow) |
7.00 |
4.29 |
230883328 |
| termination-crafted/Bangalore_v3_false-no-overflow.c |
false(no-overflow) |
7.24 |
4.50 |
232566784 |
| termination-crafted/Benghazi_nondet_false-no-overflow.c |
false(no-overflow) |
7.29 |
4.41 |
240611328 |
| termination-crafted/Binary_Search_false-no-overflow.c |
false(no-overflow) |
7.93 |
4.91 |
247640064 |
| termination-crafted/Cairo_nondet_false-no-overflow.c |
false(no-overflow) |
7.94 |
5.13 |
247615488 |
| termination-crafted/Cairo_step2_false-no-overflow.c |
timeout |
901 |
768 |
1174245376 |
| termination-crafted/Collatz_unknown-termination_false-no-overflow.c |
false(no-overflow) |
7.28 |
4.54 |
248676352 |
| termination-crafted/Copenhagen_disj_false-no-overflow.c |
false(no-overflow) |
7.84 |
4.78 |
245370880 |
| termination-crafted/Gothenburg_false-no-overflow.c |
false(no-overflow) |
7.32 |
4.60 |
241963008 |
| termination-crafted/Gothenburg_v2_false-no-overflow.c |
false(no-overflow) |
7.52 |
4.62 |
241758208 |
| termination-crafted/Hanoi_2vars_false-no-overflow.c |
false(no-overflow) |
7.03 |
4.35 |
232038400 |
| termination-crafted/Hanoi_3vars_false-no-overflow.c |
false(no-overflow) |
7.19 |
4.43 |
244441088 |
| termination-crafted/Hanoi_plus_false-no-overflow.c |
false(no-overflow) |
7.24 |
4.39 |
239902720 |
| termination-crafted/Lobnya-Boolean-Reordered_false-no-overflow.c |
false(no-overflow) |
7.90 |
4.70 |
244953088 |
| termination-crafted/Mysore_false-no-overflow.c |
false(no-overflow) |
7.47 |
4.55 |
241922048 |
| termination-crafted/NestedRecursion_1a_false-no-overflow.c |
false(no-overflow) |
7.48 |
4.53 |
242663424 |
| termination-crafted/NestedRecursion_2a_false-no-overflow.c |
false(no-overflow) |
8.33 |
5.05 |
251420672 |
| termination-crafted/NonTermination1_false-no-overflow.c |
false(no-overflow) |
6.83 |
4.28 |
228470784 |
| termination-crafted/NonTermination2_false-no-overflow.c |
false(no-overflow) |
7.09 |
4.41 |
233541632 |
| termination-crafted/NonTermination4_false-no-overflow.c |
false(no-overflow) |
45.4 |
29.2 |
707174400 |
| termination-crafted/NonTerminationSimple2_false-no-overflow.c |
false(no-overflow) |
7.15 |
4.38 |
230916096 |
| termination-crafted/NonTerminationSimple3_false-no-overflow.c |
false(no-overflow) |
6.89 |
4.36 |
233353216 |
| termination-crafted/NonTerminationSimple4_false-no-overflow.c |
timeout |
901 |
764 |
1368018944 |
| termination-crafted/NonTerminationSimple5_false-no-overflow.c |
false(no-overflow) |
7.03 |
4.33 |
229715968 |
| termination-crafted/NonTerminationSimple6_false-no-overflow.c |
false(no-overflow) |
6.74 |
4.23 |
222937088 |
| termination-crafted/NonTerminationSimple8_false-no-overflow.c |
false(no-overflow) |
7.41 |
4.55 |
241463296 |
| termination-crafted/NonTerminationSimple9_false-no-overflow.c |
false(no-overflow) |
6.70 |
4.18 |
229392384 |
| termination-crafted/Pure2Phase_false-no-overflow.c |
false(no-overflow) |
7.59 |
4.57 |
246292480 |
| termination-crafted/Pure3Phase_false-no-overflow.c |
false(no-overflow) |
7.74 |
4.66 |
242208768 |
| termination-crafted/RecursiveMultiplication_false-no-overflow.c |
false(no-overflow) |
7.64 |
4.80 |
243015680 |
| termination-crafted/RecursiveNonterminating_false-no-overflow.c |
false(no-overflow) |
7.48 |
4.49 |
243224576 |
| termination-crafted/Rotation180_false-no-overflow.c |
false(no-overflow) |
7.33 |
4.43 |
229703680 |
| termination-crafted/Singapore_false-no-overflow.c |
false(no-overflow) |
7.38 |
4.50 |
243187712 |
| termination-crafted/Singapore_plus_false-no-overflow.c |
false(no-overflow) |
7.27 |
4.48 |
243585024 |
| termination-crafted/Singapore_v1_false-no-overflow.c |
false(no-overflow) |
7.69 |
4.59 |
244973568 |
| termination-crafted/Singapore_v2_false-no-overflow.c |
false(no-overflow) |
7.40 |
4.52 |
244719616 |
| termination-crafted/Stockholm_false-no-overflow.c |
false(no-overflow) |
6.98 |
4.33 |
230338560 |
| termination-crafted/Thun_false-no-overflow.c |
false(no-overflow) |
6.99 |
4.32 |
230158336 |
| termination-crafted/Toulouse-BranchesToLoop_false-no-overflow.c |
false(no-overflow) |
8.17 |
5.02 |
247353344 |
| termination-crafted/Toulouse-MultiBranchesToLoop_false-no-overflow.c |
false(no-overflow) |
26.5 |
16.7 |
583495680 |
| termination-crafted/aaron2_false-no-overflow.c |
false(no-overflow) |
7.66 |
4.65 |
239747072 |
| termination-crafted/aaron3_false-no-overflow.c |
false(no-overflow) |
7.29 |
4.46 |
241819648 |
| termination-crafted/easy2_false-no-overflow.c |
timeout |
901 |
766 |
2602889216 |
| termination-crafted/4BitCounterPointer_true-no-overflow_true-termination_true-valid-memsafety.c |
true |
7.17 |
4.47 |
243130368 |
| termination-crafted/Arrays01-EquivalentConstantIndices_true-no-overflow_true-termination_true-valid-memsafety.c |
true |
50.5 |
32.7 |
737652736 |
| termination-crafted/Arrays02-EquivalentConstantIndices_false-termination_true-valid-memsafety_true-no-overflow.c |
true |
8.28 |
5.02 |
245387264 |
| termination-crafted/Arrays03-ValueRestictsIndex_true-no-overflow_true-termination_true-valid-memsafety.c |
true |
11.9 |
7.24 |
328425472 |
| termination-crafted/Bangalore_true-no-overflow_true-termination_true-valid-memsafety.c |
true |
9.74 |
5.76 |
255016960 |
| termination-crafted/Bangalore_v2_true-no-overflow_false-termination_true-valid-memsafety.c |
true |
9.55 |
5.77 |
252977152 |
| termination-crafted/Bangalore_v4_true-no-overflow_true-termination_true-valid-memsafety.c |
true |
8.63 |
5.23 |
255492096 |
| termination-crafted/Benghazi_true-no-overflow_true-termination_true-valid-memsafety.c |
timeout |
900 |
885 |
1166430208 |
| termination-crafted/Cairo_step2_true-no-overflow_false-termination_true-valid-memsafety.c |
true |
6.82 |
4.25 |
228548608 |
| termination-crafted/Cairo_step2_true-no-overflow_true-termination_true-valid-memsafety.c |
true |
8.81 |
5.30 |
253620224 |
| termination-crafted/Cairo_true-no-overflow_true-termination_true-valid-memsafety.c |
true |
8.34 |
5.00 |
248877056 |
| termination-crafted/Copenhagen_true-no-overflow_true-termination_true-valid-memsafety.c |
true |
9.69 |
5.76 |
266084352 |
| termination-crafted/Division_true-no-overflow_false-termination_true-valid-memsafety.c |
true |
7.81 |
4.82 |
250605568 |
| termination-crafted/LexIndexValue-Array_true-no-overflow_true-termination_true-valid-memsafety.c |
timeout |
901 |
851 |
976723968 |
| termination-crafted/LexIndexValue-Pointer_true-no-overflow.c |
timeout |
901 |
850 |
1001205760 |
| termination-crafted/Madrid_true-no-overflow_false-termination_true-valid-memsafety.c |
true |
6.63 |
4.17 |
225402880 |
| termination-crafted/McCarthy91_Iteration_true-no-overflow_true-termination_true-valid-memsafety.c |
timeout |
900 |
793 |
1873690624 |
| termination-crafted/McCarthy91_Recursion_true-no-overflow_true-termination_true-valid-memsafety.c |
true |
11.6 |
7.03 |
333443072 |
| termination-crafted/MenloPark_true-no-overflow_true-termination_true-valid-memsafety.c |
true |
16.6 |
10.3 |
474779648 |
| termination-crafted/MutualRecursion_1a_true-no-overflow_false-termination_true-valid-memsafety.c |
true |
16.3 |
9.88 |
483049472 |
| termination-crafted/MutualRecursion_1b_true-no-overflow_true-termination_true-valid-memsafety.c |
true |
26.1 |
15.8 |
613126144 |
| termination-crafted/NestedRecursion_1b_true-no-overflow_true-termination_true-valid-memsafety.c |
true |
23.9 |
14.0 |
530653184 |
| termination-crafted/NestedRecursion_1c_true-no-overflow_true-termination_true-valid-memsafety.c |
true |
16.6 |
9.67 |
482746368 |
| termination-crafted/NestedRecursion_1d_true-no-overflow_true-termination_true-valid-memsafety.c |
true |
22.5 |
12.9 |
500334592 |
| termination-crafted/NestedRecursion_2b_true-no-overflow_false-termination_true-valid-memsafety.c |
true |
19.2 |
11.6 |
485257216 |
| termination-crafted/NestedRecursion_2c_true-no-overflow_true-termination_true-valid-memsafety.c |
true |
28.3 |
17.2 |
587161600 |
| termination-crafted/NonTermination3_true-no-overflow_false-termination.c |
true |
8.68 |
5.15 |
248758272 |
| termination-crafted/NonTerminationSimple7_true-no-overflow_false-termination_true-valid-memsafety.c |
true |
9.14 |
5.52 |
253423616 |
| termination-crafted/Nyala-2lex_true-no-overflow_true-termination_true-valid-memsafety.c |
true |
8.18 |
4.89 |
245784576 |
| termination-crafted/Parallel_true-no-overflow_true-termination_true-valid-memsafety.c |
true |
8.74 |
5.24 |
247615488 |
| termination-crafted/Piecewise_true-no-overflow_true-termination_true-valid-memsafety.c |
true |
8.33 |
5.07 |
253063168 |
| termination-crafted/SyntaxSupportPointer01_true-no-overflow_true-termination.c |
true |
8.09 |
4.86 |
253251584 |
| termination-crafted/TelAviv-Amir-Minimum_true-no-overflow_true-termination_true-valid-memsafety.c |
true |
9.06 |
5.54 |
266055680 |
| termination-crafted/Waldkirch_true-no-overflow_true-termination_true-valid-memsafety.c |
true |
7.62 |
4.66 |
244367360 |
| termination-crafted/WhileFalse_true-no-overflow_true-termination_true-valid-memsafety.c |
true |
6.56 |
4.16 |
229752832 |
| termination-crafted/WhileTrue_true-no-overflow_false-termination_true-valid-memsafety.c |
true |
7.05 |
4.27 |
222642176 |
| termination-crafted/easy1_true-no-overflow_true-termination_true-valid-memsafety.c |
true |
8.46 |
5.01 |
252825600 |
| termination-crafted/easy2_true-no-overflow_true-termination_true-valid-memsafety.c |
timeout |
901 |
767 |
2592894976 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2a_false-no-overflow.c |
false(no-overflow) |
7.97 |
4.83 |
246886400 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2b_false-no-overflow.c |
false(no-overflow) |
8.33 |
5.04 |
251318272 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron2_false-no-overflow.c |
false(no-overflow) |
7.53 |
4.56 |
249520128 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron3_false-no-overflow.c |
false(no-overflow) |
7.52 |
4.62 |
243822592 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-complex_false-no-overflow.c |
false(no-overflow) |
10.4 |
6.19 |
284913664 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1a_false-no-overflow.c |
false(no-overflow) |
8.34 |
5.03 |
248803328 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1b_false-no-overflow.c |
false(no-overflow) |
8.71 |
5.23 |
254722048 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2_false-no-overflow.c |
timeout |
901 |
767 |
2457620480 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-exmini_false-no-overflow.c |
false(no-overflow) |
8.00 |
4.93 |
243322880 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-ndecr_false-no-overflow.c |
false(no-overflow) |
7.49 |
4.54 |
249991168 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_false-no-overflow.c |
timeout |
901 |
756 |
1136836608 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d_false-no-overflow.c |
timeout |
901 |
761 |
7101628416 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-rsd_false-no-overflow.c |
false(no-overflow) |
7.30 |
4.43 |
245899264 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedFails4_false-no-overflow.c |
false(no-overflow) |
7.28 |
4.40 |
242659328 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-terminate_false-no-overflow.c |
false(no-overflow) |
7.98 |
4.89 |
248913920 |
| termination-crafted-lit/Ben-Amram-LMCS2010-Ex2.3_false-no-overflow.c |
false(no-overflow) |
8.47 |
4.99 |
247676928 |
| termination-crafted-lit/BradleyMannaSipma-ICALP2005-Fig1_false-no-overflow.c |
false(no-overflow) |
8.37 |
4.99 |
256450560 |
| termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron12_false-no-overflow.c |
false(no-overflow) |
7.89 |
4.83 |
254156800 |
| termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron1_false-no-overflow.c |
false(no-overflow) |
7.42 |
4.42 |
247599104 |
| termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron2_false-no-overflow.c |
false(no-overflow) |
7.27 |
4.44 |
252186624 |
| termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron3_false-no-overflow.c |
false(no-overflow) |
7.28 |
4.49 |
242061312 |
| termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron4_false-no-overflow.c |
false(no-overflow) |
7.52 |
4.54 |
244862976 |
| termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron6_false-no-overflow.c |
false(no-overflow) |
7.74 |
4.69 |
244031488 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.01_false-no-overflow.c |
false(no-overflow) |
7.61 |
4.61 |
245067776 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.02_false-no-overflow.c |
false(no-overflow) |
7.35 |
4.51 |
242917376 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.03_false-no-overflow.c |
false(no-overflow) |
8.43 |
4.96 |
251920384 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.04_false-no-overflow.c |
false(no-overflow) |
6.98 |
4.28 |
230846464 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.05_false-no-overflow.c |
false(no-overflow) |
7.06 |
4.41 |
232550400 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.01_false-no-overflow.c |
false(no-overflow) |
6.89 |
4.21 |
232251392 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.02_false-no-overflow.c |
false(no-overflow) |
7.77 |
4.75 |
249266176 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.03_false-no-overflow.c |
false(no-overflow) |
6.93 |
4.31 |
232677376 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.04_false-no-overflow.c |
false(no-overflow) |
6.74 |
4.21 |
230293504 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.05_false-no-overflow.c |
false(no-overflow) |
6.98 |
4.34 |
230395904 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.06_false-no-overflow.c |
false(no-overflow) |
7.50 |
4.48 |
246206464 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.07_false-no-overflow.c |
false(no-overflow) |
6.97 |
4.23 |
230580224 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.08_false-no-overflow.c |
false(no-overflow) |
7.14 |
4.38 |
229916672 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.09_false-no-overflow.c |
false(no-overflow) |
8.85 |
5.27 |
252985344 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.10_false-no-overflow.c |
false(no-overflow) |
8.33 |
4.98 |
247058432 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.11_false-no-overflow.c |
false(no-overflow) |
7.76 |
4.71 |
242987008 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.12_false-no-overflow.c |
false(no-overflow) |
6.92 |
4.33 |
233029632 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.13_false-no-overflow.c |
false(no-overflow) |
6.75 |
4.21 |
238493696 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.14_false-no-overflow.c |
false(no-overflow) |
7.10 |
4.33 |
241827840 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.15_false-no-overflow.c |
false(no-overflow) |
6.66 |
4.16 |
234151936 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.16_false-no-overflow.c |
false(no-overflow) |
7.11 |
4.41 |
249212928 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.17_false-no-overflow.c |
false(no-overflow) |
6.62 |
4.10 |
229859328 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.18_false-no-overflow.c |
false(no-overflow) |
6.87 |
4.24 |
233021440 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.19_false-no-overflow.c |
false(no-overflow) |
6.79 |
4.26 |
242417664 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.21_false-no-overflow.c |
false(no-overflow) |
7.54 |
4.56 |
240500736 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.22_false-no-overflow.c |
false(no-overflow) |
7.22 |
4.39 |
234504192 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.02_false-no-overflow.c |
false(no-overflow) |
6.87 |
4.27 |
234737664 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.03_false-no-overflow.c |
false(no-overflow) |
7.17 |
4.35 |
241922048 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.04_false-no-overflow.c |
false(no-overflow) |
7.23 |
4.38 |
235339776 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.05_false-no-overflow.c |
false(no-overflow) |
7.13 |
4.40 |
242044928 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.06_false-no-overflow.c |
false(no-overflow) |
7.66 |
4.69 |
246726656 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.07_false-no-overflow.c |
false(no-overflow) |
7.00 |
4.28 |
241491968 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.08_false-no-overflow.c |
false(no-overflow) |
7.12 |
4.36 |
232640512 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.09_false-no-overflow.c |
false(no-overflow) |
7.01 |
4.43 |
248799232 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.10_false-no-overflow.c |
false(no-overflow) |
6.98 |
4.31 |
242880512 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex4.01_false-no-overflow.c |
false(no-overflow) |
7.11 |
4.31 |
247992320 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Fig1_false-no-overflow.c |
false(no-overflow) |
6.87 |
4.28 |
240766976 |
| termination-crafted-lit/ColonSipma-TACAS2001-Fig1_false-no-overflow.c |
false(no-overflow) |
8.48 |
5.02 |
246202368 |
| termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1a_false-no-overflow.c |
false(no-overflow) |
6.85 |
4.28 |
243556352 |
| termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1b_false-no-overflow.c |
false(no-overflow) |
7.28 |
4.44 |
243453952 |
| termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1c_false-no-overflow.c |
false(no-overflow) |
6.83 |
4.27 |
237383680 |
| termination-crafted-lit/GulwaniJainKoskinen-PLDI2009-Fig1_false-no-overflow.c |
false(no-overflow) |
7.92 |
4.73 |
248463360 |
| termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig2_false-no-overflow.c |
false(no-overflow) |
11.5 |
6.75 |
309563392 |
| termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig2_false-no-overflow.c |
false(no-overflow) |
7.04 |
4.33 |
236945408 |
| termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig7_false-no-overflow.c |
false(no-overflow) |
11.4 |
6.88 |
341360640 |
| termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig8_false-no-overflow.c |
false(no-overflow) |
7.28 |
4.42 |
234643456 |
| termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig9_false-no-overflow.c |
false(no-overflow) |
7.19 |
4.43 |
246759424 |
| termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex1_false-no-overflow.c |
false(no-overflow) |
8.53 |
5.27 |
247554048 |
| termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex2_false-no-overflow.c |
false(no-overflow) |
8.36 |
5.12 |
250163200 |
| termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex3_false-no-overflow.c |
false(no-overflow) |
7.36 |
4.47 |
243855360 |
| termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex6_false-no-overflow.c |
false(no-overflow) |
7.93 |
4.72 |
241315840 |
| termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex7_false-no-overflow.c |
false(no-overflow) |
6.74 |
4.25 |
229330944 |
| termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex8_false-no-overflow.c |
false(no-overflow) |
7.61 |
4.63 |
246345728 |
| termination-crafted-lit/LeikeHeizmann-TACAS2014-Fig1_false-no-overflow.c |
false(no-overflow) |
7.21 |
4.43 |
230674432 |
| termination-crafted-lit/LeikeHeizmann-WST2014-Ex5_false-no-overflow.c |
false(no-overflow) |
7.04 |
4.28 |
231022592 |
| termination-crafted-lit/LeikeHeizmann-WST2014-Ex6_false-no-overflow.c |
false(no-overflow) |
6.48 |
4.04 |
230072320 |
| termination-crafted-lit/Masse-VMCAI2014-Ex6_false-no-overflow.c |
false(no-overflow) |
7.09 |
4.36 |
230051840 |
| termination-crafted-lit/Masse-VMCAI2014-Fig1a_false-no-overflow.c |
false(no-overflow) |
7.31 |
4.66 |
244064256 |
| termination-crafted-lit/Masse-VMCAI2014-Fig1b_false-no-overflow.c |
false(no-overflow) |
7.37 |
4.51 |
241569792 |
| termination-crafted-lit/NoriSharma-FSE2013-Fig7_false-no-overflow.c |
false(no-overflow) |
7.15 |
4.45 |
241254400 |
| termination-crafted-lit/NoriSharma-FSE2013-Fig8_false-no-overflow.c |
false(no-overflow) |
8.25 |
4.98 |
251518976 |
| termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig2-TACAS2011-Fig3_false-no-overflow.c |
false(no-overflow) |
8.59 |
5.24 |
254705664 |
| termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig2_false-no-overflow.c |
false(no-overflow) |
8.45 |
5.11 |
245567488 |
| termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig3_false-no-overflow.c |
false(no-overflow) |
8.30 |
5.04 |
247037952 |
| termination-crafted-lit/PodelskiRybalchenko-VMCAI2004-Ex1_false-no-overflow.c |
false(no-overflow) |
7.24 |
4.36 |
242724864 |
| termination-crafted-lit/PodelskiRybalchenko-VMCAI2004-Ex2_false-no-overflow.c |
false(no-overflow) |
7.72 |
4.61 |
244641792 |
| termination-crafted-lit/cstrncmp_false-no-overflow.c |
false(no-overflow) |
9.39 |
5.60 |
270639104 |
| termination-crafted-lit/gcd1_false-no-overflow.c |
false(no-overflow) |
7.40 |
4.46 |
241217536 |
| termination-crafted-lit/joey_false-no-overflow.c |
false(no-overflow) |
8.60 |
5.26 |
253235200 |
| termination-crafted-lit/min_rf_false-no-overflow.c |
false(no-overflow) |
7.64 |
4.59 |
246677504 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig1_true-termination_true-no-overflow.c |
timeout |
900 |
803 |
1592127488 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-cousot9_true-termination_true-no-overflow.c |
true |
9.34 |
5.58 |
263696384 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy1_true-termination_true-no-overflow.c |
true |
8.43 |
5.00 |
260149248 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2_true-termination_true-no-overflow.c |
timeout |
901 |
767 |
2680832000 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-loops_true-termination_true-no-overflow.c |
true |
9.30 |
5.67 |
265834496 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_true-termination_true-no-overflow.c |
true |
28.7 |
17.1 |
581861376 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d_true-termination_true-no-overflow.c |
timeout |
900 |
787 |
4523302912 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random2d_true-termination_true-no-overflow.c |
true |
300 |
251 |
5062770688 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi2_true-termination_true-no-overflow.c |
true |
10.0 |
6.01 |
282791936 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi3_true-termination_true-no-overflow.c |
true |
12.4 |
7.40 |
354557952 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi4_true-termination_true-no-overflow.c |
true |
9.58 |
5.81 |
280604672 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wcet2_true-termination_true-no-overflow.c |
true |
8.07 |
4.89 |
247947264 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-while2_true-termination_true-no-overflow.c |
true |
8.26 |
5.02 |
250458112 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wise_true-termination_true-no-overflow.c |
true |
12.1 |
7.17 |
364724224 |
| termination-crafted-lit/Avery-FLOPS2006-Table1_true-termination_true-no-overflow.c |
timeout |
901 |
774 |
1907245056 |
| termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1-modified_false-termination_true-no-overflow.c |
true |
14.5 |
8.91 |
455208960 |
| termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1_true-termination_true-no-overflow.c |
true |
14.3 |
8.79 |
438083584 |
| termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig1_true-termination_true-no-overflow.c |
true |
10.8 |
6.38 |
303783936 |
| termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig9a_true-termination_true-no-overflow.c |
timeout |
901 |
822 |
3629780992 |
| termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Introduction_true-termination_true-no-overflow.c |
true |
14.6 |
8.91 |
447139840 |
| termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy1_true-termination_true-no-overflow.c |
true |
8.06 |
4.86 |
249384960 |
| termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy2_true-termination_true-no-overflow.c |
timeout |
901 |
765 |
2478047232 |
| termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random1d_true-termination_true-no-overflow.c |
timeout |
901 |
762 |
6870142976 |
| termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random2d_true-termination_true-no-overflow.c |
true |
301 |
250 |
5065449472 |
| termination-crafted-lit/ChenCookFuhsNimkarOHearn-TACAS2014-Introduction_false-termination_true-no-overflow.c |
true |
7.00 |
4.30 |
227971072 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.20_true-termination_true-no-overflow.c |
true |
7.81 |
4.77 |
244334592 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.01_true-termination_true-no-overflow.c |
true |
8.47 |
5.17 |
252768256 |
| termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig1_true-termination_true-no-overflow.c |
true |
8.44 |
5.10 |
248446976 |
| termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7a_true-termination_true-no-overflow.c |
true |
8.45 |
5.10 |
256098304 |
| termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7b_true-termination_true-no-overflow.c |
true |
8.94 |
5.31 |
253661184 |
| termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a-modified_true-termination_true-no-overflow.c |
true |
10.4 |
6.32 |
282931200 |
| termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a_true-termination_true-no-overflow.c |
true |
9.23 |
5.57 |
251523072 |
| termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8b_true-termination_true-no-overflow.c |
true |
8.79 |
5.43 |
260300800 |
| termination-crafted-lit/GopanReps-CAV2006-Fig1a_true-termination_true-no-overflow.c.c |
true |
220 |
155 |
1801781248 |
| termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig1_true-termination_true-no-overflow.c |
timeout |
901 |
803 |
1949667328 |
| termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig3_true-termination_true-no-overflow.c |
true |
8.02 |
4.93 |
246956032 |
| termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig1_true-termination_true-no-overflow.c |
true |
13.8 |
8.52 |
444329984 |
| termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig4_true-termination_true-no-overflow.c |
true |
7.65 |
4.66 |
248324096 |
| termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig5_true-termination_true-no-overflow.c |
true |
10.2 |
6.05 |
274137088 |
| termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig6_true-termination_true-no-overflow.c |
true |
7.62 |
4.67 |
246714368 |
| termination-crafted-lit/HenzingerJhalaMajumdarSutre-POPL2002-LockingExample_false-termination_true-no-overflow.c |
timeout |
901 |
769 |
2368397312 |
| termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Ex_true-termination_true-no-overflow.c |
true |
7.69 |
4.66 |
246542336 |
| termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Fig1_true-termination_true-no-overflow.c |
true |
8.92 |
5.32 |
249655296 |
| termination-crafted-lit/LarrazOliverasRodriguez-CarbonellRubio-FMCAD2013-Fig1_true-termination_true-no-overflow.c |
timeout |
900 |
797 |
1157357568 |
| termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex4_true-termination_true-no-overflow.c |
true |
15.8 |
9.47 |
468652032 |
| termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex5_true-termination_true-no-overflow.c |
true |
53.0 |
33.9 |
825450496 |
| termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex1_true-termination_true-no-overflow.c |
true |
9.75 |
5.85 |
265875456 |
| termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex9_true-termination_true-no-overflow.c |
true |
8.29 |
5.00 |
246091776 |
| termination-crafted-lit/LeikeHeizmann-WST2014-Ex9_true-termination_true-no-overflow.c |
true |
7.74 |
4.70 |
248938496 |
| termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig1_true-termination_true-no-overflow.c |
true |
8.92 |
5.39 |
265277440 |
| termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig1_true-termination_true-no-overflow.c |
true |
7.38 |
4.58 |
256647168 |
| termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig2_true-termination_true-no-overflow.c |
true |
10.1 |
6.10 |
279117824 |
| termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig4_true-termination_true-no-overflow.c |
true |
7.85 |
4.75 |
246947840 |
| termination-crafted-lit/Urban-WST2013-Fig1_false-termination_true-no-overflow.c |
true |
7.87 |
4.67 |
245370880 |
| termination-crafted-lit/Urban-WST2013-Fig2-modified1000_true-termination_true-no-overflow.c |
true |
8.80 |
5.44 |
266014720 |
| termination-crafted-lit/Urban-WST2013-Fig2_true-termination_true-no-overflow.c |
true |
9.35 |
5.62 |
260341760 |
| termination-crafted-lit/UrbanMine-ESOP2014-Fig3_true-termination_true-no-overflow.c |
true |
9.57 |
5.67 |
276586496 |
| termination-crafted-lit/Velroyen_false-termination_true-no-overflow.c |
true |
7.68 |
4.69 |
245911552 |
| termination-crafted-lit/aviad_true-termination_true-no-overflow.c |
true |
588 |
481 |
4076687360 |
| termination-crafted-lit/cstrcmp_true-termination_true-no-overflow.c |
true |
9.16 |
5.47 |
256479232 |
| termination-crafted-lit/cstrcspn_true-termination_true-no-overflow.c |
true |
9.18 |
5.43 |
254906368 |
| termination-crafted-lit/cstrlen_true-termination_true-no-overflow.c |
true |
8.27 |
5.04 |
251088896 |
| termination-crafted-lit/cstrpbrk_true-termination_true-no-overflow.c |
true |
9.36 |
5.59 |
252973056 |
| termination-crafted-lit/cstrspn_true-termination_true-no-overflow.c |
true |
8.96 |
5.38 |
259112960 |
| termination-crafted-lit/genady_true-termination_true-no-overflow.c |
true |
13.8 |
8.50 |
424726528 |
| termination-crafted-lit/strchr_true-no-overflow_true-termination.c |
true |
8.61 |
5.10 |
250060800 |
| termination-numeric/Addition01_false-no-overflow.c |
false(no-overflow) |
7.27 |
4.42 |
243236864 |
| termination-numeric/Avg_true_false-no-overflow.c |
false(no-overflow) |
7.55 |
4.70 |
245923840 |
| termination-numeric/Binomial_true-termination_false-no-overflow.c |
timeout |
900 |
875 |
920252416 |
| termination-numeric/Et1_true_false-no-overflow.c |
false(no-overflow) |
7.49 |
4.51 |
243286016 |
| termination-numeric/Et2_true_false-no-overflow.c |
false(no-overflow) |
7.91 |
4.75 |
244170752 |
| termination-numeric/Et3_true_false-no-overflow.c |
false(no-overflow) |
7.32 |
4.45 |
246685696 |
| termination-numeric/Et4_true_false-no-overflow.c |
false(no-overflow) |
7.74 |
4.73 |
247308288 |
| termination-numeric/MultCommutative_false-no-overflow.c |
false(no-overflow) |
15.6 |
9.46 |
459845632 |
| termination-numeric/TerminatorRec02_true-termination_false-no-overflow.c |
timeout |
900 |
892 |
921763840 |
| termination-numeric/Ackermann01_true-termination_true-no-overflow.c |
timeout |
901 |
763 |
6671413248 |
| termination-numeric/EvenOdd01_true-termination_true-no-overflow.c |
true |
18.9 |
11.8 |
500690944 |
| termination-numeric/Fibonacci01_true-termination_true-no-overflow.c |
timeout |
901 |
830 |
5664460800 |
| termination-numeric/LeUserDefRec_true-termination_true-no-overflow.c |
true |
8.94 |
5.45 |
255004672 |
| termination-numeric/LogRecursive_true-termination_true-no-overflow.c |
timeout |
900 |
895 |
491773952 |
| termination-numeric/Parts_true-termination_true-no-overflow.c |
timeout |
900 |
780 |
4775989248 |
| termination-numeric/TwoWay_true-termination_true-no-overflow.c |
true |
21.9 |
14.5 |
569909248 |
| termination-numeric/gcd01_true-termination_true-no-overflow.c |
true |
8.91 |
5.45 |
263155712 |
| termination-numeric/java_LogBuiltIn_true-termination_true-no-overflow.c |
true |
77.3 |
52.6 |
914423808 |
| termination-numeric/recHanoi02_true-termination_true-no-overflow.c |
true |
115 |
80.4 |
956694528 |
| termination-numeric/rec_counter1_true-termination_true-no-overflow.c |
timeout |
901 |
766 |
4626018304 |
| termination-numeric/rec_counter3_true-termination_true-no-overflow.c |
timeout |
901 |
766 |
4569378816 |
| termination-numeric/twisted_true-termination_true-no-overflow.c |
timeout |
900 |
800 |
918196224 |