Tool ULTIMATE Automizer 0.1.23-01ede7f3
Limits timelimit: 120 s, memlimit: 4000 MB, CPU core limit: 1
Host struebli
OS Linux-4.16.18-gentoo-x86_64-AMD_EPYC_7351P_16-Core_Processor-with-gentoo-2.4.1
System CPU: AMD EPYC 7351P 16-Core Processor, cores: 32, frequency: 2400 MHz; RAM: 135158 MB
Date of execution 2018-11-11 19:11:17 CET 2018-11-11 17:50:31 CET
Run set svcomp-translation-default.Default svcomp-translation-bitvector.Bitvector
Options -tc ../../../trunk/examples/toolchains/C-BPP.xml -ea -tc ../../../trunk/examples/toolchains/C-BPP.xml -ea
../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
array-crafted/zero_sum1_true-unreach-call.c unknown 7.02 7.06 171503616 error: exception 7.31 7.36 167710720
array-crafted/zero_sum2_true-unreach-call.c unknown 6.99 7.05 170602496 error: exception 6.74 6.80 180400128
array-crafted/zero_sum3_true-unreach-call.c unknown 7.01 7.07 174252032 error: exception 4.95 4.99 165343232
array-crafted/zero_sum4_true-unreach-call.c unknown 6.95 7.00 176001024 error: exception 7.05 7.12 167952384
array-crafted/zero_sum5_true-unreach-call.c unknown 7.37 7.42 179798016 error: exception 6.90 6.96 169496576
array-crafted/zero_sum_m2_true-unreach-call.c unknown 6.81 6.87 171958272 error: exception 6.70 6.73 164315136
array-crafted/zero_sum_m3_true-unreach-call.c unknown 4.65 4.68 168198144 error: exception 6.87 6.93 167084032
array-crafted/zero_sum_m4_true-unreach-call.c unknown 7.19 7.25 170975232 error: exception 6.96 7.01 169447424
array-crafted/zero_sum_m5_true-unreach-call.c unknown 6.93 6.98 185946112 error: exception 6.62 6.67 172564480
ntdrivers/diskperf_false-unreach-call.i.cil.c unknown 12.8  12.9  387682304 error: type error 13.2  13.3  459730944
ntdrivers/parport_false-unreach-call.i.cil.c unknown 17.8  18.0  744767488 error: type error 18.1  18.2  730497024
ntdrivers/diskperf_true-unreach-call.i.cil.c unknown 14.1  14.2  457756672 error: type error 14.2  14.3  496132096
ntdrivers/parport_true-unreach-call.i.cil.c unknown 12.2  12.3  738144256 error: type error 18.7  18.8  744988672
eca-rers2012/Problem08_label25_false-unreach-call.c unknown 112    113    3233808384 timeout 121    121    3352985600
eca-rers2012/Problem09_label02_false-unreach-call.c unknown 109    109    3316232192 timeout 121    121    3286994944
eca-rers2012/Problem09_label08_false-unreach-call.c unknown 108    108    3311202304 timeout 121    121    3273834496
eca-rers2012/Problem09_label32_false-unreach-call.c unknown 110    111    3172397056 timeout 121    121    3286921216
eca-rers2012/Problem09_label36_false-unreach-call.c unknown 111    111    3334004736 timeout 120    121    3277778944
eca-rers2012/Problem09_label47_false-unreach-call.c unknown 108    108    3312840704 timeout 121    121    3216605184
eca-rers2012/Problem09_label56_false-unreach-call.c unknown 109    110    3322687488 timeout 121    121    3307106304
eca-rers2012/Problem08_label09_true-unreach-call.c unknown 105    106    3046854656 timeout 120    121    3348594688
eca-rers2012/Problem08_label32_true-unreach-call.c unknown 109    109    3048337408 timeout 120    121    3355979776
eca-rers2012/Problem08_label54_true-unreach-call.c unknown 104    104    3036987392 timeout 120    121    3374743552
eca-rers2012/Problem09_label01_true-unreach-call.c unknown 111    111    3313582080 timeout 121    121    3174612992
eca-rers2012/Problem09_label07_true-unreach-call.c unknown 116    116    3210207232 timeout 121    121    3283742720
eca-rers2012/Problem09_label09_true-unreach-call.c unknown 116    117    3171061760 timeout 121    121    3298578432
eca-rers2012/Problem09_label13_true-unreach-call.c unknown 113    113    3202535424 timeout 121    121    3293933568
eca-rers2012/Problem09_label14_true-unreach-call.c unknown 112    113    3310673920 timeout 120    120    3260370944
eca-rers2012/Problem09_label17_true-unreach-call.c unknown 110    111    3313618944 timeout 121    121    3281793024
eca-rers2012/Problem09_label18_true-unreach-call.c unknown 117    118    3158175744 timeout 121    121    3291058176
eca-rers2012/Problem09_label21_true-unreach-call.c unknown 114    115    3481665536 timeout 121    121    3277180928
eca-rers2012/Problem09_label22_true-unreach-call.c unknown 112    112    3319861248 timeout 121    121    3283136512
eca-rers2012/Problem09_label23_true-unreach-call.c unknown 117    118    3488694272 timeout 121    121    3274731520
eca-rers2012/Problem09_label49_true-unreach-call.c unknown 112    112    3326590976 timeout 121    121    3264622592
psyco/psyco_cev_1_false-unreach-call.c out of memory 120    130    3999997952 timeout 121    121    2872979456
eca-programs/Problem102_label13_false-unreach-call.c unknown 118    118    3307937792 timeout 121    121    3348471808
eca-programs/Problem102_label37_false-unreach-call.c unknown 104    104    3043008512 timeout 121    121    3253370880
eca-programs/Problem102_label50_false-unreach-call.c unknown 100    101    2889805824 timeout 120    121    3347099648
eca-programs/Problem103_label32_false-unreach-call.c unknown 113    113    3326443520 timeout 121    121    3282964480
eca-programs/Problem103_label59_false-unreach-call.c unknown 110    110    3310940160 timeout 121    121    3291561984
eca-programs/Problem102_label19_true-unreach-call.c unknown 107    108    2913447936 timeout 121    121    3278274560
eca-programs/Problem103_label45_true-unreach-call.c unknown 114    115    3185471488 timeout 121    121    3263893504
eca-programs/Problem103_label48_true-unreach-call.c unknown 107    107    3320340480 timeout 121    121    3313156096
eca-programs/Problem103_label58_true-unreach-call.c unknown 113    113    3117846528 timeout 120    121    3281113088
floats-cbmc-regression/float-div1_true-unreach-call.i error: exception 7.23 7.29 172965888 unknown 8.86 8.91 240619520
floats-cbmc-regression/float-flags-simp1_true-unreach-call.i error: exception 6.90 6.95 172998656 unknown 9.92 9.97 242499584
floats-cbmc-regression/float-no-simp2_true-unreach-call.i error: exception 5.66 5.71 173592576 unknown 8.77 8.82 300752896
floats-cbmc-regression/float-no-simp4_true-unreach-call.i error: exception 5.78 6.00 174600192 unknown 6.42 6.45 304541696
floats-cbmc-regression/float-no-simp8_true-unreach-call.i error: exception 7.02 7.08 178098176 unknown 8.52 8.58 294879232
floats-cbmc-regression/float-to-double1_true-unreach-call.i error: exception 5.48 5.52 170188800 unknown 6.32 6.35 295366656
floats-cbmc-regression/float14_true-unreach-call.i error: exception 7.63 7.68 173850624 unknown 10.1  10.2  322744320
floats-cbmc-regression/float18_true-unreach-call.i error: exception 8.13 8.19 177721344 unknown 9.57 9.62 291319808
floats-cbmc-regression/float19_true-unreach-call.i error: exception 7.15 7.19 174776320 unknown 9.63 9.69 292057088
floats-cbmc-regression/float21_true-unreach-call.i error: exception 5.70 5.74 180920320 unknown 9.44 9.51 299290624
floats-cbmc-regression/float4_true-unreach-call.i error: exception 5.45 5.48 174284800 unknown 8.86 8.90 295616512
floats-cbmc-regression/float8_true-unreach-call.i error: exception 7.89 7.94 179888128 unknown 6.37 6.40 293801984
floats-cbmc-regression/float_lib1_true-unreach-call.i error: exception 8.73 8.79 173502464 unknown 6.52 6.72 300703744
floats-cbmc-regression/float_lib2_true-unreach-call.i error: exception 5.16 5.21 172138496 unknown 9.76 9.81 294436864
floats-esbmc-regression/ceil_nondet_true-unreach-call.i error: exception 8.14 8.20 174239744 unknown 7.76 7.80 180813824
floats-esbmc-regression/ceil_true-unreach-call.i error: exception 8.15 8.21 176062464 unknown 6.73 6.76 296140800
floats-esbmc-regression/copysign_true-unreach-call.i error: exception 8.06 8.12 176037888 unknown 9.83 9.88 294010880
floats-esbmc-regression/fabs_true-unreach-call.i error: exception 7.95 8.02 174809088 unknown 9.16 9.23 289579008
floats-esbmc-regression/fdim_true-unreach-call.i error: exception 5.64 5.68 173330432 unknown 6.64 6.68 292974592
floats-esbmc-regression/floor_nondet_true-unreach-call.i error: exception 7.71 7.79 175857664 unknown 8.09 8.14 172658688
floats-esbmc-regression/floor_true-unreach-call.i error: exception 7.99 8.05 174247936 unknown 9.13 9.20 299573248
floats-esbmc-regression/fmax_true-unreach-call.i error: exception 8.07 8.13 175009792 unknown 9.47 9.53 292564992
floats-esbmc-regression/fmin_true-unreach-call.i error: exception 8.00 8.07 176021504 unknown 9.33 9.39 297234432
floats-esbmc-regression/fmod2_true-unreach-call.i error: exception 5.71 5.75 171974656 unknown 9.64 9.71 294658048
floats-esbmc-regression/fmod3_true-unreach-call.i error: exception 8.08 8.17 173858816 unknown 9.54 9.60 298192896
floats-esbmc-regression/fmod_true-unreach-call.i error: exception 8.10 8.16 178061312 unknown 9.66 9.72 294596608
floats-esbmc-regression/isgreater_true-unreach-call.i error: exception 8.05 8.10 169816064 unknown 6.37 6.40 290508800
floats-esbmc-regression/isgreaterequal_true-unreach-call.i error: exception 7.98 8.04 175706112 unknown 9.45 9.51 291966976
floats-esbmc-regression/isless_true-unreach-call.i error: exception 8.05 8.24 173858816 unknown 9.31 9.38 296062976
floats-esbmc-regression/islessequal_true-unreach-call.i error: exception 5.53 5.57 170795008 unknown 6.41 6.44 297373696
floats-esbmc-regression/islessgreater_true-unreach-call.i error: exception 8.10 8.15 174501888 unknown 8.90 8.97 293294080
floats-esbmc-regression/isunordered_true-unreach-call.i error: exception 7.95 8.02 174956544 unknown 9.26 9.32 293736448
floats-esbmc-regression/nan_true-unreach-call.i error: exception 8.09 8.15 177012736 unknown 9.81 10.1  298733568
floats-esbmc-regression/remainder_true-unreach-call.i error: exception 8.11 8.19 174690304 unknown 6.51 6.55 298041344
floats-esbmc-regression/round_nondet_true-unreach-call.i error: exception 8.37 8.77 175796224 unknown 8.01 8.07 176214016
floats-esbmc-regression/round_true-unreach-call.i error: exception 8.11 8.16 174788608 unknown 8.96 9.01 298954752
floats-esbmc-regression/rounding_functions_true-unreach-call.i error: exception 5.30 5.33 170201088 unknown 9.66 9.74 293806080
floats-esbmc-regression/trunc_nondet_2_true-unreach-call.i error: exception 8.11 8.17 178696192 unknown 9.30 9.53 298094592
floats-esbmc-regression/trunc_nondet_true-unreach-call.i error: exception 8.13 8.19 176902144 unknown 5.68 5.71 192106496
floats-esbmc-regression/trunc_true-unreach-call.i error: exception 8.19 8.25 171360256 unknown 9.48 9.54 287117312
float-newlib/double_req_bl_0870b_true-unreach-call.c error: exception 7.49 7.55 175067136 unknown 8.61 8.67 207609856
float-newlib/double_req_bl_0872a_true-unreach-call.c error: exception 7.39 7.47 173125632 unknown 8.69 8.74 211513344
float-newlib/double_req_bl_0872b_true-unreach-call.c error: exception 7.37 7.42 171028480 unknown 8.51 8.58 224497664
float-newlib/double_req_bl_0873a_true-unreach-call.c error: exception 7.47 7.53 178216960 unknown 8.29 8.35 209747968
float-newlib/double_req_bl_0873b_true-unreach-call.c error: exception 5.23 5.27 171118592 unknown 8.61 8.68 222412800
float-newlib/double_req_bl_0874_true-unreach-call.c error: exception 7.21 7.30 171212800 unknown 8.48 8.54 208166912
float-newlib/double_req_bl_0876_true-unreach-call.c error: exception 7.34 7.62 176861184 unknown 8.87 8.93 212185088
float-newlib/double_req_bl_0882_true-unreach-call.c error: exception 7.29 7.36 176877568 unknown 8.71 8.77 212971520
float-newlib/double_req_bl_0883_true-unreach-call.c error: exception 7.46 7.53 174333952 unknown 8.61 8.68 204328960
float-newlib/float_req_bl_0870b_true-unreach-call.c error: exception 7.29 7.54 171143168 unknown 8.71 8.79 207802368
float-newlib/float_req_bl_0872a_true-unreach-call.c error: exception 7.36 7.43 174153728 unknown 8.79 8.85 210305024
float-newlib/float_req_bl_0872b_true-unreach-call.c error: exception 7.16 7.21 171257856 unknown 8.45 8.52 205414400
float-newlib/float_req_bl_0873a_true-unreach-call.c error: exception 7.40 7.47 173076480 unknown 8.80 8.87 221908992
float-newlib/float_req_bl_0873b_true-unreach-call.c error: exception 7.28 7.34 179589120 unknown 8.58 8.98 209203200
float-newlib/float_req_bl_0874_true-unreach-call.c error: exception 5.08 5.12 172797952 unknown 8.89 9.08 210800640
float-newlib/float_req_bl_0875_true-unreach-call.c error: exception 7.25 7.32 169058304 unknown 8.75 8.83 209010688
float-newlib/float_req_bl_0876_true-unreach-call.c error: exception 7.33 7.39 178778112 unknown 8.83 8.88 203407360
float-newlib/float_req_bl_0877_true-unreach-call.c error: exception 7.33 7.40 186519552 unknown 8.52 8.58 212168704
float-newlib/float_req_bl_0880_true-unreach-call.c error: exception 5.12 5.17 169582592 unknown 8.84 8.91 213876736
float-newlib/float_req_bl_0881_true-unreach-call.c error: exception 7.38 7.47 173727744 unknown 6.04 6.08 211156992
float-newlib/float_req_bl_0883_true-unreach-call.c error: exception 7.35 7.41 171118592 unknown 6.01 6.05 212623360
float-newlib/double_req_bl_0870a_false-unreach-call.c error: exception 7.32 7.39 172601344 unknown 8.70 8.77 210759680
float-newlib/float_req_bl_0870a_false-unreach-call.c error: exception 7.37 7.46 173232128 unknown 8.83 8.89 210960384
loop-floats-scientific-comp/loop4_true-unreach-call.c.i error: exception 8.09 8.17 175775744 unknown 8.03 8.07 175116288
loop-floats-scientific-comp/loop5_true-unreach-call.c.i error: exception 5.36 5.40 173076480 unknown 8.28 8.34 177164288
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c error: exception 12.2  12.3  276123648 unknown 13.9  14.0  320901120
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--usb--storage--usb-storage.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: type error 31.8  32.0  830410752 unknown 23.6  23.6  849764352
ldv-linux-3.4-simple/43_1a_cilled_false-unreach-call_ok_linux-43_1a-drivers--misc--sgi-xp--xpc.ko-ldv_main3_sequence_infinite_withcheck_stateful.cil.out.c error: type error 18.9  19.0  832557056 unknown 30.3  30.4  826486784
ldv-linux-3.4-simple/43_1a_cilled_false-unreach-call_ok_linux-43_1a-drivers--scsi--dpt_i2o.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unknown 29.9  30.1  818003968 error: type error 31.0  31.1  822960128
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--ata--pata_marvell.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: type error 13.7  13.8  702504960 unknown 14.2  14.3  714428416
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--ata--pata_netcell.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: type error 13.5  13.6  521953280 unknown 14.6  14.7  714579968
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--tda18218.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unknown 11.9  12.0  474992640 error: type error 12.6  12.7  513748992
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--cxd2820r.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unknown 17.1  17.2  770330624 error: type error 13.4  13.4  759681024
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--tda18271c2dd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unknown 15.5  15.6  723197952 error: type error 16.1  16.2  732598272
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mtd--inftl.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unknown 15.7  15.8  711389184 error: type error 15.8  15.9  726126592
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mtd--nftl.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unknown 15.3  15.3  730484736 error: type error 16.2  16.3  723501056
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--ppp--ppp_mppe.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: exception 9.85 9.90 252846080 unknown 8.33 8.37 298827776
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--phison--phison.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: type error 12.6  12.7  698368000 unknown 13.0  13.1  711606272
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-dibusb-common.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unknown 10.9  10.9  731717632 error: type error 15.6  15.7  720105472
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--mtd--devices--doc2001plus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: type error 8.43 8.48 323784704 unknown 12.6  12.7  400093184
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_true-termination.4-32_1-drivers--misc--vmw_balloon.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unknown 12.7  12.7  509210624 error: exception 10.9  11.1  287125504
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--ata--pata_marvell.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: type error 13.4  13.4  562712576 unknown 8.39 8.62 555945984
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--ata--pata_netcell.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: type error 13.0  13.1  528064512 unknown 13.1  13.2  542003200
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--ata--pata_opti.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: type error 13.2  13.3  589406208 unknown 13.1  13.2  578031616
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--media--common--tuners--tda18212_false-termination.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unknown 11.2  11.3  370040832 error: type error 12.1  12.2  388186112
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--media--common--tuners--tda18218_false-termination.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unknown 12.7  13.1  492511232 error: type error 12.3  12.4  510578688
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--media--dvb--dvb-usb--dvb-usb-dibusb-common_false-termination.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unknown 11.1  11.2  711581696 error: type error 16.4  16.5  715583488
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--media--dvb--frontends--cxd2820r.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unknown 11.7  11.7  735412224 error: type error 17.5  17.6  730742784
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--media--dvb--frontends--tda18271c2dd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unknown 15.3  15.4  735301632 error: type error 16.5  16.7  728207360
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--mtd--devices--doc2001plus_false-termination.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: type error 11.7  11.8  329105408 unknown 12.4  12.4  399048704
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--mtd--inftl.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unknown 10.9  11.0  746766336 error: type error 16.2  16.3  742268928
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--mtd--nftl.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unknown 15.2  15.3  731885568 error: type error 9.97 10.2  728301568
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--net--ppp--ppp_mppe.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: exception 9.82 9.89 281952256 unknown 11.3  11.4  293961728
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--staging--phison--phison.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: type error 13.2  13.3  545370112 unknown 13.8  13.9  544534528
ldv-linux-3.7.3/main0_false-unreach-call_drivers--media--dvb-frontends--stv090x-ko---32_7a--linux-3.7.3.c unknown 34.2  34.5  817516544 error: type error 32.5  32.6  815886336
ldv-commit-tester/m0_false-unreach-call_drivers-usb-gadget-g_printer-ko--106_1a--2b9ec6c-1.c error: type error 14.6  14.7  722251776 unknown 15.3  15.4  720232448
ldv-commit-tester/m0_false-unreach-call_drivers-usb-gadget-g_printer-ko--106_1a--2b9ec6c.c error: type error 14.9  15.0  718430208 unknown 15.5  15.5  711823360
ldv-commit-tester/m0_true-unreach-call_drivers-media-video-cx88-cx8802-ko--32_7a--d47b389.c error: type error 16.5  16.6  715124736 unknown 17.4  17.5  714477568
ldv-commit-tester/m0_true-unreach-call_drivers-usb-gadget-g_printer-ko--106_1a--2b9ec6c.c error: type error 14.8  14.9  712925184 unknown 17.0  17.1  721936384
ldv-consumption/32_7a_cilled_false-unreach-call_linux-3.8-rc1-32_7a-drivers--media--dvb-frontends--stv090x.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unknown 33.8  34.0  831508480 error: type error 35.8  36.0  849076224
ldv-consumption/32_7a_cilled_false-unreach-call_linux-3.8-rc1-32_7a-fs--ubifs--ubifs.ko-ldv_main2_sequence_infinite_withcheck_stateful.cil.out.c error: type error 76.8  77.0  1057550336 timeout 121    121    1025597440
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-drivers--media--tuners--tuner-xc2028.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unknown 16.9  17.0  713437184 error: type error 16.2  16.3  722472960
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-drivers--message--fusion--mptsas.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: type error 37.0  37.1  826277888 unknown 39.3  39.5  821489664
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-drivers--misc--sgi-xp--xpc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: type error 24.6  24.7  780103680 unknown 27.2  27.3  805810176
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-drivers--net--ethernet--intel--e1000e--e1000e.ko-ldv_main1_sequence_infinite_withcheck_stateful.cil.out.c timeout 121    121    1078542336 unknown 84.8  85.0  1224245248
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-drivers--platform--x86--samsung-laptop.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: type error 19.2  19.3  739966976 unknown 20.8  20.9  758722560
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-drivers--video--aty--radeonfb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: type error 32.8  32.9  803909632 unknown 32.9  33.0  806862848
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-drivers--video--smscufx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: type error 19.3  19.4  748904448 unknown 19.6  19.7  737869824
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-drivers--video--udlfb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: type error 18.1  18.2  743792640 unknown 19.1  19.2  741662720
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--ata--pata_legacy.ko-main.cil.out.c error: type error 11.1  11.1  737935360 unknown 17.6  17.7  742932480
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--block--cpqarray.ko-main.cil.out.c error: exception 16.1  16.2  630296576 error: type error 25.2  25.3  804278272
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--md--dm-snapshot.ko-main.cil.out.c error: type error 16.8  16.9  756453376 unknown 27.5  27.6  758513664
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko-main.cil.out.c unknown 30.8  30.9  790237184 error: type error 32.4  32.6  790765568
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--misc--sgi-xp--xpc.ko-main.cil.out.c error: type error 24.2  24.4  776953856 unknown 28.9  29.0  804585472
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--staging--panel--panel.ko-main.cil.out.c error: type error 15.0  15.1  582303744 unknown 16.0  16.0  603807744
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--video--aty--radeonfb.ko-main.cil.out.c error: type error 19.9  20.0  802136064 unknown 20.6  20.6  803971072
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--video--udlfb.ko-main.cil.out.c error: type error 20.0  20.1  742236160 unknown 19.3  19.4  740818944
ldv-consumption/32_7a_newdeg_true-unreach-call_linux-3.8-rc1-drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko-main.cil.out.c unknown 31.5  31.7  796692480 error: type error 33.0  33.2  796069888
ldv-consumption/linux-3.8-rc1-32_7a-drivers--net--ethernet--intel--e1000e--e1000e.ko-ldv_main1_true-unreach-call.cil.out.c error: exception 44.5  44.8  874946560 timeout 121    121    1108504576
ldv-linux-3.12-rc1/linux-3.12-rc1.tar.xz-144_2a-drivers--isdn--gigaset--bas_gigaset.ko-entry_point_false-unreach-call.cil.out.c error: type error 30.3  30.5  782114816 unknown 20.2  20.3  798334976
ldv-linux-3.12-rc1/linux-3.12-rc1.tar.xz-144_2a-drivers--usb--wusbcore--wusb-cbaf.ko-entry_point_false-unreach-call.cil.out.c error: exception 12.4  12.4  488865792 unknown 15.7  15.8  706293760
ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--team--team.ko-entry_point_false-unreach-call.cil.out.c error: type error 33.2  33.4  781512704 unknown 37.5  37.6  791166976
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--ata--sata_sx4.ko-entry_point_true-unreach-call.cil.out.c error: type error 17.6  17.7  736866304 unknown 11.6  11.8  740614144
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--scsi--dpt_i2o.ko-entry_point_true-unreach-call.cil.out.c unknown 27.1  27.2  770498560 error: type error 27.4  27.5  766238720
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--target--sbp--sbp_target.ko-entry_point_true-unreach-call.cil.out.c error: type error 30.4  30.5  776683520 unknown 20.3  20.4  778203136
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--video--fbdev--aty--radeonfb.ko-entry_point_true-unreach-call.cil.out.c error: type error 31.9  32.0  804229120 unknown 31.3  31.5  803749888
ldv-validator-v0.6/linux-stable-2b9ec6c-1-106_1a-drivers--usb--gadget--g_printer.ko-entry_point_false-unreach-call.cil.out.c error: type error 15.0  15.1  704921600 unknown 16.2  16.3  712056832
ldv-validator-v0.8/linux-stable-2b9ec6c-1-106_1a-drivers--usb--gadget--g_printer.ko-entry_point_ldv-val-v0.8_false-unreach-call.cil.out.c error: type error 15.5  15.6  706760704 unknown 15.9  16.0  727412736
ldv-validator-v0.8/linux-stable-47dffc7-1-144_2a-drivers--net--usb--cdc-phonet.ko-entry_point_ldv-val-v0.8_false-unreach-call.cil.out.c error: type error 16.1  16.2  729354240 unknown 18.1  18.2  722452480
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--mtd--mtd.ko-entry_point_false-unreach-call.cil.out.c error: type error 31.5  31.7  800468992 unknown 32.0  32.1  799113216
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--net--team--team.ko-entry_point_false-unreach-call.cil.out.c error: type error 38.6  38.8  789426176 unknown 39.9  40.2  812204032
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--video--console--fbcon.ko-entry_point_false-unreach-call.cil.out.c error: type error 25.8  26.0  789917696 unknown 25.5  25.6  785838080
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--md--dm-crypt.ko-entry_point_false-unreach-call.cil.out.c unknown 27.3  27.4  771891200 error: type error 30.2  30.3  769368064
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--video--console--fbcon.ko-entry_point_false-unreach-call.cil.out.c error: type error 17.5  17.6  788557824 unknown 17.5  17.6  784531456
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--misc--sgi-xp--xpc.ko-entry_point_false-unreach-call.cil.out.c error: type error 24.5  24.6  783376384 unknown 27.8  28.0  802320384
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--char--agp--amd64-agp.ko-entry_point_true-unreach-call.cil.out.c error: type error 13.6  13.7  711557120 unknown 9.61 9.65 719335424
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--net--ethernet--intel--i40e--i40e.ko-entry_point_true-unreach-call.cil.out.c timeout 121    121    1027575808 unknown 87.3  87.5  1068019712
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--net--ethernet--mellanox--mlx5--core--mlx5_core.ko-entry_point_true-unreach-call.cil.out.c error: exception 43.0  43.2  804503552 unknown 44.9  45.1  815247360
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--scsi--esas2r--esas2r.ko-entry_point_true-unreach-call.cil.out.c error: exception 14.0  14.1  389111808 unknown 15.6  15.7  561074176
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--gpu--drm--amd--amdkfd--amdkfd.ko-entry_point_true-unreach-call.cil.out.c error: exception 38.1  38.2  795910144 error: type error 62.6  62.9  932147200
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--net--ethernet--broadcom--bnx2x--bnx2x.ko-entry_point_true-unreach-call.cil.out.c unknown 83.8  84.0  1043234816 timeout 121    121    1009639424
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--net--ethernet--chelsio--cxgb3--cxgb3.ko-entry_point_true-unreach-call.cil.out.c timeout 121    121    929128448 unknown 119    119    942907392
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--net--ethernet--intel--i40e--i40e.ko-entry_point_true-unreach-call.cil.out.c unknown 91.8  92.0  1142575104 timeout 121    121    984276992
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--net--ethernet--mellanox--mlx5--core--mlx5_core.ko-entry_point_true-unreach-call.cil.out.c error: exception 48.1  48.3  805785600 unknown 53.8  54.0  822038528
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--scsi--esas2r--esas2r.ko-entry_point_true-unreach-call.cil.out.c error: exception 14.9  15.0  387674112 unknown 17.9  18.0  592044032
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--video--fbdev--aty--radeonfb.ko-entry_point_true-unreach-call.cil.out.c error: type error 36.7  36.9  817885184 unknown 22.2  22.3  817168384
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--video--fbdev--udlfb.ko-entry_point_true-unreach-call.cil.out.c error: type error 12.9  13.0  738738176 unknown 21.5  21.6  756822016
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--atm--solos-pci.ko-entry_point_true-unreach-call.cil.out.c error: type error 21.1  21.2  792379392 unknown 22.3  22.4  801583104
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--isdn--gigaset--bas_gigaset.ko-entry_point_true-unreach-call.cil.out.c error: type error 31.1  31.2  795324416 unknown 32.2  32.5  801214464
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--md--dm-crypt.ko-entry_point_true-unreach-call.cil.out.c unknown 19.5  19.6  767172608 error: type error 18.1  18.1  769949696
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--md--dm-snapshot.ko-entry_point_true-unreach-call.cil.out.c error: type error 29.5  29.7  781500416 unknown 30.7  30.8  769703936
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--net--ethernet--mellanox--mlx5--core--mlx5_core.ko-entry_point_true-unreach-call.cil.out.c error: exception 52.1  52.4  806346752 unknown 48.8  49.0  822521856
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--scsi--esas2r--esas2r.ko-entry_point_true-unreach-call.cil.out.c error: exception 15.0  15.1  367759360 unknown 16.1  16.2  561696768
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--staging--rts5208--rts5208.ko-entry_point_true-unreach-call.cil.out.c unknown 113    113    965394432 timeout 121    121    983846912
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--video--fbdev--aty--radeonfb.ko-entry_point_true-unreach-call.cil.out.c error: type error 33.6  33.8  810618880 unknown 38.0  38.2  810274816
ldv-challenges/linux-3.14__complex_emg__linux-alloc-spinlock__drivers-media-dvb-core-dvb-core_true-unreach-call.cil.c error: exception 22.9  23.0  736178176 unknown 39.8  39.9  955179008
ldv-challenges/linux-3.14__complex_emg__linux-drivers-clk1__drivers-net-ethernet-intel-e1000e-e1000e_true-unreach-call.cil.c unknown 95.4  95.6  1105399808 timeout 121    121    919875584
ldv-challenges/linux-3.14__complex_emg__linux-kernel-locking-mutex__drivers-net-ethernet-chelsio-cxgb3-cxgb3_true-unreach-call.cil.c timeout 121    121    929939456 unknown 75.3  75.5  980443136
ldv-challenges/linux-3.14__complex_emg__linux-usb-dev__drivers-net-ethernet-intel-e1000e-e1000e_true-unreach-call.cil.c timeout 121    121    925208576 unknown 97.7  97.9  1031294976
ldv-challenges/linux-3.8-rc1-32_7a-drivers--media--dvb-frontends--stv090x.ko-ldv_main0_sequence_infinite_withcheck_stateful_true-unreach-call.cil.out.c unknown 35.2  35.4  827179008 error: type error 35.7  35.8  857243648
ldv-challenges/linux-3.8-rc1-32_7a-drivers--net--ethernet--broadcom--bnx2x--bnx2x.ko-ldv_main0_sequence_infinite_withcheck_stateful_true-unreach-call.cil.out.c unknown 65.5  65.6  1007009792 timeout 121    121    998215680
ldv-linux-3.14/linux-3.14__complex_emg__linux-alloc-spinlock__drivers-net-team-team_true-unreach-call.cil.c error: type error 26.7  26.7  802197504 unknown 46.8  47.0  806404096
ldv-linux-3.14/linux-3.14__complex_emg__linux-kernel-locking-mutex__fs-binfmt_misc_true-unreach-call.cil.c error: type error 19.8  20.0  718700544 unknown 19.6  19.7  732704768
ldv-linux-3.14/linux-3.14__complex_emg__linux-kernel-locking-spinlock__drivers-media-dvb-core-dvb-core_true-unreach-call.cil.c error: exception 23.2  23.3  738365440 unknown 39.4  39.7  913985536
ldv-linux-3.14/linux-3.14__linux-alloc-spinlock__drivers-net-ethernet-chelsio-cxgb3-cxgb3_true-unreach-call.cil.c unknown 75.8  76.0  954073088 timeout 121    121    921772032
ldv-linux-3.14/linux-3.14__linux-usb-dev__drivers-net-ethernet-chelsio-cxgb3-cxgb3_true-unreach-call.cil.c unknown 117    117    951140352 timeout 121    121    970366976
ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--net--team--team.ko_false-unreach-call.cil.c error: type error 42.7  42.8  805806080 unknown 51.3  51.6  812752896
ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--esas2r--esas2r.ko_false-unreach-call.cil.c error: exception 16.3  16.4  422678528 unknown 16.4  16.4  533794816
ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--udlfb.ko_false-unreach-call.cil.c error: type error 27.7  27.8  771739648 unknown 29.6  29.8  773865472
recursive/Addition02WithOverflowBug_false-no-overflow.c unknown 7.03 7.09 168124416 -
recursive/Addition03_false-no-overflow.c unknown 6.84 6.90 166653952 -
recursive/EvenOdd03WithOverflowBug_false-no-overflow.c unknown 6.93 7.14 172961792 -
recursive-simple/id_b3_o2_false-no-overflow.c unknown 5.08 5.13 170110976 -
recursive-simple/id_b3_o5_false-no-overflow.c unknown 6.82 7.02 171155456 -
recursive-simple/id_b5_o10_false-no-overflow.c unknown 7.00 7.20 167960576 -
recursive-simple/sum_non_eq_false-no-overflow.c unknown 6.94 7.01 166686720 -
recursive-simple/sum_non_false-no-overflow.c unknown 7.07 7.12 173191168 -
bitvector/byte_add_1_false-no-overflow.i unknown 7.42 7.48 185917440 -
bitvector/byte_add_2_false-no-overflow.i unknown 5.25 5.30 189046784 -
bitvector/byte_add_false-no-overflow.i unknown 5.07 5.12 187031552 -
bitvector/jain_1_false-no-overflow.i unknown 6.97 7.02 166100992 -
bitvector/jain_2_false-no-overflow.i unknown 7.10 7.18 172691456 -
bitvector/jain_4_false-no-overflow.i unknown 7.00 7.05 167931904 -
bitvector/jain_5_false-no-overflow.i unknown 6.83 6.90 169168896 -
bitvector/jain_6_false-no-overflow.i unknown 7.08 7.16 172314624 -
bitvector/jain_7_false-no-overflow.i unknown 4.93 4.97 167735296 -
bitvector/modulus_false-no-overflow.i unknown 7.05 7.10 166715392 -
psyco/psyco_abp_1_false-no-overflow.c unknown 8.01 8.07 198807552 -
signedintegeroverflow-regression/AdditionIntMax_false-no-overflow.c.i unknown 5.41 5.64 190550016 -
signedintegeroverflow-regression/AdditionIntMin_false-no-overflow.c.i unknown 7.56 7.63 197718016 -
signedintegeroverflow-regression/Division_false-no-overflow.c.i unknown 5.39 5.45 194113536 -
signedintegeroverflow-regression/Multiplication_false-no-overflow.c.i unknown 7.97 8.03 197644288 -
signedintegeroverflow-regression/NoConversion_false-no-overflow.c.i unknown 7.74 7.93 192114688 -
signedintegeroverflow-regression/PostfixDecrement_false-no-overflow.c.i unknown 7.92 7.98 194711552 -
signedintegeroverflow-regression/PostfixIncrement_false-no-overflow.c.i unknown 7.88 7.96 196345856 -
signedintegeroverflow-regression/PrefixDecrement_false-no-overflow.c.i unknown 7.71 7.79 193523712 -
signedintegeroverflow-regression/PrefixIncrement_false-no-overflow.c.i unknown 5.32 5.36 193277952 -
signedintegeroverflow-regression/UnaryMinus_false-no-overflow.c.i unknown 7.87 7.93 197718016 -
signedintegeroverflow-regression/ConversionToSignedInt_true-no-overflow_true-termination.c.i unknown 5.67 5.70 193744896 -
signedintegeroverflow-regression/IntegerPromotion_true-no-overflow_true-termination.c.i unknown 7.94 8.01 194715648 -
signedintegeroverflow-regression/Multiplication_true-no-overflow_true-termination.c.i unknown 7.98 8.06 196812800 -
signedintegeroverflow-regression/NoNegativeIntegerConstant_true-no-overflow_true-termination.c.i unknown 7.95 8.00 189202432 -
signedintegeroverflow-regression/UsualArithmeticConversions_true-no-overflow_true-termination.c.i unknown 7.93 7.99 198524928 -
termination-crafted/2Nested_false-no-overflow.c unknown 6.97 7.04 165740544 -
termination-crafted/4NestedWith3Variables_false-no-overflow.c unknown 6.94 7.00 166408192 -
termination-crafted/Ackermann_false-no-overflow.c unknown 7.00 7.05 168615936 -
termination-crafted/Bangalore_false-no-overflow.c unknown 7.09 7.14 171921408 -
termination-crafted/Bangalore_v3_false-no-overflow.c unknown 7.10 7.16 170614784 -
termination-crafted/Benghazi_nondet_false-no-overflow.c unknown 7.03 7.09 172273664 -
termination-crafted/Binary_Search_false-no-overflow.c unknown 7.17 7.23 169730048 -
termination-crafted/Cairo_nondet_false-no-overflow.c unknown 7.04 7.09 169103360 -
termination-crafted/Cairo_step2_false-no-overflow.c unknown 7.05 7.10 171261952 -
termination-crafted/Collatz_unknown-termination_false-no-overflow.c unknown 6.99 7.06 169070592 -
termination-crafted/Copenhagen_disj_false-no-overflow.c unknown 6.84 7.09 169312256 -
termination-crafted/Gothenburg_false-no-overflow.c unknown 6.70 6.77 164585472 -
termination-crafted/Gothenburg_v2_false-no-overflow.c unknown 4.86 4.91 169578496 -
termination-crafted/Hanoi_2vars_false-no-overflow.c unknown 4.97 5.01 167997440 -
termination-crafted/Hanoi_3vars_false-no-overflow.c unknown 6.90 6.95 166354944 -
termination-crafted/Hanoi_plus_false-no-overflow.c unknown 4.87 4.91 163414016 -
termination-crafted/Lobnya-Boolean-Reordered_false-no-overflow.c unknown 6.63 6.69 168177664 -
termination-crafted/Mysore_false-no-overflow.c unknown 4.71 4.75 168202240 -
termination-crafted/NestedRecursion_1a_false-no-overflow.c unknown 7.03 7.09 165326848 -
termination-crafted/NestedRecursion_2a_false-no-overflow.c unknown 6.96 7.02 166834176 -
termination-crafted/NonTermination1_false-no-overflow.c unknown 6.96 7.03 172011520 -
termination-crafted/NonTermination2_false-no-overflow.c unknown 6.91 6.98 169156608 -
termination-crafted/NonTermination4_false-no-overflow.c unknown 6.89 6.94 166510592 -
termination-crafted/NonTerminationSimple2_false-no-overflow.c unknown 6.68 6.73 165560320 -
termination-crafted/NonTerminationSimple3_false-no-overflow.c unknown 4.85 4.88 165650432 -
termination-crafted/NonTerminationSimple4_false-no-overflow.c unknown 6.96 7.04 167542784 -
termination-crafted/NonTerminationSimple5_false-no-overflow.c unknown 6.84 6.90 171143168 -
termination-crafted/NonTerminationSimple6_false-no-overflow.c unknown 6.87 6.92 166477824 -
termination-crafted/NonTerminationSimple8_false-no-overflow.c unknown 6.84 6.92 176025600 -
termination-crafted/NonTerminationSimple9_false-no-overflow.c unknown 7.12 7.17 168611840 -
termination-crafted/Pure2Phase_false-no-overflow.c unknown 6.92 6.97 168165376 -
termination-crafted/Pure3Phase_false-no-overflow.c unknown 7.02 7.10 169279488 -
termination-crafted/RecursiveMultiplication_false-no-overflow.c unknown 6.97 7.05 165740544 -
termination-crafted/RecursiveNonterminating_false-no-overflow.c unknown 6.61 6.69 171401216 -
termination-crafted/Rotation180_false-no-overflow.c unknown 7.01 7.07 166100992 -
termination-crafted/Singapore_false-no-overflow.c unknown 7.08 7.15 164712448 -
termination-crafted/Singapore_plus_false-no-overflow.c unknown 6.94 7.01 166039552 -
termination-crafted/Singapore_v1_false-no-overflow.c unknown 6.94 7.03 175927296 -
termination-crafted/Singapore_v2_false-no-overflow.c unknown 6.87 7.07 167321600 -
termination-crafted/Stockholm_false-no-overflow.c unknown 6.93 6.99 169684992 -
termination-crafted/Thun_false-no-overflow.c unknown 5.04 5.49 167493632 -
termination-crafted/Toulouse-BranchesToLoop_false-no-overflow.c unknown 6.82 6.88 168615936 -
termination-crafted/Toulouse-MultiBranchesToLoop_false-no-overflow.c unknown 4.74 4.78 170815488 -
termination-crafted/aaron2_false-no-overflow.c unknown 4.76 4.80 171335680 -
termination-crafted/aaron3_false-no-overflow.c unknown 6.94 7.00 168337408 -
termination-crafted/easy2_false-no-overflow.c unknown 6.75 6.82 167227392 -
termination-crafted/Arrays02-EquivalentConstantIndices_true-no-overflow_false-termination.c unknown 7.05 7.13 170958848 -
termination-crafted/LexIndexValue-Pointer_true-no-overflow.c unknown 7.00 7.06 169705472 -
termination-crafted/NonTermination3_true-no-overflow_false-termination.c unknown 5.08 5.12 168558592 -
termination-crafted/SyntaxSupportPointer01_true-no-overflow_true-termination.c unknown 4.90 4.95 169664512 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2a_false-no-overflow.c unknown 6.82 6.90 169394176 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2b_false-no-overflow.c unknown 6.58 6.66 167649280 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron2_false-no-overflow.c unknown 7.06 7.49 170622976 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron3_false-no-overflow.c unknown 6.73 6.80 167960576 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-complex_false-no-overflow.c unknown 6.93 7.15 166871040 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1a_false-no-overflow.c unknown 6.87 6.94 170586112 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1b_false-no-overflow.c unknown 6.78 6.84 173871104 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2_false-no-overflow.c unknown 7.00 7.40 166903808 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-exmini_false-no-overflow.c unknown 7.00 7.09 171233280 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-ndecr_false-no-overflow.c unknown 6.83 6.92 170827776 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_false-no-overflow.c unknown 6.94 7.02 167084032 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d_false-no-overflow.c unknown 6.92 6.99 168034304 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-rsd_false-no-overflow.c unknown 6.87 6.96 169148416 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedFails4_false-no-overflow.c unknown 7.04 7.24 168509440 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-terminate_false-no-overflow.c unknown 4.64 5.23 169136128 -
termination-crafted-lit/Ben-Amram-LMCS2010-Ex2.3_false-no-overflow.c unknown 6.92 6.99 169652224 -
termination-crafted-lit/BradleyMannaSipma-ICALP2005-Fig1_false-no-overflow.c unknown 6.74 6.82 163999744 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron12_false-no-overflow.c unknown 4.93 4.97 165658624 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron1_false-no-overflow.c unknown 4.98 5.02 165924864 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron2_false-no-overflow.c unknown 7.10 7.16 167936000 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron3_false-no-overflow.c unknown 6.76 6.82 171266048 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron4_false-no-overflow.c unknown 4.86 4.89 169689088 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron6_false-no-overflow.c unknown 5.10 5.15 169951232 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.01_false-no-overflow.c unknown 6.69 6.75 170713088 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.02_false-no-overflow.c unknown 7.05 7.12 166178816 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.03_false-no-overflow.c unknown 6.71 6.76 165539840 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.04_false-no-overflow.c unknown 6.94 7.00 166600704 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.05_false-no-overflow.c unknown 6.84 7.03 167608320 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.01_false-no-overflow.c unknown 4.45 4.50 164200448 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.02_false-no-overflow.c unknown 6.85 6.93 167350272 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.03_false-no-overflow.c unknown 6.98 7.03 171618304 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.04_false-no-overflow.c unknown 6.85 6.92 165441536 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.05_false-no-overflow.c unknown 6.93 7.36 171098112 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.06_false-no-overflow.c unknown 6.98 7.04 173277184 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.07_false-no-overflow.c unknown 6.72 6.78 172740608 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.08_false-no-overflow.c unknown 6.97 7.05 166129664 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.09_false-no-overflow.c unknown 7.11 7.18 168157184 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.10_false-no-overflow.c unknown 6.76 6.82 167571456 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.11_false-no-overflow.c unknown 6.89 7.09 168325120 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.12_false-no-overflow.c unknown 7.08 7.28 170840064 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.13_false-no-overflow.c unknown 6.78 6.99 171618304 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.14_false-no-overflow.c unknown 6.68 6.75 166813696 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.15_false-no-overflow.c unknown 6.81 6.88 165974016 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.16_false-no-overflow.c unknown 7.01 7.10 168898560 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.17_false-no-overflow.c unknown 6.81 6.89 169541632 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.18_false-no-overflow.c unknown 4.66 4.72 167645184 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.19_false-no-overflow.c unknown 7.10 7.17 170954752 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.21_false-no-overflow.c unknown 4.62 4.66 170225664 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.22_false-no-overflow.c unknown 6.88 7.14 172486656 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.02_false-no-overflow.c unknown 7.04 7.10 168681472 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.03_false-no-overflow.c unknown 5.03 5.06 167657472 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.04_false-no-overflow.c unknown 5.23 5.33 168869888 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.05_false-no-overflow.c unknown 4.93 4.97 165588992 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.06_false-no-overflow.c unknown 6.97 7.04 166121472 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.07_false-no-overflow.c unknown 6.85 6.91 167309312 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.08_false-no-overflow.c unknown 7.13 7.18 169025536 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.09_false-no-overflow.c unknown 7.05 7.12 168882176 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.10_false-no-overflow.c unknown 6.55 6.76 165863424 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex4.01_false-no-overflow.c unknown 6.94 6.99 172687360 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Fig1_false-no-overflow.c unknown 6.96 7.02 167616512 -
termination-crafted-lit/ColonSipma-TACAS2001-Fig1_false-no-overflow.c unknown 6.64 6.71 167940096 -
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1a_false-no-overflow.c unknown 6.80 6.86 170586112 -
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1b_false-no-overflow.c unknown 7.04 7.49 173522944 -
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1c_false-no-overflow.c unknown 6.77 6.98 168419328 -
termination-crafted-lit/GulwaniJainKoskinen-PLDI2009-Fig1_false-no-overflow.c unknown 6.97 7.03 166604800 -
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig2_false-no-overflow.c unknown 4.90 4.94 168140800 -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig2_false-no-overflow.c unknown 6.80 6.85 185610240 -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig7_false-no-overflow.c unknown 6.64 7.07 167530496 -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig8_false-no-overflow.c unknown 6.92 6.98 168869888 -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig9_false-no-overflow.c unknown 7.00 7.19 171028480 -
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex1_false-no-overflow.c unknown 6.90 7.30 166658048 -
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex2_false-no-overflow.c unknown 6.82 6.90 167022592 -
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex3_false-no-overflow.c unknown 6.84 6.93 166309888 -
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex6_false-no-overflow.c unknown 6.99 7.39 168628224 -
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex7_false-no-overflow.c unknown 6.96 7.04 174252032 -
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex8_false-no-overflow.c unknown 6.83 7.04 168669184 -
termination-crafted-lit/LeikeHeizmann-TACAS2014-Fig1_false-no-overflow.c unknown 4.67 4.75 167497728 -
termination-crafted-lit/LeikeHeizmann-WST2014-Ex5_false-no-overflow.c unknown 4.76 4.80 167010304 -
termination-crafted-lit/LeikeHeizmann-WST2014-Ex6_false-no-overflow.c unknown 6.87 6.93 169168896 -
termination-crafted-lit/Masse-VMCAI2014-Ex6_false-no-overflow.c unknown 6.83 6.88 167743488 -
termination-crafted-lit/Masse-VMCAI2014-Fig1a_false-no-overflow.c unknown 5.06 5.10 169590784 -
termination-crafted-lit/Masse-VMCAI2014-Fig1b_false-no-overflow.c unknown 5.07 5.11 166092800 -
termination-crafted-lit/NoriSharma-FSE2013-Fig7_false-no-overflow.c unknown 6.64 6.71 174895104 -
termination-crafted-lit/NoriSharma-FSE2013-Fig8_false-no-overflow.c unknown 6.98 7.04 169304064 -
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig2-TACAS2011-Fig3_false-no-overflow.c unknown 4.92 4.95 169406464 -
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig2_false-no-overflow.c unknown 6.66 6.72 168128512 -
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig3_false-no-overflow.c unknown 7.03 7.12 166789120 -
termination-crafted-lit/PodelskiRybalchenko-VMCAI2004-Ex1_false-no-overflow.c unknown 6.99 7.07 166801408 -
termination-crafted-lit/PodelskiRybalchenko-VMCAI2004-Ex2_false-no-overflow.c unknown 7.14 7.23 170192896 -
termination-crafted-lit/cstrncmp_false-no-overflow.c unknown 7.24 7.32 178692096 -
termination-crafted-lit/gcd1_false-no-overflow.c unknown 6.88 6.98 171433984 -
termination-crafted-lit/joey_false-no-overflow.c unknown 7.04 7.14 168476672 -
termination-crafted-lit/min_rf_false-no-overflow.c unknown 7.01 7.06 168853504 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig1_true-termination_true-no-overflow.c unknown 7.03 7.09 167702528 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-cousot9_true-termination_true-no-overflow.c unknown 7.07 7.15 172535808 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy1_true-termination_true-no-overflow.c unknown 7.03 7.25 170065920 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2_true-termination_true-no-overflow.c unknown 6.82 6.88 164753408 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-loops_true-termination_true-no-overflow.c unknown 6.69 6.75 166367232 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_true-termination_true-no-overflow.c unknown 7.12 7.17 169979904 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d_true-termination_true-no-overflow.c unknown 6.93 7.00 170979328 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random2d_true-termination_true-no-overflow.c unknown 4.88 4.92 167739392 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi2_true-termination_true-no-overflow.c unknown 7.06 7.25 170913792 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi3_true-termination_true-no-overflow.c unknown 6.88 6.94 166285312 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi4_true-termination_true-no-overflow.c unknown 7.03 7.11 170127360 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wcet2_true-termination_true-no-overflow.c unknown 6.94 7.16 172838912 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-while2_true-termination_true-no-overflow.c unknown 6.88 6.93 165953536 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wise_true-termination_true-no-overflow.c unknown 4.79 4.83 168497152 -
termination-crafted-lit/Avery-FLOPS2006-Table1_true-termination_true-no-overflow.c unknown 7.03 7.10 172306432 -
termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1-modified_false-termination_true-no-overflow.c unknown 6.81 6.89 166617088 -
termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1_true-termination_true-no-overflow.c unknown 4.74 4.78 166510592 -
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig1_true-termination_true-no-overflow.c unknown 4.81 4.84 167043072 -
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig9a_true-termination_true-no-overflow.c unknown 4.77 4.80 171028480 -
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Introduction_true-termination_true-no-overflow.c unknown 6.95 7.01 166912000 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy1_true-termination_true-no-overflow.c unknown 4.95 4.98 167231488 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy2_true-termination_true-no-overflow.c unknown 6.95 7.01 170696704 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random1d_true-termination_true-no-overflow.c unknown 6.83 6.88 165797888 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random2d_true-termination_true-no-overflow.c unknown 7.00 7.06 171229184 -
termination-crafted-lit/ChenCookFuhsNimkarOHearn-TACAS2014-Introduction_false-termination_true-no-overflow.c unknown 6.97 7.18 168456192 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.20_true-termination_true-no-overflow.c unknown 6.88 6.95 166371328 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.01_true-termination_true-no-overflow.c unknown 6.90 6.97 166617088 -
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig1_true-termination_true-no-overflow.c unknown 7.01 7.06 164331520 -
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7a_true-termination_true-no-overflow.c unknown 7.06 7.25 169295872 -
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7b_true-termination_true-no-overflow.c unknown 6.94 7.14 177025024 -
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a-modified_true-termination_true-no-overflow.c unknown 7.02 7.07 170053632 -
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a_true-termination_true-no-overflow.c unknown 6.58 6.64 171823104 -
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8b_true-termination_true-no-overflow.c unknown 6.93 6.99 169058304 -
termination-crafted-lit/GopanReps-CAV2006-Fig1a_true-termination_true-no-overflow.c.c unknown 6.99 7.05 167329792 -
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig1_true-termination_true-no-overflow.c unknown 6.79 6.84 169668608 -
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig3_true-termination_true-no-overflow.c unknown 6.85 7.04 167993344 -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig1_true-termination_true-no-overflow.c unknown 7.09 7.16 170872832 -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig4_true-termination_true-no-overflow.c unknown 7.02 7.07 168009728 -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig5_true-termination_true-no-overflow.c unknown 6.92 6.97 168648704 -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig6_true-termination_true-no-overflow.c unknown 6.60 6.65 174247936 -
termination-crafted-lit/HenzingerJhalaMajumdarSutre-POPL2002-LockingExample_false-termination_true-no-overflow.c unknown 6.69 6.73 169041920 -
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Ex_true-termination_true-no-overflow.c unknown 6.97 7.02 167718912 -
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Fig1_true-termination_true-no-overflow.c unknown 4.78 4.82 171147264 -
termination-crafted-lit/LarrazOliverasRodriguez-CarbonellRubio-FMCAD2013-Fig1_true-termination_true-no-overflow.c unknown 4.82 4.86 167489536 -
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex4_true-termination_true-no-overflow.c unknown 6.70 6.76 166014976 -
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex5_true-termination_true-no-overflow.c unknown 6.83 6.90 173711360 -
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex1_true-termination_true-no-overflow.c unknown 4.96 5.00 165253120 -
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex9_true-termination_true-no-overflow.c unknown 4.86 4.90 165306368 -
termination-crafted-lit/LeikeHeizmann-WST2014-Ex9_true-termination_true-no-overflow.c unknown 6.63 6.70 169910272 -
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig1_true-termination_true-no-overflow.c unknown 4.98 5.02 167317504 -
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig1_true-termination_true-no-overflow.c unknown 6.92 6.98 164220928 -
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig2_true-termination_true-no-overflow.c unknown 7.04 7.11 166825984 -
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig4_true-termination_true-no-overflow.c unknown 6.88 6.93 164712448 -
termination-crafted-lit/Urban-WST2013-Fig1_false-termination_true-no-overflow.c unknown 6.97 7.07 165289984 -
termination-crafted-lit/Urban-WST2013-Fig2-modified1000_true-termination_true-no-overflow.c unknown 6.95 7.04 166866944 -
termination-crafted-lit/Urban-WST2013-Fig2_true-termination_true-no-overflow.c unknown 6.88 7.14 173019136 -
termination-crafted-lit/UrbanMine-ESOP2014-Fig3_true-termination_true-no-overflow.c unknown 6.86 6.91 168992768 -
termination-crafted-lit/Velroyen_false-termination_true-no-overflow.c unknown 6.96 7.03 169279488 -
termination-crafted-lit/aviad_true-termination_true-no-overflow.c unknown 6.86 6.93 168591360 -
termination-crafted-lit/cstrcmp_true-termination_true-no-overflow.c unknown 5.11 5.15 174006272 -
termination-crafted-lit/cstrcspn_true-termination_true-no-overflow.c unknown 6.95 7.01 168488960 -
termination-crafted-lit/cstrlen_true-termination_true-no-overflow.c unknown 6.93 7.01 170139648 -
termination-crafted-lit/cstrpbrk_true-termination_true-no-overflow.c unknown 7.15 7.20 170983424 -
termination-crafted-lit/cstrspn_true-termination_true-no-overflow.c unknown 6.92 6.99 186822656 -
termination-crafted-lit/genady_true-termination_true-no-overflow.c unknown 6.84 7.05 166154240 -
termination-crafted-lit/strchr_true-no-overflow_true-termination.c unknown 6.84 7.05 168660992 -
termination-numeric/Addition01_false-no-overflow.c unknown 6.92 6.98 169148416 -
termination-numeric/Avg_true_false-no-overflow.c unknown 6.89 7.09 169914368 -
termination-numeric/Binomial_true-termination_false-no-overflow.c unknown 7.18 7.23 171597824 -
termination-numeric/Et1_true_false-no-overflow.c unknown 6.86 6.95 165990400 -
termination-numeric/Et2_true_false-no-overflow.c unknown 6.99 7.06 173363200 -
termination-numeric/Et3_true_false-no-overflow.c unknown 7.04 7.10 171139072 -
termination-numeric/Et4_true_false-no-overflow.c unknown 5.06 5.11 170635264 -
termination-numeric/MultCommutative_false-no-overflow.c unknown 5.00 5.04 169635840 -
termination-numeric/TerminatorRec02_true-termination_false-no-overflow.c unknown 7.07 7.14 170647552 -
termination-numeric/Ackermann01_true-termination_true-no-overflow.c unknown 7.07 7.14 171900928 -
termination-numeric/EvenOdd01_true-termination_true-no-overflow.c unknown 5.10 5.14 171560960 -
termination-numeric/Fibonacci01_true-termination_true-no-overflow.c unknown 4.80 4.84 171061248 -
termination-numeric/LeUserDefRec_true-termination_true-no-overflow.c unknown 6.93 6.99 171245568 -
termination-numeric/LogRecursive_true-termination_true-no-overflow.c unknown 6.88 6.96 169504768 -
termination-numeric/Parts_true-termination_true-no-overflow.c unknown 7.01 7.07 164950016 -
termination-numeric/TwoWay_true-termination_true-no-overflow.c unknown 4.80 4.84 168472576 -
termination-numeric/gcd01_true-termination_true-no-overflow.c unknown 6.66 6.73 184545280 -
termination-numeric/java_LogBuiltIn_true-termination_true-no-overflow.c unknown 6.96 7.03 165072896 -
termination-numeric/recHanoi02_true-termination_true-no-overflow.c unknown 6.87 7.08 164782080 -
termination-numeric/rec_counter1_true-termination_true-no-overflow.c unknown 6.91 6.98 170721280 -
termination-numeric/rec_counter3_true-termination_true-no-overflow.c unknown 7.08 7.14 167600128 -
termination-numeric/twisted_true-termination_true-no-overflow.c unknown 7.05 7.11 168730624 -
busybox-1.22.0/chgrp-incomplete_false-no-overflow.i unknown 7.05 7.09 208240640 -
busybox-1.22.0/chroot-incomplete_false-no-overflow.i unknown 10.9  11.0  207261696 -
busybox-1.22.0/cut_false-no-overflow.i unknown 11.3  11.4  218214400 -
busybox-1.22.0/date_false-no-overflow.i unknown 11.8  11.9  220131328 -
busybox-1.22.0/du_false-no-overflow.i unknown 11.8  12.3  223047680 -
busybox-1.22.0/echo_false-no-overflow.i unknown 10.7  10.8  210837504 -
busybox-1.22.0/expand_false-no-overflow.i unknown 11.3  11.4  229621760 -
busybox-1.22.0/fold_false-no-overflow.i unknown 10.2  10.3  218718208 -
busybox-1.22.0/head_false-no-overflow.i unknown 10.8  10.9  211251200 -
busybox-1.22.0/logname_false-no-overflow.i unknown 10.2  10.3  205492224 -
busybox-1.22.0/ls-incomplete_false-no-overflow.i error: exception 13.2  13.3  243892224 -
busybox-1.22.0/mkdir_false-no-overflow.i unknown 11.6  11.7  222498816 -
busybox-1.22.0/mkfifo-incomplete_false-no-overflow.i unknown 9.83 9.90 205037568 -
busybox-1.22.0/od_false-no-overflow.i unknown 12.6  12.7  239009792 -
busybox-1.22.0/printf_false-no-overflow.i unknown 7.89 7.94 221229056 -
busybox-1.22.0/readlink_false-no-overflow.i unknown 10.9  11.0  219881472 -
busybox-1.22.0/realpath_false-no-overflow.i unknown 10.6  10.7  208797696 -
busybox-1.22.0/rm_false-no-overflow.i unknown 7.66 7.71 217038848 -
busybox-1.22.0/seq_false-no-overflow.i unknown 6.90 6.95 216281088 -
busybox-1.22.0/sleep_false-no-overflow.i unknown 11.2  11.3  211107840 -
busybox-1.22.0/stty_false-no-overflow.i unknown 12.8  12.8  301957120 -
busybox-1.22.0/sync_false-no-overflow.i unknown 9.80 9.88 203276288 -
busybox-1.22.0/tac_false-no-overflow.i unknown 10.9  10.9  209743872 -
busybox-1.22.0/tee_false-no-overflow.i unknown 10.6  10.6  214679552 -
busybox-1.22.0/test-incomplete_false-no-overflow.i unknown 11.2  11.3  219062272 -
busybox-1.22.0/touch_false-no-overflow.i unknown 11.6  11.7  220172288 -
busybox-1.22.0/uname_false-no-overflow.i unknown 11.1  11.2  219414528 -
busybox-1.22.0/uniq_false-no-overflow.i unknown 11.1  11.1  219766784 -
busybox-1.22.0/usleep_false-no-overflow.i unknown 7.09 7.13 212660224 -
busybox-1.22.0/uudecode_false-no-overflow.i unknown 7.86 7.93 230260736 -
busybox-1.22.0/wc_false-no-overflow.i unknown 9.93 10.0  216252416 -
busybox-1.22.0/who_false-no-overflow.i unknown 10.5  10.5  213180416 -
busybox-1.22.0/whoami-incomplete_false-no-overflow.i unknown 10.7  10.7  206315520 -
busybox-1.22.0/yes_false-no-overflow.i unknown 6.48 6.70 189620224 -
termination-restricted-15/DivMinus2_true-termination_true-no-overflow.c unknown 6.99 7.16 168824832 -
termination-restricted-15/DivMinus_true-termination_true-no-overflow.c unknown 7.04 7.11 166883328 -
termination-restricted-15/GCD3_true-termination_true-no-overflow.c unknown 7.05 7.26 167100416 -
termination-restricted-15/GCD4_true-termination_true-no-overflow.c unknown 4.92 4.96 168112128 -
termination-restricted-15/IntPath_true-termination_true-no-overflow.c unknown 7.02 7.06 167010304 -
termination-restricted-15/LogAG_true-termination_true-no-overflow.c unknown 7.07 7.13 169447424 -
termination-restricted-15/Log_true-termination_true-no-overflow.c unknown 5.09 5.13 164548608 -
termination-restricted-15/McCarthyIterative_true-termination_true-no-overflow.c unknown 6.98 7.04 170221568 -
termination-restricted-15/MinusBuiltIn_true-termination_true-no-overflow.c unknown 7.03 7.09 168419328 -
termination-restricted-15/MinusUserDefined_true-termination_true-no-overflow.c unknown 7.04 7.10 168361984 -
termination-restricted-15/Nested_true-termination_true-no-overflow.c unknown 6.81 6.88 169422848 -
termination-restricted-15/PastaA10_true-termination_true-no-overflow.c unknown 6.99 7.04 169779200 -
termination-restricted-15/PastaA1_true-termination_true-no-overflow.c unknown 6.54 6.60 165568512 -
termination-restricted-15/PastaA4_true-termination_true-no-overflow.c unknown 5.10 5.15 168587264 -
termination-restricted-15/PastaA7_true-termination_true-no-overflow.c unknown 4.98 5.02 165269504 -
termination-restricted-15/PastaB14_true-termination_true-no-overflow.c unknown 7.09 7.14 167530496 -
termination-restricted-15/PastaB15_true-termination_true-no-overflow.c unknown 7.11 7.30 171753472 -
termination-restricted-15/PastaB16_true-termination_true-no-overflow.c unknown 6.90 6.95 178216960 -
termination-restricted-15/PastaB17_true-termination_true-no-overflow.c unknown 7.03 7.09 168345600 -
termination-restricted-15/PastaB1_true-termination_true-no-overflow.c unknown 6.78 6.83 166002688 -
termination-restricted-15/PastaB2_true-termination_true-no-overflow.c unknown 4.78 4.82 167276544 -
termination-restricted-15/PastaB4_true-termination_true-no-overflow.c unknown 6.91 6.97 168890368 -
termination-restricted-15/PastaB6_true-termination_true-no-overflow.c unknown 6.80 6.86 169504768 -
termination-restricted-15/PastaB7_true-termination_true-no-overflow.c unknown 4.89 4.92 169431040 -
termination-restricted-15/PastaC3_true-termination_true-no-overflow.c unknown 7.04 7.11 167059456 -
termination-restricted-15/PastaC7_true-termination_true-no-overflow.c unknown 6.77 6.94 169443328 -
termination-restricted-15/PastaC9_true-termination_true-no-overflow.c unknown 6.68 6.73 162983936 -
termination-restricted-15/Sequence_true-termination_true-no-overflow.c unknown 6.94 7.00 166248448 -
termination-restricted-15/WhileDecr_true-termination_true-no-overflow.c unknown 6.96 7.01 169816064 -
termination-restricted-15/a.01_true-termination_true-no-overflow.c unknown 6.94 7.01 167747584 -
termination-restricted-15/a.04_true-termination_true-no-overflow.c unknown 6.90 6.97 172191744 -
termination-restricted-15/a.05_true-termination_true-no-overflow.c unknown 6.59 6.66 170123264 -
termination-restricted-15/a.06_true-termination_true-no-overflow.c unknown 7.00 7.06 169508864 -
termination-restricted-15/a.07_true-termination_true-no-overflow.c unknown 6.82 6.89 169553920 -
termination-restricted-15/a.08_true-termination_true-no-overflow.c unknown 6.67 6.72 175595520 -
termination-restricted-15/a.09_assume_true-termination_true-no-overflow.c unknown 7.03 7.22 167505920 -
termination-restricted-15/a.10_true-termination.c unknown 4.91 4.96 168263680 -
termination-restricted-15/b.01_true-termination_true-no-overflow.c unknown 6.88 6.94 168046592 -
termination-restricted-15/b.02_true-termination_true-no-overflow.c unknown 6.81 6.86 167698432 -
termination-restricted-15/b.03-no-inv_assume_true-termination_true-no-overflow.c unknown 6.96 7.14 166830080 -
termination-restricted-15/b.03_assume_true-termination_true-no-overflow.c unknown 4.89 4.92 167604224 -
termination-restricted-15/b.04_true-termination_true-no-overflow.c unknown 6.85 6.90 173449216 -
termination-restricted-15/b.05_true-termination_true-no-overflow.c unknown 6.97 7.03 186294272 -
termination-restricted-15/b.06_true-termination_true-no-overflow.c unknown 5.06 5.09 167952384 -
termination-restricted-15/b.07_true-termination_true-no-overflow.c unknown 6.81 6.87 168755200 -
termination-restricted-15/b.09-no-inv_assume_true-termination_true-no-overflow.c unknown 4.84 4.88 173477888 -
termination-restricted-15/b.09_assume_true-termination_true-no-overflow.c unknown 6.83 6.88 166252544 -
termination-restricted-15/b.10_true-termination_true-no-overflow.c unknown 6.89 6.95 169701376 -
termination-restricted-15/b.11_true-termination_true-no-overflow.c unknown 6.66 6.72 170078208 -
termination-restricted-15/b.12_true-termination_true-no-overflow.c unknown 6.77 6.88 169107456 -
termination-restricted-15/b.13_true-termination_true-no-overflow.c unknown 6.91 6.96 168374272 -
termination-restricted-15/b.14_true-termination_true-no-overflow.c unknown 6.94 7.15 169975808 -
termination-restricted-15/b.15_true-termination_true-no-overflow.c unknown 6.75 6.80 167776256 -
termination-restricted-15/b.16_true-termination_true-no-overflow.c unknown 6.83 6.90 168095744 -
termination-restricted-15/b.17_true-termination_true-no-overflow.c unknown 6.80 6.88 166531072 -
termination-restricted-15/b.18_true-termination_true-no-overflow.c unknown 6.91 6.99 173187072 -
termination-restricted-15/c.01-no-inv_true-termination_true-no-overflow.c unknown 6.76 6.85 167956480 -
termination-restricted-15/c.01_assume_true-termination_true-no-overflow.c unknown 6.07 6.13 167862272 -
termination-restricted-15/c.02_true-termination_true-no-overflow.c unknown 4.88 5.09 167124992 -
termination-restricted-15/c.03_true-termination_true-no-overflow.c unknown 4.76 4.81 168677376 -
termination-restricted-15/c.07_true-termination_true-no-overflow.c unknown 6.77 6.85 167317504 -
termination-restricted-15/c.08_true-termination_true-no-overflow.c unknown 6.89 6.95 169574400 -
termination-restricted-15/ex3a_true-termination_true-no-overflow.c unknown 6.81 6.87 169230336 -
termination-restricted-15/ex3b_true-termination_true-no-overflow.c unknown 5.85 5.92 165904384 -
termination-restricted-15/java_AG313_true-termination_true-no-overflow.c unknown 6.50 6.55 178163712 -
termination-restricted-15/java_Break_true-termination_true-no-overflow.c unknown 7.02 7.08 171249664 -
termination-restricted-15/java_Continue1_true-termination_true-no-overflow.c unknown 5.01 5.09 167329792 -
termination-restricted-15/java_Nested_true-termination_true-no-overflow.c unknown 6.91 7.09 170471424 -
termination-restricted-15/java_Sequence_true-termination_true-no-overflow.c unknown 7.02 7.07 168964096 -
termination-restricted-15/AlternKonv_false-termination_true-no-overflow.c unknown 6.86 6.93 165765120 -
termination-restricted-15/ComplInterv2_false-termination_true-no-overflow.c unknown 5.01 5.06 166469632 -
termination-restricted-15/ConvLower_false-termination_true-no-overflow.c unknown 7.01 7.07 171356160 -
termination-restricted-15/Ex02_false-termination_true-no-overflow.c unknown 6.61 6.67 172474368 -
termination-restricted-15/Ex03_false-termination_true-no-overflow.c unknown 6.98 7.04 167092224 -
termination-restricted-15/Ex05_false-termination_true-no-overflow.c unknown 6.83 6.90 168935424 -
termination-restricted-15/Ex06_false-termination_true-no-overflow.c unknown 6.90 6.96 167092224 -
termination-restricted-15/Ex07_false-termination_true-no-overflow.c unknown 4.72 4.77 169639936 -
termination-restricted-15/Ex08_false-termination_true-no-overflow.c unknown 6.94 7.00 166428672 -
termination-restricted-15/Flip2_false-termination_true-no-overflow.c unknown 4.85 4.89 172687360 -
termination-restricted-15/Flip_false-termination_true-no-overflow.c unknown 6.68 6.74 168689664 -
termination-restricted-15/GCD2_false-termination_true-no-overflow.c unknown 6.88 6.94 163819520 -
termination-restricted-15/GCD_false-termination_true-no-overflow.c unknown 6.65 6.71 174739456 -
termination-restricted-15/Loop_false-termination_true-no-overflow.c unknown 6.79 6.85 168828928 -
termination-restricted-15/MirrorIntervSim_false-termination_true-no-overflow.c unknown 6.79 6.84 167882752 -
termination-restricted-15/NO_00_false-termination_true-no-overflow.c unknown 6.89 6.95 165257216 -
termination-restricted-15/NO_01_false-termination_true-no-overflow.c unknown 7.06 7.11 173330432 -
termination-restricted-15/NO_02_false-termination_true-no-overflow.c unknown 6.79 6.84 168923136 -
termination-restricted-15/NO_03_false-termination_true-no-overflow.c unknown 7.05 7.12 170409984 -
termination-restricted-15/NO_04_false-termination_true-no-overflow.c unknown 4.98 5.02 165617664 -
termination-restricted-15/NO_13_false-termination_true-no-overflow.c unknown 6.90 6.96 169254912 -
termination-restricted-15/NO_21_false-termination_true-no-overflow.c unknown 6.85 6.91 167661568 -
termination-restricted-15/NO_22_false-termination_true-no-overflow.c unknown 6.78 6.84 172441600 -
termination-restricted-15/NO_23_false-termination_true-no-overflow.c unknown 4.97 5.02 165113856 -
termination-restricted-15/NO_24_false-termination_true-no-overflow.c unknown 6.71 6.76 168607744 -
termination-restricted-15/NarrowKonv_false-termination_true-no-overflow.c unknown 7.02 7.08 165777408 -
termination-restricted-15/Narrowing_false-termination_true-no-overflow.c unknown 6.92 6.97 167878656 -
termination-restricted-15/Sunset_false-termination_true-no-overflow.c unknown 6.83 6.90 168239104 -
termination-restricted-15/Swingers_false-termination_true-no-overflow.c unknown 6.96 7.03 176660480 -
termination-restricted-15/TwoFloatInterv_false-termination_true-no-overflow.c unknown 6.88 6.94 167366656 -
termination-restricted-15/UpAndDownIneq_false-termination_true-no-overflow.c unknown 4.97 5.01 168931328 -
termination-restricted-15/UpAndDown_false-termination_true-no-overflow.c unknown 4.90 4.94 169127936 -
termination-restricted-15/WhilePart_false-termination_true-no-overflow.c unknown 6.89 6.94 169316352 -
termination-restricted-15/WhileSingle_false-termination_true-no-overflow.c unknown 4.73 4.76 165105664 -
termination-libowfat/atoi_true-termination.c.i unknown 8.08 8.15 192241664 -
termination-libowfat/atol_true-termination.c.i unknown 8.07 8.14 192622592 -
termination-libowfat/atoll_true-termination.c.i unknown 8.27 8.35 194056192 -
termination-libowfat/basename_true-termination.c.i unknown 8.12 8.19 189095936 -
termination-libowfat/build_fullname_true-termination.c.i unknown 8.21 8.27 199163904 -
termination-libowfat/dirname_true-termination.c.i unknown 8.17 8.25 198619136 -
termination-libowfat/skip_to_true-termination.c.i unknown 5.66 5.70 200224768 -
termination-libowfat/stpcpy_true-termination.c.i unknown 7.98 8.37 193417216 -
termination-libowfat/strcasecmp_true-termination.c.i unknown 8.04 8.11 203612160 -
termination-libowfat/strcat_short_true-termination.c.i unknown 8.14 8.20 197722112 -
termination-libowfat/strcat_true-termination.c.i unknown 8.21 8.29 198160384 -
termination-libowfat/strchr_short_true-termination.c.i unknown 8.03 8.10 201637888 -
termination-libowfat/strchr_true-termination.c.i unknown 7.82 7.88 200368128 -
termination-libowfat/strcmp_short_true-termination.c.i unknown 7.78 7.87 195657728 -
termination-libowfat/strcpy_small_true-termination.c.i unknown 7.81 7.89 196018176 -
termination-libowfat/strcspn_true-termination.c.i unknown 8.21 8.40 197341184 -
termination-libowfat/strdup_true-termination.c.i unknown 7.86 7.94 205856768 -
termination-libowfat/strlcat_true-termination.c.i unknown 7.76 7.83 190431232 -
termination-libowfat/strlcpy_true-termination.c.i unknown 7.90 7.97 213635072 -
termination-libowfat/strlen_true-termination.c.i unknown 8.15 8.24 194301952 -
termination-libowfat/strpbrk_true-termination.c.i unknown 5.85 5.90 197595136 -
termination-libowfat/strrchr_short_true-termination.c.i unknown 5.62 5.67 201449472 -
termination-libowfat/strrchr_true-termination.c.i unknown 7.68 7.95 193568768 -
termination-libowfat/strspn_true-termination.c.i unknown 8.05 8.13 196567040 -
termination-libowfat/strstr_true-termination.c.i unknown 8.04 8.23 193040384 -
termination-libowfat/strtok_r_true-termination.c.i unknown 8.23 8.30 195928064 -
termination-libowfat/strtol_true-termination.c.i unknown 5.86 5.90 197140480 -
termination-libowfat/strtoul_true-termination.c.i unknown 5.82 5.86 194711552 -
termination-libowfat/strtoull_true-termination.c.i unknown 7.73 7.79 190373888 -
termination-libowfat/wcsrchr_true-termination.c.i unknown 8.00 8.07 208109568 -
termination-libowfat/wcsstr_true-termination.c.i unknown 7.83 7.89 199368704 -
termination-memory-alloca/Urban-2013WST-Fig1-alloca_false-termination.c.i unknown 7.86 7.93 197181440 -
termination-memory-alloca/Velroyen-alloca_false-termination.c.i unknown 8.00 8.06 196923392 -
termination-memory-alloca/Avery-2006FLOPS-Tabel1_true-alloca_true-termination.c.i unknown 8.19 8.47 192507904 -
termination-memory-alloca/Ben-Amram-2010LMCS-Ex2.3-alloca_true-termination.c.i unknown 8.08 8.14 191074304 -
termination-memory-alloca/BrockschmidtCookFuhs-2013CAV-Fig1-alloca_true-termination.c.i unknown 8.08 8.14 193236992 -
termination-memory-alloca/BrockschmidtCookFuhs-2013CAV-Introduction-alloca_true-termination.c.i unknown 5.84 5.89 198610944 -
termination-memory-alloca/ChenFlurMukhopadhyay-2012SAS-Fig1-alloca_true-termination.c.i unknown 8.06 8.13 198549504 -
termination-memory-alloca/CookSeeZuleger-2013TACAS-Fig3-alloca_true-termination.c.i unknown 7.93 8.73 198971392 -
termination-memory-alloca/CookSeeZuleger-2013TACAS-Fig7a-alloca_true-termination.c.i unknown 5.43 5.48 194535424 -
termination-memory-alloca/CookSeeZuleger-2013TACAS-Fig7b-alloca_true-termination.c.i unknown 7.97 8.03 196780032 -
termination-memory-alloca/GulwaniJainKoskinen-2009PLDI-Fig1-alloca_true-termination.c.i unknown 7.78 7.85 194179072 -
termination-memory-alloca/HarrisLalNoriRajamani-2010SAS-Fig1-alloca_true-termination.c.i unknown 7.90 7.97 198668288 -
termination-memory-alloca/HarrisLalNoriRajamani-2010SAS-Fig3-alloca_true-termination.c.i unknown 7.88 7.95 208609280 -
termination-memory-alloca/KroeningSharyginaTsitovichWintersteiger-2010CAV-Fig1-alloca_true-termination.c.i unknown 7.97 8.05 199872512 -
termination-memory-alloca/Masse-alloca_true-termination.c.i unknown 7.66 7.73 194105344 -
termination-memory-alloca/NoriSharma-2013FSE-Fig7-alloca_true-termination.c.i unknown 8.02 8.23 195985408 -
termination-memory-alloca/NoriSharma-2013FSE-Fig8-alloca_true-termination.c.i unknown 8.05 8.12 202215424 -
termination-memory-alloca/TelAviv-Amir-Minimum-alloca_true-termination.c.i unknown 8.16 8.23 194998272 -
termination-memory-alloca/Toulouse-BranchesToLoop-alloca_true-termination.c.i unknown 5.40 5.43 197623808 -
termination-memory-alloca/Toulouse-MultiBranchesToLoop-alloca_true-termination.c.i unknown 8.12 8.20 193425408 -
termination-memory-alloca/Urban-2013WST-Fig2-alloca_true-termination.c.i unknown 8.19 8.28 200122368 -
termination-memory-alloca/Urban-2013WST-Fig2-modified1000-alloca_true-termination.c.i unknown 7.82 7.89 193269760 -
termination-memory-alloca/Urban-alloca_true-termination.c.i unknown 5.47 5.51 194453504 -
termination-memory-alloca/a.01-alloca_true-termination_true-no-overflow.c.i unknown 8.02 8.08 197795840 -
termination-memory-alloca/a.04-alloca_true-termination_true-no-overflow.c.i unknown 7.71 7.78 188788736 -
termination-memory-alloca/a.05-alloca_true-termination_true-no-overflow.c.i unknown 5.52 5.57 195362816 -
termination-memory-alloca/a.06-alloca_true-termination_true-no-overflow.c.i unknown 8.01 8.06 192249856 -
termination-memory-alloca/a.07-alloca_true-termination_true-no-overflow.c.i unknown 5.92 5.97 196255744 -
termination-memory-alloca/a.08-alloca_true-termination_true-no-overflow.c.i unknown 5.83 5.88 196587520 -
termination-memory-alloca/a.09_assume-alloca_true-termination_true-no-overflow.c.i unknown 8.06 8.13 191864832 -
termination-memory-alloca/a.10-alloca_true-termination_true-no-overflow.c.i unknown 7.89 7.96 194494464 -
termination-memory-alloca/add_last-alloca_true-termination.c.i unknown 8.18 8.25 191463424 -
termination-memory-alloca/array01-alloca_true-termination.c.i unknown 8.05 8.11 184885248 -
termination-memory-alloca/array02-alloca_true-termination.c.i unknown 8.10 8.19 187645952 -
termination-memory-alloca/array03-alloca_true-termination.c.i unknown 7.95 8.03 189534208 -
termination-memory-alloca/aviad_true-alloca_true-termination.c.i unknown 7.99 8.08 204398592 -
termination-memory-alloca/b.01-alloca_true-termination_true-no-overflow.c.i unknown 8.19 8.26 198492160 -
termination-memory-alloca/b.02-alloca_true-termination_true-no-overflow.c.i unknown 7.97 8.05 197541888 -
termination-memory-alloca/b.03-no-inv_assume-alloca_true-termination_true-no-overflow.c.i unknown 8.17 8.24 197816320 -
termination-memory-alloca/b.03_assume-alloca_true-termination_true-no-overflow.c.i unknown 8.24 8.32 198369280 -
termination-memory-alloca/b.04-alloca_true-termination_true-no-overflow.c.i unknown 8.02 8.11 199585792 -
termination-memory-alloca/b.05-alloca_true-termination_true-no-overflow.c.i unknown 8.08 8.14 203198464 -
termination-memory-alloca/b.06-alloca_true-termination_true-no-overflow.c.i unknown 5.58 5.62 199602176 -
termination-memory-alloca/b.07-alloca_true-termination_true-no-overflow.c.i unknown 8.06 8.14 192118784 -
termination-memory-alloca/b.09-no-inv_assume-alloca_true-termination_true-no-overflow.c.i unknown 7.87 7.93 190906368 -
termination-memory-alloca/b.09_assume-alloca_true-termination_true-no-overflow.c.i unknown 8.16 8.23 196444160 -
termination-memory-alloca/b.10-alloca_true-termination_true-no-overflow.c.i unknown 8.01 8.08 197038080 -
termination-memory-alloca/b.11-alloca_true-termination_true-no-overflow.c.i unknown 8.14 8.20 189444096 -
termination-memory-alloca/b.12-alloca_true-termination_true-no-overflow.c.i unknown 8.15 8.21 194527232 -
termination-memory-alloca/b.13-alloca_true-termination_true-no-overflow.c.i unknown 8.01 8.08 197386240 -
termination-memory-alloca/b.14-alloca_true-termination_true-no-overflow.c.i unknown 8.05 8.12 196050944 -
termination-memory-alloca/b.15-alloca_true-termination_true-no-overflow.c.i unknown 7.88 7.93 197263360 -
termination-memory-alloca/b.16-alloca_true-termination_true-no-overflow.c.i unknown 5.60 5.65 195489792 -
termination-memory-alloca/b.17-alloca_true-termination_true-no-overflow.c.i unknown 8.08 8.14 193773568 -
termination-memory-alloca/b.18-alloca_true-termination_true-no-overflow.c.i unknown 5.73 5.78 200761344 -
termination-memory-alloca/bubblesort-alloca_true-termination.c.i unknown 5.62 5.85 196980736 -
termination-memory-alloca/c.01-no-inv-alloca_true-termination_true-no-overflow.c.i unknown 8.07 8.14 197378048 -
termination-memory-alloca/c.01_assume-alloca_true-termination_true-no-overflow.c.i unknown 5.67 5.70 201437184 -
termination-memory-alloca/c.02-alloca_true-termination_true-no-overflow.c.i unknown 8.23 8.46 200314880 -
termination-memory-alloca/c.03-alloca_true-termination_true-no-overflow.c.i unknown 8.06 8.13 198631424 -
termination-memory-alloca/c.07-alloca_true-termination_true-no-overflow.c.i unknown 8.16 8.22 202313728 -
termination-memory-alloca/c.08-alloca_true-termination_true-no-overflow.c.i unknown 8.13 8.19 192303104 -
termination-memory-alloca/count_down-alloca_true-termination.c.i unknown 7.71 7.77 191021056 -
termination-memory-alloca/cstrcat-alloca_true-termination.c.i unknown 8.09 8.14 190922752 -
termination-memory-alloca/cstrchr-alloca_true-termination.c.i unknown 8.07 8.16 188166144 -
termination-memory-alloca/cstrcmp-alloca_true-termination.c.i unknown 7.85 7.91 188989440 -
termination-memory-alloca/cstrcpy-alloca_true-termination.c.i unknown 7.89 7.97 198057984 -
termination-memory-alloca/cstrcspn-alloca_true-termination.c.i unknown 7.88 7.95 192954368 -
termination-memory-alloca/cstrlen-alloca_true-termination.c.i unknown 7.95 8.16 195723264 -
termination-memory-alloca/cstrncat-alloca_true-termination.c.i unknown 7.87 7.92 190558208 -
termination-memory-alloca/cstrncmp-alloca_true-termination.c.i unknown 7.84 7.93 196423680 -
termination-memory-alloca/cstrncpy-alloca_true-termination.c.i unknown 8.21 8.42 187121664 -
termination-memory-alloca/cstrpbrk-alloca_true-termination.c.i unknown 8.10 8.15 191807488 -
termination-memory-alloca/cstrspn-alloca_true-termination.c.i unknown 5.42 5.64 197701632 -
termination-memory-alloca/diff-alloca_true-termination.c.i unknown 8.24 8.29 190513152 -
termination-memory-alloca/easySum-alloca_true-termination.c.i unknown 8.07 8.15 193777664 -
termination-memory-alloca/ex1-alloca_true-termination.c.i unknown 5.61 5.65 194744320 -
termination-memory-alloca/ex2-alloca_true-termination.c.i unknown 8.33 8.40 198377472 -
termination-memory-alloca/ex3a-alloca_true-termination_true-no-overflow.c.i unknown 7.88 7.96 193572864 -
termination-memory-alloca/ex3b-alloca_true-termination.c.i unknown 8.00 8.07 200880128 -
termination-memory-alloca/fermat-alloca_true-termination.c.i unknown 5.67 5.72 196706304 -
termination-memory-alloca/flag-alloca_true-termination.c.i unknown 8.10 8.18 187121664 -
termination-memory-alloca/gcd1-alloca_true-termination.c.i unknown 8.03 8.09 200781824 -
termination-memory-alloca/genady-alloca_true-termination.c.i unknown 7.91 7.98 194965504 -
termination-memory-alloca/insertionsort-alloca_true-termination.c.i unknown 5.88 5.91 193929216 -
termination-memory-alloca/java_AG313-alloca_true-termination.c.i unknown 8.12 8.17 198635520 -
termination-memory-alloca/java_Break-alloca_true-termination.c.i unknown 5.27 5.31 197869568 -
termination-memory-alloca/java_BubbleSort-alloca_true-termination.c.i unknown 5.60 5.64 197734400 -
termination-memory-alloca/java_Continue1-alloca_true-termination.c.i unknown 8.08 8.14 196657152 -
termination-memory-alloca/java_LogBuiltIn-alloca_true-termination.c.i unknown 8.06 8.12 207597568 -
termination-memory-alloca/java_Nested-alloca_true-termination.c.i unknown 8.15 8.23 193966080 -
termination-memory-alloca/java_Sequence-alloca_true-termination.c.i unknown 8.19 8.28 198651904 -
termination-memory-alloca/lis-alloca_true-termination.c.i unknown 8.12 8.19 189505536 -
termination-memory-alloca/min_rf-alloca_true-termination.c.i unknown 7.86 7.93 200396800 -
termination-memory-alloca/mult_array-alloca_true-termination.c.i unknown 8.05 8.14 188887040 -
termination-memory-alloca/openbsd_cbzero-alloca_true-termination.c.i unknown 7.94 8.00 197316608 -
termination-memory-alloca/openbsd_cmemchr-alloca_true-termination.c.i unknown 7.94 8.02 195219456 -
termination-memory-alloca/openbsd_cmemrchr-alloca_true-termination.c.i unknown 8.11 8.17 196259840 -
termination-memory-alloca/openbsd_cmemset-alloca_true-termination.c.i unknown 8.01 8.08 199028736 -
termination-memory-alloca/openbsd_cstpcpy-alloca_true-termination.c.i unknown 7.74 7.80 196599808 -
termination-memory-alloca/openbsd_cstpncpy-alloca_true-termination.c.i unknown 7.99 8.17 191053824 -
termination-memory-alloca/openbsd_cstrcat-alloca_true-termination.c.i unknown 5.49 5.53 197488640 -
termination-memory-alloca/openbsd_cstrcmp-alloca_true-termination.c.i unknown 8.17 8.24 187543552 -
termination-memory-alloca/openbsd_cstrcpy-alloca_true-termination.c.i unknown 7.92 8.00 188137472 -
termination-memory-alloca/openbsd_cstrcspn-alloca_true-termination.c.i unknown 8.09 8.15 198184960 -
termination-memory-alloca/openbsd_cstrlcpy-alloca_true-termination.c.i unknown 8.12 8.17 188981248 -
termination-memory-alloca/openbsd_cstrlen-alloca_true-termination.c.i unknown 5.58 5.62 192122880 -
termination-memory-alloca/openbsd_cstrncat-alloca_true-termination.c.i unknown 8.32 8.39 192053248 -
termination-memory-alloca/openbsd_cstrncmp-alloca_true-termination.c.i unknown 8.15 8.22 195104768 -
termination-memory-alloca/openbsd_cstrncpy-alloca_true-termination.c.i unknown 7.93 7.99 187179008 -
termination-memory-alloca/openbsd_cstrnlen-alloca_true-termination.c.i unknown 7.69 7.76 191090688 -
termination-memory-alloca/openbsd_cstrpbrk-alloca_true-termination.c.i unknown 8.17 8.64 189362176 -
termination-memory-alloca/openbsd_cstrspn-alloca_true-termination.c.i unknown 8.06 8.14 188153856 -
termination-memory-alloca/openbsd_cstrstr-alloca_true-termination.c.i unknown 5.56 5.60 198025216 -
termination-memory-alloca/rec_strlen-alloca_true-termination.c.i unknown 5.44 5.48 195538944 -
termination-memory-alloca/selectionsort-alloca_true-termination.c.i unknown 7.87 7.93 188325888 -
termination-memory-alloca/stroeder1-alloca_true-termination.c.i unknown 5.69 5.73 188182528 -
termination-memory-alloca/stroeder2-alloca_true-termination.c.i unknown 5.37 5.40 188829696 -
termination-memory-alloca/strreplace-alloca_true-termination.c.i unknown 8.05 8.11 192065536 -
termination-memory-alloca/subseq-alloca_true-termination.c.i unknown 8.22 8.30 191856640 -
termination-memory-alloca/substring-alloca_true-termination.c.i unknown 8.04 8.12 196739072 -
termination-memory-alloca/twisted-alloca_true-termination.c.i unknown 7.81 7.88 198782976 -
termination-memory-linkedlists/cll_by_lseg-alloca_false-termination.c.i unknown 8.13 8.20 194711552 -
termination-memory-linkedlists/cll_by_lseg_traverse-alloca_false-termination.c.i unknown 7.85 8.11 192114688 -
termination-memory-linkedlists/cll_search-alloca_false-termination.c.i unknown 8.20 8.42 188403712 -
termination-memory-linkedlists/cll_traverse-alloca_false-termination.c.i unknown 8.21 8.28 200589312 -
termination-memory-linkedlists/ll_append-alloca_false-termination.c.i unknown 8.02 8.10 192114688 -
termination-memory-linkedlists/ll_append_rec-alloca_false-termination.c.i unknown 7.80 7.89 201109504 -
termination-memory-linkedlists/ll_create_rec-alloca_false-termination.c.i unknown 8.12 8.19 195944448 -
termination-memory-linkedlists/nondet_ll_search-alloca_false-termination.c.i unknown 8.17 8.25 188198912 -
termination-memory-linkedlists/nondet_ll_traverse-alloca_false-termination.c.i unknown 7.95 8.03 195272704 -
termination-memory-linkedlists/cll_by_lseg-alloca_true-termination.c.i unknown 7.94 8.01 214134784 -
termination-memory-linkedlists/cll_search-alloca_true-termination.c.i unknown 8.03 8.11 200130560 -
termination-memory-linkedlists/ll_append-alloca_true-termination.c.i unknown 5.69 5.73 196702208 -
termination-memory-linkedlists/ll_append_rec-alloca_true-termination.c.i unknown 8.03 8.10 198238208 -
termination-memory-linkedlists/ll_create_rec-alloca_true-termination.c.i unknown 7.79 7.84 195174400 -
termination-memory-linkedlists/ll_search-alloca_true-termination.c.i unknown 8.08 8.15 195670016 -
termination-memory-linkedlists/ll_search_not_found-alloca_true-termination.c.i unknown 5.67 5.71 193138688 -
termination-memory-linkedlists/ll_traverse-alloca_true-termination.c.i unknown 7.94 7.99 189280256 -
termination-memory-linkedlists/nondet_ll_search-alloca_true-termination.c.i unknown 8.21 8.28 191885312 -
termination-15/add_first_alloca_true-termination.c.i unknown 8.14 8.22 198897664 -
termination-15/array05_alloca_true-termination.c.i unknown 8.19 8.26 197722112 -
termination-15/array06_alloca_true-termination.c.i unknown 8.18 8.39 201818112 -
termination-15/array07_alloca_true-termination.c.i unknown 5.76 5.80 203468800 -
termination-15/array08_alloca_true-termination.c.i unknown 5.68 5.72 200462336 -
termination-15/array09_alloca_true-termination.c.i unknown 8.12 8.19 202579968 -
termination-15/array10_alloca_true-termination.c.i unknown 5.56 5.60 203350016 -
termination-15/array12_alloca_true-termination.c.i unknown 7.67 7.73 199979008 -
termination-15/array13_alloca_true-termination.c.i unknown 7.84 7.90 203624448 -
termination-15/array16_alloca_fixed_true-termination.c.i unknown 8.07 8.27 206114816 -
termination-15/array17_alloca_true-termination.c.i unknown 8.20 8.26 200089600 -
termination-15/array18_alloca_true-termination.c.i unknown 7.97 8.14 202432512 -
termination-15/count_up_alloca_true-termination.c.i unknown 8.06 8.13 201818112 -
termination-15/count_up_and_down_alloca_true-termination.c.i unknown 7.99 8.04 204787712 -
termination-15/cstrcat_diffterm_alloca_true-termination.c.i unknown 5.71 5.75 206888960 -
termination-15/cstrcat_malloc_true-termination.c.i unknown 7.96 8.04 203276288 -
termination-15/cstrcat_mixed_alloca_true-termination.c.i unknown 6.88 6.94 201109504 -
termination-15/cstrcat_reverse_alloca_true-termination.c.i unknown 8.24 8.29 205328384 -
termination-15/cstrchr_diffterm_alloca_true-termination.c.i unknown 8.11 8.16 200359936 -
termination-15/cstrchr_malloc_true-termination.c.i unknown 7.50 7.56 188841984 -
termination-15/cstrchr_reverse_alloca_true-termination.c.i unknown 6.81 6.86 201650176 -
termination-15/cstrcmp_diffterm_alloca_true-termination.c.i unknown 7.19 7.24 208691200 -
termination-15/cstrcmp_malloc_true-termination.c.i unknown 8.30 8.36 190758912 -
termination-15/cstrcmp_mixed_alloca_true-termination.c.i unknown 8.26 8.33 202461184 -
termination-15/cstrcmp_reverse_alloca_true-termination.c.i unknown 8.05 8.12 210219008 -
termination-15/cstrcpy_diffterm_alloca_true-termination.c.i unknown 5.89 6.11 199385088 -
termination-15/cstrcpy_malloc_true-termination.c.i unknown 8.15 8.35 200986624 -
termination-15/cstrcpy_mixed_alloca_true-termination.c.i unknown 8.07 8.14 201285632 -
termination-15/cstrcpy_reverse_alloca_true-termination.c.i unknown 5.92 5.95 207605760 -
termination-15/cstrcspn_diffterm_alloca_true-termination.c.i unknown 8.03 8.42 203579392 -
termination-15/cstrcspn_malloc_true-termination.c.i unknown 8.28 8.35 188850176 -
termination-15/cstrcspn_mixed_alloca_true-termination.c.i unknown 8.23 8.42 201523200 -
termination-15/cstrcspn_reverse_alloca_true-termination.c.i unknown 8.11 8.19 198868992 -
termination-15/cstrlen_diffterm_alloca_true-termination.c.i unknown 5.50 5.55 207986688 -
termination-15/cstrlen_malloc_true-termination.c.i unknown 8.15 8.21 206786560 -
termination-15/cstrlen_reverse_alloca_true-termination.c.i unknown 5.75 5.79 204374016 -
termination-15/cstrncat_diffterm_alloca_true-termination.c.i unknown 8.29 8.35 204431360 -
termination-15/cstrncat_malloc_true-termination.c.i unknown 8.36 8.62 204890112 -
termination-15/cstrncat_mixed_alloca_true-termination.c.i unknown 8.30 8.38 205578240 -
termination-15/cstrncat_reverse_alloca_true-termination.c.i unknown 8.27 8.34 206938112 -
termination-15/cstrncmp_diffterm_alloca_true-termination.c.i unknown 5.47 5.51 207048704 -
termination-15/cstrncmp_malloc_true-termination.c.i unknown 8.13 8.21 196976640 -
termination-15/cstrncmp_mixed_alloca_true-termination.c.i unknown 8.24 8.32 208998400 -
termination-15/cstrncmp_reverse_alloca_true-termination.c.i unknown 8.28 8.36 195526656 -
termination-15/cstrncpy_diffterm_alloca_true-termination.c.i unknown 8.30 8.39 204144640 -
termination-15/cstrncpy_malloc_true-termination.c.i unknown 8.30 8.38 203898880 -
termination-15/cstrncpy_mixed_alloca_true-termination.c.i unknown 8.30 8.54 200654848 -
termination-15/cstrncpy_reverse_alloca_true-termination.c.i unknown 7.99 8.09 203276288 -
termination-15/cstrpbrk_diffterm_alloca_true-termination.c.i unknown 8.31 8.39 204931072 -
termination-15/cstrpbrk_malloc_true-termination.c.i unknown 5.75 5.79 201297920 -
termination-15/cstrpbrk_mixed_alloca_true-termination.c.i unknown 8.20 8.26 189964288 -
termination-15/cstrpbrk_reverse_alloca_true-termination.c.i unknown 8.07 8.27 207572992 -
termination-15/cstrspn_diffterm_alloca_true-termination.c.i unknown 8.24 8.30 204566528 -
termination-15/cstrspn_malloc_true-termination.c.i unknown 7.89 7.98 191479808 -
termination-15/cstrspn_mixed_alloca_true-termination.c.i unknown 7.92 7.99 202489856 -
termination-15/cstrspn_reverse_alloca_true-termination.c.i unknown 8.17 8.22 201158656 -
termination-15/array04_alloca_false-termination.c.i unknown 8.16 8.23 203767808 -
termination-15/array14_alloca_false-termination.c.i unknown 5.80 5.85 199942144 -
termination-15/array15_alloca_false-termination.c.i unknown 5.84 5.89 203231232 -
termination-15/array16_alloca_original_false-termination.c.i unknown 5.65 5.70 200613888 -
termination-15/array19_alloca_false-termination.c.i unknown 8.06 8.11 204341248 -
termination-15/array20_alloca_false-termination.c.i unknown 8.19 8.27 204681216 -
termination-recursive-malloc/chunk1_true-termination.c.i unknown 7.19 7.34 168075264 -
termination-recursive-malloc/chunk2_true-termination.c.i unknown 7.09 7.18 173613056 -
termination-recursive-malloc/chunk3_true-termination.c.i unknown 7.19 7.27 175669248 -
termination-recursive-malloc/insertionSort_recursive_true-termination.c.i unknown 4.52 4.72 164212736 -
termination-recursive-malloc/mergeSort_true-termination.c.i unknown 7.10 7.15 173281280 -
termination-recursive-malloc/mutual_simple2_true-termination.c.i unknown 7.06 7.12 167133184 -
termination-recursive-malloc/mutual_simple_true-termination.c.i unknown 7.08 7.14 172294144 -
termination-recursive-malloc/rec_malloc_ex10_true-termination.c.i unknown 7.11 7.18 168394752 -
termination-recursive-malloc/rec_malloc_ex11B_true-termination.c.i unknown 7.05 7.10 170315776 -
termination-recursive-malloc/rec_malloc_ex11C_true-termination.c.i unknown 7.17 7.37 171515904 -
termination-recursive-malloc/rec_malloc_ex11D_true-termination.c.i unknown 7.06 7.11 168611840 -
termination-recursive-malloc/rec_malloc_ex11_true-termination.c.i unknown 7.20 7.43 171642880 -
termination-recursive-malloc/rec_malloc_ex1_true-termination.c.i unknown 7.14 7.20 168779776 -
termination-recursive-malloc/rec_malloc_ex2_true-termination.c.i unknown 6.72 6.78 167735296 -
termination-recursive-malloc/rec_malloc_ex3_true-termination.c.i unknown 4.89 4.92 166518784 -
termination-recursive-malloc/rec_malloc_ex4_true-termination.c.i unknown 7.11 7.28 170762240 -
termination-recursive-malloc/rec_malloc_ex5B_true-termination.c.i unknown 7.03 7.10 172060672 -
termination-recursive-malloc/rec_malloc_ex5_true-termination.c.i unknown 6.68 6.74 167624704 -
termination-recursive-malloc/rec_malloc_ex6_true-termination.c.i unknown 7.04 7.09 168603648 -
termination-recursive-malloc/rec_malloc_ex7B_true-termination.c.i unknown 4.83 4.86 170528768 -
termination-recursive-malloc/rec_malloc_ex7_true-termination.c.i unknown 7.05 7.11 171732992 -
termination-recursive-malloc/rec_malloc_ex8_true-termination.c.i unknown 7.02 7.21 193536000 -
termination-recursive-malloc/rec_malloc_ex9_true-termination.c.i unknown 7.11 7.17 168755200 -
termination-recursive-malloc/rec_strcopy_malloc2_true-termination.c.i unknown 6.88 6.94 168747008 -
termination-recursive-malloc/rec_strcopy_malloc_true-termination.c.i unknown 7.24 7.31 175222784 -
termination-recursive-malloc/rec_strlen_malloc_true-termination.c.i unknown 4.80 5.01 169426944 -
termination-recursive-malloc/selectionSort_recursive_true-termination.c.i unknown 4.89 4.93 173068288 -
ssh-simplified/s3_clnt_3.cil_true-unreach-call_true-termination.c unknown 7.67 7.94 191553536 -
../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 876 12000 12100 313124433920 213 8050 8080 200608260096
    correct results 0 0
        correct true 0 0
        correct false 0 0
    incorrect results 0 0
        incorrect true 0 0
        incorrect false 0 0
Run set svcomp-translation-default.Default svcomp-translation-bitvector.Bitvector