file	ub	time
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.17.c	n	0.21091212006285787
Flores-Montoya_2017___examples_from_literature___WTC_V2___speedDis2.c	n	0.1809437912888825
Flores-Montoya_2017___Adapted_from_Stroeder_15___Ben-Amram-LMCS2010-Ex2.3_true-termination.c	n	0.27396954502910376
Flores-Montoya_2017___Adapted_from_Stroeder_15___HeizmannHoenickeLeikePodelski-ATVA2013-Fig6_true-termination.c	n	0.17554251197725534
Sinn_2016___cBench_zwritehexstring_at.c	n	0.2069223620928824
Flores-Montoya_2017___Adapted_from_Stroeder_15___Marbie1.c	infinity	0.16056247288361192
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaA5.c	n	0.16695052199065685
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_c.07.c	n	0.18731165677309036
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.04_false-termination.c	infinity	0.17037797393277287
Flores-Montoya_2017___examples_from_literature___WTC_V2___realheapsort_step2.c	n^2	0.4308937001042068
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Fig1_true-termination.c	infinity	0.1713772127404809
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_ex3a.c	infinity	0.1697877156548202
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex3.01_true-termination.c	infinity	0.17262540385127068
Flores-Montoya_2017___Adapted_from_Stroeder_15___Flip2.c	timeout	300
Flores-Montoya_2017___Adapted_from_Stroeder_15___ComplInterv.c	infinity	0.1691331728361547
Flores-Montoya_2017___Adapted_from_Stroeder_15___Swingers.c	infinity	0.1618728800676763
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex3.08_true-termination.c	infinity	0.17631814302876592
Flores-Montoya_2017___examples_from_literature___C4B_examples___t13.c	n	0.22385259112343192
Flores-Montoya_2017___Adapted_from_Stroeder_15___Choose.c	infinity	0.17216573702171445
Flores-Montoya_2017___Adapted_from_Stroeder_15___Fibonacci.c	infinity	0.18444350082427263
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.17_false-termination.c	infinity	0.1646638000383973
Flores-Montoya_2017___examples_from_literature___ABC___jama_ex5.c	n^2	0.19555359473451972
Flores-Montoya_2017___Adapted_from_Stroeder_15___Ex07.c	infinity	0.17038532113656402
Flores-Montoya_2017___examples_from_literature___WTC_V2___aaron2.c	n	0.19418224971741438
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex3.10_true-termination.c	n	0.20615925267338753
Flores-Montoya_2017___examples_from_literature___C4B_examples___t27.c	n	0.225164077244699
Flores-Montoya_2017___examples_from_literature___Other___ex_paper3.c	n^2	0.28017575200647116
Flores-Montoya_2017___Adapted_from_Stroeder_15___MirrorInterv.c	infinity	0.23762365896254778
Flores-Montoya_2017___examples_from_literature___WTC_V2___rank1.c	n^2	0.3628323678858578
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex1.03_true-termination.c	constant	0.19363170163705945
Flores-Montoya_2017___Adapted_from_Stroeder_15___CookSeeZuleger-TACAS2013-Fig8a_true-termination.c	n	0.1805994277819991
Flores-Montoya_2017___examples_from_literature___WTC_V2___aaron3.c	infinity	0.20987038081511855
Flores-Montoya_2017___Adapted_from_Stroeder_15___MinusMin.c	n	0.19372551795095205
Flores-Montoya_2017___Adapted_from_Stroeder_15___LeikeHeizmann-TACAS2014-Ex1_true-termination.c	n	0.18296316172927618
Flores-Montoya_2017___examples_from_literature___WTC_V2___while2.c	n^2	0.18921321304515004
Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Bangalore_v2_false-termination.c	infinity	0.17408947693184018
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_java_Break.c	constant	0.16275975899770856
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex3.05_true-termination.c	infinity	0.1838086019270122
Sinn_2016___CPU2006_Perl_scan_vstring.c	n^2	2.0675720209255815
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.04.c	constant	0.16012683836743236
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChooseLife.c	infinity	0.1675595180131495
Sinn_2016___CPU2006_ParseFile.c	timeout	300
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaA6.c	n	0.1758579658344388
Flores-Montoya_2017___examples_from_literature___Loopus___Loopus2015_big.c	n	0.46297208592295647
Flores-Montoya_2017___Adapted_from_Stroeder_15___aaron3_true-termination.c	infinity	0.22997563378885388
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaC3.c	n	0.1986480299383402
Flores-Montoya_2017___Adapted_from_Stroeder_15___BrockschmidtCookFuhs-CAV2013-Fig1_true-termination.c	n^2	0.21641853312030435
Flores-Montoya_2017___examples_from_literature___WTC_V2___speedDis1.c	n	0.19794378289952874
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.19_true-termination.c	infinity	0.16817136807367206
Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Hanoi_2vars_false-termination.c	infinity	0.16680378187447786
Flores-Montoya_2017___examples_from_literature___WTC_V2___random2d.c	n	0.20462525496259332
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaC9.c	infinity	0.1864530611783266
Flores-Montoya_2017___Adapted_from_Stroeder_15___NO_24.c	infinity	0.16342377103865147
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChawdharyCookGulwaniSagivYang-ESOP2008-aaron12_true-termination.c	infinity	0.1852207467891276
Flores-Montoya_2017___examples_from_literature___ABC___textbook_ex1.c	n	0.16752693196758628
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_a.04.c	n	0.16687344200909138
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-ndecr_true-termination.c	n	0.16524144681170583
Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Hanoi_3vars_false-termination.c	infinity	0.17145815398544073
Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_popl10_sequential_single.c	n	0.2089194911532104
Flores-Montoya_2017___Adapted_from_Stroeder_15___WhileNested.c	infinity	0.18562831776216626
Flores-Montoya_2017___examples_from_literature___WTC_V2___speedFails3.c	infinity	0.21911105094477534
Flores-Montoya_2017___Adapted_from_Stroeder_15___GCD.c	infinity	0.287835790310055
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.08_true-termination.c	infinity	0.16887111915275455
Flores-Montoya_2017___Adapted_from_Stroeder_15___Ex03.c	infinity	0.18118809442967176
Flores-Montoya_2017___Adapted_from_Stroeder_15___PodelskiRybalchenko-TACAS2011-Fig1_true-termination.c	n	0.16310192691162229
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-while2_true-termination.c	n^2	0.1886903173290193
Flores-Montoya_2017___Adapted_from_Stroeder_15___UpAndDown.c	infinity	0.2144866227172315
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.15.c	n	0.22933557396754622
Flores-Montoya_2017___examples_from_literature___WTC_V2___sipmamergesort.c	n^2	1.828291883226484
Sinn_2016___CPU2006_ApplyBndRobin.c	n^4	1.3050672076642513
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.14_false-termination.c	infinity	0.17295255325734615
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_a.01.c	n^2	0.18711362732574344
Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Bangalore_false-termination.c	infinity	0.16373759415000677
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex3.02_false-termination.c	infinity	0.16950761200860143
Flores-Montoya_2017___Adapted_from_Stroeder_15___BradleyMannaSipma-CAV2005-Fig1-modified_false-termination.c	infinity	0.18761610006913543
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaA4.c	n	0.16582977026700974
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_java_Sequence.c	constant	0.17635706393048167
Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_pldi09_fig4_2.c	n	0.2089590928517282
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaB16.c	n	0.19455788005143404
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaB4.c	constant	0.16450014105066657
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_ex2.c	infinity	0.2524026157334447
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.06_false-termination.c	infinity	0.16963924700394273
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex1.04_true-termination.c	n	0.16793924197554588
Flores-Montoya_2017___Adapted_from_Stroeder_15___Et4.c	infinity	0.18282779399305582
Flores-Montoya_2017___Adapted_from_Stroeder_15___MirrorIntervSim.c	infinity	0.19669998018071055
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.18_true-termination.c	infinity	0.1668173959478736
Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___McCarthy91_Iteration_true-termination.c	infinity	0.17751503689214587
Flores-Montoya_2017___Adapted_from_Stroeder_15___Urban-WST2013-Fig1_false-termination.c	infinity	0.17194423731416464
Flores-Montoya_2017___Adapted_from_Stroeder_15___WhileFalse_true-termination.c	constant	0.042961048893630505
Flores-Montoya_2017___examples_from_literature___WTC_V2___terminatorbubble.c	n^2	0.32446904201060534
Flores-Montoya_2017___examples_from_literature___C4B_examples___t11.c	n	0.19689903827384114
Flores-Montoya_2017___Adapted_from_Stroeder_15___Even.c	infinity	0.17471681907773018
Flores-Montoya_2017___examples_from_literature___Loopus___Loopus2015_original.c	n	0.3727830438874662
Flores-Montoya_2017___examples_from_literature___Loopus___Loopus2014_ex2.c	n	0.26025487296283245
Flores-Montoya_2017___examples_from_literature___WTC_V2___sipmabubble.c	n^2	0.1940595400519669
Flores-Montoya_2017___Adapted_from_Stroeder_15___AlternDiv.c	infinity	0.2234947970137
Flores-Montoya_2017___Adapted_from_Stroeder_15___WhileTrue.c	infinity	0.049331679940223694
Flores-Montoya_2017___Adapted_from_Stroeder_15___2Nested_true-termination.c	infinity	0.17678154911845922
Flores-Montoya_2017___Adapted_from_Stroeder_15___Narrowing.c	infinity	0.4663520287722349
Flores-Montoya_2017___examples_from_literature___WTC_V2___easy2.c	n	0.16422454174607992
Flores-Montoya_2017___Adapted_from_Stroeder_15___BrockschmidtCookFuhs-CAV2013-Fig9a_true-termination.c	n^2	0.20862423023208976
Flores-Montoya_2017___Adapted_from_Stroeder_15___Waldkirch_true-termination.c	constant	0.15923536382615566
Flores-Montoya_2017___examples_from_literature___C4B_examples___t07.c	n	0.20707174809649587
Flores-Montoya_2017___Adapted_from_Stroeder_15___Loop.c	infinity	0.16534080309793353
Flores-Montoya_2017___Adapted_from_Stroeder_15___NonTermination2_false-termination.c	infinity	0.179528150241822
Flores-Montoya_2017___examples_from_literature___C4B_examples___gcd.c	n	0.2193036493845284
Flores-Montoya_2017___Adapted_from_Stroeder_15___Lobnya-Boolean-Reordered_true-termination.c	n	0.2053047390654683
Flores-Montoya_2017___Adapted_from_Stroeder_15___Masse-VMCAI2014-Ex6_true-termination.c	n^2	0.2037239307537675
Flores-Montoya_2017___Adapted_from_Stroeder_15___collatz.c	infinity	0.2337506227195263
Flores-Montoya_2017___Adapted_from_Stroeder_15___CookSeeZuleger-TACAS2013-Fig8a-modified_true-termination.c	n	0.18114877585321665
Sinn_2016___cBench_render_ht.c	n	0.17782612098380923
Flores-Montoya_2017___Adapted_from_Stroeder_15___DivMinus2.c	n	0.20952357584610581
Flores-Montoya_2017___examples_from_literature___WTC_V2___sipma91.c	n	0.22373324213549495
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex1.02_true-termination.c	n	0.18538105301558971
Sinn_2016___cBench_send_tree.c	n	0.4973642472177744
Flores-Montoya_2017___Adapted_from_Stroeder_15___Ex04.c	infinity	0.06116753118112683
Sinn_2016___CPU2006_asctoeg.c	n^2	0.32170429872348905
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex1.01_true-termination.c	infinity	0.1598351988941431
Flores-Montoya_2017___examples_from_literature___Other___ex_paper1.c	n^2	0.28973898384720087
Sinn_2016___CPU2006_Configure.c	n	0.3848989359103143
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-Fig2a_true-termination.c	n	0.2581266677007079
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-random1d_true-termination.c	n	0.1736287409439683
Flores-Montoya_2017___Adapted_from_Stroeder_15___Piecewise_true-termination.c	infinity	0.19864376680925488
Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_popl10_fig2_2.c	n	0.1867937296628952
Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_pldi09_fig4_5.c	n	0.2152545629069209
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex3.09_true-termination.c	infinity	0.19378128461539745
Flores-Montoya_2017___examples_from_literature___WTC_V2___sipmamergesort2.c	n^2	8.40307249687612
Flores-Montoya_2017___Adapted_from_Stroeder_15___genady_true-termination.c	constant	0.1643548388965428
Flores-Montoya_2017___Adapted_from_Stroeder_15___NO_21.c	infinity	0.15630730893462896
Flores-Montoya_2017___examples_from_literature___WTC_V2___speedFails2.c	infinity	0.17826284002512693
Flores-Montoya_2017___examples_from_literature___Loopus___Loopus2011_ex1.c	n	0.24808044405654073
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-speedpldi4_true-termination.c	n	0.19121031602844596
Flores-Montoya_2017___Adapted_from_Stroeder_15___WhileIncr.c	infinity	0.15395510382950306
Flores-Montoya_2017___examples_from_literature___C4B_examples___t62.c	n	0.37093036295846105
Flores-Montoya_2017___Adapted_from_Stroeder_15___Velroyen_false-termination.c	infinity	0.1931213499046862
Flores-Montoya_2017___examples_from_literature___ABC___textbook_ex4.c	n^2	0.21257565217092633
Flores-Montoya_2017___Adapted_from_Stroeder_15___PodelskiRybalchenko-VMCAI2004-Ex2_true-termination.c	infinity	0.1645339229144156
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-wcet2_true-termination.c	n	0.1990136420354247
Flores-Montoya_2017___examples_from_literature___WTC_V2___speedpldi4.c	n	0.19502752600237727
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.21_true-termination.c	infinity	0.16957540111616254
Flores-Montoya_2017___examples_from_literature___WTC_V2___catmouse.c	infinity	0.18536496814340353
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_a.10.c	n	0.18198827607557178
Flores-Montoya_2017___examples_from_literature___C4B_examples___knuth_morris_pratt.c	n	0.3090981678105891
Sinn_2016___cBench_PackBitsEncode.c	infinity	6.919716482050717
Flores-Montoya_2017___examples_from_literature___WTC_V2___real2.c	infinity	0.23777388874441385
Flores-Montoya_2017___Adapted_from_Stroeder_15___McCarthyIterative.c	infinity	0.17850472405552864
Flores-Montoya_2017___examples_from_literature___WTC_V2___easy1.c	constant	0.18965069111436605
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaB14.c	n	0.20380221912637353
Flores-Montoya_2017___Adapted_from_Stroeder_15___NonTerminationSimple6_false-termination.c	infinity	0.15984484739601612
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.18.c	n	0.2176970806904137
Flores-Montoya_2017___Adapted_from_Stroeder_15___AlternKonv.c	infinity	0.2912828498519957
Flores-Montoya_2017___examples_from_literature___WTC_V2___speedSimpleMultipleDep.c	n^2	0.212630117777735
Flores-Montoya_2017___examples_from_literature___WTC_V2___terminate.c	n	0.1879163640551269
Sinn_2016___cBench_hc_compute.c	n^2	0.294742114841938
Flores-Montoya_2017___examples_from_literature___WTC_V2___perfect.c	n^2	0.2485354682430625
Flores-Montoya_2017___Adapted_from_Stroeder_15___UpAndDownIneq.c	infinity	0.20549523178488016
Flores-Montoya_2017___Adapted_from_Stroeder_15___Madrid_false-termination.c	infinity	0.05061188992112875
Flores-Montoya_2017___Adapted_from_Stroeder_15___Copenhagen_true-termination.c	n	0.17332063289359212
Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_popl10_simple_multiple.c	n	0.20079578692093492
Flores-Montoya_2017___Adapted_from_Stroeder_15___Toulouse-MultiBranchesToLoop_true-termination.c	infinity	0.3231640299782157
Flores-Montoya_2017___Adapted_from_Stroeder_15___WhileIncrPart.c	infinity	0.17190120881423354
Flores-Montoya_2017___examples_from_literature___WTC_V2___perfect2.c	n^2	0.26472591888159513
Flores-Montoya_2017___Adapted_from_Stroeder_15___Bangalore_true-termination.c	n	0.16494922572746873
Flores-Montoya_2017___Adapted_from_Stroeder_15___LeikeHeizmann-WST2014-Ex5_false-termination.c	infinity	0.16830661008134484
Flores-Montoya_2017___examples_from_literature___ABC___textbook_ex2.c	n^2	0.19335097074508667
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.12.c	n	0.1951620327308774
Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Bangalore_v4_true-termination.c	constant	0.1684450232423842
Flores-Montoya_2017___Adapted_from_Stroeder_15___BradleyMannaSipma-CAV2005-Fig1_true-termination.c	n	0.23113462422043085
Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_popl10_fig2_1.c	n	0.1989777130074799
Flores-Montoya_2017___examples_from_literature___WTC_V2___heapsort.c	n	0.2939252061769366
Flores-Montoya_2017___Adapted_from_Stroeder_15___Ex06.c	infinity	0.18052654014900327
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_a.05.c	n	0.16633416479453444
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-exmini_true-termination.c	n	0.18517321394756436
Flores-Montoya_2017___examples_from_literature___C4B_examples___t08.c	n	0.1885275151580572
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChawdharyCookGulwaniSagivYang-ESOP2008-aaron4_true-termination.c	infinity	0.41048308089375496
Flores-Montoya_2017___examples_from_literature___C4B_examples___t28.c	n	0.22947411565110087
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_a.08.c	n	0.16795162064954638
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-Fig1_true-termination.c	n^2	0.3749182070605457
Flores-Montoya_2017___examples_from_literature___ABC___jama_ex7.c	n^2	0.19812525110319257
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.01.c	n	0.16849018912762403
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_c.08.c	n^2	0.19292084919288754
Flores-Montoya_2017___examples_from_literature___WTC_V2___speedSingleSingle.c	n	0.16936875274404883
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_c.02.c	n^2	0.19432426197454333
Flores-Montoya_2017___examples_from_literature___WTC_V2___serpent.c	timeout	300
Flores-Montoya_2017___Adapted_from_Stroeder_15___Benghazi_true-termination.c	n	0.17758012609556317
Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Cairo_step2_false-termination.c	infinity	0.17111348314210773
Flores-Montoya_2017___Adapted_from_Stroeder_15___NonTerminationSimple5_false-termination.c	infinity	0.16835706308484077
Flores-Montoya_2017___examples_from_literature___WTC_V2___speedFails4.c	infinity	0.19877928867936134
Sinn_2016___cBench_inflated_stored.c	n	0.38934857910498977
Flores-Montoya_2017___Adapted_from_Stroeder_15___TrueDiv.c	infinity	0.1566737787798047
Sinn_2016___cBench_encode_mcu_AC_refine.c	n	0.27517186710610986
Flores-Montoya_2017___examples_from_literature___WTC_V2___random1d.c	n	0.16680622892454267
Flores-Montoya_2017___Adapted_from_Stroeder_15___PodelskiRybalchenko-LICS2004-Fig1_true-termination.c	n^2	0.19383114390075207
Flores-Montoya_2017___examples_from_literature___WTC_V2___counterex1b.c	infinity	2.330798625946045
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_easySum.c	n	0.1589577696286142
Flores-Montoya_2017___Adapted_from_Stroeder_15___GCD2.c	infinity	0.235550994053483
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_c.01_assume.c	n^2	0.2083710697479546
Flores-Montoya_2017___Adapted_from_Stroeder_15___DivMinus.c	n	0.16993950214236975
Flores-Montoya_2017___Adapted_from_Stroeder_15___Lcm.c	infinity	0.18210438825190067
Flores-Montoya_2017___Adapted_from_Stroeder_15___Sunset.c	infinity	0.17973507288843393
Flores-Montoya_2017___examples_from_literature___WTC_V2___realheapsort.c	infinity	0.44478633208200336
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaC1.c	n^2	0.19506675470620394
Flores-Montoya_2017___Adapted_from_Stroeder_15___MinusUserDefined.c	n	0.34194666612893343
Flores-Montoya_2017___Adapted_from_Stroeder_15___ConvLower.c	infinity	0.17897025495767593
Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Hanoi_plus_false-termination.c	infinity	0.16863123001530766
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex3.04_true-termination.c	infinity	0.17694858694449067
Flores-Montoya_2017___examples_from_literature___WTC_V2___insertsort.c	n^2	0.21625014673918486
Flores-Montoya_2017___examples_from_literature___WTC_V2___perfect1.c	n^2	0.24775467487052083
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-random2d_true-termination.c	constant	0.18872549897059798
Flores-Montoya_2017___examples_from_literature___WTC_V2___wcet2.c	n	0.19477134803310037
Flores-Montoya_2017___examples_from_literature___WTC_V2___counterex1a.c	infinity	0.42549076303839684
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.13.c	n	0.1978253428824246
Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Copenhagen_disj_true-termination.c	infinity	0.16304900217801332
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-complex_true-termination.c	n	0.474762343801558
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_ex3b.c	infinity	0.18388841021806002
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaC2.c	n^2	0.18426766991615295
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaB11.c	n	0.21465604612603784
Flores-Montoya_2017___examples_from_literature___WTC_V2___ndecr.c	n	0.15959180099889636
Flores-Montoya_2017___Adapted_from_Stroeder_15___Parallel_true-termination.c	n	0.1807280657812953
Flores-Montoya_2017___Adapted_from_Stroeder_15___Flip.c	infinity	0.248246718198061
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-terminate_true-termination.c	n	0.18792005302384496
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.16.c	n	0.1912201289087534
Flores-Montoya_2017___Adapted_from_Stroeder_15___NonTerminationSimple3_false-termination.c	infinity	0.16392252827063203
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.03_false-termination.c	infinity	0.16416953597217798
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaB3.c	n	0.16907553374767303
Flores-Montoya_2017___Adapted_from_Stroeder_15___gcd1_true-termination.c	n	0.2466953252442181
Flores-Montoya_2017___Adapted_from_Stroeder_15___NO_22.c	infinity	0.16351668909192085
Sinn_2016___cBench_sendMTFValues.c	n	1.1719444217160344
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex4.01_true-termination.c	infinity	0.18687663320451975
Flores-Montoya_2017___examples_from_literature___WTC_V2___realshellsort.c	n^3	0.3328598812222481
Flores-Montoya_2017___examples_from_literature___Other___ex_paper2.c	n^2	0.19112968584522605
Flores-Montoya_2017___Adapted_from_Stroeder_15___HeizmannHoenickeLeikePodelski-ATVA2013-Fig8_true-termination.c	infinity	0.16917990101501346
Flores-Montoya_2017___Adapted_from_Stroeder_15___Ex08.c	infinity	0.23369031213223934
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-speedpldi2_true-termination.c	n	0.20847838977351785
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaB7.c	n	0.1838375050574541
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaC10.c	infinity	0.1661185948178172
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaA9.c	n	0.17055130004882812
Flores-Montoya_2017___examples_from_literature___C4B_examples___t19.c	n	0.18593924213200808
Flores-Montoya_2017___Adapted_from_Stroeder_15___DoubleNeg.c	infinity	0.15841077687218785
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaA7.c	n	0.1814788030460477
Flores-Montoya_2017___Adapted_from_Stroeder_15___GCD4.c	n	0.20966936508193612
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.11.c	n	0.22157451370730996
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_fermat.c	infinity	0.22816273104399443
Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Singapore_v1_false-termination.c	infinity	0.16621219413354993
Flores-Montoya_2017___Adapted_from_Stroeder_15___AlternDivWidening.c	infinity	70.7471646736376
Flores-Montoya_2017___examples_from_literature___C4B_examples___t10.c	n	0.1748583191074431
Sinn_2016___cBench_cf_decode_eol.c	n	0.45434884494170547
Flores-Montoya_2017___Adapted_from_Stroeder_15___Thun_true-termination.c	infinity	0.1633850671350956
Flores-Montoya_2017___examples_from_literature___WTC_V2___realheapsort_step1.c	n^2	0.21703779930248857
Flores-Montoya_2017___Adapted_from_Stroeder_15___Ex05.c	infinity	0.045743954833596945
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.09-no-inv_assume.c	n	0.18822074914351106
Sinn_2016___CPU2006_local_alloc.c	n	0.22687186719849706
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-wise_true-termination.c	n	0.19210937013849616
Flores-Montoya_2017___Adapted_from_Stroeder_15___easy2_true-termination.c	n	0.1600308557972312
Flores-Montoya_2017___examples_from_literature___WTC_V2___speedFails1.c	infinity	0.1678898143582046
Flores-Montoya_2017___examples_from_literature___Loopus___Loopus2014_ex1.c	n^2	0.5669175419025123
Sinn_2016___cBench_cryptRandWriteFile.c	n	0.20005329698324203
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaB6.c	n	0.1739224107004702
Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___2Nested_false-termination.c	infinity	0.1631181570701301
Flores-Montoya_2017___Adapted_from_Stroeder_15___BrockschmidtCookFuhs-CAV2013-Introduction_true-termination.c	n	0.16403266414999962
Flores-Montoya_2017___examples_from_literature___WTC_V2___rsd.c	n	0.27405443601310253
Flores-Montoya_2017___Adapted_from_Stroeder_15___ComplInterv3.c	infinity	0.17979224910959601
Flores-Montoya_2017___examples_from_literature___WTC_V2___perfectg.c	n^2	0.26249598199501634
Flores-Montoya_2017___Adapted_from_Stroeder_15___NonTermination4_false-termination.c	infinity	0.15365352295339108
Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_popl10_nested_multiple.c	n	0.27163256891071796
Flores-Montoya_2017___Adapted_from_Stroeder_15___CookSeeZuleger-TACAS2013-Fig7a_true-termination.c	infinity	0.20509596215561032
Flores-Montoya_2017___Adapted_from_Stroeder_15___aaron2_true-termination.c	n	0.19109399430453777
Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Mysore_false-termination.c	infinity	0.1657934682443738
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_c.01-no-inv.c	n^2	0.19707342889159918
Flores-Montoya_2017___examples_from_literature___Loopus___Loopus2015_ex1.c	n	0.21653796127066016
Flores-Montoya_2017___Adapted_from_Stroeder_15___WhileSingle.c	infinity	0.18284197198227048
Flores-Montoya_2017___Adapted_from_Stroeder_15___LeikeHeizmann-TACAS2014-Ex9_true-termination.c	n	0.18957738997414708
Flores-Montoya_2017___Adapted_from_Stroeder_15___Factorial.c	infinity	0.1713582738302648
Flores-Montoya_2017___Adapted_from_Stroeder_15___NO_03.c	infinity	0.1632620939053595
Flores-Montoya_2017___Adapted_from_Stroeder_15___UrbanMine-ESOP2014-Fig3_true-termination.c	infinity	0.245066927280277
Flores-Montoya_2017___Adapted_from_Stroeder_15___Overflow.c	n	0.15910849021747708
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.07_true-termination.c	infinity	0.17127837194129825
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.05.c	n	0.18028319161385298
Flores-Montoya_2017___Adapted_from_Stroeder_15___BradleyMannaSipma-ICALP2005-Fig1_true-termination.c	infinity	0.22599486215040088
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-speedFails4_true-termination.c	infinity	0.2055997271090746
Flores-Montoya_2017___examples_from_literature___WTC_V2___rank3.c	infinity	1.7933862777426839
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_c.03.c	n	0.179520009085536
Sinn_2016___CPU2006_load_mems.c	n^2	0.4088011155836284
Flores-Montoya_2017___Adapted_from_Stroeder_15___AlternDivWide.c	infinity	0.2598504559136927
Flores-Montoya_2017___Adapted_from_Stroeder_15___Masse-VMCAI2014-Fig1b_true-termination.c	infinity	0.16975929820910096
Sinn_2016___CPU2006_XNU.c	n	0.4681859202682972
Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Cairo_nondet_false-termination.c	infinity	0.17265983996912837
Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_popl10_simple_single.c	n	0.1673256978392601
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex3.06_false-termination.c	infinity	0.1685269232839346
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.10.c	n	0.19502006378024817
Flores-Montoya_2017___Adapted_from_Stroeder_15___NonTerminationSimple9_false-termination.c	infinity	0.16104799788445234
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.15_false-termination.c	infinity	0.16807156894356012
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.02_false-termination.c	infinity	0.16364149190485477
Flores-Montoya_2017___Adapted_from_Stroeder_15___Urban-WST2013-Fig2-modified1000_true-termination.c	n	0.1769601060077548
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-speedpldi3_true-termination.c	n^2	0.2307142661884427
Flores-Montoya_2017___examples_from_literature___WTC_V2___wcet1.c	n	0.25159880658611655
Flores-Montoya_2017___Adapted_from_Stroeder_15___PodelskiRybalchenko-LICS2004-Fig2-TACAS2011-Fig3_true-termination.c	infinity	0.1987186660990119
Flores-Montoya_2017___examples_from_literature___WTC_V2___nestedLoop.c	n^2	0.3710093037225306
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChawdharyCookGulwaniSagivYang-ESOP2008-aaron6_true-termination.c	n	0.2810180736705661
Flores-Montoya_2017___Adapted_from_Stroeder_15___LeikeHeizmann-TACAS2014-Fig1_true-termination.c	infinity	0.16384550277143717
Flores-Montoya_2017___examples_from_literature___WTC_V2___gcd.c	n	0.220956199336797
Flores-Montoya_2017___examples_from_literature___ABC___jama_ex1.c	n^2	0.19070099294185638
Flores-Montoya_2017___Adapted_from_Stroeder_15___GulavaniGulwani-CAV2008-Fig1b_true-termination.c	n	0.19520810479298234
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex3.03_true-termination.c	infinity	0.16670321905985475
Flores-Montoya_2017___Adapted_from_Stroeder_15___Log.c	n	0.17212062375620008
Flores-Montoya_2017___Adapted_from_Stroeder_15___LeikeHeizmann-WST2014-Ex6_false-termination.c	infinity	0.16616516606882215
Flores-Montoya_2017___examples_from_literature___ABC___jama_ex4.c	n^2	0.21328785736113787
Flores-Montoya_2017___Adapted_from_Stroeder_15___IntPath.c	constant	0.16584399715065956
Flores-Montoya_2017___Adapted_from_Stroeder_15___Nyala-2lex_true-termination.c	infinity	0.18193852109834552
Flores-Montoya_2017___Adapted_from_Stroeder_15___CookSeeZuleger-TACAS2013-Fig7b_true-termination.c	infinity	0.22098862892016768
Flores-Montoya_2017___Adapted_from_Stroeder_15___WhileNestedOffset.c	infinity	0.18193423189222813
Flores-Montoya_2017___Adapted_from_Stroeder_15___NO_00.c	infinity	0.15285072196274996
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.06.c	n	0.17458195518702269
Flores-Montoya_2017___examples_from_literature___WTC_V2___nested_loop.c	n^2	0.7620630390010774
Flores-Montoya_2017___examples_from_literature___WTC_V2___loops.c	n^2	0.2007031966932118
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.09_assume.c	n	0.1805492602288723
Flores-Montoya_2017___examples_from_literature___WTC_V2___realbubble.c	n^2	0.2366279996931553
Flores-Montoya_2017___Adapted_from_Stroeder_15___min_rf_true-termination.c	infinity	1.8445505877025425
Flores-Montoya_2017___Adapted_from_Stroeder_15___KroeningSharyginaTsitovichWintersteiger-CAV2010-Ex_true-termination.c	n	0.16108824033290148
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaB1.c	n	0.1632388918660581
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.12_false-termination.c	infinity	0.16723707178607583
Flores-Montoya_2017___examples_from_literature___C4B_examples___t47.c	n	0.17054466204717755
Flores-Montoya_2017___examples_from_literature___WTC_V2___cousot9.c	n^2	0.19116914924234152
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenCookFuhsNimkarOHearn-TACAS2014-Introduction_false-termination.c	infinity	0.16517928009852767
Flores-Montoya_2017___Adapted_from_Stroeder_15___NO_10.c	infinity	0.15771040134131908
Flores-Montoya_2017___examples_from_literature___WTC_V2___nd_loop.c	constant	0.1659188768826425
Flores-Montoya_2017___Adapted_from_Stroeder_15___NO_12.c	infinity	0.16836086055263877
Flores-Montoya_2017___examples_from_literature___WTC_V2___ax.c	n^2	0.19962836895138025
Flores-Montoya_2017___Adapted_from_Stroeder_15___Urban-WST2013-Fig2_true-termination.c	n	0.17638761131092906
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.03_assume.c	n	0.16996908141300082
Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_popl10_nested_single.c	n	0.23270833492279053
Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_pldi09_fig4_4.c	n	0.19626728165894747
Flores-Montoya_2017___Adapted_from_Stroeder_15___NonTerminationSimple4_false-termination.c	infinity	0.1597114377655089
Flores-Montoya_2017___Adapted_from_Stroeder_15___Middle.c	infinity	0.18165657203644514
Flores-Montoya_2017___Adapted_from_Stroeder_15___NO_02.c	infinity	0.16677843173965812
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.22_true-termination.c	infinity	0.17655632691457868
Flores-Montoya_2017___Adapted_from_Stroeder_15___Cousot.c	infinity	0.16580354794859886
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_java_AG313.c	n	0.17763090087100863
Flores-Montoya_2017___Adapted_from_Stroeder_15___NonTerminationSimple8_false-termination.c	infinity	0.20295836497098207
Flores-Montoya_2017___Adapted_from_Stroeder_15___TwoFloatInterv.c	infinity	0.21152417501434684
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.01_true-termination.c	infinity	0.166105427313596
Sinn_2016___cBench_subsetdump.c	n	0.28477706480771303
Flores-Montoya_2017___Adapted_from_Stroeder_15___GulwaniJainKoskinen-PLDI2009-Fig1_true-termination.c	n	0.2713087908923626
Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_pldi09_fig1.c	n	0.18925163801759481
Flores-Montoya_2017___Adapted_from_Stroeder_15___HeizmannHoenickeLeikePodelski-ATVA2013-Fig9_true-termination.c	infinity	0.18497056793421507
Flores-Montoya_2017___examples_from_literature___WTC_V2___wcet0.c	n	0.23985013226047158
Flores-Montoya_2017___Adapted_from_Stroeder_15___Gothenburg_true-termination.c	n	0.191446325276047
Flores-Montoya_2017___Adapted_from_Stroeder_15___TelAviv-Amir-Minimum_true-termination.c	infinity	0.20207813428714871
Flores-Montoya_2017___examples_from_literature___ABC___jama_ex6.c	n^3	0.34347680676728487
Flores-Montoya_2017___examples_from_literature___C4B_examples___t16.c	n	0.19365514162927866
Flores-Montoya_2017___examples_from_literature___WTC_V2___unperfect.c	n^2	0.26618718076497316
Sinn_2016___CPU2006_analyse_other.c	n^3	1.0149302170611918
Flores-Montoya_2017___Adapted_from_Stroeder_15___NO_04.c	infinity	0.35641436697915196
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex3.07_true-termination.c	infinity	0.16721809282898903
Flores-Montoya_2017___Adapted_from_Stroeder_15___Ex02.c	infinity	0.1792599717155099
Flores-Montoya_2017___examples_from_literature___WTC_V2___alain.c	n^2	0.2860600179992616
Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Gothenburg_v2_true-termination.c	n	0.18922249088063836
Flores-Montoya_2017___examples_from_literature___WTC_V2___realselect.c	n^2	0.19861145969480276
Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Benghazi_nondet_true-termination.c	infinity	0.16774679301306605
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaA1.c	n^2	0.1841121818870306
Flores-Montoya_2017___examples_from_literature___WTC_V2___speedpldi3.c	n^2	0.231794570107013
Flores-Montoya_2017___examples_from_literature___C4B_examples___t20.c	n	0.18403602298349142
Flores-Montoya_2017___examples_from_literature___ABC___jama_ex3.c	n^2	0.1928886091336608
Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_pldi10_ex4.c	n	0.19118110416457057
Flores-Montoya_2017___Adapted_from_Stroeder_15___ComplInterv2.c	infinity	0.19092196505516768
Flores-Montoya_2017___Adapted_from_Stroeder_15___MinusBuiltIn.c	constant	0.15966634498909116
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.16_true-termination.c	infinity	0.1669755419716239
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-loops_true-termination.c	n^2	0.200779777020216
Flores-Montoya_2017___Adapted_from_Stroeder_15___NonTerminationSimple7_false-termination.c	infinity	0.16597550315782428
Flores-Montoya_2017___examples_from_literature___WTC_V2___exmini.c	n	0.17995414091274142
Flores-Montoya_2017___Adapted_from_Stroeder_15___Gauss.c	infinity	0.16830970579758286
Flores-Montoya_2017___Adapted_from_Stroeder_15___Masse-VMCAI2014-Fig1a_true-termination.c	n^2	0.27703240187838674
Flores-Montoya_2017___Adapted_from_Stroeder_15___NO_01.c	infinity	0.15450905123725533
Flores-Montoya_2017___Adapted_from_Stroeder_15___Pure3Phase_true-termination.c	infinity	0.1788651100359857
Flores-Montoya_2017___Adapted_from_Stroeder_15___4NestedWith3Variables_true-termination.c	infinity	0.1689817737787962
Flores-Montoya_2017___Adapted_from_Stroeder_15___Nested.c	constant	0.18310598796233535
Flores-Montoya_2017___Adapted_from_Stroeder_15___Avery-FLOPS2006-Table1_true-termination.c	n	0.18705334700644016
Flores-Montoya_2017___Adapted_from_Stroeder_15___easy1_true-termination.c	constant	0.18538719229400158
Flores-Montoya_2017___Adapted_from_Stroeder_15___NO_23.c	infinity	0.1623553717508912
Flores-Montoya_2017___Adapted_from_Stroeder_15___Stockholm_true-termination.c	n	0.1738789603114128
Flores-Montoya_2017___examples_from_literature___WTC_V2___counterex1c.c	infinity	0.30320367915555835
Flores-Montoya_2017___examples_from_literature___WTC_V2___speedpldi2.c	n	0.2075379961170256
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.03-no-inv_assume.c	n	0.16987219918519258
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_a.09_assume.c	n	0.17341407481580973
Flores-Montoya_2017___Adapted_from_Stroeder_15___NoriSharma-FSE2013-Fig8_true-termination.c	n^2	0.21291676396504045
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_a.06.c	n	0.16928103007376194
Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Bangalore_v3_false-termination.c	infinity	0.16940450528636575
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.10_true-termination.c	n	0.17202830594033003
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.13_true-termination.c	infinity	0.16622693091630936
Flores-Montoya_2017___examples_from_literature___WTC_V2___speedSingleSingle2.c	n	0.23018168192356825
Flores-Montoya_2017___examples_from_literature___Other___exclusive_phases.c	n	0.19065466383472085
Flores-Montoya_2017___Adapted_from_Stroeder_15___MenloPark_true-termination.c	n	0.17498187208548188
Flores-Montoya_2017___examples_from_literature___Loopus___Loopus2015_ex2.c	n	0.2300722561776638
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.07.c	n	0.18448304198682308
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-nestedLoop_true-termination.c	n^2	0.33953481120988727
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_a.07.c	n	0.17681992892175913
Flores-Montoya_2017___Adapted_from_Stroeder_15___WhilePart.c	infinity	0.1684551788493991
Flores-Montoya_2017___examples_from_literature___ABC___textbook_ex3.c	n^4	0.2918830798007548
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.11_false-termination.c	infinity	0.16097475215792656
Flores-Montoya_2017___examples_from_literature___Loopus___Loopus2011_ex2.c	n	1.2226391010917723
Flores-Montoya_2017___Adapted_from_Stroeder_15___NarrowKonv.c	infinity	0.20459201326593757
Flores-Montoya_2017___Adapted_from_Stroeder_15___Et2.c	infinity	0.16526683000847697
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-Fig2b_true-termination.c	infinity	2.270637895911932
Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_pldi10_ex1.c	n^2	0.24159877793863416
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-rsd_true-termination.c	n^2	0.26223867200315
Flores-Montoya_2017___Adapted_from_Stroeder_15___PodelskiRybalchenko-TACAS2011-Fig2_true-termination.c	n^2	0.19589256308972836
Flores-Montoya_2017___Adapted_from_Stroeder_15___LogMult.c	infinity	0.1714615309610963
Flores-Montoya_2017___Adapted_from_Stroeder_15___Mysore_true-termination.c	n	0.17202437482774258
Flores-Montoya_2017___Adapted_from_Stroeder_15___GulavaniGulwani-CAV2008-Fig1c_true-termination.c	n	0.16479940386489034
Flores-Montoya_2017___Adapted_from_Stroeder_15___ColonSipma-TACAS2001-Fig1_true-termination.c	n	0.17610679101198912
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_java_Nested.c	constant	0.17055110773071647
Flores-Montoya_2017___Adapted_from_Stroeder_15___Cairo_true-termination.c	n	0.16310653183609247
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-counterex1b_true-termination.c	infinity	2.3252658462151885
Sinn_2016___cBench_set_color_ht.c	n^2	0.2839004918932915
Flores-Montoya_2017___examples_from_literature___WTC_V2___speedNestedMultiple.c	n	0.2736468091607094
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex1.05_true-termination.c	n	0.17126379301771522
Flores-Montoya_2017___examples_from_literature___WTC_V2___wise.c	n	0.19195720367133617
Flores-Montoya_2017___Adapted_from_Stroeder_15___DivWithoutMinus.c	infinity	0.21035615913569927
Flores-Montoya_2017___Adapted_from_Stroeder_15___Et1.c	infinity	0.16717886924743652
Flores-Montoya_2017___Adapted_from_Stroeder_15___WhileTrue_false-termination.c	infinity	0.04730697302147746
Flores-Montoya_2017___Adapted_from_Stroeder_15___ComplxStruc.c	infinity	0.22472641989588737
Flores-Montoya_2017___Adapted_from_Stroeder_15___PodelskiRybalchenko-TACAS2011-Fig4_true-termination.c	infinity	0.1871839528903365
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaA10.c	n	0.18265918828547
Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Singapore_v2_false-termination.c	infinity	0.16724255587905645
Sinn_2016___cBench_noiseTickSize.c	n	0.19930895091965795
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChawdharyCookGulwaniSagivYang-ESOP2008-random1d_true-termination.c	n	0.17003612965345383
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaB2.c	n	0.15849858289584517
Flores-Montoya_2017___examples_from_literature___WTC_V2___aaron12.c	infinity	0.1840250939130783
Flores-Montoya_2017___Adapted_from_Stroeder_15___LarrazOliverasRodriguez-CarbonellRubio-FMCAD2013-Fig1_true-termination.c	infinity	0.25374984135851264
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.02.c	n	0.16512466175481677
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.14.c	n	0.19997046189382672
Flores-Montoya_2017___Adapted_from_Stroeder_15___PodelskiRybalchenko-VMCAI2004-Ex1_true-termination.c	n	0.18373384699225426
Flores-Montoya_2017___Adapted_from_Stroeder_15___GCD3.c	n	0.2313139089383185
Flores-Montoya_2017___Adapted_from_Stroeder_15___GopanReps-CAV2006-Fig1a_true-termination.c.c	constant	0.17711951630190015
Flores-Montoya_2017___examples_from_literature___C4B_examples___t15.c	n	0.20262733288109303
Flores-Montoya_2017___examples_from_literature___WTC_V2___relation1.c	constant	0.04493803111836314
Flores-Montoya_2017___Adapted_from_Stroeder_15___HeizmannHoenickeLeikePodelski-ATVA2013-Fig4_true-termination.c	n	0.15866492595523596
Flores-Montoya_2017___examples_from_literature___WTC_V2___speedSimpleMultiple.c	n	0.1969062266871333
Flores-Montoya_2017___Adapted_from_Stroeder_15___WhileDecr.c	n	0.1613959139212966
Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_popl10_simple_single_2.c	n	0.2129647652618587
Flores-Montoya_2017___Adapted_from_Stroeder_15___GulavaniGulwani-CAV2008-Fig1a_true-termination.c	n	0.18204284086823463
Sinn_2016___cBench_s_SFD_process.c	n	0.2827865411527455
Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Singapore_plus_false-termination.c	infinity	0.16800882341340184
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_ex1.c	n	0.16046703094616532
Flores-Montoya_2017___examples_from_literature___Loopus___Loopus2011_ex3.c	n	0.19853260507807136
Flores-Montoya_2017___Adapted_from_Stroeder_15___NonTerminationSimple2_false-termination.c	infinity	0.157155591994524
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.20_true-termination.c	n	0.18116070283576846
Flores-Montoya_2017___examples_from_literature___C4B_examples___t30.c	infinity	0.16320398589596152
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_java_Continue1.c	constant	0.16739029390737414
Flores-Montoya_2017___Adapted_from_Stroeder_15___HeizmannHoenickeLeikePodelski-ATVA2013-Fig1_true-termination.c	n	0.1664104601368308
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChawdharyCookGulwaniSagivYang-ESOP2008-aaron1_true-termination.c	n	0.29065566696226597
Flores-Montoya_2017___Adapted_from_Stroeder_15___CookSeeZuleger-TACAS2013-Fig8b_true-termination.c	n	0.18085293611511588
Flores-Montoya_2017___Adapted_from_Stroeder_15___NonTermination1_false-termination.c	infinity	0.15786780789494514
Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Singapore_true-termination.c	infinity	0.16660637687891722
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-counterex1a_true-termination.c	infinity	0.42232275335118175
Sinn_2016___cBench_bin_search_StepSize2.c	infinity	74.294049276039
Flores-Montoya_2017___Adapted_from_Stroeder_15___Marbie2.c	infinity	0.04199297772720456
Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_pldi10_ex3.c	n	0.2099459646269679
Flores-Montoya_2017___Adapted_from_Stroeder_15___Pure2Phase_true-termination.c	infinity	0.19722432177513838
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaC7.c	n	0.18096403311938047
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChawdharyCookGulwaniSagivYang-ESOP2008-random2d_true-termination.c	constant	0.1879208548925817
Flores-Montoya_2017___Adapted_from_Stroeder_15___NO_13.c	infinity	0.17488342802971601
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_flag.c	n	0.18579924572259188
Sinn_2016___CPU2006_SingleLinkCluster.c	n^2	0.5679835728369653
Flores-Montoya_2017___Adapted_from_Stroeder_15___PlusSwap.c	infinity	0.16261691227555275
Flores-Montoya_2017___examples_from_literature___WTC_V2___rank2.c	n	0.22733350098133087
Flores-Montoya_2017___Adapted_from_Stroeder_15___LeikeHeizmann-TACAS2014-Ex7_true-termination.c	infinity	0.15820789197459817
Flores-Montoya_2017___Adapted_from_Stroeder_15___CookSeeZuleger-TACAS2013-Fig1_true-termination.c	infinity	0.1793730021454394
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaB17.c	n	0.20654737344011664
Flores-Montoya_2017___examples_from_literature___WTC_V2___complex.c	n	0.4708327050320804
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaA8.c	n	0.16429798305034637
Flores-Montoya_2017___Adapted_from_Stroeder_15___Ex01.c	infinity	0.1563282203860581
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-cousot9_true-termination.c	n^2	0.19012452894821763
Flores-Montoya_2017___Adapted_from_Stroeder_15___NoriSharma-FSE2013-Fig7_true-termination.c	n	0.18301111832261086
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaB15.c	n	0.20339736016467214
Flores-Montoya_2017___Adapted_from_Stroeder_15___LeikeHeizmann-TACAS2014-Ex8_true-termination.c	infinity	0.17853742185980082
Flores-Montoya_2017___Adapted_from_Stroeder_15___Sequence.c	constant	0.1777346283197403
Flores-Montoya_2017___Adapted_from_Stroeder_15___Toulouse-BranchesToLoop_true-termination.c	infinity	0.20633644331246614
Flores-Montoya_2017___Adapted_from_Stroeder_15___Rotation180_false-termination.c	infinity	0.046658792067319155
Flores-Montoya_2017___examples_from_literature___WTC_V2___speedNestedMultipleDep.c	n^2	0.2092657657340169
Flores-Montoya_2017___Adapted_from_Stroeder_15___LogAG.c	n	0.1886151460930705
Flores-Montoya_2017___examples_from_literature___ABC___jama_ex2.c	n^2	0.19166299421340227
Sinn_2016___CPU2006_xdr3dfcoord.c	n	0.7784518529661
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.09_true-termination.c	infinity	0.18166739167645574