Tool CPAchecker 1.6.1-svn 22870
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 2
OS Linux 4.4.0-34-generic
System CPU: Intel Xeon E5-2650 v2 @ 2.60 GHz, cores: 32, frequency: 3.4 GHz; RAM: 135148 MB
Run set bmc-bitprecise.BMC k-induction-bitprecise.k-Induction predicateAnalysis-bitprecise.PredicateAbstraction impact-bitprecise.Impact
Options -heap 10000M -noout -bmc -setprop solver.solver=MATHSAT5 -setprop cpa.predicate.encodeBitvectorAs=BITVECTOR -setprop cpa.predicate.encodeFloatAs=FLOAT -setprop analysis.checkCounterexamples=true -setprop counterexample.checker=CBMC -setprop cpa.bounds.maxLoopIterationsUpperBound=0 -setprop cpa.bounds.maxLoopIterations=1 -setprop cpa.bounds.maxLoopIterationAdjusterFactory=INCREMENT -heap 10000M -noout -sv-comp16--k-induction -setprop limits.time.cpu.thread=10000s -heap 10000M -noout -predicateAnalysis-PredAbsRefiner-ABEl-bitprecise -setprop cpa.predicate.encodeFloatAs=FLOAT -setprop analysis.checkCounterexamples=true -setprop counterexample.checker=CBMC -heap 10000M -noout -predicateAnalysis-ImpactRefiner-ABEl-bitprecise -setprop cpa.predicate.encodeFloatAs=FLOAT -setprop analysis.checkCounterexamples=true -setprop counterexample.checker=CBMC -setprop cpa.forcedCovering=cpa.predicate.PredicateForcedCovering
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) Invariant generation (s) Bounds check (s) SMT check (s) Induction formula creation (s) Induction check (s) status cputime (s) walltime (s) memUsage host Precision adjustment (s) CPA algorithm (s) Post operator (s) Prec operator (s) SMT without itp (s) Refinement (s) Boolean abstraction (s) Abstraction (s) Solving (s) Model enumeration (s) status cputime (s) walltime (s) memUsage host Attempted forced coverings Precision adjustment (s) CPA algorithm (s) Post operator (s) Prec operator (s) SMT without itp (s) Forced covering (s) Successful forced coverings Refinement (s) Boolean abstraction (s) Abstraction (s) Solving (s) Model enumeration (s)
array-examples/data_structures_set_multi_proc_false-unreach-call_ground.i 5.22 3.02 218021888 1 .061 902    859    4136251392 1 855     825     5.35 3.08 227561472 .004 .052 .038 .00  .00  4.99 2.87 213643264 0 .004 .064 .042 .001 .00  .00 
array-examples/sorting_bubblesort_false-unreach-call2_ground.i 5.30 3.02 219369472 1 .037 902    871    3759345664 1 867     .008 4.90 2.83 217911296 .003 .039 .028 .00  .00  5.08 2.90 204849152 0 .004 .025 .009 .001 .00  .00 
array-examples/sorting_bubblesort_false-unreach-call_ground.i 4.94 2.85 210272256 1 .040 902    872    3759636480 1 868     .014 4.84 2.83 220467200 .003 .034 .016 .00  .00  4.81 2.81 201809920 0 .004 .025 .009 .00  .00  .00 
array-examples/sorting_selectionsort_false-unreach-call2_ground.i 5.14 2.99 214384640 1 .040 902    868    3762839552 1 864     .009 5.09 2.94 218374144 .003 .058 .031 .00  .00  4.95 2.81 205467648 0 .004 .027 .011 .001 .00  .00 
array-examples/sorting_selectionsort_false-unreach-call_ground.i 5.04 2.85 217124864 1 .034 902    867    3797401600 1 864     .008 4.81 2.75 216625152 .003 .038 .028 .00  .00  5.04 2.90 206835712 0 .003 .027 .011 .00  .00  .001
array-examples/standard_allDiff2_false-unreach-call_ground.i 5.15 3.00 211972096 1 .044 902    875    3746267136 1 871     .007 4.92 2.88 215564288 .004 .026 .014 .001 .00  5.19 2.94 208715776 0 .005 .029 .014 .00  .00  .00 
array-examples/standard_copy1_false-unreach-call_ground.i 4.64 2.67 214089728 1 .036 902    875    3735605248 1 871     .008 4.77 2.80 215719936 .003 .058 .047 .00  .00  4.69 2.71 201748480 0 .003 .027 .012 .00  .00  .00 
array-examples/standard_copy2_false-unreach-call_ground.i 5.20 3.02 218062848 1 .039 902    877    3721293824 1 873     .010 4.75 2.76 219856896 .008 .045 .016 .00  .00  4.84 2.82 205418496 0 .004 .026 .010 .001 .00  .00 
array-examples/standard_copy3_false-unreach-call_ground.i 5.10 2.97 215171072 1 .039 902    873    3738808320 1 870     859     4.82 2.74 217231360 .004 .026 .014 .00  .00  4.90 2.82 207896576 0 .003 .045 .014 .00  .00  .00 
array-examples/standard_copy4_false-unreach-call_ground.i 5.11 2.97 213622784 1 .039 902    873    3766702080 1 869     .013 4.85 2.83 220971008 .004 .052 .019 .00  .00  4.92 2.83 207417344 0 .003 .030 .013 .00  .00  .00 
array-examples/standard_copy5_false-unreach-call_ground.i 5.04 2.90 215867392 1 .037 902    873    3768774656 1 869     857     5.11 2.96 217288704 .003 .030 .016 .00  .00  4.94 2.83 203608064 0 .004 .029 .011 .001 .00  .00 
array-examples/standard_copy6_false-unreach-call_ground.i 5.25 3.03 218980352 1 .035 902    873    3775508480 1 870     .005 5.04 2.92 219791360 .003 .038 .023 .00  .00  4.78 2.70 206639104 0 .004 .031 .009 .00  .00  .00 
array-examples/standard_copy7_false-unreach-call_ground.i 4.73 2.78 212377600 1 .037 902    875    3769225216 1 871     .012 4.93 2.89 221814784 .004 .054 .031 .001 .00  4.76 2.75 206053376 0 .004 .027 .011 .00  .00  .00 
array-examples/standard_copy8_false-unreach-call_ground.i 5.31 3.06 216215552 1 .037 902    874    3754250240 1 871     .010 4.93 2.89 218189824 .003 .038 .020 .00  .00  5.05 2.91 205590528 0 .003 .027 .010 .00  .00  .00 
array-examples/standard_copy9_false-unreach-call_ground.i 5.32 3.05 217374720 1 .038 902    874    3795988480 1 871     858     5.10 2.96 221679616 .011 .050 .030 .00  .00  5.00 2.88 207470592 0 .004 .025 .009 .00  .00  .001
array-examples/standard_copyInitSum2_false-unreach-call_ground.i 5.21 2.95 213598208 1 .041 902    876    3729698816 1 872     .008 5.07 2.95 217792512 .004 .036 .025 .00  .00  4.83 2.80 202145792 0 .004 .047 .012 .00  .00  .00 
array-examples/standard_init1_false-unreach-call_ground.i 5.27 3.04 211656704 1 .039 902    877    3700277248 1 873     .007 5.18 3.01 217350144 .004 .046 .033 .00  .00  4.88 2.83 207519744 0 .004 .032 .012 .00  .00  .00 
array-examples/standard_init2_false-unreach-call_ground.i 4.88 2.79 215867392 1 .036 902    877    3716550656 1 873     863     4.93 2.81 219447296 .004 .033 .014 .00  .00  4.83 2.79 208125952 0 .004 .028 .011 .00  .00  .00 
array-examples/standard_init3_false-unreach-call_ground.i 4.67 2.73 215699456 1 .040 901    875    3722661888 1 872     .005 5.07 2.94 214204416 .004 .064 .029 .00  .00  4.94 2.85 203636736 0 .004 .027 .014 .001 .00  .00 
array-examples/standard_init4_false-unreach-call_ground.i 5.13 2.98 214757376 1 .037 902    878    3711168512 1 874     .006 5.08 2.95 215658496 .013 .063 .036 .00  .00  4.95 2.87 212766720 0 .004 .028 .010 .00  .00  .00 
array-examples/standard_init5_false-unreach-call_ground.i 5.02 2.94 213245952 1 .043 902    878    3714928640 1 874     .011 5.27 3.03 219037696 .004 .053 .031 .00  .00  5.10 2.92 207351808 0 .004 .027 .010 .001 .00  .001
array-examples/standard_init6_false-unreach-call_ground.i 4.96 2.89 215482368 1 .045 902    877    3731673088 1 873     863     4.77 2.81 216195072 .004 .036 .024 .001 .00  5.14 2.91 208199680 0 .004 .026 .010 .00  .00  .001
array-examples/standard_init7_false-unreach-call_ground.i 5.43 3.11 218693632 1 .038 902    876    3735662592 1 873     862     5.02 2.95 218845184 .015 .045 .022 .00  .00  4.95 2.84 206393344 0 .005 .027 .011 .00  .00  .00 
array-examples/standard_init8_false-unreach-call_ground.i 4.95 2.89 219168768 1 .036 902    877    3745124352 1 873     862     5.10 2.94 219865088 .005 .052 .025 .00  .00  4.92 2.83 210546688 0 .003 .027 .010 .00  .00  .00 
array-examples/standard_init9_false-unreach-call_ground.i 5.26 3.07 216018944 1 .041 902    877    3733032960 1 873     .009 4.83 2.78 216457216 .004 .026 .014 .00  .00  5.06 2.95 207527936 0 .003 .027 .012 .00  .00  .00 
array-examples/standard_minInArray_false-unreach-call_ground.i 5.08 2.96 215969792 1 .041 902    874    3723948032 1 870     .012 5.00 2.88 219602944 .003 .046 .022 .00  .00  4.77 2.72 203853824 0 .003 .028 .013 .00  .00  .00 
array-examples/standard_partition_false-unreach-call_ground.i 5.24 3.03 214765568 1 .038 902    872    3746398208 1 868     854     5.20 3.02 221937664 .004 .052 .032 .00  .00  5.06 2.90 205811712 0 .003 .027 .012 .00  .00  .00 
array-examples/standard_running_false-unreach-call.i 5.10 2.98 214552576 1 .038 902    872    3730436096 1 868     856     4.77 2.80 220745728 .004 .066 .023 .00  .00  4.86 2.81 206954496 0 .003 .027 .011 .00  .00  .00 
array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground.i 5.30 2.99 216752128 1 .060 7.34 4.05 322359296 1 .157 .005 5.47 3.12 217296896 .004 .071 .052 .00  .00  4.96 2.87 207998976 0 .004 .084 .059 .001 .00  .00 
array-examples/data_structures_set_multi_proc_true-unreach-call_ground.i 5.07 2.94 218234880 1 .060 902    860    3915927552 1 856     829     5.17 2.96 219262976 .004 .065 .041 .00  .00  5.30 3.03 211263488 0 .005 .054 .032 .001 .00  .00 
array-examples/relax_true-unreach-call.i 911    892    1214275584 19 8.53  19.1   857     903    452    3745599488 14 7.87  425     18.7   365     11.1   41.5   9.76 5.46 360288256 .742 1.37  .302 .681 .397 .775 .430 .668 .258 .139 902    894    628600832 301 .397 884     .791 .335 3.08  882     0 6.92  .226 .316 .212 .004
array-examples/sanfoundry_02_true-unreach-call_ground.i 5.05 2.94 218521600 1 .039 902    870    3767492608 1 866     .006 5.17 3.01 218304512 .005 .035 .014 .00  .00  4.78 2.78 203210752 0 .004 .028 .012 .001 .00  .001
array-examples/sanfoundry_24_true-unreach-call.i 4.98 2.90 212598784 1 .040 902    859    3865178112 1 855     .008 5.41 3.07 219910144 .009 .047 .032 .001 .00  5.02 2.88 202457088 0 .003 .027 .010 .00  .00  .00 
array-examples/sanfoundry_27_true-unreach-call_ground.i 5.02 2.94 216481792 1 .039 902    873    3727785984 1 869     .006 5.08 2.93 220098560 .004 .042 .029 .00  .00  4.93 2.84 206753792 0 .005 .036 .017 .00  .00  .00 
array-examples/sorting_bubblesort_true-unreach-call_ground.i 5.37 3.05 218087424 1 .036 902    871    3742572544 1 867     .006 5.09 2.93 215379968 .004 .054 .026 .00  .00  4.86 2.81 201465856 0 .004 .027 .013 .00  .00  .00 
array-examples/sorting_selectionsort_true-unreach-call_ground.i 5.15 3.00 213880832 1 .038 902    866    3781361664 1 862     843     5.00 2.90 217907200 .004 .045 .015 .00  .00  4.71 2.74 207769600 0 .004 .025 .012 .001 .00  .00 
array-examples/standard_compareModified_true-unreach-call_ground.i 4.76 2.79 221921280 1 .037 902    872    3766927360 1 868     855     4.77 2.78 221679616 .010 .036 .017 .00  .00  4.60 2.62 200785920 0 .003 .022 .010 .00  .00  .00 
array-examples/standard_compare_true-unreach-call_ground.i 4.96 2.90 214097920 1 .041 902    871    3747037184 1 867     .005 5.03 2.92 217661440 .020 .064 .036 .00  .00  4.81 2.80 204681216 0 .004 .028 .011 .00  .00  .00 
array-examples/standard_copy1_true-unreach-call_ground.i 5.02 2.93 212602880 1 .036 902    876    3705298944 1 872     .004 4.61 2.69 216698880 .009 .060 .023 .00  .00  4.68 2.71 204476416 0 .008 .032 .012 .00  .00  .002
array-examples/standard_copy2_true-unreach-call_ground.i 5.19 3.03 215470080 1 .042 902    875    3722223616 1 872     .009 4.87 2.82 214134784 .003 .032 .021 .00  .00  4.86 2.82 207122432 0 .004 .037 .018 .00  .00  .00 
array-examples/standard_copy3_true-unreach-call_ground.i 4.90 2.86 211791872 1 .036 902    875    3741032448 1 871     860     5.07 2.95 216883200 .004 .026 .015 .001 .00  4.88 2.75 202850304 0 .003 .044 .022 .00  .00  .00 
array-examples/standard_copy4_true-unreach-call_ground.i 5.21 3.01 223961088 1 .038 902    872    3748016128 1 869     .005 5.10 2.97 216256512 .003 .059 .026 .00  .00  4.72 2.72 207335424 0 .004 .029 .011 .00  .00  .00 
array-examples/standard_copy5_true-unreach-call_ground.i 5.22 3.01 216748032 1 .041 902    875    3759005696 1 871     .008 5.07 2.96 214409216 .012 .059 .031 .00  .00  5.06 2.89 207847424 0 .003 .029 .013 .00  .00  .00 
array-examples/standard_copy6_true-unreach-call_ground.i 5.16 2.99 214024192 1 .038 902    873    3755925504 1 870     858     5.04 2.90 223342592 .004 .035 .020 .00  .00  5.07 2.89 209457152 0 .003 .029 .012 .00  .00  .00 
array-examples/standard_copy7_true-unreach-call_ground.i 5.08 2.95 219017216 1 .038 902    877    3746902016 1 873     .010 5.33 3.03 220659712 .016 .055 .032 .00  .00  4.78 2.80 199626752 0 .004 .025 .014 .001 .00  .00 
array-examples/standard_copy8_true-unreach-call_ground.i 4.92 2.86 214421504 1 .034 902    876    3752140800 1 873     .010 4.67 2.72 220393472 .004 .026 .015 .00  .00  4.94 2.84 204414976 0 .004 .027 .011 .00  .00  .00 
array-examples/standard_copy9_true-unreach-call_ground.i 5.02 2.90 212844544 1 .038 902    874    3779952640 1 871     .005 5.23 3.01 221573120 .012 .058 .030 .00  .00  5.11 2.94 213143552 0 .004 .027 .012 .00  .00  .00 
array-examples/standard_copyInitSum2_true-unreach-call_ground.i 4.89 2.85 210722816 1 .036 902    876    3712770048 1 872     .005 4.86 2.88 216797184 .004 .069 .029 .00  .00  5.05 2.89 206417920 0 .003 .027 .011 .00  .00  .00 
array-examples/standard_copyInitSum3_true-unreach-call_ground.i 5.04 2.90 213749760 1 .038 902    878    3718352896 1 874     .005 5.05 2.92 221585408 .004 .065 .035 .00  .00  4.78 2.78 207290368 0 .008 .031 .013 .001 .00  .00 
array-examples/standard_copyInitSum_true-unreach-call_ground.i 4.91 2.87 212676608 1 .041 902    877    3706097664 1 873     .016 5.11 2.94 213037056 .014 .055 .033 .00  .00  5.06 2.89 207433728 0 .005 .027 .011 .00  .00  .00 
array-examples/standard_copyInit_true-unreach-call_ground.i 4.95 2.86 213749760 1 .039 902    877    3722936320 1 873     .006 4.59 6.69 217260032 .016 .069 .046 .00  .00  4.74 2.78 203550720 0 .004 .028 .009 .00  .00  .00 
array-examples/standard_find_true-unreach-call_ground.i 4.85 2.86 218775552 1 .038 902    857    3820269568 1 854     .005 5.16 2.97 213987328 .010 .066 .036 .001 .00  4.83 2.78 209588224 0 .004 .028 .012 .00  .00  .00 
array-examples/standard_init1_true-unreach-call_ground.i 5.13 2.92 213516288 1 .042 902    878    3699879936 1 875     866     5.03 2.88 219770880 .003 .037 .017 .00  .00  4.90 2.82 206221312 0 .003 .030 .013 .00  .00  .00 
array-examples/standard_init2_true-unreach-call_ground.i 5.18 2.95 214749184 1 .037 902    876    3721117696 1 872     862     4.94 2.87 219754496 .003 .041 .031 .00  .00  4.85 2.80 204742656 0 .004 .028 .013 .00  .00  .00 
array-examples/standard_init3_true-unreach-call_ground.i 4.86 2.79 217956352 1 .042 902    876    3728150528 1 872     862     4.89 2.82 217948160 .003 .031 .021 .00  .00  4.79 2.77 204050432 0 .004 .025 .013 .00  .00  .00 
array-examples/standard_init4_true-unreach-call_ground.i 5.19 3.00 218980352 1 .037 902    877    3723018240 1 873     863     5.14 3.07 218357760 .005 .043 .029 .00  .00  4.76 2.76 205795328 0 .003 .027 .011 .00  .00  .00 
array-examples/standard_init5_true-unreach-call_ground.i 4.82 2.76 215171072 1 .037 902    877    3716902912 1 873     863     5.19 3.01 219447296 .004 .028 .018 .00  .00  4.82 2.78 207794176 0 .009 .053 .023 .00  .00  .00 
array-examples/standard_init6_true-unreach-call_ground.i 5.23 3.05 218103808 1 .039 902    876    3736064000 1 872     861     5.15 2.99 215068672 .015 .061 .038 .00  .00  4.85 2.83 207192064 0 .003 .029 .012 .00  .00  .001
array-examples/standard_init7_true-unreach-call_ground.i 4.91 2.87 217632768 1 .036 902    876    3722076160 1 872     .006 5.15 3.00 213467136 .004 .038 .023 .00  .00  4.76 2.78 209166336 0 .003 .030 .010 .00  .00  .00 
array-examples/standard_init8_true-unreach-call_ground.i 5.14 2.97 218034176 1 .038 902    875    3756097536 1 871     860     5.38 3.10 221065216 .005 .030 .017 .001 .00  4.91 2.84 203304960 0 .004 .026 .011 .00  .00  .001
array-examples/standard_init9_true-unreach-call_ground.i 5.34 3.05 216711168 1 .038 902    877    3725856768 1 873     .007 4.98 2.89 218103808 .004 .039 .026 .00  .00  5.04 2.90 207708160 0 .003 .027 .011 .00  .00  .00 
array-examples/standard_maxInArray_true-unreach-call_ground.i 4.87 2.82 208027648 1 .036 902    874    3736305664 1 870     .006 5.15 2.99 218501120 .011 .037 .018 .00  .00  4.87 2.80 204804096 0 .003 .027 .011 .00  .00  .001
array-examples/standard_minInArray_true-unreach-call_ground.i 5.13 2.94 217071616 1 .037 902    875    3722653696 1 872     .005 4.88 2.87 218755072 .004 .049 .037 .001 .00  4.84 2.82 205422592 0 .004 .027 .010 .001 .00  .00 
array-examples/standard_palindrome_true-unreach-call_ground.i 5.00 2.89 211849216 1 .036 902    876    3714117632 1 872     .006 5.21 3.10 215515136 .004 .029 .016 .00  .00  4.89 2.81 203280384 0 .016 .039 .011 .00  .00  .001
array-examples/standard_partial_init_true-unreach-call_ground.i 4.95 2.88 214777856 1 .040 902    874    3738275840 1 870     858     4.87 2.83 211763200 .004 .052 .032 .00  .00  4.77 2.76 205213696 0 .004 .028 .011 .00  .00  .00 
array-examples/standard_partition_original_true-unreach-call_ground.i 4.99 2.92 213884928 1 .038 902    869    3764699136 1 866     .009 5.00 2.87 220065792 .003 .017 .009 .00  .00  4.71 2.75 210501632 0 .015 .052 .028 .00  .00  .00 
array-examples/standard_partition_true-unreach-call_ground.i 4.99 2.87 215207936 1 .044 902    872    3735633920 1 868     .012 4.90 2.82 219320320 .004 .025 .015 .00  .00  5.18 2.95 203649024 0 .004 .027 .009 .00  .00  .00 
array-examples/standard_password_true-unreach-call_ground.i 4.97 2.90 214269952 1 .039 902    871    3748601856 1 868     .008 4.71 2.76 221843456 .004 .027 .014 .00  .00  4.90 2.83 208158720 0 .003 .029 .009 .00  .00  .00 
array-examples/standard_reverse_true-unreach-call_ground.i 5.27 3.07 218902528 1 .039 902    877    3715010560 1 873     .006 5.16 3.01 217362432 .004 .031 .019 .00  .00  4.83 2.79 204980224 0 .004 .027 .010 .001 .00  .00 
array-examples/standard_running_true-unreach-call.i 5.13 2.98 220217344 1 .040 902    872    3745861632 1 869     857     4.92 2.80 214970368 .004 .026 .015 .00  .00  4.97 2.85 208900096 0 .004 .029 .013 .00  .00  .00 
array-examples/standard_sentinel_true-unreach-call.i 5.02 2.94 215162880 1 .044 902    859    3807719424 1 855     832     5.05 2.94 211881984 .004 .054 .032 .00  .00  4.89 2.85 206282752 0 .004 .030 .011 .001 .00  .00 
array-examples/standard_seq_init_true-unreach-call_ground.i 4.89 2.86 218185728 1 .036 902    876    3717496832 1 872     862     4.89 2.84 219709440 .004 .026 .014 .001 .00  4.73 2.73 202113024 0 .004 .026 .011 .001 .00  .002
array-examples/standard_strcmp_true-unreach-call_ground.i 4.91 2.89 215805952 1 .042 902    873    3758755840 1 869     .013 4.83 2.80 216211456 .012 .053 .019 .00  .00  5.05 2.89 209637376 0 .003 .035 .019 .00  .00  .00 
array-examples/standard_strcpy_true-unreach-call_ground.i 5.12 2.98 215728128 1 .037 902    856    3832774656 1 853     .005 5.44 3.14 219676672 .004 .049 .030 .00  .00  4.83 2.80 208424960 0 .004 .045 .026 .001 .00  .00 
array-examples/standard_two_index_01_true-unreach-call.i 4.70 2.75 212541440 1 .034 902    878    3722952704 1 874     .016 5.03 2.90 218644480 .004 .051 .023 .001 .00  4.93 2.78 210591744 0 .003 .034 .018 .00  .00  .00 
array-examples/standard_two_index_02_true-unreach-call.i 5.00 2.90 212893696 1 .039 902    876    3730182144 1 872     .010 5.09 2.95 212312064 .004 .029 .015 .00  .00  5.11 2.92 209510400 0 .004 .026 .010 .00  .00  .00 
array-examples/standard_two_index_04_true-unreach-call.i 5.08 2.96 216793088 1 .038 902    876    3748114432 1 872     862     4.90 2.87 216260608 .004 .039 .028 .00  .00  4.89 2.79 205742080 0 .004 .028 .010 .00  .00  .00 
array-examples/standard_two_index_05_true-unreach-call.i 4.99 2.87 218484736 1 .036 902    876    3733733376 1 872     .012 4.75 2.75 213098496 .011 .042 .024 .00  .00  4.82 2.73 208519168 0 .003 .043 .027 .00  .00  .00 
array-examples/standard_two_index_07_true-unreach-call.i 5.04 2.95 211324928 1 .039 902    875    3734241280 1 871     .006 4.87 2.86 220622848 .016 .050 .028 .001 .00  4.70 2.73 206729216 0 .003 .031 .010 .00  .00  .00 
array-examples/standard_two_index_08_true-unreach-call.i 5.12 3.00 215826432 1 .038 902    875    3736272896 1 871     860     5.04 2.90 222879744 .016 .055 .032 .00  .00  4.68 2.72 203251712 0 .004 .024 .010 .00  .00  .00 
array-examples/standard_two_index_09_true-unreach-call.i 5.13 2.97 215961600 1 .037 902    875    3745927168 1 871     .006 4.85 2.86 212221952 .004 .050 .039 .00  .00  4.70 2.72 208699392 0 .004 .028 .011 .00  .00  .00 
array-examples/standard_vararg_true-unreach-call_ground.i 4.86 2.81 213377024 1 .038 902    863    3797499904 1 859     838     5.06 2.93 218476544 .012 .054 .035 .00  .00  4.87 2.80 202735616 0 .003 .028 .011 .00  .00  .00 
array-examples/standard_vector_difference_true-unreach-call_ground.i 5.22 2.99 214945792 1 .039 902    873    3723071488 1 870     .008 4.85 2.82 219516928 .004 .052 .030 .00  .00  5.07 2.88 205529088 0 .003 .029 .013 .00  .00  .00 
reducercommutativity/rangesum05_false-unreach-call.i 13.7  10.2  425275392 18 .878 .178 5.43  902    886    1355051008 8 .234 .012 .020 .001 2.78  878     92.5  82.3  585662464 66.9   68.8   .778 66.7   61.3   10.2   61.7   66.6   31.9   29.4   77.4  71.3  456286208 179 28.8   33.5   .820 28.7   26.2   3.48  0 34.6   26.1   28.6   12.4   13.7  
reducercommutativity/rangesum10_false-unreach-call.i 26.6  22.4  489586688 33 .973 .798 14.5   902    886    1632976896 11 .235 .005 .025 .003 4.36  877     312    296    1009377280 265     269     1.61  265     239     24.4   240     265     137     102     347    331    879697920 1134 130     187     2.17  130     122     53.8   0 140     118     130     62.3   60.0  
reducercommutativity/rangesum20_false-unreach-call.i 29.7  24.5  722432000 63 1.33  4.80  12.1   902    884    1766027264 12 .207 .005 .027 .002 4.55  874     902    879    1390931968 815     825     4.24  815     729     51.0   734     814     378     351     902    883    1091399680 2647 129     697     3.52  129     118     564     0 183     109     129     88.4   29.1  
reducercommutativity/rangesum40_false-unreach-call.i 135    128    1123004416 123 1.76  17.6   98.2   902    881    1955381248 13 .251 .004 .011 .003 6.54  870     902    875    1798283264 743     756     7.75  742     639     115     647     742     383     255     902    892    880504832 1198 48.4   831     1.88  48.2   45.6   780     0 58.8   42.6   48.2   40.0   4.90 
reducercommutativity/rangesum_false-unreach-call.i 795    773    2884550656 903    452    4598747136 5 1.65  424     18.8   5.97  6.57  414     72.7  64.0  563089408 52.5   53.7   .615 52.4   48.4   6.90  48.7   52.3   23.6   24.8   902    884    1057783808 3703 99.9   843     1.79  99.7   114     740     389 37.9   90.7   99.7   47.0   43.6  
reducercommutativity/max05_true-unreach-call.i 18.1  14.8  347725824 18 .810 2.28  8.52  115    97.2  1037770752 18 .421 .005 2.41  8.22  6.29  75.7   913    903    1068703744 913    907    2671058944
reducercommutativity/max_true-unreach-call.i 903    888    1406636032 15 11.5   755     115     903    452    4289490944 10 5.82  .013 124     13.9   17.1   286     37.8  32.0  434892800 4.13  5.02  .556 4.04  3.07  24.0   3.28  4.01  1.76  1.30  902    884    1108680704 3983 2.05  880     1.82  1.89  6.90  875     409 1.61  1.19  1.83  .900 .210
reducercommutativity/sep05_true-unreach-call.i 10.8  7.51 353878016 18 .482 2.89  1.01  8.79 4.83 324349952 1 .399 .823 .013 .00  902    886    1306243072 874     876     .788 874     821     7.49  872     874     4.48  817     20.3  15.5  378843136 62 .395 3.02  .527 .329 1.56  1.36  4 9.56  .142 .310 .158 .025
reducercommutativity/sep10_true-unreach-call.i 32.5  28.7  485408768 33 1.16  16.5   7.72  902    452    4012482560 12 .698 .005 3.09  .025 12.7   431     913    894    1197264896 913    905    647471104
reducercommutativity/sep20_true-unreach-call.i 335    330    970399744 63 1.12  191     134     903    452    4035473408 20 1.06  423     5.34  .002 19.7   421     903    871    2963673088 504     516     4.16  503     406     352     432     502     143     263     902    893    702160896 823 1.96  78.1   1.33  1.85  1.85  74.3   0 812     .849 1.80  1.35  .083
reducercommutativity/sep40_true-unreach-call.i 902    896    1164984320 91 1.32  891     .006 8.74 4.73 324964352 1 .267 .813 .011 .00  .499 .317 902    874    2875150336 843     856     2.68  842     707     15.1   756     841     187     520     902    887    1022529536 2412 2.71  803     1.97  2.56  3.36  798     0 81.2   .661 2.52  1.74  .143
reducercommutativity/sep60_true-unreach-call.i 903    896    941830144 91 1.51  891     .002 8.89 4.83 325820416 1 .240 .759 .011 .00  .526 .198 902    877    2765737984 845     859     3.11  843     710     14.7   760     842     185     526     902    882    1068806144 4000 2.51  746     2.80  2.35  3.66  740     0 133     .824 2.30  1.43  .199
reducercommutativity/sum10_true-unreach-call.i 902    896    740175872 33 .506 1.26  892     7.59 4.18 318832640 1 .225 .632 .001 .00  902    885    1783533568 55.7   58.2   1.15  55.4   44.5   824     47.3   55.3   13.0   31.4   902    894    1300975616 213 1.23  7.10  .619 1.16  1.01  4.99  0 884     .710 1.13  .821 .051
reducercommutativity/sum60_true-unreach-call.i 1000    991    2011811840 8.61 4.72 308240384 1 .237 .717 .001 .00  902    877    3082153984 854     863     1.76  853     721     11.5   782     852     152     568     902    885    989093888 4295 3.48  790     2.10  3.36  4.79  784     0 92.2   1.36  3.31  1.78  .683
bitvector/byte_add_2_true-unreach-call.i 7.58 4.33 297213952 6 .884 .105 .168 36.3  18.6  948129792 6 1.16  3.48  .649 1.07  7.16  4.01  902    891    1202393088 885     887     .841 885     578     .996 884     885     .634 578     13.3  8.35 367284224 55 .160 3.14  .409 .073 .564 2.31  9 1.78  .034 .063 .028 .001
bitvector/jain_1_true-unreach-call.i 780    765    14999998464 918    900    14201999360 620 3.23  .007 106     113     9.44  639     5.35 3.09 232951808 .078 .219 .094 .059 .016 .066 .025 .057 .015 .001 5.13 2.96 218767360 3 .031 .178 .074 .020 .008 .024 1 .058 .006 .017 .004 .00 
bitvector/jain_2_true-unreach-call.i 424    411    14999998464 762    745    14999998464 5.17 3.06 230834176 .106 .215 .065 .072 .018 .071 .034 .069 .016 .002 5.02 2.95 214327296 3 .043 .198 .083 .029 .013 .034 1 .087 .011 .022 .008 .00 
bitvector/jain_4_true-unreach-call.i 362    351    14999998464 679    661    14999998464 5.32 3.09 236695552 .104 .244 .082 .090 .036 .084 .050 .086 .027 .009 5.25 3.04 225370112 3 .040 .220 .092 .029 .016 .043 1 .080 .013 .027 .010 .00 
bitvector/jain_6_true-unreach-call.i 368    357    14999998464 696    677    14999998464 5.40 3.18 233029632 .118 .251 .084 .100 .029 .082 .049 .096 .024 .005 5.36 3.11 220246016 3 .043 .236 .111 .029 .016 .047 1 .089 .013 .028 .012 .00 
bitvector/jain_7_true-unreach-call.i 865    850    14999998464 954    908    14348861440 411 3.39  .009 95.2   126     8.29  663     7.81 5.37 236834816 .236 .398 .094 .224 .051 2.08  .125 .221 .047 .004 7.45 5.17 227180544 3 .041 .271 .090 .027 .020 .079 1 2.11  .011 .024 .007 .001
bitvector/modulus_true-unreach-call.i 458    444    1247305728 46 11.1   311     113     81.7  41.3  2317275136 1 .347 32.3   .031 4.57  .500 32.0   902    897    359145472 892     892     .079 892     892     1.96  892     892     .360 892     18.9  16.6  246931456 3 .249 11.6   .116 .234 6.79  11.2   2 2.13  .214 .231 .210 .002
bitvector/s3_clnt_1_true-unreach-call.BV.c.cil.c 28.3  20.4  587567104 15 3.60  6.81  5.53  79.6  40.3  1396162560 8 3.42  16.2   2.74  .805 7.92  19.6   902    888    1132036096 881     883     .762 881     786     1.39  880     881     1.55  785     87.0  78.6  828219392 109 1.47  48.7   1.45  1.30  19.2   43.4   4 26.3   1.01  1.27  .879 .119
bitvector/s3_clnt_2_true-unreach-call.BV.c.cil.c 21.1  13.5  468557824 15 3.54  2.91  2.79  48.9  24.9  961609728 7 3.26  7.14  2.94  .468 8.16  4.08  902    886    1397288960 877     880     1.10  877     689     2.49  875     877     1.55  688     52.6  41.9  552554496 106 .994 28.2   1.53  .792 4.34  24.3   1 10.0   .559 .754 .484 .065
bitvector/s3_clnt_3_true-unreach-call.BV.c.cil.c 22.1  14.2  481087488 15 3.54  3.37  2.92  52.6  26.7  970153984 7 3.21  6.70  2.44  .733 8.15  6.83  902    885    1273081856 877     880     .956 877     820     2.04  875     877     2.00  818     913    900    940695552
bitvector/s3_srvr_1_true-unreach-call.BV.c.cil.c 904    888    3313184768 69 9.75  305     546     59.2  30.0  1047638016 7 4.25  8.31  3.45  1.14  8.76  6.88  57.9  40.2  929566720 27.4   33.4   2.69  26.3   22.8   2.69  24.4   26.2   3.94  18.9   902    884    2168688640 595 2.82  622     2.24  2.63  161     610     0 258     2.11  2.56  1.73  .343
bitvector/s3_srvr_2_alt_true-unreach-call.BV.c.cil.c 905    886    3177459712 63 9.36  244     611     374    188    4419948544 28 9.18  .013 42.0   68.0   14.0   44.3   901    885    1535066112 863     867     1.56  862     653     15.3   861     862     2.37  651     913    902    820006912
bitvector/s3_srvr_2_true-unreach-call.BV.c.cil.c 906    885    3167014912 62 9.27  236     618     372    187    3721695232 27 9.22  .011 47.0   64.0   13.6   43.7   675    657    1295237120 647     652     2.38  647     580     .954 645     647     2.88  577     913    902    748576768
bitvector/s3_srvr_3_alt_true-unreach-call.BV.c.cil.c 905    888    3556110336 45 7.28  362     497     912    457    5845696512 28 7.29  417     122     162     15.1   135     64.4  49.8  849940480 38.9   44.3   2.34  38.5   35.9   1.50  36.9   38.4   6.58  29.3   902    887    1890832384 292 5.41  793     1.41  4.62  61.4   782     0 90.9   4.14  4.58  3.81  .299
bitvector/s3_srvr_3_true-unreach-call.BV.c.cil.c 904    888    3507056640 45 6.90  371     486     904    453    5506842624 27 7.31  .004 136     142     14.3   138     64.1  49.4  887455744 37.5   43.4   2.59  36.6   33.9   1.65  34.9   36.5   5.74  28.1   902    885    1779732480 352 4.18  724     1.52  3.56  115     712     0 158     2.94  3.51  2.53  .387
bitvector/soft_float_1_true-unreach-call.c.cil.c 285    254    3888402432 48 88.5   14.8   116     949    858    5020315648 22 24.4   .013 2.42  82.7   217     519     24.8  14.9  414203904 7.87  10.7   1.46  7.64  6.63  .908 6.66  7.53  6.59  .039 24.5  15.8  394366976 9 8.26  10.9   1.41  8.11  7.27  .067 9 1.86  7.29  8.04  7.24  .014
bitvector/soft_float_3_true-unreach-call.c.cil.c 289    258    4158345216 72 88.1   23.5   106     940    840    7494975488 32 7.44  .010 1.84  15.8   488     269     267    239    1832505344 204     224     6.54  201     137     11.7   169     201     49.3   87.7   85.4  63.3  877219840 285 14.1   30.3   6.79  13.5   12.1   4.38  9 29.7   11.7   13.2   11.3   .308
bitvector/soft_float_4_true-unreach-call.c.cil.c 908    888    1226805248 14 12.8   .968 853     867    804    1904013312 1 1.93  .005 .026 49.5   5.64  742     291    284    434761728 278     280     .955 278     277     .425 277     278     277     .00  415    408    420892672 0 403     405     1.06  403     401     .017 .074 401     402     401     .00 
bitvector-loops/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call.i 10.6  6.55 387854336 12 .976 .122 .170 26.9  15.9  621314048 12 .612 .010 .153 .221 3.55  3.99  902    892    1196449792 887     888     .740 887     654     1.70  885     886     .706 653     15.7  11.0  377040896 121 .128 3.91  .351 .077 .285 3.24  0 4.08  .022 .071 .014 .001
heap-manipulation/bubble_sort_linux_false-unreach-call.i 23.6  17.4  517013504 1 1.07  .176 51.8  30.0  933621760 1 3.02  .008 1.24  947    918    2861035520 673     676     1.05  673     111     191     84.3   673     45.9   65.5   914    904    2032943104
heap-manipulation/sll_to_dll_rev_false-unreach-call.i 11.9  7.49 394604544 1 .937 .121 39.6  20.4  884432896 1 2.37  .019 .677 904    889    962441216 878     880     1.11  878     868     3.05  874     878     12.6   855     903    891    995389440 850 .547 337     .995 .481 546     325     0 551     .265 .461 .213 .031
heap-manipulation/dancing_true-unreach-call.i 7.70 4.28 304799744 1 .826 9.62 5.17 331853824 1 .541 .009 7.13 4.01 325128192 .009 .221 .134 .001 .00  .001 .00  .00  6.27 3.53 233570304 0 .012 .245 .126 .004 .00  .006 .001 .00  .00 
list-properties/alternating_list_false-unreach-call.i 8.80 5.05 346804224 2 .903 .017 .033 20.1  10.8  490651648 2 1.26  .006 .032 .046 1.62  1.18  8.57 4.87 370561024 .264 .564 .176 .231 .107 .642 .145 .226 .077 .030 8.53 4.84 327966720 3 .538 .943 .217 .515 .061 .046 1 .235 .060 .512 .040 .009
list-properties/list_false-unreach-call.i 14.1  9.67 372002816 2 1.17  .014 .044 22.6  13.7  521592832 2 1.21  .007 .023 .061 2.20  .454 902    889    906043392 883     885     .612 883     874     1.41  880     883     9.13  865     902    893    753659904 4260 2.79  889     .676 2.74  2.00  885     32 .097 1.94  2.72  1.58  .342
list-properties/splice_false-unreach-call.i 10.4  6.23 354881536 2 1.08  .018 .026 36.8  19.4  843362304 2 .983 .010 .039 .049 2.37  9.76  904    890    1095319552 880     881     .554 880     857     2.68  876     880     5.66  852     910    902    839090176 518 1.77  890     .946 1.71  8.65  886     41 8.01  1.34  1.70  1.01  .266
list-properties/list_search_true-unreach-call.i 10.2  5.62 376107008 1 1.13  .039 50.1  26.6  1027362816 5 6.70  .009 3.40  .633 8.85  1.26  8.49 4.83 375275520 .030 .755 .626 .006 .00  .313 .001 .00  .00  9.15 5.15 350048256 0 .041 .345 .203 .003 .00  .003 .854 .003 .00  .00 
ldv-regression/ex3_forlist.c_true-unreach-call.i 6.57 3.74 282873856 6 .288 .046 .00  29.4  15.9  652824576 6 .414 .011 .061 .002 5.64  5.57  902    894    460513280 889     890     .411 889     888     .736 888     889     1.48  886     9.78 5.92 310722560 20 .805 1.74  .373 .345 .583 .317 4 1.17  .275 .336 .227 .033
ldv-regression/test_union.c_true-unreach-call_1.i 5.06 2.92 213839872 1 .079 .00  .00  6.80 3.76 304070656 1 .128 .488 .00  .00  5.23 3.09 249802752 .009 .065 .046 .001 .00  .056 .001 .00  .00  5.27 3.06 236916736 0 .007 .076 .044 .002 .00  .00  .074 .001 .00  .00 
ddv-machzwd/ddv_machzwd_all_false-unreach-call.i 23.8  12.8  525156352 11 2.03  .949 .152 902    771    7573921792 5 3.26  .006 .709 .002 620     133     26.3  15.9  532942848 5.13  6.78  1.15  5.02  3.98  2.39  3.99  4.99  2.41  1.57  22.9  13.5  513548288 57 .451 5.43  1.28  .387 .384 2.86  1 2.80  .232 .370 .222 .004
ddv-machzwd/ddv_machzwd_inw_false-unreach-call.i 22.2  11.9  514420736 11 2.08  1.20  .096 932    797    7539605504 6 2.95  .003 .737 .00  639     142     25.3  15.0  522768384 4.85  6.51  1.14  4.76  3.76  2.27  3.75  4.72  2.31  1.45  22.3  13.1  489627648 56 .264 4.85  1.34  .185 .147 2.80  0 2.52  .089 .182 .080 .003
ddv-machzwd/ddv_machzwd_outb_false-unreach-call.i 21.9  11.9  519303168 11 1.70  1.01  .090 937    800    7624826880 5 2.78  .006 .668 .00  646     138     22.8  14.1  525000704 4.49  6.00  1.08  4.43  3.56  2.21  3.57  4.40  2.18  1.38  23.2  13.6  503234560 56 .369 5.01  1.31  .302 .238 2.93  0 2.83  .177 .300 .170 .001
floats-cdfpl/newton_1_6_false-unreach-call.i 67.6  64.6  524525568 1 .112 29.8   71.4  67.3  556376064 1 .199 .005 30.9   910    905    14136164352 .012 .119 .076 .003 .00  902     .002 .00  .00  910    906    13768282112 0 .014 .162 .108 .002 .00  .00  902     .001 .00  .00 
floats-cdfpl/newton_2_6_false-unreach-call.i 394    390    765804544 1 .140 329     392    387    815443968 1 .233 .006 328     911    907    14765613056 .020 .157 .087 .002 .00  903     .00  .00  .00  911    907    14412693504 0 .025 .168 .094 .004 .00  .00  903     .001 .00  .00 
floats-cdfpl/newton_2_7_false-unreach-call.i 315    312    817139712 1 .138 102     289    284    853225472 1 .345 .013 91.8   909    905    12300140544 .021 .170 .107 .001 .00  901     .00  .00  .00  909    904    12253351936 0 .033 .164 .085 .013 .00  .00  901     .001 .00  .00 
floats-cdfpl/newton_3_7_false-unreach-call.i 984    978    1199562752 1 .156 7.78  972    965    1226461184 1 .237 .010 8.48  902    897    10023272448 .015 .175 .103 .003 .00  894     .001 .00  .00  902    898    10008207360 0 .025 .196 .088 .004 .00  .001 895     .001 .00  .00 
floats-cdfpl/newton_3_8_false-unreach-call.i 809    804    1201577984 1 .150 217     784    777    1236144128 1 .309 .005 207     909    904    10237014016 .020 .158 .096 .003 .00  900     .00  .00  .00  909    904    11497967616 0 .023 .182 .100 .004 .00  .00  901     .00  .00  .00 
floats-cdfpl/newton_2_3_true-unreach-call.i 902    898    671047680 1 .122 895     902    896    770252800 1 .204 .005 892     868    864    14999998464 878    874    14999998464
floats-cdfpl/newton_3_1_true-unreach-call.i 902    898    684789760 1 .150 895     903    895    794157056 1 .286 .008 892     843    838    14999998464 852    848    14999998464
floats-cdfpl/newton_3_3_true-unreach-call.i 902    897    677576704 1 .154 894     903    895    792219648 1 .199 .017 891     883    879    14999998464 911    906    14898487296 0 .013 .194 .112 .002 .00  .003 903     .001 .00  .00 
floats-cdfpl/sine_4_true-unreach-call.i 902    897    500084736 1 .097 894     902    896    617365504 1 .189 .004 892     635    631    14999998464 732    728    14999998464
floats-cdfpl/sine_5_true-unreach-call.i 902    897    466710528 1 .108 894     902    896    489074688 1 .174 .010 893     768    763    14999998464 732    729    14999998464
floats-cdfpl/sine_6_true-unreach-call.i 196    193    353603584 1 .100 .00  190     519    514    478429184 1 .216 .006 .001 509     902    897    6862270464 537     537     .051 537     537     357     537     537     537     .00  902    897    6844710912 0 555     555     .090 555     555     .00  339     555     555     555     .00 
floats-cdfpl/sine_8_true-unreach-call.i 902    897    434028544 1 .103 894     902    896    534360064 1 .189 .017 893     728    724    14999998464 738    734    14999998464
floats-cdfpl/square_4_true-unreach-call.i 902    897    540983296 1 .120 894     635    630    523935744 1 .146 .011 .00  624     896    892    14999998464 825    821    14999998464
floats-cdfpl/square_5_true-unreach-call.i 902    897    486940672 1 .108 894     902    896    600002560 1 .197 .022 892     848    844    14999998464 858    854    14999998464
floats-cdfpl/square_6_true-unreach-call.i 345    342    404242432 1 .110 .00  338     545    540    529575936 1 .174 .014 .00  535     902    897    12669632512 237     237     .048 237     237     658     237     237     237     .00  902    897    12661243904 0 216     216     .082 216     216     .001 678     216     216     216     .00 
floats-cdfpl/square_7_true-unreach-call.i 902    897    478400512 1 .111 894     588    583    583217152 1 .185 .010 .001 578     631    628    5397585920 310     310     .094 310     310     315     310     310     310     .00  637    633    5386371072 0 317     317     .092 317     317     .001 314     317     317     317     .00 
floats-cbmc-regression/float-flags-simp1_true-unreach-call.i 243    238    790953984 205    183    2680135680 1 2.14  .014 16.4   16.7  11.9  468082688 4.47  4.86  .217 4.45  3.66  2.23  4.09  4.43  3.66  .006 17.1  12.1  437891072 0 4.57  5.03  .241 4.53  3.69  .001 2.37  3.71  4.53  3.69  .005
floats-cbmc-regression/float-no-simp1_true-unreach-call.i 4.88 2.90 217112576 1 .076 .00  .00  7.09 3.94 310530048 1 .135 .493 .00  .001 4.84 2.78 217731072 .006 .083 .052 .001 .00  .032 .001 .00  .00  5.16 2.91 208855040 0 .005 .091 .070 .002 .00  .00  .026 .00  .00  .00 
floats-cbmc-regression/float-no-simp3_true-unreach-call.i 4.81 2.79 215146496 1 .058 .00  .00  6.57 3.63 313597952 1 .147 .008 .00  .001 4.92 2.86 225447936 .007 .077 .057 .001 .00  .037 .001 .00  .00  4.91 2.82 212967424 0 .008 .055 .030 .001 .00  .00  .024 .00  .00  .00 
floats-cbmc-regression/float-to-double2_true-unreach-call.i 4.93 2.88 214077440 1 .056 .00  .00  6.27 3.46 295063552 1 .135 .511 .00  .00  5.14 3.06 251691008 .011 .075 .049 .004 .00  .060 .003 .00  .00  5.31 3.13 244977664 0 .015 .102 .069 .002 .00  .00  .062 .001 .00  .00 
floats-cbmc-regression/float-zero-sum1_true-unreach-call.i 5.33 3.11 216961024 1 .093 .00  .00  6.80 3.76 308273152 1 .119 .449 .00  .00  6.27 3.66 318410752 .010 .121 .065 .001 .00  .056 .00  .00  .00  5.35 3.13 236863488 0 .025 .129 .061 .004 .00  .001 .049 .001 .00  .00 
floats-cbmc-regression/float12_true-unreach-call.i 5.03 2.94 226234368 1 .086 .00  .015 6.94 3.83 306778112 1 .189 .546 .00  .048 4.98 2.89 219967488 .007 .100 .079 .002 .00  .048 .00  .00  .00  5.09 2.93 207368192 0 .005 .111 .079 .002 .00  .00  .060 .001 .00  .00 
floats-cbmc-regression/float18_true-unreach-call.i 8.66 4.73 327827456 10 .904 .003 .00  58.9  29.8  1568251904 10 .926 19.9   .031 .00  .848 23.0   8.03 4.67 347975680 .418 .616 .096 .408 .362 .203 .366 .408 .346 .016 7.08 4.24 254074880 1 .409 .732 .079 .400 .340 .119 0 .197 .343 .398 .327 .012
floats-cbmc-regression/float1_true-unreach-call.i 5.06 2.95 214319104 1 .079 .00  .00  6.63 3.68 305197056 1 .110 .019 .00  .001 5.14 2.94 220528640 .019 .106 .074 .002 .00  .027 .001 .00  .00  4.99 2.89 208527360 0 .006 .085 .058 .002 .00  .00  .048 .001 .00  .00 
floats-cbmc-regression/float22_true-unreach-call.i 5.55 3.22 220651520 1 .219 .00  .006 7.40 4.07 307412992 1 .414 .575 .00  .008 6.78 3.87 350011392 .055 .243 .118 .030 .002 .156 .014 .029 .002 .00  6.64 3.74 317005824 0 .029 .225 .123 .012 .00  .002 .179 .002 .010 .00  .00 
floats-cbmc-regression/float3_true-unreach-call.i 5.12 3.02 237334528 1 .105 .00  .201 7.59 4.14 334196736 1 .208 .011 .00  .495 5.36 3.28 235450368 .011 .146 .095 .002 .00  .241 .001 .00  .00  5.48 3.19 227106816 0 .013 .125 .073 .003 .00  .00  .242 .002 .00  .00 
floats-cbmc-regression/float6_true-unreach-call.i 5.26 3.04 223404032 7.23 3.95 315949056 5.42 3.23 233037824 .254 .384 .069 .236 .137 .040 .150 .235 .137 .00  5.42 3.19 218406912 0 .252 .421 .091 .231 .133 .001 .049 .140 .230 .133 .00 
floats-cbmc-regression/float7_true-unreach-call.i 6.14 3.52 330915840 1 .111 .009 6.37 3.54 301195264 1 .155 .453 .00  .00  5.52 3.24 252059648 .006 .124 .103 .001 .00  .074 .001 .00  .00  5.30 3.08 242135040 0 .007 .120 .095 .002 .00  .00  .072 .00  .00  .00 
float-benchs/inv_square_int_true-unreach-call.c 5.10 3.01 230760448 1 .103 .00  .091 7.45 4.11 311652352 1 .184 .609 .00  .258 5.73 3.30 232124416 .010 .120 .078 .002 .00  .127 .00  .00  .00  5.06 2.97 219521024 0 .010 .138 .072 .001 .00  .002 .125 .001 .00  .00 
float-benchs/sin_interpolated_index_true-unreach-call.c 168    164    472367104 1 1.01  1.78  185    173    637992960 1 1.19  .006 6.23  5.63 3.36 250118144 .014 .099 .054 .002 .00  .276 .001 .00  .00  5.64 3.35 239382528 0 .020 .116 .064 .004 .00  .001 .290 .001 .00  .00 
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-termination.cil.c 42.4  30.1  771203072 1 3.23  .265 104    52.6  1623707648 1 9.61  .005 6.36  24.4  16.2  724299776 3.93  5.96  1.13  3.82  2.89  .951 2.99  3.80  2.88  .015 25.0  16.4  700706816 0 3.75  5.40  .754 3.58  2.64  .013 1.72  2.72  3.56  2.63  .015
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-termination.cil.c 913    891    9991610368 38.0  19.5  913899520 1 5.80  3.32  .106 3.71  .764 .507 14.9  9.16 436019200 3.99  5.05  .505 3.90  2.99  .459 3.04  3.88  2.99  .00  14.8  9.05 421445632 0 4.42  5.48  .486 4.35  2.98  .009 .066 3.02  4.33  2.98  .00 
ssh-simplified/s3_srvr_1_true-unreach-call.cil.c 906    889    3821019136 70 9.83  386     463     44.2  22.5  893550592 4 3.47  4.34  1.48  .234 6.75  4.61  38.6  25.8  816431104 14.9   20.5   2.50  14.5   12.5   1.49  13.1   14.4   3.02  9.48  267    253    1111613440 266 2.34  203     1.53  1.73  23.6   196     1 46.3   1.38  1.70  1.19  .185
ssh-simplified/s3_srvr_1a_true-unreach-call.cil.c 909    889    5323636736 256 9.85  695     133     11.7  6.28 383250432 2 .290 .006 .006 .00  1.46  .155 19.9  10.6  449691648 3.46  6.92  1.37  3.13  1.74  .259 2.08  3.07  1.08  .656 376    361    2209509376 1087 2.03  200     .931 1.86  78.9   196     1 158     1.50  1.82  1.30  .160
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c 913    898    11869798400 8.47 4.63 321437696 1 .261 .012 .003 .00  7.40 4.16 334725120 .351 .777 .176 .274 .097 .083 .129 .264 .074 .023 6.65 3.79 235266048 9 .171 .660 .175 .113 .105 .155 1 .134 .065 .105 .047 .011
ssh-simplified/s3_srvr_2_true-unreach-call.cil.c 906    886    3485147136 72 9.79  370     478     52.3  26.6  986558464 6 3.72  .008 2.40  .665 8.43  5.79  58.6  43.4  982581248 26.8   34.1   3.27  26.4   22.2   5.08  24.1   26.3   4.48  17.7   417    403    1073676288 222 1.67  362     1.39  1.48  23.0   355     1 37.6   1.11  1.44  .948 .147
ssh-simplified/s3_srvr_3_true-unreach-call.cil.c 905    885    3520495616 72 9.92  368     478     53.4  27.2  1391304704 6 3.58  7.33  2.49  .638 7.88  6.39  38.4  24.3  818737152 12.9   19.0   2.39  12.3   10.1   1.23  10.7   12.2   3.17  6.90  913    897    1569230848
ssh-simplified/s3_srvr_4_true-unreach-call.cil.c 906    888    3467288576 72 9.93  374     476     54.5  27.7  990957568 6 3.71  7.37  2.26  .604 7.26  8.48  42.6  29.4  807534592 17.5   23.3   2.26  17.1   14.1   2.20  15.4   17.0   3.33  10.8   279    268    14999998464
ssh-simplified/s3_srvr_6_true-unreach-call.cil.c 906    888    3463016448 68 11.0   367     482     79.4  40.2  1366609920 9 5.95  .013 6.24  2.45  10.5   8.60  132    113    1172041728 96.7   104     3.42  96.2   81.9   4.31  93.6   96.0   4.55  77.3   913    896    1869611008
ssh-simplified/s3_srvr_7_true-unreach-call.cil.c 906    887    3470962688 71 9.70  365     485     69.5  35.3  1414971392 9 4.44  .006 4.29  2.25  9.37  9.22  120    105    944758784 91.1   98.2   3.27  90.5   77.6   2.37  88.2   90.4   4.33  73.2   902    884    2955669504 465 2.86  506     1.60  2.65  282     490     0 374     2.17  2.60  1.60  .522
ssh-simplified/s3_srvr_8_true-unreach-call.cil.c 905    885    3436699648 70 9.47  358     489     50.0  25.4  905994240 5 3.75  5.35  2.57  .681 6.87  6.00  37.5  23.6  813256704 12.0   18.5   2.75  11.6   9.66  1.08  10.2   11.5   2.88  6.78  567    550    1604345856 398 2.08  422     1.55  1.88  79.2   413     1 124     1.47  1.83  1.28  .177
locks/test_locks_10_true-unreach-call.c 649    632    14999998464 15.6  8.33 451035136 1 .866 1.69  .067 .125 1.39  1.03  5.84 3.36 238678016 .125 .400 .151 .082 .033 .070 .042 .076 .029 .004 5.87 3.38 223547392 0 .122 .505 .226 .087 .031 .002 .065 .037 .085 .026 .005
locks/test_locks_11_true-unreach-call_false-termination.c 659    643    14999998464 16.0  8.41 468131840 1 .831 1.74  .051 .065 1.34  1.35  6.10 3.42 236953600 .154 .433 .151 .107 .047 .081 .061 .102 .035 .012 6.20 3.50 229249024 0 .185 .507 .174 .137 .040 .001 .080 .058 .125 .036 .004
locks/test_locks_12_true-unreach-call_false-termination.c 654    639    14999998464 17.2  9.02 513630208 1 .779 2.03  .244 .067 1.41  1.45  6.27 3.59 237793280 .180 .516 .176 .144 .088 .078 .096 .138 .075 .013 6.28 3.58 228749312 0 .171 .574 .220 .109 .049 .002 .066 .054 .103 .042 .007
locks/test_locks_13_true-unreach-call.c 663    646    14999998464 16.2  8.40 495742976 1 .793 1.80  .140 .200 1.44  1.08  6.57 3.75 241635328 .178 .521 .175 .104 .037 .078 .045 .096 .032 .005 6.53 3.71 231137280 0 .144 .566 .261 .093 .040 .004 .079 .045 .083 .034 .006
locks/test_locks_14_true-unreach-call.c 652    638    14999998464 17.4  9.13 482680832 1 1.08  1.69  .036 .054 1.78  1.37  6.02 3.43 237854720 .153 .516 .165 .110 .044 .076 .060 .102 .036 .008 6.35 3.59 232554496 0 .205 .628 .217 .154 .060 .005 .077 .071 .143 .050 .010
locks/test_locks_15_true-unreach-call_false-termination.c 658    643    14999998464 17.2  8.96 485249024 1 1.23  1.80  .119 .040 1.47  .929 6.23 3.59 244670464 .161 .556 .178 .117 .049 .083 .058 .112 .040 .009 6.66 3.77 238571520 0 .237 .657 .217 .197 .091 .001 .083 .115 .191 .076 .015
locks/test_locks_5_true-unreach-call_false-termination.c 641    628    14999998464 12.8  6.79 453636096 1 .686 1.38  .062 .053 .692 .824 5.55 3.23 231350272 .079 .264 .093 .055 .018 .043 .022 .051 .016 .002 5.89 3.36 218292224 0 .088 .310 .135 .056 .020 .001 .051 .024 .053 .018 .002
locks/test_locks_6_true-unreach-call_false-termination.c 645    627    14999998464 13.5  7.15 395534336 1 .492 1.55  .017 .014 1.10  .944 5.81 3.29 227471360 .096 .304 .099 .071 .019 .048 .027 .067 .015 .004 5.76 3.27 220053504 0 .099 .349 .138 .071 .020 .001 .047 .024 .067 .018 .002
locks/test_locks_7_true-unreach-call_false-termination.c 652    637    14999998464 11.4  6.06 395800576 1 .566 1.15  .070 .016 .875 .347 5.68 3.25 233824256 .095 .298 .099 .065 .023 .048 .028 .057 .021 .002 5.62 3.24 221454336 0 .098 .365 .167 .059 .023 .00  .055 .029 .058 .021 .002
locks/test_locks_8_true-unreach-call_false-termination.c 642    627    14999998464 14.8  7.83 441122816 1 .720 1.82  .101 .083 1.11  1.15  5.97 3.41 235732992 .116 .360 .128 .079 .027 .067 .035 .068 .025 .002 5.94 3.43 226258944 0 .103 .358 .140 .064 .025 .008 .052 .033 .062 .023 .002
locks/test_locks_9_true-unreach-call.c 648    630    14999998464 14.7  7.70 474624000 1 .664 1.84  .064 .022 1.10  1.55  5.96 3.42 232099840 .129 .372 .125 .078 .033 .057 .039 .075 .030 .003 5.90 3.40 227221504 0 .102 .406 .160 .069 .029 .004 .063 .033 .066 .026 .003
ntdrivers/cdaudio_false-unreach-call.i.cil.c 307    276    14999998464 902    452    4727717888 29 2.15  388     .285 .001 85.9   344     902    854    3574890496 684     792     64.7   682     524     53.9   531     681     520     4.45  902    861    1768964096 2444 558     755     65.0   555     491     85.7   0 98.0   455     555     430     22.9  
ntdrivers/diskperf_false-unreach-call.i.cil.c 38.8  27.3  703406080 1 3.17  2.31  922    844    4015673344 1 8.38  801     12.8   37.1  26.6  719106048 12.9   14.8   1.17  12.8   11.2   2.76  11.3   12.7   10.3   .901 39.2  27.8  717209600 0 13.5   15.8   1.13  13.4   11.7   .011 2.89  11.7   13.4   10.7   1.02 
ntdrivers/parport_false-unreach-call.i.cil.c 136    108    1224945664 1 10.0   10.4   399    200    4380504064 1 14.1   135     7.34  27.4  15.6  630255616 5.04  7.24  1.38  4.88  4.12  .220 4.18  4.86  4.00  .116 30.1  17.3  606674944 0 6.42  8.63  1.39  6.32  5.47  .008 .122 5.54  6.30  5.32  .155
ntdrivers/diskperf_true-unreach-call.i.cil.c 904    892    2651017216 11 3.37  881     .300 142    71.7  2223505408 1 8.50  35.7   43.0   3.99  .460 2.32  24.6  16.1  630484992 8.65  10.4   .989 8.54  7.07  .233 7.14  8.52  7.04  .029 25.3  16.2  605614080 0 8.85  11.0   1.47  8.73  7.20  .016 .224 7.27  8.71  7.17  .029
ntdrivers/floppy2_true-unreach-call.i.cil.c 908    875    6434738176 48 21.5   728     74.0   903    453    6218854400 2 19.2   380     7.31  5.71  300     84.8   125    92.6  1886552064 56.6   69.7   6.15  56.2   47.1   6.69  47.1   56.0   46.7   .333 112    83.0  1783320576 54 36.9   54.5   5.33  36.6   31.4   6.21  51 13.2   31.4   36.6   31.2   .210
ntdrivers/parport_true-unreach-call.i.cil.c 908    869    5164273664 3 104     737     13.4   903    452    5789540352 1 14.4   .005 22.1   2.49  27.1  15.2  643039232 5.14  7.16  1.28  5.02  4.29  .172 4.35  4.99  4.17  .119 29.7  17.1  613220352 0 6.20  8.48  1.48  6.11  5.21  .008 .198 5.31  6.08  5.07  .147
ssh/s3_clnt.blast.01_true-unreach-call.i.cil.c 94.9  85.9  14999998464 79.3  40.2  1554034688 7 9.97  .005 8.67  4.75  6.57  3.09  98.7  90.7  14999998464 102    93.6  14999998464
ssh/s3_clnt.blast.02_true-unreach-call.i.cil.c 100    91.7  14999998464 79.2  40.1  1256198144 7 10.4   .004 9.23  4.82  6.61  2.36  101    92.7  14999998464 95.8  88.1  14999998464
ssh/s3_clnt.blast.03_true-unreach-call.i.cil.c 94.0  86.0  14999998464 78.5  39.8  1406685184 7 9.66  .005 9.27  4.72  6.71  2.80  96.6  88.7  14999998464 94.7  86.5  14999998464
ssh/s3_clnt.blast.04_true-unreach-call.i.cil.c 97.0  88.7  14999998464 83.0  42.0  1282117632 7 10.4   .005 10.2   5.00  6.34  3.00  95.4  87.3  14999998464 101    92.5  14999998464
ssh/s3_srvr.blast.01_true-unreach-call.i.cil.c 103    94.1  14999998464 62.5  31.8  1044361216 5 8.08  .005 6.57  2.62  6.03  2.10  105    95.7  14999998464 103    94.9  14999998464
ssh/s3_srvr.blast.02_true-unreach-call.i.cil.c 97.2  89.0  14999998464 68.9  34.9  1052884992 5 11.4   .011 6.21  2.23  6.97  1.73  92.4  84.9  14999998464 98.6  91.4  14999998464
ssh/s3_srvr.blast.06_true-unreach-call.i.cil.c 325    305    14999998464 126    63.6  2076733440 11 11.3   .005 17.4   9.39  9.43  8.80  267    250    14999998464 902    884    1698611200 171 2.97  799     2.87  2.79  42.8   788     0 81.2   2.43  2.75  2.12  .294
ssh/s3_srvr.blast.07_true-unreach-call.i.cil.c 104    94.9  14999998464 99.6  50.4  1555443712 10 10.5   .010 12.1   8.64  7.54  4.22  106    96.6  14999998464 109    99.7  14999998464
ssh/s3_srvr.blast.08_true-unreach-call.i.cil.c 144    129    14999998464 73.8  37.4  1140711424 6 10.3   .012 5.54  6.02  6.63  2.67  138    123    14999998464 167    154    14999998464
ssh/s3_srvr.blast.09_true-unreach-call.i.cil.c 103    93.8  14999998464 104    52.8  1625608192 10 10.4   .010 14.1   8.52  8.19  4.15  109    99.2  14999998464 104    95.1  14999998464
ssh/s3_srvr.blast.10_true-unreach-call.i.cil.c 110    100    14999998464 64.4  32.7  1031991296 5 8.54  .005 6.69  2.29  6.71  2.26  111    101    14999998464 106    95.9  14999998464
ssh/s3_srvr.blast.11_true-unreach-call.i.cil.c 104    94.6  14999998464 110    55.5  1726173184 11 10.8   .013 12.5   10.3   8.64  5.89  118    108    14999998464 108    98.5  14999998464
ssh/s3_srvr.blast.12_true-unreach-call.i.cil.c 153    138    14999998464 115    58.5  1875525632 11 11.9   .013 12.5   10.9   9.35  6.37  152    137    14999998464 179    164    14999998464
ssh/s3_srvr.blast.13_true-unreach-call.i.cil.c 102    93.1  14999998464 99.1  50.3  1663647744 10 10.0   .018 11.5   8.38  8.44  4.81  108    97.7  14999998464 101    92.0  14999998464
ssh/s3_srvr.blast.14_true-unreach-call.i.cil.c 200    181    14999998464 115    58.3  1882849280 11 11.9   .010 14.9   8.62  8.89  6.37  180    164    14999998464 262    244    14999998464
ssh/s3_srvr.blast.15_true-unreach-call.i.cil.c 171    155    14999998464 76.0  38.5  1187954688 6 10.4   .005 7.44  3.54  7.44  3.06  166    152    14999998464 913    898    880152576
ssh/s3_srvr.blast.16_true-unreach-call.i.cil.c 242    226    14999998464 124    62.6  1845657600 11 12.5   .013 14.2   10.4   9.86  7.83  215    199    14999998464 913    897    959377408
eca-rers2012/Problem05_label01_false-unreach-call.c 922    649    11192107008 903    452    5262286848 6 66.6   .004 131     16.6   102     98.7   920    618    11626651648 474    434    14999998464
eca-rers2012/Problem05_label13_false-unreach-call.c 919    649    11349688320 905    453    5321646080 6 65.1   .013 58.0   17.1   105     169     922    604    11422384128 419    380    14999998464
eca-rers2012/Problem06_label04_false-unreach-call.c 927    607    11102339072 931    467    5188784128 6 70.4   .003 22.4   85.5   90.8   36.5   921    611    11414155264 347    305    14999998464
eca-rers2012/Problem06_label05_false-unreach-call.c 922    591    11114921984 1000    513    7787139072 6 69.7   368     14.3   75.4   91.7   26.5   921    578    11817652224 301    251    14999998464
eca-rers2012/Problem06_label12_false-unreach-call.c 920    583    11122200576 1000    511    7888125952 6 69.7   .012 34.8   53.2   83.8   27.3   921    586    11507511296 300    253    14999998464
eca-rers2012/Problem06_label20_false-unreach-call.c 920    584    11067252736 955    487    5231652864 6 75.3   .003 59.3   59.7   101     33.8   920    572    11414777856 363    316    14999998464
eca-rers2012/Problem06_label21_false-unreach-call.c 920    590    11108159488 1000    511    7606448128 6 70.7   .006 35.0   42.1   91.5   35.7   922    573    11325345792 381    331    14999998464
eca-rers2012/Problem06_label24_false-unreach-call.c 925    586    11108454400 942    474    5254770688 6 70.0   .005 28.8   97.7   89.5   34.8   921    577    11983560704 342    301    14999998464
eca-rers2012/Problem06_label29_false-unreach-call.c 920    592    11085336576 934    468    5292740608 6 69.8   .005 18.0   74.9   91.8   35.0   921    590    11612905472 385    352    14999998464
eca-rers2012/Problem06_label44_false-unreach-call.c 919    581    11035381760 936    469    5309243392 6 69.6   .005 28.8   58.1   92.5   58.4   921    584    11209420800 305    255    14999998464
eca-rers2012/Problem10_label46_false-unreach-call.c 17.8  9.64 482033664 2 3.50  .114 .110 69.1  35.1  1356312576 2 6.70  8.86  1.52  .541 10.8   4.23  1000    988    7210852352 902    894    702091264 1 2.45  890     .915 2.36  1.61  887     0 .037 1.61  2.35  1.47  .135
eca-rers2012/Problem13_label30_false-unreach-call.c 893    739    14999998464 908    458    11116781568 2 11.0   .005 22.5   .105 30.8   361     905    859    4524732416 804     828     15.9   802     800     18.9   797     802     24.7   775     905    876    3884953600 1 36.6   863     8.13  36.1   32.6   815     0 .153 32.6   36.0   19.8   12.7  
eca-rers2012/Problem19_label10_false-unreach-call.c 915    883    12440457216 5 29.0   185     653     578    290    14999998464 908    868    6827425792 800     826     16.7   799     794     30.2   789     799     83.4   710     907    872    6438608896 1 52.6   859     10.5   52.1   46.9   791     0 .197 46.9   52.0   35.8   11.0  
eca-rers2012/Problem19_label11_false-unreach-call.c 465    437    14999998464 779    390    15000064000 909    867    6906322944 793     820     17.7   792     788     33.2   783     792     48.5   740     907    879    6420561920 1 50.7   867     9.90  50.2   45.5   802     0 .095 45.5   50.1   34.6   10.9  
eca-rers2012/Problem19_label14_false-unreach-call.c 917    882    12503326720 5 29.1   290     540     544    273    14999998464 907    863    6868348928 782     809     17.2   781     775     40.1   770     780     69.3   705     907    874    6482018304 1 52.2   861     12.8   51.7   46.8   790     0 .107 46.8   51.5   35.2   11.5  
eca-rers2012/Problem19_label17_false-unreach-call.c 457    426    14999998464 593    297    14999998464 908    863    6904406016 786     816     19.2   785     778     33.7   774     784     82.0   696     908    875    6448971776 1 52.0   862     12.5   51.5   46.6   792     0 .095 46.6   51.4   35.2   11.5  
eca-rers2012/Problem19_label18_false-unreach-call.c 625    595    14999998464 641    321    14999998464 908    866    6893477888 796     823     17.2   795     789     30.5   784     794     64.4   724     907    877    6429650944 1 50.2   863     10.7   49.7   45.1   798     0 .715 45.1   49.5   34.5   10.6  
eca-rers2012/Problem19_label19_false-unreach-call.c 537    509    14999998464 774    388    14999998464 908    869    6897790976 789     820     20.1   788     778     36.5   773     788     93.8   684     907    870    6462750720 1 42.6   856     12.6   42.0   37.1   795     0 .650 37.1   41.9   30.4   6.74 
eca-rers2012/Problem19_label21_false-unreach-call.c 472    443    14999998464 894    448    15002103808 908    870    6841987072 797     822     16.3   796     790     34.7   785     795     65.3   725     907    875    6447456256 1 42.3   862     12.7   41.7   37.0   802     0 .144 37.0   41.6   30.2   6.76 
eca-rers2012/Problem19_label22_false-unreach-call.c 458    427    14999998464 672    337    14999998464 908    869    6913789952 797     823     16.7   796     794     32.6   789     796     45.3   749     907    871    6450597888 1 42.3   857     11.8   41.6   36.9   798     0 .781 36.9   41.5   30.4   6.47 
eca-rers2012/Problem19_label26_false-unreach-call.c 697    669    14999998464 544    273    14999998464 908    863    6871822336 789     816     17.6   789     786     32.7   780     788     79.5   706     907    871    6470356992 1 61.1   857     12.0   60.6   55.6   779     0 .728 55.6   60.5   38.2   17.4  
eca-rers2012/Problem19_label27_false-unreach-call.c 349    320    14999998464 616    309    14999998464 908    862    6850928640 786     812     16.3   785     782     35.8   777     784     62.5   719     907    869    6482817024 1 64.2   855     12.4   63.7   58.4   773     0 .762 58.4   63.6   39.9   18.5  
eca-rers2012/Problem19_label28_false-unreach-call.c 413    384    14999998464 566    284    14999998464 908    862    6889295872 794     820     16.6   792     787     28.7   782     792     64.5   722     907    872    6467985408 1 62.2   860     11.3   61.8   56.1   782     0 .170 56.0   61.6   38.6   17.5  
eca-rers2012/Problem19_label29_false-unreach-call.c 566    537    14999998464 647    324    15002099712 904    861    13855383552 582     611     19.5   579     568     236     568     579     63.4   505     907    878    6425280512 1 49.8   865     10.2   49.4   44.8   800     0 .104 44.8   49.3   34.2   10.6  
eca-rers2012/Problem19_label31_false-unreach-call.c 354    323    14999998464 907    457    9462697984 1 8.28  393     .158 .00  29.5   383     908    858    6895054848 777     807     19.0   776     770     36.6   765     775     60.2   710     907    876    6438391808 1 52.5   863     11.3   52.0   47.1   795     0 .084 47.1   51.9   35.4   11.7  
eca-rers2012/Problem19_label32_false-unreach-call.c 588    559    14999998464 556    279    14999998464 908    866    6931230720 794     822     18.1   793     787     30.7   782     793     59.5   728     907    871    6455574528 1 53.4   858     11.8   52.7   47.8   788     0 .107 47.8   52.6   36.6   11.2  
eca-rers2012/Problem19_label41_false-unreach-call.c 333    302    14999998464 697    349    14999998464 908    859    6906146816 780     810     18.8   778     772     34.9   767     778     66.8   705     907    872    6448545792 1 42.4   860     11.6   41.9   36.7   801     0 .126 36.7   41.8   30.1   6.55 
eca-rers2012/Problem19_label42_false-unreach-call.c 388    359    14999998464 513    257    14999998464 908    865    6912225280 790     819     17.6   789     783     32.2   778     789     57.5   726     907    872    6438490112 1 43.2   858     11.9   42.7   37.6   799     0 .091 37.6   42.6   31.0   6.65 
eca-rers2012/Problem19_label43_false-unreach-call.c 395    366    14999998464 626    313    14999998464 908    865    6852128768 792     819     17.3   791     785     32.8   780     791     62.9   722     907    877    6432395264 1 41.3   865     10.7   40.7   35.4   809     0 .104 35.4   40.6   28.9   6.50 
eca-rers2012/Problem19_label47_false-unreach-call.c 317    290    14999998464 575    288    15002107904 908    857    6934241280 782     811     18.2   780     777     32.4   772     780     58.7   718     907    870    6461026304 1 61.5   857     12.5   61.0   55.8   778     0 .114 55.8   60.9   38.4   17.4  
eca-rers2012/Problem19_label50_false-unreach-call.c 916    879    12540141568 5 29.6   146     683     526    264    14999998464 908    864    6959771648 779     817     24.3   777     763     32.8   758     777     120     643     907    869    6474661888 1 54.6   857     12.8   54.0   48.3   784     0 .088 49.0   53.9   37.0   11.3  
eca-rers2012/Problem19_label51_false-unreach-call.c 367    339    14999998464 907    457    9484447744 1 8.21  .005 .109 .00  32.7   379     908    859    6938570752 779     809     19.0   777     771     35.3   766     777     65.3   706     907    871    6443773952 1 53.4   857     11.0   52.9   48.0   788     0 .727 48.0   52.7   36.5   11.5  
eca-rers2012/Problem19_label53_false-unreach-call.c 329    301    14999998464 908    457    9465745408 1 7.95  .005 .231 .00  28.3   386     909    856    6946492416 777     808     19.5   775     771     33.9   766     775     54.4   717     907    873    6476922880 1 51.8   859     12.1   51.3   46.4   790     0 .744 46.4   51.2   35.0   11.4  
eca-rers2012/Problem19_label55_false-unreach-call.c 427    395    14999998464 667    334    14999998464 909    863    6912204800 778     816     23.5   777     762     32.8   757     776     136     625     907    874    6477164544 1 52.3   860     12.8   51.8   46.9   790     0 .087 46.9   51.7   35.3   11.6  
eca-rers2012/Problem19_label58_false-unreach-call.c 349    318    14999998464 593    297    14999998464 908    861    6908207104 788     817     18.1   787     781     30.0   776     787     74.7   706     907    875    6447656960 1 50.9   862     12.1   50.4   45.6   794     0 .090 45.6   50.3   34.6   11.0  
eca-rers2012/Problem19_label59_false-unreach-call.c 467    437    14999998464 589    295    15000010752 909    859    6948491264 785     813     17.5   784     780     32.8   775     784     46.1   734     907    880    6414094336 1 40.3   869     9.30  39.9   35.2   815     0 .116 35.2   39.7   28.9   6.28 
eca-rers2012/Problem01_label00_true-unreach-call.c 903    885    2042499072 55 31.2   813     23.7   46.5  23.6  867082240 1 3.76  4.55  .104 .00  10.0   .752 31.8  16.4  705261568 2.67  11.7   6.15  1.64  .828 .202 .991 1.53  .405 .423 27.6  14.4  559394816 10 .983 8.41  3.73  .704 .407 1.31  1 1.32  .273 .636 .238 .023
eca-rers2012/Problem01_label01_true-unreach-call.c 903    885    1866833920 52 29.0   818     21.1   45.3  23.1  851783680 1 3.64  4.41  .073 .001 9.76  .438 32.0  17.0  778547200 2.15  12.1   6.10  1.56  .733 .440 .875 1.45  .376 .357 24.1  12.8  511995904 6 .699 7.14  3.44  .479 .267 .820 1 .684 .204 .405 .191 .011
eca-rers2012/Problem01_label02_true-unreach-call.c 903    885    1967366144 52 30.3   817     21.1   44.7  22.7  855138304 1 2.87  4.05  .111 .00  10.2   .527 33.6  17.8  839970816 2.55  12.7   5.90  1.86  .872 .759 .980 1.70  .451 .421 28.5  14.8  567476224 10 .995 9.21  4.83  .716 .516 1.44  1 .911 .378 .656 .339 .015
eca-rers2012/Problem01_label03_true-unreach-call.c 904    885    2045730816 53 29.4   816     22.5   51.6  26.3  854474752 1 4.04  .006 .126 .001 10.8   .207 33.3  18.2  804229120 2.79  13.4   5.77  2.20  1.12  .584 1.21  2.02  .595 .529 24.3  12.9  517443584 6 .712 7.40  4.19  .473 .292 .792 1 .636 .228 .415 .204 .020
eca-rers2012/Problem01_label04_true-unreach-call.c 903    885    1884061696 54 29.6   814     22.9   45.6  23.1  859930624 1 3.67  4.51  .075 .00  10.2   .699 32.8  16.9  755929088 2.19  11.8   6.04  1.62  .821 .373 .923 1.52  .386 .435 25.6  13.4  539123712 10 .902 7.79  3.69  .657 .366 1.09  1 .822 .300 .574 .267 .017
eca-rers2012/Problem01_label05_true-unreach-call.c 904    885    1921519616 52 29.2   818     20.7   44.8  22.7  862662656 1 3.63  4.11  .201 .00  9.67  .441 36.6  19.0  823078912 2.94  13.5   5.20  2.24  1.02  .860 1.20  2.10  .525 .500 27.7  14.4  573054976 10 .973 8.73  4.67  .774 .494 1.16  1 1.16  .373 .693 .307 .044
eca-rers2012/Problem01_label06_true-unreach-call.c 903    885    2065055744 54 29.8   814     22.8   50.3  25.6  841576448 1 4.35  5.09  .168 .00  9.04  .430 30.2  15.9  661536768 1.91  11.0   5.37  1.37  .624 .220 .679 1.25  .297 .327 24.5  12.7  521850880 6 .788 7.39  4.09  .540 .254 .787 1 .412 .235 .474 .190 .009
eca-rers2012/Problem01_label07_true-unreach-call.c 904    885    1890193408 51 28.8   819     20.6   47.5  24.1  874115072 1 3.39  4.40  .398 .00  10.1   .542 32.2  16.5  692576256 2.01  11.2   5.91  1.54  .834 .201 .945 1.43  .367 .467 25.4  13.3  546557952 6 .921 8.13  4.31  .650 .339 .863 1 .731 .260 .606 .247 .010
eca-rers2012/Problem01_label08_true-unreach-call.c 903    882    1844420608 52 30.1   813     21.1   45.6  23.2  850604032 1 3.71  .005 .067 .00  9.06  .914 38.3  20.7  888254464 3.60  15.1   5.75  2.93  1.39  1.28  1.59  2.72  .734 .652 27.1  14.1  530886656 10 1.02  8.64  4.63  .709 .384 1.11  1 .939 .282 .633 .255 .023
eca-rers2012/Problem01_label09_true-unreach-call.c 903    885    1890422784 53 29.2   817     21.8   48.0  24.4  877768704 1 3.21  .014 .121 .00  11.8   .604 34.8  18.1  841625600 2.45  13.0   6.12  1.91  .960 .501 1.09  1.77  .420 .540 24.5  12.7  514822144 6 .973 7.55  3.52  .601 .325 .792 1 .402 .279 .553 .268 .008
eca-rers2012/Problem01_label10_true-unreach-call.c 903    885    1966088192 51 29.3   817     21.6   43.5  22.1  871047168 1 3.18  3.95  .073 .00  9.65  .358 36.0  18.8  806932480 2.77  13.8   6.85  2.04  1.05  .450 1.21  1.87  .469 .582 27.1  14.1  528506880 10 .889 8.74  4.21  .663 .342 1.11  1 .646 .258 .585 .241 .012
eca-rers2012/Problem01_label11_true-unreach-call.c 903    884    1886105600 52 29.3   816     21.3   44.1  22.5  844435456 1 3.48  4.19  .068 .00  9.90  .460 33.1  17.2  766746624 2.58  12.2   5.74  1.98  1.03  .403 1.25  1.85  .471 .559 24.0  12.6  515788800 6 .820 7.19  4.15  .522 .299 .609 1 .770 .204 .474 .190 .010
eca-rers2012/Problem01_label12_true-unreach-call.c 903    885    1875296256 52 28.9   818     20.7   47.6  24.2  871256064 1 3.71  4.35  .106 .00  10.1   .503 31.4  16.2  684265472 2.13  11.3   6.08  1.67  .816 .190 .905 1.53  .406 .410 22.1  11.6  508612608 6 .718 6.81  3.74  .474 .236 .579 1 .527 .173 .409 .162 .008
eca-rers2012/Problem01_label13_true-unreach-call.c 904    884    1991348224 53 29.8   816     21.8   46.4  23.6  856461312 1 3.67  4.48  .076 .00  10.6   .526 36.0  18.6  851210240 2.52  13.5   7.47  2.00  .924 .574 1.05  1.80  .435 .489 26.6  14.0  521990144 6 .769 8.25  4.63  .509 .292 .776 1 .785 .220 .470 .194 .009
eca-rers2012/Problem01_label14_true-unreach-call.c 903    884    2005069824 53 29.9   813     23.0   47.1  23.9  845082624 1 3.83  .017 .073 .00  10.2   .548 29.9  16.1  811646976 2.35  11.2   5.29  1.73  .747 .455 .811 1.54  .373 .374 25.7  13.4  548880384 6 .916 8.09  4.38  .557 .320 .696 1 .795 .226 .483 .213 .010
eca-rers2012/Problem01_label16_true-unreach-call.c 903    884    1934364672 53 29.4   814     22.7   43.5  22.0  846553088 1 3.49  3.93  .138 .00  9.92  .603 28.2  15.1  784404480 2.57  10.2   4.93  1.66  .780 .475 .848 1.51  .478 .302 21.0  11.0  543784960 3 .744 5.42  2.98  .522 .235 .339 1 .484 .194 .416 .172 .018
eca-rers2012/Problem01_label17_true-unreach-call.c 904    886    1896951808 52 29.6   818     21.3   45.1  22.9  1215569920 1 3.77  4.52  .362 .001 9.23  .472 32.6  16.8  691003392 1.84  12.0   6.22  1.43  .749 .201 .852 1.32  .375 .374 22.8  11.9  494616576 6 .749 6.73  3.17  .491 .264 .675 1 .507 .195 .414 .183 .008
eca-rers2012/Problem01_label18_true-unreach-call.c 903    885    1998217216 53 28.9   816     22.4   47.6  24.1  873574400 1 3.51  4.36  .113 .00  10.7   .686 29.1  15.1  679464960 1.66  10.1   5.37  1.31  .685 .169 .772 1.18  .311 .374 26.6  14.0  534024192 6 .806 8.34  4.47  .547 .395 1.11  1 .790 .248 .501 .234 .010
eca-rers2012/Problem01_label19_true-unreach-call.c 904    886    1981898752 54 29.8   816     23.5   44.0  22.4  863297536 1 3.13  .005 .106 .00  10.1   .493 37.9  19.7  831868928 2.75  14.2   7.07  2.32  1.18  .410 1.38  2.15  .513 .662 23.3  12.1  497799168 6 .695 6.53  3.66  .474 .257 .584 1 .714 .183 .433 .155 .009
eca-rers2012/Problem01_label22_true-unreach-call.c 903    885    1949564928 53 29.5   817     21.2   45.2  23.0  860614656 1 3.61  4.25  .075 .00  9.77  .402 34.8  18.6  860217344 2.86  13.7   6.19  2.35  1.21  .551 1.38  2.18  .632 .580 21.3  11.2  511807488 3 .764 5.54  2.99  .494 .257 .394 1 .529 .229 .414 .206 .020
eca-rers2012/Problem01_label23_true-unreach-call.c 903    885    1792696320 51 29.3   818     20.7   46.0  23.4  874905600 1 3.64  4.14  .097 .00  10.3   .405 31.6  16.3  708501504 2.17  11.3   6.05  1.67  .859 .645 .947 1.58  .559 .300 23.5  12.3  536920064 6 .834 6.83  3.52  .653 .412 .973 1 .926 .330 .613 .298 .019
eca-rers2012/Problem01_label24_true-unreach-call.c 903    885    1824645120 51 28.4   819     20.1   43.4  22.1  859435008 1 3.23  4.04  .124 .00  9.49  .641 35.3  18.3  807489536 2.52  13.3   7.01  1.92  1.06  .596 1.18  1.77  .509 .551 29.9  15.4  574287872 10 1.11  9.69  4.75  .796 .460 1.55  1 1.02  .358 .700 .274 .075
eca-rers2012/Problem01_label25_true-unreach-call.c 903    884    1942781952 53 30.2   813     22.3   49.1  25.0  890363904 1 3.62  4.88  .062 .00  11.5   .600 34.2  17.7  700112896 2.52  12.0   6.06  1.63  .851 .239 .993 1.50  .345 .506 25.9  13.5  547364864 6 .715 7.91  4.51  .518 .277 .803 1 .626 .201 .475 .186 .011
eca-rers2012/Problem01_label26_true-unreach-call.c 903    884    1863823360 53 29.2   816     21.7   47.3  24.1  868687872 1 4.13  4.41  .118 .00  10.6   .386 34.1  17.9  835371008 2.53  13.1   6.60  2.00  .966 .371 1.13  1.86  .398 .568 25.9  13.5  505925632 10 .835 7.71  3.77  .525 .290 .923 1 .758 .200 .465 .183 .012
eca-rers2012/Problem01_label27_true-unreach-call.c 903    885    2026864640 54 30.2   813     22.9   51.4  26.1  888717312 1 4.06  5.04  .084 .00  11.3   .477 36.0  18.9  846716928 2.95  13.3   5.21  2.03  1.03  .874 1.13  1.84  .585 .441 28.3  14.8  532283392 10 .947 9.43  4.65  .608 .340 1.63  1 .727 .251 .525 .234 .011
eca-rers2012/Problem01_label28_true-unreach-call.c 903    884    1876750336 53 29.2   815     22.0   45.9  23.3  864546816 1 3.76  4.40  .064 .00  9.71  .573 33.9  18.7  815935488 2.88  13.8   6.45  2.15  1.15  .708 1.28  2.05  .602 .545 29.6  15.3  551297024 10 .871 8.77  4.49  .598 .362 1.55  1 1.68  .253 .558 .234 .013
eca-rers2012/Problem01_label29_true-unreach-call.c 903    885    1874980864 51 28.7   818     21.1   45.1  23.0  847212544 1 3.30  4.13  .097 .001 10.2   .566 35.0  18.8  809213952 2.77  13.9   6.78  2.21  1.20  .399 1.31  2.09  .602 .600 26.3  13.7  555835392 10 .942 8.25  3.96  .737 .423 1.15  1 .976 .301 .669 .277 .022
eca-rers2012/Problem01_label30_true-unreach-call.c 903    884    1900904448 51 29.0   819     19.9   46.2  23.4  862535680 1 3.33  4.14  .437 .00  10.1   .442 33.5  17.4  746917888 2.64  12.5   5.67  1.98  1.05  .524 1.19  1.88  .513 .539 27.3  14.1  507596800 10 1.03  8.43  4.59  .798 .456 1.13  1 .687 .373 .754 .333 .036
eca-rers2012/Problem01_label31_true-unreach-call.c 903    885    2010382336 53 29.7   816     21.9   49.6  25.2  885481472 1 4.21  4.30  .073 .00  11.6   .400 32.1  17.0  799625216 2.15  11.9   6.10  1.67  .823 .520 .921 1.56  .378 .445 26.2  13.6  561958912 6 .946 7.83  4.14  .639 .454 1.16  1 .837 .304 .587 .265 .024
eca-rers2012/Problem01_label34_true-unreach-call.c 903    885    1993953280 53 29.7   817     21.7   44.5  22.6  862650368 1 3.71  4.14  .417 .00  9.35  .492 34.5  18.3  848003072 2.60  13.0   5.92  2.07  1.04  .912 1.23  1.95  .498 .541 26.4  13.8  575561728 6 .730 8.08  4.44  .491 .369 1.13  1 1.07  .230 .449 .200 .025
eca-rers2012/Problem01_label36_true-unreach-call.c 903    885    1999134720 53 29.5   816     22.4   46.7  23.8  860438528 1 3.92  4.37  .097 .00  10.6   .398 34.4  18.9  817770496 2.95  13.4   6.42  2.24  1.25  .669 1.33  2.07  .619 .631 25.3  13.2  554614784 6 .828 7.86  4.31  .536 .296 .844 1 .728 .214 .491 .203 .008
eca-rers2012/Problem01_label39_true-unreach-call.c 903    885    1960206336 53 29.3   815     22.4   46.1  23.4  873410560 1 3.94  4.34  .334 .00  9.78  .448 35.9  19.1  826077184 2.73  13.8   5.63  1.87  .934 .729 1.06  1.72  .558 .376 25.9  13.5  514969600 6 .972 8.29  4.18  .675 .364 .607 1 .668 .290 .614 .275 .012
eca-rers2012/Problem01_label40_true-unreach-call.c 903    885    1959493632 55 31.2   815     21.6   47.3  24.0  855883776 1 3.95  4.18  .064 .00  10.1   .417 27.9  14.9  708042752 1.77  10.2   5.34  1.39  .740 .386 .807 1.33  .399 .341 24.2  12.6  535306240 6 .709 6.98  3.80  .487 .318 .841 1 .663 .214 .455 .183 .018
eca-rers2012/Problem01_label41_true-unreach-call.c 903    886    1905307648 53 29.7   818     21.2   45.5  23.1  853086208 1 3.96  .005 .104 .001 9.74  .416 32.2  16.6  689487872 2.13  11.0   5.75  1.62  .820 .297 .915 1.48  .404 .416 23.8  12.4  537329664 6 .760 7.45  3.75  .484 .202 .916 1 .671 .148 .360 .136 .009
eca-rers2012/Problem01_label42_true-unreach-call.c 904    885    1901166592 51 29.2   818     21.1   43.8  22.2  857595904 1 3.49  3.70  .088 .00  9.73  .493 33.6  17.5  711622656 2.19  12.4   6.58  1.72  .904 .590 1.08  1.64  .604 .300 23.6  12.4  497586176 6 .953 7.41  4.14  .622 .328 .694 1 .526 .263 .505 .227 .030
eca-rers2012/Problem01_label43_true-unreach-call.c 904    885    1946251264 52 29.2   817     21.5   47.8  24.2  857300992 1 3.69  4.42  .093 .001 10.5   .510 30.1  15.7  672555008 2.04  10.8   5.22  1.55  .727 .488 .824 1.40  .456 .271 25.5  13.2  545673216 6 1.21  7.96  4.12  .918 .407 .725 1 .604 .335 .851 .304 .025
eca-rers2012/Problem01_label45_true-unreach-call.c 904    885    1987403776 52 29.9   816     21.3   47.1  24.0  862330880 1 3.17  4.45  .352 .00  11.2   .709 38.0  20.5  828669952 3.02  14.8   6.79  2.34  1.07  .826 1.24  2.16  .554 .520 24.5  12.9  499769344 6 .797 7.53  3.90  .525 .306 .660 1 .735 .244 .486 .231 .009
eca-rers2012/Problem01_label46_true-unreach-call.c 903    886    2000642048 53 29.9   817     21.3   48.1  24.4  861458432 1 3.77  .003 .080 .00  10.9   .573 32.6  17.1  762527744 2.35  12.0   5.92  1.87  .943 .520 1.03  1.70  .561 .382 26.7  14.1  571310080 6 1.06  8.10  4.14  .724 .406 1.05  1 1.08  .315 .646 .287 .009
eca-rers2012/Problem01_label48_true-unreach-call.c 903    883    1844609024 53 30.2   813     22.0   44.7  22.7  833880064 1 3.89  4.37  .290 .001 8.66  .578 37.3  20.9  862388224 3.79  15.6   6.84  2.89  1.57  .660 1.76  2.65  .719 .852 27.1  14.2  554983424 10 .794 8.09  4.24  .601 .286 1.08  1 1.34  .213 .544 .194 .013
eca-rers2012/Problem01_label49_true-unreach-call.c 903    885    2015883264 54 30.2   815     22.6   48.4  24.6  873426944 1 3.64  4.37  .104 .00  10.8   .522 36.1  19.4  856469504 2.82  14.1   7.03  2.17  1.17  .853 1.33  1.99  .548 .622 25.7  13.4  571940864 6 .963 7.52  4.04  .719 .395 .749 1 1.04  .295 .680 .258 .032
eca-rers2012/Problem01_label51_true-unreach-call.c 903    885    1955573760 52 30.2   818     20.1   45.8  23.3  863531008 1 3.03  4.39  .068 .00  10.4   .573 36.7  19.3  841428992 2.92  13.6   5.89  2.16  .987 .864 1.17  2.03  .509 .478 29.2  15.1  584822784 10 .936 9.50  4.51  .644 .304 1.58  1 .882 .219 .595 .200 .012
eca-rers2012/Problem01_label52_true-unreach-call.c 904    884    1854357504 54 30.8   812     22.8   45.8  23.3  867782656 1 3.23  4.06  .166 .00  11.1   .534 32.2  17.1  776044544 2.11  11.3   5.29  1.49  .792 .533 .862 1.41  .426 .366 20.8  10.8  514162688 3 .749 5.53  2.87  .463 .237 .508 1 .359 .210 .378 .184 .022
eca-rers2012/Problem01_label53_true-unreach-call.c 903    884    1876996096 53 29.7   814     21.7   44.5  22.6  868630528 1 3.87  4.03  .148 .00  9.41  .405 31.9  16.7  808734720 2.36  11.8   5.40  1.82  .949 .424 1.07  1.68  .449 .500 27.2  14.2  540897280 10 .909 8.71  4.63  .627 .316 1.10  1 .782 .248 .538 .215 .016
eca-rers2012/Problem01_label54_true-unreach-call.c 903    884    1836867584 53 35.7   809     21.4   46.2  23.5  861777920 1 3.40  4.30  .245 .00  10.9   .426 35.9  18.8  828968960 2.72  13.8   6.89  2.10  1.09  .559 1.18  1.87  .533 .557 27.6  14.4  551923712 10 .982 9.00  4.15  .689 .405 1.38  1 .819 .298 .622 .271 .021
eca-rers2012/Problem01_label55_true-unreach-call.c 903    884    1922527232 52 29.5   816     21.3   55.5  28.1  1219645440 1 4.16  4.62  .096 .00  12.8   .996 34.2  17.5  697741312 2.33  12.3   6.42  1.84  .927 .438 1.07  1.73  .505 .422 23.1  12.2  519196672 6 .836 7.28  4.10  .587 .369 .685 1 .649 .312 .538 .231 .060
eca-rers2012/Problem01_label58_true-unreach-call.c 903    885    1916276736 52 30.2   817     20.6   46.2  23.5  866820096 1 3.51  .009 .065 .00  10.5   .772 34.4  18.3  824217600 2.54  12.6   6.46  2.03  1.16  .757 1.24  1.89  .554 .607 26.3  13.6  563363840 6 .938 7.73  3.59  .650 .356 .773 1 .953 .267 .596 .236 .016
eca-rers2012/Problem01_label59_true-unreach-call.c 904    884    1980825600 53 30.6   813     22.4   47.2  24.0  864964608 1 3.60  3.92  .328 .00  11.6   .380 36.9  20.1  826974208 2.92  14.3   6.52  2.11  1.16  .679 1.29  1.96  .594 .568 21.4  11.2  468291584 6 .646 6.32  3.04  .452 .242 .601 1 .545 .214 .422 .176 .021
eca-rers2012/Problem02_label00_true-unreach-call.c 903    884    2020114432 57 29.8   813     22.9   47.6  24.1  864419840 1 3.61  4.29  .185 .00  10.7   .533 29.6  15.4  627642368 2.17  10.4   4.65  1.65  .829 .253 .933 1.46  .374 .455 20.9  11.0  455483392 6 .869 6.06  3.14  .618 .341 .599 1 .477 .264 .579 .236 .025
eca-rers2012/Problem02_label01_true-unreach-call.c 903    884    1918615552 59 31.0   809     24.1   46.1  23.5  856686592 1 3.22  4.30  .055 .001 11.2   .386 33.7  17.5  671059968 2.58  12.3   6.24  2.04  1.06  .209 1.24  1.93  .503 .561 21.3  11.1  474746880 6 .944 6.68  3.19  .702 .325 .701 1 .336 .277 .654 .233 .033
eca-rers2012/Problem02_label02_true-unreach-call.c 904    885    1990373376 58 30.0   811     23.7   45.2  23.1  848609280 1 4.04  4.17  .444 .00  9.32  .419 28.3  14.9  626536448 1.99  9.77  4.56  1.50  .645 .446 .715 1.36  .336 .309 26.7  14.1  506191872 9 .934 8.19  4.15  .703 .411 1.19  1 1.06  .310 .645 .283 .013
eca-rers2012/Problem02_label03_true-unreach-call.c 904    884    2177662976 62 32.2   805     26.6   43.5  22.1  848560128 1 3.41  4.11  .136 .001 10.2   .396 28.6  14.8  642195456 2.14  10.2   5.05  1.72  .823 .545 .918 1.63  .401 .422 20.2  10.7  485007360 6 .832 5.87  2.71  .558 .271 .509 1 .484 .215 .497 .192 .009
eca-rers2012/Problem02_label04_true-unreach-call.c 904    887    2135560192 60 27.8   816     24.1   44.3  22.5  859824128 1 3.80  4.03  .048 .00  9.52  .607 29.0  15.1  657825792 2.31  10.2   4.50  1.85  .858 .544 .952 1.72  .409 .449 23.4  12.1  513310720 6 .787 6.65  3.29  .489 .245 .813 1 .896 .205 .436 .190 .010
eca-rers2012/Problem02_label05_true-unreach-call.c 903    883    1929302016 57 29.7   812     23.4   48.0  24.5  844570624 1 4.27  4.63  .071 .00  10.8   .273 27.9  14.5  617959424 2.05  9.70  4.38  1.51  .791 .364 .925 1.45  .442 .349 22.0  11.5  491257856 6 .838 6.73  3.77  .573 .273 .609 1 .485 .238 .534 .208 .011
eca-rers2012/Problem02_label06_true-unreach-call.c 903    885    2024747008 59 31.1   805     28.8   53.4  27.1  935497728 2 5.32  5.45  .144 .00  12.3   1.01  29.0  15.2  656482304 2.37  10.1   4.12  1.86  .872 .763 .976 1.75  .449 .423 30.7  16.7  629276672 19 1.08  10.4   4.73  .680 .565 2.36  1 1.76  .282 .611 .258 .017
eca-rers2012/Problem02_label07_true-unreach-call.c 903    885    1913978880 59 30.2   813     23.5   49.0  24.8  854257664 1 3.90  .010 .119 .001 10.8   .805 29.4  15.5  632193024 2.33  10.6   4.61  1.76  .975 .440 1.10  1.62  .503 .472 22.2  11.7  540852224 6 .749 6.55  3.56  .457 .216 .619 1 .837 .169 .413 .149 .016
eca-rers2012/Problem02_label08_true-unreach-call.c 903    885    2009198592 58 30.1   813     23.3   46.0  23.4  844267520 1 3.61  4.17  .066 .00  11.0   .438 27.5  14.6  647626752 1.87  9.73  3.89  1.51  .640 .494 .703 1.41  .421 .219 29.3  15.2  554786816 9 1.22  9.69  4.56  .940 .567 1.40  1 1.10  .367 .873 .353 .011
eca-rers2012/Problem02_label09_true-unreach-call.c 903    884    1942003712 58 30.2   812     23.5   47.4  24.1  869728256 1 3.76  .005 .077 .00  10.6   .564 29.7  15.4  592121856 2.34  10.5   4.36  1.97  1.00  .398 1.18  1.86  .478 .524 23.0  12.0  510365696 6 1.04  6.38  3.13  .773 .358 .661 1 .896 .299 .692 .269 .026
eca-rers2012/Problem02_label10_true-unreach-call.c 903    884    1938759680 58 30.3   811     23.8   48.4  24.6  859213824 1 3.29  4.33  .134 .00  12.2   .535 28.6  14.8  603156480 1.78  9.90  4.58  1.44  .644 .307 .755 1.35  .359 .285 23.9  12.4  541503488 6 .800 6.99  3.52  .561 .287 .724 1 1.06  .229 .504 .202 .021
eca-rers2012/Problem02_label11_true-unreach-call.c 903    885    2001399808 59 31.3   811     23.6   49.0  24.9  865673216 1 3.90  .013 .177 .001 10.9   .380 26.8  14.1  609218560 1.96  9.52  4.56  1.47  .576 .254 .675 1.39  .285 .291 21.6  11.3  500920320 6 .938 6.19  3.00  .610 .269 .655 1 .853 .234 .577 .209 .011
eca-rers2012/Problem02_label12_true-unreach-call.c 903    885    2022969344 58 30.4   812     23.5   45.2  23.0  851972096 1 3.40  4.20  .123 .00  9.69  .364 30.2  15.5  712040448 2.35  10.2   4.29  1.85  .897 .659 .999 1.76  .529 .368 24.8  12.9  570138624 6 .826 7.60  3.10  .631 .403 1.24  1 .895 .275 .584 .247 .026
eca-rers2012/Problem02_label14_true-unreach-call.c 903    887    2175422464 60 30.3   811     25.6   46.1  23.4  852934656 1 4.03  4.26  .096 .001 9.66  .437 31.3  16.1  651677696 2.21  10.7   4.42  1.66  .670 .546 .797 1.48  .431 .239 22.3  11.7  506466304 6 .799 6.44  3.34  .530 .291 .604 1 .907 .235 .470 .216 .010
eca-rers2012/Problem02_label15_true-unreach-call.c 904    886    1972416512 58 29.6   814     23.4   44.9  22.8  843440128 1 3.92  3.88  .128 .00  9.19  .493 32.8  16.8  647712768 2.60  11.1   4.60  1.96  .904 .685 1.03  1.79  .546 .358 25.4  13.3  542920704 6 1.10  7.99  3.63  .831 .422 1.19  1 .830 .340 .741 .314 .023
eca-rers2012/Problem02_label17_true-unreach-call.c 903    885    2009366528 57 29.8   813     23.2   46.9  23.9  876183552 1 4.62  4.75  .337 .00  9.54  .244 29.7  15.3  630079488 1.97  10.1   4.32  1.53  .696 .310 .803 1.44  .369 .327 21.3  11.3  481263616 6 .751 6.51  3.38  .571 .301 .541 1 .397 .257 .541 .236 .008
eca-rers2012/Problem02_label18_true-unreach-call.c 903    883    2014228480 58 30.8   809     23.5   47.1  24.0  862912512 1 3.67  4.24  .065 .001 10.4   .871 36.1  18.6  706363392 2.90  12.8   5.64  2.18  .962 1.07  1.05  2.04  .587 .375 23.3  12.2  484118528 6 1.57  6.90  2.94  .796 .362 .561 1 .478 .316 .695 .283 .015
eca-rers2012/Problem02_label19_true-unreach-call.c 903    885    2035449856 59 29.9   812     23.9   46.1  23.4  875732992 1 4.23  3.97  .057 .00  9.40  .588 27.5  14.2  557084672 1.67  8.89  4.57  1.32  .580 .323 .730 1.17  .337 .243 23.3  12.1  517787648 6 .943 6.52  2.92  .720 .428 1.13  1 1.10  .324 .688 .278 .028
eca-rers2012/Problem02_label20_true-unreach-call.c 903    885    2063269888 59 30.3   811     24.2   48.0  24.4  857616384 1 4.08  4.51  .064 .00  11.0   .378 28.5  14.7  624472064 1.91  9.71  4.68  1.55  .678 .152 .788 1.42  .433 .245 23.3  12.2  520826880 6 .918 6.70  3.10  .697 .371 1.10  1 1.12  .290 .602 .257 .029
eca-rers2012/Problem02_label21_true-unreach-call.c 904    885    2052681728 58 30.8   811     23.6   45.2  22.9  866271232 1 3.18  4.13  .076 .001 9.73  1.09  26.4  13.7  602566656 2.11  9.40  4.52  1.64  .753 .220 .938 1.55  .451 .302 18.1  9.51 457195520 3 .619 4.57  2.49  .422 .186 .264 1 .322 .156 .357 .145 .006
eca-rers2012/Problem02_label22_true-unreach-call.c 904    886    1948041216 58 30.8   813     22.8   47.7  24.3  857645056 1 4.43  4.59  .036 .001 10.3   .291 25.0  13.0  547622912 1.78  8.59  3.95  1.51  .764 .310 .828 1.44  .518 .246 25.0  13.0  514850816 9 .887 6.97  3.55  .605 .377 .925 1 1.10  .278 .530 .247 .025
eca-rers2012/Problem02_label23_true-unreach-call.c 903    884    2078330880 60 31.1   811     23.9   44.9  22.9  862556160 1 3.96  4.03  .135 .001 9.84  .452 29.9  15.4  594665472 2.57  10.1   4.37  1.86  .830 .398 1.00  1.73  .448 .382 18.4  9.70 478949376 3 .656 4.34  2.23  .408 .161 .178 1 .822 .124 .331 .115 .007
eca-rers2012/Problem02_label24_true-unreach-call.c 904    884    1964527616 57 30.3   811     23.5   44.9  22.8  863354880 1 3.04  4.21  .060 .001 10.7   .492 29.0  15.1  617074688 1.93  10.3   4.70  1.39  .636 .248 .793 1.30  .348 .288 25.1  13.4  505729024 9 .855 7.92  3.73  .655 .364 .986 1 .470 .305 .616 .283 .014
eca-rers2012/Problem02_label25_true-unreach-call.c 903    884    1945780224 58 30.5   812     23.6   48.1  24.4  867405824 1 3.21  .008 .389 .001 10.9   .568 29.4  15.1  582832128 2.30  9.91  4.39  1.91  .984 .263 1.13  1.85  .551 .433 21.3  11.1  458510336 6 .792 5.89  3.28  .563 .257 .440 1 .473 .217 .528 .195 .017
eca-rers2012/Problem02_label26_true-unreach-call.c 903    883    2026618880 59 31.7   808     24.7   45.4  23.1  843943936 1 3.67  4.20  .065 .00  10.3   .375 26.5  13.8  569028608 1.64  8.68  3.76  1.33  .615 .435 .707 1.24  .362 .253 19.3  10.1  480309248 3 .695 5.33  2.83  .441 .209 .559 1 .329 .184 .396 .153 .022
eca-rers2012/Problem02_label27_true-unreach-call.c 903    884    1826979840 57 30.6   811     24.6   47.3  24.0  854089728 1 3.77  4.18  .063 .00  10.7   .498 26.0  13.7  604409856 1.93  9.12  3.84  1.49  .733 .231 .855 1.41  .349 .384 24.7  12.8  490704896 9 .768 7.42  3.70  .504 .340 .957 1 .596 .227 .456 .203 .020
eca-rers2012/Problem02_label28_true-unreach-call.c 903    885    2036039680 60 31.0   811     23.9   47.3  24.0  851226624 1 3.78  4.16  .072 .001 10.1   .611 29.0  15.1  626622464 2.45  10.1   4.01  1.93  .949 .420 1.14  1.81  .512 .437 17.9  9.51 486854656 3 .551 4.79  2.76  .384 .175 .265 1 .306 .155 .364 .136 .008
eca-rers2012/Problem02_label29_true-unreach-call.c 903    885    1946832896 58 30.3   811     24.5   46.5  23.6  858165248 1 3.80  4.37  .109 .001 9.95  .314 27.5  14.4  582799360 2.05  9.40  4.35  1.66  .764 .272 .850 1.55  .383 .381 22.5  11.8  504233984 6 .615 7.08  3.29  .395 .182 .963 1 .265 .147 .348 .135 .008
eca-rers2012/Problem02_label30_true-unreach-call.c 903    885    2070863872 59 31.4   809     24.9   44.9  22.8  850104320 1 3.64  4.13  .080 .00  10.5   .401 29.1  15.1  636051456 2.04  10.2   5.18  1.58  .679 .402 .824 1.49  .367 .312 21.7  11.4  527523840 6 .802 5.89  2.87  .552 .354 .681 1 1.27  .251 .517 .213 .033
eca-rers2012/Problem02_label31_true-unreach-call.c 904    887    2207596544 60 29.9   812     25.2   46.7  23.7  860123136 1 3.92  .007 .051 .00  10.2   .542 27.2  14.2  631242752 1.98  9.65  4.27  1.54  .714 .275 .815 1.45  .425 .289 27.9  14.5  557920256 9 1.11  8.62  4.27  .752 .446 1.22  1 1.26  .302 .684 .276 .021
eca-rers2012/Problem02_label32_true-unreach-call.c 903    884    2032259072 57 29.5   813     22.7   45.8  23.3  873332736 1 3.69  4.12  .054 .00  10.5   .845 26.1  13.7  578093056 2.03  8.95  4.40  1.57  .719 .336 .802 1.47  .394 .325 24.6  12.7  522842112 6 .773 6.79  3.43  .555 .363 .791 1 1.07  .264 .518 .249 .009
eca-rers2012/Problem02_label33_true-unreach-call.c 903    885    1889456128 58 30.6   811     24.2   47.1  24.0  872681472 1 3.21  .008 .466 .001 12.3   .401 29.8  15.3  614809600 2.38  10.2   4.85  1.77  .804 .526 .920 1.68  .430 .374 19.0  10.0  487161856 3 .779 5.33  2.84  .596 .341 .482 1 .394 .314 .566 .266 .033
eca-rers2012/Problem02_label34_true-unreach-call.c 903    885    2023931904 59 30.8   808     27.2   47.1  23.9  875663360 1 3.65  4.31  .382 .00  11.0   .319 26.0  13.5  601145344 2.54  9.22  4.06  1.73  .846 .147 .990 1.69  .467 .379 26.6  13.7  511959040 9 1.01  7.71  3.66  .720 .439 1.14  1 1.22  .310 .674 .275 .025
eca-rers2012/Problem02_label35_true-unreach-call.c 903    886    1980841984 58 29.2   815     22.5   46.6  23.7  860463104 1 3.98  4.54  .116 .00  10.8   .228 26.5  13.8  553271296 1.50  8.84  4.39  1.01  .457 .279 .524 .944 .266 .191 15.9  8.54 436019200 3 .701 4.37  2.37  .482 .193 .264 1 .139 .183 .405 .173 .006
eca-rers2012/Problem02_label36_true-unreach-call.c 903    885    2021502976 58 30.6   812     23.6   45.7  23.2  860618752 1 4.12  4.21  .072 .00  10.1   .621 27.3  14.2  605523968 1.98  9.44  4.61  1.54  .689 .225 .835 1.47  .381 .308 17.8  9.40 453918720 3 .760 4.80  2.28  .594 .224 .250 1 .376 .226 .570 .177 .031
eca-rers2012/Problem02_label37_true-unreach-call.c 903    886    1891332096 58 29.8   814     23.7   47.8  24.4  868392960 1 4.00  4.40  .320 .001 10.5   .336 25.0  13.0  560451584 1.86  8.38  3.44  1.43  .612 .265 .730 1.32  .386 .226 26.3  13.7  539189248 9 .976 7.80  3.70  .735 .407 1.37  1 1.40  .260 .687 .242 .013
eca-rers2012/Problem02_label38_true-unreach-call.c 904    885    2042695680 60 31.1   810     24.2   48.9  24.8  889827328 1 3.65  4.31  .043 .001 11.8   .531 27.9  14.5  599220224 2.10  9.71  4.01  1.59  .780 .472 .896 1.46  .464 .316 18.9  9.94 449073152 3 .703 5.18  2.89  .507 .223 .350 1 .358 .215 .486 .177 .019
eca-rers2012/Problem02_label39_true-unreach-call.c 903    885    1944223744 58 30.3   811     24.5   51.8  26.2  980922368 2 5.08  5.40  .248 .001 12.2   1.06  35.2  18.3  743587840 2.73  12.5   5.71  2.00  .745 1.11  .886 1.75  .461 .284 27.6  14.6  547774464 14 .859 8.63  4.23  .613 .377 1.75  1 1.59  .285 .561 .239 .017
eca-rers2012/Problem02_label40_true-unreach-call.c 903    886    1982345216 58 29.8   814     22.7   47.4  24.1  879616000 1 3.70  3.98  .187 .00  10.8   .533 31.7  16.4  662777856 2.03  11.4   5.84  1.57  .828 .289 .983 1.48  .361 .467 20.9  11.1  466206720 6 .780 6.12  2.90  .518 .315 .518 1 .472 .243 .436 .218 .020
eca-rers2012/Problem02_label41_true-unreach-call.c 903    885    2032390144 58 30.6   810     25.0   46.9  23.8  858980352 1 3.30  4.11  .153 .001 11.3   .637 31.5  16.4  658890752 2.25  11.2   5.58  1.63  .749 .366 .905 1.46  .335 .414 25.9  13.6  525660160 9 .919 7.83  3.74  .652 .499 1.35  1 1.21  .312 .604 .277 .029
eca-rers2012/Problem02_label42_true-unreach-call.c 904    885    2066616320 59 30.7   810     24.3   44.4  22.5  863612928 1 3.64  4.10  .063 .00  10.0   .325 27.8  14.4  636346368 2.22  9.41  4.31  1.41  .753 .626 .862 1.31  .305 .448 16.3  8.73 457736192 3 .444 4.40  2.15  .238 .111 .262 1 .278 .088 .212 .076 .006
eca-rers2012/Problem02_label46_true-unreach-call.c 903    885    1862127616 59 30.3   811     24.0   47.1  23.9  871149568 1 4.13  4.21  .054 .00  10.3   .319 32.5  16.8  732217344 3.01  11.6   4.75  1.92  1.02  .701 1.11  1.82  .593 .426 27.8  14.6  545669120 10 1.02  7.51  3.68  .822 .527 1.23  1 1.62  .399 .774 .344 .050
eca-rers2012/Problem02_label47_true-unreach-call.c 903    884    1827897344 58 31.2   811     23.6   44.0  22.4  868954112 1 4.09  4.01  .133 .00  9.42  .329 29.9  15.5  666816512 2.13  10.8   5.29  1.59  .807 .290 .901 1.50  .431 .376 22.9  12.1  550498304 5 .774 6.41  3.15  .568 .240 .699 1 1.29  .179 .500 .163 .011
eca-rers2012/Problem02_label48_true-unreach-call.c 903    885    1922314240 58 30.0   812     23.8   45.5  23.1  852291584 1 3.49  3.93  .075 .00  9.24  .997 35.1  18.0  674426880 2.62  11.8   4.68  1.67  .616 1.08  .723 1.52  .386 .230 24.9  13.0  514109440 6 .839 7.74  3.81  .625 .228 1.06  1 1.01  .180 .559 .159 .011
eca-rers2012/Problem02_label49_true-unreach-call.c 903    884    1897914368 59 31.2   811     23.5   48.1  24.4  866676736 1 3.39  4.20  .214 .00  11.2   .475 33.3  17.3  669487104 1.98  11.7   5.23  1.55  .706 .495 .837 1.39  .349 .357 24.1  12.6  565612544 6 .805 6.89  3.75  .605 .330 .687 1 1.52  .226 .515 .164 .030
eca-rers2012/Problem02_label51_true-unreach-call.c 903    885    1881067520 59 30.7   811     24.2   47.9  24.4  864808960 1 3.88  .015 .047 .00  11.2   .373 28.3  14.6  626810880 2.17  9.34  4.15  1.59  .664 .473 .888 1.49  .338 .326 23.9  12.3  507879424 5 .886 6.34  3.13  .593 .331 .655 1 1.01  .262 .551 .246 .011
eca-rers2012/Problem02_label52_true-unreach-call.c 903    884    1971494912 58 30.9   811     22.6   49.8  25.3  863072256 1 4.00  4.73  .096 .001 11.1   .289 28.0  14.6  608833536 1.89  9.57  4.61  1.37  .570 .484 .668 1.24  .300 .270 23.0  12.1  524664832 6 .821 6.38  3.40  .538 .296 .550 1 1.23  .231 .471 .204 .011
eca-rers2012/Problem02_label53_true-unreach-call.c 903    885    1910546432 58 27.4   816     22.6   43.2  22.0  854794240 1 3.60  3.98  .068 .001 9.73  .543 28.7  14.8  625709056 1.86  9.74  4.77  1.32  .599 .427 .700 1.24  .320 .279 29.8  15.5  560881664 9 1.03  8.55  4.53  .737 .534 1.23  1 1.75  .319 .663 .300 .014
eca-rers2012/Problem02_label54_true-unreach-call.c 903    883    2036826112 59 30.9   808     24.4   44.6  22.7  879079424 1 3.91  4.19  .083 .00  9.46  .468 31.0  16.0  612495360 1.91  10.5   5.23  1.49  .718 .359 .864 1.41  .318 .400 22.7  11.9  532815872 6 .893 6.62  3.40  .605 .369 .790 1 1.03  .320 .575 .284 .009
eca-rers2012/Problem02_label55_true-unreach-call.c 903    885    2000764928 59 30.9   811     24.1   45.7  23.2  876032000 1 3.60  4.08  .054 .00  10.3   .575 28.4  14.6  602214400 1.79  9.42  4.77  1.33  .611 .414 .718 1.18  .303 .308 23.8  12.5  485515264 9 .827 7.30  3.48  .598 .380 1.02  1 .747 .290 .545 .253 .032
eca-rers2012/Problem02_label56_true-unreach-call.c 903    885    2185637888 60 30.8   810     24.9   45.8  23.4  862474240 1 2.99  .018 .486 .00  11.3   .388 31.6  16.3  669888512 2.85  11.0   4.55  1.94  .930 .447 1.02  1.76  .477 .453 24.9  13.0  565723136 6 1.01  6.97  3.25  .764 .361 .987 1 1.19  .305 .683 .266 .028
eca-rers2012/Problem02_label57_true-unreach-call.c 903    886    1912344576 59 29.1   814     23.6   47.4  24.1  869326848 1 4.23  .005 .089 .001 9.90  .232 28.7  14.9  608763904 1.81  10.1   5.08  1.39  .650 .362 .714 1.24  .369 .281 25.9  13.3  517582848 9 .853 7.56  4.00  .622 .351 1.12  1 1.08  .241 .558 .219 .017
eca-rers2012/Problem02_label58_true-unreach-call.c 903    886    2016616448 59 29.9   813     23.9   44.0  22.4  830144512 1 3.02  3.99  .392 .024 10.1   .667 34.5  17.7  692248576 2.96  12.3   5.75  1.95  .987 .346 1.15  1.84  .423 .564 25.0  13.0  554037248 6 .740 7.46  3.94  .519 .283 1.20  1 .759 .184 .469 .153 .024
eca-rers2012/Problem03_label00_true-unreach-call.c 904    877    2428141568 31 44.4   430     380     110    55.1  2429390848 4 13.1   .005 1.82  .834 21.7   2.64  97.0  69.8  1391927296 28.9   60.4   18.0   27.3   24.5   .836 24.9   26.8   2.05  22.4   119    93.5  1272000512 61 3.10  69.8   15.0   2.18  3.21  43.7   1 15.5   1.24  2.02  1.21  .023
eca-rers2012/Problem03_label01_true-unreach-call.c 905    879    2234019840 26 38.2   204     619     128    64.3  2446331904 4 15.0   .006 1.70  .567 22.1   7.04  59.1  33.0  972845056 5.68  23.7   9.14  4.44  2.67  1.65  2.83  4.08  1.17  1.50  913    888    1065922560
eca-rers2012/Problem03_label02_true-unreach-call.c 904    879    2994184192 37 51.1   771     29.8   75.6  38.2  1197903872 1 6.63  .006 .102 .032 14.2   .414 104    74.8  1407434752 35.7   65.2   16.7   33.9   31.0   1.67  31.6   33.4   2.11  28.9   53.0  27.6  888094720 6 1.82  17.6   9.78  1.13  .532 1.07  1 1.50  .471 .956 .457 .009
eca-rers2012/Problem03_label03_true-unreach-call.c 905    880    1970327552 22 33.2   85.4   746     137    68.9  2351648768 4 15.4   .010 1.67  1.01  23.8   9.74  61.5  33.7  975142912 4.90  23.8   9.53  3.57  1.70  2.10  1.91  3.30  1.11  .587 913    886    1096359936
eca-rers2012/Problem03_label04_true-unreach-call.c 905    879    2015875072 25 36.6   180     644     119    59.9  2424627200 4 13.6   .005 1.34  .704 24.4   2.81  60.9  34.6  1023664128 6.06  24.9   9.29  4.54  2.78  1.45  2.89  4.16  1.26  1.51  913    885    1068285952
eca-rers2012/Problem03_label05_true-unreach-call.c 904    877    2591109120 33 47.4   608     197     125    63.0  2479349760 4 14.7   30.1   1.46  .516 23.3   5.32  60.7  33.4  959574016 4.65  23.2   9.43  3.59  1.92  1.80  2.14  3.26  1.19  .731 58.4  32.2  909402112 13 2.19  22.4   11.6   1.51  .985 3.05  1 1.85  .788 1.36  .756 .025
eca-rers2012/Problem03_label06_true-unreach-call.c 904    879    2977226752 36 50.6   775     27.1   76.2  38.4  1259843584 1 6.51  9.23  .200 .00  14.5   .446 66.8  36.5  972443648 5.81  26.8   10.9   4.32  2.57  1.80  2.69  4.00  1.32  1.25  46.2  24.2  834179072 6 1.88  15.3   7.92  .979 .496 1.02  1 .885 .449 .835 .424 .008
eca-rers2012/Problem03_label07_true-unreach-call.c 905    879    2128670720 25 36.2   165     660     129    65.0  2550616064 4 14.0   32.0   1.41  .634 23.3   8.31  61.5  33.8  1045110784 5.92  24.7   10.1   4.65  2.77  1.52  2.88  4.31  1.01  1.75  913    886    10266243072
eca-rers2012/Problem03_label08_true-unreach-call.c 904    880    2899419136 36 47.8   779     26.4   71.0  35.8  1217495040 1 6.72  9.40  .282 .00  13.1   .843 114    85.4  1391534080 45.9   75.3   17.9   43.6   40.5   1.65  41.3   43.1   2.54  38.0   58.4  32.4  920571904 13 2.34  21.9   10.5   1.67  .951 3.08  1 2.41  .785 1.54  .737 .018
eca-rers2012/Problem03_label10_true-unreach-call.c 905    880    2932924416 37 51.1   772     29.5   72.1  36.4  1212575744 1 6.44  .005 .174 .00  12.5   .777 315    282    2191659008 219     272     32.5   215     208     1.07  212     215     4.85  203     60.6  33.2  901148672 13 2.67  23.9   12.2   1.52  .900 3.00  1 1.84  .736 1.35  .716 .014
eca-rers2012/Problem03_label11_true-unreach-call.c 905    879    2291433472 28 39.4   214     606     126    63.6  2357198848 4 13.8   30.4   1.57  1.04  23.3   5.00  66.2  36.2  993697792 5.62  25.3   10.2   4.55  2.42  2.39  2.62  4.06  1.22  1.20  913    884    1023254528
eca-rers2012/Problem03_label12_true-unreach-call.c 904    878    2153816064 26 38.1   152     668     118    59.6  2396426240 4 14.3   .004 1.73  .824 22.6   2.95  59.0  32.8  1023942656 5.49  23.4   9.86  4.26  2.55  1.63  2.69  3.95  1.31  1.24  913    887    9610133504
eca-rers2012/Problem03_label14_true-unreach-call.c 904    879    2918809600 37 50.0   773     29.1   78.3  39.5  1146544128 1 7.42  9.76  .173 .00  14.1   .782 67.2  40.8  1321086976 10.6   31.8   11.9   9.48  7.13  1.38  7.31  9.12  2.06  5.07  53.7  28.1  889208832 6 1.87  19.3   10.9   1.21