Tool CPAchecker 1.6.1-svn 24714M CPAchecker 1.6.1-svn 24677M
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 2
Host apollon*
OS Linux 4.4.0-77-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33553 MB
Run set bmc-bitprecise.BMC.DeviceDriversLinux64 k-induction-bitprecise.k-Induction-inv-combined.DeviceDriversLinux64 predicateAnalysis-bitprecise.PredicateAbstraction.DeviceDriversLinux64 impact-bitprecise.Impact.DeviceDriversLinux64
Options -heap 10000M -noout -disable-java-assertions -bmc -setprop cpa.bounds.maxLoopIterationsUpperBound=0 -setprop cpa.bounds.maxLoopIterations=1 -setprop cpa.bounds.maxLoopIterationAdjusterFactory=INCREMENT -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -setprop solver.solver=MATHSAT5 -setprop cpa.predicate.encodeBitvectorAs=BITVECTOR -setprop cpa.predicate.encodeFloatAs=FLOAT -setprop analysis.checkCounterexamples=true -setprop counterexample.checker=CBMC -setprop analysis.summaryEdges=true -setprop cpa.callstack.skipVoidRecursion=true -setprop cpa.callstack.skipFunctionPointerRecursion=true -heap 10000M -noout -disable-java-assertions -setprop solver.solver=MATHSAT5 -setprop cpa.predicate.encodeBitvectorAs=BITVECTOR -setprop cpa.predicate.encodeFloatAs=FLOAT -setprop analysis.checkCounterexamples=false -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -setprop analysis.summaryEdges=true -setprop cpa.callstack.skipVoidRecursion=true -setprop cpa.callstack.skipFunctionPointerRecursion=true -jar17-k-induction -heap 10000M -noout -disable-java-assertions -predicateAnalysis-PredAbsRefiner-ABEl-bitprecise -setprop solver.solver=MATHSAT5 -setprop cpa.predicate.encodeBitvectorAs=BITVECTOR -setprop cpa.predicate.encodeFloatAs=FLOAT -setprop analysis.checkCounterexamples=true -setprop counterexample.checker=CBMC -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -setprop analysis.summaryEdges=true -setprop cpa.callstack.skipVoidRecursion=true -setprop cpa.callstack.skipFunctionPointerRecursion=true -heap 10000M -noout -disable-java-assertions -predicateAnalysis-ImpactRefiner-ABEl-bitprecise -setprop cpa.predicate.encodeFloatAs=FLOAT -setprop analysis.checkCounterexamples=true -setprop counterexample.checker=CBMC -setprop cpa.forcedCovering=cpa.predicate.PredicateForcedCovering -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -setprop cfa.simplifyCfa=true -setprop cfa.allowBranchSwapping=true -setprop analysis.summaryEdges=true
test/programs/benchmarks/ status cputime (s) walltime (s) memUsage host k BMC formula creation (s) SMT check (s) Bounds check (s) status cputime (s) walltime (s) memUsage host k BMC formula creation (s) SMT check (s) Invariant generation (s) Bounds check (s) Induction formula creation (s) Induction check (s) status cputime (s) walltime (s) memUsage host Refinement (s) Precision adjustment (s) CPA algorithm (s) Post operator (s) Prec operator (s) Boolean abstraction (s) Abstraction (s) Solving (s) Model enumeration (s) SMT without itp (s) status cputime (s) walltime (s) memUsage host Attempted forced coverings Successful forced coverings Refinement (s) Precision adjustment (s) CPA algorithm (s) Post operator (s) Prec operator (s) Boolean abstraction (s) Abstraction (s) Solving (s) Model enumeration (s) SMT without itp (s) Forced covering (s)
ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko_false-unreach-call.cil.out.i.pp.i 21.1  13.2  695951360 apollon159 1 .700 .697 32.2  16.4  1225158656 apollon077 1 .756 1.46  1.22  21.7  15.1  696979456 apollon025 4.62  3.36  3.96  .431 3.32  3.14  3.31  2.97  .151 3.12  174    164    14999998464 apollon168
ldv-linux-3.0/module_get_put-drivers-block-loop.ko_false-unreach-call.cil.out.i.pp.i 918    791    8023314432 apollon019 9 775     .00  5.02  901    451    8568115200 apollon047 1000    969    1392992256 apollon097 1000    973    1247260672 apollon112
ldv-linux-3.0/module_get_put-drivers-block-pktcdvd.ko_false-unreach-call.cil.out.i.pp.i 907    882    7873056768 apollon133 2 69.8   16.4   790     903    453    8569147392 apollon136 449     902    883    1846857728 apollon133 35.9   825     844     10.4   825     763     824     566     193     759     32.2  24.4  393846784 apollon097 74 2 8.93  2.29  10.9   .985 2.19  1.93  2.18  1.88  .043 2.51  7.08 
ldv-linux-3.0/module_get_put-drivers-isdn-gigaset-gigaset.ko_false-unreach-call.cil.out.i.pp.i 910    883    8347332608 apollon019 4 317     21.8   534     901    451    6084022272 apollon044 437     901    886    1910837248 apollon130 85.9   758     797     16.3   758     728     758     591     137     728     902    891    1390141440 apollon154 21 17 1.01  50.0   884     2.71  49.9   48.0   49.9   44.6   3.31  48.0   829    
ldv-linux-3.0/module_get_put-drivers-isdn-mISDN-mISDN_core.ko_false-unreach-call.cil.out.i.pp.i 64.9  54.8  936185856 apollon113 2 2.24  15.5   10.1   901    451    4101021696 apollon018 407     139    126    1160876032 apollon033 22.0   93.8   99.2   2.49  93.7   91.5   93.7   79.1   12.3   91.4   901    885    1120354304 apollon101 947 58 148     41.3   731     3.15  41.1   39.3   41.1   33.5   5.79  87.3   681    
ldv-linux-3.0/module_get_put-drivers-net-ppp_generic.ko_false-unreach-call.cil.out.i.pp.i 16.9  11.1  593608704 apollon116 1 1.77  .572 43.1  21.7  1217011712 apollon063 1 2.69  1.33  17.6   16.3  9.72 527728640 apollon111 .753 4.03  5.27  .636 3.94  3.49  3.94  3.36  .120 3.48  20.1  11.8  540712960 apollon148 2 1 1.24  3.96  5.74  .916 3.86  3.44  3.83  3.29  .140 3.45  .035
ldv-linux-3.0/module_get_put-drivers-net-wan-farsync.ko_false-unreach-call.cil.out.i.pp.i 917    819    7130316800 apollon130 33 804     .003 6.84  901    452    7599579136 apollon118 448     1000    970    4168753152 apollon149 1000    969    2694742016 apollon110
ldv-linux-3.0/module_get_put-drivers-tty-synclink_gt.ko_false-unreach-call.cil.out.i.pp.i 45.6  26.5  1454858240 apollon168 1 13.7   .127 909    796    6221074432 apollon096 1 24.0   .317 789     902    861    4287180800 apollon100 7.61  742     849     63.9   729     639     727     612     27.3   639     903    877    2387828736 apollon109 562 501 .695 172     870     17.8   171     156     171     150     5.36  155     671    
ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko_false-unreach-call.cil.out.i.pp.i 915    824    6018199552 apollon055 1 811     138    69.4  4054507520 apollon026 1 1.71  17.3   47.6   926    770    8196661248 apollon015 20.8   755     459     4.82  .128 .00  .00  .00  16.5  8.45 526454784 apollon144 0 .020 1.16  .841 .002 .00  .00  .00  .00  .019
ldv-linux-3.0/usb_urb-drivers-hid-usbhid-usbmouse.ko_false-unreach-call.cil.out.i.pp.i 32.5  28.7  614285312 apollon133 3 .680 1.52  .435 929    865    4207165440 apollon006 3 1.21  3.34  861     .967 4.20  5.99  978    967    1501478912 apollon090 52.3   834     835     .564 834     832     834     11.7   816     827     912    906    5314887680 apollon111
ldv-linux-3.0/usb_urb-drivers-input-misc-keyspan_remote.ko_false-unreach-call.cil.out.i.pp.i 907    873    8631873536 apollon151 15 101     385     361     901    451    4038344704 apollon063 447     901    881    5379575808 apollon041 340     520     538     6.83  517     358     516     310     32.3   343     902    884    1428381696 apollon074 9921 627 230     51.2   652     3.37  51.0   38.8   50.9   33.3   5.12  117     594    
ldv-linux-3.0/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko_false-unreach-call.cil.out.i.pp.i 9.38 5.59 580014080 apollon091 1 .503 .100 904    824    5071028224 apollon057 1 .679 .249 817     397    369    1825574912 apollon136 89.3   159     175     11.0   158     132     157     122     9.90  132     85.9  72.2  1255636992 apollon093 111 33 18.0   36.5   46.2   2.71  36.4   32.3   36.3   28.6   3.62  32.6   5.85 
ldv-linux-3.0/usb_urb-drivers-net-can-usb-ems_usb.ko_false-unreach-call.cil.out.i.pp.i 407    401    3579023360 apollon133 1 .774 .207 961    481    7689445376 apollon011 902    871    3631034368 apollon056 119     680     749     32.2   671     464     669     390     68.9   459     902    883    1095831552 apollon161 6230 204 401     121     479     7.59  120     97.0   120     70.4   25.9   116     345    
ldv-linux-3.0/usb_urb-drivers-net-usb-catc.ko_false-unreach-call.cil.out.i.pp.i 19.2  14.9  1318404096 apollon058 1 .989 .287 918    818    5047406592 apollon129 1 1.58  .618 814     1000    980    11230609408 apollon143 573    557    14999998464 apollon059
ldv-linux-3.0/usb_urb-drivers-staging-lirc-lirc_imon.ko_false-unreach-call.cil.out.i.pp.i 14.0  10.1  451112960 apollon014 2 .782 .346 .070 910    797    4078489600 apollon019 2 .938 1.38  793     .133 2.15  85.2   901    889    2402713600 apollon071 51.0   824     835     3.65  824     795     824     437     358     795     901    895    1136353280 apollon145 14 4 2.30  3.73  889     .808 3.65  3.24  3.64  3.00  .217 3.27  884    
ldv-linux-3.0/usb_urb-drivers-usb-misc-iowarrior.ko_false-unreach-call.cil.out.i.pp.i 61.1  54.3  751288320 apollon132 2 1.84  2.81  .892 901    451    5347164160 apollon162 447     1000    978    1747349504 apollon138 945    926    1486004224 apollon062 603 136 113     49.4   766     2.55  49.2   45.0   49.2   36.1   8.76  48.8   711    
ldv-linux-3.0/module_get_put-drivers-atm-eni.ko_true-unreach-call.cil.out.i.pp.i 935    740    9916805120 apollon015 2 674     .00  50.7   901    452    7767662592 apollon159 448     127    106    2611294208 apollon007 .786 72.0   102     22.7   70.9   63.5   70.5   61.8   1.62  63.4   13.4  6.96 436297728 apollon108 0 .157 2.82  1.78  .033 .002 .00  .00  .00  .022
ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko_true-unreach-call.cil.out.i.pp.i 923    763    9101164544 apollon105 4 705     .001 39.6   901    451    6619152384 apollon162 37.0  21.5  860352512 apollon043 .298 8.75  14.9   4.31  8.55  7.42  8.47  7.16  .230 7.39  79.8  55.8  890564608 apollon094 0 .297 34.8   45.4   7.49  34.5   30.5   34.4   29.4   1.09  30.5   .035
ldv-linux-3.0/module_get_put-drivers-block-paride-pt.ko_true-unreach-call.cil.out.i.pp.i 914    834    8081391616 apollon019 7 688     .001 136     901    451    5444042752 apollon002 1 .577 .00  447     1.41  1000    702    10940698624 apollon148 98.3   656     339     8.50  .279 .00  .00  .00  906    823    5575712768 apollon064 0 8.15  815     706     1.41  .054 .00  .00  .00  .542
ldv-linux-3.0/module_get_put-drivers-bluetooth-btmrvl.ko_true-unreach-call.cil.out.i.pp.i 903    874    5179691008 apollon116 5 813     .00  57.0   242    122    4131848192 apollon053 1 .678 .00  118     .119 12.3  7.69 464318464 apollon094 .051 3.25  4.71  .701 3.15  2.89  3.12  2.78  .100 2.88  8.14 4.29 305582080 apollon129 0 .032 .636 .342 .002 .001 .00  .00  .00  .003
ldv-linux-3.0/module_get_put-drivers-char-ipmi-ipmi_watchdog.ko_true-unreach-call.cil.out.i.pp.i 13.9  8.12 548900864 apollon081 2 2.87  .00  2.31  901    832    5608398848 apollon153 5.63 2.95 291708928 apollon111 .040 .466 .298 .010 .00  .00  .00  .00  7.08 3.77 310095872 apollon160 0 .050 .531 .319 .006 .001 .00  .00  .00  .00 
ldv-linux-3.0/module_get_put-drivers-gpu-drm-i915-i915.ko_true-unreach-call.cil.out.i.pp.i 909    864    6634553344 apollon056 4 229     .001 622     272    137    4665884672 apollon018 1 4.79  .00  121     33.9   69.3  55.7  1282101248 apollon161 .437 41.5   47.7   4.13  41.4   38.9   41.3   38.4   .496 38.9   137    118    1642754048 apollon139 0 .416 99.1   106     4.52  99.0   90.1   98.9   88.0   1.97  90.0   .018
ldv-linux-3.0/module_get_put-drivers-hid-hid-magicmouse.ko_true-unreach-call.cil.out.i.pp.i 913    866    11101544448 apollon139 5 315     .00  540     33.4  16.9  1305063424 apollon125 1 2.71  .00  14.2   8.46  6.17 3.58 319111168 apollon133 .035 .814 1.47  .377 .760 .657 .745 .633 .020 .653 4.74 2.60 270090240 apollon072 0 .019 .356 .145 .001 .001 .00  .00  .00  .00 
ldv-linux-3.0/module_get_put-drivers-hwmon-it87.ko_true-unreach-call.cil.out.i.pp.i 904    880    7075528704 apollon039 11 104     .002 771     43.2  21.7  1166938112 apollon166 1 1.48  .00  18.3   16.6   35.1  28.3  606060544 apollon116 .541 22.5   24.6   1.23  22.4   21.9   22.4   20.9   .939 21.9   51.0  41.7  639500288 apollon108 0 .515 34.1   37.5   2.10  33.9   33.3   33.9   31.7   1.50  33.2   .033
ldv-linux-3.0/module_get_put-drivers-net-atl1c-atl1c.ko_true-unreach-call.cil.out.i.pp.i 1000    773    11213426688 apollon018 3 699     .00  50.5   901    451    7507390464 apollon131 446     48.7  33.4  1549623296 apollon140 .042 12.9   28.9   7.82  12.0   9.00  11.8   8.57  .353 8.92  152    135    1469861888 apollon141 0 .044 110     129     8.93  109     84.7   109     80.4   3.72  84.2   .078
ldv-linux-3.0/module_get_put-drivers-net-pppox.ko_true-unreach-call.cil.out.i.pp.i 904    897    5349920768 apollon115 52 1.76  750     123     902    453    6663532544 apollon089 449     4.22 2.30 278474752 apollon062 .026 .066 .398 .233 .046 .032 .041 .022 .001 .023 5.56 3.02 274317312 apollon084 0 .031 .077 .605 .360 .056 .037 .055 .035 .00  .035 .00 
ldv-linux-3.0/module_get_put-drivers-net-sis900.ko_true-unreach-call.cil.out.i.pp.i 929    732    11068751872 apollon054 3 694     .00  22.1   901    451    8419188736 apollon063 447     41.4  26.4  1093484544 apollon102 .487 13.4   22.2   4.18  12.5   9.88  12.3   9.43  .348 9.78  60.6  41.6  1230708736 apollon119 0 .623 22.5   36.7   7.99  21.5   15.6   21.3   14.7   .568 15.2   .142
ldv-linux-3.0/module_get_put-drivers-scsi-megaraid.ko_true-unreach-call.cil.out.i.pp.i 923    772    8895729664 apollon130 2 717     .00  42.2   901    451    8776302592 apollon167 447     674    607    6198718464 apollon062 6.95  445     595     112     419     372     417     345     26.3   372     901    804    6429130752 apollon097 0 6.94  96.5   793     595     85.5   76.5   83.5   70.6   5.89  76.5   34.4  
ldv-linux-3.0/module_get_put-drivers-staging-et131x-et131x.ko_true-unreach-call.cil.out.i.pp.i 923    784    10380939264 apollon028 3 521     .00  246     901    451    5861199872 apollon137 446     1000    726    10899587072 apollon123 95.2   675     151     6.43  .212 .00  .00  .00  919    788    7103963136 apollon156 0 14.0   769     528     2.55  .105 .00  .00  .00  1.04 
ldv-linux-3.0/module_get_put-drivers-video-aty-aty128fb.ko_true-unreach-call.cil.out.i.pp.i 948    814    10978422784 apollon125 3 687     .00  113     901    451    7514775552 apollon158 448     138    113    3581927424 apollon054 3.41  68.8   105     22.4   65.2   56.6   64.6   54.9   1.68  56.6   197    171    4156178432 apollon109 0 3.57  114     163     27.8   111     95.1   110     92.0   2.90  94.9   1.23 
ldv-linux-3.0/usb_urb-drivers-input-tablet-kbtab.ko_true-unreach-call.cil.out.i.pp.i 902    894    2718527488 apollon126 18 2.51  729     150     902    452    5108998144 apollon164 8.56 5.47 350236672 apollon002 .441 2.48  2.96  .228 2.43  2.07  2.42  1.67  .371 2.04  97.4  92.8  793944064 apollon086 45 0 51.2   6.78  39.3   .448 6.72  6.04  6.71  4.40  1.60  11.3   31.3  
ldv-linux-3.0/usb_urb-drivers-media-video-c-qcam.ko_true-unreach-call.cil.out.i.pp.i 1000    743    11891716096 apollon145 5 938    470    9066799104 apollon101 466     1000    577    10945978368 apollon074 177     522     115     11.7   .407 .00  .00  .00  1000    657    10772963328 apollon086 0 134     615     370     7.72  1.56  .00  .00  .00  1.95 
ldv-linux-3.0/usb_urb-drivers-media-video-msp3400.ko_true-unreach-call.cil.out.i.pp.i 911    838    8122183680 apollon063 4 688     .001 140     901    451    6633402368 apollon144 401    362    5181149184 apollon147 2.49  280     352     28.8   262     230     261     221     8.99  230     904    851    5548736512 apollon161 0 2.40  480     842     297     474     403     473     384     18.6   403     .465
ldv-linux-3.0/usb_urb-drivers-misc-c2port-core.ko_true-unreach-call.cil.out.i.pp.i 912    857    7667593216 apollon143 16 123     .001 706     136    69.2  3896647680 apollon091 1 .757 .00  62.4   .601 15.7  8.16 480632832 apollon114 .094 2.93  5.28  1.18  2.65  1.72  2.55  1.58  .070 1.65  17.4  9.47 504631296 apollon119 0 .236 3.30  6.41  1.73  3.00  1.93  2.90  1.69  .087 1.77  .073
ldv-linux-3.0/usb_urb-drivers-mtd-sm_ftl.ko_true-unreach-call.cil.out.i.pp.i 18.0  13.2  649969664 apollon003 2 1.68  .00  8.08  932    767    8861609984 apollon164 1 1.76  .00  14.7   5.14 2.72 280395776 apollon126 .019 .373 .252 .004 .001 .00  .00  .00  5.92 3.16 279539712 apollon153 0 .028 .475 .283 .005 .00  .00  .00  .00  .001
ldv-linux-3.0/usb_urb-drivers-scsi-dc395x.ko_true-unreach-call.cil.out.i.pp.i 927    751    10921885696 apollon006 2 677     .00  58.7   901    451    7375437824 apollon033 142    124    1850781696 apollon058 .368 104     120     8.88  104     95.3   103     92.8   2.43  95.2   164    144    2371272704 apollon061 0 .407 115     139     13.3   114     104     114     102     2.75  104     .225
ldv-linux-3.0/usb_urb-drivers-usb-serial-ir-usb.ko_true-unreach-call.cil.out.i.pp.i 124    86.3  11194445824 apollon127 901    451    4218372096 apollon016 443     5.51 2.97 303497216 apollon056 .047 .301 .774 .251 .247 .186 .241 .172 .005 .177 7.76 4.21 295510016 apollon069 0 .050 .345 1.30  .464 .290 .216 .278 .203 .006 .209 .001
ldv-linux-3.0/usb_urb-drivers-usb-serial-whiteheat.ko_true-unreach-call.cil.out.i.pp.i 1000    765    11633029120 apollon140 113    56.7  3798065152 apollon055 1 2.41  .00  52.9   9.61  19.0  11.5  571412480 apollon127 .104 6.64  8.78  1.32  6.49  5.74  6.45  5.45  .239 5.69  24.9  14.9  482861056 apollon066 0 .101 8.19  11.3   1.92  8.07  7.05  8.04  6.67  .317 6.99  .103
ldv-linux-3.0/usb_urb-drivers-uwb-i1480-dfu-i1480-dfu-usb.ko_true-unreach-call.cil.out.i.pp.i 1000    745    11308916736 apollon012 901    451    7539843072 apollon128 449     1000    626    10777702400 apollon132 92.3   587     197     9.83  .625 .00  .00  .00  930    680    10230915072 apollon105 0 156     654     354     8.08  .507 .00  .00  .00  8.27 
ldv-linux-3.0/usb_urb-drivers-vhost-vhost_net.ko_true-unreach-call.cil.out.i.pp.i 954    861    9816092672 apollon076 2 257     .001 589     817    411    8439357440 apollon031 1 7.01  .00  403     21.2   70.7  55.5  1365692416 apollon140 .317 43.1   51.7   5.28  42.4   37.7   42.2   36.6   .984 37.6   104    83.2  2036482048 apollon155 0 .306 60.6   77.0   10.2   59.8   51.4   59.5   49.6   1.59  51.1   1.22 
ldv-linux-3.0/usb_urb-drivers-video-arkfb.ko_true-unreach-call.cil.out.i.pp.i 962    797    10412818432 apollon030 4 616     .00  162     901    452    10619932672 apollon035 448     19.6  13.7  684007424 apollon071 .081 8.83  11.0   1.07  8.68  8.27  8.64  8.13  .127 8.26  30.2  19.4  718966784 apollon061 0 .224 10.9   15.5   2.17  10.6   10.2   10.6   10.0   .141 10.2   .011
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 561    520    14999998464 apollon093 962    482    6634799104 apollon092 21.5  12.8  1098457088 apollon133 3.41  .315 .885 .354 .283 .231 .277 .223 .007 .230 25.0  14.5  1386143744 apollon152 0 3.51  .353 1.16  .517 .307 .231 .300 .223 .007 .230 .003
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 352    340    14999998464 apollon161 901    451    4501737472 apollon145 445     126    119    14999998464 apollon099 165    157    14999998464 apollon069
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 158    152    14999998464 apollon168 374    187    14999998464 apollon079 179    171    14999998464 apollon022 159    150    14999998464 apollon160
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 13.0  8.10 509603840 apollon112 1 .629 1.01  24.3  12.3  924966912 apollon117 1 .782 2.15  6.30  8.82 5.09 449703936 apollon064 1.12  .012 .298 .212 .001 .00  .00  .00  .00  14.1  7.87 485167104 apollon158 0 1.35  .029 .427 .276 .002 .00  .00  .00  .00  .00 
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 43.7  35.8  2416390144 apollon077 1 1.09  3.47  114    57.3  3100864512 apollon061 1 1.58  8.25  50.2   13.5  8.15 869580800 apollon012 1.18  .693 1.23  .360 .664 .531 .663 .525 .005 .530 19.8  11.2  1078763520 apollon105 0 1.82  .716 1.70  .692 .685 .549 .684 .543 .003 .546 .001
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 1000    955    7275728896 apollon063 907    457    8149262336 apollon043 1 411     434     904    864    9338679296 apollon066 .863 528     858     195     527     523     526     525     .238 525     32.8  19.6  726175744 apollon088 0 .142 12.6   7.62  .034 .004 .00  .00  .00  .006
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 9.58 5.33 479309824 apollon125 1 1.30  .026 15.7  8.03 613380096 apollon121 1 1.91  .067 4.44  6.52 3.50 337408000 apollon002 .163 .032 .386 .220 .004 .00  .00  .00  .00  10.6  5.60 368492544 apollon075 0 .314 .034 .483 .268 .009 .001 .00  .00  .00  .002
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 201    189    14999998464 apollon160 901    451    5584809984 apollon024 202    196    14999998464 apollon006 211    203    14999998464 apollon083
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 9.52 5.54 499552256 apollon029 1 .511 .015 17.3  8.83 843329536 apollon107 1 .767 .037 4.66  8.12 4.88 468512768 apollon019 .320 .046 .259 .136 .039 .023 .039 .015 .00  .015 13.5  7.60 505311232 apollon153 0 .430 .057 .322 .158 .042 .027 .042 .018 .00  .018 .001
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 349    343    6106722304 apollon118 1 1.28  .785 916    458    11605577728 apollon131 1 1.61  1.02  454     19.1  15.0  1194491904 apollon013 .639 .879 1.65  .413 .832 .689 .824 .660 .024 .684 21.6  15.6  1229430784 apollon095 0 .879 .878 1.73  .524 .813 .683 .801 .650 .019 .669 .00 
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 12.9  7.42 652472320 apollon126 1 1.33  .098 26.7  13.5  1291825152 apollon121 1 2.16  .277 9.31  14.6  8.14 663089152 apollon124 .495 .098 2.39  1.27  .022 .002 .00  .00  .00  17.3  9.59 667770880 apollon152 0 .902 .093 3.06  1.61  .019 .001 .00  .00  .00  .015
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 910    530    10821636096 apollon139 1 931    467    10929254400 apollon003 17.5  11.3  776151040 apollon068 3.22  .548 .930 .246 .535 .486 .532 .474 .007 .481 22.8  13.9  841809920 apollon103 0 3.33  .558 1.10  .396 .543 .474 .542 .465 .007 .472 .001
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 52.1  35.2  3910901760 apollon015 1 2.50  .716 238    120    5478936576 apollon112 1 3.89  1.22  62.5   10.6  5.86 597106688 apollon039 .904 .021 .729 .510 .006 .006 .00  .00  .00  15.3  8.27 627388416 apollon067 0 1.29  .031 .704 .473 .002 .00  .00  .00  .00  .001
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 8.87 5.01 362512384 apollon126 1 .588 .033 11.0  5.66 503050240 apollon149 1 .692 .069 2.64  7.60 4.36 357449728 apollon148 .329 .016 .300 .189 .003 .001 .00  .00  .00  6.97 3.58 358674432 apollon095 0 .378 .013 .226 .137 .001 .001 .00  .00  .00  .001
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 37.8  22.5  2159529984 apollon045 1 4.92  .481 124    62.5  4723716096 apollon122 1 6.37  1.47  47.9   8.81 4.87 430575616 apollon060 .504 .017 .392 .240 .002 .001 .00  .00  .00  14.2  7.66 440139776 apollon101 0 .649 .050 .578 .336 .007 .00  .00  .00  .00  .001
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 63.0  52.7  1199116288 apollon141 1 3.94  1.00  196    98.3  4301582336 apollon139 1 7.08  2.49  91.8   78.2  74.4  8981192704 apollon086 109    102    14999998464 apollon159
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 907    877    8125313024 apollon168 1 54.3   .00  812     903    454    11018719232 apollon070 443     904    885    3208159232 apollon062 .448 845     879     17.3   844     822     843     813     9.01  822     903    886    2913554432 apollon147 0 1.54  854     878     12.1   852     821     852     809     12.6   821     .078
ldv-linux-3.4-simple/32_7_cpp_false-unreach-call_single_drivers-media-video-vivi.cil.out.c 41.1  27.0  1718091776 apollon140 2 7.05  4.53  4.11  12.7  6.93 1385271296 apollon024 406    395    2052497408 apollon009 377     9.17  12.3   2.05  9.10  8.48  9.08  7.52  .944 8.46  274    256    1834627072 apollon134 2 0 226     13.1   18.5   2.96  13.0   12.2   13.0   10.8   1.33  12.2   .914
ldv-linux-3.4-simple/32_7_cpp_false-unreach-call_single_drivers-mtd-chips-cfi_cmdset_0001.cil.out.c 14.1  7.70 749031424 apollon006 1 .836 .054 12.4  6.66 1121075200 apollon059 256    244    1158901760 apollon122 108     128     130     1.76  128     120     128     89.8   30.1   120     27.2  17.4  969408512 apollon135 0 1.74  6.43  7.36  .587 6.39  5.87  6.39  5.56  .300 5.86  .003
ldv-linux-3.4-simple/32_7_cpp_false-unreach-call_single_drivers-net-phy-dp83640.cil.out.c 32.0  20.9  1602789376 apollon016 1 2.24  4.97  14.9  8.62 1056288768 apollon008 633    607    3028979712 apollon131 233     347     357     6.70  347     332     347     156     176     332     902    877    2253414400 apollon165 13788 175 127     40.4   736     3.32  40.2   35.6   40.2   34.7   .829 35.6   691    
ldv-linux-3.4-simple/32_7_cpp_false-unreach-call_single_drivers-net-wireless-mwl8k.cil.out.c 218    181    4730351616 apollon107 1 18.8   99.0   23.8  13.2  1613680640 apollon014 905    865    9031139328 apollon123 457     369     392     9.39  368     299     368     188     78.1   266     905    873    2690002944 apollon129 3494 87 142     79.7   714     3.48  79.5   71.3   79.5   69.5   1.80  71.6   629    
ldv-linux-3.4-simple/32_7_cpp_false-unreach-call_single_drivers-net-wireless-p54-p54usb.cil.out.c 25.4  16.4  1619693568 apollon047 1 1.51  3.25  16.3  9.52 1450065920 apollon019 45.3  31.5  1764495360 apollon157 7.77  11.4   14.8   2.02  11.3   10.3   11.3   9.93  .327 10.3   78.2  51.4  1918062592 apollon164 0 10.2   17.0   24.7   4.78  16.8   15.2   16.7   14.7   .516 15.2   .018
ldv-linux-3.4-simple/32_7_cpp_false-unreach-call_single_drivers-staging-media-dt3155v4l-dt3155v4l.cil.out.c 17.2  9.59 969826304 apollon051 1 1.54  .072 13.5  7.54 1035894784 apollon048 902    878    3601682432 apollon165 188     655     682     11.1   653     543     652     392     132     524     902    877    1689559040 apollon103 3055 0 145     125     721     5.66  125     112     125     102     9.83  115     586    
ldv-linux-3.4-simple/32_7_cpp_false-unreach-call_single_drivers-usb-image-microtek.cil.out.c 17.1  9.64 1208516608 apollon069 1 .883 .199 13.8  7.84 1175117824 apollon026 20.0  11.8  1061478400 apollon156 1.66  .568 1.41  .431 .530 .466 .525 .440 .020 .460 25.9  14.3  1267986432 apollon079 0 1.78  .513 1.63  .553 .465 .401 .464 .385 .015 .400 .00 
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 961    888    9654558720 apollon042 2 404     180     291     903    453    9060319232 apollon118 442     901    886    1560948736 apollon150 411     454     472     12.3   453     409     453     319     90.1   409     25.5  17.6  1514844160 apollon165 0 .611 9.23  11.8   1.11  9.18  8.40  9.17  8.10  .294 8.40  .007
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 199    178    14999998464 apollon087 901    451    8891387904 apollon024 446     225    212    14999998464 apollon018 9.72 5.09 373059584 apollon077 0 .030 .115 .685 .321 .077 .051 .075 .044 .002 .046 .001
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 931    792    12173492224 apollon115 2 518     .00  254     902    453    9391337472 apollon058 904    860    5096439808 apollon099 .234 770     854     54.8   767     638     766     623     15.5   638     902    878    1975533568 apollon060 0 .271 826     871     28.6   825     706     825     686     20.0   706     .123
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 909    870    8024797184 apollon139 3 173     .00  688     901    451    8762347520 apollon067 448     233    218    1323712512 apollon006 65.8   131     137     2.68  131     124     131     121     2.09  123     253    238    1168736256 apollon130 90 0 41.2   175     185     3.11  175     166     175     163     2.78  166     3.53 
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 363    345    12552867840 apollon092 1 16.1   6.56  768    384    14999998464 apollon004 382    359    1968431104 apollon140 31.9   278     290     6.79  277     239     277     233     5.40  239     148    124    1258668032 apollon073 3 0 29.3   50.6   55.7   2.91  50.4   42.8   50.3   42.0   .735 42.8   .155
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 848    664    14999998464 apollon102 901    452    10059534336 apollon103 902    769    10565791744 apollon111 9.81  435     756     131     414     373     410     359     13.5   372     902    749    10108575744 apollon059 0 9.73  245     734     238     209     185     205     178     6.94  185     44.4  
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 905    890    4672339968 apollon106 48 16.8   .003 862     7.79 4.04 484610048 apollon001 1 .801 .001 1.44  .659 6.21 3.57 327262208 apollon107 .159 .663 1.11  .258 .619 .515 .617 .502 .010 .512 7.97 4.55 322486272 apollon111 0 .162 .701 1.42  .414 .674 .561 .668 .548 .011 .559 .009
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 614    608    14999998464 apollon093 4.82 2.56 277561344 apollon110 1 .176 .360 4.42 2.45 312193024 apollon109 .069 .173 .496 .133 .152 .116 .145 .109 .003 .112 6.49 3.57 292249600 apollon120 0 .134 .236 .780 .381 .193 .148 .190 .140 .004 .144 .002
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 907    898    6805192704 apollon089 83 2.52  .003 892     5.50 2.90 277590016 apollon076 1 .441 .475 4.55 2.44 284442624 apollon054 .027 .091 .345 .140 .075 .058 .073 .054 .001 .055 6.15 3.32 283348992 apollon141 0 .025 .110 .625 .201 .089 .049 .080 .045 .001 .046 .009
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 909    888    9915301888 apollon013 11 85.9   .002 794     5.90 3.11 305401856 apollon095 1 .507 .001 .881 .211 5.64 3.12 294412288 apollon137 .069 .272 .732 .292 .240 .186 .235 .173 .005 .178 4.88 2.73 288362496 apollon124 0 .051 .220 .662 .294 .188 .144 .185 .136 .004 .140 .003
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 912    900    12761743360 apollon017 46 4.37  .004 891     6.44 3.37 323604480 apollon019 1 .645 .001 1.00  .285 4.93 2.82 334974976 apollon160 .027 .402 .813 .253 .385 .345 .384 .334 .009 .343 5.59 3.22 325271552 apollon143 0 .033 .420 1.01  .380 .391 .346 .389 .332 .010 .342 .001
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 904    890    4362113024 apollon066 35 20.5   .002 864     9.25 4.79 451764224 apollon054 1 .629 .001 2.37  .365 4.81 2.66 309751808 apollon007 .019 .244 .571 .208 .226 .175 .222 .166 .006 .172 6.32 3.51 312410112 apollon127 0 .022 .293 .914 .256 .265 .203 .261 .192 .007 .199 .003
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 904    897    5985583104 apollon130 62 3.45  .003 890     4.73 2.51 272371712 apollon062 1 .139 .273 4.34 2.35 288301056 apollon011 .024 .093 .337 .132 .074 .049 .072 .044 .001 .045 4.91 2.68 286150656 apollon165 0 .017 .090 .534 .199 .079 .057 .078 .053 .003 .056 .001
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 904    892    4332474368 apollon036 50 8.24  .005 878     7.20 3.75 433831936 apollon021 1 .630 .00  1.27  .407 5.15 2.76 297218048 apollon011 .068 .149 .506 .185 .131 .091 .127 .087 .001 .088 6.13 3.29 295092224 apollon156 0 .050 .156 .746 .259 .135 .102 .130 .098 .003 .101 .005
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 810    793    14999998464 apollon021 5.76 3.01 329805824 apollon150 1 .492 .00  .821 .232 4.16 2.34 288403456 apollon100 .054 .219 .598 .222 .185 .141 .181 .133 .002 .135 4.70 2.66 285614080 apollon128 0 .050 .268 .726 .283 .220 .154 .212 .149 .001 .150 .010
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 907    899    6942236672 apollon060 66 2.60  .003 893     5.05 2.68 274489344 apollon066 1 .255 .342 4.26 2.33 286289920 apollon128 .025 .113 .414 .207 .094 .070 .093 .060 .001 .061 5.74 3.13 286511104 apollon075 0 .029 .120 .624 .354 .103 .072 .095 .067 .003 .070 .001
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 907    898    8673566720 apollon164 2017 19.3   .094 784     3.99 2.14 266657792 apollon102 1 .118 .276 3.68 2.02 280616960 apollon103 .043 .110 .333 .154 .095 .077 .093 .073 .002 .075 4.18 2.33 276742144 apollon119 0 .043 .087 .360 .196 .076 .057 .076 .053 .001 .054 .00 
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 911    869    8669761536 apollon110 5 148     .001 709     24.1  12.2  1168953344 apollon157 1 1.01  .00  9.54  7.11  6.82 4.15 418078720 apollon074 .021 1.29  1.76  .232 1.27  1.18  1.26  1.09  .074 1.16  8.17 5.00 412745728 apollon111 0 .034 1.49  2.22  .441 1.44  1.33  1.44  1.25  .081 1.33  .001
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 933    851    12618039296 apollon094 3 245     .00  590     901    451    10136629248 apollon007 445     326    315    2688593920 apollon136 .031 307     312     2.36  307     302     306     293     8.84  302     281    271    2721370112 apollon108 0 .042 263     267     2.33  262     258     262     251     7.48  258     .015
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 975    786    12499398656 apollon027 4 611     .001 153     157    79.1  5366554624 apollon142 1 1.51  .00  74.8   20.5   8.79 5.93 631525376 apollon100 .022 3.09  3.67  .297 3.05  2.87  3.05  2.60  .260 2.86  11.4  7.36 635584512 apollon072 0 .036 3.28  4.26  .448 3.21  3.00  3.19  2.72  .270 2.99  .003
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 963    813    10684313600 apollon022 4 492     .001 303     54.2  27.7  2844418048 apollon089 1 1.60  .00  23.5   22.2   21.9  17.1  1616576512 apollon105 .036 12.8   13.8   .477 12.7   12.4   12.7   10.7   1.68  12.4   18.2  14.3  1604743168 apollon116 0 .024 10.3   11.2   .510 10.2   9.91  10.2   8.57  1.32  9.89  .002
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 975    816    11283062784 apollon042 3 493     .00  304     908    455    10607439872 apollon019 451     116    109    2193235968 apollon153 .026 104     106     1.08  104     102     104     96.1   6.17  102     121    113    2228772864 apollon109 0 .051 106     109     1.53  106     104     106     97.9   6.31  104     .082
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 933    788    13046890496 apollon093 3 441     .00  318     157    79.0  4911112192 apollon105 1 2.64  .00  74.5   17.9   21.6  16.5  673079296 apollon005 .037 12.6   13.9   .696 12.5   11.9   12.5   11.2   .650 11.9   21.8  16.0  673890304 apollon079 0 .038 11.6   13.2   .781 11.5   10.9   11.4   10.3   .607 10.9   .012
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 926    884    9754730496 apollon032 8 118     .001 745     11.7  6.03 642351104 apollon082 1 .845 .00  3.42  2.65  6.23 3.60 345067520 apollon028 .023 .685 1.11  .254 .636 .561 .630 .506 .045 .551 5.69 3.33 344682496 apollon135 0 .020 .614 1.21  .394 .582 .519 .576 .473 .041 .514 .002
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 920    785    11892076544 apollon141 4 403     .001 336     16.1  8.20 990228480 apollon152 1 1.29  .00  5.11  3.92  10.4  6.70 586706944 apollon139 .028 3.08  3.80  .377 3.02  2.86  3.01  2.62  .228 2.85  10.8  6.93 586518528 apollon113 0 .049 2.92  3.93  .397 2.85  2.71  2.85  2.51  .190 2.70  .007
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 924    821    11809136640 apollon097 3 345     .00  453     248    125    7227031552 apollon011 1 2.56  .00  119     86.4   16.5  11.0  923738112 apollon157 .031 6.45  7.90  .650 6.35  5.95  6.32  5.44  .482 5.92  21.0  13.3  959807488 apollon101 0 .029 6.87  9.00  .824 6.75  6.34  6.74  5.85  .475 6.33  .011
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 929    787    11684712448 apollon054 3 408     .00  353     195    98.0  6725689344 apollon155 1 2.08  .00  93.0   61.6   13.0  8.51 691552256 apollon075 .031 4.69  5.84  .511 4.63  4.27  4.61  4.01  .246 4.26  17.2  10.5  714784768 apollon087 0 .031 4.93  6.74  .936 4.87  4.48  4.85  4.20  .257 4.46  .010
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 936    754    13769793536 apollon026 3 544     .00  178     181    91.1  6219149312 apollon140 1 3.13  .00  86.0   57.6   12.6  8.04 775131136 apollon094 .032 4.10  5.25  .493 4.04  3.77  4.03  3.51  .257 3.76  18.8  11.8  778665984 apollon067 0 .036 6.31  8.15  .896 6.24  5.79  6.21  5.43  .306 5.74  .006
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 911    870    9385721856 apollon151 8 127     .001 729     27.5  14.0  1337679872 apollon129 1 .961 .00  11.3   4.13  5.74 3.44 383946752 apollon138 .020 .881 1.23  .178 .845 .781 .837 .701 .068 .769 7.36 4.39 391315456 apollon116 0 .031 1.05  1.69  .407 .999 .927 .990 .837 .085 .922 .004
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 908    885    7965306880 apollon002 5 62.1   .00  815     21.6  11.0  1231314944 apollon148 1 1.74  .00  6.82  4.84  12.8  9.70 977743872 apollon134 .029 6.36  7.17  .348 6.31  6.14  6.30  5.59  .542 6.13  19.1  13.6  997257216 apollon166 0 .049 8.11  9.48  .694 8.03  7.83  8.02  7.22  .602 7.82  .006
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 908    889    14445912064 apollon092 2 39.2   .00  840     140    73.7  11588145152 apollon137 1 7.32  .00  59.8   48.1   100    93.2  3574992896 apollon144 .033 86.5   89.6   .759 86.4   85.3   86.4   77.5   7.81  85.3   106    95.7  3538001920 apollon123 0 .051 86.2   90.6   .833 86.1   85.0   86.1   77.1   7.89  85.0   .00 
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 905    896    6929375232 apollon161 43 3.58  .003 890     5.89 3.10 322924544 apollon118 1 .580 .00  1.04  .325 4.18 2.42 308781056 apollon056 .023 .380 .699 .132 .362 .322 .360 .308 .007 .315 4.06 2.25 268447744 apollon098 0 .012 .285 .102 .00  .00  .00  .00  .00  .00 
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 905    889    5193572352 apollon023 11 23.2   .001 862     16.4  8.36 646537216 apollon153 1 .697 .00  5.77  1.86  5.60 3.18 318808064 apollon029 .055 .560 .936 .205 .535 .461 .532 .444 .015 .459 7.21 4.08 311209984 apollon101 0 .046 .725 1.31  .325 .687 .572 .684 .553 .017 .570 .004
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 908    898    8964550656 apollon087 1661 16.3   .082 811     4.44 2.36 275771392 apollon165 1 .196 .339 4.25 2.37 299827200 apollon141 .081 .192 .444 .102 .175 .137 .175 .130 .004 .134 5.83 3.32 301989888 apollon135 0 .102 .240 .662 .161 .222 .174 .220 .166 .005 .171 .001
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 927    786    11408891904 apollon001 4 519     .00  239     21.7  11.0  784125952 apollon092 1 1.50  .00  8.09  6.44  8.60 5.14 356270080 apollon090 .179 1.97  2.71  .369 1.89  1.58  1.87  1.50  .059 1.56  10.5  6.20 357629952 apollon104 0 .195 1.98  3.09  .614 1.76  1.45  1.73  1.39  .054 1.44  .006
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 904    895    4838813696 apollon081 25 4.89  .002 886     7.86 4.07 343744512 apollon142 1 1.13  .00  1.33  .285 5.71 3.34 346046464 apollon081 .162 .585 .994 .167 .560 .473 .553 .458 .014 .472 6.29 3.68 335458304 apollon083 0 .160 .596 1.20  .371 .560 .463 .554 .449 .013 .462 .00 
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 902    894    2892509184 apollon140 75 2.31  .003 888     5.21 2.75 331161600 apollon083 1 .391 .00  .887 .425 3.84 2.22 331362304 apollon107 .162 .231 .493 .152 .213 .167 .212 .162 .002 .164 4.21 2.49 332521472 apollon063 0 .161 .239 .599 .243 .212 .168 .211 .166 .001 .167 .00 
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 727    721    14999998464 apollon118 4.09 2.19 273195008 apollon154 1 .272 .324 4.15 2.30 274493440 apollon028 .030 .059 .315 .169 .042 .024 .041 .017 .001 .018 3.55 1.98 261160960 apollon125 0 .016 .053 .311 .205 .035 .018 .034 .015 .001 .016 .00 
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 907    883    6499577856 apollon147 14 52.9   .00  821     9.33 4.88 522289152 apollon008 1 .748 .009 1.85  1.28  7.24 4.18 341667840 apollon005 .075 .921 1.57  .381 .888 .782 .883 .754 .022 .776 7.41 4.24 347680768 apollon110 0 .062 .782 1.54  .418 .749 .656 .742 .637 .017 .654 .003
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 910    887    12355964928 apollon035 996 94.9   .037 357     5.15 2.73 275222528 apollon074 1 .433 .001 .612 .018 3.65 2.03 277024768 apollon119 .028 .076 .329 .100 .062 .033 .057 .027 .00  .027 4.20 2.31 269381632 apollon109 0 .019 .082 .413 .252 .065 .032 .060 .028 .00  .028 .007
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 909    887    7813677056 apollon110 10 48.0   .003 827     68.6  34.6  2449756160 apollon102 1 1.48  .00  31.1   9.00  11.0  6.73 421138432 apollon069 .401 2.50  3.54  .557 2.42  2.18  2.41  2.12  .048 2.17  13.1  7.64 454197248 apollon076 0 .376 2.42  3.90  .832 2.35  2.09  2.34  2.04  .044 2.09  .016
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 905    888    3290656768 apollon012 77 19.0   .003 853     4.72 2.49 276131840 apollon110 1 .429 .565 3.77 2.11 292454400 apollon151 .028 .152 .425 .176 .136 .097 .132 .091 .003 .094 4.50 2.49 302317568 apollon143 0 .018 .155 .559 .264 .135 .098 .130 .091 .002 .093 .009
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 909    897    8411029504 apollon014 38 3.38  .002 890     5.98 3.13 342159360 apollon166 1 .535 .001 .705 .267 4.70 2.59 337903616 apollon056 .018 .275 .661 .157 .251 .196 .249 .184 .006 .190 6.46 3.62 328359936 apollon120 0 .026 .326 .930 .426 .284 .214 .279 .204 .008 .212 .001
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 904    897    5866627072 apollon062 72 2.64  .003 891     4.40 2.36 277311488 apollon145 1 .183 .352 4.23 2.34 287219712 apollon130 .018 .082 .398 .205 .063 .043 .062 .036 .001 .037 4.67 2.60 286478336 apollon128 0 .018 .081 .458 .279 .068 .045 .064 .041 .002 .043 .001
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 905    896    6850060288 apollon061 29 2.67  .002 890     5.99 3.15 364871680 apollon092 1 .595 .00  .780 .201 4.56 2.60 334647296 apollon061 .020 .456 .760 .170 .350 .288 .345 .273 .008 .281 6.74 3.81 342622208 apollon122 0 .033 .466 1.12  .420 .440 .351 .432 .339 .011 .350 .002
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 723    715    14999998464 apollon147 4.52 2.43 266108928 apollon122 1 .268 .405 3.86 2.15 299790336 apollon106 .018 .167 .454 .121 .143 .117 .142 .107 .004 .111 4.67 2.60 302735360 apollon128 0 .019 .191 .632 .147 .169 .134 .166 .127 .004 .131 .00 
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 905    884    5540560896 apollon165 13 33.1   .002 846     7.00 3.63 347111424 apollon142 1 .738 .00  1.30  .576 4.41 2.53 328945664 apollon005 .017 .357 .763 .250 .333 .273 .327 .259 .007 .266 5.34 3.03 324849664 apollon145 0 .017 .381 .921 .360 .354 .280 .350 .267 .007 .274 .00 
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 911    902    10750464000 apollon071 536 5.59  .026 880     4.92 2.61 273563648 apollon126 1 .223 .209 4.18 2.28 275156992 apollon034 .027 .119 .306 .096 .029 .019 .029 .017 .00  .017 6.30 3.39 270675968 apollon103 0 .046 .045 .526 .348 .031 .019 .030 .016 .00  .016 .001
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 905    892    6055112704 apollon153 9 50.3   .00  838     29.3  14.8  1185349632 apollon065 1 1.61  .00  11.9   7.60  9.84 6.87 561053696 apollon088 .022 3.81  4.61  .469 3.75  3.59  3.74  3.52  .061 3.58  12.3  8.50 561295360 apollon080 0 .024 4.75  5.72  .567 4.51  4.29  4.49  4.21  .074 4.28  .002
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 718    707    14999998464 apollon013 4.61 2.45 266366976 apollon070 1 .113 .233 4.18 2.26 278339584 apollon044 .017 .041 .291 .172 .027 .016 .023 .012 .00  .012 5.94 3.19 274558976 apollon084 0 .031 .068 .471 .296 .033 .013 .031 .011 .00  .011 .00 
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 911    901    10660122624 apollon161 515 5.86  .012 877     4.28 2.29 273604608 apollon082 1 .108 .235 3.86 2.10 280207360 apollon082 .018 .040 .309 .112 .031 .018 .029 .008 .001 .009 5.66 3.08 281047040 apollon106 0 .025 .050 .470 .299 .034 .014 .030 .010 .001 .011 .00 
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 906    895    6232666112 apollon146 54 3.53  .00  887     4.72 2.50 273068032 apollon081 1 .190 .377 4.25 2.34 301207552 apollon091 .018 .164 .520 .153 .131 .103 .129 .097 .003 .100 5.68 3.11 292352000 apollon150 0 .025 .220 .773 .356 .176 .129 .174 .124 .003 .127 .00 
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 911    900    11860226048 apollon036 72 9.28  .005 882     6.05 3.18 342528000 apollon026 1 .535 .873 4.91 2.66 301850624 apollon060 .023 .248 .840 .326 .111 .075 .105 .069 .003 .072 6.19 3.36 302264320 apollon079 0 .035 .181 1.18  .673 .133 .103 .130 .100 .002 .102 .002
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 912    905    13120045056 apollon104 4.28 2.27 270397440 apollon128 1 .034 .260 3.71 2.01 280485888 apollon026 .020 .040 .281 .169 .030 .019 .030 .017 .00  .017 5.33 2.92 275021824 apollon063 0 .022 .061 .444 .284 .044 .031 .044 .027 .001 .028 .00 
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 912    903    12326014976 apollon163 59 3.76  .002 895     4.88 2.59 275750912 apollon002 1 .243 .486 4.06 2.25 303976448 apollon062 .025 .145 .499 .235 .123 .091 .117 .085 .002 .087 4.88 2.72 300724224 apollon129 0 .025 .165 .678 .206 .144 .102 .140 .097 .003 .100 .003
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 907    896    7822635008 apollon079 53 6.78  .003 882     5.79 3.06 319537152 apollon033 1 .526 .747 4.77 2.61 300228608 apollon135 .025 .264 .769 .285 .132 .092 .127 .087 .003 .090 5.96 3.27 304291840 apollon123 0 .025 .188 1.11  .551 .139 .096 .132 .090 .003 .093 .002
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 667    660    14999998464 apollon037 4.34 2.32 269504512 apollon057 1 .229 .339 4.05 2.23 296845312 apollon079 .018 .102 .425 .119 .083 .061 .081 .056 .002 .058 4.58 2.57 299347968 apollon075 0 .018 .141 .591 .310 .103 .064 .102 .061 .002 .063 .001
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 831    821    14999998464 apollon168 4.23 2.25 274341888 apollon124 1 .178 .286 4.85 2.61 276582400 apollon139 .021 .042 .323 .112 .027 .014 .024 .009 .001 .010 4.15 2.27 264777728 apollon165 0 .019 .031 .339 .234 .019 .010 .017 .008 .00  .008 .002
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 909    898    10879823872 apollon051 71 6.41  .004 886     5.20 2.71 277610496 apollon141 1 .394 .619 4.52 2.45 298536960 apollon160 .022 .131 .604 .277 .100 .072 .098 .066 .003 .069 6.31 3.46 297525248 apollon121 0 .027 .160 1.01  .535 .125 .089 .118 .083 .004 .087 .005
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 905    897    5846118400 apollon081 57 3.52  .00  889     4.97 2.64 272297984 apollon029 1 .326 .439 4.27 2.37 297738240 apollon142 .019 .146 .536 .158 .124 .095 .122 .090 .004 .094 5.05 2.79 299577344 apollon090 0 .032 .186 .674 .318 .144 .113 .138 .107 .003 .110 .002
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 912    905    13493944320 apollon052 4.31 2.31 270114816 apollon158 1 .107 .336 4.66 2.55 277950464 apollon050 .023 .072 .392 .208 .059 .035 .056 .032 .001 .033 4.22 2.38 278798336 apollon141 0 .019 .056 .376 .233 .043 .029 .041 .025 .001 .026 .002
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 912    903    14305509376 apollon048 5.62 2.97 293236736 apollon068 1 .649 .671 4.85 2.71 328245248 apollon136 .027 .305 .835 .327 .272 .225 .267 .207 .007 .214 5.67 3.15 325455872 apollon130 0 .025 .318 1.06  .489 .281 .225 .275 .215 .007 .222 .005
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 905    889    4428206080 apollon148 14 33.0   .003 853     5.11 2.73 284348416 apollon102 1 .438 .513 4.66 2.57 300965888 apollon128 .015 .198 .524 .212 .182 .138 .176 .130 .004 .134 4.64 2.60 266248192 apollon098 0 .011 .269 .214 .002 .00  .00  .00  .00  .00 
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 912    904    11580358656 apollon166 75 2.60  .003 897     4.46 2.34 273375232 apollon092 1 .233 .299 5.07 2.78 285908992 apollon036 .024 .109 .442 .130 .083 .058 .081 .053 .003 .056 4.90 2.69 280608768 apollon148 0 .018 .086 .434 .257 .066 .047 .061 .043 .001 .044 .001
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 906    895    7506362368 apollon074 24 5.32  .00  885     6.73 3.55 287928320 apollon129 1 .963 1.01  5.90 3.47 392216576 apollon032 .022 .731 1.37  .338 .692 .618 .687 .571 .038 .609 7.15 4.10 394010624 apollon132 0 .022 .761 1.82  .636 .700 .626 .688 .588 .037 .625 .026
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 911    904    11894833152 apollon089 211 3.29  .007 895     4.49 2.37 275181568 apollon101 1 .159 .269 3.99 2.14 275750912 apollon106 .019 .045 .346 .114 .031 .012 .029 .009 .001 .010 4.76 2.57 277270528 apollon131 0 .020 .051 .500 .340 .035 .025 .035 .023 .00  .023 .00 
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 907    899    8245723136 apollon121 54 2.76  .001 893     4.78 2.56 270331904 apollon150 1 .325 .423 5.20 2.90 298954752 apollon032 .024 .204 .626 .178 .185 .145 .184 .139 .004 .143 4.77 2.64 295124992 apollon097 0 .017 .168 .667 .349 .143 .111 .138 .106 .003 .109 .001
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 912    901    10884108288 apollon160 67 5.62  .004 890     4.89 2.59 272887808 apollon048 1 .445 .582 4.49 2.45 299581440 apollon110 .021 .138 .593 .301 .111 .076 .101 .070 .002 .072 5.01 2.75 289402880 apollon060 0 .021 .147 .766 .428 .109 .065 .105 .063 .002 .065 .002
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 910    898    11456741376 apollon164 68 10.9   .004 878     6.02 3.16 383995904 apollon024 1 .691 .960 4.94 2.66 306155520 apollon088 .022 .231 .816 .317 .117 .077 .105 .072 .002 .074 6.46 3.50 299757568 apollon118 0 .025 .221 1.29  .615 .146 .097 .142 .092 .003 .095 .016
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 909    896    8276537344 apollon032 63 14.9   .004 868     7.63 3.95 295198720 apollon052 1 1.11  1.57  5.62 3.01 309444608 apollon090 .026 .312 1.16  .435 .155 .108 .144 .102 .003 .105 7.49 4.08 303603712 apollon159 0 .025 .205 1.82  .942 .142 .098 .133 .086 .005 .091 .005
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 876    867    14999998464 apollon051 5.07 2.68 276545536 apollon118 1 .290 .500 3.90 2.12 279605248 apollon040 .019 .061 .322 .175 .038 .021 .036 .017 .00  .017 5.49 2.98 282136576 apollon092 0 .022 .065 .478 .299 .042 .025 .041 .020 .001 .021 .003
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 909    877    7827304448 apollon008 6 124     .00  743     37.6  19.1  1574154240 apollon024 1 2.20  .00  15.9   13.6   13.7  10.4  552448000 apollon103 .041 7.12  8.06  .462 7.05  6.83  7.04  6.75  .070 6.82  6.42 3.40 274976768 apollon088 0 .074 .872 .464 .007 .001 .00  .00  .00  .001
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 912    903    13741895680 apollon063 42 3.59  .001 896     6.66 3.49 370544640 apollon099 1 .627 .00  1.01  .359 6.25 3.60 332591104 apollon102 .026 .634 1.02  .212 .610 .548 .603 .522 .015 .537 4.46 2.45 267460608 apollon080 0 .005 .268 .218 .002 .001 .00  .00  .00  .00 
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 908    884    7198752768 apollon168 15 57.8   .001 818     6.87 3.58 398606336 apollon163 1 .903 1.11  5.68 3.24 348647424 apollon164 .028 .562 1.16  .314 .501 .425 .492 .404 .016 .420 5.89 3.16 291057664 apollon166 0 .006 .281 .226 .002 .001 .00  .00  .00  .00 
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 904    894    4781719552 apollon125 25 5.14  .001 886     6.04 3.15 332759040 apollon079 1 .675 .00  .784 .041 4.75 2.68 338046976 apollon017 .048 .381 .769 .259 .356 .306 .353 .291 .010 .301 5.56 3.15 334585856 apollon066 0 .032 .421 .995 .403 .382 .322 .377 .311 .010 .321 .00 
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 1000    710    11721302016 apollon073 2 638    320    7010459648 apollon007 1 5.42  .00  315     43.8   42.0  34.4  834240512 apollon057 .077 29.2   31.6   1.29  29.1   27.4   29.1   26.8   .558 27.4   40.8  32.9  848621568 apollon102 0 .073 26.7   29.3   1.41  26.6   24.9   26.5   24.4   .505 24.9   .009
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 912    903    13553561600 apollon030 61 3.44  .004 895     6.03 3.19 310304768 apollon166 1 .493 .00  .647 .239 4.73 2.60 306675712 apollon096 .053 .257 .504 .137 .239 .204 .237 .193 .004 .197 6.54 3.68 310857728 apollon100 0 .054 .346 .897 .231 .315 .261 .310 .252 .006 .258 .001
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 1000    746    11665707008 apollon092 4 26.2  13.3  1135071232 apollon095 1 1.02  .00  10.6   2.15  8.36 4.91 350375936 apollon091 .205 1.45  2.09  .327 1.41  1.21  1.39  1.16  .040 1.20  9.49 5.60 344580096 apollon158 0 .175 1.56  2.60  .624 1.50  1.25  1.48  1.20  .041 1.24  .023
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 908    898    8596168704 apollon002 40 2.66  .006 892     5.02 2.68 276758528 apollon142 1 .334 .331 5.31 2.95 315211776 apollon022 .030 .300 .692 .165 .284 .231 .277 .221 .005 .226 5.02 2.85 311087104 apollon071 0 .023 .290 .774 .338 .274 .208 .272 .199 .005 .204 .001
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 906    896    4985999360 apollon009 35 2.59  .002 891     6.18 3.24 338137088 apollon142 1 .457 .001 .701 .316 5.00 2.75 315346944 apollon087 .036 .299 .578 .170 .275 .223 .270 .212 .005 .217 6.27 3.47 316547072 apollon093 0 .034 .294 .765 .352 .269 .207 .260 .199 .007 .206 .002
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 912    904    11455754240 apollon149 4.38 2.35 271065088 apollon044 1 .250 .340 3.89 2.11 281051136 apollon036 .021 .051 .304 .106 .034 .022 .032 .018 .00  .018 4.31 2.41 276586496 apollon074 0 .020 .052 .342 .210 .030 .021 .030 .016 .00  .016 .001
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 904    895    4046123008 apollon064 79 3.25  .002 888     4.67 2.48 274649088 apollon024 1 .297 .388 3.79 2.07 281378816 apollon100 .022 .136 .345 .111 .050 .035 .049 .030 .001 .031 4.50 2.47 283566080 apollon128 0 .021 .078 .461 .275 .058 .037 .058 .035 .001 .036 .001
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 912    901    11226497024 apollon015 6.63 3.46 335564800 apollon138 1 .695 .00  .767 .252 5.06 2.84 301535232 apollon130 .075 .346 .687 .189 .313 .263 .309 .254 .006 .260 6.09 3.46 301056000 apollon136 0 .068 .430 .947 .226 .394 .327 .389 .318 .007 .325 .003
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 1000    695    11374669824 apollon029 3 297    149    5596004352 apollon148 1 5.07  .00  144     5.58  10.2  6.36 412319744 apollon001 .045 2.61  4.08  .683 2.50  2.33  2.48  2.27  .054 2.32  17.5  10.4  599539712 apollon122 0 .091 3.66  7.21  1.70  3.49  3.22  3.42  3.14  .071 3.21  .040
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 925    892    8282644480 apollon087 4 87.6   .001 798     420    211    5675053056 apollon035 1 2.14  .00  206     15.4   42.2  30.6  830787584 apollon104 .377 23.0   27.9   2.52  22.7   20.4   22.6   19.7   .730 20.4   54.9  41.3  937689088 apollon120 0 .511 28.3   37.8   5.18  28.0   25.2   27.9   24.2   .942 25.2   .018
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 5.97 3.34 356200448 apollon057 1 .599 .00  .467 9.36 4.84 404877312 apollon007 1 .881 .00  2.24  1.22  4.83 2.61 277905408 apollon112 .022 .049 .436 .217 .025 .002 .022 .001 .00  .001 5.25 2.85 273293312 apollon058 0 .029 .055 .625 .399 .021 .004 .018 .003 .00  .003 .009
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 904    890    4565016576 apollon037 8 16.6   .00  869     18.1  9.25 842113024 apollon114 1 .792 .001 6.35  2.04  3.02  .493 7.75 4.68 330121216 apollon159 .038 1.32  1.88  .325 1.29  1.16  1.29  1.11  .034 1.14  6.81 4.08 334991360 apollon164 0 .045 1.03  1.70  .481 .992 .890 .988 .863 .024 .887 .003
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 912    903    11143258112 apollon029 5.74 3.02 296226816 apollon079 1 .458 .00  .596 .168 4.50 2.49 302239744 apollon163 .020 .215 .538 .137 .182 .144 .179 .124 .003 .127 6.11 3.40 305549312 apollon116 0 .021 .299 .810 .351 .260 .212 .256 .202 .005 .207 .002
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 904    887    4397715456 apollon165 8 23.2   .001 858     407    205    6371418112 apollon011 3 1.98  .00  198     71.8   75.7   49.6   24.8  16.9  685584384 apollon070 .142 10.6   14.0   1.82  10.3   9.72  10.3   9.53  .178 9.71  27.0  17.4  692326400 apollon113 0 .234 9.43  14.2   2.62  9.14  8.51  9.06  8.34  .148 8.48  .071
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 904    886    3712430080 apollon035 28 11.8   .00  870     5.86 3.09 279990272 apollon077 1 .603 .001 .767 .079 4.85 2.65 299032576 apollon035 .033 .200 .644 .178 .187 .147 .182 .137 .004 .141 6.67 3.65 298094592 apollon093 0 .022 .273 .978 .472 .234 .189 .229 .173 .007 .180 .001
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 1000    763    12711747584 apollon102 10 117    58.7  2983403520 apollon097 1 .303 .00  56.0   .108 4.76 2.63 287248384 apollon017 .028 .299 .733 .248 .270 .176 .260 .165 .004 .169 6.20 3.41 280809472 apollon147 0 .021 .388 1.08  .425 .306 .202 .296 .181 .005 .186 .009
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 907    884    7446220800 apollon072 12 85.1   .00  790     17.6  8.99 758390784 apollon026 1 .620 .00  6.55  .851 5.04 2.83 325865472 apollon160 .022 .498 .915 .185 .459 .385 .455 .364 .013 .377 5.70 3.24 315281408 apollon137 0 .024 .526 1.13  .382 .499 .393 .490 .377 .013 .390 .004
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 905    890    4379996160 apollon008 13 13.8   .001 872     11.4  5.86 635998208 apollon046 1 .711 .00  3.29  1.99  5.46 3.17 360312832 apollon056 .028 .704 1.11  .217 .669 .571 .663 .549 .020 .569 6.22 3.62 357785600 apollon118 0 .040 .713 1.38  .448 .664 .576 .660 .557 .018 .575 .005
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 924    781    9339928576 apollon101 7 692     .00  76.4   40.4  20.4  1418166272 apollon069 1 .717 .00  17.8   1.44  5.89 3.33 344707072 apollon122 .021 .718 1.20  .256 .678 .560 .672 .523 .024 .547 6.82 3.83 345280512 apollon072 0 .024 .767 1.56  .500 .733 .614 .727 .582 .021 .603 .001
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 550    541    14999998464 apollon026 6.19 3.25 357064704 apollon069 1 .588 .00  .830 .224 5.61 3.16 328454144 apollon075 .020 .338 .783 .285 .314 .259 .309 .245 .010 .255 5.07 2.87 326135808 apollon084 0 .042 .293 .833 .362 .271 .231 .268 .220 .008 .228 .001
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 1000    766    12582244352 apollon113 6 42.8  21.5  1386987520 apollon159 1 1.27  .001 18.5   1.87  6.06 3.51 335486976 apollon144 .047 .859 1.29  .241 .819 .679 .815 .649 .024 .673 6.96 3.95 336011264 apollon113 0 .037 1.05  1.62  .275 .882 .744 .877 .711 .028 .739 .008
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 925    778    11663069184 apollon066 6 506     .00  247     18.5  9.44 806952960 apollon166 1 .523 .00  7.11  .596 4.56 2.53 315080704 apollon133 .020 .270 .642 .226 .248 .189 .244 .174 .008 .182 6.12 3.41 309882880 apollon096 0 .033 .341 .944 .409 .307 .217 .301 .196 .016 .212 .002
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 903    896    3180531712 apollon068 15 2.64  .00  890     7.95 4.13 492122112 apollon155 1 .754 .00  1.68  .882 5.41 3.20 357646336 apollon157 .019 .754 1.11  .207 .718 .644 .707 .628 .012 .640 6.39 3.75 357527552 apollon106 0 .038 .737 1.44  .314 .685 .617 .682 .602 .011 .613 .00 
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 795    784    14999998464 apollon135 5.80 3.05 302837760 apollon128 1 .604 .00  .810 .162 4.43 2.49 323645440 apollon122 .023 .231 .599 .169 .211 .161 .204 .149 .006 .155 4.99 2.80 318771200 apollon094 0 .022 .228 .735 .313 .195 .152 .190 .146 .005 .151 .002
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 911    874    10660818944 apollon153 7 133     .001 731     8.35 4.34 509669376 apollon143 1 .649 .00  1.81  1.24  4.95 2.77 309477376 apollon111 .033 .425 .758 .196 .322 .255 .316 .239 .010 .249 5.41 3.03 309133312 apollon148 0 .043 .338 .868 .366 .309 .245 .305 .234 .010 .244 .00 
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 905    894    5041405952 apollon047 80 10.2   .005 872     6.56 3.44 400822272 apollon133 1 .492 .00  1.11  .190 4.42 2.45 298979328 apollon095 .022 .163 .439 .141 .135 .094 .135 .088 .004 .092 4.95 2.72 293838848 apollon139 0 .023 .170 .632 .313 .143 .094 .141 .088 .003 .091 .002
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 905    891    4537909248 apollon068 74 10.9   .00  869     8.19 4.25 430866432 apollon017 1 .522 .00  1.82  .189 4.38 2.42 301142016 apollon058 .024 .153 .419 .132 .135 .100 .132 .091 .005 .096 4.82 2.69 298815488 apollon087 0 .019 .142 .617 .334 .119 .083 .118 .077 .004 .081 .002
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 904    893    4283731968 apollon033 71 9.01  .002 875     7.00 3.66 420388864 apollon034 1 .506 .00  1.22  .229 4.73 2.57 306810880 apollon130 .023 .155 .453 .150 .132 .094 .129 .088 .002 .090 5.04 2.79 298713088 apollon103 0 .018 .157 .666 .348 .138 .091 .124 .085 .003 .088 .004
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 908    900    8563015680 apollon082 48 3.17  .002 893     5.09 2.67 276824064 apollon066 1 .380 .448 4.25 2.36 302854144 apollon103 .020 .205 .514 .205 .186 .152 .183 .142 .004 .146 4.90 2.72 305225728 apollon111 0 .017 .226 .671 .286 .201 .148 .197 .141 .004 .145 .00 
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 593    586    14999998464 apollon081 4.55 2.43 275345408 apollon140 1 .095 .205 5.23 2.86 281346048 apollon032 .028 .101 .338 .124 .075 .053 .073 .044 .002 .046 4.68 2.57 282841088 apollon064 0 .032 .068 .427 .248 .056 .041 .055 .039 .001 .040 .006
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 691    683    14999998464 apollon118 5.28 2.78 277733376 apollon037 1 .350 .238 4.47 2.43 286420992 apollon006 .032 .093 .396 .196 .077 .051 .075 .045 .001 .046 4.97 2.69 282644480 apollon161 0 .021 .101 .526 .305 .075 .052 .068 .049 .002 .051 .001
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 907    896    8269582336 apollon097 45 5.78  .003 886     6.22 3.26 322404352 apollon066 1 .731 .00  .869 .132 4.69 2.59 323108864 apollon033 .024 .295 .584 .177 .263 .220 .260 .207 .006 .213 5.50 3.08 324096000 apollon114 0 .020 .300 .832 .220 .276 .222 .275 .214 .006 .220 .00 
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 913    860    9996787712 apollon091 30 263     .001 557     6.39 3.34 312651776 apollon110 1 .531 .00  .921 .257 4.98 2.70 284504064 apollon148 .037 .159 .484 .188 .141 .103 .137 .097 .003 .100 7.47 4.03 284659712 apollon115 0 .049 .256 1.02  .370 .215 .147 .210 .135 .004 .139 .020
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 904    890    4907315200 apollon157 32 8.72  .00  876     6.92 3.62 319795200 apollon126 1 .470 .00  1.34  .158 5.62 3.07 277975040 apollon074 .042 .209 .508 .170 .176 .129 .170 .121 .004 .125 5.22 2.89 283250688 apollon120 0 .023 .187 .721 .347 .158 .110 .154 .104 .002 .106 .00 
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 718    709    14999998464 apollon076 5.02 2.67 277188608 apollon022 1 .352 .428 4.27 2.33 296361984 apollon005 .023 .192 .425 .130 .104 .073 .102 .057 .001 .058 4.81 2.64 291254272 apollon077 0 .022 .140 .569 .255 .121 .098 .118 .095 .002 .097 .00 
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 761    752    14999998464 apollon062 4.79 2.52 271196160 apollon101 1 .151 .322 4.76 2.63 294670336 apollon017 .029 .163 .403 .137 .142 .105 .140 .096 .002 .098 6.06 3.33 295518208 apollon116 0 .042 .170 .713 .204 .147 .110 .146 .104 .002 .106 .001
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 904    894    4849111040 apollon147 22 3.75  .002 887     6.24 3.26 344420352 apollon057 1 .768 .779 6.09 3.50 344928256 apollon114 .024 .679 1.12  .270 .643 .562 .635 .544 .011 .555 7.45 4.31 341393408 apollon109 0 .030 .706 1.55  .409 .645 .567 .642 .553 .011 .564 .00 
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 906    896    6153854976 apollon105 47 2.84  .001 890     5.87 3.10 306446336 apollon061 1 .463 .00  .765 .275 4.19 2.33 309944320 apollon026 .021 .251 .494 .120 .161 .127 .157 .118 .004 .122 5.85 3.21 308695040 apollon111 0 .026 .229 .778 .243 .209 .164 .201 .158 .005 .163 .001
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 642    633    14999998464 apollon017 4.61 2.44 275128320 apollon164 1 .184 .296 5.37 2.90 285904896 apollon162 .033 .215 .500 .129 .104 .076 .101 .056 .002 .058 6.05 3.32 282513408 apollon159 0 .022 .112 .694 .399 .089 .061 .087 .057 .002 .059 .00 
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 905    895    5916741632 apollon104 49 3.09  .002 888     5.35 2.83 273321984 apollon114 1 .449 .524 5.64 3.19 345833472 apollon066 .038 .452 .879 .267 .424 .355 .418 .334 .009 .343 6.15 3.52 351866880 apollon097 0 .033 .430 .947 .339 .400 .335 .393 .324 .008 .332 .001
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 904    895    3662041088 apollon007 13 3.07  .00  889     9.16 4.75 517603328 apollon034 1 .925 .00  2.12  1.22  6.79 4.21 391004160 apollon032 .032 1.26  1.78  .277 1.21  1.13  1.21  1.10  .023 1.12  8.13 5.03 392318976 apollon086 0 .040 1.52  2.42  .524 1.48  1.39  1.48  1.36  .028 1.39  .007
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 908    898    8865083392 apollon027 54 3.53  .001 891     5.55 2.93 281423872 apollon033 1 .493 .643 4.31 2.39 315367424 apollon005 .021 .167 .517 .224 .150 .113 .149 .104 .003 .107 4.78 2.68 307359744 apollon115 0 .019 .207 .598 .277 .178 .122 .177 .115 .004 .119 .002
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 904    889    2860957696 apollon097 11 14.2   .00  870     6.42 3.34 320921600 apollon156 1 .568 .00  .812 .212 4.84 2.71 308224000 apollon047 .029 .270 .518 .131 .245 .198 .239 .187 .006 .193 5.47 3.07 310464512 apollon062 0 .029 .263 .715 .176 .235 .192 .231 .183 .007 .190 .00 
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 904    884    3777134592 apollon160 15 28.9   .00  849     6.17 3.24 347508736 apollon059 1 .407 .00  .913 .176 5.13 2.86 298168320 apollon051 .027 .388 .659 .137 .262 .207 .254 .195 .008 .203 5.37 2.97 297914368 apollon119 0 .024 .285 .741 .280 .260 .213 .255 .201 .008 .209 .00 
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 936    760    11676061696 apollon100 6 469     .00  265     9.93 5.11 417570816 apollon110 1 .929 .00  2.41  1.55  6.63 3.67 313327616 apollon134 .030 .906 1.51  .351 .871 .730 .855 .701 .022 .723 7.26 4.09 311701504 apollon057 0 .045 .897 1.81  .545 .853 .704 .835 .679 .019 .698 .001
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 910    900    11909632000 apollon019 87 3.49  .008 893     5.20 2.74 295682048 apollon168 1 .408 .00  .574 .178 4.30 2.36 291516416 apollon028 .047 .152 .462 .187 .117 .084 .114 .076 .003 .079 4.78 2.67 283873280 apollon120 0 .039 .148 .548 .148 .113 .084 .111 .078 .003 .081 .002
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 907    895    9478254592 apollon167 2013 27.5   .093 770     5.11 2.67 277880832 apollon142 1 .344 .324 4.31 2.38 295227392 apollon160 .052 .136 .428 .201 .121 .091 .118 .086 .002 .088 4.71 2.61 293199872 apollon112 0 .051 .131 .493 .263 .113 .087 .112 .084 .002 .086 .001
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 906    889    5949825024 apollon029 13 36.4   .002 847     8.60 4.43 386473984 apollon166 1 .808 .00  1.95  .807 5.29 3.00 326639616 apollon146 .026 .555 1.03  .230 .527 .453 .523 .437 .010 .447 5.85 3.36 315179008 apollon137 0 .032 .585 1.21  .244 .551 .463 .543 .446 .011 .457 .001
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 906    880    4761116672 apollon020 12 46.3   .001 826     25.1  12.7  901066752 apollon061 2 .917 .00  10.1   1.35  4.77  2.96  5.56 3.19 329019392 apollon160 .036 .587 1.03  .252 .565 .469 .559 .441 .015 .456 6.12 3.48 328732672 apollon063 0 .039 .574 1.15  .380 .540 .454 .538 .437 .016 .453 .001
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 846    838    14999998464 apollon114 5.90 3.10 344420352 apollon020 1 .541 .00  .788 .225 4.39 2.46 322564096 apollon097 .017 .338 .632 .149 .235 .192 .234 .178 .005 .183 5.35 2.99 328884224 apollon065 0 .018 .299 .828 .359 .265 .203 .262 .196 .005 .201 .002
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 907    898    8095330304 apollon029 42 3.52  .001 891     6.29 3.34 395378688 apollon158 1 .620 .00  .676 .209 5.84 3.23 332935168 apollon070 .043 .351 .774 .235 .319 .267 .314 .253 .007 .260 5.75 3.27 335708160 apollon084 0 .053 .296 .866 .347 .267 .222 .265 .212 .008 .220 .001
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 907    881    6530007040 apollon027 17 82.6   .00  787     12.1  6.23 540745728 apollon121 1 .722 .00  3.67  .415 2.02  .435 4.99 2.77 297762816 apollon104 .040 .248 .599 .191 .209 .166 .202 .157 .007 .164 5.76 3.17 296271872 apollon109 0 .036 .275 .874 .397 .239 .188 .224 .179 .007 .186 .010
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 781    772    14999998464 apollon109 5.52 2.90 288309248 apollon033 1 .578 .601 4.37 2.45 320327680 apollon145 .021 .324 .588 .149 .226 .187 .223 .174 .006 .180 5.18 2.92 321257472 apollon083 0 .020 .291 .799 .349 .244 .193 .240 .185 .007 .192 .00 
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 750    741    14999998464 apollon071 6.03 3.16 327282688 apollon063 1 .589 .00  .771 .173 4.72 2.63 335425536 apollon165 .023 .320 .641 .162 .299 .247 .294 .225 .009 .234 5.71 3.24 339050496 apollon141 0 .016 .319 .933 .389 .296 .245 .292 .233 .010 .243 .001
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 788    779    14999998464 apollon063 6.45 3.35 373297152 apollon101 1 .591 .00  .846 .303 4.80 2.71 334856192 apollon069 .020 .318 .735 .275 .299 .251 .295 .235 .008 .243 6.28 3.55 335806464 apollon137 0 .021 .375 1.01  .384 .346 .285 .341 .273 .009 .282 .003
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 799    789    14999998464 apollon034 5.90 3.08 299266048 apollon076 1 .530 .00  .689 .065 5.40 2.99 322789376 apollon090 .018 .332 .596 .149 .228 .184 .224 .171 .005 .176 5.95 3.39 320147456 apollon167 0 .020 .317 .896 .358 .284 .220 .281 .212 .007 .219 .003
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 903    890    2930077696 apollon001 18 9.90  .001 876     5.99 3.13 280956928 apollon048 1 .659 .00  .726 .052 4.83 2.64 306700288 apollon145 .026 .236 .545 .167 .204 .167 .201 .159 .006 .165 5.62 3.13 304582656 apollon093 0 .019 .253 .868 .245 .221 .170 .217 .162 .005 .167 .002
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 679    671    14999998464 apollon071 5.68 2.96 288604160 apollon029 1 .488 .001 .599 .085 5.55 3.13 303173632 apollon016 .104 .286 .742 .300 .260 .206 .257 .199 .003 .202 5.18 2.92 299278336 apollon062 0 .085 .239 .733 .322 .219 .171 .216 .166 .003 .169 .002
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 816    806    14999998464 apollon046 6.19 3.25 343023616 apollon163 1 .644 .00  .806 .234 4.49 2.62 338489344 apollon148 .017 .420 .780 .223 .391 .337 .384 .321 .010 .331 5.59 3.20 342216704 apollon072 0 .020 .436 1.01  .377 .412 .360 .409 .348 .009 .357 .001
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 904    892    4232638464 apollon088 9 14.9   .001 873     11.4  5.89 556187648 apollon002 1 .886 .00  3.21  2.25  6.52 4.13 417492992 apollon157 .030 1.58  2.04  .229 1.55  1.43  1.54  1.39  .028 1.42  7.73 4.73 420929536 apollon150 0 .026 1.67  2.52  .532 1.63  1.49  1.60  1.45  .029 1.48  .003
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 911    902    10655313920 apollon095 28 4.71  .00  893     6.10 3.22 330203136 apollon095 1 .549 .639 5.91 3.58 376897536 apollon106 .031 .986 1.40  .212 .955 .877 .946 .852 .017 .869 7.09 4.20 372961280 apollon142 0 .031 1.04  1.81  .493 1.02  .922 1.02  .902 .018 .920 .006
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 912    903    14707085312 apollon028 6.14 3.22 352542720 apollon030 1 .600 .00  .855 .241 4.35 2.47 333758464 apollon003 .019 .300 .663 .236 .282 .231 .279 .215 .008 .223 5.25 2.94 332632064 apollon087 0 .020 .300 .799 .328 .277 .225 .275 .215 .007 .222 .001
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 808    798    14999998464 apollon113 5.51 2.89 287088640 apollon011 1 .565 .601 4.88 2.74 324104192 apollon146 .021 .290 .684 .247 .263 .214 .258 .198 .007 .205 6.16 3.45 322478080 apollon092 0 .020 .319 .926 .406 .283 .227 .275 .217 .007 .224 .002
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 709    700    14999998464 apollon157 5.87 3.07 285106176 apollon098 1 .598 .00  .691 .063 4.57 2.61 337039360 apollon061 .021 .420 .730 .156 .319 .261 .315 .241 .011 .252 6.10 3.50 336211968 apollon095 0 .025 .410 1.03  .405 .368 .305 .361 .292 .011 .303 .002
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 706    696    14999998464 apollon084 6.33 3.33 398569472 apollon166 1 .629 .00  1.03  .288 4.59 2.59 335454208 apollon167 .021 .307 .675 .158 .272 .226 .268 .214 .008 .222 5.26 2.97 335826944 apollon087 0 .034 .306 .834 .328 .288 .230 .280 .220 .009 .229 .003
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 903    891    4221915136 apollon128 6 8.00  .00  880     37.9  19.2  1528057856 apollon160 1 1.77  .00  15.9   10.9   13.1  10.1  620855296 apollon038 .029 7.09  7.89  .383 7.04  6.81  7.04  6.73  .080 6.81  15.1  11.3  624377856 apollon111 0 .024 7.33  8.76  .762 7.29  7.03  7.28  6.94  .083 7.02  .002
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 905    895    6354415616 apollon062 48 7.14  .002 884     6.62 3.46 319188992 apollon156 1 .616 .001 1.17  .415 4.80 2.66 310153216 apollon160 .027 .237 .627 .259 .213 .177 .211 .167 .004 .171 5.24 2.93 307363840 apollon074 0 .018 .230 .758 .256 .210 .173 .206 .167 .004 .171 .00 
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 906    896    7280226304 apollon023 27 4.39  .001 888     11.2  5.77 659939328 apollon068 1 .793 .001 3.21  1.84  6.36 3.85 398594048 apollon046 .069 1.22  1.71  .236 1.18  1.06  1.18  1.04  .022 1.06  7.67 4.51 402313216 apollon150 0 .073 1.54  2.20  .311 1.35  1.19  1.34  1.16  .024 1.18  .006
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 907    897    9581789184 apollon093 2029 20.2   .096 785     4.43 2.37 269766656 apollon081 1 .162 .245 4.45 2.44 296693760 apollon111 .024 .117 .390 .174 .105 .079 .103 .072 .003 .075 4.50 2.51 286298112 apollon079 0 .017 .114 .424 .208 .096 .073 .096 .069 .002 .071 .00 
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 908    899    12776763392 apollon026 42 5.06  .002 889     7.13 3.72 484446208 apollon022 1 .756 .00  1.36  .560 6.45 3.80 354070528 apollon097 .075 .842 1.39  .321 .812 .714 .807 .689 .017 .706 7.96 4.59 373149696 apollon141 0 .087 .853 1.62  .302 .822 .730 .820 .713 .016 .729 .002
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 920    832    10149597184 apollon103 7 299     .00  514     56.1  28.3  1980944384 apollon110 1 1.04  .00  24.8   4.07  9.84 5.47 379011072 apollon032 .180 1.55  2.98  .790 1.45  1.28  1.44  1.26  .022 1.28  13.9  7.48 447258624 apollon165 0 .604 1.97  3.88  1.10  1.90  1.67  1.85  1.64  .026 1.66  .029
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 912    902    13414666240 apollon157 6.16 3.27 381902848 apollon082 1 .593 .00  .903 .260 5.77 3.24 322027520 apollon027 .022 .392 .778 .208 .364 .310 .360 .294 .009 .303 6.48 3.63 318652416 apollon162 0 .025 .386 .979 .380 .362 .307 .359 .295 .010 .305 .011
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 908    896    8921923584 apollon053 39 4.28  .003 888     6.69 3.48 396091392 apollon150 1 .613 .00  1.08  .408 5.61 3.18 329146368 apollon043 .025 .438 .824 .221 .411 .354 .407 .337 .011 .348 5.48 3.13 326008832 apollon112 0 .029 .390 .936 .372 .363 .299 .361 .287 .010 .297 .00 
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 908    899    8122195968 apollon139 38 3.46  .001 891     6.52 3.42 327692288 apollon079 1 .581 .00  1.05  .376 4.71 2.66 349872128 apollon007 .022 .433 .802 .237 .381 .335 .378 .322 .009 .331 5.28 3.06 328511488 apollon145 0 .022 .428 .926 .323 .404 .342 .401 .331 .010 .341 .002
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 909    898    8952930304 apollon080 42 4.13  .002 890     6.68 3.50 412884992 apollon132 1 .561 .00  1.09  .474 5.41 3.04 333041664 apollon132 .039 .480 .840 .199 .452 .383 .448 .365 .012 .377 5.47 3.12 335306752 apollon123 0 .018 .394 .928 .236 .360 .293 .355 .282 .010 .292 .002
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 911    901    11818901504 apollon006 46 3.59  .001 893     5.57 2.90 275517440 apollon166 1 .537 .660 4.78 2.76 335372288 apollon011 .059 .442 .860 .254 .416 .358 .413 .348 .007 .355 5.89 3.37 327094272 apollon093 0 .063 .498 1.09  .406 .475 .398 .462 .390 .007 .397 .003
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 922    840    10275590144 apollon146 10 318     .00  495     901    451    5168857088 apollon102 8.67 5.19 400461824 apollon034 .092 1.58  2.13  .311 1.55  1.38  1.55  1.32  .045 1.37  9.68 5.72 430333952 apollon071 0 .073 1.54  2.16  .359 1.50  1.32  1.50  1.28  .039 1.32  .00 
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 915    842    10980003840 apollon145 17 224     .002 589     6.30 3.29 375267328 apollon162 1 .466 .00  1.05  .144 4.26 2.36 289325056 apollon047 .023 .148 .485 .227 .119 .079 .115 .070 .002 .072 5.42 2.98 284188672 apollon099 0 .033 .153 .610 .329 .132 .082 .127 .074 .005 .079 .001
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 912    844    9847336960 apollon140 9 350     .00  483     27.1  13.7  1012604928 apollon005 1 .547 .00  10.8   .523 6.58 4.00 357085184 apollon102 .089 1.22  1.64  .224 1.18  1.06  1.18  1.02  .029 1.05  7.97 4.69 360202240 apollon147 0 .103 1.41  2.12  .463 1.38  1.25  1.37  1.22  .028 1.25  .002
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 909    878    9283063808 apollon158 25 98.0   .001 762     901    451    5830967296 apollon136 448     3.91 2.15 277426176 apollon120 .023 .067 .319 .179 .049 .026 .047 .023 .001 .024 4.60 2.52 273616896 apollon085 0 .025 .071 .385 .241 .053 .022 .051 .019 .00  .019 .002
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 906    891    5555400704 apollon161 11 13.9   .00  873     5.87 3.13 326971392 apollon074 1 .598 .001 .771 .243 4.92 2.94 360288256 apollon112 .170 .553 .908 .218 .533 .440 .529 .412 .025 .437 5.65 3.35 353976320 apollon063 0 .174 .580 1.07  .189 .557 .459 .554 .432 .023 .455 .00 
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 907    898    7378497536 apollon063 25 2.97  .001 892     6.78 3.57 479629312 apollon014 1 .645 .00  1.26  .612 5.61 3.38 361680896 apollon060 .026 .834 1.26  .206 .814 .678 .812 .658 .015 .673 5.64 3.36 361783296 apollon109 0 .020 .776 1.28  .363 .756 .608 .752 .593 .013 .606 .001
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 910    904    12650291200 apollon092 66 2.53  .001 897     5.40 2.84 273920000 apollon044 1 .435 .464 4.43 2.42 289722368 apollon044 .028 .115 .449 .212 .095 .070 .094 .064 .003 .067 6.39 3.49 291856384 apollon140 0 .042 .163 .691 .360 .132 .104 .130 .086 .003 .089 .00 
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 860    853    14999998464 apollon087 3.67 1.98 267104256 apollon033 1 .059 .227 3.50 1.91 285339648 apollon143 .017 .068 .283 .146 .051 .036 .050 .033 .001 .034 4.68 2.61 268341248 apollon155 0 .022 .092 .406 .094 .073 .046 .070 .041 .002 .043 .002
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 909    900    8241111040 apollon037 59 3.09  .001 893     5.05 2.68 278450176 apollon030 1 .428 .001 .605 .067 4.16 2.32 304128000 apollon040 .022 .170 .474 .194 .153 .121 .148 .114 .005 .119 4.59 2.54 296611840 apollon099 0 .018 .159 .513 .251 .135 .108 .133 .102 .004 .106 .001
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 905    897    5697507328 apollon107 61 2.53  .004 891     5.24 2.78 286052352 apollon121 1 .485 .00  .581 .070 4.15 2.29 291078144 apollon104 .027 .136 .459 .218 .114 .083 .108 .076 .002 .078 5.26 2.92 293720064 apollon079 0 .035 .154 .607 .325 .126 .098 .124 .092 .002 .094 .00 
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 906    898    10622672896 apollon106 131 3.71  .003 890     4.60 2.45 271560704 apollon167 1 .224 .322 5.11 2.76 277164032 apollon030 .026 .076 .416 .230 .059 .039 .055 .035 .001 .036 4.75 2.59 279826432 apollon099 0 .037 .074 .473 .278 .055 .034 .052 .027 .001 .028 .00 
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 903    892    3222372352 apollon058 7 11.2   .001 877     902    452    6359670784 apollon038 448     16.0  11.8  447705088 apollon164 .030 7.82  9.08  .831 7.75  7.34  7.74  7.15  .184 7.33  18.3  13.3  449970176 apollon124 0 .039 8.46  9.93  1.02  8.38  7.93  8.38  7.73  .193 7.92  .006
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 903    895    2872872960 apollon012 7 5.37  .00  887     9.11 4.71 496570368 apollon152 1 1.41  .00  2.01  .553 7.48 4.90 531451904 apollon115 .021 2.10  2.74  .421 2.08  1.94  2.08  1.89  .042 1.93  9.48 6.15 526929920 apollon163 0 .023 2.44  3.43  .537 2.41  2.26  2.40  2.20  .052 2.26  .002
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 905    891    4650004480 apollon115 9 22.4   .001 865     8.51 4.43 494624768 apollon015 1 .882 .00  1.76  .877 5.75 3.39 362950656 apollon030 .024 .776 1.20  .292 .746 .655 .744 .625 .024 .649 6.74 3.94 368680960 apollon083 0 .040 .793 1.44  .440 .773 .675 .772 .649 .024 .673 .00 
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 904    890    4645883904 apollon114 7 21.7   .001 864     148    74.5  4381663232 apollon050 1 1.61  .00  70.8   17.8   22.4  17.2  664875008 apollon111 .042 13.3   14.5   .810 13.2   12.2   13.2   11.8   .315 12.2   29.3  21.9  692064256 apollon110 0 .099 15.6   17.4   1.15  15.5   14.4   15.5   14.0   .357 14.4   .013
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 904    891    3944017920 apollon064 6 16.8   .00  872     12.1  6.23 642301952 apollon043 1 1.11  .00  3.43  2.45  12.6  9.27 502829056 apollon040 .028 6.03  6.66  .429 6.00  5.75  6.00  5.66  .080 5.74  10.9  7.87 505778176 apollon150 0 .051 4.72  5.47  .552 4.70  4.48  4.70  4.42  .062 4.48  .003
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 904    892    5289713664 apollon011 5 20.2   .00  869     30.4  15.4  1348173824 apollon149 1 1.91  .00  12.4   10.7   13.6  9.51 561922048 apollon141 .072 5.53  6.66  .816 5.49  5.06  5.48  4.93  .123 5.05  12.3  8.55 561070080 apollon090 0 .050 4.92  6.05  .836 4.76  4.39  4.76  4.28  .108 4.39  .002
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 927    773    10499977216 apollon103 5 646     .00  110     40.8  20.6  1713340416 apollon010 1 2.00  .00  17.1   8.67  50.2  35.9  1274556416 apollon125 .030 6.77  33.1   22.8   6.47  4.27  5.99  4.15  .084 4.23  171    152    935124992 apollon104 0 .037 137     148     7.24  137     114     137     109     4.53  114     .110
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 911    876    8944533504 apollon030 4 247     .00  623     68.2  34.4  3174658048 apollon020 1 2.01  .00  31.0   15.8   14.0  9.84 500604928 apollon028 .027 6.22  7.08  .566 6.19  5.71  6.19  5.51  .191 5.70  16.7  11.7  509620224 apollon150 0 .037 7.12  8.12  .682 7.07  6.47  7.05  6.25  .217 6.46  .004
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 908    889    10083315712 apollon120 7 137     .00  747     23.8  12.1  1468551168 apollon043 1 1.47  .00  9.01  7.71  10.7  7.56 631603200 apollon150 .027 4.54  5.32  .593 4.51  4.11  4.50  3.99  .111 4.10  13.0  8.68 658214912 apollon135 0 .040 5.00  5.88  .627 4.97  4.47  4.96  4.31  .140 4.45  .003
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 902    888    6314119168 apollon068 3 35.7   .00  848     129    65.5  5407838208 apollon112 1 5.02  .00  60.2   56.0   113    106    1659523072 apollon033 .052 99.9   103     2.12  99.9   98.0   99.9   97.0   .993 98.0   115    107    1679417344 apollon137 0 .093 98.8   102     2.28  98.8   96.9   98.8   95.9   .980 96.9   .009
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 908    887    7694610432 apollon158 5 52.1   .001 827     110    55.4  4475412480 apollon044 1 5.03  .00  51.2   23.2   45.1  40.3  888528896 apollon025 .037 36.0   37.8   1.04  35.9   35.1   35.9   34.6   .496 35.1   45.0  38.5  921088000 apollon083 0 .035 32.7   35.1   1.39  32.5   31.9   32.5   31.4   .439 31.9   .008
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 905    885    9398243328 apollon064 4 31.7   .00  849     169    85.2  5701267456 apollon097 1 2.85  .00  79.7   27.7   18.7   30.9   80.6  74.2  2437439488 apollon056 .026 67.9   71.3   2.07  67.8   66.8   67.8   66.0   .791 66.8   97.4  88.4  2445864960 apollon099 0 .029 78.7   83.6   2.72  78.6   77.4   78.6   76.4   .972 77.3   .006
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 911    901    8630956032 apollon048 55 2.97  .001 894     6.19 3.20 303243264 apollon061 1 .554 .691 4.91 2.63 297996288 apollon087 .033 .130 .408 .169 .119 .096 .118 .090 .003 .093 6.43 3.50 317276160 apollon155 0 .029 .307 .711 .215 .157 .117 .141 .112 .004 .116 .004
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 913    901    14525841408 apollon158 6.39 3.35 323821568 apollon143 1 .652 .663 5.68 3.12 323162112 apollon090 .049 .284 .623 .194 .261 .218 .258 .206 .007 .213 6.74 3.69 326488064 apollon092 0 .032 .283 .791 .289 .268 .221 .267 .212 .006 .218 .00 
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 935    906    6761070592 apollon060 8 51.0   299     543     76.6  38.6  2827673600 apollon149 1 1.38  .108 34.8   4.39  13.2  8.66 490172416 apollon143 .040 5.03  5.96  .515 4.98  4.46  4.97  4.32  .109 4.43  17.3  11.1  522407936 apollon064 0 .039 5.95  7.16  .622 5.89  5.24  5.87  5.08  .129 5.21  .006
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 907    885    6061232128 apollon111 14 40.1   193     633     23.9  12.1  1005076480 apollon122 1 .846 .129 8.55  .401 8.05 4.59 372047872 apollon007 .041 1.21  1.85  .380 1.18  .985 1.17  .925 .044 .969 10.6  5.91 373743616 apollon115 0 .042 1.33  2.15  .498 1.25  1.04  1.24  .991 .042 1.03  .00 
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 912    903    14204342272 apollon003 6.73 3.51 337068032 apollon138 1 .650 .687 5.42 2.98 316137472 apollon137 .037 .258 .651 .230 .238 .196 .236 .184 .006 .190 7.69 4.20 346648576 apollon067 0 .031 .312 .745 .263 .293 .248 .292 .237 .008 .245 .001
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 904    888    4954841088 apollon044 12 41.4   .001 843     8.50 4.41 469929984 apollon075 1 .840 .00  1.32  .412 6.17 3.43 348737536 apollon061 .036 .523 .960 .264 .503 .438 .499 .419 .015 .434 9.22 5.10 384430080 apollon119 0 .050 .662 1.28  .353 .628 .551 .626 .529 .018 .547 .001
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 904    894    4727316480 apollon052 14 4.02  .001 886     7.88 4.11 441245696 apollon146 1 .896 .00  1.17  .348 8.64 5.19 413188096 apollon137 .041 1.42  2.02  .330 1.40  1.30  1.40  1.25  .042 1.29  10.4  6.10 432926720 apollon099 0 .037 1.35  2.10  .403 1.32  1.22  1.31  1.18  .041 1.22  .001
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 730    722    14999998464 apollon026 5.95 3.09 292593664 apollon040 1 .207 .216 5.41 2.87 290357248 apollon165 .059 .063 .337 .130 .053 .032 .052 .029 .002 .031 6.71 3.59 321085440 apollon068 0 .043 .047 .336 .153 .039 .028 .039 .025 .001 .026 .00 
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 907    895    6903451648 apollon051 19 7.24  .002 884     9.29 4.82 431501312 apollon020 1 1.47  .00  1.78  .121 7.08 4.16 417804288 apollon090 .046 .973 1.64  .427 .949 .875 .946 .847 .023 .870 10.1  5.70 436760576 apollon103 0 .058 1.17  2.26  .660 1.08  .979 1.07  .939 .023 .962 .00 
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 648    642    14999998464 apollon068 5.35 2.84 277499904 apollon142 1 .189 .300 4.83 2.58 283512832 apollon014 .041 .070 .375 .183 .051 .040 .049 .031 .00  .031 6.22 3.32 317194240 apollon127 0 .027 .089 .612 .373 .059 .040 .057 .035 .001 .036 .00 
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 903    887    7168802816 apollon089 11 105     .00  776     13.1  6.71 633286656 apollon001 1 1.16  .001 3.44  2.42  7.40 4.42 438046720 apollon074 .043 1.45  1.99  .345 1.42  1.27  1.41  1.24  .032 1.27  9.31 5.50 459436032 apollon168 0 .032 1.49  2.26  .451 1.46  1.31  1.46  1.26  .035 1.30  .00 
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 903    890    4378484736 apollon055 21 22.9   .001 863     10.6  5.46 491651072 apollon154 1 1.21  .00  2.24  1.02  6.70 3.70 355393536 apollon119 .036 .438 1.04  .339 .404 .349 .396 .336 .010 .346 10.6  5.68 373207040 apollon118 0 .104 .530 1.67  .685 .502 .450 .498 .435 .012 .447 .003
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 904    892    4485603328 apollon106 17 18.8   .00  870     8.25 4.30 438763520 apollon153 1 .886 .00  1.02  .257 6.22 3.55 349802496 apollon062 .044 .639 1.05  .261 .605 .545 .601 .520 .020 .540 9.09 5.00 379695104 apollon098 0 .105 .703 1.38  .464 .679 .586 .666 .561 .022 .583 .001
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 907    889    6147657728 apollon077 17 45.8   .00  836     7.36 3.86 432693248 apollon165 1 .665 .00  1.08  .396 5.42 2.96 315629568 apollon074 .035 .262 .626 .239 .245 .206 .244 .195 .008 .203 7.22 3.91 337121280 apollon145 0 .030 .330 .804 .282 .317 .268 .314 .253 .015 .268 .001
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 883    874    14999998464 apollon009 6.40 3.34 315842560 apollon141 1 .510 .660 5.53 3.02 328290304 apollon044 .033 .274 .588 .193 .252 .207 .246 .196 .007 .203 7.74 4.25 350429184 apollon129 0 .041 .346 1.04  .410 .317 .251 .315 .243 .007 .250 .00 
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 907    874    8198496256 apollon143 2 236     .00  629     903    453    10259234816 apollon089 444     903    885    4050112512 apollon039 .100 857     880     15.6   856     847     856     845     3.26  848     904    883    4258152448 apollon060 0 .206 830     876     31.6   830     818     829     815     4.27  820     .025
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 890    877    14999998464 apollon098 10.3  5.28 470151168 apollon143 9 .628 .001 .201 .499 .071 .034 9.03 4.71 341450752 apollon158 .086 .076 .390 .199 .068 .054 .068 .049 .001 .050 14.2  7.37 405798912 apollon093 0 .077 .129 .610 .315 .116 .071 .108 .058 .002 .060 .001
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 905    887    4245856256 apollon103 12 20.1   .001 863     14.1  7.24 651198464 apollon062 1 .665 .00  4.50  .798 1.30  1.70  6.52 3.61 304689152 apollon150 .042 .340 .673 .211 .324 .281 .323 .268 .008 .276 6.91 3.76 324050944 apollon108 0 .043 .442 .947 .348 .293 .247 .288 .237 .008 .245 .00 
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 908    883    8755445760 apollon133 5 429     20.1   422     20.1  10.3  972308480 apollon074 1 1.66  .394 6.25  4.53  13.0  9.35 636690432 apollon017 .041 5.71  6.58  .513 5.67  5.30  5.66  5.21  .083 5.30  15.9  10.7  650260480 apollon160 0 .057 5.75  6.94  .715 5.73  5.34  5.72  5.25  .078 5.33  .002
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 911    871    8540499968 apollon081 7 128     .00  731     44.7  22.5  2274086912 apollon105 1 .912 .00  19.0   2.62  8.12 4.57 368594944 apollon093 .059 1.15  1.90  .419 1.10  .919 1.10  .900 .014 .914 13.4  7.35 383385600 apollon058 0 .064 1.60  2.95  .814 1.50  1.27  1.49  1.24  .022 1.26  .004
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 904    893    5225197568 apollon150 9 14.6   .00  875     22.0  11.3  1024843776 apollon026 1 2.24  .00  7.63  5.48  15.8  11.2  654987264 apollon080 .091 6.40  7.86  .820 6.36  6.10  6.36  6.03  .067 6.10  15.7  10.5  673447936 apollon083 0 .065 5.28  6.79  .879 5.22  4.96  5.22  4.90  .055 4.96  .004
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 849    839    14999998464 apollon119 6.17 3.22 280666112 apollon105 1 .440 .550 5.03 2.72 307838976 apollon146 .030 .153 .458 .194 .136 .111 .134 .103 .005 .108 6.80 3.70 335826944 apollon073 0 .037 .173 .721 .247 .153 .112 .139 .106 .003 .109 .00 
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 963    920    8169639936 apollon080 7 190     413     303     40.6  20.5  1663201280 apollon101 1 1.07  .411 17.3   2.00  13.9  9.39 405942272 apollon160 .052 5.76  6.83  .692 5.71  4.92  5.69  4.74  .165 4.90  17.2  11.3  422686720 apollon137 0 .033 6.60  7.91  .799 6.52  5.67  6.51  5.46  .185 5.64  .009
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 905    890    5642047488 apollon064 8 32.7   127     716     71.9  36.2  2723401728 apollon160 1 1.57  .224 32.7   4.14  20.1  13.2  609513472 apollon087 .049 9.10  10.6   .977 9.03  7.93  9.01  7.61  .284 7.89  25.4  16.8  613261312 apollon109 0 .051 11.5   13.2   1.07  11.4   9.86  11.4   9.43  .386 9.81  .006
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 904    893    5151195136 apollon167 6 10.9   .00  878     37.7  19.2  1866002432 apollon160 1 4.27  .00  15.5   11.2   20.0  15.9  787542016 apollon063 .039 11.6   13.2   .880 11.6   11.3   11.6   11.1   .129 11.3   8.61 4.56 307703808 apollon091 0 .041 .084 1.40  .759 .037 .009 .015 .007 .00  .007 .004
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 911    856    11375083520 apollon128 2 319     .00  529     904    455    11439833088 apollon058 446     902    885    3977068544 apollon066 .034 813     881     42.0   812     783     812     776     8.02  784     902    885    3390414848 apollon157 0 .066 815     879     39.1   814     786     814     779     7.91  787     .027
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 905    894    6863638528 apollon038 1 11.0   .001 879     905    455    11344490496 apollon063 447     905    896    6360776704 apollon095 .071 882     893     9.23  882     871     882     869     5.09  874     16.6  9.56 530391040 apollon072 0 .074 .411 5.33  4.42  .383 .330 .370 .327 .002 .329 .003
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 904    892    5837131776 apollon017 3 19.6   .001 868     901    451    7698624512 apollon166 447     901    890    2528940032 apollon163 .053 804     888     80.0   804     770     804     759     11.3   770     194    185    2525384704 apollon167 0 .106 168     181     11.8   168     163     168     161     1.23  163     .003
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 912    901    14285619200 apollon035 6.46 3.39 273911808 apollon045 1 .691 .941 4.88 2.63 294998016 apollon165 .022 .135 .488 .164 .110 .084 .102 .075 .003 .078 6.53 3.51 278482944 apollon074 0 .039 .098 .657 .396 .063 .039 .060 .025 .012 .037 .00 
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 903    892    3449110528 apollon165 9 5.95  .00  884     8.58 4.47 413552640 apollon136 1 1.68  1.85  8.55 6.00 452214784 apollon153 .027 3.27  3.84  .343 3.24  3.10  3.23  3.06  .035 3.09  5.59 2.98 280064000 apollon156 0 .038 .151 .638 .266 .015 .010 .014 .006 .001 .007 .013
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 575    566    14999998464 apollon130 4.37 2.33 271314944 apollon147 1 .194 3.95 2.13 272924672 apollon042 .018 .018 .242 .165 .010 .004 .010 .001 .00  .001 4.52 2.42 275587072 apollon106 0 .016 .022 .354 .087 .012 .003 .010 .001 .00  .001 .00 
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 589    580    14999998464 apollon087 4.41 2.35 279080960 apollon096 1 .069 .155 3.92 2.12 278024192 apollon015 .017 .026 .246 .141 .016 .003 .015 .002 .00  .002 4.37 2.41 266551296 apollon058 0 .016 .026 .342 .240 .016 .004 .014 .002 .00  .002 .00 
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 911    874    14964461568 apollon105 2 648     .001 218     275    139    7173832704 apollon107 1 33.9   .001 132     99.3   227    219    2176999424 apollon028 .074 206     215     8.55  206     198     206     195     2.84  198     37.0  29.3  1288183808 apollon114 0 .116 20.6   24.9   3.71  20.5   19.6   20.5   19.3   .308 19.6   .013
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 567    558    14999998464 apollon111 4.36 2.34 273219584 apollon036 1 .188 3.98 2.16 272039936 apollon050 .022 .019 .258 .159 .011 .006 .010 .004 .001 .005 4.67 2.51 270495744 apollon150 0 .027 .021 .352 .239 .015 .006 .015 .004 .00  .004 .00 
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 677    667    14999998464 apollon119 4.37 2.31 273932288 apollon060 1 .034 .195 4.22 2.31 271527936 apollon035 .020 .027 .173 .079 .018 .008 .016 .004 .00  .004 4.53 2.46 277467136 apollon095 0 .020 .022 .294 .087 .016 .008 .014 .005 .00  .005 .00 
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 905    893    5698035712 apollon037 2 13.0   .00  876     249    126    6824988672 apollon038 1 10.6   .00  120     111     301    294    2266800128 apollon115 .035 287     291     3.44  287     282     287     280     1.56  282     7.85 4.53 408616960 apollon139 0 .035 .853 1.39  .386 .834 .753 .832 .737 .015 .752 .00 
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 906    897    8295436288 apollon050 19 10.5   .001 883     6.22 3.26 308527104 apollon015 1 .734 .804 5.81 3.56 428494848 apollon141 .023 1.05  1.43  .236 1.03  .923 1.03  .887 .029 .916 6.46 3.87 436404224 apollon141 0 .022 1.12  1.63  .306 .950 .845 .949 .818 .025 .843 .001
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 911    849    8208572416 apollon008 4 559     .00  283     315    158    5067005952 apollon099 1 1.99  .00  154     24.3   62.1  56.2  921956352 apollon158 .057 50.4   52.7   1.63  50.4   48.3   50.4   47.4   .836 48.2   57.0  50.3  919621632 apollon158 0 .052 44.2   46.3   1.51  44.2   42.3   44.2   41.5   .760 42.3   .004
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 910    901    14105907200 apollon032 29 10.4   .00  888     6.21 3.26 278228992 apollon135 1 .696 .702 6.56 3.77 370757632 apollon020 .030 .575 1.01  .265 .559 .480 .558 .454 .019 .473 5.62 3.22 359018496 apollon103 0 .020 .466 .939 .344 .454 .385 .453 .367 .015 .382 .00 
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 908    898    8437800960 apollon059 19 7.68  .001 887     6.09 3.22 274137088 apollon079 1 .688 .741 5.81 3.56 423563264 apollon090 .020 1.03  1.45  .262 1.02  .921 1.01  .886 .029 .915 6.74 4.02 427061248 apollon081 0 .019 1.02  1.69  .318 1.01  .883 .982 .854 .028 .882 .001
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 912    902    12774473728 apollon020 11.2  5.72 532152320 apollon080 1 .684 .00  2.60  .216 1.46  .114 7.57 4.60 425488384 apollon035 .020 1.46  1.99  .280 1.42  1.32  1.42  1.29  .028 1.32  9.56 5.66 451108864 apollon168 0 .033 1.48  2.19  .423 1.45  1.34  1.44  1.31  .026 1.34  .001
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 906    895    8666247168 apollon003 6 24.3   .00  867     25.3  13.0  1655951360 apollon046 1 2.75  .00  8.93  6.35  30.2  26.2  1235673088 apollon034 .027 22.1   23.4   .551 22.0   21.6   22.0   21.3   .287 21.6   32.8  27.1  1277251584 apollon116 0 .032 21.1   23.3   .834 21.1   20.6   21.1   20.4   .261 20.6   .009
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 620    610    14999998464 apollon009 3.04 1.68 257220608 apollon048 1 .102 3.59 1.98 263335936 apollon039 .107 .034 .117 .043 .017 .005 .015 .003 .00  .003 3.16 1.80 254533632 apollon073 0 .018 .151 .215 .030 .108 .005 .105 .002 .00  .002 .001
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 580    571    14999998464 apollon100 3.06 1.69 256823296 apollon022 1 .116 3.75 2.09 273559552 apollon048 .112 .023 .112 .036 .017 .005 .016 .003 .00  .003 3.23 1.85 256741376 apollon073 0 .017 .142 .255 .080 .132 .007 .130 .003 .00  .003 .00 
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 585    576    14999998464 apollon132 3.12 1.70 263598080 apollon145 1 .030 .137 3.45 1.91 263942144 apollon127 .107 .025 .109 .046 .013 .004 .010 .001 .002 .003 3.29 1.83 257961984 apollon146 0 .015 .137 .215 .049 .126 .003 .123 .002 .00  .002 .00 
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 673    664    14999998464 apollon109 3.78 2.05 266612736 apollon010 1 .159 3.08 1.70 274497536 apollon149 .109 .029 .118 .041 .018 .006 .016 .002 .00  .002 3.33 1.80 253665280 apollon123 0 .061 .131 .203 .041 .119 .004 .117 .001 .00  .001 .001
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 586    578    14999998464 apollon003 3.18 1.74 260665344 apollon029 1 .105 3.07 1.71 269762560 apollon029 .088 .028 .096 .039 .014 .005 .011 .002 .00  .002 3.26 1.81 256663552 apollon114 0 .015 .169 .290 .040 .156 .006 .151 .001 .001 .002 .00 
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 617    608    14999998464 apollon122 3.33 1.80 266829824 apollon164 1 .019 .143 3.19 1.75 263897088 apollon076 .092 .022 .110 .044 .017 .004 .012 .003 .00  .003 3.42 1.91 255897600 apollon132 0 .017 .147 .217 .039 .142 .005 .140 .004 .00  .004 .001
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 715    705    14999998464 apollon098 3.20 1.74 260718592 apollon118 1 .129 3.02 1.66 269414400 apollon153 .084 .022 .087 .033 .014 .003 .010 .003 .00  .003 3.39 1.87 256663552 apollon066 0 .015 .145 .265 .075 .136 .004 .136 .001 .00  .001 .001
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 594    587    14999998464 apollon037 3.17 1.73 265490432 apollon064 1 .036 .145 3.82 2.10 269639680 apollon048 .022 .025 .194 .045 .017 .007 .015 .002 .00  .002 3.59 2.01 253386752 apollon091 0 .019 .138 .275 .049 .128 .004 .128 .002 .00  .002 .001
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 678    668    14999998464 apollon020 3.20 1.74 262803456 apollon037 1 .138 2.99 1.68 267997184 apollon090 .089 .026 .087 .031 .013 .006 .012 .004 .00  .004 3.33 1.84 256221184 apollon074 0 .016 .159 .224 .037 .145 .003 .140 .002 .00  .002 .001
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 666    658    14999998464 apollon046 3.18 1.74 259309568 apollon058 1 .119 3.77 2.10 264073216 apollon086 .112 .030 .119 .045 .016 .005 .015 .002 .00  .002 3.27 1.83 255942656 apollon099 0 .015 .161 .225 .031 .150 .004 .149 .003 .00  .003 .00 
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 677    669    14999998464 apollon139 3.28 1.77 262811648 apollon161 1 .060 .140 3.21 1.74 272252928 apollon118 .018 .021 .178 .046 .013 .004 .013 .001 .00  .001 3.95 2.22 256909312 apollon073 0 .020 .166 .299 .082 .158 .004 .157 .003 .00  .003 .00 
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 627    618    14999998464 apollon042 3.12 1.71 262598656 apollon058 1 .115 2.97 1.66 261890048 apollon056 .089 .021 .095 .031 .016 .006 .012 .001 .00  .001 3.49 1.95 256712704 apollon148 0 .022 .179 .277 .051 .161 .004 .159 .001 .001 .002 .001
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 591    584    14999998464 apollon141 3.24 1.77 264679424 apollon099 1 .072 .174 3.52 1.96 264212480 apollon158 .101 .030 .116 .042 .016 .004 .014 .002 .00  .002 3.52 1.98 254017536 apollon080 0 .018 .147 .240 .055 .133 .121 .130 .119 .00  .119 .001
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 675    667    14999998464 apollon143 3.29 1.79 261152768 apollon118 1 .136 2.97 1.66 265248768 apollon061 .088 .023 .086 .031 .010 .002 .009 .001 .00  .001 3.96 2.22 255279104 apollon141 0 .047 .122 .194 .037 .115 .004 .112 .002 .00  .002 .001
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 702    692    14999998464 apollon114 3.21 1.75 262168576 apollon075 1 .033 .135 2.97 1.64 274485248 apollon057 .088 .027 .106 .045 .014 .005 .014 .001 .001 .002 3.22 1.78 260272128 apollon116 0 .017 .113 .180 .037 .105 .005 .105 .002 .00  .002 .001
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 689    680    14999998464 apollon103 3.12 1.70 258842624 apollon162 1 .026 .115 3.00 1.66 263286784 apollon026 .017 .020 .151 .033 .012 .005 .012 .002 .001 .003 3.30 1.84 251748352 apollon167 0 .017 .148 .216 .034 .141 .003 .137 .003 .00  .003 .002
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 666    657    14999998464 apollon038 3.03 1.67 256696320 apollon141 1 .107 3.51 1.93 266022912 apollon023 .102 .030 .108 .040 .016 .006 .014 .002 .00  .002 3.15 1.77 256196608 apollon127 0 .016 .130 .208 .049 .117 .003 .115 .002 .00  .002 .00 
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 596    588    14999998464 apollon151 3.18 1.74 262676480 apollon033 1 .139 2.94 1.65 259506176 apollon156 .017 .090 .159 .034 .014 .005 .013 .002 .00  .002 3.22 1.82 257867776 apollon074 0 .015 .138 .208 .044 .128 .004 .127 .001 .001 .002 .00 
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 711    701    14999998464 apollon139 3.10 1.72 266346496 apollon015 1 .030 .114 3.07 1.70 267550720 apollon149 .086 .019 .087 .032 .012 .004 .011 .002 .00  .002 3.39 1.91 257241088 apollon131 0 .016 .113 .203 .063 .106 .004 .103 .003 .00  .003 .001
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 631    623    14999998464 apollon075 3.13 1.72 263286784 apollon142 1 .131 3.05 1.69 266113024 apollon136 .088 .023 .095 .038 .012 .006 .011 .003 .00  .003 3.24 1.82 255070208 apollon098 0 .017 .145 .206 .033 .137 .004 .137 .001 .00  .001 .00 
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 672    662    14999998464 apollon116 3.40 1.85 267165696 apollon047 1 .068 .169 3.00 1.67 260198400 apollon148 .086 .023 .094 .036 .014 .003 .012 .002 .00  .002 3.26 1.88 258142208 apollon104 0 .018 .171 .240 .040 .156 .005 .155 .002 .00  .002 .001
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 688    679    14999998464 apollon162 3.32