Tool BLAST 2.7.1 CBMC 4.5 CPAchecker 1.2.11-svcomp14b ESBMC 1.22.1 FrankenBit LLBMC Predator 2013-10-30 Symbiotic UFO UltimateAutomizer UltimateKojak
Limits timelimit: 900 s, memlimit: 15360 MB, CPU core limit: 8
OS Linux 3.2.0-56-generic x86_64 Linux 3.2.0-57-generic x86_64 Linux 3.2.0-56-generic x86_64
System CPU: Intel Core i7-2600 CPU @ 3.40GHz with 8 cores, frequency: 3401 MHz; RAM: 32827640 kB
Date of execution 13-11-19 16:04 13-11-18 23:43 13-11-18 14:59 13-11-18 23:26 13-12-04 19:42 13-12-04 20:07 13-11-19 22:09 13-11-25 00:10 13-11-18 15:05 13-11-19 23:49 13-11-21 12:52
Options -alias empty
-enable-recursion
-noprofile
-cref
-sv-comp
-lattice
-include-lattice symb
-nosserr
-errorpathfile ${logfile_path}/${rundefinition_name}.${sourcefile_name}_errorpath.txt
-propertyfile ${sourcefile_path}/ALL.prp
--propertyfile ${sourcefile_path}/ALL.prp
--64
-sv-comp14
-heap 10000M
-spec ${sourcefile_path}/ALL.prp
-disable-java-assertions
-64
-c ${sourcefile_path}/ALL.prp
-64
--spec=${sourcefile_path}/ALL.prp
--cex=${logfile_path}/${rundefinition_name}.${sourcefile_name}_errorpath.txt
-m64
-spec ${sourcefile_path}/ALL.prp
-witness ${logfile_path}/${rundefinition_name}.${sourcefile_name}_errorpath.txt
-simple-mem
-m64
--propertyfile ${sourcefile_path}/ALL.prp
--trace ${logfile_path}/${rundefinition_name}.${sourcefile_name}_errorpath.txt
-m64

-m64
--spec=${sourcefile_path}/ALL.prp
--cex=${logfile_path}/${rundefinition_name}.${sourcefile_name}_errorpath.txt
-m64
${sourcefile_path}/ALL.prp ${logfile_path}/${rundefinition_name}.${sourcefile_name}_errorpath.txt ${sourcefile_path}/ALL.prp ${logfile_path}/${rundefinition_name}.${sourcefile_name}_errorpath.txt
../../sv-benchmarks/c/ status time(s) memory(MB) status time(s) memory(MB) status time(s) memory(MB) status time(s) memory(MB) status time(s) memory(MB) status time(s) memory(MB) status time(s) memory(MB) status time(s) memory(MB) status time(s) memory(MB) status time(s) memory(MB) status time(s) memory(MB)
ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko_false.cil.out.i.pp.i false(label) 2.3  100   false(label) 5.7  430   false(label) 63    2600   false(label) 130    2500   false(label) 3.6  89   unknown 0.07 0   unknown 12    100   unknown 870    15000   false(label) 2.9  160   unknown 6.7  270   unknown 6.9  270  
ldv-linux-3.0/module_get_put-drivers-block-loop.ko_false.cil.out.i.pp.i false(label) 6.8  82   unknown 220    13000   false(label) 67    3000   true 900    2400   unknown 350    15000   unknown 0.07 0   unknown 0.81 14   unknown 5.1  240   false(label) 42    650   unknown 2.7  140   unknown 2.9  150  
ldv-linux-3.0/module_get_put-drivers-block-pktcdvd.ko_false.cil.out.i.pp.i exception (gremlins) 47    280   true 850    570   false(label) 6.3  250   unknown 900    2300   timeout 920    2800   unknown 0.06 0   unknown 3.5  20   true 13    340   false(label) 24    620   unknown 3.0  150   unknown 3.1  160  
ldv-linux-3.0/module_get_put-drivers-isdn-gigaset-gigaset.ko_false.cil.out.i.pp.i false(label) 12    160   false(label) 27    1200   timeout 900    2300   unknown 900    2400   timeout 920    3000   unknown 0.06 0   unknown 0.84 38   unknown 75    890   false(label) 3.9  200   unknown 3.9  170   unknown 4.1  170  
ldv-linux-3.0/module_get_put-drivers-isdn-mISDN-mISDN_core.ko_false.cil.out.i.pp.i false(label) 6.2  120   unknown 1.3  120   false(label) 280    3300   unknown 900    1700   false(label) 5.3  480   unknown 0.07 0   unknown 2.2  39   unknown 180    2300   false(label) 2.9  170   unknown 3.9  170   unknown 4.0  180  
ldv-linux-3.0/module_get_put-drivers-net-ppp_generic.ko_false.cil.out.i.pp.i false(label) 50    190   unknown 850    430   false(label) 29    700   unknown 900    3100   false(label) 24    1700   unknown 0.10 0   unknown 2.0  22   unknown 14    320   false(label) 28    660   unknown 3.1  150   unknown 3.3  160  
ldv-linux-3.0/module_get_put-drivers-net-wan-farsync.ko_false.cil.out.i.pp.i false(label) 39    150   true 850    1100   exception 93    2000   true 2.0  120   unknown 160    15000   unknown 0.07 0   unknown 1.5  16   unknown 5.5  140   false(label) 6.6  310   unknown 2.8  140   unknown 2.9  150  
ldv-linux-3.0/module_get_put-drivers-tty-synclink_gt.ko_false.cil.out.i.pp.i false(label) 130    620   unknown 850    840   timeout 900    5100   unknown 900    1500   unknown 220    15000   unknown 0.07 0   unknown 2.3  31   true 71    1100   false(label) 120    2000   unknown 3.7  160   unknown 3.8  160  
ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko_false.cil.out.i.pp.i false(label) 20    180   unknown 850    6200   false(label) 370    2800   false(label) 14    730   false(label) 1.9  79   unknown 0.06 0   unknown 6.1  76   unknown 840    15000   false(label) 2.2  130   unknown 4.4  230   unknown 4.5  220  
ldv-linux-3.0/usb_urb-drivers-hid-usbhid-usbmouse.ko_false.cil.out.i.pp.i false(label) 11    95   false(label) 5.4  190   false(label) 61    3700   unknown 2.3  96   false(label) 42    3300   unknown 0.10 0   unknown 0.74 7.0 unknown 0.60 8.0 false(label) 3.6  200   unknown 2.5  130   unknown 2.6  140  
ldv-linux-3.0/usb_urb-drivers-input-misc-keyspan_remote.ko_false.cil.out.i.pp.i false(label) 54    200   true 850    790   false(label) 100    3800   unknown 4.0  150   false(label) 54    3700   unknown 0.07 0   unknown 0.90 9.0 unknown 0.40 10.0 false(label) 3.1  180   unknown 2.5  130   unknown 2.6  140  
ldv-linux-3.0/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko_false.cil.out.i.pp.i timeout 920    190   true 850    1100   false(label) 5.3  250   false(label) 900    1600   false(label) 8.1  510   unknown 0.07 0   unknown 1.4  16   timeout 900    140   false(label) 16    530   unknown 3.1  150   unknown 3.3  150  
ldv-linux-3.0/usb_urb-drivers-net-can-usb-ems_usb.ko_false.cil.out.i.pp.i exception (gremlins) 24    160   unknown 850    11000   false(label) 200    2800   false(label) 210    800   false(label) 6.4  570   unknown 0.07 0   unknown 1.2  11   unknown 1.1  35   false(label) 4.6  200   unknown 2.7  140   unknown 2.7  140  
ldv-linux-3.0/usb_urb-drivers-net-usb-catc.ko_false.cil.out.i.pp.i false(label) 160    270   unknown 0.69 49   false(label) 68    3700   false(label) 80    570   false(label) 200    15000   unknown 0.10 0   unknown 1.3  12   unknown 0.68 25   false(label) 4.4  200   unknown 2.6  130   unknown 2.7  140  
ldv-linux-3.0/usb_urb-drivers-staging-lirc-lirc_imon.ko_false.cil.out.i.pp.i timeout 920    180   false(label) 75    560   false(label) 63    1400   true 8.1  190   false(label) 7.2  630   unknown 0.06 0   unknown 0.73 11   unknown 0.50 18   false(label) 2.8  160   unknown 2.6  130   unknown 2.7  140  
ldv-linux-3.0/usb_urb-drivers-usb-misc-iowarrior.ko_false.cil.out.i.pp.i exception (gremlins) 27    250   false(label) 3.9  260   false(label) 29    1100   false(label) 420    7000   timeout 920    3700   unknown 0.07 0   unknown 1.1  11   unknown 0.81 36   false(label) 4.5  220   unknown 2.6  130   unknown 2.7  140  
ldv-linux-3.0/module_get_put-drivers-atm-eni.ko_true.cil.out.i.pp.i true 3.4  230   unknown 850    890   true 28    1200   unknown 900    2500   true 1.1  21   unknown 0.10 0   unknown 2.3  22   unknown 13    370   true 1.3  51   unknown 3.4  160   unknown 3.5  170  
ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko_true.cil.out.i.pp.i true 4.4  250   true 850    550   true 69    1300   true 900    5700   true 1.9  74   unknown 0.10 0   unknown 12    100   unknown 900    15000   true 2.4  70   unknown 6.2  260   unknown 6.4  250  
ldv-linux-3.0/module_get_put-drivers-block-paride-pt.ko_true.cil.out.i.pp.i true 9.8  610   true 850    570   true 29    620   unknown 570    15000   true 0.92 22   unknown 0.07 0   timeout 900    310   true 2.0  62   true 1.2  57   unknown 2.6  140   unknown 2.7  140  
ldv-linux-3.0/module_get_put-drivers-bluetooth-btmrvl.ko_true.cil.out.i.pp.i true 3.7  280   unknown 850    6700   true 25    630   unknown 840    15000   true 0.59 20   unknown 0.07 0   unknown 0.58 14   unknown 0.89 46   true 0.97 48   unknown 2.8  150   unknown 3.0  160  
ldv-linux-3.0/module_get_put-drivers-char-ipmi-ipmi_watchdog.ko_true.cil.out.i.pp.i true 10    830   true 850    1400   error (recursion) 5.9  200   true 900    5600   true 0.55 20   unknown 0.07 0   timeout 900    1300   unknown 0.95 33   true 0.78 47   unknown 2.8  140   unknown 2.9  150  
ldv-linux-3.0/module_get_put-drivers-gpu-drm-i915-i915.ko_true.cil.out.i.pp.i true 5.1  400   true 850    880   true 28    1300   true 80    2600   true 2.5  120   unknown 0.07 0   unknown 10    170   unknown 680    15000   true 2.8  110   unknown 5.2  250   unknown 5.4  240  
ldv-linux-3.0/module_get_put-drivers-hid-hid-magicmouse.ko_true.cil.out.i.pp.i true 12    640   true 850    940   true 24    620   unknown 900    2400   true 0.52 19   unknown 0.07 0   unknown 0.17 8.0 unknown 0.58 9.0 true 0.73 46   unknown 2.4  120   unknown 2.5  130  
ldv-linux-3.0/module_get_put-drivers-hwmon-it87.ko_true.cil.out.i.pp.i true 4.0  410   true 720    570   true 12    300   true 430    2600   true 0.61 20   unknown 0.07 0   unknown 0.33 19   true 1.8  80   true 0.79 44   unknown 2.8  150   unknown 2.9  150  
ldv-linux-3.0/module_get_put-drivers-net-atl1c-atl1c.ko_true.cil.out.i.pp.i true 3.3  200   true 850    650   true 27    660   true 900    1900   true 0.94 21   unknown 0.07 0   unknown 2.2  28   unknown 28    250   true 1.4  50   unknown 3.6  160   unknown 3.8  170  
ldv-linux-3.0/module_get_put-drivers-net-pppox.ko_true.cil.out.i.pp.i true 2.6  18   true 3.8  60   true 62    3600   true 0.95 58   true 0.45 19   unknown 0.07 0   unknown 0.19 7.0 timeout 900    1200   true 0.79 47   unknown 2.6  140   unknown 2.7  140  
ldv-linux-3.0/module_get_put-drivers-net-sis900.ko_true.cil.out.i.pp.i true 7.8  490   unknown 850    130   true 38    1800   unknown 900    3000   true 0.91 21   unknown 0.07 0   unknown 1.2  17   unknown 12    210   true 1.3  49   unknown 3.4  140   unknown 3.0  150  
ldv-linux-3.0/module_get_put-drivers-scsi-megaraid.ko_true.cil.out.i.pp.i true 7.8  510   unknown 850    1500   true 29    680   unknown 900    1800   true 1.1  23   unknown 0.08 0   unknown 1.6  28   unknown 20    480   true 1.4  54   unknown 3.5  160   unknown 3.5  160  
ldv-linux-3.0/module_get_put-drivers-staging-et131x-et131x.ko_true.cil.out.i.pp.i true 6.5  420   true 850    690   true 28    1200   unknown 900    2300   true 1.0  22   unknown 0.07 0   unknown 0.86 23   unknown 17    330   true 1.3  51   unknown 3.4  160   unknown 3.6  170  
ldv-linux-3.0/module_get_put-drivers-video-aty-aty128fb.ko_true.cil.out.i.pp.i true 4.3  330   unknown 850    840   true 27    590   unknown 900    1900   true 0.71 21   unknown 0.07 0   unknown 0.53 14   unknown 4.8  150   true 1.1  48   unknown 2.7  140   unknown 2.7  140  
ldv-linux-3.0/usb_urb-drivers-input-tablet-kbtab.ko_true.cil.out.i.pp.i true 94    230   true 270    1200   true 55    3600   false(label) 5.0  130   true 16    180   unknown 0.06 0   unknown 0.74 7.0 timeout 900    1100   true 4.0  220   unknown 2.5  130   unknown 2.5  130  
ldv-linux-3.0/usb_urb-drivers-media-video-c-qcam.ko_true.cil.out.i.pp.i true 9.5  660   true 850    450   true 28    970   unknown 900    14000   true 1.7  27   unknown 0.07 0   unknown 0.75 12   unknown 1.7  52   true 2.2  70   unknown 2.7  130   unknown 2.8  140  
ldv-linux-3.0/usb_urb-drivers-media-video-msp3400.ko_true.cil.out.i.pp.i true 7.6  570   true 850    690   true 28    300   true 180    1000   true 1.3  28   unknown 0.06 0   unknown 0.82 18   unknown 5.7  150   true 1.8  70   unknown 2.9  140   unknown 2.9  140  
ldv-linux-3.0/usb_urb-drivers-misc-c2port-core.ko_true.cil.out.i.pp.i true 6.5  400   true 850    560   true 31    1600   true 900    4700   true 0.80 20   unknown 0.06 0   unknown 1.1  10.0 true 0.63 24   true 1.0  43   unknown 2.6  130   unknown 2.8  140  
ldv-linux-3.0/usb_urb-drivers-mtd-sm_ftl.ko_true.cil.out.i.pp.i true 7.6  410   true 850    970   error (recursion) 4.5  200   unknown 900    1200   true 0.61 20   unknown 0.07 0   unknown 1.4  12   unknown 2.4  97   true 0.87 47   unknown 2.7  140   unknown 2.7  140  
ldv-linux-3.0/usb_urb-drivers-scsi-dc395x.ko_true.cil.out.i.pp.i true 6.9  450   unknown 850    700   true 28    260   unknown 900    1700   true 1.1  23   unknown 0.08 0   unknown 4.0  26   unknown 21    480   true 1.4  52   unknown 3.4  150   unknown 3.6  160  
ldv-linux-3.0/usb_urb-drivers-usb-serial-ir-usb.ko_true.cil.out.i.pp.i timeout 920    150   true 380    620   true 56    3100   true 3.7  120   true 0.46 19   unknown 0.10 0   unknown 0.50 9.0 timeout 900    1200   true 0.75 46   unknown 2.6  130   unknown 2.6  140  
ldv-linux-3.0/usb_urb-drivers-usb-serial-whiteheat.ko_true.cil.out.i.pp.i true 79    630   true 850    580   false(label) 83    1200   unknown 900    2300   timeout 920    8500   unknown 0.07 0   unknown 1.3  16   unknown 2.0  91   timeout 920    15000   unknown 2.7  140   unknown 2.7  140  
ldv-linux-3.0/usb_urb-drivers-uwb-i1480-dfu-i1480-dfu-usb.ko_true.cil.out.i.pp.i true 8.8  140   true 850    610   timeout 900    9600   unknown 900    10000   true 0.70 19   unknown 0.06 0   unknown 1.4  10.0 unknown 0.58 27   true 0.77 46   unknown 2.6  130   unknown 2.6  140  
ldv-linux-3.0/usb_urb-drivers-vhost-vhost_net.ko_true.cil.out.i.pp.i true 12    950   true 850    300   true 28    260   unknown 900    1700   true 3.2  51   unknown 0.07 0   unknown 5.0  21   unknown 19    430   true 3.9  100   unknown 3.4  150   unknown 3.6  160  
ldv-linux-3.0/usb_urb-drivers-video-arkfb.ko_true.cil.out.i.pp.i true 9.6  730   unknown 850    1200   true 26    280   true 170    2200   true 0.57 20   unknown 0.07 0   unknown 1.1  15   unknown 0.59 24   true 0.85 47   unknown 2.7  140   unknown 2.8  140  
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(label) 2.1  160   unknown 850    4800   false(label) 75    2200   unknown 900    4600   unknown 580    15000   unknown 0.07 0   unknown 13    91   unknown 190    15000   false(label) 10    430   unknown 6.6  250   unknown 6.7  250  
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(label) 25    160   unknown 61    13000   false(label) 42    1400   unknown 10    350   false(label) 200    11000   unknown 0.07 0   unknown 0.29 11   unknown 0.62 28   false(label) 3.7  170   unknown 2.6  130   unknown 2.7  140  
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(label) 40    150   unknown 850    4200   false(label) 52    2000   unknown 900    5200   false(label) 150    12000   unknown 0.07 0   unknown 1.4  15   unknown 4.0  240   false(label) 11    380   unknown 3.0  140   unknown 3.1  150  
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(label) 0.88 67   false(label) 1.6  110   false(label) 8.8  260   false(label) 12    330   false(label) 5.5  470   unknown 0.07 0   unknown 2.6  25   unknown 23    730   false(label) 1.7  130   unknown 4.1  160   unknown 4.1  160  
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(label) 14    750   unknown 110    13000   false(label) 15    480   false(label) 900    2300   timeout 920    140   unknown 0.07 0   unknown 120    160   timeout 910    360   false(label) 3.1  140   unknown 4.5  230   unknown 4.5  220  
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(label) 2.0  170   unknown 850    1200   false(label) 710    5200   unknown 900    1800   timeout 920    9100   unknown 0.06 0   unknown 0.83 43   unknown 99    2600   false(label) 170    1800   unknown 3.9  170   unknown 4.0  180  
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(label) 3.9  130   unknown 64    13000   false(label) 27    420   false(label) 900    2600   false(label) 33    2800   unknown 0.07 0   unknown 0.29 19   timeout 900    240   false(label) 5.8  290   unknown 3.0  140   unknown 3.0  140  
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 false(label) 15    160   unknown 59    12000   false(label) 35    880   false(label) 900    2900   unknown 840    15000   unknown 0.07 0   unknown 1.00 18   true 3.6  230   false(label) 6.0  270   unknown 3.4  150   unknown 3.5  160  
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(label) 0.54 41   false(label) 29    1300   false(label) 28    380   unknown 900    2400   false(label) 5.0  310   unknown 0.07 0   unknown 1.0  26   unknown 61    1200   false(label) 11    300   unknown 3.8  150   unknown 3.9  160  
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(label) 8.2  73   unknown 51    12000   false(label) 16    590   false(label) 900    2200   false(label) 10    540   unknown 0.10 0   unknown 0.95 16   unknown 13    370   false(label) 7.0  300   unknown 3.3  140   unknown 3.3  150  
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(label) 0.66 52   unknown 0.30 63   false(label) 8.1  520   unknown 0.58 78   false(label) 6.0  510   unknown 0.07 0   unknown 0.24 17   timeout 910    320   false(label) 2.8  160   unknown 3.4  150   unknown 3.4  150  
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 false(label) 480    490   unknown 850    2300   false(label) 54    2900   unknown 900    5000   unknown 35    15000   unknown 0.08 0   unknown 6.8  86   unknown 300    15000   unknown 3.7  180   unknown 7.0  250   unknown 6.8  260  
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 exception (gremlins) 2.5  140   unknown 0.25 41   false(label) 11    310   unknown 0.38 40   false(label) 1.6  81   unknown 0.07 0   unknown 0.80 38   unknown 110    2800   false(label) 1.7  130   unknown 4.2  170   unknown 4.2  170  
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(label) 0.35 29   unknown 49    14000   false(label) 3.9  200   false(label) 19    310   false(label) 0.78 84   unknown 0.08 0   unknown 0.24 11   unknown 0.66 18   false(label) 1.6  110   unknown 2.7  130   unknown 2.7  140  
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 exception (gremlins) 1.9  110   unknown 0.24 38   false(label) 12    300   unknown 0.36 36   false(label) 7.9  590   unknown 0.10 0   unknown 1.0  33   unknown 61    1600   false(label) 1.9  120   unknown 3.8  160   unknown 3.9  170  
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(label) 1.0  80   unknown 79    12000   false(label) 37    550   unknown 900    2200   timeout 920    9700   unknown 0.07 0   unknown 4.9  32   unknown 460    4500   false(label) 79    2400   unknown 4.2  170   unknown 4.2  170  
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 false(label) 6.5  450   unknown 850    2200   timeout 900    4300   true 750    9100   timeout 920    5600   unknown 0.10 0   unknown 0.86 42   unknown 120    2300   false(label) 72    990   unknown 4.1  170   unknown 4.0  180  
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 false(label) 200    6100   unknown 850    7000   timeout 900    5900   unknown 900    3400   timeout 920    8000   unknown 0.07 0   unknown 2.7  36   unknown 240    3300   false(label) 50    1300   unknown 4.1  170   unknown 4.3  180  
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 exception (gremlins) 0.59 43   unknown 190    12000   false(label) 39    2500   unknown 900    3900   out of memory 160    15000   unknown 0.07 0   unknown 1.5  20   unknown 25    610   false(label) 7.4  260   unknown 3.5  150   unknown 3.6  160  
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 920    5800   true 850    2100   timeout 900    5500   unknown 900    3700   timeout 920    4100   unknown 0.07 0   unknown 2.2  32   true 210    3700   false(label) 16    290   unknown 4.5  190   unknown 5.2  180  
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 false(label) 50    270   true 240    870   false(label) 47    680   true 900    5100   unknown 170    15000   unknown 0.07 0   unknown 0.48 15   timeout 910    1100   false(label) 17    460   unknown 2.7  140   unknown 2.9  150  
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(label) 36    390   unknown 850    2000   false(label) 210    3900   unknown 900    3600   out of memory 150    15000   unknown 0.07 0   unknown 0.64 27   unknown 42    1300   unknown 44    550   unknown 3.9  160   unknown 4.0  170  
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(label) 1.6  110   unknown 850    2400   false(label) 32    850   unknown 10    470   unknown 180    15000   unknown 0.07 0   unknown 1.9  37   unknown 50    1500   false(label) 27    430   unknown 3.8  160   unknown 3.8  160  
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 0.25 19   true 4.6  72   true 23    660   true 1.2  67   true 0.50 19   unknown 0.07 0   unknown 0.15 9.0 unknown 0.64 23   true 0.62 39   unknown 2.6  130   unknown 2.7  140  
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 0.21 14   true 1.9  33   true 2.3  120   true 0.64 41   true 0.39 18   unknown 0.07 0   unknown 0.14 6.0 true 0.37 7.0 true 0.58 43   unknown 2.3  120   unknown 2.4  120  
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 0.20 13   true 13    82   true 2.4  130   true 0.96 50   true 0.41 18   unknown 0.07 0   unknown 0.13 7.0 timeout 900    1100   true 0.59 43   unknown 2.4  120   unknown 2.5  120  
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 0.21 13   true 850    1100   true 2.2  120   true 2.8  110   true 0.35 18   unknown 0.07 0   true 0.14 6.0 true 0.53 6.0 true 0.58 42   unknown 2.4  110   unknown 2.6  120  
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 0.23 15   true 31    170   true 2.4  120   true 1.4  57   true 0.37 18   unknown 0.06 0   unknown 0.13 7.0 timeout 900    1100   true 0.64 44   unknown 2.4  120   unknown 2.5  120  
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 0.26 16   true 18    140   true 2.7  140   true 1.3  62   true 0.43 19   unknown 0.07 0   unknown 0.33 7.0 unknown 0.62 8.0 true 0.76 47   unknown 2.6  130   unknown 2.7  130  
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 0.21 14   true 3.0  45   true 2.5  140   true 0.91 54   true 0.46 18   unknown 0.07 0   unknown 0.50 9.0 timeout 900    1200   true 0.75 47   unknown 2.6  130   unknown 2.6  130  
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 0.23 15   true 160    520   true 2.8  150   true 1.0  65   true 0.49 19   unknown 0.07 0   unknown 0.65 8.0 true 0.73 10.0 true 0.92 48   unknown 2.6  130   unknown 2.6  140  
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 true 0.24 16   true 2.4  27   true 6.4  220   true 0.63 28   true 0.27 18   unknown 0.07 0   unknown 0.53 9.0 true 0.29 6.0 true 0.44 36   unknown 2.2  110   unknown 2.3  110  
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 0.22 14   true 4.1  69   true 2.5  140   true 1.2  65   true 0.40 18   unknown 0.07 0   unknown 0.12 7.0 true 0.40 8.0 true 0.67 46   unknown 2.5  130   unknown 2.6  130  
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 0.20 12   true 0.94 23   true 2.0  110   true 0.46 27   true 0.27 18   unknown 0.10 0   unknown 0.11 5.0 true 0.26 3.0 true 0.48 37   unknown 2.2  110   unknown 2.3  120  
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 0.32 20   true 850    1100   true 23    1200   true 24    520   true 0.32 18   unknown 0.07 0   unknown 0.22 9.0 timeout 900    350   true 0.50 39   unknown 2.3  110   unknown 2.4  120  
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 4.3  260   true 850    1600   true 28    2000   true 900    2800   true 0.80 24   unknown 0.06 0   unknown 0.46 20   unknown 13    220   true 1.1  56   unknown 3.0  130   unknown 3.1  140  
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 0.44 26   true 850    1000   true 24    1100   true 58    980   true 0.39 19   unknown 0.06 0   unknown 0.55 13   timeout 900    350   true 0.54 38   unknown 2.5  120   unknown 2.6  120  
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 0.50 31   true 850    960   true 24    1100   true 48    710   true 0.43 19   unknown 0.07 0   unknown 0.54 15   timeout 900    350   true 0.57 38   unknown 2.6  120   unknown 2.6  130  
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 2.2  130   true 850    1400   true 26    780   true 240    2700   true 0.60 21   unknown 0.10 0   unknown 0.48 17   timeout 900    350   true 0.78 47   unknown 2.7  130   unknown 3.2  140  
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 1.0  60   true 850    1400   true 24    760   true 150    2500   true 0.45 19   unknown 0.07 0   unknown 0.55 13   timeout 900    350   true 0.63 42   unknown 2.5  120   unknown 2.6  120  
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 0.28 18   true 850    1100   true 23    1200   true 22    460   true 0.32 18   unknown 0.06 0   unknown 0.22 8.0 timeout 900    350   true 0.47 37   unknown 2.2  110   unknown 2.3  120  
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 0.40 25   true 850    1300   true 24    1100   true 31    600   true 0.36 19   unknown 0.07 0   unknown 0.19 12   timeout 900    350   true 0.52 39   unknown 2.4  110   unknown 2.4  120  
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 1.0  60   true 850    1600   true 27    1500   true 110    1300   true 0.52 20   unknown 0.07 0   unknown 0.47 20   timeout 900    350   true 0.70 42   unknown 2.8  130   unknown 2.9  130  
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 0.89 52   true 850    1600   true 26    1500   true 110    1300   true 0.49 20   unknown 0.07 0   unknown 0.50 19   timeout 900    350   true 0.65 43   unknown 2.8  130   unknown 2.8  130  
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 1.5  92   true 850    1300   true 25    1200   true 570    3500   true 0.53 20   unknown 0.10 0   unknown 0.49 19   timeout 900    270   true 0.67 42   unknown 2.8  130   unknown 2.8  130  
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 0.27 18   true 850    1200   true 23    1200   true 18    460   true 0.30 18   unknown 0.07 0   unknown 0.22 8.0 timeout 900    350   true 0.47 38   unknown 2.3  110   unknown 2.3  120  
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 0.52 32   true 850    1400   true 25    1200   true 29    590   true 0.46 19   unknown 0.06 0   unknown 0.25 17   timeout 900    350   true 0.62 40   unknown 2.7  130   unknown 2.7  130  
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 2.0  110   true 850    1400   true 29    1100   true 210    2400   true 0.78 31   unknown 0.07 0   unknown 0.54 34   unknown 6.1  57   true 0.99 45   unknown 3.7  140   unknown 3.6  150  
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 exception (gremlins) 0.18 13   true 850    690   true 2.1  110   true 0.66 28   true 0.29 18   unknown 0.07 0   unknown 0.15 6.0 unknown 0.29 4.0 true 0.44 38   unknown 2.2  110   unknown 2.3  120  
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 0.29 19   true 7.4  91   true 2.9  140   true 1.8  85   true 0.40 19   unknown 0.07 0   unknown 0.67 19   true 0.45 7.0 true 0.57 41   unknown 2.6  130   unknown 3.3  130  
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 0.22 13   true 1.7  28   true 2.2  110   true 0.61 35   true 0.29 18   unknown 0.07 0   unknown 0.21 6.0 unknown 0.19 2.0 true 0.46 38   unknown 2.3  110   unknown 2.4  120  
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 0.78 61   true 850    850   true 24    650   true 48    1100   true 0.41 19   unknown 0.07 0   unknown 0.34 11   true 1.8  50   true 0.64 44   unknown 2.5  120   unknown 2.5  120  
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 0.33 25   true 150    1000   true 2.8  140   true 5.2  200   true 0.36 18   unknown 0.10 0   unknown 0.35 9.0 true 0.40 10.0 true 0.62 44   unknown 2.5  130   unknown 2.6  140  
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 0.23 13   true 5.1  73   true 1.9  100   true 0.59 20   true 0.27 18   unknown 0.07 0   unknown 0.23 9.0 true 0.24 3.0 true 0.43 37   unknown 2.1  110   unknown 2.2  110  
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 0.19 11   true 1.3  20   true 1.8  100   true 0.34 18   true 0.24 18   unknown 0.07 0   unknown 0.10 5.0 timeout 900    1100   true 0.42 38   unknown 2.1  110   unknown 2.2  110  
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 0.34 24   true 390    620   true 5.5  190   true 5.8  140   true 0.46 19   unknown 0.07 0   unknown 0.39 11   timeout 900    1200   true 0.63 43   unknown 2.6  130   unknown 2.7  140  
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 0.19 12   true 1.1  23   true 2.0  110   true 0.46 26   true 0.27 18   unknown 0.07 0   unknown 0.11 5.0 true 0.47 3.0 true 0.45 38   unknown 2.1  110   unknown 2.2  110  
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 0.47 33   true 850    870   true 25    230   true 62    490   true 0.47 19   unknown 0.07 0   unknown 0.26 13   true 0.97 39   true 0.75 46   unknown 2.7  130   unknown 2.7  140  
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 0.19 12   true 6.1  91   true 23    590   true 0.59 24   true 0.28 18   unknown 0.07 0   unknown 0.13 6.0 true 0.27 5.0 true 0.42 36   unknown 2.1  110   unknown 2.2  110  
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 0.20 13   true 14    140   true 2.3  120   true 4.2  78   true 0.35 18   unknown 0.07 0   unknown 0.13 7.0 unknown 0.35 6.0 true 0.56 43   unknown 2.3  120   unknown 2.4  120  
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 0.18 12   true 4.4  39   true 2.2  110   true 0.66 37   true 0.32 18   unknown 0.07 0   unknown 0.13 6.0 timeout 900    1200   true 0.55 39   unknown 2.3  110   unknown 2.3  120  
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 0.21 13   true 11    120   true 2.3  120   true 4.1  73   true 0.33 18   unknown 0.07 0   unknown 0.16 6.0 unknown 0.55 6.0 true 0.50 39   unknown 2.4  120   unknown 2.4  120  
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 0.16 12   true 13    140   true 2.0  110   true 0.97 45   true 0.28 18   unknown 0.07 0   unknown 0.29 6.0 timeout 900    1200   true 0.50 37   unknown 2.2  110   unknown 2.2  120  
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 0.20 15   true 850    640   true 23    630   true 6.4  120   true 0.30 18   unknown 0.07 0   unknown 0.21 7.0 timeout 900    1200   true 0.50 39   unknown 2.2  110   unknown 2.3  120  
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 0.19 14   true 1.6  39   true 2.6  140   true 0.75 55   true 0.44 18   unknown 0.06 0   true 0.17 7.0 timeout 900    1100   true 0.76 47   unknown 2.5  130   unknown 2.6  130  
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 0.46 34   true 850    760   true 4.1  190   true 13    210   true 0.52 19   unknown 0.07 0   unknown 0.43 12   unknown 0.88 23   true 0.88 47   unknown 2.6  130   unknown 2.6  140  
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 0.20 13   true 1.4  37   true 2.5  140   true 0.72 51   true 0.43 19   unknown 0.10 0   unknown 0.12 6.0 timeout 900    1100   true 0.74 46   unknown 2.5  130   unknown 2.7  130  
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 0.17 13   true 1.5  32   true 2.2  120   true 0.58 39   true 0.37 18   unknown 0.07 0   unknown 0.11 6.0 timeout 900    1200   true 0.58 41   unknown 2.4  120   unknown 2.4  120  
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 0.17 13   true 13    130   true 2.2  120   true 1.2  52   true 0.35 18   unknown 0.07 0   unknown 0.18 6.0 timeout 900    1100   true 0.52 40   unknown 2.3  110   unknown 2.4  120  
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 0.18 14   true 220    710   true 2.3  120   true 9.3  340   true 0.36 18   unknown 0.07 0   unknown 0.28 6.0 timeout 900    1100   true 0.54 40   unknown 2.3  110   unknown 2.3  120  
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 0.19 12   true 1.4  27   true 2.1  110   true 0.52 32   true 0.32 18   unknown 0.07 0   unknown 0.10 5.0 timeout 900    1100   true 0.53 39   unknown 2.3  110   unknown 2.3  120  
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 0.20 13   true 13    130   true 2.2  120   true 1.1  48   true 0.32 18   unknown 0.07 0   unknown 0.11 5.0 timeout 900    1100   true 0.53 40   unknown 2.3  110   unknown 2.3  120  
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 0.21 14   true 160    560   true 2.3  120   true 6.4  230   true 0.33 18   unknown 0.07 0   unknown 0.29 6.0 timeout 900    1100   true 0.55 39   unknown 2.4  110   unknown 2.3  120  
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 0.18 12   true 4.5  66   true 2.1  110   true 0.76 35   true 0.34 18   unknown 0.07 0   unknown 0.13 5.0 timeout 900    1100   true 0.52 42   unknown 2.2  110   unknown 2.3  110  
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 0.16 12   true 1.2  27   true 2.1  110   true 0.51 32   true 0.32 18   unknown 0.08 0   unknown 0.11 5.0 timeout 900    1100   true 0.52 41   unknown 2.3  110   unknown 2.4  120  
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 0.21 13   true 48    280   true 2.2  120   true 2.9  120   true 0.33 18   unknown 0.06 0   unknown 0.18 6.0 timeout 900    1100   true 0.55 39   unknown 2.3  110   unknown 2.3  120  
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 0.18 13   true 18    160   true 2.2  120   true 1.5  60   true 0.32 18   unknown 0.07 0   unknown 0.18 6.0 timeout 900    1100   true 0.52 40   unknown 2.3  110   unknown 2.4  120  
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 0.15 12   true 2.4  36   true 2.1  110   true 0.63 32   true 0.35 18   unknown 0.07 0   unknown 0.13 5.0 timeout 900    1100   true 0.54 40   unknown 2.3  110   unknown 2.3  120  
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 0.22 14   true 100    460   true 2.3  120   true 3.0  110   true 0.34 18   unknown 0.06 0   unknown 0.17 6.0 unknown 0.45 6.0 true 0.53 39   unknown 2.3  110   unknown 2.3  120  
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 0.17 13   true 850    670   true 2.2  110   true 170    4900   true 0.34 18   unknown 0.10 0   unknown 0.11 6.0 unknown 0.31 5.0 true 0.54 40   unknown 2.3  110   unknown 2.3  120  
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 0.18 12   true 2.2  41   true 2.1  110   true 0.65 32   true 0.31 18   unknown 0.07 0   unknown 0.10 5.0 timeout 900    1100   true 0.53 41   unknown 2.3  110   unknown 2.3  120  
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 0.29 18   true 400    970   true 2.7  140   true 8.3  260   true 0.40 19   unknown 0.06 0   unknown 0.22 7.0 unknown 0.60 9.0 true 0.65 40   unknown 2.5  130   unknown 2.5  130  
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 0.20 13   true 1.5  31   true 2.2  120   true 0.60 40   true 0.35 18   unknown 0.07 0   unknown 0.11 6.0 timeout 900    1100   true 0.61 41   unknown 2.4  110   unknown 2.4  120  
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 0.19 13   true 8.9  110   true 2.2  120   true 1.00 45   true 0.39 18   unknown 0.07 0   unknown 0.19 5.0 timeout 900    1100   true 0.52 40   unknown 2.3  110   unknown 2.4  110  
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 0.22 13   true 37    230   true 2.2  120   true 2.0  81   true 0.33 18   unknown 0.07 0   unknown 0.18 6.0 timeout 900    1100   true 0.53 40   unknown 2.3  110   unknown 2.3  120  
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 0.20 14   true 310    880   true 2.4  120   true 12    450   true 0.33 18   unknown 0.07 0   unknown 0.18 6.0 timeout 900    1100   true 0.53 41   unknown 2.3  110   unknown 2.4  120  
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 0.25 16   true 850    1800   true 2.6  120   true 28    1000   true 0.32 18   unknown 0.07 0   unknown 0.18 7.0 timeout 900    1100   true 0.55 43   unknown 2.3  110   unknown 2.4  120  
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 0.21 13   true 3.3  42   true 2.2  120   true 0.78 39   true 0.31 18   unknown 0.08 0   unknown 0.14 6.0 timeout 900    1100   true 0.52 40   unknown 2.3  110   unknown 2.3  120  
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 0.67 47   true 850    1200   true 4.0  190   true 13    290   true 0.42 19   unknown 0.07 0   unknown 0.36 10.0 unknown 0.77 19   true 0.66 40   unknown 2.6  130   unknown 2.6  130  
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 0.22 15   true 220    850   true 2.4  120   true 1.6  69   true 0.34 18   unknown 0.07 0   unknown 0.16 8.0 unknown 0.33 6.0 true 0.56 41   unknown 2.3  110   unknown 2.4  120  
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 0.31 17   true 690    1500   true 3.0  130   true 8.0  260   true 0.35 18   unknown 0.06 0   unknown 0.17 7.0 unknown 0.36 8.0 true 0.58 41   unknown 2.4  110   unknown 2.3  120  
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 0.23 16   true 4.4  52   true 2.4  120   true 3.7  55   true 0.31 18   unknown 0.07 0   unknown 0.19 7.0 timeout 900    1100   true 0.51 39   unknown 2.3  110   unknown 2.3  120  
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 6.6  430   true 850    1400   true 26    1000   true 900    2200   true 0.63 20   unknown 0.06 0   unknown 0.43 18   true 7.5  340   true 0.87 47   unknown 2.8  140   unknown 2.9  150  
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 0.25 20   true 19    160   true 2.4  120   true 1.2  58   true 0.34 18   unknown 0.07 0   unknown 0.64 7.0 timeout 900    380   true 0.53 39   unknown 2.3  110   unknown 2.4  120  
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 0.26 19   true 850    780   true 23    1100   true 8.2  220   true 0.33 18   unknown 0.07 0   unknown 0.18 8.0 unknown 0.71 22   true 0.50 38   unknown 2.3  110   unknown 2.3  120  
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 0.20 14   true 7.3  91   true 2.3  120   true 0.84 47   true 0.32 18   unknown 0.07 0   unknown 0.15 6.0 timeout 900    430   true 0.54 39   unknown 2.3  110   unknown 3.1  120  
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 0.23 16   true 15    150   true 2.4  120   true 1.0  53   true 0.32 18   unknown 0.07 0   unknown 0.37 7.0 timeout 900    390   true 0.49 39   unknown 2.4  120   unknown 2.4  120  
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 0.16 12   true 3.2  37   true 2.1  110   true 0.58 31   true 0.30 18   unknown 0.07 0   unknown 0.11 6.0 timeout 900    1200   true 0.49 39   unknown 2.3  110   unknown 2.3  120  
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 0.17 13   true 16    130   true 2.3  120   true 0.94 39   true 0.32 18   unknown 0.07 0   unknown 0.23 8.0 timeout 900    1200   true 0.53 42   unknown 2.4  110   unknown 2.3  120  
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 0.28 20   true 10    120   true 2.8  140   true 1.1  61   true 0.41 18   unknown 0.06 0   unknown 0.42 8.0 true 0.70 15   true 0.61 44   unknown 2.6  130   unknown 2.7  140  
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 0.25 15   unknown 850    1700   true 23    620   true 44    1200   true 0.35 18   unknown 0.07 0   unknown 0.15 9.0 timeout 900    1100   true 0.54 40   unknown 2.4  120   unknown 2.4  120  
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 0.75 50   true 850    880   true 24    240   unknown 900    4000   true 0.46 19   unknown 0.10 0   unknown 0.15 9.0 timeout 900    430   true 0.66 41   unknown 2.6  130   unknown 2.6  130  
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 0.39 33   true 1.4  32   true 23    230   true 0.75 52   true 0.33 18   unknown 0.07 0   true 0.15 8.0 true 0.59 7.0 true 0.50 39   unknown 2.3  120   unknown 2.4  120  
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 0.34 23   true 850    1700   true 23    630   true 10    370   true 0.40 18   unknown 0.07 0   unknown 0.13 8.0 timeout 900    350   true 0.63 44   unknown 2.6  130   unknown 2.6  140  
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 0.23 14   true 12    120   true 2.4  120   true 1.0  53   true 0.31 18   unknown 0.07 0   unknown 0.14 7.0 unknown 0.58 8.0 true 0.50 37   unknown 2.4  110   unknown 2.4  120  
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 0.61 39   true 850    550   true 14    960   true 6.0  130   true 0.48 19   unknown 0.10 0   unknown 0.42 10.0 unknown 0.85 31   true 0.79 47   unknown 2.7  140   unknown 2.8  140  
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 0.25 17   true 15    160   true 2.6  140   true 7.3  81   true 0.45 18   unknown 0.10 0   unknown 0.17 8.0 timeout 900    1100   true 0.75 47   unknown 2.6  130   unknown 3.0  130  
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 0.25 15   true 480    300   true 23    850   true 13    180   true 0.32 18   unknown 0.07 0   unknown 0.24 7.0 true 0.69 20   true 0.50 37   unknown 2.3  110   unknown 2.3  120  
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 0.22 15   true 270    850   true 2.8  130   true 4.0  120   true 0.34 18   unknown 0.07 0   unknown 0.19 7.0 timeout 900    1100   true 0.57 38   unknown 2.3  110   unknown 2.3  120  
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 0.27 20   true 330    890   true 2.7  130   true 4.4  160   true 0.36 18   unknown 0.07 0   unknown 0.13 7.0 unknown 0.58 9.0 true 0.58 43   unknown 2.3  110   unknown 2.4  120  
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 0.26 16   true 850    1500   true 23    360   true 6.1  170   true 0.37 18   unknown 0.07 0   unknown 0.16 8.0 timeout 900    1100   true 0.59 41   unknown 2.3  110   unknown 2.5  120  
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 0.25 15   true 42    260   true 2.3  120   true 1.4  61   true 0.39 18   unknown 0.07 0   unknown 0.11 6.0 timeout 900    1100   true 0.55 42   unknown 2.3  110   unknown 2.5  120  
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 0.38 24   true 850    420   true 24    230   true 9.2  320   true 0.39 18   unknown 0.07 0   true 0.19 8.0 true 0.64 13   true 0.63 43   unknown 2.5  110   unknown 2.5  120  
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 0.21 15   true 850    670   true 23    220   true 42    1300   true 0.34 18   unknown 0.07 0   unknown 0.15 7.0 timeout 900    1100   true 0.55 42   unknown 2.9  110   unknown 2.4  120  
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 0.29 17   true 150    580   true 2.9  140   true 2.7  97   true 0.37 18   unknown 0.08 0   unknown 0.12 7.0 timeout 900    1100   true 0.55 41   unknown 2.9  110   unknown 2.4  120  
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 0.20 14   true 43    180   true 2.2  120   true 1.1  52   true 0.33 18   unknown 0.07 0   unknown 0.11 6.0 timeout 900    1100   true 0.55 44   unknown 2.7  110   unknown 2.4  120  
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 0.22 14   true 850    1300   true 23    1100   true 17    420   true 0.35 18   unknown 0.10 0   unknown 0.13 7.0 unknown 0.58 12   true 0.52 39   unknown 2.6  110   unknown 2.4  120  
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 0.21 14   true 30    270   true 2.9  140   true 1.3  59   true 0.33 18   unknown 0.07 0   unknown 0.24 7.0 timeout 900    1100   true 0.56 39   unknown 2.7  110   unknown 2.4  120  
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 0.23 14   true 29    260   true 3.0  140   true 1.3  58   true 0.35 18   unknown 0.07 0   unknown 0.24 7.0 timeout 900    1100   true 0.55 40   unknown 2.9  110   unknown 2.5  120  
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 0.22 14   true 37    280   true 3.5  170   true 1.3  59   true 0.33 18   unknown 0.06 0   unknown 0.23 7.0 timeout 900    1100   true 0.56 40   unknown 2.3  110   unknown 2.4  120  
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 0.18 13   true 20    170   true 2.2  120   true 1.1  50   true 0.34 18   unknown 0.10 0   unknown 0.12 6.0 timeout 900    1100   true 0.51 41   unknown 2.8  110   unknown 2.3  120  
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 0.16 14   true 2.3  39   true 2.4  120   true 0.73 45   true 0.37 18   unknown 0.07 0   unknown 0.33 7.0 timeout 900    1200   true 0.60 43   unknown 3.1  120   unknown 2.4  120  
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 0.18 13   true 4.8  49   true 2.4  130   true 0.81 46   true 0.37 18   unknown 0.07 0   unknown 0.16 7.0 timeout 900    1200   true 0.59 43   unknown 2.4  120   unknown 2.4  120  
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 0.23 15   true 11    150   true 2.4  120   true 4.2  75   true 0.37 18   unknown 0.07 0   unknown 0.14 7.0 unknown 0.58 7.0 true 0.61 44   unknown 2.8  120   unknown 2.4  120  
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 true 0.24 16   true 6.9  97   true 53    700   true 1.3  64   true 0.43 18   unknown 0.07 0   unknown 0.33 9.0 true 0.48 9.0 true 0.64 44   unknown 2.6  130   unknown 2.6  130  
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 0.20 13   true 8.2  85   true 2.5  130   true 1.2  52   true 0.38 18   unknown 0.08 0   unknown 0.18 6.0 timeout 900    1100   true 0.63 44   unknown 2.7  120   unknown 2.4  120  
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 0.20 14   true 6.5  93   true 2.3  120   true 0.75 42   true 0.39 18   unknown 0.07 0   unknown 0.33 6.0 timeout 900    1200   true 0.59 41   unknown 2.9  120   unknown 2.6  120  
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 0.18 14   true 14    93   true 2.6  130   true 1.0  57   true 0.40 18   unknown 0.07 0   unknown 0.20 7.0 timeout 900    1100   true 0.62 44   unknown 3.0  130   unknown 2.6  130  
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 0.22 16   true 45    360   true 2.7  140   true 1.9  88   true 0.44 18   unknown 0.07 0   unknown 0.30 8.0 timeout 900    1100   true 0.63 40   unknown 2.7  130   unknown 2.6  130  
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 0.22 13   true 22    160   true 2.2  120   true 1.0  49   true 0.29 18   unknown 0.07 0   unknown 0.18 6.0 timeout 900    1100   true 0.55 42   unknown 2.8  110   unknown 3.1  120  
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 0.16 13   true 5.0  72   true 2.3  120   true 0.80 46   true 0.38 18   unknown 0.08 0   unknown 0.17 6.0 timeout 900    1100   true 0.60 44   unknown 2.9  120   unknown 2.4  120  
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 0.21 13   true 9.5  100   true 2.3  120   true 0.91 45   true 0.44 18   unknown 0.10 0   unknown 0.26 6.0 timeout 900    1100   true 0.55 39   unknown 2.9  120   unknown 2.5  120  
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 0.21 16   true 160    630   true 2.5  120   true 3.0  110   true 0.35 18   unknown 0.07 0   unknown 0.13 7.0 unknown 0.60 9.0 true 0.57 39   unknown 3.0  110   unknown 2.4  120  
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 0.23 13   true 26    160   true 2.3  120   true 1.1  52   true 0.33 18   unknown 0.07 0   unknown 0.12 6.0 timeout 900    1100   true 0.56 41   unknown 2.8  110   unknown 2.4  120  
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 0.21 14   true 850    1200   true 2.7  130   true 9.5  390   true 0.39 18   unknown 0.07 0   true 0.44 8.0 true 0.62 8.0 true 0.58 40   unknown 2.8  120   unknown 2.4  120  
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 0.17 13   true 410    710   true 2.5  120   true 2.4  89   true 0.34 18   unknown 0.07 0   unknown 0.13 7.0 unknown 0.35 8.0 true 0.55 40   unknown 2.7  110   unknown 2.4  120  
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 0.31 21   true 850    1000   true 3.2  150   true 900    2000   true 0.38 19   unknown 0.07 0   unknown 0.15 8.0 timeout 900    760   true 0.61 41   unknown 3.1  120   unknown 2.4  120  
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 0.19 13   true 2.7  51   true 2.2  110   true 0.69 35   true 0.27 18   unknown 0.07 0   unknown 0.28 6.0 true 0.49 6.0 true 0.49 37   unknown 2.7  120   unknown 2.4  120  
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 0.18 13   true 1.6  29   true 2.2  120   true 0.55 37   true 0.35 18   unknown 0.07 0   unknown 0.11 6.0 true 0.31 5.0 true 0.54 40   unknown 3.0  110   unknown 2.3  120  
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 0.21 16   true 33    290   true 6.5  220   true 11    120   true 0.42 18   unknown 0.07 0   unknown 0.16 7.0 unknown 0.37 7.0 true 0.59 43   unknown 2.8  120   unknown 2.4  120  
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 0.26 17   true 31    280   true 24    230   true 1.6  75   true 0.39 18   unknown 0.07 0   unknown 0.13 7.0 unknown 0.44 13   true 0.62 44   unknown 2.8  130   unknown 2.6  130  
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 0.22 14   true 38    220   true 2.4  120   true 1.3  58   true 0.38 18   unknown 0.08 0   unknown 0.13 7.0 timeout 900    1100   true 0.57 39   unknown 2.5  110   unknown 2.4  120  
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 0.24 16   true 20    200   true 2.7  140   true 1.6  84   true 0.44 19   unknown 0.07 0   unknown 0.23 8.0 timeout 900    1100   true 0.67 44   unknown 3.0  130   unknown 2.6  130  
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 0.24 17   true 240    600   true 4.6  190   true 2.1  82   true 0.41 18   unknown 0.08 0   unknown 0.29 7.0 timeout 900    1100   true 0.62 45   unknown 2.6  130   unknown 2.6  130  
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 0.24 14   true 51    240   true 2.3  120   true 1.3  59   true 0.33 18   unknown 0.07 0   unknown 0.13 6.0 timeout 900    1100   true 0.56 41   unknown 2.9  110   unknown 2.3  120  
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 0.21 14   true 61    270   true 2.3  120   true 1.4  63   true 0.36 18   unknown 0.07 0   unknown 0.13 6.0 timeout 900    1100   true 0.55 40   unknown 2.6  110   unknown 2.4  120  
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 0.18 14   true 40    240   true 2.3  120   true 1.4  60   true 0.35 18   unknown 0.07 0   unknown 0.13 6.0 timeout 900    1100   true 0.55 41   unknown 2.8  110   unknown 2.3  120  
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 0.20 14   true 36    220   true 2.3  120   true 1.2  57   true 0.33 18   unknown 0.07 0   unknown 0.13 6.0 timeout 900    1100   true 0.55 40   unknown 2.7  110   unknown 2.4  120  
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 0.19 15   true 52    320   true 2.8  140   true 1.7  73   true 0.38 18   unknown 0.06 0   unknown 0.21 7.0 timeout 900    1100   true 0.63 44   unknown 2.9  130   unknown 2.6  130  
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 0.20 13   true 2.8  43   true 2.3  120   true 0.72 38   true 0.34 18   unknown 0.07 0   unknown 0.36 7.0 true 0.53 5.0 true 0.52 39   unknown 2.4  110   unknown 2.4  120  
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 0.19 14   true 41    250   true 2.3  120   true 1.4  62   true 0.33 18   unknown 0.07 0   unknown 0.13 6.0 timeout 900    1100   true 0.56 42   unknown 2.4  110   unknown 2.4  120  
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 0.24 14   true 850    1500   true 24    640   true 1.8  89   true 0.37 18   unknown 0.10 0   unknown 0.13 8.0 timeout 900    1100   true 0.57 44   unknown 2.9  110   unknown 2.4  120  
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 0.22 16   true 61    550   true 2.7  140   true 2.5  100   true 0.40 19   unknown 0.08 0   unknown 0.13 8.0 timeout 900    1100   true 0.66 44   unknown 2.6  130   unknown 2.6  130  
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 0.22 14   true 50    240   true 2.3  120   true 1.4  61   true 0.34 18   unknown 0.07 0   unknown 0.13 7.0 timeout 900    1100   true 0.57 39   unknown 2.9  110   unknown 2.4  120  
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 0.22 14   true 36    230   true 2.3  120   true 1.3  58   true 0.33 18   unknown 0.07 0   unknown 0.12 6.0 timeout 900    1100   true 0.53 39   unknown 2.4  110   unknown 2.3  120  
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 0.17 14   true 38    230   true 2.3  120   true 1.4  61   true 0.37 18   unknown 0.07 0   unknown 0.15 6.0 timeout 900    1100   true 0.58 43   unknown 2.7  110   unknown 2.4  120  
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 0.24 16   true 64    280   true 2.4  120   true 1.6  65   true 0.37 18   unknown 0.07 0   unknown 0.17 7.0 timeout 900    1100   true 0.57 41   unknown 2.4  110   unknown 2.4  120  
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 0.41 26   true 850    1600   true 3.4  150   true 14    290   true 0.46 19   unknown 0.07 0   unknown 0.17 10.0 timeout 900    1100   true 0.64 41   unknown 2.7  130   unknown 2.6  130  
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 0.21 15   true 170    350   true 2.6  140   true 1.1  54   true 0.40 18   unknown 0.07 0   unknown 0.11 7.0 unknown 0.61 7.0 true 0.70 46   unknown 2.7  130   unknown 2.6  140  
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 0.24 17   true 850    1200   true 3.2  160   true 3.5  140   true 0.35 19   unknown 0.07 0   unknown 0.24 9.0 unknown 0.43 13   true 0.55 39   unknown 2.4  110   unknown 2.5  120  
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 0.24 12   true 2.2  26   true 2.2  110   true 0.60 32   true 0.25 18   unknown 0.09 0   unknown 0.31 6.0 timeout 900    1100   true 0.47 36   unknown 2.7  110   unknown 2.3  120  
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 0.19 15   true 850    1000   true 2.3  120   true 2.7  110   true 0.32 18   unknown 0.07 0   unknown 0.13 7.0 timeout 900    1100   true 0.56 39   unknown 2.7  110   unknown 2.4  120  
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 0.36 22   true 3.2  47   true 54    2800   true 1.2  84   true 0.44 19   unknown 0.07 0   unknown 0.24 13   true 1.1  36   true 0.71 45   unknown 3.1  130   unknown 2.7  140  
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 0.20 14   true 13    150   true 2.3  120   true 1.1  47   true 0.32 18   unknown 0.07 0   unknown 0.11 6.0 unknown 0.35 7.0 true 0.53 45   unknown 2.3  120   unknown 2.7  120  
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 0.21 15   true 32    190   true 2.4  120   true 1.3  56   true 0.35 18   unknown 0.10 0   unknown 0.13 7.0 unknown 0.37 7.0 true 0.56 38   unknown 3.1  110   unknown 2.4  120  
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 0.18 15   true 32    180   true 2.4  120   true 1.2  53   true 0.34 18   unknown 0.07 0   unknown 0.12 7.0 timeout 900    1200   true 0.59 38   unknown 2.4  120   unknown 2.4  120  
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 0.23 15   true 38    200   true 2.4  120   true 1.3  57   true 0.32 18   unknown 0.07 0   unknown 0.13 6.0 unknown 0.58 7.0 true 0.55 43   unknown 2.4  120   unknown 2.4  120  
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 0.21 14   true 13    140   true 2.3  120   true 1.3  50   true 0.34 18   unknown 0.07 0   unknown 0.11 6.0 true 0.37 6.0 true 0.57 43   unknown 2.7  120   unknown 2.4  120  
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 0.36 29   true 850    1100   true 4.3  190   true 7.2  240   true 0.47 19   unknown 0.07 0   unknown 2.7  14   timeout 900    1200   true 0.66 40   unknown 3.1  140   unknown 2.8  140  
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 0.19 13   true 160    470   true 2.4  120   true 2.9  95   true 0.33 18   unknown 0.07 0   unknown 0.20 7.0 timeout 900    1200   true 0.50 39   unknown 2.4  120   unknown 2.4  120  
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 0.32 23   true 850    1500   true 24    230   true 9.3  250   true 0.40 19   unknown 0.07 0   unknown 0.57 11   unknown 2.0  86   true 0.56 40   unknown 2.6  130   unknown 2.7  140  
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 0.23 13   true 96    280   true 2.3  110   true 1.8  69   true 0.30 18   unknown 0.06 0   unknown 2.8  23   timeout 900    1200   true 0.46 38   unknown 2.3  110   unknown 2.4  120  
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 0.18 13   true 340    850   true 2.8  130   true 3.7  130   true 0.32 18   unknown 0.07 0   unknown 0.20 7.0 unknown 0.55 7.0 true 0.53 43   unknown 2.4  110   unknown 2.4  120  
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 0.21 14   true 35    310   true 2.2  110   true 1.9  71   true 0.28 18   unknown 0.07 0   unknown 0.20 6.0 unknown 0.31 8.0 true 0.47 37   unknown 2.3  110   unknown 2.4  120  
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 0.22 13   true 3.8  57   true 2.5  130   true 0.88 50   true 0.38 18   unknown 0.06 0   unknown 0.13 7.0 timeout 900    1100   true 0.63 41   unknown 2.5  130   unknown 3.0  130  
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 0.18 11   true 1.4  21   true 1.8  110   true 0.38 21   true 0.27 18   unknown 0.07 0   unknown 0.10 4.0 timeout 900    1100   true 0.45 38   unknown 2.4  110   unknown 2.3  120  
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 0.21 13   true 8.9  94   true 2.1  110   true 0.83 39   true 0.30 18   unknown 0.06 0   unknown 0.13 6.0 unknown 0.51 6.0 true 0.51 38   unknown 2.3  110   unknown 2.3  120  
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 0.22 15   true 6.1  62   true 2.2  120   true 0.80 37   true 0.31 18   unknown 0.07 0   unknown 0.15 7.0 true 0.34 5.0 true 0.52 39   unknown 2.6  110   unknown 2.3  120  
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 0.18 13   true 2.3  33   true 2.3  120   true 0.68 43   true 0.38 18   unknown 0.10 0   unknown 0.11 6.0 timeout 900    1100   true 0.63 44   unknown 2.7  120   unknown 2.4  120  
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 0.42 29   true 850    1200   true 24    610   true 18    200   true 0.44 19   unknown 0.06 0   unknown 0.15 9.0 unknown 0.73 14   true 0.70 45   unknown 2.9  130   unknown 2.7  140  
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 0.22 16   true 200    720   true 3.1  150   true 4.8  130   true 0.41 18   unknown 0.07 0   unknown 0.13 8.0 timeout 900    1200   true 0.63 43   unknown 2.6  130   unknown 2.6  130  
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 0.26 17   true 270    650   true 7.4  220   true 5.6  130   true 0.43 19   unknown 0.10 0   unknown 0.14 8.0 timeout 900    1200   true 0.60 42   unknown 2.8  130   unknown 2.7  140  
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 1.1  75   true 850    930   true 25    1000   true 500    1200   true 0.53 20   unknown 0.10 0   unknown 0.20 13   unknown 5.1  190   true 0.76 42   unknown 2.9  130   unknown 2.8  140  
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 0.25 17   true 250    800   true 4.3  190   true 6.9  130   true 0.40 19   unknown 0.07 0   unknown 0.13 8.0 timeout 900    1200   true 0.63 44   unknown 3.0  130   unknown 2.6  140  
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 0.30 20   true 390    880   true 23    270   true 9.9  170   true 0.44 19   unknown 0.07 0   unknown 0.14 8.0 unknown 0.75 15   true 0.61 41   unknown 2.6  130   unknown 2.6  140  
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 0.86 58   true 850    730   true 25    240   unknown 1.2  96   true 0.56 20   unknown 0.06 0   unknown 0.19 12   unknown 2.2  91   true 0.82 46   unknown 2.6  130   unknown 2.7  140  
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 1.3  80   true 850    1400   true 25    270   true 900    2400   true 0.51 20   unknown 0.06 0   unknown 0.25 15   timeout 900    1200   true 0.76 45   unknown 2.8  140   unknown 2.8  140  
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 0.37 23   true 850    1300   true 24    210   true 610    2000   true 0.42 19   unknown 0.07 0   unknown 0.15 9.0 timeout 900    1200   true 0.63 44   unknown 2.8  130   unknown 2.7  140  
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 0.68 46   true 850    1100   true 25    420   true 58    600   true 0.55 20   unknown 0.07 0   unknown 0.21 15   unknown 5.2  190   true 0.79 46   unknown 3.1  140   unknown 3.2  150  
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 5.3  330   true 850    1000   true 24    270   true 24    330   true 0.54 20   unknown 0.10 0   unknown 0.18 14   unknown 4.5  210   true 0.80 46   unknown 2.7  130   unknown 2.8  140  
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 0.49 36   true 850    1100   true 4.7  200   true 11    350   true 0.67 20   unknown 0.06 0   unknown 0.23 17   unknown 1.5  34   true 1.1  50   unknown 3.2  150   unknown 3.2  150  
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 0.25 17   true 5.9  83   true 3.0  160   true 1.2  80   true 0.48 19   unknown 0.08 0   unknown 0.16 10.0 timeout 900    1200   true 0.89 48   unknown 2.8  140   unknown 2.8  140  
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 0.24 18   unknown 56    14000   true 3.1  190   true 1.5  88   true 0.50 19   unknown 0.08 0   unknown 0.20 10.0 unknown 0.71 12   true 0.89 48   unknown 2.8  140   unknown 2.8  140  
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    150   unknown 160    12000   false(label) 14    550   true 15    290   true 0.63 20   unknown 0.07 0   unknown 0.52 20   timeout 900    300   true 1.0  49   unknown 3.1  140   unknown 3.2  150  
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 3.6  89   true 320    12000   true 4.6  190   true 7.1  240   true 0.60 20   unknown 0.06 0   unknown 6.3  30   timeout 900    440   true 1.0  49   unknown 3.2  140   unknown 3.2  150  
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 0.30 19   true 850    890   true 3.3  190   true 1.5  94   true 0.52 19   unknown 0.07 0   unknown 0.20 11   unknown 0.85 15   true 0.90 48   unknown 3.0  140   unknown 3.0  140  
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 0.29 20   true 110    410   true 3.6  190   true 3.2  140   true 0.52 20   unknown 0.06 0   unknown 0.23 13   timeout 900    1200   true 0.91 49   unknown 3.3  150   unknown 3.0  150  
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 0.33 26   true 93    310   true 24    340   true 3.3  130   true 0.53 19   unknown 0.07 0   unknown 0.18 11   timeout 900    1200   true 0.96 49   unknown 3.0  150   unknown 3.1  150  
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 0.25 17   true 2.5  56   true 3.4  190   true 1.4  98   true 0.55 19   unknown 0.10 0   true 0.17 10.0 timeout 900    1100   true 0.89 48   unknown 2.9  140   unknown 3.0  150  
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 0.56 40   true 850    1200   true 4.0  190   true 5.2  180   true 0.56 20   unknown 0.08 0   unknown 0.26 19   timeout 900    1200   true 0.95 49   unknown 2.9  140   unknown 3.0  140  
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 0.25 16   true 2.3  48   true 2.8  160   true 1.1  74   true 0.49 19   unknown 0.07 0   unknown 0.17 10.0 timeout 900    1200   true 0.89 48   unknown 2.9  130   unknown 2.8  140  
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 0.36 25   unknown 70    14000   true 25    250   true 9.4  300   true 0.52 19   unknown 0.07 0   unknown 0.22 13   timeout 900    1200   true 0.90 49   unknown 2.9  140   unknown 3.0  140  
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 0.53 37   true 250    660   true 3.9  190   true 4.8  180   true 0.56 20   unknown 0.06 0   unknown 2.2  42   timeout 900    1200   true 0.97 49   unknown 3.0  140   unknown 3.0  150  
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 0.48 30   true 470    620   true 4.4  190   true 5.2  150   true 0.54 20   unknown 0.07 0   unknown 0.15 13   timeout 900    1200   true 0.95 48   unknown 3.0  140   unknown 3.1  150  
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 0.27 19   unknown 46    14000   true 24    340   true 3.1  150   true 0.55 19   unknown 0.08 0   unknown 0.18 10.0 timeout 900    1200   true 0.92 48   unknown 2.7  140   unknown 2.8  140  
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 0.26 18   unknown 47    14000   true 3.1  180   true 1.4  88   true 0.51 19   unknown 0.07 0   unknown 0.18 9.0 unknown 0.71 12   true 0.90 48   unknown 2.7  140   unknown 2.8  140  
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 140    9500   unknown 57    12000   true 30    1000   unknown 900    2600   true 1.8  47   unknown 0.07 0   unknown 0.67 35   unknown 43    900   true 2.6  91   unknown 3.6  160   unknown 3.7  170  
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 0.51 35   true 11    160   true 6.2  220   true 4.1  360   true 0.65 30   unknown 0.10 0   true 0.40 33   timeout 920    1100   true 0.79 40   unknown 3.6  160   unknown 3.7  170  
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 0.29 20   true 850    1500   true 4.6  190   true 6.9  230   true 0.49 19   unknown 0.07 0   unknown 0.15 10.0 timeout 900    1200   true 0.89 48   unknown 2.8  140   unknown 2.9  140  
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 18    170   unknown 76    12000   true 26    670   true 44    830   true 0.61 20   unknown 0.06 0   unknown 0.77 26   timeout 900    340   true 1.0  50   unknown 3.4  140   unknown 3.4  150  
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 0.53 38   true 850    780   true 25    260   true 6.1  200   true 0.60 20   unknown 0.07 0   unknown 0.53 17   unknown 2.0  51   true 0.98 49   unknown 3.3  150   unknown 3.3  150  
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 1.2  90   true 850    2600   true 4.5  190   true 13    320   true 0.60 20   unknown 0.07 0   unknown 1.8  45   timeout 900    290   true 1.00 49   unknown 3.2  140   unknown 3.2  150  
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 0.25 18   true 12    110   true 3.0  160   true 2.2  94   true 0.50 19   unknown 0.07 0   unknown 0.18 10.0 timeout 900    1200   true 0.87 48   unknown 2.8  140   unknown 2.8  140  
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 5.0  89   unknown 46    14000   true 4.4  200   true 11    360   true 0.54 20   unknown 0.07 0   unknown 0.22 13   timeout 900    400   true 0.92 49   unknown 2.9  140   unknown 3.0  150  
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 14    140   true 290    13000   true 5.0  200   true 70    6400   true 0.59 20   unknown 0.07 0   unknown 0.15 11   unknown 0.82 16   true 0.96 49   unknown 3.0  140   unknown 3.0  150  
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 0.42 30   true 850    740   true 4.0  200   true 9.4  190   true 0.58 19   unknown 0.07 0   unknown 0.16 11   timeout 900    1200   true 0.96 49   unknown 2.9  140   unknown 3.0  150  
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 7.6  370   unknown 850    1100   true 27    1400   true 900    2400   true 0.73 22   unknown 0.07 0   unknown 0.29 22   unknown 36    800   true 1.0  48   unknown 3.5  150   unknown 3.6  150  
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    670   true 850    1600   timeout 900    4000   true 900    15000   true 0.94 24   unknown 0.07 0   unknown 0.25 18   unknown 8.3  180   true 1.3  51   unknown 2.9  140   unknown 3.0  150  
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 2.6  170   true 850    1700   true 26    1100   true 660    1500   true 0.67 21   unknown 0.08 0   unknown 0.19 14   unknown 2.9  100   true 0.98 49   unknown 3.0  130   unknown 2.8  140  
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 0.24 19   true 850    890   true 2.7  140   true 2.4  83   true 0.39 19   unknown 0.08 0   unknown 0.14 8.0 timeout 900    1200   true 0.63 43   unknown 2.8  130   unknown 2.6  130  
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 0.28 19   true 850    960   true 3.2  150   true 5.5  130   true 0.42 19   unknown 0.08 0   unknown 0.14 8.0 timeout 900    1200   true 0.63 41   unknown 2.5  130   unknown 2.6  140  
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 0.21 13   true 1.3  34   true 2.3  120   true 0.65 46   true 0.36 18   unknown 0.07 0   true 0.11 6.0 timeout 900    1100   true 0.63 43   unknown 2.5  120   unknown 2.4  120  
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 0.18 13   true 1.3  33   true 2.3  120   true 0.63 45   true 0.36 18   unknown 0.07 0   true 0.14 6.0 timeout 900    1100   true 0.59 44   unknown 2.4  120   unknown 2.4  120  
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 6.4  130   true 850    1800   true 28    740   true 480    2000   true 0.75 23   unknown 0.10 0   unknown 0.28 33   unknown 3.3  170   true 0.96 46   unknown 3.7  160   unknown 3.7  160  
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 0.19 14   true 1.3  34   true 2.4  130   true 0.69 48   true 0.37 18   unknown 0.07 0   true 0.15 7.0 timeout 900    1100   true 0.60 40   unknown 2.7  120   unknown 2.4  120  
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 0.18 13   true 1.3  34   true 2.3  120   true 0.71 47   true 0.42 18   unknown 0.06 0   true 0.15 6.0 timeout 900    1100   true 0.60 44   unknown 2.9  120   unknown 2.5  120  
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 0.68 48   true 850    1600   true 5.5  220   true 95    700   true 0.46 19   unknown 0.07 0   unknown 0.17 11   timeout 900    1200   true 0.69 43   unknown 3.2  130   unknown 2.7  140  
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 0.26 16   true 33    220   true 3.1  150   true 2.1  84   true 0.40 18   unknown 0.07 0   unknown 0.12 8.0 timeout 900    1200   true 0.63 44   unknown 2.6  130   unknown 2.6  130  
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 0.87 56   true 850    960   true 26    240   true 39    440   true 0.55 20   unknown 0.07 0   unknown 0.24 18   unknown 9.4  230   true 0.82 44   unknown 3.3  140   unknown 3.3  150  
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 0.23 15   true 14    140   true 2.6  140   true 1.4  64   true 0.39 18   unknown 0.08 0   unknown 0.14 7.0 timeout 900    1200   true 0.63 42   unknown 2.7  130   unknown 2.5  130  
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 0.21 16   true 33    290   true 3.6  190   true 1.9  79   true 0.40 19   unknown 0.08 0   unknown 0.13 8.0 timeout 900    1200   true 0.62 41   unknown 2.9  130   unknown 2.6  130  
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 0.39 28   true 9.7  98   true 4.5  200   true 1.9  130   true 0.59 20   unknown 0.07 0   unknown 0.23 13   timeout 900    1100   true 1.1  49   unknown 3.2  150   unknown 3.3  150  
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 0.84 66   unknown 850    2200   true 12    480   true 22    740   true 0.65 20   unknown 0.07 0   unknown 0.22 18   timeout 900    1100   true 1.1  50   unknown 3.3  150   unknown 3.3  160  
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 0.16 11   true 0.71 18   true 1.7  98   true 0.29 15   true 0.24 18   unknown 0.07 0   unknown 0.09 4.0 timeout 900    1100   true 0.45 39   unknown 2.2  110   unknown 2.9  110  
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 0.23 11   true 0.72 17   true 1.7  98   true 0.29 14   true 0.24 18   unknown 0.06 0   unknown 0.10 4.0 timeout 900    1100   true 0.39 35   unknown 2.5  110   unknown 2.2  110  
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 0.18 11   true 0.65 18   true 1.7  99   true 0.29 15   true 0.24 18   unknown 0.10 0   unknown 0.10 4.0 timeout 900    1100   true 0.48 37   unknown 2.3  110   unknown 2.2  110  
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 0.18 11   true 0.70 18   true 1.7  97   true 0.31 15   true 0.24 17   unknown 0.08 0   unknown 0.10 4.0 timeout 900    1100   true 0.42 36   unknown 2.5  110   unknown 2.2  110  
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 0.18 11   true 0.67 18   true 1.7  97   true 0.29 15   true 0.24 17   unknown 0.07 0   unknown 0.12 4.0 timeout 900    1100   true 0.44 37   unknown 2.3  110   unknown 2.2  110  
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 0.17 11   true 0.67 18   true 1.7  97   true 0.26 14   true 0.24 17   unknown 0.07 0   unknown 0.13 4.0 timeout 900    1100   true 0.40 36   unknown 2.3  110   unknown 2.1  110  
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 0.14 11   true 0.67 18   true 1.7  98   true 0.29 15   true 0.22 18   unknown 0.08 0   unknown 0.12 4.0 timeout 900    1100   true 0.44 37   unknown 2.3  110   unknown 2.7  110  
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 0.18 11   true 0.70 18   true 1.7  99   true 0.32 15   true 0.23 18   unknown 0.07 0   unknown 0.11 4.0 timeout 900    1100   true 0.45 38   unknown 2.2  110   unknown 2.2  110  
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 0.17 11   true 0.68 18   true 1.7  99   true 0.27 15   true 0.24 18   unknown 0.10 0   unknown 0.10 4.0 timeout 900    1100   true 0.44 37   unknown 2.2  110   unknown 2.2  110  
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 0.17 11   true 0.68 18   true 1.7  98   true 0.27 15   true 0.23 17   unknown 0.07 0   unknown 0.13 4.0 timeout 900    1100   true 0.42 32   unknown 2.5  110   unknown 2.2  110  
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 0.18 11   true 0.72 18   true 1.7  98   true 0.28 16   true 0.23 18   unknown 0.07 0   unknown 0.11 4.0 timeout 900    1100   true 0.46 35   unknown 2.2  110   unknown 2.2  110  
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 0.14 11   true 0.69 18   true 1.7  99   true 0.31 15   true 0.24 17   unknown 0.08 0   unknown 0.12 4.0 timeout 900    1100   true 0.42 36   unknown 2.2  110   unknown 2.1  110  
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 0.18 11   true 0.69 18   true 1.7  97   true 0.25 15   true 0.24 17   unknown 0.07 0   unknown 0.12 4.0 timeout 900    1100   true 0.41 37   unknown 2.8  110   unknown 2.1  110  
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 0.17 11   true 0.67 17   true 1.7  98   true 0.26 15   true 0.24 17   unknown 0.10 0   unknown 0.10 4.0 timeout 900    1100   true 0.42 37   unknown 2.2  110   unknown 2.2  110  
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 0.17 11   true 0.69 18   true 1.7  98   true 0.28 15   true 0.22 18   unknown 0.08 0   unknown 0.10 4.0 timeout 900    1100   true 0.44 37   unknown 2.3  110   unknown 2.2  110  
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 0.17 11   true 0.70 18   true 1.7  99   true 0.31 15   true 0.24 17   unknown 0.07 0   unknown 0.09 4.0 timeout 900    1100   true 0.45 36   unknown 2.6  110   unknown 2.2  110  
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 0.18 11   true 0.70 18   true 1.7  98   true 0.28 15   true 0.25 17   unknown 0.09 0   unknown 0.11 4.0 timeout 900    1100   true 0.43 35   unknown 2.6  110   unknown 2.2  110  
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 0.17 11   true 0.68 18   true 1.8  98   true 0.28 15   true 0.24 18   unknown 0.07 0   unknown 0.10 4.0 timeout 900    1100   true 0.42 34   unknown 2.4  110   unknown 2.2  110  
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 0.18 11   true 0.70 18   true 1.7  99   true 0.28 15   true 0.23 18   unknown 0.07 0   unknown 0.10 4.0 timeout 900    1100   true 0.42 35   unknown 2.7  110   unknown 2.1  110  
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 0.17 11   true 0.72 18   true 1.7  97   true 0.32 15   true 0.26 18   unknown 0.06 0   unknown 0.14 4.0 timeout 900    1100   true 0.44 35   unknown 2.2  110   unknown 2.2  110  
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 0.14 11   true 0.69 18   true 1.7  98   true 0.28 15   true 0.22 17   unknown 0.08 0   unknown 0.13 4.0 timeout 900    1100   true 0.43 36   unknown 2.2  110   unknown 2.2  110  
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 0.17 11   true 0.72 18   true 1.7  98   true 0.29 16   true 0.24 18   unknown 0.08 0   unknown 0.10 4.0 timeout 900    1100   true 0.45 34   unknown 2.2  110   unknown 2.2  110  
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 0.18 11   true 0.73 19   true 1.7  100   true 0.35 18   true 0.27 18   unknown 0.07 0   unknown 0.10 5.0 timeout 900    1100   true 0.43 36   unknown 2.3  110   unknown 2.2  110  
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 0.19 11   true 0.69 18   true 1.7  98   true 0.28 15   true 0.24 18   unknown 0.07 0   unknown 0.10 4.0 timeout 900    1100   true 0.44 35   unknown 2.8  110   unknown 2.2  110  
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 0.18 11   true 0.69 17   true 1.7  99   true 0.28 15   true 0.24 18   unknown 0.07 0   unknown 0.09 4.0 timeout 900    1100   true 0.47 38   unknown 2.2  110   unknown 2.1  110  
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 0.17 11   true 0.68 18   true 1.7  99   true 0.26 15   true 0.24 17   unknown 0.07 0   unknown 0.10 4.0 timeout 900    1100   true 0.47 36   unknown 2.2  110   unknown 2.1  110  
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 0.17 11   true 0.66 17   true 1.7  99   true 0.30 15   true 0.27 18   unknown 0.07 0   unknown 0.10 4.0 timeout 900    1100   true 0.44 38   unknown 2.4  110   unknown 2.1  110  
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 0.18 11   true 0.69 18   true 1.7  98   true 0.29 15   true 0.22 18   unknown 0.07 0   unknown 0.10 4.0 timeout 900    1100   true 0.46 35   unknown 2.2  110   unknown 2.1  110  
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 0.14 11   true 0.67 17   true 1.7  98   true 0.31 15   true 0.23 17   unknown 0.05 0   unknown 0.10 4.0 timeout 900    1100   true 0.45 35   unknown 2.3  110   unknown 2.2  110  
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 0.14 11   true 0.67 18   true 1.7  98   true 0.29 15   true 0.23 17   unknown 0.07 0   unknown 0.09 4.0 timeout 900    1100   true 0.45 37   unknown 2.4  110   unknown 2.2  110  
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 0.17 11   true 0.69 18   true 1.7  99   true 0.30 15   true 0.26 18   unknown 0.10 0   unknown 0.10 4.0 timeout 900    1100   true 0.42 36   unknown 2.5  110   unknown 2.2  110  
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 0.18 11   true 0.68 18   true 1.7  97   true 0.27 15   true 0.29 17   unknown 0.07 0   unknown 0.10 4.0 timeout 900    1100   true 0.44 36   unknown 2.5  110   unknown 2.2  110  
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 0.18 11   true 0.69 17   true 1.7  99   true 0.26 14   true 0.24 17   unknown 0.06 0   unknown 0.09 4.0 timeout 900    1100   true 0.43 37   unknown 2.5  110   unknown 2.2  110  
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 0.16 11   true 0.68 18   true 1.7  98   true 0.33 15   true 0.24 18   unknown 0.07 0   unknown 0.09 4.0 timeout 900    1100   true 0.43 35   unknown 2.5  110   unknown 2.1  110  
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 0.17 11   true 0.73 18   true 1.7  97   true 0.27 15   true 0.25 17   unknown 0.08 0   unknown 0.14 4.0 timeout 900    1100   true 0.43 36   unknown 2.3  110   unknown 2.2  110  
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 0.17 11   true 0.69 18   true 1.8  98   true 0.26 15   true 0.26 18   unknown 0.10 0   unknown 0.10 4.0 timeout 900    1100   true 0.47 37   unknown 2.1  110   unknown 2.2  110  
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 0.17 11   true 0.69 18   true 1.7  98   true 0.31 15   true 0.23 17   unknown 0.08 0   unknown 0.09 4.0 timeout 900    1100   true 0.42 36   unknown 2.3  110   unknown 2.2  110  
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 0.14 11   true 0.69 17   true 1.7  98   true 0.27 15   true 0.27 17   unknown 0.07 0   unknown 0.10 4.0 timeout 900    1100   true 0.43 36   unknown 2.6  110   unknown 2.1  110  
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 0.15 11   true 0.68 18   true 1.7  99   true 0.26 15   true 0.24 18   unknown 0.07 0   unknown 0.10 4.0 timeout 900    1100   true 0.44 36   unknown 2.2  110   unknown 2.2  110  
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 0.17 11   true 0.66 18   true 1.7  99   true 0.30 15   true 0.23 17   unknown 0.07 0   unknown 0.10 4.0 timeout 900    1100   true 0.43 37   unknown 2.3  110   unknown 2.2  110  
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 0.17 11   true 0.74 19   true 1.7  100   true 0.32 18   true 0.24 18   unknown 0.07 0   unknown 0.10 5.0 timeout 900    1100   true 0.47 37   unknown 2.5  110   unknown 2.2  110  
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 0.16 11   true 0.68 18   true 1.7  99   true 0.29 15   true 0.24 18   unknown 0.07 0   unknown 0.10 4.0 timeout 900    1100   true 0.47 38   unknown 2.4  110   unknown 2.2  120  
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 0.18 11   true 0.70 18   true 1.7  99   true 0.29 16   true 0.23 17   unknown 0.07 0   unknown 0.10 4.0 timeout 900    1100   true 0.42 36   unknown 2.3  110   unknown 2.2  110  
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 0.17 11   true 0.66 18   true 1.7  97   true 0.27 15   true 0.22 18   unknown 0.07 0   unknown 0.11 4.0 timeout 900    1100   true 0.44 37   unknown 2.3  110   unknown 2.2  110  
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 0.18 11   true 0.69 18   true 1.7  98   true 0.27 15   true 0.23 18   unknown 0.07 0   unknown 0.11 4.0 timeout 900    1100   true 0.42 37   unknown 2.2  110   unknown 2.3  110  
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 0.18 11   true 0.67 18   true 1.7  99   true 0.28 15   true 0.24 18   unknown 0.10 0   unknown 0.12 4.0 timeout 900    1100   true 0.44 35   unknown 3.1  110   unknown 2.2  110  
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 0.18 11   true 0.68 18   true 1.7  99   true 0.27 15   true 0.24 17   unknown 0.07 0   unknown 0.13 4.0 timeout 900    1100   true 0.42 36   unknown 3.0  110   unknown 2.2  110  
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 0.18 11   true 0.67 17   true 1.7  97   true 0.31 15   true 0.22 18   unknown 0.07 0   unknown 0.10 4.0 timeout 900    1100   true 0.43 36   unknown 2.3  110   unknown 2.1  110  
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 0.17 11   true 0.67 18   true 1.7  98   true 0.28 15   true 0.23 17   unknown 0.07 0   unknown 0.09 4.0 timeout 900    1100   true 0.43 36   unknown 2.3  110   unknown 2.1  110  
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 0.17 11   true 0.66 18   true 1.7  98   true 0.26 15   true 0.26 18   unknown 0.10 0   unknown 0.14 4.0 timeout 900    1100   true 0.43 35   unknown 3.0  110   unknown 2.2  110  
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 0.18 11   true 0.67 18   true 1.7  97   true 0.28 15   true 0.24 17   unknown 0.07 0   unknown 0.10 4.0 timeout 900    1100   true 0.47 35   unknown 2.7  110   unknown 2.2  110  
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 0.18 10.0 true 0.65 17   true 1.7  98   true 0.26 14   true 0.23 17   unknown 0.07 0   unknown 0.10 4.0 timeout 900    1100   true 0.45 36   unknown 2.2  110   unknown 2.1  110  
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 0.17 11   true 0.74 18   true 1.7  99   true 0.30 15   true 0.24 17   unknown 0.07 0   unknown 0.10 4.0 timeout 900    1100   true 0.43 36   unknown 2.4  110   unknown 2.1  110  
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 0.14 11   true 0.71 17   true 1.7  98   true 0.31 15   true 0.24 18   unknown 0.07 0   unknown 0.10 4.0 timeout 900    1100   true 0.45 36   unknown 2.5  110   unknown 2.2  110  
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 0.17 11   true 0.71 18   true 1.7  99   true 0.31 15   true 0.24 18   unknown 0.06 0   unknown 0.13 4.0 timeout 900    1100   true 0.43 37   unknown 2.2  110   unknown 2.1  110  
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 0.15 11   true 0.69 17   true 1.7  98   true 0.27 14   true 0.27 18   unknown 0.07 0   unknown 0.10 4.0 timeout 900    1100   true 0.44 36   unknown 2.2  110   unknown 2.2  110  
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 0.16 11   true 0.67 17   true 1.7  99   true 0.27 15   true 0.24 17   unknown 0.07 0   unknown 0.10 4.0 timeout 900    1100   true 0.44 36   unknown 2.3  110   unknown 2.2  110  
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 0.17 11   true 0.68 17   true 1.7  98   true 0.27 15   true 0.23 18   unknown 0.07 0   unknown 0.10 4.0 timeout 900    1100   true 0.43 37   unknown 2.4  110   unknown 2.2  110  
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 0.15 11   true 0.66 17   true 1.7  97   true 0.29 15   true 0.26 18   unknown 0.07 0   unknown 0.09 4.0 timeout 900    1100   true 0.44 36   unknown 2.5  110   unknown 2.1  110  
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 0.18 11   true 0.69 18   true 1.7  98   true 0.30 15   true 0.24 18   unknown 0.07 0   unknown 0.10 4.0 timeout 900    1100   true 0.44 38   unknown 2.1  110   unknown 2.1  110  
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 0.18 11   true 0.72 18   true 1.7  99   true 0.28 16   true 0.24 18   unknown 0.07 0   unknown 0.10 4.0 timeout 900    1100   true 0.46 35   unknown 2.3  110   unknown 2.2  110  
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 0.14 11   true 0.71 18   true 1.7  98   true 0.28 15   true 0.23 17   unknown 0.08 0   unknown 0.13 4.0 timeout 900    1100   true 0.45 35   unknown 2.1  110   unknown 2.1  110  
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 0.19 11   true 0.72 18   true 1.7  98   true 0.28 15   true 0.24 17   unknown 0.07 0   unknown 0.10 4.0 timeout 900    1100   true 0.44 37   unknown 2.6  110   unknown 2.1  110  
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 0.14 11   true 0.68 18   true 1.7  98   true 0.32 15   true 0.23 17   unknown 0.08 0   unknown 0.10 4.0 timeout 900    1100   true 0.45 35   unknown 2.2  110   unknown 2.1  110  
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 0.18 11   true 0.69 18   true 1.7  98   true 0.27 15   true 0.21 17   unknown 0.08 0   unknown 0.10 4.0 timeout 900    1100   true 0.43 36   unknown 2.2  110   unknown 2.2  110  
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 0.18 11   true 0.66 18   true 1.7  97   true 0.29 15   true 0.27 17   unknown 0.07 0   unknown 0.09 4.0 timeout 900    1100   true 0.41 35   unknown 2.3  110   unknown 2.2  110  
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 0.19 11   true 0.68 18   true 1.7  97   true 0.27 15   true 0.23 18   unknown 0.08 0   unknown 0.10 4.0 timeout 900    1100   true 0.45 35   unknown 2.2  110   unknown 2.1  110  
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 0.19 11   true 0.68 18   true 1.7  97   true 0.27 15   true 0.23 18   unknown 0.07 0   unknown 0.10 4.0 timeout 900    1100   true 0.42 36   unknown 2.8  110   unknown 2.1  110  
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 0.19 11   true 0.66 18   true 1.7  99   true 0.28 15   true 0.23 18   unknown 0.08 0   unknown 0.09 4.0 timeout 900    1100   true 0.42 36   unknown 2.8  110   unknown 2.1  110  
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 0.16 11   true 0.67 18   true 1.8  98   true 0.30 15   true 0.26 18   unknown 0.07 0   unknown 0.09 4.0 timeout 900    1100   true 0.47 36   unknown 2.6  110   unknown 2.2  110  
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 0.18 11   true 0.70 17   true 1.7  99   true 0.28 15   true 0.22 18   unknown 0.07 0   unknown 0.10 4.0 timeout 900    1100   true 0.44 35   unknown 2.6  110   unknown 2.2  110  
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 0.15 11   true 0.67 18   true 1.7  97   true 0.28 15   true 0.22 18   unknown 0.10 0   unknown 0.09 4.0 timeout 900    1100   true 0.43 36   unknown 2.9  110   unknown 2.2  110  
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 0.17 11   true 0.70 17   true 1.7  98   true 0.27 15   true 0.27 17   unknown 0.10 0   unknown 0.10 4.0 timeout 900    1100   true 0.44 36   unknown 2.7  110   unknown 2.2  110  
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 0.19 11   true 0.68 18   true 1.7  98   true 0.27 15   true 0.23 17   unknown 0.07 0   unknown 0.11 4.0 timeout 900    1100   true 0.45 35   unknown 2.3  110   unknown 2.1  110  
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 0.14 11   true 0.73 18   true 1.7  99   true 0.29 15   true 0.23 18   unknown 0.07 0   unknown 0.10 4.0 timeout 900    1100   true 0.44 36   unknown 2.9  110   unknown 2.1  110  
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 0.17 11   true 0.66 18   true 1.7  99   true 0.27 15   true 0.23 17   unknown 0.07 0   unknown 0.10 4.0 timeout 900    1100   true 0.46 34   unknown 2.2  110   unknown 2.2  120  
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 0.18 11   true 0.66 18   true 1.7  99   true 0.30 15   true 0.24 18   unknown 0.10 0   unknown 0.10 4.0 timeout 900    1100   true 0.47 37   unknown 2.8  110   unknown 2.1  110  
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 0.17 11   true 0.69 18   true 1.7  98   true 0.31 15   true 0.26 17   unknown 0.05 0   unknown 0.10 4.0 timeout 900    1100   true 0.43 36   unknown 2.3  110   unknown 2.2  110  
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 0.15 11   true 0.67 18   true 1.7  99   true 0.29 15   true 0.22 17   unknown 0.07 0   unknown 0.13 4.0 timeout 900    1100   true 0.43 37   unknown 2.2  110   unknown 2.1  110  
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 0.17 11   true 0.66 18   true 1.7  98   true 0.31 15   true 0.24 18   unknown 0.08 0   unknown 0.11 4.0 timeout 900    1100   true 0.43 36   unknown 2.2  110   unknown 2.1  110  
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 0.23 11   true 0.65 18   true 1.7  99   true 0.29 15   true 0.23 17   unknown 0.08 0   unknown 0.10 4.0 timeout 900    1100   true 0.40 36   unknown 2.7  110   unknown 2.2  110  
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 0.18 11   true 0.68 18   true 1.7  98   true 0.30 15   true 0.23 18   unknown 0.07 0   unknown 0.12 4.0 timeout 900    1100   true 0.43 35   unknown 2.3  110   unknown 2.6  110  
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 0.18 11   true 0.67 17   true 1.7  98   true 0.28 14   true 0.27 18   unknown 0.06 0   unknown 0.10 4.0 timeout 900    1100   true 0.44 34   unknown 2.7  110   unknown 2.2  110  
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 0.13 11   true 0.72 18   true 1.7  99   true 0.28 14   true 0.24 18   unknown 0.07 0   unknown 0.10 4.0 timeout 900    1100   true 0.46 36   unknown 2.3  110   unknown 2.2  110  
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 0.14 11   true 0.68 18   true 1.7  98   true 0.28 15   true 0.23 17   unknown 0.07 0   unknown 0.10 4.0 timeout 900    1100   true 0.41 37   unknown 2.6  110   unknown 2.2  110  
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 0.17 11   true 0.70 17   true 1.7  97   true 0.31 15   true 0.26 17   unknown 0.07 0   unknown 0.10 4.0 timeout 900    1100   true 0.44 35   unknown 2.3  110   unknown 2.1  120  
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 0.17 11   true 0.67 18   true 1.7  99   true 0.28 15   true 0.22 17   unknown 0.07 0   unknown 0.11 4.0 timeout 900    1100   true 0.42 37   unknown 2.2  110   unknown 2.1  110  
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 0.17 11   true 0.66 17   true 1.7  98   true 0.27 14   true 0.24 18   unknown 0.07 0   unknown 0.10 4.0 timeout 900    1100   true 0.46 36   unknown 2.3  110   unknown 2.2  110  
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 0.19 11   true 0.68 18   true 1.7  99   true 0.33 15   true 0.24 17   unknown 0.07 0   unknown 0.10 4.0 timeout 900    1100   true 0.43 37   unknown 2.2  110   unknown 2.2  110  
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 0.17 11   true 0.73 18   true 1.7  99   true 0.30 15   true 0.25 18   unknown 0.07 0   unknown 0.09 4.0 timeout 900    1100   true 0.46 35   unknown 2.3  110   unknown 2.2  110  
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 0.18 11   true 0.67 18   true 1.7  99   true 0.30 15   true 0.22 17   unknown 0.07 0   unknown 0.10 4.0 timeout 900    1100   true 0.44 36   unknown 2.4  100   unknown 2.1  110  
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 0.17 11   true 0.74 18   true 1.7  97   true 0.27 15   true 0.24 18   unknown 0.07 0   unknown 0.11 4.0 timeout 900    1100   true 0.43 37   unknown 2.4  110   unknown 2.2  110  
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 0.18 11   true 0.67 18   true 1.7  99   true 0.28 15   true 0.23 18   unknown 0.07 0   unknown 0.10 4.0 timeout 900    1100   true 0.43 36   unknown 2.5  110   unknown 2.2  110  
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 0.15 11   true 0.67 18   true 1.7  99   true 0.28 15   true 0.26 18   unknown 0.07 0   unknown 0.12 4.0 timeout 900    1100   true 0.42 35   unknown 2.5  110   unknown 2.2  110  
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 0.17 11   true 0.71 18   true 1.7  98   true 0.28 15   true 0.27 17   unknown 0.07 0   unknown 0.10 4.0 timeout 900    1100   true 0.44 36   unknown 2.3  110   unknown 2.1  110  
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 0.53 47   true 850    770   true 26    370   true 14    490   true 0.66 20   unknown 0.07 0   unknown 0.18 14   unknown 1.1  23   true 1.1  50   unknown 3.2  140   unknown 3.2  150  
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 0.22 15   true 7.7  100   true 2.7  150   true 1.2  70   true 0.48 19   unknown 0.06 0   unknown 0.29 8.0 timeout 900    1100   true 0.80 47   unknown 3.0  130   unknown 2.7  140  
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 1.2  94   unknown 850    1200   true 27    260   true 84    1600   true 0.84 26   unknown 0.07 0   unknown 0.28 24   unknown 3.5  37   true 1.3  52   unknown 3.8  160   unknown 3.7  160  
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 0.24 16   true 170    710   true 3.0  150   true 2.4  110   true 0.40 18   unknown 0.07 0   unknown 0.38 9.0 timeout 900    1200   true 0.61 45   unknown 2.8  130   unknown 2.6  130  
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 0.22 15   true 35    230   true 2.7  140   true 1.6  79   true 0.38 18   unknown 0.07 0   unknown 0.25 8.0 timeout 900    1200   true 0.65 45   unknown 2.8  130   unknown 2.6  140  
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 0.27 20   true 850    1300   true 3.3  160   true 7.4  170   true 0.45 19   unknown 0.07 0   unknown 0.23 9.0 unknown 0.87 29   true 0.65 46   unknown 2.9  130   unknown 2.7  140  
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 0.35 26   true 850    680   true 24    600   true 34    420   true 0.44 19   unknown 0.07 0   unknown 0.17 9.0 timeout 900    1200   true 0.68 44   unknown 2.6  130   unknown 2.6  140  
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 0.21 16   true 53    270   true 2.7  140   true 1.8  81   true 0.40 18   unknown 0.08 0   unknown 0.25 8.0 timeout 900    1200   true 0.65 44   unknown 2.9  130   unknown 2.6  130  
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 0.44 31   true 850    1400   true 3.2  160   true 15    300   true 0.45 19   unknown 0.07 0   unknown 0.34 9.0 unknown 0.69 11   true 0.67 44   unknown 2.8  130   unknown 2.6  130  
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 0.59 35   true 850    960   true 32    2200   true 7.1  160   true 0.35 18   unknown 0.10 0   unknown 0.14 7.0 timeout 900    1100   true 0.51 40   unknown 3.1  110   unknown 2.3  120  
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 0.17 12   true 2.1  37   true 2.1  110   true 0.52 30   true 0.32 18   unknown 0.10 0   unknown 0.26 5.0 timeout 900    1200   true 0.53 39   unknown 2.6  110   unknown 2.3  120  
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 0.39 27   true 850    1300   true 24    390   true 15    330   true 0.51 19   unknown 0.07 0   unknown 0.62 10.0 unknown 1.2  50   true 0.83 47   unknown 2.7  130   unknown 2.7  140  
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 0.20 15   true 850    650   true 23    1200   true 4.3  120   true 0.32 18   unknown 0.06 0   unknown 0.13 6.0 timeout 900    1100   true 0.49 38   unknown 2.9  110   unknown 2.4  120  
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 0.21 13   true 1.7  29   true 2.0  110   true 0.50 27   true 0.28 18   unknown 0.07 0   unknown 0.11 5.0 timeout 900    1200   true 0.48 38   unknown 2.5  110   unknown 2.3  120  
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 0.52 23   true 130    14000   true 2.3  120   true 1.7  70   true 0.35 18   unknown 0.07 0   unknown 0.12 6.0 timeout 900    1100   true 0.52 39   unknown 3.0  120   unknown 2.4  120  
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 0.19 13   true 5.4  64   true 2.2  120   true 0.72 38   true 0.30 18   unknown 0.06 0   unknown 0.12 6.0 timeout 900    350   true 0.49 39   unknown 2.7  110   unknown 2.4  120  
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 0.20 14   true 11    150   true 2.5  120   true 1.4  62   true 0.37 18   unknown 0.07 0   unknown 0.12 6.0 timeout 900    1100   true 0.55 43   unknown 2.6  110   unknown 2.4  120  
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 0.16 14   true 3.4  42   true 2.3  120   true 6.0  61   true 0.38 18   unknown 0.07 0   unknown 0.13 7.0 timeout 900    1100   true 0.60 44   unknown 2.9  120   unknown 2.4  120  
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 0.22 15   true 20    260   true 2.4  120   true 1.6  73   true 0.32 18   unknown 0.07 0   unknown 0.13 7.0 unknown 0.59 9.0 true 0.52 39   unknown 2.9  110   unknown 2.4  120  
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 0.26 17   true 89    540   true 2.5  120   true 2.0  90   true 0.36 18   unknown 0.06 0   unknown 0.35 8.0 timeout 900    1100   true 0.57 39   unknown 2.7  120   unknown 2.4  120  
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 0.25 15   true 59    300   true 2.5  120   true 2.7  94   true 0.37 18   unknown 0.07 0   unknown 0.61 7.0 timeout 900    1200   true 0.54 42   unknown 2.9  120   unknown 2.4  120  
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 0.20 15   true 23    240   true 2.4  120   true 1.6  76   true 0.34 18   unknown 0.07 0   unknown 0.41 8.0 timeout 900    1100   true 0.56 39   unknown 2.5  120   unknown 2.7  120  
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 0.18 12   true 4.3  49   true 1.9  110   true 0.64 23   true 0.24 18   unknown 0.07 0   unknown 0.22 6.0 true 0.42 2.0 true 0.44 36   unknown 2.2  110   unknown 2.2  110  
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 0.22 15   true 17    170   true 2.5  130   true 1.5  80   true 0.36 18   unknown 0.07 0   unknown 0.16 9.0 unknown 0.60 30   true 0.52 39   unknown 2.6  110   unknown 2.4  120  
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 0.24 15   true 7.0  94   true 2.3  120   true 0.85 39   true 0.31 18   unknown 0.07 0   unknown 0.33 8.0 timeout 900    340   true 0.52 34   unknown 2.9  110   unknown 2.4  120  
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 0.19 16   true 1.6  33   true 2.4  120   true 0.78 51   true 0.32 18   unknown 0.07 0   unknown 1.4  8.0 timeout 900    1100   true 0.50 37   unknown 2.7  110   unknown 2.4  120  
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 0.19 13   true 4.1  29   true 2.2  110   true 0.56 33   true 0.30 18   unknown 0.06 0   unknown 0.14 6.0 timeout 900    1200   true 0.53 39   unknown 2.7  110   unknown 2.5  120  
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 0.25 17   true 850    1500   true 2.6  120   true 2.5  85   true 0.43 19   unknown 0.08 0   unknown 1.3  9.0 true 0.58 12   true 0.51 39   unknown 2.6  110   unknown 2.4  120  
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 0.30 21   true 5.2  45   true 25    240   true 1.1  72   true 0.41 19   unknown 0.06 0   true 1.0  10.0 true 1.3  77   true 0.64 44   unknown 2.8  130   unknown 2.6  130  
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 0.71 55   true 850    860   true 24    270   true 900    2200   true 0.49 19   unknown 0.06 0   unknown 0.59 10.0 unknown 1.9  77   true 0.74 43   unknown 2.6  130   unknown 2.7  140  
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 0.21 13   true 850    450   true 3.3  180   true 3.6  79   true 0.29 18   unknown 0.08 0   unknown 0.14 6.0 timeout 900    1100   true 0.49 38   unknown 2.3  110   unknown 2.3  120  
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 0.19 16   true 3.4  43   true 2.9  150   true 1.3  98   true 0.36 19   unknown 0.07 0   true 0.50 11   unknown 0.33 3.0 true 0.55 39   unknown 2.7  130   unknown 2.7  140  
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 0.24 15   true 97    400   true 25    1300   true 2.8  100   true 0.30 18   unknown 0.10 0   unknown 0.24 9.0 true 0.39 5.0 true 0.52 39   unknown 2.8  110   unknown 2.4  120  
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 0.19 12   true 1.5  25   true 2.1  110   true 0.46 28   true 0.30 18   unknown 0.10 0   unknown 0.11 5.0 true 0.28 4.0 true 0.49 38   unknown 2.8  110   unknown 2.3  120  
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 0.17 13   true 2.0  27   true 2.3  110   true 0.60 34   true 0.34 18   unknown 0.07 0   true 0.21 6.0 timeout 900    1100   true 0.44 38   unknown 2.7  110   unknown 2.3  120  
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 0.28 17   true 2.1  36   true 3.2  150   true 6.4  210   true 0.37 18   unknown 0.06 0   true 0.16 7.0 unknown 0.59 12   true 0.63 43   unknown 2.8  130   unknown 2.7  140  
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 1.9  140   true 850    1000   true 25    380   unknown 900    2100   true 0.57 20   unknown 0.07 0   unknown 0.23 15   unknown 3.3  190   true 0.83 46   unknown 2.8  130   unknown 2.8  140  
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 6.7  460   true 850    2100   true 27    260   unknown 900    5100   true 0.72 21   unknown 0.07 0   unknown 0.30 20   unknown 45    1200   true 0.91 43   unknown 3.3  140   unknown 3.3  150  
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 0.22 16   true 140    650   true 23    370   true 3.6  120   true 0.36 18   unknown 0.10 0   unknown 0.25 8.0 timeout 900    1200   true 0.56 39   unknown 2.6  120   unknown 2.4  120  
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 0.20 12   true 0.91 22   true 1.9  110   true 0.42 24   true 0.26 18   unknown 0.07 0   unknown 0.16 5.0 true 0.38 4.0 true 0.48 37   unknown 2.6  110   unknown 2.2  120  
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 0.19 13   true 1.1  27   true 2.1  110   true 0.56 33   true 0.29 18   unknown 0.07 0   unknown 0.18 6.0 true 0.31 5.0 true 0.53 39   unknown 2.7  110   unknown 2.4  120  
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 0.19 14   true 850    1200   true 2.2  110   true 4.3  200   true 0.29 18   unknown 0.06 0   unknown 0.25 9.0 true 0.31 4.0 true 0.50 35   unknown 2.3  110   unknown 2.3  120  
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 0.21 11   true 0.89 22   true 1.9  110   true 0.39 24   true 0.26 18   unknown 0.07 0   unknown 0.11 5.0 true 0.25 3.0 true 0.47 38   unknown 2.2  110   unknown 2.2  120  
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 0.15 12   true 2.7  40   true 1.9  110   true 0.52 25   true 0.29 18   unknown 0.07 0   unknown 0.15 5.0 timeout 900    1100   true 0.50 38   unknown 2.3  110   unknown 2.3  120  
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 0.34 19   true 2.3  39   true 24    230   true 0.94 65   true 0.37 19   unknown 0.07 0   true 0.79 9.0 true 0.81 31   true 0.56 40   unknown 2.6  130   unknown 2.6  140  
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 3.2  220   true 850    1200   true 26    250   unknown 900    2200   true 0.71 20   unknown 0.07 0   unknown 0.23 16   unknown 18    520   true 1.00 48   unknown 3.3  140   unknown 3.2  150  
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 0.19 14   true 2.3  35   true 2.4  120   true 0.79 50   true 0.33 18   unknown 0.07 0   unknown 0.25 8.0 true 0.44 14   true 0.53 41   unknown 2.4  120   unknown 2.5  120  
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 0.23 15   true 2.9  38   true 25    230   true 1.1  77   true 0.45 19   unknown 0.07 0   true 0.22 11   unknown 2.7  83   true 0.63 41   unknown 2.5  130   unknown 2.6  130  
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 0.21 14   true 2.2  36   true 24    580   true 0.79 52   true 0.42 18   unknown 0.07 0   true 0.20 9.0 unknown 1.7  70   true 0.59 41   unknown 2.4  110   unknown 2.4  120  
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 0.19 14   true 2.1  34   true 24    220   true 0.76 48   true 0.41 19   unknown 0.07 0   true 0.16 9.0 unknown 1.2  59   true 0.61 39   unknown 2.4  120   unknown 2.4  120  
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 0.24 16   true 850    670   true 2.6  130   true 11    300   true 0.36 18   unknown 0.07 0   unknown 0.65 8.0 timeout 900    1200   true 0.54 39   unknown 2.4  120   unknown 2.5  120  
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 0.20 14   true 1.7  41   true 3.6  190   true 0.82 59   true 0.46 19   unknown 0.07 0   unknown 17    65   timeout 900    1100   true 0.80 47   unknown 2.6  130   unknown 2.7  140  
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 0.31 24   true 850    1200   true 3.6  190   true 4.5  130   true 0.49 19   unknown 0.06 0   unknown 0.17 9.0 unknown 0.78 17   true 0.85 48   unknown 2.7  140   unknown 2.7  140  
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 0.24 15   true 43    240   true 2.7  150   true 1.9  81   true 0.44 19   unknown 0.07 0   unknown 0.12 8.0 timeout 900    1100   true 0.79 47   unknown 2.6  130   unknown 2.7  140  
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 0.28 19   true 850    1700   true 3.9  190   true 15    370   true 0.54 19   unknown 0.06 0   unknown 0.17 13   timeout 900    1100   true 0.83 47   unknown 3.0  140   unknown 2.9  140  
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 0.20 15   true 16    120   true 2.8  150   true 1.4  69   true 0.51 19   unknown 0.08 0   unknown 0.11 7.0 timeout 900    350   true 0.88 48   unknown 2.7  130   unknown 2.7  140  
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 0.17 14   true 4.4  42   true 2.6  150   true 0.88 57   true 0.47 19   unknown 0.10 0   unknown 0.12 7.0 timeout 900    350   true 0.87 47   unknown 2.6  130   unknown 2.6  140  
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 0.24 16   true 17    110   true 3.0  160   true 1.3  65   true 0.50 19   unknown 0.07 0   unknown 0.12 7.0 timeout 900    360   true 0.90 48   unknown 2.6  130   unknown 2.7  140  
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 0.23 15   true 170    350   true 24    600   true 1.3  64   true 0.49 19   unknown 0.08 0   unknown 0.12 7.0 timeout 900    360   true 0.85 47   unknown 2.6  130   unknown 2.6  140  
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 0.20 15   true 16    74   true 3.1  160   true 1.1  59   true 0.51 19   unknown 0.07 0   unknown 0.12 7.0 timeout 900    350   true 0.88 48   unknown 2.6  130   unknown 2.7  140  
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 0.27 16   true 15    98   true 3.0  160   true 1.2  64   true 0.49 19   unknown 0.10 0   unknown 0.12 7.0 timeout 900    350   true 0.89 47   unknown 2.6  130   unknown 2.6  140  
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 0.23 14   true 4.3  42   true 2.7  150   true 0.89 57   true 0.47 19   unknown 0.06 0   unknown 0.12 7.0 timeout 900    350   true 0.90 47   unknown 2.6  130   unknown 2.7  140  
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 0.23 16   true 10    76   true 2.9  150   true 1.2  62   true 0.49 19   unknown 0.07 0   unknown 0.12 7.0 timeout 900    360   true 0.86 48   unknown 2.6  130   unknown 2.7  140  
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 0.18 13   true 2.7  39   true 2.4  120   true 0.68 41   true 0.36 18   unknown 0.06 0   unknown 0.14 6.0 timeout 900    1100   true 0.57 43   unknown 2.4  120   unknown 2.4  120  
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 7.5  630   true 850    1400   true 5.4  230   true 37    660   true 0.49 20   unknown 0.07 0   unknown 0.19 11   unknown 1.4  36   true 0.75 47   unknown 2.6  130   unknown 2.6  140  
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 0.18 14   true 1.5  39   true 2.6  140   true 0.74 53   true 0.43 18   unknown 0.08 0   unknown 0.11 7.0 timeout 900    1100   true 0.72 45   unknown 2.6  130   unknown 2.7  140  
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 0.20 16   true 23    140   true 2.7  150   true 1.3  62   true 0.42 19   unknown 0.10 0   unknown 0.12 7.0 timeout 900    1100   true 0.72 47   unknown 2.5  130   unknown 2.8  140  
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 0.21 14   true 3.7  60   true 2.6  140   true 0.87 53   true 0.43 19   unknown 0.10 0   unknown 0.11 6.0 timeout 900    1100   true 0.73 46   unknown 2.6  130   unknown 2.6  140  
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 0.17 15   true 1.9  40   true 2.7  150   true 0.80 57   true 0.46 19   unknown 0.07 0   unknown 0.14 7.0 timeout 900    1200   true 0.74 47   unknown 2.6  130   unknown 2.6  140  
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 0.19 15   true 14    120   true 2.7  150   true 1.1  60   true 0.43 19   unknown 0.10 0   unknown 0.16 7.0 timeout 900    1200   true 0.74 47   unknown 2.6  130   unknown 2.6  140  
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 0.23 16   true 2.1  46   true 3.1  150   true 1.3  82   true 0.48 19   unknown 0.06 0   unknown 0.61 14   timeout 900    1100   true 0.75 47   unknown 2.6  130   unknown 2.7  140  
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 0.21 18   true 52    230   true 2.5  130   true 1.4  55   true 0.38 18   unknown 0.07 0   unknown 0.14 8.0 timeout 900    1100   true 0.59 40   unknown 2.4  120   unknown 2.4  120  
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 0.17 14   true 15    140   true 2.7  150   true 1.0  58   true 0.42 18   unknown 0.07 0   unknown 0.11 7.0 timeout 900    1100   true 0.74 47   unknown 2.6  130   unknown 2.6  140  
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 0.19 14   true 3.9  55   true 2.6  140   true 0.84 53   true 0.46 19   unknown 0.07 0   unknown 0.12 6.0 timeout 900    1100   true 0.74 47   unknown 2.5  130   unknown 2.7  130  
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 0.19 13   true 1.2  32   true 2.2  120   true 0.60 40   true 0.36 18   unknown 0.07 0   unknown 0.14 6.0 timeout 900    1100   true 0.56 43   unknown 2.4  110   unknown 2.4  120  
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 0.28 20   true 74    280   true 2.9  150   true 1.7  68   true 0.41 19   unknown 0.06 0   unknown 0.12 8.0 timeout 900    1100   true 0.78 47   unknown 2.6  130   unknown 2.6  130  
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 0.27 17   true 31    250   true 2.5  120   true 11    110   true 0.33 18   unknown 0.06 0   unknown 0.17 8.0 timeout 900    1200   true 0.54 39   unknown 2.4  120   unknown 2.4  120  
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 0.22 15   true 600    910   true 2.7  140   true 2.6  130   true 0.46 19   unknown 0.07 0   unknown 0.13 7.0 timeout 900    1100   true 0.73 47   unknown 2.6  130   unknown 2.8  140  
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 0.20 13   true 1.3  32   true 2.3  120   true 0.64 43   true 0.37 18   unknown 0.10 0   unknown 0.11 6.0 timeout 900    1100   true 0.59 43   unknown 2.4  120   unknown 2.4  120  
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 0.31 22   true 850    4700   true 24    630   true 900    11000   true 0.41 18   unknown 0.07 0   unknown 0.19 10.0 timeout 900    1200   true 0.54 40   unknown 2.3  110   unknown 2.4  120  
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 0.88 55   true 850    900   true 24    660   true 730    1600   true 0.48 19   unknown 0.07 0   unknown 0.22 11   true 3.4  120   true 0.58 41   unknown 2.4  110   unknown 2.5  120  
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 0.79 75   unknown 850    1300   true 26    250   true 63    1000   true 0.52 20   unknown 0.07 0   unknown 0.19 12   unknown 1.9  56   true 0.85 48   unknown 2.6  130   unknown 2.8  140  
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 0.20 14   true 6.4  60   true 2.6  150   true 0.91 56   true 0.48 19   unknown 0.07 0   unknown 0.24 7.0 timeout 900    1200   true 0.76 46   unknown 2.6  130   unknown 2.6  140  
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 0.21 15   true 850    1400   true 2.7  150   true 4.9  180   true 0.43 19   unknown 0.07 0   unknown 0.29 7.0 timeout 900    1100   true 0.77 47   unknown 2.6  130   unknown 2.6  140  
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 1.1  73   true 850    660   true 24    920   true 450    4300   true 0.49 19   unknown 0.06 0   unknown 0.53 9.0 timeout 900    1100   true 0.80 47   unknown 2.6  130   unknown 2.7  140  
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 0.20 15   true 1.7  41   true 2.7  150   true 0.88 58   true 0.35 18   unknown 0.08 0   true 0.17 7.0 timeout 900    1100   true 0.50 37   unknown 2.6  130   unknown 2.7  140  
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 0.21 14   true 3.1  46   true 2.6  150   true 0.85 56   true 0.47 19   unknown 0.06 0   unknown 0.17 7.0 timeout 900    1100   true 0.73 47   unknown 2.6  130   unknown 2.7  140  
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 0.23 16   true 31    170   true 2.7  150   true 1.4  68   true 0.45 19   unknown 0.10 0   unknown 0.13 7.0 unknown 0.58 9.0 true 0.79 47   unknown 2.6  130   unknown 2.6  140  
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 0.34 24   true 700    750   true 3.5  190   true 3.1  130   true 0.50 19   unknown 0.07 0   unknown 0.17 9.0 timeout 900    1200   true 0.90 48   unknown 2.6  130   unknown 3.3  130  
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 3.0  250   true 850    1300   true 27    280   true 900    2500   true 0.90 25   unknown 0.07 0   unknown 0.40 23   unknown 16    560   true 1.4  51   unknown 3.5  160   unknown 3.6  160  
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 0.22 17   true 720    850   true 5.1  200   true 1.6  80   true 0.45 19   unknown 0.07 0   unknown 0.14 9.0 timeout 900    1100   true 0.80 48   unknown 2.6  130   unknown 2.7  140  
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 0.23 16   true 9.1  110   true 4.0  190   true 1.2  68   true 0.47 19   unknown 0.07 0   unknown 0.17 9.0 timeout 900    1100   true 0.81 47   unknown 2.6  130   unknown 2.6  130  
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 0.23 16   true 400    620   true 2.7  150   true 1.7  82   true 0.47 19   unknown 0.07 0   unknown 0.13 8.0 timeout 900    1100   true 0.79 47   unknown 2.7  130   unknown 2.6  140  
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 0.25 17   true 140    420   true 2.9  150   true 14    190   true 0.47 19   unknown 0.07 0   unknown 0.14 9.0 unknown 0.66 12   true 0.81 48   unknown 2.6  130   unknown 2.7  140  
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 0.34 25   true 850    1700   true 3.3  170   true 8.2  210   true 0.48 19   unknown 0.07 0   unknown 0.60 10.0 unknown 0.70 33   true 0.73 47   unknown 2.9  130   unknown 3.0  140  
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 0.24 15   true 42    220   true 2.6  130   true 1.5  67   true 0.40 18   unknown 0.10 0   unknown 0.12 7.0 unknown 0.44 9.0 true 0.70 46   unknown 2.5  130   unknown 2.6  140  
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 0.23 17   true 2.2  40   true 3.2  150   true 0.96 56   true 0.40 19   unknown 0.07 0   true 0.20 7.0 true 0.41 8.0 true 0.65 44   unknown 2.6  130   unknown 2.7  140  
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 0.22 14   true 10    110   true 2.3  120   true 0.87 45   true 0.37 18   unknown 0.06 0   unknown 0.14 6.0 unknown 0.35 7.0 true 0.60 40   unknown 2.4  110   unknown 2.4  120  
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 0.20 13   true 2.3  26   true 2.1  110   true 0.47 28   true 0.31 18   unknown 0.06 0   unknown 0.11 5.0 timeout 900    1200   true 0.49 38   unknown 2.3  110   unknown 2.3  120  
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 0.20 13   true 1.7  32   true 2.2  120   true 0.65 42   true 0.40 18   unknown 0.06 0   unknown 0.11 6.0 timeout 900    1100   true 0.65 44   unknown 2.4  120   unknown 2.4  120  
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 0.21 13   true 2.4  32   true 23    1100   true 0.66 42   true 0.36 18   unknown 0.10 0   unknown 0.10 6.0 true 0.54 7.0 true 0.58 42   unknown 2.4  120   unknown 2.4  120  
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 0.23 16   true 33    240   true 2.7  140   true 1.9  85   true 0.39 19   unknown 0.07 0   unknown 0.40 10.0 true 0.47 11   true 0.64 41   unknown 2.7  130   unknown 2.6  140  
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 0.18 12   true 1.1  30   true 2.2  120   true 0.54 35   true 0.27 18   unknown 0.07 0   true 0.14 5.0 timeout 900    1100   true 0.44 36   unknown 2.4  110   unknown 2.3  120  
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 0.28 22   true 850    930   true 24    590   true 14    240   true 0.47 19   unknown 0.07 0   unknown 0.35 9.0 timeout 900    1200   true 0.69 46   unknown 2.6  130   unknown 2.6  140  
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 0.20 14   true 27    140   true 2.3  130   true 1.4  60   true 0.39 18   unknown 0.07 0   unknown 0.11 7.0 timeout 900    1100   true 0.61 41   unknown 2.4  120   unknown 2.5  120  
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 0.15 14   true 7.7  93   true 2.3  120   true 0.78 41   true 0.35 18   unknown 0.06 0   unknown 0.12 6.0 timeout 900    1100   true 0.59 44   unknown 2.4  120   unknown 2.4  120  
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 0.21 15   true 95    270   true 2.4  130   true 1.3  62   true 0.38 18   unknown 0.09 0   unknown 0.18 7.0 timeout 900    1100   true 0.65 44   unknown 2.4  110   unknown 2.4  120  
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 0.32 20   true 350    1100   true 14    360   true 5.3  170   true 0.31 18   unknown 0.07 0   unknown 0.15 8.0 unknown 0.88 32   true 0.47 39   unknown 2.3  110   unknown 2.4  120  
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 0.74 52   true 850    460   true 23    220   true 6.9  140   true 0.33 18   unknown 0.07 0   unknown 0.17 8.0 timeout 900    1100   true 0.48 38   unknown 2.3  110   unknown 2.3  120  
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 0.19 13   true 22    180   true 2.4  120   true 1.0  42   true 0.29 18   unknown 0.07 0   unknown 0.12 6.0 timeout 900    1200   true 0.44 38   unknown 2.3  110   unknown 2.3  120  
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 0.28 20   true 750    1400   true 3.8  180   true 6.1  140   true 0.34 18   unknown 0.10 0   unknown 0.18 8.0 timeout 900    1200   true 0.52 40   unknown 2.3  110   unknown 2.4  120  
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 0.19 11   true 0.88 21   true 1.9  100   true 0.36 22   true 0.28 18   unknown 0.07 0   unknown 0.10 5.0 true 0.47 3.0 true 0.47 37   unknown 2.2  110   unknown 2.3  120  
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 0.33 13   true 1.3  33   true 2.3  120   true 0.63 43   true 0.39 18   unknown 0.06 0   unknown 0.22 6.0 timeout 900    1100   true 0.64 44   unknown 2.4  120   unknown 2.4  120  
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 0.32 21   true 850    940   true 23    260   true 11    280   true 0.36 18   unknown 0.06 0   unknown 0.13 8.0 unknown 0.70 17   true 0.56 39   unknown 2.4  120   unknown 2.4  120  
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 0.24 17   true 280    790   true 2.5  120   true 2.9  94   true 0.37 18   unknown 0.07 0   unknown 0.16 8.0 unknown 0.44 18   true 0.55 43   unknown 2.8  120   unknown 2.4  120  
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 0.28 18   true 93    480   true 2.5  130   true 2.5  87   true 0.35 18   unknown 0.07 0   unknown 0.14 8.0 timeout 900    450   true 0.55 39   unknown 2.4  110   unknown 2.4  120  
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 0.20 12   true 16    160   true 2.0  110   true 0.90 38   true 0.32 18   unknown 0.07 0   unknown 0.12 6.0 unknown 0.53 4.0 true 0.47 38   unknown 2.3  110   unknown 2.3  120  
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 0.17 14   true 5.5  100   true 2.2  110   true 0.86 45   true 0.29 18   unknown 0.06 0   unknown 0.17 7.0 timeout 900    430   true 0.52 38   unknown 2.3  110   unknown 2.4  120  
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 0.59 51   true 850    1600   true 3.7  160   true 19    400   true 0.46 19   unknown 0.07 0   unknown 0.25 14   unknown 1.8  140   true 0.68 42   unknown 2.7  130   unknown 2.7  130  
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 0.20 15   true 390    980   true 2.8  130   true 2.3  84   true 0.36 18   unknown 0.10 0   unknown 0.12 7.0 unknown 0.37 10.0 true 0.52 39   unknown 2.4  120   unknown 2.4  120  
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 0.42 33   true 850    1700   true 3.3  150   true 10    240   true 0.42 19   unknown 0.07 0   unknown 0.22 12   unknown 0.89 66   true 0.62 40   unknown 2.6  130   unknown 2.6  130  
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 0.24 17   true 98    430   true 2.4  120   true 1.8  68   true 0.35 18   unknown 0.07 0   unknown 0.25 9.0 timeout 900    380   true 0.51 39   unknown 2.3  120   unknown 2.4  120  
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 0.20 15   true 100    530   true 2.4  120   true 2.4  88   true 0.42 18   unknown 0.07 0   unknown 0.12 7.0 timeout 900    1100   true 0.58 41   unknown 2.4  110   unknown 2.4  120  
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 0.19 15   true 28    280   true 2.5  140   true 1.6  71   true 0.40 18   unknown 0.09 0   unknown 0.13 7.0 timeout 900    1200   true 0.61 44   unknown 2.5  130   unknown 2.6  130  
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 0.35 21   true 850    1200   true 24    360   true 8.2  200   true 0.39 18   unknown 0.07 0   unknown 0.71 9.0 timeout 900    1100   true 0.57 41   unknown 2.6  130   unknown 2.6  130  
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 0.27 19   true 210    830   true 4.0  190   true 5.3  170   true 0.42 19   unknown 0.10 0   unknown 0.39 10.0 unknown 0.87 21   true 0.68 44   unknown 2.6  130   unknown 2.7  140  
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 0.18 15   true 82    470   true 2.4  130   true 2.0  76   true 0.38 18   unknown 0.07 0   unknown 0.13 7.0 timeout 900    1200   true 0.63 44   unknown 2.5  120   unknown 2.5  120  
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 0.26 17   true 70    540   true 2.9  140   true 13    190   true 0.41 19   unknown 0.07 0   unknown 0.23 11   unknown 0.80 18   true 0.64 42   unknown 2.6  130   unknown 2.6  130  
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 0.25 16   true 61    430   true 2.8  140   true 13    170   true 0.48 19   unknown 0.07 0   unknown 0.15 8.0 timeout 900    1200   true 0.64 46   unknown 2.5  130   unknown 2.6  130  
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 0.22 14   true 24    300   true 2.3  120   true 1.6  72   true 0.35 18   unknown 0.07 0   unknown 0.25 7.0 timeout 900    1200   true 0.55 40   unknown 2.4  110   unknown 2.4  120  
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 0.25 15   true 70    440   true 2.4  130   true 2.0  75   true 0.38 18   unknown 0.07 0   unknown 0.14 7.0 timeout 900    1200   true 0.61 44   unknown 2.4  120   unknown 2.5  120  
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 0.30 20   true 850    2300   true 2.5  120   true 2.1  75   true 0.37 18   unknown 0.07 0   unknown 0.14 8.0 unknown 0.75 30   true 0.57 40   unknown 2.4  110   unknown 2.4  120  
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 0.18 13   true 8.8  110   true 2.3  120   true 0.79 40   true 0.38 18   unknown 0.07 0   unknown 0.38 7.0 timeout 900    1100   true 0.55 39   unknown 2.3  110   unknown 2.4  120  
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 0.28 19   true 29    360   true 9.8  210   true 8.5  150   true 0.46 19   unknown 0.07 0   unknown 0.20 10.0 timeout 900    1200   true 0.68 42   unknown 2.6  130   unknown 3.1  130  
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 0.28 18   true 110    600   true 2.9  150   true 13    170   true 0.39 19   unknown 0.07 0   unknown 0.21 11   unknown 0.67 13   true 0.64 44   unknown 2.5  130   unknown 2.6  130  
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 0.24 16   true 100    560   true 2.7  140   true 3.1  110   true 0.44 18   unknown 0.06 0   unknown 0.13 8.0 timeout 900    1200   true 0.64 44   unknown 2.5  120   unknown 2.6  130  
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 0.31 22   true 850    1200   true 24    240   true 8.4  210   true 0.42 19   unknown 0.07 0   unknown 0.72 9.0 timeout 900    1100   true 0.60 42   unknown 2.5  130   unknown 2.6  130  
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 0.22 15   true 6.0  66   true 2.2  110   true 0.67 35   true 0.33 18   unknown 0.07 0   unknown 0.17 8.0 true 0.54 5.0 true 0.53 39   unknown 2.4  110   unknown 2.4  120  
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 0.63 50   true 850    2200   true 23    270   true 7.7  170   true 0.42 19   unknown 0.08 0   unknown 0.24 9.0 timeout 900    350   true 0.64 42   unknown 2.6  130   unknown 2.6  130  
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 0.26 18   true 660    1100   true 3.1  140   true 5.2  120   true 0.37 18   unknown 0.07 0   unknown 0.28 7.0 timeout 900    380   true 0.59 40   unknown 2.4  110   unknown 2.4  120  
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 0.42 30   true 850    730   true 26    280   true 11    300   true 0.59 20   unknown 0.07 0   unknown 0.69 17   timeout 920    1100   true 0.85 47   unknown 3.1  140   unknown 3.2  150  
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 0.26 19   true 850    2400   true 2.4  120   true 3.0  110   true 0.30 18   unknown 0.07 0   unknown 11    80   timeout 900    1200   true 0.50 38   unknown 2.2  110   unknown 2.4  120  
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 0.44 37   true 850    900   true 24    1300   true 900    3200   true 0.56 19   unknown 0.07 0   unknown 0.68 12   unknown 3.0  72   true 0.85 47   unknown 2.7  130   unknown 2.7  140  
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 0.49 32   true 850    720   true 25    700   true 900    3500   true 0.49 19   unknown 0.07 0   unknown 0.97 10.0 timeout 900    1200   true 0.81 47   unknown 2.7  140   unknown 2.7  140  
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 0.17 10.0 true 0.65 17   true 1.7  98   true 0.27 14   true 0.23 17   unknown 0.07 0   true 0.12 4.0 timeout 900    1100   true 0.43 37   unknown 2.1  110   unknown 2.6  110  
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 0.23 16   true 620    960   true 23    200   true 2.0  76   true 0.37 18   unknown 0.08 0   unknown 0.13 7.0 unknown 0.60 10.0 true 0.50 43   unknown 2.4  110   unknown 2.4  120  
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 0.18 13   true 1.1  28   true 2.2  110   true 0.55 37   true 0.33 18   unknown 0.07 0   unknown 0.16 6.0 timeout 900    1100   true 0.53 39   unknown 2.3  110   unknown 2.3  120  
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 0.19 12   true 18    190   true 2.1  110   true 1.2  49   true 0.28 18   unknown 0.08 0   unknown 0.19 6.0 unknown 0.49 5.0 true 0.48 37   unknown 2.2  110   unknown 2.3  120  
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 0.19 15   true 850    1100   true 23    340   true 34    480   true 0.33 18   unknown 0.07 0   unknown 0.24 8.0 timeout 900    1100   true 0.50 39   unknown 2.4  110   unknown 2.4  120  
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 0.24 14   true 850    3600   true 2.3  120   unknown 530    15000   true 0.33 18   unknown 0.07 0   unknown 0.27 7.0 timeout 900    1100   true 0.48 39   unknown 2.3  110   unknown 2.4  120  
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 0.20 15   true 850    4000   true 2.3  120   unknown 490    15000   true 0.31 18   unknown 0.07 0   unknown 0.11 6.0 timeout 900    1100   true 0.49 39   unknown 2.3  110   unknown 2.3  120  
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 0.24 14   true 850    4700   true 2.3  120   unknown 380    15000   true 0.32 18   unknown 0.07 0   unknown 0.25 7.0 timeout 900    1100   true 0.60 38   unknown 2.4  110   unknown 2.4  120  
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 0.20 15   true 850    5800   true 2.4  120   unknown 350    15000   true 0.35 18   unknown 0.10 0   unknown 0.24 7.0 timeout 900    1100   true 0.51 39   unknown 2.3  110   unknown 2.4  120  
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 0.27 16   true 850    7500   true 4.1  180   true 120    3400   true 0.38 18   unknown 0.10 0   unknown 0.15 9.0 timeout 900    1100   true 0.55 39   unknown 2.4  110   unknown 2.4  120  
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 0.20 14   true 52    390   true 2.4  120   true 2.7  110   true 0.33 18   unknown 0.07 0   unknown 0.25 8.0 timeout 900    1100   true 0.59 38   unknown 2.4  110   unknown 2.4  120  
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 0.25 14   true 850    730   true 23    600   true 900    1800   true 0.32 18   unknown 0.07 0   unknown 0.34 7.0 timeout 900    1200   true 0.51 39   unknown 2.3  110   unknown 2.3  120  
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 0.22 13   true 850    1100   true 23    1100   true 2.5  90   true 0.30 18   unknown 0.07 0   unknown 0.19 7.0 timeout 900    1200   true 0.54 41   unknown 2.3  110   unknown 2.5  120  
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 0.25 15   true 61    510   true 23    1100   true 19    200   true 0.33 18   unknown 0.06 0   unknown 0.17 7.0 unknown 0.56 6.0 true 0.50 39   unknown 2.3  110   unknown 2.3  120  
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 0.21 13   true 7.6  64   true 2.2  120   true 0.79 42   true 0.35 18   unknown 0.06 0   unknown 0.11 6.0 timeout 900    1100   true 0.53 40   unknown 2.3  110   unknown 2.4  120  
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 0.39 32   true 27    320   true 2.9  140   true 2.0  98   true 0.38 19   unknown 0.06 0   unknown 0.16 9.0 unknown 1.0  40   true 0.55 39   unknown 2.5  120   unknown 2.5  130  
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 0.20 13   true 7.8  63   true 2.2  120   true 0.74 39   true 0.31 18   unknown 0.07 0   unknown 0.12 6.0 timeout 900    1100   true 0.49 39   unknown 2.7  110   unknown 2.4  120  
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 0.20 13   true 8.5  90   true 2.4  120   true 4.1  76   true 0.37 18   unknown 0.10 0   unknown 0.15 7.0 timeout 900    1100   true 0.50 39   unknown 2.4  110   unknown 2.4  120  
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 0.17 14   true 9.4  110   true 2.4  120   true 4.3  88   true 0.33 18   unknown 0.10 0   unknown 0.14 8.0 timeout 900    1100   true 0.53 39   unknown 2.4  120   unknown 2.5  120  
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 0.20 13   true 8.5  95   true 2.3  120   true 4.1  69   true 0.32 18   unknown 0.07 0   unknown 0.25 6.0 timeout 900    1100   true 0.54 40   unknown 2.4  110   unknown 2.4  120  
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 0.19 15   true 1.2  26   true 2.2  110   true 0.58 33   true 0.28 18   unknown 0.07 0   unknown 0.25 6.0 true 0.48 4.0 true 0.46 38   unknown 2.3  110   unknown 2.3  120  
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 0.17 12   true 1.0  25   true 2.0  110   true 0.45 29   true 0.32 18   unknown 0.06 0   true 0.43 5.0 timeout 900    1100   true 0.53 37   unknown 2.2  110   unknown 2.3  120  
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 0.19 14   true 3.3  66   true 2.4  120   true 1.0  66   true 0.34 18   unknown 0.07 0   unknown 0.13 7.0 timeout 900    1100   true 0.51 39   unknown 2.3  110   unknown 2.4  120  
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 0.17 13   true 7.9  75   true 2.2  120   true 0.82 43   true 0.32 18   unknown 0.07 0   unknown 0.11 6.0 timeout 900    1100   true 0.56 43   unknown 2.3  110   unknown 2.4  120  
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 0.21 14   true 1.5  37   true 2.6  140   true 0.82 54   true 0.40 18   unknown 0.07 0   true 0.61 8.0 timeout 900    1100   true 0.62 42   unknown 2.6  130   unknown 2.6  130  
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 0.31 21   true 850    1200   true 3.9  190   true 42    390   true 0.47 19   unknown 0.07 0   unknown 0.15 10.0 unknown 1.8  56   true 0.68 44   unknown 2.6  130   unknown 2.6  130  
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 0.19 15   true 4.8  61   true 2.6  140   true 0.98 59   true 0.45 19   unknown 0.07 0   unknown 0.30 9.0 timeout 900    1200   true 0.78 47   unknown 2.5  130   unknown 2.7  130  
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 1.5  120   true 850    1600   true 26    620   true 140    3400   true 0.68 20   unknown 0.07 0   unknown 0.25 17   unknown 3.7  220   true 1.00 48   unknown 3.1  140   unknown 3.1  150  
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 0.18 12   true 2.7  27   true 2.1  110   true 0.51 21   true 0.23 18   unknown 0.07 0   unknown 0.10 5.0 timeout 900    1200   true 0.49 36   unknown 2.2  110   unknown 2.2  110  
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 0.16 12   true 0.78 20   true 1.8  100   true 0.34 20   true 0.25 17   unknown 0.07 0   unknown 0.10 5.0 timeout 900    1100   true 0.42 38   unknown 2.2  110   unknown 2.2  110  
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 0.17 11   true 0.82 20   true 1.9  100   true 0.40 20   true 0.29 18   unknown 0.07 0   unknown 0.10 5.0 timeout 900    1100   true 0.47 37   unknown 2.1  110   unknown 2.3  110  
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 0.19 13   true 100    380   true 8.7  200   true 2.1  56   true 0.27 18   unknown 0.07 0   unknown 0.17 6.0 timeout 900    1200   true 0.48 37   unknown 2.2  110   unknown 2.3  110  
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 0.42 32   true 850    2600   true 23    780   true 15    510   true 0.44 19   unknown 0.07 0   unknown 65    140   timeout 900    280   true 0.67 45   unknown 2.6  130   unknown 2.6  140  
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 0.20 12   true 45    160   true 23    220   true 0.69 24   true 0.27 18   unknown 0.08 0   unknown 0.29 5.0 timeout 900    1100   true 0.45 36   unknown 2.2  110   unknown 2.2  110  
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 0.18 11   true 0.81 20   true 1.8  100   true 0.35 20   true 0.28 18   unknown 0.07 0   unknown 0.10 5.0 timeout 900    1100   true 0.44 36   unknown 2.2  110   unknown 2.2  110  
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 0.21 17   true 850    740   true 3.5  180   true 17    270   true 0.41 19   unknown 0.07 0   unknown 0.13 7.0 unknown 0.64 9.0 true 0.66 46   unknown 2.5  130   unknown 2.6  140  
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 0.22 13   true 3.8  65   true 2.2  120   true 0.67 35   true 0.35 18   unknown 0.07 0   unknown 0.12 5.0 timeout 900    1100   true 0.55 41   unknown 2.3  110   unknown 2.4  120  
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 0.39 29   true 650    1300   true 25    370   true 4.7  160   true 0.53 19   unknown 0.09 0   unknown 0.54 13   true 8.8  280   true 0.75 47   unknown 2.7  140   unknown 2.8  140  
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 0.27 18   true 3.5  54   true 3.2  160   true 1.5  110   true 0.39 19   unknown 0.08 0   true 0.57 13   timeout 910    1100   true 0.55 37   unknown 2.8  140   unknown 2.8  140  
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 0.43 35   unknown 850    5200   true 5.8  200   true 4.9  230   true 0.83 21   unknown 0.07 0   unknown 1.6  18   true 2.3  130   true 1.5  50   unknown 3.1  150   unknown 3.2  150  
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 0.23 16   true 850    1300   true 2.8  140   true 7.3  210   true 0.44 19   unknown 0.07 0   unknown 0.59 10.0 unknown 0.50 11   true 0.69 46   unknown 2.6  130   unknown 2.6  140  
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 0.27 19   true 850    1700   true 3.1  150   true 31    500   true 0.45 19   unknown 0.06 0   unknown 0.93 10.0 unknown 0.63 15   true 0.72 45   unknown 2.6  130   unknown 2.6  140  
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 1.5  120   true 850    2000   true 28    300   true 130    1600   true 0.64 20   unknown 0.07 0   unknown 1.6  20   unknown 7.0  260   true 0.87 48   unknown 3.3  150   unknown 3.4  150  
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 0.30 23   true 850    1600   true 24    1200   true 68    920   true 0.47 19   unknown 0.10 0   unknown 0.30 10.0 timeout 900    340   true 0.74 46   unknown 2.6  130   unknown 2.6  130  
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 0.39 27   true 850    1800   true 24    600   true 34    580   true 0.53 19   unknown 0.07 0   unknown 0.29 11   unknown 0.83 20   true 0.76 45   unknown 2.6  130   unknown 2.7  130  
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 0.20 14   true 25    330   true 2.4  120   true 1.7  72   true 0.38 18   unknown 0.07 0   unknown 0.12 7.0 timeout 900    430   true 0.56 41   unknown 2.4  110   unknown 2.7  120  
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 0.22 13   true 6.9  110   true 2.2  110   true 0.88 45   true 0.34 18   unknown 0.07 0   unknown 0.14 6.0 unknown 0.44 5.0 true 0.55 41   unknown 2.4  110   unknown 2.5  120  
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 0.24 17   true 280    1200   true 3.1  140   true 5.2  150   true 0.36 18   unknown 0.07 0   unknown 0.13 7.0 timeout 900    450   true 0.56 41   unknown 2.4  110   unknown 2.5  120  
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 0.24 18   true 2.1  51   true 25    260   true 1.2  85   true 0.53 19   unknown 0.10 0   true 0.17 9.0 true 0.79 12   true 1.0  48   unknown 2.9  140   unknown 3.0  140  
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 0.19 13   true 8.4  120   true 2.2  120   true 3.0  54   true 0.36 18   unknown 0.07 0   unknown 0.10 6.0 timeout 900    1100   true 0.56 39   unknown 2.4  110   unknown 2.4  120  
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 0.21 15   true 12    110   true 2.6  140   true 1.00 56   true 0.38 18   unknown 0.07 0   unknown 0.24 7.0 timeout 900    350   true 0.62 41   unknown 2.8  130   unknown 2.5  130  
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 0.25 17   true 18    160   true 2.8  140   true 1.3  71   true 0.41 19   unknown 0.07 0   unknown 0.62 8.0 timeout 900    360   true 0.61 44   unknown 2.5  130   unknown 2.6  140  
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 0.17 14   true 7.6  75   true 2.4  120   true 0.84 45   true 0.38 18   unknown 0.07 0   unknown 0.30 7.0 timeout 900    350   true 0.59 43   unknown 2.4  110   unknown 2.4  120  
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 0.24 16   true 380    1000   true 2.8  130   true 4.7  150   true 0.36 19   unknown 0.07 0   unknown 0.21 9.0 timeout 900    1100   true 0.56 38   unknown 2.4  120   unknown 2.4  120  
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 0.21 12   true 12    130   true 2.1  110   true 0.90 45   true 0.30 18   unknown 0.07 0   unknown 0.11 6.0 timeout 900    430   true 0.51 39   unknown 2.3  110   unknown 2.3  120  
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 1.7  130   true 850    1100   true 25    670   true 32    530   true 0.54 20   unknown 0.07 0   unknown 0.16 12   unknown 1.9  79   true 0.86 47   unknown 2.7  130   unknown 2.7  140  
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 0.19 14   true 3.1  52   true 2.5  140   true 0.80 48   true 0.43 19   unknown 0.07 0   unknown 0.11 6.0 timeout 900    1100   true 0.66 45   unknown 2.5  130   unknown 2.6  130  
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 0.20 13   true 1.3  33   true 2.3  120   true 0.61 44   true 0.34 18   unknown 0.07 0   true 0.13 6.0 timeout 900    1100   true 0.49 37   unknown 2.4  120   unknown 2.4  120  
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 0.20 13   true 1.2  33   true 2.3  120   true 0.61 44   true 0.29 18   unknown 0.07 0   true 0.13 5.0 timeout 900    1100   true 0.48 36   unknown 2.4  120   unknown 2.4  120  
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 0.42 30   true 170    720   true 3.9  160   true 2.8  170   true 0.46 19   unknown 0.07 0   unknown 7.4  24   timeout 900    1200   true 0.74 45   unknown 3.0  140   unknown 3.0  140  
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 0.26 22   true 37    340   true 2.9  140   true 1.9  85   true 0.46 19   unknown 0.08 0   unknown 0.14 8.0 timeout 900    360   true 0.70 46   unknown 2.6  130   unknown 2.7  130  
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 0.42 29   true 200    440   true 19    990   true 2.7  94   true 0.45 19   unknown 0.07 0   unknown 0.14 9.0 timeout 900    1200   true 0.75 46   unknown 2.6  130   unknown 2.7  140  
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 1.7  130   true 850    1200   true 26    260   true 48    480   true 0.65 21   unknown 0.07 0   unknown 0.27 16   unknown 3.5  210   true 0.97 48   unknown 3.2  140   unknown 3.3  150  
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 0.70 58   true 850    1000   true 24    260   true 14    330   true 0.50 19   unknown 0.11 0   unknown 0.18 10.0 unknown 0.68 28   true 0.76 47   unknown 2.7  130   unknown 2.7  140  
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 5.3  370   true 850    1900   true 28    390   true 900    7700   true 0.97 26   unknown 0.07 0   unknown 0.97 26   unknown 15    620   true 1.3  52   unknown 3.9  160   unknown 4.1  160  
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 0.24 13   true 1.3  33   true 2.3  120   true 0.62 44   true 0.30 18   unknown 0.09 0   true 0.13 5.0 timeout 900    1100   true 0.46 35   unknown 2.4  120   unknown 2.4  120  
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 0.21 13   true 1.3  34   true 2.3  120   true 0.64 45   true 0.30 18   unknown 0.07 0   true 0.13 6.0 timeout 900    1100   true 0.51 36   unknown 2.6  130   unknown 2.6  140  
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 0.21 13   true 1.3  34   true 2.3  120   true 0.61 44   true 0.29 18   unknown 0.07 0   true 0.14 6.0 timeout 900    1100   true 0.49 36   unknown 2.4  120   unknown 2.5  120  
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 1.1  81   true 850    1300   true 24    260   true 38    930   true 0.53 19   unknown 0.07 0   unknown 0.23 11   unknown 1.7  76   true 0.82 47   unknown 2.7  140   unknown 2.8  140  
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 1.1  83   true 850    1800   true 25    360   unknown 780    15000   true 0.52 19   unknown 0.10 0   unknown 0.26 12   unknown 1.5  80   true 0.81 47   unknown 2.7  130   unknown 2.8  140  
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 0.19 13   true 5.1  58   true 2.3  120   true 0.87 45   true 0.41 18   unknown 0.07 0   unknown 0.14 6.0 timeout 900    1100   true 0.66 46   unknown 2.4  120   unknown 2.4  120  
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 0.17 13   true 1.3  34   true 2.3  120   true 0.62 44   true 0.33 18   unknown 0.07 0   true 0.14 6.0 timeout 900    1100   true 0.48 36   unknown 2.4  120   unknown 2.5  120  
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 0.20 13   true 1.3  33   true 2.2  120   true 0.64 43   true 0.28 18   unknown 0.05 0   true 0.13 6.0 timeout 900    1100   true 0.48 37   unknown 2.7  120   unknown 2.5  120  
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 0.29 21   true 8.3  88   true 4.3  190   true 2.3  180   true 0.55 21   unknown 0.07 0   unknown 0.25 18   timeout 900    1200   true 0.86 48   unknown 3.5  140   unknown 3.5  150  
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 0.22 15   true 5.3  47   true 2.7  140   true 1.0  72   true 0.44 19   unknown 0.07 0   unknown 0.16 9.0 timeout 900    1200   true 0.68 46   unknown 2.6  130   unknown 2.6  140  
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 0.24 16   true 6.6  66   true 3.0  150   true 1.4  110   true 0.50 19   unknown 0.07 0   unknown 0.17 12   timeout 900    1200   true 0.71 47   unknown 2.7  140   unknown 2.7  140  
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 0.22 15   true 5.7  57   true 2.8  150   true 1.0  69   true 0.44 19   unknown 0.07 0   unknown 0.14 9.0 timeout 900    1200   true 0.70 45   unknown 2.6  130   unknown 2.6  140  
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 0.23 16   true 6.4  64   true 2.9  150   true 1.4  100   true 0.44 19   unknown 0.07 0   unknown 0.21 11   timeout 900    1200   true 0.73 47   unknown 2.7  140   unknown 2.7  140  
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 0.28 20   true 9.7  110   true 3.8  190   true 2.0  160   true 0.51 19   unknown 0.07 0   unknown 0.23 16   timeout 900    1200   true 0.82 47   unknown 3.1  140   unknown 3.1  140  
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 0.26 17   true 6.8  70   true 3.3  180   true 1.6  120   true 0.47 19   unknown 0.07 0   unknown 0.19 13   timeout 900    1200   true 0.75 47   unknown 2.9  150   unknown 2.9  150  
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 0.27 19   true 6.8  74   true 3.6  200   true 1.8  130   true 0.53 19   unknown 0.10 0   unknown 0.31 15   timeout 900    1200   true 0.76 47   unknown 3.1  150   unknown 3.1  150  
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 0.18 12   true 1.1  29   true 2.2  120   true 0.52 35   true 0.27 18   unknown 0.07 0   unknown 0.11 6.0 timeout 900    1100   true 0.44 35   unknown 2.3  110   unknown 2.5  120  
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 0.21 16   true 26    170