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/Problem04_label27_false-unreach-call.c 917    689    11366043648 apollon155 903    453    6199193600 apollon110 918    581    11700903936 apollon057 789    771    14999998464 apollon087
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_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_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_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_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_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_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_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_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_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_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_label59_false-unreach-call.c 917    657    11235364864 apollon147 962    489    11366785024 apollon096 442     918    589    11654758400 apollon046 262    244    14999998464 apollon146
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_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_label43_false-unreach-call.c 912    881    4995309568 apollon143 901    453    7616606208 apollon091 415     913    725    12623319040 apollon127 801    540    14999998464 apollon150
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/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_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/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_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_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/Problem17_label04_false-unreach-call.c 911    899    11539738624 apollon159 5 6.47 130     753     608    304    14999998464 apollon102 903    895    3416657920 apollon022 12.7   877     880     2.23  876     874     876     12.4   864     876     904    894    4992425984 apollon132 2 0 12.4   23.9   878     2.95  23.7   20.6   23.7   20.1   .500 20.6   850    
eca-rers2012/Problem17_label07_false-unreach-call.c 908    899    11568488448 apollon089 5 5.92 111     772     653    327    14999998464 apollon016 903    894    5037477888 apollon137 64.7   822     826     2.97  822     816     822     39.4   778     817     905    892    4970401792 apollon109 2 0 15.7   29.6   872     3.90  29.4   25.4   29.4   24.7   .677 25.4   837    
eca-rers2012/Problem17_label09_false-unreach-call.c 908    897    11560337408 apollon057 5 5.85 118     764     612    306    14999998464 apollon082 903    894    3385544704 apollon039 14.7   874     877     2.20  874     872     874     13.0   860     873     905    894    5024858112 apollon130 2 0 14.9   27.2   875     3.10  26.9   23.2   26.9   22.5   .632 23.2   844    
eca-rers2012/Problem17_label13_false-unreach-call.c 910    898    11546472448 apollon126 5 6.23 121     762     699    350    14999998464 apollon126 903    895    3402141696 apollon003 13.3   876     880     2.11  876     874     876     12.0   864     876     903    892    3323572224 apollon063 1 0 15.9   25.2   872     3.49  25.0   21.4   24.9   22.6   .328 22.9   841    
eca-rers2012/Problem17_label16_false-unreach-call.c 910    899    11557433344 apollon015 5 6.75 142     740     450    225    14999998464 apollon003 903    895    3389206528 apollon032 16.1   874     877     2.11  874     871     874     14.8   858     873     905    893    5021933568 apollon143 2 0 13.5   26.0   876     3.60  25.8   22.3   25.7   21.8   .552 22.3   845    
eca-rers2012/Problem17_label20_false-unreach-call.c 908    898    11527520256 apollon141 5 6.09 135     748     572    286    14999998464 apollon065 903    896    3419070464 apollon051 12.5   878     881     2.11  877     875     877     12.1   865     877     904    894    5014380544 apollon133 2 0 12.6   24.8   878     2.92  24.3   21.0   24.3   20.5   .558 21.0   850    
eca-rers2012/Problem17_label23_false-unreach-call.c 910    900    11523059712 apollon149 5 5.81 130     754     542    272    14999998464 apollon068 903    896    3387207680 apollon016 13.1   878     881     2.00  878     875     878     12.1   865     877     905    895    5025759232 apollon137 2 0 14.0   25.4   878     3.08  25.1   21.6   25.1   21.1   .571 21.6   848    
eca-rers2012/Problem17_label25_false-unreach-call.c 908    897    11538264064 apollon065 5 6.10 116     766     818    410    14999998464 apollon015 903    895    3421134848 apollon082 13.4   876     879     2.27  876     873     876     12.5   863     875     905    895    5008220160 apollon134 2 0 12.7   23.3   879     3.49  23.2   20.0   23.1   19.5   .509 20.0   851    
eca-rers2012/Problem17_label26_false-unreach-call.c 910    896    11546832896 apollon103 5 6.93 137     741     539    270    14999998464 apollon138 903    895    3411001344 apollon123 13.0   877     880     2.17  877     875     877     12.0   864     876     905    894    5042024448 apollon086 2 0 12.9   24.0   878     3.21  23.8   20.6   23.8   20.1   .538 20.7   849    
eca-rers2012/Problem17_label33_false-unreach-call.c 908    897    11554164736 apollon086 5 6.39 128     753     480    240    14999998464 apollon068 903    895    3411542016 apollon048 12.5   877     880     2.11  877     875     877     12.3   864     877     905    894    5020319744 apollon076 2 0 13.2   25.0   877     3.04  24.8   21.4   24.7   20.8   .544 21.4   848    
eca-rers2012/Problem17_label34_false-unreach-call.c 839    794    14999998464 apollon063 905    455    13010042880 apollon017 446     903    895    3452182528 apollon111 12.8   877     879     1.97  876     874     876     12.4   863     876     905    895    5025177600 apollon115 2 0 13.1   24.4   878     3.03  24.3   20.7   24.0   20.2   .532 20.7   850    
eca-rers2012/Problem17_label35_false-unreach-call.c 908    897    11547148288 apollon040 5 6.62 135     745     711    356    14999998464 apollon103 903    895    3404943360 apollon145 13.6   875     879     2.34  875     873     875     13.0   861     874     904    894    4995563520 apollon130 2 0 14.4   26.8   876     3.15  26.7   22.6   26.6   22.0   .612 22.6   845    
eca-rers2012/Problem17_label46_false-unreach-call.c 775    733    14999998464 apollon096 854    428    14999998464 apollon118 903    894    4983939072 apollon069 59.3   827     832     3.33  827     820     827     42.7   779     821     904    894    4943826944 apollon057 2 0 12.4   24.4   879     3.13  24.3   20.9   24.2   20.4   .559 20.9   850    
eca-rers2012/Problem17_label50_false-unreach-call.c 917    892    13069303808 apollon168 511    256    14999998464 apollon096 903    893    4978671616 apollon057 47.0   840     843     2.13  840     835     840     24.3   813     837     903    893    3308777472 apollon168 1 0 .071 15.2   889     2.14  15.0   13.0   15.0   12.4   .318 12.7   871    
eca-rers2012/Problem17_label57_false-unreach-call.c 722    677    14999998464 apollon026 626    313    14999998464 apollon086 903    895    3407048704 apollon147 12.3   877     880     1.97  877     875     877     12.2   864     877     904    893    5019680768 apollon158 2 0 13.7   26.1   876     3.27  25.8   22.4   25.8   21.8   .574 22.4   845    
eca-rers2012/Problem18_label00_false-unreach-call.c 683    634    14999998464 apollon091 906    456    14780116992 apollon045 446     902    889    5726924800 apollon066 48.5   830     837     5.04  829     822     829     47.2   775     822     903    893    2498347008 apollon100 3 0 4.01  12.2   885     3.22  12.0   10.4   12.0   8.90  1.52  10.4   868    
eca-rers2012/Problem18_label01_false-unreach-call.c 704    653    14999998464 apollon039 906    456    14063308800 apollon083 445     902    890    5782601728 apollon066 33.4   847     854     4.65  847     842     847     28.4   814     843     902    891    2514063360 apollon079 3 0 4.20  13.0   883     3.20  12.7   11.0   12.6   9.49  1.53  11.0   865    
eca-rers2012/Problem18_label03_false-unreach-call.c 701    656    14999998464 apollon006 918    462    14870151168 apollon114 452     902    889    4562165760 apollon153 33.7   844     852     5.06  844     839     844     32.2   807     839     905    895    1745793024 apollon163 1 0 .411 6.95  891     2.52  6.79  5.68  6.75  4.91  .760 5.67  881    
eca-rers2012/Problem18_label06_false-unreach-call.c 883    829    14999998464 apollon070 906    456    14849175552 apollon143 446     902    890    4492333056 apollon128 25.9   854     861     4.97  854     847     853     40.6   807     848     904    890    3537629184 apollon084 4 0 15.1   22.4   871     4.50  22.1   19.4   22.1   16.6   2.87  19.5   842    
eca-rers2012/Problem18_label08_false-unreach-call.c 873    815    14999998464 apollon128 906    456    14831329280 apollon153 445     902    888    5801017344 apollon149 46.0   830     839     5.67  830     821     830     55.0   766     821     903    890    3544637440 apollon119 5 0 12.5   19.2   873     5.00  18.9   16.5   18.8   14.1   2.42  16.5   847    
eca-rers2012/Problem18_label10_false-unreach-call.c 701    644    14999998464 apollon079 905    456    14900453376 apollon003 446     902    889    4470910976 apollon012 25.6   852     860     5.67  851     844     851     43.1   802     845     904    890    3577016320 apollon141 4 0 15.0   26.0   871     4.76  25.5   22.7   25.4   16.7   5.93  22.7   839    
eca-rers2012/Problem18_label12_false-unreach-call.c 624    568    14999998464 apollon114 906    456    14777286656 apollon086 446     902    892    1904091136 apollon065 3.97  880     886     3.79  880     877     880     17.5   860     878     904    889    3505070080 apollon137 4 0 13.6   24.0   871     4.96  23.7   21.1   23.6   15.3   5.73  21.1   840    
eca-rers2012/Problem18_label19_false-unreach-call.c 667    615    14999998464 apollon132 904    454    14872330240 apollon126 446     902    891    4449964032 apollon042 26.2   856     862     4.17  856     851     855     24.4   828     852     903    888    3569979392 apollon110 5 0 15.1   22.3   868     5.62  22.0   19.3   21.9   16.6   2.72  19.3   839    
eca-rers2012/Problem18_label20_false-unreach-call.c 571    515    15000002560 apollon167 740    371    14999998464 apollon063 902    892    3469258752 apollon110 18.1   865     871     4.18  865     860     864     23.8   837     861     907    895    2593402880 apollon143 2 0 5.02  14.7   886     3.36  14.4   12.6   14.4   11.0   1.69  12.6   866    
eca-rers2012/Problem18_label25_false-unreach-call.c 501    447    14999998464 apollon122 903    454    14870835200 apollon144 446     902    890    3392557056 apollon108 19.2   860     868     5.13  860     855     860     33.2   822     855     903    889    3565502464 apollon147 4 0 13.4   21.3   872     4.50  20.9   18.4   20.9   15.8   2.58  18.4   844    
eca-rers2012/Problem18_label27_false-unreach-call.c 577    523    14999998464 apollon160 904    454    12803153920 apollon038 446     902    890    4480802816 apollon069 24.8   855     862     5.19  854     849     854     30.9   819     850     902    894    1750511616 apollon094 1 0 .272 5.93  890     1.53  5.84  5.09  5.81  4.38  .715 5.09  882    
eca-rers2012/Problem18_label33_false-unreach-call.c 547    491    14999998464 apollon013 904    454    14775742464 apollon111 446     902    892    3379523584 apollon062 16.3   867     873     3.56  867     864     867     19.7   845     864     904    889    3523420160 apollon060 4 0 15.1   25.3   870     5.21  24.7   22.0   24.6   16.4   5.56  22.0   837    
eca-rers2012/Problem18_label34_false-unreach-call.c 690    636    15000002560 apollon076 644    323    14999998464 apollon080 902    892    3498799104 apollon041 18.4   863     870     4.67  863     859     863     20.5   840     860     902    892    1756229632 apollon109 1 0 .423 11.5   888     2.09  11.3   10.3   11.3   6.03  4.25  10.3   873    
eca-rers2012/Problem18_label36_false-unreach-call.c 577    531    14999998464 apollon029 906    456    14887940096 apollon027 446     902    891    4548079616 apollon150 26.8   855     861     4.52  854     850     854     26.5   824     851     902    893    1755226112 apollon163 1 0 .347 9.53  890     2.12  9.40  8.47  9.38  4.79  3.69  8.47  877    
eca-rers2012/Problem18_label38_false-unreach-call.c 722    664    14999998464 apollon115 906    456    14659973120 apollon038 446     902    890    4471160832 apollon079 23.3   857     864     4.82  857     852     856     25.3   828     853     902    892    1756540928 apollon101 1 0 .087 11.9   888     2.42  11.4   10.3   11.4   5.81  4.48  10.3   872    
eca-rers2012/Problem18_label39_false-unreach-call.c 620    559    14999998464 apollon159 905    455    11975065600 apollon022 903    888    5703020544 apollon161 35.5   843     850     4.92  842     835     842     40.5   795     836     902    894    1753624576 apollon095 1 0 .329 6.92  889     1.80  6.75  5.78  6.72  4.92  .855 5.77  879    
eca-rers2012/Problem18_label45_false-unreach-call.c 567    511    14999998464 apollon067 904    454    14890602496 apollon133 446     902    891    6645239808 apollon090 73.9   806     814     4.88  806     798     806     47.5   751     799     902    892    2500198400 apollon129 3 0 4.21  12.4   884     3.08  12.2   10.6   12.1   9.03  1.53  10.6   867    
eca-rers2012/Problem18_label52_false-unreach-call.c 722    672    14999998464 apollon071 904    454    12952653824 apollon088 446     902    891    3397775360 apollon131 17.7   865     870     3.65  865     861     865     20.6   841     862     902    891    2499358720 apollon104 3 0 4.34  15.0   884     3.15  14.8   13.2   14.7   9.02  4.13  13.2   864    
eca-rers2012/Problem18_label55_false-unreach-call.c 811    751    14999998464 apollon018 910    460    13547139072 apollon044 446     902    890    6644981760 apollon142 69.3   811     818     4.80  810     804     810     33.0   772     805     902    894    1745149952 apollon159 1 0 .316 9.84  890     2.02  9.66  8.70  9.62  5.04  3.66  8.70  877    
eca-rers2012/Problem18_label57_false-unreach-call.c 650    613    14999998464 apollon131 906    456    14942584832 apollon009 445     902    891    4539281408 apollon076 27.7   854     861     4.41  854     850     853     20.7   830     851     902    894    1757265920 apollon062 1 0 .321 9.66  891     1.84  9.53  8.61  9.49  4.90  3.70  8.60  878    
eca-rers2012/Problem19_label10_false-unreach-call.c 251    241    14999998464 apollon041 383    192    14999998464 apollon143 909    894    10075115520 apollon019 96.3   785     793     5.61  785     777     785     44.8   732     777     905    893    6527856640 apollon091 1 0 .355 33.1   888     4.11  32.9   28.8   32.8   23.3   5.45  28.8   849    
eca-rers2012/Problem19_label11_false-unreach-call.c 527    515    14999998464 apollon022 230    115    14999998464 apollon064 905    891    6817730560 apollon027 23.7   856     864     5.13  856     851     856     31.2   823     854     909    898    6541279232 apollon092 1 0 .352 34.7   893     4.17  34.4   30.4   34.4   24.6   5.82  30.4   852    
eca-rers2012/Problem19_label14_false-unreach-call.c 908    893    13752430592 apollon058 5 12.8  166     699     251    126    14999998464 apollon064 905    891    6991515648 apollon127 31.8   846     856     7.63  845     835     845     62.9   775     838     904    894    6549032960 apollon116 1 0 .043 29.2   890     3.57  28.7   25.3   28.7   20.5   4.81  25.3   855    
eca-rers2012/Problem19_label17_false-unreach-call.c 247    235    14999998464 apollon103 256    128    14999998464 apollon001 905    892    6745939968 apollon003 22.4   860     866     4.84  859     852     859     41.2   814     856     905    894    6545641472 apollon155 1 0 .346 29.9   889     3.30  29.7   26.1   29.7   21.0   5.04  26.1   855    
eca-rers2012/Problem19_label18_false-unreach-call.c 237    225    14999998464 apollon134 282    141    14999998464 apollon098 906    892    10170839040 apollon161 92.1   785     796     7.81  784     768     784     101     671     772     905    894    6519164928 apollon142 1 0 .071 30.7   889     3.43  30.3   26.9   30.3   21.7   5.21  26.9   853    
eca-rers2012/Problem19_label19_false-unreach-call.c 221    211    14999998464 apollon045 256    129    14999998464 apollon061 905    892    6783676416 apollon055 34.7   846     853     5.23  845     837     845     49.8   791     840     905    892    6529978368 apollon135 1 0 .106 35.7   887     4.59  35.4   31.0   35.3   25.3   5.74  31.0   844    
eca-rers2012/Problem19_label21_false-unreach-call.c 470    458    14999998464 apollon019 251    126    14999998464 apollon070 906    893    6793330688 apollon162 25.6   857     864     4.70  857     849     857     42.4   811     853     905    893    6533943296 apollon138 1 0 .409 32.1   887     3.92  31.9   28.1   31.9   22.9   5.24  28.1   850    
eca-rers2012/Problem19_label22_false-unreach-call.c 230    220    14999998464 apollon155 259    130    14999998464 apollon052 905    890    6791127040 apollon144 24.5   853     862     5.74  853     848     853     39.8   811     851     905    893    6523584512 apollon086 1 0 .086 30.6   887     3.96  30.3   26.8   30.3   21.6   5.21  26.8   851    
eca-rers2012/Problem19_label26_false-unreach-call.c 255    239    14999998464 apollon146 286    143    14999998464 apollon061 906    892    6795489280 apollon002 28.4   851     859     5.57  851     845     851     36.1   813     849     905    893    6546493440 apollon067 1 0 .049 29.9   888     4.11  29.3   25.9   29.3   21.0   4.82  25.8   853    
eca-rers2012/Problem19_label27_false-unreach-call.c 194    182    14999998464 apollon112 252    126    14999998464 apollon102 906    892    6810689536 apollon068 24.3   856     864     5.39  856     850     855     30.2   824     854     905    892    6512066560 apollon116 1 0 .088 34.7   887     3.75  33.8   29.8   33.8   24.2   5.67  29.8   847    
eca-rers2012/Problem19_label28_false-unreach-call.c 323    311    14999998464 apollon099 232    116    14999998464 apollon142 905    891    6785826816 apollon035 23.0   857     864     5.27  856     848     856     45.5   806     852     905    894    6537981952 apollon117 1 0 .045 29.8   889     3.31  29.6   25.9   29.5   20.9   5.01  25.9   855    
eca-rers2012/Problem19_label29_false-unreach-call.c 345    333    14999998464 apollon019 231    116    14999998464 apollon001 483    469    14999998464 apollon013 906    893    6519242752 apollon147 1 0 .059 36.2   887     4.45  35.6   31.4   35.6   25.4   6.02  31.4   845    
eca-rers2012/Problem19_label31_false-unreach-call.c 217    207    14999998464 apollon044 244    123    14999998464 apollon113 905    893    6842621952 apollon056 25.3   855     864     6.12  855     847     855     43.9   807     851     906    895    6561624064 apollon142 1 0 .356 28.4   890     4.04  28.2   24.9   28.2   20.4   4.47  24.9   856    
eca-rers2012/Problem19_label32_false-unreach-call.c 240    229    14999998464 apollon042 270    135    14999998464 apollon117 906    888    6893182976 apollon136 29.4   842     855     9.13  841     826     841     97.6   732     829     906    892    6522638336 apollon147 1 0 .056 36.8   886     4.52  36.0   31.7   35.9   25.8   5.94  31.7   843    
eca-rers2012/Problem19_label41_false-unreach-call.c 302    289    14999998464 apollon032 397    199    14999998464 apollon055 905    891    10189029376 apollon159 111     767     777     6.39  767     752     767     85.1   671     756     905    894    6522556416 apollon095 1 0 .521 28.6   889     3.59  28.3   25.0   28.3   20.5   4.51  25.0   855    
eca-rers2012/Problem19_label42_false-unreach-call.c 205    193    14999998464 apollon113 265    133    14999998464 apollon021 905    893    6765969408 apollon135 24.8   858     865     4.60  858     850     858     41.8   812     854     906    892    6522982400 apollon122 1 0 .563 30.6   886     4.12  30.4   26.6   30.3   21.7   4.89  26.6   850    
eca-rers2012/Problem19_label43_false-unreach-call.c 262    250    14999998464 apollon075 248    124    14999998464 apollon079 906    894    6770847744 apollon013 23.3   860     867     4.69  860     852     860     42.5   813     856     905    894    6519050240 apollon168 1 0 .586 28.9   888     3.72  28.7   25.2   28.7   20.5   4.74  25.2   854    
eca-rers2012/Problem19_label47_false-unreach-call.c 252    239    14999998464 apollon002 235    118    14999998464 apollon079 905    893    6826934272 apollon102 24.2   858     865     4.92  858     853     858     30.6   825     856     905    894    6538244096 apollon067 1 0 .373 29.3   888     3.73  29.1   25.5   29.0   20.9   4.56  25.5   854    
eca-rers2012/Problem19_label50_false-unreach-call.c 233    222    14999998464 apollon052 242    121    14999998464 apollon018 906    890    6944829440 apollon161 26.0   847     859     8.63  847     832     846     95.8   740     835     905    894    6537895936 apollon068 1 0 .328 29.6   889     3.48  29.4   25.9   29.4   20.9   4.98  25.9   854    
eca-rers2012/Problem19_label51_false-unreach-call.c 221    209    14999998464 apollon129 242    121    14999998464 apollon164 906    892    6907674624 apollon081 27.5   849     860     7.97  849     834     848     84.9   753     838     907    896    6521073664 apollon099 1 0 .346 30.4   891     3.51  30.2   26.5   30.1   21.2   5.32  26.5   856    
eca-rers2012/Problem19_label53_false-unreach-call.c 247    235    14999998464 apollon083 240    120    14999998464 apollon004 905    891    6801739776 apollon048 23.0   856     864     5.39  856     850     856     30.4   823     854     910    898    6517366784 apollon098 1 0 .586 31.2   893     3.64  31.0   26.9   30.9   21.3   5.59  26.9   856    
eca-rers2012/Problem19_label55_false-unreach-call.c 209    195    14999998464 apollon039 309    155    14999998464 apollon046 906    890    6779174912 apollon133 26.2   852     860     5.44  852     844     852     45.6   802     848     905    891    6521769984 apollon066 1 0 .117 35.5   885     4.81  35.2   31.1   35.1   25.2   5.93  31.1   843    
eca-rers2012/Problem19_label58_false-unreach-call.c 248    233    14999998464 apollon069 248    125    14999998464 apollon070 904    892    6773252096 apollon143 36.4   845     852     4.65  844     837     844     42.9   794     837     906    892    6509834240 apollon109 1 0 .095 35.3   887     4.04  34.5   30.3   34.4   24.4   5.84  30.3   846    
eca-rers2012/Problem19_label59_false-unreach-call.c 215    203    14999998464 apollon149 254    128    14999998464 apollon002 905    893    6803070976 apollon082 24.8   857     864     5.17  857     851     857     29.7   825     855     905    893    6515392512 apollon117 1 0 .085 30.1   888     3.84  29.4   25.8   29.3   20.9   4.95  25.8   853    
eca-rers2012/Problem01_label00_true-unreach-call.c 903    893    1928794112 apollon052 76 16.3  828     27.4   9.06 4.69 419684352 apollon031 2.46  1 .546 .008 .001 1.64 .041 8.63 4.48 429588480 apollon031 .051 .496 2.65  1.42  .363 .207 .339 .102 .088 .190 11.9  6.28 456773632 apollon103 10 1 .476 .401 3.46  1.53  .285 .140 .261 .130 .006 .200 .717
eca-rers2012/Problem01_label01_true-unreach-call.c 903    892    1955672064 apollon105 79 17.0  823     29.4   9.28 4.78 420630528 apollon081 2.49  1 .551 .009 .00  1.60 .108 9.48 4.94 417071104 apollon071 .094 .594 3.00  1.55  .456 .283 .420 .141 .125 .266 9.69 5.10 378855424 apollon086 6 1 .188 .379 2.75  1.34  .260 .152 .218 .144 .006 .182 .405
eca-rers2012/Problem01_label02_true-unreach-call.c 903    891    1854541824 apollon065 77 17.4  822     29.8   9.00 4.64 416108544 apollon057 2.39  1 .570 .038 .00  1.37 .073 10.6  5.53 450605056 apollon036 .182 .884 3.41  1.54  .632 .404 .592 .202 .185 .387 11.6  6.03 455331840 apollon091 10 1 .340 .375 3.52  1.79  .292 .145 .250 .133 .008 .207 .540
eca-rers2012/Problem01_label03_true-unreach-call.c 903    891    1877753856 apollon111 77 17.7  822     29.4   9.22 4.76 417345536 apollon040 2.42  1 .548 .017 .00  1.51 .078 12.7  6.56 457510912 apollon164 .252 1.08  4.41  2.11  .864 .577 .821 .286 .260 .546 9.34 4.96 396677120 apollon144 6 1 .239 .310 2.56  1.25  .213 .093 .188 .088 .004 .132 .236
eca-rers2012/Problem01_label04_true-unreach-call.c 903    893    1907503104 apollon072 77 16.8  825     28.7   8.74 4.53 419487744 apollon100 2.28  1 .506 .010 .00  1.45 .040 12.1  6.27 450027520 apollon069 .189 1.02  4.20  2.07  .798 .519 .732 .253 .240 .493 10.7  5.66 440594432 apollon057 10 1 .356 .470 3.23  1.43  .326 .144 .289 .132 .007 .181 .518
eca-rers2012/Problem01_label05_true-unreach-call.c 903    890    1942818816 apollon076 78 19.7  813     33.2   9.40 4.84 531255296 apollon077 2.47  1 .577 .020 .00  1.75 .086 10.0  5.19 448806912 apollon105 .167 .743 3.18  1.53  .580 .371 .535 .179 .174 .353 11.6  6.08 456859648 apollon094 10 1 .487 .390 3.52  1.72  .279 .128 .249 .121 .006 .173 .636
eca-rers2012/Problem01_label06_true-unreach-call.c 903    893    1930686464 apollon004 78 16.6  822     30.4   9.06 4.69 418357248 apollon137 2.46  1 .522 .018 .00  1.59 .042 8.74 4.53 420638720 apollon110 .053 .492 2.64  1.42  .368 .211 .333 .109 .091 .200 10.6  5.62 373944320 apollon083 6 1 .274 .368 2.94  1.47  .251 .120 .221 .112 .006 .150 .233
eca-rers2012/Problem01_label07_true-unreach-call.c 903    893    1922588672 apollon086 77 17.8  819     31.5   9.06 4.69 422846464 apollon041 2.41  1 .463 .020 .00  1.64 .101 8.51 4.45 408215552 apollon071 .049 .471 2.59  1.31  .351 .200 .319 .105 .080 .185 9.96 5.22 391225344 apollon085 6 1 .259 .333 2.78  1.39  .239 .100 .210 .092 .004 .135 .421
eca-rers2012/Problem01_label08_true-unreach-call.c 902    892    1924136960 apollon055 78 16.9  825     27.8   9.54 4.92 419409920 apollon160 2.49  1 .641 .009 .00  1.61 .046 10.5  5.45 447971328 apollon045 .168 .820 3.44  1.57  .629 .407 .580 .190 .192 .382 10.5  5.65 436862976 apollon106 10 1 .340 .413 3.24  1.35  .320 .167 .290 .158 .007 .206 .530
eca-rers2012/Problem01_label09_true-unreach-call.c 903    892    1826930688 apollon064 75 16.8  827     27.6   9.61 4.97 474918912 apollon103 2.64  1 .594 .019 .00  1.72 .054 9.73 5.04 428204032 apollon145 .097 .652 3.09  1.53  .483 .296 .445 .142 .135 .277 9.62 5.08 389767168 apollon117 6 1 .282 .390 2.64  1.14  .280 .137 .259 .118 .006 .155 .311
eca-rers2012/Problem01_label10_true-unreach-call.c 903    891    1916612608 apollon126 78 18.1  818     31.1   8.93 4.63 422240256 apollon102 2.33  1 .566 .009 .00  1.47 .039 9.69 5.04 431140864 apollon104 .088 .592 3.08  1.55  .453 .282 .428 .147 .119 .266 11.0  5.81 439332864 apollon121 10 1 .394 .436 3.35  1.60  .293 .153 .258 .134 .006 .184 .515
eca-rers2012/Problem01_label11_true-unreach-call.c 902    892    1943826432 apollon102 79 16.8  824     28.9   8.83 4.56 421851136 apollon031 2.31  1 .495 .008 .00  1.49 .041 9.36 4.88 429764608 apollon132 .107 .620 2.81  1.34  .403 .238 .367 .116 .099 .215 9.58 5.02 389451776 apollon081 6 1 .290 .341 2.58  1.15  .247 .095 .200 .086 .005 .130 .295
eca-rers2012/Problem01_label12_true-unreach-call.c 903    892    1918906368 apollon100 78 16.6  824     29.0   8.89 4.59 420990976 apollon166 2.37  1 .544 .007 .00  1.50 .041 8.70 4.54 420401152 apollon058 .060 .558 2.65  1.37  .348 .221 .332 .105 .092 .197 9.77 5.17 378437632 apollon154 6 1 .249 .325 2.68  1.15  .233 .108 .205 .084 .006 .125 .375
eca-rers2012/Problem01_label13_true-unreach-call.c 903    893    2296074240 apollon020 81 17.1  822     31.4   9.24 4.79 418906112 apollon053 2.47  1 .580 .009 .00  1.68 .043 11.2  5.79 430338048 apollon094 .112 .787 3.37  1.60  .501 .301 .467 .150 .131 .281 9.98 5.25 389685248 apollon067 6 1 .210 .289 2.78  1.48  .187 .086 .164 .077 .007 .112 .250
eca-rers2012/Problem01_label14_true-unreach-call.c 903    890    1903489024 apollon015 78 19.0  817     29.8   9.60 4.94 478732288 apollon144 2.50  1 .576 .020 .00  1.71 .054 9.72 5.07 420544512 apollon097 .104 .736 3.14  1.45  .470 .301 .440 .161 .127 .288 9.96 5.24 386199552 apollon068 6 1 .291 .354 2.87  1.50  .270 .106 .231 .097 .005 .135 .289
eca-rers2012/Problem01_label16_true-unreach-call.c 903    892    1931358208 apollon025 77 16.6  825     28.1   9.78 5.05 508878848 apollon047 2.67  1 .554 .034 .001 1.84 .108 10.4  5.42 424390656 apollon031 .109 .764 3.23  1.57  .500 .304 .472 .156 .134 .290 7.81 4.15 305647616 apollon080 3 1 .126 .277 2.01  1.11  .188 .109 .172 .084 .003 .096 .106
eca-rers2012/Problem01_label17_true-unreach-call.c 903    892    2023370752 apollon038 80 18.6  817     31.8   9.05 4.67 418635776 apollon029 2.45  1 .497 .008 .001 1.63 .086 9.01 4.66 416751616 apollon137 .054 .600 2.74  1.35  .357 .228 .331 .113 .095 .208 11.2  5.92 387198976 apollon125 6 1 .342 .414 3.29  1.63  .286 .134 .238 .124 .006 .177 .467
eca-rers2012/Problem01_label18_true-unreach-call.c 902    892    2380668928 apollon127 83 17.8  818     32.4   9.14 4.72 422453248 apollon010 2.42  1 .563 .016 .00  1.57 .045 8.99 4.68 424026112 apollon107 .052 .501 2.67  1.37  .359 .220 .338 .110 .097 .207 9.59 5.09 359800832 apollon145 6 1 .219 .360 2.66  1.31  .246 .097 .224 .088 .006 .142 .299
eca-rers2012/Problem01_label19_true-unreach-call.c 903    892    1812791296 apollon164 74 17.1  825     28.3   9.90 5.10 503275520 apollon132 2.72  1 .525 .017 .00  1.86 .095 9.44 4.91 423706624 apollon029 .093 .595 2.94  1.60  .440 .285 .419 .141 .126 .267 9.44 4.97 371470336 apollon082 6 1 .193 .321 2.59  1.10  .223 .119 .214 .089 .029 .156 .448
eca-rers2012/Problem01_label22_true-unreach-call.c 903    890    1922633728 apollon062 79 17.6  819     30.6   8.98 4.66 419999744 apollon132 2.38  1 .559 .013 .00  1.52 .043 10.5  5.43 442023936 apollon047 .105 .719 3.42  1.70  .552 .361 .523 .176 .151 .327 7.79 4.15 309161984 apollon095 3 1 .142 .256 2.02  .957 .151 .074 .138 .071 .002 .081 .089
eca-rers2012/Problem01_label23_true-unreach-call.c 903    891    1907752960 apollon011 78 17.4  823     28.5   9.73 5.01 458854400 apollon128 2.62  1 .628 .025 .00  1.78 .095 8.48 4.44 420147200 apollon007 .096 .544 2.48  1.18  .329 .182 .298 .109 .057 .166 11.3  6.04 432533504 apollon066 10 1 .414 .404 3.41  1.55  .304 .130 .279 .117 .011 .159 .647
eca-rers2012/Problem01_label24_true-unreach-call.c 903    890    1833541632 apollon033 73 18.9  819     29.3   8.81 4.55 420470784 apollon141 2.32  1 .540 .008 .00  1.54 .083 9.82 5.10 420012032 apollon056 .105 .637 3.11  1.49  .471 .297 .437 .150 .124 .274 10.8  5.77 430612480 apollon057 10 1 .432 .427 3.27  1.59  .324 .146 .308 .136 .008 .189 .458
eca-rers2012/Problem01_label25_true-unreach-call.c 902    891    1899134976 apollon051 77 16.9  823     29.0   8.77 4.52 421748736 apollon036 2.28  1 .523 .013 .001 1.46 .042 8.90 4.61 423849984 apollon013 .057 .487 2.70  1.46  .362 .205 .327 .103 .088 .191 11.4  6.06 381149184 apollon086 6 1 .364 .368 3.23  1.70  .264 .111 .236 .091 .017 .146 .302
eca-rers2012/Problem01_label26_true-unreach-call.c 902    893    1945133056 apollon013 80 17.4  824     29.2   8.92 4.62 426401792 apollon011 2.36  1 .484 .008 .00  1.65 .049 9.41 4.92 425177088 apollon058 .083 .559 3.00  1.48  .445 .278 .422 .141 .119 .260 10.8  5.68 446210048 apollon068 10 1 .377 .396 3.15  1.50  .256 .122 .244 .112 .007 .149 .597
eca-rers2012/Problem01_label27_true-unreach-call.c 902    892    1915187200 apollon073 77 17.5  820     30.9   8.86 4.59 420773888 apollon059 2.38  1 .540 .007 .00  1.50 .043 11.1  5.74 460947456 apollon139 .213 .865 3.65  1.73  .680 .456 .642 .236 .192 .428 14.4  7.58 451522560 apollon105 10 1 .551 .558 4.34  2.02  .405 .201 .368 .178 .021 .261 .801
eca-rers2012/Problem01_label28_true-unreach-call.c 903    890    1896067072 apollon097 77 19.5  814     32.2   9.10 4.70 419987456 apollon025 2.47  1 .556 .008 .00  1.54 .075 12.0  6.19 435232768 apollon120 .112 .773 3.81  2.00  .590 .358 .535 .178 .157 .335 7.81 4.15 296136704 apollon058 3 1 .134 .226 1.97  1.08  .149 .082 .139 .076 .002 .093 .131
eca-rers2012/Problem01_label29_true-unreach-call.c 902    891    1951113216 apollon117 79 16.9  824     28.2   9.48 4.89 451067904 apollon149 2.54  1 .519 .011 .00  1.69 .075 11.9  6.15 454168576 apollon157 .114 .942 4.12  2.04  .719 .466 .660 .225 .216 .441 15.0  7.83 452874240 apollon159 10 1 .610 .493 4.42  2.09  .369 .188 .348 .175 .009 .270 .830
eca-rers2012/Problem01_label30_true-unreach-call.c 905    894    1911824384 apollon003 75 16.5  829     27.3   10.0  5.17 454127616 apollon072 2.64  1 .584 .007 .00  1.79 .084 9.29 4.83 426692608 apollon165 .101 .617 2.81  1.38  .414 .241 .375 .121 .101 .222 12.1  6.33 451219456 apollon137 10 1 .491 .468 3.66  1.55  .325 .171 .300 .156 .005 .199 .638
eca-rers2012/Problem01_label31_true-unreach-call.c 903    891    1984352256 apollon123 80 19.7  815     31.6   8.90 4.61 414449664 apollon037 2.34  1 .586 .013 .00  1.42 .072 9.56 4.96 420507648 apollon050 .093 .610 3.03  1.56  .462 .282 .420 .143 .125 .268 9.64 5.20 374157312 apollon075 6 1 .238 .252 2.46  1.21  .168 .079 .158 .071 .005 .113 .314
eca-rers2012/Problem01_label34_true-unreach-call.c 902    892    1923919872 apollon112 75 16.0  829     26.6   9.51 4.91 430120960 apollon075 2.56  1 .521 .027 .00  1.74 .104 10.5  5.42 437821440 apollon077 .193 .801 3.41  1.58  .610 .385 .578 .213 .153 .366 9.41 4.98 380579840 apollon080 6 1 .260 .294 2.53  1.13  .197 .089 .181 .083 .005 .137 .280
eca-rers2012/Problem01_label36_true-unreach-call.c 903    893    2295386112 apollon029 82 17.0  821     31.6   9.35 4.82 463630336 apollon053 2.54  1 .530 .007 .00  1.72 .057 12.5  6.45 448884736 apollon159 .192 1.05  4.32  2.08  .823 .558 .776 .266 .270 .536 12.5  6.56 394473472 apollon096 6 1 .442 .402 3.46  1.57  .295 .138 .269 .117 .019 .204 .593
eca-rers2012/Problem01_label39_true-unreach-call.c 902    892    1857536000 apollon039 75 16.7  825     28.6   9.11 4.72 425230336 apollon044 2.40  1 .589 .020 .00  1.53 .044 12.3  6.38 443797504 apollon011 .193 1.01  4.25  2.04  .804 .527 .758 .270 .236 .506 9.83 5.26 387743744 apollon065 6 1 .261 .318 2.71  1.35  .228 .124 .215 .102 .017 .154 .317
eca-rers2012/Problem01_label40_true-unreach-call.c 903    889    1842671616 apollon144 75 19.0  816     30.3   8.85 4.59 417222656 apollon009 2.26  1 .495 .008 .001 1.46 .073 9.23 4.82 423071744 apollon160 .094 .582 2.79  1.44  .455 .291 .422 .131 .144 .275 9.70 5.14 387080192 apollon149 6 1 .264 .361 2.72  1.27  .241 .133 .223 .126 .004 .182 .321
eca-rers2012/Problem01_label41_true-unreach-call.c 903    893    1899913216 apollon115 77 16.6  827     28.5   9.86 5.09 420737024 apollon022 2.64  1 .653 .010 .00  1.73 .089 8.45 4.43 422895616 apollon008 .097 .475 2.49  1.24  .316 .183 .291 .109 .062 .171 10.7  5.65 436719616 apollon072 10 1 .365 .345 3.25  1.61  .249 .135 .218 .125 .007 .176 .586
eca-rers2012/Problem01_label42_true-unreach-call.c 903    890    1874178048 apollon125 76 19.3  815     31.5   9.22 4.79 426201088 apollon098 2.41  1 .587 .008 .00  1.66 .055 10.8  5.63 420200448 apollon033 .118 .596 3.16  1.50  .452 .259 .417 .144 .090 .234 9.73 5.13 385323008 apollon124 6 1 .247 .352 2.76  1.36  .219 .110 .197 .097 .005 .131 .290
eca-rers2012/Problem01_label43_true-unreach-call.c 903    893    1862475776 apollon051 76 16.6  826     28.6   9.07 4.69 423727104 apollon092 2.37  1 .519 .016 .00  1.58 .047 8.46 4.42 415838208 apollon131 .094 .491 2.52  1.25  .364 .205 .330 .119 .068 .187 10.8  5.71 403406848 apollon118 6 1 .323 .524 3.10  1.34  .374 .129 .235 .122 .005 .161 .446
eca-rers2012/Problem01_label45_true-unreach-call.c 903    891    1779273728 apollon147 78 18.1  820     29.7   9.23 4.76 534614016 apollon114 2.50  1 .523 .040 .00  1.63 .115 13.1  6.74 451227648 apollon108 .253 1.03  4.47  2.27  .829 .541 .780 .284 .231 .515 11.8  6.18 452427776 apollon166 10 1 .598 .532 3.46  1.60  .358 .169 .306 .149 .019 .267 .585
eca-rers2012/Problem01_label46_true-unreach-call.c 903    889    2317979648 apollon160 84 19.0  811     33.6   9.08 4.70 420257792 apollon013 2.35  1 .629 .022 .00  1.52 .044 9.07 4.70 423747584 apollon148 .099 .619 2.82  1.44  .460 .289 .427 .140 .128 .268 11.1  5.91 365744128 apollon081 6 1 .270 .360 3.04  1.55  .254 .140 .230 .119 .017 .161 .260
eca-rers2012/Problem01_label48_true-unreach-call.c 903    891    1957036032 apollon019 78 18.6  818     31.4   8.49 4.39 416374784 apollon018 2.19  1 .498 .012 .00  1.45 .042 13.0  6.69 480583680 apollon025 .280 1.24  4.49  1.96  .995 .683 .935 .311 .338 .649 16.5  8.72 447725568 apollon162 15 1 .731 .599 5.21  2.44  .420 .201 .350 .182 .016 .286 1.08 
eca-rers2012/Problem01_label49_true-unreach-call.c 902    892    2272378880 apollon021 82 17.7  819     32.7   9.73 5.00 459272192 apollon044 2.60  1 .585 .008 .00  1.75 .104 10.8  5.60 462454784 apollon014 .222 .910 3.51  1.60  .652 .422 .605 .219 .182 .401 12.0  6.32 390549504 apollon137 6 1 .294 .412 3.31  1.70  .289 .133 .245 .124 .005 .176 .420
eca-rers2012/Problem01_label51_true-unreach-call.c 903    890    2273669120 apollon136 81 18.8  817     31.3   9.60 4.95 465235968 apollon163 2.55  1 .618 .013 .00  1.68 .056 11.0  5.73 445534208 apollon031 .188 .891 3.71  1.81  .696 .449 .656 .236 .195 .431 11.4  6.03 426967040 apollon149 10 1 .373 .482 3.42  1.58  .337 .202 .316 .181 .018 .241 .618
eca-rers2012/Problem01_label52_true-unreach-call.c 903    892    1832742912 apollon115 80 16.9  825     28.7   9.30 4.81 424005632 apollon053 2.39  1 .530 .008 .001 1.79 .070 9.54 4.96 427905024 apollon071 .097 .619 3.03  1.53  .481 .302 .434 .148 .131 .279 8.21 4.34 306065408 apollon084 3 1 .173 .280 2.06  1.18  .192 .081 .162 .071 .008 .088 .082
eca-rers2012/Problem01_label53_true-unreach-call.c 903    892    1947529216 apollon158 79 17.6  818     31.5   9.87 5.09 436596736 apollon009 2.60  1 .514 .009 .00  1.89 .094 10.0  5.19 413847552 apollon149 .104 .655 3.13  1.59  .498 .319 .465 .160 .139 .299 11.0  5.88 442798080 apollon086 10 1 .419 .415 3.38  1.45  .327 .131 .297 .120 .009 .183 .507
eca-rers2012/Problem01_label54_true-unreach-call.c 903    891    1824448512 apollon025 75 17.9  821     29.9   8.72 4.50 416387072 apollon066 2.24  1 .541 .007 .00  1.37 .080 9.97 5.16 428179456 apollon020 .090 .672 3.25  1.68  .524 .340 .489 .154 .164 .318 11.2  5.92 442957824 apollon085 10 1 .391 .414 3.31  1.54  .291 .150 .258 .133 .006 .170 .603
eca-rers2012/Problem01_label55_true-unreach-call.c 903    892    1924952064 apollon026 80 16.9  823     29.4   8.64 4.45 415395840 apollon069 2.26  1 .553 .009 .00  1.34 .043 8.95 4.68 420704256 apollon157 .099 .502 2.60  1.19  .372 .212 .339 .116 .080 .196 10.7  5.65 391348224 apollon135 6 1 .301 .367 2.84  1.26  .259 .124 .230 .114 .007 .185 .344
eca-rers2012/Problem01_label58_true-unreach-call.c 903    891    1860169728 apollon087 79 18.4  816     31.4   8.88 4.57 425025536 apollon038 2.30  1 .556 .008 .00  1.64 .051 11.1  5.76 461123584 apollon090 .213 .898 3.69  1.72  .709 .477 .679 .254 .204 .458 9.80 5.15 375099392 apollon109 6 1 .211 .389 2.69  1.28  .269 .142 .252 .120 .018 .203 .316
eca-rers2012/Problem01_label59_true-unreach-call.c 903    892    1989681152 apollon044 79 17.3  822     30.3   8.83 4.57 424472576 apollon060 2.27  1 .543 .007 .00  1.40 .053 12.6  6.50 454443008 apollon154 .225 1.07  4.33  2.04  .852 .573 .801 .277 .268 .545 9.38 4.94 373026816 apollon098 6 1 .177 .328 2.60  1.16  .229 .123 .215 .117 .005 .149 .260
eca-rers2012/Problem02_label00_true-unreach-call.c 902    892    1829363712 apollon161 81 16.5  826     28.3   9.42 4.87 420810752 apollon133 2.52  1 .554 .017 .00  1.62 .108 10.1  5.33 420134912 apollon152 .101 .537 2.92  1.38  .391 .230 .370 .129 .082 .211 8.97 4.77 354050048 apollon150 6 1 .192 .309 2.53  1.30  .193 .110 .171 .103 .004 .135 .240
eca-rers2012/Problem02_label01_true-unreach-call.c 903    893    2263666688 apollon034 85 16.8  823     29.5   9.32 4.81 422584320 apollon010 2.45  1 .539 .007 .001 1.62 .063 8.09 4.23 410554368 apollon093 .084 .438 2.32  1.16  .318 .179 .286 .100 .065 .165 9.24 4.88 361811968 apollon142 6 1 .213 .380 2.47  1.06  .266 .135 .234 .121 .004 .161 .291
eca-rers2012/Problem02_label02_true-unreach-call.c 903    892    1853808640 apollon073 80 16.9  824     28.8   10.8  5.60 534917120 apollon006 3.19  2 .951 .046 .00  1.89 .060 9.16 4.81 409686016 apollon041 .178 .631 2.62  1.07  .472 .284 .441 .153 .104 .257 15.4  8.21 462798848 apollon096 13 1 .555 .545 5.10  2.13  .379 .181 .355 .158 .020 .291 1.37 
eca-rers2012/Problem02_label03_true-unreach-call.c 903    890    1774944256 apollon019 79 18.5  817     31.2   9.29 4.80 418123776 apollon118 2.45  1 .542 .008 .00  1.55 .091 10.4  5.47 418529280 apollon126 .086 .574 3.02  1.45  .436 .270 .401 .135 .120 .255 9.92 5.25 370888704 apollon119 6 1 .229 .439 2.61  1.30  .302 .160 .263 .153 .006 .196 .253
eca-rers2012/Problem02_label04_true-unreach-call.c 903    893    1881305088 apollon016 82 16.5  824     29.5   8.80 4.58 419053568 apollon082 2.20  1 .681 .020 .00  1.38 .098 10.6  5.54 414851072 apollon121 .229 .782 2.95  1.20  .508 .305 .479 .166 .119 .285 10.2  5.36 423530496 apollon161 9 1 .308 .419 3.04  1.29  .300 .174 .284 .152 .018 .211 .525
eca-rers2012/Problem02_label05_true-unreach-call.c 902    890    1811787776 apollon155 79 17.5  822     28.4   9.23 4.77 424910848 apollon005 2.39  1 .503 .007 .00  1.64 .056 9.84 5.16 424767488 apollon081 .107 .576 2.86  1.32  .413 .218 .369 .119 .081 .200 11.2  5.90 365473792 apollon095 6 1 .274 .405 3.12  1.55  .290 .116 .253 .107 .007 .140 .322
eca-rers2012/Problem02_label06_true-unreach-call.c 903    890    1802747904 apollon075 78 16.4  821     31.1   14.1  7.23 547434496 apollon014 4.70  3 1.52  .088 .014 2.64 .431 8.46 4.41 329367552 apollon107 .222 .564 2.33  .896 .406 .230 .377 .130 .080 .210 14.0  7.54 452268032 apollon148 19 1 .756 .508 4.75  2.04  .348 .192 .328 .180 .009 .304 1.30 
eca-rers2012/Problem02_label07_true-unreach-call.c 902    892    1852526592 apollon054 83 16.5  825     28.2   8.92 4.60 422797312 apollon124 2.28  1 .571 .006 .00  1.45 .062 8.32 4.39 418299904 apollon035 .090 .511 2.44  1.08  .386 .233 .348 .110 .097 .207 11.8  6.27 358731776 apollon107 6 1 .262 .490 3.36  1.70  .350 .147 .315 .138 .006 .166 .321
eca-rers2012/Problem02_label08_true-unreach-call.c 903    892    1855164416 apollon056 81 15.9  827     27.5   10.8  5.58 522760192 apollon167 3.26  2 .943 .036 .00  1.97 .175 8.52 4.46 421756928 apollon160 .209 .716 2.43  .924 .462 .287 .427 .143 .130 .273 11.9  6.22 433545216 apollon150 9 1 .365 .426 3.56  1.68  .317 .134 .285 .122 .007 .192 .664
eca-rers2012/Problem02_label09_true-unreach-call.c 902    891    1861955584 apollon140 82 16.6  823     29.1   9.18 4.74 420642816 apollon086 2.38  1 .620 .049 .001 1.41 .056 8.79 4.60 408588288 apollon024 .092 .509 2.56  1.27  .376 .226 .347 .120 .090 .210 8.77 4.69 367112192 apollon117 6 1 .132 .325 2.52  1.03  .224 .124 .208 .118 .003 .142 .410
eca-rers2012/Problem02_label10_true-unreach-call.c 902    892    1891995648 apollon060 83 16.7  825     28.7   8.88 4.60 436973568 apollon038 2.25  1 .521 .006 .00  1.49 .077 7.51 4.00 420782080 apollon160 .088 .389 2.03  .907 .290 .172 .258 .088 .068 .156 11.3  5.95 374566912 apollon089 6 1 .235 .365 3.16  1.32  .255 .126 .223 .111 .006 .142 .481
eca-rers2012/Problem02_label11_true-unreach-call.c 903    892    1839738880 apollon097 83 17.0  824     28.8   9.00 4.65 416030720 apollon072 2.37  1 .615 .011 .00  1.53 .063 8.56 4.48 422645760 apollon024 .088 .515 2.47  1.26  .389 .228 .364 .109 .096 .205 10.9  5.74 357851136 apollon127 6 1 .210 .438 3.00  1.31  .333 .159 .294 .136 .005 .162 .445
eca-rers2012/Problem02_label12_true-unreach-call.c 903    891    1802698752 apollon150 79 17.7  821     29.7   9.12 4.71 420483072 apollon093 2.33  1 .632 .007 .00  1.50 .045 8.74 4.55 427229184 apollon131 .138 .683 2.56  1.10  .434 .264 .398 .146 .102 .248 9.47 4.97 369287168 apollon071 6 1 .193 .371 2.60  1.18  .245 .099 .235 .094 .002 .125 .306
eca-rers2012/Problem02_label14_true-unreach-call.c 902    892    1861451776 apollon131 84 16.7  824     28.8   9.01 4.66 419848192 apollon059 2.31  1 .589 .007 .00  1.51 .088 8.96 4.67 429150208 apollon114 .151 .593 2.60  1.19  .454 .266 .410 .146 .097 .243 8.93 4.71 352157696 apollon064 6 1 .135 .316 2.45  1.21  .213 .107 .194 .095 .004 .118 .292
eca-rers2012/Problem02_label15_true-unreach-call.c 903    890    1816354816 apollon127 84 18.9  817     30.2   9.49 4.89 420397056 apollon024 2.56  1 .605 .007 .001 1.72 .094 8.09 4.24 427876352 apollon017 .096 .477 2.30  1.13  .345 .209 .315 .103 .089 .192 9.99 5.26 365723648 apollon087 6 1 .194 .376 2.75  1.21  .269 .108 .251 .100 .005 .126 .318
eca-rers2012/Problem02_label17_true-unreach-call.c 903    892    1794736128 apollon067 83 16.7  825     28.2   9.31 4.80 432844800 apollon142 2.39  1 .599 .007 .00  1.55 .095 10.3  5.42 413138944 apollon077 .085 .638 3.03  1.51  .449 .276 .418 .127 .124 .251 9.75 5.12 367980544 apollon098 6 1 .201 .356 2.77  1.28  .223 .092 .205 .082 .009 .110 .344
eca-rers2012/Problem02_label18_true-unreach-call.c 902    893    1910452224 apollon017 83 16.0  828     27.5   9.20 4.75 426160128 apollon154 2.39  1 .695 .032 .00  1.49 .093 10.2  5.35 425619456 apollon020 .174 .645 2.86  1.16  .474 .271 .438 .156 .098 .254 9.70 5.11 367153152 apollon070 6 1 .217 .350 2.75  1.32  .239 .084 .171 .078 .005 .098 .323
eca-rers2012/Problem02_label19_true-unreach-call.c 903    892    1893605376 apollon079 83 16.5  824     29.3   8.78 4.54 424226816 apollon052 2.16  1 .544 .013 .00  1.47 .046 7.76 4.09 413110272 apollon022 .075 .497 2.11  .973 .314 .194 .295 .088 .067 .155 9.41 4.96 358240256 apollon105 6 1 .176 .336 2.68  1.25  .206 .095 .183 .088 .005 .149 .442
eca-rers2012/Problem02_label20_true-unreach-call.c 903    890    2223525888 apollon058 87 19.0  812     34.4   9.57 4.92 491134976 apollon069 2.65  1 .539 .007 .00  1.72 .094 8.38 4.37 419672064 apollon150 .083 .442 2.40  1.27  .328 .189 .305 .105 .071 .176 9.15 4.84 364863488 apollon144 6 1 .149 .297 2.53  1.26  .228 .129 .204 .121 .005 .147 .411
eca-rers2012/Problem02_label21_true-unreach-call.c 903    892    1813250048 apollon011 80 17.4  823     29.5   9.25 4.80 420724736 apollon098 2.40  1 .622 .009 .00  1.60 .093 8.14 4.24 427933696 apollon132 .085 .540 2.35  1.10  .343 .196 .308 .099 .080 .179 9.51 5.03 290181120 apollon108 3 1 .095 .300 2.36  1.22  .204 .073 .170 .064 .003 .084 .216
eca-rers2012/Problem02_label22_true-unreach-call.c 903    890    1738166272 apollon165 76 17.4  823     28.1   11.1  5.69 511840256 apollon018 3.36  2 .972 .032 .00  2.08 .112 7.70 4.02 424173568 apollon077 .076 .415 2.05  .987 .291 .170 .264 .089 .067 .156 11.4  6.02 426971136 apollon067 9 1 .378 .375 3.39  1.56  .259 .139 .225 .131 .007 .182 .714
eca-rers2012/Problem02_label23_true-unreach-call.c 903    892    1842167808 apollon062 81 16.4  825     28.6   8.91 4.61 425992192 apollon166 2.17  1 .597 .011 .00  1.48 .098 7.68 4.03 408498176 apollon153 .094 .395 2.12  .965 .295 .170 .277 .092 .056 .148 8.13 4.34 298897408 apollon089 3 1 .106 .283 2.10  1.07  .193 .072 .175 .062 .008 .077 .090
eca-rers2012/Problem02_label24_true-unreach-call.c 902    892    2237898752 apollon056 85 16.5  821     32.1   9.42 4.87 486023168 apollon019 2.47  1 .595 .020 .00  1.61 .083 9.94 5.17 424132608 apollon147 .107 .543 2.86  1.35  .392 .237 .369 .137 .085 .222 10.3  5.42 419999744 apollon089 9 1 .210 .358 3.20  1.38  .245 .124 .226 .115 .007 .152 .590
eca-rers2012/Problem02_label25_true-unreach-call.c 903    891    1682178048 apollon059 78 18.4  820     29.8   9.05 4.69 420442112 apollon007 2.35  1 .599 .019 .00  1.43 .057 8.45 4.44 412016640 apollon018 .098 .490 2.30  1.09  .340 .195 .309 .102 .071 .173 11.3  5.98 446423040 apollon062 9 1 .483 .429 3.37  1.45  .330 .160 .312 .151 .008 .210 .538
eca-rers2012/Problem02_label26_true-unreach-call.c 902    891    1814519808 apollon132 80 16.7  824     29.2   9.09 4.68 418414592 apollon069 2.28  1 .617 .026 .00  1.49 .099 8.18 4.29 419311616 apollon031 .080 .488 2.33  1.13  .338 .210 .310 .118 .080 .198 7.63 4.08 288145408 apollon102 3 1 .102 .291 1.92  .917 .215 .082 .201 .077 .002 .099 .102
eca-rers2012/Problem02_label27_true-unreach-call.c 903    890    1851342848 apollon140 82 17.2  818     30.7   11.4  5.85 518119424 apollon167 3.43  2 .995 .049 .00  2.08 .141 8.39 4.42 304541696 apollon130 .109 .484 2.27  1.13  .330 .186 .303 .097 .071 .168 13.1  6.94 433250304 apollon089 9 1 .414 .452 3.95  1.87  .294 .166 .274 .142 .008 .210 .751
eca-rers2012/Problem02_label28_true-unreach-call.c 903    892    1790345216 apollon071 79 16.0  828     27.7   9.17 4.74 421597184 apollon120 2.27  1 .572 .008 .00  1.59 .089 8.13 4.26 415182848 apollon110 .084 .490 2.37  1.10  .351 .210 .323 .108 .079 .187 7.32 3.88 298176512 apollon135 3 1 .086 .278 1.86  .950 .179 .064 .139 .052 .003 .064 .109
eca-rers2012/Problem02_label29_true-unreach-call.c 903    892    1896890368 apollon104 80 15.9  829     26.3   10.1  5.23 488484864 apollon153 2.81  1 .682 .027 .00  1.81 .098 7.42 3.91 417804288 apollon032 .072 .403 2.06  .938 .287 .172 .263 .091 .069 .160 11.8  6.22 363298816 apollon157 6 1 .217 .415 3.32  1.37  .299 .158 .271 .148 .008 .192 .559
eca-rers2012/Problem02_label30_true-unreach-call.c 902    892    1842827264 apollon006 81 16.4  825     28.8   9.22 4.79 425205760 apollon062 2.44  1 .627 .006 .00  1.59 .062 8.57 4.47 315850752 apollon164 .080 .453 2.41  1.24  .330 .198 .309 .111 .065 .176 9.55 5.06 371331072 apollon109 6 1 .220 .411 2.70  1.10  .321 .122 .287 .106 .005 .137 .335
eca-rers2012/Problem02_label31_true-unreach-call.c 902    892    1857900544 apollon021 83 17.4  819     31.1   11.6  6.00 321671168 apollon102 2.91  1 .783 .017 .00  1.98 .074 8.17 4.30 412315648 apollon014 .087 .454 2.36  1.18  .324 .185 .292 .107 .067 .174 13.5  7.12 430243840 apollon089 10 1 .429 .495 4.07  1.86  .334 .167 .302 .144 .007 .190 .696
eca-rers2012/Problem02_label32_true-unreach-call.c 903    891    1799598080 apollon164 80 18.2  821     29.5   8.53 4.43 423542784 apollon150 2.19  1 .521 .006 .001 1.40 .083 8.21 4.31 419696640 apollon024 .096 .520 2.26  1.01  .313 .183 .285 .097 .071 .168 8.88 4.71 365936640 apollon146 6 1 .152 .313 2.42  1.17  .224 .117 .203 .108 .007 .137 .278
eca-rers2012/Problem02_label33_true-unreach-call.c 903    892    1853923328 apollon011 82 16.8  823     29.4   9.43 4.89 439672832 apollon155 2.57  1 .591 .007 .00  1.72 .106 9.53 5.03 422195200 apollon040 .120 .521 2.63  1.32  .372 .208 .336 .112 .073 .185 7.72 4.09 302915584 apollon084 3 1 .103 .233 1.96  .927 .164 .083 .150 .079 .003 .097 .162
eca-rers2012/Problem02_label34_true-unreach-call.c 902    893    1899270144 apollon105 84 16.2  825     29.8   10.8  5.55 505262080 apollon160 3.23  2 1.02  .042 .00  2.01 .058 8.56 4.48 417378304 apollon139 .078 .513 2.56  1.21  .360 .224 .338 .127 .076 .203 11.1  5.84 424140800 apollon165 9 1 .288 .409 3.32  1.62  .252 .131 .236 .122 .006 .182 .630
eca-rers2012/Problem02_label35_true-unreach-call.c 903    893    1909219328 apollon081 84 16.8  824     29.4   8.33 4.34 418414592 apollon041 2.02  1 .636 .019 .00  1.28 .074 8.17 4.28 416923648 apollon069 .101 .443 2.31  1.15  .321 .190 .299 .100 .068 .168 7.58 4.04 303702016 apollon073 3 1 .114 .274 1.92  .848 .178 .099 .157 .092 .003 .105 .118
eca-rers2012/Problem02_label36_true-unreach-call.c 903    891    1889038336 apollon163 83 18.4  819     29.8   8.72 4.50 417382400 apollon125 2.21  1 .550 .014 .001 1.33 .099 7.69 4.06 423383040 apollon141 .093 .496 2.19  .957 .328 .185 .298 .097 .071 .168 8.87 4.69 297607168 apollon133 3 1 .109 .326 2.31  1.26  .201 .099 .182 .084 .012 .109 .128
eca-rers2012/Problem02_label37_true-unreach-call.c 903    891    1864568832 apollon046 81 16.3  826     27.7   8.97 4.61 423374848 apollon117 2.24  1 .558 .015 .00  1.42 .088 7.62 3.98 407527424 apollon035 .087 .499 2.12  .985 .296 .177 .274 .092 .064 .156 10.2  5.30 419188736 apollon148 9 1 .342 .398 2.88  1.31  .300 .139 .279 .126 .007 .183 .483
eca-rers2012/Problem02_label38_true-unreach-call.c 903    892    1847029760 apollon099 83 16.2  826     28.0   8.90 4.60 493314048 apollon132 2.37  1 .569 .006 .00  1.49 .048 8.59 4.49 421695488 apollon032 .093 .625 2.57  1.20  .394 .233 .362 .120 .094 .214 7.32 3.93 298573824 apollon061 3 1 .068 .252 1.87  .881 .175 .087 .161 .076 .003 .087 .096
eca-rers2012/Problem02_label39_true-unreach-call.c 903    891    1910697984 apollon045 84 16.5  824     28.8   11.3  5.83 512024576 apollon116 3.40  2 1.14  .022 .00  2.00 .197 8.78 4.56 425332736 apollon068 .215 .680 2.46  .958 .449 .271 .410 .141 .102 .243 13.9  7.19 465260544 apollon087 14 1 .644 .473 4.37  1.86  .371 .178 .314 .166 .009 .266 1.16 
eca-rers2012/Problem02_label40_true-unreach-call.c 903    889    1854083072 apollon100 82 18.1  818     29.8   8.83 4.55 418942976 apollon161 2.26  1 .548 .010 .00  1.47 .068 8.23 4.31 417566720 apollon053 .094 .479 2.38  1.19  .353 .214 .325 .106 .087 .193 8.86 4.72 344502272 apollon162 6 1 .162 .303 2.49  1.14  .205 .123 .187 .115 .004 .142 .294
eca-rers2012/Problem02_label41_true-unreach-call.c 902    892    1793064960 apollon063 79 16.0  827     27.6   10.8  5.56 519311360 apollon010 3.14  2 .856 .042 .005 1.99 .168 8.18 4.29 425750528 apollon071 .082 .479 2.37  1.12  .344 .202 .315 .116 .069 .185 12.7  6.63 454610944 apollon145 14 1 .557 .445 4.01  1.55  .325 .192 .303 .169 .019 .330 1.05 
eca-rers2012/Problem02_label42_true-unreach-call.c 903    891    1719484416 apollon003 80 16.3  826     26.9   8.70 4.52 416382976 apollon165 2.17  1 .605 .007 .00  1.40 .085 8.38 4.38 424218624 apollon045 .084 .493 2.40  1.15  .350 .206 .328 .094 .093 .187 7.80 3.74 296677376 apollon154 3 1 .102 .268 1.53  .655 .177 .081 .168 .076 .003 .093 .104
eca-rers2012/Problem02_label46_true-unreach-call.c 902    892    1849147392 apollon148 83 16.9  826     27.7   9.73 5.02 425365504 apollon123 2.52  1 .645 .019 .00  1.70 .059 8.17 4.26 429711360 apollon134 .156 .558 2.35  .932 .398 .201 .359 .119 .068 .187 10.7  5.70 385675264 apollon084 6 1 .307 .393 2.87  1.46  .260 .121 .237 .114 .005 .143 .332
eca-rers2012/Problem02_label47_true-unreach-call.c 902    892    1886543872 apollon057 82 16.3  826     28.2   9.21 4.75 415543296 apollon081 2.34  1 .598 .021 .00  1.53 .100 8.22 4.34 426024960 apollon071 .166 .521 2.25  1.02  .363 .206 .336 .125 .064 .189 11.5  6.10 354684928 apollon167 6 1 .324 .431 3.22  1.43  .321 .143 .288 .134 .005 .182 .477
eca-rers2012/Problem02_label48_true-unreach-call.c 902    892    1909145600 apollon048 83 16.2  825     28.3   9.02 4.65 419319808 apollon082 2.33  1 .630 .021 .00  1.45 .062 8.40 4.39 438824960 apollon004 .176 .541 2.34  .916 .370 .194 .333 .120 .055 .175 11.1  5.88 363245568 apollon129 6 1 .304 .402 3.07  1.63  .246 .145 .227 .135 .006 .178 .276
eca-rers2012/Problem02_label49_true-unreach-call.c 902    891    1889931264 apollon112 83 16.4  823     29.3   9.10 4.71 423366656 apollon023 2.39  1 .650 .008 .00  1.47 .093 7.95 4.14 419627008 apollon042 .136 .534 2.21  1.00  .322 .179 .295 .100 .062 .162 10.1  5.40 370515968 apollon071 6 1 .385 .386 2.70  1.36  .266 .130 .241 .114 .007 .172 .268
eca-rers2012/Problem02_label51_true-unreach-call.c 902    893    1872945152 apollon154 83 16.1  826     27.9   9.09 4.69 417394688 apollon039 2.40  1 .525 .012 .00  1.59 .056 7.94 4.16 428855296 apollon137 .127 .476 2.21  1.03  .333 .191 .303 .106 .069 .175 9.53 5.04 365109248 apollon149 5 1 .219 .539 2.58  1.10  .227 .136 .213 .126 .006 .164 .345
eca-rers2012/Problem02_label52_true-unreach-call.c 902    892    1882873856 apollon076 81 17.2  823     29.4   9.63 4.94 433012736 apollon075 2.59  1 .636 .007 .00  1.69 .113 7.49 3.97 414928896 apollon127 .100 .469 2.11  .968 .317 .164 .280 .097 .053 .150 10.0  5.32 369160192 apollon071 6 1 .297 .378 2.74  1.35  .281 .116 .249 .107 .006 .145 .369
eca-rers2012/Problem02_label53_true-unreach-call.c 902    891    1864765440 apollon142 82 16.0  827     27.2   11.9  6.09 530145280 apollon118 3.54  2 .972 .047 .00  2.39 .179 7.98 4.21 421318656 apollon030 .147 .470 2.24  .950 .340 .175 .310 .103 .058 .161 11.2  5.92 439439360 apollon151 9 1 .510 .506 3.21  1.31  .347 .171 .287 .155 .013 .236 .516
eca-rers2012/Problem02_label54_true-unreach-call.c 903    890    1870684160 apollon082 79 16.9  820     29.7   8.78 4.53 420192256 apollon059 2.25  1 .597 .019 .00  1.41 .043 7.91 4.18 423231488 apollon134 .128 .451 2.19  .958 .329 .175 .300 .099 .057 .156 9.01 4.78 348168192 apollon160 6 1 .161 .282 2.37  1.06  .212 .116 .198 .096 .005 .121 .315
eca-rers2012/Problem02_label55_true-unreach-call.c 902    893    1940480000 apollon072 83 15.9  828     27.9   9.56 4.92 446357504 apollon020 2.62  1 .620 .015 .00  1.74 .093 8.19 4.29 431837184 apollon072 .132 .536 2.20  .975 .314 .174 .288 .099 .060 .159 11.5  6.02 426606592 apollon058 9 1 .492 .396 3.33  1.60  .285 .171 .250 .156 .009 .227 .642
eca-rers2012/Problem02_label56_true-unreach-call.c 903    893    1906438144 apollon101 83 16.3  826     28.1   8.81 4.57 422825984 apollon088 2.33  1 .615 .019 .00  1.41 .099 7.93 4.15 416677888 apollon054 .128 .589 2.22  .951 .345 .193 .306 .104 .072 .176 11.8  6.26 367185920 apollon093 6 1 .333 .393 3.22  1.51  .292 .141 .259 .133 .007 .172 .380
eca-rers2012/Problem02_label57_true-unreach-call.c 903    890    1824018432 apollon104 80 18.6  817     30.8   9.01 4.64 419905536 apollon101 2.28  1 .590 .022 .00  1.51 .095 7.83 4.10 419835904 apollon008 .097 .419 2.26  1.07  .316 .178 .290 .102 .062 .164 10.7  6.09 425037824 apollon120 9 1 .257 .350 3.56  1.34  .239 .138 .227 .133 .005 .174 .625
eca-rers2012/Problem02_label58_true-unreach-call.c 903    892    1832169472 apollon045 81 17.1  821     30.6   8.90 4.60 420855808 apollon091 2.24  1 .608 .012 .00  1.38 .052 8.30 4.34 420970496 apollon113 .120 .517 2.41  1.15  .376 .225 .350 .111 .097 .208 10.2  5.34 369184768 apollon119 6 1 .234 .426 2.77  1.10  .320 .158 .276 .129 .027 .204 .482
eca-rers2012/Problem03_label00_true-unreach-call.c 903    891    3139092480 apollon079 37 21.9  244     607     50.1  25.2  1443827712 apollon043 21.4   5 5.94  1.16  .413 10.7  2.63  47.7  33.8  813174784 apollon145 .300 17.0   30.2   9.22  16.3   15.3   16.1   1.46  13.6   15.1   912    901    1142374400 apollon088
eca-rers2012/Problem03_label01_true-unreach-call.c 903    890    1542316032 apollon103 31 18.7  122     737     67.2  33.8  2264911872 apollon097 29.7   5 7.72  1.83  1.38  11.0  7.62  18.6  10.3  581955584 apollon076 .581 2.19  7.37  2.94  1.78  1.33  1.70  .551 .740 1.29  189    176    14999998464 apollon109
eca-rers2012/Problem03_label02_true-unreach-call.c 904    889    3035078656 apollon049 54 31.7  781     45.4   18.7  9.48 665927680 apollon119 6.21  1 .908 .019 .00  4.47 .289 38.8  28.3  840785920 apollon160 .208 16.2   25.6   6.58  15.6   14.9   15.5   1.12  13.6   14.7   20.6  10.9  502706176 apollon057 6 1 .441 .821 7.09  3.45  .522 .253 .436 .245 .006 .296 .701
eca-rers2012/Problem03_label03_true-unreach-call.c 902    890    1389613056 apollon110 24 15.0  59.9   807     61.8  31.1  1813630976 apollon129 26.6   5 8.31  1.95  2.26  11.4  2.74  19.2  10.3  555659264 apollon053 .474 1.91  7.36  3.19  1.49  1.01  1.42  .585 .391 .976 912    901    1709387776 apollon118
eca-rers2012/Problem03_label04_true-unreach-call.c 903    891    2514288640 apollon011 30 17.0  96.3   767     50.6  25.5  1420214272 apollon128 21.4   5 7.77  1.16  .600 9.92 2.01  21.3  11.7  609140736 apollon148 .745 2.78  8.38  3.25  2.31  1.76  2.21  .728 .990 1.72  912    898    837480448 apollon061
eca-rers2012/Problem03_label05_true-unreach-call.c 903    889    2291462144 apollon001 45 26.7  401     439     61.3  30.9  1838485504 apollon123 26.4   5 7.85  2.26  1.17  11.7  3.51  17.9  9.67 550199296 apollon054 .418 1.91  6.91  3.00  1.34  .917 1.26  .506 .385 .891 28.7  16.8  620818432 apollon119 19 1 1.56  1.14  11.7   4.74  .841 .474 .789 .460 .009 .691 3.52 
eca-rers2012/Problem03_label06_true-unreach-call.c 904    888    3059965952 apollon039 57 33.2  775     47.8   18.6  9.45 624091136 apollon014 6.37  1 .890 .021 .00  4.44 .153 19.7  11.1  564080640 apollon009 .426 2.77  8.30  3.25  2.40  1.93  2.33  .645 1.26  1.90  22.0  11.4  526020608 apollon079 6 1 .423 .947 7.55  3.58  .695 .428 .622 .413 .006 .465 .931
eca-rers2012/Problem03_label07_true-unreach-call.c 902    891    2464833536 apollon088 31 17.2  111     751     67.0  33.7  1864814592 apollon110 29.4   5 7.85  2.17  1.60  11.2  6.19  18.0  9.98 624250880 apollon071 .644 2.07  7.08  2.79  1.68  1.17  1.59  .656 .485 1.14  912    901    651886592 apollon146
eca-rers2012/Problem03_label08_true-unreach-call.c 903    891    3004104704 apollon020 51 28.1  796     38.0   27.2  13.7  864129024 apollon069 10.2   2 2.67  .092 .018 6.33 .586 45.8  36.1  850022400 apollon051 .219 23.2   33.3   6.93  22.5   21.7   22.4   1.26  20.2   21.5   24.3  13.4  629108736 apollon066 10 0 .971 1.03  8.70  4.36  .673 .402 .611 .390 .007 .502 1.31 
eca-rers2012/Problem03_label10_true-unreach-call.c 904    890    3032510464 apollon166 56 32.7  777     46.7   26.7  13.5  893546496 apollon094 9.87  2 2.50  .110 .022 6.44 .540 187    176    1112592384 apollon079 .197 158     173     10.8   157     156     157     1.98  152     154     28.0  16.5  648282112 apollon114 19 1 1.67  1.24  11.5   4.89  .969 .576 .897 .555 .018 .765 3.27 
eca-rers2012/Problem03_label11_true-unreach-call.c 903    891    1666895872 apollon047 32 19.0  117     743     51.7  26.0  1613996032 apollon035 21.7   4 5.87  1.97  .575 10.3  3.12  17.3  9.57 572211200 apollon033 .477 1.91  6.77  2.79  1.54  1.08  1.47  .607 .437 1.04  547    535    9567506432 apollon072
eca-rers2012/Problem03_label12_true-unreach-call.c 903    889    1604956160 apollon012 30 18.8  116     743     49.0  24.7  1600589824 apollon037 20.5   4 6.73  .998 .671 9.82 2.77  17.5  9.71 583745536 apollon164 .547 2.00  6.86  2.80  1.59  1.11  1.52  .608 .478 1.09  912    901    1733447680 apollon163
eca-rers2012/Problem03_label14_true-unreach-call.c 904    888    4179931136 apollon014 54 33.0  776     45.8   17.5  8.87 646647808 apollon147 5.88  1 .794 .019 .00  4.19 .310 23.1  13.9  716349440 apollon009 .388 4.38  11.1   4.17  3.92  3.34  3.83  .884 2.39  3.28  20.2  10.4  526565376 apollon125 6 1 .497 .906 6.85  3.35  .630 .329 .558 .320 .007 .357 .775
eca-rers2012/Problem03_label15_true-unreach-call.c 902    891    1429004288 apollon053 23 14.3  68.8   799     53.4  26.9  1474363392 apollon050 22.6   5 7.21  1.12  1.28  10.2  2.72  17.6  9.79 566198272 apollon154 .509 1.84  6.99  2.95  1.41  .967 1.33  .519 .419 .938 912    897    705740800 apollon159
eca-rers2012/Problem03_label16_true-unreach-call.c 903    892    3073998848 apollon135 54 28.5  793     40.3   36.5  18.4  1114419200 apollon069 14.6   3 4.44  .803 .179 7.66 1.43  47.3  35.1  910286848 apollon014 .234 21.7   32.3   7.37  20.9   20.1   20.8   1.30  18.6   19.9   30.1  16.7  640749568 apollon108 13 1 1.40  1.41  11.5   5.04  1.01  .595 .950 .556 .010 .720 2.72 
eca-rers2012/Problem03_label17_true-unreach-call.c 904    890    2398654464 apollon094 46 26.5  437     404     50.8  25.6  1422262272 apollon076 21.5   5 7.07  1.35  .357 9.94 2.69  22.9  12.4  587145216 apollon034 .629 2.97  9.03  3.65  2.25  1.69  2.15  .669 .984 1.65  37.8  26.7  809414656 apollon133 42 1 4.37  1.40  19.0   5.34  1.07  .654 1.01  .640 .012 1.31  9.73 
eca-rers2012/Problem03_label18_true-unreach-call.c 904    889    3009122304 apollon128 58 31.7  779     46.5   36.9  18.6  1249460224 apollon142 15.0   3 4.35  .818 .203 8.17 1.34  24.5  14.4  605974528 apollon004 .651 5.03  10.7   3.42  4.26  3.67  4.16  .793 2.82  3.61  912    897    889266176 apollon158
eca-rers2012/Problem03_label19_true-unreach-call.c 903    887    1707872256 apollon017 34 23.8  131     717     50.6  25.5  1684119552 apollon045 21.4   5 6.74  1.75  .736 10.3  2.12  24.8  14.5  643858432 apollon005 .273 4.30  11.5   4.63  3.81  3.27  3.73  .749 2.48  3.23  912    901    654942208 apollon096
eca-rers2012/Problem03_label20_true-unreach-call.c 903    890    2172731392 apollon073 40 23.0  314     534     51.0  25.6  1479249920 apollon059 21.4   5 6.96  1.10  1.03  10.2  1.98  21.2  11.2  629432320 apollon126 .630 2.42  8.17  3.24  1.99  1.46  1.90  .665 .770 1.44  166    155    14999998464 apollon165
eca-rers2012/Problem03_label21_true-unreach-call.c 903    887    2223448064 apollon029 43 26.6  300     539     52.1  26.3  1471344640 apollon159 22.0   5 7.43  2.10  1.08  9.35 2.32  22.5  12.3  716201984 apollon039 .803 3.30  8.89  3.31  2.86  2.26  2.78  .898 1.32  2.21  388    376    9464619008 apollon156 63 1 14.4   1.72  359     5.95  1.32  .846 1.26  .826 .016 3.95  348    
eca-rers2012/Problem03_label22_true-unreach-call.c 904    890    3011997696 apollon102 53 32.1  776     47.9   26.5  13.4  837869568 apollon050 9.99  2 2.47  .171 .057 5.98 .825 16.4  9.19 555814912 apollon167 .321 1.84  6.59  2.79  1.44  1.03  1.36  .480 .515 .995 22.0  12.1  540229632 apollon102 9 1 .766 .979 8.33  4.10  .753 .451 .703 .420 .020 .545 1.37 
eca-rers2012/Problem03_label23_true-unreach-call.c 903    890    1621762048 apollon166 30 17.4  94.6   767     62.8  31.6  1911967744 apollon135 27.2   5 7.48  2.39  2.10  12.2  3.31  21.6  12.2  645537792 apollon042 1.26  2.68  8.51  3.52  2.22  1.65  2.13  .784 .833 1.62  912    899    802238464 apollon083
eca-rers2012/Problem03_label24_true-unreach-call.c 904    887    3003461632 apollon142 56 32.2  775     46.1   26.7  13.5  821411840 apollon085 9.95  2 2.53  .226 .049 5.97 .631 44.5  33.2  913768448 apollon120 .262 20.1   30.2   6.80  19.4   18.6   19.4   1.42  16.9   18.4   31.7  17.5  604876800 apollon117 13 1 1.47  1.48  12.2   5.57  1.11  .713 1.04  .694 .009 .853 2.26 
eca-rers2012/Problem03_label25_true-unreach-call.c 903    887    2087002112 apollon139 41 27.8  406     432     58.0  29.2  1958498304 apollon120 24.9   5 7.56  1.69  1.14  11.6  2.99  39.8  29.8  942415872 apollon110 .219 15.2   26.9   8.21  14.7   13.9   14.6   1.42  12.3   13.8   28.2  16.6  641933312 apollon096 19 1 1.43  1.24  12.0   4.51  .894 .567 .824 .531 .028 .766 3.64 
eca-rers2012/Problem03_label29_true-unreach-call.c 903    890    3193528320 apollon043 56 31.4  778     46.0   18.9  9.58 647815168 apollon058 6.45  1 .947 .026 .00  4.64 .236 27.3  15.6  654929920 apollon070 .300 4.46  12.2   5.09  3.71  3.14  3.62  .872 2.22  3.09  19.5  10.0  508891136 apollon144 3 1 .479 .784 6.21  3.14  .549 .322 .493 .315 .006 .352 .598
eca-rers2012/Problem03_label30_true-unreach-call.c 904    891    2900676608 apollon083 51 30.6  789     41.1   19.1  9.70 645185536 apollon083 6.57  1 .932 .030 .00  4.55 .197 20.3  12.0  612233216 apollon001 .229 3.06  9.36  4.17  2.69  2.25  2.63  .694 1.52  2.21  20.0  10.5  508166144 apollon168 6 1 .505 .902 6.96  3.62  .660 .384 .615 .376 .007 .421 .645
eca-rers2012/Problem03_label32_true-unreach-call.c 904    889    3029458944 apollon055 53 32.4  789     38.4   28.1  14.2  890544128 apollon108 10.6   2 2.89  .171 .040 6.29 .681 36.3  26.2  878395392 apollon061 .228 13.4   23.3   6.74  12.9   12.1   12.8   1.19  10.8   12.0   24.3  13.7  623362048 apollon101 13 1 1.05  1.29  9.60  4.07  .830 .482 .747 .475 .006 .635 2.09 
eca-rers2012/Problem03_label33_true-unreach-call.c 904    891    3048427520 apollon118 54 30.0  795     37.7   18.7  9.48 662003712 apollon010 6.41  1 .721 .037 .00  4.34 .309 34.1  21.9  672219136 apollon125 .264 10.0   18.6   5.52  9.59  8.92  9.50  .873 7.92  8.79  18.0  9.68 504922112 apollon061 6 1 .457 .993 6.17  3.16  .473 .225 .406 .220 .004 .259 .522
eca-rers2012/Problem03_label34_true-unreach-call.c 903    891    2331906048 apollon148 45 25.7  441     401     49.8  25.1  1450266624 apollon007 20.9   5 7.20  1.50  .888 9.27 1.96  19.7  10.7  566730752 apollon071 .416 2.71  7.83  3.08  2.12  1.66  2.04  .576 1.05  1.63  29.0  16.4  605560832 apollon134 13 1 1.27  1.34  11.6   5.23  .822 .499 .776 .466 .014 .682 2.69 
eca-rers2012/Problem03_label36_true-unreach-call.c 904    890    3065049088 apollon098 56 32.1  779     44.6   18.6  9.44 632643584 apollon135 6.27  1 .837 .041 .00  4.42 .300 24.7  14.9  732430336 apollon125 .462 4.64  11.9   4.61  4.07  3.46  3.96  .914 2.50  3.41  22.8  11.7  540712960 apollon135 6 1 .585 1.14  8.09  3.94  .751 .403 .656 .398 .004 .460 .982
eca-rers2012/Problem03_label38_true-unreach-call.c 904    889    2997428224 apollon164 56 32.2  777     46.0   18.8  9.51 621625344 apollon080 6.28  1 .925 .031 .00  4.36 .188 26.9  17.9  656461824 apollon117 .222 8.37  15.3   4.52  7.95  7.46  7.88  .721 6.67  7.39  22.1  11.3  535285760 apollon081 6 1 .712 .917 7.65  3.73  .719 .430 .678 .423 .003 .492 .823
eca-rers2012/Problem03_label40_true-unreach-call.c 904    890    3032756224 apollon093 57 31.4  784     42.3   27.1  13.7  840073216 apollon165 10.2   2 2.68  .109 .019 6.40 .528 43.8  32.7  733061120 apollon011 .232 21.5   29.9   5.41  21.1   20.4   21.0   .927 19.2   20.2   28.0  16.0  619520000 apollon093 13 1 1.16  1.25  11.0   4.67  .966 .558 .859 .545 .010 .695 2.52 
eca-rers2012/Problem03_label41_true-unreach-call.c 904    888    3036590080 apollon152 55 33.5  777     44.8   20.5  10.4  715988992 apollon123 6.95  1 .859 .022 .00  4.97 .589 20.9  11.1  569090048 apollon130 .438 2.86  8.21  3.27  2.17  1.69  2.11  .593 1.06  1.66  38.0  27.8  824709120 apollon057 45 0 4.96  1.26  19.8   5.30  .919 .553 .831 .535 .014 1.27  10.6  
eca-rers2012/Problem03_label42_true-unreach-call.c 904    887    2933010432 apollon093 54 36.2  769     48.4   27.7  14.0  838328320 apollon073 10.5   2 2.75  .142 .039 6.32 .753 30.8  20.3  713232384 apollon039 .277 9.92  17.4   4.83  9.54  8.92  9.44  .908 7.90  8.81  27.8  15.2  647979008 apollon079 13 1 1.48  1.26  10.5   4.58  .904 .539 .833 .499 .030 .697 2.04 
eca-rers2012/Problem03_label44_true-unreach-call.c 903    891    1596702720 apollon031 30 17.1  112     751     50.9  25.6  1577377792 apollon099 21.2   5 7.29  1.00  1.50  9.37 2.12  18.3  9.96 572624896 apollon056 .430 2.11  7.15  2.86  1.73  1.30  1.66  .558 .705 1.26  912    901    1358532608 apollon113
eca-rers2012/Problem03_label46_true-unreach-call.c 904    891    4160036864 apollon163 54 28.4  791     41.5   17.4  8.80 661180416 apollon145 5.71  1 .732 .027 .00  4.01 .247 27.4  15.9  659763200 apollon159 .587 5.16  12.8   4.84  4.60  3.93  4.48  .957 2.92  3.88  22.5  11.5  543268864 apollon127 6 1 .659 1.01  7.66  3.95  .761 .408 .654 .400 .006 .469 .922
eca-rers2012/Problem03_label47_true-unreach-call.c 904    890    3138224128 apollon018 40 24.7  310     536     60.3  30.3  1959329792 apollon157 26.0   5 7.69  2.87  .964 12.1  2.53  80.0  68.3  1154383872 apollon079 .226 51.1   65.1   9.81  50.4   49.3   50.2   2.03  46.5   48.6   188    177    14999998464 apollon100
eca-rers2012/Problem03_label48_true-unreach-call.c 904    890    3025227776 apollon122 55 32.0  782     44.6   36.9  18.6  1053831168 apollon136 14.8   3 4.27  .510 .164 8.29 1.45  54.8  44.8  863383552 apollon083 .233 32.8   42.0   6.16  32.4   31.7   32.3   1.12  30.0   31.1   23.1  13.0  603459584 apollon117 13 1 1.02  1.06  8.82  4.16  .745 .457 .700 .447 .009 .589 1.75 
eca-rers2012/Problem03_label49_true-unreach-call.c 904    890    2999943168 apollon076 53 30.0  788     41.8   27.4  13.9  976879616 apollon044 10.6   2 2.81  .088 .020 6.45 1.03  18.7  10.3  602779648 apollon134 .426 2.72  7.62  3.02  2.32  1.91  2.25  .515 1.36  1.88  33.2  20.7  693161984 apollon134 25 1 2.29  1.53  15.1   5.58  1.17  .721 1.10  .702 .012 1.08  5.54 
eca-rers2012/Problem03_label51_true-unreach-call.c 903    890    1428979712 apollon023 25 16.4  57.5   807     77.8  39.2  2216595456 apollon123 34.6   6 8.00  3.13  2.76  13.0  7.94  21.1  12.6  683696128 apollon035 2.25  2.60  7.92  2.94  2.16  1.59  2.07  .733 .806 1.54  912    901    681328640 apollon148
eca-rers2012/Problem03_label53_true-unreach-call.c 903    889    3060420608 apollon136 39 22.2  210     641     63.6  32.0  1988796416 apollon064 27.7   5 7.58  2.20  1.22  11.0  5.57  20.0  11.0  571322368 apollon021 .564 2.70  7.97  3.15  1.98  1.46  1.90  .671 .748 1.42  155    143    5042352128 apollon127 42 1 7.94  1.57  132     5.55  1.23  .760 1.13  .747 .012 2.44  122    
eca-rers2012/Problem03_label54_true-unreach-call.c 904    893    4307353600 apollon096 55 28.6  791     42.9   26.2  13.3  974442496 apollon121 9.99  2 2.70  .191 .022 5.79 .892 18.3  10.0  582254592 apollon086 .439 2.33  7.30  2.86  1.91  1.45  1.85  .576 .834 1.41  28.4  16.5  650706944 apollon109 19 1 1.40  1.29  11.9   4.78  .999 .642 .944 .631 .009 .840 3.53 
eca-rers2012/Problem03_label55_true-unreach-call.c 904    891    2334957568 apollon055 46 25.7  403     440     67.3  33.9  1891766272 apollon083 29.1   5 8.07  2.83  .890 12.6  4.42  33.0  22.3  683458560 apollon040 .266 10.4   18.9   5.51  9.98  9.28  9.89  .926 8.26  9.19  29.8  18.2  675135488 apollon157 21 0 2.30  1.28  12.6   4.99  .955 .600 .891 .581 .012 .859 3.95 
eca-rers2012/Problem03_label56_true-unreach-call.c 904    887    2980106240 apollon031 51 33.5  783     41.4   27.7  14.0  837476352 apollon012 10.6   2 2.66  .131 .042 6.35 .628 24.0  14.2  594206720 apollon156 .691 4.73  10.6   3.62  4.21  3.63  4.12  .836 2.73  3.57  22.1  12.7  589459456 apollon129 13 1 .906 .977 8.48  3.98  .715 .436 .659 .413 .021 .542 1.72 
eca-rers2012/Problem03_label57_true-unreach-call.c 903    889    3114123264 apollon011 57 34.0  772     49.2   28.0  14.2  873357312 apollon112 10.8   2 2.92  .196 .040 6.51 .682 148    135    824172544 apollon114 .236 120     132     8.08  119     118     119     1.38  116     117     22.1  12.6  594235392 apollon162 14 1 .897 1.04  8.76  3.87  .729 .480 .687 .437 .040 .573 1.79 
eca-rers2012/Problem03_label58_true-unreach-call.c 904    888    3037380608 apollon126 56 32.0  776     45.8   27.2  13.8  844595200 apollon163 10.2   2 2.68  .152 .047 6.20 .748 28.5  18.2  678039552 apollon121 .238 8.14  15.5   4.84  7.45  6.92  7.39  .842 6.00  6.84  24.5  14.8  609083392 apollon146 20 1 1.26  .990 10.4   4.27  .737 .446 .674 .435 .009 .631 2.92 
eca-rers2012/Problem03_label59_true-unreach-call.c 903    891    3190190080 apollon018 41 25.1  347     497     66.3  33.3  1821159424 apollon109 28.9   5 8.21  2.38  1.01  11.7  5.61  21.5  12.6  625762304 apollon137 .207 3.38  10.0   4.26  2.89  2.43  2.80  .697 1.70  2.40  42.7  29.0  689729536 apollon090 34 1 4.72  1.64  20.4   6.38  1.29  .828 1.20  .805 .016 1.64  9.19 
eca-rers2012/Problem04_label00_true-unreach-call.c 905    889    3367297024 apollon147 29 46.5  788     25.0   39.8  20.0  1113481216 apollon012 15.2   1 1.19  .021 .00  11.6  .854 72.1  57.9  1827459072 apollon166 .391 28.1   53.4   18.9   26.9   25.4   26.7   2.07  23.2   25.3   41.2  24.4  883216384 apollon131 10 1 1.86  1.66  17.7   9.51  1.14  .656 1.03  .470 .181 .690 3.30 
eca-rers2012/Problem04_label01_true-unreach-call.c 905    887    2902843392 apollon061 27 43.3  794     23.3   39.2  19.8  1099096064 apollon069 15.0   1 1.32  .023 .00  11.0  .690 77.9  60.5  1972137984 apollon033 1.42  22.4   53.8   23.5   20.7   18.6   20.4   2.74  15.9   18.6   45.3  27.2  901947392 apollon060 10 1 1.91  2.40  20.1   9.80  1.29  .664 1.21  .508 .153 .716 4.42 
eca-rers2012/Problem04_label02_true-unreach-call.c 904    887    3384557568 apollon050 28 47.2  786     25.2   39.7  20.0  1221713920 apollon123 15.3   1 1.47  .033 .00  11.3  .674 81.9  63.7  2334961664 apollon139 3.92  25.9   55.2   21.0   23.8   21.3   23.5   3.20  18.0   21.2   35.4  21.2  892342272 apollon151 10 1 1.69  1.61  15.3   7.73  1.07  .567 .974 .445 .119 .602 3.12 
eca-rers2012/Problem04_label03_true-unreach-call.c 904    889    3356995584 apollon005 28 43.1  795     23.2   38.1  19.2  1154174976 apollon109 14.2   1 1.39  .038 .00  10.7  .657 85.7  67.8  1900191744 apollon166 1.07  36.5   62.8   19.4   35.0   33.2   34.7   2.41  30.7   33.1   39.6  22.1  846888960 apollon137 6 1 1.30  1.61  15.6   8.93  1.13  .627 1.02  .475 .148 .654 1.81 
eca-rers2012/Problem04_label05_true-unreach-call.c 905    888    3366162432 apollon164 30 47.3  783     26.4   37.5  18.9  1179475968 apollon124 14.2   1 1.40  .021 .00  10.7  .687 71.4  56.5  1881542656 apollon050 .959 26.4   51.8   18.8   25.0   23.0   24.8   2.07  20.8   22.9   30.4  17.1  826576896 apollon094 6 1 1.05  1.06  12.0   6.64  .684 .324 .609 .290 .033 .347 1.36 
eca-rers2012/Problem04_label07_true-unreach-call.c 905    887    3041308672 apollon132 26 46.9  791     22.1   41.0  20.6  1183072256 apollon024 15.9   1 1.55  .023 .00  12.0  .526 78.8  65.1  1777807360 apollon107 .930 35.1   60.3   19.0   33.9   32.0   33.7   2.16  29.8   31.9   34.1  18.9  878567424 apollon082 6 1 1.26  1.41  13.2   7.34  .847 .370 .737 .328 .039 .390 1.45 
eca-rers2012/Problem04_label08_true-unreach-call.c 904    888    2820919296 apollon126 25 44.4  798     22.0   38.4  19.4  1164398592 apollon066 14.7   1 1.58  .035 .00  11.1  .735 59.4  46.6  2055766016 apollon065 .988 17.1   41.5   17.7   15.5   13.9   15.2   2.09  11.7   13.8   41.3  22.7  824836096 apollon108 6 1 1.23  1.55  16.4   9.87  .954 .398 .807 .349 .047 .423 1.62 
eca-rers2012/Problem04_label10_true-unreach-call.c 903    888    3266650112 apollon036 28 41.8  799     20.8   36.7  18.5  1158275072 apollon004 13.9   1 1.54  .041 .00  10.5  .564 67.5  51.8  1898209280 apollon060 .981 21.3   46.8   19.5   19.8   18.2   19.6   2.11  16.0   18.1   42.0  24.5  908562432 apollon063 10 1 1.63  1.56  18.7   9.69  1.04  .573 .918 .493 .078 .627 4.14 
eca-rers2012/Problem04_label16_true-unreach-call.c 904    886    3076046848 apollon167 28 44.0  792     23.2   36.6  18.4  1286283264 apollon122 14.3   1 1.33  .045 .00  10.5  1.01  65.8  48.6  1950461952 apollon086 1.51  17.1   43.2   19.2   15.1   13.4   14.9   2.29  11.1   13.4   39.0  21.8  810606592 apollon105 6 1 1.06  1.55  15.7   8.61  1.07  .580 .948 .510 .068 .611 1.99 
eca-rers2012/Problem04_label20_true-unreach-call.c 904    888    3180576768 apollon143 27 43.4  795     22.3   35.2  17.8  1555329024 apollon046 13.6   1 1.34  .045 .00  9.92 .711 69.3  55.2  1691824128 apollon137 .397 27.4   50.8   17.8   26.1   24.5   25.9   1.84  22.6   24.5   32.2  18.2  825761792 apollon083 6 1 .904 1.39  13.0   7.21  .965 .530 .888 .398 .130 .547 1.77 
eca-rers2012/Problem04_label21_true-unreach-call.c 905    886    3351179264 apollon148 28 48.9  783     24.7   41.2  20.8  1135075328 apollon073 15.8   1 1.47  .046 .00  11.8  .716 65.0  48.7  1928572928 apollon083 1.26  17.7   43.4   18.7   16.4   14.6   16.1   2.40  12.1   14.5   33.0  18.4  851030016 apollon145 6 1 .972 1.44  13.1   7.44  .975 .529 .900 .416 .104 .548 1.64 
eca-rers2012/Problem04_label22_true-unreach-call.c 903    888    3091976192 apollon083 26 39.7  806     18.4   34.4  17.3  1229934592 apollon041 13.1   1 1.50  .042 .00  9.78 .533 65.2  51.7  1937145856 apollon122 1.03  21.4   46.8   19.4   20.1   18.4   19.8   2.16  16.2   18.3   33.1  18.3  806367232 apollon070 6 1 .953 1.44  13.1   7.66  .883 .445 .800 .347 .096 .469 1.46 
eca-rers2012/Problem04_label23_true-unreach-call.c 904    886    3070144512 apollon101 27 46.3  790     22.8   37.4  18.9  1184522240 apollon132 14.5   1 1.38  .022 .00  10.8  .801 67.2  53.6  2013220864 apollon037 .913 24.0   48.7   18.6   22.8   21.1   22.5   2.10  18.9   21.0   28.7  15.1  790663168 apollon087 3 1 .870 .966 9.99  6.30  .557 .270 .457 .233 .036 .282 .486
eca-rers2012/Problem04_label24_true-unreach-call.c 905    887    3187822592 apollon068 28 44.2  794     22.4   37.8  19.0  1107881984 apollon035 14.5   1 1.26  .040 .00  10.7  .849 65.9  48.4  1891876864 apollon037 .975 17.0   43.6   20.0   15.4   13.7   15.0   2.11  11.5   13.6   35.4  21.6  925356032 apollon156 10 1 1.46  1.35  16.0   7.91  .903 .486 .820 .431 .053 .527 3.96 
eca-rers2012/Problem04_label25_true-unreach-call.c 906    886    2894098432 apollon152 27 47.9  787     22.5   36.9  18.6  1146408960 apollon023 13.9   1 1.37  .032 .00  10.6  .562 74.2  58.4  2064490496 apollon032 1.12  24.2   52.9   21.5   22.5   20.1   22.2   2.55  17.5   20.1   30.7  17.1  841302016 apollon106 6 1 1.02  1.09  12.1   6.98  .750 .331 .642 .293 .034 .354 1.18 
eca-rers2012/Problem04_label28_true-unreach-call.c 905    890    3314241536 apollon028 26 40.1  807     19.0   37.6  19.0  1093251072 apollon108 14.1   1 1.27  .032 .001 10.5  .525 74.0  57.6  2080792576 apollon110 1.14  21.8   51.3   22.2   20.5   18.3   20.2   2.51  15.7   18.2   35.8  19.5  819888128 apollon102 6 1 1.35  1.53  13.9   7.70  1.05  .545 .939 .456 .085 .568 1.57 
eca-rers2012/Problem04_label29_true-unreach-call.c 904    889    3085754368 apollon079 25 39.6  806     20.0   36.4  18.3  1317048320 apollon024 13.9   1 1.50  .039 .00  10.3  .987 72.5  58.5  1806671872 apollon152 .395 29.5   54.2   18.4   28.3   26.8   28.0   1.94  24.8   26.7   29.9  15.5  707526656 apollon130 3 1 .365 1.22  11.3   6.62  .746 .410 .657 .322 .082 .412 .656
eca-rers2012/Problem04_label30_true-unreach-call.c 904    889    3016904704 apollon061 27 41.7  799     21.8   36.0  18.2  1101123584 apollon047 13.6   1 1.27  .021 .00  10.1  .957 69.8  56.0  1863663616 apollon060 .474 26.6   51.4   18.3   25.4   24.0   25.2   1.90  22.0   23.9   31.5  17.5  821583872 apollon058 6 1 .958 1.24  12.4   7.05  .788 .396 .699 .352 .035 .409 1.63 
eca-rers2012/Problem04_label33_true-unreach-call.c 905    888    3049295872 apollon035 28 43.4  797     22.3   37.1  18.7  1250324480 apollon049 14.3   1 1.46  .040 .00  10.7  .859 68.9  54.0  1592324096 apollon030 .484 26.2   49.2   17.0   24.9   23.2   24.6   1.78  21.4   23.1   46.8  25.3  829009920 apollon157 6 1 1.29  2.33  18.6   10.2   1.25  .702 1.17  .584 .115 .725 2.44 
eca-rers2012/Problem04_label34_true-unreach-call.c 904    887    3030147072 apollon081 27 45.1  794     21.8   38.4  19.4  1249214464 apollon095 14.8   1 1.29  .032 .00  11.1  .740 29.6  18.7  986755072 apollon121 .456 5.28  15.0   6.66  4.59  3.92  4.46  .693 3.20  3.89  32.7  18.2  824094720 apollon156 6 1 .912 1.40  13.3   7.10  .914 .411 .816 .364 .039 .430 1.54 
eca-rers2012/Problem04_label37_true-unreach-call.c 905    885    2849853440 apollon091 26 43.7  796     20.3   48.3  24.4  1213886464 apollon091 18.6   1 1.54  .053 .00  14.2  1.10  75.3  58.8  1791074304 apollon006 .504 29.2   54.1   18.9   27.8   25.8   27.5   2.13  23.6   25.7   40.3  24.2  891867136 apollon146 10 1 1.41  1.98  18.6   8.93  1.39  .849 1.25  .498 .349 .889 4.45 
eca-rers2012/Problem04_label41_true-unreach-call.c 904    886    3031379968 apollon062 27 43.8  795     21.5   39.3  19.8  1109368832 apollon096 15.0   1 1.32  .041 .00  11.2  .606 62.8  46.6  2091778048 apollon046 .998 16.2   41.5   19.0   14.8   13.0   14.6   2.03  10.9   12.9   37.2  23.0  879460352 apollon116 10 1 1.67  1.50  16.9   7.88  1.01  .580 .885 .501 .058 .619 4.11 
eca-rers2012/Problem04_label42_true-unreach-call.c 904    886    3131207680 apollon005 28 45.3  792     22.4   36.5  18.4  1202167808 apollon069 14.1   1 1.36  .045 .00  10.4  .839 76.3  61.2  1745010688 apollon131 .965 29.9   56.1   19.6   28.4   26.6   28.0   2.02  24.3   26.3   42.5  25.6  901607424 apollon093 10 1 1.92  1.50  18.6   9.17  .932 .462 .792 .410 .048 .513 4.15 
eca-rers2012/Problem04_label43_true-unreach-call.c 905    883    3000901632 apollon075 27 49.8  783     22.9   39.2  19.7  1286164480 apollon041 15.2   1 1.48  .022 .00  11.7  .590 58.6  43.9  1986232320 apollon037 .862 13.8   39.1   18.8   12.6   11.0   12.3   2.00  8.99  11.0   37.7  20.8  857620480 apollon143 6 1 1.23  1.50  14.9   8.56  .929 .478 .844 .418 .058 .504 1.62 
eca-rers2012/Problem04_label44_true-unreach-call.c 905    886    3154841600 apollon094 27 43.3  795     21.4   37.7  19.0  1118351360 apollon102 14.0   1 1.32  .044 .00  10.4  .780 71.8  57.8  1836261376 apollon095 .945 28.0   53.0   18.7   26.5   24.9   26.3   2.05  22.8   24.9   45.7  27.4  944398336 apollon125 10 1 2.06  1.80  20.4   10.4   1.18  .623 1.07  .546 .073 .672 4.74 
eca-rers2012/Problem04_label46_true-unreach-call.c 905    887    3295408128 apollon012 27 44.2  791     23.0   37.7  19.1  1193000960 apollon097 14.6   1 1.46  .022 .00  10.9  .787 86.4  68.9  2046914560 apollon070 1.02  35.3   63.1   21.0   34.1   32.4   33.9   2.30  30.0   32.3   35.3  19.7  811728896 apollon164 6 1 1.09  1.52  14.0   8.08  .986 .548 .876 .476 .058 .574 1.38 
eca-rers2012/Problem04_label47_true-unreach-call.c 904    888    3413966848 apollon047 29 43.3  794     22.9   35.6  17.9  1213702144 apollon019 13.4   1 1.58  .050 .00  10.3  .569 66.1  53.1  1727569920 apollon111 .421 25.4   48.8   17.7   24.2   22.8   24.0   1.92  20.8   22.7   41.6  25.3  885575680 apollon095 10 1 1.77  1.78  18.7   8.77  1.18  .636 1.10  .571 .061 .688 4.72 
eca-rers2012/Problem04_label48_true-unreach-call.c 904    884    2919989248 apollon120 27 46.8  791     20.7   38.8  19.5  1137344512 apollon164 14.6   1 1.43  .021 .001 11.0  .660 88.0  71.2  1932087296 apollon150 .485 36.1   66.1   22.6   34.9   32.6   34.6   2.54  29.9   32.5   34.9  20.6  880357376 apollon140 10 1 1.41  1.51  15.1   7.51  1.04  .488 .927 .437 .048 .532 2.83 
eca-rers2012/Problem04_label49_true-unreach-call.c 904    888    3162300416 apollon013 27 41.4  803     19.6   38.3  19.3  1204649984 apollon005 14.6   1 1.25  .039 .00  10.9  .911 76.2  61.7  1832947712 apollon004 .405 31.8   57.2   19.0   30.2   28.6   29.9   1.94  26.6   28.6   46.1  27.1  908324864 apollon073 10 1 1.54  1.68  20.3   11.0   1.11  .546 .963 .466 .063 .582 3.98 
eca-rers2012/Problem04_label50_true-unreach-call.c 905    886    3115921408 apollon007 27 46.3  789     22.7   36.2  18.2  1144057856 apollon033 13.5   1 1.40  .040 .00  10.2  .497 78.3  60.7  1863704576 apollon109 1.31  29.4   55.5   19.3   27.8   25.9   27.5   2.25  23.6   25.8   39.1  22.8  884121600 apollon152 10 1 1.43  1.75  17.3   8.94  1.11  .614 .982 .503 .104 .654 2.98 
eca-rers2012/Problem04_label51_true-unreach-call.c 905    886    3245277184 apollon002 28 49.4  781     25.0   40.2  20.2  1131917312 apollon095 15.3   1 1.57  .029 .00  11.2  .875 61.6  48.0  1497063424 apollon030 .474 22.8   43.8   15.9   21.5   20.0   21.3   1.68  18.2   19.9   45.1  27.1  884445184 apollon126 10 1 1.75  2.11  19.8   9.85  1.49  .799 1.29  .655 .131 .834 4.39 
eca-rers2012/Problem04_label53_true-unreach-call.c 904    886    2959867904 apollon036 27 43.6  795     21.4   38.6  19.4  1151840256 apollon028 15.0   1 1.55  .023 .00  11.1  .735 77.7  62.6  1842626560 apollon130 .449 32.5   57.9   19.2   31.0   29.5   30.8   2.00  27.4   29.4   32.0  17.8  796676096 apollon065 6 1 .875 1.41  12.8   6.72  .918 .533 .819 .371 .160 .567 1.61 
eca-rers2012/Problem04_label54_true-unreach-call.c 906    887    2962452480 apollon085 29 47.9  785     25.6   36.2  18.2  1273622528 apollon020 14.0   1 1.39  .022 .00  10.5  .936 69.0  54.5  1737216000 apollon157 .430 26.0   50.2   18.3   24.5   22.7   24.3   1.96  20.7   22.6   36.8  20.2  840073216 apollon108 6 1 1.03  1.64  14.4   8.29  1.17  .651 1.00  .363 .287 .676 1.62 
eca-rers2012/Problem04_label56_true-unreach-call.c 904    885    3296894976 apollon111 29 49.4  782     25.8   35.3  17.8  1225363456 apollon098 13.6   1 1.38  .032 .00  10.5  .542 82.0  61.5  1853337600 apollon156 1.02  23.6   55.7   23.8   21.6   19.3   21.2   2.63  16.6   19.3   42.4  25.4  881356800 apollon092 10 1 1.84  1.90  18.5   9.55  1.31  .685 1.16  .508 .170 .726 3.94 
eca-rers2012/Problem04_label57_true-unreach-call.c 905    887    2977890304 apollon056 28 45.0  791     23.1   35.1  17.8  1267990528 apollon152 13.5   1 1.39  .022 .00  10.4  .903 67.4  53.2  1982709760 apollon080 .976 23.3   48.1   18.6   21.6   19.6   21.4   2.36  17.2   19.5   40.8  23.9  899923968 apollon134 10 1 1.65  1.96  18.0   8.58  1.50  .877 1.38  .535 .328 .896 3.88 
eca-rers2012/Problem04_label59_true-unreach-call.c 905    890    3238240256 apollon158 27 41.1  803     20.3   37.2  18.8  1186574336 apollon067 14.5   1 1.25  .020 .00  11.0  .745 80.8  64.7  2104008704 apollon100 1.42  32.2   58.9   19.4   30.6   28.4   30.4   2.45  25.9   28.3   30.9  17.2  831246336 apollon146 6 1 .983 1.01  12.3   7.03  .591 .283 .505 .248 .032 .303 1.38 
eca-rers2012/Problem05_label02_true-unreach-call.c 906    887    3614089216 apollon087 17 47.9  272     548     901    451    6126600192 apollon038 129    110    1858232320 apollon067 1.23  75.3   104     20.5   73.5   71.6   72.9   2.09  69.4   71.5   510    486    14999998464 apollon115
eca-rers2012/Problem05_label03_true-unreach-call.c 905    883    4192120832 apollon149 20 61.6  577     214     852    427    5325361152 apollon012 417     5 22.6   15.1   1.75  51.3  325     123    94.2  2009354240 apollon063 4.71  52.4   83.8   21.5   49.7   46.4   49.3   2.79  43.5   46.3   410    390    2924335104 apollon101 51 1 61.0   4.38  323     21.1   3.40  1.95  3.20  1.75  .198 8.70  289    
eca-rers2012/Problem05_label04_true-unreach-call.c 907    884    3685642240 apollon082 18 60.0  387     412     902    452    6093492224 apollon160 442     115    94.4  2169856000 apollon082 4.67  55.7   84.5   18.7   53.5   51.0   53.1   2.67  48.3   51.0   606    585    12523794432 apollon125
eca-rers2012/Problem05_label05_true-unreach-call.c 907    889    3565793280 apollon098 17 46.7  408     414     901    451    6400856064 apollon062 437     88.2  69.2  2067124224 apollon128 2.17  37.1   62.4   17.9   35.4   33.6   35.1   1.91  31.7   33.6   443    424    11578212352 apollon062
eca-rers2012/Problem05_label06_true-unreach-call.c 906    888    3492671488 apollon102 17 47.1  250     571     901    451    6252347392 apollon068 443     83.9  66.5  1565474816 apollon036 1.30  38.7   60.8   15.3   37.2   35.7   36.9   1.45  34.1   35.6   466    444    10927996928 apollon140 41 1 66.1   4.57  372     19.2   3.48  2.13  3.26  1.91  .210 12.1   340    
eca-rers2012/Problem05_label07_true-unreach-call.c 906    885    3759001600 apollon014 18 53.3  333     474     901    451    6102052864 apollon047 442     906    869    3264507904 apollon076 11.7   773     850     59.4   768     762     767     6.68  745     751     132    115    1972740096 apollon136 25 1 21.8   3.73  87.3   15.9   2.80  1.65  2.60  1.50  .145 2.68  62.7  
eca-rers2012/Problem05_label08_true-unreach-call.c 905    889    3090833408 apollon134 14 40.4  214     618     901    451    6461206528 apollon128 103    85.7  2080292864 apollon122 3.83  52.0   77.3   17.0   50.3   48.1   49.9   2.31  45.8   48.1   276    256    3311263744 apollon071 41 1 38.6   3.92  211     18.9   2.89  1.73  2.69  1.56  .167 5.83  181    
eca-rers2012/Problem05_label09_true-unreach-call.c 905    887    3517308928 apollon158 15 44.7  559     265     901    451    6041419776 apollon120 442     107    85.8  1863995392 apollon031 2.54  51.1   78.1   19.2   49.4   47.1   49.1   2.37  44.7   47.1   326    308    14999998464 apollon144
eca-rers2012/Problem05_label10_true-unreach-call.c 912    895    3310497792 apollon137 902    452    6120394752 apollon024 443     98.2  78.4  1425076224 apollon063 1.32  47.4   71.5   17.1   45.7   44.1   45.4   1.69  42.4   44.0   145    127    1923399680 apollon057 25 1 20.8   3.14  100     15.7   2.28  1.35  2.12  1.21  .128 2.18  75.5  
eca-rers2012/Problem05_label12_true-unreach-call.c 906    887    3485065216 apollon149 16 46.7  241     581     902    452    5968850944 apollon037 442     902    879    2114908160 apollon152 11.1   839     863     15.7   838     835     837     2.92  806     809     152    131    2029170688 apollon083 25 1 20.5   3.73  105     17.0   2.66  1.58  2.44  1.42  .158 2.69  77.5  
eca-rers2012/Problem05_label14_true-unreach-call.c 906    887    3493855232 apollon144 16 48.0  253     566     901    452    6178598912 apollon091 138    115    2298601472 apollon130 6.97  76.1   103     17.9   74.0   71.1   73.6   2.92  68.1   71.0   416    396    3550916608 apollon155 50 1 77.4   4.34  312     20.8   3.35  1.98  3.13  1.77  .202 14.6   280    
eca-rers2012/Problem05_label16_true-unreach-call.c 905    887    3611332608 apollon017 17 50.7  243     571     901    451    6242684928 apollon025 443     902    873    2146947072 apollon102 14.4   826     854     19.8   824     821     824     2.10  758     760     499    473    3230343168 apollon162 51 1 83.4   5.46  382     26.8   4.11  2.46  3.90  2.24  .218 13.1   341    
eca-rers2012/Problem05_label17_true-unreach-call.c 904    886    3090153472 apollon042 15 39.0  188     644     960    510    6086176768 apollon160 442     81.2  63.8  1669079040 apollon135 1.36  35.2   57.9   16.2   33.8   32.4   33.5   1.53  30.8   32.3   903    877    4917731328 apollon074 71 0 173     6.63  697     28.8   4.79  2.91  4.45  2.64  .271 50.7   649    
eca-rers2012/Problem05_label19_true-unreach-call.c 905    888    4573777920 apollon166 21 58.8  718     81.7   129    64.8  3833323520 apollon063 58.1   3 10.5   1.39  .361 32.4  11.7   89.7  68.8  1615884288 apollon128 1.29  39.9   63.0   16.3   38.5   36.6   38.2   1.55  35.0   36.6   134    113    2066894848 apollon161 19 1 15.6   3.60  91.6   18.3   2.61  1.52  2.42  1.39  .131 2.54  63.8  
eca-rers2012/Problem05_label20_true-unreach-call.c 905    887    3341529088 apollon024 15 45.1  327     497     904    454    6117666816 apollon112 442     83.9  68.6  2052423680 apollon162 2.23  38.4   61.8   16.8   36.9   35.2   36.7   1.95  33.1   35.1   904    879    5305507840 apollon113 69 0 173     6.46  700     26.1   4.96  2.82  4.69  2.56  .244 56.1   656    
eca-rers2012/Problem05_label21_true-unreach-call.c 905    888    3456303104 apollon125 16 47.7  338     483     901    451    6458724352 apollon028 443     108    87.7  1929981952 apollon077 4.29  51.3   78.2   18.8   48.8   46.7   48.4   2.26  44.4   46.7   108    90.6  1892433920 apollon080 18 1 12.0   2.70  72.7   15.4   1.93  1.13  1.77  1.01  .110 1.73  49.8  
eca-rers2012/Problem05_label22_true-unreach-call.c 904    886    3695362048 apollon007 18 49.5  371     443     908    458    6341775360 apollon114 443