Tool symbiotic KLEE:7f3c74aa-dg:96e851cf-symbiotic:69a1d8e6-minisat:3db58943-stp:39fa956f-LLVMInstrumentation:f750b24a
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host apollon*
OS Linux 4.4.0-59-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33553 MB
Date of execution [2017-01-14 11:37:51 CET [[ 2017-01-15 04:18:56 CET ]] [[ 2017-01-15 04:38:06 CET ]] [[ 2017-01-15 04:27:27 CET ]] [[ 2017-01-15 04:45:45 CET ]]; 2017-01-14 13:43:12 CET [[ 2017-01-15 05:08:16 CET ]] [[ 2017-01-15 05:40:54 CET ]] [[ 2017-01-15 05:24:54 CET ]] [[ 2017-01-15 05:42:22 CET ]]; 2017-01-13 11:10:58 CET [[ 2017-01-15 02:01:54 CET ]] [[ 2017-01-15 02:34:25 CET ]] [[ 2017-01-15 02:04:28 CET ]] [[ 2017-01-15 03:02:21 CET ]]]
Run set [sv-comp17.Systems_BusyBox_MemSafety; sv-comp17.Systems_BusyBox_Overflows; sv-comp17.Systems_DeviceDriversLinux64_ReachSafety]
Options [--witness witness.graphml [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/symbiotic4.2017-01-14_1137.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/symbiotic4.2017-01-14_1137.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/symbiotic4.2017-01-14_1137.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/symbiotic4.2017-01-14_1137.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]]; --witness witness.graphml [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/symbiotic4.2017-01-14_1343.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/symbiotic4.2017-01-14_1343.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/symbiotic4.2017-01-14_1343.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/symbiotic4.2017-01-14_1343.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]]; --witness witness.graphml [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/symbiotic4.2017-01-13_1110.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/symbiotic4.2017-01-13_1110.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/symbiotic4.2017-01-13_1110.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/symbiotic4.2017-01-13_1110.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]]]
../../sv-benchmarks/c/ verifier status cpu (s) wall (s) energy (J) mem (MB) blkio-w (MB) blkio-r (MB) validator cpachecker violation t<90s status cpu (s) wall (s) energy (J) mem (MB) validator uautomizer violation t<90s status cpu (s) wall (s) energy (J) mem (MB) validator cpachecker correctness t<900s status cpu (s) wall (s) energy (J) mem (MB) validator uautomizer correctness t<900s status cpu (s) wall (s) energy (J) mem (MB)
busybox-1.22.0/basename_false-unreach-call_true-no-overflow_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 1.3  1.3  13   64   .20  0      error 7.8  4.1  150   320 true 34   19   420 1900 - -
busybox-1.22.0/head_true-no-overflow_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 22    22    230   1500   .34  .020  error 8.6  4.5  120   320 unknown 7.6 4.0 140 310 - -
busybox-1.22.0/sleep_true-no-overflow_false-valid-deref.i valid-deref valid-free valid-memtrack unknown 5.2  5.1  64   700   .33  .033  error (invalid witness file) .52 .35 10   43 error (invalid witness file) 6.4 3.4 98 310 - -
busybox-1.22.0/chgrp-incomplete_true-no-overflow_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 1.9  1.9  25   200   .30  0      error 7.1  3.8  130   320 unknown 7.4 3.9 120 320 - -
busybox-1.22.0/basename_false-unreach-call_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout (timeout) 900    900    12000   1100   .20  0      - - error (invalid witness file) .55 .37 6.3 43 error (invalid witness file) 6.2 3.3 120 290
busybox-1.22.0/chroot-incomplete_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout (timeout) 900    900    9200   1700   .31  0      - - error (invalid witness file) .49 .32 7.4 40 error (invalid witness file) 6.7 3.5 130 300
busybox-1.22.0/cut_false-unreach-call_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack false(valid-deref) 26    26    280   3500   .39  .29   - - error 8.4  4.4  160   320 unknown 7.8 4.1 140 310
busybox-1.22.0/date_false-unreach-call_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack false(valid-deref) 85    85    1200   6800   .45  .41   - - error 8.5  4.5  150   340 unknown 8.2 4.3 150 310
busybox-1.22.0/dirname_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout (timeout) 900    900    10000   2300   .18  0      - - error (invalid witness file) .51 .35 4.8 41 error (invalid witness file) 5.6 3.0 94 290
busybox-1.22.0/du_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack false(valid-deref) 29    29    370   3400   .42  .029  - - error 7.7  4.1  150   280 unknown 7.9 4.1 130 310
busybox-1.22.0/echo_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout (timeout) 900    900    10000   1600   .31  0      - - error (invalid witness file) .53 .33 12   40 error (invalid witness file) 6.7 3.5 120 300
busybox-1.22.0/expand_false-unreach-call_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack false(valid-deref) 130    130    1500   6300   .40  .029  - - error 8.6  4.5  180   290 unknown 8.7 4.5 150 320
busybox-1.22.0/fold_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack false(valid-deref) 67    67    710   2500   .37  .13   - - error 8.1  4.2  160   320 unknown 8.1 4.2 160 310
busybox-1.22.0/hostid_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout (timeout) 900    900    9700   2300   .25  0      - - error (invalid witness file) .54 .35 15   40 error (invalid witness file) 6.6 3.5 140 300
busybox-1.22.0/logname_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack false(valid-deref) 120    120    1500   420   .30  0      - - error 7.4  3.9  120   320 unknown 7.5 3.9 160 310
busybox-1.22.0/ls-incomplete_false-unreach-call_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout (timeout) 900    900    9400   380   .58  .029  - - error (invalid witness file) .49 .33 9.2 40 error (invalid witness file) 6.8 3.6 120 300
busybox-1.22.0/mkdir_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack false(valid-deref) 20    20    260   2400   .40  .029  - - error 8.5  4.5  180   330 unknown 8.2 4.3 160 310
busybox-1.22.0/mkfifo-incomplete_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack false(valid-memtrack) 110    110    1200   340   .29  0      - - error 7.9  4.2  150   310 unknown 7.3 3.8 150 310
busybox-1.22.0/od_false-unreach-call_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack out of memory 190    190    2300   15000   .57  .029  - - error (invalid witness file) .54 .36 6.2 42 error (invalid witness file) 7.0 3.7 100 290
busybox-1.22.0/printf_false-unreach-call_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack unknown 32    32    410   3000   .38  .033  - - error (invalid witness file) .49 .34 3.9 39 error (invalid witness file) 7.1 3.7 150 320
busybox-1.22.0/readlink_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout (timeout) 900    900    9500   2000   .35  .090  - - error (invalid witness file) .52 .35 8.3 39 error (invalid witness file) 6.6 3.5 140 290
busybox-1.22.0/realpath_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack false(valid-memtrack) 440    440    3300   780   .31  .090  - - error 7.4  3.9  140   290 unknown 7.9 4.2 130 310
busybox-1.22.0/rm_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack false(valid-deref) 470    470    5000   3000   .41  .029  - - error 8.2  4.3  160   330 unknown 7.6 4.0 130 300
busybox-1.22.0/seq_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack unknown 16    16    190   1900   .34  .033  - - error (invalid witness file) .50 .31 10   39 error (invalid witness file) 6.9 3.6 120 320
busybox-1.22.0/stty_false-unreach-call_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout (timeout) 900    900    9900   11000   .57  .0082 - - error (invalid witness file) .54 .35 6.5 40 error (invalid witness file) 6.7 3.5 110 310
busybox-1.22.0/sync_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack false(valid-memtrack) 160    160    1600   410   .26  0      - - error 7.5  4.0  140   320 unknown 7.5 4.0 150 310
busybox-1.22.0/tac_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack false(valid-memtrack) 58    58    700   2000   .36  .029  - - error 7.6  4.1  150   320 unknown 7.6 4.0 140 310
busybox-1.22.0/tee_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout (timeout) 900    900    8700   2400   .36  0      - - error (invalid witness file) .52 .35 5.6 40 error (invalid witness file) 6.3 3.4 110 290
busybox-1.22.0/test-incomplete_false-unreach-call_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack false(valid-memtrack) 3.4  3.4  41   350   .41  0      - - error 8.2  4.3  140   320 unknown 7.4 4.0 140 300
busybox-1.22.0/touch_false-unreach-call_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack false(valid-deref) 38    38    460   5000   .43  .029  - - error 8.5  4.4  170   310 unknown 7.4 3.9 140 300
busybox-1.22.0/uname_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout (timeout) 900    900    8500   3400   .36  .029  - - error (invalid witness file) .51 .32 11   39 error (invalid witness file) 6.3 3.3 120 290
busybox-1.22.0/uniq_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack false(valid-deref) 24    24    280   2500   .37  .029  - - error 8.3  4.3  170   320 unknown 7.9 4.1 160 310
busybox-1.22.0/usleep_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout (timeout) 900    900    11000   1900   .31  .029  - - error (invalid witness file) .49 .32 11   39 error (invalid witness file) 6.7 3.5 130 300
busybox-1.22.0/uudecode_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack false(valid-deref) 50    50    550   5200   .43  .029  - - error 8.5  4.5  120   330 unknown 8.0 4.2 140 310
busybox-1.22.0/wc_false-unreach-call_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout (timeout) 900    900    8700   3800   .36  .045  - - error (invalid witness file) .52 .34 6.9 42 error (invalid witness file) 6.5 3.4 140 300
busybox-1.22.0/who_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout (timeout) 900    900    7200   2100   .39  .029  - - error (invalid witness file) .53 .35 7.6 40 error (invalid witness file) 6.6 3.5 120 300
busybox-1.22.0/whoami-incomplete_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout (timeout) 900    900    10000   2300   .31  0      - - error (invalid witness file) .53 .35 6.7 40 error (invalid witness file) 6.5 3.4 110 300
busybox-1.22.0/yes_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack false(valid-deref) 110    110    1300   470   .30  0      - - error 7.8  4.1  170   320 unknown 6.8 3.6 100 300
busybox-1.22.0/basename_false-unreach-call_true-no-overflow_false-valid-deref.i no-overflow timeout (timeout) 900    900    12000   260   .20  0      - - error (invalid witness file) .56 .36 12   42 error (invalid witness file) 7.0 3.7 110 300
busybox-1.22.0/basename_false-unreach-call_true-no-overflow_true-valid-memsafety.i no-overflow timeout (timeout) 900    900    11000   260   .20  0      - - error (invalid witness file) .52 .33 12   40 error (invalid witness file) 6.7 3.6 100 300
busybox-1.22.0/chgrp-incomplete_true-no-overflow_false-valid-memtrack.i no-overflow timeout (timeout) 900    900    11000   370   .29  0      - - error (invalid witness file) .70 .43 7.4 42 error (invalid witness file) 6.7 3.6 120 310
busybox-1.22.0/chroot-incomplete_true-no-overflow_true-valid-memsafety.i no-overflow timeout (timeout) 900    900    12000   490   .31  0      - - error (invalid witness file) .56 .36 13   40 error (invalid witness file) 6.3 3.4 74 290
busybox-1.22.0/cut_false-unreach-call_true-no-overflow_true-valid-memsafety.i no-overflow timeout (timeout) 900    900    10000   280   .38  0      - - error (invalid witness file) .68 .43 10   44 error (invalid witness file) 7.1 3.7 140 300
busybox-1.22.0/date_false-unreach-call_true-no-overflow_true-valid-memsafety.i no-overflow false(no-overflow) 1.3  1.3  14   81   .44  .029  - - timeout 900    880    18000   3700 unknown 9.2 4.8 120 320
busybox-1.22.0/dirname_true-no-overflow_true-valid-memsafety.i no-overflow timeout (timeout) 900    900    11000   1400   .17  0      - - error (invalid witness file) .53 .35 5.2 42 error (invalid witness file) 6.6 3.5 120 310
busybox-1.22.0/du_true-no-overflow_true-valid-memsafety.i no-overflow error 8.1  8.1  85   67   .42  .029  - - error (invalid witness file) .61 .40 8.5 40 error (invalid witness file) 6.2 3.3 120 280
busybox-1.22.0/echo_true-no-overflow_true-valid-memsafety.i no-overflow timeout (timeout) 900    900    10000   470   .31  0      - - error (invalid witness file) .55 .35 11   42 error (invalid witness file) 6.7 3.5 140 300
busybox-1.22.0/expand_false-unreach-call_true-no-overflow_true-valid-memsafety.i no-overflow timeout (timeout) 900    900    10000   420   .39  .029  - - error (invalid witness file) .51 .33 12   41 error (invalid witness file) 6.9 3.7 140 320
busybox-1.22.0/fold_true-no-overflow_true-valid-memsafety.i no-overflow timeout (timeout) 900    900    13000   360   .37  .13   - - error (invalid witness file) .48 .33 3.4 39 error (invalid witness file) 7.2 3.8 160 300
busybox-1.22.0/head_true-no-overflow_false-valid-deref.i no-overflow timeout (timeout) 900    900    12000   330   .33  .029  - - error (invalid witness file) .52 .34 12   41 error (invalid witness file) 7.7 4.0 100 310
busybox-1.22.0/hostid_true-no-overflow_true-valid-memsafety.i no-overflow timeout (timeout) 900    900    13000   1100   .25  0      - - error (invalid witness file) .50 .32 11   39 error (invalid witness file) 6.3 3.4 130 290
busybox-1.22.0/logname_true-no-overflow_true-valid-memsafety.i no-overflow timeout (timeout) 900    900    11000   270   .29  0      - - error (invalid witness file) .48 .32 8.9 39 error (invalid witness file) 6.8 3.6 130 310
busybox-1.22.0/ls-incomplete_false-unreach-call_true-no-overflow_true-valid-memsafety.i no-overflow error 220    220    2600   180   .58  .029  - - error (invalid witness file) .46 .31 7.8 39 error (invalid witness file) 6.7 3.5 120 300
busybox-1.22.0/mkdir_true-no-overflow_true-valid-memsafety.i no-overflow timeout (timeout) 900    900    8200   910   .39  .49   - - error (invalid witness file) .55 .34 7.1 44 error (invalid witness file) 8.2 4.3 86 290
busybox-1.22.0/mkfifo-incomplete_true-no-overflow_true-valid-memsafety.i no-overflow timeout (timeout) 900    900    11000   450   .28  0      - - error (invalid witness file) .49 .32 13   40 error (invalid witness file) 6.4 3.4 120 300
busybox-1.22.0/od_false-unreach-call_true-no-overflow_true-valid-memsafety.i no-overflow true 1.5  1.4  16   120   .57  .26   - - timeout 910    780    13000   6700 unknown 8.4 4.4 140 320
busybox-1.22.0/printf_false-unreach-call_true-no-overflow_true-valid-memsafety.i no-overflow unknown .57 .54 7.1 40   .38  .033  - - error (invalid witness file) .52 .35 11   40 error (invalid witness file) 6.5 3.4 130 310
busybox-1.22.0/readlink_true-no-overflow_true-valid-memsafety.i no-overflow timeout (timeout) 900    900    8200   1200   .34  .066  - - error (invalid witness file) .47 .32 7.0 40 error (invalid witness file) 7.7 4.1 84 300
busybox-1.22.0/realpath_true-no-overflow_true-valid-memsafety.i no-overflow timeout (timeout) 900    900    11000   610   .31  0      - - error (invalid witness file) .54 .35 8.4 41 error (invalid witness file) 6.3 3.3 110 300
busybox-1.22.0/rm_true-no-overflow_true-valid-memsafety.i no-overflow timeout (timeout) 900    900    9400   2100   .41  0      - - error (invalid witness file) .54 .36 8.2 39 error (invalid witness file) 6.8 3.6 110 310
busybox-1.22.0/seq_true-no-overflow_true-valid-memsafety.i no-overflow unknown .56 .54 6.9 39   .34  .0041 - - error (invalid witness file) .52 .33 12   40 error (invalid witness file) 6.4 3.4 130 290
busybox-1.22.0/sleep_true-no-overflow_false-valid-deref.i no-overflow unknown .42 .39 5.1 20   .33  .033  - - error (invalid witness file) .55 .35 11   41 error (invalid witness file) 6.8 3.6 130 300
busybox-1.22.0/stty_false-unreach-call_true-no-overflow_true-valid-memsafety.i no-overflow error 76    76    730   110   .57  .020  - - error (invalid witness file) .48 .31 6.7 39 error (invalid witness file) 6.7 3.5 130 310
busybox-1.22.0/sync_true-no-overflow_true-valid-memsafety.i no-overflow timeout (timeout) 900    900    12000   270   .26  0      - - error (invalid witness file) .51 .34 8.8 40 error (invalid witness file) 6.2 3.3 130 290
busybox-1.22.0/tac_true-no-overflow_true-valid-memsafety.i no-overflow timeout (timeout) 900    900    12000   1200   .36  .045  - - error (invalid witness file) .53 .34 7.0 40 error (invalid witness file) 6.8 3.6 130 300
busybox-1.22.0/tee_true-no-overflow_true-valid-memsafety.i no-overflow timeout (timeout) 900    900    11000   730   .36  .029  - - error (invalid witness file) .59 .37 10   40 error (invalid witness file) 6.4 3.4 100 290
busybox-1.22.0/test-incomplete_false-unreach-call_true-no-overflow_true-valid-memsafety.i no-overflow timeout (timeout) 900    900    12000   720   .41  0      - - error (invalid witness file) .57 .37 12   41 error (invalid witness file) 6.8 3.6 140 310
busybox-1.22.0/touch_false-unreach-call_true-no-overflow_true-valid-memsafety.i no-overflow false(no-overflow) 210    210    2300   420   .43  .029  - - timeout 900    880    15000   3700 unknown 7.9 4.1 130 310
busybox-1.22.0/uname_true-no-overflow_true-valid-memsafety.i no-overflow timeout (timeout) 900    900    7000   5100   .36  .029  - - error (invalid witness file) .50 .32 11   41 error (invalid witness file) 6.4 3.4 120 300
busybox-1.22.0/uniq_true-no-overflow_true-valid-memsafety.i no-overflow timeout (timeout) 900    900    9800   310   .37  .15   - - error (invalid witness file) .48 .30 8.5 40 error (invalid witness file) 6.8 3.6 110 300
busybox-1.22.0/usleep_true-no-overflow_true-valid-memsafety.i no-overflow timeout (timeout) 900    900    10000   220   .31  .32   - - error (invalid witness file) .53 .34 6.9 40 error (invalid witness file) 7.1 3.8 120 310
busybox-1.22.0/uudecode_true-no-overflow_true-valid-memsafety.i no-overflow timeout (timeout) 900    900    11000   620   .43  .45   - - error (invalid witness file) .51 .34 5.8 40 error (invalid witness file) 7.1 3.7 120 310
busybox-1.22.0/wc_false-unreach-call_true-no-overflow_true-valid-memsafety.i no-overflow timeout (timeout) 900    900    11000   2600   .36  .020  - - error (invalid witness file) .49 .32 11   39 error (invalid witness file) 6.6 3.5 97 300
busybox-1.22.0/who_true-no-overflow_true-valid-memsafety.i no-overflow timeout (timeout) 900    900    7300   5100   .38  .20   - - error (invalid witness file) .52 .34 5.6 40 error (invalid witness file) 6.7 3.5 130 300
busybox-1.22.0/whoami-incomplete_true-no-overflow_true-valid-memsafety.i no-overflow timeout (timeout) 900    900    11000   1300   .31  0      - - error (invalid witness file) .51 .33 11   40 error (invalid witness file) 6.9 3.6 130 300
busybox-1.22.0/yes_true-no-overflow_true-valid-memsafety.i no-overflow timeout (timeout) 900    900    10000   300   .29  0      - - error (invalid witness file) .50 .32 8.0 39 error (invalid witness file) 7.2 3.8 98 300
ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko_false-unreach-call.cil.out.i.pp.i unreach-call false(unreach-call) 710    710    9100   180   3.9   0      false(unreach-call) 31    16    620   1300 error 13   6.9 200 420 - -
ldv-linux-3.0/module_get_put-drivers-block-loop.ko_false-unreach-call.cil.out.i.pp.i unreach-call timeout (timeout) 900    900    8700   390   .59  0      error (invalid witness file) .56 .36 12   41 error (invalid witness file) 7.1 3.7 91 300 - -
ldv-linux-3.0/module_get_put-drivers-block-pktcdvd.ko_false-unreach-call.cil.out.i.pp.i unreach-call timeout (timeout) 900    900    11000   360   .82  0      error (invalid witness file) .48 .32 10   39 error (invalid witness file) 8.3 4.3 100 320 - -
ldv-linux-3.0/module_get_put-drivers-isdn-gigaset-gigaset.ko_false-unreach-call.cil.out.i.pp.i unreach-call timeout (timeout) 900    900    11000   260   1.3   0      error (invalid witness file) .60 .39 8.9 39 error (invalid witness file) 7.5 3.9 110 330 - -
ldv-linux-3.0/module_get_put-drivers-isdn-mISDN-mISDN_core.ko_false-unreach-call.cil.out.i.pp.i unreach-call false(unreach-call) 130    130    1400   100   1.4   0      true 30    16    510   840 unknown 9.4 4.9 170 340 - -
ldv-linux-3.0/module_get_put-drivers-net-ppp_generic.ko_false-unreach-call.cil.out.i.pp.i unreach-call timeout (timeout) 900    900    10000   850   .88  0      error (invalid witness file) .54 .35 13   42 error (invalid witness file) 9.1 4.8 130 320 - -
ldv-linux-3.0/module_get_put-drivers-net-wan-farsync.ko_false-unreach-call.cil.out.i.pp.i unreach-call timeout (timeout) 900    900    9200   270   .68  0      error (invalid witness file) .53 .33 12   39 error (invalid witness file) 8.3 4.4 97 310 - -
ldv-linux-3.0/module_get_put-drivers-tty-synclink_gt.ko_false-unreach-call.cil.out.i.pp.i unreach-call timeout (timeout) 900    900    12000   510   1.2   0      error (invalid witness file) .50 .33 12   40 error (invalid witness file) 8.3 4.4 120 310 - -
ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko_false-unreach-call.cil.out.i.pp.i unreach-call timeout (timeout) 900    900    10000   470   2.8   0      error (invalid witness file) .65 .42 8.0 40 error (invalid witness file) 7.6 4.0 140 330 - -
ldv-linux-3.0/usb_urb-drivers-hid-usbhid-usbmouse.ko_false-unreach-call.cil.out.i.pp.i unreach-call timeout (timeout) 900    900    10000   98   .36  0      error (invalid witness file) .69 .43 8.3 42 error (invalid witness file) 8.4 4.4 63 300 - -
ldv-linux-3.0/usb_urb-drivers-input-misc-keyspan_remote.ko_false-unreach-call.cil.out.i.pp.i unreach-call timeout (timeout) 900    900    9200   110   .43  0      error (invalid witness file) .58 .36 12   43 error (invalid witness file) 7.1 3.8 110 300 - -
ldv-linux-3.0/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko_false-unreach-call.cil.out.i.pp.i unreach-call error 15    15    200   110   .88  0      error (invalid witness file) .54 .34 12   40 error (invalid witness file) 7.7 4.0 100 300 - -
ldv-linux-3.0/usb_urb-drivers-net-can-usb-ems_usb.ko_false-unreach-call.cil.out.i.pp.i unreach-call timeout (timeout) 900    900    12000   240   .59  0      error (invalid witness file) .64 .40 7.3 40 error (invalid witness file) 7.6 4.0 93 310 - -
ldv-linux-3.0/usb_urb-drivers-net-usb-catc.ko_false-unreach-call.cil.out.i.pp.i unreach-call timeout (timeout) 900    900    9900   260   .62  0      error (invalid witness file) .61 .39 7.4 39 error (invalid witness file) 8.3 4.4 90 310 - -
ldv-linux-3.0/usb_urb-drivers-staging-lirc-lirc_imon.ko_false-unreach-call.cil.out.i.pp.i unreach-call timeout (timeout) 900    900    11000   230   .48  0      error (invalid witness file) .58 .38 16   44 error (invalid witness file) 6.2 3.3 93 300 - -
ldv-linux-3.0/usb_urb-drivers-usb-misc-iowarrior.ko_false-unreach-call.cil.out.i.pp.i unreach-call error 70    70    780   15000   .50  0      error (invalid witness file) .62 .42 8.0 40 error (invalid witness file) 6.7 3.6 110 310 - -
ldv-linux-3.0/module_get_put-drivers-atm-eni.ko_true-unreach-call.cil.out.i.pp.i unreach-call timeout (timeout) 900    900    13000   260   .85  0      - - error (invalid witness file) .61 .39 12   42 error (invalid witness file) 8.4 4.4 100 310
ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko_true-unreach-call.cil.out.i.pp.i unreach-call error 81    81    1200   190   3.9   0      - - error (invalid witness file) .52 .34 11   40 error (invalid witness file) 9.2 4.8 130 340
ldv-linux-3.0/module_get_put-drivers-block-paride-pt.ko_true-unreach-call.cil.out.i.pp.i unreach-call true .68 .80 7.1 38   .37  8.7    - - timeout 900    820    12000   5700 true 46   24   420 1500
ldv-linux-3.0/module_get_put-drivers-bluetooth-btmrvl.ko_true-unreach-call.cil.out.i.pp.i unreach-call timeout (timeout) 900    900    9800   130   .77  0      - - error (invalid witness file) .63 .40 7.2 39 error (invalid witness file) 8.6 4.5 92 310
ldv-linux-3.0/module_get_put-drivers-char-ipmi-ipmi_watchdog.ko_true-unreach-call.cil.out.i.pp.i unreach-call timeout (timeout) 900    900    12000   210   .93  0      - - error (invalid witness file) .55 .36 7.2 40 error (invalid witness file) 7.7 4.1 110 320
ldv-linux-3.0/module_get_put-drivers-gpu-drm-i915-i915.ko_true-unreach-call.cil.out.i.pp.i unreach-call timeout (timeout) 900    900    10000   330   6.8   0      - - error (invalid witness file) .52 .33 9.0 42 error (invalid witness file) 8.9 4.7 170 350
ldv-linux-3.0/module_get_put-drivers-hid-hid-magicmouse.ko_true-unreach-call.cil.out.i.pp.i unreach-call timeout (timeout) 900    900    12000   180   .35  0      - - error (invalid witness file) .49 .31 12   39 error (invalid witness file) 6.3 3.3 130 300
ldv-linux-3.0/module_get_put-drivers-hwmon-it87.ko_true-unreach-call.cil.out.i.pp.i unreach-call true .93 .92 14   22   .69  0      - - timeout 930    880    14000   7000 true 49   29   690 2400
ldv-linux-3.0/module_get_put-drivers-net-atl1c-atl1c.ko_true-unreach-call.cil.out.i.pp.i unreach-call timeout (timeout) 900    900    11000   4100   1.1   0      - - error (invalid witness file) .62 .41 8.7 40 error (invalid witness file) 7.6 4.0 150 340
ldv-linux-3.0/module_get_put-drivers-net-pppox.ko_true-unreach-call.cil.out.i.pp.i unreach-call timeout (timeout) 900    900    9600   3600   .43  0      - - error (invalid witness file) .52 .34 12   40 error (invalid witness file) 6.0 3.2 89 300
ldv-linux-3.0/module_get_put-drivers-net-sis900.ko_true-unreach-call.cil.out.i.pp.i unreach-call timeout (timeout) 900    900    9300   460   .74  0      - - error (invalid witness file) .65 .41 7.1 40 error (invalid witness file) 7.1 3.7 130 310
ldv-linux-3.0/module_get_put-drivers-scsi-megaraid.ko_true-unreach-call.cil.out.i.pp.i unreach-call timeout (timeout) 900    900    9700   380   .94  0      - - error (invalid witness file) .49 .31 11   39 error (invalid witness file) 9.0 4.7 100 310
ldv-linux-3.0/module_get_put-drivers-staging-et131x-et131x.ko_true-unreach-call.cil.out.i.pp.i unreach-call timeout (timeout) 900    900    9100   320   .93  0      - - error (invalid witness file) .57 .38 5.6 40 error (invalid witness file) 7.8 4.1 110 320
ldv-linux-3.0/module_get_put-drivers-video-aty-aty128fb.ko_true-unreach-call.cil.out.i.pp.i unreach-call timeout (timeout) 900    900    11000   220   .56  0      - - error (invalid witness file) .55 .37 10   40 error (invalid witness file) 8.4 4.4 110 310
ldv-linux-3.0/usb_urb-drivers-input-tablet-kbtab.ko_true-unreach-call.cil.out.i.pp.i unreach-call timeout (timeout) 900    900    9400   170   .36  0      - - error (invalid witness file) .50 .32 10   39 error (invalid witness file) 8.7 4.5 97 320
ldv-linux-3.0/usb_urb-drivers-media-video-c-qcam.ko_true-unreach-call.cil.out.i.pp.i unreach-call timeout (timeout) 900    900    11000   390   .67  0      - - error (invalid witness file) .59 .36 9.3 42 error (invalid witness file) 7.0 3.7 120 300
ldv-linux-3.0/usb_urb-drivers-media-video-msp3400.ko_true-unreach-call.cil.out.i.pp.i unreach-call timeout (timeout) 900    900    8400   460   .83  0      - - error (invalid witness file) .61 .39 10   40 error (invalid witness file) 9.2 4.9 89 310
ldv-linux-3.0/usb_urb-drivers-misc-c2port-core.ko_true-unreach-call.cil.out.i.pp.i unreach-call true 1.7  1.7  20   20   .47  0      - - timeout 910    890    22000   2900 true 22   12   410 660
ldv-linux-3.0/usb_urb-drivers-mtd-sm_ftl.ko_true-unreach-call.cil.out.i.pp.i unreach-call error 770    770    9000   250   .54  0      - - error (invalid witness file) .57 .36 9.1 39 error (invalid witness file) 7.1 3.8 100 310
ldv-linux-3.0/usb_urb-drivers-scsi-dc395x.ko_true-unreach-call.cil.out.i.pp.i unreach-call timeout (timeout) 900    900    12000   230   1.1   0      - - error (invalid witness file) .51 .33 11   40 error (invalid witness file) 7.7 4.0 160 310
ldv-linux-3.0/usb_urb-drivers-usb-serial-ir-usb.ko_true-unreach-call.cil.out.i.pp.i unreach-call timeout (timeout) 900    900    9700   140   .46  0      - - error (invalid witness file) .59 .37 12   43 error (invalid witness file) 6.5 3.5 130 310
ldv-linux-3.0/usb_urb-drivers-usb-serial-whiteheat.ko_true-unreach-call.cil.out.i.pp.i unreach-call timeout (timeout) 900    900    13000   140   .70  0      - - error (invalid witness file) .66 .41 7.9 40 error (invalid witness file) 8.5 4.4 95 310
ldv-linux-3.0/usb_urb-drivers-uwb-i1480-dfu-i1480-dfu-usb.ko_true-unreach-call.cil.out.i.pp.i unreach-call timeout (timeout) 900    900    10000   290   .48  0      - - error (invalid witness file) .58 .37 9.0 39 error (invalid witness file) 7.1 3.7 150 310
ldv-linux-3.0/usb_urb-drivers-vhost-vhost_net.ko_true-unreach-call.cil.out.i.pp.i unreach-call timeout (timeout) 900    900    11000   290   1.2   0      - - error (invalid witness file) .65 .42 7.5 41 error (invalid witness file) 8.1 4.3 110 300
ldv-linux-3.0/usb_urb-drivers-video-arkfb.ko_true-unreach-call.cil.out.i.pp.i unreach-call timeout (timeout) 900    900    7700   170   .64  0      - - error (invalid witness file) .52 .33 9.0 40 error (invalid witness file) 7.2 3.8 140 300
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--gpu--drm--vmwgfx--vmwgfx.ko-ldv_main3_sequence_infinite_withcheck_stateful.cil.out.c unreach-call false(unreach-call) 170    170    2100   1500   5.1   0      timeout 98    71    2700   3600 true 76   50   1700 2100 - -
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--input--mouse--synaptics_usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    11000   1300   .54  0      error (invalid witness file) .51 .35 11   40 error (invalid witness file) 8.6 4.4 120 310 - -
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--input--mousedev.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call false(unreach-call) 61    61    680   72   .83  0      timeout 98    71    2400   3800 true 24   13   400 580 - -
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--isdn--capi--kernelcapi.ko-ldv_main3_sequence_infinite_withcheck_stateful.cil.out.c unreach-call false(unreach-call) 1.5  1.5  18   28   1.4   0      true 18    9.2  350   550 unknown 12   6.4 130 330 - -
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--media--dvb--dvb-usb--dvb-usb-dib0700.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call error 740    740    7500   160   5.4   0      error (invalid witness file) .53 .34 14   41 error (invalid witness file) 8.9 4.7 140 340 - -
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--media--video--cpia2--cpia2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    10000   320   2.2   0      error (invalid witness file) .52 .33 8.7 40 error (invalid witness file) 9.1 4.9 85 320 - -
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--media--video--mem2mem_testdev.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call false(unreach-call) 8.5  8.4  100   49   .86  0      timeout 97    79    1900   2500 true 26   14   480 650 - -
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--media--video--vivi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true 1.2  1.2  15   42   1.1   0      timeout 96    82    1200   2100 unknown 67   41   970 1200 - -
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--mtd--chips--cfi_cmdset_0001.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    9300   180   1.3   0      error (invalid witness file) .63 .40 10   45 error (invalid witness file) 9.1 4.7 95 330 - -
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--net--phy--dp83640.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    9800   190   .91  0      error (invalid witness file) .52 .34 9.8 40 error (invalid witness file) 6.9 3.6 87 310 - -
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--net--wireless--p54--p54usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    9900   460   1.0   0      error (invalid witness file) .50 .32 12   40 error (invalid witness file) 8.4 4.4 100 320 - -
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--scsi--libfc--libfc.ko-ldv_main5_sequence_infinite_withcheck_stateful.cil.out.c unreach-call error 32    32    420   130   5.3   0      error (invalid witness file) .59 .37 10   40 error (invalid witness file) 11   5.7 110 330 - -
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--staging--keucr--keucr.ko-ldv_main1_sequence_infinite_withcheck_stateful.cil.out.c unreach-call error 560    560    6000   130   1.9   0      error (invalid witness file) .52 .33 8.1 42 error (invalid witness file) 7.5 3.9 140 330 - -
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--usb--image--microtek.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    9500   150   .64  0      error (invalid witness file) .50 .33 5.3 40 error (invalid witness file) 6.3 3.4 120 310 - -
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--usb--storage--usb-storage.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    12000   320   1.8   0      error (invalid witness file) .53 .33 11   41 error (invalid witness file) 9.2 4.7 130 330 - -
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--vhost--vhost_net.ko-ldv_main1_sequence_infinite_withcheck_stateful.cil.out.c unreach-call error 43    43    520   130   2.1   0      error (invalid witness file) .47 .32 12   39 error (invalid witness file) 7.3 3.8 150 330 - -
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--video--aty--atyfb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    10000   210   2.0   0      error (invalid witness file) .49 .33 13   40 error (invalid witness file) 11   5.5 95 320 - -
ldv-linux-3.4-simple/32_7_cpp_false-unreach-call_single_drivers-media-video-vivi.cil.out.c unreach-call true .91 .89 11   25   2.9   .45   error 46    31    1100   2500 error 19   10   200 350 - -
ldv-linux-3.4-simple/32_7_cpp_false-unreach-call_single_drivers-mtd-chips-cfi_cmdset_0001.cil.out.c unreach-call timeout (timeout) 900    900    12000   160   2.6   0      error (invalid witness file) .59 .37 9.8 42 error (invalid witness file) 8.1 4.3 130 340 - -
ldv-linux-3.4-simple/32_7_cpp_false-unreach-call_single_drivers-net-phy-dp83640.cil.out.c unreach-call timeout (timeout) 900    900    9100   190   4.1   0      error (invalid witness file) .64 .41 9.4 41 error (invalid witness file) 8.3 4.3 110 350 - -
ldv-linux-3.4-simple/32_7_cpp_false-unreach-call_single_drivers-net-wireless-mwl8k.cil.out.c unreach-call timeout (timeout) 900    900    9800   330   4.8   0      error (invalid witness file) .58 .35 9.2 40 error (invalid witness file) 8.5 4.4 110 340 - -
ldv-linux-3.4-simple/32_7_cpp_false-unreach-call_single_drivers-net-wireless-p54-p54usb.cil.out.c unreach-call timeout (timeout) 900    900    9700   470   4.7   0      error (invalid witness file) .52 .32 9.6 40 error (invalid witness file) 10   5.4 110 330 - -
ldv-linux-3.4-simple/32_7_cpp_false-unreach-call_single_drivers-staging-media-dt3155v4l-dt3155v4l.cil.out.c unreach-call false(unreach-call) 4.8  4.8  61   34   3.4   .32   unknown 28    15    430   1000 error 17   8.7 220 350 - -
ldv-linux-3.4-simple/32_7_cpp_false-unreach-call_single_drivers-usb-image-microtek.cil.out.c unreach-call timeout (timeout) 900    900    10000   130   3.6   7.7    error (invalid witness file) .59 .39 9.6 39 error (invalid witness file) 8.9 4.7 130 350 - -
ldv-linux-3.4-simple/43_1a_cilled_false-unreach-call_ok_linux-43_1a-drivers--misc--sgi-xp--xpc.ko-ldv_main3_sequence_infinite_withcheck_stateful.cil.out.c unreach-call error 27    27    350   79   1.9   0      error (invalid witness file) .53 .34 13   42 error (invalid witness file) 9.3 4.8 87 310 - -
ldv-linux-3.4-simple/43_1a_cilled_false-unreach-call_ok_linux-43_1a-drivers--net--wireless--orinoco--orinoco_usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call error 13    13    150   100   1.1   7.8    error (invalid witness file) .53 .33 11   39 error (invalid witness file) 9.1 4.7 94 310 - -
ldv-linux-3.4-simple/43_1a_cilled_false-unreach-call_ok_linux-43_1a-drivers--scsi--dpt_i2o.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    13000   430   1.7   0      error (invalid witness file) .50 .32 9.3 39 error (invalid witness file) 9.1 4.8 110 330 - -
ldv-linux-3.4-simple/43_1a_cilled_false-unreach-call_ok_linux-43_1a-drivers--scsi--megaraid--megaraid_mm.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    11000   3800   .63  0      error (invalid witness file) .54 .34 12   40 error (invalid witness file) 7.1 3.8 140 310 - -
ldv-linux-3.4-simple/43_1a_cilled_false-unreach-call_ok_linux-43_1a-drivers--usb--gadget--mv_udc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    10000   270   1.3   0      error (invalid witness file) .53 .35 12   39 error (invalid witness file) 7.7 4.1 130 340 - -
ldv-linux-3.4-simple/43_1a_cilled_false-unreach-call_ok_linux-43_1a-drivers--usb--gadget--pch_udc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    9900   140   1.2   0      error (invalid witness file) .62 .40 8.8 40 error (invalid witness file) 8.6 4.5 97 310 - -
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--acpi--apei--einj.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .47 .47 5.8 15   .43  0      - - timeout 910    880    11000   4400 true 21   11   290 520
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--acpi--bgrt.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .32 .32 3.6 13   .29  0      - - out of memory 580    570    10000   7000 true 14   7.3 200 410
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--acpi--container.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .40 .40 4.7 14   .34  0      - - timeout 900    890    9500   5100 true 16   8.4 310 540
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--acpi--ec_sys.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .33 .33 4.0 13   .28  0      - - out of memory 480    450    7700   7000 true 11   5.9 220 370
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--acpi--fan.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .38 .37 4.8 14   .33  0      - - timeout 910    890    8900   5100 true 16   8.6 290 540
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--ata--pata_marvell.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    10000   110   .45  0      - - error (invalid witness file) .54 .36 11   40 error (invalid witness file) 6.8 3.6 130 300
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--ata--pata_netcell.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    9800   4100   .43  0      - - error (invalid witness file) .53 .33 11   40 error (invalid witness file) 6.9 3.6 100 300
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--atm--adummy.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true 4.8  4.8  52   20   .53  0      - - timeout 910    890    9900   4500 true 14   7.2 180 430
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--auxdisplay--cfag12864b.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call error .43 .55 3.5 19   .14  8.7    - - error (invalid witness file) .50 .32 9.2 40 error (invalid witness file) 7.1 3.7 100 310
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--auxdisplay--cfag12864bfb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .42 .41 4.3 14   .36  0      - - out of memory 530    520    5700   7000 true 14   7.5 190 410
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--auxdisplay--ks0108.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .22 .21 2.9 11   .15  0      - - out of memory 490    480    8100   7000 true 9.1 4.8 160 350
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--aten.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    8300   3600   .26  0      - - error (invalid witness file) .48 .31 10   39 error (invalid witness file) 6.2 3.3 95 300
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--bpck.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    11000   250   .82  0      - - error (invalid witness file) .53 .33 12   40 error (invalid witness file) 7.0 3.7 130 310
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--comm.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    9100   300   .43  0      - - error (invalid witness file) .55 .35 9.1 40 error (invalid witness file) 6.6 3.5 120 300
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--dstr.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    8500   3500   .51  0      - - error (invalid witness file) .59 .37 11   44 error (invalid witness file) 7.8 4.2 82 300
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--epat.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    8900   3500   .62  0      - - error (invalid witness file) .51 .32 9.2 42 error (invalid witness file) 8.1 4.3 59 300
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--epia.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    8700   3300   .43  0      - - error (invalid witness file) .49 .32 9.1 40 error (invalid witness file) 8.1 4.2 89 300
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--fit2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .32 .32 3.8 12   .20  0      - - out of memory 320    300    3700   7000 true 15   8.0 230 470
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--fit3.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    8200   3400   .36  0      - - error (invalid witness file) .52 .34 12   39 error (invalid witness file) 6.3 3.4 120 290
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--friq.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    8700   3500   .70  0      - - error (invalid witness file) .52 .33 13   39 error (invalid witness file) 8.0 4.2 110 300
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--frpw.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    9500   3300   .63  0      - - error (invalid witness file) .50 .34 9.3 40 error (invalid witness file) 7.1 3.8 110 300
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--kbic.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    11000   340   .64  0      - - error (invalid witness file) .47 .30 8.7 39 error (invalid witness file) 8.9 4.7 87 310
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--ktti.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .34 .33 3.2 12   .22  0      - - out of memory 240    220    3400   7000 true 15   7.8 230 500
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--on20.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    9200   3600   .61  0      - - error (invalid witness file) .65 .41 8.0 40 error (invalid witness file) 8.7 4.5 91 310
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--on26.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    7500   3600   1.4   0      - - error (invalid witness file) .57 .37 8.7 41 error (invalid witness file) 8.9 4.7 120 310
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--char--hw_random--virtio-rng.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .24 .23 3.0 11   .15  0      - - timeout 900    890    13000   4400 true 12   6.2 210 380
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--char--ipmi--ipmi_poweroff.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    11000   3700   .45  0      - - error (invalid witness file) .52 .32 4.7 40 error (invalid witness file) 6.2 3.3 83 300
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--char--ramoops.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .28 .28 3.5 11   .21  0      - - out of memory 610    600    11000   7000 true 13   6.6 120 350
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--char--tpm--tpm_nsc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .49 .48 5.8 16   .43  0      - - timeout 920    850    14000   6700 true 21   11   270 550
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--char--uv_mmtimer.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .43 .43 5.7 15   .43  0      - - timeout 910    900    7400   5800 true 22   11   330 530
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--clocksource--cs5535-clockevt.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .22 .22 1.8 9.9 .074 0      - - timeout 910    890    12000   4900 true 11   6.1 160 340
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--cpufreq--cpufreq_powersave.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .20 .20 2.1 9.9 .074 0      - - timeout 910    900    14000   6800 true 9.1 4.9 180 350
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--cpufreq--pcc-cpufreq.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    13000   80   .54  8.4    - - error (invalid witness file) .54 .34 11   43 error (invalid witness file) 8.7 4.6 110 330
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--edac--mce_amd_inj.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .25 .25 2.5 11   .14  0      - - out of memory 670    630    7700   7000 true 13   7.0 150 390
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--firmware--google--gsmi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    11000   130   .66  0      - - error (invalid witness file) .57 .35 14   44 error (invalid witness file) 9.0 4.8 86 310
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--firmware--google--memconsole.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .23 .22 2.1 10   .12  0      - - timeout 910    890    15000   4700 true 17   9.3 170 530
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--gpio--gpio-74x164.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .33 .32 3.5 12   .27  0      - - out of memory 660    650    11000   7000 true 16   8.2 150 390
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--gpio--gpio-max7301.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .31 .31 3.9 12   .23  0      - - timeout 910    900    15000   6200 true 12   6.4 170 390
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--gpio--gpio-mc33880.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .32 .31 4.2 12   .25  0      - - timeout 910    890    11000   5200 true 13   6.9 130 380
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--gpio--gpio-tps65912.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .27 .27 2.9 11   .15  0      - - timeout 910    900    10000   6100 true 11   6.0 160 360
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--gpio--gpio-wm831x.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .31 .31 3.0 12   .18  0      - - out of memory 500    480    7900   7000 true 12   6.5 260 410
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--gpu--drm--drm_usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .47 .47 6.9 15   .46  0      - - out of memory 780    780    14000   7000 true 10   5.3 160 380
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--gpu--drm--i2c--sil164.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    10000   440   .56  0      - - error (invalid witness file) .53 .34 12   40 error (invalid witness file) 8.0 4.2 110 310
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--gpu--drm--tdfx--tdfx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .39 .39 5.0 15   .41  0      - - out of memory 320    310    6000   7000 true 14   7.6 310 490
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--gpu--stub--poulsbo.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .31 .31 4.0 14   .29  0      - - out of memory 680    670    13000   7000 true 11   5.9 200 380
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-cherry.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .42 .54 3.3 20   .22  8.3    - - out of memory 840    830    8700   7000 true 11   6.0 240 360
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-chicony.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .29 .29 3.6 12   .23  0      - - timeout 910    890    12000   6800 true 12   6.6 190 370
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-elecom.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .26 .26 3.0 12   .21  0      - - out of memory 710    700    10000   7000 true 13   6.8 140 360
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-ezkey.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .31 .30 3.3 12   .22  0      - - out of memory 700    690    6000   7000 true 12   6.2 180 380
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-gyration.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .29 .29 3.6 12   .25  0      - - out of memory 680    670    8300   7000 true 13   7.0 190 390
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-kensington.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .29 .28 3.1 12   .21  0      - - timeout 910    890    8200   5900 true 11   6.0 180 360
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-keytouch.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .28 .27 3.5 12   .21  0      - - out of memory 360    350    3500   7000 true 12   6.2 160 390
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-lcpower.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .30 .30 3.7 12   .22  0      - - timeout 910    890    17000   6200 true 11   5.7 210 370
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-monterey.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .28 .28 3.7 12   .22  0      - - out of memory 750    740    14000   7000 true 12   6.2 160 370
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-ortek.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .28 .28 2.9 12   .21  0      - - out of memory 650    640    9400   7000 true 10   5.5 210 360
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-petalynx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .29 .29 3.9 12   .25  0      - - timeout 910    890    6800   4900 true 15   7.6 180 390
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-primax.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .28 .28 3.8 12   .23  0      - - out of memory 520    490    8500   7000 true 12   6.2 210 370
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-saitek.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .26 .26 3.1 12   .21  0      - - out of memory 410    400    7400   7000 true 13   6.8 130 350
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-samsung.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .39 .38 5.2 14   .38  .32   - - timeout 910    890    10000   5200 true 16   8.8 200 440
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-speedlink.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .33 .33 3.6 14   .29  0      - - out of memory 350    340    3700   7000 true 11   5.7 200 370
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-sunplus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .29 .29 3.3 12   .22  0      - - out of memory 810    800    13000   7000 true 12   6.4 190 370
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-tivo.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .29 .29 3.3 12   .22  0      - - timeout 910    900    12000   6300 true 11   5.8 210 370
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-topseed.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .31 .31 3.5 12   .23  0      - - timeout 910    890    13000   6500 true 11   6.1 230 390
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-twinhan.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .30 .30 4.0 12   .25  0      - - timeout 910    890    8100   6900 true 12   6.3 270 390
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-uclogic.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .29 .29 3.3 12   .23  0      - - timeout 910    900    10000   6200 true 20   11   340 820
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-wacom.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    11000   140   .47  0      - - error (invalid witness file) .48 .32 8.7 40 error (invalid witness file) 8.0 4.2 64 310
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-waltop.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call error 890    890    10000   260   .29  0      - - error (invalid witness file) .70 .45 4.4 44 error (invalid witness file) 5.9 3.2 120 290
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-zydacron.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call error 570    570    6600   140   .29  0      - - error (invalid witness file) .58 .37 8.5 39 error (invalid witness file) 6.3 3.3 130 300
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hwmon--ads7871.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .34 .33 4.2 12   .27  0      - - timeout 900    890    10000   4600 true 14   7.4 220 440
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hwmon--asus_atk0110.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .99 .99 11   48   .82  0      - - out of memory 320    280    4800   7000 true 36   19   440 850
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hwmon--emc1403.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .36 .36 4.3 13   .33  0      - - timeout 910    900    7300   4900 true 20   11   230 530
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hwmon--gpio-fan.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    10000   270   .27  0      - - error (invalid witness file) .52 .33 12   39 error (invalid witness file) 6.7 3.5 110 300
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hwmon--max1111.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    8900   4400   .26  0      - - error (invalid witness file) .63 .40 7.6 40 error (invalid witness file) 7.1 3.7 120 310
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hwmon--pcf8591.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call false(unreach-call) 15    15    150   25   .31  0      - - true 15    7.9  240   490 true 13   6.9 270 410
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hwmon--pmbus--max16064.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .37 .49 3.6 20   .21  9.1    - - timeout 910    890    9600   5300 true 12   6.7 160 360
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hwmon--pmbus--max8688.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .28 .27 3.4 12   .22  0      - - timeout 900    890    11000   2600 true 14   7.3 150 350
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hwmon--smsc47b397.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .43 .42 4.6 14   .39  0      - - timeout 910    890    8700   6500 true 17   9.1 220 480
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--i2c--algos--i2c-algo-pca.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    9300   100   .37  0      - - error (invalid witness file) .50 .33 9.6 40 error (invalid witness file) 7.3 3.9 90 290
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--i2c--busses--i2c-diolan-u2c.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    10000   200   .46  0      - - error (invalid witness file) .60 .38 10   40 error (invalid witness file) 6.8 3.6 130 300
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--i2c--busses--i2c-stub.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .44 .44 4.9 13   .35  0      - - true 15    8.7  210   590 true 23   12   220 520
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--i2c--busses--i2c-tiny-usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .42 .41 5.4 14   .41  0      - - timeout 910    880    15000   6000 true 14   7.7 250 460
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--i2c--i2c-smbus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .40 .40 4.9 13   .31  0      - - out of memory 650    630    8200   7000 true 12   6.3 160 360
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--ide--cmd640.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .62 .62 7.7 22   .54  0      - - out of memory 370    330    6200   7000 true 26   14   270 520
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--ide--ide-pnp.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .50 .62 4.8 23   .41  8.1    - - out of memory 790    770    11000   7000 true 16   8.3 180 410
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--gameport--lightning.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .36 .35 4.1 11   .16  0      - - timeout 910    860    12000   5300 true 11   5.9 210 380
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--joystick--magellan.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call error 570    570    5900   240   .26  0      - - error (invalid witness file) .53 .35 6.3 41 error (invalid witness file) 6.8 3.6 100 310
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--joystick--spaceball.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    7700   330   .30  0      - - error (invalid witness file) .62 .40 8.6 40 error (invalid witness file) 7.5 4.0 74 300
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--joystick--spaceorb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    12000   370   .29  0      - - error (invalid witness file) .50 .33 11   40 error (invalid witness file) 8.3 4.3 81 300
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--joystick--stinger.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    8400   220   .25  0      - - error (invalid witness file) .52 .34 12   39 error (invalid witness file) 6.9 3.6 130 310
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--joystick--turbografx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .45 .45 5.7 13   .36  0      - - timeout 910    860    16000   6100 true 36   19   360 580
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--joystick--twidjoy.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call error 360    360    3300   150   .25  0      - - error (invalid witness file) .56 .37 11   41 error (invalid witness file) 6.5 3.4 130 310
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--joystick--warrior.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call error 710    710    6900   250   .26  0      - - error (invalid witness file) .52 .34 9.2 42 error (invalid witness file) 6.6 3.4 83 300
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--joystick--zhenhua.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    7700   380   .24  0      - - error (invalid witness file) .50 .33 11   40 error (invalid witness file) 6.7 3.5 120 300
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--keyboard--gpio_keys_polled.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call error 29    29    330   2100   .29  0      - - error (invalid witness file) .73 .46 6.9 39 error (invalid witness file) 6.4 3.4 130 310
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--keyboard--newtonkbd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    11000   300   .26  0      - - error (invalid witness file) .47 .30 9.4 39 error (invalid witness file) 7.3 3.8 120 320
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--keyboard--stowaway.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    8600   400   .26  0      - - error (invalid witness file) .54 .35 10   39 error (invalid witness file) 6.3 3.3 120 300
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--keyboard--xtkbd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    8400   330   .26  0      - - error (invalid witness file) .53 .34 8.2 39 error (invalid witness file) 7.8 4.1 74 300
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--ab8500-ponkey.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    8600   340   .24  0      - - error (invalid witness file) .49 .31 11   39 error (invalid witness file) 6.1 3.2 99 300
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--ad714x-i2c.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .34 .34 4.3 13   .33  0      - - timeout 910    900    15000   6000 true 11   5.7 130 350
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--ad714x-spi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .37 .36 5.0 13   .33  0      - - out of memory 440    430    7300   7000 true 14   7.5 140 370
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--adxl34x-spi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .41 .53 4.2 21   .32  8.7    - - timeout 910    890    9800   6700 true 9.8 5.2 110 360
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--apanel.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .42 .41 5.1 14   .42  .14   - - out of memory 610    560    8100   7000 true 18   9.5 200 410
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--atlas_btns.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    11000   3700   .34  0      - - error (invalid witness file) .49 .32 9.3 40 error (invalid witness file) 7.7 4.0 85 300
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--cma3000_d0x_i2c.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .33 .32 4.3 13   .31  0      - - out of memory 820    810    11000   7000 true 11   5.9 130 350
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--mma8450.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    10000   140   .35  0      - - error (invalid witness file) .57 .36 10   40 error (invalid witness file) 7.8 4.1 110 310
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--mpu3050.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    11000   340   .41  0      - - error (invalid witness file) .52 .33 10   41 error (invalid witness file) 8.3 4.3 85 300
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--pcap_keys.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    9400   210   .24  0      - - error (invalid witness file) .66 .42 9.2 43 error (invalid witness file) 7.7 4.0 77 300
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--pcf50633-input.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    11000   3600   .34  0      - - error (invalid witness file) .52 .35 7.0 40 error (invalid witness file) 6.9 3.6 120 310
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--pcspkr.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    11000   730   .25  0      - - error (invalid witness file) .52 .32 11   40 error (invalid witness file) 8.2 4.3 64 300
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--rotary_encoder.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    9200   260   .30  0      - - error (invalid witness file) .51 .32 8.1 40 error (invalid witness file) 6.3 3.3 120 300
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--wm831x-on.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    8100   210   .26  0      - - error (invalid witness file) .60 .38 8.4 40 error (invalid witness file) 6.5 3.4 130 310
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--xen-kbdfront.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    11000   230   .36  0      - - error (invalid witness file) .61 .38 9.6 41 error (invalid witness file) 7.9 4.3 95 310
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--mouse--gpio_mouse.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    10000   310   .27  0      - - error (invalid witness file) .53 .35 7.6 39 error (invalid witness file) 7.2 3.8 84 300
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--mouse--vsxxxaa.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    9900   310   .32  0      - - error (invalid witness file) .49 .31 7.8 40 error (invalid witness file) 7.8 4.1 73 310
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--serio--ct82c710.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .25 .25 2.8 11   .18  0      - - timeout 910    890    11000   7000 true 11   6.0 210 410
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--serio--parkbd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .31 .30 3.8 12   .25  0      - - out of memory 550    540    8800   7000 true 10   5.4 200 360
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--ad7879-spi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .40 .39 5.1 13   .33  0      - - out of memory 560    540    7500   7000 true 14   7.6 190 380
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--cyttsp_spi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call error 840    840    10000   3200   .37  7.5    - - error (invalid witness file) .49 .33 11   42 error (invalid witness file) 6.2 3.3 120 300
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--dynapro.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    10000   270   .26  0      - - error (invalid witness file) .52 .33 12   40 error (invalid witness file) 6.9 3.6 87 290
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--eeti_ts.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    8800   330   .43  0      - - error (invalid witness file) .52 .35 9.6 40 error (invalid witness file) 6.6 3.4 120 310
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--egalax_ts.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    10000   300   .39  0      - - error (invalid witness file) .55 .36 13   44 error (invalid witness file) 8.1 4.3 92 300
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--fujitsu_ts.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    9000   440   .25  0      - - error (invalid witness file) .51 .34 8.1 42 error (invalid witness file) 6.3 3.3 94 290
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--gunze.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call error 120    120    1500   96   .26  0      - - error (invalid witness file) .47 .31 8.3 39 error (invalid witness file) 8.1 4.3 82 310
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--hampshire.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    8000   370   .26  0      - - error (invalid witness file) .65 .42 9.3 40 error (invalid witness file) 6.5 3.5 95 290
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--inexio.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call error 290    290    3400   140   .25  0      - - error (invalid witness file) .54 .35 13   43 error (invalid witness file) 6.5 3.5 130 310
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--max11801_ts.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    11000   290   .37  0      - - error (invalid witness file) .65 .40 8.0 40 error (invalid witness file) 8.0 4.2 74 300
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--mk712.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .32 .31 4.2 12   .26  0      - - timeout 900    890    18000   4500 true 11   6.0 250 380
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--mtouch.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    12000   330   .26  0      - - error (invalid witness file) .47 .31 9.1 40 error (invalid witness file) 6.3 3.3 120 300
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--penmount.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call error 110    110    1500   70   .34  0      - - error (invalid witness file) .63 .40 9.5 42 error (invalid witness file) 7.1 3.8 82 290
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--stmpe-ts.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    13000   180   .41  0      - - error (invalid witness file) .56 .35 10   40 error (invalid witness file) 7.0 3.7 120 300
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--touchit213.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    11000   340   .26  0      - - error (invalid witness file) .64 .42 5.9 40 error (invalid witness file) 7.1 3.7 99 310
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--touchright.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    11000   290   .25  0      - - error (invalid witness file) .49 .32 9.2 39 error (invalid witness file) 8.5 4.4 110 310
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--touchwin.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    8200   380   .25  0      - - error (invalid witness file) .53 .35 10   39 error (invalid witness file) 6.2 3.3 120 300
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--tsc40.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    7500   260   .26  0      - - error (invalid witness file) .59 .37 12   44 error (invalid witness file) 8.7 4.5 110 320
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--wacom_w8001.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call error 36    36    510   52   .43  0      - - error (invalid witness file) .49 .31 11   40 error (invalid witness file) 7.2 3.8 100 290
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--isdn--hardware--avm--avm_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .41 .41 4.3 14   .38  0      - - timeout 910    890    13000   4700 true 18   9.3 220 450
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--isdn--hardware--avm--b1pci.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call error .52 .64 5.4 22   .35  8.5    - - error (invalid witness file) .49 .33 13   40 error (invalid witness file) 8.3 4.3 77 310
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--isdn--hardware--avm--b1pcmcia.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call error .34 .33 4.0 11   .19  0      - - error (invalid witness file) .56 .36 13   42 error (invalid witness file) 7.0 3.7 150 320
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--isdn--hardware--avm--t1pci.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call error .37 .36 5.1 12   .26  0      - - error (invalid witness file) .51 .34 8.2 39 error (invalid witness file) 8.0 4.2 88 320
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--isdn--hardware--eicon--divadidd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .66 .66 7.9 19   .57  0      - - timeout 910    870    13000   6200 unknown 9.0 4.7 130 340
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--isdn--hisax--avma1_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    13000   840   .30  0      - - error (invalid witness file) .50 .33 10   40 error (invalid witness file) 7.9 4.2 83 300
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--isdn--hisax--elsa_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    11000   2000   .31  0      - - error (invalid witness file) .47 .32 6.5 40 error (invalid witness file) 5.7 3.1 83 290
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--isdn--hisax--sedlbauer_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call error 350    350    4700   210   .30  0      - - error (invalid witness file) .62 .39 8.6 40 error (invalid witness file) 7.3 3.8 95 300
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--isdn--hisax--teles_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    11000   2700   .31  0      - - error (invalid witness file) .50 .33 10   39 error (invalid witness file) 5.8 3.1 88 290
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--leds--dell-led.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .35 .35 3.7 13   .29  0      - - timeout 910    890    11000   5000 true 15   7.8 130 370
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--leds--leds-bd2802.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    9700   1800   .71  0      - - error (invalid witness file) .48 .32 7.3 41 error (invalid witness file) 7.6 4.0 53 310
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--leds--leds-dac124s085.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .35 .35 4.0 13   .27  0      - - out of memory 430    380    6400   7000 true 12   6.6 200 390
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--leds--leds-lp5521.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call error 61    61    800   96   .47  0      - - error (invalid witness file) .48 .31 11   40 error (invalid witness file) 7.1 3.7 130 310
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--leds--leds-ot200.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .25 .24 2.7 11   .17  0      - - out of memory 410    350    4500   7000 true 25   13   390 770
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--leds--leds-pca9633.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .34 .33 5.0 13   .27  0      - - out of memory 330    310    4900   7000 true 11   6.0 180 360
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--leds--leds-regulator.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    13000   2700   .19  0      - - error (invalid witness file) .49 .32 6.4 39 error (invalid witness file) 7.7 4.1 91 300
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--leds--ledtrig-backlight.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .38 .37 5.6 14   .37  0      - - timeout 910    900    10000   5500 true 11   6.0 170 370
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--leds--ledtrig-default-on.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .23 .22 2.5 10   .098 0      - - timeout 900    900    16000   2500 true 9.3 5.0 170 350
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--leds--ledtrig-gpio.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .30 .30 3.0 12   .18  0      - - timeout 900    890    9900   4200 true 13   7.1 210 440
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--macintosh--mac_hid.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .34 .33 3.5 12   .23  0      - - timeout 900    890    15000   3900 true 15   7.7 240 450
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--md--dm-zero.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .35 .34 3.8 14   .33  0      - - timeout 910    900    8600   6500 true 11   5.8 170 380
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--max2165.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    11000   170   .46  7.5    - - error (invalid witness file) .65 .40 5.6 40 error (invalid witness file) 6.6 3.5 92 310
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--mc44s803.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    10000   110   .40  0      - - error (invalid witness file) .51 .33 10   40 error (invalid witness file) 6.5 3.5 130 290
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--mt2060.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    9100   110   .42  0      - - error (invalid witness file) .49 .31 6.1 39 error (invalid witness file) 8.5 4.5 85 300
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--mt20xx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    11000   550   .72  0      - - error (invalid witness file) .49 .33 10   42 error (invalid witness file) 7.3 3.9 130 320
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--mt2131.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    8800   110   .40  0      - - error (invalid witness file) .53 .34 14   44 error (invalid witness file) 7.5 4.0 95 300
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--mt2266.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    11000   110   .41  0      - - error (invalid witness file) .50 .31 10   39 error (invalid witness file) 6.9 3.7 110 300
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--mxl5007t.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    9000   190   .63  0      - - error (invalid witness file) .47 .30 11   39 error (invalid witness file) 8.4 4.4 130 320
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--qt1010.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    10000   110   .66  0      - - error (invalid witness file) .63 .40 8.4 39 error (invalid witness file) 7.0 3.7 140 320
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--tda18218.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    9000   130   .46  0      - - error (invalid witness file) .65 .42 8.1 39 error (invalid witness file) 7.7 4.1 87 300
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--tda8290.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    10000   550   .83  0      - - error (invalid witness file) .49 .33 13   40 error (invalid witness file) 9.4 5.0 86 320
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--tda9887.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    9900   170   .71  0      - - error (invalid witness file) .66 .41 8.9 41 error (invalid witness file) 7.0 3.7 130 310
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--bt8xx--dvb-bt8xx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    9400   140   1.1   0      - - error (invalid witness file) .56 .36 11   43 error (invalid witness file) 9.1 4.7 75 320
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-a800.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .52 .52 6.1 17   .70  0      - - timeout 910    890    13000   6700 true 26   14   320 740
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-au6610.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .54 .54 6.2 17   .74  0      - - out of memory 700    690    7900   7000 true 29   15   310 710
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-az6007.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    9200   170   .97  0      - - error (invalid witness file) .47 .29 6.2 39 error (invalid witness file) 7.9 4.2 110 310
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-az6027.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    9500   290   1.0   0      - - error (invalid witness file) .57 .36 9.6 40 error (invalid witness file) 7.4 3.8 130 320
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-ce6230.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .58 .57 6.9 18   .77  0      - - timeout 910    890    15000   6300 true 31   16   370 800
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-cinergyT2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    11000   3100   .84  0      - - error (invalid witness file) .64 .41 7.7 42 error (invalid witness file) 8.8 4.6 96 310
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-cinergyT2.ko-ldv_main1_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .69 .69 9.3 19   .84  0      - - timeout 910    890    11000   6500 true 15   8.1 280 490
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-dibusb-common.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .70 .70 9.6 20   .77  .32   - - out of memory 870    860    9800   7000 true 11   5.7 180 370
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-dibusb-mb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    11000   170   1.0   0      - - error (invalid witness file) .52 .33 9.4 41 error (invalid witness file) 7.4 3.9 100 300
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-dibusb-mc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .50 .50 6.0 17   .69  .32   - - timeout 910    890    13000   5500 true 25   13   360 790
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-digitv.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    11000   170   .82  0      - - error (invalid witness file) .54 .33 10   39 error (invalid witness file) 8.6 4.5 93 310
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-dtt200u.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .63 .63 8.9 19   1.2   0      - - timeout 910    890    9900   4900 true 65   37   790 4300
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-dtt200u.ko-ldv_main1_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .66 .66 7.7 19   1.2   0      - - out of memory 610    590    11000   7000 true 15   7.9 320 480
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-dtv5100.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    12000   200   .73  0      - - error (invalid witness file) .51 .33 11   40 error (invalid witness file) 8.8 4.6 94 320
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-gl861.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .53 .53 6.4 17   .72  0      - - out of memory 710    700    14000   7000 true 30   16   350 800
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-mxl111sf.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    12000   250   2.0   0      - - error (invalid witness file) .55 .36 6.1 40 error (invalid witness file) 7.4 3.9 140 320
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-mxl111sf.ko-ldv_main3_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true 1.9  1.9  24   31   2.0   0      - - out of memory 370    360    4600   7000 true 11   5.9 250 390
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-nova-t-usb2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call error 530    530    5900   300   .72  0      - - error (invalid witness file) .55 .37 12   39 error (invalid witness file) 6.7 3.5 130 300
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-pctv452e.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    11000   230   1.1   8.8    - - error (invalid witness file) .59 .37 10   43 error (invalid witness file) 9.7 5.1 79 310
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-rtl28xxu.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    9200   360   1.1   0      - - error (invalid witness file) .65 .41 6.5 40 error (invalid witness file) 8.3 4.4 85 310
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-ttusb2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    9800   180   1.1   0      - - error (invalid witness file) .53 .34 10   40 error (invalid witness file) 8.4 4.4 160 320
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-umt-010.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .63 .74 6.1 25   .71  8.0    - - timeout 910    890    13000   6800 true 26   14   420 770
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-vp7045.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    10000   280   .80  0      - - error (invalid witness file) .51 .33 6.5 41 error (invalid witness file) 8.9 4.7 80 310
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-vp7045.ko-ldv_main1_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    12000   120   .80  0      - - error (invalid witness file) .53 .33 10   40 error (invalid witness file) 8.6 4.5 91 300
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--mxl111sf-demod.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call error 50    50    590   57   .73  .13   - - error (invalid witness file) .64 .40 8.0 39 error (invalid witness file) 8.6 4.5 88 300
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--cxd2820r.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    11000   180   1.0   .20   - - error (invalid witness file) .57 .37 9.3 41 error (invalid witness file) 8.5 4.4 130 330
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--dib3000mb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    12000   170   .82  0      - - error (invalid witness file) .61 .39 7.0 39 error (invalid witness file) 7.3 3.8 150 320
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--dib3000mc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    8500   190   .72  0      - - error (invalid witness file) .62 .40 8.8 39 error (invalid witness file) 7.0 3.7 150 310
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--dvb_dummy_fe.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .39 .39 5.0 14   .41  0      - - timeout 900    890    7400   4000 true 34   18   540 1200
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--ec100.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    12000   2400   .40  0      - - error (invalid witness file) .51 .34 11   40 error (invalid witness file) 8.3 4.3 92 300
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--isl6405.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .42 .42 4.9 14   .35  0      - - out of memory 300    300    9000   7000 true 8.9 4.7 140 320
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--isl6421.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .39 .39 4.6 14   .34  0      - - out of memory 340    340    6900   7000 true 8.8 4.6 150 330
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--it913x-fe.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    9600   130   1.7   0      - - error (invalid witness file) .58 .38 8.1 39 error (invalid witness file) 8.0 4.2 89 320
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--lnbp21.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .41 .40 4.8 14   .36  0      - - out of memory 320    310    3700   7000 true 9.4 4.9 110 330
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--lnbp22.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .40 .39 4.7 14   .35  0      - - out of memory 360    350    5800   7000 true 8.3 4.4 140 320
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--rtl2830.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call error 360    360    4100   140   .54  .20   - - error (invalid witness file) .51 .35 5.5 40 error (invalid witness file) 6.6 3.6 130 310
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--stb6000.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    7400   130   .40  .0041 - - error (invalid witness file) .55 .34 12   41 error (invalid witness file) 6.4 3.3 130 300
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--tda18271c2dd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    6900   170   .83  0      - - error (invalid witness file) .53 .34 13   41 error (invalid witness file) 6.7 3.5 130 310
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--tda826x.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    10000   430   .39  0      - - error (invalid witness file) .50 .32 9.9 39 error (invalid witness file) 7.7 4.0 80 300
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--tua6100.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    12000   100   .39  0      - - error (invalid witness file) .55 .35 7.8 40 error (invalid witness file) 7.0 3.7 120 320
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--ttpci--budget-patch.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    11000   250   .91  0      - - error (invalid witness file) .48 .32 9.9 39 error (invalid witness file) 9.1 4.8 86 310
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--ttpci--budget.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout (timeout) 900    900    11000   84   1.1   0      - - error (invalid witness file) .48 .31 7.0 40 error (invalid witness file) 7.2 3.8 140 310
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-adstech-dvb-t-pci.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .16 .16 1.8 9.6 .037 0      - - out of memory 310    300    5500   7000 true 12   6.7 140 360
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-alink-dtu-m.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .16 .16 2.1 9.5 .037 0      - - out of memory 310    300    6100   7000 true 11   5.6 140 360
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-anysee.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .19 .19 1.9 9.6 .037 0      - - out of memory 280    270    6100   7000 true 13   7.1 150 370
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-apac-viewcomp.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .16 .16 2.2 9.5 .037 0      - - out of memory 320    310    5600   7000 true 12   6.3 160 360
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-asus-pc39.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .19 .18 2.0 9.5 .037 0      - - out of memory 290    280    4700   7000 true 12   6.2 120 360
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-ati-tv-wonder-hd-600.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .16 .15 2.2 9.4 .037 0      - - out of memory 300    300    5400   7000 true 9.6 5.1 160 360
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-ati-x10.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .18 .18 1.7 9.6 .037 0      - - out of memory 260    250    2900   7000 true 14   7.2 130 380
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-avermedia-a16d.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .19 .19 1.7 9.6 .037 0      - - out of memory 280    280    5200   7000 true 9.7 5.2 160 350
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-avermedia-cardbus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .18 .17 1.9 9.6 .037 0      - - out of memory 330    320    7500   7000 true 11   5.9 210 380
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-avermedia-dvbt.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .19 .18 2.1 9.3 .037 0      - - out of memory 290    280    6800   7000 true 12   6.3 140 350
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-avermedia-m135a.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .16 .16 2.1 9.5 .037 0      - - out of memory 300    290    6800   7000 true 12   6.4 200 430
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-avermedia-m733a-rm-k6.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .18 .18 1.7 9.5 .037 0      - - out of memory 300    290    6000   7000 true 13   6.8 100 360
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-avermedia-rm-ks.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .24 .36 2.1 17   .037 7.8    - - out of memory 320    320    6800   7000 true 12   6.3 120 350
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-avermedia.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .18 .17 2.0 9.6 .037 0      - - out of memory 290    280    4200   7000 true 11   5.6 170 360
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-avertv-303.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .18 .17 1.8 9.5 .037 0      - - out of memory 300    290    4900   7000 true 13   6.6 180 370
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-azurewave-ad-tu700.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .16 .16 1.7 9.5 .037 0      - - out of memory 300    300    5000   7000 true 10   5.6 150 370
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-behold-columbus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .18 .18 1.9 9.5 .037 0      - - out of memory 280    270    5000   7000 true 10   5.5 160 350
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-behold.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .16 .16 2.1 9.5 .037 0      - - out of memory 290    280    5400   7000 true 10   5.3 200 360
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-budget-ci-old.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .18 .17 2.2 9.5 .037 0      - - out of memory 290    290    5800   7000 true 13   6.6 160 370
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-cinergy-1400.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .18 .17 2.0 9.6 .037 0      - - out of memory 280    270    5700   7000 true 10   5.4 130 340
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-cinergy.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .16 .16 1.8 9.4 .037 0      - - out of memory 290    280    6800   7000 true 12   6.3 160 360
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-dib0700-nec.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .18 .18 1.8 9.5 .037 0      - - out of memory 310    300    5500   7000 true 15   7.9 140 430
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-dib0700-rc5.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .17 .16 1.6 9.6 .049 0      - - out of memory 230    220    4700   7000 true 14   7.4 220 520
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-digitalnow-tinytwin.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .16 .15 2.1 9.6 .037 0      - - out of memory 290    280    4500   7000 true 11   5.8 200 380
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-digittrade.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .19 .19 1.9 9.5 .037 0      - - out of memory 280    270    6100   7000 true 11   5.7 160 350
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-dm1105-nec.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .16 .16 1.7 9.5 .037 0      - - out of memory 270    260    6700   7000 true 9.7 5.2 170 350
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-dntv-live-dvb-t.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .16 .16 2.0 9.5 .037 0      - - out of memory 290    280    5900   7000 true 9.6 5.2 170 350
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-dntv-live-dvbt-pro.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .16 .16 2.2 9.7 .037 0      - - out of memory 320    310    5900   7000 true 13   7.0 140 380
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-em-terratec.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .16 .16 1.8 9.7 .037 0      - - out of memory 340    330    5800   7000 true 9.8 5.1 140 360
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-encore-enltv-fm53.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .16 .16 2.1 9.6 .037 0      - - out of memory 320    310    5700   7000 true 11   5.8 120 350
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-encore-enltv.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .19 .19 2.1 9.5 .037 .32   - - out of memory 330    320    7000   7000 true 13   7.1 150 370
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-encore-enltv2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .19 .19 1.8 9.3 .037 .32   - - out of memory 270    270    5000   7000 true 10   5.5 190 370
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-evga-indtube.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .16 .16 1.8 9.5 .037 0      - - out of memory 290    280    4300   7000 true 9.6 5.1 170 360
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-eztv.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .18 .17 1.7 9.5 .037 0      - - out of memory 270    260    7700   7000 true 11   5.7 220 370
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-flydvb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .19 .19 1.7 9.4 .037 0      - - out of memory 310    300    6200   7000 true 10   5.5 180 360
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-flyvideo.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .18 .17 1.8 9.4 .037 0      - - out of memory 290    280    6900   7000 true 12   6.1 150 350
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-fusionhdtv-mce.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .18 .17 2.1 9.4 .037 0      - - out of memory 300    290    7300   7000 true 11   5.7 180 360
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-gadmei-rm008z.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .16 .16 1.9 9.5 .037 0      - - out of memory 290    290    5400   7000 true 13   6.7 140 360
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-genius-tvgo-a11mce.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .18 .18 2.0 9.4 .037 0      - - out of memory 260    260    4700   7000 true 10   5.6 160 360
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-gotview7135.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .16 .16 2.0 9.4 .037 0      - - out of memory 280    280    5300   7000 true 10   5.5 110 360
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-hauppauge.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .19 .19 1.9 9.5 .049 0      - - out of memory 230    220    4500   7000 true 17   8.9 180 540
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-imon-mce.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .18 .18 1.8 9.5 .037 0      - - out of memory 330    330    7600   7000 true 13   7.1 160 430
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-imon-pad.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .16 .16 2.3 9.4 .037 0      - - out of memory 360    350    6300   7000 true 12   6.3 250 450
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-iodata-bctv7e.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .18 .18 2.1 9.5 .037 0      - - out of memory 280    270    7000   7000 true 13   6.8 160 360
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-it913x-v1.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .19 .18 1.7 9.5 .037 0      - - out of memory 290    280    5300   7000 true 11   5.6 190 380
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-it913x-v2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .18 .17 2.2 9.6 .037 0      - - out of memory 310    300    5700   7000 true 12   6.5 170 380
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-kaiomy.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .16 .16 1.8 9.4 .037 0      - - out of memory 250    240    4500   7000 true 12   6.5 130 350
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-kworld-315u.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .19 .18 2.1 9.5 .037 0      - - out of memory 290    280    6500   7000 true 9.9 5.3 180 350
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-kworld-pc150u.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .18 .18 1.7 9.5 .037 0      - - out of memory 260    260    5400   7000 true 13   6.8 160 370
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-kworld-plus-tv-analog.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .18 .17 1.8 9.4 .037 0      - - out of memory 300    290    6500   7000 true 9.4 5.1 180 360
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-leadtek-y04g0051.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .16 .16 1.8 9.6 .037 0      - - out of memory 310    300    7400   7000 true 13   7.0 140 380
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-lirc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .16 .16 1.8 9.3 .025 0      - - out of memory 300    290    5300   7000 true 8.0 4.3 150 320
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-lme2510.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .16 .16 1.9 9.4 .037 0      - - out of memory 290    290    3800   7000 true 12   6.3 230 410
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-manli.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .19 .18 1.7 9.6 .037 0      - - out of memory 290    280    4300   7000 true 10   5.5 170 360
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-medion-x10.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .16 .16 2.1 9.6 .037 0      - - out of memory 320    310    5200   7000 true 11   5.6 170 380
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-msi-digivox-ii.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .16 .15 1.8 9.4 .037 0      - - out of memory 270    270    6400   7000 true 9.4 5.0 150 360
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-msi-digivox-iii.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .19 .19 1.8 9.5 .037 0      - - out of memory 310    300    6000   7000 true 10   5.4 170 340
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-msi-tvanywhere-plus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .19 .18 1.7 9.4 .037 0      - - out of memory 270    260    5700   7000 true 10   5.4 160 370
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-msi-tvanywhere.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .16 .16 1.9 9.4 .037 0      - - out of memory 280    270    3900   7000 true 10   5.3 170 360
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-nebula.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .16 .16 1.7 9.6 .037 0      - - out of memory 340    330    4700   7000 true 12   6.5 200 380
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-nec-terratec-cinergy-xs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .16 .16 1.9 9.6 .037 0      - - out of memory 320    310    7400   7000 true 14   7.2 250 450
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-norwood.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .16 .16 1.7 9.5 .037 0      - - out of memory 260    250    8900   7000 true 9.6 5.2 240 350
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-npgtech.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .19 .18 1.8 9.5 .037 0      - - out of memory 270    270    3000   7000 true 9.7 5.2 180 350
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-pctv-sedna.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .16 .16 1.9 9.4 .037 0      - - out of memory 270    260    5900   7000 true 12   6.3 160 360
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-pinnacle-color.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .18 .18 2.2 9.5 .037 .32   - - out of memory 280    270    5100   7000 true 12   6.2 200 360
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-pinnacle-grey.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .19 .19 1.6 9.6 .037 0      - - out of memory 240    240    5800   7000 true 10   5.4 190 360
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-pinnacle-pctv-hd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .19 .19 1.7 9.5 .037 0      - - out of memory 280    270    6100   7000 true 9.5 5.1 160 360
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-pixelview-002t.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .19 .19 1.9 9.4 .037 .32   - - out of memory 260    250    6100   7000 true 9.8 5.2 140 360
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-pixelview-mk12.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .19 .18 1.5 9.5 .037 0      - - out of memory 280    270    5400   7000 true 9.9 5.3 230 360
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-pixelview-new.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .16 .16 1.9 9.5 .037 0      - - out of memory 330    320    4900   7000 true 12   6.5 130 360
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-pixelview.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .16 .16 1.8 9.3 .037 0      - - out of memory 300    290    6800   7000 true 13   6.7 120 350
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-powercolor-real-angel.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .16 .16 1.8 9.5 .037 0      - - out of memory 310    300    5300   7000 true 11   5.8 150 350
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-proteus-2309.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .19 .19 1.7 9.6 .037 0      - - out of memory 310    300    6800   7000 true 9.3 5.0 180 360
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-purpletv.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .16 .16 1.8 9.6 .037 0      - - out of memory 300    290    5500   7000 true 11   6.0 180 360
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-pv951.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .18 .18 1.8 9.6 .037 0      - - out of memory 310    300    7000   7000 true 9.8 5.3 170 360
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-rc6-mce.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .16 .16 1.7 9.4 .037 .32   - - out of memory 320    310    7600   7000 true 14   7.5 170 390
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-real-audio-220-32-keys.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .16 .16 2.0 9.4 .037 0      - - out of memory 300    290    5400   7000 true 9.9 5.3 190 360
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-snapstream-firefly.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call true .16 .16 1.8 9.5 .037 0      -