Tool ULTIMATE Automizer 0.1.23-f670a89c
Limits timelimit: 60 s, memlimit: 2000 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-10-14 11:02:01 CEST 2018-10-14 10:09:20 CEST
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
bitvector/interleave_bits_true-unreach-call_true-no-overflow.i 6.86 6.92 173772800 7.76 7.82 181182464
bitvector/num_conversion_1_true-unreach-call_true-no-overflow.i 7.29 7.34 178372608 7.05 7.11 180981760
bitvector/num_conversion_2_true-unreach-call_true-no-overflow.i 4.52 4.55 171438080 6.76 6.83 181510144
eca-rers2012/Problem07_label20_false-unreach-call.c 35.6  35.7  1348792320 61.0  61.3  1299308544
eca-rers2012/Problem07_label42_false-unreach-call.c 58.6  58.8  1392881664 60.9  61.2  1338085376
eca-rers2012/Problem09_label35_false-unreach-call.c 53.4  71.6  1999998976 65.9  66.1  1650466816
eca-rers2012/Problem09_label36_false-unreach-call.c 66.4  66.6  1688838144 54.1  76.4  1999998976
eca-rers2012/Problem07_label17_true-unreach-call.c 56.9  57.1  1397014528 62.5  62.7  1291382784
eca-rers2012/Problem07_label21_true-unreach-call.c 58.3  58.5  1352798208 61.5  61.8  1342308352
eca-rers2012/Problem07_label38_true-unreach-call.c 58.5  58.7  1397542912 63.6  63.8  1305075712
eca-rers2012/Problem07_label59_true-unreach-call.c 61.3  61.5  1386029056 57.3  57.5  1338126336
eca-rers2012/Problem08_label33_true-unreach-call.c 65.9  66.1  1621065728 55.4  72.6  1999998976
eca-rers2012/Problem08_label38_true-unreach-call.c 54.2  68.6  1999998976 66.2  66.4  1521795072
floats-cbmc-regression/float-div1_true-unreach-call.i 5.53 5.56 181465088 8.81 8.88 307404800
floats-cbmc-regression/float-flags-simp1_true-unreach-call.i 8.68 8.75 187416576 6.81 6.83 321363968
floats-cbmc-regression/float-no-simp2_true-unreach-call.i 8.75 8.82 182882304 9.54 9.61 307449856
floats-cbmc-regression/float-no-simp4_true-unreach-call.i 8.57 8.65 184754176 10.2  10.3  304799744
floats-cbmc-regression/float-no-simp8_true-unreach-call.i 8.05 8.10 182394880 9.48 9.56 299962368
floats-cbmc-regression/float-to-double1_true-unreach-call.i 5.36 5.40 184991744 6.39 6.42 306548736
floats-cbmc-regression/float14_true-unreach-call.i 8.24 8.30 187371520 9.36 9.40 317329408
floats-cbmc-regression/float19_true-unreach-call.i 5.48 5.53 179826688 10.2  10.3  299159552
floats-cbmc-regression/float21_true-unreach-call.i 7.86 7.91 180547584 9.45 9.67 309088256
floats-cbmc-regression/float4_true-unreach-call.i 7.87 7.95 184897536 6.36 6.38 312659968
floats-cbmc-regression/float8_true-unreach-call.i 8.05 8.13 184397824 9.14 9.19 305192960
floats-cbmc-regression/float_lib1_true-unreach-call.i 5.15 5.18 183058432 9.73 9.79 304087040
floats-cbmc-regression/float_lib2_true-unreach-call.i 7.84 7.89 184717312 9.89 9.95 305262592
float-benchs/mea8000_true-unreach-call.c 7.15 7.20 184086528 12.0  12.1  493268992
floats-esbmc-regression/ceil_nondet_true-unreach-call.i 8.05 8.13 185790464 8.19 8.25 190038016
floats-esbmc-regression/fabs_true-unreach-call.i 7.56 7.61 185155584 9.45 9.51 305987584
floats-esbmc-regression/floor_nondet_true-unreach-call.i 7.72 7.78 178307072 5.37 5.39 184987648
floats-esbmc-regression/fmax_true-unreach-call.i 5.46 5.49 183070720 6.67 6.71 309436416
floats-esbmc-regression/fmin_true-unreach-call.i 5.40 5.43 182251520 9.33 9.38 304246784
floats-esbmc-regression/fmod2_true-unreach-call.i 7.87 7.94 178466816 7.77 7.82 181596160
floats-esbmc-regression/fmod3_true-unreach-call.i 8.04 8.12 189710336 8.05 8.23 189628416
floats-esbmc-regression/isgreater_true-unreach-call.i 7.92 7.99 187277312 9.07 9.14 303783936
floats-esbmc-regression/isgreaterequal_true-unreach-call.i 7.95 8.01 185380864 9.16 9.22 306229248
floats-esbmc-regression/isless_true-unreach-call.i 7.74 7.96 184651776 9.13 9.20 311648256
floats-esbmc-regression/islessequal_true-unreach-call.i 7.63 7.69 184852480 9.52 9.57 310177792
floats-esbmc-regression/islessgreater_true-unreach-call.i 7.23 7.29 181563392 8.98 9.04 304025600
floats-esbmc-regression/isunordered_true-unreach-call.i 7.86 7.92 181633024 9.18 9.24 310042624
floats-esbmc-regression/nan_true-unreach-call.i 5.57 5.61 187133952 9.04 9.12 309002240
floats-esbmc-regression/round_nondet_true-unreach-call.i 7.99 8.05 187629568 8.11 8.17 191668224
floats-esbmc-regression/trunc_nondet_2_true-unreach-call.i 7.87 7.92 182607872 7.46 7.51 188174336
floats-esbmc-regression/trunc_nondet_true-unreach-call.i 7.31 7.37 188702720 7.83 7.88 183816192
ldv-linux-3.0/module_get_put-drivers-hwmon-it87.ko_true-unreach-call.cil.out.i.pp.i 10.2  10.3  261423104 17.6  17.7  692809728
ldv-linux-3.0/module_get_put-drivers-staging-et131x-et131x.ko_true-unreach-call.cil.out.i.pp.i 11.6  11.7  348102656 24.0  24.2  743317504
ldv-linux-3.0/module_get_put-drivers-video-aty-aty128fb.ko_true-unreach-call.cil.out.i.pp.i 11.4  11.5  317161472 65.9  66.1  676442112
ldv-linux-3.0/usb_urb-drivers-misc-c2port-core.ko_true-unreach-call.cil.out.i.pp.i 8.98 9.05 472322048 8.52 8.60 205553664
ldv-linux-3.0/usb_urb-drivers-mtd-sm_ftl.ko_true-unreach-call.cil.out.i.pp.i 13.8  13.9  496742400 8.21 8.26 208539648
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--input--mouse--synaptics_usb_false-termination.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 13.3  13.4  491843584 7.94 8.00 215179264
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--isdn--capi--kernelcapi.ko-ldv_main3_sequence_infinite_withcheck_stateful.cil.out.c 13.3  13.4  353865728 6.39 6.43 256303104
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--media--video--cpia2--cpia2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 27.0  27.2  790810624 9.39 9.46 294637568
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--media--video--vivi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 19.1  19.2  745304064 8.90 9.10 230608896
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--mtd--chips--cfi_cmdset_0001.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 19.3  19.4  712126464 9.07 9.14 246321152
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--net--wireless--p54--p54usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 18.5  18.7  705974272 8.40 8.45 228311040
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--usb--image--microtek.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 15.8  15.9  668360704 8.19 8.25 216887296
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--video--aty--atyfb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 19.0  19.1  807673856 9.40 9.47 289869824
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 23.6  23.7  793292800 25.3  25.4  787542016
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 27.2  27.4  778952704 65.8  66.1  701054976
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--acpi--ec_sys.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.3  10.4  254619648 7.96 8.05 195129344
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--acpi--fan.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 7.37 7.41 314048512 7.78 7.85 196608000
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 12.3  12.4  416374784 7.86 7.94 201641984
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 12.0  12.1  381808640 7.93 7.98 206102528
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--auxdisplay--cfag12864bfb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 11.0  11.0  267661312 7.70 7.74 205959168
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--auxdisplay--ks0108.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 6.77 6.81 218681344 7.80 7.86 191361024
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--aten.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.6  10.7  247189504 7.48 7.65 191242240
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--bpck.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 12.7  12.8  373743616 8.29 8.34 227258368
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--comm.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 11.0  11.1  289693696 5.58 5.62 202199040
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--dstr.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 11.6  11.7  312737792 5.16 5.19 205508608
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--epat.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 12.2  12.3  332656640 8.11 8.17 213045248
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--epia.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 11.2  11.3  299679744 7.72 7.77 204468224
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--fit2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.6  10.7  248709120 7.55 7.61 185643008
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--fit3.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.5  10.6  279543808 7.83 7.89 193593344
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--friq.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 11.8  11.9  350920704 7.79 7.85 212553728
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--frpw.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 7.95 8.00 337469440 8.21 8.27 217272320
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--kbic.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 11.5  11.5  347308032 8.63 8.69 218427392
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--ktti.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 6.85 6.90 243060736 7.65 7.71 190885888
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--on20.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 12.1  12.2  331116544 5.57 5.60 215863296
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--on26.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 15.0  15.1  493301760 8.22 8.29 256675840
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--char--hw_random--virtio-rng.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 6.50 6.55 228462592 7.70 7.76 187490304
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--char--ipmi--ipmi_poweroff.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 11.2  11.4  274419712 8.04 8.10 197607424
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--char--uv_mmtimer.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 7.61 7.66 275484672 7.76 7.82 200200192
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--clocksource--cs5535-clockevt.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 8.43 8.51 222343168 4.89 4.91 177975296
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--cpufreq--cpufreq_powersave.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 8.39 8.44 208568320 7.15 7.21 181469184
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--cpufreq--pcc-cpufreq.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 11.7  11.8  303239168 5.41 5.44 203534336
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--gpio--gpio-74x164.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 11.0  11.1  261566464 7.65 7.70 186675200
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--gpio--gpio-max7301.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 9.67 9.73 258711552 7.62 7.67 191160320
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--gpio--gpio-mc33880.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.4  10.5  257519616 8.06 8.12 192106496
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--gpio--gpio-tps65912.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 9.46 9.53 243884032 7.39 7.45 187584512
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--gpu--drm--i2c--sil164.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 8.72 8.77 497647616 8.11 8.16 205975552
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--gpu--drm--tdfx--tdfx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.6  10.7  274821120 7.46 7.52 202547200
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--gpu--stub--poulsbo.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 9.61 9.70 259981312 5.50 5.54 190488576
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-cherry.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 6.67 6.70 262995968 7.81 7.88 201252864
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-chicony.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.0  10.1  253206528 8.00 8.05 199684096
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-elecom.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 9.23 9.31 235368448 7.78 7.83 194469888
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-ezkey.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 9.54 9.60 246509568 7.85 7.91 199401472
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-gyration.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.1  10.2  255565824 5.18 5.39 194134016
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-kensington.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 9.57 9.64 240406528 8.16 8.21 198279168
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-keytouch.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 6.19 6.23 238714880 8.09 8.14 195489792
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-lcpower.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 9.42 9.49 238342144 5.57 5.60 192626688
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-monterey.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 9.72 9.80 256704512 7.84 7.90 197066752
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-ortek.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 9.61 9.70 232075264 7.82 7.89 194371584
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-petalynx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 9.94 10.0  260362240 7.96 8.03 196231168
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-primax.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.0  10.1  251768832 7.92 8.00 195796992
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-saitek.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 9.31 9.39 243707904 7.15 7.21 190787584
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-samsung.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.9  11.0  283992064 7.55 7.61 194224128
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-speedlink.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 9.65 9.72 260100096 7.33 7.38 188960768
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-sunplus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 6.80 6.85 263798784 8.04 8.10 193171456
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-tivo.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 9.70 9.77 269942784 5.53 5.56 193835008
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-topseed.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 9.93 10.0  248819712 7.81 7.85 201003008
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-twinhan.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 9.90 9.97 252030976 7.63 7.67 192516096
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-uclogic.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 7.09 7.13 241475584 7.85 7.90 191700992
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-wacom.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 12.0  12.1  398127104 5.63 5.67 209633280
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-waltop.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.2  10.3  268402688 7.74 7.80 196694016
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-zydacron.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.8  10.9  273948672 7.97 8.05 200638464
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hwmon--ads7871.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 7.29 7.33 266559488 7.67 7.75 193179648
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hwmon--asus_atk0110.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 7.68 7.73 305135616 8.08 8.14 221884416
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hwmon--emc1403.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 11.1  11.2  333357056 7.88 7.94 193019904
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hwmon--gpio-fan.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.9  11.2  283250688 8.00 8.07 193310720
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hwmon--max1111.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.3  10.4  261840896 5.22 5.24 191873024
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hwmon--pcf8591.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.9  11.0  310030336 7.76 7.83 188829696
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hwmon--pmbus--max16064.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 9.82 9.89 267587584 7.71 7.78 191643648
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hwmon--pmbus--max8688.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 9.76 9.83 245485568 7.58 7.64 188047360
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--i2c--algos--i2c-algo-pca.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 11.2  11.3  273469440 7.82 7.87 199553024
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--i2c--busses--i2c-diolan-u2c.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 12.8  12.9  394285056 7.85 7.91 200433664
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--i2c--busses--i2c-tiny-usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 7.81 7.86 334258176 7.90 7.94 198520832
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--i2c--i2c-smbus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.7  10.8  283049984 7.62 7.68 192450560
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--ide--cmd640.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 12.3  12.4  374759424 7.93 7.99 205414400
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--ide--ide-pnp.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 11.5  11.6  306372608 7.06 7.12 198193152
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--joystick--magellan.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.4  10.5  261066752 7.66 7.89 197705728
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--joystick--spaceball.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.5  10.8  272474112 7.66 7.72 192278528
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--joystick--spaceorb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.6  10.6  269983744 7.85 7.92 191578112
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--joystick--stinger.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.2  10.2  266760192 7.77 7.83 193843200
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--joystick--twidjoy.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 6.99 7.04 260616192 5.27 5.30 192081920
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--joystick--warrior.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.7  10.8  271380480 7.79 7.84 191037440
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--joystick--zhenhua.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.1  10.1  260628480 5.24 5.27 187281408
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--keyboard--newtonkbd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 7.28 7.32 258093056 7.91 7.97 192589824
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--keyboard--stowaway.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 7.17 7.22 261160960 7.77 7.83 188555264
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--keyboard--xtkbd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.4  10.4  269553664 7.82 7.87 194256896
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--atlas_btns.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.2  10.3  262991872 7.79 7.85 199163904
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--cma3000_d0x_i2c.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.7  10.7  271794176 7.63 7.68 190115840
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--mouse--gpio_mouse.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 6.82 7.06 268705792 7.99 8.06 191852544
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--mouse--vsxxxaa.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 11.2  11.3  285855744 7.74 7.78 195903488
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--ad7879-spi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.6  10.7  269197312 7.93 8.00 200200192
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--cyttsp_spi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.7  10.8  291422208 7.70 7.76 193257472
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--dynapro.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.3  10.4  270663680 5.49 5.53 190394368
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--egalax_ts.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 12.6  12.7  312029184 7.63 7.68 201654272
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--fujitsu_ts.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.4  10.5  309141504 7.72 7.77 190062592
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--gunze.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.5  10.6  267120640 7.76 7.82 193675264
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--hampshire.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.5  10.6  265216000 5.39 5.43 188735488
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--inexio.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 7.09 7.14 295489536 7.11 7.16 190398464
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--mtouch.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.4  10.4  265322496 7.89 7.94 191082496
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--penmount.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 11.1  11.2  293507072 7.94 7.99 197111808
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--touchit213.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 7.17 7.21 274186240 7.68 7.72 195530752
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--touchright.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 7.20 7.23 293363712 5.55 5.57 191938560
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--touchwin.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.1  10.2  272887808 7.78 7.85 188203008
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--tsc40.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.9  11.0  259870720 7.48 7.54 191426560
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--wacom_w8001.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 11.8  11.9  338284544 7.87 7.92 200757248
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--isdn--hardware--avm--avm_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.7  10.8  278986752 7.62 7.69 198078464
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--isdn--hardware--eicon--divadidd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 9.48 9.55 253534208 7.91 7.97 211472384
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--isdn--hisax--avma1_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.5  10.6  273240064 5.22 5.24 191545344
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--isdn--hisax--elsa_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 7.09 7.14 281649152 7.63 7.69 198950912
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--isdn--hisax--sedlbauer_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.7  10.7  280461312 7.63 7.70 188846080
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--isdn--hisax--teles_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.6  10.7  280842240 7.77 7.84 190631936
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--leds--leds-bd2802.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 16.6  16.8  691769344 5.62 5.66 212111360
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--leds--leds-lp5521.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 13.3  13.4  506654720 8.16 8.20 201756672
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--leds--leds-ot200.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 6.62 6.66 237318144 7.73 7.79 187924480
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--leds--ledtrig-backlight.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 7.42 7.47 271159296 7.73 7.79 199942144
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--leds--ledtrig-default-on.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 8.21 8.28 209104896 7.45 7.50 182005760
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--leds--ledtrig-gpio.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 9.88 9.95 252928000 7.55 7.74 187904000
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--macintosh--mac_hid.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 6.60 6.64 252342272 8.12 8.19 197455872
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--md--dm-zero.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 9.59 9.79 238223360 5.36 5.40 203616256
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--max2165.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 11.5  11.6  314089472 7.87 7.92 205619200
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--mc44s803.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.8  10.9  287903744 7.27 7.32 200925184
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--mt2060.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 11.3  11.4  289636352 8.08 8.15 207179776
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--mt2131.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.9  11.0  280285184 7.88 7.94 197279744
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--mt2266.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 11.2  11.2  287506432 8.16 8.20 209633280
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--mxl5007t.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 12.4  12.5  391405568 8.20 8.25 212500480
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--qt1010.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 12.6  12.6  351031296 8.07 8.12 215924736
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 11.3  11.4  311070720 8.11 8.18 203943936
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--tda8290.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 14.9  15.0  696209408 5.86 5.89 219787264
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--tda9887.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 13.4  13.5  463216640 8.49 8.56 230129664
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--bt8xx--dvb-bt8xx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 18.3  18.5  714960896 8.72 8.80 236421120
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-a800.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 8.57 8.61 343408640 8.24 8.30 211722240
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-au6610.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 13.2  13.3  426131456 8.43 8.48 217001984
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-az6007.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 16.3  16.4  703258624 8.42 8.49 229429248
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-az6027.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 17.0  17.1  699060224 5.98 6.01 225144832
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-ce6230.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 12.9  13.0  437837824 8.05 8.11 213741568
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-cinergyT2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 9.97 10.0  618749952 5.85 5.89 218886144
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-dibusb-mb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 15.5  15.6  709857280 8.42 8.50 220692480
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-dibusb-mc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 11.9  12.0  318791680 8.27 8.33 215113728
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-digitv.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 9.66 9.71 551706624 8.11 8.16 223813632
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-dtt200u.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 11.5  11.6  709345280 8.91 8.97 229560320
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-dtv5100.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 13.1  13.2  456880128 8.26 8.32 216621056
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-gl861.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 13.5  13.6  420155392 8.15 8.22 210595840
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-mxl111sf.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 26.7  26.8  793464832 9.32 9.39 275398656
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-nova-t-usb2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 12.3  12.4  340160512 8.19 8.37 215552000
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-pctv452e.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 17.0  17.1  708349952 8.79 8.85 230895616
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-rtl28xxu.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 17.1  17.2  702504960 8.48 8.53 232009728
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-ttusb2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 17.8  17.9  703848448 7.75 7.79 232361984
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-umt-010.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 8.62 8.67 403120128 5.83 5.86 208195584
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-vp7045.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 15.8  15.9  705130496 8.68 8.77 223019008
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--mxl111sf-demod.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 15.1  15.2  556498944 8.38 8.44 217034752
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 17.3  17.5  702414848 8.46 8.52 236138496
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--dib3000mb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 14.8  14.9  690970624 8.19 8.26 219467776
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--dib3000mc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 15.7  15.8  699408384 8.22 8.29 233566208
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--dvb_dummy_fe.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 11.8  11.8  517898240 7.77 7.83 194568192
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--ec100.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 11.8  11.9  359157760 5.45 5.49 194560000
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--it913x-fe.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 18.9  18.9  773300224 6.18 6.22 244015104
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--rtl2830.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 8.51 8.56 441135104 7.96 8.01 206336000
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--stb6000.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 11.1  11.2  282615808 7.82 7.87 199393280
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 14.6  14.7  484618240 5.64 5.67 221200384
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--tda826x.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 7.54 7.59 281292800 8.07 8.13 201760768
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--tua6100.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.9  11.0  279728128 7.82 7.88 197595136
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--ttpci--budget-patch.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 16.2  16.3  708640768 8.49 8.54 229769216
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--ttpci--budget.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 18.9  19.1  727674880 8.70 8.77 235225088
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--video--cx231xx--cx231xx-dvb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 12.1  12.1  710008832 8.63 8.69 250654720
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--video--em28xx--em28xx-dvb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 13.0  13.0  761200640 6.17 6.21 257114112
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--video--gspca--gspca_benq.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 9.53 9.60 264355840 7.90 7.96 197873664
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--video--gspca--gspca_finepix.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 11.3  11.4  296042496 7.84 7.89 197591040
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--video--gspca--gspca_jl2005bcd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 12.0  12.1  330006528 7.60 7.66 196444160
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--video--gspca--gspca_pac207.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 12.3  12.4  402866176 7.51 7.77 205492224
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--video--gspca--gspca_sq905c.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 11.4  11.5  297431040 7.70 7.74 196435968
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--video--gspca--gspca_stv0680.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 9.80 9.89 287059968 7.88 7.94 200839168
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--video--zoran--zr36016.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.1  10.2  252219392 7.61 7.66 192921600
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--message--i2o--i2o_bus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 9.33 9.41 244387840 7.41 7.47 186482688
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--message--i2o--i2o_scsi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 13.8  13.9  631025664 7.68 7.76 212611072
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mfd--janz-cmodio.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 7.40 7.43 267759616 7.66 7.71 189251584
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mfd--rdc321x-southbridge.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 9.01 9.08 235761664 7.55 7.61 189882368
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mfd--tps6105x.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.5  10.5  278249472 7.50 7.55 194056192
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mfd--tps6507x.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 9.75 9.82 261926912 7.56 7.61 188440576
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mfd--tps65217.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 7.25 7.29 262373376 5.30 5.34 194326528
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mfd--ucb1400_core.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.4  10.5  267554816 7.73 7.78 189440000
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mfd--wl1273-core.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 11.2  11.2  298131456 5.62 5.66 197607424
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mfd--wm8400-core.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 11.1  11.2  306393088 7.65 7.70 192815104
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--misc--apds9802als.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 11.3  11.4  360390656 7.68 7.73 196104192
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--misc--bmp085.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 11.4  11.5  333705216 5.48 5.51 194846720
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--misc--eeprom--eeprom_93xx46.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 11.9  12.0  331247616 7.79 7.84 195469312
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--misc--isl29020.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.5  10.6  272777216 5.42 5.45 190631936
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--misc--sgi-xp--xp.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.6  10.7  266534912 8.02 8.08 195514368
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--misc--ti_dac7512.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 9.90 9.98 261349376 7.43 7.47 186187776
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--misc--tifm_core.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 12.0  12.1  315146240 8.03 8.09 199217152
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mmc--host--sdricoh_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 13.0  13.1  514011136 7.85 7.91 208248832
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mtd--devices--docprobe.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.2  10.3  252334080 7.84 7.89 194617344
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mtd--devices--mtdram.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 6.70 6.74 232108032 7.70 7.76 186245120
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mtd--ftl.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 9.42 9.46 415559680 8.22 8.28 212406272
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 10.1  10.2  577081344 6.03 6.07 225619968
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mtd--maps--intel_vr_nor.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 7.84 7.98 291504128 7.72 7.77 192532480
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mtd--mtdblock_ro.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 9.02 9.13 234737664 7.34 7.54 189857792
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 14.5  14.7  692903936 7.92 7.98 221753344
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mtd--onenand--onenand_sim.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.1  10.2  256966656 7.80 7.85 194187264
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mtd--tests--mtd_oobtest.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 11.1  11.1  288063488 7.82 7.89 200331264
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mtd--tests--mtd_pagetest.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.6  10.7  281677824 7.60 7.66 196014080
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--arcnet--com20020_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 13.3  13.5  460972032 8.13 8.18 206917632
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--irda--act200l-sir.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 11.0  11.1  294166528 7.85 7.92 203501568
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--irda--litelink-sir.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.5  10.6  284176384 8.05 8.28 206680064
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--irda--ma600-sir.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.9  11.0  290918400 7.88 7.95 198668288
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--irda--tekram-sir.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 11.1  11.2  293281792 8.05 8.26 208502784
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--phy--amd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 9.78 9.85 298803200 7.59 7.65 191787008
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--phy--broadcom.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 14.0  14.1  605233152 5.57 5.61 198488064
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--phy--cicada.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 11.0  11.1  308391936 7.90 7.95 201240576
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--phy--davicom.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 11.7  11.8  382857216 5.30 5.33 198361088
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--phy--et1011c.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 11.0  11.0  299835392 7.83 7.89 197869568
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--phy--icplus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 11.9  12.0  414515200 7.71 7.76 200257536
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--phy--lxt.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 12.1  12.2  396623872 7.93 8.01 202194944
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--phy--marvell.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 16.2  16.3  687968256 7.90 7.96 202928128
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--phy--micrel.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 11.0  11.1  335302656 7.64 7.71 188530688
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--phy--national.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.7  10.8  282656768 7.62 7.68 202883072
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--phy--qsemi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 7.72 7.78 392929280 5.60 5.63 199053312
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--phy--realtek.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 9.91 9.99 292659200 7.45 7.50 205217792
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--phy--smsc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 12.1  12.2  381120512 7.99 8.18 204144640
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--phy--spi_ks8995.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 11.0  11.1  284889088 5.17 5.20 190300160
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--phy--ste10Xp.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 8.08 8.13 491884544 7.73 7.79 197152768
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--phy--vitesse.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 7.35 7.40 269672448 7.69 7.74 196890624
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--sungem_phy.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 17.3  17.4  689377280 7.92 7.98 211349504
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--team--team_mode_activebackup.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 11.7  11.8  351981568 7.63 7.68 198791168
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--team--team_mode_roundrobin.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 11.3  11.4  317259776 5.56 5.60 201687040
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--wireless--airo_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 11.6  11.7  339943424 7.87 8.06 210194432
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--wireless--orinoco--orinoco_nortel.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 12.1  12.2  353021952 8.06 8.12 203214848
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--wireless--orinoco--orinoco_pci.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 12.5  12.6  335200256 8.12 8.17 207720448
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--wireless--orinoco--orinoco_tmd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 8.15 8.20 336228352 8.02 8.07 206254080
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--wireless--wl1251--wl1251_spi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 12.2  12.3  338894848 8.03 8.09 210468864
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--wireless--wl12xx--wl12xx_sdio.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 13.9  13.9  494743552 8.20 8.25 217128960
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--parport--parport_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.9  11.0  292704256 7.79 7.83 191004672
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--pci--ioapic.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 9.96 10.0  272801792 7.81 7.86 192094208
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--pci--pci-stub.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 9.68 9.77 256983040 7.59 7.64 190545920
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--platform--x86--asus-nb-wmi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.0  10.1  251351040 7.68 7.74 193900544
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--platform--x86--intel_menlow.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 7.72 7.77 308002816 5.42 5.45 194215936
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--platform--x86--panasonic-laptop.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 12.7  12.7  381120512 7.78 8.03 206209024
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--platform--x86--topstar-laptop.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.8  10.9  270163968 5.45 5.49 190951424
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--platform--x86--toshiba_bluetooth.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 9.74 9.97 248012800 7.45 7.50 194736128
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--platform--x86--xo15-ebook.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 7.24 7.28 269041664 5.39 5.42 195010560
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--power--max8903_charger.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.8  10.8  276385792 7.62 7.69 188276736
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--power--wm831x_power.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 7.40 7.45 297783296 7.72 7.77 194699264
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--regulator--gpio-regulator.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 11.3  11.4  299540480 7.71 7.75 196763648
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--regulator--max1586.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.8  10.8  288772096 5.24 5.44 187523072
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--regulator--max8649.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.9  11.0  277151744 7.85 7.91 193560576
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--regulator--userspace-consumer.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 9.51 9.60 237674496 7.71 7.76 187695104
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--regulator--virtual.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.6  10.6  271523840 7.82 7.87 188592128
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--regulator--wm8400-regulator.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.5  10.6  308969472 7.82 7.88 192897024
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-da9052.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 7.30 7.34 289861632 7.86 7.91 192581632
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-ds1390.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 7.46 7.50 289562624 5.25 5.28 191332352
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-ds1553.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.8  10.9  300621824 8.13 8.18 205139968
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-ds3232.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 8.37 8.43 444653568 5.53 5.57 200335360
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-ds3234.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.7  10.9  283635712 7.52 7.59 198557696
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-m41t93.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 11.3  11.4  295346176 7.77 7.84 195072000
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-m41t94.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 11.1  11.2  288919552 7.84 8.04 195969024
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-m48t86.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.4  10.4  260419584 7.66 7.71 196452352
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-max6902.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.6  10.7  271659008 7.45 7.50 196968448
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-mc13xxx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 11.1  11.2  280244224 7.78 7.84 199106560
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-pcap.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.5  10.6  273657856 7.75 7.81 188817408
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-pcf2123.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 12.0  12.2  323850240 7.70 7.75 208379904
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-r9701.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.7  10.8  297140224 5.31 5.34 196665344
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-rs5c348.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.8  10.9  291508224 7.87 7.91 197484544
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-stk17ta8.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 11.5  11.6  291438592 5.70 5.73 207818752
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-test.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.4  10.4  266858496 7.66 7.71 191135744
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-v3020.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 12.1  12.2  310317056 7.84 7.90 197615616
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--scsi--dmx3191d.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 17.7  17.8  702271488 8.22 8.28 230961152
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--scsi--pcmcia--sym53c500_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 13.3  13.4  528904192 8.12 8.18 208576512
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--scsi--qlogicfas408.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 13.0  13.1  401895424 5.70 5.74 207953920
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--spi--spi-tle62x0.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 11.1  11.2  293265408 7.51 7.57 200740864
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--android--switch--switch_gpio.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 9.64 9.72 231243776 7.42 7.47 185126912
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--comedi--drivers--8255.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.9  11.0  268787712 7.72 7.79 194695168
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--comedi--drivers--comedi_bond.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 7.53 7.57 288247808 5.33 5.37 192552960
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--iio--addac--adt7316-i2c.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 9.74 9.82 251895808 7.68 7.75 188203008
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--iio--dds--ad5930.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.7  10.8  337973248 7.48 7.54 191700992
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--iio--dds--ad9832.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 8.00 8.05 343064576 7.71 7.76 195915776
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--iio--dds--ad9850.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 7.04 7.07 336162816 5.20 5.23 199151616
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--iio--dds--ad9852.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.7  10.8  312066048 7.64 7.68 189960192
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--iio--dds--ad9910.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 8.21 8.26 359362560 7.63 7.70 191479808
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--iio--dds--ad9951.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.5  10.6  281903104 7.59 7.65 191320064
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--iio--resolver--ad2s90.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.1  10.1  261545984 7.49 7.55 191434752
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 12.1  12.1  395673600 5.27 5.31 200343552
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--speakup--speakup_soft.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 11.1  11.2  289075200 8.00 8.06 197230592
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--telephony--ixj_pcmcia.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.8  10.9  299560960 7.61 7.67 200290304
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--vme--boards--vme_vmivme7805.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 9.45 9.52 237494272 7.37 7.45 193880064
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--tty--serial--altera_jtaguart.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 11.8  11.8  314486784 5.61 5.65 199118848
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--tty--serial--altera_uart.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 13.0  13.1  432418816 7.63 7.67 201433088
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--tty--serial--mfd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 11.5  11.8  703811584 5.82 5.86 222396416
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--tty--serial--uartlite.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 12.1  12.2  330903552 7.96 8.01 196423680
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--tty--serial--xilinx_uartps.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 8.60 8.65 372572160 7.84 7.89 209047552
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--uio--uio_aec.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.2  10.3  265977856 7.49 7.54 187969536
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--uio--uio_pci_generic.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.1  10.1  252575744 7.67 7.87 190357504
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--uio--uio_sercos3.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.7  10.8  271486976 7.71 7.77 191840256
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--usb--misc--cypress_cy7c63.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 11.0  11.1  332636160 7.77 7.84 196050944
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--usb--misc--cytherm.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 12.2  12.4  478306304 7.42 7.49 205058048
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--usb--otg--ab8500-usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 8.43 8.65 337362944 7.81 7.88 196157440
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--usb--otg--nop-usb-xceiv.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 9.57 9.66 258949120 7.67 7.72 188665856
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--usb--serial--ipaq.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 12.9  13.0  424050688 8.14 8.21 207298560
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--usb--serial--ir-usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 8.42 8.47 377966592 7.99 8.05 204902400
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--usb--serial--iuu_phoenix.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 16.4  16.5  703008768 8.43 8.48 228634624
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--usb--serial--metro-usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 13.8  13.9  608276480 8.11 8.17 206934016
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--usb--serial--spcp8x5.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 14.0  14.1  532656128 7.90 7.97 212328448
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--usb--storage--ums-cypress.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 11.0  11.1  308465664 5.70 5.73 203882496
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--usb--storage--ums-datafab.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 12.7  12.8  387440640 8.04 8.10 223584256
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--usb--storage--ums-freecom.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 11.6  11.7  324902912 7.59 7.64 203407360
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--usb--storage--ums-jumpshot.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 12.2  12.3  353947648 8.13 8.19 210817024
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--usb--storage--ums-sddr09.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 15.7  15.8  599465984 8.43 8.64 223924224
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--usb--storage--ums-sddr55.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 13.2  13.3  381751296 8.11 8.17 216481792
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--usb--storage--ums-usbat.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 15.6  15.8  669917184 8.29 8.34 217497600
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--uwb--i1480--i1480-est.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 9.25 9.32 225423360 7.58 7.63 186380288
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--video--backlight--ili9320.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 12.1  12.2  332681216 7.88 7.94 203472896
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--video--backlight--l4f00242t03.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 8.19 8.23 340955136 5.15 5.19 196796416
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--video--backlight--lms283gf05.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 11.0  11.1  278306816 7.94 8.00 201097216
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--video--backlight--tdo24m.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 12.0  12.1  335384576 5.58 5.61 197636096
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--video--backlight--vgg2432a4.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 11.0  11.1  282636288 7.80 7.87 197459968
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--video--n411.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 7.34 7.39 277843968 7.58 7.64 201613312
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--w1--masters--ds2490.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 12.1  12.2  387997696 7.69 7.74 201007104
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--w1--masters--matrox_w1.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 6.57 6.62 275906560 7.76 7.82 188444672
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--w1--masters--w1-gpio.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 9.49 9.57 217628672 7.56 7.61 184602624
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--w1--slaves--w1_bq27000.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 9.25 9.31 253460480 7.05 7.09 191082496
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--w1--slaves--w1_ds2408.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.6  10.7  280154112 7.49 7.55 192475136
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--w1--slaves--w1_ds2423.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 9.33 9.42 218669056 7.36 7.41 184233984
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--w1--slaves--w1_ds2431.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 6.97 7.01 256196608 5.45 5.48 189202432
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--w1--slaves--w1_ds2433.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.1  10.2  257163264 5.26 5.29 188641280
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--w1--slaves--w1_ds2760.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 9.83 9.90 245391360 7.39 7.43 188854272
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--w1--slaves--w1_ds2780.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 9.67 9.75 246214656 7.46 7.50 193789952
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--w1--slaves--w1_ds2781.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 9.55 9.61 271249408 5.35 5.40 186609664
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--w1--slaves--w1_smem.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 5.78 5.82 214302720 7.23 7.28 184360960
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--watchdog--sbc_epx_c3.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 9.83 9.89 245006336 7.70 7.74 190005248
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--input--keyboard--gpio_keys_polled.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.2  10.3  273235968 7.80 7.86 190238720
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--input--misc--ab8500-ponkey.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 7.30 7.34 256835584 7.72 7.78 191434752
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--input--misc--ad714x-i2c.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.5  10.6  270462976 7.76 7.82 189898752
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--input--misc--ad714x-spi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 7.40 7.45 276901888 5.52 5.55 192729088
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--input--misc--adxl34x-spi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.8  10.9  286711808 7.68 7.74 199188480
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--input--misc--mma8450.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 11.0  11.0  299544576 7.76 7.83 195219456
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--input--misc--mpu3050.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 12.3  12.4  381173760 7.97 8.04 195760128
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--input--misc--pcap_keys.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 6.82 6.86 260927488 7.50 7.56 189546496
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--input--misc--pcf50633-input.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.5  10.6  322531328 7.60 7.67 199118848
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--input--misc--pcspkr.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 9.80 9.89 252538880 7.84 7.91 190271488
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--input--touchscreen--eeti_ts.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 12.1  12.2  354226176 5.50 5.54 196685824
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--input--touchscreen--max11801_ts.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 11.2  11.2  294080512 7.57 7.63 200462336
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--input--touchscreen--stmpe-ts.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 11.9  12.0  358150144 5.52 5.56 198807552
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--leds--leds-dac124s085.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 7.34 7.38 258125824 7.62 7.67 187674624
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--leds--leds-pca9633.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.7  10.8  271921152 7.51 7.56 188706816
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--leds--leds-regulator.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 9.83 9.90 246517760 7.57 7.63 190648320
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--media--common--tuners--mt20xx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 13.6  13.6  508997632 5.51 5.55 223682560
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-cinergyT2.ko-ldv_main1_sequence_infinite_withcheck_stateful.cil.out.c 14.5  14.6  687529984 8.30 8.36 219090944
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 13.9  14.0  506064896 8.50 8.56 222081024
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-dtt200u.ko-ldv_main1_sequence_infinite_withcheck_stateful.cil.out.c 17.6  17.7  703688704 8.36 8.42 227131392
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-mxl111sf.ko-ldv_main3_sequence_infinite_withcheck_stateful.cil.out.c 28.0  28.1  793477120 9.11 9.16 275005440
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-vp7045.ko-ldv_main1_sequence_infinite_withcheck_stateful.cil.out.c 15.5  15.6  699260928 8.39 8.60 219418624
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--media--dvb--frontends--isl6405.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.1  10.1  262242304 7.59 7.65 197091328
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--media--dvb--frontends--isl6421.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 7.00 7.04 256212992 5.35 5.38 196681728
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--media--dvb--frontends--lnbp21.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 7.33 7.37 271708160 7.65 7.69 195702784
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--media--dvb--frontends--lnbp22.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.1  10.1  263294976 7.67 7.73 192344064
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--media--video--cx88--cx88-vp3054-i2c.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 11.8  11.9  317374464 8.03 8.09 211300352
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--mtd--ar7part.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 6.30 6.34 232968192 7.31 7.35 203063296
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 11.1  11.2  316977152 7.83 8.03 210124800
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--net--irda--esi-sir.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.2  10.3  288198656 7.84 7.89 197980160
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--net--irda--girbil-sir.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.7  10.7  293572608 8.03 8.08 203669504
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--net--irda--mcp2120-sir.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.5  10.5  287014912 8.07 8.11 201035776
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--net--irda--old_belkin-sir.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.3  10.4  323301376 8.00 8.19 201236480
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--net--usb--cdc_subset.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 8.63 8.67 521277440 5.57 5.60 199401472
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--net--usb--plusb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 11.0  11.1  301613056 7.80 7.86 200867840
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--platform--x86--mxm-wmi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 9.45 9.55 245604352 5.05 5.07 189218816
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--power--wm831x_backup.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.1  10.3  246325248 7.70 7.75 189833216
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--staging--android--switch--switch_class.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.0  10.1  258281472 5.45 5.50 189521920
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--staging--comedi--drivers--comedi_parport.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.7  10.8  269242368 7.82 7.88 189321216
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--staging--comedi--drivers--unioxx5.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 6.95 6.99 253190144 7.80 7.86 191807488
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--staging--iio--addac--adt7316-spi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 9.97 10.0  259764224 7.63 7.68 189169664
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--staging--iio--kfifo_buf.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 6.54 6.58 221425664 7.45 7.51 183709696
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--staging--iio--meter--ade7854-i2c.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 12.0  12.1  391028736 7.88 7.96 200052736
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--staging--iio--ring_sw.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.5  10.6  256647168 5.33 5.37 197017600
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--staging--media--cxd2099--cxd2099.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 8.05 8.12 371453952 7.95 8.02 206852096
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--staging--serqt_usb2--serqt_usb2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 17.1  17.2  700190720 8.34 8.40 227897344
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--usb--dwc3--dwc3-pci.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 9.92 10.0  264921088 7.73 7.78 191856640
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--usb--misc--trancevibrator.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 11.0  11.2  331055104 7.75 7.82 191127552
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--usb--serial--cp210x.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 14.0  14.1  498716672 5.62 5.66 209326080
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--usb--serial--empeg.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.7  10.8  290152448 7.79 7.85 192598016
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--usb--serial--funsoft.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.8  11.0  283922432 5.30 5.33 195878912
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--usb--serial--hp4x.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 6.92 6.96 284303360 7.60 7.66 191488000
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--usb--serial--ipw.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 11.7  11.7  376016896 8.03 8.30 202694656
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--usb--serial--mos7840.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 19.4  19.5  737603584 8.66 8.73 254279680
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--usb--serial--moto_modem.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.2  10.3  278175744 7.80 7.85 193269760
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--usb--serial--qcaux.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.6  10.6  312750080 5.27 5.30 195395584
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--usb--serial--siemens_mpi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 7.15 7.19 278282240 7.64 7.70 193593344
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--usb--serial--ssu100.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.1  10.1  545079296 8.30 8.36 211402752
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--usb--serial--usb_debug.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.7  10.8  287977472 7.45 7.51 194543616
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--usb--serial--vivopay-serial.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.2  10.2  283545600 7.60 7.66 197742592
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--usb--serial--zio.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.4  10.4  274874368 7.61 7.66 193302528
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--video--backlight--lcd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 11.8  11.9  341385216 7.82 8.01 198799360
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--video--backlight--ltv350qv.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 11.7  11.8  328429568 7.74 7.80 199430144
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--video--matrox--i2c-matroxfb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 11.8  11.8  335454208 7.80 7.86 216117248
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_true-termination.4-32_1-drivers--acpi--apei--einj.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.2  10.2  245166080 7.77 7.82 202792960
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_true-termination.4-32_1-drivers--acpi--bgrt.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 9.67 9.75 264896512 7.60 7.65 194625536
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_true-termination.4-32_1-drivers--char--tpm--tpm_nsc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 11.8  11.9  345120768 7.79 7.86 196190208
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_true-termination.4-32_1-drivers--edac--mce_amd_inj.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 6.43 6.47 216711168 7.33 7.41 191066112
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_true-termination.4-32_1-drivers--hwmon--smsc47b397.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 7.92 7.96 282619904 5.53 5.56 198172672
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_true-termination.4-32_1-drivers--i2c--busses--i2c-stub.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.6  10.7  273375232 7.61 7.68 197332992
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_true-termination.4-32_1-drivers--input--joystick--turbografx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 7.91 7.94 289808384 8.02 8.09 206888960
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_true-termination.4-32_1-drivers--input--misc--apanel.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 11.4  11.5  307298304 8.14 8.21 200257536
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_true-termination.4-32_1-drivers--input--serio--ct82c710.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 9.44 9.51 223600640 7.33 7.39 183676928
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_true-termination.4-32_1-drivers--input--serio--parkbd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.1  10.2  243142656 7.87 7.91 190496768
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_true-termination.4-32_1-drivers--input--touchscreen--mk712.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 7.04 7.07 249905152 7.69 7.74 195571712
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_true-termination.4-32_1-drivers--leds--dell-led.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 9.75 9.82 237244416 5.31 5.35 191193088
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 11.6  11.9  297345024 7.64 7.70 204894208
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_true-termination.4-32_1-drivers--mtd--devices--phram.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 9.72 9.94 240365568 7.50 7.55 188260352
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_true-termination.4-32_1-drivers--mtd--devices--slram.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 11.4  11.4  313876480 7.88 7.93 190631936
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_true-termination.4-32_1-drivers--mtd--maps--netsc520.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 9.07 9.13 226258944 7.50 7.55 185184256
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_true-termination.4-32_1-drivers--mtd--maps--nettel.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 9.54 9.62 228704256 7.55 7.60 187871232
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_true-termination.4-32_1-drivers--mtd--maps--sbc_gxx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 9.55 9.61 224309248 7.44 7.51 184782848
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_true-termination.4-32_1-drivers--mtd--maps--ts5500_flash.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 8.95 9.01 225824768 7.38 7.44 185610240
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_true-termination.4-32_1-drivers--mtd--tests--mtd_subpagetest.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 7.33 7.37 269602816 7.76 7.81 193777664
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_true-termination.4-32_1-drivers--net--arcnet--rfc1201.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 13.5  13.6  441720832 7.79 7.84 208904192
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_true-termination.4-32_1-drivers--net--tokenring--abyss.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 13.0  13.1  367706112 5.34 5.37 205565952
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_true-termination.4-32_1-drivers--pci--hotplug--cpcihp_generic.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.7  10.8  284372992 8.08 8.14 203198464
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_true-termination.4-32_1-drivers--platform--x86--dell-wmi-aio.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.0  10.1  259641344 7.40 7.46 197619712
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_true-termination.4-32_1-drivers--pps--clients--pps-ktimer.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 8.64 8.70 226062336 5.05 5.08 188841984
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_true-termination.4-32_1-drivers--pps--clients--pps-ldisc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 6.91 6.95 266022912 7.77 7.85 190656512
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_true-termination.4-32_1-drivers--staging--comedi--drivers--adl_pci7230.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.4  10.5  266493952 5.30 5.34 186466304
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_true-termination.4-32_1-drivers--staging--comedi--drivers--adl_pci7296.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 7.39 7.43 277250048 7.71 7.76 194068480
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_true-termination.4-32_1-drivers--staging--comedi--drivers--adl_pci7432.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.1  10.2  258510848 7.67 7.72 189296640
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_true-termination.4-32_1-drivers--staging--comedi--drivers--adl_pci8164.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 7.45 7.49 278384640 7.79 7.84 190115840
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_true-termination.4-32_1-drivers--video--vfb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 11.3  11.4  302403584 8.01 8.07 205393920
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_true-termination.4-32_1-drivers--watchdog--cpu5wdt.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.4  10.5  248799232 7.74 7.81 191201280
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--acpi--container.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.7  10.7  340451328 65.8  66.1  690155520
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--acpi--fan.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.7  10.8  277442560 65.8  66.1  683634688
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 11.8  11.9  447176704 8.36 8.40 431738880
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 11.7  11.8  559759360 11.0  11.1  486375424
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 12.5  12.6  433201152 12.2  12.3  440381440
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 11.2  11.3  292925440 7.32 7.37 311398400
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 11.4  11.4  310525952 11.7  11.7  330579968
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 14.3  14.4  506654720 14.9  15.0  511107072
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 11.6  11.6  680730624 11.8  11.9  718237696
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 14.5  14.6  471298048 15.2  15.3  525688832
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 7.78 7.82 309055488 12.3  12.3  320651264
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 10.1  10.2  497893376 16.3  16.4  690933760
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 14.5  14.6  639143936 14.9  15.0  608104448
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 9.85 9.93 261156864 11.4  11.5  293109760
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--platform--x86--panasonic-laptop.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 12.7  12.8  404848640 65.8  66.1  686276608
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--platform--x86--topstar-laptop.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.5  10.5  311877632 65.8  66.1  683085824
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 12.6  12.6  571338752 11.8  11.8  398639104
ldv-commit-tester/m0_false-unreach-call_drivers-net-slip-ko--108_1a--1b0b0ac-1.c 12.4  12.5  401997824 17.6  17.8  689221632
ldv-commit-tester/m0_true-unreach-call_drivers-net-slip-ko--108_1a--1b0b0ac.c 11.4  11.5  399532032 16.2  16.3  693854208
ldv-commit-tester/m0_true-unreach-call_sound-core-oss-snd-mixer-oss-ko--143_7a--506218e.c 10.7  10.8  333127680 65.8  66.1  695787520
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 10.0  10.1  292204544 65.8  66.1  735055872
ldv-consumption/32_7a_cilled_false-unreach-call_linux-3.8-rc1-32_7a-drivers--net--can--softing--softing.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 13.5  13.6  385150976 13.0  13.0  713740288
ldv-consumption/32_7a_cilled_false-unreach-call_linux-3.8-rc1-32_7a-drivers--net--wireless--zd1211rw--zd1211rw.ko-ldv_main7_sequence_infinite_withcheck_stateful.cil.out.c 14.8  14.9  388030464 61.0  61.1  700526592
ldv-consumption/32_7a_cilled_false-unreach-call_linux-3.8-rc1-32_7a-fs--hfs--hfs.ko-ldv_main6_sequence_infinite_withcheck_stateful.cil.out.c 9.67 9.74 279023616 65.8  66.1  683913216
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 14.6  14.7  645468160 15.3  15.4  688840704
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-drivers--media--usb--gspca--gspca_topro.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 31.5  31.7  950542336 65.8  66.1  796717056
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 13.2  13.3  340185088 65.8  66.1  698580992
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 10.2  10.3  574971904 65.8  66.1  684941312
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-drivers--net--wireless--zd1211rw--zd1211rw.ko-ldv_main1_sequence_infinite_withcheck_stateful.cil.out.c 14.9  15.0  373489664 65.8  66.1  699256832
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-drivers--staging--silicom--bpctl_mod.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 15.2  15.3  476737536 65.8  66.1  710172672
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-net--batman-adv--batman-adv.ko-ldv_main10_sequence_infinite_withcheck_stateful.cil.out.c 15.3  15.6  455229440 11.4  11.4  468799488
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-net--batman-adv--batman-adv.ko-ldv_main15_sequence_infinite_withcheck_stateful.cil.out.c 14.8  14.9  458285056 16.1  16.2  465371136
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-sound--core--oss--snd-mixer-oss.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.8  10.9  309874688 65.8  66.1  690655232
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--hwmon--amc6821.ko-main.cil.out.c 6.66 6.71 236969984 15.5  15.5  696356864
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--hwmon--asb100.ko-main.cil.out.c 9.79 9.86 253571072 15.8  15.9  687316992
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--hwmon--max16065.ko-main.cil.out.c 6.30 6.34 230133760 9.77 9.81 665100288
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--hwmon--w83781d.ko-main.cil.out.c 11.7  11.8  280068096 17.3  17.3  727629824
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--hwmon--w83791d.ko-main.cil.out.c 9.91 9.98 252772352 16.3  16.5  695558144
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--hwmon--w83792d.ko-main.cil.out.c 10.5  10.6  251887616 19.8  19.9  731058176
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 17.8  17.9  683716608 28.5  28.7  761651200
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--mfd--sm501.ko-main.cil.out.c 9.50 9.56 241725440 10.6  10.6  691544064
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--misc--sgi-xp--xpc.ko-main.cil.out.c 13.3  13.4  333611008 65.8  66.1  693596160
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--net--ethernet--qlogic--qlge--qlge.ko-main.cil.out.c 19.8  20.0  697647104 65.9  66.1  699858944
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--net--wireless--rtlwifi--rtl8192de--rtl8192de.ko-main.cil.out.c 16.2  16.3  510636032 51.8  52.0  884752384
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 17.1  17.2  690274304 29.8  29.9  757501952
ldv-consumption/linux-3.8-rc1-32_7a-drivers--hwmon--w83793.ko-ldv_main0_true-unreach-call.cil.out.c 12.1  12.2  296599552 21.4  21.5  745459712
ldv-consumption/linux-3.8-rc1-32_7a-drivers--net--dsa--mv88e6xxx_drv.ko-ldv_main2_true-unreach-call.cil.out.c 11.2  11.3  310329344 16.6  16.7  691458048
ldv-linux-3.12-rc1/linux-3.12-rc1.tar.xz-144_2a-drivers--media--usb--gspca--gspca_main.ko-entry_point_false-unreach-call.cil.out.c 12.2  12.2  360726528 13.8  13.8  564129792
ldv-linux-3.12-rc1/linux-3.12-rc1.tar.xz-144_2a-drivers--media--usb--stk1160--stk1160.ko-entry_point_false-unreach-call.cil.out.c 28.7  28.9  782741504 65.8  66.1  687415296
ldv-linux-3.12-rc1/linux-3.12-rc1.tar.xz-144_2a-drivers--media--usb--usbvision--usbvision.ko-entry_point_false-unreach-call.cil.out.c 30.1  30.3  806449152 65.8  66.1  716709888
ldv-linux-3.12-rc1/linux-3.12-rc1.tar.xz-144_2a-drivers--net--can--usb--ems_usb.ko-entry_point_false-unreach-call.cil.out.c 17.2  17.3  692645888 65.8  66.1  707850240
ldv-linux-3.12-rc1/linux-3.12-rc1.tar.xz-144_2a-drivers--net--usb--smsc95xx.ko-entry_point_false-unreach-call.cil.out.c 14.5  14.6  602857472 24.7  24.8  729841664
ldv-linux-3.12-rc1/linux-3.12-rc1.tar.xz-144_2a-drivers--net--can--usb--esd_usb2.ko-entry_point_true-unreach-call.cil.out.c 11.5  11.6  320499712 65.8  66.1  702382080
ldv-linux-3.12-rc1/linux-3.12-rc1.tar.xz-144_2a-drivers--net--wireless--rtlwifi--rtl8192se--rtl8192se.ko-entry_point_true-unreach-call.cil.out.c 15.2  15.3  454828032 27.4  27.5  840359936
ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--ethernet--qlogic--qlge--qlge.ko-entry_point_false-unreach-call.cil.out.c 19.2  19.3  608083968 65.8  66.1  698466304
ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--ppp--ppp_synctty.ko-entry_point_false-unreach-call.cil.out.c 15.3  15.4  488886272 65.8  66.1  695259136
ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--wireless--hostap--hostap_plx.ko-entry_point_false-unreach-call.cil.out.c 16.5  16.8  406134784 19.2  19.2  761438208
ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--wireless--mwifiex--mwifiex_pcie.ko-entry_point_false-unreach-call.cil.out.c 13.7  13.8  366874624 25.1  25.3  745259008
ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--wireless--rtl818x--rtl8187--rtl8187.ko-entry_point_false-unreach-call.cil.out.c 29.2  29.4  762265600 65.8  66.1  720531456
ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--wireless--rtlwifi--rtl8192cu--rtl8192cu.ko-entry_point_false-unreach-call.cil.out.c 16.2  16.3  595525632 42.5  42.7  821293056
ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--wireless--rtlwifi--rtl8723ae--rtl8723ae.ko-entry_point_false-unreach-call.cil.out.c 16.6  16.7  608251904 55.3  55.5  862679040
ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--wireless--zd1211rw--zd1211rw.ko-entry_point_false-unreach-call.cil.out.c 10.5  10.5  399552512 65.8  66.1  694657024
ldv-linux-3.16-rc1/43_2a_bitvector_linux-3.16-rc1.tar.xz-43_2a-drivers--net--wireless--orinoco--orinoco_usb.ko-entry_point_false-unreach-call.cil.out.c 14.7  14.8  510468096 21.2  21.3  725626880
ldv-linux-3.16-rc1/205_9a_array_safes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--usb--r8152.ko-entry_point_true-unreach-call.cil.out.c 15.0  15.3  345964544 19.3  19.3  741519360
ldv-linux-3.16-rc1/205_9a_array_safes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--usb--rtl8150.ko-entry_point_true-unreach-call.cil.out.c 7.56 7.60 291885056 19.5  19.6  711122944
ldv-linux-3.16-rc1/205_9a_array_safes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--wireless--rtlwifi--btcoexist--btcoexist.ko-entry_point_true-unreach-call.cil.out.c 13.7  13.8  382619648 20.4  20.5  764080128
ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--ethernet--intel--ixgb--ixgb.ko-entry_point_true-unreach-call.cil.out.c 18.8  18.9  557785088 28.8  29.0  777580544
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--bluetooth--btmrvl_sdio.ko-entry_point_true-unreach-call.cil.out.c 10.4  10.5  280203264 17.3  17.4  702820352
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--media--usb--pvrusb2--pvrusb2.ko-entry_point_true-unreach-call.cil.out.c 15.2  15.4  518815744 65.8  66.1  705318912
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--media--usb--pwc--pwc.ko-entry_point_true-unreach-call.cil.out.c 13.6  13.7  433872896 65.8  66.1  692072448
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--net--can--usb--kvaser_usb.ko-entry_point_true-unreach-call.cil.out.c 11.9  11.9  375799808 65.8  66.1  709320704
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--net--ethernet--cisco--enic--enic.ko-entry_point_true-unreach-call.cil.out.c 19.6  19.7  532156416 26.9  26.9  808472576
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--net--ethernet--emulex--benet--be2net.ko-entry_point_true-unreach-call.cil.out.c 11.2  11.3  394170368 65.8  66.1  746278912
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--net--ethernet--nvidia--forcedeth.ko-entry_point_true-unreach-call.cil.out.c 20.4  20.6  696291328 65.8  66.1  714870784
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--net--ethernet--qlogic--qlge--qlge.ko-entry_point_true-unreach-call.cil.out.c 19.3  19.5  690311168 65.9  66.1  695750656
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--net--fddi--defxx.ko-entry_point_true-unreach-call.cil.out.c 29.0  29.2  867053568 65.8  66.1  689020928
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--net--usb--pegasus.ko-entry_point_true-unreach-call.cil.out.c 11.9  12.0  302718976 13.6  13.6  726761472
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--net--wireless--ipw2x00--ipw2100.ko-entry_point_true-unreach-call.cil.out.c 29.6  29.7  857124864 60.5  60.8  906637312
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--net--wireless--rtlwifi--btcoexist--btcoexist.ko-entry_point_true-unreach-call.cil.out.c 9.56 9.60 383504384 23.5  23.6  763314176
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--net--wireless--zd1211rw--zd1211rw.ko-entry_point_true-unreach-call.cil.out.c 14.6  14.6  405147648 65.9  66.1  700317696
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--scsi--vmw_pvscsi.ko-entry_point_true-unreach-call.cil.out.c 13.3  13.4  711917568 65.8  66.1  727429120
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--staging--media--solo6x10--solo6x10.ko-entry_point_true-unreach-call.cil.out.c 12.9  12.9  369422336 65.9  66.1  710963200
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--tty--serial--8250--8250_pci.ko-entry_point_true-unreach-call.cil.out.c 11.6  11.7  305577984 18.0  18.1  737640448
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--usb--class--cdc-acm.ko-entry_point_true-unreach-call.cil.out.c 11.4  11.6  280731648 25.8  25.9  728285184
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--usb--misc--usbtest.ko-entry_point_true-unreach-call.cil.out.c 12.8  12.9  361160704 17.9  18.0  695140352
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-sound--drivers--snd-mts64.ko-entry_point_true-unreach-call.cil.out.c 7.72 7.76 286760960 65.9  66.1  693166080
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-sound--pci--cs46xx--snd-cs46xx.ko-entry_point_true-unreach-call.cil.out.c 16.0  16.1  404176896 65.9  66.0  690339840
ldv-validator-v0.6/linux-stable-1b0b0ac-1-108_1a-drivers--net--slip.ko-entry_point_false-unreach-call.cil.out.c 13.3  13.6  415670272 12.6  12.6  695615488
ldv-validator-v0.6/linux-stable-4ed3cba-1-100_1a-drivers--usb--serial--qcserial.ko-entry_point_false-unreach-call.cil.out.c 9.14 9.19 369250304 9.06 9.12 223371264
ldv-validator-v0.6/linux-stable-8a9f335-1-32_7a-drivers--net--wireless--ath--carl9170--carl9170.ko-entry_point_false-unreach-call.cil.out.c 13.0  13.0  592896000 65.8  66.1  715296768
ldv-validator-v0.6/linux-stable-90a4845-1-110_1a-drivers--char--ipmi--ipmi_si.ko-entry_point_false-unreach-call.cil.out.c 13.6  13.8  346595328 19.8  19.9  708079616
ldv-validator-v0.8/linux-stable-1b0b0ac-1-108_1a-drivers--net--slip.ko-entry_point_ldv-val-v0.8_false-unreach-call.cil.out.c 13.0  13.1  410415104 18.9  19.0  695562240
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 14.6  14.7  589275136 16.3  16.4  655409152
ldv-validator-v0.8/linux-stable-8a9f335-1-32_7a-drivers--net--wireless--ath--carl9170--carl9170.ko-entry_point_ldv-val-v0.8_false-unreach-call.cil.out.c 19.4  19.5  558710784 65.6  66.1  720109568
ldv-validator-v0.8/linux-stable-90a4845-1-110_1a-drivers--char--ipmi--ipmi_si.ko-entry_point_ldv-val-v0.8_false-unreach-call.cil.out.c 8.87 8.91 357793792 19.7  19.8  709722112
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 11.1  11.2  269410304 22.1  22.2  733970432
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--media--usb--hdpvr--hdpvr.ko-entry_point_false-unreach-call.cil.out.c 24.7  24.8  759296000 65.9  66.1  690712576
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 12.7  12.8  279334912 14.8  14.8  761556992
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 13.5  13.6  352432128 65.8  66.1  689422336
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--infiniband--ulp--ipoib--ib_ipoib.ko-entry_point_true-unreach-call.cil.out.c 11.1  11.2  380678144 65.9  66.1  694456320
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--net--ethernet--broadcom--bnx2.ko-entry_point_true-unreach-call.cil.out.c 20.4  20.5  698277888 65.9  66.1  691920896
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--net--ethernet--emulex--benet--be2net.ko-entry_point_true-unreach-call.cil.out.c 11.0  11.1  415813632 65.8  66.1  748347392
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--net--ethernet--qlogic--qlge--qlge.ko-entry_point_true-unreach-call.cil.out.c 23.1  23.3  689696768 65.8  66.1  702222336
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--net--fddi--skfp--skfp.ko-entry_point_true-unreach-call.cil.out.c 20.4  20.7  707448832 65.8  66.1  685379584
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--net--wireless--rtlwifi--btcoexist--btcoexist.ko-entry_point_true-unreach-call.cil.out.c 15.0  15.1  386088960 14.4  14.4  769208320
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--net--wireless--rtlwifi--rtl8192se--rtl8192se.ko-entry_point_true-unreach-call.cil.out.c 17.8  17.9  614322176 46.2  46.4  822685696
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 13.9  14.0  385900544 66.0  66.1  711921664
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--staging--lustre--lnet--selftest--lnet_selftest.ko-entry_point_true-unreach-call.cil.out.c 17.7  17.8  516304896 65.8  66.1  737882112
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--usb--host--oxu210hp-hcd.ko-entry_point_true-unreach-call.cil.out.c 14.0  14.1  350183424 65.8  66.1  685551616
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--infiniband--ulp--ipoib--ib_ipoib.ko-entry_point_true-unreach-call.cil.out.c 11.1  11.4  372396032 65.8  66.1  696156160
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--media--pci--ttpci--dvb-ttpci.ko-entry_point_true-unreach-call.cil.out.c 14.4  14.5  442077184 16.5  16.6  606302208
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--media--usb--pvrusb2--pvrusb2.ko-entry_point_true-unreach-call.cil.out.c 16.5  16.6  555540480 65.9  66.1  709681152
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--net--ethernet--broadcom--bnx2.ko-entry_point_true-unreach-call.cil.out.c 22.4  22.6  695996416 65.8  66.1  694464512
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--net--ethernet--qlogic--qlge--qlge.ko-entry_point_true-unreach-call.cil.out.c 20.7  20.8  689401856 65.8  66.1  696406016
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--net--fddi--skfp--skfp.ko-entry_point_true-unreach-call.cil.out.c 22.5  22.8  708403200 65.9  66.1  697806848
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 15.6  15.7  592289792 65.8  66.1  716136448
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--net--wireless--rtlwifi--btcoexist--btcoexist.ko-entry_point_true-unreach-call.cil.out.c 15.0  15.1  385822720 24.6  24.7  767545344
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--net--wireless--rtlwifi--rtl8192se--rtl8192se.ko-entry_point_true-unreach-call.cil.out.c 17.5  17.7  582877184 46.7  47.0  833015808
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--net--wireless--zd1211rw--zd1211rw.ko-entry_point_true-unreach-call.cil.out.c 10.6  10.7  430649344 66.0  66.1  786587648
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--scsi--3w-9xxx.ko-entry_point_true-unreach-call.cil.out.c 21.3  21.5  731660288 65.8  66.1  712409088
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 14.7  15.0  384684032 65.9  66.1  719220736
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--scsi--hpsa.ko-entry_point_true-unreach-call.cil.out.c 18.5  18.6  422060032 65.8  66.1  702861312
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--scsi--qla4xxx--qla4xxx.ko-entry_point_true-unreach-call.cil.out.c 20.6  20.7  758337536 65.8  66.1  712585216
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--staging--lustre--lnet--selftest--lnet_selftest.ko-entry_point_true-unreach-call.cil.out.c 19.7  19.8  518877184 65.8  66.1  696512512
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--staging--lustre--lustre--libcfs--libcfs.ko-entry_point_true-unreach-call.cil.out.c 15.9  16.0  457138176 65.8  66.1  726429696
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--usb--host--oxu210hp-hcd.ko-entry_point_true-unreach-call.cil.out.c 15.4  15.5  356282368 65.8  66.1  689856512
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--atm--nicstar.ko-entry_point_true-unreach-call.cil.out.c 13.0  13.1  342167552 65.9  66.1  714813440
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--media--pci--ttpci--dvb-ttpci.ko-entry_point_true-unreach-call.cil.out.c 14.0  14.1  426528768 9.79 9.84 596299776
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--net--ethernet--broadcom--bnx2.ko-entry_point_true-unreach-call.cil.out.c 24.0  24.1  706957312 65.9  66.1  693211136
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--net--ethernet--natsemi--natsemi.ko-entry_point_true-unreach-call.cil.out.c 15.4  15.5  398172160 65.8  66.1  736927744
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--net--ethernet--qlogic--qlge--qlge.ko-entry_point_true-unreach-call.cil.out.c 14.9  14.9  637800448 65.9  66.1  701992960
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--net--ethernet--smsc--smc91c92_cs.ko-entry_point_true-unreach-call.cil.out.c 22.8  22.9  734433280 65.8  66.1  736960512
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--net--ethernet--sun--niu.ko-entry_point_true-unreach-call.cil.out.c 19.1  19.2  452595712 65.8  66.1  752967680
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--net--fddi--defxx.ko-entry_point_true-unreach-call.cil.out.c 21.3  21.4  735772672 66.0  66.1  687271936
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 23.2  23.4  552734720 65.8  66.1  702095360
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 10.9  10.9  574586880 65.8  66.1  694353920
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--net--wireless--rtlwifi--btcoexist--btcoexist.ko-entry_point_true-unreach-call.cil.out.c 15.1  15.2  378867712 21.9  22.0  767795200
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--net--wireless--zd1211rw--zd1211rw.ko-entry_point_true-unreach-call.cil.out.c 10.7  10.7  419405824 66.1  66.3  786001920
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--scsi--advansys.ko-entry_point_true-unreach-call.cil.out.c 15.9  16.0  439861248 65.8  66.1  717586432
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--scsi--device_handler--scsi_dh_rdac.ko-entry_point_true-unreach-call.cil.out.c 15.2  15.3  641503232 65.8  66.1  697106432
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 13.8  13.9  370262016 65.8  66.1  711557120
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--scsi--hpsa.ko-entry_point_true-unreach-call.cil.out.c 18.1  18.2  425902080 65.8  66.1  706199552
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--scsi--ipr.ko-entry_point_true-unreach-call.cil.out.c 21.1  21.2  442601472 65.9  66.1  695738368
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--scsi--qla4xxx--qla4xxx.ko-entry_point_true-unreach-call.cil.out.c 29.5  29.6  714252288 65.9  66.1  710934528
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--staging--lustre--lnet--selftest--lnet_selftest.ko-entry_point_true-unreach-call.cil.out.c 20.4  20.5  529268736 65.9  66.1  695873536
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--staging--lustre--lustre--osc--osc.ko-entry_point_true-unreach-call.cil.out.c 23.1  23.2  565624832 65.8  66.1  752197632
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--staging--wlan-ng--prism2_usb.ko-entry_point_true-unreach-call.cil.out.c 13.0  13.1  495542272 65.9  66.1  699564032
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--usb--host--oxu210hp-hcd.ko-entry_point_true-unreach-call.cil.out.c 13.4  13.4  331800576 65.9  66.1  687915008
ldv-challenges/linux-3.14__complex_emg__linux-usb-dev__drivers-media-usb-hdpvr-hdpvr_false-unreach-call.cil.c 11.1  11.2  411582464 66.0  66.1  694571008
ldv-challenges/linux-3.14__complex_emg__linux-alloc-spinlock__drivers-media-pci-bt8xx-bttv_true-unreach-call.cil.c 13.0  13.1  546959360 65.8  66.1  712269824
ldv-challenges/linux-3.14__complex_emg__linux-alloc-spinlock__drivers-media-usb-gspca-gspca_topro_true-unreach-call.cil.c 19.7  19.8  807841792 65.9  66.1  802521088
ldv-challenges/linux-3.14__complex_emg__linux-alloc-spinlock__drivers-net-ethernet-myricom-myri10ge-myri10ge_true-unreach-call.cil.c 18.5  18.7  411672576 65.8  66.1  728846336
ldv-challenges/linux-3.14__complex_emg__linux-alloc-spinlock__drivers-net-ethernet-nvidia-forcedeth_true-unreach-call.cil.c 23.0  23.3  706215936 65.8  66.1  722501632
ldv-challenges/linux-3.14__complex_emg__linux-alloc-spinlock__drivers-net-wireless-rndis_wlan_true-unreach-call.cil.c 17.2  17.3  538140672 65.8  66.1  693317632
ldv-challenges/linux-3.14__complex_emg__linux-drivers-clk1__drivers-media-usb-gspca-gspca_topro_true-unreach-call.cil.c 19.3  19.5  806621184 65.9  66.1  806715392
ldv-challenges/linux-3.14__complex_emg__linux-drivers-clk1__drivers-net-ethernet-nvidia-forcedeth_true-unreach-call.cil.c 20.7  20.8  696455168 65.9  66.1  721530880
ldv-challenges/linux-3.14__complex_emg__linux-drivers-clk1__drivers-net-ethernet-smsc-smsc911x_true-unreach-call.cil.c 13.7  13.8  367669248 65.8  66.1  704995328
ldv-challenges/linux-3.14__complex_emg__linux-kernel-locking-mutex__drivers-media-common-saa7146-saa7146_vv_true-unreach-call.cil.c 14.1  14.2  378888192 65.9  66.1  720797696
ldv-challenges/linux-3.14__complex_emg__linux-kernel-locking-mutex__drivers-media-pci-bt8xx-bttv_true-unreach-call.cil.c 18.9  19.2  495214592 65.9  66.1  711036928
ldv-challenges/linux-3.14__complex_emg__linux-kernel-locking-mutex__drivers-media-usb-gspca-gspca_topro_true-unreach-call.cil.c 19.8  20.0  808366080 65.9  66.1  839921664
ldv-challenges/linux-3.14__complex_emg__linux-kernel-locking-mutex__drivers-net-ethernet-broadcom-bnx2_true-unreach-call.cil.c 23.6  23.7  701054976 65.9  66.1  702742528
ldv-challenges/linux-3.14__complex_emg__linux-kernel-locking-mutex__drivers-net-ethernet-nvidia-forcedeth_true-unreach-call.cil.c 13.8  13.9  693772288 65.9  66.1  715005952
ldv-challenges/linux-3.14__complex_emg__linux-kernel-locking-mutex__drivers-net-wireless-rndis_wlan_true-unreach-call.cil.c 16.7  16.8  570368000 65.8  66.1  689963008
ldv-challenges/linux-3.14__complex_emg__linux-kernel-locking-spinlock__drivers-media-common-saa7146-saa7146_vv_true-unreach-call.cil.c 14.4  14.5  371085312 65.8  66.1  725794816
ldv-challenges/linux-3.14__complex_emg__linux-kernel-locking-spinlock__drivers-media-pci-bt8xx-bttv_true-unreach-call.cil.c 19.0  19.1  534470656 65.8  66.1  706605056
ldv-challenges/linux-3.14__complex_emg__linux-kernel-locking-spinlock__drivers-media-pci-saa7134-saa7134_true-unreach-call.cil.c 23.2  23.3  617504768 65.8  66.1  720052224
ldv-challenges/linux-3.14__complex_emg__linux-kernel-locking-spinlock__drivers-media-usb-gspca-gspca_topro_true-unreach-call.cil.c 19.8  19.9  805986304 65.8  66.1  805670912
ldv-challenges/linux-3.14__complex_emg__linux-kernel-locking-spinlock__drivers-net-ethernet-nvidia-forcedeth_true-unreach-call.cil.c 20.3  20.4  697757696 65.8  66.1  726188032
ldv-challenges/linux-3.14__complex_emg__linux-kernel-locking-spinlock__drivers-net-ethernet-sun-niu_true-unreach-call.cil.c 12.7  12.8  488845312 65.9  66.1  761741312
ldv-challenges/linux-3.14__complex_emg__linux-kernel-locking-spinlock__drivers-net-wireless-rndis_wlan_true-unreach-call.cil.c 17.4  17.5  509132800 65.8  66.1  692092928
ldv-challenges/linux-3.14__complex_emg__linux-usb-dev__drivers-media-pci-bt8xx-bttv_true-unreach-call.cil.c 19.3  19.4  502972416 65.8  66.1  707362816
ldv-challenges/linux-3.14__complex_emg__linux-usb-dev__drivers-media-usb-em28xx-em28xx_true-unreach-call.cil.c 11.0  11.1  306167808 65.9  66.1  702558208
ldv-challenges/linux-3.14__complex_emg__linux-usb-dev__drivers-media-usb-gspca-gspca_topro_true-unreach-call.cil.c 19.9  20.0  803438592 65.9  66.1  806301696
ldv-challenges/linux-3.14__complex_emg__linux-usb-dev__drivers-net-ethernet-nvidia-forcedeth_true-unreach-call.cil.c 21.5  21.6  703946752 65.9  66.1  731480064
ldv-challenges/linux-3.14__linux-alloc-spinlock__drivers-net-ethernet-nvidia-forcedeth_true-unreach-call.cil.c 15.3  15.4  723169280 65.9  66.1  722743296
ldv-challenges/linux-3.14__linux-drivers-clk1__drivers-net-ethernet-smsc-smsc911x_true-unreach-call.cil.c 8.64 8.69 363589632 65.8  66.1  703959040
ldv-challenges/linux-3.14__linux-kernel-locking-spinlock__drivers-net-ethernet-nvidia-forcedeth_true-unreach-call.cil.c 23.5  23.7  682520576 65.9  66.1  724606976
ldv-challenges/linux-3.14__linux-usb-dev__drivers-media-usb-em28xx-em28xx_true-unreach-call.cil.c 6.57 6.61 294633472 65.8  66.1  693424128
ldv-challenges/linux-3.14__linux-usb-dev__drivers-media-usb-hdpvr-hdpvr_true-unreach-call.cil.c 14.4  14.5  390180864 65.9  66.1  690503680
ldv-challenges/linux-3.14__linux-usb-dev__drivers-net-ethernet-nvidia-forcedeth_true-unreach-call.cil.c 19.2  19.4  697741312 65.8  66.1  718372864
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 10.1  10.2  289595392 65.9  66.1  733818880
ldv-linux-3.14/linux-3.14__complex_emg__linux-alloc-spinlock__drivers-media-common-saa7146-saa7146_vv_true-unreach-call.cil.c 13.7  13.8  379838464 65.8  66.1  725086208
ldv-linux-3.14/linux-3.14__complex_emg__linux-alloc-spinlock__drivers-media-pci-saa7134-saa7134_true-unreach-call.cil.c 13.2  13.3  616579072 65.8  66.1  731684864
ldv-linux-3.14/linux-3.14__complex_emg__linux-alloc-spinlock__drivers-media-usb-usbvision-usbvision_true-unreach-call.cil.c 14.4  14.6  702320640 65.9  66.1  721317888
ldv-linux-3.14/linux-3.14__complex_emg__linux-alloc-spinlock__drivers-net-ethernet-3com-typhoon_true-unreach-call.cil.c 16.4  16.5  441470976 65.9  66.1  708972544
ldv-linux-3.14/linux-3.14__complex_emg__linux-alloc-spinlock__drivers-net-ethernet-broadcom-bnx2_true-unreach-call.cil.c 21.5  21.6  696082432 66.0  66.1  701513728
ldv-linux-3.14/linux-3.14__complex_emg__linux-alloc-spinlock__drivers-net-ethernet-qlogic-qlge-qlge_true-unreach-call.cil.c 13.3  13.3  603037696 65.8  66.1  696119296
ldv-linux-3.14/linux-3.14__complex_emg__linux-alloc-spinlock__drivers-net-ethernet-tehuti-tehuti_true-unreach-call.cil.c 16.9  17.0  461402112 65.8  66.1  717950976
ldv-linux-3.14/linux-3.14__complex_emg__linux-alloc-spinlock__drivers-net-fddi-skfp-skfp_true-unreach-call.cil.c 13.2  13.3  481472512 65.9  66.1  695107584
ldv-linux-3.14/linux-3.14__complex_emg__linux-drivers-clk1__drivers-media-pci-bt8xx-bttv_true-unreach-call.cil.c 22.6  22.7  561684480 65.8  66.1  717295616
ldv-linux-3.14/linux-3.14__complex_emg__linux-drivers-clk1__drivers-net-ethernet-broadcom-bnx2_true-unreach-call.cil.c 15.1  15.2  704745472 65.8  66.1  697098240
ldv-linux-3.14/linux-3.14__complex_emg__linux-drivers-clk1__drivers-net-ethernet-qlogic-qlge-qlge_true-unreach-call.cil.c 19.4  19.5  555675648 65.8  66.1  698163200
ldv-linux-3.14/linux-3.14__complex_emg__linux-drivers-clk1__drivers-net-fddi-skfp-skfp_true-unreach-call.cil.c 19.2  19.3  462860288 65.9  66.1  717107200
ldv-linux-3.14/linux-3.14__complex_emg__linux-kernel-locking-mutex__drivers-media-pci-saa7134-saa7134_true-unreach-call.cil.c 12.8  12.9  608415744 65.8  66.1  726114304
ldv-linux-3.14/linux-3.14__complex_emg__linux-kernel-locking-mutex__drivers-media-radio-radio-wl1273_true-unreach-call.cil.c 17.1  17.2  394182656 65.9  66.1  700301312
ldv-linux-3.14/linux-3.14__complex_emg__linux-kernel-locking-mutex__drivers-media-usb-au0828-au0828_true-unreach-call.cil.c 18.0  18.1  472522752 65.8  66.1  699580416
ldv-linux-3.14/linux-3.14__complex_emg__linux-kernel-locking-mutex__drivers-media-usb-em28xx-em28xx_true-unreach-call.cil.c 10.7  10.8  305115136 66.0  66.1  707878912
ldv-linux-3.14/linux-3.14__complex_emg__linux-kernel-locking-mutex__drivers-media-usb-pwc-pwc_true-unreach-call.cil.c 13.4  13.5  441479168 65.9  66.1  693850112
ldv-linux-3.14/linux-3.14__complex_emg__linux-kernel-locking-mutex__drivers-media-usb-stk1160-stk1160_true-unreach-call.cil.c 16.3  16.4  589393920 65.9  66.1  693719040
ldv-linux-3.14/linux-3.14__complex_emg__linux-kernel-locking-mutex__drivers-net-ethernet-qlogic-qlge-qlge_true-unreach-call.cil.c 19.7  19.8  627654656 65.9  66.1  701571072
ldv-linux-3.14/linux-3.14__complex_emg__linux-kernel-locking-mutex__drivers-net-ethernet-sun-niu_true-unreach-call.cil.c 18.7  18.8  490229760 65.8  66.1  754143232
ldv-linux-3.14/linux-3.14__complex_emg__linux-kernel-locking-mutex__drivers-net-fddi-skfp-skfp_true-unreach-call.cil.c 16.2  16.3  433598464 65.8  66.1  696582144
ldv-linux-3.14/linux-3.14__complex_emg__linux-kernel-locking-spinlock__drivers-media-platform-marvell-ccic-cafe_ccic_true-unreach-call.cil.c 13.6  13.8  416964608 65.8  66.1  712429568
ldv-linux-3.14/linux-3.14__complex_emg__linux-kernel-locking-spinlock__drivers-media-usb-au0828-au0828_true-unreach-call.cil.c 16.6  16.8  482664448 65.8  66.1  692965376
ldv-linux-3.14/linux-3.14__complex_emg__linux-kernel-locking-spinlock__drivers-media-usb-pwc-pwc_true-unreach-call.cil.c 15.2  15.3  454492160 65.8  66.1  690290688
ldv-linux-3.14/linux-3.14__complex_emg__linux-kernel-locking-spinlock__drivers-net-ethernet-broadcom-bnx2_true-unreach-call.cil.c 21.8  22.0  703139840 65.8  66.1  693698560
ldv-linux-3.14/linux-3.14__complex_emg__linux-kernel-locking-spinlock__drivers-net-ethernet-qlogic-qlge-qlge_true-unreach-call.cil.c 21.9  22.1  638169088 65.9  66.1  698273792
ldv-linux-3.14/linux-3.14__complex_emg__linux-kernel-locking-spinlock__drivers-net-fddi-skfp-skfp_true-unreach-call.cil.c 19.6  19.7  435867648 65.8  66.1  692129792
ldv-linux-3.14/linux-3.14__complex_emg__linux-usb-dev__drivers-media-pci-saa7134-saa7134_true-unreach-call.cil.c 19.2  19.3  574300160 65.8  66.1  718180352
ldv-linux-3.14/linux-3.14__complex_emg__linux-usb-dev__drivers-net-ethernet-broadcom-bnx2_true-unreach-call.cil.c 21.7  21.8  692953088 65.8  66.1  698109952
ldv-linux-3.14/linux-3.14__complex_emg__linux-usb-dev__drivers-net-ethernet-qlogic-qlge-qlge_true-unreach-call.cil.c 13.4  13.4  617975808 65.8  66.1  701054976
ldv-linux-3.14/linux-3.14__complex_emg__linux-usb-dev__drivers-net-ethernet-sun-niu_true-unreach-call.cil.c 19.3  19.4  495448064 65.8  66.1  756510720
ldv-linux-3.14/linux-3.14__complex_emg__linux-usb-dev__drivers-net-fddi-skfp-skfp_true-unreach-call.cil.c 19.1  19.2  437080064 65.8  66.1  692453376
ldv-linux-3.14/linux-3.14__complex_emg__linux-usb-dev__drivers-net-wireless-rndis_wlan_true-unreach-call.cil.c 17.7  17.8  576286720 65.9  66.1  693600256
ldv-linux-3.14/linux-3.14__linux-alloc-spinlock__drivers-media-usb-gspca-gspca_topro_true-unreach-call.cil.c 19.7  19.8  802721792 65.8  66.1  808108032
ldv-linux-3.14/linux-3.14__linux-alloc-spinlock__drivers-net-ethernet-broadcom-bnx2_true-unreach-call.cil.c 24.9  25.1  702447616 65.9  66.1  692744192
ldv-linux-3.14/linux-3.14__linux-alloc-spinlock__drivers-net-fddi-skfp-skfp_true-unreach-call.cil.c 12.8  12.9  468013056 65.8  66.1  696508416
ldv-linux-3.14/linux-3.14__linux-drivers-clk1__drivers-media-usb-gspca-gspca_topro_true-unreach-call.cil.c 19.7  19.8  814518272 65.9  66.1  838946816
ldv-linux-3.14/linux-3.14__linux-drivers-clk1__drivers-net-ethernet-broadcom-bnx2_true-unreach-call.cil.c 24.5  24.6  696692736 65.9  66.1  697061376
ldv-linux-3.14/linux-3.14__linux-drivers-clk1__drivers-net-ethernet-nvidia-forcedeth_true-unreach-call.cil.c 21.6  21.7  676122624 65.8  66.1  718233600
ldv-linux-3.14/linux-3.14__linux-drivers-clk1__drivers-net-fddi-skfp-skfp_true-unreach-call.cil.c 19.4  19.6  467980288 65.8  66.1  692039680
ldv-linux-3.14/linux-3.14__linux-kernel-locking-mutex__drivers-media-usb-em28xx-em28xx_true-unreach-call.cil.c 7.21 7.25 301035520 65.8  66.1  691363840
ldv-linux-3.14/linux-3.14__linux-kernel-locking-mutex__drivers-media-usb-gspca-gspca_topro_true-unreach-call.cil.c 19.0  19.1  735977472 65.9  66.1  802656256
ldv-linux-3.14/linux-3.14__linux-kernel-locking-mutex__drivers-net-ethernet-broadcom-bnx2_true-unreach-call.cil.c 23.4  23.5  700436480 65.9  66.1  697602048
ldv-linux-3.14/linux-3.14__linux-kernel-locking-mutex__drivers-net-ethernet-nvidia-forcedeth_true-unreach-call.cil.c 19.4  19.5  685051904 65.9  66.1  719478784
ldv-linux-3.14/linux-3.14__linux-kernel-locking-mutex__drivers-net-fddi-skfp-skfp_true-unreach-call.cil.c 17.5  17.6  470245376 65.8  66.1  695480320
ldv-linux-3.14/linux-3.14__linux-kernel-locking-spinlock__drivers-media-usb-gspca-gspca_topro_true-unreach-call.cil.c 20.4  20.5  802025472 65.8  66.1  802639872
ldv-linux-3.14/linux-3.14__linux-kernel-locking-spinlock__drivers-net-ethernet-broadcom-bnx2_true-unreach-call.cil.c 23.2  23.3  700559360 65.8  66.1  697294848
ldv-linux-3.14/linux-3.14__linux-kernel-locking-spinlock__drivers-net-ethernet-qlogic-qlge-qlge_true-unreach-call.cil.c 21.8  22.0  571322368 66.0  66.1  700846080
ldv-linux-3.14/linux-3.14__linux-kernel-locking-spinlock__drivers-net-fddi-skfp-skfp_true-unreach-call.cil.c 12.9  12.9  518897664 65.9  66.1  690327552
ldv-linux-3.14/linux-3.14__linux-usb-dev__drivers-media-usb-gspca-gspca_topro_true-unreach-call.cil.c 20.3  20.4  738627584 65.9  66.1  810541056
ldv-linux-3.14/linux-3.14__linux-usb-dev__drivers-net-ethernet-broadcom-bnx2_true-unreach-call.cil.c 15.8  15.8  707481600 65.9  66.1  722198528
ldv-linux-3.14/linux-3.14__linux-usb-dev__drivers-net-ethernet-qlogic-qlge-qlge_true-unreach-call.cil.c 20.2  20.4  639885312 65.8  66.1  694849536
ldv-linux-3.14/linux-3.14__linux-usb-dev__drivers-net-fddi-skfp-skfp_true-unreach-call.cil.c 19.6  19.7  478203904 65.8  66.1  697167872
ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--infiniband--ulp--srp--ib_srp.ko_false-unreach-call.cil.c 17.1  17.2  428101632 65.8  66.1  713457664
ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--gspca--gspca_main.ko_false-unreach-call.cil.c 8.36 8.40 311500800 18.0  18.1  540319744
ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--net--ethernet--qlogic--qlge--qlge.ko_false-unreach-call.cil.c 21.7  21.8  641724416 65.8  66.1  702767104
ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--esas2r--esas2r.ko_false-unreach-call.cil.c 15.5  15.6  422731776 65.8  66.1  713768960
ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko_false-unreach-call.cil.c 22.0  22.1  484286464 65.8  66.1  705261568
ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--qla4xxx--qla4xxx.ko_false-unreach-call.cil.c 30.7  30.9  786337792 65.8  66.1  776888320
ldv-linux-4.0-rc1-mav/linux-4_true-termination.0-rc1---drivers--media--rc--lirc_dev.ko_true-unreach-call.cil.c 9.36 9.41 413233152 65.8  66.1  703643648
ldv-memsafety/StructInitialization1_true-valid-memsafety.c 7.45 7.65 191856640 62.8  63.1  659267584
recursive/Addition02WithOverflowBug_false-no-overflow.c 6.99 7.20 179957760 -
recursive/Addition03_false-no-overflow.c 6.87 6.93 186609664 -
recursive/EvenOdd03WithOverflowBug_false-no-overflow.c 6.85 6.90 180748288 -
recursive-simple/id_b3_o2_false-no-overflow.c 6.87 6.93 182185984 -
recursive-simple/id_b3_o5_false-no-overflow.c 6.82 6.88 181063680 -
recursive-simple/id_b5_o10_false-no-overflow.c 4.96 5.20 178343936 -
recursive-simple/sum_non_eq_false-no-overflow.c 6.84 6.91 176914432 -
recursive-simple/sum_non_false-no-overflow.c 6.71 6.76 182403072 -
bitvector/byte_add_1_false-no-overflow.i 5.15 5.20 181239808 -
bitvector/byte_add_2_false-no-overflow.i 5.30 5.34 182542336 -
bitvector/byte_add_false-no-overflow.i 4.89 5.12 187506688 -
bitvector/jain_1_false-no-overflow.i 6.99 7.04 176758784 -
bitvector/jain_2_false-no-overflow.i 6.90 6.96 179351552 -
bitvector/jain_4_false-no-overflow.i 7.12 7.17 176988160 -
bitvector/jain_5_false-no-overflow.i 6.82 6.88 185397248 -
bitvector/jain_6_false-no-overflow.i 7.00 7.06 181182464 -
bitvector/jain_7_false-no-overflow.i 6.94 7.00 177139712 -
bitvector/modulus_false-no-overflow.i 6.81 6.87 178466816 -
psyco/psyco_abp_1_false-no-overflow.c 5.51 5.55 211996672 -
signedintegeroverflow-regression/AdditionIntMax_false-no-overflow.c.i 6.98 7.03 187953152 -
signedintegeroverflow-regression/AdditionIntMin_false-no-overflow.c.i 4.66 4.70 176902144 -
signedintegeroverflow-regression/Division_false-no-overflow.c.i 6.99 7.06 175874048 -
signedintegeroverflow-regression/Multiplication_false-no-overflow.c.i 6.92 6.98 174309376 -
signedintegeroverflow-regression/NoConversion_false-no-overflow.c.i 6.78 6.83 178728960 -
signedintegeroverflow-regression/PostfixDecrement_false-no-overflow.c.i 6.91 6.98 180932608 -
signedintegeroverflow-regression/PostfixIncrement_false-no-overflow.c.i 6.87 6.92 176107520 -
signedintegeroverflow-regression/PrefixDecrement_false-no-overflow.c.i 6.96 7.03 174927872 -
signedintegeroverflow-regression/PrefixIncrement_false-no-overflow.c.i 6.34 6.41 173707264 -
signedintegeroverflow-regression/UnaryMinus_false-no-overflow.c.i 6.83 6.89 180670464 -
signedintegeroverflow-regression/ConversionToSignedInt_true-no-overflow_true-termination.c.i 6.74 6.79 178409472 -
signedintegeroverflow-regression/IntegerPromotion_true-no-overflow_true-termination.c.i 6.90 6.98 177000448 -
signedintegeroverflow-regression/Multiplication_true-no-overflow_true-termination.c.i 6.85 6.92 178761728 -
signedintegeroverflow-regression/NoNegativeIntegerConstant_true-no-overflow_true-termination.c.i 6.97 7.02 177737728 -
signedintegeroverflow-regression/UsualArithmeticConversions_true-no-overflow_true-termination.c.i 4.84 5.44 178298880 -
termination-crafted/2Nested_false-no-overflow.c 7.00 7.81 179564544 -
termination-crafted/4NestedWith3Variables_false-no-overflow.c 6.96 7.03 173424640 -
termination-crafted/Ackermann_false-no-overflow.c 6.86 7.07 174481408 -
termination-crafted/Bangalore_false-no-overflow.c 6.92 6.99 179654656 -
termination-crafted/Bangalore_v3_false-no-overflow.c 6.79 6.99 178184192 -
termination-crafted/Benghazi_nondet_false-no-overflow.c 6.68 7.11 179113984 -
termination-crafted/Binary_Search_false-no-overflow.c 6.71 6.97 175153152 -
termination-crafted/Cairo_nondet_false-no-overflow.c 6.91 6.98 174141440 -
termination-crafted/Cairo_step2_false-no-overflow.c 6.82 6.87 177397760 -
termination-crafted/Collatz_unknown-termination_false-no-overflow.c 4.87 5.08 177451008 -
termination-crafted/Copenhagen_disj_false-no-overflow.c 7.12 7.17 191184896 -
termination-crafted/Gothenburg_false-no-overflow.c 4.55 4.58 175091712 -
termination-crafted/Gothenburg_v2_false-no-overflow.c 7.00 7.04 178020352 -
termination-crafted/Hanoi_2vars_false-no-overflow.c 4.76 4.80 176562176 -
termination-crafted/Hanoi_3vars_false-no-overflow.c 6.81 6.87 181071872 -
termination-crafted/Hanoi_plus_false-no-overflow.c 4.83 4.86 176840704 -
termination-crafted/Lobnya-Boolean-Reordered_false-no-overflow.c 6.96 7.01 179400704 -
termination-crafted/Mysore_false-no-overflow.c 6.62 6.67 179601408 -
termination-crafted/NestedRecursion_1a_false-no-overflow.c 4.78 5.20 176013312 -
termination-crafted/NestedRecursion_2a_false-no-overflow.c 6.76 6.83 178479104 -
termination-crafted/NonTermination1_false-no-overflow.c 6.95 7.00 180404224 -
termination-crafted/NonTermination2_false-no-overflow.c 5.06 5.11 179351552 -
termination-crafted/NonTermination4_false-no-overflow.c 6.89 6.95 176345088 -
termination-crafted/NonTerminationSimple2_false-no-overflow.c 6.97 7.02 186466304 -
termination-crafted/NonTerminationSimple3_false-no-overflow.c 6.88 6.94 186695680 -
termination-crafted/NonTerminationSimple4_false-no-overflow.c 7.03 7.08 178425856 -
termination-crafted/NonTerminationSimple5_false-no-overflow.c 6.98 7.03 175038464 -
termination-crafted/NonTerminationSimple6_false-no-overflow.c 6.80 6.86 179019776 -
termination-crafted/NonTerminationSimple8_false-no-overflow.c 6.87 6.94 177340416 -
termination-crafted/NonTerminationSimple9_false-no-overflow.c 6.75 6.79 177778688 -
termination-crafted/Pure2Phase_false-no-overflow.c 6.73 6.79 179466240 -
termination-crafted/Pure3Phase_false-no-overflow.c 6.76 6.83 184606720 -
termination-crafted/RecursiveMultiplication_false-no-overflow.c 6.81 6.87 176107520 -
termination-crafted/RecursiveNonterminating_false-no-overflow.c 6.65 6.71 176128000 -
termination-crafted/Rotation180_false-no-overflow.c 6.84 6.90 178577408 -
termination-crafted/Singapore_false-no-overflow.c 6.85 6.90 174456832 -
termination-crafted/Singapore_plus_false-no-overflow.c 6.52 6.56 173367296 -
termination-crafted/Singapore_v1_false-no-overflow.c 6.80 6.99 178196480 -
termination-crafted/Singapore_v2_false-no-overflow.c 6.87 6.93 183697408 -
termination-crafted/Stockholm_false-no-overflow.c 7.02 7.07 179630080 -
termination-crafted/Thun_false-no-overflow.c 4.89 4.92 184389632 -
termination-crafted/Toulouse-BranchesToLoop_false-no-overflow.c 6.70 6.76 175833088 -
termination-crafted/Toulouse-MultiBranchesToLoop_false-no-overflow.c 4.96 5.00 179175424 -
termination-crafted/aaron2_false-no-overflow.c 4.90 4.94 180711424 -
termination-crafted/aaron3_false-no-overflow.c 4.88 4.91 181129216 -
termination-crafted/easy2_false-no-overflow.c 6.77 6.83 179568640 -
termination-crafted/4BitCounterPointer_true-no-overflow_true-termination_true-valid-memsafety.c 6.83 6.88 180191232 -
termination-crafted/Arrays01-EquivalentConstantIndices_true-no-overflow_true-termination_true-valid-memsafety.c 7.11 7.16 176730112 -
termination-crafted/Arrays02-EquivalentConstantIndices_true-no-overflow_false-termination.c 6.98 7.03 179539968 -
termination-crafted/Arrays03-ValueRestictsIndex_true-no-overflow_true-termination_true-valid-memsafety.c 4.93 4.96 177315840 -
termination-crafted/Bangalore_true-no-overflow_true-termination_true-valid-memsafety.c 6.77 6.82 178429952 -
termination-crafted/Bangalore_v2_true-no-overflow_false-termination_true-valid-memsafety.c 6.94 6.99 176828416 -
termination-crafted/Bangalore_v4_true-no-overflow_true-termination_true-valid-memsafety.c 7.02 7.08 179032064 -
termination-crafted/Benghazi_true-no-overflow_true-termination_true-valid-memsafety.c 6.99 7.05 178667520 -
termination-crafted/Cairo_step2_true-no-overflow_false-termination_true-valid-memsafety.c 6.76 6.96 181506048 -
termination-crafted/Cairo_step2_true-no-overflow_true-termination_true-valid-memsafety.c 6.80 6.88 178880512 -
termination-crafted/Cairo_true-no-overflow_true-termination_true-valid-memsafety.c 6.89 6.96 178339840 -
termination-crafted/Copenhagen_true-no-overflow_true-termination_true-valid-memsafety.c 6.82 6.88 180674560 -
termination-crafted/Division_true-no-overflow_false-termination_true-valid-memsafety.c 6.79 6.86 175960064 -
termination-crafted/LexIndexValue-Array_true-no-overflow_true-termination_true-valid-memsafety.c 6.96 7.03 180944896 -
termination-crafted/LexIndexValue-Pointer_true-no-overflow.c 6.89 7.14 180666368 -
termination-crafted/Madrid_true-no-overflow_false-termination_true-valid-memsafety.c 6.84 6.90 175726592 -
termination-crafted/McCarthy91_Iteration_true-no-overflow_true-termination_true-valid-memsafety.c 6.93 6.99 180920320 -
termination-crafted/McCarthy91_Recursion_true-no-overflow_true-termination_true-valid-memsafety.c 6.97 7.03 178962432 -
termination-crafted/MenloPark_true-no-overflow_true-termination_true-valid-memsafety.c 6.73 6.79 175296512 -
termination-crafted/MutualRecursion_1a_true-no-overflow_false-termination_true-valid-memsafety.c 6.99 7.06 177963008 -
termination-crafted/MutualRecursion_1b_true-no-overflow_true-termination_true-valid-memsafety.c 6.83 6.91 177963008 -
termination-crafted/NestedRecursion_1b_true-no-overflow_true-termination_true-valid-memsafety.c 6.95 7.01 177356800 -
termination-crafted/NestedRecursion_1c_true-no-overflow_true-termination_true-valid-memsafety.c 6.63 6.70 175763456 -
termination-crafted/NestedRecursion_1d_true-no-overflow_true-termination_true-valid-memsafety.c 4.70 4.74 172453888 -
termination-crafted/NestedRecursion_2b_true-no-overflow_false-termination_true-valid-memsafety.c 4.83 4.87 177307648 -
termination-crafted/NestedRecursion_2c_true-no-overflow_true-termination_true-valid-memsafety.c 6.79 6.85 178606080 -
termination-crafted/NonTermination3_true-no-overflow_false-termination.c 4.95 4.98 175513600 -
termination-crafted/NonTerminationSimple7_true-no-overflow_false-termination_true-valid-memsafety.c 4.61 4.65 174903296 -
termination-crafted/Nyala-2lex_true-no-overflow_true-termination_true-valid-memsafety.c 6.28 6.34 180912128 -
termination-crafted/Parallel_true-no-overflow_true-termination_true-valid-memsafety.c 6.99 7.06 182431744 -
termination-crafted/Piecewise_true-no-overflow_true-termination_true-valid-memsafety.c 6.72 6.79 179056640 -
termination-crafted/SyntaxSupportPointer01_true-no-overflow_true-termination.c 6.93 7.02 176807936 -
termination-crafted/TelAviv-Amir-Minimum_true-no-overflow_true-termination_true-valid-memsafety.c 6.42 6.49 180805632 -
termination-crafted/Waldkirch_true-no-overflow_true-termination_true-valid-memsafety.c 6.88 6.96 181907456 -
termination-crafted/WhileFalse_true-no-overflow_true-termination_true-valid-memsafety.c 4.83 4.87 173936640 -
termination-crafted/WhileTrue_true-no-overflow_false-termination_true-valid-memsafety.c 6.52 6.60 175742976 -
termination-crafted/easy1_true-no-overflow_true-termination_true-valid-memsafety.c 6.85 6.91 175308800 -
termination-crafted/easy2_true-no-overflow_true-termination_true-valid-memsafety.c 5.95 6.01 178028544 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2a_false-no-overflow.c 6.90 7.30 178188288 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2b_false-no-overflow.c 6.99 7.03 178651136 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron2_false-no-overflow.c 6.75 6.93 182595584 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron3_false-no-overflow.c 6.82 6.89 178163712 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-complex_false-no-overflow.c 4.66 4.71 177291264 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1a_false-no-overflow.c 6.88 6.94 180158464 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1b_false-no-overflow.c 6.15 6.22 173776896 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2_false-no-overflow.c 7.03 7.09 175628288 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-exmini_false-no-overflow.c 6.33 6.75 174927872 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-ndecr_false-no-overflow.c 4.75 4.95 178827264 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_false-no-overflow.c 6.95 7.13 179683328 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d_false-no-overflow.c 6.68 6.75 178774016 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-rsd_false-no-overflow.c 6.87 7.28 180191232 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedFails4_false-no-overflow.c 6.98 7.17 176738304 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-terminate_false-no-overflow.c 6.88 7.09 178442240 -
termination-crafted-lit/Ben-Amram-LMCS2010-Ex2.3_false-no-overflow.c 6.65 6.70 183713792 -
termination-crafted-lit/BradleyMannaSipma-ICALP2005-Fig1_false-no-overflow.c 4.70 4.74 176701440 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron12_false-no-overflow.c 6.98 7.05 177500160 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron1_false-no-overflow.c 4.89 4.92 176222208 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron2_false-no-overflow.c 6.82 7.02 178012160 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron3_false-no-overflow.c 4.90 4.93 174870528 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron4_false-no-overflow.c 4.91 4.96 178708480 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron6_false-no-overflow.c 6.81 6.85 182239232 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.01_false-no-overflow.c 7.08 7.15 179806208 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.02_false-no-overflow.c 6.96 7.02 176185344 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.03_false-no-overflow.c 7.03 7.08 179159040 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.04_false-no-overflow.c 6.70 6.75 180760576 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.05_false-no-overflow.c 6.99 7.04 179003392 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.01_false-no-overflow.c 7.12 7.16 181563392 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.02_false-no-overflow.c 7.13 7.19 178180096 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.03_false-no-overflow.c 6.90 7.08 179617792 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.04_false-no-overflow.c 6.60 6.65 179126272 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.05_false-no-overflow.c 6.72 6.77 177741824 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.06_false-no-overflow.c 6.90 6.96 177553408 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.07_false-no-overflow.c 6.85 7.05 184348672 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.08_false-no-overflow.c 4.77 4.82 178335744 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.09_false-no-overflow.c 6.94 7.00 178491392 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.10_false-no-overflow.c 6.72 7.10 178798592 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.11_false-no-overflow.c 6.97 7.03 186630144 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.12_false-no-overflow.c 6.91 6.98 180158464 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.13_false-no-overflow.c 6.85 6.91 180195328 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.14_false-no-overflow.c 4.84 4.88 174931968 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.15_false-no-overflow.c 6.90 6.96 177258496 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.16_false-no-overflow.c 6.90 6.95 176529408 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.17_false-no-overflow.c 7.12 7.20 182525952 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.18_false-no-overflow.c 6.99 7.06 181596160 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.19_false-no-overflow.c 6.89 6.95 180027392 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.21_false-no-overflow.c 5.11 5.15 175284224 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.22_false-no-overflow.c 4.77 4.81 180047872 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.02_false-no-overflow.c 6.88 6.94 177184768 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.03_false-no-overflow.c 4.77 4.81 174252032 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.04_false-no-overflow.c 6.91 6.98 177033216 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.05_false-no-overflow.c 6.78 6.83 179896320 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.06_false-no-overflow.c 6.80 6.84 179728384 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.07_false-no-overflow.c 6.95 7.20 174899200 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.08_false-no-overflow.c 6.77 6.81 173481984 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.09_false-no-overflow.c 6.71 6.80 179089408 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.10_false-no-overflow.c 6.81 6.86 181268480 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex4.01_false-no-overflow.c 6.75 6.81 179777536 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Fig1_false-no-overflow.c 6.87 6.92 178860032 -
termination-crafted-lit/ColonSipma-TACAS2001-Fig1_false-no-overflow.c 6.97 7.06 178565120 -
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1a_false-no-overflow.c 7.04 7.10 180547584 -
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1b_false-no-overflow.c 6.78 6.83 178241536 -
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1c_false-no-overflow.c 4.88 4.93 177000448 -
termination-crafted-lit/GulwaniJainKoskinen-PLDI2009-Fig1_false-no-overflow.c 6.89 6.94 178372608 -
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig2_false-no-overflow.c 7.05 7.11 179941376 -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig2_false-no-overflow.c 6.80 6.87 179630080 -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig7_false-no-overflow.c 6.76 6.84 175931392 -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig8_false-no-overflow.c 4.92 4.96 180088832 -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig9_false-no-overflow.c 4.76 4.80 178122752 -
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex1_false-no-overflow.c 6.97 7.02 174637056 -
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex2_false-no-overflow.c 7.02 7.08 179335168 -
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex3_false-no-overflow.c 6.84 6.89 178892800 -
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex6_false-no-overflow.c 6.93 6.99 178982912 -
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex7_false-no-overflow.c 6.92 6.98 179113984 -
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex8_false-no-overflow.c 6.61 6.66 174268416 -
termination-crafted-lit/LeikeHeizmann-TACAS2014-Fig1_false-no-overflow.c 6.76 6.83 176721920 -
termination-crafted-lit/LeikeHeizmann-WST2014-Ex5_false-no-overflow.c 4.70 4.90 186114048 -
termination-crafted-lit/LeikeHeizmann-WST2014-Ex6_false-no-overflow.c 6.90 6.95 177123328 -
termination-crafted-lit/Masse-VMCAI2014-Ex6_false-no-overflow.c 4.81 4.84 175726592 -
termination-crafted-lit/Masse-VMCAI2014-Fig1a_false-no-overflow.c 6.83 6.90 174559232 -
termination-crafted-lit/Masse-VMCAI2014-Fig1b_false-no-overflow.c 6.90 6.96 182517760 -
termination-crafted-lit/NoriSharma-FSE2013-Fig7_false-no-overflow.c 7.06 7.11 182951936 -
termination-crafted-lit/NoriSharma-FSE2013-Fig8_false-no-overflow.c 6.82 6.87 177299456 -
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig2-TACAS2011-Fig3_false-no-overflow.c 6.91 6.97 179576832 -
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig2_false-no-overflow.c 7.02 7.26 179343360 -
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig3_false-no-overflow.c 4.93 4.96 176095232 -
termination-crafted-lit/PodelskiRybalchenko-VMCAI2004-Ex1_false-no-overflow.c 4.91 4.96 178839552 -
termination-crafted-lit/PodelskiRybalchenko-VMCAI2004-Ex2_false-no-overflow.c 6.72 6.77 175599616 -
termination-crafted-lit/cstrncmp_false-no-overflow.c 6.97 7.02 184795136 -
termination-crafted-lit/gcd1_false-no-overflow.c 6.97 7.03 179617792 -
termination-crafted-lit/joey_false-no-overflow.c 6.90 7.07 180289536 -
termination-crafted-lit/min_rf_false-no-overflow.c 6.94 7.00 177545216 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig1_true-termination_true-no-overflow.c 6.68 6.74 177680384 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-cousot9_true-termination_true-no-overflow.c 6.89 6.94 178044928 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy1_true-termination_true-no-overflow.c 6.68 6.74 179822592 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2_true-termination_true-no-overflow.c 6.71 6.76 181657600 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-loops_true-termination_true-no-overflow.c 6.69 6.76 179486720 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_true-termination_true-no-overflow.c 4.87 4.91 179298304 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d_true-termination_true-no-overflow.c 6.84 6.89 176480256 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random2d_true-termination_true-no-overflow.c 6.88 6.94 177696768 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi2_true-termination_true-no-overflow.c 7.06 7.12 181334016 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi3_true-termination_true-no-overflow.c 6.83 6.89 177393664 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi4_true-termination_true-no-overflow.c 6.96 7.02 181370880 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wcet2_true-termination_true-no-overflow.c 6.94 7.02 178765824 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-while2_true-termination_true-no-overflow.c 6.83 6.89 176644096 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wise_true-termination_true-no-overflow.c 4.70 4.73 174673920 -
termination-crafted-lit/Avery-FLOPS2006-Table1_true-termination_true-no-overflow.c 4.69 4.72 178634752 -
termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1-modified_false-termination_true-no-overflow.c 5.05 5.21 178741248 -
termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1_true-termination_true-no-overflow.c 7.09 7.15 177033216 -
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig1_true-termination_true-no-overflow.c 7.11 7.17 176005120 -
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig9a_true-termination_true-no-overflow.c 6.92 6.96 176451584 -
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Introduction_true-termination_true-no-overflow.c 6.89 6.95 175271936 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy1_true-termination_true-no-overflow.c 6.90 6.94 180002816 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy2_true-termination_true-no-overflow.c 4.89 4.93 174714880 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random1d_true-termination_true-no-overflow.c 6.97 7.03 174223360 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random2d_true-termination_true-no-overflow.c 7.05 7.10 181911552 -
termination-crafted-lit/ChenCookFuhsNimkarOHearn-TACAS2014-Introduction_false-termination_true-no-overflow.c 6.74 6.80 179019776 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.20_true-termination_true-no-overflow.c 6.99 7.05 180404224 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.01_true-termination_true-no-overflow.c 6.54 6.61 178163712 -
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig1_true-termination_true-no-overflow.c 6.89 6.96 178003968 -
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7a_true-termination_true-no-overflow.c 6.94 6.99 176394240 -
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7b_true-termination_true-no-overflow.c 6.84 6.89 175050752 -
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a-modified_true-termination_true-no-overflow.c 6.94 7.01 178266112 -
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a_true-termination_true-no-overflow.c 6.86 6.91 179765248 -
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8b_true-termination_true-no-overflow.c 6.86 6.91 177262592 -
termination-crafted-lit/GopanReps-CAV2006-Fig1a_true-termination_true-no-overflow.c.c 7.01 7.09 181051392 -
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig1_true-termination_true-no-overflow.c 4.84 4.87 176500736 -
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig3_true-termination_true-no-overflow.c 4.79 4.83 178892800 -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig1_true-termination_true-no-overflow.c 6.86 6.91 177315840 -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig4_true-termination_true-no-overflow.c 7.06 7.13 180457472 -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig5_true-termination_true-no-overflow.c 6.80 6.86 182927360 -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig6_true-termination_true-no-overflow.c 4.64 4.68 174161920 -
termination-crafted-lit/HenzingerJhalaMajumdarSutre-POPL2002-LockingExample_false-termination_true-no-overflow.c 6.92 7.18 179417088 -
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Ex_true-termination_true-no-overflow.c 6.53 6.58 177221632 -
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Fig1_true-termination_true-no-overflow.c 6.81 6.86 177491968 -
termination-crafted-lit/LarrazOliverasRodriguez-CarbonellRubio-FMCAD2013-Fig1_true-termination_true-no-overflow.c 6.81 6.87 179154944 -
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex4_true-termination_true-no-overflow.c 4.79 4.83 181313536 -
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex5_true-termination_true-no-overflow.c 6.89 6.96 180920320 -
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex1_true-termination_true-no-overflow.c 6.79 6.85 180404224 -
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex9_true-termination_true-no-overflow.c 6.73 6.79 183160832 -
termination-crafted-lit/LeikeHeizmann-WST2014-Ex9_true-termination_true-no-overflow.c 6.63 6.70 176922624 -
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig1_true-termination_true-no-overflow.c 6.69 6.75 180019200 -
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig1_true-termination_true-no-overflow.c 4.76 4.80 176975872 -
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig2_true-termination_true-no-overflow.c 6.92 6.97 179003392 -
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig4_true-termination_true-no-overflow.c 6.76 6.84 178905088 -
termination-crafted-lit/Urban-WST2013-Fig1_false-termination_true-no-overflow.c 6.94 7.00 176832512 -
termination-crafted-lit/Urban-WST2013-Fig2-modified1000_true-termination_true-no-overflow.c 7.02 7.08 176529408 -
termination-crafted-lit/Urban-WST2013-Fig2_true-termination_true-no-overflow.c 6.85 6.90 178827264 -
termination-crafted-lit/UrbanMine-ESOP2014-Fig3_true-termination_true-no-overflow.c 6.99 7.06 180256768 -
termination-crafted-lit/Velroyen_false-termination_true-no-overflow.c 4.62 4.66 173240320 -
termination-crafted-lit/aviad_true-termination_true-no-overflow.c 6.97 7.04 177319936 -
termination-crafted-lit/cstrcmp_true-termination_true-no-overflow.c 6.94 7.00 179658752 -
termination-crafted-lit/cstrcspn_true-termination_true-no-overflow.c 7.00 7.08 180854784 -
termination-crafted-lit/cstrlen_true-termination_true-no-overflow.c 6.89 6.96 179105792 -
termination-crafted-lit/cstrpbrk_true-termination_true-no-overflow.c 7.14 7.33 182689792 -
termination-crafted-lit/cstrspn_true-termination_true-no-overflow.c 5.12 5.35 179335168 -
termination-crafted-lit/genady_true-termination_true-no-overflow.c 7.02 7.08 175693824 -
termination-crafted-lit/strchr_true-no-overflow_true-termination.c 4.74 4.77 171974656 -
termination-numeric/Addition01_false-no-overflow.c 6.99 7.04 175828992 -
termination-numeric/Avg_true_false-no-overflow.c 6.97 7.02 177971200 -
termination-numeric/Binomial_true-termination_false-no-overflow.c 7.04 7.09 181297152 -
termination-numeric/Et1_true_false-no-overflow.c 6.83 6.90 181276672 -
termination-numeric/Et2_true_false-no-overflow.c 6.92 6.97 180125696 -
termination-numeric/Et3_true_false-no-overflow.c 7.00 7.08 179744768 -
termination-numeric/Et4_true_false-no-overflow.c 7.07 7.13 179740672 -
termination-numeric/MultCommutative_false-no-overflow.c 4.97 5.01 178614272 -
termination-numeric/TerminatorRec02_true-termination_false-no-overflow.c 4.84 4.88 176648192 -
termination-numeric/Ackermann01_true-termination_true-no-overflow.c 6.92 6.98 174235648 -
termination-numeric/EvenOdd01_true-termination_true-no-overflow.c 6.74 6.81 186486784 -
termination-numeric/Fibonacci01_true-termination_true-no-overflow.c 6.85 6.91 183078912 -
termination-numeric/LeUserDefRec_true-termination_true-no-overflow.c 6.76 6.81 184352768 -
termination-numeric/LogRecursive_true-termination_true-no-overflow.c 7.05 7.12 181854208 -
termination-numeric/Parts_true-termination_true-no-overflow.c 4.67 4.70 176238592 -
termination-numeric/TwoWay_true-termination_true-no-overflow.c 6.82 6.88 178327552 -
termination-numeric/gcd01_true-termination_true-no-overflow.c 6.83 6.89 175222784 -
termination-numeric/java_LogBuiltIn_true-termination_true-no-overflow.c 6.98 7.04 181022720 -
termination-numeric/recHanoi02_true-termination_true-no-overflow.c 6.91 7.13 179908608 -
termination-numeric/rec_counter1_true-termination_true-no-overflow.c 6.75 6.80 176664576 -
termination-numeric/rec_counter3_true-termination_true-no-overflow.c 4.73 4.76 179122176 -
termination-numeric/twisted_true-termination_true-no-overflow.c 6.88 6.95 181727232 -
busybox-1.22.0/chgrp-incomplete_false-no-overflow.i 7.32 7.38 187383808 -
busybox-1.22.0/chroot-incomplete_false-no-overflow.i 7.34 7.55 183582720 -
busybox-1.22.0/cut_false-no-overflow.i 7.40 7.47 194195456 -
busybox-1.22.0/date_false-no-overflow.i 7.61 7.66 193314816 -
busybox-1.22.0/du_false-no-overflow.i 7.64 7.71 191987712 -
busybox-1.22.0/echo_false-no-overflow.i 7.36 7.41 187113472 -
busybox-1.22.0/expand_false-no-overflow.i 5.30 5.33 190717952 -
busybox-1.22.0/fold_false-no-overflow.i 7.31 7.36 184995840 -
busybox-1.22.0/head_false-no-overflow.i 7.28 7.34 193470464 -
busybox-1.22.0/logname_false-no-overflow.i 7.18 7.24 187023360 -
busybox-1.22.0/ls-incomplete_false-no-overflow.i 7.69 7.76 198475776 -
busybox-1.22.0/mkdir_false-no-overflow.i 5.25 5.30 192229376 -
busybox-1.22.0/mkfifo-incomplete_false-no-overflow.i 7.50 7.56 188420096 -
busybox-1.22.0/od_false-no-overflow.i 7.58 7.64 205848576 -
busybox-1.22.0/printf_false-no-overflow.i 7.51 7.57 191471616 -
busybox-1.22.0/readlink_false-no-overflow.i 5.10 5.13 190644224 -
busybox-1.22.0/realpath_false-no-overflow.i 4.83 4.87 193830912 -
busybox-1.22.0/rm_false-no-overflow.i 7.70 7.76 194818048 -
busybox-1.22.0/seq_false-no-overflow.i 7.41 7.48 189345792 -
busybox-1.22.0/sleep_false-no-overflow.i 7.51 7.57 189812736 -
busybox-1.22.0/stty_false-no-overflow.i 7.91 7.98 246710272 -
busybox-1.22.0/sync_false-no-overflow.i 7.20 7.25 180281344 -
busybox-1.22.0/tac_false-no-overflow.i 7.31 7.39 187744256 -
busybox-1.22.0/tee_false-no-overflow.i 7.43 7.49 190431232 -
busybox-1.22.0/test-incomplete_false-no-overflow.i 7.68 7.75 190373888 -
busybox-1.22.0/touch_false-no-overflow.i 7.32 7.58 197402624 -
busybox-1.22.0/uname_false-no-overflow.i 7.73 7.80 191565824 -
busybox-1.22.0/uniq_false-no-overflow.i 7.15 7.21 190103552 -
busybox-1.22.0/usleep_false-no-overflow.i 5.24 5.29 184770560 -
busybox-1.22.0/uudecode_false-no-overflow.i 7.69 7.75 197619712 -
busybox-1.22.0/wc_false-no-overflow.i 7.42 7.51 188256256 -
busybox-1.22.0/who_false-no-overflow.i 7.47 7.55 192237568 -
busybox-1.22.0/whoami-incomplete_false-no-overflow.i 5.18 5.39 186630144 -
busybox-1.22.0/yes_false-no-overflow.i 7.35 7.42 186961920 -
termination-crafted/Arrays02-EquivalentConstantIndices_false-termination_true-valid-memsafety.c 4.73 4.92 179224576 -
termination-crafted/Binary_Search_false-termination_true-valid-memsafety.c 4.71 4.75 176906240 -
termination-crafted/Mysore_false-termination_true-valid-memsafety.c 6.83 6.89 177426432 -
termination-crafted/NestedRecursion_1a_false-termination_true-valid-memsafety.c 6.97 7.17 178708480 -
termination-crafted/NonTermination3_false-termination_false-valid-deref.c 6.80 6.89 178024448 -
termination-crafted/RecursiveNonterminating_false-termination_true-valid-memsafety.c 6.88 6.95 178446336 -
termination-crafted/Rotation180_false-termination_true-valid-memsafety.c 6.80 6.88 183967744 -
termination-crafted/2Nested_true-termination_true-valid-memsafety.c 7.08 7.14 179769344 -
termination-crafted/4NestedWith3Variables_true-termination_true-valid-memsafety.c 4.78 4.82 177795072 -
termination-crafted/Ackermann_true-termination_true-valid-memsafety.c 6.98 7.05 176398336 -
termination-crafted/Benghazi_nondet_true-termination_true-valid-memsafety.c 6.99 7.05 182198272 -
termination-crafted/Copenhagen_disj_true-termination_true-valid-memsafety.c 6.68 6.73 176259072 -
termination-crafted/Gothenburg_true-termination_true-valid-memsafety.c 6.85 6.90 180781056 -
termination-crafted/Gothenburg_v2_true-termination_true-valid-memsafety.c 7.04 7.10 182517760 -
termination-crafted/LexIndexValue-Pointer_true-termination_true-valid-memsafety.c 4.67 4.70 180326400 -
termination-crafted/Lobnya-Boolean-Reordered_true-termination_true-valid-memsafety.c 4.68 4.71 176680960 -
termination-crafted/Mysore_true-termination_true-valid-memsafety.c 6.89 6.96 179494912 -
termination-crafted/Pure2Phase_true-termination_true-valid-memsafety.c 6.73 6.79 185139200 -
termination-crafted/Pure3Phase_true-termination_true-valid-memsafety.c 6.86 6.91 179585024 -
termination-crafted/RecursiveMultiplication_true-termination_true-valid-memsafety.c 6.78 6.84 175132672 -
termination-crafted/Singapore_true-termination_true-valid-memsafety.c 6.86 6.92 180707328 -
termination-crafted/Stockholm_true-termination_true-valid-memsafety.c 6.76 6.82 176136192 -
termination-crafted/SyntaxSupportPointer01_true-termination_true-valid-memsafety.c 7.17 7.22 183603200 -
termination-crafted/SyntaxSupportPointer01_true-valid-memsafety_true-termination.c 7.16 7.22 180142080 -
termination-crafted/Thun_true-termination_true-valid-memsafety.c 6.93 7.00 179875840 -
termination-crafted/Toulouse-BranchesToLoop_true-termination_true-valid-memsafety.c 6.52 6.57 179412992 -
termination-crafted/Toulouse-MultiBranchesToLoop_true-termination_true-valid-memsafety.c 4.79 4.82 174931968 -
termination-crafted/aaron2_true-termination_true-valid-memsafety.c 5.06 5.09 177971200 -
termination-crafted/aaron3_true-termination_true-valid-memsafety.c 4.95 4.99 186359808 -
termination-restricted-15/DivMinus2_true-termination_true-no-overflow.c 6.87 6.94 179625984 -
termination-restricted-15/DivMinus_true-termination_true-no-overflow.c 6.95 7.00 179306496 -
termination-restricted-15/GCD3_true-termination_true-no-overflow.c 4.66 4.70 178475008 -
termination-restricted-15/GCD4_true-termination_true-no-overflow.c 6.71 6.76 176082944 -
termination-restricted-15/IntPath_true-termination_true-no-overflow.c 5.01 5.26 174862336 -
termination-restricted-15/LogAG_true-termination_true-no-overflow.c 4.89 4.93 176369664 -
termination-restricted-15/Log_true-termination_true-no-overflow.c 6.89 6.94 176828416 -
termination-restricted-15/McCarthyIterative_true-termination_true-no-overflow.c 4.67 4.71 173662208 -
termination-restricted-15/MinusBuiltIn_true-termination_true-no-overflow.c 6.59 6.65 179605504 -
termination-restricted-15/MinusUserDefined_true-termination_true-no-overflow.c 6.90 6.96 176340992 -
termination-restricted-15/Nested_true-termination_true-no-overflow.c 6.85 6.92 175554560 -
termination-restricted-15/PastaA10_true-termination_true-no-overflow.c 6.75 6.81 172519424 -
termination-restricted-15/PastaA1_true-termination_true-no-overflow.c 6.88 6.93 175763456 -
termination-restricted-15/PastaA4_true-termination_true-no-overflow.c 6.93 7.01 179605504 -
termination-restricted-15/PastaA7_true-termination_true-no-overflow.c 6.98 7.19 183357440 -
termination-restricted-15/PastaB14_true-termination_true-no-overflow.c 6.74 6.80 176513024 -
termination-restricted-15/PastaB15_true-termination_true-no-overflow.c 6.46 6.52 177025024 -
termination-restricted-15/PastaB16_true-termination_true-no-overflow.c 6.81 6.87 174649344 -
termination-restricted-15/PastaB17_true-termination_true-no-overflow.c 6.62 6.70 176259072 -
termination-restricted-15/PastaB1_true-termination_true-no-overflow.c 4.71 4.74 176685056 -
termination-restricted-15/PastaB2_true-termination_true-no-overflow.c 6.76 6.83 177123328 -
termination-restricted-15/PastaB4_true-termination_true-no-overflow.c 6.67 6.73 173871104 -
termination-restricted-15/PastaB6_true-termination_true-no-overflow.c 6.82 6.88 177807360 -
termination-restricted-15/PastaB7_true-termination_true-no-overflow.c 6.72 6.78 176869376 -
termination-restricted-15/PastaC3_true-termination_true-no-overflow.c 6.87 6.93 178180096 -
termination-restricted-15/PastaC7_true-termination_true-no-overflow.c 6.74 6.82 182902784 -
termination-restricted-15/PastaC9_true-termination_true-no-overflow.c 4.74 4.93 178184192 -
termination-restricted-15/Sequence_true-termination_true-no-overflow.c 4.49 4.53 176119808 -
termination-restricted-15/WhileDecr_true-termination_true-no-overflow.c 6.91 6.97 178475008 -
termination-restricted-15/a.01_true-termination_true-no-overflow.c 6.81 7.06 175681536 -
termination-restricted-15/a.04_true-termination_true-no-overflow.c 6.58 6.64 179396608 -
termination-restricted-15/a.05_true-termination_true-no-overflow.c 6.83 6.87 178024448 -
termination-restricted-15/a.06_true-termination_true-no-overflow.c 6.77 6.82 178900992 -
termination-restricted-15/a.07_true-termination_true-no-overflow.c 6.79 6.85 176476160 -
termination-restricted-15/a.08_true-termination_true-no-overflow.c 4.66 4.70 173846528 -
termination-restricted-15/a.09_assume_true-termination_true-no-overflow.c 4.92 4.95 176394240 -
termination-restricted-15/a.10_true-termination.c 7.03 7.08 180506624 -
termination-restricted-15/b.01_true-termination_true-no-overflow.c 6.86 6.92 176132096 -
termination-restricted-15/b.02_true-termination_true-no-overflow.c 5.06 5.10 178307072 -
termination-restricted-15/b.03-no-inv_assume_true-termination_true-no-overflow.c 6.90 6.98 181764096 -
termination-restricted-15/b.03_assume_true-termination_true-no-overflow.c 6.93 7.00 178438144 -
termination-restricted-15/b.04_true-termination_true-no-overflow.c 6.97 7.02 179544064 -
termination-restricted-15/b.05_true-termination_true-no-overflow.c 6.85 6.94 177508352 -
termination-restricted-15/b.06_true-termination_true-no-overflow.c 6.63 6.69 173416448 -
termination-restricted-15/b.07_true-termination_true-no-overflow.c 7.10 7.16 176775168 -
termination-restricted-15/b.09-no-inv_assume_true-termination_true-no-overflow.c 4.87 4.90 176648192 -
termination-restricted-15/b.09_assume_true-termination_true-no-overflow.c 7.11 7.17 177672192 -
termination-restricted-15/b.10_true-termination_true-no-overflow.c 6.57 6.62 176136192 -
termination-restricted-15/b.11_true-termination_true-no-overflow.c 6.78 6.94 178716672 -
termination-restricted-15/b.12_true-termination_true-no-overflow.c 6.63 6.69 176525312 -
termination-restricted-15/b.13_true-termination_true-no-overflow.c 6.99 7.05 185090048 -
termination-restricted-15/b.14_true-termination_true-no-overflow.c 6.68 6.74 185053184 -
termination-restricted-15/b.15_true-termination_true-no-overflow.c 6.88 6.94 180506624 -
termination-restricted-15/b.16_true-termination_true-no-overflow.c 6.88 6.93 179744768 -
termination-restricted-15/b.17_true-termination_true-no-overflow.c 6.73 6.78 176865280 -
termination-restricted-15/b.18_true-termination_true-no-overflow.c 6.86 6.93 177254400 -
termination-restricted-15/c.01-no-inv_true-termination_true-no-overflow.c 7.04 7.09 184127488 -
termination-restricted-15/c.01_assume_true-termination_true-no-overflow.c 4.83 4.86 176078848 -
termination-restricted-15/c.02_true-termination_true-no-overflow.c 6.83 6.89 180174848 -
termination-restricted-15/c.03_true-termination_true-no-overflow.c 6.78 6.83 177164288 -
termination-restricted-15/c.07_true-termination_true-no-overflow.c 6.79 6.86 183865344 -
termination-restricted-15/c.08_true-termination_true-no-overflow.c 6.58 6.66 177315840 -
termination-restricted-15/ex3a_true-termination_true-no-overflow.c 6.86 6.92 177647616 -
termination-restricted-15/ex3b_true-termination_true-no-overflow.c 4.77 4.80 179605504 -
termination-restricted-15/java_AG313_true-termination_true-no-overflow.c 4.86 4.90 176439296 -
termination-restricted-15/java_Break_true-termination_true-no-overflow.c 4.96 5.01 176640000 -
termination-restricted-15/java_Continue1_true-termination_true-no-overflow.c 6.96 7.02 177672192 -
termination-restricted-15/java_Nested_true-termination_true-no-overflow.c 6.97 7.02 173715456 -
termination-restricted-15/java_Sequence_true-termination_true-no-overflow.c 6.84 6.89 172453888 -
termination-restricted-15/AlternKonv_false-termination_true-no-overflow.c 6.91 6.97 176488448 -
termination-restricted-15/ComplInterv2_false-termination_true-no-overflow.c 6.67 6.71 174014464 -
termination-restricted-15/ConvLower_false-termination_true-no-overflow.c 6.80 6.87 178716672 -
termination-restricted-15/Ex02_false-termination_true-no-overflow.c 6.48 6.71 183635968 -
termination-restricted-15/Ex03_false-termination_true-no-overflow.c 6.88 6.93 177127424 -
termination-restricted-15/Ex05_false-termination_true-no-overflow.c 6.83 6.89 178987008 -
termination-restricted-15/Ex06_false-termination_true-no-overflow.c 4.86 4.89 177926144 -
termination-restricted-15/Ex07_false-termination_true-no-overflow.c 6.91 6.98 177164288 -
termination-restricted-15/Ex08_false-termination_true-no-overflow.c 6.69 6.74 174452736 -
termination-restricted-15/Flip2_false-termination_true-no-overflow.c 7.07 7.12 178987008 -
termination-restricted-15/Flip_false-termination_true-no-overflow.c 6.89 6.95 177287168 -
termination-restricted-15/GCD2_false-termination_true-no-overflow.c 6.79 6.85 176705536 -
termination-restricted-15/GCD_false-termination_true-no-overflow.c 6.97 7.02 177704960 -
termination-restricted-15/Loop_false-termination_true-no-overflow.c 7.04 7.09 180981760 -
termination-restricted-15/MirrorIntervSim_false-termination_true-no-overflow.c 4.73 4.77 178708480 -
termination-restricted-15/NO_00_false-termination_true-no-overflow.c 6.66 6.71 176349184 -
termination-restricted-15/NO_01_false-termination_true-no-overflow.c 6.78 6.84 179621888 -
termination-restricted-15/NO_02_false-termination_true-no-overflow.c 6.94 7.02 179544064 -
termination-restricted-15/NO_03_false-termination_true-no-overflow.c 6.93 6.98 182128640 -
termination-restricted-15/NO_04_false-termination_true-no-overflow.c 6.74 6.79 177954816 -
termination-restricted-15/NO_13_false-termination_true-no-overflow.c 7.07 7.14 178958336 -
termination-restricted-15/NO_21_false-termination_true-no-overflow.c 6.72 6.77 176971776 -
termination-restricted-15/NO_22_false-termination_true-no-overflow.c 4.86 4.90 177041408 -
termination-restricted-15/NO_23_false-termination_true-no-overflow.c 4.75 4.78 176852992 -
termination-restricted-15/NO_24_false-termination_true-no-overflow.c 6.88 6.94 179949568 -
termination-restricted-15/NarrowKonv_false-termination_true-no-overflow.c 4.84 4.87 174555136 -
termination-restricted-15/Narrowing_false-termination_true-no-overflow.c 4.93 4.97 176820224 -
termination-restricted-15/Sunset_false-termination_true-no-overflow.c 6.78 6.87 180174848 -
termination-restricted-15/Swingers_false-termination_true-no-overflow.c 6.93 6.99 179363840 -
termination-restricted-15/TwoFloatInterv_false-termination_true-no-overflow.c 7.01 7.20 180027392 -
termination-restricted-15/UpAndDownIneq_false-termination_true-no-overflow.c 6.53 6.59 184111104 -
termination-restricted-15/UpAndDown_false-termination_true-no-overflow.c 6.87 6.97 174653440 -
termination-restricted-15/WhilePart_false-termination_true-no-overflow.c 6.72 6.91 176640000 -
termination-restricted-15/WhileSingle_false-termination_true-no-overflow.c 6.50 6.57 179654656 -
termination-libowfat/atoi_true-termination.c.i 8.11 8.18 213221376 -
termination-libowfat/atol_true-termination.c.i 8.07 8.15 213569536 -
termination-libowfat/atoll_true-termination.c.i 7.91 7.99 213372928 -
termination-libowfat/basename_true-termination.c.i 8.10 8.17 219803648 -
termination-libowfat/build_fullname_true-termination.c.i 8.07 8.15 217657344 -
termination-libowfat/dirname_true-termination.c.i 8.05 8.26 209874944 -
termination-libowfat/skip_to_true-termination.c.i 7.96 8.04 209518592 -
termination-libowfat/stpcpy_true-termination.c.i 5.65 5.69 213676032 -
termination-libowfat/strcasecmp_true-termination.c.i 7.60 7.67 211779584 -
termination-libowfat/strcat_short_true-termination.c.i 5.35 5.39 211402752 -
termination-libowfat/strcat_true-termination.c.i 7.93 8.01 220991488 -
termination-libowfat/strchr_short_true-termination.c.i 7.84 7.91 219652096 -
termination-libowfat/strchr_true-termination.c.i 8.14 8.19 218112000 -
termination-libowfat/strcmp_short_true-termination.c.i 7.94 8.00 211992576 -
termination-libowfat/strcpy_small_true-termination.c.i 8.03 8.09 210681856 -
termination-libowfat/strcspn_true-termination.c.i 8.09 8.36 212029440 -
termination-libowfat/strdup_true-termination.c.i 8.11 8.31 225411072 -
termination-libowfat/strlcat_true-termination.c.i 7.89 7.97 213426176 -
termination-libowfat/strlcpy_true-termination.c.i 5.63 5.68 211410944 -
termination-libowfat/strlen_true-termination.c.i 7.89 7.95 217124864 -
termination-libowfat/strpbrk_true-termination.c.i 5.55 5.59 215859200 -
termination-libowfat/strrchr_short_true-termination.c.i 7.52 7.57 214888448 -
termination-libowfat/strrchr_true-termination.c.i 5.58 5.61 214142976 -
termination-libowfat/strspn_true-termination.c.i 8.01 8.07 214495232 -
termination-libowfat/strstr_true-termination.c.i 8.24 8.31 212004864 -
termination-libowfat/strtok_r_true-termination.c.i 5.66 5.86 215867392 -
termination-libowfat/strtol_true-termination.c.i 8.09 8.14 218079232 -
termination-libowfat/strtoul_true-termination.c.i 8.09 8.14 219582464 -
termination-libowfat/strtoull_true-termination.c.i 8.26 8.31 215576576 -
termination-libowfat/wcsrchr_true-termination.c.i 8.29 8.36 206716928 -
termination-libowfat/wcsstr_true-termination.c.i 8.18 8.27 220094464 -
termination-memory-alloca/Urban-2013WST-Fig1-alloca_false-termination.c.i 7.97 8.10 208588800 -
termination-memory-alloca/Velroyen-alloca_false-termination.c.i 7.92 8.16 210563072 -
termination-memory-alloca/Avery-2006FLOPS-Tabel1_true-alloca_true-termination.c.i 8.16 8.25 206344192 -
termination-memory-alloca/Ben-Amram-2010LMCS-Ex2.3-alloca_true-termination.c.i 7.92 7.98 208896000 -
termination-memory-alloca/BrockschmidtCookFuhs-2013CAV-Fig1-alloca_true-termination.c.i 7.93 8.02 204320768 -
termination-memory-alloca/BrockschmidtCookFuhs-2013CAV-Introduction-alloca_true-termination.c.i 8.09 8.16 204697600 -
termination-memory-alloca/ChenFlurMukhopadhyay-2012SAS-Fig1-alloca_true-termination.c.i 7.92 7.99 204320768 -
termination-memory-alloca/CookSeeZuleger-2013TACAS-Fig3-alloca_true-termination.c.i 7.89 7.94 206258176 -
termination-memory-alloca/CookSeeZuleger-2013TACAS-Fig7a-alloca_true-termination.c.i 7.91 7.97 206626816 -
termination-memory-alloca/CookSeeZuleger-2013TACAS-Fig7b-alloca_true-termination.c.i 7.89 7.95 200863744 -
termination-memory-alloca/GulwaniJainKoskinen-2009PLDI-Fig1-alloca_true-termination.c.i 5.58 5.63 201924608 -
termination-memory-alloca/HarrisLalNoriRajamani-2010SAS-Fig1-alloca_true-termination.c.i 5.54 5.58 209395712 -
termination-memory-alloca/HarrisLalNoriRajamani-2010SAS-Fig3-alloca_true-termination.c.i 7.98 8.05 202293248 -
termination-memory-alloca/KroeningSharyginaTsitovichWintersteiger-2010CAV-Fig1-alloca_true-termination.c.i 7.96 8.04 205570048 -
termination-memory-alloca/Masse-alloca_true-termination.c.i 7.55 7.61 206106624 -
termination-memory-alloca/NoriSharma-2013FSE-Fig7-alloca_true-termination.c.i 8.06 8.14 205402112 -
termination-memory-alloca/NoriSharma-2013FSE-Fig8-alloca_true-termination.c.i 7.84 7.92 201719808 -
termination-memory-alloca/TelAviv-Amir-Minimum-alloca_true-termination.c.i 5.53 5.57 207290368 -
termination-memory-alloca/Toulouse-BranchesToLoop-alloca_true-termination.c.i 7.89 7.96 203542528 -
termination-memory-alloca/Toulouse-MultiBranchesToLoop-alloca_true-termination.c.i 5.75 5.78 208683008 -
termination-memory-alloca/Urban-2013WST-Fig2-alloca_true-termination.c.i 7.86 7.93 205619200 -
termination-memory-alloca/Urban-2013WST-Fig2-modified1000-alloca_true-termination.c.i 8.03 8.09 206782464 -
termination-memory-alloca/Urban-alloca_true-termination.c.i 7.99 8.05 202952704 -
termination-memory-alloca/a.01-alloca_true-termination_true-no-overflow.c.i 7.98 8.07 210743296 -
termination-memory-alloca/a.04-alloca_true-termination_true-no-overflow.c.i 7.90 8.10 201912320 -
termination-memory-alloca/a.05-alloca_true-termination_true-no-overflow.c.i 8.15 8.22 204050432 -
termination-memory-alloca/a.06-alloca_true-termination_true-no-overflow.c.i 7.82 7.89 204025856 -
termination-memory-alloca/a.07-alloca_true-termination_true-no-overflow.c.i 5.41 5.45 204845056 -
termination-memory-alloca/a.08-alloca_true-termination_true-no-overflow.c.i 5.58 5.62 203972608 -
termination-memory-alloca/a.09_assume-alloca_true-termination_true-no-overflow.c.i 7.98 8.03 210182144 -
termination-memory-alloca/a.10-alloca_true-termination_true-no-overflow.c.i 8.11 8.18 205758464 -
termination-memory-alloca/add_last-alloca_true-termination.c.i 8.25 8.45 208338944 -
termination-memory-alloca/array01-alloca_true-termination.c.i 7.92 7.98 204300288 -
termination-memory-alloca/array02-alloca_true-termination.c.i 8.12 8.37 205754368 -
termination-memory-alloca/array03-alloca_true-termination.c.i 8.15 8.22 207421440 -
termination-memory-alloca/aviad_true-alloca_true-termination.c.i 7.89 7.96 201187328 -
termination-memory-alloca/b.01-alloca_true-termination_true-no-overflow.c.i 8.11 8.18 208064512 -
termination-memory-alloca/b.02-alloca_true-termination_true-no-overflow.c.i 7.81 7.86 203247616 -
termination-memory-alloca/b.03-no-inv_assume-alloca_true-termination_true-no-overflow.c.i 7.92 7.99 209707008 -
termination-memory-alloca/b.03_assume-alloca_true-termination_true-no-overflow.c.i 7.96 8.02 204443648 -
termination-memory-alloca/b.04-alloca_true-termination_true-no-overflow.c.i 5.50 5.53 205602816 -
termination-memory-alloca/b.05-alloca_true-termination_true-no-overflow.c.i 8.12 8.17 208171008 -
termination-memory-alloca/b.06-alloca_true-termination_true-no-overflow.c.i 7.94 8.00 202924032 -
termination-memory-alloca/b.07-alloca_true-termination_true-no-overflow.c.i 5.51 5.54 210206720 -
termination-memory-alloca/b.09-no-inv_assume-alloca_true-termination_true-no-overflow.c.i 7.88 7.94 204124160 -
termination-memory-alloca/b.09_assume-alloca_true-termination_true-no-overflow.c.i 8.01 8.07 200495104 -
termination-memory-alloca/b.10-alloca_true-termination_true-no-overflow.c.i 7.83 7.91 205565952 -
termination-memory-alloca/b.11-alloca_true-termination_true-no-overflow.c.i 7.91 7.98 204972032 -
termination-memory-alloca/b.12-alloca_true-termination_true-no-overflow.c.i 5.64 5.67 210309120 -
termination-memory-alloca/b.13-alloca_true-termination_true-no-overflow.c.i 5.66 5.71 204652544 -
termination-memory-alloca/b.14-alloca_true-termination_true-no-overflow.c.i 7.81 7.87 207962112 -
termination-memory-alloca/b.15-alloca_true-termination_true-no-overflow.c.i 8.35 8.42 207663104 -
termination-memory-alloca/b.16-alloca_true-termination_true-no-overflow.c.i 7.95 8.00 205111296 -
termination-memory-alloca/b.17-alloca_true-termination_true-no-overflow.c.i 8.00 8.06 203964416 -
termination-memory-alloca/b.18-alloca_true-termination_true-no-overflow.c.i 7.88 7.94 210305024 -
termination-memory-alloca/bubblesort-alloca_true-termination.c.i 7.99 8.05 206471168 -
termination-memory-alloca/c.01-no-inv-alloca_true-termination_true-no-overflow.c.i 5.54 5.57 215265280 -
termination-memory-alloca/c.01_assume-alloca_true-termination_true-no-overflow.c.i 7.89 7.95 209842176 -
termination-memory-alloca/c.02-alloca_true-termination_true-no-overflow.c.i 5.68 5.71 208187392 -
termination-memory-alloca/c.03-alloca_true-termination_true-no-overflow.c.i 7.86 7.93 206905344 -
termination-memory-alloca/c.07-alloca_true-termination_true-no-overflow.c.i 7.85 7.93 209342464 -
termination-memory-alloca/c.08-alloca_true-termination_true-no-overflow.c.i 7.86 7.92 202473472 -
termination-memory-alloca/count_down-alloca_true-termination.c.i 8.08 8.15 204120064 -
termination-memory-alloca/cstrcat-alloca_true-termination.c.i 8.26 8.32 212049920 -
termination-memory-alloca/cstrchr-alloca_true-termination.c.i 7.17 7.24 178827264 -
termination-memory-alloca/cstrcmp-alloca_true-termination.c.i 8.21 8.60 208781312 -
termination-memory-alloca/cstrcpy-alloca_true-termination.c.i 7.82 7.89 220172288 -
termination-memory-alloca/cstrcspn-alloca_true-termination.c.i 7.99 8.06 204636160 -
termination-memory-alloca/cstrlen-alloca_true-termination.c.i 8.04 8.11 201273344 -
termination-memory-alloca/cstrncat-alloca_true-termination.c.i 8.02 8.07 207810560 -
termination-memory-alloca/cstrncmp-alloca_true-termination.c.i 7.80 7.86 211529728 -
termination-memory-alloca/cstrncpy-alloca_true-termination.c.i 7.95 8.00 199225344 -
termination-memory-alloca/cstrpbrk-alloca_true-termination.c.i 7.98 8.05 203866112 -
termination-memory-alloca/cstrspn-alloca_true-termination.c.i 8.07 8.13 202174464 -
termination-memory-alloca/diff-alloca_true-termination.c.i 8.01 8.07 204914688 -
termination-memory-alloca/easySum-alloca_true-termination.c.i 5.44 5.47 209682432 -
termination-memory-alloca/ex1-alloca_true-termination.c.i 5.44 5.49 206524416 -
termination-memory-alloca/ex2-alloca_true-termination.c.i 7.82 7.87 204521472 -
termination-memory-alloca/ex3a-alloca_true-termination_true-no-overflow.c.i 5.59 5.63 210485248 -
termination-memory-alloca/ex3b-alloca_true-termination.c.i 5.39 5.42 208633856 -
termination-memory-alloca/fermat-alloca_true-termination.c.i 7.75 7.82 209547264 -
termination-memory-alloca/flag-alloca_true-termination.c.i 7.51 7.57 207204352 -
termination-memory-alloca/gcd1-alloca_true-termination.c.i 7.98 8.04 201498624 -
termination-memory-alloca/genady-alloca_true-termination.c.i 7.93 8.02 204828672 -
termination-memory-alloca/insertionsort-alloca_true-termination.c.i 7.96 8.03 206929920 -
termination-memory-alloca/java_AG313-alloca_true-termination.c.i 8.13 8.21 206405632 -
termination-memory-alloca/java_Break-alloca_true-termination.c.i 8.15 8.21 200888320 -
termination-memory-alloca/java_BubbleSort-alloca_true-termination.c.i 7.93 7.99 208216064 -
termination-memory-alloca/java_Continue1-alloca_true-termination.c.i 7.84 7.89 205176832 -
termination-memory-alloca/java_LogBuiltIn-alloca_true-termination.c.i 5.55 5.75 208072704 -
termination-memory-alloca/java_Nested-alloca_true-termination.c.i 7.91 7.98 205242368 -
termination-memory-alloca/java_Sequence-alloca_true-termination.c.i 7.79 7.85 200056832 -
termination-memory-alloca/lis-alloca_true-termination.c.i 5.44 5.47 206082048 -
termination-memory-alloca/min_rf-alloca_true-termination.c.i 7.95 8.02 206659584 -
termination-memory-alloca/mult_array-alloca_true-termination.c.i 7.73 7.79 206680064 -
termination-memory-alloca/openbsd_cbzero-alloca_true-termination.c.i 8.00 8.06 203214848 -
termination-memory-alloca/openbsd_cmemchr-alloca_true-termination.c.i 7.95 8.01 202510336 -
termination-memory-alloca/openbsd_cmemrchr-alloca_true-termination.c.i 7.95 8.02 216506368 -
termination-memory-alloca/openbsd_cmemset-alloca_true-termination.c.i 8.12 8.19 206528512 -
termination-memory-alloca/openbsd_cstpcpy-alloca_true-termination.c.i 7.84 7.89 200450048 -
termination-memory-alloca/openbsd_cstpncpy-alloca_true-termination.c.i 7.86 8.11 213295104 -
termination-memory-alloca/openbsd_cstrcat-alloca_true-termination.c.i 7.99 8.05 201293824 -
termination-memory-alloca/openbsd_cstrcmp-alloca_true-termination.c.i 7.58 7.64 208580608 -
termination-memory-alloca/openbsd_cstrcpy-alloca_true-termination.c.i 5.65 5.86 208224256 -
termination-memory-alloca/openbsd_cstrcspn-alloca_true-termination.c.i 8.03 8.11 205041664 -
termination-memory-alloca/openbsd_cstrlcpy-alloca_true-termination.c.i 8.21 8.28 205709312 -
termination-memory-alloca/openbsd_cstrlen-alloca_true-termination.c.i 5.41 5.45 207024128 -
termination-memory-alloca/openbsd_cstrncat-alloca_true-termination.c.i 7.95 8.02 202280960 -
termination-memory-alloca/openbsd_cstrncmp-alloca_true-termination.c.i 7.75 7.80 203849728 -
termination-memory-alloca/openbsd_cstrncpy-alloca_true-termination.c.i 5.53 5.57 202362880 -
termination-memory-alloca/openbsd_cstrnlen-alloca_true-termination.c.i 5.56 5.60 203399168 -
termination-memory-alloca/openbsd_cstrpbrk-alloca_true-termination.c.i 7.69 7.74 205299712 -
termination-memory-alloca/openbsd_cstrspn-alloca_true-termination.c.i 7.99 8.06 203386880 -
termination-memory-alloca/openbsd_cstrstr-alloca_true-termination.c.i 8.14 8.20 211136512 -
termination-memory-alloca/rec_strlen-alloca_true-termination.c.i 7.65 7.71 211767296 -
termination-memory-alloca/selectionsort-alloca_true-termination.c.i 8.24 8.49 204722176 -
termination-memory-alloca/stroeder1-alloca_true-termination.c.i 8.02 8.10 204152832 -
termination-memory-alloca/stroeder2-alloca_true-termination.c.i 7.74 7.79 203395072 -
termination-memory-alloca/strreplace-alloca_true-termination.c.i 8.00 8.08 203427840 -
termination-memory-alloca/subseq-alloca_true-termination.c.i 8.11 8.17 204935168 -
termination-memory-alloca/substring-alloca_true-termination.c.i 5.77 5.82 203100160 -
termination-memory-alloca/twisted-alloca_true-termination.c.i 7.90 7.97 208625664 -
termination-memory-linkedlists/cll_by_lseg-alloca_false-termination.c.i 5.54 5.57 204406784 -
termination-memory-linkedlists/cll_by_lseg_traverse-alloca_false-termination.c.i 8.22 8.30 210075648 -
termination-memory-linkedlists/cll_search-alloca_false-termination.c.i 7.95 8.02 203304960 -
termination-memory-linkedlists/cll_traverse-alloca_false-termination.c.i 8.01 8.22 222556160 -
termination-memory-linkedlists/ll_append-alloca_false-termination.c.i 7.99 8.05 202305536 -
termination-memory-linkedlists/ll_append_rec-alloca_false-termination.c.i 7.78 7.83 205946880 -
termination-memory-linkedlists/ll_create_rec-alloca_false-termination.c.i 8.08 8.14 204754944 -
termination-memory-linkedlists/nondet_ll_search-alloca_false-termination.c.i 8.17 8.23 203218944 -
termination-memory-linkedlists/nondet_ll_traverse-alloca_false-termination.c.i 7.98 8.22 209362944 -
termination-memory-linkedlists/cll_by_lseg-alloca_true-termination.c.i 7.91 7.96 204693504 -
termination-memory-linkedlists/cll_search-alloca_true-termination.c.i 8.06 8.12 204115968 -
termination-memory-linkedlists/ll_append-alloca_true-termination.c.i 7.86 7.92 207347712 -
termination-memory-linkedlists/ll_append_rec-alloca_true-termination.c.i 8.26 8.32 202436608 -
termination-memory-linkedlists/ll_create_rec-alloca_true-termination.c.i 5.82 5.86 210804736 -
termination-memory-linkedlists/ll_search-alloca_true-termination.c.i 5.47 5.51 207147008 -
termination-memory-linkedlists/ll_search_not_found-alloca_true-termination.c.i 7.89 7.96 202866688 -
termination-memory-linkedlists/ll_traverse-alloca_true-termination.c.i 8.02 8.10 202428416 -
termination-memory-linkedlists/nondet_ll_search-alloca_true-termination.c.i 8.11 8.18 205209600 -
termination-15/add_first_alloca_true-termination.c.i 5.81 5.85 214913024 -
termination-15/array05_alloca_true-termination.c.i 5.56 5.59 214761472 -
termination-15/array06_alloca_true-termination.c.i 7.86 7.92 209719296 -
termination-15/array07_alloca_true-termination.c.i 8.13 8.18 216285184 -
termination-15/array08_alloca_true-termination.c.i 8.19 8.25 213946368 -
termination-15/array09_alloca_true-termination.c.i 8.03 8.10 212692992 -
termination-15/array10_alloca_true-termination.c.i 7.99 8.03 211619840 -
termination-15/array12_alloca_true-termination.c.i 8.36 8.42 216231936 -
termination-15/array13_alloca_true-termination.c.i 8.00 8.06 213696512 -
termination-15/array16_alloca_fixed_true-termination.c.i 7.96 8.03 216711168 -
termination-15/array17_alloca_true-termination.c.i 8.31 8.38 210698240 -
termination-15/array18_alloca_true-termination.c.i 8.07 8.15 214683648 -
termination-15/count_up_alloca_true-termination.c.i 8.25 8.45 211783680 -
termination-15/count_up_and_down_alloca_true-termination.c.i 8.03 8.10 212844544 -
termination-15/cstrcat_diffterm_alloca_true-termination.c.i 8.20 8.42 212033536 -
termination-15/cstrcat_malloc_true-termination.c.i 5.72 5.76 213749760 -
termination-15/cstrcat_mixed_alloca_true-termination.c.i 8.28 8.35 214290432 -
termination-15/cstrcat_reverse_alloca_true-termination.c.i 8.31 8.38 214110208 -
termination-15/cstrchr_diffterm_alloca_true-termination.c.i 5.16 5.20 181796864 -
termination-15/cstrchr_malloc_true-termination.c.i 7.49 7.55 181739520 -
termination-15/cstrchr_reverse_alloca_true-termination.c.i 7.48 7.55 182648832 -
termination-15/cstrcmp_diffterm_alloca_true-termination.c.i 7.92 7.97 210968576 -
termination-15/cstrcmp_malloc_true-termination.c.i 8.13 8.19 210546688 -
termination-15/cstrcmp_mixed_alloca_true-termination.c.i 8.29 8.35 211402752 -
termination-15/cstrcmp_reverse_alloca_true-termination.c.i 8.17 8.22 211656704 -
termination-15/cstrcpy_diffterm_alloca_true-termination.c.i 5.93 5.97 215736320 -
termination-15/cstrcpy_malloc_true-termination.c.i 5.61 5.66 213307392 -
termination-15/cstrcpy_mixed_alloca_true-termination.c.i 8.17 8.23 211267584 -
termination-15/cstrcpy_reverse_alloca_true-termination.c.i 8.21 8.28 210690048 -
termination-15/cstrcspn_diffterm_alloca_true-termination.c.i 8.14 8.20 212787200 -
termination-15/cstrcspn_malloc_true-termination.c.i 8.20 8.39 210198528 -
termination-15/cstrcspn_mixed_alloca_true-termination.c.i 5.74 5.77 215998464 -
termination-15/cstrcspn_reverse_alloca_true-termination.c.i 5.92 5.96 214220800 -
termination-15/cstrlen_diffterm_alloca_true-termination.c.i 8.14 8.21 213049344 -
termination-15/cstrlen_malloc_true-termination.c.i 8.05 8.11 229294080 -
termination-15/cstrlen_reverse_alloca_true-termination.c.i 7.72 7.80 211099648 -
termination-15/cstrncat_diffterm_alloca_true-termination.c.i 7.91 7.99 211001344 -
termination-15/cstrncat_malloc_true-termination.c.i 8.43 8.50 214794240 -
termination-15/cstrncat_mixed_alloca_true-termination.c.i 7.98 8.05 221556736 -
termination-15/cstrncat_reverse_alloca_true-termination.c.i 8.12 8.19 209305600 -
termination-15/cstrncmp_diffterm_alloca_true-termination.c.i 8.09 8.17 218288128 -
termination-15/cstrncmp_malloc_true-termination.c.i 8.12 8.18 213299200 -
termination-15/cstrncmp_mixed_alloca_true-termination.c.i 7.95 8.01 220246016 -
termination-15/cstrncmp_reverse_alloca_true-termination.c.i 7.48 7.53 214212608 -
termination-15/cstrncpy_diffterm_alloca_true-termination.c.i 8.03 8.08 210432000 -
termination-15/cstrncpy_malloc_true-termination.c.i 7.95 8.02 211447808 -
termination-15/cstrncpy_mixed_alloca_true-termination.c.i 8.21 8.27 212131840 -
termination-15/cstrncpy_reverse_alloca_true-termination.c.i 7.45 7.51 213188608 -
termination-15/cstrpbrk_diffterm_alloca_true-termination.c.i 5.63 5.66 224260096 -
termination-15/cstrpbrk_malloc_true-termination.c.i 5.61 6.01 213073920 -
termination-15/cstrpbrk_mixed_alloca_true-termination.c.i 7.81 7.87 214515712 -
termination-15/cstrpbrk_reverse_alloca_true-termination.c.i 8.18 8.25 211333120 -
termination-15/cstrspn_diffterm_alloca_true-termination.c.i 7.65 7.72 212422656 -
termination-15/cstrspn_malloc_true-termination.c.i 7.96 8.01 211210240 -
termination-15/cstrspn_mixed_alloca_true-termination.c.i 7.87 7.94 209145856 -
termination-15/cstrspn_reverse_alloca_true-termination.c.i 8.27 8.33 213590016 -
termination-15/array04_alloca_false-termination.c.i 5.56 5.60 214351872 -
termination-15/array14_alloca_false-termination.c.i 5.77 5.82 212045824 -
termination-15/array15_alloca_false-termination.c.i 8.04 8.10 213975040 -
termination-15/array16_alloca_original_false-termination.c.i 7.13 7.17 209526784 -
termination-15/array19_alloca_false-termination.c.i 7.91 7.97 212795392 -
termination-15/array20_alloca_false-termination.c.i 8.02 8.12 213098496 -
termination-recursive-malloc/chunk1_true-termination.c.i 6.84 6.91 182554624 -
termination-recursive-malloc/chunk2_true-termination.c.i 5.09 5.14 180936704 -
termination-recursive-malloc/chunk3_true-termination.c.i 7.09 7.15 180916224 -
termination-recursive-malloc/insertionSort_recursive_true-termination.c.i 7.13 7.34 183881728 -
termination-recursive-malloc/mergeSort_true-termination.c.i 4.83 4.87 180420608 -
termination-recursive-malloc/mutual_simple2_true-termination.c.i 7.13 7.19 179331072 -
termination-recursive-malloc/mutual_simple_true-termination.c.i 7.05 7.12 179277824 -
termination-recursive-malloc/rec_malloc_ex10_true-termination.c.i 6.88 6.95 178544640 -
termination-recursive-malloc/rec_malloc_ex11B_true-termination.c.i 6.87 6.92 181342208 -
termination-recursive-malloc/rec_malloc_ex11C_true-termination.c.i 6.93 7.02 177041408 -
termination-recursive-malloc/rec_malloc_ex11D_true-termination.c.i 6.94 7.00 178851840 -
termination-recursive-malloc/rec_malloc_ex11_true-termination.c.i 6.85 6.92 179097600 -
termination-recursive-malloc/rec_malloc_ex1_true-termination.c.i 7.02 7.08 183009280 -
termination-recursive-malloc/rec_malloc_ex2_true-termination.c.i 6.75 6.79 181440512 -
termination-recursive-malloc/rec_malloc_ex3_true-termination.c.i 6.83 6.89 174829568 -
termination-recursive-malloc/rec_malloc_ex4_true-termination.c.i 6.96 7.01 177991680 -
termination-recursive-malloc/rec_malloc_ex5B_true-termination.c.i 7.11 7.16 181870592 -
termination-recursive-malloc/rec_malloc_ex5_true-termination.c.i 7.07 7.15 181370880 -
termination-recursive-malloc/rec_malloc_ex6_true-termination.c.i 4.88 4.93 179777536 -
termination-recursive-malloc/rec_malloc_ex7B_true-termination.c.i 7.02 7.07 178663424 -
termination-recursive-malloc/rec_malloc_ex7_true-termination.c.i 5.02 5.06 180482048 -
termination-recursive-malloc/rec_malloc_ex8_true-termination.c.i 7.09 7.14 180678656 -
termination-recursive-malloc/rec_malloc_ex9_true-termination.c.i 6.93 6.99 180563968 -
termination-recursive-malloc/rec_strcopy_malloc2_true-termination.c.i 7.06 7.11 180305920 -
termination-recursive-malloc/rec_strcopy_malloc_true-termination.c.i 6.97 7.02 185749504 -
termination-recursive-malloc/rec_strlen_malloc_true-termination.c.i 7.00 7.06 178868224 -
termination-recursive-malloc/selectionSort_recursive_true-termination.c.i 4.72 4.76 178647040 -
ssh-simplified/s3_clnt_3.cil_true-unreach-call_true-termination.c 7.43 7.49 190636032 -
pthread-atomic/gcd_true-unreach-call_true-termination.i 5.84 5.88 214511616 -
../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 1445 14400 14600 432906563584 718 17100 17300 283618672640
    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