Tool 2LS 0.6.0 CBMC 5.8 CPAchecker 1.6.1-svn 26725 CPAchecker 1.6.1-svn 26758M CPAchecker 1.6.1-svn 26773 DepthK DepthK version 3.0 - Fri Jan 6 18:14:20 AMT 2017 ESBMC ESBMC version 4.6.0 64-bit x86_64 linux CPAchecker symbiotic 5.0.0-KLEE:1faddfe0-dg:12c34aac-symbiotic:5e14b94d-minisat:3db58943-llvm-instrumentation:cd767593-stp:17249213 ULTIMATE Automizer 0.1.23-3204b741 ULTIMATE Kojak 0.1.23-3204b741 ULTIMATE Taipan 0.1.23-3204b741
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host apollon*
OS Linux 4.4.0-101-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-11-30 11:20:26 CET 2017-11-30 16:01:31 CET 2017-12-01 08:49:27 CET 2017-12-01 12:59:33 CET 2017-12-05 07:52:24 CET 2017-12-01 22:41:19 CET 2017-12-02 01:06:24 CET 2017-12-02 02:33:02 CET 2017-12-02 17:23:13 CET
Run set 2ls.sv-comp18.Systems_DeviceDriversLinux64_ReachSafety cbmc.sv-comp18.Systems_DeviceDriversLinux64_ReachSafety cpa-bam-bnb.sv-comp18.Systems_DeviceDriversLinux64_ReachSafety cpa-bam-slicing.sv-comp18.Systems_DeviceDriversLinux64_ReachSafety cpa-seq.sv-comp18.Systems_DeviceDriversLinux64_ReachSafety depthk.sv-comp18.Systems_DeviceDriversLinux64_ReachSafety esbmc-incr.sv-comp18.Systems_DeviceDriversLinux64_ReachSafety esbmc-kind.sv-comp18.Systems_DeviceDriversLinux64_ReachSafety interpchecker.sv-comp18.Systems_DeviceDriversLinux64_ReachSafety symbiotic.sv-comp18.Systems_DeviceDriversLinux64_ReachSafety uautomizer.sv-comp18.Systems_DeviceDriversLinux64_ReachSafety ukojak.sv-comp18.Systems_DeviceDriversLinux64_ReachSafety utaipan.sv-comp18.Systems_DeviceDriversLinux64_ReachSafety
Options --graphml-witness witness.graphml --graphml-witness witness.graphml -svcomp18-bam-bnb -disable-java-assertions -heap 10000m -ldv-bam-svcomp -disable-java-assertions -heap 10000m -svcomp18 -heap 10000M -benchmark -timelimit 900s -s incr -s kinduction -sv-comp18-interpcpachecker -heap 10000M -disable-java-assertions --witness witness.graphml --full-output --full-output --full-output
../sv-benchmarks/c/ status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score
ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko_false-unreach-call.cil.out.i.pp.i error (6) 1.7   270 12    0 false(unreach-call) 4.2  250 39   1 false(unreach-call) 36   1100 290 1 false(unreach-call) 21   600 190 0 false(unreach-call) 20   860 140 1 out of memory 180   15000 2300 0 false(unreach-call) 14     4700 150    1 false(unreach-call) 14     4800 160    1 false(unreach-call) 27   880 200 0 timeout (timeout) 900    150 14000   0 error (7) 7.7 480 61 0 error (7) 8.2 490 57 0 error (7) 7.7 480 57 0
ldv-linux-3.0/module_get_put-drivers-block-loop.ko_false-unreach-call.cil.out.i.pp.i error (6) 2.2   250 25    0 error (134) 370    13000 2500   0 false(unreach-call) 24   770 200 1 false(unreach-call) 15   660 130 0 false(unreach-call) 29   680 260 1 unknown 570   450 7100 0 unknown .39  120 4.6  0 unknown .40  120 5.2  0 false(unreach-call) 120   3700 1200 1 timeout (timeout) 900    520 12000   0 timeout 900   3300 6700 0 timeout 900   4900 10000 0 timeout 900   5300 11000 0
ldv-linux-3.0/module_get_put-drivers-block-pktcdvd.ko_false-unreach-call.cil.out.i.pp.i error (6) 2.0   250 21    0 witness invalid (false(unreach-call)) 72    1600 960   0 error 15   540 110 0 unknown 13   510 92 0 timeout 900   8300 7600 0 unknown 600   1000 8000 0 unknown .74  210 11    0 unknown .69  210 7.3  0 timeout 900   2600 12000 0 timeout (timeout) 900    180 14000   0 timeout 900   5300 8400 0 timeout 900   5400 11000 0 timeout 900   6100 8300 0
ldv-linux-3.0/module_get_put-drivers-isdn-gigaset-gigaset.ko_false-unreach-call.cil.out.i.pp.i error (6) .87  100 6.1  0 false(unreach-call) 70    2300 460   0 timeout 900   7500 9100 0 true 55   1400 430 -32 timeout 900   5400 9700 0 unknown 280   450 3600 0 false(unreach-call) 25     1600 270    0 false(unreach-call) 8.8   660 94    0 false(unreach-call) 200   3900 2600 0 timeout (timeout) 900    420 13000   0 error (7) 640   2100 5300 0 timeout 900   4800 10000 0 timeout 900   4800 7200 0
ldv-linux-3.0/module_get_put-drivers-isdn-mISDN-mISDN_core.ko_false-unreach-call.cil.out.i.pp.i out of memory 90     15000 770    0 error (1) 880    6200 7200   0 timeout 900   9700 7600 0 false(unreach-call) 24   760 200 0 false(unreach-call) 30   690 260 1 unknown 10   350 130 0 false(unreach-call) 33     2800 320    0 false(unreach-call) 8.6   700 110    1 false(unreach-call) 110   3500 1200 0 false(unreach-call) 560    120 7000   1 unknown 6.2 340 53 0 unknown 5.8 350 44 0 unknown 5.4 350 41 0
ldv-linux-3.0/module_get_put-drivers-net-ppp_generic.ko_false-unreach-call.cil.out.i.pp.i error (6) 2.4   120 18    0 error (1) 870    3500 4300   0 false(unreach-call) 17   550 130 1 false(unreach-call) 13   490 110 0 false(unreach-call) 130   1400 1400 0 unknown 620   1900 7500 0 out of memory 150     15000 1300    0 out of memory 69     15000 880    0 false(unreach-call) 20   590 150 0 timeout (timeout) 900    440 10000   0 unknown 600   1500 7800 0 timeout 900   4800 10000 0 false(unreach-call) 160   1400 1300 0
ldv-linux-3.0/module_get_put-drivers-net-wan-farsync.ko_false-unreach-call.cil.out.i.pp.i error (6) .62  55 4.6  0 error (134) 1.5  75 15   0 error 60   1900 520 0 false(unreach-call) 12   480 100 0 timeout 900   8400 7400 0 unknown 120   700 1300 0 timeout 900     6800 10000    0 timeout 900     5900 7600    0 false(unreach-call) 340   4700 3700 0 timeout (timeout) 900    120 14000   0 timeout 900   3500 6200 0 timeout 900   5000 12000 0 timeout 900   4900 9100 0
ldv-linux-3.0/module_get_put-drivers-tty-synclink_gt.ko_false-unreach-call.cil.out.i.pp.i error (6) 21     1400 170    0 error (134) 2.0  88 24   0 timeout 910   11000 5700 0 timeout 910   6700 10000 0 false(unreach-call) 290   5300 2400 1 unknown 820   9800 9100 0 unknown 2.4   800 32    0 unknown 2.2   780 27    0 timeout 940   7600 9900 0 timeout (timeout) 900    740 10000   0 unknown 130   2100 1100 0 timeout 900   5100 9900 0 unknown 170   3200 1800 0
ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko_false-unreach-call.cil.out.i.pp.i out of memory 110     15000 1000    0 error (1) 870    4700 6300   0 false(unreach-call) 460   6500 4100 1 false(unreach-call) 100   4100 890 0 false(unreach-call) 110   1100 1100 0 out of memory 230   15000 2400 0 unknown 4.5   1300 54    0 unknown 5.2   1300 64    0 false(unreach-call) 410   5600 4600 0 timeout (timeout) 900    530 9700   0 timeout 900   6800 8300 0 timeout 900   2600 9000 0 timeout 900   6200 12000 0
ldv-linux-3.0/usb_urb-drivers-hid-usbhid-usbmouse.ko_false-unreach-call.cil.out.i.pp.i error (134) .38  37 4.4  0 false(unreach-call) 5.7  240 59   0 timeout 900   6300 12000 0 false(unreach-call) 250   5600 2400 0 false(unreach-call) 33   670 350 1 unknown 21   210 270 0 false(unreach-call) 1.8   79 19    0 false(unreach-call) 3.7   130 42    0 false(unreach-call) 88   3400 950 0 timeout (timeout) 900    94 11000   0 error (7) 21   710 170 0 timeout 900   3600 10000 0 error (7) 32   720 300 0
ldv-linux-3.0/usb_urb-drivers-input-misc-keyspan_remote.ko_false-unreach-call.cil.out.i.pp.i error (134) .42  40 3.7  0 error (42) 870    1000 7700   0 timeout 910   8300 9000 0 timeout 900   9700 10000 0 timeout 900   5300 9200 0 false(unreach-call) 7.2 410 96 0 false(unreach-call) 4.2   100 38    0 false(unreach-call) 6.3   160 73    0 false(unreach-call) 120   3800 1200 0 timeout (timeout) 900    110 11000   0 timeout 900   4500 6000 0 timeout 900   4800 11000 0 timeout 900   5500 12000 0
ldv-linux-3.0/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko_false-unreach-call.cil.out.i.pp.i error (5) 1.1   79 8.6  0 error (1) 870    3000 4300   0 timeout 900   7700 10000 0 false(unreach-call) 13   500 120 0 false(unreach-call) 18   540 130 1 unknown 92   1000 1100 0 unknown .73  320 11    0 unknown .75  320 9.6  0 false(unreach-call) 20   730 150 0 timeout (timeout) 900    550 14000   0 error (7) 87   2100 670 0 timeout 900   5200 11000 0 timeout 900   5000 11000 0
ldv-linux-3.0/usb_urb-drivers-net-can-usb-ems_usb.ko_false-unreach-call.cil.out.i.pp.i error (134) .64  48 7.8  0 false(unreach-call) 23    3300 220   0 timeout 910   11000 5700 0 false(unreach-call) 510   7200 4100 0 false(unreach-call) 220   1900 2100 1 false(unreach-call) 17   470 200 0 false(unreach-call) 1.9   150 19    0 false(unreach-call) 1.5   130 14    0 false(unreach-call) 40   1300 310 0 timeout (timeout) 900    140 11000   0 error (7) 58   1900 420 0 timeout 900   4900 9700 0 error (7) 78   1900 590 0
ldv-linux-3.0/usb_urb-drivers-net-usb-catc.ko_false-unreach-call.cil.out.i.pp.i error (134) .93  55 12    0 error (134) 62    13000 800   0 timeout 910   7700 8700 0 false(unreach-call) 57   2700 490 0 timeout 900   5700 9100 0 unknown 900   780 12000 0 false(unreach-call) 1.7   150 17    0 false(unreach-call) 3.9   200 50    0 false(unreach-call) 46   1600 370 0 timeout (timeout) 900    120 14000   0 error (7) 800   3300 8900 0 timeout 900   5200 9200 0 error (7) 610   6200 6200 0
ldv-linux-3.0/usb_urb-drivers-staging-lirc-lirc_imon.ko_false-unreach-call.cil.out.i.pp.i error (134) .45  43 4.0  0 witness invalid (false(unreach-call)) 47    620 520   0 timeout 910   11000 6400 0 false(unreach-call) 23   870 180 0 false(unreach-call) 320   5300 3500 0 unknown 31   250 380 0 unknown .49  98 7.1  0 unknown .44  97 4.9  0 false(unreach-call) 33   920 280 0 timeout (timeout) 900    130 13000   0 timeout 900   3700 11000 0 timeout 900   5200 8400 0 timeout 900   5500 11000 0
ldv-linux-3.0/usb_urb-drivers-usb-misc-iowarrior.ko_false-unreach-call.cil.out.i.pp.i error (134) .75  54 6.0  0 false(unreach-call) 3.1  260 34   0 timeout 900   9600 8000 0 timeout 900   9400 7300 0 false(unreach-call) 66   1100 740 0 unknown 460   400 5900 0 unknown 3.5   180 39    0 unknown 9.2   260 110    0 false(unreach-call) 36   940 250 0 timeout (timeout) 900    2400 11000   0 error (7) 89   2700 820 0 timeout 900   5200 8900 0 error (7) 280   4900 2600 0
ldv-linux-3.0/module_get_put-drivers-atm-eni.ko_true-unreach-call.cil.out.i.pp.i error (6) 34     410 270    0 error (1) 870    4800 7700   0 true 15   510 130 2 true 6.7 280 58 2 true 100   2900 1100 2 unknown 620   2100 8000 0 unknown 4.2   380 52    0 unknown 3.4   360 47    0 true 19   730 140 1 timeout (timeout) 900    160 14000   0 true 28   900 220 2 timeout 900   4800 14000 0 timeout 900   4200 12000 0
ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko_true-unreach-call.cil.out.i.pp.i error (6) 1.8   270 13    0 error (42) 870    6100 8300   0 true 25   890 190 2 true 10   520 120 2 true 120   4200 1100 2 out of memory 190   15000 2200 0 out of memory 60     15000 580    0 true 50     7800 520    2 true 36   1100 260 1 timeout (timeout) 900    560 9700   0 true 120   2900 1300 2 timeout 900   5300 9000 0 true 45   4700 390 2
ldv-linux-3.0/module_get_put-drivers-block-paride-pt.ko_true-unreach-call.cil.out.i.pp.i error (6) 1.3   110 9.8  0 error (42) 870    950 3600   0 true 9.9 460 72 2 true 4.7 280 48 2 true 100   3700 1000 2 unknown 530   9100 6900 0 timeout 900     5900 12000    0 true 17     430 230    2 true 46   1700 360 2 true .63 29 7.4 2 true 41   2000 310 2 timeout 900   1500 7600 0 true 92   5200 1000 2
ldv-linux-3.0/module_get_put-drivers-bluetooth-btmrvl_false-termination.ko_true-unreach-call.cil.out.i.pp.i error (6) 24     4500 240    0 error (1) 870    4200 4600   0 true 10   390 79 2 true 6.4 290 61 2 true 97   2300 1000 2 unknown 570   250 6400 0 timeout 900     12000 6900    0 timeout 900     12000 6900    0 true 13   510 98 2 timeout (timeout) 900    420 12000   0 true 15   560 110 2 timeout 900   5600 13000 0 true 21   660 160 2
ldv-linux-3.0/module_get_put-drivers-char-ipmi-ipmi_watchdog.ko_true-unreach-call.cil.out.i.pp.i error (6) .55  55 3.9  0 false(unreach-call) 640    2500 3900   -16 true 18   590 140 2 true 5.3 290 48 2 timeout 900   6000 8100 0 unknown 85   260 1000 0 timeout 900     15000 7400    0 timeout 900     13000 12000    0 true 200   5600 1800 2 unknown 140    590 2000   0 true 130   5800 970 2 timeout 900   2200 8900 0 timeout 900   4800 11000 0
ldv-linux-3.0/module_get_put-drivers-gpu-drm-i915-i915.ko_true-unreach-call.cil.out.i.pp.i error (6) 2.6   410 21    0 error (42) 870    2600 7200   0 true 29   1200 230 1 true 11   850 110 1 true 120   1800 1300 1 unknown 180   12000 1900 0 out of memory 400     15000 3400    0 true 23     6300 310    1 true 35   1500 260 1 timeout (timeout) 900    470 11000   0 timeout 910   10000 11000 0 timeout 900   5300 8500 0 timeout 900   6100 9000 0
ldv-linux-3.0/module_get_put-drivers-hid-hid-magicmouse.ko_true-unreach-call.cil.out.i.pp.i error (6) .20  35 1.4  0 error (42) 870    3800 2700   0 true 7.3 330 55 2 true 5.0 280 44 2 true 30   700 240 2 unknown 900   1400 12000 0 timeout 900     2100 7000    0 timeout 900     2100 7100    0 true 7.7 440 63 2 unknown 580    96 7900   0 true 12   490 96 2 timeout 900   4300 11000 0 true 15   610 120 2
ldv-linux-3.0/module_get_put-drivers-hwmon-it87.ko_true-unreach-call.cil.out.i.pp.i error (6) .46  60 4.0  0 error (42) 870    620 4500   0 true 11   490 90 2 true 5.1 280 48 2 true 98   1600 1300 2 unknown 890   3600 8800 0 timeout 900     8100 6300    0 true 2.0   190 23    2 true 16   610 130 2 true .94 22 14   2 true 49   3400 460 2 timeout 900   1800 10000 0 true 840   5300 11000 2
ldv-linux-3.0/module_get_put-drivers-net-atl1c-atl1c.ko_true-unreach-call.cil.out.i.pp.i error (6) .84  85 6.8  0 error (134) 1.3  79 13   0 true 15   520 120 2 true 6.7 280 61 2 true 100   2600 1200 2 unknown 470   3100 5100 0 timeout 900     8700 8700    0 true 2.5   440 26    2 true 22   830 180 1 timeout (timeout) 900    2300 13000   0 true 33   930 270 2 error (7) 710   2100 8900 0 true 29   1000 240 2
ldv-linux-3.0/module_get_put-drivers-net-pppox_false-termination.ko_true-unreach-call.cil.out.i.pp.i error (6) .20  38 1.6  0 error (42) 870    1600 4700   0 true 9.2 450 83 2 true 10   440 78 1 true 7.2 390 52 2 unknown 250   140 3100 0 timeout 900     4700 8800    0 true .24  40 2.6  2 true 16   610 120 2 timeout (timeout) 900    3700 11000   0 true 14   580 110 2 true 12   500 100 2 true 14   570 110 2
ldv-linux-3.0/module_get_put-drivers-net-sis900.ko_true-unreach-call.cil.out.i.pp.i error (6) 2.2   230 14    0 error (134) 16    210 230   0 true 13   470 96 2 true 6.5 280 60 2 true 100   3700 1100 2 unknown 590   11000 5000 0 out of memory 800     15000 6100    0 true 79     4200 760    2 true 23   820 170 1 timeout (timeout) 900    330 13000   0 true 25   860 190 2 timeout 900   5100 11000 0 true 31   1900 230 2
ldv-linux-3.0/module_get_put-drivers-scsi-megaraid.ko_true-unreach-call.cil.out.i.pp.i error (6) 34     820 230    0 error (1) 870    7000 5300   0 true 20   550 160 2 true 7.7 290 79 2 true 100   3100 1100 2 unknown 630   5500 7000 0 out of memory 700     15000 6000    0 true 370     13000 3800    2 true 29   950 230 1 timeout (timeout) 900    250 12000   0 true 35   1100 270 2 timeout 900   5400 7900 0 true 47   4200 490 2
ldv-linux-3.0/module_get_put-drivers-staging-et131x-et131x.ko_true-unreach-call.cil.out.i.pp.i error (6) 3.5   110 31    0 error (42) 870    14000 6700   0 true 15   500 120 2 true 6.3 280 63 2 true 100   2500 1200 2 unknown 730   6900 8400 0 out of memory 250     15000 2700    0 true 19     1300 210    2 true 33   1200 210 1 timeout (timeout) 900    340 12000   0 true 33   1500 300 2 timeout 900   4800 12000 0 true 32   1700 270 2
ldv-linux-3.0/module_get_put-drivers-video-aty-aty128fb.ko_true-unreach-call.cil.out.i.pp.i error (6) 1.7   120 12    0 error (1) 880    4900 5100   0 true 11   500 92 2 true 5.8 290 58 2 true 100   2700 1200 2 unknown 900   4400 11000 0 timeout 900     13000 8700    0 true 18     460 250    2 true 25   790 180 2 timeout (timeout) 900    180 12000   0 true 28   850 220 2 timeout 900   1800 7100 0 true 60   3700 610 2
ldv-linux-3.0/usb_urb-drivers-input-tablet-kbtab.ko_true-unreach-call.cil.out.i.pp.i error (134) .29  36 2.5  0 error (42) 870    2400 6200   0 true 8.3 440 67 2 false(unreach-call) 73   4300 620 -16 true 13   530 110 2 false(unreach-call) 4.1 200 54 -16 false(unreach-call) 2.0   74 19    -16 false(unreach-call) 3.8   120 40    -16 true 21   600 180 2 timeout (timeout) 900    95 12000   0 true 48   1500 350 2 timeout 900   4000 11000 0 true 300   4900 3200 2
ldv-linux-3.0/usb_urb-drivers-media-video-c-qcam.ko_true-unreach-call.cil.out.i.pp.i error (6) 2.5   110 23    0 error (1) 870    3800 7000   0 true 9.6 420 82 2 true 6.3 290 53 2 true 100   2800 960 2 out of memory 4.8 15000 52 0 unknown 81     1700 920    0 unknown 28     730 280    0 true 28   1200 220 2 timeout (timeout) 900    310 12000   0 true 20   750 160 2 timeout 900   4800 10000 0 true 27   1200 220 2
ldv-linux-3.0/usb_urb-drivers-media-video-msp3400.ko_true-unreach-call.cil.out.i.pp.i error (134) 11     200 140    0 error (42) 870    5200 5200   0 true 15   500 120 2 true 6.8 290 69 2 true 100   3700 1100 2 unknown 900   5500 8400 0 out of memory 230     15000 2900    0 true 21     1600 260    2 true 27   1000 190 2 timeout (timeout) 900    460 11000   0 true 28   880 230 2 timeout 900   5300 9800 0 true 37   3000 340 2
ldv-linux-3.0/usb_urb-drivers-misc-c2port-core.ko_true-unreach-call.cil.out.i.pp.i error (139) 460     110 1800    0 error (42) 870    1200 4200   0 true 7.2 360 65 2 true 4.9 290 46 2 true 100   4800 830 2 out of memory 690   15000 6700 0 timeout 570     1800 5300    0 true 21     150 180    2 true 23   830 180 2 unknown 1.9  22 26   0 true 20   740 150 2 timeout 900   5100 7600 0 true 23   1400 190 2
ldv-linux-3.0/usb_urb-drivers-mtd-sm_ftl.ko_true-unreach-call.cil.out.i.pp.i error (5) 1.3   84 11    0 error (1) 870    2100 5800   0 true 11   490 88 2 true 5.4 290 52 2 timeout 910   7800 11000 0 unknown 510   4000 6400 0 unknown .42  91 4.9  0 out of memory 330     15000 4700    0 true 23   900 180 1 timeout (timeout) 900    130 11000   0 true 20   730 140 2 timeout 900   4800 11000 0 true 23   1200 180 2
ldv-linux-3.0/usb_urb-drivers-scsi-dc395x.ko_true-unreach-call.cil.out.i.pp.i error (5) 7.1   150 50    0 error (134) 3.2  160 37   0 true 16   510 110 1 true 7.3 290 73 1 true 100   3700 1100 1 unknown 540   3300 5000 0 out of memory 270     15000 2700    0 out of memory 98     15000 940    0 true 35   1200 230 1 timeout (timeout) 900    200 13000   0 error (7) 10   290 79 0 error (7) 9.5 290 80 0 error (7) 10   290 85 0
ldv-linux-3.0/usb_urb-drivers-usb-serial-ir-usb.ko_true-unreach-call.cil.out.i.pp.i error (134) .29  39 3.5  0 error (134) .40 45 4.0 0 true 38   1600 320 2 true 8.4 430 66 2 true 14   510 110 2 unknown 900   300 9000 0 timeout 900     6900 9100    0 timeout 900     7100 9500    0 false(unreach-call) 150   2900 1600 -16 timeout (timeout) 900    100 14000   0 true 72   2800 610 2 timeout 900   5000 11000 0 error (7) 110   3700 960 0
ldv-linux-3.0/usb_urb-drivers-usb-serial-whiteheat.ko_true-unreach-call.cil.out.i.pp.i error (6) .64  54 5.5  0 error (42) 870    1200 12000   0 true 13   520 100 2 true 9.4 440 83 2 true 100   2800 1000 2 unknown 890   1600 7000 0 unknown 1.0   220 14    0 unknown 2.6   280 34    0 true 54   2000 400 2 timeout (timeout) 900    95 11000   0 true 49   1600 370 1 timeout 900   5300 9700 0 true 63   2400 490 2
ldv-linux-3.0/usb_urb-drivers-uwb-i1480-dfu-i1480-dfu-usb.ko_true-unreach-call.cil.out.i.pp.i error (134) .96  48 12    0 error (134) 60    240 630   0 true 16   640 130 1 true 600   7800 6300 1 timeout 900   7100 9300 0 false(unreach-call) 55   1100 670 -16 unknown .35  76 3.7  0 unknown .33  77 3.1  0 true 440   4900 5700 1 timeout (timeout) 900    99 13000   0 error (7) 680   950 7900 0 timeout 900   4900 9600 0 error (7) 77   1100 770 0
ldv-linux-3.0/usb_urb-drivers-vhost-vhost_net.ko_true-unreach-call.cil.out.i.pp.i error (134) 2.9   140 28    0 error (42) 870    14000 7300   0 true 15   510 110 2 true 7.0 290 66 2 true 100   3800 1100 2 unknown 520   2400 5000 0 unknown 50     730 570    0 unknown 12     420 110    0 true 20   840 140 1 timeout (timeout) 900    470 12000   0 true 34   1100 250 2 timeout 900   5300 9700 0 true 47   4300 470 2
ldv-linux-3.0/usb_urb-drivers-video-arkfb.ko_true-unreach-call.cil.out.i.pp.i error (5) 1.9   210 14    0 error (1) 870    2700 5100   0 true 12   490 95 2 true 6.2 280 63 2 true 100   3600 1100 2 unknown 900   1900 10000 0 timeout 900     5900 8100    0 true 17     390 180    2 true 19   680 150 2 timeout (timeout) 900    190 13000   0 true 34   1300 250 2 timeout 900   2900 7500 0 timeout 900   5000 12000 0
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--gpu--drm--vmwgfx--vmwgfx.ko-ldv_main3_sequence_infinite_withcheck_stateful.cil.out.c out of memory 100     15000 830    0 error (1) 880    4600 7600   0 false(unreach-call) 32   1300 220 1 false(unreach-call) 20   810 190 0 false(unreach-call) 64   1000 500 0 unknown 890   14000 10000 0 false(unreach-call) 29     2100 300    0 out of memory 120     15000 1400    0 false(unreach-call) 28   1500 210 0 timeout (timeout) 900    1600 10000   0 out of memory 820   15000 8300 0 timeout 900   3300 12000 0 timeout 900   7300 9600 0
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--input--mouse--synaptics_usb_false-termination.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error (134) .72  53 7.7  0 error (134) 39    13000 510   0 false(unreach-call) 19   740 140 1 false(unreach-call) 13   510 100 0 false(unreach-call) 39   900 360 0 unknown 890   1100 6400 0 false(unreach-call) 44     490 540    0 false(unreach-call) 42     400 470    0 false(unreach-call) 24   770 180 0 timeout (timeout) 900    93 14000   0 timeout 900   1900 7300 0 error (7) 510   2300 6200 0 timeout 900   6400 11000 0
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--input--mousedev_true-termination.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error (5) .93  73 9.8  0 error (6) 20    490 240   0 false(unreach-call) 34   1100 290 1 false(unreach-call) 19   710 150 0 false(unreach-call) 35   700 330 0 unknown 890   2100 4800 0 false(unreach-call) 13     350 140    1 timeout 900     11000 12000    0 timeout 900   4300 12000 0 false(unreach-call) 13    56 150   1 timeout 900   4800 9300 0 timeout 900   5300 8200 0 timeout 900   4900 8300 0
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--isdn--capi--kernelcapi.ko-ldv_main3_sequence_infinite_withcheck_stateful.cil.out.c error (134) .72  97 5.9  0 false(unreach-call) 1.7  130 20   1 false(unreach-call) 15   580 110 1 false(unreach-call) 8.2 350 67 0 false(unreach-call) 48   570 470 1 unknown 900   670 11000 0 false(unreach-call) .97  170 8.7  1 false(unreach-call) 1.4   170 13    1 false(unreach-call) 12   530 96 0 false(unreach-call) 1.6  27 19   1 unknown 5.8 360 45 0 unknown 6.6 360 49 0 unknown 5.7 350 49 0
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--media--dvb--dvb-usb--dvb-usb-dib0700.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error (134) 2.0   230 17    0 error (6) 82    14000 1000   0 false(unreach-call) 20   880 160 0 false(unreach-call) 23   1200 220 0 false(unreach-call) 65   2300 710 0 unknown 900   1100 11000 0 unknown 1.4   390 14    0 unknown 1.5   390 18    0 false(unreach-call) 28   1000 180 0 false(unreach-call) 480    140 6600   0 timeout 900   5200 10000 0 timeout 900   4700 11000 0 timeout 900   6300 9900 0
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--media--video--cpia2--cpia2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error (5) 46     4700 380    0 error (1) 870    3200 4800   0 false(unreach-call) 27   900 200 1 false(unreach-call) 12   470 140 0 timeout 900   7900 7200 0 unknown 890   3200 11000 0 unknown .47  160 5.0  0 unknown .47  160 5.3  0 false(unreach-call) 49   1600 400 0 timeout (timeout) 900    320 13000   0 timeout 900   5900 9700 0 timeout 900   2100 10000 0 timeout 900   6700 11000 0
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--media--video--mem2mem_testdev.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error (134) .85  80 7.5  0 error (134) 1.2  63 11   0 false(unreach-call) 11   480 86 1 false(unreach-call) 9.0 470 79 0 false(unreach-call) 9.9 440 83 1 unknown 890   1100 7200 0 unknown .17  50 1.6  0 unknown .17  50 1.5  0 false(unreach-call) 8.7 480 66 0 false(unreach-call) 4.4  29 56   1 error (7) 12   310 94 0 error (7) 11   320 85 0 error (7) 11   320 95 0
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 error (134) 1.4   120 13    0 error (134) 5.7  240 62   0 false(unreach-call) 25   710 190 0 false(unreach-call) 14   520 130 0 false(unreach-call) 38   740 360 0 unknown 900   2400 8300 0 unknown .20  67 2.1  0 unknown .19  67 2.0  0 false(unreach-call) 330   4700 3700 0 timeout (timeout) 900    300 11000   0 timeout 900   5300 13000 0 timeout 900   1700 8600 0 timeout 900   5400 11000 0
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--mtd--chips--cfi_cmdset_0001.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error (5) 1.1   100 9.4  0 error (1) 870    980 6900   0 false(unreach-call) 12   530 89 1 false(unreach-call) 8.1 400 72 0 false(unreach-call) 11   400 82 1 unknown 880   6000 12000 0 unknown .63  140 6.3  0 unknown .72  150 6.2  0 false(unreach-call) 25   800 160 0 timeout (timeout) 900    300 10000   0 unknown 200   1100 1600 0 timeout 900   1000 10000 0 false(unreach-call) 26   850 190 0
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--net--phy--dp83640.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error (134) 1.9   160 19    0 error (134) 40    14000 450   0 false(unreach-call) 17   570 140 1 false(unreach-call) 9.7 460 95 0 false(unreach-call) 24   570 180 0 unknown 900   1500 13000 0 false(unreach-call) 3.0   140 33    1 false(unreach-call) 8.6   460 110    1 false(unreach-call) 31   860 230 0 timeout (timeout) 900    99 12000   0 timeout 900   5100 7500 0 timeout 900   4800 9900 0 timeout 900   4900 7900 0
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--net--wireless--p54--p54usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error (139) 380     200 3400    0 error (1) 870    5200 6300   0 false(unreach-call) 12   520 93 1 false(unreach-call) 9.6 450 85 0 false(unreach-call) 9.8 400 83 1 false(unreach-call) 86   420 760 0 false(unreach-call) .93  93 7.4  1 false(unreach-call) 1.2   110 11    1 false(unreach-call) 26   980 230 0 timeout (timeout) 900    99 11000   0 unknown 160   1100 1300 0 timeout 900   4900 10000 0 false(unreach-call) 38   1200 290 0
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--scsi--libfc--libfc.ko-ldv_main5_sequence_infinite_withcheck_stateful.cil.out.c out of memory 110     15000 870    0 error (1) 880    4100 6200   0 error 28   990 220 0 false(unreach-call) 16   500 160 0 false(unreach-call) 31   960 240 1 unknown 900   2800 12000 0 false(unreach-call) 15     1100 160    0 timeout 900     1800 11000    0 false(unreach-call) 21   920 160 0 timeout (timeout) 900    840 11000   0 unknown 800   3700 7900 0 timeout 900   3700 9000 0 false(unreach-call) 160   5200 1700 0
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--staging--keucr--keucr.ko-ldv_main1_sequence_infinite_withcheck_stateful.cil.out.c out of memory 120     15000 980    0 error (1) 870    4300 5900   0 false(unreach-call) 18   590 150 0 false(unreach-call) 8.6 380 79 0 timeout 900   5400 7300 0 false(unreach-call) 60   3000 550 0 false(unreach-call) 1.2   210 13    0 false(unreach-call) 1.7   220 17    0 false(unreach-call) 13   530 100 0 timeout (timeout) 900    310 12000   0 timeout 900   4700 9300 0 timeout 900   4800 9400 0 timeout 900   7600 7400 0
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--usb--image--microtek.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error (134) .54  51 5.3  0 error (134) 47    13000 650   0 false(unreach-call) 8.5 480 62 1 false(unreach-call) 7.7 350 83 0 false(unreach-call) 7.7 350 64 1 false(unreach-call) 4.0 130 48 0 false(unreach-call) .39  60 4.4  1 false(unreach-call) .51  66 6.0  1 false(unreach-call) 7.0 370 59 0 timeout (timeout) 900    100 12000   0 unknown 28   580 220 0 error (7) 380   900 4600 0 false(unreach-call) 17   550 140 0
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--usb--storage--usb-storage.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error (5) 290     7900 2000    0 error (1) 870    3300 11000   0 false(unreach-call) 15   550 110 1 false(unreach-call) 9.8 430 92 0 false(unreach-call) 26   640 190 1 unknown 900   9200 5500 0 false(unreach-call) 1.2   210 12    1 false(unreach-call) 1.4   210 12    0 false(unreach-call) 13   520 97 0 unknown 1.9  34 22   0 timeout 900   5500 8100 0 timeout 900   2400 11000 0 timeout 900   5500 10000 0
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--vhost--vhost_net.ko-ldv_main1_sequence_infinite_withcheck_stateful.cil.out.c error (5) 100     2500 660    0 error (134) 140    1200 1300   0 false(unreach-call) 17   700 150 1 false(unreach-call) 14   510 140 0 false(unreach-call) 13   450 100 1 unknown 890   14000 8900 0 false(unreach-call) 5.5   260 67    1 false(unreach-call) 13     610 160    0 false(unreach-call) 32   1100 230 0 timeout (timeout) 900    310 10000   0 timeout 900   4000 8600 0 timeout 900   1800 11000 0 timeout 900   6900 5700 0
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--video--aty--atyfb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 900     1100 11000    0 error (1) 870    4100 6300   0 error 84   3000 750 0 false(unreach-call) 34   1300 280 0 timeout 930   9800 7700 0 unknown 900   6200 8400 0 timeout 900     3600 9600    0 timeout 900     3100 9300    0 timeout 940   6500 11000 0 timeout (timeout) 900    3300 12000   0 timeout 900   9900 8000 0 timeout 900   2100 11000 0 timeout 900   6300 12000 0
ldv-linux-3.4-simple/32_7_cpp_false-unreach-call_single_drivers-media-video-vivi.cil.out.c error (134) 1.7   180 16    0 error (6) 6.2  380 72   0 false(unreach-call) 35   940 280 0 false(unreach-call) 24   920 210 0 false(unreach-call) 40   1000 360 0 unknown 500   640 5700 0 unknown .42  120 4.7  0 unknown .43  120 4.0  0 timeout 960   6300 13000 0 error (1) .76 26 9.2 0 error (7) 12   530 94 0 error (7) 13   530 96 0 error (7) 12   540 89 0
ldv-linux-3.4-simple/32_7_cpp_false-unreach-call_single_drivers-mtd-chips-cfi_cmdset_0001.cil.out.c error (5) 1.1   170 9.4  0 false(unreach-call) 580    2800 3300   0 false(unreach-call) 18   670 140 0 unknown 19   910 160 0 false(unreach-call) 20   810 170 1 unknown 500   6200 6200 0 unknown .40  110 4.4  0 unknown .37  110 4.5  0 false(unreach-call) 19   930 150 0 error (1) 1.5  29 20   0 error (7) 11   480 87 0 error (7) 11   490 84 0 error (7) 11   490 90 0
ldv-linux-3.4-simple/32_7_cpp_false-unreach-call_single_drivers-net-phy-dp83640.cil.out.c error (134) 2.4   250 24    0 false(unreach-call) 9.0  620 110   0 false(unreach-call) 31   1100 220 0 false(unreach-call) 13   1400 130 0 false(unreach-call) 35   1400 320 1 unknown 42   540 540 0 unknown .68  180 5.9  0 unknown .62  180 8.3  0 timeout 900   6300 13000 0 timeout (timeout) 900    130 15000   0 error (7) 13   600 110 0 error (7) 12   630 97 0 error (7) 13   610 91 0
ldv-linux-3.4-simple/32_7_cpp_false-unreach-call_single_drivers-net-wireless-mwl8k.cil.out.c error (134) 120     1000 800    0 error (134) 5.0  230 50   0 false(unreach-call) 37   1200 310 0 unknown 39   1800 310 0 false(unreach-call) 68   1500 700 1 out of memory 12   15000 150 0 unknown .71  200 8.1  0 unknown .74  200 7.1  0 timeout 900   4700 12000 0 error (1) 2.3  160 27   0 error (7) 14   650 100 0 error (7) 14   650 110 0 error (7) 13   650 93 0
ldv-linux-3.4-simple/32_7_cpp_false-unreach-call_single_drivers-net-wireless-p54-p54usb.cil.out.c error (5) 2.7   270 22    0 error (1) 870    2900 5500   0 false(unreach-call) 27   910 230 0 unknown 29   1700 210 0 false(unreach-call) 55   1200 510 1 unknown 28   270 370 0 unknown 1.5   300 18    0 unknown 1.5   300 15    0 false(unreach-call) 45   2300 370 0 timeout (timeout) 900    100 12000   0 error (7) 13   610 110 0 error (7) 13   640 100 0 error (7) 13   630 92 0
ldv-linux-3.4-simple/32_7_cpp_false-unreach-call_single_drivers-staging-media-dt3155v4l-dt3155v4l.cil.out.c error (134) 1.8   210 15    0 error (134) 3.4  170 32   0 false(unreach-call) 26   820 210 1 false(unreach-call) 12   1200 120 0 false(unreach-call) 79   930 820 1 unknown 27   340 390 0 unknown .53  160 7.0  0 unknown .57  160 5.2  0 false(unreach-call) 26   1100 190 0 error (1) .77 32 9.4 0 error (7) 12   590 100 0 error (7) 12   590 95 0 error (7) 13   590 96 0
ldv-linux-3.4-simple/32_7_cpp_false-unreach-call_single_drivers-usb-image-microtek.cil.out.c error (134) 1.4   220 13    0 false(unreach-call) 3.6  200 34   0 false(unreach-call) 24   760 170 0 false(unreach-call) 10   1300 100 0 false(unreach-call) 56   1300 570 1 unknown 24   320 310 0 unknown 1.3   250 13    0 unknown 1.3   250 10    0 false(unreach-call) 21   1200 160 0 error (1) .65 25 7.6 0 error (7) 12   590 120 0 error (7) 12   590 99 0 error (7) 12   600 94 0
ldv-linux-3.4-simple/43_1a_cilled_false-unreach-call_ok_linux-43_1a-drivers--misc--sgi-xp--xpc.ko-ldv_main3_sequence_infinite_withcheck_stateful.cil.out.c out of memory 120     15000 980    0 error (134) 140    2000 1600   0 false(unreach-call) 36   1000 270 0 false(unreach-call) 21   630 190 0 timeout 900   9500 8000 0 unknown 900   14000 9600 0 unknown 1.1   400 12    0 timeout 900     1500 10000    0 timeout 900   2500 11000 0 unknown 1.9  75 26   0 timeout 900   3200 11000 0 timeout 900   1600 11000 0 timeout 900   5000 15000 0
ldv-linux-3.4-simple/43_1a_cilled_false-unreach-call_ok_linux-43_1a-drivers--net--wireless--orinoco--orinoco_usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error (6) 1.6   170 14    0 error (1) 870    4300 6000   0 false(unreach-call) 26   850 180 1 false(unreach-call) 16   610 130 0 timeout 930   10000 8000 0 unknown 280   4400 2700 0 out of memory 160     15000 1500    0 timeout 900     3700 11000    0 timeout 940   5600 14000 0 unknown 150    160 2300   0 false(unreach-call) 170   1100 1300 0 timeout 900   4800 11000 0 false(unreach-call) 250   1400 2000 0
ldv-linux-3.4-simple/43_1a_cilled_false-unreach-call_ok_linux-43_1a-drivers--scsi--dpt_i2o.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error (6) 7.8   740 64    0 error (134) 10    380 120   0 timeout 900   9400 7700 0 false(unreach-call) 200   6400 1600 0 timeout 900   6200 8800 0 unknown 570   13000 6100 0 timeout 900     3700 6500    0 out of memory 760     15000 5500    0 timeout 900   4300 10000 0 timeout (timeout) 900    290 11000   0 timeout 900   7000 8200 0 timeout 900   1800 12000 0 timeout 900   3800 9200 0
ldv-linux-3.4-simple/43_1a_cilled_false-unreach-call_ok_linux-43_1a-drivers--scsi--megaraid--megaraid_mm_true-termination.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error (6) .79  61 6.4  0 false(unreach-call) 300    6400 2700   0 false(unreach-call) 20   710 160 0 false(unreach-call) 18   690 150 0 false(unreach-call) 37   970 320 0 unknown 38   420 450 0 out of memory 270     15000 2500    0 true 20     450 260    -32 false(unreach-call) 32   1100 230 0 timeout (timeout) 900    3800 7000   0 timeout 900   5900 9400 0 timeout 900   3600 10000 0 timeout 900   5100 10000 0
ldv-linux-3.4-simple/43_1a_cilled_false-unreach-call_ok_linux-43_1a-drivers--usb--gadget--mv_udc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error (6) 15     1800 140    0 error (1) 870    4300 4400   0 false(unreach-call) 31   1000 230 0 false(unreach-call) 16   520 150 0 false(unreach-call) 47   1400 430 0 unknown 550   3700 5200 0 out of memory 460     15000 3700    0 out of memory 73     15000 770    0 false(unreach-call) 31   990 220 0 timeout (timeout) 900    190 11000   0 unknown 110   1200 920 0 timeout 900   3800 13000 0 false(unreach-call) 62   1300 650 0
ldv-linux-3.4-simple/43_1a_cilled_false-unreach-call_ok_linux-43_1a-drivers--usb--gadget--pch_udc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error (6) 50     7000 410    0 error (1) 880    8500 5000   0 false(unreach-call) 21   700 170 1 false(unreach-call) 14   530 130 0 false(unreach-call) 15   490 130 0 unknown 900   6800 6300 0 false(unreach-call) 280     14000 2700    0 true 44     1800 490    -32 false(unreach-call) 51   1900 400 0 timeout (timeout) 900    130 13000   0 unknown 90   1500 660 0 timeout 900   4900 10000 0 unknown 130   1800 1300 0
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--acpi--container.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error (134) .27  36 3.1  0 error (134) 48    13000 670   0 true 5.0 300 40 2 true 4.5 290 45 2 true 4.7 290 41 2 unknown 900   760 10000 0 timeout 900     2000 9100    0 true .28  38 3.2  2 true 5.4 290 42 2 true .37 15 4.6 2 true 12   530 88 2 true 440   1300 2900 2 true 21   2100 210 2
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 error (134) .20  32 1.3  0 error (42) 870    1600 7000   0 true 5.3 300 45 2 true 4.4 280 42 2 true 4.9 290 45 1 true 25   290 280 2 timeout 900     2000 8300    0 true .26  34 2.8  2 true 8.5 440 65 2 true .29 14 2.9 2 true 7.9 380 69 2 true 18   790 150 2 true 9.2 480 76 2
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 error (134) .36  36 2.8  0 error (134) 53    13000 710   0 true 5.7 300 42 2 true 4.6 280 43 2 true 5.5 300 44 2 unknown 890   1000 5700 0 timeout 900     1700 8900    0 true .29  37 3.3  2 true 6.2 320 48 2 true .33 14 3.8 2 true 13   520 97 2 true 400   1600 2900 2 true 20   1700 160 2
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 error (134) .28  39 2.4  0 error (42) 870    14000 5700   0 true 5.5 300 47 2 true 5.6 280 52 2 true 5.2 300 41 2 true 10   280 100 2 timeout 900     3100 9800    0 true .48  48 5.7  2 true 6.3 330 59 1 timeout (timeout) 900    98 11000   0 true 13   530 110 1 true 310   1300 3300 1 true 20   1400 160 1
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 error (134) .22  38 1.8  0 error (42) 870    4400 5800   0 true 5.1 290 45 2 true 5.6 280 53 2 true 4.0 290 30 2 true 8.1 300 76 2 timeout 900     1500 11000    0 true .25  40 2.3  2 true 6.0 320 49 2 timeout (timeout) 900    3900 8100   0 true 11   470 95 2 true 220   860 2400 2 true 16   990 130 2
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 .41  61 3.3  2 out of memory 370    15000 2300   0 true 5.4 300 46 2 true 3.6 280 28 2 true 10   500 93 2 unknown 450   170 5500 0 timeout 900     1600 11000    0 true .28  33 3.4  2 true 29   1500 250 2 true .30 12 4.0 2 true 11   570 97 2 true 54   620 620 2 true 430   5100 5800 2
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 error (134) .20  35 1.9  0 error (42) 870    13000 13000   0 true 5.1 300 39 2 true 4.8 290 44 2 true 3.9 260 34 2 unknown 890   510 6700 0 timeout 900     2700 7200    0 true .23  37 2.1  2 true 5.4 300 50 2 true .32 15 3.8 2 true 9.9 440 73 2 true 180   900 2200 2 true 16   800 130 2
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 .18  29 1.2  2 error (42) 880    3200 3700   0 true 4.3 290 40 2 true 2.9 270 28 2 true 3.3 260 32 2 true 5.3 280 44 2 timeout 900     1300 12000    0 true .18  31 1.6  2 true 4.8 280 40 2 true .21 12 2.8 2 true 6.4 300 55 2 true 7.1 350 65 2 true 6.1 300 48 2
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 error (134) .21  38 2.0  0 error (42) 870    14000 6600   0 true 6.8 310 60 2 true 3.5 270 36 2 true 98   4100 960 2 true 320   5100 3900 2 timeout 900     5700 8400    0 true 1.2   72 16    2 true 8.3 450 74 2 timeout (timeout) 900    3700 8500   0 true 12   540 98 2 true 47   850 440 2 true 17   570 130 2
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 error (134) 3.0   320 29    0 error (42) 870    14000 4500   0 true 13   480 98 2 true 4.4 270 44 2 true 100   3900 1000 2 unknown 890   12000 10000 0 timeout 900     3600 9500    0 true 170     1000 1100    2 true 36   1300 290 2 timeout (timeout) 900    120 14000   0 true 23   850 170 2 true 160   2200 1800 2 true 29   920 230 2
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 error (134) .33  49 3.2  0 error (42) 870    14000 6600   0 true 9.0 380 74 2 true 3.8 270 38 2 true 100   4400 950 2 unknown 890   2800 9100 0 timeout 900     5500 8100    0 true 3.8   140 39    2 true 12   560 100 2 timeout (timeout) 900    160 13000   0 true 16   560 130 2 true 93   1200 1000 2 true 21   650 190 2
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 error (134) .45  56 3.4  0 error (42) 870    14000 5800   0 true 11   430 91 2 true 3.9 280 30 2 true 110   4300 1000 2 timeout 900   8200 11000 0 timeout 900     4100 7800    0 true 4.3   140 56    2 true 16   710 130 2 timeout (timeout) 900    3400 8000   0 true 17   650 130 2 true 89   1600 910 2 true 22   660 220 2
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 error (134) 1.4   150 13    0 error (42) 870    14000 7500   0 true 11   460 94 2 true 4.0 280 40 2 true 120   4200 1000 2 unknown 890   14000 11000 0 timeout 900     6000 8700    0 true 41     410 300    2 true 28   1100 250 2 timeout (timeout) 900    3700 7700   0 true 22   700 160 2 true 140   4500 1700 2 true 24   720 210 2
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 error (134) .79  83 8.5  0 error (42) 870    14000 5400   0 true 9.1 390 79 2 true 4.0 280 36 2 true 99   4200 960 2 unknown 900   11000 11000 0 timeout 900     8800 7800    0 true 17     310 150    2 true 16   670 130 2 timeout (timeout) 900    3300 7300   0 true 16   570 120 2 true 130   1200 1400 2 true 22   670 180 2
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 error (134) .20  34 1.6  0 error (42) 870    14000 7300   0 true 6.0 300 55 2 true 3.4 270 36 2 true 95   3000 940 2 true 390   7800 4700 2 timeout 900     5200 7800    0 true .76  55 9.7  2 true 7.3 440 65 2 true .32 13 3.2 2 true 11   510 80 2 true 45   790 540 2 true 13   530 110 2
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 error (134) .31  44 2.3  0 error (42) 870    14000 6300   0 true 8.0 350 60 2 true 3.8 270 34 2 true 97   3000 1100 2 true 360   4100 4400 2 timeout 900     5400 7800    0 true 2.2   100 23    2 true 11   480 100 2 timeout (timeout) 900    3500 8000   0 true 13   540 110 2 true 74   990 750 2 true 20   570 190 2
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 error (134) .81  82 6.6  0 error (42) 870    14000 4700   0 true 13   470 94 2 true 4.2 270 45 2 true 100   4000 1100 2 timeout 900   15000 9900 0 timeout 900     4300 7300    0 true 17     280 120    2 true 21   1200 180 2 timeout (timeout) 900    3600 8500   0 true 23   720 170 2 true 140   1400 1400 2 true 26   830 240 2
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 error (134) .76  73 5.4  0 error (42) 870    14000 8600   0 true 11   500 97 2 true 4.3 270 45 2 true 100   4000 1100 2 unknown 900   15000 10000 0 timeout 900     4800 11000    0 true 14     280 110    2 true 20   930 160 2 timeout (timeout) 900    3500 7800   0 true 21   640 160 2 true 100   1400 1000 2 true 25   780 200 2
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 error (134) .69  90 7.5  0 error (42) 870    14000 6400   0 true 11   480 97 2 true 4.2 270 45 2 true 100   4200 870 2 unknown 900   8800 13000 0 timeout 900     5100 7200    0 true 17     340 170    2 true 18   810 140 2 timeout (timeout) 900    140 12000   0 true 19   680 160 2 true 210   1200 2300 2 true 26   900 230 2
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 error (134) .21  36 2.0  0 error (42) 870    14000 7000   0 true 6.2 310 51 2 true 3.4 270 30 2 true 97   4300 940 2 true 560   6400 6600 2 timeout 900     6800 8300    0 true .78  58 8.7  2 true 8.2 460 69 2 true .33 14 3.3 2 true 12   530 90 2 true 47   830 480 2 true 15   550 120 2
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 error (134) .48  70 4.1  0 error (42) 870    14000 6900   0 true 11   480 87 2 true 3.8 270 35 2 true 99   2300 1400 2 true 740   9800 8700 2 timeout 900     4900 7000    0 true 4.0   140 44    2 true 16   740 140 2 timeout (timeout) 900    3200 6100   0 true 19   650 150 2 true 84   1600 800 2 true 23   690 170 2
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 error (134) 1.5   170 13    0 error (42) 870    14000 6100   0 true 21   650 170 2 true 5.7 280 68 2 true 110   2700 1200 2 unknown 900   10000 11000 0 timeout 900     4500 7100    0 true 68     620 460    2 true 41   2100 360 2 timeout (timeout) 900    3800 12000   0 true 33   1100 250 2 true 130   3500 1300 2 true 35   1100 290 2
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 error (5) .16  28 1.0  0 error (42) 870    14000 4200   0 true 4.6 300 40 2 true 3.6 280 33 2 true 5.5 290 46 2 true 8.3 280 76 2 timeout 900     3800 12000    0 true .47  33 5.1  2 true 4.9 280 43 1 true .24 12 2.8 2 true 8.6 370 67 2 true 64   540 670 2 true 11   510 110 2
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 error (134) .33  42 2.7  0 error (42) 870    13000 4400   0 true 6.2 320 43 2 true 4.2 280 37 2 true 95   2300 1100 2 true 22   330 230 2 timeout 800     4800 8400    0 true .47  51 5.5  2 true 7.3 340 57 2 timeout (timeout) 900    3800 8400   0 true 22   1100 180 2 timeout 900   1500 7500 0 true 80   5400 1000 2
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 .33  35 2.4  2 error (42) 870    3600 3300   0 true 4.6 290 38 2 true 3.0 270 29 2 true 3.8 290 31 2 true 480   280 5700 2 timeout 900     1200 8400    0 true .23  35 2.5  2 true 4.8 280 44 2 true .27 13 2.6 2 true 7.0 320 61 2 true 15   450 160 2 true 10   430 96 2
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 error (8) 1.9   510 26    0 error (42) 880    12000 13000   0 true 6.3 310 54 2 true 4.6 280 41 2 true 6.4 310 53 2 true 500   3000 6200 2 timeout 900     13000 8100    0 true .93  73 10    2 true 7.8 430 70 2 true .37 15 4.6 2 true 10   500 84 2 true 30   600 310 2 true 13   510 100 2
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 error (8) .20  29 1.7  0 error (42) 870    6000 4300   0 true 4.1 270 34 2 true 2.9 270 28 2 true 3.5 260 28 2 true 5.6 270 52 2 timeout 720     1300 8600    0 true .21  31 2.1  2 true 4.4 290 38 2 true .21 11 2.3 2 true 7.1 340 65 2 true 94   510 1100 2 true 9.8 500 96 2
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 error (8) .15  25 1.4  0 error (42) 870    14000 6300   0 true 3.7 260 32 2 true 3.3 280 27 2 true 3.0 250 27 2 true 4.0 260 35 2 timeout 900     3300 9200    0 true .096 28 1.0  2 true 3.8 290 31 2 true .17 11 1.9 2 true 6.2 320 46 2 true 57   490 640 2 true 9.0 430 79 2
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 error (134) .41  47 3.3  0 error (42) 870    3200 5400   0 true 7.2 340 64 2 true 4.8 280 48 2 true 59   1900 720 2 true 180   720 1400 2 timeout 900     1700 8500    0 true .68  71 7.8  2 true 11   470 77 1 timeout (timeout) 900    74 12000   0 true 13   550 110 2 timeout 900   4800 12000 0 true 19   1000 140 2
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 error (134) .30  34 2.5  0 error (42) 870    13000 8200   0 true 5.1 300 47 2 true 4.3 280 44 2 true 4.9 290 43 2 true 19   280 210 2 timeout 900     8800 10000    0 true .28  36 3.5  2 true 5.5 290 48 2 true .33 13 3.5 2 true 9.7 430 74 2 true 190   550 2500 2 true 15   490 150 2
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 .38  39 3.1  2 error (42) 870    14000 10000   0 true 4.8 300 41 2 true 4.3 280 34 2 true 3.8 280 32 2 true 6.2 280 65 2 timeout 900     2900 9100    0 true .22  34 2.2  2 true 4.8 290 37 2 true .32 13 3.6 2 true 8.5 400 64 2 true 93   530 1000 2 true 10   510 91 2
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 error (134) .32  33 2.9  0 error (42) 870    14000 9400   0 true 5.2 300 43 2 true 4.2 280 37 2 true 4.8 300 42 2 true 18   290 220 2 timeout 900     9000 8600    0 true .27  35 3.8  2 true 5.5 300 47 2 true .30 13 3.7 2 true 8.9 410 67 2 true 160   540 2100 2 true 15   490 150 2
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 error (134) .21  29 1.6  0 error (42) 870    1300 5500   0 true 4.6 290 39 2 true 3.6 280 29 2 true 4.0 290 32 2 true 7.9 280 94 2 timeout 900     4000 8200    0 true .26  32 2.6  2 true 4.9 280 41 2 true .26 12 2.6 2 true 7.5 360 56 2 true 43   560 540 2 true 9.0 470 76 2
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 error (134) .23  31 2.2  0 error (42) 870    2100 6100   0 true 5.4 300 50 2 true 3.7 280 33 2 true 97   2400 1200 2 unknown 890   810 6800 0 timeout 900     2300 9400    0 true .48  39 5.9  2 true 6.1 310 51 1 true .28 13 3.3 2 true 9.1 430 75 2 true 130   830 1700 2 true 13   510 120 2
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 error (134) .79  52 9.5  0 error (42) 870    13000 8900   0 true 8.1 330 73 2 true 5.7 280 49 2 true 14   860 130 2 unknown 890   2100 6200 0 timeout 900     1400 10000    0 true 1.0   65 15    2 true 9.9 480 86 2 timeout (timeout) 900    110 12000   0 true 13   510 110 2 true 460   920 6200 2 true 18   630 150 2
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 .27  37 1.9  2 error (42) 880    3400 3600   0 true 4.8 300 42 2 true 3.4 270 35 2 true 3.6 260 34 2 true 5.7 270 58 2 timeout 900     1000 7900    0 true .17  38 2.2  2 true 5.1 280 40 2 true .30 15 3.9 2 true 11   480 81 2 true 250   980 3000 2 true 16   1200 130 2
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 .28  33 2.1  2 error (42) 870    1500 6900   0 true 4.6 290 40 2 true 4.7 280 40 2 true 3.9 290 32 2 true 5.9 270 60 2 timeout 900     1200 9900    0 true .15  34 2.0  2 true 5.1 280 44 2 true .28 14 3.5 2 true 7.5 360 59 2 true 92   530 1000 2 true 10   510 89 2
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 error (134) .16  30 1.8  0 error (42) 870    14000 6900   0 true 4.8 300 38 2 true 4.2 280 42 2 true 3.8 290 30 2 true 8.7 280 100 2 timeout 900     7000 9700    0 true .24  33 2.6  2 true 5.2 290 42 2 true .24 13 3.1 2 true 8.0 380 56 2 true 58   530 640 2 true 11   530 95 2
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 error (8) 1.8   430 25    0 error (42) 870    13000 6500   0 true 5.1 300 46 2 true 4.3 280 40 2 true 4.2 260 34 2 true 59   750 740 2 out of memory 860     15000 8700    0 true 1.8   120 18    2 true 6.7 340 54 2 true .25 13 3.1 2 true 8.3 370 68 2 true 49   620 520 2 true 12   520 98 2
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 error (134) .17  30 1.2  0 error (42) 870    6600 4600   0 true 4.3 290 36 2 true 4.0 280 39 2 true 3.5 290 31 2 true 4.7 270 49 2 timeout 900     3900 10000    0 true .16  32 1.3  2 true 4.4 280 38 2 true .25 13 2.8 2 true 7.0 350 56 2 true 43   510 500 2 true 9.8 480 86 2
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 error (8) .63  130 6.6  0 error (42) 870    14000 6500   0 true 4.9 300 43 2 true 4.1 280 39 2 true 3.6 260 31 2 true 8.0 280 89 2 timeout 900     5800 8600    0 true .21  33 2.1  2 true 5.2 290 40 2 true .27 13 2.7 2 true 7.9 360 60 2 true 65   530 930 2 true 12   510 120 2
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 error (8) 2.2   530 24    0 error (42) 870    14000 6600   0 true 5.1 300 42 2 true 4.4 280 36 2 true 4.3 290 36 2 true 40   490 470 2 timeout 900     14000 8400    0 true 1.2   84 16    2 true 6.6 330 56 2 true .28 13 3.1 2 true 9.2 410 73 2 true 78   640 860 2 true 12   530 100 2
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 error (8) .34  55 2.9  0 error (42) 870    14000 6200   0 true 4.5 300 40 2 true 4.1 280 40 2 true 3.4 260 29 2 true 6.4 280 66 2 timeout 900     4500 11000    0 true .16  32 1.6  2 true 4.7 280 44 2 true .23 13 3.0 2 true 7.8 360 66 2 true 80   520 860 2 true 9.8 480 91 2
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 .21  30 2.1  2 error (42) 880    14000 7300   0 true 4.2 290 35 2 true 4.1 280 37 2 true 3.6 280 32 2 true 4.8 280 46 2 timeout 900     1300 9000    0 true .12  32 1.4  2 true 4.4 280 36 2 true .25 13 2.7 2 true 8.5 370 74 2 true 140   760 1400 2 true 12   890 87 2
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 error (8) .80  180 9.9  0 error (42) 870    14000 10000   0 true 4.9 300 42 2 true 4.1 280 39 2 true 3.6 260 32 2 true 18   280 250 2 timeout 900     12000 9500    0 true .53  50 6.6  2 true 5.7 290 51 2 true .27 13 2.7 2 true 8.1 360 70 2 true 57   530 570 2 true 11   500 100 2
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 error (134) .20  30 1.7  0 error (42) 870    14000 5900   0 true 4.7 290 43 2 true 4.2 280 43 2 true 3.8 290 31 2 true 9.7 280 120 2 timeout 900     8600 8600    0 true .26  35 3.0  2 true 5.4 290 46 2 true .27 13 2.9 2 true 7.6 370 61 2 true 60   510 650 2 true 10   510 98 2
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 error (134) .15  30 1.4  0 error (42) 870    2800 4900   0 true 4.3 290 35 2 true 4.2 280 38 2 true 3.6 280 32 2 true 5.1 280 47 2 timeout 900     6400 12000    0 true .14  32 1.5  2 true 4.4 280 44 2 true .24 13 2.9 2 true 7.6 350 64 2 true 55   520 620 2 true 10   510 87 2
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 error (134) .28  31 2.4  0 error (42) 870    14000 6700   0 true 5.3 300 50 2 true 4.3 280 41 2 true 4.2 290 38 2 true 18   280 200 2 timeout 900     7700 13000    0 true .68  48 6.8  2 true 6.5 300 51 2 true .26 13 3.1 2 true 8.7 410 65 2 true 82   750 1100 2 true 12   510 98 2
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 error (5) .18  31 1.1  0 error (42) 870    14000 11000   0 true 4.9 290 46 2 true 4.2 280 41 2 true 4.0 290 37 2 unknown 900   890 7400 0 timeout 900     2500 9900    0 true .49  35 6.1  2 true 5.2 290 40 2 true .27 13 3.0 2 true 7.9 380 63 2 true 66   640 860 2 true 11   490 110 2
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 error (134) .13  30 1.4  0 error (42) 880    7200 4700   0 true 4.5 300 43 2 true 4.1 290 34 2 true 3.6 290 31 2 true 5.4 270 51 2 timeout 900     5600 8900    0 true .17  32 1.5  2 true 4.6 280 37 2 true .23 13 2.6 2 true 7.4 340 56 2 true 72   520 920 2 true 9.9 490 94 2
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 error (134) .35  36 4.4  0 error (42) 870    14000 6300   0 true 6.6 310 56 2 true 4.8 280 40 2 true 5.4 290 44 2 true 51   490 650 2 timeout 900     10000 11000    0 true 1.5   90 20    2 true 8.1 460 70 2 true .38 15 3.1 2 true 10   470 72 2 true 120   850 1500 2 true 15   540 110 2
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 error (8) .26  37 2.0  0 error (42) 870    5100 5000   0 true 4.8 290 39 2 true 4.6 290 44 2 true 3.7 280 31 2 true 5.8 270 69 2 timeout 900     1300 10000    0 true .18  34 1.7  2 true 4.9 290 41 2 true .29 14 3.2 2 true 7.5 360 57 2 true 88   520 1100 2 true 10   510 87 2
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 error (134) .17  30 1.5  0 error (42) 870    14000 8800   0 true 4.7 300 38 2 true 4.1 290 37 2 true 3.8 290 30 2 true 7.4 270 73 2 timeout 900     5900 11000    0 true .22  33 2.0  2 true 5.0 290 43 2 true .26 13 3.3 2 true 8.0 370 58 2 true 45   530 470 2 true 10   510 100 2
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 error (8) .69  150 6.6  0 error (42) 870    13000 6700   0 true 4.8 300 40 2 true 4.2 280 42 2 true 3.6 260 35 2 true 14   280 180 2 timeout 900     11000 9900    0 true .38  42 4.4  2 true 5.7 290 48 2 true .45 86 3.5 2 true 8.0 360 69 2 true 58   530 580 2 true 11   510 92 2
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 error (8) 1.8   420 19    0 error (42) 870    13000 6400   0 true 5.2 300 42 2 true 4.2 280 39 2 true 4.3 270 35 2 true 78   1000 910 2 out of memory 800     15000 7900    0 true 2.3   150 25    2 true 7.2 370 57 2 true .25 13 3.8 2 true 9.1 410 70 2 true 98   660 1100 2 true 12   540 100 2
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 error (8) 2.7   670 31    0 error (42) 870    13000 8800   0 true 5.6 300 50 2 true 4.2 280 39 2 true 4.6 280 40 2 true 200   2400 2400 2 out of memory 670     15000 6500    0 true 5.4   320 70    2 true 7.9 430 71 2 true .29 13 3.3 2 true 8.8 400 69 2 true 50   700 580 2 true 12   500 96 2
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 error (8) .23  31 1.8  0 error (42) 870    14000 4800   0 true 4.7 290 38 2 true 4.1 280 34 2 true 94   2600 1300 2 true 6.0 280 61 2 timeout 900     3500 11000    0 true .19  33 2.0  2 true 4.7 280 37 2 true .23 13 3.0 2 true 14   710 120 2 timeout 900   4900 9600 0 true 46   4900 470 2
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 error (5) .49  46 3.8  0 error (42) 880    11000 7200   0 true 8.7 400 70 2 true 4.4 280 44 2 true 22   1300 180 2 true 200   990 1800 2 timeout 900     4300 8900    0 true 2.4   99 29    2 true 10   470 83 2 unknown 390    61 4800   0 true 17   560 130 2 true 240   980 2500 2 true 20   690 180 2
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 (5) .18  34 1.4  0 error (42) 870    14000 12000   0 true 5.4 300 45 2 true 4.2 280 40 2 true 95   3100 1200 2 true 13   280 130 2 timeout 900     4500 8600    0 true .49  42 7.7  2 true 6.0 290 49 2 unknown 200    60 2400   0 true 18   850 140 2 timeout 900   1300 11000 0 true 80   5200 830 2
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 (5) .21  36 1.8  0 error (42) 870    14000 8600   0 true 6.1 300 48 2 true 4.3 280 36 2 true 6.6 300 52 1 true 60   490 640 2 timeout 900     8600 8500    0 true 1.5   90 17    2 true 7.5 410 61 2 timeout (timeout) 900    180 12000   0 true 11   460 85 2 true 80   830 920 2 true 13   530 110 2
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 error (134) .36  34 3.3  0 error (42) 870    14000 5500   0 true 5.3 300 44 2 true 4.3 280 43 2 true 5.7 300 44 2 true 19   280 220 2 timeout 900     12000 10000    0 true .26  38 3.5  2 true 7.0 330 52 2 true .34 14 4.0 2 true 11   440 83 2 timeout 900   4700 9700 0 true 17   740 160 2
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 error (134) 1.7   120 18    0 error (42) 870    2500 4900   0 true 12   480 93 2 true 5.4 290 56 2 true 100   3100 1100 2 unknown 900   11000 7400 0 timeout 900     12000 11000    0 true 35     640 430    2 true 17   640 150 2 true .99 46 13   2 true 27   1100 200 2 timeout 900   2000 6400 0 true 76   5100 950 2
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 error (8) 1.3   310 17    0 error (42) 870    14000 5200   0 true 5.5 300 50 2 true 4.2 280 38 2 true 4.9 290 45 1 true 81   690 690 2 timeout 900     2900 9100    0 true .66  52 9.0  2 true 7.2 340 63 2 true .34 14 4.7 2 true 14   630 120 2 timeout 900   5000 10000 0 true 19   1500 150 2
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 error (134) .28  36 3.3  0 error (42) 870    14000 11000   0 true 6.5 300 55 2 true 3.6 280 30 2 true 97   4200 1000 2 true 860   2300 9200 2 timeout 900     5700 8500    0 true .97  53 11    2 true 7.8 380 55 2 timeout (timeout) 900    190 11000   0 true 13   540 110 2 timeout 900   4200 10000 0 true 19   590 160 2
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 error (134) .33  34 2.7  0 error (42) 870    14000 9000   0 true 5.3 300 44 2 true 4.2 280 38 2 true 4.1 290 37 2 true 7.4 270 82 2 timeout 900     8400 8200    0 true .23  36 2.7  2 true 6.2 300 51 2 true .32 13 4.0 2 true 9.2 420 77 2 true 34   520 320 2 true 11   500 100 2
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 .23  32 2.4  2 error (42) 870    1400 5300   0 true 4.4 290 38 2 true 4.1 280 39 2 true 4.0 290 28 2 true 5.6 270 55 2 timeout 900     2400 9200    0 true .17  32 1.8  2 true 4.9 290 39 2 true .23 13 2.6 2 true 7.7 350 65 2 true 100   590 1000 2 true 11   570 89 2
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 .36  69 3.6  2 error (42) 870    1500 5400   0 true 4.7 290 48 2 true 4.1 280 39 2 true 4.5 290 35 2 true 7.7 270 84 2 timeout 900     5400 9700    0 true .23  33 2.3  2 true 5.3 290 41 2 true .27 13 3.2 2 true 10   380 68 2 true 100   760 1000 2 true 11   580 95 2
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 error (5) .22  39 2.1  0 error (1) 870    1700 6400   0 true 6.9 310 58 2 true 4.4 280 40 2 true 98   3200 1100 2 unknown 900   5000 11000 0 timeout 690     2000 5700    0 true 6.7   85 64    2 true 14   530 110 2 timeout (timeout) 900    96 13000   0 true 13   530 98 2 true 45   990 410 2 true 14   550 100 2
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 error (134) 1.7   73 20    0 error (42) 870    13000 8100   0 true 7.7 340 66 2 true 5.1 290 45 2 true 100   4100 1200 2 unknown 890   2300 6600 0 timeout 900     3300 7900    0 true 8.6   170 88    2 true 190   4400 2200 2 timeout (timeout) 900    240 12000   0 true 12   530 95 2 true 180   930 2100 2 true 16   550 140 2
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 error (134) .49  43 5.3  0 error (42) 870    14000 13000   0 true 6.0 300 53 2 true 5.0 290 47 2 true 98   4500 1000 2 unknown 890   1600 5400 0 timeout 900     5700 11000    0 true .73  59 9.5  2 true 8.5 460 76 2 true .38 15 5.0 2 true 11   500 86 2 true 82   800 850 2 true 15   600 130 2
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 error (8) .85  180 6.7  0 error (42) 870    1100 6900   0 true 5.3 300 47 2 true 4.3 280 42 2 true 4.4 290 35 2 true 13   280 130 2 timeout 900     4000 8600    0 true .27  38 3.0  2 true 5.8 290 51 2 true .34 14 4.7 2 true 8.7 380 62 2 true 93   680 1300 2 true 11   520 110 2
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 error (134) .74  66 8.3  0 error (42) 870    14000 7200   0 true 11   470 100 2 true 5.3 280 55 2 true 97   4000 950 2 true 92   4100 990 2 timeout 660     640 5600    0 true 5.7   70 50    2 true 24   820 180 2 true .54 22 5.9 2 true 17   810 140 2 timeout 900   4800 11000 0 true 20   890 170 2
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 error (134) .35  39 3.0  0 error (42) 870    4700 5800   0 true 5.4 290 47 2 true 5.3 290 49 2 true 5.3 290 46 2 unknown 900   390 13000 0 timeout 900     5000 9900    0 true .29  39 2.9  2 true 6.3 320 52 2 true .32 15 4.0 2 true 10   450 86 2 true 120   700 1400 2 true 13   610 98 2
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 error (134) .24  31 2.0  0 error (42) 870    14000 6300   0 true 5.3 290 48 2 true 3.0 270 27 2 true 97   4500 810 2 unknown 900   820 9100 0 timeout 900     4000 9600    0 true .67  39 8.1  2 true 70   3300 650 2 true .34 12 4.0 2 true 8.6 420 66 2 true 110   730 1200 2 true 10   440 85 2
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 (134) .27  35 2.5  0 error (42) 870    14000 7000   0 true 5.8 300 47 2 true 4.0 280 41 2 true 29   1600 310 1 unknown 900   1300 7200 0 timeout 900     4400 8200    0 true .44  40 5.8  2 true 6.5 310 58 2 unknown 41    65 500   0 true 9.6 430 73 2 timeout 900   4700 9200 0 true 15   620 130 2
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 error (134) .35  35 4.0  0 error (42) 870    13000 8600   0 true 6.2 300 51 2 true 4.1 280 40 2 true 8.7 420 64 1 unknown 890   1300 6900 0 timeout 900     7600 8600    0 true .78  60 8.7  2 true 7.2 370 63 2 unknown 210    130 2100   0 true 11   480 82 2 true 110   840 1200 2 true 16   600 150 2
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 error (134) .28  34 2.6  0 error (42) 870    14000 7400   0 true 6.2 300 53 2 true 4.1 280 37 2 true 98   4300 1100 2 unknown 890   1500 7000 0 timeout 900     4200 11000    0 true .59  52 7.7  2 true 6.8 340 59 2 timeout (timeout) 900    290 7400   0 true 11   490 84 2 true 230   830 2400 2 true 19   620 160 2
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 error (134) .27  32 2.6  0 error (42) 870    14000 6500   0 true 5.2 290 47 2 true 4.0 280 40 2 true 5.0 300 44 1 true 12   290 130 2 timeout 900     3900 9900    0 true .33  35 3.9  2 true 5.7 290 48 2 timeout (timeout) 900    210 8500   0 true 8.5 400 64 2 true 110   660 1200 2 true 13   500 130 2
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 (134) .24  32 2.7  0 error (42) 870    14000 5400   0 true 5.5 300 52 2 true 4.1 280 42 2 true 96   3600 980 2 unknown 900   2100 8700 0 timeout 900     7100 7700    0 true .41  38 5.0  2 true 6.1 290 47 2 unknown 19    61 200   0 true 9.6 440 80 2 true 190   840 1800 2 true 16   760 140 2
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 (134) .30  33 4.2  0 error (42) 870    13000 6600   0 true 5.9 300 51 2 true 4.1 290 37 2 true 9.1 430 70 1 true 20   310 200 2 timeout 900     5700 8800    0 true .52  45 6.2  2 true 6.6 320 54 2 unknown 550    190 6000   0 true 9.3 430 75 2 true 160   740 2300 2 true 15   520 140 2
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 error (134) .22  31 2.6  0 error (42) 870    13000 6400   0 true 5.1 300 49 2 true 4.0 280 35 2 true 4.9 290 38 1 true 9.9 290 110 2 timeout 900     3500 9100    0 true .29  34 3.3  2 true 5.4 290 43 2 timeout (timeout) 900    250 8100   0 true 8.1 390 66 2 true 82   620 910 2 true 13   500 120 2
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 error (8) 1.6   370 15    0 error (42) 870    14000 9000   0 true 5.4 300 47 2 true 4.1 280 39 2 true 9.0 340 75 1 true 18   470 170 2 timeout 900     4200 8800    0 true .27  35 3.2  2 true 5.8 300 48 2 timeout (timeout) 900    110 11000   0 true 10   480 79 2 timeout 900   5100 12000 0 true 19   980 160 2
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 error (8) 1.4   320 17    0 error (42) 870    13000 7000   0 true 5.3 300 42 2 true 4.2 280 36 2 true 9.2 330 71 1 true 19   470 170 2 timeout 900     4100 8700    0 true .28  35 2.9  2 true 5.5 290 49 2 timeout (timeout) 900    230 8100   0 true 10   480 78 2 true 330   1300 3000 2 true 19   1000 150 2
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 error (8) 1.5   340 17    0 error (42) 870    14000 10000   0 true 5.2 300 47 2 true 4.2 280 39 2 true 11   440 110 1 unknown 890   960 6900 0 timeout 900     4300 9600    0 true .27  35 3.0  2 true 5.4 290 45 2 timeout (timeout) 900    290 7700   0 true 13   520 100 2 timeout 900   5200 11000 0 true 24   2200 240 2
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 error (8) .48  89 5.4  0 error (42) 870    14000 7100   0 true 5.1 300 43 2 true 4.6 290 46 2 true 4.9 300 44 1 true 9.2 280 110 2 timeout 900     1700 12000    0 true .20  36 1.9  2 true 6.0 290 53 2 timeout (timeout) 900    3400 12000   0 true 12   470 81 2 true 350   1500 2600 2 true 21   1500 190 2
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 error (134) .26  34 2.3  0 error (42) 870    13000 5300   0 true 5.0 300 45 2 true 4.6 280 40 2 true 4.2 290 34 2 true 7.8 280 84 2 timeout 900     3600 12000    0 true .23  36 2.7  2 true 5.6 290 53 2 true .28 14 3.5 2 true 6.8 330 56 2 true 9.5 430 73 2 true 7.2 350 56 2
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 error (134) .32  39 2.6  0 error (42) 870    14000 7900   0 true 5.7 300 47 2 true 3.1 270 28 2 true 4.4 290 35 2 true 75   1800 980 2 timeout 900     11000 9700    0 true .41  46 4.2  2 timeout 900   1400 11000 0 timeout (timeout) 900    150 12000   0 true 12   510 90 2 true 120   910 1000 2 true 13   690 110 2
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 error (8) 1.3   280 16    0 error (42) 870    13000 6600   0 true 5.3 300 49 2 true 4.0 280 33 2 true 7.9 330 56 1 true 16   290 200 2 timeout 900     3700 10000    0 true .25  37 3.0  2 true 6.7 300 60 2 timeout (timeout) 900    130 11000   0 true 8.8 410 65 2 true 49   660 570 2 true 9.1 450 81 2
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 error (134) .47  38 4.6  0 error (42) 870    2000 6100   0 true 6.5 310 51 2 true 4.2 280 38 2 true 7.8 380 63 1 unknown 900   1900 11000 0 out of memory 96     15000 1200    0 true 9.6   470 110    2 true 8.0 450 62 2 unknown 51    49 550   0 true 11   510 84 2 true 74   1100 750 2 true 16   530 150 2
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 error (134) .47  35 4.2  0 error (42) 870    14000 8900   0 true 5.4 300 44 2 true 4.6 280 39 2 true 97   3500 1000 2 true 130   1400 1600 2 timeout 900     6900 9000    0 true .92  46 11    2 true 6.9 330 62 2 true .34 14 3.6 2 true 9.1 410 75 2 true 12   500 100 2 true 9.5 440 69 2
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 (134) .55  37 5.1  0 error (42) 870    3300 6500   0 true 5.5 300 49 2 true 4.9 280 44 2 true 95   1400 1200 2 true 100   1200 1200 2 timeout 900     2600 9900    0 true .40  42 5.2  2 true 7.1 350 58 2 timeout (timeout) 900    3400 9400   0 true 10   450 77 2 true 19   530 200 2 true 13   530 100 2
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 error (134) .28  32 3.3  0 error (42) 870    14000 9500   0 true 5.2 290 47 2 true 4.0 280 41 2 true 5.1 300 44 1 true 14   280 180 2 timeout 900     3800 8600    0 true .32  35 3.3  2 true 5.6 300 52 2 timeout (timeout) 900    240 11000   0 true 8.9 400 71 2 true 87   680 1000 2 true 14   520 150 2
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 error (8) 3.5   830 43    0 error (42) 870    14000 11000   0 true 5.8 300 50 2 true 4.8 280 48 2 true 33   1400 320 2 true 37   760 430 2 timeout 900     4000 9000    0 true .42  42 5.1  2 true 7.4 350 60 2 timeout (timeout) 900    320 9100   0 true 9.9 430 80 2 true 23   680 200 2 true 13   500 120 2
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 error (134) .27  32 2.7  0 error (42) 870    13000 6500   0 true 5.3 300 53 2 true 4.1 290 41 2 true 5.0 300 38 1 true 11   290 120 2 timeout 900     4000 8200    0 true .32  35 3.4  2 true 5.7 290 51 2 timeout (timeout) 900    280 8500   0 true 11   410 71 2 true 90   630 1000 2 true 13   490 110 2
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 (134) .26  32 2.9  0 error (42) 870    14000 7400   0 true 5.3 300 52 2 true 4.2 280 38 2 true 4.9 300 38 1 true 16   280 140 2 timeout 900     4100 9300    0 true .32  35 3.8  2 true 5.6 290 46 2 timeout (timeout) 900    200 7300   0 true 8.5 400 63 2 true 78   640 900 2 true 14   500 130 2
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 error (134) .29  33 3.4  0 error (42) 870    14000 7800   0 true 5.2 300 41 2 true 4.1 280 43 2 true 5.3 300 44 1 true 13   290 130 2 timeout 900     3800 8600    0 true .33  36 3.6  2 true 5.5 290 46 2 timeout (timeout) 900    230 13000   0 true 8.8 410 71 2 true 130   670 1400 2 true 14   520 140 2
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 (134) .26  32 2.7  0 error (42) 870    14000 9400   0 true 5.3 300 45 2 true 4.1 280 42 2 true 5.2 300 39 1 true 12   290 160 2 timeout 900     3900 8900    0 true .30  35 3.5  2 true 5.6 290 45 2 timeout (timeout) 900 &