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.ECA k-induction-bitprecise.k-Induction-inv-combined.ECA predicateAnalysis-bitprecise.PredicateAbstraction.ECA impact-bitprecise.Impact.ECA
Options -heap 10000M -noout -disable-java-assertions -bmc -setprop cpa.bounds.maxLoopIterationsUpperBound=0 -setprop cpa.bounds.maxLoopIterations=1 -setprop cpa.bounds.maxLoopIterationAdjusterFactory=INCREMENT -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -setprop solver.solver=MATHSAT5 -setprop cpa.predicate.encodeBitvectorAs=BITVECTOR -setprop cpa.predicate.encodeFloatAs=FLOAT -setprop analysis.checkCounterexamples=true -setprop counterexample.checker=CBMC -setprop analysis.summaryEdges=true -setprop cpa.callstack.skipVoidRecursion=true -setprop cpa.callstack.skipFunctionPointerRecursion=true -heap 10000M -noout -disable-java-assertions -setprop solver.solver=MATHSAT5 -setprop cpa.predicate.encodeBitvectorAs=BITVECTOR -setprop cpa.predicate.encodeFloatAs=FLOAT -setprop analysis.checkCounterexamples=false -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -setprop analysis.summaryEdges=true -setprop cpa.callstack.skipVoidRecursion=true -setprop cpa.callstack.skipFunctionPointerRecursion=true -jar17-k-induction -heap 10000M -noout -disable-java-assertions -predicateAnalysis-PredAbsRefiner-ABEl-bitprecise -setprop solver.solver=MATHSAT5 -setprop cpa.predicate.encodeBitvectorAs=BITVECTOR -setprop cpa.predicate.encodeFloatAs=FLOAT -setprop analysis.checkCounterexamples=true -setprop counterexample.checker=CBMC -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -setprop analysis.summaryEdges=true -setprop cpa.callstack.skipVoidRecursion=true -setprop cpa.callstack.skipFunctionPointerRecursion=true -heap 10000M -noout -disable-java-assertions -predicateAnalysis-ImpactRefiner-ABEl-bitprecise -setprop cpa.predicate.encodeFloatAs=FLOAT -setprop analysis.checkCounterexamples=true -setprop counterexample.checker=CBMC -setprop cpa.forcedCovering=cpa.predicate.PredicateForcedCovering -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -setprop cfa.simplifyCfa=true -setprop cfa.allowBranchSwapping=true -setprop analysis.summaryEdges=true
test/programs/benchmarks/ status cputime (s) walltime (s) memUsage host k BMC formula creation (s) Bounds check (s) SMT check (s) status cputime (s) walltime (s) memUsage host Invariant generation (s) k BMC formula creation (s) Bounds check (s) SMT check (s) Induction formula creation (s) Induction check (s) status cputime (s) walltime (s) memUsage host Refinement (s) Precision adjustment (s) CPA algorithm (s) Post operator (s) Prec operator (s) Boolean abstraction (s) Abstraction (s) Solving (s) Model enumeration (s) SMT without itp (s) status cputime (s) walltime (s) memUsage host Attempted forced coverings Successful forced coverings Refinement (s) Precision adjustment (s) CPA algorithm (s) Post operator (s) Prec operator (s) Boolean abstraction (s) Abstraction (s) Solving (s) Model enumeration (s) SMT without itp (s) Forced covering (s)
eca-rers2012/Problem01_label15_false-unreach-call.c 1000    991    7219990528 apollon094 960    924    7493881856 apollon138 1000    984    7210389504 apollon118 1000    985    8576688128 apollon125
eca-rers2012/Problem01_label20_false-unreach-call.c 1000    986    7204503552 apollon155 960    908    7265595392 apollon048 1000    983    7785553920 apollon077 1000    978    8526131200 apollon155
eca-rers2012/Problem01_label21_false-unreach-call.c 1000    991    7139921920 apollon118 960    914    6568411136 apollon077 1000    988    8044105728 apollon061 1000    978    7889465344 apollon138
eca-rers2012/Problem01_label32_false-unreach-call.c 1000    988    7992279040 apollon048 960    909    7512375296 apollon013 1000    984    7819489280 apollon073 1000    975    8659365888 apollon083
eca-rers2012/Problem01_label33_false-unreach-call.c 1000    989    7136489472 apollon136 960    910    7097241600 apollon036 1000    983    8367980544 apollon008 1000    977    8729157632 apollon074
eca-rers2012/Problem01_label35_false-unreach-call.c 1000    990    7221612544 apollon167 960    913    7076376576 apollon021 1000    988    7618560000 apollon158 1000    982    8192352256 apollon079
eca-rers2012/Problem01_label37_false-unreach-call.c 1000    989    7280435200 apollon034 960    912    7022637056 apollon163 1000    986    7728476160 apollon042 1000    981    9111543808 apollon086
eca-rers2012/Problem01_label38_false-unreach-call.c 1000    991    7533764608 apollon012 960    911    7182462976 apollon035 1000    988    8142426112 apollon086 1000    984    8690425856 apollon109
eca-rers2012/Problem01_label44_false-unreach-call.c 1000    992    7695937536 apollon003 960    927    7267954688 apollon012 1000    990    7812284416 apollon088 1000    983    7454457856 apollon095
eca-rers2012/Problem01_label47_false-unreach-call.c 1000    988    8150880256 apollon140 960    909    7008944128 apollon091 1000    978    8568446976 apollon138 1000    976    8537698304 apollon062
eca-rers2012/Problem01_label50_false-unreach-call.c 1000    990    7758794752 apollon008 960    907    6788186112 apollon152 1000    982    7668609024 apollon073 1000    985    8114216960 apollon152
eca-rers2012/Problem01_label56_false-unreach-call.c 1000    989    7455887360 apollon107 960    913    7133818880 apollon083 1000    983    8399908864 apollon168 1000    982    8991346688 apollon098
eca-rers2012/Problem01_label57_false-unreach-call.c 1000    989    7163068416 apollon032 960    910    6381621248 apollon119 1000    982    7513849856 apollon126 1000    981    8207073280 apollon144
eca-rers2012/Problem02_label13_false-unreach-call.c 1000    995    2377043968 apollon086 960    938    2985836544 apollon103 1000    993    8022032384 apollon032 1000    989    7637467136 apollon058
eca-rers2012/Problem02_label16_false-unreach-call.c 1000    996    2025705472 apollon049 960    935    2810937344 apollon052 1000    990    7571521536 apollon027 1000    990    7951642624 apollon143
eca-rers2012/Problem02_label43_false-unreach-call.c 1000    995    2132750336 apollon066 960    937    2854895616 apollon002 1000    993    8198246400 apollon140 1000    989    7691583488 apollon144
eca-rers2012/Problem02_label44_false-unreach-call.c 1000    995    2259177472 apollon052 960    941    2722570240 apollon124 1000    992    7739990016 apollon110 1000    991    7838097408 apollon160
eca-rers2012/Problem02_label45_false-unreach-call.c 1000    993    5472677888 apollon122 960    932    5409599488 apollon133 1000    990    7900663808 apollon101 1000    985    7827718144 apollon087
eca-rers2012/Problem02_label50_false-unreach-call.c 1000    993    5640540160 apollon026 960    935    6253064192 apollon095 1000    990    8387112960 apollon164 1000    988    8399839232 apollon140
eca-rers2012/Problem02_label59_false-unreach-call.c 1000    994    5326233600 apollon092 960    936    6372024320 apollon085 1000    991    8050642944 apollon168 1000    987    7776780288 apollon158
eca-rers2012/Problem03_label09_false-unreach-call.c 1000    904    12068368384 apollon003 962    483    11698561024 apollon161 917    597    10983948288 apollon065 917    580    11050012672 apollon098
eca-rers2012/Problem03_label13_false-unreach-call.c 1000    918    11676049408 apollon113 960    533    11666149376 apollon081 915    635    11145498624 apollon013 917    582    11048603648 apollon099
eca-rers2012/Problem03_label26_false-unreach-call.c 1000    945    10876686336 apollon089 961    655    11428741120 apollon015 1000    807    11941478400 apollon118 917    583    11076534272 apollon103
eca-rers2012/Problem03_label27_false-unreach-call.c 1000    920    11770888192 apollon029 962    482    11616436224 apollon075 1000    732    12262715392 apollon154 917    583    11056463872 apollon159
eca-rers2012/Problem03_label28_false-unreach-call.c 1000    907    11752009728 apollon025 962    482    11522314240 apollon147 917    599    11175636992 apollon056 917    584    11069624320 apollon089
eca-rers2012/Problem03_label31_false-unreach-call.c 1000    900    11654336512 apollon115 962    482    11618861056 apollon157 1000    750    12179587072 apollon115 917    581    11072864256 apollon058
eca-rers2012/Problem03_label35_false-unreach-call.c 1000    872    11635298304 apollon091 962    482    11731173376 apollon096 916    601    11091599360 apollon130 917    583    11099643904 apollon059
eca-rers2012/Problem03_label37_false-unreach-call.c 1000    923    12026941440 apollon127 961    612    11824795648 apollon072 915    636    11167182848 apollon032 917    585    11046215680 apollon063
eca-rers2012/Problem03_label39_false-unreach-call.c 1000    875    11824791552 apollon142 962    482    11750072320 apollon030 917    597    11044249600 apollon161 917    583    11059830784 apollon115
eca-rers2012/Problem03_label43_false-unreach-call.c 1000    926    11937566720 apollon071 962    482    11647823872 apollon162 915    640    11210584064 apollon080 917    582    11047022592 apollon163
eca-rers2012/Problem03_label45_false-unreach-call.c 1000    915    12198088704 apollon009 962    483    11622117376 apollon018 915    638    11203350528 apollon100 917    582    11036827648 apollon070
eca-rers2012/Problem03_label50_false-unreach-call.c 1000    933    11687542784 apollon061 962    482    11722371072 apollon054 1000    740    12210569216 apollon121 917    583    11144818688 apollon093
eca-rers2012/Problem03_label52_false-unreach-call.c 1000    908    11967295488 apollon022 962    483    11849252864 apollon163 915    639    11166199808 apollon133 918    581    11068432384 apollon064
eca-rers2012/Problem04_label04_false-unreach-call.c 917    708    11373383680 apollon075 901    451    6225461248 apollon115 443     919    592    11837161472 apollon059 903    882    3477475328 apollon102 130 0 140     4.99  737     18.0   3.86  2.27  3.64  1.79  .477 42.4   705    
eca-rers2012/Problem04_label06_false-unreach-call.c 916    743    11465740288 apollon140 901    451    5869936640 apollon122 443     917    589    11842285568 apollon162 903    880    3670126592 apollon093 136 0 132     4.71  743     21.5   3.63  2.19  3.38  1.99  .193 38.8   708    
eca-rers2012/Problem04_label09_false-unreach-call.c 917    708    11475824640 apollon102 901    451    5984673792 apollon117 918    582    11675717632 apollon047 915    854    6519873536 apollon092
eca-rers2012/Problem04_label11_false-unreach-call.c 916    768    11343917056 apollon094 901    451    6256848896 apollon105 443     918    594    11816501248 apollon150 903    882    3843833856 apollon128 153 0 163     4.20  713     18.6   3.23  1.88  3.00  1.71  .166 38.4   682    
eca-rers2012/Problem04_label12_false-unreach-call.c 912    897    2591612928 apollon090 906    454    6045229056 apollon112 446     919    595    12282073088 apollon077 903    881    3531554816 apollon134 142 0 136     4.67  739     19.5   3.45  1.91  3.25  1.71  .189 24.8   707    
eca-rers2012/Problem04_label13_false-unreach-call.c 915    702    11460681728 apollon164 901    451    6094258176 apollon132 443     915    611    11666423808 apollon137 925    854    7347679232 apollon103
eca-rers2012/Problem04_label14_false-unreach-call.c 917    691    11385114624 apollon138 901    451    5965012992 apollon052 444     919    585    11735404544 apollon002 936    875    6971977728 apollon113
eca-rers2012/Problem04_label15_false-unreach-call.c 916    712    11519852544 apollon064 901    451    6070980608 apollon104 444     919    584    11734634496 apollon125 956    889    7524954112 apollon148
eca-rers2012/Problem04_label17_false-unreach-call.c 916    698    11466235904 apollon134 901    451    6082174976 apollon094 444     918    586    11675734016 apollon055 924    873    6446329856 apollon060
eca-rers2012/Problem04_label18_false-unreach-call.c 916    744    11357794304 apollon085 901    451    6119862272 apollon082 443     917    622    11908866048 apollon051 903    882    4560703488 apollon154 122 0 162     4.62  716     18.1   3.47  1.80  3.02  1.54  .255 71.8   683    
eca-rers2012/Problem04_label19_false-unreach-call.c 919    814    8058585088 apollon004 901    451    6236508160 apollon069 443     916    624    12310994944 apollon147 903    883    4075192320 apollon079 122 0 124     4.23  754     17.7   3.14  2.07  2.98  1.63  .436 36.1   725    
eca-rers2012/Problem04_label26_false-unreach-call.c 917    753    11329662976 apollon034 902    452    5853876224 apollon161 443     916    605    11878449152 apollon004 903    881    4024512512 apollon121 140 0 147     4.00  728     19.9   3.04  1.87  2.83  1.69  .177 51.3   695    
eca-rers2012/Problem04_label27_false-unreach-call.c 917    689    11366043648 apollon155 903    453    6199193600 apollon110 918    581    11700903936 apollon057 789    771    14999998464 apollon087
eca-rers2012/Problem04_label31_false-unreach-call.c 919    889    3387314176 apollon093 901    451    5981712384 apollon125 917    600    11841175552 apollon045 903    884    3557584896 apollon081 141 0 155     4.40  724     18.1   3.25  1.93  3.02  1.73  .186 48.7   694    
eca-rers2012/Problem04_label32_false-unreach-call.c 918    690    11369545728 apollon151 901    451    6073647104 apollon011 916    615    11802750976 apollon157 918    805    9616494592 apollon079
eca-rers2012/Problem04_label35_false-unreach-call.c 916    699    11485495296 apollon142 901    451    5835194368 apollon154 443     918    603    11935236096 apollon056 926    864    7885635584 apollon085
eca-rers2012/Problem04_label36_false-unreach-call.c 917    765    11297251328 apollon050 901    451    5688184832 apollon146 443     918    585    11691827200 apollon059 903    884    3996635136 apollon135 126 0 122     4.17  757     16.8   3.11  1.76  2.89  1.51  .244 40.9   728    
eca-rers2012/Problem04_label38_false-unreach-call.c 920    814    9136013312 apollon109 901    451    6238597120 apollon129 444     918    609    11766472704 apollon065 903    882    3322392576 apollon139 140 0 149     4.21  727     18.7   3.24  1.99  3.05  1.69  .295 42.0   695    
eca-rers2012/Problem04_label39_false-unreach-call.c 919    786    11332280320 apollon134 901    451    6106894336 apollon119 444     916    613    11786051584 apollon157 903    884    3830153216 apollon121 144 0 134     4.39  745     17.9   3.21  1.89  2.96  1.62  .267 39.9   716    
eca-rers2012/Problem04_label40_false-unreach-call.c 916    746    11408408576 apollon091 901    451    5813608448 apollon017 443     917    586    11943329792 apollon046 903    884    3296874496 apollon072 126 0 146     4.19  733     17.2   2.99  1.78  2.80  1.54  .239 31.7   705    
eca-rers2012/Problem04_label45_false-unreach-call.c 919    750    11271852032 apollon166 901    451    6031388672 apollon023 444     917    603    11971481600 apollon067 903    880    3559108608 apollon104 139 0 168     4.72  706     22.6   3.72  2.17  3.48  1.97  .193 55.2   669    
eca-rers2012/Problem04_label52_false-unreach-call.c 918    794    11146211328 apollon056 901    451    5974671360 apollon051 443     916    605    12001427456 apollon080 904    884    3444822016 apollon099 138 0 143     4.54  735     19.5   3.44  2.04  3.19  1.82  .204 32.1   703    
eca-rers2012/Problem04_label55_false-unreach-call.c 916    724    11505127424 apollon008 901    451    5971410944 apollon006 444     916    604    11954888704 apollon008 909    890    2819878912 apollon106 136 0 123     4.18  762     19.2   3.09  1.89  2.91  1.64  .249 17.9   732    
eca-rers2012/Problem04_label58_false-unreach-call.c 919    755    11407441920 apollon003 903    454    6069952512 apollon048 444     917    606    11857760256 apollon076 903    883    4211789824 apollon077 138 0 146     4.53  732     17.9   3.09  1.87  2.88  1.58  .289 47.3   701    
eca-rers2012/Problem05_label00_false-unreach-call.c 915    664    11445047296 apollon028 961    485    9173086208 apollon142 916    626    11915030528 apollon057 258    241    14999998464 apollon158
eca-rers2012/Problem05_label01_false-unreach-call.c 915    661    11437821952 apollon114 961    487    8514367488 apollon102 450     916    624    11913797632 apollon117 267    250    10742558720 apollon139
eca-rers2012/Problem05_label11_false-unreach-call.c 915    666    11533967360 apollon072 961    485    10084229120 apollon063 916    620    11875610624 apollon133 918    622    12035649536 apollon066
eca-rers2012/Problem05_label13_false-unreach-call.c 916    657    11521916928 apollon101 960    487    11459973120 apollon117 444     916    627    11773382656 apollon147 918    618    11789611008 apollon067
eca-rers2012/Problem05_label15_false-unreach-call.c 917    618    11319218176 apollon083 961    490    6647648256 apollon160 442     916    623    11898875904 apollon148 339    315    14999998464 apollon122
eca-rers2012/Problem05_label18_false-unreach-call.c 915    654    11541143552 apollon149 961    485    9124548608 apollon057 445     917    597    11695087616 apollon135 271    253    10417819648 apollon154
eca-rers2012/Problem05_label24_false-unreach-call.c 915    659    11541704704 apollon160 961    489    8460468224 apollon027 443     916    618    11874762752 apollon016 920    623    11695960064 apollon109
eca-rers2012/Problem05_label26_false-unreach-call.c 917    655    11545870336 apollon092 920    470    6175744000 apollon157 443     917    630    11743952896 apollon079 917    615    11628257280 apollon072
eca-rers2012/Problem05_label30_false-unreach-call.c 915    661    11486097408 apollon025 962    487    11083567104 apollon088 443     916    619    11914985472 apollon164 263    242    14999998464 apollon068
eca-rers2012/Problem05_label32_false-unreach-call.c 916    662    11538350080 apollon019 961    485    11031691264 apollon151 444     917    597    11754844160 apollon127 918    626    11854966784 apollon097
eca-rers2012/Problem05_label33_false-unreach-call.c 915    656    11485270016 apollon104 961    485    10997776384 apollon122 444     918    605    11732647936 apollon074 919    620    11869372416 apollon077
eca-rers2012/Problem05_label36_false-unreach-call.c 915    657    11553755136 apollon100 961    485    10770710528 apollon120 918    598    11675996160 apollon123 917    623    11797458944 apollon113
eca-rers2012/Problem05_label37_false-unreach-call.c 915    656    11504566272 apollon095 960    493    7118962688 apollon111 916    623    11845513216 apollon036 917    612    11846463488 apollon092
eca-rers2012/Problem05_label38_false-unreach-call.c 916    656    11581775872 apollon056 961    488    10866573312 apollon055 916    649    11843518464 apollon065 917    624    11779690496 apollon096
eca-rers2012/Problem05_label39_false-unreach-call.c 918    604    11363864576 apollon141 909    458    6148780032 apollon147 918    598    11655520256 apollon073 918    617    11769667584 apollon081
eca-rers2012/Problem05_label40_false-unreach-call.c 916    659    11526082560 apollon111 961    487    8365850624 apollon087 447     915    625    11921629184 apollon142 264    242    10687127552 apollon156
eca-rers2012/Problem05_label41_false-unreach-call.c 919    619    11376885760 apollon108 961    485    9648381952 apollon145 445     916    637    11860230144 apollon103 919    668    11658792960 apollon146
eca-rers2012/Problem05_label44_false-unreach-call.c 915    655    11507015680 apollon040 902    452    6079827968 apollon001 443     917    610    11609944064 apollon052 918    623    11730067456 apollon134
eca-rers2012/Problem05_label47_false-unreach-call.c 916    662    11448221696 apollon037 960    487    10566283264 apollon066 916    624    11927994368 apollon144 917    618    12019044352 apollon057
eca-rers2012/Problem05_label48_false-unreach-call.c 918    615    11287101440 apollon036 961    490    6760116224 apollon146 452     916    631    11687583744 apollon166 918    660    11634712576 apollon113
eca-rers2012/Problem05_label51_false-unreach-call.c 917    604    11362598912 apollon039 961    489    8449409024 apollon156 443     917    625    11762933760 apollon156 919    603    11729600512 apollon082
eca-rers2012/Problem05_label55_false-unreach-call.c 915    661    11492032512 apollon068 901    451    5752340480 apollon030 442     916    626    11872776192 apollon108 917    613    11677642752 apollon157
eca-rers2012/Problem05_label57_false-unreach-call.c 915    659    11459743744 apollon051 946    495    6134317056 apollon018 443     917    593    11697025024 apollon015 917    607    11738509312 apollon113
eca-rers2012/Problem05_label58_false-unreach-call.c 915    652    11562000384 apollon047 937    486    5929869312 apollon157 442     918    597    11701653504 apollon129 262    244    10615943168 apollon137
eca-rers2012/Problem06_label00_false-unreach-call.c 915    644    11290312704 apollon124 962    489    11418746880 apollon068 443     917    586    11553427456 apollon116 666    650    10238406656 apollon111
eca-rers2012/Problem06_label01_false-unreach-call.c 917    607    11208069120 apollon114 961    486    11178532864 apollon057 441     918    588    11428220928 apollon077 238    217    14999998464 apollon110
eca-rers2012/Problem06_label02_false-unreach-call.c 917    605    11189714944 apollon080 961    489    11321880576 apollon042 443     917    597    11807068160 apollon005 912    894    1590652928 apollon129
eca-rers2012/Problem06_label04_false-unreach-call.c 916    656    11410911232 apollon049 961    486    11252695040 apollon132 443     917    590    11779444736 apollon037 165    147    14999998464 apollon105
eca-rers2012/Problem06_label05_false-unreach-call.c 916    647    11320840192 apollon017 961    489    11291111424 apollon155 917    590    11198521344 apollon053 235    216    14999998464 apollon163
eca-rers2012/Problem06_label09_false-unreach-call.c 916    650    11283189760 apollon069 961    486    11314507776 apollon008 443     917    587    11560640512 apollon075 158    140    14999998464 apollon080
eca-rers2012/Problem06_label10_false-unreach-call.c 916    646    11315392512 apollon138 961    486    11368742912 apollon160 442     917    586    11408367616 apollon041 164    144    14999998464 apollon068
eca-rers2012/Problem06_label11_false-unreach-call.c 917    601    11184050176 apollon104 962    489    11453104128 apollon110 447     917    583    11575463936 apollon014 912    894    1974251520 apollon060
eca-rers2012/Problem06_label12_false-unreach-call.c 915    645    11215052800 apollon165 962    489    11386945536 apollon036 440     917    582    11512963072 apollon087 912    895    2405588992 apollon081
eca-rers2012/Problem06_label15_false-unreach-call.c 917    600    11145453568 apollon122 960    488    11492417536 apollon134 442     916    590    11630047232 apollon149 193    177    10094092288 apollon077
eca-rers2012/Problem06_label20_false-unreach-call.c 916    649    11322994688 apollon110 962    489    11275935744 apollon024 441     918    592    12165222400 apollon132 912    896    1261613056 apollon132
eca-rers2012/Problem06_label21_false-unreach-call.c 915    646    11183312896 apollon106 961    489    11300487168 apollon012 443     918    591    11793936384 apollon031 211    195    14999998464 apollon164
eca-rers2012/Problem06_label24_false-unreach-call.c 916    654    11373273088 apollon146 962    489    11398791168 apollon020 445     916    592    12310343680 apollon105 167    150    14999998464 apollon057
eca-rers2012/Problem06_label27_false-unreach-call.c 918    602    11157377024 apollon046 961    489    11389849600 apollon074 442     918    587    11537444864 apollon034 918    684    11692019712 apollon165
eca-rers2012/Problem06_label29_false-unreach-call.c 915    653    11171049472 apollon031 962    489    11419906048 apollon034 441     915    588    11914661888 apollon167 151    135    14999998464 apollon088
eca-rers2012/Problem06_label33_false-unreach-call.c 916    644    11290685440 apollon166 961    490    11378991104 apollon090 444     918    590    11706957824 apollon003 251    231    14999998464 apollon060
eca-rers2012/Problem06_label36_false-unreach-call.c 919    601    11285209088 apollon091 962    489    11144179712 apollon138 917    591    11698302976 apollon148 270    250    14999998464 apollon066
eca-rers2012/Problem06_label37_false-unreach-call.c 917    609    11202691072 apollon109 962    490    11252609024 apollon013 918    591    11656732672 apollon052 158    143    10084065280 apollon105
eca-rers2012/Problem06_label38_false-unreach-call.c 917    599    11148427264 apollon092 961    489    11275644928 apollon088 442     917    586    11707912192 apollon041 919    578    11677954048 apollon084
eca-rers2012/Problem06_label44_false-unreach-call.c 915    647    11345735680 apollon148 961    489    11290365952 apollon101 440     917    591    11278708736 apollon003 218    197    14999998464 apollon103
eca-rers2012/Problem06_label47_false-unreach-call.c 916    601    11153346560 apollon084 961    490    11321663488 apollon050 445     919    582    11433369600 apollon088 918    633    11453198336 apollon146
eca-rers2012/Problem06_label48_false-unreach-call.c 916    647    11402940416 apollon157 961    489    11236855808 apollon011 440     917    587    11641724928 apollon034 298    279    14999998464 apollon077
eca-rers2012/Problem06_label56_false-unreach-call.c 916    652    11353702400 apollon112 962    489    11291033600 apollon161 444     917    590    11833671680 apollon163 192    174    14999998464 apollon092
eca-rers2012/Problem06_label58_false-unreach-call.c 916    639    11419934720 apollon052 961    490    11411959808 apollon062 445     917    589    11511689216 apollon071 918    607    11463282688 apollon073
eca-rers2012/Problem06_label59_false-unreach-call.c 917    657    11235364864 apollon147 962    489    11366785024 apollon096 442     918    589    11654758400 apollon046 262    244    14999998464 apollon146
eca-rers2012/Problem07_label03_false-unreach-call.c 912    868    6016507904 apollon060 901    452    7769645056 apollon133 430     906    830    7363354624 apollon167 39.7   676     775     72.0   666     658     665     27.6   630     658     913    817    12032716800 apollon150
eca-rers2012/Problem07_label05_false-unreach-call.c 912    866    7151828992 apollon070 960    511    6632128512 apollon091 425     906    830    7236124672 apollon100 43.9   675     770     70.0   666     656     665     6.84  649     656     907    801    10589859840 apollon120 25 0 175     34.9   610     98.2   27.3   15.3   26.3   12.0   3.37  15.9   449    
eca-rers2012/Problem07_label06_false-unreach-call.c 912    859    7345070080 apollon015 901    452    7661211648 apollon062 431     910    827    7234736128 apollon060 53.7   652     756     70.9   641     625     640     14.5   611     625     907    813    10461753344 apollon068 28 0 215     30.7   581     105     25.6   16.1   24.7   12.6   3.58  17.3   418    
eca-rers2012/Problem07_label07_false-unreach-call.c 912    871    6197227520 apollon100 901    452    7671832576 apollon053 428     907    848    5712814080 apollon135 18.8   705     814     80.3   698     684     697     8.70  676     684     946    828    10951913472 apollon130 28 0 232     38.9   560     110     27.0   16.7   25.9   12.9   3.79  17.1   381    
eca-rers2012/Problem07_label09_false-unreach-call.c 912    861    7148556288 apollon108 901    452    7635529728 apollon042 427     908    822    7041597440 apollon081 52.3   662     752     57.9   651     642     650     6.75  636     643     915    773    10627780608 apollon093 24 0 203     40.7   549     120     30.4   15.2   29.3   14.0   1.20  15.7   355    
eca-rers2012/Problem07_label11_false-unreach-call.c 906    875    4842598400 apollon055 5 59.4  789     2.97  902    453    7420891136 apollon138 427     906    821    6753423360 apollon033 45.6   648     758     75.7   632     617     630     8.31  610     618     919    793    10705707008 apollon140 24 0 329     40.0   443     114     31.6   14.6   30.4   13.4   1.17  15.3   259    
eca-rers2012/Problem07_label15_false-unreach-call.c 912    874    6359322624 apollon057 901    452    7784763392 apollon121 429     908    834    6997889024 apollon122 37.9   670     779     81.0   663     654     662     8.92  646     655     910    815    9872293888 apollon090 26 0 175     35.2   623     98.2   29.3   14.4   27.9   13.0   1.49  15.3   463    
eca-rers2012/Problem07_label18_false-unreach-call.c 962    887    7845650432 apollon092 8 147    228     473     901    451    7602536448 apollon157 909    858    6788055040 apollon110 31.7   714     812     67.2   704     691     703     20.5   671     691     912    826    13228376064 apollon111
eca-rers2012/Problem07_label19_false-unreach-call.c 906    871    5873971200 apollon009 6 83.3  747     15.9   901    452    7654473728 apollon085 907    829    7435366400 apollon086 39.2   661     774     82.9   654     645     653     8.67  637     646     912    800    13174939648 apollon085
eca-rers2012/Problem07_label20_false-unreach-call.c 922    869    6452449280 apollon099 7 111    660     56.2   902    453    7625568256 apollon111 430     916    845    7195836416 apollon147 37.9   699     792     62.3   692     685     691     6.92  678     685     916    821    10693218304 apollon106 28 0 226     33.9   574     107     26.6   14.3   25.7   12.8   1.44  14.7   402    
eca-rers2012/Problem07_label23_false-unreach-call.c 913    865    6344273920 apollon077 7 113    681     37.8   902    452    7683682304 apollon154 910    863    5676929024 apollon153 16.8   755     833     53.3   751     744     750     8.30  736     744     912    797    13157347328 apollon106
eca-rers2012/Problem07_label30_false-unreach-call.c 912    870    5666213888 apollon159 905    456    7664832512 apollon135 430     911    854    5681573888 apollon053 18.3   714     818     75.1   700     691     699     8.04  683     691     909    773    11572436992 apollon163 26 0 234     37.4   518     121     30.3   19.3   29.2   15.0   4.31  20.3   324    
eca-rers2012/Problem07_label31_false-unreach-call.c 912    865    7149555712 apollon094 902    453    7451430912 apollon152 425     906    856    5710938112 apollon089 15.7   753     827     54.3   744     737     743     5.74  732     738     906    786    10787856384 apollon096 27 0 224     31.2   544     99.2   25.1   15.7   24.0   12.2   3.49  18.1   381    
eca-rers2012/Problem07_label35_false-unreach-call.c 912    859    7174836224 apollon036 901    452    7670095872 apollon008 429     909    835    6869676032 apollon114 42.9   676     775     70.6   668     658     667     7.92  650     658     912    799    10512424960 apollon098
eca-rers2012/Problem07_label36_false-unreach-call.c 912    883    5458227200 apollon089 902    452    7793364992 apollon082 432     907    791    8000081920 apollon131 77.9   580     693     79.7   568     558     566     8.56  550     559     908    805    10172653568 apollon121 28 0 167     30.4   620     114     24.7   14.2   23.7   13.0   1.15  14.7   447    
eca-rers2012/Problem07_label37_false-unreach-call.c 912    881    5520605184 apollon151 910    460    7658422272 apollon043 907    809    8341057536 apollon042 70.4   616     722     75.1   607     598     606     6.71  592     598     908    786    10889428992 apollon079 27 0 235     30.3   534     104     24.9   13.0   23.9   11.9   1.05  14.7   374    
eca-rers2012/Problem07_label39_false-unreach-call.c 910    864    6191661056 apollon134 7 124    651     52.3   901    452    7806857216 apollon037 429     910    826    7153807360 apollon038 32.2   654     773     86.0   641     627     640     9.89  618     628     913    780    10786545664 apollon123 25 0 229     36.5   531     105     28.4   16.4   27.4   14.7   1.66  17.1   358    
eca-rers2012/Problem07_label40_false-unreach-call.c 969    892    7870316544 apollon103 8 145    506     202     901    452    7678541824 apollon052 431     907    823    7708020736 apollon167 57.7   644     751     72.8   635     623     633     21.9   601     623     935    807    12419600384 apollon141 28 0 281     33.4   496     112     28.2   14.2   27.3   12.8   1.39  14.9   323    
eca-rers2012/Problem07_label42_false-unreach-call.c 912    885    4946231296 apollon155 905    456    7567740928 apollon026 431     912    850    6175961088 apollon108 910    797    11256418304 apollon109 25 0 250     31.5   530     101     25.9   15.6   24.9   14.0   1.58  16.5   369    
eca-rers2012/Problem07_label44_false-unreach-call.c 912    861    7172833280 apollon073 957    508    6691999744 apollon123 431     912    859    5737234432 apollon047 914    814    10847707136 apollon085 28 0 212     35.2   582     110     28.8   13.9   27.7   12.5   1.35  16.2   405    
eca-rers2012/Problem07_label46_false-unreach-call.c 912    868    7180029952 apollon090 901    452    7767703552 apollon134 429     908    841    6390824960 apollon141 31.1   683     795     79.5   675     664     674     8.98  656     665     920    836    10549313536 apollon122 25 0 183     37.1   629     111     31.1   16.9   30.0   15.2   1.70  17.4   442    
eca-rers2012/Problem07_label47_false-unreach-call.c 912    849    7436615680 apollon041 901    452    7794823168 apollon075 429     908    845    6172868608 apollon147 26.3   701     803     72.2   695     686     694     8.27  678     686     908    801    10480902144 apollon159 26 0 206     32.6   578     103     22.8   14.3   21.9   12.8   1.44  15.0   414    
eca-rers2012/Problem07_label48_false-unreach-call.c 912    870    7168888832 apollon044 915    465    7583223808 apollon084 908    851    5614096384 apollon013 18.2   723     817     68.6   712     699     711     7.88  692     700     912    773    12824334336 apollon103
eca-rers2012/Problem07_label58_false-unreach-call.c 906    867    5714358272 apollon074 7 86.6  737     17.8   902    453    7690694656 apollon130 909    829    8384819200 apollon071 48.7   673     762     64.9   666     658     665     7.15  652     659     938    822    11890139136 apollon100 28 0 191     34.9   605     109     28.7   15.8   27.1   12.4   3.38  16.2   429    
eca-rers2012/Problem08_label01_false-unreach-call.c 912    866    6203895808 apollon111 901    453    7675109376 apollon050 912    721    11956289536 apollon088 908    592    13694640128 apollon068 6 0 323     33.6   245     133     26.2   13.2   24.9   11.9   1.22  13.2   43.3  
eca-rers2012/Problem08_label02_false-unreach-call.c 912    881    5063135232 apollon156 901    454    7756259328 apollon096 912    719    12645834752 apollon024 908    616    14748368896 apollon118 7 0 361     35.8   235     119     30.9   14.2   29.3   13.0   1.14  14.3   50.2  
eca-rers2012/Problem08_label04_false-unreach-call.c 912    870    6200864768 apollon039 901    453    7696109568 apollon114 907    730    12645875712 apollon029 154     444     552     73.9   432     420     430     16.6   404     421     910    638    14901506048 apollon070 8 0 318     40.2   299     115     32.3   15.0   31.2   13.6   1.31  15.1   109    
eca-rers2012/Problem08_label05_false-unreach-call.c 912    874    5040017408 apollon103 901    453    7717257216 apollon112 414     908    702    12660264960 apollon070 187     375     493     76.1   368     356     367     15.5   342     357     853    573    14999998464 apollon129
eca-rers2012/Problem08_label06_false-unreach-call.c 930    870    6314242048 apollon075 4 111    680     20.3   902    453    7711301632 apollon011 917    753    11403714560 apollon152 145     476     586     75.3   467     456     466     9.49  447     457     1000    639    13670854656 apollon075
eca-rers2012/Problem08_label07_false-unreach-call.c 913    854    7708844032 apollon092 5 154    381     257     902    454    7728316416 apollon060 912    743    12655185920 apollon097 1000    630    13690724352 apollon086
eca-rers2012/Problem08_label10_false-unreach-call.c 912    857    7731363840 apollon125 901    453    7712296960 apollon112 414     908    746    11189784576 apollon155 141     472     584     76.7   464     452     462     36.0   417     453     1000    657    13822451712 apollon058
eca-rers2012/Problem08_label13_false-unreach-call.c 912    880    5028343808 apollon008 901    454    7663976448 apollon021 909    712    12616966144 apollon103 171     379     520     97.7   368     354     367     12.9   342     355     1000    640    13852016640 apollon076
eca-rers2012/Problem08_label15_false-unreach-call.c 912    849    7596630016 apollon069 5 169    329     285     901    453    7620878336 apollon151 412     918    717    12687310848 apollon166 175     394     519     88.0   384     371     383     22.4   350     372     985    642    13686517760 apollon160
eca-rers2012/Problem08_label24_false-unreach-call.c 1000    897    9850695680 apollon122 902    454    7710208000 apollon025 912    636    12714409984 apollon084 1000    604    12986568704 apollon150
eca-rers2012/Problem08_label25_false-unreach-call.c 912    849    6938128384 apollon105 901    453    7718232064 apollon167 910    682    12537110528 apollon074 205     293     454     107     280     265     278     20.9   245     266     1000    633    13290364928 apollon149
eca-rers2012/Problem08_label26_false-unreach-call.c 1000    897    9684930560 apollon153 901    453    7697440768 apollon007 1000    677    12577914880 apollon081 1000    599    12993171456 apollon106
eca-rers2012/Problem08_label28_false-unreach-call.c 910    852    7724093440 apollon073 5 163    344     284     901    453    7706206208 apollon077 995    722    12453109760 apollon144 1000    628    13881643008 apollon138
eca-rers2012/Problem08_label29_false-unreach-call.c 912    863    6351306752 apollon003 902    453    7718068224 apollon084 414     912    660    12703010816 apollon015 1000    637    13712035840 apollon077
eca-rers2012/Problem08_label34_false-unreach-call.c 912    858    6978658304 apollon138 901    453    7708028928 apollon153 413     878    601    14999998464 apollon071 906    569    13707075584 apollon064 6 0 349     25.7   196     105     20.8   11.0   19.8   10.0   .924 11.0   38.1  
eca-rers2012/Problem08_label37_false-unreach-call.c 914    869    6347067392 apollon033 901    453    7688200192 apollon119 912    642    12673523712 apollon164 1000    619    12577247232 apollon145
eca-rers2012/Problem08_label43_false-unreach-call.c 912    881    4995309568 apollon143 901    453    7616606208 apollon091 415     913    725    12623319040 apollon127 801    540    14999998464 apollon150
eca-rers2012/Problem08_label46_false-unreach-call.c 912    878    5033779200 apollon131 901    453    7713271808 apollon123 912    726    12610977792 apollon050 968    634    13453160448 apollon104
eca-rers2012/Problem08_label48_false-unreach-call.c 910    865    6249979904 apollon050 4 109    678     35.3   901    453    7509889024 apollon010 906    651    14792138752 apollon075 274     192     351     108     173     155     171     26.9   129     156     1000    647    13522763776 apollon104
eca-rers2012/Problem08_label49_false-unreach-call.c 912    852    6923378688 apollon050 902    454    7658983424 apollon033 414     907    694    12629065728 apollon015 190     364     481     77.4   348     336     347     10.3   327     337     910    622    14299791360 apollon142 8 0 336     33.7   263     127     26.0   15.2   24.8   14.0   1.28  15.4   69.4  
eca-rers2012/Problem08_label50_false-unreach-call.c 907    867    5244178432 apollon039 4 84.3  747     1.25  901    453    7735930880 apollon116 911    742    12200181760 apollon147 144     465     574     70.5   458     446     456     11.0   436     447     1000    642    13680205824 apollon109
eca-rers2012/Problem08_label51_false-unreach-call.c 912    855    7655669760 apollon139 901    453    7687000064 apollon100 912    738    12609216512 apollon074 1000    641    13895327744 apollon083
eca-rers2012/Problem08_label55_false-unreach-call.c 912    874    6476849152 apollon054 901    453    7711670272 apollon137 415     909    731    12148797440 apollon006 153     445     558     75.2   434     421     432     11.4   410     422     913    611    14953476096 apollon091 6 0 368     34.3   222     119     28.8   11.8   27.7   11.4   .920 12.5   38.3  
eca-rers2012/Problem08_label59_false-unreach-call.c 914    837    8440369152 apollon107 901    453    7738990592 apollon107 909    671    12758224896 apollon091 220     291     429     94.1   274     259     272     18.6   241     260     1000    633    13309685760 apollon063
eca-rers2012/Problem09_label02_false-unreach-call.c 1000    877    9851068416 apollon163 901    454    8220844032 apollon140 1000    524    11048685568 apollon047 1000    524    11079954432 apollon111
eca-rers2012/Problem09_label03_false-unreach-call.c 1000    886    10627993600 apollon021 902    455    8349732864 apollon047 1000    612    11886546944 apollon128 1000    551    11188740096 apollon140
eca-rers2012/Problem09_label06_false-unreach-call.c 1000    872    10377310208 apollon084 923    475    8374435840 apollon003 1000    524    11041001472 apollon149 1000    550    11167088640 apollon087
eca-rers2012/Problem09_label08_false-unreach-call.c 1000    891    9236369408 apollon136 901    454    8214917120 apollon066 1000    536    11197177856 apollon004 1000    582    12058902528 apollon148
eca-rers2012/Problem09_label10_false-unreach-call.c 912    856    7376625664 apollon132 903    455    8268886016 apollon031 1000    531    11145244672 apollon053 1000    548    11183570944 apollon079
eca-rers2012/Problem09_label11_false-unreach-call.c 912    843    8000430080 apollon046 924    476    8326893568 apollon120 1000    524    11049922560 apollon068 1000    555    11215249408 apollon156
eca-rers2012/Problem09_label15_false-unreach-call.c 1000    870    10786443264 apollon131 901    453    8179474432 apollon097 1000    532    11207577600 apollon058 1000    547    11246567424 apollon122
eca-rers2012/Problem09_label19_false-unreach-call.c 1000    875    10758995968 apollon057 901    454    8226660352 apollon034 412     1000    527    11040808960 apollon139 1000    531    11082637312 apollon121
eca-rers2012/Problem09_label20_false-unreach-call.c 1000    861    10438275072 apollon101 901    453    8206991360 apollon016 1000    527    11046023168 apollon144 1000    557    11247456256 apollon126
eca-rers2012/Problem09_label32_false-unreach-call.c 1000    891    9437396992 apollon026 904    456    8239583232 apollon067 412     1000    524    11036229632 apollon125 1000    524    11089338368 apollon101
eca-rers2012/Problem09_label34_false-unreach-call.c 1000    884    10807652352 apollon008 901    453    8179990528 apollon137 1000    524    11043778560 apollon041 1000    546    11233742848 apollon158
eca-rers2012/Problem09_label35_false-unreach-call.c 912    846    8156782592 apollon061 903    456    8040558592 apollon131 1000    534    11211280384 apollon057 1000    525    11088371712 apollon063
eca-rers2012/Problem09_label36_false-unreach-call.c 912    853    7223005184 apollon069 913    465    8308973568 apollon092 411     1000    533    11217657856 apollon086 1000    528    11100008448 apollon150
eca-rers2012/Problem09_label38_false-unreach-call.c 912    831    8109637632 apollon152 901    454    8261955584 apollon099 1000    540    11205238784 apollon135 1000    526    11113811968 apollon123
eca-rers2012/Problem09_label41_false-unreach-call.c 1000    870    10353541120 apollon129 901    454    8234225664 apollon100 415     1000    525    11039096832 apollon163 917    593    12403888128 apollon061
eca-rers2012/Problem09_label44_false-unreach-call.c 1000    863    10771738624 apollon033 901    454    8238821376 apollon113 413     1000    525    11052523520 apollon081 1000    525    11062108160 apollon106
eca-rers2012/Problem09_label46_false-unreach-call.c 912    858    7142760448 apollon025 901    454    8190152704 apollon146 1000    531    11180412928 apollon071 1000    546    11238354944 apollon068
eca-rers2012/Problem09_label47_false-unreach-call.c 1000    879    10813603840 apollon097 903    455    8302903296 apollon057 1000    524    11053142016 apollon088 1000    526    11107848192 apollon124
eca-rers2012/Problem09_label51_false-unreach-call.c 912    843    8162123776 apollon153 901    453    8279547904 apollon085 1000    529    11042754560 apollon004 1000    529    11086786560 apollon115
eca-rers2012/Problem09_label53_false-unreach-call.c 1000    873    11037843456 apollon042 903    455    8381550592 apollon006 1000    524    11056799744 apollon153 1000    530    11086524416 apollon126
eca-rers2012/Problem09_label54_false-unreach-call.c 910    846    7274885120 apollon151 5 170    527     104     902    454    8279314432 apollon155 1000    524    11054710784 apollon025 1000    564    11287027712 apollon138
eca-rers2012/Problem09_label56_false-unreach-call.c 912    849    7118356480 apollon037 901    454    8265674752 apollon108 1000    524    11050655744 apollon076 1000    551    11189460992 apollon066
eca-rers2012/Problem09_label57_false-unreach-call.c 1000    880    12361113600 apollon150 903    455    8358440960 apollon165 1000    524    11048865792 apollon072 1000    545    11239600128 apollon091
eca-rers2012/Problem09_label59_false-unreach-call.c 1000    881    11130589184 apollon004 901    454    8216117248 apollon121 414     1000    527    11047415808 apollon058 1000    553    11240439808 apollon123
eca-rers2012/Problem10_label12_false-unreach-call.c 1000    994    6560149504 apollon153 962    481    6638837760 apollon133 1000    992    11681099776 apollon140 1000    991    10477268992 apollon082
eca-rers2012/Problem10_label15_false-unreach-call.c 1000    993    7030464512 apollon104 961    481    6261706752 apollon091 1000    989    11507740672 apollon073 902    897    949616640 apollon117 5 0 2.87  4.06  892     .972 3.98  3.43  3.96  3.02  .399 3.45  886    
eca-rers2012/Problem10_label24_false-unreach-call.c 1000    993    6344130560 apollon134 962    481    6484811776 apollon021 1000    991    11515908096 apollon166 901    897    731168768 apollon125 3 0 .830 2.40  894     .700 2.33  2.00  2.32  1.78  .211 2.00  891    
eca-rers2012/Problem10_label26_false-unreach-call.c 1000    994    6619164672 apollon084 961    481    6569689088 apollon116 1000    989    11783315456 apollon061 901    897    968044544 apollon149 6 0 2.87  3.71  892     1.09  3.62  3.09  3.60  2.72  .361 3.10  887    
eca-rers2012/Problem10_label28_false-unreach-call.c 1000    993    6397992960 apollon003 961    481    6733180928 apollon136 1000    990    10561372160 apollon034 1000    991    10389737472 apollon115
eca-rers2012/Problem10_label29_false-unreach-call.c 1000    994    6296231936 apollon048 961    481    6590681088 apollon103 1000    991    11641217024 apollon089 901    896    962555904 apollon063 5 0 3.32  4.29  890     1.24  4.19  3.65  4.18  3.27  .382 3.68  884    
eca-rers2012/Problem10_label41_false-unreach-call.c 1000    995    5114785792 apollon056 962    481    6465019904 apollon150 1000    993    10182742016 apollon105 901    897    745287680 apollon130 3 0 .992 2.42  894     .674 2.35  2.04  2.33  1.82  .213 2.04  891    
eca-rers2012/Problem10_label42_false-unreach-call.c 1000    995    5308416000 apollon088 961    481    6481547264 apollon098 1000    994    10194165760 apollon038 1000    993    8302669824 apollon075
eca-rers2012/Problem10_label46_false-unreach-call.c 6.62 3.62 321032192 apollon103 2 1.00 .111 .050 18.0  9.18 1005322240 apollon080 6.81  2 1.21  .263 .073 1.41 3.06  1000    994    7894192128 apollon102 1000    994    8298696704 apollon119
eca-rers2012/Problem10_label47_false-unreach-call.c 1000    994    5055016960 apollon045 962    481    6360952832 apollon071 1000    992    9992253440 apollon034 1000    992    10018451456 apollon069
eca-rers2012/Problem10_label48_false-unreach-call.c 1000    992    6725570560 apollon010 961    481    6738108416 apollon062 1000    991    11311579136 apollon021 901    896    988516352 apollon111 6 0 2.71  3.63  892     1.01  3.55  3.07  3.51  2.76  .307 3.09  887    
eca-rers2012/Problem10_label50_false-unreach-call.c 1000    994    6835027968 apollon040 961    481    6479015936 apollon027 1000    992    11459203072 apollon147 1000    991    10789945344 apollon073
eca-rers2012/Problem10_label55_false-unreach-call.c 1000    995    6022664192 apollon143 962    481    6280704000 apollon034 1000    993    11098722304 apollon081 1000    992    8974094336 apollon160
eca-rers2012/Problem10_label57_false-unreach-call.c 1000    994    6637125632 apollon007 962    481    6677237760 apollon046 1000    991    11650154496 apollon030 901    897    583667712 apollon093 1 0 .029 1.57  895     .623 1.51  1.30  1.50  1.16  .138 1.29  892    
eca-rers2012/Problem10_label58_false-unreach-call.c 1000    993    6450253824 apollon123 961    481    6563479552 apollon118 1000    991    10870820864 apollon035 901    896    762953728 apollon125 3 0 1.05  3.26  893     .944 3.00  2.61  2.98  2.34  .269 2.62  888    
eca-rers2012/Problem11_label00_false-unreach-call.c 1000    987    8054398976 apollon081 961    481    7890276352 apollon076 1000    975    9351081984 apollon129 902    895    1042575360 apollon092 1 0 .259 4.69  892     .830 4.58  4.06  4.55  3.98  .076 4.07  886    
eca-rers2012/Problem11_label08_false-unreach-call.c 1000    991    7803117568 apollon071 961    481    7528427520 apollon047 1000    985    9896779776 apollon005 902    897    1011200000 apollon090 1 0 .030 4.13  894     .656 4.07  3.64  4.06  3.45  .068 3.52  889    
eca-rers2012/Problem11_label14_false-unreach-call.c 1000    992    7901560832 apollon091 961    481    7316262912 apollon165 1000    983    9437548544 apollon151 1000    980    9586921472 apollon164
eca-rers2012/Problem11_label15_false-unreach-call.c 1000    991    7870607360 apollon034 961    481    7193767936 apollon019 1000    986    10146197504 apollon112 1000    980    8624852992 apollon071
eca-rers2012/Problem11_label20_false-unreach-call.c 1000    987    8356597760 apollon120 961    481    7989133312 apollon095 1000    977    9751576576 apollon097 901    896    1059090432 apollon137 1 0 .035 4.28  893     .756 4.19  3.56  4.16  3.50  .063 3.56  888    
eca-rers2012/Problem11_label29_false-unreach-call.c 1000    992    8090099712 apollon156 961    481    7017512960 apollon006 1000    983    8833306624 apollon156 902    897    1014767616 apollon109 1 0 .167 3.91  895     .600 3.85  3.41  3.83  3.34  .062 3.41  890    
eca-rers2012/Problem11_label31_false-unreach-call.c 1000    988    8082968576 apollon088 961    481    9069858816 apollon026 1000    977    9110966272 apollon084 902    896    1035513856 apollon097 1 0 .197 4.06  893     .710 3.97  3.53  3.95  3.46  .063 3.53  888    
eca-rers2012/Problem11_label34_false-unreach-call.c 1000    987    8691970048 apollon098 961    481    8664657920 apollon032 901    894    1485697024 apollon158 11.6   879     881     1.32  879     877     879     11.0   867     878     903    896    1034215424 apollon114 1 0 .041 5.17  893     1.04  5.02  4.28  4.99  4.20  .077 4.28  886    
eca-rers2012/Problem11_label36_false-unreach-call.c 1000    990    7686225920 apollon005 962    481    7151443968 apollon030 1000    983    9198661632 apollon018 902    897    1019674624 apollon114 1 0 .038 4.91  894     .776 4.84  4.35  4.83  4.12  .078 4.21  888    
eca-rers2012/Problem11_label39_false-unreach-call.c 1000    988    8351617024 apollon007 961    481    8883929088 apollon123 901    894    1512452096 apollon104 11.1   878     881     1.48  878     877     878     12.6   864     877     902    898    1022152704 apollon087 1 0 .031 3.90  895     .724 3.85  3.41  3.84  3.35  .061 3.41  890    
eca-rers2012/Problem11_label42_false-unreach-call.c 1000    991    7814111232 apollon050 961    481    7319744512 apollon114 1000    985    10094575616 apollon068 902    897    1015971840 apollon110 1 0 .200 4.88  893     .786 4.79  4.29  4.78  4.21  .079 4.29  887    
eca-rers2012/Problem11_label43_false-unreach-call.c 1000    991    7749136384 apollon107 962    481    7229108224 apollon049 1000    987    8998264832 apollon004 903    898    1027284992 apollon131 1 0 .031 4.10  895     .744 4.04  3.59  4.03  3.53  .063 3.59  890    
eca-rers2012/Problem11_label49_false-unreach-call.c 1000    992    7749943296 apollon154 962    481    7118311424 apollon123 1000    985    9830944768 apollon064 902    897    1018388480 apollon134 1 0 .176 4.00  895     .639 3.92  3.50  3.91  3.43  .063 3.50  890    
eca-rers2012/Problem11_label51_false-unreach-call.c 1000    992    7950364672 apollon108 961    481    7114276864 apollon004 1000    984    8895623168 apollon148 902    898    1011724288 apollon058 1 0 .041 4.03  896     .626 3.95  3.54  3.94  3.33  .064 3.40  891    
eca-rers2012/Problem11_label58_false-unreach-call.c 1000    990    7571329024 apollon007 962    481    7046705152 apollon126 1000    986    9450233856 apollon159 902    896    1050124288 apollon116 1 0 .231 4.12  893     .865 4.03  3.63  4.01  3.55  .065 3.62  887    
eca-rers2012/Problem12_label00_false-unreach-call.c 377    307    14999998464 apollon071 631    316    14999998464 apollon136 903    893    4563021824 apollon134 34.9   849     855     3.79  849     843     849     35.7   809     844     905    891    4582985728 apollon113 2 0 10.1   27.5   877     4.84  27.2   23.7   27.2   19.9   3.79  23.7   843    
eca-rers2012/Problem12_label03_false-unreach-call.c 313    251    14999998464 apollon076 531    266    14999998464 apollon015 903    890    6654074880 apollon040 89.6   791     798     3.86  791     783     791     49.0   735     784     905    890    4589043712 apollon089 2 0 9.94  29.3   876     5.10  28.5   25.1   28.4   21.6   3.58  25.2   839    
eca-rers2012/Problem12_label06_false-unreach-call.c 528    399    14999998464 apollon048 791    396    14999998464 apollon026 903    889    4564017152 apollon162 29.8   850     856     3.97  850     844     850     37.0   808     845     904    892    4620148736 apollon094 2 0 8.13  23.7   880     4.66  23.4   20.5   23.3   17.6   2.96  20.5   851    
eca-rers2012/Problem12_label07_false-unreach-call.c 418    351    14999998464 apollon097 591    296    14999998464 apollon071 903    892    4579295232 apollon004 37.9   846     851     3.71  845     839     845     37.7   803     841     904    891    4605648896 apollon143 2 0 8.36  24.2   879     4.25  23.8   20.9   23.8   17.8   3.07  20.9   849    
eca-rers2012/Problem12_label08_false-unreach-call.c 530    467    14999998464 apollon041 774    388    14999998464 apollon123 903    892    4590809088 apollon107 50.8   833     839     3.69  833     827     833     35.3   793     828     904    891    4626567168 apollon151 2 0 11.3   25.3   876     4.69  25.0   21.9   25.0   18.5   3.40  21.9   844    
eca-rers2012/Problem12_label10_false-unreach-call.c 422    356    14999998464 apollon100 649    325    14999998464 apollon075 903    891    4546899968 apollon038 34.9   847     853     4.23  847     840     847     38.4   804     842     905    891    4592644096 apollon065 2 0 8.90  26.7   878     4.18  26.4   23.3   26.4   19.9   3.42  23.3   845    
eca-rers2012/Problem12_label13_false-unreach-call.c 367    298    14999998464 apollon060 658    329    14999998464 apollon007 903    891    6762274816 apollon101 66.2   815     821     4.04  815     805     814     58.9   748     807     904    892    4609622016 apollon060 2 0 8.08  24.6   880     4.08  24.1   21.2   24.1   18.1   3.08  21.2   849    
eca-rers2012/Problem12_label19_false-unreach-call.c 651    479    14999998464 apollon140 548    275    14999998464 apollon011 903    891    4483883008 apollon136 27.8   854     860     4.13  853     847     853     38.4   810     849     905    892    4630831104 apollon160 2 0 8.65  25.3   879     4.42  25.0   22.0   25.0   18.7   3.34  22.0   847    
eca-rers2012/Problem12_label20_false-unreach-call.c 903    655    14999998464 apollon040 5 7.88 72.8   89.3   571    286    14999998464 apollon058 903    890    4577411072 apollon097 30.6   850     856     4.29  850     843     850     39.1   806     845     905    892    4616445952 apollon102 2 0 8.28  24.1   880     4.41  23.8   20.8   23.7   17.7   3.04  20.8   850    
eca-rers2012/Problem12_label21_false-unreach-call.c 312    252    14999998464 apollon053 507    254    15000002560 apollon005 903    889    6790979584 apollon096 71.9   808     814     3.91  807     798     807     56.6   743     800     904    891    4624117760 apollon156 2 0 8.07  25.5   878     4.69  24.8   21.8   24.7   18.7   3.05  21.8   846    
eca-rers2012/Problem12_label25_false-unreach-call.c 349    288    14999998464 apollon116 572    286    14999998464 apollon140 903    890    4537720832 apollon035 28.2   853     859     4.35  852     845     852     46.8   799     846     905    892    4605239296 apollon152 2 0 8.73  25.4   879     4.25  25.1   22.1   25.1   18.9   3.18  22.1   848    
eca-rers2012/Problem12_label28_false-unreach-call.c 462    382    15000002560 apollon098 516    259    14999998464 apollon120 903    891    6594908160 apollon105 65.9   816     822     3.73  815     806     815     56.8   751     808     905    892    4600393728 apollon071 2 0 8.28  23.7   880     4.55  23.4   20.6   23.4   17.7   2.91  20.6   850    
eca-rers2012/Problem12_label30_false-unreach-call.c 512    394    14999998464 apollon019 906    456    14920474624 apollon135 903    891    6661267456 apollon128 89.8   791     798     4.07  791     783     791     50.0   734     784     905    893    4721307648 apollon144 2 0 8.25  25.1   881     4.09  24.5   21.5   24.5   17.9   3.51  21.5   850    
eca-rers2012/Problem12_label34_false-unreach-call.c 351    286    14999998464 apollon121 655    328    14999998464 apollon109 903    892    6602907648 apollon095 69.6   813     820     4.00  813     805     813     49.6   757     806     904    891    4600668160 apollon126 2 0 8.52  25.0   879     4.30  24.6   21.6   24.5   18.1   3.44  21.6   848    
eca-rers2012/Problem12_label35_false-unreach-call.c 369    296    14999998464 apollon157 626    313    14999998464 apollon130 903    892    4522430464 apollon065 31.9   851     857     4.00  850     845     850     32.5   814     847     904    892    4565336064 apollon133 2 0 8.40  16.4   880     4.93  16.1   14.2   16.1   12.1   2.08  14.2   857    
eca-rers2012/Problem12_label37_false-unreach-call.c 383    302    14999998464 apollon041 820    411    14999998464 apollon118 903    891    4470321152 apollon033 27.2   855     861     3.81  855     850     855     29.6   822     852     904    892    4621635584 apollon125 2 0 8.73  16.6   880     3.92  16.3   14.2   16.2   12.0   2.19  14.2   857    
eca-rers2012/Problem12_label38_false-unreach-call.c 543    406    14999998464 apollon084 764    382    14999998464 apollon004 903    890    6614818816 apollon156 67.0   813     819     4.23  812     806     812     39.8   768     807     905    892    4647137280 apollon149 2 0 8.29  16.8   880     4.55  16.4   14.4   16.3   12.3   2.11  14.4   857    
eca-rers2012/Problem12_label39_false-unreach-call.c 452    380    14999998464 apollon049 906    457    14807687168 apollon021 445     903    893    4559446016 apollon044 32.6   852     857     3.75  851     846     851     29.3   818     848     905    890    4618043392 apollon084 2 0 9.07  17.9   876     4.79  17.2   15.2   17.2   13.1   2.07  15.2   851    
eca-rers2012/Problem12_label40_false-unreach-call.c 374    311    14999998464 apollon063 449    225    14999998464 apollon079 903    891    4557975552 apollon155 29.3   852     859     4.49  852     846     852     39.8   807     847     904    892    2475905024 apollon069 1 0 .546 5.74  887     3.28  5.53  4.79  5.48  4.27  .509 4.78  877    
eca-rers2012/Problem12_label42_false-unreach-call.c 615    494    14999998464 apollon074 771    386    14999998464 apollon095 903    891    4565889024 apollon064 30.4   852     858     3.89  851     847     851     28.3   820     848     904    891    4633751552 apollon153 2 0 9.02  17.2   877     4.97  16.9   14.9   16.8   12.8   2.11  14.9   853    
eca-rers2012/Problem12_label48_false-unreach-call.c 385    316    14999998464 apollon088 636    318    14999998464 apollon142 903    890    6651957248 apollon040 76.0   805     811     3.83  805     797     805     49.3   749     798     904    894    2503798784 apollon077 1 0 .355 4.64  890     2.55  4.43  3.84  4.38  3.41  .429 3.85  882    
eca-rers2012/Problem12_label50_false-unreach-call.c 472    349    14999998464 apollon020 592    297    14999998464 apollon122 903    892    4575563776 apollon090 32.3   851     857     4.45  850     844     850     37.2   808     846     904    891    2691428352 apollon123 1 0 .518 6.70  886     3.14  6.47  5.83  6.43  5.29  .534 5.83  875    
eca-rers2012/Problem12_label51_false-unreach-call.c 916    679    14999998464 apollon144 556    278    14999998464 apollon100 903    890    6641205248 apollon056 74.9   806     812     3.73  806     798     806     49.9   749     799     903    893    2542358528 apollon105 1 0 .426 4.54  889     2.63  4.40  3.92  4.37  3.52  .403 3.92  880    
eca-rers2012/Problem12_label52_false-unreach-call.c 359    294    14999998464 apollon080 573    287    14999998464 apollon150 903    892    4566044672 apollon148 32.9   851     856     3.57  851     846     850     28.0   819     847     903    894    2648666112 apollon092 1 0 .085 4.46  890     2.96  4.32  3.81  4.29  3.39  .424 3.81  882    
eca-rers2012/Problem12_label55_false-unreach-call.c 417    348    14999998464 apollon074 904    454    14851698688 apollon054 445     903    891    4574294016 apollon132 37.3   843     850     4.32  843     838     843     32.7   806     839     906    897    2539479040 apollon065 1 0 .326 4.55  893     2.77  4.43  3.90  4.41  3.43  .470 3.90  885    
eca-rers2012/Problem13_label04_false-unreach-call.c 554    510    14999998464 apollon165 728    365    14999998464 apollon067 904    891    7152214016 apollon131 57.0   823     830     4.73  823     813     823     61.7   754     815     906    893    6869815296 apollon145 2 0 15.2   46.5   874     5.00  46.2   41.4   46.2   29.9   11.5   41.4   820    
eca-rers2012/Problem13_label06_false-unreach-call.c 465    424    14999998464 apollon166 733    367    14999998464 apollon098 904    892    5063421952 apollon054 15.9   868     873     3.57  867     862     867     31.8   833     865     906    894    6804869120 apollon129 2 0 14.5   44.7   875     4.72  44.0   39.5   43.9   28.8   10.7   39.5   824    
eca-rers2012/Problem13_label07_false-unreach-call.c 399    349    14999998464 apollon136 839    420    14999998464 apollon025 904    893    7136591872 apollon084 63.5   819     826     4.58  819     809     819     60.7   751     812     906    890    6758350848 apollon128 2 0 12.8   52.2   872     6.11  51.4   46.2   51.3   32.9   13.3   46.2   812    
eca-rers2012/Problem13_label11_false-unreach-call.c 372    326    14999998464 apollon073 504    252    14999998464 apollon110 904    893    7100092416 apollon010 50.6   833     840     4.42  833     823     833     60.4   765     825     906    890    6748184576 apollon102 2 0 13.2   52.5   872     6.10  51.6   46.4   51.6   33.0   13.3   46.4   812    
eca-rers2012/Problem13_label12_false-unreach-call.c 413    368    14999998464 apollon122 903    453    13783781376 apollon079 444     905    889    7098482688 apollon118 63.3   816     823     4.93  815     804     815     68.6   738     807     906    893    6670229504 apollon129 2 0 13.2   50.3   874     4.92  50.0   44.9   50.0   32.4   12.5   44.9   817    
eca-rers2012/Problem13_label16_false-unreach-call.c 917    892    11852718080 apollon053 911    459    13327941632 apollon106 447     904    893    7125831680 apollon015 50.7   833     839     4.49  832     822     832     63.1   761     824     907    893    6710026240 apollon122 2 0 13.5   56.1   874     5.49  55.3   49.8   55.2   35.5   14.3   49.8   810    
eca-rers2012/Problem13_label19_false-unreach-call.c 438    392    14999998464 apollon049 833    417    14999998464 apollon030 904    891    7123570688 apollon039 54.4   826     833     5.08  825     817     825     50.9   769     820     903    893    4869877760 apollon112 1 0 .411 26.3   889     3.08  26.1   23.6   26.0   14.9   8.70  23.6   858    
eca-rers2012/Problem13_label21_false-unreach-call.c 425    384    14999998464 apollon154 503    252    14999998464 apollon157 904    892    7115313152 apollon114 62.8   819     826     4.78  818     810     818     56.1   756     813     904    894    4865765376 apollon153 1 0 .090 26.5   890     2.99  26.3   23.9   26.3   15.1   8.83  23.9   859    
eca-rers2012/Problem13_label23_false-unreach-call.c 763    713    14999998464 apollon109 697    349    14999998464 apollon080 904    894    4996861952 apollon128 16.5   869     874     3.42  869     864     869     30.0   837     867     906    890    6778810368 apollon089 2 0 19.2   53.4   866     5.92  53.1   47.6   53.0   33.9   13.8   47.7   804    
eca-rers2012/Problem13_label24_false-unreach-call.c 356    316    14999998464 apollon057 579    290    14999998464 apollon098 904    892    5182435328 apollon030 17.5   866     872     4.73  865     859     865     35.0   827     862     906    896    4860325888 apollon059 1 0 .095 25.5   892     3.04  25.3   23.0   25.3   14.6   8.35  23.0   862    
eca-rers2012/Problem13_label25_false-unreach-call.c 464    419    14999998464 apollon100 554    277    14999998464 apollon008 904    893    5203042304 apollon149 18.1   866     872     4.53  866     860     865     32.2   830     863     904    894    4850843648 apollon127 1 0 .056 25.7   890     3.33  25.5   23.1   25.4   14.7   8.40  23.1   860    
eca-rers2012/Problem13_label28_false-unreach-call.c 674    625    14999998464 apollon062 904    454    13323874304 apollon058 445     904    894    5044842496 apollon026 15.5   870     875     3.48  870     865     870     29.6   838     868     906    893    6775132160 apollon121 2 0 17.4   49.8   871     5.41  49.5   44.2   49.4   31.8   12.4   44.2   814    
eca-rers2012/Problem13_label29_false-unreach-call.c 329    284    14999998464 apollon140 552    277    14999998464 apollon077 904    892    7141060608 apollon054 58.6   823     830     4.63  823     813     823     61.3   754     815     906    892    6936526848 apollon141 2 0 17.9   47.7   869     5.05  47.5   42.6   47.5   31.0   11.7   42.6   815    
eca-rers2012/Problem13_label30_false-unreach-call.c 346    307    14999998464 apollon050 834    417    14999998464 apollon058 904    892    7103401984 apollon154 58.5   824     830     4.41  823     815     823     47.7   770     818     903    894    4853448704 apollon064 1 0 .432 26.1   889     3.01  26.0   23.6   25.9   15.1   8.48  23.6   859    
eca-rers2012/Problem13_label32_false-unreach-call.c 632    586    14999998464 apollon152 737    369    14999998464 apollon032 905    891    5190606848 apollon002 19.7   860     868     5.94  860     851     860     55.4   798     854     904    893    4867538944 apollon143 1 0 .500 27.7   888     3.08  27.5   24.8   27.4   15.7   9.18  24.8   856    
eca-rers2012/Problem13_label35_false-unreach-call.c 458    411    14999998464 apollon046 605    303    14999998464 apollon061 905    894    7070289920 apollon040 49.4   834     841     4.50  834     824     834     60.8   766     827     904    893    4866125824 apollon153 1 0 .382 26.8   889     3.15  26.6   24.0   26.5   15.3   8.66  24.0   857    
eca-rers2012/Problem13_label36_false-unreach-call.c 495    455    14999998464 apollon130 675    338    14999998464 apollon035 904    891    7089172480 apollon114 77.4   804     810     3.88  804     796     804     55.0   743     798     904    891    4893011968 apollon084 1 0 .425 32.9   885     3.70  32.7   29.7   32.7   19.2   10.5   29.7   847    
eca-rers2012/Problem13_label40_false-unreach-call.c 402    357    14999998464 apollon165 907    457    13144600576 apollon106 444     904    893    7126040576 apollon048 74.7   809     815     4.33  809     798     809     65.9   735     801     906    893    6921998336 apollon137 2 0 19.8   48.2   869     5.01  47.9   42.9   47.8   30.7   12.1   42.9   814    
eca-rers2012/Problem13_label43_false-unreach-call.c 500    453    14999998464 apollon109 504    253    14999998464 apollon056 904    893    5054693376 apollon033 16.3   868     874     4.03  867     862     867     35.0   830     865     906    894    6806540288 apollon058 2 0 15.0   45.8   875     4.66  45.5   40.8   45.4   29.4   11.4   40.8   822    
eca-rers2012/Problem13_label44_false-unreach-call.c 662    615    14999998464 apollon121 511    256    14999998464 apollon076 904    891    7131578368 apollon015 60.3   820     827     4.80  820     809     819     64.2   747     812     907    893    6836883456 apollon110 2 0 17.8   49.2   872     5.10  48.9   43.9   48.9   32.1   11.8   43.9   815    
eca-rers2012/Problem13_label45_false-unreach-call.c 397    349    14999998464 apollon001 568    285    14999998464 apollon013 904    893    5054676992 apollon126 16.4   867     873     4.20  867     861     867     35.2   829     864     906    892    6802112512 apollon092 2 0 15.5   47.1   872     5.59  46.8   41.7   46.7   30.1   11.6   41.7   817    
eca-rers2012/Problem13_label48_false-unreach-call.c 417    373    14999998464 apollon009 711    356    14999998464 apollon089 904    893    7136641024 apollon070 60.3   823     829     4.77  822     812     822     60.7   754     815     906    892    6764765184 apollon061 2 0 13.0   46.2   875     4.92  45.9   41.1   45.9   29.6   11.5   41.1   822    
eca-rers2012/Problem13_label51_false-unreach-call.c 478    432    14999998464 apollon095 539    270    14999998464 apollon145 904    889    7125712896 apollon004 58.1   818     827     5.79  818     806     818     73.6   736     809     906    895    6737260544 apollon132 2 0 13.1   44.8   878     4.52  44.5   39.8   44.4   29.0   10.8   39.8   827    
eca-rers2012/Problem13_label54_false-unreach-call.c 907    895    11356852224 apollon119 5 9.60 137     742     671    336    14999998464 apollon110 904    892    7110242304 apollon108 53.4   828     835     4.66  828     818     828     63.8   756     820     906    893    6732869632 apollon104 2 0 15.1   50.5   873     5.03  49.8   44.7   49.7   32.7   12.1   44.7   816    
eca-rers2012/Problem13_label58_false-unreach-call.c 916    855    14197030912 apollon147 903    453    14756982784 apollon065 904    892    7029415936 apollon151 52.8   829     836     4.82  828     818     828     62.8   758     821     906    893    6751731712 apollon081 2 0 13.2   45.6   875     5.24  45.4   40.6   45.3   29.3   11.3   40.6   823    
eca-rers2012/Problem14_label02_false-unreach-call.c 906    897    7396610048 apollon105 15 4.97 420     458     906    456    10786201600 apollon006 448     901    891    2319790080 apollon006 29.7   857     860     1.77  856     852     856     25.4   826     852     902    898    567349248 apollon149 1 0 .016 1.29  896     .586 1.22  1.04  1.22  .918 .125 1.04  894    
eca-rers2012/Problem14_label08_false-unreach-call.c 906    897    7411867648 apollon148 15 5.47 376     499     907    457    10902110208 apollon062 1000    960    11784159232 apollon142 902    894    2406191104 apollon145 30 0 27.8   10.1   864     1.94  9.79  8.51  9.76  7.54  .967 8.82  851    
eca-rers2012/Problem14_label10_false-unreach-call.c 1000    971    11792011264 apollon030 904    454    9567809536 apollon123 448     1000    964    10537488384 apollon114 902    897    782929920 apollon104 2 0 .962 2.07  893     1.05  1.99  1.70  1.97  1.51  .189 1.71  890    
eca-rers2012/Problem14_label11_false-unreach-call.c 1000    969    11820417024 apollon072 903    454    10867064832 apollon046 448     1000    950    10720395264 apollon004 901    893    2344173568 apollon126 33 0 31.6   10.2   859     2.34  10.1   8.71  10.0   7.74  .970 9.05  845    
eca-rers2012/Problem14_label12_false-unreach-call.c 905    895    7102140416 apollon122 14 5.30 384     492     903    453    9608736768 apollon104 448     904    890    4089004032 apollon080 251     632     637     2.99  631     624     631     44.0   580     624     901    898    573366272 apollon064 1 0 .020 1.22  895     .527 1.16  .978 1.13  .864 .112 .977 893    
eca-rers2012/Problem14_label13_false-unreach-call.c 1000    965    11722801152 apollon159 904    454    9588310016 apollon074 448     901    892    2280140800 apollon008 32.2   854     858     1.86  854     850     854     24.0   826     850     902    892    2000130048 apollon163 23 0 22.6   9.91  867     2.07  9.73  8.45  9.71  7.48  .965 8.65  854    
eca-rers2012/Problem14_label14_false-unreach-call.c 1000    974    11234111488 apollon092 903    453    9026908160 apollon139 448     1000    967    10772295680 apollon079 901    893    2057318400 apollon073 28 0 34.4   8.51  856     1.71  8.38  7.25  8.34  6.47  .772 7.48  845    
eca-rers2012/Problem14_label18_false-unreach-call.c 1000    969    12510654464 apollon034 904    454    9705943040 apollon034 448     916    892    8380186624 apollon045 902    894    2376245248 apollon102 33 0 30.4   9.89  861     2.28  9.77  8.45  9.75  7.44  1.01  8.81  848    
eca-rers2012/Problem14_label22_false-unreach-call.c 905    896    7402262528 apollon142 15 5.07 455     421     904    454    10783260672 apollon115 448     901    890    1780494336 apollon114 16.2   869     872     1.57  869     866     869     16.4   850     867     902    898    566767616 apollon076 1 0 .024 1.49  895     .775 1.43  1.21  1.42  1.06  .142 1.21  893    
eca-rers2012/Problem14_label27_false-unreach-call.c 1000    966    11859353600 apollon081 904    454    10019078144 apollon017 448     1000    969    10821230592 apollon131 902    898    573222912 apollon104 1 0 .194 1.37  895     .517 1.29  1.10  1.28  .972 .126 1.10  893    
eca-rers2012/Problem14_label28_false-unreach-call.c 907    898    7396564992 apollon061 14 4.96 495     382     904    454    10778202112 apollon128 448     901    891    1770582016 apollon023 14.1   871     874     2.05  871     868     870     16.8   851     868     902    894    1790169088 apollon112 20 0 12.3   7.51  879     1.78  7.37  6.41  7.33  5.71  .700 6.51  869    
eca-rers2012/Problem14_label29_false-unreach-call.c 1000    965    12024528896 apollon003 903    453    9531056128 apollon094 448     901    892    1962692608 apollon143 19.9   867     870     1.89  867     863     867     22.0   841     863     902    894    1779662848 apollon154 19 0 12.8   7.38  879     1.70  7.27  6.33  7.25  5.68  .647 6.46  869    
eca-rers2012/Problem14_label31_false-unreach-call.c 1000    966    12085264384 apollon075 904    454    10766856192 apollon120 448     1000    963    11071811584 apollon012 902    893    2345168896 apollon166 33 0 33.1   10.5   858     2.30  10.4   9.02  10.4   8.03  .989 9.47  844    
eca-rers2012/Problem14_label34_false-unreach-call.c 1000    970    11755184128 apollon096 903    454    10858774528 apollon023 448     901    891    1967386624 apollon160 25.3   860     863     2.03  859     855     859     24.4   831     855     902    893    2074988544 apollon069 26 0 21.1   10.0   869     2.19  9.88  8.61  9.84  7.69  .909 8.80  856    
eca-rers2012/Problem14_label37_false-unreach-call.c 1000    968    11921661952 apollon031 904    454    10724818944 apollon083 448     901    892    2049241088 apollon098 26.6   860     863     1.70  860     856     860     22.4   834     856     902    898    564772864 apollon075 1 0 .018 1.35  896     .477 1.31  1.14  1.31  .894 .114 1.01  894    
eca-rers2012/Problem14_label39_false-unreach-call.c 1000    965    11807211520 apollon033 904    454    9599959040 apollon131 1000    960    11235131392 apollon146 902    894    2384674816 apollon059 36 0 32.4   9.27  859     1.99  9.08  7.86  9.05  7.00  .856 8.19  847    
eca-rers2012/Problem14_label40_false-unreach-call.c 1000    966    12107071488 apollon075 904    454    9875050496 apollon151 901    892    2317778944 apollon022 35.5   851     854     1.75  850     845     850     28.6   817     845     906    899    1333690368 apollon168 7 0 4.52  4.32  893     1.27  4.08  3.52  4.05  3.15  .361 3.54  886    
eca-rers2012/Problem14_label41_false-unreach-call.c 906    897    7407575040 apollon076 15 5.00 437     440     904    454    10741473280 apollon125 447     901    890    1210863616 apollon141 11.2   874     877     1.97  873     871     873     14.8   856     871     902    894    1994563584 apollon061 23 0 18.6   8.41  873     1.92  8.26  7.10  8.23  6.31  .788 7.73  862    
eca-rers2012/Problem14_label43_false-unreach-call.c 906    897    7407951872 apollon033 14 4.92 562     315     907    457    10809962496 apollon101 448     1000    956    12018782208 apollon050 902    893    2041114624 apollon093 27 0 22.4   9.49  868     2.09  9.25  8.05  9.23  7.12  .930 8.27  856    
eca-rers2012/Problem14_label44_false-unreach-call.c 907    898    7395651584 apollon139 15 5.09 406     473     906    456    10867863552 apollon017 448     901    891    2526310400 apollon092 39.0   846     850     2.50  846     839     845     34.3   805     840     903    894    2534350848 apollon062 37 0 40.5   10.8   852     2.52  10.7   9.30  10.6   8.32  .977 9.79  837    
eca-rers2012/Problem14_label52_false-unreach-call.c 1000    967    12003794944 apollon146 904    455    10768232448 apollon014 448     901    892    2302439424 apollon025 28.3   858     862     1.83  858     854     858     22.1   832     854     902    898    572862464 apollon102 1 0 .017 1.21  896     .480 1.15  .975 1.14  .858 .115 .973 894    
eca-rers2012/Problem14_label54_false-unreach-call.c 906    897    7401541632 apollon041 15 4.83 460     417     904    454    9600745472 apollon001 448     901    893    1524379648 apollon061 9.50  879     881     1.74  879     876     878     12.8   863     876     905    897    2054295552 apollon080 26 0 20.5   8.70  874     1.99  8.55  7.47  8.52  6.68  .779 7.67  862    
eca-rers2012/Problem14_label56_false-unreach-call.c 1000    967    11937529856 apollon021 905    454    10137280512 apollon058 448     901    891    2534203392 apollon071 43.0   843     847     1.88  843     837     843     32.8   804     837     902    893    2409525248 apollon089 29 0 26.7   10.9   864     2.37  10.8   9.33  10.7   8.31  1.02  9.66  850    
eca-rers2012/Problem14_label57_false-unreach-call.c 1000    973    11233157120 apollon054 903    453    10104143872 apollon063 448     901    892    1794830336 apollon011 14.9   872     875     1.94  872     869     872     16.8   852     869     901    897    569483264 apollon149 1 0 .019 1.54  895     .654 1.47  1.26  1.46  1.12  .138 1.26  892    
eca-rers2012/Problem14_label58_false-unreach-call.c 907    896    7259324416 apollon015 15 6.03 387     487     904    454    10126012416 apollon138 445     901    893    1518751744 apollon060 7.86  881     883     1.49  881     879     881     10.6   868     879     903    893    1834110976 apollon075 18 0 15.9   8.99  875     1.94  8.86  7.76  8.84  6.89  .870 7.91  863    
eca-rers2012/Problem15_label00_false-unreach-call.c 1000    953    11537715200 apollon114 905    455    10693779456 apollon095 903    892    4595712000 apollon107 119     766     770     2.52  766     759     766     44.2   716     760     902    894    2068320256 apollon105 1 0 .268 12.8   890     1.46  12.6   11.3   12.6   7.38  3.91  11.3   875    
eca-rers2012/Problem15_label02_false-unreach-call.c 1000    938    12651040768 apollon073 790    396    14999998464 apollon117 902    893    4579807232 apollon133 117     770     773     2.24  770     763     770     42.3   721     764     903    897    2068930560 apollon111 1 0 .045 9.76  894     1.49  9.67  8.58  9.64  5.95  2.63  8.58  882    
eca-rers2012/Problem15_label03_false-unreach-call.c 1000    934    12485496832 apollon160 905    454    10703577088 apollon071 906    895    6054641664 apollon118 275     613     617     2.90  612     605     612     44.9   560     605     902    896    2073042944 apollon082 1 0 .271 8.77  893     1.18  8.66  7.62  8.61  5.81  1.80  7.62  882    
eca-rers2012/Problem15_label07_false-unreach-call.c 1000    933    12591296512 apollon143 772    387    14999998464 apollon046 902    892    4565266432 apollon053 51.1   835     839     2.39  835     828     835     38.7   791     829     902    895    2059333632 apollon150 1 0 .038 11.0   891     1.63  10.8   9.51  10.8   7.24  2.04  9.28  878    
eca-rers2012/Problem15_label09_false-unreach-call.c 1000    937    12666617856 apollon098 906    456    13932126208 apollon155 447     902    893    3211669504 apollon043 46.0   841     844     2.29  841     837     841     25.3   812     837     904    894    3272871936 apollon072 3 0 7.63  22.9   883     2.48  22.5   20.1   22.4   14.0   6.09  20.1   857    
eca-rers2012/Problem15_label14_false-unreach-call.c 1000    943    12623912960 apollon129 906    456    13378637824 apollon106 447     903    890    4529364992 apollon033 50.3   832     837     2.90  832     825     832     45.4   780     826     904    898    2080993280 apollon104 1 0 .245 10.0   895     1.29  9.93  8.84  9.91  6.18  2.66  8.84  883    
eca-rers2012/Problem15_label15_false-unreach-call.c 1000    937    12655091712 apollon161 905    455    10719436800 apollon119 447     905    896    6047469568 apollon130 219     672     675     2.34  672     666     672     36.0   630     666     902    895    2074365952 apollon095 1 0 .306 10.8   891     1.46  10.6   9.33  10.5   7.28  2.05  9.33  878    
eca-rers2012/Problem15_label18_false-unreach-call.c 1000    929    12966563840 apollon163 906    456    13315256320 apollon032 447     902    893    4558262272 apollon133 33.8   853     857     2.35  853     847     853     36.8   811     848     903    895    2079731712 apollon126 1 0 .061 12.2   891     1.46  12.1   10.8   12.0   7.54  3.04  10.6   877    
eca-rers2012/Problem15_label22_false-unreach-call.c 1000    933    12630937600 apollon026 902    452    10387152896 apollon155 902    892    4581691392 apollon156 119     767     771     2.37  767     760     767     43.7   717     761     903    895    2081812480 apollon073 1 0 .280 11.7   891     1.53  11.6   10.3   11.6   7.32  2.97  10.3   877    
eca-rers2012/Problem15_label23_false-unreach-call.c 1000    933    12975480832 apollon093 908    458    12662734848 apollon025 447     906    896    6051610624 apollon038 117     773     777     2.30  773     767     773     36.6   730     767     902    895    2065424384 apollon059 1 0 .265 10.8   891     1.31  10.6   9.34  10.6   7.25  2.08  9.34  878    
eca-rers2012/Problem15_label25_false-unreach-call.c 1000    955    11570720768 apollon055 906    456    13814788096 apollon004 447     905    895    6037925888 apollon113 179     711     714     2.19  711     704     711     38.4   666     704     904    896    3286769664 apollon093 2 0 7.04  20.0   886     2.09  19.9   17.7   19.8   12.3   5.37  17.7   863    
eca-rers2012/Problem15_label29_false-unreach-call.c 1000    948    11476770816 apollon072 905    455    11538706432 apollon051 447     903    891    4593065984 apollon002 67.0   817     821     2.79  817     811     817     35.1   777     812     904    895    4584734720 apollon097 4 0 22.2   29.4   870     2.50  29.2   26.1   29.2   18.1   8.01  26.1   837    
eca-rers2012/Problem15_label30_false-unreach-call.c 1000    953    11498786816 apollon096 905    454    10667581440 apollon001 447     902    892    4623257600 apollon164 67.0   818     822     2.65  818     811     818     47.0   765     812     903    897    2084945920 apollon073 1 0 .226 10.1   894     1.20  10.0   8.94  9.99  6.40  2.53  8.93  882    
eca-rers2012/Problem15_label33_false-unreach-call.c 1000    935    12620513280 apollon045 903    453    13829828608 apollon105 447     906    897    6060908544 apollon020 267     624     628     2.28  624     617     624     43.0   573     617     905    896    4653174784 apollon102 4 0 22.4   29.1   870     2.67  29.0   25.8   28.9   17.8   7.94  25.8   838    
eca-rers2012/Problem15_label34_false-unreach-call.c 1000    942    12586332160 apollon109 906    456    13653573632 apollon061 447     905    896    6022975488 apollon024 587     303     307     2.35  303     297     303     36.7   260     297     902    896    2077057024 apollon087 1 0 .251 9.30  892     1.11  9.18  8.19  9.15  5.87  2.30  8.18  881    
eca-rers2012/Problem15_label37_false-unreach-call.c 1000    942    12033806336 apollon046 907    456    13746003968 apollon045 447     902    892    3217883136 apollon021 27.9   858     862     2.45  858     853     858     30.3   824     854     904    893    4581888000 apollon158 4 0 27.1   33.0   862     3.24  32.7   29.2   32.7   20.6   8.66  29.2   824    
eca-rers2012/Problem15_label38_false-unreach-call.c 1000    935    12635136000 apollon013 907    456    13973344256 apollon111 906    897    6060793856 apollon066 387     504     507     2.19  504     498     504     36.0   462     498     902    895    2077224960 apollon100 1 0 .048 11.4   891     1.53  11.3   10.0   11.2   7.07  2.94  10.0   877    
eca-rers2012/Problem15_label39_false-unreach-call.c 1000    933    12633346048 apollon093 903    453    10715246592 apollon131 447     902    891    4578652160 apollon117 104     781     785     2.58  780     773     780     46.5   727     774     903    896    2046308352 apollon077 1 0 .227 9.38  892     1.25  9.22  8.12  9.20  6.30  1.81  8.11  881    
eca-rers2012/Problem15_label40_false-unreach-call.c 1000    931    12614230016 apollon069 823    412    14999998464 apollon045 902    891    4596482048 apollon030 95.8   789     793     2.31  789     783     789     38.3   746     784     904    894    4626591744 apollon062 4 0 31.1   29.3   860     2.99  29.0   26.0   29.0   18.3   7.73  26.0   826    
eca-rers2012/Problem15_label41_false-unreach-call.c 1000    938    12540481536 apollon072 905    454    10695720960 apollon051 447     902    893    4586983424 apollon067 108     780     783     2.22  780     773     779     37.3   737     774     902    897    2066886656 apollon082 1 0 .237 9.15  894     .960 9.01  7.99  8.98  5.66  2.33  7.99  883    
eca-rers2012/Problem15_label45_false-unreach-call.c 1000    937    12678135808 apollon044 906    456    13667987456 apollon095 902    891    4579151872 apollon070 67.2   817     821     2.61  817     810     817     45.1   765     811     904    895    4632100864 apollon155 4 0 24.9   29.6   867     2.70  29.5   26.3   29.4   18.3   8.00  26.3   834    
eca-rers2012/Problem15_label47_false-unreach-call.c 1000    939    12592136192 apollon128 904    454    13847191552 apollon113 905    896    6038548480 apollon075 177     713     717     2.28  713     707     713     36.1   671     707     902    896    2062090240 apollon060 1 0 .026 9.23  893     1.12  9.02  7.75  9.01  5.93  1.81  7.75  882    
eca-rers2012/Problem15_label48_false-unreach-call.c 1000    943    12671766528 apollon077 906    456    13878444032 apollon039 447     902    893    4580413440 apollon026 43.1   845     848     2.10  844     839     844     31.6   809     840     902    895    2063138816 apollon097 1 0 .386 12.8   891     1.63  12.6   11.3   12.6   7.29  4.04  11.3   876    
eca-rers2012/Problem15_label50_false-unreach-call.c 1000    942    12642697216 apollon082 903    453    11032645632 apollon163 447     902    893    3253268480 apollon168 29.1   859     862     2.29  859     853     858     29.5   825     855     905    898    2073210880 apollon098 1 0 .051 11.4   894     1.48  11.3   10.0   11.3   7.04  2.99  10.0   881    
eca-rers2012/Problem15_label51_false-unreach-call.c 1000    938    12617834496 apollon108 905    455    10710151168 apollon030 447     905    894    6009671680 apollon068 157     730     734     2.78  730     723     730     43.9   679     723     902    896    2064949248 apollon131 1 0 .232 9.50  892     1.35  9.35  8.18  9.32  6.25  1.93  8.18  881    
eca-rers2012/Problem16_label00_false-unreach-call.c 904    895    4294701056 apollon056 7 5.22 73.3   809     902    452    7077363712 apollon123 447     902    890    2482749440 apollon028 65.6   818     822     2.63  818     814     818     24.4   789     813     903    893    2960101376 apollon113 11 0 59.3   12.1   830     2.75  11.9   10.4   11.9   9.10  1.26  10.5   814    
eca-rers2012/Problem16_label01_false-unreach-call.c 905    896    5694169088 apollon148 8 5.60 117     765     903    453    8312610816 apollon045 447     902    890    2467688448 apollon052 67.3   816     820     2.56  815     811     815     25.9   785     811     903    893    2921938944 apollon060 11 0 68.8   14.1   821     2.97  13.9   12.1   13.9   10.6   1.52  12.3   803    
eca-rers2012/Problem16_label03_false-unreach-call.c 907    896    9004797952 apollon111 10 7.67 562     309     905    455    13538541568 apollon096 447     902    889    6933450752 apollon001 179     701     707     4.14  700     690     700     62.2   628     690     902    893    1925652480 apollon063 6 0 5.98  9.58  883     2.38  9.42  8.22  9.39  7.06  1.17  8.24  870    
eca-rers2012/Problem16_label04_false-unreach-call.c 908    897    9022996480 apollon118 10 6.35 462     411     904    454    11002748928 apollon097 447     902    886    5740105728 apollon120 93.8   782     789     4.71  781     770     781     71.9   698     770     904    894    1934835712 apollon163 6 0 7.35  10.4   883     2.73  10.2   8.90  10.2   7.65  1.24  8.91  869    
eca-rers2012/Problem16_label05_false-unreach-call.c 910    898    9114771456 apollon031 11 8.00 478     393     905    455    11043639296 apollon135 447     910    896    5274697728 apollon114 63.5   822     828     3.99  821     813     821     54.8   758     812     902    893    1422102528 apollon125 3 0 2.60  7.67  886     2.07  7.45  6.52  7.43  5.51  1.00  6.52  875    
eca-rers2012/Problem16_label06_false-unreach-call.c 910    900    10177171456 apollon135 11 7.14 556     316     905    455    13530603520 apollon077 447     902    891    5508698112 apollon104 72.1   811     817     3.83  810     801     810     54.9   747     801     902    893    2413895680 apollon093 8 0 12.3   13.4   878     2.61  13.2   11.3   13.2   9.71  1.62  11.4   861    
eca-rers2012/Problem16_label08_false-unreach-call.c 907    898    10200952832 apollon083 11 7.01 469     400     904    454    13570318336 apollon108 447     902    887    6037028864 apollon152 44.5   832     839     4.86  831     822     831     59.4   763     822     903    897    939130880 apollon102 1 0 .040 3.15  895     .936 3.04  2.44  3.02  2.15  .287 2.44  890    
eca-rers2012/Problem16_label14_false-unreach-call.c 908    898    10199199744 apollon015 11 6.78 487     384     905    455    13550407680 apollon075 447     902    891    5706866688 apollon095 39.3   843     849     4.13  842     833     842     54.3   779     834     902    895    943579136 apollon151 1 0 .207 3.96  892     1.30  3.84  3.37  3.82  2.85  .518 3.37  886    
eca-rers2012/Problem16_label15_false-unreach-call.c 909    898    10119778304 apollon087 11 6.57 448     424     904    454    13595586560 apollon121 447     902    887    6264033280 apollon072 117     760     767     4.84  759     748     759     65.7   683     749     903    892    1905373184 apollon165 5 0 6.13  9.95  883     2.50  9.72  8.45  9.69  7.05  1.39  8.46  869    
eca-rers2012/Problem16_label18_false-unreach-call.c 909    899    10305335296 apollon108 12 7.00 553     319     903    454    12177997824 apollon038 447     902    888    5321506816 apollon053 60.0   818     825     4.58  817     805     817     73.6   732     806     903    894    1929801728 apollon083 6 0 5.76  9.13  885     2.60  8.97  7.87  8.95  6.70  1.17  7.88  872    
eca-rers2012/Problem16_label20_false-unreach-call.c 907    895    8713482240 apollon062 10 7.06 431     443     904    454    11006341120 apollon024 447     902    889    6130503680 apollon094 70.8   810     816     4.12  809     801     809     52.9   748     801     902    894    1433403392 apollon072 3 0 2.13  4.12  889     1.65  3.98  3.39  3.96  2.96  .421 3.39  882    
eca-rers2012/Problem16_label22_false-unreach-call.c 908    899    9253949440 apollon080 11 6.88 485     390     905    454    12084310016 apollon118 447     902    891    5955080192 apollon059 99.9   783     789     4.04  782     775     782     48.7   726     775     903    895    1453977600 apollon165 3 0 2.12  4.63  890     1.62  4.49  3.88  4.46  3.41  .464 3.88  883    
eca-rers2012/Problem16_label27_false-unreach-call.c 908    897    8975785984 apollon165 10 6.86 608     263     905    455    13179637760 apollon132 447     905    890    5281603584 apollon115 60.0   818     826     5.29  818     807     818     65.7   741     807     903    895    945922048 apollon138 1 0 .053 3.94  891     1.60  3.84  3.37  3.83  2.98  .386 3.37  885    
eca-rers2012/Problem16_label30_false-unreach-call.c 907    896    9026322432 apollon082 10 6.63 525     347     904    454    10987880448 apollon079 447     901    891    5909450752 apollon148 85.4   797     803     4.00  797     788     797     58.0   730     788     902    895    933199872 apollon146 1 0 .260 3.86  892     1.19  3.73  3.19  3.69  2.81  .387 3.19  886    
eca-rers2012/Problem16_label31_false-unreach-call.c 909    897    10187550720 apollon118 12 7.89 510     360     904    454    10985377792 apollon104 447     902    888    5463670784 apollon015 44.9   833     840     5.09  832     822     832     61.7   761     823     901    896    942616576 apollon158 1 0 .043 3.23  893     .842 2.95  2.56  2.94  2.15  .402 2.56  888    
eca-rers2012/Problem16_label33_false-unreach-call.c 910    900    10171744256 apollon085 11 6.44 506     368     904    454    11085668352 apollon056 447     902    890    6005370880 apollon099 73.7   808     814     4.09  807     798     807     59.9   738     798     902    896    938672128 apollon141 1 0 .271 3.13  893     .986 3.04  2.64  3.02  2.20  .442 2.64  888    
eca-rers2012/Problem16_label37_false-unreach-call.c 907    897    9074384896 apollon133 11 7.16 539     330     903    454    11144462336 apollon081 447     901    888    6292385792 apollon081 108     771     777     4.21  771     763     771     45.2   718     763     902    895    1403875328 apollon105 3 0 2.11  5.95  889     1.94  5.76  5.02  5.74  4.13  .882 5.02  881    
eca-rers2012/Problem16_label38_false-unreach-call.c 909    898    9133318144 apollon040 11 6.92 543     333     904    454    11702484992 apollon087 447     902    889    5220290560 apollon102 45.4   833     840     4.97  832     822     832     61.9   761     823     902    892    1927716864 apollon097 6 0 5.72  9.73  884     2.44  9.39  8.25  9.36  7.02  1.23  8.26  870    
eca-rers2012/Problem16_label41_false-unreach-call.c 908    898    9131958272 apollon166 10 6.19 616     259     903    453    12114296832 apollon107 447     902    891    5966831616 apollon039 71.8   810     817     4.37  810     802     809     47.3   755     802     902    891    2451341312 apollon164 8 0 12.2   10.9   875     3.02  10.7   9.33  10.7   8.19  1.13  9.36  860    
eca-rers2012/Problem16_label43_false-unreach-call.c 907    896    9027436544 apollon080 11 6.94 490     381     904    454    11721371648 apollon072 902    890    5478780928 apollon148 73.8   808     814     3.70  808     798     808     57.3   741     799     903    894    1923932160 apollon079 5 0 6.00  9.61  885     2.55  9.44  8.22  9.39  7.00  1.21  8.23  872    
eca-rers2012/Problem16_label44_false-unreach-call.c 906    896    8634294272 apollon025 10 6.49 365     511     903    453    11698159616 apollon105 447     902    891    5555556352 apollon018 60.4   822     828     3.71  822     814     822     51.2   763     814     903    892    2909601792 apollon100 11 0 21.7   16.3   867     3.17  16.1   14.0   16.0   12.1   1.93  14.1   846    
eca-rers2012/Problem16_label46_false-unreach-call.c 908    898    9028042752 apollon092 11 7.12 486     389     905    455    13189943296 apollon047 446     902    891    5552394240 apollon098 72.5   810     816     3.79  810     800     809     57.1   744     801     902    892    2412945408 apollon091 9 0 12.6   12.7   876     2.35  12.5   11.0   12.5   9.44  1.51  11.0   860    
eca-rers2012/Problem16_label51_false-unreach-call.c 907    897    8960077824 apollon111 10 6.91 361     512     904    454    10139414528 apollon093 447     902    886    6362865664 apollon045 167     710     717     4.18  710     699     710     61.4   638     699     902    896    928743424 apollon104 1 0 .025 4.11  893     .972 4.01  3.37  3.99  2.84  .530 3.37  887    
eca-rers2012/Problem16_label52_false-unreach-call.c 907    896    9024012288 apollon022 10 7.62 622     249     903    453    10974326784 apollon021 447     902    888    5757140992 apollon059 77.6   802     808     3.98  801     791     801     64.4   727     791     901    896    939741184 apollon115 1 0 .215 3.10  893     .803 2.99  2.58  2.98  2.15  .435 2.58  888    
eca-rers2012/Problem16_label54_false-unreach-call.c