Tool symbiotic KLEE:7f3c74aa-dg:96e851cf-symbiotic:69a1d8e6-minisat:3db58943-stp:39fa956f-LLVMInstrumentation:f750b24a
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host apollon*
OS Linux 4.4.0-59-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33553 MB
Date of execution 2017-01-13 11:10:58 CET [[ 2017-01-15 02:01:54 CET ]] [[ 2017-01-15 02:34:25 CET ]] [[ 2017-01-15 02:04:28 CET ]] [[ 2017-01-15 03:02:21 CET ]]
Run set sv-comp17.Systems_DeviceDriversLinux64_ReachSafety
Options --witness witness.graphml [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/symbiotic4.2017-01-13_1110.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/symbiotic4.2017-01-13_1110.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/symbiotic4.2017-01-13_1110.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/symbiotic4.2017-01-13_1110.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]]
../../sv-benchmarks/c/ verifier status score witness inspect witness cpu (s) wall (s) energy (J) mem (MB) blkio-w (MB) blkio-r (MB) validator cpachecker violation t<90s status cpu (s) wall (s) energy (J) mem (MB) validator uautomizer violation t<90s status cpu (s) wall (s) energy (J) mem (MB) validator cpachecker correctness t<900s status cpu (s) wall (s) energy (J) mem (MB) validator uautomizer correctness t<900s status cpu (s) wall (s) energy (J) mem (MB)
ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko_false-unreach-call.cil.out.i.pp.i false(unreach-call) 1 wit inspect 710    710    9100   180   3.9   0      false(unreach-call) 31    16    620   1300 error 13   6.9 200 420 - -
ldv-linux-3.0/module_get_put-drivers-block-loop.ko_false-unreach-call.cil.out.i.pp.i timeout (timeout) 0 wit inspect 900    900    8700   390   .59  0      error (invalid witness file) .56 .36 12   41 error (invalid witness file) 7.1 3.7 91 300 - -
ldv-linux-3.0/module_get_put-drivers-block-pktcdvd.ko_false-unreach-call.cil.out.i.pp.i timeout (timeout) 0 wit inspect 900    900    11000   360   .82  0      error (invalid witness file) .48 .32 10   39 error (invalid witness file) 8.3 4.3 100 320 - -
ldv-linux-3.0/module_get_put-drivers-isdn-gigaset-gigaset.ko_false-unreach-call.cil.out.i.pp.i timeout (timeout) 0 wit inspect 900    900    11000   260   1.3   0      error (invalid witness file) .60 .39 8.9 39 error (invalid witness file) 7.5 3.9 110 330 - -
ldv-linux-3.0/module_get_put-drivers-isdn-mISDN-mISDN_core.ko_false-unreach-call.cil.out.i.pp.i false(unreach-call) 0 wit inspect 130    130    1400   100   1.4   0      true 30    16    510   840 unknown 9.4 4.9 170 340 - -
ldv-linux-3.0/module_get_put-drivers-net-ppp_generic.ko_false-unreach-call.cil.out.i.pp.i timeout (timeout) 0 wit inspect 900    900    10000   850   .88  0      error (invalid witness file) .54 .35 13   42 error (invalid witness file) 9.1 4.8 130 320 - -
ldv-linux-3.0/module_get_put-drivers-net-wan-farsync.ko_false-unreach-call.cil.out.i.pp.i timeout (timeout) 0 wit inspect 900    900    9200   270   .68  0      error (invalid witness file) .53 .33 12   39 error (invalid witness file) 8.3 4.4 97 310 - -
ldv-linux-3.0/module_get_put-drivers-tty-synclink_gt.ko_false-unreach-call.cil.out.i.pp.i timeout (timeout) 0 wit inspect 900    900    12000   510   1.2   0      error (invalid witness file) .50 .33 12   40 error (invalid witness file) 8.3 4.4 120 310 - -
ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko_false-unreach-call.cil.out.i.pp.i timeout (timeout) 0 wit inspect 900    900    10000   470   2.8   0      error (invalid witness file) .65 .42 8.0 40 error (invalid witness file) 7.6 4.0 140 330 - -
ldv-linux-3.0/usb_urb-drivers-hid-usbhid-usbmouse.ko_false-unreach-call.cil.out.i.pp.i timeout (timeout) 0 wit inspect 900    900    10000   98   .36  0      error (invalid witness file) .69 .43 8.3 42 error (invalid witness file) 8.4 4.4 63 300 - -
ldv-linux-3.0/usb_urb-drivers-input-misc-keyspan_remote.ko_false-unreach-call.cil.out.i.pp.i timeout (timeout) 0 wit inspect 900    900    9200   110   .43  0      error (invalid witness file) .58 .36 12   43 error (invalid witness file) 7.1 3.8 110 300 - -
ldv-linux-3.0/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko_false-unreach-call.cil.out.i.pp.i error 0 wit inspect 15    15    200   110   .88  0      error (invalid witness file) .54 .34 12   40 error (invalid witness file) 7.7 4.0 100 300 - -
ldv-linux-3.0/usb_urb-drivers-net-can-usb-ems_usb.ko_false-unreach-call.cil.out.i.pp.i timeout (timeout) 0 wit inspect 900    900    12000   240   .59  0      error (invalid witness file) .64 .40 7.3 40 error (invalid witness file) 7.6 4.0 93 310 - -
ldv-linux-3.0/usb_urb-drivers-net-usb-catc.ko_false-unreach-call.cil.out.i.pp.i timeout (timeout) 0 wit inspect 900    900    9900   260   .62  0      error (invalid witness file) .61 .39 7.4 39 error (invalid witness file) 8.3 4.4 90 310 - -
ldv-linux-3.0/usb_urb-drivers-staging-lirc-lirc_imon.ko_false-unreach-call.cil.out.i.pp.i timeout (timeout) 0 wit inspect 900    900    11000   230   .48  0      error (invalid witness file) .58 .38 16   44 error (invalid witness file) 6.2 3.3 93 300 - -
ldv-linux-3.0/usb_urb-drivers-usb-misc-iowarrior.ko_false-unreach-call.cil.out.i.pp.i error 0 wit inspect 70    70    780   15000   .50  0      error (invalid witness file) .62 .42 8.0 40 error (invalid witness file) 6.7 3.6 110 310 - -
ldv-linux-3.0/module_get_put-drivers-atm-eni.ko_true-unreach-call.cil.out.i.pp.i timeout (timeout) 0 wit inspect 900    900    13000   260   .85  0      - - error (invalid witness file) .61 .39 12   42 error (invalid witness file) 8.4 4.4 100 310
ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko_true-unreach-call.cil.out.i.pp.i error 0 wit inspect 81    81    1200   190   3.9   0      - - error (invalid witness file) .52 .34 11   40 error (invalid witness file) 9.2 4.8 130 340
ldv-linux-3.0/module_get_put-drivers-block-paride-pt.ko_true-unreach-call.cil.out.i.pp.i true 2 wit inspect .68 .80 7.1 38   .37  8.7    - - timeout 900    820    12000   5700 true 46   24   420 1500
ldv-linux-3.0/module_get_put-drivers-bluetooth-btmrvl.ko_true-unreach-call.cil.out.i.pp.i timeout (timeout) 0 wit inspect 900    900    9800   130   .77  0      - - error (invalid witness file) .63 .40 7.2 39 error (invalid witness file) 8.6 4.5 92 310
ldv-linux-3.0/module_get_put-drivers-char-ipmi-ipmi_watchdog.ko_true-unreach-call.cil.out.i.pp.i timeout (timeout) 0 wit inspect 900    900    12000   210   .93  0      - - error (invalid witness file) .55 .36 7.2 40 error (invalid witness file) 7.7 4.1 110 320
ldv-linux-3.0/module_get_put-drivers-gpu-drm-i915-i915.ko_true-unreach-call.cil.out.i.pp.i timeout (timeout) 0 wit inspect 900    900    10000   330   6.8   0      - - error (invalid witness file) .52 .33 9.0 42 error (invalid witness file) 8.9 4.7 170 350
ldv-linux-3.0/module_get_put-drivers-hid-hid-magicmouse.ko_true-unreach-call.cil.out.i.pp.i timeout (timeout) 0 wit inspect 900    900    12000   180   .35  0      - - error (invalid witness file) .49 .31 12   39 error (invalid witness file) 6.3 3.3 130 300
ldv-linux-3.0/module_get_put-drivers-hwmon-it87.ko_true-unreach-call.cil.out.i.pp.i true 2 wit inspect .93 .92 14   22   .69  0      - - timeout 930    880    14000   7000 true 49   29   690 2400
ldv-linux-3.0/module_get_put-drivers-net-atl1c-atl1c.ko_true-unreach-call.cil.out.i.pp.i timeout (timeout) 0 wit inspect 900    900    11000   4100   1.1   0      - - error (invalid witness file) .62 .41 8.7 40 error (invalid witness file) 7.6 4.0 150 340
ldv-linux-3.0/module_get_put-drivers-net-pppox.ko_true-unreach-call.cil.out.i.pp.i timeout (timeout) 0 wit inspect 900    900    9600   3600   .43  0      - - error (invalid witness file) .52 .34 12   40 error (invalid witness file) 6.0 3.2 89 300
ldv-linux-3.0/module_get_put-drivers-net-sis900.ko_true-unreach-call.cil.out.i.pp.i timeout (timeout) 0 wit inspect 900    900    9300   460   .74  0      - - error (invalid witness file) .65 .41 7.1 40 error (invalid witness file) 7.1 3.7 130 310
ldv-linux-3.0/module_get_put-drivers-scsi-megaraid.ko_true-unreach-call.cil.out.i.pp.i timeout (timeout) 0 wit inspect 900    900    9700   380   .94  0      - - error (invalid witness file) .49 .31 11   39 error (invalid witness file) 9.0 4.7 100 310
ldv-linux-3.0/module_get_put-drivers-staging-et131x-et131x.ko_true-unreach-call.cil.out.i.pp.i timeout (timeout) 0 wit inspect 900    900    9100   320   .93  0      - - error (invalid witness file) .57 .38 5.6 40 error (invalid witness file) 7.8 4.1 110 320
ldv-linux-3.0/module_get_put-drivers-video-aty-aty128fb.ko_true-unreach-call.cil.out.i.pp.i timeout (timeout) 0 wit inspect 900    900    11000   220   .56  0      - - error (invalid witness file) .55 .37 10   40 error (invalid witness file) 8.4 4.4 110 310
ldv-linux-3.0/usb_urb-drivers-input-tablet-kbtab.ko_true-unreach-call.cil.out.i.pp.i timeout (timeout) 0 wit inspect 900    900    9400   170   .36  0      - - error (invalid witness file) .50 .32 10   39 error (invalid witness file) 8.7 4.5 97 320
ldv-linux-3.0/usb_urb-drivers-media-video-c-qcam.ko_true-unreach-call.cil.out.i.pp.i timeout (timeout) 0 wit inspect 900    900    11000   390   .67  0      - - error (invalid witness file) .59 .36 9.3 42 error (invalid witness file) 7.0 3.7 120 300
ldv-linux-3.0/usb_urb-drivers-media-video-msp3400.ko_true-unreach-call.cil.out.i.pp.i timeout (timeout) 0 wit inspect 900    900    8400   460   .83  0      - - error (invalid witness file) .61 .39 10   40 error (invalid witness file) 9.2 4.9 89 310
ldv-linux-3.0/usb_urb-drivers-misc-c2port-core.ko_true-unreach-call.cil.out.i.pp.i true 2 wit inspect 1.7  1.7  20   20   .47  0      - - timeout 910    890    22000   2900 true 22   12   410 660
ldv-linux-3.0/usb_urb-drivers-mtd-sm_ftl.ko_true-unreach-call.cil.out.i.pp.i error 0 wit inspect 770    770    9000   250   .54  0      - - error (invalid witness file) .57 .36 9.1 39 error (invalid witness file) 7.1 3.8 100 310
ldv-linux-3.0/usb_urb-drivers-scsi-dc395x.ko_true-unreach-call.cil.out.i.pp.i timeout (timeout) 0 wit inspect 900    900    12000   230   1.1   0      - - error (invalid witness file) .51 .33 11   40 error (invalid witness file) 7.7 4.0 160 310
ldv-linux-3.0/usb_urb-drivers-usb-serial-ir-usb.ko_true-unreach-call.cil.out.i.pp.i timeout (timeout) 0 wit inspect 900    900    9700   140   .46  0      - - error (invalid witness file) .59 .37 12   43 error (invalid witness file) 6.5 3.5 130 310
ldv-linux-3.0/usb_urb-drivers-usb-serial-whiteheat.ko_true-unreach-call.cil.out.i.pp.i timeout (timeout) 0 wit inspect 900    900    13000   140   .70  0      - - error (invalid witness file) .66 .41 7.9 40 error (invalid witness file) 8.5 4.4 95 310
ldv-linux-3.0/usb_urb-drivers-uwb-i1480-dfu-i1480-dfu-usb.ko_true-unreach-call.cil.out.i.pp.i timeout (timeout) 0 wit inspect 900    900    10000   290   .48  0      - - error (invalid witness file) .58 .37 9.0 39 error (invalid witness file) 7.1 3.7 150 310
ldv-linux-3.0/usb_urb-drivers-vhost-vhost_net.ko_true-unreach-call.cil.out.i.pp.i timeout (timeout) 0 wit inspect 900    900    11000   290   1.2   0      - - error (invalid witness file) .65 .42 7.5 41 error (invalid witness file) 8.1 4.3 110 300
ldv-linux-3.0/usb_urb-drivers-video-arkfb.ko_true-unreach-call.cil.out.i.pp.i timeout (timeout) 0 wit inspect 900    900    7700   170   .64  0      - - error (invalid witness file) .52 .33 9.0 40 error (invalid witness file) 7.2 3.8 140 300
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.c false(unreach-call) 0 wit inspect 170    170    2100   1500   5.1   0      timeout 98    71    2700   3600 true 76   50   1700 2100 - -
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--input--mouse--synaptics_usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout (timeout) 0 wit inspect 900    900    11000   1300   .54  0      error (invalid witness file) .51 .35 11   40 error (invalid witness file) 8.6 4.4 120 310 - -
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--input--mousedev.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c false(unreach-call) 0 wit inspect 61    61    680   72   .83  0      timeout 98    71    2400   3800 true 24   13   400 580 - -
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.c false(unreach-call) 0 wit inspect 1.5  1.5  18   28   1.4   0      true 18    9.2  350   550 unknown 12   6.4 130 330 - -
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.c error 0 wit inspect 740    740    7500   160   5.4   0      error (invalid witness file) .53 .34 14   41 error (invalid witness file) 8.9 4.7 140 340 - -
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.c timeout (timeout) 0 wit inspect 900    900    10000   320   2.2   0      error (invalid witness file) .52 .33 8.7 40 error (invalid witness file) 9.1 4.9 85 320 - -
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.c false(unreach-call) 0 wit inspect 8.5  8.4  100   49   .86  0      timeout 97    79    1900   2500 true 26   14   480 650 - -
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.c true -32 wit inspect 1.2  1.2  15   42   1.1   0      timeout 96    82    1200   2100 unknown 67   41   970 1200 - -
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.c timeout (timeout) 0 wit inspect 900    900    9300   180   1.3   0      error (invalid witness file) .63 .40 10   45 error (invalid witness file) 9.1 4.7 95 330 - -
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.c timeout (timeout) 0 wit inspect 900    900    9800   190   .91  0      error (invalid witness file) .52 .34 9.8 40 error (invalid witness file) 6.9 3.6 87 310 - -
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--net--wireless--p54--p54usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout (timeout) 0 wit inspect 900    900    9900   460   1.0   0      error (invalid witness file) .50 .32 12   40 error (invalid witness file) 8.4 4.4 100 320 - -
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.c error 0 wit inspect 32    32    420   130   5.3   0      error (invalid witness file) .59 .37 10   40 error (invalid witness file) 11   5.7 110 330 - -
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.c error 0 wit inspect 560    560    6000   130   1.9   0      error (invalid witness file) .52 .33 8.1 42 error (invalid witness file) 7.5 3.9 140 330 - -
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--usb--image--microtek.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout (timeout) 0 wit inspect 900    900    9500   150   .64  0      error (invalid witness file) .50 .33 5.3 40 error (invalid witness file) 6.3 3.4 120 310 - -
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.c timeout (timeout) 0 wit inspect 900    900    12000   320   1.8   0      error (invalid witness file) .53 .33 11   41 error (invalid witness file) 9.2 4.7 130 330 - -
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.c error 0 wit inspect 43    43    520   130   2.1   0      error (invalid witness file) .47 .32 12   39 error (invalid witness file) 7.3 3.8 150 330 - -
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.c timeout (timeout) 0 wit inspect 900    900    10000   210   2.0   0      error (invalid witness file) .49 .33 13   40 error (invalid witness file) 11   5.5 95 320 - -
ldv-linux-3.4-simple/32_7_cpp_false-unreach-call_single_drivers-media-video-vivi.cil.out.c true -32 wit inspect .91 .89 11   25   2.9   .45   error 46    31    1100   2500 error 19   10   200 350 - -
ldv-linux-3.4-simple/32_7_cpp_false-unreach-call_single_drivers-mtd-chips-cfi_cmdset_0001.cil.out.c timeout (timeout) 0 wit inspect 900    900    12000   160   2.6   0      error (invalid witness file) .59 .37 9.8 42 error (invalid witness file) 8.1 4.3 130 340 - -
ldv-linux-3.4-simple/32_7_cpp_false-unreach-call_single_drivers-net-phy-dp83640.cil.out.c timeout (timeout) 0 wit inspect 900    900    9100   190   4.1   0      error (invalid witness file) .64 .41 9.4 41 error (invalid witness file) 8.3 4.3 110 350 - -
ldv-linux-3.4-simple/32_7_cpp_false-unreach-call_single_drivers-net-wireless-mwl8k.cil.out.c timeout (timeout) 0 wit inspect 900    900    9800   330   4.8   0      error (invalid witness file) .58 .35 9.2 40 error (invalid witness file) 8.5 4.4 110 340 - -
ldv-linux-3.4-simple/32_7_cpp_false-unreach-call_single_drivers-net-wireless-p54-p54usb.cil.out.c timeout (timeout) 0 wit inspect 900    900    9700   470   4.7   0      error (invalid witness file) .52 .32 9.6 40 error (invalid witness file) 10   5.4 110 330 - -
ldv-linux-3.4-simple/32_7_cpp_false-unreach-call_single_drivers-staging-media-dt3155v4l-dt3155v4l.cil.out.c false(unreach-call) 0 wit inspect 4.8  4.8  61   34   3.4   .32   unknown 28    15    430   1000 error 17   8.7 220 350 - -
ldv-linux-3.4-simple/32_7_cpp_false-unreach-call_single_drivers-usb-image-microtek.cil.out.c timeout (timeout) 0 wit inspect 900    900    10000   130   3.6   7.7    error (invalid witness file) .59 .39 9.6 39 error (invalid witness file) 8.9 4.7 130 350 - -
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.c error 0 wit inspect 27    27    350   79   1.9   0      error (invalid witness file) .53 .34 13   42 error (invalid witness file) 9.3 4.8 87 310 - -
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.c error 0 wit inspect 13    13    150   100   1.1   7.8    error (invalid witness file) .53 .33 11   39 error (invalid witness file) 9.1 4.7 94 310 - -
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.c timeout (timeout) 0 wit inspect 900    900    13000   430   1.7   0      error (invalid witness file) .50 .32 9.3 39 error (invalid witness file) 9.1 4.8 110 330 - -
ldv-linux-3.4-simple/43_1a_cilled_false-unreach-call_ok_linux-43_1a-drivers--scsi--megaraid--megaraid_mm.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout (timeout) 0 wit inspect 900    900    11000   3800   .63  0      error (invalid witness file) .54 .34 12   40 error (invalid witness file) 7.1 3.8 140 310 - -
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.c timeout (timeout) 0 wit inspect 900    900    10000   270   1.3   0      error (invalid witness file) .53 .35 12   39 error (invalid witness file) 7.7 4.1 130 340 - -
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.c timeout (timeout) 0 wit inspect 900    900    9900   140   1.2   0      error (invalid witness file) .62 .40 8.8 40 error (invalid witness file) 8.6 4.5 97 310 - -
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--acpi--apei--einj.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2 wit inspect .47 .47 5.8 15   .43  0      - - timeout 910    880    11000   4400 true 21   11   290 520
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--acpi--bgrt.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2 wit inspect .32 .32 3.6 13   .29  0      - - out of memory 580    570    10000   7000 true 14   7.3 200 410
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.c true 2 wit inspect .40 .40 4.7 14   .34  0      - - timeout 900    890    9500   5100 true 16   8.4 310 540
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--acpi--ec_sys.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2 wit inspect .33 .33 4.0 13   .28  0      - - out of memory 480    450    7700   7000 true 11   5.9 220 370
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--acpi--fan.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2 wit inspect .38 .37 4.8 14   .33  0      - - timeout 910    890    8900   5100 true 16   8.6 290 540
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--ata--pata_marvell.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout (timeout) 0 wit inspect 900    900    10000   110   .45  0      - - error (invalid witness file) .54 .36 11   40 error (invalid witness file) 6.8 3.6 130 300
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--ata--pata_netcell.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout (timeout) 0 wit inspect 900    900    9800   4100   .43  0      - - error (invalid witness file) .53 .33 11   40 error (invalid witness file) 6.9 3.6 100 300
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--atm--adummy.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2 wit inspect 4.8  4.8  52   20   .53  0      - - timeout 910    890    9900   4500 true 14   7.2 180 430
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.c error 0 wit inspect .43 .55 3.5 19   .14  8.7    - - error (invalid witness file) .50 .32 9.2 40 error (invalid witness file) 7.1 3.7 100 310
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--auxdisplay--cfag12864bfb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2 wit inspect .42 .41 4.3 14   .36  0      - - out of memory 530    520    5700   7000 true 14   7.5 190 410
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--auxdisplay--ks0108.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2 wit inspect .22 .21 2.9 11   .15  0      - - out of memory 490    480    8100   7000 true 9.1 4.8 160 350
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--aten.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout (timeout) 0 wit inspect 900    900    8300   3600   .26  0      - - error (invalid witness file) .48 .31 10   39 error (invalid witness file) 6.2 3.3 95 300
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--bpck.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout (timeout) 0 wit inspect 900    900    11000   250   .82  0      - - error (invalid witness file) .53 .33 12   40 error (invalid witness file) 7.0 3.7 130 310
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--comm.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout (timeout) 0 wit inspect 900    900    9100   300   .43  0      - - error (invalid witness file) .55 .35 9.1 40 error (invalid witness file) 6.6 3.5 120 300
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--dstr.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout (timeout) 0 wit inspect 900    900    8500   3500   .51  0      - - error (invalid witness file) .59 .37 11   44 error (invalid witness file) 7.8 4.2 82 300
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--epat.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout (timeout) 0 wit inspect 900    900    8900   3500   .62  0      - - error (invalid witness file) .51 .32 9.2 42 error (invalid witness file) 8.1 4.3 59 300
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--epia.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout (timeout) 0 wit inspect 900    900    8700   3300   .43  0      - - error (invalid witness file) .49 .32 9.1 40 error (invalid witness file) 8.1 4.2 89 300
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--fit2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2 wit inspect .32 .32 3.8 12   .20  0      - - out of memory 320    300    3700   7000 true 15   8.0 230 470
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--fit3.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout (timeout) 0 wit inspect 900    900    8200   3400   .36  0      - - error (invalid witness file) .52 .34 12   39 error (invalid witness file) 6.3 3.4 120 290
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--friq.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout (timeout) 0 wit inspect 900    900    8700   3500   .70  0      - - error (invalid witness file) .52 .33 13   39 error (invalid witness file) 8.0 4.2 110 300
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--frpw.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout (timeout) 0 wit inspect 900    900    9500   3300   .63  0      - - error (invalid witness file) .50 .34 9.3 40 error (invalid witness file) 7.1 3.8 110 300
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--kbic.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout (timeout) 0 wit inspect 900    900    11000   340   .64  0      - - error (invalid witness file) .47 .30 8.7 39 error (invalid witness file) 8.9 4.7 87 310
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--ktti.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2 wit inspect .34 .33 3.2 12   .22  0      - - out of memory 240    220    3400   7000 true 15   7.8 230 500
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--on20.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout (timeout) 0 wit inspect 900    900    9200   3600   .61  0      - - error (invalid witness file) .65 .41 8.0 40 error (invalid witness file) 8.7 4.5 91 310
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--on26.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout (timeout) 0 wit inspect 900    900    7500   3600   1.4   0      - - error (invalid witness file) .57 .37 8.7 41 error (invalid witness file) 8.9 4.7 120 310
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--char--hw_random--virtio-rng.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2 wit inspect .24 .23 3.0 11   .15  0      - - timeout 900    890    13000   4400 true 12   6.2 210 380
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.c timeout (timeout) 0 wit inspect 900    900    11000   3700   .45  0      - - error (invalid witness file) .52 .32 4.7 40 error (invalid witness file) 6.2 3.3 83 300
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.c true 2 wit inspect .28 .28 3.5 11   .21  0      - - out of memory 610    600    11000   7000 true 13   6.6 120 350
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--char--tpm--tpm_nsc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2 wit inspect .49 .48 5.8 16   .43  0      - - timeout 920    850    14000   6700 true 21   11   270 550
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--char--uv_mmtimer.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2 wit inspect .43 .43 5.7 15   .43  0      - - timeout 910    900    7400   5800 true 22   11   330 530
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--clocksource--cs5535-clockevt.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2 wit inspect .22 .22 1.8 9.9 .074 0      - - timeout 910    890    12000   4900 true 11   6.1 160 340
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--cpufreq--cpufreq_powersave.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2 wit inspect .20 .20 2.1 9.9 .074 0      - - timeout 910    900    14000   6800 true 9.1 4.9 180 350
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--cpufreq--pcc-cpufreq.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout (timeout) 0 wit inspect 900    900    13000   80   .54  8.4    - - error (invalid witness file) .54 .34 11   43 error (invalid witness file) 8.7 4.6 110 330
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--edac--mce_amd_inj.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2 wit inspect .25 .25 2.5 11   .14  0      - - out of memory 670    630    7700   7000 true 13   7.0 150 390
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--firmware--google--gsmi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout (timeout) 0 wit inspect 900    900    11000   130   .66  0      - - error (invalid witness file) .57 .35 14   44 error (invalid witness file) 9.0 4.8 86 310
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--firmware--google--memconsole.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2 wit inspect .23 .22 2.1 10   .12  0      - - timeout 910    890    15000   4700 true 17   9.3 170 530
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--gpio--gpio-74x164.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2 wit inspect .33 .32 3.5 12   .27  0      - - out of memory 660    650    11000   7000 true 16   8.2 150 390
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--gpio--gpio-max7301.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2 wit inspect .31 .31 3.9 12   .23  0      - - timeout 910    900    15000   6200 true 12   6.4 170 390
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--gpio--gpio-mc33880.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2 wit inspect .32 .31 4.2 12   .25  0      - - timeout 910    890    11000   5200 true 13   6.9 130 380
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--gpio--gpio-tps65912.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2 wit inspect .27 .27 2.9 11   .15  0      - - timeout 910    900    10000   6100 true 11   6.0 160 360
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.c true 2 wit inspect .31 .31 3.0 12   .18  0      - - out of memory 500    480    7900   7000 true 12   6.5 260 410
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--gpu--drm--drm_usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2 wit inspect .47 .47 6.9 15   .46  0      - - out of memory 780    780    14000   7000 true 10   5.3 160 380
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--gpu--drm--i2c--sil164.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout (timeout) 0 wit inspect 900    900    10000   440   .56  0      - - error (invalid witness file) .53 .34 12   40 error (invalid witness file) 8.0 4.2 110 310
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--gpu--drm--tdfx--tdfx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2 wit inspect .39 .39 5.0 15   .41  0      - - out of memory 320    310    6000   7000 true 14   7.6 310 490
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--gpu--stub--poulsbo.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2 wit inspect .31 .31 4.0 14   .29  0      - - out of memory 680    670    13000   7000 true 11   5.9 200 380
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-cherry.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2 wit inspect .42 .54 3.3 20   .22  8.3    - - out of memory 840    830    8700   7000 true 11   6.0 240 360
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-chicony.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2 wit inspect .29 .29 3.6 12   .23  0      - - timeout 910    890    12000   6800 true 12   6.6 190 370
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-elecom.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2 wit inspect .26 .26 3.0 12   .21  0      - - out of memory 710    700    10000   7000 true 13   6.8 140 360
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-ezkey.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2 wit inspect .31 .30 3.3 12   .22  0      - - out of memory 700    690    6000   7000 true 12   6.2 180 380
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-gyration.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2 wit inspect .29 .29 3.6 12   .25  0      - - out of memory 680    670    8300   7000 true 13   7.0 190 390
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-kensington.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2 wit inspect .29 .28 3.1 12   .21  0      - - timeout 910    890    8200   5900 true 11   6.0 180 360
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-keytouch.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2 wit inspect .28 .27 3.5 12   .21  0      - - out of memory 360    350    3500   7000 true 12   6.2 160 390
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-lcpower.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2 wit inspect .30 .30 3.7 12   .22  0      - - timeout 910    890    17000   6200 true 11   5.7 210 370
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-monterey.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2 wit inspect .28 .28 3.7 12   .22  0      - - out of memory 750    740    14000   7000 true 12   6.2 160 370
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-ortek.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2 wit inspect .28 .28 2.9 12   .21  0      - - out of memory 650    640    9400   7000 true 10   5.5 210 360
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-petalynx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2 wit inspect .29 .29 3.9 12   .25  0      - - timeout 910    890    6800   4900 true 15   7.6 180 390
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-primax.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2 wit inspect .28 .28 3.8 12   .23  0      - - out of memory 520    490    8500   7000 true 12   6.2 210 370
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-saitek.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2 wit inspect .26 .26 3.1 12   .21  0      - - out of memory 410    400    7400   7000 true 13   6.8 130 350
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-samsung.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2 wit inspect .39 .38 5.2 14   .38  .32   - - timeout 910    890    10000   5200 true 16   8.8 200 440
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-speedlink.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2 wit inspect .33 .33 3.6 14   .29  0      - - out of memory 350    340    3700   7000 true 11   5.7 200 370
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-sunplus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2 wit inspect .29 .29 3.3 12   .22  0      - - out of memory 810    800    13000   7000 true 12   6.4 190 370
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-tivo.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2 wit inspect .29 .29 3.3 12   .22  0      - - timeout 910    900    12000   6300 true 11   5.8 210 370
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-topseed.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2 wit inspect .31 .31 3.5 12   .23  0      - - timeout 910    890    13000   6500 true 11   6.1 230 390
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-twinhan.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2 wit inspect .30 .30 4.0 12   .25  0      - - timeout 910    890    8100   6900 true 12   6.3 270 390
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-uclogic.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2 wit inspect .29 .29 3.3 12   .23  0      - - timeout 910    900    10000   6200 true 20   11   340 820
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-wacom.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout (timeout) 0 wit inspect 900    900    11000   140   .47  0      - - error (invalid witness file) .48 .32 8.7 40 error (invalid witness file) 8.0 4.2 64 310
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-waltop.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error 0 wit inspect 890    890    10000   260   .29  0      - - error (invalid witness file) .70 .45 4.4 44 error (invalid witness file) 5.9 3.2 120 290
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-zydacron.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error 0 wit inspect 570    570    6600   140   .29  0      - - error (invalid witness file) .58 .37 8.5 39 error (invalid witness file) 6.3 3.3 130 300
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hwmon--ads7871.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2 wit inspect .34 .33 4.2 12   .27  0      - - timeout 900    890    10000   4600 true 14   7.4 220 440
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hwmon--asus_atk0110.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2 wit inspect .99 .99 11   48   .82  0      - - out of memory 320    280    4800   7000 true 36   19   440 850
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hwmon--emc1403.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2 wit inspect .36 .36 4.3 13   .33  0      - - timeout 910    900    7300   4900 true 20   11   230 530
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hwmon--gpio-fan.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout (timeout) 0 wit inspect 900    900    10000   270   .27  0      - - error (invalid witness file) .52 .33 12   39 error (invalid witness file) 6.7 3.5 110 300
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hwmon--max1111.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout (timeout) 0 wit inspect 900    900    8900   4400   .26  0      - - error (invalid witness file) .63 .40 7.6 40 error (invalid witness file) 7.1 3.7 120 310
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hwmon--pcf8591.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c false(unreach-call) -16 wit inspect 15    15    150   25   .31  0      - - true 15    7.9  240   490 true 13   6.9 270 410
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hwmon--pmbus--max16064.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2 wit inspect .37 .49 3.6 20   .21  9.1    - - timeout 910    890    9600   5300 true 12   6.7 160 360
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hwmon--pmbus--max8688.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2 wit inspect .28 .27 3.4 12   .22  0      - - timeout 900    890    11000   2600 true 14   7.3 150 350
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hwmon--smsc47b397.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2 wit inspect .43 .42 4.6 14   .39  0      - - timeout 910    890    8700   6500 true 17   9.1 220 480
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--i2c--algos--i2c-algo-pca.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout (timeout) 0 wit inspect 900    900    9300   100   .37  0      - - error (invalid witness file) .50 .33 9.6 40 error (invalid witness file) 7.3 3.9 90 290
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--i2c--busses--i2c-diolan-u2c.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout (timeout) 0 wit inspect 900    900    10000   200   .46  0      - - error (invalid witness file) .60 .38 10   40 error (invalid witness file) 6.8 3.6 130 300
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--i2c--busses--i2c-stub.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2 wit inspect .44 .44 4.9 13   .35  0      - - true 15    8.7  210   590 true 23   12   220 520
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--i2c--busses--i2c-tiny-usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2 wit inspect .42 .41 5.4 14   .41  0      - - timeout 910    880    15000   6000 true 14   7.7 250 460
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--i2c--i2c-smbus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2 wit inspect .40 .40 4.9 13   .31  0      - - out of memory 650    630    8200   7000 true 12   6.3 160 360
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--ide--cmd640.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2 wit inspect .62 .62 7.7 22   .54  0      - - out of memory 370    330    6200   7000 true 26   14   270 520
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--ide--ide-pnp.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2 wit inspect .50 .62 4.8 23   .41  8.1    - - out of memory 790    770    11000   7000 true 16   8.3 180 410
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.c true 2 wit inspect .36 .35 4.1 11   .16  0      - - timeout 910    860    12000   5300 true 11   5.9 210 380
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--joystick--magellan.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error 0 wit inspect 570    570    5900   240   .26  0      - - error (invalid witness file) .53 .35 6.3 41 error (invalid witness file) 6.8 3.6 100 310
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--joystick--spaceball.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout (timeout) 0 wit inspect 900    900    7700   330   .30  0      - - error (invalid witness file) .62 .40 8.6 40 error (invalid witness file) 7.5 4.0 74 300
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--joystick--spaceorb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout (timeout) 0 wit inspect 900    900    12000   370   .29  0      - - error (invalid witness file) .50 .33 11   40 error (invalid witness file) 8.3 4.3 81 300
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--joystick--stinger.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout (timeout) 0 wit inspect 900    900    8400   220   .25  0      - - error (invalid witness file) .52 .34 12   39 error (invalid witness file) 6.9 3.6 130 310
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--joystick--turbografx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2 wit inspect .45 .45 5.7 13   .36  0      - - timeout 910    860    16000   6100 true 36   19   360 580
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--joystick--twidjoy.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error 0 wit inspect 360    360    3300   150   .25  0      - - error (invalid witness file) .56 .37 11   41 error (invalid witness file) 6.5 3.4 130 310
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--joystick--warrior.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error 0 wit inspect 710    710    6900   250   .26  0      - - error (invalid witness file) .52 .34 9.2 42 error (invalid witness file) 6.6 3.4 83 300
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--joystick--zhenhua.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout (timeout) 0 wit inspect 900    900    7700   380   .24  0      - - error (invalid witness file) .50 .33 11   40 error (invalid witness file) 6.7 3.5 120 300
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--keyboard--gpio_keys_polled.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error 0 wit inspect 29    29    330   2100   .29  0      - - error (invalid witness file) .73 .46 6.9 39 error (invalid witness file) 6.4 3.4 130 310
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--keyboard--newtonkbd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout (timeout) 0 wit inspect 900    900    11000   300   .26  0      - - error (invalid witness file) .47 .30 9.4 39 error (invalid witness file) 7.3 3.8 120 320
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--keyboard--stowaway.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout (timeout) 0 wit inspect 900    900    8600   400   .26  0      - - error (invalid witness file) .54 .35 10   39 error (invalid witness file) 6.3 3.3 120 300
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--keyboard--xtkbd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout (timeout) 0 wit inspect 900    900    8400   330   .26  0      - - error (invalid witness file) .53 .34 8.2 39 error (invalid witness file) 7.8 4.1 74 300
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--ab8500-ponkey.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout (timeout) 0 wit inspect 900    900    8600   340   .24  0      - - error (invalid witness file) .49 .31 11   39 error (invalid witness file) 6.1 3.2 99 300
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--ad714x-i2c.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2 wit inspect .34 .34 4.3 13   .33  0      - - timeout 910    900    15000   6000 true 11   5.7 130 350
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--ad714x-spi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2 wit inspect .37 .36 5.0 13   .33  0      - - out of memory 440    430    7300   7000 true 14   7.5 140 370
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--adxl34x-spi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2 wit inspect .41 .53 4.2 21   .32  8.7    - - timeout 910    890    9800   6700 true 9.8 5.2 110 360
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--apanel.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2 wit inspect .42 .41 5.1 14   .42  .14   - - out of memory 610    560    8100   7000 true 18   9.5 200 410
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--atlas_btns.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout (timeout) 0 wit inspect 900    900    11000   3700   .34  0      - - error (invalid witness file) .49 .32 9.3 40 error (invalid witness file) 7.7 4.0 85 300
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--cma3000_d0x_i2c.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2 wit inspect .33 .32 4.3 13   .31  0      - - out of memory 820    810    11000   7000 true 11   5.9 130 350
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--mma8450.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout (timeout) 0 wit inspect 900    900    10000   140   .35  0      - - error (invalid witness file) .57 .36 10   40 error (invalid witness file) 7.8 4.1 110 310
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--mpu3050.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout (timeout) 0 wit inspect 900    900    11000   340   .41  0      - - error (invalid witness file) .52 .33 10   41 error (invalid witness file) 8.3 4.3 85 300
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--pcap_keys.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout (timeout) 0 wit inspect 900    900    9400   210   .24  0      - - error (invalid witness file) .66 .42 9.2 43 error (invalid witness file) 7.7 4.0 77 300
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--pcf50633-input.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout (timeout) 0 wit inspect 900    900    11000   3600   .34  0      - - error (invalid witness file) .52 .35 7.0 40 error (invalid witness file) 6.9 3.6 120 310
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--pcspkr.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout (timeout) 0 wit inspect 900    900    11000   730   .25  0      - - error (invalid witness file) .52 .32 11   40 error (invalid witness file) 8.2 4.3 64 300
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--rotary_encoder.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout (timeout) 0 wit inspect 900    900    9200   260   .30  0      - - error (invalid witness file) .51 .32 8.1 40 error (invalid witness file) 6.3 3.3 120 300
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--wm831x-on.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout (timeout) 0 wit inspect 900    900    8100   210   .26  0      - - error (invalid witness file) .60 .38 8.4 40 error (invalid witness file) 6.5 3.4 130 310
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.c timeout (timeout) 0 wit inspect 900    900    11000   230   .36  0      - - error (invalid witness file) .61 .38 9.6 41 error (invalid witness file) 7.9 4.3 95 310
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--mouse--gpio_mouse.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout (timeout) 0 wit inspect 900    900    10000   310   .27  0      - - error (invalid witness file) .53 .35 7.6 39 error (invalid witness file) 7.2 3.8 84 300
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--mouse--vsxxxaa.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout (timeout) 0 wit inspect 900    900    9900   310   .32  0      - - error (invalid witness file) .49 .31 7.8 40 error (invalid witness file) 7.8 4.1 73 310
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--serio--ct82c710.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2 wit inspect .25 .25 2.8 11   .18  0      - - timeout 910    890    11000   7000 true 11   6.0 210 410
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--serio--parkbd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2 wit inspect .31 .30 3.8 12   .25  0      - - out of memory 550    540    8800   7000 true 10   5.4 200 360
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--ad7879-spi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2 wit inspect .40 .39 5.1 13   .33  0      - - out of memory 560    540    7500   7000 true 14   7.6 190 380
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--cyttsp_spi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error 0 wit inspect 840    840    10000   3200   .37  7.5    - - error (invalid witness file) .49 .33 11   42 error (invalid witness file) 6.2 3.3 120 300
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--dynapro.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout (timeout) 0 wit inspect 900    900    10000   270   .26  0      - - error (invalid witness file) .52 .33 12   40 error (invalid witness file) 6.9 3.6 87 290
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--eeti_ts.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout (timeout) 0 wit inspect 900    900    8800   330   .43  0      - - error (invalid witness file) .52 .35 9.6 40 error (invalid witness file) 6.6 3.4 120 310
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--egalax_ts.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout (timeout) 0 wit inspect 900    900    10000   300   .39  0      - - error (invalid witness file) .55 .36 13   44 error (invalid witness file) 8.1 4.3 92 300
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--fujitsu_ts.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout (timeout) 0 wit inspect 900    900    9000   440   .25  0      - - error (invalid witness file) .51 .34 8.1 42 error (invalid witness file) 6.3 3.3 94 290
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--gunze.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error 0 wit inspect 120    120    1500   96   .26  0      - - error (invalid witness file) .47 .31 8.3 39 error (invalid witness file) 8.1 4.3 82 310
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--hampshire.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout (timeout) 0 wit inspect 900    900    8000   370   .26  0      - - error (invalid witness file) .65 .42 9.3 40 error (invalid witness file) 6.5 3.5 95 290
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--inexio.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error 0 wit inspect 290    290    3400   140   .25  0      - - error (invalid witness file) .54 .35 13   43 error (invalid witness file) 6.5 3.5 130 310
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--max11801_ts.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout (timeout) 0 wit inspect 900    900    11000   290   .37  0      - - error (invalid witness file) .65 .40 8.0 40 error (invalid witness file) 8.0 4.2 74 300
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--mk712.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2 wit inspect .32 .31 4.2 12   .26  0      - - timeout 900    890    18000   4500 true 11   6.0 250 380
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--mtouch.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout (timeout) 0 wit inspect 900    900    12000   330   .26  0      - - error (invalid witness file) .47 .31 9.1 40 error (invalid witness file) 6.3 3.3 120 300
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--penmount.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error 0 wit inspect 110    110    1500   70   .34  0      - - error (invalid witness file) .63 .40 9.5 42 error (invalid witness file) 7.1 3.8 82 290
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--stmpe-ts.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout (timeout) 0 wit inspect 900    900    13000   180   .41  0      - - error (invalid witness file) .56 .35 10   40 error (invalid witness file) 7.0 3.7 120 300
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--touchit213.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout (timeout) 0 wit inspect 900    900    11000   340   .26  0      - - error (invalid witness file) .64 .42 5.9 40 error (invalid witness file) 7.1 3.7 99 310
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--touchright.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout (timeout) 0 wit inspect 900    900    11000   290   .25  0      - - error (invalid witness file) .49 .32 9.2 39 error (invalid witness file) 8.5 4.4 110 310
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--touchwin.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout (timeout) 0 wit inspect 900    900    8200   380   .25  0      - - error (invalid witness file) .53 .35 10   39 error (invalid witness file) 6.2 3.3 120 300
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--tsc40.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout (timeout) 0 wit inspect 900    900    7500   260   .26  0      - - error (invalid witness file) .59 .37 12   44 error (invalid witness file) 8.7 4.5 110 320
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--wacom_w8001.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error 0 wit inspect 36    36    510   52   .43  0      - - error (invalid witness file) .49 .31 11   40 error (invalid witness file) 7.2 3.8 100 290
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--isdn--hardware--avm--avm_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2 wit inspect .41 .41 4.3 14   .38  0      - - timeout 910    890    13000   4700 true 18   9.3 220 450
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.c error 0 wit inspect .52 .64 5.4 22   .35  8.5    - - error (invalid witness file) .49 .33 13   40 error (invalid witness file) 8.3 4.3 77 310
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.c error 0 wit inspect .34 .33 4.0 11   .19  0      - - error (invalid witness file) .56 .36 13   42 error (invalid witness file) 7.0 3.7 150 320
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.c error 0 wit inspect .37 .36 5.1 12   .26  0      - - error (invalid witness file) .51 .34 8.2 39 error (invalid witness file) 8.0 4.2 88 320
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.c true 1 wit inspect .66 .66 7.9 19   .57  0      - - timeout 910    870    13000   6200 unknown 9.0 4.7 130 340
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.c timeout (timeout) 0 wit inspect 900    900    13000   840   .30  0      - - error (invalid witness file) .50 .33 10   40 error (invalid witness file) 7.9 4.2 83 300
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.c timeout (timeout) 0 wit inspect 900    900    11000   2000   .31  0      - - error (invalid witness file) .47 .32 6.5 40 error (invalid witness file) 5.7 3.1 83 290
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.c error 0 wit inspect 350    350    4700   210   .30  0      - - error (invalid witness file) .62 .39 8.6 40 error (invalid witness file) 7.3 3.8 95 300
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.c timeout (timeout) 0 wit inspect 900    900    11000   2700   .31  0      - - error (invalid witness file) .50 .33 10   39 error (invalid witness file) 5.8 3.1 88 290
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--leds--dell-led.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2 wit inspect .35 .35 3.7 13   .29  0      - - timeout 910    890    11000   5000 true 15   7.8 130 370
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--leds--leds-bd2802.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout (timeout) 0 wit inspect 900    900    9700   1800   .71  0      - - error (invalid witness file) .48 .32 7.3 41 error (invalid witness file) 7.6 4.0 53 310
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--leds--leds-dac124s085.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2 wit inspect .35 .35 4.0 13   .27  0      - - out of memory 430    380    6400   7000 true 12   6.6 200 390
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--leds--leds-lp5521.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error 0 wit inspect 61    61    800   96   .47  0      - - error (invalid witness file) .48 .31 11   40 error (invalid witness file) 7.1 3.7 130 310
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--leds--leds-ot200.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2 wit inspect .25 .24 2.7 11   .17  0      - - out of memory 410    350    4500   7000 true 25   13   390 770
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--leds--leds-pca9633.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2 wit inspect .34 .33 5.0 13   .27  0      - - out of memory 330    310    4900   7000 true 11   6.0 180 360
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--leds--leds-regulator.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout (timeout) 0 wit inspect 900    900    13000   2700   .19  0      - - error (invalid witness file) .49 .32 6.4 39 error (invalid witness file) 7.7 4.1 91 300
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--leds--ledtrig-backlight.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2 wit inspect .38 .37 5.6 14   .37  0      - - timeout 910    900    10000   5500 true 11   6.0 170 370
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--leds--ledtrig-default-on.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2 wit inspect .23 .22 2.5 10   .098 0      - - timeout 900    900    16000   2500 true 9.3 5.0 170 350
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--leds--ledtrig-gpio.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2 wit inspect .30 .30 3.0 12   .18  0      - - timeout 900    890    9900   4200 true 13   7.1 210 440
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.c true 2 wit inspect .34 .33 3.5 12   .23  0      - - timeout 900    890    15000   3900 true 15   7.7 240 450
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--md--dm-zero.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2 wit inspect .35 .34 3.8 14   .33  0      - - timeout 910    900    8600   6500 true 11   5.8 170 380
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--max2165.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout (timeout) 0 wit inspect 900    900    11000   170   .46  7.5    - - error (invalid witness file) .65 .40 5.6 40 error (invalid witness file) 6.6 3.5 92 310
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--mc44s803.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout (timeout) 0 wit inspect 900    900    10000   110   .40  0      - - error (invalid witness file) .51 .33 10   40 error (invalid witness file) 6.5 3.5 130 290
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--mt2060.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout (timeout) 0 wit inspect 900    900    9100   110   .42  0      - - error (invalid witness file) .49 .31 6.1 39 error (invalid witness file) 8.5 4.5 85 300
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--mt20xx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout (timeout) 0 wit inspect 900    900    11000   550   .72  0      - - error (invalid witness file) .49 .33 10   42 error (invalid witness file) 7.3 3.9 130 320
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--mt2131.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout (timeout) 0 wit inspect 900    900    8800   110   .40  0      - - error (invalid witness file) .53 .34 14   44 error (invalid witness file) 7.5 4.0 95 300
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--mt2266.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout (timeout) 0 wit inspect 900    900    11000   110   .41  0      - - error (invalid witness file) .50 .31 10   39 error (invalid witness file) 6.9 3.7 110 300
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--mxl5007t.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout (timeout) 0 wit inspect 900    900    9000   190   .63  0      - - error (invalid witness file) .47 .30 11   39 error (invalid witness file) 8.4 4.4 130 320
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--qt1010.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout (timeout) 0 wit inspect 900    900    10000   110   .66  0      - - error (invalid witness file) .63 .40 8.4 39 error (invalid witness file) 7.0 3.7 140 320
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--tda18218.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout (timeout) 0 wit inspect 900    900    9000   130   .46  0      - - error (invalid witness file) .65 .42 8.1 39 error (invalid witness file) 7.7 4.1 87 300
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--tda8290.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout (timeout) 0 wit inspect 900    900    10000   550   .83  0      - - error (invalid witness file) .49 .33 13   40 error (invalid witness file) 9.4 5.0 86 320
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--tda9887.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout (timeout) 0 wit inspect 900    900    9900   170   .71  0      - - error (invalid witness file) .66 .41 8.9 41 error (invalid witness file) 7.0 3.7 130 310
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--bt8xx--dvb-bt8xx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout (timeout) 0 wit inspect 900    900    9400   140   1.1   0      - - error (invalid witness file) .56 .36 11   43 error (invalid witness file) 9.1 4.7 75 320
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-a800.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2 wit inspect .52 .52 6.1 17   .70  0      - - timeout 910    890    13000   6700 true 26   14   320 740
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-au6610.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2 wit inspect .54 .54 6.2 17   .74  0      - - out of memory 700    690    7900   7000 true 29   15   310 710
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-az6007.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout (timeout) 0 wit inspect 900    900    9200   170   .97  0      - - error (invalid witness file) .47 .29 6.2 39 error (invalid witness file) 7.9 4.2 110 310
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-az6027.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout (timeout) 0 wit inspect 900    900    9500   290   1.0   0      - - error (invalid witness file) .57 .36 9.6 40 error (invalid witness file) 7.4 3.8 130 320
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-ce6230.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2 wit inspect .58 .57 6.9 18   .77  0      - - timeout 910    890    15000   6300 true 31   16   370 800
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-cinergyT2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout (timeout) 0 wit inspect 900    900    11000   3100   .84  0      - - error (invalid witness file) .64 .41 7.7 42 error (invalid witness file) 8.8 4.6 96 310
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_main1_sequence_infinite_withcheck_stateful.cil.out.c true 2 wit inspect .69 .69 9.3 19   .84  0      - - timeout 910    890    11000   6500 true 15   8.1 280 490
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-common.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2 wit inspect .70 .70 9.6 20   .77  .32   - - out of memory 870    860    9800   7000 true 11   5.7 180 370
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-dibusb-mb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout (timeout) 0 wit inspect 900    900    11000   170   1.0   0      - - error (invalid witness file) .52 .33 9.4 41 error (invalid witness file) 7.4 3.9 100 300
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-dibusb-mc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2 wit inspect .50 .50 6.0 17   .69  .32   - - timeout 910    890    13000   5500 true 25   13   360 790
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-digitv.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout (timeout) 0 wit inspect 900    900    11000   170   .82  0      - - error (invalid witness file) .54 .33 10   39 error (invalid witness file) 8.6 4.5 93 310
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-dtt200u.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2 wit