Tool ULTIMATE Automizer 0.1.23-d80e71f5
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-13 09:45:01 CEST 2018-10-13 08:57:57 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 7.04 7.22 177045504 7.17 7.22 184266752
bitvector/num_conversion_1_true-unreach-call_true-no-overflow.i 4.49 4.52 175439872 7.09 7.13 179286016
bitvector/num_conversion_2_true-unreach-call_true-no-overflow.i 6.92 6.97 175362048 7.11 7.18 181166080
eca-rers2012/Problem07_label06_false-unreach-call.c 61.1  61.3  1391779840 37.0  37.1  1341345792
eca-rers2012/Problem07_label11_false-unreach-call.c 55.1  55.3  1376604160 60.1  60.4  1304502272
eca-rers2012/Problem07_label23_false-unreach-call.c 62.7  62.9  1373679616 57.7  57.9  1341235200
eca-rers2012/Problem07_label37_false-unreach-call.c 56.9  57.1  1360117760 64.1  64.3  1304072192
eca-rers2012/Problem07_label40_false-unreach-call.c 60.1  60.3  1396338688 55.9  56.1  1303228416
eca-rers2012/Problem07_label46_false-unreach-call.c 60.6  60.9  1378136064 54.7  54.9  1339539456
eca-rers2012/Problem07_label47_false-unreach-call.c 55.6  55.8  1384923136 66.2  66.4  1294200832
eca-rers2012/Problem09_label36_false-unreach-call.c 66.2  66.5  1689010176 56.3  76.5  1999998976
eca-rers2012/Problem09_label46_false-unreach-call.c 53.4  71.6  1999998976 66.4  66.6  1591185408
eca-rers2012/Problem07_label14_true-unreach-call.c 56.1  56.3  1393213440 60.6  60.8  1308782592
eca-rers2012/Problem07_label50_true-unreach-call.c 59.3  59.5  1389633536 60.7  60.9  1338994688
eca-rers2012/Problem07_label55_true-unreach-call.c 58.6  58.8  1379725312 60.4  60.6  1294290944
eca-rers2012/Problem07_label56_true-unreach-call.c 59.6  59.8  1390047232 60.0  60.2  1340469248
floats-cbmc-regression/float-div1_true-unreach-call.i 8.49 8.57 187777024 9.32 9.38 304930816
floats-cbmc-regression/float-flags-simp1_true-unreach-call.i 8.20 8.28 184889344 10.1  10.2  320126976
floats-cbmc-regression/float-no-simp2_true-unreach-call.i 8.15 8.21 189468672 6.78 6.82 316080128
floats-cbmc-regression/float-no-simp4_true-unreach-call.i 5.47 5.51 182743040 9.44 9.50 313081856
floats-cbmc-regression/float-no-simp8_true-unreach-call.i 8.15 8.20 186077184 6.28 6.31 307662848
floats-cbmc-regression/float-to-double1_true-unreach-call.i 7.61 7.68 186851328 9.80 9.86 300089344
floats-cbmc-regression/float14_true-unreach-call.i 8.04 8.12 184160256 6.15 6.18 303792128
floats-cbmc-regression/float19_true-unreach-call.i 7.43 7.50 187596800 9.48 9.55 308699136
floats-cbmc-regression/float21_true-unreach-call.i 8.22 8.28 187269120 9.50 9.56 308666368
floats-cbmc-regression/float4_true-unreach-call.i 7.64 7.72 189452288 9.92 9.98 312295424
floats-cbmc-regression/float8_true-unreach-call.i 8.39 8.44 191025152 10.1  10.1  303218688
floats-cbmc-regression/float_lib1_true-unreach-call.i 8.49 8.55 183943168 6.68 6.71 306810880
floats-cbmc-regression/float_lib2_true-unreach-call.i 8.10 8.16 181198848 9.60 9.68 312303616
float-benchs/mea8000_true-unreach-call.c 7.20 7.26 189530112 11.9  12.0  528834560
floats-esbmc-regression/ceil_nondet_true-unreach-call.i 7.87 7.92 181698560 8.04 8.23 193294336
floats-esbmc-regression/fabs_true-unreach-call.i 7.89 7.95 186109952 9.22 9.29 309731328
floats-esbmc-regression/floor_nondet_true-unreach-call.i 5.70 5.73 186433536 8.03 8.29 186638336
floats-esbmc-regression/fmax_true-unreach-call.i 7.89 7.95 184197120 6.39 6.42 308359168
floats-esbmc-regression/fmin_true-unreach-call.i 5.49 5.53 183824384 9.29 9.35 300396544
floats-esbmc-regression/fmod2_true-unreach-call.i 8.19 8.26 184102912 8.07 8.14 184094720
floats-esbmc-regression/fmod3_true-unreach-call.i 8.02 8.08 186970112 5.47 5.51 186830848
floats-esbmc-regression/isgreater_true-unreach-call.i 7.81 7.87 182964224 9.38 9.57 310091776
floats-esbmc-regression/isgreaterequal_true-unreach-call.i 5.80 5.85 183263232 9.10 9.15 311676928
floats-esbmc-regression/isless_true-unreach-call.i 8.28 8.34 188817408 9.22 9.27 305201152
floats-esbmc-regression/islessequal_true-unreach-call.i 7.49 7.55 184008704 9.36 9.43 305147904
floats-esbmc-regression/islessgreater_true-unreach-call.i 7.69 7.74 182235136 8.96 9.02 311746560
floats-esbmc-regression/isunordered_true-unreach-call.i 7.84 7.91 188071936 9.27 9.34 309444608
floats-esbmc-regression/nan_true-unreach-call.i 8.05 8.14 183070720 9.21 9.27 306520064
floats-esbmc-regression/round_nondet_true-unreach-call.i 6.87 6.93 186851328 5.73 5.76 181374976
floats-esbmc-regression/trunc_nondet_2_true-unreach-call.i 8.32 8.38 182169600 7.73 7.77 187682816
floats-esbmc-regression/trunc_nondet_true-unreach-call.i 7.64 7.71 187129856 8.07 8.13 185163776
ldv-linux-3.0/module_get_put-drivers-hwmon-it87.ko_true-unreach-call.cil.out.i.pp.i 7.25 7.30 260612096 17.4  17.5  702226432
ldv-linux-3.0/module_get_put-drivers-video-aty-aty128fb.ko_true-unreach-call.cil.out.i.pp.i 11.1  11.2  339050496 65.8  66.1  674480128
ldv-linux-3.0/usb_urb-drivers-misc-c2port-core.ko_true-unreach-call.cil.out.i.pp.i 13.6  13.7  477548544 8.24 8.30 203915264
ldv-linux-3.0/usb_urb-drivers-mtd-sm_ftl.ko_true-unreach-call.cil.out.i.pp.i 13.9  14.0  499474432 8.33 8.38 207712256
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 9.48 9.52 497246208 8.02 8.08 205119488
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.6  18.8  710189056 8.52 8.59 234860544
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 10.0  10.0  665001984 8.40 8.46 212668416
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.0  10.1  255012864 7.92 7.97 193712128
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 10.5  10.5  276221952 7.66 7.71 190443520
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 11.8  11.9  396345344 5.66 5.70 201224192
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 11.7  11.8  370221056 8.14 8.21 201605120
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 7.55 7.60 269078528 8.14 8.21 200519680
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 9.19 9.26 215580672 7.49 7.55 192540672
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.2  10.3  254509056 7.79 7.85 191827968
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.6  12.7  372117504 5.74 5.78 239620096
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 10.9  11.0  289157120 5.27 5.30 197595136
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 8.28 8.32 314880000 8.06 8.13 204931072
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.1  12.2  333000704 8.17 8.22 214908928
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  294154240 8.04 8.09 204107776
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 9.89 9.98 230178816 8.21 8.27 188706816
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 7.33 7.37 277168128 5.43 5.46 194174976
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 13.0  13.1  352681984 5.45 5.48 217739264
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 12.3  12.4  340811776 7.91 7.96 212709376
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 12.0  12.1  350449664 8.18 8.23 214966272
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 10.5  10.5  241418240 7.55 7.61 188243968
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 11.6  11.7  333586432 8.05 8.10 217243648
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 14.4  14.6  497876992 8.94 9.00 257134592
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.46 6.50 213561344 7.47 7.53 188198912
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 10.5  10.6  277450752 5.28 5.32 195608576
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.55 8.62 210923520 4.98 5.02 178917376
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.34 8.41 206970880 7.24 7.29 182251520
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.9  11.9  302481408 8.01 8.10 204328960
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 7.19 7.24 261578752 6.96 7.14 193011712
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 10.2  10.3  246374400 7.65 7.72 189870080
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 7.26 7.47 254849024 7.67 7.72 190398464
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.42 9.49 252788736 7.44 7.48 189612032
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 13.1  13.2  496218112 8.05 8.11 200765440
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 7.13 7.16 309698560 5.39 5.42 199421952
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.60 9.68 253845504 5.32 5.35 187105280
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 9.60 9.65 258105344 7.96 8.02 194760704
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 9.56 9.63 246366208 5.58 5.62 193085440
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 6.63 6.67 259158016 5.46 5.50 200327168
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.64 9.73 247832576 7.88 7.94 196132864
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.2  10.2  252002304 7.91 7.95 198758400
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.28 9.35 226590720 7.84 7.91 197767168
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 9.24 9.33 227610624 7.73 7.78 191332352
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.52 9.61 248631296 7.76 7.82 195121152
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.81 10.1  275058688 7.56 7.62 193249280
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.48 9.54 253231104 7.95 8.03 194998272
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 10.1  10.1  254988288 7.79 7.85 196349952
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 9.91 9.97 261799936 7.77 7.82 194998272
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.50 10.1  262430720 7.73 7.78 193794048
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  281714688 7.73 7.77 196399104
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.51 9.60 258469888 7.12 7.17 190406656
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.50 6.70 273219584 7.88 7.93 189235200
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.77 9.84 242339840 7.84 7.90 194609152
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 6.39 6.43 253902848 8.19 8.24 199929856
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.83 9.92 256249856 5.47 5.50 195235840
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 6.97 7.02 249651200 8.01 8.21 195760128
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.2  12.3  371924992 7.96 8.01 208351232
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.5  10.6  267591680 7.92 7.97 198311936
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.5  10.6  270692352 5.67 5.70 196280320
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 10.6  10.6  267952128 7.88 7.94 188985344
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.76 7.80 303939584 5.56 5.59 216379392
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.3  11.4  330653696 5.42 5.45 195661824
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 11.0  11.1  294191104 7.60 7.66 196100096
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.5  10.6  261324800 7.29 7.34 191299584
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 11.4  11.4  311218176 7.75 7.80 198139904
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.56 9.62 262459392 7.56 7.62 186441728
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.62 9.68 261570560 7.86 7.91 190824448
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 10.6  10.7  272809984 7.67 7.71 198967296
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 8.10 8.15 381976576 7.97 8.03 201928704
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 8.05 8.09 330317824 8.00 8.04 199712768
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.8  10.9  281088000 7.85 7.91 191250432
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.6  12.7  380604416 5.75 5.77 205467648
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 10.9  11.0  302202880 7.78 7.84 211910656
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 7.14 7.19 266137600 7.12 7.16 188334080
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.9  11.0  275480576 7.83 7.89 188690432
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.4  10.5  273694720 7.80 7.95 201187328
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.3  10.4  302362624 7.32 7.37 194109440
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 10.4  10.5  268132352 7.67 7.71 194404352
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  266125312 7.75 7.81 193933312
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.2  262901760 5.27 5.30 188932096
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 10.7  10.7  256172032 5.36 5.39 191156224
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 10.6  10.6  262467584 7.84 7.92 189214720
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.3  10.4  255033344 7.99 8.06 194310144
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 6.99 7.02 265695232 7.84 7.89 191807488
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.2  10.3  269643776 7.62 7.68 189726720
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 10.1  10.2  267358208 7.72 7.77 192212992
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 10.9  11.0  294895616 7.96 8.04 206336000
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 7.08 7.13 265388032 7.44 7.49 195997696
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 11.0  11.1  277987328 7.76 7.81 194478080
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 7.02 7.06 270794752 7.76 7.80 187715584
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 11.4  11.5  299073536 5.39 5.42 195104768
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.6  10.8  290521088 5.29 5.32 195493888
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.6  10.6  266559488 7.58 7.62 190017536
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 7.46 7.88 281022464 7.64 7.70 197787648
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 10.2  10.3  260009984 8.02 8.08 189452288
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.5  10.5  269950976 5.31 5.34 188964864
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.0  11.1  292220928 5.47 5.51 193720320
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 10.9  11.0  305373184 7.87 7.92 190849024
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 10.2  10.3  267157504 7.75 7.81 184393728
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 7.50 7.54 269434880 7.55 7.60 190652416
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.3  10.3  262369280 7.07 7.25 192618496
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 12.2  12.2  333479936 7.93 7.97 199127040
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.4  10.7  279044096 7.87 7.94 194457600
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 11.8  11.8  696315904 8.03 8.09 214503424
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 8.99 9.05 507400192 7.75 7.80 199852032
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 9.70 9.77 240705536 5.31 5.34 191930368
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.02 7.06 278458368 5.24 5.27 194486272
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.29 8.36 216096768 7.15 7.20 180174848
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 10.0  10.1  255008768 7.39 7.44 185733120
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 6.51 6.56 255037440 5.49 5.53 195661824
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.6  11.7  300732416 7.81 7.86 205000704
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 11.2  11.3  288456704 7.93 7.98 197922816
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.0  11.0  293134336 8.03 8.08 200486912
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.8  10.9  286208000 7.86 7.91 201302016
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 10.9  11.0  282267648 7.46 7.51 199294976
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.8  12.9  393424896 8.52 8.57 212377600
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.3  12.4  356216832 8.42 8.47 213884928
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.9  12.0  310870016 7.86 7.91 201555968
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 15.4  15.5  696033280 8.63 8.83 230252544
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.0  13.1  443674624 8.46 8.53 223301632
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.1  18.4  712896512 8.56 8.96 237883392
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 12.2  12.3  337223680 8.14 8.20 214437888
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 12.5  12.6  453746688 8.38 8.43 214884352
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.7  16.8  701018112 5.77 5.80 222896128
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 16.7  16.8  701026304 5.69 5.72 227119104
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 13.0  13.1  472444928 8.76 8.81 217006080
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 14.7  14.8  563900416 8.48 8.55 222498816
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 16.3  16.4  696672256 8.41 8.48 218427392
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 7.48 7.54 325988352 8.19 8.25 211423232
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 14.0  14.1  678416384 8.33 8.38 230907904
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 12.1  12.1  701960192 8.36 8.41 230277120
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 12.5  12.7  431644672 8.22 8.29 218161152
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 8.96 9.01 426401792 8.35 8.41 212832256
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.3  26.5  796397568 6.38 6.43 278736896
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.0  12.1  347680768 5.71 5.91 209571840
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.3  17.4  712368128 8.69 8.76 229470208
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 11.6  11.7  703545344 8.26 8.31 229588992
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.1  17.3  700854272 8.35 8.42 232710144
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 12.9  13.0  402296832 8.23 8.30 213299200
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.7  15.8  699252736 8.42 8.48 219688960
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  669917184 5.51 5.54 216653824
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 16.7  16.8  710041600 6.04 6.06 231862272
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 15.6  15.7  701448192 7.97 8.05 232099840
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 10.3  10.4  695595008 7.99 8.06 217772032
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 12.1  12.2  511995904 7.70 7.76 200749056
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.7  11.8  348356608 8.02 8.09 200499200
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.1  18.2  765902848 8.62 8.70 245612544
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 12.8  12.9  439123968 8.08 8.13 219275264
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 7.57 7.60 278630400 7.79 7.84 196423680
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 13.7  13.8  476250112 5.79 5.82 228597760
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 11.0  11.1  275955712 7.55 7.60 200523776
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 11.0  11.0  280236032 7.69 7.73 204447744
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 11.2  11.3  692043776 6.03 6.07 228769792
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 19.7  19.8  728039424 8.67 8.73 234938368
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 16.5  16.6  702779392 8.68 8.76 238739456
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.1  13.2  763260928 8.78 8.85 260997120
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.66 9.71 263249920 7.86 7.92 199680000
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.1  11.2  296701952 5.34 5.38 194838528
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 11.4  11.5  325140480 7.90 7.96 199073792
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 13.3  13.4  416653312 7.74 7.81 201154560
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.6  11.9  298737664 5.55 5.57 198389760
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.76 9.82 293441536 5.53 5.56 201478144
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 7.03 7.07 256118784 7.46 7.51 189390848
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 6.81 6.86 253313024 7.29 7.36 182157312
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 14.0  14.1  631787520 8.10 8.28 207966208
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.35 7.40 270405632 7.56 7.61 189067264
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.28 9.36 226091008 7.26 7.30 188964864
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.6  10.7  282419200 7.44 7.49 194527232
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 10.1  10.1  306782208 7.59 7.65 189595648
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 10.2  10.3  263643136 5.06 5.09 188076032
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.2  10.3  271814656 7.49 7.69 202358784
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.3  308269056 5.31 5.34 193957888
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.1  298536960 7.78 7.85 193302528
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.3  369422336 7.62 7.70 198361088
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.2  11.5  333615104 7.69 7.75 193921024
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.5  11.6  326422528 7.92 8.12 200130560
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.5  264384512 7.55 7.61 190107648
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.7  10.8  263278592 7.98 8.04 196816896
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.93 10.0  263987200 7.60 7.64 193306624
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 11.7  11.8  312561664 7.95 8.02 193175552
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.8  13.9  511549440 8.12 8.19 203005952
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 7.13 7.17 260268032 5.43 5.45 188276736
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.36 6.39 220983296 7.48 7.53 193540096
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 13.1  13.2  420368384 8.17 8.24 216690688
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.7  10.7  531652608 8.08 8.14 226750464
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 11.2  11.3  294371328 5.50 5.54 193794048
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.08 9.14 221442048 7.40 7.45 191115264
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 15.1  15.2  685096960 8.23 8.29 223428608
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 7.16 7.20 267665408 7.57 7.62 193683456
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.2  11.3  291348480 5.51 5.54 202743808
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.7  11.0  276754432 7.88 7.94 195936256
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 12.8  12.9  464035840 5.49 5.52 205443072
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 10.8  10.9  297582592 7.99 8.06 203526144
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.3  10.4  290549760 7.83 7.89 197857280
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.7  10.7  293937152 8.06 8.13 203104256
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 10.7  10.8  291614720 7.77 7.83 206897152
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.73 9.81 298823680 7.75 7.83 187912192
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 13.7  13.8  609447936 7.87 7.91 201973760
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 10.9  11.0  308396032 5.25 5.28 208900096
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.9  12.0  379748352 7.84 7.89 198025216
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 10.8  10.9  307757056 7.95 8.01 200781824
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 12.4  12.5  409473024 7.80 7.86 200466432
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.6  12.7  394874880 5.46 5.51 199077888
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 15.3  15.4  685514752 7.85 7.90 202297344
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.1  11.2  321241088 7.87 7.92 196399104
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 7.36 7.39 286846976 7.84 7.89 195796992
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 10.9  11.0  304107520 7.67 7.72 199864320
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 6.76 6.80 296714240 7.51 7.56 191483904
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 11.5  11.6  377675776 7.91 7.96 198467584
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.2  11.3  285650944 7.68 7.73 192401408
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.13 8.18 488419328 5.53 5.56 199426048
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 10.0  10.1  267087872 7.70 7.76 189784064
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 15.5  15.6  691539968 8.09 8.13 208162816
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  353153024 5.28 5.31 201486336
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 7.64 7.68 317566976 7.89 7.94 200167424
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.5  11.5  372785152 7.87 7.95 205426688
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.3  12.4  343707648 7.69 7.74 203870208
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.1  12.2  334282752 7.85 8.04 212152320
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 11.8  11.9  320761856 8.05 8.10 207458304
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 13.0  13.1  342761472 5.55 5.58 206139392
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 14.9  15.0  489099264 8.02 8.08 224620544
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.6  10.7  292241408 7.87 7.91 200073216
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.91 10.0  290660352 7.40 7.45 198238208
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.75 9.86 239312896 7.25 7.30 191967232
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 9.77 9.86 249856000 5.17 5.37 194289664
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 11.7  11.8  293322752 7.83 7.89 201056256
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.8  12.9  378478592 7.93 7.99 202878976
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 7.38 7.43 275492864 7.81 7.87 193245184
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.50 9.56 251392000 7.46 7.51 193576960
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 10.7  11.0  267886592 5.30 5.32 192253952
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 6.93 6.97 272637952 7.57 7.62 203046912
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 11.8  11.9  303230976 7.66 7.74 197230592
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.1  11.2  288858112 7.78 7.82 196034560
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.9  288337920 7.52 7.57 193146880
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.8  11.1  281206784 7.66 7.72 197124096
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.49 9.57 236748800 7.50 7.56 188170240
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 6.84 6.88 261767168 7.70 7.76 191791104
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 11.7  11.8  308875264 7.58 7.63 205094912
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.47 7.51 289816576 5.62 5.66 195084288
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.59 7.64 286248960 7.84 7.91 195084288
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 11.5  11.6  296402944 8.26 8.31 208912384
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 12.8  12.9  445161472 5.39 5.41 199974912
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.7  287117312 5.34 5.37 194269184
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  296845312 7.86 7.91 197517312
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.3  11.4  291717120 7.84 7.93 198336512
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.2  10.3  262332416 7.85 7.91 194170880
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.7  10.7  271417344 7.81 7.86 195485696
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.2  11.3  277688320 7.74 7.82 199946240
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.6  10.6  271527936 7.59 7.65 188280832
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 11.9  12.0  334508032 7.93 7.98 202633216
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.8  10.9  289001472 7.82 7.87 200069120
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 7.71 7.75 285052928 7.84 7.89 197111808
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.6  11.7  293920768 8.05 8.09 200167424
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.1  10.1  268460032 7.41 7.46 189997056
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 11.5  11.6  309170176 5.67 5.70 200462336
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 15.7  15.7  698359808 8.26 8.33 224980992
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.9  14.1  591183872 5.61 5.64 208392192
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 12.5  12.6  402575360 8.02 8.08 205254656
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  290856960 7.58 7.63 190492672
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.23 9.31 229404672 7.56 7.62 186216448
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  276504576 7.62 7.69 190394368
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 11.5  11.6  296706048 7.69 7.76 190271488
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 6.69 6.74 298577920 5.09 5.12 187162624
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.9  341889024 7.36 7.41 187498496
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.50 8.55 343580672 7.51 7.56 197533696
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 6.55 6.59 307777536 7.35 7.41 192073728
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 7.74 7.79 389677056 5.21 5.23 192065536
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 11.5  11.6  351805440 7.54 7.61 198029312
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.6  10.7  273207296 7.62 7.66 188751872
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.5  10.6  280387584 7.71 7.77 189943808
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 11.5  11.6  391254016 7.69 7.74 199032832
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  314040320 7.47 7.51 198856704
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 6.58 6.62 235888640 7.41 7.45 191361024
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.6  11.7  322883584 7.59 7.65 204296192
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  435736576 7.83 7.88 204697600
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 17.7  17.8  700600320 5.77 5.79 223490048
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 8.33 8.38 324489216 7.82 7.88 199716864
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 12.6  12.7  377135104 8.10 8.30 206180352
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.3  10.4  265498624 7.56 7.63 191897600
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 6.74 6.78 265736192 7.63 7.69 189177856
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.5  10.5  268750848 7.74 8.14 194609152
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.8  11.9  337248256 7.84 8.21 200593408
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 8.57 8.62 531308544 7.82 7.87 201482240
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 11.6  11.7  341643264 7.76 7.83 197193728
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.65 9.72 241364992 7.59 7.75 191459328
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 8.83 8.91 420057088 8.15 8.22 212656128
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 12.4  12.5  384253952 5.60 5.63 199782400
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.5  16.6  698269696 5.93 5.97 224522240
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  599924736 8.18 8.23 204075008
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 13.3  13.4  530317312 5.59 5.63 209006592
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 10.9  11.0  297947136 7.80 7.86 198328320
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 13.4  13.8  370606080 8.10 8.16 209272832
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  324214784 7.98 8.03 202260480
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 13.0  13.1  370491392 5.37 5.39 204668928
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.3  15.4  536363008 8.03 8.07 225112064
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.0  13.1  406519808 7.91 7.95 217726976
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 10.7  10.7  613720064 7.97 8.02 217296896
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.39 9.46 228798464 7.40 7.45 194969600
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 11.7  11.8  317939712 7.92 7.97 201777152
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.06 8.10 338059264 7.72 7.76 203636736
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  281149440 7.99 8.04 202227712
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.5  12.6  338862080 7.58 7.63 199180288
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.2  11.4  282013696 7.68 7.88 203182080
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 10.4  10.5  275849216 7.76 7.82 197582848
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 8.92 8.96 385585152 5.28 5.30 198500352
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 9.71 9.77 245112832 7.41 7.60 194060288
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.33 9.40 214597632 7.15 7.20 185696256
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 8.99 9.06 216903680 7.15 7.21 185827328
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 7.34 7.39 283164672 7.70 7.75 190877696
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.15 9.22 221044736 7.50 7.56 182910976
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 9.90 9.99 258899968 7.47 7.54 187260928
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 9.68 9.75 245587968 7.43 7.49 187490304
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.82 9.90 248274944 7.51 7.56 185643008
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 6.43 6.47 265879552 5.45 5.66 183037952
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.76 9.83 262750208 5.10 5.15 192016384
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 8.31 8.37 211095552 7.44 7.50 184172544
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 10.0  10.1  250802176 5.13 5.15 190263296
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 7.44 7.48 278343680 7.87 7.93 192860160
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 9.73 9.80 261816320 7.89 7.95 192864256
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.3  10.4  264699904 7.95 8.01 194985984
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 10.6  10.6  270983168 7.88 7.95 193220608
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  11.0  269545472 7.45 7.50 198639616
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 10.9  10.9  294273024 7.64 7.69 189067264
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.1  12.2  373751808 7.73 7.78 201957376
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 7.04 7.08 256356352 5.30 5.50 191115264
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.8  10.9  274800640 7.74 7.79 192888832
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 6.83 6.87 253734912 7.66 7.73 187133952
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 11.7  11.8  353533952 5.48 5.52 194412544
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.1  11.2  288710656 5.41 5.45 197664768
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 12.2  12.3  361074688 5.32 5.35 196182016
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 10.4  10.5  260349952 7.87 7.93 192364544
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.6  10.7  269271040 7.63 7.68 186589184
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.67 9.74 247144448 7.31 7.36 193830912
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 9.64 9.69 485871616 8.35 8.41 214671360
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 15.0  15.1  617766912 8.33 8.38 218357760
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  519761920 8.19 8.25 223133696
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.5  17.6  705400832 8.46 8.54 222928896
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 27.0  27.1  792719360 9.35 9.42 276684800
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.6  15.7  697430016 8.32 8.51 225247232
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 6.76 6.80 268201984 7.47 7.53 198905856
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 9.96 10.0  260120576 7.87 7.93 196218880
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 10.4  10.4  266407936 5.54 5.57 197988352
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.5  10.5  263925760 7.93 7.99 197640192
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 8.07 8.12 314744832 7.84 7.89 214368256
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.15 6.19 218918912 7.64 7.70 190693376
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 12.0  12.1  317677568 5.66 5.68 200728576
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.7  10.8  284254208 5.50 5.53 207101952
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.8  10.9  298602496 8.04 8.08 204099584
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.9  10.9  288931840 7.84 7.89 206766080
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.1  10.2  281911296 7.72 7.78 203620352
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 13.0  13.0  528826368 5.48 5.69 197095424
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 10.6  10.6  313675776 7.97 8.01 203657216
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.47 9.55 241324032 7.65 7.71 192053248
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 9.97 10.1  258719744 7.31 7.36 191963136
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.1  10.1  249745408 7.69 7.89 190955520
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.8  10.9  271912960 7.59 7.64 199196672
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 7.02 7.07 256307200 7.43 7.47 198295552
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 10.2  10.3  251465728 7.72 7.76 191950848
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.11 6.15 216743936 7.35 7.40 182624256
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.2  12.3  394842112 7.80 7.86 194314240
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.7  10.8  261775360 7.48 7.53 200986624
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.57 8.63 383676416 7.81 7.86 199000064
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.3  17.4  694743040 7.99 8.04 223285248
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 10.3  10.4  259117056 5.26 5.29 187191296
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.2  11.3  286826496 7.86 8.02 192667648
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.2  14.3  525930496 7.98 8.03 225071104
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 11.1  11.2  284585984 7.59 7.64 201158656
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.4  10.5  284794880 7.48 7.52 197373952
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 7.49 7.54 288825344 5.43 5.47 187506688
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 12.0  12.1  376872960 5.54 5.56 200462336
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.6  10.7  373473280 7.56 7.64 195186688
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.4  10.5  274767872 7.54 7.59 198078464
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 10.3  10.4  281145344 7.39 7.45 204775424
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  279044096 7.72 7.77 189284352
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.1  10.2  282902528 7.59 7.65 192516096
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 9.93 10.0  273653760 7.71 7.78 193069056
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.9  12.0  330326016 7.65 7.72 204275712
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.6  11.7  330375168 7.83 7.88 193552384
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.9  334012416 7.97 8.03 199229440
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 9.46 9.53 245542912 5.35 5.38 196595712
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.69 9.76 261861376 7.49 7.54 187863040
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 12.1  12.2  347025408 5.51 5.54 199385088
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 9.11 9.18 213766144 5.24 5.27 184139776
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 11.7  11.8  282542080 7.85 7.92 204066816
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 7.18 7.22 276287488 5.29 5.31 193757184
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 11.8  11.8  282521600 8.13 8.19 203309056
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 7.87 7.92 308637696 7.64 7.69 203620352
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 6.79 6.83 227115008 7.32 7.38 187293696
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 9.87 9.96 241754112 7.68 7.74 188686336
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 10.1  10.2  244961280 7.32 7.37 195964928
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.33 9.80 236236800 7.21 7.26 187518976
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.5  11.6  300597248 7.73 7.79 197058560
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.74 9.81 237838336 7.13 7.19 195391488
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.2  11.2  309161984 7.53 7.57 198209536
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 8.54 8.60 228372480 5.15 5.18 183791616
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.24 9.34 223887360 7.61 7.66 190996480
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.34 9.40 222830592 7.62 7.68 184569856
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.69 8.76 222818304 7.43 7.47 185163776
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 10.5  10.5  271056896 7.62 7.80 200683520
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.3  13.4  430505984 5.54 5.73 211116032
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.8  10.9  283697152 7.85 7.92 208429056
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.2  10.3  257253376 7.90 7.95 196161536
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 9.08 9.14 232161280 5.07 5.10 178929664
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 10.2  10.3  258793472 7.68 7.74 192921600
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.1  10.2  263516160 7.24 7.31 192643072
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.06 7.10 275505152 7.22 7.28 188190720
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  265400320 7.76 7.82 187641856
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.36 7.40 275189760 7.69 7.74 188973056
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 8.21 8.25 299339776 7.74 7.80 200019968
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 7.17 7.22 246980608 7.60 7.65 190599168
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.3  10.4  308211712 65.8  66.1  680812544
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  275324928 65.9  66.1  685170688
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  12.1  418525184 11.9  12.0  417087488
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 12.6  12.6  559411200 11.5  11.6  391970816
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.9  13.1  428220416 13.3  13.4  442347520
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 10.9  11.2  285257728 11.6  11.7  307974144
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 12.2  12.3  311091200 11.9  12.0  331522048
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 15.5  15.6  517066752 14.8  14.9  514949120
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 16.1  16.2  631209984 11.9  12.0  718426112
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 15.1  15.2  463097856 15.1  15.2  537980928
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 11.7  11.8  318713856 12.3  12.4  322351104
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 15.1  15.4  568303616 15.9  16.0  539324416
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  652636160 15.4  15.6  680140800
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 6.68 6.73 261701632 11.5  11.5  309952512
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.4  12.5  398364672 65.7  66.1  690647040
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 11.0  11.1  340791296 65.8  66.1  686366720
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.1  12.2  567156736 11.8  11.9  407052288
ldv-commit-tester/m0_false-unreach-call_drivers-net-slip-ko--108_1a--1b0b0ac-1.c 11.4  11.5  401530880 16.7  16.8  692072448
ldv-commit-tester/m0_true-unreach-call_drivers-net-slip-ko--108_1a--1b0b0ac.c 8.27 8.33 390721536 17.5  17.6  696385536
ldv-commit-tester/m0_true-unreach-call_sound-core-oss-snd-mixer-oss-ko--143_7a--506218e.c 11.1  11.2  308768768 65.8  66.1  673873920
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.6  10.7  299429888 65.8  66.1  726650880
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 14.1  14.2  467058688 18.9  19.0  714932224
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 10.4  10.5  401444864 65.8  66.1  703754240
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 9.75 9.80 569872384 15.3  15.4  643993600
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 21.1  21.2  926392320 65.8  66.1  800280576
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 13.8  14.0  516902912 65.8  66.1  683646976
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 15.0  15.1  384495616 65.8  66.1  695754752
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 17.0  17.1  475340800 65.8  66.1  706080768
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 11.2  11.3  322052096 65.8  66.1  693338112
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--hwmon--amc6821.ko-main.cil.out.c 6.79 6.84 254513152 9.66 9.70 690458624
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--hwmon--asb100.ko-main.cil.out.c 10.1  10.2  254734336 11.1  11.2  698753024
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--hwmon--max16065.ko-main.cil.out.c 9.20 9.27 227889152 14.6  14.6  645722112
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--hwmon--w83781d.ko-main.cil.out.c 10.4  10.5  276348928 20.4  20.5  730480640
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--hwmon--w83791d.ko-main.cil.out.c 7.09 7.13 244957184 11.9  11.9  690601984
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--hwmon--w83792d.ko-main.cil.out.c 9.77 9.85 253300736 19.7  19.8  738795520
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.2  17.3  720363520 26.2  26.3  753946624
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--mfd--sm501.ko-main.cil.out.c 10.2  10.3  250843136 11.0  11.1  691073024
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--net--wireless--rtlwifi--rtl8192de--rtl8192de.ko-main.cil.out.c 15.9  16.0  484229120 51.9  52.2  880521216
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 16.7  16.8  693891072 31.0  31.2  769114112
ldv-consumption/linux-3.8-rc1-32_7a-drivers--hwmon--w83793.ko-ldv_main0_true-unreach-call.cil.out.c 12.6  12.7  295743488 14.7  14.8  750346240
ldv-consumption/linux-3.8-rc1-32_7a-drivers--net--dsa--mv88e6xxx_drv.ko-ldv_main2_true-unreach-call.cil.out.c 10.8  10.9  314978304 18.1  18.2  690216960
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.4  12.5  352002048 13.9  14.0  563535872
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 20.4  20.7  784777216 65.8  66.1  685084672
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 16.7  16.8  696406016 65.8  66.1  702984192
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.2  11.3  312856576 65.8  66.1  702361600
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.1  15.2  523112448 41.6  41.8  823603200
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 13.8  13.9  507863040 65.8  66.1  700665856
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 14.2  14.3  417566720 24.6  24.8  743747584
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.3  29.5  757809152 65.8  66.1  720760832
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 10.6  10.7  594616320 25.4  25.5  823758848
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 15.9  16.0  566464512 51.4  51.6  852021248
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 14.1  14.1  399433728 65.8  66.1  700112896
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 11.3  11.4  290320384 19.3  19.4  714723328
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 14.5  14.5  372822016 22.1  22.2  762839040
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.3  10.3  278585344 10.6  10.6  697950208
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 14.8  14.9  478564352 66.0  66.1  705081344
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.4  13.5  420712448 65.8  66.1  693460992
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 12.5  12.6  374874112 65.8  66.1  706482176
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.3  29.4  869126144 65.8  66.1  683798528
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.6  11.7  302407680 22.4  22.5  726757376
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 14.6  14.7  381366272 22.4  22.5  764964864
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.0  14.1  400347136 65.8  66.1  703123456
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 18.7  18.8  711860224 65.8  66.1  719634432
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.2  11.3  302211072 18.7  18.8  745893888
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.3  12.4  335454208 17.0  17.1  697110528
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 10.4  10.4  280371200 65.8  66.1  684167168
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 11.0  11.1  414511104 65.8  66.1  688336896
ldv-validator-v0.6/linux-stable-1b0b0ac-1-108_1a-drivers--net--slip.ko-entry_point_false-unreach-call.cil.out.c 12.9  13.0  399818752 16.0  16.1  684138496
ldv-validator-v0.6/linux-stable-4ed3cba-1-100_1a-drivers--usb--serial--qcserial.ko-entry_point_false-unreach-call.cil.out.c 12.1  12.4  390680576 8.55 8.61 226422784
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 18.3  18.4  580190208 65.8  66.1  718479360
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.0  13.0  350257152 19.9  20.0  708853760
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 9.23 9.26 408981504 18.9  19.0  699711488
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  508522496 65.8  66.1  714207232
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.71 8.76 348352512 23.1  23.2  714248192
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.3  11.4  272896000 22.4  22.7  731947008
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 11.8  11.9  274919424 24.2  24.4  759894016
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 19.4  19.5  703528960 65.9  66.1  687460352
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 14.9  15.0  383000576 23.2  23.3  764260352
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 15.7  15.7  506900480 44.6  44.8  827277312
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.8  13.9  386772992 65.8  66.1  715059200
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 18.5  18.6  526286848 65.8  66.1  704442368
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.5  14.6  372092928 66.0  66.1  682876928
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 15.6  15.7  431255552 16.4  16.5  600829952
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 12.4  12.4  596860928 65.8  66.1  700698624
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 19.7  19.9  693424128 65.8  66.1  689410048
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--net--wireless--iwlwifi--dvm--iwldvm.ko-entry_point_true-unreach-call.cil.out.c 25.3  25.5  666566656 61.0  61.3  816168960
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 16.0  16.1  593940480 65.8  66.1  692125696
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 10.2  10.2  391946240 24.4  24.6  765399040
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 16.0  16.1  620638208 43.9  44.1  824545280
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 15.7  15.8  423870464 65.8  66.1  707497984
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 14.0  14.1  351961088 65.8  66.1  715399168
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 13.1  13.2  373678080 65.8  66.1  705699840
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 21.3  21.5  426504192 65.8  66.1  703369216
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 30.4  30.6  763469824 65.8  66.1  712650752
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 20.3  20.4  578342912 65.8  66.1  709103616
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 16.1  16.2  443666432 65.8  66.1  736190464
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--staging--unisys--visorbus--visorbus.ko-entry_point_true-unreach-call.cil.out.c 18.7  18.9  404164608 60.9  61.1  741867520
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 9.78 9.83 389509120 65.8  66.1  685084672
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 12.9  13.0  412291072 9.82 9.87 597778432
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 14.1  14.2  395112448 65.9  66.1  733605888
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 21.4  21.5  731164672 65.8  66.1  732176384
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 14.0  14.0  733544448 65.9  66.1  687280128
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 14.1  14.2  523440128 65.9  66.1  739319808
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 17.6  17.7  565608448 65.8  66.1  692969472
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 14.9  15.0  380297216 23.0  23.2  769765376
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 15.5  15.6  426446848 65.9  66.1  706916352
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 10.3  10.3  433508352 65.8  66.1  716500992
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 10.1  10.1  562249728 65.8  66.1  701235200
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 14.4  14.5  392605696 65.7  66.1  713388032
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 19.2  19.3  425021440 65.8  66.1  703246336
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 14.3  14.3  558510080 65.9  66.1  713646080
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 33.1  33.3  763621376 65.9  66.1  716865536
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.6  20.8  522506240 65.9  66.1  698142720
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 14.9  15.0  510500864 65.8  66.1  747335680
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--staging--vt6656--vt6656_stage.ko-entry_point_true-unreach-call.cil.out.c 17.2  17.3  659877888 66.0  66.2  988327936
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 19.6  19.8  505221120 65.8  66.1  733802496
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 9.50 9.56 366948352 65.9  66.1  686338048
ldv-challenges/linux-3.14__complex_emg__linux-alloc-spinlock__drivers-media-pci-bt8xx-bttv_true-unreach-call.cil.c 20.1  20.2  504352768 65.8  66.1  706772992
ldv-challenges/linux-3.14__complex_emg__linux-alloc-spinlock__drivers-media-usb-gspca-gspca_topro_true-unreach-call.cil.c 18.7  18.8  811294720 65.9  66.1  836349952
ldv-challenges/linux-3.14__complex_emg__linux-alloc-spinlock__drivers-net-wireless-rndis_wlan_true-unreach-call.cil.c 15.0  15.1  545366016 65.8  66.1  687177728
ldv-challenges/linux-3.14__complex_emg__linux-drivers-clk1__drivers-media-usb-gspca-gspca_topro_true-unreach-call.cil.c 13.0  13.1  742289408 65.8  66.1  804110336
ldv-challenges/linux-3.14__complex_emg__linux-kernel-locking-mutex__drivers-media-common-saa7146-saa7146_vv_true-unreach-call.cil.c 14.0  14.1  392572928 65.9  66.1  719958016
ldv-challenges/linux-3.14__complex_emg__linux-kernel-locking-mutex__drivers-media-pci-bt8xx-bttv_true-unreach-call.cil.c 19.8  19.9  487071744 65.8  66.1  716709888
ldv-challenges/linux-3.14__complex_emg__linux-kernel-locking-mutex__drivers-media-usb-gspca-gspca_topro_true-unreach-call.cil.c 18.4  18.5  806998016 65.8  66.1  806117376
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  585400320 65.8  66.1  690114560
ldv-challenges/linux-3.14__complex_emg__linux-kernel-locking-spinlock__drivers-media-common-saa7146-saa7146_vv_true-unreach-call.cil.c 8.39 8.44 378150912 65.8  66.1  725831680
ldv-challenges/linux-3.14__complex_emg__linux-kernel-locking-spinlock__drivers-media-pci-bt8xx-bttv_true-unreach-call.cil.c 12.9  13.0  512499712 65.8  66.1  717967360
ldv-challenges/linux-3.14__complex_emg__linux-kernel-locking-spinlock__drivers-media-pci-saa7134-saa7134_true-unreach-call.cil.c 21.8  22.0  581058560 65.7  66.1  719552512
ldv-challenges/linux-3.14__complex_emg__linux-kernel-locking-spinlock__drivers-media-usb-gspca-gspca_topro_true-unreach-call.cil.c 19.2  19.4  802660352 65.8  66.1  799109120
ldv-challenges/linux-3.14__complex_emg__linux-kernel-locking-spinlock__drivers-net-wireless-rndis_wlan_true-unreach-call.cil.c 10.8  10.9  573104128 65.8  66.1  693829632
ldv-challenges/linux-3.14__complex_emg__linux-usb-dev__drivers-media-pci-bt8xx-bttv_true-unreach-call.cil.c 20.3  20.4  519974912 65.8  66.1  704196608
ldv-challenges/linux-3.14__complex_emg__linux-usb-dev__drivers-media-usb-em28xx-em28xx_true-unreach-call.cil.c 10.4  10.5  296390656 65.8  66.1  698843136
ldv-challenges/linux-3.14__complex_emg__linux-usb-dev__drivers-media-usb-gspca-gspca_topro_true-unreach-call.cil.c 18.3  18.4  741961728 66.0  66.1  841728000
ldv-challenges/linux-3.14__linux-usb-dev__drivers-media-usb-em28xx-em28xx_true-unreach-call.cil.c 6.73 6.78 296972288 65.8  66.1  695926784
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.6  10.6  291332096 65.9  66.1  736034816
ldv-linux-3.14/linux-3.14__complex_emg__linux-alloc-spinlock__drivers-media-common-saa7146-saa7146_vv_true-unreach-call.cil.c 12.8  12.9  382193664 65.8  66.1  722333696
ldv-linux-3.14/linux-3.14__complex_emg__linux-alloc-spinlock__drivers-media-pci-saa7134-saa7134_true-unreach-call.cil.c 19.7  19.8  603512832 65.9  66.1  724566016
ldv-linux-3.14/linux-3.14__complex_emg__linux-alloc-spinlock__drivers-net-fddi-skfp-skfp_true-unreach-call.cil.c 11.0  11.1  465797120 65.9  66.1  695361536
ldv-linux-3.14/linux-3.14__complex_emg__linux-drivers-clk1__drivers-media-pci-bt8xx-bttv_true-unreach-call.cil.c 19.8  19.9  525570048 65.9  66.1  706609152
ldv-linux-3.14/linux-3.14__complex_emg__linux-drivers-clk1__drivers-net-fddi-skfp-skfp_true-unreach-call.cil.c 17.6  17.7  473767936 65.9  66.1  719806464
ldv-linux-3.14/linux-3.14__complex_emg__linux-kernel-locking-mutex__drivers-media-pci-saa7134-saa7134_true-unreach-call.cil.c 22.0  22.1  580681728 65.8  66.1  727601152
ldv-linux-3.14/linux-3.14__complex_emg__linux-kernel-locking-mutex__drivers-media-usb-au0828-au0828_true-unreach-call.cil.c 17.8  17.9  458997760 65.8  66.1  695422976
ldv-linux-3.14/linux-3.14__complex_emg__linux-kernel-locking-mutex__drivers-media-usb-em28xx-em28xx_true-unreach-call.cil.c 10.8  10.9  308264960 65.8  66.1  699322368
ldv-linux-3.14/linux-3.14__complex_emg__linux-kernel-locking-mutex__drivers-media-usb-pwc-pwc_true-unreach-call.cil.c 15.3  15.4  430469120 65.8  66.1  694628352
ldv-linux-3.14/linux-3.14__complex_emg__linux-kernel-locking-mutex__drivers-media-usb-stk1160-stk1160_true-unreach-call.cil.c 16.0  16.1  405487616 65.8  66.1  689045504
ldv-linux-3.14/linux-3.14__complex_emg__linux-kernel-locking-mutex__drivers-net-fddi-skfp-skfp_true-unreach-call.cil.c 19.6  19.7  464416768 65.8  66.1  692731904
ldv-linux-3.14/linux-3.14__complex_emg__linux-kernel-locking-spinlock__drivers-media-usb-au0828-au0828_true-unreach-call.cil.c 17.6  17.7  718716928 65.8  66.1  696336384
ldv-linux-3.14/linux-3.14__complex_emg__linux-kernel-locking-spinlock__drivers-media-usb-pwc-pwc_true-unreach-call.cil.c 14.3  14.4  436924416 65.8  66.1  692412416
ldv-linux-3.14/linux-3.14__complex_emg__linux-kernel-locking-spinlock__drivers-net-fddi-skfp-skfp_true-unreach-call.cil.c 19.2  19.3  480759808 65.8  66.1  698740736
ldv-linux-3.14/linux-3.14__complex_emg__linux-usb-dev__drivers-media-pci-saa7134-saa7134_true-unreach-call.cil.c 22.2  22.4  570802176 65.8  66.1  717774848
ldv-linux-3.14/linux-3.14__complex_emg__linux-usb-dev__drivers-net-fddi-skfp-skfp_true-unreach-call.cil.c 16.1  16.2  427462656 65.8  66.1  683835392
ldv-linux-3.14/linux-3.14__complex_emg__linux-usb-dev__drivers-net-wireless-rndis_wlan_true-unreach-call.cil.c 9.42 9.47 515371008 65.8  66.1  694169600
ldv-linux-3.14/linux-3.14__linux-alloc-spinlock__drivers-media-usb-gspca-gspca_topro_true-unreach-call.cil.c 19.6  19.7  799404032 65.9  66.1  798257152
ldv-linux-3.14/linux-3.14__linux-alloc-spinlock__drivers-net-fddi-skfp-skfp_true-unreach-call.cil.c 18.3  18.5  483053568 65.8  66.1  695619584
ldv-linux-3.14/linux-3.14__linux-drivers-clk1__drivers-media-usb-gspca-gspca_topro_true-unreach-call.cil.c 20.8  20.9  812769280 65.8  66.1  804200448
ldv-linux-3.14/linux-3.14__linux-drivers-clk1__drivers-net-fddi-skfp-skfp_true-unreach-call.cil.c 17.4  17.5  465424384 65.8  66.1  692486144
ldv-linux-3.14/linux-3.14__linux-kernel-locking-mutex__drivers-media-usb-em28xx-em28xx_true-unreach-call.cil.c 7.30 7.35 301744128 65.9  66.1  695545856
ldv-linux-3.14/linux-3.14__linux-kernel-locking-mutex__drivers-media-usb-gspca-gspca_topro_true-unreach-call.cil.c 18.3  18.4  742375424 65.8  66.1  838381568
ldv-linux-3.14/linux-3.14__linux-kernel-locking-mutex__drivers-net-fddi-skfp-skfp_true-unreach-call.cil.c 15.5  15.6  438005760 65.8  66.1  691290112
ldv-linux-3.14/linux-3.14__linux-kernel-locking-spinlock__drivers-media-usb-gspca-gspca_topro_true-unreach-call.cil.c 12.1  12.1  737980416 65.8  66.1  805376000
ldv-linux-3.14/linux-3.14__linux-kernel-locking-spinlock__drivers-net-fddi-skfp-skfp_true-unreach-call.cil.c 17.1  17.2  444792832 65.9  66.1  695578624
ldv-linux-3.14/linux-3.14__linux-usb-dev__drivers-media-usb-gspca-gspca_topro_true-unreach-call.cil.c 19.8  20.0  815058944 65.9  66.1  798707712
ldv-linux-3.14/linux-3.14__linux-usb-dev__drivers-net-fddi-skfp-skfp_true-unreach-call.cil.c 17.9  18.1  461701120 65.8  66.1  688873472
ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--infiniband--ulp--srp--ib_srp.ko_false-unreach-call.cil.c 16.3  16.4  424325120 65.8  66.1  715624448
ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--gspca--gspca_main.ko_false-unreach-call.cil.c 12.1  12.1  312680448 13.1  13.3  706924544
ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--esas2r--esas2r.ko_false-unreach-call.cil.c 13.0  13.1  421052416 65.9  66.1  717123584
ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko_false-unreach-call.cil.c 16.8  16.8  580050944 65.8  66.1  701743104
ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--qla4xxx--qla4xxx.ko_false-unreach-call.cil.c 31.9  32.1  785846272 65.8  66.1  777433088
ldv-linux-4.0-rc1-mav/linux-4_true-termination.0-rc1---drivers--media--rc--lirc_dev.ko_true-unreach-call.cil.c 12.7  12.7  373907456 65.8  66.1  705183744
ldv-memsafety/StructInitialization2_true-valid-memsafety.c 5.10 5.14 186671104 61.9  62.2  658886656
recursive/Addition02WithOverflowBug_false-no-overflow.c 6.85 6.91 180068352 -
recursive/Addition03_false-no-overflow.c 6.77 6.82 176365568 -
recursive/EvenOdd03WithOverflowBug_false-no-overflow.c 7.07 7.12 180936704 -
recursive-simple/id_b3_o2_false-no-overflow.c 6.89 6.94 180277248 -
recursive-simple/id_b3_o5_false-no-overflow.c 6.93 7.01 182910976 -
recursive-simple/id_b5_o10_false-no-overflow.c 6.91 6.98 180383744 -
recursive-simple/sum_non_eq_false-no-overflow.c 6.90 7.11 183177216 -
recursive-simple/sum_non_false-no-overflow.c 4.75 4.78 175943680 -
bitvector/byte_add_1_false-no-overflow.i 5.11 5.15 179539968 -
bitvector/byte_add_2_false-no-overflow.i 7.01 7.07 181596160 -
bitvector/byte_add_false-no-overflow.i 7.12 7.19 180768768 -
bitvector/jain_1_false-no-overflow.i 4.77 4.80 176791552 -
bitvector/jain_2_false-no-overflow.i 4.94 4.97 175210496 -
bitvector/jain_4_false-no-overflow.i 6.98 7.04 178274304 -
bitvector/jain_5_false-no-overflow.i 6.74 6.79 175665152 -
bitvector/jain_6_false-no-overflow.i 6.98 7.03 174985216 -
bitvector/jain_7_false-no-overflow.i 4.77 4.82 174374912 -
bitvector/modulus_false-no-overflow.i 6.84 6.90 178876416 -
psyco/psyco_abp_1_false-no-overflow.c 7.98 8.05 209256448 -
signedintegeroverflow-regression/AdditionIntMax_false-no-overflow.c.i 4.83 4.87 173711360 -
signedintegeroverflow-regression/AdditionIntMin_false-no-overflow.c.i 6.56 6.62 177180672 -
signedintegeroverflow-regression/Division_false-no-overflow.c.i 6.71 6.77 182992896 -
signedintegeroverflow-regression/Multiplication_false-no-overflow.c.i 6.78 6.84 180752384 -
signedintegeroverflow-regression/NoConversion_false-no-overflow.c.i 6.63 6.69 179638272 -
signedintegeroverflow-regression/PostfixDecrement_false-no-overflow.c.i 6.67 6.72 173731840 -
signedintegeroverflow-regression/PostfixIncrement_false-no-overflow.c.i 7.09 7.14 177770496 -
signedintegeroverflow-regression/PrefixDecrement_false-no-overflow.c.i 4.97 5.01 176492544 -
signedintegeroverflow-regression/PrefixIncrement_false-no-overflow.c.i 6.66 6.71 175280128 -
signedintegeroverflow-regression/UnaryMinus_false-no-overflow.c.i 6.96 7.02 175824896 -
signedintegeroverflow-regression/ConversionToSignedInt_true-no-overflow_true-termination.c.i 6.84 6.90 174141440 -
signedintegeroverflow-regression/IntegerPromotion_true-no-overflow_true-termination.c.i 7.10 7.15 177188864 -
signedintegeroverflow-regression/Multiplication_true-no-overflow_true-termination.c.i 6.91 6.99 176820224 -
signedintegeroverflow-regression/NoNegativeIntegerConstant_true-no-overflow_true-termination.c.i 6.98 7.06 178511872 -
signedintegeroverflow-regression/UsualArithmeticConversions_true-no-overflow_true-termination.c.i 6.97 7.05 174657536 -
termination-crafted/2Nested_false-no-overflow.c 6.81 6.99 179175424 -
termination-crafted/4NestedWith3Variables_false-no-overflow.c 6.98 7.04 178491392 -
termination-crafted/Ackermann_false-no-overflow.c 6.69 6.76 190267392 -
termination-crafted/Bangalore_false-no-overflow.c 6.87 6.93 176992256 -
termination-crafted/Bangalore_v3_false-no-overflow.c 4.52 4.73 177160192 -
termination-crafted/Benghazi_nondet_false-no-overflow.c 6.68 6.74 184520704 -
termination-crafted/Binary_Search_false-no-overflow.c 7.01 7.06 177778688 -
termination-crafted/Cairo_nondet_false-no-overflow.c 5.05 5.09 180404224 -
termination-crafted/Cairo_step2_false-no-overflow.c 6.64 6.71 179122176 -
termination-crafted/Collatz_unknown-termination_false-no-overflow.c 6.79 6.86 180183040 -
termination-crafted/Copenhagen_disj_false-no-overflow.c 6.87 6.92 183803904 -
termination-crafted/Gothenburg_false-no-overflow.c 4.58 4.62 178720768 -
termination-crafted/Gothenburg_v2_false-no-overflow.c 6.91 6.97 179634176 -
termination-crafted/Hanoi_2vars_false-no-overflow.c 6.88 6.95 179609600 -
termination-crafted/Hanoi_3vars_false-no-overflow.c 6.96 7.03 179748864 -
termination-crafted/Hanoi_plus_false-no-overflow.c 4.80 4.83 175964160 -
termination-crafted/Lobnya-Boolean-Reordered_false-no-overflow.c 6.74 6.80 183808000 -
termination-crafted/Mysore_false-no-overflow.c 6.98 7.04 179376128 -
termination-crafted/NestedRecursion_1a_false-no-overflow.c 6.73 6.77 177410048 -
termination-crafted/NestedRecursion_2a_false-no-overflow.c 4.98 5.03 178667520 -
termination-crafted/NonTermination1_false-no-overflow.c 6.92 7.00 176898048 -
termination-crafted/NonTermination2_false-no-overflow.c 4.72 4.75 176316416 -
termination-crafted/NonTermination4_false-no-overflow.c 6.65 6.70 177713152 -
termination-crafted/NonTerminationSimple2_false-no-overflow.c 6.67 6.73 176762880 -
termination-crafted/NonTerminationSimple3_false-no-overflow.c 6.86 6.91 186511360 -
termination-crafted/NonTerminationSimple4_false-no-overflow.c 6.64 6.68 184463360 -
termination-crafted/NonTerminationSimple5_false-no-overflow.c 4.92 4.96 178634752 -
termination-crafted/NonTerminationSimple6_false-no-overflow.c 6.83 7.01 180015104 -
termination-crafted/NonTerminationSimple8_false-no-overflow.c 6.81 6.86 174882816 -
termination-crafted/NonTerminationSimple9_false-no-overflow.c 6.32 6.37 174977024 -
termination-crafted/Pure2Phase_false-no-overflow.c 6.89 6.94 181682176 -
termination-crafted/Pure3Phase_false-no-overflow.c 6.45 6.50 180244480 -
termination-crafted/RecursiveMultiplication_false-no-overflow.c 6.85 6.92 178929664 -
termination-crafted/RecursiveNonterminating_false-no-overflow.c 6.86 7.04 180453376 -
termination-crafted/Rotation180_false-no-overflow.c 6.84 6.89 175448064 -
termination-crafted/Singapore_false-no-overflow.c 7.05 7.09 180555776 -
termination-crafted/Singapore_plus_false-no-overflow.c 6.91 6.96 176881664 -
termination-crafted/Singapore_v1_false-no-overflow.c 6.96 7.01 176513024 -
termination-crafted/Singapore_v2_false-no-overflow.c 6.80 7.01 177180672 -
termination-crafted/Stockholm_false-no-overflow.c 6.68 6.75 187531264 -
termination-crafted/Thun_false-no-overflow.c 4.75 4.79 176640000 -
termination-crafted/Toulouse-BranchesToLoop_false-no-overflow.c 7.04 7.10 182366208 -
termination-crafted/Toulouse-MultiBranchesToLoop_false-no-overflow.c 4.76 4.81 180097024 -
termination-crafted/aaron2_false-no-overflow.c 6.87 6.93 177799168 -
termination-crafted/aaron3_false-no-overflow.c 4.87 4.92 179589120 -
termination-crafted/easy2_false-no-overflow.c 6.67 6.86 180973568 -
termination-crafted/4BitCounterPointer_true-no-overflow_true-termination_true-valid-memsafety.c 6.86 6.93 181231616 -
termination-crafted/Arrays01-EquivalentConstantIndices_true-no-overflow_true-termination_true-valid-memsafety.c 4.70 4.73 176246784 -
termination-crafted/Arrays02-EquivalentConstantIndices_true-no-overflow_false-termination.c 6.89 6.94 178352128 -
termination-crafted/Arrays03-ValueRestictsIndex_true-no-overflow_true-termination_true-valid-memsafety.c 6.99 7.03 179036160 -
termination-crafted/Bangalore_true-no-overflow_true-termination_true-valid-memsafety.c 6.75 6.82 175865856 -
termination-crafted/Bangalore_v2_true-no-overflow_false-termination_true-valid-memsafety.c 6.72 6.77 173793280 -
termination-crafted/Bangalore_v4_true-no-overflow_true-termination_true-valid-memsafety.c 6.99 7.04 177553408 -
termination-crafted/Benghazi_true-no-overflow_true-termination_true-valid-memsafety.c 6.80 6.84 177881088 -
termination-crafted/Cairo_step2_true-no-overflow_false-termination_true-valid-memsafety.c 6.93 6.98 178216960 -
termination-crafted/Cairo_step2_true-no-overflow_true-termination_true-valid-memsafety.c 6.68 6.73 181223424 -
termination-crafted/Cairo_true-no-overflow_true-termination_true-valid-memsafety.c 6.70 6.77 179265536 -
termination-crafted/Copenhagen_true-no-overflow_true-termination_true-valid-memsafety.c 6.91 6.97 179490816 -
termination-crafted/Division_true-no-overflow_false-termination_true-valid-memsafety.c 6.85 6.89 177008640 -
termination-crafted/LexIndexValue-Array_true-no-overflow_true-termination_true-valid-memsafety.c 6.97 7.01 183304192 -
termination-crafted/LexIndexValue-Pointer_true-no-overflow.c 6.66 6.73 182624256 -
termination-crafted/Madrid_true-no-overflow_false-termination_true-valid-memsafety.c 4.94 5.14 179437568 -
termination-crafted/McCarthy91_Iteration_true-no-overflow_true-termination_true-valid-memsafety.c 6.81 6.85 176627712 -
termination-crafted/McCarthy91_Recursion_true-no-overflow_true-termination_true-valid-memsafety.c 7.00 7.06 179224576 -
termination-crafted/MenloPark_true-no-overflow_true-termination_true-valid-memsafety.c 7.01 7.07 178593792 -
termination-crafted/MutualRecursion_1a_true-no-overflow_false-termination_true-valid-memsafety.c 6.96 7.01 174776320 -
termination-crafted/MutualRecursion_1b_true-no-overflow_true-termination_true-valid-memsafety.c 6.89 6.94 179601408 -
termination-crafted/NestedRecursion_1b_true-no-overflow_true-termination_true-valid-memsafety.c 6.90 7.12 179757056 -
termination-crafted/NestedRecursion_1c_true-no-overflow_true-termination_true-valid-memsafety.c 6.68 6.72 178745344 -
termination-crafted/NestedRecursion_1d_true-no-overflow_true-termination_true-valid-memsafety.c 4.65 4.68 176607232 -
termination-crafted/NestedRecursion_2b_true-no-overflow_false-termination_true-valid-memsafety.c 4.82 4.86 179732480 -
termination-crafted/NestedRecursion_2c_true-no-overflow_true-termination_true-valid-memsafety.c 6.83 6.88 175980544 -
termination-crafted/NonTermination3_true-no-overflow_false-termination.c 4.74 4.77 181227520 -
termination-crafted/NonTerminationSimple7_true-no-overflow_false-termination_true-valid-memsafety.c 6.83 6.90 177610752 -
termination-crafted/Nyala-2lex_true-no-overflow_true-termination_true-valid-memsafety.c 7.04 7.23 179929088 -
termination-crafted/Parallel_true-no-overflow_true-termination_true-valid-memsafety.c 6.81 6.86 180510720 -
termination-crafted/Piecewise_true-no-overflow_true-termination_true-valid-memsafety.c 6.92 6.98 177123328 -
termination-crafted/SyntaxSupportPointer01_true-no-overflow_true-termination.c 6.93 6.99 176943104 -
termination-crafted/TelAviv-Amir-Minimum_true-no-overflow_true-termination_true-valid-memsafety.c 4.90 4.93 175218688 -
termination-crafted/Waldkirch_true-no-overflow_true-termination_true-valid-memsafety.c 6.73 6.79 180838400 -
termination-crafted/WhileFalse_true-no-overflow_true-termination_true-valid-memsafety.c 6.97 7.02 180359168 -
termination-crafted/WhileTrue_true-no-overflow_false-termination_true-valid-memsafety.c 6.83 6.88 177233920 -
termination-crafted/easy1_true-no-overflow_true-termination_true-valid-memsafety.c 7.01 7.19 179351552 -
termination-crafted/easy2_true-no-overflow_true-termination_true-valid-memsafety.c 6.86 6.95 181104640 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2a_false-no-overflow.c 6.71 6.77 176852992 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2b_false-no-overflow.c 6.85 6.90 177242112 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron2_false-no-overflow.c 7.21 7.28 188788736 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron3_false-no-overflow.c 7.03 7.11 176185344 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-complex_false-no-overflow.c 6.83 6.89 178470912 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1a_false-no-overflow.c 7.12 7.20 177971200 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1b_false-no-overflow.c 6.82 7.00 179884032 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2_false-no-overflow.c 4.78 4.82 179187712 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-exmini_false-no-overflow.c 6.87 6.94 178024448 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-ndecr_false-no-overflow.c 4.68 4.87 179929088 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_false-no-overflow.c 4.69 4.74 176123904 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d_false-no-overflow.c 7.00 7.05 179609600 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-rsd_false-no-overflow.c 6.84 6.90 182325248 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedFails4_false-no-overflow.c 6.85 6.90 178139136 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-terminate_false-no-overflow.c 6.88 6.94 182423552 -
termination-crafted-lit/Ben-Amram-LMCS2010-Ex2.3_false-no-overflow.c 7.12 7.18 181223424 -
termination-crafted-lit/BradleyMannaSipma-ICALP2005-Fig1_false-no-overflow.c 6.86 6.91 179773440 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron12_false-no-overflow.c 4.87 4.92 177717248 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron1_false-no-overflow.c 6.78 6.84 179474432 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron2_false-no-overflow.c 6.85 6.91 184209408 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron3_false-no-overflow.c 6.76 6.82 174702592 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron4_false-no-overflow.c 7.04 7.11 183762944 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron6_false-no-overflow.c 4.92 5.11 176259072 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.01_false-no-overflow.c 6.85 7.13 183214080 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.02_false-no-overflow.c 6.81 6.87 177643520 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.03_false-no-overflow.c 4.78 4.85 174764032 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.04_false-no-overflow.c 4.89 5.30 175075328 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.05_false-no-overflow.c 6.95 7.00 176308224 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.01_false-no-overflow.c 6.96 7.00 176783360 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.02_false-no-overflow.c 6.77 6.82 178184192 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.03_false-no-overflow.c 6.75 6.81 188526592 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.04_false-no-overflow.c 6.86 6.93 180269056 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.05_false-no-overflow.c 6.81 6.88 173273088 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.06_false-no-overflow.c 6.98 7.04 179425280 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.07_false-no-overflow.c 6.69 6.75 172326912 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.08_false-no-overflow.c 6.90 7.06 181329920 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.09_false-no-overflow.c 7.03 7.09 179150848 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.10_false-no-overflow.c 6.71 6.76 176705536 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.11_false-no-overflow.c 6.91 6.97 175378432 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.12_false-no-overflow.c 6.97 7.03 178229248 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.13_false-no-overflow.c 6.92 6.99 178032640 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.14_false-no-overflow.c 6.72 6.91 179847168 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.15_false-no-overflow.c 6.73 6.79 178991104 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.16_false-no-overflow.c 4.88 4.91 176345088 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.17_false-no-overflow.c 6.95 7.01 179752960 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.18_false-no-overflow.c 6.98 7.03 179838976 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.19_false-no-overflow.c 4.90 4.94 179048448 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.21_false-no-overflow.c 4.93 4.96 182374400 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.22_false-no-overflow.c 4.73 4.76 175673344 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.02_false-no-overflow.c 6.83 6.89 179613696 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.03_false-no-overflow.c 6.52 6.57 178868224 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.04_false-no-overflow.c 6.79 6.84 175173632 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.05_false-no-overflow.c 6.61 6.66 178229248 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.06_false-no-overflow.c 6.97 7.02 177274880 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.07_false-no-overflow.c 6.82 6.87 178446336 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.08_false-no-overflow.c 6.95 7.00 184266752 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.09_false-no-overflow.c 6.94 6.99 178491392 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.10_false-no-overflow.c 6.90 6.95 177303552 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex4.01_false-no-overflow.c 6.69 6.89 175951872 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Fig1_false-no-overflow.c 4.97 5.00 176738304 -
termination-crafted-lit/ColonSipma-TACAS2001-Fig1_false-no-overflow.c 6.77 6.83 182374400 -
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1a_false-no-overflow.c 6.85 6.90 176742400 -
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1b_false-no-overflow.c 7.09 7.15 178618368 -
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1c_false-no-overflow.c 6.99 7.04 180211712 -
termination-crafted-lit/GulwaniJainKoskinen-PLDI2009-Fig1_false-no-overflow.c 6.86 6.92 178831360 -
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig2_false-no-overflow.c 6.77 6.82 180183040 -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig2_false-no-overflow.c 6.86 6.92 177278976 -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig7_false-no-overflow.c 6.56 6.81 176967680 -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig8_false-no-overflow.c 6.68 6.73 180019200 -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig9_false-no-overflow.c 7.04 7.10 180563968 -
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex1_false-no-overflow.c 6.99 7.06 182398976 -
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex2_false-no-overflow.c 6.67 6.74 176726016 -
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex3_false-no-overflow.c 4.82 4.86 180203520 -
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex6_false-no-overflow.c 4.60 4.63 177934336 -
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex7_false-no-overflow.c 7.08 7.15 180146176 -
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex8_false-no-overflow.c 4.82 4.86 178872320 -
termination-crafted-lit/LeikeHeizmann-TACAS2014-Fig1_false-no-overflow.c 6.90 6.96 177414144 -
termination-crafted-lit/LeikeHeizmann-WST2014-Ex5_false-no-overflow.c 6.87 6.92 178970624 -
termination-crafted-lit/LeikeHeizmann-WST2014-Ex6_false-no-overflow.c 4.97 5.01 175693824 -
termination-crafted-lit/Masse-VMCAI2014-Ex6_false-no-overflow.c 7.03 7.10 178978816 -
termination-crafted-lit/Masse-VMCAI2014-Fig1a_false-no-overflow.c 6.95 7.01 174915584 -
termination-crafted-lit/Masse-VMCAI2014-Fig1b_false-no-overflow.c 6.75 6.81 173363200 -
termination-crafted-lit/NoriSharma-FSE2013-Fig7_false-no-overflow.c 6.69 6.77 178843648 -
termination-crafted-lit/NoriSharma-FSE2013-Fig8_false-no-overflow.c 6.97 7.02 178708480 -
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig2-TACAS2011-Fig3_false-no-overflow.c 6.75 6.81 180420608 -
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig2_false-no-overflow.c 4.80 4.84 180457472 -
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig3_false-no-overflow.c 6.87 6.93 177012736 -
termination-crafted-lit/PodelskiRybalchenko-VMCAI2004-Ex1_false-no-overflow.c 7.09 7.15 181751808 -
termination-crafted-lit/PodelskiRybalchenko-VMCAI2004-Ex2_false-no-overflow.c 6.60 6.68 180711424 -
termination-crafted-lit/cstrncmp_false-no-overflow.c 5.09 5.13 178429952 -
termination-crafted-lit/gcd1_false-no-overflow.c 7.03 7.11 183861248 -
termination-crafted-lit/joey_false-no-overflow.c 6.88 6.95 176926720 -
termination-crafted-lit/min_rf_false-no-overflow.c 4.67 4.70 176406528 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig1_true-termination_true-no-overflow.c 7.04 7.09 178765824 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-cousot9_true-termination_true-no-overflow.c 6.72 6.90 178200576 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy1_true-termination_true-no-overflow.c 6.96 7.20 183336960 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2_true-termination_true-no-overflow.c 6.97 7.03 179023872 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-loops_true-termination_true-no-overflow.c 6.56 6.60 176504832 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_true-termination_true-no-overflow.c 7.09 7.15 178081792 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d_true-termination_true-no-overflow.c 6.95 7.01 183320576 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random2d_true-termination_true-no-overflow.c 6.83 6.88 177274880 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi2_true-termination_true-no-overflow.c 6.81 6.87 179818496 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi3_true-termination_true-no-overflow.c 6.76 6.82 185323520 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi4_true-termination_true-no-overflow.c 6.88 6.94 182403072 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wcet2_true-termination_true-no-overflow.c 4.95 4.98 177463296 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-while2_true-termination_true-no-overflow.c 6.72 6.77 181362688 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wise_true-termination_true-no-overflow.c 4.71 4.74 176615424 -
termination-crafted-lit/Avery-FLOPS2006-Table1_true-termination_true-no-overflow.c 6.94 6.99 178417664 -
termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1-modified_false-termination_true-no-overflow.c 4.86 4.90 176574464 -
termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1_true-termination_true-no-overflow.c 5.01 5.04 178302976 -
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig1_true-termination_true-no-overflow.c 6.62 6.68 178114560 -
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig9a_true-termination_true-no-overflow.c 6.62 6.81 184000512 -
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Introduction_true-termination_true-no-overflow.c 6.88 6.93 175357952 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy1_true-termination_true-no-overflow.c 6.90 6.96 176779264 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy2_true-termination_true-no-overflow.c 6.89 6.95 178122752 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random1d_true-termination_true-no-overflow.c 6.82 6.87 177278976 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random2d_true-termination_true-no-overflow.c 6.71 6.76 183255040 -
termination-crafted-lit/ChenCookFuhsNimkarOHearn-TACAS2014-Introduction_false-termination_true-no-overflow.c 7.06 7.13 178704384 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.20_true-termination_true-no-overflow.c 6.84 6.90 181641216 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.01_true-termination_true-no-overflow.c 6.95 7.02 179769344 -
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig1_true-termination_true-no-overflow.c 6.87 6.93 175280128 -
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7a_true-termination_true-no-overflow.c 6.83 6.88 179269632 -
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7b_true-termination_true-no-overflow.c 7.02 7.08 178565120 -
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a-modified_true-termination_true-no-overflow.c 6.91 6.97 177410048 -
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a_true-termination_true-no-overflow.c 6.91 7.14 180461568 -
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8b_true-termination_true-no-overflow.c 7.03 7.09 179228672 -
termination-crafted-lit/GopanReps-CAV2006-Fig1a_true-termination_true-no-overflow.c.c 6.84 6.89 172531712 -
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig1_true-termination_true-no-overflow.c 4.85 4.90 176324608 -
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig3_true-termination_true-no-overflow.c 7.01 7.05 180940800 -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig1_true-termination_true-no-overflow.c 6.83 7.02 180162560 -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig4_true-termination_true-no-overflow.c 6.96 7.02 178860032 -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig5_true-termination_true-no-overflow.c 7.00 7.06 179064832 -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig6_true-termination_true-no-overflow.c 7.04 7.10 178077696 -
termination-crafted-lit/HenzingerJhalaMajumdarSutre-POPL2002-LockingExample_false-termination_true-no-overflow.c 4.80 4.83 177303552 -
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Ex_true-termination_true-no-overflow.c 4.81 4.85 175841280 -
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Fig1_true-termination_true-no-overflow.c 6.85 6.91 177979392 -
termination-crafted-lit/LarrazOliverasRodriguez-CarbonellRubio-FMCAD2013-Fig1_true-termination_true-no-overflow.c 4.58 4.61 178167808 -
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex4_true-termination_true-no-overflow.c 6.81 6.87 175235072 -
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex5_true-termination_true-no-overflow.c 6.83 6.88 181862400 -
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex1_true-termination_true-no-overflow.c 6.93 7.00 177250304 -
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex9_true-termination_true-no-overflow.c 6.86 6.92 174944256 -
termination-crafted-lit/LeikeHeizmann-WST2014-Ex9_true-termination_true-no-overflow.c 6.78 6.84 177930240 -
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig1_true-termination_true-no-overflow.c 6.98 7.05 177971200 -
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig1_true-termination_true-no-overflow.c 4.75 4.79 176103424 -
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig2_true-termination_true-no-overflow.c 6.84 6.90 180310016 -
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig4_true-termination_true-no-overflow.c 6.87 6.93 177971200 -
termination-crafted-lit/Urban-WST2013-Fig1_false-termination_true-no-overflow.c 7.13 7.21 184623104 -
termination-crafted-lit/Urban-WST2013-Fig2-modified1000_true-termination_true-no-overflow.c 6.83 6.90 175681536 -
termination-crafted-lit/Urban-WST2013-Fig2_true-termination_true-no-overflow.c 6.78 6.85 176349184 -
termination-crafted-lit/UrbanMine-ESOP2014-Fig3_true-termination_true-no-overflow.c 6.96 7.02 179552256 -
termination-crafted-lit/Velroyen_false-termination_true-no-overflow.c 4.72 4.75 177836032 -
termination-crafted-lit/aviad_true-termination_true-no-overflow.c 7.01 7.07 175353856 -
termination-crafted-lit/cstrcmp_true-termination_true-no-overflow.c 6.59 6.66 176848896 -
termination-crafted-lit/cstrcspn_true-termination_true-no-overflow.c 6.97 7.03 177045504 -
termination-crafted-lit/cstrlen_true-termination_true-no-overflow.c 5.01 5.05 178044928 -
termination-crafted-lit/cstrpbrk_true-termination_true-no-overflow.c 5.20 5.40 183353344 -
termination-crafted-lit/cstrspn_true-termination_true-no-overflow.c 7.02 7.21 179687424 -
termination-crafted-lit/genady_true-termination_true-no-overflow.c 6.84 6.91 176734208 -
termination-crafted-lit/strchr_true-no-overflow_true-termination.c 6.86 7.13 176939008 -
termination-numeric/Addition01_false-no-overflow.c 6.58 6.64 175521792 -
termination-numeric/Avg_true_false-no-overflow.c 6.80 6.86 178880512 -
termination-numeric/Binomial_true-termination_false-no-overflow.c 7.04 7.09 181600256 -
termination-numeric/Et1_true_false-no-overflow.c 7.09 7.15 177684480 -
termination-numeric/Et2_true_false-no-overflow.c 6.89 6.94 179666944 -
termination-numeric/Et3_true_false-no-overflow.c 6.90 6.96 176672768 -
termination-numeric/Et4_true_false-no-overflow.c 4.71 4.74 176476160 -
termination-numeric/MultCommutative_false-no-overflow.c 7.01 7.07 178233344 -
termination-numeric/TerminatorRec02_true-termination_false-no-overflow.c 6.95 7.01 178204672 -
termination-numeric/Ackermann01_true-termination_true-no-overflow.c 4.90 4.92 179109888 -
termination-numeric/EvenOdd01_true-termination_true-no-overflow.c 6.86 6.93 179552256 -
termination-numeric/Fibonacci01_true-termination_true-no-overflow.c 6.76 6.82 184172544 -
termination-numeric/LeUserDefRec_true-termination_true-no-overflow.c 6.65 6.72 179208192 -
termination-numeric/LogRecursive_true-termination_true-no-overflow.c 4.79 4.83 176693248 -
termination-numeric/Parts_true-termination_true-no-overflow.c 7.13 7.19 180953088 -
termination-numeric/TwoWay_true-termination_true-no-overflow.c 6.78 6.83 178827264 -
termination-numeric/gcd01_true-termination_true-no-overflow.c 4.91 4.95 179998720 -
termination-numeric/java_LogBuiltIn_true-termination_true-no-overflow.c 6.74 6.82 180011008 -
termination-numeric/recHanoi02_true-termination_true-no-overflow.c 7.11 7.16 179884032 -
termination-numeric/rec_counter1_true-termination_true-no-overflow.c 6.99 7.04 187199488 -
termination-numeric/rec_counter3_true-termination_true-no-overflow.c 6.74 6.81 177299456 -
termination-numeric/twisted_true-termination_true-no-overflow.c 6.88 6.94 180592640 -
busybox-1.22.0/chgrp-incomplete_false-no-overflow.i 7.52 7.59 186818560 -
busybox-1.22.0/chroot-incomplete_false-no-overflow.i 7.56 7.65 189378560 -
busybox-1.22.0/cut_false-no-overflow.i 7.52 7.57 189595648 -
busybox-1.22.0/date_false-no-overflow.i 7.50 7.57 193769472 -
busybox-1.22.0/du_false-no-overflow.i 7.60 7.66 193867776 -
busybox-1.22.0/echo_false-no-overflow.i 7.37 7.44 190738432 -
busybox-1.22.0/expand_false-no-overflow.i 7.38 7.57 193040384 -
busybox-1.22.0/fold_false-no-overflow.i 7.54 7.61 190849024 -
busybox-1.22.0/head_false-no-overflow.i 7.16 7.22 192512000 -
busybox-1.22.0/logname_false-no-overflow.i 5.05 5.09 186462208 -
busybox-1.22.0/ls-incomplete_false-no-overflow.i 7.51 7.59 194834432 -
busybox-1.22.0/mkdir_false-no-overflow.i 7.59 7.67 195780608 -
busybox-1.22.0/mkfifo-incomplete_false-no-overflow.i 6.64 6.70 184123392 -
busybox-1.22.0/od_false-no-overflow.i 5.34 5.38 199454720 -
busybox-1.22.0/printf_false-no-overflow.i 5.14 5.19 189497344 -
busybox-1.22.0/readlink_false-no-overflow.i 5.25 5.29 187404288 -
busybox-1.22.0/realpath_false-no-overflow.i 7.58 7.63 186560512 -
busybox-1.22.0/rm_false-no-overflow.i 7.53 7.59 191033344 -
busybox-1.22.0/seq_false-no-overflow.i 6.74 6.80 192245760 -
busybox-1.22.0/sleep_false-no-overflow.i 7.40 7.46 188006400 -
busybox-1.22.0/stty_false-no-overflow.i 7.12 7.16 244514816 -
busybox-1.22.0/sync_false-no-overflow.i 7.14 7.18 189636608 -
busybox-1.22.0/tac_false-no-overflow.i 7.29 7.34 186204160 -
busybox-1.22.0/tee_false-no-overflow.i 7.60 7.66 191459328 -
busybox-1.22.0/test-incomplete_false-no-overflow.i 5.26 5.30 190787584 -
busybox-1.22.0/touch_false-no-overflow.i 7.49 7.55 196268032 -
busybox-1.22.0/uname_false-no-overflow.i 7.50 7.56 187121664 -
busybox-1.22.0/uniq_false-no-overflow.i 7.50 7.55 192561152 -
busybox-1.22.0/usleep_false-no-overflow.i 6.77 6.83 185262080 -
busybox-1.22.0/uudecode_false-no-overflow.i 7.33 7.39 194908160 -
busybox-1.22.0/wc_false-no-overflow.i 6.60 6.65 190205952 -
busybox-1.22.0/who_false-no-overflow.i 7.45 7.51 190640128 -
busybox-1.22.0/whoami-incomplete_false-no-overflow.i 7.28 7.35 185311232 -
busybox-1.22.0/yes_false-no-overflow.i 4.99 5.03 184967168 -
termination-crafted/Arrays02-EquivalentConstantIndices_false-termination_true-valid-memsafety.c 6.90 7.11 181604352 -
termination-crafted/Binary_Search_false-termination_true-valid-memsafety.c 6.69 6.75 174096384 -
termination-crafted/Mysore_false-termination_true-valid-memsafety.c 6.76 6.83 182882304 -
termination-crafted/NestedRecursion_1a_false-termination_true-valid-memsafety.c 4.69 4.93 180146176 -
termination-crafted/NonTermination3_false-termination_false-valid-deref.c 6.86 6.91 178262016 -
termination-crafted/RecursiveNonterminating_false-termination_true-valid-memsafety.c 6.78 6.84 181493760 -
termination-crafted/Rotation180_false-termination_true-valid-memsafety.c 6.91 6.97 178511872 -
termination-crafted/2Nested_true-termination_true-valid-memsafety.c 4.63 4.66 188547072 -
termination-crafted/4NestedWith3Variables_true-termination_true-valid-memsafety.c 6.83 6.91 177537024 -
termination-crafted/Ackermann_true-termination_true-valid-memsafety.c 6.58 6.64 176517120 -
termination-crafted/Benghazi_nondet_true-termination_true-valid-memsafety.c 6.62 6.67 182595584 -
termination-crafted/Copenhagen_disj_true-termination_true-valid-memsafety.c 6.83 6.92 179499008 -
termination-crafted/Gothenburg_true-termination_true-valid-memsafety.c 4.98 5.01 180396032 -
termination-crafted/Gothenburg_v2_true-termination_true-valid-memsafety.c 4.97 5.01 176201728 -
termination-crafted/LexIndexValue-Pointer_true-termination_true-valid-memsafety.c 7.03 7.08 176115712 -
termination-crafted/Lobnya-Boolean-Reordered_true-termination_true-valid-memsafety.c 7.00 7.04 175726592 -
termination-crafted/Mysore_true-termination_true-valid-memsafety.c 6.99 7.06 180162560 -
termination-crafted/Pure2Phase_true-termination_true-valid-memsafety.c 7.03 7.09 181374976 -
termination-crafted/Pure3Phase_true-termination_true-valid-memsafety.c 4.76 4.97 179339264 -
termination-crafted/RecursiveMultiplication_true-termination_true-valid-memsafety.c 5.04 5.08 176070656 -
termination-crafted/Singapore_true-termination_true-valid-memsafety.c 4.79 4.84 176275456 -
termination-crafted/Stockholm_true-termination_true-valid-memsafety.c 6.87 6.93 177844224 -
termination-crafted/SyntaxSupportPointer01_true-termination_true-valid-memsafety.c 7.02 7.23 181821440 -
termination-crafted/SyntaxSupportPointer01_true-valid-memsafety_true-termination.c 6.89 6.93 179929088 -
termination-crafted/Thun_true-termination_true-valid-memsafety.c 6.76 6.81 178491392 -
termination-crafted/Toulouse-BranchesToLoop_true-termination_true-valid-memsafety.c 6.71 6.76 175288320 -
termination-crafted/Toulouse-MultiBranchesToLoop_true-termination_true-valid-memsafety.c 6.86 7.05 179146752 -
termination-crafted/aaron2_true-termination_true-valid-memsafety.c 6.81 6.86 179613696 -
termination-crafted/aaron3_true-termination_true-valid-memsafety.c 6.84 6.90 179679232 -
termination-restricted-15/DivMinus2_true-termination_true-no-overflow.c 6.97 7.02 176017408 -
termination-restricted-15/DivMinus_true-termination_true-no-overflow.c 6.68 6.93 174923776 -
termination-restricted-15/GCD3_true-termination_true-no-overflow.c 6.93 7.00 179347456 -
termination-restricted-15/GCD4_true-termination_true-no-overflow.c 4.92 4.95 180596736 -
termination-restricted-15/IntPath_true-termination_true-no-overflow.c 6.78 6.86 182583296 -
termination-restricted-15/LogAG_true-termination_true-no-overflow.c 6.88 6.96 180678656 -
termination-restricted-15/Log_true-termination_true-no-overflow.c 6.96 7.08 174346240 -
termination-restricted-15/McCarthyIterative_true-termination_true-no-overflow.c 6.99 7.05 179843072 -
termination-restricted-15/MinusBuiltIn_true-termination_true-no-overflow.c 7.10 7.15 176959488 -
termination-restricted-15/MinusUserDefined_true-termination_true-no-overflow.c 6.81 6.86 180805632 -
termination-restricted-15/Nested_true-termination_true-no-overflow.c 6.73 6.78 178782208 -
termination-restricted-15/PastaA10_true-termination_true-no-overflow.c 4.61 4.64 180686848 -
termination-restricted-15/PastaA1_true-termination_true-no-overflow.c 6.90 7.09 181714944 -
termination-restricted-15/PastaA4_true-termination_true-no-overflow.c 6.73 6.78 173092864 -
termination-restricted-15/PastaA7_true-termination_true-no-overflow.c 4.84 4.87 177786880 -
termination-restricted-15/PastaB14_true-termination_true-no-overflow.c 4.68 4.73 176697344 -
termination-restricted-15/PastaB15_true-termination_true-no-overflow.c 6.80 6.88 184274944 -
termination-restricted-15/PastaB16_true-termination_true-no-overflow.c 6.99 7.05 179175424 -
termination-restricted-15/PastaB17_true-termination_true-no-overflow.c 6.82 6.88 179904512 -
termination-restricted-15/PastaB1_true-termination_true-no-overflow.c 6.76 6.82 180260864 -
termination-restricted-15/PastaB2_true-termination_true-no-overflow.c 6.71 6.76 176771072 -
termination-restricted-15/PastaB4_true-termination_true-no-overflow.c 6.97 7.03 178122752 -
termination-restricted-15/PastaB6_true-termination_true-no-overflow.c 6.83 6.90 176361472 -
termination-restricted-15/PastaB7_true-termination_true-no-overflow.c 4.81 4.85 178298880 -
termination-restricted-15/PastaC3_true-termination_true-no-overflow.c 6.80 6.86 174260224 -
termination-restricted-15/PastaC7_true-termination_true-no-overflow.c 6.94 7.01 177459200 -
termination-restricted-15/PastaC9_true-termination_true-no-overflow.c 6.79 6.85 177278976 -
termination-restricted-15/Sequence_true-termination_true-no-overflow.c 6.76 6.81 175079424 -
termination-restricted-15/WhileDecr_true-termination_true-no-overflow.c 6.70 6.76 179621888 -
termination-restricted-15/a.01_true-termination_true-no-overflow.c 6.85 7.05 178331648 -
termination-restricted-15/a.04_true-termination_true-no-overflow.c 6.85 7.07 174100480 -
termination-restricted-15/a.05_true-termination_true-no-overflow.c 6.88 6.95 178438144 -
termination-restricted-15/a.06_true-termination_true-no-overflow.c 4.71 4.74 178180096 -
termination-restricted-15/a.07_true-termination_true-no-overflow.c 4.75 4.78 173232128 -
termination-restricted-15/a.08_true-termination_true-no-overflow.c 4.89 4.93 178446336 -
termination-restricted-15/a.09_assume_true-termination_true-no-overflow.c 6.79 6.85 176132096 -
termination-restricted-15/a.10_true-termination.c 7.05 7.10 175919104 -
termination-restricted-15/b.01_true-termination_true-no-overflow.c 6.84 6.89 177283072 -
termination-restricted-15/b.02_true-termination_true-no-overflow.c 6.92 6.98 179154944 -
termination-restricted-15/b.03-no-inv_assume_true-termination_true-no-overflow.c 6.56 6.61 175362048 -
termination-restricted-15/b.03_assume_true-termination_true-no-overflow.c 6.64 6.68 189100032 -
termination-restricted-15/b.04_true-termination_true-no-overflow.c 6.74 6.81 180736000 -
termination-restricted-15/b.05_true-termination_true-no-overflow.c 7.07 7.12 183205888 -
termination-restricted-15/b.06_true-termination_true-no-overflow.c 6.73 6.79 176898048 -
termination-restricted-15/b.07_true-termination_true-no-overflow.c 6.74 6.79 178429952 -
termination-restricted-15/b.09-no-inv_assume_true-termination_true-no-overflow.c 6.93 6.99 178552832 -
termination-restricted-15/b.09_assume_true-termination_true-no-overflow.c 6.82 6.88 178622464 -
termination-restricted-15/b.10_true-termination_true-no-overflow.c 7.04 7.26 183070720 -
termination-restricted-15/b.11_true-termination_true-no-overflow.c 6.80 6.86 175874048 -
termination-restricted-15/b.12_true-termination_true-no-overflow.c 4.84 4.89 178081792 -
termination-restricted-15/b.13_true-termination_true-no-overflow.c 6.99 7.05 179679232 -
termination-restricted-15/b.14_true-termination_true-no-overflow.c 4.76 4.81 178548736 -
termination-restricted-15/b.15_true-termination_true-no-overflow.c 4.82 4.86 173154304 -
termination-restricted-15/b.16_true-termination_true-no-overflow.c 4.94 4.97 178552832 -
termination-restricted-15/b.17_true-termination_true-no-overflow.c 6.74 6.78 176001024 -
termination-restricted-15/b.18_true-termination_true-no-overflow.c 6.82 6.89 179224576 -
termination-restricted-15/c.01-no-inv_true-termination_true-no-overflow.c 6.66 6.72 184225792 -
termination-restricted-15/c.01_assume_true-termination_true-no-overflow.c 6.13 6.31 173350912 -
termination-restricted-15/c.02_true-termination_true-no-overflow.c 6.79 6.85 175419392 -
termination-restricted-15/c.03_true-termination_true-no-overflow.c 6.60 6.65 174174208 -
termination-restricted-15/c.07_true-termination_true-no-overflow.c 6.86 7.06 181714944 -
termination-restricted-15/c.08_true-termination_true-no-overflow.c 6.99 7.05 179314688 -
termination-restricted-15/ex3a_true-termination_true-no-overflow.c 6.91 6.96 174522368 -
termination-restricted-15/ex3b_true-termination_true-no-overflow.c 6.81 6.88 180580352 -
termination-restricted-15/java_AG313_true-termination_true-no-overflow.c 6.27 6.33 178884608 -
termination-restricted-15/java_Break_true-termination_true-no-overflow.c 6.69 6.74 179363840 -
termination-restricted-15/java_Continue1_true-termination_true-no-overflow.c 6.83 6.89 179187712 -
termination-restricted-15/java_Nested_true-termination_true-no-overflow.c 6.78 6.85 178765824 -
termination-restricted-15/java_Sequence_true-termination_true-no-overflow.c 6.80 7.00 181084160 -
termination-restricted-15/AlternKonv_false-termination_true-no-overflow.c 6.89 7.08 183259136 -
termination-restricted-15/ComplInterv2_false-termination_true-no-overflow.c 5.07 5.11 179154944 -
termination-restricted-15/ConvLower_false-termination_true-no-overflow.c 6.66 6.74 179486720 -
termination-restricted-15/Ex02_false-termination_true-no-overflow.c 6.89 6.95 174522368 -
termination-restricted-15/Ex03_false-termination_true-no-overflow.c 4.89 4.92 177336320 -
termination-restricted-15/Ex05_false-termination_true-no-overflow.c 6.97 7.19 184872960 -
termination-restricted-15/Ex06_false-termination_true-no-overflow.c 6.95 7.02 182718464 -
termination-restricted-15/Ex07_false-termination_true-no-overflow.c 6.92 6.97 176398336 -
termination-restricted-15/Ex08_false-termination_true-no-overflow.c 4.83 5.44 179675136 -
termination-restricted-15/Flip2_false-termination_true-no-overflow.c 7.04 7.11 179789824 -
termination-restricted-15/Flip_false-termination_true-no-overflow.c 6.56 6.61 177094656 -
termination-restricted-15/GCD2_false-termination_true-no-overflow.c 4.87 4.91 173522944 -
termination-restricted-15/GCD_false-termination_true-no-overflow.c 6.98 7.04 176513024 -
termination-restricted-15/Loop_false-termination_true-no-overflow.c 6.42 6.47 177057792 -
termination-restricted-15/MirrorIntervSim_false-termination_true-no-overflow.c 6.96 7.02 180715520 -
termination-restricted-15/NO_00_false-termination_true-no-overflow.c 6.67 6.73 176234496 -
termination-restricted-15/NO_01_false-termination_true-no-overflow.c 6.97 7.20 180101120 -
termination-restricted-15/NO_02_false-termination_true-no-overflow.c 6.86 6.92 178446336 -
termination-restricted-15/NO_03_false-termination_true-no-overflow.c 7.00 7.08 179552256 -
termination-restricted-15/NO_04_false-termination_true-no-overflow.c 6.97 7.04 180322304 -
termination-restricted-15/NO_13_false-termination_true-no-overflow.c 6.98 7.04 177414144 -
termination-restricted-15/NO_21_false-termination_true-no-overflow.c 6.83 6.90 175710208 -
termination-restricted-15/NO_22_false-termination_true-no-overflow.c 6.67 6.74 175423488 -
termination-restricted-15/NO_23_false-termination_true-no-overflow.c 6.79 6.86 178704384 -
termination-restricted-15/NO_24_false-termination_true-no-overflow.c 6.88 6.93 175706112 -
termination-restricted-15/NarrowKonv_false-termination_true-no-overflow.c 4.97 5.02 179105792 -
termination-restricted-15/Narrowing_false-termination_true-no-overflow.c 4.83 4.91 178458624 -
termination-restricted-15/Sunset_false-termination_true-no-overflow.c 4.81 4.84 178020352 -
termination-restricted-15/Swingers_false-termination_true-no-overflow.c 4.72 4.75 172732416 -
termination-restricted-15/TwoFloatInterv_false-termination_true-no-overflow.c 6.89 6.95 187088896 -
termination-restricted-15/UpAndDownIneq_false-termination_true-no-overflow.c 7.11 7.18 178995200 -
termination-restricted-15/UpAndDown_false-termination_true-no-overflow.c 6.38 6.43 172851200 -
termination-restricted-15/WhilePart_false-termination_true-no-overflow.c 6.98 7.05 181862400 -
termination-restricted-15/WhileSingle_false-termination_true-no-overflow.c 7.00 7.07 174260224 -
termination-libowfat/atoi_true-termination.c.i 8.05 8.12 209539072 -
termination-libowfat/atol_true-termination.c.i 8.31 8.72 214274048 -
termination-libowfat/atoll_true-termination.c.i 7.86 7.91 211795968 -
termination-libowfat/basename_true-termination.c.i 8.07 8.14 208371712 -
termination-libowfat/build_fullname_true-termination.c.i 8.25 8.31 222109696 -
termination-libowfat/dirname_true-termination.c.i 7.88 7.95 215834624 -
termination-libowfat/skip_to_true-termination.c.i 7.88 7.96 211599360 -
termination-libowfat/stpcpy_true-termination.c.i 8.26 8.33 213331968 -
termination-libowfat/strcasecmp_true-termination.c.i 7.89 7.96 214446080 -
termination-libowfat/strcat_short_true-termination.c.i 8.24 8.30 210673664 -
termination-libowfat/strcat_true-termination.c.i 8.22 8.28 212512768 -
termination-libowfat/strchr_short_true-termination.c.i 5.65 5.70 214999040 -
termination-libowfat/strchr_true-termination.c.i 5.56 5.61 214843392 -
termination-libowfat/strcmp_short_true-termination.c.i 7.93 8.12 209571840 -
termination-libowfat/strcpy_small_true-termination.c.i 7.91 7.96 205737984 -
termination-libowfat/strcspn_true-termination.c.i 5.59 5.63 212422656 -
termination-libowfat/strdup_true-termination.c.i 5.64 5.68 214814720 -
termination-libowfat/strlcat_true-termination.c.i 8.17 8.22 209813504 -
termination-libowfat/strlcpy_true-termination.c.i 8.02 8.08 213225472 -
termination-libowfat/strlen_true-termination.c.i 7.81 7.87 215900160 -
termination-libowfat/strpbrk_true-termination.c.i 7.65 7.70 214278144 -
termination-libowfat/strrchr_short_true-termination.c.i 7.91 7.97 212910080 -
termination-libowfat/strrchr_true-termination.c.i 7.65 7.72 213172224 -
termination-libowfat/strspn_true-termination.c.i 8.18 8.23 213102592 -
termination-libowfat/strstr_true-termination.c.i 8.34 8.42 211816448 -
termination-libowfat/strtok_r_true-termination.c.i 7.97 8.04 219406336 -
termination-libowfat/strtol_true-termination.c.i 8.43 8.52 219521024 -
termination-libowfat/strtoul_true-termination.c.i 8.19 8.25 218017792 -
termination-libowfat/strtoull_true-termination.c.i 8.30 8.36 213676032 -
termination-libowfat/wcsrchr_true-termination.c.i 8.21 8.27 210071552 -
termination-libowfat/wcsstr_true-termination.c.i 8.16 8.23 208490496 -
termination-memory-alloca/Urban-2013WST-Fig1-alloca_false-termination.c.i 7.99 8.06 205639680 -
termination-memory-alloca/Velroyen-alloca_false-termination.c.i 7.79 7.86 204935168 -
termination-memory-alloca/Avery-2006FLOPS-Tabel1_true-alloca_true-termination.c.i 5.51 5.56 202354688 -
termination-memory-alloca/Ben-Amram-2010LMCS-Ex2.3-alloca_true-termination.c.i 5.57 5.61 207761408 -
termination-memory-alloca/BrockschmidtCookFuhs-2013CAV-Fig1-alloca_true-termination.c.i 8.03 8.11 206082048 -
termination-memory-alloca/BrockschmidtCookFuhs-2013CAV-Introduction-alloca_true-termination.c.i 5.50 5.73 202104832 -
termination-memory-alloca/ChenFlurMukhopadhyay-2012SAS-Fig1-alloca_true-termination.c.i 5.61 5.64 205565952 -
termination-memory-alloca/CookSeeZuleger-2013TACAS-Fig3-alloca_true-termination.c.i 7.84 7.90 204648448 -
termination-memory-alloca/CookSeeZuleger-2013TACAS-Fig7a-alloca_true-termination.c.i 8.00 8.06 203923456 -
termination-memory-alloca/CookSeeZuleger-2013TACAS-Fig7b-alloca_true-termination.c.i 7.89 7.94 203833344 -
termination-memory-alloca/GulwaniJainKoskinen-2009PLDI-Fig1-alloca_true-termination.c.i 8.01 8.06 203284480 -
termination-memory-alloca/HarrisLalNoriRajamani-2010SAS-Fig1-alloca_true-termination.c.i 8.06 8.31 205496320 -
termination-memory-alloca/HarrisLalNoriRajamani-2010SAS-Fig3-alloca_true-termination.c.i 7.74 7.94 219471872 -
termination-memory-alloca/KroeningSharyginaTsitovichWintersteiger-2010CAV-Fig1-alloca_true-termination.c.i 7.98 8.04 205053952 -
termination-memory-alloca/Masse-alloca_true-termination.c.i 7.94 8.00 204922880 -
termination-memory-alloca/NoriSharma-2013FSE-Fig7-alloca_true-termination.c.i 8.01 8.09 205053952 -
termination-memory-alloca/NoriSharma-2013FSE-Fig8-alloca_true-termination.c.i 8.11 8.17 204177408 -
termination-memory-alloca/TelAviv-Amir-Minimum-alloca_true-termination.c.i 8.01 8.07 206237696 -
termination-memory-alloca/Toulouse-BranchesToLoop-alloca_true-termination.c.i 7.96 8.02 203014144 -
termination-memory-alloca/Toulouse-MultiBranchesToLoop-alloca_true-termination.c.i 7.77 7.83 208486400 -
termination-memory-alloca/Urban-2013WST-Fig2-alloca_true-termination.c.i 5.65 5.71 209776640 -
termination-memory-alloca/Urban-2013WST-Fig2-modified1000-alloca_true-termination.c.i 5.55 5.59 204083200 -
termination-memory-alloca/Urban-alloca_true-termination.c.i 7.99 8.07 213983232 -
termination-memory-alloca/a.01-alloca_true-termination_true-no-overflow.c.i 5.49 5.53 209813504 -
termination-memory-alloca/a.04-alloca_true-termination_true-no-overflow.c.i 5.55 5.58 208719872 -
termination-memory-alloca/a.05-alloca_true-termination_true-no-overflow.c.i 8.11 8.17 211083264 -
termination-memory-alloca/a.06-alloca_true-termination_true-no-overflow.c.i 7.83 7.91 210874368 -
termination-memory-alloca/a.07-alloca_true-termination_true-no-overflow.c.i 8.16 8.24 210874368 -
termination-memory-alloca/a.08-alloca_true-termination_true-no-overflow.c.i 7.71 7.80 219312128 -
termination-memory-alloca/a.09_assume-alloca_true-termination_true-no-overflow.c.i 7.93 8.00 209592320 -
termination-memory-alloca/a.10-alloca_true-termination_true-no-overflow.c.i 7.90 7.97 202719232 -
termination-memory-alloca/add_last-alloca_true-termination.c.i 7.91 7.98 201879552 -
termination-memory-alloca/array01-alloca_true-termination.c.i 8.03 8.10 206000128 -
termination-memory-alloca/array02-alloca_true-termination.c.i 8.09 8.29 204619776 -
termination-memory-alloca/array03-alloca_true-termination.c.i 8.19 8.28 209510400 -
termination-memory-alloca/aviad_true-alloca_true-termination.c.i 7.85 7.92 202829824 -
termination-memory-alloca/b.01-alloca_true-termination_true-no-overflow.c.i 7.97 8.02 201109504 -
termination-memory-alloca/b.02-alloca_true-termination_true-no-overflow.c.i 8.01 8.07 207093760 -
termination-memory-alloca/b.03-no-inv_assume-alloca_true-termination_true-no-overflow.c.i 8.04 8.10 213540864 -
termination-memory-alloca/b.03_assume-alloca_true-termination_true-no-overflow.c.i 7.89 7.95 207441920 -
termination-memory-alloca/b.04-alloca_true-termination_true-no-overflow.c.i 7.83 7.89 202874880 -
termination-memory-alloca/b.05-alloca_true-termination_true-no-overflow.c.i 7.87 7.95 201920512 -
termination-memory-alloca/b.06-alloca_true-termination_true-no-overflow.c.i 7.84 7.90 206020608 -
termination-memory-alloca/b.07-alloca_true-termination_true-no-overflow.c.i 8.04 8.44 201093120 -
termination-memory-alloca/b.09-no-inv_assume-alloca_true-termination_true-no-overflow.c.i 7.80 7.85 205352960 -
termination-memory-alloca/b.09_assume-alloca_true-termination_true-no-overflow.c.i 7.97 8.02 207572992 -
termination-memory-alloca/b.10-alloca_true-termination_true-no-overflow.c.i 5.39 5.43 204132352 -
termination-memory-alloca/b.11-alloca_true-termination_true-no-overflow.c.i 5.63 5.87 206839808 -
termination-memory-alloca/b.12-alloca_true-termination_true-no-overflow.c.i 7.92 7.98 215977984 -
termination-memory-alloca/b.13-alloca_true-termination_true-no-overflow.c.i 5.40 5.43 216309760 -
termination-memory-alloca/b.14-alloca_true-termination_true-no-overflow.c.i 7.89 7.96 204476416 -
termination-memory-alloca/b.15-alloca_true-termination_true-no-overflow.c.i 5.58 5.61 208613376 -
termination-memory-alloca/b.16-alloca_true-termination_true-no-overflow.c.i 8.18 8.25 205447168 -
termination-memory-alloca/b.17-alloca_true-termination_true-no-overflow.c.i 7.63 7.71 210313216 -
termination-memory-alloca/b.18-alloca_true-termination_true-no-overflow.c.i 7.88 7.93 204365824 -
termination-memory-alloca/bubblesort-alloca_true-termination.c.i 7.95 8.01 207163392 -
termination-memory-alloca/c.01-no-inv-alloca_true-termination_true-no-overflow.c.i 7.96 8.01 205021184 -
termination-memory-alloca/c.01_assume-alloca_true-termination_true-no-overflow.c.i 7.94 8.01 202694656 -
termination-memory-alloca/c.02-alloca_true-termination_true-no-overflow.c.i 7.89 8.08 204648448 -
termination-memory-alloca/c.03-alloca_true-termination_true-no-overflow.c.i 7.97 8.03 216604672 -
termination-memory-alloca/c.07-alloca_true-termination_true-no-overflow.c.i 7.80 7.86 211238912 -
termination-memory-alloca/c.08-alloca_true-termination_true-no-overflow.c.i 8.04 8.09 205094912 -
termination-memory-alloca/count_down-alloca_true-termination.c.i 8.18 8.25 204263424 -
termination-memory-alloca/cstrcat-alloca_true-termination.c.i 8.04 8.24 201834496 -
termination-memory-alloca/cstrchr-alloca_true-termination.c.i 4.98 5.03 179384320 -
termination-memory-alloca/cstrcmp-alloca_true-termination.c.i 5.62 5.67 211623936 -
termination-memory-alloca/cstrcpy-alloca_true-termination.c.i 5.46 5.49 204963840 -
termination-memory-alloca/cstrcspn-alloca_true-termination.c.i 5.68 5.71 204025856 -
termination-memory-alloca/cstrlen-alloca_true-termination.c.i 7.82 7.87 213401600 -
termination-memory-alloca/cstrncat-alloca_true-termination.c.i 8.18 8.23 210554880 -
termination-memory-alloca/cstrncmp-alloca_true-termination.c.i 8.28 8.34 206917632 -
termination-memory-alloca/cstrncpy-alloca_true-termination.c.i 7.75 7.82 207028224 -
termination-memory-alloca/cstrpbrk-alloca_true-termination.c.i 8.05 8.11 203726848 -
termination-memory-alloca/cstrspn-alloca_true-termination.c.i 8.09 8.18 203214848 -
termination-memory-alloca/diff-alloca_true-termination.c.i 7.91 7.97 200396800 -
termination-memory-alloca/easySum-alloca_true-termination.c.i 7.95 8.01 207159296 -
termination-memory-alloca/ex1-alloca_true-termination.c.i 7.97 8.03 199565312 -
termination-memory-alloca/ex2-alloca_true-termination.c.i 7.78 7.83 212070400 -
termination-memory-alloca/ex3a-alloca_true-termination_true-no-overflow.c.i 8.06 8.11 204984320 -
termination-memory-alloca/ex3b-alloca_true-termination.c.i 7.75 7.80 204787712 -
termination-memory-alloca/fermat-alloca_true-termination.c.i 5.31 5.34 205803520 -
termination-memory-alloca/flag-alloca_true-termination.c.i 8.09 8.15 206655488 -
termination-memory-alloca/gcd1-alloca_true-termination.c.i 7.96 8.05 206786560 -
termination-memory-alloca/genady-alloca_true-termination.c.i 7.83 7.90 199958528 -
termination-memory-alloca/insertionsort-alloca_true-termination.c.i 8.09 8.17 198127616 -
termination-memory-alloca/java_AG313-alloca_true-termination.c.i 5.40 5.45 205996032 -
termination-memory-alloca/java_Break-alloca_true-termination.c.i 5.61 5.64 204832768 -
termination-memory-alloca/java_BubbleSort-alloca_true-termination.c.i 7.98 8.05 204222464 -
termination-memory-alloca/java_Continue1-alloca_true-termination.c.i 5.70 5.73 201707520 -
termination-memory-alloca/java_LogBuiltIn-alloca_true-termination.c.i 7.82 7.90 205332480 -
termination-memory-alloca/java_Nested-alloca_true-termination.c.i 7.88 7.95 206561280 -
termination-memory-alloca/java_Sequence-alloca_true-termination.c.i 7.92 8.19 206147584 -
termination-memory-alloca/lis-alloca_true-termination.c.i 8.11 8.18 205619200 -
termination-memory-alloca/min_rf-alloca_true-termination.c.i 7.83 7.89 210169856 -
termination-memory-alloca/mult_array-alloca_true-termination.c.i 7.82 7.89 204427264 -
termination-memory-alloca/openbsd_cbzero-alloca_true-termination.c.i 8.04 8.09 207069184 -
termination-memory-alloca/openbsd_cmemchr-alloca_true-termination.c.i 7.94 7.99 205492224 -
termination-memory-alloca/openbsd_cmemrchr-alloca_true-termination.c.i 7.70 7.77 205729792 -
termination-memory-alloca/openbsd_cmemset-alloca_true-termination.c.i 7.86 7.93 205000704 -
termination-memory-alloca/openbsd_cstpcpy-alloca_true-termination.c.i 7.93 8.00 202686464 -
termination-memory-alloca/openbsd_cstpncpy-alloca_true-termination.c.i 8.22 8.30 206647296 -
termination-memory-alloca/openbsd_cstrcat-alloca_true-termination.c.i 7.99 8.07 207327232 -
termination-memory-alloca/openbsd_cstrcmp-alloca_true-termination.c.i 8.06 8.13 202547200 -
termination-memory-alloca/openbsd_cstrcpy-alloca_true-termination.c.i 7.87 7.93 201252864 -
termination-memory-alloca/openbsd_cstrcspn-alloca_true-termination.c.i 5.68 5.72 205598720 -
termination-memory-alloca/openbsd_cstrlcpy-alloca_true-termination.c.i 8.04 8.11 201900032 -
termination-memory-alloca/openbsd_cstrlen-alloca_true-termination.c.i 7.64 7.70 206622720 -
termination-memory-alloca/openbsd_cstrncat-alloca_true-termination.c.i 8.08 8.14 204791808 -
termination-memory-alloca/openbsd_cstrncmp-alloca_true-termination.c.i 8.14 8.20 211300352 -
termination-memory-alloca/openbsd_cstrncpy-alloca_true-termination.c.i 5.38 5.42 205131776 -
termination-memory-alloca/openbsd_cstrnlen-alloca_true-termination.c.i 5.70 5.73 207835136 -
termination-memory-alloca/openbsd_cstrpbrk-alloca_true-termination.c.i 5.47 5.51 200536064 -
termination-memory-alloca/openbsd_cstrspn-alloca_true-termination.c.i 8.08 8.14 212451328 -
termination-memory-alloca/openbsd_cstrstr-alloca_true-termination.c.i 8.01 8.08 220741632 -
termination-memory-alloca/rec_strlen-alloca_true-termination.c.i 8.14 8.21 203436032 -
termination-memory-alloca/selectionsort-alloca_true-termination.c.i 7.89 7.95 208420864 -
termination-memory-alloca/stroeder1-alloca_true-termination.c.i 8.10 8.19 209428480 -
termination-memory-alloca/stroeder2-alloca_true-termination.c.i 8.16 8.24 206888960 -
termination-memory-alloca/strreplace-alloca_true-termination.c.i 7.93 7.99 209264640 -
termination-memory-alloca/subseq-alloca_true-termination.c.i 7.90 7.97 200761344 -
termination-memory-alloca/substring-alloca_true-termination.c.i 7.81 7.88 201527296 -
termination-memory-alloca/twisted-alloca_true-termination.c.i 8.22 8.29 205926400 -
termination-memory-linkedlists/cll_by_lseg-alloca_false-termination.c.i 7.94 8.00 208048128 -
termination-memory-linkedlists/cll_by_lseg_traverse-alloca_false-termination.c.i 8.05 8.10 205455360 -
termination-memory-linkedlists/cll_search-alloca_false-termination.c.i 5.73 5.77 207740928 -
termination-memory-linkedlists/cll_traverse-alloca_false-termination.c.i 7.85 7.92 209883136 -
termination-memory-linkedlists/ll_append-alloca_false-termination.c.i 5.88 5.93 210952192 -
termination-memory-linkedlists/ll_append_rec-alloca_false-termination.c.i 7.78 7.84 205721600 -
termination-memory-linkedlists/ll_create_rec-alloca_false-termination.c.i 7.97 8.02 203837440 -
termination-memory-linkedlists/nondet_ll_search-alloca_false-termination.c.i 5.66 5.70 203083776 -
termination-memory-linkedlists/nondet_ll_traverse-alloca_false-termination.c.i 5.50 5.54 206995456 -
termination-memory-linkedlists/cll_by_lseg-alloca_true-termination.c.i 7.98 8.04 208535552 -
termination-memory-linkedlists/cll_search-alloca_true-termination.c.i 8.05 8.12 205193216 -
termination-memory-linkedlists/ll_append-alloca_true-termination.c.i 8.04 8.12 209461248 -
termination-memory-linkedlists/ll_append_rec-alloca_true-termination.c.i 7.60 7.67 211042304 -
termination-memory-linkedlists/ll_create_rec-alloca_true-termination.c.i 7.75 7.82 206761984 -
termination-memory-linkedlists/ll_search-alloca_true-termination.c.i 8.10 8.18 206929920 -
termination-memory-linkedlists/ll_search_not_found-alloca_true-termination.c.i 8.00 8.26 205877248 -
termination-memory-linkedlists/ll_traverse-alloca_true-termination.c.i 8.26 8.34 205578240 -
termination-memory-linkedlists/nondet_ll_search-alloca_true-termination.c.i 7.89 7.94 209903616 -
termination-15/add_first_alloca_true-termination.c.i 8.02 8.08 212901888 -
termination-15/array05_alloca_true-termination.c.i 8.01 8.23 219009024 -
termination-15/array06_alloca_true-termination.c.i 7.80 7.87 206987264 -
termination-15/array07_alloca_true-termination.c.i 8.01 8.09 211652608 -
termination-15/array08_alloca_true-termination.c.i 5.39 5.44 214224896 -
termination-15/array09_alloca_true-termination.c.i 7.43 7.49 210829312 -
termination-15/array10_alloca_true-termination.c.i 7.78 7.83 212582400 -
termination-15/array12_alloca_true-termination.c.i 5.57 5.61 212238336 -
termination-15/array13_alloca_true-termination.c.i 7.91 7.97 209633280 -
termination-15/array16_alloca_fixed_true-termination.c.i 8.22 8.29 213712896 -
termination-15/array17_alloca_true-termination.c.i 7.89 7.94 211304448 -
termination-15/array18_alloca_true-termination.c.i 5.75 5.78 211931136 -
termination-15/count_up_alloca_true-termination.c.i 5.75 5.93 209006592 -
termination-15/count_up_and_down_alloca_true-termination.c.i 7.54 7.59 211783680 -
termination-15/cstrcat_diffterm_alloca_true-termination.c.i 7.98 8.03 216121344 -
termination-15/cstrcat_malloc_true-termination.c.i 7.85 7.90 209514496 -
termination-15/cstrcat_mixed_alloca_true-termination.c.i 8.15 8.22 209936384 -
termination-15/cstrcat_reverse_alloca_true-termination.c.i 8.22 8.27 214802432 -
termination-15/cstrchr_diffterm_alloca_true-termination.c.i 7.37 7.44 181633024 -
termination-15/cstrchr_malloc_true-termination.c.i 7.27 7.33 177700864 -
termination-15/cstrchr_reverse_alloca_true-termination.c.i 7.45 7.50 186613760 -
termination-15/cstrcmp_diffterm_alloca_true-termination.c.i 7.94 8.00 215330816 -
termination-15/cstrcmp_malloc_true-termination.c.i 8.05 8.11 211271680 -
termination-15/cstrcmp_mixed_alloca_true-termination.c.i 8.09 8.16 209969152 -
termination-15/cstrcmp_reverse_alloca_true-termination.c.i 8.26 8.45 208896000 -
termination-15/cstrcpy_diffterm_alloca_true-termination.c.i 8.23 8.32 215146496 -
termination-15/cstrcpy_malloc_true-termination.c.i 8.26 8.33 212631552 -
termination-15/cstrcpy_mixed_alloca_true-termination.c.i 7.88 8.05 215408640 -
termination-15/cstrcpy_reverse_alloca_true-termination.c.i 5.72 5.79 210644992 -
termination-15/cstrcspn_diffterm_alloca_true-termination.c.i 5.63 5.82 209551360 -
termination-15/cstrcspn_malloc_true-termination.c.i 5.86 5.90 211120128 -
termination-15/cstrcspn_mixed_alloca_true-termination.c.i 5.76 5.80 212824064 -
termination-15/cstrcspn_reverse_alloca_true-termination.c.i 8.17 8.37 216969216 -
termination-15/cstrlen_diffterm_alloca_true-termination.c.i 8.13 8.20 209309696 -
termination-15/cstrlen_malloc_true-termination.c.i 8.06 8.12 213889024 -
termination-15/cstrlen_reverse_alloca_true-termination.c.i 8.03 8.09 208384000 -
termination-15/cstrncat_diffterm_alloca_true-termination.c.i 8.11 8.18 218013696 -
termination-15/cstrncat_malloc_true-termination.c.i 8.02 8.08 220241920 -
termination-15/cstrncat_mixed_alloca_true-termination.c.i 8.14 8.21 213725184 -
termination-15/cstrncat_reverse_alloca_true-termination.c.i 7.84 7.90 210518016 -
termination-15/cstrncmp_diffterm_alloca_true-termination.c.i 8.23 8.29 210079744 -
termination-15/cstrncmp_malloc_true-termination.c.i 8.41 8.49 214732800 -
termination-15/cstrncmp_mixed_alloca_true-termination.c.i 7.84 7.92 210612224 -
termination-15/cstrncmp_reverse_alloca_true-termination.c.i 8.12 8.21 213540864 -
termination-15/cstrncpy_diffterm_alloca_true-termination.c.i 8.06 8.12 210006016 -
termination-15/cstrncpy_malloc_true-termination.c.i 8.13 8.20 214360064 -
termination-15/cstrncpy_mixed_alloca_true-termination.c.i 8.03 8.10 209903616 -
termination-15/cstrncpy_reverse_alloca_true-termination.c.i 8.04 8.11 211476480 -
termination-15/cstrpbrk_diffterm_alloca_true-termination.c.i 7.95 8.01 227610624 -
termination-15/cstrpbrk_malloc_true-termination.c.i 8.12 8.20 214683648 -
termination-15/cstrpbrk_mixed_alloca_true-termination.c.i 5.57 5.60 217624576 -
termination-15/cstrpbrk_reverse_alloca_true-termination.c.i 8.21 8.29 212815872 -
termination-15/cstrspn_diffterm_alloca_true-termination.c.i 5.86 5.90 210329600 -
termination-15/cstrspn_malloc_true-termination.c.i 5.61 5.64 217456640 -
termination-15/cstrspn_mixed_alloca_true-termination.c.i 5.78 5.82 230088704 -
termination-15/cstrspn_reverse_alloca_true-termination.c.i 8.20 8.26 208785408 -
termination-15/array04_alloca_false-termination.c.i 8.16 8.23 207237120 -
termination-15/array14_alloca_false-termination.c.i 8.14 8.21 210194432 -
termination-15/array15_alloca_false-termination.c.i 8.11 8.19 214528000 -
termination-15/array16_alloca_original_false-termination.c.i 8.12 8.21 210964480 -
termination-15/array19_alloca_false-termination.c.i 7.92 7.97 214261760 -
termination-15/array20_alloca_false-termination.c.i 8.24 8.30 211783680 -
termination-recursive-malloc/chunk1_true-termination.c.i 7.07 7.14 180183040 -
termination-recursive-malloc/chunk2_true-termination.c.i 7.15 7.35 185286656 -
termination-recursive-malloc/chunk3_true-termination.c.i 7.09 7.14 184250368 -
termination-recursive-malloc/insertionSort_recursive_true-termination.c.i 7.10 7.16 178282496 -
termination-recursive-malloc/mergeSort_true-termination.c.i 7.23 7.28 181940224 -
termination-recursive-malloc/mutual_simple2_true-termination.c.i 6.82 6.87 174252032 -
termination-recursive-malloc/mutual_simple_true-termination.c.i 7.06 7.11 179851264 -
termination-recursive-malloc/rec_malloc_ex10_true-termination.c.i 6.80 6.86 178556928 -
termination-recursive-malloc/rec_malloc_ex11B_true-termination.c.i 6.98 7.04 184066048 -
termination-recursive-malloc/rec_malloc_ex11C_true-termination.c.i 5.09 5.13 176390144 -
termination-recursive-malloc/rec_malloc_ex11D_true-termination.c.i 6.97 7.01 182403072 -
termination-recursive-malloc/rec_malloc_ex11_true-termination.c.i 4.98 5.02 178696192 -
termination-recursive-malloc/rec_malloc_ex1_true-termination.c.i 4.76 4.79 178216960 -
termination-recursive-malloc/rec_malloc_ex2_true-termination.c.i 4.81 4.85 187920384 -
termination-recursive-malloc/rec_malloc_ex3_true-termination.c.i 7.16 7.22 180674560 -
termination-recursive-malloc/rec_malloc_ex4_true-termination.c.i 7.11 7.17 175857664 -
termination-recursive-malloc/rec_malloc_ex5B_true-termination.c.i 6.90 6.98 184451072 -
termination-recursive-malloc/rec_malloc_ex5_true-termination.c.i 6.98 7.04 180445184 -
termination-recursive-malloc/rec_malloc_ex6_true-termination.c.i 6.87 6.93 175001600 -
termination-recursive-malloc/rec_malloc_ex7B_true-termination.c.i 7.03 7.09 179523584 -
termination-recursive-malloc/rec_malloc_ex7_true-termination.c.i 6.79 6.84 181448704 -
termination-recursive-malloc/rec_malloc_ex8_true-termination.c.i 6.94 6.98 184315904 -
termination-recursive-malloc/rec_malloc_ex9_true-termination.c.i 6.81 6.86 178950144 -
termination-recursive-malloc/rec_strcopy_malloc2_true-termination.c.i 6.97 7.03 186634240 -
termination-recursive-malloc/rec_strcopy_malloc_true-termination.c.i 6.92 7.12 186171392 -
termination-recursive-malloc/rec_strlen_malloc_true-termination.c.i 6.72 6.77 173555712 -
termination-recursive-malloc/selectionSort_recursive_true-termination.c.i 4.91 4.94 175517696 -
ssh-simplified/s3_clnt_3.cil_true-unreach-call_true-termination.c 5.05 5.07 184561664 -
pthread-atomic/gcd_true-unreach-call_true-termination.i 5.81 6.04 217378816 -
../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 1357 13000 13100 385382293504 630 12700 12800 229980381184
    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