Tool SMACK+Corral 1.7.2 CMCReduction CMC Reduction 1.0
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8 timelimit: 200 s, memlimit: 15000 MB, CPU core limit: 8 timelimit: 950 s, memlimit: 15000 MB, CPU core limit: 8
Host apollon*
OS Linux 4.4.0-104-generic Linux 4.4.0-112-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33553 MB
Date of execution 2017-12-28 09:23:50 CET 2018-02-06 16:22:09 CET 2018-02-08 20:20:06 CET
Run set smack.sv-comp17 congen.predicate conditions-predicate-reducer-verifiers.SMACK
Options -w error-witness.graphml -reducer identity -type None -verif -noout -verif -disable-java-assertions -verif -heap 10000M -verif -setprop assumptions.automatonFile=AssumptionAutomaton.txt -verif -config config/components/predicateAnalysis-100s-generate-cmc-condition.properties -condfile conditions/predicate.${inputfile_name}.files/output/AssumptionAutomaton.txt.gz -reducer -setprop cpa.composite.aggregateBasicBlocks=false -reducer -stack 800M -reducer -setprop residualprogram.strategy=CONDITION -verif none -type SMACK
../../sv-benchmarks/c/ status cputime (s) walltime (s) memUsage cpuenergy (J) host status cputime (s) walltime (s) memUsage cpuenergy (J) host status cputime (s) walltime (s) memUsage cpuenergy (J) host
array-examples/data_structures_set_multi_proc_false-unreach-call_ground.i 2.99   2.83   117194752 36.6   apollon110 2.52 1.07  272412672 23.6 apollon152 2.05    .863   186466304 19.7     apollon146
array-examples/sorting_bubblesort_false-unreach-call2_ground.i 2.38   2.32   95956992 31.8   apollon017 2.48 1.06  266936320 22.8 apollon077 1.92    .835   177684480 18.4     apollon067
array-examples/sorting_bubblesort_false-unreach-call_ground.i 2.38   2.30   91672576 34.4   apollon014 2.58 1.06  271364096 23.2 apollon146 1.96    .847   182226944 17.1     apollon109
array-examples/sorting_selectionsort_false-unreach-call2_ground.i 18.7    17.7    563429376 241     apollon126 2.52 1.05  273469440 25.9 apollon021 1.91    .853   188465152 18.2     apollon095
array-examples/sorting_selectionsort_false-unreach-call_ground.i 119      118      662609920 1550     apollon046 2.51 1.10  269996032 22.5 apollon070 2.19    .931   184516608 19.6     apollon006
array-examples/standard_allDiff2_false-unreach-call_ground.i 19.7    19.3    135065600 235     apollon153 2.55 1.02  272674816 20.6 apollon100 2.06    .838   178601984 16.5     apollon029
array-examples/standard_copy1_false-unreach-call_ground.i 2.26   2.16   89886720 28.3   apollon082 2.47 1.04  270622720 21.5 apollon012 2.01    .846   185397248 16.6     apollon060
array-examples/standard_copy2_false-unreach-call_ground.i 2.34   2.21   120496128 29.4   apollon093 2.63 1.07  266743808 24.9 apollon044 1.94    .840   186929152 19.0     apollon015
array-examples/standard_copy3_false-unreach-call_ground.i 2.43   2.32   87076864 34.0   apollon044 2.54 1.10  266362880 21.5 apollon157 2.04    .861   180948992 18.0     apollon050
array-examples/standard_copy4_false-unreach-call_ground.i 2.48   2.33   95789056 30.7   apollon120 2.57 1.05  271839232 23.3 apollon112 1.93    .841   184225792 18.5     apollon113
array-examples/standard_copy5_false-unreach-call_ground.i 2.62   2.44   106938368 31.1   apollon074 2.76 1.09  293363712 23.0 apollon025 1.95    .844   179585024 17.6     apollon042
array-examples/standard_copy6_false-unreach-call_ground.i 2.63   2.41   118546432 34.1   apollon114 2.47 1.03  267083776 22.3 apollon120 2.01    .848   185212928 21.2     apollon036
array-examples/standard_copy7_false-unreach-call_ground.i 2.74   2.53   104001536 36.1   apollon112 2.52 1.07  271093760 25.7 apollon057 2.05    .850   181219328 17.8     apollon149
array-examples/standard_copy8_false-unreach-call_ground.i 2.83   2.56   130199552 31.5   apollon104 2.74 1.13  269246464 23.6 apollon015 2.09    .907   191983616 16.3     apollon151
array-examples/standard_copy9_false-unreach-call_ground.i 2.94   2.65   143265792 32.9   apollon127 2.61 1.06  270417920 21.9 apollon045 1.96    .852   179322880 17.1     apollon083
array-examples/standard_copyInitSum2_false-unreach-call_ground.i 2.13   2.08   86757376 26.1   apollon121 2.44 1.04  267759616 21.5 apollon085 1.92    .848   183996416 16.7     apollon139
array-examples/standard_init1_false-unreach-call_ground.i 2.02   1.98   85069824 24.4   apollon096 2.45 1.04  267902976 20.9 apollon157 1.89    .837   185896960 18.9     apollon019
array-examples/standard_init2_false-unreach-call_ground.i 2.01   1.95   86298624 23.3   apollon115 2.38 1.03  268550144 22.5 apollon067 1.93    .837   185860096 19.5     apollon138
array-examples/standard_init3_false-unreach-call_ground.i 2.05   1.98   87625728 25.7   apollon015 2.47 1.02  271982592 25.8 apollon021 1.87    .834   178978816 18.6     apollon114
array-examples/standard_init4_false-unreach-call_ground.i 2.06   1.98   83079168 24.4   apollon119 2.61 1.08  274423808 20.3 apollon089 2.21    .939   183570432 20.2     apollon015
array-examples/standard_init5_false-unreach-call_ground.i 2.07   1.98   86978560 25.5   apollon145 2.56 1.04  266813440 22.3 apollon118 1.89    .844   187420672 20.1     apollon163
array-examples/standard_init6_false-unreach-call_ground.i 2.11   1.99   79605760 27.0   apollon138 2.57 1.05  267812864 23.4 apollon152 1.93    .845   183324672 17.7     apollon150
array-examples/standard_init7_false-unreach-call_ground.i 2.11   1.98   84529152 27.4   apollon091 2.48 1.04  269676544 25.6 apollon021 2.01    .855   184045568 17.8     apollon050
array-examples/standard_init8_false-unreach-call_ground.i 2.15   2.09   80961536 26.0   apollon075 2.50 1.06  268128256 21.8 apollon018 2.00    .846   181829632 18.4     apollon032
array-examples/standard_init9_false-unreach-call_ground.i 2.20   2.12   113897472 27.2   apollon038 2.54 1.05  269008896 26.2 apollon039 1.97    .859   187891712 19.9     apollon048
array-examples/standard_minInArray_false-unreach-call_ground.i 2.06   1.95   84926464 26.5   apollon138 2.61 1.02  267812864 23.6 apollon015 1.90    .834   186437632 16.7     apollon115
array-examples/standard_partition_false-unreach-call_ground.i 2.34   2.24   87805952 25.7   apollon041 2.51 1.06  268705792 21.6 apollon082 2.00    .856   187297792 20.8     apollon056
array-examples/standard_running_false-unreach-call.i 2.41   2.35   105861120 27.5   apollon143 2.64 1.07  264208384 21.3 apollon053 1.99    .908   179175424 17.2     apollon157
array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i 2.46   2.33   94326784 30.1   apollon018 2.60 1.06  272642048 20.8 apollon151 2.06    .863   186101760 17.3     apollon100
array-examples/data_structures_set_multi_proc_true-unreach-call_ground.i 881      880      217825280 11100     apollon049 2.47 1.06  266264576 20.2 apollon117 2.00    .852   188526592 18.9     apollon147
array-examples/relax_true-unreach-call.i 881      880      364322816 8470     apollon123 6.31 2.05  316092416 54.9 apollon007 3.61    1.18    248274944 31.3     apollon153
array-examples/sanfoundry_02_true-unreach-call_ground.i 1.58   1.52   87998464 17.8   apollon040 2.54 1.05  269328384 20.6 apollon099 1.98    .859   184479744 18.9     apollon055
array-examples/sanfoundry_10_true-unreach-call_ground.i 4.51   4.39   86851584 57.7   apollon078 101    73.5   3730948096 1140   apollon018 3.11    1.19    230285312 26.7     apollon006
array-examples/sanfoundry_24_true-unreach-call_true-termination.i 881      880      311324672 11200     apollon146 2.46 1.05  268558336 22.1 apollon084 1.94    .856   181616640 20.8     apollon160
array-examples/sanfoundry_27_true-unreach-call_ground.i 2.01   2.02   89694208 26.5   apollon138 2.48 1.06  265367552 21.5 apollon072 1.95    .849   187146240 20.2     apollon122
array-examples/sanfoundry_43_true-unreach-call_ground.i 1.37   1.37   71798784 16.6   apollon096 2.53 1.05  266354688 25.7 apollon160 .0211  .0219  888832 .00855 apollon094
array-examples/sorting_bubblesort_true-unreach-call_ground.i 22.8    22.5    139190272 282     apollon156 2.53 1.08  269271040 21.5 apollon157 1.92    .846   181248000 18.6     apollon076
array-examples/sorting_selectionsort_true-unreach-call_ground.i 882      981      765296640 11100     apollon046 2.50 1.04  269221888 21.7 apollon026 2.01    .876   190410752 17.8     apollon150
array-examples/standard_compareModified_true-unreach-call_ground.i 1.55   1.53   77062144 20.5   apollon019 2.37 1.05  269266944 21.6 apollon087 1.95    .845   180621312 18.9     apollon124
array-examples/standard_compare_true-unreach-call_ground.i 1.88   1.77   80769024 23.8   apollon024 2.49 1.04  266219520 21.2 apollon002 1.91    .830   183123968 18.8     apollon146
array-examples/standard_copy1_true-unreach-call_ground.i 2.21   2.15   85229568 34.4   apollon056 2.46 1.06  264511488 21.5 apollon072 1.88    .833   181116928 19.4     apollon020
array-examples/standard_copy2_true-unreach-call_ground.i 2.29   2.18   85991424 31.8   apollon148 2.68 1.09  274247680 19.3 apollon158 1.92    .837   182829056 18.1     apollon067
array-examples/standard_copy3_true-unreach-call_ground.i 2.42   2.33   82055168 29.8   apollon009 2.48 1.05  263942144 23.7 apollon161 1.98    .841   184422400 18.0     apollon070
array-examples/standard_copy4_true-unreach-call_ground.i 2.54   2.39   85958656 28.8   apollon089 2.50 1.07  270069760 22.7 apollon093 1.95    .831   177049600 18.6     apollon118
array-examples/standard_copy5_true-unreach-call_ground.i 2.76   2.68   90882048 35.2   apollon018 2.54 1.08  270479360 23.8 apollon020 1.94    .847   180998144 18.1     apollon119
array-examples/standard_copy6_true-unreach-call_ground.i 2.97   2.84   90656768 35.6   apollon157 2.49 1.05  264380416 24.6 apollon081 1.95    .842   183590912 19.6     apollon094
array-examples/standard_copy7_true-unreach-call_ground.i 3.05   2.94   94359552 35.6   apollon079 2.72 1.06  294158336 23.9 apollon120 2.09    .880   184020992 21.7     apollon036
array-examples/standard_copy8_true-unreach-call_ground.i 3.24   3.12   98054144 43.3   apollon019 2.65 1.05  291987456 24.5 apollon077 2.08    .882   184602624 17.1     apollon029
array-examples/standard_copy9_true-unreach-call_ground.i 3.28   3.14   105418752 39.7   apollon154 2.56 1.06  270852096 22.6 apollon084 2.00    .885   183652352 16.7     apollon134
array-examples/standard_copyInitSum2_true-unreach-call_ground.i 2.23   2.15   83595264 30.4   apollon132 2.56 1.04  271286272 21.4 apollon045 1.87    .820   179822592 17.8     apollon168
array-examples/standard_copyInitSum3_true-unreach-call_ground.i 2.68   2.56   88940544 29.4   apollon054 2.48 1.06  270450688 21.2 apollon082 1.97    .836   182804480 17.7     apollon001
array-examples/standard_copyInitSum_true-unreach-call_ground.i 2.15   2.12   79044608 30.1   apollon088 2.49 1.05  270446592 24.7 apollon106 2.00    .881   178814976 17.6     apollon157
array-examples/standard_copyInit_true-unreach-call_ground.i 1.93   1.88   83779584 22.2   apollon153 2.46 1.09  266682368 24.3 apollon030 1.91    .831   184811520 16.2     apollon083
array-examples/standard_find_true-unreach-call_ground.i 2.54   2.46   85991424 32.5   apollon135 2.48 1.05  268480512 25.1 apollon057 1.87    .833   181473280 16.4     apollon003
array-examples/standard_init1_true-unreach-call_ground.i 1.76   1.68   78725120 20.4   apollon086 2.48 1.03  265166848 21.4 apollon095 1.94    .823   178528256 16.3     apollon083
array-examples/standard_init2_true-unreach-call_ground.i 1.83   1.77   76128256 20.2   apollon098 2.59 1.06  271470592 19.1 apollon092 2.00    .836   181927936 17.9     apollon079
array-examples/standard_init3_true-unreach-call_ground.i 1.87   1.77   81928192 21.8   apollon086 2.48 1.02  269938688 21.0 apollon058 2.01    .921   184954880 17.0     apollon060
array-examples/standard_init4_true-unreach-call_ground.i 1.95   1.87   74272768 22.1   apollon116 2.47 1.04  266502144 20.6 apollon127 2.05    .876   180416512 18.4     apollon015
array-examples/standard_init5_true-unreach-call_ground.i 2.06   1.99   81645568 23.3   apollon109 2.58 1.07  267907072 22.5 apollon142 1.99    .848   184684544 19.1     apollon112
array-examples/standard_init6_true-unreach-call_ground.i 2.07   1.96   83742720 25.9   apollon038 2.44 1.05  267489280 20.0 apollon098 1.95    .866   180170752 19.2     apollon141
array-examples/standard_init7_true-unreach-call_ground.i 2.15   2.09   78585856 24.9   apollon025 2.51 1.08  267612160 19.6 apollon151 1.95    .867   187674624 16.6     apollon098
array-examples/standard_init8_true-unreach-call_ground.i 2.21   2.09   91521024 27.3   apollon162 2.49 1.04  270630912 23.9 apollon047 2.02    .881   185810944 17.6     apollon025
array-examples/standard_init9_true-unreach-call_ground.i 2.26   2.19   91865088 23.8   apollon092 2.51 1.04  266563584 20.3 apollon043 1.99    .847   190402560 17.3     apollon013
array-examples/standard_maxInArray_true-unreach-call_ground.i 2.05   1.96   81076224 24.0   apollon131 2.48 1.03  268001280 22.4 apollon168 1.95    .832   186232832 17.5     apollon034
array-examples/standard_minInArray_true-unreach-call_ground.i 2.06   1.95   80850944 26.9   apollon152 2.65 1.04  269180928 21.1 apollon042 1.94    .836   187297792 17.1     apollon065
array-examples/standard_palindrome_true-unreach-call_ground.i 1.63   1.57   73711616 18.6   apollon073 2.54 1.05  273584128 19.8 apollon151 1.96    .824   184053760 19.9     apollon080
array-examples/standard_partial_init_true-unreach-call_ground.i 122      121      100683776 1770     apollon033 2.67 1.11  270290944 25.1 apollon106 1.99    .835   184791040 17.8     apollon079
array-examples/standard_partition_original_true-unreach-call_ground.i 64.3    64.2    98963456 825     apollon105 2.73 1.17  270344192 22.4 apollon168 1.94    .846   180424704 17.4     apollon018
array-examples/standard_partition_true-unreach-call_ground.i 21.6    21.6    88215552 273     apollon166 2.50 1.05  271712256 21.1 apollon053 1.94    .831   184958976 16.9     apollon100
array-examples/standard_password_true-unreach-call_ground.i 1.89   1.77   87425024 21.1   apollon002 2.42 1.03  269025280 22.2 apollon038 1.99    .860   181092352 19.0     apollon010
array-examples/standard_reverse_true-unreach-call_ground.i 1.85   1.76   86831104 21.6   apollon050 2.55 1.06  269656064 24.2 apollon161 1.91    .832   188551168 17.9     apollon142
array-examples/standard_running_true-unreach-call.i 1.86   1.83   72220672 22.9   apollon097 2.48 1.05  271241216 20.7 apollon133 1.86    .840   178601984 19.0     apollon048
array-examples/standard_sentinel_true-unreach-call_true-termination.i 1.80   1.78   88297472 22.1   apollon067 2.45 1.03  268648448 22.5 apollon032 1.94    .852   185548800 19.2     apollon088
array-examples/standard_seq_init_true-unreach-call_ground.i 1.95   1.88   80482304 22.0   apollon012 2.47 1.06  270946304 21.4 apollon042 1.92    .836   178462720 20.5     apollon160
array-examples/standard_strcmp_true-unreach-call_ground.i 1.84   1.75   75431936 22.8   apollon076 2.66 1.05  295841792 24.4 apollon076 1.94    .842   183525376 20.1     apollon014
array-examples/standard_strcpy_original_true-unreach-call.i 6.34   6.19   99090432 77.7   apollon129 2.57 1.07  264450048 23.6 apollon081 1.93    .848   188014592 18.1     apollon070
array-examples/standard_strcpy_true-unreach-call_ground.i 4.34   4.19   96313344 65.3   apollon160 2.48 1.02  269180928 23.9 apollon007 2.06    .918   190164992 19.4     apollon145
array-examples/standard_two_index_01_true-unreach-call.i 883      981      1078530048 10700     apollon066 2.47 1.03  271372288 24.1 apollon014 1.89    .827   180523008 18.0     apollon105
array-examples/standard_two_index_02_true-unreach-call.i 1.75   1.69   78721024 21.9   apollon006 2.55 1.06  266633216 22.9 apollon167 2.06    .851   183578624 17.3     apollon075
array-examples/standard_two_index_03_true-unreach-call.i 899      981      4204302336 12100     apollon142 2.57 1.06  266534912 20.9 apollon025 1.94    .830   188764160 16.6     apollon104
array-examples/standard_two_index_04_true-unreach-call.i 1.65   1.58   81285120 21.5   apollon108 2.53 1.04  268087296 25.4 apollon057 1.91    .843   182349824 18.7     apollon148
array-examples/standard_two_index_05_true-unreach-call.i 1.64   1.58   83480576 22.2   apollon008 2.46 1.02  268779520 20.8 apollon058 1.91    .834   179195904 18.1     apollon105
array-examples/standard_two_index_06_true-unreach-call.i 889      981      1182683136 10900     apollon137 2.44 1.04  266018816 20.2 apollon123 1.94    .838   180895744 16.6     apollon029
array-examples/standard_two_index_07_true-unreach-call.i 1.62   1.55   83574784 17.5   apollon151 2.48 1.04  269139968 22.3 apollon142 2.00    .885   182927360 18.2     apollon138
array-examples/standard_two_index_08_true-unreach-call.i 1.64   1.58   79179776 18.1   apollon116 2.51 1.04  269012992 22.7 apollon032 1.98    .842   182222848 18.2     apollon049
array-examples/standard_two_index_09_true-unreach-call.i 1.59   1.55   78483456 17.1   apollon092 2.50 1.05  267792384 21.2 apollon157 1.96    .827   183750656 17.1     apollon129
array-examples/standard_vararg_true-unreach-call_ground_true-termination.i 881      880      481140736 10400     apollon131 2.47 1.03  272302080 21.7 apollon004 1.92    .836   187658240 17.2     apollon115
array-examples/standard_vector_difference_true-unreach-call_ground.i 2.26   2.15   87310336 30.3   apollon048 2.44 1.03  263282688 22.9 apollon015 1.91    .841   182185984 16.9     apollon018
array-industry-pattern/array_assert_loop_dep_false-unreach-call_true-termination.i 2.03   1.96   93413376 29.9   apollon021 2.58 1.05  270540800 25.9 apollon039 1.89    .841   187633664 15.7     apollon158
array-industry-pattern/array_of_struct_loop_dep_false-unreach-call.i 2.05   1.97   80846848 23.3   apollon115 101    72.2   3686895616 1160   apollon141 2.73    .997   225804288 20.8     apollon158
array-industry-pattern/array_ptr_single_elem_init_false-unreach-call_true-termination.i 2.75   2.61   91660288 34.0   apollon153 2.56 1.10  267821056 21.8 apollon011 1.96    .832   182145024 20.8     apollon039
array-industry-pattern/array_range_init_false-unreach-call.i 2.05   1.98   83017728 23.9   apollon025 2.48 1.04  265711616 22.6 apollon168 1.96    .868   188706816 17.2     apollon115
array-industry-pattern/array_single_elem_init_false-unreach-call_true-termination.i 2.72   2.61   100745216 32.0   apollon013 2.49 1.04  269717504 24.6 apollon016 1.97    .836   177455104 19.8     apollon124
array-industry-pattern/check_removal_from_set_after_insertion_false-unreach-call.i 5.13   4.88   102281216 71.2   apollon077 101    71.3   3689865216 1060   apollon025 4.98    1.46    269737984 40.1     apollon081
array-industry-pattern/array_monotonic_true-unreach-call_true-termination.i 1.77   1.68   73314304 18.2   apollon158 2.51 1.08  267730944 21.8 apollon121 1.85    .829   178204672 18.9     apollon048
array-industry-pattern/array_mul_init_true-unreach-call_true-termination.i 881      981      168718336 11400     apollon102 2.46 1.04  265089024 21.1 apollon157 1.95    .841   178499584 16.7     apollon149
array-industry-pattern/array_of_struct_break_true-unreach-call.i 1.86   1.78   84267008 23.3   apollon101 101    73.8   3707666432 1050   apollon100 2.26    .922   215719936 19.3     apollon082
array-industry-pattern/array_of_struct_ptr_cond_init_true-unreach-call.i 4.32   4.16   91897856 49.8   apollon043 101    77.5   3476049920 1180   apollon085 3.67    1.21    250294272 29.7     apollon104
array-industry-pattern/array_of_struct_ptr_flag_init_true-unreach-call.i 1.97   1.86   76898304 23.9   apollon096 101    74.5   3696898048 1040   apollon128 3.41    1.14    236822528 25.5     apollon041
array-industry-pattern/array_of_struct_ptr_monotonic_true-unreach-call.i 2.01   1.97   83828736 26.2   apollon024 101    78.2   3546808320 1180   apollon011 4.04    1.33    250548224 32.1     apollon096
array-industry-pattern/array_of_struct_ptr_mul_init_true-unreach-call.i 880      981      682475520 9750     apollon135 101    72.5   3717758976 1100   apollon156 3.60    1.18    251551744 30.8     apollon074
array-industry-pattern/array_of_struct_single_elem_init_true-unreach-call.i 7.57   7.40   93200384 111     apollon030 101    73.4   3714146304 975   apollon054 2.32    .942   219942912 23.2     apollon126
array-industry-pattern/array_ptr_partial_init_true-unreach-call.i 1.77   1.66   90251264 21.3   apollon095 101    74.9   3696025600 1100   apollon012 2.25    .915   223973376 22.7     apollon108
array-industry-pattern/array_ptr_single_elem_init_true-unreach-call.i 14.4    14.3    106528768 183     apollon156 101    75.4   3036516352 1050   apollon128 3.71    1.20    252182528 26.8     apollon063
array-industry-pattern/array_shadowinit_true-unreach-call_true-termination.i 881      880      386650112 13500     apollon161 101    76.0   3866857472 1240   apollon140 1.82    .787   180068352 15.1     apollon040
reducercommutativity/rangesum05_false-unreach-call_true-termination.i 1.87   1.78   87379968 23.7   apollon141 7.69 2.37  413929472 56.8 apollon043 .0138  .0142  921600 .00922 apollon134
reducercommutativity/rangesum10_false-unreach-call_true-termination.i 2.00   1.91   79044608 27.3   apollon148 12.5  3.47  480616448 107   apollon125 .00873 .00866 872448 .00775 apollon060
reducercommutativity/rangesum20_false-unreach-call.i 2.34   2.17   89227264 27.9   apollon078 31.2  7.98  1050562560 247   apollon018 .00981 .00987 905216 .00531 apollon044
reducercommutativity/rangesum40_false-unreach-call.i 3.27   3.02   123273216 37.8   apollon157 59.3  28.1   2526670848 580   apollon152 .00879 .00870 942080 .00793 apollon045
reducercommutativity/rangesum60_false-unreach-call.i 4.90   4.67   184901632 57.4   apollon037 101    62.0   3709898752 998   apollon086 5.75    1.75    374288384 48.0     apollon067
reducercommutativity/rangesum_false-unreach-call_true-termination.i 12.5    12.3    87617536 154     apollon120 8.10 2.38  463929344 73.3 apollon057 .0110  .0112  880640 .00848 apollon061
reducercommutativity/avg05_true-unreach-call_true-termination.i 1.40   1.38   73424896 15.8   apollon109 101    71.8   4092358656 1120   apollon020 2.46    .926   231755776 18.8     apollon089
reducercommutativity/avg10_true-unreach-call_true-termination.i 1.41   1.35   73551872 16.9   apollon073 101    67.7   4059254784 878   apollon158 2.34    .944   226168832 21.8     apollon091
reducercommutativity/avg20_true-unreach-call.i 1.56   1.51   86564864 19.5   apollon051 101    61.5   2672193536 894   apollon009 2.50    .966   226234368 20.0     apollon003
reducercommutativity/avg40_true-unreach-call.i 2.02   1.95   128458752 25.2   apollon101 65.4  32.7   2740805632 684   apollon030 .0117  .0114  794624 .00909 apollon162
reducercommutativity/avg60_true-unreach-call.i 2.91   2.80   208121856 33.1   apollon045 101    70.1   3723132928 1230   apollon007 4.77    1.47    269803520 38.3     apollon086
reducercommutativity/avg_true-unreach-call_true-termination.i 880      880      140701696 12300     apollon164 101    70.6   4207607808 984   apollon040 2.16    .873   221143040 21.8     apollon122
reducercommutativity/max05_true-unreach-call_true-termination.i 1.41   1.37   71598080 16.4   apollon137 101    82.2   1129910272 796   apollon101 2.18    .896   200183808 19.2     apollon127
reducercommutativity/max10_true-unreach-call_true-termination.i 1.64   1.57   77209600 20.0   apollon156 102    81.1   1571536896 1150   apollon085 3.57    1.18    246034432 30.9     apollon113
reducercommutativity/max20_true-unreach-call.i 3.73   3.67   100577280 51.9   apollon014 102    59.7   3975331840 1160   apollon160 4.12    1.31    270905344 32.8     apollon110
reducercommutativity/max40_true-unreach-call.i 27.2    27.2    182542336 224     apollon163 65.6  33.5   2954465280 555   apollon158 .0126  .0139  1015808 .00000 apollon167
reducercommutativity/max60_true-unreach-call.i 168      168      325648384 1280     apollon155 101    70.4   3720253440 1150   apollon052 1.87    .794   173367296 14.5     apollon092
reducercommutativity/max_true-unreach-call_true-termination.i 881      880      389709824 10500     apollon162 101    78.1   3196026880 1100   apollon162 2.29    .916   221200384 23.9     apollon036
reducercommutativity/sep05_true-unreach-call_true-termination.i 1.41   1.37   66670592 18.9   apollon148 101    73.4   3047858176 879   apollon076 2.72    1.02    233156608 20.4     apollon054
reducercommutativity/sep10_true-unreach-call.i 2.23   2.17   77316096 30.4   apollon010 101    79.6   2550169600 1090   apollon045 3.77    1.25    252813312 31.1     apollon012
reducercommutativity/sep20_true-unreach-call.i 881      981      102166528 11400     apollon066 101    38.3   3863842816 771   apollon005 4.74    1.41    268906496 40.8     apollon021
reducercommutativity/sep40_true-unreach-call.i 881      981      161058816 12700     apollon164 68.5  36.4   3073941504 653   apollon107 .0139  .0136  966656 .00787 apollon118
reducercommutativity/sep60_true-unreach-call.i 881      981      243929088 11000     apollon142 101    68.4   3695423488 1020   apollon002 6.57    2.05    404951040 53.0     apollon101
reducercommutativity/sep_true-unreach-call_true-termination.i 881      880      173297664 10600     apollon099 101    70.5   3884142592 1100   apollon018 2.23    .913   218071040 21.6     apollon167
reducercommutativity/sum05_true-unreach-call_true-termination.i 1.38   1.37   75132928 16.5   apollon133 101    80.1   3679051776 1130   apollon086 2.31    .912   195964928 21.0     apollon052
reducercommutativity/sum10_true-unreach-call_true-termination.i 1.40   1.36   77434880 17.9   apollon138 101    70.7   4019585024 1120   apollon071 2.32    .914   202952704 21.8     apollon141
reducercommutativity/sum20_true-unreach-call.i 1.56   1.53   83947520 18.1   apollon110 101    62.1   2938724352 817   apollon092 2.45    .944   226934784 21.8     apollon061
reducercommutativity/sum40_true-unreach-call.i 1.99   1.92   127651840 23.4   apollon037 62.7  31.0   2867589120 603   apollon120 .0242  .0249  978944 .00879 apollon077
reducercommutativity/sum60_true-unreach-call.i 2.82   2.69   205594624 32.2   apollon149 101    71.0   3711438848 1110   apollon162 4.97    1.55    299683840 42.7     apollon065
reducercommutativity/sum_true-unreach-call_true-termination.i 881      880      374673408 11400     apollon108 101    76.1   3641413632 1170   apollon038 2.17    .865   187572224 19.1     apollon082
array-tiling/mlceu_false-unreach-call.i 882      880      199884800 7810     apollon048 3.63 1.50  282714112 31.9 apollon084 2.35    .929   215633920 19.0     apollon042
array-tiling/skippedu_false-unreach-call.i 2.06   2.02   90648576 23.7   apollon045 3.63 1.44  288727040 31.1 apollon026 .00750 .0104  880640 .00000 apollon113
array-tiling/mbpr2_true-unreach-call.i 881      880      431751168 11900     apollon047 101    67.8   3743059968 1150   apollon081 2.37    .977   221503488 23.5     apollon126
array-tiling/mbpr3_true-unreach-call.i 881      880      435212288 9200     apollon151 101    65.5   3797508096 1140   apollon007 2.41    .956   223678464 22.6     apollon145
array-tiling/mbpr4_true-unreach-call.i 881      981      477749248 11900     apollon148 101    68.1   3704430592 958   apollon151 2.41    .939   222670848 20.8     apollon002
array-tiling/mbpr5_true-unreach-call.i 881      981      549486592 9720     apollon114 101    72.4   3754287104 1260   apollon014 1.83    .802   177565696 17.2     apollon165
array-tiling/nr2_true-unreach-call.i 881      880      363339776 10700     apollon103 101    69.6   3708661760 1020   apollon042 2.48    1.01    220352512 21.3     apollon103
array-tiling/nr3_true-unreach-call.i 881      880      365608960 10800     apollon079 101    72.0   3858083840 1190   apollon167 2.32    .911   230817792 19.7     apollon115
array-tiling/nr4_true-unreach-call.i 881      880      397660160 10600     apollon075 101    69.1   3838636032 1040   apollon034 2.14    .864   196751360 20.5     apollon006
array-tiling/nr5_true-unreach-call.i 881      880      396005376 9490     apollon037 101    64.7   3552428032 894   apollon158 2.08    .860   190996480 19.4     apollon064
array-tiling/pnr2_true-unreach-call.i 881      880      200912896 11200     apollon034 101    70.1   3902996480 1130   apollon146 2.18    .860   191533056 19.2     apollon121
array-tiling/pnr3_true-unreach-call.i 881      880      207626240 12000     apollon101 101    61.8   4284567552 1070   apollon091 2.03    .836   184807424 19.9     apollon081
array-tiling/pnr4_true-unreach-call.i 881      880      233730048 11700     apollon142 101    65.1   4213096448 1030   apollon146 2.12    .873   188686336 20.1     apollon067
array-tiling/pnr5_true-unreach-call.i 881      880      222658560 11900     apollon101 105    58.6   4311687168 965   apollon082 2.19    .859   191823872 17.9     apollon115
array-tiling/poly1_true-unreach-call.i 881      880      665432064 8140     apollon093 101    75.9   2480005120 992   apollon079 2.27    .871   221843456 19.3     apollon078
array-tiling/poly2_true-unreach-call.i .134  .134  20770816 1.36  apollon094 101    70.5   3057106944 999   apollon002 2.11    .857   191778816 20.1     apollon031
array-tiling/pr2_true-unreach-call.i 881      880      394969088 10300     apollon128 101    71.5   3607281664 1170   apollon164 2.37    .960   225103872 19.4     apollon115
array-tiling/pr3_true-unreach-call.i 881      880      443740160 11600     apollon052 101    76.4   3561402368 1100   apollon079 2.81    .995   230637568 22.2     apollon123
array-tiling/pr4_true-unreach-call.i 881      880      426307584 10200     apollon127 101    72.8   3111403520 1090   apollon078 2.77    1.02    229724160 23.2     apollon018
array-tiling/pr5_true-unreach-call.i 881      880      430215168 11200     apollon087 101    76.9   3330641920 1260   apollon019 3.31    1.12    238997504 25.1     apollon115
array-tiling/revcpyswp2_true-unreach-call.i 881      880      295682048 9790     apollon118 101    75.9   3419410432 1100   apollon086 2.28    .938   223633408 20.7     apollon130
array-tiling/rew_true-unreach-call.i 881      880      437325824 11300     apollon011 102    68.0   3862368256 1050   apollon058 2.12    .856   188383232 18.4     apollon032
array-tiling/rewnif_true-unreach-call.i 881      880      405352448 10700     apollon045 101    71.0   3374350336 1250   apollon044 2.51    .939   222904320 21.9     apollon146
array-tiling/rewnifrev2_true-unreach-call.i 881      880      328425472 10700     apollon099 101    74.7   2781618176 1150   apollon095 2.23    .880   224464896 20.3     apollon065
array-tiling/rewnifrev_true-unreach-call.i 881      880      328441856 11000     apollon062 101    76.7   2974679040 1130   apollon119 2.03    .852   188817408 19.7     apollon020
array-tiling/rewrev_true-unreach-call.i 881      880      293990400 10300     apollon098 101    77.2   2405355520 1040   apollon151 2.34    .925   224796672 22.0     apollon148
array-tiling/skipped_true-unreach-call.i 881      880      226840576 10700     apollon157 101    66.6   4037947392 1020   apollon032 2.50    .963   225587200 20.5     apollon040
array-tiling/tcpy_true-unreach-call.i 881      880      290349056 12200     apollon005 101    71.5   3962458112 1260   apollon161 2.03    .855   186929152 18.5     apollon034
array-programs/copysome1_false-unreach-call.i 884      981      863473664 12200     apollon164 2.65 1.04  291065856 24.0 apollon077 1.91    .842   183808000 18.8     apollon091
array-programs/copysome2_false-unreach-call.i 884      981      905428992 10600     apollon041 2.45 1.04  270254080 20.2 apollon099 2.00    .839   184893440 17.8     apollon075
array-programs/copysome1_true-unreach-call.i 884      981      881954816 12600     apollon028 2.71 1.05  290291712 23.2 apollon034 1.96    .884   182304768 17.2     apollon002
array-programs/copysome2_true-unreach-call.i 884      981      952668160 12100     apollon138 2.42 1.05  268816384 20.6 apollon127 1.98    .866   183775232 20.2     apollon148
bitvector/byte_add_false-unreach-call_true-no-overflow_true-termination.i 5.00   4.81   134639616 62.0   apollon082 5.26 1.83  301273088 44.9 apollon165 3.23    1.15    239124480 28.3     apollon006
bitvector/sum02_false-unreach-call_true-no-overflow.i 882      882      445341696 11200     apollon087 3.52 1.47  280109056 30.1 apollon082 2.11    .855   200888320 19.6     apollon006
bitvector/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i 12.1    11.9    149327872 143     apollon129 6.03 2.09  319234048 51.7 apollon091 3.13    1.10    239513600 30.5     apollon108
bitvector/byte_add_2_true-unreach-call_true-no-overflow_true-termination.i 15.1    15.0    153346048 180     apollon061 5.73 1.89  317952000 52.7 apollon126 3.22    1.10    240652288 30.6     apollon056
bitvector/gcd_1_true-unreach-call_true-no-overflow.i 1.85   1.78   79347712 21.2   apollon003 4.10 1.51  304193536 33.4 apollon079 2.35    .899   223977472 18.7     apollon127
bitvector/gcd_2_true-unreach-call_true-no-overflow.i 842      842      299995136 12100     apollon077 3.46 1.37  273186816 31.5 apollon112 .00986 .0105  942080 .00000 apollon150
bitvector/gcd_3_true-unreach-call_true-no-overflow.i 881      981      190091264 8990     apollon063 3.62 1.47  288235520 31.8 apollon076 2.29    .906   220950528 19.4     apollon001
bitvector/gcd_4_true-unreach-call_true-no-overflow_true-termination.i 1.67   1.66   79069184 23.0   apollon027 5.16 1.76  313200640 44.6 apollon156 2.67    .999   220405760 22.5     apollon084
bitvector/interleave_bits_true-unreach-call_true-no-overflow.i 1.42   1.39   73682944 18.2   apollon048 7.33 2.28  452468736 62.2 apollon126 2.43    .946   221900800 21.2     apollon001
bitvector/jain_1_true-unreach-call_true-no-overflow_false-termination.i 889      880      233410560 7550     apollon145 2.84 1.19  277032960 29.1 apollon021 .00809 .00840 872448 .00384 apollon075
bitvector/jain_2_true-unreach-call_true-no-overflow_false-termination.i 886      880      247263232 8240     apollon154 3.21 1.20  293670912 27.2 apollon022 .0157  .0160  864256 .00696 apollon003
bitvector/jain_4_true-unreach-call_true-no-overflow_false-termination.i 884      880      256782336 9480     apollon161 3.11 1.25  274595840 27.2 apollon005 .0106  .0104  790528 .0107  apollon014
bitvector/jain_5_true-unreach-call_true-no-overflow.i 885      880      199823360 9290     apollon046 101    80.7   2778210304 1220   apollon052 4.11    1.28    274804736 35.0     apollon118
bitvector/jain_6_true-unreach-call_true-no-overflow_false-termination.i 885      880      265715712 7150     apollon008 3.31 1.25  294891520 25.6 apollon054 .0227  .0239  839680 .00684 apollon066
bitvector/jain_7_true-unreach-call_true-no-overflow_false-termination.i 885      880      292380672 7820     apollon009 2.84 1.18  274214912 26.8 apollon022 .0223  .0221  827392 .00476 apollon023
bitvector/modulus_true-unreach-call_true-no-overflow.i 310      310      257982464 2330     apollon075 3.14 1.31  277803008 27.8 apollon052 2.22    .877   217899008 22.6     apollon056
bitvector/num_conversion_1_true-unreach-call_true-no-overflow.i 1.32   1.36   75091968 16.4   apollon136 4.90 1.77  305999872 42.5 apollon167 2.39    .933   224063488 20.6     apollon109
bitvector/num_conversion_2_true-unreach-call_true-no-overflow.i 1.36   1.36   69259264 18.9   apollon163 4.91 1.77  302903296 42.7 apollon032 2.48    .940   223924224 20.9     apollon144
bitvector/parity_true-unreach-call_true-no-overflow.i 881      880      283021312 11400     apollon075 3.31 1.31  286834688 31.4 apollon014 2.17    .852   188231680 16.9     apollon054
bitvector/sum02_true-unreach-call_true-no-overflow.i 881      880      325394432 10900     apollon074 3.50 1.45  281563136 34.3 apollon108 2.13    .880   217821184 20.0     apollon032
bitvector/s3_clnt_1_false-unreach-call_true-no-overflow.BV.c.cil.c 15.8    15.3    217014272 212     apollon130 10.6  3.08  467173376 93.6 apollon106 6.35    1.94    396869632 52.2     apollon166
bitvector/s3_clnt_2_false-unreach-call_true-no-overflow.BV.c.cil.c 38.3    37.5    244740096 430     apollon122 18.5  5.01  617021440 160   apollon168 6.89    2.19    432119808 54.9     apollon035
bitvector/s3_clnt_3_false-unreach-call_true-no-overflow.BV.c.cil.c 9.12   8.78   190197760 96.7   apollon117 7.04 2.21  388128768 58.5 apollon120 5.18    1.67    301293568 43.4     apollon078
bitvector/s3_clnt_1_true-unreach-call_true-no-overflow.BV.c.cil.c 158      157      360599552 1730     apollon142 14.2  4.01  500178944 106   apollon121 6.25    1.94    410267648 54.8     apollon102
bitvector/s3_clnt_2_true-unreach-call_true-no-overflow.BV.c.cil.c 119      118      339550208 1480     apollon161 24.2  6.77  833982464 199   apollon102 6.97    2.25    418476032 67.7     apollon033
bitvector/s3_clnt_3_true-unreach-call_true-no-overflow.BV.c.cil.c 132      131      359395328 1410     apollon068 101    77.4   3071184896 984   apollon100 3.77    1.22    252616704 31.8     apollon095
bitvector/s3_srvr_1_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 882      880      585277440 7520     apollon110 101    75.1   2657251328 1170   apollon070 2.79    1.03    223477760 26.1     apollon064
bitvector/s3_srvr_1_true-unreach-call_true-no-overflow.BV.c.cil.c 883      880      640606208 6870     apollon041 31.1  8.45  977502208 229   apollon029 .0149  .0146  856064 .0112  apollon108
bitvector/s3_srvr_2_alt_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c 882      880      551194624 6760     apollon089 41.9  18.5   1371332608 409   apollon020 .0115  .0115  1056768 .00934 apollon114
bitvector/s3_srvr_2_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c 883      880      654467072 7250     apollon128 42.8  18.2   1405607936 402   apollon168 .0227  .0240  901120 .00775 apollon004
bitvector/s3_srvr_3_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 883      880      706609152 6970     apollon050 19.0  5.09  630145024 168   apollon030 .00961 .00957 905216 .00391 apollon014
bitvector/s3_srvr_3_true-unreach-call_true-no-overflow.BV.c.cil.c 883      880      715411456 6540     apollon048 62.0  33.8   2281033728 700   apollon161 .0166  .0164  880640 .00830 apollon036
bitvector/soft_float_1_true-unreach-call_true-no-overflow_true-termination.c.cil.c 1.85   1.84   80904192 20.7   apollon041 4.80 1.77  296083456 38.6 apollon100 3.63    1.20    245772288 32.9     apollon007
bitvector/soft_float_2_true-unreach-call_true-no-overflow_true-termination.c.cil.c 1.67   1.59   86876160 18.8   apollon089 7.53 2.34  446177280 63.2 apollon156 5.19    1.66    338444288 45.8     apollon007
bitvector/soft_float_3_true-unreach-call_true-no-overflow_true-termination.c.cil.c 11.2    10.9    119222272 158     apollon065 7.39 2.33  444780544 63.0 apollon091 5.22    1.59    329912320 42.0     apollon166
bitvector/soft_float_4_true-unreach-call_true-no-overflow_true-termination.c.cil.c 16.5    16.5    90742784 252     apollon027 4.21 1.68  290402304 37.0 apollon076 2.99    1.10    233021440 25.3     apollon023
bitvector/soft_float_5_true-unreach-call_true-no-overflow_true-termination.c.cil.c 1.64   1.61   83382272 21.3   apollon156 7.36 2.33  447238144 64.9 apollon077 5.39    1.65    331550720 44.6     apollon102
bitvector-regression/implicitfloatconversion_false-unreach-call_true-termination.c 1.63   1.58   76455936 33.7   apollon106 3.23 1.23  296452096 32.6 apollon039 .0288  .0287  909312 .00647 apollon038
bitvector-regression/implicitunsignedconversion_false-unreach-call_true-termination.c 1.62   1.59   76849152 22.1   apollon114 2.45 1.06  268267520 24.7 apollon016 .0122  .0159  1019904 .00891 apollon032
bitvector-regression/integerpromotion_false-unreach-call_true-termination.c 1.65   1.61   80896000 19.7   apollon104 2.79 1.23  275443712 27.6 apollon148 .0109  .0135  942080 .00000 apollon065
bitvector-regression/recHanoi03_false-unreach-call_true-termination.c 8.75   8.54   77230080 125     apollon113 2.53 1.10  267939840 22.0 apollon011 1.96    .810   182571008 18.4     apollon046
bitvector-regression/signextension2_false-unreach-call_true-termination.c 1.63   1.58   70742016 32.7   apollon106 2.60 1.09  270381056 25.6 apollon016 .00865 .00850 696320 .00000 apollon088
bitvector-regression/signextension_false-unreach-call_true-termination.c 1.63   1.59   78053376 21.2   apollon093 2.55 1.09  272834560 26.6 apollon021 .0165  .0168  974848 .0192  apollon061
bitvector-regression/implicitunsignedconversion_true-unreach-call_true-termination.c 1.31   1.32   82059264 14.6   apollon115 2.94 1.28  276406272 26.1 apollon121 1.89    .834   185491456 19.8     apollon059
bitvector-regression/integerpromotion_true-unreach-call_true-termination.c 1.29   1.30   80293888 17.1   apollon020 2.80 1.24  278286336 24.4 apollon127 1.99    .825   185389056 17.0     apollon100
bitvector-regression/signextension2_true-unreach-call_true-termination.c 1.29   1.29   74383360 16.1   apollon055 3.10 1.31  285671424 30.7 apollon126 2.06    .870   186146816 19.8     apollon007
bitvector-regression/signextension_true-unreach-call_true-termination.c 1.30   1.31   71880704 15.6   apollon071 3.12 1.31  275988480 31.3 apollon111 2.00    .834   187228160 17.8     apollon127
bitvector-loops/diamond_false-unreach-call2.i 2.17   2.13   86896640 27.1   apollon074 6.60 2.03  440332288 58.7 apollon081 .00868 .00842 745472 .0110  apollon117
bitvector-loops/overflow_false-unreach-call1.i 883      981      930996224 10800     apollon003 2.82 1.12  290009088 25.1 apollon052 .00950 .00962 765952 .00769 apollon102
bitvector-loops/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call_true-termination.i 4.89   4.69   106680320 72.3   apollon027 2.88 1.25  270974976 25.6 apollon012 .00956 .00987 851968 .00000 apollon079
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c 4.57   4.34   123400192 61.7   apollon017 10.5  2.91  467931136 92.6 apollon160 .0123  .0123  868352 .00879 apollon093
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c 4.30   4.06   114405376 56.3   apollon067 7.84 2.35  439459840 64.1 apollon156 .0161  .0173  1003520 .00745 apollon068
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c 9.00   8.66   127422464 140     apollon080 8.41 2.46  459096064 66.6 apollon095 .0109  .0119  909312 .00000 apollon080
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c 3.52   3.26   130400256 44.4   apollon003 6.15 2.02  326635520 49.7 apollon025 .0110  .0107  884736 .00855 apollon133
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 30.8    30.3    148131840 406     apollon012 8.90 2.66  453758976 68.8 apollon157 .00900 .00925 1056768 .00867 apollon145
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 5.96   5.73   120279040 88.7   apollon148 7.15 2.11  430432256 59.3 apollon112 .00846 .0125  761856 .0114  apollon161
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c 4.94   4.75   113446912 57.2   apollon092 5.99 1.94  332750848 50.8 apollon070 .0133  .0142  856064 .00909 apollon163
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c 9.73   9.46   128954368 119     apollon127 7.36 2.23  406474752 63.9 apollon022 .0137  .0141  987136 .00751 apollon115
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 1.78   1.71   84525056 22.8   apollon114 3.63 1.40  280764416 35.6 apollon126 .0117  .0122  995328 .00885 apollon029
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c 3.12   3.01   89198592 37.4   apollon043 4.60 1.58  281321472 39.3 apollon146 .0101  .00997 897024 .00934 apollon087
ssh-simplified/s3_clnt_1_false-unreach-call_true-termination.cil.c 4.84   4.55   163942400 52.1   apollon158 9.16 2.75  455581696 75.9 apollon051 .00898 .00926 1011712 .00000 apollon109
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c 4.83   4.57   128761856 60.9   apollon165 8.52 2.48  452268032 66.7 apollon018 .0282  .0274  978944 .00568 apollon153
ssh-simplified/s3_clnt_3_false-unreach-call_true-termination.cil.c 4.94   4.64   131452928 63.6   apollon102 9.85 2.84  453873664 91.4 apollon021 .0128  .0136  954368 .0198  apollon064
ssh-simplified/s3_clnt_4_false-unreach-call_true-termination.cil.c 4.96   4.64   133185536 63.3   apollon038 8.96 2.59  457687040 76.4 apollon047 .0125  .0131  839680 .0106  apollon134
ssh-simplified/s3_srvr_10_false-unreach-call_false-termination.cil.c 3.13   2.98   106823680 45.2   apollon159 4.35 1.63  290156544 37.2 apollon026 .0153  .0152  884736 .00568 apollon055
ssh-simplified/s3_srvr_11_false-unreach-call_false-termination.cil.c 8.89   8.50   160595968 103     apollon104 49.7  19.2   1668919296 479   apollon125 13.7     5.82    553697280 115       apollon147
ssh-simplified/s3_srvr_12_false-unreach-call_false-termination.cil.c 9.28   8.88   171204608 103     apollon043 60.7  34.1   1772802048 619   apollon009 9.34    3.06    527626240 86.3     apollon080
ssh-simplified/s3_srvr_13_false-unreach-call_false-termination.cil.c 4.82   4.50   137285632 58.3   apollon166 9.78 2.78  483901440 73.5 apollon053 .0100  .00981 880640 .0154  apollon130
ssh-simplified/s3_srvr_14_false-unreach-call_false-termination.cil.c 3.52   3.28   121491456 49.9   apollon069 7.83 2.35  419213312 58.0 apollon098 .0145  .0158  827392 .00818 apollon092
ssh-simplified/s3_srvr_1_false-unreach-call_false-termination.cil.c 4.06   3.79   128008192 54.5   apollon108 6.74 2.12  351375360 60.0 apollon030 .0135  .0133  921600 .0120  apollon150
ssh-simplified/s3_srvr_2_false-unreach-call_false-termination.cil.c 3.99   3.67   158097408 50.4   apollon118 6.40 2.06  341139456 52.4 apollon042 .0172  .0167  925696 .00537 apollon060
ssh-simplified/s3_srvr_6_false-unreach-call_false-termination.cil.c 3.06   2.91   100655104 37.3   apollon073 4.09 1.57  288546816 34.7 apollon070 .00952 .00965 794624 .00915 apollon125
ssh-simplified/s3_clnt_1_true-unreach-call_true-termination.cil.c 45.0    44.6    188616704 532     apollon096 16.2  4.63  621895680 131   apollon127 .0139  .0141  946176 .00928 apollon027
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c 45.2    44.7    186023936 489     apollon098 12.4  3.48  488386560 107   apollon111 .0169  .0172  897024 .00623 apollon145
ssh-simplified/s3_clnt_3_true-unreach-call_true-termination.cil.c 45.3    45.0    184451072 547     apollon136 9.73 2.76  496414720 88.7 apollon111 .0128  .0138  921600 .0106  apollon119
ssh-simplified/s3_clnt_4_true-unreach-call_true-termination.cil.c 44.3    43.8    185552896 564     apollon027 18.1  4.97  612642816 134   apollon017 .0105  .0107  753664 .00897 apollon093
ssh-simplified/s3_srvr_1_true-unreach-call_false-termination.cil.c 883      880      378916864 6100     apollon060 41.7  18.1   1533001728 370   apollon133 .0160  .0158  856064 .00867 apollon164
ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c 883      880      324108288 8050     apollon143 7.31 2.23  444444672 61.2 apollon167 .0120  .0117  741376 .00000 apollon117
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c 885      880      289263616 10100     apollon161 3.82 1.48  276803584 34.5 apollon022 .00873 .00964 978944 .0112  apollon094
ssh-simplified/s3_srvr_2_true-unreach-call_false-termination.cil.c 883      880      394924032 6710     apollon073 24.1  6.61  852000768 170   apollon100 .00986 .00968 786432 .00861 apollon113
ssh-simplified/s3_srvr_3_true-unreach-call_false-termination.cil.c 883      880      391766016 6850     apollon013 28.2  7.36  799481856 199   apollon117 .00960 .00953 884736 .00915 apollon164
ssh-simplified/s3_srvr_4_true-unreach-call_false-termination.cil.c 883      880      389758976 6650     apollon138 31.2  9.52  1082322944 248   apollon011 .0110  .0145  888832 .0320  apollon106
ssh-simplified/s3_srvr_6_true-unreach-call_false-termination.cil.c 883      880      401997824 7380     apollon028 101    76.2   2603286528 1050   apollon167 12.0     3.99    564948992 104       apollon091
ssh-simplified/s3_srvr_7_true-unreach-call_false-termination.cil.c 883      880      393883648 6090     apollon054 47.6  24.3   1600352256 450   apollon038 .0158  .0161  1052672 .00922 apollon151
ssh-simplified/s3_srvr_8_true-unreach-call_false-termination.cil.c 883      880      398381056 7280     apollon082 41.6  14.9   1357250560 335   apollon045 .0159  .0157  999424 .0121  apollon037
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c 2.28   2.13   90669056 26.5   apollon012 3.89 1.55  290488320 35.3 apollon118 .0123  .0138  905216 .0110  apollon058
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c 2.30   2.14   92962816 30.6   apollon108 3.69 1.47  286932992 32.3 apollon085 .0162  .0165  999424 .0186  apollon019
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c 1.64   1.61   85835776 21.3   apollon136 3.20 1.26  274280448 28.7 apollon004 .0273  .0284  1069056 .00372 apollon022
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c 1.65   1.61   88391680 17.6   apollon054 3.29 1.30  272015360 27.6 apollon051 .0131  .0130  925696 .0112  apollon132
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c 1.69   1.62   85405696 25.5   apollon160 3.20 1.26  276197376 29.6 apollon118 .00928 .00940 843776 .0104  apollon098
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c 1.68   1.60   83832832 20.6   apollon110 3.28 1.31  276688896 29.5 apollon004 .0107  .0105  839680 .00873 apollon033
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c 1.69   1.61   82128896 19.8   apollon166 3.31 1.34  275124224 28.9 apollon034 .0196  .0194  1007616 .00665 apollon003
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c 1.76   1.73   89853952 20.7   apollon165 3.36 1.30  277331968 28.7 apollon026 .0128  .0134  925696 .00824 apollon110
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c 1.58   1.55   88391680 22.5   apollon080 2.82 1.18  271339520 25.1 apollon078 .00728 .0103  876544 .00995 apollon114
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c 1.62   1.62   78028800 17.9   apollon043 2.83 1.18  267870208 24.6 apollon085 .00896 .00983 745472 .00848 apollon073
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c 1.63   1.60   77127680 19.4   apollon153 2.93 1.19  274169856 23.8 apollon043 .0106  .0103  831488 .0104  apollon128
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c 1.63   1.58   88977408 19.2   apollon120 3.00 1.21  271302656 28.6 apollon020 .0137  .0140  884736 .0110  apollon036
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c 1.65   1.62   80850944 19.0   apollon129 3.07 1.21  271044608 26.9 apollon087 .0110  .0109  1028096 .00610 apollon022
ntdrivers/cdaudio_false-unreach-call.i.cil.c 884      981      1959436288 7690     apollon138 101    58.2   3856003072 984   apollon107 9.99    2.65    473309184 82.6     apollon102
ntdrivers/diskperf_false-unreach-call.i.cil.c 4.92   4.64   144392192 61.1   apollon142 11.5  3.08  487526400 99.5 apollon161 .0114  .0119  901120 .00915 apollon142
ntdrivers/floppy_false-unreach-call.i.cil.c 9.52   9.27   189181952 128     apollon047 27.8  7.02  827916288 214   apollon051 .0111  .0109  933888 .00836 apollon038
ntdrivers/kbfiltr_false-unreach-call.i.cil.c 4.75   4.49   120172544 59.4   apollon135 9.18 2.59  472186880 71.0 apollon026 .0174  .0178  778240 .0103  apollon142
ntdrivers/parport_false-unreach-call.i.cil.c 8.74   8.29   266223616 102     apollon143 41.1  12.3   1233416192 337   apollon002 .0117  .0116  778240 .0115  apollon147
ntdrivers/cdaudio_true-unreach-call.i.cil.c 20.8    20.3    220925952 300     apollon014 13.2  3.52  498647040 108   apollon161 .0135  .0133  786432 .00971 apollon066
ntdrivers/diskperf_true-unreach-call.i.cil.c 883      981      493248512 10000     apollon154 10.4  2.82  465846272 85.1 apollon119 .0110  .0108  946176 .00769 apollon002
ntdrivers/floppy2_true-unreach-call_true-termination.i.cil.c 26.8    26.2    256086016 325     apollon066 36.7  9.30  1080754176 265   apollon051 .0147  .0160  983040 .0191  apollon109
ntdrivers/floppy_true-unreach-call_true-valid-memsafety.i.cil.c 207      206      370843648 2440     apollon099 22.8  5.87  808267776 158   apollon098 .00982 .00964 987136 .00000 apollon168
ntdrivers/parport_true-unreach-call.i.cil.c 23.7    22.9    295821312 306     apollon078 48.1  18.0   1745305600 449   apollon167 .0293  .0292  847872 .00610 apollon157
ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c 13.6    13.2    215244800 168     apollon114 9.13 2.57  449695744 67.3 apollon058 .0166  .0196  1003520 .00610 apollon101
ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c 8.13   7.70   192147456 102     apollon058 9.14 2.59  452468736 80.0 apollon161 .0107  .0108  892928 .0108  apollon110
ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c 8.31   7.97   204197888 104     apollon147 8.63 2.46  425029632 62.6 apollon158 .0130  .0128  1036288 .00806 apollon048
ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c 8.28   7.93   188358656 99.4   apollon154 8.65 2.52  455716864 68.1 apollon038 .0110  .0107  954368 .00000 apollon161
ssh/s3_srvr.blast.01_false-unreach-call.i.cil.c 6.17   5.85   184233984 80.6   apollon052 8.04 2.33  395956224 61.8 apollon089 .00984 .0125  978944 .0184  apollon128
ssh/s3_srvr.blast.02_false-unreach-call.i.cil.c 6.22   5.82   192208896 76.7   apollon055 8.22 2.40  409186304 65.0 apollon053 .0164  .0202  757760 .00714 apollon096
ssh/s3_srvr.blast.03_false-unreach-call.i.cil.c 6.18   5.79   186241024 73.5   apollon150 7.72 2.25  406921216 61.1 apollon058 .00992 .0101  794624 .00000 apollon118
ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c 6.26   5.86   201506816 78.2   apollon133 8.04 2.33  421318656 61.0 apollon002 .00890 .00880 806912 .00000 apollon026
ssh/s3_srvr.blast.06_false-unreach-call.i.cil.c 13.9    13.5    240508928 163     apollon141 5.85 1.89  315543552 51.3 apollon019 .00972 .00980 761856 .0149  apollon130
ssh/s3_srvr.blast.07_false-unreach-call.i.cil.c 12.7    12.2    224219136 141     apollon073 9.70 2.76  460361728 80.3 apollon067 .0105  .0102  724992 .00000 apollon024
ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c 503      502      364400640 3470     apollon120 5.83 1.92  310112256 46.1 apollon058 .0118  .0138  860160 .0115  apollon134
ssh/s3_srvr.blast.09_false-unreach-call.i.cil.c 12.7    12.2    215281664 149     apollon113 10.9  3.09  443912192 87.7 apollon022 .0184  .0181  905216 .00690 apollon133
ssh/s3_srvr.blast.10_false-unreach-call.i.cil.c 669      668      368005120 5390     apollon049 5.66 1.87  313110528 48.9 apollon168 .0111  .0108  999424 .00855 apollon129
ssh/s3_srvr.blast.11_false-unreach-call.i.cil.c 8.90   8.47   215568384 120     apollon068 10.3  2.89  481853440 76.8 apollon054 .0118  .0117  741376 .00000 apollon056
ssh/s3_srvr.blast.12_false-unreach-call.i.cil.c 13.1    12.7    226557952 160     apollon011 5.76 1.87  309747712 44.6 apollon123 .0142  .0180  888832 .0100  apollon142
ssh/s3_srvr.blast.13_false-unreach-call.i.cil.c 12.3    11.7    225325056 136     apollon013 10.5  2.93  447406080 82.4 apollon053 .0170  .0169  872448 .00617 apollon134
ssh/s3_srvr.blast.14_false-unreach-call.i.cil.c 13.5    13.1    240918528 138     apollon104 5.94 1.95  320987136 56.0 apollon125 .0121  .0116  901120 .00867 apollon145
ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c 462      461      365641728 3340     apollon035 5.86 1.86  309665792 50.0 apollon101 .0107  .0105  905216 .0100  apollon027
ssh/s3_srvr.blast.16_false-unreach-call.i.cil.c 13.6    13.2    233603072 154     apollon102 6.07 1.92  310468608 47.0 apollon002 .0170  .0176  761856 .0110  apollon056
ssh/s3_clnt.blast.01_true-unreach-call.i.cil.c 882      880      331489280 6620     apollon049 9.88 2.74  463360000 80.9 apollon070 .0112  .0111  868352 .0145  apollon080
ssh/s3_clnt.blast.02_true-unreach-call.i.cil.c 882      880      343101440 6690     apollon061 9.08 2.61  445390848 70.6 apollon082 .0118  .0116  954368 .00873 apollon163
ssh/s3_clnt.blast.03_true-unreach-call.i.cil.c 881      880      345255936 5920     apollon115 10.4  2.96  451772416 84.8 apollon101 .0113  .0119  839680 .00000 apollon143
ssh/s3_clnt.blast.04_true-unreach-call.i.cil.c 881      880      370827264 7670     apollon167 10.8  2.98  448491520 87.1 apollon076 .0274  .0288  901120 .00848 apollon162
ssh/s3_srvr.blast.01_true-unreach-call.i.cil.c 882      880      380436480 5990     apollon054 10.3  2.98  454479872 73.2 apollon054 .0105  .0103  962560 .00732 apollon012
ssh/s3_srvr.blast.02_true-unreach-call.i.cil.c 882      880      398311424 6380     apollon048 8.51 2.44  474112000 70.8 apollon141 .0115  .0112  843776 .00000 apollon052
ssh/s3_srvr.blast.06_true-unreach-call.i.cil.c 881      880      360173568 7190     apollon091 78.6  40.0   2531569664 760   apollon125 .0137  .0141  978944 .00739 apollon120
ssh/s3_srvr.blast.07_true-unreach-call.i.cil.c 882      880      365948928 5920     apollon127 12.5  3.42  493748224 96.9 apollon051 .00957 .00958 991232 .00000 apollon056
ssh/s3_srvr.blast.08_true-unreach-call.i.cil.c 881      880      393519104 7910     apollon048 16.2  4.48  638615552 145   apollon030 .00835 .00818 827392 .00000 apollon080
ssh/s3_srvr.blast.09_true-unreach-call.i.cil.c 882      880      343674880 6600     apollon001 12.2  3.42  467406848 99.3 apollon101 .0100  .00973 929792 .00855 apollon007
ssh/s3_srvr.blast.10_true-unreach-call.i.cil.c 881      880      391409664 6560     apollon156 11.5  3.15  471052288 88.4 apollon042 .0115  .0131  884736 .0120  apollon051
ssh/s3_srvr.blast.11_true-unreach-call.i.cil.c 882      880      378150912 6400     apollon004 11.7  3.23  469540864 102   apollon044 .00921 .0115  946176 .0150  apollon064
ssh/s3_srvr.blast.12_true-unreach-call.i.cil.c 882      880      374251520 6570     apollon131 20.4  5.99  646975488 176   apollon140 .0118  .0116  983040 .00769 apollon048
ssh/s3_srvr.blast.13_true-unreach-call.i.cil.c 882      880      335228928 5960     apollon109 10.5  2.99  446189568 94.1 apollon126 .0119  .0119  925696 .0173  apollon079
ssh/s3_srvr.blast.14_true-unreach-call.i.cil.c 882      880      358858752 6490     apollon146 32.8  12.1   1119997952 300   apollon030 .0174  .0174  917504 .00684 apollon137
ssh/s3_srvr.blast.15_true-unreach-call.i.cil.c 882      880      403005440 6380     apollon116 19.9  5.63  705064960 172   apollon140 .0126  .0129  1024000 .0100  apollon014
ssh/s3_srvr.blast.16_true-unreach-call.i.cil.c 882      880      371757056 6880     apollon085 36.6  16.4   1510846464 293   apollon158 .0114  .0118  872448 .00842 apollon072
eca-rers2012/Problem01_label15_false-unreach-call_false-termination.c 13.7    13.1    528969728 169     apollon067 19.2  5.31  774098944 155   apollon109 .0102  .0101  884736 .00000 apollon029
eca-rers2012/Problem01_label20_false-unreach-call_false-termination.c 30.3    29.6    516022272 358     apollon075 26.3  7.53  1136979968 215   apollon009 .0103  .0104  901120 .00000 apollon132
eca-rers2012/Problem01_label21_false-unreach-call_false-termination.c 13.8    13.3    519344128 160     apollon013 20.4  5.38  821071872 181   apollon044 .0224  .0220  966656 .00800 apollon009
eca-rers2012/Problem01_label32_false-unreach-call_false-termination.c 32.0    31.4    586407936 348     apollon078 29.0  8.58  1047896064 242   apollon020 .0161  .0169  970752 .0159  apollon124
eca-rers2012/Problem01_label33_false-unreach-call_false-termination.c 18.2    17.7    576692224 232     apollon009 22.0  6.19  848171008 171   apollon060 .0109  .0107  843776 .0101  apollon153
eca-rers2012/Problem01_label35_false-unreach-call_false-termination.c 13.5    13.1    519733248 158     apollon045 26.9  9.13  1037926400 207   apollon058 .0163  .0160  1011712 .00610 apollon145
eca-rers2012/Problem01_label37_false-unreach-call_false-termination.c 19.8    19.2    545136640 232     apollon037 22.1  5.89  846315520 170   apollon085 .0110  .0107  827392 .00000 apollon053
eca-rers2012/Problem01_label38_false-unreach-call_false-termination.c 14.0    13.5    519012352 194     apollon027 21.1  5.64  812269568 168   apollon047 .0120  .0123  905216 .0168  apollon039
eca-rers2012/Problem01_label44_false-unreach-call_false-termination.c 9.97   9.60   585969664 131     apollon071 16.0  4.32  600502272 144   apollon125 .00875 .00903 925696 .00861 apollon025
eca-rers2012/Problem01_label47_false-unreach-call_false-termination.c 30.6    30.0    452460544 355     apollon102 43.2  21.7   2095919104 429   apollon038 .0140  .0139  1007616 .00708 apollon106
eca-rers2012/Problem01_label50_false-unreach-call_false-termination.c 13.3    12.8    539344896 164     apollon133 22.0  5.95  801144832 186   apollon044 .0134  .0132  815104 .00720 apollon101
eca-rers2012/Problem01_label56_false-unreach-call_false-termination.c 21.2    20.7    578768896 238     apollon098 23.4  6.12  823189504 187   apollon126 .00955 .00971 811008 .00769 apollon074
eca-rers2012/Problem01_label57_false-unreach-call_false-termination.c 22.3    21.8    528609280 260     apollon055 43.7  23.2   2018070528 430   apollon032 .00921 .00915 946176 .00000 apollon141
eca-rers2012/Problem02_label13_false-unreach-call_false-termination.c 7.39   7.08   385585152 87.3   apollon083 13.1  3.55  471687168 100   apollon071 .00928 .0133  913408 .0134  apollon142
eca-rers2012/Problem02_label16_false-unreach-call_false-termination.c 7.03   6.75   390479872 83.8   apollon079 11.0  3.11  477917184 90.4 apollon087 .0178  .0184  843776 .00702 apollon104
eca-rers2012/Problem02_label43_false-unreach-call_false-termination.c 7.21   6.98   385040384 84.3   apollon099 12.5  3.39  489721856 105   apollon032 .0296  .0293  905216 .00781 apollon002
eca-rers2012/Problem02_label44_false-unreach-call_false-termination.c 7.52   7.16   384933888 92.8   apollon153 12.2  3.35  474251264 108   apollon020 .00998 .00981 946176 .0114  apollon167
eca-rers2012/Problem02_label45_false-unreach-call_false-termination.c 9.33   8.96   382308352 113     apollon153 21.7  5.85  700645376 186   apollon126 .0159  .0164  933888 .0156  apollon166
eca-rers2012/Problem02_label50_false-unreach-call_false-termination.c 9.38   8.94   380194816 109     apollon100 18.7  5.20  633774080 160   apollon141 .0114  .0114  811008 .00909 apollon100
eca-rers2012/Problem02_label59_false-unreach-call_false-termination.c 9.91   9.60   400519168 129     apollon009 16.7  4.41  586911744 139   apollon047 .00786 .0122  901120 .00665 apollon093
eca-rers2012/Problem03_label09_false-unreach-call.c 193      192      3638480896 3420     apollon106 81.6  50.0   2407669760 935   apollon140 .0182  .0180  1069056 .00354 apollon002
eca-rers2012/Problem03_label13_false-unreach-call.c 121      120      3665678336 1120     apollon133 49.2  24.6   1945714688 515   apollon126 .00933 .00921 888832 .00702 apollon093
eca-rers2012/Problem03_label26_false-unreach-call.c 70.1    69.0    3482718208 701     apollon113 36.4  12.5   1239662592 331   apollon081 .00836 .0134  925696 .0179  apollon041
eca-rers2012/Problem03_label27_false-unreach-call.c 121      119      3626729472 1250     apollon167 46.1  17.4   1691025408 394   apollon118 .0104  .0107  901120 .0106  apollon006
eca-rers2012/Problem03_label28_false-unreach-call.c 138      137      3615391744 1190     apollon034 46.7  17.1   1700794368 428   apollon155 .0121  .0128  987136 .00824 apollon027
eca-rers2012/Problem03_label31_false-unreach-call.c 114      112      3633467392 1230     apollon142 50.6  20.2   1823731712 463   apollon167 .00981 .0101  884736 .00787 apollon101
eca-rers2012/Problem03_label35_false-unreach-call.c 205      203      3563876352 1540     apollon022 54.9  25.5   2063114240 525   apollon071 .0268  .0328  1093632 .00604 apollon070
eca-rers2012/Problem03_label37_false-unreach-call.c 132      131      3565285376 1060     apollon040 46.3  20.4   1868697600 413   apollon011 .0150  .0146  901120 .00000 apollon134
eca-rers2012/Problem03_label39_false-unreach-call.c 229      227      3559747584 1810     apollon015 68.4  34.0   1953198080 631   apollon142 .0109  .0105  778240 .00922 apollon070
eca-rers2012/Problem03_label43_false-unreach-call.c 127      125      3585179648 1150     apollon026 51.9  21.5   1993134080 413   apollon089 .0184  .0177  913408 .00555 apollon015
eca-rers2012/Problem03_label45_false-unreach-call.c 207      205      3612393472 3690     apollon106 58.5  27.8   2186940416 495   apollon128 .0140  .0140  765952 .00964 apollon110
eca-rers2012/Problem03_label50_false-unreach-call.c 130      128      3612184576 1110     apollon118 78.4  50.1   1836380160 817   apollon135 .0125  .0151  1044480 .0225  apollon161
eca-rers2012/Problem03_label52_false-unreach-call.c 195      193      3567214592 1780     apollon072 102    77.9   2815733760 1040   apollon151 19.7     7.68    605118464 173       apollon055
eca-rers2012/Problem04_label04_false-unreach-call.c 884      981      2949419008 7560     apollon059 106    64.2   2799005696 853   apollon100 74.3     49.4     1072406528 789       apollon167
eca-rers2012/Problem04_label06_false-unreach-call.c 884      981      2903740416 6820     apollon083 105    62.9   2442240000 799   apollon151 69.7     46.4     1050906624 792       apollon033
eca-rers2012/Problem04_label09_false-unreach-call.c 884      981      2954448896 6250     apollon131 105    65.0   3029127168 943   apollon108 63.6     42.6     1014554624 520       apollon063
eca-rers2012/Problem04_label11_false-unreach-call_false-termination.c 884      981      2937868288 7760     apollon142 106    66.4   2867843072 867   apollon127 73.1     49.2     1064710144 703       apollon109
eca-rers2012/Problem04_label12_false-unreach-call_false-termination.c 884      981      2863886336 5990     apollon060 105    66.3   2891554816 913   apollon082 74.4     49.5     1079025664 735       apollon157
eca-rers2012/Problem04_label13_false-unreach-call.c 884      981      2740649984 6800     apollon048 104    65.0   2967457792 930   apollon108 71.2     46.8     1049362432 769       apollon006
eca-rers2012/Problem04_label14_false-unreach-call_false-termination.c 884      981      2932535296 7370     apollon007 106    61.5   2798776320 817   apollon029 66.0     43.3     1021427712 608       apollon043
eca-rers2012/Problem04_label15_false-unreach-call.c 884      981      2949230592 8750     apollon140 106    63.2   2703863808 885   apollon032 68.1     44.5     1029550080 819       apollon161
eca-rers2012/Problem04_label17_false-unreach-call_false-termination.c 884      981      2849583104 6000     apollon104 106    65.2   2876592128 881   apollon146 69.9     46.6     1052606464 733       apollon070
eca-rers2012/Problem04_label18_false-unreach-call.c 884      981      2956120064 6900     apollon099 105    62.8   2570268672 922   apollon168 66.5     43.6     1008295936 804       apollon021
eca-rers2012/Problem04_label19_false-unreach-call.c 884      981      2956574720 8720     apollon088 104    63.0   2145894400 854   apollon121 68.1     43.8     1013506048 734       apollon020
eca-rers2012/Problem04_label26_false-unreach-call.c 884      981      2963935232 8210     apollon160 106    64.2   2630680576 935   apollon095 64.3     43.1     1023340544 605       apollon117
eca-rers2012/Problem04_label27_false-unreach-call_false-termination.c 884      981      2689249280 6730     apollon128 105    65.8   2343235584 1050   apollon016 72.5     46.5     1047429120 651       apollon100
eca-rers2012/Problem04_label31_false-unreach-call.c 884      981      2976333824 7220     apollon163 106    66.4   2871259136 880   apollon117 74.9     50.0     1071022080 704       apollon100
eca-rers2012/Problem04_label32_false-unreach-call.c 884      981      2962296832 5910     apollon022 104    62.4   2482671616 964   apollon014 68.6     45.1     1006968832 691       apollon165
eca-rers2012/Problem04_label35_false-unreach-call.c 884      981      2964844544 6260     apollon153 105    64.3   2723340288 1120   apollon021 73.3     49.3     1076338688 759       apollon011
eca-rers2012/Problem04_label36_false-unreach-call_false-termination.c 884      981      2860142592 7080     apollon001 106    63.6   2360848384 887   apollon128 73.7     49.0     1069834240 806       apollon006
eca-rers2012/Problem04_label38_false-unreach-call.c 884      981      2961162240 6730     apollon090 106    64.8   2884759552 934   apollon079 70.7     46.7     1054126080 752       apollon145
eca-rers2012/Problem04_label39_false-unreach-call.c 884      981      2956705792 6740     apollon116 105    61.5   2437586944 881   apollon146 62.5     42.8     1016475648 685       apollon113
eca-rers2012/Problem04_label40_false-unreach-call_false-termination.c 884      981      2948640768 8530     apollon112 106    65.4   2728771584 1030   apollon014 75.0     49.5     1060274176 785       apollon093
eca-rers2012/Problem04_label45_false-unreach-call.c 884      981      2947735552 7140     apollon147 106    63.7   2421309440 880   apollon086 64.0     43.4     1008676864 663       apollon055
eca-rers2012/Problem04_label52_false-unreach-call.c 884      981      2945732608 7820     apollon062 104    64.8   2975277056 935   apollon164 63.3     43.0     1004101632 597       apollon104
eca-rers2012/Problem04_label55_false-unreach-call.c 884      981      2906042368 6300     apollon078 105    65.2   2656747520 955   apollon165 71.9     46.0     1035558912 753       apollon142
eca-rers2012/Problem04_label58_false-unreach-call_false-termination.c 883      981      2854088704 7770     apollon142 106    63.8   2865848320 875   apollon152 71.7     47.0     1043894272 818       apollon126
eca-rers2012/Problem05_label00_false-unreach-call.c 886      981      3561459712 7360     apollon046 109    65.6   2675154944 972   apollon038 49.3     29.2     921231360 466       apollon166
eca-rers2012/Problem05_label01_false-unreach-call.c 886      981      3671384064 8710     apollon130 104    68.5   2580602880 891   apollon015 39.8     22.8     847364096 389       apollon095
eca-rers2012/Problem05_label11_false-unreach-call.c 886      981      3750584320 6880     apollon159 103    61.6   2678022144 860   apollon128 49.3     29.0     913383424 430       apollon151
eca-rers2012/Problem05_label13_false-unreach-call.c 885      980      3603435520 8180     apollon069 107    66.3   2762219520 895   apollon076 46.8     25.6     916189184 475       apollon077
eca-rers2012/Problem05_label15_false-unreach-call.c 886      981      3456651264 7770     apollon028 110    61.9   3064414208 909   apollon119 49.9     29.6     903036928 570       apollon021
eca-rers2012/Problem05_label18_false-unreach-call.c 885      981      3727040512 8880     apollon148 111    64.8   3053572096 945   apollon168 48.4     28.7     908320768 481       apollon070
eca-rers2012/Problem05_label24_false-unreach-call.c 886      981      3531075584 6680     apollon003 110    67.7   2533466112 875   apollon098 49.3     28.8     909213696 469       apollon157
eca-rers2012/Problem05_label26_false-unreach-call.c 886      981      3681595392 7500     apollon114 104    67.9   2060161024 1150   apollon021 39.1     22.6     841908224 423       apollon065
eca-rers2012/Problem05_label30_false-unreach-call.c 886      981      3446755328 7490     apollon007 103    61.5   2814627840 911   apollon106 48.3     29.3     906567680 536       apollon126
eca-rers2012/Problem05_label32_false-unreach-call.c 886      981      3674533888 6190     apollon166 108    64.6   2605826048 977   apollon019 49.8     29.0     908427264 487       apollon145
eca-rers2012/Problem05_label33_false-unreach-call.c 885      981      3450826752 8250     apollon132 111    62.9   2602913792 890   apollon093 49.2     29.1     914714624 458       apollon045
eca-rers2012/Problem05_label36_false-unreach-call.c 886      981      3505295360 6360     apollon153 108    65.1   2977853440 903   apollon018 49.9     29.3     901480448 438       apollon134
eca-rers2012/Problem05_label37_false-unreach-call.c 886      981      3491426304 8460     apollon030 103    65.3   2481061888 853   apollon042 48.0     28.8     902692864 525       apollon130
eca-rers2012/Problem05_label38_false-unreach-call.c 886      981      3666194432 6220     apollon089 103    71.4   2732982272 873   apollon121 50.7     29.4     906125312 496       apollon162
eca-rers2012/Problem05_label39_false-unreach-call.c 886      981      3544203264 7260     apollon147 104    58.2   2727407616 830   apollon093 48.2     28.8     906625024 478       apollon082
eca-rers2012/Problem05_label40_false-unreach-call.c 886      981      3502170112 9020     apollon021 104    65.2   2683604992 847   apollon151 48.8     28.8     903794688 497       apollon052
eca-rers2012/Problem05_label41_false-unreach-call.c 886      981      3502301184 6800     apollon009 103    57.5   2862415872 957   apollon081 48.8     28.7     908419072 504       apollon091
eca-rers2012/Problem05_label44_false-unreach-call.c 886      981      3528806400 7190     apollon061 103    58.7   2627387392 831   apollon025 37.3     21.8     846516224 405       apollon130
eca-rers2012/Problem05_label47_false-unreach-call.c 886      981      3529117696 7200     apollon038 113    65.9   3175817216 868   apollon029 50.0     28.9     903643136 515       apollon006
eca-rers2012/Problem05_label48_false-unreach-call.c 886      981      3517034496 6840     apollon083 111    64.1   2790735872 951   apollon004 49.0     28.6     909565952 480       apollon153
eca-rers2012/Problem05_label51_false-unreach-call.c 886      981      3671797760 6430     apollon137 103    62.2   2473623552 986   apollon125 48.9     27.9     905998336 466       apollon078
eca-rers2012/Problem05_label55_false-unreach-call.c 886      981      3672903680 7240     apollon129 104    57.8   2264559616 871   apollon004 47.9     28.8     893001728 535       apollon014
eca-rers2012/Problem05_label57_false-unreach-call.c 886      981      3476140032 6610     apollon143 103    57.4   2603585536 916   apollon079 49.2     29.0     906747904 480       apollon074
eca-rers2012/Problem05_label58_false-unreach-call.c 886      981      3476180992 6160     apollon060 111    63.3   2659594240 880   apollon053 48.8     29.0     910012416 549       apollon161
eca-rers2012/Problem06_label00_false-unreach-call.c 886      981      5703929856 6800     apollon048 103    57.1   2952146944 829   apollon135 34.8     19.5     815411200 381       apollon057
eca-rers2012/Problem06_label01_false-unreach-call.c 885      981      5919408128 5810     apollon042 103    59.7   2354462720 853   apollon152 36.1     19.7     849440768 312       apollon151
eca-rers2012/Problem06_label02_false-unreach-call.c 885      981      5945020416 7010     apollon061 108    59.0   2451890176 916   apollon038 33.6     19.6     794378240 326       apollon074
eca-rers2012/Problem06_label04_false-unreach-call.c 886      981      5765144576 6840     apollon070 103    56.5   2786918400 891   apollon034 34.2     19.3     826040320 390       apollon106
eca-rers2012/Problem06_label05_false-unreach-call.c 885      981      5917196288 7840     apollon010 104    54.0   2906554368 784   apollon054 38.3     20.6     819105792 384       apollon112
eca-rers2012/Problem06_label09_false-unreach-call.c 886      981      5933432832 7600     apollon125 103    57.7   2490544128 827   apollon015 33.7     19.3     803643392 362       apollon130
eca-rers2012/Problem06_label10_false-unreach-call.c 885      981      5916225536 5970     apollon089 102    54.9   2424188928 845   apollon025 29.8     14.7     744718336 260       apollon023
eca-rers2012/Problem06_label11_false-unreach-call.c 886      981      5945679872 6930     apollon026 105    54.0   2914156544 814   apollon120 34.4     19.4     810524672 333       apollon074
eca-rers2012/Problem06_label12_false-unreach-call.c 885      981      5646761984 6770     apollon168 103    57.7   2582433792 1030   apollon167 36.5     19.9     815726592 367       apollon114
eca-rers2012/Problem06_label15_false-unreach-call.c 886      981      5708460032 6990     apollon038 107    57.1   2395238400 1020   apollon014 45.8     26.1     887996416 439       apollon142
eca-rers2012/Problem06_label20_false-unreach-call.c 886      981      5925478400 6250     apollon074 103    60.9   2678034432 824   apollon092 44.9     25.5     928526336 417       apollon001
eca-rers2012/Problem06_label21_false-unreach-call.c 886      981      5713317888 6560     apollon146 104    52.4   2506428416 798   apollon152 44.0     25.4     916529152 388       apollon134
eca-rers2012/Problem06_label24_false-unreach-call.c 885      981      5953273856 6280     apollon098 103    58.1   2741145600 909   apollon087 51.1     30.5     917323776 493       apollon012
eca-rers2012/Problem06_label27_false-unreach-call.c 886      981      5936361472 6290     apollon093 103    58.5   2712629248 921   apollon072 44.6     25.6     890998784 475       apollon033
eca-rers2012/Problem06_label29_false-unreach-call.c 886      981      5769834496 6760     apollon095 107    61.0   2793439232 839   apollon060 44.8     25.6     909713408 462       apollon048
eca-rers2012/Problem06_label33_false-unreach-call.c 886      981      5725310976 5780     apollon002 104    58.3   2218074112 990   apollon106 46.2     25.6     913674240 446       apollon153
eca-rers2012/Problem06_label36_false-unreach-call.c 886      981      5704687616 6930     apollon026 103    57.8   2626785280 980   apollon081 36.2     19.8     832667648 348       apollon049
eca-rers2012/Problem06_label37_false-unreach-call.c 885      981      5626249216 6710     apollon004 103    57.5   2487402496 888   apollon109 42.8     25.0     907939840 469       apollon014
eca-rers2012/Problem06_label38_false-unreach-call.c 886      981      5919117312 7150     apollon084 107    57.2   2394734592 909   apollon109 45.3     25.1     897695744 465       apollon010
eca-rers2012/Problem06_label44_false-unreach-call.c 887      981      5704667136 7960     apollon094 103    55.1   2350030848 834   apollon070 46.5     26.3     892776448 475       apollon094
eca-rers2012/Problem06_label47_false-unreach-call.c 886      981      5919469568 9230     apollon039 103    52.7   2400665600 830   apollon058 45.5     25.8     908759040 409       apollon104
eca-rers2012/Problem06_label48_false-unreach-call.c 886      981      5982085120 6820     apollon033 105    57.8   2625384448 898   apollon121 51.7     30.9     912674816 512       apollon156
eca-rers2012/Problem06_label56_false-unreach-call.c 886      981      5944033280 6030     apollon029 103    56.3   2394062848 776   apollon002 45.2     25.4     921153536 448       apollon113
eca-rers2012/Problem06_label58_false-unreach-call.c 886      981      5700321280 7180     apollon155 108    57.4   2758926336 977   apollon030 50.1     30.9     909365248 530       apollon155
eca-rers2012/Problem06_label59_false-unreach-call.c 885      981      5736656896 7460     apollon017 103    56.4   2517798912 865   apollon086 35.8     19.9     819109888 326       apollon129
eca-rers2012/Problem07_label03_false-unreach-call.c 524      519      14999998464 6180     apollon024 149    33.4   6278975488 791   apollon002 253       78.0     1436700672 1610       apollon032
eca-rers2012/Problem07_label05_false-unreach-call.c 445      442      9932095488 6210     apollon056 145    33.3   6970871808 865   apollon022 661       131       1414795264 3610       apollon064
eca-rers2012/Problem07_label06_false-unreach-call.c 307      304      8330686464 2890     apollon002 162    35.0   6616494080 811   apollon029 957       170       1431326720 4540       apollon053
eca-rers2012/Problem07_label07_false-unreach-call.c 473      470      14999998464 4870     apollon051 102    25.0   4376100864 580   apollon086 20.3     6.32    938647552 130       apollon134
eca-rers2012/Problem07_label09_false-unreach-call.c 903      981      13617135616 7680     apollon144 102    24.8   4639858688 617   apollon077 77.4     23.3     1431232512 462       apollon100
eca-rers2012/Problem07_label11_false-unreach-call.c 464      461      14999998464 4450     apollon092 136    31.3   6010540032 694   apollon040 957       170       1439965184 4300       apollon041
eca-rers2012/Problem07_label15_false-unreach-call.c 903      981      13628379136 8330     apollon095 103    32.2   4809199616 632   apollon128 22.4     6.93    933208064 160       apollon067
eca-rers2012/Problem07_label18_false-unreach-call.c 903      981      13606240256 10400     apollon088 104    27.0   5493460992 659   apollon167 101       39.0     1447780352 762       apollon093
eca-rers2012/Problem07_label19_false-unreach-call.c 717      711      14999998464 6900     apollon018 139    32.2   6471180288 774   apollon107 307       84.9     1423990784 2020       apollon048
eca-rers2012/Problem07_label20_false-unreach-call.c 74.2    73.9    4172505088 1080     apollon148 104    28.1   4405948416 661   apollon022 146       47.6     1432739840 984       apollon004
eca-rers2012/Problem07_label23_false-unreach-call.c 299      297      8357240832 3810     apollon094 134    31.7   6455271424 795   apollon084 381       94.4     1423605760 2420       apollon126
eca-rers2012/Problem07_label30_false-unreach-call.c 903      981      13623988224 10100     apollon005 103    26.0   5240274944 676   apollon126 102       32.2     1453637632 599       apollon089
eca-rers2012/Problem07_label31_false-unreach-call.c 444      441      8601313280 4620     apollon051 103    28.0   4408725504 582   apollon123 136       46.4     1448497152 1020       apollon033
eca-rers2012/Problem07_label35_false-unreach-call.c 549      542      14999998464 5560     apollon156 111    28.7   6086082560 675   apollon165 137       46.3     1433313280 969       apollon101
eca-rers2012/Problem07_label36_false-unreach-call.c 903      981      14098784256 7990     apollon053 115    28.8   5255831552 666   apollon109 957       170       1423323136 5100       apollon153
eca-rers2012/Problem07_label37_false-unreach-call.c 538      533      14999998464 4840     apollon074 145    33.2   6802366464 729   apollon158 182       69.4     1437462528 1290       apollon022
eca-rers2012/Problem07_label39_false-unreach-call.c 420      417      8608387072 4340     apollon109 103    25.5   4619317248 571   apollon060 88.1     25.2     1428553728 568       apollon052
eca-rers2012/Problem07_label40_false-unreach-call.c 75.6    75.3    4176384000 905     apollon156 137    32.0   6521126912 768   apollon107 218       75.5     1425682432 1460       apollon038
eca-rers2012/Problem07_label42_false-unreach-call.c 473      469      14999998464 5610     apollon069 138    33.0   6389141504 749   apollon060 206       72.0     1408221184 1260       apollon041
eca-rers2012/Problem07_label44_false-unreach-call.c 528      524      14999998464 5120     apollon126 104    28.0   4423475200 569   apollon158 126       45.0     1427468288 950       apollon155
eca-rers2012/Problem07_label46_false-unreach-call.c 903      981      13607895040 8960     apollon087 157    35.0   6264422400 807   apollon128 199       71.0     1441816576 1350       apollon012
eca-rers2012/Problem07_label47_false-unreach-call.c 463      459      15000002560 5070     apollon058 131    31.8   6220234752 730   apollon157 957       170       1449680896 4300       apollon098
eca-rers2012/Problem07_label48_false-unreach-call.c 467      463      9810538496 4520     apollon093 103    32.3   4821311488 623   apollon089 20.8     6.54    822841344 144       apollon086
eca-rers2012/Problem07_label58_false-unreach-call.c 520      515      14999998464 5010     apollon115 133    31.3   6010277888 830   apollon160 957       169       1404960768 4420       apollon003
eca-rers2012/Problem08_label01_false-unreach-call.c 354      352      9334358016 3750     apollon154 191    45.0   7717019648 1120   apollon155 .0265  .0282  765952 .00439 apollon015
eca-rers2012/Problem08_label02_false-unreach-call.c 237      236      8618270720 2830     apollon072 192    45.2   7918493696 1060   apollon011 .00691 .00764 757760 .0153  apollon057
eca-rers2012/Problem08_label04_false-unreach-call.c 237      236      8621125632 2890     apollon165 200    46.3   8001560576 1150   apollon093 .00874 .00887 782336 .0120  apollon016
eca-rers2012/Problem08_label05_false-unreach-call.c 352      350      8778739712 4120     apollon047 193    44.2   7907172352 1070   apollon052 .0148  .0160  831488 .00915 apollon166
eca-rers2012/Problem08_label06_false-unreach-call.c 348      346      10034278400 3730     apollon050 187    44.7   7870328832 963   apollon089 .0128  .0127  884736 .0104  apollon021
eca-rers2012/Problem08_label07_false-unreach-call.c 350      348      8787382272 3400     apollon002 179    43.8   7736348672 1110   apollon108 .0153  .0152  954368 .00360 apollon093
eca-rers2012/Problem08_label10_false-unreach-call.c 244      243      8616374272 2590     apollon137 178    42.5   7448522752 1030   apollon052 .0124  .0120  839680 .0156  apollon093
eca-rers2012/Problem08_label13_false-unreach-call.c 239      238      8620982272 3200     apollon132 196    45.2   7514611712 1010   apollon060 .0262  .0289  778240 .0136  apollon074
eca-rers2012/Problem08_label15_false-unreach-call.c 236      235      8618733568 2840     apollon011 208    47.5   8971759616 1150   apollon078 .0115  .0119  1048576 .00659 apollon063
eca-rers2012/Problem08_label24_false-unreach-call.c 233      232      8616828928 3190     apollon064 187    44.4   7430647808 1060   apollon005 .0127  .0133  786432 .0133  apollon021
eca-rers2012/Problem08_label25_false-unreach-call.c 238      237      8617844736 3140     apollon167 185    43.7   7511535616 974   apollon029 .0203  .0211  888832 .0101  apollon030
eca-rers2012/Problem08_label26_false-unreach-call.c 240      239      8618602496 2780     apollon156 181    43.7   7614091264 1090   apollon164 .0227  .0219  1056768 .00647 apollon032
eca-rers2012/Problem08_label28_false-unreach-call.c 250      249      8621367296 2920     apollon163 175    42.8   7611682816 933   apollon060 .00896 .0112  905216 .0102  apollon016
eca-rers2012/Problem08_label29_false-unreach-call.c 243      242      8618528768 2590     apollon137 208    46.4   7141625856 1180   apollon030 .0151  .0157  901120 .0195  apollon127
eca-rers2012/Problem08_label34_false-unreach-call.c 360      358      9557712896 4170     apollon027 180    41.3   5996167168 1120   apollon021 .0120  .0117  868352 .00739 apollon023
eca-rers2012/Problem08_label37_false-unreach-call.c 243      242      8617205760 3060     apollon081 208    45.7   6922010624 1160   apollon020 .0110  .0135  991232 .00928 apollon124
eca-rers2012/Problem08_label43_false-unreach-call.c 348      347      9334456320 3680     apollon119 208    45.9   7993274368 978   apollon040 .0137  .0134  933888 .00842 apollon022
eca-rers2012/Problem08_label46_false-unreach-call.c 240      239      8620236800 2740     apollon034 178    41.5   5764263936 840   apollon151 .0171  .0169  888832 .00415 apollon164
eca-rers2012/Problem08_label48_false-unreach-call.c 238      237      8616583168 2780     apollon133 203    46.9   8385490944 1130   apollon152 .0134  .0138  921600 .0101  apollon098
eca-rers2012/Problem08_label49_false-unreach-call.c 269      268      9334427648 3200     apollon047 176    42.7   7392059392 989   apollon085 .00850 .00872 724992 .00861 apollon143
eca-rers2012/Problem08_label50_false-unreach-call.c 240      239      8618741760 2690     apollon053 184    44.3   7637200896 1020   apollon018 .00823 .0107  892928 .0114  apollon129
eca-rers2012/Problem08_label51_false-unreach-call.c 234      233      8624558080 2840     apollon062 198    45.9   7703785472 1120   apollon118 .0188  .0193  847872 .00769 apollon100
eca-rers2012/Problem08_label55_false-unreach-call.c 234      233      8616677376 3110     apollon112 181    43.4   7236329472 988   apollon053 .00954 .00944 983040 .0103  apollon133
eca-rers2012/Problem08_label59_false-unreach-call.c 346      344      11391619072 4110     apollon114 170    42.5   7663599616 962   apollon150 .0115  .0114  1052672 .0106  apollon059
eca-rers2012/Problem09_label02_false-unreach-call.c 296      295      9786695680 3090     apollon023 208    48.0   8649220096 1160   apollon020 .0298  .0324  888832 .0316  apollon070
eca-rers2012/Problem09_label03_false-unreach-call.c 303      302      9785294848 3740     apollon019 208    48.2   8388448256 1150   apollon126 .0152  .0149  991232 .0185  apollon060
eca-rers2012/Problem09_label06_false-unreach-call.c 409      407      10825826304 4130     apollon127 208    48.1   8493309952 1010   apollon116 .0119  .0117  851968 .00977 apollon001
eca-rers2012/Problem09_label08_false-unreach-call.c 284      283      9789341696 2930     apollon078 208    46.5   6332305408 978   apollon086 .0296  .0288  749568 .00519 apollon012
eca-rers2012/Problem09_label10_false-unreach-call.c 293      292      9786183680 3540     apollon046 208    46.4   5837799424 1080   apollon167 .0176  .0190  897024 .00562 apollon104
eca-rers2012/Problem09_label11_false-unreach-call.c 294      293      9786785792 3040     apollon037 202    45.9   6344413184 946   apollon058 .00808 .00799 876544 .00891 apollon095
eca-rers2012/Problem09_label15_false-unreach-call.c 395      393      13137899520 4510     apollon072 200    46.1   6343331840 912   apollon098 .0227  .0251  884736 .00592 apollon094
eca-rers2012/Problem09_label19_false-unreach-call.c 313      312      11956736000 3790     apollon017 208    48.0   8508559360 1180   apollon007 .0141  .0142  999424 .00757 apollon145
eca-rers2012/Problem09_label20_false-unreach-call.c 285      284      9794125824 3230     apollon034 208    47.5   7901429760 1120   apollon022 .0110  .0109  790528 .0100  apollon033
eca-rers2012/Problem09_label32_false-unreach-call.c 305      304      9790566400 3340     apollon159 202    48.2   7967354880 1060   apollon042 .0118  .0117  774144 .00000 apollon064
eca-rers2012/Problem09_label34_false-unreach-call.c 322      321      12277534720 3930     apollon027 208    48.0   8333127680 1040   apollon086 .0114  .0112  987136 .0126  apollon161
eca-rers2012/Problem09_label35_false-unreach-call.c 301      300      9786286080 3330     apollon066 208    47.7   8162086912 1060   apollon095 .0264  .0291  999424 .0261  apollon155
eca-rers2012/Problem09_label36_false-unreach-call.c 298      297      10153381888 3910     apollon167 208    47.1   6265004032 1040   apollon152 .0116  .0118  905216 .00806 apollon131
eca-rers2012/Problem09_label38_false-unreach-call.c 265      264      9617121280 2740     apollon153 208    47.6   8080125952 1050   apollon135 .0181  .0209  901120 .00592 apollon078
eca-rers2012/Problem09_label41_false-unreach-call.c 312      311      10526552064 3220     apollon092 208    46.5   6325432320 1030   apollon118 .0169  .0175  1052672 .0173  apollon018
eca-rers2012/Problem09_label44_false-unreach-call.c 270      269      9787060224 3580     apollon005 208    48.6   8295473152 1060   apollon102 .0136  .0135  897024 .00000 apollon110
eca-rers2012/Problem09_label46_false-unreach-call.c 421      419      10747957248 4760     apollon122 198    45.6   6306041856 900   apollon054 .0324  .0315  954368 .00665 apollon158
eca-rers2012/Problem09_label47_false-unreach-call.c 406      404      10827190272 4930     apollon010 208    47.9   8608043008 1080   apollon102 .0156  .0161  864256 .00818 apollon028
eca-rers2012/Problem09_label51_false-unreach-call.c 283      282      9787105280 4000     apollon080 206    48.3   7884484608 1180   apollon019 .0137  .0135  864256 .00903 apollon142
eca-rers2012/Problem09_label53_false-unreach-call.c 408      407      10730651648 4290     apollon154 208    46.3   6325108736 1020   apollon146 .00586 .00815 950272 .0140  apollon088
eca-rers2012/Problem09_label54_false-unreach-call.c 283      282      9789931520 3170     apollon048 208    47.5   8056631296 1060   apollon087 .0189  .0184  823296 .00403 apollon041
eca-rers2012/Problem09_label56_false-unreach-call.c 274      274      9784725504 3280     apollon084 208    48.2   8368185344 1120   apollon091 .0143  .0145  745472 .0113  apollon070
eca-rers2012/Problem09_label57_false-unreach-call.c 425      423      10818654208 4010     apollon097 208    46.9   6275817472 1010   apollon102 .0111  .0108  827392 .00891 apollon163
eca-rers2012/Problem09_label59_false-unreach-call.c 274      273      9786675200 2980     apollon149 208    47.4   6060261376 1170   apollon125 .0164  .0191  847872 .00763 apollon004
eca-rers2012/Problem10_label12_false-unreach-call.c 881      981      635990016 9300     apollon048 102    79.6   3852480512 1280   apollon077 6.51    1.87    410435584 52.4     apollon051
eca-rers2012/Problem10_label15_false-unreach-call.c 881      981      676978688 9670     apollon050 103    77.9   3865231360 1220   apollon141 6.73    1.88    418603008 52.4     apollon070
eca-rers2012/Problem10_label24_false-unreach-call.c 881      981      627527680 10700     apollon062 104    78.5   3798462464 1220   apollon093 9.18    2.96    523554816 68.9     apollon043
eca-rers2012/Problem10_label26_false-unreach-call.c 881      981      613994496 9770     apollon113 51.9  26.2   2775261184 495   apollon095 .00978 .0126  823296 .00000 apollon073
eca-rers2012/Problem10_label28_false-unreach-call.c 881      981      437731328 12700     apollon148 55.0  28.0   2617856000 492   apollon123 .00817 .00792 978944 .00000 apollon017
eca-rers2012/Problem10_label29_false-unreach-call.c 881      981      615084032 9570     apollon066 111    94.5   2059034624 1570   apollon160 .0196  .0205  843776 .00568 apollon165
eca-rers2012/Problem10_label41_false-unreach-call.c 881      981      451534848 10100     apollon104 22.2  7.64  1027072000 204   apollon067 .0165  .0206  741376 .00653 apollon055
eca-rers2012/Problem10_label42_false-unreach-call.c 12.5    12.2    377966592 179     apollon094 26.3  7.91  1087602688 246   apollon044 .00891 .0182  978944 .0314  apollon026
eca-rers2012/Problem10_label46_false-unreach-call.c 6.77   6.49   381308928 94.6   apollon155 9.80 2.73  464928768 72.2 apollon116 .0243  .0260  1011712 .00677 apollon015
eca-rers2012/Problem10_label47_false-unreach-call.c 25.2    24.8    386850816 348     apollon024 22.6  7.29  998539264 199   apollon052 .0110  .0113  794624 .00751 apollon136
eca-rers2012/Problem10_label48_false-unreach-call.c 881      981      445091840 10700     apollon079 71.6  40.0   3753500672 762   apollon167 .0153  .0156  958464 .00855 apollon109
eca-rers2012/Problem10_label50_false-unreach-call.c 881      981      611557376 12400     apollon161 69.9  39.8   2922524672 682   apollon087 .0138  .0141  999424 .0105  apollon050
eca-rers2012/Problem10_label55_false-unreach-call.c 66.7    66.3    383082496 792     apollon083 23.0  6.36  820457472 198   apollon032 .0121  .0122  1015808 .0128  apollon088
eca-rers2012/Problem10_label57_false-unreach-call.c 881      981      546676736 10000     apollon149 101    74.7   3942776832 1080   apollon025 8.50    2.34    428744704 69.0     apollon047
eca-rers2012/Problem10_label58_false-unreach-call.c 881      981      631316480 10600     apollon070 58.5  30.1   2733395968 594   apollon076 .0117  .0115  794624 .00000 apollon106
eca-rers2012/Problem11_label00_false-unreach-call.c 880      981      1219977216 10900     apollon072 101    66.5   3878912000 1190   apollon140 11.2     3.08    560189440 84.4     apollon134
eca-rers2012/Problem11_label08_false-unreach-call.c 881      981      1134518272 10200     apollon115 79.3  47.0   2922201088 761   apollon053 .0101  .0119  970752 .0144  apollon130
eca-rers2012/Problem11_label14_false-unreach-call.c 881      981      1154015232 13800     apollon056 73.4  46.3   3430113280 783   apollon102 .00961 .0102  942080 .00775 apollon137
eca-rers2012/Problem11_label15_false-unreach-call.c 881      981      1169190912 10300     apollon100 97.6  62.8   3882602496 1110   apollon091 .0108  .0107  843776 .0101  apollon141
eca-rers2012/Problem11_label20_false-unreach-call.c 881      981      1492185088 9400     apollon096 102    70.7   3618484224 1120   apollon120 13.6     4.02    568107008 112       apollon141
eca-rers2012/Problem11_label29_false-unreach-call.c 881      981      1137410048 12300     apollon140 78.0  46.2   3808907264 890   apollon161 .0148  .0146  901120 .00476 apollon125
eca-rers2012/Problem11_label31_false-unreach-call.c 881      981      1138626560 9970     apollon128 101    70.1   3869175808 1050   apollon109 12.6     4.02    561397760 103       apollon136
eca-rers2012/Problem11_label34_false-unreach-call.c 881      981      1136246784 9440     apollon054 102    63.6   3862982656 1260   apollon039 12.8     3.75    577101824 115       apollon048
eca-rers2012/Problem11_label36_false-unreach-call.c 881      981      1134272512 12200     apollon125 79.9  48.0   3521294336 747   apollon099 .0160  .0187  827392 .0133  apollon021
eca-rers2012/Problem11_label39_false-unreach-call.c 881      981      1143390208 11700     apollon136 112    90.9   2582716416 1280   apollon107 .0131  .0128  811008 .0115  apollon085
eca-rers2012/Problem11_label42_false-unreach-call.c 881      981      1137405952 9810     apollon045 82.9  46.2   3621265408 798   apollon072 .00706 .0179  1048576 .0309  apollon050
eca-rers2012/Problem11_label43_false-unreach-call.c 881      981      1136173056 10000     apollon166 58.2  29.2   3046948864 541   apollon079 .00902 .00899 983040 .00806 apollon144
eca-rers2012/Problem11_label49_false-unreach-call.c 881      981      1135955968 11600     apollon047 61.2  34.6   2752864256 570   apollon117 .0133  .0129  880640 .00855 apollon033
eca-rers2012/Problem11_label51_false-unreach-call.c 881      981      1144475648 10300     apollon126 104    67.8   3895652352 1140   apollon009 11.8     3.15    554909696 81.4     apollon060
eca-rers2012/Problem11_label58_false-unreach-call.c 881      981      1136943104 10300     apollon102 73.0  43.0   3722469376 692   apollon089 .00968 .00999 999424 .00000 apollon024
eca-rers2012/Problem12_label00_false-unreach-call.c 882      981      2795065344 7290     apollon063 104    69.0   3791540224 1020   apollon128 5.62    1.58    287834112 45.0     apollon027
eca-rers2012/Problem12_label03_false-unreach-call.c 882      981      2774007808 10200     apollon110 103    69.1   3204005888 1020   apollon022 16.7     5.43    581234688 152       apollon036
eca-rers2012/Problem12_label06_false-unreach-call.c 882      981      2751598592 8950     apollon078 101    67.2   2938896384 1110   apollon071 14.3     4.64    587190272 119       apollon132
eca-rers2012/Problem12_label07_false-unreach-call.c 882      981      2503569408 10600     apollon150 103    66.7   3736432640 1150   apollon005 16.3     5.43    609996800 147       apollon122
eca-rers2012/Problem12_label08_false-unreach-call.c 882      981      3005476864 10900     apollon014 104    70.7   3579564032 1030   apollon127 16.6     5.48    589967360 129       apollon072
eca-rers2012/Problem12_label10_false-unreach-call.c 882      981      2331369472 9670     apollon029 103    69.7   3574857728 1020   apollon099 15.8     5.24    583479296 119       apollon100
eca-rers2012/Problem12_label13_false-unreach-call.c 882      981      2423873536 11100     apollon070 105    69.3   3138215936 1110   apollon087 16.1     5.09    591036416 124       apollon157
eca-rers2012/Problem12_label19_false-unreach-call.c 882      981      2873372672 12300     apollon080 105    71.2   3643944960 1230   apollon030 16.0     5.22    590106624 139       apollon145
eca-rers2012/Problem12_label20_false-unreach-call.c 882      981      2843951104 11900     apollon132 103    67.6   3796029440 974   apollon117 15.4     5.17    594534400 130       apollon085
eca-rers2012/Problem12_label21_false-unreach-call.c 882      981      2784186368 10900     apollon007 111    74.3   3795349504 1130   apollon079 5.23    1.55    289439744 41.2     apollon073
eca-rers2012/Problem12_label25_false-unreach-call.c 882      981      2864775168 10400     apollon028 103    66.9   3822391296 1040   apollon156 16.8     5.26    591765504 144       apollon124
eca-rers2012/Problem12_label28_false-unreach-call.c 882      981      2544271360 10800     apollon121 102    65.9   2766606336 1070   apollon142 16.7     5.16    601083904 114       apollon158
eca-rers2012/Problem12_label30_false-unreach-call.c 882      981      2724855808 10200     apollon153 102    68.6   3727163392 949   apollon054 18.9     7.45    614699008 180       apollon108
eca-rers2012/Problem12_label34_false-unreach-call.c 882      981      2746073088 9870     apollon118 104    74.2   3793956864 1020   apollon098 15.0     4.89    602865664 124       apollon002
eca-rers2012/Problem12_label35_false-unreach-call.c 882      981      2828795904 9640     apollon141 105    72.9   3770822656 1020   apollon022 16.7     5.05    602279936 131       apollon042
eca-rers2012/Problem12_label37_false-unreach-call.c 882      981      2778161152 11100     apollon014 107    69.9   3538382848 1000   apollon040 17.1     5.34    590159872 132       apollon001
eca-rers2012/Problem12_label38_false-unreach-call.c 882      981      2544394240 9930     apollon143 102    68.7   3754262528 1030   apollon121 14.0     4.61    583503872 115       apollon130
eca-rers2012/Problem12_label39_false-unreach-call.c 882      981      2476597248 11000     apollon093 106    69.8   3851472896 1020   apollon157 14.7     4.99    598900736 127       apollon131
eca-rers2012/Problem12_label40_false-unreach-call.c 882      981      2848075776 10700     apollon087 106    69.2   3904139264 1280   apollon021 16.2     4.94    594767872 129       apollon100
eca-rers2012/Problem12_label42_false-unreach-call.c 882      981      2772312064 8510     apollon123 101    66.7   3841110016 998   apollon015 16.5     5.32    615469056 136       apollon084
eca-rers2012/Problem12_label48_false-unreach-call.c 882      981      2436337664 9780     apollon098 101    66.9   2858913792 1040   apollon072 5.29    1.52    303595520 45.7     apollon048
eca-rers2012/Problem12_label50_false-unreach-call.c 882      981      2944389120 11200     apollon006 109    75.6   3867303936 1180   apollon141 16.2     5.15    589901824 140       apollon125
eca-rers2012/Problem12_label51_false-unreach-call.c 882      981      2704793600 10200     apollon076 109    76.6   4069789696 1010   apollon151 17.3     5.28    596283392 134       apollon142
eca-rers2012/Problem12_label52_false-unreach-call.c 882      981      2770259968 11300     apollon071 109    77.2   3925180416 1060   apollon045 16.2     5.34    588054528 134       apollon135
eca-rers2012/Problem12_label55_false-unreach-call.c 882      981      2479562752 12100     apollon033 103    74.3   3883065344 1080   apollon026 15.8     5.04    592506880 139       apollon009
eca-rers2012/Problem13_label04_false-unreach-call.c 883      981      3059527680 9880     apollon153 103    75.4   3445817344 1070   apollon116 16.5     5.63    617648128 164       apollon036
eca-rers2012/Problem13_label06_false-unreach-call.c 883      981      3056656384 18500     apollon106 103    74.4   2894573568 1080   apollon121 16.7     5.58    604319744 149       apollon064
eca-rers2012/Problem13_label07_false-unreach-call.c 882      981      3055173632 9620     apollon040 103    75.2   3662053376 1100   apollon072 17.6     5.85    602017792 151       apollon004
eca-rers2012/Problem13_label11_false-unreach-call.c 882      981      3059675136 12100     apollon132 104    75.6   3077165056 1370   apollon057 17.0     5.63    616464384 133       apollon083
eca-rers2012/Problem13_label12_false-unreach-call.c 882      981      3054931968 9140     apollon139 102    73.3   3113517056 1110   apollon165 5.72    1.66    302448640 42.8     apollon001
eca-rers2012/Problem13_label16_false-unreach-call.c 883      981      3060772864 10400     apollon168 103    73.7   3537522688 1100   apollon082 16.3     5.67    608030720 146       apollon015
eca-rers2012/Problem13_label19_false-unreach-call.c 882      981      3059163136 10400     apollon165 107    76.6   3284111360 1110   apollon135 18.3     5.90    606511104 149       apollon061
eca-rers2012/Problem13_label21_false-unreach-call.c 882      981      3060936704 12100     apollon064 105    76.0   3130699776 1130   apollon011 17.3     6.02    607637504 146       apollon077
eca-rers2012/Problem13_label23_false-unreach-call.c 882      981      3055689728 11200     apollon122 102    74.5   3521908736 1090   apollon107 17.8     6.06    607858688 152       apollon088
eca-rers2012/Problem13_label24_false-unreach-call.c 882      981      3038949376 12700     apollon016 103    74.7   3495542784 1150   apollon015 5.62    1.58    292306944 43.4     apollon062
eca-rers2012/Problem13_label25_false-unreach-call.c 882      981      3064246272 10800     apollon076 102    74.1   3667419136 963   apollon123 17.2     5.89    618037248 146       apollon010
eca-rers2012/Problem13_label28_false-unreach-call.c 882      981      3048697856 9910     apollon103 106    77.4   3165421568 1050   apollon089 18.1     5.86    609071104 145       apollon165
eca-rers2012/Problem13_label29_false-unreach-call.c 883      981      3061448704 9710     apollon108 103    73.3   3610001408 1070   apollon119 16.4     5.53    611250176 132       apollon115
eca-rers2012/Problem13_label30_false-unreach-call.c 882      981      3059208192 11400     apollon085 103    74.8   3851698176 988   apollon029 16.3     5.64    619749376 154       apollon161
eca-rers2012/Problem13_label32_false-unreach-call.c 882      981      3063611392 9830     apollon023 103    76.5   3131809792 1080   apollon116 18.0     6.15    594399232 151       apollon097
eca-rers2012/Problem13_label35_false-unreach-call.c 882      981      3061358592 11100     apollon091 102    76.8   2268880896 1150   apollon032 5.67    1.65    280952832 45.8     apollon093
eca-rers2012/Problem13_label36_false-unreach-call.c 882      981      3058790400 11400     apollon126 102    73.1   3050106880 1330   apollon057 18.0     5.74    623898624 167       apollon122
eca-rers2012/Problem13_label40_false-unreach-call.c 882      981      3057258496 10200     apollon003 102    72.8   3755278336 1090   apollon102 6.37    1.95    292929536 51.1     apollon068
eca-rers2012/Problem13_label43_false-unreach-call.c 882      981      3056979968 10900     apollon062 103    76.9   3208593408 1200   apollon017 17.4     5.69    617934848 143       apollon142
eca-rers2012/Problem13_label44_false-unreach-call.c 883      981      3057713152 11200     apollon159 103    76.2   3306442752 1070   apollon060 17.6     5.94    598384640 148       apollon074
eca-rers2012/Problem13_label45_false-unreach-call.c 882      981      3057934336 11600     apollon114 104    78.0   3438481408 1100   apollon099 5.49    1.55    284479488 40.2     apollon149
eca-rers2012/Problem13_label48_false-unreach-call.c 882      981      3057987584 11700     apollon091 102    72.8   3641856000 1040   apollon012 16.7     5.62    608542720 139       apollon110
eca-rers2012/Problem13_label51_false-unreach-call.c 882      981      3066499072 10600     apollon017 103    74.9   3261374464 1280   apollon148 17.3     5.69    617107456 150       apollon015
eca-rers2012/Problem13_label54_false-unreach-call.c 882      981      3062956032 11100     apollon095 103    74.0   3327623168 1110   apollon004 18.5     5.97    619364352 154       apollon112
eca-rers2012/Problem13_label58_false-unreach-call.c 882      981      3058884608 10000     apollon120 101    74.0   3087429632 1020   apollon117 5.52    1.56    277508096 40.3     apollon115
eca-rers2012/Problem14_label02_false-unreach-call_false-termination.c 881      981      648802304 10300     apollon066 101    73.5   3692232704 1190   apollon009 13.9     4.42    567984128 113       apollon168
eca-rers2012/Problem14_label08_false-unreach-call_false-termination.c 881      981      650371072 12200     apollon069 102    71.7   3787788288 1240   apollon108 13.2     4.15    564281344 118       apollon027
eca-rers2012/Problem14_label10_false-unreach-call_false-termination.c 881      981      937926656 7870     apollon054 102    69.5   3814748160 1330   apollon057 14.3     5.21    561299456 123       apollon141
eca-rers2012/Problem14_label11_false-unreach-call_false-termination.c 881      981      833576960 12400     apollon077 102    74.1   3712696320 1150   apollon078 13.6     4.97    577396736 125       apollon031
eca-rers2012/Problem14_label12_false-unreach-call_false-termination.c 881      981      749277184 9180     apollon149 102    72.7   3725533184 1120   apollon095 13.4     4.46    563052544 122       apollon048
eca-rers2012/Problem14_label13_false-unreach-call_false-termination.c 881      981      920129536 7550     apollon159 102    71.1   3905859584 1030   apollon089 11.8     3.48    548311040 108       apollon057
eca-rers2012/Problem14_label14_false-unreach-call_false-termination.c 881      981      656232448 10900     apollon096 102    73.3   3723591680 1170   apollon004 13.8     4.85    567689216 118       apollon067
eca-rers2012/Problem14_label18_false-unreach-call_false-termination.c 881      981      717160448 10800     apollon033 102    77.2   3956133888 1140   apollon135 11.1     3.06    545939456 87.8     apollon166
eca-rers2012/Problem14_label22_false-unreach-call_false-termination.c 880      981      710565888 11500     apollon125 101    67.2   3828346880 1060   apollon026 14.4     4.42    562806784 109       apollon018
eca-rers2012/Problem14_label27_false-unreach-call_false-termination.c 881      981      741437440 11500     apollon036 102    73.2   3807346688 1250   apollon108 13.1     4.31    567582720 108       apollon112
eca-rers2012/Problem14_label28_false-unreach-call_false-termination.c 881      981      654520320 10400     apollon103 102    75.3   3834126336 1200   apollon009 11.9     3.78    564715520 109       apollon094
eca-rers2012/Problem14_label29_false-unreach-call_false-termination.c 881      981      763420672 8470     apollon073 102    73.9   3712262144 1190   apollon009 12.7     4.47    570253312 129       apollon021
eca-rers2012/Problem14_label31_false-unreach-call_false-termination.c 881      981      656056320 10800     apollon097 101    65.5   3761811456 1050   apollon142 12.1     3.83    557498368 101       apollon073
eca-rers2012/Problem14_label34_false-unreach-call_false-termination.c 881      981      648368128 10600     apollon110 102    73.6   3759095808 1060   apollon099 13.0     4.12    562204672 99.7     apollon050
eca-rers2012/Problem14_label37_false-unreach-call_false-termination.c 881      981      860725248 7460     apollon157 102    71.2   3756347392 1100   apollon150 14.0     4.39    564244480 125       apollon080
eca-rers2012/Problem14_label39_false-unreach-call_false-termination.c 881      981      651714560 9350     apollon054 101    71.6   3774865408 1050   apollon127 14.9     5.47    569675776 127       apollon006
eca-rers2012/Problem14_label40_false-unreach-call_false-termination.c 881      981      793145344 11100     apollon118 101    69.0   3827568640 1110   apollon082 13.5     4.50    569192448 120       apollon102
eca-rers2012/Problem14_label41_false-unreach-call_false-termination.c 881      981      657772544 10800     apollon058 102    71.3   3829813248 1040   apollon100 13.6     4.31    563085312 99.2     apollon143
eca-rers2012/Problem14_label43_false-unreach-call_false-termination.c 881      981      700243968 9240     apollon041 102    70.2   3969552384 1130   apollon067 10.8     3.14    544477184 93.0     apollon006
eca-rers2012/Problem14_label44_false-unreach-call_false-termination.c 881      981      654974976 11000     apollon020 101    73.7   3694800896 1020   apollon151 12.8     4.34    563814400 97.8     apollon158
eca-rers2012/Problem14_label52_false-unreach-call_false-termination.c 881      981      724000768 7890     apollon022 102    74.4   3726852096 1170   apollon087 12.6     3.91    562388992 93.5     apollon054
eca-rers2012/Problem14_label54_false-unreach-call_false-termination.c 881      981      651452416 11200     apollon085 102    76.7   3713454080 1200   apollon070 14.2     4.76    560668672 111       apollon115
eca-rers2012/Problem14_label56_false-unreach-call_false-termination.c 881      981      653099008 10000     apollon153 102    74.1   3738451968 1140   apollon150 13.6     4.74    565301248 115       apollon002
eca-rers2012/Problem14_label57_false-unreach-call_false-termination.c 881      981      652259328 10600     apollon018 101    71.5   3784613888 1150   apollon032 11.1     3.61    545107968 98.5     apollon093
eca-rers2012/Problem14_label58_false-unreach-call_false-termination.c 881      981      661999616 11500     apollon019 101    75.4   3706003456 1350   apollon016 12.3     3.83    562802688 96.6     apollon060
eca-rers2012/Problem15_label00_false-unreach-call.c 881      981      1933955072 12200     apollon019 102    69.0   3349651456 1060   apollon015 14.1     3.90    561205248 111       apollon131
eca-rers2012/Problem15_label02_false-unreach-call.c 881      981      1921826816 10000     apollon100 103    72.1   2986029056 1090   apollon162 14.2     4.22    561987584 114       apollon006
eca-rers2012/Problem15_label03_false-unreach-call.c 881      981      1935499264 11100     apollon102 102    65.0   2818785280 982   apollon128 15.6     5.23    578154496 124       apollon129
eca-rers2012/Problem15_label07_false-unreach-call.c 881      981      1932361728 11300     apollon096 102    68.5   2780704768 1050   apollon078 16.0     5.03    598282240 124       apollon153
eca-rers2012/Problem15_label09_false-unreach-call.c 882      981      1934114816 9450     apollon009 101    68.9   3168329728 1070   apollon085 15.3     4.91    583467008 126       apollon142
eca-rers2012/Problem15_label14_false-unreach-call.c 881      981      1923141632 10300     apollon137 103    72.7   3475062784 1240   apollon030 15.5     4.48    572071936 108       apollon151
eca-rers2012/Problem15_label15_false-unreach-call.c 881      981      1919836160 10500     apollon099 102    68.0   3205758976 1040   apollon107 17.0     5.59    576221184 149       apollon108
eca-rers2012/Problem15_label18_false-unreach-call_false-termination.c 882      981      2298544128 10400     apollon012 104    69.0   3187466240 1080   apollon156 14.0     3.86    568905728 128       apollon057
eca-rers2012/Problem15_label22_false-unreach-call.c 882      981      1917272064 11400     apollon020 104    70.7   3306246144 1130   apollon141 13.8     3.99    571084800 106       apollon003
eca-rers2012/Problem15_label23_false-unreach-call.c 882      981      1919488000 10800     apollon146 106    76.2   3867430912 1010   apollon123 11.0     3.08    547569664 85.8     apollon144
eca-rers2012/Problem15_label25_false-unreach-call.c 881      981      1915133952 11600     apollon071 102    66.2   3770150912 1020   apollon150 12.1     3.81    596967424 107       apollon068
eca-rers2012/Problem15_label29_false-unreach-call.c 881      981      1916448768 12500     apollon030 102    65.5   3823120384 1040   apollon102 13.6     3.80    572690432 108       apollon120
eca-rers2012/Problem15_label30_false-unreach-call.c 881      981      1934098432 10500     apollon035 102    67.7   3371020288 1030   apollon053 14.0     4.01    576782336 107       apollon050
eca-rers2012/Problem15_label33_false-unreach-call.c 882      981      1936150528 8550     apollon150 103    68.4   3066548224 1180   apollon007 13.3     3.89    568147968 112       apollon102
eca-rers2012/Problem15_label34_false-unreach-call.c 881      981      1919504384 11400     apollon059 102    66.0   2954731520 1130   apollon077 15.5     4.59    564178944 129       apollon033
eca-rers2012/Problem15_label37_false-unreach-call.c 882      981      1934876672 10600     apollon107 102    70.7   3305091072 1250   apollon014 15.6     4.92    580841472 126       apollon112
eca-rers2012/Problem15_label38_false-unreach-call.c 881      981      1919840256 11800     apollon091 101    67.5   2896482304 1120   apollon112 14.9     4.87    574885888 126       apollon038
eca-rers2012/Problem15_label39_false-unreach-call.c 881      981      1937616896 10500     apollon103 102    66.9   3178024960 1060   apollon072 15.2     4.80    574103552 128       apollon164
eca-rers2012/Problem15_label40_false-unreach-call.c 881      981      1929682944 12400     apollon014 103    69.4   2967285760 1080   apollon146 13.3     4.16    571871232 98.7     apollon040
eca-rers2012/Problem15_label41_false-unreach-call.c 881      981      1922936832 12600     apollon130 102    67.8   3190972416 1150   apollon091 16.9     5.55    583032832 134       apollon162
eca-rers2012/Problem15_label45_false-unreach-call.c 881      981      1921548288 10300     apollon157 102    66.4   3089002496 1270   apollon057 14.0     4.32    566087680 115       apollon094
eca-rers2012/Problem15_label47_false-unreach-call.c 881      981      1917489152 10800     apollon078 102    66.4   3288174592 993   apollon089 16.4     5.28    583639040 116       apollon054
eca-rers2012/Problem15_label48_false-unreach-call.c 882      981      1933901824 10700     apollon079 103    68.5   3558694912 1030   apollon045 13.9     4.11    571273216 99.2     apollon134
eca-rers2012/Problem15_label50_false-unreach-call.c 882      981      1932419072 10400     apollon083 101    63.2   3065655296 1020   apollon107 10.5     2.76    570257408 88.4     apollon138
eca-rers2012/Problem15_label51_false-unreach-call.c 881      981      1919238144 10800     apollon001 104    75.6   3846983680 1310   apollon016 12.1     3.17    560160768 88.2     apollon095
eca-rers2012/Problem16_label00_false-unreach-call.c 881      981      2033512448 11700     apollon030 112    89.7   1988337664 1170   apollon089 .00923 .0139  909312 .0214  apollon072
eca-rers2012/Problem16_label01_false-unreach-call.c 881      981      2021777408 9770     apollon113 102    62.2   3824599040 1070   apollon076 14.4     4.52    574820352 119       apollon032
eca-rers2012/Problem16_label03_false-unreach-call.c 882      981      1308000256 8540     apollon145 103    65.1   3852247040 1090   apollon152 14.6     5.31    581836800 130       apollon017
eca-rers2012/Problem16_label04_false-unreach-call.c 881      981      1983164416 9070     apollon092 106    69.9   3938975744 1050   apollon002 14.4     5.24    580091904 127       apollon156
eca-rers2012/Problem16_label05_false-unreach-call.c 881      981      1926717440 10400     apollon154 104    68.2   3425861632 1180   apollon019 15.4     5.46    576716800 123       apollon043
eca-rers2012/Problem16_label06_false-unreach-call.c 882      981      1888559104 8900     apollon118 101    67.9   3842584576 1100   apollon015 15.3     5.31    579518464 139       apollon070
eca-rers2012/Problem16_label08_false-unreach-call.c 881      981      1890922496 11500     apollon071 102    65.3   3888943104 968   apollon098 14.5     4.78    569552896 124       apollon004
eca-rers2012/Problem16_label14_false-unreach-call.c 881      981      1959251968 10000     apollon129 103    69.4   3708743680 1100   apollon072 16.0     5.56    575635456 130       apollon142
eca-rers2012/Problem16_label15_false-unreach-call.c 881      981      1510916096 9660     apollon151 103    61.1   3711295488 1010   apollon120 15.5     5.44    577462272 129       apollon110
eca-rers2012/Problem16_label18_false-unreach-call.c 881      981      1944883200 9190     apollon137 102    71.2   3740741632 1310   apollon016 17.7     5.73    578695168 134       apollon045
eca-rers2012/Problem16_label20_false-unreach-call.c 881      981      1883787264 12800     apollon161 112    89.3   1820188672 1210   apollon045 .00854 .00990 888832 .00671 apollon136
eca-rers2012/Problem16_label22_false-unreach-call.c 882      981      1975390208 12300     apollon140 103    70.5   3753250816 1230   apollon167 14.1     4.52    591147008 116       apollon032
eca-rers2012/Problem16_label27_false-unreach-call.c 882      981      1893224448 9870     apollon070 104    67.6   3831992320 1030   apollon079 12.7     3.76    565317632 100       apollon018
eca-rers2012/Problem16_label30_false-unreach-call.c 881      981      2067550208 8570     apollon144 105    72.1   3881861120 1040   apollon099 13.3     4.19    570568704 100       apollon133
eca-rers2012/Problem16_label31_false-unreach-call.c 881      981      1468157952 10700     apollon055 106    70.7   3890802688 1130   apollon102 14.0     4.76    563748864 110       apollon001
eca-rers2012/Problem16_label33_false-unreach-call.c 881      981      1910308864 9800     apollon035 105    65.7   3932274688 1110   apollon084 15.0     4.85    577064960 103       apollon158
eca-rers2012/Problem16_label37_false-unreach-call.c 881      981      1918681088 11700     apollon167 102    65.2   3914637312 948   apollon123 15.0     4.84    582008832 113       apollon134
eca-rers2012/Problem16_label38_false-unreach-call.c 881      981      1905917952 12300     apollon140 106    74.5   3923664896 1190   apollon093 14.6     4.64    571301888 110       apollon043
eca-rers2012/Problem16_label41_false-unreach-call.c 881      981      1882451968 9660     apollon115 103    67.9   3817046016 1060   apollon107 15.2     4.75    578445312 123       apollon147
eca-rers2012/Problem16_label43_false-unreach-call.c 881      981      1612210176 9410     apollon158 104    66.6   3683627008 954   apollon151 16.6     5.77    585568256 146       apollon159
eca-rers2012/Problem16_label44_false-unreach-call.c 881      981      1797148672 9680     apollon166 104    68.7   3871711232 1140   apollon084 14.5     4.65    571555840 131       apollon076
eca-rers2012/Problem16_label46_false-unreach-call.c 881      981      1479835648 10700     apollon058 106    67.8   3895021568 1130   apollon009 13.9     4.66    576856064 113       apollon107
eca-rers2012/Problem16_label51_false-unreach-call.c 880      981      1508786176 12100     apollon007 104    65.6   3796930560 996   apollon098 16.3     5.49    585465856 142       apollon015
eca-rers2012/Problem16_label52_false-unreach-call.c 882      981      1949548544 10100     apollon084 102    61.3   3854917632 1060   apollon141 14.3     4.56    573120512 125       apollon153
eca-rers2012/Problem16_label54_false-unreach-call.c 881      981      1954709504 12300     apollon148 102    65.9   3749208064 1010   apollon100 17.7     6.72    596156416 146       apollon133
eca-rers2012/Problem17_label04_false-unreach-call.c 882      981      3029016576 10400     apollon003 102    69.9   3092475904 949   apollon054 13.3     3.82    577069056 111       apollon032
eca-rers2012/Problem17_label07_false-unreach-call.c 882      981      3024502784 12700     apollon030 103    67.4   3428421632 1050   apollon095 13.3     3.90    576970752 117       apollon022
eca-rers2012/Problem17_label09_false-unreach-call.c 882      981      3032449024 12700     apollon088 102    65.9   3544944640 1050   apollon082 12.2     3.66    594411520 94.6     apollon053
eca-rers2012/Problem17_label13_false-unreach-call.c 882      981      29873