Tool CBMC 5.6
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host apollon*
OS [Linux 4.4.0-59-generic; Linux 4.4.0-57-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-11 10:20:18 CET [[ 2017-01-14 21:14:41 CET ]] [[ 2017-01-14 21:35:33 CET ]] [[ 2017-01-14 21:19:46 CET ]] [[ 2017-01-14 21:37:38 CET ]]; 2017-01-11 13:54:34 CET [[ 2017-01-14 21:55:46 CET ]] [[ 2017-01-14 22:15:53 CET ]] [[ 2017-01-14 21:57:58 CET ]] [[ 2017-01-14 22:18:07 CET ]]; 2017-01-10 17:21:21 CET [[ 2017-01-14 18:00:17 CET ]] [[ 2017-01-14 19:57:11 CET ]] [[ 2017-01-14 18:18:10 CET ]] [[ 2017-01-14 20:00:30 CET ]]]
Run set [sv-comp17.Systems_BusyBox_MemSafety; sv-comp17.Systems_BusyBox_Overflows; sv-comp17.Systems_DeviceDriversLinux64_ReachSafety]
Options [--graphml-witness witness.graphml [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/cbmc.2017-01-11_1020.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/cbmc.2017-01-11_1020.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/cbmc.2017-01-11_1020.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/cbmc.2017-01-11_1020.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]]; --graphml-witness witness.graphml [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/cbmc.2017-01-11_1354.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/cbmc.2017-01-11_1354.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/cbmc.2017-01-11_1354.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/cbmc.2017-01-11_1354.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]]; --graphml-witness witness.graphml [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/cbmc.2017-01-10_1721.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/cbmc.2017-01-10_1721.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/cbmc.2017-01-10_1721.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/cbmc.2017-01-10_1721.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 9.1  9.2  110   690 .75   .033  8.5  4.5  93   320 80   48   1200 7000
busybox-1.22.0/head_true-no-overflow_false-valid-deref.i valid-deref valid-free valid-memtrack 3.4  3.4  41   65 .016  .14   .50 .33 12   39 7.9 4.1 150 340
busybox-1.22.0/sleep_true-no-overflow_false-valid-deref.i valid-deref valid-free valid-memtrack 1.0  1.0  11   36 .012  .32   .56 .36 6.0 44 6.2 3.3 130 310
busybox-1.22.0/chgrp-incomplete_true-no-overflow_false-valid-memtrack.i valid-deref valid-free valid-memtrack .38 .38 4.4 29 .012  0      .70 .43 9.2 44 7.2 3.8 110 290
busybox-1.22.0/basename_false-unreach-call_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack 850    850    6200   5300 16      .10   .51 .33 10   39 6.8 3.6 79 300
busybox-1.22.0/chroot-incomplete_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack .58 .58 5.2 30 .020  0      .46 .30 7.8 40 7.2 3.8 140 310
busybox-1.22.0/cut_false-unreach-call_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack 6.2  6.2  84   110 .020  .14   .51 .34 8.8 41 7.8 4.1 96 300
busybox-1.22.0/date_false-unreach-call_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack 2.8  2.8  34   210 .020  .020  .48 .31 9.3 39 7.0 3.7 100 300
busybox-1.22.0/dirname_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack 350    350    4800   14000 4.0    .48   .49 .32 9.7 40 7.2 3.8 120 310
busybox-1.22.0/du_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack 20    20    260   150 .016  .43   .62 .40 6.2 40 6.9 3.6 160 310
busybox-1.22.0/echo_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack 53    53    650   13000 .045  .51   .54 .34 10   39 6.3 3.4 110 300
busybox-1.22.0/expand_false-unreach-call_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack 22    22    240   140 .020  .69   .46 .30 5.9 39 6.9 3.6 130 300
busybox-1.22.0/fold_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack 4.2  4.2  54   66 .020  .46   .54 .34 8.4 40 7.5 4.0 86 300
busybox-1.22.0/hostid_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack 340    340    3800   14000 3.7    .074  .52 .34 7.0 42 7.0 3.7 88 300
busybox-1.22.0/logname_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack .32 .32 3.1 29 .012  .19   .53 .35 7.3 40 6.5 3.4 120 300
busybox-1.22.0/ls-incomplete_false-unreach-call_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack 25    25    260   180 .037  13      .63 .40 7.7 39 7.7 4.1 91 300
busybox-1.22.0/mkdir_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack 2.4  2.4  32   190 .016  .016  .52 .33 6.5 40 6.3 3.3 110 300
busybox-1.22.0/mkfifo-incomplete_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack .41 .40 3.6 30 .012  0      .64 .40 8.9 40 7.0 3.7 93 300
busybox-1.22.0/od_false-unreach-call_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack 16    16    230   140 .020  .50   .51 .32 9.6 39 7.3 3.8 130 310
busybox-1.22.0/printf_false-unreach-call_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack 20    20    230   130 .025  .43   .63 .41 9.0 42 6.9 3.7 130 310
busybox-1.22.0/readlink_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack .89 .89 11   43 .016  .32   .50 .35 4.9 40 6.6 3.5 110 300
busybox-1.22.0/realpath_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack .41 .41 3.8 31 .012  .13   .51 .34 10   40 8.7 4.5 120 330
busybox-1.22.0/rm_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack 33    33    370   150 .025  0      .51 .34 10   41 5.7 3.0 130 290
busybox-1.22.0/seq_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack .84 .84 9.2 53 .016  0      .56 .34 12   42 6.6 3.5 120 300
busybox-1.22.0/stty_false-unreach-call_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack 40    40    460   180 .033  .63   .57 .37 11   43 7.8 4.1 96 290
busybox-1.22.0/sync_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack .30 .30 2.9 27 .012  0      .51 .33 10   39 7.4 3.9 95 300
busybox-1.22.0/tac_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack 2.6  2.6  32   62 .016  0      .49 .32 10   40 6.8 3.6 140 310
busybox-1.22.0/tee_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack 1.2  1.2  14   51 .016  0      .53 .34 12   40 8.6 4.5 95 320
busybox-1.22.0/test-incomplete_false-unreach-call_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack 18    18    250   150 .016  .15   .49 .32 10   40 7.2 3.8 96 300
busybox-1.22.0/touch_false-unreach-call_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack 2.7  2.7  37   190 .020  .037  .66 .42 8.6 42 6.2 3.3 140 300
busybox-1.22.0/uname_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack 1.2  1.2  14   190 .016  0      .48 .31 8.9 39 6.4 3.4 120 300
busybox-1.22.0/uniq_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack 2.0  2.0  24   54 .016  .13   .54 .35 9.8 41 8.2 4.3 110 310
busybox-1.22.0/usleep_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack .35 .34 3.2 29 .012  .13   .49 .32 9.7 41 7.2 3.8 86 300
busybox-1.22.0/uudecode_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack 5.8  5.8  76   110 .020  .15   .61 .39 8.1 40 8.2 4.4 84 310
busybox-1.22.0/wc_false-unreach-call_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack 2.6  2.6  31   65 .016  .49   .57 .36 5.7 40 6.6 3.4 130 310
busybox-1.22.0/who_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack .86 .86 9.4 41 .016  0      .49 .32 7.5 42 7.2 3.8 110 310
busybox-1.22.0/whoami-incomplete_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack 340    340    3900   14000 3.9    .36   .53 .34 12   39 6.0 3.2 120 310
busybox-1.22.0/yes_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack .38 .39 3.0 33 .012  2.6    .52 .33 11   41 6.8 3.6 84 310
busybox-1.22.0/basename_false-unreach-call_true-no-overflow_false-valid-deref.i no-overflow 850    850    7200   4900 5.6    0      .51 .32 11   40 7.0 3.7 110 310
busybox-1.22.0/basename_false-unreach-call_true-no-overflow_true-valid-memsafety.i no-overflow 850    850    5600   5000 4.9    .025  .58 .37 11   41 6.2 3.2 110 300
busybox-1.22.0/chgrp-incomplete_true-no-overflow_false-valid-memtrack.i no-overflow .35 .35 3.7 29 .012  .14   .58 .37 10   39 5.9 3.2 110 290
busybox-1.22.0/chroot-incomplete_true-no-overflow_true-valid-memsafety.i no-overflow .47 .47 6.0 31 .020  .21   .61 .40 7.7 39 7.8 4.1 80 300
busybox-1.22.0/cut_false-unreach-call_true-no-overflow_true-valid-memsafety.i no-overflow 4.9  4.9  51   96 .020  .10   .65 .41 8.3 41 7.5 4.0 88 300
busybox-1.22.0/date_false-unreach-call_true-no-overflow_true-valid-memsafety.i no-overflow 2.3  2.3  26   200 .020  .016  .66 .42 8.0 39 6.6 3.5 100 290
busybox-1.22.0/dirname_true-no-overflow_true-valid-memsafety.i no-overflow 320    320    3900   14000 2.6    0      .50 .33 11   40 8.4 4.3 89 310
busybox-1.22.0/du_true-no-overflow_true-valid-memsafety.i no-overflow 16    16    160   140 .016  .15   .52 .33 11   39 7.2 3.8 90 300
busybox-1.22.0/echo_true-no-overflow_true-valid-memsafety.i no-overflow 850    850    5800   7300 2.8    .016  .51 .34 11   40 6.8 3.6 110 310
busybox-1.22.0/expand_false-unreach-call_true-no-overflow_true-valid-memsafety.i no-overflow 17    17    200   130 .020  .17   .49 .31 11   39 7.3 3.8 110 300
busybox-1.22.0/fold_true-no-overflow_true-valid-memsafety.i no-overflow 3.2  3.2  40   60 .020  .13   .51 .32 12   39 8.5 4.4 89 310
busybox-1.22.0/head_true-no-overflow_false-valid-deref.i no-overflow 2.8  2.8  39   60 .016  0      .52 .33 11   39 7.2 3.8 97 300
busybox-1.22.0/hostid_true-no-overflow_true-valid-memsafety.i no-overflow 320    320    4100   14000 2.3    .18   .65 .42 9.8 40 8.5 4.4 72 320
busybox-1.22.0/logname_true-no-overflow_true-valid-memsafety.i no-overflow .30 .29 2.9 29 .012  0      .52 .33 9.8 40 7.5 3.9 110 310
busybox-1.22.0/ls-incomplete_false-unreach-call_true-no-overflow_true-valid-memsafety.i no-overflow 19    19    210   150 .037  .061  .55 .35 13   41 8.3 4.4 80 310
busybox-1.22.0/mkdir_true-no-overflow_true-valid-memsafety.i no-overflow 1.9  1.9  23   180 .016  .041  .55 .35 13   44 6.9 3.7 110 300
busybox-1.22.0/mkfifo-incomplete_true-no-overflow_true-valid-memsafety.i no-overflow .37 .36 3.0 29 .012  .041  .51 .33 11   40 8.4 4.4 82 310
busybox-1.22.0/od_false-unreach-call_true-no-overflow_true-valid-memsafety.i no-overflow 13    13    130   120 .020  .10   .51 .34 11   40 7.8 4.1 100 300
busybox-1.22.0/printf_false-unreach-call_true-no-overflow_true-valid-memsafety.i no-overflow 15    15    210   120 .025  .18   .69 .44 7.1 42 8.3 4.4 87 300
busybox-1.22.0/readlink_true-no-overflow_true-valid-memsafety.i no-overflow .77 .76 9.9 40 .016  .041  .64 .41 7.7 40 6.7 3.5 120 310
busybox-1.22.0/realpath_true-no-overflow_true-valid-memsafety.i no-overflow .34 .34 3.7 30 .012  .020  .61 .40 9.7 40 7.5 4.0 98 310
busybox-1.22.0/rm_true-no-overflow_true-valid-memsafety.i no-overflow 24    24    280   130 .025  0      .60 .38 7.3 39 7.9 4.1 120 310
busybox-1.22.0/seq_true-no-overflow_true-valid-memsafety.i no-overflow .73 .73 7.4 48 .016  0      .55 .34 13   43 6.6 3.5 91 300
busybox-1.22.0/sleep_true-no-overflow_false-valid-deref.i no-overflow .89 .89 11   36 .012  0      .53 .34 13   42 6.6 3.5 110 300
busybox-1.22.0/stty_false-unreach-call_true-no-overflow_true-valid-memsafety.i no-overflow 31    31    300   170 .033  .60   .50 .33 12   40 6.9 3.7 120 310
busybox-1.22.0/sync_true-no-overflow_true-valid-memsafety.i no-overflow .30 .29 2.7 29 .012  .016  .68 .44 8.5 41 7.9 4.1 100 300
busybox-1.22.0/tac_true-no-overflow_true-valid-memsafety.i no-overflow 2.1  2.1  27   55 .016  .086  .63 .38 10   42 7.9 4.2 83 300
busybox-1.22.0/tee_true-no-overflow_true-valid-memsafety.i no-overflow .98 .98 10   45 .016  0      .56 .35 11   39 7.8 4.1 110 320
busybox-1.22.0/test-incomplete_false-unreach-call_true-no-overflow_true-valid-memsafety.i no-overflow 14    14    170   130 .016  .012  .66 .42 8.1 40 8.2 4.3 100 310
busybox-1.22.0/touch_false-unreach-call_true-no-overflow_true-valid-memsafety.i no-overflow 2.2  2.2  27   180 .020  0      .61 .39 8.2 39 8.1 4.2 110 320
busybox-1.22.0/uname_true-no-overflow_true-valid-memsafety.i no-overflow 1.1  1.1  14   190 .016  .016  .65 .42 7.8 42 7.7 4.0 110 310
busybox-1.22.0/uniq_true-no-overflow_true-valid-memsafety.i no-overflow 1.6  1.6  19   46 .016  .14   .52 .34 12   41 7.6 4.0 71 290
busybox-1.22.0/usleep_true-no-overflow_true-valid-memsafety.i no-overflow .32 .31 2.8 29 .012  0      .51 .32 11   40 8.3 4.4 81 300
busybox-1.22.0/uudecode_true-no-overflow_true-valid-memsafety.i no-overflow 4.6  4.6  47   100 .020  0      .51 .33 11   40 8.1 4.2 88 310
busybox-1.22.0/wc_false-unreach-call_true-no-overflow_true-valid-memsafety.i no-overflow 2.0  2.0  24   58 .016  .13   .50 .32 12   42 7.6 4.0 92 300
busybox-1.22.0/who_true-no-overflow_true-valid-memsafety.i no-overflow .72 .71 7.8 42 .016  .016  .56 .36 14   44 7.3 3.9 88 300
busybox-1.22.0/whoami-incomplete_true-no-overflow_true-valid-memsafety.i no-overflow 310    310    4200   14000 2.4    .22   .59 .37 11   43 6.3 3.3 100 300
busybox-1.22.0/yes_true-no-overflow_true-valid-memsafety.i no-overflow .34 .33 3.1 32 .012  .041  .66 .42 7.6 40 8.5 4.4 120 320
ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko_false-unreach-call.cil.out.i.pp.i unreach-call 4.5  4.5  50   250 .0082 0      .48 .32 5.8 40 8.1 4.2 140 330
ldv-linux-3.0/module_get_put-drivers-block-loop.ko_false-unreach-call.cil.out.i.pp.i unreach-call 240    240    1400   1000 .0082 0      .73 .45 9.3 43 7.4 3.9 140 310
ldv-linux-3.0/module_get_put-drivers-block-pktcdvd.ko_false-unreach-call.cil.out.i.pp.i unreach-call 25    25    300   340 .0082 0      .49 .32 11   40 8.8 4.6 77 310
ldv-linux-3.0/module_get_put-drivers-isdn-gigaset-gigaset.ko_false-unreach-call.cil.out.i.pp.i unreach-call 54    54    380   2300 .0082 0      97    76    2100   3300 11   5.7 180 340
ldv-linux-3.0/module_get_put-drivers-isdn-mISDN-mISDN_core.ko_false-unreach-call.cil.out.i.pp.i unreach-call 850    850    9200   6900 .0082 0      .48 .31 9.7 39 7.7 4.0 150 320
ldv-linux-3.0/module_get_put-drivers-net-ppp_generic.ko_false-unreach-call.cil.out.i.pp.i unreach-call 850    850    5400   2700 .0082 0      .51 .32 12   40 7.4 3.9 130 310
ldv-linux-3.0/module_get_put-drivers-net-wan-farsync.ko_false-unreach-call.cil.out.i.pp.i unreach-call 5.8  5.8  65   180 .0082 0      .50 .32 10   39 8.1 4.3 85 300
ldv-linux-3.0/module_get_put-drivers-tty-synclink_gt.ko_false-unreach-call.cil.out.i.pp.i unreach-call 850    850    4200   4400 .0082 0      .49 .31 8.6 40 7.2 3.8 100 310
ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko_false-unreach-call.cil.out.i.pp.i unreach-call 850    850    10000   2700 .0082 0      .50 .33 13   39 8.9 4.7 120 320
ldv-linux-3.0/usb_urb-drivers-hid-usbhid-usbmouse.ko_false-unreach-call.cil.out.i.pp.i unreach-call 5.0  5.0  56   270 .21   0      11    5.6  150   410 52   29   890 940
ldv-linux-3.0/usb_urb-drivers-input-misc-keyspan_remote.ko_false-unreach-call.cil.out.i.pp.i unreach-call 850    850    7200   1300 12      0      .54 .35 12   43 7.4 3.9 89 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 850    850    4200   2800 .0082 13      .47 .31 4.4 40 7.8 4.1 94 300
ldv-linux-3.0/usb_urb-drivers-net-can-usb-ems_usb.ko_false-unreach-call.cil.out.i.pp.i unreach-call 42    42    450   3300 .0082 0      98    85    1100   3100 17   9.4 270 490
ldv-linux-3.0/usb_urb-drivers-net-usb-catc.ko_false-unreach-call.cil.out.i.pp.i unreach-call 65    65    850   14000 .0082 0      .53 .35 9.2 40 8.0 4.2 140 330
ldv-linux-3.0/usb_urb-drivers-staging-lirc-lirc_imon.ko_false-unreach-call.cil.out.i.pp.i unreach-call 36    36    470   700 1.6    0      97    73    2000   3800 18   9.7 380 500
ldv-linux-3.0/usb_urb-drivers-usb-misc-iowarrior.ko_false-unreach-call.cil.out.i.pp.i unreach-call 2.7  2.7  29   290 .0082 0      97    74    1100   4200 30   17   670 790
ldv-linux-3.0/module_get_put-drivers-atm-eni.ko_true-unreach-call.cil.out.i.pp.i unreach-call 850    850    6200   4200 .0082 .0041 .64 .41 7.8 39 7.4 3.9 140 310
ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko_true-unreach-call.cil.out.i.pp.i unreach-call 680    680    6100   7100 29      0      33    17    330   940 960   750   25000 1400
ldv-linux-3.0/module_get_put-drivers-block-paride-pt.ko_true-unreach-call.cil.out.i.pp.i unreach-call 850    850    3400   810 0      0      .48 .31 6.6 40 6.8 3.6 110 300
ldv-linux-3.0/module_get_put-drivers-bluetooth-btmrvl.ko_true-unreach-call.cil.out.i.pp.i unreach-call 850    850    4100   3500 .0082 .55   .59 .38 9.5 39 8.2 4.3 140 330
ldv-linux-3.0/module_get_put-drivers-char-ipmi-ipmi_watchdog.ko_true-unreach-call.cil.out.i.pp.i unreach-call 850    850    4100   2400 25      0      .67 .43 7.5 40 7.3 3.8 150 330
ldv-linux-3.0/module_get_put-drivers-gpu-drm-i915-i915.ko_true-unreach-call.cil.out.i.pp.i unreach-call 850    850    8100   3200 65      0      .63 .39 8.2 39 9.1 4.7 170 340
ldv-linux-3.0/module_get_put-drivers-hid-hid-magicmouse.ko_true-unreach-call.cil.out.i.pp.i unreach-call 850    850    3000   2800 0      0      .51 .33 7.7 40 7.1 3.7 110 300
ldv-linux-3.0/module_get_put-drivers-hwmon-it87.ko_true-unreach-call.cil.out.i.pp.i unreach-call 850    850    4900   1200 26      0      .51 .33 10   40 7.7 4.0 120 330
ldv-linux-3.0/module_get_put-drivers-net-atl1c-atl1c.ko_true-unreach-call.cil.out.i.pp.i unreach-call 850    850    7000   3000 25      0      .61 .37 9.3 42 7.2 3.8 140 310
ldv-linux-3.0/module_get_put-drivers-net-pppox.ko_true-unreach-call.cil.out.i.pp.i unreach-call 850    850    6300   3300 7.4    0      .67 .42 8.6 39 6.3 3.4 110 300
ldv-linux-3.0/module_get_put-drivers-net-sis900.ko_true-unreach-call.cil.out.i.pp.i unreach-call 850    850    4100   2600 .025  .16   .48 .31 10   40 6.8 3.6 130 310
ldv-linux-3.0/module_get_put-drivers-scsi-megaraid.ko_true-unreach-call.cil.out.i.pp.i unreach-call 850    850    4800   5900 .0082 0      .52 .33 9.3 40 7.5 4.0 150 320
ldv-linux-3.0/module_get_put-drivers-staging-et131x-et131x.ko_true-unreach-call.cil.out.i.pp.i unreach-call 850    850    7000   14000 32      11      .50 .32 9.2 41 7.1 3.7 140 310
ldv-linux-3.0/module_get_put-drivers-video-aty-aty128fb.ko_true-unreach-call.cil.out.i.pp.i unreach-call 850    850    8300   3400 .0082 0      .73 .45 8.4 41 9.6 5.0 110 310
ldv-linux-3.0/usb_urb-drivers-input-tablet-kbtab.ko_true-unreach-call.cil.out.i.pp.i unreach-call 850    850    5000   2100 5.3    0      .57 .37 11   43 7.8 4.0 90 310
ldv-linux-3.0/usb_urb-drivers-media-video-c-qcam.ko_true-unreach-call.cil.out.i.pp.i unreach-call 850    850    5800   3200 .025  .23   .49 .31 9.1 40 7.5 3.9 160 310
ldv-linux-3.0/usb_urb-drivers-media-video-msp3400.ko_true-unreach-call.cil.out.i.pp.i unreach-call 850    850    5900   4700 28      0      .62 .40 8.2 39 6.1 3.3 120 300
ldv-linux-3.0/usb_urb-drivers-misc-c2port-core.ko_true-unreach-call.cil.out.i.pp.i unreach-call 850    850    3900   1000 .025  0      .54 .35 12   40 6.8 3.6 120 310
ldv-linux-3.0/usb_urb-drivers-mtd-sm_ftl.ko_true-unreach-call.cil.out.i.pp.i unreach-call 850    850    5500   1600 .0082 .36   .70 .44 9.0 42 6.8 3.6 100 310
ldv-linux-3.0/usb_urb-drivers-scsi-dc395x.ko_true-unreach-call.cil.out.i.pp.i unreach-call 850    850    3800   2800 .0082 0      .63 .39 7.1 40 7.8 4.1 160 310
ldv-linux-3.0/usb_urb-drivers-usb-serial-ir-usb.ko_true-unreach-call.cil.out.i.pp.i unreach-call 850    850    4800   1800 7.9    0      .68 .42 7.8 41 7.3 3.8 140 300
ldv-linux-3.0/usb_urb-drivers-usb-serial-whiteheat.ko_true-unreach-call.cil.out.i.pp.i unreach-call 850    850    9300   910 .025  0      .66 .42 7.2 39 7.9 4.1 150 320
ldv-linux-3.0/usb_urb-drivers-uwb-i1480-dfu-i1480-dfu-usb.ko_true-unreach-call.cil.out.i.pp.i unreach-call 850    850    9400   950 .025  0      .57 .37 12   43 6.5 3.4 140 300
ldv-linux-3.0/usb_urb-drivers-vhost-vhost_net.ko_true-unreach-call.cil.out.i.pp.i unreach-call 850    850    6500   14000 .025  0      .48 .32 11   40 7.3 3.8 130 320
ldv-linux-3.0/usb_urb-drivers-video-arkfb.ko_true-unreach-call.cil.out.i.pp.i unreach-call 850    850    6700   5700 .0082 0      .68 .42 7.8 40 6.9 3.6 130 310
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 850    850    5500   4800 .012  0      .51 .33 12   41 8.5 4.4 140 330
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 4.5  4.5  58   1200 .012  0      .54 .34 6.4 42 7.1 3.7 110 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 15    15    210   420 .012  0      .60 .39 9.6 40 7.2 3.8 120 300
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 1.3  1.3  14   130 .012  0      31    22    290   880 11   5.8 150 340
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--media--dvb--dvb-usb--dvb-usb-dib0700.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call 75    75    960   14000 .012  .098  .51 .34 9.6 40 8.2 4.3 170 330
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 850    850    2900   2800 .012  0      .48 .32 7.3 40 7.5 4.0 150 310
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 40    40    450   13000 .012  .074  .53 .34 14   42 7.0 3.7 100 310
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 45    45    620   13000 .012  .074  .51 .33 12   40 8.0 4.2 120 310
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 850    850    6200   1100 .012  0      .52 .33 7.4 40 7.5 4.0 140 320
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 38    38    500   14000 .012  0      .52 .33 12   40 7.0 3.6 130 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 850    850    4300   4900 .012  0      .46 .31 5.3 40 8.8 4.6 110 310
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 850    850    7300   4400 .012  0      .51 .33 13   40 8.5 4.4 150 350
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 850    850    5200   3700 .012  0      .50 .32 5.2 41 10   5.3 130 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 44    44    550   13000 .012  0      .56 .38 13   44 7.2 3.8 130 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 850    850    7500   3900 .012  0      .54 .35 14   40 8.7 4.6 100 320
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 130    130    1300   13000 .012  0      .54 .35 13   40 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 850    850    5000   3700 .012  0      .49 .32 8.7 39 8.9 4.7 120 320
ldv-linux-3.4-simple/32_7_cpp_false-unreach-call_single_drivers-media-video-vivi.cil.out.c unreach-call 4.2  4.2  52   440 .012  0      .52 .35 10   42 9.1 4.7 140 340
ldv-linux-3.4-simple/32_7_cpp_false-unreach-call_single_drivers-mtd-chips-cfi_cmdset_0001.cil.out.c unreach-call 440    440    2800   2400 .012  0      23    12    380   930 17   8.7 310 350
ldv-linux-3.4-simple/32_7_cpp_false-unreach-call_single_drivers-net-phy-dp83640.cil.out.c unreach-call 6.1  6.0  64   630 .012  0      28    15    190   1300 19   10   210 360
ldv-linux-3.4-simple/32_7_cpp_false-unreach-call_single_drivers-net-wireless-mwl8k.cil.out.c unreach-call 850    850    6300   2500 .012  0      .55 .34 11   39 11   5.9 100 340
ldv-linux-3.4-simple/32_7_cpp_false-unreach-call_single_drivers-net-wireless-p54-p54usb.cil.out.c unreach-call 850    850    4600   3800 .012  .61   .49 .32 12   40 10   5.4 130 340
ldv-linux-3.4-simple/32_7_cpp_false-unreach-call_single_drivers-staging-media-dt3155v4l-dt3155v4l.cil.out.c unreach-call 7.5  7.5  88   1000 .012  0      26    14    560   1000 17   8.8 310 340
ldv-linux-3.4-simple/32_7_cpp_false-unreach-call_single_drivers-usb-image-microtek.cil.out.c unreach-call 1.8  1.8  17   180 .012  0      27    15    510   1300 18   9.5 270 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 850    850    3800   13000 .012  0      .72 .46 6.5 43 7.6 4.0 140 320
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 850    850    4200   4000 .012  0      .54 .34 13   41 7.5 3.9 160 300
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 850    850    6000   3600 .012  0      .50 .33 13   39 9.3 4.8 100 320
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 570    570    3100   9100 .69   .66   97    81    1100   2200 31   17   500 810
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 850    850    5000   5700 .012  0      .48 .32 13   40 8.2 4.3 110 330
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 850    850    4100   7300 .012  0      .50 .31 12   40 8.9 4.7 120 330
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 850    850    4500   4700 55      0      .59 .38 8.7 40 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--acpi--bgrt.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call 850    850    5600   14000 58      0      .64 .41 7.2 40 6.3 3.4 120 310
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 850    850    10000   14000 23      0      .49 .32 12   39 6.8 3.6 140 300
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 850    850    6900   1600 11      0      .60 .38 9.5 40 6.7 3.6 130 300
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 850    850    7000   14000 26      .074  .53 .34 11   40 6.4 3.3 110 300
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 850    850    6600   14000 29      .074  .51 .32 7.9 42 6.4 3.4 100 290
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 850    850    4600   3800 35      0      .51 .33 13   40 6.5 3.4 120 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 850    850    5100   14000 23      0      .68 .43 7.2 42 6.9 3.6 140 310
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 310    310    1600   15000 45      0      .51 .34 9.5 40 6.2 3.2 120 300
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 850    850    10000   13000 12      0      .48 .31 11   40 6.7 3.6 140 300
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 850    850    4000   4700 6.0    0      .54 .35 9.6 40 6.9 3.6 110 300
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 850    850    7900   14000 190      .074  .69 .44 8.7 40 6.6 3.5 140 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 850    850    6900   14000 .012  .074  .51 .33 10   39 7.3 3.8 150 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 850    850    5600   14000 120      .074  .53 .34 11   40 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--block--paride--dstr.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call 850    850    5100   14000 120      0      .57 .37 14   46 8.2 4.3 110 310
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 850    850    5200   14000 72      0      .67 .42 7.8 41 7.6 3.9 130 310
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 850    850    4900   14000 56      .074  .51 .32 11   39 6.6 3.5 130 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 850    850    11000   14000 510      0      .66 .43 7.4 39 6.0 3.2 130 290
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 850    850    6200   14000 190      0      .64 .40 7.8 40 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--block--paride--friq.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call 850    850    4800   14000 52      0      .64 .40 7.9 40 8.4 4.4 170 320
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 850    850    4900   14000 48      0      .53 .34 13   41 7.8 4.1 82 310
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 850    850    7600   14000 190      0      .54 .33 12   41 7.3 3.8 150 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 850    850    7700   14000 510      .012  .53 .33 12   40 5.5 2.9 83 290
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 850    850    7200   14000 170      .078  .59 .36 8.6 40 6.7 3.6 140 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 850    850    5300   14000 89      .078  .51 .33 12   41 7.7 4.0 150 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 850    850    3900   14000 .012  .074  .60 .38 9.6 40 5.9 3.1 110 300
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 850    850    4600   13000 26      0      .55 .35 10   39 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--char--ramoops.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call 850    850    3800   4700 6.7    0      .50 .33 12   39 6.8 3.6 74 300
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 850    850    6700   14000 8.5    .074  .63 .39 7.3 40 6.9 3.6 100 310
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 850    850    7800   13000 94      0      .53 .35 8.8 39 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--clocksource--cs5535-clockevt.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call 850    850    4400   4500 38      0      .67 .42 9.1 40 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--cpufreq--cpufreq_powersave.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call 850    850    4400   14000 16      .078  .65 .41 8.5 40 5.9 3.1 110 290
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 850    850    8400   14000 30      .074  .66 .43 7.9 41 6.5 3.4 120 290
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 850    850    5000   13000 20      0      .55 .35 9.7 39 5.8 3.1 91 290
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 850    850    6000   3400 28      0      .70 .44 7.6 40 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--firmware--google--memconsole.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call 850    850    9300   13000 19      0      .57 .36 8.6 42 6.4 3.4 120 300
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 850    850    5700   1500 26      0      .54 .34 11   42 6.2 3.3 100 300
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 850    850    7600   14000 13      0      .59 .38 10   41 6.5 3.4 130 300
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 850    850    6000   2300 34      0      .58 .37 8.9 40 6.7 3.5 110 310
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 850    850    11000   13000 .47   13      .51 .33 13   40 5.7 3.1 120 290
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 850    850    6800   1900 110      0      .64 .41 8.1 41 6.2 3.3 130 290
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 850    850    6300   5400 15      0      .49 .30 12   39 6.1 3.3 120 300
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 850    850    7100   13000 54      0      .58 .36 8.8 41 6.1 3.3 110 300
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 850    850    3800   4300 6.4    0      .54 .35 13   41 6.4 3.4 140 290
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 850    850    8000   1400 10      0      .48 .31 11   39 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--hid--hid-cherry.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call 850    850    6700   13000 52      0      .52 .33 11   39 7.0 3.6 120 310
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 850    850    6900   13000 33      0      .50 .33 9.9 39 6.7 3.5 150 310
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 850    850    5300   6000 39      0      .66 .41 9.2 40 5.8 3.1 120 290
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 850    850    6000   14000 20      0      .60 .38 10   41 6.4 3.4 120 310
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 850    850    6900   14000 29      13      .63 .41 6.9 40 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--hid--hid-kensington.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call 850    850    6700   14000 22      0      .48 .30 7.2 40 6.6 3.5 140 310
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 850    850    5100   11000 24      0      .54 .33 7.9 40 6.3 3.4 120 300
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 850    850    7400   13000 47      0      .61 .38 8.7 39 8.1 4.2 95 310
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 850    850    6600   13000 27      0      .49 .32 13   39 6.7 3.6 140 310
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 850    850    2900   2500 31      13      .54 .35 13   41 6.5 3.4 120 300
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 850    850    8500   14000 16      .26   .54 .35 11   40 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--hid--hid-primax.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call 850    850    9700   14000 1.9    .070  .64 .41 8.2 42 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--hid--hid-saitek.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call 850    850    5200   6700 36      0      .65 .41 7.4 40 7.6 4.0 150 310
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 850    850    8400   14000 33      0      .61 .39 9.3 43 7.0 3.7 140 300
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 850    850    5300   4600 23      0      .64 .41 7.8 40 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--hid--hid-sunplus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call 850    850    7100   14000 40      0      .52 .35 12   39 7.4 3.9 85 300
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 850    850    6900   13000 37      0      .68 .42 8.3 40 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--hid--hid-topseed.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call 850    850    6700   14000 40      .074  .50 .32 11   41 6.4 3.4 130 300
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 850    850    7300   13000 60      11      .61 .39 9.2 40 6.0 3.2 110 300
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 850    850    4800   14000 15      13      .60 .38 7.6 41 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--hid--hid-wacom.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call 850    850    7100   14000 110      0      .64 .41 7.7 40 6.4 3.4 110 300
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 730    730    8000   15000 53      .074  .64 .41 8.2 42 6.4 3.4 120 300
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 850    850    8800   14000 81      .078  .71 .46 7.9 43 5.7 3.0 110 290
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 850    850    6300   2800 47      0      .53 .33 9.4 43 7.1 3.7 110 300
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 850    850    5400   13000 .037  0      .53 .34 10   42 9.9 5.1 110 330
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 850    850    5400   14000 6.1    0      .61 .39 5.5 39 6.2 3.3 130 300
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 850    850    9900   13000 25      .074  .65 .40 7.5 40 6.7 3.6 140 320
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 850    850    6500   13000 22      .14   .48 .31 10   39 7.5 3.9 79 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 850    850    4500   14000 6.6    0      .51 .31 11   40 6.3 3.3 110 300
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 850    850    4800   1400 13      0      .73 .47 8.9 45 6.6 3.5 130 300
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 850    850    4000   1400 15      0      .65 .41 8.3 41 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--hwmon--smsc47b397.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call 850    850    7400   13000 14      0      .54 .35 10   40 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--i2c--algos--i2c-algo-pca.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call 850    850    6600   2100 .0041 0      .64 .41 7.2 40 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--i2c--busses--i2c-diolan-u2c.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call 850    850    7900   13000 .012  0      .75 .46 8.4 42 6.5 3.4 140 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 .37 .37 3.9 26 .0082 0      7.2  3.9  85   290 20   10   380 560
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 850    850    9700   14000 21      0      .51 .33 11   40 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--i2c--i2c-smbus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call 850    850    7000   14000 19      .074  .59 .39 8.6 39 8.2 4.3 90 300
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 850    850    9100   14000 79      0      .66 .41 10   41 8.6 4.5 110 320
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 850    850    5300   3400 32      0      .62 .40 7.6 40 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--input--gameport--lightning.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call 850    850    6900   14000 120      0      .56 .35 9.4 40 6.4 3.4 120 300
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 850    850    8800   13000 55      0      .64 .41 8.0 40 6.7 3.5 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 850    850    7900   13000 33      0      .55 .36 9.1 39 6.0 3.2 120 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 850    850    6200   13000 37      0      .63 .40 6.5 41 6.4 3.4 93 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 850    850    9700   13000 15      0      .63 .41 8.1 40 6.1 3.3 110 290
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 850    850    11000   13000 51      0      .57 .35 7.9 40 6.7 3.6 120 290
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 850    850    6100   13000 160      0      .54 .35 10   39 6.7 3.5 140 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 850    850    6000   13000 25      0      .50 .33 13   40 6.8 3.6 120 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 850    850    6800   14000 9.8    0      .68 .42 11   44 6.1 3.2 130 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 850    850    8000   14000 37      0      .50 .32 11   41 6.8 3.5 130 300
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 850    850    8300   13000 30      0      .67 .43 7.6 41 7.5 4.0 85 300
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 850    850    10000   14000 31      0      .49 .31 11   40 7.0 3.7 130 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 850    850    8800   13000 29      0      .68 .43 7.8 40 6.5 3.5 130 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 850    850    6000   13000 6.5    0      .52 .33 9.1 40 6.1 3.3 120 290
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 850    850    4900   14000 33      0      .50 .32 10   39 8.2 4.3 97 310
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 850    850    8200   14000 34      0      .66 .41 12   43 6.1 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--adxl34x-spi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call 850    850    5000   4500 29      0      .52 .33 6.8 42 6.3 3.3 130 310
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 850    850    5800   14000 38      0      .48 .32 11   39 6.1 3.2 110 290
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 850    850    7100   14000 98      0      .60 .38 8.4 40 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--misc--cma3000_d0x_i2c.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call 850    850    4400   13000 39      0      .49 .32 13   39 6.5 3.4 110 300
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 850    850    8300   13000 4.1    0      .48 .30 9.4 40 6.7 3.6 140 300
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 850    850    8200   13000 16      0      .65 .42 7.3 41 6.8 3.6 120 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 850    850    7800   13000 7.5    0      .67 .41 7.7 40 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--misc--pcf50633-input.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call 850    850    8700   14000 10      0      .53 .33 9.6 39 6.6 3.5 140 300
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 850    850    8400   13000 16      0      .49 .31 8.8 39 6.7 3.4 130 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 850    850    6600   14000 27      0      .62 .38 11   43 6.6 3.5 130 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 850    850    6900   13000 6.6    0      .50 .33 14   40 6.2 3.3 98 300
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 850    850    5900   14000 61      .18   .50 .31 11   39 6.4 3.5 120 300
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 850    850    7200   13000 24      0      .52 .33 8.8 39 6.6 3.4 97 310
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 850    850    5300   13000 20      0      .65 .40 7.7 40 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--input--serio--ct82c710.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call 850    850    7400   13000 22      0      .54 .34 10   40 6.3 3.3 110 300
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 540    540    3900   15000 90      0      .50 .31 10   39 6.1 3.2 110 300
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 850    850    5600   4500 61      0      .66 .41 7.2 40 6.2 3.3 89 300
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 850    850    6800   14000 46      0      .56 .35 8.7 40 7.0 3.7 130 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 850    850    7300   14000 12      .074  .61 .39 9.0 42 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--eeti_ts.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call 850    850    9000   13000 8.9    0      .67 .42 8.6 40 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--touchscreen--egalax_ts.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call 850    850    8300   13000 23      .074  .53 .33 13   39 7.9 4.2 85 290
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 850    850    7200   14000 12      0      .55 .34 10   40 6.5 3.5 120 320
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 850    850    6800   14000 13      0      .54 .34 10   39 6.3 3.4 130 300
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 850    850    7100   14000 13      .074  .49 .31 11   40 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--input--touchscreen--inexio.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call 850    850    7500   14000 11      0      .49 .32 6.2 42 6.5 3.4 140 300
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 850    850    8100   14000 16      0      .52 .33 10   40 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--mk712.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call 850    850    4600   6600 53      0      .63 .40 8.3 39 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--mtouch.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call 850    850    8100   13000 14      0      .54 .35 9.7 40 5.7 3.1 120 290
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 850    850    6800   13000 120      .074  .62 .41 8.4 40 6.1 3.2 110 300
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 850    850    7100   13000 19      11      .67 .42 8.5 39 6.2 3.3 100 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 850    850    8300   14000 12      0      .62 .39 8.5 43 6.9 3.6 110 300
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 850    850    7600   14000 13      0      .55 .35 11   42 6.5 3.4 140 300
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 850    850    7200   13000 11      .074  .49 .32 11   40 6.4 3.4 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 850    850    6300   14000 13      0      .64 .41 7.1 40 6.8 3.6 110 310
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 850    850    8700   14000 74      .074  .51 .33 11   39 6.3 3.4 140 300
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 850    850    6500   14000 11      .074  .51 .32 12   41 7.4 3.9 120 340
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 850    850    9000   14000 42      0      .60 .36 8.0 40 7.3 3.9 98 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 850    850    9800   540 2.7    0      .63 .41 9.5 45 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--isdn--hardware--avm--t1pci.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call 850    850    8500   14000 14      .074  .57 .36 11   41 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--isdn--hardware--eicon--divadidd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call 850    850    2800   890 .012  0      .51 .32 11   40 7.7 4.0 150 320
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--isdn--hisax--avma1_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call 850    850    7800   14000 50      .18   .56 .36 9.5 42 7.2 3.8 150 320
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 850    850    7000   14000 8.3    0      .58 .38 9.2 39 6.4 3.4 120 300
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 850    850    6800   14000 8.2    .26   .48 .31 9.2 39 6.4 3.4 120 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 850    850    6500   14000 8.5    0      .57 .36 13   45 6.4 3.4 120 300
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 .59 .58 5.8 59 .0082 0      7.4  3.9  130   330 16   8.8 330 490
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 850    850    8400   13000 53      0      .52 .34 7.9 40 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--leds--leds-dac124s085.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call 850    850    8100   13000 31      .23   .55 .34 9.2 39 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--leds--leds-lp5521.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call 850    850    9000   14000 56      0      .51 .33 10   39 6.7 3.5 100 290
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 850    850    4300   2700 19      0      .56 .37 9.4 41 5.8 3.1 110 300
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 850    850    7500   13000 37      .074  .67 .41 8.3 41 5.8 3.1 110 290
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 850    850    7800   13000 40      0      .50 .33 13   40 6.0 3.2 87 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 850    850    7700   14000 26      0      .51 .33 13   40 8.2 4.3 82 300
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 850    850    6400   14000 67      .074  .50 .32 12   39 5.8 3.1 110 290
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 850    850    6000   14000 42      0      .67 .41 8.4 42 5.8 3.1 120 290
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 850    850    7400   13000 9.4    0      .65 .40 8.6 39 6.7 3.5 140 290
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 850    850    7300   14000 22      .18   .55 .35 9.2 39 6.1 3.2 130 300
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 850    850    6300   14000 .012  0      .51 .32 9.3 40 6.8 3.6 120 300
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 850    850    6500   14000 42      0      .62 .41 7.8 40 6.8 3.6 140 310
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 850    850    5400   14000 46      13      .60 .37 9.4 40 7.1 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--mt20xx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call 850    850    5800   14000 69      .074  .69 .44 8.2 42 6.6 3.5 150 310
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 850    850    5500   13000 47      0      .47 .31 10   39 6.0 3.2 110 290
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 850    850    7800   14000 56      0      .51 .32 9.8 39 6.6 3.5 120 290
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 850    850    3500   14000 .012  0      .50 .33 11   40 7.4 3.9 160 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 850    850    8800   14000 40      0      .65 .40 9.1 41 7.7 4.0 160 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 850    850    4700   14000 13      0      .52 .34 13   40 6.5 3.4 130 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 850    850    5200   4800 .0041 0      .61 .38 5.6 39 7.3 3.8 150 310
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 850    850    6400   14000 93      .20   .60 .38 11   46 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--media--dvb--bt8xx--dvb-bt8xx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call 850    850    5300   14000 .037  0      .48 .32 9.7 39 8.7 4.6 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-a800.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call 850    850    5600   14000 26      0      .65 .42 8.6 40 9.0 4.7 91 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-au6610.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call 33    33    460   13000 .0041 0      .51 .33 12   41 6.8 3.7 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-az6007.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call 44    44    540   14000 .012  0      .55 .35 11   43 7.4 3.9 120 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 130    130    1300   12000 .037  0      .62 .41 7.6 40 7.4 3.9 140 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-ce6230.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call 33    33    400   13000 .012  0      .67 .42 9.5 42 7.2 3.8 160 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_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call 850    850    6700   13000 17      0      .57 .35 12   44 7.5 3.9 140 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 850    850    5400   14000 18      0      .55 .34 7.0 39 7.1 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--dvb-usb--dvb-usb-dibusb-common.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call 850    850    5100   6700 9.5    0      .65 .41 6.2 41 6.7 3.6 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-dibusb-mb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call 850    850    7500   14000 36      0      .58 .38 12   41 8.9 4.6 99 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-dibusb-mc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call 850    850    10000   470 5.6    0      .70 .44 8.9 39 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--media--dvb--dvb-usb--dvb-usb-digitv.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call 41    41    540   14000 .012  .074  .49 .32 11   40 8.0 4.2 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-dtt200u.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call 850    850    9300   14000 25      0      .67 .42 6.9 39 7.0 3.7 140 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_main1_sequence_infinite_withcheck_stateful.cil.out.c unreach-call 850    850    8200   14000 32      0      .49 .34 4.2 40 7.2 3.8 150 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-dtv5100.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call 34    34    510   13000 .0041 0      .62 .39 10   42 6.8 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--dvb-usb--dvb-usb-gl861.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call 32    32    410   13000 .0041 0      .53 .34 10   42 7.0 3.7 120 290
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 10    10    100   510 .012  0      .55 .35 11   39 9.6 5.0 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-mxl111sf.ko-ldv_main3_sequence_infinite_withcheck_stateful.cil.out.c unreach-call 850    850    3100   4000 6.8    0      .68 .43 8.2 42 8.3 4.3 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-nova-t-usb2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call 850    850    6300   14000 31      0      .53 .34 12   44 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 53    53    560   14000 .012  .074  .51 .32 14   39 7.4 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--dvb-usb--dvb-usb-rtl28xxu.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call 850    850    8600   14000 55      .074  .55 .35 9.6 39 7.1 3.8 160 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 850    850    5700   7700 .037  0      .63 .41 8.3 39 7.3 3.9 140 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-umt-010.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call 850    850    4000   2300 32      0      .51 .33 11   39 9.6 4.9 120 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-vp7045.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call 39    39    490   14000 .0041 0      .50 .31 11   43 7.5 4.0 130 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 180    180    1600   14000 .012  0      .66 .42 8.0 40 8.7 4.5 170 310
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 850    850    8800   13000 .012  0      .65 .40 6.3 39 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--dvb--frontends--cxd2820r.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call 15    15    140   430 .012  0      .66 .40 7.5 39 7.5 3.9 150 310
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 850    850    8800   2100 .0041 13      .66 .41 6.6 39 7.1 3.7 140 310
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 850    850    4800   14000 .012  0      .70 .43 8.5 41 8.0 4.1 150 330
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 850    850    4400   14000 18      0      .62 .38 6.6 39 6.5 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--frontends--ec100.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call 850    850    4600   14000 37      0      .54 .34 9.7 40 6.1 3.3 120 290
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 850    850    2900   4100 6.5    0      .72 .46 6.8 39 6.1 3.3 82 290
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 850    850    4900   4300 6.5    0      .60 .38 8.8 42 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--it913x-fe.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call 850    850    4600   13000 .012  0      .67 .43 7.8 40 7.5 3.9 160 330
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 850    850    3600   4500 6.5    0      .64 .41 8.9 40 6.0 3.2 110 290
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 850    850    3200   3900 6.5    0      .52 .32 11   40 6.6 3.5 120 310
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 67    67    770   13000 .070  .074  .56 .36 11   40 6.8 3.6 110 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 850    850    6500   14000 52      0      .59 .38 8.6 40 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--media--dvb--frontends--tda18271c2dd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call 850    850    6200   14000 80      0      .63 .40 8.9 41 8.6 4.4 140 330
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 850    850    7100   14000 90      .11   .57 .36 10   42 6.1 3.2 95 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 850    850    8000   14000 58      .074  .55 .35 12   41 6.6 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--ttpci--budget-patch.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call 850    850    4600   4100 .012  0      .48 .31 10   40 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--ttpci--budget.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call 850    850    6900   6700 .0041 0      .53 .34 13   42 7.4 3.8 140 300
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 850    850    3400   3900 7.1    0      .62 .38 11   43 6.1 3.3 120 300
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 850    850    3500   4600 6.6    0      .51 .34 4.1 39 5.7 3.1 130 290
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 850    850    3100   4000 6.5    0      .58 .37 7.7 39 6.1 3.2 120 300
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 850    850    2600   4100 6.8    0      .51 .32 11   39 5.8 3.1 110 310
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 850    850    2900   4100 6.6    0      .49 .31 10   39 5.6 3.1 120 290
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 850    850    2700   3800 6.8    0      .49 .32 11   41 6.0 3.2 87 300
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 850    850    2900   4200 6.6    0      .60 .37 13   44 6.6 3.5 120 320
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 850    850    2500   4100 6.7    0      .50 .32 9.9 42 6.5 3.4 140 300
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 850    850    3000   4200 6.7    0      .58 .37 8.3 40 6.5 3.4 100 300
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 850    850    4100   4400 6.7    0      .69 .44 7.7 41 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--media--rc--keymaps--rc-avermedia-m135a.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call 850    850    3800   4100 6.7    0      .58 .36 7.8 42 6.1 3.2 130 300
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 850    850    3500   4500 6.8    0      .60 .40 7.7 40 7.4 3.9 73 300
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 850    850    3300   3900 6.8    0      .48 .32 10   41 5.8 3.1 120 300
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 850    850    3900   4600 6.8    0      .58 .37 14   42 6.3 3.3 110 300
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 850    850    3500   4600 6.7    13      .47 .30 12   40 5.6 3.0 77 300
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 850    850    3300   4400 6.1    13      .50 .32 12   40 6.3 3.4 120 300
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 850    850    3700   4600 6.7    0      .50 .32 9.6 40 6.2 3.3 110 310
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 850    850    4000   4600 6.5    0      .56 .35 11   42 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--media--rc--keymaps--rc-budget-ci-old.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call 850    850    3200   4200 6.1    0      .52 .33 11   40 6.2 3.3 130 300
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 850    850    4000   4400 6.1    13      .47 .31 11   40 6.5 3.5 97 300
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 850    850    4500   4600 6.6    0      .60 .39 6.7 40 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--media--rc--keymaps--rc-dib0700-nec.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call 850    850    2700   3900 6.0    13      .50 .33 11   40 6.4 3.4 99 290
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 850    850    3500   4300 6.6    0      .52 .33 11   39 6.0 3.2 120 300
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 850    850    3800   4400 7.0    0      .48 .32 10   40 6.0 3.2 110 300
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 850    850    3600   4400 6.0    0      .54 .33 11   42 5.5 3.0 120 290
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 850    850    3600   4600 6.6    0      .61 .39 8.3 39 5.7 3.0 100 290
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 850    850    4800   4600 7.1    0      .52 .32 13   40 5.8 3.1 100 300
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 850    850    3200   4400 6.7    0      .62 .40 7.7 40 5.4 2.9 91 280
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 850    850    3700   4400 6.6    0      .72 .44 9.2 44 6.6 3.5 96 290
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 850    850    3300   4300 6.8    0      .62 .40 8.3 39 6.1 3.3 130 300
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 850    850    2600   4000 6.7    0      .56 .36 11   42 6.0 3.2 110 310
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 850    850    4000   4600 6.7    0      .64 .39 8.5 41 6.4 3.4 110 310
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 850    850    3300   4200 6.7    0      .53 .34 12   41 5.7 3.0 110 300
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 850    850    3700   4300 6.5    0      .65 .41 8.6 40 5.7 3.1 100 290
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 850    850    3300   4500 6.5    0      .49 .31 9.4 39 5.9 3.2 120 310
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 850    850    2100   3900 6.8    0      .56 .34 12   41 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--media--rc--keymaps--rc-fusionhdtv-mce.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call 850    850    3400   4000 6.7    0      .65 .40 7.6 40 5.8 3.1 120 300
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 850    850    4000   4600 6.7    0      .49 .32 11   40 5.9 3.1 120 300
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 850    850    2800   4000 6.7    0      .58 .37 9.5 43 6.3 3.3 110 300
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 850    850    2400   3900 6.6    0      .49 .32 13   40 6.1 3.3 120 300
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 850    850    3200   4100 6.6    0      .62 .39 9.4 41 6.0 3.2 130 300
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 850    850    3400   4500 6.6    0      .49 .33 8.2 44 6.5 3.4 120 300
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 850    850    3400   4600 6.9    0      .66 .41 7.4 40 6.1 3.2 130 290
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 850    850    2800   3800 6.7    0      .51 .33 11   41 5.5 3.0 130 300
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 850    850    3100   4200 6.9    0      .57 .36 10   40 6.1 3.2 120 310
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 850    850    2100   4100 6.9    0      .50 .32 11   40 5.6 3.0 98 290
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 850    850    4200   4500 6.8    0      .52 .33 11   39 5.9 3.1 81 300
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 850    850    4100   4500 6.6    12      .71 .44 7.5 44 6.1 3.3 120 300
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 850    850    2200   4100 6.8    0      .51 .32 11   40 6.0 3.2 130 300
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 850    850    3500   4400 6.8    .0041 .51 .32 9.9 42 5.9 3.1 75 300
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 850    850    3200   4400 6.7    0      .64 .41 9.0 42 6.7 3.5 120 310
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 850    850    3400   4400 6.9    0      .69 .43 7.3 41 5.8 3.1 120 300
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 850    850    3800   4500 6.6    0      .51 .33 12   39 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--media--rc--keymaps--rc-manli.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call 850    850    3800   4600 6.5    0      .64 .41 8.5 42 6.2 3.3 130 300
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 850    850    5100   4600 6.6    8.6    .52 .33 13   41 5.9 3.1 110 300
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 850    850    4700   4600 6.7    0      .66 .41 7.5 40 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--media--rc--keymaps--rc-msi-digivox-iii.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call 850    850    3400   4200 6.7    0      .67 .43 8.6 40 6.0 3.2 110 310
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 850    850    3500   4600 6.1    0      .51 .33 12   40 6.0 3.2 120 300
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 850    850    4200   4600 6.7    0      .53 .34 11   44 5.8 3.1 120 300
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 850    850    3800   4400 6.0    0      .50 .32 10   39 5.9 3.1 120 300
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 850    850    4900   4900 6.8    0      .66 .42 7.8 40 6.0 3.2 100 300
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 850    850    3600   4500 7.4    0      .52 .33 14   39 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--rc--keymaps--rc-npgtech.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call 850    850    3400   4300 6.6    0      .67 .42 8.2 41 5.9 3.1 120 310
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 850    850    3300   4100 6.6    0      .67 .42 7.7 39 6.8 3.6 95 300
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 850    850    4200   4400 6.7    0      .71 .45 8.6 44 5.7 3.0 100 300
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 850    850    3300   4200 6.7    0      .52 .33 10   42 7.0 3.7 100 300
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 850    850    3600   4500 6.7    0      .50 .33 9.0 40 5.8 3.1 120 300
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 850    850    3900   4400 6.1    13      .58 .35 9.7 40 6.0 3.2 110 300
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 850    850    2900   4400 6.7    0      .53 .34 8.9 39 6.1 3.2 84 290
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 850    850    2800   4000 6.7    .0041 .50 .33 7.3 40 6.7 3.6 91 290
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 850    850    3000   4300 6.6    0      .51 .33 14   40 6.1 3.2 110 300
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 850    850    3200   4400 6.8    0      .63 .40 9.1 42 6.0 3.2 130 300
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 850    850    3500   4500 6.7    0      .51 .33 14   40 6.2 3.2 110 300
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 850    850    3800   4400 6.6    0      .78 .49 7.5 45 6.0 3.2 95 300
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 850    850    3500   4400 6.5    0      .65 .41 8.0 39 6.0 3.2 120 290
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 850    850    4800   4400 7.2    0      .63 .40 9.0 40 5.6 3.1 120 290
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 850    850    4300   4600 6.9    0      .48 .30 8.4 40 6.1 3.2 120 300
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 850    850    3700   4300 6.7    .0041 .53 .35 11   40 6.9 3.6 130 320
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-streamzap.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call 850    850    3200   4400 6.6    0      .58 .37 11   41 5.7 3.1 110 300
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-tbs-nec.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call 850    850    5000   4500 6.6    .19   .77 .46 7.1 43 6.7 3.6 83 290
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-technisat-usb2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call 850    850    3300   4400 6.7    0