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_product20_false-unreach-call_true-termination.cil.c 8.62 4.55 452841472 apollon013 1 .489 .002 15.1  7.70 955883520 apollon090 1 .446 .004 4.66  33.4  23.3  1525252096 apollon044 9.80  4.34  8.23  2.08  4.08  4.03  3.47  .00  3.47  33.5  22.9  1517166592 apollon116 0 11.0   .243 4.84  2.45  .028 .00  .00  .00  .00  .021
elevator_spec14_product24_false-unreach-call_true-termination.cil.c 10.3  5.46 468811776 apollon007 1 .539 .003 17.8  9.03 995962880 apollon020 1 .599 .014 5.21  42.7  31.3  2024787968 apollon152 13.3   5.09  10.1   2.79  4.70  4.64  3.91  .00  3.91  41.1  28.4  1987448832 apollon104 0 13.1   .514 6.92  3.49  .055 .00  .00  .00  .00  .045
elevator_spec14_product28_false-unreach-call_true-termination.cil.c 7.73 4.11 454959104 apollon017 1 .412 .002 14.6  7.44 880107520 apollon012 1 .636 .015 4.11  33.2  23.9  1531269120 apollon056 9.81  4.59  8.74  2.21  4.35  4.30  3.69  .00  3.69  37.7  25.4  1549209600 apollon058 0 11.6   .579 6.40  3.35  .109 .006 .00  .00  .00  .015
elevator_spec14_product32_false-unreach-call_true-termination.cil.c 8.36 4.49 475344896 apollon040 1 .456 .003 19.0  9.67 1377280000 apollon046 1 .722 .003 5.73  56.9  41.0  2050699264 apollon072 17.7   7.13  13.6   3.62  6.67  6.58  5.70  .00  5.70  46.9  32.5  2014019584 apollon150 0 14.8   .537 7.77  4.29  .086 .001 .00  .00  .00  .033
elevator_spec14_productSimulator_false-unreach-call_true-termination.cil.c 339    325    1965465600 apollon060 1 4.06  .720 907    454    6792708096 apollon080 1 5.25  1.93  448     1000    980    4107776000 apollon085 1000    983    4357185536 apollon076
elevator_spec1_product18_false-unreach-call_true-termination.cil.c 6.66 3.55 419794944 apollon037 3 .426 .002 .006 24.7  12.5  1270697984 apollon090 3 .647 .012 9.80  .004 3.99  2.90  575    560    1562394624 apollon083 7.78  536     547     5.12  535     535     18.2   513     531     532     44.9  32.1  1297235968 apollon079 6 9.63  4.24  16.8   3.34  3.78  3.69  2.66  .535 3.24  6.51  1 3.20 
elevator_spec1_product20_false-unreach-call_true-termination.cil.c 9.03 4.73 440487936 apollon052 3 .617 .002 .006 25.2  12.8  1216049152 apollon076 3 .698 .002 9.90  .005 4.15  2.57  786    771    1754804224 apollon085 9.13  746     757     5.12  746     745     20.4   721     741     742     52.6  38.4  1355321344 apollon128 6 12.7   4.58  19.4   3.66  4.25  4.18  2.91  .709 3.69  8.08  1 3.63 
elevator_spec1_product22_false-unreach-call_true-termination.cil.c 7.16 3.80 433184768 apollon057 3 .483 .002 .004 33.0  16.7  1702473728 apollon123 3 .652 .003 13.6   .005 5.21  5.09  902    887    1448841216 apollon037 3.99  871     881     5.29  870     870     16.2   850     866     867     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_product24_false-unreach-call_true-termination.cil.c 7.39 3.91 440643584 apollon165 3 .518 .002 .005 32.1  16.2  1585410048 apollon110 3 .578 .010 13.3   .012 6.02  3.56  783    764    2075119616 apollon025 10.0   733     747     7.54  731     731     21.1   706     727     728     69.6  52.7  1790607360 apollon110 6 14.4   6.75  29.9   6.62  6.20  6.09  4.58  .753 5.43  11.2   0 5.34 
elevator_spec1_product26_false-unreach-call_true-termination.cil.c 6.85 3.63 435290112 apollon167 3 .468 .003 .006 30.6  15.5  1226108928 apollon152 3 .722 .003 11.9   .012 5.31  3.23  901    888    1124573184 apollon095 3.93  874     882     3.81  873     873     14.4   855     869     870     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 7.89 4.17 427855872 apollon030 3 .587 .002 .006 26.9  13.6  1241899008 apollon002 3 .695 .002 10.7   .004 4.31  3.35  902    888    1234894848 apollon086 3.89  873     882     4.18  873     873     15.3   854     869     870     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 7.11 3.76 427102208 apollon061 3 .446 .002 .004 37.4  18.9  1534316544 apollon126 3 .611 .003 15.8   .013 6.48  5.80  902    888    1513127936 apollon105 4.45  871     881     4.98  870     870     17.1   849     866     867     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 9.11 4.83 429576192 apollon106 3 .584 .003 .006 32.3  16.3  1607393280 apollon147 3 .504 .002 13.4   .005 6.43  3.61  902    886    1486635008 apollon102 4.38  868     879     5.86  867     867     17.8   846     863     864     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 17.8  9.92 769224704 apollon099 3 3.13  .326 .527 74.0  37.2  3411361792 apollon087 3 3.48  .693 33.2   .997 16.5   4.04  903    880    2345529344 apollon094 7.07  846     870     14.3   843     843     15.8   823     839     840     1000    981    4051226624 apollon096
elevator_spec2_product18_false-unreach-call_true-termination.cil.c 6.80 3.60 417755136 apollon023 3 .434 .004 .005 23.7  12.0  1169346560 apollon129 3 .608 .002 9.30  .004 3.61  2.77  131    116    1693667328 apollon114 7.46  95.8   104     4.02  95.1   94.9   13.4   78.9   92.3   92.6   58.0  45.3  1456521216 apollon072 6 13.8   7.30  25.9   3.82  6.95  6.87  3.85  2.32  6.50  11.5   0 6.18 
elevator_spec2_product20_false-unreach-call_true-termination.cil.c 7.99 4.22 427945984 apollon074 3 .465 .002 .004 26.8  13.5  1249411072 apollon070 3 .629 .003 10.6   .005 4.43  3.17  151    137    1789038592 apollon068 8.91  115     123     4.00  114     114     14.2   97.0   111     111     63.1  48.7  1506557952 apollon087 6 16.8   7.47  25.3   4.20  7.00  6.92  3.56  2.67  6.54  10.3   0 6.24 
elevator_spec2_product22_false-unreach-call_true-termination.cil.c 7.25 3.84 433217536 apollon124 3 .489 .003 .004 31.1  15.7  1528094720 apollon160 3 .534 .002 12.9   .005 5.62  3.83  269    250    2148179968 apollon013 11.0   219     231     6.23  218     218     19.2   194     214     214     131    113    1930555392 apollon149 6 17.5   8.89  87.3   6.32  8.24  8.11  3.70  3.56  7.71  67.3   0 7.28 
elevator_spec2_product24_false-unreach-call_true-termination.cil.c 7.72 4.11 326742016 apollon030 3 .511 .002 .004 33.2  16.8  1656131584 apollon087 3 .646 .011 13.8   .006 6.44  3.62  239    225    2279079936 apollon019 9.03  199     209     5.85  198     197     14.4   180     195     195     80.2  64.9  1923964928 apollon099 6 16.3   7.55  40.8   5.61  7.03  6.93  3.49  2.80  6.57  23.1   0 6.30 
elevator_spec2_product26_false-unreach-call_true-termination.cil.c 6.58 3.49 426332160 apollon121 3 .393 .001 .005 24.0  12.2  1183088640 apollon152 3 .420 .014 9.43  .004 4.05  2.79  180    166    1735864320 apollon095 8.09  144     152     3.95  144     143     13.2   128     141     141     49.8  37.5  1520332800 apollon142 6 11.8   6.29  20.4   3.82  5.88  5.78  3.22  2.04  5.46  6.88  0 5.27 
elevator_spec2_product28_false-unreach-call_true-termination.cil.c 7.06 3.77 420012032 apollon047 3 .490 .003 .004 26.7  13.5  1242669056 apollon026 3 .691 .003 10.7   .005 4.47  3.26  428    411    1787289600 apollon147 10.6   384     395     5.54  383     383     21.4   358     379     379     52.5  39.5  1500835840 apollon156 6 12.3   6.69  21.4   3.92  6.27  6.17  3.04  2.40  5.61  7.66  0 5.44 
elevator_spec2_product30_false-unreach-call_true-termination.cil.c 7.24 3.85 428662784 apollon066 3 .465 .002 .004 35.4  17.9  1498619904 apollon153 3 .609 .002 14.9   .005 5.94  5.26  323    306    2115784704 apollon156 9.35  279     290     6.18  278     277     16.9   258     275     275     72.3  56.9  1756258304 apollon103 6 16.2   8.59  33.1   5.32  8.05  7.93  4.23  2.95  7.37  14.7   0 7.19 
elevator_spec2_product32_false-unreach-call_true-termination.cil.c 9.09 4.81 441540608 apollon033 3 .639 .002 .006 33.4  16.9  1712332800 apollon150 3 .579 .003 13.7   .005 6.22  3.69  270    251    2243010560 apollon050 11.1   218     232     7.17  217     217     18.9   194     213     213     81.0  62.3  1866563584 apollon090 6 19.5   9.45  33.9   6.93  8.75  8.65  4.31  3.49  8.14  12.4   0 7.82 
elevator_spec2_productSimulator_false-unreach-call_true-termination.cil.c 15.4  8.73 770461696 apollon041 3 2.81  .202 .400 72.1  36.3  3681357824 apollon009 3 3.57  .402 32.3   1.18  15.5   4.28  1000    976    5125275648 apollon073 1000    980    4314116096 apollon098
elevator_spec3_product03_false-unreach-call_true-termination.cil.c 7.41 3.98 426246144 apollon060 1 .583 .003 13.4  6.83 658845696 apollon076 1 .910 .003 3.86  31.7  24.2  1113460736 apollon019 11.3   7.00  9.31  1.21  6.82  6.78  5.64  .00  5.64  35.1  24.8  1104986112 apollon149 0 14.8   .229 4.12  2.07  .047 .00  .00  .00  .00  .022
elevator_spec3_product11_false-unreach-call_true-termination.cil.c 7.29 3.84 438841344 apollon118 1 .478 .004 11.7  6.01 602669056 apollon111 1 .682 .004 3.12  40.5  31.4  1122852864 apollon108 14.7   8.81  12.0   1.67  8.58  8.53  7.11  .00  7.11  31.0  21.8  1150795776 apollon160 0 13.5   .197 3.47  1.85  .047 .001 .00  .00  .00  .011
elevator_spec3_product19_false-unreach-call_true-termination.cil.c 7.61 4.05 435470336 apollon141 1 .574 .004 13.0  6.66 641765376 apollon081 1 .899 .004 3.72  39.4  28.9  1269428224 apollon137 13.6   8.32  10.9   1.32  8.13  8.10  6.77  .00  6.77  31.2  21.7  1190498304 apollon148 0 13.1   .432 3.66  1.79  .065 .001 .00  .00  .00  .029
elevator_spec3_product20_false-unreach-call_true-termination.cil.c 8.44 4.49 461234176 apollon028 1 .567 .004 16.5  8.44 1025466368 apollon151 1 .882 .016 4.88  47.0  37.2  1591152640 apollon113 16.5   11.1   15.0   2.12  10.8   10.8   9.14  .00  9.14  53.0  36.9  1593360384 apollon120 0 20.3   .449 7.52  3.89  .093 .002 .00  .00  .00  .036
elevator_spec3_product23_false-unreach-call_true-termination.cil.c 7.90 4.20 452116480 apollon047 1 .603 .004 13.5  6.92 857812992 apollon004 1 .752 .004 3.76  50.7  40.5  1480417280 apollon069 19.7   11.5   15.4   2.10  11.2   11.2   9.49  .00  9.49  41.5  29.8  1425825792 apollon155 0 18.2   .279 5.06  2.63  .044 .002 .00  .00  .00  .040
elevator_spec3_product24_false-unreach-call_true-termination.cil.c 10.2  5.46 480034816 apollon082 1 .752 .006 19.8  10.1  1538158592 apollon137 1 .810 .016 6.38  52.5  42.0  2072383488 apollon069 19.9   9.88  14.9   2.77  9.52  9.45  7.78  .00  7.78  52.9  39.4  2054213632 apollon120 0 23.1   .433 7.25  3.83  .110 .003 .00  .00  .00  .040
elevator_spec3_product27_false-unreach-call_true-termination.cil.c 7.48 3.97 434466816 apollon100 1 .530 .004 12.2  6.26 691286016 apollon051 1 .707 .016 3.46  40.9  32.1  1350316032 apollon021 15.0   9.61  12.6   1.59  9.42  9.39  7.95  .00  7.95  32.0  22.6  1244176384 apollon135 0 13.7   .261 3.88  1.94  .038 .002 .00  .00  .00  .012
elevator_spec3_product28_false-unreach-call_true-termination.cil.c 8.95 4.71 454348800 apollon064 1 .620 .008 17.4  8.85 994263040 apollon049 1 .711 .018 5.51  49.3  38.9  1575333888 apollon150 18.1   10.6   14.9   2.42  10.2   10.2   8.46  .00  8.46  40.6  29.7  1576153088 apollon159 0 17.8   .344 5.22  2.61  .052 .00  .00  .00  .00  .040
elevator_spec3_product31_false-unreach-call_true-termination.cil.c 8.24 4.37 432390144 apollon067 1 .535 .007 14.8  7.55 857452544 apollon020 1 .747 .005 4.38  44.5  36.2  1477599232 apollon123 17.6   10.4   13.8   1.85  10.2   10.2   8.53  .00  8.53  46.7  34.5  1419243520 apollon110 0 21.7   .310 5.65  3.02  .063 .00  .00  .00  .00  .027
elevator_spec3_product32_false-unreach-call_true-termination.cil.c 9.04 4.89 502583296 apollon117 1 .655 .006 18.7  9.49 1285791744 apollon098 1 .846 .016 5.65  75.4  59.3  2001674240 apollon020 28.5   14.9   21.2   3.54  14.5   14.4   12.2   .00  12.2   54.3  41.0  2056802304 apollon108 0 23.7   .427 7.26  4.06  .094 .001 .00  .00  .00  .032
elevator_spec3_productSimulator_false-unreach-call_true-termination.cil.c 1000    986    2423894016 apollon058 961    481    6833954816 apollon086 1000    984    4870705152 apollon135 1000    982    4801441792 apollon100
elevator_spec9_product26_false-unreach-call_true-termination.cil.c 7.98 4.22 424247296 apollon151 3 .513 .002 .006 25.0  12.6  1217236992 apollon047 3 .550 .002 9.69  .005 4.51  2.38  784    768    1717354496 apollon037 8.67  745     754     4.81  744     743     18.9   720     739     740     56.4  43.1  1551396864 apollon106 6 12.8   7.00  24.4   4.23  6.66  6.57  3.36  2.47  6.12  10.1   0 5.84 
elevator_spec9_product28_false-unreach-call_true-termination.cil.c 8.65 4.58 431022080 apollon074 3 .607 .003 .007 25.5  12.9  1270321152 apollon163 3 .693 .004 10.0   .014 4.42  2.58  87.9  72.8  1583845376 apollon108 9.08  51.3   58.1   3.49  50.8   50.6   10.4   38.3   48.8   48.9   55.3  41.7  1555021824 apollon116 6 12.6   7.24  23.4   4.33  6.77  6.68  3.78  2.28  6.32  8.40  0 6.07 
elevator_spec9_product30_false-unreach-call_true-termination.cil.c 8.31 4.39 426909696 apollon066 3 .547 .003 .005 42.1  21.3  1678979072 apollon048 3 .701 .004 17.6   .006 7.35  5.77  372    356    2378223616 apollon129 9.25  328     340     6.67  326     326     16.8   306     323     323     67.8  54.9  1866084352 apollon062 6 15.2   7.68  33.2   5.04  7.03  6.92  3.75  2.54  6.47  16.9   0 6.30 
elevator_spec9_product32_false-unreach-call_true-termination.cil.c 8.70 4.62 427847680 apollon098 3 .580 .003 .005 32.6  16.5  1628471296 apollon108 3 .629 .002 13.4   .007 6.01  3.45  721    705    2240831488 apollon036 12.8   674     685     5.80  673     672     17.1   651     669     669     110    94.4  1959383040 apollon119 6 18.0   8.99  69.2   5.41  8.40  8.31  4.14  3.50  7.87  50.4   0 7.64 
elevator_spec9_productSimulator_false-unreach-call_true-termination.cil.c 16.5  9.04 773533696 apollon114 3 2.93  .214 .568 75.9  38.2  3811938304 apollon127 3 3.41  .446 34.0   1.05  17.6   4.14  1000    977    4588810240 apollon155 1000    981    4385673216 apollon158
elevator_spec13_product21_true-unreach-call_false-termination.cil.c 902    889    1230249984 apollon131 7637 90.4   .740 300     901    451    7550857216 apollon113 1 .810 .00  447     .004 901    889    1756127232 apollon131 74.3   808     813     2.61  807     807     30.2   748     778     801     902    885    2233225216 apollon136 3866 181     .560 701     5.01  .135 .023 .00  .00  60.8   664     147
elevator_spec13_product22_true-unreach-call_false-termination.cil.c 902    889    1551822848 apollon054 7778 88.3   .747 301     901    451    7599259648 apollon033 1 .887 .00  447     .004 413    397    3262349312 apollon135 243     138     153     8.64  137     137     59.5   64.7   124     122     902    886    1531785216 apollon154 4829 78.6   .595 805     4.98  .143 .009 .00  .00  104     749     133
elevator_spec13_product23_true-unreach-call_false-termination.cil.c 902    891    1171427328 apollon139 9905 89.3   .737 311     902    452    7875530752 apollon056 1 .688 .00  448     .004 901    889    1627230208 apollon049 82.7   798     804     3.71  797     797     29.9   759     789     789     902    885    2308841472 apollon063 4391 241     .832 642     5.27  .131 .018 .00  .00  90.3   591     193
elevator_spec13_product24_true-unreach-call_false-termination.cil.c 902    889    1379676160 apollon029 9391 87.4   .735 324     901    452    7618293760 apollon009 1 .842 .00  448     .005 206    193    2591576064 apollon044 115     64.7   75.7   6.15  64.0   63.8   41.6   13.5   55.1   51.2   902    883    2075971584 apollon144 235 840     2.00  40.7   19.7   .426 .032 .00  .00  1.05  5.79  173
elevator_spec13_product29_true-unreach-call_false-termination.cil.c 902    889    1176293376 apollon157 7712 89.4   .735 293     901    451    7673729024 apollon064 1 .872 .00  448     .004 901    888    1782587392 apollon145 88.1   791     797     3.24  791     791     33.4   748     781     780     902    885    1704595456 apollon084 337 847     1.46  35.1   12.2   .265 .026 .00  .00  1.96  13.6   229
elevator_spec13_product30_true-unreach-call_false-termination.cil.c 902    888    1638592512 apollon090 7998 89.6   .799 293     901    451    7830945792 apollon095 446     902    888    2199404544 apollon077 109     767     776     5.24  767     766     35.5   723     758     756     902    879    2127204352 apollon126 191 831     3.94  45.0   21.9   .533 .015 .00  .00  1.13  5.16  146
elevator_spec13_product31_true-unreach-call_false-termination.cil.c 902    890    1130954752 apollon095 9839 92.0   .734 299     901    451    7866294272 apollon152 1 .744 .001 448     .004 902    883    2912432128 apollon143 177     689     703     8.01  688     688     85.5   541     626     666     902    886    1875202048 apollon112 224 855     1.33  28.7   11.3   .291 .033 .00  .00  1.12  8.40  179
elevator_spec13_product32_true-unreach-call_false-termination.cil.c 902    890    1458339840 apollon130 10106 87.5   .713 314     933    467    7805956096 apollon027 1 .943 .00  464     .016 902    883    2335690752 apollon149 118     749     762     7.86  748     748     52.6   681     734     732     902    884    2700816384 apollon138 4329 269     1.14  612     8.87  .211 .008 .00  .00  83.0   559     165
elevator_spec13_productSimulator_true-unreach-call_true-termination.cil.c 1000    912    8521719808 apollon118 901    451    8495280128 apollon015 903    879    3401953280 apollon054 270     576     605     17.7   574     574     116     432     548     542     903    882    3524661248 apollon064 183 819     3.15  59.3   32.4   .628 .031 .00  .00  .573 3.20  173
elevator_spec14_product03_true-unreach-call_true-termination.cil.c 7.64 4.00 401588224 apollon154 9 .977 .00  .040 17.1  8.69 930156544 apollon118 1 .754 .00  5.82  .004 1.35  1.83  34.6  26.3  1024806912 apollon065 6.51  13.7   17.7   2.21  13.4   13.4   10.4   1.24  11.6   5.05  26.2  18.5  1016844288 apollon132 3 10.0   .359 6.12  1.96  .042 .001 .00  .00  .013 1.96  1
elevator_spec14_product11_true-unreach-call_true-termination.cil.c 7.74 4.03 406953984 apollon123 9 1.05  .00  .039 16.7  8.56 913534976 apollon142 1 .700 .00  5.62  .004 1.35  1.72  41.0  31.5  1036148736 apollon093 7.97  16.3   21.0   2.56  16.0   15.9   12.5   1.35  13.9   5.78  27.4  19.6  1041637376 apollon119 3 10.8   .242 6.53  2.08  .039 .001 .00  .00  .017 2.46  1
elevator_spec14_product19_true-unreach-call_true-termination.cil.c 7.88 4.12 409579520 apollon126 9 1.03  .00  .041 16.7  8.51 921436160 apollon083 1 .745 .00  5.61  .006 1.49  1.58  35.5  27.2  956616704 apollon056 6.98  13.9   18.0   2.19  13.7   13.6   10.0   1.64  11.7   5.65  29.2  19.9  1085632512 apollon079 3 10.6   .465 6.91  2.35  .042 .00  .00  .00  .013 2.24  1
elevator_spec14_product23_true-unreach-call_true-termination.cil.c 9.79 5.10 341585920 apollon002 12 1.33  .001 .081 29.6  15.0  1670823936 apollon044 2 .754 .00  12.0   .009 3.03  5.54  41.2  32.5  1233756160 apollon064 8.32  17.1   22.0   2.72  16.8   16.7   12.7   2.02  14.7   7.02  39.6  29.8  1286578176 apollon072 3 13.9   .537 13.5   2.82  .075 .00  .00  .00  .013 7.74  1
elevator_spec14_product27_true-unreach-call_true-termination.cil.c 8.04 4.19 292843520 apollon113 9 1.04  .00  .045 18.6  9.46 951640064 apollon105 1 .795 .001 6.57  .004 1.64  2.10  40.6  30.9  1025019904 apollon140 7.70  16.0   20.7   2.59  15.7   15.7   12.2   1.33  13.6   6.57  28.5  20.1  1151201280 apollon092 3 10.5   .509 7.32  2.27  .069 .00  .00  .00  .011 2.56  1
elevator_spec14_product31_true-unreach-call_true-termination.cil.c 8.92 4.65 433000448 apollon001 12 1.22  .002 .078 30.4  15.4  1610338304 apollon080 2 .918 .001 12.1   .017 2.94  5.79  57.9  46.7  1112158208 apollon096 11.3   25.5   32.5   4.04  25.1   25.0   18.6   3.41  22.0   10.8   35.9  26.0  1374416896 apollon148 3 14.9   .506 8.81  3.03  .072 .00  .00  .00  .013 3.00  1
elevator_spec1_product01_true-unreach-call_true-termination.cil.c 7.09 3.69 323629056 apollon053 9 1.06  .001 .036 87.7  44.1  3389100032 apollon014 9 .936 .00  41.3   .065 5.23  34.1   239    228    1006161920 apollon100 4.12  216     222     3.10  215     215     15.5   196     212     212     59.3  46.5  1038311424 apollon146 13 13.2   6.78  30.5   3.10  6.30  6.21  4.72  .784 5.79  18.0   1 5.52 
elevator_spec1_product03_true-unreach-call_true-termination.cil.c 8.05 4.24 270356480 apollon007 9 1.10  .00  .039 102    51.1  4001619968 apollon141 9 1.35  .00  48.4   .047 5.70  39.9   902    889    1244213248 apollon082 6.89  872     880     3.85  872     871     25.7   839     865     867     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 7.22 3.81 329662464 apollon151 9 .943 .001 .028 95.7  48.1  4116758528 apollon064 9 1.01  .001 45.4   .055 5.49  37.6   901    888    1005568000 apollon069 5.32  873     880     3.07  873     873     19.1   849     868     870     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_product11_true-unreach-call_true-termination.cil.c 7.00 3.66 337862656 apollon145 9 .919 .001 .034 105    52.9  4055773184 apollon084 9 1.22  .00  50.2   .071 6.49  40.9   250    239    1014857728 apollon014 4.35  227     232     2.77  226     226     17.6   205     223     223     49.0  37.6  911282176 apollon113 9 12.2   5.13  22.5   2.89  4.64  4.58  3.25  .667 4.08  12.0   1 3.93 
elevator_spec1_product17_true-unreach-call_true-termination.cil.c 7.66 4.02 334508032 apollon014 9 1.05  .00  .037 93.7  47.0  3468107776 apollon057 9 1.06  .001 44.3   .035 5.55  36.4   788    774    1147076608 apollon146 4.57  760     767     3.45  759     759     24.1   730     754     754     55.7  42.7  972333056 apollon069 13 10.7   4.91  29.2   3.16  4.59  4.50  3.33  .527 4.02  18.4   2 3.87 
elevator_spec1_product19_true-unreach-call_true-termination.cil.c 7.63 4.00 279003136 apollon101 9 1.02  .00  .038 102    51.0  4101644288 apollon147 9 1.39  .001 48.3   .073 5.28  40.3   902    887    1170014208 apollon079 7.15  869     877     3.98  868     868     30.2   831     861     863     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 7.54 3.97 386351104 apollon082 9 1.00  .00  .041 194    97.1  4899364864 apollon035 9 1.16  .001 94.2   .038 7.13  84.3   901    886    1076785152 apollon137 4.24  872     879     3.69  871     871     17.3   850     868     868     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 9.10 4.79 299593728 apollon032 9 1.25  .001 .044 199    99.9  4986413056 apollon166 9 1.34  .00  96.8   .079 7.84  85.8   902    889    1152446464 apollon065 3.84  876     883     3.44  875     875     17.2   855     872     873     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 6.68 3.52 340189184 apollon119 9 .879 .00  .029 94.9  47.7  3754156032 apollon018 9 1.06  .001 45.0   .044 6.11  36.1   901    889    1082884096 apollon156 5.15  875     881     3.11  875     874     20.6   849     870     871     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_product27_true-unreach-call_true-termination.cil.c 7.13 3.75 363794432 apollon085 9 .976 .001 .033 131    65.7  4600258560 apollon010 9 1.22  .001 62.9   .051 6.35  53.8   184    174    1208819712 apollon162 7.27  158     164     2.86  157     157     22.0   131     153     153     47.1  37.7  1061478400 apollon127 13 9.94  4.15  25.5   2.34  3.95  3.91  2.75  .558 3.47  16.8   2 3.32 
elevator_spec1_product29_true-unreach-call_true-termination.cil.c 8.24 4.31 291180544 apollon154 9 1.06  .001 .038 174    87.4  4959932416 apollon098 9 1.15  .001 84.4   .043 7.61  73.8   901    884    916549632 apollon021 4.11  871     878     3.28  870     870     15.7   851     867     868     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 7.30 3.81 286453760 apollon118 9 .953 .001 .036 181    90.8  5228634112 apollon022 9 1.20  .00  87.9   .061 8.54  76.1   902    889    1078591488 apollon069 4.05  875     882     3.32  875     875     16.7   854     871     872     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_spec2_product01_true-unreach-call_true-termination.cil.c 6.01 3.17 270565376 apollon050 5 .631 .00  .012 29.3  14.9  1333981184 apollon135 5 .804 .00  12.2   .021 2.92  7.40  96.7  86.1  1039269888 apollon013 8.69  69.8   75.0   2.32  69.2   69.1   18.8   46.6   65.5   65.6   75.0  62.5  1085296640 apollon063 11 26.1   7.99  33.5   3.29  7.69  7.60  4.77  2.14  8.01  19.7   1 6.92 
elevator_spec2_product03_true-unreach-call_true-termination.cil.c 6.07 3.21 297828352 apollon066 5 .650 .00  .012 31.7  16.0  1875668992 apollon082 5 .787 .001 13.4   .014 3.31  8.02  67.2  58.0  992337920 apollon052 8.50  43.0   47.3   1.86  42.5   42.4   14.2   25.4   39.6   39.7   69.5  60.6  1103859712 apollon165 11 26.3   6.59  32.1   2.19  6.21  6.17  3.37  2.20  6.75  21.3   1 5.57 
elevator_spec2_product09_true-unreach-call_true-termination.cil.c 6.17 3.27 297103360 apollon115 5 .656 .002 .009 32.8  16.6  1501765632 apollon048 5 .756 .001 14.0   .018 3.82  8.41  129    119    1076871168 apollon092 9.18  103     108     2.21  102     102     19.4   79.1   98.5   98.7   70.9  61.5  1060859904 apollon128 11 28.8   6.96  30.3   2.42  6.68  6.63  3.60  2.34  7.69  18.7   1 5.95 
elevator_spec2_product11_true-unreach-call_true-termination.cil.c 7.74 4.06 306974720 apollon037 5 .871 .001 .013 35.0  17.6  1548410880 apollon096 5 .817 .00  15.2   .020 3.82  9.32  70.8  62.2  1189224448 apollon026 12.8   42.2   47.4   2.41  41.8   41.7   19.0   19.3   38.3   38.4   128    115    1251926016 apollon074 16 51.9   9.88  60.0   3.13  9.36  9.31  5.09  3.31  12.0   44.2   1 8.41 
elevator_spec2_product17_true-unreach-call_true-termination.cil.c 6.74 3.56 293453824 apollon084 5 .722 .002 .012 30.3  15.3  1283821568 apollon101 5 .862 .00  12.7   .011 3.59  7.23  76.4  65.9  1073741824 apollon009 7.77  50.5   56.0   2.58  50.0   49.8   15.4   31.4   46.8   46.9   60.2  51.1  1119236096 apollon075 11 22.9   5.83  25.9   2.34  5.50  5.46  3.08  1.83  5.87  15.7   1 4.92 
elevator_spec2_product19_true-unreach-call_true-termination.cil.c 6.54 3.43 308887552 apollon111 5 .721 .001 .012 34.5  17.4  1541087232 apollon165 5 .970 .00  14.9   .022 3.39  9.26  57.1  47.1  945680384 apollon047 8.58  31.6   36.5   2.28  31.1   31.0   15.4   12.8   28.2   28.3   87.9  74.2  1186222080 apollon113 11 33.8   8.35  37.3   3.37  7.94  7.87  4.32  2.77  8.57  22.7   1 7.10 
elevator_spec2_product21_true-unreach-call_true-termination.cil.c 7.12 3.73 337981440 apollon133 5 .749 .00  .010 58.8  29.6  2417905664 apollon061 5 .798 .00  26.9   .020 4.64  19.5   243    230    1589653504 apollon039 19.4   200     209     3.93  199     199     29.7   164     193     194     653    642    2106052608 apollon091 11 36.6   7.26  604     3.06  6.96  6.89  4.19  2.01  8.05  591     1 6.21 
elevator_spec2_product23_true-unreach-call_true-termination.cil.c 8.02 4.19 359309312 apollon046 5 .919 .00  .019 58.4  29.4  2525564928 apollon138 5 .957 .001 26.6   .031 5.29  18.9   324    312    1455742976 apollon140 9.65  292     300     4.15  291     291     24.5   262     287     287     140    127    1322659840 apollon132 11 39.9   8.58  85.2   3.62  8.20  8.15  4.57  2.84  10.0   70.2   1 7.42 
elevator_spec2_product25_true-unreach-call_true-termination.cil.c 6.16 3.24 303190016 apollon055 5 .661 .00  .011 35.7  18.0  1645228032 apollon074 5 .706 .00  15.4   .023 3.55  9.98  571    560    1145851904 apollon106 9.23  542     548     2.84  542     542     21.9   515     537     538     83.9  71.5  1128824832 apollon097 11 32.0   8.07  36.7   2.96  7.66  7.59  4.05  2.77  8.04  22.9   1 6.83 
elevator_spec2_product27_true-unreach-call_true-termination.cil.c 6.24 3.28 316968960 apollon161 5 .718 .00  .019 43.3  21.9  1931288576 apollon046 5 .846 .001 19.2   .023 4.03  13.0   56.5  46.9  1192914944 apollon024 8.40  31.7   36.5   2.21  31.2   31.1   14.9   13.6   28.6   28.6   68.1  58.5  1220616192 apollon064 11 27.9   6.55  28.4   2.59  6.35  6.29  3.36  2.33  6.67  17.1   1 5.70 
elevator_spec2_product29_true-unreach-call_true-termination.cil.c 6.40 3.36 354336768 apollon154 5 .667 .00  .009 60.3  30.4  2443923456 apollon164 5 .772 .00  27.7   .025 4.99  20.4   107    93.8  1191297024 apollon030 11.6   71.4   79.4   3.76  70.7   70.6   23.4   43.2   66.6   66.7   230    220    1288552448 apollon132 11 34.1   7.93  183     3.17  7.56  7.47  3.86  2.93  9.09  170     1 6.80 
elevator_spec2_product31_true-unreach-call_true-termination.cil.c 8.19 4.30 364539904 apollon100 5 .910 .00  .013 47.5  23.9  2089414656 apollon164 5 .930 .00  21.1   .020 5.30  13.4   312    298    1420328960 apollon153 12.5   275     283     3.91  274     274     24.8   245     269     270     142    130    1386217472 apollon101 11 41.3   8.61  86.6   3.52  8.26  8.14  4.50  2.83  9.42  71.6   1 7.35 
elevator_spec3_product01_true-unreach-call_true-termination.cil.c 8.08 4.21 403582976 apollon071 12 1.12  .001 .064 15.5  7.88 871952384 apollon097 1 .614 .00  5.09  .008 1.42  1.10  50.4  41.0  996048896 apollon146 11.3   22.8   27.2   2.33  22.5   22.4   14.2   5.59  19.8   9.43  734    721    3210194944 apollon079 67 372     .451 346     3.25  .055 .001 .00  .00  26.6   338     1
elevator_spec3_product09_true-unreach-call_true-termination.cil.c 8.39 4.40 397660160 apollon031 12 1.15  .001 .068 16.6  8.45 914255872 apollon052 1 .789 .00  5.62  .016 1.51  1.40  85.6  76.4  1099264000 apollon049 10.2   59.2   64.0   2.66  58.9   58.8   18.3   37.2   55.5   42.4   837    822    2818441216 apollon137 60 435     .472 384     4.21  .079 .001 .00  .00  35.4   374     1
elevator_spec3_product17_true-unreach-call_true-termination.cil.c 9.16 4.80 413999104 apollon151 12 1.28  .001 .077 17.4  8.87 879902720 apollon032 1 .780 .00  5.75  .004 1.67  1.64  98.1  89.3  1253351424 apollon013 10.9   70.3   76.0   3.22  69.9   69.8   24.6   40.6   65.2   48.5   835    822    3064291328 apollon131 60 401     .390 418     3.59  .075 .002 .00  .00  25.2   410     1
elevator_spec3_product18_true-unreach-call_true-termination.cil.c 8.94 4.66 426786816 apollon112 12 1.12  .00  .061 22.7  11.5  1360838656 apollon020 1 .826 .00  7.99  .004 2.50  1.57  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   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 10.7  5.58 339689472 apollon131 12 1.42  .001 .076 21.2  10.8  1415315456 apollon152 1 .799 .00  7.54  .005 2.24  1.85  118    107    1344421888 apollon117 15.8   83.1   89.3   3.49  82.7   82.7   26.3   51.9   78.2   60.1   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 11.8  6.20 385789952 apollon131 12 1.45  .001 .089 31.7  16.0  2014203904 apollon110 1 .787 .00  12.2   .006 3.79  2.32  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   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 9.21 4.82 405942272 apollon140 12 1.19  .00  .068 17.4  8.92 972910592 apollon136 1 .738 .00  5.83  .004 1.71  1.51  133    123    1225498624 apollon160 12.3   103     108     3.18  102     102     21.4   76.9   98.3   83.0   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 9.10 4.75 432566272 apollon111 12 1.14  .00  .062 24.5  12.4  1499578368 apollon107 1 .757 .00  9.00  .005 2.69  2.05  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   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 9.86 5.15 433377280 apollon079 12 1.43  .00  .083 21.6  11.0  1387773952 apollon047 1 .776 .00  7.82  .004 2.05  2.10  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   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 11.6  6.09 527745024 apollon002 12 1.50  .00  .087 29.9  15.1  1946161152 apollon154 1 1.00  .00  11.4   .017 4.00  2.12  134    121    1724530688 apollon073 22.7   86.5   96.3   5.50  85.7   85.6   26.6   54.6   81.2   62.0   902    888    3572850688 apollon133 25 498     .924 386     6.68  .122 .002 .00  .00  11.3   373     0
elevator_spec9_product09_true-unreach-call_true-termination.cil.c 5.94 3.16 297717760 apollon101 5 .609 .00  .009 34.1  17.2  1563258880 apollon164 5 .775 .001 14.6   .012 3.75  9.00  59.8  49.6  965218304 apollon136 8.39  34.9   39.1   1.90  34.5   34.4   13.6   18.3   31.9   32.0   65.4  56.8  1098268672 apollon136 11 26.2   6.14  28.4   2.30  5.90  5.83  3.15  2.14  6.32  18.0   1 5.30 
elevator_spec9_product11_true-unreach-call_true-termination.cil.c 7.21 3.79 311812096 apollon092 5 .802 .00  .014 33.5  16.9  1558908928 apollon151 5 .746 .00  14.3   .014 3.65  8.72  91.3  82.0  1136791552 apollon044 7.94  67.0   72.0   2.47  66.6   66.5   14.6   49.0   63.7   63.8   72.8  63.8  1128144896 apollon154 11 28.9   6.70  32.6   2.55  6.44  6.39  3.37  2.41  7.28  21.0   1 5.79 
elevator_spec9_product25_true-unreach-call_true-termination.cil.c 5.93 3.16 297283584 apollon121 5 .599 .001 .009 33.1  16.8  1536442368 apollon058 5 .749 .00  14.1   .026 3.70  8.75  70.3  58.8  1086033920 apollon070 9.12  42.1   47.3   2.38  41.5   41.4   18.2   20.1   38.3   38.4   83.6  71.8  1120964608 apollon069 11 32.2   8.53  36.7   3.12  8.07  8.01  4.66  2.56  8.78  22.3   1 7.25 
elevator_spec9_product27_true-unreach-call_true-termination.cil.c 7.47 3.96 315367424 apollon069 5 .866 .00  .014 35.3  17.8  1634807808 apollon143 5 .829 .00  15.2   .014 3.96  9.25  66.0  55.6  1102299136 apollon089 7.54  41.4   46.0   2.16  40.9   40.8   14.9   23.5   38.4   38.5   117    107    1408823296 apollon134 16 46.8   9.55  57.2   2.90  9.26  9.16  4.56  3.69  10.3   42.2   1 8.28 
elevator_spec9_product29_true-unreach-call_true-termination.cil.c 8.34 4.39 363909120 apollon040 5 .927 .00  .014 53.3  26.8  2326929408 apollon080 5 .908 .002 24.1   .013 5.13  16.6   201    187    1802059776 apollon065 25.3   150     159     3.89  149     149     43.2   98.6   142     142     399    387    1842307072 apollon112 22 92.9   10.5   292     3.66  10.1   10.0   5.36  3.76  16.0   275     1 9.13 
elevator_spec9_product31_true-unreach-call_true-termination.cil.c 6.38 3.37 369541120 apollon042 5 .718 .001 .013 58.0  29.2  2369638400 apollon150 5 1.08  .00  26.3   .027 5.58  18.1   199    187    1189847040 apollon125 11.2   167     174     3.27  166     166     23.4   139     162     163     202    190    1673965568 apollon165 16 68.7   12.0   119     3.52  11.6   11.5   6.37  4.13  14.0   101     1 10.5  
email_spec0_product16_false-unreach-call_true-termination.cil.c 1000    995    2319192064 apollon028 962    481    6561890304 apollon063 1000    991    2036269056 apollon137 1000    993    2109919232 apollon120
email_spec0_product21_false-unreach-call_true-termination.cil.c 1000    993    2511507456 apollon133 961    481    6696939520 apollon085 901    890    763322368 apollon014 .652 884     887     1.30  884     884     5.82  865     871     879     1000    991    2293379072 apollon159
email_spec0_product22_false-unreach-call_true-termination.cil.c 1000    995    2625286144 apollon017 961    481    6768082944 apollon041 1000    991    2119819264 apollon046 1000    992    2243874816 apollon070
email_spec0_product26_false-unreach-call_true-termination.cil.c 1000    992    2379653120 apollon127 961    481    7172661248 apollon008 1000    991    2349182976 apollon037 1000    991    2411528192 apollon154
email_spec0_product31_false-unreach-call_true-termination.cil.c 1000    994    2399350784 apollon168 961    481    6799335424 apollon080 1000    990    2280849408 apollon112 1000    992    2336108544 apollon088
email_spec0_product33_false-unreach-call_true-termination.cil.c 1000    993    2363609088 apollon066 961    481    7041769472 apollon006 1000    990    2207666176 apollon086 1000    992    2198900736 apollon123
email_spec0_product34_false-unreach-call_true-termination.cil.c 1000    993    2538029056 apollon079 962    481    7918194688 apollon127 1000    986    2374778880 apollon096 1000    990    2339336192 apollon120
email_spec0_product35_false-unreach-call_true-termination.cil.c 1000    990    2246987776 apollon163 962    481    8044175360 apollon090 1000    990    2406137856 apollon001 1000    988    2301669376 apollon101
email_spec0_productSimulator_false-unreach-call_true-termination.cil.c 1000    983    3591573504 apollon146 961    481    9397936128 apollon049 901    882    4375154688 apollon125 6.75  846     873     11.9   842     842     372     360     732     366     1000    978    4656877568 apollon066
email_spec11_product15_false-unreach-call_true-termination.cil.c 1000    995    2311856128 apollon087 961    481    6296981504 apollon018 1000    990    2026139648 apollon139 1000    992    2029604864 apollon100
email_spec11_product20_false-unreach-call_true-termination.cil.c 1000    994    2673336320 apollon156 961    481    6553772032 apollon156 1000    987    2366423040 apollon089 1000    992    2371620864 apollon062
email_spec11_product22_false-unreach-call_true-termination.cil.c 1000    995    2530889728 apollon134 961    481    7006769152 apollon087 1000    990    2121670656 apollon159 1000    990    2041233408 apollon090
email_spec11_product26_false-unreach-call_true-termination.cil.c 1000    992    2422734848 apollon144 962    481    7120175104 apollon030 901    893    717238272 apollon141 .369 888     890     .964 888     888     3.34  878     881     886     1000    991    2316021760 apollon131
email_spec11_product30_false-unreach-call_true-termination.cil.c 1000    995    2598002688 apollon100 961    481    6359232512 apollon133 1000    989    2027036672 apollon126 1000    993    2051682304 apollon090
email_spec11_product32_false-unreach-call_true-termination.cil.c 1000    993    2736836608 apollon027 962    481    6857183232 apollon070 1000    987    2495565824 apollon154 1000    991    2415489024 apollon080
email_spec11_product33_false-unreach-call_true-termination.cil.c 1000    994    2534862848 apollon011 962    481    6743576576 apollon012 1000    991    2241679360 apollon103 1000    991    2119008256 apollon085
email_spec11_product35_false-unreach-call_true-termination.cil.c 1000    993    2678951936 apollon128 962    481    8037896192 apollon109 901    889    863088640 apollon145 2.86  881     884     1.41  881     880     31.8   798     830     849     1000    988    2349318144 apollon153
email_spec11_productSimulator_false-unreach-call_true-termination.cil.c 1000    984    4083179520 apollon068 961    481    9282695168 apollon014 901    882    3379302400 apollon031 3.73  854     876     10.2   852     851     562     155     716     160     1000    985    4740501504 apollon164
email_spec1_product14_false-unreach-call_true-termination.cil.c 162    157    2680819712 apollon118 3 1.48  .403 .199 961    731    6606311424 apollon087 1000    988    3031691264 apollon167 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 120    116    2533019648 apollon036 3 1.09  .397 .143 960    738    6440910848 apollon015 1000    992    2712309760 apollon066 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 123    119    2591932416 apollon056 3 1.14  .349 .123 961    706    6737219584 apollon093 1000    990    2812260352 apollon141 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 692    687    2813493248 apollon005 3 1.79  .660 .223 961    481    7569117184 apollon105 1000    989    3026026496 apollon126 1000    990    2933207040 apollon162
email_spec1_product21_false-unreach-call_true-termination.cil.c 883    877    2744754176 apollon167 3 2.20  .852 .204 961    481    7264968704 apollon018 1000    990    3207405568 apollon161 1000    989    2957684736 apollon114
email_spec1_product22_false-unreach-call_true-termination.cil.c 167    163    2616406016 apollon090 3 1.25  .473 .169 961    685    6621253632 apollon146 1000    989    2726932480 apollon137 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 840    833    2873315328 apollon008 3 2.61  1.19  .239 961    481    7554359296 apollon039 1000    989    3058548736 apollon145 1000    988    2996699136 apollon128
email_spec1_product29_false-unreach-call_true-termination.cil.c 171    166    2645250048 apollon165 3 1.38  .520 .182 962    714    6703611904 apollon064 1000    991    2881159168 apollon060 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 144    139    2624372736 apollon092 3 1.30  .423 .162 960    693    6584524800 apollon106 1000    993    2699804672 apollon105 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 189    184    2665725952 apollon049 3 1.61  .554 .166 960    651    6854979584 apollon079 1000    992    2732089344 apollon045 181    174    2757070848 apollon148 6 2.49  .234 2.31  .732 .121 .001 .00  .00  .048 .672 1
email_spec1_product32_false-unreach-call_true-termination.cil.c 1000    991    2861740032 apollon159 961    481    7945084928 apollon110 901    893    676286464 apollon053 .741 888     890     .896 888     888     3.21  879     882     886     1000    988    2983903232 apollon152
email_spec1_product33_false-unreach-call_true-termination.cil.c 177    173    2563641344 apollon064 3 1.51  .581 .168 961    665    6983311360 apollon056 1000    992    2734321664 apollon072 196    189    2774982656 apollon060 6 2.92  .288 2.68  .907 .030 .00  .00  .00  .056 .786 1
email_spec1_product34_false-unreach-call_true-termination.cil.c 988    981    2913247232 apollon006 3 2.43  .995 .180 962    481    7743893504 apollon043 901    891    505077760 apollon089 .889 885     888     1.06  885     885     3.60  876     879     883     1000    989    3034853376 apollon161
email_spec1_product35_false-unreach-call_true-termination.cil.c 1000    991    2929631232 apollon032 961    481    8626966528 apollon095 1000    990    3050807296 apollon105 1000    985    3045056512 apollon140
email_spec1_productSimulator_false-unreach-call_true-termination.cil.c 1000    987    4250095616 apollon062 961    481    9616052224 apollon084 901    888    1539465216 apollon032 1.17  875     885     4.98  875     874     13.9   853     867     859     1000    980    4674633728 apollon124
email_spec27_product17_false-unreach-call_true-termination.cil.c 375    370    2728898560 apollon060 3 1.23  .386 .153 962    481    6737264640 apollon136 1000    990    2883698688 apollon099 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 245    241    2602229760 apollon042 3 1.11  .350 .134 961    585    6643781632 apollon147 1000    990    2734944256 apollon018 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 256    252    2620866560 apollon132 3 1.24  .364 .142 961    577    6655021056 apollon020 1000    990    2635165696 apollon075 228    220    2690490368 apollon162 6 2.51  .130 2.67  .823 .032 .002 .00  .00  .043 .700 1
email_spec27_product23_false-unreach-call_true-termination.cil.c 1000    993    2852368384 apollon035 962    481    7167639552 apollon009 1000    990    3034918912 apollon117 1000    987    2956910592 apollon112
email_spec27_product24_false-unreach-call_true-termination.cil.c 382    377    2652307456 apollon040 3 1.64  .481 .181 960    570    6805032960 apollon137 1000    992    2729897984 apollon053 271    262    2741338112 apollon097 6 3.84  .291 3.10  .984 .041 .009 .00  .00  .126 .919 1
email_spec27_product25_false-unreach-call_true-termination.cil.c 1000    991    2747117568 apollon164 962    481    7099793408 apollon027 1000    989    3002462208 apollon085 1000    989    2992308224 apollon059
email_spec27_product27_false-unreach-call_true-termination.cil.c 1000    992    2865799168 apollon068 961    481    7689719808 apollon162 1000    988    2917793792 apollon036 1000    989    3009228800 apollon164
email_spec27_product29_false-unreach-call_true-termination.cil.c 495    489    2784657408 apollon037 3 1.59  .565 .201 961    481    6943244288 apollon045 1000    989    3064799232 apollon092 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 340    334    2680999936 apollon100 3 1.65  .637 .159 961    528    7267799040 apollon055 1000    991    2641326080 apollon023 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 335    331    2690011136 apollon161 3 1.46  .611 .137 961    544    7090929664 apollon003 1000    992    2751643648 apollon011 214    207    2809946112 apollon165 6 3.69  .145 2.48  .801 .023 .001 .00  .00  .086 .589 1
email_spec27_product32_false-unreach-call_true-termination.cil.c 1000    992    2892668928 apollon027 961    481    7687110656 apollon011 901    893    562982912 apollon147 .607 888     890     .969 888     888     2.92  878     881     885     1000    988    3026886656 apollon152
email_spec27_product33_false-unreach-call_true-termination.cil.c 378    373    2706460672 apollon003 3 1.67  .763 .192 961    505    7530852352 apollon139 1000    992    2785943552 apollon139 232    225    2823196672 apollon156 6 3.32  .126 2.36  .750 .018 .001 .00  .00  .072 .587 1
email_spec27_product34_false-unreach-call_true-termination.cil.c 1000    992    2932137984 apollon006 962    481    8080162816 apollon108 1000    987    3143835648 apollon123 1000    987    3062956032 apollon145
email_spec27_product35_false-unreach-call_true-termination.cil.c 1000    992    2921390080 apollon018 962    481    8793055232 apollon060 1000    986    3168247808 apollon060 1000    988    3061071872 apollon157
email_spec27_productSimulator_false-unreach-call_true-termination.cil.c 1000    984    4747878400 apollon148 961    481    9261867008 apollon144 901    887    2479665152 apollon054 1.15  872     883     6.48  872     872     210     603     813     608     1000    983    4306034688 apollon105
email_spec3_product13_false-unreach-call_true-termination.cil.c 5.85 3.19 298803200 apollon141 1 .526 .001 901    849    4409995264 apollon162 1 .742 .011 846     1000    992    2682294272 apollon016 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 6.05 3.29 302825472 apollon074 1 .551 .001 901    822    5101178880 apollon072 1 .804 .002 819     1000    987    2958700544 apollon102 1000    987    2911948800 apollon076
email_spec3_product18_false-unreach-call_true-termination.cil.c 5.88 3.18 300150784 apollon082 1 .529 .003 901    817    5106163712 apollon020 1 .889 .003 814     1000    988    2750513152 apollon043 1000    990    2777468928 apollon167
email_spec3_product19_false-unreach-call_true-termination.cil.c 5.79 3.15 301768704 apollon034 1 .521 .001 902    828    5036220416 apollon049 1 .766 .003 825     1000    986    2883043328 apollon142 1000    988    2776616960 apollon069
email_spec3_product23_false-unreach-call_true-termination.cil.c 7.18 3.89 305815552 apollon040 1 .685 .003 901    782    5866496000 apollon042 1 .748 .003 779     901    892    599134208 apollon012 .786 887     889     .789 887     886     3.55  878     882     884     1000    987    2960740352 apollon070
email_spec3_product24_false-unreach-call_true-termination.cil.c 5.85 3.16 300023808 apollon016 1 .543 .004 901    802    5219000320 apollon053 1 .874 .002 799     1000    987    2945388544 apollon103 1000    988    2799149056 apollon095
email_spec3_product25_false-unreach-call_true-termination.cil.c 6.90 3.74 303243264 apollon027 1 .578 .001 901    764    5833187328 apollon089 1 .772 .003 761     1000    985    3023421440 apollon025 1000    987    2982797312 apollon065
email_spec3_product27_false-unreach-call_true-termination.cil.c 6.32 3.45 305975296 apollon080 1 .551 .001 901    759    5829275648 apollon126 1 .753 .003 755     901    893    624701440 apollon122 .688 889     891     .758 889     889     3.18  881     884     886     1000    987    3069542400 apollon113
email_spec3_product28_false-unreach-call_true-termination.cil.c 5.72 3.12 301826048 apollon068 1 .506 .001 902    823    4920496128 apollon093 1 .877 .003 819     1000    991    2713751552 apollon083 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 7.81 4.17 301785088 apollon163 1 .684 .002 901    756    5943922688 apollon122 1 .854 .003 752     1000    987    3195572224 apollon123 1000    988    2983428096 apollon146
email_spec3_product30_false-unreach-call_true-termination.cil.c 5.68 3.07 302813184 apollon112 1 .437 .004 901    763    5754396672 apollon018 1 .911 .004 760     1000    991    3128483840 apollon050 1000    990    2775560192 apollon122
email_spec3_product31_false-unreach-call_true-termination.cil.c 5.98 3.29 303468544 apollon003 1 .540 .004 901    772    5740871680 apollon131 1 .874 .004 768     1000    987    2910208000 apollon149 1000    987    2756788224 apollon124
email_spec3_product32_false-unreach-call_true-termination.cil.c 6.27 3.40 306180096 apollon057 1 .528 .002 901    745    6302617600 apollon046 1 .795 .003 742     901    893    519516160 apollon134 .837 888     890     .798 888     888     3.74  878     881     884     1000    983    2956537856 apollon163
email_spec3_product33_false-unreach-call_true-termination.cil.c 5.97 3.23 305459200 apollon009 1 .550 .001 902    741    6146101248 apollon053 1 .916 .010 738     902    891    703496192 apollon067 1.26  885     887     1.01  885     885     2.94  874     877     883     1000    988    2833494016 apollon105
email_spec3_product34_false-unreach-call_true-termination.cil.c 6.60 3.55 303841280 apollon034 1 .610 .002 901    735    8126861312 apollon068 1 .923 .003 732     1000    988    3162054656 apollon065 1000    987    3175911424 apollon157
email_spec3_product35_false-unreach-call_true-termination.cil.c 6.71 3.63 304267264 apollon122 1 .602 .001 901    712    9869651968 apollon002 1 .862 .005 710     901    891    698081280 apollon158 .904 886     888     .998 886     886     4.50  877     881     882     1000    985    3188682752 apollon161
email_spec3_productSimulator_false-unreach-call_true-termination.cil.c 18.1  11.2  941387776 apollon123 1 1.74  .095 904    701    10117947392 apollon035 1 2.34  .093 695     903    889    1310257152 apollon141 2.69  874     881     4.34  873     873     21.2   842     863     848     1000    982    4535140352 apollon068
email_spec4_product18_false-unreach-call_true-termination.cil.c 252    248    2578702336 apollon040 3 1.23  .324 .153 961    618    7001505792 apollon115 206    200    2672947200 apollon038 1.31  2.08  3.44  .549 1.94  1.91  1.55  .083 1.63  .494 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 214    209    2601418752 apollon058 3 1.16  .366 .135 960    617    6750126080 apollon059 1000    991    2737885184 apollon141 1000    992    2702569472 apollon142
email_spec4_product23_false-unreach-call_true-termination.cil.c 1000    992    2831876096 apollon148 961    481    7225298944 apollon082 1000    989    2805329920 apollon038 1000    988    2916241408 apollon090
email_spec4_product24_false-unreach-call_true-termination.cil.c 209    205    2624995328 apollon010 3 1.24  .355 .141 961    641    6728110080 apollon150 1000    992    2702131200 apollon144 216    208    2687410176 apollon127 6 2.69  .141 2.81  .910 .034 .001 .00  .00  .031 .779 1
email_spec4_product25_false-unreach-call_true-termination.cil.c 914    906    2845802496 apollon145 3 1.90  .827 .207 961    481    8027226112 apollon117 1000    989    2999570432 apollon051 1000    989    2952368128 apollon123
email_spec4_product27_false-unreach-call_true-termination.cil.c 1000    993    2887839744 apollon035 962    481    7947206656 apollon021 1000    988    2947473408 apollon133 1000    990    2999984128 apollon073
email_spec4_product30_false-unreach-call_true-termination.cil.c 289    284    2637897728 apollon041 3 1.30  .409 .139 961    584    7300513792 apollon163 195    189    2734481408 apollon159 1.28  2.56  3.99  .665 2.41  2.38  1.91  .128 2.04  .644 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 282    277    2664583168 apollon145 3 1.52  .542 .149 961    585    7322525696 apollon016 1000    993    2742648832 apollon021 1000    990    2755444736 apollon083
email_spec4_product32_false-unreach-call_true-termination.cil.c 1000    993    2865881088 apollon095 962    481    7592677376 apollon054 1000    989    2935181312 apollon080 1000    986    2956652544 apollon103
email_spec4_product33_false-unreach-call_true-termination.cil.c 337    331    2686406656 apollon025 3 1.79  .602 .207 960    560    7628824576 apollon088 1000    992    2734043136 apollon123 209    200    2720628736 apollon153 6 2.34  .186 3.05  .879 .031 .00  .00  .00  .052 .892 1
email_spec4_product34_false-unreach-call_true-termination.cil.c 1000    992    2928164864 apollon038 961    481    8446377984 apollon142 1000    990    3070296064 apollon149 1000    990    2977800192 apollon108
email_spec4_product35_false-unreach-call_true-termination.cil.c 1000    990    2819960832 apollon059 961    481    8556326912 apollon085 1000    990    3031728128 apollon096 1000    988    3005915136 apollon106
email_spec4_productSimulator_false-unreach-call_true-termination.cil.c 1000    987    4063035392 apollon126 961    481    9256185856 apollon037 1000    983    5817016320 apollon023 1000    981    5178286080 apollon126
email_spec6_product12_false-unreach-call_true-termination.cil.c 117    113    2504941568 apollon009 3 .917 .220 .120 961    751    6590709760 apollon115 1000    992    2689138688 apollon129 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 411    406    2717171712 apollon137 3 1.53  .497 .194 961    481    7776149504 apollon002 901    891    917143552 apollon154 .975 886     889     1.10  886     886     7.68  849     856     879     1000    990    2865426432 apollon080
email_spec6_product15_false-unreach-call_true-termination.cil.c 264    259    2538606592 apollon096 3 1.40  .431 .181 961    590    7233462272 apollon109 1000    990    2724089856 apollon105 1000    991    2659700736 apollon110
email_spec6_product16_false-unreach-call_true-termination.cil.c 304    299    2611367936 apollon136 3 1.58  .529 .211 961    575    7590952960 apollon114 1000    990    2621468672 apollon067 1000    992    2636410880 apollon103
email_spec6_product20_false-unreach-call_true-termination.cil.c 1000    992    2844471296 apollon051 962    481    7620390912 apollon104 1000    987    3283927040 apollon013 1000    991    2906697728 apollon166
email_spec6_product21_false-unreach-call_true-termination.cil.c 1000    993    2857078784 apollon109 962    481    7462846464 apollon010 1000    986    3114450944 apollon060 1000    991    2915434496 apollon135
email_spec6_product22_false-unreach-call_true-termination.cil.c 266    261    2633371648 apollon107 3 1.28  .383 .163 961    549    7015366656 apollon109 1000    989    2758365184 apollon146 1000    990    2656817152 apollon127
email_spec6_product26_false-unreach-call_true-termination.cil.c 1000    991    2779303936 apollon159 962    481    7530295296 apollon151 901    891    826847232 apollon001 .658 886     889     1.10  886     886     8.45  848     857     878     1000    990    2949824512 apollon166
email_spec6_product28_false-unreach-call_true-termination.cil.c 107    103    2533109760 apollon015 3 1.06  .291 .166 960    726    6607601664 apollon064 1000    988    2920566784 apollon071 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 393    389    2755923968 apollon077 3 1.36  .375 .172 962    481    7412797440 apollon141 901    892    785367040 apollon103 1.15  886     889     1.08  886     886     11.4   851     862     875     1000    987    2935390208 apollon166
email_spec6_product30_false-unreach-call_true-termination.cil.c 347    341    2553200640 apollon018 3 1.77  .549 .187 960    562    6939705344 apollon107 1000    989    2722271232 apollon132 1000    990    2677047296 apollon074
email_spec6_product31_false-unreach-call_true-termination.cil.c 320    315    2679848960 apollon095 3 1.56  .567 .144 960    557    7131729920 apollon007 1000    990    2727473152 apollon068 1000    991    2696826880 apollon104
email_spec6_product32_false-unreach-call_true-termination.cil.c 1000    993    2873004032 apollon053 961    481    7858012160 apollon023 901    890    810770432 apollon023 1.22  884     887     1.19  884     884     13.9   841     855     871     1000    990    2919620608 apollon157
email_spec6_product33_false-unreach-call_true-termination.cil.c 297    292    2687692800 apollon061 3 1.52  .442 .145 961    546    7597629440 apollon119 1000    989    2760810496 apollon142 1000    992    2710454272 apollon156
email_spec6_product34_false-unreach-call_true-termination.cil.c 1000    992    2951696384 apollon090 961    481    7744770048 apollon135 901    890    850460672 apollon002 1.09  885     887     1.27  884     884     13.4   820     833     871     1000    989    2972774400 apollon089
email_spec6_product35_false-unreach-call_true-termination.cil.c 1000    992    2926477312 apollon163 962    481    8432156672 apollon132 901    891    822620160 apollon047 .728 886     889     1.31  886     886     9.23  848     857     878     1000    986    2973143040 apollon164
email_spec6_productSimulator_false-unreach-call_true-termination.cil.c 1000    987    4159856640 apollon029 961    481    9705123840 apollon122 901    890    1387831296 apollon054 2.04  878     886     3.88  878     878     7.72  859     867     870     1000    976    4584849408 apollon164
email_spec7_product28_false-unreach-call_true-termination.cil.c 153    148    2528878592 apollon122 3 1.37  .352 .202 961    737    6326398976 apollon159 1000    990    2924064768 apollon098 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 374    369    2768879616 apollon101 3 1.42  .474 .174 961    481    7165042688 apollon090 901    890    796065792 apollon057 1.17  885     887     1.09  884     884     10.8   836     846     874     1000    989    2901843968 apollon140
email_spec7_product30_false-unreach-call_true-termination.cil.c 248    244    2630901760 apollon152 3 1.29  .492 .157 962    581    6837075968 apollon116 1000    990    2732216320 apollon126 1000    992    2691477504 apollon088
email_spec7_product31_false-unreach-call_true-termination.cil.c 314    309    2671120384 apollon012 3 1.42  .710 .143 961    583    6889824256 apollon021 1000    990    2831650816 apollon102 1000    991    2721882112 apollon148
email_spec7_product32_false-unreach-call_true-termination.cil.c 1000    992    2878337024 apollon005 961    481    7620939776 apollon143 901    891    732286976 apollon019 .392 887     889     .884 887     887     2.90  868     871     885     1000    990    2930405376 apollon140
email_spec7_product33_false-unreach-call_true-termination.cil.c 272    268    2692685824 apollon045 3 1.48  .616 .147 960    574    7541334016 apollon116 1000    990    2905194496 apollon054 1000    992    2727575552 apollon088
email_spec7_product34_false-unreach-call_true-termination.cil.c 1000    993    2921013248 apollon043 961    481    7537164288 apollon079 1000    987    3376410624 apollon016 1000    988    2974597120 apollon129
email_spec7_product35_false-unreach-call_true-termination.cil.c 1000    992    2920710144 apollon041 961    481    8414838784 apollon156 901    893    770613248 apollon018 .483 888     890     .929 888     888     3.27  870     873     885     1000    989    2965790720 apollon158
email_spec7_productSimulator_false-unreach-call_true-termination.cil.c 1000    984    4440092672 apollon016 961    481    9228148736 apollon093 901    883    3215527936 apollon124 2.34  860     879     9.35  857     857     124     686     810     702     1000    979    4471877632 apollon147
email_spec8_product15_false-unreach-call_true-termination.cil.c 170    165    2528813056 apollon150 3 1.47  .467 .211 961    720    6623666176 apollon080 1000    994    2702229504 apollon151 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 129    125    2600161280 apollon087 3 1.22  .339 .122 961    677    6448177152 apollon046 1000    993    2701836288 apollon148 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 734    728    2826661888 apollon084 3 1.77  .752 .201 962    481    7499145216 apollon028 1000    987    3005337600 apollon057 1000    990    2924793856 apollon089
email_spec8_product21_false-unreach-call_true-termination.cil.c 770    762    2849386496 apollon045 3 2.02  .835 .179 961    481    7265554432 apollon130 1000    991    2924949504 apollon010 1000    989    2947743744 apollon144
email_spec8_product22_false-unreach-call_true-termination.cil.c 172    168    2610438144 apollon082 3 1.52  .441 .194 960    682    6642749440 apollon083 1000    992    2738257920 apollon081 182    176    2710364160 apollon155 6 1.93  .113 2.39  .882 .017 .00  .00  .00  .060 .795 1
email_spec8_product26_false-unreach-call_true-termination.cil.c 989    981    2871988224 apollon074 3 2.58  1.23  .225 962    481    8108818432 apollon142 1000    988    2989871104 apollon053 1000    988    2971779072 apollon065
email_spec8_product30_false-unreach-call_true-termination.cil.c 166    162    2628730880 apollon146 3 1.30  .419 .166 961    679    6629699584 apollon003 1000    993    2713485312 apollon027 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 144    140    2665877504 apollon041 3 1.34  .426 .144 960    678    6825967616 apollon093 1000    992    2740228096 apollon084 190    183    2777387008 apollon116 6 3.00  .121 2.64  .961 .014 .002 .00  .00  .081 .803 1
email_spec8_product32_false-unreach-call_true-termination.cil.c 1000    991    2786058240 apollon074 961    481    7835361280 apollon087 901    893    625897472 apollon006 .760 888     890     .888 888     888     3.28  880     883     886     1000    988    2991312896 apollon063
email_spec8_product33_false-unreach-call_true-termination.cil.c 154    149    2697371648 apollon073 3 1.47  .560 .203 961    644    6931034112 apollon090 1000    990    2743107584 apollon063 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 879    871    2917191680 apollon110 3 2.40  1.20  .176 961    481    8027181056 apollon146 901    891    616996864 apollon107 1.00  886     888     1.04  886     886     3.80  877     881     883     1000    986    3031154688 apollon153
email_spec8_product35_false-unreach-call_true-termination.cil.c 1000    991    2937057280 apollon066 961    481    8695767040 apollon106 1000    990    3127726080 apollon010 1000    988    3023294464 apollon103
email_spec8_productSimulator_false-unreach-call_true-termination.cil.c 1000    985    4208377856 apollon137 961    481    9524031488 apollon003 1000    972    6137413632 apollon147 1000    981    5043871744 apollon110
email_spec9_product15_false-unreach-call_true-termination.cil.c 129    124    2526904320 apollon116 3 1.39  .416 .187 960    743    6656626688 apollon135 1000    992    2713739264 apollon024 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 151    147    2594525184 apollon110 3 1.26  .416 .170 960    744    6452547584 apollon112 1000    991    2715795456 apollon020 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 822    816    2813423616 apollon062 3 1.83  .747 .226 961    481    7327477760 apollon144 1000    989    3029012480 apollon020 1000    990    2929680384 apollon067
email_spec9_product21_false-unreach-call_true-termination.cil.c 916    910    2837528576 apollon089 3 2.24  .798 .205 962    481    7315337216 apollon144 1000    988    2854445056 apollon042 1000    988    2965266432 apollon105
email_spec9_product22_false-unreach-call_true-termination.cil.c 162    157    2551840768 apollon135 3 1.56  .541 .177 960    679    6707310592 apollon009 1000    991    2733531136 apollon016 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 861    853    2876444672 apollon061 3 2.62  1.29  .242 961    481    8146079744 apollon105 1000    989    2986774528 apollon143 1000    987    2974040064 apollon155
email_spec9_product30_false-unreach-call_true-termination.cil.c 179    174    2623139840 apollon051 3 1.31  .468 .130 961    656    6660448256 apollon086 1000    993    2734665728 apollon015 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 173    168    2661867520 apollon010 3 1.58  .490 .156 961    654    6804320256 apollon106 1000    992    2727583744 apollon032 165    159    2733596672 apollon058 6 2.34  .114 2.29  .805 .012 .00  .00  .00  .046 .592 1
email_spec9_product32_false-unreach-call_true-termination.cil.c 916    908    2876755968 apollon030 3 2.68  1.28  .224 961    481    7849787392 apollon023 901    892    650477568 apollon091 .734 887     889     .811 887     887     3.25  879     882     885     1000    987    2991181824 apollon120
email_spec9_product33_false-unreach-call_true-termination.cil.c 183    177    2683297792 apollon157 3 1.93  .641 .193 960    656    7166799872 apollon008 1000    992    2722316288 apollon089 181    174    2744655872 apollon083 6 3.06  .134 2.52  .748 .017 .00  .00  .00  .038 .648 1
email_spec9_product34_false-unreach-call_true-termination.cil.c 919    912    2916474880 apollon098 3 2.43  1.12  .168 961    481    7933083648 apollon070 901    891    636686336 apollon099 .818 887     889     .922 887     887     3.28  878     881     884     1000    990    3012136960 apollon134
email_spec9_product35_false-unreach-call_true-termination.cil.c 936    926    2947309568 apollon135 3 2.62  1.66  .169 961    481    8163086336 apollon138 1000    989    3103207424 apollon073 1000    988    3014447104 apollon167
email_spec9_productSimulator_false-unreach-call_true-termination.cil.c 1000    985    4185026560 apollon132 961    481    9688317952 apollon148 902    885    3035676672 apollon093 4.94  855     878     10.1   852     851     91.4   736     827     745     1000    980    4873011200 apollon071
email_spec0_product05_true-unreach-call_true-termination.cil.c 6.98 3.72 297041920 apollon061 5 1.02  .00  .241 5.79 3.04 343773184 apollon031 1 .479 .00  .940 .059 4.56 2.46 293404672 apollon118 .105 .066 .485 .247 .025 .020 .001 .00  .001 4.93 2.72 281116672 apollon158 0 .132 .059 .543 .180 .005 .00  .00  .00  .00  .002
email_spec0_product09_true-unreach-call_true-termination.cil.c 9.22 4.87 401469440 apollon117 5 1.85  .001 .370 8.33 4.34 432664576 apollon081 1 .512 .00  1.94  .107 1.03  .004 5.56 3.09 311943168 apollon066 .494 .102 .701 .309 .055 .040 .006 .00  .006 6.67 3.72 306941952 apollon130 0 .523 .083 .935 .501 .009 .001 .00  .00  .00  .007
email_spec0_product10_true-unreach-call_true-termination.cil.c 7.63 4.02 302075904 apollon144 5 1.11  .00  .274 6.68 3.50 414810112 apollon154 1 .449 .00  1.33  .077 .600 .002 4.70 2.56 298381312 apollon013 .163 .062 .570 .279 .023 .020 .005 .00  .005 5.04 2.80 292360192 apollon147 0 .181 .057 .582 .346 .012 .001 .00  .00  .00  .004
email_spec0_product11_true-unreach-call_true-termination.cil.c 8.62 4.64 331341824 apollon157 5 1.47  .001 .533 7.98 4.15 420048896 apollon027 1 .767 .00  1.76  .099 .661 .004 4.80 2.58 295485440 apollon033 .115 .075 .637 .291 .020 .014 .00  .00  .00  7.12 3.84 287756288 apollon104 0 .163 .100 1.09  .563 .019 .002 .00  .00  .00  .004
email_spec0_product19_true-unreach-call_true-termination.cil.c 10.7  5.63 342872064 apollon163 5 1.99  .00  .712 9.03 4.66 433213440 apollon118 1 .794 .00  2.32  .152 1.01  .012 5.08 2.77 315195392 apollon024 .227 .094 .731 .226 .027 .014 .003 .00  .003 8.33 4.46 312565760 apollon104 0 .436 .103 1.31  .513 .014 .00  .00  .00  .00  .006
email_spec0_product24_true-unreach-call_true-termination.cil.c 9.84 5.30 440029184 apollon074 5 2.00  .001 .628 9.00 4.66 437092352 apollon146 1 .802 .00  2.29  .181 .966 .007 5.31 2.89 318570496 apollon085 .272 .090 .783 .269 .026 .017 .002 .00  .002 7.03 3.83 319336448 apollon136 0 .322 .106 1.28  .475 .014 .00  .00  .00  .00  .007
email_spec0_product25_true-unreach-call_true-termination.cil.c 11.8  6.28 484519936 apollon107 5 2.87  .001 .694 11.4  5.86 551292928 apollon162 1 .787 .00  3.32  .163 1.99  .021 8.13 4.60 346484736 apollon091 1.14  .166 1.26  .574 .082 .061 .013 .00  .013 8.06 4.51 350334976 apollon155 0 1.03  .114 1.39  .566 .031 .00  .00  .00  .00  .009
email_spec0_product27_true-unreach-call_true-termination.cil.c 11.6  6.30 495808512 apollon129 5 3.00  .00  .653 10.9  5.61 549892096 apollon136 1 .842 .00  3.16  .204 1.51  .010 7.58 4.16 364875776 apollon140 1.16  .156 1.09  .503 .066 .053 .011 .00  .011 8.06 4.59 366907392 apollon118 0 1.11  .120 1.39  .583 .016 .001 .00  .00  .00  .008
email_spec0_product36_true-unreach-call_true-termination.cil.c 8.63 4.54 441647104 apollon097 5 1.92  .00  .330 9.01 4.64 423874560 apollon107 1 .537 .00  2.24  .094 1.22  .005 7.07 3.97 325804032 apollon030 .864 .149 .885 .392 .068 .056 .010 .00  .010 6.80 3.86 325746688 apollon109 0 .737 .072 .973 .398 .008 .002 .00  .00  .00  .006
email_spec0_product37_true-unreach-call_true-termination.cil.c 7.41 4.02 359809024 apollon155 5 1.29  .00  .454 7.84 4.08 422002688 apollon126 1 .745 .00  1.84  .085 .724 .018 5.33 2.90 296538112 apollon164 .182 .075 .671 .207 .030 .018 .002 .00  .002 7.22 3.92 297459712 apollon156 0 .257 .095 1.09  .420 .013 .001 .00  .00  .00  .006
email_spec0_product38_true-unreach-call_true-termination.cil.c 9.19 4.86 461676544 apollon140 5 1.88  .00  .553 10.3  5.30 434868224 apollon062 1 .734 .001 2.63  .155 1.30  .008 6.22 3.42 311508992 apollon163 .510 .127 .918 .394 .047 .034 .007 .00  .007 6.87 3.78 308416512 apollon142 0 .554 .197 1.11  .479 .012 .002 .00  .00  .00  .018
email_spec0_product40_true-unreach-call_true-termination.cil.c 11.4  5.98 368910336 apollon014 5 2.40  .00  .751 9.51 4.90 433860608 apollon066 1 .764 .00  2.50  .117 1.18  .019 6.11 3.43 326660096 apollon148 .655 .135 .928 .421 .056 .038 .008 .00  .008 7.49 4.13 325849088 apollon133 0 .750 .100 1.22  .535 .021 .001 .00  .00  .00  .002
email_spec11_product03_true-unreach-call_true-termination.cil.c 6.47 3.50 295833600 apollon103 5 .877 .001 .214 6.29 3.32 376348672 apollon026 1 .492 .001 1.21  .047 .447 .002 4.78 2.62 293203968 apollon031 .138 .048 .491 .253 .023 .017 .001 .00  .001 6.12 3.36 292798464 apollon139 0 .169 .044 .670 .270 .005 .00  .00  .00  .00  .003
email_spec11_product07_true-unreach-call_true-termination.cil.c 7.66 4.10 381251584 apollon046 5 1.50  .001 .318 7.76 4.02 414965760 apollon088 1 .557 .00  1.74  .095 .869 .004 5.35 2.98 309604352 apollon148 .517 .101 .652 .307 .037 .034 .004 .00  .004 5.83 3.31 306442240 apollon160 0 .459 .059 .776 .301 .009 .002 .00  .00  .00  .004
email_spec11_product08_true-unreach-call_true-termination.cil.c 7.29 3.88 331968512 apollon069 5 1.11  .00  .494 8.54 4.46 331075584 apollon094 1 .724 .00  1.77  .124 .667 .003 4.84 2.63 295014400 apollon044 .146 .084 .676 .300 .023 .010 .001 .00  .001 6.21 3.34 290467840 apollon117 0 .166 .066 .972 .355 .012 .001 .00  .00  .00  .005
email_spec11_product10_true-unreach-call_true-termination.cil.c 7.95 4.26 298364928 apollon033 5 1.22  .00  .278 6.64 3.48 299053056 apollon148 1 .476 .00  1.31  .049 .563 .017 4.46 2.43 304119808 apollon114 .148 .067 .453 .212 .021 .016 .002 .00  .002 4.93 2.74 287977472 apollon094 0 .128 .063 .582 .188 .005 .001 .00  .00  .00  .003
email_spec11_product18_true-unreach-call_true-termination.cil.c 7.94 4.27 393637888 apollon052 5 1.48  .00  .509 8.75 4.54 431628288 apollon028 1 .771 .001 2.24  .139 .962 .016 4.99 2.74 310333440 apollon097 .219 .101 .702 .243 .031 .017 .003 .00  .003 6.56 3.51 306749440 apollon085 0 .294 .109 1.04  .377 .026 .001 .00  .00  .00  .003
email_spec11_product23_true-unreach-call_true-termination.cil.c 10.0  5.45 461680640 apollon150 5 2.38  .00  .555 10.5  5.37 552357888 apollon003 1 .851 .00  2.94  .160 1.46  .007 6.54 3.67 342777856 apollon025 .821 .166 1.01  .376 .066 .051 .010 .00  .010 9.67 5.45 345640960 apollon089 0 1.12  .104 1.66  .871 .018 .001 .00  .00  .00  .005
email_spec11_product24_true-unreach-call_true-termination.cil.c 10.8  5.73 342908928 apollon166 5 2.06  .001 .740 9.07 4.72 435113984 apollon137 1 .842 .00  2.39  .161 1.06  .004 5.24 2.88 316178432 apollon051 .237 .090 .776 .352 .024 .016 .001 .00  .001 8.21 4.41 317493248 apollon097 0 .434 .104 1.35  .613 .015 .002 .00  .00  .00  .009
email_spec11_product27_true-unreach-call_true-termination.cil.c 12.1  6.42 503173120 apollon086 5 3.01  .003 .644 11.5  5.92 474591232 apollon056 1 .850 .00  3.30  .116 2.00  .008 7.29 4.06 365420544 apollon131 1.06  .148 1.06  .484 .068 .058 .014 .00  .014 8.99 5.04 359661568 apollon063 0 1.19  .106 1.54  .640 .012 .00  .00  .00  .00  .002
email_spec11_product36_true-unreach-call_true-termination.cil.c 9.30 4.91 440188928 apollon083 5 2.15  .00  .310 8.53 4.42 425263104 apollon146 1 .537 .001 2.09  .059 1.15  .021 5.61 3.15 326275072 apollon010 .625 .104 .727 .240 .047 .040 .007 .00  .007 8.30 4.67 324382720 apollon156 0 .793 .087 1.12  .577 .013 .00  .00  .00  .00  .004
email_spec11_product37_true-unreach-call_true-termination.cil.c 7.35 3.99 330047488 apollon076 5 1.26  .001 .409 8.05 4.17 428199936 apollon051 1 .795 .00  1.96  .087 .776 .004 4.88 2.65 299188224 apollon026 .157 .084 .653 .292 .024 .015 .001 .00  .001 6.24 3.44 298340352 apollon095 0 .167 .134 .988 .373 .027 .001 .00  .00  .00  .00 
email_spec11_product39_true-unreach-call_true-termination.cil.c 9.49 5.07 462635008 apollon058 5 1.90  .00  .664 9.32 4.82 431116288 apollon112 1 .825 .00  2.40  .173 1.01  .006 5.85 3.28 317390848 apollon044 .494 .117 .844 .289 .047 .033 .005 .00  .005 6.92 3.79 309633024 apollon085 0 .605 .103 1.10  .555 .041 .001 .00  .00  .00  .004
email_spec11_product40_true-unreach-call_true-termination.cil.c 9.54 5.13 471388160 apollon036 5 2.11  .00  .515 9.54 4.93 532553728 apollon001 1 .786 .00  2.63  .195 1.13  .032 7.44 4.15 326094848 apollon143 .769 .168 1.11  .489 .070 .049 .010 .00  .010 7.60 4.10 329412608 apollon136 0 .818 .094 1.16  .480 .011 .001 .00  .00  .00  .002
email_spec1_product12_true-unreach-call_true-termination.cil.c 7.14 3.87 329048064 apollon065 5 1.09  .00  .471 15.7  8.03 669614080 apollon141 4 1.45  .00  5.56  1.07  1.52  1.34  5.69 3.14 301006848 apollon040 .168 .433 1.12  .316 .357 .345 .276 .004 .280 .129 6.55 3.13 298274816 apollon079 1 .271 .094 .709 .0   .011 .001 .00  .00  .003 .045 1
email_spec1_product28_true-unreach-call_true-termination.cil.c 8.87 4.73 363896832 apollon103 5 1.44  .001 .594 21.7  11.0  1005490176 apollon148 5 1.89  .00  8.62  1.23  2.15  2.94  6.23 3.45 314425344 apollon056 .259 .563 1.34  .387 .482 .478 .385 .005 .390 .155 6.61 3.54 318930944 apollon167 1 .334 .063 1.17  .441 .017 .001 .00  .00  .007 .056 1
email_spec27_product13_true-unreach-call_true-termination.cil.c 8.11 4.75 357822464 apollon142 5 1.17  .666 .424 23.4  11.9  981336064 apollon136 5 1.53  1.08  9.43  1.20  1.72  3.08  10.5  6.03 342716416 apollon047 .349 2.69  3.76  .441 2.55  2.51  1.31  .930 2.25  1.30  9.09 5.15 322912256 apollon158 3 .697 .285 1.89  .694 .033 .001 .00  .00  .027 .245 1
email_spec27_product28_true-unreach-call_true-termination.cil.c 8.35 4.84 403972096 apollon068 5 1.29  .644 .425 26.2  13.3  1179394048 apollon166 5 1.95  .838 10.8   1.34  2.12  3.74  11.4  6.70 448503808 apollon109 .466 2.98  4.30  .648 2.88  2.86  1.77  .745 2.52  1.12  10.6  5.95 343465984 apollon138 3 1.11  .125 2.12  .966 .028 .003 .00  .00  .026 .275 1
email_spec4_product13_true-unreach-call_true-termination.cil.c 7.77 4.48 357494784 apollon122 5 1.20  .409 .418 20.9  10.6  915656704 apollon153 5 1.68  .877 8.14  1.07  1.75  2.13  5.94 3.31 302710784 apollon160 .197 .508 1.23  .262 .443 .431 .348 .005 .353 .139 6.79 3.70 306528256 apollon147 1 .308 .079 1.10  .408 .018 .00  .00  .00  .003 .041 1
email_spec4_product17_true-unreach-call_true-termination.cil.c 8.69 5.02 463405056 apollon140 5 1.49  .528 .468 33.5  16.9  1332797440 apollon058 5 2.48  1.50  14.2   1.42  3.13  4.65  16.2  10.6  487866368 apollon101 .358 6.42  8.29  .820 6.27  6.24  4.26  1.10  5.36  2.14  15.9  9.17 536055808 apollon114 5 4.08  .129 2.95  .904 .024 .011 .00  .00  .110 1.02  1
email_spec4_product28_true-unreach-call_true-termination.cil.c 7.98 4.56 381616128 apollon120 5 1.24  .425 .424 24.6  12.5  1171398656 apollon095 5 2.03  1.01  10.1   1.21  2.11  2.94  8.61 4.74 326791168 apollon017 .300 1.18  2.37  .556 1.08  1.04  .830 .040 .870 .310 7.71 4.32 322285568 apollon147 3 .596 .131 1.61  .592 .028 .001 .00  .00  .014 .208 1
email_spec4_product29_true-unreach-call_true-termination.cil.c 10.2  5.98 510668800 apollon151 5 1.97  .685 .544 42.4  21.4  1786028032 apollon160 5 3.01  1.27  18.9   1.17  4.48  7.72  24.5  15.6  523120640 apollon149 .554 10.1   12.7   1.20  9.86  9.81  7.24  1.18  8.43  2.31  21.5  12.9  583221248 apollon165 5 6.61  .172 3.75  1.43  .031 .004 .00  .00  .122 1.04  1
email_spec7_product13_true-unreach-call_true-termination.cil.c 8.78 4.77 331681792 apollon073 5 1.33  .00  .594 7.84 4.09 419397632 apollon097 1 .745 .00  1.79  .128 .645 .004 5.05 2.73 298688512 apollon046 .181 .076 .668 .235 .021 .013 .002 .00  .002 6.21 3.36 300867584 apollon121 0 .216 .093 .993 .394 .006 .00  .00  .00  .00  .002
email_spec7_product17_true-unreach-call_true-termination.cil.c 9.58 5.18 343560192 apollon004 5 1.72  .00  .662 9.41 4.86 435421184 apollon097 1 .790 .00  2.42  .127 1.18  .006 6.37 3.52 323420160 apollon105 .676 .136 .943 .360 .054 .041 .007 .00  .007 8.21 4.54 335122432 apollon145 0 .710 .090 1.33  .688 .015 .001 .00  .00  .00  .014
email_spec7_product18_true-unreach-call_true-termination.cil.c 10.5  5.58 401821696 apollon027 5 1.91  .001 .668 8.51 4.40 433889280 apollon060 1 .803 .00  2.19  .088 .937 .016 6.26 3.40 304246784 apollon048 .243 .110 .890 .308 .030 .016 .002 .00  .002 6.33 3.39 306024448 apollon080 0 .257 .084 1.04  .365 .017 .003 .00  .00  .00  .008
email_spec7_product19_true-unreach-call_true-termination.cil.c 10.7  5.69 414720000 apollon076 5 2.02  .001 .684 8.98 4.64 436289536 apollon020 1 .950 .001 2.29  .192 .897 .005 5.15 2.77 303337472 apollon122 .204 .089 .759 .347 .024 .015 .002 .00  .002 6.40 3.45 307679232 apollon167 0 .249 .088 1.08  .407 .013 .001 .00  .00  .00  .017
email_spec7_product23_true-unreach-call_true-termination.cil.c 10.5  5.57 487350272 apollon069 5 2.38  .00  .654 10.8  5.54 548323328 apollon101 1 .905 .00  3.03  .114 1.61  .013 6.45 3.60 337002496 apollon165 .754 .134 .980 .410 .060 .046 .006 .00  .006 7.85 4.38 339505152 apollon156 0 .804 .265 1.33  .508 .031 .00  .00  .00  .00  .003
email_spec7_product24_true-unreach-call_true-termination.cil.c 10.8  5.83 441655296 apollon074 5 2.13  .00  .663 8.78 4.53 329908224 apollon065 1 .812 .001 2.15  .111 .958 .005 5.11 2.77 310972416 apollon080 .205 .095 .745 .267 .034 .022 .002 .00  .002 6.35 3.43 314998784 apollon155 0 .270 .078 1.05  .384 .009 .002 .00  .00  .00  .002
email_spec7_product25_true-unreach-call_true-termination.cil.c 12.2  6.56 468307968 apollon160 5 3.12  .00  .693 11.3  5.85 549425152 apollon033 1 .865 .00  3.27  .167 1.73  .009 7.46 4.15 346808320 apollon124 .935 .170 1.20  .412 .075 .051 .008 .00  .008 7.63 4.25 343515136 apollon133 0 .883 .212 1.28  .528 .020 .001 .00  .00  .00  .014
email_spec7_product27_true-unreach-call_true-termination.cil.c 14.5  7.73 399654912 apollon118 5 3.74  .00  .705 12.0  6.16 568127488 apollon014 1 .881 .00  3.68  .166 1.96  .008 7.56 4.30 355229696 apollon115 .983 .165 1.21  .551 .079 .056 .012 .00  .012 8.06 4.56 350150656 apollon087 0 .936 .092 1.42  .771 .009 .001 .00  .00  .00  .005
email_spec8_product12_true-unreach-call_true-termination.cil.c 6.68 3.71 325795840 apollon138 5 1.06  .001 .403 14.9  7.63 654741504 apollon122 4 1.57  .00  5.15  .765 1.31  1.33  5.60 3.09 302489600 apollon032 .192 .421 1.06  .238 .354 .339 .271 .004 .275 .134 7.43 4.07 296128512 apollon104 1 .245 .117 1.27  .488 .008 .00  .00  .00  .002 .068 1
email_spec8_product14_true-unreach-call_true-termination.cil.c 9.26 5.37 461185024 apollon049 5 1.46  .831 .486 36.4  18.4  1349992448 apollon012 5 2.89  1.30  15.6   1.47  3.77  4.95  284    275    794300416 apollon085 .884 269     272     1.59  268     268     13.5   248     262     256     30.6  22.2  626421760 apollon068 19 12.5   .135 7.43  1.38  .026 .003 .00  .00  1.37  4.82  1
email_spec8_product28_true-unreach-call_true-termination.cil.c 7.26 3.91 355872768 apollon001 5 1.15  .001 .518 22.8  11.6  941780992 apollon052 5 1.92  .00  9.08  1.22  2.24  3.28  6.34 3.50 321200128 apollon121 .263 .583 1.34  .395 .499 .472 .371 .006 .377 .142 6.60 3.57 311742464 apollon115 1 .321 .073 1.19  .428 .006 .001 .00  .00  .003 .055 1
email_spec8_product29_true-unreach-call_true-termination.cil.c 12.9  7.36 516018176 apollon091 5 2.40  1.31  .558 44.1  22.2  1833119744 apollon053 5 3.03  2.09  19.6   1.37  4.06  8.01  50.7  42.7  652423168 apollon080 1.03  36.9   39.7   1.31  36.7   36.6   11.2   23.2   34.4   25.4   33.0  24.7  654352384 apollon102 19 14.5   .213 7.97  1.50  .066 .003 .00  .00  1.27  4.89  1
email_spec9_product12_true-unreach-call_true-termination.cil.c 7.07 3.87 330838016 apollon158 5 1.08  .00  .424 15.4  7.86 651870208 apollon066 4 1.27  .001 5.43  1.14  1.41  1.38  5.93 3.16 305287168 apollon003 .204 .434 1.12  .331 .358 .347 .276 .005 .281 .121 6.25 3.37 299577344 apollon150 1 .223 .167 .995 .373 .016 .002 .00  .00  .002 .055 1
email_spec9_product14_true-unreach-call_true-termination.cil.c 9.59 5.59 461443072 apollon094 5 1.54  .859 .520 32.6  16.5  1479495680 apollon089 5 2.67  1.28  13.9   1.23  3.28  4.48  302    293    527462400 apollon052 .981 286     290     1.56  286     286     14.6   264     279     272     30.2  22.3  614600704 apollon143 19 12.4   .147 7.58  1.46  .031 .003 .00  .00  1.39  4.95  1
email_spec9_product28_true-unreach-call_true-termination.cil.c 6.90 3.85 354209792 apollon072 5 1.19  .00  .412 22.3  11.3  1020297216 apollon017 5 1.91  .001 8.84  1.27  2.09  3.09  6.20 3.40 321671168 apollon095 .258 .549 1.29  .280 .475 .463 .373 .004 .377 .137 8.36 4.50 317767680 apollon119 1 .394 .095 1.41  .562 .021 .001 .00  .00  .002 .088 1
email_spec9_product29_true-unreach-call_true-termination.cil.c 11.1  6.30 528244736 apollon165 5 1.93  1.30  .448 46.7  23.5  1976737792 apollon137 5 3.45  2.27  21.0   1.21  4.31  8.51  55.9  47.5  637304832 apollon159 1.17  41.0   44.2   1.63  40.7   40.6   12.0   26.2   38.2   28.5   33.0  24.9  660090880 apollon093 19 14.7   .206 7.79  1.40  .079 .002 .00  .00  1.19  4.77  1
minepump_spec1_product33_false-unreach-call_false-termination.cil.c 4.80 2.63 288985088 apollon097 1 .258 .010 4.86 2.58 298274816 apollon004 1 .271 .010 .793 3.99 2.21 297869312 apollon057 .117 .103 .359 .143 .074 .069 .037 .001 .038 .028 4.05 2.30 291807232 apollon132 1 .235 .028 .220 .096 .004 .00  .00  .00  .00  .010 1
minepump_spec1_product34_false-unreach-call_false-termination.cil.c 4.61 2.55 287264768 apollon074 1 .241 .011 4.79 2.57 296910848 apollon027 1 .260 .018 .746 4.03 2.27 296869888 apollon145 .186 .101 .311 .093 .066 .065 .036 .00  .036 .024 4.12 2.33 291823616 apollon074 1 .228 .036 .255 .092 .001 .001 .00  .00  .001 .014 1
minepump_spec1_product35_false-unreach-call_false-termination.cil.c 4.60 2.55 289398784 apollon046 1 .257 .014 5.24 2.78 304041984 apollon018 1 .266 .031 .934 3.93 2.23 294576128 apollon036 .212 .116 .299 .072 .080 .077 .041 .00  .041 .033 4.28 2.41 292540416 apollon093 1 .218 .026 .223 .091 .002 .001 .00  .00  .001 .013 1
minepump_spec1_product36_false-unreach-call_false-termination.cil.c 4.01 2.23 288505856 apollon079 1 .201 .011 4.90 2.60 300032000 apollon126 1 .248 .021 .826 3.73 2.08 294064128 apollon133 .180 .105 .292 .085 .071 .068 .036 .002 .038 .028 4.16 2.40 286789632 apollon119 1 .262 .031 .297 .104 .008 .00  .00  .00  .001 .010 1
minepump_spec1_product37_false-unreach-call_false-termination.cil.c 3.72 2.07 285118464 apollon072 1 .222 .009 4.84 2.56 298328064 apollon098 1 .210 .042 .708 4.03 2.22 304263168 apollon044 .141 .137 .427 .089 .097 .090 .051 .00  .051 .035 4.67 2.69 292364288 apollon073 1 .158 .045 .480 .258 .010 .00  .00  .00  .001 .019 1
minepump_spec1_product38_false-unreach-call_false-termination.cil.c 3.73 2.09 286134272 apollon005 1 .214 .008 5.19 2.74 305127424 apollon133 1 .245 .021 .833 4.92 2.75 291065856 apollon046 .173 .157 .532 .214 .116 .107 .066 .002 .068 .043 5.16 2.90 292122624 apollon065 1 .170 .045 .528 .157 .005 .001 .00  .00  .001 .019 1
minepump_spec1_product39_false-unreach-call_false-termination.cil.c 4.32 2.41 287551488 apollon146 1 .253 .011 4.98 2.64 304480256 apollon029 1 .220 .028 .791 4.04 2.28 298233856 apollon041 .144 .199 .435 .091 .089 .084 .045 .00  .045 .034 4.03 2.31 289538048 apollon113 1 .126 .045 .428 .107 .007 .001 .00  .00  .001 .015 1
minepump_spec1_product40_false-unreach-call_false-termination.cil.c 4.74 2.61 285286400 apollon152 1 .254 .015 4.99 2.64 303058944 apollon013 1 .273 .021 .882 4.49 2.54 303071232 apollon044 .147 .156 .516 .210 .116 .108 .062 .00  .062 .041 4.19 2.38 291037184 apollon135 1 .279 .035 .318 .123 .007 .002 .00  .00  .001 .014 1
minepump_spec1_product41_false-unreach-call_false-termination.cil.c 3.99 2.23 289255424 apollon127 2 .300 .027 .010 7.25 3.81 450392064 apollon160 2 .251 .090 1.89  .033 .680 .333 4.51 2.54 308379648 apollon086 .256 .285 .592 .113 .254 .248 .169 .010 .179 .107 4.39 2.54 295899136 apollon158 2 .336 .047 .359 .148 .005 .00  .00  .00  .008 .033 1
minepump_spec1_product42_false-unreach-call_false-termination.cil.c 3.93 2.17 295333888 apollon137 2 .256 .036 .015 7.58 3.99 448815104 apollon075 2 .297 .070 1.93  .019 .738 .244 5.10 2.91 306569216 apollon034 .332 .365 .720 .137 .316 .306 .206 .011 .217 .128 4.42 2.52 293928960 apollon131 2 .237 .040 .476 .284 .007 .00  .00  .00  .007 .033 1
minepump_spec1_product43_false-unreach-call_false-termination.cil.c 3.93 2.18 289267712 apollon003 2 .255 .042 .014 7.36 3.87 448331776 apollon076 2 .297 .094 1.92  .030 .683 .233 4.46 2.54 308592640 apollon036 .209 .328 .670 .099 .272 .261 .176 .014 .190 .115 4.53 2.58 292950016 apollon087 2 .363 .034 .369 .141 .001 .001 .00  .00  .005 .036 1
minepump_spec1_product44_false-unreach-call_false-termination.cil.c 4.05 2.27 291561472 apollon128 2 .261 .038 .018 7.39 3.83 449683456 apollon092 2 .329 .113 2.00  .036 .669 .232 5.88 3.25 305577984 apollon085 .255 .397 .845 .209 .338 .330 .227 .020 .247 .142 4.32 2.48 301445120 apollon058 2 .240 .042 .481 .129 .012 .005 .00  .00  .004 .166 1
minepump_spec1_product49_false-unreach-call_false-termination.cil.c 4.87 2.70 283189248 apollon018 1 .244 .011 4.82 2.57 298332160 apollon137 1 .235 .010 .767 4.58 2.56 306397184 apollon044 .154 .139 .511 .199 .093 .085 .051 .001 .052 .030 5.25 2.96 293957632 apollon160 1 .284 .051 .390 .161 .004 .001 .00  .00  .001 .020 1
minepump_spec1_product50_false-unreach-call_false-termination.cil.c 3.73 2.08 286978048 apollon061 1 .220 .007 4.86 2.57 299544576 apollon106 1 .232 .011 .730 4.16 2.31 299397120 apollon002 .142 .145 .450 .169 .100 .087 .055 .001 .056 .036 4.32 2.43 295653376 apollon115 1 .142 .030 .443 .121 .004 .001 .00  .00  .001 .016 1
minepump_spec1_product51_false-unreach-call_false-termination.cil.c 3.78 2.09 284995584 apollon022 1 .214 .014 5.32 2.82 302333952 apollon091 1 .290 .043 .914 3.98 2.21 298835968 apollon067 .137 .135 .444 .163 .098 .089 .056 .001 .057 .034 5.30 2.97 296472576 apollon139 1 .329 .064 .424 .163 .008 .002 .00  .00  .001 .023 1
minepump_spec1_product52_false-unreach-call_false-termination.cil.c 3.86 2.14 287600640 apollon025 1 .192 .011 4.90 2.59 297865216 apollon077 1 .218 .013 .814 3.97 2.21 298967040 apollon145 .147 .114 .433 .100 .088 .087 .055 .002 .057 .037 4.44 2.52 293629952 apollon163 1 .146 .044 .426 .235 .003 .001 .00  .00  .00  .017 1
minepump_spec1_product53_false-unreach-call_false-termination.cil.c 3.90 2.18 286224384 apollon104 1 .191 .009 5.24 2.77 314384384 apollon052 1 .191 .017 .821 4.52 2.51 302051328 apollon043 .158 .171 .592 .200 .116 .107 .069 .001 .070 .039 5.42 3.03 297467904 apollon104 1 .328 .079 .516 .197 .011 .00  .00  .00  .001 .025 1
minepump_spec1_product54_false-unreach-call_false-termination.cil.c 3.82 2.11 300294144 apollon058 1 .201 .012 5.00 2.65 302841856 apollon131 1 .247 .025 .797 4.45 2.48 302247936 apollon021 .168 .255 .602 .133 .127 .118 .068 .00  .068 .046 4.70 2.64 303824896 apollon061 1 .203 .072 .569 .180 .008 .001 .00  .00  .001 .015 1
minepump_spec1_product55_false-unreach-call_false-termination.cil.c 3.76 2.08 289394688 apollon036 1 .205 .010 5.14 2.74 315666432 apollon011 1 .256 .013 .837 4.46 2.47 305889280 apollon015 .159 .260 .595 .132 .119 .115 .069 .002 .071 .045 5.84 3.27 295104512 apollon123 1 .368 .065 .557 .210 .005 .00  .00  .00  .002 .024 1
minepump_spec1_product56_false-unreach-call_false-termination.cil.c 4.56 2.54 292347904 apollon120 1 .230 .016 5.00 2.63 302735360 apollon105 1 .208 .025 .799 4.28 2.39 301727744 apollon038 .149 .161 .590 .134 .116 .109 .074 .001 .075 .043 5.87 3.27 297234432 apollon164 1 .352 .051 .583 .229 .010 .001 .00  .00  .002 .026 1
minepump_spec1_productSimulator_false-unreach-call_false-termination.cil.c 5.03 2.78 302190592 apollon145 1 .396 .037 6.78 3.56 432672768 apollon111 1 .398 .040 1.50  6.14 3.40 321830912 apollon036 .256 .413 1.17  .303 .214 .206 .145 .002 .147 .100 6.34 3.49 313425920 apollon076 1 .323 .092 1.17  .591 .011 .00  .00  .00  .001 .025 1
minepump_spec2_product33_false-unreach-call_false-termination.cil.c 4.71 2.63 298147840 apollon134 2 .322 .021 .016 6.85 3.62 435019776 apollon062 2 .306 .034 1.63  .029 .650 .320 4.83 2.76 297312256 apollon059 .207 .285 .695 .142 .237 .232 .134 .014 .148 .159 5.48 3.16 297304064 apollon164 6 .345 .271 .927 .180 .229 .222 .139 .013 .176 .108 1 .162
minepump_spec2_product34_false-unreach-call_false-termination.cil.c 4.33 2.43 294858752 apollon135 2 .342 .027 .014 7.00 3.66 437522432 apollon047 2 .252 .023 1.74  .025 .733 .308 4.19 2.40 298385408 apollon001 .178 .259 .586 .170 .219 .213 .131 .010 .141 .148 4.68 2.71 296452096 apollon109 3 .212 .180 .594 .236 .143 .137 .087 .008 .106 .049 1 .098
minepump_spec2_product35_false-unreach-call_false-termination.cil.c 3.97 2.23 295194624 apollon128 2 .273 .023 .019 7.05 3.69 450617344 apollon100 2 .287 .034 1.76  .034 .609 .205 4.29 2.41 301297664 apollon166 .185 .239 .561 .160 .202 .196 .121 .013 .134 .142 4.72 2.69 295473152 apollon089 3 .357 .195 .504 .130 .152 .141 .087 .010 .109 .045 1 .102
minepump_spec2_product36_false-unreach-call_false-termination.cil.c 4.90 2.72 294436864 apollon046 2 .317 .021 .015 7.57 3.94 451850240 apollon037 2 .379 .035 2.14  .040 .635 .492 4.41 2.49 307023872 apollon166 .190 .241 .596 .119 .206 .197 .123 .012 .135 .141 4.47 2.59 290521088 apollon122 3 .229 .182 .597 .128 .144 .137 .086 .009 .104 .045 1 .096
minepump_spec2_product41_false-unreach-call_false-termination.cil.c 4.25 2.38 298680320 apollon133 3 .327 .053 .037 9.41 4.86 485056512 apollon090 3 .337 .107 2.90  .064 1.05  .957 5.09 2.91 306827264 apollon007 .301 .449 .882 .206 .399 .392 .251 .030 .281 .292 5.59 3.27 304066560 apollon057 8 .456 .355 1.00  .199 .314 .309 .221 .016 .264 .169 1 .244
minepump_spec2_product42_false-unreach-call_false-termination.cil.c 4.17 2.35 303898624 apollon058 3 .350 .061 .037 9.74 5.02 482340864 apollon004 3 .390 .129 3.04  .103 1.14  .761 4.96 2.83 306216960 apollon154 .283 .438 .873 .220 .379 .370 .244 .028 .272 .284 5.21 3.10 304877568 apollon108 5 .354 .442 .868 .139 .277 .270 .184 .016 .216 .105 1 .203
minepump_spec2_product43_false-unreach-call_false-termination.cil.c 5.02 2.73 308195328 apollon143 3 .338 .082 .060 12.2  6.29 479891456 apollon163 3 .440 .152 3.94  .144 1.38  1.02  5.13 2.92 312721408 apollon161 .303 .450 .882 .227 .396 .383 .241 .032 .273 .283 5.24 3.05 304254976 apollon066 5 .506 .278 .700 .155 .244 .236 .161 .017 .196 .108 1 .181
minepump_spec2_product44_false-unreach-call_false-termination.cil.c 4.91 2.76 303169536 apollon133 3 .390 .070 .047 9.61 4.98 484319232 apollon075 3 .372 .136 3.09  .077 1.13  .557 5.96 3.35 312840192 apollon097 .337 .521 1.03  .252 .462 .449 .287 .037 .324 .339 5.36 3.15 303661056 apollon099 5 .371 .319 .908 .172 .268 .261 .189 .016 .223 .121 1 .210
minepump_spec2_productSimulator_false-unreach-call_false-termination.cil.c 5.48 3.04 319377408 apollon014 2 .561 .061 .036 13.9  7.08 613531648 apollon120 2 .607 .129 4.91  .077 2.37  .407 7.62 4.23 399892480 apollon093 .448 .751 1.64  .311 .551 .530 .338 .048 .386 .406 8.79 4.86 358252544 apollon084 3 .586 .585 1.93  .500 .492 .469 .322 .050 .382 .121 1 .377
minepump_spec3_product01_false-unreach-call_false-termination.cil.c 3.55 1.98 285863936 apollon009 1 .183 .005 4.63 2.45 299753472 apollon158 1 .235 .006 .768 4.65 2.61 293261312 apollon063 .131 .090 .376 .091 .057 .052 .020 .00  .020 .018 4.77 2.72 285396992 apollon069 1 .272 .034 .232 .099 .004 .001 .00  .00  .002 .013 1
minepump_spec3_product02_false-unreach-call_false-termination.cil.c 4.55 2.53 284008448 apollon052 1 .224 .006 4.46 2.38 291340288 apollon157 1 .185 .008 .691 3.58 2.02 292446208 apollon080 .168 .069 .237 .076 .050 .046 .020 .001 .021 .017 4.82 2.70 289116160 apollon068 1 .265 .038 .226 .093 .005 .001 .00  .00  .003 .012 1
minepump_spec3_product03_false-unreach-call_false-termination.cil.c 4.75 2.65 282099712 apollon135 1 .267 .007 4.82 2.56 300007424 apollon001 1 .277 .006 .805 3.79 2.12 297271296 apollon016 .170 .076 .219 .064 .052 .047 .022 .00  .022 .018 3.91 2.22 284553216 apollon121 1 .247 .039 .184 .057 .005 .00  .00  .00  .003 .012 1
minepump_spec3_product04_false-unreach-call_false-termination.cil.c 4.35 2.40 286109696 apollon074 1 .193 .005 4.93 2.61 305684480 apollon142 1 .276 .010 .759 3.57 2.02 290136064 apollon064 .167 .079 .226 .059 .050 .047 .020 .00  .020 .018 4.14 2.33 286306304 apollon072 1 .118 .175 .348 .068 .008 .00  .00  .00  .004 .015 1
minepump_spec3_product05_false-unreach-call_false-termination.cil.c 3.61 2.01 280752128 apollon088 1 .192 .003 4.83 2.56 299962368 apollon111 1 .222 .005 .741 4.81 2.66 301694976 apollon152 .213 .136 .357 .104 .089 .083 .043 .00  .043 .027 4.04 2.28 289845248 apollon100 1 .272 .035 .268 .091 .003 .00  .00  .00  .001 .015 1
minepump_spec3_product06_false-unreach-call_false-termination.cil.c 4.49 2.52 290635776 apollon070 1 .221 .006 4.77 2.55 296488960 apollon147 1 .273 .016 .784 3.97 2.20 295280640 apollon094 .186 .100 .297 .085 .071 .064 .035 .001 .036 .024 4.79 2.75 287039488 apollon073 1 .292 .064 .368 .151 .014 .008 .00  .00  .004 .020 1
minepump_spec3_product07_false-unreach-call_false-termination.cil.c 4.41 2.43 285478912 apollon091 1 .226 .005 5.26 2.80 299036672 apollon108 1 .301 .019 .850 4.28 2.38 298803200 apollon138 .204 .133 .345 .089 .089 .081 .036 .001 .037 .024 4.07 2.28 296210432 apollon157 1 .255 .033 .274 .144 .006 .001 .00  .00  .003 .021 1
minepump_spec3_product08_false-unreach-call_false-termination.cil.c 3.65 2.05 286474240 apollon084 1 .201 .005 4.92 2.62 295854080 apollon107 1 .258 .019 .790 3.74 2.11 300695552 apollon144 .181 .097 .279 .076 .068 .067 .035 .00  .035 .023 3.83 2.19 289873920 apollon167 1 .121 .121 .309 .097 .007 .00  .00  .00  .002 .011 1
minepump_spec3_product09_false-unreach-call_false-termination.cil.c 3.64 2.02 284229632 apollon003 1 .188 .005 4.67 2.49 299753472 apollon006 1 .237 .016 .731 3.67 2.05 295518208 apollon092 .170 .080 .241 .068 .057 .049 .018 .00  .018 .024 4.71 2.65 288284672 apollon167 1 .134 .025 .345 .081 .003 .001 .00  .00  .004 .012 1
minepump_spec3_product10_false-unreach-call_false-termination.cil.c 3.87 2.18 286629888 apollon057 1 .211 .004 4.70 2.50 292110336 apollon011 1 .232 .018 .764 3.69 2.09 294510592 apollon033 .168 .088 .247 .074 .061 .053 .019 .00  .019 .028 4.02 2.26 283107328 apollon162 1 .251 .029 .215 .091 .004 .00  .00  .00  .002 .012 1
minepump_spec3_product11_false-unreach-call_false-termination.cil.c 3.67 2.06 286621696 apollon056 1 .190 .005 4.88 2.61 296177664 apollon128 1 .227 .006 .794 4.41 2.46 297336832 apollon040 .209 .089 .264 .073 .060 .054 .023 .001 .024 .021 4.11 2.30 289501184 apollon163 1 .242 .030 .205 .066 .005 .001 .00  .00  .004 .017 1
minepump_spec3_product12_false-unreach-call_false-termination.cil.c 3.46 1.94 289918976 apollon032 1 .179 .005 4.66 2.48 299171840 apollon116 1 .185 .017 .695 4.64 2.61 288198656 apollon133 .219 .095 .279 .081 .061 .057 .026 .00  .026 .023 3.94 2.22 286674944 apollon084 1 .218 .031 .203 .070 .005 .001 .00  .00  .003 .016 1
minepump_spec3_product13_false-unreach-call_false-termination.cil.c 4.34 2.40 285495296 apollon144 1 .225 .006 4.62 2.44 299569152 apollon086 1 .197 .009 .679 3.73 2.12 292515840 apollon009 .118 .090 .340 .137 .065 .063 .033 .00  .033 .022 3.93 2.24 288342016 apollon130 1 .241 .035 .233 .082 .005 .001 .00  .00  .002 .024 1
minepump_spec3_product14_false-unreach-call_false-termination.cil.c 3.85 2.14 281870336 apollon110 1 .216 .006 4.70 2.51 297607168 apollon044 1 .243 .009 .755 3.73 2.08 292970496 apollon094 .185 .097 .288 .085 .076 .067 .035 .00  .035 .024 4.99 2.80 289415168 apollon147 1 .289 .035 .280 .117 .005 .001 .00  .00  .004 .015 1
minepump_spec3_product15_false-unreach-call_false-termination.cil.c 4.31 2.38 284053504 apollon126 1 .243 .008 4.96 2.63 302641152 apollon015 1 .274 .024 .824 3.78 2.12 295731200 apollon156 .179 .106 .273 .067 .078 .071 .035 .001 .036 .022 3.80 2.19 285577216 apollon117 1 .119 .033 .345 .078 .006 .001 .00  .00  .002 .017 1
minepump_spec3_product16_false-unreach-call_false-termination.cil.c 3.67 2.03 282636288 apollon033 1 .186 .006 4.80 2.56 291962880 apollon127 1 .234 .009 .764 4.40 2.49 295157760 apollon043 .145 .121 .407 .078 .081 .079 .043 .001 .044 .026 3.87 2.24 294506496 apollon112 1 .244 .026 .204 .071 .007 .001 .00  .00  .004 .011 1
minepump_spec3_product17_false-unreach-call_false-termination.cil.c 3.66 2.01 287010816 apollon150 1 .192 .005 5.01 2.66 297033728 apollon006 1 .224 .017 .758 3.75 2.09 295948288 apollon117 .185 .112 .292 .071 .075 .069 .035 .00  .035 .027 4.04 2.27 287326208 apollon068 1 .130 .035 .353 .102 .002 .001 .00  .00  .004 .021 1
minepump_spec3_product18_false-unreach-call_false-termination.cil.c 4.30 2.40 285630464 apollon107 1 .244 .006 4.62 2.49 297353216 apollon106 1 .252 .006 .675 3.98 2.21 297865216 apollon161 .123 .106 .380 .155 .078 .076 .038 .00  .038 .029 4.00 2.26 287637504 apollon125 1 .242 .029 .239 .098 .006 .001 .00  .00  .002 .014 1
minepump_spec3_product19_false-unreach-call_false-termination.cil.c 3.87 2.18 285728768 apollon082 1 .208 .008 4.95 2.63 294752256 apollon082 1 .232 .006 .753 3.81 2.15 300810240 apollon028 .191 .107 .311 .086 .076 .068 .038 .001 .039 .020 5.11 2.90 292765696 apollon152 1 .317 .055 .304 .118 .009 .00  .00  .00  .003 .028 1
minepump_spec3_product20_false-unreach-call_false-termination.cil.c 3.78 2.07 280907776 apollon049 1 .188 .007 4.75 2.51 294596608 apollon114 1 .216 .007 .719 3.92 2.20 299831296 apollon140 .198 .118 .323 .091 .075 .067 .035 .001 .036 .019 3.95 2.24 291246080 apollon130 1 .134 .034 .358 .218 .010 .00  .00  .00  .002 .015 1
minepump_spec3_product21_false-unreach-call_false-termination.cil.c 3.91 2.20 286502912 apollon122 1 .231 .005 4.79 2.55 298450944 apollon119 1 .234 .018 .704 3.98 2.23 297369600 apollon021 .142 .129 .436 .094 .085 .080 .043 .002 .045 .026 4.28 2.42 291082240 apollon099 1 .144 .158 .393 .102 .005 .001 .00  .00  .003 .015 1
minepump_spec3_product22_false-unreach-call_false-termination.cil.c 3.76 2.09 285294592 apollon157 1 .212 .005 4.68 2.49 296308736 apollon076 1 .216 .022 .712 3.94 2.20 295342080 apollon058 .137 .142 .445 .113 .102 .087 .048 .001 .049 .031 4.25 2.40 298430464 apollon113 1 .138 .035 .401 .232 .006 .001 .00  .00  .005 .015 1
minepump_spec3_product23_false-unreach-call_false-termination.cil.c 3.68 2.05 283762688 apollon167 1 .187 .006 4.74 2.52 293326848 apollon018 1 .247 .017 .762 5.13 2.86 298938368 apollon086 .182 .188 .592 .208 .125 .114 .068 .00  .068 .037 5.20 2.97 288215040 apollon096 1 .181 .058 .532 .272 .003 .00  .00  .00  .003 .020 1
minepump_spec3_product24_false-unreach-call_false-termination.cil.c 3.75 2.07 288960512 apollon083 1 .190 .006 5.08 2.70 297926656 apollon137 1 .219 .021 .872 4.52 2.50 297660416 apollon114 .140 .200 .464 .119 .101 .091 .052 .001 .053 .034 4.57 2.59 289292288 apollon084 1 .156 .048 .436 .241 .007 .001 .00  .00  .002 .017 1
minepump_spec3_product25_false-unreach-call_false-termination.cil.c 4.73 2.60 285691904 apollon163 1 .244 .006 4.71 2.51 295964672 apollon097 1 .226 .025 .719 3.80 2.13 295354368 apollon161 .189 .111 .281 .077 .072 .069 .033 .00  .033 .028 4.68 2.64 293388288 apollon154 1 .282 .044 .283 .112 .007 .00  .00  .00  .003 .013 1
minepump_spec3_product26_false-unreach-call_false-termination.cil.c 4.33 2.39 282914816 apollon030 1 .250 .008 4.89 2.58 294096896 apollon143 1 .222 .006 .809 3.78 2.13 295145472 apollon167 .197 .101 .290 .068 .075 .067 .038 .001 .039 .025 5.09 2.89 290975744 apollon102 1 .167 .042 .407 .114 .005 .00  .00  .00  .002 .017 1
minepump_spec3_product27_false-unreach-call_false-termination.cil.c 3.64 2.02 280969216 apollon145 1 .186 .005 4.60 2.43 297263104 apollon051 1 .237 .006 .662 4.05 2.25 297664512 apollon127 .190 .113 .331 .091 .076 .068 .041 .001 .042 .025 4.09 2.30 290426880 apollon066 1 .254 .031 .242 .100 .006 .001 .00  .00  .002 .017 1
minepump_spec3_product28_false-unreach-call_false-termination.cil.c 3.85 2.16 288014336 apollon027 1 .209 .006 4.92 2.59 299196416 apollon142 1 .239 .006 .773 4.05 2.27 297324544 apollon099 .211 .101 .297 .084 .071 .069 .037 .00  .037 .022 4.05 2.28 288681984 apollon081 1 .241 .033 .307 .147 .008 .002 .00  .00  .002 .016 1
minepump_spec3_product29_false-unreach-call_false-termination.cil.c 4.14 2.30 287866880 apollon144 1 .229 .005 4.95 2.60 301264896 apollon045 1 .232 .006 .730 5.12 2.86 293711872 apollon141 .175 .165 .558 .212 .127 .116 .065 .00  .065 .044 5.26 2.98 293339136 apollon145 1 .172 .049 .501 .277 .008 .002 .00  .00  .002 .019 1
minepump_spec3_product30_false-unreach-call_false-termination.cil.c 3.82 2.12 283443200 apollon056 1 .192 .007 5.40 2.85 298733568 apollon027 1 .227 .022 .903 4.66 2.59 296419328 apollon117 .170 .160 .503 .193 .113 .099 .051 .001 .052 .034 4.49 2.56 289595392 apollon071 1 .149 .045 .459 .236 .006 .00  .00  .00  .002 .022 1
minepump_spec3_product31_false-unreach-call_false-termination.cil.c 3.91 2.17 292892672 apollon128 1 .187 .006 4.68 2.49 300077056 apollon136 1 .224 .006 .738 3.96 2.21 293158912 apollon011 .136 .136 .437 .163 .093 .088 .052 .00  .052 .032 4.20 2.36 292462592 apollon131 1 .255 .055 .312 .124 .011 .002 .00  .00  .002 .014 1
minepump_spec3_product32_false-unreach-call_false-termination.cil.c 3.61 2.01 283631616 apollon115 1 .199 .006 4.68 2.49 296595456 apollon116 1 .225 .007 .654 4.19 2.33 298090496 apollon097 .139 .142 .467 .169 .097 .093 .051 .001 .052 .033 4.09 2.32 289488896 apollon057 1 .229 .039 .353 .173 .007 .00  .00  .00  .002 .013 1
minepump_spec3_product35_false-unreach-call_false-termination.cil.c 3.72 2.07 285564928 apollon104 1 .207 .011 4.80 2.55 300109824 apollon054 1 .248 .023 .761 4.87 2.72 299765760 apollon153 .154 .187 .523 .187 .130 .124 .071 .008 .079 .047 4.24 2.40 290078720 apollon111 1 .122 .027 .375 .084 .003 .00  .00  .00  .004 .016 1
minepump_spec3_product36_false-unreach-call_false-termination.cil.c 3.70 2.08 282746880 apollon009 1 .201 .010