Tool CPAchecker 1.4-svn 17093
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 2
Host [zeus01; zeus02; zeus03; zeus04; zeus05; zeus06; zeus07; zeus08; zeus09; zeus10; zeus11; zeus12; zeus13; zeus14; zeus15; zeus16; zeus17; zeus18; zeus19; zeus20; zeus21; zeus22; zeus23; zeus24]
OS Linux 3.13.0-55-generic
System CPU: Intel Xeon E5-2650 v2 @ 2.60 GHz with 32 cores, frequency: 2.6 GHz; RAM: 135 GB
Date of execution 2015-06-18 23:32:00 CEST 2015-06-18 23:32:16 CEST 2015-06-18 23:32:34 CEST 2015-06-18 23:32:25 CEST 2015-06-18 23:32:57 CEST 2015-06-18 23:32:52 CEST
Run set PA-refinementSelection-simple.NONE PA-refinementSelection-simple.LENGTH_SHORT PA-refinementSelection-simple.LENGTH_LONG PA-refinementSelection-domain.DOMAIN_GOOD PA-refinementSelection-domain.DOMAIN_BAD PA-refinementSelection-width.WIDTH_NARROW PA-refinementSelection-width.WIDTH_WIDE PA-refinementSelection-depth.PIVOT_SHALLOW PA-refinementSelection-depth.PIVOT_DEEP PA-refinementSelection-combo.DOMAIN_GOOD_WIDTH_NARROW PA-refinementSelection-combo.WIDTH_NARROW_NO_LOOP PA-refinementSelection-random.RANDOM1 PA-refinementSelection-random.RANDOM2 PA-refinementSelection-random.RANDOM3
Options -disable-java-assertions -heap 12500M -noout -skipRecursion -setprop log.consoleLevel=WARNING -predicateAnalysis-PredAbsRefiner-SBE -setprop cpa.predicate.blk.threshold=1 -setprop cpa.predicate.blk.useCache=false -setprop cpa.predicate.abstraction.computation=CARTESIAN -setprop cpa.predicate.refinement.performInitialStaticRefinement=false -setprop cpa.predicate.refinement.restartAfterRefinements=1 -setprop cpa.predicate.precision.sharing=GLOBAL -setprop analysis.checkCounterexamples=false -setprop cpa.predicate.refinement.prefixPreference=NONE -disable-java-assertions -heap 12500M -noout -skipRecursion -setprop log.consoleLevel=WARNING -predicateAnalysis-PredAbsRefiner-SBE -setprop cpa.predicate.blk.threshold=1 -setprop cpa.predicate.blk.useCache=false -setprop cpa.predicate.abstraction.computation=CARTESIAN -setprop cpa.predicate.refinement.performInitialStaticRefinement=false -setprop cpa.predicate.refinement.restartAfterRefinements=1 -setprop cpa.predicate.precision.sharing=GLOBAL -setprop analysis.checkCounterexamples=false -setprop cpa.predicate.refinement.prefixPreference=LENGTH_SHORT -disable-java-assertions -heap 12500M -noout -skipRecursion -setprop log.consoleLevel=WARNING -predicateAnalysis-PredAbsRefiner-SBE -setprop cpa.predicate.blk.threshold=1 -setprop cpa.predicate.blk.useCache=false -setprop cpa.predicate.abstraction.computation=CARTESIAN -setprop cpa.predicate.refinement.performInitialStaticRefinement=false -setprop cpa.predicate.refinement.restartAfterRefinements=1 -setprop cpa.predicate.precision.sharing=GLOBAL -setprop analysis.checkCounterexamples=false -setprop cpa.predicate.refinement.prefixPreference=LENGTH_LONG -disable-java-assertions -heap 12500M -noout -skipRecursion -setprop log.consoleLevel=WARNING -predicateAnalysis-PredAbsRefiner-SBE -setprop cpa.predicate.blk.threshold=1 -setprop cpa.predicate.blk.useCache=false -setprop cpa.predicate.abstraction.computation=CARTESIAN -setprop cpa.predicate.refinement.performInitialStaticRefinement=false -setprop cpa.predicate.refinement.restartAfterRefinements=1 -setprop cpa.predicate.precision.sharing=GLOBAL -setprop analysis.checkCounterexamples=false -setprop cpa.predicate.refinement.prefixPreference=DOMAIN_GOOD_SHORT -disable-java-assertions -heap 12500M -noout -skipRecursion -setprop log.consoleLevel=WARNING -predicateAnalysis-PredAbsRefiner-SBE -setprop cpa.predicate.blk.threshold=1 -setprop cpa.predicate.blk.useCache=false -setprop cpa.predicate.abstraction.computation=CARTESIAN -setprop cpa.predicate.refinement.performInitialStaticRefinement=false -setprop cpa.predicate.refinement.restartAfterRefinements=1 -setprop cpa.predicate.precision.sharing=GLOBAL -setprop analysis.checkCounterexamples=false -setprop cpa.predicate.refinement.prefixPreference=DOMAIN_BAD_SHORT -disable-java-assertions -heap 12500M -noout -skipRecursion -setprop log.consoleLevel=WARNING -predicateAnalysis-PredAbsRefiner-SBE -setprop cpa.predicate.blk.threshold=1 -setprop cpa.predicate.blk.useCache=false -setprop cpa.predicate.abstraction.computation=CARTESIAN -setprop cpa.predicate.refinement.performInitialStaticRefinement=false -setprop cpa.predicate.refinement.restartAfterRefinements=1 -setprop cpa.predicate.precision.sharing=GLOBAL -setprop analysis.checkCounterexamples=false -setprop cpa.predicate.refinement.prefixPreference=WIDTH_NARROW_SHORT -disable-java-assertions -heap 12500M -noout -skipRecursion -setprop log.consoleLevel=WARNING -predicateAnalysis-PredAbsRefiner-SBE -setprop cpa.predicate.blk.threshold=1 -setprop cpa.predicate.blk.useCache=false -setprop cpa.predicate.abstraction.computation=CARTESIAN -setprop cpa.predicate.refinement.performInitialStaticRefinement=false -setprop cpa.predicate.refinement.restartAfterRefinements=1 -setprop cpa.predicate.precision.sharing=GLOBAL -setprop analysis.checkCounterexamples=false -setprop cpa.predicate.refinement.prefixPreference=WIDTH_WIDE_SHORT -disable-java-assertions -heap 12500M -noout -skipRecursion -setprop log.consoleLevel=WARNING -predicateAnalysis-PredAbsRefiner-SBE -setprop cpa.predicate.blk.threshold=1 -setprop cpa.predicate.blk.useCache=false -setprop cpa.predicate.abstraction.computation=CARTESIAN -setprop cpa.predicate.refinement.performInitialStaticRefinement=false -setprop cpa.predicate.refinement.restartAfterRefinements=1 -setprop cpa.predicate.precision.sharing=GLOBAL -setprop analysis.checkCounterexamples=false -setprop cpa.predicate.refinement.prefixPreference=PIVOT_SHALLOW_SHORT -disable-java-assertions -heap 12500M -noout -skipRecursion -setprop log.consoleLevel=WARNING -predicateAnalysis-PredAbsRefiner-SBE -setprop cpa.predicate.blk.threshold=1 -setprop cpa.predicate.blk.useCache=false -setprop cpa.predicate.abstraction.computation=CARTESIAN -setprop cpa.predicate.refinement.performInitialStaticRefinement=false -setprop cpa.predicate.refinement.restartAfterRefinements=1 -setprop cpa.predicate.precision.sharing=GLOBAL -setprop analysis.checkCounterexamples=false -setprop cpa.predicate.refinement.prefixPreference=PIVOT_DEEP_SHORT -disable-java-assertions -heap 12500M -noout -skipRecursion -setprop log.consoleLevel=WARNING -predicateAnalysis-PredAbsRefiner-SBE -setprop cpa.predicate.blk.threshold=1 -setprop cpa.predicate.blk.useCache=false -setprop cpa.predicate.abstraction.computation=CARTESIAN -setprop cpa.predicate.refinement.performInitialStaticRefinement=false -setprop cpa.predicate.refinement.restartAfterRefinements=1 -setprop cpa.predicate.precision.sharing=GLOBAL -setprop analysis.checkCounterexamples=false -setprop cpa.predicate.refinement.prefixPreference=DOMAIN_GOOD_WIDTH_NARROW_SHORT -disable-java-assertions -heap 12500M -noout -skipRecursion -setprop log.consoleLevel=WARNING -predicateAnalysis-PredAbsRefiner-SBE -setprop cpa.predicate.blk.threshold=1 -setprop cpa.predicate.blk.useCache=false -setprop cpa.predicate.abstraction.computation=CARTESIAN -setprop cpa.predicate.refinement.performInitialStaticRefinement=false -setprop cpa.predicate.refinement.restartAfterRefinements=1 -setprop cpa.predicate.precision.sharing=GLOBAL -setprop analysis.checkCounterexamples=false -setprop cpa.predicate.refinement.prefixPreference=WIDTH_NARROW_NO_LOOP_SHORT -disable-java-assertions -heap 12500M -noout -skipRecursion -setprop log.consoleLevel=WARNING -predicateAnalysis-PredAbsRefiner-SBE -setprop cpa.predicate.blk.threshold=1 -setprop cpa.predicate.blk.useCache=false -setprop cpa.predicate.abstraction.computation=CARTESIAN -setprop cpa.predicate.refinement.performInitialStaticRefinement=false -setprop cpa.predicate.refinement.restartAfterRefinements=1 -setprop cpa.predicate.precision.sharing=GLOBAL -setprop analysis.checkCounterexamples=false -setprop cpa.predicate.refinement.prefixPreference=RANDOM -setprop cpa.predicate.refinement.any=1 -disable-java-assertions -heap 12500M -noout -skipRecursion -setprop log.consoleLevel=WARNING -predicateAnalysis-PredAbsRefiner-SBE -setprop cpa.predicate.blk.threshold=1 -setprop cpa.predicate.blk.useCache=false -setprop cpa.predicate.abstraction.computation=CARTESIAN -setprop cpa.predicate.refinement.performInitialStaticRefinement=false -setprop cpa.predicate.refinement.restartAfterRefinements=1 -setprop cpa.predicate.precision.sharing=GLOBAL -setprop analysis.checkCounterexamples=false -setprop cpa.predicate.refinement.prefixPreference=RANDOM -setprop cpa.predicate.refinement.any=2 -disable-java-assertions -heap 12500M -noout -skipRecursion -setprop log.consoleLevel=WARNING -predicateAnalysis-PredAbsRefiner-SBE -setprop cpa.predicate.blk.threshold=1 -setprop cpa.predicate.blk.useCache=false -setprop cpa.predicate.abstraction.computation=CARTESIAN -setprop cpa.predicate.refinement.performInitialStaticRefinement=false -setprop cpa.predicate.refinement.restartAfterRefinements=1 -setprop cpa.predicate.precision.sharing=GLOBAL -setprop analysis.checkCounterexamples=false -setprop cpa.predicate.refinement.prefixPreference=RANDOM -setprop cpa.predicate.refinement.any=3
../benchmarks/svcomp15/ status cputime #refs #prefixes status cputime #refs #prefixes status cputime #refs #prefixes status cputime #refs #prefixes status cputime #refs #prefixes status cputime #refs #prefixes status cputime #refs #prefixes status cputime #refs #prefixes status cputime #refs #prefixes status cputime #refs #prefixes status cputime #refs #prefixes status cputime #refs #prefixes status cputime #refs #prefixes status cputime #refs #prefixes
bitvector/byte_add_false-unreach-call.i false(reach) 11.689s 7 0 false(reach) 12.834s 6 25 false(reach) 16.135s 8 29 false(reach) 12.134s 6 25 false(reach) 12.577s 6 25 false(reach) 14.438s 7 27 false(reach) 15.714s 6 28 false(reach) 15.992s 6 28 false(reach) 16.733s 8 29 false(reach) 12.240s 6 25 false(reach) 12.598s 6 25 false(reach) 16.145s 7 34 false(reach) 12.225s 6 18 false(reach) 14.992s 6 25
bitvector/byte_add_1_true-unreach-call.i false(reach) 11.690s 7 0 false(reach) 12.387s 6 26 false(reach) 16.235s 8 29 false(reach) 17.557s 8 38 false(reach) 13.257s 6 26 false(reach) 14.202s 7 27 false(reach) 16.396s 6 31 false(reach) 19.335s 7 34 false(reach) 17.262s 8 29 false(reach) 16.555s 8 38 false(reach) 16.185s 8 38 false(reach) 14.597s 4 20 false(reach) 15.444s 6 30 false(reach) 15.941s 7 49
bitvector/byte_add_2_true-unreach-call.i false(reach) 10.791s 7 0 false(reach) 13.005s 6 25 false(reach) 16.831s 8 31 false(reach) 13.229s 6 25 false(reach) 12.441s 6 25 false(reach) 14.910s 7 29 false(reach) 16.499s 6 28 false(reach) 16.842s 6 28 false(reach) 17.184s 8 31 false(reach) 13.230s 6 25 false(reach) 13.157s 6 25 false(reach) 14.564s 5 22 false(reach) 14.563s 7 21 false(reach) 15.022s 7 21
bitvector/gcd_1_true-unreach-call.i false(reach) 7.349s 4 0 false(reach) 7.399s 4 5 false(reach) 7.851s 4 5 false(reach) 6.926s 4 5 false(reach) 7.605s 4 5 false(reach) 7.680s 4 5 false(reach) 7.839s 4 5 false(reach) 7.041s 4 5 false(reach) 7.636s 4 5 false(reach) 7.688s 4 5 false(reach) 7.576s 4 5 false(reach) 7.120s 4 5 false(reach) 6.972s 4 5 false(reach) 7.650s 4 5
bitvector/gcd_2_true-unreach-call.i true 10.612s 4 0 true 10.923s 4 4 true 10.395s 4 4 true 10.799s 4 4 true 10.654s 4 4 true 10.725s 4 4 true 11.027s 4 4 true 10.464s 4 4 true 10.752s 4 4 true 10.675s 4 4 true 9.974s 4 4 true 10.675s 4 4 true 10.425s 4 4 true 10.563s 4 4
bitvector/gcd_3_true-unreach-call.i false(reach) 3.735s 2 0 false(reach) 3.775s 2 1 false(reach) 3.867s 2 1 false(reach) 3.850s 2 1 false(reach) 3.779s 2 1 false(reach) 3.807s 2 1 false(reach) 3.803s 2 1 false(reach) 3.912s 2 1 false(reach) 3.847s 2 1 false(reach) 3.661s 2 1 false(reach) 3.782s 2 1 false(reach) 3.716s 2 1 false(reach) 3.744s 2 1 false(reach) 3.796s 2 1
bitvector/gcd_4_true-unreach-call.i false(reach) 13.938s 7 0 false(reach) 13.642s 7 10 false(reach) 11.914s 6 9 false(reach) 14.171s 7 10 false(reach) 10.601s 6 9 false(reach) 14.051s 7 10 false(reach) 11.789s 6 9 false(reach) 13.481s 7 10 false(reach) 13.897s 7 10 false(reach) 12.928s 7 10 false(reach) 13.180s 7 10 false(reach) 11.609s 6 9 false(reach) 14.563s 7 10 false(reach) 10.849s 6 9
bitvector/interleave_bits_true-unreach-call.i false(reach) 24.071s 33 0 false(reach) 27.222s 33 32 false(reach) 26.672s 33 32 false(reach) 26.564s 33 32 false(reach) 25.434s 33 32 false(reach) 27.594s 33 32 false(reach) 25.537s 33 32 false(reach) 27.134s 33 32 false(reach) 26.982s 33 32 false(reach) 26.487s 33 32 false(reach) 26.384s 33 32 false(reach) 29.086s 33 32 false(reach) 26.780s 33 32 false(reach) 27.917s 33 32
bitvector/jain_1_true-unreach-call.i timeout 901.099s 484931 0 timeout 901.585s 370153 370153 timeout 901.049s 352878 352878 timeout 900.742s 376005 376005 timeout 900.770s 367067 367067 timeout 900.774s 386932 386932 timeout 901.174s 340918 340918 timeout 900.880s 366414 366414 timeout 901.261s 377413 377412 timeout 901.166s 376081 376081 timeout 901.088s 374376 374376 timeout 901.057s 372411 372411 timeout 901.154s 369578 369578 timeout 900.791s 350427 350427
bitvector/jain_2_true-unreach-call.i true 3.858s 1 0 true 3.679s 1 1 true 3.988s 1 1 true 3.804s 1 1 true 3.665s 1 1 true 3.812s 1 1 true 3.815s 1 1 true 3.631s 1 1 true 3.757s 1 1 true 3.773s 1 1 true 3.819s 1 1 true 3.775s 1 1 true 3.685s 1 1 true 4.151s 1 1
bitvector/jain_4_true-unreach-call.i true 3.730s 1 0 true 3.876s 1 1 true 3.865s 1 1 true 3.803s 1 1 true 3.853s 1 1 true 3.739s 1 1 true 4.062s 1 1 true 3.664s 1 1 true 3.625s 1 1 true 3.954s 1 1 true 3.894s 1 1 true 3.845s 1 1 true 3.891s 1 1 true 3.741s 1 1
bitvector/jain_5_true-unreach-call.i timeout 900.898s 9 0 timeout 901.167s 9 9 timeout 901.273s 9 9 timeout 900.854s 9 9 timeout 901.160s 9 9 timeout 900.773s 9 9 timeout 900.979s 9 9 timeout 901.028s 9 9 timeout 900.873s 9 9 timeout 901.056s 9 9 timeout 900.853s 9 9 timeout 900.711s 9 9 timeout 901.160s 9 9 timeout 900.924s 9 9
bitvector/jain_6_true-unreach-call.i true 3.850s 1 0 true 4.155s 1 1 true 3.987s 1 1 true 3.950s 1 1 true 4.002s 1 1 true 3.952s 1 1 true 3.992s 1 1 true 4.105s 1 1 true 4.110s 1 1 true 3.769s 1 1 true 4.128s 1 1 true 3.982s 1 1 true 3.893s 1 1 true 3.863s 1 1
bitvector/jain_7_true-unreach-call.i true 3.760s 1 0 true 4.188s 1 1 true 4.158s 1 1 true 3.954s 1 1 true 3.896s 1 1 true 4.033s 1 1 true 3.936s 1 1 true 4.061s 1 1 true 4.163s 1 1 true 4.143s 1 1 true 4.205s 1 1 true 3.984s 1 1 true 4.213s 1 1 true 4.296s 1 1
bitvector/modulus_true-unreach-call.i false(reach) 3.756s 1 0 false(reach) 3.650s 1 0 false(reach) 3.560s 1 0 false(reach) 3.375s 1 0 false(reach) 3.445s 1 0 false(reach) 3.526s 1 0 false(reach) 3.616s 1 0 false(reach) 3.702s 1 0 false(reach) 3.524s 1 0 false(reach) 3.505s 1 0 false(reach) 3.585s 1 0 false(reach) 3.546s 1 0 false(reach) 3.688s 1 0 false(reach) 3.470s 1 0
bitvector/num_conversion_1_true-unreach-call.i false(reach) 7.166s 9 0 false(reach) 7.212s 9 8 false(reach) 7.277s 9 8 false(reach) 7.230s 9 8 false(reach) 7.212s 9 8 false(reach) 7.401s 9 8 false(reach) 7.233s 9 8 false(reach) 7.355s 9 8 false(reach) 7.283s 9 8 false(reach) 7.470s 9 8 false(reach) 7.392s 9 8 false(reach) 7.109s 9 8 false(reach) 7.434s 9 8 false(reach) 7.436s 9 8
bitvector/num_conversion_2_true-unreach-call.i false(reach) 7.035s 9 0 false(reach) 7.831s 9 8 false(reach) 7.689s 9 8 false(reach) 7.876s 9 8 false(reach) 8.002s 9 8 false(reach) 7.892s 9 8 false(reach) 7.737s 9 8 false(reach) 7.460s 9 8 false(reach) 7.846s 9 8 false(reach) 7.546s 9 8 false(reach) 7.788s 9 8 false(reach) 7.824s 9 8 false(reach) 7.492s 9 8 false(reach) 7.759s 9 8
bitvector/parity_true-unreach-call.i false(reach) 3.585s 1 0 false(reach) 3.574s 1 0 false(reach) 3.687s 1 0 false(reach) 3.433s 1 0 false(reach) 3.588s 1 0 false(reach) 3.650s 1 0 false(reach) 3.634s 1 0 false(reach) 3.714s 1 0 false(reach) 3.556s 1 0 false(reach) 3.478s 1 0 false(reach) 3.700s 1 0 false(reach) 3.419s 1 0 false(reach) 3.517s 1 0 false(reach) 3.506s 1 0
bitvector/sum02_true-unreach-call.i false(reach) 4.779s 4 0 false(reach) 4.723s 4 3 false(reach) 4.659s 4 3 false(reach) 4.634s 4 3 false(reach) 4.841s 4 3 false(reach) 4.751s 4 3 false(reach) 4.654s 4 3 false(reach) 4.881s 4 3 false(reach) 4.921s 4 3 false(reach) 4.737s 4 3 false(reach) 4.633s 4 3 false(reach) 5.060s 4 3 false(reach) 4.817s 4 3 false(reach) 4.758s 4 3
bitvector/s3_clnt_1_false-unreach-call.BV.c.cil.c false(reach) 45.475s 25 0 false(reach) 53.890s 25 68 timeout 901.078s 131 3380 false(reach) 57.970s 24 131 false(reach) 285.470s 36 151 false(reach) 57.683s 25 88 false(reach) 66.959s 24 200 false(reach) 59.528s 24 97 false(reach) 278.164s 41 157 false(reach) 53.843s 24 139 false(reach) 59.950s 25 88 false(reach) 143.806s 32 197 false(reach) 111.008s 30 114 false(reach) 100.181s 29 164
bitvector/s3_clnt_2_false-unreach-call.BV.c.cil.c false(reach) 42.948s 23 0 false(reach) 47.892s 23 62 false(reach) 159.802s 25 329 false(reach) 66.902s 24 167 false(reach) 702.330s 44 183 false(reach) 56.194s 25 90 timeout 901.253s 44 696 timeout 901.403s 40 194 false(reach) 417.464s 44 218 false(reach) 66.172s 24 190 false(reach) 57.437s 25 90 false(reach) 51.244s 23 141 false(reach) 96.551s 26 226 false(reach) 86.065s 24 192
bitvector/s3_clnt_3_false-unreach-call.BV.c.cil.c false(reach) 11.716s 6 0 false(reach) 12.433s 6 10 false(reach) 19.582s 8 23 false(reach) 12.315s 6 10 false(reach) 12.327s 6 10 false(reach) 11.567s 6 9 false(reach) 20.066s 8 24 false(reach) 12.419s 6 10 false(reach) 11.686s 6 9 false(reach) 12.017s 6 9 false(reach) 11.897s 6 9 false(reach) 18.023s 8 15 false(reach) 19.386s 8 15 false(reach) 19.246s 8 22
bitvector/s3_clnt_1_true-unreach-call.BV.c.cil.c false(reach) 45.429s 25 0 false(reach) 54.753s 25 68 false(reach) 573.096s 36 418 false(reach) 59.595s 24 131 false(reach) 284.910s 36 151 false(reach) 60.037s 25 88 false(reach) 66.325s 24 200 false(reach) 60.069s 24 97 false(reach) 266.982s 41 157 false(reach) 55.365s 24 139 false(reach) 58.964s 25 88 false(reach) 239.258s 33 244 false(reach) 219.536s 33 205 false(reach) 63.423s 26 161
bitvector/s3_clnt_2_true-unreach-call.BV.c.cil.c false(reach) 44.212s 23 0 false(reach) 50.160s 23 62 false(reach) 157.855s 25 329 false(reach) 68.335s 24 167 false(reach) 864.411s 44 183 false(reach) 55.497s 25 90 timeout 902.498s 36 626 timeout 900.948s 39 189 false(reach) 757.060s 51 247 false(reach) 67.628s 24 190 false(reach) 57.052s 25 90 false(reach) 65.206s 23 103 false(reach) 57.319s 25 106 false(reach) 85.816s 26 140
bitvector/s3_clnt_3_true-unreach-call.BV.c.cil.c true 50.215s 24 0 true 60.984s 24 79 true 458.073s 26 315 true 61.704s 25 123 true 117.942s 24 89 true 53.243s 22 79 true 433.566s 26 289 true 139.195s 23 79 true 39.834s 17 65 true 62.848s 25 123 true 51.118s 22 79 true 90.081s 21 105 true 106.718s 25 116 true 432.831s 29 183
bitvector/s3_srvr_1_alt_true-unreach-call.BV.c.cil.c timeout 901.123s 39 0 timeout 901.405s 33 123 timeout 901.339s 35 212 timeout 901.342s 35 119 timeout 900.962s 34 77 timeout 901.287s 35 112 timeout 902.321s 37 152 timeout 902.147s 35 81 timeout 900.983s 34 137 timeout 901.701s 35 119 timeout 901.126s 35 112 timeout 901.107s 38 86 timeout 901.468s 37 97 timeout 901.348s 35 101
bitvector/s3_srvr_1_true-unreach-call.BV.c.cil.c true 54.153s 18 0 true 87.326s 19 86 true 76.203s 21 155 true 71.052s 19 102 true 83.564s 19 102 true 43.212s 15 69 true 114.923s 25 190 true 68.689s 23 90 true 45.242s 13 70 true 70.433s 19 104 true 42.446s 15 69 true 69.967s 23 79 true 55.672s 17 99 true 87.031s 23 104
bitvector/s3_srvr_2_alt_true-unreach-call.BV.c.cil.c true 52.823s 18 0 timeout 900.863s 13271 26544 timeout 901.023s 1079 7545 timeout 901.152s 1930 19269 timeout 900.798s 12373 37119 timeout 900.980s 10395 41579 timeout 900.777s 2072 14482 timeout 900.716s 4411 17640 timeout 901.226s 10389 41555 timeout 901.117s 1960 19569 timeout 900.809s 10331 41323 true 45.521s 14 84 true 120.593s 20 104 true 70.753s 14 84
bitvector/s3_srvr_2_true-unreach-call.BV.c.cil.c true 51.899s 18 0 timeout 900.984s 13818 27638 timeout 900.954s 1118 7811 timeout 900.908s 1925 19219 timeout 900.971s 13522 40563 timeout 901.087s 10611 42439 timeout 900.946s 2090 14615 timeout 900.942s 4352 17404 timeout 901.162s 10607 42427 timeout 900.855s 1952 19489 timeout 901.094s 10236 40943 true 89.263s 15 90 true 78.619s 14 61 true 40.739s 12 54
bitvector/s3_srvr_3_alt_true-unreach-call.BV.c.cil.c true 55.063s 18 0 true 84.830s 19 64 true 80.361s 19 161 true 73.919s 18 107 true 51.250s 13 46 true 55.518s 18 84 true 260.470s 37 300 true 129.049s 34 110 true 57.709s 16 91 true 74.526s 18 109 true 59.139s 18 84 true 63.703s 17 72 true 92.149s 17 113 true 54.029s 16 94
bitvector/s3_srvr_3_true-unreach-call.BV.c.cil.c true 54.547s 18 0 true 85.042s 19 66 true 84.287s 19 161 true 75.000s 18 97 true 54.125s 13 56 true 56.716s 18 85 true 285.323s 35 248 true 137.753s 32 131 true 48.665s 12 61 true 76.746s 18 99 true 55.508s 18 85 true 97.284s 22 138 true 84.603s 17 113 true 91.124s 21 75
bitvector/soft_float_1_true-unreach-call.c.cil.c false(reach) 18.999s 10 0 false(reach) 20.706s 11 28 false(reach) 26.472s 15 38 false(reach) 25.030s 11 28 false(reach) 20.044s 10 22 false(reach) 24.665s 11 29 false(reach) 22.319s 11 25 false(reach) 19.722s 10 22 false(reach) 23.404s 11 30 false(reach) 24.976s 11 29 false(reach) 23.481s 11 29 false(reach) 24.027s 13 33 false(reach) 21.533s 11 30 false(reach) 23.775s 11 30
bitvector/soft_float_2_true-unreach-call.c.cil.c false(reach) 5.678s 4 0 false(reach) 7.943s 4 7 false(reach) 6.575s 4 8 false(reach) 7.965s 4 7 false(reach) 6.876s 4 8 false(reach) 8.156s 4 7 false(reach) 7.054s 4 8 false(reach) 6.822s 4 7 false(reach) 6.540s 4 8 false(reach) 8.529s 4 7 false(reach) 8.049s 4 7 false(reach) 6.665s 4 7 false(reach) 7.924s 4 7 false(reach) 6.800s 4 7
bitvector/soft_float_3_true-unreach-call.c.cil.c false(reach) 5.676s 4 0 false(reach) 7.240s 4 7 false(reach) 6.400s 4 8 false(reach) 6.847s 4 7 false(reach) 6.437s 4 8 false(reach) 6.606s 4 7 false(reach) 7.260s 4 8 false(reach) 6.974s 4 7 false(reach) 6.425s 4 8 false(reach) 7.115s 4 7 false(reach) 6.758s 4 7 false(reach) 6.846s 4 7 false(reach) 6.838s 4 7 false(reach) 7.885s 5 10
bitvector/soft_float_4_true-unreach-call.c.cil.c timeout 900.869s 4409 0 timeout 901.198s 3721 3722 timeout 900.949s 1973 5919 timeout 901.147s 3717 3719 timeout 901.107s 2006 6018 timeout 900.935s 3794 3795 timeout 900.830s 2451 4903 timeout 900.847s 3764 3766 timeout 901.130s 2001 6000 timeout 900.962s 3779 3781 timeout 900.781s 3680 3681 timeout 901.068s 3763 3766 timeout 900.961s 2108 2118 timeout 901.159s 3766 3768
bitvector/soft_float_5_true-unreach-call.c.cil.c false(reach) 8.062s 6 0 false(reach) 10.660s 6 11 false(reach) 10.283s 6 10 false(reach) 10.811s 6 11 false(reach) 10.109s 6 12 false(reach) 11.290s 6 11 false(reach) 10.592s 6 10 false(reach) 10.988s 6 11 false(reach) 10.391s 6 10 false(reach) 10.438s 6 11 false(reach) 11.317s 6 11 false(reach) 12.044s 7 13 false(reach) 10.471s 6 10 false(reach) 10.859s 6 10
bitvector-regression/implicitfloatconversion_false-unreach-call.i false(reach) 3.568s 1 0 false(reach) 3.675s 1 0 false(reach) 3.453s 1 0 false(reach) 3.414s 1 0 false(reach) 3.241s 1 0 false(reach) 3.334s 1 0 false(reach) 3.309s 1 0 false(reach) 3.279s 1 0 false(reach) 3.420s 1 0 false(reach) 3.298s 1 0 false(reach) 3.575s 1 0 false(reach) 3.403s 1 0 false(reach) 3.400s 1 0 false(reach) 3.321s 1 0
bitvector-regression/implicitunsignedconversion_false-unreach-call.i true 3.582s 1 0 true 3.303s 1 1 true 3.451s 1 1 true 3.578s 1 1 true 3.516s 1 1 true 3.306s 1 1 true 3.287s 1 1 true 3.422s 1 1 true 3.362s 1 1 true 3.381s 1 1 true 3.603s 1 1 true 3.238s 1 1 true 3.597s 1 1 true 3.542s 1 1
bitvector-regression/integerpromotion_false-unreach-call.i false(reach) 3.637s 1 0 false(reach) 3.969s 1 0 false(reach) 3.680s 1 0 false(reach) 4.065s 1 0 false(reach) 3.650s 1 0 false(reach) 3.981s 1 0 false(reach) 3.799s 1 0 false(reach) 3.670s 1 0 false(reach) 3.745s 1 0 false(reach) 3.693s 1 0 false(reach) 3.793s 1 0 false(reach) 3.672s 1 0 false(reach) 3.707s 1 0 false(reach) 3.622s 1 0
bitvector-regression/signextension2_false-unreach-call.i true 3.774s 1 0 true 3.881s 1 2 true 3.674s 1 2 true 3.655s 1 2 true 3.921s 1 2 true 3.756s 1 2 true 3.883s 1 2 true 3.791s 1 2 true 3.827s 1 2 true 3.866s 1 2 true 3.886s 1 2 true 3.716s 1 2 true 3.911s 1 2 true 3.696s 1 2
bitvector-regression/signextension_false-unreach-call.i true 3.957s 1 0 true 3.790s 1 2 true 3.626s 1 2 true 3.798s 1 2 true 3.685s 1 2 true 3.867s 1 2 true 3.695s 1 2 true 3.904s 1 2 true 3.928s 1 2 true 4.004s 1 2 true 3.815s 1 2 true 3.901s 1 2 true 3.682s 1 2 true 3.751s 1 2
bitvector-regression/implicitunsignedconversion_true-unreach-call.i false(reach) 3.330s 1 0 false(reach) 3.306s 1 0 false(reach) 3.323s 1 0 false(reach) 3.295s 1 0 false(reach) 3.308s 1 0 false(reach) 3.406s 1 0 false(reach) 3.321s 1 0 false(reach) 3.243s 1 0 false(reach) 3.503s 1 0 false(reach) 3.342s 1 0 false(reach) 3.373s 1 0 false(reach) 3.347s 1 0 false(reach) 3.353s 1 0 false(reach) 3.414s 1 0
bitvector-regression/integerpromotion_true-unreach-call.i false(reach) 3.840s 1 0 false(reach) 3.950s 1 0 false(reach) 3.714s 1 0 false(reach) 3.617s 1 0 false(reach) 3.589s 1 0 false(reach) 3.821s 1 0 false(reach) 3.835s 1 0 false(reach) 3.705s 1 0 false(reach) 3.661s 1 0 false(reach) 3.656s 1 0 false(reach) 3.790s 1 0 false(reach) 3.762s 1 0 false(reach) 3.849s 1 0 false(reach) 3.613s 1 0
bitvector-regression/signextension2_true-unreach-call.i false(reach) 3.880s 2 0 false(reach) 3.821s 2 1 false(reach) 3.758s 2 1 false(reach) 3.786s 2 1 false(reach) 3.835s 2 1 false(reach) 3.865s 2 1 false(reach) 3.935s 2 1 false(reach) 3.761s 2 1 false(reach) 3.983s 2 1 false(reach) 3.802s 2 1 false(reach) 4.151s 2 1 false(reach) 3.757s 2 1 false(reach) 3.968s 2 1 false(reach) 3.950s 2 1
bitvector-regression/signextension_true-unreach-call.i false(reach) 3.701s 1 0 false(reach) 3.727s 1 0 false(reach) 3.829s 1 0 false(reach) 3.740s 1 0 false(reach) 4.010s 1 0 false(reach) 3.787s 1 0 false(reach) 3.790s 1 0 false(reach) 3.726s 1 0 false(reach) 4.005s 1 0 false(reach) 3.800s 1 0 false(reach) 3.667s 1 0 false(reach) 3.897s 1 0 false(reach) 3.866s 1 0 false(reach) 3.675s 1 0
bitvector-loops/diamond_false-unreach-call2.i false(reach) 29.316s 9 0 false(reach) 25.333s 9 10 false(reach) 212.917s 39 577 false(reach) 28.370s 9 10 false(reach) 213.949s 39 577 false(reach) 26.146s 10 15 false(reach) 27.236s 9 10 false(reach) 26.948s 9 10 false(reach) 28.186s 11 21 false(reach) 26.798s 9 10 false(reach) 27.847s 9 10 false(reach) 26.352s 10 15 false(reach) 27.029s 9 10 false(reach) 29.023s 10 15
bitvector-loops/overflow_false-unreach-call1.i true 3.675s 1 0 true 3.487s 1 1 true 3.412s 1 1 true 3.630s 1 1 true 3.443s 1 1 true 3.288s 1 1 true 3.504s 1 1 true 3.399s 1 1 true 3.313s 1 1 true 3.634s 1 1 true 3.431s 1 1 true 3.709s 1 1 true 3.405s 1 1 true 3.392s 1 1
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-termination.cil.c false(reach) 73.916s 32 0 false(reach) 78.074s 33 51 false(reach) 85.514s 35 63 false(reach) 79.259s 36 73 false(reach) 95.707s 37 63 false(reach) 82.002s 34 62 false(reach) 81.750s 34 60 false(reach) 80.039s 34 51 false(reach) 78.234s 33 63 false(reach) 79.852s 36 73 false(reach) 82.136s 34 62 false(reach) 77.745s 34 55 false(reach) 91.026s 35 61 false(reach) 73.372s 33 52
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-termination.cil.c false(reach) 40.350s 23 0 false(reach) 43.572s 23 35 false(reach) 51.276s 26 41 false(reach) 52.902s 24 37 false(reach) 44.554s 23 35 false(reach) 42.295s 22 37 false(reach) 44.554s 25 38 false(reach) 44.471s 23 35 false(reach) 41.463s 22 37 false(reach) 45.884s 24 37 false(reach) 42.676s 22 37 false(reach) 43.542s 24 38 false(reach) 42.395s 23 42 false(reach) 49.274s 25 41
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-termination.cil.c false(reach) 41.090s 23 0 false(reach) 42.482s 23 35 false(reach) 51.459s 26 41 false(reach) 48.657s 24 37 false(reach) 44.318s 23 35 false(reach) 42.598s 22 37 false(reach) 44.937s 25 38 false(reach) 44.566s 23 35 false(reach) 41.186s 22 37 false(reach) 48.524s 24 37 false(reach) 41.927s 22 37 false(reach) 42.451s 23 35 false(reach) 62.526s 25 43 false(reach) 45.376s 23 41
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-termination.cil.c false(reach) 23.113s 11 0 false(reach) 36.166s 13 21 false(reach) 35.883s 12 19 false(reach) 27.371s 11 18 false(reach) 48.257s 14 22 false(reach) 26.990s 11 18 false(reach) 48.255s 14 25 false(reach) 49.448s 14 25 false(reach) 20.795s 10 16 false(reach) 30.912s 11 18 false(reach) 26.806s 11 18 false(reach) 35.418s 13 23 false(reach) 39.941s 13 23 false(reach) 32.888s 12 21
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-termination.cil.c true 384.074s 56 0 true 395.320s 57 88 true 396.209s 56 118 true 440.576s 61 109 true 383.060s 56 90 true 398.076s 57 105 true 460.989s 57 89 true 435.971s 58 88 true 334.938s 54 97 true 445.272s 61 110 true 401.913s 57 105 true 442.393s 58 91 true 423.442s 56 92 true 439.892s 58 105
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-termination.cil.c timeout 901.439s 41 0 timeout 901.183s 41 57 timeout 901.094s 44 91 timeout 901.070s 41 57 true 622.772s 41 70 true 847.304s 41 60 timeout 932.007s - - timeout 900.999s 41 54 true 873.819s 40 57 timeout 901.518s 41 57 true 810.062s 41 60 timeout 901.020s 40 73 timeout 902.153s 41 67 timeout 901.539s 42 61
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-termination.cil.c true 140.967s 35 0 true 126.518s 33 58 true 180.393s 36 64 true 169.592s 35 63 true 124.077s 31 64 true 141.576s 33 71 true 128.029s 32 65 true 127.269s 32 57 true 153.373s 34 77 true 156.452s 34 58 true 142.098s 33 71 true 176.750s 36 68 true 137.029s 33 60 true 201.675s 39 84
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-termination.cil.c true 370.812s 52 0 true 254.361s 47 88 true 362.982s 49 82 true 439.027s 52 92 true 318.259s 47 95 true 300.838s 47 103 true 265.762s 45 83 true 300.475s 49 88 true 307.242s 47 108 true 365.983s 51 87 true 286.749s 47 103 true 492.807s 53 103 true 316.761s 51 101 true 422.873s 52 94
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-termination.cil.c true 25.003s 13 0 true 22.916s 12 22 true 22.987s 12 43 true 25.550s 13 21 true 23.308s 11 19 true 24.325s 12 23 true 34.024s 14 48 true 23.094s 12 18 true 25.227s 13 25 true 26.676s 13 23 true 22.877s 12 23 true 31.331s 15 34 true 24.215s 13 24 true 25.605s 13 23
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-termination.cil.c true 29.908s 14 0 true 28.544s 13 25 true 26.524s 12 21 true 30.882s 14 24 true 29.096s 13 25 true 27.488s 13 26 true 43.353s 16 32 true 30.774s 14 23 true 27.921s 12 23 true 30.647s 14 26 true 28.309s 13 26 true 26.545s 12 21 true 35.903s 15 34 true 34.587s 14 24
ssh-simplified/s3_clnt_1_false-unreach-call.cil.c false(reach) 53.956s 25 0 false(reach) 62.523s 24 67 false(reach) 66.030s 20 174 false(reach) 59.294s 26 101 false(reach) 51.432s 20 53 false(reach) 56.605s 21 85 false(reach) 64.828s 22 151 false(reach) 60.901s 22 89 false(reach) 46.353s 17 95 false(reach) 64.743s 25 140 false(reach) 54.082s 21 85 false(reach) 58.903s 22 140 false(reach) 65.745s 23 111 false(reach) 83.977s 24 148
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c false(reach) 65.760s 27 0 false(reach) 62.404s 24 67 timeout 901.097s 617 2571 false(reach) 67.416s 26 120 false(reach) 53.024s 20 53 false(reach) 55.047s 20 93 timeout 901.128s 623 2563 timeout 900.831s 862 4303 false(reach) 45.751s 17 95 false(reach) 63.719s 25 138 false(reach) 56.613s 20 93 false(reach) 71.030s 28 148 false(reach) 74.695s 26 111 false(reach) 58.803s 23 113
ssh-simplified/s3_clnt_3_false-unreach-call.cil.c false(reach) 66.150s 27 0 false(reach) 63.400s 24 67 timeout 900.803s 632 2630 false(reach) 67.441s 26 120 false(reach) 54.849s 20 53 false(reach) 58.333s 20 93 timeout 900.863s 606 2495 timeout 900.814s 885 4418 false(reach) 44.879s 17 95 false(reach) 65.816s 25 138 false(reach) 57.418s 20 93 false(reach) 80.591s 32 181 false(reach) 56.084s 23 97 false(reach) 59.824s 21 78
ssh-simplified/s3_clnt_4_false-unreach-call.cil.c false(reach) 65.830s 27 0 false(reach) 60.626s 24 67 timeout 901.214s 663 2754 false(reach) 66.813s 26 120 false(reach) 53.527s 20 53 false(reach) 57.350s 20 93 timeout 900.827s 641 2635 timeout 900.807s 899 4483 false(reach) 45.289s 17 95 false(reach) 68.165s 25 138 false(reach) 56.468s 20 93 false(reach) 81.604s 28 153 false(reach) 66.866s 18 118 false(reach) 64.606s 25 146
ssh-simplified/s3_srvr_10_false-unreach-call.cil.c false(reach) 259.154s 52 0 false(reach) 128.580s 27 174 timeout 901.003s 617 4456 false(reach) 257.161s 31 220 timeout 901.082s 2804 28029 timeout 900.847s 452 3576 false(reach) 272.645s 28 449 false(reach) 126.723s 29 149 timeout 901.170s 137 4780 timeout 901.047s 101 590 timeout 900.865s 444 3520 false(reach) 129.814s 29 252 false(reach) 78.750s 24 147 false(reach) 144.459s 32 251
ssh-simplified/s3_srvr_11_false-unreach-call.cil.c false(reach) 123.966s 36 0 false(reach) 87.684s 21 117 timeout 901.175s 1044 2185 false(reach) 72.981s 28 146 timeout 901.042s 904 8981 timeout 900.764s 917 7293 false(reach) 63.842s 24 103 false(reach) 87.739s 23 111 timeout 900.846s 271 4200 timeout 900.962s 2361 4787 timeout 900.765s 903 7189 false(reach) 69.533s 23 107 false(reach) 66.125s 26 125 false(reach) 73.562s 23 151
ssh-simplified/s3_srvr_12_false-unreach-call.cil.c false(reach) 138.741s 40 0 false(reach) 102.144s 25 113 false(reach) 73.311s 18 68 false(reach) 214.451s 42 261 false(reach) 69.807s 20 73 timeout 901.405s 214 2049 false(reach) 59.497s 18 79 false(reach) 114.797s 25 132 timeout 900.962s 207 2530 timeout 901.067s 253 3114 timeout 901.216s 207 1979 false(reach) 74.571s 24 112 false(reach) 66.211s 22 82 false(reach) 195.616s 33 217
ssh-simplified/s3_srvr_13_false-unreach-call.cil.c false(reach) 121.015s 45 0 false(reach) 80.956s 24 86 timeout 901.085s 98 3282 false(reach) 83.478s 30 161 timeout 900.939s 1589 3225 timeout 900.895s 2088 4247 false(reach) 170.781s 35 417 false(reach) 93.108s 24 94 timeout 901.072s 288 1029 false(reach) 90.459s 30 169 timeout 900.967s 2029 4129 false(reach) 78.678s 31 153 false(reach) 103.227s 32 156 false(reach) 115.700s 35 211
ssh-simplified/s3_srvr_14_false-unreach-call.cil.c false(reach) 548.088s 54 0 false(reach) 179.868s 29 121 timeout 900.778s 102 1330 false(reach) 270.373s 36 169 timeout 900.719s 200 2693 timeout 900.763s 1413 5650 false(reach) 461.503s 36 413 false(reach) 141.499s 31 122 timeout 901.035s 107 3610 false(reach) 275.426s 36 175 timeout 900.757s 1390 5558 false(reach) 168.247s 32 164 false(reach) 265.788s 41 227 false(reach) 153.249s 33 169
ssh-simplified/s3_srvr_1_false-unreach-call.cil.c false(reach) 22.572s 11 0 false(reach) 24.899s 9 26 false(reach) 94.205s 24 96 false(reach) 24.460s 10 38 false(reach) 28.676s 9 26 false(reach) 26.082s 11 46 false(reach) 35.571s 11 51 false(reach) 29.519s 10 32 timeout 900.921s 691 4816 false(reach) 26.469s 11 46 false(reach) 26.154s 11 46 false(reach) 76.625s 24 120 false(reach) 29.722s 11 43 false(reach) 32.829s 10 35
ssh-simplified/s3_srvr_2_false-unreach-call.cil.c false(reach) 23.080s 11 0 false(reach) 25.985s 9 26 false(reach) 82.600s 24 95 false(reach) 24.529s 10 38 false(reach) 31.485s 9 26 false(reach) 26.625s 11 46 false(reach) 34.619s 11 51 false(reach) 31.064s 10 32 timeout 900.954s 761 4548 false(reach) 26.977s 11 46 false(reach) 26.854s 11 46 false(reach) 36.243s 11 44 false(reach) 35.577s 11 48 false(reach) 31.808s 12 51
ssh-simplified/s3_srvr_6_false-unreach-call.cil.c false(reach) 114.503s 31 0 false(reach) 200.134s 34 135 timeout 901.160s 91 3017 false(reach) 318.651s 36 272 timeout 901.094s 698 3473 false(reach) 258.602s 44 204 timeout 901.033s 41 847 timeout 900.924s 954 4772 false(reach) 327.059s 42 433 false(reach) 272.486s 35 268 false(reach) 254.514s 44 204 false(reach) 135.508s 27 200 false(reach) 286.594s 36 227 false(reach) 461.249s 39 359
ssh-simplified/s3_clnt_1_true-unreach-call.cil.c true 63.209s 27 0 true 72.326s 26 72 true 67.850s 18 249 true 83.615s 27 136 true 79.255s 26 78 true 80.307s 26 109 true 162.923s 28 278 true 87.972s 28 107 true 49.976s 18 117 true 71.933s 25 158 true 80.350s 26 109 true 142.751s 29 293 true 101.743s 26 190 true 81.589s 26 213
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c true 56.941s 24 0 true 79.455s 26 72 true 155.038s 24 307 true 78.620s 25 154 true 96.964s 26 95 true 104.614s 25 116 timeout 901.308s 152 1530 timeout 901.210s 861 4293 true 52.010s 18 126 true 81.238s 25 166 true 95.826s 25 116 true 126.611s 29 172 true 146.286s 32 231 true 109.307s 30 171
ssh-simplified/s3_clnt_3_true-unreach-call.cil.c true 56.337s 24 0 true 79.525s 26 72 true 83.557s 18 296 true 78.247s 25 154 true 95.562s 26 95 true 99.493s 25 116 timeout 900.804s 260 3556 timeout 900.951s 860 4293 true 52.923s 18 126 true 83.260s 25 166 true 101.543s 25 116 true 112.940s 29 150 true 102.717s 28 164 true 127.010s 25 176
ssh-simplified/s3_clnt_4_true-unreach-call.cil.c true 57.589s 24 0 true 81.630s 26 70 timeout 901.166s 179 3073 true 77.441s 25 145 true 99.042s 26 99 true 102.007s 25 113 true 144.135s 25 230 timeout 900.752s 911 4548 true 53.503s 18 126 true 75.261s 25 154 true 99.564s 25 113 true 129.473s 28 196 true 93.523s 29 138 true 97.241s 25 148
ssh-simplified/s3_srvr_1_true-unreach-call.cil.c true 51.094s 18 0 true 87.602s 19 89 timeout 900.943s 841 5116 true 77.658s 19 122 timeout 900.765s 614 4860 timeout 900.850s 625 4955 true 109.268s 20 216 true 84.802s 23 109 true 44.976s 13 71 true 81.579s 19 124 timeout 900.815s 633 5027 true 127.476s 25 158 true 55.806s 23 95 true 68.006s 18 137
ssh-simplified/s3_srvr_1a_true-unreach-call.cil.c true 17.572s 10 0 true 19.166s 10 32 true 17.930s 9 48 true 17.957s 10 31 true 19.922s 11 34 true 20.380s 11 35 true 17.613s 8 30 true 17.814s 9 29 true 18.829s 11 32 true 18.262s 10 31 true 21.949s 11 35 true 21.204s 11 33 true 15.720s 9 25 true 20.579s 11 32
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c true 6.961s 6 0 true 6.792s 6 13 true 13.581s 7 22 true 7.655s 6 13 true 10.705s 8 18 true 10.602s 8 18 true 9.566s 6 15 true 7.550s 6 13 true 10.432s 8 18 true 7.454s 6 13 true 10.239s 8 18 true 7.950s 7 16 true 12.270s 8 18 true 12.119s 8 19
ssh-simplified/s3_srvr_2_true-unreach-call.cil.c true 53.051s 19 0 true 88.182s 19 90 timeout 900.979s 1612 6505 true 77.287s 23 139 timeout 900.947s 717 6391 true 36.549s 11 57 true 82.401s 20 165 true 83.477s 21 106 true 42.936s 12 59 timeout 901.057s 2134 8558 true 38.541s 11 57 true 89.060s 26 129 true 51.110s 16 60 true 65.994s 19 99
ssh-simplified/s3_srvr_3_true-unreach-call.cil.c true 52.607s 18 0 true 87.990s 19 69 timeout 901.073s 270 1198 true 71.933s 18 97 timeout 900.983s 873 5206 true 54.799s 18 85 true 137.353s 24 193 true 85.057s 22 80 true 43.269s 12 61 true 71.114s 18 99 true 56.008s 18 85 true 54.937s 17 83 true 66.550s 18 138 true 83.894s 21 76
ssh-simplified/s3_srvr_4_true-unreach-call.cil.c true 52.367s 19 0 true 75.753s 19 65 timeout 900.770s 1431 5785 true 57.196s 18 91 timeout 901.378s 576 5688 true 60.906s 21 91 true 197.416s 27 354 true 79.832s 20 79 true 42.117s 12 61 true 56.389s 18 93 true 63.211s 21 91 true 71.756s 20 143 true 97.078s 26 112 true 47.298s 16 54
ssh-simplified/s3_srvr_6_true-unreach-call.cil.c true 104.139s 29 0 true 177.171s 32 134 timeout 901.414s 91 2980 true 271.435s 34 271 timeout 900.814s 718 3573 true 242.901s 42 203 timeout 901.044s 40 847 timeout 900.941s 972 4862 true 310.023s 40 433 true 229.620s 33 267 true 241.237s 42 203 true 476.810s 45 390 true 237.600s 33 259 true 192.994s 23 322
ssh-simplified/s3_srvr_7_true-unreach-call.cil.c true 83.132s 27 0 true 108.510s 28 97 timeout 901.089s 1655 6713 true 99.522s 25 155 timeout 901.063s 2175 4360 timeout 901.140s 1609 3255 true 116.041s 24 212 timeout 901.149s 488 2412 true 98.647s 25 165 true 100.662s 25 155 timeout 900.867s 1588 3211 true 101.977s 31 129 true 100.064s 31 123 true 88.711s 30 129
ssh-simplified/s3_srvr_8_true-unreach-call.cil.c true 60.135s 20 0 true 96.799s 21 99 timeout 901.063s 613 3860 true 110.459s 25 179 timeout 901.089s 310 4121 true 107.491s 27 141 true 227.930s 30 410 true 84.972s 23 104 true 51.834s 19 99 true 108.556s 25 178 true 112.371s 27 141 true 98.997s 25 172 true 66.142s 20 154 true 73.923s 23 135
locks/test_locks_14_false-unreach-call.c false(reach) 3.806s 1 0 false(reach) 3.565s 1 0 false(reach) 3.804s 1 0 false(reach) 3.618s 1 0 false(reach) 3.801s 1 0 false(reach) 3.991s 1 0 false(reach) 4.106s 1 0 false(reach) 3.708s 1 0 false(reach) 3.708s 1 0 false(reach) 3.683s 1 0 false(reach) 3.630s 1 0 false(reach) 3.602s 1 0 false(reach) 3.894s 1 0 false(reach) 3.670s 1 0
locks/test_locks_15_false-unreach-call.c false(reach) 3.930s 1 0 false(reach) 3.626s 1 0 false(reach) 3.910s 1 0 false(reach) 3.690s 1 0 false(reach) 3.938s 1 0 false(reach) 3.903s 1 0 false(reach) 3.543s 1 0 false(reach) 3.634s 1 0 false(reach) 3.955s 1 0 false(reach) 3.789s 1 0 false(reach) 4.028s 1 0 false(reach) 4.019s 1 0 false(reach) 3.674s 1 0 false(reach) 3.724s 1 0
locks/test_locks_10_true-unreach-call.c true 150.196s 20 0 true 167.155s 20 20 true 154.907s 20 20 true 161.684s 20 20 true 152.297s 20 20 true 158.449s 20 20 true 144.202s 20 20 true 158.746s 20 20 true 144.278s 20 20 true 153.366s 20 20 true 153.523s 20 20 true 146.295s 20 20 true 155.220s 20 20 true 149.550s 20 20
locks/test_locks_11_true-unreach-call_false-termination.c true 487.338s 22 0 true 514.054s 22 22 true 463.760s 22 22 true 547.401s 22 22 true 524.890s 22 22 true 543.068s 22 22 true 478.343s 22 22 true 526.386s 22 22 true 445.194s 22 22 true 461.053s 22 22 true 499.827s 22 22 true 442.388s 22 22 true 472.240s 22 22 true 478.867s 22 22
locks/test_locks_12_true-unreach-call_false-termination.c timeout 901.421s 24 0 timeout 901.136s 24 24 timeout 902.044s 24 24 timeout 901.156s 24 24 timeout 901.330s 24 24 timeout 901.381s 24 24 timeout 901.674s 24 24 timeout 901.209s 24 24 timeout 901.521s 24 24 timeout 901.540s 24 24 timeout 901.502s 24 24 timeout 901.252s 24 24 timeout 901.478s 24 24 timeout 901.182s 24 24
locks/test_locks_13_true-unreach-call.c timeout 901.581s 25 0 timeout 901.299s 25 25 timeout 901.259s 25 25 timeout 901.344s 25 25 timeout 901.526s 25 25 timeout 901.348s 25 25 timeout 901.452s 25 25 timeout 901.529s 25 25 timeout 902.374s 25 25 timeout 901.494s 25 25 timeout 901.493s 25 25 timeout 901.382s 25 25 timeout 901.427s 25 25 timeout 901.267s 25 25
locks/test_locks_14_true-unreach-call.c timeout 901.310s 26 0 timeout 901.211s 26 26 timeout 901.361s 26 26 timeout 901.226s 26 26 timeout 901.434s 26 26 timeout 901.164s 26 26 timeout 901.182s 26 26 timeout 901.338s 26 26 timeout 901.039s 26 26 timeout 901.217s 26 26 timeout 901.435s 26 26 timeout 901.131s 26 26 timeout 901.222s 26 26 timeout 901.392s 26 26
locks/test_locks_15_true-unreach-call_false-termination.c timeout 901.395s 27 0 timeout 901.477s 27 27 timeout 901.371s 27 27 timeout 901.147s 27 27 timeout 901.390s 27 27 timeout 901.484s 27 27 timeout 901.506s 27 27 timeout 901.366s 27 27 timeout 901.226s 27 27 timeout 901.417s 27 27 timeout 901.564s 27 27 timeout 901.239s 26 26 timeout 901.217s 27 27 timeout 901.365s 27 27
locks/test_locks_5_true-unreach-call_false-termination.c true 13.311s 10 0 true 13.065s 10 10 true 13.167s 10 10 true 13.536s 10 10 true 13.012s 10 10 true 12.986s 10 10 true 13.516s 10 10 true 13.329s 10 10 true 13.495s 10 10 true 13.465s 10 10 true 13.352s 10 10 true 15.568s 10 10 true 13.214s 10 10 true 13.210s 10 10
locks/test_locks_6_true-unreach-call_false-termination.c true 17.548s 12 0 true 18.236s 12 12 true 17.620s 12 12 true 18.626s 12 12 true 18.644s 12 12 true 18.663s 12 12 true 18.402s 12 12 true 18.755s 12 12 true 18.067s 12 12 true 17.758s 12 12 true 17.942s 12 12 true 18.181s 12 12 true 18.804s 12 12 true 17.931s 12 12
locks/test_locks_7_true-unreach-call_false-termination.c true 22.151s 14 0 true 22.744s 14 14 true 22.940s 14 14 true 23.194s 14 14 true 23.083s 14 14 true 21.805s 14 14 true 22.099s 14 14 true 22.790s 14 14 true 23.147s 14 14 true 22.574s 14 14 true 23.145s 14 14 true 22.457s 14 14 true 22.689s 14 14 true 22.262s 14 14
locks/test_locks_8_true-unreach-call_false-termination.c true 33.498s 16 0 true 32.368s 16 16 true 33.940s 16 16 true 34.409s 16 16 true 33.075s 16 16 true 31.453s 16 16 true 34.950s 16 16 true 33.817s 16 16 true 33.073s 16 16 true 33.166s 16 16 true 34.485s 16 16 true 33.961s 16 16 true 31.824s 16 16 true 33.653s 16 16
locks/test_locks_9_true-unreach-call.c true 57.913s 18 0 true 58.350s 18 18 true 63.016s 18 18 true 61.866s 18 18 true 55.551s 18 18 true 61.058s 18 18 true 62.775s 18 18 true 56.789s 18 18 true 56.984s 18 18 true 61.122s 18 18 true 55.845s 18 18 true 57.582s 18 18 true 61.767s 18 18 true 60.847s 18 18
ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko_false-unreach-call.cil.out.i.pp.i false(reach) 28.716s 5 0 false(reach) 44.264s 5 5 false(reach) 46.765s 6 9 false(reach) 42.848s 5 5 false(reach) 46.647s 5 5 false(reach) 28.452s 5 5 false(reach) 32.696s 6 7 false(reach) 30.980s 5 5 false(reach) 50.567s 5 5 false(reach) 29.820s 5 5 false(reach) 45.738s 5 5 false(reach) 47.445s 6 7 false(reach) 46.247s 6 9 false(reach) 54.638s 6 7
ldv-linux-3.0/module_get_put-drivers-block-loop.ko_false-unreach-call.cil.out.i.pp.i false(reach) 44.913s 16 0 false(reach) 48.278s 16 42 false(reach) 64.103s 28 109 false(reach) 49.957s 16 46 false(reach) 55.997s 20 58 false(reach) 56.370s 20 57 false(reach) 55.028s 21 66 false(reach) 54.921s 18 97 false(reach) 58.105s 21 62 false(reach) 49.656s 16 46 false(reach) 50.669s 20 68 false(reach) 58.831s 24 96 false(reach) 48.775s 17 61 false(reach) 55.074s 22 84
ldv-linux-3.0/module_get_put-drivers-block-pktcdvd.ko_false-unreach-call.cil.out.i.pp.i false(reach) 25.570s 14 0 false(reach) 33.735s 21 34 false(reach) 34.814s 21 66 false(reach) 35.161s 21 30 false(reach) 39.510s 21 47 false(reach) 34.766s 21 39 false(reach) 34.325s 21 44 false(reach) 34.056s 21 41 false(reach) 37.318s 21 46 false(reach) 36.945s 21 30 false(reach) 37.036s 21 30 false(reach) 36.801s 21 38 false(reach) 38.294s 21 36 false(reach) 34.444s 21 39
ldv-linux-3.0/module_get_put-drivers-isdn-gigaset-gigaset.ko_false-unreach-call.cil.out.i.pp.i false(reach) 30.260s 5 0 false(reach) 38.913s 5 10 false(reach) 41.916s 6 11 false(reach) 39.702s 5 8 false(reach) 38.319s 6 11 false(reach) 31.757s 5 8 false(reach) 40.526s 6 11 false(reach) 35.916s 6 11 false(reach) 38.555s 5 8 false(reach) 40.644s 5 8 false(reach) 35.939s 5 8 false(reach) 39.206s 5 10 false(reach) 40.439s 5 8 false(reach) 45.018s 6 11
ldv-linux-3.0/module_get_put-drivers-isdn-mISDN-mISDN_core.ko_false-unreach-call.cil.out.i.pp.i timeout 900.851s 2975 0 timeout 901.027s 2676 2677 timeout 900.814s 2519 2520 timeout 900.993s 2670 2671 timeout 901.114s 2706 2707 timeout 900.926s 2687 2688 timeout 901.180s 2519 2520 timeout 901.013s 2614 2614 timeout 900.782s 2677 2678 timeout 901.067s 2630 2631 timeout 900.952s 2669 2670 timeout 900.889s 2449 2450 timeout 900.862s 2475 2476 timeout 900.786s 2438 2439
ldv-linux-3.0/module_get_put-drivers-net-ppp_generic.ko_false-unreach-call.cil.out.i.pp.i false(reach) 46.071s 12 0 false(reach) 51.305s 12 79 timeout 902.375s 9 91 false(reach) 53.546s 12 69 timeout 901.311s 46 2046 timeout 901.289s 113 3356 timeout 901.709s 8 174 false(reach) 49.716s 12 68 timeout 901.084s 209 2392 false(reach) 54.682s 13 74 false(reach) 63.263s 14 89 false(reach) 164.240s 14 248 timeout 901.738s 12 205 false(reach) 56.558s 13 98
ldv-linux-3.0/module_get_put-drivers-net-wan-farsync.ko_false-unreach-call.cil.out.i.pp.i false(reach) 180.965s 41 0 false(reach) 129.427s 45 87 false(reach) 335.312s 45 84 false(reach) 155.151s 43 128 false(reach) 181.592s 49 109 false(reach) 248.758s 48 103 false(reach) 390.393s 46 70 false(reach) 218.008s 45 90 false(reach) 367.758s 51 111 false(reach) 147.628s 43 128 false(reach) 143.736s 44 130 timeout 901.127s 45 95 false(reach) 197.042s 42 86 false(reach) 727.720s 48 109
ldv-linux-3.0/module_get_put-drivers-tty-synclink_gt.ko_false-unreach-call.cil.out.i.pp.i timeout 901.441s 15 0 timeout 903.577s 16 667 timeout 901.676s 27 1042 timeout 902.370s 22 243 timeout 901.422s 16 785 timeout 902.925s 15 247 timeout 901.890s 17 979 timeout 901.080s 19 822 timeout 901.649s 20 353 timeout 902.060s 16 196 timeout 901.165s 20 224 timeout 901.733s 15 271 timeout 902.383s 14 251 timeout 921.608s 11 307
ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko_false-unreach-call.cil.out.i.pp.i false(reach) 35.561s 9 0 false(reach) 38.986s 9 17 false(reach) 44.400s 10 24 false(reach) 36.997s 10 21 false(reach) 39.596s 8 17 false(reach) 36.186s 9 19 false(reach) 42.176s 11 22 false(reach) 41.790s 9 19 false(reach) 37.864s 8 17 false(reach) 38.986s 10 21 false(reach) 37.378s 9 19 false(reach) 48.161s 10 26 false(reach) 39.476s 8 15 false(reach) 37.904s 9 20
ldv-linux-3.0/usb_urb-drivers-hid-usbhid-usbmouse.ko_false-unreach-call.cil.out.i.pp.i false(reach) 44.750s 17 0 false(reach) 45.701s 17 19 false(reach) 49.852s 17 33 false(reach) 44.771s 17 21 false(reach) 50.743s 17 31 false(reach) 44.152s 17 21 false(reach) 49.975s 17 25 false(reach) 46.040s 17 19 false(reach) 46.719s 17 22 false(reach) 44.951s 17 21 false(reach) 43.967s 17 21 false(reach) 44.637s 17 21 false(reach) 45.870s 17 19 false(reach) 51.272s 17 19
ldv-linux-3.0/usb_urb-drivers-input-misc-keyspan_remote.ko_false-unreach-call.cil.out.i.pp.i false(reach) 236.964s 62 0 false(reach) 252.152s 62 107 false(reach) 299.614s 61 207 false(reach) 265.438s 61 120 false(reach) 305.799s 62 237 false(reach) 261.988s 62 110 false(reach) 665.770s 61 222 false(reach) 256.573s 62 111 false(reach) 268.935s 62 183 false(reach) 263.234s 61 120 false(reach) 263.310s 62 108 false(reach) 642.184s 62 141 false(reach) 635.014s 62 131 false(reach) 647.609s 62 131
ldv-linux-3.0/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko_false-unreach-call.cil.out.i.pp.i false(reach) 32.581s 15 0 false(reach) 47.076s 15 81 false(reach) 125.897s 31 273 false(reach) 71.172s 19 101 false(reach) 52.131s 30 311 false(reach) 44.316s 18 132 false(reach) 80.149s 17 129 false(reach) 60.646s 16 103 false(reach) 51.694s 29 378 false(reach) 72.738s 19 101 false(reach) 77.553s 19 100 false(reach) 48.721s 26 178 false(reach) 40.062s 20 109 false(reach) 41.414s 21 92
ldv-linux-3.0/usb_urb-drivers-net-can-usb-ems_usb.ko_false-unreach-call.cil.out.i.pp.i false(reach) 40.606s 22 0 false(reach) 44.430s 22 38 false(reach) 80.539s 32 109 false(reach) 68.945s 22 59 false(reach) 60.762s 32 82 false(reach) 55.753s 32 58 false(reach) 46.447s 22 45 false(reach) 50.961s 22 50 false(reach) 54.104s 32 75 false(reach) 56.848s 22 62 false(reach) 72.714s 22 59 false(reach) 62.019s 22 58 false(reach) 67.785s 25 78 false(reach) 72.059s 26 81
ldv-linux-3.0/usb_urb-drivers-net-usb-catc.ko_false-unreach-call.cil.out.i.pp.i false(reach) 143.179s 23 0 false(reach) 147.457s 23 36 false(reach) 124.610s 21 94 false(reach) 121.773s 22 37 false(reach) 191.510s 23 49 false(reach) 103.772s 22 35 false(reach) 152.170s 23 36 false(reach) 154.252s 23 31 false(reach) 107.015s 22 41 false(reach) 125.929s 22 37 false(reach) 108.590s 22 35 false(reach) 153.925s 23 32 false(reach) 155.231s 23 33 false(reach) 146.826s 23 31
ldv-linux-3.0/usb_urb-drivers-staging-lirc-lirc_imon.ko_false-unreach-call.cil.out.i.pp.i false(reach) 31.110s 15 0 false(reach) 33.185s 15 42 false(reach) 34.976s 17 59 false(reach) 34.706s 15 42 false(reach) 31.309s 15 35 false(reach) 28.706s 14 40 false(reach) 38.267s 18 51 false(reach) 35.554s 16 30 false(reach) 31.850s 14 49 false(reach) 32.626s 15 44 false(reach) 29.693s 14 40 false(reach) 33.735s 15 34 false(reach) 33.015s 15 42 false(reach) 35.522s 17 34
ldv-linux-3.0/usb_urb-drivers-usb-misc-iowarrior.ko_false-unreach-call.cil.out.i.pp.i false(reach) 23.888s 10 0 false(reach) 30.272s 10 12 false(reach) 34.466s 10 11 false(reach) 31.715s 10 11 false(reach) 30.428s 10 17 false(reach) 29.730s 10 12 false(reach) 30.727s 10 11 false(reach) 31.766s 10 11 false(reach) 29.356s 10 12 false(reach) 32.029s 10 11 false(reach) 30.776s 10 11 false(reach) 31.092s 10 11 false(reach) 30.940s 10 11 false(reach) 27.861s 10 13
ldv-linux-3.0/module_get_put-drivers-atm-eni.ko_true-unreach-call.cil.out.i.pp.i true 27.468s 1 0 true 27.610s 1 1 true 27.347s 1 1 true 26.229s 1 1 true 28.023s 1 1 true 27.640s 1 1 true 26.097s 1 1 true 27.098s 1 1 true 27.076s 1 1 true 27.170s 1 1 true 27.054s 1 1 true 27.838s 1 1 true 28.958s 1 1 true 26.781s 1 1
ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko_true-unreach-call.cil.out.i.pp.i true 39.846s 5 0 true 62.818s 9 50 true 43.112s 1 7 true 51.858s 11 81 true 478.226s 91 517 true 61.220s 10 37 true 43.462s 1 7 true 533.255s 95 610 true 72.427s 18 93 true 52.884s 11 81 true 56.126s 5 24 true 48.323s 1 7 true 81.716s 16 138 true 34.401s 2 13
ldv-linux-3.0/module_get_put-drivers-block-paride-pt.ko_true-unreach-call.cil.out.i.pp.i true 38.907s 4 0 true 46.455s 7 35 true 20.271s 1 7 true 31.028s 2 13 true 55.373s 15 66 true 45.637s 9 37 true 22.171s 1 7 true 20.790s 1 7 true 50.590s 15 66 true 30.412s 2 13 true 33.092s 3 16 true 46.457s 6 27 true 33.914s 3 20 true 35.917s 4 26
ldv-linux-3.0/module_get_put-drivers-bluetooth-btmrvl.ko_true-unreach-call.cil.out.i.pp.i true 11.742s 1 0 true 12.490s 1 1 true 12.224s 1 1 true 11.923s 1 1 true 12.502s 1 1 true 12.519s 1 1 true 12.084s 1 1 true 12.416s 1 1 true 12.332s 1 1 true 12.093s 1 1 true 12.193s 1 1 true 11.890s 1 1 true 11.775s 1 1 true 12.422s 1 1
ldv-linux-3.0/module_get_put-drivers-char-ipmi-ipmi_watchdog.ko_true-unreach-call.cil.out.i.pp.i true 186.116s 6 0 true 181.980s 6 21 true 14.786s 1 6 true 171.733s 6 21 true 96.044s 5 20 true 170.921s 6 21 true 14.594s 1 6 true 16.342s 2 11 true 173.901s 6 21 true 175.402s 6 21 true 170.770s 6 21 true 14.285s 1 6 true 14.586s 1 6 true 34.885s 4 18
ldv-linux-3.0/module_get_put-drivers-gpu-drm-i915-i915.ko_true-unreach-call.cil.out.i.pp.i true 35.054s 1 0 true 36.057s 1 1 true 34.491s 1 1 true 34.789s 1 1 true 32.907s 1 1 true 32.867s 1 1 true 34.560s 1 1 true 37.600s 1 1 true 34.954s 1 1 true 35.611s 1 1 true 35.600s 1 1 true 34.106s 1 1 true 35.755s 1 1 true 35.939s 1 1
ldv-linux-3.0/module_get_put-drivers-hid-hid-magicmouse.ko_true-unreach-call.cil.out.i.pp.i true 7.157s 1 0 true 7.204s 1 1 true 7.524s 1 1 true 7.474s 1 1 true 7.477s 1 1 true 7.683s 1 1 true 7.387s 1 1 true 7.203s 1 1 true 7.168s 1 1 true 9.272s 1 1 true 7.401s 1 1 true 7.361s 1 1 true 7.350s 1 1 true 7.449s 1 1
ldv-linux-3.0/module_get_put-drivers-hwmon-it87.ko_true-unreach-call.cil.out.i.pp.i true 12.790s 2 0 true 27.860s 4 8 true 11.232s 1 3 true 13.313s 2 5 true 27.103s 4 9 true 25.561s 4 9 true 11.464s 1 3 true 13.688s 2 5 true 26.120s 4 9 true 13.447s 2 5 true 25.603s 4 9 true 23.254s 3 8 true 11.303s 1 3 true 20.234s 2 6
ldv-linux-3.0/module_get_put-drivers-net-atl1c-atl1c.ko_true-unreach-call.cil.out.i.pp.i true 22.872s 1 0 true 21.709s 1 1 true 21.687s 1 1 true 20.984s 1 1 true 21.403s 1 1 true 21.353s 1 1 true 21.412s 1 1 true 21.836s 1 1 true 22.228s 1 1 true 21.687s 1 1 true 21.335s 1 1 true 21.186s 1 1 true 21.988s 1 1 true 22.630s 1 1
ldv-linux-3.0/module_get_put-drivers-net-pppox.ko_true-unreach-call.cil.out.i.pp.i true 9.327s 4 0 true 9.747s 4 5 true 10.528s 4 5 true 10.136s 4 5 true 10.751s 4 5 true 10.340s 4 5 true 10.711s 4 5 true 10.760s 4 5 true 10.192s 4 5 true 10.672s 4 5 true 9.745s 4 5 true 10.108s 4 5 true 10.088s 4 5 true 9.902s 4 5
ldv-linux-3.0/module_get_put-drivers-net-sis900.ko_true-unreach-call.cil.out.i.pp.i true 21.699s 1 0 true 21.300s 1 1 true 21.893s 1 1 true 21.512s 1 1 true 20.559s 1 1 true 21.446s 1 1 true 21.502s 1 1 true 21.121s 1 1 true 20.775s 1 1 true 21.698s 1 1 true 21.014s 1 1 true 20.992s 1 1 true 20.329s 1 1 true 22.446s 1 1
ldv-linux-3.0/module_get_put-drivers-scsi-megaraid.ko_true-unreach-call.cil.out.i.pp.i true 30.297s 1 0 true 30.100s 1 1 true 31.407s 1 1 true 29.569s 1 1 true 29.564s 1 1 true 30.310s 1 1 true 30.377s 1 1 true 30.133s 1 1 true 29.758s 1 1 true 30.662s 1 1 true 30.082s 1 1 true 31.117s 1 1 true 30.641s 1 1 true 30.671s 1 1
ldv-linux-3.0/module_get_put-drivers-staging-et131x-et131x.ko_true-unreach-call.cil.out.i.pp.i true 24.762s 1 0 true 25.277s 1 1 true 23.781s 1 1 true 23.516s 1 1 true 23.097s 1 1 true 23.642s 1 1 true 25.158s 1 1 true 25.930s 1 1 true 23.672s 1 1 true 23.247s 1 1 true 24.666s 1 1 true 23.978s 1 1 true 25.090s 1 1 true 23.530s 1 1
ldv-linux-3.0/module_get_put-drivers-video-aty-aty128fb.ko_true-unreach-call.cil.out.i.pp.i true 32.439s 1 0 true 30.718s 1 1 true 31.504s 1 1 true 31.066s 1 1 true 31.547s 1 1 true 32.093s 1 1 true 30.905s 1 1 true 30.710s 1 1 true 31.965s 1 1 true 32.041s 1 1 true 29.675s 1 1 true 31.457s 1 1 true 31.437s 1 1 true 30.100s 1 1
ldv-linux-3.0/usb_urb-drivers-input-tablet-kbtab.ko_true-unreach-call.cil.out.i.pp.i true 27.321s 13 0 true 26.878s 13 14 true 25.012s 12 22 true 29.780s 13 14 true 24.713s 12 22 true 27.209s 13 14 true 24.816s 13 20 true 30.768s 13 14 true 24.481s 13 15 true 27.717s 13 14 true 28.592s 13 14 true 28.377s 13 14 true 29.857s 13 14 true 26.886s 13 16
ldv-linux-3.0/usb_urb-drivers-media-video-c-qcam.ko_true-unreach-call.cil.out.i.pp.i true 25.138s 2 0 true 24.617s 2 2 true 24.998s 2 2 true 24.791s 2 2 true 24.648s 2 2 true 24.591s 2 2 true 23.977s 2 2 true 24.922s 2 2 true 25.259s 2 2 true 24.389s 2 2 true 24.199s 2 2 true 25.086s 2 2 true 24.579s 2 2 true 25.064s 2 2
ldv-linux-3.0/usb_urb-drivers-media-video-msp3400.ko_true-unreach-call.cil.out.i.pp.i true 22.352s 2 0 true 25.756s 2 2 true 25.030s 2 2 true 26.957s 2 2 true 24.109s 2 2 true 25.974s 2 2 true 25.567s 2 2 true 26.279s 2 2 true 25.527s 2 2 true 25.625s 2 2 true 25.894s 2 2 true 27.226s 2 2 true 24.989s 2 2 true 26.477s 2 2
ldv-linux-3.0/usb_urb-drivers-misc-c2port-core.ko_true-unreach-call.cil.out.i.pp.i true 30.518s 3 0 true 30.369s 3 4 true 16.696s 2 4 true 30.250s 3 4 true 32.711s 3 4 true 30.170s 3 4 true 16.652s 2 4 true 16.225s 2 4 true 32.416s 3 4 true 30.325s 3 4 true 30.158s 3 4 true 29.382s 3 4 true 29.335s 3 4 true 16.869s 2 4
ldv-linux-3.0/usb_urb-drivers-mtd-sm_ftl.ko_true-unreach-call.cil.out.i.pp.i true 36.787s 2 0 true 37.214s 2 2 true 36.502s 2 2 true 37.357s 2 2 true 36.711s 2 2 true 37.659s 2 2 true 37.825s 2 2 true 36.220s 2 2 true 37.324s 2 2 true 36.727s 2 2 true 36.823s 2 2 true 37.997s 2 2 true 36.416s 2 2 true 37.826s 2 2
ldv-linux-3.0/usb_urb-drivers-scsi-dc395x.ko_true-unreach-call.cil.out.i.pp.i true 26.547s 2 0 true 30.564s 2 2 true 30.054s 2 2 true 28.246s 2 2 true 30.381s 2 2 true 29.889s 2 2 true 27.515s 2 2 true 27.534s 2 2 true 29.599s 2 2 true 28.244s 2 2 true 27.174s 2 2 true 27.629s 2 2 true 29.692s 2 2 true 27.389s 2 2
ldv-linux-3.0/usb_urb-drivers-usb-serial-ir-usb.ko_true-unreach-call.cil.out.i.pp.i true 69.510s 26 0 true 61.567s 26 60 true 37.028s 13 90 true 78.883s 21 87 true 110.665s 24 619 true 106.781s 31 113 true 81.315s 20 175 true 75.027s 20 96 true 112.033s 31 121 true 171.065s 25 115 true 109.133s 25 89 true 118.428s 26 213 true 92.278s 20 114 true 68.535s 20 90
ldv-linux-3.0/usb_urb-drivers-usb-serial-whiteheat.ko_true-unreach-call.cil.out.i.pp.i true 44.257s 12 0 true 45.752s 12 48 true 70.365s 14 57 true 51.271s 13 66 true 115.934s 20 202 true 48.382s 11 127 true 122.444s 20 110 true 72.979s 14 86 true 39.401s 9 81 true 52.496s 13 66 true 45.524s 12 44 true 47.899s 12 48 true 56.235s 13 50 true 45.846s 11 40
ldv-linux-3.0/usb_urb-drivers-uwb-i1480-dfu-i1480-dfu-usb.ko_true-unreach-call.cil.out.i.pp.i true 478.449s 24 0 true 398.768s 22 229 timeout 901.364s 15 205 true 55.808s 9 96 timeout 903.389s 23 273 true 387.380s 23 103 timeout 901.932s 28 203 true 397.645s 22 281 timeout 902.320s 30 169 true 84.502s 11 115 true 65.645s 11 69 timeout 901.974s 15 124 timeout 901.639s 19 142 true 570.685s 18 96
ldv-linux-3.0/usb_urb-drivers-vhost-vhost_net.ko_true-unreach-call.cil.out.i.pp.i true 25.576s 2 0 true 26.954s 2 2 true 26.367s 2 2 true 25.701s 2 2 true 25.922s 2 2 true 25.820s 2 2 true 25.483s 2 2 true 25.856s 2 2 true 27.653s 2 2 true 25.887s 2 2 true 25.794s 2 2 true 25.873s 2 2 true 26.684s 2 2 true 25.031s 2 2
ldv-linux-3.0/usb_urb-drivers-video-arkfb.ko_true-unreach-call.cil.out.i.pp.i true 18.210s 2 0 true 18.606s 2 2 true 19.614s 2 2 true 18.173s 2 2 true 18.565s 2 2 true 19.154s 2 2 true 18.324s 2 2 true 18.111s 2 2 true 18.939s 2 2 true 18.359s 2 2 true 18.451s 2 2 true 18.944s 2 2 true 18.401s 2 2 true 18.836s 2 2
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--gpu--drm--vmwgfx--vmwgfx.ko-ldv_main3_sequence_infinite_withcheck_stateful.cil.out.c false(reach) 45.105s 7 0 false(reach) 58.815s 7 9 false(reach) 49.732s 7 12 false(reach) 53.960s 7 11 false(reach) 49.365s 7 10 false(reach) 61.670s 7 9 false(reach) 50.870s 7 12 false(reach) 54.244s 7 10 false(reach) 48.210s 7 11 false(reach) 53.658s 7 11 false(reach) 53.802s 7 9 false(reach) 52.587s 7 11 false(reach) 54.117s 7 10 false(reach) 50.932s 7 11
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 false(reach) 30.209s 11 0 false(reach) 37.873s 11 16 false(reach) 27.882s 11 16 false(reach) 44.115s 12 18 false(reach) 38.542s 11 17 false(reach) 37.787s 11 16 false(reach) 28.606s 11 16 false(reach) 35.726s 11 17 false(reach) 60.863s 16 28 false(reach) 42.276s 11 16 false(reach) 43.694s 12 18 false(reach) 39.251s 11 18 false(reach) 38.433s 11 17 false(reach) 39.019s 11 24
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 false(reach) 54.325s 15 0 false(reach) 165.172s 46 100 timeout 901.019s 176 1414 false(reach) 126.502s 46 75 timeout 901.179s 90 268 false(reach) 130.633s 45 95 false(reach) 148.613s 47 82 timeout 901.205s 106 290 false(reach) 120.720s 45 99 false(reach) 175.810s 47 109 false(reach) 119.958s 45 64 false(reach) 143.392s 45 75 false(reach) 136.971s 44 75 false(reach) 133.080s 46 82
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 false(reach) 17.421s 2 0 false(reach) 19.169s 2 1 false(reach) 18.388s 2 1 false(reach) 16.993s 2 1 false(reach) 18.654s 2 1 false(reach) 19.443s 2 1 false(reach) 18.492s 2 1 false(reach) 19.348s 2 1 false(reach) 19.911s 2 1 false(reach) 19.414s 2 1 false(reach) 19.809s 2 1 false(reach) 18.496s 2 1 false(reach) 18.309s 2 1 false(reach) 18.098s 2 1
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--media--dvb--dvb-usb--dvb-usb-dib0700.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c false(reach) 30.069s 5 0 false(reach) 62.035s 33 62 false(reach) 219.624s 15 34 false(reach) 29.627s 5 7 false(reach) 59.206s 33 62 false(reach) 60.070s 33 62 false(reach) 27.081s 4 5 false(reach) 60.097s 33 62 false(reach) 73.745s 34 64 false(reach) 29.322s 5 7 false(reach) 27.536s 4 5 false(reach) 31.226s 5 7 false(reach) 28.686s 4 5 false(reach) 39.069s 7 12
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 false(reach) 52.056s 2 0 false(reach) 51.738s 2 2 false(reach) 52.759s 2 2 false(reach) 52.614s 2 2 false(reach) 51.035s 2 2 false(reach) 52.313s 2 2 false(reach) 52.771s 2 2 false(reach) 50.088s 2 2 false(reach) 52.299s 2 2 false(reach) 53.949s 2 2 false(reach) 48.977s 2 2 false(reach) 53.097s 2 2 false(reach) 54.271s 2 2 false(reach) 55.611s 2 2
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 false(reach) 11.487s 3 0 false(reach) 11.772s 3 2 false(reach) 11.672s 3 2 false(reach) 11.816s 3 2 false(reach) 11.718s 3 2 false(reach) 11.688s 3 2 false(reach) 11.810s 3 2 false(reach) 11.635s 3 2 false(reach) 11.775s 3 2 false(reach) 11.651s 3 2 false(reach) 12.649s 3 2 false(reach) 11.427s 3 2 false(reach) 11.656s 3 2 false(reach) 11.824s 3 2
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 false(reach) 22.870s 3 0 false(reach) 23.586s 3 3 false(reach) 18.926s 2 2 false(reach) 18.969s 2 2 false(reach) 23.971s 3 3 false(reach) 24.549s 3 3 false(reach) 19.235s 2 2 false(reach) 18.473s 2 2 false(reach) 23.163s 3 3 false(reach) 19.585s 2 2 false(reach) 23.330s 3 3 false(reach) 24.042s 3 3 false(reach) 23.645s 3 3 false(reach) 23.368s 3 3
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 false(reach) 28.236s 8 0 false(reach) 32.958s 8 13 false(reach) 30.261s 8 19 false(reach) 32.270s 8 27 false(reach) 31.140s 8 12 false(reach) 31.373s 8 13 false(reach) 32.883s 8 18 false(reach) 31.205s 8 20 false(reach) 30.488s 8 12 false(reach) 33.273s 8 27 false(reach) 31.574s 8 24 false(reach) 31.493s 8 12 false(reach) 30.319s 8 14 false(reach) 30.755s 8 17
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 false(reach) 32.880s 7 0 false(reach) 34.645s 8 33 false(reach) 30.902s 6 19 false(reach) 29.782s 6 18 false(reach) 34.265s 8 36 false(reach) 36.617s 8 23 false(reach) 33.854s 6 20 false(reach) 34.921s 8 36 false(reach) 31.529s 6 18 false(reach) 28.900s 6 18 false(reach) 33.723s 8 23 false(reach) 31.571s 6 18 false(reach) 31.688s 6 18 false(reach) 33.561s 6 18
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 false(reach) 41.208s 5 0 false(reach) 75.665s 15 34 false(reach) 26.707s 2 3 false(reach) 26.238s 2 3 false(reach) 76.300s 15 34 false(reach) 69.077s 15 31 false(reach) 27.112s 2 3 false(reach) 27.705s 2 3 false(reach) 72.344s 15 30 false(reach) 26.773s 2 3 false(reach) 30.572s 2 3 false(reach) 27.921s 2 3 false(reach) 26.868s 2 3 false(reach) 26.301s 2 3
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 false(reach) 29.529s 3 0 false(reach) 32.373s 3 2 false(reach) 31.941s 3 2 false(reach) 31.663s 3 2 false(reach) 32.074s 3 2 false(reach) 30.657s 3 2 false(reach) 32.165s 3 2 false(reach) 31.838s 3 2 false(reach) 31.030s 3 2 false(reach) 32.236s 3 2 false(reach) 32.679s 3 2 false(reach) 31.863s 3 2 false(reach) 32.169s 3 2 false(reach) 31.941s 3 2
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 false(reach) 18.334s 1 0 false(reach) 28.135s 1 0 false(reach) 20.356s 1 0 false(reach) 27.426s 1 0 false(reach) 17.711s 1 0 false(reach) 27.838s 1 0 false(reach) 19.529s 1 0 false(reach) 28.032s 1 0 false(reach) 26.845s 1 0 false(reach) 29.404s 1 0 false(reach) 26.085s 1 0 false(reach) 26.686s 1 0 false(reach) 28.243s 1 0 false(reach) 29.076s 1 0
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--usb--image--microtek.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c false(reach) 7.266s 1 0 false(reach) 7.665s 1 0 false(reach) 7.459s 1 0 false(reach) 7.394s 1 0 false(reach) 7.569s 1 0 false(reach) 7.591s 1 0 false(reach) 7.336s 1 0 false(reach) 7.263s 1 0 false(reach) 7.328s 1 0 false(reach) 7.441s 1 0 false(reach) 7.263s 1 0 false(reach) 7.662s 1 0 false(reach) 7.500s 1 0 false(reach) 7.550s 1 0
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 false(reach) 26.313s 1 0 false(reach) 25.394s 1 0 false(reach) 23.494s 1 0 false(reach) 26.829s 1 0 false(reach) 27.224s 1 0 false(reach) 24.593s 1 0 false(reach) 25.803s 1 0 false(reach) 24.744s 1 0 false(reach) 25.831s 1 0 false(reach) 28.192s 1 0 false(reach) 23.588s 1 0 false(reach) 25.223s 1 0 false(reach) 25.132s 1 0 false(reach) 26.825s 1 0
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--vhost--vhost_net.ko-ldv_main1_sequence_infinite_withcheck_stateful.cil.out.c false(reach) 26.939s 4 0 false(reach) 29.124s 4 3 false(reach) 30.228s 4 3 false(reach) 28.921s 4 3 false(reach) 29.445s 4 3 false(reach) 29.734s 4 3 false(reach) 29.080s 4 3 false(reach) 29.064s 4 3 false(reach) 29.249s 4 3 false(reach) 28.435s 4 3 false(reach) 29.270s 4 3 false(reach) 28.952s 4 3 false(reach) 30.127s 4 3 false(reach) 30.014s 4 3
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 false(reach) 597.953s 30 0 false(reach) 790.095s 63 249 timeout 901.436s 38 123 timeout 901.292s 39 86 false(reach) 867.571s 63 267 false(reach) 820.407s 63 203 timeout 901.634s 38 122 false(reach) 771.157s 63 198 timeout 901.297s 38 116 timeout 901.747s 62 163 timeout 901.654s 38 87 timeout 901.352s 39 100 timeout 901.553s 40 92 timeout 901.264s 40 116
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 timeout 901.292s 470 0 timeout 900.920s 426 1704 false(reach) 55.544s 2 4 timeout 901.217s 10 46 timeout 901.395s 117 1161 timeout 901.642s 33 676 false(reach) 53.825s 2 4 false(reach) 56.912s 2 4 false(reach) 47.599s 3 8 timeout 901.300s 10 46 timeout 901.312s 50 586 false(reach) 45.022s 3 8 false(reach) 59.935s 3 8 false(reach) 61.082s 3 8
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 timeout 901.162s 134 0 timeout 901.356s 186 937 timeout 903.038s 9 35 timeout 901.428s 27 131 timeout 900.829s 552 3306 timeout 901.312s 11 33 timeout 901.502s 554 3864 timeout 901.319s 547 3270 timeout 902.595s 9 32 timeout 905.042s 10 63 timeout 901.341s 67 330 timeout 902.210s 20 146 timeout 901.454s 27 143 timeout 901.611s 21 141
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 timeout 901.376s 36 0 timeout 901.313s 39 749 timeout 900.961s 43 842 timeout 901.365s 33 809 timeout 901.069s 122 2807 timeout 902.053s 19 425 timeout 900.890s 35 554 timeout 901.266s 50 1161 timeout 902.596s 24 651 timeout 902.041s 27 565 timeout 901.832s 19 425 timeout 901.468s 23 577 timeout 901.389s 21 498 timeout 901.386s 21 544
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 false(reach) 44.179s 14 0 false(reach) 63.318s 14 43 false(reach) 41.288s 13 53 false(reach) 60.431s 13 37 false(reach) 48.400s 14 111 false(reach) 46.969s 14 51 false(reach) 58.861s 13 43 false(reach) 65.246s 14 43 false(reach) 53.843s 14 61 false(reach) 59.759s 13 37 false(reach) 50.234s 13 41 false(reach) 43.688s 13 45 false(reach) 49.855s 14 62 false(reach) 56.687s 13 44
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 false(reach) 107.746s 9 0 false(reach) 219.688s 11 14 false(reach) 140.138s 9 21 false(reach) 130.801s 9 21 false(reach) 216.540s 11 14 false(reach) 115.986s 9 16 false(reach) 230.108s 11 16 false(reach) 219.164s 11 14 false(reach) 138.307s 9 21 false(reach) 138.501s 9 21 false(reach) 162.421s 9 21 false(reach) 226.206s 11 19 false(reach) 222.854s 11 16 false(reach) 201.580s 11 19
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 false(reach) 211.077s 12 0 false(reach) 721.040s 47 245 false(reach) 102.161s 5 18 false(reach) 110.323s 7 34 false(reach) 697.587s 47 367 false(reach) 715.837s 48 178 false(reach) 103.332s 6 26 false(reach) 226.744s 13 72 false(reach) 711.807s 49 321 false(reach) 109.301s 7 34 false(reach) 301.865s 11 55 false(reach) 119.459s 8 37 false(reach) 138.215s 9 46 false(reach) 121.164s 10 62
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 true 7.181s 1 0 true 7.281s 1 1 true 7.415s 1 1 true 7.195s 1 1 true 7.367s 1 1 true 7.282s 1 1 true 7.473s 1 1 true 7.304s 1 1 true 7.416s 1 1 true 7.120s 1 1 true 7.269s 1 1 true 7.381s 1 1 true 7.959s 1 1 true 7.272s 1 1
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 true 5.378s 1 0 true 5.409s 1 1 true 5.184s 1 1 true 5.160s 1 1 true 5.267s 1 1 true 5.279s 1 1 true 5.108s 1 1 true 5.408s 1 1 true 5.250s 1 1 true 5.223s 1 1 true 5.065s 1 1 true 5.245s 1 1 true 5.164s 1 1 true 5.568s 1 1
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 true 6.495s 2 0 true 6.757s 2 3 true 5.421s 1 2 true 5.641s 1 2 true 7.021s 2 3 true 6.725s 2 3 true 5.541s 1 2 true 5.469s 1 2 true 6.732s 2 3 true 5.445s 1 2 true 6.426s 2 3 true 6.540s 2 3 true 6.646s 2 3 true 5.483s 1 2
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--acpi--ec_sys.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 9.257s 4 0 true 10.551s 4 8 true 5.711s 1 3 true 6.445s 2 5 true 9.974s 3 8 true 10.295s 4 8 true 5.802s 1 3 true 5.623s 1 3 true 11.373s 4 9 true 6.400s 2 5 true 7.396s 3 7 true 11.980s 4 9 true 11.332s 4 9 true 5.723s 1 3
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 true 5.575s 1 0 true 9.072s 2 3 true 5.495s 1 2 true 5.619s 1 2 true 9.858s 2 3 true 9.543s 2 3 true 5.629s 1 2 true 5.949s 1 2 true 8.961s 2 3 true 5.632s 1 2 true 9.219s 2 3 true 5.644s 1 2 true 9.454s 2 3 true 9.357s 2 3
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 true 5.927s 1 0 true 6.349s 1 1 true 6.170s 1 1 true 6.014s 1 1 true 6.070s 1 1 true 6.914s 1 1 true 5.980s 1 1 true 6.177s 1 1 true 5.920s 1 1 true 6.008s 1 1 true 6.122s 1 1 true 5.978s 1 1 true 6.099s 1 1 true 6.013s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--ata--pata_netcell.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.691s 1 0 true 5.724s 1 1 true 5.956s 1 1 true 5.841s 1 1 true 5.648s 1 1 true 5.629s 1 1 true 5.730s 1 1 true 5.748s 1 1 true 6.208s 1 1 true 5.970s 1 1 true 5.589s 1 1 true 5.812s 1 1 true 6.006s 1 1 true 5.912s 1 1
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 true 7.855s 2 0 true 12.089s 4 7 true 6.702s 1 2 true 8.426s 2 4 true 12.740s 4 7 true 11.866s 4 7 true 6.844s 1 2 true 6.831s 1 2 true 11.883s 4 7 true 8.179s 2 4 true 11.932s 4 7 true 7.361s 1 2 true 10.509s 3 6 true 8.536s 2 4
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 true 29.353s 12 0 timeout 901.305s 71 151 true 8.802s 2 18 true 9.045s 2 18 timeout 900.803s 62 568 timeout 901.262s 72 168 true 10.487s 3 26 timeout 900.759s 50 332 timeout 908.299s 72 134 true 8.547s 2 18 timeout 901.034s 72 168 true 8.989s 2 18 true 36.063s 11 99 true 34.440s 11 54
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 true 5.753s 1 0 true 5.575s 1 1 true 5.429s 1 1 true 5.728s 1 1 true 5.528s 1 1 true 5.874s 1 1 true 5.579s 1 1 true 5.828s 1 1 true 5.804s 1 1 true 5.760s 1 1 true 5.416s 1 1 true 5.650s 1 1 true 5.604s 1 1 true 5.679s 1 1
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 true 4.862s 2 0 true 5.297s 2 3 true 4.674s 1 2 true 4.583s 1 2 true 5.216s 2 3 true 5.261s 2 3 true 4.626s 1 2 true 4.659s 1 2 true 5.182s 2 3 true 4.495s 1 2 true 5.206s 2 3 true 5.171s 1 2 true 5.725s 2 3 true 4.536s 1 2
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--aten.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 8.042s 1 0 true 8.062s 1 1 true 8.006s 1 1 true 8.178s 1 1 true 7.856s 1 1 true 8.086s 1 1 true 8.177s 1 1 true 8.219s 1 1 true 8.030s 1 1 true 7.971s 1 1 true 7.868s 1 1 true 8.058s 1 1 true 7.837s 1 1 true 7.927s 1 1
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 true 28.959s 1 0 true 30.240s 1 1 true 28.705s 1 1 true 30.100s 1 1 true 31.301s 1 1 true 29.005s 1 1 true 29.408s 1 1 true 30.481s 1 1 true 27.409s 1 1 true 28.272s 1 1 true 29.902s 1 1 true 29.483s 1 1 true 29.125s 1 1 true 28.904s 1 1
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 true 10.668s 1 0 true 10.702s 1 1 true 11.069s 1 1 true 11.235s 1 1 true 10.759s 1 1 true 10.815s 1 1 true 10.721s 1 1 true 10.988s 1 1 true 10.396s 1 1 true 10.569s 1 1 true 10.791s 1 1 true 11.062s 1 1 true 10.750s 1 1 true 10.695s 1 1
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 true 11.992s 1 0 true 12.251s 1 1 true 12.536s 1 1 true 12.392s 1 1 true 12.326s 1 1 true 12.405s 1 1 true 12.425s 1 1 true 13.339s 1 1 true 11.977s 1 1 true 12.801s 1 1 true 12.537s 1 1 true 12.390s 1 1 true 12.402s 1 1 true 12.322s 1 1
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 true 24.434s 1 0 true 25.610s 1 1 true 23.917s 1 1 true 23.743s 1 1 true 24.463s 1 1 true 24.534s 1 1 true 24.563s 1 1 true 25.217s 1 1 true 24.102s 1 1 true 24.447s 1 1 true 24.520s 1 1 true 24.456s 1 1 true 24.215s 1 1 true 25.473s 1 1
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 true 14.684s 1 0 true 14.774s 1 1 true 14.522s 1 1 true 14.548s 1 1 true 14.665s 1 1 true 14.852s 1 1 true 14.857s 1 1 true 14.560s 1 1 true 14.928s 1 1 true 14.594s 1 1 true 14.787s 1 1 true 14.695s 1 1 true 14.494s 1 1 true 14.429s 1 1
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 true 7.426s 1 0 true 7.342s 1 1 true 7.480s 1 1 true 7.470s 1 1 true 7.283s 1 1 true 7.374s 1 1 true 7.624s 1 1 true 7.278s 1 1 true 7.391s 1 1 true 7.325s 1 1 true 7.290s 1 1 true 7.361s 1 1 true 7.516s 1 1 true 7.903s 1 1
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 true 9.593s 1 0 true 9.384s 1 1 true 9.521s 1 1 true 9.316s 1 1 true 9.548s 1 1 true 9.331s 1 1 true 9.480s 1 1 true 9.173s 1 1 true 9.622s 1 1 true 9.415s 1 1 true 9.582s 1 1 true 10.004s 1 1 true 9.560s 1 1 true 9.130s 1 1
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 true 19.300s 1 0 true 19.499s 1 1 true 19.088s 1 1 true 19.832s 1 1 true 19.450s 1 1 true 19.354s 1 1 true 20.159s 1 1 true 19.659s 1 1 true 19.747s 1 1 true 19.820s 1 1 true 19.495s 1 1 true 18.806s 1 1 true 19.439s 1 1 true 19.553s 1 1
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 true 16.191s 1 0 true 16.643s 1 1 true 16.803s 1 1 true 16.435s 1 1 true 16.574s 1 1 true 17.249s 1 1 true 16.208s 1 1 true 16.633s 1 1 true 16.829s 1 1 true 16.789s 1 1 true 16.066s 1 1 true 16.789s 1 1 true 17.925s 1 1 true 16.526s 1 1
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 true 16.038s 1 0 true 16.105s 1 1 true 16.438s 1 1 true 16.276s 1 1 true 16.283s 1 1 true 16.157s 1 1 true 15.540s 1 1 true 16.278s 1 1 true 15.957s 1 1 true 16.314s 1 1 true 16.336s 1 1 true 16.131s 1 1 true 15.906s 1 1 true 16.319s 1 1
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 true 7.783s 1 0 true 7.690s 1 1 true 7.872s 1 1 true 7.853s 1 1 true 7.939s 1 1 true 7.611s 1 1 true 7.740s 1 1 true 7.809s 1 1 true 7.679s 1 1 true 7.643s 1 1 true 7.646s 1 1 true 7.952s 1 1 true 7.775s 1 1 true 8.122s 1 1
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 true 14.959s 1 0 true 14.751s 1 1 true 14.833s 1 1 true 14.783s 1 1 true 14.639s 1 1 true 14.727s 1 1 true 14.713s 1 1 true 14.686s 1 1 true 14.625s 1 1 true 14.549s 1 1 true 14.560s 1 1 true 14.737s 1 1 true 14.299s 1 1 true 14.657s 1 1
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 true 27.452s 1 0 true 28.843s 1 1 true 27.135s 1 1 true 28.377s 1 1 true 28.613s 1 1 true 29.622s 1 1 true 27.347s 1 1 true 28.008s 1 1 true 28.707s 1 1 true 29.182s 1 1 true 28.015s 1 1 true 27.454s 1 1 true 29.142s 1 1 true 28.182s 1 1
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 true 4.838s 1 0 true 4.866s 1 1 true 4.972s 1 1 true 5.200s 1 1 true 5.287s 1 1 true 4.769s 1 1 true 5.167s 1 1 true 5.252s 1 1 true 4.948s 1 1 true 4.990s 1 1 true 5.021s 1 1 true 4.901s 1 1 true 4.867s 1 1 true 4.962s 1 1
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 true 6.854s 1 0 true 6.705s 1 1 true 6.778s 1 1 true 6.720s 1 1 true 7.001s 1 1 true 6.737s 1 1 true 6.670s 1 1 true 6.976s 1 1 true 6.903s 1 1 true 6.859s 1 1 true 6.855s 1 1 true 7.024s 1 1 true 6.842s 1 1 true 6.821s 1 1
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 true 4.987s 1 0 true 4.917s 1 1 true 4.826s 1 1 true 5.054s 1 1 true 4.855s 1 1 true 4.966s 1 1 true 4.930s 1 1 true 4.879s 1 1 true 4.722s 1 1 true 5.047s 1 1 true 4.790s 1 1 true 4.739s 1 1 true 4.846s 1 1 true 5.020s 1 1
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 true 8.648s 1 0 true 8.976s 1 1 true 8.847s 1 1 true 9.216s 1 1 true 9.343s 1 1 true 8.943s 1 1 true 9.102s 1 1 true 8.945s 1 1 true 9.032s 1 1 true 9.220s 1 1 true 9.071s 1 1 true 9.108s 1 1 true 9.689s 1 1 true 9.043s 1 1
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 true 6.710s 1 0 true 6.881s 1 1 true 6.789s 1 1 true 6.772s 1 1 true 6.719s 1 1 true 6.570s 1 1 true 6.740s 1 1 true 6.808s 1 1 true 6.679s 1 1 true 6.862s 1 1 true 6.611s 1 1 true 6.995s 1 1 true 6.684s 1 1 true 6.777s 1 1
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 true 4.737s 1 0 true 4.590s 1 1 true 4.644s 1 1 true 4.694s 1 1 true 4.878s 1 1 true 4.512s 1 1 true 4.650s 1 1 true 4.807s 1 1 true 4.553s 1 1 true 4.710s 1 1 true 4.777s 1 1 true 4.545s 1 1 true 6.740s 1 1 true 4.694s 1 1
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 true 4.124s 1 0 true 4.047s 1 1 true 4.230s 1 1 true 4.170s 1 1 true 4.326s 1 1 true 4.533s 1 1 true 4.182s 1 1 true 4.274s 1 1 true 4.458s 1 1 true 4.451s 1 1 true 4.198s 1 1 true 4.422s 1 1 true 4.306s 1 1 true 4.163s 1 1
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 true 9.585s 2 0 true 9.310s 2 3 true 8.894s 1 2 true 8.969s 1 2 true 9.615s 2 3 true 9.521s 2 3 true 9.075s 1 2 true 9.719s 2 3 true 9.867s 2 3 true 9.104s 1 2 true 9.706s 2 3 true 9.086s 1 2 true 9.311s 2 3 true 9.650s 2 3
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 true 6.362s 2 0 true 6.404s 2 4 true 4.720s 1 3 true 4.825s 1 3 true 6.335s 2 4 true 7.233s 3 7 true 4.965s 1 3 true 4.698s 1 3 true 7.945s 3 7 true 4.837s 1 3 true 5.511s 2 6 true 6.222s 2 4 true 5.548s 2 6 true 4.750s 1 3
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 true 18.321s 2 0 true 19.440s 2 4 true 12.000s 1 3 true 11.754s 1 3 true 15.214s 2 4 true 18.650s 2 4 true 11.987s 1 3 true 11.972s 1 3 true 19.126s 2 4 true 11.884s 1 3 true 19.789s 2 4 true 11.902s 1 3 true 11.961s 1 3 true 11.710s 1 3
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 true 5.234s 2 0 true 5.727s 2 3 true 4.788s 1 2 true 4.942s 1 2 true 5.959s 2 3 true 5.789s 2 3 true 4.912s 1 2 true 4.910s 1 2 true 5.760s 2 3 true 5.056s 1 2 true 5.865s 2 3 true 4.765s 1 2 true 6.025s 2 3 true 4.979s 1 2
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--gpio--gpio-74x164.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.132s 1 0 true 5.390s 1 1 true 5.560s 1 1 true 5.497s 1 1 true 5.389s 1 1 true 5.415s 1 1 true 5.353s 1 1 true 5.502s 1 1 true 5.210s 1 1 true 5.603s 1 1 true 5.549s 1 1 true 5.365s 1 1 true 5.423s 1 1 true 5.478s 1 1
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 true 4.947s 1 0 true 4.990s 1 1 true 4.853s 1 1 true 4.746s 1 1 true 4.970s 1 1 true 4.888s 1 1 true 4.869s 1 1 true 4.860s 1 1 true 6.233s 1 1 true 5.315s 1 1 true 4.908s 1 1 true 4.847s 1 1 true 4.977s 1 1 true 4.835s 1 1
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 true 5.369s 1 0 true 5.404s 1 1 true 5.274s 1 1 true 5.306s 1 1 true 5.467s 1 1 true 5.551s 1 1 true 5.570s 1 1 true 5.205s 1 1 true 5.341s 1 1 true 5.257s 1 1 true 5.469s 1 1 true 5.353s 1 1 true 5.377s 1 1 true 5.127s 1 1
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 true 4.823s 1 0 true 4.876s 1 1 true 4.916s 1 1 true 4.800s 1 1 true 4.796s 1 1 true 4.831s 1 1 true 4.772s 1 1 true 4.887s 1 1 true 5.363s 1 1 true 4.887s 1 1 true 4.759s 1 1 true 5.409s 1 1 true 4.728s 1 1 true 4.756s 1 1
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 true 5.522s 1 0 true 5.880s 1 1 true 5.880s 1 1 true 5.572s 1 1 true 5.542s 1 1 true 5.768s 1 1 true 6.373s 1 1 true 5.831s 1 1 true 5.925s 1 1 true 5.873s 1 1 true 5.649s 1 1 true 5.952s 1 1 true 5.770s 1 1 true 5.850s 1 1
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 true 5.778s 1 0 true 6.252s 1 1 true 5.785s 1 1 true 5.659s 1 1 true 5.871s 1 1 true 5.734s 1 1 true 6.057s 1 1 true 5.676s 1 1 true 5.793s 1 1 true 5.687s 1 1 true 5.807s 1 1 true 5.566s 1 1 true 5.589s 1 1 true 5.848s 1 1
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 true 10.012s 1 0 true 9.867s 1 1 true 10.573s 1 1 true 9.919s 1 1 true 9.617s 1 1 true 9.832s 1 1 true 9.934s 1 1 true 10.326s 1 1 true 10.382s 1 1 true 10.198s 1 1 true 10.413s 1 1 true 9.996s 1 1 true 9.805s 1 1 true 9.908s 1 1
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 true 5.542s 1 0 true 5.735s 1 1 true 5.593s 1 1 true 5.474s 1 1 true 5.684s 1 1 true 5.663s 1 1 true 5.544s 1 1 true 5.532s 1 1 true 5.464s 1 1 true 5.722s 1 1 true 5.496s 1 1 true 5.470s 1 1 true 5.585s 1 1 true 5.524s 1 1
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 true 4.970s 1 0 true 5.057s 1 1 true 5.086s 1 1 true 5.020s 1 1 true 4.957s 1 1 true 4.919s 1 1 true 4.899s 1 1 true 4.817s 1 1 true 4.809s 1 1 true 4.695s 1 1 true 4.906s 1 1 true 5.053s 1 1 true 4.822s 1 1 true 4.894s 1 1
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 true 4.906s 1 0 true 4.928s 1 1 true 5.256s 1 1 true 5.030s 1 1 true 5.048s 1 1 true 5.236s 1 1 true 4.855s 1 1 true 4.932s 1 1 true 5.163s 1 1 true 4.810s 1 1 true 4.883s 1 1 true 4.848s 1 1 true 5.033s 1 1 true 5.137s 1 1
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 true 6.058s 1 0 true 6.214s 1 1 true 6.242s 1 1 true 6.380s 1 1 true 6.195s 1 1 true 6.108s 1 1 true 6.095s 1 1 true 6.527s 1 1 true 6.113s 1 1 true 5.999s 1 1 true 6.194s 1 1 true 6.443s 1 1 true 6.468s 1 1 true 6.231s 1 1
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 true 4.741s 1 0 true 4.421s 1 1 true 4.597s 1 1 true 4.485s 1 1 true 4.509s 1 1 true 4.845s 1 1 true 4.401s 1 1 true 4.966s 1 1 true 4.769s 1 1 true 4.554s 1 1 true 5.040s 1 1 true 4.503s 1 1 true 4.604s 1 1 true 5.232s 1 1
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 true 4.983s 1 0 true 4.824s 1 1 true 5.144s 1 1 true 5.015s 1 1 true 4.815s 1 1 true 4.856s 1 1 true 5.099s 1 1 true 4.822s 1 1 true 4.961s 1 1 true 4.791s 1 1 true 5.018s 1 1 true 5.073s 1 1 true 5.052s 1 1 true 4.828s 1 1
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 true 6.070s 1 0 true 6.354s 1 1 true 6.278s 1 1 true 6.192s 1 1 true 6.128s 1 1 true 6.090s 1 1 true 6.074s 1 1 true 6.169s 1 1 true 6.077s 1 1 true 6.216s 1 1 true 6.367s 1 1 true 6.267s 1 1 true 6.109s 1 1 true 6.297s 1 1
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 true 4.717s 1 0 true 4.857s 1 1 true 4.702s 1 1 true 4.932s 1 1 true 4.754s 1 1 true 5.055s 1 1 true 4.664s 1 1 true 4.611s 1 1 true 4.669s 1 1 true 4.776s 1 1 true 4.770s 1 1 true 4.828s 1 1 true 4.689s 1 1 true 5.018s 1 1
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 true 4.540s 1 0 true 4.740s 1 1 true 4.766s 1 1 true 4.624s 1 1 true 4.488s 1 1 true 4.507s 1 1 true 4.470s 1 1 true 4.534s 1 1 true 4.468s 1 1 true 4.777s 1 1 true 4.782s 1 1 true 4.541s 1 1 true 4.688s 1 1 true 4.759s 1 1
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 true 5.142s 1 0 true 5.215s 1 1 true 5.291s 1 1 true 5.381s 1 1 true 5.524s 1 1 true 5.118s 1 1 true 5.071s 1 1 true 5.422s 1 1 true 5.098s 1 1 true 5.966s 1 1 true 5.387s 1 1 true 5.078s 1 1 true 5.118s 1 1 true 5.246s 1 1
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 true 5.097s 1 0 true 5.044s 1 1 true 5.159s 1 1 true 5.038s 1 1 true 4.996s 1 1 true 5.032s 1 1 true 5.114s 1 1 true 5.028s 1 1 true 4.911s 1 1 true 4.965s 1 1 true 4.850s 1 1 true 5.092s 1 1 true 5.113s 1 1 true 5.011s 1 1
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 true 4.823s 1 0 true 4.756s 1 1 true 4.638s 1 1 true 4.593s 1 1 true 4.994s 1 1 true 4.955s 1 1 true 4.571s 1 1 true 4.957s 1 1 true 5.456s 1 1 true 4.650s 1 1 true 4.793s 1 1 true 4.536s 1 1 true 4.621s 1 1 true 4.630s 1 1
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 true 5.921s 1 0 true 5.899s 1 1 true 5.833s 1 1 true 5.831s 1 1 true 6.056s 1 1 true 5.853s 1 1 true 5.930s 1 1 true 5.790s 1 1 true 5.868s 1 1 true 5.949s 1 1 true 5.766s 1 1 true 5.973s 1 1 true 5.810s 1 1 true 5.888s 1 1
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 true 5.038s 1 0 true 5.083s 1 1 true 5.158s 1 1 true 5.136s 1 1 true 5.043s 1 1 true 5.155s 1 1 true 5.241s 1 1 true 5.077s 1 1 true 5.398s 1 1 true 5.140s 1 1 true 5.111s 1 1 true 5.232s 1 1 true 5.011s 1 1 true 7.250s 1 1
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 true 4.664s 1 0 true 4.846s 1 1 true 4.923s 1 1 true 4.627s 1 1 true 4.797s 1 1 true 4.448s 1 1 true 4.699s 1 1 true 4.568s 1 1 true 4.796s 1 1 true 4.567s 1 1 true 4.882s 1 1 true 5.032s 1 1 true 4.714s 1 1 true 4.926s 1 1
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 true 7.570s 1 0 true 7.679s 1 1 true 7.453s 1 1 true 7.553s 1 1 true 7.389s 1 1 true 7.473s 1 1 true 7.454s 1 1 true 7.356s 1 1 true 7.382s 1 1 true 7.326s 1 1 true 7.619s 1 1 true 7.615s 1 1 true 7.561s 1 1 true 7.234s 1 1
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 true 4.909s 1 0 true 4.891s 1 1 true 4.931s 1 1 true 4.823s 1 1 true 4.934s 1 1 true 5.132s 1 1 true 4.727s 1 1 true 4.922s 1 1 true 4.721s 1 1 true 4.846s 1 1 true 4.822s 1 1 true 5.101s 1 1 true 4.962s 1 1 true 4.808s 1 1
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 true 4.965s 1 0 true 4.744s 1 1 true 4.801s 1 1 true 5.005s 1 1 true 4.781s 1 1 true 4.930s 1 1 true 4.697s 1 1 true 4.768s 1 1 true 4.971s 1 1 true 4.968s 1 1 true 4.709s 1 1 true 4.869s 1 1 true 4.947s 1 1 true 4.963s 1 1
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 true 4.892s 1 0 true 5.295s 1 1 true 5.141s 1 1 true 5.047s 1 1 true 5.090s 1 1 true 5.234s 1 1 true 5.120s 1 1 true 5.085s 1 1 true 5.405s 1 1 true 5.286s 1 1 true 5.117s 1 1 true 5.098s 1 1 true 5.113s 1 1 true 5.253s 1 1
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 true 6.599s 1 0 true 6.387s 1 1 true 7.206s 1 1 true 6.776s 1 1 true 6.829s 1 1 true 6.313s 1 1 true 6.600s 1 1 true 6.546s 1 1 true 6.537s 1 1 true 6.685s 1 1 true 6.622s 1 1 true 6.703s 1 1 true 6.759s 1 1 true 6.387s 1 1
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 true 7.464s 1 0 true 7.727s 1 1 true 7.234s 1 1 true 7.425s 1 1 true 7.484s 1 1 true 7.403s 1 1 true 7.360s 1 1 true 7.512s 1 1 true 7.356s 1 1 true 7.510s 1 1 true 7.366s 1 1 true 7.390s 1 1 true 7.398s 1 1 true 7.651s 1 1
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 true 5.294s 1 0 true 5.063s 1 1 true 4.930s 1 1 true 4.916s 1 1 true 4.967s 1 1 true 4.775s 1 1 true 4.997s 1 1 true 5.266s 1 1 true 4.876s 1 1 true 4.919s 1 1 true 4.946s 1 1 true 4.697s 1 1 true 4.657s 1 1 true 4.884s 1 1
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 true 10.127s 1 0 true 10.169s 1 1 true 9.999s 1 1 true 10.036s 1 1 true 10.239s 1 1 true 10.107s 1 1 true 10.101s 1 1 true 10.096s 1 1 true 10.428s 1 1 true 10.352s 1 1 true 10.086s 1 1 true 9.978s 1 1 true 10.334s 1 1 true 10.079s 1 1
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 true 5.750s 1 0 true 5.845s 1 1 true 5.580s 1 1 true 5.844s 1 1 true 5.851s 1 1 true 5.644s 1 1 true 5.912s 1 1 true 5.671s 1 1 true 5.579s 1 1 true 6.013s 1 1 true 5.886s 1 1 true 5.660s 1 1 true 5.568s 1 1 true 5.694s 1 1
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 true 7.383s 1 0 true 7.129s 1 1 true 7.470s 1 1 true 7.106s 1 1 true 7.294s 1 1 true 7.146s 1 1 true 7.256s 1 1 true 7.277s 1 1 true 7.083s 1 1 true 7.263s 1 1 true 7.216s 1 1 true 7.347s 1 1 true 7.433s 1 1 true 7.061s 1 1
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 true 7.003s 1 0 true 7.742s 1 1 true 8.246s 1 1 true 8.253s 1 1 true 8.008s 1 1 true 7.800s 1 1 true 8.173s 1 1 true 7.898s 1 1 true 7.856s 1 1 true 7.805s 1 1 true 8.349s 1 1 true 7.745s 1 1 true 8.032s 1 1 true 7.916s 1 1
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 true 15.778s 1 0 true 15.604s 1 1 true 16.154s 1 1 true 15.631s 1 1 true 15.067s 1 1 true 15.364s 1 1 true 15.091s 1 1 true 16.542s 1 1 true 15.428s 1 1 true 15.567s 1 1 true 15.690s 1 1 true 16.274s 1 1 true 15.680s 1 1 true 15.280s 1 1
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 true 6.797s 2 0 true 6.852s 2 4 true 5.966s 1 3 true 7.346s 2 4 true 6.873s 2 4 true 7.311s 2 4 true 5.728s 1 3 true 6.003s 1 3 true 7.001s 2 4 true 6.916s 2 4 true 7.006s 2 4 true 6.931s 2 4 true 6.983s 2 4 true 6.793s 2 4
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 true 7.023s 1 0 true 7.404s 1 1 true 7.877s 1 1 true 7.509s 1 1 true 7.573s 1 1 true 8.029s 1 1 true 7.368s 1 1 true 7.988s 1 1 true 8.070s 1 1 true 7.682s 1 1 true 7.943s 1 1 true 7.713s 1 1 true 7.624s 1 1 true 7.480s 1 1
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 true 6.943s 2 0 true 7.367s 2 4 true 6.404s 1 3 true 6.219s 1 3 true 7.959s 2 4 true 7.216s 2 4 true 6.185s 1 3 true 6.120s 1 3 true 6.968s 2 4 true 6.204s 1 3 true 7.550s 2 4 true 6.176s 1 3 true 7.317s 2 4 true 6.254s 1 3
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 true 5.711s 1 0 true 5.585s 1 1 true 5.509s 1 1 true 5.629s 1 1 true 5.619s 1 1 true 5.622s 1 1 true 5.591s 1 1 true 5.949s 1 1 true 5.759s 1 1 true 5.686s 1 1 true 5.606s 1 1 true 5.665s 1 1 true 5.785s 1 1 true 5.691s 1 1
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 true 4.644s 1 0 true 5.167s 1 1 true 4.927s 1 1 true 4.737s 1 1 true 4.571s 1 1 true 4.690s 1 1 true 5.082s 1 1 true 4.900s 1 1 true 5.050s 1 1 true 4.784s 1 1 true 4.554s 1 1 true 4.897s 1 1 true 4.641s 1 1 true 4.976s 1 1
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 true 4.914s 1 0 true 5.019s 1 1 true 4.997s 1 1 true 4.995s 1 1 true 4.967s 1 1 true 4.775s 1 1 true 4.753s 1 1 true 5.469s 1 1 true 5.061s 1 1 true 5.373s 1 1 true 5.075s 1 1 true 4.855s 1 1 true 5.251s 1 1 true 5.026s 1 1
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 true 7.658s 2 0 true 8.140s 2 3 true 6.494s 1 2 true 6.661s 1 2 true 8.176s 2 3 true 8.201s 2 3 true 6.678s 1 2 true 6.684s 1 2 true 8.119s 2 3 true 6.822s 1 2 true 7.988s 2 3 true 7.909s 2 3 true 6.767s 1 2 true 8.189s 2 3
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 true 13.092s 1 0 true 13.406s 1 1 true 13.473s 1 1 true 13.162s 1 1 true 13.592s 1 1 true 13.196s 1 1 true 13.421s 1 1 true 12.936s 1 1 true 13.643s 1 1 true 13.449s 1 1 true 13.351s 1 1 true 13.445s 1 1 true 13.259s 1 1 true 13.271s 1 1
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 true 27.048s 4 0 true 40.040s 13 36 true 16.467s 1 3 true 16.605s 1 3 true 39.818s 13 36 true 37.612s 13 27 true 17.140s 1 3 true 16.295s 1 3 true 40.002s 13 26 true 16.142s 1 3 true 22.316s 2 5 true 16.235s 1 3 true 22.348s 2 5 true 22.821s 2 6
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 true 8.376s 2 0 true 23.344s 11 21 true 6.648s 1 2 true 6.565s 1 2 true 22.269s 11 21 true 22.255s 11 21 true 6.583s 1 2 true 6.544s 1 2 true 22.986s 11 21 true 6.557s 1 2 true 6.649s 1 2 true 6.685s 1 2 true 6.849s 1 2 true 8.765s 2 4
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 true 8.694s 2 0 true 9.239s 2 3 true 8.117s 1 2 true 8.262s 1 2 true 9.460s 2 3 true 9.142s 2 3 true 8.061s 1 2 true 8.060s 1 2 true 9.700s 2 3 true 8.092s 1 2 true 9.645s 2 3 true 8.029s 1 2 true 8.171s 1 2 true 8.318s 1 2
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 true 5.307s 1 0 true 5.652s 1 1 true 5.475s 1 1 true 5.413s 1 1 true 5.824s 1 1 true 5.366s 1 1 true 6.088s 1 1 true 5.969s 1 1 true 5.345s 1 1 true 5.377s 1 1 true 5.474s 1 1 true 6.769s 1 1 true 5.616s 1 1 true 5.394s 1 1
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 true 28.535s 3 0 true 46.341s 10 28 true 17.852s 1 3 true 18.115s 1 3 true 45.926s 10 28 true 46.716s 10 28 true 18.672s 1 3 true 18.259s 1 3 true 50.706s 10 28 true 17.907s 1 3 true 29.863s 2 6 true 34.847s 3 9 true 28.504s 2 6 true 48.988s 9 27
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 true 6.291s 1 0 true 6.130s 1 1 true 5.997s 1 1 true 6.093s 1 1 true 6.033s 1 1 true 6.237s 1 1 true 6.233s 1 1 true 6.158s 1 1 true 6.267s 1 1 true 6.140s 1 1 true 6.454s 1 1 true 6.212s 1 1 true 6.194s 1 1 true 5.978s 1 1
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 true 11.253s 3 0 true 15.198s 4 12 true 5.931s 1 4 true 5.916s 1 4 true 15.100s 4 12 true 17.598s 7 23 true 6.158s 1 4 true 5.938s 1 4 true 25.384s 13 45 true 5.985s 1 4 true 6.944s 2 8 true 5.800s 1 4 true 11.116s 3 11 true 14.987s 4 12
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 true 5.509s 1 0 true 5.734s 1 1 true 5.736s 1 1 true 5.857s 1 1 true 5.750s 1 1 true 5.675s 1 1 true 6.105s 1 1 true 5.934s 1 1 true 5.944s 1 1 true 5.812s 1 1 true 5.640s 1 1 true 5.539s 1 1 true 5.754s 1 1 true 6.102s 1 1
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 true 6.779s 1 0 true 6.934s 1 1 true 7.012s 1 1 true 6.585s 1 1 true 6.722s 1 1 true 6.901s 1 1 true 6.745s 1 1 true 6.682s 1 1 true 6.956s 1 1 true 6.774s 1 1 true 6.812s 1 1 true 6.681s 1 1 true 6.916s 1 1 true 8.396s 1 1
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 true 6.110s 1 0 true 6.244s 1 1 true 6.047s 1 1 true 6.693s 1 1 true 6.197s 1 1 true 6.391s 1 1 true 6.196s 1 1 true 6.261s 1 1 true 6.205s 1 1 true 6.229s 1 1 true 6.226s 1 1 true 6.385s 1 1 true 6.083s 1 1 true 6.273s 1 1
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 true 5.598s 1 0 true 5.589s 1 1 true 5.840s 1 1 true 5.517s 1 1 true 5.941s 1 1 true 5.474s 1 1 true 5.476s 1 1 true 5.454s 1 1 true 5.355s 1 1 true 5.591s 1 1 true 5.562s 1 1 true 5.425s 1 1 true 5.500s 1 1 true 5.632s 1 1
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 true 9.428s 2 0 true 9.706s 2 5 true 6.736s 1 4 true 6.709s 1 4 true 9.869s 2 5 true 9.864s 2 5 true 6.833s 1 4 true 6.709s 1 4 true 9.643s 2 5 true 6.942s 1 4 true 13.756s 4 14 true 8.280s 2 8 true 10.145s 2 5 true 8.239s 2 8
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 true 5.465s 1 0 true 5.672s 1 1 true 5.678s 1 1 true 5.368s 1 1 true 5.580s 1 1 true 5.341s 1 1 true 5.569s 1 1 true 5.479s 1 1 true 5.447s 1 1 true 5.794s 1 1 true 5.659s 1 1 true 5.505s 1 1 true 5.728s 1 1 true 5.587s 1 1
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 true 6.314s 1 0 true 6.690s 1 1 true 6.468s 1 1 true 6.441s 1 1 true 6.297s 1 1 true 6.452s 1 1 true 6.548s 1 1 true 6.397s 1 1 true 6.082s 1 1 true 6.178s 1 1 true 7.683s 1 1 true 6.220s 1 1 true 6.464s 1 1 true 6.395s 1 1
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 true 5.137s 1 0 true 5.055s 1 1 true 5.558s 1 1 true 5.236s 1 1 true 5.287s 1 1 true 5.277s 1 1 true 5.538s 1 1 true 5.379s 1 1 true 5.238s 1 1 true 5.156s 1 1 true 5.102s 1 1 true 5.612s 1 1 true 5.103s 1 1 true 5.270s 1 1
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 true 6.247s 1 0 true 6.739s 1 1 true 6.780s 1 1 true 6.721s 1 1 true 6.867s 1 1 true 6.639s 1 1 true 6.714s 1 1 true 6.933s 1 1 true 6.558s 1 1 true 6.505s 1 1 true 7.070s 1 1 true 6.521s 1 1 true 6.538s 1 1 true 6.597s 1 1
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 true 5.284s 1 0 true 5.380s 1 1 true 5.306s 1 1 true 5.565s 1 1 true 5.167s 1 1 true 5.465s 1 1 true 5.430s 1 1 true 5.364s 1 1 true 5.490s 1 1 true 5.483s 1 1 true 5.375s 1 1 true 5.142s 1 1 true 5.288s 1 1 true 5.214s 1 1
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 true 5.718s 1 0 true 5.928s 1 1 true 5.929s 1 1 true 5.859s 1 1 true 5.874s 1 1 true 5.846s 1 1 true 5.700s 1 1 true 5.951s 1 1 true 5.730s 1 1 true 5.826s 1 1 true 6.038s 1 1 true 5.923s 1 1 true 5.727s 1 1 true 5.814s 1 1
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 true 5.513s 1 0 true 5.397s 1 1 true 5.507s 1 1 true 5.412s 1 1 true 5.442s 1 1 true 5.423s 1 1 true 5.820s 1 1 true 5.332s 1 1 true 5.156s 1 1 true 5.227s 1 1 true 5.554s 1 1 true 5.370s 1 1 true 5.483s 1 1 true 5.434s 1 1
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 true 5.574s 1 0 true 6.202s 1 1 true 5.940s 1 1 true 5.953s 1 1 true 6.015s 1 1 true 5.991s 1 1 true 5.907s 1 1 true 6.054s 1 1 true 6.099s 1 1 true 6.009s 1 1 true 6.076s 1 1 true 5.761s 1 1 true 5.919s 1 1 true 6.153s 1 1
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 true 5.309s 1 0 true 5.773s 1 1 true 5.415s 1 1 true 5.308s 1 1 true 5.710s 1 1 true 5.615s 1 1 true 5.589s 1 1 true 5.610s 1 1 true 5.575s 1 1 true 5.494s 1 1 true 5.253s 1 1 true 5.395s 1 1 true 5.435s 1 1 true 5.248s 1 1
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 true 5.388s 1 0 true 5.933s 1 1 true 5.686s 1 1 true 5.382s 1 1 true 5.784s 1 1 true 5.810s 1 1 true 5.520s 1 1 true 5.691s 1 1 true 5.345s 1 1 true 5.506s 1 1 true 5.563s 1 1 true 5.558s 1 1 true 6.113s 1 1 true 5.438s 1 1
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 true 5.445s 1 0 true 6.014s 1 1 true 6.160s 1 1 true 5.844s 1 1 true 5.740s 1 1 true 5.665s 1 1 true 5.896s 1 1 true 5.712s 1 1 true 5.774s 1 1 true 5.900s 1 1 true 5.673s 1 1 true 5.750s 1 1 true 6.544s 1 1 true 5.656s 1 1
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 true 11.993s 3 0 true 12.382s 3 7 true 6.563s 1 4 true 7.056s 1 4 true 11.989s 3 7 true 12.109s 3 7 true 6.823s 1 4 true 6.982s 1 4 true 12.163s 4 9 true 6.960s 1 4 true 6.799s 1 4 true 12.739s 3 7 true 6.559s 1 4 true 8.443s 2 6
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 true 5.425s 1 0 true 5.125s 1 1 true 5.290s 1 1 true 5.397s 1 1 true 5.052s 1 1 true 5.188s 1 1 true 5.150s 1 1 true 5.107s 1 1 true 5.296s 1 1 true 5.246s 1 1 true 5.224s 1 1 true 5.542s 1 1 true 5.240s 1 1 true 5.227s 1 1
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 true 5.260s 1 0 true 5.532s 1 1 true 5.672s 1 1 true 5.522s 1 1 true 5.479s 1 1 true 5.330s 1 1 true 6.226s 1 1 true 5.486s 1 1 true 5.419s 1 1 true 5.249s 1 1 true 5.460s 1 1 true 5.543s 1 1 true 5.495s 1 1 true 5.446s 1 1
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 true 6.281s 1 0 true 6.403s 1 1 true 6.186s 1 1 true 6.276s 1 1 true 6.451s 1 1 true 6.216s 1 1 true 6.317s 1 1 true 6.521s 1 1 true 6.493s 1 1 true 6.206s 1 1 true 6.152s 1 1 true 6.059s 1 1 true 6.362s 1 1 true 6.208s 1 1
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 true 8.945s 2 0 true 9.148s 2 4 true 7.940s 1 3 true 8.134s 1 3 true 10.814s 2 4 true 9.699s 2 4 true 7.916s 1 3 true 7.703s 1 3 true 9.467s 2 4 true 7.707s 1 3 true 9.488s 2 4 true 9.657s 2 4 true 10.147s 2 4 true 7.772s 1 3
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 true 5.579s 1 0 true 5.747s 1 1 true 5.753s 1 1 true 5.893s 1 1 true 5.643s 1 1 true 5.812s 1 1 true 5.674s 1 1 true 5.705s 1 1 true 5.537s 1 1 true 5.493s 1 1 true 5.733s 1 1 true 5.608s 1 1 true 5.651s 1 1 true 5.569s 1 1
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 true 5.865s 1 0 true 6.025s 1 1 true 5.816s 1 1 true 5.781s 1 1 true 5.560s 1 1 true 5.822s 1 1 true 5.679s 1 1 true 5.991s 1 1 true 5.547s 1 1 true 5.681s 1 1 true 5.657s 1 1 true 5.792s 1 1 true 5.608s 1 1 true 5.672s 1 1
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 true 5.715s 1 0 true 5.821s 1 1 true 5.852s 1 1 true 5.852s 1 1 true 6.025s 1 1 true 5.959s 1 1 true 6.092s 1 1 true 5.878s 1 1 true 5.699s 1 1 true 5.684s 1 1 true 6.093s 1 1 true 6.076s 1 1 true 5.846s 1 1 true 5.814s 1 1
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 true 7.382s 1 0 true 7.274s 1 1 true 7.416s 1 1 true 7.491s 1 1 true 7.578s 1 1 true 7.359s 1 1 true 7.249s 1 1 true 7.364s 1 1 true 7.370s 1 1 true 7.650s 1 1 true 7.364s 1 1 true 7.573s 1 1 true 7.395s 1 1 true 7.384s 1 1
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 true 5.858s 1 0 true 5.977s 1 1 true 6.318s 1 1 true 6.143s 1 1 true 6.251s 1 1 true 6.156s 1 1 true 6.414s 1 1 true 6.207s 1 1 true 6.144s 1 1 true 6.395s 1 1 true 6.033s 1 1 true 6.296s 1 1 true 6.144s 1 1 true 6.178s 1 1
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 timeout 900.934s 156133 0 timeout 900.937s 119171 238342 true 5.746s 1 2 true 5.798s 1 2 timeout 901.205s 139127 278252 timeout 900.781s 130879 261758 true 5.801s 1 2 true 6.321s 1 2 timeout 900.845s 134417 268832 true 6.058s 1 2 timeout 901.140s 128087 256174 true 8.011s 2 4 true 8.260s 3 6 true 6.129s 1 2
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 true 6.667s 2 0 true 7.109s 2 3 true 6.373s 1 2 true 6.312s 1 2 true 7.306s 2 3 true 7.079s 2 3 true 6.355s 1 2 true 6.469s 1 2 true 7.353s 2 3 true 6.249s 1 2 true 6.411s 1 2 true 6.606s 1 2 true 7.000s 2 3 true 7.127s 2 3
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 true 7.753s 1 0 true 7.550s 1 1 true 7.621s 1 1 true 7.375s 1 1 true 7.454s 1 1 true 7.631s 1 1 true 7.635s 1 1 true 7.635s 1 1 true 7.527s 1 1 true 7.379s 1 1 true 7.631s 1 1 true 7.480s 1 1 true 7.943s 1 1 true 7.549s 1 1
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 true 6.383s 1 0 true 9.510s 2 4 true 7.208s 1 3 true 7.317s 1 3 true 9.716s 2 4 true 9.482s 2 4 true 7.022s 1 3 true 7.069s 1 3 true 9.847s 2 4 true 7.236s 1 3 true 9.927s 2 4 true 9.598s 2 4 true 9.711s 2 4 true 10.134s 2 4
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 true 4.873s 1 0 true 5.065s 1 1 true 5.167s 1 1 true 4.996s 1 1 true 5.191s 1 1 true 4.999s 1 1 true 5.364s 1 1 true 5.149s 1 1 true 5.384s 1 1 true 5.222s 1 1 true 5.050s 1 1 true 5.102s 1 1 true 5.095s 1 1 true 4.968s 1 1
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 true 6.383s 1 0 true 6.728s 1 1 true 6.623s 1 1 true 6.675s 1 1 true 6.450s 1 1 true 6.395s 1 1 true 6.325s 1 1 true 6.343s 1 1 true 6.383s 1 1 true 7.078s 1 1 true 6.444s 1 1 true 6.450s 1 1 true 6.409s 1 1 true 6.412s 1 1
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 true 6.785s 1 0 true 7.154s 1 1 true 7.293s 1 1 true 7.062s 1 1 true 6.947s 1 1 true 6.897s 1 1 true 7.185s 1 1 true 6.730s 1 1 true 7.272s 1 1 true 7.187s 1 1 true 7.309s 1 1 true 6.966s 1 1 true 7.030s 1 1 true 7.090s 1 1
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 true 5.571s 1 0 true 5.667s 1 1 true 5.647s 1 1 true 5.526s 1 1 true 5.244s 1 1 true 5.429s 1 1 true 5.479s 1 1 true 5.653s 1 1 true 5.626s 1 1 true 5.339s 1 1 true 5.637s 1 1 true 5.380s 1 1 true 5.316s 1 1 true 5.463s 1 1
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 true 6.934s 1 0 true 7.553s 1 1 true 7.338s 1 1 true 7.414s 1 1 true 7.754s 1 1 true 7.945s 1 1 true 7.610s 1 1 true 7.394s 1 1 true 7.539s 1 1 true 7.419s 1 1 true 7.646s 1 1 true 7.690s 1 1 true 7.725s 1 1 true 7.490s 1 1
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 true 7.186s 1 0 true 7.505s 1 1 true 7.416s 1 1 true 7.563s 1 1 true 7.676s 1 1 true 7.175s 1 1 true 7.480s 1 1 true 7.455s 1 1 true 7.385s 1 1 true 7.302s 1 1 true 7.515s 1 1 true 7.222s 1 1 true 7.471s 1 1 true 7.408s 1 1
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 true 5.156s 1 0 true 5.302s 1 1 true 5.389s 1 1 true 5.539s 1 1 true 5.193s 1 1 true 5.339s 1 1 true 5.275s 1 1 true 5.298s 1 1 true 5.234s 1 1 true 5.131s 1 1 true 5.352s 1 1 true 5.397s 1 1 true 7.654s 1 1 true 5.429s 1 1
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 true 5.441s 1 0 true 5.360s 1 1 true 5.457s 1 1 true 5.533s 1 1 true 5.311s 1 1 true 5.358s 1 1 true 5.380s 1 1 true 5.431s 1 1 true 5.558s 1 1 true 5.544s 1 1 true 5.663s 1 1 true 5.570s 1 1 true 5.252s 1 1 true 5.209s 1 1
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 true 5.542s 1 0 true 5.585s 1 1 true 5.818s 1 1 true 5.248s 1 1 true 5.439s 1 1 true 5.425s 1 1 true 5.567s 1 1 true 5.327s 1 1 true 5.430s 1 1 true 5.350s 1 1 true 5.698s 1 1 true 5.951s 1 1 true 5.440s 1 1 true 5.388s 1 1
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 true 5.327s 1 0 true 5.491s 1 1 true 5.459s 1 1 true 5.654s 1 1 true 5.420s 1 1 true 5.534s 1 1 true 5.545s 1 1 true 5.488s 1 1 true 5.227s 1 1 true 5.416s 1 1 true 5.314s 1 1 true 5.384s 1 1 true 5.483s 1 1 true 5.345s 1 1
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 true 7.013s 1 0 true 7.195s 1 1 true 7.367s 1 1 true 7.255s 1 1 true 7.634s 1 1 true 7.254s 1 1 true 7.236s 1 1 true 7.450s 1 1 true 7.085s 1 1 true 7.567s 1 1 true 6.997s 1 1 true 7.328s 1 1 true 7.126s 1 1 true 7.462s 1 1
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 true 5.230s 1 0 true 5.149s 1 1 true 5.365s 1 1 true 5.504s 1 1 true 5.862s 1 1 true 5.400s 1 1 true 5.364s 1 1 true 5.264s 1 1 true 5.421s 1 1 true 5.302s 1 1 true 5.509s 1 1 true 5.208s 1 1 true 5.498s 1 1 true 5.175s 1 1
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 true 5.433s 1 0 true 5.565s 1 1 true 5.515s 1 1 true 5.397s 1 1 true 5.669s 1 1 true 5.543s 1 1 true 5.447s 1 1 true 5.572s 1 1 true 5.137s 1 1 true 5.570s 1 1 true 5.417s 1 1 true 5.378s 1 1 true 5.268s 1 1 true 5.558s 1 1
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 true 6.955s 1 0 true 7.220s 1 1 true 7.254s 1 1 true 7.173s 1 1 true 7.082s 1 1 true 7.205s 1 1 true 7.083s 1 1 true 7.136s 1 1 true 7.386s 1 1 true 7.611s 1 1 true 7.190s 1 1 true 7.340s 1 1 true 7.076s 1 1 true 6.965s 1 1
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 true 7.505s 1 0 true 7.765s 1 1 true 7.889s 1 1 true 7.952s 1 1 true 7.978s 1 1 true 7.978s 1 1 true 8.083s 1 1 true 7.460s 1 1 true 7.653s 1 1 true 7.772s 1 1 true 7.490s 1 1 true 8.608s 1 1 true 7.857s 1 1 true 7.758s 1 1
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 true 5.407s 1 0 true 5.511s 1 1 true 5.509s 1 1 true 5.370s 1 1 true 5.700s 1 1 true 5.241s 1 1 true 5.560s 1 1 true 5.502s 1 1 true 5.650s 1 1 true 5.674s 1 1 true 5.432s 1 1 true 5.371s 1 1 true 5.350s 1 1 true 5.436s 1 1
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 true 5.378s 1 0 true 5.440s 1 1 true 5.469s 1 1 true 5.361s 1 1 true 5.367s 1 1 true 5.420s 1 1 true 5.148s 1 1 true 5.342s 1 1 true 5.391s 1 1 true 5.171s 1 1 true 5.555s 1 1 true 5.569s 1 1 true 5.465s 1 1 true 5.435s 1 1
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 true 5.905s 1 0 true 5.264s 1 1 true 5.175s 1 1 true 5.535s 1 1 true 5.274s 1 1 true 5.339s 1 1 true 5.412s 1 1 true 5.541s 1 1 true 5.448s 1 1 true 5.263s 1 1 true 5.319s 1 1 true 6.452s 1 1 true 5.615s 1 1 true 5.400s 1 1
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 true 5.662s 1 0 true 5.897s 1 1 true 5.704s 1 1 true 5.521s 1 1 true 5.455s 1 1 true 5.487s 1 1 true 5.818s 1 1 true 5.413s 1 1 true 5.636s 1 1 true 5.737s 1 1 true 5.827s 1 1 true 5.536s 1 1 true 5.375s 1 1 true 5.469s 1 1
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 true 9.325s 1 0 true 9.230s 1 1 true 9.080s 1 1 true 9.378s 1 1 true 9.172s 1 1 true 9.278s 1 1 true 9.105s 1 1 true 9.176s 1 1 true 9.536s 1 1 true 9.207s 1 1 true 9.229s 1 1 true 9.114s 1 1 true 9.007s 1 1 true 9.213s 1 1
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 true 6.044s 1 0 true 6.206s 1 1 true 6.159s 1 1 true 6.095s 1 1 true 6.213s 1 1 true 5.786s 1 1 true 5.932s 1 1 true 6.198s 1 1 true 6.160s 1 1 true 5.699s 1 1 true 5.980s 1 1 true 6.188s 1 1 true 6.002s 1 1 true 5.987s 1 1
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 true 7.192s 1 0 true 7.168s 1 1 true 7.067s 1 1 true 7.341s 1 1 true 7.074s 1 1 true 7.122s 1 1 true 7.045s 1 1 true 7.198s 1 1 true 7.279s 1 1 true 6.989s 1 1 true 7.164s 1 1 true 7.278s 1 1 true 7.146s 1 1 true 7.052s 1 1
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 true 5.253s 2 0 true 5.471s 2 3 true 4.989s 1 2 true 5.297s 2 3 true 5.194s 2 3 true 5.581s 2 3 true 4.654s 1 2 true 5.054s 1 2 true 5.562s 2 3 true 5.416s 2 3 true 5.197s 2 3 true 5.490s 2 3 true 4.824s 1 2 true 5.126s 1 2
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 true 5.913s 1 0 true 6.199s 1 1 true 5.883s 1 1 true 6.086s 1 1 true 5.746s 1 1 true 5.900s 1 1 true 6.441s 1 1 true 6.484s 1 1 true 6.206s 1 1 true 6.061s 1 1 true 5.834s 1 1 true 5.996s 1 1 true 5.993s 1 1 true 5.967s 1 1
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 true 37.944s 5 0 true 222.309s 68 269 true 19.267s 1 6 true 19.378s 1 6 true 231.770s 70 340 true 299.244s 69 288 true 18.391s 1 6 true 27.575s 2 10 true 300.986s 69 400 true 18.381s 1 6 true 36.785s 4 16 true 43.472s 8 31 true 40.430s 4 19 true 45.133s 4 18
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 true 5.626s 1 0 true 5.452s 1 1 true 5.554s 1 1 true 5.240s 1 1 true 5.628s 1 1 true 5.233s 1 1 true 5.451s 1 1 true 5.336s 1 1 true 5.375s 1 1 true 5.358s 1 1 true 5.279s 1 1 true 5.545s 1 1 true 5.406s 1 1 true 5.467s 1 1
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 true 5.762s 1 0 true 5.391s 1 1 true 6.008s 1 1 true 5.569s 1 1 true 5.492s 1 1 true 5.492s 1 1 true 5.332s 1 1 true 5.925s 1 1 true 5.492s 1 1 true 5.707s 1 1 true 5.730s 1 1 true 5.650s 1 1 true 5.608s 1 1 true 5.658s 1 1
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 true 5.370s 1 0 true 5.502s 1 1 true 5.372s 1 1 true 5.360s 1 1 true 5.570s 1 1 true 5.350s 1 1 true 5.198s 1 1 true 5.359s 1 1 true 5.395s 1 1 true 5.501s 1 1 true 5.369s 1 1 true 5.238s 1 1 true 5.381s 1 1 true 5.331s 1 1
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 true 5.495s 1 0 true 5.435s 1 1 true 5.583s 1 1 true 5.669s 1 1 true 5.411s 1 1 true 5.865s 1 1 true 5.535s 1 1 true 5.608s 1 1 true 5.832s 1 1 true 5.885s 1 1 true 6.047s 1 1 true 5.427s 1 1 true 5.574s 1 1 true 5.556s 1 1
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 true 10.375s 2 0 true 10.924s 2 3 true 5.674s 1 2 true 5.562s 1 2 true 10.422s 2 3 true 10.784s 2 3 true 5.943s 1 2 true 5.519s 1 2 true 10.574s 2 3 true 5.746s 1 2 true 10.701s 2 3 true 10.701s 2 3 true 10.630s 2 3 true 5.654s 1 2
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 true 11.728s 2 0 true 13.584s 2 5 true 11.235s 1 4 true 11.721s 1 4 true 17.920s 3 7 true 16.839s 3 7 true 11.252s 1 4 true 11.593s 1 4 true 20.364s 5 15 true 11.470s 1 4 true 17.628s 3 10 true 17.863s 3 10 true 17.222s 3 7 true 15.166s 2 6
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 true 8.994s 3 0 true 28.468s 7 18 true 5.919s 1 3 true 5.634s 1 3 true 26.595s 7 18 true 18.859s 5 11 true 5.604s 1 3 true 5.694s 1 3 true 7.293s 2 4 true 5.774s 1 3 true 7.099s 2 4 true 6.041s 1 3 true 5.661s 1 3 true 5.748s 1 3
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 true 8.813s 1 0 true 9.190s 1 1 true 8.939s 1 1 true 8.965s 1 1 true 9.188s 1 1 true 8.766s 1 1 true 8.927s 1 1 true 9.007s 1 1 true 8.986s 1 1 true 9.132s 1 1 true 9.065s 1 1 true 8.938s 1 1 true 9.184s 1 1 true 8.903s 1 1
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 true 6.702s 3 0 true 33.977s 13 36 true 5.133s 1 3 true 5.609s 1 3 true 31.701s 13 36 true 13.179s 5 11 true 5.243s 1 3 true 5.830s 1 3 true 5.732s 2 4 true 5.360s 1 3 true 5.436s 2 4 true 6.413s 2 6 true 5.375s 2 4 true 4.965s 1 3
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 true 9.657s 4 0 true 24.994s 9 25 true 6.307s 1 4 true 6.241s 1 4 true 27.114s 9 29 true 29.604s 7 22 true 6.366s 1 4 true 6.165s 1 4 true 21.547s 6 15 true 5.969s 1 4 true 8.651s 3 9 true 16.972s 5 21 true 14.761s 3 11 true 7.607s 2 9
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 true 6.986s 2 0 true 7.431s 2 2 true 7.345s 2 2 true 7.263s 2 2 true 7.281s 2 2 true 7.370s 2 2 true 7.362s 2 2 true 7.697s 2 2 true 7.234s 2 2 true 7.271s 2 2 true 7.389s 2 2 true 7.568s 2 2 true 7.515s 2 2 true 7.030s 2 2
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 true 5.944s 1 0 true 5.604s 1 1 true 5.740s 1 1 true 5.586s 1 1 true 5.881s 1 1 true 5.555s 1 1 true 5.742s 1 1 true 5.678s 1 1 true 6.009s 1 1 true 5.643s 1 1 true 5.953s 1 1 true 5.823s 1 1 true 5.877s 1 1 true 5.947s 1 1
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 true 4.370s 1 0 true 4.412s 1 1 true 4.409s 1 1 true 4.249s 1 1 true 4.086s 1 1 true 4.481s 1 1 true 4.374s 1 1 true 4.436s 1 1 true 4.357s 1 1 true 4.469s 1 1 true 4.433s 1 1 true 4.244s 1 1 true 4.238s 1 1 true 4.599s 1 1
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 true 5.283s 1 0 true 5.272s 1 1 true 5.195s 1 1 true 5.081s 1 1 true 5.062s 1 1 true 5.180s 1 1 true 5.046s 1 1 true 5.171s 1 1 true 4.981s 1 1 true 5.196s 1 1 true 5.073s 1 1 true 4.894s 1 1 true 5.176s 1 1 true 5.588s 1 1
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 true 6.089s 2 0 true 6.625s 2 3 true 5.356s 1 2 true 5.085s 1 2 true 6.833s 2 3 true 6.568s 2 3 true 5.179s 1 2 true 5.059s 1 2 true 6.491s 2 3 true 5.217s 1 2 true 6.525s 2 3 true 6.530s 2 3 true 6.905s 2 3 true 6.484s 2 3
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 true 5.008s 1 0 true 4.947s 1 1 true 5.210s 1 1 true 5.050s 1 1 true 5.154s 1 1 true 5.021s 1 1 true 4.986s 1 1 true 4.989s 1 1 true 5.052s 1 1 true 5.002s 1 1 true 5.053s 1 1 true 5.173s 1 1 true 5.224s 1 1 true 5.559s 1 1
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 true 10.828s 1 0 true 11.297s 1 1 true 11.281s 1 1 true 11.275s 1 1 true 11.358s 1 1 true 10.946s 1 1 true 11.263s 1 1 true 11.345s 1 1 true 11.524s 1 1 true 11.306s 1 1 true 11.293s 1 1 true 11.442s 1 1 true 11.130s 1 1 true 11.058s 1 1
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 true 7.735s 1 0 true 7.689s 1 1 true 7.804s 1 1 true 8.017s 1 1 true 7.927s 1 1 true 7.690s 1 1 true 7.784s 1 1 true 7.991s 1 1 true 7.434s 1 1 true 8.012s 1 1 true 7.984s 1 1 true 7.731s 1 1 true 7.736s 1 1 true 7.989s 1 1
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 true 7.275s 1 0 true 7.308s 1 1 true 7.319s 1 1 true 7.265s 1 1 true 7.391s 1 1 true 6.993s 1 1 true 7.211s 1 1 true 7.340s 1 1 true 7.485s 1 1 true 7.241s 1 1 true 7.297s 1 1 true 7.301s 1 1 true 7.047s 1 1 true 7.241s 1 1
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 true 13.550s 1 0 true 13.225s 1 1 true 13.483s 1 1 true 13.711s 1 1 true 13.488s 1 1 true 13.410s 1 1 true 13.480s 1 1 true 13.619s 1 1 true 13.121s 1 1 true 13.355s 1 1 true 13.611s 1 1 true 13.694s 1 1 true 13.654s 1 1 true 13.169s 1 1
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 true 7.768s 1 0 true 7.798s 1 1 true 8.159s 1 1 true 7.845s 1 1 true 7.830s 1 1 true 7.716s 1 1 true 7.865s 1 1 true 8.146s 1 1 true 7.948s 1 1 true 7.795s 1 1 true 7.838s 1 1 true 7.762s 1 1 true 8.021s 1 1 true 7.798s 1 1
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 true 8.198s 1 0 true 8.499s 1 1 true 8.500s 1 1 true 8.635s 1 1 true 8.631s 1 1 true 8.435s 1 1 true 8.408s 1 1 true 8.880s 1 1 true 8.565s 1 1 true 8.289s 1 1 true 9.141s 1 1 true 8.720s 1 1 true 8.352s 1 1 true 8.723s 1 1
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 true 29.164s 6 0 true 31.216s 6 26 true 13.811s 2 6 true 13.851s 2 6 true 50.577s 14 94 true 31.227s 6 23 true 13.739s 2 6 true 13.515s 2 6 true 27.926s 5 22 true 13.777s 2 6 true 32.710s 6 23 true 13.965s 2 6 true 37.213s 6 23 true 34.315s 6 23
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 true 13.187s 1 0 true 13.714s 1 1 true 13.441s 1 1 true 12.942s 1 1 true 13.541s 1 1 true 13.684s 1 1 true 13.211s 1 1 true 15.475s 1 1 true 13.135s 1 1 true 12.909s 1 1 true 13.376s 1 1 true 13.295s 1 1 true 13.219s 1 1 true 13.429s 1 1
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 true 9.619s 1 0 true 10.133s 1 1 true 9.694s 1 1 true 9.720s 1 1 true 10.043s 1 1 true 9.509s 1 1 true 9.611s 1 1 true 9.556s 1 1 true 9.511s 1 1 true 9.695s 1 1 true 9.588s 1 1 true 9.562s 1 1 true 9.696s 1 1 true 9.590s 1 1
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 true 16.418s 1 0 true 17.518s 1 1 true 16.594s 1 1 true 16.840s 1 1 true 16.580s 1 1 true 16.651s 1 1 true 17.103s 1 1 true 17.069s 1 1 true 16.704s 1 1 true 16.848s 1 1 true 16.822s 1 1 true 16.709s 1 1 true 16.740s 1 1 true 16.809s 1 1
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 true 21.310s 2 0 true 22.981s 2 2 true 22.722s 2 2 true 21.335s 2 2 true 22.313s 2 2 true 21.878s 2 2 true 21.443s 2 2 true 22.636s 2 2 true 21.535s 2 2 true 22.675s 2 2 true 22.001s 2 2 true 22.927s 2 2 true 22.052s 2 2 true 22.115s 2 2
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 true 30.715s 4 0 true 33.582s 4 6 true 25.171s 2 3 true 26.795s 2 3 true 38.287s 4 6 true 36.358s 4 6 true 27.001s 2 3 true 41.038s 4 6 true 26.873s 2 3 true 26.181s 2 3 true 36.075s 4 6 true 37.290s 4 6 true 29.803s 2 3 true 32.280s 3 5
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 true 6.862s 1 0 true 7.009s 1 1 true 6.704s 1 1 true 7.060s 1 1 true 7.177s 1 1 true 6.650s 1 1 true 6.488s 1 1 true 7.008s 1 1 true 7.107s 1 1 true 6.906s 1 1 true 6.854s 1 1 true 6.789s 1 1 true 6.896s 1 1 true 6.839s 1 1
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 true 7.173s 1 0 true 7.064s 1 1 true 7.193s 1 1 true 7.417s 1 1 true 7.161s 1 1 true 7.180s 1 1 true 7.066s 1 1 true 7.250s 1 1 true 6.983s 1 1 true 7.422s 1 1 true 7.220s 1 1 true 7.220s 1 1 true 7.047s 1 1 true 7.442s 1 1
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 false(reach) 28.481s 8 0 false(reach) 38.272s 18 29 false(reach) 37.519s 18 43 false(reach) 28.069s 8 11 false(reach) 36.861s 18 38 false(reach) 38.990s 18 29 false(reach) 38.264s 18 30 false(reach) 39.691s 18 29 false(reach) 28.141s 8 14 false(reach) 28.068s 8 11 false(reach) 30.557s 8 11 false(reach) 32.543s 11 17 false(reach) 33.775s 13 26 false(reach) 29.049s 10 19
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 true 17.768s 3 0 true 19.352s 3 4 true 21.978s 4 5 true 22.394s 4 5 true 20.149s 3 4 true 23.878s 4 5 true 19.472s 3 4 true 19.550s 3 4 true 22.697s 4 5 true 23.174s 4 5 true 22.390s 4 5 true 22.542s 4 5 true 23.480s 4 5 true 22.746s 4 5
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 true 8.678s 2 0 true 9.392s 2 3 true 7.732s 1 2 true 7.843s 1 2 true 9.869s 2 3 true 9.326s 2 3 true 7.942s 1 2 true 7.900s 1 2 true 9.131s 2 3 true 8.002s 1 2 true 9.540s 2 3 true 9.392s 1 2 true 7.871s 1 2 true 7.740s 1 2
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 true 8.142s 1 0 true 8.131s 1 1 true 7.724s 1 1 true 7.858s 1 1 true 7.933s 1 1 true 8.010s 1 1 true 7.938s 1 1 true 7.940s 1 1 true 8.153s 1 1 true 8.408s 1 1 true 8.241s 1 1 true 8.138s 1 1 true 7.657s 1 1 true 8.042s 1 1
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 true 8.898s 1 0 true 11.664s 1 1 true 9.104s 1 1 true 9.224s 1 1 true 9.273s 1 1 true 9.157s 1 1 true 9.296s 1 1 true 9.288s 1 1 true 9.060s 1 1 true 8.967s 1 1 true 9.213s 1 1 true 9.052s 1 1 true 9.483s 1 1 true 8.892s 1 1
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 true 7.334s 1 0 true 7.978s 1 1 true 7.412s 1 1 true 7.420s 1 1 true 7.417s 1 1 true 7.667s 1 1 true 7.062s 1 1 true 7.652s 1 1 true 7.386s 1 1 true 7.272s 1 1 true 7.467s 1 1 true 7.631s 1 1 true 7.470s 1 1 true 7.521s 1 1
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 true 9.314s 1 0 true 10.358s 1 1 true 10.501s 1 1 true 10.279s 1 1 true 11.106s 1 1 true 9.896s 1 1 true 10.331s 1 1 true 10.039s 1 1 true 9.880s 1 1 true 10.533s 1 1 true 10.366s 1 1 true 10.414s 1 1 true 10.339s 1 1 true 9.934s 1 1
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 true 6.432s 1 0 true 6.310s 1 1 true 6.736s 1 1 true 6.661s 1 1 true 6.770s 1 1 true 6.501s 1 1 true 6.717s 1 1 true 6.498s 1 1 true 6.813s 1 1 true 6.702s 1 1 true 6.505s 1 1 true 6.537s 1 1 true 6.703s 1 1 true 6.519s 1 1
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 true 132.141s 12 0 true 138.059s 15 106 true 86.102s 16 84 true 32.090s 5 17 true 470.361s 17 99 true 24.129s 4 12 timeout 902.173s 19 148 true 129.665s 15 109 true 29.904s 6 21 true 32.313s 5 17 true 31.166s 5 17 true 150.675s 16 170 true 142.747s 15 99 true 72.095s 9 54
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 true 10.363s 1 0 true 10.607s 1 1 true 10.529s 1 1 true 10.541s 1 1 true 10.608s 1 1 true 10.872s 1 1 true 11.077s 1 1 true 10.779s 1 1 true 10.483s 1 1 true 10.737s 1 1 true 10.658s 1 1 true 11.227s 1 1 true 11.052s 1 1 true 11.032s 1 1
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 true 9.900s 1 0 true 9.694s 1 1 true 9.975s 1 1 true 9.932s 1 1 true 10.234s 1