Tool ULTIMATE Automizer 0.1.23-222bf822
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-10 09:43:46 CET 2018-11-10 08:14:24 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.39 7.45 175202304 error: exception 7.06 7.11 168751104
array-crafted/zero_sum2_true-unreach-call.c unknown 7.10 7.15 168394752 error: exception 6.86 6.91 169881600
array-crafted/zero_sum3_true-unreach-call.c unknown 7.55 7.61 171110400 error: exception 6.98 7.04 165470208
array-crafted/zero_sum4_true-unreach-call.c unknown 7.20 7.26 170065920 error: exception 4.84 4.88 164311040
array-crafted/zero_sum5_true-unreach-call.c unknown 7.07 7.12 182112256 error: exception 7.05 7.12 170659840
array-crafted/zero_sum_m2_true-unreach-call.c unknown 7.22 7.29 178102272 error: exception 4.75 4.79 168009728
array-crafted/zero_sum_m3_true-unreach-call.c unknown 6.97 7.03 169013248 error: exception 4.91 5.12 166928384
array-crafted/zero_sum_m4_true-unreach-call.c unknown 6.78 6.86 165609472 error: exception 6.88 6.93 165838848
array-crafted/zero_sum_m5_true-unreach-call.c unknown 7.17 7.23 173137920 error: exception 6.97 7.03 168280064
ntdrivers/diskperf_false-unreach-call.i.cil.c unknown 13.4  13.5  399241216 error: type error 13.7  13.7  459395072
ntdrivers/parport_false-unreach-call.i.cil.c unknown 12.2  12.2  760385536 error: type error 17.9  18.0  746090496
ntdrivers/diskperf_true-unreach-call.i.cil.c unknown 14.0  14.1  430272512 error: type error 13.8  13.9  504500224
ntdrivers/parport_true-unreach-call.i.cil.c unknown 17.8  17.9  738811904 error: type error 17.6  17.7  745664512
eca-rers2012/Problem08_label15_false-unreach-call.c unknown 106    106    3043868672 timeout 121    121    3282980864
eca-rers2012/Problem09_label34_false-unreach-call.c unknown 109    109    3330838528 timeout 120    121    3285757952
eca-rers2012/Problem09_label35_false-unreach-call.c unknown 109    110    3314647040 timeout 121    121    3289952256
eca-rers2012/Problem09_label38_false-unreach-call.c unknown 113    113    3312492544 timeout 121    121    3271979008
eca-rers2012/Problem09_label47_false-unreach-call.c unknown 112    113    3330748416 timeout 121    121    3274829824
eca-rers2012/Problem09_label57_false-unreach-call.c unknown 113    113    3310751744 timeout 121    121    3297931264
eca-rers2012/Problem08_label00_true-unreach-call.c unknown 107    107    3036872704 timeout 121    121    2918371328
eca-rers2012/Problem08_label14_true-unreach-call.c unknown 105    106    3047276544 timeout 121    121    3359305728
eca-rers2012/Problem08_label18_true-unreach-call.c unknown 109    110    3207516160 timeout 121    121    3374161920
eca-rers2012/Problem09_label00_true-unreach-call.c unknown 112    112    3327569920 timeout 121    121    3282214912
eca-rers2012/Problem09_label04_true-unreach-call.c unknown 110    110    3242934272 timeout 121    121    3286609920
eca-rers2012/Problem09_label07_true-unreach-call.c unknown 108    109    3328172032 timeout 121    121    3278893056
eca-rers2012/Problem09_label09_true-unreach-call.c unknown 112    113    3327406080 timeout 121    121    3318870016
eca-rers2012/Problem09_label16_true-unreach-call.c unknown 111    111    3315945472 timeout 121    121    3300020224
eca-rers2012/Problem09_label17_true-unreach-call.c unknown 112    112    3332816896 timeout 121    121    3250196480
eca-rers2012/Problem09_label18_true-unreach-call.c unknown 116    116    3326242816 timeout 121    121    3273940992
eca-rers2012/Problem09_label37_true-unreach-call.c unknown 113    114    3042316288 timeout 121    121    3283034112
eca-rers2012/Problem09_label39_true-unreach-call.c unknown 112    112    3072036864 timeout 121    121    3289538560
eca-rers2012/Problem09_label40_true-unreach-call.c unknown 114    115    3217362944 timeout 120    121    3273830400
eca-rers2012/Problem09_label48_true-unreach-call.c unknown 111    111    3317370880 timeout 120    121    3314085888
eca-rers2012/Problem09_label55_true-unreach-call.c unknown 113    113    3317334016 timeout 121    121    3280162816
eca-rers2012/Problem09_label58_true-unreach-call.c unknown 109    110    3311312896 timeout 120    121    3267887104
eca-programs/Problem102_label24_false-unreach-call.c unknown 102    102    3047956480 timeout 121    121    3329024000
eca-programs/Problem102_label34_false-unreach-call.c unknown 110    111    3155730432 timeout 121    121    3348107264
eca-programs/Problem103_label53_false-unreach-call.c unknown 116    116    3159080960 timeout 120    121    3297681408
eca-programs/Problem103_label56_false-unreach-call.c unknown 113    113    3314888704 timeout 121    121    3236827136
eca-programs/Problem103_label57_false-unreach-call.c unknown 112    113    3109306368 timeout 121    121    3257786368
eca-programs/Problem103_label59_false-unreach-call.c unknown 114    114    3324735488 timeout 121    121    3303190528
eca-programs/Problem102_label00_true-unreach-call.c unknown 108    108    3044892672 timeout 121    121    3366006784
eca-programs/Problem102_label11_true-unreach-call.c unknown 107    108    3043631104 timeout 120    121    3351912448
eca-programs/Problem102_label27_true-unreach-call.c unknown 103    104    3031752704 timeout 121    121    3329351680
eca-programs/Problem102_label53_true-unreach-call.c unknown 115    116    3210686464 timeout 121    121    3371294720
eca-programs/Problem102_label56_true-unreach-call.c unknown 110    110    3207503872 timeout 121    121    3303268352
eca-programs/Problem103_label40_true-unreach-call.c unknown 114    115    3479040000 timeout 121    121    3285110784
eca-programs/Problem103_label42_true-unreach-call.c unknown 111    111    3310268416 timeout 121    121    3284033536
eca-programs/Problem103_label43_true-unreach-call.c unknown 111    111    3313684480 timeout 121    121    3275812864
eca-programs/Problem103_label50_true-unreach-call.c unknown 113    114    3325956096 timeout 121    121    3278831616
eca-programs/Problem103_label52_true-unreach-call.c unknown 116    116    3160621056 timeout 121    121    3228299264
floats-cbmc-regression/float-div1_true-unreach-call.i error: exception 5.49 5.54 172703744 unknown 6.43 6.46 296292352
floats-cbmc-regression/float-flags-simp1_true-unreach-call.i error: exception 7.01 7.06 173236224 unknown 9.46 9.51 241152000
floats-cbmc-regression/float-no-simp2_true-unreach-call.i error: exception 5.30 5.34 173871104 unknown 8.99 9.05 301015040
floats-cbmc-regression/float-no-simp4_true-unreach-call.i error: exception 7.19 7.24 170573824 unknown 9.18 9.23 292069376
floats-cbmc-regression/float-no-simp8_true-unreach-call.i error: exception 7.83 7.87 175804416 unknown 8.35 8.39 291348480
floats-cbmc-regression/float-to-double1_true-unreach-call.i error: exception 8.35 8.40 177913856 unknown 8.75 8.81 291094528
floats-cbmc-regression/float14_true-unreach-call.i error: exception 5.61 5.65 172331008 unknown 8.59 8.63 296370176
floats-cbmc-regression/float18_true-unreach-call.i error: exception 5.53 5.74 196448256 unknown 6.28 6.31 299069440
floats-cbmc-regression/float19_true-unreach-call.i error: exception 6.92 6.97 172032000 unknown 8.78 8.82 295530496
floats-cbmc-regression/float21_true-unreach-call.i error: exception 8.70 8.76 171057152 unknown 6.85 6.88 240553984
floats-cbmc-regression/float4_true-unreach-call.i error: exception 9.59 9.66 181211136 unknown 9.30 9.35 299466752
floats-cbmc-regression/float8_true-unreach-call.i error: exception 9.55 9.62 174374912 unknown 6.19 6.21 292642816
floats-cbmc-regression/float_lib1_true-unreach-call.i error: exception 5.64 5.68 170790912 unknown 9.31 9.36 296943616
floats-cbmc-regression/float_lib2_true-unreach-call.i error: exception 5.45 5.48 172339200 unknown 9.73 9.78 298397696
floats-esbmc-regression/ceil_nondet_true-unreach-call.i error: exception 5.34 5.39 174669824 unknown 8.33 8.40 173780992
floats-esbmc-regression/ceil_true-unreach-call.i error: exception 8.09 8.18 169259008 unknown 6.53 6.56 296722432
floats-esbmc-regression/copysign_true-unreach-call.i error: exception 8.17 8.23 174788608 unknown 9.49 9.56 297902080
floats-esbmc-regression/fabs_true-unreach-call.i error: exception 7.86 7.93 171851776 unknown 6.57 6.62 294309888
floats-esbmc-regression/fdim_true-unreach-call.i error: exception 8.04 8.24 176775168 unknown 9.40 9.47 294408192
floats-esbmc-regression/floor_nondet_true-unreach-call.i error: exception 8.27 8.35 175177728 unknown 8.54 8.59 175796224
floats-esbmc-regression/floor_true-unreach-call.i error: exception 8.03 8.10 176701440 unknown 9.36 9.43 293306368
floats-esbmc-regression/fmax_true-unreach-call.i error: exception 7.97 8.05 174604288 unknown 9.10 9.17 294633472
floats-esbmc-regression/fmin_true-unreach-call.i error: exception 5.46 5.51 170156032 unknown 9.72 9.92 297451520
floats-esbmc-regression/fmod2_true-unreach-call.i error: exception 7.63 7.69 173912064 unknown 9.23 9.30 300900352
floats-esbmc-regression/fmod3_true-unreach-call.i error: exception 7.84 7.89 173551616 unknown 9.64 9.71 293421056
floats-esbmc-regression/fmod_true-unreach-call.i error: exception 7.99 8.05 170754048 unknown 9.41 9.48 293883904
floats-esbmc-regression/isgreater_true-unreach-call.i error: exception 7.58 7.65 172982272 unknown 9.19 9.28 293195776
floats-esbmc-regression/isgreaterequal_true-unreach-call.i error: exception 8.24 8.30 174669824 unknown 9.13 9.19 283930624
floats-esbmc-regression/isless_true-unreach-call.i error: exception 8.25 8.30 175419392 unknown 9.21 9.27 297299968
floats-esbmc-regression/islessequal_true-unreach-call.i error: exception 8.08 8.14 175824896 unknown 9.45 9.51 299466752
floats-esbmc-regression/islessgreater_true-unreach-call.i error: exception 8.27 8.34 176623616 unknown 6.52 6.55 289345536
floats-esbmc-regression/isunordered_true-unreach-call.i error: exception 5.65 5.69 171134976 unknown 9.65 9.71 293670912
floats-esbmc-regression/nan_true-unreach-call.i error: exception 5.58 5.63 175247360 unknown 6.72 6.75 301654016
floats-esbmc-regression/remainder_true-unreach-call.i error: exception 7.68 7.75 176279552 unknown 9.53 9.60 317108224
floats-esbmc-regression/round_nondet_true-unreach-call.i error: exception 7.82 7.88 197718016 unknown 8.24 8.30 175419392
floats-esbmc-regression/round_true-unreach-call.i error: exception 8.26 8.34 177012736 unknown 9.14 9.20 301568000
floats-esbmc-regression/rounding_functions_true-unreach-call.i error: exception 7.78 7.85 177410048 unknown 6.58 6.62 294944768
floats-esbmc-regression/trunc_nondet_2_true-unreach-call.i error: exception 8.00 8.07 172167168 unknown 9.93 10.0  306085888
floats-esbmc-regression/trunc_nondet_true-unreach-call.i error: exception 5.39 5.43 176513024 unknown 8.04 8.09 174845952
floats-esbmc-regression/trunc_true-unreach-call.i error: exception 8.35 8.42 173916160 unknown 9.29 9.35 295096320
float-newlib/double_req_bl_0870b_true-unreach-call.c error: exception 7.16 7.21 173006848 unknown 8.62 8.81 216752128
float-newlib/double_req_bl_0872a_true-unreach-call.c error: exception 7.46 7.52 170848256 unknown 6.14 6.18 214081536
float-newlib/double_req_bl_0872b_true-unreach-call.c error: exception 7.41 7.47 172920832 unknown 8.66 8.71 209764352
float-newlib/double_req_bl_0873a_true-unreach-call.c error: exception 7.32 7.39 173498368 unknown 8.56 8.61 218513408
float-newlib/double_req_bl_0873b_true-unreach-call.c error: exception 7.40 7.61 172949504 unknown 8.62 8.68 209817600
float-newlib/double_req_bl_0874_true-unreach-call.c error: exception 7.37 7.44 174686208 unknown 8.83 8.91 210563072
float-newlib/double_req_bl_0876_true-unreach-call.c error: exception 7.04 7.09 174096384 unknown 8.68 8.75 224636928
float-newlib/double_req_bl_0882_true-unreach-call.c error: exception 7.29 7.35 172290048 unknown 8.43 8.52 222003200
float-newlib/double_req_bl_0883_true-unreach-call.c error: exception 7.35 7.41 175546368 unknown 8.82 8.88 209571840
float-newlib/float_req_bl_0870b_true-unreach-call.c error: exception 7.20 7.37 194985984 unknown 8.93 9.05 214106112
float-newlib/float_req_bl_0872a_true-unreach-call.c error: exception 7.31 7.38 173088768 unknown 8.53 8.58 204906496
float-newlib/float_req_bl_0872b_true-unreach-call.c error: exception 7.19 7.26 173359104 unknown 8.73 8.79 218980352
float-newlib/float_req_bl_0873a_true-unreach-call.c error: exception 7.36 7.43 173096960 unknown 8.66 8.71 220241920
float-newlib/float_req_bl_0873b_true-unreach-call.c error: exception 7.11 7.17 169541632 unknown 8.89 9.10 205946880
float-newlib/float_req_bl_0874_true-unreach-call.c error: exception 5.01 5.25 171552768 unknown 8.74 8.80 217935872
float-newlib/float_req_bl_0875_true-unreach-call.c error: exception 5.32 5.35 173404160 unknown 6.02 6.05 219254784
float-newlib/float_req_bl_0876_true-unreach-call.c error: exception 7.21 7.27 172158976 unknown 8.96 9.03 211111936
float-newlib/float_req_bl_0877_true-unreach-call.c error: exception 7.18 7.24 172613632 unknown 8.66 8.74 221835264
float-newlib/float_req_bl_0880_true-unreach-call.c error: exception 7.47 7.53 177631232 unknown 9.02 9.07 212475904
float-newlib/float_req_bl_0881_true-unreach-call.c error: exception 7.26 7.32 175108096 unknown 8.83 9.02 207675392
float-newlib/float_req_bl_0883_true-unreach-call.c error: exception 7.41 7.48 173072384 unknown 8.80 8.88 205062144
float-newlib/double_req_bl_0870a_false-unreach-call.c error: exception 7.26 7.32 169103360 unknown 6.19 6.23 216719360
float-newlib/float_req_bl_0870a_false-unreach-call.c error: exception 7.38 7.57 170323968 unknown 8.64 8.71 220905472
loop-floats-scientific-comp/loop4_true-unreach-call.c.i error: exception 8.35 8.53 178130944 unknown 8.12 8.18 176472064
loop-floats-scientific-comp/loop5_true-unreach-call.c.i error: exception 5.82 5.87 175161344 unknown 7.98 8.04 176271360
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c unknown 13.0  13.1  283750400 error: exception 12.6  12.7  305356800
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c error: exception 10.5  10.5  244826112 unknown 11.7  11.8  280711168
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c unknown 11.3  11.4  268238848 error: exception 7.79 7.84 267309056
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c unknown 8.04 8.08 267796480 error: exception 11.6  11.7  266764288
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 34.0  34.2  828968960 unknown 37.2  37.3  848003072
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 29.2  29.3  829722624 unknown 31.0  31.2  819834880
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 32.7  32.9  813572096 error: type error 32.5  32.6  823697408
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 14.0  14.1  702001152 unknown 13.2  13.3  703537152
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 12.8  12.9  510382080 unknown 13.0  13.1  709918720
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 12.6  12.6  465104896 error: type error 12.6  12.7  539238400
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 11.8  11.8  765022208 error: type error 19.4  19.5  766042112
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 16.3  16.4  716083200 error: type error 10.5  10.5  723623936
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 16.2  16.3  727707648 error: type error 10.7  10.8  739758080
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 10.8  10.8  729137152 error: type error 15.7  15.8  728580096
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 6.98 7.01 250068992 unknown 11.9  12.0  297431040
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.8  12.9  703795200 unknown 13.1  13.1  705077248
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 14.2  14.3  724553728 error: type error 14.4  14.5  724140032
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 11.9  12.1  363548672 unknown 12.4  12.5  400003072
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.9  13.0  450301952 error: exception 10.7  10.7  282480640
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 14.6  14.7  557432832 unknown 12.5  12.8  556613632
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 12.7  12.8  527048704 unknown 13.5  13.6  550961152
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 9.50 9.55 587804672 unknown 13.7  13.8  704094208
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 8.38 8.42 348004352 error: type error 11.7  11.8  372314112
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.5  12.6  498143232 error: type error 9.22 9.27 502693888
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 10.4  10.4  726937600 error: type error 15.0  15.1  720105472
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 17.4  17.5  739516416 error: type error 18.2  18.3  733409280
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 16.2  16.3  734412800 error: type error 16.5  16.6  734420992
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 12.1  12.2  358842368 unknown 12.5  12.6  353325056
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 16.0  16.1  733212672 error: type error 15.4  15.4  731660288
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 10.5  10.6  732487680 error: type error 16.1  16.2  719912960
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 10.0  10.1  269414400 unknown 11.4  11.5  299048960
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.3  13.5  544141312 unknown 12.4  12.5  537194496
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.4  821493760 error: type error 31.4  31.6  818819072
ldv-linux-3.7.3/main17_false-unreach-call_drivers-gpu-drm-vmwgfx-vmwgfx-ko--32_7a--linux-3.5.c error: exception 41.6  41.8  787849216 error: type error 68.6  68.9  882356224
ldv-linux-3.7.3/main3_false-unreach-call_drivers-gpu-drm-vmwgfx-vmwgfx-ko--32_7a--linux-3.5.c error: exception 39.1  39.3  788385792 error: type error 70.3  70.7  899092480
ldv-commit-tester/m0_false-unreach-call_drivers-scsi-gdth-ko--111_1a--5934df9-1.c error: exception 20.2  20.4  805015552 unknown 60.5  61.0  1908203520
ldv-commit-tester/m0_false-unreach-call_drivers-usb-gadget-g_printer-ko--106_1a--2b9ec6c-1.c error: type error 16.0  16.1  723636224 unknown 16.4  16.5  728117248
ldv-commit-tester/m0_false-unreach-call_drivers-usb-gadget-g_printer-ko--106_1a--2b9ec6c.c error: type error 16.0  16.1  714297344 unknown 16.5  16.7  723668992
ldv-commit-tester/m0_true-unreach-call_drivers-media-video-cx88-cx8802-ko--32_7a--d47b389.c error: type error 15.5  15.6  720203776 unknown 16.8  16.9  716652544
ldv-commit-tester/m0_true-unreach-call_drivers-usb-gadget-g_printer-ko--106_1a--2b9ec6c.c error: type error 10.8  10.8  719159296 unknown 11.0  11.2  711880704
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.c error: exception 46.1  46.3  807833600 error: type error 81.2  81.5  920870912
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.5  33.6  825286656 error: type error 35.8  36.0  851947520
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 71.2  71.4  1047449600 timeout 121    121    1020051456
ldv-consumption/32_7a_cilled_false-unreach-call_linux-3.8-rc1-32_7a-fs--ubifs--ubifs.ko-ldv_main3_sequence_infinite_withcheck_stateful.cil.out.c timeout 121    121    1027182592 error: type error 86.4  86.6  1155960832
ldv-consumption/32_7a_cilled_false-unreach-call_linux-3.8-rc1-drivers--gpu--drm--vmwgfx--vmwgfx.ko-main.cil.out.c error: exception 51.0  51.2  802992128 error: type error 82.1  82.4  925040640
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 18.6  18.7  736313344 error: type error 17.4  17.5  742875136
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.6  37.7  809168896 unknown 41.9  42.0  816521216
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 23.9  24.0  775184384 unknown 27.8  27.9  809742336
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-drivers--net--ethernet--sfc--sfc.ko-ldv_main2_sequence_infinite_withcheck_stateful.cil.out.c timeout 121    121    954429440 error: type error 82.2  82.3  988336128
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-drivers--net--wireless--ipw2x00--ipw2200.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: type error 75.8  76.1  954380288 unknown 84.4  84.7  1061171200
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-drivers--net--wireless--rndis_wlan.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: type error 30.8  31.0  783581184 unknown 29.0  29.2  779620352
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.3  19.4  727130112 unknown 19.6  19.7  760725504
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-drivers--scsi--be2iscsi--be2iscsi.ko-ldv_main1_sequence_infinite_withcheck_stateful.cil.out.c error: type error 49.4  49.6  860975104 unknown 50.9  51.1  863326208
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 35.1  35.2  801570816 unknown 33.5  33.7  805330944
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.0  19.1  739536896 unknown 19.2  19.3  735911936
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.3  18.5  739020800 unknown 20.7  20.8  742473728
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--ata--pata_legacy.ko-main.cil.out.c error: type error 17.3  17.4  719773696 unknown 18.9  19.0  743657472
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--block--cpqarray.ko-main.cil.out.c error: exception 14.9  15.1  631156736 error: type error 25.6  25.7  801968128
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--md--dm-snapshot.ko-main.cil.out.c error: type error 25.1  25.3  756482048 unknown 28.8  28.9  757821440
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 34.4  34.6  794738688 error: type error 32.3  32.5  803082240
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 27.7  27.8  777535488 unknown 32.7  32.9  803217408
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--net--wireless--ipw2x00--ipw2200.ko-main.cil.out.c error: type error 51.0  51.2  954777600 unknown 54.2  54.3  1061888000
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--staging--panel--panel.ko-main.cil.out.c error: type error 16.8  16.9  588529664 unknown 16.6  16.7  606527488
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--video--aty--radeonfb.ko-main.cil.out.c error: type error 31.6  31.7  806375424 unknown 34.4  34.5  809680896
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--video--udlfb.ko-main.cil.out.c error: type error 20.9  21.0  745291776 unknown 19.6  19.7  744341504
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 32.0  32.1  797417472 error: type error 32.7  32.8  815898624
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 42.2  42.4  868986880 unknown 85.9  86.1  1219612672
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 28.6  28.7  785141760 unknown 31.3  31.4  787210240
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 8.71 8.76 545792000 unknown 16.1  16.2  715063296
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 36.1  36.2  786739200 unknown 35.2  35.4  789606400
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 18.6  18.7  743038976 unknown 18.0  18.1  744558592
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 25.7  25.8  768020480 error: type error 25.5  25.6  770678784
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 18.3  18.4  785596416 unknown 33.2  33.3  777932800
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 32.6  32.7  805400576 unknown 21.9  22.0  807899136
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.6  15.7  721231872 unknown 10.3  10.4  707784704
ldv-validator-v0.6/linux-stable-5934df9-1-111_1a-drivers--scsi--gdth.ko-entry_point_false-unreach-call.cil.out.c error: exception 17.8  17.9  819785728 unknown 65.2  65.5  1966542848
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 10.5  10.5  727805952 unknown 16.1  16.2  725200896
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 17.2  17.3  730783744 unknown 19.0  19.1  733876224
ldv-validator-v0.8/linux-stable-5934df9-1-111_1a-drivers--scsi--gdth.ko-entry_point_ldv-val-v0.8_false-unreach-call.cil.out.c error: exception 22.6  22.7  823439360 unknown 43.2  43.3  1956278272
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--media--dvb-core--dvb-core.ko-entry_point_false-unreach-call.cil.out.c error: exception 36.4  36.6  836042752 unknown 57.4  57.7  937631744
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 30.2  30.4  799850496 unknown 32.2  32.4  799584256
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 24.5  24.6  790863872 unknown 41.8  42.0  803790848
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.1  25.3  785920000 unknown 26.5  26.6  789417984
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 31.5  31.6  768008192 error: type error 29.0  29.2  776183808
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 15.9  16.0  786354176 unknown 28.1  28.2  780812288
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 15.4  15.5  785928192 unknown 27.4  27.6  808820736
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 14.3  14.4  712904704 unknown 14.9  15.0  704712704
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--net--ethernet--intel--e1000e--e1000e.ko-entry_point_true-unreach-call.cil.out.c timeout 121    121    961699840 unknown 84.2  84.3  1038688256
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.8  44.0  809287680 error: type error 87.0  87.3  933351424
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--net--wireless--ipw2x00--ipw2200.ko-entry_point_true-unreach-call.cil.out.c error: type error 79.0  79.3  954458112 unknown 83.5  83.8  1064210432
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--scsi--be2iscsi--be2iscsi.ko-entry_point_true-unreach-call.cil.out.c error: type error 66.3  66.5  888164352 unknown 68.2  68.4  891179008
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  378208256 unknown 16.2  16.3  568827904
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--scsi--gdth.ko-entry_point_true-unreach-call.cil.out.c error: exception 22.5  22.6  791777280 unknown 68.1  68.4  1900642304
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--staging--lustre--lnet--lnet--lnet.ko-entry_point_true-unreach-call.cil.out.c error: type error 58.9  59.1  944521216 unknown 61.6  61.9  959660032
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 39.0  39.2  800276480 error: type error 36.5  36.6  929669120
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 50.0  50.2  808464384 error: type error 104    104    941334528
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--net--wireless--ipw2x00--ipw2200.ko-entry_point_true-unreach-call.cil.out.c error: type error 91.4  91.7  978825216 unknown 105    106    1085009920
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--net--wireless--rndis_wlan.ko-entry_point_true-unreach-call.cil.out.c error: type error 38.4  38.6  807755776 unknown 43.9  44.1  803250176
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--scsi--be2iscsi--be2iscsi.ko-entry_point_true-unreach-call.cil.out.c error: type error 62.8  63.0  883298304 unknown 74.4  74.7  918630400
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--scsi--bfa--bfa.ko-entry_point_true-unreach-call.cil.out.c timeout 121    121    918757376 error: type error 108    108    1341673472
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 16.5  16.5  403963904 unknown 17.2  17.3  587907072
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--scsi--gdth.ko-entry_point_true-unreach-call.cil.out.c error: exception 19.1  19.2  794402816 unknown 69.9  70.2  2040713216
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--staging--lustre--lnet--lnet--lnet.ko-entry_point_true-unreach-call.cil.out.c error: type error 63.6  63.9  937177088 unknown 67.4  67.7  1003044864
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--staging--rts5208--rts5208.ko-entry_point_true-unreach-call.cil.out.c timeout 121    121    1006870528 unknown 73.1  73.3  963334144
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 23.6  23.6  816238592 unknown 25.2  25.3  831631360
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.3  12.4  737357824 unknown 22.2  22.3  755068928
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 35.3  35.5  795242496 unknown 37.1  37.3  802283520
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 33.3  33.5  795213824 unknown 33.2  33.3  793620480
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 29.8  29.9  768548864 error: type error 30.2  30.3  769683456
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 30.5  30.7  771563520 unknown 32.9  33.0  774803456
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--net--ethernet--intel--e1000e--e1000e.ko-entry_point_true-unreach-call.cil.out.c unknown 84.5  84.7  1071915008 timeout 121    121    928546816
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 45.8  46.0  809521152 error: type error 93.7  94.1  939163648
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--net--wireless--ipw2x00--ipw2200.ko-entry_point_true-unreach-call.cil.out.c error: type error 77.7  78.0  952188928 unknown 89.6  89.9  1062875136
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--net--wireless--iwlegacy--iwl3945.ko-entry_point_true-unreach-call.cil.out.c error: exception 15.6  15.6  585711616 timeout 121    121    1171226624
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--net--wireless--rndis_wlan.ko-entry_point_true-unreach-call.cil.out.c error: type error 38.4  38.6  801026048 unknown 41.6  41.8  806162432
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--scsi--be2iscsi--be2iscsi.ko-entry_point_true-unreach-call.cil.out.c error: type error 64.6  64.9  891604992 unknown 73.4  73.7  907841536
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.6  15.7  369381376 unknown 10.9  11.0  530722816
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--scsi--gdth.ko-entry_point_true-unreach-call.cil.out.c error: exception 12.3  12.3  791728128 unknown 68.8  69.1  1907728384
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--staging--lustre--lnet--lnet--lnet.ko-entry_point_true-unreach-call.cil.out.c error: type error 36.6  36.8  952913920 unknown 67.2  67.5  966369280
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--staging--vt6656--vt6656_stage.ko-entry_point_true-unreach-call.cil.out.c unknown 105    105    1135562752 timeout 121    121    1141436416
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 34.7  34.8  813580288 unknown 20.5  20.6  808955904
ldv-challenges/linux-3.14__complex_emg__linux-alloc-spinlock__drivers-media-dvb-core-dvb-core_true-unreach-call.cil.c error: exception 26.7  26.9  737792000 unknown 66.6  66.9  959209472
ldv-challenges/linux-3.14__complex_emg__linux-alloc-spinlock__drivers-net-ethernet-chelsio-cxgb3-cxgb3_true-unreach-call.cil.c unknown 79.6  79.7  939888640 timeout 121    121    918740992
ldv-challenges/linux-3.14__complex_emg__linux-alloc-spinlock__drivers-net-wireless-rndis_wlan_true-unreach-call.cil.c error: type error 40.2  40.4  810115072 unknown 41.7  41.8  807374848
ldv-challenges/linux-3.14__complex_emg__linux-drivers-clk1__drivers-net-ethernet-intel-e1000e-e1000e_true-unreach-call.cil.c unknown 92.8  93.0  1036419072 timeout 121    121    918953984
ldv-challenges/linux-3.14__complex_emg__linux-kernel-locking-mutex__drivers-net-ethernet-chelsio-cxgb3-cxgb3_true-unreach-call.cil.c unknown 76.7  76.9  969125888 timeout 121    121    923017216
ldv-challenges/linux-3.14__complex_emg__linux-kernel-locking-mutex__drivers-net-wireless-rndis_wlan_true-unreach-call.cil.c error: type error 40.9  41.1  808849408 unknown 39.9  40.1  807604224
ldv-challenges/linux-3.14__complex_emg__linux-kernel-locking-spinlock__drivers-net-ethernet-intel-e1000e-e1000e_true-unreach-call.cil.c unknown 94.3  94.5  1078951936 timeout 121    121    906194944
ldv-challenges/linux-3.14__complex_emg__linux-kernel-locking-spinlock__drivers-net-wireless-rndis_wlan_true-unreach-call.cil.c error: type error 39.7  39.9  810442752 unknown 39.8  40.0  814616576
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 33.5  33.7  831012864 error: type error 34.8  34.9  851288064
ldv-linux-3.14/linux-3.14__complex_emg__linux-alloc-spinlock__drivers-net-team-team_true-unreach-call.cil.c error: type error 43.6  43.8  799154176 unknown 41.3  41.5  803262464
ldv-linux-3.14/linux-3.14__complex_emg__linux-alloc-spinlock__drivers-net-wireless-ipw2x00-ipw2200_true-unreach-call.cil.c error: type error 79.6  79.9  956968960 unknown 90.0  90.4  1010819072
ldv-linux-3.14/linux-3.14__complex_emg__linux-drivers-clk1__drivers-net-ethernet-chelsio-cxgb3-cxgb3_true-unreach-call.cil.c unknown 72.4  72.6  934838272 timeout 121    121    915922944
ldv-linux-3.14/linux-3.14__complex_emg__linux-drivers-clk1__drivers-net-wireless-ipw2x00-ipw2200_true-unreach-call.cil.c error: type error 44.8  45.0  944340992 unknown 81.8  82.1  1055895552
ldv-linux-3.14/linux-3.14__complex_emg__linux-kernel-locking-mutex__drivers-net-wireless-ipw2x00-ipw2200_true-unreach-call.cil.c error: type error 81.7  82.1  950751232 unknown 92.2  92.6  1062756352
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.3  19.3  724930560 unknown 13.0  13.0  734289920
ldv-linux-3.14/linux-3.14__complex_emg__linux-kernel-locking-spinlock__drivers-net-wireless-ipw2x00-ipw2200_true-unreach-call.cil.c error: type error 82.9  83.2  950759424 unknown 90.5  90.9  1013764096
ldv-linux-3.14/linux-3.14__complex_emg__linux-usb-dev__drivers-net-wireless-ipw2x00-ipw2200_true-unreach-call.cil.c error: type error 80.4  80.7  953483264 unknown 52.9  53.0  1054900224
ldv-linux-3.14/linux-3.14__complex_emg__linux-usb-dev__drivers-net-wireless-rndis_wlan_true-unreach-call.cil.c error: type error 36.2  36.3  803946496 unknown 24.4  24.5  808189952
ldv-linux-3.14/linux-3.14__linux-drivers-clk1__drivers-net-ethernet-chelsio-cxgb3-cxgb3_true-unreach-call.cil.c timeout 121    121    922976256 unknown 73.2  73.4  939540480
ldv-linux-3.14/linux-3.14__linux-kernel-locking-mutex__drivers-net-ethernet-chelsio-cxgb3-cxgb3_true-unreach-call.cil.c timeout 121    121    923672576 unknown 72.9  73.0  927387648
ldv-linux-3.14/linux-3.14__linux-kernel-locking-spinlock__drivers-net-wireless-ipw2x00-ipw2200_true-unreach-call.cil.c error: type error 74.7  75.0  952938496 unknown 91.3  91.6  1008197632
ldv-linux-3.14/linux-3.14__linux-usb-dev__drivers-net-ethernet-chelsio-cxgb3-cxgb3_true-unreach-call.cil.c unknown 70.4  70.6  927977472 timeout 121    121    917200896
ldv-linux-3.14/linux-3.14__linux-usb-dev__drivers-net-wireless-ipw2x00-ipw2200_true-unreach-call.cil.c error: type error 73.3  73.6  941256704 unknown 50.8  50.9  1050460160
ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--net--ethernet--broadcom--tg3.ko_false-unreach-call.cil.c unknown 72.2  72.3  997588992 timeout 121    121    939896832
ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--net--team--team.ko_false-unreach-call.cil.c error: type error 49.3  49.5  809676800 unknown 30.4  30.5  815566848
ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--be2iscsi--be2iscsi.ko_false-unreach-call.cil.c error: type error 79.7  80.0  911101952 unknown 83.6  84.0  939556864
ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--esas2r--esas2r.ko_false-unreach-call.cil.c error: exception 16.0  16.3  419381248 unknown 16.4  16.5  536948736
ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--udlfb.ko_false-unreach-call.cil.c error: type error 29.5  29.7  772018176 unknown 32.9  33.0  775098368
recursive/Addition02WithOverflowBug_false-no-overflow.c unknown 7.10 7.17 168067072 -
recursive/Addition03_false-no-overflow.c unknown 7.11 7.17 169312256 -
recursive/EvenOdd03WithOverflowBug_false-no-overflow.c unknown 6.85 7.10 173645824 -
recursive-simple/id_b3_o2_false-no-overflow.c unknown 4.81 4.85 170598400 -
recursive-simple/id_b3_o5_false-no-overflow.c unknown 5.08 5.14 169496576 -
recursive-simple/id_b5_o10_false-no-overflow.c unknown 4.77 4.81 167038976 -
recursive-simple/sum_non_eq_false-no-overflow.c unknown 7.09 7.49 170098688 -
recursive-simple/sum_non_false-no-overflow.c unknown 7.06 7.12 168345600 -
bitvector/byte_add_1_false-no-overflow.i unknown 7.51 7.58 185290752 -
bitvector/byte_add_2_false-no-overflow.i unknown 7.28 7.34 184872960 -
bitvector/byte_add_false-no-overflow.i unknown 7.34 7.41 184500224 -
bitvector/jain_1_false-no-overflow.i unknown 4.59 4.63 164290560 -
bitvector/jain_2_false-no-overflow.i unknown 6.82 6.88 171847680 -
bitvector/jain_4_false-no-overflow.i unknown 4.88 4.91 166043648 -
bitvector/jain_5_false-no-overflow.i unknown 6.84 6.90 171626496 -
bitvector/jain_6_false-no-overflow.i unknown 5.04 5.09 174764032 -
bitvector/jain_7_false-no-overflow.i unknown 4.80 4.84 167526400 -
bitvector/modulus_false-no-overflow.i unknown 6.83 6.89 166252544 -
psyco/psyco_abp_1_false-no-overflow.c unknown 5.52 5.76 201015296 -
signedintegeroverflow-regression/AdditionIntMax_false-no-overflow.c.i unknown 5.44 5.48 192610304 -
signedintegeroverflow-regression/AdditionIntMin_false-no-overflow.c.i unknown 7.93 7.99 198504448 -
signedintegeroverflow-regression/Division_false-no-overflow.c.i unknown 7.56 7.63 188329984 -
signedintegeroverflow-regression/Multiplication_false-no-overflow.c.i unknown 8.06 8.13 191520768 -
signedintegeroverflow-regression/NoConversion_false-no-overflow.c.i unknown 7.93 8.00 195878912 -
signedintegeroverflow-regression/PostfixDecrement_false-no-overflow.c.i unknown 7.92 7.97 195219456 -
signedintegeroverflow-regression/PostfixIncrement_false-no-overflow.c.i unknown 7.96 8.03 193826816 -
signedintegeroverflow-regression/PrefixDecrement_false-no-overflow.c.i unknown 5.48 5.53 193040384 -
signedintegeroverflow-regression/PrefixIncrement_false-no-overflow.c.i unknown 5.53 5.57 190996480 -
signedintegeroverflow-regression/UnaryMinus_false-no-overflow.c.i unknown 7.80 7.87 212283392 -
signedintegeroverflow-regression/ConversionToSignedInt_true-no-overflow_true-termination.c.i unknown 7.76 7.84 190525440 -
signedintegeroverflow-regression/IntegerPromotion_true-no-overflow_true-termination.c.i unknown 7.92 7.99 190541824 -
signedintegeroverflow-regression/Multiplication_true-no-overflow_true-termination.c.i unknown 7.86 7.93 191557632 -
signedintegeroverflow-regression/NoNegativeIntegerConstant_true-no-overflow_true-termination.c.i unknown 7.79 7.85 193482752 -
signedintegeroverflow-regression/UsualArithmeticConversions_true-no-overflow_true-termination.c.i unknown 7.81 7.88 192192512 -
termination-crafted/2Nested_false-no-overflow.c unknown 4.64 5.04 168640512 -
termination-crafted/4NestedWith3Variables_false-no-overflow.c unknown 6.86 6.93 168005632 -
termination-crafted/Ackermann_false-no-overflow.c unknown 6.95 7.02 168493056 -
termination-crafted/Bangalore_false-no-overflow.c unknown 6.99 7.06 171245568 -
termination-crafted/Bangalore_v3_false-no-overflow.c unknown 6.88 6.94 172433408 -
termination-crafted/Benghazi_nondet_false-no-overflow.c unknown 4.91 5.32 170041344 -
termination-crafted/Binary_Search_false-no-overflow.c unknown 6.78 6.98 174964736 -
termination-crafted/Cairo_nondet_false-no-overflow.c unknown 6.97 7.03 167153664 -
termination-crafted/Cairo_step2_false-no-overflow.c unknown 6.99 7.04 165601280 -
termination-crafted/Collatz_unknown-termination_false-no-overflow.c unknown 7.09 7.14 166617088 -
termination-crafted/Copenhagen_disj_false-no-overflow.c unknown 6.67 6.73 166653952 -
termination-crafted/Gothenburg_false-no-overflow.c unknown 7.04 7.09 166649856 -
termination-crafted/Gothenburg_v2_false-no-overflow.c unknown 6.99 7.04 170033152 -
termination-crafted/Hanoi_2vars_false-no-overflow.c unknown 6.81 6.87 169283584 -
termination-crafted/Hanoi_3vars_false-no-overflow.c unknown 7.03 7.08 168525824 -
termination-crafted/Hanoi_plus_false-no-overflow.c unknown 6.79 6.85 167141376 -
termination-crafted/Lobnya-Boolean-Reordered_false-no-overflow.c unknown 6.94 7.00 171286528 -
termination-crafted/Mysore_false-no-overflow.c unknown 6.81 6.87 170872832 -
termination-crafted/NestedRecursion_1a_false-no-overflow.c unknown 5.02 5.05 170450944 -
termination-crafted/NestedRecursion_2a_false-no-overflow.c unknown 6.90 6.97 168902656 -
termination-crafted/NonTermination1_false-no-overflow.c unknown 5.04 5.09 184524800 -
termination-crafted/NonTermination2_false-no-overflow.c unknown 6.92 6.99 166948864 -
termination-crafted/NonTermination4_false-no-overflow.c unknown 4.90 4.95 168390656 -
termination-crafted/NonTerminationSimple2_false-no-overflow.c unknown 4.83 4.87 166957056 -
termination-crafted/NonTerminationSimple3_false-no-overflow.c unknown 6.85 6.91 168247296 -
termination-crafted/NonTerminationSimple4_false-no-overflow.c unknown 6.96 7.01 169033728 -
termination-crafted/NonTerminationSimple5_false-no-overflow.c unknown 7.07 7.13 164454400 -
termination-crafted/NonTerminationSimple6_false-no-overflow.c unknown 6.99 7.26 171749376 -
termination-crafted/NonTerminationSimple8_false-no-overflow.c unknown 7.15 7.41 168308736 -
termination-crafted/NonTerminationSimple9_false-no-overflow.c unknown 6.80 6.87 167325696 -
termination-crafted/Pure2Phase_false-no-overflow.c unknown 6.99 7.05 164802560 -
termination-crafted/Pure3Phase_false-no-overflow.c unknown 7.07 7.13 169680896 -
termination-crafted/RecursiveMultiplication_false-no-overflow.c unknown 6.93 7.00 170049536 -
termination-crafted/RecursiveNonterminating_false-no-overflow.c unknown 7.04 7.11 169791488 -
termination-crafted/Rotation180_false-no-overflow.c unknown 6.82 6.88 165490688 -
termination-crafted/Singapore_false-no-overflow.c unknown 6.75 6.82 170721280 -
termination-crafted/Singapore_plus_false-no-overflow.c unknown 6.82 6.89 167174144 -
termination-crafted/Singapore_v1_false-no-overflow.c unknown 6.70 6.76 166309888 -
termination-crafted/Singapore_v2_false-no-overflow.c unknown 6.59 6.66 166789120 -
termination-crafted/Stockholm_false-no-overflow.c unknown 6.85 6.91 169259008 -
termination-crafted/Thun_false-no-overflow.c unknown 6.89 6.97 173072384 -
termination-crafted/Toulouse-BranchesToLoop_false-no-overflow.c unknown 6.98 7.05 173420544 -
termination-crafted/Toulouse-MultiBranchesToLoop_false-no-overflow.c unknown 5.03 5.07 166162432 -
termination-crafted/aaron2_false-no-overflow.c unknown 4.90 4.94 171958272 -
termination-crafted/aaron3_false-no-overflow.c unknown 4.67 4.73 165986304 -
termination-crafted/easy2_false-no-overflow.c unknown 6.09 6.13 165912576 -
termination-crafted/Arrays02-EquivalentConstantIndices_true-no-overflow_false-termination.c unknown 6.15 6.20 166887424 -
termination-crafted/LexIndexValue-Pointer_true-no-overflow.c unknown 7.05 7.11 166920192 -
termination-crafted/NonTermination3_true-no-overflow_false-termination.c unknown 7.03 7.10 169824256 -
termination-crafted/SyntaxSupportPointer01_true-no-overflow_true-termination.c unknown 6.78 6.84 169140224 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2a_false-no-overflow.c unknown 4.90 4.94 167825408 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2b_false-no-overflow.c unknown 5.00 5.04 167030784 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron2_false-no-overflow.c unknown 4.96 5.00 169283584 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron3_false-no-overflow.c unknown 7.05 7.11 170840064 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-complex_false-no-overflow.c unknown 7.17 7.23 169508864 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1a_false-no-overflow.c unknown 7.00 7.07 169865216 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1b_false-no-overflow.c unknown 7.09 7.16 169115648 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2_false-no-overflow.c unknown 6.65 6.71 169582592 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-exmini_false-no-overflow.c unknown 6.92 6.98 169152512 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-ndecr_false-no-overflow.c unknown 6.60 6.66 166637568 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_false-no-overflow.c unknown 6.94 7.02 177979392 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d_false-no-overflow.c unknown 7.02 7.08 168005632 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-rsd_false-no-overflow.c unknown 7.15 7.22 167669760 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedFails4_false-no-overflow.c unknown 7.14 7.18 169263104 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-terminate_false-no-overflow.c unknown 7.06 7.13 172191744 -
termination-crafted-lit/Ben-Amram-LMCS2010-Ex2.3_false-no-overflow.c unknown 6.66 6.74 188665856 -
termination-crafted-lit/BradleyMannaSipma-ICALP2005-Fig1_false-no-overflow.c unknown 6.74 7.12 172417024 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron12_false-no-overflow.c unknown 6.77 6.84 168341504 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron1_false-no-overflow.c unknown 7.00 7.07 166871040 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron2_false-no-overflow.c unknown 4.77 4.80 171253760 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron3_false-no-overflow.c unknown 6.78 6.83 167206912 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron4_false-no-overflow.c unknown 7.10 7.17 170336256 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron6_false-no-overflow.c unknown 7.04 7.10 172326912 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.01_false-no-overflow.c unknown 6.71 6.79 170549248 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.02_false-no-overflow.c unknown 6.62 6.69 168882176 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.03_false-no-overflow.c unknown 5.19 5.24 170688512 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.04_false-no-overflow.c unknown 7.03 7.08 173244416 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.05_false-no-overflow.c unknown 4.71 4.75 167546880 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.01_false-no-overflow.c unknown 4.77 4.81 166346752 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.02_false-no-overflow.c unknown 6.87 6.94 168087552 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.03_false-no-overflow.c unknown 6.76 6.84 166899712 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.04_false-no-overflow.c unknown 4.84 4.88 166461440 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.05_false-no-overflow.c unknown 6.98 7.04 169426944 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.06_false-no-overflow.c unknown 6.78 6.84 171253760 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.07_false-no-overflow.c unknown 6.77 6.82 167583744 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.08_false-no-overflow.c unknown 6.89 6.96 166514688 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.09_false-no-overflow.c unknown 6.98 7.05 168185856 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.10_false-no-overflow.c unknown 6.85 7.05 167350272 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.11_false-no-overflow.c unknown 7.15 7.23 167874560 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.12_false-no-overflow.c unknown 6.77 6.82 164212736 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.13_false-no-overflow.c unknown 7.05 7.27 168165376 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.14_false-no-overflow.c unknown 6.98 7.06 168407040 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.15_false-no-overflow.c unknown 6.92 6.98 167886848 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.16_false-no-overflow.c unknown 6.68 6.75 167714816 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.17_false-no-overflow.c unknown 7.06 7.30 173346816 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.18_false-no-overflow.c unknown 6.78 6.86 165945344 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.19_false-no-overflow.c unknown 6.97 7.04 171282432 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.21_false-no-overflow.c unknown 7.10 7.15 171413504 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.22_false-no-overflow.c unknown 6.95 7.03 166486016 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.02_false-no-overflow.c unknown 6.99 7.17 168402944 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.03_false-no-overflow.c unknown 6.97 7.04 167604224 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.04_false-no-overflow.c unknown 4.96 5.01 166830080 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.05_false-no-overflow.c unknown 4.85 4.89 168202240 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.06_false-no-overflow.c unknown 6.87 6.95 172089344 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.07_false-no-overflow.c unknown 4.81 4.85 163930112 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.08_false-no-overflow.c unknown 7.02 7.09 171253760 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.09_false-no-overflow.c unknown 6.92 6.98 169979904 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.10_false-no-overflow.c unknown 4.89 4.92 167182336 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex4.01_false-no-overflow.c unknown 6.85 6.91 168796160 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Fig1_false-no-overflow.c unknown 6.83 6.89 168865792 -
termination-crafted-lit/ColonSipma-TACAS2001-Fig1_false-no-overflow.c unknown 4.88 4.93 172769280 -
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1a_false-no-overflow.c unknown 4.55 4.75 166354944 -
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1b_false-no-overflow.c unknown 4.92 4.95 190558208 -
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1c_false-no-overflow.c unknown 6.95 7.01 165998592 -
termination-crafted-lit/GulwaniJainKoskinen-PLDI2009-Fig1_false-no-overflow.c unknown 6.79 6.85 166780928 -
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig2_false-no-overflow.c unknown 7.11 7.17 166854656 -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig2_false-no-overflow.c unknown 7.05 7.11 166940672 -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig7_false-no-overflow.c unknown 6.91 6.98 169541632 -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig8_false-no-overflow.c unknown 6.84 6.90 168943616 -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig9_false-no-overflow.c unknown 6.89 6.95 166174720 -
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex1_false-no-overflow.c unknown 7.04 7.10 169132032 -
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex2_false-no-overflow.c unknown 6.82 6.90 169713664 -
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex3_false-no-overflow.c unknown 6.71 6.78 164028416 -
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex6_false-no-overflow.c unknown 6.99 7.22 169586688 -
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex7_false-no-overflow.c unknown 6.77 6.85 171569152 -
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex8_false-no-overflow.c unknown 6.71 6.78 165605376 -
termination-crafted-lit/LeikeHeizmann-TACAS2014-Fig1_false-no-overflow.c unknown 6.79 6.86 167247872 -
termination-crafted-lit/LeikeHeizmann-WST2014-Ex5_false-no-overflow.c unknown 6.77 6.85 168611840 -
termination-crafted-lit/LeikeHeizmann-WST2014-Ex6_false-no-overflow.c unknown 6.81 6.87 170176512 -
termination-crafted-lit/Masse-VMCAI2014-Ex6_false-no-overflow.c unknown 7.05 7.24 173027328 -
termination-crafted-lit/Masse-VMCAI2014-Fig1a_false-no-overflow.c unknown 6.98 7.03 169181184 -
termination-crafted-lit/Masse-VMCAI2014-Fig1b_false-no-overflow.c unknown 7.21 7.28 166735872 -
termination-crafted-lit/NoriSharma-FSE2013-Fig7_false-no-overflow.c unknown 6.96 7.02 169390080 -
termination-crafted-lit/NoriSharma-FSE2013-Fig8_false-no-overflow.c unknown 6.95 7.00 182333440 -
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig2-TACAS2011-Fig3_false-no-overflow.c unknown 4.96 5.00 169275392 -
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig2_false-no-overflow.c unknown 6.89 6.94 167174144 -
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig3_false-no-overflow.c unknown 4.88 4.92 169426944 -
termination-crafted-lit/PodelskiRybalchenko-VMCAI2004-Ex1_false-no-overflow.c unknown 4.73 4.77 169406464 -
termination-crafted-lit/PodelskiRybalchenko-VMCAI2004-Ex2_false-no-overflow.c unknown 4.94 4.97 166920192 -
termination-crafted-lit/cstrncmp_false-no-overflow.c unknown 7.28 7.33 171003904 -
termination-crafted-lit/gcd1_false-no-overflow.c unknown 6.97 7.03 170053632 -
termination-crafted-lit/joey_false-no-overflow.c unknown 4.84 4.88 169709568 -
termination-crafted-lit/min_rf_false-no-overflow.c unknown 6.93 6.99 168239104 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig1_true-termination_true-no-overflow.c unknown 6.75 6.80 167501824 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-cousot9_true-termination_true-no-overflow.c unknown 6.87 6.94 185167872 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy1_true-termination_true-no-overflow.c unknown 6.97 7.03 178294784 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2_true-termination_true-no-overflow.c unknown 7.05 7.13 170754048 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-loops_true-termination_true-no-overflow.c unknown 7.05 7.11 173232128 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_true-termination_true-no-overflow.c unknown 6.97 7.17 169328640 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d_true-termination_true-no-overflow.c unknown 6.93 7.00 167985152 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random2d_true-termination_true-no-overflow.c unknown 7.04 7.13 166862848 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi2_true-termination_true-no-overflow.c unknown 7.03 7.10 176349184 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi3_true-termination_true-no-overflow.c unknown 6.83 7.11 192077824 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi4_true-termination_true-no-overflow.c unknown 7.01 7.22 170479616 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wcet2_true-termination_true-no-overflow.c unknown 6.93 7.01 167518208 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-while2_true-termination_true-no-overflow.c unknown 6.65 6.73 167927808 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wise_true-termination_true-no-overflow.c unknown 6.71 6.80 176480256 -
termination-crafted-lit/Avery-FLOPS2006-Table1_true-termination_true-no-overflow.c unknown 6.86 6.94 166735872 -
termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1-modified_false-termination_true-no-overflow.c unknown 6.84 6.90 168361984 -
termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1_true-termination_true-no-overflow.c unknown 7.04 7.11 169312256 -
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig1_true-termination_true-no-overflow.c unknown 6.98 7.18 185155584 -
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig9a_true-termination_true-no-overflow.c unknown 6.95 7.01 166842368 -
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Introduction_true-termination_true-no-overflow.c unknown 6.56 6.63 171999232 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy1_true-termination_true-no-overflow.c unknown 4.92 4.95 168079360 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy2_true-termination_true-no-overflow.c unknown 4.77 4.81 168890368 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random1d_true-termination_true-no-overflow.c unknown 4.75 4.79 165765120 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random2d_true-termination_true-no-overflow.c unknown 6.93 6.99 172130304 -
termination-crafted-lit/ChenCookFuhsNimkarOHearn-TACAS2014-Introduction_false-termination_true-no-overflow.c unknown 4.88 4.93 162873344 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.20_true-termination_true-no-overflow.c unknown 6.59 6.63 167174144 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.01_true-termination_true-no-overflow.c unknown 7.01 7.08 168009728 -
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig1_true-termination_true-no-overflow.c unknown 7.10 7.31 170827776 -
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7a_true-termination_true-no-overflow.c unknown 5.03 5.07 169021440 -
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7b_true-termination_true-no-overflow.c unknown 7.11 7.17 170631168 -
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a-modified_true-termination_true-no-overflow.c unknown 4.76 4.79 168038400 -
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a_true-termination_true-no-overflow.c unknown 5.13 5.16 169648128 -
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8b_true-termination_true-no-overflow.c unknown 6.97 7.03 166965248 -
termination-crafted-lit/GopanReps-CAV2006-Fig1a_true-termination_true-no-overflow.c.c unknown 7.01 7.07 167243776 -
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig1_true-termination_true-no-overflow.c unknown 7.11 7.18 175108096 -
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig3_true-termination_true-no-overflow.c unknown 6.82 6.89 164212736 -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig1_true-termination_true-no-overflow.c unknown 6.75 6.82 173666304 -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig4_true-termination_true-no-overflow.c unknown 6.81 6.87 168480768 -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig5_true-termination_true-no-overflow.c unknown 6.91 6.96 166924288 -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig6_true-termination_true-no-overflow.c unknown 6.88 7.13 167780352 -
termination-crafted-lit/HenzingerJhalaMajumdarSutre-POPL2002-LockingExample_false-termination_true-no-overflow.c unknown 6.91 6.98 170315776 -
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Ex_true-termination_true-no-overflow.c unknown 6.82 6.88 169209856 -
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Fig1_true-termination_true-no-overflow.c unknown 7.09 7.29 171163648 -
termination-crafted-lit/LarrazOliverasRodriguez-CarbonellRubio-FMCAD2013-Fig1_true-termination_true-no-overflow.c unknown 6.98 7.03 168013824 -
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex4_true-termination_true-no-overflow.c unknown 6.97 7.02 172830720 -
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex5_true-termination_true-no-overflow.c unknown 7.09 7.16 168632320 -
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex1_true-termination_true-no-overflow.c unknown 6.94 7.00 168652800 -
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex9_true-termination_true-no-overflow.c unknown 6.94 7.14 170024960 -
termination-crafted-lit/LeikeHeizmann-WST2014-Ex9_true-termination_true-no-overflow.c unknown 6.87 6.93 168472576 -
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig1_true-termination_true-no-overflow.c unknown 6.78 6.84 168931328 -
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig1_true-termination_true-no-overflow.c unknown 7.11 7.18 176111616 -
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig2_true-termination_true-no-overflow.c unknown 4.81 4.85 166391808 -
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig4_true-termination_true-no-overflow.c unknown 6.91 6.95 170082304 -
termination-crafted-lit/Urban-WST2013-Fig1_false-termination_true-no-overflow.c unknown 6.78 6.84 167346176 -
termination-crafted-lit/Urban-WST2013-Fig2-modified1000_true-termination_true-no-overflow.c unknown 5.12 5.17 166166528 -
termination-crafted-lit/Urban-WST2013-Fig2_true-termination_true-no-overflow.c unknown 6.93 6.99 177963008 -
termination-crafted-lit/UrbanMine-ESOP2014-Fig3_true-termination_true-no-overflow.c unknown 4.80 4.84 166690816 -
termination-crafted-lit/Velroyen_false-termination_true-no-overflow.c unknown 4.84 4.88 166801408 -
termination-crafted-lit/aviad_true-termination_true-no-overflow.c unknown 6.96 7.01 169918464 -
termination-crafted-lit/cstrcmp_true-termination_true-no-overflow.c unknown 6.91 6.97 166567936 -
termination-crafted-lit/cstrcspn_true-termination_true-no-overflow.c unknown 6.87 6.94 168128512 -
termination-crafted-lit/cstrlen_true-termination_true-no-overflow.c unknown 6.92 6.97 188993536 -
termination-crafted-lit/cstrpbrk_true-termination_true-no-overflow.c unknown 5.21 5.26 169177088 -
termination-crafted-lit/cstrspn_true-termination_true-no-overflow.c unknown 7.07 7.26 171282432 -
termination-crafted-lit/genady_true-termination_true-no-overflow.c unknown 6.92 6.98 168660992 -
termination-crafted-lit/strchr_true-no-overflow_true-termination.c unknown 7.20 7.25 168415232 -
termination-numeric/Addition01_false-no-overflow.c unknown 7.04 7.09 166391808 -
termination-numeric/Avg_true_false-no-overflow.c unknown 6.98 7.16 184459264 -
termination-numeric/Binomial_true-termination_false-no-overflow.c unknown 7.19 7.25 171900928 -
termination-numeric/Et1_true_false-no-overflow.c unknown 6.90 6.96 167075840 -
termination-numeric/Et2_true_false-no-overflow.c unknown 6.86 6.93 169435136 -
termination-numeric/Et3_true_false-no-overflow.c unknown 6.97 7.37 168497152 -
termination-numeric/Et4_true_false-no-overflow.c unknown 6.85 6.91 168878080 -
termination-numeric/MultCommutative_false-no-overflow.c unknown 6.95 7.02 172711936 -
termination-numeric/TerminatorRec02_true-termination_false-no-overflow.c unknown 6.83 6.89 167866368 -
termination-numeric/Ackermann01_true-termination_true-no-overflow.c unknown 7.05 7.11 169287680 -
termination-numeric/EvenOdd01_true-termination_true-no-overflow.c unknown 6.82 6.90 165502976 -
termination-numeric/Fibonacci01_true-termination_true-no-overflow.c unknown 7.16 7.21 170426368 -
termination-numeric/LeUserDefRec_true-termination_true-no-overflow.c unknown 7.02 7.08 168976384 -
termination-numeric/LogRecursive_true-termination_true-no-overflow.c unknown 7.07 7.13 168140800 -
termination-numeric/Parts_true-termination_true-no-overflow.c unknown 4.96 5.01 167817216 -
termination-numeric/TwoWay_true-termination_true-no-overflow.c unknown 4.82 4.87 187187200 -
termination-numeric/gcd01_true-termination_true-no-overflow.c unknown 4.83 4.88 167849984 -
termination-numeric/java_LogBuiltIn_true-termination_true-no-overflow.c unknown 6.71 6.76 170778624 -
termination-numeric/recHanoi02_true-termination_true-no-overflow.c unknown 6.83 6.88 166150144 -
termination-numeric/rec_counter1_true-termination_true-no-overflow.c unknown 7.03 7.08 169025536 -
termination-numeric/rec_counter3_true-termination_true-no-overflow.c unknown 5.03 5.07 163278848 -
termination-numeric/twisted_true-termination_true-no-overflow.c unknown 6.76 6.82 170250240 -
busybox-1.22.0/chgrp-incomplete_false-no-overflow.i unknown 10.2  10.3  210444288 -
busybox-1.22.0/chroot-incomplete_false-no-overflow.i unknown 10.7  10.7  205869056 -
busybox-1.22.0/cut_false-no-overflow.i unknown 11.2  11.3  218152960 -
busybox-1.22.0/date_false-no-overflow.i unknown 11.3  11.4  221491200 -
busybox-1.22.0/du_false-no-overflow.i unknown 11.4  11.4  218345472 -
busybox-1.22.0/echo_false-no-overflow.i unknown 11.2  11.5  214589440 -
busybox-1.22.0/expand_false-no-overflow.i unknown 11.2  11.3  224514048 -
busybox-1.22.0/fold_false-no-overflow.i unknown 10.6  10.7  218877952 -
busybox-1.22.0/head_false-no-overflow.i unknown 10.7  10.8  221736960 -
busybox-1.22.0/logname_false-no-overflow.i unknown 10.4  10.4  207441920 -
busybox-1.22.0/ls-incomplete_false-no-overflow.i error: exception 13.6  13.7  247959552 -
busybox-1.22.0/mkdir_false-no-overflow.i unknown 7.76 7.81 223133696 -
busybox-1.22.0/mkfifo-incomplete_false-no-overflow.i unknown 6.27 6.31 190644224 -
busybox-1.22.0/od_false-no-overflow.i unknown 12.3  12.4  237793280 -
busybox-1.22.0/printf_false-no-overflow.i unknown 11.4  11.5  221564928 -
busybox-1.22.0/readlink_false-no-overflow.i unknown 7.22 7.28 221433856 -
busybox-1.22.0/realpath_false-no-overflow.i unknown 10.6  10.6  208777216 -
busybox-1.22.0/rm_false-no-overflow.i unknown 11.1  11.2  220454912 -
busybox-1.22.0/seq_false-no-overflow.i unknown 10.6  10.6  214671360 -
busybox-1.22.0/sleep_false-no-overflow.i unknown 11.2  11.3  213340160 -
busybox-1.22.0/stty_false-no-overflow.i error: exception 12.3  12.4  300228608 -
busybox-1.22.0/sync_false-no-overflow.i unknown 9.97 10.0  206483456 -
busybox-1.22.0/tac_false-no-overflow.i unknown 10.7  10.8  215658496 -
busybox-1.22.0/tee_false-no-overflow.i unknown 10.0  10.1  215568384 -
busybox-1.22.0/test-incomplete_false-no-overflow.i unknown 7.78 7.83 229117952 -
busybox-1.22.0/touch_false-no-overflow.i unknown 10.9  11.0  220921856 -
busybox-1.22.0/uname_false-no-overflow.i unknown 10.8  10.9  221794304 -
busybox-1.22.0/uniq_false-no-overflow.i unknown 10.2  10.3  214568960 -
busybox-1.22.0/usleep_false-no-overflow.i unknown 6.89 6.93 210472960 -
busybox-1.22.0/uudecode_false-no-overflow.i unknown 7.65 7.69 226459648 -
busybox-1.22.0/wc_false-no-overflow.i unknown 7.45 7.49 215126016 -
busybox-1.22.0/who_false-no-overflow.i unknown 11.4  11.5  222384128 -
busybox-1.22.0/whoami-incomplete_false-no-overflow.i unknown 11.1  11.1  211914752 -
busybox-1.22.0/yes_false-no-overflow.i unknown 9.91 9.98 209076224 -
termination-restricted-15/DivMinus2_true-termination_true-no-overflow.c unknown 6.64 6.72 167497728 -
termination-restricted-15/DivMinus_true-termination_true-no-overflow.c unknown 6.82 6.89 173588480 -
termination-restricted-15/GCD3_true-termination_true-no-overflow.c unknown 6.87 6.93 169316352 -
termination-restricted-15/GCD4_true-termination_true-no-overflow.c unknown 4.61 4.65 167182336 -
termination-restricted-15/IntPath_true-termination_true-no-overflow.c unknown 6.99 7.04 170553344 -
termination-restricted-15/LogAG_true-termination_true-no-overflow.c unknown 6.94 7.02 167923712 -
termination-restricted-15/Log_true-termination_true-no-overflow.c unknown 6.77 6.83 165511168 -
termination-restricted-15/McCarthyIterative_true-termination_true-no-overflow.c unknown 6.68 6.73 168361984 -
termination-restricted-15/MinusBuiltIn_true-termination_true-no-overflow.c unknown 4.68 4.71 165232640 -
termination-restricted-15/MinusUserDefined_true-termination_true-no-overflow.c unknown 7.05 7.25 172400640 -
termination-restricted-15/Nested_true-termination_true-no-overflow.c unknown 6.88 6.95 166944768 -
termination-restricted-15/PastaA10_true-termination_true-no-overflow.c unknown 6.91 6.97 166563840 -
termination-restricted-15/PastaA1_true-termination_true-no-overflow.c unknown 6.89 6.95 169529344 -
termination-restricted-15/PastaA4_true-termination_true-no-overflow.c unknown 7.02 7.20 168628224 -
termination-restricted-15/PastaA7_true-termination_true-no-overflow.c unknown 7.00 7.41 173682688 -
termination-restricted-15/PastaB14_true-termination_true-no-overflow.c unknown 6.90 6.97 171458560 -
termination-restricted-15/PastaB15_true-termination_true-no-overflow.c unknown 6.96 7.03 169263104 -
termination-restricted-15/PastaB16_true-termination_true-no-overflow.c unknown 7.01 7.07 171511808 -
termination-restricted-15/PastaB17_true-termination_true-no-overflow.c unknown 4.89 4.93 170242048 -
termination-restricted-15/PastaB1_true-termination_true-no-overflow.c unknown 4.83 4.86 167579648 -
termination-restricted-15/PastaB2_true-termination_true-no-overflow.c unknown 6.89 6.94 166514688 -
termination-restricted-15/PastaB4_true-termination_true-no-overflow.c unknown 5.03 5.07 166297600 -
termination-restricted-15/PastaB6_true-termination_true-no-overflow.c unknown 6.81 6.88 165789696 -
termination-restricted-15/PastaB7_true-termination_true-no-overflow.c unknown 6.80 6.87 179990528 -
termination-restricted-15/PastaC3_true-termination_true-no-overflow.c unknown 6.88 6.94 168034304 -
termination-restricted-15/PastaC7_true-termination_true-no-overflow.c unknown 6.98 7.03 166236160 -
termination-restricted-15/PastaC9_true-termination_true-no-overflow.c unknown 6.91 6.97 167092224 -
termination-restricted-15/Sequence_true-termination_true-no-overflow.c unknown 6.81 6.89 163143680 -
termination-restricted-15/WhileDecr_true-termination_true-no-overflow.c unknown 7.00 7.06 169000960 -
termination-restricted-15/a.01_true-termination_true-no-overflow.c unknown 6.91 6.98 167813120 -
termination-restricted-15/a.04_true-termination_true-no-overflow.c unknown 6.74 6.96 164220928 -
termination-restricted-15/a.05_true-termination_true-no-overflow.c unknown 4.88 4.92 165089280 -
termination-restricted-15/a.06_true-termination_true-no-overflow.c unknown 6.93 6.99 171057152 -
termination-restricted-15/a.07_true-termination_true-no-overflow.c unknown 6.79 6.85 166031360 -
termination-restricted-15/a.08_true-termination_true-no-overflow.c unknown 6.95 7.02 170299392 -
termination-restricted-15/a.09_assume_true-termination_true-no-overflow.c unknown 7.13 7.32 171540480 -
termination-restricted-15/a.10_true-termination.c unknown 4.89 4.93 164818944 -
termination-restricted-15/b.01_true-termination_true-no-overflow.c unknown 6.87 6.93 166670336 -
termination-restricted-15/b.02_true-termination_true-no-overflow.c unknown 4.72 4.77 167591936 -
termination-restricted-15/b.03-no-inv_assume_true-termination_true-no-overflow.c unknown 6.94 6.99 164216832 -
termination-restricted-15/b.03_assume_true-termination_true-no-overflow.c unknown 6.95 7.15 168669184 -
termination-restricted-15/b.04_true-termination_true-no-overflow.c unknown 6.92 6.99 175833088 -
termination-restricted-15/b.05_true-termination_true-no-overflow.c unknown 6.74 6.79 166453248 -
termination-restricted-15/b.06_true-termination_true-no-overflow.c unknown 6.99 7.19 171122688 -
termination-restricted-15/b.07_true-termination_true-no-overflow.c unknown 6.54 6.60 166629376 -
termination-restricted-15/b.09-no-inv_assume_true-termination_true-no-overflow.c unknown 7.06 7.26 171827200 -
termination-restricted-15/b.09_assume_true-termination_true-no-overflow.c unknown 7.17 7.23 172392448 -
termination-restricted-15/b.10_true-termination_true-no-overflow.c unknown 7.18 7.26 169824256 -
termination-restricted-15/b.11_true-termination_true-no-overflow.c unknown 4.89 4.94 163663872 -
termination-restricted-15/b.12_true-termination_true-no-overflow.c unknown 4.68 4.71 168505344 -
termination-restricted-15/b.13_true-termination_true-no-overflow.c unknown 6.97 7.17 169660416 -
termination-restricted-15/b.14_true-termination_true-no-overflow.c unknown 6.94 7.01 166514688 -
termination-restricted-15/b.15_true-termination_true-no-overflow.c unknown 6.77 6.83 169017344 -
termination-restricted-15/b.16_true-termination_true-no-overflow.c unknown 6.95 7.01 170557440 -
termination-restricted-15/b.17_true-termination_true-no-overflow.c unknown 5.01 5.06 169717760 -
termination-restricted-15/b.18_true-termination_true-no-overflow.c unknown 6.68 6.75 167202816 -
termination-restricted-15/c.01-no-inv_true-termination_true-no-overflow.c unknown 6.79 6.86 177422336 -
termination-restricted-15/c.01_assume_true-termination_true-no-overflow.c unknown 5.02 5.23 171630592 -
termination-restricted-15/c.02_true-termination_true-no-overflow.c unknown 6.86 7.06 170012672 -
termination-restricted-15/c.03_true-termination_true-no-overflow.c unknown 6.61 6.67 167841792 -
termination-restricted-15/c.07_true-termination_true-no-overflow.c unknown 6.97 7.06 165822464 -
termination-restricted-15/c.08_true-termination_true-no-overflow.c unknown 7.00 7.07 170844160 -
termination-restricted-15/ex3a_true-termination_true-no-overflow.c unknown 6.81 6.87 170172416 -
termination-restricted-15/ex3b_true-termination_true-no-overflow.c unknown 6.91 6.97 174772224 -
termination-restricted-15/java_AG313_true-termination_true-no-overflow.c unknown 7.16 7.24 167555072 -
termination-restricted-15/java_Break_true-termination_true-no-overflow.c unknown 6.94 7.01 167374848 -
termination-restricted-15/java_Continue1_true-termination_true-no-overflow.c unknown 7.13 7.19 172867584 -
termination-restricted-15/java_Nested_true-termination_true-no-overflow.c unknown 4.72 4.76 167702528 -
termination-restricted-15/java_Sequence_true-termination_true-no-overflow.c unknown 7.05 7.12 171364352 -
termination-restricted-15/AlternKonv_false-termination_true-no-overflow.c unknown 6.89 7.08 172548096 -
termination-restricted-15/ComplInterv2_false-termination_true-no-overflow.c unknown 7.02 7.09 164306944 -
termination-restricted-15/ConvLower_false-termination_true-no-overflow.c unknown 6.85 6.91 167841792 -
termination-restricted-15/Ex02_false-termination_true-no-overflow.c unknown 7.00 7.07 166875136 -
termination-restricted-15/Ex03_false-termination_true-no-overflow.c unknown 7.08 7.14 169172992 -
termination-restricted-15/Ex05_false-termination_true-no-overflow.c unknown 7.04 7.10 176361472 -
termination-restricted-15/Ex06_false-termination_true-no-overflow.c unknown 6.92 6.97 167976960 -
termination-restricted-15/Ex07_false-termination_true-no-overflow.c unknown 7.12 7.18 170639360 -
termination-restricted-15/Ex08_false-termination_true-no-overflow.c unknown 4.79 4.83 164843520 -
termination-restricted-15/Flip2_false-termination_true-no-overflow.c unknown 4.95 4.99 167223296 -
termination-restricted-15/Flip_false-termination_true-no-overflow.c unknown 4.85 4.88 169615360 -
termination-restricted-15/GCD2_false-termination_true-no-overflow.c unknown 6.84 6.89 173174784 -
termination-restricted-15/GCD_false-termination_true-no-overflow.c unknown 6.94 7.00 172699648 -
termination-restricted-15/Loop_false-termination_true-no-overflow.c unknown 7.06 7.12 168640512 -
termination-restricted-15/MirrorIntervSim_false-termination_true-no-overflow.c unknown 6.91 6.96 165621760 -
termination-restricted-15/NO_00_false-termination_true-no-overflow.c unknown 6.79 6.87 165363712 -
termination-restricted-15/NO_01_false-termination_true-no-overflow.c unknown 6.90 6.98 168419328 -
termination-restricted-15/NO_02_false-termination_true-no-overflow.c unknown 5.01 5.05 168476672 -
termination-restricted-15/NO_03_false-termination_true-no-overflow.c unknown 6.68 6.73 168136704 -
termination-restricted-15/NO_04_false-termination_true-no-overflow.c unknown 7.11 7.31 165339136 -
termination-restricted-15/NO_13_false-termination_true-no-overflow.c unknown 7.01 7.10 168996864 -
termination-restricted-15/NO_21_false-termination_true-no-overflow.c unknown 6.91 6.98 163860480 -
termination-restricted-15/NO_22_false-termination_true-no-overflow.c unknown 6.96 7.01 167583744 -
termination-restricted-15/NO_23_false-termination_true-no-overflow.c unknown 6.83 6.89 171274240 -
termination-restricted-15/NO_24_false-termination_true-no-overflow.c unknown 6.97 7.24 165937152 -
termination-restricted-15/NarrowKonv_false-termination_true-no-overflow.c unknown 7.08 7.15 168783872 -
termination-restricted-15/Narrowing_false-termination_true-no-overflow.c unknown 7.16 7.22 170840064 -
termination-restricted-15/Sunset_false-termination_true-no-overflow.c unknown 4.62 4.67 164610048 -
termination-restricted-15/Swingers_false-termination_true-no-overflow.c unknown 6.75 6.80 174510080 -
termination-restricted-15/TwoFloatInterv_false-termination_true-no-overflow.c unknown 6.88 6.94 170991616 -
termination-restricted-15/UpAndDownIneq_false-termination_true-no-overflow.c unknown 6.83 6.89 168218624 -
termination-restricted-15/UpAndDown_false-termination_true-no-overflow.c unknown 7.04 7.27 167456768 -
termination-restricted-15/WhilePart_false-termination_true-no-overflow.c unknown 6.95 7.01 179003392 -
termination-restricted-15/WhileSingle_false-termination_true-no-overflow.c unknown 4.81 4.85 168312832 -
termination-libowfat/atoi_true-termination.c.i unknown 8.00 8.07 195473408 -
termination-libowfat/atol_true-termination.c.i unknown 5.56 5.60 199970816 -
termination-libowfat/atoll_true-termination.c.i unknown 8.38 8.45 199208960 -
termination-libowfat/basename_true-termination.c.i unknown 8.18 8.24 199827456 -
termination-libowfat/build_fullname_true-termination.c.i unknown 7.93 7.99 191287296 -
termination-libowfat/dirname_true-termination.c.i unknown 5.63 5.67 194805760 -
termination-libowfat/skip_to_true-termination.c.i unknown 8.03 8.08 192172032 -
termination-libowfat/stpcpy_true-termination.c.i unknown 7.94 8.00 202825728 -
termination-libowfat/strcasecmp_true-termination.c.i unknown 8.12 8.18 193396736 -
termination-libowfat/strcat_short_true-termination.c.i unknown 8.12 8.18 199417856 -
termination-libowfat/strcat_true-termination.c.i unknown 8.15 8.22 196276224 -
termination-libowfat/strchr_short_true-termination.c.i unknown 8.16 8.22 195997696 -
termination-libowfat/strchr_true-termination.c.i unknown 7.95 8.02 199897088 -
termination-libowfat/strcmp_short_true-termination.c.i unknown 5.49 5.53 195624960 -
termination-libowfat/strcpy_small_true-termination.c.i unknown 8.02 8.10 196116480 -
termination-libowfat/strcspn_true-termination.c.i unknown 8.04 8.10 195493888 -
termination-libowfat/strdup_true-termination.c.i unknown 7.97 8.03 199806976 -
termination-libowfat/strlcat_true-termination.c.i unknown 7.94 8.01 197181440 -
termination-libowfat/strlcpy_true-termination.c.i unknown 5.75 5.79 196542464 -
termination-libowfat/strlen_true-termination.c.i unknown 7.90 7.97 191188992 -
termination-libowfat/strpbrk_true-termination.c.i unknown 5.54 5.58 195186688 -
termination-libowfat/strrchr_short_true-termination.c.i unknown 8.15 8.26 199372800 -
termination-libowfat/strrchr_true-termination.c.i unknown 8.11 8.18 197136384 -
termination-libowfat/strspn_true-termination.c.i unknown 7.72 7.78 195780608 -
termination-libowfat/strstr_true-termination.c.i unknown 7.96 8.03 197492736 -
termination-libowfat/strtok_r_true-termination.c.i unknown 8.30 8.38 192864256 -
termination-libowfat/strtol_true-termination.c.i unknown 8.12 8.20 195260416 -
termination-libowfat/strtoul_true-termination.c.i unknown 8.12 8.19 193142784 -
termination-libowfat/strtoull_true-termination.c.i unknown 8.23 8.30 195399680 -
termination-libowfat/wcsrchr_true-termination.c.i unknown 5.95 5.98 202088448 -
termination-libowfat/wcsstr_true-termination.c.i unknown 7.94 8.00 195764224 -
termination-memory-alloca/Urban-2013WST-Fig1-alloca_false-termination.c.i unknown 8.07 8.13 200962048 -
termination-memory-alloca/Velroyen-alloca_false-termination.c.i unknown 7.85 7.90 193515520 -
termination-memory-alloca/Avery-2006FLOPS-Tabel1_true-alloca_true-termination.c.i unknown 7.92 7.98 191995904 -
termination-memory-alloca/Ben-Amram-2010LMCS-Ex2.3-alloca_true-termination.c.i unknown 5.39 5.42 192507904 -
termination-memory-alloca/BrockschmidtCookFuhs-2013CAV-Fig1-alloca_true-termination.c.i unknown 5.42 5.46 197836800 -
termination-memory-alloca/BrockschmidtCookFuhs-2013CAV-Introduction-alloca_true-termination.c.i unknown 5.84 5.88 199299072 -
termination-memory-alloca/ChenFlurMukhopadhyay-2012SAS-Fig1-alloca_true-termination.c.i unknown 8.07 8.17 189992960 -
termination-memory-alloca/CookSeeZuleger-2013TACAS-Fig3-alloca_true-termination.c.i unknown 7.89 7.95 198103040 -
termination-memory-alloca/CookSeeZuleger-2013TACAS-Fig7a-alloca_true-termination.c.i unknown 8.13 8.20 187256832 -
termination-memory-alloca/CookSeeZuleger-2013TACAS-Fig7b-alloca_true-termination.c.i unknown 8.30 8.51 196141056 -
termination-memory-alloca/GulwaniJainKoskinen-2009PLDI-Fig1-alloca_true-termination.c.i unknown 8.21 8.29 197509120 -
termination-memory-alloca/HarrisLalNoriRajamani-2010SAS-Fig1-alloca_true-termination.c.i unknown 8.29 8.37 200052736 -
termination-memory-alloca/HarrisLalNoriRajamani-2010SAS-Fig3-alloca_true-termination.c.i unknown 8.09 8.32 194105344 -
termination-memory-alloca/KroeningSharyginaTsitovichWintersteiger-2010CAV-Fig1-alloca_true-termination.c.i unknown 8.08 8.16 190701568 -
termination-memory-alloca/Masse-alloca_true-termination.c.i unknown 7.76 7.83 195178496 -
termination-memory-alloca/NoriSharma-2013FSE-Fig7-alloca_true-termination.c.i unknown 8.10 8.17 197337088 -
termination-memory-alloca/NoriSharma-2013FSE-Fig8-alloca_true-termination.c.i unknown 7.84 7.91 192057344 -
termination-memory-alloca/TelAviv-Amir-Minimum-alloca_true-termination.c.i unknown 8.04 8.09 197709824 -
termination-memory-alloca/Toulouse-BranchesToLoop-alloca_true-termination.c.i unknown 5.62 5.67 194576384 -
termination-memory-alloca/Toulouse-MultiBranchesToLoop-alloca_true-termination.c.i unknown 8.00 8.06 199151616 -
termination-memory-alloca/Urban-2013WST-Fig2-alloca_true-termination.c.i unknown 8.19 8.25 195006464 -
termination-memory-alloca/Urban-2013WST-Fig2-modified1000-alloca_true-termination.c.i unknown 7.87 7.94 196579328 -
termination-memory-alloca/Urban-alloca_true-termination.c.i unknown 7.84 7.90 194076672 -
termination-memory-alloca/a.01-alloca_true-termination_true-no-overflow.c.i unknown 7.89 7.95 194977792 -
termination-memory-alloca/a.04-alloca_true-termination_true-no-overflow.c.i unknown 7.80 7.86 195489792 -
termination-memory-alloca/a.05-alloca_true-termination_true-no-overflow.c.i unknown 8.17 8.25 197566464 -
termination-memory-alloca/a.06-alloca_true-termination_true-no-overflow.c.i unknown 5.29 5.33 198713344 -
termination-memory-alloca/a.07-alloca_true-termination_true-no-overflow.c.i unknown 7.80 7.87 190537728 -
termination-memory-alloca/a.08-alloca_true-termination_true-no-overflow.c.i unknown 7.99 8.06 202506240 -
termination-memory-alloca/a.09_assume-alloca_true-termination_true-no-overflow.c.i unknown 5.53 5.56 200589312 -
termination-memory-alloca/a.10-alloca_true-termination_true-no-overflow.c.i unknown 8.01 8.09 193687552 -
termination-memory-alloca/add_last-alloca_true-termination.c.i unknown 7.96 8.03 195096576 -
termination-memory-alloca/array01-alloca_true-termination.c.i unknown 7.91 7.99 189595648 -
termination-memory-alloca/array02-alloca_true-termination.c.i unknown 5.88 5.93 189181952 -
termination-memory-alloca/array03-alloca_true-termination.c.i unknown 5.79 5.83 193200128 -
termination-memory-alloca/aviad_true-alloca_true-termination.c.i unknown 7.89 7.95 193646592 -
termination-memory-alloca/b.01-alloca_true-termination_true-no-overflow.c.i unknown 8.15 8.22 199315456 -
termination-memory-alloca/b.02-alloca_true-termination_true-no-overflow.c.i unknown 8.04 8.25 197414912 -
termination-memory-alloca/b.03-no-inv_assume-alloca_true-termination_true-no-overflow.c.i unknown 8.12 8.20 197488640 -
termination-memory-alloca/b.03_assume-alloca_true-termination_true-no-overflow.c.i unknown 7.99 8.06 198553600 -
termination-memory-alloca/b.04-alloca_true-termination_true-no-overflow.c.i unknown 7.95 8.15 193118208 -
termination-memory-alloca/b.05-alloca_true-termination_true-no-overflow.c.i unknown 8.05 8.14 197279744 -
termination-memory-alloca/b.06-alloca_true-termination_true-no-overflow.c.i unknown 7.98 8.37 195739648 -
termination-memory-alloca/b.07-alloca_true-termination_true-no-overflow.c.i unknown 8.03 8.11 199602176 -
termination-memory-alloca/b.09-no-inv_assume-alloca_true-termination_true-no-overflow.c.i unknown 7.96 8.23 188944384 -
termination-memory-alloca/b.09_assume-alloca_true-termination_true-no-overflow.c.i unknown 5.53 5.58 214790144 -
termination-memory-alloca/b.10-alloca_true-termination_true-no-overflow.c.i unknown 8.14 8.21 198078464 -
termination-memory-alloca/b.11-alloca_true-termination_true-no-overflow.c.i unknown 7.98 8.04 199696384 -
termination-memory-alloca/b.12-alloca_true-termination_true-no-overflow.c.i unknown 5.67 5.73 193798144 -
termination-memory-alloca/b.13-alloca_true-termination_true-no-overflow.c.i unknown 7.93 8.01 195649536 -
termination-memory-alloca/b.14-alloca_true-termination_true-no-overflow.c.i unknown 8.08 8.62 207941632 -
termination-memory-alloca/b.15-alloca_true-termination_true-no-overflow.c.i unknown 7.74 7.81 197185536 -
termination-memory-alloca/b.16-alloca_true-termination_true-no-overflow.c.i unknown 7.80 7.86 195481600 -
termination-memory-alloca/b.17-alloca_true-termination_true-no-overflow.c.i unknown 7.74 7.80 197734400 -
termination-memory-alloca/b.18-alloca_true-termination_true-no-overflow.c.i unknown 8.13 8.20 197951488 -
termination-memory-alloca/bubblesort-alloca_true-termination.c.i unknown 8.14 8.19 197910528 -
termination-memory-alloca/c.01-no-inv-alloca_true-termination_true-no-overflow.c.i unknown 7.92 7.98 198119424 -
termination-memory-alloca/c.01_assume-alloca_true-termination_true-no-overflow.c.i unknown 5.60 5.64 197144576 -
termination-memory-alloca/c.02-alloca_true-termination_true-no-overflow.c.i unknown 7.83 7.90 194740224 -
termination-memory-alloca/c.03-alloca_true-termination_true-no-overflow.c.i unknown 8.35 8.44 202833920 -
termination-memory-alloca/c.07-alloca_true-termination_true-no-overflow.c.i unknown 8.01 8.08 190812160 -
termination-memory-alloca/c.08-alloca_true-termination_true-no-overflow.c.i unknown 8.16 8.36 194220032 -
termination-memory-alloca/count_down-alloca_true-termination.c.i unknown 5.81 5.85 196390912 -
termination-memory-alloca/cstrcat-alloca_true-termination.c.i unknown 5.50 5.53 199565312 -
termination-memory-alloca/cstrchr-alloca_true-termination.c.i unknown 5.58 5.61 194650112 -
termination-memory-alloca/cstrcmp-alloca_true-termination.c.i unknown 8.07 8.14 191963136 -
termination-memory-alloca/cstrcpy-alloca_true-termination.c.i unknown 8.08 8.14 193138688 -
termination-memory-alloca/cstrcspn-alloca_true-termination.c.i unknown 7.87 7.93 192458752 -
termination-memory-alloca/cstrlen-alloca_true-termination.c.i unknown 7.97 8.03 189366272 -
termination-memory-alloca/cstrncat-alloca_true-termination.c.i unknown 7.95 8.01 192380928 -
termination-memory-alloca/cstrncmp-alloca_true-termination.c.i unknown 7.98 8.04 194854912 -
termination-memory-alloca/cstrncpy-alloca_true-termination.c.i unknown 8.23 8.31 190496768 -
termination-memory-alloca/cstrpbrk-alloca_true-termination.c.i unknown 8.29 8.36 189386752 -
termination-memory-alloca/cstrspn-alloca_true-termination.c.i unknown 8.04 8.11 193871872 -
termination-memory-alloca/diff-alloca_true-termination.c.i unknown 7.86 7.92 191217664 -
termination-memory-alloca/easySum-alloca_true-termination.c.i unknown 8.03 8.09 195366912 -
termination-memory-alloca/ex1-alloca_true-termination.c.i unknown 5.50 5.54 200069120 -
termination-memory-alloca/ex2-alloca_true-termination.c.i unknown 7.81 7.87 187281408 -
termination-memory-alloca/ex3a-alloca_true-termination_true-no-overflow.c.i unknown 7.94 8.01 206016512 -
termination-memory-alloca/ex3b-alloca_true-termination.c.i unknown 7.98 8.05 194637824 -
termination-memory-alloca/fermat-alloca_true-termination.c.i unknown 7.92 8.00 194224128 -
termination-memory-alloca/flag-alloca_true-termination.c.i unknown 8.04 8.10 192614400 -
termination-memory-alloca/gcd1-alloca_true-termination.c.i unknown 8.25 8.47 189718528 -
termination-memory-alloca/genady-alloca_true-termination.c.i unknown 7.94 8.00 197804032 -
termination-memory-alloca/insertionsort-alloca_true-termination.c.i unknown 5.71 5.76 196005888 -
termination-memory-alloca/java_AG313-alloca_true-termination.c.i unknown 8.13 8.19 190140416 -
termination-memory-alloca/java_Break-alloca_true-termination.c.i unknown 8.07 8.33 199319552 -
termination-memory-alloca/java_BubbleSort-alloca_true-termination.c.i unknown 5.53 5.57 196665344 -
termination-memory-alloca/java_Continue1-alloca_true-termination.c.i unknown 8.05 8.12 217825280 -
termination-memory-alloca/java_LogBuiltIn-alloca_true-termination.c.i unknown 7.93 8.00 196714496 -
termination-memory-alloca/java_Nested-alloca_true-termination.c.i unknown 8.04 8.11 196816896 -
termination-memory-alloca/java_Sequence-alloca_true-termination.c.i unknown 8.08 8.26 200359936 -
termination-memory-alloca/lis-alloca_true-termination.c.i unknown 5.77 5.81 188784640 -
termination-memory-alloca/min_rf-alloca_true-termination.c.i unknown 5.57 5.62 195411968 -
termination-memory-alloca/mult_array-alloca_true-termination.c.i unknown 7.98 8.05 188534784 -
termination-memory-alloca/openbsd_cbzero-alloca_true-termination.c.i unknown 7.97 8.04 195489792 -
termination-memory-alloca/openbsd_cmemchr-alloca_true-termination.c.i unknown 8.01 8.08 184619008 -
termination-memory-alloca/openbsd_cmemrchr-alloca_true-termination.c.i unknown 8.27 8.36 203055104 -
termination-memory-alloca/openbsd_cmemset-alloca_true-termination.c.i unknown 8.17 8.25 200134656 -
termination-memory-alloca/openbsd_cstpcpy-alloca_true-termination.c.i unknown 7.95 8.02 198164480 -
termination-memory-alloca/openbsd_cstpncpy-alloca_true-termination.c.i unknown 8.27 8.35 193175552 -
termination-memory-alloca/openbsd_cstrcat-alloca_true-termination.c.i unknown 8.11 8.18 197369856 -
termination-memory-alloca/openbsd_cstrcmp-alloca_true-termination.c.i unknown 7.99 8.08 190652416 -
termination-memory-alloca/openbsd_cstrcpy-alloca_true-termination.c.i unknown 8.28 8.37 191131648 -
termination-memory-alloca/openbsd_cstrcspn-alloca_true-termination.c.i unknown 5.73 5.77 187330560 -
termination-memory-alloca/openbsd_cstrlcpy-alloca_true-termination.c.i unknown 7.97 8.03 188641280 -
termination-memory-alloca/openbsd_cstrlen-alloca_true-termination.c.i unknown 8.08 8.34 198324224 -
termination-memory-alloca/openbsd_cstrncat-alloca_true-termination.c.i unknown 5.75 5.80 199208960 -
termination-memory-alloca/openbsd_cstrncmp-alloca_true-termination.c.i unknown 7.97 8.05 199340032 -
termination-memory-alloca/openbsd_cstrncpy-alloca_true-termination.c.i unknown 7.97 8.03 189317120 -
termination-memory-alloca/openbsd_cstrnlen-alloca_true-termination.c.i unknown 8.06 8.13 188170240 -
termination-memory-alloca/openbsd_cstrpbrk-alloca_true-termination.c.i unknown 7.91 7.97 187138048 -
termination-memory-alloca/openbsd_cstrspn-alloca_true-termination.c.i unknown 8.19 8.25 195350528 -
termination-memory-alloca/openbsd_cstrstr-alloca_true-termination.c.i unknown 5.66 5.71 197033984 -
termination-memory-alloca/rec_strlen-alloca_true-termination.c.i unknown 7.97 8.04 194236416 -
termination-memory-alloca/selectionsort-alloca_true-termination.c.i unknown 8.14 8.21 189530112 -
termination-memory-alloca/stroeder1-alloca_true-termination.c.i unknown 8.28 8.36 198619136 -
termination-memory-alloca/stroeder2-alloca_true-termination.c.i unknown 5.69 5.72 193224704 -
termination-memory-alloca/strreplace-alloca_true-termination.c.i unknown 8.05 8.12 187912192 -
termination-memory-alloca/subseq-alloca_true-termination.c.i unknown 7.73 7.81 192720896 -
termination-memory-alloca/substring-alloca_true-termination.c.i unknown 7.82 7.89 187887616 -
termination-memory-alloca/twisted-alloca_true-termination.c.i unknown 8.27 8.35 190107648 -
termination-memory-linkedlists/cll_by_lseg-alloca_false-termination.c.i unknown 5.71 5.76 198434816 -
termination-memory-linkedlists/cll_by_lseg_traverse-alloca_false-termination.c.i unknown 5.58 5.61 196239360 -
termination-memory-linkedlists/cll_search-alloca_false-termination.c.i unknown 7.98 8.03 189890560 -
termination-memory-linkedlists/cll_traverse-alloca_false-termination.c.i unknown 8.06 8.12 188932096 -
termination-memory-linkedlists/ll_append-alloca_false-termination.c.i unknown 8.19 8.26 196325376 -
termination-memory-linkedlists/ll_append_rec-alloca_false-termination.c.i unknown 7.81 7.86 193056768 -
termination-memory-linkedlists/ll_create_rec-alloca_false-termination.c.i unknown 7.92 7.98 193028096 -
termination-memory-linkedlists/nondet_ll_search-alloca_false-termination.c.i unknown 8.00 8.07 217452544 -
termination-memory-linkedlists/nondet_ll_traverse-alloca_false-termination.c.i unknown 5.54 5.58 195530752 -
termination-memory-linkedlists/cll_by_lseg-alloca_true-termination.c.i unknown 8.14 8.22 199290880 -
termination-memory-linkedlists/cll_search-alloca_true-termination.c.i unknown 8.13 8.18 188452864 -
termination-memory-linkedlists/ll_append-alloca_true-termination.c.i unknown 8.10 8.32 188932096 -
termination-memory-linkedlists/ll_append_rec-alloca_true-termination.c.i unknown 8.24 8.32 197468160 -
termination-memory-linkedlists/ll_create_rec-alloca_true-termination.c.i unknown 7.47 7.68 195674112 -
termination-memory-linkedlists/ll_search-alloca_true-termination.c.i unknown 8.12 8.20 198197248 -
termination-memory-linkedlists/ll_search_not_found-alloca_true-termination.c.i unknown 5.57 5.62 190607360 -
termination-memory-linkedlists/ll_traverse-alloca_true-termination.c.i unknown 7.90 7.98 193916928 -
termination-memory-linkedlists/nondet_ll_search-alloca_true-termination.c.i unknown 8.00 8.08 191799296 -
termination-15/add_first_alloca_true-termination.c.i unknown 7.86 7.91 208842752 -
termination-15/array05_alloca_true-termination.c.i unknown 7.82 7.88 202493952 -
termination-15/array06_alloca_true-termination.c.i unknown 8.16 8.26 207474688 -
termination-15/array07_alloca_true-termination.c.i unknown 8.07 8.13 200654848 -
termination-15/array08_alloca_true-termination.c.i unknown 8.09 8.17 202452992 -
termination-15/array09_alloca_true-termination.c.i unknown 8.32 8.38 202698752 -
termination-15/array10_alloca_true-termination.c.i unknown 8.23 8.30 203866112 -
termination-15/array12_alloca_true-termination.c.i unknown 8.04 8.11 202596352 -
termination-15/array13_alloca_true-termination.c.i unknown 5.67 5.71 201838592 -
termination-15/array16_alloca_fixed_true-termination.c.i unknown 5.40 5.44 200617984 -
termination-15/array17_alloca_true-termination.c.i unknown 8.33 8.42 201773056 -
termination-15/array18_alloca_true-termination.c.i unknown 7.96 8.15 204091392 -
termination-15/count_up_alloca_true-termination.c.i unknown 5.59 5.64 199692288 -
termination-15/count_up_and_down_alloca_true-termination.c.i unknown 5.69 5.73 203751424 -
termination-15/cstrcat_diffterm_alloca_true-termination.c.i unknown 8.18 8.24 205176832 -
termination-15/cstrcat_malloc_true-termination.c.i unknown 8.42 8.49 204902400 -
termination-15/cstrcat_mixed_alloca_true-termination.c.i unknown 7.67 7.73 201519104 -
termination-15/cstrcat_reverse_alloca_true-termination.c.i unknown 8.27 8.35 201175040 -
termination-15/cstrchr_diffterm_alloca_true-termination.c.i unknown 8.24 8.30 203980800 -
termination-15/cstrchr_malloc_true-termination.c.i unknown 8.14 8.21 205795328 -
termination-15/cstrchr_reverse_alloca_true-termination.c.i unknown 8.23 8.28 200847360 -
termination-15/cstrcmp_diffterm_alloca_true-termination.c.i unknown 8.25 8.32 204292096 -
termination-15/cstrcmp_malloc_true-termination.c.i unknown 8.19 8.27 201146368 -
termination-15/cstrcmp_mixed_alloca_true-termination.c.i unknown 8.28 8.33 201519104 -
termination-15/cstrcmp_reverse_alloca_true-termination.c.i unknown 7.83 7.88 204648448 -
termination-15/cstrcpy_diffterm_alloca_true-termination.c.i unknown 7.97 8.05 189755392 -
termination-15/cstrcpy_malloc_true-termination.c.i unknown 8.21 8.26 204324864 -
termination-15/cstrcpy_mixed_alloca_true-termination.c.i unknown 7.96 8.03 207187968 -
termination-15/cstrcpy_reverse_alloca_true-termination.c.i unknown 8.33 8.41 203546624 -
termination-15/cstrcspn_diffterm_alloca_true-termination.c.i unknown 5.86 5.90 207491072 -
termination-15/cstrcspn_malloc_true-termination.c.i unknown 8.25 8.31 191475712 -
termination-15/cstrcspn_mixed_alloca_true-termination.c.i unknown 8.37 8.43 205803520 -
termination-15/cstrcspn_reverse_alloca_true-termination.c.i unknown 8.18 8.26 190656512 -
termination-15/cstrlen_diffterm_alloca_true-termination.c.i unknown 7.84 7.91 201502720 -
termination-15/cstrlen_malloc_true-termination.c.i unknown 5.49 5.52 201560064 -
termination-15/cstrlen_reverse_alloca_true-termination.c.i unknown 5.72 5.76 203911168 -
termination-15/cstrncat_diffterm_alloca_true-termination.c.i unknown 8.17 8.23 201854976 -
termination-15/cstrncat_malloc_true-termination.c.i unknown 8.22 8.28 203653120 -
termination-15/cstrncat_mixed_alloca_true-termination.c.i unknown 8.07 8.14 206508032 -
termination-15/cstrncat_reverse_alloca_true-termination.c.i unknown 5.93 5.99 206987264 -
termination-15/cstrncmp_diffterm_alloca_true-termination.c.i unknown 8.31 8.37 201093120 -
termination-15/cstrncmp_malloc_true-termination.c.i unknown 7.96 8.03 206786560 -
termination-15/cstrncmp_mixed_alloca_true-termination.c.i unknown 8.10 8.16 202731520 -
termination-15/cstrncmp_reverse_alloca_true-termination.c.i unknown 8.15 8.20 203198464 -
termination-15/cstrncpy_diffterm_alloca_true-termination.c.i unknown 5.89 5.94 200871936 -
termination-15/cstrncpy_malloc_true-termination.c.i unknown 8.40 8.47 204070912 -
termination-15/cstrncpy_mixed_alloca_true-termination.c.i unknown 8.32 8.40 202424320 -
termination-15/cstrncpy_reverse_alloca_true-termination.c.i unknown 7.96 8.04 201101312 -
termination-15/cstrpbrk_diffterm_alloca_true-termination.c.i unknown 8.12 8.38 195620864 -
termination-15/cstrpbrk_malloc_true-termination.c.i unknown 8.23 8.31 194105344 -
termination-15/cstrpbrk_mixed_alloca_true-termination.c.i unknown 8.14 8.20 204779520 -
termination-15/cstrpbrk_reverse_alloca_true-termination.c.i unknown 8.43 8.51 194793472 -
termination-15/cstrspn_diffterm_alloca_true-termination.c.i unknown 8.20 8.26 189489152 -
termination-15/cstrspn_malloc_true-termination.c.i unknown 5.46 5.50 199172096 -
termination-15/cstrspn_mixed_alloca_true-termination.c.i unknown 8.13 8.36 201863168 -
termination-15/cstrspn_reverse_alloca_true-termination.c.i unknown 8.21 8.29 202567680 -
termination-15/array04_alloca_false-termination.c.i unknown 5.36 5.39 200818688 -
termination-15/array14_alloca_false-termination.c.i unknown 7.94 8.01 202649600 -
termination-15/array15_alloca_false-termination.c.i unknown 8.23 8.43 200372224 -
termination-15/array16_alloca_original_false-termination.c.i unknown 8.17 8.23 201269248 -
termination-15/array19_alloca_false-termination.c.i unknown 8.23 8.32 200622080 -
termination-15/array20_alloca_false-termination.c.i unknown 5.63 5.66 203784192 -
termination-recursive-malloc/chunk1_true-termination.c.i unknown 7.06 7.13 167948288 -
termination-recursive-malloc/chunk2_true-termination.c.i unknown 7.08 7.15 172929024 -
termination-recursive-malloc/chunk3_true-termination.c.i unknown 7.38 7.45 174780416 -
termination-recursive-malloc/insertionSort_recursive_true-termination.c.i unknown 6.96 7.02 171413504 -
termination-recursive-malloc/mergeSort_true-termination.c.i unknown 6.83 6.88 171139072 -
termination-recursive-malloc/mutual_simple2_true-termination.c.i unknown 6.99 7.06 171610112 -
termination-recursive-malloc/mutual_simple_true-termination.c.i unknown 5.16 5.19 168976384 -
termination-recursive-malloc/rec_malloc_ex10_true-termination.c.i unknown 6.87 6.95 171323392 -
termination-recursive-malloc/rec_malloc_ex11B_true-termination.c.i unknown 6.94 7.01 171061248 -
termination-recursive-malloc/rec_malloc_ex11C_true-termination.c.i unknown 4.96 5.00 179888128 -
termination-recursive-malloc/rec_malloc_ex11D_true-termination.c.i unknown 5.14 5.17 167964672 -
termination-recursive-malloc/rec_malloc_ex11_true-termination.c.i unknown 7.14 7.19 174764032 -
termination-recursive-malloc/rec_malloc_ex1_true-termination.c.i unknown 7.01 7.08 171610112 -
termination-recursive-malloc/rec_malloc_ex2_true-termination.c.i unknown 6.71 6.78 169152512 -
termination-recursive-malloc/rec_malloc_ex3_true-termination.c.i unknown 4.96 4.99 166006784 -
termination-recursive-malloc/rec_malloc_ex4_true-termination.c.i unknown 7.17 7.23 171167744 -
termination-recursive-malloc/rec_malloc_ex5B_true-termination.c.i unknown 7.28 7.50 180154368 -
termination-recursive-malloc/rec_malloc_ex5_true-termination.c.i unknown 7.02 7.08 170463232 -
termination-recursive-malloc/rec_malloc_ex6_true-termination.c.i unknown 7.05 7.12 170745856 -
termination-recursive-malloc/rec_malloc_ex7B_true-termination.c.i unknown 7.15 7.21 171257856 -
termination-recursive-malloc/rec_malloc_ex7_true-termination.c.i unknown 7.14 7.20 166146048 -
termination-recursive-malloc/rec_malloc_ex8_true-termination.c.i unknown 7.16 7.22 170815488 -
termination-recursive-malloc/rec_malloc_ex9_true-termination.c.i unknown 7.19 7.24 169160704 -
termination-recursive-malloc/rec_strcopy_malloc2_true-termination.c.i unknown 7.14 7.20 170573824 -
termination-recursive-malloc/rec_strcopy_malloc_true-termination.c.i unknown 7.10 7.18 171253760 -
termination-recursive-malloc/rec_strlen_malloc_true-termination.c.i unknown 6.69 6.75 165482496 -
termination-recursive-malloc/selectionSort_recursive_true-termination.c.i unknown 6.75 6.81 171896832 -
ssh-simplified/s3_clnt_3.cil_true-unreach-call_true-termination.c unknown 7.63 7.71 185475072 -
../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 928 15200 15300 372703830016 265 12000 12100 271365718016
    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