Tool 2LS 0.7.2-sv-comp19 CBMC CBMC Path 5.10 () CPAchecker 1.7-svn 29794 CPAchecker 1.7-svn 29852 DepthK 3.1 DIVINE ESBMC version 6.0.0 64-bit x86_64 linux PeSCo 1.7-svn b8d6131600+ SMACK 1.9.3 symbiotic 6.0.3-77d4af47 ULTIMATE Automizer 0.1.23-635dfa2a ULTIMATE Kojak 0.1.23-635dfa2a ULTIMATE Taipan 0.1.23-635dfa2a VeriAbs 1.3.10
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host apollon*
OS Linux 4.15.0-42-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33546 MB
Date of execution 2018-12-04 22:44:17 CET 2018-12-04 22:48:40 CET 2018-12-04 22:45:10 CET 2018-12-04 22:41:10 CET 2018-12-05 05:46:16 CET 2018-12-05 09:36:33 CET 2018-12-10 10:00:20 CET 2018-12-06 11:06:04 CET 2018-12-06 11:03:31 CET 2018-12-06 12:44:04 CET 2018-12-07 19:13:55 CET 2018-12-07 21:42:05 CET 2018-12-08 07:42:40 CET 2018-12-08 11:04:44 CET 2018-12-08 14:19:36 CET 2018-12-10 16:50:17 CET
Run set 2ls.sv-comp19_prop-reachsafety.Systems_DeviceDriversLinux64_ReachSafety cbmc.sv-comp19_prop-reachsafety.Systems_DeviceDriversLinux64_ReachSafety cbmc-path.sv-comp19_prop-reachsafety.Systems_DeviceDriversLinux64_ReachSafety cpa-bam-bnb.sv-comp19_prop-reachsafety.Systems_DeviceDriversLinux64_ReachSafety cpa-seq.sv-comp19_prop-reachsafety.Systems_DeviceDriversLinux64_ReachSafety depthk.sv-comp19_prop-reachsafety.Systems_DeviceDriversLinux64_ReachSafety divine-explicit.sv-comp19_prop-reachsafety.Systems_DeviceDriversLinux64_ReachSafety divine-smt.sv-comp19_prop-reachsafety.Systems_DeviceDriversLinux64_ReachSafety esbmc-kind.sv-comp19_prop-reachsafety.Systems_DeviceDriversLinux64_ReachSafety pesco.sv-comp19_prop-reachsafety.Systems_DeviceDriversLinux64_ReachSafety smack.sv-comp19_prop-reachsafety.Systems_DeviceDriversLinux64_ReachSafety symbiotic.sv-comp19_prop-reachsafety.Systems_DeviceDriversLinux64_ReachSafety uautomizer.sv-comp19_prop-reachsafety.Systems_DeviceDriversLinux64_ReachSafety ukojak.sv-comp19_prop-reachsafety.Systems_DeviceDriversLinux64_ReachSafety utaipan.sv-comp19_prop-reachsafety.Systems_DeviceDriversLinux64_ReachSafety veriabs.sv-comp19_prop-reachsafety.Systems_DeviceDriversLinux64_ReachSafety
Options --graphml-witness witness.graphml --graphml-witness witness.graphml --graphml-witness witness.graphml -svcomp19-bam-bnb -disable-java-assertions -heap 10000m -svcomp19 -heap 10000M -benchmark -timelimit 900s --no-symbolic -s kinduction -svcomp19-pesco -heap 10000M -stack 2048k -benchmark -timelimit 900s -w error-witness.graphml --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 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 error (6) 3.0   290 25    0 false(unreach-call) 3.1  220   26   1 out of memory 260    15000 2100   0 false(unreach-call) 53   1700 470 1 false(unreach-call) 21   910 180 1 unknown 16    40 210   0 error - divine failed with signal 6 (program::insert: unresolved symbol (global variable): cpu_possible_mask) 2.5 240 31 0 error - divine failed with signal 6 (.../lart/abstract/vpa.cpp: 82: encountered unknown parent instruction:) 2.3 230 29 0 false(unreach-call) 15     4700 170    1 false(unreach-call) 380   1700 2800 1 disqualified 860   940 12000 0 error(unknown, verification-finished) 4.1  62 62   0 error (7) 61   1000 520 0 error (7) 65   1000 550 0 error (7) 570   4700 7400 0 false(unreach-call) 53 870 580 1
ldv-linux-3.0/module_get_put-drivers-block-loop.ko_false-unreach-call.cil.out.i error (6) 2.6   260 28    0 error 880    1900   5300   0 false(valid-deref) .50 42 6.7 0 false(unreach-call) 26   720 220 1 timeout 960   9300 7600 0 unknown 48    140 570   0 error - divine failed with exitcode 1 1.6 210 22 0 error - divine failed with signal 6 (.../lart/abstract/util.cpp: 190: encountered unknown parent instruction:) 1.7 210 21 0 unknown .43  130 5.0  0 unknown 68   2300 690 0 disqualified 71   520 690 0 error(unknown, verification-finished) .96 50 14   0 timeout 900   4100 8400 0 error (7) 450   2500 5900 0 timeout 900   3700 8200 0 timeout 900 1900 7700 0
ldv-linux-3.0/module_get_put-drivers-block-pktcdvd.ko_false-unreach-call.cil.out.i error (6) 2.6   330 21    0 false(valid-deref) 600    4000   5400   0 false(valid-free) .73 60 9.3 0 error 32   1100 270 0 timeout 960   7500 8300 0 unknown 140    300 1800   0 error - divine failed with exitcode 1 1.7 210 19 0 error - divine failed with signal 6 (.../lart/abstract/util.cpp: 190: encountered unknown parent instruction:) 1.7 210 22 0 unknown .87  210 13    0 unknown 81   1600 600 0 disqualified 16   300 210 0 error(unknown, verification-finished) 2.4  140 17   0 timeout 900   5100 7400 0 error (7) 240   2900 2500 0 timeout 900   5200 9200 0 timeout 900 1200 8100 0
ldv-linux-3.0/module_get_put-drivers-isdn-gigaset-gigaset.ko_false-unreach-call.cil.out.i error (6) 1.3   110 10    0 false(unreach-call) 120    2100   820   0 error (134) 2.9  130 29   0 timeout 900   8500 9000 0 timeout 960   6100 10000 0 unknown 900    3100 8000   0 error - divine failed with exitcode 1 1.8 210 26 0 error - divine failed with signal 6 (.../lart/abstract/util.cpp: 190: encountered unknown parent instruction:) 1.8 210 27 0 false(unreach-call) 24     2000 260    0 unknown 250   2500 2100 0 disqualified 890   730 8000 0 timeout (verification) 900    2900 9400   0 timeout 900   2400 11000 0 timeout 900   2400 12000 0 timeout 900   6600 10000 0 unknown 86 1100 920 0
ldv-linux-3.0/module_get_put-drivers-isdn-mISDN-mISDN_core.ko_false-unreach-call.cil.out.i out of memory 98     15000 1000    0 error 880    3900   6900   0 error (134) 5.6  470 63   0 false(unreach-call) 100   3600 910 1 false(unreach-call) 19   680 170 1 unknown 7.4  30 100   0 error - divine failed with exitcode 1 1.8 210 28 0 error - divine failed with signal 6 (.../lart/abstract/util.cpp: 190: encountered unknown parent instruction:) 1.8 210 24 0 false(unreach-call) 40     3000 440    1 false(unreach-call) 490   2800 5000 1 disqualified 49   300 560 0 error(unknown, verification-finished) 1.3  31 16   0 unknown 11   390 87 0 unknown 11   380 76 0 unknown 12   380 90 0 false(unreach-call) 140 1200 1600 0
ldv-linux-3.0/module_get_put-drivers-net-ppp_generic.ko_false-unreach-call.cil.out.i error (6) 3.0   120 25    0 error 880    2100   6700   0 out of memory 340    15000 2900   0 timeout 900   8200 11000 0 false(unreach-call) 89   2600 800 1 false(unreach-call) 380    8000 3600   0 error - divine failed with exitcode 1 1.7 210 20 0 error - divine failed with signal 6 (.../lart/abstract/util.cpp: 190: encountered unknown parent instruction:) 1.7 210 23 0 out of memory 160     15000 1900    0 false(unreach-call) 250   2700 2600 1 disqualified 13   280 170 0 timeout (verification) 900    2800 8200   0 timeout 900   5600 11000 0 error (7) 270   2500 2800 0 timeout 900   5500 7400 0 false(unreach-call) 730 890 7300 1
ldv-linux-3.0/module_get_put-drivers-net-wan-farsync.ko_false-unreach-call.cil.out.i error (6) .72  61 5.0  0 error (42) 880    2100   4200   0 error (134) 9.0  810 100   0 timeout 900   4500 11000 0 timeout 960   9200 7400 0 unknown 2.7  170 29   0 error - divine failed with exitcode 1 1.7 210 22 0 error - divine failed with signal 6 (.../lart/abstract/util.cpp: 190: encountered unknown parent instruction:) 1.6 210 25 0 true 47     1000 590    -32 timeout 910   6400 8900 0 disqualified 14   300 180 0 error(unknown, verification-finished) 1.3  75 14   0 timeout 900   4000 9500 0 timeout 900   3400 9900 0 timeout 900   3300 10000 0 false(unreach-call) 270 3000 2600 1
ldv-linux-3.0/module_get_put-drivers-tty-synclink_gt.ko_false-unreach-call.cil.out.i error (6) 22     1400 140    0 error 880    2900   4600   0 false(unreach-call) 6.6  400 78   0 timeout 900   11000 5300 0 false(unreach-call) 170   4100 1800 1 unknown 900    6800 7500   0 error - divine failed with exitcode 1 1.8 210 23 0 error - divine failed with signal 6 (.../lart/abstract/util.cpp: 190: encountered unknown parent instruction:) 1.7 210 26 0 timeout 900     6500 9300    0 false(unreach-call) 170   2200 2300 1 disqualified 70   2000 940 0 error(unknown, verification-finished) 10    250 83   0 timeout 900   8700 5600 0 timeout 900   4400 9300 0 timeout 900   8400 5500 0 timeout 900 990 10000 0
ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko_false-unreach-call.cil.out.i out of memory 130     15000 970    0 error 880    1900   11000   0 error (134) 350    2400 5300   0 false(unreach-call) 39   1100 340 0 false(unreach-call) 140   4200 1400 0 false(unreach-call) 18    1300 220   0 error - divine failed with exitcode 1 2.0 220 29 0 error - divine failed with signal 6 (.../lart/abstract/util.cpp: 190: encountered unknown parent instruction:) 2.0 220 24 0 false(unreach-call) 6.2   1300 97    0 false(unreach-call) 370   2500 3300 0 disqualified 900   2800 10000 0 error(unknown, verification-finished) 3.1  49 43   0 timeout 900   7000 10000 0 timeout 900   5800 9300 0 timeout 900   6700 11000 0 unknown 58 640 480 0
ldv-linux-3.0/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko_false-unreach-call.cil.out.i error (134) 1.3   68 12    0 error 880    2000   4500   0 out of memory 330    15000 3400   0 timeout 900   7600 11000 0 false(unreach-call) 29   990 250 0 false(unreach-call) 1.0  330 11   0 unknown 8.7 440 120 0 error - divine failed with signal 6 (.../lart/abstract/util.cpp: 190: encountered unknown parent instruction:) 1.7 210 21 0 false(unreach-call) 1.0   320 11    1 false(unreach-call) 81   1600 970 0 disqualified 13   220 160 0 error(unknown, verification-finished) .84 56 10   0 timeout 900   3500 9600 0 error (7) 260   2300 3000 0 timeout 900   4800 11000 0 false(unreach-call) 73 750 780 1
ldv-linux-3.0/usb_urb-drivers-net-can-usb-ems_usb.ko_false-unreach-call.cil.out.i error (134) .47  52 5.1  0 error (6) 22    97   320   0 error (6) 12    140 200   0 timeout 900   11000 7200 0 false(unreach-call) 23   810 180 1 false(unreach-call) 5.5  180 67   0 unknown 8.5 430 120 0 error - divine failed with signal 11 1.6 200 21 0 false(unreach-call) 4.9   250 59    0 false(unreach-call) 49   1600 560 1 disqualified 7.4 150 94 0 error(unknown, verification-finished) .60 29 7.1 0 unknown 510   4800 4700 0 error (7) 240   2900 2600 0 unknown 500   5100 4500 0 false(unreach-call) 710 2200 8300 0
ldv-linux-3.0/usb_urb-drivers-net-usb-catc.ko_false-unreach-call.cil.out.i error (134) .53  54 4.0  0 error (134) 110    3000   1600   0 error (134) 5.4  180 81   0 timeout 900   7500 9900 0 false(unreach-call) 620   6200 6500 0 false(unreach-call) .93 140 12   0 unknown 8.8 430 110 0 error - divine failed with signal 6 (.../lart/abstract/util.cpp: 190: encountered unknown parent instruction:) 1.6 200 20 0 false(unreach-call) 1.1   140 13    0 false(unreach-call) 55   1600 550 0 disqualified 18   190 250 0 error(unknown, verification-finished) .63 34 8.8 0 error (7) 94   1500 820 0 timeout 900   1800 9700 0 error (7) 420   3100 5900 0 false(unreach-call) 170 1200 2100 0
ldv-linux-3.0/usb_urb-drivers-staging-lirc-lirc_imon.ko_false-unreach-call.cil.out.i error (134) .40  47 3.3  0 false(valid-deref) 1.2  83   14   0 out of memory 380    15000 4000   0 timeout 910   11000 7800 0 false(unreach-call) 150   2800 1500 0 unknown 900    780 11000   0 unknown 8.5 430 110 0 error - divine failed with signal 11 1.6 200 20 0 false(unreach-call) 1.4   130 21    0 false(unreach-call) 75   1900 700 0 disqualified 10   190 120 0 error(unknown, verification-finished) 3.7  32 49   0 timeout 900   2200 11000 0 error (7) 150   2400 1600 0 timeout 900   4300 11000 0 false(unreach-call) 690 4500 7300 0
ldv-linux-3.0/usb_urb-drivers-usb-misc-iowarrior.ko_false-unreach-call.cil.out.i error (134) .42  47 3.7  0 false(valid-deref) 2.6  210   33   0 false(valid-free) 1.0  75 13   0 timeout 910   11000 7400 0 timeout 930   5900 9100 0 false(unreach-call) .64 120 7.3 0 error - divine failed with exitcode 1 1.6 200 21 0 error - divine failed with signal 6 (.../lart/abstract/util.cpp: 190: encountered unknown parent instruction:) 1.6 200 20 0 false(unreach-call) .63  120 8.9  0 false(unreach-call) 83   1700 860 0 disqualified 18   220 240 0 timeout (verification) 900    2200 13000   0 error (7) 150   2000 1400 0 error (7) 210   2400 2500 0 error (7) 430   3500 5700 0 false(unreach-call) 300 1000 3500 0
ldv-linux-3.0/module_get_put-drivers-atm-eni.ko_true-unreach-call.cil.out.i error (6) 36     420 260    0 error 880    4100   6900   0 out of memory 210    15000 2200   0 true 18   510 140 2 true 100   1600 1300 2 unknown 900    12000 7900   0 error - divine failed with exitcode 1 1.7 210 24 0 error - divine failed with signal 6 (.../lart/abstract/util.cpp: 190: encountered unknown parent instruction:) 1.7 210 22 0 out of memory 880     15000 5900    0 true 77   1200 620 2 disqualified 42   690 500 0 error(unknown, verification-finished) 1.6  100 16   0 true 36   1200 280 2 true 240   2900 2500 2 true 36   1000 290 2 true 43 1000 340 2
ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko_true-unreach-call.cil.out.i error (6) 3.2   290 18    0 false(valid-deref) 9.7  470   110   0 out of memory 250    15000 2900   0 true 27   880 240 1 true 110   3600 1300 1 unknown 16    40 230   0 error - divine failed with signal 6 (program::insert: unresolved symbol (global variable): cpu_possible_mask) 2.5 240 36 0 error - divine failed with signal 6 (.../lart/abstract/vpa.cpp: 82: encountered unknown parent instruction:) 2.3 230 27 0 out of memory 62     15000 700    0 true 460   3400 3500 1 disqualified 150   400 1400 0 error(unknown, verification-finished) 4.2  63 60   0 error (7) 64   1000 540 0 error (7) 63   1000 520 0 true 520   4200 6500 1 true 180 3000 1900 1
ldv-linux-3.0/module_get_put-drivers-block-paride-pt.ko_true-unreach-call.cil.out.i error (6) 1.6   130 19    0 error (42) 880    5300   5000   0 out of memory 180    15000 2400   0 true 12   470 95 2 true 120   3800 1200 2 unknown 900    3100 8300   0 error - divine failed with exitcode 1 1.7 200 21 0 error - divine failed with signal 11 1.6 200 23 0 timeout 900     2200 6300    0 true 47   2400 470 2 disqualified 6.3 170 81 0 timeout (verification) 900    2900 7100   0 true 28   840 230 2 true 120   1800 1300 2 true 31   760 260 2 true 58 2000 510 2
ldv-linux-3.0/module_get_put-drivers-bluetooth-btmrvl_false-termination.ko_true-unreach-call.cil.out.i error (6) 26     5400 240    0 error 880    3300   7300   0 out of memory 320    15000 2400   0 true 12   460 100 2 true 98   1500 1000 2 unknown 900    10000 6600   0 error - divine failed with exitcode 1 1.6 210 22 0 error - divine failed with signal 6 (.../lart/abstract/util.cpp: 190: encountered unknown parent instruction:) 1.6 210 24 0 timeout 900     10000 7500    0 true 36   1200 330 2 disqualified 5.6 180 82 0 true .59 25 7.6 2 true 30   1100 230 2 timeout 900   2600 7000 0 true 30   1100 240 2 true 29 670 240 2
ldv-linux-3.0/module_get_put-drivers-char-ipmi-ipmi_watchdog.ko_true-unreach-call.cil.out.i error (6) .61  59 5.4  0 error (42) 880    1700   5700   0 error (134) 100    2700 840   0 true 19   640 150 2 true 150   2300 1900 2 unknown 900    9500 12000   0 error - divine failed with exitcode 1 1.6 200 19 0 error - divine failed with signal 6 (.../lart/abstract/util.cpp: 190: encountered unknown parent instruction:) 1.6 200 20 0 timeout 900     1800 11000    0 timeout 900   9700 9100 0 disqualified 7.4 220 110 0 timeout (verification) 900    3200 13000   0 true 67   2500 780 2 timeout 900   3500 8600 0 true 33   930 280 2 true 150 6000 1500 2
ldv-linux-3.0/module_get_put-drivers-gpu-drm-i915-i915.ko_true-unreach-call.cil.out.i error (6) 4.9   460 32    0 false(valid-free) 5.9  360   50   0 false(valid-free) 8.9  540 80   0 true 37   1500 320 1 true 120   2300 1200 1 unknown 24    49 320   0 error - divine failed with exitcode 1 2.5 250 32 0 error - divine failed with signal 11 2.6 250 35 0 unknown 19     6100 220    0 timeout (exception) 910   1700 4400 0 disqualified 900   12000 8500 0 error(unknown, verification-finished) 6.1  88 68   0 timeout 900   5300 13000 0 timeout 900   5400 12000 0 timeout 900   5300 13000 0 true 760 6200 9200 1
ldv-linux-3.0/module_get_put-drivers-hid-hid-magicmouse.ko_true-unreach-call.cil.out.i error (6) .33  39 3.0  0 false(valid-free) 2.3  180   27   0 out of memory 180    15000 2500   0 true 8.3 330 73 2 true 8.7 450 69 2 unknown 900    2100 6500   0 unknown 8.3 430 95 0 error - divine failed with signal 11 1.6 200 22 0 timeout 900     1800 8100    0 true 97   2500 910 2 disqualified 4.1 100 57 0 true .40 21 5.9 2 true 16   540 130 2 true 25   720 200 2 true 17   540 120 2 true 22 620 180 2
ldv-linux-3.0/module_get_put-drivers-hwmon-it87.ko_true-unreach-call.cil.out.i error (6) .63  64 4.3  0 false(valid-free) .99 51   12   0 out of memory 180    15000 1300   0 true 15   510 130 2 true 99   1300 1300 2 unknown 900    2500 6100   0 unknown 8.9 440 120 0 error - divine failed with signal 11 1.7 210 24 0 true 3.5   230 43    2 true 75   1500 980 2 disqualified 6.9 170 81 0 true .69 38 8.2 2 true 39   2200 350 2 true 220   4400 2300 2 true 40   2000 370 2 true 60 2900 530 2
ldv-linux-3.0/module_get_put-drivers-net-pppox_false-termination.ko_true-unreach-call.cil.out.i error (6) .27  42 2.4  0 error (42) 880    1100   9900   0 out of memory 240    15000 2300   0 true 11   460 83 2 timeout 960   6600 7000 0 unknown 1.2  67 14   0 unknown 8.4 430 120 0 error - divine failed with signal 6 (.../lart/abstract/util.cpp: 190: encountered unknown parent instruction:) 1.6 200 20 0 true .33  39 3.7  2 true 18   1200 150 2 disqualified 880   370 9400 0 timeout (verification) 900    74 9700   0 true 21   590 180 2 true 17   630 140 2 true 21   660 170 2 unknown 17 260 150 0
ldv-linux-3.0/module_get_put-drivers-net-sis900.ko_true-unreach-call.cil.out.i error (6) 2.0   210 15    0 out of memory 330    13000   4100   0 false(unreach-call) 66    890 880   -16 true 15   500 130 2 true 100   1700 1200 2 unknown 900    5000 8100   0 unknown 9.0 440 110 0 error - divine failed with signal 6 (.../lart/abstract/util.cpp: 190: encountered unknown parent instruction:) 1.7 210 23 0 timeout 900     3800 6300    0 true 120   1500 1800 2 disqualified 15   350 190 0 error(unknown, verification-finished) 1.6  110 16   0 true 34   920 290 2 true 130   4200 1600 2 true 34   920 290 2 true 40 970 350 2
ldv-linux-3.0/module_get_put-drivers-scsi-megaraid.ko_true-unreach-call.cil.out.i error (6) 53     880 280    0 error 880    4100   4900   0 false(unreach-call) 3.6  250 38   -16 true 25   820 200 2 true 100   2500 1200 2 unknown 900    7800 7300   0 error - divine failed with exitcode 1 1.7 210 21 0 error - divine failed with signal 6 (.../lart/abstract/util.cpp: 190: encountered unknown parent instruction:) 1.8 210 23 0 timeout 900     2300 6600    0 true 95   1300 730 2 disqualified 43   420 520 0 error(unknown, verification-finished) 2.3  180 22   0 true 43   1300 380 2 true 160   4000 1500 2 true 45   1600 430 2 true 51 1100 410 2
ldv-linux-3.0/module_get_put-drivers-video-aty-aty128fb.ko_true-unreach-call.cil.out.i error (6) 1.6   110 13    0 error 880    3800   3900   0 out of memory 250    15000 2200   0 true 13   360 110 2 true 100   2400 1300 2 unknown 900    8400 9300   0 unknown 8.6 440 120 0 error - divine failed with signal 11 1.7 200 21 0 true 89     1400 940    2 true 52   1500 600 2 disqualified 8.5 170 120 0 true .83 56 9.0 2 true 120   3600 1400 2 error (7) 550   4700 6700 0 true 120   2700 1600 2 true 40 960 320 2
ldv-linux-3.0/usb_urb-drivers-input-tablet-kbtab.ko_true-unreach-call.cil.out.i error (134) .29  40 3.1  0 false(valid-deref) .64 60   8.6 0 error (134) 12    920 140   0 true 12   480 110 2 true 180   4500 1600 1 false(unreach-call) .37 62 4.5 -16 unknown 8.4 430 120 0 error - divine failed with signal 11 1.6 200 20 0 false(unreach-call) .35  57 4.0  -16 true 180   3100 1500 1 disqualified 880   610 8600 0 timeout (verification) 900    66 9600   0 true 53   1100 410 2 true 95   1300 1000 2 true 180   3500 1900 2 unknown 30 440 320 0
ldv-linux-3.0/usb_urb-drivers-media-video-c-qcam.ko_true-unreach-call.cil.out.i error (6) 2.8   110 18    0 error 880    2400   4700   0 out of memory 150    15000 1300   0 true 12   470 95 1 true 100   1600 1300 1 out of memory 560    15000 6200   0 unknown 8.5 430 120 0 error - divine failed with signal 6 (.../lart/abstract/util.cpp: 190: encountered unknown parent instruction:) 1.6 200 20 0 timeout 900     9400 7000    0 true 79   1500 1000 1 disqualified 6.1 170 77 0 true .72 46 8.4 1 unknown 10   380 81 0 unknown 9.3 380 83 0 unknown 10   380 77 0 unknown 75 1100 820 0
ldv-linux-3.0/usb_urb-drivers-media-video-msp3400.ko_true-unreach-call.cil.out.i error (134) 1.3   86 12    0 false(valid-free) 140    2900   900   0 out of memory 280    15000 2200   0 true 18   520 140 2 true 100   1400 1400 2 unknown 900    3400 6000   0 unknown 9.0 440 120 0 error - divine failed with signal 6 (.../lart/abstract/util.cpp: 190: encountered unknown parent instruction:) 1.6 210 21 0 true 640     3700 4400    2 true 130   1600 1500 2 disqualified 8.2 170 110 0 true 1.5  74 18   2 true 42   1500 410 2 true 130   2500 1400 2 true 41   1500 370 2 true 42 950 340 2
ldv-linux-3.0/usb_urb-drivers-misc-c2port-core.ko_true-unreach-call.cil.out.i error (134) .60  45 5.6  0 error (42) 880    1200   4400   0 out of memory 140    15000 1600   0 true 8.9 390 82 2 true 100   4400 780 2 timeout 900    8400 11000   0 unknown 8.6 430 110 0 error - divine failed with signal 6 (.../lart/abstract/util.cpp: 190: encountered unknown parent instruction:) 1.6 200 22 0 true 12     240 160    2 true 38   1400 410 2 disqualified 4.5 110 55 0 error(unknown, verification-finished) .51 23 7.2 0 true 20   590 160 2 true 230   4700 2700 2 true 20   580 170 2 true 31 760 280 2
ldv-linux-3.0/usb_urb-drivers-mtd-sm_ftl.ko_true-unreach-call.cil.out.i error (134) .99  51 10    0 error 880    1200   5000   0 false(valid-free) 1.1  100 14   0 true 13   490 110 2 true 23   700 210 2 out of memory 440    15000 5800   0 unknown 8.5 430 110 0 error - divine failed with signal 6 (.../lart/abstract/util.cpp: 190: encountered unknown parent instruction:) 1.6 200 21 0 timeout 900     14000 12000    0 timeout 910   7100 11000 0 disqualified 6.8 180 88 0 timeout (verification) 900    260 12000   0 true 25   760 210 2 true 78   1900 680 2 true 25   770 220 2 true 33 860 260 2
ldv-linux-3.0/usb_urb-drivers-scsi-dc395x.ko_true-unreach-call.cil.out.i error (134) 7.2   96 56    0 error 880    2500   4300   0 false(valid-deref) 8.9  660 79   0 true 19   650 170 1 true 100   2200 1300 1 unknown 900    13000 6300   0 unknown 9.2 440 110 0 error - divine failed with signal 6 (.../lart/abstract/util.cpp: 190: encountered unknown parent instruction:) 1.7 210 20 0 out of memory 360     15000 2900    0 true 170   1900 1700 1 disqualified 39   440 550 0 error(unknown, verification-finished) 4.4  160 48   0 error (7) 14   340 120 0 error (7) 15   340 110 0 error (7) 15   330 120 0 true 23 450 200 1
ldv-linux-3.0/usb_urb-drivers-usb-serial-ir-usb.ko_true-unreach-call.cil.out.i error (134) .35  43 3.7  0 false(valid-free) .69 60   9.6 0 error (134) 11    810 130   0 true 52   2600 500 2 timeout 940   5900 10000 0 unknown 900    600 14000   0 unknown 8.7 550 96 0 error - divine failed with signal 11 1.6 200 24 0 timeout 900     5800 11000    0 true 27   1200 230 2 disqualified 880   750 6800 0 error(unknown, verification-finished) 24    44 290   0 true 56   1200 450 2 true 130   1700 1500 2 true 56   1100 500 2 unknown 27 450 250 0
ldv-linux-3.0/usb_urb-drivers-usb-serial-whiteheat.ko_true-unreach-call.cil.out.i error (6) .98  59 8.9  0 false(valid-free) 16    710   180   0 error (134) 110    8400 1300   0 true 22   680 180 2 true 100   2800 1000 2 unknown 900    13000 8400   0 unknown 8.7 430 120 0 error - divine failed with signal 6 (.../lart/abstract/util.cpp: 190: encountered unknown parent instruction:) 1.6 200 19 0 out of memory 480     15000 4400    0 true 49   1400 550 2 disqualified 890   1400 9400 0 timeout (verification) 900    2800 8800   0 true 100   2000 850 1 true 160   2900 1500 2 timeout 900   4900 11000 0 true 82 2800 760 1
ldv-linux-3.0/usb_urb-drivers-uwb-i1480-dfu-i1480-dfu-usb.ko_true-unreach-call.cil.out.i error (134) .56  47 4.7  0 error 880    970   7000   0 out of memory 230    15000 2100   0 true 18   580 160 1 timeout 960   7600 11000 0 false(unreach-call) 1.2  110 14   -16 unknown 8.5 430 110 0 error - divine failed with signal 11 1.6 200 25 0 false(unreach-call) 1.9   130 23    -16 timeout 960   7100 8600 0 disqualified 890   520 7700 0 timeout (verification) 900    65 9500   0 timeout 900   5500 6200 0 error (7) 130   1100 1400 0 timeout 900   5400 6400 0 unknown 820 960 10000 0
ldv-linux-3.0/usb_urb-drivers-vhost-vhost_net.ko_true-unreach-call.cil.out.i error (134) 1.6   83 12    0 out of memory 100    14000   1000   0 error (134) 99    7800 980   0 true 17   540 150 2 true 110   4200 920 2 unknown 900    3800 8400   0 error - divine failed with exitcode 1 1.7 210 24 0 error - divine failed with signal 6 (.../lart/abstract/util.cpp: 190: encountered unknown parent instruction:) 1.7 200 23 0 true 150     3600 1600    2 true 84   1600 580 2 disqualified 11   180 150 0 error(unknown, verification-finished) 1.4  69 13   0 true 40   1200 320 2 true 75   1700 670 2 true 39   1200 390 2 unknown 160 1900 1900 0
ldv-linux-3.0/usb_urb-drivers-video-arkfb.ko_true-unreach-call.cil.out.i error (134) 1.4   76 10    0 error 880    2800   5800   0 false(valid-free) 1.2  100 13   0 true 13   470 100 2 true 100   1800 1300 2 unknown 700    11000 8400   0 unknown 8.5 430 120 0 error - divine failed with signal 11 1.6 210 23 0 true 21     570 200    2 true 39   1300 450 2 disqualified 7.2 170 100 0 true .88 79 10   2 true 44   1500 370 2 true 150   2700 1700 2 true 43   1400 380 2 true 49 1600 420 2
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--gpu--drm--vmwgfx--vmwgfx.ko-ldv_main3_sequence_infinite_withcheck_stateful.cil.out.i out of memory 110     15000 830    0 error 880    4800   6000   0 error (134) 5.9  450 55   0 false(unreach-call) 37   1500 330 1 timeout 960   6900 11000 0 false(unreach-call) 31    1700 350   0 error - divine failed with exitcode 1 2.3 250 28 0 error - divine failed with signal 6 (.../lart/abstract/util.cpp: 190: encountered unknown parent instruction:) 2.3 250 29 0 false(unreach-call) 62     2300 660    0 false(unreach-call) 890   2500 4800 1 disqualified 310   980 3200 0 error(unknown, verification-finished) 12    310 130   0 out of memory 600   15000 7900 0 timeout 900   4800 9800 0 out of memory 550   15000 6400 0 unknown 260 2800 2900 0
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--input--mouse--synaptics_usb_false-termination.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i error (134) .55  52 6.2  0 out of memory 510    13000   6200   0 out of memory 470    15000 4600   0 error 31   1100 280 0 false(unreach-call) 51   1100 500 0 false(unreach-call) 19    150 250   0 unknown 8.5 440 130 0 error - divine failed with signal 11 1.6 200 19 0 false(unreach-call) 7.0   150 95    1 false(unreach-call) 62   1600 630 0 disqualified 880   330 6000 0 error(unknown, verification-finished) .47 25 5.8 0 error (7) 72   2300 660 0 error (7) 220   2700 2900 0 error (7) 86   2800 770 0 false(unreach-call) 98 1100 1000 1
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--input--mousedev_true-termination.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i error (134) 1.5   75 13    0 out of memory 48    13000   590   0 out of memory 320    15000 2500   0 error 58   1900 440 0 timeout 900   4400 7300 0 false(unreach-call) 8.8  250 110   0 unknown 9.6 440 140 0 error - divine failed with signal 6 (.../lart/abstract/util.cpp: 190: encountered unknown parent instruction:) 1.6 210 19 0 timeout 900     6600 14000    0 false(unreach-call) 110   1900 1200 0 disqualified 31   300 480 0 error(unknown, verification-finished) 1.0  59 12   0 timeout 900   2500 11000 0 timeout 900   2100 11000 0 timeout 900   3000 10000 0 false(unreach-call) 71 880 710 0
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--isdn--capi--kernelcapi.ko-ldv_main3_sequence_infinite_withcheck_stateful.cil.out.i error (134) 1.1   110 8.0  0 error 880    1700   5300   0 false(unreach-call) 1.2  110 11   0 false(unreach-call) 18   660 140 1 exception 11   440 84 0 false(unreach-call) 1.1  180 10   0 error - divine failed with exitcode 1 1.7 210 24 0 error - divine failed with signal 6 (.../lart/abstract/util.cpp: 190: encountered unknown parent instruction:) 1.7 210 24 0 false(unreach-call) .99  170 9.0  1 exception 240   2700 2500 0 disqualified 890   1300 10000 0 error(unknown, verification-finished) 1.2  30 15   0 unknown 13   390 100 0 unknown 14   390 110 0 unknown 12   370 96 0 false(unreach-call) 94 760 1200 1
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--media--dvb--dvb-usb--dvb-usb-dib0700.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i error (134) 2.7   250 21    0 out of memory 85    13000   1100   0 false(unreach-call) 3.6  270 37   0 false(unreach-call) 23   840 180 0 false(unreach-call) 79   2900 1100 0 false(unreach-call) 2.4  430 28   0 unknown 9.4 460 130 0 error - divine failed with signal 11 1.9 220 24 0 false(unreach-call) 2.3   420 26    0 false(unreach-call) 380   4000 4100 0 disqualified 900   5900 9900 0 timeout (verification) 900    1100 4100   0 unknown 10   490 83 0 unknown 9.6 490 74 0 unknown 10   500 78 0 false(unreach-call) 280 2600 3000 0
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--media--video--cpia2--cpia2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i error (134) 340     6100 3900    0 error 880    2100   4400   0 false(unreach-call) 2.1  190 17   0 error 35   930 280 0 timeout 970   9000 8400 0 unknown 110    280 1100   0 unknown 9.6 460 140 0 error - divine failed with signal 6 (.../lart/abstract/util.cpp: 190: encountered unknown parent instruction:) 1.8 220 29 0 timeout 900     330 12000    0 timeout 960   5900 6800 0 disqualified 89   870 1000 0 error(unknown, verification-finished) 5.3  190 50   0 timeout 900   3600 12000 0 timeout 900   2500 13000 0 timeout 900   2100 10000 0 out of memory 100 15000 1100 0
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--media--video--mem2mem_testdev.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i error (134) .89  68 7.3  0 out of memory 65    13000   790   0 false(unreach-call) .80 58 8.0 1 false(unreach-call) 14   510 120 1 false(unreach-call) 12   520 100 1 unknown 39    110 460   0 unknown 9.0 440 120 0 error - divine failed with signal 11 1.7 210 22 0 unknown .48  120 6.5  0 false(unreach-call) 58   1500 600 1 disqualified 9.9 200 130 0 error(unknown, cex-confirmation) 1.2  46 14   0 unknown 400   5000 4400 0 error (7) 720   3500 8300 0 unknown 400   4300 4000 0 false(unreach-call) 80 1100 970 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.i error (134) 1.1   84 8.1  0 out of memory 68    14000   860   0 error (134) 88    4000 540   0 error 31   1000 240 0 timeout 960   7700 9800 0 unknown 47    130 530   0 unknown 8.9 440 110 0 error - divine failed with signal 6 (.../lart/abstract/util.cpp: 190: encountered unknown parent instruction:) 1.7 210 26 0 unknown .59  140 5.5  0 false(unreach-call) 270   2100 2700 1 disqualified 880   280 11000 0 error(unknown, verification-finished) .96 60 11   0 timeout 900   4400 9300 0 timeout 900   4700 14000 0 timeout 900   5300 7800 0 false(unreach-call) 640 1300 4700 0
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--mtd--chips--cfi_cmdset_0001.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i error (134) 1.5   130 14    0 error 880    740   8300   0 error (42) 880    4200 11000   0 false(unreach-call) 13   530 110 1 false(unreach-call) 12   440 95 1 unknown 74    190 800   0 unknown 9.1 450 120 0 error - divine failed with signal 6 (.../lart/abstract/util.cpp: 190: encountered unknown parent instruction:) 1.7 210 21 0 unknown .89  150 11    0 false(unreach-call) 240   2700 2200 1 disqualified 14   190 210 0 error(unknown, verification-finished) 1.2  32 19   0 unknown 480   2900 3100 0 error (7) 180   850 1900 0 unknown 470   2900 3100 0 timeout 900 320 12000 0
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--net--phy--dp83640.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i error (134) 1.1   79 9.1  0 out of memory 51    13000   580   0 error (134) 3.5  330 44   0 false(unreach-call) 20   620 160 1 false(unreach-call) 46   2000 420 1 unknown 900    600 11000   0 error - divine failed with exitcode 1 1.7 210 20 0 error - divine failed with signal 11 1.7 210 25 0 false(unreach-call) 2.4   140 27    1 false(unreach-call) 170   2000 1800 1 disqualified 23   260 300 0 error(unknown, verification-finished) .89 52 10   0 timeout 900   3400 8900 0 timeout 900   4800 6900 0 timeout 900   4400 9300 0 false(unreach-call) 56 1200 610 1
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--net--wireless--p54--p54usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i error (139) 320     190 3500    0 error 880    4300   4800   0 false(unreach-call) 2.2  210 30   0 false(unreach-call) 14   520 120 1 false(unreach-call) 13   530 95 1 false(unreach-call) .71 100 8.4 0 unknown 8.9 440 100 0 error - divine failed with signal 11 1.7 210 22 0 false(unreach-call) .65  94 6.9  1 false(unreach-call) 230   1800 2800 1 disqualified 24   410 310 0 error(unknown, verification-finished) .77 28 9.1 0 timeout 900   4400 11000 0 error (7) 170   1200 1800 0 timeout 900   4500 13000 0 false(unreach-call) 90 1100 1000 1
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--scsi--libfc--libfc.ko-ldv_main5_sequence_infinite_withcheck_stateful.cil.out.i out of memory 110     15000 830    0 error 880    8300   7200   0 false(unreach-call) 8.7  600 79   0 error 42   1400 370 0 false(unreach-call) 55   1100 510 0 false(unreach-call) 15    990 170   0 unknown 12   520 170 0 error - divine failed with signal 6 (.../lart/abstract/util.cpp: 190: encountered unknown parent instruction:) 2.3 250 31 0 timeout 900     1700 12000    0 timeout 910   1700 4700 0 disqualified 900   1500 7100 0 error(returned 1, slicing) 3.0  73 36   0 error (7) 650   5300 8100 0 timeout 900   3900 11000 0 error (7) 650   5300 8400 0 timeout 900 2500 5200 0
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--staging--keucr--keucr.ko-ldv_main1_sequence_infinite_withcheck_stateful.cil.out.i out of memory 110     15000 860    0 error 880    2600   5600   0 false(unreach-call) 4.2  320 40   0 false(unreach-call) 19   570 140 0 false(unreach-call) 360   1300 3000 0 false(unreach-call) 1.3  220 13   0 unknown 9.4 450 130 0 error - divine failed with signal 6 (.../lart/abstract/util.cpp: 190: encountered unknown parent instruction:) 1.8 220 27 0 false(unreach-call) 1.5   220 15    0 timeout 960   5400 7300 0 disqualified 900   11000 11000 0 timeout (verification) 900    3100 8500   0 error (7) 110   1900 1100 0 error (7) 500   2500 7400 0 error (7) 160   4700 1900 0 unknown 39 450 350 0
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--usb--image--microtek.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i error (134) .52  56 4.5  0 false(unreach-call) 35    2200   330   0 error (134) 17    600 190   0 false(unreach-call) 9.8 510 83 1 false(unreach-call) 8.4 400 80 1 false(unreach-call) .40 65 5.7 0 unknown 8.4 440 110 0 error - divine failed with signal 11 1.6 200 23 0 false(unreach-call) .34  58 4.6  1 false(unreach-call) 29   1200 300 1 disqualified 7.0 120 83 0 false(unreach-call) .70 22 9.3 1 unknown 48   870 380 0 error (7) 110   620 1400 0 unknown 47   830 430 0 false(unreach-call) 45 680 490 1
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--usb--storage--usb-storage.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i timeout 900     15000 10000    0 error 880    1700   11000   0 false(unreach-call) 8.3  570 73   0 false(unreach-call) 17   570 140 1 false(unreach-call) 23   780 220 1 false(unreach-call) 1.3  220 13   0 unknown 9.2 450 120 0 error - divine failed with signal 6 (.../lart/abstract/util.cpp: 190: encountered unknown parent instruction:) 1.8 220 25 0 false(unreach-call) 1.2   210 12    1 false(unreach-call) 320   2900 3600 1 disqualified 900   4700 10000 0 error(unknown, verification-finished) 1.5  51 16   0 error (7) 440   5200 5000 0 error (7) 810   4800 8600 0 error (7) 450   5100 6100 0 unknown 42 500 340 0
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--vhost--vhost_net.ko-ldv_main1_sequence_infinite_withcheck_stateful.cil.out.i error (134) 110     3000 1100    0 error (42) 880    6800   5700   0 error (134) 3.0  230 35   0 false(unreach-call) 20   610 160 1 false(unreach-call) 14   550 120 1 false(unreach-call) 5.2  270 76   0 error - divine failed with exitcode 1 1.8 220 21 0 error - divine failed with signal 6 (.../lart/abstract/util.cpp: 190: encountered unknown parent instruction:) 1.8 220 22 0 false(unreach-call) 7.2   310 85    1 false(unreach-call) 290   1600 2400 1 disqualified 35   720 460 0 error(unknown, verification-finished) 1.8  78 25   0 timeout 900   6200 7000 0 error (7) 510   2400 5000 0 timeout 900   6000 5800 0 unknown 190 1400 2300 0
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--video--aty--atyfb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i error (134) 13     1100 97    0 error 880    4300   5900   0 false(unreach-call) 2.6  180 23   0 timeout 900   6200 11000 0 timeout 960   7600 9000 0 unknown 900    1900 8300   0 unknown 9.4 460 130 0 error - divine failed with signal 6 (.../lart/abstract/util.cpp: 190: encountered unknown parent instruction:) 1.8 220 22 0 true 190     910 1600    -32 timeout 960   5900 9200 0 disqualified 900   410 11000 0 error(unknown, verification-finished) 3.0  130 43   0 timeout 900   5100 8700 0 timeout 900   4000 11000 0 timeout 900   6400 12000 0 unknown 330 6400 2300 0
ldv-linux-3.4-simple/32_7_cpp_false-unreach-call_single_drivers-mtd-chips-cfi_cmdset_0001.cil.out.i error (134) 1.2   180 10    0 false(unreach-call) 830    2300   8700   0 out of memory 200    15000 2500   0 error (parsing failed) 9.7 720 83 0 error (parsing failed) 9.9 730 82 0 unknown 20    190 280   0 unknown 9.2 440 140 0 error - divine failed with signal 6 (.../lart/abstract/util.cpp: 190: encountered unknown parent instruction:) 1.8 210 26 0 unknown .42  110 4.9  0 error (parsing failed) 9.8 710 76 0 disqualified 7.7 140 96 0 error(unknown, verification-finished) 1.0  33 13   0 error (7) 17   530 130 0 error (7) 16   510 150 0 error (7) 17   500 140 0 unknown 45 380 400 0
ldv-linux-3.4-simple/32_7_cpp_false-unreach-call_single_drivers-net-phy-dp83640.cil.out.i error (134) 2.1   260 18    0 out of memory 39    12000   570   0 error (134) 5.0  240 57   0 error 44   2300 410 0 false(unreach-call) 86   4000 760 0 unknown 25    250 330   0 error - divine failed with exitcode 1 1.9 210 21 0 error - divine failed with signal 11 1.9 210 24 0 unknown .73  180 7.7  0 false(unreach-call) 540   4100 3200 1 disqualified 12   210 160 0 timeout (verification) 900    2600 9000   0 error (7) 18   660 160 0 error (7) 18   650 140 0 error (7) 17   580 140 0 false(unreach-call) 180 2900 2000 1
ldv-linux-3.4-simple/32_7_cpp_false-unreach-call_single_drivers-net-wireless-mwl8k.cil.out.i error (134) 560     1400 5700    0 error 880    2000   5000   0 error (134) 9.1  480 110   0 error 51   2800 400 0 false(unreach-call) 220   4000 2200 0 unknown 28    200 400   0 unknown 10   450 140 0 error - divine failed with signal 6 (.../lart/abstract/util.cpp: 190: encountered unknown parent instruction:) 2.0 210 25 0 unknown .81  200 12    0 false(unreach-call) 420   4000 2600 0 disqualified 100   1500 1200 0 timeout (verification) 900    470 12000   0 error (7) 19   670 140 0 error (7) 18   660 130 0 error (7) 20   670 160 0 unknown 140 1800 1200 0
ldv-linux-3.4-simple/32_7_cpp_false-unreach-call_single_drivers-net-wireless-p54-p54usb.cil.out.i error (134) 4.3   280 37    0 false(valid-free) 41    970   590   0 out of memory 240    15000 2400   0 error 42   2000 330 0 false(unreach-call) 89   3100 980 1 unknown 26    180 380   0 unknown 9.6 440 130 0 error - divine failed with signal 11 1.9 210 23 0 unknown 1.4   250 15    0 false(unreach-call) 700   3700 5000 1 disqualified 11   270 160 0 timeout (verification) 900    3400 9700   0 error (7) 18   610 150 0 error (7) 19   630 160 0 error (7) 18   630 140 0 unknown 91 1300 810 0
ldv-linux-3.4-simple/32_7_cpp_false-unreach-call_single_drivers-staging-media-dt3155v4l-dt3155v4l.cil.out.i error (134) 2.0   220 22    0 false(unreach-call) 14    620   170   0 false(unreach-call) 2.3  200 23   0 false(unreach-call) 36   2200 300 0 false(unreach-call) 92   2500 1000 0 unknown 22    180 270   0 error - divine failed with signal 6 (program::insert: unresolved symbol (global variable): vb2_dma_contig_memops) 2.0 210 26 0 error - divine failed with signal 6 (.../lart/abstract/util.cpp: 190: encountered unknown parent instruction:) 1.8 210 22 0 unknown .61  150 7.4  0 false(unreach-call) 420   3200 2800 0 disqualified 14   280 160 0 error(unknown, verification-finished) .94 53 12   0 error (7) 18   540 150 0 error (7) 18   550 150 0 error (7) 17   550 150 0 false(unreach-call) 220 2700 2400 0
ldv-linux-3.4-simple/32_7_cpp_false-unreach-call_single_drivers-usb-image-microtek.cil.out.i error (134) 1.4   230 16    0 false(unreach-call) 54    4300   430   0 error (134) 17    1100 200   0 false(unreach-call) 30   1600 240 1 false(unreach-call) 70   2900 700 1 unknown 23    190 280   0 unknown 9.3 440 110 0 error - divine failed with signal 11 1.9 210 24 0 unknown 1.2   200 12    0 false(unreach-call) 420   4000 3200 1 disqualified 5.5 110 89 0 false(unreach-call) 1.1  28 14   1 error (7) 18   560 140 0 error (7) 18   560 130 0 error (7) 18   560 140 0 false(unreach-call) 190 2300 1900 1
ldv-linux-3.4-simple/43_1a_cilled_false-unreach-call_ok_linux-43_1a-drivers--misc--sgi-xp--xpc.ko-ldv_main3_sequence_infinite_withcheck_stateful.cil.out.i out of memory 120     15000 920    0 error 880    3400   5700   0 false(valid-free) 1.7  150 14   0 error 49   1200 360 0 timeout 960   8900 8400 0 unknown 900    10000 8100   0 unknown 9.9 460 140 0 error - divine failed with signal 6 (.../lart/abstract/util.cpp: 190: encountered unknown parent instruction:) 1.8 220 21 0 timeout 900     770 12000    0 timeout 960   7100 9100 0 disqualified 190   700 2300 0 error(returned 1, slicing) 1.3  76 16   0 timeout 900   3600 7200 0 timeout 900   3600 12000 0 timeout 900   3600 8800 0 out of memory 710 15000 4500 0
ldv-linux-3.4-simple/43_1a_cilled_false-unreach-call_ok_linux-43_1a-drivers--net--wireless--orinoco--orinoco_usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i error (6) 1.8   150 13    0 error 880    3000   4300   0 error (134) 1.2  110 13   0 false(unreach-call) 32   1000 250 1 false(unreach-call) 22   790 190 1 unknown 900    12000 11000   0 unknown 9.0 440 130 0 error - divine failed with signal 6 (.../lart/abstract/util.cpp: 190: encountered unknown parent instruction:) 1.7 210 24 0 timeout 900     2800 11000    0 false(unreach-call) 320   2600 4700 1 disqualified 30   360 350 0 error(unknown, verification-finished) .87 46 11   0 timeout 900   5600 6700 0 error (7) 300   1300 3300 0 timeout 900   5600 6500 0 timeout 900 2000 5800 0
ldv-linux-3.4-simple/43_1a_cilled_false-unreach-call_ok_linux-43_1a-drivers--scsi--dpt_i2o.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i error (6) 8.1   700 63    0 error 880    2800   4500   0 out of memory 260    15000 1900   0 timeout 900   8200 11000 0 timeout 970   7200 10000 0 unknown 900    15000 7500   0 error - divine failed with exitcode 1 1.8 220 22 0 error - divine failed with signal 6 (.../lart/abstract/util.cpp: 190: encountered unknown parent instruction:) 1.8 220 22 0 timeout 900     3000 6700    0 timeout 960   5800 11000 0 disqualified 390   14000 3800 0 error(returned 1, slicing) 1.9  110 20   0 timeout 900   5100 12000 0 timeout 900   3700 12000 0 timeout 900   4900 13000 0 timeout 900 1700 7800 0
ldv-linux-3.4-simple/43_1a_cilled_false-unreach-call_ok_linux-43_1a-drivers--scsi--megaraid--megaraid_mm_true-termination.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i error (6) .88  61 7.5  0 false(unreach-call) 6.0  580   68   0 error (134) 160    5700 1200   0 false(unreach-call) 31   830 270 1 exception 100   3100 1300 0 unknown 900    2700 8200   0 error - divine failed with exitcode 1 1.7 210 21 0 error - divine failed with signal 6 (.../lart/abstract/util.cpp: 190: encountered unknown parent instruction:) 1.6 210 18 0 true 54     1700 600    -32 false(unreach-call) 60   1600 770 0 disqualified 14   180 190 0 timeout (verification) 900    2700 8000   0 timeout 900   2100 9100 0 timeout 900   2000 10000 0 timeout 900   3800 11000 0 false(unreach-call) 190 1300 1700 0
ldv-linux-3.4-simple/43_1a_cilled_false-unreach-call_ok_linux-43_1a-drivers--usb--gadget--mv_udc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i error (6) 29     3500 230    0 error 880    3100   4400   0 false(valid-free) 1.4  120 11   0 error 32   960 270 0 false(unreach-call) 110   4100 1000 1 false(unreach-call) 590    13000 5300   0 unknown 9.2 450 110 0 error - divine failed with signal 11 1.7 210 21 0 out of memory 380     15000 2900    0 false(unreach-call) 400   3000 4400 1 disqualified 450   14000 3900 0 error(unknown, verification-finished) 1.9  73 27   0 timeout 900   5200 9800 0 timeout 900   1600 12000 0 timeout 900   5000 6700 0 out of memory 720 15000 6000 0
ldv-linux-3.4-simple/43_1a_cilled_false-unreach-call_ok_linux-43_1a-drivers--usb--gadget--pch_udc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i error (6) 40     5500 350    0 error 880    6000   5200   0 false(valid-free) 13    620 150   0 false(unreach-call) 27   860 210 1 false(unreach-call) 22   890 220 1 unknown 900    7700 7700   0 unknown 9.2 450 110 0 error - divine failed with signal 11 1.8 210 24 0 out of memory 130     15000 1400    0 false(unreach-call) 280   2500 2800 1 disqualified 900   1400 8000 0 error(unknown, verification-finished) 1.8  80 27   0 timeout 900   5200 7300 0 error (7) 670   2300 9700 0 timeout 900   5200 7900 0 out of memory 100 15000 1200 0
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--acpi--container.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i error (134) .30  39 3.3  0 false(valid-free) 31    1300   450   0 false(valid-deref) 1.0  110 13   0 true 6.0 300 50 2 true 5.7 300 52 2 unknown 3.1  86 40   0 unknown 8.4 430 100 0 unknown 10   430 120 0 true .42  38 5.1  2 true 19   1200 150 2 disqualified 3.1 88 39 0 timeout (verification) 900    2900 11000   0 true 18   900 170 2 true 60   930 680 2 true 15   500 100 2 true 23 640 190 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.i error (134) .20  35 2.0  0 error (42) 880    1600   8100   0 out of memory 140    15000 1700   0 true 6.3 300 57 2 true 5.7 290 48 2 unknown 7.1  160 95   0 unknown 8.2 430 100 0 error - divine failed with signal 11 1.7 200 22 0 true .36  36 4.3  2 true 17   1200 140 2 disqualified 3.0 98 36 0 true .26 17 3.5 2 true 14   470 110 2 true 19   600 140 2 true 14   490 110 2 true 18 510 150 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.i error (134) .31  38 2.9  0 false(unreach-call) 30    1300   440   -16 error (42) 880    2200 11000   0 true 6.2 300 58 2 true 28   1300 280 2 unknown 4.0  100 48   0 unknown 8.3 430 96 0 error - divine failed with signal 11 1.7 200 23 0 true .46  37 5.2  2 true 17   1200 150 2 disqualified 3.1 89 39 0 true .30 18 3.7 2 true 19   750 160 2 true 60   750 720 2 true 15   550 130 2 true 23 640 200 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.i error (134) .25  42 2.3  0 error (42) 880    13000   6700   0 out of memory 220    15000 2400   0 true 6.6 310 61 2 true 8.3 440 75 2 unknown 7.1  190 94   0 error - divine failed with signal 6 (program::insert: unresolved symbol (global variable): ata_bmdma_port_ops) 1.8 200 27 0 error - divine failed with signal 11 1.7 200 24 0 true .74  53 9.6  2 true 21   1300 220 2 disqualified 3.3 89 39 0 error(unknown, verification-finished) .37 20 4.1 0 true 15   530 120 1 true 23   600 200 2 true 16   510 110 1 true 24 620 210 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.i error (134) .25  41 2.4  0 error (42) 880    2900   8300   0 error (42) 880    13000 6400   0 true 6.2 320 54 2 true 4.8 290 41 2 unknown 1.5  66 19   0 error - divine failed with signal 6 (program::insert: unresolved symbol (global variable): ata_bmdma_port_ops) 1.8 200 26 0 error - divine failed with signal 6 (program::insert: unresolved symbol (global variable): ata_bmdma_port_ops) 1.9 200 25 0 true .30  40 3.7  2 true 17   1200 130 2 disqualified 2.9 82 42 0 true .31 20 4.0 2 true 14   450 95 2 true 16   630 120 2 true 14   450 120 2 true 22 570 170 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.i true .58  80 5.6  2 out of memory 440    15000   2900   0 error (42) 880    4600 7200   0 true 6.5 290 56 2 true 13   720 130 2 unknown 1.2  67 14   0 unknown 8.4 430 97 0 error - divine failed with signal 11 1.7 200 21 0 true .47  32 6.1  2 true 16   1200 130 2 disqualified 3.9 100 44 0 true .31 18 4.0 2 true 15   580 110 2 true 16   580 130 2 true 16   570 110 2 true 21 680 180 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.i error (134) .22  39 1.9  0 error (42) 880    13000   9700   0 error (42) 880    13000 10000   0 true 6.1 300 56 2 true 6.3 290 62 2 unknown 1.7  69 21   0 unknown 8.3 430 120 0 error - divine failed with signal 11 1.6 200 21 0 true .28  37 4.2  2 true 18   1200 150 2 disqualified 3.0 83 45 0 true .34 18 3.7 2 true 21   1100 200 2 true 56   1300 470 2 true 22   1200 210 2 true 20 540 170 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.i true .18  30 1.9  2 error (42) 880    4100   4100   0 error (42) 880    430 6500   0 true 5.0 290 50 2 true 4.2 280 36 2 unknown 1.0  66 11   0 unknown 8.2 430 87 0 error - divine failed with signal 11 1.7 200 23 0 true .22  31 2.6  2 true 14   1200 110 2 disqualified 2.9 85 34 0 true .29 15 2.4 2 true 12   500 110 2 true 15   520 120 2 true 13   490 99 2 true 14 470 110 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.i error (134) .26  41 1.9  0 error (42) 880    13000   8000   0 out of memory 210    15000 2200   0 true 8.3 350 71 2 true 97   4400 910 2 unknown 78    1500 940   0 unknown 8.4 430 100 0 unknown 21   440 250 0 true 3.9   92 44    2 true 40   1600 480 2 disqualified 4.9 150 72 0 true .29 18 3.5 2 true 18   580 150 2 true 45   990 410 2 true 18   590 140 2 true 20 620 180 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.i error (134) 1.5   130 12    0 error (42) 880    13000   4900   0 out of memory 150    15000 1600   0 true 15   490 130 2 true 120   4400 1100 2 unknown 900    2800 7200   0 unknown 8.6 440 110 0 unknown 31   450 370 0 true 800     2200 5500    2 true 100   1400 900 2 disqualified 38   520 500 0 true .75 28 9.8 2 true 33   880 290 2 true 120   2700 1200 2 true 33   880 290 2 true 33 870 320 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.i error (134) .34  53 3.9  0 error (42) 880    13000   6500   0 out of memory 150    15000 2000   0 true 11   460 84 2 true 110   4800 1100 2 unknown 190    2500 2100   0 unknown 8.5 440 110 0 unknown 21   440 230 0 true 13     190 130    2 true 30   1200 290 2 disqualified 7.8 240 110 0 true .41 21 5.8 2 true 23   590 210 2 true 100   1800 1200 2 true 23   660 200 2 true 25 660 210 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.i error (134) .41  60 3.8  0 error (42) 880    13000   6400   0 out of memory 150    15000 1800   0 true 12   470 97 2 true 110   4100 1000 2 unknown 160    1700 1700   0 unknown 8.7 440 130 0 unknown 21   440 240 0 true 19     180 170    2 true 400   3000 5100 2 disqualified 10   310 130 0 true .46 22 5.8 2 true 26   760 210 2 true 88   2600 970 2 true 26   760 240 2 true 28 770 230 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.i error (134) .89  79 8.4  0 error (42) 880    13000   5000   0 out of memory 200    15000 1100   0 true 13   470 110 2 true 110   4200 1100 2 unknown 800    6500 8300   0 unknown 8.6 440 110 0 unknown 25   440 300 0 true 150     690 1800    2 true 420   4400 6100 2 disqualified 880   630 13000 0 true .57 26 7.1 2 true 27   800 240 2 true 350   4800 4100 2 true 27   720 210 2 true 31 950 290 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.i error (134) .48  54 4.5  0 error (42) 880    13000   5100   0 out of memory 140    15000 1900   0 true 11   470 96 2 true 99   4300 1100 2 unknown 470    6600 6300   0 unknown 8.5 440 97 0 unknown 24   440 240 0 true 70     580 520    2 true 36   1200 560 2 disqualified 880   550 12000 0 true .44 22 5.7 2 true 25   740 210 2 true 78   1100 770 2 true 25   760 200 2 true 26 750 210 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.i error (134) .22  37 1.8  0 error (42) 880    13000   6800   0 out of memory 200    15000 2400   0 true 7.1 310 66 2 true 95   2700 950 2 unknown 81    1400 900   0 unknown 8.4 430 110 0 unknown 20   440 220 0 true 2.5   68 37    2 true 18   1200 140 2 disqualified 4.4 130 57 0 true .27 17 3.1 2 true 16   570 120 2 true 30   830 240 2 true 16   530 140 2 true 20 620 150 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.i error (134) .31  49 2.6  0 error (42) 880    13000   7200   0 out of memory 140    15000 1600   0 true 9.8 410 84 2 true 97   2500 760 2 unknown 92    1500 1400   0 unknown 8.4 430 120 0 unknown 21   440 220 0 true 7.5   140 90    2 true 26   1200 290 2 disqualified 6.2 180 90 0 true .35 18 4.2 2 true 22   600 190 2 true 76   1100 760 2 true 22   590 180 2 true 23 660 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.i error (134) .57  74 5.8  0 error (42) 880    13000   3900   0 out of memory 150    15000 1700   0 true 16   490 130 2 true 100   3900 1100 2 unknown 490    2900 5200   0 unknown 8.6 440 110 0 unknown 27   450 320 0 true 90     400 990    2 true 76   1200 640 2 disqualified 58   470 800 0 true .61 26 8.7 2 true 32   830 230 2 true 93   3300 850 2 true 29   760 250 2 true 32 850 250 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.i error (134) .58  69 5.4  0 error (42) 880    13000   4900   0 out of memory 150    15000 2100   0 true 15   480 120 2 true 100   4100 1000 2 unknown 490    2900 4700   0 unknown 8.6 440 92 0 unknown 24   440 270 0 true 70     400 510    2 true 62   1200 510 2 disqualified 66   470 990 0 true .57 25 7.2 2 true 30   680 260 2 true 81   1400 850 2 true 29   820 230 2 true 31 860 250 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.i error (134) .56  69 6.0  0 error (42) 880    13000   5400   0 out of memory 150    15000 1700   0 true 15   480 120 2 true 100   4000 1100 2 unknown 900    5500 8900   0 unknown 8.6 440 100 0 unknown 66   440 660 0 true 72     520 590    2 true 400   3900 5300 2 disqualified 13   430 160 0 true .59 26 6.7 2 true 28   800 240 2 true 86   1400 960 2 true 28   810 210 2 true 31 890 250 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.i error (134) .24  39 1.7  0 error (42) 880    13000   6300   0 out of memory 140    15000 1800   0 true 7.8 330 59 2 true 96   3800 930 2 unknown 63    1400 720   0 unknown 8.4 430 110 0 unknown 20   440 240 0 true 2.8   72 33    2 true 52   1600 600 2 disqualified 4.5 140 55 0 true .27 17 3.5 2 true 16   520 120 2 true 31   940 240 2 true 17   610 150 2 true 19 650 170 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.i error (134) .48  68 5.3  0 error (42) 880    13000   7200   0 out of memory 210    15000 1700   0 true 14   500 110 2 true 100   2100 1100 2 unknown 98    1200 1300   0 unknown 8.5 440 100 0 unknown 21   440 230 0 true 21     170 200    2 true 170   1900 2100 2 disqualified 8.7 200 110 0 true .49 21 5.8 2 true 26   740 220 2 true 86   2600 880 2 true 28   680 250 2 true 30 810 260 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.i error (134) 1.3   130 11    0 error (42) 880    13000   3900   0 out of memory 200    15000 1600   0 true 24   730 200 2 true 110   2000 1400 2 unknown 810    3700 6900   0 unknown 9.1 450 100 0 unknown 26   460 290 0 true 340     950 2300    2 true 300   1800 2200 2 disqualified 31   710 410 0 true 1.2  35 16   2 true 41   990 310 2 true 190   4800 2200 2 true 42   1000 410 2 true 47 1300 410 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.i error (5) .82  30 9.3  0 error (42) 880    12000   4100   0 out of memory 220    15000 2400   0 true 5.4 290 55 2 true 6.8 320 65 2 unknown 1.4  66 14   0 unknown 8.3 430 110 0 error - divine failed with signal 6 (.../lart/abstract/util.cpp: 190: encountered unknown parent instruction:) 1.7 200 19 0 true .50  34 5.5  2 true 13   1300 120 2 disqualified 2.9 84 38 0 timeout (verification) 900    3200 9900   0 true 12   420 110 2 true 15   510 120 2 true 13   430 93 2 true 16 490 150 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.i error (134) .31  44 3.1  0 error (42) 880    13000   5200   0 out of memory 150    15000 1900   0 true 7.6 320 64 2 true 96   2500 1000 2 unknown 2.5  100 29   0 unknown 8.4 430 100 0 error - divine failed with signal 11 1.7 200 22 0 true .64  53 8.0  2 true 25   1400 250 2 disqualified 4.1 110 52 0 true .32 19 3.6 2 true 24   650 180 2 true 41   1500 340 2 true 24   660 190 2 true 40 1700 350 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.i true .41  54 4.2  2 error (42) 880    4300   4100   0 error (42) 880    580 7200   0 true 5.7 290 54 2 true 4.8 280 42 2 unknown 1.1  66 15   0 unknown 8.3 430 100 0 error - divine failed with signal 11 1.7 200 22 0 true .31  35 3.8  2 true 16   1200 120 2 disqualified 3.1 89 40 0 true .27 19 3.1 2 true 15   520 120 2 true 16   600 120 2 true 14   510 110 2 true 14 490 120 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.i error (134) 3.6   540 53    0 error (42) 880    14000   10000   0 error (42) 880    1600 9900   0 true 7.5 340 61 2 true 7.6 390 64 2 unknown 4.3  260 60   0 unknown 8.3 430 100 0 error - divine failed with signal 6 (.../lart/abstract/util.cpp: 190: encountered unknown parent instruction:) 1.6 200 26 0 true 1.7   89 18    2 true 20   1200 180 2 disqualified 3.9 130 57 0 true .32 18 3.7 2 true 16   520 130 2 true 21   580 180 2 true 15   550 110 2 true 22 630 200 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.i true .40  54 4.7  2 error (42) 880    1500   5600   0 out of memory 150    15000 1900   0 true 5.1 290 45 2 true 5.7 290 53 2 unknown 1.2  67 14   0 unknown 8.4 430 120 0 error - divine failed with signal 6 (.../lart/abstract/util.cpp: 117: encountered value does not have lart.unstash.placeholder val =) 1.6 200 21 0 true .23  29 3.1  2 true 15   1100 120 2 disqualified 4.9 150 70 0 true .22 16 2.7 2 true 12   420 99 2 true 14   550 130 2 true 12   440 110 2 true 15 490 130 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.i true .17  26 1.7  2 error (42) 880    13000   5500   0 out of memory 190    15000 2700   0 true 4.4 280 36 2 true 3.8 280 34 2 unknown .89 67 9.9 0 unknown 8.2 430 96 0 unknown 9.4 430 130 0 true .11  28 1.5  2 true 12   1300 94 2 disqualified 2.6 78 33 0 true .19 16 2.1 2 true 10   390 72 2 true 12   430 86 2 true 9.8 390 75 2 true 13 460 110 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.i error (134) .42  51 4.4  0 error (42) 880    2500   4600   0 out of memory 180    15000 2100   0 true 9.4 400 83 2 true 96   2300 970 2 unknown 9.9  180 96   0 unknown 9.2 440 110 0 error - divine failed with signal 6 (.../lart/abstract/util.cpp: 190: encountered unknown parent instruction:) 1.6 200 21 0 true 2.0   75 29    2 true 26   1200 250 2 disqualified 3.8 100 48 0 timeout (verification) 900    64 8700   0 true 22   740 170 2 true 54   1100 480 2 true 22   690 180 2 true 23 690 190 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.i error (134) .30  36 4.1  0 error (42) 880    12000   9200   0 out of memory 350    15000 3400   0 true 5.9 290 53 2 true 6.1 300 58 2 unknown 3.4  130 41   0 unknown 8.4 430 130 0 error - divine failed with signal 11 1.6 200 19 0 true .49  37 6.1  2 true 17   1200 140 2 disqualified 3.1 91 39 0 timeout (verification) 900    64 9000   0 true 18   520 180 2 true 38   610 370 2 true 19   520 160 2 true 18 510 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.i error (5) 5.0   120 61    0 out of memory 210    15000   2500   0 out of memory 490    15000 6100   0 true 5.4 290 53 2 true 4.7 290 41 2 unknown 1.3  66 16   0 unknown 8.4 430 120 0 error - divine failed with signal 11 1.7 200 21 0 true .31  35 4.4  2 true 15   1200 120 2 disqualified 2.8 79 36 0 timeout (verification) 900    64 10000   0 true 12   420 88 2 true 20   510 180 2 true 12   410 95 2 true 18 520 150 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.i error (134) .27  35 2.3  0 error (42) 880    14000   9100   0 out of memory 370    15000 3200   0 true 6.2 290 54 2 true 5.8 290 50 2 unknown 3.3  120 35   0 unknown 8.6 430 99 0 error - divine failed with signal 11 1.6 200 18 0 true .50  36 5.5  2 true 17   1200 150 2 disqualified 3.0 96 42 0 timeout (verification) 900    64 9000   0 true 18   480 150 2 true 38   560 410 2 true 18   480 160 2 true 19 550 170 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.i error (134) .24  31 2.0  0 out of memory 410    13000   3700   0 out of memory 190    15000 2300   0 true 5.5 290 47 2 true 6.7 320 60 2 unknown 1.8  67 22   0 unknown 8.3 430 95 0 error - divine failed with signal 11 1.7 200 19 0 true .49  33 6.6  2 true 14   1200 110 2 disqualified 3.0 96 32 0 timeout (verification) 900    69 10000   0 true 15   490 120 2 true 56   610 620 2 true 14   500 130 2 true 17 500 140 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.i error (134) .26  34 2.2  0 out of memory 110    13000   1400   0 out of memory 150    15000 2100   0 true 6.4 290 57 2 true 95   2100 1100 2 unknown 240    830 1800   0 unknown 8.4 430 120 0 error - divine failed with signal 11 1.6 200 20 0 true 1.4   53 20    2 true 17   1200 140 2 disqualified 3.4 100 40 0 timeout (verification) 900    3100 8800   0 true 17   530 130 2 true 63   860 700 2 true 17   530 150 2 true 18 560 160 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.i error (134) .50  49 4.5  0 false(valid-free) 110    7700   1200   0 out of memory 300    15000 4200   0 true 8.5 350 82 2 true 26   1600 240 2 unknown 60    520 580   0 unknown 8.5 430 110 0 timeout 900   380 8400 0 true 3.7   95 51    2 true 23   1200 210 2 disqualified 4.0 100 60 0 timeout (verification) 900    3300 8800   0 true 22   690 180 2 true 280   890 3500 2 true 21   590 160 2 true 26 650 240 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.i true .31  40 2.8  2 error (42) 880    4000   3700   0 error (42) 880    410 7100   0 true 5.2 290 47 2 true 4.2 290 36 2 unknown 1.3  67 14   0 unknown 8.1 430 99 0 unknown 8.8 430 110 0 true .20  38 3.1  2 true 15   1300 130 2 disqualified 2.7 77 31 0 true .30 19 3.8 2 true 13   490 99 2 true 15   590 110 2 true 14   480 130 2 true 17 560 140 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.i true .29  36 2.8  2 error (42) 880    380   10000   0 out of memory 240    15000 3300   0 true 5.3 290 43 2 true 4.2 280 37 2 unknown 1.2  66 12   0 unknown 8.4 430 88 0 unknown 13   430 170 0 true .18  34 2.4  2 true 14   1300 120 2 disqualified 2.7 78 32 0 true .26 17 3.0 2 true 12   440 94 2 true 12   430 95 2 true 11   410 83 2 true 18 500 140 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.i error (134) .16  33 1.5  0 error (42) 880    14000   7100   0 out of memory 170    15000 2400   0 true 5.5 290 46 2 true 4.3 290 40 2 unknown 1.6  71 19   0 unknown 8.3 430 120 0 unknown 10   430 120 0 true .31  35 4.7  2 true 15   1200 120 2 disqualified 2.7 80 34 0 true .23 16 2.5 2 true 12   420 99 2 true 14   500 99 2 true 12   390 89 2 true 17 500 140 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.i error (134) 1.9   460 25    0 error (42) 880    14000   7500   0 out of memory 530    15000 6100   0 true 5.9 290 52 2 true 5.1 290 43 2 unknown 9.9  660 120   0 unknown 8.3 430 120 0 unknown 9.5 430 120 0 true 3.1   170 42    2 true 15   1200 120 2 disqualified 2.7 82 31 0 true .27 17 3.4 2 true 12   420 96 2 true 16   520 120 2 true 13   400 110 2 true 18 510 130 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.i error (134) .15  32 1.4  0 error (42) 880    4300   8400   0 out of memory 260    15000 3100   0 true 5.0 290 49 2 true 4.1 280 35 2 unknown .97 65 12   0 unknown 8.3 430 110 0 unknown 9.5 430 110 0 true .14  32 1.8  2 true 14   1200 110 2 disqualified 2.6 80 30 0 true .23 17 2.7 2 true 11   390 85 2 true 12   400 89 2 true 11   390 83 2 true 17 480 130 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.i error (134) .71  160 9.3  0 error (42) 880    14000   9100   0 out of memory 260    15000 2900   0 true 5.5 290 48 2 true 4.1 260 39 2 unknown 1.4  65 16   0 unknown 8.3 430 96 0 unknown 10   430 120 0 true .28  33 3.6  2 true 15   1200 120 2 disqualified 2.7 80 37 0 true .26 16 3.2 2 true 12   400 88 2 true 14   500 110 2 true 11   380 90 2 true 16 480 160 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.i error (134) 2.5   620 34    0 error (42) 880    14000   7800   0 out of memory 390    15000 4700   0 true 6.1 300 50 2 true 4.8 290 43 2 unknown 6.6  430 95   0 unknown 8.3 430 110 0 unknown 10   430 120 0 true 2.0   120 26    2 true 16   1200 130 2 disqualified 2.8 84 32 0 true .27 17 3.4 2 true 14   430 110 2 true 16   610 140 2 true 14   440 100 2 true 18 520 150 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.i error (134) .33  61 3.7  0 error (42) 880    14000   10000   0 out of memory 820    15000 8500   0 true 5.2 290 42 2 true 4.2 280 41 2 unknown 1.2  67 13   0 unknown 8.3 430 95 0 unknown 9.4 430 130 0 true .19  32 2.8  2 true 15   1200 120 2 disqualified 2.6 77 37 0 true .27 17 3.1 2 true 12   380 87 2 true 13   410 100 2 true 12   390 91 2 true 17 490 130 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.i true .24  32 3.0  2 error (42) 880    7300   8000   0 out of memory 410    15000 4100   0 true 4.8 290 44 2 true 4.2 280 41 2 unknown .98 66 12   0 unknown 8.3 430 120 0 unknown 9.3 430 98 0 true .16  32 1.5  2 true 14   1200 110 2 disqualified 2.6 81 33 0 true .24 17 3.5 2 true 12   390 89 2 true 13   430 96 2 true 11   370 82 2 true 18 490 150 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.i error (134) .87  200 11    0 error (42) 880    14000   7900   0 out of memory 580    15000 5900   0 true 5.5 300 50 2 true 4.5 290 40 2 unknown 3.2  190 46   0 unknown 8.3 430 120 0 unknown 9.5 430 110 0 true .85  63 13    2 true 16   1200 140 2 disqualified 2.7 78 34 0 true .23 17 3.0 2 true 12   420 97 2 true 15   530 110 2 true 12   400 100 2 true 18 480 140 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.i error (134) .16  33 1.8  0 error (42) 880    14000   7700   0 out of memory 200    15000 2700   0 true 5.5 290 53 2 true 4.5 280 43 2 unknown 1.8  87 21   0 unknown 8.4 430 89 0 unknown 10   430 120 0 true .38  39 4.6  2 true 15   1200 120 2 disqualified 2.7 80 38 0 true .25 17 3.2 2 true 12   390 92 2 true 13   510 100 2 true 11   390 92 2 true 17 510 140 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.i error (134) .15  32 1.4  0 error (42) 880    3900   7500   0 out of memory 130    15000 1700   0 true 5.2 290 49 2 true 4.1 290 35 2 unknown 1.1  66 14   0 unknown 8.2 430 100 0 unknown 9.5 430 110 0 true .17  32 1.9  2 true 15   1100 120 2 disqualified 2.6 79 28 0 true .25 16 2.4 2 true 11   400 100 2 true 13   440 96 2 true 11   380 82 2 true 16 470 140 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.i error (134) .19  34 1.6  0 error (42) 880    14000   6700   0 out of memory 410    15000 6200   0 true 6.2 300 62 2 true 4.9 290 47 2 unknown 3.2  160 38   0 unknown 8.4 430 93 0 unknown 11   430 140 0 true .85  58 11    2 true 15   1200 120 2 disqualified 2.9 80 38 0 true .26 17 3.5 2 true 14   460 110 2 true 22   730 160 2 true 12   450 96 2 true 18 510 140 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.i error (134) .16  33 2.0  0 error (42) 880    10000   12000   0 error (42) 880    11000 12000   0 true 5.5 300 50 2 true 4.5 280 39 2 unknown 900    6300 13000   0 unknown 8.2 430 110 0 unknown 11   430 140 0 true .62  43 9.9  2 true 16   1200 120 2 disqualified 2.9 87 39 0 true .25 17 3.2 2 true 12   410 97 2 true 19   580 150 2 true 13   410 100 2 true 18 510 140 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.i error (134) .14  32 1.2  0 error (42) 880    4900   7300   0 out of memory 210    15000 2600   0 true 5.0 290 48 2 true 4.1 280 37 2 unknown 1.1  67 11   0 unknown 8.3 430 110 0 unknown 9.3 430 130 0 true .19  32 2.0  2 true 14   1200 100 2 disqualified 2.6 76 37 0 true .26 17 2.7 2 true 11   400 82 2 true 14   480 120 2 true 12   390 85 2 true 16 480 140 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.i error (134) .26  40 2.8  0 error (42) 880    14000   8100   0 out of memory 270    15000 3500   0 true 7.9 330 63 2 true 6.0 290 51 2 unknown 8.6  430 100   0 unknown 8.3 430 110 0 unknown 11   430 140 0 true 2.5   120 31    2 true 18   1200 160 2 disqualified 3.2 93 39 0 true .31 19 3.6 2 true 14   490 110 2 true 28   810 230 2 true 15   520 120 2 true 21 600 180 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.i true .33  42 4.6  2 error (42) 880    1900   7000   0 out of memory 780    15000 9000   0 true 5.2 290 47 2 true 4.2 290 38 2 unknown 1.2  67 15   0 unknown 8.2 430 97 0 unknown 10   430 140 0 true .18  34 1.9  2 true 16   1200 140 2 disqualified 2.6 78 34 0 true .28 17 2.9 2 true 12   400 95 2 true 13   440 100 2 true 11   400 100 2 true 18 500 150 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.i error (134) .16  33 1.5  0 error (42) 880    14000   7400   0 out of memory 150    15000 2100   0 true 5.5 290 52 2 true 4.1 290 43 2 unknown 1.4  67 18   0 unknown 8.3 430 110 0 unknown 10   430 130 0 true .28  33 3.0  2 true 15   1200 120 2 disqualified 2.7 80 35 0 true .24 17 3.4 2 true 12   390 87 2 true 15   530 110 2 true 13   410 92 2 true 17 500 140 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.i error (134) .72  170 9.4  0 error (42) 880    14000   7500   0 out of memory 410    15000 4700   0 true 5.6 290 49 2 true 4.6 290 44 2 unknown 2.5  140 32   0 unknown 8.3 430 110 0 unknown 9.4 430 110 0 true .61  50 7.7  2 true 16   1200 130 2 disqualified 2.7 80 32 0 true .24 17 3.3 2 true 13   410 99 2 true 14   530 110 2 true 12   410 86 2 true 17 500 170 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.i error (134) 1.9   470 23    0 error (42) 880    14000   8000   0 out of memory 550    15000 6100   0 true 5.9 300 50 2 true 5.0 290 41 2 unknown 13    890 150   0 unknown 8.3 430 95 0 unknown 9.6 430 120 0 true 4.1   220 45    2 true 15   1200 130 2 disqualified 2.7 79 31 0 true .30 16 2.6 2 true 11   400 92 2 true 17   530 120 2 true 11   400 94 2 true 18 510 150 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.i error (134) 3.0   740 33    0 error (42) 880    13000   8900   0 out of memory 470    15000 5100   0 true 6.5 300 59 2 true 5.5 290 50 2 unknown 31    2100 430   0 unknown 8.3 430 100 0 unknown 9.5 430 130 0 true 10     500 130    2 true 17   1200 130 2 disqualified 2.8 81 35 0 true .27 21 2.9 2 true 13   460 100 2 true 20   690 170 2 true 13   460 97 2 true 18 530 150 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.i true .28  36 2.8  2 error (42) 880    14000   7500   0 out of memory 220    15000 2800   0 true 5.3 290 48 2 true 95   2200 1400 2 unknown 1.2  67 12   0 unknown 8.2 430 110 0 unknown 9.4 430 110 0 true .21  33 2.5  2 true 15   1200 110 2 disqualified 2.8 87 31 0 true .24 17 2.5 2 true 13   460 100 2 true 17   620 130 2 true 14   460 100 2 true 23 830 190 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.i error (134) .57  50 7.2  0 out of memory 39    13000   500   0 out of memory 330    15000 3500   0 true 10   430 93 2 true 98   3800 1100 2 unknown 21    380 240   0 unknown 8.6 440 100 0 error - divine failed with signal 11 1.6 200 21 0 true 7.0   130 82    2 true 25   1200 250 2 disqualified 4.6 120 57 0 timeout (verification) 900    2700 9800   0 true 25   580 230 2 true 55   980 500 2 true 25   610 220 2 true 27 690 230 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.i error (134) .28  37 2.7  0 out of memory 390    14000   4800   0 out of memory 480    15000 5600   0 true 6.5 310 57 2 true 95   1900 1100 2 unknown 2.1  81 25   0 unknown 8.4 430 120 0 error - divine failed with signal 11 1.7 200 24 0 true .65  44 7.8  2 true 17   1200 140 2 disqualified 3.4 95 39 0 timeout (verification) 900    3200 8300   0 true 16   530 130 2 true 29   830 220 2 true 16   520 110 2 true 29 810 230 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.i error (134) .35  37 2.8  0 out of memory 46    13000   490   0 out of memory 800    15000 7200   0 true 7.7 310 69 2 true 96   3500 1200 2 unknown 8.8  420 100   0 unknown 8.3 430 110 0 error - divine failed with signal 11 1.7 200 24 0 true 2.6   120 26    2 true 19   1200 170 2 disqualified 3.4 97 48 0 timeout (verification) 900    3100 8300   0 true 15   530 120 2 true 25   630 200 2 true 15   520 110 2 true 20 580 190 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.i error (134) .29  37 2.7  0 error (6) 830    13000   7200   0 out of memory 360    15000 2900   0 true 6.5 300 53 2 true 13   550 120 2 unknown 3.0  110 37   0 unknown 8.5 430 100 0 error - divine failed with signal 11 1.6 200 19 0 true .40  39 5.1  2 true 19   1300 200 2 disqualified 3.2 91 39 0 timeout (verification) 900    65 9200   0 true 17   540 150 2 true 31   690 310 2 true 18   540 150 2 true 20 580 180 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.i error (134) 2.0   93 18    0 error (6) 120    14000   1600   0 error (134) 1.5  160 16   0 true 13   480 110 2 true 100   2600 1100 2 unknown 900    2600 6500   0 unknown 8.6 440 110 0 error - divine failed with signal 11 1.7 210 17 0 true 470     4400 4500    2 true 190   1800 2500 2 disqualified 7.6 180 99 0 error(unknown, verification-finished) .93 72 11   0 true 120   2400 1500 2 true 250   2300 2800 2 true 35   1200 280 2 true 40 1200 340 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.i error (5) 79     860 800    0 false(valid-deref) .57 45   6.5 0 error (134) .95 110 14   0 true 6.6 300 54 2 true 6.4 300 59 2 unknown 2.5  82 29   0 unknown 8.2 430 92 0 error - divine failed with signal 11 1.6 200 23 0 true 1.5   68 19    2 true 21   1200 200 2 disqualified 3.4 92 42 0 timeout (verification) 900    67 10000   0 true 17   620 140 2 true 25   630 200 2 true 17   620 150 2 true 24 760 200 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.i error (134) .31  40 3.2  0 out of memory 74    13000   870   0 out of memory 280    15000 3300   0 true 7.6 310 64 2 true 95   2000 1200 2 unknown 24    610 300   0 unknown 8.4 430 120 0 error - divine failed with signal 11 1.6 200 23 0 true 2.3   73 32    2 true 18   1200 170 2 disqualified 4.0 110 45 0 timeout (verification) 900    3200 9200   0 true 19   520 180 2 true 52   700 560 2 true 20   600 170 2 true 21 630 170 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.i error (134) .29  36 2.5  0 error (6) 460    14000   5200   0 out of memory 360    15000 3100   0 true 6.2 290 53 2 true 5.8 300 46 2 unknown 2.0  68 28   0 unknown 8.4 430 110 0 error - divine failed with signal 11 1.6 200 18 0 true 1.1   51 16    2 true 16   1300 120 2 disqualified 3.0 83 41 0 timeout (verification) 900    64 9100   0 true 14   480 110 2 true 17   600 140 2 true 14   490 110 2 true 19 550 160 2
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hwmon--pcf8591.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i error (134) 3.7   520 47    0 false(valid-deref) .51 40   6.4 0 error (134) .93 98 11   0 true 6.5 300 57 2 true 16   590 140 2 unknown 2.3  70 26   0 unknown 8.5 430 110 0 error - divine failed with signal 11 1.6 200 22 0 true 1.2   57 19    2 true 21   1200 190 2 disqualified 3.3 90 37 0 timeout (verification) 900    69 11000   0 true 21   640 180 2 true 31   740 250 2 true 22   640 180 2 true 21 620 160 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.i true .43  48 4.9  2 error (42) 880    1600   7100   0 out of memory 130    15000 1500   0 true 5.2 290 52 2 true 4.3 280 37 2 unknown 1.2  67 14   0 unknown 8.4 430 110 0 unknown 13   430 160 0 true .19  32 2.0  2 true 14   1200 120 2 disqualified 2.7 81 31 0 true .27 17 2.8 2 true 13   410 110 2 true 15   510 110 2 true 13   410 110 2 true 17 480 160 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.i true .97  110 10    2 error (42) 880    1700   5900   0 out of memory 140    15000 1600   0 true 5.5 300 51 2 true 5.0 290 40 2 unknown 1.4  65 18   0 unknown 8.4 430 93 0 unknown 15   430 160 0 true .30  33 3.9  2 true 15   1200 120 2 disqualified 2.8 86 34 0 true .25 18 3.0 2 true 13   430 110 2 true 16   600 120 2 true 13   430 93 2 true 17 460 140 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.i error (134) .25  43 2.7  0 error 880    2500   4800   0 out of memory 120    15000 1200   0 true 8.9 380 80 2 true 99   4100 1100