Tool PeSCo 1.7-svn b8d6131600+ CPAchecker 1.7-svn 29852 ULTIMATE Automizer 0.1.23-635dfa2a CPA-witness2test 1.7-svn 29852 CProver witness2test 0.1 CPAchecker 1.7-svn 29852 ULTIMATE Automizer 0.1.23-635dfa2a
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8 timelimit: 90 s, memlimit: 7000 MB, CPU core limit: 2 timelimit: 900 s, memlimit: 7000 MB, CPU core limit: 2
Host apollon* [apollon004; apollon069; apollon137; apollon154] [apollon004; apollon006; apollon021; apollon061; apollon109; apollon155] apollon*
OS Linux 4.15.0-42-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33546 MB
Date of execution 2018-12-06 12:44:04 CET 2018-12-08 07:39:30 CET 2018-12-08 12:16:42 CET 2018-12-08 13:32:07 CET 2018-12-12 20:37:42 CET 2018-12-08 05:07:50 CET 2018-12-08 09:11:31 CET
Run set pesco.sv-comp19_prop-reachsafety.Systems_DeviceDriversLinux64_ReachSafety cpa-seq-validate-violation-witnesses-pesco.sv-comp19_prop-reachsafety.Systems_DeviceDriversLinux64_ReachSafety uautomizer-validate-violation-witnesses-pesco.sv-comp19_prop-reachsafety.Systems_DeviceDriversLinux64_ReachSafety cpa-witness2test-validate-violation-witnesses-pesco.sv-comp19_prop-reachsafety.Systems_DeviceDriversLinux64_ReachSafety fshell-witness2test-validate-violation-witnesses-pesco.sv-comp19_prop-reachsafety.Systems_DeviceDriversLinux64_ReachSafety cpa-seq-validate-correctness-witnesses-pesco.sv-comp19_prop-reachsafety.Systems_DeviceDriversLinux64_ReachSafety uautomizer-validate-correctness-witnesses-pesco.sv-comp19_prop-reachsafety.Systems_DeviceDriversLinux64_ReachSafety
Options -svcomp19-pesco -heap 10000M -stack 2048k -benchmark -timelimit 900s -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -setprop cpa.smg.memoryAllocationFunctions=malloc,__kmalloc,kmalloc,kzalloc,kzalloc_node,ldv_zalloc,ldv_malloc -setprop cpa.smg.arrayAllocationFunctions=calloc,kmalloc_array,kcalloc -setprop cpa.smg.zeroingMemoryAllocation=calloc,kzalloc,kcalloc,kzalloc_node,ldv_zalloc -setprop cpa.smg.deallocationFunctions=free,kfree,kfree_const -witness ../../results-verified/pesco.2018-12-06_1244.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml --full-output --validate ../../results-verified/pesco.2018-12-06_1244.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml -setprop witness.checkProgramHash=false -heap 5000m -benchmark -setprop analysis.summaryEdges=true -setprop cpa.callstack.skipVoidRecursion=true -setprop cpa.callstack.skipFunctionPointerRecursion=true -witness ../../results-verified/pesco.2018-12-06_1244.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml --graphml-witness ../../results-verified/pesco.2018-12-06_1244.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -witness ../../results-verified/pesco.2018-12-06_1244.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml --full-output --validate ../../results-verified/pesco.2018-12-06_1244.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml
sv-benchmarks/c/ status score witness inspect witness cpu (s) wall (s) mem (MB) energy (J) blkio-w (MB) blkio-r (MB) status score witness inspect witness cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB) status score witness inspect witness cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB) status score witness inspect witness cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB) status score witness inspect witness cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB) status score witness inspect witness cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB) status score witness inspect witness cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB)
ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko_false-unreach-call.cil.out.i 1 380   350   1700 2800 .020 0      1 21    12    710 0    0      0 65     38     1100   .66 0   0 8.6  130    380 .025  0     0 6.3    6.3    90    8.5   0      - -
ldv-linux-3.0/module_get_put-drivers-block-loop.ko_false-unreach-call.cil.out.i 0 68   43   2300 690 .078 0      0 .70 .42 42 0    0      0 .021 .022 5.6 0    0   0 .91 .58 47 0      0     0 .0018 .0023 .54 0     0      - -
ldv-linux-3.0/module_get_put-drivers-block-pktcdvd.ko_false-unreach-call.cil.out.i 0 81   60   1600 600 .057 0      0 .60 .38 40 0    0      0 .021 .022 5.6 0    0   0 .96 .60 48 0      0     0 .0057 .0070 .54 0     0      - -
ldv-linux-3.0/module_get_put-drivers-isdn-gigaset-gigaset.ko_false-unreach-call.cil.out.i 0 250   220   2500 2100 .020 0      0 .57 .36 40 0    0      0 .023 .024 5.6 0    0   0 .96 .62 48 0      0     0 .0015 .0028 .49 0     0      - -
ldv-linux-3.0/module_get_put-drivers-isdn-mISDN-mISDN_core.ko_false-unreach-call.cil.out.i 1 490   440   2800 5000 .057 0      1 54    46    780 0    0      0 9.3   5.0   330   .66 0   0 12    6.7  380 0      0     0 2.5    2.5    35    .50  0      - -
ldv-linux-3.0/module_get_put-drivers-net-ppp_generic.ko_false-unreach-call.cil.out.i 1 250   220   2700 2600 0     0      1 13    6.9  370 0    0      0 95     65     1900   .68 0   0 8.6  4.7  290 0      0     0 1.9    1.9    28    2.1   0      - -
ldv-linux-3.0/module_get_put-drivers-net-wan-farsync.ko_false-unreach-call.cil.out.i 0 910   610   6400 8900 0     0      0 93    59    2300 0    0      0 97     82     3900   1.6  0   0 1.4  .86 63 0      0     0 .15   .15   20    0     0      - -
ldv-linux-3.0/module_get_put-drivers-tty-synclink_gt.ko_false-unreach-call.cil.out.i 1 170   140   2200 2300 0     0      1 14    8.0  450 0    0      0 98     75     3200   1.8  0   0 9.5  5.2  330 0      .045 0 2.3    2.3    34    2.7   0      - -
ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko_false-unreach-call.cil.out.i 0 370   330   2500 3300 .070 0      0 97    84    1200 0    0      0 97     68     2700   1.6  0   0 15    8.2  480 0      .045 0 4.8    4.8    71    7.0   0      - -
ldv-linux-3.0/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko_false-unreach-call.cil.out.i 0 81   57   1600 970 .053 0      -32 9.1  4.8  330 0    0      -32 40     24     1100   .62 0   0 7.8  4.2  290 0      .31  0 1.7    1.7    28    1.9   0      - -
ldv-linux-3.0/usb_urb-drivers-net-can-usb-ems_usb.ko_false-unreach-call.cil.out.i 1 49   27   1600 560 .045 0      1 12    7.0  380 0    0      0 97     85     4000   1.8  0   0 6.8  3.8  290 0      .50  0 1.4    1.4    24    1.2   0      - -
ldv-linux-3.0/usb_urb-drivers-net-usb-catc.ko_false-unreach-call.cil.out.i 0 55   34   1600 550 0     0      -32 10    5.3  330 0    0      -32 21     12     520   .62 0   0 7.1  3.9  290 0      0     0 1.5    1.4    25    1.2   0      - -
ldv-linux-3.0/usb_urb-drivers-staging-lirc-lirc_imon.ko_false-unreach-call.cil.out.i 0 75   33   1900 700 .078 0      0 93    88    410 0    0      -32 24     14     790   .62 0   0 7.2  3.9  280 0      0     0 1.3    1.3    24    .96  0      - -
ldv-linux-3.0/usb_urb-drivers-usb-misc-iowarrior.ko_false-unreach-call.cil.out.i 0 83   59   1700 860 0     0      0 93    88    420 0    0      0 26     15     560   .71 0   0 7.4  4.1  290 0      0     0 1.2    1.3    24    .19  0      - -
ldv-linux-3.0/module_get_put-drivers-atm-eni.ko_true-unreach-call.cil.out.i 2 77   61   1200 620 0     0      - - - - 0 900    860    3800 0   0      2 34     19     920   .66 0    
ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko_true-unreach-call.cil.out.i 1 460   400   3400 3500 0     0      - - - - 0 53    29    1300 0   0      0 75     44     1000   .66 0    
ldv-linux-3.0/module_get_put-drivers-block-paride-pt.ko_true-unreach-call.cil.out.i 2 47   24   2400 470 0     0      - - - - 0 900    870    2900 0   0      2 27     17     680   .66 0    
ldv-linux-3.0/module_get_put-drivers-bluetooth-btmrvl_false-termination.ko_true-unreach-call.cil.out.i 2 36   22   1200 330 0     0      - - - - 0 910    850    6400 0   0      2 38     22     960   .62 0    
ldv-linux-3.0/module_get_put-drivers-char-ipmi-ipmi_watchdog.ko_true-unreach-call.cil.out.i 0 900   530   9700 9100 0     0      - - - - 0 .78 .47 41 0   0      0 .021 .022 5.6 0    0    
ldv-linux-3.0/module_get_put-drivers-gpu-drm-i915-i915.ko_true-unreach-call.cil.out.i 0 910   890   1700 4400 0     0      - - - - 0 .68 .42 41 0   0      0 .021 .022 5.6 0    0    
ldv-linux-3.0/module_get_put-drivers-hid-hid-magicmouse.ko_true-unreach-call.cil.out.i 2 97   39   2500 910 0     0      - - - - 0 900    600    6000 0   0      2 14     8.0   440   .66 0    
ldv-linux-3.0/module_get_put-drivers-hwmon-it87.ko_true-unreach-call.cil.out.i 2 75   60   1500 980 0     0      - - - - 0 820    720    7000 0   0      2 44     28     2100   .62 0    
ldv-linux-3.0/module_get_put-drivers-net-pppox_false-termination.ko_true-unreach-call.cil.out.i 2 18   7.0 1200 150 0     0      - - - - 0 750    740    7000 0   0      2 20     11     540   .66 0    
ldv-linux-3.0/module_get_put-drivers-net-sis900.ko_true-unreach-call.cil.out.i 2 120   100   1500 1800 0     0      - - - - 0 920    620    6000 0   0      2 27     15     650   .62 0    
ldv-linux-3.0/module_get_put-drivers-scsi-megaraid.ko_true-unreach-call.cil.out.i 2 95   75   1300 730 0     0      - - - - 0 910    690    6400 0   0      2 48     29     1400   .62 0    
ldv-linux-3.0/module_get_put-drivers-video-aty-aty128fb.ko_true-unreach-call.cil.out.i 2 52   36   1500 600 0     0      - - - - 0 940    840    5300 0   0      2 130     120     2800   .62 0    
ldv-linux-3.0/usb_urb-drivers-input-tablet-kbtab.ko_true-unreach-call.cil.out.i 1 180   74   3100 1500 0     0      - - - - 0 24    17    600 0   0      0 9.4   5.3   310   .62 0    
ldv-linux-3.0/usb_urb-drivers-media-video-c-qcam.ko_true-unreach-call.cil.out.i 1 79   60   1500 1000 0     0      - - - - 0 910    610    5900 0   0      0 8.6   4.8   310   .62 0    
ldv-linux-3.0/usb_urb-drivers-media-video-msp3400.ko_true-unreach-call.cil.out.i 2 130   110   1600 1500 0     0      - - - - 0 910    720    6500 0   0      2 44     27     1400   .62 0    
ldv-linux-3.0/usb_urb-drivers-misc-c2port-core.ko_true-unreach-call.cil.out.i 2 38   23   1400 410 0     0      - - - - 0 660    550    7000 0   0      2 20     11     530   .62 0    
ldv-linux-3.0/usb_urb-drivers-mtd-sm_ftl.ko_true-unreach-call.cil.out.i 0 910   680   7100 11000 0     0      - - - - 0 .76 .46 41 0   0      0 .021 .022 5.8 0    0    
ldv-linux-3.0/usb_urb-drivers-scsi-dc395x.ko_true-unreach-call.cil.out.i 1 170   140   1900 1700 0     0      - - - - 0 930    780    6800 0   0      0 13     7.5   300   .75 0    
ldv-linux-3.0/usb_urb-drivers-usb-serial-ir-usb.ko_true-unreach-call.cil.out.i 2 27   11   1200 230 0     0      - - - - 0 900    880    5500 0   0      2 56     34     910   .62 0    
ldv-linux-3.0/usb_urb-drivers-usb-serial-whiteheat.ko_true-unreach-call.cil.out.i 2 49   32   1400 550 0     0      - - - - 0 900    840    4200 0   0      2 100     67     1900   .62 0    
ldv-linux-3.0/usb_urb-drivers-uwb-i1480-dfu-i1480-dfu-usb.ko_true-unreach-call.cil.out.i 0 960   380   7100 8600 .041 0      - - - - 0 .84 .51 44 0   0      0 6.3   3.7   260   .66 0    
ldv-linux-3.0/usb_urb-drivers-vhost-vhost_net.ko_true-unreach-call.cil.out.i 2 84   65   1600 580 0     0      - - - - 0 910    610    6100 0   0      2 41     24     1200   .66 0    
ldv-linux-3.0/usb_urb-drivers-video-arkfb.ko_true-unreach-call.cil.out.i 2 39   23   1300 450 0     0      - - - - 0 900    640    6100 0   0      2 30     17     1200   .62 0    
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--gpu--drm--vmwgfx--vmwgfx.ko-ldv_main3_sequence_infinite_withcheck_stateful.cil.out.i 1 890   860   2500 4800 .061 0      1 54    40    1500 0    0      0 96     68     1900   .73 0   0 18    9.6  670 0      .16  0 7.4    7.4    79    3.0   0      - -
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--input--mouse--synaptics_usb_false-termination.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 0 62   43   1600 630 0     0      -32 13    6.6  470 0    0      0 77     44     2200   .71 0   0 8.5  4.6  300 0      0     0 2.3    2.3    27    .21  0      - -
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--input--mousedev_true-termination.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 0 110   69   1900 1200 .16  0      -32 26    17    630 0    0      0 74     50     720   .68 0   0 9.4  5.1  310 0      .52  0 2.2    2.2    29    2.2   0      - -
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--isdn--capi--kernelcapi.ko-ldv_main3_sequence_infinite_withcheck_stateful.cil.out.i 0 240   210   2700 2500 .012 0      0 .62 .38 41 0    0      0 .021 .023 5.6 0    0   0 .95 .62 47 0      0     0 .0019 .0029 .49 0     0      - -
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--media--dvb--dvb-usb--dvb-usb-dib0700.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 0 380   340   4000 4100 .016 0      0 95    83    2700 0    0      0 7.8   4.7   430   .65 0   0 11    6.2  490 0      .34  0 5.3    5.3    64    7.0   1.7    - -
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--media--video--cpia2--cpia2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 0 960   750   5900 6800 .090 0      0 .71 .44 42 0    0      0 6.4   3.5   270   .66 0   0 1.0  .64 49 0      0     0 .0047 .0059 .53 0     0      - -
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--media--video--mem2mem_testdev.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 1 58   40   1500 600 .025 0      1 12    6.9  470 0    0      0 97     86     3300   1.5  0   0 7.4  4.1  290 0      .34  0 1.6    1.6    27    1.6   .29   - -
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--media--video--vivi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 1 270   250   2100 2700 0     0      1 62    53    1900 0    0      0 97     83     3900   .67 0   0 9.6  5.2  320 0      1.0   0 2.4    2.4    31    .39  0      - -
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--mtd--chips--cfi_cmdset_0001.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 1 240   220   2700 2200 .020 0      1 12    7.1  380 0    0      0 97     69     910   1.5  0   0 8.9  4.9  340 0      0     0 2.3    2.3    32    2.6   0      - -
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--net--phy--dp83640.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 1 170   140   2000 1800 .049 0      1 14    7.6  530 0    0      0 97     70     1200   1.6  0   0 7.5  4.1  290 0      .31  0 1.8    1.8    28    .32  0      - -
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--net--wireless--p54--p54usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 1 230   210   1800 2800 .033 0      1 14    8.2  510 0    0      0 96     58     1200   1.7  0   0 8.3  4.5  310 0      0     0 1.9    1.9    29    2.2   0      - -
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--scsi--libfc--libfc.ko-ldv_main5_sequence_infinite_withcheck_stateful.cil.out.i 0 910   880   1700 4700 0     0      0 94    59    3300 0    .0041 0 97     66     1700   1.6  0   0 1.8  1.0  87 0      0     0 .52   .52   61    0     0      - -
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--staging--keucr--keucr.ko-ldv_main1_sequence_infinite_withcheck_stateful.cil.out.i 0 960   840   5400 7300 .033 0      0 .70 .42 43 0    0      0 6.5   3.6   270   .66 0   0 1.0  .68 50 0      0     0 .0043 .0058 .54 0     0      - -
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--usb--image--microtek.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 1 29   16   1200 300 .016 0      1 11    7.0  300 0    0      0 58     39     820   .68 0   0 6.5  3.6  280 0      .16  0 1.3    1.3    24    1.2   0      - -
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--usb--storage--usb-storage.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 1 320   290   2900 3600 .020 0      1 58    51    1100 0    0      0 96     79     3300   1.0  0   0 10    5.6  320 0      .48  0 3.0    3.0    41    4.5   0      - -
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--vhost--vhost_net.ko-ldv_main1_sequence_infinite_withcheck_stateful.cil.out.i 1 290   270   1600 2400 .025 0      1 17    10    540 0    0      0 97     63     1400   1.5  0   0 9.9  5.4  330 0      .39  0 2.9    2.9    38    1.0   0      - -
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--video--aty--atyfb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 0 960   700   5900 9200 .21  0      0 .66 .41 43 0    0      0 6.3   3.5   270   .66 0   0 .98 .63 49 0      0     0 .0017 .0022 .54 0     0      - -
ldv-linux-3.4-simple/32_7_cpp_false-unreach-call_single_drivers-mtd-chips-cfi_cmdset_0001.cil.out.i 0 9.8 2.8 710 76 0     0      0 .76 .47 42 0    0      0 .023 .024 5.6 0    0   0 .94 .61 48 0      0     0 .0052 .0067 .53 0     0      - -
ldv-linux-3.4-simple/32_7_cpp_false-unreach-call_single_drivers-net-phy-dp83640.cil.out.i 1 540   500   4100 3200 .057 0      1 51    32    2100 0    0      0 16     8.6   590   .70 0   0 8.1  130    440 .0041 0     0 .84   .84   23    1.8   0      - -
ldv-linux-3.4-simple/32_7_cpp_false-unreach-call_single_drivers-net-wireless-mwl8k.cil.out.i 0 420   380   4000 2600 .029 0      0 96    80    2100 0    0      0 17     9.5   590   .66 0   0 8.5  130    520 .84   0     0 .93   .93   24    2.5   0      - -
ldv-linux-3.4-simple/32_7_cpp_false-unreach-call_single_drivers-net-wireless-p54-p54usb.cil.out.i 1 700   660   3700 5000 .025 0      1 89    72    2200 0    0      0 19     11     590   .73 0   0 8.4  130    530 .0041 0     0 .89   .89   25    2.2   1.6    - -
ldv-linux-3.4-simple/32_7_cpp_false-unreach-call_single_drivers-staging-media-dt3155v4l-dt3155v4l.cil.out.i 0 420   390   3200 2800 .012 0      0 94    81    2100 0    0      0 16     8.6   480   .70 0   0 8.1  130    440 .061  0     0 .81   .81   24    1.4   1.2    - -
ldv-linux-3.4-simple/32_7_cpp_false-unreach-call_single_drivers-usb-image-microtek.cil.out.i 1 420   390   4000 3200 .012 0      1 78    64    1600 0    0      0 17     9.2   490   .73 0   0 8.1  130    440 .86   0     0 .81   .81   23    1.5   0      - -
ldv-linux-3.4-simple/43_1a_cilled_false-unreach-call_ok_linux-43_1a-drivers--misc--sgi-xp--xpc.ko-ldv_main3_sequence_infinite_withcheck_stateful.cil.out.i 0 960   640   7100 9100 .17  0      0 .78 .50 43 0    0      0 7.3   3.9   260   .62 0   0 1.3  .82 49 0      0     0 .0021 .0027 .55 0     0      - -
ldv-linux-3.4-simple/43_1a_cilled_false-unreach-call_ok_linux-43_1a-drivers--net--wireless--orinoco--orinoco_usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 1 320   290   2600 4700 .045 0      1 11    6.0  370 0    0      0 79     55     1000   .68 0   0 8.5  4.6  330 0      0     0 2.0    2.0    30    2.6   0      - -
ldv-linux-3.4-simple/43_1a_cilled_false-unreach-call_ok_linux-43_1a-drivers--scsi--dpt_i2o.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 0 960   710   5800 11000 0     0      0 .73 .45 42 0    0      0 6.3   3.5   260   .62 0   0 1.1  .74 49 0      0     0 .0018 .0024 .53 0     0      - -
ldv-linux-3.4-simple/43_1a_cilled_false-unreach-call_ok_linux-43_1a-drivers--scsi--megaraid--megaraid_mm_true-termination.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 0 60   43   1600 770 0     0      -32 14    7.4  470 0    0      0 69     49     720   .68 0   0 8.2  4.4  320 0      0     0 1.3    1.3    28    .21  0      - -
ldv-linux-3.4-simple/43_1a_cilled_false-unreach-call_ok_linux-43_1a-drivers--usb--gadget--mv_udc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 1 400   360   3000 4400 .066 0      1 13    7.1  520 0    0      -32 84     56     1200   .62 0   0 12    6.4  340 0      0     0 2.5    2.5    33    .47  0      - -
ldv-linux-3.4-simple/43_1a_cilled_false-unreach-call_ok_linux-43_1a-drivers--usb--gadget--pch_udc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 1 280   250   2500 2800 .037 0      1 13    7.0  380 0    0      -32 46     31     950   .62 0   0 9.3  5.1  320 0      0     0 2.2    2.2    31    2.4   0      - -
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--acpi--container.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 19   7.3 1200 150 0     0      - - - - 0 710    700    7000 0   0      2 19     12     1000   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--acpi--ec_sys.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 17   5.8 1200 140 0     0      - - - - 0 900    880    6900 0   0      2 12     6.7   390   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--acpi--fan.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 17   6.2 1200 150 0     0      - - - - 0 710    690    7000 0   0      2 19     11     670   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--ata--pata_marvell.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 21   9.8 1300 220 0     0      - - - - 0 910    880    5800 0   0      2 13     7.3   430   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--ata--pata_netcell.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 17   6.5 1200 130 0     0      - - - - 0 910    890    6700 0   0      2 13     7.2   400   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--auxdisplay--cfag12864b.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 16   5.5 1200 130 0     0      - - - - 0 900    860    6200 0   0      2 14     8.2   470   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--auxdisplay--cfag12864bfb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 18   6.5 1200 150 0     0      - - - - 0 910    890    6800 0   0      2 21     14     1300   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--auxdisplay--ks0108.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 14   4.4 1200 110 0     0      - - - - 0 640    630    7000 0   0      2 13     7.5   450   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--aten.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 40   26   1600 480 0     0      - - - - 0 480    450    7000 0   0      2 20     12     470   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--bpck.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 100   82   1400 900 0     0      - - - - 0 900    860    7000 0   0      2 28     16     740   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--comm.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 30   16   1200 290 0     0      - - - - 0 660    550    7000 0   0      2 23     14     550   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--dstr.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 400   360   3000 5100 0     0      - - - - 0 620    530    7000 0   0      2 29     16     530   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--epat.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 420   370   4400 6100 0     0      - - - - 0 710    640    7000 0   0      2 22     13     540   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--epia.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 36   19   1200 560 0     0      - - - - 0 930    670    6700 0   0      2 21     13     540   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--fit2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 18   6.4 1200 140 0     0      - - - - 0 900    880    5800 0   0      2 16     8.6   420   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--fit3.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 26   12   1200 290 0     0      - - - - 0 650    610    7000 0   0      2 23     14     540   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--friq.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 76   57   1200 640 0     0      - - - - 0 690    600    7000 0   0      2 29     17     550   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--frpw.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 62   44   1200 510 0     0      - - - - 0 670    560    7000 0   0      2 27     17     530   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--kbic.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 400   350   3900 5300 0     0      - - - - 0 910    660    6800 0   0      2 26     15     540   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--ktti.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 52   38   1600 600 0     0      - - - - 0 800    780    7000 0   0      2 15     8.4   450   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--on20.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 170   150   1900 2100 0     0      - - - - 0 640    620    7000 0   0      2 25     15     560   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--on26.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 300   270   1800 2200 0     0      - - - - 0 910    890    5500 0   0      2 33     19     840   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--char--hw_random--virtio-rng.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 13   4.4 1300 120 0     0      - - - - 0 900    890    3600 0   0      2 10     5.8   330   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--char--ipmi--ipmi_poweroff.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 25   13   1400 250 0     0      - - - - 0 900    880    4700 0   0      2 28     19     740   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--char--ramoops.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 16   5.4 1200 120 0     0      - - - - 0 580    560    7000 0   0      2 16     9.9   490   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--char--uv_mmtimer.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 20   8.1 1200 180 0     0      - - - - 0 910    890    5400 0   0      2 13     7.4   470   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--clocksource--cs5535-clockevt.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 15   4.6 1100 120 0     0      - - - - 0 900    890    5000 0   0      2 12     6.7   340   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--cpufreq--cpufreq_powersave.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 12   3.9 1300 94 0     0      - - - - 0 550    540    7000 0   0      2 10     5.5   320   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--cpufreq--pcc-cpufreq.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 26   14   1200 250 0     0      - - - - 0 900    870    6000 0   0      2 31     19     600   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--gpio--gpio-74x164.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 17   5.9 1200 140 0     .090  - - - - 0 890    870    7000 0   0      2 20     13     430   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--gpio--gpio-max7301.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 15   5.3 1200 120 0     0      - - - - 0 910    890    5900 0   0      2 17     11     410   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--gpio--gpio-mc33880.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 17   6.6 1200 150 0     0      - - - - 0 900    890    5200 0   .082  2 16     11     410   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--gpio--gpio-tps65912.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 14   4.6 1200 110 0     0      - - - - 0 370    350    7000 0   0      2 14     9.0   430   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--gpio--gpio-wm831x.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 17   6.1 1200 140 0     0      - - - - 0 900    880    6100 0   0      2 17     10     480   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--gpu--drm--i2c--sil164.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 23   11   1200 210 0     0      - - - - 0 900    880    4900 0   0      2 19     11     530   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--gpu--drm--tdfx--tdfx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 15   6.1 1300 130 0     0      - - - - 0 420    400    7000 0   0      2 13     7.0   420   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--gpu--stub--poulsbo.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 14   5.2 1300 120 0     0      - - - - 0 520    500    7000 0   0      2 12     6.5   330   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-cherry.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 15   4.9 1200 120 0     0      - - - - 0 530    520    7000 0   0      2 11     6.4   330   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-chicony.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 15   5.2 1200 120 0     0      - - - - 0 690    680    7000 0   0      2 14     7.7   340   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-elecom.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 14   4.5 1200 110 0     0      - - - - 0 550    540    7000 0   0      2 12     7.1   320   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-ezkey.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 15   5.1 1200 120 0     0      - - - - 0 600    590    7000 0   0      2 11     6.4   330   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-gyration.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 16   5.2 1200 130 0     0      - - - - 0 910    890    5400 0   0      2 12     6.6   330   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-kensington.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 15   4.7 1200 120 0     0      - - - - 0 470    460    7000 0   0      2 10     6.0   330   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-keytouch.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 14   4.6 1200 110 0     0      - - - - 0 400    380    7000 0   0      2 9.7   5.8   320   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-lcpower.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 16   5.4 1200 140 0     0      - - - - 0 910    890    5900 0   0      2 11     6.3   340   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-monterey.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 15   4.9 1200 120 0     .090  - - - - 0 500    490    7000 0   0      2 11     6.4   340   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-ortek.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 15   4.8 1100 120 0     0      - - - - 0 630    610    7000 0   0      2 9.7   5.7   330   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-petalynx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 15   5.4 1200 120 0     0      - - - - 0 570    550    7000 0   0      2 12     6.8   360   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-primax.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 16   5.8 1200 120 0     0      - - - - 0 910    890    1700 0   0      2 11     6.6   340   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-saitek.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 14   4.6 1200 100 0     0      - - - - 0 760    740    7000 0   0      2 10     6.0   330   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-samsung.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 18   7.1 1200 160 0     0      - - - - 0 910    890    6500 0   0      2 15     8.2   400   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-speedlink.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 16   5.3 1200 140 0     0      - - - - 0 580    570    7000 0   0      2 10     5.8   330   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-sunplus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 15   5.0 1200 120 0     .090  - - - - 0 610    600    7000 0   0      2 12     6.9   330   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-tivo.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 16   5.4 1200 130 0     0      - - - - 0 910    890    5900 0   0      2 13     7.4   340   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-topseed.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 15   5.1 1200 130 0     0      - - - - 0 910    890    6300 0   0      2 11     6.6   340   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-twinhan.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 17   5.4 1200 130 0     0      - - - - 0 910    890    6500 0   0      2 11     6.5   340   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-uclogic.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 15   5.0 1200 110 0     0      - - - - 0 440    430    7000 0   0      2 13     7.1   390   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-wacom.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 25   13   1200 250 0     0      - - - - 0 680    620    7000 0   0      2 21     13     540   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-waltop.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 17   6.1 1200 140 0     0      - - - - 0 910    890    5000 0   0      2 14     7.8   470   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-zydacron.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 19   7.6 1200 170 0     0      - - - - 0 900    870    6200 0   0      2 13     7.6   410   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hwmon--ads7871.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 19   8.6 1300 200 0     0      - - - - 0 910    890    5200 0   0      2 17     10     470   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hwmon--asus_atk0110.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 190   180   1800 2500 0     0      - - - - 0 920    650    6700 0   0      2 140     120     3300   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hwmon--emc1403.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 21   9.9 1200 200 0     0      - - - - 0 400    380    7000 0   0      2 16     9.3   520   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hwmon--gpio-fan.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 18   7.0 1200 170 0     0      - - - - 0 530    430    7000 0   0      2 20     11     540   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hwmon--max1111.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 16   5.7 1300 120 0     0      - - - - 0 770    750    7000 0   0      2 13     7.3   420   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hwmon--pcf8591.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 21   9.2 1200 190 0     0      - - - - 0 800    790    7000 0   0      2 22     13     520   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hwmon--pmbus--max16064.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 14   4.6 1200 120 0     0      - - - - 0 910    890    6400 0   0      2 14     7.7   340   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hwmon--pmbus--max8688.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 15   4.9 1200 120 0     0      - - - - 0 780    770    7000 0   0      2 14     7.7   360   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--i2c--algos--i2c-algo-pca.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 21   8.6 1200 180 0     0      - - - - 0 920    620    6200 0   0      2 18     9.8   550   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--i2c--busses--i2c-diolan-u2c.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 22   10   1200 210 0     0      - - - - 0 930    870    4300 0   0      2 25     15     540   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--i2c--busses--i2c-tiny-usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 19   7.7 1200 170 0     0      - - - - 0 900    880    4800 0   0      2 21     13     490   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--i2c--i2c-smbus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 19   7.8 1200 170 0     0      - - - - 0 640    620    7000 0   0      2 18     11     520   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--ide--cmd640.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 26   13   1200 220 0     0      - - - - 0 900    860    5600 0   0      2 21     11     550   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--ide--ide-pnp.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 20   9.4 1200 200 0     0      - - - - 0 850    820    7000 0   0      2 12     6.7   380   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--gameport--lightning.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 16   5.1 1200 120 0     0      - - - - 0 900    590    6500 0   0      2 15     9.6   410   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--joystick--magellan.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 16   5.8 1200 140 0     0      - - - - 0 760    700    7000 0   0      2 17     10     420   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--joystick--spaceball.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 18   6.5 1200 160 0     0      - - - - 0 760    730    7000 0   0      2 17     10     460   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--joystick--spaceorb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 21   9.7 1300 220 0     0      - - - - 0 430    350    7000 0   0      2 19     13     540   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--joystick--stinger.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 16   5.6 1200 120 0     0      - - - - 0 890    880    7000 0   0      2 15     9.6   430   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--joystick--twidjoy.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 18   7.0 1200 140 0     0      - - - - 0 660    540    7000 0   0      2 14     9.2   430   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--joystick--warrior.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 21   8.9 1200 170 0     0      - - - - 0 900    890    3500 0   0      2 15     9.4   440   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--joystick--zhenhua.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 15   5.4 1300 110 0     0      - - - - 0 910    890    6600 0   0      2 15     9.4   390   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--keyboard--newtonkbd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 19   8.1 1300 170 0     0      - - - - 0 910    880    6700 0   0      2 15     9.5   450   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--keyboard--stowaway.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 17   5.6 1200 150 0     0      - - - - 0 910    870    6400 0   0      2 15     9.3   430   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--keyboard--xtkbd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 16   5.5 1200 130 0     0      - - - - 0 900    870    6100 0   0      2 33     24     2400   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--atlas_btns.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 16   6.1 1300 150 0     0      - - - - 0 900    890    5700 0   0      2 16     10     590   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--cma3000_d0x_i2c.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 16   5.8 1200 140 0     0      - - - - 0 350    340    7000 0   0      2 12     6.9   400   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--xen-kbdfront.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 24   12   1300 250 0     0      - - - - 0 900    890    5200 0   0      2 16     9.1   490   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--mouse--gpio_mouse.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 22   11   1300 230 0     0      - - - - 0 900    860    6800 0   0      2 16     8.7   430   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--mouse--vsxxxaa.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 26   14   1500 270 0     0      - - - - 0 640    560    7000 0   0      2 16     8.9   500   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--ad7879-spi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 19   8.3 1200 160 0     0      - - - - 0 900    880    6400 0   0      2 13     7.2   420   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--cyttsp_spi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 21   9.8 1200 200 0     0      - - - - 0 850    810    7000 0   0      2 16     8.8   490   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--dynapro.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 16   5.7 1200 140 0     0      - - - - 0 810    800    7000 0   0      2 15     9.2   430   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--egalax_ts.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 21   10   1300 200 0     0      - - - - 0 900    880    5600 0   0      2 16     9.9   510   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--fujitsu_ts.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 16   5.5 1200 130 0     0      - - - - 0 910    890    6000 0   0      2 14     9.1   410   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--gunze.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 20   8.6 1300 160 0     0      - - - - 0 910    890    6300 0   0      2 15     9.4   430   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--hampshire.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 18   7.4 1200 180 0     0      - - - - 0 910    890    6900 0   0      2 14     9.2   430   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--inexio.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 18   7.1 1200 160 0     0      - - - - 0 840    830    7000 0   0      2 15     9.4   430   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--mtouch.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 20   9.3 1300 180 0     0      - - - - 0 910    890    6900 0   0      2 16     9.9   430   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--penmount.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 19   7.4 1200 170 0     0      - - - - 0 830    790    7000 0   0      2 21     14     480   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--touchit213.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 19   7.8 1200 180 0     0      - - - - 0 910    890    6300 0   0      2 16     10     430   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--touchright.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 16   5.5 1200 140 0     0      - - - - 0 760    750    7000 0   0      2 15     9.0   430   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--touchwin.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 16   5.5 1200 120 0     0      - - - - 0 830    820    7000 0   0      2 15     9.4   420   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--tsc40.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 17   5.7 1200 140 0     0      - - - - 0 870    860    7000 0   0      2 15     9.5   430   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--wacom_w8001.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 47   34   1500 650 0     0      - - - - 0 900    880    6500 0   0      2 26     17     640   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--isdn--hardware--avm--avm_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 16   6.3 1200 130 0     0      - - - - 0 910    890    5600 0   0      2 13     7.1   430   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--isdn--hardware--avm--b1pci.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 20   8.5 1200 200 0     0      - - - - 0 14    9.2  710 0   0      2 36     26     980   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--isdn--hardware--avm--b1pcmcia.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 16   5.6 1200 130 0     0      - - - - 0 730    710    7000 0   0      2 23     15     730   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--isdn--hardware--avm--t1pci.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 17   6.1 1200 120 0     0      - - - - 0 13    8.2  610 0   0      2 22     14     540   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--isdn--hardware--eicon--divadidd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 1 28   15   1200 280 0     0      - - - - 0 490    400    7000 0   0      0 7.6   4.4   300   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--isdn--hisax--avma1_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 16   5.6 1200 140 0     0      - - - - 0 500    490    7000 0   0      2 16     9.0   510   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--isdn--hisax--elsa_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 19   7.9 1200 150 0     0      - - - - 0 910    890    6800 0   0      2 18     12     470   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--isdn--hisax--sedlbauer_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 16   5.8 1200 120 0     0      - - - - 0 590    570    7000 0   0      2 15     8.3   530   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--isdn--hisax--teles_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 19   7.7 1200 180 0     0      - - - - 0 910    890    5900 0   0      2 19     12     560   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--leds--leds-bd2802.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 52   38   1200 470 0     0      - - - - 0 690    590    7000 0   0      2 40     26     740   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--leds--leds-lp5521.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 66   53   1500 800 0     0      - - - - 0 890    820    7000 0   0      2 22     13     530   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--leds--leds-ot200.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 15   4.6 1200 120 0     0      - - - - 0 490    430    7000 0   0      2 13     7.4   470   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--leds--ledtrig-backlight.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 17   6.5 1200 140 0     0      - - - - 0 530    520    7000 0   0      2 12     7.1   390   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--leds--ledtrig-default-on.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 14   4.3 1100 110 0     0      - - - - 0 470    460    7000 0   0      2 8.8   5.0   310   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--leds--ledtrig-gpio.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 15   5.3 1200 130 0     0      - - - - 0 910    900    7000 0   0      2 14     7.9   430   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--macintosh--mac_hid.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 16   5.3 1200 120 0     0      - - - - 0 910    890    6000 0   0      2 14     8.8   400   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--md--dm-zero.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 16   5.7 1200 130 0     0      - - - - 0 770    760    7000 0   0      2 12     6.8   350   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--max2165.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 28   16   1400 330 0     0      - - - - 0 910    880    5000 0   0      2 28     19     1000   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--mc44s803.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 25   13   1300 240 0     0      - - - - 0 900    890    3200 0   0      2 20     13     560   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--mt2060.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 34   21   1500 360 0     0      - - - - 0 900    880    4500 0   0      2 25     17     780   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--mt2131.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 23   12   1300 200 0     0      - - - - 0 900    880    3400 0   0      2 29     19     1400   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--mt2266.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 20   8.2 1200 170 0     0      - - - - 0 900    880    4200 0   0      2 29     19     1200   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--mxl5007t.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 56   42   1600 660 0     0      - - - - 0 490    400    7000 0   0      2 39     27     2000   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--qt1010.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 140   120   2500 1700 0     0      - - - - 0 920    630    6600 0   0      2 81     69     3500   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--tda18218.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 44   31   1600 480 0     0      - - - - 0 900    860    6700 0   0      2 29     20     960   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--tda8290.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 150   140   1800 1900 0     0      - - - - 0 900    870    7000 0   0      2 49     33     940   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--tda9887.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 40   26   1200 430 0     0      - - - - 0 800    770    7000 0   0      2 40     24     930   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--bt8xx--dvb-bt8xx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 90   74   1200 730 0     0      - - - - 0 530    500    7000 0   0      2 68     51     940   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-a800.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 21   9.6 1200 180 0     0      - - - - 0 810    790    7000 0   0      2 20     11     620   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-au6610.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 29   17   1400 300 0     0      - - - - 0 320    300    7000 0   0      2 22     12     530   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-az6007.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 50   34   1200 400 0     0      - - - - 0 530    460    7000 0   0      2 44     24     940   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-az6027.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 87   72   1600 1100 0     0      - - - - 0 920    700    7000 0   0      2 41     23     890   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-ce6230.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 24   13   1200 220 0     0      - - - - 0 360    340    7000 0   0      2 28     18     600   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-cinergyT2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 51   37   1400 600 0     0      - - - - 0 900    890    3300 0   0      2 25     14     650   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-dibusb-mb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 25   12   1200 230 0     0      - - - - 0 910    880    6200 0   0      2 32     17     1000   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-dibusb-mc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 19   8.4 1200 160 0     0      - - - - 0 320    300    7000 0   0      2 17     8.8   560   .23 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-digitv.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 28   16   1200 320 0     0      - - - - 0 900    860    6500 0   0      2 27     15     780   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-dtt200u.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 43   29   1400 520 0     0      - - - - 0 910    890    4800 0   0      2 28     16     1000   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-dtv5100.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 29   17   1400 330 0     0      - - - - 0 900    870    5900 0   0      2 20     11     530   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-gl861.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 28   15   1300 290 0     0      - - - - 0 310    300    7000 0   0      2 17     9.5   540   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-mxl111sf.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 290   260   2500 3500 0     0      - - - - 0 910    870    6200 0   0      2 110     88     3800   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-nova-t-usb2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 22   9.9 1200 190 0     0      - - - - 0 900    890    3200 0   0      2 17     9.6   670   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-pctv452e.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 120   100   1500 1400 0     0      - - - - 0 680    620    7000 0   0      2 41     24     1000   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-rtl28xxu.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 180   160   1600 2400 0     0      - - - - 0 910    850    6800 0   0      2 50     33     960   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-ttusb2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 38   25   1200 430 0     0      - - - - 0 910    890    4900 0   0      2 34     20     1100   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-umt-010.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 22   10   1200 200 0     0      - - - - 0 440    430    7000 0   0      2 17     9.6   530   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-vp7045.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 39   24   1400 400 0     0      - - - - 0 910    860    5800 0   0      2 35     19     790   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--mxl111sf-demod.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 36   23   1400 370 0     0      - - - - 0 900    880    4800 0   0      2 25     14     700   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--cxd2820r.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 270   240   2000 3500 0     0      - - - - 0 910    890    5900 0   0      2 69     52     3400   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--dib3000mb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 0 960   440   7100 8500 0     0      - - - - 0 .87 .54 43 0   0      0 6.1   3.2   260   .65 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--dib3000mc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 180   160   2000 2200 0     0      - - - - 0 490    430    7000 0   0      2 43     31     760   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--dvb_dummy_fe.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 17   6.5 1200 130 0     0      - - - - 0 900    890    4400 0   0      2 16     8.8   520   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--ec100.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 23   11   1300 210 0     0      - - - - 0 900    890    3600 0   0      2 20     12     520   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--it913x-fe.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 260   230   2200 3100 0     0      - - - - 0 850    740    7000 0   0      2 70     51     2800   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--rtl2830.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 27   14   1200 260 0     0      - - - - 0 930    800    7000 0   0      2 41     30     2600   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--stb6000.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 23   12   1300 270 0     .090  - - - - 0 910    890    6200 0   0      2 24     16     560   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--tda18271c2dd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 72   58   1200 570 0     0      - - - - 0 620    470    7000 0   0      2 82     68     3900   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--tda826x.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 20   9.3 1200 180 0     0      - - - - 0 910    890    5800 0   0      2 24     16     610   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--tua6100.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 23   12   1400 260 0     0      - - - - 0 910    890    6300 0   0      2 23     15     510   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--ttpci--budget-patch.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 45   32   1200 380 0     0      - - - - 0 910    870    5700 0   0      2 31     21     710   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--ttpci--budget.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 80   65   1200 660 0     0      - - - - 0 910    890    6300 0   0      2 62     45     1200   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_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.i 2 12   3.8 1100 92 0     0      - - - - 0 480    460    7000 0   0      2 10     5.7   330   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-alink-dtu-m.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 12   3.7 1100 100 0     0      - - - - 0 410    390    7000 0   0      2 9.0   5.1   310   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-anysee.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 13   3.9 1100 100 0     0      - - - - 0 450    440    7000 0   0      2 8.3   5.1   310   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-apac-viewcomp.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 12   3.8 1200 89 0     0      - - - - 0 410    390    7000 0   0      2 10     5.7   310   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-asus-pc39.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 13   3.8 1200 94 0     0      - - - - 0 410    390    7000 0   0      2 8.8   5.0   320   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_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.i 2 13   3.9 1100 95 0     0      - - - - 0 410    390    7000 0   0      2 11     6.5   320   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-ati-x10.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 13   3.8 1100 88 0     0      - - - - 0 440    420    7000 0   0      2 10     5.6   320   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-avermedia-a16d.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 13   3.8 1200 100 0     0      - - - - 0 470    450    7000 0   0      2 10     5.6   310   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-avermedia-cardbus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 12   3.6 1300 84 0     0      - - - - 0 450    440    7000 0   0      2 8.6   4.8   310   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-avermedia-dvbt.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 13   3.9 1100 92 0     0      - - - - 0 390    380    7000 0   0      2 9.0   5.0   310   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-avermedia-m135a.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 13   3.9 1100 92 0     0      - - - - 0 470    450    7000 0   0      2 9.0   5.0   310   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_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.i 2 13   3.9 1100 91 0     0      - - - - 0 520    500    7000 0   0      2 11     5.9   320   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-avermedia-rm-ks.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 14   4.0 1100 100 0     0      - - - - 0 420    400    7000 0   0      2 8.2   5.0   320   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-avermedia.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 13   3.8 1100 83 0     0      - - - - 0 410    390    7000 0   0      2 8.9   5.4   320   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-avertv-303.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 13   3.9 1200 100 0     0      - - - - 0 460    440    7000 0   0      2 8.7   4.9   310   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-azurewave-ad-tu700.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 13   3.8 1100 89 0     0      - - - - 0 420    400    7000 0   0      2 10     5.9   310   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-behold-columbus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 13   3.8 1100 90 0     0      - - - - 0 480    460    7000 0   0      2 8.5   4.8   310   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-behold.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 14   3.9 1100 110 0     0      - - - - 0 420    410    7000 0   0      2 8.9   5.4   310   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-budget-ci-old.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 13   3.8 1100 84 0     0      - - - - 0 460    440    7000 0   0      2 8.7   4.9   320   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-cinergy-1400.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 13   3.9 1100 92 0     0      - - - - 0 490    470    7000 0   0      2 9.7   5.4   330   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-cinergy.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 13   3.9 1100 97 0     0      - - - - 0 430    410    7000 0   0      2 9.6   5.6   310   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-dib0700-nec.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 13   3.9 1100 110 0     0      - - - - 0 600    580    7000 0   0      2 8.8   5.4   310   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-dib0700-rc5.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 12   3.7 1300 87 0     0      - - - - 0 330    310    7000 0   0      2 9.7   5.4   320   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-digitalnow-tinytwin.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 13   3.8 1100 84 0     0      - - - - 0 430    410    7000 0   0      2 9.9   5.8   310   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-digittrade.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 13   3.9 1100 85 0     0      - - - - 0 450    430    7000 0   0      2 8.3   4.6   320   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-dm1105-nec.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 13   3.8 1200 96 0     0      - - - - 0 490    470    7000 0   0      2 9.3   5.2   320   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_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.i 2 13   3.8 1200 94 0     0      - - - - 0 460    440    7000 0   0      2 11     6.1   320   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_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.i 2 12   3.8 1100 110 0     0      - - - - 0 440    420    7000 0   0      2 9.1   5.1   330   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-em-terratec.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 13   3.8 1100 94 0     0      - - - - 0 490    470    7000 0   0      2 9.7   5.7   310   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-encore-enltv-fm53.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 12   3.8 1200 81 0     0      - - - - 0 480    460    7000 0   0      2 8.1   4.6   310   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-encore-enltv.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 13   3.9 1100 92 0     0      - - - - 0 410    400    7000 0   0      2 9.8   5.4   320   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-encore-enltv2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 13   3.9 1100 93 0     0      - - - - 0 400    380    7000 0   0      2 8.9   5.0   320   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-evga-indtube.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 13   3.8 1200 99 0     0      - - - - 0 400    380    7000 0   0      2 8.6   4.8   310   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-eztv.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 13   3.8 1100 89 0     0      - - - - 0 390    380    7000 0   0      2 9.0   4.9   320   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-flydvb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 13   3.9 1200 94 0     0      - - - - 0 480    460    7000 0   0      2 11     6.1   320   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-flyvideo.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 13   3.8 1200 82 0     0      - - - - 0 460    440    7000 0   0      2 10     5.9   310   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-fusionhdtv-mce.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 13   3.9 1100 83 0     .090  - - - - 0 430    410    7000 0   0      2 8.6   4.8   310   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-gadmei-rm008z.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 12   3.7 1300 80 0     0      - - - - 0 400    380    7000 0   0      2 8.3   5.1   320   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-genius-tvgo-a11mce.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 13   3.8 1100 96 0     0      - - - - 0 470    450    7000 0   0      2 8.3   4.6   310   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-gotview7135.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 13   3.9 1100 94 0     0      - - - - 0 460    440    7000 0   0      2 8.4   4.7   320   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-hauppauge.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 13   4.0 1100 110 0     0      - - - - 0 410    390    7000 0   0      2 9.9   6.0   330   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-imon-mce.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 13   3.9 1100 90 0     0      - - - - 0 520    500    7000 0   0      2 8.7   5.2   310   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-imon-pad.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 13   3.9 1100 100 0     0      - - - - 0 620    600    7000 0   0      2 11     6.7   320   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-iodata-bctv7e.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 13   3.9 1100 92 0     0      - - - - 0 410    390    7000 0   0      2 8.7   4.9   320   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-it913x-v1.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 13   3.9 1100 94 0     0      - - - - 0 430    410    7000 0   0      2 8.4   5.2   310   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-it913x-v2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 13   3.9 1100 84 0     0      - - - - 0 500    480    7000 0   0      2 9.0   5.1   310   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-kaiomy.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 13   3.8 1200 90 0     0      - - - - 0 380    360    7000 0   0      2 8.6   4.8   320   .66 .012
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-kworld-315u.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 12   3.7 1300 84 0     0      - - - - 0 470    450    7000 0   0      2 10     6.0   310   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-kworld-pc150u.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 12   3.8 1100 86 0     0      - - - - 0 440    420    7000 0   0      2 8.4   5.1   310   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_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.i 2 13   3.9 1200 93 0     0      - - - - 0 420    400    7000 0   0      2 10     5.5   310   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-leadtek-y04g0051.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 13   3.9 1100 97 0     0      - - - - 0 410    400    7000 0   0      2 9.5   5.8   310   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-lirc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 1 12   3.8 1200 91 0     0      - - - - 0 420    400    7000 0   0      0 5.6   3.5   280   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-lme2510.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 12   3.8 1300 85 0     0      - - - - 0 530    510    7000 0   0      2 9.9   5.4   310   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-manli.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 13   3.9 1100 96 0     0      - - - - 0 400    380    7000 0   0      2 8.6   5.1   310   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-medion-x10.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 13   3.9 1100 93 0     0      - - - - 0 500    490    7000 0   0      2 9.1   5.1   330   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-msi-digivox-ii.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 13   3.9 1200 100 0     0      - - - - 0 410    390    7000 0   0      2 8.6   4.8   320   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-msi-digivox-iii.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 11   3.7 1300 89 0     0      - - - - 0 440    430    7000 0   0      2 9.5   5.2   320   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-msi-tvanywhere-plus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 12   3.7 1300 84 0     0      - - - - 0 440    420    7000 0   0      2 9.1   5.1   310   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-msi-tvanywhere.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 13   3.9 1100 93 0     0      - - - - 0 470    450    7000 0   0      2 9.0   5.1   310   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-nebula.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 13   3.9 1100 87 0     0      - - - - 0 450    430    7000 0   0      2 11     6.3   320   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_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.i 2 13   3.9 1200 89 0     0      - - - - 0 530    510    7000 0   0      2 9.2   5.1   320   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-norwood.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 13   3.8 1100 89 0     0      - - - - 0 390    380    7000 0   0      2 11     6.1   320   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-npgtech.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 14   3.9 1100 100 0     0      - - - - 0 440    430    7000 0   0      2 10     5.6   320   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-pctv-sedna.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 13   3.8 1200 99 0     0      - - - - 0 460    440    7000 0   0      2 9.4   5.3   320   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-pinnacle-color.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 13   3.9 1100 93 0     0      - - - - 0 430    410    7000 0   0      2 9.3   5.4   320   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-pinnacle-grey.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 12   3.7 1300 81 0     0      - - - - 0 510    490    7000 0   0      2 9.6   5.6   310   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-pinnacle-pctv-hd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 13   4.0 1100 96 0     0      - - - - 0 420    400    7000 0   0      2 8.7   5.3   310   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-pixelview-002t.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 13   3.9 1200 89 0     0      - - - - 0 420    400    7000 0   0      2 10     5.5   310   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-pixelview-mk12.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 13   3.9 1100 100 0     0      - - - - 0 450    430    7000 0   0      2 8.6   5.2   320   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-pixelview-new.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 12   3.8 1200 100 0     0      - - - - 0 390    370    7000 0   0      2 8.4   4.7   310   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-pixelview.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 13   3.9 1100 89 0     0      - - - - 0 410    390    7000 0   0      2 8.5   5.2   320   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-powercolor-real-angel.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 12   3.7 1300 90 0     0      - - - - 0 470    450    7000 0   0      2 9.3   5.2   310   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-proteus-2309.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 13   3.8 1200 95 0     0      - - - - 0 400    380    7000 0   0      2 8.9   5.0   320   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-purpletv.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 13   3.8 1100 92 0     0      - - - - 0 470    450    7000 0   0      2 11     6.2   320   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-pv951.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 13   3.9 1100 110 0     0      - - - - 0 390    380    7000 0   0      2 8.5   5.2   310   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-rc6-mce.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 13   3.9 1100 89 0     0      - - - - 0 480    460    7000 0   0      2 9.7   5.4   320   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_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.i 2 13   3.9 1200 93 0     0      - - - - 0 400    390    7000 0   0      2 9.2   5.4   310   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-snapstream-firefly.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 13   3.8 1200 99 0     0      - - - - 0 450    430    7000 0   0      2 11     6.2   310   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-streamzap.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 13   3.9 1100 100 0     0      - - - - 0 410    400    7000 0   0      2 8.9   5.2   320   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-tbs-nec.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 11   3.7 1300 92 0     0      - - - - 0 370    360    7000 0   0      2 8.6   5.3   310   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-technisat-usb2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 13   3.9 1100 100 0     0      - - - - 0 480    460    7000 0   0      2 9.1   5.1   320   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-terratec-cinergy-xs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 11   3.6 1300 90 0     .090  - - - - 0 480    470    7000 0   0      2 10     6.0   310   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-terratec-slim-2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 13   3.9 1100 94 0     0      - - - - 0 430    410    7000 0   0      2 8.6   5.2   310   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-terratec-slim.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 13   3.8 1100 95 0     0      - - - - 0 460    440    7000 0   0      2 10     6.0   310   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-tevii-nec.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 13   3.9 1100 94 0     0      - - - - 0 520    490    7000 0   0      2 9.6   5.3   330   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-tivo.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 13   3.9 1100 91 0     0      - - - - 0 460    430    7000 0   0      2 8.6   4.8   310   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_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.i 2 11   3.6 1300 88 0     0      - - - - 0 470    450    7000 0   0      2 8.8   4.9   320   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-trekstor.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 13   3.9 1200 90 0     0      - - - - 0 420    400    7000 0   0      2 11     6.4   320   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-tt-1500.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 12   3.7 1300 84 0     0      - - - - 0 460    440    7000 0   0      2 10     5.6   320   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-twinhan1027.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 13   3.8 1200 96 0     0      - - - - 0 490    470    7000 0   0      2 8.9   5.0   320   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-videomate-m1f.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 13   3.9 1100 93 0     0      - - - - 0 530    510    7000 0   0      2 9.5   5.2   320   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-videomate-s350.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 13   3.9 1100 87 0     0      - - - - 0 490    470    7000 0   0      2 9.8   5.7   320   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-videomate-tv-pvr.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 13   3.8 1100 93 0     0      - - - - 0 410    400    7000 0   0      2 9.1   5.1   310   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-winfast-usbii-deluxe.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 13   3.9 1100 90 0     0      - - - - 0 360    350    7000 0   0      2 8.6   4.8   320   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-winfast.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 13   3.9 1100 90 0     0      - - - - 0 460    450    7000 0   0      2 8.3   5.0   310   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--video--cx231xx--cx231xx-dvb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 54   41   1300 500 0     0      - - - - 0 860    850    7000 0   0      2 33     21     850   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--video--em28xx--em28xx-dvb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 280   250   2500 3500 0     0      - - - - 0 410    370    7000 0   0      2 87     69     3400   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--video--gspca--gspca_benq.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 1 22   10   1300 190 0     0      - - - - 0 900    880    5900 0   0      0 7.4   4.2   290   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--video--gspca--gspca_finepix.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 19   7.7 1200 160 0     0      - - - - 0 900    890    4100 0   0      2 17     9.3   480   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--video--gspca--gspca_jl2005bcd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 39   27   1500 450 0     0      - - - - 0 910    610    6600 0   0      2 19     11     530   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--video--gspca--gspca_pac207.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 22   10   1200 180 0     0      - - - - 0 910    880    5300 0   0      2 29     21     2400   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--video--gspca--gspca_sq905c.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 19   7.6 1200 170 0     0      - - - - 0 760    740    7000 0   0      2 15     8.4   550   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--video--gspca--gspca_stv0680.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 1 22   8.8 1200 200 0     0      - - - - 0 900    890    4800 0   0      0 7.8   4.5   300   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--video--zoran--zr36016.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 18   6.7 1200 170 0     0      - - - - 0 910    890    6300 0   0      2 20     12     590   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--message--i2o--i2o_bus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 15   5.1 1200 130 0     0      - - - - 0 400    390    7000 0   0      2 13     7.5   360   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--message--i2o--i2o_scsi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 28   15   1200 290 0     0      - - - - 0 590    490    7000 0   0      2 20     11     510   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mfd--janz-cmodio.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 23   12   1400 210 0     0      - - - - 0 900    890    4800 0   0      2 16     10     490   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mfd--rdc321x-southbridge.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 14   4.5 1200 120 0     0      - - - - 0 430    410    7000 0   0      2 13     7.4   340   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mfd--tps6105x.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 23   11   1300 200 0     0      - - - - 0 910    880    5700 0   0      2 17     9.5   560   .66 .098
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mfd--tps6507x.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 15   5.3 1300 130 0     0      - - - - 0 390    380    7000 0   0      2 16     9.5   400   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mfd--tps65217.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 16   5.7 1200 160 0     0      - - - - 0 910    890    5100 0   0      2 14     7.9   420   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mfd--ucb1400_core.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 17   6.1 1200 140 0     0      - - - - 0 910    890    5500 0   0      2 12     7.1   370   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mfd--wl1273-core.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 18   6.7 1200 140 0     0      - - - - 0 910    890    6300 0   0      2 17     11     540   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mfd--wm8400-core.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 18   7.4 1200 160 0     0      - - - - 0 720    660    7000 0   0      2 20     12     550   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--misc--apds9802als.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 23   11   1300 210 0     0      - - - - 0 570    540    7000 0   0      2 15     8.5   510   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--misc--bmp085.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 24   13   1300 240 0     0      - - - - 0 730    710    7000 0   0      2 19     11     520   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--misc--c2port--c2port-duramar2150.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 15   4.3 1100 110 0     0      - - - - 0 390    370    7000 0   0      2 13     7.1   340   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--misc--eeprom--eeprom_93xx46.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 32   20   1500 340 0     0      - - - - 0 700    680    7000 0   0      2 21     12     540   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--misc--isl29020.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 15   5.6 1300 120 0     0      - - - - 0 830    820    7000 0   0      2 14     7.9   440   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--misc--sgi-xp--xp.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 17   6.5 1200 130 0     0      - - - - 0 910    840    6100 0   0      2 23     15     550   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--misc--ti_dac7512.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 15   5.1 1200 120 0     0      - - - - 0 480    470    7000 0   0      2 13     8.5   380   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--misc--tifm_core.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 20   8.2 1200 150 0     0      - - - - 0 910    880    6000 0   0      2 23     15     540   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mmc--host--sdricoh_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 23   11   1200 210 0     0      - - - - 0 920    600    6000 0   0      2 26     17     560   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mtd--devices--docprobe.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 25   13   1300 290 0     0      - - - - 0 900    880    5400 0   0      2 17     10     560   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mtd--devices--mtdram.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 14   4.7 1200 120 0     0      - - - - 0 550    530    7000 0   0      2 15     9.4   400   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mtd--ftl.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 91   75   1700 1100 0     0      - - - - 0 900    600    6300 0   0      2 55     39     1800   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mtd--inftl.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 160   140   1900 1800 0     0      - - - - 0 960    810    6000 0   0      2 72     53     1800   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mtd--maps--intel_vr_nor.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 23   12   1400 230 0     0      - - - - 0 910    880    6300 0   0      2 13     7.6   430   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mtd--mtdblock_ro.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 14   4.5 1100 110 0     0      - - - - 0 650    640    7000 0   0      2 13     8.3   340   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mtd--nftl.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 75   59   1200 610 0     0      - - - - 0 920    830    5400 0   0      2 43     29     700   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mtd--onenand--onenand_sim.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 27   16   1300 290 0     0      - - - - 0 540    520    7000 0   0      2 20     12     460   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mtd--tests--mtd_oobtest.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 23   11   1200 210 0     0      - - - - 0 910    890    2100 0   0      2 46     36     620   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mtd--tests--mtd_pagetest.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 56   43   1400 660 0     0      - - - - 2 15    8.8  820 0   0      2 24     15     550   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mtd--ubi--gluebi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 20   8.4 1200 160 0     0      - - - - 0 910    880    5800 0   0      2 20     12     530   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--arcnet--com20020_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 23   12   1200 230 0     0      - - - - 0 900    880    5700 0   0      2 22     13     620   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--irda--act200l-sir.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 21   9.2 1200 190 0     0      - - - - 0 550    530    7000 0   0      2 15     8.2   400   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--irda--litelink-sir.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 19   8.0 1200 170 0     0      - - - - 0 900    880    5600 0   0      2 13     7.2   370   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--irda--ma600-sir.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 19   7.7 1200 170 0     0      - - - - 0 630    620    7000 0   0      2 12     6.7   420   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--irda--tekram-sir.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 19   7.6 1200 160 0     0      - - - - 0 560    550    7000 0   0      2 19     11     480   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--phy--amd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 16   5.8 1200 130 0     0      - - - - 0 900    890    4300 0   0      2 11     6.2   330   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--phy--broadcom.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 28   14   1300 260 0     0      - - - - 0 910    880    5600 0   0      2 19     10     540   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--phy--cicada.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 17   6.7 1200 140 0     0      - - - - 0 460    440    7000 0   0      2 11     6.2   360   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--phy--davicom.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 19   8.2 1200 170 0     0      - - - - 0 900    890    3500 0   0      2 12     7.0   410   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--phy--et1011c.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 19   7.5 1200 180 0     0      - - - - 0 900    890    4800 0   0      2 13     7.3   360   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--phy--icplus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 19   7.8 1200 170 0     0      - - - - 0 420    410    7000 0   0      2 16     9.5   440   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--phy--lxt.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 21   9.1 1200 190 0     0      - - - - 0 910    890    4500 0   0      2 13     7.5   410   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--phy--marvell.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 28   16   1300 270 0     0      - - - - 0 490    450    7000 0   0      2 17     9.6   530   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--phy--micrel.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 17   6.0 1200 130 0     0      - - - - 0 900    890    4400 0   0      2 15     8.2   400   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--phy--national.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 21   8.8 1200 190 0     0      - - - - 0 900    890    3500 0   0      2 12     6.8   360   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--phy--qsemi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 18   7.3 1200 180 0     0      - - - - 0 900    890    3600 0   0      2 13     7.4   360   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--phy--realtek.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 16   5.4 1200 140 0     0      - - - - 0 390    370    7000 0   0      2 11     6.2   330   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--phy--smsc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 20   8.5 1200 200 0     0      - - - - 0 910    890    6400 0   0      2 16     8.5   400   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--phy--spi_ks8995.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 20   8.4 1200 160 0     0      - - - - 0 900    890    4200 0   0      2 17     9.7   520   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--phy--ste10Xp.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 18   7.1 1200 150 0     0      - - - - 0 890    840    7000 0   0      2 12     6.8   360   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--phy--vitesse.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 17   5.6 1200 160 0     0      - - - - 0 460    440    7000 0   0      2 12     6.8   370   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--ppp--bsd_comp.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 44   30   1600 460 0     0      - - - - 0 910    860    4500 0   0      2 27     18     490   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--ppp--ppp_mppe.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 120   93   2500 1400 0     0      - - - - 0 260    220    7000 0   0      2 35     21     580   .75 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--sungem_phy.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 30   17   1200 330 0     0      - - - - 0 680    630    7000 0   0      2 21     13     540   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--team--team_mode_activebackup.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 18   7.3 1200 160 0     0      - - - - 0 720    710    7000 0   0      2 14     7.7   380   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--team--team_mode_roundrobin.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 18   7.6 1200 170 0     0      - - - - 0 640    590    7000 0   0      2 14     7.5   390   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--wireless--airo_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 19   8.3 1200 160 0     0      - - - - 0 910    890    6200 0   0      2 14     7.5   530   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--wireless--ath--ath6kl--ath6kl_usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 24   12   1200 220 0     .090  - - - - 0 900    890    4600 0   0      2 22     13     560   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--wireless--mwifiex--mwifiex_pcie.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 200   180   2100 1700 0     0      - - - - 0 910    880    2700 0   0      2 58     39     2300   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--wireless--orinoco--orinoco_nortel.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 28   15   1300 280 0     0      - - - - 0 490    460    7000 0   0      2 15     8.7   480   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--wireless--orinoco--orinoco_pci.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 23   11   1300 220 0     0      - - - - 0 530    460    7000 0   0      2 17     9.1   460   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--wireless--orinoco--orinoco_tmd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 23   11   1300 200 0     0      - - - - 0 660    630    7000 0   0      2 15     8.3   460   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--wireless--wl1251--wl1251_spi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 23   12   1200 200 0     0      - - - - 0 900    890    4400 0   0      2 17     9.8   470   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--wireless--wl12xx--wl12xx_sdio.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 32   19   1300 360 0     0      - - - - 0 910    880    5700 0   0      2 22     12     580   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--parport--parport_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 20   8.4 1200 160 0     0      - - - - 0 910    890    4700 0   0      2 15     8.5   480   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--pci--ioapic.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 17   6.1 1200 120 0     0      - - - - 0 510    490    7000 0   0      2 13     7.2   350   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--pci--pci-stub.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 15   4.5 1200 120 0     0      - - - - 0 910    880    2100 0   0      2 12     6.6   380   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--platform--x86--asus-nb-wmi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 15   5.3 1200 130 0     0      - - - - 0 440    430    7000 0   0      2 12     6.9   410   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--platform--x86--intel_menlow.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 20   9.0 1200 200 0     0      - - - - 0 900    890    4600 0   0      2 19     11     500   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--platform--x86--panasonic-laptop.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 21   9.4 1200 180 0     0      - - - - 0 910    880    6500 0   0      2 29     21     2200   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--platform--x86--topstar-laptop.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 17   6.4 1200 160 0     0      - - - - 0 910    890    5200 0   0      2 20     13     910   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--platform--x86--toshiba_bluetooth.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 16   5.5 1200 140 0     0      - - - - 0 910    890    6400 0   0      2 17     11     740   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--platform--x86--xo15-ebook.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 17   6.2 1200 150 0     0      - - - - 0 910    890    5600 0   0      2 17     11     700   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--power--test_power.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 17   6.2 1200 140 0     0      - - - - 0 640    560    7000 0   0      2 20     11     600   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--power--wm831x_power.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 19   7.2 1200 160 0     .090  - - - - 0 630    570    7000 0   0      2 25     14     570   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--regulator--gpio-regulator.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 22   11   1300 210 0     0      - - - - 0 510    450    7000 0   0      2 15     8.7   470   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--regulator--max1586.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 22   10   1300 190 0     0      - - - - 0 900    880    5200 0   0      2 17     9.7   460   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--regulator--max8649.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 25   14   1300 270 0     0      - - - - 0 910    890    5200 0   0      2 16     8.8   470   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--regulator--userspace-consumer.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 15   4.8 1200 110 0     0      - - - - 0 890    880    7000 0   0      2 12     6.8   400   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--regulator--virtual.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 30   14   2100 260 0     0      - - - - 0 570    560    7000 0   0      2 17     9.7   570   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--regulator--wm831x-dcdc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 78   62   1500 1100 0     0      - - - - 0 850    820    7000 0   0      2 36     23     740   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--regulator--wm831x-isink.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 21   9.4 1300 200 0     0      - - - - 0 900    880    5200 0   0      2 18     11     440   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--regulator--wm831x-ldo.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 29   15   1200 270 0     0      - - - - 0 910    890    6000 0   0      2 26     17     530   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--regulator--wm8400-regulator.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 26   12   1800 250 0     0      - - - - 0 900    890    4800 0   0      2 19     13     470   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-da9052.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 21   9.9 1300 190 0     0      - - - - 0 900    890    4700 0   0      2 22     15     520   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-ds1390.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 25   12   1900 210 0     0      - - - - 0 900    890    5600 0   0      2 13     7.3   420   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-ds1553.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 21   9.0 1200 180 0     0      - - - - 0 760    710    7000 0   0      2 20     12     560   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-ds3232.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 56   43   1500 720 0     0      - - - - 0 910    890    5200 0   0      2 22     13     490   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-ds3234.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 18   6.6 1200 130 0     0      - - - - 0 900    890    4300 0   0      2 13     7.5   400   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-m41t93.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 23   12   1300 210 0     0      - - - - 0 900    890    3900 0   0      2 23     17     490   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-m41t94.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 30   18   1400 310 0     0      - - - - 0 900    890    4000 0   0      2 20     14     470   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-m48t86.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 22   11   1300 250 0     0      - - - - 0 900    890    5600 0   0      2 14     7.7   440   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-max6902.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 17   6.3 1100 160 0     0      - - - - 0 900    890    4700 0   0      2 16     8.5   390   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-mc13xxx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 25   13   1300 230 0     0      - - - - 0 900    890    3200 0   0      2 16     9.3   550   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-pcap.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 24   12   1300 220 0     0      - - - - 0 910    890    5300 0   0      2 13     7.3   410   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-pcf2123.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 51   38   1600 610 0     0      - - - - 0 790    760    7000 0   0      2 26     18     560   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-r9701.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 22   10   1300 220 0     0      - - - - 0 900    880    5400 0   0      2 19     11     450   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-rs5c348.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 27   15   1400 260 0     0      - - - - 0 900    890    3600 0   0      2 15     9.0   470   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-stk17ta8.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 21   10   1300 190 0     0      - - - - 0 900    850    6900 0   0      2 23     13     470   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-test.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 15   5.1 1200 120 0     0      - - - - 0 440    420    7000 0   0      2 12     7.0   400   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-v3020.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 22   9.5 1200 200 0     0      - - - - 0 650    560    7000 0   0      2 23     14     620   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-wm831x.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 23   11   1300 230 0     0      - - - - 0 650    580    7000 0   0      2 16     8.9   480   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--scsi--dmx3191d.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 62   47   1200 520 0     0      - - - - 0 910    560    5700 0   0      2 28     15     570   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--scsi--iscsi_boot_sysfs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 39   27   1400 430 0     0      - - - - 0 910    670    6100 0   0      2 24     14     680   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--scsi--pcmcia--sym53c500_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 55   40   1500 560 0     0      - - - - 0 610    510    7000 0   0      2 28     17     570   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--scsi--qlogicfas408.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 25   12   1200 240 0     0      - - - - 0 920    600    5800 0   0      2 22     12     560   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--spi--spi-tle62x0.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 21   9.8 1300 200 0     0      - - - - 0 510    440    7000 0   0      2 23     14     500   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--android--switch--switch_gpio.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 13   4.7 1300 120 0     0      - - - - 0 910    890    5700 0   0      2 16     9.8   360   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--comedi--drivers--8255.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 18   7.1 1200 150 0     0      - - - - 0 430    360    7000 0   0      2 22     13     480   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--comedi--drivers--comedi_bond.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 19   7.5 1200 160 0     0      - - - - 0 910    880    2500 0   0      2 24     16     530   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--iio--addac--adt7316-i2c.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 15   5.1 1300 110 0     0      - - - - 0 680    600    7000 0   0      2 15     9.4   400   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--iio--dds--ad5930.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 16   5.5 1200 140 0     0      - - - - 0 310    300    7000 0   0      2 16     9.8   450   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--iio--dds--ad9832.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 80   66   1500 930 0     0      - - - - 0 900    890    4900 0   0      2 32     20     770   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--iio--dds--ad9850.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 16   5.1 1100 130 0     0      - - - - 0 330    320    7000 0   0      2 11     6.6   390   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--iio--dds--ad9852.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 20   9.1 1300 210 0     0      - - - - 0 340    330    7000 0   0      2 14     8.4   480   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--iio--dds--ad9910.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 26   14   1300 300 0     0      - - - - 0 910    890    6700 0   0      2 17     10     520   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--iio--dds--ad9951.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 16   5.7 1200 150 0     0      - - - - 0 680    660    7000 0   0      2 14     8.0   470   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--iio--resolver--ad2s90.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 15   5.3 1300 130 0     0      - - - - 0 340    330    7000 0   0      2 18     12     470   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--phison--phison.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 19   7.9 1200 170 0     .090  - - - - 0 620    610    7000 0   0      2 14     8.8   440   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--speakup--speakup_acntsa.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 14   4.1 1100 110 0     0      - - - - 0 870    820    7000 0   0      2 11     6.5   430   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--speakup--speakup_bns.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 14   4.1 1100 110 0     0      - - - - 0 480    460    7000 0   0      2 11     6.3   410   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--speakup--speakup_dummy.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 14   4.1 1100 90 0     0      - - - - 0 420    400    7000 0   0      2 11     6.3   420   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--speakup--speakup_ltlk.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 15   4.3 1100 110 0     0      - - - - 0 620    520    7000 0   0      2 12     6.4   480   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--speakup--speakup_soft.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 20   8.0 1200 160 0     0      - - - - 0 560    470    7000 0   0      2 17     9.8   560   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--speakup--speakup_spkout.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 12   3.9 1300 86 0     0      - - - - 0 620    560    7000 0   0      2 13     7.4   450   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--speakup--speakup_txprt.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 12   3.8 1300 83 0     0      - - - - 0 430    410    7000 0   0      2 13     7.2   400   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--telephony--ixj_pcmcia.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 19   7.6 1200 170 0     0      - - - - 0 900    880    5100 0   0      2 18     11     490   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--vme--boards--vme_vmivme7805.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 16   4.9 1200 110 0     0      - - - - 0 420    410    7000 0   0      2 11     6.1   340   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--zram--zram.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 42   29   1100 430 0     0      - - - - 0 410    370    7000 0   0      2 26     15     710   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--target--loopback--tcm_loop.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 110   95   2100 1300 0     0      - - - - 0 910    880    5700 0   0      2 37     23     960   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--tty--serial--altera_jtaguart.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 27   14   1300 300 0     0      - - - - 0 900    870    6900 0   0      2 18     11     500   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--tty--serial--altera_uart.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 23   11   1200 240 0     0      - - - - 0 620    540    7000 0   0      2 20     11     540   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--tty--serial--mfd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 230   210   1900 2600 0     0      - - - - 0 680    590    7000 0   0      2 32     19     720   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--tty--serial--uartlite.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 27   15   1300 300 0     0      - - - - 0 670    620    7000 0   0      2 21     13     490   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--tty--serial--xilinx_uartps.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 97   82   1600 1300 0     0      - - - - 0 330    280    7000 0   0      2 20     12     490   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--uio--uio_aec.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 20   8.6 1300 180 0     0      - - - - 0 900    890    5400 0   0      2 12     7.3   390   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--uio--uio_pci_generic.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 16   5.2 1200 140 0     0      - - - - 0 720    700    7000 0   0      2 15     9.2   360   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--uio--uio_sercos3.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 20   9.5 1300 190 0     0      - - - - 0 900    890    6000 0   0      2 15     9.4   430   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--usb--atm--xusbatm.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 24   12   1200 250 0     0      - - - - 2 8.4  4.4  320 0   0      2 21     12     700   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--usb--misc--cypress_cy7c63.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 26   15   1300 280 0     0      - - - - 0 430    420    7000 0   0      2 19     10     480   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--usb--misc--cytherm.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 26   14   1300 290 0     0      - - - - 0 370    360    7000 0   0      2 17     9.8   500   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--usb--otg--ab8500-usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 25   13   1300 270 0     0      - - - - 0 910    890    5800 0   0      2 22     13     530   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--usb--otg--nop-usb-xceiv.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 15   5.0 1200 110 0     0      - - - - 0 910    890    5500 0   0      2 15     10     390   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--usb--serial--ipaq.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 28   15   1300 330 0     0      - - - - 0 910    880    5800 0   0      2 30     17     1100   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--usb--serial--ir-usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 27   13   1700 280 0     0      - - - - 0 910    880    5000 0   0      2 28     19     710   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--usb--serial--iuu_phoenix.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 74   59   1200 570 0     0      - - - - 0 690    600    7000 0   0      2 42     27     2000   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--usb--serial--metro-usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 23   12   1200 240 0     0      - - - - 0 660    620    7000 0   0      2 27     16     830   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--usb--serial--spcp8x5.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 29   16   1200 330 0     0      - - - - 0 570    480    7000 0   0      2 27     15     590   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--usb--storage--ums-alauda.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 94   79   1200 680 0     0      - - - - 0 510    490    7000 0   0      2 45     32     1100   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--usb--storage--ums-cypress.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 28   17   1400 290 0     0      - - - - 0 520    510    7000 0   0      2 23     15     500   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--usb--storage--ums-datafab.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 30   18   1200 330 0     0      - - - - 0 550    540    7000 0   0      2 23     12     550   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--usb--storage--ums-freecom.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 20   9.0 1200 170 0     0      - - - - 0 520    520    7000 0   0      2 18     10     540   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--usb--storage--ums-jumpshot.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 27   16   1200 280 0     0      - - - - 0 560    550    7000 0   0      2 21     11     550   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--usb--storage--ums-sddr09.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 120   110   1500 1700 0     0      - - - - 0 910    890    6800 0   0      2 33     19     710   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--usb--storage--ums-sddr55.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 39   26   1200 360 0     0      - - - - 0 500    490    7000 0   0      2 23     13     560   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--usb--storage--ums-usbat.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 150   130   1600 2100 0     0      - - - - 0 600    590    7000 0   0      2 34     22     1100   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--uwb--i1480--i1480-est.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 15   5.0 1200 120 0     0      - - - - 0 490    470    7000 0   0      2 11     6.4   340   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--video--backlight--ili9320.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 20   8.8 1200 160 0     0      - - - - 0 900    880    5100 0   0      2 20     12     530   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--video--backlight--l4f00242t03.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 1 380   270   4600 4200 0     0      - - - - 0 900    880    2500 0   0      0 11     5.9   310   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--video--backlight--lms283gf05.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 24   12   1300 220 0     0      - - - - 0 560    480    7000 0   0      2 17     11     460   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--video--backlight--tdo24m.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 21   8.9 1200 200 0     0      - - - - 0 850    800    7000 0   .066  2 19     10     520   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--video--backlight--vgg2432a4.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 18   6.9 1200 160 0     0      - - - - 0 460    400    7000 0   0      2 12     7.2   410   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--video--n411.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 19   7.9 1200 180 0     0      - - - - 2 9.1  4.8  370 0   0      2 13     7.5   470   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--w1--masters--ds2490.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 38   25   1400 420 0     0      - - - - 0 900    880    6000 0   0      2 23     14     490   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--w1--masters--matrox_w1.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 17   6.1 1200 140 0     0      - - - - 0 900    880    7000 0   0      2 12     7.1   420   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--w1--masters--w1-gpio.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 14   4.5 1200 110 0     0      - - - - 0 570    560    7000 0   0      2 14     7.8   340   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--w1--slaves--w1_bq27000.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 15   4.6 1100 120 0     0      - - - - 0 430    420    7000 0   0      2 13     8.0   460   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--w1--slaves--w1_ds2408.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 22   10   1300 190 0     0      - - - - 0 520    420    7000 0   0      2 21     11     510   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--w1--slaves--w1_ds2423.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 15   4.5 1200 110 0     0      - - - - 0 340    330    7000 0   0      2 11     6.7   330   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--w1--slaves--w1_ds2431.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 16   5.1 1200 110 0     0      - - - - 0 900    630    6700 0   0      2 15     8.3   420   .62 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--w1--slaves--w1_ds2433.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 17   6.5 1200 140 0     0      - - - - 0 600    510    7000 0   0      2 16     9.0   470   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--w1--slaves--w1_ds2760.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 14   4.7 1200 120 0     0      - - - - 0 690    680    7000 0   0      2 15     8.3   400   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--w1--slaves--w1_ds2780.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 15   4.8 1200 140 0     0      - - - - 0 790    780    7000 0   0      2 12     7.1   400   .66 0    
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--w1--slaves--w1_ds2781.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i 2 15   4.9 1200 120 0     0      - - - - 0 730    710    7000 0   0      2