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-24 12:32:07 CEST 2015-06-24 12:32:13 CEST 2015-06-24 12:32:14 CEST 2015-06-24 12:32:16 CEST 2015-06-24 12:32:15 CEST 2015-06-24 12:32:16 CEST
Run set VA-refinementSelection-simple.NONE VA-refinementSelection-simple.LENGTH_SHORT VA-refinementSelection-simple.LENGTH_LONG VA-refinementSelection-domain.DOMAIN_GOOD VA-refinementSelection-domain.DOMAIN_BAD VA-refinementSelection-width.WIDTH_NARROW VA-refinementSelection-width.WIDTH_WIDE VA-refinementSelection-depth.PIVOT_SHALLOW VA-refinementSelection-depth.PIVOT_DEEP VA-refinementSelection-combo.DOMAIN_GOOD_WIDTH_NARROW VA-refinementSelection-combo.WIDTH_NARROW_NO_LOOP VA-refinementSelection-random.RANDOM1 VA-refinementSelection-random.RANDOM2 VA-refinementSelection-random.RANDOM3
Options -disable-java-assertions -heap 12500M -noout -skipRecursion -setprop log.consoleLevel=WARNING -valueAnalysis -setprop cpa.value.refinement.restart=ROOT -setprop precision.sharing=scope -setprop analysis.checkCounterexamples=false -setprop cpa.value.refinement.prefixPreference=NONE -disable-java-assertions -heap 12500M -noout -skipRecursion -setprop log.consoleLevel=WARNING -valueAnalysis -setprop cpa.value.refinement.restart=ROOT -setprop precision.sharing=scope -setprop analysis.checkCounterexamples=false -setprop cpa.value.refinement.prefixPreference=LENGTH_SHORT -disable-java-assertions -heap 12500M -noout -skipRecursion -setprop log.consoleLevel=WARNING -valueAnalysis -setprop cpa.value.refinement.restart=ROOT -setprop precision.sharing=scope -setprop analysis.checkCounterexamples=false -setprop cpa.value.refinement.prefixPreference=LENGTH_LONG -disable-java-assertions -heap 12500M -noout -skipRecursion -setprop log.consoleLevel=WARNING -valueAnalysis -setprop cpa.value.refinement.restart=ROOT -setprop precision.sharing=scope -setprop analysis.checkCounterexamples=false -setprop cpa.value.refinement.prefixPreference=DOMAIN_GOOD_SHORT -disable-java-assertions -heap 12500M -noout -skipRecursion -setprop log.consoleLevel=WARNING -valueAnalysis -setprop cpa.value.refinement.restart=ROOT -setprop precision.sharing=scope -setprop analysis.checkCounterexamples=false -setprop cpa.value.refinement.prefixPreference=DOMAIN_BAD_SHORT -disable-java-assertions -heap 12500M -noout -skipRecursion -setprop log.consoleLevel=WARNING -valueAnalysis -setprop cpa.value.refinement.restart=ROOT -setprop precision.sharing=scope -setprop analysis.checkCounterexamples=false -setprop cpa.value.refinement.prefixPreference=WIDTH_NARROW_SHORT -disable-java-assertions -heap 12500M -noout -skipRecursion -setprop log.consoleLevel=WARNING -valueAnalysis -setprop cpa.value.refinement.restart=ROOT -setprop precision.sharing=scope -setprop analysis.checkCounterexamples=false -setprop cpa.value.refinement.prefixPreference=WIDTH_WIDE_SHORT -disable-java-assertions -heap 12500M -noout -skipRecursion -setprop log.consoleLevel=WARNING -valueAnalysis -setprop cpa.value.refinement.restart=ROOT -setprop precision.sharing=scope -setprop analysis.checkCounterexamples=false -setprop cpa.value.refinement.prefixPreference=PIVOT_SHALLOW_SHORT -disable-java-assertions -heap 12500M -noout -skipRecursion -setprop log.consoleLevel=WARNING -valueAnalysis -setprop cpa.value.refinement.restart=ROOT -setprop precision.sharing=scope -setprop analysis.checkCounterexamples=false -setprop cpa.value.refinement.prefixPreference=PIVOT_DEEP_SHORT -disable-java-assertions -heap 12500M -noout -skipRecursion -setprop log.consoleLevel=WARNING -valueAnalysis -setprop cpa.value.refinement.restart=ROOT -setprop precision.sharing=scope -setprop analysis.checkCounterexamples=false -setprop cpa.value.refinement.prefixPreference=DOMAIN_GOOD_WIDTH_NARROW_SHORT -disable-java-assertions -heap 12500M -noout -skipRecursion -setprop log.consoleLevel=WARNING -valueAnalysis -setprop cpa.value.refinement.restart=ROOT -setprop precision.sharing=scope -setprop analysis.checkCounterexamples=false -setprop cpa.value.refinement.prefixPreference=WIDTH_NARROW_NO_LOOP_SHORT -disable-java-assertions -heap 12500M -noout -skipRecursion -setprop log.consoleLevel=WARNING -valueAnalysis -setprop cpa.value.refinement.restart=ROOT -setprop precision.sharing=scope -setprop analysis.checkCounterexamples=false -setprop cpa.value.refinement.prefixPreference=RANDOM -setprop cpa.value.refinement.any=1 -disable-java-assertions -heap 12500M -noout -skipRecursion -setprop log.consoleLevel=WARNING -valueAnalysis -setprop cpa.value.refinement.restart=ROOT -setprop precision.sharing=scope -setprop analysis.checkCounterexamples=false -setprop cpa.value.refinement.prefixPreference=RANDOM -setprop cpa.value.refinement.any=2 -disable-java-assertions -heap 12500M -noout -skipRecursion -setprop log.consoleLevel=WARNING -valueAnalysis -setprop cpa.value.refinement.restart=ROOT -setprop precision.sharing=scope -setprop analysis.checkCounterexamples=false -setprop cpa.value.refinement.prefixPreference=RANDOM -setprop cpa.value.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) 102.833s 4 0 false(reach) 94.502s 3 5 false(reach) 101.467s 4 7 false(reach) 104.218s 3 5 false(reach) 98.831s 3 5 false(reach) 95.663s 3 5 false(reach) 94.257s 3 5 false(reach) 100.253s 3 5 false(reach) 104.709s 4 7 false(reach) 106.130s 3 5 false(reach) 97.792s 3 5 false(reach) 97.372s 3 5 false(reach) 99.106s 3 5 false(reach) 102.300s 3 5
bitvector/byte_add_1_true-unreach-call.i false(reach) 109.264s 5 0 false(reach) 30.099s 4 12 false(reach) 304.358s 7 13 false(reach) 28.015s 4 12 false(reach) 109.995s 4 11 false(reach) 105.242s 4 8 false(reach) 201.844s 6 14 false(reach) 27.194s 4 12 false(reach) 107.460s 5 10 false(reach) 29.427s 4 12 false(reach) 28.652s 4 12 false(reach) 57.340s 5 14 false(reach) 62.561s 5 14 false(reach) 110.808s 5 13
bitvector/byte_add_2_true-unreach-call.i false(reach) 109.742s 5 0 false(reach) 106.137s 4 8 false(reach) 207.508s 7 16 false(reach) 109.355s 4 8 false(reach) 130.982s 4 8 false(reach) 27.758s 4 12 false(reach) 209.286s 6 11 false(reach) 109.553s 4 8 false(reach) 108.429s 5 13 false(reach) 109.972s 4 8 false(reach) 106.622s 4 8 false(reach) 137.173s 5 9 false(reach) 108.880s 4 8 false(reach) 59.708s 5 14
bitvector/gcd_1_true-unreach-call.i false(reach) 3.236s 1 0 false(reach) 3.163s 1 0 false(reach) 3.458s 1 0 false(reach) 3.321s 1 0 false(reach) 3.411s 1 0 false(reach) 3.162s 1 0 false(reach) 3.387s 1 0 false(reach) 3.223s 1 0 false(reach) 3.632s 1 0 false(reach) 3.610s 1 0 false(reach) 3.244s 1 0 false(reach) 3.671s 1 0 false(reach) 3.323s 1 0 false(reach) 3.447s 1 0
bitvector/gcd_2_true-unreach-call.i false(reach) 3.231s 1 0 false(reach) 3.438s 1 0 false(reach) 3.440s 1 0 false(reach) 3.380s 1 0 false(reach) 3.278s 1 0 false(reach) 3.297s 1 0 false(reach) 3.567s 1 0 false(reach) 3.415s 1 0 false(reach) 3.453s 1 0 false(reach) 3.279s 1 0 false(reach) 3.494s 1 0 false(reach) 3.390s 1 0 false(reach) 3.552s 1 0 false(reach) 3.336s 1 0
bitvector/gcd_3_true-unreach-call.i false(reach) 3.393s 1 0 false(reach) 3.349s 1 0 false(reach) 3.245s 1 0 false(reach) 3.373s 1 0 false(reach) 3.502s 1 0 false(reach) 3.547s 1 0 false(reach) 3.229s 1 0 false(reach) 3.366s 1 0 false(reach) 3.483s 1 0 false(reach) 3.459s 1 0 false(reach) 3.341s 1 0 false(reach) 3.830s 1 0 false(reach) 3.458s 1 0 false(reach) 3.668s 1 0
bitvector/gcd_4_true-unreach-call.i true 3.464s 2 0 true 3.644s 3 6 true 3.694s 2 3 true 3.320s 3 6 true 3.506s 2 3 true 3.498s 3 6 true 3.388s 2 3 true 3.524s 3 6 true 3.529s 3 6 true 3.646s 3 6 true 3.787s 3 6 true 3.806s 3 6 true 3.590s 3 6 true 3.494s 2 3
bitvector/interleave_bits_true-unreach-call.i false(reach) 3.702s 2 0 false(reach) 3.498s 2 1 false(reach) 3.545s 2 1 false(reach) 3.528s 2 1 false(reach) 3.481s 2 1 false(reach) 3.549s 2 1 false(reach) 3.514s 2 1 false(reach) 3.638s 2 1 false(reach) 3.897s 2 1 false(reach) 3.568s 2 1 false(reach) 3.350s 2 1 false(reach) 3.458s 2 1 false(reach) 3.528s 2 1 false(reach) 3.629s 2 1
bitvector/jain_1_true-unreach-call.i false(reach) 3.179s 1 0 false(reach) 3.333s 1 0 false(reach) 3.475s 1 0 false(reach) 3.250s 1 0 false(reach) 3.171s 1 0 false(reach) 3.412s 1 0 false(reach) 3.111s 1 0 false(reach) 3.574s 1 0 false(reach) 3.402s 1 0 false(reach) 3.299s 1 0 false(reach) 3.314s 1 0 false(reach) 3.314s 1 0 false(reach) 3.222s 1 0 false(reach) 3.272s 1 0
bitvector/jain_2_true-unreach-call.i false(reach) 3.381s 1 0 false(reach) 3.220s 1 0 false(reach) 3.177s 1 0 false(reach) 3.157s 1 0 false(reach) 3.546s 1 0 false(reach) 3.262s 1 0 false(reach) 4.971s 1 0 false(reach) 3.372s 1 0 false(reach) 3.390s 1 0 false(reach) 3.686s 1 0 false(reach) 3.338s 1 0 false(reach) 4.886s 1 0 false(reach) 3.274s 1 0 false(reach) 3.373s 1 0
bitvector/jain_4_true-unreach-call.i false(reach) 3.240s 1 0 false(reach) 3.388s 1 0 false(reach) 3.738s 1 0 false(reach) 3.405s 1 0 false(reach) 3.258s 1 0 false(reach) 3.379s 1 0 false(reach) 3.294s 1 0 false(reach) 3.325s 1 0 false(reach) 3.512s 1 0 false(reach) 3.485s 1 0 false(reach) 3.324s 1 0 false(reach) 3.247s 1 0 false(reach) 3.294s 1 0 false(reach) 3.389s 1 0
bitvector/jain_5_true-unreach-call.i timeout 902.033s 1 0 timeout 901.419s 1 1 timeout 901.882s 1 1 timeout 901.852s 1 1 timeout 901.499s 1 1 timeout 901.501s 1 1 timeout 901.885s 1 1 timeout 901.919s 1 1 timeout 901.852s 1 1 timeout 901.902s 1 1 timeout 902.044s 1 1 timeout 902.015s 1 1 timeout 901.842s 1 1 timeout 901.911s 1 1
bitvector/jain_6_true-unreach-call.i false(reach) 3.512s 1 0 false(reach) 3.324s 1 0 false(reach) 3.321s 1 0 false(reach) 3.403s 1 0 false(reach) 3.203s 1 0 false(reach) 3.283s 1 0 false(reach) 3.377s 1 0 false(reach) 3.242s 1 0 false(reach) 3.492s 1 0 false(reach) 3.172s 1 0 false(reach) 3.770s 1 0 false(reach) 3.450s 1 0 false(reach) 3.335s 1 0 false(reach) 3.412s 1 0
bitvector/jain_7_true-unreach-call.i false(reach) 3.285s 1 0 false(reach) 3.420s 1 0 false(reach) 3.672s 1 0 false(reach) 3.228s 1 0 false(reach) 3.469s 1 0 false(reach) 3.130s 1 0 false(reach) 3.599s 1 0 false(reach) 3.463s 1 0 false(reach) 3.226s 1 0 false(reach) 3.250s 1 0 false(reach) 3.395s 1 0 false(reach) 3.148s 1 0 false(reach) 3.330s 1 0 false(reach) 3.333s 1 0
bitvector/modulus_true-unreach-call.i false(reach) 3.529s 1 0 false(reach) 3.648s 1 0 false(reach) 3.581s 1 0 false(reach) 3.664s 1 0 false(reach) 3.321s 1 0 false(reach) 3.527s 1 0 false(reach) 3.350s 1 0 false(reach) 3.703s 1 0 false(reach) 3.488s 1 0 false(reach) 3.534s 1 0 false(reach) 3.354s 1 0 false(reach) 3.151s 1 0 false(reach) 3.390s 1 0 false(reach) 3.213s 1 0
bitvector/num_conversion_1_true-unreach-call.i true 5.854s 3 0 true 3.753s 3 5 true 3.965s 3 5 true 3.481s 3 5 true 3.540s 3 5 true 3.507s 3 5 true 3.849s 3 5 true 3.538s 3 5 true 3.413s 3 5 true 3.373s 3 5 true 3.653s 3 5 true 3.785s 3 5 true 3.643s 3 5 true 3.738s 3 5
bitvector/num_conversion_2_true-unreach-call.i false(reach) 3.642s 2 0 false(reach) 3.437s 2 1 false(reach) 3.514s 2 1 false(reach) 3.198s 2 1 false(reach) 3.542s 2 1 false(reach) 3.643s 2 1 false(reach) 3.336s 2 1 false(reach) 3.427s 2 1 false(reach) 3.659s 2 1 false(reach) 3.644s 2 1 false(reach) 3.393s 2 1 false(reach) 3.488s 2 1 false(reach) 3.365s 2 1 false(reach) 3.653s 2 1
bitvector/parity_true-unreach-call.i false(reach) 3.347s 1 0 false(reach) 3.331s 1 0 false(reach) 3.455s 1 0 false(reach) 3.574s 1 0 false(reach) 3.436s 1 0 false(reach) 3.277s 1 0 false(reach) 3.349s 1 0 false(reach) 3.572s 1 0 false(reach) 3.179s 1 0 false(reach) 3.094s 1 0 false(reach) 3.536s 1 0 false(reach) 3.679s 1 0 false(reach) 3.317s 1 0 false(reach) 3.257s 1 0
bitvector/sum02_true-unreach-call.i false(reach) 3.621s 4 0 false(reach) 3.583s 4 3 false(reach) 3.561s 4 3 false(reach) 3.460s 4 3 false(reach) 3.579s 4 3 false(reach) 3.685s 4 3 false(reach) 3.428s 4 3 false(reach) 3.849s 4 3 false(reach) 3.630s 4 3 false(reach) 3.242s 4 3 false(reach) 3.723s 4 3 false(reach) 3.292s 4 3 false(reach) 3.543s 4 3 false(reach) 7.170s 4 3
bitvector/s3_clnt_1_false-unreach-call.BV.c.cil.c false(reach) 6.167s 3 0 false(reach) 5.863s 3 5 false(reach) 6.616s 3 12 false(reach) 6.898s 3 12 false(reach) 5.955s 3 5 false(reach) 6.002s 3 5 false(reach) 6.820s 3 12 false(reach) 6.228s 3 5 false(reach) 6.010s 3 5 false(reach) 6.566s 3 12 false(reach) 6.202s 3 5 false(reach) 6.669s 3 12 false(reach) 6.159s 3 5 false(reach) 5.844s 3 5
bitvector/s3_clnt_2_false-unreach-call.BV.c.cil.c false(reach) 6.464s 3 0 false(reach) 6.226s 3 5 false(reach) 6.555s 3 13 false(reach) 6.678s 3 13 false(reach) 6.183s 3 5 false(reach) 6.184s 3 5 false(reach) 7.014s 3 13 false(reach) 6.470s 3 5 false(reach) 6.197s 3 5 false(reach) 6.577s 3 13 false(reach) 6.039s 3 5 false(reach) 6.571s 3 13 false(reach) 6.026s 3 5 false(reach) 6.367s 3 5
bitvector/s3_clnt_3_false-unreach-call.BV.c.cil.c false(reach) 6.907s 6 0 false(reach) 6.841s 6 8 false(reach) 6.969s 6 10 false(reach) 6.391s 6 8 false(reach) 6.634s 6 9 false(reach) 6.554s 6 8 false(reach) 6.944s 6 10 false(reach) 6.494s 6 8 false(reach) 7.017s 6 10 false(reach) 6.501s 6 8 false(reach) 6.979s 6 8 false(reach) 6.351s 6 8 false(reach) 6.420s 6 9 false(reach) 6.642s 6 8
bitvector/s3_clnt_1_true-unreach-call.BV.c.cil.c true 8.756s 4 0 true 9.092s 5 9 true 8.786s 4 15 true 9.500s 5 16 true 7.738s 4 8 true 7.950s 4 8 true 9.875s 5 16 true 8.683s 5 9 true 7.985s 4 8 true 9.309s 5 16 true 8.038s 4 8 true 9.158s 5 9 true 7.791s 4 8 true 7.906s 4 8
bitvector/s3_clnt_2_true-unreach-call.BV.c.cil.c true 9.287s 4 0 true 9.987s 5 9 true 9.447s 4 16 true 10.219s 5 17 true 8.310s 4 8 true 10.334s 4 8 true 10.183s 5 17 true 9.755s 5 9 true 8.417s 4 8 true 10.328s 5 17 true 8.887s 4 8 true 9.490s 5 9 true 10.201s 5 17 true 9.602s 5 9
bitvector/s3_clnt_3_true-unreach-call.BV.c.cil.c true 13.412s 6 0 true 10.023s 6 18 true 10.027s 5 21 true 7.240s 3 15 true 8.784s 4 12 true 6.304s 3 9 true 10.496s 5 21 true 10.174s 6 18 true 9.225s 6 16 true 7.455s 3 15 true 6.413s 3 9 true 9.942s 6 18 true 8.855s 4 12 true 10.008s 6 18
bitvector/s3_srvr_1_alt_true-unreach-call.BV.c.cil.c false(reach) 11.327s 7 0 false(reach) 10.160s 6 11 false(reach) 11.656s 7 23 false(reach) 11.550s 7 24 false(reach) 9.990s 6 10 false(reach) 10.751s 7 19 false(reach) 10.049s 6 10 false(reach) 18.629s 6 11 false(reach) 11.244s 7 23 false(reach) 12.261s 7 24 false(reach) 10.731s 7 19 false(reach) 10.200s 6 10 false(reach) 10.702s 7 18 false(reach) 11.839s 7 24
bitvector/s3_srvr_1_true-unreach-call.BV.c.cil.c true 9.234s 4 0 true 7.514s 4 9 true 9.250s 4 22 true 10.237s 5 27 true 7.819s 4 9 true 8.951s 5 20 true 9.555s 4 12 true 9.852s 5 15 true 8.655s 4 19 true 10.227s 5 27 true 9.185s 5 20 true 9.564s 4 22 true 9.473s 5 23 true 7.680s 4 9
bitvector/s3_srvr_2_alt_true-unreach-call.BV.c.cil.c true 8.755s 3 0 true 7.649s 3 6 true 8.233s 3 13 true 7.826s 3 13 true 7.495s 3 6 true 8.372s 3 13 true 7.409s 3 6 true 7.481s 3 6 true 8.214s 3 13 true 8.133s 3 13 true 8.422s 3 13 true 10.386s 3 6 true 7.130s 3 6 true 9.400s 4 14
bitvector/s3_srvr_2_true-unreach-call.BV.c.cil.c true 8.697s 3 0 true 7.663s 3 6 true 8.072s 3 13 true 8.147s 3 13 true 7.766s 3 6 true 8.640s 3 13 true 7.290s 3 6 true 7.449s 3 6 true 8.221s 3 13 true 8.442s 3 13 true 8.468s 3 13 true 7.638s 3 6 true 8.211s 3 13 true 7.271s 3 6
bitvector/s3_srvr_3_alt_true-unreach-call.BV.c.cil.c true 9.034s 4 0 true 7.649s 4 9 true 9.090s 4 22 true 10.634s 5 27 true 7.279s 4 9 true 15.417s 5 20 true 9.019s 4 12 true 9.551s 5 15 true 8.525s 4 19 true 10.729s 5 27 true 9.642s 5 20 true 7.070s 4 9 true 9.154s 5 20 true 7.566s 4 9
bitvector/s3_srvr_3_true-unreach-call.BV.c.cil.c true 8.765s 4 0 true 7.300s 4 9 true 9.064s 4 22 true 9.897s 5 27 true 7.259s 4 9 true 9.098s 5 20 true 8.045s 4 12 true 9.005s 5 15 true 9.163s 4 19 true 15.165s 5 27 true 8.969s 5 20 true 8.532s 4 18 true 8.727s 5 20 true 7.082s 4 9
bitvector/soft_float_1_true-unreach-call.c.cil.c false(reach) 4.330s 5 0 false(reach) 3.826s 4 9 false(reach) 8.068s 6 145 false(reach) 3.727s 4 9 false(reach) 12.240s 6 398 false(reach) 4.195s 4 9 false(reach) 8.303s 6 145 false(reach) 4.121s 4 9 false(reach) 4.353s 5 15 false(reach) 4.048s 4 9 false(reach) 4.074s 4 9 false(reach) 4.108s 4 13 false(reach) 3.953s 4 11 false(reach) 4.044s 4 9
bitvector/soft_float_2_true-unreach-call.c.cil.c false(reach) 5.603s 6 0 false(reach) 5.350s 4 17 false(reach) 11.564s 5 288 false(reach) 5.349s 4 19 false(reach) 17.286s 6 1055 false(reach) 5.515s 5 20 false(reach) 11.173s 5 280 false(reach) 5.089s 4 17 false(reach) 5.381s 5 31 false(reach) 5.052s 4 19 false(reach) 5.472s 5 20 false(reach) 4.893s 4 17 false(reach) 10.632s 5 280 false(reach) 5.745s 5 20
bitvector/soft_float_3_true-unreach-call.c.cil.c false(reach) 5.367s 6 0 false(reach) 5.889s 5 19 false(reach) 9.898s 5 288 false(reach) 5.577s 5 23 false(reach) 17.674s 6 1055 false(reach) 5.566s 5 23 false(reach) 11.649s 6 282 false(reach) 4.995s 4 17 false(reach) 5.633s 5 37 false(reach) 5.921s 5 23 false(reach) 5.728s 5 23 false(reach) 6.225s 5 24 false(reach) 5.885s 5 23 false(reach) 10.570s 5 284
bitvector/soft_float_4_true-unreach-call.c.cil.c false(reach) 4.057s 4 0 false(reach) 3.682s 4 7 false(reach) 7.759s 5 144 false(reach) 3.603s 4 7 false(reach) 12.289s 5 397 false(reach) 3.725s 4 7 false(reach) 7.766s 5 144 false(reach) 4.070s 4 7 false(reach) 4.459s 4 14 false(reach) 3.947s 4 7 false(reach) 3.958s 4 7 false(reach) 3.782s 4 7 false(reach) 8.519s 5 138 false(reach) 3.866s 4 7
bitvector/soft_float_5_true-unreach-call.c.cil.c false(reach) 5.926s 6 0 false(reach) 5.020s 4 17 false(reach) 11.556s 5 288 false(reach) 5.028s 4 19 false(reach) 17.276s 6 1055 false(reach) 6.030s 5 20 false(reach) 11.939s 5 280 false(reach) 5.276s 4 17 false(reach) 5.195s 5 31 false(reach) 4.964s 4 19 false(reach) 5.654s 5 20 false(reach) 5.152s 4 20 false(reach) 5.692s 5 28 false(reach) 5.023s 4 17
bitvector-regression/implicitfloatconversion_false-unreach-call.i false(reach) 3.392s 1 0 false(reach) 3.190s 1 0 false(reach) 3.319s 1 0 false(reach) 3.212s 1 0 false(reach) 3.605s 1 0 false(reach) 3.286s 1 0 false(reach) 5.150s 1 0 false(reach) 3.347s 1 0 false(reach) 3.814s 1 0 false(reach) 3.416s 1 0 false(reach) 3.384s 1 0 false(reach) 3.331s 1 0 false(reach) 3.342s 1 0 false(reach) 3.192s 1 0
bitvector-regression/implicitunsignedconversion_false-unreach-call.i false(reach) 3.639s 1 0 false(reach) 3.284s 1 0 false(reach) 3.230s 1 0 false(reach) 3.388s 1 0 false(reach) 3.154s 1 0 false(reach) 3.406s 1 0 false(reach) 3.429s 1 0 false(reach) 3.274s 1 0 false(reach) 3.267s 1 0 false(reach) 3.250s 1 0 false(reach) 3.256s 1 0 false(reach) 3.296s 1 0 false(reach) 3.278s 1 0 false(reach) 3.392s 1 0
bitvector-regression/integerpromotion_false-unreach-call.i false(reach) 3.866s 1 0 false(reach) 4.125s 1 0 false(reach) 3.621s 1 0 false(reach) 3.786s 1 0 false(reach) 3.464s 1 0 false(reach) 4.073s 1 0 false(reach) 3.745s 1 0 false(reach) 4.122s 1 0 false(reach) 3.876s 1 0 false(reach) 3.798s 1 0 false(reach) 3.692s 1 0 false(reach) 3.681s 1 0 false(reach) 3.853s 1 0 false(reach) 3.746s 1 0
bitvector-regression/signextension2_false-unreach-call.i false(reach) 3.749s 1 0 false(reach) 3.933s 1 0 false(reach) 4.304s 1 0 false(reach) 3.582s 1 0 false(reach) 3.590s 1 0 false(reach) 3.458s 1 0 false(reach) 3.499s 1 0 false(reach) 3.849s 1 0 false(reach) 3.742s 1 0 false(reach) 3.711s 1 0 false(reach) 3.485s 1 0 false(reach) 7.270s 1 0 false(reach) 3.691s 1 0 false(reach) 3.619s 1 0
bitvector-regression/signextension_false-unreach-call.i false(reach) 3.613s 1 0 false(reach) 3.591s 1 0 false(reach) 3.989s 1 0 false(reach) 3.628s 1 0 false(reach) 3.887s 1 0 false(reach) 3.928s 1 0 false(reach) 3.726s 1 0 false(reach) 4.084s 1 0 false(reach) 3.686s 1 0 false(reach) 3.791s 1 0 false(reach) 3.918s 1 0 false(reach) 3.617s 1 0 false(reach) 3.699s 1 0 false(reach) 3.874s 1 0
bitvector-regression/implicitunsignedconversion_true-unreach-call.i true 3.434s 1 0 true 3.168s 1 1 true 3.571s 1 1 true 3.458s 1 1 true 3.424s 1 1 true 3.408s 1 1 true 3.319s 1 1 true 3.332s 1 1 true 3.355s 1 1 true 3.287s 1 1 true 3.429s 1 1 true 3.460s 1 1 true 3.628s 1 1 true 3.434s 1 1
bitvector-regression/integerpromotion_true-unreach-call.i true 6.144s 1 0 true 3.822s 1 1 true 3.704s 1 1 true 3.610s 1 1 true 3.586s 1 1 true 3.794s 1 1 true 3.874s 1 1 true 3.912s 1 1 true 3.851s 1 1 true 3.896s 1 1 true 3.726s 1 1 true 3.618s 1 1 true 4.069s 1 1 true 3.615s 1 1
bitvector-regression/signextension2_true-unreach-call.i true 3.815s 4 0 true 4.022s 4 4 true 3.845s 4 4 true 3.940s 4 4 true 4.105s 4 4 true 3.885s 4 4 true 3.739s 4 4 true 3.941s 4 4 true 3.641s 4 4 true 3.938s 4 4 true 3.932s 4 4 true 4.213s 4 4 true 3.883s 4 4 true 4.002s 4 4
bitvector-regression/signextension_true-unreach-call.i true 3.919s 4 0 true 4.018s 4 4 true 4.145s 4 4 true 3.812s 4 4 true 3.772s 4 4 true 4.040s 4 4 true 3.839s 4 4 true 4.041s 4 4 true 4.086s 4 4 true 3.873s 4 4 true 3.934s 4 4 true 3.898s 4 4 true 3.706s 4 4 true 4.186s 4 4
bitvector-loops/diamond_false-unreach-call2.i false(reach) 3.814s 2 0 false(reach) 3.642s 2 1 false(reach) 3.757s 2 1 false(reach) 3.531s 2 1 false(reach) 3.698s 2 1 false(reach) 3.540s 2 1 false(reach) 4.035s 2 1 false(reach) 3.688s 2 1 false(reach) 3.728s 2 1 false(reach) 3.550s 2 1 false(reach) 3.638s 2 1 false(reach) 3.760s 2 1 false(reach) 3.490s 2 1 false(reach) 3.921s 2 1
bitvector-loops/overflow_false-unreach-call1.i timeout 901.592s 1 0 timeout 901.676s 1 1 timeout 901.695s 1 1 timeout 901.630s 1 1 timeout 901.648s 1 1 timeout 901.621s 1 1 timeout 901.705s 1 1 timeout 901.592s 1 1 timeout 901.524s 1 1 timeout 901.605s 1 1 timeout 901.539s 1 1 timeout 901.513s 1 1 timeout 901.514s 1 1 timeout 901.600s 1 1
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-termination.cil.c false(reach) 12.843s 14 0 false(reach) 12.705s 14 20 false(reach) 13.117s 16 23 false(reach) 12.048s 15 22 false(reach) 11.738s 14 21 false(reach) 12.982s 14 20 false(reach) 12.926s 16 23 false(reach) 12.619s 15 21 false(reach) 12.354s 14 20 false(reach) 12.472s 15 22 false(reach) 12.690s 14 20 false(reach) 24.396s 15 20 false(reach) 12.598s 14 21 false(reach) 11.819s 15 23
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-termination.cil.c false(reach) 13.936s 23 0 false(reach) 13.564s 22 36 false(reach) 14.026s 24 35 false(reach) 14.334s 23 35 false(reach) 14.197s 20 40 false(reach) 12.593s 21 36 false(reach) 15.286s 22 38 false(reach) 12.705s 21 33 false(reach) 13.202s 21 36 false(reach) 14.231s 23 35 false(reach) 13.245s 21 36 false(reach) 12.868s 21 36 false(reach) 13.698s 21 35 false(reach) 14.009s 22 35
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-termination.cil.c false(reach) 17.082s 30 0 false(reach) 15.227s 29 47 false(reach) 15.718s 30 43 false(reach) 15.353s 29 43 false(reach) 15.849s 27 53 false(reach) 15.311s 28 49 false(reach) 17.174s 28 46 false(reach) 16.720s 27 40 false(reach) 15.499s 28 49 false(reach) 16.732s 29 43 false(reach) 14.926s 28 49 false(reach) 16.447s 28 40 false(reach) 15.172s 28 42 false(reach) 16.307s 30 49
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-termination.cil.c false(reach) 11.061s 16 0 false(reach) 10.761s 16 25 false(reach) 11.994s 18 28 false(reach) 11.733s 18 29 false(reach) 10.354s 15 24 false(reach) 10.561s 16 25 false(reach) 11.439s 17 26 false(reach) 10.501s 15 23 false(reach) 10.261s 16 25 false(reach) 11.541s 18 29 false(reach) 10.624s 16 25 false(reach) 10.740s 15 23 false(reach) 11.404s 16 25 false(reach) 11.642s 17 27
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-termination.cil.c true 20.651s 38 0 true 20.234s 39 52 true 23.460s 38 53 true 22.842s 41 59 true 21.688s 38 54 true 29.862s 39 56 true 22.589s 39 52 true 21.448s 39 51 true 21.594s 37 54 true 21.376s 41 61 true 21.827s 39 56 true 21.968s 39 56 true 20.811s 39 54 true 23.809s 39 55
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-termination.cil.c true 16.270s 31 0 true 18.072s 29 45 true 18.606s 30 50 true 17.160s 30 46 true 18.175s 28 60 true 24.720s 28 46 true 17.615s 29 62 true 17.730s 29 45 true 22.675s 28 46 true 20.004s 29 45 true 19.255s 28 46 true 18.036s 31 51 true 21.064s 29 51 true 21.831s 27 44
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-termination.cil.c true 13.978s 22 0 true 12.362s 21 36 true 13.025s 23 35 true 13.909s 22 35 true 13.347s 19 40 true 12.574s 20 36 true 13.187s 21 38 true 14.018s 20 33 true 12.520s 20 36 true 13.023s 22 35 true 12.920s 20 36 true 13.761s 22 35 true 14.476s 22 38 true 14.450s 22 34
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-termination.cil.c true 14.994s 29 0 true 15.147s 28 47 true 17.047s 30 44 true 15.736s 29 44 true 15.385s 26 53 true 16.675s 27 49 true 16.144s 28 47 true 15.669s 27 41 true 16.530s 27 49 true 15.477s 29 44 true 15.268s 27 49 true 16.050s 27 47 true 18.328s 28 44 true 15.234s 29 46
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-termination.cil.c true 7.338s 10 0 true 6.749s 10 15 true 7.286s 10 34 true 8.706s 13 23 true 12.861s 10 15 true 7.512s 12 20 true 8.003s 11 30 true 6.781s 9 14 true 7.161s 12 20 true 8.015s 13 23 true 6.866s 12 20 true 7.419s 12 21 true 7.310s 11 21 true 7.110s 11 17
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-termination.cil.c true 9.609s 10 0 true 8.260s 11 18 true 9.984s 12 19 true 10.004s 13 22 true 9.006s 11 18 true 8.922s 12 19 true 9.785s 12 19 true 9.499s 11 18 true 9.229s 12 19 true 9.670s 13 22 true 8.756s 12 19 true 8.975s 12 20 true 9.091s 12 19 true 8.440s 10 16
ssh-simplified/s3_clnt_1_false-unreach-call.cil.c false(reach) 6.376s 4 0 false(reach) 5.251s 3 5 false(reach) 6.379s 4 14 false(reach) 6.690s 4 14 false(reach) 5.492s 3 5 false(reach) 6.352s 4 14 false(reach) 5.344s 3 5 false(reach) 8.925s 3 5 false(reach) 6.321s 4 14 false(reach) 9.966s 4 14 false(reach) 6.795s 4 14 false(reach) 5.182s 3 5 false(reach) 5.516s 3 5 false(reach) 5.375s 3 5
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c false(reach) 6.648s 4 0 false(reach) 5.360s 3 5 false(reach) 6.495s 4 14 false(reach) 6.552s 4 14 false(reach) 5.703s 3 5 false(reach) 6.500s 4 14 false(reach) 5.590s 3 5 false(reach) 5.280s 3 5 false(reach) 6.613s 4 14 false(reach) 6.683s 4 14 false(reach) 6.815s 4 14 false(reach) 5.448s 3 5 false(reach) 6.575s 4 14 false(reach) 6.400s 4 14
ssh-simplified/s3_clnt_3_false-unreach-call.cil.c false(reach) 6.932s 4 0 false(reach) 5.996s 3 5 false(reach) 8.804s 4 14 false(reach) 6.456s 4 14 false(reach) 5.751s 3 5 false(reach) 6.397s 4 14 false(reach) 5.397s 3 5 false(reach) 5.645s 3 5 false(reach) 6.579s 4 14 false(reach) 6.691s 4 14 false(reach) 6.421s 4 14 false(reach) 6.578s 4 14 false(reach) 5.429s 3 5 false(reach) 5.600s 3 5
ssh-simplified/s3_clnt_4_false-unreach-call.cil.c false(reach) 6.701s 4 0 false(reach) 5.875s 3 5 false(reach) 6.613s 4 14 false(reach) 7.005s 4 14 false(reach) 5.810s 3 5 false(reach) 6.705s 4 14 false(reach) 5.523s 3 5 false(reach) 5.373s 3 5 false(reach) 6.427s 4 14 false(reach) 6.454s 4 14 false(reach) 6.608s 4 14 false(reach) 5.607s 3 5 false(reach) 6.324s 4 14 false(reach) 5.676s 3 5
ssh-simplified/s3_srvr_10_false-unreach-call.cil.c false(reach) 10.436s 7 0 false(reach) 11.806s 10 52 false(reach) 20.082s 9 75 false(reach) 17.013s 11 78 false(reach) 12.230s 10 56 false(reach) 12.424s 11 74 false(reach) 17.864s 9 72 false(reach) 12.589s 11 60 false(reach) 11.540s 7 55 false(reach) 14.368s 11 103 false(reach) 13.102s 11 74 false(reach) 11.714s 9 60 false(reach) 11.839s 8 47 false(reach) 9.747s 8 27
ssh-simplified/s3_srvr_11_false-unreach-call.cil.c false(reach) 10.062s 6 0 false(reach) 9.296s 5 7 false(reach) 10.105s 6 19 false(reach) 9.773s 6 19 false(reach) 17.783s 5 7 false(reach) 9.732s 6 19 false(reach) 9.600s 5 7 false(reach) 9.368s 5 7 false(reach) 10.212s 6 19 false(reach) 10.062s 6 19 false(reach) 9.556s 6 19 false(reach) 10.439s 6 19 false(reach) 10.392s 6 17 false(reach) 9.757s 5 7
ssh-simplified/s3_srvr_12_false-unreach-call.cil.c false(reach) 17.764s 7 0 false(reach) 13.873s 7 27 false(reach) 17.066s 7 66 false(reach) 17.804s 8 69 false(reach) 11.402s 7 15 false(reach) 18.226s 8 68 false(reach) 14.478s 7 29 false(reach) 14.741s 7 27 false(reach) 16.605s 8 67 false(reach) 17.908s 8 69 false(reach) 16.897s 8 68 false(reach) 11.549s 7 15 false(reach) 15.985s 7 27 false(reach) 11.775s 7 15
ssh-simplified/s3_srvr_13_false-unreach-call.cil.c false(reach) 11.938s 7 0 false(reach) 11.950s 7 14 false(reach) 11.598s 7 28 false(reach) 12.188s 8 29 false(reach) 11.034s 7 14 false(reach) 11.608s 8 27 false(reach) 11.287s 6 13 false(reach) 11.626s 7 14 false(reach) 11.490s 7 28 false(reach) 11.652s 8 29 false(reach) 12.084s 8 27 false(reach) 11.242s 8 28 false(reach) 11.511s 6 13 false(reach) 11.074s 7 27
ssh-simplified/s3_srvr_14_false-unreach-call.cil.c false(reach) 11.379s 10 0 false(reach) 13.367s 10 67 false(reach) 13.229s 10 99 false(reach) 16.591s 12 114 false(reach) 12.867s 10 54 false(reach) 13.591s 11 102 false(reach) 12.349s 10 79 false(reach) 12.929s 11 76 false(reach) 12.667s 11 81 false(reach) 15.349s 12 144 false(reach) 13.042s 11 102 false(reach) 13.045s 10 67 false(reach) 11.715s 10 55 false(reach) 11.050s 10 32
ssh-simplified/s3_srvr_1_false-unreach-call.cil.c false(reach) 6.566s 4 0 false(reach) 4.963s 3 5 false(reach) 6.107s 4 13 false(reach) 5.928s 4 13 false(reach) 4.985s 3 5 false(reach) 6.346s 4 13 false(reach) 4.988s 3 5 false(reach) 5.265s 3 5 false(reach) 6.199s 4 13 false(reach) 6.184s 4 13 false(reach) 6.184s 4 13 false(reach) 5.268s 3 5 false(reach) 4.939s 3 5 false(reach) 5.586s 3 11
ssh-simplified/s3_srvr_2_false-unreach-call.cil.c false(reach) 5.942s 4 0 false(reach) 5.051s 3 5 false(reach) 6.067s 4 13 false(reach) 9.299s 4 13 false(reach) 5.014s 3 5 false(reach) 6.458s 4 13 false(reach) 4.991s 3 5 false(reach) 5.004s 3 5 false(reach) 6.197s 4 13 false(reach) 6.142s 4 13 false(reach) 6.180s 4 13 false(reach) 5.096s 3 5 false(reach) 5.282s 3 5 false(reach) 4.886s 3 5
ssh-simplified/s3_srvr_6_false-unreach-call.cil.c false(reach) 4.537s 2 0 false(reach) 4.485s 2 1 false(reach) 4.540s 2 1 false(reach) 4.493s 2 1 false(reach) 5.950s 2 1 false(reach) 8.007s 2 1 false(reach) 4.769s 2 1 false(reach) 4.377s 2 1 false(reach) 4.288s 2 1 false(reach) 4.670s 2 1 false(reach) 4.530s 2 1 false(reach) 4.725s 2 1 false(reach) 4.781s 2 1 false(reach) 4.453s 2 1
ssh-simplified/s3_clnt_1_true-unreach-call.cil.c true 8.127s 3 0 true 8.795s 4 8 true 7.838s 3 17 true 9.557s 5 21 true 6.662s 3 7 true 8.693s 4 19 true 8.404s 4 8 true 8.958s 4 8 true 7.560s 3 17 true 8.899s 4 20 true 9.168s 4 19 true 10.004s 5 21 true 8.918s 4 16 true 7.054s 3 7
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c true 8.568s 3 0 true 8.490s 4 8 true 7.853s 3 17 true 9.644s 4 20 true 7.268s 3 7 true 8.316s 3 17 true 8.654s 4 8 true 9.072s 4 8 true 8.350s 3 17 true 9.211s 4 20 true 8.341s 3 17 true 10.052s 5 20 true 8.863s 4 8 true 9.350s 4 8
ssh-simplified/s3_clnt_3_true-unreach-call.cil.c true 8.675s 3 0 true 9.333s 4 8 true 8.010s 3 16 true 9.567s 4 19 true 7.587s 3 7 true 8.026s 3 16 true 8.692s 4 8 true 8.808s 4 8 true 15.598s 3 16 true 8.992s 4 19 true 8.555s 3 16 true 8.834s 4 8 true 8.229s 3 16 true 7.716s 3 16
ssh-simplified/s3_clnt_4_true-unreach-call.cil.c true 8.420s 3 0 true 11.228s 4 8 true 7.935s 3 17 true 8.772s 4 20 true 6.838s 3 7 true 7.468s 3 17 true 8.613s 4 8 true 9.471s 4 8 true 8.322s 3 17 true 9.634s 4 20 true 7.835s 3 17 true 8.570s 4 8 true 8.728s 4 8 true 9.537s 5 20
ssh-simplified/s3_srvr_1_true-unreach-call.cil.c true 9.755s 4 0 true 7.787s 4 12 true 8.765s 4 24 true 10.248s 5 33 true 8.083s 4 12 true 9.334s 5 27 true 8.747s 4 15 true 10.497s 5 19 true 8.588s 4 24 true 10.883s 5 33 true 9.445s 5 27 true 9.372s 4 27 true 7.670s 4 12 true 8.684s 4 15
ssh-simplified/s3_srvr_1a_true-unreach-call.cil.c true 4.786s 3 0 true 4.459s 3 8 true 4.886s 3 14 true 4.638s 3 8 true 4.458s 3 8 true 4.840s 3 8 true 5.097s 3 15 true 4.692s 3 8 true 4.394s 3 8 true 4.486s 3 8 true 4.729s 3 8 true 4.628s 3 14 true 4.363s 3 8 true 4.359s 3 8
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c true 3.673s 3 0 true 3.797s 3 8 true 4.135s 3 10 true 3.794s 3 8 true 3.780s 3 8 true 3.872s 3 8 true 3.817s 3 10 true 3.872s 3 8 true 3.487s 3 8 true 3.624s 3 8 true 3.629s 3 8 true 3.743s 3 8 true 3.726s 3 8 true 3.923s 3 8
ssh-simplified/s3_srvr_2_true-unreach-call.cil.c true 9.104s 3 0 true 6.911s 3 6 true 7.387s 3 15 true 13.523s 3 15 true 6.473s 3 6 true 7.959s 3 15 true 6.743s 3 6 true 6.455s 3 6 true 7.664s 3 15 true 7.417s 3 15 true 7.546s 3 15 true 7.053s 3 13 true 6.414s 3 6 true 6.590s 3 6
ssh-simplified/s3_srvr_3_true-unreach-call.cil.c true 9.446s 4 0 true 7.504s 4 9 true 9.181s 4 22 true 10.329s 5 27 true 7.375s 4 9 true 13.639s 4 19 true 8.257s 4 12 true 9.456s 5 15 true 8.998s 4 19 true 10.159s 5 27 true 8.675s 4 19 true 8.387s 4 12 true 7.660s 4 15 true 7.315s 4 9
ssh-simplified/s3_srvr_4_true-unreach-call.cil.c true 9.141s 4 0 true 6.779s 4 8 true 8.581s 4 19 true 9.224s 4 19 true 7.144s 4 8 true 8.696s 4 19 true 7.274s 4 8 true 11.983s 4 8 true 8.470s 4 19 true 9.081s 4 19 true 8.934s 4 19 true 8.697s 5 19 true 7.555s 4 8 true 6.960s 4 8
ssh-simplified/s3_srvr_6_true-unreach-call.cil.c true 14.705s 4 0 true 12.001s 4 25 true 14.590s 4 62 true 15.545s 4 64 true 11.019s 4 13 true 15.523s 5 66 true 13.464s 4 27 true 12.726s 4 25 true 14.607s 4 62 true 15.215s 4 64 true 15.273s 5 66 true 13.613s 4 62 true 12.188s 4 25 true 15.975s 4 62
ssh-simplified/s3_srvr_7_true-unreach-call.cil.c true 10.050s 4 0 true 8.949s 4 11 true 10.373s 4 23 true 10.290s 4 23 true 9.305s 4 11 true 11.137s 4 23 true 8.654s 4 11 true 9.110s 4 11 true 10.824s 4 23 true 10.478s 4 23 true 10.429s 4 23 true 10.136s 5 13 true 10.114s 5 25 true 9.862s 5 24
ssh-simplified/s3_srvr_8_true-unreach-call.cil.c true 12.048s 4 0 true 8.866s 4 17 true 10.449s 4 37 true 12.059s 5 48 true 7.506s 4 11 true 10.218s 4 37 true 9.239s 4 21 true 10.600s 5 26 true 10.223s 4 37 true 11.261s 5 48 true 9.961s 4 37 true 10.774s 5 39 true 8.563s 4 17 true 10.094s 4 37
locks/test_locks_14_false-unreach-call.c false(reach) 4.190s 1 0 false(reach) 3.513s 1 0 false(reach) 3.639s 1 0 false(reach) 3.669s 1 0 false(reach) 3.640s 1 0 false(reach) 3.792s 1 0 false(reach) 3.438s 1 0 false(reach) 3.800s 1 0 false(reach) 3.430s 1 0 false(reach) 3.520s 1 0 false(reach) 3.623s 1 0 false(reach) 3.366s 1 0 false(reach) 3.739s 1 0 false(reach) 3.369s 1 0
locks/test_locks_15_false-unreach-call.c false(reach) 3.704s 1 0 false(reach) 3.946s 1 0 false(reach) 3.485s 1 0 false(reach) 3.539s 1 0 false(reach) 3.684s 1 0 false(reach) 3.397s 1 0 false(reach) 3.484s 1 0 false(reach) 4.236s 1 0 false(reach) 3.577s 1 0 false(reach) 3.561s 1 0 false(reach) 3.585s 1 0 false(reach) 3.848s 1 0 false(reach) 3.643s 1 0 false(reach) 3.522s 1 0
locks/test_locks_10_true-unreach-call.c true 37.855s 20 0 true 38.487s 20 20 true 40.318s 20 20 true 43.005s 20 20 true 39.916s 20 20 true 38.362s 20 20 true 39.137s 20 20 true 37.632s 20 20 true 43.268s 20 20 true 38.186s 20 20 true 39.083s 20 20 true 38.989s 20 20 true 39.139s 20 20 true 38.033s 20 20
locks/test_locks_11_true-unreach-call_false-termination.c true 119.579s 22 0 true 122.050s 22 22 true 120.673s 22 22 true 123.527s 22 22 true 123.644s 22 22 true 124.180s 22 22 true 122.599s 22 22 true 126.216s 22 22 true 123.839s 22 22 true 123.248s 22 22 true 122.138s 22 22 true 124.224s 22 22 true 120.331s 22 22 true 123.491s 22 22
locks/test_locks_12_true-unreach-call_false-termination.c true 522.017s 24 0 true 546.557s 24 24 true 595.246s 24 24 true 484.982s 24 24 true 484.389s 24 24 true 489.787s 24 24 true 493.364s 24 24 true 494.249s 24 24 true 509.081s 24 24 true 496.912s 24 24 true 521.346s 24 24 true 524.762s 24 24 true 497.402s 24 24 true 494.179s 24 24
locks/test_locks_13_true-unreach-call.c timeout 901.648s 25 0 timeout 901.858s 25 25 timeout 901.655s 25 25 timeout 901.380s 25 25 timeout 901.758s 25 25 timeout 901.869s 25 25 timeout 901.424s 25 25 timeout 901.705s 25 25 timeout 901.856s 25 25 timeout 901.855s 25 25 timeout 901.308s 25 25 timeout 901.504s 25 25 timeout 901.873s 25 25 timeout 901.694s 25 25
locks/test_locks_14_true-unreach-call.c timeout 901.252s 25 0 timeout 901.290s 25 25 timeout 901.278s 25 25 timeout 901.617s 25 25 timeout 901.515s 25 25 timeout 901.352s 25 25 timeout 901.559s 25 25 timeout 902.915s 24 24 timeout 901.645s 25 25 timeout 901.626s 25 25 timeout 901.960s 24 24 timeout 901.652s 25 25 timeout 901.593s 25 25 timeout 901.613s 25 25
locks/test_locks_15_true-unreach-call_false-termination.c timeout 901.577s 25 0 timeout 901.490s 25 25 timeout 901.473s 25 25 timeout 901.487s 25 25 timeout 901.479s 25 25 timeout 901.194s 25 25 timeout 901.540s 25 25 timeout 901.640s 25 25 timeout 901.438s 25 25 timeout 901.563s 25 25 timeout 901.498s 25 25 timeout 901.444s 25 25 timeout 901.786s 24 24 timeout 901.083s 25 25
locks/test_locks_5_true-unreach-call_false-termination.c true 5.709s 10 0 true 5.940s 10 10 true 5.723s 10 10 true 5.629s 10 10 true 5.822s 10 10 true 5.614s 10 10 true 5.545s 10 10 true 5.623s 10 10 true 5.623s 10 10 true 6.016s 10 10 true 5.552s 10 10 true 5.767s 10 10 true 5.903s 10 10 true 5.802s 10 10
locks/test_locks_6_true-unreach-call_false-termination.c true 6.594s 12 0 true 7.329s 12 12 true 7.115s 12 12 true 6.872s 12 12 true 7.235s 12 12 true 7.186s 12 12 true 6.914s 12 12 true 7.181s 12 12 true 7.328s 12 12 true 7.158s 12 12 true 7.256s 12 12 true 7.462s 12 12 true 7.260s 12 12 true 7.436s 12 12
locks/test_locks_7_true-unreach-call_false-termination.c true 9.529s 14 0 true 9.150s 14 14 true 13.980s 14 14 true 10.404s 14 14 true 9.117s 14 14 true 9.494s 14 14 true 9.658s 14 14 true 9.092s 14 14 true 9.058s 14 14 true 9.437s 14 14 true 9.527s 14 14 true 9.363s 14 14 true 8.917s 14 14 true 9.325s 14 14
locks/test_locks_8_true-unreach-call_false-termination.c true 11.259s 16 0 true 12.069s 16 16 true 11.501s 16 16 true 11.801s 16 16 true 11.519s 16 16 true 11.832s 16 16 true 11.607s 16 16 true 11.520s 16 16 true 11.568s 16 16 true 12.870s 16 16 true 11.235s 16 16 true 11.714s 16 16 true 11.948s 16 16 true 11.233s 16 16
locks/test_locks_9_true-unreach-call.c true 17.737s 18 0 true 18.977s 18 18 true 19.070s 18 18 true 18.536s 18 18 true 18.027s 18 18 true 17.134s 18 18 true 17.291s 18 18 true 23.906s 18 18 true 18.458s 18 18 true 18.444s 18 18 true 18.948s 18 18 true 18.190s 18 18 true 17.862s 18 18 true 18.112s 18 18
ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko_false-unreach-call.cil.out.i.pp.i timeout 902.095s 4 0 timeout 902.135s 4 5 timeout 902.277s 4 5 timeout 902.084s 4 5 timeout 902.045s 4 5 timeout 902.271s 4 5 timeout 902.258s 4 5 timeout 902.076s 4 5 timeout 902.036s 4 5 timeout 901.983s 4 5 timeout 902.131s 4 5 timeout 902.188s 4 5 timeout 902.123s 4 5 timeout 902.088s 4 5
ldv-linux-3.0/module_get_put-drivers-block-loop.ko_false-unreach-call.cil.out.i.pp.i timeout 902.276s 3 0 timeout 902.148s 1 5 timeout 902.598s 4 12 timeout 902.139s 2 7 timeout 902.246s 1 5 timeout 902.183s 1 5 timeout 902.147s 3 8 timeout 902.468s 3 10 timeout 902.393s 2 9 timeout 902.325s 2 7 timeout 902.480s 3 11 timeout 902.156s 3 10 timeout 902.046s 2 7 timeout 902.124s 3 11
ldv-linux-3.0/module_get_put-drivers-block-pktcdvd.ko_false-unreach-call.cil.out.i.pp.i false(reach) 16.231s 9 0 false(reach) 14.646s 9 22 false(reach) 15.497s 9 18 false(reach) 15.678s 9 18 false(reach) 14.819s 9 17 false(reach) 14.905s 9 14 false(reach) 13.932s 9 26 false(reach) 14.861s 9 22 false(reach) 15.509s 9 14 false(reach) 22.161s 9 18 false(reach) 15.060s 9 18 false(reach) 14.206s 9 15 false(reach) 16.070s 9 20 false(reach) 15.435s 9 16
ldv-linux-3.0/module_get_put-drivers-isdn-gigaset-gigaset.ko_false-unreach-call.cil.out.i.pp.i timeout 930.450s - - timeout 910.505s 6 13 timeout 905.563s 5 15 timeout 909.278s 7 17 timeout 905.230s 6 13 timeout 909.344s 6 16 timeout 911.469s 7 14 timeout 906.080s 7 14 timeout 911.222s 6 16 timeout 924.767s 5 15 timeout 908.865s 7 19 timeout 910.912s 7 17 timeout 911.438s 7 16 timeout 912.726s 6 16
ldv-linux-3.0/module_get_put-drivers-isdn-mISDN-mISDN_core.ko_false-unreach-call.cil.out.i.pp.i false(reach) 19.191s 2 0 false(reach) 18.422s 2 2 false(reach) 18.620s 2 2 false(reach) 18.946s 2 2 false(reach) 19.269s 2 2 false(reach) 18.188s 2 2 false(reach) 18.973s 2 2 false(reach) 18.319s 2 2 false(reach) 18.936s 2 2 false(reach) 18.638s 2 2 false(reach) 18.727s 2 2 false(reach) 18.777s 2 2 false(reach) 18.640s 2 2 false(reach) 19.194s 2 2
ldv-linux-3.0/module_get_put-drivers-net-ppp_generic.ko_false-unreach-call.cil.out.i.pp.i false(reach) 16.107s 6 0 false(reach) 16.507s 6 18 false(reach) 15.851s 6 15 false(reach) 16.944s 6 19 false(reach) 13.597s 6 15 false(reach) 17.503s 6 15 false(reach) 15.455s 6 14 false(reach) 15.727s 6 18 false(reach) 15.163s 6 15 false(reach) 16.019s 6 19 false(reach) 15.754s 6 19 false(reach) 14.740s 6 18 false(reach) 16.598s 6 13 false(reach) 15.834s 6 20
ldv-linux-3.0/module_get_put-drivers-net-wan-farsync.ko_false-unreach-call.cil.out.i.pp.i false(reach) 17.845s 6 0 false(reach) 16.652s 6 9 false(reach) 18.202s 6 12 false(reach) 16.575s 6 10 false(reach) 16.477s 6 10 false(reach) 17.190s 6 10 false(reach) 17.382s 6 11 false(reach) 16.106s 6 10 false(reach) 17.256s 6 12 false(reach) 17.081s 6 10 false(reach) 16.704s 6 10 false(reach) 16.978s 6 10 false(reach) 15.615s 6 11 false(reach) 16.386s 6 10
ldv-linux-3.0/module_get_put-drivers-tty-synclink_gt.ko_false-unreach-call.cil.out.i.pp.i timeout 901.411s 6 0 timeout 906.103s 10 1134 timeout 902.409s 7 2086 timeout 918.500s 13 250 timeout 931.963s - - timeout 902.408s 3 6102 timeout 917.042s 11 1174 timeout 914.927s 8 950 timeout 902.384s 7 2086 timeout 914.895s 13 223 timeout 911.020s 13 194 timeout 902.311s 7 2091 timeout 902.876s 7 2079 timeout 931.973s - -
ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko_false-unreach-call.cil.out.i.pp.i timeout 914.484s 0 0 timeout 932.007s - - timeout 931.917s - - timeout 931.981s - - timeout 911.367s 0 0 timeout 931.946s - - timeout 905.907s 0 0 timeout 916.088s 0 0 timeout 932.021s 0 0 timeout 930.929s - - timeout 931.987s - - timeout 931.982s - - timeout 931.999s 0 0 timeout 931.939s - -
ldv-linux-3.0/usb_urb-drivers-hid-usbhid-usbmouse.ko_false-unreach-call.cil.out.i.pp.i false(reach) 8.418s 4 0 false(reach) 7.821s 4 4 false(reach) 7.813s 4 5 false(reach) 7.881s 4 4 false(reach) 8.779s 4 5 false(reach) 13.590s 4 4 false(reach) 7.892s 4 5 false(reach) 7.933s 4 4 false(reach) 7.811s 4 5 false(reach) 7.922s 4 4 false(reach) 7.876s 4 4 false(reach) 8.135s 4 5 false(reach) 7.889s 4 5 false(reach) 8.343s 4 4
ldv-linux-3.0/usb_urb-drivers-input-misc-keyspan_remote.ko_false-unreach-call.cil.out.i.pp.i false(reach) 9.015s 5 0 false(reach) 8.438s 5 6 false(reach) 8.434s 5 8 false(reach) 8.694s 5 6 false(reach) 8.296s 5 8 false(reach) 8.591s 5 6 false(reach) 12.174s 5 8 false(reach) 8.572s 5 6 false(reach) 8.436s 5 8 false(reach) 8.468s 5 6 false(reach) 8.503s 5 6 false(reach) 9.126s 5 8 false(reach) 8.210s 5 6 false(reach) 8.642s 5 8
ldv-linux-3.0/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko_false-unreach-call.cil.out.i.pp.i timeout 901.880s 3 0 timeout 901.853s 7 20 timeout 901.880s 5 12 timeout 901.847s 5 15 timeout 901.893s 4 12 timeout 902.244s 7 21 timeout 902.107s 4 11 timeout 902.192s 4 11 timeout 901.882s 7 19 timeout 901.824s 5 15 timeout 902.132s 7 19 timeout 902.346s 6 16 timeout 902.226s 4 9 timeout 901.746s 5 13
ldv-linux-3.0/usb_urb-drivers-net-can-usb-ems_usb.ko_false-unreach-call.cil.out.i.pp.i false(reach) 9.651s 6 0 false(reach) 9.461s 5 8 false(reach) 9.828s 6 11 false(reach) 9.629s 5 8 false(reach) 9.523s 5 9 false(reach) 9.037s 6 9 false(reach) 9.569s 5 9 false(reach) 9.199s 5 8 false(reach) 9.418s 6 11 false(reach) 9.040s 5 8 false(reach) 10.034s 5 8 false(reach) 9.321s 6 9 false(reach) 9.140s 5 8 false(reach) 9.472s 5 9
ldv-linux-3.0/usb_urb-drivers-net-usb-catc.ko_false-unreach-call.cil.out.i.pp.i false(reach) 12.105s 5 0 false(reach) 11.185s 5 7 false(reach) 12.979s 5 10 false(reach) 11.395s 5 7 false(reach) 12.210s 5 9 false(reach) 11.277s 5 7 false(reach) 13.301s 5 11 false(reach) 11.826s 5 8 false(reach) 11.776s 5 9 false(reach) 11.452s 5 7 false(reach) 11.642s 5 7 false(reach) 11.492s 5 7 false(reach) 11.932s 5 10 false(reach) 11.073s 5 7
ldv-linux-3.0/usb_urb-drivers-staging-lirc-lirc_imon.ko_false-unreach-call.cil.out.i.pp.i timeout 906.323s 10 0 timeout 905.981s 11 26 timeout 903.133s 8 40 timeout 905.464s 11 26 timeout 903.293s 10 43 timeout 904.278s 11 27 timeout 906.152s 10 55 timeout 904.526s 11 41 timeout 904.209s 11 32 timeout 904.110s 11 27 timeout 904.422s 11 27 timeout 904.168s 11 27 timeout 904.462s 10 33 timeout 904.640s 10 44
ldv-linux-3.0/usb_urb-drivers-usb-misc-iowarrior.ko_false-unreach-call.cil.out.i.pp.i false(reach) 9.805s 4 0 false(reach) 9.328s 4 5 false(reach) 9.107s 4 4 false(reach) 8.810s 4 4 false(reach) 9.288s 4 5 false(reach) 9.575s 4 5 false(reach) 9.195s 4 4 false(reach) 9.401s 4 4 false(reach) 9.261s 4 5 false(reach) 9.112s 4 4 false(reach) 9.195s 4 4 false(reach) 9.599s 4 5 false(reach) 9.398s 4 5 false(reach) 9.694s 4 5
ldv-linux-3.0/module_get_put-drivers-atm-eni.ko_true-unreach-call.cil.out.i.pp.i true 24.187s 1 0 true 22.416s 1 1 true 23.381s 1 1 true 23.861s 1 1 true 23.765s 1 1 true 23.926s 1 1 true 24.914s 1 1 true 26.553s 1 1 true 25.361s 1 1 true 23.895s 1 1 true 23.857s 1 1 true 25.410s 1 1 true 23.558s 1 1 true 32.768s 1 1
ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko_true-unreach-call.cil.out.i.pp.i true 67.984s 4 0 true 70.704s 4 10 true 26.574s 1 4 true 28.775s 2 7 true 58.416s 4 10 true 53.861s 4 10 true 26.782s 1 4 true 56.423s 2 7 true 58.356s 4 10 true 27.108s 2 7 true 28.219s 2 7 true 53.578s 2 7 true 44.251s 3 9 true 62.831s 4 10
ldv-linux-3.0/module_get_put-drivers-block-paride-pt.ko_true-unreach-call.cil.out.i.pp.i timeout 921.347s 14 0 timeout 908.565s 12 124 true 16.575s 1 7 true 17.667s 2 14 timeout 906.583s 14 730 timeout 902.539s 15 859 true 16.274s 1 7 true 17.114s 1 7 timeout 902.777s 15 103 true 18.992s 2 14 true 20.403s 2 14 true 17.429s 2 12 timeout 919.252s 2 12 timeout 932.009s - -
ldv-linux-3.0/module_get_put-drivers-bluetooth-btmrvl.ko_true-unreach-call.cil.out.i.pp.i true 11.000s 1 0 true 10.476s 1 1 true 10.401s 1 1 true 10.579s 1 1 true 10.495s 1 1 true 10.745s 1 1 true 10.269s 1 1 true 10.393s 1 1 true 10.566s 1 1 true 10.579s 1 1 true 10.404s 1 1 true 10.911s 1 1 true 11.083s 1 1 true 10.262s 1 1
ldv-linux-3.0/module_get_put-drivers-char-ipmi-ipmi_watchdog.ko_true-unreach-call.cil.out.i.pp.i true 20.158s 6 0 true 19.218s 6 19 true 13.089s 1 5 true 18.176s 6 21 true 16.187s 4 14 true 20.580s 6 19 true 13.506s 1 5 true 13.476s 1 5 true 27.995s 6 23 true 18.426s 6 21 true 19.911s 6 19 true 17.753s 6 22 true 16.064s 3 12 true 16.515s 3 15
ldv-linux-3.0/module_get_put-drivers-gpu-drm-i915-i915.ko_true-unreach-call.cil.out.i.pp.i true 29.858s 1 0 true 31.616s 1 1 true 29.979s 1 1 true 31.722s 1 1 true 29.616s 1 1 true 32.535s 1 1 true 32.102s 1 1 true 43.551s 1 1 true 30.037s 1 1 true 31.429s 1 1 true 31.148s 1 1 true 31.643s 1 1 true 29.973s 1 1 true 31.137s 1 1
ldv-linux-3.0/module_get_put-drivers-hid-hid-magicmouse.ko_true-unreach-call.cil.out.i.pp.i true 6.348s 1 0 true 6.436s 1 1 true 6.415s 1 1 true 6.461s 1 1 true 6.305s 1 1 true 6.688s 1 1 true 6.464s 1 1 true 6.637s 1 1 true 6.571s 1 1 true 6.482s 1 1 true 6.559s 1 1 true 6.554s 1 1 true 6.757s 1 1 true 6.572s 1 1
ldv-linux-3.0/module_get_put-drivers-hwmon-it87.ko_true-unreach-call.cil.out.i.pp.i true 12.363s 2 0 true 17.666s 3 6 true 10.520s 1 3 true 11.378s 2 5 true 14.877s 3 7 true 13.424s 3 7 true 9.884s 1 3 true 11.450s 2 5 true 12.985s 3 7 true 11.229s 2 5 true 13.823s 3 7 true 12.749s 3 6 true 11.863s 2 6 true 9.795s 1 3
ldv-linux-3.0/module_get_put-drivers-net-atl1c-atl1c.ko_true-unreach-call.cil.out.i.pp.i true 15.083s 1 0 true 16.161s 1 1 true 15.319s 1 1 true 15.553s 1 1 true 15.539s 1 1 true 15.458s 1 1 true 16.023s 1 1 true 15.528s 1 1 true 15.029s 1 1 true 14.927s 1 1 true 15.349s 1 1 true 15.175s 1 1 true 15.673s 1 1 true 15.069s 1 1
ldv-linux-3.0/module_get_put-drivers-net-pppox.ko_true-unreach-call.cil.out.i.pp.i timeout 901.868s 2 0 timeout 901.904s 2 2 timeout 901.764s 2 2 timeout 901.950s 2 2 timeout 901.969s 2 2 timeout 902.134s 2 2 timeout 901.748s 2 2 timeout 902.197s 2 2 timeout 902.234s 2 2 timeout 901.868s 2 2 timeout 901.822s 2 2 timeout 902.191s 2 2 timeout 901.716s 2 2 timeout 901.750s 2 2
ldv-linux-3.0/module_get_put-drivers-net-sis900.ko_true-unreach-call.cil.out.i.pp.i true 16.201s 1 0 true 16.850s 1 1 true 17.498s 1 1 true 16.939s 1 1 true 17.558s 1 1 true 18.216s 1 1 true 17.419s 1 1 true 15.647s 1 1 true 17.559s 1 1 true 17.055s 1 1 true 16.934s 1 1 true 16.458s 1 1 true 17.826s 1 1 true 17.950s 1 1
ldv-linux-3.0/module_get_put-drivers-scsi-megaraid.ko_true-unreach-call.cil.out.i.pp.i true 27.794s 1 0 true 28.572s 1 1 true 26.022s 1 1 true 26.732s 1 1 true 30.667s 1 1 true 30.508s 1 1 true 26.181s 1 1 true 29.991s 1 1 true 29.190s 1 1 true 30.862s 1 1 true 29.053s 1 1 true 27.310s 1 1 true 28.011s 1 1 true 27.825s 1 1
ldv-linux-3.0/module_get_put-drivers-staging-et131x-et131x.ko_true-unreach-call.cil.out.i.pp.i true 18.469s 1 0 true 20.416s 1 1 true 21.497s 1 1 true 19.980s 1 1 true 20.009s 1 1 true 20.231s 1 1 true 32.313s 1 1 true 20.180s 1 1 true 19.604s 1 1 true 20.738s 1 1 true 20.826s 1 1 true 20.533s 1 1 true 21.011s 1 1 true 20.824s 1 1
ldv-linux-3.0/module_get_put-drivers-video-aty-aty128fb.ko_true-unreach-call.cil.out.i.pp.i true 21.737s 1 0 true 39.424s 1 1 true 23.171s 1 1 true 24.215s 1 1 true 21.152s 1 1 true 21.504s 1 1 true 21.963s 1 1 true 22.456s 1 1 true 24.636s 1 1 true 42.801s 1 1 true 22.361s 1 1 true 24.990s 1 1 true 22.249s 1 1 true 26.994s 1 1
ldv-linux-3.0/usb_urb-drivers-input-tablet-kbtab.ko_true-unreach-call.cil.out.i.pp.i false(reach) 7.553s 4 0 false(reach) 7.088s 4 4 false(reach) 8.716s 4 5 false(reach) 7.283s 4 4 false(reach) 7.356s 4 5 false(reach) 7.203s 4 4 false(reach) 8.071s 4 5 false(reach) 7.591s 4 4 false(reach) 7.276s 4 5 false(reach) 7.263s 4 4 false(reach) 7.642s 4 4 false(reach) 7.774s 4 5 false(reach) 7.945s 4 5 false(reach) 7.382s 4 5
ldv-linux-3.0/usb_urb-drivers-media-video-c-qcam.ko_true-unreach-call.cil.out.i.pp.i true 19.140s 2 0 true 19.157s 2 2 true 22.169s 2 2 true 19.766s 2 2 true 20.774s 2 2 true 20.216s 2 2 true 21.781s 2 2 true 21.845s 2 2 true 21.172s 2 2 true 20.654s 2 2 true 21.470s 2 2 true 19.828s 2 2 true 19.238s 2 2 true 20.562s 2 2
ldv-linux-3.0/usb_urb-drivers-media-video-msp3400.ko_true-unreach-call.cil.out.i.pp.i true 22.600s 2 0 true 21.293s 2 2 true 21.328s 2 2 true 21.283s 2 2 true 22.091s 2 2 true 22.009s 2 2 true 22.474s 2 2 true 37.072s 2 2 true 21.514s 2 2 true 23.734s 2 2 true 22.307s 2 2 true 22.497s 2 2 true 20.848s 2 2 true 21.670s 2 2
ldv-linux-3.0/usb_urb-drivers-misc-c2port-core.ko_true-unreach-call.cil.out.i.pp.i true 14.760s 3 0 true 15.242s 3 4 true 13.338s 2 4 true 14.435s 3 4 true 15.378s 3 4 true 13.768s 3 4 true 13.103s 2 4 true 13.965s 2 4 true 13.894s 3 4 true 16.096s 3 4 true 14.935s 3 4 true 13.382s 3 4 true 15.485s 3 5 true 13.716s 2 4
ldv-linux-3.0/usb_urb-drivers-mtd-sm_ftl.ko_true-unreach-call.cil.out.i.pp.i true 44.973s 2 0 true 40.745s 2 2 true 34.640s 2 2 true 35.471s 2 2 true 106.538s 2 2 true 37.596s 2 2 true 37.778s 2 2 true 37.275s 2 2 true 31.674s 2 2 true 46.732s 2 2 true 39.828s 2 2 true 36.385s 2 2 true 79.654s 2 2 true 34.078s 2 2
ldv-linux-3.0/usb_urb-drivers-scsi-dc395x.ko_true-unreach-call.cil.out.i.pp.i true 22.094s 2 0 true 22.292s 2 2 true 22.283s 2 2 true 22.825s 2 2 true 41.162s 2 2 true 23.762s 2 2 true 21.059s 2 2 true 22.323s 2 2 true 24.633s 2 2 true 21.484s 2 2 true 22.458s 2 2 true 22.148s 2 2 true 22.699s 2 2 true 22.950s 2 2
ldv-linux-3.0/usb_urb-drivers-usb-serial-ir-usb.ko_true-unreach-call.cil.out.i.pp.i timeout 932.016s 4 0 timeout 905.015s 7 20 timeout 905.930s 2 12 timeout 905.424s 7 23 timeout 903.478s 5 21 timeout 904.428s 7 20 timeout 902.953s 5 30 timeout 905.358s 7 24 timeout 902.917s 7 20 timeout 903.260s 6 20 timeout 903.081s 7 20 timeout 903.234s 3 15 timeout 903.295s 6 22 timeout 931.965s - -
ldv-linux-3.0/usb_urb-drivers-usb-serial-whiteheat.ko_true-unreach-call.cil.out.i.pp.i false(reach) 14.882s 5 0 false(reach) 14.812s 5 15 timeout 901.925s 1 3 false(reach) 14.494s 5 9 timeout 901.989s 1 3 false(reach) 24.853s 5 15 timeout 902.030s 1 3 timeout 901.967s 1 3 false(reach) 16.066s 5 23 false(reach) 14.275s 5 9 false(reach) 14.438s 5 8 timeout 901.813s 1 3 timeout 902.070s 1 3 false(reach) 14.103s 5 9
ldv-linux-3.0/usb_urb-drivers-uwb-i1480-dfu-i1480-dfu-usb.ko_true-unreach-call.cil.out.i.pp.i timeout 901.645s 6 0 timeout 902.410s 3 34 timeout 901.279s 7 44 timeout 901.718s 9 58 timeout 901.214s 3 34 timeout 901.271s 8 63 timeout 901.326s 5 46 timeout 901.612s 4 42 timeout 901.721s 6 39 timeout 901.703s 8 57 timeout 901.551s 9 54 timeout 901.216s 7 70 timeout 901.683s 10 63 timeout 901.625s 7 45
ldv-linux-3.0/usb_urb-drivers-vhost-vhost_net.ko_true-unreach-call.cil.out.i.pp.i true 21.795s 2 0 true 21.898s 2 2 true 21.085s 2 2 true 23.967s 2 2 true 21.679s 2 2 true 22.192s 2 2 true 21.532s 2 2 true 21.576s 2 2 true 21.521s 2 2 true 23.093s 2 2 true 23.638s 2 2 true 21.316s 2 2 true 22.816s 2 2 true 23.290s 2 2
ldv-linux-3.0/usb_urb-drivers-video-arkfb.ko_true-unreach-call.cil.out.i.pp.i true 13.654s 2 0 true 14.702s 2 2 true 16.048s 2 2 true 14.886s 2 2 true 14.526s 2 2 true 14.449s 2 2 true 14.371s 2 2 true 14.846s 2 2 true 14.916s 2 2 true 16.523s 2 2 true 15.605s 2 2 true 14.134s 2 2 true 18.855s 2 2 true 14.515s 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) 30.157s 4 0 false(reach) 29.046s 4 4 false(reach) 28.775s 4 5 false(reach) 28.140s 4 5 false(reach) 29.515s 4 4 false(reach) 30.365s 4 4 false(reach) 30.245s 4 5 false(reach) 30.670s 4 5 false(reach) 31.467s 4 4 false(reach) 29.582s 4 5 false(reach) 28.825s 4 4 false(reach) 29.095s 4 4 false(reach) 28.486s 4 4 false(reach) 28.379s 4 4
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) 9.137s 3 0 false(reach) 9.493s 3 2 false(reach) 9.717s 3 2 false(reach) 9.808s 3 2 false(reach) 9.559s 3 2 false(reach) 9.459s 3 2 false(reach) 9.956s 3 2 false(reach) 9.518s 3 2 false(reach) 9.076s 3 2 false(reach) 9.555s 3 2 false(reach) 9.056s 3 2 false(reach) 9.276s 3 2 false(reach) 9.581s 3 2 false(reach) 9.150s 3 2
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) 16.228s 7 0 false(reach) 15.992s 6 11 false(reach) 17.847s 6 16 false(reach) 19.304s 7 16 false(reach) 16.536s 6 10 false(reach) 15.139s 6 11 false(reach) 17.434s 7 16 false(reach) 18.229s 6 13 false(reach) 21.397s 6 11 false(reach) 17.183s 7 16 false(reach) 15.724s 6 11 false(reach) 15.289s 6 10 false(reach) 18.279s 7 21 false(reach) 17.956s 6 15
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) 21.908s 1 0 false(reach) 16.151s 1 0 false(reach) 16.024s 1 0 false(reach) 16.484s 1 0 false(reach) 17.577s 1 0 false(reach) 15.613s 1 0 false(reach) 16.381s 1 0 false(reach) 16.443s 1 0 false(reach) 16.350s 1 0 false(reach) 17.457s 1 0 false(reach) 16.108s 1 0 false(reach) 17.194s 1 0 false(reach) 16.472s 1 0 false(reach) 16.817s 1 0
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) 21.022s 3 0 false(reach) 20.534s 3 2 false(reach) 21.274s 3 2 false(reach) 20.766s 3 2 false(reach) 21.339s 3 2 false(reach) 22.622s 3 2 false(reach) 21.237s 3 2 false(reach) 35.972s 3 2 false(reach) 28.173s 3 2 false(reach) 21.733s 3 2 false(reach) 30.613s 3 2 false(reach) 26.545s 3 2 false(reach) 21.089s 3 2 false(reach) 22.284s 3 2
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) 36.547s 1 0 false(reach) 35.478s 1 0 false(reach) 35.649s 1 0 false(reach) 37.168s 1 0 false(reach) 36.174s 1 0 false(reach) 35.901s 1 0 false(reach) 37.081s 1 0 false(reach) 37.507s 1 0 false(reach) 37.071s 1 0 false(reach) 51.535s 1 0 false(reach) 38.844s 1 0 false(reach) 35.255s 1 0 false(reach) 36.898s 1 0 false(reach) 35.723s 1 0
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) 9.167s 2 0 false(reach) 9.724s 2 1 false(reach) 8.972s 2 1 false(reach) 9.106s 2 1 false(reach) 8.974s 2 1 false(reach) 8.707s 2 1 false(reach) 9.113s 2 1 false(reach) 8.799s 2 1 false(reach) 8.898s 2 1 false(reach) 9.039s 2 1 false(reach) 9.214s 2 1 false(reach) 9.095s 2 1 false(reach) 9.433s 2 1 false(reach) 8.723s 2 1
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) 14.902s 4 0 false(reach) 14.726s 4 6 false(reach) 12.844s 2 2 false(reach) 13.499s 2 2 false(reach) 15.035s 4 6 false(reach) 14.220s 4 6 false(reach) 13.073s 2 2 false(reach) 13.085s 2 2 false(reach) 16.884s 4 6 false(reach) 13.190s 2 2 false(reach) 14.272s 4 6 false(reach) 12.907s 2 2 false(reach) 13.549s 4 6 false(reach) 14.179s 4 6
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) 13.045s 2 0 false(reach) 12.833s 2 1 false(reach) 12.281s 2 1 false(reach) 12.146s 2 1 false(reach) 13.242s 2 1 false(reach) 12.445s 2 1 false(reach) 13.189s 2 1 false(reach) 12.846s 2 1 false(reach) 13.076s 2 1 false(reach) 13.541s 2 1 false(reach) 13.082s 2 1 false(reach) 12.783s 2 1 false(reach) 13.664s 2 1 false(reach) 13.662s 2 1
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) 15.803s 5 0 false(reach) 15.544s 5 9 false(reach) 15.364s 4 8 false(reach) 14.305s 4 8 false(reach) 15.988s 5 9 false(reach) 15.755s 5 9 false(reach) 14.521s 4 8 false(reach) 14.006s 4 8 false(reach) 15.767s 5 9 false(reach) 15.155s 4 8 false(reach) 14.976s 5 9 false(reach) 14.055s 4 8 false(reach) 14.178s 4 8 false(reach) 14.879s 5 9
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) 12.547s 1 0 false(reach) 12.427s 1 0 false(reach) 11.897s 1 0 false(reach) 12.566s 1 0 false(reach) 12.169s 1 0 false(reach) 11.618s 1 0 false(reach) 12.419s 1 0 false(reach) 12.424s 1 0 false(reach) 12.088s 1 0 false(reach) 11.976s 1 0 false(reach) 12.077s 1 0 false(reach) 12.143s 1 0 false(reach) 12.038s 1 0 false(reach) 12.011s 1 0
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) 28.805s 2 0 false(reach) 28.729s 2 1 false(reach) 29.489s 2 1 false(reach) 30.422s 2 1 false(reach) 28.709s 2 1 false(reach) 27.497s 2 1 false(reach) 30.230s 2 1 false(reach) 27.128s 2 1 false(reach) 28.569s 2 1 false(reach) 28.209s 2 1 false(reach) 28.362s 2 1 false(reach) 28.317s 2 1 false(reach) 29.183s 2 1 false(reach) 29.092s 2 1
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) 25.247s 1 0 false(reach) 16.045s 1 0 false(reach) 26.811s 1 0 false(reach) 27.567s 1 0 false(reach) 18.331s 1 0 false(reach) 26.349s 1 0 false(reach) 17.755s 1 0 false(reach) 32.945s 1 0 false(reach) 17.970s 1 0 false(reach) 25.975s 1 0 false(reach) 26.609s 1 0 false(reach) 19.716s 1 0 false(reach) 19.478s 1 0 false(reach) 17.774s 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.327s 1 0 false(reach) 7.003s 1 0 false(reach) 7.717s 1 0 false(reach) 7.718s 1 0 false(reach) 7.208s 1 0 false(reach) 7.563s 1 0 false(reach) 7.453s 1 0 false(reach) 7.528s 1 0 false(reach) 7.060s 1 0 false(reach) 7.641s 1 0 false(reach) 7.364s 1 0 false(reach) 7.160s 1 0 false(reach) 7.326s 1 0 false(reach) 7.179s 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) 23.352s 1 0 false(reach) 24.805s 1 0 false(reach) 24.389s 1 0 false(reach) 24.155s 1 0 false(reach) 23.379s 1 0 false(reach) 25.626s 1 0 false(reach) 24.787s 1 0 false(reach) 23.123s 1 0 false(reach) 29.741s 1 0 false(reach) 26.263s 1 0 false(reach) 24.820s 1 0 false(reach) 24.627s 1 0 false(reach) 24.088s 1 0 false(reach) 24.074s 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) 18.263s 3 0 false(reach) 18.732s 3 2 false(reach) 20.253s 3 2 false(reach) 18.258s 3 2 false(reach) 19.162s 3 2 false(reach) 18.426s 3 2 false(reach) 17.322s 3 2 false(reach) 16.850s 3 2 false(reach) 16.918s 3 2 false(reach) 18.099s 3 2 false(reach) 18.093s 3 2 false(reach) 18.106s 3 2 false(reach) 18.611s 3 2 false(reach) 18.529s 3 2
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) 73.409s 10 0 false(reach) 79.941s 10 21 false(reach) 81.107s 10 26 false(reach) 79.321s 10 22 false(reach) 93.576s 10 21 false(reach) 90.591s 10 21 false(reach) 76.313s 10 28 false(reach) 85.524s 10 30 false(reach) 81.733s 10 21 false(reach) 70.214s 10 22 false(reach) 58.081s 10 21 false(reach) 79.198s 10 21 false(reach) 96.160s 10 28 false(reach) 82.437s 10 30
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 false(reach) 22.403s 2 0 false(reach) 23.578s 2 1 false(reach) 24.866s 2 1 false(reach) 23.900s 2 1 false(reach) 22.282s 2 1 false(reach) 23.208s 2 1 false(reach) 22.435s 2 1 false(reach) 22.120s 2 1 false(reach) 23.116s 2 1 false(reach) 23.302s 2 1 false(reach) 22.645s 2 1 false(reach) 23.956s 2 1 false(reach) 25.085s 2 1 false(reach) 23.035s 2 1
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 false(reach) 25.572s 9 0 false(reach) 25.067s 12 23 false(reach) 28.193s 9 21 false(reach) 26.271s 9 20 false(reach) 22.576s 11 21 false(reach) 21.019s 9 17 false(reach) 23.289s 11 19 false(reach) 25.970s 12 23 false(reach) 23.347s 9 19 false(reach) 25.975s 9 20 false(reach) 30.334s 9 21 false(reach) 29.069s 9 14 false(reach) 25.861s 9 14 false(reach) 25.063s 9 14
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 903.053s 14 0 timeout 903.863s 9 39 timeout 905.560s 9 112 timeout 903.478s 15 174 timeout 904.115s 16 155 timeout 903.750s 19 171 timeout 904.460s 11 79 timeout 905.703s 9 48 timeout 903.322s 15 159 timeout 903.388s 15 174 timeout 903.384s 19 171 timeout 903.684s 18 163 timeout 904.975s 21 230 timeout 903.381s 14 130
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) 15.269s 9 0 false(reach) 14.218s 9 38 false(reach) 15.033s 9 31 false(reach) 13.688s 9 30 false(reach) 15.782s 9 64 false(reach) 15.226s 9 38 false(reach) 14.065s 9 31 false(reach) 13.313s 9 38 false(reach) 16.506s 9 36 false(reach) 13.287s 9 30 false(reach) 13.708s 9 34 false(reach) 15.135s 9 34 false(reach) 15.299s 9 32 false(reach) 14.155s 9 33
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) 33.190s 6 0 timeout 904.013s 6 9 false(reach) 32.789s 6 13 false(reach) 31.607s 6 13 timeout 930.101s - - false(reach) 31.999s 6 11 timeout 903.764s 6 10 timeout 903.987s 6 9 false(reach) 34.367s 6 13 false(reach) 31.265s 6 13 false(reach) 33.827s 6 13 timeout 904.907s 6 11 false(reach) 36.562s 6 12 timeout 907.780s 6 10
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) 33.830s 5 0 false(reach) 112.085s 8 30 false(reach) 34.402s 5 16 false(reach) 36.779s 5 21 false(reach) 131.339s 8 29 false(reach) 100.609s 8 30 false(reach) 38.660s 6 21 false(reach) 108.892s 8 30 false(reach) 35.001s 5 16 false(reach) 36.150s 5 21 false(reach) 37.010s 6 25 false(reach) 93.290s 8 29 false(reach) 33.593s 6 25 false(reach) 116.700s 8 28
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 6.734s 1 0 true 6.944s 1 1 true 6.576s 1 1 true 6.703s 1 1 true 6.605s 1 1 true 6.721s 1 1 true 6.527s 1 1 true 6.671s 1 1 true 6.549s 1 1 true 6.571s 1 1 true 6.656s 1 1 true 6.521s 1 1 true 6.529s 1 1 true 6.441s 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.282s 1 0 true 5.068s 1 1 true 5.176s 1 1 true 5.167s 1 1 true 5.054s 1 1 true 5.081s 1 1 true 5.291s 1 1 true 4.957s 1 1 true 5.341s 1 1 true 5.122s 1 1 true 5.050s 1 1 true 4.970s 1 1 true 5.078s 1 1 true 5.162s 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 5.839s 2 0 true 5.723s 2 3 true 5.392s 1 2 true 5.483s 1 2 true 6.522s 2 3 true 5.903s 2 3 true 5.582s 1 2 true 5.242s 1 2 true 5.869s 2 3 true 5.253s 1 2 true 5.763s 2 3 true 6.477s 2 3 true 5.831s 2 3 true 5.724s 2 3
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 5.730s 3 0 true 5.918s 3 6 true 4.953s 1 3 true 5.629s 2 5 true 5.297s 2 5 true 5.837s 3 6 true 5.293s 1 3 true 5.503s 1 3 true 5.832s 3 6 true 5.472s 2 5 true 5.684s 3 6 true 5.687s 3 6 true 6.210s 3 6 true 5.246s 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 6.027s 2 0 true 6.114s 2 3 true 5.683s 1 2 true 5.359s 1 2 true 5.742s 2 3 true 6.200s 2 3 true 5.185s 1 2 true 5.427s 1 2 true 5.925s 2 3 true 5.174s 1 2 true 5.857s 2 3 true 5.515s 1 2 true 5.803s 2 3 true 5.627s 1 2
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.968s 1 0 true 6.516s 1 1 true 5.890s 1 1 true 5.896s 1 1 true 6.004s 1 1 true 5.877s 1 1 true 6.001s 1 1 true 5.813s 1 1 true 5.974s 1 1 true 6.092s 1 1 true 6.228s 1 1 true 5.660s 1 1 true 6.120s 1 1 true 5.942s 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.758s 1 0 true 5.997s 1 1 true 6.101s 1 1 true 5.809s 1 1 true 5.702s 1 1 true 5.639s 1 1 true 6.067s 1 1 true 5.650s 1 1 true 6.201s 1 1 true 5.767s 1 1 true 5.769s 1 1 true 5.399s 1 1 true 5.926s 1 1 true 6.227s 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.721s 3 0 true 8.387s 3 5 true 6.933s 1 2 true 6.742s 1 2 true 7.998s 3 5 true 7.961s 3 5 true 6.427s 1 2 true 6.659s 1 2 true 7.909s 3 5 true 7.227s 1 2 true 7.887s 3 5 true 7.234s 2 4 true 7.949s 3 5 true 6.579s 1 2
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 179.793s 7 0 true 59.779s 7 97 true 5.881s 1 8 true 5.659s 1 8 true 96.572s 7 2233 true 100.132s 7 2233 true 5.815s 1 8 true 5.560s 1 8 true 62.472s 7 37 true 8.073s 1 8 true 99.878s 7 2233 true 62.103s 5 63 true 6.948s 2 14 true 10.968s 6 96
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.502s 1 0 true 5.579s 1 1 true 5.652s 1 1 true 5.716s 1 1 true 5.709s 1 1 true 6.047s 1 1 true 5.461s 1 1 true 5.889s 1 1 true 5.999s 1 1 true 5.564s 1 1 true 5.973s 1 1 true 5.585s 1 1 true 6.027s 1 1 true 5.811s 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 5.233s 2 0 true 7.402s 2 3 true 4.583s 1 2 true 7.394s 1 2 true 4.804s 2 3 true 4.905s 2 3 true 4.758s 1 2 true 4.510s 1 2 true 4.615s 2 3 true 4.489s 1 2 true 4.638s 2 3 true 4.890s 1 2 true 4.586s 2 3 true 4.795s 2 3
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 6.448s 1 0 true 6.186s 1 1 true 6.532s 1 1 true 6.200s 1 1 true 5.915s 1 1 true 5.914s 1 1 true 6.198s 1 1 true 6.166s 1 1 true 6.573s 1 1 true 6.393s 1 1 true 6.083s 1 1 true 6.378s 1 1 true 6.242s 1 1 true 6.142s 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 15.701s 1 0 true 14.800s 1 1 true 16.878s 1 1 true 15.543s 1 1 true 22.177s 1 1 true 15.508s 1 1 true 14.946s 1 1 true 16.008s 1 1 true 15.031s 1 1 true 15.019s 1 1 true 15.766s 1 1 true 15.778s 1 1 true 16.001s 1 1 true 15.059s 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 7.658s 1 0 true 7.565s 1 1 true 7.722s 1 1 true 7.911s 1 1 true 7.837s 1 1 true 7.916s 1 1 true 7.825s 1 1 true 7.646s 1 1 true 9.404s 1 1 true 7.904s 1 1 true 7.352s 1 1 true 7.943s 1 1 true 7.819s 1 1 true 7.797s 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.718s 1 0 true 8.168s 1 1 true 9.058s 1 1 true 8.562s 1 1 true 8.718s 1 1 true 8.344s 1 1 true 8.248s 1 1 true 8.348s 1 1 true 8.481s 1 1 true 8.558s 1 1 true 8.347s 1 1 true 8.579s 1 1 true 8.286s 1 1 true 8.375s 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 13.111s 1 0 true 13.249s 1 1 true 13.625s 1 1 true 13.280s 1 1 true 12.410s 1 1 true 12.827s 1 1 true 13.049s 1 1 true 12.880s 1 1 true 12.791s 1 1 true 12.625s 1 1 true 12.914s 1 1 true 13.268s 1 1 true 13.059s 1 1 true 12.687s 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 9.534s 1 0 true 9.554s 1 1 true 9.746s 1 1 true 9.898s 1 1 true 9.614s 1 1 true 9.854s 1 1 true 9.667s 1 1 true 9.405s 1 1 true 9.761s 1 1 true 9.656s 1 1 true 9.845s 1 1 true 9.379s 1 1 true 9.605s 1 1 true 9.187s 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 5.740s 1 0 true 5.679s 1 1 true 9.665s 1 1 true 6.018s 1 1 true 5.345s 1 1 true 5.823s 1 1 true 5.719s 1 1 true 5.556s 1 1 true 5.685s 1 1 true 5.758s 1 1 true 5.779s 1 1 true 5.957s 1 1 true 5.741s 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--block--paride--fit3.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.101s 1 0 true 6.790s 1 1 true 7.182s 1 1 true 7.263s 1 1 true 7.380s 1 1 true 7.281s 1 1 true 7.407s 1 1 true 7.143s 1 1 true 6.962s 1 1 true 6.807s 1 1 true 6.731s 1 1 true 6.855s 1 1 true 6.789s 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--block--paride--friq.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 11.156s 1 0 true 11.002s 1 1 true 11.427s 1 1 true 11.296s 1 1 true 11.587s 1 1 true 11.884s 1 1 true 11.392s 1 1 true 11.361s 1 1 true 11.039s 1 1 true 11.355s 1 1 true 12.459s 1 1 true 11.759s 1 1 true 11.486s 1 1 true 11.647s 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 11.170s 1 0 true 10.695s 1 1 true 10.534s 1 1 true 10.798s 1 1 true 10.821s 1 1 true 10.428s 1 1 true 11.132s 1 1 true 10.720s 1 1 true 10.312s 1 1 true 10.410s 1 1 true 10.922s 1 1 true 10.603s 1 1 true 10.960s 1 1 true 11.011s 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 10.441s 1 0 true 11.241s 1 1 true 10.699s 1 1 true 11.072s 1 1 true 10.780s 1 1 true 10.753s 1 1 true 10.805s 1 1 true 10.609s 1 1 true 16.333s 1 1 true 10.916s 1 1 true 10.404s 1 1 true 11.057s 1 1 true 10.925s 1 1 true 10.867s 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 5.839s 1 0 true 6.010s 1 1 true 5.855s 1 1 true 6.100s 1 1 true 6.176s 1 1 true 5.897s 1 1 true 6.026s 1 1 true 6.149s 1 1 true 6.240s 1 1 true 5.848s 1 1 true 6.000s 1 1 true 5.671s 1 1 true 5.950s 1 1 true 5.948s 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 10.032s 1 0 true 10.278s 1 1 true 9.808s 1 1 true 10.221s 1 1 true 10.332s 1 1 true 10.446s 1 1 true 10.214s 1 1 true 10.081s 1 1 true 9.767s 1 1 true 9.828s 1 1 true 10.204s 1 1 true 17.174s 1 1 true 9.752s 1 1 true 10.347s 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 17.467s 1 0 true 17.452s 1 1 true 17.038s 1 1 true 17.709s 1 1 true 18.301s 1 1 true 17.079s 1 1 true 17.960s 1 1 true 18.869s 1 1 true 17.983s 1 1 true 17.881s 1 1 true 18.697s 1 1 true 18.075s 1 1 true 17.058s 1 1 true 17.090s 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.604s 1 0 true 4.623s 1 1 true 4.768s 1 1 true 4.622s 1 1 true 7.602s 1 1 true 4.815s 1 1 true 4.757s 1 1 true 4.716s 1 1 true 4.948s 1 1 true 4.984s 1 1 true 4.718s 1 1 true 4.906s 1 1 true 4.814s 1 1 true 6.348s 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.387s 1 0 true 6.346s 1 1 true 6.117s 1 1 true 6.017s 1 1 true 6.310s 1 1 true 6.642s 1 1 true 6.132s 1 1 true 6.241s 1 1 true 5.991s 1 1 true 6.267s 1 1 true 6.352s 1 1 true 6.568s 1 1 true 6.635s 1 1 true 6.290s 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.830s 1 0 true 4.876s 1 1 true 4.986s 1 1 true 4.624s 1 1 true 4.668s 1 1 true 4.898s 1 1 true 5.025s 1 1 true 4.924s 1 1 true 4.671s 1 1 true 4.968s 1 1 true 4.575s 1 1 true 4.651s 1 1 true 4.734s 1 1 true 4.833s 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.094s 1 0 true 9.995s 1 1 true 11.524s 1 1 true 7.699s 1 1 true 7.742s 1 1 true 7.663s 1 1 true 7.477s 1 1 true 7.781s 1 1 true 7.293s 1 1 true 7.288s 1 1 true 7.846s 1 1 true 7.697s 1 1 true 7.090s 1 1 true 7.458s 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.830s 1 0 true 7.111s 1 1 true 6.574s 1 1 true 7.028s 1 1 true 6.964s 1 1 true 7.104s 1 1 true 6.906s 1 1 true 10.291s 1 1 true 6.962s 1 1 true 7.178s 1 1 true 6.617s 1 1 true 6.914s 1 1 true 6.751s 1 1 true 6.849s 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.220s 1 0 true 4.612s 1 1 true 4.461s 1 1 true 4.272s 1 1 true 4.333s 1 1 true 4.515s 1 1 true 4.377s 1 1 true 4.786s 1 1 true 4.821s 1 1 true 4.403s 1 1 true 4.642s 1 1 true 4.237s 1 1 true 4.252s 1 1 true 4.589s 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.037s 1 0 true 4.356s 1 1 true 4.328s 1 1 true 4.276s 1 1 true 3.973s 1 1 true 4.532s 1 1 true 4.219s 1 1 true 4.458s 1 1 true 4.227s 1 1 true 4.155s 1 1 true 4.433s 1 1 true 4.220s 1 1 true 4.280s 1 1 true 4.084s 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 7.982s 2 0 true 8.033s 2 3 true 7.465s 1 2 true 7.169s 1 2 true 7.954s 2 3 true 8.034s 2 3 true 7.095s 1 2 true 7.694s 2 3 true 7.725s 2 3 true 7.625s 1 2 true 8.094s 2 3 true 7.259s 1 2 true 7.359s 1 2 true 7.983s 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 5.157s 2 0 true 5.168s 3 6 true 4.724s 1 3 true 6.963s 1 3 true 5.010s 3 6 true 4.663s 2 4 true 4.420s 1 3 true 4.411s 1 3 true 4.990s 2 4 true 4.396s 1 3 true 7.178s 2 4 true 4.803s 2 4 true 4.524s 2 4 true 4.722s 2 5
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 10.747s 2 0 true 10.671s 2 4 true 9.856s 1 3 true 10.006s 1 3 true 10.668s 2 4 true 10.692s 2 4 true 9.826s 1 3 true 9.460s 1 3 true 10.808s 2 4 true 10.164s 1 3 true 10.421s 2 4 true 9.128s 1 3 true 10.503s 2 4 true 9.643s 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.009s 2 0 true 4.604s 2 3 true 4.364s 1 2 true 4.480s 1 2 true 4.736s 2 3 true 4.787s 2 3 true 4.414s 1 2 true 4.358s 1 2 true 4.403s 2 3 true 4.183s 1 2 true 4.388s 2 3 true 4.746s 2 3 true 4.200s 1 2 true 4.614s 2 3
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.484s 1 0 true 5.042s 1 1 true 5.074s 1 1 true 5.491s 1 1 true 5.010s 1 1 true 5.196s 1 1 true 5.068s 1 1 true 5.094s 1 1 true 5.140s 1 1 true 5.649s 1 1 true 5.342s 1 1 true 5.074s 1 1 true 5.326s 1 1 true 5.397s 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.906s 1 0 true 4.792s 1 1 true 4.686s 1 1 true 7.456s 1 1 true 4.592s 1 1 true 4.715s 1 1 true 4.731s 1 1 true 4.846s 1 1 true 4.909s 1 1 true 4.894s 1 1 true 4.750s 1 1 true 4.783s 1 1 true 4.978s 1 1 true 4.747s 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.265s 1 1 true 5.170s 1 1 true 5.355s 1 1 true 5.162s 1 1 true 4.940s 1 1 true 5.141s 1 1 true 5.001s 1 1 true 5.152s 1 1 true 4.999s 1 1 true 4.976s 1 1 true 5.097s 1 1 true 4.911s 1 1 true 4.982s 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.519s 1 0 true 4.616s 1 1 true 4.406s 1 1 true 4.613s 1 1 true 4.485s 1 1 true 4.835s 1 1 true 4.444s 1 1 true 4.728s 1 1 true 5.075s 1 1 true 7.961s 1 1 true 4.639s 1 1 true 5.019s 1 1 true 4.891s 1 1 true 4.567s 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 4.937s 1 0 true 4.951s 1 1 true 4.786s 1 1 true 5.181s 1 1 true 5.058s 1 1 true 5.094s 1 1 true 5.053s 1 1 true 5.216s 1 1 true 4.983s 1 1 true 5.384s 1 1 true 5.245s 1 1 true 5.050s 1 1 true 5.046s 1 1 true 4.823s 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 6.049s 1 0 true 5.836s 1 1 true 5.893s 1 1 true 5.751s 1 1 true 10.916s 1 1 true 5.727s 1 1 true 5.930s 1 1 true 5.915s 1 1 true 6.171s 1 1 true 6.212s 1 1 true 5.832s 1 1 true 5.941s 1 1 true 5.542s 1 1 true 5.992s 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 7.337s 1 0 true 8.025s 1 1 true 7.855s 1 1 true 7.735s 1 1 true 7.486s 1 1 true 7.523s 1 1 true 7.303s 1 1 true 7.571s 1 1 true 7.569s 1 1 true 7.848s 1 1 true 7.437s 1 1 true 13.078s 1 1 true 7.475s 1 1 true 7.628s 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 6.413s 1 0 true 6.052s 1 1 true 5.722s 1 1 true 5.423s 1 1 true 5.809s 1 1 true 8.199s 1 1 true 5.599s 1 1 true 5.851s 1 1 true 5.702s 1 1 true 5.333s 1 1 true 5.614s 1 1 true 5.440s 1 1 true 5.904s 1 1 true 5.870s 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.965s 1 0 true 4.802s 1 1 true 4.794s 1 1 true 8.644s 1 1 true 4.873s 1 1 true 5.068s 1 1 true 5.319s 1 1 true 5.039s 1 1 true 5.089s 1 1 true 4.863s 1 1 true 4.809s 1 1 true 4.904s 1 1 true 4.903s 1 1 true 4.577s 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.753s 1 0 true 4.884s 1 1 true 4.801s 1 1 true 4.885s 1 1 true 4.872s 1 1 true 4.833s 1 1 true 4.927s 1 1 true 4.960s 1 1 true 8.821s 1 1 true 4.841s 1 1 true 4.723s 1 1 true 4.753s 1 1 true 4.862s 1 1 true 6.196s 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.219s 1 0 true 5.724s 1 1 true 5.774s 1 1 true 6.033s 1 1 true 6.026s 1 1 true 5.807s 1 1 true 5.776s 1 1 true 5.831s 1 1 true 5.858s 1 1 true 5.861s 1 1 true 6.243s 1 1 true 5.776s 1 1 true 5.557s 1 1 true 6.040s 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.596s 1 0 true 4.652s 1 1 true 4.471s 1 1 true 4.667s 1 1 true 4.753s 1 1 true 4.765s 1 1 true 4.569s 1 1 true 4.511s 1 1 true 4.622s 1 1 true 4.610s 1 1 true 7.729s 1 1 true 4.558s 1 1 true 4.665s 1 1 true 4.888s 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 5.033s 1 0 true 6.053s 1 1 true 4.915s 1 1 true 4.766s 1 1 true 4.893s 1 1 true 7.259s 1 1 true 4.724s 1 1 true 4.771s 1 1 true 4.654s 1 1 true 4.784s 1 1 true 4.721s 1 1 true 4.637s 1 1 true 4.809s 1 1 true 4.686s 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 5.812s 1 0 true 5.800s 1 1 true 5.601s 1 1 true 5.529s 1 1 true 5.690s 1 1 true 5.700s 1 1 true 5.655s 1 1 true 5.439s 1 1 true 5.648s 1 1 true 5.813s 1 1 true 5.921s 1 1 true 6.160s 1 1 true 5.564s 1 1 true 5.904s 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.737s 1 0 true 4.788s 1 1 true 4.562s 1 1 true 4.776s 1 1 true 4.512s 1 1 true 4.865s 1 1 true 4.965s 1 1 true 5.066s 1 1 true 4.731s 1 1 true 4.633s 1 1 true 4.802s 1 1 true 4.641s 1 1 true 4.592s 1 1 true 4.507s 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 5.303s 1 0 true 4.939s 1 1 true 4.618s 1 1 true 4.813s 1 1 true 4.805s 1 1 true 4.729s 1 1 true 4.652s 1 1 true 4.572s 1 1 true 6.414s 1 1 true 4.413s 1 1 true 4.746s 1 1 true 4.819s 1 1 true 4.813s 1 1 true 4.614s 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 4.964s 1 0 true 5.117s 1 1 true 4.949s 1 1 true 5.036s 1 1 true 5.117s 1 1 true 4.837s 1 1 true 5.074s 1 1 true 5.382s 1 1 true 4.881s 1 1 true 5.220s 1 1 true 5.089s 1 1 true 4.884s 1 1 true 5.346s 1 1 true 4.982s 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.079s 1 0 true 5.066s 1 1 true 5.188s 1 1 true 4.862s 1 1 true 5.154s 1 1 true 5.033s 1 1 true 4.946s 1 1 true 5.220s 1 1 true 4.656s 1 1 true 5.376s 1 1 true 5.042s 1 1 true 4.870s 1 1 true 4.941s 1 1 true 4.927s 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.618s 1 0 true 4.700s 1 1 true 4.735s 1 1 true 4.896s 1 1 true 4.663s 1 1 true 4.689s 1 1 true 4.685s 1 1 true 4.618s 1 1 true 5.018s 1 1 true 4.692s 1 1 true 4.700s 1 1 true 4.843s 1 1 true 5.014s 1 1 true 4.749s 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.447s 1 0 true 5.478s 1 1 true 5.462s 1 1 true 5.457s 1 1 true 5.381s 1 1 true 5.818s 1 1 true 5.740s 1 1 true 5.484s 1 1 true 5.666s 1 1 true 5.736s 1 1 true 5.308s 1 1 true 6.553s 1 1 true 5.448s 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--hid--hid-primax.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.993s 1 0 true 5.012s 1 1 true 4.983s 1 1 true 4.908s 1 1 true 4.876s 1 1 true 5.067s 1 1 true 5.082s 1 1 true 4.926s 1 1 true 5.148s 1 1 true 5.518s 1 1 true 4.941s 1 1 true 5.157s 1 1 true 5.270s 1 1 true 4.810s 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.960s 1 0 true 4.593s 1 1 true 4.726s 1 1 true 5.002s 1 1 true 4.566s 1 1 true 4.667s 1 1 true 4.491s 1 1 true 4.920s 1 1 true 4.936s 1 1 true 4.648s 1 1 true 5.102s 1 1 true 4.580s 1 1 true 4.846s 1 1 true 4.608s 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 6.640s 1 0 true 11.470s 1 1 true 6.470s 1 1 true 6.870s 1 1 true 6.381s 1 1 true 6.873s 1 1 true 6.567s 1 1 true 7.005s 1 1 true 6.812s 1 1 true 6.255s 1 1 true 6.692s 1 1 true 6.719s 1 1 true 6.595s 1 1 true 7.918s 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.850s 1 0 true 5.019s 1 1 true 5.158s 1 1 true 5.343s 1 1 true 4.785s 1 1 true 4.669s 1 1 true 7.530s 1 1 true 5.143s 1 1 true 5.309s 1 1 true 5.645s 1 1 true 4.843s 1 1 true 4.895s 1 1 true 4.890s 1 1 true 5.075s 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.619s 1 0 true 4.912s 1 1 true 4.793s 1 1 true 4.950s 1 1 true 5.121s 1 1 true 4.746s 1 1 true 4.960s 1 1 true 4.593s 1 1 true 5.033s 1 1 true 4.888s 1 1 true 4.649s 1 1 true 4.672s 1 1 true 4.841s 1 1 true 4.995s 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 5.160s 1 0 true 4.872s 1 1 true 4.862s 1 1 true 5.004s 1 1 true 6.162s 1 1 true 5.002s 1 1 true 4.936s 1 1 true 4.766s 1 1 true 4.739s 1 1 true 4.949s 1 1 true 5.115s 1 1 true 5.327s 1 1 true 4.814s 1 1 true 4.945s 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 5.982s 1 0 true 5.807s 1 1 true 5.861s 1 1 true 6.204s 1 1 true 6.121s 1 1 true 7.881s 1 1 true 5.936s 1 1 true 5.706s 1 1 true 5.842s 1 1 true 6.189s 1 1 true 9.730s 1 1 true 6.161s 1 1 true 6.053s 1 1 true 6.019s 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 6.332s 1 0 true 6.698s 1 1 true 6.637s 1 1 true 6.464s 1 1 true 6.424s 1 1 true 6.671s 1 1 true 6.276s 1 1 true 6.191s 1 1 true 6.469s 1 1 true 6.397s 1 1 true 6.667s 1 1 true 6.408s 1 1 true 6.485s 1 1 true 6.419s 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 4.595s 1 0 true 4.747s 1 1 true 5.268s 1 1 true 5.080s 1 1 true 4.936s 1 1 true 5.140s 1 1 true 5.188s 1 1 true 4.933s 1 1 true 4.721s 1 1 true 4.915s 1 1 true 4.826s 1 1 true 4.799s 1 1 true 4.933s 1 1 true 4.990s 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 8.610s 1 0 true 8.574s 1 1 true 8.265s 1 1 true 8.315s 1 1 true 8.803s 1 1 true 8.164s 1 1 true 8.620s 1 1 true 11.144s 1 1 true 8.620s 1 1 true 8.856s 1 1 true 8.483s 1 1 true 8.142s 1 1 true 8.436s 1 1 true 8.586s 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.172s 1 0 true 8.514s 1 1 true 5.436s 1 1 true 5.399s 1 1 true 5.424s 1 1 true 5.763s 1 1 true 5.449s 1 1 true 5.153s 1 1 true 5.577s 1 1 true 6.787s 1 1 true 5.792s 1 1 true 5.591s 1 1 true 5.352s 1 1 true 5.513s 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 6.194s 1 0 true 6.121s 1 1 true 6.798s 1 1 true 6.482s 1 1 true 6.197s 1 1 true 6.419s 1 1 true 6.120s 1 1 true 6.536s 1 1 true 6.409s 1 1 true 6.083s 1 1 true 6.250s 1 1 true 6.625s 1 1 true 6.217s 1 1 true 6.307s 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 5.449s 1 0 true 5.500s 1 1 true 5.613s 1 1 true 5.424s 1 1 true 5.375s 1 1 true 5.445s 1 1 true 5.655s 1 1 true 5.614s 1 1 true 5.316s 1 1 true 5.576s 1 1 true 5.245s 1 1 true 5.488s 1 1 true 5.201s 1 1 true 5.835s 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 10.984s 1 0 true 11.146s 1 1 true 11.049s 1 1 true 10.618s 1 1 true 10.793s 1 1 true 11.131s 1 1 true 10.772s 1 1 true 12.188s 1 1 true 14.793s 1 1 true 10.768s 1 1 true 10.625s 1 1 true 11.098s 1 1 true 10.956s 1 1 true 10.687s 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 5.172s 1 0 true 5.703s 1 1 true 5.494s 1 1 true 5.814s 1 1 true 5.345s 1 1 true 5.480s 1 1 true 5.420s 1 1 true 5.249s 1 1 true 5.615s 1 1 true 5.775s 1 1 true 5.751s 1 1 true 6.556s 1 1 true 5.649s 1 1 true 5.359s 1 1
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 6.205s 1 0 true 6.271s 1 1 true 6.388s 1 1 true 5.933s 1 1 true 5.986s 1 1 true 6.182s 1 1 true 6.205s 1 1 true 6.132s 1 1 true 6.372s 1 1 true 6.059s 1 1 true 7.742s 1 1 true 6.246s 1 1 true 6.130s 1 1 true 6.143s 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 5.315s 1 0 true 4.977s 1 1 true 4.978s 1 1 true 5.089s 1 1 true 5.016s 1 1 true 5.026s 1 1 true 5.218s 1 1 true 5.204s 1 1 true 5.138s 1 1 true 5.468s 1 1 true 5.344s 1 1 true 5.441s 1 1 true 5.103s 1 1 true 5.670s 1 1
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.718s 1 0 true 5.897s 1 1 true 5.815s 1 1 true 5.527s 1 1 true 6.219s 1 1 true 5.561s 1 1 true 5.452s 1 1 true 5.453s 1 1 true 5.806s 1 1 true 5.441s 1 1 true 5.609s 1 1 true 5.595s 1 1 true 5.571s 1 1 true 5.630s 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.933s 1 0 true 4.555s 1 1 true 4.748s 1 1 true 4.691s 1 1 true 4.632s 1 1 true 4.673s 1 1 true 4.715s 1 1 true 4.520s 1 1 true 4.746s 1 1 true 4.661s 1 1 true 4.778s 1 1 true 4.681s 1 1 true 4.590s 1 1 true 4.567s 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 5.358s 1 0 true 4.987s 1 1 true 4.753s 1 1 true 4.635s 1 1 true 4.639s 1 1 true 4.794s 1 1 true 5.060s 1 1 true 5.327s 1 1 true 4.849s 1 1 true 8.300s 1 1 true 4.634s 1 1 true 4.680s 1 1 true 4.805s 1 1 true 5.024s 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.336s 2 0 true 6.579s 2 3 true 6.283s 1 2 true 6.084s 1 2 true 7.244s 2 3 true 7.094s 2 3 true 6.197s 1 2 true 6.726s 1 2 true 6.747s 2 3 true 5.946s 1 2 true 7.009s 2 3 true 6.200s 1 2 true 7.275s 2 3 true 6.045s 1 2
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 8.422s 1 0 true 9.168s 1 1 true 9.082s 1 1 true 8.510s 1 1 true 8.547s 1 1 true 8.486s 1 1 true 13.652s 1 1 true 8.967s 1 1 true 8.587s 1 1 true 8.665s 1 1 true 9.167s 1 1 true 8.512s 1 1 true 9.012s 1 1 true 8.955s 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 8.560s 1 0 true 8.332s 1 1 true 8.121s 1 1 true 7.954s 1 1 true 8.253s 1 1 true 7.906s 1 1 true 8.016s 1 1 true 7.949s 1 1 true 7.847s 1 1 true 8.257s 1 1 true 8.071s 1 1 true 8.182s 1 1 true 8.962s 1 1 true 7.996s 1 1
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 5.706s 1 0 true 5.609s 1 1 true 5.592s 1 1 true 5.404s 1 1 true 5.717s 1 1 true 5.427s 1 1 true 5.570s 1 1 true 5.589s 1 1 true 6.029s 1 1 true 5.578s 1 1 true 5.382s 1 1 true 5.846s 1 1 true 5.965s 1 1 true 5.585s 1 1
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 5.929s 1 0 true 6.130s 1 1 true 6.167s 1 1 true 5.954s 1 1 true 6.360s 1 1 true 6.030s 1 1 true 5.910s 1 1 true 6.108s 1 1 true 6.097s 1 1 true 6.783s 1 1 true 6.076s 1 1 true 5.843s 1 1 true 5.904s 1 1 true 5.928s 1 1
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.361s 1 0 true 5.339s 1 1 true 5.129s 1 1 true 5.360s 1 1 true 5.392s 1 1 true 5.426s 1 1 true 5.532s 1 1 true 5.663s 1 1 true 5.326s 1 1 true 5.323s 1 1 true 5.220s 1 1 true 5.468s 1 1 true 5.164s 1 1 true 5.525s 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 14.625s 2 0 true 15.014s 2 4 true 13.172s 1 3 true 12.803s 1 3 true 14.360s 2 4 true 14.631s 2 4 true 14.431s 1 3 true 13.535s 1 3 true 15.197s 2 4 true 17.147s 1 3 true 15.213s 2 4 true 13.395s 1 3 true 14.582s 2 4 true 13.218s 1 3
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 5.987s 1 0 true 6.076s 1 1 true 5.960s 1 1 true 5.714s 1 1 true 6.019s 1 1 true 6.115s 1 1 true 6.054s 1 1 true 6.051s 1 1 true 6.170s 1 1 true 5.932s 1 1 true 5.720s 1 1 true 6.154s 1 1 true 5.822s 1 1 true 6.033s 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 7.470s 3 0 true 7.743s 3 8 true 5.482s 1 4 true 5.559s 1 4 true 8.118s 3 8 true 7.399s 3 8 true 5.645s 1 4 true 5.640s 1 4 true 7.250s 3 7 true 5.374s 1 4 true 6.040s 2 6 timeout 905.430s 1 4 timeout 931.969s - - true 7.942s 3 8
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.169s 1 0 true 5.168s 1 1 true 5.333s 1 1 true 5.079s 1 1 true 5.271s 1 1 true 5.353s 1 1 true 5.242s 1 1 true 5.106s 1 1 true 5.332s 1 1 true 5.436s 1 1 true 5.344s 1 1 true 5.192s 1 1 true 7.626s 1 1 true 5.427s 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.089s 1 0 true 6.024s 1 1 true 6.021s 1 1 true 6.067s 1 1 true 5.892s 1 1 true 6.061s 1 1 true 6.370s 1 1 true 5.520s 1 1 true 6.446s 1 1 true 5.767s 1 1 true 6.228s 1 1 true 5.749s 1 1 true 6.114s 1 1 true 5.641s 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 5.805s 1 0 true 5.455s 1 1 true 5.552s 1 1 true 5.653s 1 1 true 5.473s 1 1 true 5.393s 1 1 true 5.465s 1 1 true 5.379s 1 1 true 5.609s 1 1 true 5.469s 1 1 true 5.446s 1 1 true 5.440s 1 1 true 5.477s 1 1 true 5.360s 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.441s 1 0 true 5.321s 1 1 true 5.026s 1 1 true 5.147s 1 1 true 5.387s 1 1 true 5.740s 1 1 true 5.124s 1 1 true 5.406s 1 1 true 5.164s 1 1 true 5.094s 1 1 true 5.191s 1 1 true 5.245s 1 1 true 5.332s 1 1 true 5.319s 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 7.972s 2 0 true 7.534s 2 5 true 6.329s 1 4 true 5.891s 1 4 true 7.536s 2 5 true 7.524s 2 5 true 5.981s 1 4 true 6.007s 1 4 true 7.819s 2 5 true 6.076s 1 4 true 6.982s 2 5 true 6.606s 2 5 true 5.905s 1 4 true 7.107s 2 5
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.126s 1 0 true 5.235s 1 1 true 5.038s 1 1 true 5.402s 1 1 true 5.268s 1 1 true 5.037s 1 1 true 5.186s 1 1 true 5.294s 1 1 true 5.527s 1 1 true 5.414s 1 1 true 5.338s 1 1 true 5.156s 1 1 true 5.400s 1 1 true 5.356s 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 5.805s 1 0 true 5.564s 1 1 true 5.327s 1 1 true 6.310s 1 1 true 5.942s 1 1 true 5.768s 1 1 true 7.049s 1 1 true 5.640s 1 1 true 5.495s 1 1 true 6.119s 1 1 true 5.860s 1 1 true 5.533s 1 1 true 5.354s 1 1 true 5.399s 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.129s 1 0 true 5.152s 1 1 true 5.009s 1 1 true 5.017s 1 1 true 4.873s 1 1 true 5.152s 1 1 true 5.141s 1 1 true 4.995s 1 1 true 5.190s 1 1 true 5.028s 1 1 true 5.190s 1 1 true 4.797s 1 1 true 4.948s 1 1 true 4.760s 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 5.398s 1 0 true 5.234s 1 1 true 5.255s 1 1 true 6.331s 1 1 true 5.595s 1 1 true 5.052s 1 1 true 5.279s 1 1 true 5.603s 1 1 true 5.128s 1 1 true 5.311s 1 1 true 5.326s 1 1 true 5.104s 1 1 true 5.201s 1 1 true 5.309s 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.052s 1 0 true 5.294s 1 1 true 4.943s 1 1 true 5.075s 1 1 true 5.134s 1 1 true 5.137s 1 1 true 4.973s 1 1 true 5.168s 1 1 true 5.236s 1 1 true 5.187s 1 1 true 5.090s 1 1 true 5.096s 1 1 true 5.009s 1 1 true 5.399s 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.358s 1 0 true 5.125s 1 1 true 4.985s 1 1 true 5.087s 1 1 true 5.153s 1 1 true 5.044s 1 1 true 4.930s 1 1 true 5.182s 1 1 true 5.015s 1 1 true 4.880s 1 1 true 5.090s 1 1 true 5.219s 1 1 true 5.350s 1 1 true 4.979s 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 4.991s 1 0 true 5.135s 1 1 true 5.081s 1 1 true 5.012s 1 1 true 6.125s 1 1 true 5.217s 1 1 true 5.208s 1 1 true 5.295s 1 1 true 5.392s 1 1 true 4.960s 1 1 true 5.627s 1 1 true 5.319s 1 1 true 4.994s 1 1 true 6.561s 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 4.811s 1 0 true 4.999s 1 1 true 4.972s 1 1 true 5.082s 1 1 true 4.881s 1 1 true 4.971s 1 1 true 4.685s 1 1 true 4.904s 1 1 true 5.186s 1 1 true 5.403s 1 1 true 4.950s 1 1 true 4.730s 1 1 true 5.023s 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--misc--ad714x-i2c.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.134s 1 0 true 5.005s 1 1 true 5.327s 1 1 true 4.974s 1 1 true 5.471s 1 1 true 5.083s 1 1 true 5.092s 1 1 true 5.473s 1 1 true 5.566s 1 1 true 5.387s 1 1 true 5.575s 1 1 true 5.257s 1 1 true 5.081s 1 1 true 5.216s 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.335s 1 0 true 5.393s 1 1 true 8.938s 1 1 true 5.576s 1 1 true 5.232s 1 1 true 5.159s 1 1 true 5.615s 1 1 true 5.213s 1 1 true 5.108s 1 1 true 5.232s 1 1 true 5.737s 1 1 true 5.502s 1 1 true 5.169s 1 1 true 5.531s 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 6.226s 1 0 true 5.365s 1 1 true 5.460s 1 1 true 5.649s 1 1 true 5.394s 1 1 true 5.367s 1 1 true 5.197s 1 1 true 5.393s 1 1 true 5.667s 1 1 true 5.333s 1 1 true 5.353s 1 1 true 5.587s 1 1 true 5.582s 1 1 true 5.201s 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 timeout 901.964s 2 0 timeout 901.731s 2 6 true 6.212s 1 4 true 6.022s 1 4 timeout 901.698s 2 6 timeout 901.794s 2 6 true 6.068s 1 4 true 6.626s 1 4 timeout 901.803s 2 6 true 5.988s 1 4 true 6.229s 1 4 true 6.496s 2 6 timeout 902.063s 1 4 timeout 902.131s 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.174s 1 0 true 5.483s 1 1 true 5.182s 1 1 true 5.107s 1 1 true 5.266s 1 1 true 5.051s 1 1 true 5.185s 1 1 true 5.446s 1 1 true 5.206s 1 1 true 5.163s 1 1 true 5.166s 1 1 true 5.302s 1 1 true 4.969s 1 1 true 5.100s 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.199s 1 0 true 5.183s 1 1 true 5.065s 1 1 true 4.865s 1 1 true 5.377s 1 1 true 5.090s 1 1 true 5.366s 1 1 true 4.949s 1 1 true 5.291s 1 1 true 5.955s 1 1 true 5.578s 1 1 true 5.095s 1 1 true 5.094s 1 1 true 4.935s 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 5.715s 1 0 true 5.585s 1 1 true 5.412s 1 1 true 5.657s 1 1 true 5.589s 1 1 true 5.712s 1 1 true 6.117s 1 1 true 5.478s 1 1 true 5.663s 1 1 true 5.692s 1 1 true 6.070s 1 1 true 5.714s 1 1 true 5.697s 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--misc--mpu3050.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.173s 1 0 true 6.043s 1 1 true 5.725s 1 1 true 6.771s 1 1 true 6.205s 1 1 true 6.310s 1 1 true 6.075s 1 1 true 6.281s 1 1 true 6.303s 1 1 true 6.059s 1 1 true 6.130s 1 1 true 6.355s 1 1 true 6.181s 1 1 true 6.220s 1 1
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 4.957s 1 0 true 6.170s 1 1 true 5.387s 1 1 true 5.034s 1 1 true 5.023s 1 1 true 5.097s 1 1 true 5.190s 1 1 true 4.965s 1 1 true 4.943s 1 1 true 5.219s 1 1 true 5.369s 1 1 true 4.912s 1 1 true 5.091s 1 1 true 4.944s 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.023s 1 0 true 5.319s 1 1 true 5.097s 1 1 true 5.060s 1 1 true 5.077s 1 1 true 5.235s 1 1 true 5.268s 1 1 true 5.165s 1 1 true 4.939s 1 1 true 5.344s 1 1 true 5.035s 1 1 true 5.204s 1 1 true 5.009s 1 1 true 5.046s 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 4.945s 1 0 true 5.286s 1 1 true 5.057s 1 1 true 5.177s 1 1 true 5.106s 1 1 true 5.224s 1 1 true 5.096s 1 1 true 4.931s 1 1 true 5.232s 1 1 true 5.075s 1 1 true 5.258s 1 1 true 5.208s 1 1 true 5.047s 1 1 true 4.902s 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 5.736s 1 0 true 5.712s 1 1 true 6.414s 1 1 true 5.681s 1 1 true 8.931s 1 1 true 5.839s 1 1 true 5.975s 1 1 true 5.747s 1 1 true 6.130s 1 1 true 5.709s 1 1 true 5.766s 1 1 true 5.740s 1 1 true 6.003s 1 1 true 5.750s 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 4.944s 1 0 true 4.974s 1 1 true 5.064s 1 1 true 5.249s 1 1 true 5.577s 1 1 true 5.159s 1 1 true 5.135s 1 1 true 5.363s 1 1 true 4.894s 1 1 true 5.127s 1 1 true 5.238s 1 1 true 5.006s 1 1 true 5.219s 1 1 true 5.235s 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 true 5.903s 1 0 true 5.613s 1 1 true 5.637s 1 1 true 5.828s 1 1 true 5.804s 1 1 true 5.631s 1 1 true 5.852s 1 1 true 5.770s 1 1 true 5.829s 1 1 true 6.009s 1 1 true 5.812s 1 1 true 5.863s 1 1 true 5.863s 1 1 true 5.971s 1 1
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 5.858s 1 0 true 5.154s 1 1 true 5.157s 1 1 true 5.265s 1 1 true 5.194s 1 1 true 6.559s 1 1 true 5.275s 1 1 true 5.247s 1 1 true 5.229s 1 1 true 4.994s 1 1 true 5.167s 1 1 true 5.211s 1 1 true 5.083s 1 1 true 5.161s 1 1
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 6.705s 1 0 true 6.574s 1 1 true 6.759s 1 1 true 6.669s 1 1 true 7.057s 1 1 true 6.639s 1 1 true 6.506s 1 1 true 6.596s 1 1 true 6.720s 1 1 true 6.515s 1 1 true 6.698s 1 1 true 6.525s 1 1 true 6.700s 1 1 true 6.720s 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 5.853s 2 0 true 6.375s 2 4 true 5.550s 1 3 true 5.354s 1 3 true 5.832s 2 4 true 5.972s 2 4 true 5.563s 1 3 true 6.362s 1 3 true 9.964s 2 4 true 5.346s 1 3 true 5.763s 2 4 true 5.772s 2 4 true 5.481s 1 3 true 5.419s 1 3
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.996s 1 0 true 4.947s 1 1 true 4.874s 1 1 true 5.023s 1 1 true 4.746s 1 1 true 4.992s 1 1 true 4.969s 1 1 true 4.850s 1 1 true 4.828s 1 1 true 5.150s 1 1 true 5.122s 1 1 true 6.210s 1 1 true 5.133s 1 1 true 5.164s 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 5.536s 1 0 true 5.611s 1 1 true 5.615s 1 1 true 5.633s 1 1 true 5.665s 1 1 true 5.493s 1 1 true 5.627s 1 1 true 5.717s 1 1 true 5.706s 1 1 true 5.527s 1 1 true 5.362s 1 1 true 5.198s 1 1 true 5.281s 1 1 true 5.500s 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 5.667s 1 0 true 5.880s 1 1 true 6.000s 1 1 true 5.897s 1 1 true 5.771s 1 1 true 5.888s 1 1 true 5.608s 1 1 true 5.970s 1 1 true 6.140s 1 1 true 6.098s 1 1 true 5.742s 1 1 true 6.084s 1 1 true 5.633s 1 1 true 6.291s 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.412s 1 0 true 5.184s 1 1 true 5.283s 1 1 true 5.445s 1 1 true 4.909s 1 1 true 5.161s 1 1 true 5.066s 1 1 true 4.986s 1 1 true 5.125s 1 1 true 5.188s 1 1 true 5.023s 1 1 true 5.083s 1 1 true 5.422s 1 1 true 5.008s 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.094s 1 0 true 6.302s 1 1 true 6.188s 1 1 true 6.235s 1 1 true 6.379s 1 1 true 5.997s 1 1 true 6.212s 1 1 true 6.453s 1 1 true 6.904s 1 1 true 6.637s 1 1 true 6.223s 1 1 true 6.264s 1 1 true 6.544s 1 1 true 6.289s 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 5.957s 1 0 true 6.250s 1 1 true 5.986s 1 1 true 5.770s 1 1 true 5.905s 1 1 true 5.886s 1 1 true 6.020s 1 1 true 6.182s 1 1 true 5.995s 1 1 true 6.107s 1 1 true 5.998s 1 1 true 6.269s 1 1 true 6.120s 1 1 true 6.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 4.990s 1 0 true 5.291s 1 1 true 5.124s 1 1 true 4.962s 1 1 true 7.318s 1 1 true 5.025s 1 1 true 4.998s 1 1 true 7.292s 1 1 true 8.277s 1 1 true 4.948s 1 1 true 5.243s 1 1 true 5.210s 1 1 true 4.786s 1 1 true 5.238s 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.063s 1 0 true 5.058s 1 1 true 5.461s 1 1 true 5.088s 1 1 true 5.190s 1 1 true 5.040s 1 1 true 5.066s 1 1 true 5.232s 1 1 true 5.218s 1 1 true 4.975s 1 1 true 5.287s 1 1 true 5.110s 1 1 true 5.189s 1 1 true 5.309s 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.095s 1 0 true 5.092s 1 1 true 5.110s 1 1 true 4.963s 1 1 true 4.979s 1 1 true 5.297s 1 1 true 5.316s 1 1 true 5.279s 1 1 true 5.186s 1 1 true 5.301s 1 1 true 5.398s 1 1 true 5.394s 1 1 true 5.158s 1 1 true 5.151s 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 4.947s 1 0 true 5.515s 1 1 true 4.888s 1 1 true 5.023s 1 1 true 4.987s 1 1 true 4.924s 1 1 true 5.126s 1 1 true 4.935s 1 1 true 5.108s 1 1 true 5.006s 1 1 true 5.013s 1 1 true 4.917s 1 1 true 5.345s 1 1 true 5.486s 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 5.962s 1 0 true 5.783s 1 1 true 5.585s 1 1 true 5.682s 1 1 true 5.892s 1 1 true 5.909s 1 1 true 5.721s 1 1 true 5.945s 1 1 true 5.966s 1 1 true 6.013s 1 1 true 6.103s 1 1 true 5.824s 1 1 true 5.463s 1 1 true 6.001s 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.764s 2 0 true 6.191s 2 3 true 5.279s 1 2 true 5.182s 1 2 true 5.701s 2 3 true 5.842s 2 3 true 5.063s 1 2 true 4.984s 1 2 true 5.832s 2 3 true 5.485s 1 2 true 6.153s 2 3 true 6.126s 2 3 true 5.404s 1 2 true 5.503s 2 3
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.204s 1 0 true 5.161s 1 1 true 7.120s 1 1 true 5.423s 1 1 true 5.096s 1 1 true 5.110s 1 1 true 5.287s 1 1 true 5.204s 1 1 true 5.391s 1 1 true 5.474s 1 1 true 4.928s 1 1 true 5.140s 1 1 true 5.343s 1 1 true 5.107s 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.103s 1 0 true 6.201s 1 1 true 6.115s 1 1 true 6.678s 1 1 true 6.094s 1 1 true 6.105s 1 1 true 6.222s 1 1 true 5.846s 1 1 true 6.117s 1 1 true 6.318s 1 1 true 6.477s 1 1 true 6.190s 1 1 true 6.145s 1 1 true 5.821s 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 6.330s 1 0 true 6.531s 1 1 true 6.206s 1 1 true 6.019s 1 1 true 6.572s 1 1 true 6.428s 1 1 true 6.365s 1 1 true 6.294s 1 1 true 6.298s 1 1 true 6.251s 1 1 true 5.927s 1 1 true 6.445s 1 1 true 6.373s 1 1 true 6.293s 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.462s 1 0 true 5.514s 1 1 true 5.177s 1 1 true 5.153s 1 1 true 5.177s 1 1 true 5.234s 1 1 true 4.931s 1 1 true 5.270s 1 1 true 5.141s 1 1 true 4.954s 1 1 true 4.975s 1 1 true 5.024s 1 1 true 5.039s 1 1 true 5.546s 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.419s 1 0 true 5.070s 1 1 true 5.230s 1 1 true 5.152s 1 1 true 4.988s 1 1 true 4.930s 1 1 true 5.182s 1 1 true 5.345s 1 1 true 5.582s 1 1 true 4.957s 1 1 true 5.126s 1 1 true 5.131s 1 1 true 5.565s 1 1 true 4.969s 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 9.629s 1 0 true 5.162s 1 1 true 6.074s 1 1 true 5.108s 1 1 true 5.065s 1 1 true 5.416s 1 1 true 5.700s 1 1 true 5.262s 1 1 true 5.379s 1 1 true 5.535s 1 1 true 5.401s 1 1 true 5.408s 1 1 true 5.035s 1 1 true 6.538s 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.197s 1 0 true 5.402s 1 1 true 4.993s 1 1 true 5.143s 1 1 true 5.221s 1 1 true 5.248s 1 1 true 5.133s 1 1 true 5.518s 1 1 true 5.246s 1 1 true 5.094s 1 1 true 5.156s 1 1 true 5.466s 1 1 true 5.129s 1 1 true 5.233s 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 7.631s 1 0 true 8.194s 1 1 true 7.956s 1 1 true 8.052s 1 1 true 7.756s 1 1 true 7.547s 1 1 true 7.506s 1 1 true 7.632s 1 1 true 8.679s 1 1 true 7.570s 1 1 true 7.986s 1 1 true 7.763s 1 1 true 7.828s 1 1 true 7.734s 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 5.645s 1 0 true 6.353s 1 1 true 5.912s 1 1 true 6.291s 1 1 true 5.706s 1 1 true 6.252s 1 1 true 5.876s 1 1 true 5.797s 1 1 true 5.999s 1 1 true 5.594s 1 1 true 5.633s 1 1 true 5.661s 1 1 true 5.827s 1 1 true 5.996s 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 6.354s 1 0 true 6.624s 1 1 true 6.556s 1 1 true 6.116s 1 1 true 6.501s 1 1 true 6.214s 1 1 true 6.647s 1 1 true 6.483s 1 1 true 6.710s 1 1 true 6.974s 1 1 true 6.237s 1 1 true 6.947s 1 1 true 6.585s 1 1 true 6.913s 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 4.701s 2 0 true 4.849s 2 3 true 4.961s 1 2 true 5.042s 2 3 true 5.000s 2 3 true 4.810s 2 3 true 4.822s 1 2 true 5.171s 1 2 true 5.276s 2 3 true 5.012s 2 3 true 5.078s 2 3 true 4.893s 2 3 true 4.808s 2 3 true 4.985s 2 3
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.279s 1 0 true 5.466s 1 1 true 5.374s 1 1 true 5.444s 1 1 true 5.187s 1 1 true 5.341s 1 1 true 5.238s 1 1 true 5.515s 1 1 true 5.359s 1 1 true 5.686s 1 1 true 5.327s 1 1 true 5.237s 1 1 true 5.412s 1 1 true 5.377s 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 timeout 916.301s 3 0 timeout 932.015s - - true 14.048s 1 8 true 14.441s 1 8 timeout 903.005s 2 16 timeout 902.375s 3 22 true 15.204s 1 8 timeout 911.135s 1 8 timeout 903.721s 3 22 true 15.251s 1 8 timeout 932.008s - - timeout 912.799s 2 16 timeout 901.834s 1 8 true 130.997s 4 27
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.043s 1 0 true 5.388s 1 1 true 5.144s 1 1 true 5.108s 1 1 true 5.265s 1 1 true 5.498s 1 1 true 5.264s 1 1 true 5.402s 1 1 true 5.146s 1 1 true 5.132s 1 1 true 5.241s 1 1 true 5.160s 1 1 true 5.003s 1 1 true 5.424s 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.220s 1 0 true 5.200s 1 1 true 5.451s 1 1 true 5.109s 1 1 true 5.346s 1 1 true 5.155s 1 1 true 5.280s 1 1 true 5.438s 1 1 true 5.453s 1 1 true 6.224s 1 1 true 5.247s 1 1 true 5.270s 1 1 true 5.308s 1 1 true 5.605s 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.331s 1 0 true 5.676s 1 1 true 5.388s 1 1 true 5.167s 1 1 true 5.015s 1 1 true 5.027s 1 1 true 5.435s 1 1 true 5.399s 1 1 true 4.955s 1 1 true 5.140s 1 1 true 5.400s 1 1 true 5.209s 1 1 true 5.082s 1 1 true 5.089s 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.490s 1 0 true 5.503s 1 1 true 5.083s 1 1 true 5.330s 1 1 true 5.157s 1 1 true 5.607s 1 1 true 5.294s 1 1 true 5.478s 1 1 true 5.290s 1 1 true 5.453s 1 1 true 5.173s 1 1 true 5.436s 1 1 true 5.311s 1 1 true 5.351s 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 5.215s 1 0 true 7.297s 1 1 true 4.940s 1 1 true 7.109s 1 1 true 5.164s 1 1 true 5.453s 1 1 true 5.292s 1 1 true 5.553s 1 1 true 4.957s 1 1 true 5.361s 1 1 true 5.449s 1 1 true 5.136s 1 1 true 5.119s 1 1 true 7.826s 1 1
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 8.000s 1 0 true 8.350s 1 1 true 8.771s 1 1 true 8.653s 1 1 true 8.200s 1 1 true 7.953s 1 1 true 8.406s 1 1 true 8.594s 1 1 true 8.671s 1 1 true 8.119s 1 1 true 8.194s 1 1 true 7.973s 1 1 true 8.092s 1 1 true 8.091s 1 1
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 5.544s 1 0 true 5.364s 1 1 true 5.180s 1 1 true 5.234s 1 1 true 8.356s 1 1 true 5.106s 1 1 true 5.089s 1 1 true 5.436s 1 1 true 5.123s 1 1 true 5.132s 1 1 true 5.473s 1 1 true 4.950s 1 1 true 5.032s 1 1 true 5.184s 1 1
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 7.101s 1 0 true 7.281s 1 1 true 7.459s 1 1 true 7.259s 1 1 true 7.378s 1 1 true 7.776s 1 1 true 7.104s 1 1 true 7.243s 1 1 true 7.712s 1 1 true 7.178s 1 1 true 7.322s 1 1 true 7.129s 1 1 true 7.056s 1 1 true 6.998s 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 4.551s 1 0 true 4.828s 1 1 true 4.549s 1 1 true 5.034s 1 1 true 4.661s 1 1 true 4.803s 1 1 true 4.876s 1 1 true 4.610s 1 1 true 4.692s 1 1 true 4.612s 1 1 true 5.750s 1 1 true 4.617s 1 1 true 4.642s 1 1 true 4.936s 1 1
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 5.511s 1 0 true 5.366s 1 1 true 5.147s 1 1 true 5.033s 1 1 true 5.063s 1 1 true 5.344s 1 1 true 5.413s 1 1 true 5.085s 1 1 true 5.010s 1 1 true 5.164s 1 1 true 6.662s 1 1 true 5.029s 1 1 true 5.300s 1 1 true 5.477s 1 1
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.003s 1 0 true 5.202s 1 1 true 5.182s 1 1 true 5.315s 1 1 true 4.901s 1 1 true 5.124s 1 1 true 5.391s 1 1 true 5.224s 1 1 true 5.309s 1 1 true 5.187s 1 1 true 5.042s 1 1 true 5.094s 1 1 true 4.933s 1 1 true 5.208s 1 1
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.855s 1 0 true 5.466s 1 1 true 6.660s 1 1 true 5.768s 1 1 true 5.620s 1 1 true 5.919s 1 1 true 5.811s 1 1 true 5.726s 1 1 true 5.807s 1 1 true 5.806s 1 1 true 5.499s 1 1 true 5.600s 1 1 true 5.802s 1 1 true 5.938s 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.255s 1 0 true 4.292s 1 1 true 4.454s 1 1 true 4.412s 1 1 true 4.242s 1 1 true 7.004s 1 1 true 4.385s 1 1 true 4.283s 1 1 true 4.084s 1 1 true 4.323s 1 1 true 4.487s 1 1 true 4.162s 1 1 true 4.160s 1 1 true 7.354s 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 4.980s 1 0 true 4.881s 1 1 true 4.944s 1 1 true 5.242s 1 1 true 5.174s 1 1 true 5.024s 1 1 true 5.225s 1 1 true 4.912s 1 1 true 4.987s 1 1 true 4.791s 1 1 true 4.789s 1 1 true 4.947s 1 1 true 5.073s 1 1 true 5.165s 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 5.026s 2 0 true 5.028s 2 3 true 5.133s 1 2 true 4.917s 1 2 true 5.188s 2 3 true 5.668s 2 3 true 4.831s 1 2 true 4.955s 1 2 true 5.006s 2 3 true 5.369s 1 2 true 4.991s 2 3 true 5.373s 2 3 true 5.053s 1 2 true 5.282s 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 4.970s 1 0 true 5.106s 1 1 true 9.141s 1 1 true 5.289s 1 1 true 5.395s 1 1 true 5.288s 1 1 true 5.371s 1 1 true 4.987s 1 1 true 5.133s 1 1 true 4.844s 1 1 true 5.207s 1 1 true 5.256s 1 1 true 5.597s 1 1 true 5.533s 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 7.528s 1 0 true 7.851s 1 1 true 7.767s 1 1 true 7.398s 1 1 true 7.649s 1 1 true 7.669s 1 1 true 7.263s 1 1 true 7.696s 1 1 true 8.327s 1 1 true 8.005s 1 1 true 7.738s 1 1 true 11.893s 1 1 true 9.805s 1 1 true 7.564s 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 6.014s 1 0 true 6.251s 1 1 true 6.041s 1 1 true 6.013s 1 1 true 5.960s 1 1 true 5.810s 1 1 true 5.926s 1 1 true 6.378s 1 1 true 6.430s 1 1 true 5.982s 1 1 true 5.993s 1 1 true 5.820s 1 1 true 6.092s 1 1 true 5.734s 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 6.039s 1 0 true 6.511s 1 1 true 6.095s 1 1 true 6.446s 1 1 true 6.065s 1 1 true 6.102s 1 1 true 6.221s 1 1 true 6.262s 1 1 true 6.463s 1 1 true 6.193s 1 1 true 9.646s 1 1 true 8.783s 1 1 true 6.068s 1 1 true 6.186s 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 9.265s 1 0 true 8.962s 1 1 true 9.405s 1 1 true 9.218s 1 1 true 9.204s 1 1 true 9.042s 1 1 true 9.259s 1 1 true 9.231s 1 1 true 9.021s 1 1 true 8.949s 1 1 true 9.161s 1 1 true 9.169s 1 1 true 9.132s 1 1 true 9.324s 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 5.980s 1 0 true 5.956s 1 1 true 5.868s 1 1 true 6.124s 1 1 true 6.391s 1 1 true 5.805s 1 1 true 6.118s 1 1 true 6.050s 1 1 true 6.297s 1 1 true 5.938s 1 1 true 6.369s 1 1 true 6.001s 1 1 true 5.833s 1 1 true 5.834s 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 5.878s 1 0 true 6.331s 1 1 true 6.163s 1 1 true 6.765s 1 1 true 6.377s 1 1 true 5.939s 1 1 true 5.995s 1 1 true 6.333s 1 1 true 6.329s 1 1 true 6.110s 1 1 true 6.633s 1 1 true 6.066s 1 1 true 7.056s 1 1 true 6.140s 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 8.500s 1 0 true 8.353s 1 1 true 8.599s 1 1 true 8.874s 1 1 true 8.832s 1 1 true 8.731s 1 1 true 8.876s 1 1 true 8.664s 1 1 true 8.737s 1 1 true 8.655s 1 1 true 8.583s 1 1 true 8.627s 1 1 true 8.530s 1 1 true 8.934s 1 1
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 8.659s 1 0 true 8.640s 1 1 true 8.440s 1 1 true 8.753s 1 1 true 8.712s 1 1 true 8.653s 1 1 true 8.716s 1 1 true 8.674s 1 1 true 8.524s 1 1 true 8.500s 1 1 true 8.991s 1 1 true 8.910s 1 1 true 8.671s 1 1 true 8.576s 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 7.186s 1 0 true 7.354s 1 1 true 6.722s 1 1 true 6.702s 1 1 true 7.153s 1 1 true 6.561s 1 1 true 6.707s 1 1 true 6.858s 1 1 true 6.814s 1 1 true 6.573s 1 1 true 6.800s 1 1 true 6.866s 1 1 true 6.398s 1 1 true 6.715s 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 10.453s 1 0 true 11.111s 1 1 true 11.941s 1 1 true 11.434s 1 1 true 11.254s 1 1 true 11.261s 1 1 true 11.067s 1 1 true 10.967s 1 1 true 10.793s 1 1 true 11.221s 1 1 true 11.067s 1 1 true 10.971s 1 1 true 10.876s 1 1 true 11.078s 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 8.988s 1 0 true 9.296s 1 1 true 9.838s 1 1 true 9.635s 1 1 true 8.971s 1 1 true 9.218s 1 1 true 10.119s 1 1 true 9.396s 1 1 true 9.523s 1 1 true 9.678s 1 1 true 9.714s 1 1 true 9.530s 1 1 true 9.212s 1 1 true 9.238s 1 1
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 14.993s 3 0 true 15.541s 3 5 true 14.413s 1 2 true 13.601s 1 2 true 16.038s 3 5 true 15.376s 3 5 true 13.456s 1 2 true 14.334s 1 2 true 15.495s 3 5 true 13.826s 1 2 true 15.607s 3 5 true 14.483s 1 2 true 15.716s 3 5 true 13.023s 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-a800.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.558s 1 0 true 6.923s 1 1 true 6.812s 1 1 true 6.429s 1 1 true 7.186s 1 1 true 6.667s 1 1 true 6.655s 1 1 true 6.563s 1 1 true 6.433s 1 1 true 6.844s 1 1 true 6.738s 1 1 true 6.949s 1 1 true 6.950s 1 1 true 6.708s 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.487s 1 0 true 7.064s 1 1 true 6.816s 1 1 true 6.699s 1 1 true 7.956s 1 1 true 6.996s 1 1 true 7.229s 1 1 true 6.980s 1 1 true 6.999s 1 1 true 7.198s 1 1 true 7.164s 1 1 true 7.102s 1 1 true 6.909s 1 1 true 7.297s 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) 12.612s 5 0 false(reach) 12.072s 5 7 false(reach) 12.593s 6 9 false(reach) 11.370s 5 7 false(reach) 13.105s 6 9 false(reach) 11.941s 5 7 false(reach) 12.725s 6 8 false(reach) 12.055s 6 8 false(reach) 12.616s 5 7 false(reach) 11.930s 5 7 false(reach) 11.954s 5 7 false(reach) 12.218s 6 8 false(reach) 12.058s 6 8 false(reach) 12.247s 6 8
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 9.908s 2 0 true 10.243s 2 2 true 10.066s 2 2 true 10.094s 2 2 true 11.096s 2 2 true 10.009s 2 2 true 10.330s 2 2 true 9.966s 2 2 true 9.935s 2 2 true 9.994s 2 2 true 9.944s 2 2 true 10.025s 2 2 true 10.017s 2 2 true 9.894s 2 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-ce6230.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.543s 1 0 true 7.900s 1 1 true 7.490s 1 1 true 7.550s 1 1 true 7.351s 1 1 true 7.540s 1 1 true 7.591s 1 1 true 7.686s 1 1 true 7.966s 1 1 true 7.558s 1 1 true 7.525s 1 1 true 7.216s 1 1 true 7.780s 1 1 true 7.726s 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_main0_sequence_infinite_withcheck_stateful.cil.out.c true 8.306s 1 0 true 8.073s 1 1 true 7.761s 1 1 true 9.503s 1 1 true 7.992s 1 1 true 7.748s 1 1 true 7.928s 1 1 true 7.767s 1 1 true 8.229s 1 1 true 8.113s 1 1 true 7.644s 1 1 true 7.822s 1 1 true 8.267s 1 1 true 8.111s 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 7.956s 1 0 true 8.242s 1 1 true 7.972s 1 1 true 7.978s 1 1 true 7.736s 1 1 true 8.144s 1 1 true 7.846s 1 1 true 8.491s 1 1 true 8.367s 1 1 true 8.163s 1 1 true 8.028s 1 1 true 8.090s 1 1 true 7.824s 1 1 true 10.792s 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.966s 1 0 true 8.207s 1 1 true 11.877s 1 1 true 7.653s 1 1 true 8.461s 1 1 true 7.798s 1 1 true 7.462s 1 1 true 7.779s 1 1 true 7.882s 1 1 true 7.354s 1 1 true 7.826s 1 1 true 7.528s 1 1 true 7.339s 1 1 true 7.534s 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 8.582s 1 0 true 8.094s 1 1 true 8.706s 1 1 true 7.944s 1 1 true 7.962s 1 1 true 8.503s 1 1 true 8.686s 1 1 true 8.606s 1 1 true 8.213s 1 1 true 8.025s 1 1 true 8.325s 1 1 true 8.521s 1 1 true 8.422s 1 1 true 8.930s 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.313s 1 0 true 6.497s 1 1 true 6.742s 1 1 true 6.456s 1 1 true 6.334s 1 1 true 6.425s 1 1 true 10.431s 1 1 true 6.553s 1 1 true 6.823s 1 1 true 6.692s 1 1 true 6.358s 1 1 true 6.464s 1 1 true 6.625s 1 1 true 6.467s 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 9.644s 2 0 timeout 902.889s 3 6 true 11.424s 5 15 true 9.911s 2 4 timeout 906.066s 4 10 timeout 903.441s 3 6 timeout 904.665s 5 14 timeout 903.651s 4 10 true 9.519s 2 4 true 9.828s 2 4 true 9.414s 2 4 true 9.424s 2 4 timeout 903.736s 5 14 timeout 919.640s 6 13
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 8.650s 1 0 true 9.165s 1 1 true 8.814s 1 1 true 9.405s 1 1 true 8.859s 1 1 true 8.782s 1 1 true 9.196s 1 1 true 9.240s 1 1 true 9.294s 1 1 true 9.086s 1 1 true 8.952s 1 1 true 8.755s 1 1 true 9.044s 1 1 true 8.740s 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 8.811s 1 0 true 10.481s 1 1 true 8.543s 1 1 true 13.191s 1 1 true 8.669s 1 1 true 8.428s 1 1 true 8.665s 1 1 true 8.476s 1 1 true 8.668s 1 1 true 8.813s 1 1 true 8.515s 1 1 true 8.175s 1 1 true 8.612s 1 1 true 8.655s 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-dtv5100.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.793s 1 0 true 7.052s 1 1 true 7.129s 1 1 true 7.257s 1 1 true 7.435s 1 1 true 6.943s 1 1 true 7.015s 1 1 true 7.167s 1 1 true 6.966s 1 1 true 6.799s 1 1 true 7.159s 1 1 true 7.275s 1 1 true 6.872s 1 1 true 7.151s 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-gl861.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.063s 1 0 true 6.738s 1 1 true 6.822s 1 1 true 7.062s 1 1 true 7.050s 1 1 true 6.925s 1 1 true 6.728s 1 1 true 7.002s 1 1 true 7.133s 1 1 true 6.852s 1 1 true 7.120s 1 1 true 9.399s 1 1 true 6.705s 1 1 true 6.994s 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-