| file | time | ub |
|---|
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.17.c | 0.059 | inf-maximize_failed |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___speedDis2.c | 0.047 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Ben-Amram-LMCS2010-Ex2.3_true-termination.c | 0.046 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___HeizmannHoenickeLeikePodelski-ATVA2013-Fig6_true-termination.c | 0.042 | n^1 |
| Sinn_2016___cBench_zwritehexstring_at.c | 0.055 | n^2 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Marbie1.c | 0.033 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaA5.c | 0.043 | n^1 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_c.07.c | 0.052 | n^1 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.04_false-termination.c | 0.034 | inf-no_rf |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___realheapsort_step2.c | 0.493 | n^2 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Fig1_true-termination.c | 0.035 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_ex3a.c | 0.733914581127465 | error |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex3.01_true-termination.c | 0.038 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Flip2.c | 0.052 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ComplInterv.c | 0.737052714917809 | error |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Swingers.c | 0.035 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex3.08_true-termination.c | 0.038 | inf-no_rf |
| Flores-Montoya_2017___examples_from_literature___C4B_examples___t13.c | 0.076 | inf-maximize_failed |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Choose.c | 0.041 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Fibonacci.c | 0.043 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.17_false-termination.c | 0.034 | inf-no_rf |
| Flores-Montoya_2017___examples_from_literature___ABC___jama_ex5.c | 0.06 | n^2 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Ex07.c | 0.038 | inf-no_rf |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___aaron2.c | 0.067 | n^1 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex3.10_true-termination.c | 0.049 | n^1 |
| Flores-Montoya_2017___examples_from_literature___C4B_examples___t27.c | 0.059 | inf-maximize_failed |
| Flores-Montoya_2017___examples_from_literature___Other___ex_paper3.c | 0.12 | inf-maximize_failed |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___MirrorInterv.c | 0.082 | inf-no_rf |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___rank1.c | 0.075 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex1.03_true-termination.c | 0.045 | log(n)^1 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___CookSeeZuleger-TACAS2013-Fig8a_true-termination.c | 0.037 | inf-no_rf |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___aaron3.c | 0.051 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___MinusMin.c | 0.065 | n^1 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___LeikeHeizmann-TACAS2014-Ex1_true-termination.c | 0.046 | n^1 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___while2.c | 0.054 | n^2 |
| Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Bangalore_v2_false-termination.c | 0.037 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_java_Break.c | 0.043 | 1 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex3.05_true-termination.c | 0.047 | inf-no_rf |
| Sinn_2016___CPU2006_Perl_scan_vstring.c | 0.268 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.04.c | 0.037 | log(n)^1 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChooseLife.c | 0.047 | inf-no_rf |
| Sinn_2016___CPU2006_ParseFile.c | 205.873458803166 | error |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaA6.c | 0.05 | n^1 |
| Flores-Montoya_2017___examples_from_literature___Loopus___Loopus2015_big.c | 3.546 | n^2 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___aaron3_true-termination.c | 0.061 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaC3.c | 0.046 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___BrockschmidtCookFuhs-CAV2013-Fig1_true-termination.c | 0.057 | n^2 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___speedDis1.c | 0.048 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.19_true-termination.c | 0.037 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Hanoi_2vars_false-termination.c | 0.04 | inf-no_rf |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___random2d.c | 0.149 | n^1 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaC9.c | 0.046 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___NO_24.c | 0.036 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChawdharyCookGulwaniSagivYang-ESOP2008-aaron12_true-termination.c | 0.733591321855783 | error |
| Flores-Montoya_2017___examples_from_literature___ABC___textbook_ex1.c | 0.043 | n^1 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_a.04.c | 0.042 | n^1 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-ndecr_true-termination.c | 0.045 | n^1 |
| Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Hanoi_3vars_false-termination.c | 0.04 | inf-no_rf |
| Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_popl10_sequential_single.c | 0.07 | inf-maximize_failed |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___WhileNested.c | 0.044 | inf-no_rf |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___speedFails3.c | 0.046 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___GCD.c | 0.08 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.08_true-termination.c | 0.038 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Ex03.c | 0.041 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___PodelskiRybalchenko-TACAS2011-Fig1_true-termination.c | 0.039 | n^1 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-while2_true-termination.c | 0.052 | n^2 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___UpAndDown.c | 0.066 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.15.c | 0.082 | inf-no_rf |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___sipmamergesort.c | 0.64 | inf-no_rf |
| Sinn_2016___CPU2006_ApplyBndRobin.c | 58.483 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.14_false-termination.c | 0.037 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_a.01.c | 0.054 | n^2 |
| Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Bangalore_false-termination.c | 0.038 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex3.02_false-termination.c | 0.035 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___BradleyMannaSipma-CAV2005-Fig1-modified_false-termination.c | 0.049 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaA4.c | 0.043 | n^1 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_java_Sequence.c | 0.048 | inf-maximize_failed |
| Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_pldi09_fig4_2.c | 0.068 | n^1 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaB16.c | 0.051 | inf-maximize_failed |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaB4.c | 0.042 | log(n)^1 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_ex2.c | 0.736365537159145 | error |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.06_false-termination.c | 0.034 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex1.04_true-termination.c | 0.04 | log(n)^1 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Et4.c | 0.04 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___MirrorIntervSim.c | 0.043 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.18_true-termination.c | 0.044 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___McCarthy91_Iteration_true-termination.c | 0.045 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Urban-WST2013-Fig1_false-termination.c | 0.049 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___WhileFalse_true-termination.c | 0.028 | 1 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___terminatorbubble.c | 0.226 | inf-no_rf |
| Flores-Montoya_2017___examples_from_literature___C4B_examples___t11.c | 0.05 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Even.c | 0.038 | inf-no_rf |
| Flores-Montoya_2017___examples_from_literature___Loopus___Loopus2015_original.c | 0.247 | n^2 |
| Flores-Montoya_2017___examples_from_literature___Loopus___Loopus2014_ex2.c | 0.087 | inf-maximize_failed |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___sipmabubble.c | 0.056 | n^2 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___AlternDiv.c | 0.037 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___WhileTrue.c | 0.031 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___2Nested_true-termination.c | 0.037 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Narrowing.c | 0.367 | inf-no_rf |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___easy2.c | 0.041 | n^1 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___BrockschmidtCookFuhs-CAV2013-Fig9a_true-termination.c | 0.071 | n^2 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Waldkirch_true-termination.c | 0.04 | 1 |
| Flores-Montoya_2017___examples_from_literature___C4B_examples___t07.c | 0.06 | inf-maximize_failed |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Loop.c | 0.036 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___NonTermination2_false-termination.c | 0.037 | inf-no_rf |
| Flores-Montoya_2017___examples_from_literature___C4B_examples___gcd.c | 0.058 | n^1 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Lobnya-Boolean-Reordered_true-termination.c | 0.048 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Masse-VMCAI2014-Ex6_true-termination.c | 0.043 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___collatz.c | 0.072 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___CookSeeZuleger-TACAS2013-Fig8a-modified_true-termination.c | 0.042 | inf-no_rf |
| Sinn_2016___cBench_render_ht.c | 0.046 | n^1 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___DivMinus2.c | 0.051 | inf-no_rf |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___sipma91.c | 0.078 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex1.02_true-termination.c | 0.048 | n^1 |
| Sinn_2016___cBench_send_tree.c | 1.755 | n^2 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Ex04.c | 0.03 | inf-no_rf |
| Sinn_2016___CPU2006_asctoeg.c | 0.162 | inf-maximize_failed |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex1.01_true-termination.c | 0.036 | inf-no_rf |
| Flores-Montoya_2017___examples_from_literature___Other___ex_paper1.c | 0.138 | inf-maximize_failed |
| Sinn_2016___CPU2006_Configure.c | 0.151 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-Fig2a_true-termination.c | 0.078 | inf-maximize_failed |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-random1d_true-termination.c | 0.062 | n^1 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Piecewise_true-termination.c | 0.042 | inf-no_rf |
| Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_popl10_fig2_2.c | 0.043 | inf-no_rf |
| Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_pldi09_fig4_5.c | 0.054 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex3.09_true-termination.c | 0.042 | inf-no_rf |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___sipmamergesort2.c | 0.593 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___genady_true-termination.c | 0.045 | 1 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___NO_21.c | 0.034 | inf-no_rf |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___speedFails2.c | 0.038 | inf-no_rf |
| Flores-Montoya_2017___examples_from_literature___Loopus___Loopus2011_ex1.c | 0.075 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-speedpldi4_true-termination.c | 0.054 | n^1 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___WhileIncr.c | 0.035 | inf-no_rf |
| Flores-Montoya_2017___examples_from_literature___C4B_examples___t62.c | 0.098 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Velroyen_false-termination.c | 0.042 | inf-no_rf |
| Flores-Montoya_2017___examples_from_literature___ABC___textbook_ex4.c | 0.062 | n^2 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___PodelskiRybalchenko-VMCAI2004-Ex2_true-termination.c | 0.036 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-wcet2_true-termination.c | 0.06 | n^1 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___speedpldi4.c | 0.054 | n^1 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.21_true-termination.c | 0.037 | inf-no_rf |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___catmouse.c | 0.044 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_a.10.c | 0.044 | inf-no_rf |
| Flores-Montoya_2017___examples_from_literature___C4B_examples___knuth_morris_pratt.c | 0.089 | inf-no_rf |
| Sinn_2016___cBench_PackBitsEncode.c | 1.99 | inf-no_rf |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___real2.c | 0.118 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___McCarthyIterative.c | 0.045 | inf-no_rf |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___easy1.c | 0.066 | 1 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaB14.c | 0.073 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___NonTerminationSimple6_false-termination.c | 0.038 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.18.c | 0.064 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___AlternKonv.c | 0.043 | inf-no_rf |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___speedSimpleMultipleDep.c | 0.048 | inf-no_rf |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___terminate.c | 0.053 | n^1 |
| Sinn_2016___cBench_hc_compute.c | 0.124 | inf-no_rf |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___perfect.c | 0.129 | n^2 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___UpAndDownIneq.c | 0.059 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Madrid_false-termination.c | 0.028 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Copenhagen_true-termination.c | 0.044 | n^1 |
| Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_popl10_simple_multiple.c | 0.047 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Toulouse-MultiBranchesToLoop_true-termination.c | 0.16 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___WhileIncrPart.c | 0.037 | inf-no_rf |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___perfect2.c | 0.083 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Bangalore_true-termination.c | 0.041 | n^1 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___LeikeHeizmann-WST2014-Ex5_false-termination.c | 0.035 | inf-no_rf |
| Flores-Montoya_2017___examples_from_literature___ABC___textbook_ex2.c | 0.058 | n^2 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.12.c | 0.049 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Bangalore_v4_true-termination.c | 0.04 | log(n)^1 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___BradleyMannaSipma-CAV2005-Fig1_true-termination.c | 0.059 | n^1 |
| Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_popl10_fig2_1.c | 0.049 | inf-no_rf |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___heapsort.c | 0.414 | n^1 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Ex06.c | 0.044 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_a.05.c | 0.042 | n^1 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-exmini_true-termination.c | 0.051 | n^1 |
| Flores-Montoya_2017___examples_from_literature___C4B_examples___t08.c | 0.053 | inf-maximize_failed |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChawdharyCookGulwaniSagivYang-ESOP2008-aaron4_true-termination.c | 0.55 | inf-no_rf |
| Flores-Montoya_2017___examples_from_literature___C4B_examples___t28.c | 0.068 | inf-maximize_failed |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_a.08.c | 0.045 | n^1 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-Fig1_true-termination.c | 0.105 | inf-no_rf |
| Flores-Montoya_2017___examples_from_literature___ABC___jama_ex7.c | 0.055 | n^2 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.01.c | 0.043 | n^1 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_c.08.c | 0.056 | n^2 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___speedSingleSingle.c | 0.05 | n^1 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_c.02.c | 0.054 | n^2 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___serpent.c | 0.16 | inf-maximize_failed |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Benghazi_true-termination.c | 0.058 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Cairo_step2_false-termination.c | 0.046 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___NonTerminationSimple5_false-termination.c | 0.042 | inf-no_rf |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___speedFails4.c | 0.053 | inf-no_rf |
| Sinn_2016___cBench_inflated_stored.c | 0.097 | inf-maximize_failed |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___TrueDiv.c | 0.038 | inf-no_rf |
| Sinn_2016___cBench_encode_mcu_AC_refine.c | 0.146 | inf-maximize_failed |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___random1d.c | 0.054 | n^1 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___PodelskiRybalchenko-LICS2004-Fig1_true-termination.c | 0.056 | n^1*log(n)^1 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___counterex1b.c | 0.142 | inf-maximize_failed |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_easySum.c | 0.041 | n^1 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___GCD2.c | 0.066 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_c.01_assume.c | 0.067 | n^1*log(n)^1 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___DivMinus.c | 0.042 | n^1 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Lcm.c | 0.047 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Sunset.c | 0.046 | inf-no_rf |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___realheapsort.c | 0.283 | inf-no_rf-maximize_failed |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaC1.c | 0.061 | n^1*log(n)^1 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___MinusUserDefined.c | 0.101 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ConvLower.c | 0.041 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Hanoi_plus_false-termination.c | 0.041 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex3.04_true-termination.c | 0.044 | inf-no_rf |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___insertsort.c | 0.075 | n^2 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___perfect1.c | 0.142 | n^2 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-random2d_true-termination.c | 0.109 | 1 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___wcet2.c | 0.06 | n^1 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___counterex1a.c | 0.115 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.13.c | 0.056 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Copenhagen_disj_true-termination.c | 0.043 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-complex_true-termination.c | 0.089 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_ex3b.c | 0.759516531135887 | error |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaC2.c | 0.055 | n^2 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaB11.c | 0.076 | n^1 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___ndecr.c | 0.042 | n^1 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Parallel_true-termination.c | 0.049 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Flip.c | 0.047 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-terminate_true-termination.c | 0.056 | n^1 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.16.c | 0.059 | inf-maximize_failed |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___NonTerminationSimple3_false-termination.c | 0.037 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.03_false-termination.c | 0.037 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaB3.c | 0.047 | n^1 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___gcd1_true-termination.c | 0.059 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___NO_22.c | 0.039 | inf-no_rf |
| Sinn_2016___cBench_sendMTFValues.c | 0.35 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex4.01_true-termination.c | 0.045 | inf-no_rf |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___realshellsort.c | 0.142 | n^2*log(n)^1 |
| Flores-Montoya_2017___examples_from_literature___Other___ex_paper2.c | 0.058 | n^2 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___HeizmannHoenickeLeikePodelski-ATVA2013-Fig8_true-termination.c | 0.04 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Ex08.c | 0.087 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-speedpldi2_true-termination.c | 0.069 | n^1 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaB7.c | 0.05 | n^1 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaC10.c | 0.037 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaA9.c | 0.048 | n^1 |
| Flores-Montoya_2017___examples_from_literature___C4B_examples___t19.c | 0.053 | inf-maximize_failed |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___DoubleNeg.c | 0.733733854722232 | error |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaA7.c | 0.049 | n^1 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___GCD4.c | 0.059 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.11.c | 0.075 | n^1 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_fermat.c | 0.779922829009593 | error |
| Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Singapore_v1_false-termination.c | 0.037 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___AlternDivWidening.c | 0.055 | inf-no_rf |
| Flores-Montoya_2017___examples_from_literature___C4B_examples___t10.c | 0.056 | n^1 |
| Sinn_2016___cBench_cf_decode_eol.c | 0.469 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Thun_true-termination.c | 0.041 | inf-no_rf |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___realheapsort_step1.c | 0.076 | n^1*log(n)^1 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Ex05.c | 0.032 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.09-no-inv_assume.c | 0.046 | inf-no_rf |
| Sinn_2016___CPU2006_local_alloc.c | 0.093 | n^2 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-wise_true-termination.c | 300 | timeout |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___easy2_true-termination.c | 0.045 | n^1 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___speedFails1.c | 0.037 | inf-no_rf |
| Flores-Montoya_2017___examples_from_literature___Loopus___Loopus2014_ex1.c | 0.364 | inf-no_rf |
| Sinn_2016___cBench_cryptRandWriteFile.c | 0.062 | n^1 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaB6.c | 0.042 | n^1 |
| Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___2Nested_false-termination.c | 0.039 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___BrockschmidtCookFuhs-CAV2013-Introduction_true-termination.c | 0.04 | inf-no_rf |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___rsd.c | 0.071 | n^1 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ComplInterv3.c | 0.041 | inf-no_rf |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___perfectg.c | 0.08 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___NonTermination4_false-termination.c | 0.034 | inf-no_rf |
| Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_popl10_nested_multiple.c | 0.082 | inf-maximize_failed |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___CookSeeZuleger-TACAS2013-Fig7a_true-termination.c | 0.055 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___aaron2_true-termination.c | 0.087 | n^1 |
| Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Mysore_false-termination.c | 0.04 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_c.01-no-inv.c | 0.056 | n^1*log(n)^1 |
| Flores-Montoya_2017___examples_from_literature___Loopus___Loopus2015_ex1.c | 0.086 | inf-maximize_failed |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___WhileSingle.c | 0.042 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___LeikeHeizmann-TACAS2014-Ex9_true-termination.c | 0.062 | n^1 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Factorial.c | 0.733971596229821 | error |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___NO_03.c | 0.039 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___UrbanMine-ESOP2014-Fig3_true-termination.c | 0.066 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Overflow.c | 0.039 | n^1 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.07_true-termination.c | 0.038 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.05.c | 0.047 | n^1 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___BradleyMannaSipma-ICALP2005-Fig1_true-termination.c | 0.183 | n^1 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-speedFails4_true-termination.c | 0.049 | inf-no_rf |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___rank3.c | 0.084 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_c.03.c | 0.049 | inf-no_rf |
| Sinn_2016___CPU2006_load_mems.c | 0.532 | inf-maximize_failed |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___AlternDivWide.c | 0.041 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Masse-VMCAI2014-Fig1b_true-termination.c | 0.041 | inf-no_rf |
| Sinn_2016___CPU2006_XNU.c | 3.503 | n^2 |
| Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Cairo_nondet_false-termination.c | 0.037 | inf-no_rf |
| Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_popl10_simple_single.c | 0.046 | n^1 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex3.06_false-termination.c | 0.039 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.10.c | 0.056 | n^1 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___NonTerminationSimple9_false-termination.c | 0.032 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.15_false-termination.c | 0.036 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.02_false-termination.c | 0.039 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Urban-WST2013-Fig2-modified1000_true-termination.c | 0.052 | n^1 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-speedpldi3_true-termination.c | 0.051 | inf-no_rf |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___wcet1.c | 0.065 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___PodelskiRybalchenko-LICS2004-Fig2-TACAS2011-Fig3_true-termination.c | 0.046 | inf-no_rf |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___nestedLoop.c | 0.192 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChawdharyCookGulwaniSagivYang-ESOP2008-aaron6_true-termination.c | 0.134 | n^1 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___LeikeHeizmann-TACAS2014-Fig1_true-termination.c | 0.038 | inf-no_rf |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___gcd.c | 0.062 | n^1 |
| Flores-Montoya_2017___examples_from_literature___ABC___jama_ex1.c | 0.062 | n^2 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___GulavaniGulwani-CAV2008-Fig1b_true-termination.c | 0.058 | inf-maximize_failed |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex3.03_true-termination.c | 0.038 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Log.c | 0.045 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___LeikeHeizmann-WST2014-Ex6_false-termination.c | 0.037 | inf-no_rf |
| Flores-Montoya_2017___examples_from_literature___ABC___jama_ex4.c | 0.07 | n^2 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___IntPath.c | 0.043 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Nyala-2lex_true-termination.c | 0.044 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___CookSeeZuleger-TACAS2013-Fig7b_true-termination.c | 0.082 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___WhileNestedOffset.c | 0.048 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___NO_00.c | 0.032 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.06.c | 0.043 | n^1 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___nested_loop.c | 0.177 | inf-no_rf |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___loops.c | 0.063 | n^1*log(n)^1 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.09_assume.c | 0.049 | n^1 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___realbubble.c | 0.128 | n^2 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___min_rf_true-termination.c | 0.089 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___KroeningSharyginaTsitovichWintersteiger-CAV2010-Ex_true-termination.c | 0.05 | n^1 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaB1.c | 0.047 | n^1 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.12_false-termination.c | 0.037 | inf-no_rf |
| Flores-Montoya_2017___examples_from_literature___C4B_examples___t47.c | 0.042 | inf-no_rf |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___cousot9.c | 0.052 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenCookFuhsNimkarOHearn-TACAS2014-Introduction_false-termination.c | 0.036 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___NO_10.c | 0.036 | inf-no_rf |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___nd_loop.c | 0.041 | 1 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___NO_12.c | 0.042 | inf-no_rf |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___ax.c | 0.065 | n^2 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Urban-WST2013-Fig2_true-termination.c | 0.05 | n^1 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.03_assume.c | 0.044 | n^1 |
| Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_popl10_nested_single.c | 0.06 | inf-no_rf |
| Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_pldi09_fig4_4.c | 0.05 | n^1 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___NonTerminationSimple4_false-termination.c | 0.034 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Middle.c | 0.04 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___NO_02.c | 0.042 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.22_true-termination.c | 0.04 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Cousot.c | 0.043 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_java_AG313.c | 0.046 | n^1 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___NonTerminationSimple8_false-termination.c | 0.074 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___TwoFloatInterv.c | 0.055 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.01_true-termination.c | 0.034 | inf-no_rf |
| Sinn_2016___cBench_subsetdump.c | 0.219 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___GulwaniJainKoskinen-PLDI2009-Fig1_true-termination.c | 0.097 | inf-no_rf |
| Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_pldi09_fig1.c | 0.044 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___HeizmannHoenickeLeikePodelski-ATVA2013-Fig9_true-termination.c | 0.043 | inf-no_rf |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___wcet0.c | 0.057 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Gothenburg_true-termination.c | 0.05 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___TelAviv-Amir-Minimum_true-termination.c | 0.062 | inf-no_rf |
| Flores-Montoya_2017___examples_from_literature___ABC___jama_ex6.c | 0.1 | n^3 |
| Flores-Montoya_2017___examples_from_literature___C4B_examples___t16.c | 0.057 | n^2 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___unperfect.c | 0.082 | inf-no_rf |
| Sinn_2016___CPU2006_analyse_other.c | 12.826 | inf-maximize_failed |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___NO_04.c | 0.162 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex3.07_true-termination.c | 0.039 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Ex02.c | 0.048 | inf-no_rf |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___alain.c | 0.105 | inf-maximize_failed |
| Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Gothenburg_v2_true-termination.c | 0.05 | inf-no_rf |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___realselect.c | 0.066 | n^2 |
| Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Benghazi_nondet_true-termination.c | 0.042 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaA1.c | 0.056 | n^2 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___speedpldi3.c | 0.052 | inf-no_rf |
| Flores-Montoya_2017___examples_from_literature___C4B_examples___t20.c | 0.058 | inf-maximize_failed |
| Flores-Montoya_2017___examples_from_literature___ABC___jama_ex3.c | 0.059 | n^2 |
| Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_pldi10_ex4.c | 0.07 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ComplInterv2.c | 0.044 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___MinusBuiltIn.c | 0.041 | log(n)^1 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.16_true-termination.c | 0.039 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-loops_true-termination.c | 0.062 | n^1*log(n)^1 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___NonTerminationSimple7_false-termination.c | 0.048 | inf-no_rf |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___exmini.c | 0.05 | n^1 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Gauss.c | 0.037 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Masse-VMCAI2014-Fig1a_true-termination.c | 0.045 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___NO_01.c | 0.034 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Pure3Phase_true-termination.c | 0.05 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___4NestedWith3Variables_true-termination.c | 0.04 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Nested.c | 0.051 | inf-maximize_failed |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Avery-FLOPS2006-Table1_true-termination.c | 0.056 | inf-maximize_failed |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___easy1_true-termination.c | 0.073 | 1 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___NO_23.c | 0.035 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Stockholm_true-termination.c | 0.05 | n^1 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___counterex1c.c | 0.281 | inf-no_rf |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___speedpldi2.c | 0.068 | n^1 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.03-no-inv_assume.c | 0.045 | n^1 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_a.09_assume.c | 0.049 | n^1 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___NoriSharma-FSE2013-Fig8_true-termination.c | 0.055 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_a.06.c | 0.055 | n^1 |
| Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Bangalore_v3_false-termination.c | 0.038 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.10_true-termination.c | 0.045 | n^1 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.13_true-termination.c | 0.039 | inf-no_rf |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___speedSingleSingle2.c | 0.09 | n^1 |
| Flores-Montoya_2017___examples_from_literature___Other___exclusive_phases.c | 0.044 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___MenloPark_true-termination.c | 0.041 | inf-no_rf |
| Flores-Montoya_2017___examples_from_literature___Loopus___Loopus2015_ex2.c | 0.068 | inf-maximize_failed |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.07.c | 0.053 | n^1 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-nestedLoop_true-termination.c | 0.1 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_a.07.c | 0.05 | n^1 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___WhilePart.c | 0.038 | inf-no_rf |
| Flores-Montoya_2017___examples_from_literature___ABC___textbook_ex3.c | 0.113 | n^4 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.11_false-termination.c | 0.036 | inf-no_rf |
| Flores-Montoya_2017___examples_from_literature___Loopus___Loopus2011_ex2.c | 2.55 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___NarrowKonv.c | 0.069 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Et2.c | 0.034 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-Fig2b_true-termination.c | 0.114 | inf-no_rf |
| Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_pldi10_ex1.c | 0.1 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-rsd_true-termination.c | 0.062 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___PodelskiRybalchenko-TACAS2011-Fig2_true-termination.c | 0.056 | n^2 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___LogMult.c | 0.741201227065176 | error |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Mysore_true-termination.c | 0.052 | n^1 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___GulavaniGulwani-CAV2008-Fig1c_true-termination.c | 0.044 | n^1 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ColonSipma-TACAS2001-Fig1_true-termination.c | 0.053 | n^1 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_java_Nested.c | 0.05 | 1 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Cairo_true-termination.c | 0.037 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-counterex1b_true-termination.c | 0.196 | inf-maximize_failed |
| Sinn_2016___cBench_set_color_ht.c | 0.081 | n^3 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___speedNestedMultiple.c | 0.082 | inf-maximize_failed |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex1.05_true-termination.c | 0.041 | log(n)^1 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___wise.c | 300 | timeout |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___DivWithoutMinus.c | 0.053 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Et1.c | 0.04 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___WhileTrue_false-termination.c | 0.03 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ComplxStruc.c | 0.064 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___PodelskiRybalchenko-TACAS2011-Fig4_true-termination.c | 0.05 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaA10.c | 0.042 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Singapore_v2_false-termination.c | 0.037 | inf-no_rf |
| Sinn_2016___cBench_noiseTickSize.c | 0.062 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChawdharyCookGulwaniSagivYang-ESOP2008-random1d_true-termination.c | 0.061 | n^1 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaB2.c | 0.042 | n^1 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___aaron12.c | 0.735437558032572 | error |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___LarrazOliverasRodriguez-CarbonellRubio-FMCAD2013-Fig1_true-termination.c | 0.064 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.02.c | 0.042 | n^1 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.14.c | 0.073 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___PodelskiRybalchenko-VMCAI2004-Ex1_true-termination.c | 0.062 | n^1 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___GCD3.c | 0.082 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___GopanReps-CAV2006-Fig1a_true-termination.c.c | 0.041 | inf-no_rf |
| Flores-Montoya_2017___examples_from_literature___C4B_examples___t15.c | 0.056 | n^2 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___relation1.c | 0.031 | 1 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___HeizmannHoenickeLeikePodelski-ATVA2013-Fig4_true-termination.c | 0.037 | n^1 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___speedSimpleMultiple.c | 0.05 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___WhileDecr.c | 0.038 | n^1 |
| Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_popl10_simple_single_2.c | 0.049 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___GulavaniGulwani-CAV2008-Fig1a_true-termination.c | 0.047 | inf-no_rf |
| Sinn_2016___cBench_s_SFD_process.c | 0.143 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Singapore_plus_false-termination.c | 0.038 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_ex1.c | 0.037 | n^1 |
| Flores-Montoya_2017___examples_from_literature___Loopus___Loopus2011_ex3.c | 0.047 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___NonTerminationSimple2_false-termination.c | 0.036 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.20_true-termination.c | 0.045 | n^1 |
| Flores-Montoya_2017___examples_from_literature___C4B_examples___t30.c | 0.035 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_java_Continue1.c | 0.042 | 1 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___HeizmannHoenickeLeikePodelski-ATVA2013-Fig1_true-termination.c | 0.039 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChawdharyCookGulwaniSagivYang-ESOP2008-aaron1_true-termination.c | 0.304 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___CookSeeZuleger-TACAS2013-Fig8b_true-termination.c | 0.04 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___NonTermination1_false-termination.c | 0.034 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Singapore_true-termination.c | 0.039 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-counterex1a_true-termination.c | 0.203 | inf-no_rf |
| Sinn_2016___cBench_bin_search_StepSize2.c | 6.011 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Marbie2.c | 0.037 | inf-no_rf |
| Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_pldi10_ex3.c | 0.052 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Pure2Phase_true-termination.c | 0.043 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaC7.c | 0.047 | n^1 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChawdharyCookGulwaniSagivYang-ESOP2008-random2d_true-termination.c | 0.103 | 1 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___NO_13.c | 0.039 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_flag.c | 0.051 | inf-no_rf |
| Sinn_2016___CPU2006_SingleLinkCluster.c | 0.64 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___PlusSwap.c | 0.034 | inf-no_rf |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___rank2.c | 0.066 | inf-maximize_failed |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___LeikeHeizmann-TACAS2014-Ex7_true-termination.c | 0.037 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___CookSeeZuleger-TACAS2013-Fig1_true-termination.c | 0.046 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaB17.c | 0.064 | inf-maximize_failed |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___complex.c | 0.089 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaA8.c | 0.043 | n^1 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Ex01.c | 0.033 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-cousot9_true-termination.c | 0.052 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___NoriSharma-FSE2013-Fig7_true-termination.c | 0.044 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaB15.c | 0.082 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___LeikeHeizmann-TACAS2014-Ex8_true-termination.c | 0.038 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Sequence.c | 0.049 | inf-maximize_failed |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Toulouse-BranchesToLoop_true-termination.c | 0.045 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Rotation180_false-termination.c | 0.03 | inf-no_rf |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___speedNestedMultipleDep.c | 0.063 | n^2 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___LogAG.c | 0.046 | inf-no_rf |
| Flores-Montoya_2017___examples_from_literature___ABC___jama_ex2.c | 0.058 | n^2 |
| Sinn_2016___CPU2006_xdr3dfcoord.c | 0.311 | inf-no_rf |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.09_true-termination.c | 0.041 | inf-no_rf |