Tool CPAchecker 1.3.4-svn 13949
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 2
Host [cs-sel-05; cs-sel-06; db1; db2; db3; db4; db5; db6; db7; db8]
OS [Linux 3.13.0-36-generic; Linux 3.13.0-37-generic]
System CPU: [Intel Core i7-2600K @ 3.40 GHz; Intel Core i7-2600 @ 3.40 GHz] with 8 cores, frequency: 3.4 GHz; RAM: [16 GB; 33 GB]
Date of execution 14-10-16 18:16
Run set va_default__pred_sbe.DeviceDrivers64 va_domain__pred_sbe.DeviceDrivers64
Options -disable-java-assertions -noout -setprop log.consoleLevel=WARNING -heap 12000M -skipRecursion -ldv -setprop analysis.checkCounterexamples=true -setprop counterexample.checker=CPACHECKER -setprop counterexample.checker.config=config/predicateAnalysis-as-bitprecise-cex-check.properties -setprop cpa.value.refiner.prefixPreference=DEFAULT -setprop cpa.predicate.blk.threshold=1 -setprop cpa.predicate.abstraction.computation=CARTESIAN -disable-java-assertions -noout -setprop log.consoleLevel=WARNING -heap 12000M -skipRecursion -ldv -setprop analysis.checkCounterexamples=true -setprop counterexample.checker=CPACHECKER -setprop counterexample.checker.config=config/predicateAnalysis-as-bitprecise-cex-check.properties -setprop cpa.value.refiner.prefixPreference=DOMAIN_BEST_DEEP -setprop cpa.predicate.blk.threshold=1 -setprop cpa.predicate.abstraction.computation=CARTESIAN
Propertyfile ./benchmarks/slicedItp/svcomp14/ldv-consumption/ALL.prp
../benchmarks/slicedItp/svcomp14/ status cputime walltime host memUsage status cputime walltime host memUsage
ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko_false.cil.out.i.pp.i timeout 930.205s 539.243s cs-sel-06 13042626560 timeout 929.629s 546.544s db4 13074341888
ldv-linux-3.0/module_get_put-drivers-block-loop.ko_false.cil.out.i.pp.i out of memory 679.343s 521.402s db6 15000002560 out of memory 681.429s 530.176s db8 15000002560
ldv-linux-3.0/module_get_put-drivers-block-pktcdvd.ko_false.cil.out.i.pp.i timeout 904.874s 874.859s db3 5054918656 timeout 912.032s 871.652s db7 4988403712
ldv-linux-3.0/module_get_put-drivers-isdn-gigaset-gigaset.ko_false.cil.out.i.pp.i timeout 930.052s 515.133s db7 13363535872 timeout 930.010s 514.297s db4 13244452864
ldv-linux-3.0/module_get_put-drivers-isdn-mISDN-mISDN_core.ko_false.cil.out.i.pp.i timeout 929.919s 901.035s db6 4846112768 timeout 930.069s 899.752s db8 5036355584
ldv-linux-3.0/module_get_put-drivers-net-ppp_generic.ko_false.cil.out.i.pp.i false(reach) 16.907s 9.227s cs-sel-06 426835968 false(reach) 17.060s 9.453s db6 448987136
ldv-linux-3.0/module_get_put-drivers-net-wan-farsync.ko_false.cil.out.i.pp.i false(reach) 22.201s 12.984s db5 598003712 false(reach) 25.211s 14.298s db3 609886208
ldv-linux-3.0/module_get_put-drivers-tty-synclink_gt.ko_false.cil.out.i.pp.i timeout 902.711s 542.122s db6 13166485504 timeout 930.249s 524.725s db3 13188284416
ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko_false.cil.out.i.pp.i timeout 930.168s 541.665s db6 13039222784 timeout 930.219s 535.488s db5 13069754368
ldv-linux-3.0/usb_urb-drivers-hid-usbhid-usbmouse.ko_false.cil.out.i.pp.i timeout 917.883s 892.787s db3 5051252736 timeout 906.879s 883.513s db8 3166277632
ldv-linux-3.0/usb_urb-drivers-input-misc-keyspan_remote.ko_false.cil.out.i.pp.i timeout 929.715s 891.937s db2 6049640448 timeout 928.398s 891.237s db2 5823893504
ldv-linux-3.0/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko_false.cil.out.i.pp.i timeout 930.093s 503.538s db7 12863881216 timeout 904.867s 494.285s db8 13087313920
ldv-linux-3.0/usb_urb-drivers-net-can-usb-ems_usb.ko_false.cil.out.i.pp.i timeout 903.049s 561.691s db8 12987904000 timeout 929.946s 559.360s db8 13262520320
ldv-linux-3.0/usb_urb-drivers-net-usb-catc.ko_false.cil.out.i.pp.i false(reach) 15.408s 8.681s db6 414887936 false(reach) 16.453s 9.368s db1 656052224
ldv-linux-3.0/usb_urb-drivers-staging-lirc-lirc_imon.ko_false.cil.out.i.pp.i timeout 929.897s 573.146s db6 13396889600 timeout 930.571s 569.750s cs-sel-05 13437853696
ldv-linux-3.0/usb_urb-drivers-usb-misc-iowarrior.ko_false.cil.out.i.pp.i false(reach) 38.992s 27.361s db6 1489100800 false(reach) 42.918s 30.380s db6 2477817856
ldv-linux-3.0/module_get_put-drivers-atm-eni.ko_true.cil.out.i.pp.i true 14.234s 7.830s db8 255983616 true 14.600s 7.992s cs-sel-06 277958656
ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko_true.cil.out.i.pp.i true 162.146s 107.427s db4 5579915264 true 35.717s 18.426s db8 526852096
ldv-linux-3.0/module_get_put-drivers-block-paride-pt.ko_true.cil.out.i.pp.i true 41.456s 27.999s db8 1633525760 true 22.771s 12.535s db8 485965824
ldv-linux-3.0/module_get_put-drivers-bluetooth-btmrvl.ko_true.cil.out.i.pp.i true 9.203s 5.210s db2 250626048 true 9.690s 5.445s db6 248324096
ldv-linux-3.0/module_get_put-drivers-char-ipmi-ipmi_watchdog.ko_true.cil.out.i.pp.i true 24.284s 14.621s db6 782610432 true 17.822s 9.881s db7 405733376
ldv-linux-3.0/module_get_put-drivers-gpu-drm-i915-i915.ko_true.cil.out.i.pp.i true 29.513s 15.864s db8 842113024 true 29.802s 16.005s db6 863780864
ldv-linux-3.0/module_get_put-drivers-hid-hid-magicmouse.ko_true.cil.out.i.pp.i true 5.995s 3.532s db5 146792448 true 5.897s 3.505s db5 149782528
ldv-linux-3.0/module_get_put-drivers-hwmon-it87.ko_true.cil.out.i.pp.i true 13.215s 7.357s db4 280330240 true 10.139s 5.768s db5 240463872
ldv-linux-3.0/module_get_put-drivers-net-atl1c-atl1c.ko_true.cil.out.i.pp.i true 14.784s 8.133s db8 309383168 true 14.403s 7.908s cs-sel-06 266833920
ldv-linux-3.0/module_get_put-drivers-net-pppox.ko_true.cil.out.i.pp.i timeout 929.997s 492.968s db8 12745113600 timeout 930.034s 493.403s db3 12626886656
ldv-linux-3.0/module_get_put-drivers-net-sis900.ko_true.cil.out.i.pp.i true 17.812s 9.851s db4 414908416 true 18.962s 10.282s db5 366682112
ldv-linux-3.0/module_get_put-drivers-scsi-megaraid.ko_true.cil.out.i.pp.i true 23.070s 12.456s db6 430157824 true 22.843s 12.251s db5 440778752
ldv-linux-3.0/module_get_put-drivers-staging-et131x-et131x.ko_true.cil.out.i.pp.i true 21.207s 11.560s cs-sel-05 430641152 true 21.252s 11.667s db3 426020864
ldv-linux-3.0/module_get_put-drivers-video-aty-aty128fb.ko_true.cil.out.i.pp.i true 18.601s 10.183s db6 412479488 true 18.134s 9.899s db5 318803968
ldv-linux-3.0/usb_urb-drivers-input-tablet-kbtab.ko_true.cil.out.i.pp.i true 12.368s 6.921s db3 254214144 true 11.626s 6.602s db5 237285376
ldv-linux-3.0/usb_urb-drivers-media-video-c-qcam.ko_true.cil.out.i.pp.i true 25.704s 14.477s db2 583892992 true 25.154s 14.133s db2 575930368
ldv-linux-3.0/usb_urb-drivers-media-video-msp3400.ko_true.cil.out.i.pp.i true 21.342s 11.861s db1 483241984 true 20.846s 11.607s db1 477941760
ldv-linux-3.0/usb_urb-drivers-misc-c2port-core.ko_true.cil.out.i.pp.i true 15.370s 8.598s db1 368160768 true 14.137s 7.999s cs-sel-05 292331520
ldv-linux-3.0/usb_urb-drivers-mtd-sm_ftl.ko_true.cil.out.i.pp.i true 22.843s 12.612s db4 458964992 true 21.280s 11.918s db6 462348288
ldv-linux-3.0/usb_urb-drivers-scsi-dc395x.ko_true.cil.out.i.pp.i true 21.023s 11.313s db3 426156032 true 21.615s 11.702s db7 427565056
ldv-linux-3.0/usb_urb-drivers-usb-serial-ir-usb.ko_true.cil.out.i.pp.i timeout 930.168s 507.267s db1 12681596928 timeout 930.452s 514.847s cs-sel-05 13310660608
ldv-linux-3.0/usb_urb-drivers-usb-serial-whiteheat.ko_true.cil.out.i.pp.i false(reach) 146.111s 129.715s db3 4380237824 false(reach) 133.917s 118.080s db6 4359970816
ldv-linux-3.0/usb_urb-drivers-uwb-i1480-dfu-i1480-dfu-usb.ko_true.cil.out.i.pp.i timeout 926.748s 556.893s db6 12861644800 timeout 917.232s 553.805s db6 13059915776
ldv-linux-3.0/usb_urb-drivers-vhost-vhost_net.ko_true.cil.out.i.pp.i true 21.245s 11.550s db4 437100544 true 22.292s 12.090s db7 433561600
ldv-linux-3.0/usb_urb-drivers-video-arkfb.ko_true.cil.out.i.pp.i true 14.821s 8.226s db5 288661504 true 15.356s 8.427s db6 370331648
ldv-linux-3.4-simple/32_7_cilled_false_const_ok_linux-32_1-drivers--gpu--drm--vmwgfx--vmwgfx.ko-ldv_main3_sequence_infinite_withcheck_stateful.cil.out.c false(reach) 52.771s 37.334s db6 1706233856 false(reach) 52.276s 37.293s db3 1726795776
ldv-linux-3.4-simple/32_7_cilled_false_const_ok_linux-32_1-drivers--input--mouse--synaptics_usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c false(reach) 203.714s 197.835s db3 4933304320 false(reach) 202.607s 196.742s db4 4932808704
ldv-linux-3.4-simple/32_7_cilled_false_const_ok_linux-32_1-drivers--input--mousedev.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c false(reach) 42.290s 29.130s db3 1945415680 false(reach) 42.404s 29.642s db3 1941053440
ldv-linux-3.4-simple/32_7_cilled_false_const_ok_linux-32_1-drivers--isdn--capi--kernelcapi.ko-ldv_main3_sequence_infinite_withcheck_stateful.cil.out.c false(reach) 24.027s 16.139s db6 465563648 false(reach) 31.185s 17.779s db1 450236416
ldv-linux-3.4-simple/32_7_cilled_false_const_ok_linux-32_1-drivers--media--dvb--dvb-usb--dvb-usb-dib0700.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c false(reach) 24.575s 13.540s db2 850309120 false(reach) 23.957s 13.284s db4 849477632
ldv-linux-3.4-simple/32_7_cilled_false_const_ok_linux-32_1-drivers--media--video--cpia2--cpia2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c false(reach) 137.599s 110.540s db1 4912820224 false(reach) 145.766s 118.169s db6 5599817728
ldv-linux-3.4-simple/32_7_cilled_false_const_ok_linux-32_1-drivers--media--video--mem2mem_testdev.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c false(reach) 9.331s 5.609s db6 329478144 false(reach) 9.218s 5.504s db3 337498112
ldv-linux-3.4-simple/32_7_cilled_false_const_ok_linux-32_1-drivers--media--video--vivi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 929.583s 524.951s db2 13263990784 timeout 930.056s 523.919s db7 13271969792
ldv-linux-3.4-simple/32_7_cilled_false_const_ok_linux-32_1-drivers--mtd--chips--cfi_cmdset_0001.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c false(reach) 19.420s 13.295s db2 741785600 false(reach) 19.272s 13.266s db6 739606528
ldv-linux-3.4-simple/32_7_cilled_false_const_ok_linux-32_1-drivers--net--phy--dp83640.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c false(reach) 18.594s 11.116s db5 638017536 false(reach) 18.807s 11.253s db3 634990592
ldv-linux-3.4-simple/32_7_cilled_false_const_ok_linux-32_1-drivers--net--wireless--p54--p54usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c false(reach) 13.323s 8.551s db7 607670272 false(reach) 12.227s 8.208s cs-sel-05 602546176
ldv-linux-3.4-simple/32_7_cilled_false_const_ok_linux-32_1-drivers--scsi--libfc--libfc.ko-ldv_main5_sequence_infinite_withcheck_stateful.cil.out.c timeout 900.810s 809.749s db8 6137159680 timeout 901.175s 811.105s db5 5922930688
ldv-linux-3.4-simple/32_7_cilled_false_const_ok_linux-32_1-drivers--staging--keucr--keucr.ko-ldv_main1_sequence_infinite_withcheck_stateful.cil.out.c out of memory 51.149s 42.520s db7 15000002560 out of memory 47.768s 42.339s cs-sel-05 15000002560
ldv-linux-3.4-simple/32_7_cilled_false_const_ok_linux-32_1-drivers--usb--image--microtek.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c false(reach) 7.702s 4.452s db8 264810496 false(reach) 7.553s 4.371s db7 262176768
ldv-linux-3.4-simple/32_7_cilled_false_const_ok_linux-32_1-drivers--usb--storage--usb-storage.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c false(reach) 22.181s 11.606s db3 337620992 false(reach) 22.819s 11.868s db3 333594624
ldv-linux-3.4-simple/32_7_cilled_false_const_ok_linux-32_1-drivers--vhost--vhost_net.ko-ldv_main1_sequence_infinite_withcheck_stateful.cil.out.c false(reach) 140.800s 131.211s db4 3973799936 false(reach) 130.702s 121.301s db1 3890864128
ldv-linux-3.4-simple/32_7_cilled_false_const_ok_linux-32_1-drivers--video--aty--atyfb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 905.738s 841.421s db7 5555589120 timeout 902.303s 846.565s cs-sel-05 5180379136
ldv-linux-3.4-simple/43_1a_cilled_false_ok_linux-43_1a-drivers--misc--sgi-xp--xpc.ko-ldv_main3_sequence_infinite_withcheck_stateful.cil.out.c unknown 115.057s 89.244s db1 2697940992 unknown 99.281s 76.278s db3 2113695744
ldv-linux-3.4-simple/43_1a_cilled_false_ok_linux-43_1a-drivers--net--wireless--orinoco--orinoco_usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c false(reach) 43.303s 32.600s db5 2939805696 false(reach) 49.097s 36.869s cs-sel-06 4590350336
ldv-linux-3.4-simple/43_1a_cilled_false_ok_linux-43_1a-drivers--scsi--dpt_i2o.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 901.632s 703.267s db5 7877967872 timeout 905.431s 746.673s db1 8697065472
ldv-linux-3.4-simple/43_1a_cilled_false_ok_linux-43_1a-drivers--scsi--megaraid--megaraid_mm.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unknown 65.670s 44.046s db3 2675974144 unknown 52.319s 33.979s db2 2551709696
ldv-linux-3.4-simple/43_1a_cilled_false_ok_linux-43_1a-drivers--usb--gadget--mv_udc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c false(reach) 369.986s 358.402s cs-sel-06 9196011520 false(reach) 399.842s 388.025s db8 9201270784
ldv-linux-3.4-simple/43_1a_cilled_false_ok_linux-43_1a-drivers--usb--gadget--pch_udc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c false(reach) 43.502s 30.056s db4 1510899712 false(reach) 43.205s 30.130s db6 1416540160
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--acpi--apei--einj.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.995s 3.547s cs-sel-06 160989184 true 6.205s 3.663s db7 222670848
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--acpi--bgrt.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.546s 2.779s db7 206880768 true 4.404s 2.755s db7 209354752
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--acpi--container.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.956s 3.017s db2 205467648 true 4.377s 2.758s cs-sel-05 150376448
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--acpi--ec_sys.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.988s 3.046s db3 205950976 true 4.702s 2.927s db6 208683008
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--acpi--fan.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.072s 3.053s db4 207343616 true 4.560s 2.821s db6 211951616
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--ata--pata_marvell.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.081s 3.065s db7 216981504 true 5.029s 3.008s db6 214081536
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--ata--pata_netcell.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.183s 2.994s db8 215072768 true 4.808s 2.889s db2 220393472
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--atm--adummy.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.903s 3.979s db6 214474752 true 5.672s 3.341s cs-sel-06 158982144
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--auxdisplay--cfag12864b.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 891.415s 875.851s db5 4556447744 true 6.205s 3.633s db7 210894848
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--auxdisplay--cfag12864bfb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.637s 2.859s db2 217133056 true 4.773s 2.857s db7 214114304
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--auxdisplay--ks0108.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.781s 2.391s db6 210698240 true 3.652s 2.299s cs-sel-06 133599232
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--block--paride--aten.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.605s 3.340s db4 214560768 true 5.619s 3.381s db8 219041792
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--block--paride--bpck.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 20.681s 11.517s db7 472891392 true 19.726s 11.223s db7 436469760
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--block--paride--comm.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.966s 4.154s db2 212992000 true 7.015s 4.170s db8 217817088
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--block--paride--dstr.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.910s 4.650s db7 213872640 true 7.833s 4.585s cs-sel-05 170483712
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--block--paride--epat.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 17.560s 10.031s db7 431706112 true 17.695s 10.092s db8 386203648
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--block--paride--epia.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 10.062s 5.972s db7 248049664 true 10.118s 5.978s db6 244056064
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--block--paride--fit2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.179s 3.161s db2 206852096 true 5.214s 3.125s db6 212676608
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--block--paride--fit3.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.494s 3.896s db2 212582400 true 6.647s 3.955s db4 216170496
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--block--paride--friq.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 11.646s 6.778s db7 251600896 true 11.154s 6.451s cs-sel-05 239517696
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--block--paride--frpw.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 11.181s 6.345s db5 250335232 true 11.128s 6.382s cs-sel-05 259461120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--block--paride--kbic.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 10.465s 6.005s db7 253579264 true 10.445s 5.995s db8 245399552
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--block--paride--ktti.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.415s 3.272s db8 210001920 true 5.186s 3.116s db5 150007808
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--block--paride--on20.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 9.314s 5.360s db2 223588352 true 9.125s 5.238s db3 219271168
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--block--paride--on26.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 19.231s 11.352s db6 421511168 true 18.644s 11.083s db6 419614720
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--char--hw_random--virtio-rng.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.789s 2.385s db3 203784192 true 3.620s 2.318s db7 211521536
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--char--ipmi--ipmi_poweroff.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.333s 3.209s cs-sel-05 158867456 true 5.277s 3.208s db7 220397568
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--char--ramoops.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.924s 2.463s db4 210575360 true 3.979s 2.503s db3 204570624
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--char--tpm--tpm_nsc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 9.006s 5.112s db3 250089472 true 9.555s 5.323s db8 247943168
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--char--uv_mmtimer.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.754s 3.405s db8 217554944 true 5.730s 3.363s db1 165748736
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--clocksource--cs5535-clockevt.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.665s 2.256s cs-sel-05 131215360 true 3.636s 2.267s db8 173838336
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--cpufreq--cpufreq_powersave.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.077s 1.912s cs-sel-06 129130496 true 3.275s 1.982s db4 170135552
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--cpufreq--pcc-cpufreq.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.113s 4.156s db6 221401088 true 6.737s 3.971s db3 219164672
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--edac--mce_amd_inj.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.949s 2.428s db2 213168128 true 3.776s 2.345s db7 179728384
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--firmware--google--gsmi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 10.250s 5.799s db2 251707392 true 10.232s 5.774s cs-sel-05 241614848
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--firmware--google--memconsole.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.516s 2.718s db4 208457728 true 3.894s 2.469s db6 207912960
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--gpio--gpio-74x164.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.182s 2.635s cs-sel-06 150126592 true 4.578s 2.845s db6 214286336
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--gpio--gpio-max7301.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.961s 2.467s db8 207843328 true 3.804s 2.397s db4 208199680
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--gpio--gpio-mc33880.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.332s 2.725s db6 212242432 true 4.199s 2.645s db7 205418496
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--gpio--gpio-tps65912.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.618s 2.324s db2 203501568 true 3.612s 2.328s db6 205385728
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--gpio--gpio-wm831x.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.932s 2.558s db7 205893632 true 4.018s 2.588s cs-sel-06 149053440
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--gpu--drm--drm_usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.978s 2.943s db8 212389888 true 4.829s 2.872s db8 214642688
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--gpu--drm--i2c--sil164.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.982s 4.125s db2 218251264 true 6.743s 4.025s db6 219459584
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--gpu--drm--tdfx--tdfx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.801s 2.809s db5 152870912 true 4.760s 2.874s db7 218730496
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--gpu--stub--poulsbo.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.063s 2.524s db3 206761984 true 4.133s 2.547s db7 204308480
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hid--hid-cherry.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.912s 2.492s db7 203444224 true 3.966s 2.533s db7 203436032
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hid--hid-chicony.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.351s 3.243s db8 212676608 true 5.462s 3.344s db6 220749824
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hid--hid-elecom.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.710s 2.326s db2 210472960 true 3.647s 2.282s db3 203382784
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hid--hid-ezkey.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.023s 2.541s db4 200060928 true 3.879s 2.473s db4 205373440
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hid--hid-gyration.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.057s 3.136s db2 216240128 true 5.056s 3.118s db7 211107840
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hid--hid-kensington.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.855s 2.427s db8 208048128 true 3.873s 2.440s cs-sel-06 147275776
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hid--hid-keytouch.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.541s 2.253s db8 207294464 true 3.781s 2.344s db5 149684224
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hid--hid-lcpower.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.343s 2.761s db6 206131200 true 4.204s 2.656s db7 205963264
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hid--hid-monterey.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.085s 2.587s db2 202235904 true 4.181s 2.615s db8 207851520
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hid--hid-ortek.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.677s 2.333s cs-sel-06 150192128 true 3.573s 2.267s cs-sel-05 146755584
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hid--hid-petalynx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.767s 2.960s cs-sel-05 150495232 true 5.020s 3.097s db2 208986112
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hid--hid-primax.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.131s 2.589s db7 205959168 true 3.868s 2.502s db2 203505664
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hid--hid-saitek.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.452s 2.244s cs-sel-06 150089728 true 3.745s 2.364s db4 206131200
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hid--hid-samsung.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.082s 3.593s db1 157859840 true 6.100s 3.645s db4 213807104
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hid--hid-speedlink.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.143s 2.532s db2 205578240 true 3.915s 2.440s db5 147832832
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hid--hid-sunplus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.941s 2.512s db8 206995456 true 3.947s 2.524s db6 205656064
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hid--hid-tivo.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.263s 2.660s db5 152862720 true 4.128s 2.615s cs-sel-05 147181568
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hid--hid-topseed.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.609s 3.400s db2 207593472 true 5.225s 3.190s db5 151781376
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hid--hid-twinhan.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.448s 3.857s db8 210866176 true 6.330s 3.830s db7 211050496
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hid--hid-uclogic.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.720s 2.370s db7 200896512 true 3.866s 2.452s db4 206467072
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hid--hid-wacom.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 9.212s 5.246s db4 222810112 true 8.437s 4.767s db5 193806336
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hid--hid-waltop.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.582s 2.902s db8 211554304 true 4.512s 2.846s db1 151965696
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hid--hid-zydacron.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.686s 3.418s db5 152494080 true 5.937s 3.610s db7 210743296
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hwmon--ads7871.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.685s 2.915s cs-sel-05 152723456 true 5.004s 2.969s db8 213520384
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hwmon--asus_atk0110.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 11.222s 6.457s db3 253534208 true 11.242s 6.498s db3 249208832
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hwmon--emc1403.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.468s 2.797s db2 209371136 true 4.679s 2.895s db3 206176256
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hwmon--gpio-fan.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.171s 3.134s db2 209182720 true 5.198s 3.170s db4 209440768
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hwmon--max1111.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.292s 2.677s db6 207032320 true 4.153s 2.622s db6 210628608
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hwmon--pcf8591.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.754s 2.905s db7 206307328 true 4.641s 2.862s cs-sel-06 151797760
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hwmon--pmbus--max16064.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.682s 2.324s db2 209158144 true 3.647s 2.304s cs-sel-06 151474176
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hwmon--pmbus--max8688.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.886s 2.447s cs-sel-05 145301504 true 3.829s 2.427s db2 206073856
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hwmon--smsc47b397.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.514s 3.783s db4 217980928 true 5.562s 3.251s db3 219316224
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--i2c--algos--i2c-algo-pca.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.130s 3.650s db6 215244800 true 5.886s 3.554s db4 214446080
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--i2c--busses--i2c-diolan-u2c.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 8.415s 4.957s db4 220536832 true 8.713s 5.050s db7 224690176
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--i2c--busses--i2c-stub.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.295s 3.210s db2 206630912 true 5.288s 3.226s cs-sel-05 154738688
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--i2c--busses--i2c-tiny-usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.532s 3.305s db4 216477696 true 5.381s 3.199s db5 158437376
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--i2c--i2c-smbus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.314s 2.700s db6 204357632 true 4.422s 2.738s db1 154271744
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--ide--cmd640.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 17.415s 9.604s db8 424833024 true 14.400s 8.078s db2 405708800
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--ide--ide-pnp.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.076s 3.044s db6 218112000 true 5.324s 3.176s db8 216080384
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--gameport--lightning.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.317s 3.247s db5 153915392 true 4.556s 2.880s cs-sel-06 155295744
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--joystick--magellan.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.532s 2.838s db3 203132928 true 4.776s 2.984s db4 208801792
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--joystick--spaceball.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.373s 3.307s db6 209358848 true 5.413s 3.336s db4 210063360
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--joystick--spaceorb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.206s 3.173s db7 212815872 true 5.162s 3.189s db4 217440256
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--joystick--stinger.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.240s 2.716s cs-sel-05 146911232 true 4.621s 2.840s db5 148496384
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--joystick--turbografx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 9.248s 5.280s db7 244690944 true 5.423s 3.329s db2 209391616
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--joystick--twidjoy.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.918s 3.011s db3 210305024 true 4.220s 2.662s cs-sel-06 153325568
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--joystick--warrior.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.847s 2.999s cs-sel-06 155922432 true 4.963s 3.062s db4 209137664
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--joystick--zhenhua.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.180s 2.597s db4 207335424 true 4.094s 2.596s db1 148639744
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--keyboard--gpio_keys_polled.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.367s 2.734s db2 208289792 true 4.471s 2.791s db8 207810560
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--keyboard--newtonkbd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.211s 2.640s db4 203456512 true 4.359s 2.738s db6 212606976
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--keyboard--stowaway.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.189s 2.697s cs-sel-06 151306240 true 4.636s 2.878s db8 212000768
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--keyboard--xtkbd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.253s 2.661s db3 203657216 true 4.263s 2.664s db8 206766080
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--misc--ab8500-ponkey.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.314s 2.659s db8 208818176 true 3.997s 2.519s db3 204128256
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--misc--ad714x-i2c.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.519s 2.753s db8 206090240 true 4.437s 2.709s cs-sel-05 150409216
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--misc--ad714x-spi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.537s 2.728s db8 213241856 true 4.833s 2.900s db7 206200832
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--misc--adxl34x-spi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.345s 2.685s db3 206381056 true 4.581s 2.760s db1 150544384
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--misc--apanel.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 911.131s 536.830s db7 12989919232 true 5.988s 3.517s cs-sel-05 169803776
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--misc--atlas_btns.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.415s 2.712s db3 206168064 true 4.354s 2.719s cs-sel-06 151056384
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--misc--cma3000_d0x_i2c.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.163s 2.602s db2 208609280 true 4.211s 2.617s db3 209248256
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--misc--mma8450.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.763s 2.848s cs-sel-06 164847616 true 4.821s 2.878s db2 219340800
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--misc--mpu3050.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.493s 3.301s db7 219025408 true 5.400s 3.207s db5 156651520
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--misc--pcap_keys.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.961s 2.547s db6 207650816 true 4.196s 2.650s db7 205029376
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--misc--pcf50633-input.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.263s 2.659s cs-sel-05 149479424 true 4.370s 2.673s db8 207429632
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--misc--pcspkr.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.149s 2.619s db8 206716928 true 4.451s 2.776s db6 210665472
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--misc--rotary_encoder.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.388s 3.267s db3 208416768 true 5.199s 3.175s db8 207392768
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--misc--wm831x-on.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.973s 2.499s db1 148549632 true 4.209s 2.653s db7 203698176
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--misc--xen-kbdfront.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.510s 2.828s cs-sel-05 147750912 true 4.741s 2.979s db6 202682368
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--mouse--gpio_mouse.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.409s 2.750s db3 207138816 true 4.575s 2.794s db3 206336000
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--mouse--vsxxxaa.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.814s 3.582s cs-sel-06 158793728 true 6.188s 3.671s db3 216096768
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--serio--ct82c710.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.559s 3.321s cs-sel-05 155471872 true 5.299s 3.178s db7 209924096
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--serio--parkbd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.219s 2.628s db7 207122432 true 4.032s 2.551s db8 211951616
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--ad7879-spi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.667s 2.879s db3 205500416 true 4.879s 2.929s cs-sel-05 151347200
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--cyttsp_spi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.296s 3.223s db7 215842816 true 5.282s 3.219s db2 212992000
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--dynapro.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.417s 2.783s db6 211591168 true 4.467s 2.808s db6 204644352
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--eeti_ts.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.598s 3.320s db7 220598272 true 5.494s 3.241s db4 214654976
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--egalax_ts.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.535s 3.331s db3 216076288 true 5.455s 3.243s db8 213905408
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--fujitsu_ts.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.410s 2.767s db6 208605184 true 4.356s 2.755s db7 206688256
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--gunze.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.348s 2.741s db6 203677696 true 4.362s 2.787s db6 207495168
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--hampshire.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.265s 2.696s db2 208252928 true 4.474s 2.785s db3 203837440
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--inexio.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.247s 2.674s cs-sel-06 154480640 true 4.539s 2.813s cs-sel-06 155377664
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--max11801_ts.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.131s 3.085s db2 216584192 true 4.996s 3.022s db5 153419776
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--mk712.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.793s 3.428s db6 221347840 true 5.192s 3.120s db4 214265856
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--mtouch.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.545s 2.828s db8 210313216 true 4.418s 2.738s db5 148369408
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--penmount.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.563s 2.859s cs-sel-05 147419136 true 4.738s 2.982s cs-sel-06 149622784
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--stmpe-ts.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.295s 3.231s db3 214171648 true 5.429s 3.301s db7 215470080
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--touchit213.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.261s 2.695s db5 147767296 true 4.468s 2.798s db8 207224832
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--touchright.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.477s 2.767s db3 212541440 true 4.225s 2.638s db7 204414976
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--touchwin.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.262s 2.690s cs-sel-06 150126592 true 4.369s 2.740s db3 208322560
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--tsc40.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.579s 2.868s db7 204963840 true 4.615s 2.889s db4 205774848
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--wacom_w8001.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.685s 4.413s db2 224231424 true 7.333s 4.280s db4 220135424
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--isdn--hardware--avm--avm_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.744s 2.891s cs-sel-05 157208576 true 4.967s 2.990s db3 213069824
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--isdn--hardware--avm--b1pci.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.074s 3.630s db3 225800192 true 5.640s 3.450s db6 210337792
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--isdn--hardware--avm--b1pcmcia.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.401s 2.676s db1 149430272 true 4.231s 2.592s db4 207745024
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--isdn--hardware--avm--t1pci.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.862s 2.955s db5 152006656 true 4.741s 2.911s db5 150241280
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--isdn--hardware--eicon--divadidd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 381.575s 347.258s db7 5214355456 true 8.054s 4.598s cs-sel-05 236494848
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--isdn--hisax--avma1_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.318s 2.705s db4 212205568 true 4.421s 2.746s db3 212348928
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--isdn--hisax--elsa_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.490s 2.785s cs-sel-06 153661440 true 4.437s 2.787s db4 205291520
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--isdn--hisax--sedlbauer_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.438s 2.786s db2 214011904 true 4.580s 2.822s db3 205905920
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--isdn--hisax--teles_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.797s 2.907s db3 213135360 true 4.563s 2.821s db6 204627968
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--leds--dell-led.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.613s 2.864s db2 209203200 true 4.719s 2.890s db6 212082688
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--leds--leds-bd2802.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.584s 4.328s db7 223719424 true 7.446s 4.250s db5 173551616
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--leds--leds-dac124s085.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.397s 2.727s db4 209244160 true 4.361s 2.719s db7 211476480
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--leds--leds-lp5521.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.433s 3.779s db4 217817088 true 5.960s 3.581s cs-sel-06 164237312
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--leds--leds-ot200.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.818s 2.383s db4 209543168 true 3.647s 2.301s cs-sel-06 149504000
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--leds--leds-pca9633.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.358s 2.672s db1 151605248 true 4.373s 2.679s db5 153948160
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--leds--leds-regulator.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.460s 3.263s db8 214990848 true 5.803s 3.457s db6 219701248
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--leds--ledtrig-backlight.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.988s 2.939s db3 214663168 true 4.622s 2.824s cs-sel-05 159772672
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--leds--ledtrig-default-on.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.330s 2.059s db3 171896832 true 3.276s 2.068s db6 177201152
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--leds--ledtrig-gpio.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.941s 2.484s db4 203452416 true 3.897s 2.447s db2 207732736
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--macintosh--mac_hid.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.299s 2.678s db6 209801216 true 3.937s 2.503s cs-sel-05 148013056
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--md--dm-zero.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.947s 2.479s cs-sel-05 148492288 true 4.329s 2.671s db7 206757888
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--max2165.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.540s 4.438s db8 225918976 true 7.441s 4.361s db3 220258304
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--mc44s803.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.569s 3.391s db8 215982080 true 5.595s 3.411s db7 214941696
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--mt2060.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.392s 3.226s db7 217944064 true 5.191s 3.114s db1 162177024
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--mt20xx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 8.518s 5.026s db6 226254848 true 8.381s 4.992s db2 222777344
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--mt2131.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.447s 3.322s db2 217645056 true 5.346s 3.254s db7 220139520
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--mt2266.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.621s 3.409s db7 216334336 true 5.743s 3.486s db7 225112064
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--mxl5007t.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 8.090s 4.673s db5 196583424 true 8.231s 4.794s db7 222863360
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--qt1010.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 8.041s 4.663s db7 227328000 true 8.005s 4.632s db2 223444992
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--tda18218.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.958s 3.545s cs-sel-05 166866944 true 6.328s 3.746s db3 222179328
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--tda8290.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 10.251s 5.764s db3 261586944 true 10.397s 5.846s db4 248848384
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--tda9887.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 9.246s 5.495s db7 245866496 true 9.628s 5.590s db7 246951936
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--bt8xx--dvb-bt8xx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 10.652s 5.916s db6 261476352 true 10.125s 5.652s db5 248135680
ldv-linux-3.4-simple/32_1_cilled_true_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 true 5.841s 3.428s db5 162529280 true 5.561s 3.337s db7 222347264
ldv-linux-3.4-simple/32_1_cilled_true_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 true 5.992s 3.526s db4 217489408 true 5.895s 3.482s cs-sel-06 163803136
ldv-linux-3.4-simple/32_1_cilled_true_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 true 10.677s 6.077s cs-sel-06 254816256 true 11.244s 6.404s db6 388435968
ldv-linux-3.4-simple/32_1_cilled_true_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 true 9.559s 5.382s db4 266403840 true 9.559s 5.365s db8 266924032
ldv-linux-3.4-simple/32_1_cilled_true_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 true 6.616s 3.823s db3 218894336 true 6.095s 3.620s cs-sel-06 164327424
ldv-linux-3.4-simple/32_1_cilled_true_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 true 6.839s 3.971s db6 221413376 true 6.561s 3.875s db2 223883264
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-cinergyT2.ko-ldv_main1_sequence_infinite_withcheck_stateful.cil.out.c true 7.187s 4.222s db7 215887872 true 6.298s 3.782s cs-sel-05 179265536
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-dibusb-common.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.920s 3.516s db5 162574336 true 6.279s 3.637s db3 227115008
ldv-linux-3.4-simple/32_1_cilled_true_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 true 7.643s 4.390s db7 221892608 true 8.178s 4.606s db7 221167616
ldv-linux-3.4-simple/32_1_cilled_true_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 true 5.362s 3.210s db1 157978624 true 5.832s 3.428s db7 221478912
ldv-linux-3.4-simple/32_1_cilled_true_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 true 7.195s 4.106s db1 184553472 true 6.900s 4.043s cs-sel-06 180801536
ldv-linux-3.4-simple/32_1_cilled_true_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 true 8.446s 4.760s db7 245379072 true 8.367s 4.714s db7 248315904
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-dtt200u.ko-ldv_main1_sequence_infinite_withcheck_stateful.cil.out.c true 7.592s 4.298s db5 233656320 true 7.750s 4.445s db7 247513088
ldv-linux-3.4-simple/32_1_cilled_true_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 true 5.478s 3.306s cs-sel-05 163749888 true 5.959s 3.554s db7 218615808
ldv-linux-3.4-simple/32_1_cilled_true_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 true 6.092s 3.592s db7 219406336 true 6.161s 3.586s db8 223002624
ldv-linux-3.4-simple/32_1_cilled_true_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 true 34.699s 18.742s db4 789520384 true 33.514s 18.247s db2 775335936
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-mxl111sf.ko-ldv_main3_sequence_infinite_withcheck_stateful.cil.out.c true 17.035s 9.371s db8 274657280 true 17.590s 9.346s db2 277929984
ldv-linux-3.4-simple/32_1_cilled_true_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 true 6.002s 3.475s db8 222879744 true 5.914s 3.494s db2 220528640
ldv-linux-3.4-simple/32_1_cilled_true_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 true 10.269s 5.797s db5 253632512 true 10.483s 5.836s db3 250634240
ldv-linux-3.4-simple/32_1_cilled_true_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 true 8.648s 4.966s db3 254488576 true 8.479s 4.863s cs-sel-06 240648192
ldv-linux-3.4-simple/32_1_cilled_true_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 true 8.952s 5.102s db7 248328192 true 8.738s 4.943s db5 239202304
ldv-linux-3.4-simple/32_1_cilled_true_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 true 6.155s 3.588s db6 215363584 true 5.943s 3.483s db5 158375936
ldv-linux-3.4-simple/32_1_cilled_true_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 true 11.556s 6.409s cs-sel-06 378322944 true 9.879s 5.641s db6 349216768
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-vp7045.ko-ldv_main1_sequence_infinite_withcheck_stateful.cil.out.c true 12.965s 7.267s db8 409354240 true 11.111s 6.250s db2 382070784
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--mxl111sf-demod.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.628s 4.361s db4 223842304 true 7.296s 4.173s cs-sel-05 181219328
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--cxd2820r.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 15.065s 8.447s db4 319119360 true 15.455s 8.566s db3 321765376
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--dib3000mb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 13.685s 7.828s db3 348987392 true 14.468s 8.159s db8 347160576
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--dib3000mc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 13.481s 7.851s db4 394584064 true 13.700s 7.971s db7 393363456
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--dvb_dummy_fe.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.099s 3.079s db8 216588288 true 5.155s 3.051s db3 216743936
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--ec100.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.482s 3.265s db2 216621056 true 5.400s 3.275s db6 219070464
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--isl6405.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.025s 2.485s cs-sel-05 147456000 true 4.045s 2.501s db2 204865536
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--isl6421.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.083s 2.528s db2 208547840 true 3.833s 2.410s db6 202936320
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--it913x-fe.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 14.008s 7.613s cs-sel-05 266457088 true 14.396s 7.862s db5 266178560
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--lnbp21.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.203s 2.566s db2 206061568 true 4.253s 2.610s db2 205410304
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--lnbp22.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.105s 2.523s db5 145674240 true 4.153s 2.559s db4 202436608
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--rtl2830.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.752s 4.493s db7 226177024 true 7.402s 4.358s db5 171188224
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--stb6000.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.011s 3.024s db4 212623360 true 4.887s 2.936s db4 221065216
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--tda18271c2dd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 10.115s 5.708s db7 254369792 true 9.311s 5.394s db6 248299520
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--tda826x.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.658s 2.835s db5 156966912 true 5.020s 2.992s db8 213463040
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--tua6100.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.101s 3.034s db8 211652608 true 4.966s 3.012s db7 214605824
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--ttpci--budget-patch.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 8.208s 4.727s db6 225464320 true 8.030s 4.574s db3 225583104
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--ttpci--budget.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 9.623s 5.392s db4 257257472 true 9.935s 5.563s db8 258977792
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-adstech-dvb-t-pci.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.838s 1.796s cs-sel-05 130097152 true 2.991s 1.887s db6 164474880
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-alink-dtu-m.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.898s 1.813s db3 160198656 true 2.923s 1.806s db3 159866880
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-anysee.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.821s 1.788s db1 127115264 true 2.786s 1.752s db5 127983616
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-apac-viewcomp.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.906s 1.824s db4 160931840 true 2.715s 1.737s cs-sel-05 125800448
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-asus-pc39.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.813s 1.757s db6 166940672 true 2.912s 1.839s db2 162414592
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-ati-tv-wonder-hd-600.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.721s 1.745s db2 156270592 true 3.031s 1.896s db4 159793152
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-ati-x10.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.699s 1.732s db4 161406976 true 2.777s 1.782s db2 164978688
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-avermedia-a16d.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.839s 1.784s db8 157421568 true 2.855s 1.807s db7 157425664
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-avermedia-cardbus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.835s 1.795s cs-sel-06 131063808 true 2.790s 1.776s db6 161951744
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-avermedia-dvbt.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.896s 1.810s db8 161329152 true 2.989s 1.866s db6 163696640
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-avermedia-m135a.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.946s 1.838s db5 131624960 true 2.945s 1.865s db8 159297536
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-avermedia-m733a-rm-k6.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.832s 1.786s db5 128012288 true 2.776s 1.801s db7 162754560
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-avermedia-rm-ks.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.954s 1.854s db1 131198976 true 2.756s 1.739s db3 160555008
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-avermedia.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.791s 1.795s cs-sel-06 128872448 true 2.775s 1.796s db6 165642240
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-avertv-303.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.778s 1.766s db3 158900224 true 2.971s 1.846s db2 164298752
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-azurewave-ad-tu700.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.769s 1.770s cs-sel-06 130256896 true 2.682s 1.736s db4 157155328
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-behold-columbus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.971s 1.851s db5 129667072 true 2.740s 1.747s cs-sel-06 130400256
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-behold.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.830s 1.781s cs-sel-06 131334144 true 2.947s 1.838s db3 159244288
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-budget-ci-old.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.930s 1.839s db2 167235584 true 2.687s 1.762s cs-sel-05 125726720
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-cinergy-1400.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.787s 1.760s db7 156311552 true 2.788s 1.748s db4 158543872
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-cinergy.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.943s 1.826s db4 159182848 true 3.041s 1.892s db7 159080448
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-dib0700-nec.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.113s 1.927s db6 164737024 true 2.911s 1.823s db1 131129344
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-dib0700-rc5.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.829s 1.836s db8 164642816 true 2.917s 1.848s db8 159830016
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-digitalnow-tinytwin.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.775s 1.761s db5 128348160 true 2.930s 1.840s db4 161050624
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-digittrade.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.844s 1.774s cs-sel-05 126316544 true 2.775s 1.746s cs-sel-05 131096576
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-dm1105-nec.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.820s 1.788s db7 155365376 true 2.849s 1.793s db8 160763904
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-dntv-live-dvb-t.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.798s 1.759s db6 162045952 true 2.827s 1.762s db6 163717120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-dntv-live-dvbt-pro.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.836s 1.817s cs-sel-06 132165632 true 2.890s 1.808s db8 160587776
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-em-terratec.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.893s 1.796s db7 164794368 true 2.925s 1.846s db4 165351424
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-encore-enltv-fm53.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.807s 1.774s db4 162652160 true 2.881s 1.783s db7 156684288
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-encore-enltv.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.852s 1.794s db3 158814208 true 2.853s 1.810s db8 160673792
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-encore-enltv2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.932s 1.813s db7 164700160 true 2.858s 1.817s db8 159866880
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-evga-indtube.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.784s 1.751s db3 161488896 true 2.863s 1.839s db6 162025472
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-eztv.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.789s 1.817s db6 162476032 true 2.968s 1.867s db8 162127872
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-flydvb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.963s 1.859s db8 158400512 true 2.809s 1.798s db6 159080448
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-flyvideo.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.823s 1.800s db6 163373056 true 2.733s 1.742s db6 162009088
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-fusionhdtv-mce.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.734s 1.748s db8 164913152 true 2.810s 1.805s db2 160956416
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-gadmei-rm008z.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.789s 1.752s db4 157835264 true 2.865s 1.798s db4 159522816
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-genius-tvgo-a11mce.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.720s 1.736s db8 158810112 true 2.782s 1.781s db6 166268928
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-gotview7135.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.864s 1.808s db8 165732352 true 2.915s 1.796s db1 127135744
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-hauppauge.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.949s 1.874s db6 164036608 true 2.902s 1.848s db3 163282944
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-imon-mce.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.756s 1.780s db8 163868672 true 2.827s 1.797s db6 162689024
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-imon-pad.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.869s 1.817s db2 162217984 true 2.938s 1.845s db3 161091584
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-iodata-bctv7e.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.948s 1.855s db7 157392896 true 2.897s 1.824s db3 159617024
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-it913x-v1.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.782s 1.797s db2 161071104 true 2.903s 1.832s db5 128647168
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-it913x-v2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.810s 1.763s db8 162197504 true 2.924s 1.813s db8 162004992
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-kaiomy.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.897s 1.817s db3 163221504 true 2.871s 1.791s db3 158658560
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-kworld-315u.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.869s 1.801s db4 160665600 true 2.827s 1.764s db6 161746944
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-kworld-pc150u.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.928s 1.839s db6 163078144 true 2.801s 1.756s db5 129888256
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-kworld-plus-tv-analog.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.807s 1.759s db8 157917184 true 2.683s 1.708s cs-sel-05 125702144
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-leadtek-y04g0051.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.844s 1.780s db1 126509056 true 2.827s 1.804s db3 162836480
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-lirc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.720s 1.743s cs-sel-06 128217088 true 2.708s 1.729s db8 158363648
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-lme2510.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.920s 1.818s db1 126812160 true 2.748s 1.747s db5 127434752
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-manli.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.796s 1.765s cs-sel-06 131350528 true 2.910s 1.835s db3 160665600
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-medion-x10.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.828s 1.766s db3 162836480 true 2.901s 1.823s db3 160395264
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-msi-digivox-ii.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.701s 1.722s db2 162537472 true 2.636s 1.712s cs-sel-05 122961920
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-msi-digivox-iii.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.116s 1.878s db3 163250176 true 2.761s 1.746s cs-sel-05 128905216
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-msi-tvanywhere-plus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.919s 1.826s db3 163885056 true 2.642s 1.714s cs-sel-05 127737856
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-msi-tvanywhere.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.862s 1.792s db3 159698944 true 2.903s 1.839s db4 161202176
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-nebula.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.835s 1.769s db5 127614976 true 2.782s 1.754s db5 130617344
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-nec-terratec-cinergy-xs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.793s 1.789s db2 159825920 true 2.653s 1.720s cs-sel-05 128925696
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-norwood.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.788s 1.773s db4 157474816 true 2.847s 1.795s db4 158588928
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-npgtech.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.958s 1.863s db3 164798464 true 2.779s 1.767s db7 162177024
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-pctv-sedna.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.819s 1.822s cs-sel-06 129007616 true 3.049s 1.865s db4 161677312
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-pinnacle-color.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.668s 1.709s db2 162963456 true 2.743s 1.742s db7 155963392
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-pinnacle-grey.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.002s 1.877s db3 160514048 true 3.014s 1.895s db8 159870976
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-pinnacle-pctv-hd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.791s 1.772s db1 127512576 true 2.859s 1.799s db7 156590080
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-pixelview-002t.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.903s 1.815s db8 157884416 true 2.862s 1.804s db3 157794304
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-pixelview-mk12.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.785s 1.742s db5 127602688 true 2.948s 1.819s db4 165355520
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-pixelview-new.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.794s 1.754s db8 158842880 true 2.932s 1.824s db5 130289664
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-pixelview.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.746s 1.735s db5 129155072 true 2.918s 1.850s cs-sel-05 129490944
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-powercolor-real-angel.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.926s 1.830s db2 163217408 true 2.702s 1.731s db5 127229952
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-proteus-2309.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.809s 1.771s db7 160272384 true 2.855s 1.787s db2 161931264
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-purpletv.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.721s 1.733s db5 127713280 true 2.789s 1.754s db3 156532736
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-pv951.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.841s 1.822s cs-sel-05 130093056 true 2.887s 1.828s db2 163864576
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-rc6-mce.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.729s 1.742s db4 162521088 true 2.835s 1.795s db5 129122304
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-real-audio-220-32-keys.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.806s 1.777s db3 159031296 true 2.810s 1.814s db7 154652672
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-snapstream-firefly.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.094s 1.928s db4 169017344 true 2.789s 1.794s db5 127545344
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-streamzap.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.827s 1.785s db5 128819200 true 3.025s 1.863s db6 163098624
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-tbs-nec.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.688s 1.723s db4 162050048 true 2.713s 1.740s db5 128847872
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-technisat-usb2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.829s 1.780s db5 129257472 true 2.789s 1.777s db2 158101504
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-terratec-cinergy-xs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.782s 1.773s db6 161869824 true 2.836s 1.806s db7 158113792
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-terratec-slim-2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.741s 1.740s db8 154992640 true 2.722s 1.738s db1 126103552
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-terratec-slim.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.081s 1.910s db6 168665088 true 2.944s 1.831s db1 128417792
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-tevii-nec.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.898s 1.828s db4 159670272 true 2.746s 1.751s db2 163635200
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-tivo.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.803s 1.773s db4 161964032 true 2.866s 1.806s db5 130744320
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-total-media-in-hand.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.017s 1.872s db8 161370112 true 2.776s 1.755s db5 128647168
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-trekstor.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.864s 1.793s db1 128151552 true 2.711s 1.764s db8 162312192
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-tt-1500.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.690s 1.735s db4 158982144 true 2.859s 1.793s db8 161632256
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-twinhan1027.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.767s 1.772s db7 155361280 true 2.885s 1.807s db8 157741056
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-videomate-m1f.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.069s 1.876s db3 159412224 true 2.699s 1.729s db2 160448512
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-videomate-s350.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.666s 1.730s db2 160686080 true 2.842s 1.787s db7 160468992
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-videomate-tv-pvr.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.882s 1.824s db4 160309248 true 2.787s 1.782s db6 160198656
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-winfast-usbii-deluxe.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.958s 1.841s db1 130150400 true 2.787s 1.787s db8 162955264
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-winfast.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.772s 1.776s db6 163090432 true 2.841s 1.795s db2 166117376
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--video--cx231xx--cx231xx-dvb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 9.792s 5.454s db4 246210560 true 9.865s 5.551s db7 247967744
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--video--cx88--cx88-vp3054-i2c.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.306s 3.131s db1 156381184 true 5.369s 3.197s db4 218222592
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--video--em28xx--em28xx-dvb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 15.071s 8.203s db3 283172864 true 14.941s 8.178s db7 398520320
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--video--gspca--gspca_benq.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.991s 3.045s db1 160276480 true 5.225s 3.154s db2 215724032
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--video--gspca--gspca_finepix.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.111s 3.059s db5 154578944 true 5.182s 3.095s db8 218607616
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--video--gspca--gspca_jl2005bcd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.394s 3.764s cs-sel-06 168611840 true 6.079s 3.567s db8 218370048
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--video--gspca--gspca_pac207.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.338s 3.697s db8 214028288 true 6.501s 3.782s db8 217841664
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--video--gspca--gspca_sq905c.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.061s 3.068s db5 159232000 true 5.047s 3.020s db5 153563136
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--video--gspca--gspca_stv0680.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 8.610s 4.953s db7 219791360 true 8.850s 5.160s db4 218136576
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--video--zoran--zr36016.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.574s 4.444s db6 215035904 true 7.361s 4.303s db8 218275840
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--message--i2o--i2o_bus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.724s 2.337s db2 205979648 true 3.804s 2.362s db8 212254720
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--message--i2o--i2o_scsi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.223s 4.217s db2 225918976 true 7.253s 4.177s db5 181321728
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mfd--janz-cmodio.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.324s 2.718s db6 208228352 true 4.488s 2.811s db8 213065728
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mfd--rdc321x-southbridge.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.812s 2.371s db7 206684160 true 3.444s 2.240s db2 201277440
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mfd--tps6105x.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.644s 3.378s db8 210464768 true 5.711s 3.418s cs-sel-05 151191552
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mfd--tps6507x.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.838s 2.462s cs-sel-05 153731072 true 4.144s 2.543s db4 210608128
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mfd--tps65217.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.248s 2.651s db8 209530880 true 4.285s 2.705s db4 208928768
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mfd--ucb1400_core.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.345s 2.644s db3 205025280 true 4.551s 2.773s db8 209129472
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mfd--wl1273-core.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.647s 2.888s db7 209121280 true 4.319s 2.739s cs-sel-05 151289856
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mfd--wm8400-core.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.969s 3.591s db2 208871424 true 4.627s 2.937s cs-sel-05 151826432
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--misc--apds9802als.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.830s 2.938s db8 208355328 true 4.858s 2.942s db7 208879616
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--misc--bmp085.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.151s 3.134s db7 204050432 true 4.787s 2.965s db6 206057472
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--misc--c2port--c2port-duramar2150.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.201s 2.057s db4 167837696 true 3.396s 2.113s db3 170811392
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--misc--eeprom--eeprom_93xx46.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.734s 2.959s db7 204443648 true 4.520s 2.826s cs-sel-06 150417408
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--misc--isl29020.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.002s 2.499s db1 152109056 true 4.189s 2.623s db8 206024704
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--misc--sgi-xp--xp.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.913s 3.516s db4 213008384 true 4.960s 3.017s db7 211460096
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--misc--ti_dac7512.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.617s 2.310s db8 209858560 true 3.784s 2.384s db2 211935232
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--misc--tifm_core.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.434s 3.282s db8 207577088 true 5.748s 3.439s db8 207597568
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--misc--vmw_balloon.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.762s 4.412s db6 247734272 true 7.361s 4.216s db8 220770304
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mmc--host--sdricoh_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.444s 4.286s db4 224358400 true 7.096s 4.088s db2 220176384
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mtd--ar7part.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.990s 2.509s db7 205467648 true 3.854s 2.423s db6 209555456
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mtd--devices--doc2001plus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.612s 3.295s db4 212860928 true 5.714s 3.378s db7 214167552
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mtd--devices--docprobe.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 8.749s 5.067s db8 232316928 true 7.215s 4.180s db3 237600768
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mtd--devices--mtdram.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.130s 2.548s db7 206000128 true 4.452s 2.727s db2 221904896
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mtd--devices--phram.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.267s 3.218s db8 213712896 true 4.746s 2.910s db5 157245440
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mtd--devices--slram.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 12.667s 7.007s db7 301867008 true 6.091s 3.574s db3 223371264
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mtd--ftl.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 9.808s 5.506s db8 229036032 true 9.583s 5.418s db8 257044480
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mtd--inftl.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 14.772s 8.159s db8 274239488 true 15.082s 8.221s db3 274878464
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mtd--maps--intel_vr_nor.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.063s 3.107s db2 210681856 true 4.990s 3.060s db4 211763200
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mtd--maps--netsc520.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.666s 2.302s db6 211648512 true 3.411s 2.171s db6 207265792
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mtd--maps--nettel.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.312s 2.663s db7 206503936 true 4.012s 2.539s cs-sel-06 146857984
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mtd--maps--sbc_gxx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.757s 2.934s db7 209829888 true 4.448s 2.742s db3 205897728
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mtd--maps--ts5500_flash.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.849s 2.418s db7 209182720 true 3.291s 2.119s db3 206888960
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mtd--mtdblock_ro.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.586s 2.232s db3 182673408 true 3.638s 2.264s db3 178049024
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mtd--mtdoops.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.010s 4.002s db4 219688960 true 6.361s 3.739s db6 217415680
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mtd--nftl.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 13.352s 7.389s db5 260026368 true 13.645s 7.493s db3 273207296
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mtd--onenand--onenand_sim.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.542s 3.345s db5 165904384 true 6.145s 3.640s db7 216662016
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mtd--tests--mtd_oobtest.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 9.782s 5.485s db4 250650624 true 9.308s 5.279s db6 240836608
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mtd--tests--mtd_pagetest.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.111s 4.180s db6 223514624 true 6.945s 4.095s db2 223981568
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mtd--tests--mtd_subpagetest.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.143s 4.142s db4 221945856 true 7.113s 4.154s db3 221675520
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mtd--ubi--gluebi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.445s 3.256s db5 156188672 true 5.546s 3.306s db4 214822912
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--arcnet--arc-rawmode.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 11.030s 6.256s db5 294719488 true 5.318s 3.182s db5 160325632
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--arcnet--com20020_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.324s 3.714s cs-sel-05 164933632 true 6.494s 3.801s db1 164569088
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--arcnet--rfc1051.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.276s 3.686s db3 218312704 true 5.661s 3.390s db2 215224320
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--arcnet--rfc1201.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 9.085s 5.143s db3 256307200 true 7.964s 4.606s cs-sel-05 201936896
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--irda--act200l-sir.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.351s 3.154s db4 218566656 true 5.146s 3.104s db2 211333120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--irda--esi-sir.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.021s 3.005s db2 215289856 true 5.077s 3.008s db2 215535616
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--irda--girbil-sir.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.130s 3.098s db4 220160000 true 5.102s 3.071s db6 213606400
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--irda--litelink-sir.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.950s 2.977s db1 156798976 true 5.015s 2.985s db5 157417472
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--irda--ma600-sir.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.268s 3.154s db5 155582464 true 5.200s 3.123s db4 214048768
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--irda--mcp2120-sir.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.234s 3.110s db8 219205632 true 5.443s 3.197s db4 215629824
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--irda--old_belkin-sir.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.104s 3.033s db4 215621632 true 5.103s 3.035s db2 214720512
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--irda--tekram-sir.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.277s 3.150s db3 213381120 true 5.083s 3.015s cs-sel-05 155635712
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--phy--amd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.396s 2.671s db8 208064512 true 4.037s 2.501s db5 147943424
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--phy--broadcom.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 14.010s 7.766s db4 259325952 true 14.528s 8.009s db2 275554304
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--phy--cicada.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.824s 2.888s db2 221597696 true 4.899s 2.908s db2 216129536
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--phy--davicom.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.429s 3.218s db4 220741632 true 5.195s 3.069s db3 214716416
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--phy--et1011c.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.031s 3.020s db2 215924736 true 5.440s 3.192s db7 220708864
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--phy--icplus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.788s 2.857s cs-sel-05 157634560 true 4.979s 2.954s db5 157028352
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--phy--lxt.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.183s 3.119s db8 216948736 true 4.983s 2.984s cs-sel-05 162013184
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--phy--marvell.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.721s 3.371s db1 165928960 true 5.519s 3.290s db6 218923008
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--phy--micrel.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.867s 3.006s db1 150900736 true 4.927s 3.016s db1 150212608
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--phy--national.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.314s 3.184s db5 155250688 true 5.394s 3.247s db8 219824128
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--phy--qsemi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.151s 3.022s db2 217047040 true 4.832s 2.875s cs-sel-05 163094528
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--phy--realtek.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.953s 2.462s db2 209182720 true 3.880s 2.425s cs-sel-05 147738624
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--phy--smsc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.545s 3.286s db5 154271744 true 5.652s 3.362s cs-sel-05 159682560
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--phy--spi_ks8995.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.521s 3.824s db3 218738688 true 6.458s 3.773s db3 218800128
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--phy--ste10Xp.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.117s 3.072s db6 214470656 true 5.436s 3.183s db3 211640320
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--phy--vitesse.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.836s 2.395s cs-sel-05 147275776 true 4.165s 2.558s db8 206893056
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--ppp--bsd_comp.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.169s 4.174s db7 220315648 true 6.927s 4.039s db5 154107904
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--ppp--ppp_mppe.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 11.808s 6.614s db8 250822656 true 11.675s 6.552s db8 247119872
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--sungem_phy.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 11.557s 6.566s db4 255090688 true 11.124s 6.429s db7 254222336
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--team--team_mode_activebackup.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.060s 3.012s db4 215900160 true 4.953s 2.976s db6 216555520
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--team--team_mode_roundrobin.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.329s 3.157s db8 214990848 true 5.054s 3.063s cs-sel-05 159338496
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--tokenring--abyss.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 9.981s 5.663s db8 244858880 true 9.765s 5.544s db4 244752384
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--usb--cdc_subset.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.738s 2.900s db6 215080960 true 4.884s 2.943s db8 215986176
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--usb--plusb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.994s 2.973s db4 214306816 true 4.948s 2.944s cs-sel-06 162209792
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--wireless--airo_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.505s 3.265s db5 153690112 true 5.332s 3.164s db4 216952832
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--wireless--ath--ath6kl--ath6kl_usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.074s 4.071s db2 216772608 true 6.439s 3.773s db6 221208576
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--wireless--mwifiex--mwifiex_pcie.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 15.891s 8.637s db6 324468736 true 15.636s 8.638s db2 325332992
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--wireless--orinoco--orinoco_nortel.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.156s 3.584s db8 214323200 true 5.670s 3.394s cs-sel-06 153292800
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--wireless--orinoco--orinoco_pci.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.825s 3.394s db8 212451328 true 5.464s 3.208s db1 156377088
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--wireless--orinoco--orinoco_tmd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.335s 3.177s db6 213872640 true 5.555s 3.275s db7 213463040
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--wireless--wl1251--wl1251_spi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.943s 3.490s cs-sel-05 160784384 true 6.210s 3.639s db6 216305664
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--wireless--wl12xx--wl12xx_sdio.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.633s 3.896s cs-sel-05 168574976 true 6.684s 3.873s cs-sel-05 177434624
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--parport--parport_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.246s 3.154s db3 214736896 true 5.241s 3.153s db2 214847488
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--pci--hotplug--cpcihp_generic.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.083s 4.115s db3 238505984 true 7.890s 4.515s db6 249974784
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--pci--ioapic.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.340s 2.678s db7 206598144 true 4.365s 2.685s db2 212287488
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--pci--pci-stub.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.236s 2.668s db8 208662528 true 4.188s 2.640s db2 207417344
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--platform--x86--asus-nb-wmi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.024s 2.521s db6 204726272 true 3.871s 2.424s db4 203603968
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--platform--x86--dell-wmi-aio.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.583s 2.847s db6 209518592 true 4.453s 2.739s db5 152145920
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--platform--x86--intel_menlow.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.414s 3.705s db6 221310976 true 5.914s 3.490s db2 219521024
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--platform--x86--mxm-wmi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.980s 2.459s db2 208293888 true 3.666s 2.293s db4 205430784
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--platform--x86--panasonic-laptop.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.637s 3.844s db3 222212096 true 6.061s 3.598s cs-sel-05 165040128
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--platform--x86--topstar-laptop.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.046s 3.103s cs-sel-06 152297472 true 4.682s 2.879s db3 207364096
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--platform--x86--toshiba_bluetooth.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.852s 2.982s cs-sel-06 150536192 true 4.137s 2.603s db2 210284544
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--platform--x86--xo15-ebook.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.753s 2.925s db8 207667200 true 4.720s 2.915s db6 205697024
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--power--max8903_charger.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.625s 3.360s db1 156917760 true 5.569s 3.367s db3 215941120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--power--test_power.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.544s 3.440s db2 214425600 true 4.876s 3.006s db2 217190400
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--power--wm831x_backup.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.906s 2.478s db1 147980288 true 3.934s 2.471s db2 212779008
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--power--wm831x_power.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.470s 3.307s cs-sel-06 157102080 true 5.829s 3.507s db8 210792448
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--pps--clients--pps-ktimer.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.417s 2.136s db4 178622464 true 3.240s 2.070s db8 179351552
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--pps--clients--pps-ldisc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.386s 2.662s db3 209092608 true 4.276s 2.628s db7 205635584
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--regulator--gpio-regulator.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.733s 3.432s db8 213540864 true 5.296s 3.239s cs-sel-05 152485888
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--regulator--max1586.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.823s 2.953s db8 210030592 true 4.582s 2.851s db5 150740992
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--regulator--max8649.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.873s 3.009s db7 207208448 true 4.940s 3.028s db3 206147584
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--regulator--userspace-consumer.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.579s 2.292s cs-sel-05 128294912 true 4.048s 2.522s db8 205938688
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--regulator--virtual.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.312s 2.642s db2 209866752 true 4.513s 2.724s db6 214953984
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--regulator--wm831x-dcdc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 9.377s 5.321s db4 245542912 true 8.398s 4.838s db4 216481792
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--regulator--wm831x-isink.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.506s 3.299s db8 217501696 true 4.706s 2.920s db2 207687680
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--regulator--wm831x-ldo.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.597s 4.490s db6 215994368 true 7.186s 4.224s db4 216985600
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--regulator--wm8400-regulator.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.974s 3.002s db3 212480000 true 4.690s 2.884s cs-sel-06 150462464
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-da9052.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.862s 3.000s db3 206888960 true 4.925s 3.055s db3 209993728
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-ds1390.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.294s 3.101s db8 221556736 true 5.360s 3.183s db3 218329088
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-ds1553.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.179s 3.571s db5 159772672 true 6.559s 3.796s db6 217309184
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-ds3232.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.349s 3.788s db8 218918912 true 6.376s 3.770s db7 218136576
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-ds3234.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.214s 3.155s db8 212164608 true 5.185s 3.148s db6 212193280
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-m41t93.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.703s 3.412s db4 220655616 true 5.413s 3.275s cs-sel-05 160051200
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-m41t94.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.366s 3.222s db4 218443776 true 5.394s 3.213s cs-sel-06 163291136
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-m48t86.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.496s 2.786s db4 202625024 true 4.380s 2.743s db3 206192640
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-max6902.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.866s 2.976s db8 208015360 true 4.782s 2.951s db6 213274624
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-mc13xxx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.436s 3.334s db6 207659008 true 5.497s 3.329s db7 210436096
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-pcap.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.241s 2.662s db3 203931648 true 4.400s 2.762s db8 204996608
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-pcf2123.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.348s 3.741s db1 163442688 true 6.330s 3.724s cs-sel-05 162189312
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-r9701.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.742s 3.928s db2 215031808 true 6.488s 3.776s db4 217174016
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-rs5c348.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.594s 3.379s db6 210276352 true 5.188s 3.147s cs-sel-05 164306944
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-stk17ta8.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.457s 3.669s db5 163024896 true 6.659s 3.814s db3 216838144
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-test.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.956s 2.527s db7 209993728 true 4.099s 2.546s db4 204750848
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-v3020.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.318s 4.198s db8 217788416 true 7.041s 4.111s db7 219033600
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-wm831x.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.116s 3.155s db4 208359424 true 4.780s 2.968s cs-sel-05 153841664
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--scsi--dmx3191d.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 9.030s 5.061s db4 255549440 true 9.163s 5.147s db6 255561728
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--scsi--iscsi_boot_sysfs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.635s 2.868s db4 206557184 true 4.621s 2.875s db3 209424384
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--scsi--pcmcia--sym53c500_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 8.201s 4.785s db8 226545664 true 7.977s 4.645s db8 223694848
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--scsi--qlogicfas408.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 8.575s 4.914s db8 250626048 true 7.706s 4.466s db7 225824768
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--scsi--scsi_wait_scan.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.772s 1.736s db5 127516672 true 2.712s 1.722s db4 155312128
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--spi--spi-tle62x0.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.563s 2.841s db3 214130688 true 4.499s 2.791s cs-sel-05 150679552
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--staging--android--switch--switch_class.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.919s 2.505s db7 209436672 true 3.893s 2.447s db3 202981376
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--staging--android--switch--switch_gpio.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.817s 2.424s db8 204754944 true 3.557s 2.262s db1 129019904
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--staging--comedi--drivers--8255.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.734s 2.931s db6 209674240 true 4.853s 2.958s db6 209330176
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--staging--comedi--drivers--adl_pci7230.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.471s 2.773s db7 213094400 true 4.282s 2.678s cs-sel-06 154464256
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--staging--comedi--drivers--adl_pci7296.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.394s 2.778s db4 207609856 true 4.515s 2.814s db7 207196160
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--staging--comedi--drivers--adl_pci7432.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.345s 2.729s db3 206225408 true 4.551s 2.803s db8 212643840
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--staging--comedi--drivers--adl_pci8164.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.098s 3.064s db7 213573632 true 4.851s 2.989s db3 207568896
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--staging--comedi--drivers--comedi_bond.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.144s 3.145s db7 213274624 true 5.350s 3.283s db8 212840448
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--staging--comedi--drivers--comedi_parport.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.807s 2.946s db2 209371136 true 4.656s 2.909s cs-sel-05 153870336
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--staging--comedi--drivers--unioxx5.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.070s 3.043s db4 206372864 true 5.144s 3.066s db8 212021248
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--staging--iio--addac--adt7316-i2c.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.224s 2.607s db8 207376384 true 3.925s 2.458s db5 145051648
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--staging--iio--addac--adt7316-spi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.614s 2.886s cs-sel-06 150032384 true 4.698s 2.955s db7 208023552
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--staging--iio--dds--ad5930.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.980s 2.488s db4 204402688 true 4.300s 2.637s db7 212537344
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--staging--iio--dds--ad9832.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.277s 3.666s cs-sel-06 156102656 true 6.405s 3.807s db2 214618112
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--staging--iio--dds--ad9850.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.044s 2.503s db7 211197952 true 3.949s 2.450s db7 208216064
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--staging--iio--dds--ad9852.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.570s 2.804s db7 208412672 true 4.598s 2.880s db7 205213696
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--staging--iio--dds--ad9910.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.067s 3.095s db7 210493440 true 4.873s 2.994s db6 212021248
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--staging--iio--dds--ad9951.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.683s 2.882s db6 207757312 true 4.708s 2.855s db8 212742144
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--staging--iio--iio_dummy_evgen.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.277s 3.233s db4 210182144 true 4.554s 2.790s db2 221847552
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--staging--iio--kfifo_buf.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.524s 2.202s db5 143478784 true 3.641s 2.253s cs-sel-05 134115328
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--staging--iio--meter--ade7854-i2c.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.401s 2.739s db2 209821696 true 4.597s 2.820s db3 209350656
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--staging--iio--resolver--ad2s90.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.923s 2.501s db8 205975552 true 4.077s 2.544s db5 150409216
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--staging--iio--ring_sw.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.735s 2.849s db8 215502848 true 4.680s 2.779s db5 158171136
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--staging--media--cxd2099--cxd2099.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 8.777s 5.059s db8 220356608 true 8.808s 5.026s db3 215560192
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--staging--phison--phison.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.794s 2.884s db4 219557888 true 4.965s 2.965s db6 216961024
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--staging--serqt_usb2--serqt_usb2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 10.860s 6.133s db8 249462784 true 11.106s 6.170s db2 246050816
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--staging--speakup--speakup_acntsa.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.442s 2.157s db4 172105728 true 3.288s 2.079s db7 172122112
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--staging--speakup--speakup_bns.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.114s 1.964s cs-sel-06 130473984 true 3.043s 1.933s db8 168669184
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--staging--speakup--speakup_dummy.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.141s 2.000s db2 170811392 true 3.162s 1.986s cs-sel-06 128946176
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--staging--speakup--speakup_ltlk.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.574s 2.249s db6 176119808 true 3.543s 2.221s db6 181456896
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--staging--speakup--speakup_soft.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.802s 3.430s db6 219926528 true 5.840s 3.481s db8 216666112
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--staging--speakup--speakup_spkout.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.226s 2.031s db3 171474944 true 3.353s 2.041s db1 132100096
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--staging--speakup--speakup_txprt.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.281s 2.044s db2 169054208 true 3.217s 2.045s db7 171945984
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--staging--telephony--ixj_pcmcia.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.465s 3.233s db5 159395840 true 5.732s 3.409s db8 218550272
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--staging--vme--boards--vme_vmivme7805.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.105s 2.550s db4 209108992 true 3.986s 2.483s db7 208605184
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--staging--zram--zram.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 8.783s 4.987s cs-sel-05 233910272 true 7.447s 4.301s db8 222121984
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--staging--zram--zram.ko-ldv_main1_sequence_infinite_withcheck_stateful.cil.out.c true 6.146s 3.596s db3 212647936 true 6.474s 3.723s db8 217550848
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--target--loopback--tcm_loop.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 10.493s 5.897s db4 256356352 true 11.000s 6.111s db8 268845056
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--tty--serial--altera_jtaguart.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.789s 3.415s db4 219525120 true 5.956s 3.497s db1 164593664
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--tty--serial--altera_uart.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.608s 3.912s db4 215834624 true 6.802s 3.976s db1 160907264
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--tty--serial--mfd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 21.501s 11.683s db3 470634496 true 14.156s 7.800s cs-sel-06 270004224
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--tty--serial--uartlite.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.574s 3.854s cs-sel-06 164278272 true 6.715s 3.915s cs-sel-05 165617664
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--tty--serial--xilinx_uartps.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.978s 4.070s cs-sel-06 162369536 true 6.982s 4.050s cs-sel-06 160641024
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--uio--uio_aec.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.523s 2.787s db3 204525568 true 4.817s 2.936s db8 208416768
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--uio--uio_pci_generic.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.993s 2.514s cs-sel-05 147738624 true 4.066s 2.572s db6 206499840
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--uio--uio_sercos3.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.696s 3.460s db6 210124800 true 5.531s 3.384s db7 210903040
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--usb--atm--xusbatm.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.776s 4.366s db5 201682944 true 7.339s 4.198s db2 224595968
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--usb--dwc3--dwc3-pci.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.185s 2.598s db2 206110720 true 4.293s 2.688s db7 205336576
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--usb--misc--cypress_cy7c63.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.902s 2.960s db1 159870976 true 5.027s 3.063s db4 216481792
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--usb--misc--cytherm.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.477s 3.244s db5 156041216 true 5.639s 3.367s db2 214720512
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--usb--misc--trancevibrator.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.285s 2.677s db6 207540224 true 4.483s 2.753s db4 204066816
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--usb--otg--ab8500-usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.984s 3.608s db4 214859776 true 6.159s 3.692s db4 213401600
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--usb--otg--nop-usb-xceiv.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.895s 2.515s db6 208883712 true 3.942s 2.516s db8 207601664
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--usb--serial--cp210x.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 13.057s 7.293s cs-sel-06 265998336 true 10.836s 6.129s db3 246263808
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--usb--serial--empeg.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.363s 2.683s cs-sel-05 147259392 true 4.550s 2.733s db5 158425088
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--usb--serial--funsoft.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.142s 2.544s db6 210067456 true 4.155s 2.562s db7 207511552
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--usb--serial--hp4x.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.099s 2.505s db4 206041088 true 4.058s 2.462s db4 211030016
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--usb--serial--ipaq.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 8.253s 4.582s db8 221192192 true 8.166s 4.534s db4 217960448
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--usb--serial--ipw.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.218s 3.147s cs-sel-06 161828864 true 5.727s 3.399s db4 223277056
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--usb--serial--ir-usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.700s 3.960s db6 217616384 true 6.582s 3.868s db2 216752128
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--usb--serial--iuu_phoenix.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 13.443s 7.470s db4 256974848 true 12.951s 7.255s db4 256016384
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--usb--serial--metro-usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.531s 4.348s db3 220536832 true 7.099s 4.118s cs-sel-05 173371392
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--usb--serial--mos7840.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 20.958s 11.195s cs-sel-06 295723008 true 19.805s 10.705s db3 415301632
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--usb--serial--moto_modem.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.032s 2.490s db4 206639104 true 4.106s 2.512s db8 204890112
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--usb--serial--qcaux.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.820s 2.405s cs-sel-05 151789568 true 4.182s 2.559s db6 208572416
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--usb--serial--siemens_mpi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.075s 2.504s db6 207454208 true 4.042s 2.474s db5 152670208
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--usb--serial--spcp8x5.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 8.356s 4.809s db6 218271744 true 8.659s 4.933s db6 221970432
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--usb--serial--ssu100.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 8.528s 4.997s db7 239136768 true 8.643s 5.071s db4 239116288
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--usb--serial--usb_debug.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.134s 2.571s cs-sel-05 150163456 true 4.132s 2.548s db3 211464192
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--usb--serial--vivopay-serial.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.080s 2.489s db4 203825152 true 4.279s 2.590s db1 148246528
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--usb--serial--zio.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.268s 2.578s db5 149200896 true 4.113s 2.534s db2 206655488
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--usb--storage--ums-alauda.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 8.359s 4.636s db1 194863104 true 8.305s 4.659s db3 224477184
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--usb--storage--ums-cypress.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.184s 3.058s db4 225406976 true 5.159s 3.046s db2 220229632
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--usb--storage--ums-datafab.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.675s 3.321s db1 161112064 true 5.533s 3.301s cs-sel-05 162533376
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--usb--storage--ums-freecom.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.339s 3.165s cs-sel-06 165367808 true 5.223s 3.086s db4 214839296
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--usb--storage--ums-jumpshot.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.862s 3.412s db8 217894912 true 5.972s 3.496s db3 222806016
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--usb--storage--ums-sddr09.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.379s 4.166s cs-sel-05 185253888 true 7.565s 4.322s db6 219561984
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--usb--storage--ums-sddr55.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.219s 3.605s db8 226066432 true 5.966s 3.523s db5 167239680
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--usb--storage--ums-usbat.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.788s 3.905s db8 221523968 true 6.542s 3.790s db6 219922432
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--uwb--i1480--i1480-est.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.217s 2.617s db2 209207296 true 4.270s 2.613s db3 209960960
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--video--backlight--ili9320.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.491s 3.253s db6 212119552 true 5.765s 3.334s db5 160366592
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--video--backlight--l4f00242t03.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.581s 4.438s db5 184000512 true 7.855s 4.520s db8 221896704
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--video--backlight--lcd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.730s 2.852s db4 213164032 true 4.678s 2.841s cs-sel-05 154595328
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--video--backlight--lms283gf05.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.304s 3.250s cs-sel-05 149704704 true 5.617s 3.354s cs-sel-05 160808960
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--video--backlight--ltv350qv.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 16.659s 9.142s db5 276078592 true 14.935s 8.359s cs-sel-05 267538432
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--video--backlight--tdo24m.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.621s 4.455s db7 218542080 true 7.863s 4.556s db4 222744576
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--video--backlight--vgg2432a4.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.979s 2.972s db1 155545600 true 5.086s 2.974s db4 214425600
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--video--matrox--i2c-matroxfb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.646s 3.380s db6 217104384 true 5.460s 3.271s cs-sel-05 165412864
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--video--n411.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.985s 3.026s db4 218615808 true 4.949s 3.022s db2 213409792
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--video--vfb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.468s 3.824s db3 217780224 true 6.378s 3.768s db3 222273536
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--w1--masters--ds2490.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 8.017s 4.554s db4 241614848 true 5.706s 3.414s db2 217968640
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--w1--masters--matrox_w1.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.217s 2.677s db8 207630336 true 4.257s 2.662s db3 208805888
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--w1--masters--w1-gpio.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.464s 2.180s cs-sel-06 131637248 true 3.611s 2.257s db4 181284864
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--w1--slaves--w1_bq27000.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.508s 2.170s db5 127119360 true 3.655s 2.292s db6 175550464
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--w1--slaves--w1_ds2408.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.344s 2.680s db7 203169792 true 4.292s 2.649s db7 205541376
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--w1--slaves--w1_ds2423.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.361s 2.100s cs-sel-05 129404928 true 3.478s 2.159s db1 128950272
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--w1--slaves--w1_ds2431.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.536s 2.803s cs-sel-05 152780800 true 4.893s 3.031s db6 208687104
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--w1--slaves--w1_ds2433.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.918s 2.994s db2 216657920 true 4.850s 2.986s db3 206331904
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--w1--slaves--w1_ds2760.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.072s 2.513s db4 210153472 true 4.045s 2.505s db5 146571264
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--w1--slaves--w1_ds2780.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.046s 2.535s db4 209076224 true 4.064s 2.561s db8 208592896
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--w1--slaves--w1_ds2781.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.947s 2.465s cs-sel-05 147623936 true 3.748s 2.379s db5 152436736
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--w1--slaves--w1_smem.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.268s 2.027s db2 168239104 true 3.120s 1.954s cs-sel-05 129466368
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--watchdog--cpu5wdt.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.557s 3.821s db4 216506368 true 5.716s 3.397s db2 215121920
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--watchdog--iTCO_vendor_support.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.210s 2.007s cs-sel-05 127864832 true 3.317s 2.079s db8 167751680
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--watchdog--sbc_epx_c3.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.451s 2.800s db3 206852096 true 4.200s 2.682s db2 205185024
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--watchdog--softdog.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.701s 2.318s db5 132083712 true 3.866s 2.410s db3 180711424
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--watchdog--wm831x_wdt.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.219s 2.664s db4 208158720 true 4.422s 2.777s db3 211726336
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--xen--xenfs--xenfs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.501s 2.789s db3 210784256 true 3.754s 2.427s cs-sel-06 150425600
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--xen--xenfs--xenfs.ko-ldv_main1_sequence_infinite_withcheck_stateful.cil.out.c true 3.958s 2.515s cs-sel-05 146665472 true 3.932s 2.519s cs-sel-05 151683072
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--acpi--apei--einj.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.229s 3.113s db3 213798912 true 5.199s 3.129s db6 213295104
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--acpi--bgrt.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.025s 2.493s db4 204201984 true 3.875s 2.420s db1 150528000
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--acpi--container.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.635s 2.802s cs-sel-06 150392832 true 4.338s 2.639s db5 148430848
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--acpi--ec_sys.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.526s 2.282s cs-sel-05 127553536 true 3.713s 2.377s db2 205381632
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--acpi--fan.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.219s 2.631s db7 207147008 true 4.086s 2.556s cs-sel-05 149409792
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--ata--pata_marvell.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.470s 2.723s db4 215535616 true 4.542s 2.761s db3 218415104
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--ata--pata_netcell.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.416s 2.647s db1 160903168 true 4.143s 2.586s db6 217116672
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--ata--pata_opti.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.693s 2.866s cs-sel-06 161628160 true 5.007s 3.001s db3 215011328
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--atm--adummy.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.507s 3.156s db7 214052864 true 5.592s 3.256s db4 211329024
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--auxdisplay--cfag12864b.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.629s 2.833s db7 208973824 true 4.346s 2.693s db8 213680128
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--auxdisplay--cfag12864bfb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.804s 2.393s db1 146378752 true 3.756s 2.361s cs-sel-06 146292736
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--auxdisplay--ks0108.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.088s 1.907s db3 162861056 true 3.185s 1.964s db7 161841152
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--char--hw_random--virtio-rng.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.366s 2.113s cs-sel-05 131194880 true 3.331s 2.106s db2 173674496
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--char--ramoops.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.634s 2.299s cs-sel-05 128028672 true 3.623s 2.285s db7 173989888
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--char--tpm--tpm_nsc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.705s 3.476s db7 214777856 true 5.840s 3.497s db6 215339008
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--char--uv_mmtimer.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.796s 2.406s db2 205307904 true 3.779s 2.393s cs-sel-06 154214400
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--clocksource--cs5535-clockevt.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.095s 1.973s db7 163151872 true 3.032s 1.940s db2 166268928
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--cpufreq--cpufreq_powersave.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.996s 1.906s db3 160972800 true 2.929s 1.814s cs-sel-05 128053248
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--cpufreq--pcc-cpufreq.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.424s 3.282s db8 215113728 true 5.299s 3.242s db6 217661440
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--edac--mce_amd_inj.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.382s 2.105s db8 167878656 true 3.399s 2.113s db7 171552768
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--firmware--edd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.721s 2.378s db6 198762496 true 3.904s 2.451s db4 203493376
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--firmware--google--gsmi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 9.365s 5.275s cs-sel-06 243118080 true 9.018s 5.157s cs-sel-05 232349696
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--firmware--google--memconsole.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.363s 2.202s db2 174911488 true 3.240s 2.107s db2 178823168
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--gpio--gpio-74x164.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.469s 2.729s cs-sel-05 154947584 true 4.757s 2.879s db3 207081472
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--gpio--gpio-max7301.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.086s 2.537s db1 146386944 true 4.215s 2.611s db3 207446016
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--gpio--gpio-mc33880.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.543s 2.772s db2 209338368 true 4.926s 2.989s db8 212856832
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--gpio--gpio-tps65912.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.811s 2.398s cs-sel-05 147435520 true 3.992s 2.486s db2 214990848
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--gpio--gpio-wm831x.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.168s 2.626s cs-sel-05 148422656 true 4.458s 2.781s db6 214306816
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--gpu--drm--drm_usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.335s 2.598s db4 214306816 true 4.415s 2.663s db4 215470080
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--gpu--drm--i2c--sil164.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.479s 4.269s db8 221102080 true 7.578s 4.312s db7 221818880
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--gpu--drm--tdfx--tdfx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.025s 2.453s cs-sel-06 153034752 true 4.054s 2.458s db3 215031808
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--gpu--stub--poulsbo.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.415s 2.149s db1 127746048 true 3.705s 2.309s db4 208437248
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--hid--hid-cherry.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.636s 2.336s db3 205860864 true 3.754s 2.401s db8 206761984
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--hid--hid-chicony.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.600s 2.836s db2 213491712 true 4.655s 2.878s db4 205303808
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--hid--hid-elecom.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.261s 2.059s db4 176517120 true 3.455s 2.143s db3 170590208
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--hid--hid-ezkey.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.711s 2.353s db8 204505088 true 3.626s 2.291s db4 207237120
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--hid--hid-gyration.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.268s 2.686s db2 204488704 true 4.100s 2.608s db5 145051648
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--hid--hid-kensington.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.598s 2.290s db2 205139968 true 3.315s 2.122s db5 127569920
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--hid--hid-keytouch.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.316s 2.133s db6 181911552 true 3.323s 2.106s cs-sel-06 131731456
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--hid--hid-lcpower.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.035s 2.533s db3 203792384 true 3.905s 2.494s db6 205176832
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--hid--hid-monterey.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.674s 2.342s cs-sel-06 129433600 true 3.785s 2.410s db3 203399168
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--hid--hid-ortek.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.417s 2.162s cs-sel-06 129904640 true 3.452s 2.166s db8 179503104
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--hid--hid-petalynx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.246s 2.673s db8 206082048 true 4.294s 2.667s db8 209129472
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--hid--hid-primax.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.596s 2.311s db6 206581760 true 3.486s 2.257s cs-sel-06 130002944
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--hid--hid-saitek.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.524s 2.193s cs-sel-06 132075520 true 3.443s 2.170s db1 130142208
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--hid--hid-samsung.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.909s 3.019s db4 206663680 true 5.075s 3.154s db6 207519744
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--hid--hid-speedlink.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.412s 2.165s cs-sel-06 129114112 true 3.592s 2.272s cs-sel-06 132370432
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--hid--hid-sunplus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.796s 2.390s db8 182927360 true 3.539s 2.256s db5 133562368
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--hid--hid-tivo.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.832s 2.446s db6 204599296 true 3.602s 2.321s cs-sel-06 128753664
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--hid--hid-topseed.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.768s 2.975s db7 205639680 true 4.830s 3.011s db8 207921152
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--hid--hid-twinhan.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.535s 3.404s db6 206241792 true 5.454s 3.334s db3 206139392
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--hid--hid-uclogic.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.726s 2.341s db6 209567744 true 3.673s 2.314s db2 206725120
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--hid--hid-wacom.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 9.571s 5.452s cs-sel-06 233553920 true 9.196s 5.287s db4 243113984
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--hid--hid-waltop.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.210s 3.187s db6 209661952 true 5.053s 3.107s db7 203710464
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--hid--hid-zydacron.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.490s 3.888s db3 210980864 true 6.040s 3.680s db2 215064576
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--hwmon--ads7871.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.377s 3.766s db6 223821824 true 6.229s 3.704s db6 227483648
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--hwmon--asus_atk0110.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 18.074s 10.121s db3 315273216 true 11.568s 6.654s db8 251305984
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--hwmon--emc1403.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.945s 3.032s db6 212000768 true 4.379s 2.708s cs-sel-05 152281088
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--hwmon--f71805f.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 11.349s 6.364s db7 384270336 true 11.228s 6.318s db6 380440576
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--hwmon--gpio-fan.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.542s 3.291s db3 208502784 true 5.216s 3.108s db3 207278080
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--hwmon--max1111.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.082s 2.522s db3 204845056 true 4.250s 2.634s db2 207572992
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--hwmon--pcf8591.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.967s 2.991s db6 208896000 true 4.683s 2.856s db7 213794816
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--hwmon--pmbus--max16064.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.312s 2.073s cs-sel-06 130109440 true 3.244s 2.118s db6 177025024
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--hwmon--pmbus--max8688.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.538s 2.243s db8 178487296 true 3.347s 2.182s db2 205926400
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--hwmon--smsc47b397.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.380s 4.233s db7 233955328 true 7.205s 4.105s db2 223379456
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--i2c--algos--i2c-algo-pca.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.694s 2.937s db1 148697088 true 4.768s 3.000s db3 209219584
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--i2c--busses--i2c-diolan-u2c.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 9.367s 5.392s db8 249729024 true 7.754s 4.506s cs-sel-05 180027392
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--i2c--busses--i2c-stub.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.427s 3.342s db7 215224320 true 4.732s 2.985s db6 206237696
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--i2c--busses--i2c-tiny-usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.060s 3.582s cs-sel-05 163028992 true 5.531s 3.311s db4 216952832
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--i2c--i2c-smbus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.246s 3.114s db8 209461248 true 4.540s 2.768s db3 206659584
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--ide--ide-pnp.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.361s 2.669s db8 219832320 true 4.457s 2.658s db5 152596480
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--input--gameport--lightning.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 14.163s 7.934s db2 421855232 true 5.422s 3.259s db4 210210816
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--input--joystick--magellan.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.941s 3.506s db8 218578944 true 4.488s 2.835s cs-sel-05 152616960
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--input--joystick--spaceball.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.150s 3.646s db4 214839296 true 5.204s 3.189s db8 213753856
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--input--joystick--spaceorb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.874s 3.510s db3 214061056 true 4.908s 3.021s db2 214409216
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--input--joystick--stinger.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.072s 3.095s db7 214003712 true 4.267s 2.686s cs-sel-06 149549056
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--input--joystick--turbografx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.708s 3.408s db4 210305024 true 5.409s 3.308s db8 212135936
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--input--joystick--twidjoy.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.249s 3.143s db8 212443136 true 4.448s 2.764s db3 204382208
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--input--joystick--warrior.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.806s 3.458s cs-sel-05 155140096 true 4.927s 3.017s db3 217124864
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--input--joystick--zhenhua.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.683s 2.905s db6 208076800 true 4.345s 2.709s db6 205373440
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--input--keyboard--gpio_keys_polled.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.932s 3.010s db8 208363520 true 4.790s 2.941s db3 207777792
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--input--keyboard--newtonkbd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.653s 2.867s db4 211222528 true 4.382s 2.715s db3 205111296
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--input--keyboard--stowaway.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.776s 2.928s db3 212811776 true 4.350s 2.692s db8 208449536
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--input--keyboard--xtkbd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.960s 3.000s db8 207855616 true 4.249s 2.674s db7 207474688
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--input--misc--ab8500-ponkey.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.454s 2.706s db2 208547840 true 4.223s 2.598s db4 206725120
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--input--misc--ad714x-i2c.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.767s 2.357s db8 204681216 true 3.773s 2.362s db6 206266368
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--input--misc--ad714x-spi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.805s 2.343s db5 146821120 true 3.673s 2.260s db1 126836736
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--input--misc--adxl34x-spi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.897s 2.442s db4 203599872 true 3.829s 2.443s db6 206204928
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--input--misc--apanel.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.427s 2.791s cs-sel-06 158822400 true 4.620s 2.845s db6 216100864
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--input--misc--atlas_btns.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.995s 2.446s db5 146956288 true 3.865s 2.419s db3 202485760
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--input--misc--cma3000_d0x_i2c.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.793s 2.336s db5 148357120 true 3.898s 2.398s db4 204292096
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--input--misc--mma8450.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.757s 2.865s cs-sel-06 153239552 true 4.557s 2.810s db2 208748544
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--input--misc--mpu3050.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.625s 3.293s db4 218132480 true 5.634s 3.333s db4 216907776
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--input--misc--pcap_keys.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.170s 2.585s db2 205348864 true 4.048s 2.563s db4 202420224
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--input--misc--pcf50633-input.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.518s 2.762s db3 205246464 true 4.570s 2.763s db7 208596992
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--input--misc--pcspkr.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.826s 2.425s db4 203210752 true 3.586s 2.318s db2 204529664
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--input--misc--rotary_encoder.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.812s 3.450s db4 215691264 true 5.923s 3.488s cs-sel-05 154165248
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--input--misc--wm831x-on.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.305s 2.652s cs-sel-05 148455424 true 4.552s 2.781s db3 211197952
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--input--misc--xen-kbdfront.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.479s 2.768s db8 209616896 true 4.328s 2.698s db3 207720448
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--input--mouse--gpio_mouse.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.936s 2.457s db8 208736256 true 3.703s 2.366s db2 209039360
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--input--mouse--vsxxxaa.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.972s 4.101s db8 214859776 true 5.934s 3.561s db8 210599936
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--input--serio--ct82c710.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.702s 3.398s db4 208556032 true 5.973s 3.524s db4 208789504
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--input--serio--parkbd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.904s 2.487s db6 207372288 true 3.909s 2.484s db6 205979648
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--input--touchscreen--ad7879-spi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.571s 3.381s db7 219807744 true 5.367s 3.272s db8 213831680
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--input--touchscreen--cyttsp_spi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.419s 2.787s db2 210333696 true 4.348s 2.722s db1 146399232
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--input--touchscreen--dynapro.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.085s 3.079s db4 214102016 true 4.424s 2.766s cs-sel-06 148955136
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--input--touchscreen--eeti_ts.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.104s 3.054s db3 211124224 true 5.118s 3.102s db2 209686528
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--input--touchscreen--egalax_ts.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.074s 3.129s db2 212529152 true 4.957s 3.023s db7 206069760
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--input--touchscreen--fujitsu_ts.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.701s 2.871s db8 209346560 true 4.441s 2.735s db2 207052800
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--input--touchscreen--gunze.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.071s 3.025s db4 208801792 true 4.300s 2.671s db4 203661312
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--input--touchscreen--hampshire.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.916s 3.002s db2 212414464 true 4.424s 2.731s db3 205074432
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--input--touchscreen--inexio.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.004s 3.045s db3 213266432 true 4.094s 2.594s cs-sel-05 151056384
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--input--touchscreen--max11801_ts.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.806s 2.963s cs-sel-05 149884928 true 4.623s 2.886s cs-sel-05 152182784
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--input--touchscreen--mk712.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.535s 2.257s cs-sel-05 130207744 true 3.733s 2.399s db6 207060992
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--input--touchscreen--mtouch.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.182s 3.146s db6 215375872 true 4.348s 2.742s db7 204947456
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--input--touchscreen--penmount.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.400s 3.224s db4 209227776 true 4.808s 2.962s db2 208629760
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--input--touchscreen--stmpe-ts.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.441s 3.327s db8 217874432 true 5.865s 3.405s db5 159744000
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--input--touchscreen--touchit213.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.889s 2.983s db3 211210240 true 4.383s 2.696s db1 149258240
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--input--touchscreen--touchright.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.768s 2.913s db3 211574784 true 4.218s 2.630s db4 203603968
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--input--touchscreen--touchwin.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.537s 2.806s cs-sel-05 148721664 true 4.388s 2.743s cs-sel-06 153198592
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--input--touchscreen--tsc40.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.965s 3.011s db5 149585920 true 4.537s 2.775s db5 153255936
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--input--touchscreen--wacom_w8001.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.983s 4.672s db2 223780864 true 7.241s 4.187s db6 226287616
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--isdn--hardware--avm--avm_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.288s 2.635s cs-sel-05 158003200 true 4.289s 2.604s cs-sel-06 156229632
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--isdn--hardware--avm--b1pci.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.735s 2.959s db8 208265216 true 4.652s 2.924s db4 204808192
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--isdn--hardware--avm--b1pcmcia.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.501s 2.206s db8 180559872 true 3.266s 2.096s cs-sel-05 128348160
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--isdn--hardware--avm--t1pci.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.174s 2.575s db3 204025856 true 4.101s 2.579s db6 209498112
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--isdn--hisax--avma1_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.010s 2.560s db2 206921728 true 3.869s 2.465s db6 206872576
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--isdn--hisax--elsa_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.737s 2.912s db7 203358208 true 4.834s 2.944s db6 212185088
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--isdn--hisax--sedlbauer_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.579s 2.850s cs-sel-06 152096768 true 4.885s 2.959s db7 206426112
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--isdn--hisax--teles_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.792s 2.938s db4 205402112 true 4.804s 2.898s db2 210046976
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--leds--dell-led.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.739s 2.416s db2 208232448 true 3.936s 2.495s db7 207355904
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--leds--leds-bd2802.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.148s 4.167s db4 216158208 true 7.332s 4.266s db5 184909824
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--leds--leds-dac124s085.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.245s 2.651s db4 207986688 true 4.415s 2.716s db3 206098432
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--leds--leds-ot200.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.173s 2.084s cs-sel-05 130121728 true 3.363s 2.174s db7 184307712
ldv-linux-3.4-simple/43_1a_cilled_true_ok_nondet_linux-43_1a-drivers--leds--leds-pca9633.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.595s 2.804s db5 156774400 true 5.070s 3.074s db8 212344832