| Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-cousot9_true-termination.c |
n^2 |
0.015139 |
| Flores-Montoya_2017___examples_from_literature___C4B_examples___t08.c |
n^1 |
0.021392 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_java_Nested.c |
1 |
0.015184 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.05.c |
n^1 |
0.015013 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___speedFails1.c |
inf |
0.011612 |
| Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___2Nested_false-termination.c |
inf |
0.012505 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___BradleyMannaSipma-CAV2005-Fig1_true-termination.c |
inf |
0.014957 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.10.c |
n^1 |
0.016469 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___speedpldi4.c |
inf |
0.013010 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.13_true-termination.c |
inf |
0.012888 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_fermat.c |
1 |
0.026315 |
| Flores-Montoya_2017___examples_from_literature___Other___exclusive_phases.c |
n^1 |
0.017183 |
| Sinn_2016___cBench_hc_compute.c |
n^2 |
0.027519 |
| Flores-Montoya_2017___examples_from_literature___C4B_examples___knuth_morris_pratt.c |
n^1 |
0.013157 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Ex02.c |
inf |
0.012768 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___BradleyMannaSipma-CAV2005-Fig1-modified_false-termination.c |
inf |
0.013323 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___GCD3.c |
inf |
0.017663 |
| Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_popl10_fig2_2.c |
n^1 |
0.014724 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___realheapsort.c |
inf |
0.092905 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___PodelskiRybalchenko-TACAS2011-Fig4_true-termination.c |
inf |
0.016586 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___WhileTrue_false-termination.c |
inf |
0.009723 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaB14.c |
n^1 |
0.016885 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaB3.c |
inf |
0.010404 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___NO_02.c |
inf |
0.009724 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___LogAG.c |
n^1 |
0.015414 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_a.05.c |
n^1 |
0.010966 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChawdharyCookGulwaniSagivYang-ESOP2008-aaron4_true-termination.c |
inf |
0.037040 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.16.c |
n^1 |
0.016839 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.22_true-termination.c |
inf |
0.017562 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_ex1.c |
n^1 |
0.010710 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaC1.c |
inf |
0.013281 |
| Sinn_2016___cBench_cryptRandWriteFile.c |
n^1 |
0.018721 |
| Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Cairo_nondet_false-termination.c |
inf |
0.010557 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___NonTerminationSimple6_false-termination.c |
inf |
0.010115 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex3.03_true-termination.c |
inf |
0.010175 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___WhileDecr.c |
n^1 |
0.011258 |
| Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_pldi10_ex3.c |
n^1 |
0.015635 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_c.01_assume.c |
n^2 |
0.018163 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Madrid_false-termination.c |
inf |
0.008887 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Overflow.c |
n^1 |
0.010537 |
| Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_pldi09_fig4_4.c |
inf |
0.012194 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-exmini_true-termination.c |
n^1 |
0.015649 |
| Flores-Montoya_2017___examples_from_literature___Loopus___Loopus2015_big.c |
n^1 |
0.039282 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Ex04.c |
inf |
0.009029 |
| Sinn_2016___cBench_subsetdump.c |
n^1 |
0.038187 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.09_true-termination.c |
inf |
0.010760 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.03-no-inv_assume.c |
inf |
0.009891 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___BrockschmidtCookFuhs-CAV2013-Fig1_true-termination.c |
n^2 |
0.014717 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Parallel_true-termination.c |
n^1 |
0.013573 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___NO_00.c |
inf |
0.008779 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___NO_22.c |
inf |
0.010416 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___BrockschmidtCookFuhs-CAV2013-Fig9a_true-termination.c |
inf |
0.012246 |
| Sinn_2016___cBench_encode_mcu_AC_refine.c |
n^1 |
0.022610 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___GulavaniGulwani-CAV2008-Fig1b_true-termination.c |
n^1 |
0.015912 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___HeizmannHoenickeLeikePodelski-ATVA2013-Fig6_true-termination.c |
n^1 |
0.012635 |
| Flores-Montoya_2017___examples_from_literature___ABC___jama_ex3.c |
n^2 |
0.012880 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.17_false-termination.c |
inf |
0.009211 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___counterex1c.c |
n^1 |
0.025531 |
| Flores-Montoya_2017___examples_from_literature___Other___ex_paper1.c |
n^2 |
0.026420 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Pure2Phase_true-termination.c |
inf |
0.016160 |
| Sinn_2016___CPU2006_local_alloc.c |
n^1 |
0.020415 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___TwoFloatInterv.c |
inf |
0.017861 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.16_true-termination.c |
n^1 |
0.011825 |
| Flores-Montoya_2017___examples_from_literature___ABC___textbook_ex3.c |
n^6 |
0.021793 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___IntPath.c |
inf |
0.010199 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___NonTerminationSimple7_false-termination.c |
inf |
0.009454 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___PodelskiRybalchenko-LICS2004-Fig1_true-termination.c |
inf |
0.012849 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaC2.c |
n^2 |
0.013563 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___aaron12.c |
inf |
0.011893 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.08_true-termination.c |
inf |
0.010444 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___rsd.c |
n^1 |
0.017284 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChawdharyCookGulwaniSagivYang-ESOP2008-aaron6_true-termination.c |
inf |
0.025189 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___speedDis1.c |
n^1 |
0.014349 |
| Flores-Montoya_2017___examples_from_literature___ABC___textbook_ex4.c |
n^2 |
0.012935 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_c.08.c |
n^2 |
0.015038 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___CookSeeZuleger-TACAS2013-Fig7a_true-termination.c |
inf |
0.016996 |
| Flores-Montoya_2017___examples_from_literature___Other___ex_paper2.c |
n^2 |
0.013944 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaC10.c |
inf |
0.010338 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___PodelskiRybalchenko-VMCAI2004-Ex2_true-termination.c |
inf |
0.009703 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___perfect2.c |
inf |
0.012620 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___NO_23.c |
inf |
0.010774 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___LeikeHeizmann-TACAS2014-Ex7_true-termination.c |
inf |
0.013204 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Narrowing.c |
inf |
0.078618 |
| Flores-Montoya_2017___examples_from_literature___C4B_examples___t07.c |
n^1 |
0.024562 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaB17.c |
n^1 |
0.015896 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___AlternDiv.c |
inf |
0.013245 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Mysore_true-termination.c |
inf |
0.012798 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_a.09_assume.c |
n^1 |
0.012602 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___realshellsort.c |
inf |
0.020133 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___UrbanMine-ESOP2014-Fig3_true-termination.c |
inf |
0.026913 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex3.07_true-termination.c |
inf |
0.009268 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Ben-Amram-LMCS2010-Ex2.3_true-termination.c |
inf |
0.021260 |
| Flores-Montoya_2017___examples_from_literature___C4B_examples___t19.c |
n^1 |
0.018684 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___NO_21.c |
inf |
0.009328 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___MinusUserDefined.c |
inf |
0.040527 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___counterex1a.c |
n^1 |
0.024241 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-wise_true-termination.c |
n^1 |
0.014379 |
| Flores-Montoya_2017___examples_from_literature___ABC___jama_ex7.c |
n^2 |
0.014385 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___WhileTrue.c |
inf |
0.009219 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex3.08_true-termination.c |
inf |
0.015588 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex1.02_true-termination.c |
inf |
0.015397 |
| Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_popl10_simple_single_2.c |
n^1 |
0.012994 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___perfect1.c |
inf |
0.013127 |
| Sinn_2016___cBench_inflated_stored.c |
n^1 |
0.030569 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChawdharyCookGulwaniSagivYang-ESOP2008-random2d_true-termination.c |
1 |
0.011035 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Toulouse-MultiBranchesToLoop_true-termination.c |
inf |
0.054525 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-speedpldi4_true-termination.c |
inf |
0.012406 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___DivMinus.c |
n^1 |
0.012134 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-counterex1a_true-termination.c |
n^1 |
0.024725 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-complex_true-termination.c |
n^1 |
0.022256 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___nd_loop.c |
inf |
0.013308 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex1.04_true-termination.c |
inf |
0.015350 |
| Sinn_2016___cBench_bin_search_StepSize2.c |
inf |
0.016894 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_flag.c |
n^1 |
0.013913 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Fibonacci.c |
inf |
0.009972 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.02_false-termination.c |
inf |
0.010352 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.10_true-termination.c |
n^1 |
0.013358 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___NonTermination4_false-termination.c |
inf |
0.009646 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Pure3Phase_true-termination.c |
inf |
0.011763 |
| Sinn_2016___CPU2006_load_mems.c |
n^1 |
0.026017 |
| Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___McCarthy91_Iteration_true-termination.c |
inf |
0.011990 |
| Sinn_2016___CPU2006_analyse_other.c |
n^4 |
0.081210 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.09-no-inv_assume.c |
inf |
0.015282 |
| Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Gothenburg_v2_true-termination.c |
inf |
0.017317 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ComplInterv2.c |
inf |
0.017008 |
| Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_popl10_nested_multiple.c |
n^1 |
0.020676 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.18.c |
n^1 |
0.022965 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex3.01_true-termination.c |
inf |
0.013219 |
| Flores-Montoya_2017___examples_from_literature___Loopus___Loopus2015_ex2.c |
n^1 |
0.029748 |
| Flores-Montoya_2017___examples_from_literature___C4B_examples___t27.c |
n^1 |
0.014928 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___sipma91.c |
n^1 |
0.023151 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___NO_13.c |
inf |
0.012812 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.01_true-termination.c |
inf |
0.010845 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_ex3a.c |
inf |
0.012806 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___wcet1.c |
n^1 |
0.013211 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___perfectg.c |
inf |
0.011306 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaB4.c |
n^1 |
0.015928 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Fig1_true-termination.c |
inf |
0.010409 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___NonTermination1_false-termination.c |
inf |
0.011520 |
| Flores-Montoya_2017___examples_from_literature___C4B_examples___t30.c |
n^1 |
0.016970 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.15.c |
n^1 |
0.017040 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Log.c |
n^1 |
0.015838 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___insertsort.c |
n^2 |
0.018407 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-Fig2b_true-termination.c |
inf |
0.045546 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Loop.c |
inf |
0.009010 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_a.04.c |
n^1 |
0.012048 |
| Sinn_2016___cBench_zwritehexstring_at.c |
n^1 |
0.019762 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___4NestedWith3Variables_true-termination.c |
inf |
0.010211 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___DoubleNeg.c |
inf |
0.009894 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___speedFails3.c |
inf |
0.012091 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Nyala-2lex_true-termination.c |
inf |
0.024065 |
| Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_pldi09_fig4_5.c |
n^1 |
0.015084 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___serpent.c |
inf |
0.020241 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___aaron2_true-termination.c |
n^1 |
0.016927 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___NonTerminationSimple4_false-termination.c |
inf |
0.009158 |
| Flores-Montoya_2017___examples_from_literature___C4B_examples___t13.c |
n^1 |
0.016150 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___speedSimpleMultipleDep.c |
n^2 |
0.013397 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___realheapsort_step1.c |
n^2 |
0.019329 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___BrockschmidtCookFuhs-CAV2013-Introduction_true-termination.c |
inf |
0.009904 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___easy2_true-termination.c |
n^1 |
0.010626 |
| Flores-Montoya_2017___examples_from_literature___ABC___jama_ex4.c |
n^2 |
0.013177 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaA10.c |
n^1 |
0.015441 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___NonTerminationSimple2_false-termination.c |
inf |
0.009781 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___MirrorInterv.c |
inf |
0.032857 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-random1d_true-termination.c |
n^1 |
0.010976 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.01.c |
n^1 |
0.013696 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Lcm.c |
inf |
0.013311 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___ax.c |
n^2 |
0.014295 |
| Flores-Montoya_2017___examples_from_literature___Loopus___Loopus2011_ex3.c |
n^1 |
0.014849 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___LeikeHeizmann-TACAS2014-Fig1_true-termination.c |
inf |
0.011123 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex1.01_true-termination.c |
inf |
0.011570 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___LeikeHeizmann-TACAS2014-Ex1_true-termination.c |
n^1 |
0.015026 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___WhileNestedOffset.c |
inf |
0.012960 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-Fig1_true-termination.c |
inf |
0.016248 |
| Flores-Montoya_2017___examples_from_literature___Other___ex_paper3.c |
n^2 |
0.022721 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaB11.c |
n^1 |
0.016620 |
| Flores-Montoya_2017___examples_from_literature___C4B_examples___t20.c |
n^1 |
0.018597 |
| Flores-Montoya_2017___examples_from_literature___Loopus___Loopus2011_ex2.c |
inf |
0.069685 |
| Flores-Montoya_2017___examples_from_literature___Loopus___Loopus2011_ex1.c |
n^1 |
0.027617 |
| Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_popl10_simple_multiple.c |
n^1 |
0.012642 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaC9.c |
inf |
0.017293 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.18_true-termination.c |
inf |
0.010810 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaA8.c |
n^1 |
0.011726 |
| Sinn_2016___cBench_noiseTickSize.c |
n^1 |
0.016888 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Et2.c |
inf |
0.011387 |
| Sinn_2016___CPU2006_XNU.c |
n^1 |
0.040162 |
| Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Bangalore_v2_false-termination.c |
inf |
0.010094 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___WhileFalse_true-termination.c |
1 |
0.005765 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Waldkirch_true-termination.c |
1 |
0.010638 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___easy1_true-termination.c |
1 |
0.011808 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___NoriSharma-FSE2013-Fig7_true-termination.c |
n^1 |
0.012405 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___MinusBuiltIn.c |
n^1 |
0.012063 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_java_Sequence.c |
1 |
0.014956 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___NO_24.c |
inf |
0.008929 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___WhileIncrPart.c |
inf |
0.010358 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChawdharyCookGulwaniSagivYang-ESOP2008-aaron1_true-termination.c |
n^1 |
0.025220 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___NonTerminationSimple5_false-termination.c |
inf |
0.010814 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___NO_12.c |
inf |
0.011223 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_ex2.c |
inf |
0.016220 |
| Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_pldi10_ex4.c |
n^1 |
0.017513 |
| Flores-Montoya_2017___examples_from_literature___ABC___jama_ex6.c |
n^4 |
0.019729 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___NoriSharma-FSE2013-Fig8_true-termination.c |
n^2 |
0.016251 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___min_rf_true-termination.c |
inf |
0.021343 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ComplInterv.c |
inf |
0.011763 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___nested_loop.c |
n^2 |
0.030047 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.13.c |
n^1 |
0.012652 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Nested.c |
1 |
0.014138 |
| Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Singapore_v1_false-termination.c |
inf |
0.010712 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.03_assume.c |
n^1 |
0.012577 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.15_false-termination.c |
inf |
0.010107 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-loops_true-termination.c |
inf |
0.018393 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___LeikeHeizmann-WST2014-Ex6_false-termination.c |
inf |
0.010075 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___WhileSingle.c |
inf |
0.012719 |
| Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_pldi09_fig4_2.c |
inf |
0.013112 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___complex.c |
n^1 |
0.020508 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Urban-WST2013-Fig2-modified1000_true-termination.c |
n^1 |
0.012282 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Cousot.c |
inf |
0.011173 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_c.02.c |
n^2 |
0.013528 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___NO_04.c |
inf |
0.008846 |
| Flores-Montoya_2017___examples_from_literature___Loopus___Loopus2014_ex1.c |
n^2 |
0.036180 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___speedFails4.c |
inf |
0.012889 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ConvLower.c |
inf |
0.011192 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_java_Break.c |
1 |
0.010296 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Rotation180_false-termination.c |
inf |
0.009362 |
| Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Bangalore_v4_true-termination.c |
inf |
0.010138 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___heapsort.c |
n^1 |
0.029330 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaA5.c |
n^1 |
0.010628 |
| Flores-Montoya_2017___examples_from_literature___C4B_examples___t28.c |
n^1 |
0.028442 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.20_true-termination.c |
inf |
0.017130 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Stockholm_true-termination.c |
inf |
0.010459 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___CookSeeZuleger-TACAS2013-Fig1_true-termination.c |
inf |
0.015697 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Even.c |
inf |
0.010541 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___gcd.c |
inf |
0.012926 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_a.07.c |
n^1 |
0.011339 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-random2d_true-termination.c |
1 |
0.011182 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaC7.c |
n^1 |
0.012683 |
| Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Hanoi_plus_false-termination.c |
inf |
0.010145 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___DivWithoutMinus.c |
inf |
0.014327 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___GulwaniJainKoskinen-PLDI2009-Fig1_true-termination.c |
inf |
0.014824 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___counterex1b.c |
inf |
0.020165 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___CookSeeZuleger-TACAS2013-Fig8b_true-termination.c |
inf |
0.013165 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaA9.c |
inf |
0.011118 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___aaron3_true-termination.c |
inf |
0.013776 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.12.c |
n^1 |
0.013073 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___while2.c |
n^2 |
0.013054 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___GopanReps-CAV2006-Fig1a_true-termination.c.c |
1 |
0.013241 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___LogMult.c |
inf |
0.010932 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.09_assume.c |
n^1 |
0.013396 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-counterex1b_true-termination.c |
inf |
0.021828 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaC3.c |
n^1 |
0.012581 |
| Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Bangalore_v3_false-termination.c |
inf |
0.010087 |
| Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Hanoi_3vars_false-termination.c |
inf |
0.010837 |
| Flores-Montoya_2017___examples_from_literature___Loopus___Loopus2014_ex2.c |
n^1 |
0.018842 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Thun_true-termination.c |
inf |
0.010817 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Flip2.c |
inf |
0.016627 |
| Sinn_2016___CPU2006_SingleLinkCluster.c |
n^2 |
0.035952 |
| Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Singapore_plus_false-termination.c |
inf |
0.009878 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___wcet2.c |
n^1 |
0.014689 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-wcet2_true-termination.c |
n^1 |
0.014079 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaA6.c |
n^1 |
0.010805 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___NonTermination2_false-termination.c |
inf |
0.012905 |
| Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Cairo_step2_false-termination.c |
inf |
0.009370 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex1.05_true-termination.c |
inf |
0.014788 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___wise.c |
n^1 |
0.014991 |
| Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Singapore_v2_false-termination.c |
inf |
0.010316 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.04_false-termination.c |
inf |
0.010118 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex3.09_true-termination.c |
inf |
0.014485 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___HeizmannHoenickeLeikePodelski-ATVA2013-Fig9_true-termination.c |
inf |
0.010986 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___NO_10.c |
inf |
0.009249 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Avery-FLOPS2006-Table1_true-termination.c |
n^1 |
0.017387 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___CookSeeZuleger-TACAS2013-Fig8a-modified_true-termination.c |
n^1 |
0.014333 |
| Sinn_2016___cBench_PackBitsEncode.c |
n^1 |
0.272466 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Copenhagen_true-termination.c |
n^1 |
0.021083 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChawdharyCookGulwaniSagivYang-ESOP2008-random1d_true-termination.c |
n^1 |
0.012355 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___McCarthyIterative.c |
inf |
0.012390 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Middle.c |
inf |
0.011186 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___speedNestedMultipleDep.c |
n^2 |
0.013055 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.19_true-termination.c |
inf |
0.010693 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___TrueDiv.c |
inf |
0.010071 |
| Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Benghazi_nondet_true-termination.c |
inf |
0.010205 |
| Flores-Montoya_2017___examples_from_literature___C4B_examples___t10.c |
n^1 |
0.011149 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-rsd_true-termination.c |
n^2 |
0.016197 |
| Flores-Montoya_2017___examples_from_literature___ABC___textbook_ex2.c |
n^2 |
0.014988 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Sequence.c |
1 |
0.015766 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.04.c |
n^1 |
0.012546 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_easySum.c |
n^1 |
0.010755 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___MenloPark_true-termination.c |
inf |
0.011152 |
| Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_popl10_nested_single.c |
n^1 |
0.016046 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___NO_03.c |
inf |
0.011186 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___exmini.c |
n^1 |
0.016552 |
| Flores-Montoya_2017___examples_from_literature___C4B_examples___gcd.c |
n^1 |
0.018540 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_java_AG313.c |
n^1 |
0.012698 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___NonTerminationSimple9_false-termination.c |
inf |
0.013193 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___easy2.c |
n^1 |
0.012229 |
| Sinn_2016___cBench_send_tree.c |
n^1 |
0.028641 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___unperfect.c |
inf |
0.012275 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___wcet0.c |
n^1 |
0.014971 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___realselect.c |
n^2 |
0.016276 |
| Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Hanoi_2vars_false-termination.c |
inf |
0.010899 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___loops.c |
inf |
0.022007 |
| Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_popl10_sequential_single.c |
n^1 |
0.022140 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Ex05.c |
inf |
0.011445 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_c.01-no-inv.c |
inf |
0.013834 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___GCD4.c |
inf |
0.027784 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-Fig2a_true-termination.c |
n^1 |
0.021045 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___sipmamergesort.c |
inf |
0.272954 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___PodelskiRybalchenko-TACAS2011-Fig2_true-termination.c |
n^2 |
0.014253 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenCookFuhsNimkarOHearn-TACAS2014-Introduction_false-termination.c |
inf |
0.013525 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaB7.c |
n^1 |
0.013323 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___rank3.c |
inf |
0.047857 |
| Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_pldi10_ex1.c |
n^2 |
0.020545 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___random2d.c |
n^1 |
0.011614 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Marbie1.c |
inf |
0.009225 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.11_false-termination.c |
inf |
0.010904 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Ex03.c |
inf |
0.011369 |
| Flores-Montoya_2017___examples_from_literature___ABC___jama_ex5.c |
n^2 |
0.013087 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.11.c |
n^1 |
0.017271 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___KroeningSharyginaTsitovichWintersteiger-CAV2010-Ex_true-termination.c |
n^1 |
0.012325 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___GCD.c |
inf |
0.025336 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex1.03_true-termination.c |
1 |
0.011141 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___CookSeeZuleger-TACAS2013-Fig7b_true-termination.c |
inf |
0.021333 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___terminate.c |
n^1 |
0.016792 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___NonTerminationSimple3_false-termination.c |
inf |
0.010287 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_a.01.c |
n^2 |
0.016858 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___PodelskiRybalchenko-LICS2004-Fig2-TACAS2011-Fig3_true-termination.c |
n^1 |
0.021109 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___PodelskiRybalchenko-TACAS2011-Fig1_true-termination.c |
n^1 |
0.011561 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaA4.c |
n^1 |
0.014703 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-speedpldi2_true-termination.c |
inf |
0.016560 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Ex06.c |
inf |
0.013688 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex4.01_true-termination.c |
inf |
0.011295 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___catmouse.c |
inf |
0.010708 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___relation1.c |
1 |
0.009630 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaB16.c |
n^1 |
0.014020 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ComplxStruc.c |
inf |
0.018893 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-terminate_true-termination.c |
n^1 |
0.017206 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaB1.c |
n^1 |
0.011528 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___CookSeeZuleger-TACAS2013-Fig8a_true-termination.c |
n^1 |
0.016196 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaA7.c |
n^1 |
0.013330 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ComplInterv3.c |
inf |
0.015096 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___realheapsort_step2.c |
inf |
0.034961 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.03_false-termination.c |
inf |
0.010365 |
| Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_pldi09_fig1.c |
n^1 |
0.012126 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___NarrowKonv.c |
inf |
0.023731 |
| Sinn_2016___cBench_set_color_ht.c |
n^2 |
0.018034 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___rank2.c |
n^1 |
0.020357 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.12_false-termination.c |
inf |
0.012964 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_c.03.c |
n^1 |
0.014316 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex3.04_true-termination.c |
inf |
0.011035 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___alain.c |
inf |
0.020688 |
| Sinn_2016___cBench_cf_decode_eol.c |
n^1 |
0.027825 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___easy1.c |
1 |
0.012703 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___ndecr.c |
n^1 |
0.011261 |
| Flores-Montoya_2017___examples_from_literature___C4B_examples___t47.c |
n^1 |
0.015824 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.06.c |
n^1 |
0.011173 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___WhileIncr.c |
inf |
0.009094 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___2Nested_true-termination.c |
inf |
0.009439 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___LeikeHeizmann-TACAS2014-Ex8_true-termination.c |
inf |
0.015577 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___realbubble.c |
n^2 |
0.015893 |
| Flores-Montoya_2017___examples_from_literature___ABC___textbook_ex1.c |
n^1 |
0.010434 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-speedpldi3_true-termination.c |
n^2 |
0.014013 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Velroyen_false-termination.c |
inf |
0.034412 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Et1.c |
inf |
0.009456 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Lobnya-Boolean-Reordered_true-termination.c |
n^1 |
0.016661 |
| Sinn_2016___CPU2006_Configure.c |
n^2 |
0.037896 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___terminatorbubble.c |
n^2 |
0.019448 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___GulavaniGulwani-CAV2008-Fig1a_true-termination.c |
n^1 |
0.012735 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.21_true-termination.c |
inf |
0.013583 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_java_Continue1.c |
1 |
0.010210 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-ndecr_true-termination.c |
n^1 |
0.010759 |
| Flores-Montoya_2017___examples_from_literature___C4B_examples___t16.c |
inf |
0.012064 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___collatz.c |
inf |
0.018081 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___real2.c |
inf |
0.015427 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.14.c |
n^1 |
0.015739 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaB2.c |
n^1 |
0.012162 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___speedSimpleMultiple.c |
n^1 |
0.015113 |
| Sinn_2016___CPU2006_xdr3dfcoord.c |
n^1 |
0.065843 |
| Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_popl10_fig2_1.c |
n^1 |
0.013026 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaA1.c |
n^2 |
0.013333 |
| Sinn_2016___CPU2006_ApplyBndRobin.c |
n^4 |
0.029995 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___rank1.c |
inf |
0.018910 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___WhilePart.c |
inf |
0.012491 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex3.05_true-termination.c |
inf |
0.011380 |
| Flores-Montoya_2017___examples_from_literature___ABC___jama_ex2.c |
n^2 |
0.016067 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___perfect.c |
inf |
0.012828 |
| Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_popl10_simple_single.c |
n^1 |
0.011172 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___aaron3.c |
inf |
0.013645 |
| Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Bangalore_false-termination.c |
inf |
0.010565 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Gauss.c |
inf |
0.010281 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___DivMinus2.c |
n^2 |
0.022390 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_c.07.c |
n^1 |
0.016984 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.07_true-termination.c |
inf |
0.011089 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChooseLife.c |
inf |
0.017847 |
| Sinn_2016___CPU2006_asctoeg.c |
n^2 |
0.031738 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Urban-WST2013-Fig1_false-termination.c |
inf |
0.010543 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Marbie2.c |
inf |
0.008805 |
| Flores-Montoya_2017___examples_from_literature___ABC___jama_ex1.c |
n^2 |
0.013751 |
| Flores-Montoya_2017___examples_from_literature___C4B_examples___t15.c |
inf |
0.012205 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___aaron2.c |
n^1 |
0.016549 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_a.06.c |
n^1 |
0.011882 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___gcd1_true-termination.c |
inf |
0.018668 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-nestedLoop_true-termination.c |
n^2 |
0.020167 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Ex08.c |
inf |
0.025204 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___WhileNested.c |
inf |
0.011399 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Cairo_true-termination.c |
inf |
0.010254 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___speedNestedMultiple.c |
n^1 |
0.019692 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___GCD2.c |
inf |
0.021921 |
| Sinn_2016___CPU2006_Perl_scan_vstring.c |
n^1 |
0.089751 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___GulavaniGulwani-CAV2008-Fig1c_true-termination.c |
n^1 |
0.011751 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Urban-WST2013-Fig2_true-termination.c |
n^1 |
0.013437 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___PlusSwap.c |
n^1 |
0.015239 |
| Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Mysore_false-termination.c |
inf |
0.010312 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___HeizmannHoenickeLeikePodelski-ATVA2013-Fig1_true-termination.c |
inf |
0.010685 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.14_false-termination.c |
inf |
0.010618 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___NonTerminationSimple8_false-termination.c |
inf |
0.016913 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaB15.c |
n^1 |
0.016015 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___speedFails2.c |
inf |
0.009960 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___LeikeHeizmann-TACAS2014-Ex9_true-termination.c |
n^1 |
0.015464 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.17.c |
n^1 |
0.016470 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ColonSipma-TACAS2001-Fig1_true-termination.c |
n^1 |
0.016049 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___LarrazOliverasRodriguez-CarbonellRubio-FMCAD2013-Fig1_true-termination.c |
inf |
0.013559 |
| Sinn_2016___CPU2006_ParseFile.c |
n^1 |
0.184480 |
| Flores-Montoya_2017___examples_from_literature___Loopus___Loopus2015_original.c |
n^1 |
0.031391 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___AlternDivWide.c |
inf |
0.016246 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___speedSingleSingle2.c |
n^1 |
0.014554 |
| Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Copenhagen_disj_true-termination.c |
inf |
0.015298 |
| Flores-Montoya_2017___examples_from_literature___C4B_examples___t62.c |
n^2 |
0.026201 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___UpAndDown.c |
inf |
0.025187 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___MinusMin.c |
n^1 |
0.020530 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Masse-VMCAI2014-Fig1a_true-termination.c |
inf |
0.013991 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___NO_01.c |
inf |
0.009211 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_a.10.c |
n^1 |
0.014234 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___MirrorIntervSim.c |
inf |
0.022117 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___UpAndDownIneq.c |
inf |
0.015072 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex3.10_true-termination.c |
n^1 |
0.012135 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___HeizmannHoenickeLeikePodelski-ATVA2013-Fig4_true-termination.c |
n^1 |
0.010890 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Factorial.c |
inf |
0.010155 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___speedpldi3.c |
n^2 |
0.014533 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___TelAviv-Amir-Minimum_true-termination.c |
inf |
0.024348 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-while2_true-termination.c |
n^2 |
0.012840 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Et4.c |
inf |
0.011075 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___HeizmannHoenickeLeikePodelski-ATVA2013-Fig8_true-termination.c |
inf |
0.009598 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___nestedLoop.c |
n^2 |
0.031921 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___sipmamergesort2.c |
inf |
0.826349 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___sipmabubble.c |
n^2 |
0.014775 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Gothenburg_true-termination.c |
inf |
0.013975 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___LeikeHeizmann-WST2014-Ex5_false-termination.c |
inf |
0.012578 |
| Flores-Montoya_2017___examples_from_literature___C4B_examples___t11.c |
n^1 |
0.012718 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___genady_true-termination.c |
1 |
0.011357 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Ex07.c |
inf |
0.012053 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.07.c |
n^1 |
0.011140 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___random1d.c |
n^1 |
0.010241 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.02.c |
n^1 |
0.011539 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___AlternDivWidening.c |
inf |
0.022545 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_ex3b.c |
inf |
0.009985 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Swingers.c |
inf |
0.009751 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Sunset.c |
inf |
0.015594 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaB6.c |
n^1 |
0.010500 |
| Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Singapore_true-termination.c |
inf |
0.010861 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___BradleyMannaSipma-ICALP2005-Fig1_true-termination.c |
inf |
0.012424 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-speedFails4_true-termination.c |
inf |
0.013053 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_a.08.c |
n^1 |
0.010960 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Flip.c |
inf |
0.011421 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___AlternKonv.c |
inf |
0.016571 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Choose.c |
inf |
0.010547 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___PodelskiRybalchenko-VMCAI2004-Ex1_true-termination.c |
n^1 |
0.022132 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___speedDis2.c |
n^1 |
0.012645 |
| Sinn_2016___cBench_s_SFD_process.c |
n^1 |
0.020005 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Toulouse-BranchesToLoop_true-termination.c |
inf |
0.011619 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___cousot9.c |
n^2 |
0.015232 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Benghazi_true-termination.c |
inf |
0.010459 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex3.06_false-termination.c |
inf |
0.011881 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___speedSingleSingle.c |
n^1 |
0.011823 |
| Flores-Montoya_2017___examples_from_literature___WTC_V2___speedpldi2.c |
inf |
0.012460 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChawdharyCookGulwaniSagivYang-ESOP2008-aaron12_true-termination.c |
inf |
0.012410 |
| Flores-Montoya_2017___examples_from_literature___Loopus___Loopus2015_ex1.c |
n^1 |
0.015970 |
| Sinn_2016___cBench_sendMTFValues.c |
n^1 |
0.085277 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex3.02_false-termination.c |
inf |
0.009148 |
| Sinn_2016___cBench_render_ht.c |
n^1 |
0.012767 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Bangalore_true-termination.c |
inf |
0.009802 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.06_false-termination.c |
inf |
0.010128 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Ex01.c |
inf |
0.008630 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Piecewise_true-termination.c |
inf |
0.018447 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Masse-VMCAI2014-Ex6_true-termination.c |
n^2 |
0.014646 |
| Flores-Montoya_2017___Adapted_from_Stroeder_15___Masse-VMCAI2014-Fig1b_true-termination.c |
inf |
0.011798 |