Tool CPAchecker 1.6.1-svn 24714M CPAchecker 1.6.1-svn 24677M
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 2
Host apollon*
OS Linux 4.4.0-77-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33553 MB
Run set bmc-bitprecise.BMC.ProductLines k-induction-bitprecise.k-Induction-inv-combined.ProductLines predicateAnalysis-bitprecise.PredicateAbstraction.ProductLines impact-bitprecise.Impact.ProductLines
Options -heap 10000M -noout -disable-java-assertions -bmc -setprop cpa.bounds.maxLoopIterationsUpperBound=0 -setprop cpa.bounds.maxLoopIterations=1 -setprop cpa.bounds.maxLoopIterationAdjusterFactory=INCREMENT -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -setprop solver.solver=MATHSAT5 -setprop cpa.predicate.encodeBitvectorAs=BITVECTOR -setprop cpa.predicate.encodeFloatAs=FLOAT -setprop analysis.checkCounterexamples=true -setprop counterexample.checker=CBMC -setprop analysis.summaryEdges=true -setprop cpa.callstack.skipVoidRecursion=true -setprop cpa.callstack.skipFunctionPointerRecursion=true -heap 10000M -noout -disable-java-assertions -setprop solver.solver=MATHSAT5 -setprop cpa.predicate.encodeBitvectorAs=BITVECTOR -setprop cpa.predicate.encodeFloatAs=FLOAT -setprop analysis.checkCounterexamples=false -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -setprop analysis.summaryEdges=true -setprop cpa.callstack.skipVoidRecursion=true -setprop cpa.callstack.skipFunctionPointerRecursion=true -jar17-k-induction -heap 10000M -noout -disable-java-assertions -predicateAnalysis-PredAbsRefiner-ABEl-bitprecise -setprop solver.solver=MATHSAT5 -setprop cpa.predicate.encodeBitvectorAs=BITVECTOR -setprop cpa.predicate.encodeFloatAs=FLOAT -setprop analysis.checkCounterexamples=true -setprop counterexample.checker=CBMC -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -setprop analysis.summaryEdges=true -setprop cpa.callstack.skipVoidRecursion=true -setprop cpa.callstack.skipFunctionPointerRecursion=true -heap 10000M -noout -disable-java-assertions -predicateAnalysis-ImpactRefiner-ABEl-bitprecise -setprop cpa.predicate.encodeFloatAs=FLOAT -setprop analysis.checkCounterexamples=true -setprop counterexample.checker=CBMC -setprop cpa.forcedCovering=cpa.predicate.PredicateForcedCovering -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -setprop cfa.simplifyCfa=true -setprop cfa.allowBranchSwapping=true -setprop analysis.summaryEdges=true
test/programs/benchmarks/product-lines/ status cputime (s) walltime (s) memUsage host k BMC formula creation (s) SMT check (s) Bounds check (s) status cputime (s) walltime (s) memUsage host k BMC formula creation (s) SMT check (s) Invariant generation (s) Bounds check (s) Induction formula creation (s) Induction check (s) status cputime (s) walltime (s) memUsage host Refinement (s) Precision adjustment (s) CPA algorithm (s) Post operator (s) Prec operator (s) Abstraction (s) Solving (s) Model enumeration (s) SMT without itp (s) Boolean abstraction (s) status cputime (s) walltime (s) memUsage host Attempted forced coverings Refinement (s) Precision adjustment (s) CPA algorithm (s) Post operator (s) Prec operator (s) Abstraction (s) Solving (s) Model enumeration (s) SMT without itp (s) Forced covering (s) Successful forced coverings Boolean abstraction (s)
elevator_spec14_productSimulator_false-unreach-call_true-termination.cil.c false(unreach-call) 339    325    1965465600 apollon060 1 4.06  .720 timeout (false(unreach-call)) 907    454    6792708096 apollon080 1 5.25  1.93  448     timeout 1000    980    4107776000 apollon085 timeout 1000    983    4357185536 apollon076
elevator_spec1_product22_false-unreach-call_true-termination.cil.c false(unreach-call) 7.16 3.80 433184768 apollon057 3 .483 .002 .004 false(unreach-call) 33.0  16.7  1702473728 apollon123 3 .652 .003 13.6   .005 5.21  5.09  timeout 902    887    1448841216 apollon037 3.99  871     881     5.29  870     870     16.2   850     866     867     false(unreach-call) 73.1  60.2  1640476672 apollon061 6 11.1   4.29  42.6   4.79  3.72  3.62  2.27  .732 3.05  30.0   1 3.01 
elevator_spec1_product26_false-unreach-call_true-termination.cil.c false(unreach-call) 6.85 3.63 435290112 apollon167 3 .468 .003 .006 false(unreach-call) 30.6  15.5  1226108928 apollon152 3 .722 .003 11.9   .012 5.31  3.23  timeout 901    888    1124573184 apollon095 3.93  874     882     3.81  873     873     14.4   855     869     870     false(unreach-call) 50.0  36.7  1342496768 apollon130 6 11.3   4.28  19.2   3.83  3.89  3.81  2.71  .567 3.34  8.31  1 3.29 
elevator_spec1_product28_false-unreach-call_true-termination.cil.c false(unreach-call) 7.89 4.17 427855872 apollon030 3 .587 .002 .006 false(unreach-call) 26.9  13.6  1241899008 apollon002 3 .695 .002 10.7   .004 4.31  3.35  timeout 902    888    1234894848 apollon086 3.89  873     882     4.18  873     873     15.3   854     869     870     false(unreach-call) 52.4  38.5  1404358656 apollon133 6 11.9   4.51  20.3   4.13  4.09  4.02  2.98  .508 3.54  8.45  1 3.49 
elevator_spec1_product30_false-unreach-call_true-termination.cil.c false(unreach-call) 7.11 3.76 427102208 apollon061 3 .446 .002 .004 false(unreach-call) 37.4  18.9  1534316544 apollon126 3 .611 .003 15.8   .013 6.48  5.80  timeout 902    888    1513127936 apollon105 4.45  871     881     4.98  870     870     17.1   849     866     867     false(unreach-call) 49.4  37.4  1848852480 apollon072 4 12.0   4.12  18.8   4.40  3.70  3.56  2.37  .622 3.09  6.98  1 3.00 
elevator_spec1_product32_false-unreach-call_true-termination.cil.c false(unreach-call) 9.11 4.83 429576192 apollon106 3 .584 .003 .006 false(unreach-call) 32.3  16.3  1607393280 apollon147 3 .504 .002 13.4   .005 6.43  3.61  timeout 902    886    1486635008 apollon102 4.38  868     879     5.86  867     867     17.8   846     863     864     false(unreach-call) 55.0  41.5  1825947648 apollon137 4 13.8   4.71  20.4   4.57  4.19  4.06  2.70  .705 3.53  7.68  1 3.40 
elevator_spec1_productSimulator_false-unreach-call_true-termination.cil.c false(unreach-call) 17.8  9.92 769224704 apollon099 3 3.13  .326 .527 false(unreach-call) 74.0  37.2  3411361792 apollon087 3 3.48  .693 33.2   .997 16.5   4.04  timeout 903    880    2345529344 apollon094 7.07  846     870     14.3   843     843     15.8   823     839     840     timeout 1000    981    4051226624 apollon096
elevator_spec2_productSimulator_false-unreach-call_true-termination.cil.c false(unreach-call) 15.4  8.73 770461696 apollon041 3 2.81  .202 .400 false(unreach-call) 72.1  36.3  3681357824 apollon009 3 3.57  .402 32.3   1.18  15.5   4.28  timeout 1000    976    5125275648 apollon073 timeout 1000    980    4314116096 apollon098
elevator_spec9_productSimulator_false-unreach-call_true-termination.cil.c false(unreach-call) 16.5  9.04 773533696 apollon114 3 2.93  .214 .568 false(unreach-call) 75.9  38.2  3811938304 apollon127 3 3.41  .446 34.0   1.05  17.6   4.14  timeout 1000    977    4588810240 apollon155 timeout 1000    981    4385673216 apollon158
elevator_spec13_product22_true-unreach-call_false-termination.cil.c timeout 902    889    1551822848 apollon054 7778 88.3   .747 301     timeout 901    451    7599259648 apollon033 1 .887 .00  447     .004 true 413    397    3262349312 apollon135 243     138     153     8.64  137     137     59.5   64.7   124     122     timeout 902    886    1531785216 apollon154 4829 78.6   .595 805     4.98  .143 .009 .00  .00  104     749     133
elevator_spec13_product24_true-unreach-call_false-termination.cil.c timeout 902    889    1379676160 apollon029 9391 87.4   .735 324     timeout 901    452    7618293760 apollon009 1 .842 .00  448     .005 true 206    193    2591576064 apollon044 115     64.7   75.7   6.15  64.0   63.8   41.6   13.5   55.1   51.2   timeout 902    883    2075971584 apollon144 235 840     2.00  40.7   19.7   .426 .032 .00  .00  1.05  5.79  173
elevator_spec1_product03_true-unreach-call_true-termination.cil.c true 8.05 4.24 270356480 apollon007 9 1.10  .00  .039 true 102    51.1  4001619968 apollon141 9 1.35  .00  48.4   .047 5.70  39.9   timeout 902    889    1244213248 apollon082 6.89  872     880     3.85  872     871     25.7   839     865     867     true 36.8  27.6  863760384 apollon100 9 8.48  3.90  16.9   2.18  3.64  3.59  2.51  .610 3.23  8.84  1 3.13 
elevator_spec1_product09_true-unreach-call_true-termination.cil.c true 7.22 3.81 329662464 apollon151 9 .943 .001 .028 true 95.7  48.1  4116758528 apollon064 9 1.01  .001 45.4   .055 5.49  37.6   timeout 901    888    1005568000 apollon069 5.32  873     880     3.07  873     873     19.1   849     868     870     true 38.4  28.1  856719360 apollon152 9 8.02  4.52  17.9   2.56  4.28  4.22  3.08  .603 3.81  8.53  1 3.69 
elevator_spec1_product19_true-unreach-call_true-termination.cil.c true 7.63 4.00 279003136 apollon101 9 1.02  .00  .038 true 102    51.0  4101644288 apollon147 9 1.39  .001 48.3   .073 5.28  40.3   timeout 902    887    1170014208 apollon079 7.15  869     877     3.98  868     868     30.2   831     861     863     true 57.3  44.6  1040826368 apollon073 13 11.5   5.41  30.4   2.38  5.13  5.07  3.72  .756 4.66  20.2   2 4.48 
elevator_spec1_product21_true-unreach-call_true-termination.cil.c true 7.54 3.97 386351104 apollon082 9 1.00  .00  .041 true 194    97.1  4899364864 apollon035 9 1.16  .001 94.2   .038 7.13  84.3   timeout 901    886    1076785152 apollon137 4.24  872     879     3.69  871     871     17.3   850     868     868     true 219    207    1710354432 apollon145 24 41.3   7.28  164     3.49  6.81  6.74  5.11  .741 6.94  150     1 5.86 
elevator_spec1_product23_true-unreach-call_true-termination.cil.c true 9.10 4.79 299593728 apollon032 9 1.25  .001 .044 true 199    99.9  4986413056 apollon166 9 1.34  .00  96.8   .079 7.84  85.8   timeout 902    889    1152446464 apollon065 3.84  876     883     3.44  875     875     17.2   855     872     873     true 312    298    1717297152 apollon139 31 58.2   9.08  237     4.89  8.67  8.60  6.43  .966 8.92  220     2 7.42 
elevator_spec1_product25_true-unreach-call_true-termination.cil.c true 6.68 3.52 340189184 apollon119 9 .879 .00  .029 true 94.9  47.7  3754156032 apollon018 9 1.06  .001 45.0   .044 6.11  36.1   timeout 901    889    1082884096 apollon156 5.15  875     881     3.11  875     874     20.6   849     870     871     true 47.1  37.7  1032896512 apollon148 13 10.1   4.28  25.3   2.29  3.87  3.81  2.66  .632 3.43  16.9   2 3.30 
elevator_spec1_product29_true-unreach-call_true-termination.cil.c true 8.24 4.31 291180544 apollon154 9 1.06  .001 .038 true 174    87.4  4959932416 apollon098 9 1.15  .001 84.4   .043 7.61  73.8   timeout 901    884    916549632 apollon021 4.11  871     878     3.28  870     870     15.7   851     867     868     timeout 902    890    1657090048 apollon150 21 36.2   6.72  852     3.78  6.37  6.31  4.36  1.09  6.11  838     1 5.46 
elevator_spec1_product31_true-unreach-call_true-termination.cil.c true 7.30 3.81 286453760 apollon118 9 .953 .001 .036 true 181    90.8  5228634112 apollon022 9 1.20  .00  87.9   .061 8.54  76.1   timeout 902    889    1078591488 apollon069 4.05  875     882     3.32  875     875     16.7   854     871     872     true 180    168    1766748160 apollon105 24 51.1   9.37  115     3.65  8.87  8.76  5.28  2.50  9.01  98.9   1 7.80 
elevator_spec3_product18_true-unreach-call_true-termination.cil.c true 8.94 4.66 426786816 apollon112 12 1.12  .00  .061 true 22.7  11.5  1360838656 apollon020 1 .826 .00  7.99  .004 2.50  1.57  true 67.2  57.2  1321508864 apollon042 15.0   34.0   40.0   3.28  33.6   33.6   19.2   11.1   30.3   17.7   timeout 905    890    3313942528 apollon081 45 574     .518 313     5.51  .115 .001 .00  .00  17.2   301     0
elevator_spec3_product21_true-unreach-call_true-termination.cil.c true 10.7  5.58 339689472 apollon131 12 1.42  .001 .076 true 21.2  10.8  1415315456 apollon152 1 .799 .00  7.54  .005 2.24  1.85  true 118    107    1344421888 apollon117 15.8   83.1   89.3   3.49  82.7   82.7   26.3   51.9   78.2   60.1   timeout 902    886    2989129728 apollon128 28 325     .677 558     4.48  .071 .002 .00  .00  13.7   549     0
elevator_spec3_product22_true-unreach-call_true-termination.cil.c true 11.8  6.20 385789952 apollon131 12 1.45  .001 .089 true 31.7  16.0  2014203904 apollon110 1 .787 .00  12.2   .006 3.79  2.32  true 73.7  64.6  1484234752 apollon105 19.1   35.7   43.1   4.05  35.2   35.1   22.7   8.65  31.3   15.7   timeout 903    890    3170963456 apollon168 21 406     .775 481     6.36  .104 .001 .00  .00  7.56  469     0
elevator_spec3_product25_true-unreach-call_true-termination.cil.c true 9.21 4.82 405942272 apollon140 12 1.19  .00  .068 true 17.4  8.92 972910592 apollon136 1 .738 .00  5.83  .004 1.71  1.51  true 133    123    1225498624 apollon160 12.3   103     108     3.18  102     102     21.4   76.9   98.3   83.0   timeout 903    888    3452633088 apollon106 57 491     .428 395     3.88  .081 .00  .00  .00  33.7   386     0
elevator_spec3_product26_true-unreach-call_true-termination.cil.c true 9.10 4.75 432566272 apollon111 12 1.14  .00  .062 true 24.5  12.4  1499578368 apollon107 1 .757 .00  9.00  .005 2.69  2.05  true 92.7  81.7  1356533760 apollon107 17.3   53.3   61.7   4.65  52.8   52.7   27.7   20.5   48.2   29.3   timeout 902    886    3033198592 apollon149 45 531     .787 352     5.98  .157 .002 .00  .00  21.0   340     0
elevator_spec3_product29_true-unreach-call_true-termination.cil.c true 9.86 5.15 433377280 apollon079 12 1.43  .00  .083 true 21.6  11.0  1387773952 apollon047 1 .776 .00  7.82  .004 2.05  2.10  true 80.6  70.5  1284284416 apollon013 19.8   42.5   48.1   2.96  42.1   42.1   24.1   14.0   38.2   20.5   timeout 902    889    2752610304 apollon154 24 295     .620 591     4.47  .089 .00  .00  .00  8.14  582     0
elevator_spec3_product30_true-unreach-call_true-termination.cil.c true 11.6  6.09 527745024 apollon002 12 1.50  .00  .087 true 29.9  15.1  1946161152 apollon154 1 1.00  .00  11.4   .017 4.00  2.12  true 134    121    1724530688 apollon073 22.7   86.5   96.3   5.50  85.7   85.6   26.6   54.6   81.2   62.0   timeout 902    888    3572850688 apollon133 25 498     .924 386     6.68  .122 .002 .00  .00  11.3   373     0
email_spec1_product14_false-unreach-call_true-termination.cil.c unknown 162    157    2680819712 apollon118 3 1.48  .403 .199 timeout 961    731    6606311424 apollon087 timeout 1000    988    3031691264 apollon167 unknown 150    143    2871586816 apollon141 6 4.52  .128 3.14  .955 .017 .00  .00  .00  .227 1.21  1
email_spec1_product15_false-unreach-call_true-termination.cil.c unknown 120    116    2533019648 apollon036 3 1.09  .397 .143 timeout 960    738    6440910848 apollon015 timeout 1000    992    2712309760 apollon066 unknown 192    186    2632220672 apollon125 6 1.79  .115 2.22  .685 .016 .002 .00  .00  .045 .721 1
email_spec1_product16_false-unreach-call_true-termination.cil.c unknown 123    119    2591932416 apollon056 3 1.14  .349 .123 timeout 961    706    6737219584 apollon093 timeout 1000    990    2812260352 apollon141 unknown 210    202    2665676800 apollon164 6 1.73  .275 2.69  .791 .027 .001 .00  .00  .068 .738 1
email_spec1_product20_false-unreach-call_true-termination.cil.c unknown 692    687    2813493248 apollon005 3 1.79  .660 .223 timeout 961    481    7569117184 apollon105 timeout 1000    989    3026026496 apollon126 timeout 1000    990    2933207040 apollon162
email_spec1_product21_false-unreach-call_true-termination.cil.c unknown 883    877    2744754176 apollon167 3 2.20  .852 .204 timeout 961    481    7264968704 apollon018 timeout 1000    990    3207405568 apollon161 timeout 1000    989    2957684736 apollon114
email_spec1_product22_false-unreach-call_true-termination.cil.c unknown 167    163    2616406016 apollon090 3 1.25  .473 .169 timeout 961    685    6621253632 apollon146 timeout 1000    989    2726932480 apollon137 unknown 151    145    2695593984 apollon134 6 2.47  .137 2.39  .678 .031 .002 .00  .00  .073 .665 1
email_spec1_product26_false-unreach-call_true-termination.cil.c unknown 840    833    2873315328 apollon008 3 2.61  1.19  .239 timeout 961    481    7554359296 apollon039 timeout 1000    989    3058548736 apollon145 timeout 1000    988    2996699136 apollon128
email_spec1_product29_false-unreach-call_true-termination.cil.c unknown 171    166    2645250048 apollon165 3 1.38  .520 .182 timeout 962    714    6703611904 apollon064 timeout 1000    991    2881159168 apollon060 unknown 178    170    2927144960 apollon107 6 6.22  .130 3.50  1.22  .036 .001 .00  .00  .233 .912 1
email_spec1_product30_false-unreach-call_true-termination.cil.c unknown 144    139    2624372736 apollon092 3 1.30  .423 .162 timeout 960    693    6584524800 apollon106 timeout 1000    993    2699804672 apollon105 unknown 169    162    2729725952 apollon154 6 2.43  .252 2.35  .755 .031 .009 .00  .00  .055 .657 1
email_spec1_product31_false-unreach-call_true-termination.cil.c unknown 189    184    2665725952 apollon049 3 1.61  .554 .166 timeout 960    651    6854979584 apollon079 timeout 1000    992    2732089344 apollon045 unknown 181    174    2757070848 apollon148 6 2.49  .234 2.31  .732 .121 .001 .00  .00  .048 .672 1
email_spec1_product33_false-unreach-call_true-termination.cil.c unknown 177    173    2563641344 apollon064 3 1.51  .581 .168 timeout 961    665    6983311360 apollon056 timeout 1000    992    2734321664 apollon072 unknown 196    189    2774982656 apollon060 6 2.92  .288 2.68  .907 .030 .00  .00  .00  .056 .786 1
email_spec27_product17_false-unreach-call_true-termination.cil.c unknown 375    370    2728898560 apollon060 3 1.23  .386 .153 timeout 962    481    6737264640 apollon136 timeout 1000    990    2883698688 apollon099 unknown 224    214    2923847680 apollon071 6 7.09  .311 3.48  1.05  .035 .003 .00  .00  .396 1.06  1
email_spec27_product18_false-unreach-call_true-termination.cil.c unknown 245    241    2602229760 apollon042 3 1.11  .350 .134 timeout 961    585    6643781632 apollon147 timeout 1000    990    2734944256 apollon018 unknown 232    223    2710630400 apollon155 6 3.19  .160 2.69  1.00  .024 .00  .00  .00  .060 .720 1
email_spec27_product19_false-unreach-call_true-termination.cil.c unknown 256    252    2620866560 apollon132 3 1.24  .364 .142 timeout 961    577    6655021056 apollon020 timeout 1000    990    2635165696 apollon075 unknown 228    220    2690490368 apollon162 6 2.51  .130 2.67  .823 .032 .002 .00  .00  .043 .700 1
email_spec27_product24_false-unreach-call_true-termination.cil.c unknown 382    377    2652307456 apollon040 3 1.64  .481 .181 timeout 960    570    6805032960 apollon137 timeout 1000    992    2729897984 apollon053 unknown 271    262    2741338112 apollon097 6 3.84  .291 3.10  .984 .041 .009 .00  .00  .126 .919 1
email_spec27_product29_false-unreach-call_true-termination.cil.c unknown 495    489    2784657408 apollon037 3 1.59  .565 .201 timeout 961    481    6943244288 apollon045 timeout 1000    989    3064799232 apollon092 unknown 212    203    2958172160 apollon145 6 8.44  .172 3.66  1.25  .026 .001 .00  .00  .305 .900 1
email_spec27_product30_false-unreach-call_true-termination.cil.c unknown 340    334    2680999936 apollon100 3 1.65  .637 .159 timeout 961    528    7267799040 apollon055 timeout 1000    991    2641326080 apollon023 unknown 204    198    2783076352 apollon155 6 2.40  .256 2.28  .781 .028 .002 .00  .00  .042 .552 1
email_spec27_product31_false-unreach-call_true-termination.cil.c unknown 335    331    2690011136 apollon161 3 1.46  .611 .137 timeout 961    544    7090929664 apollon003 timeout 1000    992    2751643648 apollon011 unknown 214    207    2809946112 apollon165 6 3.69  .145 2.48  .801 .023 .001 .00  .00  .086 .589 1
email_spec27_product33_false-unreach-call_true-termination.cil.c unknown 378    373    2706460672 apollon003 3 1.67  .763 .192 timeout 961    505    7530852352 apollon139 timeout 1000    992    2785943552 apollon139 unknown 232    225    2823196672 apollon156 6 3.32  .126 2.36  .750 .018 .001 .00  .00  .072 .587 1
email_spec3_product13_false-unreach-call_true-termination.cil.c unknown 5.85 3.19 298803200 apollon141 1 .526 .001 timeout 901    849    4409995264 apollon162 1 .742 .011 846     timeout 1000    992    2682294272 apollon016 unknown 240    232    2705690624 apollon123 6 3.17  .151 2.57  .755 .029 .00  .00  .00  .044 1.11  1
email_spec3_product17_false-unreach-call_true-termination.cil.c unknown 6.05 3.29 302825472 apollon074 1 .551 .001 timeout 901    822    5101178880 apollon072 1 .804 .002 819     timeout 1000    987    2958700544 apollon102 timeout 1000    987    2911948800 apollon076
email_spec3_product18_false-unreach-call_true-termination.cil.c unknown 5.88 3.18 300150784 apollon082 1 .529 .003 timeout 901    817    5106163712 apollon020 1 .889 .003 814     timeout 1000    988    2750513152 apollon043 timeout 1000    990    2777468928 apollon167
email_spec3_product19_false-unreach-call_true-termination.cil.c unknown 5.79 3.15 301768704 apollon034 1 .521 .001 timeout 902    828    5036220416 apollon049 1 .766 .003 825     timeout 1000    986    2883043328 apollon142 timeout 1000    988    2776616960 apollon069
email_spec3_product23_false-unreach-call_true-termination.cil.c unknown 7.18 3.89 305815552 apollon040 1 .685 .003 timeout 901    782    5866496000 apollon042 1 .748 .003 779     timeout 901    892    599134208 apollon012 .786 887     889     .789 887     886     3.55  878     882     884     timeout 1000    987    2960740352 apollon070
email_spec3_product24_false-unreach-call_true-termination.cil.c unknown 5.85 3.16 300023808 apollon016 1 .543 .004 timeout 901    802    5219000320 apollon053 1 .874 .002 799     timeout 1000    987    2945388544 apollon103 timeout 1000    988    2799149056 apollon095
email_spec3_product25_false-unreach-call_true-termination.cil.c unknown 6.90 3.74 303243264 apollon027 1 .578 .001 timeout 901    764    5833187328 apollon089 1 .772 .003 761     timeout 1000    985    3023421440 apollon025 timeout 1000    987    2982797312 apollon065
email_spec3_product27_false-unreach-call_true-termination.cil.c unknown 6.32 3.45 305975296 apollon080 1 .551 .001 timeout 901    759    5829275648 apollon126 1 .753 .003 755     timeout 901    893    624701440 apollon122 .688 889     891     .758 889     889     3.18  881     884     886     timeout 1000    987    3069542400 apollon113
email_spec3_product28_false-unreach-call_true-termination.cil.c unknown 5.72 3.12 301826048 apollon068 1 .506 .001 timeout 902    823    4920496128 apollon093 1 .877 .003 819     timeout 1000    991    2713751552 apollon083 unknown 299    290    2749411328 apollon141 6 4.54  .276 2.38  .744 .041 .015 .00  .00  .054 .631 1
email_spec3_product29_false-unreach-call_true-termination.cil.c unknown 7.81 4.17 301785088 apollon163 1 .684 .002 timeout 901    756    5943922688 apollon122 1 .854 .003 752     timeout 1000    987    3195572224 apollon123 timeout 1000    988    2983428096 apollon146
email_spec3_product30_false-unreach-call_true-termination.cil.c unknown 5.68 3.07 302813184 apollon112 1 .437 .004 timeout 901    763    5754396672 apollon018 1 .911 .004 760     timeout 1000    991    3128483840 apollon050 timeout 1000    990    2775560192 apollon122
email_spec3_product31_false-unreach-call_true-termination.cil.c unknown 5.98 3.29 303468544 apollon003 1 .540 .004 timeout 901    772    5740871680 apollon131 1 .874 .004 768     timeout 1000    987    2910208000 apollon149 timeout 1000    987    2756788224 apollon124
email_spec3_product32_false-unreach-call_true-termination.cil.c unknown 6.27 3.40 306180096 apollon057 1 .528 .002 timeout 901    745    6302617600 apollon046 1 .795 .003 742     timeout 901    893    519516160 apollon134 .837 888     890     .798 888     888     3.74  878     881     884     timeout 1000    983    2956537856 apollon163
email_spec3_product33_false-unreach-call_true-termination.cil.c unknown 5.97 3.23 305459200 apollon009 1 .550 .001 timeout 902    741    6146101248 apollon053 1 .916 .010 738     timeout 902    891    703496192 apollon067 1.26  885     887     1.01  885     885     2.94  874     877     883     timeout 1000    988    2833494016 apollon105
email_spec3_product34_false-unreach-call_true-termination.cil.c unknown 6.60 3.55 303841280 apollon034 1 .610 .002 timeout 901    735    8126861312 apollon068 1 .923 .003 732     timeout 1000    988    3162054656 apollon065 timeout 1000    987    3175911424 apollon157
email_spec3_product35_false-unreach-call_true-termination.cil.c unknown 6.71 3.63 304267264 apollon122 1 .602 .001 timeout 901    712    9869651968 apollon002 1 .862 .005 710     timeout 901    891    698081280 apollon158 .904 886     888     .998 886     886     4.50  877     881     882     timeout 1000    985    3188682752 apollon161
email_spec3_productSimulator_false-unreach-call_true-termination.cil.c unknown 18.1  11.2  941387776 apollon123 1 1.74  .095 timeout 904    701    10117947392 apollon035 1 2.34  .093 695     timeout 903    889    1310257152 apollon141 2.69  874     881     4.34  873     873     21.2   842     863     848     timeout 1000    982    4535140352 apollon068
email_spec4_product18_false-unreach-call_true-termination.cil.c unknown 252    248    2578702336 apollon040 3 1.23  .324 .153 timeout 961    618    7001505792 apollon115 unknown 206    200    2672947200 apollon038 1.31  2.08  3.44  .549 1.94  1.91  1.55  .083 1.63  .494 unknown 221    212    2660573184 apollon131 6 1.98  .115 2.61  .771 .028 .00  .00  .00  .022 .751 1
email_spec4_product19_false-unreach-call_true-termination.cil.c unknown 214    209    2601418752 apollon058 3 1.16  .366 .135 timeout 960    617    6750126080 apollon059 timeout 1000    991    2737885184 apollon141 timeout 1000    992    2702569472 apollon142
email_spec4_product24_false-unreach-call_true-termination.cil.c unknown 209    205    2624995328 apollon010 3 1.24  .355 .141 timeout 961    641    6728110080 apollon150 timeout 1000    992    2702131200 apollon144 unknown 216    208    2687410176 apollon127 6 2.69  .141 2.81  .910 .034 .001 .00  .00  .031 .779 1
email_spec4_product30_false-unreach-call_true-termination.cil.c unknown 289    284    2637897728 apollon041 3 1.30  .409 .139 timeout 961    584    7300513792 apollon163 unknown 195    189    2734481408 apollon159 1.28  2.56  3.99  .665 2.41  2.38  1.91  .128 2.04  .644 unknown 195    187    2720813056 apollon085 6 2.22  .142 2.60  .798 .027 .001 .00  .00  .025 .782 1
email_spec4_product31_false-unreach-call_true-termination.cil.c unknown 282    277    2664583168 apollon145 3 1.52  .542 .149 timeout 961    585    7322525696 apollon016 timeout 1000    993    2742648832 apollon021 timeout 1000    990    2755444736 apollon083
email_spec4_product33_false-unreach-call_true-termination.cil.c unknown 337    331    2686406656 apollon025 3 1.79  .602 .207 timeout 960    560    7628824576 apollon088 timeout 1000    992    2734043136 apollon123 unknown 209    200    2720628736 apollon153 6 2.34  .186 3.05  .879 .031 .00  .00  .00  .052 .892 1
email_spec6_product12_false-unreach-call_true-termination.cil.c unknown 117    113    2504941568 apollon009 3 .917 .220 .120 timeout 961    751    6590709760 apollon115 timeout 1000    992    2689138688 apollon129 unknown 114    110    2576445440 apollon162 6 1.36  .093 1.87  .597 .019 .002 .00  .00  .042 .515 1
email_spec6_product14_false-unreach-call_true-termination.cil.c unknown 411    406    2717171712 apollon137 3 1.53  .497 .194 timeout 961    481    7776149504 apollon002 timeout 901    891    917143552 apollon154 .975 886     889     1.10  886     886     7.68  849     856     879     timeout 1000    990    2865426432 apollon080
email_spec6_product15_false-unreach-call_true-termination.cil.c unknown 264    259    2538606592 apollon096 3 1.40  .431 .181 timeout 961    590    7233462272 apollon109 timeout 1000    990    2724089856 apollon105 timeout 1000    991    2659700736 apollon110
email_spec6_product16_false-unreach-call_true-termination.cil.c unknown 304    299    2611367936 apollon136 3 1.58  .529 .211 timeout 961    575    7590952960 apollon114 timeout 1000    990    2621468672 apollon067 timeout 1000    992    2636410880 apollon103
email_spec6_product22_false-unreach-call_true-termination.cil.c unknown 266    261    2633371648 apollon107 3 1.28  .383 .163 timeout 961    549    7015366656 apollon109 timeout 1000    989    2758365184 apollon146 timeout 1000    990    2656817152 apollon127
email_spec6_product28_false-unreach-call_true-termination.cil.c unknown 107    103    2533109760 apollon015 3 1.06  .291 .166 timeout 960    726    6607601664 apollon064 timeout 1000    988    2920566784 apollon071 unknown 132    125    2672807936 apollon074 6 1.85  .126 2.44  .772 .026 .00  .00  .00  .080 .698 1
email_spec6_product29_false-unreach-call_true-termination.cil.c unknown 393    389    2755923968 apollon077 3 1.36  .375 .172 timeout 962    481    7412797440 apollon141 timeout 901    892    785367040 apollon103 1.15  886     889     1.08  886     886     11.4   851     862     875     timeout 1000    987    2935390208 apollon166
email_spec6_product30_false-unreach-call_true-termination.cil.c unknown 347    341    2553200640 apollon018 3 1.77  .549 .187 timeout 960    562    6939705344 apollon107 timeout 1000    989    2722271232 apollon132 timeout 1000    990    2677047296 apollon074
email_spec6_product31_false-unreach-call_true-termination.cil.c unknown 320    315    2679848960 apollon095 3 1.56  .567 .144 timeout 960    557    7131729920 apollon007 timeout 1000    990    2727473152 apollon068 timeout 1000    991    2696826880 apollon104
email_spec6_product33_false-unreach-call_true-termination.cil.c unknown 297    292    2687692800 apollon061 3 1.52  .442 .145 timeout 961    546    7597629440 apollon119 timeout 1000    989    2760810496 apollon142 timeout 1000    992    2710454272 apollon156
email_spec7_product28_false-unreach-call_true-termination.cil.c unknown 153    148    2528878592 apollon122 3 1.37  .352 .202 timeout 961    737    6326398976 apollon159 timeout 1000    990    2924064768 apollon098 unknown 168    160    2695016448 apollon139 6 2.74  .152 2.77  .883 .030 .001 .00  .00  .107 .797 1
email_spec7_product29_false-unreach-call_true-termination.cil.c unknown 374    369    2768879616 apollon101 3 1.42  .474 .174 timeout 961    481    7165042688 apollon090 timeout 901    890    796065792 apollon057 1.17  885     887     1.09  884     884     10.8   836     846     874     timeout 1000    989    2901843968 apollon140
email_spec7_product30_false-unreach-call_true-termination.cil.c unknown 248    244    2630901760 apollon152 3 1.29  .492 .157 timeout 962    581    6837075968 apollon116 timeout 1000    990    2732216320 apollon126 timeout 1000    992    2691477504 apollon088
email_spec7_product31_false-unreach-call_true-termination.cil.c unknown 314    309    2671120384 apollon012 3 1.42  .710 .143 timeout 961    583    6889824256 apollon021 timeout 1000    990    2831650816 apollon102 timeout 1000    991    2721882112 apollon148
email_spec7_product33_false-unreach-call_true-termination.cil.c unknown 272    268    2692685824 apollon045 3 1.48  .616 .147 timeout 960    574    7541334016 apollon116 timeout 1000    990    2905194496 apollon054 timeout 1000    992    2727575552 apollon088
email_spec8_product15_false-unreach-call_true-termination.cil.c unknown 170    165    2528813056 apollon150 3 1.47  .467 .211 timeout 961    720    6623666176 apollon080 timeout 1000    994    2702229504 apollon151 unknown 176    170    2662739968 apollon136 6 1.55  .114 2.19  .607 .017 .001 .00  .00  .035 .694 1
email_spec8_product16_false-unreach-call_true-termination.cil.c unknown 129    125    2600161280 apollon087 3 1.22  .339 .122 timeout 961    677    6448177152 apollon046 timeout 1000    993    2701836288 apollon148 unknown 209    202    2658955264 apollon107 6 1.86  .145 2.37  .752 .034 .001 .00  .00  .057 .672 1
email_spec8_product20_false-unreach-call_true-termination.cil.c unknown 734    728    2826661888 apollon084 3 1.77  .752 .201 timeout 962    481    7499145216 apollon028 timeout 1000    987    3005337600 apollon057 timeout 1000    990    2924793856 apollon089
email_spec8_product21_false-unreach-call_true-termination.cil.c unknown 770    762    2849386496 apollon045 3 2.02  .835 .179 timeout 961    481    7265554432 apollon130 timeout 1000    991    2924949504 apollon010 timeout 1000    989    2947743744 apollon144
email_spec8_product22_false-unreach-call_true-termination.cil.c unknown 172    168    2610438144 apollon082 3 1.52  .441 .194 timeout 960    682    6642749440 apollon083 timeout 1000    992    2738257920 apollon081 unknown 182    176    2710364160 apollon155 6 1.93  .113 2.39  .882 .017 .00  .00  .00  .060 .795 1
email_spec8_product30_false-unreach-call_true-termination.cil.c unknown 166    162    2628730880 apollon146 3 1.30  .419 .166 timeout 961    679    6629699584 apollon003 timeout 1000    993    2713485312 apollon027 unknown 157    151    2728853504 apollon137 6 1.95  .102 2.30  .772 .031 .002 .00  .00  .023 .612 1
email_spec8_product31_false-unreach-call_true-termination.cil.c unknown 144    140    2665877504 apollon041 3 1.34  .426 .144 timeout 960    678    6825967616 apollon093 timeout 1000    992    2740228096 apollon084 unknown 190    183    2777387008 apollon116 6 3.00  .121 2.64  .961 .014 .002 .00  .00  .081 .803 1
email_spec8_product33_false-unreach-call_true-termination.cil.c unknown 154    149    2697371648 apollon073 3 1.47  .560 .203 timeout 961    644    6931034112 apollon090 timeout 1000    990    2743107584 apollon063 unknown 195    188    2763776000 apollon135 6 2.61  .153 2.95  .902 .042 .00  .00  .00  .049 .826 1
email_spec8_product34_false-unreach-call_true-termination.cil.c unknown 879    871    2917191680 apollon110 3 2.40  1.20  .176 timeout 961    481    8027181056 apollon146 timeout 901    891    616996864 apollon107 1.00  886     888     1.04  886     886     3.80  877     881     883     timeout 1000    986    3031154688 apollon153
email_spec9_product15_false-unreach-call_true-termination.cil.c unknown 129    124    2526904320 apollon116 3 1.39  .416 .187 timeout 960    743    6656626688 apollon135 timeout 1000    992    2713739264 apollon024 unknown 220    212    2608758784 apollon103 6 1.86  .318 3.02  .819 .026 .00  .00  .00  .038 1.06  1
email_spec9_product16_false-unreach-call_true-termination.cil.c unknown 151    147    2594525184 apollon110 3 1.26  .416 .170 timeout 960    744    6452547584 apollon112 timeout 1000    991    2715795456 apollon020 unknown 222    215    2673373184 apollon147 6 1.65  .140 2.56  .902 .038 .001 .00  .00  .042 .719 1
email_spec9_product20_false-unreach-call_true-termination.cil.c unknown 822    816    2813423616 apollon062 3 1.83  .747 .226 timeout 961    481    7327477760 apollon144 timeout 1000    989    3029012480 apollon020 timeout 1000    990    2929680384 apollon067
email_spec9_product22_false-unreach-call_true-termination.cil.c unknown 162    157    2551840768 apollon135 3 1.56  .541 .177 timeout 960    679    6707310592 apollon009 timeout 1000    991    2733531136 apollon016 unknown 229    221    2701586432 apollon083 6 2.27  .249 2.81  .833 .020 .001 .00  .00  .078 .807 1
email_spec9_product26_false-unreach-call_true-termination.cil.c unknown 861    853    2876444672 apollon061 3 2.62  1.29  .242 timeout 961    481    8146079744 apollon105 timeout 1000    989    2986774528 apollon143 timeout 1000    987    2974040064 apollon155
email_spec9_product30_false-unreach-call_true-termination.cil.c unknown 179    174    2623139840 apollon051 3 1.31  .468 .130 timeout 961    656    6660448256 apollon086 timeout 1000    993    2734665728 apollon015 unknown 228    219    2682802176 apollon153 6 2.34  .164 3.03  .856 .025 .00  .00  .00  .028 .926 1
email_spec9_product31_false-unreach-call_true-termination.cil.c unknown 173    168    2661867520 apollon010 3 1.58  .490 .156 timeout 961    654    6804320256 apollon106 timeout 1000    992    2727583744 apollon032 unknown 165    159    2733596672 apollon058 6 2.34  .114 2.29  .805 .012 .00  .00  .00  .046 .592 1
email_spec9_product33_false-unreach-call_true-termination.cil.c unknown 183    177    2683297792 apollon157 3 1.93  .641 .193 timeout 960    656    7166799872 apollon008 timeout 1000    992    2722316288 apollon089 unknown 181    174    2744655872 apollon083 6 3.06  .134 2.52  .748 .017 .00  .00  .00  .038 .648 1
minepump_spec1_product01_true-unreach-call_false-termination.cil.c timeout 905    896    5671923712 apollon168 253 3.13  .014 885     true 3.99 2.14 272510976 apollon056 1 .199 .00  .460 .015 true 3.77 2.10 268414976 apollon070 .139 .092 .261 .069 .066 .061 .020 .00  .020 .025 true 4.50 2.51 258617344 apollon081 2 .056 .038 .490 .290 .004 .001 .00  .00  .001 .020 2
minepump_spec1_product02_true-unreach-call_false-termination.cil.c timeout 904    897    5496098816 apollon057 238 2.84  .003 887     true 4.19 2.25 272474112 apollon095 1 .215 .00  .507 .026 true 3.33 1.84 271441920 apollon080 .109 .083 .238 .068 .054 .049 .020 .00  .020 .028 true 3.65 2.03 259948544 apollon079 2 .045 .028 .289 .179 .001 .001 .00  .00  .002 .015 2
minepump_spec1_product03_true-unreach-call_false-termination.cil.c timeout 906    898    9049669632 apollon008 272 3.32  .011 887     true 4.07 2.17 288284672 apollon130 1 .159 .00  .494 .017 true 3.44 1.89 266465280 apollon150 .109 .081 .222 .058 .057 .054 .023 .00  .023 .024 true 3.71 2.10 264761344 apollon159 2 .049 .025 .357 .099 .002 .00  .00  .00  .001 .019 2
minepump_spec1_product04_true-unreach-call_false-termination.cil.c timeout 904    897    4936536064 apollon123 218 2.65  .008 888     true 4.35 2.33 269041664 apollon032 1 .211 .00  .543 .032 true 3.59 1.93 269836288 apollon110 .041 .086 .231 .063 .053 .051 .022 .00  .022 .022 true 3.65 2.05 258838528 apollon091 2 .047 .019 .270 .061 .003 .00  .00  .00  .001 .020 2
minepump_spec1_product05_true-unreach-call_false-termination.cil.c timeout 905    897    5702631424 apollon162 254 3.16  .008 886     true 4.10 2.20 273862656 apollon142 1 .216 .00  .475 .011 true 3.85 2.11 272400384 apollon043 .143 .236 .473 .087 .194 .184 .108 .008 .116 .081 true 4.98 2.82 266731520 apollon159 4 .263 .061 .449 .132 .017 .001 .00  .00  .007 .088 2
minepump_spec1_product06_true-unreach-call_false-termination.cil.c timeout 905    897    5653577728 apollon025 244 2.85  .010 887     true 4.05 2.16 272666624 apollon022 1 .205 .00  .466 .027 true 4.15 2.30 275259392 apollon044 .152 .245 .529 .118 .194 .185 .109 .006 .115 .077 true 3.96 2.23 270225408 apollon107 4 .132 .039 .482 .228 .006 .00  .00  .00  .010 .064 2
minepump_spec1_product07_true-unreach-call_false-termination.cil.c timeout 906    898    9051287552 apollon097 261 3.59  .010 886     true 4.37 2.30 276910080 apollon113 1 .156 .00  .546 .021 true 3.75 2.10 272175104 apollon155 .142 .250 .489 .081 .210 .199 .116 .010 .126 .091 true 3.87 2.20 261713920 apollon165 4 .245 .040 .356 .104 .003 .00  .00  .00  .007 .063 2
minepump_spec1_product08_true-unreach-call_false-termination.cil.c timeout 906    898    6102343680 apollon057 253 3.35  .013 887     true 4.16 2.24 272232448 apollon130 1 .240 .00  .481 .023 true 3.92 2.20 273494016 apollon122 .161 .238 .480 .113 .199 .194 .117 .010 .127 .083 true 4.19 2.36 271187968 apollon162 4 .125 .038 .464 .120 .007 .00  .00  .00  .011 .072 2
minepump_spec1_product09_true-unreach-call_false-termination.cil.c timeout 905    897    5489532928 apollon153 251 3.15  .014 886     true 4.01 2.16 270880768 apollon015 1 .222 .00  .470 .020 true 3.28 1.83 271708160 apollon135 .108 .077 .212 .065 .044 .040 .016 .00  .016 .017 true 3.60 2.01 264531968 apollon162 2 .162 .023 .176 .076 .002 .00  .00  .00  .001 .016 2
minepump_spec1_product10_true-unreach-call_false-termination.cil.c timeout 905    898    5458706432 apollon137 242 2.79  .008 889     true 4.20 2.23 267620352 apollon030 1 .197 .00  .562 .016 true 3.52 1.93 269127680 apollon076 .113 .079 .230 .067 .050 .047 .019 .00  .019 .018 true 3.46 1.98 262230016 apollon096 2 .052 .021 .321 .078 .001 .00  .00  .00  .001 .013 2
minepump_spec1_product11_true-unreach-call_false-termination.cil.c timeout 906    899    9054773248 apollon064 277 3.24  .015 887     true 4.07 2.19 269565952 apollon038 1 .192 .00  .498 .023 true 4.26 2.32 268926976 apollon055 .139 .092 .290 .092 .061 .058 .030 .00  .030 .025 true 4.16 2.31 272695296 apollon102 2 .052 .021 .178 .076 .004 .00  .00  .00  .001 .018 2
minepump_spec1_product12_true-unreach-call_false-termination.cil.c timeout 904    897    4785446912 apollon144 204 2.75  .007 888     true 4.07 2.19 267587584 apollon102 1 .212 .00  .464 .032 true 3.38 1.88 272384000 apollon159 .107 .079 .227 .066 .057 .051 .022 .001 .023 .019 true 4.46 2.46 265175040 apollon110 2 .063 .035 .395 .112 .010 .001 .00  .00  .001 .022 2
minepump_spec1_product13_true-unreach-call_false-termination.cil.c timeout 906    898    5807742976 apollon023 258 3.03  .016 887     true 4.06 2.18 272130048 apollon071 1 .200 .00  .452 .016 true 5.18 2.85 272965632 apollon108 .183 .291 .642 .133 .235 .228 .133 .009 .142 .103 true 4.71 2.66 266596352 apollon070 4 .153 .042 .507 .240 .009 .001 .00  .00  .012 .078 2
minepump_spec1_product14_true-unreach-call_false-termination.cil.c timeout 904    896    5489684480 apollon045 238 3.04  .007 886     true 4.22 2.23 269819904 apollon011 1 .191 .00  .533 .009 true 4.13 2.29 277106688 apollon142 .163 .266 .543 .117 .213 .204 .119 .005 .124 .084 true 4.94 2.78 268926976 apollon097 4 .323 .041 .420 .141 .007 .002 .00  .00  .013 .087 2
minepump_spec1_product15_true-unreach-call_false-termination.cil.c timeout 912    903    9069113344 apollon027 true 4.21 2.26 271753216 apollon001 1 .268 .00  .470 .030 true 3.97 2.20 271925248 apollon105 .156 .253 .512 .100 .210 .203 .125 .009 .134 .094 true 4.93 2.79 268587008 apollon120 4 .296 .037 .401 .124 .008 .002 .00  .00  .011 .083 2
minepump_spec1_product16_true-unreach-call_false-termination.cil.c timeout 905    897    9072586752 apollon006 263 3.37  .010 883     true 4.24 2.27 267124736 apollon073 1 .226 .00  .548 .024 true 4.55 2.55 274845696 apollon041 .101 .291 .694 .218 .248 .233 .136 .017 .153 .106 true 4.80 2.69 271310848 apollon115 4 .148 .052 .506 .136 .006 .00  .00  .00  .010 .063 2
minepump_spec1_product17_true-unreach-call_false-termination.cil.c timeout 905    897    5748051968 apollon030 256 3.16  .014 886     true 3.97 2.15 267251712 apollon130 1 .191 .457 true 3.90 2.18 272232448 apollon032 .096 .236 .558 .159 .201 .182 .122 .006 .128 .081 true 4.03 2.28 270569472 apollon089 4 .279 .032 .336 .125 .005 .002 .00  .00  .010 .067 2
minepump_spec1_product18_true-unreach-call_false-termination.cil.c timeout 904    895    5488820224 apollon061 238 3.14  .007 884     true 4.10 2.19 272617472 apollon081 1 .150 .00  .527 .012 true 4.27 2.36 283254784 apollon039 .099 .259 .610 .188 .220 .209 .124 .006 .130 .095 true 4.10 2.30 266215424 apollon156 4 .266 .034 .325 .111 .002 .00  .00  .00  .012 .065 2
minepump_spec1_product19_true-unreach-call_false-termination.cil.c timeout 908    899    9073389568 apollon160 261 3.66  .009 886     true 4.18 2.23 269914112 apollon021 1 .153 .00  .500 .028 true 3.92 2.18 273125376 apollon130 .158 .250 .537 .112 .213 .208 .131 .011 .142 .093 true 4.07 2.29 266604544 apollon075 4 .130 .046 .468 .099 .007 .001 .00  .00  .010 .071 2
minepump_spec1_product20_true-unreach-call_false-termination.cil.c timeout 906    897    5987250176 apollon091 249 3.42  .013 885     true 4.13 2.21 266944512 apollon167 1 .222 .00  .476 .044 true 4.12 2.29 271847424 apollon157 .098 .324 .593 .094 .224 .216 .134 .015 .149 .100 true 4.16 2.34 276258816 apollon165 4 .138 .044 .484 .239 .003 .00  .00  .00  .004 .066 2
minepump_spec1_product21_true-unreach-call_false-termination.cil.c timeout 905    896    5469966336 apollon131 246 3.46  .012 884     true 4.29 2.29 266199040 apollon046 1 .201 .00  .531 .013 true 4.20 2.32 276586496 apollon056 .106 .304 .726 .208 .254 .242 .160 .007 .167 .106 true 4.54 2.58 269127680 apollon164 4 .353 .049 .518 .175 .007 .001 .00  .00  .015 .089 2
minepump_spec1_product22_true-unreach-call_false-termination.cil.c timeout 905    898    5475258368 apollon129 238 2.91  .014 887     true 4.14 2.25 281411584 apollon001 1 .259 .482 true 4.36 2.43 280190976 apollon026 .110 .307 .718 .191 .267 .255 .157 .009 .166 .114 true 4.24 2.39 272834560 apollon165 4 .164 .043 .589 .277 .009 .001 .00  .00  .011 .085 2
minepump_spec1_product23_true-unreach-call_false-termination.cil.c timeout 907    899    9088577536 apollon145 266 3.58  .009 881     true 4.47 2.38 274014208 apollon133 1 .238 .00  .559 .021 true 4.31 2.38 276054016 apollon146 .117 .324 .737 .195 .275 .260 .169 .016 .185 .119 true 5.30 2.99 270180352 apollon081 4 .370 .072 .633 .241 .006 .001 .00  .00  .008 .103 2
minepump_spec1_product24_true-unreach-call_false-termination.cil.c timeout 906    898    9091383296 apollon099 265 3.14  .005 887     true 4.45 2.36 271900672 apollon082 1 .223 .00  .608 .026 true 4.38 2.43 281206784 apollon128 .111 .334 .756 .215 .294 .277 .180 .017 .197 .132 true 4.49 2.54 271597568 apollon132 4 .171 .038 .620 .190 .009 .003 .00  .00  .008 .086 2
minepump_spec1_product25_true-unreach-call_false-termination.cil.c timeout 905    898    6158032896 apollon077 270 2.93  .013 887     true 4.24 2.24 271667200 apollon029 1 .209 .00  .504 .026 true 4.07 2.22 285138944 apollon157 .154 .235 .513 .108 .195 .182 .113 .008 .121 .078 true 4.90 2.73 270594048 apollon087 4 .294 .045 .417 .144 .003 .00  .00  .00  .013 .081 2
minepump_spec1_product26_true-unreach-call_false-termination.cil.c timeout 905    897    5564944384 apollon074 245 2.86  .011 888     true 4.31 2.29 267907072 apollon100 1 .206 .00  .509 .011 true 4.30 2.36 272752640 apollon074 .182 .238 .550 .105 .204 .192 .121 .007 .128 .083 true 4.09 2.32 271130624 apollon092 4 .233 .046 .378 .126 .005 .00  .00  .00  .015 .078 2
minepump_spec1_product27_true-unreach-call_false-termination.cil.c timeout 907    898    6222901248 apollon015 259 3.77  .010 880     true 4.22 2.27 273100800 apollon065 1 .205 .00  .587 .022 true 3.99 2.20 279891968 apollon086 .158 .267 .545 .111 .227 .219 .142 .012 .154 .101 true 4.35 2.41 277663744 apollon122 4 .283 .041 .355 .110 .004 .00  .00  .00  .008 .077 2
minepump_spec1_product28_true-unreach-call_false-termination.cil.c timeout 912    903    9083727872 apollon040 true 4.43 2.37 269271040 apollon058 1 .187 .00  .635 .012 true 4.05 2.26 275578880 apollon003 .086 .260 .608 .111 .221 .215 .133 .013 .146 .093 true 3.83 2.20 271564800 apollon161 4 .241 .047 .345 .112 .008 .001 .00  .00  .007 .067 2
minepump_spec1_product29_true-unreach-call_false-termination.cil.c timeout 905    896    5947060224 apollon066 263 3.44  .009 884     true 4.36 2.31 273469440 apollon164 1 .234 .00  .462 .020 true 5.37 2.95 278667264 apollon070 .138 .393 .893 .239 .332 .323 .210 .013 .223 .145 true 4.32 2.44 269811712 apollon084 4 .176 .051 .565 .280 .002 .001 .00  .00  .012 .076 2
minepump_spec1_product30_true-unreach-call_false-termination.cil.c timeout 904    896    5423153152 apollon017 235 3.28  .006 885     true 4.50 2.41 275845120 apollon083 1 .165 .00  .544 .042 true 4.32 2.39 282484736 apollon071 .112 .299 .714 .208 .252 .242 .156 .007 .163 .098 true 4.36 2.48 270557184 apollon119 4 .180 .043 .559 .151 .009 .001 .00  .00  .011 .078 2
minepump_spec1_product31_true-unreach-call_false-termination.cil.c timeout 906    897    8919592960 apollon021 271 3.27  .017 886     true 4.21 2.24 270798848 apollon027 1 .225 .00  .519 .018 true 4.66 2.56 275853312 apollon106 .133 .335 .780 .200 .293 .282 .180 .016 .196 .128 true 4.42 2.50 273444864 apollon101 4 .170 .053 .580 .259 .010 .001 .00  .00  .007 .086 2
minepump_spec1_product32_true-unreach-call_false-termination.cil.c timeout 906    897    6196776960 apollon126 250 3.75  .015 884     true 4.42 2.34 268910592 apollon048 1 .214 .00  .616 .018 true 4.53 2.52 277905408 apollon099 .131 .354 .749 .193 .287 .279 .179 .018 .197 .132 true 5.40 3.07 267304960 apollon152 4 .223 .052 .729 .195 .006 .00  .00  .00  .012 .109 2
minepump_spec1_product45_true-unreach-call_false-termination.cil.c timeout 905    895    9096597504 apollon135 116 3.56  79.0   777     true 6.61 3.47 424648704 apollon062 1 .247 .025 1.51  .026 .935 .221 true 4.64 2.56 279949312 apollon054 .134 .434 .891 .211 .369 .362 .242 .020 .262 .156 true 5.92 3.35 277020672 apollon163 4 .259 .203 .801 .242 .136 .00  .00  .00  .016 .125 2
minepump_spec1_product46_true-unreach-call_false-termination.cil.c timeout 906    896    6338863104 apollon164 114 3.60  84.8   773     true 7.25 3.77 442142720 apollon007 2 .287 .053 1.80  .085 .942 .339 true 4.70 2.62 283045888 apollon033 .135 .433 .871 .218 .371 .362 .249 .021 .270 .164 true 5.48 3.10 272035840 apollon096 4 .253 .078 .758 .325 .016 .00  .00  .00  .012 .122 2
minepump_spec1_product47_true-unreach-call_false-termination.cil.c timeout 906    898    5949726720 apollon074 104 3.05  632     230     true 7.29 3.82 446832640 apollon148 2 .279 .023 1.90  .048 .990 .374 true 4.68 2.60 279658496 apollon049 .133 .428 .892 .211 .380 .367 .241 .025 .266 .161 true 4.50 2.56 275619840 apollon168 4 .197 .060 .669 .165 .004 .00  .00  .00  .006 .091 2
minepump_spec1_product48_true-unreach-call_false-termination.cil.c timeout 907    898    5866737664 apollon121 103 3.06  462     403     true 8.17 4.23 442327040 apollon101 2 .339 .050 2.23  .094 1.31  .377 true 4.74 2.63 277901312 apollon156 .134 .446 .927 .148 .397 .381 .255 .032 .287 .185 true 4.48 2.52 270442496 apollon076 4 .331 .065 .547 .170 .009 .00  .00  .00  .007 .101 2
minepump_spec1_product57_true-unreach-call_false-termination.cil.c timeout 904    895    4820475904 apollon064 85 2.43  596     278     true 61.8  31.1  2181586944 apollon033 11 .676 3.80  28.0   3.46  8.14  12.1   true 5.49 3.01 279564288 apollon007 .164 .667 1.23  .193 .605 .594 .411 .047 .458 .284 true 4.67 2.63 270176256 apollon081 4 .228 .049 .694 .223 .008 .002 .00  .00  .011 .107 2
minepump_spec1_product58_true-unreach-call_false-termination.cil.c timeout 904    894    4824797184 apollon107 83 2.85  631     240     true 59.2  29.8  2329116672 apollon044 12 .646 4.31  26.9   3.84  7.84  9.84  true 5.59 3.05 288026624 apollon002 .171 .660 1.21  .186 .589 .575 .405 .038 .443 .254 true 4.58 2.59 273883136 apollon106 4 .331 .053 .558 .188 .006 .001 .00  .00  .016 .118 2
minepump_spec1_product59_true-unreach-call_false-termination.cil.c timeout 907    897    4882305024 apollon134 84 2.93  759     112     true 93.9  47.2  3113291776 apollon139 14 .879 8.88  44.3   7.70  10.9   15.5   true 6.05 3.35 281481216 apollon035 .203 .734 1.34  .203 .668 .654 .459 .064 .523 .309 true 5.80 3.27 277364736 apollon123 4 .437 .063 .723 .207 .012 .001 .00  .00  .012 .133 2
minepump_spec1_product60_true-unreach-call_false-termination.cil.c timeout 903    895    4891721728 apollon038 84 2.60  686     186     true 98.9  49.8  3465281536 apollon121 15 .840 10.3   46.9   7.83  10.6   16.8   true 5.47 3.02 282243072 apollon039 .188 .723 1.27  .256 .664 .643 .425 .079 .504 .319 true 4.60 2.59 275402752 apollon134 4 .235 .061 .673 .165 .012 .001 .00  .00  .011 .110 2
minepump_spec1_product61_true-unreach-call_false-termination.cil.c timeout 907    898    6185025536 apollon135 101 3.66  86.0   774     true 7.34 3.82 433643520 apollon003 1 .232 .029 1.74  .034 1.08  .264 true 6.89 3.74 281415680 apollon063 .222 .703 1.52  .279 .617 .591 .421 .036 .457 .279 true 6.42 3.61 292446208 apollon097 4 .526 .090 .951 .319 .020 .001 .00  .00  .016 .141 2
minepump_spec1_product62_true-unreach-call_false-termination.cil.c timeout 906    896    6227243008 apollon114 102 4.04  87.9   770     true 7.77 4.05 448958464 apollon061 2 .278 .078 1.94  .066 1.08  .326 true 5.52 3.01 290349056 apollon142 .163 .566 1.25  .221 .491 .474 .340 .028 .368 .222 true 4.97 2.80 277934080 apollon077 4 .365 .073 .744 .267 .019 .00  .00  .00  .007 .123 2
minepump_spec1_product63_true-unreach-call_false-termination.cil.c timeout 906    896    6134038528 apollon081 96 4.28  670     185     true 8.76 4.56 469823488 apollon006 2 .323 .092 2.44  .157 1.30  .365 true 6.20 3.43 281104384 apollon053 .185 .664 1.37  .247 .587 .570 .396 .055 .451 .275 true 5.07 2.88 277647360 apollon132 4 .422 .092 .754 .235 .012 .001 .00  .00  .007 .118 2
minepump_spec1_product64_true-unreach-call_false-termination.cil.c timeout 906    895    5747519488 apollon109 91 3.67  510     349     true 9.48 4.89 453713920 apollon097 2 .383 .118 2.75  .107 1.61  .399 true 5.67 3.08 286449664 apollon035 .178 .626 1.34  .286 .544 .530 .367 .051 .418 .266 true 5.06 2.88 284594176 apollon145 4 .355 .068 .758 .260 .012 .001 .00  .00  .008 .113 2
minepump_spec2_product01_true-unreach-call_false-termination.cil.c timeout 905    896    5663916032 apollon146 250 3.03  .012 886     true 4.04 2.17 274513920 apollon127 1 .207 .00  .493 .030 true 4.17 2.35 265744384 apollon080 .128 .107 .295 .083 .078 .073 .029 .003 .032 .041 true 3.64 2.03 258572288 apollon139 2 .048 .071 .331 .068 .046 .045 .022 .004 .028 .015 2 .028
minepump_spec2_product02_true-unreach-call_false-termination.cil.c timeout 905    897    5551296512 apollon137 238 2.84  .014 888     true 4.40 2.36 268464128 apollon024 1 .236 .00  .532 .022 true 3.55 1.93 279310336 apollon123 .104 .088 .243 .071 .067 .063 .025 .001 .026 .035 true 4.58 2.58 270012416 apollon123 2 .050 .176 .394 .117 .156 .151 .030 .002 .034 .021 2 .132
minepump_spec2_product03_true-unreach-call_false-termination.cil.c timeout 906    898    9053626368 apollon062 269 3.38  .014 886     true 4.00 2.16 269553664 apollon138 1 .265 .00  .452 .026 true 3.57 1.96 279724032 apollon044 .104 .085 .232 .060 .065 .058 .026 .002 .028 .035 true 3.60 2.03 259825664 apollon068 2 .047 .185 .378 .096 .157 .156 .136 .002 .140 .015 2 .138
minepump_spec2_product04_true-unreach-call_false-termination.cil.c timeout 904    896    4803801088 apollon157 216 2.93  .010 886     true 4.36 2.31 271626240 apollon016 1 .235 .00  .550 .028 true 4.28 2.35 268337152 apollon103 .055 .114 .373 .167 .084 .079 .030 .002 .032 .040 true 3.68 2.04 260669440 apollon165 2 .041 .075 .352 .182 .055 .049 .024 .002 .028 .021 2 .031
minepump_spec2_product05_true-unreach-call_false-termination.cil.c timeout 905    898    5920444416 apollon055 259 3.11  .007 887     true 4.01 2.16 270491648 apollon077 1 .238 .458 true 4.13 2.32 280326144 apollon042 .187 .304 .579 .110 .260 .250 .142 .017 .159 .170 true 4.55 2.59 271839232 apollon085 7 .166 .214 .762 .163 .172 .165 .112 .010 .140 .100 3 .123
minepump_spec2_product06_true-unreach-call_false-termination.cil.c timeout 904    897    5553704960 apollon162 239 2.83  .006 884     true 4.46 2.37 269758464 apollon094 1 .219 .00  .531 .028 true 4.40 2.40 283033600 apollon109 .185 .307 .599 .116 .269 .262 .159 .015 .174 .186 true 4.57 2.69 269561856 apollon068 7 .206 .222 .831 .193 .197 .187 .131 .010 .165 .131 2 .144
minepump_spec2_product07_true-unreach-call_false-termination.cil.c timeout 907    899    9068367872 apollon035 262 3.40  .016 887     true 4.23 2.26 274194432 apollon035 1 .249 .00  .471 .015 true 5.11 2.86 281010176 apollon135 .227 .389 .749 .144 .340 .328 .180 .028 .208 .231 true 4.52 2.60 276205568 apollon064 8 .214 .225 .732 .118 .188 .180 .120 .009 .160 .123 2 .132
minepump_spec2_product08_true-unreach-call_false-termination.cil.c timeout 905    895    9106653184 apollon027 260 3.56  .008 883     true 4.47 2.38 271507456 apollon144 1 .217 .00  .575 .024 true 4.53 2.48 285216768 apollon122 .192 .322 .635 .120 .280 .274 .153 .022 .175 .192 true 5.81 3.35 271757312 apollon104 8 .269 .269 .944 .335 .223 .217 .140 .012 .187 .168 2 .155
minepump_spec2_product09_true-unreach-call_false-termination.cil.c timeout 905    895    5864747008 apollon048 257 3.25  .006 884     true 3.92 2.10 274710528 apollon069 1 .211 .007 .444 .023 true 4.20 2.29 270569472 apollon084 .126 .106 .297 .090 .082 .078 .030 .003 .033 .048 true 3.64 2.05 257409024 apollon132 2 .039 .184 .347 .068 .052 .047 .024 .002 .030 .016 2 .029
minepump_spec2_product10_true-unreach-call_false-termination.cil.c timeout 904    896    5349584896 apollon041 230 2.95  .008 886     true 4.03 2.18 271863808 apollon066 1 .210 .00  .479 .032 true 3.32 1.84 271712256 apollon082 .034 .088 .287 .061 .064 .057 .022 .002 .024 .035 true 4.48 2.50 261906432 apollon086 2 .056 .228 .449 .101 .203 .200 .031 .004 .037 .023 2 .037
minepump_spec2_product11_true-unreach-call_false-termination.cil.c timeout 905    898    9072652288 apollon102 272 3.25  .010 887     true 4.26 2.25 269959168 apollon167 1 .215 .00  .510 .033 true 3.81 2.10 270458880 apollon159 .112 .120 .289 .078 .080 .073 .032 .002 .034 .045 true 3.67 2.05 264081408 apollon111 2 .037 .194 .363 .076 .179 .175 .151 .002 .155 .016 2 .156
minepump_spec2_product12_true-unreach-call_false-termination.cil.c timeout 905    896    4779900928 apollon123 209 3.00  .008 886     true 4.46 2.36 280158208 apollon049 1 .219 .00  .586 .020 true 3.47 1.91 276869120 apollon003 .103 .082 .218 .051 .059 .055 .023 .001 .024 .030 true 3.63 2.05 261869568 apollon161 2 .039 .207 .404 .090 .186 .181 .159 .002 .163 .023 2 .163
minepump_spec2_product13_true-unreach-call_false-termination.cil.c timeout 905    896    5495287808 apollon026 249 3.16  .011 885     true 4.10 2.18 273719296 apollon090 1 .203 .00  .493 .022 true 4.03 2.27 285642752 apollon052 .117 .303 .639 .173 .256 .248 .138 .018 .156 .170 true 5.24 2.98 273461248 apollon075 7 .344 .232 .670 .151 .189 .183 .120 .012 .154 .127 3 .134
minepump_spec2_product14_true-unreach-call_false-termination.cil.c timeout 905    897    5531365376 apollon157 238 3.00  .006 887     true 4.21 2.26 270856192 apollon157 1 .271 .00  .529 .030 true 4.55 2.52 276606976 apollon140 .116 .331 .711 .191 .286 .272 .148 .017 .165 .184 true 5.94 3.40 275300352 apollon141 7 .426 .290 .842 .162 .240 .235 .155 .013 .194 .187 2 .176
minepump_spec2_product15_true-unreach-call_false-termination.cil.c timeout 906    897    9079721984 apollon065 263 3.57  .009 884     true 4.27 2.27 274284544 apollon045 1 .202 .00  .537 .024 true 4.25 2.33 273043456 apollon002 .187 .308 .593 .116 .267 .261 .156 .021 .177 .188 true 4.50 2.59 277086208 apollon121 8 .208 .202 .784 .194 .181 .168 .108 .012 .147 .115 2 .123
minepump_spec2_product16_true-unreach-call_false-termination.cil.c timeout 905    897    5883359232 apollon037 248 3.35  .014 885     true 4.31 2.30 275927040 apollon154 1 .217 .00  .527 .024 true 4.15 2.31 276197376 apollon102 .120 .382 .678 .117 .273 .263 .151 .022 .173 .185 true 4.51 2.59 276406272 apollon121 8 .209 .242 .777 .166 .186 .176 .120 .012 .161 .116 2 .135
minepump_spec2_product17_true-unreach-call_false-termination.cil.c timeout 904    896    5729816576 apollon110 257 3.07  .005 886     true 4.13 2.21 269975552 apollon145 1 .205 .00  .497 .011 true 4.11 2.26 271937536 apollon091 .118 .299 .669 .203 .251 .243 .151 .013 .164 .172 true 4.65 2.67 276729856 apollon115 7 .161 .361 .742 .126 .331 .329 .128 .011 .153 .109 3 .280
minepump_spec2_product18_true-unreach-call_false-termination.cil.c timeout 905    897    5439471616 apollon127 234 2.96  .011 887     true 4.45 2.37 275550208 apollon018 1 .154 .00  .557 .012 true 4.42 2.49 279076864 apollon161 .205 .356 .644 .132 .295 .281 .161 .015 .176 .191 true 4.68 2.72 271347712 apollon084 7 .225 .358 .834 .155 .330 .326 .136 .013 .174 .149 2 .153
minepump_spec2_product19_true-unreach-call_false-termination.cil.c timeout 907    898    6196658176 apollon111 255 3.58  .017 885     true 4.26 2.27 275787776 apollon122 1 .164 .001 .512 .022 true 4.35 2.44 280084480 apollon142 .197 .338 .660 .141 .283 .273 .159 .023 .182 .197 true 5.98 3.46 271441920 apollon137 7 .421 .320 .883 .170 .263 .259 .172 .020 .214 .196 2 .198
minepump_spec2_product20_true-unreach-call_false-termination.cil.c timeout 905    897    6051221504 apollon079 250 3.45  .008 881     true 4.37 2.33 277655552 apollon040 1 .227 .00  .592 .024 true 5.17 2.85 278716416 apollon166 .234 .402 .772 .149 .343 .331 .190 .036 .226 .235 true 5.08 2.95 276312064 apollon074 8 .256 .373 .891 .171 .336 .325 .152 .015 .191 .174 2 .170
minepump_spec2_product21_true-unreach-call_false-termination.cil.c timeout 905    896    5863231488 apollon042 257 3.23  .005 885     true 4.25 2.27 272252928 apollon095 1 .220 .00  .451 .023 true 4.98 2.75 283860992 apollon130 .162 .440 .939 .227 .380 .367 .225 .029 .254 .272 true 6.14 3.48 278794240 apollon082 7 .302 .385 1.24  .223 .318 .312 .216 .024 .263 .184 3 .245
minepump_spec2_product22_true-unreach-call_false-termination.cil.c timeout 906    897    5321879552 apollon144 230 3.48  .009 885     true 4.43 2.34 274227200 apollon004 1 .181 .00  .496 .023 true 5.88 3.27 280780800 apollon080 .198 .629 1.13  .194 .473 .461 .290 .034 .324 .343 true 6.10 3.55 280834048 apollon098 7 .329 .560 1.24  .206 .504 .495 .238 .023 .287 .226 2 .424
minepump_spec2_product23_true-unreach-call_false-termination.cil.c timeout 906    898    9094586368 apollon160 260 3.31  .009 886     true 4.38 2.33 270057472 apollon160 1 .206 .001 .573 .023 true 4.93 2.74 282193920 apollon069 .152 .449 .943 .247 .391 .381 .230 .037 .267 .284 true 5.06 2.94 279728128 apollon128 7 .275 .320 .997 .194 .269 .266 .184 .013 .215 .181 2 .202
minepump_spec2_product24_true-unreach-call_false-termination.cil.c timeout 905    898    9087287296 apollon064 265 3.10  .012 886     true 4.91 2.62 276656128 apollon103 1 .215 .00  .620 .021 true 5.88 3.29 280055808 apollon037 .188 .532 1.13  .197 .469 .461 .284 .043 .327 .342 true 5.37 3.14 276369408 apollon077 8 .328 .515 1.14  .191 .462 .453 .206 .019 .250 .219 2 .230
minepump_spec2_product25_true-unreach-call_false-termination.cil.c timeout 906    898    5820547072 apollon124 256 3.23  .013 887     true 4.03 2.15 270188544 apollon014 1 .203 .00  .468 .014 true 5.15 2.83 279007232 apollon156 .141 .386 .840 .157 .332 .320 .186 .021 .207 .226 true 4.65 2.66 270893056 apollon097 7 .167 .246 .793 .294 .209 .206 .135 .014 .164 .108 3 .152
minepump_spec2_product26_true-unreach-call_false-termination.cil.c timeout 904    897    5708165120 apollon153 243 2.97  .010 887     true 4.19 2.24 267878400 apollon155 1 .235 .456 true 4.17 2.32 277397504 apollon104 .189 .312 .599 .107 .263 .255 .154 .014 .168 .173 true 6.35 3.67 284581888 apollon103 7 .433 .326 .918 .174 .282 .274 .184 .019 .229 .201 2 .208
minepump_spec2_product27_true-unreach-call_false-termination.cil.c timeout 907    898    9071706112 apollon055 258 3.57  .017 885     true 4.10 2.20 271826944 apollon023 1 .225 .00  .441 .033 true 4.37 2.42 279818240 apollon009 .190 .351 .645 .110 .287 .276 .166 .021 .187 .205 true 4.94 2.87 280334336 apollon072 7 .232 .281 .884 .295 .235 .225 .138 .016 .177 .162 2 .159
minepump_spec2_product28_true-unreach-call_false-termination.cil.c timeout 906    897    6097248256 apollon075 250 3.41  .009 885     true 4.29 2.29 267898880 apollon145 1 .239 .00  .570 .024 true 4.20 2.34 280244224 apollon026 .196 .317 .634 .114 .269 .266 .158 .022 .180 .188 true 4.85 2.83 272711680 apollon108 8 .262 .399 .875 .144 .352 .350 .172 .014 .212 .174 2 .189
minepump_spec2_product29_true-unreach-call_false-termination.cil.c timeout 905    897    5691686912 apollon163 251 3.19  .008 886     true 4.28 2.29 269271040 apollon081 1 .292 .00  .417 .027 true 4.82 2.66 278200320 apollon157 .159 .428 .923 .229 .370 .356 .220 .023 .243 .262 true 5.03 2.86 281710592 apollon099 7 .195 .311 .963 .188 .240 .230 .161 .016 .194 .145 3 .179
minepump_spec2_product30_true-unreach-call_false-termination.cil.c timeout 905    896    5294149632 apollon090 229 3.20  .005 885     true 4.40 2.34 271630336 apollon135 1 .225 .00  .497 .012 true 5.92 3.30 280080384 apollon041 .210 .555 1.17  .299 .485 .465 .292 .036 .328 .347 true 5.43 3.16 277778432 apollon120 7 .293 .360 1.11  .310 .308 .296 .208 .016 .245 .193 2 .232
minepump_spec2_product31_true-unreach-call_false-termination.cil.c timeout 906    896    9086029824 apollon106 255 3.69  .011 879     true 4.60 2.43 270839808 apollon095 1 .221 .001 .595 .038 true 4.80 2.65 282308608 apollon038 .210 .432 .849 .154 .376 .360 .225 .032 .257 .270 true 5.61 3.27 276754432 apollon079 7 .444 .369 1.01  .214 .318 .313 .216 .019 .255 .205 2 .241
minepump_spec2_product32_true-unreach-call_false-termination.cil.c timeout 912    905    9098358784 apollon056 true 4.43 2.36 272748544 apollon025 1 .240 .00  .596 .026 true 5.62 3.11 277807104 apollon053 .180 .521 1.11  .210 .454 .433 .274 .044 .318 .338 true 5.47 3.18 276455424 apollon080 8 .325 .483 1.10  .195 .425 .414 .335 .019 .378 .213 2 .358
minepump_spec2_product37_true-unreach-call_false-termination.cil.c timeout 910    902    8977301504 apollon142 147 2.99  92.7   766     true 6.97 3.64 422055936 apollon110 2 .324 .045 1.70  .093 .857 .293 true 6.14 3.36 283295744 apollon105 .156 .594 1.21  .306 .505 .491 .309 .051 .360 .376 true 5.85 3.38 278003712 apollon151 7 .231 .488 1.19  .280 .438 .426 .321 .023 .361 .184 3 .347
minepump_spec2_product38_true-unreach-call_false-termination.cil.c timeout 908    898    8929513472 apollon138 139 3.72  121     729     true 8.00 4.17 433393664 apollon147 2 .294 .033 2.12  .078 1.30  .373 true 6.29 3.46 279904256 apollon008 .205 .615 1.25  .307 .543 .528 .326 .053 .379 .394 true 5.06 2.90 273227776 apollon154 6 .218 .422 .931 .190 .378 .363 .282 .015 .317 .136 2 .303
minepump_spec2_product39_true-unreach-call_false-termination.cil.c timeout 904    895    5522493440 apollon035 110 2.83  560     304     true 9.92 5.11 386506752 apollon160 3 .372 .094 2.96  .173 1.49  .780 true 4.84 2.68 281096192 apollon138 .140 .449 .899 .214 .386 .382 .241 .040 .281 .291 true 6.34 3.71 276832256 apollon069 8 .356 .409 1.24  .219 .358 .350 .238 .020 .286 .224 2 .268
minepump_spec2_product40_true-unreach-call_false-termination.cil.c timeout 905    898    5204250624 apollon095 106 2.92  478     390     true 9.67 5.02 465481728 apollon052 3 .413 .071 3.02  .153 1.56  .698 true 4.84 2.68 281612288 apollon120 .142 .503 .896 .156 .385 .380 .231 .047 .278 .291 true 4.99 2.89 279650304 apollon062 8 .374 .328 .865 .170 .286 .286 .194 .019 .237 .170 2 .215
minepump_spec2_product45_true-unreach-call_false-termination.cil.c timeout 906    897    5923328000 apollon149 109 2.90  75.8   790     true 8.05 4.17 440672256 apollon012 2 .280 .028 2.16  .085 1.39  .233 true 5.53 3.07 289538048 apollon047 .195 .581 1.12  .165 .519 .506 .322 .055 .377 .387 true 5.23 3.02 282861568 apollon066 7 .227 .382 1.17  .263 .323 .318 .229 .020 .261 .184 3 .252
minepump_spec2_product46_true-unreach-call_false-termination.cil.c timeout 906    894    5518073856 apollon037 104 3.47  81.6   779     true 8.83 4.57 468799488 apollon119 2 .318 .030 2.48  .085 1.58  .438 true 5.15 2.84 286343168 apollon146 .182 .585 1.12  .239 .518 .502 .329 .051 .380 .391 true 6.04 3.52 281915392 apollon137 6 .414 .423 1.13  .235 .338 .328 .234 .023 .282 .192 2 .261
minepump_spec2_product47_true-unreach-call_false-termination.cil.c timeout 910    901    6156455936 apollon151 107 2.85  557     311     true 9.52 4.93 469098496 apollon065 3 .415 .179 2.90  .154 1.42  .737 true 5.66 3.15 289329152 apollon005 .194 .598 1.21  .278 .533 .526 .332 .065 .397 .405 true 5.43 3.17 282390528 apollon136 8 .325 .411 1.19  .217 .363 .350 .250 .022 .301 .203 2 .277
minepump_spec2_product48_true-unreach-call_false-termination.cil.c timeout 905    896    5487808512 apollon134 97 2.94  434     431     true 11.4  5.84 606273536 apollon131 3 .372 .125 3.82  .260 1.73  1.17  true 5.27 2.90 290672640 apollon081 .210 .546 1.09  .246 .499 .484 .306 .056 .362 .371 true 7.08 4.15 286900224 apollon077 8 .474 .507 1.58  .310 .468 .458 .309 .044 .386 .289 2 .360
minepump_spec2_product49_true-unreach-call_false-termination.cil.c timeout 909    899    4840013824 apollon059 101 2.54  688     187     true 74.1  37.3  2669776896 apollon132 14 .766 4.52  34.5   4.32  10.6   14.1   true 6.31 3.48 278814720 apollon018 .176 .686 1.31  .230 .632 .617 .412 .060 .472 .484 true 7.44 4.40 284004352 apollon096 11 .720 .536 1.55  .300 .487 .476 .341 .030 .423 .370 2 .377
minepump_spec2_product50_true-unreach-call_false-termination.cil.c timeout 907    897    4831244288 apollon029 98 2.58  655     216     true 98.1  49.4  3504410624 apollon083 17 .892 7.69  46.5   6.43  12.3   18.4   true 5.35 2.98 280420352 apollon062 .158 .622 1.14  .174 .538 .518 .337 .046 .383 .396 true 5.28 3.08 277766144 apollon058 7 .408 .334 .987 .206 .294 .287 .200 .017 .245 .206 2 .220
minepump_spec2_product51_true-unreach-call_false-termination.cil.c timeout 906    896    4827045888 apollon085 95 2.74  770     101     true 102    51.5  3546660864 apollon022 16 .811 9.39  48.7   6.15  12.0   19.9   true 4.99 2.77 281001984 apollon117 .141 .584 1.07  .234 .526 .516 .325 .069 .394 .408 true 6.19 3.68 284000256 apollon062 9 .562 .487 1.30  .272 .417 .412 .273 .026 .340 .287 3 .304
minepump_spec2_product52_true-unreach-call_false-termination.cil.c timeout 908    898    4816896000 apollon033 86 2.65  727     147     true 95.5  48.0  3396079616 apollon071 15 .814 8.50  45.2   7.33  11.3   16.9   true 6.33 3.50 276086784 apollon011 .192 .743 1.38  .301 .659 .647 .415 .085 .500 .514 true 7.13 4.14 279830528 apollon066 8 .608 .472 1.34  .266 .415 .398 .285 .030 .354 .304 2 .320
minepump_spec2_product53_true-unreach-call_false-termination.cil.c timeout 909    899    9311977472 apollon050 130 3.86  125     723     true 8.51 4.39 453918720 apollon138 2 .317 .059 2.34  .131 1.48  .237 true 5.77 3.14 286605312 apollon005 .182 .741 1.34  .235 .595 .582 .374 .055 .429 .443 true 5.71 3.26 279445504 apollon061 7 .370 .458 1.21  .274 .409 .398 .270 .035 .321 .187 3 .310
minepump_spec2_product54_true-unreach-call_false-termination.cil.c timeout 909    899    8999399424 apollon028 127 4.32  99.3   748     true 8.80 4.55 453414912 apollon154 2 .358 .047 2.47  .107 1.56  .240 true 5.66 3.07 288731136 apollon030 .199 .658 1.31  .302 .572 .557 .364 .060 .424 .446 true 5.59 3.22 282304512 apollon159 7 .377 .434 1.17  .253 .381 .374 .274 .023 .318 .198 3 .302
minepump_spec2_product55_true-unreach-call_false-termination.cil.c timeout 906    894    5711953920 apollon034 99 3.55  641     218     true 10.1  5.23 514203648 apollon051 3 .397 .187 3.17  .161 1.56  .772 true 5.71 3.11 292827136 apollon153 .205 .671 1.32  .297 .583 .566 .369 .073 .442 .458 true 5.72 3.23 288288768 apollon065 6 .279 .370 1.25  .225 .318 .303 .209 .022 .247 .216 2 .234
minepump_spec2_product56_true-unreach-call_false-termination.cil.c timeout 904    895    5426110464 apollon026 95 3.48  494     369     true 11.4  5.83 585740288 apollon068 3 .284 .147 3.75  .255 2.00  .907 true 5.93 3.23 290529280 apollon161 .188 .695 1.40  .223 .628 .613 .388 .089 .477 .489 true 5.60 3.16 281370624 apollon148 6 .358 .377 1.13  .262 .321 .310 .227 .021 .264 .197 2 .251
minepump_spec2_product57_true-unreach-call_false-termination.cil.c timeout 904    894    4821708800 apollon162 80 2.91  620     252     true 83.1  41.9  3115753472 apollon028 14 .745 5.84  39.1   5.30  11.3   15.3   true 6.00 3.28 296939520 apollon161 .259 .815 1.43  .224 .732 .715 .458 .080 .538 .565 true 6.72 3.98 286306304 apollon162 11 .607 .562 1.59  .317 .507 .492 .358 .031 .435 .335 2 .394
minepump_spec2_product58_true-unreach-call_false-termination.cil.c timeout 903    893    4832468992 apollon159 79 2.89  647     223     true 94.4  47.5  3418140672 apollon019 15 .729 6.13  44.7   6.65  12.6   17.9   true 5.97 3.27 287055872 apollon029 .245 .783 1.42  .214 .705 .688 .449 .074 .523 .543 true 6.95 4.05 288505856 apollon086 7 .586 .533 1.49  .269 .472 .465 .332 .032 .398 .318 2 .373
minepump_spec2_product59_true-unreach-call_false-termination.cil.c timeout 904    894    4868780032 apollon058 79 2.94  770     102     true 84.7  42.6  2935779328 apollon020 14 .814 7.00  40.3   4.95  11.7   14.7   true 6.75 3.73 290422784 apollon148 .302 .936 1.64  .246 .858 .832 .527 .119 .646 .672 true 5.85 3.37 287973376 apollon092 7 .365 .434 1.35  .359 .361 .354 .256 .024 .310 .322 2 .286
minepump_spec2_product60_true-unreach-call_false-termination.cil.c timeout 904    894    4866002944 apollon067 78 2.70  741     131     true 115    57.8  4034035712 apollon103 16 .927 11.1   54.9   9.12  13.3   19.4   true 6.03 3.35 286363648 apollon035 .244 .926 1.50  .228 .785 .766 .473 .129 .602 .623 true 5.77 3.41 281010176 apollon096 7 .364 .554 1.32  .210 .501 .494 .266 .028 .324 .248 2 .412
minepump_spec2_product61_true-unreach-call_false-termination.cil.c timeout 905    894    5846122496 apollon008 96 4.05  81.0   775     true 8.96 4.62 548118528 apollon061 2 .282 .031 2.50  .144 1.49  .414 true 6.22 3.37 298016768 apollon077 .246 .757 1.56  .302 .677 .649 .426 .068 .494 .509 true 7.83 4.49 289980416 apollon161 7 .553 .641 1.69  .373 .573 .556 .409 .036 .470 .258 3 .450
minepump_spec2_product62_true-unreach-call_false-termination.cil.c timeout 906    898    6258860032 apollon058 100 3.46  76.1   787     true 10.2  5.22 482619392 apollon004 2 .375 .077 3.02  .101 1.64  .799 true 6.46 3.52 302231552 apollon137 .255 .806 1.66  .312 .735 .713 .458 .086 .544 .558 true 8.26 4.80 293875712 apollon134 7 .587 .699 2.17  .531 .626 .608 .436 .047 .512 .458 2 .493
minepump_spec2_product63_true-unreach-call_false-termination.cil.c timeout 912    901    9047003136 apollon075 true 10.9  5.63 600502272 apollon128 3 .388 .209 3.49  .184 1.69  .896 true 5.97 3.25 292442112 apollon156 .258 .700 1.43  .269 .606 .589 .389 .061 .450 .469 true 7.39 4.26 290947072 apollon133 8 .721 .664 1.72  .310 .581 .570 .422 .041 .493 .334 2 .468
minepump_spec2_product64_true-unreach-call_false-termination.cil.c timeout 904    894    5648883712 apollon148 89 3.60  462     397     true 12.2  6.24 619008000 apollon113 3 .465 .223 3.92  .117 1.83  1.26  true 6.14 3.32 286646272 apollon024 .268 .820 1.48  .251 .665 .641 .416 .073 .489 .504 true 7.41 4.25 298524672 apollon089 8 .521 .672 1.98  .526 .591 .584 .416 .038 .483 .408 2 .454
minepump_spec3_product33_true-unreach-call_false-termination.cil.c timeout 908    899    9367986176 apollon062 161 3.09  105     747     true 67.5  34.0  2264936448 apollon160 16 .680 2.03  31.3   3.44  8.26  16.5   true 4.04 2.21 279539712 apollon037 .121 .244 .532 .124 .205 .203 .122 .027 .149 .110 true 4.96 2.80 272293888 apollon076 4 .308 .045 .467 .170 .008 .001 .00  .00  .013 .088 2
minepump_spec3_product34_true-unreach-call_false-termination.cil.c timeout 908    897    9477500928 apollon091 158 3.15  123     727     true 66.5  33.5  2368368640 apollon168 16 .687 2.13  31.2   3.87  7.86  16.0   true 4.04 2.23 273620992 apollon091 .131 .248 .519 .113 .208 .201 .115 .027 .142 .106 true 4.31 2.40 277303296 apollon116 4 .289 .042 .361 .110 .007 .00  .00  .00  .013 .071 2
minepump_spec3_product37_true-unreach-call_false-termination.cil.c timeout 917    901    9032626176 apollon040 141 4.01  170     680     true 59.2  29.9  2237935616 apollon154 12 .741 1.48  27.2   3.07  7.70  14.1   true 5.34 2.95 276746240 apollon146 .074 .546 1.13  .316 .490 .471 .285 .093 .378 .267 true 4.34 2.46 272449536 apollon058 4 .183 .054 .578 .156 .008 .001 .00  .00  .013 .098 2
minepump_spec3_product38_true-unreach-call_false-termination.cil.c timeout 909    899    9090482176 apollon109 136 3.58  102     752     true 82.4  41.6  2905149440 apollon022 17 .799 2.49  38.7   5.65  11.6   17.6   true 4.65 2.63 278290432 apollon167 .136 .465 .916 .192 .418 .411 .245 .071 .316 .224 true 4.43 2.52 277807104 apollon101 4 .211 .058 .569 .248 .013 .003 .00  .00  .016 .098 2
minepump_spec3_product41_true-unreach-call_false-termination.cil.c timeout 908    900    9374441472 apollon085 144 2.71  115     743     true 117    59.1  3987066880 apollon164 19 .673 3.37  56.4   7.31  11.0   33.2   true 4.75 2.68 272879616 apollon161 .062 .450 .898 .250 .400 .390 .236 .058 .294 .208 true 4.51 2.56 270876672 apollon150 4 .181 .036 .506 .243 .006 .002 .00  .00  .010 .087 2
minepump_spec3_product42_true-unreach-call_false-termination.cil.c timeout 908    900    9374728192 apollon010 142 2.88  97.0   760     true 160    80.8  4596539392 apollon022 24 .824 4.98  77.8   13.4   16.5   40.5   true 4.58 2.55 274735104 apollon028 .132 .425 .774 .166 .377 .370 .227 .055 .282 .197 true 4.37 2.48 274030592 apollon109 4 .326 .053 .409 .121 .008 .002 .00  .00  .014 .084 2
minepump_spec3_product45_true-unreach-call_false-termination.cil.c timeout 906    898    6034223104 apollon044 106 2.81  66.9   801     true 63.9  32.2  2536230912 apollon046 12 .754 1.88  29.4   3.11  7.48  16.1   true 4.68 2.58 282046464 apollon029 .072 .387 .857 .161 .349 .338 .217 .039 .256 .170 true 5.84 3.29 275685376 apollon163 4 .307 .068 .817 .355 .008 .00  .00  .00  .014 .143 2
minepump_spec3_product46_true-unreach-call_false-termination.cil.c timeout 907    897    5981052928 apollon124 104 3.31  91.2   772     true 51.8  26.2  1952387072 apollon098 11 .708 1.88  23.6   3.13  7.75  9.64  true 4.49 2.53 277946368 apollon163 .074 .397 .880 .250 .334 .329 .212 .041 .253 .167 true 5.60 3.19 277286912 apollon076 4 .275 .062 .833 .386 .007 .002 .00  .00  .021 .138 2
minepump_spec3_product49_true-unreach-call_false-termination.cil.c timeout 906    897    8939835392 apollon001 123 3.23  362     494     true 74.9  37.8  2741346304 apollon105 13 .793 2.94  35.1   3.27  8.62  19.0   true 5.09 2.82 274968576 apollon073 .079 .282 .797 .252 .236 .222 .139 .019 .158 .123 true 5.01 2.91 276844544 apollon149 6 .525 .066 .719 .218 .005 .00  .00  .00  .025 .215 1
minepump_spec3_product50_true-unreach-call_false-termination.cil.c timeout 910    899    9095467008 apollon138 124 3.49  432     426     true 103    51.7  3759235072 apollon122 17 .916 5.36  48.9   6.05  13.7   21.7   true 5.44 2.94 280879104 apollon139 .085 .412 .838 .179 .276 .262 .162 .022 .184 .141 true 5.67 3.25 274948096 apollon059 4 .422 .058 .727 .227 .013 .002 .00  .00  .024 .154 1
minepump_spec3_product53_true-unreach-call_false-termination.cil.c timeout 909    899    6284705792 apollon082 106 3.77  566     293     true 86.7  43.6  3240378368 apollon041 12 .746 3.32  40.7   3.95  9.80  22.7   true 5.00 2.77 279863296 apollon136 .085 .328 .925 .300 .255 .241 .150 .016 .166 .115 true 7.73 4.34 286814208 apollon102 6 .841 .113 1.33  .390 .030 .00  .00  .00  .037 .370 1
minepump_spec3_product54_true-unreach-call_false-termination.cil.c timeout 910    897    5989289984 apollon136 101 3.66  534     326     true 84.8  42.7  3139043328 apollon064 14 .808 4.60  39.6   5.17  12.8   15.7   true 5.26 2.89 276619264 apollon053 .081 .339 .936 .310 .272 .260 .167 .017 .184 .125 true 4.92 2.79 277839872 apollon114 4 .444 .074 .746 .255 .010 .002 .00  .00  .019 .123 1
minepump_spec3_product57_true-unreach-call_false-termination.cil.c timeout 904    895    3300700160 apollon152 74 2.67  696     178     true 80.9  40.7  2883145728 apollon021 12 .792 3.43  38.2   4.20  8.68  20.7   true 4.60 2.54 277327872 apollon148 .081 .360 .852 .188 .320 .310 .203 .034 .237 .161 true 5.35 3.11 285581312 apollon082 6 .494 .052 .925 .361 .010 .001 .00  .00  .033 .251 1
minepump_spec3_product58_true-unreach-call_false-termination.cil.c timeout 903    893    3485650944 apollon150 75 2.78  693     178     true 79.7  40.1  3084718080 apollon012 13 .697 5.05  37.5   5.62  10.5   14.7   true 4.50 2.46 275324928 apollon118 .081 .372 .839 .250 .325 .316 .210 .030 .240 .163 true 5.80 3.33 285102080 apollon164 6 .629 .072 .788 .201 .012 .001 .00  .00  .032 .262 1
minepump_spec3_product61_true-unreach-call_false-termination.cil.c timeout 904    896    4806340608 apollon022 72 3.04  677     196     true 34.7  17.5  1340694528 apollon155 7 .544 1.33  14.9   1.55  4.63  6.84  true 5.01 2.76 287301632 apollon146 .085 .427 1.05  .306 .372 .361 .252 .028 .280 .179 true 6.43 3.65 290885632 apollon135 6 .878 .095 1.09  .311 .012 .002 .00  .00  .035 .290 1
minepump_spec3_product62_true-unreach-call_false-termination.cil.c timeout 904    894    4909379584 apollon134 71 2.77  623     249     true 63.2  31.9  2567159808 apollon097 10 .813 3.03  28.7   3.79  9.32  12.0   true 6.30 3.45 285585408 apollon142 .105 .573 1.35  .371 .477 .463 .318 .038 .356 .226 true 6.14 3.56 291446784 apollon080 6 .758 .087 1.09  .334 .010 .001 .00  .00  .036 .283 1
minepump_spec4_product01_true-unreach-call_false-termination.cil.c timeout 905    898    5891084288 apollon095 261 2.89  .007 888     true 3.93 2.11 270344192 apollon097 1 .147 .00  .406 .028 true 3.46 1.91 268808192 apollon111 .106 .080 .225 .073 .055 .046 .018 .00  .018 .025 true 3.50 1.96 262934528 apollon086 2 .048 .027 .316 .080 .004 .00  .00  .00  .001 .142 2
minepump_spec4_product02_true-unreach-call_false-termination.cil.c timeout 904    897    5429882880 apollon110 236 2.96  .006 887     true 3.76 2.05 262754304 apollon082 1 .167 .358 true 3.31 1.83 266469376 apollon061 .108 .067 .207 .058 .046 .041 .018 .00  .018 .020 true 3.64 2.03 261513216 apollon066 2 .048 .030 .319 .217 .002 .00  .00  .00  .001 .016 2
minepump_spec4_product03_true-unreach-call_false-termination.cil.c timeout 906    897    9058422784 apollon080 268 3.52  .014 885     true 3.93 2.09 270716928 apollon063 1 .205 .00  .384 .024 true 3.43 1.89 275750912 apollon038 .112 .075 .249 .076 .055 .048 .022 .00  .022 .022 true 3.55 2.01 259616768 apollon114 2 .047 .034 .317 .202 .008 .002 .00  .00  .001 .019 2
minepump_spec4_product04_true-unreach-call_false-termination.cil.c timeout 905    896    5055500288 apollon092 227 3.11  .010 886     true 4.05 2.17 270467072 apollon135 1 .187 .00  .498 .035 true 3.49 1.92 264196096 apollon015 .127 .086 .259 .081 .060 .057 .025 .00  .025 .031 true 3.48 1.97 265908224 apollon127 2 .047 .028 .310 .071 .006 .001 .00  .00  .00  .020 2
minepump_spec4_product05_true-unreach-call_false-termination.cil.c timeout 906    899    6143045632 apollon014 269 3.15  .010 887     true 4.05 2.17 267722752 apollon133 1 .205 .00  .394 .043 true 3.67 2.01 269316096 apollon030 .116 .154 .395 .106 .120 .111 .061 .005 .066 .053 true 3.94 2.23 274456576 apollon127 4 .234 .027 .330 .121 .007 .00  .00  .00  .010 .065 2
minepump_spec4_product06_true-unreach-call_false-termination.cil.c timeout 905    896    5613699072 apollon168 242 3.08  .018 886     true 4.06 2.17 272121856 apollon125 1 .188 .00  .442 .022 true 4.56 2.56 278106112 apollon048 .157 .194 .493 .124 .160 .153 .085 .006 .091 .065 true 4.97 2.82 266760192 apollon152 4 .285 .045 .441 .142 .007 .001 .00  .00  .018 .090 2
minepump_spec4_product07_true-unreach-call_false-termination.cil.c timeout 907    899    9051230208 apollon023 263 3.35  .011 887     true 4.15 2.21 266924032 apollon099 1 .198 .001 .420 .020 true 3.82 2.12 274268160 apollon125 .118 .184 .417 .102 .149 .143 .081 .016 .097 .075 true 4.07 2.31 268591104 apollon089 5 .267 .029 .364 .119 .004 .00  .00  .00  .007 .092 3
minepump_spec4_product08_true-unreach-call_false-termination.cil.c timeout 907    898    6293782528 apollon083 258 3.48  .009 886     true 4.37 2.35 272097280 apollon120 1 .233 .001 .493 .020 true 3.95 2.17 270303232 apollon139 .119 .184 .427 .106 .148 .146 .080 .012 .092 .076 true 3.85 2.19 281567232 apollon148 4 .168 .046 .427 .098 .007 .00  .00  .00  .011 .065 2
minepump_spec4_product09_true-unreach-call_false-termination.cil.c timeout 906    899    9042604032 apollon020 275 2.94  .015 889     true 3.81 2.04 269967360 apollon167 1 .188 .346 true 3.33 1.85 270872576 apollon126 .105 .074 .222 .064 .050 .044 .020 .001 .021 .021 true 3.57 2.00 261885952 apollon094 2 .043 .157 .344 .074 .002 .001 .00  .00  .001 .022 2
minepump_spec4_product10_true-unreach-call_false-termination.cil.c timeout 906    898    6111191040 apollon026 259 2.71  .012 889     true 4.04 2.18 270245888 apollon101 1 .166 .001 .399 .013 true 3.67 2.00 266502144 apollon121 .111 .065 .209 .060 .049 .046 .019 .001 .020 .022 true 4.68 2.66 266534912 apollon158 2 .064 .195 .462 .137 .005 .00  .00  .00  .001 .025 2
minepump_spec4_product11_true-unreach-call_false-termination.cil.c timeout 905    897    8914722816 apollon103 268 3.77  .009 884     true 3.95 2.14 273018880 apollon077 1 .209 .001 .447 .020 true 3.30 1.83 271728640 apollon019 .106 .078 .239 .067 .059 .056 .022 .002 .024 .028 true 3.59 2.00 267919360 apollon160 2 .156 .029 .188 .088 .008 .00  .00  .00  .001 .015 2
minepump_spec4_product12_true-unreach-call_false-termination.cil.c timeout 904    896    5229215744 apollon050 229 3.09  .015 885     true 4.05 2.18 268767232 apollon128 1 .183 .00  .485 .025 true 3.94 2.17 265105408 apollon073 .112 .092 .271 .072 .061 .057 .029 .00  .029 .023 true 3.59 2.02 262082560 apollon165 2 .056 .032 .306 .187 .002 .00  .00  .00  .001 .022 2
minepump_spec4_product13_true-unreach-call_false-termination.cil.c timeout 912    905    9055064064 apollon119 true 4.07 2.18 272277504 apollon065 1 .244 .00  .377 .030 true 3.88 2.11 269774848 apollon046 .122 .168 .400 .112 .132 .128 .065 .001 .066 .062 true 4.00 2.25 267956224 apollon112 4 .135 .034 .458 .121 .004 .002 .00  .00  .008 .070 2
minepump_spec4_product14_true-unreach-call_false-termination.cil.c timeout 904    896    5547085824 apollon140 240 2.98  .017 886     true 3.91 2.11 275439616 apollon020 1 .253 .00  .421 .018 true 4.52 2.48 271503360 apollon072 .138 .217 .490 .120 .167 .157 .086 .007 .093 .078 true 4.77 2.69 269443072 apollon167 4 .157 .042 .535 .129 .006 .00  .00  .00  .015 .082 2
minepump_spec4_product15_true-unreach-call_false-termination.cil.c timeout 907    897    9067614208 apollon094 265 3.71  .011 884     true 4.21 2.24 270532608 apollon009 1 .248 .00  .474 .019 true 3.90 2.12 277499904 apollon006 .050 .187 .488 .161 .160 .157 .082 .014 .096 .082 true 3.87 2.18 265318400 apollon107 5 .221 .028 .327 .113 .004 .003 .00  .00  .006 .076 3
minepump_spec4_product16_true-unreach-call_false-termination.cil.c timeout 906    898    9072140288 apollon016 260 3.36  .007 886     true 4.21 2.26 274141184 apollon025 1 .204 .00  .450 .024 true 4.14 2.29 269819904 apollon154 .053 .207 .519 .170 .165 .157 .082 .015 .097 .086 true 4.89 2.76 266641408 apollon160 4 .303 .052 .428 .140 .010 .00  .00  .00  .013 .083 2
minepump_spec4_product17_true-unreach-call_false-termination.cil.c timeout 905    898    9044508672 apollon024 276 2.93  .008 887     true 3.94 2.11 264482816 apollon052 1 .212 .00  .357 .025 true 3.92 2.16 273965056 apollon036 .128 .178 .434 .104 .140 .136 .083 .005 .088 .053 true 4.08 2.31 272596992 apollon112 4 .252 .046 .331 .106 .008 .001 .00  .00  .011 .068 2
minepump_spec4_product18_true-unreach-call_false-termination.cil.c timeout 906    898    5814640640 apollon165 254 2.85  .008 888     true 3.93 2.12 265433088 apollon079 1 .182 .408 true 4.77 2.64 270917632 apollon070 .154 .209 .503 .123 .167 .160 .094 .008 .102 .075 true 4.11 2.30 270725120 apollon157 4 .132 .045 .494 .148 .010 .004 .00  .00  .013 .072 2
minepump_spec4_product19_true-unreach-call_false-termination.cil.c timeout 906    898    8934187008 apollon067 281 3.31  .006 887     true 4.15 2.22 273719296 apollon110 1 .224 .00  .430 .019 true 3.75 2.07 270991360 apollon155 .058 .201 .493 .105 .154 .144 .081 .013 .094 .068 true 4.12 2.30 268288000 apollon132 5 .270 .034 .338 .100 .005 .001 .00  .00  .006 .079 3
minepump_spec4_product20_true-unreach-call_false-termination.cil.c timeout 906    898    6128562176 apollon159 254 3.60  .017 881     true 4.22 2.24 270139392 apollon042 1 .192 .00  .492 .013 true 4.96 2.73 266600448 apollon063 .150 .248 .554 .135 .203 .191 .108 .017 .125 .091 true 3.91 2.20 268873728 apollon077 4 .229 .051 .361 .130 .008 .004 .00  .00  .009 .065 2
minepump_spec4_product21_true-unreach-call_false-termination.cil.c timeout 905    896    5745512448 apollon124 255 3.52  .014 884     true 4.11 2.20 269385728 apollon158 1 .186 .00  .393 .017 true 4.00 2.21 272261120 apollon085 .140 .211 .534 .137 .168 .161 .093 .008 .101 .072 true 4.38 2.47 273678336 apollon074 4 .189 .035 .583 .142 .010 .001 .00  .00  .011 .082 2
minepump_spec4_product22_true-unreach-call_false-termination.cil.c timeout 906    898    5722243072 apollon121 246 3.25  .006 887     true 4.12 2.21 263917568 apollon001 1 .213 .375 true 3.93 2.16 268402688 apollon137 .057 .222 .593 .196 .177 .170 .103 .009 .112 .078 true 4.60 2.58 270757888 apollon119 4 .181 .067 .623 .164 .009 .003 .00  .00  .012 .098 2
minepump_spec4_product23_true-unreach-call_false-termination.cil.c timeout 906    896    9088503808 apollon106 263 3.71  .013 883     true 4.05 2.17 274685952 apollon104 1 .226 .380 true 4.16 2.27 276398080 apollon102 .059 .253 .630 .198 .201 .193 .108 .014 .122 .089 true 4.91 2.77 266756096 apollon073 4 .202 .042 .753 .266 .009 .002 .00  .00  .015 .105 2
minepump_spec4_product24_true-unreach-call_false-termination.cil.c timeout 906    897    6305931264 apollon048 253 3.58  .006 885     true 4.35 2.34 271220736 apollon121 1 .231 .00  .515 .021 true 4.14 2.28 274731008 apollon152 .060 .235 .644 .228 .195 .186 .114 .015 .129 .091 true 5.41 3.05 273268736 apollon110 4 .214 .064 .723 .324 .005 .001 .00  .00  .015 .107 2
minepump_spec4_product25_true-unreach-call_false-termination.cil.c timeout 905    897    6061101056 apollon165 267 3.34  .014 885     true 4.06 2.19 269283328 apollon166 1 .221 .00  .406 .021 true 3.83 2.12 270417920 apollon113 .124 .175 .417 .103 .142 .134 .081 .003 .084 .059 true 4.28 2.41 267071488 apollon074 4 .144 .037 .493 .124 .006 .002 .00  .00  .006 .064 2
minepump_spec4_product26_true-unreach-call_false-termination.cil.c timeout 905    898    5529686016 apollon047 239 2.91  .014 887     true 3.98 2.13 277438464 apollon088 1 .188 .00  .405 .032 true 3.89 2.15 274665472 apollon143 .120 .183 .427 .112 .145 .142 .082 .006 .088 .069 true 4.01 2.25 269320192 apollon072 4 .133 .035 .458 .124 .006 .001 .00  .00  .011 .072 2
minepump_spec4_product27_true-unreach-call_false-termination.cil.c timeout 912    904    9078325248 apollon149 true 4.02 2.15 265093120 apollon150 1 .181 .00  .442 .052 true 4.03 2.24 278069248 apollon157 .117 .183 .419 .100 .143 .139 .083 .012 .095 .063 true 4.18 2.35 270635008 apollon120 5 .137 .052 .493 .223 .014 .001 .00  .00  .006 .083 3
minepump_spec4_product28_true-unreach-call_false-termination.cil.c timeout 906    896    6043705344 apollon103 251 4.02  .010 882     true 4.37 2.33 272756736 apollon101 1 .196 .00  .507 .023 true 3.88 2.13 267853824 apollon119 .117 .181 .418 .092 .153 .149 .089 .014 .103 .073 true 4.18 2.33 269262848 apollon115 4 .285 .052 .357 .121 .007 .001 .00  .00  .011 .075 2
minepump_spec4_product29_true-unreach-call_false-termination.cil.c timeout 905    896    6180716544 apollon010 270 3.41  .014 885     true 3.93 2.12 265314304 apollon051 1 .085 .290 true 4.30 2.41 271749120 apollon008 .078 .249 .661 .131 .193 .181 .113 .008 .121 .079 true 4.29 2.40 267280384 apollon080 4 .280 .040 .415 .129 .009 .001 .00  .00  .013 .077 2
minepump_spec4_product30_true-unreach-call_false-termination.cil.c timeout 904    897    5661208576 apollon142 249 3.03  .004 886     true 4.24 2.26 269598720 apollon132 1 .234 .388 true 4.11 2.29 275021824 apollon151 .055 .208 .572 .185 .167 .160 .091 .007 .098 .078 true 4.97 2.80 271499264 apollon075 4 .191 .055 .688 .168 .006 .002 .00  .00  .011 .102 2
minepump_spec4_product31_true-unreach-call_false-termination.cil.c timeout 906    896    9076764672 apollon074 259 4.20  .012 882     true 4.17 2.23 272642048 apollon083 1 .207 .397 true 4.79 2.65 272072704 apollon114 .075 .270 .723 .228 .225 .210 .128 .019 .147 .101 true 5.17 2.92 271630336 apollon116 4 .214 .072 .737 .326 .004 .001 .00  .00  .018 .112 2
minepump_spec4_product32_true-unreach-call_false-termination.cil.c timeout 907    899    8922791936 apollon006 262 3.29  .005 888     true 4.28 2.29 273272832 apollon064 1 .221 .00  .476 .030 true 4.09 2.27 275001344 apollon120 .074 .234 .632 .211 .203 .198 .122 .015 .137 .091 true 4.44 2.49 271142912 apollon070 4 .164 .037 .579 .291 .004 .001 .00  .00  .012 .089 2
minepump_spec4_product49_true-unreach-call_false-termination.cil.c timeout 907    895    9075339264 apollon018 138 4.06  146     699     true 64.0  32.2  2620940288 apollon087 14 .817 2.44  29.8   4.40  9.17  12.1   true 4.30 2.35 272302080 apollon024 .109 .295 .692 .139 .249 .239 .153 .020 .173 .077 true 6.16 3.52 280309760 apollon153 5 .566 .072 .801 .261 .010 .002 .00  .00  .037 .214 1
minepump_spec4_product50_true-unreach-call_false-termination.cil.c timeout 908    898    9476009984 apollon091 144 3.89  123     722     true 106    53.4  4037849088 apollon040 20 .815 3.67  50.4   7.72  14.0   23.1   true 5.65 3.13 276361216 apollon022 .117 .454 1.03  .285 .382 .376 .247 .021 .268 .105 true 4.43 2.49 273657856 apollon083 3 .193 .051 .614 .163 .005 .001 .00  .00  .017 .072 1
minepump_spec4_product51_true-unreach-call_false-termination.cil.c timeout 906    896    5726507008 apollon075 112 3.21  576     284     true 58.5  29.5  2034327552 apollon052 12 .845 3.98  26.7   3.77  7.66  10.3   true 5.43 3.00 274518016 apollon005 .113 .482 1.02  .189 .418 .409 .256 .049 .305 .138 true 4.75 2.65 275357696 apollon143 4 .388 .059 .546 .187 .004 .00  .00  .00  .019 .104 1
minepump_spec4_product52_true-unreach-call_false-termination.cil.c timeout 904    896    4967555072 apollon018 100 3.19  501     364     true 84.2  42.4  2777600000 apollon037 14 .981 5.41  39.1   5.95  10.4   16.0   true 4.45 2.49 278106112 apollon056 .093 .397 .850 .231 .346 .333 .217 .036 .253 .109 true 5.94 3.38 279756800 apollon087 5 .569 .063 .784 .254 .010 .00  .00  .00  .030 .216 1
minepump_spec4_product53_true-unreach-call_false-termination.cil.c timeout 910    900    10056757248 apollon012 140 4.35  119     726     true 71.8  36.1  2840604672 apollon048 14 .783 2.69  33.0   4.98  11.2   13.2   true 4.76 2.59 279396352 apollon064 .115 .385 .922 .255 .325 .318 .204 .024 .228 .095 true 5.66 3.19 279138304 apollon105 5 .604 .055 .871 .297 .006 .001 .00  .00  .038 .223 1
minepump_spec4_product54_true-unreach-call_false-termination.cil.c timeout 918    904    9748054016 apollon089 137 4.63  167     681     true 95.6  48.0  3606093824 apollon088 16 .908 3.00  44.9   8.47  14.4   17.6   true 5.13 2.77 285622272 apollon090 .111 .531 1.06  .243 .463 .386 .261 .031 .292 .125 true 5.59 3.16 276316160 apollon092 3 .391 .082 .771 .252 .017 .001 .00  .00  .021 .109 1
minepump_spec4_product55_true-unreach-call_false-termination.cil.c timeout 907    897    6141857792 apollon097 106 3.37  682     180     true 75.5  38.0  2905366528 apollon137 13 .754 4.69  35.1   4.50  10.5   14.4   true 5.03 2.75 279724032 apollon107 .109 .482 1.06  .287 .424 .403 .271 .045 .316 .131 true 4.96 2.76 280875008 apollon160 3 .350 .058 .673 .242 .015 .002 .00  .00  .016 .087 1
minepump_spec4_product56_true-unreach-call_false-termination.cil.c timeout 906    897    5732098048 apollon008 100 3.65  544     317     true 80.8  40.6  3278684160 apollon071 14 .770 5.85  37.4   4.69  11.6   14.3   true 5.21 2.89 284397568 apollon088 .124 .601 1.12  .224 .460 .444 .292 .053 .345 .139 true 4.75 2.69 272162816 apollon080 3 .350 .056 .666 .253 .009 .00  .00  .00  .016 .085 1
minepump_spec4_product57_true-unreach-call_false-termination.cil.c timeout 906    897    9103822848 apollon117 114 3.51  121     736     true 71.9  36.2  2569527296 apollon098 12 .743 1.74  33.7   4.01  9.40  17.2   true 4.68 2.57 285286400 apollon163 .111 .501 .923 .172 .371 .359 .238 .039 .277 .119 true 5.85 3.29 272834560 apollon084 3 .442 .057 .697 .256 .006 .00  .00  .00  .020 .107 1
minepump_spec4_product58_true-unreach-call_false-termination.cil.c timeout 907    900    9090113536 apollon110 119 3.04  105     757     true 60.5  30.5  2117246976 apollon062 11 .774 1.64  27.8   3.80  8.55  12.8   true 4.78 2.63 283283456 apollon101 .106 .426 .920 .244 .380 .365 .239 .042 .281 .124 true 4.57 2.58 275255296 apollon061 3 .350 .049 .536 .187 .008 .003 .00  .00  .018 .088 1
minepump_spec4_product59_true-unreach-call_false-termination.cil.c timeout 905    896    6336466944 apollon148 109 3.29  618     240     true 65.9  33.3  2443640832 apollon107 11 .713 2.89  30.4   4.00  7.28  15.4   true 4.68 2.65 279113728 apollon117 .107 .490 .971 .169 .425 .416 .247 .065 .312 .160 true 6.06 3.44 282267648 apollon081 4 .509 .102 .772 .264 .042 .033 .00  .00  .027 .148 1
minepump_spec4_product60_true-unreach-call_false-termination.cil.c timeout 905    896    5300826112 apollon058 95 3.22  535     329     true 75.1  37.8  2504462336 apollon031 11 .667 2.88  34.8   4.06  8.25  18.9   true 5.39 2.98 279408640 apollon127 .136 .589 1.16  .278 .528 .515 .307 .099 .406 .205 true 4.89 2.77 274776064 apollon164 3 .260 .081 .734 .197 .012 .001 .00  .00  .022 .105 1
minepump_spec4_product61_true-unreach-call_false-termination.cil.c timeout 906    898    9161588736 apollon100 109 3.59  106     749     true 74.3  37.4  2791145472 apollon059 11 .783 2.19  34.4   4.40  8.78  18.0   true 5.40 2.94 284360704 apollon168 .120 .640 1.24  .273 .504 .487 .319 .065 .384 .165 true 6.42 3.62 295731200 apollon122 3 .397 .087 1.09  .461 .007 .002 .00  .00  .022 .135 1
minepump_spec4_product62_true-unreach-call_false-termination.cil.c timeout 907    898    9157308416 apollon160 105 3.81  125     732     true 53.6  27.0  2039341056 apollon065 10 .815 1.62  24.0   3.70  9.73  7.91  true 5.25 2.89 281821184 apollon144 .121 .565 1.24  .252 .494 .479 .328 .051 .379 .153 true 5.06 2.85 277962752 apollon063 3 .278 .064 .845 .253 .008 .001 .00  .00  .018 .103 1
minepump_spec4_product63_true-unreach-call_false-termination.cil.c timeout 907    897    6293958656 apollon162 98 4.01  678     177     true 58.7  29.6  2004221952 apollon067 9 .772 2.57  26.7   3.00  7.81  12.5   true 5.35 2.96 287145984 apollon168 .125 .612 1.25  .237 .540 .524 .329 .091 .420 .192 true 6.11 3.45 274767872 apollon073 3 .467 .100 .990 .345 .013 .001 .00  .00  .023 .131 1
minepump_spec4_product64_true-unreach-call_false-termination.cil.c timeout 906    897    9170624512 apollon014 100 4.11  384     470     true 69.7  35.1  2429722624 apollon106 10 .726 3.17  32.3   3.47  9.16  15.5   true 6.31 3.53 280391680 apollon127 .153 .821 1.61  .308 .733 .712 .438 .138 .576 .297 true 6.17 3.46 278671360 apollon168 3 .458 .092 .943 .336 .011 .001 .00  .00  .023 .136 1
minepump_spec5_product01_true-unreach-call_false-termination.cil.c timeout 904    896    4786012160 apollon108 206 2.62  .007 888     true 4.16 2.23 268013568 apollon163 1 .230 .00  .436 .034 true 4.29 2.35 274210816 apollon013 .105 .166 .404 .119 .134 .124 .074 .004 .078 .083 true 4.91 2.74 268394496 apollon113 1 .024 .184 .594 .133 .121 .116 .069 .004 .074 .025 0 .076
minepump_spec5_product02_true-unreach-call_false-termination.cil.c timeout 904    896    5049483264 apollon001 208 2.55  .007 888     true 4.24 2.27 262799360 apollon132 1 .210 .00  .520 .019 true 3.76 2.10 267710464 apollon079 .022 .149 .418 .164 .110 .103 .061 .003 .064 .072 true 3.88 2.15 261750784 apollon122 1 .019 .260 .510 .111 .102 .098 .063 .003 .066 .025 0 .069
minepump_spec5_product03_true-unreach-call_false-termination.cil.c timeout 905    896    5338107904 apollon025 223 3.34  .008 885     true 5.34 2.84 270688256 apollon138 1 .319 .00  .678 .018 true 4.14 2.28 274423808 apollon044 .102 .172 .409 .117 .129 .120 .070 .006 .076 .086 true 3.95 2.19 271163392 apollon130 1 .018 .138 .455 .199 .108 .100 .059 .006 .066 .022 0 .066
minepump_spec5_product04_true-unreach-call_false-termination.cil.c timeout 903    895    4970708992 apollon044 204 2.63  .008 886     true 4.56 2.43 271925248 apollon030 1 .178 .00  .639 .022 true 3.52 1.97 265564160 apollon058 .091 .128 .331 .091 .103 .100 .056 .003 .059 .064 true 3.87 2.18 263041024 apollon090 1 .020 .248 .490 .111 .111 .106 .058 .004 .063 .015 0 .064
minepump_spec5_product05_true-unreach-call_false-termination.cil.c timeout 904    896    4786688000 apollon158 203 2.91  .012 887     true 4.01 2.15 267456512 apollon093 1 .223 .438 true 4.58 2.50 271249408 apollon091 .028 .312 .587 .134 .203 .195 .132 .008 .140 .154 true 3.98 2.23 266608640 apollon097 1 .034 .181 .592 .280 .149 .146 .101 .009 .111 .018 0 .111
minepump_spec5_product06_true-unreach-call_false-termination.cil.c timeout 904    895    4957089792 apollon166 204 3.08  .009 885     true 4.22 2.26 269824000 apollon051 1 .213 .00  .542 .036 true 3.92 2.16 269053952 apollon015 .086 .189 .402 .099 .156 .152 .101 .007 .108 .116 true 3.97 2.21 262471680 apollon154 1 .023 .193 .550 .108 .159 .151 .103 .009 .112 .018 0 .115
minepump_spec5_product07_true-unreach-call_false-termination.cil.c timeout 905    897    5920133120 apollon082 232 3.11  .009 886     true 4.42 2.38 273137664 apollon087 1 .219 .00  .598 .021 true 3.81 2.10 270573568 apollon020 .091 .190 .446 .119 .159 .156 .097 .008 .105 .115 true 4.03 2.27 262950912 apollon095 1 .019 .187 .528 .195 .152 .148 .099 .007 .106 .027 0 .110
minepump_spec5_product08_true-unreach-call_false-termination.cil.c timeout 904    896    5461716992 apollon063 217 3.40  .007 885     true 4.37 2.34 270262272 apollon103 1 .248 .00  .584 .013 true 4.48 2.48 270184448 apollon030 .027 .233 .612 .230 .187 .181 .121 .009 .130 .136 true 4.02 2.27 261677056 apollon159 1 .021 .310 .599 .127 .282 .267 .097 .008 .106 .022 0 .235
minepump_spec5_product09_true-unreach-call_false-termination.cil.c timeout 904    897    4931596288 apollon002 211 2.53  .004 889     true 4.25 2.26 273956864 apollon144 1 .212 .00  .503 .030 true 3.55 1.96 270594048 apollon085 .083 .134 .323 .092 .110 .102 .061 .004 .065 .072 true 5.11 2.80 268922880 apollon108 1 .025 .165 .601 .122 .129 .122 .075 .007 .083 .025 0 .086
minepump_spec5_product10_true-unreach-call_false-termination.cil.c timeout 904    894    4793364480 apollon119 197 2.90  .006 885     true 4.24 2.27 272519168 apollon089 1 .221 .00  .501 .029 true 3.75 2.08 276963328 apollon100 .083 .137 .360 .112 .103 .101 .062 .004 .066 .072 true 4.81 2.66 275574784 apollon108 1 .023 .289 .540 .110 .250 .244 .070 .004 .075 .020 0 .080
minepump_spec5_product11_true-unreach-call_false-termination.cil.c timeout 905    896    5679046656 apollon052 230 3.25  .012 885     true 4.11 2.22 270757888 apollon101 1 .243 .00  .432 .013 true 4.35 2.45 274006016 apollon038 .108 .181 .418 .105 .151 .143 .084 .009 .093 .105 true 3.93 2.20 264835072 apollon060 1 .020 .143 .529 .244 .111 .105 .062 .006 .069 .021 0 .071
minepump_spec5_product12_true-unreach-call_false-termination.cil.c timeout 904    894    4794277888 apollon126 189 3.09  .006 884     true 4.31 2.31 274247680 apollon042 1 .259 .00  .577 .026 true 3.47 1.95 269975552 apollon064 .087 .127 .315 .084 .104 .100 .058 .004 .062 .067 true 3.96 2.22 265965568 apollon082 1 .019 .140 .573 .303 .104 .101 .068 .005 .074 .021 0 .076
minepump_spec5_product13_true-unreach-call_false-termination.cil.c timeout 903    895    4837433344 apollon162 205 2.76  .009 885     true 5.08 2.69 274984960 apollon077 1 .285 .00  .609 .015 true 3.68 2.03 265216000 apollon015 .086 .180 .401 .106 .149 .147 .097 .007 .104 .108 true 4.17 2.34 271790080 apollon094 1 .018 .191 .572 .221 .156 .151 .102 .009 .112 .022 0 .113
minepump_spec5_product14_true-unreach-call_false-termination.cil.c timeout 904    895    4791754752 apollon168 197 2.94  .011 885     true 4.04 2.16 265441280 apollon161 1 .199 .00  .477 .028 true 4.13 2.31 273358848 apollon144 .105 .210 .440 .103 .175 .171 .114 .009 .123 .132 true 4.07 2.25 267112448 apollon113 1 .019 .174 .553 .239 .141 .138 .097 .006 .104 .021 0 .108
minepump_spec5_product15_true-unreach-call_false-termination.cil.c timeout 905    896    5839704064 apollon075 230 3.35  .005 885     true 4.24 2.27 267374592 apollon044 1 .226 .00  .563 .059 true 3.68 2.04 271880192 apollon109 .089 .179 .391 .086 .145 .142 .093 .007 .100 .106 true 4.17 2.32 273166336 apollon152 1 .019 .193 .586 .127 .159 .154 .104 .006 .111 .019 0 .112
minepump_spec5_product16_true-unreach-call_false-termination.cil.c timeout 906    898    5522313216 apollon080 219 3.06  .004 888     true 4.44 2.37 272240640 apollon024 1 .269 .00  .654 .036 true 3.80 2.12 275234816 apollon020 .018 .188 .494 .169 .156 .149 .098 .006 .104 .111 true 5.21 2.87 263110656 apollon131 1 .025 .379 .736 .144 .341 .335 .134 .011 .146 .025 0 .295
minepump_spec5_product17_true-unreach-call_false-termination.cil.c timeout 903    896    4709179392 apollon014 206 2.67  .006 888     true 4.11 2.20 270123008 apollon061 1 .199 .467 true 3.64 2.04 267821056 apollon054 .018 .187 .481 .174 .158 .153 .102 .008 .110 .117 true 4.01 2.27 259538944 apollon089 1 .019 .315 .579 .125 .283 .276 .112 .006 .118 .028 0 .234
minepump_spec5_product18_true-unreach-call_false-termination.cil.c timeout 904    897    4785590272 apollon084 190 2.77  .010 888     true 4.10 2.18 269971456 apollon167 1 .230 .00  .404 .024 true 3.55 1.98 270196736 apollon138 .019 .199 .478 .174 .162 .159 .105 .010 .115 .124 true 4.08 2.32 266014720 apollon121 1 .019 .218 .618 .223 .170 .160 .109 .009 .119 .019 0 .121
minepump_spec5_product19_true-unreach-call_false-termination.cil.c timeout 905    896    5790064640 apollon090 228 3.11  .007 886     true 4.46 2.37 275197952 apollon106 1 .188 .00  .554 .028 true 3.72 2.06 274366464 apollon111 .021 .201 .501 .185 .168 .164 .111 .008 .119 .125 true 4.21 2.33 259534848 apollon153 1 .017 .329 .640 .157 .299 .294 .114 .008 .123 .021 0 .254
minepump_spec5_product20_true-unreach-call_false-termination.cil.c timeout 905    896    5588013056 apollon001 221 3.29  .013 885     true 4.47 2.36 271974400 apollon136 1 .241 .001 .587 .019 true 3.62 2.01 266072064 apollon141 .020 .203 .497 .174 .169 .166 .115 .008 .123 .131 true 4.17 2.34 265457664 apollon097 1 .017 .311 .597 .122 .282 .275 .223 .008 .231 .023 0 .233
minepump_spec5_product21_true-unreach-call_false-termination.cil.c timeout 904    896    4862160896 apollon168 205 2.90  .011 886     true 4.17 2.26 272048128 apollon145 1 .217 .00  .472 .024 true 3.88 2.16 272076800 apollon092 .019 .252 .626 .213 .218 .211 .148 .009 .157 .163 true 4.33 2.50 270708736 apollon100 1 .018 .374 .722 .155 .315 .312 .153 .011 .164 .023 0 .267
minepump_spec5_product22_true-unreach-call_false-termination.cil.c timeout 904    896    4852944896 apollon116 206 2.55  .006 887     true 4.24 2.27 270426112 apollon058 1 .235 .00  .489 .012 true 5.02 2.77 275709952 apollon162 .026 .304 .779 .278 .268 .264 .184 .014 .198 .209 true 5.47 3.08 266665984 apollon137 1 .175 .319 .795 .216 .270 .263 .190 .014 .205 .029 0 .212
minepump_spec5_product23_true-unreach-call_false-termination.cil.c timeout 905    896    5761445888 apollon030 223 3.45  .008 885     true 4.37 2.34 272510976 apollon014 1 .191 .00  .544 .025 true 4.61 2.52 278654976 apollon167 .020 .315 .722 .155 .251 .240 .164 .013 .177 .188 true 4.34 2.45 266317824 apollon116 1 .151 .265 .593 .134 .217 .197 .143 .010 .154 .024 0 .155
minepump_spec5_product24_true-unreach-call_false-termination.cil.c timeout 905    897    5598760960 apollon148 217 3.10  .010 886     true 4.32 2.29 275980288 apollon157 1 .252 .00  .521 .040 true 3.98 2.21 270737408 apollon114 .019 .328 .621 .126 .226 .215 .150 .012 .162 .171 true 5.65 3.15 269512704 apollon164 1 .162 .321 .768 .196 .274 .265 .188 .013 .202 .033 0 .204
minepump_spec5_product25_true-unreach-call_false-termination.cil.c timeout 903    895    4785512448 apollon004 202 2.78  .011 886     true 4.25 2.27 270761984 apollon076 1 .187 .00  .477 .023 true 4.59 2.57 269656064 apollon019 .109 .261 .557 .146 .209 .202 .137 .010 .147 .153 true 4.17 2.37 262385664 apollon094 1 .018 .312 .621 .128 .272 .267 .115 .009 .125 .019 0 .126
minepump_spec5_product26_true-unreach-call_false-termination.cil.c timeout 904    897    4791029760 apollon099 193 2.65  .006 888     true 4.16 2.23 269197312 apollon164 1 .219 .00  .458 .034 true 3.68 2.06 270651392 apollon135 .085 .190 .418 .111 .158 .153 .103 .009 .112 .116 true 4.98 2.81 264450048 apollon069 1 .019 .247 .753 .163 .206 .199 .125 .009 .135 .025 0 .138
minepump_spec5_product27_true-unreach-call_false-termination.cil.c timeout 905    895    5745602560 apollon074 227 3.41  .008 883     true 5.25 2.80 275853312 apollon152 1 .305 .00  .622 .028 true 3.92 2.16 277135360 apollon036 .087 .212 .473 .128 .174 .167 .110 .009 .119 .127 true 5.20 2.90 262340608 apollon143 1 .025 .369 .731 .151 .338 .333 .134 .011 .146 .025 0 .147
minepump_spec5_product28_true-unreach-call_false-termination.cil.c timeout 905    897    5836550144 apollon165 229 3.19  .008 886     true 4.34 2.31 284884992 apollon061 1 .248 .00  .556 .013 true 3.93 2.18 274714624 apollon008 .020 .207 .529 .122 .177 .171 .113 .010 .123 .133 true 4.18 2.34 264187904 apollon086 1 .017 .211 .625 .127 .166 .161 .111 .008 .120 .026 0 .121
minepump_spec5_product29_true-unreach-call_false-termination.cil.c timeout 904    894    4792115200 apollon124 203 3.17  .013 884     true 4.27 2.29 274751488 apollon128 1 .236 .00  .444 .019 true 3.95 2.16 271245312 apollon006 .021 .312 .589 .137 .210 .204 .142 .011 .153 .159 true 4.42 2.49 273133568 apollon153 1 .017 .396 .738 .149 .347 .340 .150 .010 .160 .027 0 .164
minepump_spec5_product30_true-unreach-call_false-termination.cil.c timeout 904    896    4702543872 apollon144 190 2.93  .010 887     true 4.50 2.37 278167552 apollon125 1 .231 .00  .559 .014 true 3.91 2.15 277979136 apollon034 .021 .261 .620 .201 .221 .215 .150 .014 .164 .170 true 4.20 2.37 269287424 apollon164 1 .118 .249 .579 .136 .211 .206 .140 .012 .152 .024 0 .154
minepump_spec5_product31_true-unreach-call_false-termination.cil.c timeout 905    895    5797621760 apollon002 224 3.40  .012 884     true 4.34 2.31 274448384 apollon060 1 .201 .00  .517 .014 true 4.03 2.23 274505728 apollon125 .023 .246 .610 .205 .206 .197 .142 .009 .151 .161 true 5.76 3.22 268767232 apollon115 1 .149 .347 .803 .177 .301 .293 .210 .014 .225 .041 0 .230
minepump_spec5_product32_true-unreach-call_false-termination.cil.c timeout 905    896    5556092928 apollon134 216 3.26  .009 885     true 4.47 2.39 270946304 apollon031 1 .191 .001 .624 .025 true 4.18 2.32 272228352 apollon163 .025 .265 .652 .212 .224 .215 .148 .012 .160 .169 true 5.05 2.84 262623232 apollon147 1 .170 .330 .793 .216 .283 .268 .194 .013 .208 .033 0 .209
minepump_spec5_product33_true-unreach-call_false-termination.cil.c timeout 907    899    8862203904 apollon025 141 2.47  95.2   772     true 87.7  44.2  2883756032 apollon029 19 .609 4.62  41.8   5.40  10.0   20.3   true 3.84 2.11 271265792 apollon113 .120 .224 .485 .120 .180 .173 .092 .020 .112 .122 true 4.75 2.76 278245376 apollon091 6 .232 .366 .840 .196 .318 .308 .134 .008 .166 .138 1 .148
minepump_spec5_product34_true-unreach-call_false-termination.cil.c timeout 905    897    8961748992 apollon056 139 2.44  67.7   799     true 86.0  43.4  2763988992 apollon032 20 .713 5.46  40.8   6.06  10.5   17.0   true 3.80 2.10 271273984 apollon067 .053 .231 .536 .167 .194 .182 .101 .020 .121 .131 true 4.36 2.46 276688896 apollon144 3 .146 .177 .596 .112 .139 .132 .090 .009 .115 .057 1 .101
minepump_spec5_product35_true-unreach-call_false-termination.cil.c timeout 905    896    5399244800 apollon156 119 2.78  67.7   799     true 110    55.3  3674730496 apollon081 21 .880 6.74  52.8   8.00  11.9   23.8   true 4.20 2.30 278433792 apollon069 .132 .270 .532 .110 .236 .226 .128 .033 .161 .174 true 5.18 2.99 272375808 apollon096 3 .209 .320 .714 .158 .286 .275 .096 .009 .132 .071 1 .111
minepump_spec5_product36_true-unreach-call_false-termination.cil.c timeout 903    895    2669232128 apollon079 74 1.93  728     153     true 105    53.0  3550404608 apollon131 19 .736 13.3   50.4   7.61  10.1   17.9   true 7.11 4.04 287174656 apollon048 .269 1.12  1.74  .223 1.03  1.01  .614 .196 .810 .831 true 9.23 5.96 292786176 apollon162 20 1.46  .586 2.29  .249 .521 .514 .355 .030 .481 1.13  1 .395
minepump_spec5_product37_true-unreach-call_false-termination.cil.c timeout 903    896    3075215360 apollon030 80 2.18  646     232     true 141    70.8  4085538816 apollon139 18 .763 9.20  68.0   4.00  12.5   40.8   true 6.70 3.66 285974528 apollon114 .137 .816 1.50  .255 .748 .735 .458 .109 .567 .583 true 7.03 4.36 290877440 apollon125 14 .795 .529 1.82  .243 .474 .462 .349 .023 .440 .640 1 .378
minepump_spec5_product38_true-unreach-call_false-termination.cil.c timeout 903    896    3178164224 apollon080 82 2.10  630     248     true 91.7  46.2  3449458688 apollon052 17 .694 9.94  43.4   3.93  12.1   16.0   true 5.33 2.91 284434432 apollon028 .122 .639 1.17  .267 .579 .559 .348 .079 .427 .450 true 7.70 4.77 288591872 apollon164 14 1.05  .552 1.83  .262 .500 .487 .375 .032 .491 .696 1 .413
minepump_spec5_product39_true-unreach-call_false-termination.cil.c timeout 903    895    3147751424 apollon108 79 2.48  607     269     true 218    110    4349464576 apollon152 19 .977 19.5   106     12.2   17.8   54.4   true 5.61 3.15 283181056 apollon148 .129 .784 1.34  .201 .725 .712 .436 .119 .555 .578 true 8.29 5.29 296202240 apollon164 19 1.38  .596 2.19  .236 .532 .522 .399 .028 .518 1.09  1 .433
minepump_spec5_product40_true-unreach-call_false-termination.cil.c timeout 903    896    3014303744 apollon044 76 2.05  736     145     true 121    60.6  3615780864 apollon008 16 .836 12.3   57.9   6.07  11.3   26.8   true 5.37 2.95 274169856 apollon085 .099 .660 1.23  .291 .596 .581 .373 .089 .462 .478 true 6.01 3.64 281784320 apollon149 10 .677 .400 1.27  .200 .351 .344 .251 .019 .297 .357 1 .277
minepump_spec5_product41_true-unreach-call_false-termination.cil.c timeout 904    894    4783374336 apollon032 98 2.62  473     396     true 70.5  35.5  2308055040 apollon120 13 .751 3.46  33.2   3.57  7.62  17.1   true 4.80 2.63 289005568 apollon093 .090 .442 .876 .151 .394 .385 .232 .055 .287 .299 true 4.87 2.84 276393984 apollon123 6 .285 .318 .953 .311 .272 .263 .188 .024 .235 .165 1 .215
minepump_spec5_product42_true-unreach-call_false-termination.cil.c timeout 904    897    4783484928 apollon138 99 2.25  489     385     true 70.8  35.8  2539622400 apollon074 15 .707 4.76  33.2   4.27  9.04  13.7   true 4.43 2.45 275996672 apollon020 .093 .425 .846 .231 .370 .364 .228 .035 .263 .283 true 4.87 2.86 273223680 apollon073 6 .319 .398 .934 .186 .357 .247 .181 .014 .231 .171 1 .197
minepump_spec5_product43_true-unreach-call_false-termination.cil.c timeout 912    903    4841082880 apollon122 86 2.26  542     341     true 98.0  49.4  2985369600 apollon069 15 .732 6.65  46.8   5.79  8.47  24.4   true 4.95 2.77 281399296 apollon131 .084 .676 1.05  .148 .548 .542 .328 .090 .418 .434 true 5.55 3.36 282316800 apollon105 11 .486 .394 1.25  .311 .341 .327 .236 .020 .292 .338 2 .260
minepump_spec5_product44_true-unreach-call_false-termination.cil.c timeout 903    894    2885480448 apollon080 74 2.25  726     151     true 105    53.1  3292798976 apollon147 15 .868 8.22  50.6   7.01  8.92  24.9   true 7.31 4.14 291659776 apollon070 .280 1.28  1.92  .303 1.21  1.20  .756 .199 .955 .986 true 9.08 6.00 293953536 apollon126 20 1.38  .643 2.64  .261 .597 .582 .437 .034 .583 1.31  1 .479
minepump_spec5_product45_true-unreach-call_false-termination.cil.c timeout 903    894    2713759744 apollon063 65 2.35  734     144     true 84.4  42.5  2934255616 apollon166 12 .747 5.87  39.8   2.45  9.07  21.5   true 5.67 3.15 281329664 apollon119 .112 .696 1.31  .297 .639 .626 .389 .088 .477 .497 true 7.75 4.91 293806080 apollon132 14 1.06  .638 2.12  .363 .575 .561 .425 .039 .534 .816 1 .468
minepump_spec5_product46_true-unreach-call_false-termination.cil.c timeout 903    896    2656784384 apollon002 65 2.06  738     143     true 147    73.9  4443066368 apollon165 18 .841 20.1   71.1   6.50  15.8   26.4   true 5.40 2.98 283291648 apollon115 .109 .693 1.30  .295 .624 .610 .390 .090 .480 .489 true 11.1  7.31 306880512 apollon113 15 2.35  .865 2.88  .512 .793 .768 .568 .050 .785 1.08  0 .623
minepump_spec5_product47_true-unreach-call_false-termination.cil.c timeout 903    894    2895400960 apollon018 65 2.15  729     150     true 96.4  48.5  3139526656 apollon076 12 .848 7.88  45.9   5.57  9.11  21.7   true 6.15 3.48 305405952 apollon090 .213 1.07  1.67  .278 1.00  .987 .653 .171 .824 .838 true 8.22 5.02 293388288 apollon063 11 .809 .924 2.15  .299 .848 .823 .483 .046 .580 .554 2 .710
minepump_spec5_product48_true-unreach-call_false-termination.cil.c timeout 903    895    3363590144 apollon152 73 2.73  701     173     true 117    59.2  3929489408 apollon009 14 .771 9.59  56.4   6.12  11.1   28.0   true 6.48 3.64 294801408 apollon166 .291 1.11  1.72  .269 1.03  1.01  .655 .164 .819 .839 true 6.58 4.05 291053568 apollon095 10 .785 .524 1.47  .215 .461 .450 .343 .024 .408 .460 1 .372
minepump_spec5_product49_true-unreach-call_false-termination.cil.c timeout 906    898    9115058176 apollon084 120 3.09  73.9   789     true 73.7  37.2  2718285824 apollon154 14 .748 2.52  34.6   3.62  10.6   16.2   true 4.79 2.64 286683136 apollon074 .107 .435 .892 .162 .382 .373 .241 .038 .279 .288 true 4.93 2.83 275152896 apollon130 3 .212 .284 .871 .185 .232 .223 .154 .013 .184 .084 1 .170
minepump_spec5_product50_true-unreach-call_false-termination.cil.c timeout 906    898    9109356544 apollon118 118 3.04  101     762     true 85.2  43.0  3139821568 apollon135 17 .887 3.34  40.1   5.61  11.4   18.0   true 4.67 2.62 283824128 apollon071 .120 .468 .919 .163 .409 .396 .244 .043 .287 .308 true 5.53 3.22 279576576 apollon166 5 .345 .360 1.01  .205 .307 .296 .224 .016 .288 .207 1 .242
minepump_spec5_product51_true-unreach-call_false-termination.cil.c timeout 905    895    6137978880 apollon006 112 3.30  88.0   771     true 99.2  49.9  3565428736 apollon124 17 .923 3.62  47.3   7.88  12.3   21.6   true 5.06 2.80 289792000 apollon085 .121 .604 1.05  .144 .539 .525 .330 .082 .412 .428 true 6.72 3.87 288755712 apollon085 6 .564 .438 1.20  .250 .373 .363 .259 .022 .314 .263 2 .286
minepump_spec5_product52_true-unreach-call_false-termination.cil.c timeout 903    895    3015417856 apollon069 73 2.54  657     221     true 101    50.8  3668717568 apollon127 16 .843 11.0   48.3   8.04  10.9   16.4   true 4.74 2.61 280190976 apollon094 .102 .472 .921 .225 .417 .411 .267 .048 .315 .327 true 7.17 4.35 281530368 apollon075 8 .687 .510 1.66  .253 .457 .439 .325 .026 .403 .429 1 .362
minepump_spec5_product53_true-unreach-call_false-termination.cil.c timeout 906    895    9011400704 apollon133 111 4.00  96.0   755     true 99.6  50.1  3769110528 apollon107 16 .799 3.26  47.4   7.60  15.5   19.1   true 6.54 3.58 289026048 apollon041 .176 .681 1.46  .291 .591 .574 .359 .070 .429 .452 true 5.18 2.95 278192128 apollon161 3 .337 .334 .915 .235 .288 .274 .201 .014 .230 .095 1 .218
minepump_spec5_product54_true-unreach-call_false-termination.cil.c timeout 907    897    9151365120 apollon082 113 4.02  97.6   756     true 94.6  47.7  3080794112 apollon048 13 1.06  2.75  44.2   5.48  15.5   18.7   true 5.21 2.87 287723520 apollon145 .144 .584 1.15  .186 .505 .485 .309 .057 .366 .379 true 6.40 3.67 283394048 apollon103 5 .518 .454 1.32  .274 .387 .379 .286 .024 .342 .252 1 .316
minepump_spec5_product55_true-unreach-call_false-termination.cil.c timeout 906    897    9136066560 apollon001 112 3.46  105     753     true 119    59.9  4135682048 apollon142 17 .990 4.54  56.9   11.4   15.1   23.6   true 6.35 3.51 288804864 apollon005 .161 .814 1.54  .264 .740 .721 .451 .119 .570 .583 true 8.06 4.65 288935936 apollon123 5 .760 .558 1.68  .385 .477 .462 .339 .028 .405 .276 1 .375
minepump_spec5_product56_true-unreach-call_false-termination.cil.c timeout 904    895    3243450368 apollon021 71 2.71  668     207     true 81.2  40.8  2825089024 apollon049 12 .807 7.00  37.9   4.64  10.9   14.1   true 5.22 2.88 279785472 apollon070 .106 .603 1.22  .287 .529 .517 .332 .068 .400 .419 true 8.89 5.31 293371904 apollon095 8 .997 .769 2.19  .424 .673 .656 .489 .032 .568 .525 1 .527
minepump_spec5_product57_true-unreach-call_false-termination.cil.c timeout 904    895    3249930240 apollon064 74 2.47  652     224     true 120    60.3  4255780864 apollon105 17 .800 13.7   57.3   8.39  13.7   19.7   true 4.65 2.58 280641536 apollon020 .109 .394 .863 .175 .345 .335 .200 .033 .233 .251 true 6.42 3.77 282357760 apollon093 5 .614 .521 1.33  .269 .454 .429 .312 .023 .368 .249 1 .340
minepump_spec5_product58_true-unreach-call_false-termination.cil.c timeout 904    896    3187826688 apollon069 72 2.47  681     197     true 94.1  47.5  3260592128 apollon038 13 .853 6.83  44.7   4.57  11.4   20.5   true 5.27 2.91 280817664 apollon013 .122 .486 .972 .234 .408 .395 .253 .039 .292 .309 true 5.46 3.24 283791360 apollon116 5 .382 .388 1.14  .292 .319 .309 .233 .020 .278 .208 1 .257
minepump_spec5_product59_true-unreach-call_false-termination.cil.c timeout 904    897    4884025344 apollon142 76 2.27  675     204     true 80.9  40.7  2976632832 apollon102 13 .865 7.73  38.0   5.46  9.05  14.6   true 4.76 2.66 287195136 apollon089 .111 .511 .991 .149 .459 .448 .287 .057 .344 .358 true 5.81 3.42 285917184 apollon106 6 .616 .400 1.11  .240 .347 .338 .243 .019 .293 .222 2 .269
minepump_spec5_product60_true-unreach-call_false-termination.cil.c timeout 904    896    3319701504 apollon086 73 2.59  646     230     true 88.9  44.8  3029295104 apollon048 14 .862 9.65  42.3   6.45  10.1   14.2   true 4.97 2.75 278278144 apollon020 .105 .558 1.04  .248 .492 .479 .304 .067 .371 .386 true 5.70 3.36 283844608 apollon070 5 .531 .437 1.11  .211 .367 .360 .265 .021 .315 .224 1 .288
minepump_spec5_product61_true-unreach-call_false-termination.cil.c timeout 910    901    4915589120 apollon004 72 2.75  595     286     true 102    51.2  3835146240 apollon072 13 .915 7.53  48.2   6.02  13.0   20.1   true 5.36 2.92 292233216 apollon153 .132 .552 1.20  .211 .491 .467 .292 .058 .350 .362 true 6.71 3.87 289423360 apollon118 5 .626 .511 1.44  .300 .444 .430 .319 .026 .375 .254 1 .349
minepump_spec5_product62_true-unreach-call_false-termination.cil.c timeout 904    895    4911611904 apollon105 72 3.01  605     268     true 115    57.6  4098666496 apollon152 15 .955 12.4   54.6   6.68  14.2   19.4   true 5.46 2.97 288935936 apollon160 .125 .587 1.24  .285 .501 .486 .303 .060 .363 .376 true 6.53 3.78 290029568 apollon072 5 .509 .513 1.54  .319 .448 .440 .328 .026 .383 .251 1 .356
minepump_spec5_product63_true-unreach-call_false-termination.cil.c timeout 904    895    3351015424 apollon055 66 3.08  659     213     true 88.1  44.3  3240067072 apollon001 12 .861 7.54  41.5   7.16  12.1   13.1   true 5.83 3.17 282738688 apollon097 .125 .766 1.47  .254 .678 .664 .423 .110 .533 .547 true 7.86 4.61 289861632 apollon071 6 .673 .704 1.96  .525 .617 .600 .450 .038 .528 .325 2 .492
minepump_spec5_product64_true-unreach-call_false-termination.cil.c timeout 905    893    3498352640 apollon067 68 3.40  674     194     true 79.6  40.1  2817298432 apollon001 12 .934 6.75  37.3   5.99  9.70  13.1   true 6.08 3.40 286785536 apollon107 .131 .786 1.53  .260 .703 .680 .436 .097 .533 .550 true 7.16 4.16 291905536 apollon134 5 .658 .604 1.64  .279 .527 .514 .393 .034 .461 .305 1 .432
minepump_spec5_productSimulator_true-unreach-call_false-termination.cil.c timeout 904    893    2786979840 apollon040 56 5.66  730     140     timeout 902    452    7482101760 apollon033 448     true 10.9  5.81 441266176 apollon142 .432 2.19  3.59  .508 1.91  1.87  1.13  .460 1.59  1.61  true 13.0  7.11 451813376 apollon094 10 1.55  1.10  3.78  .648 .985 .961 .705 .085 .849 .927 1 .803
test/programs/benchmarks/product-lines/ status cputime (s) walltime (s) memUsage host k BMC formula creation (s) SMT check (s) Bounds check (s) status cputime (s) walltime (s) memUsage host k BMC formula creation (s) SMT check (s) Invariant generation (s) Bounds check (s) Induction formula creation (s) Induction check (s) status cputime (s) walltime (s) memUsage host Refinement (s) Precision adjustment (s) CPA algorithm (s) Post operator (s) Prec operator (s) Abstraction (s) Solving (s) Model enumeration (s) SMT without itp (s) Boolean abstraction (s) status cputime (s) walltime (s) memUsage host Attempted forced coverings Refinement (s) Precision adjustment (s) CPA algorithm (s) Post operator (s) Prec operator (s) Abstraction (s) Solving (s) Model enumeration (s) SMT without itp (s) Forced covering (s) Successful forced coverings Boolean abstraction (s)
total 329 228000 226000   1611932807168 57291 1010   42800     153000     329 82900 53900 880424726528 1399 148   451    19000 433    1000   1940   329 89400 87900 299202179072 592 21800 22100 163   21700 21700 652 20800 21500 21400 329 59800 58200 333438738432 6791 4510   138   5790 188   111   105   72.0 13.2  315   5240   716 87.2
    correct results 24 559 443   11866382336 181 32.9 1.48  2.34  251 9230 4660 345811312640 1379 125   449    4100 433    1000   1940   238 2390 1810 79451205632 509 731 901 83.1 713 710 317 324 640 510 241 2350 1710 80132337664 1239 321   118   918 91.3 102   98.7 67.6 12.1  88.8 620   372 81.7
        correct true 15 133 69.7 5434687488 156 17.5 .006 .819 243 8840 4470 327594463232 1355 112   447    3940 430    924   1900   238 2390 1810 79451205632 509 731 901 83.1 713 710 317 324 640 510 236 2070 1490 72070205440 1213 261   96.0 797 69.6 82.2 79.6 54.6 9.00 72.2 559   367 65.5
        correct false 9 427 373   6431694848 25 15.5 1.47  1.52  8 382 193 18216849408 24 13.6 1.55 165 3.27 77.4 33.5 0 5 280 214 8062132224 26 60.0 21.9 121 21.7 19.6 19.1 13.0 3.13 16.6 61.4 5 16.2
    incorrect results 0 0 0 0
        incorrect true 0 0 0 0
        incorrect false 0 0 0 0
score (329 tasks, max score: 575) 39 494 476 477
Run set bmc-bitprecise.BMC.ProductLines k-induction-bitprecise.k-Induction-inv-combined.ProductLines predicateAnalysis-bitprecise.PredicateAbstraction.ProductLines impact-bitprecise.Impact.ProductLines