fileubtime
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.17.c n^11.0979766849777661
Flores-Montoya_2017___examples_from_literature___WTC_V2___speedDis2.c n^10.7665229450212792
Flores-Montoya_2017___Adapted_from_Stroeder_15___Ben-Amram-LMCS2010-Ex2.3_true-termination.cinf2.9302540509961545
Flores-Montoya_2017___Adapted_from_Stroeder_15___HeizmannHoenickeLeikePodelski-ATVA2013-Fig6_true-termination.c n^10.8406022410199512
Sinn_2016___cBench_zwritehexstring_at.c n^10.8792279009940103
Flores-Montoya_2017___Adapted_from_Stroeder_15___Marbie1.cinf0.9013401840056758
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaA5.c n^10.6331029160064645
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_c.07.c n^10.6588717670238111
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.04_false-termination.cinf1.8793057889852207
Flores-Montoya_2017___examples_from_literature___WTC_V2___realheapsort_step2.c n^23.1800576699897647
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Fig1_true-termination.cinf1.7062997049943078
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_ex3a.cinf0.20237655399250798
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex3.01_true-termination.cinf1.313401576015167
Flores-Montoya_2017___Adapted_from_Stroeder_15___Flip2.cinf1.1072327019937802
Flores-Montoya_2017___Adapted_from_Stroeder_15___ComplInterv.cinf0.19717300398042426
Flores-Montoya_2017___Adapted_from_Stroeder_15___Swingers.cinf0.8062418490007985
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex3.08_true-termination.cinf1.7569867439742666
Flores-Montoya_2017___examples_from_literature___C4B_examples___t13.c n^21.1166828779969364
Flores-Montoya_2017___Adapted_from_Stroeder_15___Choose.cinf0.8818631260073744
Flores-Montoya_2017___Adapted_from_Stroeder_15___Fibonacci.cinf0.859966849006014
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.17_false-termination.cinf1.0431436660001054
Flores-Montoya_2017___examples_from_literature___ABC___jama_ex5.c n^20.7345462490047794
Flores-Montoya_2017___Adapted_from_Stroeder_15___Ex07.cinf0.7212695729976986
Flores-Montoya_2017___examples_from_literature___WTC_V2___aaron2.c n^11.0065115390170831
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex3.10_true-termination.c n^10.731565998023143
Flores-Montoya_2017___examples_from_literature___C4B_examples___t27.c n^10.8435359929862898
Flores-Montoya_2017___examples_from_literature___Other___ex_paper3.c n^22.8327952939725947
Flores-Montoya_2017___Adapted_from_Stroeder_15___MirrorInterv.cinf1.2746201389818452
Flores-Montoya_2017___examples_from_literature___WTC_V2___rank1.c n^25.255616984009976
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex1.03_true-termination.c 10.818553448014427
Flores-Montoya_2017___Adapted_from_Stroeder_15___CookSeeZuleger-TACAS2013-Fig8a_true-termination.c n^20.7178034169774037
Flores-Montoya_2017___examples_from_literature___WTC_V2___aaron3.cinf2.8931989620032255
Flores-Montoya_2017___Adapted_from_Stroeder_15___MinusMin.c n^10.6854440809984226
Flores-Montoya_2017___Adapted_from_Stroeder_15___LeikeHeizmann-TACAS2014-Ex1_true-termination.c n^10.6937348549836315
Flores-Montoya_2017___examples_from_literature___WTC_V2___while2.c n^20.7357239949924406
Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Bangalore_v2_false-termination.cinf1.3202377590059768
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_java_Break.c 10.7063743979961146
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex3.05_true-termination.cinf0.8977052369737066
Sinn_2016___CPU2006_Perl_scan_vstring.c n^217.043975121021504
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.04.c 10.6528208219970111
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChooseLife.cinf0.9022154029808007
Sinn_2016___CPU2006_ParseFile.ctimeout300
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaA6.c n^10.7405325479921885
Flores-Montoya_2017___examples_from_literature___Loopus___Loopus2015_big.c n^12.978382388013415
Flores-Montoya_2017___Adapted_from_Stroeder_15___aaron3_true-termination.cinf3.3204057489929255
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaC3.c n^10.7520005810074508
Flores-Montoya_2017___Adapted_from_Stroeder_15___BrockschmidtCookFuhs-CAV2013-Fig1_true-termination.c n^20.7223084150173236
Flores-Montoya_2017___examples_from_literature___WTC_V2___speedDis1.c n^10.7996635790041182
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.19_true-termination.cinf1.8832214009889867
Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Hanoi_2vars_false-termination.cinf1.6173101470049005
Flores-Montoya_2017___examples_from_literature___WTC_V2___random2d.c n^11.7228120689978823
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaC9.cinf2.8405802509805653
Flores-Montoya_2017___Adapted_from_Stroeder_15___NO_24.cinf0.8826128560176585
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChawdharyCookGulwaniSagivYang-ESOP2008-aaron12_true-termination.cinf0.2418735969986301
Flores-Montoya_2017___examples_from_literature___ABC___textbook_ex1.c n^10.6660956639971118
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_a.04.c n^10.6986498849873897
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-ndecr_true-termination.c n^10.7020788969821297
Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Hanoi_3vars_false-termination.cinf2.8605203889892437
Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_popl10_sequential_single.c n^10.9197687020059675
Flores-Montoya_2017___Adapted_from_Stroeder_15___WhileNested.cinf1.314565061009489
Flores-Montoya_2017___examples_from_literature___WTC_V2___speedFails3.cinf1.2710575480014086
Flores-Montoya_2017___Adapted_from_Stroeder_15___GCD.cinf2.043197320017498
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.08_true-termination.cinf1.7389862650015857
Flores-Montoya_2017___Adapted_from_Stroeder_15___Ex03.cinf0.8528883529943414
Flores-Montoya_2017___Adapted_from_Stroeder_15___PodelskiRybalchenko-TACAS2011-Fig1_true-termination.c n^10.6450169279996771
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-while2_true-termination.c n^20.7077547340013552
Flores-Montoya_2017___Adapted_from_Stroeder_15___UpAndDown.cinf1.6983873760036658
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.15.c n^10.7843905419867951
Flores-Montoya_2017___examples_from_literature___WTC_V2___sipmamergesort.cinf16.562641683005495
Sinn_2016___CPU2006_ApplyBndRobin.c EXP56.97768841398647
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.14_false-termination.cinf0.8590455109952018
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_a.01.c n^20.7000791509926785
Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Bangalore_false-termination.cinf1.3781168870045803
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex3.02_false-termination.cinf2.3510966789908707
Flores-Montoya_2017___Adapted_from_Stroeder_15___BradleyMannaSipma-CAV2005-Fig1-modified_false-termination.cinf0.9964664340077434
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaA4.c n^10.6796742170117795
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_java_Sequence.c 10.6952552740112878
Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_pldi09_fig4_2.c n^10.7690511260007042
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaB16.c n^10.712481894006487
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaB4.c 10.6382869880180806
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_ex2.cinf2.1816726510005537
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.06_false-termination.cinf9.512082626024494
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex1.04_true-termination.c n^10.8368070230062585
Flores-Montoya_2017___Adapted_from_Stroeder_15___Et4.cinf1.5802047039906029
Flores-Montoya_2017___Adapted_from_Stroeder_15___MirrorIntervSim.cinf1.0232799400109798
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.18_true-termination.cinf2.022424248018069
Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___McCarthy91_Iteration_true-termination.c n^20.8145493680203799
Flores-Montoya_2017___Adapted_from_Stroeder_15___Urban-WST2013-Fig1_false-termination.cinf0.812095536995912
Flores-Montoya_2017___Adapted_from_Stroeder_15___WhileFalse_true-termination.c 10.6699875979975332
Flores-Montoya_2017___examples_from_literature___WTC_V2___terminatorbubble.c n^21.2359028580249287
Flores-Montoya_2017___examples_from_literature___C4B_examples___t11.c n^10.8157672320085112
Flores-Montoya_2017___Adapted_from_Stroeder_15___Even.cinf0.8208444009942468
Flores-Montoya_2017___examples_from_literature___Loopus___Loopus2015_original.c n^11.6575712150079198
Flores-Montoya_2017___examples_from_literature___Loopus___Loopus2014_ex2.c n^11.3662894620210864
Flores-Montoya_2017___examples_from_literature___WTC_V2___sipmabubble.c n^20.8413720630051102
Flores-Montoya_2017___Adapted_from_Stroeder_15___AlternDiv.cinf1.02645033900626
Flores-Montoya_2017___Adapted_from_Stroeder_15___WhileTrue.cinf0.6702274569834117
Flores-Montoya_2017___Adapted_from_Stroeder_15___2Nested_true-termination.cinf1.5567958790052217
Flores-Montoya_2017___Adapted_from_Stroeder_15___Narrowing.cinf2.6275801680167206
Flores-Montoya_2017___examples_from_literature___WTC_V2___easy2.c n^10.6635544959863182
Flores-Montoya_2017___Adapted_from_Stroeder_15___BrockschmidtCookFuhs-CAV2013-Fig9a_true-termination.c n^20.8701479150040541
Flores-Montoya_2017___Adapted_from_Stroeder_15___Waldkirch_true-termination.c 10.6575072859995998
Flores-Montoya_2017___examples_from_literature___C4B_examples___t07.c n^10.7552549539832398
Flores-Montoya_2017___Adapted_from_Stroeder_15___Loop.cinf0.710050132998731
Flores-Montoya_2017___Adapted_from_Stroeder_15___NonTermination2_false-termination.cinf1.0531432770076208
Flores-Montoya_2017___examples_from_literature___C4B_examples___gcd.c n^11.0162669339915738
Flores-Montoya_2017___Adapted_from_Stroeder_15___Lobnya-Boolean-Reordered_true-termination.c n^11.148179268988315
Flores-Montoya_2017___Adapted_from_Stroeder_15___Masse-VMCAI2014-Ex6_true-termination.c n^30.787477753998246
Flores-Montoya_2017___Adapted_from_Stroeder_15___collatz.cinf1.9518037079833448
Flores-Montoya_2017___Adapted_from_Stroeder_15___CookSeeZuleger-TACAS2013-Fig8a-modified_true-termination.c n^20.7209269700106233
Sinn_2016___cBench_render_ht.c n^10.9240188660041895
Flores-Montoya_2017___Adapted_from_Stroeder_15___DivMinus2.c n^10.9263464119867422
Flores-Montoya_2017___examples_from_literature___WTC_V2___sipma91.c n^11.6696017450012732
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex1.02_true-termination.c n^10.8954354450106621
Sinn_2016___cBench_send_tree.c n^12.414984113012906
Flores-Montoya_2017___Adapted_from_Stroeder_15___Ex04.cinf0.6416071580024436
Sinn_2016___CPU2006_asctoeg.c n^21.734564621001482
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex1.01_true-termination.c 10.9850821159780025
Flores-Montoya_2017___examples_from_literature___Other___ex_paper1.c n^26.348003356019035
Sinn_2016___CPU2006_Configure.c n^13.377246379997814
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-Fig2a_true-termination.c n^11.2715173629985657
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-random1d_true-termination.c n^10.8708314289979171
Flores-Montoya_2017___Adapted_from_Stroeder_15___Piecewise_true-termination.cinf3.316618822980672
Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_popl10_fig2_2.c n^10.8342383560084272
Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_pldi09_fig4_5.c n^21.1011832189979032
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex3.09_true-termination.cinf1.360481139010517
Flores-Montoya_2017___examples_from_literature___WTC_V2___sipmamergesort2.cinf128.11680106501444
Flores-Montoya_2017___Adapted_from_Stroeder_15___genady_true-termination.c 10.6840292179840617
Flores-Montoya_2017___Adapted_from_Stroeder_15___NO_21.cinf0.6892671259993222
Flores-Montoya_2017___examples_from_literature___WTC_V2___speedFails2.cinf0.8024830819922499
Flores-Montoya_2017___examples_from_literature___Loopus___Loopus2011_ex1.c n^11.0456778059888165
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-speedpldi4_true-termination.c n^10.7859812540118583
Flores-Montoya_2017___Adapted_from_Stroeder_15___WhileIncr.cinf0.8866858510009479
Flores-Montoya_2017___examples_from_literature___C4B_examples___t62.c n^11.9019985019986052
Flores-Montoya_2017___Adapted_from_Stroeder_15___Velroyen_false-termination.cinf1.0034827349882107
Flores-Montoya_2017___examples_from_literature___ABC___textbook_ex4.c n^20.6800117829989176
Flores-Montoya_2017___Adapted_from_Stroeder_15___PodelskiRybalchenko-VMCAI2004-Ex2_true-termination.c 10.8636700979841407
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-wcet2_true-termination.c n^10.7453720190096647
Flores-Montoya_2017___examples_from_literature___WTC_V2___speedpldi4.c n^10.7806574290152639
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.21_true-termination.cinf1.307234789012
Flores-Montoya_2017___examples_from_literature___WTC_V2___catmouse.cinf0.8350854069867637
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_a.10.c n^20.7311492919980083
Flores-Montoya_2017___examples_from_literature___C4B_examples___knuth_morris_pratt.c n^11.4341015380050521
Sinn_2016___cBench_PackBitsEncode.cinf131.4065439029946
Flores-Montoya_2017___examples_from_literature___WTC_V2___real2.cinf3.7144469789927825
Flores-Montoya_2017___Adapted_from_Stroeder_15___McCarthyIterative.c n^20.8015452079998795
Flores-Montoya_2017___examples_from_literature___WTC_V2___easy1.c 10.7126844289887231
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaB14.c n^10.7188306110037956
Flores-Montoya_2017___Adapted_from_Stroeder_15___NonTerminationSimple6_false-termination.cinf0.9374512789945584
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.18.c n^10.8606648780114483
Flores-Montoya_2017___Adapted_from_Stroeder_15___AlternKonv.cinf1.4962445690180175
Flores-Montoya_2017___examples_from_literature___WTC_V2___speedSimpleMultipleDep.c n^20.7563542780117132
Flores-Montoya_2017___examples_from_literature___WTC_V2___terminate.c n^10.7184401509875897
Sinn_2016___cBench_hc_compute.c n^32.685099922004156
Flores-Montoya_2017___examples_from_literature___WTC_V2___perfect.c n^21.0427781349862926
Flores-Montoya_2017___Adapted_from_Stroeder_15___UpAndDownIneq.cinf1.5809159700002056
Flores-Montoya_2017___Adapted_from_Stroeder_15___Madrid_false-termination.cinf0.6333290080074221
Flores-Montoya_2017___Adapted_from_Stroeder_15___Copenhagen_true-termination.c n^10.7183447900169995
Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_popl10_simple_multiple.c n^10.8189536450081505
Flores-Montoya_2017___Adapted_from_Stroeder_15___Toulouse-MultiBranchesToLoop_true-termination.cinf1.425864383985754
Flores-Montoya_2017___Adapted_from_Stroeder_15___WhileIncrPart.cinf0.7838461160135921
Flores-Montoya_2017___examples_from_literature___WTC_V2___perfect2.c n^21.0542167329986114
Flores-Montoya_2017___Adapted_from_Stroeder_15___Bangalore_true-termination.c n^10.8315189990098588
Flores-Montoya_2017___Adapted_from_Stroeder_15___LeikeHeizmann-WST2014-Ex5_false-termination.cinf1.0297256220073905
Flores-Montoya_2017___examples_from_literature___ABC___textbook_ex2.c n^20.8108439859934151
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.12.c n^11.0807691199879628
Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Bangalore_v4_true-termination.c 10.7682156270020641
Flores-Montoya_2017___Adapted_from_Stroeder_15___BradleyMannaSipma-CAV2005-Fig1_true-termination.cinf1.0479728049831465
Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_popl10_fig2_1.c n^10.8387699479935691
Flores-Montoya_2017___examples_from_literature___WTC_V2___heapsort.c n^12.2184708590211812
Flores-Montoya_2017___Adapted_from_Stroeder_15___Ex06.cinf0.8987438470066991
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_a.05.c n^10.6896113710245118
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-exmini_true-termination.c n^10.7254104489984456
Flores-Montoya_2017___examples_from_literature___C4B_examples___t08.c n^10.7424666020087898
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChawdharyCookGulwaniSagivYang-ESOP2008-aaron4_true-termination.cinf23.829775424004765
Flores-Montoya_2017___examples_from_literature___C4B_examples___t28.c n^10.7484433650097344
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_a.08.c n^10.6724633929843549
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-Fig1_true-termination.cinf5.080469081993215
Flores-Montoya_2017___examples_from_literature___ABC___jama_ex7.c n^20.7132150479883421
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.01.c n^10.6908562149910722
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_c.08.c n^20.6799041129997931
Flores-Montoya_2017___examples_from_literature___WTC_V2___speedSingleSingle.c n^10.7163276169740129
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_c.02.c n^20.7184695370087866
Flores-Montoya_2017___examples_from_literature___WTC_V2___serpent.cinf5.295947377977427
Flores-Montoya_2017___Adapted_from_Stroeder_15___Benghazi_true-termination.c n^10.7747678429877851
Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Cairo_step2_false-termination.cinf0.8428323469997849
Flores-Montoya_2017___Adapted_from_Stroeder_15___NonTerminationSimple5_false-termination.cinf1.3145873990142718
Flores-Montoya_2017___examples_from_literature___WTC_V2___speedFails4.cinf1.6644826459814794
Sinn_2016___cBench_inflated_stored.c n^25.027704742999049
Flores-Montoya_2017___Adapted_from_Stroeder_15___TrueDiv.cinf0.8239539070054889
Sinn_2016___cBench_encode_mcu_AC_refine.c n^12.1413938440091442
Flores-Montoya_2017___examples_from_literature___WTC_V2___random1d.c n^10.7848719739995431
Flores-Montoya_2017___Adapted_from_Stroeder_15___PodelskiRybalchenko-LICS2004-Fig1_true-termination.c n^20.8106889380142093
Flores-Montoya_2017___examples_from_literature___WTC_V2___counterex1b.cinf6.350237215025118
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_easySum.c n^10.6826921300089452
Flores-Montoya_2017___Adapted_from_Stroeder_15___GCD2.cinf1.7224680369836278
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_c.01_assume.c n^20.8377270099881571
Flores-Montoya_2017___Adapted_from_Stroeder_15___DivMinus.c n^10.7278894720075186
Flores-Montoya_2017___Adapted_from_Stroeder_15___Lcm.cinf0.9295416430104524
Flores-Montoya_2017___Adapted_from_Stroeder_15___Sunset.cinf1.0050984999979846
Flores-Montoya_2017___examples_from_literature___WTC_V2___realheapsort.c EXP50.23864130998845
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaC1.c n^20.7760400449915323
Flores-Montoya_2017___Adapted_from_Stroeder_15___MinusUserDefined.c n^11.7526578920078464
Flores-Montoya_2017___Adapted_from_Stroeder_15___ConvLower.cinf0.8627594409917947
Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Hanoi_plus_false-termination.cinf2.301305016997503
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex3.04_true-termination.cinf0.9126750849827658
Flores-Montoya_2017___examples_from_literature___WTC_V2___insertsort.c n^21.1504702120146248
Flores-Montoya_2017___examples_from_literature___WTC_V2___perfect1.c n^21.069088988006115
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-random2d_true-termination.c 12.1351052270038053
Flores-Montoya_2017___examples_from_literature___WTC_V2___wcet2.c n^10.6947861459921114
Flores-Montoya_2017___examples_from_literature___WTC_V2___counterex1a.cinf8.182681862992467
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.13.c n^11.0651555170188658
Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Copenhagen_disj_true-termination.cinf0.8252939780068118
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-complex_true-termination.c n^10.8926988109888043
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_ex3b.cinf0.19852685401565395
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaC2.c n^20.6837337510078214
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaB11.c n^10.7472963740001433
Flores-Montoya_2017___examples_from_literature___WTC_V2___ndecr.c n^10.6724513520020992
Flores-Montoya_2017___Adapted_from_Stroeder_15___Parallel_true-termination.c n^10.9139766180014703
Flores-Montoya_2017___Adapted_from_Stroeder_15___Flip.cinf0.7997491469723172
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-terminate_true-termination.c n^10.6971226850000676
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.16.c n^10.7079078480019234
Flores-Montoya_2017___Adapted_from_Stroeder_15___NonTerminationSimple3_false-termination.cinf1.218671986978734
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.03_false-termination.cinf1.9396336459903978
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaB3.c n^10.7190637429885101
Flores-Montoya_2017___Adapted_from_Stroeder_15___gcd1_true-termination.c n^20.8971579440112691
Flores-Montoya_2017___Adapted_from_Stroeder_15___NO_22.cinf0.8904047780088149
Sinn_2016___cBench_sendMTFValues.c EXP5.577927400008775
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex4.01_true-termination.cinf0.9899170499993488
Flores-Montoya_2017___examples_from_literature___WTC_V2___realshellsort.c n^31.9390949969820213
Flores-Montoya_2017___examples_from_literature___Other___ex_paper2.c n^20.7349004739953671
Flores-Montoya_2017___Adapted_from_Stroeder_15___HeizmannHoenickeLeikePodelski-ATVA2013-Fig8_true-termination.c n^10.7940722320054192
Flores-Montoya_2017___Adapted_from_Stroeder_15___Ex08.cinf1.9519299420062453
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-speedpldi2_true-termination.c n^10.8567701569991186
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaB7.c n^10.690326843992807
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaC10.cinf1.7369971929874737
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaA9.c n^10.7444987510098144
Flores-Montoya_2017___examples_from_literature___C4B_examples___t19.c n^10.7347061010077596
Flores-Montoya_2017___Adapted_from_Stroeder_15___DoubleNeg.cinf1.0853031779988669
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaA7.c n^10.7387739450205117
Flores-Montoya_2017___Adapted_from_Stroeder_15___GCD4.c EXP0.8394218739995267
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.11.c n^10.7549768909811974
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_fermat.cinf0.252180990006309
Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Singapore_v1_false-termination.cinf1.5080102370120585
Flores-Montoya_2017___Adapted_from_Stroeder_15___AlternDivWidening.cinf1.6501786059816368
Flores-Montoya_2017___examples_from_literature___C4B_examples___t10.c n^10.8380043870129157
Sinn_2016___cBench_cf_decode_eol.c n^24.124774395982968
Flores-Montoya_2017___Adapted_from_Stroeder_15___Thun_true-termination.cinf1.930754208995495
Flores-Montoya_2017___examples_from_literature___WTC_V2___realheapsort_step1.c n^21.3785922860261053
Flores-Montoya_2017___Adapted_from_Stroeder_15___Ex05.cinf0.6514889860118274
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.09-no-inv_assume.cinf1.2526626820035744
Sinn_2016___CPU2006_local_alloc.c n^20.7650303010013886
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-wise_true-termination.c n^10.7493531510117464
Flores-Montoya_2017___Adapted_from_Stroeder_15___easy2_true-termination.c n^10.6642524149792735
Flores-Montoya_2017___examples_from_literature___WTC_V2___speedFails1.cinf1.709322280017659
Flores-Montoya_2017___examples_from_literature___Loopus___Loopus2014_ex1.c n^22.7768036729830783
Sinn_2016___cBench_cryptRandWriteFile.c n^10.8845907560025807
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaB6.c n^10.6804392829944845
Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___2Nested_false-termination.cinf1.5507591050118208
Flores-Montoya_2017___Adapted_from_Stroeder_15___BrockschmidtCookFuhs-CAV2013-Introduction_true-termination.c n^10.7429302810051013
Flores-Montoya_2017___examples_from_literature___WTC_V2___rsd.c n^10.9260920870001428
Flores-Montoya_2017___Adapted_from_Stroeder_15___ComplInterv3.cinf0.9662194020056631
Flores-Montoya_2017___examples_from_literature___WTC_V2___perfectg.c n^21.0307544829847757
Flores-Montoya_2017___Adapted_from_Stroeder_15___NonTermination4_false-termination.cinf0.993373454984976
Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_popl10_nested_multiple.c n^11.1027551479928661
Flores-Montoya_2017___Adapted_from_Stroeder_15___CookSeeZuleger-TACAS2013-Fig7a_true-termination.cinf6.537900883005932
Flores-Montoya_2017___Adapted_from_Stroeder_15___aaron2_true-termination.c n^11.0397992439975496
Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Mysore_false-termination.cinf2.300320524984272
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_c.01-no-inv.c n^20.7566518050152808
Flores-Montoya_2017___examples_from_literature___Loopus___Loopus2015_ex1.c n^21.1681064479926135
Flores-Montoya_2017___Adapted_from_Stroeder_15___WhileSingle.cinf0.8588690840115305
Flores-Montoya_2017___Adapted_from_Stroeder_15___LeikeHeizmann-TACAS2014-Ex9_true-termination.c n^10.8891380700224545
Flores-Montoya_2017___Adapted_from_Stroeder_15___Factorial.cinf0.7998532479978167
Flores-Montoya_2017___Adapted_from_Stroeder_15___NO_03.cinf0.8408441999927163
Flores-Montoya_2017___Adapted_from_Stroeder_15___UrbanMine-ESOP2014-Fig3_true-termination.cinf6.715903744014213
Flores-Montoya_2017___Adapted_from_Stroeder_15___Overflow.c n^10.7101321069931146
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.07_true-termination.cinf0.9425579759990796
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.05.c n^10.9195572480093688
Flores-Montoya_2017___Adapted_from_Stroeder_15___BradleyMannaSipma-ICALP2005-Fig1_true-termination.cinf6.822383957012789
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-speedFails4_true-termination.cinf1.5461093510093633
Flores-Montoya_2017___examples_from_literature___WTC_V2___rank3.cinf10.076950610004133
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_c.03.c n^10.7731099149968941
Sinn_2016___CPU2006_load_mems.c n^32.8155388940067496
Flores-Montoya_2017___Adapted_from_Stroeder_15___AlternDivWide.cinf1.1180823559989221
Flores-Montoya_2017___Adapted_from_Stroeder_15___Masse-VMCAI2014-Fig1b_true-termination.cinf1.7107947659969795
Sinn_2016___CPU2006_XNU.c n^13.1436288339900784
Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Cairo_nondet_false-termination.cinf0.9727123969933018
Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_popl10_simple_single.c n^10.7279180090117734
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex3.06_false-termination.cinf2.6399357990012504
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.10.c n^10.7813582620001398
Flores-Montoya_2017___Adapted_from_Stroeder_15___NonTerminationSimple9_false-termination.cinf1.0451436189759988
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.15_false-termination.cinf1.2971500209823716
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.02_false-termination.cinf1.5694528780004475
Flores-Montoya_2017___Adapted_from_Stroeder_15___Urban-WST2013-Fig2-modified1000_true-termination.c n^10.6955603169917595
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-speedpldi3_true-termination.c n^20.7976321619935334
Flores-Montoya_2017___examples_from_literature___WTC_V2___wcet1.c n^11.0234371599799488
Flores-Montoya_2017___Adapted_from_Stroeder_15___PodelskiRybalchenko-LICS2004-Fig2-TACAS2011-Fig3_true-termination.cinf1.943943574995501
Flores-Montoya_2017___examples_from_literature___WTC_V2___nestedLoop.c n^323.786213093990227
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChawdharyCookGulwaniSagivYang-ESOP2008-aaron6_true-termination.c n^12.2311485079990234
Flores-Montoya_2017___Adapted_from_Stroeder_15___LeikeHeizmann-TACAS2014-Fig1_true-termination.cinf1.6827831990085542
Flores-Montoya_2017___examples_from_literature___WTC_V2___gcd.cinf0.9729553439829033
Flores-Montoya_2017___examples_from_literature___ABC___jama_ex1.c n^20.6820996809983626
Flores-Montoya_2017___Adapted_from_Stroeder_15___GulavaniGulwani-CAV2008-Fig1b_true-termination.c n^10.7060187940078322
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex3.03_true-termination.cinf2.8815252569911536
Flores-Montoya_2017___Adapted_from_Stroeder_15___Log.c n^10.6677060049842112
Flores-Montoya_2017___Adapted_from_Stroeder_15___LeikeHeizmann-WST2014-Ex6_false-termination.cinf2.028528044989798
Flores-Montoya_2017___examples_from_literature___ABC___jama_ex4.c n^20.7330536610097624
Flores-Montoya_2017___Adapted_from_Stroeder_15___IntPath.c 10.6852109990140889
Flores-Montoya_2017___Adapted_from_Stroeder_15___Nyala-2lex_true-termination.cinf3.269915315991966
Flores-Montoya_2017___Adapted_from_Stroeder_15___CookSeeZuleger-TACAS2013-Fig7b_true-termination.cinf16.380512054020073
Flores-Montoya_2017___Adapted_from_Stroeder_15___WhileNestedOffset.cinf1.2045119980175514
Flores-Montoya_2017___Adapted_from_Stroeder_15___NO_00.cinf0.691216817998793
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.06.c n^10.7091046469868161
Flores-Montoya_2017___examples_from_literature___WTC_V2___nested_loop.c n^35.682537404005416
Flores-Montoya_2017___examples_from_literature___WTC_V2___loops.c n^20.8114276010019239
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.09_assume.c n^20.6974321460002102
Flores-Montoya_2017___examples_from_literature___WTC_V2___realbubble.c n^21.6396011540200561
Flores-Montoya_2017___Adapted_from_Stroeder_15___min_rf_true-termination.c n^11.9726508030144032
Flores-Montoya_2017___Adapted_from_Stroeder_15___KroeningSharyginaTsitovichWintersteiger-CAV2010-Ex_true-termination.c n^10.8161158720031381
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaB1.c n^10.663403468002798
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.12_false-termination.cinf1.658909516991116
Flores-Montoya_2017___examples_from_literature___C4B_examples___t47.c n^10.7114207150007132
Flores-Montoya_2017___examples_from_literature___WTC_V2___cousot9.c n^20.7852395829977468
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenCookFuhsNimkarOHearn-TACAS2014-Introduction_false-termination.cinf0.9658403020002879
Flores-Montoya_2017___Adapted_from_Stroeder_15___NO_10.cinf1.1768818669952452
Flores-Montoya_2017___examples_from_literature___WTC_V2___nd_loop.c 10.8919427930086385
Flores-Montoya_2017___Adapted_from_Stroeder_15___NO_12.cinf0.9137619209941477
Flores-Montoya_2017___examples_from_literature___WTC_V2___ax.c n^20.6936370700132102
Flores-Montoya_2017___Adapted_from_Stroeder_15___Urban-WST2013-Fig2_true-termination.c n^10.708220947009977
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.03_assume.c n^10.664907789992867
Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_popl10_nested_single.c n^10.9396711200242862
Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_pldi09_fig4_4.c n^10.726874718995532
Flores-Montoya_2017___Adapted_from_Stroeder_15___NonTerminationSimple4_false-termination.cinf0.715618018002715
Flores-Montoya_2017___Adapted_from_Stroeder_15___Middle.cinf0.8008993770054076
Flores-Montoya_2017___Adapted_from_Stroeder_15___NO_02.cinf0.7562066149839666
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.22_true-termination.cinf1.3104849389928859
Flores-Montoya_2017___Adapted_from_Stroeder_15___Cousot.cinf1.5130170630000066
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_java_AG313.c n^10.860566586983623
Flores-Montoya_2017___Adapted_from_Stroeder_15___NonTerminationSimple8_false-termination.cinf9.945250104006846
Flores-Montoya_2017___Adapted_from_Stroeder_15___TwoFloatInterv.cinf1.0871057909971569
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.01_true-termination.cinf1.637638070009416
Sinn_2016___cBench_subsetdump.c n^22.171485291008139
Flores-Montoya_2017___Adapted_from_Stroeder_15___GulwaniJainKoskinen-PLDI2009-Fig1_true-termination.cinf1.7704506049922202
Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_pldi09_fig1.c n^20.8249597499961965
Flores-Montoya_2017___Adapted_from_Stroeder_15___HeizmannHoenickeLeikePodelski-ATVA2013-Fig9_true-termination.cinf0.9348539999919012
Flores-Montoya_2017___examples_from_literature___WTC_V2___wcet0.c n^11.0279075330181513
Flores-Montoya_2017___Adapted_from_Stroeder_15___Gothenburg_true-termination.c n^20.9507497800223064
Flores-Montoya_2017___Adapted_from_Stroeder_15___TelAviv-Amir-Minimum_true-termination.cinf2.3159350549976807
Flores-Montoya_2017___examples_from_literature___ABC___jama_ex6.c n^40.8310475499893073
Flores-Montoya_2017___examples_from_literature___C4B_examples___t16.c n^20.9191790419863537
Flores-Montoya_2017___examples_from_literature___WTC_V2___unperfect.c n^21.0664151280070655
Sinn_2016___CPU2006_analyse_other.ctimeout300
Flores-Montoya_2017___Adapted_from_Stroeder_15___NO_04.cinf2.758523411990609
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex3.07_true-termination.cinf1.462355171010131
Flores-Montoya_2017___Adapted_from_Stroeder_15___Ex02.cinf0.8908986450114753
Flores-Montoya_2017___examples_from_literature___WTC_V2___alain.c n^31.185340840020217
Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Gothenburg_v2_true-termination.cinf1.8033363659924362
Flores-Montoya_2017___examples_from_literature___WTC_V2___realselect.c n^20.9545649380015675
Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Benghazi_nondet_true-termination.cinf1.8268054270010907
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaA1.c n^20.7056799629935995
Flores-Montoya_2017___examples_from_literature___WTC_V2___speedpldi3.c n^20.8115886029845569
Flores-Montoya_2017___examples_from_literature___C4B_examples___t20.c n^10.7168515650264453
Flores-Montoya_2017___examples_from_literature___ABC___jama_ex3.c n^20.6844091780076269
Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_pldi10_ex4.c n^10.6785630660015158
Flores-Montoya_2017___Adapted_from_Stroeder_15___ComplInterv2.cinf1.0813545970013365
Flores-Montoya_2017___Adapted_from_Stroeder_15___MinusBuiltIn.c 10.6700278310163412
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.16_true-termination.cinf1.2462132129876409
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-loops_true-termination.c n^20.7970539980160538
Flores-Montoya_2017___Adapted_from_Stroeder_15___NonTerminationSimple7_false-termination.cinf1.379855231003603
Flores-Montoya_2017___examples_from_literature___WTC_V2___exmini.c n^10.715335189976031
Flores-Montoya_2017___Adapted_from_Stroeder_15___Gauss.cinf0.774537945020711
Flores-Montoya_2017___Adapted_from_Stroeder_15___Masse-VMCAI2014-Fig1a_true-termination.c n^30.8238244510139339
Flores-Montoya_2017___Adapted_from_Stroeder_15___NO_01.cinf0.7519323469896335
Flores-Montoya_2017___Adapted_from_Stroeder_15___Pure3Phase_true-termination.cinf2.1593189100094605
Flores-Montoya_2017___Adapted_from_Stroeder_15___4NestedWith3Variables_true-termination.ctimeout300
Flores-Montoya_2017___Adapted_from_Stroeder_15___Nested.c 10.7237795929831918
Flores-Montoya_2017___Adapted_from_Stroeder_15___Avery-FLOPS2006-Table1_true-termination.c n^10.7230242720106617
Flores-Montoya_2017___Adapted_from_Stroeder_15___easy1_true-termination.c 10.7042449160071556
Flores-Montoya_2017___Adapted_from_Stroeder_15___NO_23.cinf0.7185321860015392
Flores-Montoya_2017___Adapted_from_Stroeder_15___Stockholm_true-termination.c n^10.7655542800202966
Flores-Montoya_2017___examples_from_literature___WTC_V2___counterex1c.cinf8.986936447996413
Flores-Montoya_2017___examples_from_literature___WTC_V2___speedpldi2.c n^10.8284273000026587
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.03-no-inv_assume.c n^10.7361853239999618
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_a.09_assume.c n^10.6993600960122421
Flores-Montoya_2017___Adapted_from_Stroeder_15___NoriSharma-FSE2013-Fig8_true-termination.c n^31.2058084100135602
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_a.06.c n^10.6798668380070012
Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Bangalore_v3_false-termination.cinf1.2835320629819762
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.10_true-termination.c n^10.6925234149966855
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.13_true-termination.cinf1.4489111549919471
Flores-Montoya_2017___examples_from_literature___WTC_V2___speedSingleSingle2.c n^11.9321276170085184
Flores-Montoya_2017___examples_from_literature___Other___exclusive_phases.c n^20.8608282089990098
Flores-Montoya_2017___Adapted_from_Stroeder_15___MenloPark_true-termination.cinf1.196349886013195
Flores-Montoya_2017___examples_from_literature___Loopus___Loopus2015_ex2.c n^10.8713913450192194
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.07.c n^10.6924432130181231
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-nestedLoop_true-termination.c n^21.135310912010027
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_a.07.c n^10.6812405799864791
Flores-Montoya_2017___Adapted_from_Stroeder_15___WhilePart.cinf0.7704840109799989
Flores-Montoya_2017___examples_from_literature___ABC___textbook_ex3.c n^60.8232961549947504
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.11_false-termination.cinf1.2943725259974599
Flores-Montoya_2017___examples_from_literature___Loopus___Loopus2011_ex2.cinf24.179113463993417
Flores-Montoya_2017___Adapted_from_Stroeder_15___NarrowKonv.cinf1.14555502901203
Flores-Montoya_2017___Adapted_from_Stroeder_15___Et2.cinf1.307476291025523
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-Fig2b_true-termination.ctimeout300
Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_pldi10_ex1.c n^21.4535546679981053
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-rsd_true-termination.c EXP1.9087156419991516
Flores-Montoya_2017___Adapted_from_Stroeder_15___PodelskiRybalchenko-TACAS2011-Fig2_true-termination.c n^20.6811173140013125
Flores-Montoya_2017___Adapted_from_Stroeder_15___LogMult.cinf0.19570292701246217
Flores-Montoya_2017___Adapted_from_Stroeder_15___Mysore_true-termination.c n^10.7358846139977686
Flores-Montoya_2017___Adapted_from_Stroeder_15___GulavaniGulwani-CAV2008-Fig1c_true-termination.c n^10.7072770759987179
Flores-Montoya_2017___Adapted_from_Stroeder_15___ColonSipma-TACAS2001-Fig1_true-termination.c n^10.8023505180026405
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_java_Nested.c 10.6628804400097579
Flores-Montoya_2017___Adapted_from_Stroeder_15___Cairo_true-termination.c n^10.7909380710043479
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-counterex1b_true-termination.cinf6.951169301988557
Sinn_2016___cBench_set_color_ht.c n^20.9692221409932245
Flores-Montoya_2017___examples_from_literature___WTC_V2___speedNestedMultiple.c n^11.1114539989794139
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex1.05_true-termination.c n^10.8526000829879194
Flores-Montoya_2017___examples_from_literature___WTC_V2___wise.c n^10.7272729139949661
Flores-Montoya_2017___Adapted_from_Stroeder_15___DivWithoutMinus.cinf1.3586523010162637
Flores-Montoya_2017___Adapted_from_Stroeder_15___Et1.cinf2.0218918829923496
Flores-Montoya_2017___Adapted_from_Stroeder_15___WhileTrue_false-termination.cinf0.6407742269802839
Flores-Montoya_2017___Adapted_from_Stroeder_15___ComplxStruc.cinf2.0858554920123424
Flores-Montoya_2017___Adapted_from_Stroeder_15___PodelskiRybalchenko-TACAS2011-Fig4_true-termination.cinf3.1883002830145415
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaA10.c n^20.7080824510194361
Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Singapore_v2_false-termination.cinf1.4930024970090017
Sinn_2016___cBench_noiseTickSize.c n^21.6324042970081791
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChawdharyCookGulwaniSagivYang-ESOP2008-random1d_true-termination.c n^10.8538180549803656
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaB2.c n^10.6607149270130321
Flores-Montoya_2017___examples_from_literature___WTC_V2___aaron12.cinf0.2167649270268157
Flores-Montoya_2017___Adapted_from_Stroeder_15___LarrazOliverasRodriguez-CarbonellRubio-FMCAD2013-Fig1_true-termination.cinf3.3502646640117746
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.02.c n^10.6675044009753037
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_b.14.c n^10.6995557580085006
Flores-Montoya_2017___Adapted_from_Stroeder_15___PodelskiRybalchenko-VMCAI2004-Ex1_true-termination.c n^11.1568087509949692
Flores-Montoya_2017___Adapted_from_Stroeder_15___GCD3.c n^10.9586564639757853
Flores-Montoya_2017___Adapted_from_Stroeder_15___GopanReps-CAV2006-Fig1a_true-termination.c.c 10.7567157269804738
Flores-Montoya_2017___examples_from_literature___C4B_examples___t15.c n^10.8315119509934448
Flores-Montoya_2017___examples_from_literature___WTC_V2___relation1.c 10.6684750719869044
Flores-Montoya_2017___Adapted_from_Stroeder_15___HeizmannHoenickeLeikePodelski-ATVA2013-Fig4_true-termination.c n^10.639320938003948
Flores-Montoya_2017___examples_from_literature___WTC_V2___speedSimpleMultiple.c n^10.7584166619926691
Flores-Montoya_2017___Adapted_from_Stroeder_15___WhileDecr.c n^10.6383627959876321
Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_popl10_simple_single_2.c n^10.7104984289908316
Flores-Montoya_2017___Adapted_from_Stroeder_15___GulavaniGulwani-CAV2008-Fig1a_true-termination.c n^10.7581738930020947
Sinn_2016___cBench_s_SFD_process.c n^37.072822379996069
Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Singapore_plus_false-termination.cinf1.529825833014911
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_ex1.c n^10.6584406280016992
Flores-Montoya_2017___examples_from_literature___Loopus___Loopus2011_ex3.c n^10.886788155999966
Flores-Montoya_2017___Adapted_from_Stroeder_15___NonTerminationSimple2_false-termination.cinf0.9248095559887588
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.20_true-termination.c n^10.9670919789932668
Flores-Montoya_2017___examples_from_literature___C4B_examples___t30.cinf1.354870042996481
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_java_Continue1.c 10.6906409210059792
Flores-Montoya_2017___Adapted_from_Stroeder_15___HeizmannHoenickeLeikePodelski-ATVA2013-Fig1_true-termination.c n^10.7298020779853687
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChawdharyCookGulwaniSagivYang-ESOP2008-aaron1_true-termination.c n^13.8316069369902834
Flores-Montoya_2017___Adapted_from_Stroeder_15___CookSeeZuleger-TACAS2013-Fig8b_true-termination.c n^10.8031682260043453
Flores-Montoya_2017___Adapted_from_Stroeder_15___NonTermination1_false-termination.cinf1.2333740720059723
Flores-Montoya_2017___Adapted_from_Ton_Chanh_15___Singapore_true-termination.cinf1.694172321993392
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-counterex1a_true-termination.cinf9.82661999197444
Sinn_2016___cBench_bin_search_StepSize2.cinf12.152536558016436
Flores-Montoya_2017___Adapted_from_Stroeder_15___Marbie2.cinf0.6402497399831191
Flores-Montoya_2017___examples_from_literature___C4B_examples___speed_pldi10_ex3.c n^10.9028505000169389
Flores-Montoya_2017___Adapted_from_Stroeder_15___Pure2Phase_true-termination.cinf2.317401826992864
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaC7.c n^10.7031619469926227
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChawdharyCookGulwaniSagivYang-ESOP2008-random2d_true-termination.c 12.109686048992444
Flores-Montoya_2017___Adapted_from_Stroeder_15___NO_13.cinf1.0629626000009011
Flores-Montoya_2017___Adapted_from_Stroeder_15___svcomp_flag.c n^10.6887883370218333
Sinn_2016___CPU2006_SingleLinkCluster.c n^22.921805674006464
Flores-Montoya_2017___Adapted_from_Stroeder_15___PlusSwap.cinf1.2706075120077003
Flores-Montoya_2017___examples_from_literature___WTC_V2___rank2.c n^11.1394968059903476
Flores-Montoya_2017___Adapted_from_Stroeder_15___LeikeHeizmann-TACAS2014-Ex7_true-termination.cinf1.316925432998687
Flores-Montoya_2017___Adapted_from_Stroeder_15___CookSeeZuleger-TACAS2013-Fig1_true-termination.cinf2.984200648992555
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaB17.c n^10.7021692609996535
Flores-Montoya_2017___examples_from_literature___WTC_V2___complex.c n^10.8852388510131277
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaA8.c n^10.6609185230045114
Flores-Montoya_2017___Adapted_from_Stroeder_15___Ex01.cinf0.9308501589985099
Flores-Montoya_2017___Adapted_from_Stroeder_15___AliasDarteFeautrierGonnord-SAS2010-cousot9_true-termination.c n^20.7369646610168274
Flores-Montoya_2017___Adapted_from_Stroeder_15___NoriSharma-FSE2013-Fig7_true-termination.c n^10.697486271004891
Flores-Montoya_2017___Adapted_from_Stroeder_15___PastaB15.c n^10.7344852270034607
Flores-Montoya_2017___Adapted_from_Stroeder_15___LeikeHeizmann-TACAS2014-Ex8_true-termination.cinf1.5793034069938585
Flores-Montoya_2017___Adapted_from_Stroeder_15___Sequence.c 10.6699351909919642
Flores-Montoya_2017___Adapted_from_Stroeder_15___Toulouse-BranchesToLoop_true-termination.cinf1.2284266269998625
Flores-Montoya_2017___Adapted_from_Stroeder_15___Rotation180_false-termination.cinf0.6227129510079976
Flores-Montoya_2017___examples_from_literature___WTC_V2___speedNestedMultipleDep.c n^20.7310909850057214
Flores-Montoya_2017___Adapted_from_Stroeder_15___LogAG.c n^10.7056025599886198
Flores-Montoya_2017___examples_from_literature___ABC___jama_ex2.c n^20.679018159979023
Sinn_2016___CPU2006_xdr3dfcoord.c n^25.495692250988213
Flores-Montoya_2017___Adapted_from_Stroeder_15___ChenFlurMukhopadhyay-SAS2012-Ex2.09_true-termination.cinf0.9170477750012651