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-12-01 08:19:20 CET; 2017-12-01 10:20:37 CET; 2017-11-30 11:20:26 CET] [2017-12-01 08:19:34 CET; 2017-12-01 11:16:27 CET; 2017-11-30 11:20:26 CET] [2017-12-01 08:37:17 CET; 2017-12-01 08:43:54 CET; 2017-11-30 11:20:26 CET] [2017-12-01 08:43:39 CET; 2017-12-01 08:51:01 CET; 2017-11-30 11:20:26 CET] [2017-12-01 08:22:21 CET; 2017-12-01 10:49:29 CET; 2017-11-30 11:20:26 CET] [2017-12-01 09:05:19 CET; 2017-12-01 13:07:37 CET; 2017-11-30 16:01:31 CET] [2017-12-02 00:00:31 CET; 2017-12-02 06:23:16 CET; 2017-12-01 08:49:27 CET] [2017-12-02 11:31:00 CET; 2017-12-02 18:23:42 CET; 2017-12-01 12:59:33 CET] [2017-12-05 13:45:25 CET; 2017-12-05 13:47:25 CET; 2017-12-05 07:52:24 CET] [2017-12-02 23:08:57 CET; 2017-12-03 04:09:48 CET; 2017-12-01 22:41:19 CET] [2017-12-03 04:39:25 CET; 2017-12-03 11:17:40 CET; 2017-12-02 01:06:24 CET] [2017-12-03 04:40:15 CET; 2017-12-03 11:17:40 CET; 2017-12-02 02:33:02 CET] [2017-12-03 07:53:44 CET; 2017-12-03 08:43:49 CET; 2017-12-02 17:23:13 CET]
Run set 2ls.[sv-comp18.Systems_BusyBox_MemSafety; sv-comp18.Systems_BusyBox_NoOverflows; sv-comp18.Systems_DeviceDriversLinux64_ReachSafety] cbmc.[sv-comp18.Systems_BusyBox_MemSafety; sv-comp18.Systems_BusyBox_NoOverflows; sv-comp18.Systems_DeviceDriversLinux64_ReachSafety] cpa-bam-bnb.[sv-comp18.Systems_BusyBox_MemSafety; sv-comp18.Systems_BusyBox_NoOverflows; sv-comp18.Systems_DeviceDriversLinux64_ReachSafety] cpa-bam-slicing.[sv-comp18.Systems_BusyBox_MemSafety; sv-comp18.Systems_BusyBox_NoOverflows; sv-comp18.Systems_DeviceDriversLinux64_ReachSafety] cpa-seq.[sv-comp18.Systems_BusyBox_MemSafety; sv-comp18.Systems_BusyBox_NoOverflows; sv-comp18.Systems_DeviceDriversLinux64_ReachSafety] depthk.[sv-comp18.Systems_BusyBox_MemSafety; sv-comp18.Systems_BusyBox_NoOverflows; sv-comp18.Systems_DeviceDriversLinux64_ReachSafety] esbmc-incr.[sv-comp18.Systems_BusyBox_MemSafety; sv-comp18.Systems_BusyBox_NoOverflows; sv-comp18.Systems_DeviceDriversLinux64_ReachSafety] esbmc-kind.[sv-comp18.Systems_BusyBox_MemSafety; sv-comp18.Systems_BusyBox_NoOverflows; sv-comp18.Systems_DeviceDriversLinux64_ReachSafety] interpchecker.[sv-comp18; sv-comp18.Systems_DeviceDriversLinux64_ReachSafety] symbiotic.[sv-comp18.Systems_BusyBox_MemSafety; sv-comp18.Systems_BusyBox_NoOverflows; sv-comp18.Systems_DeviceDriversLinux64_ReachSafety] uautomizer.[sv-comp18.Systems_BusyBox_MemSafety; sv-comp18.Systems_BusyBox_NoOverflows; sv-comp18.Systems_DeviceDriversLinux64_ReachSafety] ukojak.[sv-comp18.Systems_BusyBox_MemSafety; sv-comp18.Systems_BusyBox_NoOverflows; sv-comp18.Systems_DeviceDriversLinux64_ReachSafety] utaipan.[sv-comp18.Systems_BusyBox_MemSafety; sv-comp18.Systems_BusyBox_NoOverflows; 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) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J)
busybox-1.22.0/basename_false-valid-deref.i valid-deref valid-free valid-memtrack error (134) .31  32 2.8  witness invalid (false(valid-deref)) 55    870 490   error (1) .49 41 3.9 error (1) .46 40 3.6 error 3.5 270 30 unknown 900   1300 5900 false(valid-deref) 780     1300 8200    false(valid-deref) 400     1200 4000    error (1) .45 39 4.1 false(valid-deref) 2.0  310 23   error (7) 7.6 230 61 error (7) 7.6 230 64 error (7) 8.2 230 62
busybox-1.22.0/head_false-valid-deref.i valid-deref valid-free valid-memtrack error (6) .41  41 4.5  error (6) 5.0  65 56   error (1) .49 41 4.9 error (1) .47 41 4.5 error 4.4 270 36 unknown 900   2900 9900 unknown 5.0   210 78    unknown .23  34 2.5  error (1) .44 40 3.8 error 18    3200 200   timeout 900   4700 10000 timeout 900   5500 12000 timeout 900   5100 9500
busybox-1.22.0/sleep_false-valid-deref.i valid-deref valid-free valid-memtrack error (134) 2.3   39 24    error (6) 1.7  49 23   error (1) .48 41 4.7 error (1) .43 40 4.1 error 4.2 270 37 unknown 900   2500 11000 unknown 5.6   230 76    unknown .19  32 2.3  error (1) .43 40 4.2 error (1) .22 12 2.8 timeout 900   2000 10000 timeout 900   3600 12000 timeout 900   4700 9900
busybox-1.22.0/chgrp-incomplete_true-no-overflow_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (134) .47  37 4.6  error (6) .84 45 8.8 error (1) .49 41 3.8 error (1) .45 40 4.1 error 4.3 290 39 unknown 900   3100 6000 unknown 4.8   190 58    unknown .17  31 2.0  error (1) .43 40 3.8 false(valid-memtrack) 2.5  410 30   timeout 900   1800 10000 timeout 900   2900 12000 timeout 900   4700 12000
busybox-1.22.0/basename_false-unreach-call_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .31  32 2.6  error (42) 870    2200 4300   error (1) .48 44 4.9 error (1) .49 40 4.4 error 4.0 290 30 unknown 890   1300 6000 timeout 900     1100 10000    timeout 900     1300 10000    error (1) .47 40 4.2 timeout (timeout) 900    560 11000   error (7) 7.8 220 64 error (7) 8.0 230 61 error (7) 7.7 230 66
busybox-1.22.0/chroot-incomplete_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) 1.4   38 12    error (6) 1.1  44 14   error (1) .49 40 4.4 error (1) .46 41 3.8 error 4.4 270 40 unknown 900   880 11000 unknown 4.8   190 57    unknown .21  31 2.3  error (1) .44 41 3.8 timeout (timeout) 900    900 13000   timeout 900   2200 11000 timeout 900   4100 15000 timeout 900   4800 10000
busybox-1.22.0/cut_false-unreach-call_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) 35     87 470    error (6) 8.9  110 110   error (1) .48 41 4.1 error (1) .43 38 3.4 error 4.7 270 39 unknown 44   46 550 unknown 4.8   200 69    unknown .22  38 2.5  error (1) .41 40 3.9 error 42    6300 530   timeout 900   2600 11000 timeout 900   5600 13000 timeout 900   5900 10000
busybox-1.22.0/date_false-unreach-call_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (6) .50  46 3.9  error (6) 4.3  160 51   error (1) .47 41 4.3 error (1) .41 40 4.2 error 5.1 270 44 unknown 49   50 640 unknown 4.9   210 74    unknown .24  41 3.2  error (1) .42 40 4.5 error 130    13000 1400   error (7) 8.5 230 70 error (7) 8.9 230 72 error (7) 8.8 230 69
busybox-1.22.0/dirname_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .27  31 3.0  error (134) 730    12000 9400   error (1) .49 40 4.4 error (1) .46 40 3.9 error 3.9 290 33 unknown 890   980 5100 timeout 900     4400 10000    timeout 900     3800 9300    error (1) .44 41 4.3 timeout (timeout) 900    2300 10000   error (7) 7.7 230 68 error (7) 7.6 230 64 error (7) 7.7 230 65
busybox-1.22.0/du_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (5) 18     69 200    error (6) 69    260 710   error (1) .49 41 4.1 error (1) .44 40 3.8 error 5.1 300 46 unknown 45   47 570 unknown 4.8   210 78    unknown .23  38 2.7  error (1) .43 40 4.3 error 45    6100 500   timeout 900   13000 7200 timeout 900   5300 10000 timeout 900   5200 9400
busybox-1.22.0/echo_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) 1.1   38 12    error (42) 870    9900 4100   error (1) .48 40 4.1 error (1) .45 40 4.3 error 4.3 290 39 unknown 890   750 12000 unknown 7.0   330 99    unknown .22  32 2.1  error (1) .41 40 4.3 timeout (timeout) 900    1500 10000   timeout 900   2500 10000 timeout 900   3900 14000 timeout 900   4800 10000
busybox-1.22.0/expand_false-unreach-call_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) 120     130 850    error (6) 38    270 420   error (1) .50 41 4.8 error (1) .42 41 4.0 error 4.9 280 39 unknown 46   47 620 unknown 5.7   250 67    unknown .25  40 2.5  error (1) .44 40 4.0 error 180    11000 2300   timeout 900   3600 10000 timeout 900   5600 12000 timeout 900   5600 9800
busybox-1.22.0/fold_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) 14     62 170    error (6) 4.8  66 74   error (1) .48 41 3.9 error (1) .45 40 3.7 error 4.8 270 37 unknown 42   45 570 unknown 5.6   250 75    unknown .23  37 2.9  error (1) .41 40 3.7 error 79    4900 840   timeout 900   2500 7200 timeout 900   4800 11000 timeout 900   5000 13000
busybox-1.22.0/hostid_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .26  34 2.4  error (42) 870    6500 10000   error (1) .48 41 4.3 error (1) .43 40 4.0 error 3.9 290 30 unknown 890   1100 7900 timeout 900     1600 12000    timeout 900     1800 13000    error (1) .41 41 3.8 timeout (timeout) 900    2300 12000   timeout 900   1800 12000 timeout 900   1900 11000 timeout 900   2700 11000
busybox-1.22.0/logname_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .45  37 3.9  error (6) .78 44 8.2 error (1) .48 40 4.1 error (1) .47 40 4.3 error 4.4 290 35 unknown 900   920 10000 unknown 4.8   190 57    unknown .18  31 1.9  error (1) .43 40 3.7 timeout (timeout) 900    500 13000   timeout 900   2300 11000 timeout 900   2100 12000 timeout 900   3700 12000
busybox-1.22.0/ls-incomplete_false-unreach-call_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900     340 5500    error (1) 870    710 4000   error (1) .45 40 4.8 error (1) .47 41 4.1 error 5.6 290 45 unknown 58   59 670 unknown .20  50 2.3  unknown .24  50 2.3  error (1) .43 40 4.1 timeout (timeout) 900    320 10000   error (7) 9.5 240 73 error (7) 9.3 240 70 error (7) 9.6 240 75
busybox-1.22.0/mkdir_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) 6.5   45 70    error (1) 870    1200 3800   error (1) .47 41 4.2 error (1) .43 40 4.4 error 4.9 270 41 unknown 43   45 510 unknown 4.9   200 77    unknown .21  38 2.8  error (1) .44 40 4.0 error 30    4300 380   timeout 900   3200 6300 timeout 900   5100 13000 timeout 900   5600 12000
busybox-1.22.0/mkfifo-incomplete_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .44  35 3.5  error (6) .83 43 7.6 error (1) .46 40 4.2 error (1) .44 39 4.0 error 4.1 300 35 unknown 900   3000 11000 unknown 4.8   190 56    unknown .19  30 1.9  error (1) .43 40 4.2 timeout (timeout) 900    1400 11000   timeout 900   3200 9800 timeout 900   2200 11000 timeout 900   3700 11000
busybox-1.22.0/od_false-unreach-call_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900     630 11000    error (1) 870    800 4800   error (1) .45 40 4.6 error (1) .47 40 4.2 error 6.4 310 53 unknown 61   56 720 unknown 5.0   220 56    unknown .29  52 3.7  error (1) .42 40 4.1 out of memory 150    15000 1800   error (7) 6.1 310 52 error (7) 5.6 280 42 error (7) 5.9 300 49
busybox-1.22.0/printf_false-unreach-call_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (6) .56  45 5.2  error (6) 26    140 300   error (1) .50 43 4.2 error (1) .47 41 4.1 error 4.7 270 37 unknown 900   2600 9600 unknown 4.9   200 58    unknown .23  37 1.9  error (1) .42 40 4.0 error (1) .26 13 2.5 error (7) 290   2900 3000 timeout 900   5500 15000 timeout 900   5100 10000
busybox-1.22.0/readlink_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) 6.5   43 78    error (6) 1.6  50 18   error (1) .47 40 4.3 error (1) .48 41 3.9 error 4.5 270 40 unknown 40   43 470 unknown 4.8   200 74    unknown .24  36 2.1  error (1) .43 41 4.1 error 27    3900 360   timeout 900   2100 9100 timeout 900   3500 11000 timeout 900   4700 10000
busybox-1.22.0/realpath_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .48  37 5.1  error (6) .86 45 8.6 error (1) .46 40 4.1 error (1) .43 40 4.1 error 4.1 270 32 unknown 900   3900 11000 unknown 4.8   190 63    unknown .21  31 2.1  error (1) .44 40 3.7 timeout (timeout) 900    1500 9400   timeout 900   2000 10000 timeout 900   2100 13000 timeout 900   3600 8500
busybox-1.22.0/rm_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (5) 16     68 170    error (1) 870    340 11000   error (1) .49 40 4.1 error (1) .46 41 4.2 error 5.1 290 47 unknown 43   46 570 unknown 4.9   200 61    unknown .22  38 2.5  error (1) .46 41 4.3 error 40    5600 510   timeout 900   2400 9200 timeout 900   3700 14000 timeout 900   4800 11000
busybox-1.22.0/seq_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) 4.1   40 52    error (6) 1.5  57 18   error (1) .49 41 4.2 error (1) .46 41 4.0 error 4.4 280 36 unknown 39   43 480 unknown .13  35 1.2  unknown .13  35 1.3  error (1) .43 38 4.0 error (1) .24 13 2.5 error (7) 8.5 230 76 error (7) 8.6 240 79 error (7) 8.5 230 64
busybox-1.22.0/stty_false-unreach-call_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) 250     210 2300    error (6) 69    230 660   error (1) .48 41 4.2 error (1) .47 41 4.0 error (parsing failed) 2.5 180 24 unknown 900   2500 12000 unknown 5.7   250 71    unknown .32  52 3.6  error (1) .44 41 4.0 out of memory 51    15000 740   error (7) 9.3 310 79 error (7) 9.5 310 73 error (7) 9.9 300 75
busybox-1.22.0/sync_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .37  35 3.8  error (6) .66 42 8.4 error (1) .48 41 4.1 error (1) .49 40 3.9 error 3.9 270 33 unknown 890   1300 6300 unknown 4.8   190 71    unknown .19  30 1.8  error (1) .43 40 4.6 timeout (timeout) 900    360 12000   error (7) 360   2100 4300 timeout 900   2100 14000 timeout 900   3600 12000
busybox-1.22.0/tac_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) 13     58 140    error (6) 3.9  59 48   error (1) .46 41 4.1 error (1) .45 41 4.6 error 4.6 270 43 unknown 40   43 560 unknown 4.8   200 63    unknown .20  36 2.2  error (1) .42 40 3.5 error 27    3800 320   timeout 900   4700 10000 timeout 900   4700 13000 timeout 900   4900 12000
busybox-1.22.0/tee_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) 8.4   49 95    error (6) 2.0  53 24   error (1) .45 41 4.1 error (1) .45 40 4.1 error 4.5 270 34 unknown 40   43 480 unknown 4.8   200 64    unknown .20  36 2.2  error (1) .41 40 3.9 error 29    4000 410   timeout 900   13000 5800 timeout 900   5200 9200 timeout 900   5200 9000
busybox-1.22.0/test-incomplete_false-unreach-call_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (5) 98     130 880    error (1) 870    730 6700   error (1) .47 41 4.4 error (1) .44 40 4.2 error 4.9 290 46 unknown 890   1600 6200 unknown 5.6   310 70    unknown .24  37 2.4  error (1) .43 38 3.7 error 12    2300 140   error (7) 8.5 240 78 error (7) 8.7 240 77 error (7) 9.2 240 81
busybox-1.22.0/touch_false-unreach-call_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) 16     67 170    error (6) 4.0  150 51   error (1) .48 40 4.1 error (1) .46 40 4.1 error 4.9 270 36 unknown 46   47 690 unknown 4.9   210 55    unknown .23  39 2.9  error (1) .44 41 4.0 error 68    9300 800   timeout 900   3500 11000 timeout 900   5600 12000 timeout 900   5400 11000
busybox-1.22.0/uname_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) 4.1   41 37    error (6) 1.9  170 22   error (1) .49 43 4.5 error (1) .47 40 3.8 error 5.3 290 37 unknown 40   43 540 unknown 4.8   200 64    unknown .22  36 2.3  error (1) .43 41 4.2 error 23    3500 250   timeout 900   4800 9600 timeout 900   5500 12000 timeout 900   5900 11000
busybox-1.22.0/uniq_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) 13     57 150    error (6) 3.1  51 37   error (1) .47 41 3.8 error (1) .44 40 4.1 error 4.6 270 42 unknown 41   44 540 unknown 4.8   200 74    unknown .23  37 1.8  error (1) .45 41 4.0 error 35    5000 510   timeout 900   2500 8200 timeout 900   4100 12000 timeout 900   4800 9700
busybox-1.22.0/usleep_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .81  37 9.6  error (6) .76 44 6.5 error (1) .45 40 4.2 error (1) .46 40 3.7 error 4.2 270 36 unknown 890   1400 7100 unknown 5.2   230 65    unknown .17  31 2.1  error (1) .41 40 3.8 timeout (timeout) 900    930 13000   timeout 900   1800 12000 timeout 900   2500 14000 timeout 900   3500 12000
busybox-1.22.0/uudecode_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) 28     81 300    error (6) 8.4  110 110   error (1) .45 41 4.1 error (1) .43 40 3.8 error (parsing failed) 2.7 180 27 unknown 46   48 620 unknown 4.9   210 71    unknown .24  40 2.7  error (1) .43 42 4.1 error 74    10000 880   error (7) 8.9 240 70 error (7) 9.1 240 76 error (7) 8.9 240 74
busybox-1.22.0/wc_false-unreach-call_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (6) .38  41 3.4  error (1) 870    750 6600   error (1) .49 40 3.9 error (1) .44 40 4.1 error 5.1 290 36 unknown 41   44 520 unknown 5.6   250 77    unknown .22  37 2.8  error (1) .43 41 4.0 error 30    4400 340   timeout 900   1900 11000 timeout 900   4400 14000 timeout 900   5000 12000
busybox-1.22.0/who_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) 4.7   41 43    error (6) 1.6  52 21   error (1) .48 40 4.2 error (1) .47 40 4.1 error 4.8 290 45 unknown 40   44 480 unknown 4.8   200 74    unknown .23  36 2.1  error (1) .43 41 4.1 error 27    3900 370   error (7) 9.0 230 77 error (7) 8.6 240 67 error (7) 8.6 240 65
busybox-1.22.0/whoami-incomplete_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .47  37 3.9  error (42) 870    5500 9300   error (1) .47 41 3.9 error (1) .42 40 3.8 error 4.2 270 35 unknown 890   1200 6100 unknown 4.8   190 62    unknown .17  31 2.5  error (1) .43 39 3.8 timeout (timeout) 900    2400 10000   timeout 900   4900 10000 timeout 900   1900 12000 timeout 900   3900 11000
busybox-1.22.0/yes_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .44  37 4.3  error (6) .75 44 8.6 error (1) .48 40 4.4 error (1) .41 40 4.1 error 4.4 290 32 unknown 900   1200 10000 unknown 5.3   210 69    unknown .17  31 1.9  error (1) .43 40 3.6 timeout (timeout) 900    670 14000   timeout 900   2300 10000 timeout 900   2000 12000 timeout 900   3600 9800
busybox-1.22.0/chgrp-incomplete_false-no-overflow.i no-overflow error (134) .32  37 3.0  error (6) .76 44 7.3 error (1) .45 42 4.5 error (1) .47 40 4.2 timeout 900   1700 5700 unknown 900   2700 6500 unknown 3.5   150 39    unknown .14  31 1.7  error (1) .42 42 4.1 timeout (timeout) 900    330 14000   error 270   1600 2800 timeout 900   2500 12000 timeout 900   6400 12000
busybox-1.22.0/chroot-incomplete_false-no-overflow.i no-overflow error (134) .58  37 6.7  error (6) 1.0  44 9.8 error (1) .46 40 4.6 error (1) .46 40 3.9 unknown 38   520 430 unknown 900   930 8200 unknown 3.4   150 50    unknown .15  31 2.0  error (1) .41 39 4.0 timeout (timeout) 900    210 11000   error 380   1700 3800 error (7) 310   3300 3900 timeout 900   6000 13000
busybox-1.22.0/cut_false-no-overflow.i no-overflow error (134) 13     51 120    error (6) 7.2  93 93   error (1) .46 40 4.1 error (1) .47 40 4.5 timeout 900   6100 12000 unknown 48   500 660 unknown 3.5   160 52    unknown .18  38 2.5  error (1) .43 40 3.7 error .47 23 6.7 timeout 900   2200 7100 timeout 900   5200 11000 timeout 900   5900 12000
busybox-1.22.0/date_false-no-overflow.i no-overflow error (6) .43  46 3.1  error (6) 3.5  150 39   error (1) .50 41 4.6 error (1) .43 40 4.1 timeout 900   3300 10000 unknown 51   500 660 unknown 3.5   170 57    unknown .21  40 3.0  error (1) .42 41 3.6 error .60 33 7.3 error (7) 4.3 230 34 error (7) 4.3 240 34 error (7) 4.5 240 35
busybox-1.22.0/du_false-no-overflow.i no-overflow error (5) 6.8   44 58    error (6) 55    240 530   error (1) .45 40 4.4 error (1) .46 40 4.3 timeout 900   3400 9900 unknown 46   500 700 unknown 3.5   160 47    unknown .22  38 2.0  error (1) .42 40 4.0 error .47 24 6.4 timeout 900   12000 7400 timeout 900   4200 9800 timeout 900   5600 8600
busybox-1.22.0/echo_false-no-overflow.i no-overflow error (134) .50  38 5.0  error (42) 870    4600 4300   error (1) .47 41 4.0 error (1) .47 40 4.1 timeout 900   1100 11000 unknown 890   700 9400 unknown 4.7   240 57    unknown .16  32 1.9  error (1) .44 41 3.9 timeout (timeout) 900    330 12000   timeout 900   3000 7600 timeout 900   5200 13000 timeout 900   6400 12000
busybox-1.22.0/expand_false-no-overflow.i no-overflow error (134) 31     72 300    error (6) 30    250 320   error (1) .50 43 4.6 error (1) .44 40 4.2 timeout 900   5900 9200 unknown 60   940 730 unknown 4.0   190 59    unknown .23  39 2.2  error (1) .45 40 4.0 error .58 30 6.4 timeout 900   2700 6000 timeout 900   5400 13000 timeout 900   5700 12000
busybox-1.22.0/fold_false-no-overflow.i no-overflow error (134) 5.6   42 48    error (6) 3.9  58 46   error (1) .46 41 4.5 error (1) .42 40 4.2 timeout 900   1100 9800 unknown 46   550 630 unknown 4.0   180 51    unknown .22  37 2.7  error (1) .45 40 3.8 error .43 19 5.3 timeout 900   1900 8000 timeout 900   5100 12000 timeout 900   4700 12000
busybox-1.22.0/head_false-no-overflow.i no-overflow error (6) .39  40 3.2  error (6) 4.3  61 54   error (1) .47 40 4.2 error (1) .46 40 4.6 timeout 900   1300 6800 unknown 900   2400 10000 unknown 3.6   170 47    unknown .19  34 2.1  error (1) .41 40 3.9 error .35 16 5.3 timeout 900   5500 8700 timeout 900   4900 11000 timeout 900   6300 14000
busybox-1.22.0/logname_false-no-overflow.i no-overflow error (134) .32  37 3.2  error (6) .67 44 6.7 error (1) .47 42 4.6 error (1) .46 40 4.2 timeout 900   1300 5500 unknown 900   1000 13000 unknown 3.5   150 45    unknown .14  31 1.6  error (1) .42 40 3.8 timeout (timeout) 900    130 13000   error 76   1100 800 error 47   1000 430 timeout 900   6500 11000
busybox-1.22.0/ls-incomplete_false-no-overflow.i no-overflow error (5) 230     190 2100    error (1) 870    710 3400   error (1) .49 40 4.1 error (1) .46 40 3.9 timeout 900   3100 11000 unknown 58   59 710 unknown .20  50 2.2  unknown .23  50 2.7  error (1) .48 40 4.1 error .98 64 11   error (7) 4.5 230 32 error (7) 4.5 230 40 error (7) 4.6 230 34
busybox-1.22.0/mkdir_false-no-overflow.i no-overflow error (134) 2.6   43 23    error (1) 870    2200 2500   error (1) .43 40 4.3 error (1) .43 40 3.7 timeout 900   6200 10000 unknown 47   500 560 unknown 3.5   160 42    unknown .19  38 2.0  error (1) .41 40 4.0 error .44 19 4.6 timeout 900   1900 6700 timeout 900   5000 11000 timeout 900   5800 13000
busybox-1.22.0/mkfifo-incomplete_false-no-overflow.i no-overflow error (134) .30  36 2.8  error (6) .74 43 7.6 error (1) .49 45 4.6 error (1) .41 40 4.5 false(no-overflow) 110   780 1100 unknown 900   1200 9600 unknown 3.5   150 45    unknown .18  30 1.5  error (1) .43 42 4.0 timeout (timeout) 900    220 13000   error 130   1200 1600 error (7) 69   1500 690 timeout 900   6500 12000
busybox-1.22.0/od_false-no-overflow.i no-overflow error (134) 750     320 7200    error (1) 870    890 7700   error (1) .49 41 4.6 error (1) .47 40 4.1 timeout 900   6300 11000 unknown 63   1700 750 unknown 3.6   180 46    unknown .31  52 2.8  error (1) .42 40 3.8 error .91 65 10   error (7) 6.9 320 52 error (7) 5.7 290 41 error (7) 5.6 290 47
busybox-1.22.0/printf_false-no-overflow.i no-overflow error (6) .54  42 4.4  error (6) 20    130 260   error (1) .47 41 4.2 error (1) .46 40 4.6 false(no-overflow) 490   910 3100 unknown 900   2000 12000 unknown 3.5   150 44    unknown .21  37 1.9  error (1) .44 41 3.9 error (1) .27 13 2.9 error 230   2000 1800 timeout 900   4800 13000 timeout 900   6100 12000
busybox-1.22.0/readlink_false-no-overflow.i no-overflow error (134) 2.8   40 23    error (6) 1.4  49 16   error (1) .51 43 4.4 error (1) .45 39 4.1 timeout 900   6300 11000 unknown 39   43 470 unknown 3.5   160 45    unknown .18  36 2.0  error (1) .43 40 3.8 error .37 17 4.4 timeout 900   1800 8400 timeout 900   5000 11000 timeout 900   6000 14000
busybox-1.22.0/realpath_false-no-overflow.i no-overflow error (134) .36  37 3.1  error (6) .78 44 7.5 error (1) .48 41 4.4 error (1) .44 40 3.9 timeout 900   1500 6000 unknown 900   1200 13000 unknown 3.5   150 50    unknown .18  31 1.6  error (1) .42 40 3.8 timeout (timeout) 900    400 14000   error 160   1500 1600 error (7) 110   2300 1200 timeout 900   6500 12000
busybox-1.22.0/rm_false-no-overflow.i no-overflow error (5) 6.4   44 60    error (1) 870    400 11000   error (1) .47 40 4.0 error (1) .45 40 4.0 timeout 900   6200 11000 unknown 44   500 520 unknown 3.5   160 49    unknown .21  38 2.0  error (1) .44 40 3.7 error .46 21 5.5 timeout 900   1300 8900 timeout 900   6100 11000 timeout 900   6100 11000
busybox-1.22.0/seq_false-no-overflow.i no-overflow error (134) 1.6   40 15    error (6) 1.3  57 13   error (1) .49 41 4.9 error (1) .44 40 3.6 timeout 900   6400 9900 unknown 42   500 630 unknown .13  35 1.4  unknown .15  35 1.4  error (1) .43 41 3.9 error (1) .25 13 2.8 error (7) 4.4 240 39 error (7) 4.5 240 38 error (7) 4.3 230 34
busybox-1.22.0/sleep_false-no-overflow.i no-overflow error (134) .91  39 12    error (6) 1.5  49 15   error (1) .46 41 4.4 error (1) .43 40 4.2 unknown 6.5 320 56 unknown 900   1000 9100 unknown 4.0   170 51    unknown .20  32 1.9  error (1) .45 40 3.9 error (1) .24 12 3.0 error 570   2200 5800 error (7) 280   3600 3600 timeout 900   5100 12000
busybox-1.22.0/stty_false-no-overflow.i no-overflow error (134) 73     120 670    error (6) 53    210 670   error (1) .50 41 4.3 error (1) .43 40 3.8 error (parsing failed) 2.5 180 22 unknown 900   2000 10000 unknown 4.2   200 54    unknown .27  51 3.7  error (1) .42 40 4.2 timeout (timeout) 900    370 13000   error (7) 4.6 290 37 error (7) 4.4 290 36 error (7) 5.0 300 42
busybox-1.22.0/sync_false-no-overflow.i no-overflow error (134) .27  35 3.3  error (6) .65 42 6.9 error (1) .49 40 4.4 error (1) .44 40 3.9 unknown 46   580 490 unknown 890   1300 5700 unknown 3.4   140 45    unknown .17  30 1.5  error (1) .42 40 4.2 timeout (timeout) 900    150 15000   error 200   1400 2400 error (7) 110   1800 1400 timeout 910   6300 10000
busybox-1.22.0/tac_false-no-overflow.i no-overflow error (134) 5.4   41 51    error (6) 3.2  52 37   error (1) .50 41 4.4 error (1) .44 41 4.7 timeout 900   6200 8400 unknown 42   500 560 unknown 3.5   160 46    unknown .19  36 2.1  error (1) .43 40 4.7 error .39 16 4.0 timeout 900   3600 7700 timeout 900   5000 12000 timeout 900   5800 12000
busybox-1.22.0/tee_false-no-overflow.i no-overflow error (6) .35  41 3.3  error (6) 1.7  52 19   error (1) .46 41 4.4 error (1) .42 38 3.7 timeout 900   3300 11000 unknown 43   500 620 unknown 3.5   160 50    unknown .21  36 2.3  error (1) .43 42 4.0 error .38 16 5.3 timeout 900   12000 7000 timeout 900   4500 11000 timeout 900   5300 7900
busybox-1.22.0/test-incomplete_false-no-overflow.i no-overflow error (5) 32     74 280    error (1) 870    760 7100   error (1) .48 42 4.5 error (1) .46 40 3.8 timeout 900   4300 11000 unknown 890   1600 8000 unknown 3.8   180 48    unknown .18  37 2.1  error (1) .41 40 3.5 error .41 18 5.0 error (7) 4.5 230 33 error (7) 4.4 240 38 error (7) 4.5 240 33
busybox-1.22.0/touch_false-no-overflow.i no-overflow error (134) 5.7   45 49    error (6) 3.2  140 38   error (1) .46 40 3.5 error (1) .45 40 3.7 timeout 900   6200 9900 unknown 47   500 630 unknown 3.5   160 44    unknown .23  39 2.4  error (1) .44 40 4.2 error .52 26 5.6 timeout 900   2400 5900 timeout 900   5300 13000 timeout 900   6200 13000
busybox-1.22.0/uname_false-no-overflow.i no-overflow error (134) 1.6   41 14    error (6) 1.6  160 18   error (1) .46 40 4.1 error (1) .45 40 4.3 timeout 900   6000 11000 unknown 43   510 610 unknown 3.5   160 46    unknown .18  36 2.1  error (1) .43 40 3.9 error .57 78 5.8 timeout 900   3100 7100 timeout 900   5400 10000 timeout 900   5900 11000
busybox-1.22.0/uniq_false-no-overflow.i no-overflow error (134) 5.5   41 43    error (6) 2.6  50 29   error (1) .46 40 3.8 error (1) .43 40 4.2 timeout 900   6300 12000 unknown 44   510 550 unknown 3.5   160 49    unknown .21  37 2.3  error (1) .42 40 3.7 error .41 19 5.6 timeout 900   1300 8600 timeout 900   5000 13000 timeout 900   6100 12000
busybox-1.22.0/usleep_false-no-overflow.i no-overflow error (134) .47  37 4.1  error (6) .70 45 6.5 error (1) .47 40 4.3 error (1) .46 42 4.0 timeout 900   1200 5800 unknown 890   1400 5800 unknown 3.9   180 48    unknown .18  31 1.5  error (1) .41 41 4.0 timeout (timeout) 900    97 12000   error 200   3000 2300 error (7) 200   2900 2500 timeout 900   4800 10000
busybox-1.22.0/uudecode_false-no-overflow.i no-overflow error (134) 11     48 94    error (6) 6.9  98 73   error (1) .48 41 4.1 error (1) .46 40 4.3 error (parsing failed) 2.6 190 22 unknown 50   500 710 unknown 3.5   160 51    unknown .22  40 2.5  error (1) .41 40 3.5 error .51 23 5.8 error (7) 4.5 230 34 error (7) 4.7 240 42 error (7) 4.5 240 35
busybox-1.22.0/wc_false-no-overflow.i no-overflow error (6) .35  42 3.2  error (1) 870    780 5000   error (1) .48 41 4.6 error (1) .45 40 4.6 timeout 900   5800 9600 unknown 45   510 550 unknown 4.0   180 48    unknown .23  37 2.1  error (1) .45 40 3.9 error .42 18 4.7 timeout 900   1800 8200 timeout 900   4900 13000 timeout 900   5500 11000
busybox-1.22.0/who_false-no-overflow.i no-overflow error (134) 1.7   42 14    error (6) 1.3  50 16   error (1) .50 45 4.3 error (1) .44 40 4.4 timeout 900   6300 9400 unknown 40   44 510 unknown 3.5   160 42    unknown .20  36 1.9  error (1) .44 40 3.9 error .40 19 5.1 error (7) 4.5 230 37 error (7) 4.4 230 35 error (7) 4.3 230 34
busybox-1.22.0/whoami-incomplete_false-no-overflow.i no-overflow - - - - - - - - error (1) .40 40 3.5 - - - -
busybox-1.22.0/yes_false-no-overflow.i no-overflow error (134) .33  37 3.0  error (6) .70 44 6.4 error (1) .49 43 4.8 error (1) .51 40 3.8 timeout 900   1300 7900 unknown 900   1200 9900 unknown 3.9   160 49    unknown .16  31 1.9  error (1) .44 39 3.8 timeout (timeout) 900    140 12000   error 190   1500 1900 error (7) 53   1100 490 timeout 900   6700 11000
busybox-1.22.0/basename_false-unreach-call_true-no-overflow_true-valid-memsafety.i no-overflow error (134) .24  32 2.0  error (42) 870    6800 4700   error (1) .47 41 4.6 error (1) .41 40 4.2 timeout 900   3400 11000 unknown 890   1300 5800 timeout 900     960 8800    timeout 900     1100 9000    error (1) .44 40 4.0 timeout (timeout) 900    130 11000   error (7) 3.9 220 33 error (7) 4.2 230 36 error (7) 4.0 230 33
busybox-1.22.0/chgrp-incomplete_true-no-overflow_false-valid-memtrack.i no-overflow error (134) .29  37 3.5  error (6) .75 44 7.3 error (1) .49 40 4.0 error (1) .44 40 4.1 out of memory 250   15000 2000 unknown 900   2700 7600 unknown 3.5   150 50    unknown .17  31 1.8  error (1) .41 37 3.5 timeout (timeout) 900    320 12000   error 380   1500 4000 timeout 900   2500 10000 timeout 900   6400 11000
busybox-1.22.0/chroot-incomplete_true-no-overflow_true-valid-memsafety.i no-overflow error (134) .59  37 6.1  error (6) 1.0  44 11   error (1) .46 40 4.7 error (1) .44 41 3.9 unknown 33   520 340 unknown 900   930 12000 unknown 3.5   150 49    unknown .15  31 1.7  error (1) .42 40 3.9 timeout (timeout) 900    210 13000   error 340   1800 2900 timeout 900   4700 10000 timeout 900   6000 14000
busybox-1.22.0/cut_false-unreach-call_true-no-overflow_true-valid-memsafety.i no-overflow error (134) 14     51 110    error (6) 7.2  93 75   error (1) .46 41 3.9 error (1) .45 40 4.1 timeout 900   6100 11000 unknown 48   500 650 unknown 3.5   160 57    unknown .22  38 2.2  error (1) .43 41 3.8 error .48 23 5.4 timeout 900   2000 6800 timeout 900   5200 13000 timeout 900   5900 11000
busybox-1.22.0/date_false-unreach-call_true-no-overflow_true-valid-memsafety.i no-overflow error (6) .45  46 3.4  error (6) 3.5  160 40   error (1) .47 41 4.4 error (1) .44 40 4.1 timeout 900   3300 10000 unknown 49   49 630 unknown 3.5   170 44    unknown .22  41 2.4  error (1) .44 40 3.8 error .62 33 7.9 error (7) 4.5 230 35 error (7) 4.2 230 37 error (7) 4.2 240 37
busybox-1.22.0/dirname_true-no-overflow_true-valid-memsafety.i no-overflow error (134) .24  31 1.7  error (134) 550    12000 6400   error (1) .46 40 3.8 error (1) .44 40 4.4 timeout 900   5200 9500 unknown 890   960 7500 timeout 900     9900 11000    timeout 900     9300 11000    error (1) .45 41 4.2 timeout (timeout) 900    790 11000   error (7) 4.1 230 32 error (7) 3.9 230 36 error (7) 3.9 230 34
busybox-1.22.0/du_true-no-overflow_true-valid-memsafety.i no-overflow error (5) 6.8   44 57    error (6) 52    240 550   error (1) .47 40 4.3 error (1) .47 40 4.1 timeout 900   3300 11000 unknown 47   510 540 unknown 3.5   160 45    unknown .22  39 2.3  error (1) .44 40 4.2 error .49 24 6.5 timeout 900   10000 5600 timeout 900   4300 9800 timeout 900   5500 9900
busybox-1.22.0/echo_true-no-overflow_true-valid-memsafety.i no-overflow error (134) .48  38 5.0  error (42) 870    4600 3900   error (1) .46 40 4.5 error (1) .53 40 4.3 timeout 900   1000 9600 unknown 890   700 11000 unknown 4.7   240 66    unknown .20  32 1.9  error (1) .44 40 4.2 timeout (timeout) 900    320 11000   timeout 900   2900 8400 timeout 900   5300 11000 timeout 900   6500 11000
busybox-1.22.0/expand_false-unreach-call_true-no-overflow_true-valid-memsafety.i no-overflow error (134) 30     71 260    error (6) 32    250 290   error (1) .48 45 4.5 error (1) .45 40 4.7 timeout 900   5900 11000 unknown 61   940 750 unknown 4.1   190 41    unknown .24  40 2.5  error (1) .42 40 4.2 error .59 30 7.9 timeout 900   2700 7700 timeout 900   5100 13000 timeout 900   5600 12000
busybox-1.22.0/fold_true-no-overflow_true-valid-memsafety.i no-overflow error (134) 5.4   42 41    error (6) 4.0  56 48   error (1) .47 40 4.0 error (1) .46 41 4.2 timeout 900   930 10000 unknown 46   550 550 unknown 4.0   180 50    unknown .20  37 2.3  error (1) .41 39 3.7 error .41 19 4.4 timeout 900   2200 6800 timeout 900   5000 12000 timeout 910   4700 12000
busybox-1.22.0/head_true-no-overflow_true-valid-deref.i no-overflow error (6) .42  40 2.6  error (6) 4.3  61 49   error (1) .46 40 3.8 error (1) .44 40 4.1 unknown 150   880 1200 unknown 900   2400 11000 unknown 3.7   170 47    unknown .21  34 2.1  error (1) .44 40 4.5 error .38 16 4.9 error 230   4100 2200 timeout 900   5000 12000 timeout 900   6600 11000
busybox-1.22.0/hostid_true-no-overflow_true-valid-memsafety.i no-overflow error (134) .26  34 1.9  error (134) 560    12000 7400   error (1) .50 44 4.5 error (1) .44 40 4.0 out of memory 530   15000 5900 unknown 900   1100 5300 timeout 900     12000 11000    timeout 900     12000 10000    error (1) .42 40 4.2 timeout (timeout) 900    980 13000   true 9.6 480 74 true 18   700 150 true 9.7 450 81
busybox-1.22.0/logname_true-no-overflow_true-valid-memsafety.i no-overflow error (134) .34  36 2.6  error (6) .68 44 6.3 error (1) .48 41 4.6 error (1) .46 40 4.2 out of memory 290   15000 2000 unknown 900   1000 9900 unknown 3.5   150 43    unknown .18  31 1.7  error (1) .44 38 3.9 timeout (timeout) 900    140 14000   error 130   1000 1500 error (7) 65   1200 640 timeout 900   6500 12000
busybox-1.22.0/ls-incomplete_false-unreach-call_true-no-overflow_true-valid-memsafety.i no-overflow error (5) 230     190 2000    error (1) 870    700 4200   error (1) .47 42 4.2 error (1) .44 41 4.4 timeout 900   3100 9100 unknown 58   59 680 unknown .22  50 2.3  unknown .23  50 2.1  error (1) .45 41 4.4 error .97 63 14   error (7) 4.8 230 38 error (7) 4.9 250 39 error (7) 4.4 230 34
busybox-1.22.0/mkdir_true-no-overflow_true-valid-memsafety.i no-overflow error (134) 2.6   43 20    error (1) 870    2400 4500   error (1) .42 40 4.5 error (1) .47 40 4.2 timeout 900   6400 11000 unknown 47   510 670 unknown 3.5   160 47    unknown .19  38 2.5  error (1) .44 40 4.0 error .41 18 5.7 timeout 900   2100 6700 timeout 900   5100 12000 timeout 900   5900 12000
busybox-1.22.0/mkfifo-incomplete_true-no-overflow_true-valid-memsafety.i no-overflow error (134) .30  36 2.4  error (6) .73 43 8.4 error (1) .45 40 4.6 error (1) .47 41 4.0 timeout 900   1300 5800 unknown 900   1200 13000 unknown 3.5   150 46    unknown .17  30 1.8  error (1) .42 40 4.1 timeout (timeout) 900    230 12000   error 160   1100 1600 error (7) 81   1700 830 timeout 910   6600 12000
busybox-1.22.0/od_false-unreach-call_true-no-overflow_true-valid-memsafety.i no-overflow error (134) 760     320 7400    error (1) 870    830 4300   error (1) .48 40 4.0 error (1) .48 40 4.1 timeout 900   6300 10000 unknown 64   1700 760 unknown 3.6   180 47    unknown .31  52 3.1  error (1) .45 41 3.6 error .89 65 12   error (7) 6.2 320 52 error (7) 5.9 300 51 error (7) 5.9 300 46
busybox-1.22.0/printf_false-unreach-call_true-no-overflow_true-valid-memsafety.i no-overflow error (6) .55  43 4.1  error (6) 20    130 220   error (1) .50 43 4.5 error (1) .47 40 4.3 unknown 260   850 2200 unknown 900   2000 9500 unknown 3.5   150 46    unknown .19  37 2.3  error (1) .43 40 4.0 error (1) .28 13 2.8 error 330   1900 2400 timeout 900   4800 12000 timeout 900   6200 12000
busybox-1.22.0/readlink_true-no-overflow_true-valid-memsafety.i no-overflow error (134) 2.5   41 26    error (6) 1.4  49 15   error (1) .48 42 4.1 error (1) .46 41 4.1 timeout 900   6200 13000 unknown 40   45 500 unknown 3.5   160 53    unknown .18  36 2.5  error (1) .42 40 4.3 error .40 17 4.2 timeout 900   2400 11000 timeout 900   5000 12000 timeout 900   6000 13000
busybox-1.22.0/realpath_true-no-overflow_true-valid-memsafety.i no-overflow error (134) .33  37 3.5  error (6) .77 44 7.7 error (1) .47 41 4.2 error (1) .43 40 4.7 timeout 900   1500 6800 unknown 900   1200 12000 unknown 3.5   150 51    unknown .15  31 1.8  error (1) .45 39 3.9 timeout (timeout) 900    400 13000   error 190   1300 2100 error (7) 120   3500 1300 timeout 900   6500 14000
busybox-1.22.0/rm_true-no-overflow_true-valid-memsafety.i no-overflow error (5) 6.0   43 55    error (1) 870    400 10000   error (1) .49 43 4.6 error (1) .46 40 4.1 timeout 900   6400 11000 unknown 45   510 540 unknown 3.5   160 41    unknown .19  38 2.1  error (1) .45 40 4.3 error .46 21 5.2 timeout 900   2000 10000 timeout 900   5200 11000 timeout 900   6100 13000
busybox-1.22.0/seq_true-no-overflow_true-valid-memsafety.i no-overflow error (134) 1.6   40 14    error (6) 1.3  57 14   error (1) .48 41 4.4 error (1) .44 40 4.3 timeout 900   6300 12000 unknown 42   500 490 unknown .13  35 1.5  unknown .12  35 1.4  error (1) .42 40 3.7 error (1) .23 13 2.9 error (7) 4.5 240 34 error (7) 4.4 230 35 error (7) 4.4 240 32
busybox-1.22.0/sleep_true-no-overflow_true-valid-deref.i no-overflow error (134) .97  38 8.1  error (6) 1.4  47 16   error (1) .45 42 3.8 error (1) .43 40 4.1 unknown 6.5 340 65 unknown 900   1500 11000 unknown 4.0   170 57    unknown .16  32 2.0  error (1) .44 41 4.1 error (1) .23 12 3.0 error 630   3900 6400 error (7) 280   3900 3900 timeout 900   5100 12000
busybox-1.22.0/stty_false-unreach-call_true-no-overflow_true-valid-memsafety.i no-overflow error (134) 70     120 600    error (6) 54    210 470   error (1) .48 40 4.3 error (1) .41 40 3.4 error (parsing failed) 2.8 200 27 unknown 900   2000 9300 unknown 4.2   200 59    unknown .32  52 3.2  error (1) .44 42 4.1 timeout (timeout) 900    210 14000   error (7) 4.7 290 44 error (7) 5.0 290 39 error (7) 4.9 280 37
busybox-1.22.0/sync_true-no-overflow_true-valid-memsafety.i no-overflow error (134) .30  35 2.6  error (6) .66 42 6.4 error (1) .49 41 4.3 error (1) .41 40 4.1 unknown 40   700 530 unknown 890   1300 5700 unknown 3.4   140 45    unknown .14  30 1.7  error (1) .44 40 3.8 timeout (timeout) 900    150 12000   error 170   1400 1700 error (7) 100   1700 1200 timeout 900   6400 11000
busybox-1.22.0/tac_true-no-overflow_true-valid-memsafety.i no-overflow error (134) 5.4   41 45    error (6) 3.2  51 40   error (1) .49 43 4.3 error (1) .47 41 4.4 timeout 900   6300 10000 unknown 43   510 490 unknown 3.5   160 45    unknown .18  36 2.1  error (1) .43 40 4.0 error .36 16 4.1 timeout 900   3100 7600 timeout 900   5000 12000 timeout 900   6000 13000
busybox-1.22.0/tee_true-no-overflow_true-valid-memsafety.i no-overflow error (6) .36  41 2.8  error (6) 1.7  53 16   error (1) .47 41 4.6 error (1) .43 40 4.2 timeout 900   3300 13000 unknown 43   510 550 unknown 3.5   160 45    unknown .20  36 2.2  error (1) .40 40 3.6 error .36 16 4.7 timeout 900   9900 6100 timeout 900   4500 9800 timeout 900   5600 9200
busybox-1.22.0/test-incomplete_false-unreach-call_true-no-overflow_true-valid-memsafety.i no-overflow error (5) 29     73 330    error (1) 870    760 6400   error (1) .46 41 4.1 error (1) .43 40 4.0 timeout 900   4600 10000 unknown 890   1600 8300 unknown 3.8   180 49    unknown .21  37 2.5  error (1) .43 39 4.0 error .38 18 5.1 error (7) 4.1 230 36 error (7) 4.4 240 38 error (7) 4.3 230 34
busybox-1.22.0/touch_false-unreach-call_true-no-overflow_true-valid-memsafety.i no-overflow error (134) 5.7   45 54    error (6) 3.2  140 37   error (1) .48 40 4.4 error (1) .46 40 3.7 timeout 900   6200 12000 unknown 48   510 650 unknown 3.5   170 44    unknown .20  39 2.9  error (1) .47 40 4.3 error .55 26 5.6 timeout 900   2200 6800 timeout 900   5300 11000 timeout 900   6000 12000
busybox-1.22.0/uname_true-no-overflow_true-valid-memsafety.i no-overflow error (134) 1.6   41 13    error (6) 1.6  160 17   error (1) .50 41 4.4 error (1) .46 40 3.8 timeout 900   6000 12000 unknown 43   500 470 unknown 3.5   160 45    unknown .17  35 2.0  error (1) .43 41 3.8 error .58 77 6.7 timeout 900   3100 6700 timeout 900   5300 11000 timeout 900   5900 13000
busybox-1.22.0/uniq_true-no-overflow_true-valid-memsafety.i no-overflow error (134) 5.0   42 47    error (6) 2.6  50 30   error (1) .47 42 4.1 error (1) .45 40 3.7 timeout 900   6200 11000 unknown 44   500 650 unknown 3.5   160 46    unknown .21  37 2.4  error (1) .42 40 3.8 error .41 18 4.5 timeout 900   1400 9000 timeout 900   5000 11000 timeout 900   6100 11000
busybox-1.22.0/usleep_true-no-overflow_true-valid-memsafety.i no-overflow error (134) .46  37 4.1  error (6) .74 44 7.1 error (1) .49 40 3.8 error (1) .44 40 4.3 unknown 210   880 1500 unknown 890   1400 8500 unknown 3.9   180 57    unknown .17  31 1.6  error (1) .46 39 4.3 timeout (timeout) 900    98 13000   error 210   2700 2200 error (7) 190   2900 2500 timeout 900   4800 11000
busybox-1.22.0/uudecode_true-no-overflow_true-valid-memsafety.i no-overflow error (134) 11     49 93    error (6) 6.7  98 77   error (1) .46 40 3.8 error (1) .42 40 3.7 error (parsing failed) 2.4 170 21 unknown 51   500 700 unknown 3.5   160 42    unknown .21  40 2.4  error (1) .44 40 3.8 error .53 22 5.4 error (7) 4.4 230 38 error (7) 4.3 240 38 error (7) 4.5 240 36
busybox-1.22.0/wc_false-unreach-call_true-no-overflow_true-valid-memsafety.i no-overflow error (6) .34  42 3.1  error (1) 870    800 4800   error (1) .49 40 4.4 error (1) .40 40 4.2 timeout 900   5800 11000 unknown 45   500 650 unknown 4.0   180 49    unknown .22  37 2.0  error (1) .43 39 4.3 error .41 18 5.6 timeout 900   2100 8900 timeout 900   5000 12000 timeout 900   5400 12000
busybox-1.22.0/who_true-no-overflow_true-valid-memsafety.i no-overflow error (134) 1.6   41 15    error (6) 1.3  51 17   error (1) .50 43 4.4 error (1) .45 40 4.1 timeout 900   6200 12000 unknown 40   44 560 unknown 3.5   160 41    unknown .20  36 1.9  error (1) .43 40 4.0 error .43 19 5.1 error (7) 4.4 230 33 error (7) 4.5 240 36 error (7) 4.1 230 31
busybox-1.22.0/whoami-incomplete_true-no-overflow_true-valid-memsafety.i no-overflow error (134) .32  37 3.0  error (134) 660    12000 6800   error (1) .46 40 4.0 error (1) .45 40 4.3 timeout 900   2200 12000 unknown 890   1200 8500 unknown 3.5   150 47    unknown .17  31 1.9  error (1) .43 40 4.1 timeout (timeout) 900    940 11000   true 13   610 100 true 29   860 290 true 13   570 110
busybox-1.22.0/yes_true-no-overflow_true-valid-memsafety.i no-overflow error (134) .34  36 3.0  error (6) .74 45 6.6 error (1) .48 40 4.2 error (1) .48 41 4.1 timeout 900   1200 6900 unknown 900   1200 12000 unknown 3.9   160 50    unknown .15  31 1.8  error (1) .43 40 3.9 timeout (timeout) 900    130 12000   error 170   1600 2000 error (7) 57   1100 550 timeout 900   6600 12000
ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko_false-unreach-call.cil.out.i.pp.i unreach-call error (6) 1.7   270 12    false(unreach-call) 4.2  250 39   false(unreach-call) 36    1100 290   false(unreach-call) 21    600 190   false(unreach-call) 20   860 140 out of memory 180   15000 2300 false(unreach-call) 14     4700 150    false(unreach-call) 14     4800 160    false(unreach-call) 27    880 200   timeout (timeout) 900    150 14000   error (7) 7.7 480 61 error (7) 8.2 490 57 error (7) 7.7 480 57
ldv-linux-3.0/module_get_put-drivers-block-loop.ko_false-unreach-call.cil.out.i.pp.i unreach-call error (6) 2.2   250 25    error (134) 370    13000 2500   false(unreach-call) 24    770 200   false(unreach-call) 15    660 130   false(unreach-call) 29   680 260 unknown 570   450 7100 unknown .39  120 4.6  unknown .40  120 5.2  false(unreach-call) 120    3700 1200   timeout (timeout) 900    520 12000   timeout 900   3300 6700 timeout 900   4900 10000 timeout 900   5300 11000
ldv-linux-3.0/module_get_put-drivers-block-pktcdvd.ko_false-unreach-call.cil.out.i.pp.i unreach-call error (6) 2.0   250 21    witness invalid (false(unreach-call)) 72    1600 960   error 15    540 110   unknown 13    510 92   timeout 900   8300 7600 unknown 600   1000 8000 unknown .74  210 11    unknown .69  210 7.3  timeout 900    2600 12000   timeout (timeout) 900    180 14000   timeout 900   5300 8400 timeout 900   5400 11000 timeout 900   6100 8300
ldv-linux-3.0/module_get_put-drivers-isdn-gigaset-gigaset.ko_false-unreach-call.cil.out.i.pp.i unreach-call error (6) .87  100 6.1  false(unreach-call) 70    2300 460   timeout 900    7500 9100   true 55    1400 430   timeout 900   5400 9700 unknown 280   450 3600 false(unreach-call) 25     1600 270    false(unreach-call) 8.8   660 94    false(unreach-call) 200    3900 2600   timeout (timeout) 900    420 13000   error (7) 640   2100 5300 timeout 900   4800 10000 timeout 900   4800 7200
ldv-linux-3.0/module_get_put-drivers-isdn-mISDN-mISDN_core.ko_false-unreach-call.cil.out.i.pp.i unreach-call out of memory 90     15000 770    error (1) 880    6200 7200   timeout 900    9700 7600   false(unreach-call) 24    760 200   false(unreach-call) 30   690 260 unknown 10   350 130 false(unreach-call) 33     2800 320    false(unreach-call) 8.6   700 110    false(unreach-call) 110    3500 1200   false(unreach-call) 560    120 7000   unknown 6.2 340 53 unknown 5.8 350 44 unknown 5.4 350 41
ldv-linux-3.0/module_get_put-drivers-net-ppp_generic.ko_false-unreach-call.cil.out.i.pp.i unreach-call error (6) 2.4   120 18    error (1) 870    3500 4300   false(unreach-call) 17    550 130   false(unreach-call) 13    490 110   false(unreach-call) 130   1400 1400 unknown 620   1900 7500 out of memory 150     15000 1300    out of memory 69     15000 880    false(unreach-call) 20    590 150   timeout (timeout) 900    440 10000   unknown 600   1500 7800 timeout 900   4800 10000 false(unreach-call) 160   1400 1300
ldv-linux-3.0/module_get_put-drivers-net-wan-farsync.ko_false-unreach-call.cil.out.i.pp.i unreach-call error (6) .62  55 4.6  error (134) 1.5  75 15   error 60    1900 520   false(unreach-call) 12    480 100   timeout 900   8400 7400 unknown 120   700 1300 timeout 900     6800 10000    timeout 900     5900 7600    false(unreach-call) 340    4700 3700   timeout (timeout) 900    120 14000   timeout 900   3500 6200 timeout 900   5000 12000 timeout 900   4900 9100
ldv-linux-3.0/module_get_put-drivers-tty-synclink_gt.ko_false-unreach-call.cil.out.i.pp.i unreach-call error (6) 21     1400 170    error (134) 2.0  88 24   timeout 910    11000 5700   timeout 910    6700 10000   false(unreach-call) 290   5300 2400 unknown 820   9800 9100 unknown 2.4   800 32    unknown 2.2   780 27    timeout 940    7600 9900   timeout (timeout) 900    740 10000   unknown 130   2100 1100 timeout 900   5100 9900 unknown 170   3200 1800
ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko_false-unreach-call.cil.out.i.pp.i unreach-call out of memory 110     15000 1000    error (1) 870    4700 6300   false(unreach-call) 460    6500 4100   false(unreach-call) 100    4100 890   false(unreach-call) 110   1100 1100 out of memory 230   15000 2400 unknown 4.5   1300 54    unknown 5.2   1300 64    false(unreach-call) 410    5600 4600   timeout (timeout) 900    530 9700   timeout 900   6800 8300 timeout 900   2600 9000 timeout 900   6200 12000
ldv-linux-3.0/usb_urb-drivers-hid-usbhid-usbmouse.ko_false-unreach-call.cil.out.i.pp.i unreach-call error (134) .38  37 4.4  false(unreach-call) 5.7  240 59   timeout 900    6300 12000   false(unreach-call) 250    5600 2400   false(unreach-call) 33   670 350 unknown 21   210 270 false(unreach-call) 1.8   79 19    false(unreach-call) 3.7   130 42    false(unreach-call) 88    3400 950   timeout (timeout) 900    94 11000   error (7) 21   710 170 timeout 900   3600 10000 error (7) 32   720 300
ldv-linux-3.0/usb_urb-drivers-input-misc-keyspan_remote.ko_false-unreach-call.cil.out.i.pp.i unreach-call error (134) .42  40 3.7  error (42) 870    1000 7700   timeout 910    8300 9000   timeout 900    9700 10000   timeout 900   5300 9200 false(unreach-call) 7.2 410 96 false(unreach-call) 4.2   100 38    false(unreach-call) 6.3   160 73    false(unreach-call) 120    3800 1200   timeout (timeout) 900    110 11000   timeout 900   4500 6000 timeout 900   4800 11000 timeout 900   5500 12000
ldv-linux-3.0/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko_false-unreach-call.cil.out.i.pp.i unreach-call error (5) 1.1   79 8.6  error (1) 870    3000 4300   timeout 900    7700 10000   false(unreach-call) 13    500 120   false(unreach-call) 18   540 130 unknown 92   1000 1100 unknown .73  320 11    unknown .75  320 9.6  false(unreach-call) 20    730 150   timeout (timeout) 900    550 14000   error (7) 87   2100 670 timeout 900   5200 11000 timeout 900   5000 11000
ldv-linux-3.0/usb_urb-drivers-net-can-usb-ems_usb.ko_false-unreach-call.cil.out.i.pp.i unreach-call error (134) .64  48 7.8  false(unreach-call) 23    3300 220   timeout 910    11000 5700   false(unreach-call) 510    7200 4100   false(unreach-call) 220   1900 2100 false(unreach-call) 17   470 200 false(unreach-call) 1.9   150 19    false(unreach-call) 1.5   130 14    false(unreach-call) 40    1300 310   timeout (timeout) 900    140 11000   error (7) 58   1900 420 timeout 900   4900 9700 error (7) 78   1900 590
ldv-linux-3.0/usb_urb-drivers-net-usb-catc.ko_false-unreach-call.cil.out.i.pp.i unreach-call error (134) .93  55 12    error (134) 62    13000 800   timeout 910    7700 8700   false(unreach-call) 57    2700 490   timeout 900   5700 9100 unknown 900   780 12000 false(unreach-call) 1.7   150 17    false(unreach-call) 3.9   200 50    false(unreach-call) 46    1600 370   timeout (timeout) 900    120 14000   error (7) 800   3300 8900 timeout 900   5200 9200 error (7) 610   6200 6200
ldv-linux-3.0/usb_urb-drivers-staging-lirc-lirc_imon.ko_false-unreach-call.cil.out.i.pp.i unreach-call error (134) .45  43 4.0  witness invalid (false(unreach-call)) 47    620 520   timeout 910    11000 6400   false(unreach-call) 23    870 180   false(unreach-call) 320   5300 3500 unknown 31   250 380 unknown .49  98 7.1  unknown .44  97 4.9  false(unreach-call) 33    920 280   timeout (timeout) 900    130 13000   timeout 900   3700 11000 timeout 900   5200 8400 timeout 900   5500 11000
ldv-linux-3.0/usb_urb-drivers-usb-misc-iowarrior.ko_false-unreach-call.cil.out.i.pp.i unreach-call error (134) .75  54 6.0  false(unreach-call) 3.1  260 34   timeout 900    9600 8000   timeout 900    9400 7300   false(unreach-call) 66   1100 740 unknown 460   400 5900 unknown 3.5   180 39    unknown 9.2   260 110    false(unreach-call) 36    940 250   timeout (timeout) 900    2400 11000   error (7) 89   2700 820 timeout 900   5200 8900 error (7) 280   4900 2600
ldv-linux-3.0/module_get_put-drivers-atm-eni.ko_true-unreach-call.cil.out.i.pp.i unreach-call error (6) 34     410 270    error (1) 870    4800 7700   true 15    510 130   true 6.7  280 58   true 100   2900 1100 unknown 620   2100 8000 unknown 4.2   380 52    unknown 3.4   360 47    true 19    730 140   timeout (timeout) 900    160 14000   true 28   900 220 timeout 900   4800 14000 timeout 900   4200 12000
ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko_true-unreach-call.cil.out.i.pp.i unreach-call error (6) 1.8   270 13    error (42) 870    6100 8300   true 25    890 190   true 10    520 120   true 120   4200 1100 out of memory 190   15000 2200 out of memory 60     15000 580    true 50     7800 520    true 36    1100 260   timeout (timeout) 900    560 9700   true 120   2900 1300 timeout 900   5300 9000 true 45   4700 390
ldv-linux-3.0/module_get_put-drivers-block-paride-pt.ko_true-unreach-call.cil.out.i.pp.i unreach-call error (6) 1.3   110 9.8  error (42) 870    950 3600   true 9.9  460 72   true 4.7  280 48   true 100   3700 1000 unknown 530   9100 6900 timeout 900     5900 12000    true 17     430 230    true 46    1700 360   true .63 29 7.4 true 41   2000 310 timeout 900   1500 7600 true 92   5200 1000
ldv-linux-3.0/module_get_put-drivers-bluetooth-btmrvl_false-termination.ko_true-unreach-call.cil.out.i.pp.i unreach-call error (6) 24     4500 240    error (1) 870    4200 4600   true 10    390 79   true 6.4  290 61   true 97   2300 1000 unknown 570   250 6400 timeout 900     12000 6900    timeout 900     12000 6900    true 13    510 98   timeout (timeout) 900    420 12000   true 15   560 110 timeout 900   5600 13000 true 21   660 160
ldv-linux-3.0/module_get_put-drivers-char-ipmi-ipmi_watchdog.ko_true-unreach-call.cil.out.i.pp.i unreach-call error (6) .55  55 3.9  false(unreach-call) 640    2500 3900   true 18    590 140   true 5.3  290 48   timeout 900   6000 8100 unknown 85   260 1000 timeout 900     15000 7400    timeout 900     13000 12000    true 200    5600 1800   unknown 140    590 2000   true 130   5800 970 timeout 900   2200 8900 timeout 900   4800 11000
ldv-linux-3.0/module_get_put-drivers-gpu-drm-i915-i915.ko_true-unreach-call.cil.out.i.pp.i unreach-call error (6) 2.6   410 21    error (42) 870    2600 7200   true 29    1200 230   true 11    850 110   true 120   1800 1300 unknown 180   12000 1900 out of memory 400     15000 3400    true 23     6300 310    true 35    1500 260   timeout (timeout) 900    470 11000   timeout 910   10000 11000 timeout 900   5300 8500 timeout 900   6100 9000
ldv-linux-3.0/module_get_put-drivers-hid-hid-magicmouse.ko_true-unreach-call.cil.out.i.pp.i unreach-call error (6) .20  35 1.4  error (42) 870    3800 2700   true 7.3  330 55   true 5.0  280 44   true 30   700 240 unknown 900   1400 12000 timeout 900     2100 7000    timeout 900     2100 7100    true 7.7  440 63   unknown 580    96 7900   true 12   490 96 timeout 900   4300 11000 true 15   610 120
ldv-linux-3.0/module_get_put-drivers-hwmon-it87.ko_true-unreach-call.cil.out.i.pp.i unreach-call error (6) .46  60 4.0  error (42) 870    620 4500   true 11    490 90   true 5.1  280 48   true 98   1600 1300 unknown 890   3600 8800 timeout 900     8100 6300    true 2.0   190 23    true 16    610 130   true .94 22 14   true 49   3400 460 timeout 900   1800 10000 true 840   5300 11000
ldv-linux-3.0/module_get_put-drivers-net-atl1c-atl1c.ko_true-unreach-call.cil.out.i.pp.i unreach-call error (6) .84  85 6.8  error (134) 1.3  79 13   true 15    520 120   true 6.7  280 61   true 100   2600 1200 unknown 470   3100 5100 timeout 900     8700 8700    true 2.5   440 26    true 22    830 180   timeout (timeout) 900    2300 13000   true 33   930 270 error (7) 710   2100 8900 true 29   1000 240
ldv-linux-3.0/module_get_put-drivers-net-pppox_false-termination.ko_true-unreach-call.cil.out.i.pp.i unreach-call error (6) .20  38 1.6  error (42) 870    1600 4700   true 9.2  450 83   true 10    440 78   true 7.2 390 52 unknown 250   140 3100 timeout 900     4700 8800    true .24  40 2.6  true 16    610 120   timeout (timeout) 900    3700 11000   true 14   580 110 true 12   500 100 true 14   570 110
ldv-linux-3.0/module_get_put-drivers-net-sis900.ko_true-unreach-call.cil.out.i.pp.i unreach-call error (6) 2.2   230 14    error (134) 16    210 230   true 13    470 96   true 6.5  280 60   true 100   3700 1100 unknown 590   11000 5000 out of memory 800     15000 6100    true 79     4200 760    true 23    820 170   timeout (timeout) 900    330 13000   true 25   860 190 timeout 900   5100 11000 true 31   1900 230
ldv-linux-3.0/module_get_put-drivers-scsi-megaraid.ko_true-unreach-call.cil.out.i.pp.i unreach-call error (6) 34     820 230    error (1) 870    7000 5300   true 20    550 160   true 7.7  290 79   true 100   3100 1100 unknown 630   5500 7000 out of memory 700     15000 6000    true 370     13000 3800    true 29    950 230   timeout (timeout) 900    250 12000   true 35   1100 270 timeout 900   5400 7900 true 47   4200 490
ldv-linux-3.0/module_get_put-drivers-staging-et131x-et131x.ko_true-unreach-call.cil.out.i.pp.i unreach-call error (6) 3.5   110 31    error (42) 870    14000 6700   true 15    500 120   true 6.3  280 63   true 100   2500 1200 unknown 730   6900 8400 out of memory 250     15000 2700    true 19     1300 210    true 33    1200 210   timeout (timeout) 900    340 12000   true 33   1500 300 timeout 900   4800 12000 true 32   1700 270
ldv-linux-3.0/module_get_put-drivers-video-aty-aty128fb.ko_true-unreach-call.cil.out.i.pp.i unreach-call error (6) 1.7   120 12    error (1) 880    4900 5100   true 11    500 92   true 5.8  290 58   true 100   2700 1200 unknown 900   4400 11000 timeout 900     13000 8700    true 18     460 250    true 25    790 180   timeout (timeout) 900    180 12000   true 28   850 220 timeout 900   1800 7100 true 60   3700 610
ldv-linux-3.0/usb_urb-drivers-input-tablet-kbtab.ko_true-unreach-call.cil.out.i.pp.i unreach-call error (134) .29  36 2.5  error (42) 870    2400 6200   true 8.3  440 67   false(unreach-call) 73    4300 620   true 13   530 110 false(unreach-call) 4.1 200 54 false(unreach-call) 2.0   74 19    false(unreach-call) 3.8   120 40    true 21    600 180   timeout (timeout) 900    95 12000   true 48   1500 350 timeout 900   4000 11000 true 300   4900 3200
ldv-linux-3.0/usb_urb-drivers-media-video-c-qcam.ko_true-unreach-call.cil.out.i.pp.i unreach-call error (6) 2.5   110 23    error (1) 870    3800 7000   true 9.6  420 82   true 6.3  290 53   true 100   2800 960 out of memory 4.8 15000 52 unknown 81     1700 920    unknown 28     730 280    true 28    1200 220   timeout (timeout) 900    310 12000   true 20   750 160 timeout 900   4800 10000 true 27   1200 220
ldv-linux-3.0/usb_urb-drivers-media-video-msp3400.ko_true-unreach-call.cil.out.i.pp.i unreach-call error (134) 11     200 140    error (42) 870    5200 5200   true 15    500 120   true 6.8  290 69   true 100   3700 1100 unknown 900   5500 8400 out of memory 230     15000 2900    true 21     1600 260    true 27    1000 190   timeout (timeout) 900    460 11000   true 28   880 230 timeout 900   5300 9800 true 37   3000 340
ldv-linux-3.0/usb_urb-drivers-misc-c2port-core.ko_true-unreach-call.cil.out.i.pp.i unreach-call error (139) 460     110 1800    error (42) 870    1200 4200   true 7.2  360 65   true 4.9  290 46   true 100   4800 830 out of memory 690   15000 6700 timeout 570     1800 5300    true 21     150 180    true 23    830 180   unknown 1.9  22 26   true 20   740 150 timeout 900   5100 7600 true 23   1400 190
ldv-linux-3.0/usb_urb-drivers-mtd-sm_ftl.ko_true-unreach-call.cil.out.i.pp.i unreach-call error (5) 1.3   84 11    error (1) 870    2100 5800   true 11    490 88   true 5.4  290 52   timeout 910   7800 11000 unknown 510   4000 6400 unknown .42  91 4.9  out of memory 330     15000 4700    true 23    900 180   timeout (timeout) 900    130 11000   true 20   730 140 timeout 900   4800 11000 true 23   1200 180
ldv-linux-3.0/usb_urb-drivers-scsi-dc395x.ko_true-unreach-call.cil.out.i.pp.i unreach-call error (5) 7.1   150 50    error (134) 3.2  160 37   true 16    510 110   true 7.3  290 73   true 100   3700 1100 unknown 540   3300 5000 out of memory 270     15000 2700    out of memory 98     15000 940    true 35    1200 230   timeout (timeout) 900    200 13000   error (7) 10   290 79 error (7) 9.5 290 80 error (7) 10   290 85
ldv-linux-3.0/usb_urb-drivers-usb-serial-ir-usb.ko_true-unreach-call.cil.out.i.pp.i unreach-call error (134) .29  39 3.5  error (134) .40 45 4.0 true 38    1600 320   true 8.4  430 66   true 14   510 110 unknown 900   300 9000 timeout 900     6900 9100    timeout 900     7100 9500    false(unreach-call) 150    2900 1600   timeout (timeout) 900    100 14000   true 72   2800 610 timeout 900   5000 11000 error (7) 110   3700 960
ldv-linux-3.0/usb_urb-drivers-usb-serial-whiteheat.ko_true-unreach-call.cil.out.i.pp.i unreach-call error (6) .64  54 5.5  error (42) 870    1200 12000   true 13    520 100   true 9.4  440 83   true 100   2800 1000 unknown 890   1600 7000 unknown 1.0   220 14    unknown 2.6   280 34    true 54    2000 400   timeout (timeout) 900    95 11000   true 49   1600 370 timeout 900   5300 9700 true 63   2400 490
ldv-linux-3.0/usb_urb-drivers-uwb-i1480-dfu-i1480-dfu-usb.ko_true-unreach-call.cil.out.i.pp.i unreach-call error (134) .96  48 12    error (134) 60    240 630   true 16    640 130   true 600    7800 6300   timeout 900   7100 9300 false(unreach-call) 55   1100 670 unknown .35  76 3.7  unknown .33  77 3.1  true 440    4900 5700   timeout (timeout) 900    99 13000   error (7) 680   950 7900 timeout 900   4900 9600 error (7) 77   1100 770
ldv-linux-3.0/usb_urb-drivers-vhost-vhost_net.ko_true-unreach-call.cil.out.i.pp.i unreach-call error (134) 2.9   140 28    error (42) 870    14000 7300   true 15    510 110   true 7.0  290 66   true 100   3800 1100 unknown 520   2400 5000 unknown 50     730 570    unknown 12     420 110    true 20    840 140   timeout (timeout) 900    470 12000   true 34   1100 250 timeout 900   5300 9700 true 47   4300 470
ldv-linux-3.0/usb_urb-drivers-video-arkfb.ko_true-unreach-call.cil.out.i.pp.i unreach-call error (5) 1.9   210 14    error (1) 870    2700 5100   true 12    490 95   true 6.2  280 63   true 100   3600 1100 unknown 900   1900 10000 timeout 900     5900 8100    true 17     390 180    true 19    680 150   timeout (timeout) 900    190 13000   true 34   1300 250 timeout 900   2900 7500 timeout 900   5000 12000
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 unreach-call out of memory 100     15000 830    error (1) 880    4600 7600   false(unreach-call) 32    1300 220   false(unreach-call) 20    810 190   false(unreach-call) 64   1000 500 unknown 890   14000 10000 false(unreach-call) 29     2100 300    out of memory 120     15000 1400    false(unreach-call) 28    1500 210   timeout (timeout) 900    1600 10000   out of memory 820   15000 8300 timeout 900   3300 12000 timeout 900   7300 9600
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 unreach-call error (134) .72  53 7.7  error (134) 39    13000 510   false(unreach-call) 19    740 140   false(unreach-call) 13    510 100   false(unreach-call) 39   900 360 unknown 890   1100 6400 false(unreach-call) 44     490 540    false(unreach-call) 42     400 470    false(unreach-call) 24    770 180   timeout (timeout) 900    93 14000   timeout 900   1900 7300 error (7) 510   2300 6200 timeout 900   6400 11000
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 unreach-call error (5) .93  73 9.8  error (6) 20    490 240   false(unreach-call) 34    1100 290   false(unreach-call) 19    710 150   false(unreach-call) 35   700 330 unknown 890   2100 4800 false(unreach-call) 13     350 140    timeout 900     11000 12000    timeout 900    4300 12000   false(unreach-call) 13    56 150   timeout 900   4800 9300 timeout 900   5300 8200 timeout 900   4900 8300
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 unreach-call error (134) .72  97 5.9  false(unreach-call) 1.7  130 20   false(unreach-call) 15    580 110   false(unreach-call) 8.2  350 67   false(unreach-call) 48   570 470 unknown 900   670 11000 false(unreach-call) .97  170 8.7  false(unreach-call) 1.4   170 13    false(unreach-call) 12    530 96   false(unreach-call) 1.6  27 19   unknown 5.8 360 45 unknown 6.6 360 49 unknown 5.7 350 49
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 unreach-call error (134) 2.0   230 17    error (6) 82    14000 1000   false(unreach-call) 20    880 160   false(unreach-call) 23    1200 220   false(unreach-call) 65   2300 710 unknown 900   1100 11000 unknown 1.4   390 14    unknown 1.5   390 18    false(unreach-call) 28    1000 180   false(unreach-call) 480    140 6600   timeout 900   5200 10000 timeout 900   4700 11000 timeout 900   6300 9900
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 unreach-call error (5) 46     4700 380    error (1) 870    3200 4800   false(unreach-call) 27    900 200   false(unreach-call) 12    470 140   timeout 900   7900 7200 unknown 890   3200 11000 unknown .47  160 5.0  unknown .47  160 5.3  false(unreach-call) 49    1600 400   timeout (timeout) 900    320 13000   timeout 900   5900 9700 timeout 900   2100 10000 timeout 900   6700 11000
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 unreach-call error (134) .85  80 7.5  error (134) 1.2  63 11   false(unreach-call) 11    480 86   false(unreach-call) 9.0  470 79   false(unreach-call) 9.9 440 83 unknown 890   1100 7200 unknown .17  50 1.6  unknown .17  50 1.5  false(unreach-call) 8.7  480 66   false(unreach-call) 4.4  29 56   error (7) 12   310 94 error (7) 11   320 85 error (7) 11   320 95
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 unreach-call error (134) 1.4   120 13    error (134) 5.7  240 62   false(unreach-call) 25    710 190   false(unreach-call) 14    520 130   false(unreach-call) 38   740 360 unknown 900   2400 8300 unknown .20  67 2.1  unknown .19  67 2.0  false(unreach-call) 330    4700 3700   timeout (timeout) 900    300 11000   timeout 900   5300 13000 timeout 900   1700 8600 timeout 900   5400 11000
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 unreach-call error (5) 1.1   100 9.4  error (1) 870    980 6900   false(unreach-call) 12    530 89   false(unreach-call) 8.1  400 72   false(unreach-call) 11   400 82 unknown 880   6000 12000 unknown .63  140 6.3  unknown .72  150 6.2  false(unreach-call) 25    800 160   timeout (timeout) 900    300 10000   unknown 200   1100 1600 timeout 900   1000 10000 false(unreach-call) 26   850 190
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 unreach-call error (134) 1.9   160 19    error (134) 40    14000 450   false(unreach-call) 17    570 140   false(unreach-call) 9.7  460 95   false(unreach-call) 24   570 180 unknown 900   1500 13000 false(unreach-call) 3.0   140 33    false(unreach-call) 8.6   460 110    false(unreach-call) 31    860 230   timeout (timeout) 900    99 12000   timeout 900   5100 7500 timeout 900   4800 9900 timeout 900   4900 7900
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 unreach-call error (139) 380     200 3400    error (1) 870    5200 6300   false(unreach-call) 12    520 93   false(unreach-call) 9.6  450 85   false(unreach-call) 9.8 400 83 false(unreach-call) 86   420 760 false(unreach-call) .93  93 7.4  false(unreach-call) 1.2   110 11    false(unreach-call) 26    980 230   timeout (timeout) 900    99 11000   unknown 160   1100 1300 timeout 900   4900 10000 false(unreach-call) 38   1200 290
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 unreach-call out of memory 110     15000 870    error (1) 880    4100 6200   error 28    990 220   false(unreach-call) 16    500 160   false(unreach-call) 31   960 240 unknown 900   2800 12000 false(unreach-call) 15     1100 160    timeout 900     1800 11000    false(unreach-call) 21    920 160   timeout (timeout) 900    840 11000   unknown 800   3700 7900 timeout 900   3700 9000 false(unreach-call) 160   5200 1700
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 unreach-call out of memory 120     15000 980    error (1) 870    4300 5900   false(unreach-call) 18    590 150   false(unreach-call) 8.6  380 79   timeout 900   5400 7300 false(unreach-call) 60   3000 550 false(unreach-call) 1.2   210 13    false(unreach-call) 1.7   220 17    false(unreach-call) 13    530 100   timeout (timeout) 900    310 12000   timeout 900   4700 9300 timeout 900   4800 9400 timeout 900   7600 7400
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 unreach-call error (134) .54  51 5.3  error (134) 47    13000 650   false(unreach-call) 8.5  480 62   false(unreach-call) 7.7  350 83   false(unreach-call) 7.7 350 64 false(unreach-call) 4.0 130 48 false(unreach-call) .39  60 4.4  false(unreach-call) .51  66 6.0  false(unreach-call) 7.0  370 59   timeout (timeout) 900    100 12000   unknown 28   580 220 error (7) 380   900 4600 false(unreach-call) 17   550 140
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 unreach-call error (5) 290     7900 2000    error (1) 870    3300 11000   false(unreach-call) 15    550 110   false(unreach-call) 9.8  430 92   false(unreach-call) 26   640 190 unknown 900   9200 5500 false(unreach-call) 1.2   210 12    false(unreach-call) 1.4   210 12    false(unreach-call) 13    520 97   unknown 1.9  34 22   timeout 900   5500 8100 timeout 900   2400 11000 timeout 900   5500 10000
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 unreach-call error (5) 100     2500 660    error (134) 140    1200 1300   false(unreach-call) 17    700 150   false(unreach-call) 14    510 140   false(unreach-call) 13   450 100 unknown 890   14000 8900 false(unreach-call) 5.5   260 67    false(unreach-call) 13     610 160    false(unreach-call) 32    1100 230   timeout (timeout) 900    310 10000   timeout 900   4000 8600 timeout 900   1800 11000 timeout 900   6900 5700
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 unreach-call timeout 900     1100 11000    error (1) 870    4100 6300   error 84    3000 750   false(unreach-call) 34    1300 280   timeout 930   9800 7700 unknown 900   6200 8400 timeout 900     3600 9600    timeout 900     3100 9300    timeout 940    6500 11000   timeout (timeout) 900    3300 12000   timeout 900   9900 8000 timeout 900   2100 11000 timeout 900   6300 12000
ldv-linux-3.4-simple/32_7_cpp_false-unreach-call_single_drivers-media-video-vivi.cil.out.c unreach-call error (134) 1.7   180 16    error (6) 6.2  380 72   false(unreach-call) 35    940 280   false(unreach-call) 24    920 210   false(unreach-call) 40   1000 360 unknown 500   640 5700 unknown .42  120 4.7  unknown .43  120 4.0  timeout 960    6300 13000   error (1) .76 26 9.2 error (7) 12   530 94 error (7) 13   530 96 error (7) 12   540 89
ldv-linux-3.4-simple/32_7_cpp_false-unreach-call_single_drivers-mtd-chips-cfi_cmdset_0001.cil.out.c unreach-call error (5) 1.1   170 9.4  false(unreach-call) 580    2800 3300   false(unreach-call) 18    670 140   unknown 19    910 160   false(unreach-call) 20   810 170 unknown 500   6200 6200 unknown .40  110 4.4  unknown .37  110 4.5  false(unreach-call) 19    930 150   error (1) 1.5  29 20   error (7) 11   480 87 error (7) 11   490 84 error (7) 11   490 90
ldv-linux-3.4-simple/32_7_cpp_false-unreach-call_single_drivers-net-phy-dp83640.cil.out.c unreach-call error (134) 2.4   250 24    false(unreach-call) 9.0  620 110   false(unreach-call) 31    1100 220   false(unreach-call) 13    1400 130   false(unreach-call) 35   1400 320 unknown 42   540 540 unknown .68  180 5.9  unknown .62  180 8.3  timeout 900    6300 13000   timeout (timeout) 900    130 15000   error (7) 13   600 110 error (7) 12   630 97 error (7) 13   610 91
ldv-linux-3.4-simple/32_7_cpp_false-unreach-call_single_drivers-net-wireless-mwl8k.cil.out.c unreach-call error (134) 120     1000 800    error (134) 5.0  230 50   false(unreach-call) 37    1200 310   unknown 39    1800 310   false(unreach-call) 68   1500 700 out of memory 12   15000 150 unknown .71  200 8.1  unknown .74  200 7.1  timeout 900    4700 12000   error (1) 2.3  160 27   error (7) 14   650 100 error (7) 14   650 110 error (7) 13   650 93
ldv-linux-3.4-simple/32_7_cpp_false-unreach-call_single_drivers-net-wireless-p54-p54usb.cil.out.c unreach-call error (5) 2.7   270 22    error (1) 870    2900 5500   false(unreach-call) 27    910 230   unknown 29    1700 210   false(unreach-call) 55   1200 510 unknown 28   270 370 unknown 1.5   300 18    unknown 1.5   300 15    false(unreach-call) 45    2300 370   timeout (timeout) 900    100 12000   error (7) 13   610 110 error (7) 13   640 100 error (7) 13   630 92
ldv-linux-3.4-simple/32_7_cpp_false-unreach-call_single_drivers-staging-media-dt3155v4l-dt3155v4l.cil.out.c unreach-call error (134) 1.8   210 15    error (134) 3.4  170 32   false(unreach-call) 26    820 210   false(unreach-call) 12    1200 120   false(unreach-call) 79   930 820 unknown 27   340 390 unknown .53  160 7.0  unknown .57  160 5.2  false(unreach-call) 26    1100 190   error (1) .77 32 9.4 error (7) 12   590 100 error (7) 12   590 95 error (7) 13   590 96
ldv-linux-3.4-simple/32_7_cpp_false-unreach-call_single_drivers-usb-image-microtek.cil.out.c unreach-call error (134) 1.4   220 13    false(unreach-call) 3.6  200 34   false(unreach-call) 24    760 170   false(unreach-call) 10    1300 100   false(unreach-call) 56   1300 570 unknown 24   320 310 unknown 1.3   250 13    unknown 1.3   250 10    false(unreach-call) 21    1200 160   error (1) .65 25 7.6 error (7) 12   590 120 error (7) 12   590 99 error (7) 12   600 94
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 unreach-call out of memory 120     15000 980    error (134) 140    2000 1600   false(unreach-call) 36    1000 270   false(unreach-call) 21    630 190   timeout 900   9500 8000 unknown 900   14000 9600 unknown 1.1   400 12    timeout 900     1500 10000    timeout 900    2500 11000   unknown 1.9  75 26   timeout 900   3200 11000 timeout 900   1600 11000 timeout 900   5000 15000
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 unreach-call error (6) 1.6   170 14    error (1) 870    4300 6000   false(unreach-call) 26    850 180   false(unreach-call) 16    610 130   timeout 930   10000 8000 unknown 280   4400 2700 out of memory 160     15000 1500    timeout 900     3700 11000    timeout 940    5600 14000   unknown 150    160 2300   false(unreach-call) 170   1100 1300 timeout 900   4800 11000 false(unreach-call) 250   1400 2000
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 unreach-call error (6) 7.8   740 64    error (134) 10    380 120   timeout 900    9400 7700   false(unreach-call) 200    6400 1600   timeout 900   6200 8800 unknown 570   13000 6100 timeout 900     3700 6500    out of memory 760     15000 5500    timeout 900    4300 10000   timeout (timeout) 900    290 11000   timeout 900   7000 8200 timeout 900   1800 12000 timeout 900   3800 9200
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 unreach-call error (6) .79  61 6.4  false(unreach-call) 300    6400 2700   false(unreach-call) 20    710 160   false(unreach-call) 18    690 150   false(unreach-call) 37   970 320 unknown 38   420 450 out of memory 270     15000 2500    true 20     450 260    false(unreach-call) 32    1100 230   timeout (timeout) 900    3800 7000   timeout 900   5900 9400 timeout 900   3600 10000 timeout 900   5100 10000
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 unreach-call error (6) 15     1800 140    error (1) 870    4300 4400   false(unreach-call) 31    1000 230   false(unreach-call) 16    520 150   false(unreach-call) 47   1400 430 unknown 550   3700 5200 out of memory 460     15000 3700    out of memory 73     15000 770    false(unreach-call) 31    990 220   timeout (timeout) 900    190 11000   unknown 110   1200 920 timeout 900   3800 13000 false(unreach-call) 62   1300 650
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 unreach-call error (6) 50     7000 410    error (1) 880    8500 5000   false(unreach-call) 21    700 170   false(unreach-call) 14    530 130   false(unreach-call) 15   490 130 unknown 900   6800 6300 false(unreach-call) 280     14000 2700    true 44     1800 490    false(unreach-call) 51    1900 400   timeout (timeout) 900    130 13000   unknown 90   1500 660 timeout 900   4900 10000 unknown 130   1800 1300
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 unreach-call error (134) .27  36 3.1  error (134) 48    13000 670   true 5.0  300 40   true 4.5  290 45   true 4.7 290 41 unknown 900   760 10000 timeout 900     2000 9100    true .28  38 3.2  true 5.4  290 42   true .37 15 4.6 true 12   530 88 true 440   1300 2900 true 21   2100 210
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 unreach-call error (134) .20  32 1.3  error (42) 870    1600 7000   true 5.3  300 45   true 4.4  280 42   true 4.9 290 45 true 25   290 280 timeout 900     2000 8300    true .26  34 2.8  true 8.5  440 65   true .29 14 2.9 true 7.9 380 69 true 18   790 150 true 9.2 480 76
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 unreach-call error (134) .36  36 2.8  error (134) 53    13000 710   true 5.7  300 42   true 4.6  280 43   true 5.5 300 44 unknown 890   1000 5700 timeout 900     1700 8900    true .29  37 3.3  true 6.2  320 48   true .33 14 3.8 true 13   520 97 true 400   1600 2900 true 20   1700 160
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 unreach-call error (134) .28  39 2.4  error (42) 870    14000 5700   true 5.5  300 47   true 5.6  280 52   true 5.2 300 41 true 10   280 100 timeout 900     3100 9800    true .48  48 5.7  true 6.3  330 59   timeout (timeout) 900    98 11000   true 13   530 110 true 310   1300 3300 true 20   1400 160
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 unreach-call error (134) .22  38 1.8  error (42) 870    4400 5800   true 5.1  290 45   true 5.6  280 53   true 4.0 290 30 true 8.1 300 76 timeout 900     1500 11000    true .25  40 2.3  true 6.0  320 49   timeout (timeout) 900    3900 8100   true 11   470 95 true 220   860 2400 true 16   990 130
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 unreach-call true .41  61 3.3  out of memory 370    15000 2300   true 5.4  300 46   true 3.6  280 28   true 10   500 93 unknown 450   170 5500 timeout 900     1600 11000    true .28  33 3.4  true 29    1500 250   true .30 12 4.0 true 11   570 97 true 54   620 620 true 430   5100 5800
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 unreach-call error (134) .20  35 1.9  error (42) 870    13000 13000   true 5.1  300 39   true 4.8  290 44   true 3.9 260 34 unknown 890   510 6700 timeout 900     2700 7200    true .23  37 2.1  true 5.4  300 50   true .32 15 3.8 true 9.9 440 73 true 180   900 2200 true 16   800 130
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 unreach-call true .18  29 1.2  error (42) 880    3200 3700   true 4.3  290 40   true 2.9  270 28   true 3.3 260 32 true 5.3 280 44 timeout 900     1300 12000    true .18  31 1.6  true 4.8  280 40   true .21 12 2.8 true 6.4 300 55 true 7.1 350 65 true 6.1 300 48
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 unreach-call error (134) .21  38 2.0  error (42) 870    14000 6600   true 6.8  310 60   true 3.5  270 36   true 98   4100 960 true 320   5100 3900 timeout 900     5700 8400    true 1.2   72 16    true 8.3  450 74   timeout (timeout) 900    3700 8500   true 12   540 98 true 47   850 440 true 17   570 130
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 unreach-call error (134) 3.0   320 29    error (42) 870    14000 4500   true 13    480 98   true 4.4  270 44   true 100   3900 1000 unknown 890   12000 10000 timeout 900     3600 9500    true 170     1000 1100    true 36    1300 290   timeout (timeout) 900    120 14000   true 23   850 170 true 160   2200 1800 true 29   920 230
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 unreach-call error (134) .33  49 3.2  error (42) 870    14000 6600   true 9.0  380 74   true 3.8  270 38   true 100   4400 950 unknown 890   2800 9100 timeout 900     5500 8100    true 3.8   140 39    true 12    560 100   timeout (timeout) 900    160 13000   true 16   560 130 true 93   1200 1000 true 21   650 190
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 unreach-call error (134) .45  56 3.4  error (42) 870    14000 5800   true 11    430 91   true 3.9  280 30   true 110   4300 1000 timeout 900   8200 11000 timeout 900     4100 7800    true 4.3   140 56    true 16    710 130   timeout (timeout) 900    3400 8000   true 17   650 130 true 89   1600 910 true 22   660 220
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 unreach-call error (134) 1.4   150 13    error (42) 870    14000 7500   true 11    460 94   true 4.0  280 40   true 120   4200 1000 unknown 890   14000 11000 timeout 900     6000 8700    true 41     410 300    true 28    1100 250   timeout (timeout) 900    3700 7700   true 22   700 160 true 140   4500 1700 true 24   720 210
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 unreach-call error (134) .79  83 8.5  error (42) 870    14000 5400   true 9.1  390 79   true 4.0  280 36   true 99   4200 960 unknown 900   11000 11000 timeout 900     8800 7800    true 17     310 150    true 16    670 130   timeout (timeout) 900    3300 7300   true 16   570 120 true 130   1200 1400 true 22   670 180
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 unreach-call error (134) .20  34 1.6  error (42) 870    14000 7300   true 6.0  300 55   true 3.4  270 36   true 95   3000 940 true 390   7800 4700 timeout 900     5200 7800    true .76  55 9.7  true 7.3  440 65   true .32 13 3.2 true 11   510 80 true 45   790 540 true 13   530 110
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 unreach-call error (134) .31  44 2.3  error (42) 870    14000 6300   true 8.0  350 60   true 3.8  270 34   true 97   3000 1100 true 360   4100 4400 timeout 900     5400 7800    true 2.2   100 23    true 11    480 100   timeout (timeout) 900    3500 8000   true 13   540 110 true 74   990 750 true 20   570 190
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 unreach-call error (134) .81  82 6.6  error (42) 870    14000 4700   true 13    470 94   true 4.2  270 45   true 100   4000 1100 timeout 900   15000 9900 timeout 900     4300 7300    true 17     280 120    true 21    1200 180   timeout (timeout) 900    3600 8500   true 23   720 170 true 140   1400 1400 true 26   830 240
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 unreach-call error (134) .76  73 5.4  error (42) 870    14000 8600   true 11    500 97   true 4.3  270 45   true 100   4000 1100 unknown 900   15000 10000 timeout 900     4800 11000    true 14     280 110    true 20    930 160   timeout (timeout) 900    3500 7800   true 21   640 160 true 100   1400 1000 true 25   780 200
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 unreach-call error (134) .69  90 7.5  error (42) 870    14000 6400   true 11    480 97   true 4.2  270 45   true 100   4200 870 unknown 900   8800 13000 timeout 900     5100 7200    true 17     340 170    true 18    810 140   timeout (timeout) 900    140 12000   true 19   680 160 true 210   1200 2300 true 26   900 230
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 unreach-call error (134) .21  36 2.0  error (42) 870    14000 7000   true 6.2  310 51   true 3.4  270 30   true 97   4300 940 true 560   6400 6600 timeout 900     6800 8300    true .78  58 8.7  true 8.2  460 69   true .33 14 3.3 true 12   530 90 true 47   830 480 true 15   550 120
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 unreach-call error (134) .48  70 4.1  error (42) 870    14000 6900   true 11    480 87   true 3.8  270 35   true 99   2300 1400 true 740   9800 8700 timeout 900     4900 7000    true 4.0   140 44    true 16    740 140   timeout (timeout) 900    3200 6100   true 19   650 150 true 84   1600 800 true 23   690 170
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 unreach-call error (134) 1.5   170 13    error (42) 870    14000 6100   true 21    650 170   true 5.7  280 68   true 110   2700 1200 unknown 900   10000 11000 timeout 900     4500 7100    true 68     620 460    true 41    2100 360   timeout (timeout) 900    3800 12000   true 33   1100 250 true 130   3500 1300 true 35   1100 290
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 unreach-call error (5) .16  28 1.0  error (42) 870    14000 4200   true 4.6  300 40   true 3.6  280 33   true 5.5 290 46 true 8.3 280 76 timeout 900     3800 12000    true .47  33 5.1  true 4.9  280 43   true .24 12 2.8 true 8.6 370 67 true 64   540 670 true 11   510 110
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 unreach-call error (134) .33  42 2.7  error (42) 870    13000 4400   true 6.2  320 43   true 4.2  280 37   true 95   2300 1100 true 22   330 230 timeout 800     4800 8400    true .47  51 5.5  true 7.3  340 57   timeout (timeout) 900    3800 8400   true 22   1100 180 timeout 900   1500 7500 true 80   5400 1000
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 unreach-call true .33  35 2.4  error (42) 870    3600 3300   true 4.6  290 38   true 3.0  270 29   true 3.8 290 31 true 480   280 5700 timeout 900     1200 8400    true .23  35 2.5  true 4.8  280 44   true .27 13 2.6 true 7.0 320 61 true 15   450 160 true 10   430 96
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 unreach-call error (8) 1.9   510 26    error (42) 880    12000 13000   true 6.3  310 54   true 4.6  280 41   true 6.4 310 53 true 500   3000 6200 timeout 900     13000 8100    true .93  73 10    true 7.8  430 70   true .37 15 4.6 true 10   500 84 true 30   600 310 true 13   510 100
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 unreach-call error (8) .20  29 1.7  error (42) 870    6000 4300   true 4.1  270 34   true 2.9  270 28   true 3.5 260 28 true 5.6 270 52 timeout 720     1300 8600