Tool CPAchecker 1.7-svn 29794 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*
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-04 22:41:10 CET 2018-12-05 15:42:34 CET 2018-12-05 19:29:29 CET 2018-12-05 19:51:06 CET 2018-12-12 19:31:17 CET 2018-12-05 12:23:59 CET 2018-12-05 16:20:39 CET
Run set cpa-bam-bnb.[sv-comp19_prop-reachsafety.Systems_DeviceDriversLinux64_ReachSafety; sv-comp19_prop-memsafety.Systems_BusyBox_MemSafety; sv-comp19_prop-nooverflow.Systems_BusyBox_NoOverflows] cpa-seq-validate-violation-witnesses-cpa-bam-bnb.[sv-comp19_prop-reachsafety.Systems_DeviceDriversLinux64_ReachSafety; sv-comp19_prop-memsafety.Systems_BusyBox_MemSafety; sv-comp19_prop-nooverflow.Systems_BusyBox_NoOverflows] uautomizer-validate-violation-witnesses-cpa-bam-bnb.[sv-comp19_prop-reachsafety.Systems_DeviceDriversLinux64_ReachSafety; sv-comp19_prop-memsafety.Systems_BusyBox_MemSafety; sv-comp19_prop-nooverflow.Systems_BusyBox_NoOverflows] cpa-witness2test-validate-violation-witnesses-cpa-bam-bnb.[sv-comp19_prop-reachsafety.Systems_DeviceDriversLinux64_ReachSafety; sv-comp19_prop-memsafety.Systems_BusyBox_MemSafety; sv-comp19_prop-nooverflow.Systems_BusyBox_NoOverflows] fshell-witness2test-validate-violation-witnesses-cpa-bam-bnb.[sv-comp19_prop-reachsafety.Systems_DeviceDriversLinux64_ReachSafety; sv-comp19_prop-memsafety.Systems_BusyBox_MemSafety; sv-comp19_prop-nooverflow.Systems_BusyBox_NoOverflows] cpa-seq-validate-correctness-witnesses-cpa-bam-bnb.sv-comp19_prop-reachsafety.Systems_DeviceDriversLinux64_ReachSafety uautomizer-validate-correctness-witnesses-cpa-bam-bnb.[sv-comp19_prop-reachsafety.Systems_DeviceDriversLinux64_ReachSafety; sv-comp19_prop-memsafety.Systems_BusyBox_MemSafety; sv-comp19_prop-nooverflow.Systems_BusyBox_NoOverflows]
Options -svcomp19-bam-bnb -disable-java-assertions -heap 10000m -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/cpa-bam-bnb.2018-12-04_2241.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml --full-output --validate ../../results-verified/cpa-bam-bnb.2018-12-04_2241.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/cpa-bam-bnb.2018-12-04_2241.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml --graphml-witness ../../results-verified/cpa-bam-bnb.2018-12-04_2241.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -witness ../../results-verified/cpa-bam-bnb.2018-12-04_2241.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml --full-output --validate ../../results-verified/cpa-bam-bnb.2018-12-04_2241.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml
sv-benchmarks/c/ status score cpu (s) wall (s) mem (MB) energy (J) blkio-w (MB) blkio-r (MB) status score cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB) status score cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB) status score cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB) status score cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB) status score cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB) status score 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 unreach-call false(unreach-call) 1 53    17    1700 470   .020 0      false(unreach-call) 1 20    11    670 0     0      error (7) 0 67     39     990   .66  0      timeout 0 7.5  130    380 .90   0     error (2) 0 6.6    6.6    89    9.9  0      - -
ldv-linux-3.0/module_get_put-drivers-block-loop.ko_false-unreach-call.cil.out.i unreach-call false(unreach-call) 1 26    6.8  720 220   .17  0      false(unreach-call) 1 15    8.7  550 0     0      error (7) 0 71     49     740   .71  0      unknown 0 7.5  4.1  290 0      0     error (2) 0 1.4    1.5    27    1.2  .20   - -
ldv-linux-3.0/module_get_put-drivers-block-pktcdvd.ko_false-unreach-call.cil.out.i unreach-call error 0 32    8.2  1100 270   .078 0      timeout 0 95    83    1600 0     0      timeout 0 96     54     2100   .75  0      unknown 0 1.4  .83 65 0      0     error (1) 0 .22   .22   27    0    0      - -
ldv-linux-3.0/module_get_put-drivers-isdn-gigaset-gigaset.ko_false-unreach-call.cil.out.i unreach-call timeout 0 900    600    8500 9000   0     0      error (invalid witness file) 0 .75 .46 40 0     0      error (2) 0 .021 .022 5.6 0     0      error (invalid witness file) 0 .94 .60 48 0      0     error (invalid witness file) 0 .0050 .0062 .54 0    0      - -
ldv-linux-3.0/module_get_put-drivers-isdn-mISDN-mISDN_core.ko_false-unreach-call.cil.out.i unreach-call false(unreach-call) 1 100    44    3600 910   .057 0      false(unreach-call) 1 41    33    720 0     0      unknown 0 8.9   5.2   330   .66  0      unknown 0 11    5.9  340 0      0     error (2) 0 2.8    2.8    41    3.6  .074  - -
ldv-linux-3.0/module_get_put-drivers-net-ppp_generic.ko_false-unreach-call.cil.out.i unreach-call timeout 0 900    620    8200 11000   0     0      error (invalid witness file) 0 .60 .38 41 0     0      error (2) 0 .021 .021 5.6 0     0      error (invalid witness file) 0 .92 .58 48 0      0     error (invalid witness file) 0 .0018 .0033 .52 0    0      - -
ldv-linux-3.0/module_get_put-drivers-net-wan-farsync.ko_false-unreach-call.cil.out.i unreach-call timeout 0 900    810    4500 11000   0     0      error (invalid witness file) 0 .70 .43 40 0     0      error (2) 0 .024 .024 5.6 0     0      error (invalid witness file) 0 .93 .63 48 0      0     error (invalid witness file) 0 .0060 .0092 .52 0    0      - -
ldv-linux-3.0/module_get_put-drivers-tty-synclink_gt.ko_false-unreach-call.cil.out.i unreach-call timeout 0 900    220    11000 5300   0     0      error (invalid witness file) 0 .60 .37 43 0     0      error (2) 0 .021 .023 5.7 0     0      error (invalid witness file) 0 .93 .60 47 0      0     error (invalid witness file) 0 .0056 .0072 .52 0    0      - -
ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko_false-unreach-call.cil.out.i unreach-call false(unreach-call) 0 39    14    1100 340   .033 0      timeout 0 96    83    1000 0     0      timeout 0 97     69     3700   .82  .36   unknown 0 14    7.6  480 0      0     error (2) 0 4.9    4.9    70    7.0  .94   - -
ldv-linux-3.0/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko_false-unreach-call.cil.out.i unreach-call timeout 0 900    690    7600 11000   0     0      unknown 0 19    11    570 .066 .057  timeout 0 97     66     1400   1.5   0      unknown 0 1.3  .81 63 0      0     error (1) 0 .15   .15   20    0    0      - -
ldv-linux-3.0/usb_urb-drivers-net-can-usb-ems_usb.ko_false-unreach-call.cil.out.i unreach-call timeout 0 900    330    11000 7200   0     0      error (invalid witness file) 0 .74 .45 40 0     0      error (2) 0 .021 .022 5.6 0     0      error (invalid witness file) 0 .91 .58 47 0      0     error (invalid witness file) 0 .0054 .0069 .53 0    0      - -
ldv-linux-3.0/usb_urb-drivers-net-usb-catc.ko_false-unreach-call.cil.out.i unreach-call timeout 0 900    720    7500 9900   0     0      error (invalid witness file) 0 .71 .43 40 0     0      error (2) 0 .020 .021 5.6 0     0      error (invalid witness file) 0 .94 .62 47 0      0     error (invalid witness file) 0 .0018 .0022 .53 0    0      - -
ldv-linux-3.0/usb_urb-drivers-staging-lirc-lirc_imon.ko_false-unreach-call.cil.out.i unreach-call timeout 0 910    480    11000 7800   0     0      error (invalid witness file) 0 .74 .45 40 0     0      error (2) 0 .021 .021 5.6 0     0      error (invalid witness file) 0 .91 .59 47 0      0     error (invalid witness file) 0 .0016 .0020 .52 0    0      - -
ldv-linux-3.0/usb_urb-drivers-usb-misc-iowarrior.ko_false-unreach-call.cil.out.i unreach-call timeout 0 910    400    11000 7400   0     0      error (invalid witness file) 0 .72 .44 40 0     0      error (2) 0 .036 .036 5.5 0     0      error (invalid witness file) 0 .92 .61 47 0      0     error (invalid witness file) 0 .0046 .0056 .52 0    0      - -
ldv-linux-3.0/module_get_put-drivers-atm-eni.ko_true-unreach-call.cil.out.i unreach-call true 2 18    4.5  510 140   0     0      - - - - timeout 0 900    870    3800 0   0      true 2 33     19     900   .62 0     
ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko_true-unreach-call.cil.out.i unreach-call true 1 27    7.0  880 240   0     0      - - - - error 0 45    25    1300 0   0      error (7) 0 64     37     960   .66 0     
ldv-linux-3.0/module_get_put-drivers-block-paride-pt.ko_true-unreach-call.cil.out.i unreach-call true 2 12    3.5  470 95   0     0      - - - - timeout 0 900    860    2800 0   0      true 2 25     15     680   .62 0     
ldv-linux-3.0/module_get_put-drivers-bluetooth-btmrvl_false-termination.ko_true-unreach-call.cil.out.i unreach-call true 2 12    3.2  460 100   0     0      - - - - timeout 0 900    850    6400 0   0      true 2 31     18     1100   .66 0     
ldv-linux-3.0/module_get_put-drivers-char-ipmi-ipmi_watchdog.ko_true-unreach-call.cil.out.i unreach-call true 2 19    5.0  640 150   0     0      - - - - error (recursion) 0 7.0  3.7  300 0   0      true 2 67     53     3700   .62 0     
ldv-linux-3.0/module_get_put-drivers-gpu-drm-i915-i915.ko_true-unreach-call.cil.out.i unreach-call true 1 37    9.9  1500 320   0     0      - - - - timeout 0 920    690    6500 0   0      timeout 0 960     910     5600   1.6  0     
ldv-linux-3.0/module_get_put-drivers-hid-hid-magicmouse.ko_true-unreach-call.cil.out.i unreach-call true 2 8.3  2.7  330 73   0     0      - - - - timeout 0 910    610    6000 0   0      true 2 17     9.2   440   .66 0     
ldv-linux-3.0/module_get_put-drivers-hwmon-it87.ko_true-unreach-call.cil.out.i unreach-call true 2 15    4.0  510 130   0     0      - - - - out of memory 0 670    590    7000 0   0      true 2 43     28     2200   .61 0     
ldv-linux-3.0/module_get_put-drivers-net-pppox_false-termination.ko_true-unreach-call.cil.out.i unreach-call true 2 11    3.1  460 83   0     0      - - - - out of memory 0 690    680    7000 0   0      true 2 21     12     550   .66 0     
ldv-linux-3.0/module_get_put-drivers-net-sis900.ko_true-unreach-call.cil.out.i unreach-call true 2 15    4.1  500 130   0     0      - - - - timeout 0 920    640    6000 0   0      true 2 28     15     720   .66 0     
ldv-linux-3.0/module_get_put-drivers-scsi-megaraid.ko_true-unreach-call.cil.out.i unreach-call true 2 25    6.3  820 200   0     0      - - - - timeout 0 910    710    6400 0   0      true 2 40     25     1400   .66 0     
ldv-linux-3.0/module_get_put-drivers-video-aty-aty128fb.ko_true-unreach-call.cil.out.i unreach-call true 2 13    3.5  360 110   0     0      - - - - timeout 0 960    830    5800 0   0      true 2 120     110     3400   .62 0     
ldv-linux-3.0/usb_urb-drivers-input-tablet-kbtab.ko_true-unreach-call.cil.out.i unreach-call true 2 12    3.4  480 110   0     0      - - - - unknown 0 15    9.4  570 0   0      true 2 55     31     900   .62 0     
ldv-linux-3.0/usb_urb-drivers-media-video-c-qcam.ko_true-unreach-call.cil.out.i unreach-call true 1 12    3.3  470 95   0     0      - - - - timeout 0 910    590    5800 0   0      unknown 0 8.3   4.7   300   .66 0     
ldv-linux-3.0/usb_urb-drivers-media-video-msp3400.ko_true-unreach-call.cil.out.i unreach-call true 2 18    4.6  520 140   0     0      - - - - timeout 0 910    720    6500 0   0      true 2 44     27     1600   .66 0     
ldv-linux-3.0/usb_urb-drivers-misc-c2port-core.ko_true-unreach-call.cil.out.i unreach-call true 2 8.9  2.9  390 82   0     0      - - - - out of memory 0 660    550    7000 0   0      true 2 22     12     550   .66 0     
ldv-linux-3.0/usb_urb-drivers-mtd-sm_ftl.ko_true-unreach-call.cil.out.i unreach-call true 2 13    3.7  490 110   0     0      - - - - error (recursion) 0 7.5  4.0  310 0   0      true 2 23     13     650   .66 0     
ldv-linux-3.0/usb_urb-drivers-scsi-dc395x.ko_true-unreach-call.cil.out.i unreach-call true 1 19    4.9  650 170   0     0      - - - - timeout 0 910    740    6800 0   0      error (7) 0 16     9.1   310   .75 0     
ldv-linux-3.0/usb_urb-drivers-usb-serial-ir-usb.ko_true-unreach-call.cil.out.i unreach-call true 2 52    23    2600 500   0     0      - - - - timeout 0 900    890    5600 0   0      true 2 58     35     900   .62 0     
ldv-linux-3.0/usb_urb-drivers-usb-serial-whiteheat.ko_true-unreach-call.cil.out.i unreach-call true 2 22    5.7  680 180   0     0      - - - - timeout 0 900    840    4300 0   0      true 2 85     54     1700   .62 0     
ldv-linux-3.0/usb_urb-drivers-uwb-i1480-dfu-i1480-dfu-usb.ko_true-unreach-call.cil.out.i unreach-call true 1 18    4.9  580 160   0     0      - - - - timeout 0 900    890    3000 0   0      timeout 0 960     930     5400   .71 0     
ldv-linux-3.0/usb_urb-drivers-vhost-vhost_net.ko_true-unreach-call.cil.out.i unreach-call true 2 17    4.5  540 150   0     0      - - - - timeout 0 910    610    6100 0   0      true 2 38     23     1200   .66 0     
ldv-linux-3.0/usb_urb-drivers-video-arkfb.ko_true-unreach-call.cil.out.i unreach-call true 2 13    3.6  470 100   0     0      - - - - timeout 0 900    610    6100 0   0      true 2 32     18     1100   .66 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 unreach-call false(unreach-call) 1 37    10    1500 330   .074 0      false(unreach-call) 1 54    40    1400 0     0      timeout 0 97     72     3100   .99  0      unknown 0 16    8.8  650 0      0     error (2) 0 8.4    8.4    93    15    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 unreach-call error 0 31    9.9  1100 280   0     0      unknown 0 27    17    910 0     0      error (7) 0 86     48     2100   .71  0      unknown 0 1.2  .75 52 0      0     error (1) 0 .10   .10   13    0    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 unreach-call error 0 58    15    1900 440   0     0      unknown 0 53    40    1100 .078 0      timeout 0 98     62     1200   .70  0      unknown 0 1.3  .78 57 0      0     error (1) 0 .14   .14   17    0    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 unreach-call false(unreach-call) 1 18    5.7  660 140   .033 0      false(unreach-call) 1 77    71    680 0     0      unknown 0 9.3   5.2   310   .62  0      exception 0 8.3  4.6  340 0      .32  error (2) 0 3.0    3.0    33    2.7  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 unreach-call false(unreach-call) 0 23    6.3  840 180   .025 0      timeout 0 95    84    2700 0     0      unknown 0 8.1   4.7   430   .61  0      unknown 0 12    6.3  500 0      0     error (2) 0 5.7    5.7    62    8.0  0      - -
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 unreach-call error 0 35    8.6  930 280   .070 0      timeout 0 93    58    3400 0     0      timeout 0 96     78     3400   1.7   0      unknown 0 1.5  .90 68 0      0     error (1) 0 .24   .24   30    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 unreach-call false(unreach-call) 1 14    3.7  510 120   .049 0      false(unreach-call) 1 15    8.4  480 0     0      timeout 0 97     86     3400   1.0   0      unknown 0 7.0  3.8  290 0      0     error (2) 0 1.7    1.7    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 unreach-call error 0 31    8.1  1000 240   0     0      timeout 0 94    86    1900 0     0      timeout 0 97     82     2500   .64  3.8    unknown 0 1.2  .75 58 0      0     error (1) 0 .17   .16   18    0    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 unreach-call false(unreach-call) 1 13    3.7  530 110   .025 0      false(unreach-call) 1 13    8.2  360 0     0      timeout 0 97     71     910   .72  0      exception 0 8.0  4.4  320 0      .32  error (2) 0 2.5    2.5    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 unreach-call false(unreach-call) 1 20    5.0  620 160   .045 0      false(unreach-call) 1 14    7.6  500 0     0      timeout 0 96     76     1100   .63  0      unknown 0 7.3  4.1  290 0      0     error (2) 0 1.9    1.9    28    1.6  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 unreach-call false(unreach-call) 1 14    3.9  520 120   .041 0      false(unreach-call) 1 16    8.9  460 0     0      timeout 0 97     61     1400   1.1   0      unknown 0 7.4  4.0  310 0      0     error (2) 0 1.9    1.9    29    2.1  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 unreach-call error 0 42    12    1400 370   .082 0      timeout (error (invalid witness file)) 0 93    59    3400 0     0      timeout 0 97     67     2000   .89  0      unknown 0 2.0  1.1  96 0      0     error (1) 0 .64   .64   72    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 unreach-call false(unreach-call) 0 19    5.5  570 140   .020 0      timeout 0 95    86    1000 0     0      timeout 0 98     75     1900   .82  0      unknown 0 11    5.8  340 0      0     error (2) 0 3.5    3.5    42    4.6  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 unreach-call false(unreach-call) 1 9.8  3.0  510 83   .020 0      false(unreach-call) 1 11    6.6  310 0     0      unknown 0 57     37     810   .71  0      unknown 0 6.3  3.6  280 0      .48  error (2) 0 1.4    1.4    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 unreach-call false(unreach-call) 1 17    4.4  570 140   .025 .0041 false(unreach-call) 1 61    54    1200 0     0      timeout 0 97     82     4000   1.6   0      exception 0 9.9  5.4  330 0      .16  error (2) 0 3.2    3.2    39    4.3  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 unreach-call false(unreach-call) 1 20    5.2  610 160   .037 0      false(unreach-call) 1 19    11    560 0     0      timeout 0 97     65     1500   1.5   0      unknown 0 9.7  5.3  330 0      0     error (2) 0 3.1    3.1    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 unreach-call timeout 0 900    700    6200 11000   0     0      error (invalid witness file) 0 .61 .37 41 0     0      error (2) 0 .021 .022 5.6 0     0      error (invalid witness file) 0 .94 .60 48 0      0     error (invalid witness file) 0 .0043 .0056 .53 0    0      - -
ldv-linux-3.4-simple/32_7_cpp_false-unreach-call_single_drivers-mtd-chips-cfi_cmdset_0001.cil.out.i unreach-call error (parsing failed) 0 9.7  2.8  720 83   0     0      error (invalid witness file) 0 .58 .36 40 0     0      error (2) 0 .026 .026 5.6 0     0      error (invalid witness file) 0 .90 .58 46 0      0     error (invalid witness file) 0 .0055 .0061 .39 0    0      - -
ldv-linux-3.4-simple/32_7_cpp_false-unreach-call_single_drivers-net-phy-dp83640.cil.out.i unreach-call error 0 44    11    2300 410   .041 0      timeout 0 95    73    2400 0     0      error (7) 0 19     11     620   .70  0      unknown 0 1.6  .94 78 0      0     error (1) 0 .39   .39   47    0    0      - -
ldv-linux-3.4-simple/32_7_cpp_false-unreach-call_single_drivers-net-wireless-mwl8k.cil.out.i unreach-call error 0 51    14    2800 400   0     0      timeout 0 93    60    3000 0     0      error (7) 0 24     13     650   .70  0      unknown 0 2.0  1.1  90 0      0     error (1) 0 .59   .59   65    0    0      - -
ldv-linux-3.4-simple/32_7_cpp_false-unreach-call_single_drivers-net-wireless-p54-p54usb.cil.out.i unreach-call error 0 42    11    2000 330   .033 0      timeout 0 94    71    2300 0     0      error (7) 0 18     9.9   600   .66  0      unknown 0 1.8  1.0  79 0      0     error (1) 0 .41   .41   48    0    0      - -
ldv-linux-3.4-simple/32_7_cpp_false-unreach-call_single_drivers-staging-media-dt3155v4l-dt3155v4l.cil.out.i unreach-call false(unreach-call) 0 36    9.3  2200 300   .012 0      timeout 0 94    80    2100 0     0      error (7) 0 16     8.8   470   .30  0      timeout 0 7.6  130    440 .85   0     error (1) 0 .82   .82   23    1.4  0      - -
ldv-linux-3.4-simple/32_7_cpp_false-unreach-call_single_drivers-usb-image-microtek.cil.out.i unreach-call false(unreach-call) 1 30    8.0  1600 240   .016 0      false(unreach-call) 1 84    70    1700 0     0      error (7) 0 15     8.6   490   .73  0      timeout 0 7.8  130    440 0      0     error (1) 0 .82   .83   23    1.6  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 unreach-call error 0 49    12    1200 360   .12  0      timeout 0 97    59    3900 0     0      timeout 0 97     78     1700   1.6   0      unknown 0 1.5  .92 70 0      0     error (1) 0 .28   .28   33    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 unreach-call false(unreach-call) 1 32    7.7  1000 250   .066 0      false(unreach-call) 1 11    5.7  360 0     0      error (7) 0 77     53     1000   .68  0      unknown 0 7.8  4.3  310 0      0     error (2) 0 2.0    2.1    30    2.5  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 unreach-call timeout 0 900    630    8200 11000   0     0      error (invalid witness file) 0 .75 .45 40 0     0      error (2) 0 .026 .027 5.6 0     0      error (invalid witness file) 0 .93 .61 48 0      0     error (invalid witness file) 0 .0032 .0045 .54 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 unreach-call false(unreach-call) 1 31    10    830 270   .14  0      false(unreach-call) 1 13    7.3  530 0     0      error (7) 0 71     53     730   .68  0      unknown 0 7.0  3.9  290 0      0     error (2) 0 1.5    1.5    26    1.2  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 unreach-call error 0 32    7.9  960 270   .10  0      timeout 0 94    58    3200 0     0      timeout 0 97     64     1200   1.3   .0082 unknown 0 1.4  .86 64 0      0     error (1) 0 .20   .20   23    0    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 unreach-call false(unreach-call) 1 27    6.5  860 210   .057 0      false(unreach-call) 1 14    7.4  410 0     0      true -32 51     36     910   .62  0      unknown 0 8.5  4.7  320 0      0     error (2) 0 2.4    2.4    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 unreach-call true 2 6.0  2.1  300 50   0     0      - - - - out of memory 0 700    690    7000 0   0      true 2 23     14     990   .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 unreach-call true 2 6.3  2.2  300 57   0     0      - - - - out of memory 0 870    830    7000 0   0      true 2 13     7.3   400   .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 unreach-call true 2 6.2  2.2  300 58   0     0      - - - - out of memory 0 680    660    7000 0   0      true 2 18     11     730   .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 unreach-call true 2 6.6  2.2  310 61   0     0      - - - - timeout 0 910    880    5700 0   0      true 2 12     7.2   430   .66 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 unreach-call true 2 6.2  2.1  320 54   0     0      - - - - timeout 0 910    890    6900 0   0      true 2 12     6.8   410   .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 unreach-call true 2 6.5  2.3  290 56   0     0      - - - - timeout 0 900    850    5700 0   0      true 2 14     7.6   460   .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 unreach-call true 2 6.1  2.2  300 56   0     0      - - - - out of memory 0 810    800    7000 0   0      true 2 22     14     1600   .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 unreach-call true 2 5.0  1.9  290 50   0     0      - - - - out of memory 0 650    630    7000 0   0      true 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--block--paride--aten.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i unreach-call true 2 8.3  2.6  350 71   0     0      - - - - out of memory 0 490    460    7000 0   0      true 2 19     11     490   .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 unreach-call true 2 15    4.1  490 130   0     0      - - - - out of memory 0 880    840    7000 0   0      true 2 32     19     730   .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 unreach-call true 2 11    3.2  460 84   0     0      - - - - out of memory 0 550    470    7000 0   0      true 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--dstr.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i unreach-call true 2 12    3.4  470 97   0     .0041 - - - - out of memory 0 630    550    7000 0   0      true 2 26     15     550   .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 unreach-call true 2 13    3.7  470 110   0     0      - - - - out of memory 0 750    670    7000 0   0      true 2 26     15     570   .66 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 unreach-call true 2 11    3.3  470 96   0     0      - - - - timeout 0 920    620    6700 0   0      true 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 unreach-call true 2 7.1  2.4  310 66   0     0      - - - - timeout 0 900    880    5800 0   0      true 2 14     8.1   430   .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 unreach-call true 2 9.8  2.9  410 84   0     0      - - - - out of memory 0 650    620    7000 0   0      true 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--block--paride--friq.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i unreach-call true 2 16    4.2  490 130   0     0      - - - - out of memory 0 720    630    7000 0   0      true 2 25     15     660   .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 unreach-call true 2 15    4.0  480 120   0     0      - - - - out of memory 0 600    500    7000 0   0      true 2 30     18     560   .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 unreach-call true 2 15    3.9  480 120   0     0      - - - - timeout 0 910    670    6800 0   0      true 2 27     16     570   .66 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 unreach-call true 2 7.8  2.5  330 59   0     0      - - - - out of memory 0 700    670    7000 0   0      true 2 15     8.5   430   .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 unreach-call true 2 14    3.8  500 110   0     0      - - - - out of memory 0 650    630    7000 0   0      true 2 24     14     560   .66 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 unreach-call true 2 24    7.0  730 200   0     0      - - - - timeout 0 910    890    5700 0   0      true 2 39     23     840   .62 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 unreach-call true 2 5.4  2.0  290 55   0     0      - - - - timeout 0 900    890    3800 0   0      true 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--char--ipmi--ipmi_poweroff.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i unreach-call true 2 7.6  2.4  320 64   0     0      - - - - timeout 0 900    880    4600 0   0      true 2 28     19     740   .66 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 unreach-call true 2 5.7  2.1  290 54   0     0      - - - - out of memory 0 520    500    7000 0   0      true 2 17     10     530   .66 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 unreach-call true 2 7.5  2.5  340 61   0     0      - - - - timeout 0 910    890    6200 0   0      true 2 15     8.2   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 unreach-call true 2 5.1  2.0  290 45   0     0      - - - - timeout 0 900    890    4900 0   0      true 2 11     5.9   360   .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 unreach-call true 2 4.4  1.7  280 36   0     0      - - - - out of memory 0 530    520    7000 0   0      true 2 9.2   5.3   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 unreach-call true 2 9.4  2.8  400 83   0     0      - - - - out of memory 0 800    780    7000 0   0      true 2 28     18     690   .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 unreach-call true 2 5.9  2.1  290 53   0     0      - - - - timeout 0 910    890    5600 0   0      true 2 18     12     440   .62 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 unreach-call true 2 5.4  2.0  290 53   0     0      - - - - timeout 0 910    890    5900 0   0      true 2 19     12     420   .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 unreach-call true 2 6.2  2.2  290 54   0     0      - - - - timeout 0 900    890    5200 0   0      true 2 20     13     410   .66 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 unreach-call true 2 5.5  2.0  290 47   0     0      - - - - out of memory 0 370    350    7000 0   0      true 2 14     8.5   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 unreach-call true 2 6.4  2.2  290 57   0     0      - - - - timeout 0 910    880    6100 0   0      true 2 19     11     510   .62 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 unreach-call true 2 8.5  2.7  350 82   0     0      - - - - timeout 0 900    880    5000 0   0      true 2 18     11     560   .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 unreach-call true 2 5.2  2.0  290 47   0     0      - - - - out of memory 0 420    400    7000 0   0      true 2 11     6.4   430   .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 unreach-call true 2 5.3  2.0  290 43   0     0      - - - - out of memory 0 490    480    7000 0   0      true 2 10     5.8   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 unreach-call true 2 5.5  2.0  290 46   0     0      - - - - out of memory 0 450    440    7000 0   0      true 2 9.8   5.7   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 unreach-call true 2 5.9  2.1  290 52   0     0      - - - - out of memory 0 560    550    7000 0   0      true 2 12     6.9   340   .62 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 unreach-call true 2 5.0  1.9  290 49   0     0      - - - - out of memory 0 490    480    7000 0   0      true 2 9.8   5.7   330   .62 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 unreach-call true 2 5.5  2.0  290 48   0     0      - - - - out of memory 0 660    650    7000 0   0      true 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--hid--hid-gyration.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i unreach-call true 2 6.1  2.2  300 50   0     0      - - - - timeout 0 910    890    5400 0   0      true 2 11     6.3   330   .62 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 unreach-call true 2 5.2  1.9  290 42   0     0      - - - - out of memory 0 410    400    7000 0   0      true 2 10     6.0   330   .62 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 unreach-call true 2 4.8  1.8  290 44   0     0      - - - - out of memory 0 370    360    7000 0   0      true 2 10     5.8   330   .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 unreach-call true 2 5.5  2.0  300 50   0     0      - - - - timeout 0 910    890    6400 0   0      true 2 11     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-monterey.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i unreach-call true 2 5.5  2.0  290 53   0     0      - - - - out of memory 0 460    450    7000 0   0      true 2 11     6.4   330   .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 unreach-call true 2 5.2  2.0  290 49   0     0      - - - - out of memory 0 520    510    7000 0   0      true 2 9.8   5.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-petalynx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i unreach-call true 2 6.2  2.2  300 62   0     0      - - - - out of memory 0 550    540    7000 0   0      true 2 11     6.5   350   .66 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 unreach-call true 2 5.5  2.1  300 50   0     0      - - - - timeout 0 900    890    1600 0   0      true 2 11     6.3   330   .62 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 unreach-call true 2 5.0  1.9  290 48   0     0      - - - - out of memory 0 700    680    7000 0   0      true 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 unreach-call true 2 7.9  2.5  330 63   0     0      - - - - timeout 0 910    890    6400 0   0      true 2 13     7.4   410   .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 unreach-call true 2 5.2  2.0  290 47   0     0      - - - - out of memory 0 550    530    7000 0   0      true 2 10     6.1   330   .66 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 unreach-call true 2 5.5  2.1  290 52   0     0      - - - - out of memory 0 470    460    7000 0   0      true 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--hid--hid-tivo.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i unreach-call true 2 5.6  2.0  290 49   0     0      - - - - timeout 0 910    890    6300 0   0      true 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--hid--hid-topseed.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i unreach-call true 2 5.9  2.1  300 50   0     0      - - - - timeout 0 910    890    6600 0   0      true 2 12     6.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-twinhan.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i unreach-call true 2 6.5  2.3  300 59   0     0      - - - - timeout 0 910    890    6800 0   0      true 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-uclogic.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i unreach-call true 2 5.3  1.9  290 48   0     0      - - - - out of memory 0 380    370    7000 0   0      true 2 12     6.8   380   .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 unreach-call true 2 10    3.0  430 93   0     0      - - - - out of memory 0 550    510    7000 0   0      true 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--hid--hid-waltop.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i unreach-call true 2 6.5  2.3  310 57   0     0      - - - - timeout 0 900    890    5100 0   0      true 2 17     9.2   470   .66 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 unreach-call true 2 7.7  2.5  310 69   0     0      - - - - timeout 0 900    870    5900 0   0      true 2 13     7.5   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 unreach-call true 2 6.5  2.3  300 53   0     0      - - - - timeout 0 900    890    4900 0   0      true 2 16     10     480   .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 unreach-call true 2 13    3.6  480 110   0     0      - - - - timeout 0 900    600    6700 0   0      true 2 140     120     2500   .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 unreach-call true 2 6.6  2.3  300 54   0     0      - - - - out of memory 0 380    360    7000 0   0      true 2 15     8.6   490   .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 unreach-call true 2 7.6  2.5  310 64   0     0      - - - - out of memory 0 500    410    7000 0   0      true 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--hwmon--max1111.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i unreach-call true 2 6.2  2.2  290 53   0     0      - - - - out of memory 0 700    690    7000 0   0      true 2 14     8.0   430   .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 unreach-call true 2 6.5  2.2  300 57   0     0      - - - - out of memory 0 690    680    7000 0   0      true 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--hwmon--pmbus--max16064.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i unreach-call true 2 5.2  1.9  290 52   0     0      - - - - timeout 0 910    890    6800 0   0      true 2 10     6.0   350   .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 unreach-call true 2 5.5  2.0  300 51   0     0      - - - - out of memory 0 840    820    7000 0   0      true 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--i2c--algos--i2c-algo-pca.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i unreach-call true 2 8.9  2.8  380 80   0     0      - - - - timeout 0 910    580    6200 0   0      true 2 18     9.9   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-diolan-u2c.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i unreach-call true 2 8.8  2.8  350 79   0     0      - - - - timeout 0 920    860    4400 0   0      true 2 21     13     520   .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 unreach-call true 2 7.4  2.4  310 66   0     0      - - - - timeout 0 900    880    5100 0   0      true 2 18     11     540   .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 unreach-call true 2 6.2  2.3  300 54   0     0      - - - - out of memory 0 700    690    7000 0   0      true 2 17     10     530   .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 unreach-call true 2 14    3.9  530 110   0     0      - - - - out of memory 0 790    750    7000 0   0      true 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 unreach-call true 2 6.2  2.3  300 50   0     0      - - - - out of memory 0 630    600    7000 0   0      true 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--input--gameport--lightning.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i unreach-call true 2 6.2  2.3  290 53   0     0      - - - - timeout 0 900    590    6500 0   0      true 2 14     8.4   400   .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 unreach-call true 2 6.6  2.4  300 54   0     0      - - - - out of memory 0 740    680    7000 0   0      true 2 16     9.9   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 unreach-call true 2 7.6  2.5  320 63   0     0      - - - - out of memory 0 790    760    7000 0   0      true 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--input--joystick--spaceorb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i unreach-call true 2 6.9  2.4  310 63   0     0      - - - - out of memory 0 410    340    7000 0   0      true 2 19     12     530   .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 unreach-call true 2 6.4  2.2  300 54   0     0      - - - - out of memory 0 760    740    7000 0   0      true 2 14     8.9   410   .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 unreach-call true 2 6.6  2.3  300 56   0     0      - - - - out of memory 0 620    510    7000 0   0      true 2 15     9.5   430   .66 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 unreach-call true 2 7.0  2.4  300 57   0     0      - - - - timeout 0 900    890    3500 0   0      true 2 15     9.3   450   .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 unreach-call true 2 6.0  2.2  300 59   0     0      - - - - out of memory 0 850    840    7000 0   0      true 2 14     9.0   390   .62 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 unreach-call true 2 6.5  2.3  300 53   0     0      - - - - timeout 0 900    870    6300 0   0      true 2 15     9.4   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 unreach-call true 2 6.2  2.2  290 52   0     0      - - - - timeout 0 910    870    6400 0   0      true 2 15     9.5   460   .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 unreach-call true 2 6.2  2.2  290 52   0     0      - - - - timeout 0 900    870    6000 0   0      true 2 39     29     2500   .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 unreach-call true 2 5.9  2.1  290 54   0     0      - - - - timeout 0 900    890    5600 0   0      true 2 16     10     580   .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 unreach-call true 2 5.7  2.1  300 48   0     0      - - - - out of memory 0 370    350    7000 0   0      true 2 11     6.6   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 unreach-call true 2 7.0  2.3  320 58   0     0      - - - - timeout 0 900    890    5300 0   0      true 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--input--mouse--gpio_mouse.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i unreach-call true 2 6.4  2.2  290 53   0     0      - - - - timeout 0 910    870    7000 0   0      true 2 14     8.2   450   .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 unreach-call true 2 7.8  2.5  330 69   0     0      - - - - out of memory 0 640    570    7000 0   0      true 2 15     8.8   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 unreach-call true 2 6.7  2.3  320 52   0     0      - - - - timeout 0 910    870    5900 0   0      true 2 12     6.8   420   .62 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 unreach-call true 2 6.9  2.3  300 68   0     0      - - - - out of memory 0 830    780    7000 0   0      true 2 15     8.6   480   .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 unreach-call true 2 6.2  2.2  300 52   0     0      - - - - out of memory 0 800    790    7000 0   0      true 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--egalax_ts.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i unreach-call true 2 7.1  2.4  300 56   0     0      - - - - timeout 0 900    880    6200 0   0      true 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--input--touchscreen--fujitsu_ts.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i unreach-call true 2 6.2  2.2  300 55   0     0      - - - - timeout 0 910    890    6200 0   0      true 2 15     9.5   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 unreach-call true 2 6.4  2.3  300 52   0     0      - - - - timeout 0 910    890    6900 0   0      true 2 14     8.9   440   .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 unreach-call true 2 6.4  2.2  290 54   0     .0041 - - - - timeout 0 910    900    6900 0   0      true 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--touchscreen--inexio.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i unreach-call true 2 6.7  2.3  300 56   0     0      - - - - out of memory 0 820    800    7000 0   0      true 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--touchscreen--mtouch.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i unreach-call true 2 6.4  2.2  300 52   0     0      - - - - timeout 0 910    890    6900 0   0      true 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--penmount.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i unreach-call true 2 6.9  2.3  300 60   0     0      - - - - out of memory 0 780    740    7000 0   0      true 2 21     15     520   .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 unreach-call true 2 6.4  2.3  300 59   0     0      - - - - timeout 0 910    890    6200 0   0      true 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--input--touchscreen--touchright.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i unreach-call true 2 6.2  2.3  300 54   0     0      - - - - out of memory 0 730    720    7000 0   0      true 2 14     8.7   410   .62 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 unreach-call true 2 6.4  2.2  300 54   0     0      - - - - out of memory 0 820    800    7000 0   0      true 2 16     9.9   410   .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 unreach-call true 2 6.5  2.3  290 58   0     0      - - - - out of memory 0 760    750    7000 0   0      true 2 17     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--wacom_w8001.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i unreach-call true 2 9.6  2.9  410 84   0     0      - - - - timeout 0 900    880    6700 0   0      true 2 32     19     630   .66 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 unreach-call true 2 6.7  2.3  300 61   0     0      - - - - out of memory 0 890    880    7000 0   0      true 2 12     6.8   430   .66 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 unreach-call true 2 8.2  2.7  310 68   0     0      - - - - exception 0 15    9.8  720 0   0      true 2 30     21     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 unreach-call true 2 5.7  2.1  300 52   0     0      - - - - out of memory 0 730    710    7000 0   0      true 2 22     14     740   .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 unreach-call true 2 6.9  2.4  300 62   0     0      - - - - exception 0 12    7.7  610 0   0      true 2 21     14     560   .66 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 unreach-call true 1 9.5  2.8  400 80   0     0      - - - - out of memory 0 610    500    7000 0   0      unknown 0 8.7   4.8   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 unreach-call true 2 6.1  2.2  290 54   0     0      - - - - out of memory 0 430    420    7000 0   0      true 2 14     8.1   520   .62 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 unreach-call true 2 6.5  2.2  300 66   0     0      - - - - timeout 0 910    890    6800 0   0      true 2 19     13     530   .66 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 unreach-call true 2 6.2  2.2  300 50   0     0      - - - - out of memory 0 540    530    7000 0   0      true 2 14     7.6   480   .66 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 unreach-call true 2 6.4  2.2  300 57   0     0      - - - - timeout 0 910    890    6000 0   0      true 2 16     9.7   480   .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 unreach-call true 2 11    2.9  410 91   0     0      - - - - out of memory 0 580    510    7000 0   0      true 2 42     30     760   .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 unreach-call true 2 8.7  2.7  360 72   0     0      - - - - out of memory 0 780    720    7000 0   0      true 2 22     13     550   .66 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 unreach-call true 2 5.4  2.1  290 44   0     0      - - - - out of memory 0 500    430    7000 0   0      true 2 14     7.8   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 unreach-call true 2 6.1  2.1  300 53   0     0      - - - - out of memory 0 480    470    7000 0   0      true 2 13     7.5   380   .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 unreach-call true 2 4.7  1.8  280 43   0     0      - - - - out of memory 0 520    510    7000 0   0      true 2 9.3   5.7   320   .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 unreach-call true 2 5.8  2.0  290 50   0     0      - - - - timeout 0 910    890    7000 0   0      true 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--macintosh--mac_hid.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i unreach-call true 2 5.9  2.1  300 59   0     0      - - - - timeout 0 910    890    6000 0   0      true 2 15     9.2   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 unreach-call true 2 5.4  2.0  300 48   0     0      - - - - out of memory 0 740    730    7000 0   0      true 2 12     6.7   330   .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 unreach-call true 2 7.9  2.6  340 75   0     0      - - - - timeout 0 900    880    5200 0   0      true 2 27     19     990   .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 unreach-call true 2 6.9  2.3  300 59   0     0      - - - - timeout 0 900    890    3200 0   0      true 2 20     13     550   .66 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 unreach-call true 2 8.1  2.6  320 73   0     0      - - - - timeout 0 900    890    4600 0   0      true 2 24     16     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--mt2131.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i unreach-call true 2 8.6  2.8  370 71   0     0      - - - - timeout 0 900    890    3500 0   0      true 2 29     19     1300   .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 unreach-call true 2 7.5  2.5  320 68   0     0      - - - - timeout 0 900    890    4300 0   0      true 2 26     17     1400   .66 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 unreach-call true 2 11    3.1  430 94   0     0      - - - - out of memory 0 480    370    7000 0   0      true 2 41     29     2100   .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 unreach-call true 2 13    3.6  470 110   0     0      - - - - timeout 0 900    580    6600 0   0      true 2 82     70     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 unreach-call true 2 8.4  2.6  350 68   0     0      - - - - out of memory 0 890    850    7000 0   0      true 2 29     20     950   .66 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 unreach-call true 2 14    3.8  490 120   0     0      - - - - out of memory 0 870    850    7000 0   0      true 2 45     32     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 unreach-call true 2 11    3.2  480 100   0     0      - - - - out of memory 0 890    850    7000 0   0      true 2 34     22     930   .62 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 unreach-call true 2 16    4.2  550 150   0     0      - - - - out of memory 0 480    460    7000 0   0      true 2 76     56     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 unreach-call true 2 7.5  2.3  320 61   0     0      - - - - out of memory 0 800    790    7000 0   0      true 2 19     10     630   .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 unreach-call true 2 7.4  2.5  310 67   0     0      - - - - out of memory 0 310    300    7000 0   0      true 2 17     9.1   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-az6007.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i unreach-call true 2 13    3.5  480 110   0     0      - - - - out of memory 0 510    440    7000 0   0      true 2 46     25     920   .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-az6027.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i unreach-call true 2 14    3.6  510 110   0     0      - - - - timeout 0 900    660    7000 0   0      true 2 36     20     930   .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-ce6230.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i unreach-call true 2 8.4  2.6  330 76   0     0      - - - - out of memory 0 320    310    7000 0   0      true 2 26     15     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-cinergyT2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i unreach-call true 2 8.5  2.6  340 70   0     0      - - - - timeout 0 900    880    3500 0   0      true 2 22     12     690   .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 unreach-call true 2 9.2  2.7  370 89   0     0      - - - - timeout 0 910    890    5700 0   0      true 2 27     15     860   .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-dibusb-mc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i unreach-call true 2 6.4  2.2  310 53   0     0      - - - - out of memory 0 370    350    7000 0   0      true 2 15     8.1   560   .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-digitv.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i unreach-call true 2 9.3  2.8  370 87   0     0      - - - - timeout 0 900    870    6600 0   0      true 2 28     15     660   .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 unreach-call true 2 9.5  2.7  360 87   0     0      - - - - timeout 0 900    890    5000 0   0      true 2 29     16     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-dtv5100.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i unreach-call true 2 7.9  2.5  310 66   0     0      - - - - timeout 0 900    870    6300 0   0      true 2 17     9.3   520   .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-gl861.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i unreach-call true 2 8.0  2.6  320 69   0     0      - - - - out of memory 0 340    330    7000 0   0      true 2 18     9.8   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-mxl111sf.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i unreach-call true 2 23    5.6  610 190   0     0      - - - - out of memory 0 890    840    7000 0   0      true 2 120     95     3400   .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 unreach-call true 2 7.4  2.4  320 59   0     0      - - - - timeout 0 900    890    3400 0   0      true 2 18     9.7   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-pctv452e.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i unreach-call true 2 12    3.4  470 110   0     0      - - - - out of memory 0 600    560    7000 0   0      true 2 39     24     900   .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 unreach-call true 2 11    3.1  410 85   0     0      - - - - timeout 0 900    860    6800 0   0      true 2 42     29     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-ttusb2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i unreach-call true 2 12    3.2  490 100   0     0      - - - - timeout 0 910    880    5000 0   0      true 2 33     19     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 unreach-call true 2 7.3  2.3  310 62   0     0      - - - - out of memory 0 350    340    7000 0   0      true 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--dvb-usb--dvb-usb-vp7045.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i unreach-call true 2 12    3.5  500 99   0     0      - - - - timeout 0 900    870    6200 0   0      true 2 36     19     860   .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--mxl111sf-demod.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i unreach-call true 2 10    3.0  390 89   0     0      - - - - timeout 0 900    890    4800 0   0      true 2 23     13     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 unreach-call true 2 17    4.4  530 140   0     0      - - - - timeout 0 910    890    6000 0   0      true 2 69     51     2900   .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 unreach-call true 2 21    5.3  610 180   0     0      - - - - error (recursion) 0 12    6.2  440 0   0      true 2 40     25     1200   .66 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 unreach-call true 2 13    3.4  480 110   0     0      - - - - out of memory 0 470    420    7000 0   0      true 2 40     30     850   .66 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 unreach-call true 2 6.8  2.4  310 58   0     0      - - - - timeout 0 900    890    4500 0   0      true 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--media--dvb--frontends--ec100.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i unreach-call true 2 6.9  2.4  300 61   0     0      - - - - timeout 0 900    890    3400 0   0      true 2 19     11     540   .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 unreach-call true 2 15    3.8  490 110   0     0      - - - - out of memory 0 730    640    7000 0   0      true 2 66     48     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 unreach-call true 2 10    3.0  420 81   0     0      - - - - out of memory 0 820    700    7000 0   0      true 2 38     29     2900   .66 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 unreach-call true 2 7.3  2.5  310 63   0     0      - - - - timeout 0 910    890    6600 0   0      true 2 26     19     590   .62 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 unreach-call true 2 12    3.3  510 110   0     0      - - - - out of memory 0 590    430    7000 0   0      true 2 79     65     3300   .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 unreach-call true 2 6.7  2.3  300 60   0     0      - - - - timeout 0 910    890    6100 0   0      true 2 21     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--frontends--tua6100.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i unreach-call true 2 7.3  2.3  300 65   0     0      - - - - timeout 0 910    890    6300 0   0      true 2 25     17     610   .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 unreach-call true 2 11    3.2  470 100   0     0      - - - - timeout 0 910    870    5800 0   0      true 2 30     19     730   .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.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i unreach-call true 2 16    4.2  520 120   0     0      - - - - timeout 0 910    890    6500 0   0      true 2 55     42     1100   .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 unreach-call true 2 4.1  1.7  280 37   0     0      - - - - out of memory 0 480    470    7000 0   0      true 2 8.9   5.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-alink-dtu-m.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i unreach-call true 2 4.2  1.7  280 35   0     0      - - - - out of memory 0 350    330    7000 0   0      true 2 7.8   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-anysee.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i unreach-call true 2 3.9  1.6  280 37   0     0      - - - - out of memory 0 460    440    7000 0   0      true 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-apac-viewcomp.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i unreach-call true 2 4.0  1.6  280 36   0     0      - - - - out of memory 0 390    380    7000 0   0      true 2 9.1   5.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-asus-pc39.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i unreach-call true 2 3.9  1.6  280 36   0     0      - - - - out of memory 0 450    430    7000 0   0      true 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-ati-tv-wonder-hd-600.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i unreach-call true 2 3.9  1.6  280 35   0     0      - - - - out of memory 0 450    430    7000 0   0      true 2 7.9   4.9   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-ati-x10.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i unreach-call true 2 4.2  1.7  280 40   0     0      - - - - out of memory 0 460    440    7000 0   0      true 2 9.3   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 unreach-call true 2 4.0  1.6  280 36   0     0      - - - - out of memory 0 400    380    7000 0   0      true 2 8.8   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-avermedia-cardbus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i unreach-call true 2 4.0  1.7  280 41   0     0      - - - - out of memory 0 430    410    7000 0   0      true 2 8.8   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-avermedia-dvbt.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i unreach-call true 2 4.1  1.7  280 39   0     0      - - - - out of memory 0 420    400    7000 0   0      true 2 8.1   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-avermedia-m135a.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i unreach-call true 2 4.1  1.7  280 38   0     0      - - - - out of memory 0 520    500    7000 0   0      true 2 9.7   5.4   330   .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-m733a-rm-k6.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i unreach-call true 2 3.9  1.6  280 36   0     0      - - - - out of memory 0 500    480    7000 0   0      true 2 10     6.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-rm-ks.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i unreach-call true 2 4.2  1.7  280 38   0     0      - - - - out of memory 0 390    370    7000 0   0      true 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--rc--keymaps--rc-avermedia.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i unreach-call true 2 4.1  1.6  280 41   0     0      - - - - out of memory 0 420    400    7000 0   0      true 2 8.8   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-avertv-303.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i unreach-call true 2 4.0  1.6  280 38   0     0      - - - - out of memory 0 390    370    7000 0   0      true 2 8.4   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-azurewave-ad-tu700.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i unreach-call true 2 3.9  1.6  280 38   0     0      - - - - out of memory 0 370    360    7000 0   0      true 2 9.1   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-behold-columbus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i unreach-call true 2 4.1  1.6  290 36   0     0      - - - - out of memory 0 380    370    7000 0   0      true 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-behold.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i unreach-call true 2 4.0  1.6  290 37   0     0      - - - - out of memory 0 380    360    7000 0   0      true 2 8.7   4.9   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-budget-ci-old.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i unreach-call true 2 4.0  1.6  280 39   0     0      - - - - out of memory 0 420    400    7000 0   0      true 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--media--rc--keymaps--rc-cinergy-1400.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i unreach-call true 2 4.0  1.7  280 33   0     0      - - - - out of memory 0 410    390    7000 0   0      true 2 8.4   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-cinergy.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i unreach-call true 2 4.1  1.6  280 38   0     0      - - - - out of memory 0 370    360    7000 0   0      true 2 8.3   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-dib0700-nec.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i unreach-call true 2 4.1  1.7  280 39   0     0      - - - - out of memory 0 500    480    7000 0   0      true 2 8.5   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-dib0700-rc5.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i unreach-call true 2 4.0  1.6  280 39   0     0      - - - - out of memory 0 420    400    7000 0   0      true 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-digitalnow-tinytwin.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i unreach-call true 2 4.1  1.7  280 36   0     0      - - - - out of memory 0 450    430    7000 0   0      true 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--rc--keymaps--rc-digittrade.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i unreach-call true 2 4.0  1.6  280 34   0     0      - - - - out of memory 0 390    370    7000 0   0      true 2 8.2   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-dm1105-nec.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i unreach-call true 2 4.0  1.6  280 33   0     0      - - - - out of memory 0 380    370    7000 0   0      true 2 9.4   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-dntv-live-dvb-t.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i unreach-call true 2 4.1  1.7  280 37   0     0      - - - - out of memory 0 430    410    7000 0   0      true 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--media--rc--keymaps--rc-dntv-live-dvbt-pro.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i unreach-call true 2 4.0  1.6  280 39   0     0      - - - - out of memory 0 470    450    7000 0   0