Tool CPAchecker 1.6.1-svn 24714M CPAchecker 1.6.1-svn 24677M CPAchecker 1.6.1-svn 24714M
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 2
Host apollon*
OS Linux 4.4.0-77-generic Linux 4.4.0-75-generic 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 k-induction-bitprecise.k-Induction-inv-combined predicateAnalysis-bitprecise.PredicateAbstraction impact-bitprecise.Impact
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 cpa.predicate.encodeFloatAs=FLOAT -setprop analysis.checkCounterexamples=true -setprop counterexample.checker=CBMC -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -setprop cfa.simplifyCfa=true -setprop cfa.allowBranchSwapping=true -setprop analysis.summaryEdges=true -heap 10000M -noout -disable-java-assertions -predicateAnalysis-ImpactRefiner-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.forcedCovering=cpa.predicate.PredicateForcedCovering -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -setprop analysis.summaryEdges=true -setprop cpa.callstack.skipVoidRecursion=true -setprop cpa.callstack.skipFunctionPointerRecursion=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 k BMC formula creation (s) Bounds check (s) SMT check (s) Induction formula creation (s) Induction check (s) Invariant generation (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)
bitvector/jain_1_true-unreach-call_true-no-overflow.i 534    526    14999998464 apollon153 624    616    14999998464 apollon018 3.51 1.94 236257280 apollon066 .044 .048 .124 .038 .041 .017 .037 .009 .00  .009 2.71 1.54 218460160 apollon005 3 1 .039 .017 .101 .030 .010 .003 .010 .003 .00  .006 .017
bitvector/jain_2_true-unreach-call_true-no-overflow.i 308    301    14999998464 apollon121 505    496    14999998464 apollon055 3.59 2.03 233820160 apollon082 .051 .071 .164 .061 .052 .027 .047 .016 .00  .016 2.53 1.45 217268224 apollon043 3 1 .037 .016 .093 .030 .013 .006 .012 .004 .00  .007 .023
bitvector/jain_4_true-unreach-call_true-no-overflow.i 247    242    14999998464 apollon145 422    414    14999998464 apollon079 2.85 1.63 231641088 apollon147 .041 .061 .140 .052 .050 .027 .049 .015 .006 .021 2.60 1.47 221286400 apollon032 3 1 .044 .021 .122 .038 .014 .008 .013 .007 .00  .010 .029
bitvector/jain_6_true-unreach-call_true-no-overflow.i 249    243    14999998464 apollon025 410    401    14999998464 apollon040 2.91 1.65 233848832 apollon101 .054 .064 .140 .046 .051 .031 .048 .016 .002 .018 2.72 1.52 222732288 apollon157 3 1 .048 .020 .115 .047 .013 .007 .012 .006 .00  .009 .029
bitvector/jain_7_true-unreach-call_true-no-overflow.i 566    559    14999998464 apollon140 640    631    14999998464 apollon087 4.62 3.30 240238592 apollon112 1.61  .097 .161 .036 .092 .051 .090 .026 .003 .029 4.31 3.09 233201664 apollon115 3 1 1.60  .019 .128 .036 .013 .006 .013 .004 .00  .007 .037
bitvector/modulus_true-unreach-call_true-no-overflow.i 265    255    905908224 apollon013 46 4.81  157     87.5   33.6  17.0  1280503808 apollon139 1 .131 .008 1.70  .272 13.3   15.5   901    899    430460928 apollon159 1.18  896     896     .041 896     896     896     .147 896     896     10.2  8.79 239427584 apollon152 3 2 1.53  .069 5.57  .067 .061 .043 .054 .040 .002 1.46  5.40 
bitvector/s3_clnt_1_true-unreach-call_true-no-overflow.BV.c.cil.c 14.7  11.4  496992256 apollon064 15 1.26  4.17  3.68  37.1  18.7  1197686784 apollon011 8 .980 1.34  .734 1.47  11.9   16.8   901    893    731119616 apollon148 1.58  888     889     .446 888     887     888     1.32  814     815     896    890    459390976 apollon040 109 4 26.8   .854 861     .512 .792 .646 .779 .558 .080 20.8   858    
bitvector/s3_clnt_3_true-unreach-call_true-no-overflow.BV.c.cil.c 13.2  8.92 400695296 apollon119 15 1.59  2.60  2.20  14.5  7.39 579948544 apollon080 7 .905 .937 .364 1.38  1.54  5.49  901    891    771805184 apollon085 .942 887     888     .486 887     886     887     1.10  762     763     912    908    551858176 apollon113
bitvector/s3_srvr_1_true-unreach-call_true-no-overflow.BV.c.cil.c 904    894    3384238080 apollon115 76 4.51  299     569     11.0  5.65 552468480 apollon063 5 .723 .517 .098 1.18  .968 3.67  16.8  9.67 486678528 apollon163 .546 4.36  7.10  1.20  4.22  3.55  4.18  1.99  1.39  3.38  901    892    2473775104 apollon057 733 0 321     1.58  569     .771 1.49  1.20  1.47  1.05  .137 248     558    
bitvector/s3_srvr_2_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 903    893    2844360704 apollon134 69 4.69  232     639     165    82.7  2948145152 apollon157 25 2.63  21.4   32.8   3.54  18.0   80.4   121    112    863301632 apollon103 .646 107     110     1.03  107     106     107     2.26  93.1   95.4   912    908    364224512 apollon038
bitvector/s3_srvr_2_true-unreach-call_true-no-overflow.BV.c.cil.c 903    892    2857652224 apollon066 68 4.92  259     610     178    89.4  3071430656 apollon012 25 2.78  21.2   34.8   3.52  22.3   87.1   901    889    1194102784 apollon126 12.1   874     875     .730 873     873     873     1.55  647     648     912    907    4754685952 apollon103
bitvector/s3_srvr_3_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 905    894    5215793152 apollon151 53 3.89  307     561     902    452    4724064256 apollon091 29.9  21.4  556830720 apollon002 1.51  15.2   17.5   1.08  15.1   14.1   15.1   3.76  10.0   13.8   912    905    927645696 apollon152
bitvector/s3_srvr_3_true-unreach-call_true-no-overflow.BV.c.cil.c 904    895    5092356096 apollon090 53 3.42  326     546     902    453    4933058560 apollon122 449     23.6  15.8  541245440 apollon136 .539 11.0   13.3   1.11  10.8   10.0   10.8   3.20  6.48  9.68  912    906    642101248 apollon028
bitvector/soft_float_1_true-unreach-call_true-no-overflow.c.cil.c 181    164    3593699328 apollon158 48 37.9   10.4   92.6   901    850    5841387520 apollon084 14.0   13.9  9.07 325484544 apollon151 .521 5.43  6.62  .500 5.34  4.71  5.30  4.68  .010 4.69  10.8  7.68 283959296 apollon146 8 8 .528 4.91  5.77  .456 4.82  4.43  4.80  4.41  .006 4.43  .024
bitvector/soft_float_3_true-unreach-call_true-no-overflow.c.cil.c 159    143    3504451584 apollon117 72 35.5   16.8   64.3   902    857    5913161728 apollon153 6.38  109    96.4  1629597696 apollon056 6.93  82.2   87.8   2.02  81.4   64.7   81.2   27.7   26.1   53.8   37.5  29.8  465928192 apollon156 285 9 16.5   6.16  11.9   1.89  5.96  5.01  5.91  4.83  .157 5.29  2.59 
bitvector/soft_float_4_true-unreach-call_true-no-overflow.c.cil.c 903    892    975540224 apollon122 20 7.45  1.32  863     283    255    2151698432 apollon058 1 .619 .010 32.1   14.2   206     22.4   207    203    345321472 apollon018 .027 201     202     .340 201     200     201     200     .00  200     266    263    311574528 apollon168 0 .020 261     262     .459 261     260     261     260     .00  260     .009
bitvector-regression/recHanoi03_false-unreach-call.c 3.14 1.77 212226048 apollon022 1 .107 2.81 1.54 261156864 apollon045 3.56 1.99 226459648 apollon102 .003 .034 .022 .00  .00  2.45 1.36 205795328 apollon033 0 .004 .036 .026 .00  .00  .00 
bitvector-loops/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call.i 5.01 3.22 303448064 apollon087 12 .349 .082 .122 12.7  8.18 504950784 apollon101 12 .214 .084 .128 1.28  3.65  .654 908    904    1004077056 apollon011 .726 901     901     .282 901     900     901     .359 836     836     7.97 5.97 313151488 apollon138 121 0 2.20  .060 2.27  .148 .040 .009 .037 .003 .003 .169 1.89 
heap-manipulation/bubble_sort_linux_false-unreach-call_false-valid-memcleanup.i 12.9  9.79 427819008 apollon014 1 .395 .118 902    884    4247814144 apollon165 1.44  904    894    1518465024 apollon047 8.98  878     879     .474 878     815     878     70.3   773     844     913    908    1651650560 apollon044
heap-manipulation/dll_of_dll_false-unreach-call_false-valid-memcleanup.i 7.14 4.90 303112192 apollon101 1 .254 .052 546    529    2432598016 apollon113 2 .897 .429 .226 243     238     1.26  3.83 2.10 269762560 apollon134 .005 .285 .239 .00  .00  5.19 3.23 302133248 apollon115 1 0 .740 .039 .389 .152 .020 .012 .017 .005 .004 .009 .046
heap-manipulation/sll_to_dll_rev_false-unreach-call_false-valid-memcleanup.i 6.32 4.03 309026816 apollon097 1 .211 .049 8.30 4.68 454893568 apollon135 1 .395 .162 1.33  902    894    863215616 apollon123 1.49  889     890     .762 889     886     889     7.45  874     881     901    896    665083904 apollon049 939 0 599     .428 295     .354 .335 .152 .325 .116 .026 597     287    
heap-manipulation/tree_false-unreach-call_false-valid-deref.i 6.15 4.06 302264320 apollon108 2 .430 .002 .029 15.8  9.46 824205312 apollon038 2 .298 .002 .036 3.63  1.72  1.09  906    898    579977216 apollon137 2.77  886     887     .573 886     885     886     8.03  875     883     905    900    625758208 apollon028 356 29 26.6   .241 871     .343 .212 .156 .199 .074 .071 22.2   870    
heap-manipulation/tree_false-unreach-call_false-valid-memcleanup.i 7.08 4.61 307724288 apollon102 2 .567 .002 .033 15.4  9.27 786456576 apollon049 2 .384 .002 .043 3.26  1.79  1.20  902    896    490921984 apollon031 .892 892     893     .454 892     891     892     5.57  884     889     901    896    748781568 apollon025 290 15 564     .493 329     .335 .451 .325 .439 .150 .159 569     313    
heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i 3.43 1.88 256516096 apollon155 1 .223 3.92 2.11 274083840 apollon021 3.43 1.92 274849792 apollon108 .005 .199 .163 .002 .00  .00  .00  .00  2.92 1.63 252248064 apollon018 0 .002 .147 .055 .002 .001 .00  .00  .00  .00 
heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i 6.63 4.58 303206400 apollon058 1 .257 .051 540    523    2269282304 apollon094 2 .830 .541 .224 241     236     .760 4.28 2.39 277159936 apollon158 .006 .264 .215 .00  .00  5.11 3.19 296574976 apollon106 1 0 .715 .027 .382 .145 .014 .009 .013 .003 .003 .007 .042
list-properties/alternating_list_false-unreach-call_false-valid-memcleanup.i 4.98 2.80 289304576 apollon028 2 .381 .013 .019 6.45 3.58 420962304 apollon019 2 .287 .013 .014 .573 .177 .881 4.30 2.47 307630080 apollon066 .099 .136 .404 .085 .124 .075 .118 .050 .016 .066 3.94 2.24 285614080 apollon077 3 1 .163 .080 .297 .110 .069 .040 .068 .024 .010 .039 .026
list-properties/list_false-unreach-call_false-valid-memcleanup.i 8.31 5.72 303792128 apollon150 2 .434 .015 .043 12.0  7.26 535375872 apollon127 2 .418 .024 .036 1.55  .797 .786 901    895    788086784 apollon080 .506 892     893     .430 892     891     892     6.31  878     885     901    896    559222784 apollon039 7120 40 .129 2.39  894     .418 2.37  2.08  2.35  1.68  .391 2.11  891    
list-properties/splice_false-unreach-call_false-valid-memcleanup.i 5.57 3.37 291127296 apollon124 2 .399 .017 .030 15.2  8.92 698257408 apollon037 2 .261 .029 .019 3.33  2.63  2.83  902    896    1062572032 apollon085 .916 892     893     .330 892     891     892     1.43  863     864     912    909    647872512 apollon079
list-properties/list_search_true-unreach-call_false-valid-memtrack.i 7.52 4.32 429883392 apollon033 5 1.70  .655 .124 22.2  13.1  1019822080 apollon160 5 1.50  .882 .175 5.49  2.83  1.16  9.02 5.48 319393792 apollon066 .273 2.47  2.98  .215 2.43  2.19  2.40  .431 1.64  2.07  901    894    772018176 apollon001 3137 46 487     .787 405     .557 .710 .307 .681 .260 .019 549     387    
ldv-regression/ex3_forlist.c_true-unreach-call.i 3.01 1.66 255864832 apollon107 6 .198 .025 .00  13.8  8.33 658939904 apollon111 6 .120 .023 .00  3.36  3.18  1.04  901    897    384233472 apollon002 .469 895     895     .294 895     894     895     .715 894     894     4.34 2.74 270139392 apollon112 20 4 .671 .245 .706 .157 .205 .111 .195 .093 .011 .311 .178
ldv-regression/test_union.c_true-unreach-call_1.i 2.32 1.32 210800640 apollon139 1 .051 .00  .00  2.97 1.63 256692224 apollon024 1 .064 .00  .00  .168 3.08 1.76 269852672 apollon119 .025 .004 .162 .024 .001 .001 .00  .00  .00  2.71 1.53 231051264 apollon056 0 .046 .004 .035 .021 .001 .001 .00  .00  .00  .00 
ldv-regression/test23_true-unreach-call.c 4.32 2.74 289624064 apollon093 11 .284 .573 .289 6.03 3.59 308076544 apollon081 11 .366 .605 .561 .131 .131 .674 901    896    961806336 apollon043 12.8   882     882     .106 881     881     881     1.06  839     840     25.3  23.4  308760576 apollon146
ldv-regression/test25_true-unreach-call.c 5.92 4.08 296067072 apollon146 11 .372 .204 1.70  10.9  6.62 427884544 apollon146 11 .255 .254 1.59  1.33  1.41  .737 901    895    1972817920 apollon115 8.17  885     885     .192 885     871     885     30.7   831     862     912    909    804954112 apollon056
ldv-regression/test27_true-unreach-call.c 4.44 2.98 281796608 apollon012 11 .267 .324 .913 5.74 3.62 299732992 apollon092 11 .301 .389 1.09  .114 .117 .468 15.4  12.4  298512384 apollon104 2.10  8.06  8.33  .117 8.02  7.58  8.01  .658 6.88  7.54  6.55 5.04 256897024 apollon082 55 0 2.64  .090 1.08  .118 .072 .016 .071 .032 .00  .841 .721
ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i 10.2  5.49 348143616 apollon042 11 .586 .832 .103 902    821    7750762496 apollon024 2.40  11.2  6.90 354123776 apollon027 1.12  2.38  3.01  .370 2.34  1.92  2.32  1.17  .755 1.93  9.78 6.14 340410368 apollon076 57 1 1.38  .215 2.33  .440 .191 .137 .184 .133 .001 .225 1.53 
ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i 7.24 4.06 333357056 apollon077 11 .460 .572 .059 902    816    7849746432 apollon159 2.04  11.3  6.96 349306880 apollon097 1.16  2.37  2.97  .404 2.33  1.88  2.31  1.16  .764 1.92  11.2  6.96 341708800 apollon057 56 0 1.53  .111 2.62  .539 .074 .039 .068 .036 .00  .081 1.78 
ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i 8.76 4.95 333475840 apollon096 11 .487 .732 .074 901    824    7403233280 apollon097 2.06  11.5  7.03 362008576 apollon086 1.11  2.34  2.93  .353 2.31  1.88  2.29  1.14  .759 1.90  11.6  7.25 338456576 apollon150 56 0 1.52  .221 2.85  .457 .192 .127 .181 .122 .002 .165 1.85 
forester-heap/dll-01_false-unreach-call_false-valid-memcleanup.i 6.00 4.13 306659328 apollon121 1 .298 .041 17.3  8.81 688517120 apollon104 1 .368 .123 6.53  901    890    738861056 apollon104 .728 886     887     .518 886     882     886     14.2   862     876     901    896    618053632 apollon088 1752 47 11.1   1.49  883     .369 1.45  1.08  1.44  .978 .070 4.81  880    
forester-heap/dll-circular_false-unreach-call_false-valid-memcleanup.i 5.42 3.22 293179392 apollon159 1 .326 .014 8.96 4.62 416362496 apollon073 1 .302 .034 2.71  906    898    1920827392 apollon157 8.21  883     883     .164 883     882     883     2.01  506     508     912    908    766103552 apollon022
forester-heap/dll-queue_false-unreach-call_false-valid-memcleanup.i 10.9  8.22 326303744 apollon048 4 .646 .143 .274 16.0  10.1  607686656 apollon104 4 .582 .137 .273 1.58  1.19  1.40  901    894    1326886912 apollon156 4.64  887     888     .395 887     875     887     14.5   845     859     907    903    858906624 apollon020 107 8 17.8   .790 884     .229 .764 .606 .758 .574 .030 16.8   882    
forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i 10.5  8.55 394752000 apollon111 2 .355 .022 .184 14.4  10.6  562053120 apollon074 2 .441 .047 .249 .679 .443 1.42  1000    993    2268405760 apollon069 1000    992    4414111744 apollon108
forester-heap/dll-sorted_false-unreach-call_false-valid-memcleanup.i 20.4  16.1  326438912 apollon013 2 .734 .020 .074 49.2  40.3  1403293696 apollon161 2 .401 .024 .103 15.5   12.1   1.71  932    916    1075081216 apollon139 9.89  872     873     .506 872     866     872     10.3   827     837     901    897    517156864 apollon094 334 1 195     .320 699     .200 .288 .117 .278 .090 .009 198     694    
forester-heap/dll-token_false-unreach-call_false-valid-memcleanup.i 4.69 2.95 291332096 apollon167 1 .252 .013 6.96 3.77 405774336 apollon020 1 .322 .043 1.01  903    897    1780994048 apollon062 20.1   872     873     .298 872     831     872     20.2   804     824     912    908    697131008 apollon067
forester-heap/sll-01_false-unreach-call_false-valid-deref.i 17.5  14.0  336957440 apollon108 2 .517 .058 .276 49.8  37.3  1230237696 apollon055 2 .518 .117 .401 4.08  20.1   6.54  901    893    786354176 apollon081 .621 889     890     .493 889     886     889     11.9   868     880     901    896    759881728 apollon063 1869 50 11.0   1.76  883     .384 1.72  1.35  1.71  1.24  .086 6.50  880    
forester-heap/sll-buckets_false-unreach-call_false-valid-memcleanup.i 14.3  10.8  444669952 apollon010 2 .669 .036 .143 154    143    1499070464 apollon167 2 .547 .092 .200 47.0   86.5   5.26  15.6  11.7  349421568 apollon150 .913 8.39  8.88  .317 8.34  7.88  8.32  1.41  6.28  7.69  901    894    493568000 apollon146 11453 187 5.00  5.67  888     .872 5.62  4.63  5.60  4.17  .432 35.1   879    
forester-heap/sll-circular_false-unreach-call_false-valid-memcleanup.i 4.92 2.98 289087488 apollon139 1 .294 .018 7.66 4.01 419332096 apollon047 1 .293 .028 2.05  906    896    1459965952 apollon061 7.75  882     883     .335 882     882     882     2.45  514     517     912    909    1088512000 apollon152
forester-heap/sll-queue_false-unreach-call_false-valid-memcleanup.i 7.45 5.13 313507840 apollon130 4 .611 .108 .207 14.4  8.52 584749056 apollon113 4 .543 .121 .289 1.59  1.20  1.27  901    895    962211840 apollon116 6.38  886     887     .225 886     876     886     13.1   848     861     912    908    730492928 apollon136
forester-heap/sll-rb-sentinel_false-unreach-call_false-valid-memcleanup.i 6.57 4.33 310173696 apollon155 2 .456 .032 .063 8.33 5.01 455196672 apollon054 2 .402 .068 .056 .688 .338 1.21  902    898    1040662528 apollon143 2.20  892     893     .153 892     892     892     .455 868     869     17.3  14.8  342020096 apollon001 49 8 4.69  .299 6.53  .146 .286 .215 .282 .180 .030 .549 5.93 
forester-heap/sll-sorted_false-unreach-call_false-valid-memcleanup.i 18.8  14.6  323104768 apollon028 2 .796 .013 .069 46.3  36.0  1175015424 apollon132 2 .376 .039 .089 13.9   10.1   1.74  906    894    1065320448 apollon065 3.78  882     883     .497 882     879     882     8.64  835     843     903    899    506978304 apollon168 689 54 13.8   1.08  883     .327 1.05  .789 1.03  .670 .100 16.4   881    
forester-heap/sll-token_false-unreach-call_false-valid-memcleanup.i 5.72 3.53 291803136 apollon115 1 .261 .015 6.22 3.63 358387712 apollon117 1 .294 .035 .597 902    896    1096151040 apollon004 1.90  890     891     .203 890     882     890     14.0   855     869     912    908    783396864 apollon168
forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i 61.5  56.8  606633984 apollon077 3 1.13  .211 1.45  112    95.7  1553145856 apollon129 3 .869 .329 1.54  11.5   26.1   9.86  901    894    688156672 apollon076 1.25  890     890     .527 889     887     889     6.77  875     882     901    895    759263232 apollon008 2254 51 79.6   4.50  814     .586 4.46  3.82  4.44  3.29  .497 72.0   806    
forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i 23.5  21.1  678510592 apollon073 4 .703 .640 1.27  37.5  28.3  1069854720 apollon138 4 .716 1.10  2.15  2.01  2.08  6.43  910    904    794370048 apollon073 1.50  891     892     .314 891     891     891     2.19  887     889     8.25 6.52 602185728 apollon054 9 1 .524 .277 1.63  .182 .261 .216 .259 .160 .053 .240 1.09 
forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i 22.4  20.1  525860864 apollon141 3 .511 .076 .451 29.0  24.6  681922560 apollon055 3 .562 .155 .471 .895 .617 1.10  965    960    1549148160 apollon105 3.62  889     890     .373 889     888     889     3.81  879     883     1000    994    4607344640 apollon087
forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i 10.3  8.41 396214272 apollon119 2 .352 .022 .175 14.1  10.4  556457984 apollon053 2 .384 .072 .361 .822 .349 1.32  1000    993    2286981120 apollon114 1000    993    5287919616 apollon028
forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i 49.4  44.0  596762624 apollon141 3 1.38  .283 1.22  80.1  66.8  1485815808 apollon162 3 .765 .338 1.30  13.2   18.7   5.97  901    893    942145536 apollon138 .594 890     891     .426 890     886     890     12.2   868     881     901    896    768929792 apollon051 1902 50 11.4   1.78  883     .486 1.75  1.37  1.73  1.25  .099 6.52  879    
forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i 17.4  15.0  521199616 apollon064 4 .714 .661 1.41  27.8  19.5  929701888 apollon018 4 .768 1.16  2.42  2.03  1.58  4.84  906    900    625582080 apollon020 1.63  891     891     .355 891     890     891     2.40  886     888     7.35 5.53 451772416 apollon015 9 1 .562 .312 1.67  .173 .293 .244 .288 .175 .063 .267 1.09 
forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i 8.39 6.06 325509120 apollon019 3 .565 .100 .286 10.3  6.81 474730496 apollon166 3 .460 .122 .190 .864 .424 .795 906    900    628109312 apollon139 6.78  886     886     .211 886     885     886     2.54  880     882     915    910    1146097664 apollon091 306 21 102     .864 794     .244 .841 .661 .831 .595 .056 24.7   790    
forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i 8.22 6.10 343683072 apollon074 3 .511 .133 .459 12.3  8.13 501620736 apollon139 3 .549 .178 .434 .923 .644 1.10  902    897    761257984 apollon130 2.23  892     892     .144 892     892     892     .476 873     874     25.4  22.6  379990016 apollon088 72 9 9.68  .332 9.30  .150 .313 .239 .311 .197 .035 1.11  8.59 
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i 4.65 2.61 292433920 apollon060 1 .299 .007 901    884    2079031296 apollon096 1 .289 .005 882     3.80 2.18 291459072 apollon105 .061 .130 .265 .079 .121 .001 .00  .00  .00  3.62 2.08 274907136 apollon135 0 .126 .010 .119 .070 .002 .001 .00  .00  .00  .00 
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i 112    100    1382412288 apollon074 12 4.37  16.9   68.9   955    779    4599316480 apollon059 12 4.60  11.3   71.5   7.22  15.3   777     901    894    811601920 apollon136 .393 892     892     .382 892     891     892     3.00  880     883     901    896    1059360768 apollon096 1928 28 120     2.38  775     .413 2.33  1.98  2.31  1.56  .377 99.6   771    
list-ext-properties/simple-ext_false-unreach-call_false-valid-memcleanup.i 3.86 2.19 284209152 apollon073 1 .261 .002 901    882    1871384576 apollon116 1 .260 .001 881     3.72 2.14 297418752 apollon023 .056 .009 .214 .060 .004 .003 .00  .00  .00  3.25 1.89 273825792 apollon020 0 .121 .008 .153 .091 .004 .001 .00  .00  .00  .00 
list-ext2-properties/list_and_tree_cnstr_false-unreach-call.i 32.7  28.4  526663680 apollon041 2 1.17  .059 .229 901    887    1819226112 apollon073 4.25  901    895    687484928 apollon146 .582 891     892     .433 891     890     891     6.83  877     884     901    895    432717824 apollon107 6796 39 .067 2.48  894     .519 2.46  2.15  2.45  1.77  .398 2.23  890    
list-ext2-properties/simple_search_value_false-unreach-call.i 24.0  21.5  412827648 apollon017 12 .526 .568 12.5   910    855    2086027264 apollon101 12 .522 1.82  20.6   2.58  10.3   853     901    895    802557952 apollon157 2.58  890     891     .243 890     889     890     1.78  880     882     901    898    2491572224 apollon079 101 0 888     .689 7.84  .196 .660 .340 .655 .486 .037 793     6.62 
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c 22.2  16.8  679694336 apollon054 1 .878 .229 48.5  24.5  1491283968 apollon084 16.8  11.0  642236416 apollon058 .988 2.89  3.78  .482 2.84  2.29  2.83  2.24  .012 2.25  11.7  8.32 578027520 apollon059 0 .617 2.26  2.88  .283 2.21  1.79  2.20  1.76  .009 1.77  .001
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c 597    592    731430912 apollon167 1 .680 .169 962    481    4139839488 apollon007 12.6  9.37 645971968 apollon112 .459 1.96  2.54  .208 1.92  1.55  1.91  1.50  .022 1.52  14.9  11.2  622104576 apollon006 1 1 .655 2.25  2.82  .253 2.20  1.78  2.19  1.74  .017 1.76  .019
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 887    876    14999998464 apollon086 904    454    7704719360 apollon093 448     7.97 5.15 359440384 apollon042 .036 2.68  3.24  .321 2.63  2.12  2.62  2.10  .001 2.10  8.06 5.32 337190912 apollon117 0 .116 2.97  3.44  .234 2.92  2.35  2.91  2.33  .00  2.33  .004
ssh-simplified/s3_srvr_1_true-unreach-call.cil.c 904    894    5084712960 apollon143 78 4.92  351     512     9.69 5.01 460279808 apollon015 4 .596 .371 .083 1.01  .820 3.08  18.1  10.6  504520704 apollon042 .803 5.52  7.89  1.11  5.40  4.71  5.36  1.88  2.70  4.57  912    904    2878025728 apollon016
ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c 906    898    8790065152 apollon124 311 6.41  731     108     4.55 2.41 274608128 apollon112 3 .185 .036 .016 .373 .028 .917 7.01 3.78 297140224 apollon150 .188 .917 1.86  .475 .835 .547 .813 .356 .134 .490 212    206    1410965504 apollon136 1087 1 97.8   .765 107     .416 .696 .518 .677 .425 .079 49.8   105    
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c 549    542    14999998464 apollon081 3.83 2.09 266080256 apollon081 2 .155 .005 .00  .231 .012 .592 3.76 2.10 276361216 apollon068 .044 .163 .475 .069 .123 .062 .120 .041 .009 .050 3.28 1.86 250138624 apollon039 9 1 .066 .080 .341 .101 .058 .029 .053 .022 .004 .055 .084
ssh-simplified/s3_srvr_2_true-unreach-call.cil.c 904    895    3432202240 apollon032 80 4.85  372     495     11.7  5.99 557535232 apollon143 6 .853 .694 .354 1.14  .871 4.08  27.1  19.1  690216960 apollon075 2.63  11.9   14.5   1.17  11.7   10.9   11.6   2.57  7.82  10.4   144    139    578842624 apollon070 241 1 25.2   .850 112     .584 .774 .637 .762 .551 .079 15.1   109    
ssh-simplified/s3_srvr_3_true-unreach-call.cil.c 904    894    5017657344 apollon136 82 5.24  370     492     12.7  6.52 579678208 apollon167 6 .744 .748 .369 1.38  1.13  4.58  25.2  16.8  640974848 apollon103 1.83  10.1   12.8   1.14  9.86  8.92  9.79  2.49  5.92  8.41  50.9  45.8  453869568 apollon131 144 1 11.8   .651 32.4   .501 .581 .472 .570 .405 .059 7.15  30.1  
ssh-simplified/s3_srvr_4_true-unreach-call.cil.c 903    895    5007638528 apollon152 84 4.94  371     494     14.7  7.53 605069312 apollon046 7 .768 .939 .355 1.48  1.72  5.56  22.1  14.7  507809792 apollon130 1.23  8.98  11.4   1.06  8.80  8.07  8.75  2.13  5.56  7.69  188    179    902311936 apollon101 289 1 48.7   1.17  128     .761 1.08  .876 1.06  .754 .110 30.0   123    
ssh-simplified/s3_srvr_6_true-unreach-call.cil.c 904    895    5039677440 apollon044 79 4.99  391     475     28.9  14.6  1035735040 apollon020 10 1.19  2.88  1.96  2.10  3.80  12.6   29.4  21.4  591458304 apollon099 .849 16.0   18.4   1.13  15.8   15.1   15.8   1.94  12.5   14.4   912    904    797130752 apollon110
ssh-simplified/s3_srvr_7_true-unreach-call.cil.c 903    894    5010010112 apollon021 82 4.64  357     509     24.5  12.4  979140608 apollon115 9 1.31  2.03  1.31  1.97  3.31  10.4   33.4  25.1  615419904 apollon164 .820 19.2   22.0   1.38  19.0   18.2   19.0   2.60  14.9   17.5   901    890    3262038016 apollon137 595 0 435     1.79  453     .847 1.65  1.36  1.62  1.17  .184 347     439    
ssh-simplified/s3_srvr_8_true-unreach-call.cil.c 905    894    5016330240 apollon133 82 5.68  344     518     13.1  6.69 567091200 apollon040 6 .860 .578 .362 1.45  1.20  4.79  27.7  18.7  594886656 apollon089 .978 12.8   15.4   1.14  12.7   11.9   12.6   2.17  9.18  11.4   110    102    755867648 apollon131 244 1 27.9   .862 72.2   .537 .780 .636 .769 .550 .082 16.7   69.2  
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c 398    391    14999998464 apollon057 4.33 2.33 275193856 apollon054 1 .241 .033 .017 .212 .025 .798 3.45 1.93 280379392 apollon121 .032 .074 .219 .070 .045 .028 .043 .022 .002 .024 2.77 1.59 219684864 apollon126 0 .029 .062 .232 .085 .042 .021 .039 .018 .002 .020 .001
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c 454    445    14999998464 apollon046 4.71 2.48 278134784 apollon164 1 .291 .024 .028 .244 .066 .950 3.89 2.19 229892096 apollon094 .032 .081 .251 .099 .053 .033 .050 .025 .005 .030 3.06 1.70 216682496 apollon093 0 .034 .076 .281 .113 .046 .024 .042 .018 .003 .021 .00 
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c 479    470    14999998464 apollon166 4.89 2.64 294555648 apollon001 1 .269 .042 .031 .289 .124 .964 4.01 2.27 232423424 apollon153 .040 .085 .277 .087 .067 .035 .065 .026 .004 .030 2.98 1.67 214892544 apollon159 0 .034 .066 .267 .094 .047 .026 .045 .020 .003 .023 .00 
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c 458    449    14999998464 apollon033 4.61 2.45 283721728 apollon113 1 .264 .045 .039 .252 .047 .965 3.69 2.06 278593536 apollon093 .036 .079 .253 .083 .054 .033 .050 .026 .004 .030 2.86 1.62 217042944 apollon097 0 .040 .069 .247 .095 .048 .028 .046 .019 .003 .022 .001
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c 477    467    14999998464 apollon126 5.01 2.65 305180672 apollon014 1 .381 .045 .041 .277 .083 1.14  3.80 2.16 284835840 apollon104 .035 .089 .275 .099 .063 .040 .058 .030 .005 .035 3.08 1.70 214294528 apollon143 0 .035 .076 .302 .110 .055 .034 .052 .027 .004 .031 .001
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c 441    432    14999998464 apollon111 5.07 2.67 284651520 apollon008 1 .353 .041 .043 .308 .087 1.12  4.17 2.36 280092672 apollon158 .046 .098 .305 .103 .073 .047 .069 .034 .007 .041 3.09 1.73 219373568 apollon050 0 .037 .082 .286 .120 .058 .039 .057 .027 .005 .032 .00 
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c 382    375    14999998464 apollon123 3.93 2.12 272875520 apollon166 1 .204 .007 .009 .108 .033 .625 3.70 2.08 225226752 apollon158 .029 .049 .174 .061 .032 .016 .030 .013 .001 .014 3.28 1.83 213319680 apollon043 0 .027 .052 .185 .062 .036 .020 .033 .015 .002 .017 .001
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c 455    447    14999998464 apollon004 3.92 2.12 269570048 apollon097 1 .201 .021 .011 .192 .034 .662 2.89 1.62 225640448 apollon075 .023 .051 .146 .048 .030 .017 .027 .013 .002 .015 2.64 1.48 210845696 apollon053 0 .022 .044 .159 .045 .030 .013 .025 .011 .001 .012 .00 
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c 393    386    14999998464 apollon140 4.38 2.33 285151232 apollon157 1 .276 .028 .040 .196 .060 .890 3.79 2.12 231989248 apollon074 .030 .060 .201 .070 .038 .022 .036 .017 .001 .018 2.94 1.61 217784320 apollon151 0 .039 .052 .201 .070 .028 .015 .027 .012 .001 .013 .00 
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c 429    421    14999998464 apollon150 4.13 2.21 281153536 apollon004 1 .262 .021 .011 .125 .021 .648 3.66 2.03 236777472 apollon059 .027 .071 .224 .063 .049 .027 .045 .022 .003 .025 3.11 1.73 215797760 apollon114 0 .045 .061 .207 .082 .044 .023 .039 .019 .002 .021 .001
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c 481    473    14999998464 apollon126 4.58 2.44 276381696 apollon006 1 .269 .022 .029 .269 .049 .895 3.14 1.77 230453248 apollon075 .028 .056 .180 .050 .042 .023 .040 .017 .003 .020 2.70 1.51 212639744 apollon158 0 .043 .055 .179 .076 .039 .022 .036 .017 .002 .019 .002
ntdrivers/cdaudio_false-unreach-call.i.cil.c 302    291    14999998464 apollon033 901    451    4749537280 apollon010 902    875    3210334208 apollon015 39.9   770     831     36.4   768     557     767     552     1.86  554     902    881    827580416 apollon150 3196 0 124     598     754     48.0   596     477     596     453     22.7   497     82.6  
ntdrivers/diskperf_false-unreach-call.i.cil.c 25.0  20.3  612327424 apollon167 1 .709 .816 926    876    3785146368 apollon101 1 1.25  2.89  871     21.4  16.1  574013440 apollon044 1.68  7.00  7.69  .410 6.96  6.06  6.96  5.55  .483 6.03  23.3  18.0  517386240 apollon061 0 1.74  8.11  9.04  .455 8.06  7.09  8.05  6.47  .598 7.07  .002
ntdrivers/floppy_false-unreach-call.i.cil.c 104    95.7  1385857024 apollon165 1 3.42  7.53  960    760    6493212672 apollon093 538    515    4320935936 apollon159 91.7   357     376     10.5   357     322     356     298     23.4   321     195    176    3299733504 apollon098 139 3 76.1   46.8   58.7   5.64  46.7   41.2   46.7   38.2   2.88  41.6   2.84 
ntdrivers/parport_false-unreach-call.i.cil.c 140    129    1127440384 apollon044 1 2.39  3.22  416    208    5004677120 apollon153 1 3.42  8.81  203     14.1  8.01 343851008 apollon156 .050 3.25  4.33  .651 3.19  2.74  3.16  2.65  .068 2.72  903    876    1340551168 apollon004 0 .042 830     873     27.0   829     650     828     623     25.0   648     .100
ntdrivers/diskperf_true-unreach-call.i.cil.c 866    859    14999998464 apollon116 904    454    9845293056 apollon143 447     13.7  9.37 463278080 apollon151 .058 5.82  6.58  .451 5.78  4.70  5.77  4.64  .020 4.67  12.0  8.33 444493824 apollon076 0 .050 5.41  6.09  .369 5.27  4.36  5.26  4.33  .015 4.35  .002
ntdrivers/floppy2_true-unreach-call.i.cil.c 905    889    6226898944 apollon020 50 11.2   791     55.9   901    451    4356435968 apollon064 421     67.5  53.8  1169887232 apollon129 4.38  37.9   43.0   1.98  37.8   31.5   37.7   31.2   .246 31.4   59.2  47.2  1024397312 apollon138 52 49 9.36  25.0   33.9   1.59  24.9   21.0   24.9   20.8   .142 21.0   4.39 
ntdrivers/floppy_true-unreach-call_true-valid-memsafety.i.cil.c 906    892    9451610112 apollon057 140 14.3   750     86.1   902    452    7140425728 apollon032 73.8  60.7  1108733952 apollon108 4.30  45.9   52.1   3.58  45.7   40.2   45.7   38.6   1.53  40.1   42.8  34.6  1045811200 apollon001 5 3 3.73  23.8   28.4   2.73  23.7   20.2   23.7   19.9   .247 20.2   .065
ntdrivers/parport_true-unreach-call.i.cil.c 996    879    8300130304 apollon119 4 535     324     6.85  901    451    8303288320 apollon158 17.6  10.0  354115584 apollon156 .053 3.93  5.37  .914 3.88  3.33  3.86  3.21  .086 3.29  903    876    1340207104 apollon087 0 .047 828     872     29.4   827     648     826     622     24.7   646     .134
ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c 424    418    14999998464 apollon095 944    472    14999998464 apollon139 385    375    14999998464 apollon113 390    384    14999998464 apollon123
ssh/s3_srvr.blast.10_false-unreach-call.i.cil.c 331    326    14999998464 apollon038 937    469    14999998464 apollon090 354    346    14999998464 apollon037 328    323    14999998464 apollon168
ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c 369    364    14999998464 apollon152 962    481    14828806144 apollon097 358    350    14999998464 apollon149 384    378    14999998464 apollon060
ssh/s3_srvr.blast.01_true-unreach-call.i.cil.c 903    893    3145011200 apollon042 46 5.20  361     510     68.0  34.3  1876885504 apollon023 14 3.52  10.6   10.0   2.26  4.20  31.8   37.0  25.5  692264960 apollon092 1.56  15.3   21.3   3.18  15.1   14.0   15.1   3.63  9.82  13.5   912    906    465924096 apollon131
ssh/s3_srvr.blast.02_true-unreach-call.i.cil.c 903    891    2962223104 apollon074 46 6.45  362     506     14.2  7.25 607305728 apollon047 5 1.74  1.29  .591 .932 .459 5.13  36.0  23.5  681525248 apollon089 2.08  13.3   18.8   3.01  13.2   12.0   13.1   3.38  7.97  11.4   912    907    426082304 apollon043
ssh/s3_srvr.blast.06_true-unreach-call.i.cil.c 903    891    3040935936 apollon150 46 5.51  372     498     127    63.7  2562400256 apollon024 18 4.05  20.4   24.2   3.06  7.47  61.1   99.6  88.4  894058496 apollon072 1.44  78.7   84.5   3.13  78.5   77.0   78.5   4.60  67.3   71.9   912    904    561020928 apollon089
ssh/s3_srvr.blast.07_true-unreach-call.i.cil.c 903    892    2805227520 apollon147 47 5.22  344     527     93.2  46.9  2387349504 apollon096 16 3.68  14.2   17.4   2.77  5.11  44.4   39.2  28.8  717062144 apollon001 2.42  19.3   24.1   2.47  19.1   17.9   19.1   4.19  13.1   17.3   912    902    2010284032 apollon135
ssh/s3_srvr.blast.08_true-unreach-call.i.cil.c 903    891    2815406080 apollon144 47 5.84  393     477     37.9  19.1  962994176 apollon025 10 3.07  6.32  2.94  1.87  1.85  16.9   243    230    1201545216 apollon153 6.58  215     221     3.15  215     213     215     4.73  184     189     912    906    482267136 apollon166
ssh/s3_srvr.blast.09_true-unreach-call.i.cil.c 903    890    2939486208 apollon035 46 5.78  362     508     93.6  47.1  2227355648 apollon167 16 3.52  13.5   18.2   2.66  5.44  44.7   34.8  24.7  661372928 apollon105 1.46  16.4   21.0   2.49  16.3   15.1   16.2   3.69  10.6   14.3   912    903    1566416896 apollon091
ssh/s3_srvr.blast.10_true-unreach-call.i.cil.c 903    891    2933981184 apollon074 47 5.51  387     483     28.9  14.6  873086976 apollon097 8 2.26  4.39  1.89  1.69  1.68  12.4   34.2  22.1  628637696 apollon055 1.32  11.8   17.8   3.24  11.6   10.3   11.6   3.43  6.35  9.78  901    893    850120704 apollon138 232 0 62.3   1.44  828     1.30  1.36  1.15  1.33  .978 .163 34.8   823    
ssh/s3_srvr.blast.11_true-unreach-call.i.cil.c 903    891    2842484736 apollon129 48 5.51  349     521     122    61.5  2375032832 apollon103 18 4.18  17.5   26.0   2.64  6.56  59.0   42.6  30.6  694878208 apollon152 3.16  20.1   25.1   2.79  20.0   18.6   19.9   4.45  13.3   17.8   912    900    2667986944 apollon022
ssh/s3_srvr.blast.12_true-unreach-call.i.cil.c 903    891    2840801280 apollon111 45 5.75  368     501     103    51.7  2714423296 apollon141 17 4.12  15.6   18.5   2.87  6.13  49.3   50.3  39.5  674897920 apollon019 1.30  30.1   36.0   3.19  30.0   28.7   29.9   4.35  23.6   28.0   912    906    388304896 apollon120
ssh/s3_srvr.blast.13_true-unreach-call.i.cil.c 903    892    2805075968 apollon165 47 5.77  346     525     34.3  17.4  1176051712 apollon055 9 2.52  5.06  3.49  1.68  1.81  15.3   36.1  25.7  668459008 apollon074 1.31  17.5   22.2   2.53  17.3   16.2   17.3   3.83  11.9   15.7   901    892    1584029696 apollon119 235 0 128     1.68  762     1.31  1.59  1.37  1.57  1.11  .255 88.6   754    
ssh/s3_srvr.blast.14_true-unreach-call.i.cil.c 903    892    2953994240 apollon066 45 5.85  345     525     271    136    3747336192 apollon165 24 4.99  47.3   60.3   3.71  13.1   133     37.8  27.3  694923264 apollon059 2.18  17.8   23.0   2.68  17.6   16.5   17.6   3.52  12.3   15.8   912    904    868741120 apollon075
ssh/s3_srvr.blast.15_true-unreach-call.i.cil.c 902    892    3002191872 apollon132 49 5.37  335     536     72.2  36.5  1689518080 apollon061 15 3.81  12.3   9.47  2.49  4.80  33.8   47.4  35.0  666308608 apollon102 .928 25.8   31.3   2.98  25.7   24.6   25.6   3.70  20.3   24.0   912    901    1100173312 apollon115
ssh/s3_srvr.blast.16_true-unreach-call.i.cil.c 903    891    2828734464 apollon114 45 5.78  350     520     125    62.8  2519506944 apollon090 17 4.18  18.9   25.1   3.01  6.87  60.1   310    297    1388736512 apollon080 5.97  283     289     3.02  282     281     282     5.37  222     228     912    905    783241216 apollon088
eca-rers2012/Problem04_label27_false-unreach-call.c 917    689    11366043648 apollon155 903    453    6199193600 apollon110 917    574    11787153408 apollon114 838    821    14999998464 apollon013
eca-rers2012/Problem05_label00_false-unreach-call.c 915    664    11445047296 apollon028 961    485    9173086208 apollon142 919    595    11757109248 apollon017 254    237    14999998464 apollon131
eca-rers2012/Problem05_label01_false-unreach-call.c 915    661    11437821952 apollon114 961    487    8514367488 apollon102 450     919    591    11669848064 apollon015 268    252    14999998464 apollon140
eca-rers2012/Problem05_label15_false-unreach-call.c 917    618    11319218176 apollon083 961    490    6647648256 apollon160 442     918    584    11742765056 apollon060 267    251    10618609664 apollon122
eca-rers2012/Problem05_label18_false-unreach-call.c 915    654    11541143552 apollon149 961    485    9124548608 apollon057 445     918    585    11657170944 apollon097 279    261    14999998464 apollon058
eca-rers2012/Problem05_label30_false-unreach-call.c 915    661    11486097408 apollon025 962    487    11083567104 apollon088 443     919    579    11679887360 apollon156 273    252    14999998464 apollon065
eca-rers2012/Problem05_label40_false-unreach-call.c 916    659    11526082560 apollon111 961    487    8365850624 apollon087 447     917    588    11829592064 apollon041 254    240    10452561920 apollon023
eca-rers2012/Problem05_label58_false-unreach-call.c 915    652    11562000384 apollon047 937    486    5929869312 apollon157 442     919    586    11746426880 apollon072 252    234    14999998464 apollon064
eca-rers2012/Problem06_label00_false-unreach-call.c 915    644    11290312704 apollon124 962    489    11418746880 apollon068 443     918    566    11780997120 apollon121 752    737    14999998464 apollon019
eca-rers2012/Problem06_label01_false-unreach-call.c 917    607    11208069120 apollon114 961    486    11178532864 apollon057 441     921    566    11587817472 apollon167 239    221    14999998464 apollon145
eca-rers2012/Problem06_label04_false-unreach-call.c 916    656    11410911232 apollon049 961    486    11252695040 apollon132 443     920    571    11736178688 apollon147 160    144    10079416320 apollon005
eca-rers2012/Problem06_label05_false-unreach-call.c 916    647    11320840192 apollon017 961    489    11291111424 apollon155 919    566    11330981888 apollon142 223    206    14999998464 apollon124
eca-rers2012/Problem06_label09_false-unreach-call.c 916    650    11283189760 apollon069 961    486    11314507776 apollon008 443     919    569    11524886528 apollon117 151    137    14999998464 apollon088
eca-rers2012/Problem06_label10_false-unreach-call.c 916    646    11315392512 apollon138 961    486    11368742912 apollon160 442     918    562    11509387264 apollon124 131    118    9803218944 apollon099
eca-rers2012/Problem06_label15_false-unreach-call.c 917    600    11145453568 apollon122 960    488    11492417536 apollon134 442     921    570    11554840576 apollon020 196    181    14999998464 apollon017
eca-rers2012/Problem06_label21_false-unreach-call.c 915    646    11183312896 apollon106 961    489    11300487168 apollon012 443     918    570    11804135424 apollon071 229    211    14999998464 apollon154
eca-rers2012/Problem06_label24_false-unreach-call.c 916    654    11373273088 apollon146 962    489    11398791168 apollon020 445     919    573    12132061184 apollon068 163    145    14999998464 apollon055
eca-rers2012/Problem06_label29_false-unreach-call.c 915    653    11171049472 apollon031 962    489    11419906048 apollon034 441     919    572    11865956352 apollon164 146    133    14999998464 apollon134
eca-rers2012/Problem06_label33_false-unreach-call.c 916    644    11290685440 apollon166 961    490    11378991104 apollon090 444     920    572    11733819392 apollon124 220    205    14999998464 apollon001
eca-rers2012/Problem06_label36_false-unreach-call.c 919    601    11285209088 apollon091 962    489    11144179712 apollon138 918    572    11737735168 apollon106 208    194    10022891520 apollon035
eca-rers2012/Problem06_label37_false-unreach-call.c 917    609    11202691072 apollon109 962    490    11252609024 apollon013 919    572    11548626944 apollon142 164    147    14999998464 apollon048
eca-rers2012/Problem06_label44_false-unreach-call.c 915    647    11345735680 apollon148 961    489    11290365952 apollon101 440     919    569    11416059904 apollon159 193    180    14999998464 apollon111
eca-rers2012/Problem06_label48_false-unreach-call.c 916    647    11402940416 apollon157 961    489    11236855808 apollon011 440     919    571    11776487424 apollon015 321    306    14999998464 apollon159
eca-rers2012/Problem06_label56_false-unreach-call.c 916    652    11353702400 apollon112 962    489    11291033600 apollon161 444     919    574    11855704064 apollon082 178    162    14999998464 apollon161
eca-rers2012/Problem06_label59_false-unreach-call.c 917    657    11235364864 apollon147 962    489    11366785024 apollon096 442     917    571    11821801472 apollon055 280    263    14999998464 apollon098
eca-rers2012/Problem08_label02_false-unreach-call.c 912    881    5063135232 apollon156 901    454    7756259328 apollon096 912    696    12680339456 apollon140 800    547    14999998464 apollon089
eca-rers2012/Problem08_label07_false-unreach-call.c 913    854    7708844032 apollon092 5 154     381     257     902    454    7728316416 apollon060 912    689    12670455808 apollon137 850    567    14999998464 apollon151
eca-rers2012/Problem08_label49_false-unreach-call.c 912    852    6923378688 apollon050 902    454    7658983424 apollon033 414     909    719    12248588288 apollon012 157     395     536     101     382     367     381     14.3   354     368     795    532    14999998464 apollon066
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 2 1.21  .263 .073 1.41  3.06  6.81  1000    994    9314648064 apollon079 1000    995    7260618752 apollon107
eca-rers2012/Problem12_label00_false-unreach-call.c 377    307    14999998464 apollon071 631    316    14999998464 apollon136 903    887    4584660992 apollon143 42.3   831     840     5.78  830     824     830     42.6   783     825     904    894    4555128832 apollon041 2 0 8.89  25.5   883     2.82  25.3   22.3   25.3   18.8   3.50  22.3   853    
eca-rers2012/Problem12_label03_false-unreach-call.c 313    251    14999998464 apollon076 531    266    14999998464 apollon015 903    889    6659510272 apollon043 79.2   798     805     4.94  797     789     797     46.6   744     791     904    896    4550316032 apollon042 2 0 8.30  24.0   885     2.76  23.8   20.9   23.7   17.6   3.24  20.9   857    
eca-rers2012/Problem12_label06_false-unreach-call.c 528    399    14999998464 apollon048 791    396    14999998464 apollon026 903    887    4586385408 apollon058 34.5   840     848     5.50  839     832     839     44.3   789     834     904    896    4526002176 apollon163 2 0 8.66  25.2   884     2.77  25.0   22.0   25.0   18.7   3.31  22.0   855    
eca-rers2012/Problem12_label07_false-unreach-call.c 418    351    14999998464 apollon097 591    296    14999998464 apollon071 903    889    4658483200 apollon100 36.4   840     848     5.40  840     834     840     37.0   798     835     904    895    4548509696 apollon161 2 0 8.21  23.7   884     2.88  23.5   20.6   23.4   17.5   3.11  20.6   857    
eca-rers2012/Problem12_label08_false-unreach-call.c 530    467    14999998464 apollon041 774    388    14999998464 apollon123 903    890    4634787840 apollon026 51.9   826     834     5.09  826     820     826     37.9   784     821     904    895    4553424896 apollon097 2 0 11.5   26.1   880     3.04  25.8   22.7   25.8   19.1   3.52  22.7   849    
eca-rers2012/Problem12_label10_false-unreach-call.c 422    356    14999998464 apollon100 649    325    14999998464 apollon075 903    890    4598251520 apollon072 32.1   847     853     4.67  846     840     846     37.4   804     841     905    894    4530225152 apollon155 2 0 9.96  29.3   881     3.60  29.0   25.7   29.0   22.0   3.67  25.7   846    
eca-rers2012/Problem12_label13_false-unreach-call.c 367    298    14999998464 apollon060 658    329    14999998464 apollon007 903    889    6656651264 apollon163 70.2   806     814     4.91  806     796     805     61.4   736     797     904    896    4534624256 apollon055 2 0 8.00  23.8   885     3.02  23.6   20.7   23.5   17.5   3.22  20.7   857    
eca-rers2012/Problem12_label19_false-unreach-call.c 651    479    14999998464 apollon140 548    275    14999998464 apollon011 903    890    4549500928 apollon100 26.2   853     860     4.50  852     846     852     36.4   811     847     904    895    4555223040 apollon109 2 0 8.25  23.9   884     2.68  23.7   20.9   23.6   17.9   2.99  20.9   856    
eca-rers2012/Problem12_label20_false-unreach-call.c 903    655    14999998464 apollon040 5 7.88  72.8   89.3   571    286    14999998464 apollon058 903    886    4620115968 apollon112 30.2   844     852     5.59  843     836     843     40.1   798     838     904    894    4542881792 apollon016 2 0 8.35  26.6   882     3.12  26.4   23.3   26.4   19.9   3.45  23.3   851    
eca-rers2012/Problem12_label21_false-unreach-call.c 312    252    14999998464 apollon053 507    254    15000002560 apollon005 903    886    6673358848 apollon055 74.6   798     807     5.97  797     788     797     60.1   729     789     905    896    4548722688 apollon153 2 0 8.23  23.9   885     2.75  23.7   20.8   23.7   17.6   3.19  20.8   858    
eca-rers2012/Problem12_label25_false-unreach-call.c 349    288    14999998464 apollon116 572    286    14999998464 apollon140 903    886    4609355776 apollon077 33.5   837     848     6.82  837     829     837     52.6   778     830     904    894    4553105408 apollon151 2 0 8.31  23.9   883     2.84  23.7   20.9   23.7   17.8   3.06  20.9   855    
eca-rers2012/Problem12_label28_false-unreach-call.c 462    382    15000002560 apollon098 516    259    14999998464 apollon120 903    888    6634131456 apollon117 62.3   813     821     5.11  813     804     813     57.4   748     805     905    894    4560674816 apollon020 2 0 8.33  23.9   882     3.07  23.6   20.8   23.6   17.8   2.98  20.8   854    
eca-rers2012/Problem12_label30_false-unreach-call.c 512    394    14999998464 apollon019 906    456    14920474624 apollon135 903    889    6669893632 apollon073 96.3   781     789     5.13  780     772     780     52.0   721     773     905    896    4569358336 apollon118 2 0 8.72  25.1   885     2.90  24.9   21.8   24.8   18.4   3.38  21.8   855    
eca-rers2012/Problem12_label34_false-unreach-call.c 351    286    14999998464 apollon121 655    328    14999998464 apollon109 903    887    6656204800 apollon064 63.1   812     820     5.55  811     802     811     55.1   748     803     904    894    4542836736 apollon116 2 0 8.74  26.6   882     2.83  26.4   23.2   26.3   19.6   3.60  23.2   851    
eca-rers2012/Problem12_label35_false-unreach-call.c 369    296    14999998464 apollon157 626    313    14999998464 apollon130 903    889    4586192896 apollon084 31.8   845     853     5.59  845     839     844     31.5   809     841     904    893    4414513152 apollon034 2 0 10.5   19.8   880     3.30  19.6   17.4   19.6   14.8   2.64  17.4   855    
eca-rers2012/Problem12_label37_false-unreach-call.c 383    302    14999998464 apollon041 820    411    14999998464 apollon118 903    890    4543127552 apollon119 27.0   852     859     4.56  851     846     851     29.9   818     848     904    896    4567052288 apollon160 2 0 8.86  17.5   884     2.77  17.3   15.2   17.2   12.9   2.31  15.2   862    
eca-rers2012/Problem12_label38_false-unreach-call.c 543    406    14999998464 apollon084 764    382    14999998464 apollon004 903    888    6646513664 apollon022 69.0   806     813     4.96  805     799     805     40.3   760     800     905    895    4524003328 apollon166 2 0 10.3   19.5   881     3.16  19.3   17.1   19.3   14.4   2.69  17.1   857    
eca-rers2012/Problem12_label39_false-unreach-call.c 452    380    14999998464 apollon049 906    457    14807687168 apollon021 445     903    890    4585095168 apollon159 36.9   840     848     5.20  840     834     840     34.0   802     836     904    895    4568846336 apollon079 2 0 9.18  15.8   883     2.73  15.6   13.8   15.5   11.8   2.00  13.8   864    
eca-rers2012/Problem12_label40_false-unreach-call.c 374    311    14999998464 apollon063 449    225    14999998464 apollon079 903    888    4611944448 apollon056 29.2   846     855     6.02  846     839     846     39.7   801     841     904    895    2462646272 apollon020 1 0 .258 5.54  892     1.84  5.38  4.84  5.36  4.32  .525 4.84  884    
eca-rers2012/Problem12_label42_false-unreach-call.c 615    494    14999998464 apollon074 771    386    14999998464 apollon095 903    889    4604473344 apollon060 32.9   843     851     5.26  843     838     843     30.1   809     840     904    895    4558917632 apollon075 2 0 9.28  16.6   883     2.74  16.4   14.5   16.4   12.4   2.16  14.5   862    
eca-rers2012/Problem12_label48_false-unreach-call.c 385    316    14999998464 apollon088 636    318    14999998464 apollon142 903    888    6829735936 apollon080 80.9   795     803     5.02  795     787     795     54.0   734     788     905    899    2509926400 apollon005 1 0 .283 4.29  896     1.64  4.16  3.73  4.13  3.32  .414 3.74  889    
eca-rers2012/Problem12_label50_false-unreach-call.c 472    349    14999998464 apollon020 592    297    14999998464 apollon122 903    885    4636209152 apollon155 38.1   831     842     7.43  830     824     830     42.5   783     825     903    896    2640150528 apollon009 1 0 .285 4.25  893     1.63  4.11  3.67  4.08  3.26  .411 3.67  887    
eca-rers2012/Problem12_label51_false-unreach-call.c 916    679    14999998464 apollon144 556    278    14999998464 apollon100 903    889    6758440960 apollon098 79.4   798     806     4.80  798     790     798     50.6   740     791     903    896    2452738048 apollon088 1 0 .210 4.74  893     1.55  4.62  4.11  4.60  3.60  .513 4.11  886    
eca-rers2012/Problem12_label52_false-unreach-call.c 359    294    14999998464 apollon080 573    287    14999998464 apollon150 903    891    4633305088 apollon111 32.3   848     855     4.45  847     842     847     28.2   816     844     903    896    2659344384 apollon035 1 0 .044 4.57  894     1.62  4.19  3.75  4.16  3.33  .409 3.75  887    
eca-rers2012/Problem12_label55_false-unreach-call.c 417    348    14999998464 apollon074 904    454    14851698688 apollon054 445     903    889    4652929024 apollon001 35.0   841     850     5.76  841     835     840     33.4   803     837     906    898    2512728064 apollon014 1 0 .361 5.62  894     2.00  5.44  4.87  5.40  4.33  .536 4.87  885    
eca-rers2012/Problem13_label04_false-unreach-call.c 554    510    14999998464 apollon165 728    365    14999998464 apollon067 904    889    7171481600 apollon119 55.4   820     829     6.00  820     810     820     59.6   753     812     906    896    6781952000 apollon082 2 0 16.1   49.5   876     3.62  49.3   44.0   49.2   32.0   12.0   44.0   822    
eca-rers2012/Problem13_label06_false-unreach-call.c 465    424    14999998464 apollon166 733    367    14999998464 apollon098 904    889    5131210752 apollon061 16.7   860     868     5.61  859     854     859     33.5   823     856     906    896    6722793472 apollon062 2 0 14.4   46.3   879     3.31  46.1   41.6   46.1   29.8   11.7   41.6   828    
eca-rers2012/Problem13_label07_false-unreach-call.c 399    349    14999998464 apollon136 839    420    14999998464 apollon025 904    889    7196831744 apollon076 67.2   809     817     5.68  808     798     808     64.9   735     800     906    895    6639665152 apollon010 2 0 15.0   50.2   877     4.11  49.9   44.9   49.9   32.6   12.3   44.9   821    
eca-rers2012/Problem13_label11_false-unreach-call.c 372    326    14999998464 apollon073 504    252    14999998464 apollon110 905    888    7209005056 apollon029 60.2   813     823     6.55  813     802     813     68.9   735     804     906    896    6639964160 apollon029 2 0 13.9   48.1   879     3.36  47.9   42.9   47.8   30.6   12.3   42.9   826    
eca-rers2012/Problem13_label12_false-unreach-call.c 413    368    14999998464 apollon122 903    453    13783781376 apollon079 444     905    889    7195680768 apollon053 56.8   819     828     5.96  819     809     819     61.2   750     811     906    895    6661324800 apollon042 2 0 13.8   47.5   878     3.24  47.2   42.4   47.2   30.2   12.2   42.4   826    
eca-rers2012/Problem13_label19_false-unreach-call.c 438    392    14999998464 apollon049 833    417    14999998464 apollon030 904    888    7209148416 apollon027 61.7   813     822     6.32  812     803     812     56.5   749     806     903    896    4836577280 apollon040 1 0 .045 26.2   893     2.12  26.0   23.6   26.0   14.9   8.73  23.6   864    
eca-rers2012/Problem13_label21_false-unreach-call.c 425    384    14999998464 apollon154 503    252    14999998464 apollon157 904    890    7242801152 apollon010 54.0   824     832     5.67  823     816     823     47.1   771     818     904    895    4824580096 apollon022 1 0 .057 31.2   892     2.27  30.7   27.9   30.7   17.8   10.1   27.9   857    
eca-rers2012/Problem13_label23_false-unreach-call.c 763    713    14999998464 apollon109 697    349    14999998464 apollon080 904    889    5093326848 apollon147 18.4   859     866     5.26  858     853     858     32.2   823     855     906    894    6721757184 apollon037 2 0 20.4   53.1   870     4.10  52.9   47.6   52.8   34.4   13.2   47.6   811    
eca-rers2012/Problem13_label24_false-unreach-call.c 356    316    14999998464 apollon057 579    290    14999998464 apollon098 904    891    5194063872 apollon160 17.0   861     869     6.11  860     855     860     33.1   824     857     905    897    4840472576 apollon147 1 0 .052 26.6   894     1.87  26.5   24.1   26.5   15.1   8.93  24.1   864    
eca-rers2012/Problem13_label25_false-unreach-call.c 464    419    14999998464 apollon100 554    277    14999998464 apollon008 904    889    5290463232 apollon155 18.2   857     866     7.23  856     850     856     33.7   819     853     904    897    4808278016 apollon141 1 0 .041 27.9   894     1.96  27.6   25.1   27.6   15.7   9.39  25.1   863    
eca-rers2012/Problem13_label28_false-unreach-call.c 674    625    14999998464 apollon062 904    454    13323874304 apollon058 445     904    890    5088268288 apollon023 16.0   863     869     4.55  862     857     862     31.5   828     859     906    896    6743142400 apollon161 2 0 18.4   50.6   875     3.53  50.2   45.1   50.2   33.0   12.1   45.2   819    
eca-rers2012/Problem13_label29_false-unreach-call.c 329    284    14999998464 apollon140 552    277    14999998464 apollon077 905    889    7197634560 apollon075 61.7   812     823     7.41  812     801     812     66.9   737     804     906    897    6834655232 apollon112 2 0 18.4   48.9   875     3.23  48.7   43.7   48.7   30.8   12.9   43.7   822    
eca-rers2012/Problem13_label30_false-unreach-call.c 346    307    14999998464 apollon050 834    417    14999998464 apollon058 904    889    7148036096 apollon152 59.5   816     825     6.62  815     807     815     49.7   759     809     905    898    4813066240 apollon090 1 0 .034 25.1   895     1.84  25.0   22.7   25.0   14.6   8.14  22.7   867    
eca-rers2012/Problem13_label32_false-unreach-call.c 632    586    14999998464 apollon152 737    369    14999998464 apollon032 905    886    5245399040 apollon125 18.3   852     863     7.78  851     843     851     54.8   791     845     904    897    4830875648 apollon040 1 0 .313 25.2   894     1.85  25.0   22.7   25.0   14.6   8.12  22.7   866    
eca-rers2012/Problem13_label35_false-unreach-call.c 458    411    14999998464 apollon046 605    303    14999998464 apollon061 904    890    7114895360 apollon054 49.3   827     836     5.79  827     817     827     61.2   758     819     904    895    4836794368 apollon119 1 0 .351 32.0   891     2.30  31.8   28.9   31.8   18.2   10.7   28.9   856    
eca-rers2012/Problem13_label36_false-unreach-call.c 495    455    14999998464 apollon130 675    338    14999998464 apollon035 904    889    7023222784 apollon015 70.8   806     814     4.78  806     797     806     50.2   750     800     903    895    4834099200 apollon147 1 0 .411 32.0   891     2.34  31.8   28.9   31.8   18.2   10.7   28.9   855    
eca-rers2012/Problem13_label40_false-unreach-call.c 402    357    14999998464 apollon165 907    457    13144600576 apollon106 444     904    886    7206764544 apollon150 80.5   790     801     7.60  789     778     789     70.7   710     781     906    897    6836158464 apollon008 2 0 18.9   46.5   875     3.49  46.3   41.5   46.3   29.8   11.7   41.5   824    
eca-rers2012/Problem13_label43_false-unreach-call.c 500    453    14999998464 apollon109 504    253    14999998464 apollon056 904    883    5130121216 apollon055 19.0   849     859     6.91  848     842     848     38.3   806     845     907    896    6714937344 apollon051 2 0 18.5   55.7   874     3.62  55.5   49.7   55.4   35.1   14.6   49.7   814    
eca-rers2012/Problem13_label44_false-unreach-call.c 662    615    14999998464 apollon121 511    256    14999998464 apollon076 904    889    7197155328 apollon143 62.4   813     822     6.36  812     802     812     63.6   741     804     906    897    6776135680 apollon088 2 0 14.9   46.1   879     3.42  45.9   41.2   45.9   29.4   11.8   41.2   828    
eca-rers2012/Problem13_label45_false-unreach-call.c 397    349    14999998464 apollon001 568    285    14999998464 apollon013 904    890    5106155520 apollon083 15.1   864     871     4.83  864     859     864     30.8   830     861     906    896    6752305152 apollon098 2 0 15.1   45.7   878     3.26  45.5   40.9   45.5   29.8   11.1   40.9   828    
eca-rers2012/Problem13_label48_false-unreach-call.c 417    373    14999998464 apollon009 711    356    14999998464 apollon089 904    890    7177818112 apollon112 65.4   812     820     5.56  812     801     812     63.8   740     803     905    896    6737367040 apollon068 2 0 12.8   45.5   880     3.24  45.3   40.7   45.2   29.4   11.3   40.7   830    
eca-rers2012/Problem13_label51_false-unreach-call.c 478    432    14999998464 apollon095 539    270    14999998464 apollon145 904    889    7175565312 apollon084 48.0   829     837     5.85  828     818     828     61.0   760     821     906    895    6646689792 apollon007 2 0 13.1   52.2   878     4.33  51.9   46.7   51.9   33.0   13.7   46.7   820    
eca-rers2012/Problem13_label54_false-unreach-call.c 907    895    11356852224 apollon119 5 9.60  137     742     671    336    14999998464 apollon110 904    886    7193452544 apollon133 63.5   807     817     6.70  807     796     807     75.6   722     798     906    897    6657355776 apollon069 2 0 13.0   45.8   881     3.43  45.6   40.9   45.6   29.5   11.4   40.9   830    
eca-rers2012/Problem15_label02_false-unreach-call.c 1000    938    12651040768 apollon073 790    396    14999998464 apollon117 902    890    4641853440 apollon103 121     760     765     3.58  760     752     759     44.2   709     753     904    899    2032058368 apollon020 1 0 .133 9.11  897     .733 9.05  8.06  9.04  5.66  2.39  8.06  886    
eca-rers2012/Problem15_label07_false-unreach-call.c 1000    933    12591296512 apollon143 772    387    14999998464 apollon046 902    890    4625178624 apollon099 54.0   827     832     3.22  827     820     827     38.3   783     821     902    897    2027393024 apollon118 1 0 .165 10.7   894     .970 10.6   9.27  10.6   7.01  2.26  9.27  882    
eca-rers2012/Problem15_label40_false-unreach-call.c 1000    931    12614230016 apollon069 823    412    14999998464 apollon045 902    891    4629254144 apollon122 98.7   784     789     3.35  784     777     784     39.0   739     778     905    898    4582436864 apollon015 4 0 38.1   32.3   857     1.99  32.2   28.8   32.2   20.4   8.32  28.8   822    
eca-rers2012/Problem17_label04_false-unreach-call.c 911    899    11539738624 apollon159 5 6.47  130     753     608    304    14999998464 apollon102 903    892    3464065024 apollon121 13.0   871     876     3.36  871     869     871     12.7   858     870     905    896    4924301312 apollon015 2 0 16.0   29.1   877     2.34  28.9   25.1   28.9   24.4   .650 25.1   845    
eca-rers2012/Problem17_label07_false-unreach-call.c 908    899    11568488448 apollon089 5 5.92  111     772     653    327    14999998464 apollon016 903    892    5067960320 apollon162 54.5   828     834     3.92  828     822     828     33.3   791     824     904    897    4931334144 apollon161 2 0 13.7   24.9   881     2.16  24.7   21.2   24.6   20.6   .598 21.2   853    
eca-rers2012/Problem17_label09_false-unreach-call.c 908    897    11560337408 apollon057 5 5.85  118     764     612    306    14999998464 apollon082 903    893    3430567936 apollon160 12.9   872     877     3.22  872     869     872     12.0   859     871     904    897    4978987008 apollon029 2 0 13.7   24.0   881     1.96  23.9   20.6   23.8   20.1   .524 20.6   854    
eca-rers2012/Problem17_label13_false-unreach-call.c 910    898    11546472448 apollon126 5 6.23  121     762     699    350    14999998464 apollon126 903    892    3443425280 apollon058 14.2   870     875     3.58  869     867     869     12.2   857     869     904    897    4973731840 apollon080 2 0 13.1   26.0   881     2.06  25.9   22.1   25.9   21.4   .656 22.1   852    
eca-rers2012/Problem17_label16_false-unreach-call.c 910    899    11557433344 apollon015 5 6.75  142     740     450    225    14999998464 apollon003 903    893    3504316416 apollon082 12.8   872     876     3.51  871     869     871     12.5   858     871     904    897    4975587328 apollon005 2 0 13.6   24.5   881     2.00  24.4   21.0   24.3   20.4   .586 21.0   853    
eca-rers2012/Problem17_label20_false-unreach-call.c 908    898    11527520256 apollon141 5 6.09  135     748     572    286    14999998464 apollon065 903    892    3500339200 apollon065 13.0   871     876     3.31  871     869     871     12.8   857     870     904    895    4962066432 apollon042 2 0 16.0   29.8   876     2.40  29.7   25.7   29.7   25.0   .683 25.7   843    
eca-rers2012/Problem17_label23_false-unreach-call.c 910    900    11523059712 apollon149 5 5.81  130     754     542    272    14999998464 apollon068 903    891    3479195648 apollon103 14.1   868     874     3.49  868     866     868     13.3   854     868     905    897    4967288832 apollon146 2 0 13.6   24.1   881     1.92  23.9   20.6   23.9   20.1   .538 20.6   854    
eca-rers2012/Problem17_label25_false-unreach-call.c 908    897    11538264064 apollon065 5 6.10  116     766     818    410    14999998464 apollon015 903    892    3465093120 apollon010 13.0   871     876     3.39  871     868     870     12.4   857     870     904    896    4975595520 apollon099 2 0 12.7   25.8   880     2.39  25.6   22.3   25.6   21.7   .577 22.3   851    
eca-rers2012/Problem17_label26_false-unreach-call.c 910    896    11546832896 apollon103 5 6.93  137     741     539    270    14999998464 apollon138 903    892    3471159296 apollon069 13.3   871     876     3.21  871     868     871     12.6   857     870     904    898    4955934720 apollon140 2 0 12.7   23.2   882     1.89  22.9   19.9   22.9   19.4   .512 19.9   857    
eca-rers2012/Problem17_label33_false-unreach-call.c 908    897    11554164736 apollon086 5 6.39  128     753     480    240    14999998464 apollon068 903    893    3460419584 apollon012 12.5   872     877     3.60  872     869     872     12.0   859     871     904    898    4956598272 apollon026 2 0 12.6   23.7   883     1.87  23.6   20.3   23.5   19.8   .527 20.3   856    
eca-rers2012/Problem17_label34_false-unreach-call.c 839    794    14999998464 apollon063 905    455    13010042880 apollon017 446     903    892    3441631232 apollon146 15.7   867     873     3.89  867     864     867     14.0   852     866     905    899    4958248960 apollon153 2 0 12.9   23.4   883     1.95  23.3   20.1   23.2   19.5   .545 20.1   857    
eca-rers2012/Problem17_label35_false-unreach-call.c 908    897    11547148288 apollon040 5 6.62  135     745     711    356    14999998464 apollon103 903    892    3498725376 apollon069 12.7   871     876     3.59  870     868     870     12.7   857     870     904    897    4953686016 apollon157 2 0 13.9   25.6   881     1.91  25.4   21.8   25.4   21.3   .580 21.8   853    
eca-rers2012/Problem17_label46_false-unreach-call.c 775    733    14999998464 apollon096 854    428    14999998464 apollon118 903    892    5016166400 apollon074 60.3   822     828     4.29  822     815     822     42.7   774     816     904    897    4920000512 apollon166 2 0 14.0   24.4   881     1.96  24.3   21.0   24.3   20.4   .539 21.0   854    
eca-rers2012/Problem17_label50_false-unreach-call.c 917    892    13069303808 apollon168 511    256    14999998464 apollon096 903    891    5030707200 apollon087 47.2   834     840     3.64  834     830     834     25.6   806     831     904    898    3292725248 apollon017 1 0 .250 12.4   895     1.15  12.3   10.6   12.2   10.3   .281 10.6   881    
eca-rers2012/Problem17_label57_false-unreach-call.c 722    677    14999998464 apollon026 626    313    14999998464 apollon086 903    892    3479871488 apollon069 12.9   871     876     3.32  871     868     871     13.4   857     870     904    896    4969046016 apollon047 2 0 15.5   28.8   877     2.43  28.6   24.9   28.5   24.2   .644 24.9   845    
eca-rers2012/Problem18_label00_false-unreach-call.c 683    634    14999998464 apollon091 906    456    14780116992 apollon045 446     902    888    5806198784 apollon112 39.0   836     845     5.90  835     829     835     40.0   789     829     902    895    2471211008 apollon089 3 0 4.11  11.8   888     2.06  11.7   10.2   11.7   8.82  1.39  10.2   873    
eca-rers2012/Problem18_label01_false-unreach-call.c 704    653    14999998464 apollon039 906    456    14063308800 apollon083 445     902    889    5751480320 apollon139 34.7   843     850     5.23  842     837     842     29.6   808     838     902    895    2439081984 apollon163 3 0 4.07  11.8   888     2.02  11.6   10.2   11.6   8.76  1.43  10.2   873    
eca-rers2012/Problem18_label03_false-unreach-call.c 701    656    14999998464 apollon006 918    462    14870151168 apollon114 452     903    889    4595326976 apollon115 27.8   849     857     5.32  849     844     849     27.7   817     845     904    897    1699864576 apollon019 1 0 .228 7.65  894     1.42  7.51  6.58  7.49  5.69  .892 6.58  884    
eca-rers2012/Problem18_label06_false-unreach-call.c 883    829    14999998464 apollon070 906    456    14849175552 apollon143 446     902    890    4536422400 apollon155 24.9   854     861     5.38  853     847     853     39.1   808     847     904    894    3488731136 apollon054 4 0 12.7   19.8   879     3.04  19.6   17.3   19.6   14.7   2.55  17.3   855    
eca-rers2012/Problem18_label08_false-unreach-call.c 873    815    14999998464 apollon128 906    456    14831329280 apollon153 445     902    888    5688905728 apollon002 45.7   830     839     5.61  830     821     830     53.4   768     821     903    892    3477716992 apollon137 4 0 15.2   22.3   874     3.67  22.0   19.3   21.9   16.4   2.94  19.3   847    
eca-rers2012/Problem18_label10_false-unreach-call.c 701    644    14999998464 apollon079 905    456    14900453376 apollon003 446     902    890    4532228096 apollon148 27.9   850     858     5.61  849     842     849     43.8   799     843     904    893    3542212608 apollon157 4 0 14.5   23.0   875     3.35  22.7   20.3   22.7   14.9   5.41  20.3   848    
eca-rers2012/Problem18_label12_false-unreach-call.c 624    568    14999998464 apollon114 906    456    14777286656 apollon086 446     902    889    1928077312 apollon009 4.76  875     881     4.16  874     871     874     19.0   853     872     903    894    3492130816 apollon083 4 0 12.5   20.8   879     2.96  20.6   18.3   20.5   13.3   5.00  18.3   854    
eca-rers2012/Problem18_label19_false-unreach-call.c 667    615    14999998464 apollon132 904    454    14872330240 apollon126 446     903    887    4522565632 apollon032 31.8   842     852     6.17  842     837     842     29.2   809     838     904    894    3520561152 apollon072 5 0 12.9   18.6   879     2.92  18.4   16.1   18.3   13.8   2.30  16.1   856    
eca-rers2012/Problem18_label20_false-unreach-call.c 571    515    15000002560 apollon167 740    371    14999998464 apollon063 902    889    3500150784 apollon149 18.4   858     866     5.64  857     853     857     26.6   827     854     903    896    2538782720 apollon024 2 0 4.06  11.7   889     1.97  11.6   10.1   11.5   8.67  1.44  10.1   875    
eca-rers2012/Problem18_label25_false-unreach-call.c 501    447    14999998464 apollon122 903    454    14870835200 apollon144 446     903    891    3437166592 apollon093 18.0   861     869     5.11  861     856     861     30.1   827     857     904    892    3495845888 apollon115 4 0 15.3   22.4   873     3.51  22.2   19.5   22.1   16.6   2.89  19.6   846    
eca-rers2012/Problem18_label27_false-unreach-call.c 577    523    14999998464 apollon160 904    454    12803153920 apollon038 446     902    888    4492222464 apollon102 25.8   850     858     5.59  849     844     849     31.2   814     845     903    897    1727225856 apollon073 1 0 .042 5.95  895     1.26  5.84  5.11  5.82  4.37  .735 5.11  887    
eca-rers2012/Problem18_label33_false-unreach-call.c 547    491    14999998464 apollon013 904    454    14775742464 apollon111 446     902    889    3416371200 apollon072 16.6   862     869     4.36  862     858     862     19.6   839     859     903    894    3532013568 apollon117 4 0 13.5   22.9   877     3.10  22.7   20.3   22.6   14.7   5.54  20.3   850    
eca-rers2012/Problem18_label34_false-unreach-call.c 690    636    15000002560 apollon076 644    323    14999998464 apollon080 902    888    3542179840 apollon081 19.4   856     865     6.53  855     852     855     21.1   831     852     902    895    1732587520 apollon108 1 0 .231 9.07  893     1.28  8.93  8.19  8.91  4.66  3.52  8.18  882    
eca-rers2012/Problem18_label36_false-unreach-call.c 577    531    14999998464 apollon029 906    456    14887940096 apollon027 446     903    889    4573057024 apollon087 28.6   848     856     5.57  848     843     848     28.1   816     844     902    896    1726160896 apollon048 1 0 .231 9.73  893     1.21  9.61  8.76  9.60  5.17  3.59  8.76  881    
eca-rers2012/Problem18_label38_false-unreach-call.c 722    664    14999998464 apollon115 906    456    14659973120 apollon038 446     902    888    4509237248 apollon126 26.8   847     857     6.58  846     841     846     28.9   813     842     902    895    1730068480 apollon116 1 0 .217 8.68  893     1.28  8.52  7.78  8.49  4.59  3.19  7.78  882    
eca-rers2012/Problem18_label39_false-unreach-call.c 620    559    14999998464 apollon159 905    455    11975065600 apollon022 903    888    5744484352 apollon101 38.9   835     845     6.43  834     827     834     44.5   783     828     902    896    1700294656 apollon081 1 0 .206 6.24  893     1.11  6.14  5.36  6.12  4.62  .735 5.36  885    
eca-rers2012/Problem18_label45_false-unreach-call.c 567    511    14999998464 apollon067 904    454    14890602496 apollon133 446     903    887    6918852608 apollon156 78.0   797     805     5.71  796     788     796     48.1   740     788     902    894    2468265984 apollon098 3 0 4.13  12.0   888     2.10  11.8   10.4   11.8   8.90  1.46  10.4   873    
eca-rers2012/Problem18_label52_false-unreach-call.c 722    672    14999998464 apollon071 904    454    12952653824 apollon088 446     903    888    3454083072 apollon117 17.4   858     866     5.47  858     854     857     20.3   834     855     902    894    2453610496 apollon041 3 0 4.27  14.7   887     2.10  14.4   13.0   14.4   8.96  4.03  13.0   869    
eca-rers2012/Problem18_label55_false-unreach-call.c 811    751    14999998464 apollon018 910    460    13547139072 apollon044 446     903    887    6900375552 apollon064 73.6   801     810     5.74  800     794     800     33.3   762     795     902    895    1719492608 apollon153 1 0 .305 10.8   892     1.51  10.6   9.69  10.6   5.57  4.11  9.68  879    
eca-rers2012/Problem18_label57_false-unreach-call.c 650    613    14999998464 apollon131 906    456    14942584832 apollon009 445     903    888    4555542528 apollon047 30.2   845     853     6.06  844     840     844     23.7   817     841     902    896    1722896384 apollon125 1 0 .172 8.99  893     1.06  8.90  8.12  8.88  4.63  3.49  8.12  882    
eca-rers2012/Problem19_label10_false-unreach-call.c 251    241    14999998464 apollon041 383    192    14999998464 apollon143 905    888    6856572928 apollon063 43.7   829     838     6.03  829     819     829     50.3   769     819     905    895    6516834304 apollon094 1 0 .428 36.2   891     2.88  36.1   31.6   36.0   25.1   6.56  31.6   851    
eca-rers2012/Problem19_label11_false-unreach-call.c 527    515    14999998464 apollon022 230    115    14999998464 apollon064 907    891    6863372288 apollon130 22.6   854     863     6.57  853     848     853     30.1   821     851     904    896    6501097472 apollon030 1 0 .431 30.4   892     2.64  30.2   26.6   30.1   21.5   5.10  26.6   858    
eca-rers2012/Problem19_label14_false-unreach-call.c 908    893    13752430592 apollon058 5 12.8   166     699     251    126    14999998464 apollon064 906    888    7031873536 apollon125 33.9   834     849     10.4   833     821     833     67.4   758     825     905    894    6499659776 apollon152 1 0 .387 32.2   890     3.23  32.0   28.3   31.9   23.1   5.25  28.3   853    
eca-rers2012/Problem19_label17_false-unreach-call.c 247    235    14999998464 apollon103 256    128    14999998464 apollon001 906    888    6817021952 apollon123 22.3   852     861     6.29  851     844     851     42.5   805     847     905    895    6500167680 apollon147 1 0 .364 32.2   890     3.07  32.0   28.5   32.0   23.4   5.03  28.5   854    
eca-rers2012/Problem19_label18_false-unreach-call.c 237    225    14999998464 apollon134 282    141    14999998464 apollon098 906    889    10257842176 apollon058 98.8   772     784     8.79  771     754     771     106     652     758     905    895    6505619456 apollon054 1 0 .043 34.2   891     3.25  34.0   30.0   33.9   24.5   5.48  30.0   853    
eca-rers2012/Problem19_label19_false-unreach-call.c 221    211    14999998464 apollon045 256    129    14999998464 apollon061 906    890    6809722880 apollon034 28.6   847     857     6.52  847     839     847     41.5   801     843     905    896    6486458368 apollon086 1 0 .045 28.8   893     2.63  28.7   25.2   28.6   20.6   4.68  25.2   860    
eca-rers2012/Problem19_label21_false-unreach-call.c 470    458    14999998464 apollon019 251    126    14999998464 apollon070 905    889    6835924992 apollon051 24.7   849     859     6.62  849     842     849     41.2   804     845     905    896    6525612032 apollon023 1 0 .451 29.7   892     2.62  29.6   25.8   29.6   20.8   4.95  25.8   859    
eca-rers2012/Problem19_label22_false-unreach-call.c 230    220    14999998464 apollon155 259    130    14999998464 apollon052 906    889    6824660992 apollon052 26.3   847     857     6.71  847     841     846     41.2   804     845     905    894    6518534144 apollon104 1 0 .053 34.5   890     2.72  34.0   30.0   33.9   24.4   5.55  30.0   852    
eca-rers2012/Problem19_label26_false-unreach-call.c 255    239    14999998464 apollon146 286    143    14999998464 apollon061 905    889    6871597056 apollon077 23.3   852     861     6.61  851     847     851     29.8   820     850     905    896    6489788416 apollon160 1 0 .048 30.6   893     2.67  30.4   26.8   30.4   21.7   5.07  26.8   858    
eca-rers2012/Problem19_label27_false-unreach-call.c 194    182    14999998464 apollon112 252    126    14999998464 apollon102 906    887    6883135488 apollon138 25.0   847     857     7.07  846     840     846     32.7   812     845     902    894    6507282432 apollon112 1 0 7.19  29.3   883     2.53  29.1   25.6   29.1   20.9   4.70  25.6   850    
eca-rers2012/Problem19_label28_false-unreach-call.c 323    311    14999998464 apollon099 232    116    14999998464 apollon142 905    891    6838890496 apollon087 22.6   856     864     5.58  855     848     855     41.9   810     851     905    896    6500102144 apollon038 1 0 .335 31.6   892     2.66  31.4   27.7   31.4   22.3   5.45  27.7   857    
eca-rers2012/Problem19_label29_false-unreach-call.c 345    333    14999998464 apollon019 231    116    14999998464 apollon001 419    405    14999998464 apollon135 904    893    6510874624 apollon153 1 0 .059 36.6   889     3.48  36.4   32.2   36.4   26.2   6.00  32.2   848    
eca-rers2012/Problem19_label31_false-unreach-call.c 217    207    14999998464 apollon044 244    123    14999998464 apollon113 905    888    6897246208 apollon037 22.8   849     860     7.96  849     841     849     42.8   802     845     905    896    6501048320 apollon115 1 0 .437 29.9   892     2.58  29.7   26.3   29.7   21.1   5.15  26.3   859    
eca-rers2012/Problem19_label32_false-unreach-call.c 240    229    14999998464 apollon042 270    135    14999998464 apollon117 905    891    6989578240 apollon017 23.7   850     862     8.75  850     836     850     82.5   757     839     907    898    6518325248 apollon085 1 0 .485 33.3   893     2.62  33.1   29.1   33.1   23.5   5.67  29.1   856    
eca-rers2012/Problem19_label41_false-unreach-call.c 302    289    14999998464 apollon032 397    199    14999998464 apollon055 906    889    10227048448 apollon102 124     747     759     7.89  746     729     746     93.7   640     733     904    895    6491979776 apollon130 1 0 .339 31.0   892     2.73  30.9   27.3   30.8   22.2   5.01  27.3   857    
eca-rers2012/Problem19_label42_false-unreach-call.c 205    193    14999998464 apollon113 265    133    14999998464 apollon021 906    890    6820765696 apollon164 25.1   851     860     6.02  851     843     851     41.4   805     847     905    895    6517846016 apollon118 1 0 .438 30.4   891     2.49  30.3   26.6   30.2   21.6   4.98  26.6   857    
eca-rers2012/Problem19_label43_false-unreach-call.c 262    250    14999998464 apollon075 248    124    14999998464 apollon079 905    889    6850842624 apollon165 27.3   847     857     6.33  846     838     846     44.2   798     842     905    894    6521597952 apollon149 1 0 .052 35.6   890     3.26  35.4   31.2   35.4   25.4   5.76  31.2   850    
eca-rers2012/Problem19_label47_false-unreach-call.c 252    239    14999998464 apollon002 235    118    14999998464 apollon079 905    887    6878359552 apollon153 26.3   845     855     6.72  844     838     844     33.0   809     842     905    896    6503346176 apollon026 1 0 .432 30.7   892     2.61  30.5   26.9   30.5   21.5   5.36  26.9   858    
eca-rers2012/Problem19_label50_false-unreach-call.c 233    222    14999998464 apollon052 242    121    14999998464 apollon018 906    884    7091425280 apollon120 27.4   834     851     11.9   833     818     833     94.3   727     822     906    897    6496141312 apollon007 1 0 .416 29.3   894     2.66  29.1   25.6   29.1   20.8   4.86  25.6   861    
eca-rers2012/Problem19_label51_false-unreach-call.c 221    209    14999998464 apollon129 242    121    14999998464 apollon164 906    889    6971760640 apollon064 25.1   845     859     9.23  845     831     845     80.6   754     835     904    894    6511022080 apollon142 1 0 .338 32.8   891     2.57  32.7   28.9   32.6   23.2   5.63  28.9   854    
eca-rers2012/Problem19_label53_false-unreach-call.c 247    235    14999998464 apollon083 240    120    14999998464 apollon004 907    891    6858481664 apollon159 23.9   853     862     6.44  853     846     852     31.1   819     850     904    896    6485626880 apollon117 1 0 .329 29.5   892     2.61  29.3   25.8   29.3   20.8   4.97  25.8   859    
eca-rers2012/Problem19_label55_false-unreach-call.c 209    195    14999998464 apollon039 309    155    14999998464 apollon046 905    890    6835183616 apollon094 23.9   852     861     6.29  852     844     852     42.1   806     848     905    895    6504906752 apollon122 1 0 .360 30.8   890     2.64  30.7   27.0   30.6   21.8   5.21  27.0   856    
eca-rers2012/Problem19_label58_false-unreach-call.c 248    233    14999998464 apollon069 248    125    14999998464 apollon070 905    887    6833995776 apollon138 26.3   843     854     7.79  843     834     842     49.3   788     838     905    893    6501142528 apollon038 1 0 .499 36.0   889     3.17  35.8   31.7   35.7   25.9   5.85  31.7   848    
eca-rers2012/Problem19_label59_false-unreach-call.c 215    203    14999998464 apollon149 254    128    14999998464 apollon002 906    887    6868905984 apollon058 25.4   844     855     7.88  844     838     844     30.8   811     842     905    895    6505533440 apollon041 1 0 .055 30.4   892     2.57  30.3   26.7   30.2   21.6   5.05  26.7   857    
eca-rers2012/Problem01_label00_true-unreach-call.c 903    893    1928794112 apollon052 76 16.3   828     27.4   9.06 4.69 419684352 apollon031 1 .546 .008 .001 1.64  .041 2.46  15.8  8.21 457920512 apollon152 .080 1.22  5.29  2.81  .795 .490 .740 .219 .182 .401 8.87 4.75 406761472 apollon168 10 1 .253 .305 2.65  1.31  .196 .094 .178 .086 .005 .122 .432
eca-rers2012/Problem01_label01_true-unreach-call.c 903    892    1955672064 apollon105 79 17.0   823     29.4   9.28 4.78 420630528 apollon081 1 .551 .009 .00  1.60  .108 2.49  15.4  7.97 461266944 apollon151 .196 1.11  5.24  2.65  .876 .562 .843 .273 .244 .517 7.13 3.78 350773248 apollon165 6 1 .162 .237 1.91  1.01  .140 .067 .121 .058 .008 .091 .200
eca-rers2012/Problem01_label02_true-unreach-call.c 903    891    1854541824 apollon065 77 17.4   822     29.8   9.00 4.64 416108544 apollon057 1 .570 .038 .00  1.37  .073 2.39  17.6  9.07 500133888 apollon013 .366 1.50  6.15  3.08  1.28  .809 1.21  .399 .303 .702 8.34 4.45 416382976 apollon106 10 1 .247 .304 2.40  1.12  .183 .089 .152 .082 .005 .126 .428
eca-rers2012/Problem01_label03_true-unreach-call.c 903    891    1877753856 apollon111 77 17.7   822     29.4   9.22 4.76 417345536 apollon040 1 .548 .017 .00  1.51  .078 2.42  21.0  11.0  503115776 apollon117 .446 2.34  7.83  3.52  1.78  1.12  1.70  .553 .441 .994 7.79 4.19 367919104 apollon046 6 1 .169 .282 2.15  1.14  .170 .082 .151 .075 .005 .103 .213
eca-rers2012/Problem01_label04_true-unreach-call.c 903    893    1907503104 apollon072 77 16.8   825     28.7   8.74 4.53 419487744 apollon100 1 .506 .010 .00  1.45  .040 2.28  22.1  11.4  500416512 apollon102 .326 2.03  8.24  3.87  1.67  1.05  1.58  .505 .439 .944 8.32 4.49 412332032 apollon058 10 1 .238 .290 2.49  1.14  .189 .098 .167 .087 .007 .126 .443
eca-rers2012/Problem01_label05_true-unreach-call.c 903    890    1942818816 apollon076 78 19.7   813     33.2   9.40 4.84 531255296 apollon077 1 .577 .020 .00  1.75  .086 2.47  15.7  8.09 493682688 apollon093 .311 1.42  5.30  2.41  1.18  .732 1.11  .326 .356 .682 8.16 4.37 415195136 apollon081 10 1 .232 .296 2.42  1.08  .184 .090 .162 .079 .006 .114 .393
eca-rers2012/Problem01_label06_true-unreach-call.c 903    893    1930686464 apollon004 78 16.6   822     30.4   9.06 4.69 418357248 apollon137 1 .522 .018 .00  1.59  .042 2.46  12.0  6.26 460378112 apollon115 .069 .731 3.99  2.14  .527 .279 .500 .128 .115 .243 7.38 3.92 351977472 apollon039 6 1 .165 .221 1.94  1.02  .145 .069 .134 .062 .004 .087 .190
eca-rers2012/Problem01_label07_true-unreach-call.c 903    893    1922588672 apollon086 77 17.8   819     31.5   9.06 4.69 422846464 apollon041 1 .463 .020 .00  1.64  .101 2.41  12.8  6.64 466608128 apollon145 .085 .823 4.20  2.26  .524 .275 .475 .126 .120 .246 7.39 3.94 352292864 apollon010 6 1 .147 .246 1.96  .985 .161 .073 .132 .064 .006 .090 .231
eca-rers2012/Problem01_label08_true-unreach-call.c 902    892    1924136960 apollon055 78 16.9   825     27.8   9.54 4.92 419409920 apollon160 1 .641 .009 .00  1.61  .046 2.49  16.6  8.65 472457216 apollon001 .373 1.38  5.59  2.52  1.07  .647 1.01  .342 .228 .570 8.67 4.66 305065984 apollon166 10 1 .229 .295 2.58  1.28  .208 .102 .194 .094 .006 .132 .404
eca-rers2012/Problem01_label09_true-unreach-call.c 903    892    1826930688 apollon064 75 16.8   827     27.6   9.61 4.97 474918912 apollon103 1 .594 .019 .00  1.72  .054 2.64  14.9  7.70 477093888 apollon117 .188 1.09  5.08  2.30  .871 .602 .821 .316 .188 .504 7.29 3.88 365076480 apollon036 6 1 .164 .250 1.96  .997 .150 .073 .133 .063 .005 .089 .224
eca-rers2012/Problem01_label10_true-unreach-call.c 903    891    1916612608 apollon126 78 18.1   818     31.1   8.93 4.63 422240256 apollon102 1 .566 .009 .00  1.47  .039 2.33  13.8  7.19 475824128 apollon166 .177 1.14  4.75  2.22  .778 .507 .753 .282 .136 .418 7.98 4.35 411844608 apollon108 10 1 .216 .315 2.40  1.05  .199 .094 .174 .085 .006 .118 .374
eca-rers2012/Problem01_label11_true-unreach-call.c 902    892    1943826432 apollon102 79 16.8   824     28.9   8.83 4.56 421851136 apollon031 1 .495 .008 .00  1.49  .041 2.31  13.6  7.04 457744384 apollon118 .157 .864 4.40  2.27  .658 .363 .619 .174 .132 .306 7.24 3.88 353751040 apollon111 6 1 .157 .227 1.91  .891 .139 .069 .124 .060 .006 .087 .185
eca-rers2012/Problem01_label12_true-unreach-call.c 903    892    1918906368 apollon100 78 16.6   824     29.0   8.89 4.59 420990976 apollon166 1 .544 .007 .00  1.50  .041 2.37  12.0  6.26 466980864 apollon085 .061 .738 3.96  2.09  .581 .329 .549 .169 .119 .288 7.58 4.04 363741184 apollon035 6 1 .164 .231 2.03  .950 .145 .069 .129 .063 .005 .091 .248
eca-rers2012/Problem01_label13_true-unreach-call.c 903    893    2296074240 apollon020 81 17.1   822     31.4   9.24 4.79 418906112 apollon053 1 .580 .009 .00  1.68  .043 2.47  13.7  7.13 478912512 apollon035 .136 1.04  4.75  2.27  .864 .552 .814 .250 .182 .432 7.29 3.89 360787968 apollon106 6 1 .140 .244 1.98  .893 .135 .065 .120 .059 .006 .083 .229
eca-rers2012/Problem01_label14_true-unreach-call.c 903    890    1903489024 apollon015 78 19.0   817     29.8   9.60 4.94 478732288 apollon144 1 .576 .020 .00  1.71  .054 2.50  17.0  8.81 464605184 apollon040 .157 1.46  5.95  2.84  1.05  .673 1.01  .289 .297 .586 7.16 3.85 368529408 apollon105 6 1 .156 .227 1.94  .951 .152 .069 .130 .061 .005 .085 .194
eca-rers2012/Problem01_label16_true-unreach-call.c 903    892    1931358208 apollon025 77 16.6   825     28.1   9.78 5.05 508878848 apollon047 1 .554 .034 .001 1.84  .108 2.67  12.7  6.67 452165632 apollon109 .147 .907 4.27  2.21  .705 .393 .669 .201 .135 .336 7.51 4.00 299139072 apollon058 3 1 .107 .237 1.88  .983 .124 .053 .106 .047 .004 .060 .100
eca-rers2012/Problem01_label17_true-unreach-call.c 903    892    2023370752 apollon038 80 18.6   817     31.8   9.05 4.67 418635776 apollon029 1 .497 .008 .001 1.63  .086 2.45  12.6  6.54 449794048 apollon072 .093 .813 4.12  2.24  .653 .398 .631 .188 .131 .319 7.20 3.85 344633344 apollon118 6 1 .162 .253 1.91  .907 .147 .071 .127 .063 .005 .093 .180
eca-rers2012/Problem01_label18_true-unreach-call.c 902    892    2380668928 apollon127 83 17.8   818     32.4   9.14 4.72 422453248 apollon010 1 .563 .016 .00  1.57  .045 2.42  14.9  7.74 465952768 apollon111 .062 .967 5.07  2.63  .714 .464 .672 .239 .185 .424 8.91 4.75 359133184 apollon025 6 1 .155 .268 2.37  1.20  .177 .079 .155 .070 .005 .096 .287
eca-rers2012/Problem01_label19_true-unreach-call.c 903    892    1812791296 apollon164 74 17.1   825     28.3   9.90 5.10 503275520 apollon132 1 .525 .017 .00  1.86  .095 2.72  13.3  6.90 483831808 apollon122 .131 .904 4.60  2.43  .691 .468 .664 .206 .204 .410 7.44 3.91 354193408 apollon030 6 1 .173 .226 1.94  .867 .136 .065 .120 .059 .005 .087 .245
eca-rers2012/Problem01_label22_true-unreach-call.c 903    890    1922633728 apollon062 79 17.6   819     30.6   8.98 4.66 419999744 apollon132 1 .559 .013 .00  1.52  .043 2.38  16.6  8.56 486674432 apollon096 .128 1.35  5.73  2.89  1.05  .638 .975 .323 .235 .558 6.68 3.52 295858176 apollon039 3 1 .097 .209 1.61  .832 .122 .052 .102 .046 .004 .060 .097
eca-rers2012/Problem01_label23_true-unreach-call.c 903    891    1907752960 apollon011 78 17.4   823     28.5   9.73 5.01 458854400 apollon128 1 .628 .025 .00  1.78  .095 2.62  13.8  7.11 470466560 apollon156 .208 .972 4.50  2.16  .630 .387 .565 .226 .125 .351 8.41 4.47 420089856 apollon162 10 1 .247 .262 2.47  1.19  .177 .085 .158 .077 .006 .115 .445
eca-rers2012/Problem01_label24_true-unreach-call.c 903    890    1833541632 apollon033 73 18.9   819     29.3   8.81 4.55 420470784 apollon141 1 .540 .008 .00  1.54  .083 2.32  14.8  7.63 475729920 apollon055 .101 1.16  5.17  2.69  .939 .601 .907 .305 .211 .516 8.08 4.36 298328064 apollon162 10 1 .223 .283 2.33  1.12  .196 .088 .170 .078 .008 .121 .363
eca-rers2012/Problem01_label25_true-unreach-call.c 902    891    1899134976 apollon051 77 16.9   823     29.0   8.77 4.52 421748736 apollon036 1 .523 .013 .001 1.46  .042 2.28  13.4  6.96 447598592 apollon079 .048 .973 4.45  2.29  .773 .466 .725 .208 .209 .417 7.22 3.86 361959424 apollon007 6 1 .144 .230 1.97  1.01  .142 .066 .128 .059 .005 .089 .218
eca-rers2012/Problem01_label26_true-unreach-call.c 902    893    1945133056 apollon013 80 17.4   824     29.2   8.92 4.62 426401792 apollon011 1 .484 .008 .00  1.65  .049 2.36  14.4  7.55 488460288 apollon015 .147 1.14  4.78  2.39  .920 .629 .872 .265 .205 .470 8.51 4.52 420356096 apollon036 10 1 .264 .259 2.44  1.14  .180 .093 .164 .081 .007 .128 .418
eca-rers2012/Problem01_label27_true-unreach-call.c 902    892    1915187200 apollon073 77 17.5   820     30.9   8.86 4.59 420773888 apollon059 1 .540 .007 .00  1.50  .043 2.38  16.3  8.40 506302464 apollon058 .277 1.61  5.97  2.79  1.30  .903 1.25  .414 .407 .821 8.97 4.74 415735808 apollon126 10 1 .236 .292 2.62  1.13  .175 .090 .152 .082 .006 .120 .510
eca-rers2012/Problem01_label28_true-unreach-call.c 903    890    1896067072 apollon097 77 19.5   814     32.2   9.10 4.70 419987456 apollon025 1 .556 .008 .00  1.54  .075 2.47  16.0  8.33 473358336 apollon022 .145 1.11  5.49  2.98  .867 .544 .824 .282 .183 .465 8.01 4.27 277975040 apollon155 3 1 .106 .241 1.89  1.00  .125 .048 .104 .044 .002 .055 .119
eca-rers2012/Problem01_label29_true-unreach-call.c 902    891    1951113216 apollon117 79 16.9   824     28.2   9.48 4.89 451067904 apollon149 1 .519 .011 .00  1.69  .075 2.54  14.1  7.45 480518144 apollon155 .255 1.15  5.04  2.53  .868 .545 .820 .277 .208 .485 8.74 4.57 419160064 apollon006 10 1 .260 .289 2.50  1.06  .185 .093 .170 .081 .008 .128 .506
eca-rers2012/Problem01_label30_true-unreach-call.c 905    894    1911824384 apollon003 75 16.5   829     27.3   10.0  5.17 454127616 apollon072 1 .584 .007 .00  1.79  .084 2.64  13.3  6.85 470990848 apollon112 .120 1.02  4.45  2.20  .801 .521 .776 .205 .204 .409 8.56 4.53 418476032 apollon073 10 1 .234 .290 2.52  1.09  .197 .092 .171 .084 .006 .120 .460
eca-rers2012/Problem01_label31_true-unreach-call.c 903    891    1984352256 apollon123 80 19.7   815     31.6   8.90 4.61 414449664 apollon037 1 .586 .013 .00  1.42  .072 2.34  14.2  7.41 484093952 apollon145 .134 1.01  4.85  2.53  .779 .478 .737 .209 .195 .404 8.82 4.66 348876800 apollon167 6 1 .174 .287 2.35  1.19  .173 .079 .147 .072 .004 .102 .258
eca-rers2012/Problem01_label34_true-unreach-call.c 902    892    1923919872 apollon112 75 16.0   829     26.6   9.51 4.91 430120960 apollon075 1 .521 .027 .00  1.74  .104 2.56  13.6  7.12 489385984 apollon001 .266 1.16  4.66  1.92  .842 .479 .790 .293 .153 .446 7.22 3.83 349257728 apollon151 6 1 .155 .269 1.90  .990 .153 .077 .130 .068 .006 .095 .213
eca-rers2012/Problem01_label36_true-unreach-call.c 903    893    2295386112 apollon029 82 17.0   821     31.6   9.35 4.82 463630336 apollon053 1 .530 .007 .00  1.72  .057 2.54  13.9  7.46 450691072 apollon121 .238 1.33  5.03  2.19  1.06  .609 1.02  .347 .211 .558 7.29 3.88 350498816 apollon106 6 1 .147 .239 1.93  .872 .158 .067 .137 .062 .004 .088 .205
eca-rers2012/Problem01_label39_true-unreach-call.c 902    892    1857536000 apollon039 75 16.7   825     28.6   9.11 4.72 425230336 apollon044 1 .589 .020 .00  1.53  .044 2.40  18.7  9.80 499798016 apollon133 .304 1.82  7.00  3.31  1.44  .943 1.37  .479 .352 .831 7.65 4.05 355098624 apollon140 6 1 .161 .260 2.09  .967 .150 .070 .131 .062 .005 .087 .221
eca-rers2012/Problem01_label40_true-unreach-call.c 903    889    1842671616 apollon144 75 19.0   816     30.3   8.85 4.59 417222656 apollon009 1 .495 .008 .001 1.46  .073 2.26  15.9  8.23 472903680 apollon154 .150 1.39  5.29  2.44  1.04  .731 .978 .294 .330 .624 7.11 3.78 352956416 apollon126 6 1 .145 .212 1.89  1.01  .140 .067 .117 .059 .005 .085 .224
eca-rers2012/Problem01_label41_true-unreach-call.c 903    893    1899913216 apollon115 77 16.6   827     28.5   9.86 5.09 420737024 apollon022 1 .653 .010 .00  1.73  .089 2.64  14.3  7.49 452464640 apollon108 .148 .964 4.60  2.40  .689 .380 .617 .214 .088 .302 8.45 4.55 413175808 apollon152 10 1 .248 .274 2.42  1.17  .174 .095 .160 .083 .009 .130 .403
eca-rers2012/Problem01_label42_true-unreach-call.c 903    890    1874178048 apollon125 76 19.3   815     31.5   9.22 4.79 426201088 apollon098 1 .587 .008 .00  1.66  .055 2.41  11.8  6.14 454643712 apollon161 .110 .769 3.83  1.84  .582 .320 .525 .164 .082 .246 7.54 4.00 361705472 apollon006 6 1 .165 .246 1.99  1.03  .159 .072 .133 .064 .005 .094 .209
eca-rers2012/Problem01_label43_true-unreach-call.c 903    893    1862475776 apollon051 76 16.6   826     28.6   9.07 4.69 423727104 apollon092 1 .519 .016 .00  1.58  .047 2.37  11.8  6.13 469180416 apollon097 .213 .728 3.65  1.87  .568 .338 .540 .194 .112 .306 7.41 3.93 374140928 apollon152 6 1 .162 .248 1.96  .983 .154 .072 .130 .064 .007 .096 .228
eca-rers2012/Problem01_label45_true-unreach-call.c 903    891    1779273728 apollon147 78 18.1   820     29.7   9.23 4.76 534614016 apollon114 1 .523 .040 .00  1.63  .115 2.50  17.3  9.02 505200640 apollon058 .415 1.56  6.47  2.98  1.25  .805 1.22  .418 .303 .721 9.24 4.86 421830656 apollon055 10 1 .307 .314 2.72  1.29  .208 .110 .188 .097 .009 .156 .494
eca-rers2012/Problem01_label46_true-unreach-call.c 903    889    2317979648 apollon160 84 19.0   811     33.6   9.08 4.70 420257792 apollon013 1 .629 .022 .00  1.52  .044 2.35  14.7  7.65 461873152 apollon145 .200 1.06  4.79  2.23  .798 .465 .763 .220 .197 .417 7.12 3.79 352829440 apollon012 6 1 .154 .233 1.92  .909 .145 .069 .131 .063 .005 .091 .184
eca-rers2012/Problem01_label48_true-unreach-call.c 903    891    1957036032 apollon019 78 18.6   818     31.4   8.49 4.39 416374784 apollon018 1 .498 .012 .00  1.45  .042 2.19  17.4  9.15 517144576 apollon048 .650 1.77  6.32  2.90  1.45  .920 1.38  .440 .423 .863 9.54 5.17 417017856 apollon039 15 1 .370 .428 3.02  1.23  .227 .114 .207 .104 .007 .163 .730
eca-rers2012/Problem01_label49_true-unreach-call.c 902    892    2272378880 apollon021 82 17.7   819     32.7   9.73 5.00 459272192 apollon044 1 .585 .008 .00  1.75  .104 2.60  13.6  7.10 496545792 apollon120 .346 1.13  4.60  2.26  .891 .536 .839 .321 .184 .505 7.22 3.83 363122688 apollon081 6 1 .159 .246 1.91  .873 .150 .068 .130 .060 .005 .087 .200
eca-rers2012/Problem01_label51_true-unreach-call.c 903    890    2273669120 apollon136 81 18.8   817     31.3   9.60 4.95 465235968 apollon163 1 .618 .013 .00  1.68  .056 2.55  19.4  9.98 500883456 apollon101 .289 1.97  6.92  3.07  1.53  .936 1.46  .510 .332 .842 9.64 5.17 405028864 apollon050 10 1 .295 .333 2.82  1.33  .206 .109 .185 .098 .007 .153 .468
eca-rers2012/Problem01_label52_true-unreach-call.c 903    892    1832742912 apollon115 80 16.9   825     28.7   9.30 4.81 424005632 apollon053 1 .530 .008 .001 1.79  .070 2.39  16.6  8.59 462499840 apollon162 .204 1.10  5.59  3.04  .819 .503 .776 .282 .191 .473 8.27 4.37 292118528 apollon153 3 1 .124 .275 2.01  1.08  .163 .068 .140 .059 .005 .076 .123
eca-rers2012/Problem01_label53_true-unreach-call.c 903    892    1947529216 apollon158 79 17.6   818     31.5   9.87 5.09 436596736 apollon009 1 .514 .009 .00  1.89  .094 2.60  12.8  6.66 465563648 apollon007 .174 .936 4.34  2.13  .733 .466 .687 .237 .162 .399 10.6  5.61 424103936 apollon110 10 1 .326 .356 3.08  1.45  .232 .114 .197 .101 .011 .163 .585
eca-rers2012/Problem01_label54_true-unreach-call.c 903    891    1824448512 apollon025 75 17.9   821     29.9   8.72 4.50 416387072 apollon066 1 .541 .007 .00  1.37  .080 2.24  13.0  6.75 459923456 apollon158 .153 .824 4.43  2.40  .656 .404 .620 .205 .165 .370 8.44 4.47 421511168 apollon086 10 1 .236 .309 2.53  1.19  .205 .096 .179 .086 .006 .125 .489
eca-rers2012/Problem01_label55_true-unreach-call.c 903    892    1924952064 apollon026 80 16.9   823     29.4   8.64 4.45 415395840 apollon069 1 .553 .009 .00  1.34  .043 2.26  11.8  6.15 458326016 apollon089 .146 .700 3.84  2.07  .486 .293 .456 .174 .089 .263 7.54 3.94 367915008 apollon144 6 1 .157 .247 1.99  .999 .152 .072 .133 .066 .004 .093 .257
eca-rers2012/Problem01_label58_true-unreach-call.c 903    891    1860169728 apollon087 79 18.4   816     31.4   8.88 4.57 425025536 apollon038 1 .556 .008 .00  1.64  .051 2.30  17.7  9.28 496738304 apollon153 .402 1.60  6.12  2.73  1.20  .746 1.16  .431 .276 .707 7.84 4.16 357838848 apollon097 6 1 .152 .239 1.96  .929 .152 .080 .138 .070 .005 .097 .218
eca-rers2012/Problem01_label59_true-unreach-call.c 903    892    1989681152 apollon044 79 17.3   822     30.3   8.83 4.57 424472576 apollon060 1 .543 .007 .00  1.40  .053 2.27  16.8  8.84 501108736 apollon161 .357 1.74  6.28  2.86  1.26  .823 1.21  .419 .332 .751 8.77 4.66 350957568 apollon119 6 1 .177 .378 2.35  1.03  .172 .080 .158 .071 .007 .104 .300
eca-rers2012/Problem02_label00_true-unreach-call.c 902    892    1829363712 apollon161 81 16.5   826     28.3   9.42 4.87 420810752 apollon133 1 .554 .017 .00  1.62  .108 2.52  11.6  6.06 464695296 apollon107 .083 .755 3.69  1.99  .543 .325 .512 .180 .101 .281 6.98 3.72 348344320 apollon048 6 1 .121 .237 1.88  .913 .147 .067 .125 .057 .008 .084 .239
eca-rers2012/Problem02_label01_true-unreach-call.c 903    893    2263666688 apollon034 85 16.8   823     29.5   9.32 4.81 422584320 apollon010 1 .539 .007 .001 1.62  .063 2.45  11.4  5.91 454467584 apollon013 .103 .779 3.51  1.83  .611 .328 .556 .194 .097 .291 8.34 4.43 339423232 apollon004 6 1 .165 .241 2.16  1.06  .148 .071 .132 .060 .006 .089 .266
eca-rers2012/Problem02_label02_true-unreach-call.c 903    892    1853808640 apollon073 80 16.9   824     28.8   10.8  5.60 534917120 apollon006 2 .951 .046 .00  1.89  .060 3.19  11.8  6.15 449163264 apollon141 .315 .951 3.61  1.60  .746 .438 .688 .225 .150 .375 9.83 5.19 421736448 apollon017 13 1 .337 .334 3.04  1.24  .212 .111 .195 .098 .008 .175 .833
eca-rers2012/Problem02_label03_true-unreach-call.c 903    890    1774944256 apollon019 79 18.5   817     31.2   9.29 4.80 418123776 apollon118 1 .542 .008 .00  1.55  .091 2.45  11.5  6.02 454512640 apollon034 .080 .853 3.66  1.67  .699 .396 .663 .197 .149 .346 7.45 3.93 347103232 apollon109 6 1 .145 .219 1.92  .976 .140 .060 .122 .056 .003 .078 .232
eca-rers2012/Problem02_label04_true-unreach-call.c 903    893    1881305088 apollon016 82 16.5   824     29.5   8.80 4.58 419053568 apollon082 1 .681 .020 .00  1.38  .098 2.20  11.5  6.01 454279168 apollon150 .171 .897 3.63  1.55  .750 .449 .710 .239 .120 .359 8.74 4.62 403603456 apollon111 9 1 .216 .343 2.59  1.19  .209 .090 .175 .082 .006 .119 .451
eca-rers2012/Problem02_label05_true-unreach-call.c 902    890    1811787776 apollon155 79 17.5   822     28.4   9.23 4.77 424910848 apollon005 1 .503 .007 .00  1.64  .056 2.39  11.7  6.10 453201920 apollon043 .129 .744 3.78  1.74  .563 .365 .542 .204 .101 .305 6.94 3.71 344350720 apollon129 6 1 .145 .231 1.84  .876 .134 .062 .116 .057 .003 .080 .197
eca-rers2012/Problem02_label06_true-unreach-call.c 903    890    1802747904 apollon075 78 16.4   821     31.1   14.1  7.23 547434496 apollon014 3 1.52  .088 .014 2.64  .431 4.70  12.1  6.28 472383488 apollon149 .199 1.01  3.78  1.57  .751 .452 .697 .247 .120 .367 11.6  6.24 423247872 apollon017 19 1 .636 .378 3.77  1.37  .263 .137 .242 .124 .010 .247 1.24 
eca-rers2012/Problem02_label07_true-unreach-call.c 902    892    1852526592 apollon054 83 16.5   825     28.2   8.92 4.60 422797312 apollon124 1 .571 .006 .00  1.45  .062 2.28  10.7  5.57 466833408 apollon145 .096 .684 3.33  1.58  .524 .315 .480 .152 .117 .269 7.40 3.91 285175808 apollon018 6 1 .154 .243 1.95  .906 .148 .070 .133 .064 .005 .091 .209
eca-rers2012/Problem02_label08_true-unreach-call.c 903    892    1855164416 apollon056 81 15.9   827     27.5   10.8  5.58 522760192 apollon167 2 .943 .036 .00  1.97  .175 3.26  11.9  6.22 466911232 apollon112 .238 .948 3.76  1.58  .773 .485 .738 .246 .166 .412 8.50 4.47 415686656 apollon006 9 1 .250 .283 2.40  1.05  .177 .086 .157 .076 .007 .128 .424
eca-rers2012/Problem02_label09_true-unreach-call.c 902    891    1861955584 apollon140 82 16.6   823     29.1   9.18 4.74 420642816 apollon086 1 .620 .049 .001 1.41  .056 2.38  14.1  7.37 459862016 apollon096 .090 .989 4.54  2.22  .737 .464 .697 .204 .215 .419 7.17 3.78 342310912 apollon053 6 1 .144 .223 1.90  .980 .133 .064 .119 .057 .005 .080 .187
eca-rers2012/Problem02_label10_true-unreach-call.c 902    892    1891995648 apollon060 83 16.7   825     28.7   8.88 4.60 436973568 apollon038 1 .521 .006 .00  1.49  .077 2.25  10.9  5.71 449638400 apollon107 .114 .687 3.36  1.76  .509 .327 .492 .174 .114 .288 8.80 4.69 345595904 apollon075 6 1 .185 .276 2.30  1.11  .168 .079 .150 .072 .005 .103 .233
eca-rers2012/Problem02_label11_true-unreach-call.c 903    892    1839738880 apollon097 83 17.0   824     28.8   9.00 4.65 416030720 apollon072 1 .615 .011 .00  1.53  .063 2.37  11.5  5.99 463134720 apollon135 .093 .993 3.65  1.64  .676 .395 .649 .159 .174 .333 7.08 3.79 346570752 apollon032 6 1 .146 .237 1.85  .817 .151 .064 .124 .059 .002 .082 .214
eca-rers2012/Problem02_label12_true-unreach-call.c 903    891    1802698752 apollon150 79 17.7   821     29.7   9.12 4.71 420483072 apollon093 1 .632 .007 .00  1.50  .045 2.33  14.0  7.27 464400384 apollon167 .308 1.12  4.49  1.79  .870 .532 .847 .304 .169 .473 7.13 3.81 346357760 apollon094 6 1 .125 .227 1.90  .959 .142 .065 .118 .060 .004 .080 .208
eca-rers2012/Problem02_label14_true-unreach-call.c 902    892    1861451776 apollon131 84 16.7   824     28.8   9.01 4.66 419848192 apollon059 1 .589 .007 .00  1.51  .088 2.31  11.8  6.14 477945856 apollon140 .226 .797 3.75  1.78  .606 .375 .564 .212 .110 .322 7.12 3.80 346697728 apollon113 6 1 .142 .302 1.85  .883 .224 .069 .125 .061 .005 .085 .196
eca-rers2012/Problem02_label15_true-unreach-call.c 903    890    1816354816 apollon127 84 18.9   817     30.2   9.49 4.89 420397056 apollon024 1 .605 .007 .001 1.72  .094 2.56  12.4  6.43 463663104 apollon142 .173 1.08  3.98  1.76  .712 .410 .673 .182 .132 .314 7.13 3.78 352374784 apollon141 6 1 .129 .214 1.88  .977 .135 .065 .118 .059 .004 .080 .206
eca-rers2012/Problem02_label17_true-unreach-call.c 903    892    1794736128 apollon067 83 16.7   825     28.2   9.31 4.80 432844800 apollon142 1 .599 .007 .00  1.55  .095 2.39  11.1  5.84 460492800 apollon072 .082 .808 3.58  1.61  .620 .400 .575 .192 .155 .347 8.69 4.56 349667328 apollon067 6 1 .193 .279 2.40  1.12  .180 .088 .159 .079 .007 .113 .303
eca-rers2012/Problem02_label18_true-unreach-call.c 902    893    1910452224 apollon017 83 16.0   828     27.5   9.20 4.75 426160128 apollon154 1 .695 .032 .00  1.49  .093 2.39  11.4  5.91 461189120 apollon083 .166 .840 3.47  1.53  .645 .403 .612 .206 .117 .323 7.28 3.89 285831168 apollon114 6 1 .144 .234 1.89  .871 .152 .064 .137 .057 .003 .072 .203
eca-rers2012/Problem02_label19_true-unreach-call.c 903    892    1893605376 apollon079 83 16.5   824     29.3   8.78 4.54 424226816 apollon052 1 .544 .013 .00  1.47  .046 2.16  12.5  6.56 446500864 apollon098 .131 .740 3.72  1.82  .561 .321 .509 .158 .103 .261 8.66 4.62 335626240 apollon136 6 1 .162 .269 2.28  1.16  .180 .078 .155 .070 .006 .099 .238
eca-rers2012/Problem02_label20_true-unreach-call.c 903    890    2223525888 apollon058 87 19.0   812     34.4   9.57 4.92 491134976 apollon069 1 .539 .007 .00  1.72  .094 2.65  11.5  6.02 460439552 apollon104 .067 .696 3.66  1.94  .542 .285 .509 .168 .094 .262 8.08 4.32 333332480 apollon094 6 1 .153 .283 2.18  1.14  .166 .071 .143 .064 .006 .093 .212
eca-rers2012/Problem02_label21_true-unreach-call.c 903    892    1813250048 apollon011 80 17.4   823     29.5   9.25 4.80 420724736 apollon098 1 .622 .009 .00  1.60  .093 2.40  11.8  6.14 464265216 apollon101 .109 .731 3.68  1.89  .603 .385 .566 .196 .135 .331 6.25 3.32 280580096 apollon008 3 1 .076 .196 1.49  .771 .097 .042 .080 .037 .003 .048 .093
eca-rers2012/Problem02_label22_true-unreach-call.c 903    890    1738166272 apollon165 76 17.4   823     28.1   11.1  5.69 511840256 apollon018 2 .972 .032 .00  2.08  .112 3.36  9.85 5.15 459788288 apollon010 .077 .583 2.76  1.28  .413 .268 .385 .142 .085 .227 8.99 4.80 398946304 apollon072 9 1 .238 .302 2.56  1.10  .179 .092 .162 .082 .007 .130 .457
eca-rers2012/Problem02_label23_true-unreach-call.c 903    892    1842167808 apollon062 81 16.4   825     28.6   8.91 4.61 425992192 apollon166 1 .597 .011 .00  1.48  .098 2.17  12.0  6.25 451911680 apollon152 .157 .707 3.62  1.81  .582 .351 .561 .190 .087 .277 6.28 3.31 277880832 apollon081 3 1 .077 .172 1.47  .750 .102 .044 .091 .038 .002 .052 .098
eca-rers2012/Problem02_label24_true-unreach-call.c 902    892    2237898752 apollon056 85 16.5   821     32.1   9.42 4.87 486023168 apollon019 1 .595 .020 .00  1.61  .083 2.47  11.4  5.95 453226496 apollon089 .074 .808 3.72  1.75  .689 .430 .645 .253 .099 .352 8.22 4.36 393830400 apollon060 9 1 .201 .267 2.40  1.09  .163 .089 .153 .078 .007 .111 .479
eca-rers2012/Problem02_label25_true-unreach-call.c 903    891    1682178048 apollon059 78 18.4   820     29.8   9.05 4.69 420442112 apollon007 1 .599 .019 .00  1.43  .057 2.35  9.83 5.12 452243456 apollon060 .085 .629 2.99  1.46  .460 .261 .437 .150 .073 .223 8.14 4.33 408608768 apollon087 9 1 .233 .287 2.29  1.05  .181 .086 .158 .076 .007 .120 .348
eca-rers2012/Problem02_label26_true-unreach-call.c 902    891    1814519808 apollon132 80 16.7   824     29.2   9.09 4.68 418414592 apollon069 1 .617 .026 .00  1.49  .099 2.28  11.5  5.98 449171456 apollon050 .092 .818 3.71  1.87  .640 .373 .601 .217 .113 .330 6.51 3.42 291782656 apollon087 3 1 .080 .186 1.50  .698 .105 .047 .091 .041 .003 .057 .117
eca-rers2012/Problem02_label27_true-unreach-call.c 903    890    1851342848 apollon140 82 17.2   818     30.7   11.4  5.85 518119424 apollon167 2 .995 .049 .00  2.08  .141 3.43  9.77 5.12 456626176 apollon134 .067 .630 2.77  1.36  .503 .304 .480 .138 .126 .264 8.41 4.44 394678272 apollon080 9 1 .245 .267 2.39  1.13  .184 .092 .171 .084 .006 .134 .427
eca-rers2012/Problem02_label28_true-unreach-call.c 903    892    1790345216 apollon071 79 16.0   828     27.7   9.17 4.74 421597184 apollon120 1 .572 .008 .00  1.59  .089 2.27  11.3  5.90 461991936 apollon124 .076 .990 3.59  1.67  .635 .414 .595 .210 .147 .357 6.19 3.27 290492416 apollon030 3 1 .084 .188 1.48  .769 .102 .046 .090 .038 .003 .050 .093
eca-rers2012/Problem02_label29_true-unreach-call.c 903    892    1896890368 apollon104 80 15.9   829     26.3   10.1  5.23 488484864 apollon153 1 .682 .027 .00  1.81  .098 2.81  10.6  5.54 458080256 apollon096 .097 .651 3.33  1.62  .506 .276 .467 .147 .091 .238 7.11 3.82 348598272 apollon033 6 1 .146 .246 1.88  .979 .152 .065 .131 .057 .006 .084 .204
eca-rers2012/Problem02_label30_true-unreach-call.c 902    892    1842827264 apollon006 81 16.4   825     28.8   9.22 4.79 425205760 apollon062 1 .627 .006 .00  1.59  .062 2.44  11.5  5.99 462368768 apollon168 .111 .722 3.56  1.69  .551 .327 .530 .187 .075 .262 7.28 3.81 352481280 apollon133 6 1 .133 .267 1.95  .876 .149 .068 .130 .062 .006 .086 .226
eca-rers2012/Problem02_label31_true-unreach-call.c 902    892    1857900544 apollon021 83 17.4   819     31.1   11.6  6.00 321671168 apollon102 1 .783 .017 .00  1.98  .074 2.91  14.0  7.26 475086848 apollon109 .103 .901 4.47  2.37  .704 .379 .663 .202 .128 .330 8.26 4.39 389554176 apollon168 10 1 .230 .283 2.35  1.13  .179 .089 .155 .079 .007 .111 .380
eca-rers2012/Problem02_label32_true-unreach-call.c 903    891    1799598080 apollon164 80 18.2   821     29.5   8.53 4.43 423542784 apollon150 1 .521 .006 .001 1.40  .083 2.19  12.2  6.36 458936320 apollon061 .097 .668 3.90  2.01  .517 .307 .484 .145 .091 .236 7.06 3.75 336318464 apollon062 6 1 .141 .252 1.88  .968 .150 .067 .132 .058 .005 .083 .207
eca-rers2012/Problem02_label33_true-unreach-call.c 903    892    1853923328 apollon011 82 16.8   823     29.4   9.43 4.89 439672832 apollon155 1 .591 .007 .00  1.72  .106 2.57  13.3  6.96 462479360 apollon113 .108 .969 4.16  1.91  .721 .433 .677 .247 .091 .338 6.51 3.44 287948800 apollon039 3 1 .079 .271 1.55  .729 .118 .047 .099 .039 .004 .051 .114
eca-rers2012/Problem02_label34_true-unreach-call.c 902    893    1899270144 apollon105 84 16.2   825     29.8   10.8  5.55 505262080 apollon160 2 1.02  .042 .00  2.01  .058 3.23  12.3  6.43 453873664 apollon048 .101 .810 3.90  2.00  .594 .351 .544 .191 .099 .290 8.05 4.35 395505664 apollon148 9 1 .214 .281 2.33  1.12  .178 .091 .159 .082 .006 .125 .349
eca-rers2012/Problem02_label35_true-unreach-call.c 903    893    1909219328 apollon081 84 16.8   824     29.4   8.33 4.34 418414592 apollon041 1 .636 .019 .00  1.28  .074 2.02  13.0  6.82 450920448 apollon048 .152 1.02  3.90  1.78  .615 .387 .579 .207 .115 .322 6.28 3.35 279511040 apollon122 3 1 .074 .168 1.48  .780 .106 .046 .093 .041 .004 .053 .088
eca-rers2012/Problem02_label36_true-unreach-call.c 903    891    1889038336 apollon163 83 18.4   819     29.8   8.72 4.50 417382400 apollon125 1 .550 .014 .001 1.33  .099 2.21  12.4  6.53 455475200 apollon143 .095 1.06  3.81  1.75  .677 .411 .640 .228 .140 .368 6.15 3.28 277708800 apollon033 3 1 .070 .192 1.47  .698 .104 .046 .090 .043 .002 .051 .095
eca-rers2012/Problem02_label37_true-unreach-call.c 903    891    1864568832 apollon046 81 16.3   826     27.7   8.97 4.61 423374848 apollon117 1 .558 .015 .00  1.42  .088 2.24  10.4  5.41 446803968 apollon123 .132 .655 3.03  1.49  .515 .305 .483 .172 .106 .278 7.86 4.26 398876672 apollon046 9 1 .199 .262 2.30  1.09  .180 .086 .159 .078 .005 .117 .381
eca-rers2012/Problem02_label38_true-unreach-call.c 903    892    1847029760 apollon099 83 16.2   826     28.0   8.90 4.60 493314048 apollon132 1 .569 .006 .00  1.49  .048 2.37  14.2  7.41 459874304 apollon034 .115 .934 4.47  2.13  .699 .449 .671 .216 .145 .361 6.43 3.40 289107968 apollon087 3 1 .064 .201 1.54  .781 .100 .045 .087 .039 .001 .045 .109
eca-rers2012/Problem02_label39_true-unreach-call.c 903    891    1910697984 apollon045 84 16.5   824     28.8   11.3  5.83 512024576 apollon116 2 1.14  .022 .00  2.00  .197 3.40  12.4  6.44 468123648 apollon041 .249 1.11  3.88  1.53  .868 .534 .827 .254 .175 .429 10.7  5.61 424681472 apollon107 14 1 .415 .359 3.30  1.23  .221 .116 .194 .103 .009 .197 .965
eca-rers2012/Problem02_label40_true-unreach-call.c 903    889    1854083072 apollon100 82 18.1   818     29.8   8.83 4.55 418942976 apollon161 1 .548 .010 .00  1.47  .068 2.26  13.7  7.16 462909440 apollon115 .173 .888 4.37  2.15  .688 .458 .652 .213 .151 .364 8.46 4.51 336179200 apollon054 6 1 .164 .249 2.21  1.11  .168 .080 .145 .071 .006 .100 .259
eca-rers2012/Problem02_label41_true-unreach-call.c 902    892    1793064960 apollon063 79 16.0   827     27.6   10.8  5.56 519311360 apollon010 2 .856 .042 .005 1.99  .168 3.14  11.2  5.85 468680704 apollon164 .095 .742 3.61  1.78  .559 .332 .526 .189 .122 .311 8.89 4.86 414580736 apollon032 14 1 .378 .309 2.75  1.12  .197 .103 .181 .093 .007 .167 .667
eca-rers2012/Problem02_label42_true-unreach-call.c 90