Tool CPAchecker 1.6.1-svn 23987
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host apollon*
OS [Linux 4.4.0-57-generic; 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-10 20:44:08 CET [[ 2017-01-14 18:01:01 CET ]] [[ 2017-01-14 20:09:29 CET ]] [[ 2017-01-14 18:26:00 CET ]] [[ 2017-01-14 20:41:28 CET ]]
Run set sv-comp17.Systems_DeviceDriversLinux64_ReachSafety
Options -sv-comp17-bam-bnb -disable-java-assertions -heap 10000m [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/cpa-bam-bnb.2017-01-10_2044.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/cpa-bam-bnb.2017-01-10_2044.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/cpa-bam-bnb.2017-01-10_2044.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/cpa-bam-bnb.2017-01-10_2044.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 40   10   310 1500 .43  0      false(unreach-call) 31    16    320   1300 error 12   6.1 190 410 - -
ldv-linux-3.0/module_get_put-drivers-block-loop.ko_false-unreach-call.cil.out.i.pp.i false(unreach-call) 0 wit inspect 30   14   250 820 .25  0      timeout 98    79    1200   3500 true 25   13   470 590 - -
ldv-linux-3.0/module_get_put-drivers-block-pktcdvd.ko_false-unreach-call.cil.out.i.pp.i error 0 wit inspect 16   4.8 130 540 .24  0      error (invalid witness file) .51 .33 12   40 error (invalid witness file) 7.0 3.7 120 300 - -
ldv-linux-3.0/module_get_put-drivers-isdn-gigaset-gigaset.ko_false-unreach-call.cil.out.i.pp.i timeout 0 wit inspect 900   700   9900 6100 0     0      error (invalid witness file) .47 .30 7.9 40 error (invalid witness file) 7.7 4.0 140 340 - -
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 73   25   590 2000 .33  0      timeout 94    83    1800   960 unknown 9.9 5.1 190 330 - -
ldv-linux-3.0/module_get_put-drivers-net-ppp_generic.ko_false-unreach-call.cil.out.i.pp.i false(unreach-call) 1 wit inspect 17   4.4 130 670 .27  0      false(unreach-call) 16    8.5  330   550 true 23   13   250 590 - -
ldv-linux-3.0/module_get_put-drivers-net-wan-farsync.ko_false-unreach-call.cil.out.i.pp.i false(unreach-call) 0 wit inspect 55   21   460 1600 .25  0      timeout 97    82    1800   1500 true 23   13   420 580 - -
ldv-linux-3.0/module_get_put-drivers-tty-synclink_gt.ko_false-unreach-call.cil.out.i.pp.i timeout 0 wit inspect 900   810   14000 4800 0     0      error (invalid witness file) .51 .34 12   40 error (invalid witness file) 7.1 3.8 140 320 - -
ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko_false-unreach-call.cil.out.i.pp.i false(unreach-call) 0 wit inspect 340   200   2800 5600 .42  .025  timeout 97    77    2400   2900 error 20   11   290 430 - -
ldv-linux-3.0/usb_urb-drivers-hid-usbhid-usbmouse.ko_false-unreach-call.cil.out.i.pp.i false(unreach-call) 0 wit inspect 460   340   4900 5700 .20  0      true 10    5.4  100   420 true 14   7.2 230 440 - -
ldv-linux-3.0/usb_urb-drivers-input-misc-keyspan_remote.ko_false-unreach-call.cil.out.i.pp.i timeout 0 wit inspect 900   720   10000 7600 0     0      error (invalid witness file) .48 .33 6.5 40 error (invalid witness file) 6.8 3.6 140 310 - -
ldv-linux-3.0/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko_false-unreach-call.cil.out.i.pp.i false(unreach-call) 0 wit inspect 22   5.7 170 640 .31  0      timeout 97    80    1600   3900 true 24   13   280 610 - -
ldv-linux-3.0/usb_urb-drivers-net-can-usb-ems_usb.ko_false-unreach-call.cil.out.i.pp.i timeout 0 wit inspect 900   450   7600 11000 0     0      error (invalid witness file) .54 .34 13   41 error (invalid witness file) 7.1 3.7 150 310 - -
ldv-linux-3.0/usb_urb-drivers-net-usb-catc.ko_false-unreach-call.cil.out.i.pp.i timeout 0 wit inspect 900   740   13000 6100 0     0      error (invalid witness file) .50 .32 9.5 40 error (invalid witness file) 6.5 3.5 130 300 - -
ldv-linux-3.0/usb_urb-drivers-staging-lirc-lirc_imon.ko_false-unreach-call.cil.out.i.pp.i false(unreach-call) 0 wit inspect 190   130   2100 4600 .20  .025  timeout 98    78    1400   3400 true 14   7.8 200 480 - -
ldv-linux-3.0/usb_urb-drivers-usb-misc-iowarrior.ko_false-unreach-call.cil.out.i.pp.i false(unreach-call) 0 wit inspect 57   15   450 1900 .25  .025  timeout 97    77    1100   3700 true 17   9.4 300 500 - -
ldv-linux-3.0/module_get_put-drivers-atm-eni.ko_true-unreach-call.cil.out.i.pp.i true 1 wit inspect 13   3.5 93 500 0     0      - - out of memory 420    370    8500   7000 false(unreach-call) 35   19   600 710
ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko_true-unreach-call.cil.out.i.pp.i true 1 wit inspect 19   4.9 130 670 0     0      - - out of memory 680    540    9800   7000 timeout 950   880   16000 3100
ldv-linux-3.0/module_get_put-drivers-block-paride-pt.ko_true-unreach-call.cil.out.i.pp.i true 1 wit inspect 9.5 2.8 74 440 0     0      - - timeout 910    820    24000   5700 false(unreach-call) 130   110   2100 1100
ldv-linux-3.0/module_get_put-drivers-bluetooth-btmrvl.ko_true-unreach-call.cil.out.i.pp.i true 1 wit inspect 9.1 2.5 78 360 0     0      - - timeout 910    860    22000   5600 false(unreach-call) 20   11   370 520
ldv-linux-3.0/module_get_put-drivers-char-ipmi-ipmi_watchdog.ko_true-unreach-call.cil.out.i.pp.i true 1 wit inspect 12   3.4 94 500 0     0      - - error (recursion) 11    6.0  140   340 false(unreach-call) 240   190   3800 5800
ldv-linux-3.0/module_get_put-drivers-gpu-drm-i915-i915.ko_true-unreach-call.cil.out.i.pp.i true 1 wit inspect 25   6.3 190 1100 0     0      - - timeout 960    930    30000   4600 out of memory 330   260   5700 7000
ldv-linux-3.0/module_get_put-drivers-hid-hid-magicmouse.ko_true-unreach-call.cil.out.i.pp.i true 1 wit inspect 6.3 2.1 52 290 0     0      - - out of memory 580    460    8200   7000 unknown 49   30   800 610
ldv-linux-3.0/module_get_put-drivers-hwmon-it87.ko_true-unreach-call.cil.out.i.pp.i true 1 wit inspect 11   3.0 100 480 0     0      - - timeout 910    880    17000   4000 timeout 960   870   14000 6600
ldv-linux-3.0/module_get_put-drivers-net-atl1c-atl1c.ko_true-unreach-call.cil.out.i.pp.i true 1 wit inspect 14   3.5 100 520 0     0      - - out of memory 470    390    8300   7000 false(unreach-call) 33   18   350 800
ldv-linux-3.0/module_get_put-drivers-net-pppox.ko_true-unreach-call.cil.out.i.pp.i true 1 wit inspect 9.5 2.8 70 440 0     0      - - out of memory 800    790    13000   7000 false(unreach-call) 10   5.6 180 370
ldv-linux-3.0/module_get_put-drivers-net-sis900.ko_true-unreach-call.cil.out.i.pp.i true 1 wit inspect 11   3.1 83 470 0     0      - - out of memory 520    410    7500   7000 unknown 85   57   1700 980
ldv-linux-3.0/module_get_put-drivers-scsi-megaraid.ko_true-unreach-call.cil.out.i.pp.i true 1 wit inspect 16   4.3 140 570 0     0      - - out of memory 610    550    10000   7000 unknown 800   750   12000 3100
ldv-linux-3.0/module_get_put-drivers-staging-et131x-et131x.ko_true-unreach-call.cil.out.i.pp.i true 1 wit inspect 12   3.2 93 510 0     0      - - out of memory 680    580    18000   7000 out of memory 32   23   820 7000
ldv-linux-3.0/module_get_put-drivers-video-aty-aty128fb.ko_true-unreach-call.cil.out.i.pp.i true 1 wit inspect 9.9 2.7 79 410 0     0      - - out of memory 310    290    5400   7000 timeout 960   930   19000 1700
ldv-linux-3.0/usb_urb-drivers-input-tablet-kbtab.ko_true-unreach-call.cil.out.i.pp.i true 2 wit inspect 8.0 2.4 66 310 0     0      - - timeout 910    890    17000   5500 true 100   72   890 1400
ldv-linux-3.0/usb_urb-drivers-media-video-c-qcam.ko_true-unreach-call.cil.out.i.pp.i true 1 wit inspect 8.9 2.6 67 390 0     0      - - out of memory 410    310    11000   7000 false(unreach-call) 25   13   410 560
ldv-linux-3.0/usb_urb-drivers-media-video-msp3400.ko_true-unreach-call.cil.out.i.pp.i true 1 wit inspect 13   3.6 100 480 0     0      - - out of memory 640    530    16000   7000 unknown 16   8.6 290 330
ldv-linux-3.0/usb_urb-drivers-misc-c2port-core.ko_true-unreach-call.cil.out.i.pp.i true 1 wit inspect 6.9 2.2 57 330 0     0      - - timeout 910    890    20000   3000 false(unreach-call) 28   15   360 730
ldv-linux-3.0/usb_urb-drivers-mtd-sm_ftl.ko_true-unreach-call.cil.out.i.pp.i true 2 wit inspect 10   2.9 84 470 0     0      - - error (recursion) 9.1  4.8  150   350 true 23   13   470 550
ldv-linux-3.0/usb_urb-drivers-scsi-dc395x.ko_true-unreach-call.cil.out.i.pp.i true 1 wit inspect 14   3.6 110 510 0     0      - - out of memory 520    450    9300   7000 error 19   9.9 220 340
ldv-linux-3.0/usb_urb-drivers-usb-serial-ir-usb.ko_true-unreach-call.cil.out.i.pp.i true 1 wit inspect 24   6.8 170 1000 0     0      - - out of memory 150    120    3300   7000 unknown 72   49   540 1400
ldv-linux-3.0/usb_urb-drivers-usb-serial-whiteheat.ko_true-unreach-call.cil.out.i.pp.i true 2 wit inspect 11   3.2 80 460 0     0      - - out of memory 430    340    14000   7000 true 56   30   700 1800
ldv-linux-3.0/usb_urb-drivers-uwb-i1480-dfu-i1480-dfu-usb.ko_true-unreach-call.cil.out.i.pp.i true 1 wit inspect 14   3.9 110 520 0     0      - - out of memory 540    420    9400   7000 timeout 960   940   23000 1400
ldv-linux-3.0/usb_urb-drivers-vhost-vhost_net.ko_true-unreach-call.cil.out.i.pp.i true 2 wit inspect 13   3.3 97 490 0     0      - - out of memory 370    300    10000   7000 true 34   18   470 870
ldv-linux-3.0/usb_urb-drivers-video-arkfb.ko_true-unreach-call.cil.out.i.pp.i true 2 wit inspect 10   3.0 88 470 0     0      - - out of memory 420    350    9100   7000 true 35   19   750 1100
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 29   8.2 230 1600 .48  0      timeout 97    73    900   3900 true 73   47   1000 2000 - -
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 false(unreach-call) 0 wit inspect 17   4.9 140 680 .30  0      timeout 97    78    940   4400 true 18   9.4 260 500 - -
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 33   8.6 220 1100 .26  0      timeout 97    72    1800   3600 true 24   13   230 620 - -
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 15   5.1 110 600 .24  0      true 17    8.8  250   550 unknown 11   5.7 150 340 - -
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 false(unreach-call) 0 wit inspect 18   5.0 150 880 1.3   0      timeout 97    69    1500   2600 timeout 97   88   1100 4600 - -
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 false(unreach-call) 0 wit inspect 21   5.7 150 730 .32  0      timeout 96    76    1100   3700 true 56   31   760 2100 - -
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 10   2.9 75 490 .25  0      timeout 97    82    1900   3000 true 33   18   440 840 - -
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 false(unreach-call) 0 wit inspect 24   6.2 170 760 .33  .025  timeout 97    78    1100   3700 true 29   17   460 720 - -
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 false(unreach-call) 0 wit inspect 11   2.9 79 530 .18  .025  timeout 97    82    1300   2300 true 34   18   480 760 - -
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 false(unreach-call) 0 wit inspect 15   4.0 110 540 .27  0      true 39    22    440   1900 true 37   25   350 860 - -
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 false(unreach-call) 0 wit inspect 12   3.3 88 540 .29  0      timeout 96    70    1200   3400 true 25   13   340 610 - -
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 31   12   260 990 .48  0      error (invalid witness file) .49 .32 9.7 40 error (invalid witness file) 11   5.6 110 310 - -
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 false(unreach-call) 0 wit inspect 14   3.8 98 670 .32  0      true 27    14    310   780 timeout 97   85   1000 4600 - -
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 false(unreach-call) 0 wit inspect 7.8 2.4 65 410 .20  0      timeout 97    79    1700   4100 true 16   8.6 300 470 - -
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 false(unreach-call) 0 wit inspect 15   3.9 120 560 .32  0      timeout 98    74    960   4000 true 39   23   500 1200 - -
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 out of memory 0 wit inspect 85   73   920 15000 .35  0      error (invalid witness file) .47 .31 10   41 error (invalid witness file) 7.7 4.0 140 340 - -
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 0 wit inspect 900   810   6200 6000 .86  0      error (invalid witness file) .53 .33 8.0 40 error (invalid witness file) 7.8 4.1 150 310 - -
ldv-linux-3.4-simple/32_7_cpp_false-unreach-call_single_drivers-media-video-vivi.cil.out.c exception 0 wit inspect 3.7 1.1 27 280 0     0      error (invalid witness file) .51 .34 9.9 39 error (invalid witness file) 8.3 4.3 160 350 - -
ldv-linux-3.4-simple/32_7_cpp_false-unreach-call_single_drivers-mtd-chips-cfi_cmdset_0001.cil.out.c exception 0 wit inspect 4.2 1.2 31 270 0     .0082 error (invalid witness file) .52 .32 12   39 error (invalid witness file) 8.3 4.4 160 350 - -
ldv-linux-3.4-simple/32_7_cpp_false-unreach-call_single_drivers-net-phy-dp83640.cil.out.c exception 0 wit inspect 5.3 1.5 38 310 0     0      error (invalid witness file) .53 .33 10   42 error (invalid witness file) 10   5.2 190 330 - -
ldv-linux-3.4-simple/32_7_cpp_false-unreach-call_single_drivers-net-wireless-mwl8k.cil.out.c exception 0 wit inspect 5.0 1.4 42 290 0     0      error (invalid witness file) .54 .37 9.8 40 error (invalid witness file) 9.9 5.2 170 350 - -
ldv-linux-3.4-simple/32_7_cpp_false-unreach-call_single_drivers-net-wireless-p54-p54usb.cil.out.c exception 0 wit inspect 5.8 1.6 47 310 0     0      error (invalid witness file) .50 .31 9.8 40 error (invalid witness file) 9.0 4.7 160 350 - -
ldv-linux-3.4-simple/32_7_cpp_false-unreach-call_single_drivers-staging-media-dt3155v4l-dt3155v4l.cil.out.c exception 0 wit inspect 4.2 1.2 32 260 0     0      error (invalid witness file) .50 .31 12   39 error (invalid witness file) 8.1 4.3 130 350 - -
ldv-linux-3.4-simple/32_7_cpp_false-unreach-call_single_drivers-usb-image-microtek.cil.out.c exception 0 wit inspect 4.5 1.3 37 260 0     .0041 error (invalid witness file) .50 .33 8.9 40 error (invalid witness file) 9.1 4.7 160 360 - -
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 out of memory 0 wit inspect 250   230   2400 15000 .32  0      error (invalid witness file) .50 .32 9.2 39 error (invalid witness file) 7.0 3.7 120 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 false(unreach-call) 0 wit inspect 21   5.4 160 730 .30  .025  timeout 97    75    2700   3800 true 25   14   450 580 - -
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 0 wit inspect 900   830   10000 4700 0     0      error (invalid witness file) .52 .33 11   40 error (invalid witness file) 7.7 4.0 140 310 - -
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 false(unreach-call) 1 wit inspect 24   11   190 750 .29  0      false(unreach-call) 20    12    360   780 true 18   9.6 290 490 - -
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 false(unreach-call) 0 wit inspect 23   5.9 150 830 .27  0      timeout 97    69    1400   4600 true 33   18   490 750 - -
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 false(unreach-call) 1 wit inspect 19   4.8 150 680 .14  0      false(unreach-call) 17    8.9  200   570 true 28   15   380 770 - -
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 6.1 2.0 57 300 0     0      - - timeout 910    880    17000   4200 true 22   11   320 540
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 1 wit inspect 4.9 1.7 45 290 0     0      - - out of memory 580    580    13000   7000 false(unreach-call) 15   8.4 350 420
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 1 wit inspect 5.1 1.7 49 290 0     0      - - timeout 900    890    17000   4200 false(unreach-call) 20   11   200 510
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 5.2 1.8 43 290 0     0      - - out of memory 530    500    11000   7000 true 11   5.6 200 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 1 wit inspect 5.2 1.9 44 290 0     2.3    - - timeout 910    890    18000   4900 false(unreach-call) 19   9.9 340 560
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 true 2 wit inspect 5.3 1.8 44 290 0     0      - - timeout 910    880    20000   6900 true 17   9.2 280 510
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 true 2 wit inspect 5.0 1.8 44 280 0     0      - - timeout 910    890    19000   5200 true 14   7.2 220 450
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 6.2 1.9 48 330 0     0      - - timeout 910    890    24000   4500 true 18   9.4 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 true 1 wit inspect 4.9 1.7 42 290 0     0      - - out of memory 470    400    8300   7000 false(unreach-call) 12   6.4 230 370
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 4.9 1.7 43 290 0     0      - - out of memory 630    620    11000   7000 true 16   8.1 200 420
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 1 wit inspect 4.1 1.5 32 290 0     0      - - out of memory 460    450    15000   7000 false(unreach-call) 10   5.3 180 340
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 true 2 wit inspect 5.8 1.9 46 290 0     0      - - out of memory 280    270    5800   7000 true 18   9.5 320 530
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 true 2 wit inspect 11   2.9 82 460 0     0      - - out of memory 210    190    3800   7000 true 28   15   440 670
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 true 2 wit inspect 7.5 2.4 57 310 0     0      - - out of memory 110    99    1700   7000 true 22   12   320 520
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 true 2 wit inspect 9.5 2.7 71 360 0     0      - - out of memory 43    35    700   7000 true 23   12   450 560
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 true 2 wit inspect 8.9 2.6 71 360 0     0      - - out of memory 120    100    1900   7000 true 33   17   330 600
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 true 2 wit inspect 7.7 2.3 63 320 0     0      - - out of memory 270    240    4300   7000 true 22   12   410 530
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 5.4 1.8 45 300 0     2.3    - - out of memory 350    330    6300   7000 true 14   7.7 280 460
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 true 2 wit inspect 6.9 2.3 55 300 0     0      - - out of memory 180    160    2900   7000 true 20   11   300 510
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 true 2 wit inspect 11   3.0 71 410 0     0      - - out of memory 73    61    1100   7000 true 27   15   400 640
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 true 2 wit inspect 10   2.8 81 400 0     0      - - out of memory 60    50    960   7000 true 25   13   410 620
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 true 2 wit inspect 9.5 2.8 73 380 0     0      - - out of memory 53    40    790   7000 true 27   14   440 640
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 5.4 1.9 41 290 0     0      - - out of memory 200    180    3000   7000 true 15   8.2 310 490
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 true 2 wit inspect 8.9 2.6 63 360 0     0      - - out of memory 48    38    700   7000 true 25   13   430 640
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 true 2 wit inspect 17   4.9 120 650 0     0      - - out of memory 200    190    4800   7000 true 38   21   670 920
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 4.5 1.6 37 290 0     0      - - timeout 900    890    14000   3900 true 13   6.9 200 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 true 1 wit inspect 5.5 1.9 47 290 0     0      - - out of memory 720    690    16000   7000 false(unreach-call) 45   27   740 1800
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 1 wit inspect 4.4 1.6 34 290 0     0      - - out of memory 710    700    13000   7000 false(unreach-call) 9.6 5.2 170 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 6.8 2.2 59 310 0     0      - - timeout 920    840    22000   6700 true 19   10   300 520
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 1 wit inspect 6.0 2.0 56 290 0     0      - - timeout 910    890    17000   5800 false(unreach-call) 31   16   440 550
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 1 wit inspect 3.9 1.5 30 280 0     0      - - timeout 910    890    16000   4900 false(unreach-call) 11   5.7 200 350
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 1 wit inspect 3.6 1.4 32 290 0     0      - - timeout 910    900    19000   6600 false(unreach-call) 12   6.4 110 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 true 2 wit inspect 6.9 2.2 62 320 0     0      - - out of memory 690    660    11000   7000 true 19   10   330 550
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 1 wit inspect 4.0 1.5 34 280 0     0      - - out of memory 750    690    21000   7000 false(unreach-call) 12   6.4 190 380
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 true 1 wit inspect 8.7 2.5 73 410 0     0      - - out of memory 350    330    6500   7000 false(unreach-call) 38   21   650 820
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 1 wit inspect 4.3 1.7 39 280 0     0      - - timeout 900    890    15000   5000 false(unreach-call) 20   11   220 580
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 5.1 1.8 40 290 0     0      - - out of memory 680    670    14000   7000 true 13   6.8 230 400
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 4.4 1.6 37 290 0     0      - - timeout 910    890    18000   6200 true 14   7.6 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 4.9 1.8 44 280 0     .029  - - timeout 910    890    17000   5000 true 12   6.3 210 390
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 4.4 1.6 36 290 0     0      - - timeout 910    890    16000   5100 true 11   6.0 160 370
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 4.9 1.7 40 290 0     0      - - out of memory 550    520    11000   7000 true 12   6.4 190 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 5.0 1.7 42 290 0     0      - - out of memory 820    810    17000   7000 true 12   6.1 200 370
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 true 2 wit inspect 7.1 2.1 56 330 0     0      - - out of memory 610    590    12000   7000 true 18   9.2 360 520
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 1 wit inspect 4.9 1.6 43 280 0     0      - - out of memory 290    280    8200   7000 false(unreach-call) 50   34   750 690
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 4.7 1.7 37 290 0     0      - - out of memory 650    640    15000   7000 true 11   5.6 200 370
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 1 wit inspect 4.7 1.7 38 290 0     .012  - - out of memory 820    810    16000   7000 unknown 26   14   460 420
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 1 wit inspect 4.9 1.7 40 290 0     0      - - timeout 910    890    18000   6700 unknown 25   14   440 420
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 1 wit inspect 4.2 1.5 33 290 0     0      - - out of memory 640    630    13000   7000 unknown 23   12   450 390
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 1 wit inspect 5.1 1.8 40 290 0     0      - - out of memory 750    740    16000   7000 unknown 24   13   350 410
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 1 wit inspect 4.9 1.8 42 290 0     0      - - out of memory 600    590    17000   7000 unknown 29   16   380 440
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 1 wit inspect 4.4 1.6 35 290 0     0      - - timeout 910    890    14000   5900 unknown 22   12   350 400
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 1 wit inspect 4.1 1.5 35 290 0     0      - - out of memory 360    350    9400   7000 unknown 33   22   490 540
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 1 wit inspect 4.7 1.7 45 290 0     0      - - timeout 910    890    19000   6300 unknown 24   13   460 400
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 1 wit inspect 4.6 1.6 39 290 0     0      - - out of memory 840    830    16000   7000 unknown 31   17   270 400
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 1 wit inspect 4.2 1.5 40 290 0     0      - - out of memory 560    550    13000   7000 unknown 24   13   270 420
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 5.2 1.8 40 290 0     0      - - timeout 910    890    21000   4700 true 12   6.6 200 410
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 4.7 1.7 43 290 0     0      - - out of memory 490    450    9200   7000 true 11   5.9 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 1 wit inspect 4.4 1.5 33 290 0     0      - - out of memory 480    470    11000   7000 unknown 23   12   280 400
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 6.0 2.0 56 300 0     0      - - timeout 910    890    19000   5200 true 13   7.2 220 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 1 wit inspect 4.5 1.6 39 290 0     0      - - out of memory 400    390    6000   7000 unknown 24   13   410 420
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 1 wit inspect 4.5 1.6 36 290 0     0      - - out of memory 890    880    20000   7000 unknown 25   14   430 410
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 1 wit inspect 4.7 1.7 38 290 0     0      - - timeout 910    890    24000   6200 unknown 25   14   550 430
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 1 wit inspect 5.0 1.7 39 290 0     0      - - timeout 910    890    19000   6500 unknown 26   14   380 440
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 1 wit inspect 5.5 1.9 47 300 0     0      - - timeout 910    890    20000   6700 unknown 25   14   380 430
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 1 wit inspect 4.3 1.6 42 290 0     0      - - timeout 910    890    14000   5200 unknown 340   320   7500 1700
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 true 2 wit inspect 9.1 2.6 71 370 0     0      - - out of memory 370    330    5700   7000 true 19   10   320 520
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 true 2 wit inspect 5.2 1.8 40 290 0     0      - - timeout 910    890    18000   5700 true 27   14   330 810
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 true 2 wit inspect 5.6 1.9 44 290 0     0      - - out of memory 490    430    8100   7000 true 14   7.2 220 430
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 5.1 1.8 42 290 0     0      - - timeout 910    890    15000   4600 true 14   7.7 170 450
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 11   3.1 87 440 0     0      - - out of memory 320    270    9500   7000 true 29   16   540 830
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 5.4 1.9 45 290 0     0      - - timeout 910    890    21000   4700 true 20   10   260 500
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 true 2 wit inspect 6.2 2.1 50 300 0     0      - - timeout 910    840    14000   6800 true 17   9.0 300 500
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 true 2 wit inspect 4.7 1.7 40 290 0     0      - - timeout 910    890    16000   4900 true 15   7.7 290 410
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 true 2 wit inspect 5.2 1.8 44 290 0     0      - - timeout 910    890    18000   5800 true 14   7.3 200 510
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 4.4 1.6 40 290 0     0      - - timeout 900    890    19000   5400 true 12   6.3 210 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 4.6 1.7 38 290 0     0      - - timeout 900    890    15000   2600 true 12   6.7 150 360
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 5.9 2.1 47 290 0     4.3    - - timeout 910    890    23000   6700 true 14   7.4 230 490
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 true 2 wit inspect 6.2 2.0 55 300 0     0      - - out of memory 460    350    8000   7000 true 16   8.5 280 520
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 true 2 wit inspect 6.9 2.1 58 300 0     0      - - out of memory 200    160    4100   7000 true 17   8.9 270 520
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 5.8 1.9 53 290 0     0      - - true 16    9.0  350   600 false(unreach-call) 700   680   11000 1800
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 5.9 2.0 46 300 0     0      - - timeout 910    890    15000   6100 true 15   7.8 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 5.0 1.8 47 290 0     0      - - out of memory 710    700    14000   7000 true 12   6.2 240 370
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 1 wit inspect 11   3.2 88 470 0     0      - - out of memory 420    380    7900   7000 timeout 960   900   22000 3200
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 5.4 1.8 40 290 0     0      - - out of memory 860    830    14000   7000 true 13   6.8 210 430
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 1 wit inspect 4.9 1.8 43 290 0     0      - - timeout 910    860    21000   5300 unknown 25   13   350 410
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 true 2 wit inspect 5.2 1.8 49 290 0     0      - - out of memory 520    460    15000   7000 true 14   7.5 250 420
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 true 2 wit inspect 5.7 2.0 54 280 0     0      - - out of memory 530    510    11000   7000 true 15   8.2 230 460
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 true 2 wit inspect 5.5 1.9 45 280 0     0      - - timeout 900    830    15000   7000 true 14   7.7 230 450
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 true 2 wit inspect 5.1 1.8 45 290 0     0      - - out of memory 830    820    17000   7000 true 12   6.3 200 400
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 1 wit inspect 6.4 2.1 59 300 0     0      - - timeout 910    850    18000   6000 false(unreach-call) 54   39   620 590
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 true 2 wit inspect 5.2 1.8 40 290 0     .0041 - - out of memory 580    500    10000   7000 true 13   6.9 180 440
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 true 2 wit inspect 5.3 1.9 47 300 0     0      - - timeout 910    890    19000   3900 true 15   8.1 170 420
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 true 2 wit inspect 4.9 1.8 42 290 0     0      - - timeout 910    890    18000   5100 true 12   6.1 210 380
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 true 2 wit inspect 5.5 1.9 41 290 0     0      - - out of memory 460    430    8300   7000 true 15   7.9 180 410
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 true 2 wit inspect 4.9 1.7 37 290 0     0      - - out of memory 860    830    20000   7000 true 15   7.7 290 460
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 true 2 wit inspect 4.9 1.7 41 290 0     0      - - out of memory 470    450    11000   7000 true 14   7.6 240 490
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 true 2 wit inspect 4.9 1.8 46 290 0     .0041 - - out of memory 800    770    16000   7000 true 17   8.9 280 540
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 true 2 wit inspect 4.7 1.8 38 280 0     0      - - timeout 910    900    18000   5900 true 11   5.7 190 360
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 4.9 1.7 42 290 0     0      - - timeout 910    900    16000   5700 true 10   5.4 200 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 5.1 1.9 37 290 0     0      - - out of memory 470    460    8500   7000 true 12   6.2 220 380
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 5.0 1.8 38 280 0     2.3    - - out of memory 860    850    21000   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--input--misc--apanel.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 1 wit inspect 5.9 2.0 52 300 0     8.2    - - out of memory 590    540    11000   7000 false(unreach-call) 18   9.2 330 510
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 true 1 wit inspect 4.8 1.7 41 290 0     0      - - out of memory 320    280    8900   7000 false(unreach-call) 16   8.5 300 510
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 4.8 1.7 40 290 0     0      - - out of memory 870    860    27000   7000 true 10   5.3 180 360
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 true 2 wit inspect 4.9 1.7 40 280 0     0      - - out of memory 340    330    7200   7000 true 13   7.0 190 380
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 true 2 wit inspect 5.7 1.9 53 290 0     0      - - timeout 910    890    15000   3700 true 12   6.5 180 430
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 true 2 wit inspect 4.8 1.7 40 290 0     0      - - timeout 910    890    18000   6000 true 11   5.6 210 350
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 true 2 wit inspect 5.0 1.7 41 290 0     0      - - out of memory 310    300    7600   7000 true 11   5.9 170 360
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 true 2 wit inspect 4.7 1.7 36 290 0     0      - - out of memory 520    510    15000   7000 true 11   5.7 210 350
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 true 2 wit inspect 5.7 2.0 50 290 0     0      - - timeout 910    890    17000   4800 true 14   7.5 210 440
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 true 2 wit inspect 4.6 1.7 40 280 0     0      - - out of memory 730    720    15000   7000 true 13   6.9 200 370
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 true 1 wit inspect 5.6 1.9 46 290 0     0      - - out of memory 620    600    13000   7000 false(unreach-call) 16   8.3 290 470
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 true 2 wit inspect 5.3 1.8 42 290 0     0      - - out of memory 420    380    8800   7000 true 12   6.3 190 380
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 true 2 wit inspect 6.6 2.3 46 290 0     0      - - out of memory 620    570    14000   7000 true 14   7.6 240 450
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 4.8 1.7 45 290 0     0      - - timeout 910    890    20000   6700 true 12   6.5 210 390
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 1 wit inspect 4.7 1.7 36 290 0     0      - - out of memory 540    530    13000   7000 false(unreach-call) 11   5.8 170 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 5.2 1.8 43 280 0     0      - - out of memory 570    550    13000   7000 true 12   6.4 220 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 true 2 wit inspect 5.5 1.9 48 310 0     0      - - out of memory 340    310    9100   7000 true 13   6.9 210 440
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 true 2 wit inspect 5.1 1.9 39 280 0     0      - - timeout 910    890    19000   5000 true 13   6.7 230 400
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 true 2 wit inspect 5.4 1.8 48 290 0     0      - - out of memory 710    700    13000   7000 true 16   8.4 160 430
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 true 2 wit inspect 5.7 1.9 43 290 0     0      - - out of memory 600    570    9600   7000 true 15   7.8 160 400
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 true 2 wit inspect 5.0 1.8 50 290 0     0      - - timeout 910    890    16000   4800 true 13   6.9 180 390
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 true 2 wit inspect 5.2 1.9 46 290 0     0      - - timeout 910    900    16000   5300 true 13   7.1 190 390
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 true 2 wit inspect 5.2 1.8 44 290 0     0      - - timeout 910    890    13000   5700 true 12   6.6 210 410
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 true 2 wit inspect 4.8 1.7 44 280 0     0      - - timeout 910    890    16000   5500 true 12   6.4 250 400
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 true 2 wit inspect 5.3 1.8 47 290 0     2.3    - - timeout 910    880    16000   4900 true 13   6.9 160 390
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 1 wit inspect 5.1 1.8 44 290 0     2.3    - - timeout 900    890    20000   4500 false(unreach-call) 13   7.0 190 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 true 2 wit inspect 5.1 1.8 45 290 0     0      - - timeout 910    900    19000   5600 true 13   6.9 190 390
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 true 2 wit inspect 5.7 2.0 47 290 0     0      - - out of memory 410    370    7100   7000 true 15   7.9 210 470
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 true 2 wit inspect 5.9 2.0 52 300 0     0      - - timeout 910    890    17000   6100 true 14   7.4 270 420
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 true 2 wit inspect 5.1 1.8 44 290 0     0      - - timeout 910    890    14000   5500 true 12   6.2 230 390
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 true 2 wit inspect 4.8 1.7 44 290 0     0      - - timeout 910    890    14000   5700 true 12   6.2 150 400
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 true 2 wit inspect 5.1 1.8 39 290 0     0      - - out of memory 870    860    16000   7000 true 12   6.2 190 380
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 true 2 wit inspect 5.1 1.8 43 290 0     0      - - timeout 910    900    23000   5500 true 13   6.9 220 420
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 true 2 wit inspect 7.7 2.4 59 320 0     0      - - timeout 910    890    17000   7000 true 21   11   340 530
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 5.3 1.9 43 290 0     0      - - timeout 910    890    17000   6100 true 14   7.2 190 430
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 true 2 wit inspect 6.0 2.0 59 290 0     0      - - out of memory 720    700    18000   7000 true 17   9.3 270 520
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 true 2 wit inspect 4.6 1.6 40 290 0     0      - - out of memory 890    880    17000   7000 true 14   7.2 120 370
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 true 2 wit inspect 5.3 1.9 47 290 0     0      - - out of memory 370    350    6500   7000 true 15   8.1 260 480
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 7.6 2.4 66 340 0     0      - - timeout 920    880    26000   6200 unknown 9.3 4.8 150 320
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 true 2 wit inspect 5.0 1.8 43 280 0     0      - - timeout 910    890    15000   6400 true 14   7.6 240 440
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 true 2 wit inspect 5.0 1.8 47 280 0     0      - - timeout 910    890    15000   5500 true 16   8.2 290 440
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 true 2 wit inspect 5.3 1.8 42 290 0     0      - - timeout 910    890    20000   6100 true 15   7.9 260 470
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 true 2 wit inspect 5.2 1.8 47 290 0     0      - - timeout 910    900    15000   6200 true 17   9.1 190 450
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 1 wit inspect 4.9 1.7 43 280 0     0      - - timeout 910    890    17000   4600 unknown 28   16   490 480
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 true 2 wit inspect 8.3 2.4 71 320 0     0      - - timeout 920    860    22000   6200 true 27   15   430 620
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 4.9 1.7 43 290 0     0      - - out of memory 420    380    13000   7000 true 12   6.5 230 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 true 2 wit inspect 7.2 2.3 55 290 0     0      - - out of memory 490    450    7900   7000 true 19   10   370 520
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 4.2 1.6 36 290 0     0      - - out of memory 410    350    9500   7000 true 29   15   350 840
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 5.0 1.7 42 290 0     0      - - out of memory 320    300    4900   7000 true 13   7.1 150 370
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 true 2 wit inspect 4.8 1.8 46 290 0     0      - - timeout 910    890    19000   6400 true 17   9.1 190 420
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 1 wit inspect 5.0 1.8 38 280 0     0      - - timeout 910    890    14000   4500 false(unreach-call) 13   6.6 170 390
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 1 wit inspect 3.7 1.5 33 280 0     0      - - timeout 900    900    15000   2400 false(unreach-call) 8.6 4.6 160 330
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 1 wit inspect 4.3 1.7 40 280 0     0      - - timeout 900    890    19000   4100 false(unreach-call) 13   6.8 230 420
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 4.7 1.7 42 290 0     0      - - timeout 900    890    21000   3900 true 14   7.1 180 420
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 1 wit inspect 4.8 1.7 37 290 0     2.3    - - timeout 910    900    20000   6300 false(unreach-call) 11   5.8 160 370
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 true 2 wit inspect 6.5 2.1 54 300 0     0      - - out of memory 490    460    10000   7000 true 23   13   340 530
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 true 2 wit inspect 5.8 1.9 50 290 0     0      - - timeout 910    890    18000   3800 true 21   11   320 530
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 true 2 wit inspect 5.9 2.0 50 290 0     0      - - out of memory 830    810    21000   7000 true 26   14   460 540
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 true 2 wit inspect 11   3.0 92 470 0     0      - - out of memory 460    420    11000   7000 true 26   17   340 530
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 true 2 wit inspect 6.7 2.3 47 290 0     0      - - out of memory 780    770    16000   7000 true 17   9.9 310 470
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 true 2 wit inspect 6.4 2.1 53 300 0     0      - - out of memory 690    670    11000   7000 true 18   9.3 290 470
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 true 2 wit inspect 8.4 2.5 72 350 0     0      - - timeout 930    880    26000   6100 true 29   15   490 710
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 true 2 wit inspect 11   3.1 73 450 0     0      - - out of memory 580    480    14000   7000 true 24   13   440 550
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 true 2 wit inspect 6.7 2.2 54 310 0     8.2    - - out of memory 400    370    7200   7000 true 19   10   320 540
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 true 2 wit inspect 11   3.0 76 470 0     1.7    - - out of memory 510    490    10000   7000 true 34   18   350 640
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 true 2 wit inspect 13   3.5 100 500 0     0      - - out of memory 300    280    8100   7000 true 27   14   370 630
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 true 2 wit inspect 12   3.0 91 510 0     0      - - out of memory 410    380    7200   7000 true 40   22   530 720
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 6.2 2.0 49 310 0     0      - - timeout 910    890    22000   6900 true 24   13   330 750
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 6.5 2.0 48 320 0     0      - - out of memory 720    700    13000   7000 true 25   13   310 750
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 true 2 wit inspect 9.8 2.7 83 490 0     0      - - out of memory 530    470    13000   7000 true 55   29   780 1800
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 true 2 wit <