TermComp 2020: Complexity: C_Integer 41565 Job info CSV Showing results.

AProVE
benchmark UPLOWTIME
Flores-Montoya_2017/examples_from_literature/WTC_V2/aaron12.c 11767905 u ∞ +0 1 +0 0.59/0.53
Flores-Montoya_2017/examples_from_literature/WTC_V2/aaron2.c 11767867 s n1 +1 1 +0 2.82/1.99
Flores-Montoya_2017/examples_from_literature/WTC_V2/aaron3.c 11767874 u ∞ +0 1 +0 6.00/4.94
Flores-Montoya_2017/examples_from_literature/WTC_V2/alain.c 11767886 s n3 +1 1 +0 3.35/2.21
Flores-Montoya_2017/examples_from_literature/WTC_V2/ax.c 11767869 s n2 +1 1 +0 2.31/1.47
Flores-Montoya_2017/examples_from_literature/WTC_V2/catmouse.c 11767882 u ∞ +0 1 +0 2.54/1.42
Flores-Montoya_2017/examples_from_literature/WTC_V2/complex.c 11767925 s n1 +1 1 +0 2.67/1.73
Flores-Montoya_2017/examples_from_literature/WTC_V2/counterex1a.c 11767880 u ∞ +0 1 +0 15.57/14.06
Flores-Montoya_2017/examples_from_literature/WTC_V2/counterex1b.c 11767868 u ∞ +0 1 +0 12.34/12.08
Flores-Montoya_2017/examples_from_literature/WTC_V2/counterex1c.c 11767872 u ∞ +0 1 +0 16.86/15.45
Flores-Montoya_2017/examples_from_literature/WTC_V2/cousot9.c 11767909 s n2 +1 1 +0 2.46/1.42
Flores-Montoya_2017/examples_from_literature/WTC_V2/easy1.c 11767900 s 1 +1 1 +0 2.13/1.46
Flores-Montoya_2017/examples_from_literature/WTC_V2/easy2.c 11767921 s n1 +1 1 +0 2.31/1.38
Flores-Montoya_2017/examples_from_literature/WTC_V2/exmini.c 11767885 s n1 +1 1 +0 2.40/1.43
Flores-Montoya_2017/examples_from_literature/WTC_V2/gcd.c 11767927 u ∞ +0 1 +0 2.71/1.81
Flores-Montoya_2017/examples_from_literature/WTC_V2/heapsort.c 11767923 s n1 +1 1 +0 5.05/5.84
Flores-Montoya_2017/examples_from_literature/WTC_V2/insertsort.c 11767904 s n2 +1 1 +0 3.04/2.05
Flores-Montoya_2017/examples_from_literature/WTC_V2/loops.c 11767870 s n2 +1 1 +0 2.67/1.58
Flores-Montoya_2017/examples_from_literature/WTC_V2/ndecr.c 11767884 s n1 +1 1 +0 2.26/1.39
Flores-Montoya_2017/examples_from_literature/WTC_V2/nd_loop.c 11767903 s 1 +1 1 +0 2.65/1.70
Flores-Montoya_2017/examples_from_literature/WTC_V2/nestedLoop.c 11767892 s n3 +1 1 +0 42.19/40.54
Flores-Montoya_2017/examples_from_literature/WTC_V2/nested_loop.c 11767866 s n3 +1 1 +0 11.51/11.38
Flores-Montoya_2017/examples_from_literature/WTC_V2/perfect.c 11767883 s n2 +1 1 +0 2.77/1.94
Flores-Montoya_2017/examples_from_literature/WTC_V2/perfect1.c 11767889 s n2 +1 1 +0 2.82/1.84
Flores-Montoya_2017/examples_from_literature/WTC_V2/perfect2.c 11767871 s n2 +1 1 +0 2.96/2.07
Flores-Montoya_2017/examples_from_literature/WTC_V2/perfectg.c 11767877 s n2 +1 1 +0 2.95/1.92
Flores-Montoya_2017/examples_from_literature/WTC_V2/random1d.c 11767914 s n1 +1 1 +0 2.39/1.57
Flores-Montoya_2017/examples_from_literature/WTC_V2/random2d.c 11767902 s n1 +1 1 +0 4.25/3.06
Flores-Montoya_2017/examples_from_literature/WTC_V2/rank1.c 11767920 s n2 +1 1 +0 10.09/8.93
Flores-Montoya_2017/examples_from_literature/WTC_V2/rank2.c 11767899 s n1 +1 1 +0 3.19/2.23
Flores-Montoya_2017/examples_from_literature/WTC_V2/rank3.c 11767906 u ∞ +0 1 +0 18.44/17.05
Flores-Montoya_2017/examples_from_literature/WTC_V2/real2.c 11767894 u ∞ +0 1 +0 7.42/6.32
Flores-Montoya_2017/examples_from_literature/WTC_V2/realbubble.c 11767919 s n2 +1 1 +0 4.04/3.78
Flores-Montoya_2017/examples_from_literature/WTC_V2/realheapsort.c 11767875 u ∞ +0 1 +0 93.82/91.69
Flores-Montoya_2017/examples_from_literature/WTC_V2/realheapsort_step1.c 11767912 s n2 +1 1 +0 3.58/2.48
Flores-Montoya_2017/examples_from_literature/WTC_V2/realheapsort_step2.c 11767928 s n2 +1 1 +0 6.94/5.57
Flores-Montoya_2017/examples_from_literature/WTC_V2/realselect.c 11767896 s n2 +1 1 +0 2.87/8.53
Flores-Montoya_2017/examples_from_literature/WTC_V2/realshellsort.c 11767891 s n3 +1 1 +0 4.39/3.11
Flores-Montoya_2017/examples_from_literature/WTC_V2/relation1.c 11767893 s 1 +1 1 +0 2.22/1.42
Flores-Montoya_2017/examples_from_literature/WTC_V2/rsd.c 11767907 s n1 +1 1 +0 2.57/1.69
Flores-Montoya_2017/examples_from_literature/WTC_V2/serpent.c 11767930 u ∞ +0 1 +0 10.63/9.33
Flores-Montoya_2017/examples_from_literature/WTC_V2/sipma91.c 11767897 s n1 +1 1 +0 4.07/3.05
Flores-Montoya_2017/examples_from_literature/WTC_V2/sipmabubble.c 11767916 s n2 +1 1 +0 2.69/1.71
Flores-Montoya_2017/examples_from_literature/WTC_V2/sipmamergesort.c 11767924 u ∞ +0 1 +0 29.62/27.66
Flores-Montoya_2017/examples_from_literature/WTC_V2/sipmamergesort2.c 11767888 u ∞ +0 1 +0 226.52/223.62
Flores-Montoya_2017/examples_from_literature/WTC_V2/speedDis1.c 11767895 s n1 +1 1 +0 2.40/1.54
Flores-Montoya_2017/examples_from_literature/WTC_V2/speedDis2.c 11767918 s n1 +1 1 +0 2.37/1.50
Flores-Montoya_2017/examples_from_literature/WTC_V2/speedFails1.c 11767873 u ∞ +0 1 +0 3.79/2.78
Flores-Montoya_2017/examples_from_literature/WTC_V2/speedFails2.c 11767890 u ∞ +0 1 +0 2.34/1.55
Flores-Montoya_2017/examples_from_literature/WTC_V2/speedFails3.c 11767879 u ∞ +0 1 +0 3.02/1.96
Flores-Montoya_2017/examples_from_literature/WTC_V2/speedFails4.c 11767926 u ∞ +0 1 +0 3.98/3.04
Flores-Montoya_2017/examples_from_literature/WTC_V2/speedNestedMultiple.c 11767898 s n1 +1 1 +0 2.98/2.05
Flores-Montoya_2017/examples_from_literature/WTC_V2/speedNestedMultipleDep.c 11767878 s n2 +1 1 +0 2.45/1.28
Flores-Montoya_2017/examples_from_literature/WTC_V2/speedpldi2.c 11767876 s n1 +1 1 +0 2.58/1.61
Flores-Montoya_2017/examples_from_literature/WTC_V2/speedpldi3.c 11767863 s n2 +1 1 +0 2.67/1.61
Flores-Montoya_2017/examples_from_literature/WTC_V2/speedpldi4.c 11767915 s n1 +1 1 +0 2.36/1.52
Flores-Montoya_2017/examples_from_literature/WTC_V2/speedSimpleMultiple.c 11767865 s n1 +1 1 +0 2.45/1.51
Flores-Montoya_2017/examples_from_literature/WTC_V2/speedSimpleMultipleDep.c 11767922 s n2 +1 1 +0 2.49/1.56
Flores-Montoya_2017/examples_from_literature/WTC_V2/speedSingleSingle.c 11767910 s n1 +1 1 +0 2.34/1.44
Flores-Montoya_2017/examples_from_literature/WTC_V2/speedSingleSingle2.c 11767881 s n1 +1 1 +0 4.48/3.32
Flores-Montoya_2017/examples_from_literature/WTC_V2/terminate.c 11767887 s n1 +1 1 +0 2.48/1.51
Flores-Montoya_2017/examples_from_literature/WTC_V2/terminatorbubble.c 11767911 s n2 +1 1 +0 3.21/2.23
Flores-Montoya_2017/examples_from_literature/WTC_V2/unperfect.c 11767908 s n2 +1 1 +0 2.96/1.92
Flores-Montoya_2017/examples_from_literature/WTC_V2/wcet0.c 11767917 s n1 +1 1 +0 2.89/2.01
Flores-Montoya_2017/examples_from_literature/WTC_V2/wcet1.c 11767929 s n1 +1 1 +0 2.94/2.38
Flores-Montoya_2017/examples_from_literature/WTC_V2/wcet2.c 11767913 s n1 +1 1 +0 2.34/1.47
Flores-Montoya_2017/examples_from_literature/WTC_V2/while2.c 11767901 s n2 +1 1 +0 2.35/1.51
Flores-Montoya_2017/examples_from_literature/WTC_V2/wise.c 11767864 s n1 +1 1 +0 2.38/1.46
Sinn_2016/cBench_bin_search_StepSize2.c 11767949 u ∞ +0 1 +0 21.36/19.82
Sinn_2016/cBench_cf_decode_eol.c 11767936 s n2 +1 1 +0 8.89/7.57
Sinn_2016/cBench_cryptRandWriteFile.c 11767942 s n1 +1 1 +0 2.68/1.61
Sinn_2016/cBench_encode_mcu_AC_refine.c 11767947 s n1 +1 1 +0 4.82/3.48
Sinn_2016/cBench_hc_compute.c 11767935 s n3 +1 1 +0 5.04/3.83
Sinn_2016/cBench_inflated_stored.c 11767939 s n2 +1 1 +0 10.03/9.98
Sinn_2016/cBench_noiseTickSize.c 11767943 s n2 +1 1 +0 4.09/3.02
Sinn_2016/cBench_PackBitsEncode.c 11767931 u ∞ +0 1 +0 146.77/146.07
Sinn_2016/cBench_render_ht.c 11767950 s n1 +1 1 +0 2.57/1.68
Sinn_2016/cBench_sendMTFValues.c 11767934 s n2 +1 1 +0 10.07/8.73
Sinn_2016/cBench_send_tree.c 11767954 s n1 +1 1 +0 5.53/4.18
Sinn_2016/cBench_set_color_ht.c 11767956 s n2 +1 1 +0 2.82/1.93
Sinn_2016/cBench_subsetdump.c 11767940 s n2 +1 1 +0 5.18/3.82
Sinn_2016/cBench_s_SFD_process.c 11767955 s n3 +1 1 +0 13.92/12.46
Sinn_2016/cBench_zwritehexstring_at.c 11767933 s n1 +1 1 +0 2.55/1.74
Sinn_2016/CPU2006_analyse_other.c 11767953 u ∞ +0 1 +0 299.40/296.49
Sinn_2016/CPU2006_ApplyBndRobin.c 11767938 u ∞ +0 1 +0 99.29/97.15
Sinn_2016/CPU2006_asctoeg.c 11767951 s n2 +1 1 +0 3.85/2.71
Sinn_2016/CPU2006_Configure.c 11767946 s n1 +1 1 +0 7.37/5.91
Sinn_2016/CPU2006_load_mems.c 11767952 s n3 +1 1 +0 6.29/7.33
Sinn_2016/CPU2006_local_alloc.c 11767945 s n2 +1 1 +0 2.41/1.44
Sinn_2016/CPU2006_ParseFile.c 11767944 u ∞ +0 1 +0 301.82/297.30
Sinn_2016/CPU2006_Perl_scan_vstring.c 11767948 s n2 +1 1 +0 33.16/31.66
Sinn_2016/CPU2006_SingleLinkCluster.c 11767941 s n2 +1 1 +0 6.50/5.11
Sinn_2016/CPU2006_xdr3dfcoord.c 11767932 s n2 +1 1 +0 12.09/10.53
Sinn_2016/CPU2006_XNU.c 11767937 s n1 +1 1 +0 6.57/5.21
Flores-Montoya_2017/examples_from_literature/C4B_examples/gcd.c 11767840 s n1 +1 1 +0 2.42/1.38
Flores-Montoya_2017/examples_from_literature/C4B_examples/knuth_morris_pratt.c 11767829 s n1 +1 1 +0 3.72/2.52
Flores-Montoya_2017/examples_from_literature/C4B_examples/speed_pldi09_fig1.c 11767824 s n2 +1 1 +0 2.42/1.51
Flores-Montoya_2017/examples_from_literature/C4B_examples/speed_pldi09_fig4_2.c 11767832 s n1 +1 1 +0 2.49/1.57
Flores-Montoya_2017/examples_from_literature/C4B_examples/speed_pldi09_fig4_4.c 11767848 s n1 +1 1 +0 2.43/1.48
Flores-Montoya_2017/examples_from_literature/C4B_examples/speed_pldi09_fig4_5.c 11767847 s n2 +1 1 +0 3.06/1.98
Flores-Montoya_2017/examples_from_literature/C4B_examples/speed_pldi10_ex1.c 11767823 s n2 +1 1 +0 3.72/2.73
Flores-Montoya_2017/examples_from_literature/C4B_examples/speed_pldi10_ex3.c 11767836 s n1 +1 1 +0 2.83/1.77
Flores-Montoya_2017/examples_from_literature/C4B_examples/speed_pldi10_ex4.c 11767844 s n1 +1 1 +0 2.35/1.48
Flores-Montoya_2017/examples_from_literature/C4B_examples/speed_popl10_fig2_1.c 11767850 s n1 +1 1 +0 2.42/1.45
Flores-Montoya_2017/examples_from_literature/C4B_examples/speed_popl10_fig2_2.c 11767842 s n1 +1 1 +0 2.47/1.50
Flores-Montoya_2017/examples_from_literature/C4B_examples/speed_popl10_nested_multiple.c 11767830 s n1 +1 1 +0 3.02/2.10
Flores-Montoya_2017/examples_from_literature/C4B_examples/speed_popl10_nested_single.c 11767821 s n1 +1 1 +0 2.65/1.80
Flores-Montoya_2017/examples_from_literature/C4B_examples/speed_popl10_sequential_single.c 11767849 s n1 +1 1 +0 2.72/1.65
Flores-Montoya_2017/examples_from_literature/C4B_examples/speed_popl10_simple_multiple.c 11767841 s n1 +1 1 +0 2.44/1.46
Flores-Montoya_2017/examples_from_literature/C4B_examples/speed_popl10_simple_single.c 11767827 s n1 +1 1 +0 2.29/1.40
Flores-Montoya_2017/examples_from_literature/C4B_examples/speed_popl10_simple_single_2.c 11767843 s n1 +1 1 +0 2.36/1.42
Flores-Montoya_2017/examples_from_literature/C4B_examples/t07.c 11767851 s n1 +1 1 +0 2.40/1.38
Flores-Montoya_2017/examples_from_literature/C4B_examples/t08.c 11767828 s n1 +1 1 +0 2.45/1.43
Flores-Montoya_2017/examples_from_literature/C4B_examples/t10.c 11767831 s n1 +1 1 +0 2.49/1.69
Flores-Montoya_2017/examples_from_literature/C4B_examples/t11.c 11767834 s n1 +1 1 +0 2.41/1.45
Flores-Montoya_2017/examples_from_literature/C4B_examples/t13.c 11767825 s n2 +1 1 +0 3.15/2.06
Flores-Montoya_2017/examples_from_literature/C4B_examples/t15.c 11767839 s n1 +1 1 +0 2.45/1.58
Flores-Montoya_2017/examples_from_literature/C4B_examples/t16.c 11767846 s n2 +1 1 +0 2.70/1.72
Flores-Montoya_2017/examples_from_literature/C4B_examples/t19.c 11767822 s n1 +1 1 +0 2.46/5.45
Flores-Montoya_2017/examples_from_literature/C4B_examples/t20.c 11767835 s n1 +1 1 +0 2.35/1.38
Flores-Montoya_2017/examples_from_literature/C4B_examples/t27.c 11767845 s n1 +1 1 +0 2.60/1.68
Flores-Montoya_2017/examples_from_literature/C4B_examples/t28.c 11767826 s n1 +1 1 +0 2.58/10.16
Flores-Montoya_2017/examples_from_literature/C4B_examples/t30.c 11767833 u ∞ +0 1 +0 3.08/2.26
Flores-Montoya_2017/examples_from_literature/C4B_examples/t47.c 11767838 s n1 +1 1 +0 2.43/1.40
Flores-Montoya_2017/examples_from_literature/C4B_examples/t62.c 11767837 s n1 +1 1 +0 4.61/3.38
Flores-Montoya_2017/examples_from_literature/ABC/jama_ex1.c 11767861 s n2 +1 1 +0 2.40/1.48
Flores-Montoya_2017/examples_from_literature/ABC/jama_ex2.c 11767859 s n2 +1 1 +0 2.44/1.40
Flores-Montoya_2017/examples_from_literature/ABC/jama_ex3.c 11767860 s n2 +1 1 +0 2.26/1.45
Flores-Montoya_2017/examples_from_literature/ABC/jama_ex4.c 11767852 s n2 +1 1 +0 2.34/1.47
Flores-Montoya_2017/examples_from_literature/ABC/jama_ex5.c 11767854 s n2 +1 1 +0 2.36/1.34
Flores-Montoya_2017/examples_from_literature/ABC/jama_ex6.c 11767858 s n4 +1 1 +0 2.61/1.65
Flores-Montoya_2017/examples_from_literature/ABC/jama_ex7.c 11767855 s n2 +1 1 +0 2.42/1.30
Flores-Montoya_2017/examples_from_literature/ABC/textbook_ex1.c 11767853 s n1 +1 1 +0 2.27/1.23
Flores-Montoya_2017/examples_from_literature/ABC/textbook_ex2.c 11767856 s n2 +1 1 +0 2.33/1.29
Flores-Montoya_2017/examples_from_literature/ABC/textbook_ex3.c 11767857 s n6 +1 1 +0 2.55/1.53
Flores-Montoya_2017/examples_from_literature/ABC/textbook_ex4.c 11767862 s n2 +1 1 +0 2.44/1.45
Flores-Montoya_2017/examples_from_literature/Other/exclusive_phases.c 11767810 s n2 +1 1 +0 2.64/1.69
Flores-Montoya_2017/examples_from_literature/Other/ex_paper1.c 11767811 s n2 +1 1 +0 12.74/11.12
Flores-Montoya_2017/examples_from_literature/Other/ex_paper2.c 11767808 s n2 +1 1 +0 2.40/1.41
Flores-Montoya_2017/examples_from_literature/Other/ex_paper3.c 11767809 s n2 +1 1 +0 6.42/5.07
Flores-Montoya_2017/examples_from_literature/Loopus/Loopus2011_ex1.c 11767820 s n1 +1 1 +0 2.86/2.06
Flores-Montoya_2017/examples_from_literature/Loopus/Loopus2011_ex2.c 11767818 u ∞ +0 1 +0 41.82/39.96
Flores-Montoya_2017/examples_from_literature/Loopus/Loopus2011_ex3.c 11767817 s n1 +1 1 +0 2.65/1.71
Flores-Montoya_2017/examples_from_literature/Loopus/Loopus2014_ex1.c 11767815 s n2 +1 1 +0 6.20/7.78
Flores-Montoya_2017/examples_from_literature/Loopus/Loopus2014_ex2.c 11767812 s n1 +1 1 +0 3.53/2.50
Flores-Montoya_2017/examples_from_literature/Loopus/Loopus2015_big.c 11767813 s n1 +1 1 +0 6.71/7.25
Flores-Montoya_2017/examples_from_literature/Loopus/Loopus2015_ex1.c 11767816 s n2 +1 1 +0 3.15/2.16
Flores-Montoya_2017/examples_from_literature/Loopus/Loopus2015_ex2.c 11767814 s n1 +1 1 +0 2.78/1.73
Flores-Montoya_2017/examples_from_literature/Loopus/Loopus2015_original.c 11767819 s n1 +1 1 +0 4.09/2.90
Flores-Montoya_2017/Adapted_from_Stroeder_15/2Nested_true-termination.c 11767554 u ∞ +0 1 +0 3.62/2.57
Flores-Montoya_2017/Adapted_from_Stroeder_15/4NestedWith3Variables_true-termination.c 11767604 u ∞ +0 1 +0 297.92/296.26
Flores-Montoya_2017/Adapted_from_Stroeder_15/aaron2_true-termination.c 11767685 s n1 +1 1 +0 2.96/3.22
Flores-Montoya_2017/Adapted_from_Stroeder_15/aaron3_true-termination.c 11767569 u ∞ +0 1 +0 8.75/7.65
Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-complex_true-termination.c 11767552 s n1 +1 1 +0 2.68/1.67
Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-counterex1a_true-termination.c 11767581 u ∞ +0 1 +0 18.17/16.71
Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-counterex1b_true-termination.c 11767790 u ∞ +0 1 +0 13.23/11.89
Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-cousot9_true-termination.c 11767594 s n2 +1 1 +0 2.45/1.41
Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-exmini_true-termination.c 11767664 s n1 +1 1 +0 2.46/1.32
Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-Fig1_true-termination.c 11767644 u ∞ +0 1 +0 10.16/8.84
Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-Fig2a_true-termination.c 11767796 s n1 +1 1 +0 3.32/2.32
Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-Fig2b_true-termination.c 11767587 u ∞ +0 1 +0 18.68/17.26
Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-loops_true-termination.c 11767778 s n2 +1 1 +0 2.48/1.60
Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-ndecr_true-termination.c 11767769 s n1 +1 1 +0 2.30/1.39
Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_true-termination.c 11767634 s n2 +1 1 +0 3.23/2.26
Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-random1d_true-termination.c 11767617 s n1 +1 1 +0 2.51/1.67
Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-random2d_true-termination.c 11767540 s 1 +1 1 +0 4.89/3.60
Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-rsd_true-termination.c 11767582 u ∞ +0 1 +0 4.31/8.76
Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-speedFails4_true-termination.c 11767626 u ∞ +0 1 +0 3.60/2.72
Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-speedpldi2_true-termination.c 11767506 s n1 +1 1 +0 2.39/4.80
Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-speedpldi3_true-termination.c 11767807 s n2 +1 1 +0 2.47/2.67
Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-speedpldi4_true-termination.c 11767745 s n1 +1 1 +0 2.50/1.46
Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-terminate_true-termination.c 11767625 s n1 +1 1 +0 2.37/1.38
Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-wcet2_true-termination.c 11767636 s n1 +1 1 +0 2.37/1.48
Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-while2_true-termination.c 11767693 s n2 +1 1 +0 2.34/1.37
Flores-Montoya_2017/Adapted_from_Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-wise_true-termination.c 11767514 s n1 +1 1 +0 2.35/1.44
Flores-Montoya_2017/Adapted_from_Stroeder_15/AlternDiv.c 11767566 u ∞ +0 1 +0 2.73/1.93
Flores-Montoya_2017/Adapted_from_Stroeder_15/AlternDivWide.c 11767630 u ∞ +0 1 +0 2.91/1.99
Flores-Montoya_2017/Adapted_from_Stroeder_15/AlternDivWidening.c 11767671 u ∞ +0 1 +0 3.79/2.93
Flores-Montoya_2017/Adapted_from_Stroeder_15/AlternKonv.c 11767533 u ∞ +0 1 +0 3.48/2.51
Flores-Montoya_2017/Adapted_from_Stroeder_15/Avery-FLOPS2006-Table1_true-termination.c 11767597 s n1 +1 1 +0 2.39/1.46
Flores-Montoya_2017/Adapted_from_Stroeder_15/Bangalore_true-termination.c 11767681 s n1 +1 1 +0 2.34/1.33
Flores-Montoya_2017/Adapted_from_Stroeder_15/Ben-Amram-LMCS2010-Ex2.3_true-termination.c 11767780 u ∞ +0 1 +0 6.19/5.30
Flores-Montoya_2017/Adapted_from_Stroeder_15/Benghazi_true-termination.c 11767691 s n1 +1 1 +0 2.45/1.60
Flores-Montoya_2017/Adapted_from_Stroeder_15/BradleyMannaSipma-CAV2005-Fig1-modified_false-termination.c 11767709 u ∞ +0 1 +0 2.75/1.79
Flores-Montoya_2017/Adapted_from_Stroeder_15/BradleyMannaSipma-CAV2005-Fig1_true-termination.c 11767555 u ∞ +0 1 +0 2.75/1.88
Flores-Montoya_2017/Adapted_from_Stroeder_15/BradleyMannaSipma-ICALP2005-Fig1_true-termination.c 11767651 u ∞ +0 1 +0 13.27/12.09
Flores-Montoya_2017/Adapted_from_Stroeder_15/BrockschmidtCookFuhs-CAV2013-Fig1_true-termination.c 11767608 s n2 +1 1 +0 2.37/1.43
Flores-Montoya_2017/Adapted_from_Stroeder_15/BrockschmidtCookFuhs-CAV2013-Fig9a_true-termination.c 11767762 s n2 +1 1 +0 2.61/1.58
Flores-Montoya_2017/Adapted_from_Stroeder_15/BrockschmidtCookFuhs-CAV2013-Introduction_true-termination.c 11767670 s n1 +1 1 +0 2.39/1.51
Flores-Montoya_2017/Adapted_from_Stroeder_15/Cairo_true-termination.c 11767719 s n1 +1 1 +0 2.23/1.49
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron12_true-termination.c 11767803 u ∞ +0 1 +0 0.59/0.63
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron1_true-termination.c 11767687 s n1 +1 1 +0 8.95/7.53
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron4_true-termination.c 11767739 u ∞ +0 1 +0 40.40/38.57
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron6_true-termination.c 11767647 s n1 +1 1 +0 5.36/4.04
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-random1d_true-termination.c 11767792 s n1 +1 1 +0 2.51/1.46
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-random2d_true-termination.c 11767696 s 1 +1 1 +0 4.92/5.21
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenCookFuhsNimkarOHearn-TACAS2014-Introduction_false-termination.c 11767708 u ∞ +0 1 +0 2.72/1.88
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex1.01_true-termination.c 11767536 s 1 +1 1 +0 2.62/1.73
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex1.02_true-termination.c 11767638 s n1 +1 1 +0 2.61/1.69
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex1.03_true-termination.c 11767599 s 1 +1 1 +0 2.49/1.67
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex1.04_true-termination.c 11767564 s n1 +1 1 +0 2.60/1.60
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex1.05_true-termination.c 11767700 s n1 +1 1 +0 2.51/1.76
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.01_true-termination.c 11767772 u ∞ +0 1 +0 3.71/5.63
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.02_false-termination.c 11767649 u ∞ +0 1 +0 3.56/2.85
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.03_false-termination.c 11767546 u ∞ +0 1 +0 4.25/3.17
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.04_false-termination.c 11767558 u ∞ +0 1 +0 4.23/3.25
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.06_false-termination.c 11767758 u ∞ +0 1 +0 5.07/4.05
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.07_true-termination.c 11767523 u ∞ +0 1 +0 2.63/1.71
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.08_true-termination.c 11767656 u ∞ +0 1 +0 3.82/2.93
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.09_true-termination.c 11767621 u ∞ +0 1 +0 2.63/1.71
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.10_true-termination.c 11767711 s n1 +1 1 +0 2.18/1.36
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.11_false-termination.c 11767676 u ∞ +0 1 +0 3.19/2.36
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.12_false-termination.c 11767729 u ∞ +0 1 +0 3.75/2.90
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.13_true-termination.c 11767520 u ∞ +0 1 +0 3.66/2.59
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.14_false-termination.c 11767620 u ∞ +0 1 +0 2.55/1.80
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.15_false-termination.c 11767741 u ∞ +0 1 +0 3.21/2.27
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.16_true-termination.c 11767613 u ∞ +0 1 +0 3.27/2.24
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.17_false-termination.c 11767544 u ∞ +0 1 +0 2.88/1.93
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.18_true-termination.c 11767535 u ∞ +0 1 +0 4.47/3.63
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.19_true-termination.c 11767722 u ∞ +0 1 +0 4.30/3.25
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.20_true-termination.c 11767782 s n1 +1 1 +0 2.70/1.86
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.21_true-termination.c 11767495 u ∞ +0 1 +0 3.06/2.23
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.22_true-termination.c 11767702 s 1 +1 1 +0 3.10/2.20
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.01_true-termination.c 11767679 u ∞ +0 1 +0 3.17/2.13
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.02_false-termination.c 11767706 u ∞ +0 1 +0 5.09/5.00
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.03_true-termination.c 11767768 u ∞ +0 1 +0 5.82/4.91
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.04_true-termination.c 11767743 u ∞ +0 1 +0 2.51/1.75
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.05_true-termination.c 11767531 u ∞ +0 1 +0 2.70/1.80
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.06_false-termination.c 11767765 u ∞ +0 1 +0 5.25/5.07
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.07_true-termination.c 11767591 u ∞ +0 1 +0 3.68/2.55
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.08_true-termination.c 11767753 u ∞ +0 1 +0 4.05/2.94
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.09_true-termination.c 11767561 u ∞ +0 1 +0 3.57/2.59
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.10_true-termination.c 11767791 s n1 +1 1 +0 2.32/1.40
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex4.01_true-termination.c 11767774 u ∞ +0 1 +0 2.85/1.81
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Fig1_true-termination.c 11767562 u ∞ +0 1 +0 3.58/2.52
Flores-Montoya_2017/Adapted_from_Stroeder_15/Choose.c 11767680 u ∞ +0 1 +0 2.63/1.57
Flores-Montoya_2017/Adapted_from_Stroeder_15/ChooseLife.c 11767694 u ∞ +0 1 +0 2.61/1.70
Flores-Montoya_2017/Adapted_from_Stroeder_15/collatz.c 11767603 u ∞ +0 1 +0 4.41/3.42
Flores-Montoya_2017/Adapted_from_Stroeder_15/ColonSipma-TACAS2001-Fig1_true-termination.c 11767575 s n1 +1 1 +0 2.38/1.38
Flores-Montoya_2017/Adapted_from_Stroeder_15/ComplInterv.c 11767648 u ∞ +0 1 +0 0.53/0.52
Flores-Montoya_2017/Adapted_from_Stroeder_15/ComplInterv2.c 11767541 u ∞ +0 1 +0 2.96/1.87
Flores-Montoya_2017/Adapted_from_Stroeder_15/ComplInterv3.c 11767503 u ∞ +0 1 +0 2.79/1.72
Flores-Montoya_2017/Adapted_from_Stroeder_15/ComplxStruc.c 11767734 u ∞ +0 1 +0 4.63/4.59
Flores-Montoya_2017/Adapted_from_Stroeder_15/ConvLower.c 11767736 u ∞ +0 1 +0 2.64/2.13
Flores-Montoya_2017/Adapted_from_Stroeder_15/CookSeeZuleger-TACAS2013-Fig1_true-termination.c 11767668 u ∞ +0 1 +0 6.28/10.94
Flores-Montoya_2017/Adapted_from_Stroeder_15/CookSeeZuleger-TACAS2013-Fig7a_true-termination.c 11767607 u ∞ +0 1 +0 12.75/11.48
Flores-Montoya_2017/Adapted_from_Stroeder_15/CookSeeZuleger-TACAS2013-Fig7b_true-termination.c 11767732 u ∞ +0 1 +0 30.50/31.21
Flores-Montoya_2017/Adapted_from_Stroeder_15/CookSeeZuleger-TACAS2013-Fig8a-modified_true-termination.c 11767549 s n2 +1 1 +0 2.41/1.35
Flores-Montoya_2017/Adapted_from_Stroeder_15/CookSeeZuleger-TACAS2013-Fig8a_true-termination.c 11767720 s n2 +1 1 +0 2.32/1.40
Flores-Montoya_2017/Adapted_from_Stroeder_15/CookSeeZuleger-TACAS2013-Fig8b_true-termination.c 11767601 s n1 +1 1 +0 2.43/1.78
Flores-Montoya_2017/Adapted_from_Stroeder_15/Copenhagen_true-termination.c 11767517 s n1 +1 1 +0 2.32/1.36
Flores-Montoya_2017/Adapted_from_Stroeder_15/Cousot.c 11767752 u ∞ +0 1 +0 3.25/2.32
Flores-Montoya_2017/Adapted_from_Stroeder_15/DivMinus.c 11767713 s n1 +1 1 +0 2.19/1.42
Flores-Montoya_2017/Adapted_from_Stroeder_15/DivMinus2.c 11767527 s n1 +1 1 +0 2.71/1.66
Flores-Montoya_2017/Adapted_from_Stroeder_15/DivWithoutMinus.c 11767794 u ∞ +0 1 +0 3.31/2.40
Flores-Montoya_2017/Adapted_from_Stroeder_15/DoubleNeg.c 11767635 u ∞ +0 1 +0 2.73/1.85
Flores-Montoya_2017/Adapted_from_Stroeder_15/easy1_true-termination.c 11767640 s 1 +1 1 +0 2.24/1.52
Flores-Montoya_2017/Adapted_from_Stroeder_15/easy2_true-termination.c 11767532 s n1 +1 1 +0 2.37/1.43
Flores-Montoya_2017/Adapted_from_Stroeder_15/Et1.c 11767710 u ∞ +0 1 +0 4.32/3.30
Flores-Montoya_2017/Adapted_from_Stroeder_15/Et2.c 11767797 u ∞ +0 1 +0 3.18/2.19
Flores-Montoya_2017/Adapted_from_Stroeder_15/Et4.c 11767619 u ∞ +0 1 +0 3.76/2.82
Flores-Montoya_2017/Adapted_from_Stroeder_15/Even.c 11767519 u ∞ +0 1 +0 2.54/1.53
Flores-Montoya_2017/Adapted_from_Stroeder_15/Ex01.c 11767773 u ∞ +0 1 +0 2.69/1.71
Flores-Montoya_2017/Adapted_from_Stroeder_15/Ex02.c 11767686 u ∞ +0 1 +0 2.53/1.61
Flores-Montoya_2017/Adapted_from_Stroeder_15/Ex03.c 11767674 u ∞ +0 1 +0 2.47/1.75
Flores-Montoya_2017/Adapted_from_Stroeder_15/Ex04.c 11767528 u ∞ +0 1 +0 2.25/1.33
Flores-Montoya_2017/Adapted_from_Stroeder_15/Ex05.c 11767511 u ∞ +0 1 +0 2.18/1.33
Flores-Montoya_2017/Adapted_from_Stroeder_15/Ex06.c 11767579 u ∞ +0 1 +0 2.65/1.57
Flores-Montoya_2017/Adapted_from_Stroeder_15/Ex07.c 11767595 u ∞ +0 1 +0 2.40/1.34
Flores-Montoya_2017/Adapted_from_Stroeder_15/Ex08.c 11767704 u ∞ +0 1 +0 3.88/2.83
Flores-Montoya_2017/Adapted_from_Stroeder_15/Factorial.c 11767750 u ∞ +0 1 +0 2.51/1.38
Flores-Montoya_2017/Adapted_from_Stroeder_15/Fibonacci.c 11767665 u ∞ +0 1 +0 2.60/1.56
Flores-Montoya_2017/Adapted_from_Stroeder_15/Flip.c 11767584 u ∞ +0 1 +0 2.45/1.55
Flores-Montoya_2017/Adapted_from_Stroeder_15/Flip2.c 11767740 u ∞ +0 1 +0 2.93/1.98
Flores-Montoya_2017/Adapted_from_Stroeder_15/Gauss.c 11767725 u ∞ +0 1 +0 2.52/1.47
Flores-Montoya_2017/Adapted_from_Stroeder_15/GCD.c 11767755 u ∞ +0 1 +0 4.49/3.46
Flores-Montoya_2017/Adapted_from_Stroeder_15/gcd1_true-termination.c 11767605 s n2 +1 1 +0 2.57/1.73
Flores-Montoya_2017/Adapted_from_Stroeder_15/GCD2.c 11767707 u ∞ +0 1 +0 4.01/3.76
Flores-Montoya_2017/Adapted_from_Stroeder_15/GCD3.c 11767652 s n1 +1 1 +0 3.02/1.79
Flores-Montoya_2017/Adapted_from_Stroeder_15/GCD4.c 11767547 u ∞ +0 1 +0 2.43/1.46
Flores-Montoya_2017/Adapted_from_Stroeder_15/genady_true-termination.c 11767682 s 1 +1 1 +0 2.27/1.44
Flores-Montoya_2017/Adapted_from_Stroeder_15/GopanReps-CAV2006-Fig1a_true-termination.c.c 11767616 s 1 +1 1 +0 2.29/1.54
Flores-Montoya_2017/Adapted_from_Stroeder_15/Gothenburg_true-termination.c 11767776 s n2 +1 1 +0 2.65/1.76
Flores-Montoya_2017/Adapted_from_Stroeder_15/GulavaniGulwani-CAV2008-Fig1a_true-termination.c 11767726 s n1 +1 1 +0 2.49/1.51
Flores-Montoya_2017/Adapted_from_Stroeder_15/GulavaniGulwani-CAV2008-Fig1b_true-termination.c 11767609 s n1 +1 1 +0 2.33/1.44
Flores-Montoya_2017/Adapted_from_Stroeder_15/GulavaniGulwani-CAV2008-Fig1c_true-termination.c 11767646 s n1 +1 1 +0 2.43/1.36
Flores-Montoya_2017/Adapted_from_Stroeder_15/GulwaniJainKoskinen-PLDI2009-Fig1_true-termination.c 11767798 u ∞ +0 1 +0 4.12/4.18
Flores-Montoya_2017/Adapted_from_Stroeder_15/HeizmannHoenickeLeikePodelski-ATVA2013-Fig1_true-termination.c 11767785 s n1 +1 1 +0 2.42/1.43
Flores-Montoya_2017/Adapted_from_Stroeder_15/HeizmannHoenickeLeikePodelski-ATVA2013-Fig4_true-termination.c 11767637 s n1 +1 1 +0 2.32/1.28
Flores-Montoya_2017/Adapted_from_Stroeder_15/HeizmannHoenickeLeikePodelski-ATVA2013-Fig6_true-termination.c 11767723 s n1 +1 1 +0 2.60/1.69
Flores-Montoya_2017/Adapted_from_Stroeder_15/HeizmannHoenickeLeikePodelski-ATVA2013-Fig8_true-termination.c 11767675 s n1 +1 1 +0 2.53/1.52
Flores-Montoya_2017/Adapted_from_Stroeder_15/HeizmannHoenickeLeikePodelski-ATVA2013-Fig9_true-termination.c 11767615 u ∞ +0 1 +0 2.65/1.75
Flores-Montoya_2017/Adapted_from_Stroeder_15/IntPath.c 11767513 s 1 +1 1 +0 2.31/1.36
Flores-Montoya_2017/Adapted_from_Stroeder_15/KroeningSharyginaTsitovichWintersteiger-CAV2010-Ex_true-termination.c 11767779 s n1 +1 1 +0 2.56/1.61
Flores-Montoya_2017/Adapted_from_Stroeder_15/LarrazOliverasRodriguez-CarbonellRubio-FMCAD2013-Fig1_true-termination.c 11767737 u ∞ +0 1 +0 7.14/10.45
Flores-Montoya_2017/Adapted_from_Stroeder_15/Lcm.c 11767659 u ∞ +0 1 +0 2.67/1.64
Flores-Montoya_2017/Adapted_from_Stroeder_15/LeikeHeizmann-TACAS2014-Ex1_true-termination.c 11767655 s n1 +1 1 +0 2.37/1.56
Flores-Montoya_2017/Adapted_from_Stroeder_15/LeikeHeizmann-TACAS2014-Ex7_true-termination.c 11767570 u ∞ +0 1 +0 3.33/2.35
Flores-Montoya_2017/Adapted_from_Stroeder_15/LeikeHeizmann-TACAS2014-Ex8_true-termination.c 11767802 u ∞ +0 1 +0 3.79/2.85
Flores-Montoya_2017/Adapted_from_Stroeder_15/LeikeHeizmann-TACAS2014-Ex9_true-termination.c 11767505 s n1 +1 1 +0 2.56/1.68
Flores-Montoya_2017/Adapted_from_Stroeder_15/LeikeHeizmann-TACAS2014-Fig1_true-termination.c 11767497 u ∞ +0 1 +0 3.64/2.81
Flores-Montoya_2017/Adapted_from_Stroeder_15/LeikeHeizmann-WST2014-Ex5_false-termination.c 11767756 u ∞ +0 1 +0 2.70/5.17
Flores-Montoya_2017/Adapted_from_Stroeder_15/LeikeHeizmann-WST2014-Ex6_false-termination.c 11767654 u ∞ +0 1 +0 4.46/3.41
Flores-Montoya_2017/Adapted_from_Stroeder_15/Lobnya-Boolean-Reordered_true-termination.c 11767660 s n1 +1 1 +0 2.52/1.65
Flores-Montoya_2017/Adapted_from_Stroeder_15/Log.c 11767516 s n1 +1 1 +0 2.32/6.86
Flores-Montoya_2017/Adapted_from_Stroeder_15/LogAG.c 11767553 s n1 +1 1 +0 2.28/1.40
Flores-Montoya_2017/Adapted_from_Stroeder_15/LogMult.c 11767801 u ∞ +0 1 +0 0.55/0.56
Flores-Montoya_2017/Adapted_from_Stroeder_15/Loop.c 11767512 u ∞ +0 1 +0 2.26/1.40
Flores-Montoya_2017/Adapted_from_Stroeder_15/Madrid_false-termination.c 11767586 u ∞ +0 1 +0 2.26/1.27
Flores-Montoya_2017/Adapted_from_Stroeder_15/Marbie1.c 11767560 u ∞ +0 1 +0 2.55/1.64
Flores-Montoya_2017/Adapted_from_Stroeder_15/Marbie2.c 11767629 u ∞ +0 1 +0 2.18/1.32
Flores-Montoya_2017/Adapted_from_Stroeder_15/Masse-VMCAI2014-Ex6_true-termination.c 11767695 s n3 +1 1 +0 2.52/1.61
Flores-Montoya_2017/Adapted_from_Stroeder_15/Masse-VMCAI2014-Fig1a_true-termination.c 11767610 s n3 +1 1 +0 2.37/5.42
Flores-Montoya_2017/Adapted_from_Stroeder_15/Masse-VMCAI2014-Fig1b_true-termination.c 11767727 u ∞ +0 1 +0 3.83/2.94
Flores-Montoya_2017/Adapted_from_Stroeder_15/McCarthyIterative.c 11767585 s n2 +1 1 +0 2.38/1.49
Flores-Montoya_2017/Adapted_from_Stroeder_15/MenloPark_true-termination.c 11767761 u ∞ +0 1 +0 2.98/2.08
Flores-Montoya_2017/Adapted_from_Stroeder_15/Middle.c 11767718 u ∞ +0 1 +0 2.45/1.57
Flores-Montoya_2017/Adapted_from_Stroeder_15/MinusBuiltIn.c 11767578 s 1 +1 1 +0 2.10/1.35
Flores-Montoya_2017/Adapted_from_Stroeder_15/MinusMin.c 11767632 s n1 +1 1 +0 2.32/1.41
Flores-Montoya_2017/Adapted_from_Stroeder_15/MinusUserDefined.c 11767641 s n1 +1 1 +0 3.92/3.03
Flores-Montoya_2017/Adapted_from_Stroeder_15/min_rf_true-termination.c 11767500 s n1 +1 1 +0 4.30/6.61
Flores-Montoya_2017/Adapted_from_Stroeder_15/MirrorInterv.c 11767589 u ∞ +0 1 +0 3.10/2.25
Flores-Montoya_2017/Adapted_from_Stroeder_15/MirrorIntervSim.c 11767596 u ∞ +0 1 +0 2.80/1.72
Flores-Montoya_2017/Adapted_from_Stroeder_15/Mysore_true-termination.c 11767573 s n1 +1 1 +0 2.29/1.48
Flores-Montoya_2017/Adapted_from_Stroeder_15/Narrowing.c 11767633 u ∞ +0 1 +0 6.81/4.35
Flores-Montoya_2017/Adapted_from_Stroeder_15/NarrowKonv.c 11767642 u ∞ +0 1 +0 3.03/2.09
Flores-Montoya_2017/Adapted_from_Stroeder_15/Nested.c 11767735 s 1 +1 1 +0 2.44/1.37
Flores-Montoya_2017/Adapted_from_Stroeder_15/NonTermination1_false-termination.c 11767551 u ∞ +0 1 +0 2.97/2.04
Flores-Montoya_2017/Adapted_from_Stroeder_15/NonTermination2_false-termination.c 11767606 u ∞ +0 1 +0 3.08/2.13
Flores-Montoya_2017/Adapted_from_Stroeder_15/NonTermination4_false-termination.c 11767763 u ∞ +0 1 +0 2.67/1.70
Flores-Montoya_2017/Adapted_from_Stroeder_15/NonTerminationSimple2_false-termination.c 11767542 u ∞ +0 1 +0 2.64/1.70
Flores-Montoya_2017/Adapted_from_Stroeder_15/NonTerminationSimple3_false-termination.c 11767666 u ∞ +0 1 +0 3.09/2.09
Flores-Montoya_2017/Adapted_from_Stroeder_15/NonTerminationSimple4_false-termination.c 11767677 u ∞ +0 1 +0 2.37/1.39
Flores-Montoya_2017/Adapted_from_Stroeder_15/NonTerminationSimple5_false-termination.c 11767526 u ∞ +0 1 +0 3.25/2.33
Flores-Montoya_2017/Adapted_from_Stroeder_15/NonTerminationSimple6_false-termination.c 11767631 u ∞ +0 1 +0 2.64/1.72
Flores-Montoya_2017/Adapted_from_Stroeder_15/NonTerminationSimple7_false-termination.c 11767728 u ∞ +0 1 +0 3.39/2.45
Flores-Montoya_2017/Adapted_from_Stroeder_15/NonTerminationSimple8_false-termination.c 11767598 u ∞ +0 1 +0 16.49/15.07
Flores-Montoya_2017/Adapted_from_Stroeder_15/NonTerminationSimple9_false-termination.c 11767747 u ∞ +0 1 +0 2.70/1.75
Flores-Montoya_2017/Adapted_from_Stroeder_15/NoriSharma-FSE2013-Fig7_true-termination.c 11767574 s n1 +1 1 +0 2.49/1.40
Flores-Montoya_2017/Adapted_from_Stroeder_15/NoriSharma-FSE2013-Fig8_true-termination.c 11767764 s n3 +1 1 +0 3.04/2.10
Flores-Montoya_2017/Adapted_from_Stroeder_15/NO_00.c 11767699 u ∞ +0 1 +0 2.35/1.37
Flores-Montoya_2017/Adapted_from_Stroeder_15/NO_01.c 11767662 u ∞ +0 1 +0 2.39/1.25
Flores-Montoya_2017/Adapted_from_Stroeder_15/NO_02.c 11767751 u ∞ +0 1 +0 2.39/1.32
Flores-Montoya_2017/Adapted_from_Stroeder_15/NO_03.c 11767783 u ∞ +0 1 +0 2.62/1.65
Flores-Montoya_2017/Adapted_from_Stroeder_15/NO_04.c 11767572 u ∞ +0 1 +0 6.20/4.81
Flores-Montoya_2017/Adapted_from_Stroeder_15/NO_10.c 11767705 u ∞ +0 1 +0 2.93/2.05
Flores-Montoya_2017/Adapted_from_Stroeder_15/NO_12.c 11767742 u ∞ +0 1 +0 2.60/2.09
Flores-Montoya_2017/Adapted_from_Stroeder_15/NO_13.c 11767788 u ∞ +0 1 +0 2.77/1.95
Flores-Montoya_2017/Adapted_from_Stroeder_15/NO_21.c 11767690 u ∞ +0 1 +0 2.32/1.39
Flores-Montoya_2017/Adapted_from_Stroeder_15/NO_22.c 11767775 u ∞ +0 1 +0 2.49/2.43
Flores-Montoya_2017/Adapted_from_Stroeder_15/NO_23.c 11767754 u ∞ +0 1 +0 2.33/1.42
Flores-Montoya_2017/Adapted_from_Stroeder_15/NO_24.c 11767602 u ∞ +0 1 +0 2.56/1.62
Flores-Montoya_2017/Adapted_from_Stroeder_15/Nyala-2lex_true-termination.c 11767683 u ∞ +0 1 +0 6.56/5.43
Flores-Montoya_2017/Adapted_from_Stroeder_15/Overflow.c 11767653 s n1 +1 1 +0 2.30/1.36
Flores-Montoya_2017/Adapted_from_Stroeder_15/Parallel_true-termination.c 11767538 s n1 +1 1 +0 2.77/1.79
Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaA1.c 11767567 s n2 +1 1 +0 2.34/1.38
Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaA10.c 11767590 s n2 +1 1 +0 2.31/1.47
Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaA4.c 11767650 s n1 +1 1 +0 2.54/1.51
Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaA5.c 11767712 s n1 +1 1 +0 2.35/1.47
Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaA6.c 11767795 s n1 +1 1 +0 2.13/1.36
Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaA7.c 11767738 s n1 +1 1 +0 2.43/1.43
Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaA8.c 11767515 s n1 +1 1 +0 2.32/1.39
Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaA9.c 11767525 s n1 +1 1 +0 2.28/1.56
Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaB1.c 11767611 s n1 +1 1 +0 2.16/3.42
Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaB11.c 11767715 s n1 +1 1 +0 2.45/1.50
Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaB14.c 11767622 s n1 +1 1 +0 2.34/1.42
Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaB15.c 11767565 s n1 +1 1 +0 2.41/1.53
Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaB16.c 11767498 s n1 +1 1 +0 2.46/1.44
Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaB17.c 11767556 s n1 +1 1 +0 2.34/1.45
Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaB2.c 11767543 s n1 +1 1 +0 2.37/1.46
Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaB3.c 11767504 s n1 +1 1 +0 2.40/1.56
Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaB4.c 11767698 s 1 +1 1 +0 2.33/1.40
Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaB6.c 11767749 s n1 +1 1 +0 2.28/1.49
Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaB7.c 11767781 s n1 +1 1 +0 2.33/1.42
Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaC1.c 11767614 s n2 +1 1 +0 2.42/1.52
Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaC10.c 11767757 u ∞ +0 1 +0 3.87/6.06
Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaC2.c 11767550 s n2 +1 1 +0 2.25/1.39
Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaC3.c 11767501 s n1 +1 1 +0 2.31/1.48
Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaC7.c 11767789 s n1 +1 1 +0 2.30/1.40
Flores-Montoya_2017/Adapted_from_Stroeder_15/PastaC9.c 11767508 u ∞ +0 1 +0 6.06/4.85
Flores-Montoya_2017/Adapted_from_Stroeder_15/Piecewise_true-termination.c 11767784 u ∞ +0 1 +0 6.80/5.71
Flores-Montoya_2017/Adapted_from_Stroeder_15/PlusSwap.c 11767502 u ∞ +0 1 +0 3.15/2.30
Flores-Montoya_2017/Adapted_from_Stroeder_15/PodelskiRybalchenko-LICS2004-Fig1_true-termination.c 11767793 s n2 +1 1 +0 2.48/1.37
Flores-Montoya_2017/Adapted_from_Stroeder_15/PodelskiRybalchenko-LICS2004-Fig2-TACAS2011-Fig3_true-termination.c 11767806 u ∞ +0 1 +0 4.41/3.41
Flores-Montoya_2017/Adapted_from_Stroeder_15/PodelskiRybalchenko-TACAS2011-Fig1_true-termination.c 11767568 s n1 +1 1 +0 2.34/1.43
Flores-Montoya_2017/Adapted_from_Stroeder_15/PodelskiRybalchenko-TACAS2011-Fig2_true-termination.c 11767767 s n2 +1 1 +0 2.32/1.43
Flores-Montoya_2017/Adapted_from_Stroeder_15/PodelskiRybalchenko-TACAS2011-Fig4_true-termination.c 11767529 u ∞ +0 1 +0 6.63/5.42
Flores-Montoya_2017/Adapted_from_Stroeder_15/PodelskiRybalchenko-VMCAI2004-Ex1_true-termination.c 11767697 s n1 +1 1 +0 3.14/2.20
Flores-Montoya_2017/Adapted_from_Stroeder_15/PodelskiRybalchenko-VMCAI2004-Ex2_true-termination.c 11767496 s 1 +1 1 +0 2.60/1.63
Flores-Montoya_2017/Adapted_from_Stroeder_15/Pure2Phase_true-termination.c 11767744 u ∞ +0 1 +0 5.16/4.17
Flores-Montoya_2017/Adapted_from_Stroeder_15/Pure3Phase_true-termination.c 11767624 u ∞ +0 1 +0 4.86/3.73
Flores-Montoya_2017/Adapted_from_Stroeder_15/Rotation180_false-termination.c 11767548 u ∞ +0 1 +0 2.23/1.27
Flores-Montoya_2017/Adapted_from_Stroeder_15/Sequence.c 11767703 s 1 +1 1 +0 2.44/2.82
Flores-Montoya_2017/Adapted_from_Stroeder_15/Stockholm_true-termination.c 11767522 s n1 +1 1 +0 2.40/1.52
Flores-Montoya_2017/Adapted_from_Stroeder_15/Sunset.c 11767534 u ∞ +0 1 +0 2.79/1.89
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_a.01.c 11767623 s n2 +1 1 +0 2.42/1.37
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_a.04.c 11767716 s n1 +1 1 +0 2.32/1.37
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_a.05.c 11767643 s n1 +1 1 +0 2.32/1.31
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_a.06.c 11767731 s n1 +1 1 +0 2.29/1.41
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_a.07.c 11767805 s n1 +1 1 +0 2.33/1.45
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_a.08.c 11767539 s n1 +1 1 +0 2.23/1.42
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_a.09_assume.c 11767766 s n1 +1 1 +0 2.33/2.00
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_a.10.c 11767583 s n2 +1 1 +0 2.53/1.46
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_b.01.c 11767759 s n1 +1 1 +0 2.19/1.43
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_b.02.c 11767669 s n1 +1 1 +0 2.33/1.47
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_b.03-no-inv_assume.c 11767684 s n1 +1 1 +0 2.37/1.40
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_b.03_assume.c 11767667 s n1 +1 1 +0 2.26/1.46
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_b.04.c 11767509 s 1 +1 1 +0 2.27/1.38
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_b.05.c 11767530 s n1 +1 1 +0 2.72/1.75
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_b.06.c 11767593 s n1 +1 1 +0 2.23/1.36
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_b.07.c 11767580 s n1 +1 1 +0 2.32/1.44
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_b.09-no-inv_assume.c 11767493 u ∞ +0 1 +0 3.03/2.17
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_b.09_assume.c 11767507 s n2 +1 1 +0 2.40/1.38
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_b.10.c 11767800 s n1 +1 1 +0 2.44/1.57
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_b.11.c 11767733 s n1 +1 1 +0 2.42/1.50
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_b.12.c 11767645 s n1 +1 1 +0 2.95/1.86
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_b.13.c 11767714 s n1 +1 1 +0 2.89/2.15
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_b.14.c 11767494 s n1 +1 1 +0 2.32/1.44
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_b.15.c 11767559 s n1 +1 1 +0 2.43/1.46
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_b.16.c 11767628 s n1 +1 1 +0 2.46/1.47
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_b.17.c 11767563 s n1 +1 1 +0 2.39/1.49
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_b.18.c 11767661 s n1 +1 1 +0 2.29/1.40
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_c.01-no-inv.c 11767600 s n2 +1 1 +0 2.56/1.68
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_c.01_assume.c 11767771 s n2 +1 1 +0 2.38/1.49
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_c.02.c 11767804 s n2 +1 1 +0 2.31/1.40
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_c.03.c 11767730 s n1 +1 1 +0 2.49/1.61
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_c.07.c 11767557 s n1 +1 1 +0 2.35/1.38
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_c.08.c 11767787 s n2 +1 1 +0 2.37/1.69
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_easySum.c 11767760 s n1 +1 1 +0 2.27/1.31
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_ex1.c 11767658 s n1 +1 1 +0 2.49/1.47
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_ex2.c 11767748 u ∞ +0 1 +0 4.78/8.57
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_ex3a.c 11767518 u ∞ +0 1 +0 0.54/0.58
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_ex3b.c 11767588 u ∞ +0 1 +0 0.54/0.59
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_fermat.c 11767571 u ∞ +0 1 +0 0.80/0.58
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_flag.c 11767688 s n1 +1 1 +0 2.36/1.38
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_java_AG313.c 11767799 s n1 +1 1 +0 2.30/1.41
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_java_Break.c 11767721 s 1 +1 1 +0 2.24/1.33
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_java_Continue1.c 11767521 s 1 +1 1 +0 2.24/1.35
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_java_Nested.c 11767786 s 1 +1 1 +0 2.31/1.35
Flores-Montoya_2017/Adapted_from_Stroeder_15/svcomp_java_Sequence.c 11767777 s 1 +1 1 +0 2.35/1.40
Flores-Montoya_2017/Adapted_from_Stroeder_15/Swingers.c 11767577 u ∞ +0 1 +0 2.39/1.46
Flores-Montoya_2017/Adapted_from_Stroeder_15/TelAviv-Amir-Minimum_true-termination.c 11767639 u ∞ +0 1 +0 5.08/4.04
Flores-Montoya_2017/Adapted_from_Stroeder_15/Thun_true-termination.c 11767701 u ∞ +0 1 +0 4.14/3.45
Flores-Montoya_2017/Adapted_from_Stroeder_15/Toulouse-BranchesToLoop_true-termination.c 11767692 u ∞ +0 1 +0 3.17/2.09
Flores-Montoya_2017/Adapted_from_Stroeder_15/Toulouse-MultiBranchesToLoop_true-termination.c 11767724 u ∞ +0 1 +0 3.50/2.74
Flores-Montoya_2017/Adapted_from_Stroeder_15/TrueDiv.c 11767537 u ∞ +0 1 +0 2.36/1.66
Flores-Montoya_2017/Adapted_from_Stroeder_15/TwoFloatInterv.c 11767673 u ∞ +0 1 +0 3.20/2.29
Flores-Montoya_2017/Adapted_from_Stroeder_15/UpAndDown.c 11767612 u ∞ +0 1 +0 3.80/2.91
Flores-Montoya_2017/Adapted_from_Stroeder_15/UpAndDownIneq.c 11767524 u ∞ +0 1 +0 3.71/7.42
Flores-Montoya_2017/Adapted_from_Stroeder_15/Urban-WST2013-Fig1_false-termination.c 11767672 u ∞ +0 1 +0 2.45/1.53
Flores-Montoya_2017/Adapted_from_Stroeder_15/Urban-WST2013-Fig2-modified1000_true-termination.c 11767746 s n1 +1 1 +0 2.34/1.36
Flores-Montoya_2017/Adapted_from_Stroeder_15/Urban-WST2013-Fig2_true-termination.c 11767510 s n1 +1 1 +0 2.29/1.39
Flores-Montoya_2017/Adapted_from_Stroeder_15/UrbanMine-ESOP2014-Fig3_true-termination.c 11767689 u ∞ +0 1 +0 12.45/11.15
Flores-Montoya_2017/Adapted_from_Stroeder_15/Velroyen_false-termination.c 11767717 u ∞ +0 1 +0 2.79/1.95
Flores-Montoya_2017/Adapted_from_Stroeder_15/Waldkirch_true-termination.c 11767592 s 1 +1 1 +0 2.28/1.27
Flores-Montoya_2017/Adapted_from_Stroeder_15/WhileDecr.c 11767663 s n1 +1 1 +0 2.32/1.31
Flores-Montoya_2017/Adapted_from_Stroeder_15/WhileFalse_true-termination.c 11767657 s 1 +1 1 +0 2.13/1.29
Flores-Montoya_2017/Adapted_from_Stroeder_15/WhileIncr.c 11767627 u ∞ +0 1 +0 2.65/1.60
Flores-Montoya_2017/Adapted_from_Stroeder_15/WhileIncrPart.c 11767499 u ∞ +0 1 +0 2.46/1.52
Flores-Montoya_2017/Adapted_from_Stroeder_15/WhileNested.c 11767618 u ∞ +0 1 +0 3.04/2.09
Flores-Montoya_2017/Adapted_from_Stroeder_15/WhileNestedOffset.c 11767545 u ∞ +0 1 +0 3.11/2.15
Flores-Montoya_2017/Adapted_from_Stroeder_15/WhilePart.c 11767770 u ∞ +0 1 +0 2.49/1.63
Flores-Montoya_2017/Adapted_from_Stroeder_15/WhileSingle.c 11767576 u ∞ +0 1 +0 2.44/4.84
Flores-Montoya_2017/Adapted_from_Stroeder_15/WhileTrue.c 11767492 u ∞ +0 1 +0 2.24/1.37
Flores-Montoya_2017/Adapted_from_Stroeder_15/WhileTrue_false-termination.c 11767678 u ∞ +0 1 +0 2.27/1.26
Flores-Montoya_2017/Adapted_from_Ton_Chanh_15/2Nested_false-termination.c 11767486 u ∞ +0 1 +0 3.52/3.01
Flores-Montoya_2017/Adapted_from_Ton_Chanh_15/Bangalore_false-termination.c 11767479 u ∞ +0 1 +0 3.36/2.37
Flores-Montoya_2017/Adapted_from_Ton_Chanh_15/Bangalore_v2_false-termination.c 11767478 u ∞ +0 1 +0 3.32/2.31
Flores-Montoya_2017/Adapted_from_Ton_Chanh_15/Bangalore_v3_false-termination.c 11767491 u ∞ +0 1 +0 3.22/2.29
Flores-Montoya_2017/Adapted_from_Ton_Chanh_15/Bangalore_v4_true-termination.c 11767483 s 1 +1 1 +0 2.29/1.43
Flores-Montoya_2017/Adapted_from_Ton_Chanh_15/Benghazi_nondet_true-termination.c 11767474 u ∞ +0 1 +0 3.97/3.03
Flores-Montoya_2017/Adapted_from_Ton_Chanh_15/Cairo_nondet_false-termination.c 11767484 u ∞ +0 1 +0 2.69/1.81
Flores-Montoya_2017/Adapted_from_Ton_Chanh_15/Cairo_step2_false-termination.c 11767489 u ∞ +0 1 +0 2.33/1.55
Flores-Montoya_2017/Adapted_from_Ton_Chanh_15/Copenhagen_disj_true-termination.c 11767473 u ∞ +0 1 +0 2.48/1.74
Flores-Montoya_2017/Adapted_from_Ton_Chanh_15/Gothenburg_v2_true-termination.c 11767475 u ∞ +0 1 +0 3.90/3.01
Flores-Montoya_2017/Adapted_from_Ton_Chanh_15/Hanoi_2vars_false-termination.c 11767490 u ∞ +0 1 +0 3.80/2.73
Flores-Montoya_2017/Adapted_from_Ton_Chanh_15/Hanoi_3vars_false-termination.c 11767480 u ∞ +0 1 +0 5.75/9.63
Flores-Montoya_2017/Adapted_from_Ton_Chanh_15/Hanoi_plus_false-termination.c 11767488 u ∞ +0 1 +0 5.24/4.16
Flores-Montoya_2017/Adapted_from_Ton_Chanh_15/McCarthy91_Iteration_true-termination.c 11767482 s n2 +1 1 +0 2.41/1.46
Flores-Montoya_2017/Adapted_from_Ton_Chanh_15/Mysore_false-termination.c 11767485 u ∞ +0 1 +0 4.97/4.14
Flores-Montoya_2017/Adapted_from_Ton_Chanh_15/Singapore_plus_false-termination.c 11767476 u ∞ +0 1 +0 3.40/2.48
Flores-Montoya_2017/Adapted_from_Ton_Chanh_15/Singapore_true-termination.c 11767477 u ∞ +0 1 +0 4.06/4.58
Flores-Montoya_2017/Adapted_from_Ton_Chanh_15/Singapore_v1_false-termination.c 11767481 u ∞ +0 1 +0 3.48/2.40
Flores-Montoya_2017/Adapted_from_Ton_Chanh_15/Singapore_v2_false-termination.c 11767487 u ∞ +0 1 +0 3.32/2.48
280