file	crs_time	pubs_time	ub
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.17.c	0.07400000000000001	0.10800000000000001	n^2
Flores-Montoya_2017___examples_from_literature___WTC_V2___speedDis2.c	0.060000000000000005	0.07	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___Ben-Amram-LMCS2010-Ex2.3_true-termination.c	0.10400000000000001	0.066	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___HeizmannHoenickeLeikePodelski-ATVA2013-Fig6_true-termination.c	0.044000000000000004	0.018000000000000002	n^1
Sinn_2016___cBench_zwritehexstring_at.c	1.094	0.129	n^2
Flores-Montoya_2017___Adapted_from_Stroeder_15___Marbie1.c	3.0860000000000003	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaA5.c	0.044000000000000004	0.02	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_c.07.c	0.049	0.038000000000000006	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.04_false-termination.c	2.1010000000000004	0	inf-verymax
Flores-Montoya_2017___examples_from_literature___WTC_V2___realheapsort_step2.c	0.7180000000000001	0.796	n^2
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Fig1_true-termination.c	1.385	0.12100000000000001	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_ex3a.c	5.098000000000001	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex3.01_true-termination.c	0.111	0.060000000000000005	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___Flip2.c	2.6380000000000003	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___ComplInterv.c	3.0900000000000003	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___Swingers.c	2.1750000000000003	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex3.08_true-termination.c	0.12400000000000001	0.063	n^1
Flores-Montoya_2017___examples_from_literature___C4B_examples___t13.c	0.059000000000000004	0.046000000000000006	n^2
Flores-Montoya_2017___Adapted_from_Stroeder_15___Choose.c	3.1980000000000004	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___Fibonacci.c	6.785	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.17_false-termination.c	3.302	0	inf-verymax
Flores-Montoya_2017___examples_from_literature___ABC___jama_ex5.c	0.085	0.08700000000000001	n^2
Flores-Montoya_2017___Adapted_from_Stroeder_15___Ex07.c	0.028	0	inf-verymax
Flores-Montoya_2017___examples_from_literature___WTC_V2___aaron2.c	0.049	0.05	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex3.10_true-termination.c	0.047	0.028	n^1
Flores-Montoya_2017___examples_from_literature___C4B_examples___t27.c	0.067	0.063	n^1
Flores-Montoya_2017___examples_from_literature___Other___ex_paper3.c	0.07200000000000001	0.094	inf-maximize_failed
Flores-Montoya_2017___Adapted_from_Stroeder_15___MirrorInterv.c	5.438000000000001	0	inf-verymax
Flores-Montoya_2017___examples_from_literature___WTC_V2___rank1.c	0.255	0.043000000000000003	inf-no_rf
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex1.03_true-termination.c	0.045000000000000005	0.016	log(n)^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___CookSeeZuleger-TACAS2013-Fig8a_true-termination.c	0.063	0.025	n^1
Flores-Montoya_2017___examples_from_literature___WTC_V2___aaron3.c	0.17800000000000002	0.158	inf-maximize_failed
Flores-Montoya_2017___Adapted_from_Stroeder_15___MinusMin.c	0.08	0.10500000000000001	n^1*log(n)^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___LeikeHeizmann-TACAS2014-Ex1_true-termination.c	0.058	0.049	n^1
Flores-Montoya_2017___examples_from_literature___WTC_V2___while2.c	0.069	0.083	n^2
Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Bangalore_v2_false-termination.c	2.083	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_java_Break.c	0.045000000000000005	0.021	1
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex3.05_true-termination.c	0.19	0.096	n^1
Sinn_2016___CPU2006_Perl_scan_vstring.c	0.117	0.12100000000000001	inf-no_rf
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.04.c	0.042	0.015000000000000001	log(n)^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChooseLife.c	2.5500000000000003	0	inf-verymax
Sinn_2016___CPU2006_ParseFile.c	17.429000000000002	4.04	inf-failed
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaA6.c	0.047	0.024	n^1
Flores-Montoya_2017___examples_from_literature___Loopus___Loopus2015_big.c	0.115	0.9460000000000001	n^2
Flores-Montoya_2017___Adapted_from_Stroeder_15___aaron3_true-termination.c	0.47800000000000004	0.23700000000000002	inf-maximize_failed
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaC3.c	0.066	0.068	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___BrockschmidtCookFuhs-CAV2013-Fig1_true-termination.c	0.066	0.08800000000000001	n^2
Flores-Montoya_2017___examples_from_literature___WTC_V2___speedDis1.c	0.067	0.09300000000000001	n^2
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.19_true-termination.c	0.08700000000000001	0.046000000000000006	n^1
Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Hanoi_2vars_false-termination.c	3.0970000000000004	0	inf-verymax
Flores-Montoya_2017___examples_from_literature___WTC_V2___random2d.c	0.162	299.8534657989624	timeout
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaC9.c	0.061000000000000006	0.055	inf-maximize_failed
Flores-Montoya_2017___Adapted_from_Stroeder_15___NO_24.c	1.3230000000000002	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChawdharyCookGulwaniSagivYang-ESOP2008-aaron12_true-termination.c	3.1220000000000003	0	inf-verymax
Flores-Montoya_2017___examples_from_literature___ABC___textbook_ex1.c	0.045000000000000005	0.025	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_a.04.c	0.045000000000000005	0.025	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-ndecr_true-termination.c	0.042	0.018000000000000002	n^1
Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Hanoi_3vars_false-termination.c	7.244000000000001	0	inf-verymax
Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_popl10_sequential_single.c	0.055	0.05	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___WhileNested.c	3.04	0	inf-verymax
Flores-Montoya_2017___examples_from_literature___WTC_V2___speedFails3.c	5.831	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___GCD.c	9.759	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.08_true-termination.c	0.07400000000000001	0.047	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___Ex03.c	0.02	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___PodelskiRybalchenko-TACAS2011-Fig1_true-termination.c	0.045000000000000005	0.015000000000000001	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-while2_true-termination.c	0.066	0.082	n^2
Flores-Montoya_2017___Adapted_from_Stroeder_15___UpAndDown.c	3.612	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.15.c	0.059000000000000004	0.041	n^1
Flores-Montoya_2017___examples_from_literature___WTC_V2___sipmamergesort.c	12.340000000000002	0	inf-verymax
Sinn_2016___CPU2006_ApplyBndRobin.c	5.2700000000000005	47.36000000000001	inf-no_rf
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.14_false-termination.c	3.1980000000000004	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_a.01.c	0.07500000000000001	0.08	n^2
Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Bangalore_false-termination.c	2.063	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex3.02_false-termination.c	2.8230000000000004	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___BradleyMannaSipma-CAV2005-Fig1-modified_false-termination.c	2.224	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaA4.c	0.042	0.019000000000000003	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_java_Sequence.c	0.08	0.07100000000000001	n^1
Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_pldi09_fig4_2.c	0.08800000000000001	0.08700000000000001	n^1*log(n)^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaB16.c	0.061000000000000006	0.049	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaB4.c	0.043000000000000003	0.016	log(n)^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_ex2.c	16.968000000000004	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.06_false-termination.c	3.4840000000000004	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex1.04_true-termination.c	0.043000000000000003	0.018000000000000002	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___Et4.c	3.741	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___MirrorIntervSim.c	12.291	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.18_true-termination.c	0.24700000000000003	0.10400000000000001	n^1
Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___McCarthy91_Iteration_true-termination.c	0.17700000000000002	0.05	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___Urban-WST2013-Fig1_false-termination.c	2.031	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___WhileFalse_true-termination.c	0.037000000000000005	0.003	1
Flores-Montoya_2017___examples_from_literature___WTC_V2___terminatorbubble.c	0.12300000000000001	0.24200000000000002	n^2
Flores-Montoya_2017___examples_from_literature___C4B_examples___t11.c	0.066	0.094	n^2
Flores-Montoya_2017___Adapted_from_Stroeder_15___Even.c	3.055	0	inf-verymax
Flores-Montoya_2017___examples_from_literature___Loopus___Loopus2015_original.c	0.08800000000000001	0.397	n^2
Flores-Montoya_2017___examples_from_literature___Loopus___Loopus2014_ex2.c	0.067	0.084	n^2
Flores-Montoya_2017___examples_from_literature___WTC_V2___sipmabubble.c	0.07400000000000001	0.132	n^2
Flores-Montoya_2017___Adapted_from_Stroeder_15___AlternDiv.c	2.1630000000000003	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___WhileTrue.c	3.0370000000000004	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___2Nested_true-termination.c	0.099	0.053000000000000005	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___Narrowing.c	6.127000000000001	0	inf-verymax
Flores-Montoya_2017___examples_from_literature___WTC_V2___easy2.c	0.044000000000000004	0.027000000000000003	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___BrockschmidtCookFuhs-CAV2013-Fig9a_true-termination.c	0.084	0.10500000000000001	n^2
Flores-Montoya_2017___Adapted_from_Stroeder_15___Waldkirch_true-termination.c	0.041	0.011000000000000001	1
Flores-Montoya_2017___examples_from_literature___C4B_examples___t07.c	0.055	0.046000000000000006	inf-maximize_failed
Flores-Montoya_2017___Adapted_from_Stroeder_15___Loop.c	0.028	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___NonTermination2_false-termination.c	3.3200000000000003	0	inf-verymax
Flores-Montoya_2017___examples_from_literature___C4B_examples___gcd.c	0.057	0.060000000000000005	n^2
Flores-Montoya_2017___Adapted_from_Stroeder_15___Lobnya-Boolean-Reordered_true-termination.c	0.17800000000000002	0.801	inf-maximize_failed
Flores-Montoya_2017___Adapted_from_Stroeder_15___Masse-VMCAI2014-Ex6_true-termination.c	0.058	0.055	inf-maximize_failed
Flores-Montoya_2017___Adapted_from_Stroeder_15___collatz.c	4.085000000000001	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___CookSeeZuleger-TACAS2013-Fig8a-modified_true-termination.c	0.07300000000000001	0.037000000000000005	n^1
Sinn_2016___cBench_render_ht.c	0.101	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___DivMinus2.c	0.08600000000000001	0.114	n^2
Flores-Montoya_2017___examples_from_literature___WTC_V2___sipma91.c	1.143	0.35700000000000004	n^2
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex1.02_true-termination.c	0.048	0.021	n^1
Sinn_2016___cBench_send_tree.c	0.387	10.293000000000001	n^2
Flores-Montoya_2017___Adapted_from_Stroeder_15___Ex04.c	3.043	0	inf-verymax
Sinn_2016___CPU2006_asctoeg.c	0.098	0.017	inf-failed
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex1.01_true-termination.c	2.3890000000000002	0	inf-verymax
Flores-Montoya_2017___examples_from_literature___Other___ex_paper1.c	0.132	0.343	n^2
Sinn_2016___CPU2006_Configure.c	0.28900000000000003	0.49800000000000005	inf-maximize_failed
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-Fig2a_true-termination.c	0.10300000000000001	0.257	n^2*log(n)^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-random1d_true-termination.c	0.060000000000000005	0.05	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___Piecewise_true-termination.c	0.07600000000000001	0.054000000000000006	inf-maximize_failed
Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_popl10_fig2_2.c	0.062000000000000006	0.07100000000000001	n^1
Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_pldi09_fig4_5.c	0.37300000000000005	1.229	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex3.09_true-termination.c	0.30500000000000005	0.08800000000000001	n^1
Flores-Montoya_2017___examples_from_literature___WTC_V2___sipmamergesort2.c	17.39	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___genady_true-termination.c	0.043000000000000003	0.022000000000000002	1
Flores-Montoya_2017___Adapted_from_Stroeder_15___NO_21.c	0.028	0	inf-verymax
Flores-Montoya_2017___examples_from_literature___WTC_V2___speedFails2.c	3.0810000000000004	0	inf-verymax
Flores-Montoya_2017___examples_from_literature___Loopus___Loopus2011_ex1.c	0.14500000000000002	1.002	inf-maximize_failed
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-speedpldi4_true-termination.c	0.07300000000000001	0.07600000000000001	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___WhileIncr.c	3.0690000000000004	0	inf-verymax
Flores-Montoya_2017___examples_from_literature___C4B_examples___t62.c	0.07100000000000001	0.011000000000000001	inf-failed
Flores-Montoya_2017___Adapted_from_Stroeder_15___Velroyen_false-termination.c	12.262	0	inf-verymax
Flores-Montoya_2017___examples_from_literature___ABC___textbook_ex4.c	0.07600000000000001	0.10800000000000001	n^2
Flores-Montoya_2017___Adapted_from_Stroeder_15___PodelskiRybalchenko-VMCAI2004-Ex2_true-termination.c	2.39	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-wcet2_true-termination.c	0.085	0.07700000000000001	n^1
Flores-Montoya_2017___examples_from_literature___WTC_V2___speedpldi4.c	0.08	0.07200000000000001	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.21_true-termination.c	1.225	0.030000000000000002	n^1
Flores-Montoya_2017___examples_from_literature___WTC_V2___catmouse.c	3.2460000000000004	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_a.10.c	0.08600000000000001	0.049	n^1
Flores-Montoya_2017___examples_from_literature___C4B_examples___knuth_morris_pratt.c	0.132	0.132	n^1
Sinn_2016___cBench_PackBitsEncode.c	0.095	0	inf-verymax
Flores-Montoya_2017___examples_from_literature___WTC_V2___real2.c	5.2250000000000005	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___McCarthyIterative.c	0.161	0.05	n^1
Flores-Montoya_2017___examples_from_literature___WTC_V2___easy1.c	0.09200000000000001	0.17800000000000002	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaB14.c	0.052000000000000005	0.026000000000000002	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___NonTerminationSimple6_false-termination.c	3.052	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.18.c	0.061000000000000006	0.047	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___AlternKonv.c	2.5330000000000004	0	inf-verymax
Flores-Montoya_2017___examples_from_literature___WTC_V2___speedSimpleMultipleDep.c	0.069	0.099	n^2
Flores-Montoya_2017___examples_from_literature___WTC_V2___terminate.c	0.049	0.028	n^1
Sinn_2016___cBench_hc_compute.c	0.21400000000000002	0.029	inf-failed
Flores-Montoya_2017___examples_from_literature___WTC_V2___perfect.c	0.17	0.227	n^2
Flores-Montoya_2017___Adapted_from_Stroeder_15___UpAndDownIneq.c	4.1240000000000006	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___Madrid_false-termination.c	0.013000000000000001	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___Copenhagen_true-termination.c	0.046000000000000006	0.02	n^1
Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_popl10_simple_multiple.c	0.068	0.10500000000000001	n^2
Flores-Montoya_2017___Adapted_from_Stroeder_15___Toulouse-MultiBranchesToLoop_true-termination.c	0.1	0.066	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___WhileIncrPart.c	3.153	0	inf-verymax
Flores-Montoya_2017___examples_from_literature___WTC_V2___perfect2.c	0.163	0.21100000000000002	n^2
Flores-Montoya_2017___Adapted_from_Stroeder_15___Bangalore_true-termination.c	0.05	0.022000000000000002	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___LeikeHeizmann-WST2014-Ex5_false-termination.c	3.24	0	inf-verymax
Flores-Montoya_2017___examples_from_literature___ABC___textbook_ex2.c	0.07	0.07800000000000001	n^2
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.12.c	0.066	0.068	n^1
Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Bangalore_v4_true-termination.c	0.05	0.02	log(n)^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___BradleyMannaSipma-CAV2005-Fig1_true-termination.c	0.08800000000000001	0.064	n^2
Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_popl10_fig2_1.c	0.067	0.097	n^2
Flores-Montoya_2017___examples_from_literature___WTC_V2___heapsort.c	0.502	0.394	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___Ex06.c	0.030000000000000002	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_a.05.c	0.045000000000000005	0.024	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-exmini_true-termination.c	0.049	0.029	n^1
Flores-Montoya_2017___examples_from_literature___C4B_examples___t08.c	0.054000000000000006	0.045000000000000005	inf-maximize_failed
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChawdharyCookGulwaniSagivYang-ESOP2008-aaron4_true-termination.c	1.905	62.666000000000004	error
Flores-Montoya_2017___examples_from_literature___C4B_examples___t28.c	0.069	0.094	inf-maximize_failed
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_a.08.c	0.05	0.025	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-Fig1_true-termination.c	0.24900000000000003	0.044000000000000004	inf-no_rf
Flores-Montoya_2017___examples_from_literature___ABC___jama_ex7.c	0.069	0.10400000000000001	n^2
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.01.c	0.046000000000000006	0.023000000000000003	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_c.08.c	0.07700000000000001	0.082	n^2
Flores-Montoya_2017___examples_from_literature___WTC_V2___speedSingleSingle.c	0.048	0.031000000000000003	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_c.02.c	0.07600000000000001	0.085	n^2
Flores-Montoya_2017___examples_from_literature___WTC_V2___serpent.c	0.20800000000000002	0.013000000000000001	inf-failed
Flores-Montoya_2017___Adapted_from_Stroeder_15___Benghazi_true-termination.c	2.123	0.07100000000000001	n^1
Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Cairo_step2_false-termination.c	3.047	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___NonTerminationSimple5_false-termination.c	2.079	0	inf-verymax
Flores-Montoya_2017___examples_from_literature___WTC_V2___speedFails4.c	0.234	0.07500000000000001	n^1
Sinn_2016___cBench_inflated_stored.c	0.117	0.24500000000000002	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___TrueDiv.c	3.0740000000000003	0	inf-verymax
Sinn_2016___cBench_encode_mcu_AC_refine.c	1.1520000000000001	0.07	inf-failed
Flores-Montoya_2017___examples_from_literature___WTC_V2___random1d.c	0.062000000000000006	0.05	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___PodelskiRybalchenko-LICS2004-Fig1_true-termination.c	0.07600000000000001	0.07	n^1*log(n)^1
Flores-Montoya_2017___examples_from_literature___WTC_V2___counterex1b.c	0.17700000000000002	0.013000000000000001	inf-failed
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_easySum.c	0.052000000000000005	0.026000000000000002	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___GCD2.c	5.047000000000001	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_c.01_assume.c	0.07400000000000001	0.064	n^1*log(n)^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___DivMinus.c	0.047	0.026000000000000002	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___Lcm.c	6.753	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___Sunset.c	16.529000000000003	0	inf-verymax
Flores-Montoya_2017___examples_from_literature___WTC_V2___realheapsort.c	1.3590000000000002	3.116	n^2*log(n)^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaC1.c	0.084	0.07	n^1*log(n)^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___MinusUserDefined.c	0.079	0.12300000000000001	n^1*log(n)^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___ConvLower.c	0.017	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Hanoi_plus_false-termination.c	4.667000000000001	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex3.04_true-termination.c	0.14100000000000001	0.047	n^1
Flores-Montoya_2017___examples_from_literature___WTC_V2___insertsort.c	0.083	0.136	n^2
Flores-Montoya_2017___examples_from_literature___WTC_V2___perfect1.c	0.171	0.227	n^2
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-random2d_true-termination.c	0.14100000000000001	5.343000000000001	1
Flores-Montoya_2017___examples_from_literature___WTC_V2___wcet2.c	0.08800000000000001	0.07800000000000001	n^1
Flores-Montoya_2017___examples_from_literature___WTC_V2___counterex1a.c	45.149	254.97819854997704	timeout
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.13.c	0.07200000000000001	0.10300000000000001	n^2
Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Copenhagen_disj_true-termination.c	17.149	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-complex_true-termination.c	1.155	0.24700000000000003	inf-maximize_failed
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_ex3b.c	8.247000000000002	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaC2.c	0.065	0.059000000000000004	n^2
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaB11.c	0.066	0.083	n^1*log(n)^1
Flores-Montoya_2017___examples_from_literature___WTC_V2___ndecr.c	0.045000000000000005	0.019000000000000003	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___Parallel_true-termination.c	0.064	0.046000000000000006	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___Flip.c	3.875	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-terminate_true-termination.c	0.051000000000000004	0.029	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.16.c	0.069	0.07100000000000001	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___NonTerminationSimple3_false-termination.c	2.064	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.03_false-termination.c	2.0730000000000004	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaB3.c	0.052000000000000005	0.022000000000000002	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___gcd1_true-termination.c	0.095	0.095	n^2
Flores-Montoya_2017___Adapted_from_Stroeder_15___NO_22.c	3.3390000000000004	0	inf-verymax
Sinn_2016___cBench_sendMTFValues.c	0.47500000000000003	0.887	inf-no_rf
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex4.01_true-termination.c	3.729	0.267	n^1
Flores-Montoya_2017___examples_from_literature___WTC_V2___realshellsort.c	0.29400000000000004	0.189	inf-no_rf
Flores-Montoya_2017___examples_from_literature___Other___ex_paper2.c	0.07100000000000001	0.085	n^2
Flores-Montoya_2017___Adapted_from_Stroeder_15___HeizmannHoenickeLeikePodelski-ATVA2013-Fig8_true-termination.c	0.052000000000000005	0.02	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___Ex08.c	4.2010000000000005	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-speedpldi2_true-termination.c	0.082	0.08700000000000001	n^1*log(n)^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaB7.c	0.049	0.027000000000000003	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaC10.c	2.048	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaA9.c	0.061000000000000006	0.027000000000000003	n^1
Flores-Montoya_2017___examples_from_literature___C4B_examples___t19.c	0.058	0.047	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___DoubleNeg.c	3.06	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaA7.c	0.052000000000000005	0.027000000000000003	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___GCD4.c	0.094	0.11900000000000001	n^2
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.11.c	0.07200000000000001	0.12200000000000001	n^1*log(n)^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_fermat.c	1.1740000000000002	0.887	inf-maximize_failed
Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Singapore_v1_false-termination.c	3.1170000000000004	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___AlternDivWidening.c	5.312	0	inf-verymax
Flores-Montoya_2017___examples_from_literature___C4B_examples___t10.c	0.051000000000000004	0.031000000000000003	n^1
Sinn_2016___cBench_cf_decode_eol.c	0.41500000000000004	3.2460000000000004	inf-maximize_failed
Flores-Montoya_2017___Adapted_from_Stroeder_15___Thun_true-termination.c	1.217	0.029	n^1
Flores-Montoya_2017___examples_from_literature___WTC_V2___realheapsort_step1.c	0.09000000000000001	0.17600000000000002	n^1*log(n)^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___Ex05.c	0.013000000000000001	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.09-no-inv_assume.c	0.082	0.08700000000000001	n^1*log(n)^1
Sinn_2016___CPU2006_local_alloc.c	0.162	0.167	n^2
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-wise_true-termination.c	0.08700000000000001	0.045000000000000005	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___easy2_true-termination.c	0.044000000000000004	0.026000000000000002	n^1
Flores-Montoya_2017___examples_from_literature___WTC_V2___speedFails1.c	2.092	0	inf-verymax
Flores-Montoya_2017___examples_from_literature___Loopus___Loopus2014_ex1.c	0.115	0.192	inf-no_rf
Sinn_2016___cBench_cryptRandWriteFile.c	1.1110000000000002	0.125	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaB6.c	0.044000000000000004	0.02	n^1
Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___2Nested_false-termination.c	3.0930000000000004	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___BrockschmidtCookFuhs-CAV2013-Introduction_true-termination.c	0.054000000000000006	0.023000000000000003	n^1
Flores-Montoya_2017___examples_from_literature___WTC_V2___rsd.c	0.08800000000000001	0.11	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___ComplInterv3.c	3.447	0	inf-verymax
Flores-Montoya_2017___examples_from_literature___WTC_V2___perfectg.c	0.164	0.223	n^2
Flores-Montoya_2017___Adapted_from_Stroeder_15___NonTermination4_false-termination.c	2.051	0	inf-verymax
Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_popl10_nested_multiple.c	0.132	0.4	n^2
Flores-Montoya_2017___Adapted_from_Stroeder_15___CookSeeZuleger-TACAS2013-Fig7a_true-termination.c	0.069	0.07600000000000001	inf-maximize_failed
Flores-Montoya_2017___Adapted_from_Stroeder_15___aaron2_true-termination.c	0.052000000000000005	0.048	n^1
Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Mysore_false-termination.c	3.059	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_c.01-no-inv.c	0.09300000000000001	0.09200000000000001	n^1*log(n)^1
Flores-Montoya_2017___examples_from_literature___Loopus___Loopus2015_ex1.c	0.066	0.099	n^2
Flores-Montoya_2017___Adapted_from_Stroeder_15___WhileSingle.c	0.02	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___LeikeHeizmann-TACAS2014-Ex9_true-termination.c	0.066	0.055	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___Factorial.c	5.105	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___NO_03.c	0.14100000000000001	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___UrbanMine-ESOP2014-Fig3_true-termination.c	0.171	0.15600000000000003	inf-no_rf
Flores-Montoya_2017___Adapted_from_Stroeder_15___Overflow.c	0.042	0.015000000000000001	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.07_true-termination.c	0.29300000000000004	0.044000000000000004	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.05.c	0.049	0.022000000000000002	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___BradleyMannaSipma-ICALP2005-Fig1_true-termination.c	3.2670000000000003	0.234	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-speedFails4_true-termination.c	0.188	0.07300000000000001	n^1
Flores-Montoya_2017___examples_from_literature___WTC_V2___rank3.c	0.803	0.129	inf-no_rf
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_c.03.c	0.07	0.098	n^1
Sinn_2016___CPU2006_load_mems.c	0.14800000000000002	0.07800000000000001	inf-no_rf
Flores-Montoya_2017___Adapted_from_Stroeder_15___AlternDivWide.c	2.7070000000000003	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___Masse-VMCAI2014-Fig1b_true-termination.c	3.72	0	inf-verymax
Sinn_2016___CPU2006_XNU.c	0.115	0.931	n^2
Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Cairo_nondet_false-termination.c	3.0740000000000003	0	inf-verymax
Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_popl10_simple_single.c	0.05	0.032	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex3.06_false-termination.c	10.019	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.10.c	0.065	0.08600000000000001	n^2
Flores-Montoya_2017___Adapted_from_Stroeder_15___NonTerminationSimple9_false-termination.c	2.0410000000000004	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.15_false-termination.c	2.0980000000000003	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.02_false-termination.c	3.111	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___Urban-WST2013-Fig2-modified1000_true-termination.c	1.0990000000000002	0.055	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-speedpldi3_true-termination.c	0.07200000000000001	0.099	n^2
Flores-Montoya_2017___examples_from_literature___WTC_V2___wcet1.c	0.07600000000000001	0.03900000000000001	inf-no_rf
Flores-Montoya_2017___Adapted_from_Stroeder_15___PodelskiRybalchenko-LICS2004-Fig2-TACAS2011-Fig3_true-termination.c	2.7150000000000003	1.3940000000000001	n^2
Flores-Montoya_2017___examples_from_literature___WTC_V2___nestedLoop.c	0.385	0.12000000000000001	inf-no_rf
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChawdharyCookGulwaniSagivYang-ESOP2008-aaron6_true-termination.c	0.07100000000000001	0.083	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___LeikeHeizmann-TACAS2014-Fig1_true-termination.c	0.09300000000000001	0.054000000000000006	n^1
Flores-Montoya_2017___examples_from_literature___WTC_V2___gcd.c	0.09300000000000001	0.064	n^2
Flores-Montoya_2017___examples_from_literature___ABC___jama_ex1.c	0.07	0.082	n^2
Flores-Montoya_2017___Adapted_from_Stroeder_15___GulavaniGulwani-CAV2008-Fig1b_true-termination.c	0.060000000000000005	0.07300000000000001	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex3.03_true-termination.c	6.434	1.235	inf-maximize_failed
Flores-Montoya_2017___Adapted_from_Stroeder_15___Log.c	0.052000000000000005	0.038000000000000006	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___LeikeHeizmann-WST2014-Ex6_false-termination.c	3.1590000000000003	0	inf-verymax
Flores-Montoya_2017___examples_from_literature___ABC___jama_ex4.c	0.08800000000000001	0.164	n^2
Flores-Montoya_2017___Adapted_from_Stroeder_15___IntPath.c	0.043000000000000003	0.011000000000000001	inf-no_rf
Flores-Montoya_2017___Adapted_from_Stroeder_15___Nyala-2lex_true-termination.c	0.058	0.054000000000000006	inf-maximize_failed
Flores-Montoya_2017___Adapted_from_Stroeder_15___CookSeeZuleger-TACAS2013-Fig7b_true-termination.c	0.131	0.319	inf-maximize_failed
Flores-Montoya_2017___Adapted_from_Stroeder_15___WhileNestedOffset.c	3.043	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___NO_00.c	0.028	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.06.c	0.047	0.026000000000000002	n^1
Flores-Montoya_2017___examples_from_literature___WTC_V2___nested_loop.c	0.37400000000000005	0.12200000000000001	inf-no_rf
Flores-Montoya_2017___examples_from_literature___WTC_V2___loops.c	0.15000000000000002	0.07300000000000001	n^1*log(n)^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.09_assume.c	0.061000000000000006	0.081	n^1*log(n)^1
Flores-Montoya_2017___examples_from_literature___WTC_V2___realbubble.c	0.10700000000000001	0.20900000000000002	n^2
Flores-Montoya_2017___Adapted_from_Stroeder_15___min_rf_true-termination.c	0.08600000000000001	0.15600000000000003	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___KroeningSharyginaTsitovichWintersteiger-CAV2010-Ex_true-termination.c	0.045000000000000005	0.023000000000000003	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaB1.c	0.043000000000000003	0.019000000000000003	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.12_false-termination.c	3.4410000000000003	0	inf-verymax
Flores-Montoya_2017___examples_from_literature___C4B_examples___t47.c	0.055	0.04	n^1
Flores-Montoya_2017___examples_from_literature___WTC_V2___cousot9.c	0.060000000000000005	0.079	n^2
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenCookFuhsNimkarOHearn-TACAS2014-Introduction_false-termination.c	2.0490000000000004	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___NO_10.c	3.055	0	inf-verymax
Flores-Montoya_2017___examples_from_literature___WTC_V2___nd_loop.c	0.042	0.021	1
Flores-Montoya_2017___Adapted_from_Stroeder_15___NO_12.c	3.095	0	inf-verymax
Flores-Montoya_2017___examples_from_literature___WTC_V2___ax.c	0.07	0.08	n^2
Flores-Montoya_2017___Adapted_from_Stroeder_15___Urban-WST2013-Fig2_true-termination.c	1.066	0.054000000000000006	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.03_assume.c	0.043000000000000003	0.022000000000000002	n^1
Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_popl10_nested_single.c	0.05	0.032	n^1
Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_pldi09_fig4_4.c	0.07700000000000001	0.08	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___NonTerminationSimple4_false-termination.c	4.075	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___Middle.c	8.270000000000001	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___NO_02.c	0.036000000000000004	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.22_true-termination.c	1.2140000000000002	0.035	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___Cousot.c	3.059	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_java_AG313.c	0.054000000000000006	0.030000000000000002	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___NonTerminationSimple8_false-termination.c	3.2510000000000003	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___TwoFloatInterv.c	4.321000000000001	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.01_true-termination.c	0.09200000000000001	0.054000000000000006	n^1
Sinn_2016___cBench_subsetdump.c	0.188	0.18600000000000003	inf-no_rf
Flores-Montoya_2017___Adapted_from_Stroeder_15___GulwaniJainKoskinen-PLDI2009-Fig1_true-termination.c	3.1220000000000003	0	inf-verymax
Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_pldi09_fig1.c	0.064	0.07400000000000001	n^2
Flores-Montoya_2017___Adapted_from_Stroeder_15___HeizmannHoenickeLeikePodelski-ATVA2013-Fig9_true-termination.c	0.12200000000000001	0.03900000000000001	n^1
Flores-Montoya_2017___examples_from_literature___WTC_V2___wcet0.c	0.07800000000000001	0.037000000000000005	inf-no_rf
Flores-Montoya_2017___Adapted_from_Stroeder_15___Gothenburg_true-termination.c	0.12200000000000001	0.083	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___TelAviv-Amir-Minimum_true-termination.c	0.069	0.061000000000000006	n^1
Flores-Montoya_2017___examples_from_literature___ABC___jama_ex6.c	0.192	0.10600000000000001	inf-no_rf
Flores-Montoya_2017___examples_from_literature___C4B_examples___t16.c	2.128	0.081	n^2
Flores-Montoya_2017___examples_from_literature___WTC_V2___unperfect.c	0.167	0.21500000000000002	n^2
Sinn_2016___CPU2006_analyse_other.c	2.3270000000000004	2.865	inf-failed
Flores-Montoya_2017___Adapted_from_Stroeder_15___NO_04.c	6.165	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex3.07_true-termination.c	1.3960000000000001	0.18200000000000002	n^1*log(n)^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___Ex02.c	0.017	0	inf-verymax
Flores-Montoya_2017___examples_from_literature___WTC_V2___alain.c	0.10900000000000001	0.23900000000000002	inf-maximize_failed
Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Gothenburg_v2_true-termination.c	1.1860000000000002	0.05	n^1
Flores-Montoya_2017___examples_from_literature___WTC_V2___realselect.c	0.12100000000000001	0.131	n^2
Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Benghazi_nondet_true-termination.c	2.209	0.276	inf-maximize_failed
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaA1.c	0.062000000000000006	0.060000000000000005	n^2
Flores-Montoya_2017___examples_from_literature___WTC_V2___speedpldi3.c	0.07200000000000001	0.098	n^2
Flores-Montoya_2017___examples_from_literature___C4B_examples___t20.c	0.056	0.044000000000000004	inf-maximize_failed
Flores-Montoya_2017___examples_from_literature___ABC___jama_ex3.c	0.069	0.085	n^2
Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_pldi10_ex4.c	0.053000000000000005	0.04	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___ComplInterv2.c	2.0460000000000003	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___MinusBuiltIn.c	0.047	0.019000000000000003	log(n)^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.16_true-termination.c	0.08900000000000001	0.029	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-loops_true-termination.c	0.14600000000000002	0.07300000000000001	n^1*log(n)^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___NonTerminationSimple7_false-termination.c	2.056	0	inf-verymax
Flores-Montoya_2017___examples_from_literature___WTC_V2___exmini.c	0.053000000000000005	0.027000000000000003	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___Gauss.c	3.103	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___Masse-VMCAI2014-Fig1a_true-termination.c	0.057	0.051000000000000004	n^1*log(n)^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___NO_01.c	0.030000000000000002	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___Pure3Phase_true-termination.c	41.59286534000421	0.0	error
Flores-Montoya_2017___Adapted_from_Stroeder_15___4NestedWith3Variables_true-termination.c	8.497000000000002	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___Nested.c	0.07500000000000001	0.045000000000000005	1
Flores-Montoya_2017___Adapted_from_Stroeder_15___Avery-FLOPS2006-Table1_true-termination.c	0.068	0.09100000000000001	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___easy1_true-termination.c	0.084	0.18200000000000002	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___NO_23.c	6.143000000000001	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___Stockholm_true-termination.c	0.059000000000000004	0.028	n^1
Flores-Montoya_2017___examples_from_literature___WTC_V2___counterex1c.c	1.29	298.74481138701316	timeout
Flores-Montoya_2017___examples_from_literature___WTC_V2___speedpldi2.c	0.08	0.09100000000000001	n^1*log(n)^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.03-no-inv_assume.c	0.049	0.02	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_a.09_assume.c	0.045000000000000005	0.025	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___NoriSharma-FSE2013-Fig8_true-termination.c	0.067	0.10700000000000001	inf-maximize_failed
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_a.06.c	0.052000000000000005	0.032	n^1
Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Bangalore_v3_false-termination.c	2.0610000000000004	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.10_true-termination.c	0.045000000000000005	0.022000000000000002	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.13_true-termination.c	0.10300000000000001	0.052000000000000005	n^1
Flores-Montoya_2017___examples_from_literature___WTC_V2___speedSingleSingle2.c	0.07400000000000001	0.117	n^2
Flores-Montoya_2017___examples_from_literature___Other___exclusive_phases.c	0.09000000000000001	0.062000000000000006	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___MenloPark_true-termination.c	0.098	0.038000000000000006	n^1
Flores-Montoya_2017___examples_from_literature___Loopus___Loopus2015_ex2.c	0.08	0.161	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.07.c	0.052000000000000005	0.033	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-nestedLoop_true-termination.c	0.24700000000000003	0.09100000000000001	inf-no_rf
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_a.07.c	0.051000000000000004	0.032	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___WhilePart.c	2.032	0	inf-verymax
Flores-Montoya_2017___examples_from_literature___ABC___textbook_ex3.c	0.27	0.07500000000000001	inf-no_rf
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.11_false-termination.c	3.869	0	inf-verymax
Flores-Montoya_2017___examples_from_literature___Loopus___Loopus2011_ex2.c	19.866000000000003	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___NarrowKonv.c	0.20400000000000001	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___Et2.c	2.06	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-Fig2b_true-termination.c	0.675	0.09000000000000001	inf-no_rf
Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_pldi10_ex1.c	0.10500000000000001	0.134	n^2
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-rsd_true-termination.c	0.09200000000000001	0.09200000000000001	n^2
Flores-Montoya_2017___Adapted_from_Stroeder_15___PodelskiRybalchenko-TACAS2011-Fig2_true-termination.c	0.064	0.065	n^2
Flores-Montoya_2017___Adapted_from_Stroeder_15___LogMult.c	2.107	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___Mysore_true-termination.c	0.065	0.024	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___GulavaniGulwani-CAV2008-Fig1c_true-termination.c	0.048	0.025	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___ColonSipma-TACAS2001-Fig1_true-termination.c	0.049	0.029	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_java_Nested.c	0.327	0.07	1
Flores-Montoya_2017___Adapted_from_Stroeder_15___Cairo_true-termination.c	0.046000000000000006	0.015000000000000001	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-counterex1b_true-termination.c	0.19	0.012	inf-failed
Sinn_2016___cBench_set_color_ht.c	0.8340000000000001	0.082	inf-no_rf
Flores-Montoya_2017___examples_from_literature___WTC_V2___speedNestedMultiple.c	0.129	0.41000000000000003	n^2
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex1.05_true-termination.c	0.042	0.018000000000000002	n^1
Flores-Montoya_2017___examples_from_literature___WTC_V2___wise.c	0.081	0.048	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___DivWithoutMinus.c	6.204000000000001	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___Et1.c	0.15200000000000002	0.097	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___WhileTrue_false-termination.c	0.012	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___ComplxStruc.c	8.644	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___PodelskiRybalchenko-TACAS2011-Fig4_true-termination.c	0.060000000000000005	0.053000000000000005	inf-maximize_failed
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaA10.c	0.07500000000000001	0.043000000000000003	n^1
Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Singapore_v2_false-termination.c	3.1010000000000004	0	inf-verymax
Sinn_2016___cBench_noiseTickSize.c	0.07600000000000001	0.085	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChawdharyCookGulwaniSagivYang-ESOP2008-random1d_true-termination.c	0.058	0.049	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaB2.c	0.045000000000000005	0.019000000000000003	n^1
Flores-Montoya_2017___examples_from_literature___WTC_V2___aaron12.c	3.1020000000000003	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___LarrazOliverasRodriguez-CarbonellRubio-FMCAD2013-Fig1_true-termination.c	16.373	283.63974084602484	timeout
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.02.c	0.046000000000000006	0.027000000000000003	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.14.c	0.057	0.032	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___PodelskiRybalchenko-VMCAI2004-Ex1_true-termination.c	0.058	0.043000000000000003	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___GCD3.c	0.09100000000000001	0.117	n^2
Flores-Montoya_2017___Adapted_from_Stroeder_15___GopanReps-CAV2006-Fig1a_true-termination.c.c	0.08700000000000001	0.052000000000000005	1
Flores-Montoya_2017___examples_from_literature___C4B_examples___t15.c	0.09200000000000001	0.083	n^2
Flores-Montoya_2017___examples_from_literature___WTC_V2___relation1.c	0.03900000000000001	0.003	1
Flores-Montoya_2017___Adapted_from_Stroeder_15___HeizmannHoenickeLeikePodelski-ATVA2013-Fig4_true-termination.c	0.041	0.016	n^1
Flores-Montoya_2017___examples_from_literature___WTC_V2___speedSimpleMultiple.c	0.069	0.10700000000000001	n^2
Flores-Montoya_2017___Adapted_from_Stroeder_15___WhileDecr.c	0.046000000000000006	0.014	n^1
Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_popl10_simple_single_2.c	0.07	0.08900000000000001	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___GulavaniGulwani-CAV2008-Fig1a_true-termination.c	0.067	0.09200000000000001	n^1
Sinn_2016___cBench_s_SFD_process.c	2.923	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Singapore_plus_false-termination.c	3.068	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_ex1.c	0.041	0.015000000000000001	n^1
Flores-Montoya_2017___examples_from_literature___Loopus___Loopus2011_ex3.c	0.113	0.17	inf-no_rf
Flores-Montoya_2017___Adapted_from_Stroeder_15___NonTerminationSimple2_false-termination.c	3.068	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.20_true-termination.c	0.046000000000000006	0.021	n^1
Flores-Montoya_2017___examples_from_literature___C4B_examples___t30.c	0.101	0.053000000000000005	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_java_Continue1.c	0.07	0.049	1
Flores-Montoya_2017___Adapted_from_Stroeder_15___HeizmannHoenickeLeikePodelski-ATVA2013-Fig1_true-termination.c	0.055	0.024	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChawdharyCookGulwaniSagivYang-ESOP2008-aaron1_true-termination.c	0.14400000000000002	1.07	n^2
Flores-Montoya_2017___Adapted_from_Stroeder_15___CookSeeZuleger-TACAS2013-Fig8b_true-termination.c	0.085	0.04	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___NonTermination1_false-termination.c	3.06	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Singapore_true-termination.c	0.15000000000000002	0.054000000000000006	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-counterex1a_true-termination.c	44.929	255.19469915097952	timeout
Sinn_2016___cBench_bin_search_StepSize2.c	60.513000000000005	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___Marbie2.c	3.036	0	inf-verymax
Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_pldi10_ex3.c	0.049	0.022000000000000002	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___Pure2Phase_true-termination.c	0.056	0.049	inf-maximize_failed
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaC7.c	0.045000000000000005	0.027000000000000003	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChawdharyCookGulwaniSagivYang-ESOP2008-random2d_true-termination.c	0.135	5.324000000000001	1
Flores-Montoya_2017___Adapted_from_Stroeder_15___NO_13.c	4.981000000000001	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_flag.c	0.069	0.07200000000000001	n^1
Sinn_2016___CPU2006_SingleLinkCluster.c	0.12100000000000001	0.195	inf-no_rf
Flores-Montoya_2017___Adapted_from_Stroeder_15___PlusSwap.c	1.094	0.063	n^1
Flores-Montoya_2017___examples_from_literature___WTC_V2___rank2.c	0.157	0.49100000000000005	n^2*log(n)^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___LeikeHeizmann-TACAS2014-Ex7_true-termination.c	1.229	0.029	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___CookSeeZuleger-TACAS2013-Fig1_true-termination.c	0.061000000000000006	0.054000000000000006	inf-maximize_failed
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaB17.c	0.067	0.07300000000000001	n^1
Flores-Montoya_2017___examples_from_literature___WTC_V2___complex.c	1.157	0.24900000000000003	inf-maximize_failed
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaA8.c	0.044000000000000004	0.02	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___Ex01.c	3.0700000000000003	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-cousot9_true-termination.c	0.061000000000000006	0.07800000000000001	n^2
Flores-Montoya_2017___Adapted_from_Stroeder_15___NoriSharma-FSE2013-Fig7_true-termination.c	0.069	0.129	n^2
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaB15.c	0.059000000000000004	0.032	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___LeikeHeizmann-TACAS2014-Ex8_true-termination.c	0.057	0.044000000000000004	inf-maximize_failed
Flores-Montoya_2017___Adapted_from_Stroeder_15___Sequence.c	0.056	0.048	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___Toulouse-BranchesToLoop_true-termination.c	0.08800000000000001	0.068	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___Rotation180_false-termination.c	2.035	0	inf-verymax
Flores-Montoya_2017___examples_from_literature___WTC_V2___speedNestedMultipleDep.c	0.07100000000000001	0.10500000000000001	n^2
Flores-Montoya_2017___Adapted_from_Stroeder_15___LogAG.c	0.07200000000000001	0.084	n^1*log(n)^1
Flores-Montoya_2017___examples_from_literature___ABC___jama_ex2.c	0.07100000000000001	0.07700000000000001	n^2
Sinn_2016___CPU2006_xdr3dfcoord.c	1.3570000000000002	0.037000000000000005	inf-failed
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.09_true-termination.c	0.8170000000000001	0.35800000000000004	n^1