Tool ULTIMATE Automizer 0.1.23-38cac3ef
Limits timelimit: 900 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-27 12:02:34 CET 2018-11-27 10:43:04 CET
Run set svcomp-translation-default.Default svcomp-translation-bitvector.Bitvector
Options -tc ../../../trunk/examples/toolchains/C-BIN-BPP.xml -ea -tc ../../../trunk/examples/toolchains/C-BIN-BPP.xml -ea
../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
ntdrivers/diskperf_false-unreach-call.i.cil.c unknown 12.7  13.3  300781568 error: type error 11.4  11.9  276914176
ntdrivers/parport_false-unreach-call.i.cil.c unknown 16.0  16.4  549433344 error: type error 15.5  15.8  452919296
ntdrivers/diskperf_true-unreach-call.i.cil.c unknown 8.60 8.86 351715328 error: type error 11.8  12.3  303190016
ntdrivers/parport_true-unreach-call.i.cil.c unknown 16.6  16.8  552198144 error: type error 10.6  10.8  468598784
floats-cbmc-regression/float-div1_true-unreach-call.i error: exception 8.92 9.33 177655808 unknown 6.39 6.54 310792192
floats-cbmc-regression/float-flags-simp1_true-unreach-call.i error: exception 8.19 8.50 175210496 unknown 7.15 7.18 256598016
floats-cbmc-regression/float-no-simp2_true-unreach-call.i error: exception 5.49 5.59 175419392 unknown 9.01 9.38 299999232
floats-cbmc-regression/float-no-simp4_true-unreach-call.i error: exception 8.38 8.43 179765248 unknown 6.68 6.76 300875776
floats-cbmc-regression/float-no-simp8_true-unreach-call.i error: exception 5.61 5.68 174878720 unknown 9.12 9.59 248483840
floats-cbmc-regression/float-rounding1_true-unreach-call.i error: exception 5.16 5.27 175255552 unknown 6.43 6.56 300916736
floats-cbmc-regression/float-to-double1_true-unreach-call.i error: exception 5.59 5.63 185634816 unknown 6.27 6.30 296144896
floats-cbmc-regression/float14_true-unreach-call.i error: exception 8.55 9.07 176721920 unknown 5.98 6.03 293715968
floats-cbmc-regression/float18_true-unreach-call.i error: exception 5.47 5.50 205369344 unknown 6.48 6.61 294494208
floats-cbmc-regression/float19_true-unreach-call.i error: exception 8.22 8.65 175333376 unknown 9.41 9.78 330096640
floats-cbmc-regression/float21_true-unreach-call.i error: exception 5.84 5.87 170999808 unknown 9.68 9.98 249217024
floats-cbmc-regression/float4_true-unreach-call.i error: exception 7.98 8.35 176136192 unknown 11.1  11.2  253403136
floats-cbmc-regression/float8_true-unreach-call.i error: exception 8.44 8.83 174448640 unknown 6.39 6.43 290643968
floats-cbmc-regression/float_lib1_true-unreach-call.i error: exception 8.42 8.81 173674496 unknown 10.6  11.0  294236160
floats-cbmc-regression/float_lib2_true-unreach-call.i error: exception 5.64 5.73 171606016 unknown 6.66 6.70 293027840
floats-esbmc-regression/ceil_nondet_true-unreach-call.i error: exception 5.49 5.63 176246784 unknown 8.48 8.53 177184768
floats-esbmc-regression/ceil_true-unreach-call.i error: exception 8.16 8.60 179453952 unknown 9.68 9.82 237654016
floats-esbmc-regression/copysign_true-unreach-call.i error: exception 8.09 8.57 174669824 unknown 6.34 6.49 293883904
floats-esbmc-regression/fabs_true-unreach-call.i error: exception 8.03 8.48 171225088 unknown 8.91 9.42 295546880
floats-esbmc-regression/fdim_true-unreach-call.i error: exception 7.88 7.95 170848256 unknown 9.78 10.2  292659200
floats-esbmc-regression/floor_nondet_true-unreach-call.i error: exception 8.08 8.21 177516544 unknown 7.95 8.11 176635904
floats-esbmc-regression/floor_true-unreach-call.i error: exception 5.62 5.76 179519488 unknown 9.68 10.3  295002112
floats-esbmc-regression/fmax_true-unreach-call.i error: exception 7.92 8.35 176529408 unknown 9.35 9.79 292065280
floats-esbmc-regression/fmin_true-unreach-call.i error: exception 8.02 8.07 175087616 unknown 9.39 9.49 288727040
floats-esbmc-regression/fmod2_true-unreach-call.i error: exception 8.09 8.31 176480256 unknown 9.48 9.95 243089408
floats-esbmc-regression/fmod3_true-unreach-call.i error: exception 7.86 8.33 175902720 unknown 6.54 6.75 298864640
floats-esbmc-regression/fmod_true-unreach-call.i error: exception 8.06 8.49 174710784 unknown 9.44 9.93 290357248
floats-esbmc-regression/isgreater_true-unreach-call.i error: exception 7.61 8.06 174157824 unknown 9.15 9.59 298221568
floats-esbmc-regression/isgreaterequal_true-unreach-call.i error: exception 8.01 8.50 174907392 unknown 9.13 9.56 294309888
floats-esbmc-regression/isless_true-unreach-call.i error: exception 8.33 8.42 175390720 unknown 6.53 6.68 296075264
floats-esbmc-regression/islessequal_true-unreach-call.i error: exception 8.20 8.62 174084096 unknown 9.24 9.71 293548032
floats-esbmc-regression/islessgreater_true-unreach-call.i error: exception 8.07 8.66 177270784 unknown 9.24 9.71 289419264
floats-esbmc-regression/isunordered_true-unreach-call.i error: exception 7.88 8.30 191426560 unknown 9.80 10.0  298008576
floats-esbmc-regression/lrint_true-unreach-call.i error: exception 8.12 8.57 174342144 unknown 8.06 8.70 177524736
floats-esbmc-regression/nan_true-unreach-call.i error: exception 7.88 8.37 174342144 unknown 6.45 6.59 296083456
floats-esbmc-regression/nearbyint2_true-unreach-call.i error: exception 8.05 8.34 174526464 unknown 7.77 8.10 180432896
floats-esbmc-regression/nearbyint_true-unreach-call.i error: exception 5.46 5.50 177307648 unknown 8.05 8.16 177164288
floats-esbmc-regression/remainder_true-unreach-call.i error: exception 8.03 8.45 176017408 unknown 9.16 9.23 295514112
floats-esbmc-regression/rint2_true-unreach-call.i error: exception 8.17 8.57 178601984 unknown 7.72 7.78 178495488
floats-esbmc-regression/rint_true-unreach-call.i error: exception 8.05 8.11 177467392 unknown 8.53 8.91 192356352
floats-esbmc-regression/round_nondet_true-unreach-call.i error: exception 5.63 5.72 173142016 unknown 5.54 5.60 177803264
floats-esbmc-regression/round_true-unreach-call.i error: exception 8.09 8.16 188416000 unknown 9.15 9.55 293470208
floats-esbmc-regression/rounding_functions_true-unreach-call.i error: exception 7.84 8.33 176037888 unknown 9.33 9.77 294985728
floats-esbmc-regression/trunc_nondet_2_true-unreach-call.i error: exception 8.46 8.56 178360320 unknown 8.36 8.55 291418112
floats-esbmc-regression/trunc_nondet_true-unreach-call.i error: exception 5.51 5.55 175611904 unknown 5.50 5.59 189714432
floats-esbmc-regression/trunc_true-unreach-call.i error: exception 8.13 8.30 173502464 unknown 9.69 9.85 296058880
float-newlib/double_req_bl_0870b_true-unreach-call.c error: exception 7.33 7.83 172310528 unknown 8.68 8.75 215281664
float-newlib/double_req_bl_0872a_true-unreach-call.c error: exception 7.50 8.06 177483776 unknown 8.95 9.15 218050560
float-newlib/double_req_bl_0872b_true-unreach-call.c error: exception 6.97 7.03 171294720 unknown 8.58 9.10 244121600
float-newlib/double_req_bl_0873a_true-unreach-call.c error: exception 7.46 7.94 192475136 unknown 8.89 9.24 209682432
float-newlib/double_req_bl_0873b_true-unreach-call.c error: exception 7.29 7.35 172826624 unknown 8.87 9.26 221958144
float-newlib/double_req_bl_0874_true-unreach-call.c error: exception 7.53 7.71 177225728 unknown 6.48 6.52 218206208
float-newlib/double_req_bl_0876_true-unreach-call.c error: exception 7.37 7.82 177274880 unknown 8.77 8.83 247787520
float-newlib/double_req_bl_0882_true-unreach-call.c error: exception 7.36 7.92 174243840 unknown 8.34 8.41 231796736
float-newlib/double_req_bl_0883_true-unreach-call.c error: exception 7.37 7.47 173957120 unknown 8.85 9.38 217550848
float-newlib/float_req_bl_0870b_true-unreach-call.c error: exception 7.58 7.75 173330432 unknown 8.80 8.86 206798848
float-newlib/float_req_bl_0872a_true-unreach-call.c error: exception 7.51 7.73 177684480 unknown 8.53 8.97 218705920
float-newlib/float_req_bl_0872b_true-unreach-call.c error: exception 7.53 7.60 173387776 unknown 9.12 9.36 211505152
float-newlib/float_req_bl_0873a_true-unreach-call.c error: exception 7.43 7.91 172417024 unknown 8.61 9.04 212381696
float-newlib/float_req_bl_0873b_true-unreach-call.c error: exception 7.38 7.48 175996928 unknown 8.68 8.98 220155904
float-newlib/float_req_bl_0874_true-unreach-call.c error: exception 5.14 5.37 172818432 unknown 8.96 9.45 206770176
float-newlib/float_req_bl_0875_true-unreach-call.c error: exception 7.92 8.08 178319360 unknown 8.88 9.43 213950464
float-newlib/float_req_bl_0876_true-unreach-call.c error: exception 7.31 7.38 171503616 unknown 8.60 8.68 210550784
float-newlib/float_req_bl_0877_true-unreach-call.c error: exception 7.08 7.45 174010368 unknown 8.44 8.51 220155904
float-newlib/float_req_bl_0880_true-unreach-call.c error: exception 7.13 7.68 174927872 unknown 9.12 9.23 217292800
float-newlib/float_req_bl_0881_true-unreach-call.c error: exception 7.11 7.61 177438720 unknown 8.81 8.91 215912448
float-newlib/float_req_bl_0883_true-unreach-call.c error: exception 5.32 5.36 172859392 unknown 6.22 6.45 210747392
float-newlib/double_req_bl_0870a_false-unreach-call.c error: exception 7.11 7.29 176074752 unknown 8.61 9.14 221212672
float-newlib/float_req_bl_0870a_false-unreach-call.c error: exception 5.20 5.24 170364928 unknown 8.65 8.86 211750912
loop-floats-scientific-comp/loop5_true-unreach-call.c.i error: exception 7.76 8.05 179085312 unknown 8.53 9.04 181383168
loop-floats-scientific-comp/loop4_false-unreach-call.c.i error: exception 8.39 8.61 176472064 unknown 7.86 8.22 176906240
ldv-linux-3.0/module_get_put-drivers-gpu-drm-i915-i915.ko_true-unreach-call.cil.out.i.pp.i unknown 60.6  60.7  1165533184 error: type error 97.5  98.0  1138814976
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 14.0  14.4  790634496 error: type error 13.2  13.7  719474688
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 7.75 8.10 268668928 error: type error 10.8  11.4  275955712
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-mxl111sf.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unknown 19.8  19.9  778375168 error: type error 19.1  19.4  773562368
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 15.5  15.6  473329664 error: type error 10.4  10.8  460296192
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--rtl2830.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unknown 8.33 8.56 350490624 error: type error 12.0  12.3  338489344
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 13.1  13.4  367067136 error: type error 13.0  13.1  363261952
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 10.0  10.1  424423424 error: type error 8.97 9.13 372822016
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 12.6  12.9  340934656 error: type error 8.67 8.78 335101952
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 7.04 7.35 239398912 unknown 11.8  11.9  277954560
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 11.9  12.1  301903872 error: type error 8.10 8.33 311123968
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-mxl111sf.ko-ldv_main3_sequence_infinite_withcheck_stateful.cil.out.c unknown 18.9  19.3  782852096 error: type error 19.4  19.8  778993664
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 11.2  11.7  270155776 error: exception 9.95 10.4  246996992
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 10.5  10.6  259485696 error: type error 10.5  10.5  288591872
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 10.5  11.1  288714752 error: type error 7.47 7.80 278745088
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 8.31 8.53 306294784 error: type error 11.6  11.7  304566272
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--media--dvb--dvb-usb--dvb-usb-mxl111sf.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unknown 13.8  14.2  764088320 error: type error 19.5  19.7  781144064
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--media--dvb--dvb-usb--dvb-usb-mxl111sf_false-termination.ko-ldv_main3_sequence_infinite_withcheck_stateful.cil.out.c unknown 20.0  20.1  779382784 error: type error 13.2  13.6  780365824
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 14.6  14.8  434077696 error: type error 14.3  14.5  408326144
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--media--dvb--frontends--rtl2830_false-termination.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unknown 12.3  12.4  330850304 error: type error 12.2  12.5  329723904
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 8.96 9.12 365047808 error: type error 12.6  12.6  348160000
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 14.1  14.2  414720000 error: type error 13.1  13.5  386994176
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 12.8  13.0  344399872 error: type error 12.0  12.1  324595712
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.49 9.94 244154368 unknown 7.82 8.15 258306048
ldv-linux-3.7.3/main0_false-unreach-call_drivers--media--dvb-frontends--stv090x-ko---32_7a--linux-3.7.3.c unknown 20.6  20.8  792010752 error: type error 17.7  17.8  635117568
ldv-linux-3.7.3/main17_false-unreach-call_drivers-gpu-drm-vmwgfx-vmwgfx-ko--32_7a--linux-3.5.c error: exception 28.8  29.1  516702208 unknown 40.9  41.1  877989888
ldv-linux-3.7.3/main3_false-unreach-call_drivers-gpu-drm-vmwgfx-vmwgfx-ko--32_7a--linux-3.5.c error: exception 30.0  30.1  538857472 unknown 38.3  38.7  886398976
ldv-consumption/32_7a_cilled_false-unreach-call_linux-3.8-rc1-32_7a-drivers--gpu--drm--vmwgfx--vmwgfx.ko-ldv_main2_sequence_infinite_withcheck_stateful.cil.out.i error: exception 32.0  32.2  610230272 unknown 49.1  49.7  946638848
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.i unknown 20.4  20.5  791715840 error: type error 19.3  19.4  702578688
ldv-consumption/32_7a_cilled_false-unreach-call_linux-3.8-rc1-drivers--gpu--drm--vmwgfx--vmwgfx.ko-main.cil.out.i error: exception 36.6  36.8  611475456 unknown 32.2  32.3  971456512
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.i unknown 14.1  14.3  351543296 error: type error 13.3  13.5  331476992
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-drivers--video--via--viafb.ko-ldv_main12_sequence_infinite_withcheck_stateful.cil.out.i unknown 30.1  30.5  882442240 error: type error 29.8  29.9  878538752
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--gpu--drm--gma500--gma500_gfx.ko-main.cil.out.i unknown 67.8  68.1  1019904000 error: type error 39.9  40.0  986169344
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--isdn--mISDN--l1oip.ko-main.cil.out.i unknown 13.5  13.9  364642304 error: type error 14.8  14.9  352870400
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.i unknown 19.5  19.7  758292480 error: type error 20.4  20.8  744710144
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.i unknown 20.5  20.9  764256256 error: type error 19.1  19.5  756858880
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 10.2  10.2  240926720 unknown 12.2  12.6  288464896
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--isdn--mISDN--mISDN_dsp.ko-entry_point_true-unreach-call.cil.out.c unknown 41.6  42.1  1550204928 error: type error 33.2  33.7  1283239936
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 18.8  19.0  627081216 error: type error 16.4  16.5  575684608
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--video--fbdev--via--viafb.ko-entry_point_true-unreach-call.cil.out.c unknown 29.0  29.3  885604352 error: type error 26.7  26.8  880103424
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-net--core--pktgen.ko-entry_point_true-unreach-call.cil.out.c unknown 15.0  15.3  754257920 error: type error 19.3  19.4  732610560
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 12.9  13.1  738684928 error: type error 11.7  12.0  697905152
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--crypto--qat--qat_common--intel_qat.ko-entry_point_true-unreach-call.cil.out.c unknown 26.8  26.9  846446592 error: type error 26.9  27.3  837660672
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 23.2  23.3  527945728 unknown 61.3  61.6  995901440
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--net--ethernet--sfc--sfc.ko-entry_point_true-unreach-call.cil.out.c unknown 114    115    1251319808 error: type error 68.7  68.9  1107877888
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--scsi--aic7xxx--aic79xx.ko-entry_point_true-unreach-call.cil.out.c unknown 38.9  39.3  949301248 error: type error 32.7  32.9  939237376
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--scsi--aic7xxx--aic7xxx.ko-entry_point_true-unreach-call.cil.out.c unknown 35.1  35.2  920981504 error: type error 29.1  29.5  865427456
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--crypto--qat--qat_common--intel_qat.ko-entry_point_true-unreach-call.cil.out.c unknown 33.2  33.5  849174528 error: type error 31.2  31.7  838283264
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 33.7  33.8  592392192 error: type error 39.7  40.1  916525056
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 36.5  36.7  631586816 unknown 61.4  61.8  991690752
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--net--ethernet--sfc--sfc.ko-entry_point_true-unreach-call.cil.out.c unknown 142    142    1284313088 error: type error 131    132    1084559360
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--net--wireless--mediatek--mt7601u--mt7601u.ko-entry_point_true-unreach-call.cil.out.c unknown 41.9  42.1  888164352 error: type error 41.6  41.8  886501376
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--scsi--aic7xxx--aic79xx.ko-entry_point_true-unreach-call.cil.out.c unknown 45.7  45.9  948875264 error: type error 39.1  39.2  962969600
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--scsi--aic7xxx--aic7xxx.ko-entry_point_true-unreach-call.cil.out.c unknown 37.3  37.4  928026624 error: type error 32.6  33.1  932073472
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--video--fbdev--via--viafb.ko-entry_point_true-unreach-call.cil.out.c unknown 33.8  34.3  889569280 error: type error 31.1  31.3  885841920
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--crypto--qat--qat_common--intel_qat.ko-entry_point_true-unreach-call.cil.out.c unknown 30.3  30.8  846954496 error: type error 27.2  27.8  839983104
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 12.4  12.6  732545024 error: type error 18.3  18.4  661520384
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 32.7  32.8  595214336 unknown 40.6  40.7  1000390656
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--net--ethernet--sfc--sfc.ko-entry_point_true-unreach-call.cil.out.c unknown 136    136    1260105728 error: type error 76.8  77.2  1109819392
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--net--wireless--mediatek--mt7601u--mt7601u.ko-entry_point_true-unreach-call.cil.out.c unknown 38.2  38.4  890580992 error: type error 39.1  39.4  885116928
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--scsi--aic7xxx--aic7xxx.ko-entry_point_true-unreach-call.cil.out.c unknown 34.8  35.1  921075712 error: type error 31.6  31.7  888782848
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--video--fbdev--via--viafb.ko-entry_point_true-unreach-call.cil.out.c unknown 31.1  31.3  886005760 error: type error 27.4  27.5  871661568
ldv-challenges/linux-3.14__complex_emg__linux-alloc-spinlock__drivers-net-ethernet-sfc-sfc_true-unreach-call.cil.c unknown 214    215    1339584512 error: type error 220    220    1162215424
ldv-challenges/linux-3.14__complex_emg__linux-kernel-locking-mutex__drivers-net-ethernet-sfc-sfc_true-unreach-call.cil.c unknown 128    128    1326686208 error: type error 234    235    1153085440
ldv-challenges/linux-3.14__complex_emg__linux-kernel-locking-spinlock__drivers-net-ethernet-sfc-sfc_true-unreach-call.cil.c unknown 257    258    1299804160 error: type error 226    227    1160663040
ldv-challenges/linux-3.14__complex_emg__linux-usb-dev__drivers-net-ethernet-sfc-sfc_true-unreach-call.cil.c unknown 195    196    1325359104 error: type error 190    191    1145286656
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 19.1  19.4  798621696 error: type error 18.0  18.3  623820800
ldv-linux-3.14/linux-3.14__complex_emg__linux-drivers-clk1__drivers-net-ethernet-sfc-sfc_true-unreach-call.cil.c unknown 113    113    1310646272 error: type error 193    193    1150541824
ldv-memsafety/memleaks_test23_2_false-valid-deref.i error: exception 8.39 8.76 192499712 unknown 9.29 9.66 226684928
ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i error: exception 5.75 5.82 191836160 unknown 6.18 6.24 210841600
recursive/Addition02WithOverflowBug_false-no-overflow.c unknown 7.14 7.41 168263680 -
recursive/Addition03_false-no-overflow.c unknown 7.08 7.38 175460352 -
recursive/EvenOdd03WithOverflowBug_false-no-overflow.c unknown 6.95 7.25 171003904 -
recursive-simple/id_b3_o2_false-no-overflow.c unknown 6.65 6.72 170889216 -
recursive-simple/id_b3_o5_false-no-overflow.c unknown 6.93 7.15 168710144 -
recursive-simple/id_b5_o10_false-no-overflow.c unknown 6.62 6.89 171560960 -
recursive-simple/sum_non_eq_false-no-overflow.c unknown 6.78 7.21 169590784 -
recursive-simple/sum_non_false-no-overflow.c unknown 6.99 7.05 174641152 -
bitvector/byte_add_1_false-no-overflow.i unknown 5.17 5.48 188219392 -
bitvector/byte_add_2_false-no-overflow.i unknown 7.57 7.78 183681024 -
bitvector/byte_add_false-no-overflow.i unknown 5.31 5.59 188518400 -
bitvector/jain_1_false-no-overflow.i unknown 6.99 7.17 172326912 -
bitvector/jain_2_false-no-overflow.i unknown 7.24 7.29 168091648 -
bitvector/jain_4_false-no-overflow.i unknown 6.87 6.95 171393024 -
bitvector/jain_5_false-no-overflow.i unknown 4.86 5.37 168222720 -
bitvector/jain_6_false-no-overflow.i unknown 7.15 7.29 171384832 -
bitvector/jain_7_false-no-overflow.i unknown 7.25 7.31 166961152 -
bitvector/modulus_false-no-overflow.i unknown 6.78 6.93 167604224 -
psyco/psyco_abp_1_false-no-overflow.c unknown 5.83 6.01 205619200 -
signedintegeroverflow-regression/AdditionIntMax_false-no-overflow.c.i unknown 8.38 8.53 196177920 -
signedintegeroverflow-regression/AdditionIntMin_false-no-overflow.c.i unknown 5.57 5.78 191979520 -
signedintegeroverflow-regression/Division_false-no-overflow.c.i unknown 7.64 8.14 193896448 -
signedintegeroverflow-regression/Multiplication_false-no-overflow.c.i unknown 7.88 8.39 193036288 -
signedintegeroverflow-regression/NoConversion_false-no-overflow.c.i unknown 7.88 7.99 194199552 -
signedintegeroverflow-regression/PostfixDecrement_false-no-overflow.c.i unknown 7.66 8.01 194064384 -
signedintegeroverflow-regression/PostfixIncrement_false-no-overflow.c.i unknown 7.98 8.04 193511424 -
signedintegeroverflow-regression/PrefixDecrement_false-no-overflow.c.i unknown 7.75 7.82 200007680 -
signedintegeroverflow-regression/PrefixIncrement_false-no-overflow.c.i unknown 8.06 8.19 198823936 -
signedintegeroverflow-regression/UnaryMinus_false-no-overflow.c.i unknown 5.43 5.65 192765952 -
signedintegeroverflow-regression/ConversionToSignedInt_true-no-overflow_true-termination.c.i unknown 7.74 8.27 198643712 -
signedintegeroverflow-regression/IntegerPromotion_true-no-overflow_true-termination.c.i unknown 7.71 7.84 190275584 -
signedintegeroverflow-regression/Multiplication_true-no-overflow_true-termination.c.i unknown 7.92 8.00 193298432 -
signedintegeroverflow-regression/NoNegativeIntegerConstant_true-no-overflow_true-termination.c.i unknown 7.99 8.06 190590976 -
signedintegeroverflow-regression/UsualArithmeticConversions_true-no-overflow_true-termination.c.i unknown 7.65 7.96 194334720 -
termination-crafted/2Nested_false-no-overflow.c unknown 7.19 7.41 201662464 -
termination-crafted/4NestedWith3Variables_false-no-overflow.c unknown 6.98 7.07 170110976 -
termination-crafted/Ackermann_false-no-overflow.c unknown 7.21 7.38 190259200 -
termination-crafted/Bangalore_false-no-overflow.c unknown 7.02 7.21 171978752 -
termination-crafted/Bangalore_v3_false-no-overflow.c unknown 6.77 7.03 169824256 -
termination-crafted/Benghazi_nondet_false-no-overflow.c unknown 4.78 5.11 169582592 -
termination-crafted/Binary_Search_false-no-overflow.c unknown 6.99 7.17 170790912 -
termination-crafted/Cairo_nondet_false-no-overflow.c unknown 7.02 7.10 171491328 -
termination-crafted/Cairo_step2_false-no-overflow.c unknown 6.82 7.01 170635264 -
termination-crafted/Collatz_unknown-termination_false-no-overflow.c unknown 7.02 7.26 171708416 -
termination-crafted/Copenhagen_disj_false-no-overflow.c unknown 7.17 7.25 171884544 -
termination-crafted/Gothenburg_false-no-overflow.c unknown 7.01 7.20 168783872 -
termination-crafted/Gothenburg_v2_false-no-overflow.c unknown 5.06 5.36 167448576 -
termination-crafted/Hanoi_2vars_false-no-overflow.c unknown 5.19 5.44 168636416 -
termination-crafted/Hanoi_3vars_false-no-overflow.c unknown 4.76 5.07 171335680 -
termination-crafted/Hanoi_plus_false-no-overflow.c unknown 6.75 6.99 167043072 -
termination-crafted/Lobnya-Boolean-Reordered_false-no-overflow.c unknown 6.57 6.88 167960576 -
termination-crafted/Mysore_false-no-overflow.c unknown 4.67 4.97 171802624 -
termination-crafted/NestedRecursion_1a_false-no-overflow.c unknown 6.94 7.01 170487808 -
termination-crafted/NestedRecursion_2a_false-no-overflow.c unknown 6.80 7.00 173756416 -
termination-crafted/NonTermination1_false-no-overflow.c unknown 6.82 7.07 169492480 -
termination-crafted/NonTermination2_false-no-overflow.c unknown 6.83 6.88 172154880 -
termination-crafted/NonTermination4_false-no-overflow.c unknown 6.42 6.49 170192896 -
termination-crafted/NonTerminationSimple2_false-no-overflow.c unknown 6.82 7.16 173867008 -
termination-crafted/NonTerminationSimple3_false-no-overflow.c unknown 6.55 6.76 185950208 -
termination-crafted/NonTerminationSimple4_false-no-overflow.c unknown 6.30 6.40 169947136 -
termination-crafted/NonTerminationSimple5_false-no-overflow.c unknown 6.02 6.27 171548672 -
termination-crafted/NonTerminationSimple6_false-no-overflow.c unknown 6.88 7.20 170094592 -
termination-crafted/NonTerminationSimple8_false-no-overflow.c unknown 6.63 6.91 168288256 -
termination-crafted/NonTerminationSimple9_false-no-overflow.c unknown 6.98 7.05 171778048 -
termination-crafted/Pure2Phase_false-no-overflow.c unknown 6.02 6.27 170971136 -
termination-crafted/Pure3Phase_false-no-overflow.c unknown 6.77 7.20 166559744 -
termination-crafted/RecursiveMultiplication_false-no-overflow.c unknown 6.07 6.24 171040768 -
termination-crafted/RecursiveNonterminating_false-no-overflow.c unknown 4.82 5.13 179527680 -
termination-crafted/Rotation180_false-no-overflow.c unknown 6.34 6.74 169013248 -
termination-crafted/Singapore_false-no-overflow.c unknown 6.88 7.13 167735296 -
termination-crafted/Singapore_plus_false-no-overflow.c unknown 6.92 7.20 169697280 -
termination-crafted/Singapore_v1_false-no-overflow.c unknown 6.94 7.31 170569728 -
termination-crafted/Singapore_v2_false-no-overflow.c unknown 7.15 7.33 171954176 -
termination-crafted/Stockholm_false-no-overflow.c unknown 4.95 5.20 168759296 -
termination-crafted/Thun_false-no-overflow.c unknown 7.22 7.33 168235008 -
termination-crafted/Toulouse-BranchesToLoop_false-no-overflow.c unknown 7.20 7.42 174149632 -
termination-crafted/Toulouse-MultiBranchesToLoop_false-no-overflow.c unknown 4.99 5.27 173359104 -
termination-crafted/aaron2_false-no-overflow.c unknown 4.81 5.06 181891072 -
termination-crafted/aaron3_false-no-overflow.c unknown 7.15 7.45 169390080 -
termination-crafted/easy2_false-no-overflow.c unknown 6.76 6.82 170569728 -
termination-crafted/LexIndexValue-Pointer_true-no-overflow.c unknown 7.31 7.39 183943168 -
termination-crafted/NonTermination3_true-no-overflow_false-termination.c unknown 4.98 5.30 173383680 -
termination-crafted/SyntaxSupportPointer01_true-no-overflow_true-termination.c unknown 5.12 5.38 181256192 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2a_false-no-overflow.c unknown 7.13 7.19 171544576 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2b_false-no-overflow.c unknown 7.11 7.31 169123840 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron2_false-no-overflow.c unknown 4.89 5.21 169656320 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron3_false-no-overflow.c unknown 7.06 7.25 170373120 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-complex_false-no-overflow.c unknown 6.98 7.04 168390656 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1a_false-no-overflow.c unknown 7.12 7.35 169422848 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1b_false-no-overflow.c unknown 6.80 7.08 168251392 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2_false-no-overflow.c unknown 6.87 6.94 172941312 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-exmini_false-no-overflow.c unknown 7.07 7.26 167141376 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-ndecr_false-no-overflow.c unknown 6.64 6.86 170049536 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_false-no-overflow.c unknown 4.87 5.13 169750528 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d_false-no-overflow.c unknown 6.58 6.88 171933696 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-rsd_false-no-overflow.c unknown 7.00 7.09 168087552 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedFails4_false-no-overflow.c unknown 6.89 7.16 169951232 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-terminate_false-no-overflow.c unknown 6.94 7.13 171667456 -
termination-crafted-lit/Ben-Amram-LMCS2010-Ex2.3_false-no-overflow.c unknown 7.10 7.30 170188800 -
termination-crafted-lit/BradleyMannaSipma-ICALP2005-Fig1_false-no-overflow.c unknown 7.08 7.49 174817280 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron12_false-no-overflow.c unknown 5.04 5.37 169967616 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron1_false-no-overflow.c unknown 4.90 5.20 190963712 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron2_false-no-overflow.c unknown 4.95 5.22 171999232 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron3_false-no-overflow.c unknown 7.00 7.48 170897408 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron4_false-no-overflow.c unknown 7.18 7.24 171016192 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron6_false-no-overflow.c unknown 7.06 7.44 172322816 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.01_false-no-overflow.c unknown 6.70 6.77 188579840 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.02_false-no-overflow.c unknown 6.82 7.15 168038400 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.03_false-no-overflow.c unknown 6.93 7.15 172810240 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.04_false-no-overflow.c unknown 7.04 7.23 168919040 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.05_false-no-overflow.c unknown 6.92 6.97 173989888 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.01_false-no-overflow.c unknown 6.93 7.13 171159552 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.02_false-no-overflow.c unknown 7.15 7.22 171778048 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.03_false-no-overflow.c unknown 7.13 7.19 168394752 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.04_false-no-overflow.c unknown 7.09 7.31 168914944 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.05_false-no-overflow.c unknown 6.86 7.12 171229184 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.06_false-no-overflow.c unknown 7.11 7.17 175587328 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.07_false-no-overflow.c unknown 7.01 7.28 170336256 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.08_false-no-overflow.c unknown 7.00 7.46 170057728 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.09_false-no-overflow.c unknown 5.00 5.70 170766336 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.10_false-no-overflow.c unknown 6.83 7.06 170352640 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.11_false-no-overflow.c unknown 7.24 7.33 171626496 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.12_false-no-overflow.c unknown 6.89 6.94 192417792 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.13_false-no-overflow.c unknown 5.09 5.38 170336256 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.14_false-no-overflow.c unknown 4.80 5.06 168275968 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.15_false-no-overflow.c unknown 6.82 7.05 167833600 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.16_false-no-overflow.c unknown 4.72 5.03 171806720 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.17_false-no-overflow.c unknown 6.73 6.80 173518848 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.18_false-no-overflow.c unknown 7.18 7.40 170999808 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.19_false-no-overflow.c unknown 7.24 7.41 172294144 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.21_false-no-overflow.c unknown 7.22 7.28 193835008 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.22_false-no-overflow.c unknown 7.01 7.27 169439232 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.02_false-no-overflow.c unknown 7.32 7.43 191766528 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.03_false-no-overflow.c unknown 6.90 6.97 169754624 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.04_false-no-overflow.c unknown 7.22 7.45 180817920 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.05_false-no-overflow.c unknown 4.90 5.23 169431040 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.06_false-no-overflow.c unknown 6.99 7.07 173420544 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.07_false-no-overflow.c unknown 6.93 7.16 169820160 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.08_false-no-overflow.c unknown 6.96 7.20 170336256 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.09_false-no-overflow.c unknown 6.80 7.00 171360256 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.10_false-no-overflow.c unknown 6.82 7.03 169168896 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex4.01_false-no-overflow.c unknown 6.95 7.02 171139072 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Fig1_false-no-overflow.c unknown 6.88 7.22 168669184 -
termination-crafted-lit/ColonSipma-TACAS2001-Fig1_false-no-overflow.c unknown 7.13 7.19 180686848 -
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1a_false-no-overflow.c unknown 6.90 7.13 179822592 -
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1b_false-no-overflow.c unknown 7.19 7.46 173424640 -
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1c_false-no-overflow.c unknown 7.29 7.37 185147392 -
termination-crafted-lit/GulwaniJainKoskinen-PLDI2009-Fig1_false-no-overflow.c unknown 7.02 7.29 190038016 -
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig2_false-no-overflow.c unknown 7.00 7.08 175833088 -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig2_false-no-overflow.c unknown 4.66 5.01 167161856 -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig7_false-no-overflow.c unknown 7.16 7.34 202543104 -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig8_false-no-overflow.c unknown 4.63 4.92 184270848 -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig9_false-no-overflow.c unknown 4.91 5.16 172150784 -
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex1_false-no-overflow.c unknown 7.24 7.30 170700800 -
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex2_false-no-overflow.c unknown 6.79 7.04 168943616 -
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex3_false-no-overflow.c unknown 7.05 7.36 170229760 -
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex6_false-no-overflow.c unknown 7.06 7.13 173486080 -
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex7_false-no-overflow.c unknown 7.10 7.17 202547200 -
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex8_false-no-overflow.c unknown 7.45 7.53 179478528 -
termination-crafted-lit/LeikeHeizmann-TACAS2014-Fig1_false-no-overflow.c unknown 4.98 5.25 190136320 -
termination-crafted-lit/LeikeHeizmann-WST2014-Ex5_false-no-overflow.c unknown 6.75 6.93 168914944 -
termination-crafted-lit/LeikeHeizmann-WST2014-Ex6_false-no-overflow.c unknown 7.05 7.12 169807872 -
termination-crafted-lit/Masse-VMCAI2014-Ex6_false-no-overflow.c unknown 4.92 5.36 168767488 -
termination-crafted-lit/Masse-VMCAI2014-Fig1a_false-no-overflow.c unknown 7.15 7.31 166064128 -
termination-crafted-lit/Masse-VMCAI2014-Fig1b_false-no-overflow.c unknown 4.98 5.30 166912000 -
termination-crafted-lit/NoriSharma-FSE2013-Fig7_false-no-overflow.c unknown 6.89 7.04 192253952 -
termination-crafted-lit/NoriSharma-FSE2013-Fig8_false-no-overflow.c unknown 6.90 7.16 166801408 -
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig2-TACAS2011-Fig3_false-no-overflow.c unknown 4.66 4.98 181186560 -
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig2_false-no-overflow.c unknown 7.18 7.24 185298944 -
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig3_false-no-overflow.c unknown 6.97 7.03 175624192 -
termination-crafted-lit/PodelskiRybalchenko-VMCAI2004-Ex1_false-no-overflow.c unknown 7.05 7.26 167747584 -
termination-crafted-lit/PodelskiRybalchenko-VMCAI2004-Ex2_false-no-overflow.c unknown 6.90 7.13 170844160 -
termination-crafted-lit/cstrncmp_false-no-overflow.c unknown 7.51 7.58 177909760 -
termination-crafted-lit/gcd1_false-no-overflow.c unknown 6.98 7.18 170475520 -
termination-crafted-lit/joey_false-no-overflow.c unknown 6.98 7.04 167989248 -
termination-crafted-lit/min_rf_false-no-overflow.c unknown 6.83 7.01 169668608 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig1_true-termination_true-no-overflow.c unknown 7.08 7.14 172421120 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-cousot9_true-termination_true-no-overflow.c unknown 6.94 7.19 170348544 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy1_true-termination_true-no-overflow.c unknown 6.92 7.17 169295872 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2_true-termination_true-no-overflow.c unknown 6.87 7.16 168001536 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-loops_true-termination_true-no-overflow.c unknown 7.16 7.37 171466752 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_true-termination_true-no-overflow.c unknown 4.86 5.16 168972288 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d_true-termination_true-no-overflow.c unknown 6.58 6.88 166891520 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random2d_true-termination_true-no-overflow.c unknown 6.49 6.72 189386752 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi2_true-termination_true-no-overflow.c unknown 6.76 6.82 174321664 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi3_true-termination_true-no-overflow.c unknown 6.96 7.04 168488960 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi4_true-termination_true-no-overflow.c unknown 6.92 7.10 170057728 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wcet2_true-termination_true-no-overflow.c unknown 4.95 5.23 167710720 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-while2_true-termination_true-no-overflow.c unknown 4.77 5.10 167403520 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wise_true-termination_true-no-overflow.c unknown 4.87 5.20 169799680 -
termination-crafted-lit/Avery-FLOPS2006-Table1_true-termination_true-no-overflow.c unknown 7.12 7.31 189095936 -
termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1-modified_false-termination_true-no-overflow.c unknown 7.18 7.25 168370176 -
termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1_true-termination_true-no-overflow.c unknown 6.96 7.02 173305856 -
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig1_true-termination_true-no-overflow.c unknown 7.28 7.34 169033728 -
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig9a_true-termination_true-no-overflow.c unknown 6.91 7.29 169975808 -
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Introduction_true-termination_true-no-overflow.c unknown 6.73 6.99 171085824 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy1_true-termination_true-no-overflow.c unknown 7.20 7.49 178446336 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy2_true-termination_true-no-overflow.c unknown 6.96 7.20 167677952 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random1d_true-termination_true-no-overflow.c unknown 6.80 7.05 171008000 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random2d_true-termination_true-no-overflow.c unknown 6.62 6.87 168972288 -
termination-crafted-lit/ChenCookFuhsNimkarOHearn-TACAS2014-Introduction_false-termination_true-no-overflow.c unknown 6.86 7.10 174657536 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.20_true-termination_true-no-overflow.c unknown 6.61 6.97 167587840 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.01_true-termination_true-no-overflow.c unknown 7.11 7.19 201474048 -
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig1_true-termination_true-no-overflow.c unknown 7.06 7.20 167034880 -
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7a_true-termination_true-no-overflow.c unknown 4.94 5.23 169181184 -
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7b_true-termination_true-no-overflow.c unknown 6.97 7.13 168792064 -
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a-modified_true-termination_true-no-overflow.c unknown 6.82 7.07 172281856 -
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a_true-termination_true-no-overflow.c unknown 6.94 7.02 173723648 -
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8b_true-termination_true-no-overflow.c unknown 6.74 7.06 171233280 -
termination-crafted-lit/GopanReps-CAV2006-Fig1a_true-termination_true-no-overflow.c.c unknown 7.08 7.14 171204608 -
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig1_true-termination_true-no-overflow.c unknown 4.77 5.09 172552192 -
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig3_true-termination_true-no-overflow.c unknown 4.67 4.97 169418752 -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig1_true-termination_true-no-overflow.c unknown 4.98 5.32 171429888 -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig4_true-termination_true-no-overflow.c unknown 6.65 6.88 168230912 -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig5_true-termination_true-no-overflow.c unknown 6.80 6.87 171757568 -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig6_true-termination_true-no-overflow.c unknown 7.01 7.21 169320448 -
termination-crafted-lit/HenzingerJhalaMajumdarSutre-POPL2002-LockingExample_false-termination_true-no-overflow.c unknown 6.94 7.13 172306432 -
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Ex_true-termination_true-no-overflow.c unknown 7.01 7.08 173215744 -
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Fig1_true-termination_true-no-overflow.c unknown 7.07 7.30 167817216 -
termination-crafted-lit/LarrazOliverasRodriguez-CarbonellRubio-FMCAD2013-Fig1_true-termination_true-no-overflow.c unknown 7.07 7.30 167952384 -
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex4_true-termination_true-no-overflow.c unknown 6.97 7.19 173400064 -
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex5_true-termination_true-no-overflow.c unknown 4.78 5.25 169181184 -
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex1_true-termination_true-no-overflow.c unknown 7.04 7.24 168128512 -
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex9_true-termination_true-no-overflow.c unknown 7.15 7.37 175321088 -
termination-crafted-lit/LeikeHeizmann-WST2014-Ex9_true-termination_true-no-overflow.c unknown 7.16 7.25 168886272 -
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig1_true-termination_true-no-overflow.c unknown 6.89 7.15 172093440 -
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig1_true-termination_true-no-overflow.c unknown 7.01 7.16 171556864 -
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig2_true-termination_true-no-overflow.c unknown 6.70 7.12 170610688 -
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig4_true-termination_true-no-overflow.c unknown 6.89 7.16 167948288 -
termination-crafted-lit/Urban-WST2013-Fig1_false-termination_true-no-overflow.c unknown 6.92 6.99 173264896 -
termination-crafted-lit/Urban-WST2013-Fig2-modified1000_true-termination_true-no-overflow.c unknown 7.09 7.29 182775808 -
termination-crafted-lit/Urban-WST2013-Fig2_true-termination_true-no-overflow.c unknown 6.74 7.06 171593728 -
termination-crafted-lit/UrbanMine-ESOP2014-Fig3_true-termination_true-no-overflow.c unknown 5.08 5.21 171712512 -
termination-crafted-lit/Velroyen_false-termination_true-no-overflow.c unknown 5.03 5.09 170749952 -
termination-crafted-lit/aviad_true-termination_true-no-overflow.c unknown 6.92 6.97 173092864 -
termination-crafted-lit/cstrcmp_true-termination_true-no-overflow.c unknown 4.87 5.20 197550080 -
termination-crafted-lit/cstrcspn_true-termination_true-no-overflow.c unknown 7.59 7.80 186974208 -
termination-crafted-lit/cstrlen_true-termination_true-no-overflow.c unknown 7.00 7.21 169570304 -
termination-crafted-lit/cstrpbrk_true-termination_true-no-overflow.c unknown 6.92 7.30 174374912 -
termination-crafted-lit/cstrspn_true-termination_true-no-overflow.c unknown 7.09 7.17 172716032 -
termination-crafted-lit/genady_true-termination_true-no-overflow.c unknown 6.89 7.16 188538880 -
termination-crafted-lit/strchr_true-no-overflow_true-termination.c unknown 7.30 7.38 172175360 -
termination-numeric/Addition01_false-no-overflow.c unknown 7.09 7.22 169762816 -
termination-numeric/Avg_true_false-no-overflow.c unknown 6.87 7.11 170811392 -
termination-numeric/Binomial_true-termination_false-no-overflow.c unknown 6.80 7.09 169963520 -
termination-numeric/Et1_true_false-no-overflow.c unknown 7.09 7.33 170565632 -
termination-numeric/Et2_true_false-no-overflow.c unknown 5.00 5.31 168505344 -
termination-numeric/Et3_true_false-no-overflow.c unknown 7.17 7.36 172195840 -
termination-numeric/Et4_true_false-no-overflow.c unknown 5.05 5.55 168640512 -
termination-numeric/MultCommutative_false-no-overflow.c unknown 4.70 5.03 169705472 -
termination-numeric/TerminatorRec02_true-termination_false-no-overflow.c unknown 6.94 7.20 169529344 -
termination-numeric/Ackermann01_true-termination_true-no-overflow.c unknown 7.07 7.16 172851200 -
termination-numeric/EvenOdd01_true-termination_true-no-overflow.c unknown 4.84 5.08 188407808 -
termination-numeric/Fibonacci01_true-termination_true-no-overflow.c unknown 7.01 7.33 181075968 -
termination-numeric/LeUserDefRec_true-termination_true-no-overflow.c unknown 6.77 6.94 173867008 -
termination-numeric/LogRecursive_true-termination_true-no-overflow.c unknown 7.35 7.52 196268032 -
termination-numeric/Parts_true-termination_true-no-overflow.c unknown 6.93 7.06 174239744 -
termination-numeric/TwoWay_true-termination_true-no-overflow.c unknown 7.01 7.20 170831872 -
termination-numeric/gcd01_true-termination_true-no-overflow.c unknown 7.00 7.23 170094592 -
termination-numeric/java_LogBuiltIn_true-termination_true-no-overflow.c unknown 7.05 7.26 170987520 -
termination-numeric/recHanoi02_true-termination_true-no-overflow.c unknown 6.85 7.08 169390080 -
termination-numeric/rec_counter1_true-termination_true-no-overflow.c unknown 6.65 6.99 166621184 -
termination-numeric/rec_counter3_true-termination_true-no-overflow.c unknown 6.92 7.20 168357888 -
termination-numeric/twisted_true-termination_true-no-overflow.c unknown 6.54 6.70 170123264 -
busybox-1.22.0/chgrp-incomplete_false-no-overflow.i unknown 10.1  10.5  208273408 -
busybox-1.22.0/chroot-incomplete_false-no-overflow.i unknown 10.4  10.8  208089088 -
busybox-1.22.0/cut_false-no-overflow.i unknown 9.82 9.89 206012416 -
busybox-1.22.0/date_false-no-overflow.i unknown 11.8  12.1  228855808 -
busybox-1.22.0/du_false-no-overflow.i unknown 11.4  11.5  221044736 -
busybox-1.22.0/echo_false-no-overflow.i unknown 7.00 7.22 212176896 -
busybox-1.22.0/expand_false-no-overflow.i unknown 10.8  11.1  241479680 -
busybox-1.22.0/fold_false-no-overflow.i unknown 10.7  10.8  218079232 -
busybox-1.22.0/head_false-no-overflow.i unknown 10.3  10.5  207724544 -
busybox-1.22.0/logname_false-no-overflow.i unknown 7.25 7.67 218615808 -
busybox-1.22.0/ls-incomplete_false-no-overflow.i error: exception 12.8  12.9  262782976 -
busybox-1.22.0/mkdir_false-no-overflow.i unknown 7.39 7.75 219582464 -
busybox-1.22.0/mkfifo-incomplete_false-no-overflow.i unknown 6.84 7.25 205066240 -
busybox-1.22.0/od_false-no-overflow.i unknown 12.0  12.4  240041984 -
busybox-1.22.0/printf_false-no-overflow.i unknown 11.5  11.5  222502912 -
busybox-1.22.0/readlink_false-no-overflow.i unknown 10.8  11.1  219459584 -
busybox-1.22.0/realpath_false-no-overflow.i unknown 10.4  10.5  206004224 -
busybox-1.22.0/rm_false-no-overflow.i unknown 11.5  12.0  238956544 -
busybox-1.22.0/seq_false-no-overflow.i unknown 10.5  10.6  215031808 -
busybox-1.22.0/sleep_false-no-overflow.i unknown 10.8  11.0  211693568 -
busybox-1.22.0/stty_false-no-overflow.i unknown 12.3  12.8  283828224 -
busybox-1.22.0/sync_false-no-overflow.i unknown 9.66 9.90 201015296 -
busybox-1.22.0/tac_false-no-overflow.i unknown 11.2  11.6  213835776 -
busybox-1.22.0/tee_false-no-overflow.i unknown 11.1  11.2  209895424 -
busybox-1.22.0/test-incomplete_false-no-overflow.i unknown 11.6  11.8  228790272 -
busybox-1.22.0/touch_false-no-overflow.i unknown 12.4  13.1  224423936 -
busybox-1.22.0/uname_false-no-overflow.i unknown 10.6  11.0  219635712 -
busybox-1.22.0/uniq_false-no-overflow.i unknown 11.0  11.7  216956928 -
busybox-1.22.0/usleep_false-no-overflow.i unknown 6.88 7.23 210546688 -
busybox-1.22.0/uudecode_false-no-overflow.i unknown 11.2  11.5  231575552 -
busybox-1.22.0/wc_false-no-overflow.i unknown 7.48 7.69 219176960 -
busybox-1.22.0/who_false-no-overflow.i unknown 7.93 8.28 222363648 -
busybox-1.22.0/whoami-incomplete_false-no-overflow.i unknown 10.5  10.8  211742720 -
busybox-1.22.0/yes_false-no-overflow.i unknown 6.90 7.35 205516800 -
termination-restricted-15/DivMinus2_true-termination_true-no-overflow.c unknown 6.68 6.96 167591936 -
termination-restricted-15/DivMinus_true-termination_true-no-overflow.c unknown 6.97 7.30 170029056 -
termination-restricted-15/GCD3_true-termination_true-no-overflow.c unknown 4.97 5.26 175140864 -
termination-restricted-15/GCD4_true-termination_true-no-overflow.c unknown 7.05 7.28 172126208 -
termination-restricted-15/IntPath_true-termination_true-no-overflow.c unknown 5.20 5.50 170233856 -
termination-restricted-15/LogAG_true-termination_true-no-overflow.c unknown 6.91 6.96 169558016 -
termination-restricted-15/Log_true-termination_true-no-overflow.c unknown 4.93 5.22 168706048 -
termination-restricted-15/McCarthyIterative_true-termination_true-no-overflow.c unknown 5.94 6.13 191070208 -
termination-restricted-15/MinusBuiltIn_true-termination_true-no-overflow.c unknown 6.71 7.15 168910848 -
termination-restricted-15/MinusUserDefined_true-termination_true-no-overflow.c unknown 7.04 7.26 170196992 -
termination-restricted-15/Nested_true-termination_true-no-overflow.c unknown 6.69 6.74 173142016 -
termination-restricted-15/PastaA10_true-termination_true-no-overflow.c unknown 7.01 7.22 174178304 -
termination-restricted-15/PastaA1_true-termination_true-no-overflow.c unknown 7.34 7.50 168443904 -
termination-restricted-15/PastaA4_true-termination_true-no-overflow.c unknown 6.86 7.21 170553344 -
termination-restricted-15/PastaA7_true-termination_true-no-overflow.c unknown 7.24 7.51 171819008 -
termination-restricted-15/PastaB14_true-termination_true-no-overflow.c unknown 7.33 7.58 173768704 -
termination-restricted-15/PastaB15_true-termination_true-no-overflow.c unknown 6.97 7.08 173092864 -
termination-restricted-15/PastaB16_true-termination_true-no-overflow.c unknown 7.29 7.65 174628864 -
termination-restricted-15/PastaB17_true-termination_true-no-overflow.c unknown 7.01 7.19 170016768 -
termination-restricted-15/PastaB1_true-termination_true-no-overflow.c unknown 6.95 7.13 173043712 -
termination-restricted-15/PastaB2_true-termination_true-no-overflow.c unknown 6.84 6.90 172810240 -
termination-restricted-15/PastaB4_true-termination_true-no-overflow.c unknown 4.85 5.09 174014464 -
termination-restricted-15/PastaB6_true-termination_true-no-overflow.c unknown 7.04 7.19 168521728 -
termination-restricted-15/PastaB7_true-termination_true-no-overflow.c unknown 6.76 7.03 180514816 -
termination-restricted-15/PastaC3_true-termination_true-no-overflow.c unknown 6.89 7.07 170459136 -
termination-restricted-15/PastaC7_true-termination_true-no-overflow.c unknown 4.87 5.20 169889792 -
termination-restricted-15/PastaC9_true-termination_true-no-overflow.c unknown 4.85 5.16 168501248 -
termination-restricted-15/Sequence_true-termination_true-no-overflow.c unknown 4.90 5.23 166785024 -
termination-restricted-15/WhileDecr_true-termination_true-no-overflow.c unknown 6.89 7.15 166391808 -
termination-restricted-15/a.01_true-termination_true-no-overflow.c unknown 6.92 7.22 172417024 -
termination-restricted-15/a.04_true-termination_true-no-overflow.c unknown 6.88 7.15 169226240 -
termination-restricted-15/a.05_true-termination_true-no-overflow.c unknown 7.02 7.14 172638208 -
termination-restricted-15/a.06_true-termination_true-no-overflow.c unknown 7.15 7.40 169279488 -
termination-restricted-15/a.07_true-termination_true-no-overflow.c unknown 7.11 7.20 178528256 -
termination-restricted-15/a.08_true-termination_true-no-overflow.c unknown 6.95 7.12 174067712 -
termination-restricted-15/a.09_assume_true-termination_true-no-overflow.c unknown 7.27 7.34 168878080 -
termination-restricted-15/a.10_true-termination.c unknown 6.88 7.16 168038400 -
termination-restricted-15/b.01_true-termination_true-no-overflow.c unknown 6.86 6.92 174944256 -
termination-restricted-15/b.02_true-termination_true-no-overflow.c unknown 6.87 7.06 194269184 -
termination-restricted-15/b.03-no-inv_assume_true-termination_true-no-overflow.c unknown 5.07 5.35 170577920 -
termination-restricted-15/b.03_assume_true-termination_true-no-overflow.c unknown 5.06 5.33 168321024 -
termination-restricted-15/b.04_true-termination_true-no-overflow.c unknown 4.98 5.30 170246144 -
termination-restricted-15/b.05_true-termination_true-no-overflow.c unknown 6.93 7.13 169062400 -
termination-restricted-15/b.06_true-termination_true-no-overflow.c unknown 4.96 5.28 166633472 -
termination-restricted-15/b.07_true-termination_true-no-overflow.c unknown 7.02 7.23 173096960 -
termination-restricted-15/b.09-no-inv_assume_true-termination_true-no-overflow.c unknown 6.74 7.04 166694912 -
termination-restricted-15/b.09_assume_true-termination_true-no-overflow.c unknown 7.02 7.21 171393024 -
termination-restricted-15/b.10_true-termination_true-no-overflow.c unknown 7.21 7.47 181194752 -
termination-restricted-15/b.11_true-termination_true-no-overflow.c unknown 7.50 7.56 204656640 -
termination-restricted-15/b.12_true-termination_true-no-overflow.c unknown 7.12 7.18 184991744 -
termination-restricted-15/b.13_true-termination_true-no-overflow.c unknown 6.99 7.21 172290048 -
termination-restricted-15/b.14_true-termination_true-no-overflow.c unknown 6.88 6.97 176553984 -
termination-restricted-15/b.15_true-termination_true-no-overflow.c unknown 6.99 7.42 171204608 -
termination-restricted-15/b.16_true-termination_true-no-overflow.c unknown 6.79 7.03 170602496 -
termination-restricted-15/b.17_true-termination_true-no-overflow.c unknown 6.97 7.17 169426944 -
termination-restricted-15/b.18_true-termination_true-no-overflow.c unknown 6.88 7.12 167493632 -
termination-restricted-15/c.01-no-inv_true-termination_true-no-overflow.c unknown 7.19 7.38 183410688 -
termination-restricted-15/c.01_assume_true-termination_true-no-overflow.c unknown 7.03 7.10 174116864 -
termination-restricted-15/c.02_true-termination_true-no-overflow.c unknown 6.96 7.12 170582016 -
termination-restricted-15/c.03_true-termination_true-no-overflow.c unknown 7.02 7.22 169934848 -
termination-restricted-15/c.07_true-termination_true-no-overflow.c unknown 6.89 6.96 190017536 -
termination-restricted-15/c.08_true-termination_true-no-overflow.c unknown 7.06 7.25 170565632 -
termination-restricted-15/ex3a_true-termination_true-no-overflow.c unknown 7.46 7.66 182841344 -
termination-restricted-15/ex3b_true-termination_true-no-overflow.c unknown 6.86 7.04 169508864 -
termination-restricted-15/java_AG313_true-termination_true-no-overflow.c unknown 7.21 7.28 187322368 -
termination-restricted-15/java_Break_true-termination_true-no-overflow.c unknown 6.88 6.94 181219328 -
termination-restricted-15/java_Continue1_true-termination_true-no-overflow.c unknown 6.75 7.03 171728896 -
termination-restricted-15/java_Nested_true-termination_true-no-overflow.c unknown 4.79 5.32 168136704 -
termination-restricted-15/java_Sequence_true-termination_true-no-overflow.c unknown 4.77 5.13 170151936 -
termination-restricted-15/AlternKonv_false-termination_true-no-overflow.c unknown 4.71 5.03 168787968 -
termination-restricted-15/ComplInterv2_false-termination_true-no-overflow.c unknown 4.98 5.31 169242624 -
termination-restricted-15/ConvLower_false-termination_true-no-overflow.c unknown 7.11 7.35 170233856 -
termination-restricted-15/Ex02_false-termination_true-no-overflow.c unknown 6.97 7.03 172949504 -
termination-restricted-15/Ex03_false-termination_true-no-overflow.c unknown 6.97 7.16 170827776 -
termination-restricted-15/Ex05_false-termination_true-no-overflow.c unknown 6.80 7.04 166268928 -
termination-restricted-15/Ex06_false-termination_true-no-overflow.c unknown 6.97 7.10 171761664 -
termination-restricted-15/Ex07_false-termination_true-no-overflow.c unknown 7.21 7.33 170668032 -
termination-restricted-15/Ex08_false-termination_true-no-overflow.c unknown 7.23 7.45 203354112 -
termination-restricted-15/Flip2_false-termination_true-no-overflow.c unknown 7.14 7.37 183754752 -
termination-restricted-15/Flip_false-termination_true-no-overflow.c unknown 7.07 7.32 172412928 -
termination-restricted-15/GCD2_false-termination_true-no-overflow.c unknown 6.94 7.32 170270720 -
termination-restricted-15/GCD_false-termination_true-no-overflow.c unknown 6.91 6.97 180826112 -
termination-restricted-15/Loop_false-termination_true-no-overflow.c unknown 7.14 7.21 204283904 -
termination-restricted-15/MirrorIntervSim_false-termination_true-no-overflow.c unknown 6.85 6.92 174198784 -
termination-restricted-15/NO_00_false-termination_true-no-overflow.c unknown 7.11 7.29 173678592 -
termination-restricted-15/NO_01_false-termination_true-no-overflow.c unknown 7.14 7.19 171421696 -
termination-restricted-15/NO_02_false-termination_true-no-overflow.c unknown 6.65 6.69 172888064 -
termination-restricted-15/NO_03_false-termination_true-no-overflow.c unknown 4.98 5.46 173887488 -
termination-restricted-15/NO_04_false-termination_true-no-overflow.c unknown 7.01 7.23 171220992 -
termination-restricted-15/NO_13_false-termination_true-no-overflow.c unknown 4.69 5.07 168275968 -
termination-restricted-15/NO_21_false-termination_true-no-overflow.c unknown 6.85 7.04 170835968 -
termination-restricted-15/NO_22_false-termination_true-no-overflow.c unknown 4.71 5.04 168263680 -
termination-restricted-15/NO_23_false-termination_true-no-overflow.c unknown 7.01 7.19 172589056 -
termination-restricted-15/NO_24_false-termination_true-no-overflow.c unknown 5.04 5.35 166924288 -
termination-restricted-15/NarrowKonv_false-termination_true-no-overflow.c unknown 7.08 7.30 170196992 -
termination-restricted-15/Narrowing_false-termination_true-no-overflow.c unknown 7.11 7.42 173002752 -
termination-restricted-15/Sunset_false-termination_true-no-overflow.c unknown 7.14 7.38 168660992 -
termination-restricted-15/Swingers_false-termination_true-no-overflow.c unknown 6.96 7.23 169807872 -
termination-restricted-15/TwoFloatInterv_false-termination_true-no-overflow.c unknown 7.02 7.27 166944768 -
termination-restricted-15/UpAndDownIneq_false-termination_true-no-overflow.c unknown 6.89 7.17 168120320 -
termination-restricted-15/UpAndDown_false-termination_true-no-overflow.c unknown 6.73 6.79 176082944 -
termination-restricted-15/WhilePart_false-termination_true-no-overflow.c unknown 7.00 7.22 175558656 -
termination-restricted-15/WhileSingle_false-termination_true-no-overflow.c unknown 6.92 7.18 168361984 -
termination-libowfat/atoi_true-termination.c.i unknown 8.12 8.50 212135936 -
termination-libowfat/atol_true-termination.c.i unknown 8.42 8.70 202014720 -
termination-libowfat/atoll_true-termination.c.i unknown 8.30 8.61 199131136 -
termination-libowfat/basename_true-termination.c.i unknown 5.45 5.84 195108864 -
termination-libowfat/build_fullname_true-termination.c.i unknown 5.69 5.88 194318336 -
termination-libowfat/dirname_true-termination.c.i unknown 8.43 8.56 201781248 -
termination-libowfat/skip_to_true-termination.c.i unknown 8.36 8.85 200425472 -
termination-libowfat/stpcpy_true-termination.c.i unknown 8.32 8.63 189878272 -
termination-libowfat/strcasecmp_true-termination.c.i unknown 5.61 5.78 198668288 -
termination-libowfat/strcat_short_true-termination.c.i unknown 8.48 8.64 192897024 -
termination-libowfat/strcat_true-termination.c.i unknown 8.42 8.60 194060288 -
termination-libowfat/strchr_short_true-termination.c.i unknown 7.76 7.82 191705088 -
termination-libowfat/strchr_true-termination.c.i unknown 5.65 5.84 194486272 -
termination-libowfat/strcmp_short_true-termination.c.i unknown 7.95 8.43 200876032 -
termination-libowfat/strcpy_small_true-termination.c.i unknown 8.25 8.52 196952064 -
termination-libowfat/strcspn_true-termination.c.i unknown 8.03 8.56 191361024 -
termination-libowfat/strdup_true-termination.c.i unknown 8.14 8.48 202272768 -
termination-libowfat/strlcat_true-termination.c.i unknown 8.35 8.82 199680000 -
termination-libowfat/strlcpy_true-termination.c.i unknown 8.26 8.81 193642496 -
termination-libowfat/strlen_true-termination.c.i unknown 8.30 8.51 196665344 -
termination-libowfat/strpbrk_true-termination.c.i unknown 7.79 7.84 197668864 -
termination-libowfat/strrchr_short_true-termination.c.i unknown 8.05 8.11 200368128 -
termination-libowfat/strrchr_true-termination.c.i unknown 8.23 8.59 228950016 -
termination-libowfat/strspn_true-termination.c.i unknown 7.77 8.32 196169728 -
termination-libowfat/strstr_true-termination.c.i unknown 5.76 5.88 219062272 -
termination-libowfat/strtok_r_true-termination.c.i unknown 5.91 6.06 204283904 -
termination-libowfat/strtol_true-termination.c.i unknown 5.72 5.89 196034560 -
termination-libowfat/strtoul_true-termination.c.i unknown 8.24 8.31 197312512 -
termination-libowfat/strtoull_true-termination.c.i unknown 8.06 8.52 213856256 -
termination-libowfat/wcsrchr_true-termination.c.i unknown 7.86 8.28 198426624 -
termination-libowfat/wcsstr_true-termination.c.i unknown 8.24 8.41 220934144 -
termination-memory-alloca/Urban-2013WST-Fig1-alloca_false-termination.c.i unknown 5.55 5.60 202207232 -
termination-memory-alloca/Velroyen-alloca_false-termination.c.i unknown 8.04 8.10 204816384 -
termination-memory-alloca/Avery-2006FLOPS-Tabel1_true-alloca_true-termination.c.i unknown 7.98 8.45 202170368 -
termination-memory-alloca/Ben-Amram-2010LMCS-Ex2.3-alloca_true-termination.c.i unknown 8.60 8.70 198656000 -
termination-memory-alloca/BrockschmidtCookFuhs-2013CAV-Fig1-alloca_true-termination.c.i unknown 8.06 8.31 199208960 -
termination-memory-alloca/BrockschmidtCookFuhs-2013CAV-Introduction-alloca_true-termination.c.i unknown 8.19 8.25 199163904 -
termination-memory-alloca/ChenFlurMukhopadhyay-2012SAS-Fig1-alloca_true-termination.c.i unknown 8.85 9.02 194347008 -
termination-memory-alloca/CookSeeZuleger-2013TACAS-Fig3-alloca_true-termination.c.i unknown 7.94 8.48 196411392 -
termination-memory-alloca/CookSeeZuleger-2013TACAS-Fig7a-alloca_true-termination.c.i unknown 7.85 7.92 196268032 -
termination-memory-alloca/CookSeeZuleger-2013TACAS-Fig7b-alloca_true-termination.c.i unknown 8.26 8.80 191492096 -
termination-memory-alloca/GulwaniJainKoskinen-2009PLDI-Fig1-alloca_true-termination.c.i unknown 7.59 7.64 193998848 -
termination-memory-alloca/HarrisLalNoriRajamani-2010SAS-Fig1-alloca_true-termination.c.i unknown 7.91 8.41 199577600 -
termination-memory-alloca/HarrisLalNoriRajamani-2010SAS-Fig3-alloca_true-termination.c.i unknown 7.79 7.91 198258688 -
termination-memory-alloca/KroeningSharyginaTsitovichWintersteiger-2010CAV-Fig1-alloca_true-termination.c.i unknown 8.04 8.12 195387392 -
termination-memory-alloca/Masse-alloca_true-termination.c.i unknown 7.73 7.83 197476352 -
termination-memory-alloca/NoriSharma-2013FSE-Fig7-alloca_true-termination.c.i unknown 8.05 8.12 205873152 -
termination-memory-alloca/NoriSharma-2013FSE-Fig8-alloca_true-termination.c.i unknown 8.04 8.29 195588096 -
termination-memory-alloca/TelAviv-Amir-Minimum-alloca_true-termination.c.i unknown 8.33 8.59 196538368 -
termination-memory-alloca/Toulouse-BranchesToLoop-alloca_true-termination.c.i unknown 7.93 8.00 192368640 -
termination-memory-alloca/Toulouse-MultiBranchesToLoop-alloca_true-termination.c.i unknown 5.58 5.77 200650752 -
termination-memory-alloca/Urban-2013WST-Fig2-alloca_true-termination.c.i unknown 8.43 8.64 200187904 -
termination-memory-alloca/Urban-2013WST-Fig2-modified1000-alloca_true-termination.c.i unknown 5.70 5.76 202211328 -
termination-memory-alloca/Urban-alloca_true-termination.c.i unknown 8.17 8.23 190083072 -
termination-memory-alloca/a.01-alloca_true-termination_true-no-overflow.c.i unknown 5.56 5.89 198938624 -
termination-memory-alloca/a.04-alloca_true-termination_true-no-overflow.c.i unknown 5.46 5.63 195874816 -
termination-memory-alloca/a.05-alloca_true-termination_true-no-overflow.c.i unknown 7.93 8.31 198770688 -
termination-memory-alloca/a.06-alloca_true-termination_true-no-overflow.c.i unknown 7.68 8.18 217436160 -
termination-memory-alloca/a.07-alloca_true-termination_true-no-overflow.c.i unknown 8.37 8.53 203386880 -
termination-memory-alloca/a.08-alloca_true-termination_true-no-overflow.c.i unknown 8.18 8.25 196325376 -
termination-memory-alloca/a.09_assume-alloca_true-termination_true-no-overflow.c.i unknown 8.16 8.37 196640768 -
termination-memory-alloca/a.10-alloca_true-termination_true-no-overflow.c.i unknown 7.81 8.43 197627904 -
termination-memory-alloca/add_last-alloca_true-termination.c.i unknown 7.91 8.04 201179136 -
termination-memory-alloca/array01-alloca_true-termination.c.i unknown 8.19 8.34 191983616 -
termination-memory-alloca/array02-alloca_true-termination.c.i unknown 8.34 8.58 200491008 -
termination-memory-alloca/array03-alloca_true-termination.c.i unknown 7.60 7.66 196091904 -
termination-memory-alloca/aviad_true-alloca_true-termination.c.i unknown 8.27 8.83 195743744 -
termination-memory-alloca/b.01-alloca_true-termination_true-no-overflow.c.i unknown 8.35 8.52 196272128 -
termination-memory-alloca/b.02-alloca_true-termination_true-no-overflow.c.i unknown 5.55 5.60 199086080 -
termination-memory-alloca/b.03-no-inv_assume-alloca_true-termination_true-no-overflow.c.i unknown 8.20 8.29 189280256 -
termination-memory-alloca/b.03_assume-alloca_true-termination_true-no-overflow.c.i unknown 8.13 8.19 192028672 -
termination-memory-alloca/b.04-alloca_true-termination_true-no-overflow.c.i unknown 5.88 5.92 202997760 -
termination-memory-alloca/b.05-alloca_true-termination_true-no-overflow.c.i unknown 8.45 8.60 196784128 -
termination-memory-alloca/b.06-alloca_true-termination_true-no-overflow.c.i unknown 5.74 5.78 199450624 -
termination-memory-alloca/b.07-alloca_true-termination_true-no-overflow.c.i unknown 5.51 5.68 196571136 -
termination-memory-alloca/b.09-no-inv_assume-alloca_true-termination_true-no-overflow.c.i unknown 8.11 8.18 188461056 -
termination-memory-alloca/b.09_assume-alloca_true-termination_true-no-overflow.c.i unknown 8.23 8.60 201129984 -
termination-memory-alloca/b.10-alloca_true-termination_true-no-overflow.c.i unknown 8.56 8.65 205959168 -
termination-memory-alloca/b.11-alloca_true-termination_true-no-overflow.c.i unknown 7.88 7.95 191393792 -
termination-memory-alloca/b.12-alloca_true-termination_true-no-overflow.c.i unknown 8.21 8.64 196644864 -
termination-memory-alloca/b.13-alloca_true-termination_true-no-overflow.c.i unknown 8.21 8.41 204185600 -
termination-memory-alloca/b.14-alloca_true-termination_true-no-overflow.c.i unknown 7.99 8.24 191766528 -
termination-memory-alloca/b.15-alloca_true-termination_true-no-overflow.c.i unknown 8.24 8.45 195358720 -
termination-memory-alloca/b.16-alloca_true-termination_true-no-overflow.c.i unknown 7.85 7.92 195383296 -
termination-memory-alloca/b.17-alloca_true-termination_true-no-overflow.c.i unknown 8.14 8.31 197591040 -
termination-memory-alloca/b.18-alloca_true-termination_true-no-overflow.c.i unknown 8.23 8.44 197980160 -
termination-memory-alloca/bubblesort-alloca_true-termination.c.i unknown 8.25 8.30 195489792 -
termination-memory-alloca/c.01-no-inv-alloca_true-termination_true-no-overflow.c.i unknown 5.71 5.80 199356416 -
termination-memory-alloca/c.01_assume-alloca_true-termination_true-no-overflow.c.i unknown 8.33 8.45 197242880 -
termination-memory-alloca/c.02-alloca_true-termination_true-no-overflow.c.i unknown 5.94 6.00 193642496 -
termination-memory-alloca/c.03-alloca_true-termination_true-no-overflow.c.i unknown 5.68 5.77 197521408 -
termination-memory-alloca/c.07-alloca_true-termination_true-no-overflow.c.i unknown 5.69 5.81 198688768 -
termination-memory-alloca/c.08-alloca_true-termination_true-no-overflow.c.i unknown 8.08 8.62 197218304 -
termination-memory-alloca/count_down-alloca_true-termination.c.i unknown 8.38 8.57 198799360 -
termination-memory-alloca/cstrcat-alloca_true-termination.c.i unknown 7.99 8.44 198152192 -
termination-memory-alloca/cstrchr-alloca_true-termination.c.i unknown 8.21 8.28 192962560 -
termination-memory-alloca/cstrcmp-alloca_true-termination.c.i unknown 8.47 8.69 197087232 -
termination-memory-alloca/cstrcpy-alloca_true-termination.c.i unknown 7.98 8.32 200495104 -
termination-memory-alloca/cstrcspn-alloca_true-termination.c.i unknown 8.18 8.68 197455872 -
termination-memory-alloca/cstrlen-alloca_true-termination.c.i unknown 8.53 8.80 190173184 -
termination-memory-alloca/cstrncat-alloca_true-termination.c.i unknown 8.33 8.79 207446016 -
termination-memory-alloca/cstrncmp-alloca_true-termination.c.i unknown 7.90 8.41 196284416 -
termination-memory-alloca/cstrncpy-alloca_true-termination.c.i unknown 8.23 8.75 198799360 -
termination-memory-alloca/cstrpbrk-alloca_true-termination.c.i unknown 8.12 8.52 199831552 -
termination-memory-alloca/cstrspn-alloca_true-termination.c.i unknown 8.44 8.93 199172096 -
termination-memory-alloca/diff-alloca_true-termination.c.i unknown 8.48 8.84 203558912 -
termination-memory-alloca/easySum-alloca_true-termination.c.i unknown 7.82 8.25 197959680 -
termination-memory-alloca/ex1-alloca_true-termination.c.i unknown 8.01 8.56 188379136 -
termination-memory-alloca/ex2-alloca_true-termination.c.i unknown 8.54 8.77 199876608 -
termination-memory-alloca/ex3a-alloca_true-termination_true-no-overflow.c.i unknown 8.29 8.59 197406720 -
termination-memory-alloca/ex3b-alloca_true-termination.c.i unknown 8.16 8.68 197857280 -
termination-memory-alloca/fermat-alloca_true-termination.c.i unknown 8.03 8.09 195149824 -
termination-memory-alloca/flag-alloca_true-termination.c.i unknown 5.87 5.91 198443008 -
termination-memory-alloca/gcd1-alloca_true-termination.c.i unknown 5.72 5.84 196263936 -
termination-memory-alloca/genady-alloca_true-termination.c.i unknown 5.34 5.58 195919872 -
termination-memory-alloca/insertionsort-alloca_true-termination.c.i unknown 5.62 5.67 198545408 -
termination-memory-alloca/java_AG313-alloca_true-termination.c.i unknown 7.91 8.34 215756800 -
termination-memory-alloca/java_Break-alloca_true-termination.c.i unknown 8.06 8.29 197775360 -
termination-memory-alloca/java_BubbleSort-alloca_true-termination.c.i unknown 7.90 7.98 198201344 -
termination-memory-alloca/java_Continue1-alloca_true-termination.c.i unknown 8.37 8.53 196280320 -
termination-memory-alloca/java_LogBuiltIn-alloca_true-termination.c.i unknown 7.80 7.86 192389120 -
termination-memory-alloca/java_Nested-alloca_true-termination.c.i unknown 7.76 7.99 191639552 -
termination-memory-alloca/java_Sequence-alloca_true-termination.c.i unknown 7.95 8.01 202706944 -
termination-memory-alloca/lis-alloca_true-termination.c.i unknown 6.71 6.88 205852672 -
termination-memory-alloca/min_rf-alloca_true-termination.c.i unknown 7.96 8.03 198012928 -
termination-memory-alloca/mult_array-alloca_true-termination.c.i unknown 6.89 6.94 196091904 -
termination-memory-alloca/openbsd_cbzero-alloca_true-termination.c.i unknown 8.40 8.57 200187904 -
termination-memory-alloca/openbsd_cmemchr-alloca_true-termination.c.i unknown 6.91 7.43 194977792 -
termination-memory-alloca/openbsd_cmemrchr-alloca_true-termination.c.i unknown 8.21 8.35 193785856 -
termination-memory-alloca/openbsd_cmemset-alloca_true-termination.c.i unknown 7.91 8.35 197246976 -
termination-memory-alloca/openbsd_cstpcpy-alloca_true-termination.c.i unknown 5.67 5.85 196395008 -
termination-memory-alloca/openbsd_cstpncpy-alloca_true-termination.c.i unknown 8.38 8.63 189882368 -
termination-memory-alloca/openbsd_cstrcat-alloca_true-termination.c.i unknown 7.90 8.00 210141184 -
termination-memory-alloca/openbsd_cstrcmp-alloca_true-termination.c.i unknown 5.42 5.61 204652544 -
termination-memory-alloca/openbsd_cstrcpy-alloca_true-termination.c.i unknown 6.11 6.27 197742592 -
termination-memory-alloca/openbsd_cstrcspn-alloca_true-termination.c.i unknown 5.83 6.11 203108352 -
termination-memory-alloca/openbsd_cstrlcpy-alloca_true-termination.c.i unknown 8.65 8.72 197656576 -
termination-memory-alloca/openbsd_cstrlen-alloca_true-termination.c.i unknown 7.98 8.20 196935680 -
termination-memory-alloca/openbsd_cstrncat-alloca_true-termination.c.i unknown 8.04 8.55 199024640 -
termination-memory-alloca/openbsd_cstrncmp-alloca_true-termination.c.i unknown 7.98 8.22 191836160 -
termination-memory-alloca/openbsd_cstrncpy-alloca_true-termination.c.i unknown 8.21 8.35 198275072 -
termination-memory-alloca/openbsd_cstrnlen-alloca_true-termination.c.i unknown 8.08 8.64 192729088 -
termination-memory-alloca/openbsd_cstrpbrk-alloca_true-termination.c.i unknown 8.22 8.44 207433728 -
termination-memory-alloca/openbsd_cstrspn-alloca_true-termination.c.i unknown 7.99 8.41 211767296 -
termination-memory-alloca/openbsd_cstrstr-alloca_true-termination.c.i unknown 8.18 8.65 201564160 -
termination-memory-alloca/rec_strlen-alloca_true-termination.c.i unknown 8.00 8.40 195567616 -
termination-memory-alloca/selectionsort-alloca_true-termination.c.i unknown 8.09 8.31 191885312 -
termination-memory-alloca/stroeder1-alloca_true-termination.c.i unknown 8.04 8.55 196317184 -
termination-memory-alloca/stroeder2-alloca_true-termination.c.i unknown 8.00 8.51 196009984 -
termination-memory-alloca/strreplace-alloca_true-termination.c.i unknown 8.07 8.56 202940416 -
termination-memory-alloca/subseq-alloca_true-termination.c.i unknown 8.01 8.21 197238784 -
termination-memory-alloca/substring-alloca_true-termination.c.i unknown 5.39 5.75 196349952 -
termination-memory-alloca/twisted-alloca_true-termination.c.i unknown 5.66 5.82 204439552 -
termination-memory-linkedlists/cll_by_lseg-alloca_false-termination.c.i unknown 8.25 8.41 198905856 -
termination-memory-linkedlists/cll_by_lseg_traverse-alloca_false-termination.c.i unknown 8.23 8.32 198123520 -
termination-memory-linkedlists/cll_search-alloca_false-termination.c.i unknown 5.80 5.93 202752000 -
termination-memory-linkedlists/cll_traverse-alloca_false-termination.c.i unknown 5.48 5.52 194805760 -
termination-memory-linkedlists/ll_append-alloca_false-termination.c.i unknown 8.21 8.29 194134016 -
termination-memory-linkedlists/ll_append_rec-alloca_false-termination.c.i unknown 7.94 8.06 190947328 -
termination-memory-linkedlists/ll_create_rec-alloca_false-termination.c.i unknown 8.29 8.56 209784832 -
termination-memory-linkedlists/nondet_ll_search-alloca_false-termination.c.i unknown 8.82 9.27 200212480 -
termination-memory-linkedlists/nondet_ll_traverse-alloca_false-termination.c.i unknown 8.32 8.38 201670656 -
termination-memory-linkedlists/cll_by_lseg-alloca_true-termination.c.i unknown 8.07 8.53 195014656 -
termination-memory-linkedlists/cll_search-alloca_true-termination.c.i unknown 8.05 8.12 206548992 -
termination-memory-linkedlists/ll_append-alloca_true-termination.c.i unknown 8.17 8.25 200187904 -
termination-memory-linkedlists/ll_append_rec-alloca_true-termination.c.i unknown 8.48 8.61 198815744 -
termination-memory-linkedlists/ll_create_rec-alloca_true-termination.c.i unknown 8.29 8.54 188575744 -
termination-memory-linkedlists/ll_search-alloca_true-termination.c.i unknown 5.67 5.79 193064960 -
termination-memory-linkedlists/ll_search_not_found-alloca_true-termination.c.i unknown 5.69 5.88 198717440 -
termination-memory-linkedlists/ll_traverse-alloca_true-termination.c.i unknown 8.19 8.50 199856128 -
termination-memory-linkedlists/nondet_ll_search-alloca_true-termination.c.i unknown 5.84 5.88 194174976 -
termination-15/add_first_alloca_true-termination.c.i unknown 8.00 8.50 202252288 -
termination-15/array05_alloca_true-termination.c.i unknown 7.82 8.34 202616832 -
termination-15/array06_alloca_true-termination.c.i unknown 8.43 8.96 202493952 -
termination-15/array07_alloca_true-termination.c.i unknown 5.65 5.68 202485760 -
termination-15/array08_alloca_true-termination.c.i unknown 8.11 8.68 199811072 -
termination-15/array09_alloca_true-termination.c.i unknown 8.53 8.69 205344768 -
termination-15/array10_alloca_true-termination.c.i unknown 8.08 8.39 197165056 -
termination-15/array12_alloca_true-termination.c.i unknown 8.18 8.38 202215424 -
termination-15/array13_alloca_true-termination.c.i unknown 8.28 8.84 205275136 -
termination-15/array16_alloca_fixed_true-termination.c.i unknown 8.00 8.53 200204288 -
termination-15/array17_alloca_true-termination.c.i unknown 8.30 8.45 204865536 -
termination-15/array18_alloca_true-termination.c.i unknown 8.18 8.42 201285632 -
termination-15/count_up_alloca_true-termination.c.i unknown 7.92 8.05 203132928 -
termination-15/count_up_and_down_alloca_true-termination.c.i unknown 7.70 7.77 197279744 -
termination-15/cstrcat_diffterm_alloca_true-termination.c.i unknown 8.00 8.50 201826304 -
termination-15/cstrcat_malloc_true-termination.c.i unknown 8.84 9.08 195497984 -
termination-15/cstrcat_mixed_alloca_true-termination.c.i unknown 7.96 8.05 210190336 -
termination-15/cstrcat_reverse_alloca_true-termination.c.i unknown 8.63 8.72 225816576 -
termination-15/cstrchr_diffterm_alloca_true-termination.c.i unknown 8.38 8.60 204767232 -
termination-15/cstrchr_malloc_true-termination.c.i unknown 8.29 8.35 194895872 -
termination-15/cstrchr_reverse_alloca_true-termination.c.i unknown 8.73 8.98 192389120 -
termination-15/cstrcmp_diffterm_alloca_true-termination.c.i unknown 8.51 8.69 197246976 -
termination-15/cstrcmp_malloc_true-termination.c.i unknown 5.79 5.97 211595264 -
termination-15/cstrcmp_mixed_alloca_true-termination.c.i unknown 5.59 5.80 203231232 -
termination-15/cstrcmp_reverse_alloca_true-termination.c.i unknown 8.75 8.93 204271616 -
termination-15/cstrcpy_diffterm_alloca_true-termination.c.i unknown 8.45 8.70 201994240 -
termination-15/cstrcpy_malloc_true-termination.c.i unknown 5.77 6.05 204431360 -
termination-15/cstrcpy_mixed_alloca_true-termination.c.i unknown 5.83 5.87 199335936 -
termination-15/cstrcpy_reverse_alloca_true-termination.c.i unknown 8.05 8.37 208183296 -
termination-15/cstrcspn_diffterm_alloca_true-termination.c.i unknown 8.11 8.61 196308992 -
termination-15/cstrcspn_malloc_true-termination.c.i unknown 8.35 8.56 193146880 -
termination-15/cstrcspn_mixed_alloca_true-termination.c.i unknown 8.42 8.60 199241728 -
termination-15/cstrcspn_reverse_alloca_true-termination.c.i unknown 8.11 8.85 209461248 -
termination-15/cstrlen_diffterm_alloca_true-termination.c.i unknown 8.39 8.94 222339072 -
termination-15/cstrlen_malloc_true-termination.c.i unknown 8.26 8.33 200192000 -
termination-15/cstrlen_reverse_alloca_true-termination.c.i unknown 8.01 8.08 201170944 -
termination-15/cstrncat_diffterm_alloca_true-termination.c.i unknown 8.28 8.50 200638464 -
termination-15/cstrncat_malloc_true-termination.c.i unknown 7.95 8.40 206536704 -
termination-15/cstrncat_mixed_alloca_true-termination.c.i unknown 8.27 8.47 206200832 -
termination-15/cstrncat_reverse_alloca_true-termination.c.i unknown 8.24 8.58 208392192 -
termination-15/cstrncmp_diffterm_alloca_true-termination.c.i unknown 8.30 8.36 218427392 -
termination-15/cstrncmp_malloc_true-termination.c.i unknown 8.17 8.67 201920512 -
termination-15/cstrncmp_mixed_alloca_true-termination.c.i unknown 8.22 8.48 202899456 -
termination-15/cstrncmp_reverse_alloca_true-termination.c.i unknown 5.94 6.07 206114816 -
termination-15/cstrncpy_diffterm_alloca_true-termination.c.i unknown 5.72 5.77 205033472 -
termination-15/cstrncpy_malloc_true-termination.c.i unknown 8.45 8.92 198258688 -
termination-15/cstrncpy_mixed_alloca_true-termination.c.i unknown 5.64 5.83 203010048 -
termination-15/cstrncpy_reverse_alloca_true-termination.c.i unknown 5.91 5.97 201850880 -
termination-15/cstrpbrk_diffterm_alloca_true-termination.c.i unknown 8.78 8.88 202043392 -
termination-15/cstrpbrk_malloc_true-termination.c.i unknown 8.50 8.67 196550656 -
termination-15/cstrpbrk_mixed_alloca_true-termination.c.i unknown 8.57 8.70 205828096 -
termination-15/cstrpbrk_reverse_alloca_true-termination.c.i unknown 8.40 8.79 204214272 -
termination-15/cstrspn_diffterm_alloca_true-termination.c.i unknown 8.07 8.13 213311488 -
termination-15/cstrspn_malloc_true-termination.c.i unknown 8.86 8.96 207425536 -
termination-15/cstrspn_mixed_alloca_true-termination.c.i unknown 8.94 9.10 211521536 -
termination-15/cstrspn_reverse_alloca_true-termination.c.i unknown 8.23 8.50 218939392 -
termination-15/array04_alloca_false-termination.c.i unknown 8.19 8.42 205967360 -
termination-15/array14_alloca_false-termination.c.i unknown 8.19 8.71 205557760 -
termination-15/array15_alloca_false-termination.c.i unknown 5.69 5.74 206241792 -
termination-15/array16_alloca_original_false-termination.c.i unknown 8.61 8.84 196718592 -
termination-15/array19_alloca_false-termination.c.i unknown 8.35 8.44 197095424 -
termination-15/array20_alloca_false-termination.c.i unknown 5.90 5.95 199417856 -
termination-recursive-malloc/chunk1_true-termination.c.i unknown 7.20 7.25 184565760 -
termination-recursive-malloc/chunk2_true-termination.c.i unknown 7.48 7.67 187080704 -
termination-recursive-malloc/chunk3_true-termination.c.i unknown 5.40 5.51 188592128 -
termination-recursive-malloc/insertionSort_recursive_true-termination.c.i unknown 7.36 7.50 186527744 -
termination-recursive-malloc/mergeSort_true-termination.c.i unknown 7.50 7.59 189181952 -
termination-recursive-malloc/mutual_simple2_true-termination.c.i unknown 5.07 5.11 202293248 -
termination-recursive-malloc/mutual_simple_true-termination.c.i unknown 7.09 7.23 202293248 -
termination-recursive-malloc/rec_malloc_ex10_true-termination.c.i unknown 7.18 7.29 173862912 -
termination-recursive-malloc/rec_malloc_ex11B_true-termination.c.i unknown 7.16 7.39 184254464 -
termination-recursive-malloc/rec_malloc_ex11C_true-termination.c.i unknown 7.27 7.40 171884544 -
termination-recursive-malloc/rec_malloc_ex11D_true-termination.c.i unknown 7.48 7.61 185397248 -
termination-recursive-malloc/rec_malloc_ex11_true-termination.c.i unknown 7.30 7.37 185610240 -
termination-recursive-malloc/rec_malloc_ex1_true-termination.c.i unknown 7.22 7.29 184270848 -
termination-recursive-malloc/rec_malloc_ex2_true-termination.c.i unknown 7.15 7.22 183820288 -
termination-recursive-malloc/rec_malloc_ex3_true-termination.c.i unknown 7.14 7.22 183078912 -
termination-recursive-malloc/rec_malloc_ex4_true-termination.c.i unknown 7.35 7.43 188837888 -
termination-recursive-malloc/rec_malloc_ex5B_true-termination.c.i unknown 7.71 7.78 187572224 -
termination-recursive-malloc/rec_malloc_ex5_true-termination.c.i unknown 7.29 7.35 185540608 -
termination-recursive-malloc/rec_malloc_ex6_true-termination.c.i unknown 7.22 7.39 208338944 -
termination-recursive-malloc/rec_malloc_ex7B_true-termination.c.i unknown 5.31 5.35 184328192 -
termination-recursive-malloc/rec_malloc_ex7_true-termination.c.i unknown 7.25 7.33 188284928 -
termination-recursive-malloc/rec_malloc_ex8_true-termination.c.i unknown 7.22 7.31 172150784 -
termination-recursive-malloc/rec_malloc_ex9_true-termination.c.i unknown 5.19 5.54 194596864 -
termination-recursive-malloc/rec_strcopy_malloc2_true-termination.c.i unknown 5.26 5.57 188592128 -
termination-recursive-malloc/rec_strcopy_malloc_true-termination.c.i unknown 5.39 5.47 184336384 -
termination-recursive-malloc/rec_strlen_malloc_true-termination.c.i unknown 7.26 7.46 186093568 -
termination-recursive-malloc/selectionSort_recursive_true-termination.c.i unknown 7.43 7.51 189448192 -
ssh-simplified/s3_clnt_3.cil_true-unreach-call_true-termination.c unknown 7.84 8.02 193056768 -
../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 807 8030 8220 186891718656 145 3460 3500 68933304320
    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