file	crs_time	cofloco_time	ub
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.17.c	0.07600000000000001	0.231	n^1
Flores-Montoya_2017___examples_from_literature___WTC_V2___speedDis2.c	0.066	0.18600000000000003	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___Ben-Amram-LMCS2010-Ex2.3_true-termination.c	0.10200000000000001	0.171	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___HeizmannHoenickeLeikePodelski-ATVA2013-Fig6_true-termination.c	0.043000000000000003	0.03900000000000001	n^1
Sinn_2016___cBench_zwritehexstring_at.c	1.088	0.36200000000000004	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___Marbie1.c	3.0860000000000003	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaA5.c	0.042	0.036000000000000004	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_c.07.c	0.057	0.08800000000000001	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.6970000000000001	0.521	n^2
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Fig1_true-termination.c	1.3840000000000001	0.20700000000000002	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_ex3a.c	5.101000000000001	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex3.01_true-termination.c	0.115	0.08600000000000001	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___Flip2.c	2.6420000000000003	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___ComplInterv.c	3.0940000000000003	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___Swingers.c	2.176	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex3.08_true-termination.c	0.12100000000000001	0.096	n^1
Flores-Montoya_2017___examples_from_literature___C4B_examples___t13.c	0.059000000000000004	0.084	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___Choose.c	3.2110000000000003	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___Fibonacci.c	6.783	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.17_false-termination.c	3.298	0	inf-verymax
Flores-Montoya_2017___examples_from_literature___ABC___jama_ex5.c	0.083	0.201	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.053000000000000005	0.060000000000000005	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex3.10_true-termination.c	0.049	0.062000000000000006	n^1
Flores-Montoya_2017___examples_from_literature___C4B_examples___t27.c	0.064	0.18400000000000002	n^1
Flores-Montoya_2017___examples_from_literature___Other___ex_paper3.c	0.07200000000000001	0.094	n^2
Flores-Montoya_2017___Adapted_from_Stroeder_15___MirrorInterv.c	5.430000000000001	0	inf-verymax
Flores-Montoya_2017___examples_from_literature___WTC_V2___rank1.c	0.25	0.158	inf
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex1.03_true-termination.c	0.046000000000000006	0.04	1
Flores-Montoya_2017___Adapted_from_Stroeder_15___CookSeeZuleger-TACAS2013-Fig8a_true-termination.c	0.061000000000000006	0.051000000000000004	n^1
Flores-Montoya_2017___examples_from_literature___WTC_V2___aaron3.c	0.17700000000000002	0.646	n^3
Flores-Montoya_2017___Adapted_from_Stroeder_15___MinusMin.c	0.07700000000000001	0.20500000000000002	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___LeikeHeizmann-TACAS2014-Ex1_true-termination.c	0.056	0.10600000000000001	n^1
Flores-Montoya_2017___examples_from_literature___WTC_V2___while2.c	0.064	0.165	n^2
Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Bangalore_v2_false-termination.c	2.0820000000000003	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_java_Break.c	0.05	0.036000000000000004	1
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex3.05_true-termination.c	0.189	0.17300000000000001	n^1
Sinn_2016___CPU2006_Perl_scan_vstring.c	0.12200000000000001	0.272	inf
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.04.c	0.04	0.025	1
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChooseLife.c	2.544	0	inf-verymax
Sinn_2016___CPU2006_ParseFile.c	17.339000000000002	282.7113384490148	timeout
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaA6.c	0.046000000000000006	0.04	n^1
Flores-Montoya_2017___examples_from_literature___Loopus___Loopus2015_big.c	0.10600000000000001	0.42300000000000004	n^2
Flores-Montoya_2017___Adapted_from_Stroeder_15___aaron3_true-termination.c	0.466	0.895	n^3
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaC3.c	0.064	0.17900000000000002	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___BrockschmidtCookFuhs-CAV2013-Fig1_true-termination.c	0.07100000000000001	0.328	n^2
Flores-Montoya_2017___examples_from_literature___WTC_V2___speedDis1.c	0.069	0.15100000000000002	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.19_true-termination.c	0.081	0.08	n^1
Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Hanoi_2vars_false-termination.c	3.0940000000000003	0	inf-verymax
Flores-Montoya_2017___examples_from_literature___WTC_V2___random2d.c	0.15600000000000003	0.43700000000000006	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaC9.c	0.061000000000000006	0.133	inf
Flores-Montoya_2017___Adapted_from_Stroeder_15___NO_24.c	1.324	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChawdharyCookGulwaniSagivYang-ESOP2008-aaron12_true-termination.c	3.124	0	inf-verymax
Flores-Montoya_2017___examples_from_literature___ABC___textbook_ex1.c	0.044000000000000004	0.043000000000000003	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_a.04.c	0.046000000000000006	0.042	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-ndecr_true-termination.c	0.042	0.037000000000000005	n^1
Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Hanoi_3vars_false-termination.c	7.2410000000000005	0	inf-verymax
Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_popl10_sequential_single.c	0.055	0.097	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___WhileNested.c	3.0370000000000004	0	inf-verymax
Flores-Montoya_2017___examples_from_literature___WTC_V2___speedFails3.c	5.768000000000001	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___GCD.c	9.819	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.08_true-termination.c	0.07700000000000001	0.083	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.041	0.030000000000000002	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-while2_true-termination.c	0.068	0.161	n^2
Flores-Montoya_2017___Adapted_from_Stroeder_15___UpAndDown.c	3.6170000000000004	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.15.c	0.063	0.07300000000000001	n^1
Flores-Montoya_2017___examples_from_literature___WTC_V2___sipmamergesort.c	12.299000000000001	0	inf-verymax
Sinn_2016___CPU2006_ApplyBndRobin.c	5.260000000000001	11.233	n^4
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.14_false-termination.c	3.201	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_a.01.c	0.07700000000000001	0.188	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.8280000000000003	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___BradleyMannaSipma-CAV2005-Fig1-modified_false-termination.c	2.2260000000000004	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaA4.c	0.046000000000000006	0.036000000000000004	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_java_Sequence.c	0.07800000000000001	0.095	1
Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_pldi09_fig4_2.c	0.083	0.166	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaB16.c	0.061000000000000006	0.10900000000000001	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaB4.c	0.041	0.027000000000000003	1
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_ex2.c	16.967000000000002	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.06_false-termination.c	3.4930000000000003	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex1.04_true-termination.c	0.042	0.04	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___Et4.c	3.744	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___MirrorIntervSim.c	12.262	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.18_true-termination.c	0.24800000000000003	0.18600000000000003	n^1
Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___McCarthy91_Iteration_true-termination.c	0.17700000000000002	0.17	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___Urban-WST2013-Fig1_false-termination.c	2.032	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___WhileFalse_true-termination.c	0.034	0.007	1
Flores-Montoya_2017___examples_from_literature___WTC_V2___terminatorbubble.c	0.131	0.444	n^2
Flores-Montoya_2017___examples_from_literature___C4B_examples___t11.c	0.067	0.15200000000000002	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___Even.c	3.052	0	inf-verymax
Flores-Montoya_2017___examples_from_literature___Loopus___Loopus2015_original.c	0.08800000000000001	0.377	n^2
Flores-Montoya_2017___examples_from_literature___Loopus___Loopus2014_ex2.c	0.069	0.128	n^2
Flores-Montoya_2017___examples_from_literature___WTC_V2___sipmabubble.c	0.07200000000000001	0.17900000000000002	n^2
Flores-Montoya_2017___Adapted_from_Stroeder_15___AlternDiv.c	2.165	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___WhileTrue.c	3.0380000000000003	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___2Nested_true-termination.c	0.095	0.083	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___Narrowing.c	6.131	0	inf-verymax
Flores-Montoya_2017___examples_from_literature___WTC_V2___easy2.c	0.043000000000000003	0.045000000000000005	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___BrockschmidtCookFuhs-CAV2013-Fig9a_true-termination.c	0.084	0.226	n^2
Flores-Montoya_2017___Adapted_from_Stroeder_15___Waldkirch_true-termination.c	0.043000000000000003	0.022000000000000002	1
Flores-Montoya_2017___examples_from_literature___C4B_examples___t07.c	0.056	0.09100000000000001	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___Loop.c	0.029	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___NonTermination2_false-termination.c	3.3190000000000004	0	inf-verymax
Flores-Montoya_2017___examples_from_literature___C4B_examples___gcd.c	0.058	0.17700000000000002	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___Lobnya-Boolean-Reordered_true-termination.c	0.17600000000000002	0.43100000000000005	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___Masse-VMCAI2014-Ex6_true-termination.c	0.057	0.167	n^2
Flores-Montoya_2017___Adapted_from_Stroeder_15___collatz.c	4.0840000000000005	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___CookSeeZuleger-TACAS2013-Fig8a-modified_true-termination.c	0.07100000000000001	0.07	n^1
Sinn_2016___cBench_render_ht.c	0.096	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___DivMinus2.c	0.08800000000000001	0.23800000000000002	n^1
Flores-Montoya_2017___examples_from_literature___WTC_V2___sipma91.c	1.1400000000000001	0.893	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex1.02_true-termination.c	0.044000000000000004	0.051000000000000004	n^1
Sinn_2016___cBench_send_tree.c	0.392	1.7360000000000002	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___Ex04.c	3.0370000000000004	0	inf-verymax
Sinn_2016___CPU2006_asctoeg.c	0.095	0.30800000000000005	inf
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex1.01_true-termination.c	2.39	0	inf-verymax
Flores-Montoya_2017___examples_from_literature___Other___ex_paper1.c	0.13	0.7170000000000001	n^2
Sinn_2016___CPU2006_Configure.c	0.28300000000000003	0.644	inf
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-Fig2a_true-termination.c	0.10500000000000001	1.2510000000000001	n^2
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-random1d_true-termination.c	0.068	0.07	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___Piecewise_true-termination.c	0.068	0.20600000000000002	inf
Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_popl10_fig2_2.c	0.061000000000000006	0.191	n^1
Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_pldi09_fig4_5.c	0.36500000000000005	0.5900000000000001	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex3.09_true-termination.c	0.29500000000000004	0.24400000000000002	n^1
Flores-Montoya_2017___examples_from_literature___WTC_V2___sipmamergesort2.c	17.421000000000003	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___genady_true-termination.c	0.045000000000000005	0.04	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.083	0	inf-verymax
Flores-Montoya_2017___examples_from_literature___Loopus___Loopus2011_ex1.c	0.14800000000000002	0.388	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-speedpldi4_true-termination.c	0.07500000000000001	0.15600000000000003	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___WhileIncr.c	3.068	0	inf-verymax
Flores-Montoya_2017___examples_from_literature___C4B_examples___t62.c	0.07100000000000001	0.08	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___Velroyen_false-termination.c	12.295000000000002	0	inf-verymax
Flores-Montoya_2017___examples_from_literature___ABC___textbook_ex4.c	0.07	0.27	n^2
Flores-Montoya_2017___Adapted_from_Stroeder_15___PodelskiRybalchenko-VMCAI2004-Ex2_true-termination.c	2.391	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-wcet2_true-termination.c	0.085	0.14600000000000002	n^1
Flores-Montoya_2017___examples_from_literature___WTC_V2___speedpldi4.c	0.07300000000000001	0.158	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.21_true-termination.c	1.2260000000000002	0.056	n^1
Flores-Montoya_2017___examples_from_literature___WTC_V2___catmouse.c	3.244	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_a.10.c	0.08600000000000001	0.08800000000000001	n^1
Flores-Montoya_2017___examples_from_literature___C4B_examples___knuth_morris_pratt.c	0.127	0.23600000000000002	n^1
Sinn_2016___cBench_PackBitsEncode.c	0.097	0	inf-verymax
Flores-Montoya_2017___examples_from_literature___WTC_V2___real2.c	5.1770000000000005	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___McCarthyIterative.c	0.157	0.166	n^1
Flores-Montoya_2017___examples_from_literature___WTC_V2___easy1.c	0.08700000000000001	0.222	1
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaB14.c	0.053000000000000005	0.05	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___NonTerminationSimple6_false-termination.c	3.055	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.18.c	0.062000000000000006	0.07600000000000001	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___AlternKonv.c	2.535	0	inf-verymax
Flores-Montoya_2017___examples_from_literature___WTC_V2___speedSimpleMultipleDep.c	0.066	0.231	n^2
Flores-Montoya_2017___examples_from_literature___WTC_V2___terminate.c	0.05	0.056	n^1
Sinn_2016___cBench_hc_compute.c	0.20900000000000002	0.893	inf
Flores-Montoya_2017___examples_from_literature___WTC_V2___perfect.c	0.167	0.9800000000000001	n^2
Flores-Montoya_2017___Adapted_from_Stroeder_15___UpAndDownIneq.c	4.162000000000001	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.044000000000000004	n^1
Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_popl10_simple_multiple.c	0.066	0.188	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___Toulouse-MultiBranchesToLoop_true-termination.c	0.098	0.094	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___WhileIncrPart.c	3.1420000000000003	0	inf-verymax
Flores-Montoya_2017___examples_from_literature___WTC_V2___perfect2.c	0.161	1.1320000000000001	n^2
Flores-Montoya_2017___Adapted_from_Stroeder_15___Bangalore_true-termination.c	0.052000000000000005	0.036000000000000004	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___LeikeHeizmann-WST2014-Ex5_false-termination.c	3.228	0	inf-verymax
Flores-Montoya_2017___examples_from_literature___ABC___textbook_ex2.c	0.07	0.18400000000000002	n^2
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.12.c	0.068	0.133	n^1
Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Bangalore_v4_true-termination.c	0.05	0.033	1
Flores-Montoya_2017___Adapted_from_Stroeder_15___BradleyMannaSipma-CAV2005-Fig1_true-termination.c	0.09100000000000001	0.201	n^1
Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_popl10_fig2_1.c	0.069	0.15100000000000002	n^1
Flores-Montoya_2017___examples_from_literature___WTC_V2___heapsort.c	0.508	0.262	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___Ex06.c	0.031000000000000003	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_a.05.c	0.045000000000000005	0.041	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-exmini_true-termination.c	0.052000000000000005	0.058	n^1
Flores-Montoya_2017___examples_from_literature___C4B_examples___t08.c	0.056	0.094	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChawdharyCookGulwaniSagivYang-ESOP2008-aaron4_true-termination.c	1.939	11.286000000000001	inf
Flores-Montoya_2017___examples_from_literature___C4B_examples___t28.c	0.07700000000000001	0.195	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_a.08.c	0.048	0.044000000000000004	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-Fig1_true-termination.c	0.24500000000000002	0.15300000000000002	inf
Flores-Montoya_2017___examples_from_literature___ABC___jama_ex7.c	0.07100000000000001	0.24800000000000003	n^2
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.01.c	0.051000000000000004	0.042	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_c.08.c	0.07400000000000001	0.171	n^2
Flores-Montoya_2017___examples_from_literature___WTC_V2___speedSingleSingle.c	0.048	0.04	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_c.02.c	0.07500000000000001	0.17900000000000002	n^2
Flores-Montoya_2017___examples_from_literature___WTC_V2___serpent.c	0.20900000000000002	0.14800000000000002	inf
Flores-Montoya_2017___Adapted_from_Stroeder_15___Benghazi_true-termination.c	2.1210000000000004	0.066	n^1
Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Cairo_step2_false-termination.c	3.048	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___NonTerminationSimple5_false-termination.c	2.0780000000000003	0	inf-verymax
Flores-Montoya_2017___examples_from_literature___WTC_V2___speedFails4.c	0.233	0.10400000000000001	n^1
Sinn_2016___cBench_inflated_stored.c	0.12000000000000001	0.7230000000000001	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___TrueDiv.c	3.087	0	inf-verymax
Sinn_2016___cBench_encode_mcu_AC_refine.c	1.1540000000000001	0.034	error
Flores-Montoya_2017___examples_from_literature___WTC_V2___random1d.c	0.065	0.07500000000000001	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___PodelskiRybalchenko-LICS2004-Fig1_true-termination.c	0.07400000000000001	0.14800000000000002	n^2
Flores-Montoya_2017___examples_from_literature___WTC_V2___counterex1b.c	0.17200000000000001	0.127	inf
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_easySum.c	0.047	0.041	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___GCD2.c	5.057	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_c.01_assume.c	0.07500000000000001	0.158	n^2
Flores-Montoya_2017___Adapted_from_Stroeder_15___DivMinus.c	0.048	0.051000000000000004	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___Lcm.c	6.759	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___Sunset.c	16.628	0	inf-verymax
Flores-Montoya_2017___examples_from_literature___WTC_V2___realheapsort.c	1.3550000000000002	3.5820000000000003	inf
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaC1.c	0.07500000000000001	0.14400000000000002	n^2
Flores-Montoya_2017___Adapted_from_Stroeder_15___MinusUserDefined.c	0.081	0.264	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___ConvLower.c	0.018000000000000002	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Hanoi_plus_false-termination.c	4.6610000000000005	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex3.04_true-termination.c	0.14200000000000002	0.096	n^1
Flores-Montoya_2017___examples_from_literature___WTC_V2___insertsort.c	0.085	0.332	n^2
Flores-Montoya_2017___examples_from_literature___WTC_V2___perfect1.c	0.165	0.9750000000000001	n^2
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-random2d_true-termination.c	0.14400000000000002	0.281	1
Flores-Montoya_2017___examples_from_literature___WTC_V2___wcet2.c	0.084	0.14500000000000002	n^1
Flores-Montoya_2017___examples_from_literature___WTC_V2___counterex1a.c	45.001000000000005	66.23200000000001	n^2
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.13.c	0.07100000000000001	0.219	n^1
Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Copenhagen_disj_true-termination.c	18.082	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-complex_true-termination.c	1.153	62.353	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_ex3b.c	8.24	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaC2.c	0.065	0.157	n^2
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaB11.c	0.066	0.23	n^1
Flores-Montoya_2017___examples_from_literature___WTC_V2___ndecr.c	0.044000000000000004	0.037000000000000005	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___Parallel_true-termination.c	0.057	0.10300000000000001	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___Flip.c	3.887	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-terminate_true-termination.c	0.046000000000000006	0.055	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.16.c	0.07	0.139	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___NonTerminationSimple3_false-termination.c	2.059	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.051000000000000004	0.038000000000000006	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___gcd1_true-termination.c	0.09100000000000001	0.225	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___NO_22.c	3.338	0	inf-verymax
Sinn_2016___cBench_sendMTFValues.c	0.47400000000000003	0.49700000000000005	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex4.01_true-termination.c	3.7310000000000003	0.458	n^1
Flores-Montoya_2017___examples_from_literature___WTC_V2___realshellsort.c	0.29700000000000004	0.47700000000000004	n^2
Flores-Montoya_2017___examples_from_literature___Other___ex_paper2.c	0.066	0.17700000000000002	n^2
Flores-Montoya_2017___Adapted_from_Stroeder_15___HeizmannHoenickeLeikePodelski-ATVA2013-Fig8_true-termination.c	0.056	0.035	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___Ex08.c	4.208	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-speedpldi2_true-termination.c	0.082	0.164	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaB7.c	0.047	0.062000000000000006	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaC10.c	2.0450000000000004	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaA9.c	0.057	0.041	n^1
Flores-Montoya_2017___examples_from_literature___C4B_examples___t19.c	0.055	0.08700000000000001	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___DoubleNeg.c	3.0570000000000004	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaA7.c	0.051000000000000004	0.062000000000000006	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___GCD4.c	0.097	0.229	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.11.c	0.07300000000000001	0.383	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_fermat.c	1.171	0.34600000000000003	inf
Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Singapore_v1_false-termination.c	3.111	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___AlternDivWidening.c	5.296	0	inf-verymax
Flores-Montoya_2017___examples_from_literature___C4B_examples___t10.c	0.054000000000000006	0.049	n^1
Sinn_2016___cBench_cf_decode_eol.c	0.41400000000000003	299.6250505419928	timeout
Flores-Montoya_2017___Adapted_from_Stroeder_15___Thun_true-termination.c	1.225	0.060000000000000005	n^1
Flores-Montoya_2017___examples_from_literature___WTC_V2___realheapsort_step1.c	0.08700000000000001	0.37200000000000005	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___Ex05.c	0.012	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.09-no-inv_assume.c	0.07700000000000001	0.12200000000000001	n^1
Sinn_2016___CPU2006_local_alloc.c	0.161	0.15500000000000003	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-wise_true-termination.c	0.083	0.10900000000000001	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___easy2_true-termination.c	0.049	0.044000000000000004	n^1
Flores-Montoya_2017___examples_from_literature___WTC_V2___speedFails1.c	2.0890000000000004	0	inf-verymax
Flores-Montoya_2017___examples_from_literature___Loopus___Loopus2014_ex1.c	0.116	0.35600000000000004	inf
Sinn_2016___cBench_cryptRandWriteFile.c	1.1090000000000002	0.315	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaB6.c	0.044000000000000004	0.048	n^1
Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___2Nested_false-termination.c	3.095	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___BrockschmidtCookFuhs-CAV2013-Introduction_true-termination.c	0.052000000000000005	0.034	n^1
Flores-Montoya_2017___examples_from_literature___WTC_V2___rsd.c	0.09200000000000001	0.6000000000000001	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___ComplInterv3.c	3.431	0	inf-verymax
Flores-Montoya_2017___examples_from_literature___WTC_V2___perfectg.c	0.162	1.247	n^2
Flores-Montoya_2017___Adapted_from_Stroeder_15___NonTermination4_false-termination.c	2.048	0	inf-verymax
Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_popl10_nested_multiple.c	0.133	0.761	n^2
Flores-Montoya_2017___Adapted_from_Stroeder_15___CookSeeZuleger-TACAS2013-Fig7a_true-termination.c	0.067	0.22	inf
Flores-Montoya_2017___Adapted_from_Stroeder_15___aaron2_true-termination.c	0.051000000000000004	0.065	n^1
Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Mysore_false-termination.c	3.06	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_c.01-no-inv.c	0.09100000000000001	0.227	n^2
Flores-Montoya_2017___examples_from_literature___Loopus___Loopus2015_ex1.c	0.069	0.17700000000000002	n^1
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.069	0.135	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___Factorial.c	5.099	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___NO_03.c	0.129	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___UrbanMine-ESOP2014-Fig3_true-termination.c	0.17300000000000001	0.445	inf
Flores-Montoya_2017___Adapted_from_Stroeder_15___Overflow.c	0.043000000000000003	0.028	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.07_true-termination.c	0.28700000000000003	0.09000000000000001	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.05.c	0.048	0.061000000000000006	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___BradleyMannaSipma-ICALP2005-Fig1_true-termination.c	3.265	0.29700000000000004	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-speedFails4_true-termination.c	0.191	0.1	n^1
Flores-Montoya_2017___examples_from_literature___WTC_V2___rank3.c	0.808	0.922	inf
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_c.03.c	0.07	0.261	n^1
Sinn_2016___CPU2006_load_mems.c	0.14600000000000002	0.24300000000000002	n^2
Flores-Montoya_2017___Adapted_from_Stroeder_15___AlternDivWide.c	2.7100000000000004	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___Masse-VMCAI2014-Fig1b_true-termination.c	3.7100000000000004	0	inf-verymax
Sinn_2016___CPU2006_XNU.c	0.10800000000000001	0.42900000000000005	n^2
Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Cairo_nondet_false-termination.c	3.072	0	inf-verymax
Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_popl10_simple_single.c	0.046000000000000006	0.03900000000000001	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex3.06_false-termination.c	10.015	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.10.c	0.065	0.20400000000000001	n^1
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.096	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.098	0.11800000000000001	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-speedpldi3_true-termination.c	0.07200000000000001	0.195	n^2
Flores-Montoya_2017___examples_from_literature___WTC_V2___wcet1.c	0.07400000000000001	0.158	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___PodelskiRybalchenko-LICS2004-Fig2-TACAS2011-Fig3_true-termination.c	2.692	1.7850000000000001	n^2
Flores-Montoya_2017___examples_from_literature___WTC_V2___nestedLoop.c	0.38	0.231	n^3
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChawdharyCookGulwaniSagivYang-ESOP2008-aaron6_true-termination.c	0.07	0.17200000000000001	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___LeikeHeizmann-TACAS2014-Fig1_true-termination.c	0.09200000000000001	0.08600000000000001	n^1
Flores-Montoya_2017___examples_from_literature___WTC_V2___gcd.c	0.085	0.202	n^1
Flores-Montoya_2017___examples_from_literature___ABC___jama_ex1.c	0.07	0.192	n^2
Flores-Montoya_2017___Adapted_from_Stroeder_15___GulavaniGulwani-CAV2008-Fig1b_true-termination.c	0.059000000000000004	0.113	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex3.03_true-termination.c	6.433000000000001	8.246	inf
Flores-Montoya_2017___Adapted_from_Stroeder_15___Log.c	0.049	0.062000000000000006	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___LeikeHeizmann-WST2014-Ex6_false-termination.c	3.1670000000000003	0	inf-verymax
Flores-Montoya_2017___examples_from_literature___ABC___jama_ex4.c	0.083	0.332	n^2
Flores-Montoya_2017___Adapted_from_Stroeder_15___IntPath.c	0.046000000000000006	0.032	1
Flores-Montoya_2017___Adapted_from_Stroeder_15___Nyala-2lex_true-termination.c	0.061000000000000006	0.14100000000000001	inf
Flores-Montoya_2017___Adapted_from_Stroeder_15___CookSeeZuleger-TACAS2013-Fig7b_true-termination.c	0.134	0.522	inf
Flores-Montoya_2017___Adapted_from_Stroeder_15___WhileNestedOffset.c	3.056	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___NO_00.c	0.029	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.06.c	0.046000000000000006	0.059000000000000004	n^1
Flores-Montoya_2017___examples_from_literature___WTC_V2___nested_loop.c	0.377	0.41700000000000004	n^3
Flores-Montoya_2017___examples_from_literature___WTC_V2___loops.c	0.15000000000000002	0.10800000000000001	n^2
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.09_assume.c	0.062000000000000006	0.12200000000000001	n^1
Flores-Montoya_2017___examples_from_literature___WTC_V2___realbubble.c	0.112	0.396	n^2
Flores-Montoya_2017___Adapted_from_Stroeder_15___min_rf_true-termination.c	0.082	3.209	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___KroeningSharyginaTsitovichWintersteiger-CAV2010-Ex_true-termination.c	0.049	0.038000000000000006	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaB1.c	0.043000000000000003	0.036000000000000004	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.12_false-termination.c	3.4370000000000003	0	inf-verymax
Flores-Montoya_2017___examples_from_literature___C4B_examples___t47.c	0.055	0.059000000000000004	n^1
Flores-Montoya_2017___examples_from_literature___WTC_V2___cousot9.c	0.062000000000000006	0.162	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.0570000000000004	0	inf-verymax
Flores-Montoya_2017___examples_from_literature___WTC_V2___nd_loop.c	0.044000000000000004	0.038000000000000006	1
Flores-Montoya_2017___Adapted_from_Stroeder_15___NO_12.c	3.0970000000000004	0	inf-verymax
Flores-Montoya_2017___examples_from_literature___WTC_V2___ax.c	0.07200000000000001	0.18700000000000003	n^2
Flores-Montoya_2017___Adapted_from_Stroeder_15___Urban-WST2013-Fig2_true-termination.c	1.068	0.12000000000000001	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.03_assume.c	0.043000000000000003	0.03900000000000001	n^1
Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_popl10_nested_single.c	0.051000000000000004	0.041	n^1
Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_pldi09_fig4_4.c	0.07800000000000001	0.199	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___NonTerminationSimple4_false-termination.c	4.078	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___Middle.c	8.282	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___NO_02.c	0.035	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.22_true-termination.c	1.211	0.09100000000000001	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___Cousot.c	3.0620000000000003	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_java_AG313.c	0.051000000000000004	0.05	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___NonTerminationSimple8_false-termination.c	3.257	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___TwoFloatInterv.c	4.3340000000000005	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.01_true-termination.c	0.095	0.083	n^1
Sinn_2016___cBench_subsetdump.c	0.18600000000000003	0.683	inf
Flores-Montoya_2017___Adapted_from_Stroeder_15___GulwaniJainKoskinen-PLDI2009-Fig1_true-termination.c	3.132	0	inf-verymax
Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_pldi09_fig1.c	0.063	0.15300000000000002	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___HeizmannHoenickeLeikePodelski-ATVA2013-Fig9_true-termination.c	0.11800000000000001	0.07300000000000001	n^1
Flores-Montoya_2017___examples_from_literature___WTC_V2___wcet0.c	0.07600000000000001	0.139	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___Gothenburg_true-termination.c	0.125	0.165	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___TelAviv-Amir-Minimum_true-termination.c	0.07	0.08600000000000001	n^1
Flores-Montoya_2017___examples_from_literature___ABC___jama_ex6.c	0.18500000000000003	0.30200000000000005	n^3
Flores-Montoya_2017___examples_from_literature___C4B_examples___t16.c	2.128	0.17800000000000002	n^1
Flores-Montoya_2017___examples_from_literature___WTC_V2___unperfect.c	0.169	1.116	n^2
Sinn_2016___CPU2006_analyse_other.c	2.337	38.77	inf
Flores-Montoya_2017___Adapted_from_Stroeder_15___NO_04.c	6.171	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex3.07_true-termination.c	1.409	0.399	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___Ex02.c	0.018000000000000002	0	inf-verymax
Flores-Montoya_2017___examples_from_literature___WTC_V2___alain.c	0.111	0.669	inf
Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Gothenburg_v2_true-termination.c	1.179	0.117	n^1
Flores-Montoya_2017___examples_from_literature___WTC_V2___realselect.c	0.126	0.18600000000000003	n^2
Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Benghazi_nondet_true-termination.c	2.212	0.43300000000000005	n^2
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaA1.c	0.065	0.15100000000000002	n^2
Flores-Montoya_2017___examples_from_literature___WTC_V2___speedpldi3.c	0.07100000000000001	0.194	n^2
Flores-Montoya_2017___examples_from_literature___C4B_examples___t20.c	0.051000000000000004	0.084	n^1
Flores-Montoya_2017___examples_from_literature___ABC___jama_ex3.c	0.07	0.17700000000000002	n^2
Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_pldi10_ex4.c	0.055	0.08700000000000001	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___ComplInterv2.c	2.048	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___MinusBuiltIn.c	0.047	0.031000000000000003	1
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.16_true-termination.c	0.08900000000000001	0.05	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-loops_true-termination.c	0.15300000000000002	0.10600000000000001	n^2
Flores-Montoya_2017___Adapted_from_Stroeder_15___NonTerminationSimple7_false-termination.c	2.0580000000000003	0	inf-verymax
Flores-Montoya_2017___examples_from_literature___WTC_V2___exmini.c	0.047	0.056	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___Gauss.c	3.1020000000000003	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___Masse-VMCAI2014-Fig1a_true-termination.c	0.058	0.12300000000000001	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.602053461945616	0.0	error
Flores-Montoya_2017___Adapted_from_Stroeder_15___4NestedWith3Variables_true-termination.c	8.503	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___Nested.c	0.07500000000000001	0.084	1
Flores-Montoya_2017___Adapted_from_Stroeder_15___Avery-FLOPS2006-Table1_true-termination.c	0.066	0.12300000000000001	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___easy1_true-termination.c	0.083	0.21300000000000002	1
Flores-Montoya_2017___Adapted_from_Stroeder_15___NO_23.c	6.138000000000001	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___Stockholm_true-termination.c	0.054000000000000006	0.048	n^1
Flores-Montoya_2017___examples_from_literature___WTC_V2___counterex1c.c	1.2930000000000001	3.8200000000000003	n^2
Flores-Montoya_2017___examples_from_literature___WTC_V2___speedpldi2.c	0.08	0.163	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.03-no-inv_assume.c	0.053000000000000005	0.037000000000000005	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_a.09_assume.c	0.046000000000000006	0.044000000000000004	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___NoriSharma-FSE2013-Fig8_true-termination.c	0.07200000000000001	0.232	n^2
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_a.06.c	0.05	0.055	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.03900000000000001	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.13_true-termination.c	0.099	0.08800000000000001	n^1
Flores-Montoya_2017___examples_from_literature___WTC_V2___speedSingleSingle2.c	0.07500000000000001	0.19	n^2
Flores-Montoya_2017___examples_from_literature___Other___exclusive_phases.c	0.08700000000000001	0.126	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___MenloPark_true-termination.c	0.1	0.061000000000000006	n^1
Flores-Montoya_2017___examples_from_literature___Loopus___Loopus2015_ex2.c	0.083	0.196	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.07.c	0.049	0.07500000000000001	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-nestedLoop_true-termination.c	0.24500000000000002	0.24900000000000003	n^2
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_a.07.c	0.05	0.07600000000000001	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___WhilePart.c	2.0290000000000004	0	inf-verymax
Flores-Montoya_2017___examples_from_literature___ABC___textbook_ex3.c	0.278	0.46900000000000003	n^4
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.11_false-termination.c	3.87	0	inf-verymax
Flores-Montoya_2017___examples_from_literature___Loopus___Loopus2011_ex2.c	19.69	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.0610000000000004	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-Fig2b_true-termination.c	0.671	0.5960000000000001	inf
Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_pldi10_ex1.c	0.101	0.229	n^2
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-rsd_true-termination.c	0.096	0.24100000000000002	n^2
Flores-Montoya_2017___Adapted_from_Stroeder_15___PodelskiRybalchenko-TACAS2011-Fig2_true-termination.c	0.064	0.14400000000000002	n^2
Flores-Montoya_2017___Adapted_from_Stroeder_15___LogMult.c	2.1060000000000003	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___Mysore_true-termination.c	0.064	0.04	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___GulavaniGulwani-CAV2008-Fig1c_true-termination.c	0.046000000000000006	0.04	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___ColonSipma-TACAS2001-Fig1_true-termination.c	0.048	0.057	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_java_Nested.c	0.328	0.13	1
Flores-Montoya_2017___Adapted_from_Stroeder_15___Cairo_true-termination.c	0.045000000000000005	0.029	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-counterex1b_true-termination.c	0.18500000000000003	0.127	inf
Sinn_2016___cBench_set_color_ht.c	0.8240000000000001	0.20800000000000002	n^2
Flores-Montoya_2017___examples_from_literature___WTC_V2___speedNestedMultiple.c	0.128	0.5740000000000001	n^2
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex1.05_true-termination.c	0.044000000000000004	0.04	n^1
Flores-Montoya_2017___examples_from_literature___WTC_V2___wise.c	0.082	0.101	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___DivWithoutMinus.c	6.205	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___Et1.c	0.15100000000000002	0.11	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.651000000000002	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___PodelskiRybalchenko-TACAS2011-Fig4_true-termination.c	0.058	0.133	inf
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaA10.c	0.07500000000000001	0.07300000000000001	n^1
Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Singapore_v2_false-termination.c	3.0860000000000003	0	inf-verymax
Sinn_2016___cBench_noiseTickSize.c	0.07400000000000001	0.18700000000000003	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChawdharyCookGulwaniSagivYang-ESOP2008-random1d_true-termination.c	0.063	0.07100000000000001	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaB2.c	0.043000000000000003	0.032	n^1
Flores-Montoya_2017___examples_from_literature___WTC_V2___aaron12.c	3.201	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___LarrazOliverasRodriguez-CarbonellRubio-FMCAD2013-Fig1_true-termination.c	16.430000000000003	283.5977168860193	timeout
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.02.c	0.047	0.048	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.14.c	0.055	0.062000000000000006	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___PodelskiRybalchenko-VMCAI2004-Ex1_true-termination.c	0.057	0.042	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___GCD3.c	0.09200000000000001	0.22	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___GopanReps-CAV2006-Fig1a_true-termination.c.c	0.08600000000000001	0.13	1
Flores-Montoya_2017___examples_from_literature___C4B_examples___t15.c	0.09300000000000001	0.224	n^1
Flores-Montoya_2017___examples_from_literature___WTC_V2___relation1.c	0.041	0.008	1
Flores-Montoya_2017___Adapted_from_Stroeder_15___HeizmannHoenickeLeikePodelski-ATVA2013-Fig4_true-termination.c	0.042	0.030000000000000002	n^1
Flores-Montoya_2017___examples_from_literature___WTC_V2___speedSimpleMultiple.c	0.065	0.18600000000000003	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___WhileDecr.c	0.041	0.030000000000000002	n^1
Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_popl10_simple_single_2.c	0.068	0.196	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___GulavaniGulwani-CAV2008-Fig1a_true-termination.c	0.07	0.20900000000000002	n^1
Sinn_2016___cBench_s_SFD_process.c	2.9210000000000003	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Singapore_plus_false-termination.c	3.067	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_ex1.c	0.04	0.029	n^1
Flores-Montoya_2017___examples_from_literature___Loopus___Loopus2011_ex3.c	0.11800000000000001	0.24100000000000002	inf
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.047	0.056	n^1
Flores-Montoya_2017___examples_from_literature___C4B_examples___t30.c	0.10700000000000001	0.08700000000000001	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_java_Continue1.c	0.065	0.11800000000000001	1
Flores-Montoya_2017___Adapted_from_Stroeder_15___HeizmannHoenickeLeikePodelski-ATVA2013-Fig1_true-termination.c	0.054000000000000006	0.035	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChawdharyCookGulwaniSagivYang-ESOP2008-aaron1_true-termination.c	0.15200000000000002	0.6150000000000001	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___CookSeeZuleger-TACAS2013-Fig8b_true-termination.c	0.085	0.079	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___NonTermination1_false-termination.c	3.0570000000000004	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Singapore_true-termination.c	0.15200000000000002	0.08800000000000001	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-counterex1a_true-termination.c	45.260000000000005	65.56500000000001	n^2
Sinn_2016___cBench_bin_search_StepSize2.c	60.56100000000001	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.048	0.033	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___Pure2Phase_true-termination.c	0.060000000000000005	0.10600000000000001	inf
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaC7.c	0.049	0.058	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChawdharyCookGulwaniSagivYang-ESOP2008-random2d_true-termination.c	0.134	0.28	1
Flores-Montoya_2017___Adapted_from_Stroeder_15___NO_13.c	4.978000000000001	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_flag.c	0.07300000000000001	0.09000000000000001	n^1
Sinn_2016___CPU2006_SingleLinkCluster.c	0.116	0.35600000000000004	inf
Flores-Montoya_2017___Adapted_from_Stroeder_15___PlusSwap.c	1.09	0.1	n^1
Flores-Montoya_2017___examples_from_literature___WTC_V2___rank2.c	0.15500000000000003	1.4100000000000001	n^2
Flores-Montoya_2017___Adapted_from_Stroeder_15___LeikeHeizmann-TACAS2014-Ex7_true-termination.c	1.229	0.052000000000000005	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___CookSeeZuleger-TACAS2013-Fig1_true-termination.c	0.061000000000000006	0.14800000000000002	inf
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaB17.c	0.066	0.14700000000000002	n^1
Flores-Montoya_2017___examples_from_literature___WTC_V2___complex.c	1.159	62.376000000000005	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaA8.c	0.044000000000000004	0.036000000000000004	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___Ex01.c	3.071	0	inf-verymax
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-cousot9_true-termination.c	0.065	0.15100000000000002	n^2
Flores-Montoya_2017___Adapted_from_Stroeder_15___NoriSharma-FSE2013-Fig7_true-termination.c	0.07300000000000001	0.255	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaB15.c	0.059000000000000004	0.063	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___LeikeHeizmann-TACAS2014-Ex8_true-termination.c	0.055	0.085	inf
Flores-Montoya_2017___Adapted_from_Stroeder_15___Sequence.c	0.057	0.069	1
Flores-Montoya_2017___Adapted_from_Stroeder_15___Toulouse-BranchesToLoop_true-termination.c	0.09100000000000001	0.097	n^1
Flores-Montoya_2017___Adapted_from_Stroeder_15___Rotation180_false-termination.c	2.0370000000000004	0	inf-verymax
Flores-Montoya_2017___examples_from_literature___WTC_V2___speedNestedMultipleDep.c	0.07400000000000001	0.279	n^2
Flores-Montoya_2017___Adapted_from_Stroeder_15___LogAG.c	0.069	0.15000000000000002	n^1
Flores-Montoya_2017___examples_from_literature___ABC___jama_ex2.c	0.068	0.18600000000000003	n^2
Sinn_2016___CPU2006_xdr3dfcoord.c	1.354	1.4480000000000002	inf
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.09_true-termination.c	0.803	0.386	n^1