Tool CMCReduction CMC Reduction 1.0
Limits 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-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 2018-02-06 16:22:09 CET 2018-02-10 00:22:46 CET
Run set congen.predicate conditions-predicate-reducer-verifiers.CPAchecker explicit
Options -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 CPAchecker-explicit-current -condverif -noout -condverif -disable-java-assertions -condverif -heap 10000M -reducer -stack 800M
../../sv-benchmarks/c/ 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.52 1.07  272412672 23.6 apollon152 904       871       1937518592 7040       apollon163
array-examples/sorting_bubblesort_false-unreach-call2_ground.i 2.48 1.06  266936320 22.8 apollon077 903       873       1766264832 6760       apollon042
array-examples/sorting_bubblesort_false-unreach-call_ground.i 2.58 1.06  271364096 23.2 apollon146 903       872       1878339584 6870       apollon078
array-examples/sorting_selectionsort_false-unreach-call2_ground.i 2.52 1.05  273469440 25.9 apollon021 903       872       1724854272 7790       apollon068
array-examples/sorting_selectionsort_false-unreach-call_ground.i 2.51 1.10  269996032 22.5 apollon070 903       872       1431314432 7760       apollon096
array-examples/standard_allDiff2_false-unreach-call_ground.i 2.55 1.02  272674816 20.6 apollon100 904       873       2439237632 7380       apollon113
array-examples/standard_copy1_false-unreach-call_ground.i 2.47 1.04  270622720 21.5 apollon012 904       872       1692680192 9510       apollon095
array-examples/standard_copy2_false-unreach-call_ground.i 2.63 1.07  266743808 24.9 apollon044 904       872       1749467136 11000       apollon019
array-examples/standard_copy3_false-unreach-call_ground.i 2.54 1.10  266362880 21.5 apollon157 904       872       1988648960 7460       apollon022
array-examples/standard_copy4_false-unreach-call_ground.i 2.57 1.05  271839232 23.3 apollon112 904       873       1344233472 13100       apollon056
array-examples/standard_copy5_false-unreach-call_ground.i 2.76 1.09  293363712 23.0 apollon025 904       873       1294925824 10300       apollon072
array-examples/standard_copy6_false-unreach-call_ground.i 2.47 1.03  267083776 22.3 apollon120 904       873       1421611008 7760       apollon115
array-examples/standard_copy7_false-unreach-call_ground.i 2.52 1.07  271093760 25.7 apollon057 904       874       1421320192 9650       apollon119
array-examples/standard_copy8_false-unreach-call_ground.i 2.74 1.13  269246464 23.6 apollon015 904       873       1624698880 8250       apollon041
array-examples/standard_copy9_false-unreach-call_ground.i 2.61 1.06  270417920 21.9 apollon045 904       874       1510117376 9450       apollon115
array-examples/standard_copyInitSum2_false-unreach-call_ground.i 2.44 1.04  267759616 21.5 apollon085 904       874       1272213504 9550       apollon099
array-examples/standard_init1_false-unreach-call_ground.i 2.45 1.04  267902976 20.9 apollon157 904       873       1326362624 8630       apollon003
array-examples/standard_init2_false-unreach-call_ground.i 2.38 1.03  268550144 22.5 apollon067 904       873       1325891584 8760       apollon146
array-examples/standard_init3_false-unreach-call_ground.i 2.47 1.02  271982592 25.8 apollon021 904       873       1501171712 12400       apollon080
array-examples/standard_init4_false-unreach-call_ground.i 2.61 1.08  274423808 20.3 apollon089 904       874       1159094272 12400       apollon044
array-examples/standard_init5_false-unreach-call_ground.i 2.56 1.04  266813440 22.3 apollon118 904       873       1437786112 9850       apollon035
array-examples/standard_init6_false-unreach-call_ground.i 2.57 1.05  267812864 23.4 apollon152 904       870       1800548352 11000       apollon024
array-examples/standard_init7_false-unreach-call_ground.i 2.48 1.04  269676544 25.6 apollon021 904       873       1419419648 9300       apollon144
array-examples/standard_init8_false-unreach-call_ground.i 2.50 1.06  268128256 21.8 apollon018 904       872       1528700928 11200       apollon024
array-examples/standard_init9_false-unreach-call_ground.i 2.54 1.05  269008896 26.2 apollon039 904       872       1777360896 11800       apollon088
array-examples/standard_minInArray_false-unreach-call_ground.i 2.61 1.02  267812864 23.6 apollon015 903       871       2010923008 11000       apollon021
array-examples/standard_partition_false-unreach-call_ground.i 2.51 1.06  268705792 21.6 apollon082 904       872       1536008192 9740       apollon125
array-examples/standard_running_false-unreach-call.i 2.64 1.07  264208384 21.3 apollon053 904       872       2065010688 8630       apollon059
array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i 2.60 1.06  272642048 20.8 apollon151 904       876       3347759104 11600       apollon112
array-examples/data_structures_set_multi_proc_true-unreach-call_ground.i 2.47 1.06  266264576 20.2 apollon117 904       873       2320769024 8660       apollon084
array-examples/relax_true-unreach-call.i 6.31 2.05  316092416 54.9 apollon007 6.60    2.35    261099520 51.7     apollon143
array-examples/sanfoundry_02_true-unreach-call_ground.i 2.54 1.05  269328384 20.6 apollon099 903       872       1552211968 10300       apollon071
array-examples/sanfoundry_10_true-unreach-call_ground.i 101    73.5   3730948096 1140   apollon018 904       870       1770405888 9320       apollon028
array-examples/sanfoundry_24_true-unreach-call_true-termination.i 2.46 1.05  268558336 22.1 apollon084 4.36    1.83    212185088 36.6     apollon045
array-examples/sanfoundry_27_true-unreach-call_ground.i 2.48 1.06  265367552 21.5 apollon072 903       871       1966043136 8940       apollon099
array-examples/sanfoundry_43_true-unreach-call_ground.i 2.53 1.05  266354688 25.7 apollon160 .0102  .00999 901120 .0117  apollon106
array-examples/sorting_bubblesort_true-unreach-call_ground.i 2.53 1.08  269271040 21.5 apollon157 903       873       1422200832 7690       apollon012
array-examples/sorting_selectionsort_true-unreach-call_ground.i 2.50 1.04  269221888 21.7 apollon026 903       871       1877106688 12300       apollon057
array-examples/standard_compareModified_true-unreach-call_ground.i 2.37 1.05  269266944 21.6 apollon087 904       875       1858027520 11300       apollon005
array-examples/standard_compare_true-unreach-call_ground.i 2.49 1.04  266219520 21.2 apollon002 903       873       1503072256 10700       apollon006
array-examples/standard_copy1_true-unreach-call_ground.i 2.46 1.06  264511488 21.5 apollon072 904       873       1449246720 11700       apollon140
array-examples/standard_copy2_true-unreach-call_ground.i 2.68 1.09  274247680 19.3 apollon158 904       873       1657294848 7880       apollon104
array-examples/standard_copy3_true-unreach-call_ground.i 2.48 1.05  263942144 23.7 apollon161 904       873       1741824000 9830       apollon017
array-examples/standard_copy4_true-unreach-call_ground.i 2.50 1.07  270069760 22.7 apollon093 904       874       1320009728 9390       apollon053
array-examples/standard_copy5_true-unreach-call_ground.i 2.54 1.08  270479360 23.8 apollon020 904       873       1836736512 8940       apollon127
array-examples/standard_copy6_true-unreach-call_ground.i 2.49 1.05  264380416 24.6 apollon081 904       874       1267503104 9170       apollon045
array-examples/standard_copy7_true-unreach-call_ground.i 2.72 1.06  294158336 23.9 apollon120 904       873       1610801152 9370       apollon018
array-examples/standard_copy8_true-unreach-call_ground.i 2.65 1.05  291987456 24.5 apollon077 904       873       1701515264 9460       apollon084
array-examples/standard_copy9_true-unreach-call_ground.i 2.56 1.06  270852096 22.6 apollon084 904       874       1444102144 9310       apollon141
array-examples/standard_copyInitSum2_true-unreach-call_ground.i 2.56 1.04  271286272 21.4 apollon045 904       873       1265786880 8530       apollon078
array-examples/standard_copyInitSum3_true-unreach-call_ground.i 2.48 1.06  270450688 21.2 apollon082 904       873       1694109696 7580       apollon153
array-examples/standard_copyInitSum_true-unreach-call_ground.i 2.49 1.05  270446592 24.7 apollon106 903       873       2051964928 8510       apollon041
array-examples/standard_copyInit_true-unreach-call_ground.i 2.46 1.09  266682368 24.3 apollon030 904       873       1302519808 11300       apollon016
array-examples/standard_find_true-unreach-call_ground.i 2.48 1.05  268480512 25.1 apollon057 904       873       1746149376 9770       apollon026
array-examples/standard_init1_true-unreach-call_ground.i 2.48 1.03  265166848 21.4 apollon095 903       872       1728032768 8140       apollon025
array-examples/standard_init2_true-unreach-call_ground.i 2.59 1.06  271470592 19.1 apollon092 904       871       1749737472 9340       apollon083
array-examples/standard_init3_true-unreach-call_ground.i 2.48 1.02  269938688 21.0 apollon058 904       872       1809055744 9390       apollon117
array-examples/standard_init4_true-unreach-call_ground.i 2.47 1.04  266502144 20.6 apollon127 904       872       1514606592 11100       apollon065
array-examples/standard_init5_true-unreach-call_ground.i 2.58 1.07  267907072 22.5 apollon142 904       874       1350598656 7970       apollon022
array-examples/standard_init6_true-unreach-call_ground.i 2.44 1.05  267489280 20.0 apollon098 904       872       1798766592 10400       apollon065
array-examples/standard_init7_true-unreach-call_ground.i 2.51 1.08  267612160 19.6 apollon151 904       871       1737576448 8840       apollon113
array-examples/standard_init8_true-unreach-call_ground.i 2.49 1.04  270630912 23.9 apollon047 904       872       1744605184 8950       apollon105
array-examples/standard_init9_true-unreach-call_ground.i 2.51 1.04  266563584 20.3 apollon043 904       872       1755947008 9420       apollon047
array-examples/standard_maxInArray_true-unreach-call_ground.i 2.48 1.03  268001280 22.4 apollon168 903       873       1644957696 9860       apollon068
array-examples/standard_minInArray_true-unreach-call_ground.i 2.65 1.04  269180928 21.1 apollon042 904       872       1510481920 12500       apollon056
array-examples/standard_palindrome_true-unreach-call_ground.i 2.54 1.05  273584128 19.8 apollon151 904       873       1675923456 9140       apollon018
array-examples/standard_partial_init_true-unreach-call_ground.i 2.67 1.11  270290944 25.1 apollon106 903       872       1432416256 9030       apollon125
array-examples/standard_partition_original_true-unreach-call_ground.i 2.73 1.17  270344192 22.4 apollon168 904       871       2081492992 10600       apollon132
array-examples/standard_partition_true-unreach-call_ground.i 2.50 1.05  271712256 21.1 apollon053 904       872       1488375808 9450       apollon083
array-examples/standard_password_true-unreach-call_ground.i 2.42 1.03  269025280 22.2 apollon038 903       872       1398034432 10800       apollon094
array-examples/standard_reverse_true-unreach-call_ground.i 2.55 1.06  269656064 24.2 apollon161 904       872       1736560640 12100       apollon021
array-examples/standard_running_true-unreach-call.i 2.48 1.05  271241216 20.7 apollon133 904       876       3283984384 10400       apollon011
array-examples/standard_sentinel_true-unreach-call_true-termination.i 2.45 1.03  268648448 22.5 apollon032 4.21    1.76    211451904 38.3     apollon058
array-examples/standard_seq_init_true-unreach-call_ground.i 2.47 1.06  270946304 21.4 apollon042 904       874       1288925184 8990       apollon138
array-examples/standard_strcmp_true-unreach-call_ground.i 2.66 1.05  295841792 24.4 apollon076 903       874       1482792960 6720       apollon002
array-examples/standard_strcpy_original_true-unreach-call.i 2.57 1.07  264450048 23.6 apollon081 904       874       1420361728 10400       apollon147
array-examples/standard_strcpy_true-unreach-call_ground.i 2.48 1.02  269180928 23.9 apollon007 904       873       1452457984 10700       apollon106
array-examples/standard_two_index_01_true-unreach-call.i 2.47 1.03  271372288 24.1 apollon014 151       135       1812779008 1640       apollon042
array-examples/standard_two_index_02_true-unreach-call.i 2.55 1.06  266633216 22.9 apollon167 904       874       1206509568 7650       apollon022
array-examples/standard_two_index_03_true-unreach-call.i 2.57 1.06  266534912 20.9 apollon025 64.6     52.9     1500553216 693       apollon105
array-examples/standard_two_index_04_true-unreach-call.i 2.53 1.04  268087296 25.4 apollon057 903       876       2674618368 9200       apollon029
array-examples/standard_two_index_05_true-unreach-call.i 2.46 1.02  268779520 20.8 apollon058 904       881       3849392128 9990       apollon149
array-examples/standard_two_index_06_true-unreach-call.i 2.44 1.04  266018816 20.2 apollon123 53.2     43.1     1363922944 576       apollon026
array-examples/standard_two_index_07_true-unreach-call.i 2.48 1.04  269139968 22.3 apollon142 903       870       1238765568 10100       apollon038
array-examples/standard_two_index_08_true-unreach-call.i 2.51 1.04  269012992 22.7 apollon032 903       868       1232248832 10700       apollon028
array-examples/standard_two_index_09_true-unreach-call.i 2.50 1.05  267792384 21.2 apollon157 903       869       1489530880 7310       apollon123
array-examples/standard_vararg_true-unreach-call_ground_true-termination.i 2.47 1.03  272302080 21.7 apollon004 4.57    1.84    272121856 41.1     apollon142
array-examples/standard_vector_difference_true-unreach-call_ground.i 2.44 1.03  263282688 22.9 apollon015 904       873       1291894784 9240       apollon025
array-industry-pattern/array_assert_loop_dep_false-unreach-call_true-termination.i 2.58 1.05  270540800 25.9 apollon039 904       873       1320611840 8890       apollon137
array-industry-pattern/array_of_struct_loop_dep_false-unreach-call.i 101    72.2   3686895616 1160   apollon141 904       873       1448443904 9380       apollon026
array-industry-pattern/array_ptr_single_elem_init_false-unreach-call_true-termination.i 2.56 1.10  267821056 21.8 apollon011 903       874       3862859776 9790       apollon076
array-industry-pattern/array_range_init_false-unreach-call.i 2.48 1.04  265711616 22.6 apollon168 905       874       3870121984 12500       apollon024
array-industry-pattern/array_single_elem_init_false-unreach-call_true-termination.i 2.49 1.04  269717504 24.6 apollon016 903       875       3862142976 11700       apollon036
array-industry-pattern/check_removal_from_set_after_insertion_false-unreach-call.i 101    71.3   3689865216 1060   apollon025 906       866       2050514944 10900       apollon111
array-industry-pattern/array_monotonic_true-unreach-call_true-termination.i 2.51 1.08  267730944 21.8 apollon121 904       872       1543192576 7900       apollon096
array-industry-pattern/array_mul_init_true-unreach-call_true-termination.i 2.46 1.04  265089024 21.1 apollon157 904       871       1667010560 6320       apollon144
array-industry-pattern/array_of_struct_break_true-unreach-call.i 101    73.8   3707666432 1050   apollon100 904       872       1529085952 8740       apollon156
array-industry-pattern/array_of_struct_ptr_cond_init_true-unreach-call.i 101    77.5   3476049920 1180   apollon085 905       868       1659756544 10200       apollon165
array-industry-pattern/array_of_struct_ptr_flag_init_true-unreach-call.i 101    74.5   3696898048 1040   apollon128 905       872       1616662528 9820       apollon017
array-industry-pattern/array_of_struct_ptr_monotonic_true-unreach-call.i 101    78.2   3546808320 1180   apollon011 905       867       1722179584 9290       apollon034
array-industry-pattern/array_of_struct_ptr_mul_init_true-unreach-call.i 101    72.5   3717758976 1100   apollon156 905       872       1872576512 7740       apollon055
array-industry-pattern/array_of_struct_single_elem_init_true-unreach-call.i 101    73.4   3714146304 975   apollon054 904       872       1854660608 6620       apollon060
array-industry-pattern/array_ptr_partial_init_true-unreach-call.i 101    74.9   3696025600 1100   apollon012 904       873       1452691456 12600       apollon021
array-industry-pattern/array_ptr_single_elem_init_true-unreach-call.i 101    75.4   3036516352 1050   apollon128 905       870       1702539264 8230       apollon164
array-industry-pattern/array_shadowinit_true-unreach-call_true-termination.i 101    76.0   3866857472 1240   apollon140 1.85    .775   177340416 15.1     apollon139
reducercommutativity/rangesum05_false-unreach-call_true-termination.i 7.69 2.37  413929472 56.8 apollon043 .00834 .00844 786432 .0113  apollon155
reducercommutativity/rangesum10_false-unreach-call_true-termination.i 12.5  3.47  480616448 107   apollon125 .0256  .0264  847872 .00543 apollon076
reducercommutativity/rangesum20_false-unreach-call.i 31.2  7.98  1050562560 247   apollon018 .0170  .0176  909312 .0100  apollon129
reducercommutativity/rangesum40_false-unreach-call.i 59.3  28.1   2526670848 580   apollon152 .0129  .0127  851968 .00671 apollon136
reducercommutativity/rangesum60_false-unreach-call.i 101    62.0   3709898752 998   apollon086 33.0     18.7     1385824256 329       apollon144
reducercommutativity/rangesum_false-unreach-call_true-termination.i 8.10 2.38  463929344 73.3 apollon057 .0110  .0108  970752 .00806 apollon101
reducercommutativity/avg05_true-unreach-call_true-termination.i 101    71.8   4092358656 1120   apollon020 5.84    2.15    278528000 45.4     apollon123
reducercommutativity/avg10_true-unreach-call_true-termination.i 101    67.7   4059254784 878   apollon158 6.09    2.17    282050560 51.3     apollon042
reducercommutativity/avg20_true-unreach-call.i 101    61.5   2672193536 894   apollon009 6.78    2.41    287911936 62.7     apollon161
reducercommutativity/avg40_true-unreach-call.i 65.4  32.7   2740805632 684   apollon030 .0132  .0132  1048576 .00000 apollon011
reducercommutativity/avg60_true-unreach-call.i 101    70.1   3723132928 1230   apollon007 18.1     7.29    870834176 175       apollon006
reducercommutativity/avg_true-unreach-call_true-termination.i 101    70.6   4207607808 984   apollon040 4.82    1.96    249237504 41.5     apollon049
reducercommutativity/max05_true-unreach-call_true-termination.i 101    82.2   1129910272 796   apollon101 6.77    2.35    294252544 57.1     apollon109
reducercommutativity/max10_true-unreach-call_true-termination.i 102    81.1   1571536896 1150   apollon085 9.59    2.98    364814336 75.9     apollon095
reducercommutativity/max20_true-unreach-call.i 102    59.7   3975331840 1160   apollon160 12.0     3.49    417898496 99.2     apollon140
reducercommutativity/max40_true-unreach-call.i 65.6  33.5   2954465280 555   apollon158 .0108  .0109  876544 .00879 apollon105
reducercommutativity/max60_true-unreach-call.i 101    70.4   3720253440 1150   apollon052 1.85    .816   170782720 16.9     apollon067
reducercommutativity/max_true-unreach-call_true-termination.i 101    78.1   3196026880 1100   apollon162 5.15    2.04    258490368 49.5     apollon141
reducercommutativity/sep05_true-unreach-call_true-termination.i 101    73.4   3047858176 879   apollon076 7.76    2.54    340197376 72.8     apollon044
reducercommutativity/sep10_true-unreach-call.i 101    79.6   2550169600 1090   apollon045 9.04    2.82    356823040 71.6     apollon157
reducercommutativity/sep20_true-unreach-call.i 101    38.3   3863842816 771   apollon005 11.6     3.53    421941248 102       apollon007
reducercommutativity/sep40_true-unreach-call.i 68.5  36.4   3073941504 653   apollon107 .0152  .0195  1114112 .0257  apollon167
reducercommutativity/sep60_true-unreach-call.i 101    68.4   3695423488 1020   apollon002 51.0     36.1     1688637440 503       apollon054
reducercommutativity/sep_true-unreach-call_true-termination.i 101    70.5   3884142592 1100   apollon018 5.11    2.07    252190720 48.4     apollon141
reducercommutativity/sum05_true-unreach-call_true-termination.i 101    80.1   3679051776 1130   apollon086 5.46    2.09    256274432 48.5     apollon113
reducercommutativity/sum10_true-unreach-call_true-termination.i 101    70.7   4019585024 1120   apollon071 6.13    2.23    280342528 58.2     apollon159
reducercommutativity/sum20_true-unreach-call.i 101    62.1   2938724352 817   apollon092 6.86    2.36    287264768 56.9     apollon061
reducercommutativity/sum40_true-unreach-call.i 62.7  31.0   2867589120 603   apollon120 .0160  .0162  798720 .00940 apollon049
reducercommutativity/sum60_true-unreach-call.i 101    71.0   3711438848 1110   apollon162 14.4     4.11    444162048 114       apollon105
reducercommutativity/sum_true-unreach-call_true-termination.i 101    76.1   3641413632 1170   apollon038 5.16    2.00    258805760 47.3     apollon032
array-tiling/mlceu_false-unreach-call.i 3.63 1.50  282714112 31.9 apollon084 904       871       1724215296 8700       apollon100
array-tiling/skippedu_false-unreach-call.i 3.63 1.44  288727040 31.1 apollon026 .0160  .0164  901120 .0149  apollon166
array-tiling/mbpr2_true-unreach-call.i 101    67.8   3743059968 1150   apollon081 5.81    2.15    259956736 46.3     apollon149
array-tiling/mbpr3_true-unreach-call.i 101    65.5   3797508096 1140   apollon007 6.50    2.39    268234752 49.7     apollon123
array-tiling/mbpr4_true-unreach-call.i 101    68.1   3704430592 958   apollon151 6.55    2.33    282861568 59.4     apollon146
array-tiling/mbpr5_true-unreach-call.i 101    72.4   3754287104 1260   apollon014 1.89    .797   174714880 17.5     apollon091
array-tiling/nr2_true-unreach-call.i 101    69.6   3708661760 1020   apollon042 5.44    2.11    257130496 48.8     apollon166
array-tiling/nr3_true-unreach-call.i 101    72.0   3858083840 1190   apollon167 5.69    2.13    261877760 52.8     apollon118
array-tiling/nr4_true-unreach-call.i 101    69.1   3838636032 1040   apollon034 6.22    2.25    275173376 59.5     apollon080
array-tiling/nr5_true-unreach-call.i 101    64.7   3552428032 894   apollon158 6.83    2.37    381636608 53.6     apollon086
array-tiling/pnr2_true-unreach-call.i 101    70.1   3902996480 1130   apollon146 4.77    1.98    251981824 40.4     apollon066
array-tiling/pnr3_true-unreach-call.i 101    61.8   4284567552 1070   apollon091 4.29    1.80    212549632 43.2     apollon059
array-tiling/pnr4_true-unreach-call.i 101    65.1   4213096448 1030   apollon146 4.50    1.94    248078336 41.0     apollon087
array-tiling/pnr5_true-unreach-call.i 105    58.6   4311687168 965   apollon082 4.62    1.88    249102336 40.5     apollon011
array-tiling/poly1_true-unreach-call.i 101    75.9   2480005120 992   apollon079 904       872       1248108544 11300       apollon132
array-tiling/poly2_true-unreach-call.i 101    70.5   3057106944 999   apollon002 4.67    1.95    248225792 42.6     apollon037
array-tiling/pr2_true-unreach-call.i 101    71.5   3607281664 1170   apollon164 5.07    1.98    249638912 39.8     apollon123
array-tiling/pr3_true-unreach-call.i 101    76.4   3561402368 1100   apollon079 5.81    2.26    260251648 47.2     apollon003
array-tiling/pr4_true-unreach-call.i 101    72.8   3111403520 1090   apollon078 6.31    2.30    259047424 59.2     apollon122
array-tiling/pr5_true-unreach-call.i 101    76.9   3330641920 1260   apollon019 6.39    2.35    261148672 58.1     apollon130
array-tiling/revcpyswp2_true-unreach-call.i 101    75.9   3419410432 1100   apollon086 4.95    1.97    253964288 40.4     apollon139
array-tiling/rew_true-unreach-call.i 102    68.0   3862368256 1050   apollon058 4.24    1.81    213090304 36.1     apollon073
array-tiling/rewnif_true-unreach-call.i 101    71.0   3374350336 1250   apollon044 5.94    2.21    265945088 43.6     apollon063
array-tiling/rewnifrev2_true-unreach-call.i 101    74.7   2781618176 1150   apollon095 4.48    1.86    252166144 44.1     apollon059
array-tiling/rewnifrev_true-unreach-call.i 101    76.7   2974679040 1130   apollon119 4.49    1.88    209039360 45.2     apollon033
array-tiling/rewrev_true-unreach-call.i 101    77.2   2405355520 1040   apollon151 4.98    1.98    254590976 42.4     apollon165
array-tiling/skipped_true-unreach-call.i 101    66.6   4037947392 1020   apollon032 5.23    2.05    249720832 44.4     apollon086
array-tiling/tcpy_true-unreach-call.i 101    71.5   3962458112 1260   apollon161 4.18    1.78    209903616 43.4     apollon125
array-programs/copysome1_false-unreach-call.i 2.65 1.04  291065856 24.0 apollon077 904       872       1366990848 8250       apollon045
array-programs/copysome2_false-unreach-call.i 2.45 1.04  270254080 20.2 apollon099 904       872       1531973632 7460       apollon120
array-programs/copysome1_true-unreach-call.i 2.71 1.05  290291712 23.2 apollon034 904       872       1384452096 6190       apollon120
array-programs/copysome2_true-unreach-call.i 2.42 1.05  268816384 20.6 apollon127 904       872       1394262016 8900       apollon090
bitvector/byte_add_false-unreach-call_true-no-overflow_true-termination.i 5.26 1.83  301273088 44.9 apollon165 8.12    2.73    358862848 68.8     apollon109
bitvector/sum02_false-unreach-call_true-no-overflow.i 3.52 1.47  280109056 30.1 apollon082 4.23    1.82    212963328 43.2     apollon094
bitvector/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i 6.03 2.09  319234048 51.7 apollon091 10.9     3.43    411004928 85.2     apollon086
bitvector/byte_add_2_true-unreach-call_true-no-overflow_true-termination.i 5.73 1.89  317952000 52.7 apollon126 11.9     3.70    426094592 105       apollon163
bitvector/gcd_1_true-unreach-call_true-no-overflow.i 4.10 1.51  304193536 33.4 apollon079 4.63    1.96    253632512 42.5     apollon097
bitvector/gcd_2_true-unreach-call_true-no-overflow.i 3.46 1.37  273186816 31.5 apollon112 .0107  .0119  987136 .00726 apollon078
bitvector/gcd_3_true-unreach-call_true-no-overflow.i 3.62 1.47  288235520 31.8 apollon076 4.33    1.82    218308608 36.9     apollon128
bitvector/gcd_4_true-unreach-call_true-no-overflow_true-termination.i 5.16 1.76  313200640 44.6 apollon156 6.14    2.19    283201536 56.0     apollon130
bitvector/interleave_bits_true-unreach-call_true-no-overflow.i 7.33 2.28  452468736 62.2 apollon126 5.14    2.07    251285504 48.7     apollon020
bitvector/jain_1_true-unreach-call_true-no-overflow_false-termination.i 2.84 1.19  277032960 29.1 apollon021 .0117  .0116  999424 .0119  apollon086
bitvector/jain_2_true-unreach-call_true-no-overflow_false-termination.i 3.21 1.20  293670912 27.2 apollon022 .0122  .0122  1040384 .00378 apollon156
bitvector/jain_4_true-unreach-call_true-no-overflow_false-termination.i 3.11 1.25  274595840 27.2 apollon005 .0153  .0151  913408 .00287 apollon032
bitvector/jain_5_true-unreach-call_true-no-overflow.i 101    80.7   2778210304 1220   apollon052 905       873       1430241280 9800       apollon090
bitvector/jain_6_true-unreach-call_true-no-overflow_false-termination.i 3.31 1.25  294891520 25.6 apollon054 .0108  .0108  1036288 .00000 apollon027
bitvector/jain_7_true-unreach-call_true-no-overflow_false-termination.i 2.84 1.18  274214912 26.8 apollon022 .0100  .0103  1044480 .0114  apollon066
bitvector/modulus_true-unreach-call_true-no-overflow.i 3.14 1.31  277803008 27.8 apollon052 4.60    1.91    251543552 44.3     apollon152
bitvector/num_conversion_1_true-unreach-call_true-no-overflow.i 4.90 1.77  305999872 42.5 apollon167 6.07    2.22    276238336 48.7     apollon128
bitvector/num_conversion_2_true-unreach-call_true-no-overflow.i 4.91 1.77  302903296 42.7 apollon032 4.99    2.10    251375616 46.7     apollon094
bitvector/parity_true-unreach-call_true-no-overflow.i 3.31 1.31  286834688 31.4 apollon014 4.76    1.98    253145088 46.2     apollon106
bitvector/sum02_true-unreach-call_true-no-overflow.i 3.50 1.45  281563136 34.3 apollon108 4.58    1.91    247296000 39.2     apollon058
bitvector/s3_clnt_1_false-unreach-call_true-no-overflow.BV.c.cil.c 10.6  3.08  467173376 93.6 apollon106 27.4     12.6     1585356800 255       apollon144
bitvector/s3_clnt_2_false-unreach-call_true-no-overflow.BV.c.cil.c 18.5  5.01  617021440 160   apollon168 106       87.7     3699015680 1160       apollon098
bitvector/s3_clnt_3_false-unreach-call_true-no-overflow.BV.c.cil.c 7.04 2.21  388128768 58.5 apollon120 20.7     8.50    914604032 197       apollon022
bitvector/s3_clnt_1_true-unreach-call_true-no-overflow.BV.c.cil.c 14.2  4.01  500178944 106   apollon121 57.7     42.0     2855870464 669       apollon070
bitvector/s3_clnt_2_true-unreach-call_true-no-overflow.BV.c.cil.c 24.2  6.77  833982464 199   apollon102 73.5     57.0     3669655552 1020       apollon036
bitvector/s3_clnt_3_true-unreach-call_true-no-overflow.BV.c.cil.c 101    77.4   3071184896 984   apollon100 17.1     6.75    853422080 154       apollon004
bitvector/s3_srvr_1_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 101    75.1   2657251328 1170   apollon070 24.7     14.0     1448075264 243       apollon062
bitvector/s3_srvr_1_true-unreach-call_true-no-overflow.BV.c.cil.c 31.1  8.45  977502208 229   apollon029 .0122  .0116  942080 .0109  apollon019
bitvector/s3_srvr_2_alt_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c 41.9  18.5   1371332608 409   apollon020 .0219  .0214  741376 .00977 apollon125
bitvector/s3_srvr_2_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c 42.8  18.2   1405607936 402   apollon168 .0246  .0257  913408 .00549 apollon097
bitvector/s3_srvr_3_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 19.0  5.09  630145024 168   apollon030 .0114  .0109  888832 .00909 apollon027
bitvector/s3_srvr_3_true-unreach-call_true-no-overflow.BV.c.cil.c 62.0  33.8   2281033728 700   apollon161 .0198  .0195  1011712 .00500 apollon087
bitvector/soft_float_1_true-unreach-call_true-no-overflow_true-termination.c.cil.c 4.80 1.77  296083456 38.6 apollon100 6.39    2.30    256008192 53.2     apollon066
bitvector/soft_float_2_true-unreach-call_true-no-overflow_true-termination.c.cil.c 7.53 2.34  446177280 63.2 apollon156 9.62    3.01    334352384 71.9     apollon092
bitvector/soft_float_3_true-unreach-call_true-no-overflow_true-termination.c.cil.c 7.39 2.33  444780544 63.0 apollon091 9.99    3.23    333250560 77.5     apollon003
bitvector/soft_float_4_true-unreach-call_true-no-overflow_true-termination.c.cil.c 4.21 1.68  290402304 37.0 apollon076 6.01    2.26    253784064 53.1     apollon112
bitvector/soft_float_5_true-unreach-call_true-no-overflow_true-termination.c.cil.c 7.36 2.33  447238144 64.9 apollon077 9.50    3.04    330317824 78.2     apollon042
bitvector-regression/implicitfloatconversion_false-unreach-call_true-termination.c 3.23 1.23  296452096 32.6 apollon039 .0150  .0156  1044480 .0151  apollon138
bitvector-regression/implicitunsignedconversion_false-unreach-call_true-termination.c 2.45 1.06  268267520 24.7 apollon016 .0104  .0101  937984 .00830 apollon031
bitvector-regression/integerpromotion_false-unreach-call_true-termination.c 2.79 1.23  275443712 27.6 apollon148 .0124  .0149  1011712 .0160  apollon027
bitvector-regression/recHanoi03_false-unreach-call_true-termination.c 2.53 1.10  267939840 22.0 apollon011 2.03    .822   186171392 18.4     apollon166
bitvector-regression/signextension2_false-unreach-call_true-termination.c 2.60 1.09  270381056 25.6 apollon016 .0176  .0174  1019904 .00574 apollon101
bitvector-regression/signextension_false-unreach-call_true-termination.c 2.55 1.09  272834560 26.6 apollon021 .0160  .0189  954368 .00977 apollon036
bitvector-regression/implicitunsignedconversion_true-unreach-call_true-termination.c 2.94 1.28  276406272 26.1 apollon121 4.04    1.76    213348352 39.2     apollon093
bitvector-regression/integerpromotion_true-unreach-call_true-termination.c 2.80 1.24  278286336 24.4 apollon127 4.18    1.78    210268160 37.4     apollon023
bitvector-regression/signextension2_true-unreach-call_true-termination.c 3.10 1.31  285671424 30.7 apollon126 4.38    1.79    210329600 35.2     apollon098
bitvector-regression/signextension_true-unreach-call_true-termination.c 3.12 1.31  275988480 31.3 apollon111 4.28    1.77    211038208 38.3     apollon011
bitvector-loops/diamond_false-unreach-call2.i 6.60 2.03  440332288 58.7 apollon081 .0115  .0115  978944 .00635 apollon162
bitvector-loops/overflow_false-unreach-call1.i 2.82 1.12  290009088 25.1 apollon052 .0103  .0107  950272 .0110  apollon154
bitvector-loops/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call_true-termination.i 2.88 1.25  270974976 25.6 apollon012 .0127  .0125  888832 .0101  apollon028
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c 10.5  2.91  467931136 92.6 apollon160 .00831 .00823 761856 .00934 apollon027
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c 7.84 2.35  439459840 64.1 apollon156 .0148  .0144  884736 .00751 apollon115
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c 8.41 2.46  459096064 66.6 apollon095 .00975 .0128  868352 .00958 apollon131
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c 6.15 2.02  326635520 49.7 apollon025 .0143  .0139  753664 .0132  apollon105
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 8.90 2.66  453758976 68.8 apollon157 .00941 .00924 917504 .00873 apollon137
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 7.15 2.11  430432256 59.3 apollon112 .0151  .0147  991232 .00000 apollon023
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c 5.99 1.94  332750848 50.8 apollon070 .0234  .0246  851968 .00610 apollon116
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c 7.36 2.23  406474752 63.9 apollon022 .00784 .0117  897024 .0116  apollon003
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 3.63 1.40  280764416 35.6 apollon126 .0169  .0178  774144 .00684 apollon061
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c 4.60 1.58  281321472 39.3 apollon146 .0154  .0156  892928 .0186  apollon067
ssh-simplified/s3_clnt_1_false-unreach-call_true-termination.cil.c 9.16 2.75  455581696 75.9 apollon051 .0132  .0130  991232 .0107  apollon107
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c 8.52 2.48  452268032 66.7 apollon018 .00915 .00907 1085440 .00647 apollon131
ssh-simplified/s3_clnt_3_false-unreach-call_true-termination.cil.c 9.85 2.84  453873664 91.4 apollon021 .00854 .00835 770048 .00433 apollon046
ssh-simplified/s3_clnt_4_false-unreach-call_true-termination.cil.c 8.96 2.59  457687040 76.4 apollon047 .0109  .0142  966656 .0295  apollon111
ssh-simplified/s3_srvr_10_false-unreach-call_false-termination.cil.c 4.35 1.63  290156544 37.2 apollon026 .0107  .0104  1019904 .00885 apollon076
ssh-simplified/s3_srvr_11_false-unreach-call_false-termination.cil.c 49.7  19.2   1668919296 479   apollon125 14.9     6.05    553336832 129       apollon109
ssh-simplified/s3_srvr_12_false-unreach-call_false-termination.cil.c 60.7  34.1   1772802048 619   apollon009 524       465       3946110976 6210       apollon074
ssh-simplified/s3_srvr_13_false-unreach-call_false-termination.cil.c 9.78 2.78  483901440 73.5 apollon053 .0183  .0188  1032192 .0140  apollon155
ssh-simplified/s3_srvr_14_false-unreach-call_false-termination.cil.c 7.83 2.35  419213312 58.0 apollon098 .0140  .0138  1032192 .00708 apollon015
ssh-simplified/s3_srvr_1_false-unreach-call_false-termination.cil.c 6.74 2.12  351375360 60.0 apollon030 .0126  .0138  974848 .00995 apollon115
ssh-simplified/s3_srvr_2_false-unreach-call_false-termination.cil.c 6.40 2.06  341139456 52.4 apollon042 .0177  .0178  782336 .00494 apollon129
ssh-simplified/s3_srvr_6_false-unreach-call_false-termination.cil.c 4.09 1.57  288546816 34.7 apollon070 .0106  .0111  876544 .00751 apollon145
ssh-simplified/s3_clnt_1_true-unreach-call_true-termination.cil.c 16.2  4.63  621895680 131   apollon127 .00966 .00988 802816 .0106  apollon084
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c 12.4  3.48  488386560 107   apollon111 .0160  .0164  892928 .0153  apollon023
ssh-simplified/s3_clnt_3_true-unreach-call_true-termination.cil.c 9.73 2.76  496414720 88.7 apollon111 .0109  .0163  1032192 .0212  apollon122
ssh-simplified/s3_clnt_4_true-unreach-call_true-termination.cil.c 18.1  4.97  612642816 134   apollon017 .0188  .0187  778240 .00568 apollon159
ssh-simplified/s3_srvr_1_true-unreach-call_false-termination.cil.c 41.7  18.1   1533001728 370   apollon133 .00935 .00929 966656 .0131  apollon005
ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c 7.31 2.23  444444672 61.2 apollon167 .00838 .0126  888832 .0264  apollon014
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c 3.82 1.48  276803584 34.5 apollon022 .0125  .0131  876544 .0291  apollon062
ssh-simplified/s3_srvr_2_true-unreach-call_false-termination.cil.c 24.1  6.61  852000768 170   apollon100 .0276  .0290  937984 .00971 apollon036
ssh-simplified/s3_srvr_3_true-unreach-call_false-termination.cil.c 28.2  7.36  799481856 199   apollon117 .0160  .0167  1064960 .0150  apollon048
ssh-simplified/s3_srvr_4_true-unreach-call_false-termination.cil.c 31.2  9.52  1082322944 248   apollon011 .0114  .0113  1056768 .00830 apollon046
ssh-simplified/s3_srvr_6_true-unreach-call_false-termination.cil.c 101    76.2   2603286528 1050   apollon167 915       838       4200804352 12800       apollon122
ssh-simplified/s3_srvr_7_true-unreach-call_false-termination.cil.c 47.6  24.3   1600352256 450   apollon038 .00573 .00970 1105920 .0117  apollon090
ssh-simplified/s3_srvr_8_true-unreach-call_false-termination.cil.c 41.6  14.9   1357250560 335   apollon045 .0206  .0203  1077248 .00671 apollon136
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c 3.89 1.55  290488320 35.3 apollon118 .0140  .0146  880640 .0231  apollon046
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c 3.69 1.47  286932992 32.3 apollon085 .0127  .0124  794624 .00000 apollon100
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c 3.20 1.26  274280448 28.7 apollon004 .0164  .0168  1032192 .00769 apollon102
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c 3.29 1.30  272015360 27.6 apollon051 .0293  .0291  753664 .00604 apollon149
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c 3.20 1.26  276197376 29.6 apollon118 .0124  .0158  897024 .0394  apollon033
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c 3.28 1.31  276688896 29.5 apollon004 .0223  .0216  937984 .00568 apollon158
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c 3.31 1.34  275124224 28.9 apollon034 .0153  .0150  765952 .00922 apollon001
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c 3.36 1.30  277331968 28.7 apollon026 .0131  .0141  1019904 .00000 apollon019
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c 2.82 1.18  271339520 25.1 apollon078 .0127  .0142  966656 .0101  apollon061
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c 2.83 1.18  267870208 24.6 apollon085 .0148  .0147  1019904 .00635 apollon090
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c 2.93 1.19  274169856 23.8 apollon043 .0260  .0254  790528 .00812 apollon020
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c 3.00 1.21  271302656 28.6 apollon020 .0117  .0128  946176 .0106  apollon151
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c 3.07 1.21  271044608 26.9 apollon087 .00913 .00927 892928 .0125  apollon052
ntdrivers/cdaudio_false-unreach-call.i.cil.c 101    58.2   3856003072 984   apollon107 365       332       4161937408 5320       apollon161
ntdrivers/diskperf_false-unreach-call.i.cil.c 11.5  3.08  487526400 99.5 apollon161 .0110  .0107  983040 .00000 apollon144
ntdrivers/floppy_false-unreach-call.i.cil.c 27.8  7.02  827916288 214   apollon051 .0161  .0164  1011712 .00836 apollon055
ntdrivers/kbfiltr_false-unreach-call.i.cil.c 9.18 2.59  472186880 71.0 apollon026 .00950 .0102  864256 .0220  apollon039
ntdrivers/parport_false-unreach-call.i.cil.c 41.1  12.3   1233416192 337   apollon002 .00760 .0110  962560 .0155  apollon044
ntdrivers/cdaudio_true-unreach-call.i.cil.c 13.2  3.52  498647040 108   apollon161 .0167  .0165  860160 .00684 apollon082
ntdrivers/diskperf_true-unreach-call.i.cil.c 10.4  2.82  465846272 85.1 apollon119 .00944 .00967 983040 .0137  apollon044
ntdrivers/floppy2_true-unreach-call_true-termination.i.cil.c 36.7  9.30  1080754176 265   apollon051 .00988 .0108  905216 .0109  apollon134
ntdrivers/floppy_true-unreach-call_true-valid-memsafety.i.cil.c 22.8  5.87  808267776 158   apollon098 .0270  .0280  937984 .0129  apollon055
ntdrivers/parport_true-unreach-call.i.cil.c 48.1  18.0   1745305600 449   apollon167 .0128  .0123  839680 .0175  apollon148
ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c 9.13 2.57  449695744 67.3 apollon058 .00938 .00930 851968 .00830 apollon018
ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c 9.14 2.59  452468736 80.0 apollon161 .0106  .0106  843776 .0106  apollon165
ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c 8.63 2.46  425029632 62.6 apollon158 .0126  .0130  1003520 .00940 apollon092
ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c 8.65 2.52  455716864 68.1 apollon038 .0112  .0110  909312 .00000 apollon129
ssh/s3_srvr.blast.01_false-unreach-call.i.cil.c 8.04 2.33  395956224 61.8 apollon089 .0151  .0149  868352 .0118  apollon007
ssh/s3_srvr.blast.02_false-unreach-call.i.cil.c 8.22 2.40  409186304 65.0 apollon053 .0115  .0113  1015808 .00946 apollon117
ssh/s3_srvr.blast.03_false-unreach-call.i.cil.c 7.72 2.25  406921216 61.1 apollon058 .00904 .00871 827392 .0104  apollon133
ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c 8.04 2.33  421318656 61.0 apollon002 .00775 .00770 884736 .0115  apollon030
ssh/s3_srvr.blast.06_false-unreach-call.i.cil.c 5.85 1.89  315543552 51.3 apollon019 .0103  .0144  868352 .0386  apollon161
ssh/s3_srvr.blast.07_false-unreach-call.i.cil.c 9.70 2.76  460361728 80.3 apollon067 .0119  .0126  778240 .00482 apollon054
ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c 5.83 1.92  310112256 46.1 apollon058 .0153  .0157  827392 .0112  apollon013
ssh/s3_srvr.blast.09_false-unreach-call.i.cil.c 10.9  3.09  443912192 87.7 apollon022 .0262  .0256  888832 .00598 apollon119
ssh/s3_srvr.blast.10_false-unreach-call.i.cil.c 5.66 1.87  313110528 48.9 apollon168 .00943 .0125  954368 .00928 apollon110
ssh/s3_srvr.blast.11_false-unreach-call.i.cil.c 10.3  2.89  481853440 76.8 apollon054 .0137  .0131  1052672 .00000 apollon118
ssh/s3_srvr.blast.12_false-unreach-call.i.cil.c 5.76 1.87  309747712 44.6 apollon123 .0165  .0163  892928 .00513 apollon096
ssh/s3_srvr.blast.13_false-unreach-call.i.cil.c 10.5  2.93  447406080 82.4 apollon053 .0184  .0177  974848 .00452 apollon031
ssh/s3_srvr.blast.14_false-unreach-call.i.cil.c 5.94 1.95  320987136 56.0 apollon125 .0102  .0104  880640 .00000 apollon090
ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c 5.86 1.86  309665792 50.0 apollon101 .00871 .00847 1024000 .00000 apollon091
ssh/s3_srvr.blast.16_false-unreach-call.i.cil.c 6.07 1.92  310468608 47.0 apollon002 .0204  .0233  995328 .00818 apollon008
ssh/s3_clnt.blast.01_true-unreach-call.i.cil.c 9.88 2.74  463360000 80.9 apollon070 .0284  .0290  974848 .00531 apollon100
ssh/s3_clnt.blast.02_true-unreach-call.i.cil.c 9.08 2.61  445390848 70.6 apollon082 .0142  .0142  1056768 .00000 apollon043
ssh/s3_clnt.blast.03_true-unreach-call.i.cil.c 10.4  2.96  451772416 84.8 apollon101 .0109  .0107  835584 .00696 apollon022
ssh/s3_clnt.blast.04_true-unreach-call.i.cil.c 10.8  2.98  448491520 87.1 apollon076 .0149  .0180  884736 .00909 apollon154
ssh/s3_srvr.blast.01_true-unreach-call.i.cil.c 10.3  2.98  454479872 73.2 apollon054 .0120  .0117  962560 .00751 apollon003
ssh/s3_srvr.blast.02_true-unreach-call.i.cil.c 8.51 2.44  474112000 70.8 apollon141 .0243  .0239  872448 .00610 apollon162
ssh/s3_srvr.blast.06_true-unreach-call.i.cil.c 78.6  40.0   2531569664 760   apollon125 .0156  .0160  946176 .00757 apollon127
ssh/s3_srvr.blast.07_true-unreach-call.i.cil.c 12.5  3.42  493748224 96.9 apollon051 .00932 .00941 778240 .0146  apollon044
ssh/s3_srvr.blast.08_true-unreach-call.i.cil.c 16.2  4.48  638615552 145   apollon030 .0239  .0255  962560 .00641 apollon055
ssh/s3_srvr.blast.09_true-unreach-call.i.cil.c 12.2  3.42  467406848 99.3 apollon101 .00986 .00973 835584 .0123  apollon083
ssh/s3_srvr.blast.10_true-unreach-call.i.cil.c 11.5  3.15  471052288 88.4 apollon042 .00984 .0135  987136 .00617 apollon020
ssh/s3_srvr.blast.11_true-unreach-call.i.cil.c 11.7  3.23  469540864 102   apollon044 .0112  .0149  991232 .0444  apollon111
ssh/s3_srvr.blast.12_true-unreach-call.i.cil.c 20.4  5.99  646975488 176   apollon140 .0116  .0147  929792 .0353  apollon094
ssh/s3_srvr.blast.13_true-unreach-call.i.cil.c 10.5  2.99  446189568 94.1 apollon126 .0148  .0156  835584 .00476 apollon078
ssh/s3_srvr.blast.14_true-unreach-call.i.cil.c 32.8  12.1   1119997952 300   apollon030 .00959 .00939 851968 .00903 apollon163
ssh/s3_srvr.blast.15_true-unreach-call.i.cil.c 19.9  5.63  705064960 172   apollon140 .00971 .0119  921600 .00000 apollon052
ssh/s3_srvr.blast.16_true-unreach-call.i.cil.c 36.6  16.4   1510846464 293   apollon158 .0102  .0101  843776 .0107  apollon116
eca-rers2012/Problem01_label15_false-unreach-call_false-termination.c 19.2  5.31  774098944 155   apollon109 .0143  .0147  872448 .0102  apollon058
eca-rers2012/Problem01_label20_false-unreach-call_false-termination.c 26.3  7.53  1136979968 215   apollon009 .0180  .0181  901120 .00433 apollon023
eca-rers2012/Problem01_label21_false-unreach-call_false-termination.c 20.4  5.38  821071872 181   apollon044 .00710 .0109  1024000 .0140  apollon027
eca-rers2012/Problem01_label32_false-unreach-call_false-termination.c 29.0  8.58  1047896064 242   apollon020 .0107  .0105  806912 .00781 apollon105
eca-rers2012/Problem01_label33_false-unreach-call_false-termination.c 22.0  6.19  848171008 171   apollon060 .0111  .0109  892928 .0104  apollon158
eca-rers2012/Problem01_label35_false-unreach-call_false-termination.c 26.9  9.13  1037926400 207   apollon058 .0107  .0122  843776 .00751 apollon136
eca-rers2012/Problem01_label37_false-unreach-call_false-termination.c 22.1  5.89  846315520 170   apollon085 .0265  .0260  823296 .00470 apollon086
eca-rers2012/Problem01_label38_false-unreach-call_false-termination.c 21.1  5.64  812269568 168   apollon047 .0247  .0248  937984 .00574 apollon126
eca-rers2012/Problem01_label44_false-unreach-call_false-termination.c 16.0  4.32  600502272 144   apollon125 .0125  .0125  933888 .00000 apollon159
eca-rers2012/Problem01_label47_false-unreach-call_false-termination.c 43.2  21.7   2095919104 429   apollon038 .0120  .0134  987136 .0103  apollon049
eca-rers2012/Problem01_label50_false-unreach-call_false-termination.c 22.0  5.95  801144832 186   apollon044 .0109  .0106  958464 .0110  apollon030
eca-rers2012/Problem01_label56_false-unreach-call_false-termination.c 23.4  6.12  823189504 187   apollon126 .0118  .0116  1024000 .00000 apollon135
eca-rers2012/Problem01_label57_false-unreach-call_false-termination.c 43.7  23.2   2018070528 430   apollon032 .00688 .0101  888832 .00000 apollon014
eca-rers2012/Problem02_label13_false-unreach-call_false-termination.c 13.1  3.55  471687168 100   apollon071 .0124  .0134  970752 .00732 apollon032
eca-rers2012/Problem02_label16_false-unreach-call_false-termination.c 11.0  3.11  477917184 90.4 apollon087 .00999 .0111  913408 .0106  apollon059
eca-rers2012/Problem02_label43_false-unreach-call_false-termination.c 12.5  3.39  489721856 105   apollon032 .0115  .0112  892928 .00855 apollon092
eca-rers2012/Problem02_label44_false-unreach-call_false-termination.c 12.2  3.35  474251264 108   apollon020 .0101  .0101  978944 .00000 apollon168
eca-rers2012/Problem02_label45_false-unreach-call_false-termination.c 21.7  5.85  700645376 186   apollon126 .00725 .0107  864256 .0109  apollon167
eca-rers2012/Problem02_label50_false-unreach-call_false-termination.c 18.7  5.20  633774080 160   apollon141 .0112  .0110  794624 .00665 apollon104
eca-rers2012/Problem02_label59_false-unreach-call_false-termination.c 16.7  4.41  586911744 139   apollon047 .0172  .0178  897024 .00897 apollon024
eca-rers2012/Problem03_label09_false-unreach-call.c 81.6  50.0   2407669760 935   apollon140 .00862 .0132  892928 .00690 apollon146
eca-rers2012/Problem03_label13_false-unreach-call.c 49.2  24.6   1945714688 515   apollon126 .0127  .0123  966656 .00964 apollon108
eca-rers2012/Problem03_label26_false-unreach-call.c 36.4  12.5   1239662592 331   apollon081 .00833 .00826 765952 .00983 apollon143
eca-rers2012/Problem03_label27_false-unreach-call.c 46.1  17.4   1691025408 394   apollon118 .00753 .0101  962560 .00891 apollon098
eca-rers2012/Problem03_label28_false-unreach-call.c 46.7  17.1   1700794368 428   apollon155 .0108  .0110  954368 .00855 apollon102
eca-rers2012/Problem03_label31_false-unreach-call.c 50.6  20.2   1823731712 463   apollon167 .0216  .0240  970752 .00452 apollon127
eca-rers2012/Problem03_label35_false-unreach-call.c 54.9  25.5   2063114240 525   apollon071 .0231  .0225  761856 .00842 apollon149
eca-rers2012/Problem03_label37_false-unreach-call.c 46.3  20.4   1868697600 413   apollon011 .0178  .0177  835584 .00500 apollon108
eca-rers2012/Problem03_label39_false-unreach-call.c 68.4  34.0   1953198080 631   apollon142 .0111  .0112  966656 .00781 apollon078
eca-rers2012/Problem03_label43_false-unreach-call.c 51.9  21.5   1993134080 413   apollon089 .0230  .0224  847872 .00513 apollon127
eca-rers2012/Problem03_label45_false-unreach-call.c 58.5  27.8   2186940416 495   apollon128 .0128  .0125  798720 .00696 apollon063
eca-rers2012/Problem03_label50_false-unreach-call.c 78.4  50.1   1836380160 817   apollon135 .0197  .0194  1048576 .00751 apollon102
eca-rers2012/Problem03_label52_false-unreach-call.c 102    77.9   2815733760 1040   apollon151 920       752       9615278080 9660       apollon128
eca-rers2012/Problem04_label04_false-unreach-call.c 106    64.2   2799005696 853   apollon100 76.4     50.4     1055039488 752       apollon062
eca-rers2012/Problem04_label06_false-unreach-call.c 105    62.9   2442240000 799   apollon151 951       730       10649944064 11700       apollon014
eca-rers2012/Problem04_label09_false-unreach-call.c 105    65.0   3029127168 943   apollon108 951       709       10964717568 12000       apollon057
eca-rers2012/Problem04_label11_false-unreach-call_false-termination.c 106    66.4   2867843072 867   apollon127 950       763       10825093120 11800       apollon126
eca-rers2012/Problem04_label12_false-unreach-call_false-termination.c 105    66.3   2891554816 913   apollon082 951       730       9882767360 9810       apollon086
eca-rers2012/Problem04_label13_false-unreach-call.c 104    65.0   2967457792 930   apollon108 951       726       10335432704 9090       apollon029
eca-rers2012/Problem04_label14_false-unreach-call_false-termination.c 106    61.5   2798776320 817   apollon029 951       717       10777108480 11800       apollon021
eca-rers2012/Problem04_label15_false-unreach-call.c 106    63.2   2703863808 885   apollon032 951       721       10002403328 9180       apollon104
eca-rers2012/Problem04_label17_false-unreach-call_false-termination.c 106    65.2   2876592128 881   apollon146 951       730       9461620736 10400       apollon004
eca-rers2012/Problem04_label18_false-unreach-call.c 105    62.8   2570268672 922   apollon168 951       731       10959192064 9490       apollon089
eca-rers2012/Problem04_label19_false-unreach-call.c 104    63.0   2145894400 854   apollon121 951       742       10928017408 11200       apollon024
eca-rers2012/Problem04_label26_false-unreach-call.c 106    64.2   2630680576 935   apollon095 950       742       10960588800 11200       apollon064
eca-rers2012/Problem04_label27_false-unreach-call_false-termination.c 105    65.8   2343235584 1050   apollon016 951       738       10561302528 9590       apollon157
eca-rers2012/Problem04_label31_false-unreach-call.c 106    66.4   2871259136 880   apollon117 951       717       10672324608 10200       apollon145
eca-rers2012/Problem04_label32_false-unreach-call.c 104    62.4   2482671616 964   apollon014 950       742       9756753920 11700       apollon148
eca-rers2012/Problem04_label35_false-unreach-call.c 105    64.3   2723340288 1120   apollon021 75.7     49.8     1081040896 794       apollon165
eca-rers2012/Problem04_label36_false-unreach-call_false-termination.c 106    63.6   2360848384 887   apollon128 951       747       9857540096 12800       apollon111
eca-rers2012/Problem04_label38_false-unreach-call.c 106    64.8   2884759552 934   apollon079 73.2     47.6     1045970944 694       apollon116
eca-rers2012/Problem04_label39_false-unreach-call.c 105    61.5   2437586944 881   apollon146 951       727       10954018816 11000       apollon008
eca-rers2012/Problem04_label40_false-unreach-call_false-termination.c 106    65.4   2728771584 1030   apollon014 76.4     50.2     1084157952 764       apollon165
eca-rers2012/Problem04_label45_false-unreach-call.c 106    63.7   2421309440 880   apollon086 951       715       10963828736 10300       apollon046
eca-rers2012/Problem04_label52_false-unreach-call.c 104    64.8   2975277056 935   apollon164 951       708       10743406592 9990       apollon085
eca-rers2012/Problem04_label55_false-unreach-call.c 105    65.2   2656747520 955   apollon165 950       756       9709879296 10800       apollon009
eca-rers2012/Problem04_label58_false-unreach-call_false-termination.c 106    63.8   2865848320 875   apollon152 951       709       9523216384 9500       apollon073
eca-rers2012/Problem05_label00_false-unreach-call.c 109    65.6   2675154944 972   apollon038 52.0     29.9     905560064 551       apollon094
eca-rers2012/Problem05_label01_false-unreach-call.c 104    68.5   2580602880 891   apollon015 40.1     23.3     854523904 360       apollon029
eca-rers2012/Problem05_label11_false-unreach-call.c 103    61.6   2678022144 860   apollon128 53.0     30.1     904552448 562       apollon159
eca-rers2012/Problem05_label13_false-unreach-call.c 107    66.3   2762219520 895   apollon076 47.6     26.3     889462784 431       apollon109
eca-rers2012/Problem05_label15_false-unreach-call.c 110    61.9   3064414208 909   apollon119 52.1     29.9     909340672 484       apollon154
eca-rers2012/Problem05_label18_false-unreach-call.c 111    64.8   3053572096 945   apollon168 51.9     30.0     906342400 470       apollon115
eca-rers2012/Problem05_label24_false-unreach-call.c 110    67.7   2533466112 875   apollon098 50.2     29.5     906715136 487       apollon107
eca-rers2012/Problem05_label26_false-unreach-call.c 104    67.9   2060161024 1150   apollon021 41.7     23.1     845742080 420       apollon112
eca-rers2012/Problem05_label30_false-unreach-call.c 103    61.5   2814627840 911   apollon106 51.0     29.6     910843904 477       apollon157
eca-rers2012/Problem05_label32_false-unreach-call.c 108    64.6   2605826048 977   apollon019 51.9     30.1     906739712 487       apollon079
eca-rers2012/Problem05_label33_false-unreach-call.c 111    62.9   2602913792 890   apollon093 52.2     29.7     912195584 533       apollon065
eca-rers2012/Problem05_label36_false-unreach-call.c 108    65.1   2977853440 903   apollon018 50.2     29.4     905883648 463       apollon066
eca-rers2012/Problem05_label37_false-unreach-call.c 103    65.3   2481061888 853   apollon042 50.4     30.2     904466432 536       apollon164
eca-rers2012/Problem05_label38_false-unreach-call.c 103    71.4   2732982272 873   apollon121 51.6     29.7     910446592 467       apollon053
eca-rers2012/Problem05_label39_false-unreach-call.c 104    58.2   2727407616 830   apollon093 51.2     29.8     903901184 513       apollon124
eca-rers2012/Problem05_label40_false-unreach-call.c 104    65.2   2683604992 847   apollon151 53.6     30.1     907587584 509       apollon087
eca-rers2012/Problem05_label41_false-unreach-call.c 103    57.5   2862415872 957   apollon081 54.2     30.5     911908864 548       apollon065
eca-rers2012/Problem05_label44_false-unreach-call.c 103    58.7   2627387392 831   apollon025 39.1     22.6     844722176 356       apollon029
eca-rers2012/Problem05_label47_false-unreach-call.c 113    65.9   3175817216 868   apollon029 52.2     30.4     906874880 529       apollon065
eca-rers2012/Problem05_label48_false-unreach-call.c 111    64.1   2790735872 951   apollon004 51.3     30.1     916246528 501       apollon075
eca-rers2012/Problem05_label51_false-unreach-call.c 103    62.2   2473623552 986   apollon125 52.5     29.1     912150528 470       apollon026
eca-rers2012/Problem05_label55_false-unreach-call.c 104    57.8   2264559616 871   apollon004 50.3     29.3     913518592 467       apollon137
eca-rers2012/Problem05_label57_false-unreach-call.c 103    57.4   2603585536 916   apollon079 50.1     29.6     903692288 572       apollon044
eca-rers2012/Problem05_label58_false-unreach-call.c 111    63.3   2659594240 880   apollon053 50.8     29.7     900485120 524       apollon064
eca-rers2012/Problem06_label00_false-unreach-call.c 103    57.1   2952146944 829   apollon135 37.5     20.4     808546304 385       apollon155
eca-rers2012/Problem06_label01_false-unreach-call.c 103    59.7   2354462720 853   apollon152 39.3     21.0     842604544 350       apollon002
eca-rers2012/Problem06_label02_false-unreach-call.c 108    59.0   2451890176 916   apollon038 38.1     21.3     822341632 345       apollon023
eca-rers2012/Problem06_label04_false-unreach-call.c 103    56.5   2786918400 891   apollon034 37.2     20.8     813510656 407       apollon008
eca-rers2012/Problem06_label05_false-unreach-call.c 104    54.0   2906554368 784   apollon054 37.6     20.4     814092288 333       apollon040
eca-rers2012/Problem06_label09_false-unreach-call.c 103    57.7   2490544128 827   apollon015 37.6     20.4     817192960 393       apollon065
eca-rers2012/Problem06_label10_false-unreach-call.c 102    54.9   2424188928 845   apollon025 32.8     15.4     746536960 336       apollon161
eca-rers2012/Problem06_label11_false-unreach-call.c 105    54.0   2914156544 814   apollon120 37.2     20.7     806154240 339       apollon127
eca-rers2012/Problem06_label12_false-unreach-call.c 103    57.7   2582433792 1030   apollon167 37.9     20.8     817815552 395       apollon068
eca-rers2012/Problem06_label15_false-unreach-call.c 107    57.1   2395238400 1020   apollon014 48.6     27.1     914231296 520       apollon033
eca-rers2012/Problem06_label20_false-unreach-call.c 103    60.9   2678034432 824   apollon092 46.6     26.1     922198016 464       apollon017
eca-rers2012/Problem06_label21_false-unreach-call.c 104    52.4   2506428416 798   apollon152 46.7     26.3     905752576 449       apollon049
eca-rers2012/Problem06_label24_false-unreach-call.c 103    58.1   2741145600 909   apollon087 51.8     31.3     914063360 574       apollon148
eca-rers2012/Problem06_label27_false-unreach-call.c 103    58.5   2712629248 921   apollon072 46.3     26.2     919805952 413       apollon083
eca-rers2012/Problem06_label29_false-unreach-call.c 107    61.0   2793439232 839   apollon060 46.7     26.7     918614016 437       apollon075
eca-rers2012/Problem06_label33_false-unreach-call.c 104    58.3   2218074112 990   apollon106 48.5     26.9     915689472 426       apollon083
eca-rers2012/Problem06_label36_false-unreach-call.c 103    57.8   2626785280 980   apollon081 37.1     20.5     841801728 347       apollon154
eca-rers2012/Problem06_label37_false-unreach-call.c 103    57.5   2487402496 888   apollon109 47.1     26.6     916598784 477       apollon006
eca-rers2012/Problem06_label38_false-unreach-call.c 107    57.2   2394734592 909   apollon109 47.3     26.0     894779392 438       apollon053
eca-rers2012/Problem06_label44_false-unreach-call.c 103    55.1   2350030848 834   apollon070 49.1     26.9     900329472 521       apollon094
eca-rers2012/Problem06_label47_false-unreach-call.c 103    52.7   2400665600 830   apollon058 47.4     26.4     921649152 442       apollon133
eca-rers2012/Problem06_label48_false-unreach-call.c 105    57.8   2625384448 898   apollon121 52.4     31.5     911388672 504       apollon090
eca-rers2012/Problem06_label56_false-unreach-call.c 103    56.3   2394062848 776   apollon002 47.7     26.3     915783680 450       apollon165
eca-rers2012/Problem06_label58_false-unreach-call.c 108    57.4   2758926336 977   apollon030 53.9     31.8     912216064 519       apollon129
eca-rers2012/Problem06_label59_false-unreach-call.c 103    56.4   2517798912 865   apollon086 37.9     20.7     834977792 416       apollon033
eca-rers2012/Problem07_label03_false-unreach-call.c 149    33.4   6278975488 791   apollon002 957       170       1426890752 4320       apollon041
eca-rers2012/Problem07_label05_false-unreach-call.c 145    33.3   6970871808 865   apollon022 180       69.6     1432162304 1350       apollon136
eca-rers2012/Problem07_label06_false-unreach-call.c 162    35.0   6616494080 811   apollon029 957       169       1429884928 4850       apollon113
eca-rers2012/Problem07_label07_false-unreach-call.c 102    25.0   4376100864 580   apollon086 20.0     6.23    921350144 131       apollon099
eca-rers2012/Problem07_label09_false-unreach-call.c 102    24.8   4639858688 617   apollon077 71.0     22.9     1423065088 535       apollon161
eca-rers2012/Problem07_label11_false-unreach-call.c 136    31.3   6010540032 694   apollon040 309       85.1     1423101952 1730       apollon123
eca-rers2012/Problem07_label15_false-unreach-call.c 103    32.2   4809199616 632   apollon128 24.7     7.80    920870912 180       apollon027
eca-rers2012/Problem07_label18_false-unreach-call.c 104    27.0   5493460992 659   apollon167 114       41.8     1455521792 780       apollon086
eca-rers2012/Problem07_label19_false-unreach-call.c 139    32.2   6471180288 774   apollon107 957       170       1428295680 5300       apollon126
eca-rers2012/Problem07_label20_false-unreach-call.c 104    28.1   4405948416 661   apollon022 122       46.9     1438015488 866       apollon034
eca-rers2012/Problem07_label23_false-unreach-call.c 134    31.7   6455271424 795   apollon084 958       169       1440546816 4630       apollon150
eca-rers2012/Problem07_label30_false-unreach-call.c 103    26.0   5240274944 676   apollon126 97.2     32.5     1448525824 681       apollon101
eca-rers2012/Problem07_label31_false-unreach-call.c 103    28.0   4408725504 582   apollon123 116       46.3     1448669184 905       apollon091
eca-rers2012/Problem07_label35_false-unreach-call.c 111    28.7   6086082560 675   apollon165 114       45.8     1441087488 777       apollon041
eca-rers2012/Problem07_label36_false-unreach-call.c 115    28.8   5255831552 666   apollon109 957       170       1416998912 4560       apollon083
eca-rers2012/Problem07_label37_false-unreach-call.c 145    33.2   6802366464 729   apollon158 957       170       1432330240 5060       apollon112
eca-rers2012/Problem07_label39_false-unreach-call.c 103    25.5   4619317248 571   apollon060 93.8     27.3     1457299456 620       apollon048
eca-rers2012/Problem07_label40_false-unreach-call.c 137    32.0   6521126912 768   apollon107 207       72.4     1418817536 1260       apollon117
eca-rers2012/Problem07_label42_false-unreach-call.c 138    33.0   6389141504 749   apollon060 957       169       1427759104 5030       apollon118
eca-rers2012/Problem07_label44_false-unreach-call.c 104    28.0   4423475200 569   apollon158 113       46.0     1456459776 917       apollon065
eca-rers2012/Problem07_label46_false-unreach-call.c 157    35.0   6264422400 807   apollon128 326       88.0     1445097472 1820       apollon083
eca-rers2012/Problem07_label47_false-unreach-call.c 131    31.8   6220234752 730   apollon157 957       170       1424297984 4870       apollon042
eca-rers2012/Problem07_label48_false-unreach-call.c 103    32.3   4821311488 623   apollon089 24.8     7.89    930537472 160       apollon060
eca-rers2012/Problem07_label58_false-unreach-call.c 133    31.3   6010277888 830   apollon160 957       170       1434750976 4870       apollon052
eca-rers2012/Problem08_label01_false-unreach-call.c 191    45.0   7717019648 1120   apollon155 .0283  .0288  1101824 .00757 apollon086
eca-rers2012/Problem08_label02_false-unreach-call.c 192    45.2   7918493696 1060   apollon011 .0119  .0117  782336 .00958 apollon034
eca-rers2012/Problem08_label04_false-unreach-call.c 200    46.3   8001560576 1150   apollon093 .0121  .0119  962560 .00915 apollon154
eca-rers2012/Problem08_label05_false-unreach-call.c 193    44.2   7907172352 1070   apollon052 .0124  .0130  970752 .0193  apollon110
eca-rers2012/Problem08_label06_false-unreach-call.c 187    44.7   7870328832 963   apollon089 .0148  .0146  888832 .00317 apollon150
eca-rers2012/Problem08_label07_false-unreach-call.c 179    43.8   7736348672 1110   apollon108 .00914 .00895 1032192 .0123  apollon114
eca-rers2012/Problem08_label10_false-unreach-call.c 178    42.5   7448522752 1030   apollon052 .00965 .00990 831488 .0101  apollon092
eca-rers2012/Problem08_label13_false-unreach-call.c 196    45.2   7514611712 1010   apollon060 .0103  .0102  929792 .00000 apollon133
eca-rers2012/Problem08_label15_false-unreach-call.c 208    47.5   8971759616 1150   apollon078 .0153  .0152  970752 .00275 apollon032
eca-rers2012/Problem08_label24_false-unreach-call.c 187    44.4   7430647808 1060   apollon005 .0114  .0112  839680 .00885 apollon152
eca-rers2012/Problem08_label25_false-unreach-call.c 185    43.7   7511535616 974   apollon029 .0136  .0142  1048576 .0109  apollon072
eca-rers2012/Problem08_label26_false-unreach-call.c 181    43.7   7614091264 1090   apollon164 .0232  .0270  872448 .00598 apollon025
eca-rers2012/Problem08_label28_false-unreach-call.c 175    42.8   7611682816 933   apollon060 .0251  .0246  978944 .0106  apollon128
eca-rers2012/Problem08_label29_false-unreach-call.c 208    46.4   7141625856 1180   apollon030 .0245  .0242  843776 .00574 apollon083
eca-rers2012/Problem08_label34_false-unreach-call.c 180    41.3   5996167168 1120   apollon021 .0292  .0324  880640 .0219  apollon012
eca-rers2012/Problem08_label37_false-unreach-call.c 208    45.7   6922010624 1160   apollon020 .0132  .0142  884736 .0117  apollon087
eca-rers2012/Problem08_label43_false-unreach-call.c 208    45.9   7993274368 978   apollon040 .0152  .0150  823296 .0123  apollon070
eca-rers2012/Problem08_label46_false-unreach-call.c 178    41.5   5764263936 840   apollon151 .0121  .0146  954368 .00946 apollon026
eca-rers2012/Problem08_label48_false-unreach-call.c 203    46.9   8385490944 1130   apollon152 .0113  .0119  794624 .0116  apollon005
eca-rers2012/Problem08_label49_false-unreach-call.c 176    42.7   7392059392 989   apollon085 .0103  .0110  970752 .0159  apollon016
eca-rers2012/Problem08_label50_false-unreach-call.c 184    44.3   7637200896 1020   apollon018 .0258  .0271  995328 .00659 apollon020
eca-rers2012/Problem08_label51_false-unreach-call.c 198    45.9   7703785472 1120   apollon118 .0130  .0128  831488 .00653 apollon136
eca-rers2012/Problem08_label55_false-unreach-call.c 181    43.4   7236329472 988   apollon053 .00814 .00837 868352 .0121  apollon144
eca-rers2012/Problem08_label59_false-unreach-call.c 170    42.5   7663599616 962   apollon150 .0135  .0131  929792 .00378 apollon099
eca-rers2012/Problem09_label02_false-unreach-call.c 208    48.0   8649220096 1160   apollon020 .0109  .0107  1003520 .00000 apollon053
eca-rers2012/Problem09_label03_false-unreach-call.c 208    48.2   8388448256 1150   apollon126 .0242  .0239  724992 .00824 apollon037
eca-rers2012/Problem09_label06_false-unreach-call.c 208    48.1   8493309952 1010   apollon116 .0165  .0169  962560 .00757 apollon002
eca-rers2012/Problem09_label08_false-unreach-call.c 208    46.5   6332305408 978   apollon086 .00856 .00881 864256 .0150  apollon044
eca-rers2012/Problem09_label10_false-unreach-call.c 208    46.4   5837799424 1080   apollon167 .0156  .0167  839680 .00659 apollon106
eca-rers2012/Problem09_label11_false-unreach-call.c 202    45.9   6344413184 946   apollon058 .0172  .0170  819200 .00677 apollon067
eca-rers2012/Problem09_label15_false-unreach-call.c 200    46.1   6343331840 912   apollon098 .0123  .0121  860160 .0163  apollon111
eca-rers2012/Problem09_label19_false-unreach-call.c 208    48.0   8508559360 1180   apollon007 .0163  .0191  991232 .0141  apollon129
eca-rers2012/Problem09_label20_false-unreach-call.c 208    47.5   7901429760 1120   apollon022 .0124  .0122  925696 .0125  apollon046
eca-rers2012/Problem09_label32_false-unreach-call.c 202    48.2   7967354880 1060   apollon042 .0167  .0203  761856 .00324 apollon123
eca-rers2012/Problem09_label34_false-unreach-call.c 208    48.0   8333127680 1040   apollon086 .0203  .0200  856064 .00580 apollon009
eca-rers2012/Problem09_label35_false-unreach-call.c 208    47.7   8162086912 1060   apollon095 .0132  .0145  909312 .00726 apollon128
eca-rers2012/Problem09_label36_false-unreach-call.c 208    47.1   6265004032 1040   apollon152 .00941 .00972 872448 .00793 apollon125
eca-rers2012/Problem09_label38_false-unreach-call.c 208    47.6   8080125952 1050   apollon135 .00884 .00894 847872 .0103  apollon051
eca-rers2012/Problem09_label41_false-unreach-call.c 208    46.5   6325432320 1030   apollon118 .00895 .00907 851968 .00879 apollon163
eca-rers2012/Problem09_label44_false-unreach-call.c 208    48.6   8295473152 1060   apollon102 .0100  .0103  884736 .00812 apollon078
eca-rers2012/Problem09_label46_false-unreach-call.c 198    45.6   6306041856 900   apollon054 .00814 .00806 1073152 .0115  apollon030
eca-rers2012/Problem09_label47_false-unreach-call.c 208    47.9   8608043008 1080   apollon102 .0297  .0289  1060864 .0147  apollon164
eca-rers2012/Problem09_label51_false-unreach-call.c 206    48.3   7884484608 1180   apollon019 .0132  .0128  991232 .00971 apollon151
eca-rers2012/Problem09_label53_false-unreach-call.c 208    46.3   6325108736 1020   apollon146 .0279  .0272  872448 .00513 apollon127
eca-rers2012/Problem09_label54_false-unreach-call.c 208    47.5   8056631296 1060   apollon087 .0123  .0123  958464 .00000 apollon025
eca-rers2012/Problem09_label56_false-unreach-call.c 208    48.2   8368185344 1120   apollon091 .00912 .0130  819200 .0139  apollon005
eca-rers2012/Problem09_label57_false-unreach-call.c 208    46.9   6275817472 1010   apollon102 .0107  .0137  974848 .00958 apollon164
eca-rers2012/Problem09_label59_false-unreach-call.c 208    47.4   6060261376 1170   apollon125 .0100  .00985 946176 .00995 apollon106
eca-rers2012/Problem10_label12_false-unreach-call.c 102    79.6   3852480512 1280   apollon077 909       829       4173656064 13200       apollon160
eca-rers2012/Problem10_label15_false-unreach-call.c 103    77.9   3865231360 1220   apollon141 908       831       4191625216 13600       apollon111
eca-rers2012/Problem10_label24_false-unreach-call.c 104    78.5   3798462464 1220   apollon093 911       803       4489719808 10800       apollon156
eca-rers2012/Problem10_label26_false-unreach-call.c 51.9  26.2   2775261184 495   apollon095 .00890 .00883 921600 .00793 apollon027
eca-rers2012/Problem10_label28_false-unreach-call.c 55.0  28.0   2617856000 492   apollon123 .0153  .0160  1015808 .00793 apollon066
eca-rers2012/Problem10_label29_false-unreach-call.c 111    94.5   2059034624 1570   apollon160 .0173  .0179  942080 .00983 apollon132
eca-rers2012/Problem10_label41_false-unreach-call.c 22.2  7.64  1027072000 204   apollon067 .0108  .0124  888832 .0130  apollon088
eca-rers2012/Problem10_label42_false-unreach-call.c 26.3  7.91  1087602688 246   apollon044 .0136  .0135  1069056 .00000 apollon146
eca-rers2012/Problem10_label46_false-unreach-call.c 9.80 2.73  464928768 72.2 apollon116 .0288  .0312  1155072 .0192  apollon138
eca-rers2012/Problem10_label47_false-unreach-call.c 22.6  7.29  998539264 199   apollon052 .0155  .0200  970752 .00470 apollon139
eca-rers2012/Problem10_label48_false-unreach-call.c 71.6  40.0   3753500672 762   apollon167 .0139  .0159  925696 .00812 apollon006
eca-rers2012/Problem10_label50_false-unreach-call.c 69.9  39.8   2922524672 682   apollon087 .0187  .0309  876544 .00592 apollon032
eca-rers2012/Problem10_label55_false-unreach-call.c 23.0  6.36  820457472 198   apollon032 .0218  .0213  913408 .00409 apollon116
eca-rers2012/Problem10_label57_false-unreach-call.c 101    74.7   3942776832 1080   apollon025 909       827       3980263424 10200       apollon149
eca-rers2012/Problem10_label58_false-unreach-call.c 58.5  30.1   2733395968 594   apollon076 .0170  .0169  757760 .00507 apollon103
eca-rers2012/Problem11_label00_false-unreach-call.c 101    66.5   3878912000 1190   apollon140 913       787       5005914112 9500       apollon029
eca-rers2012/Problem11_label08_false-unreach-call.c 79.3  47.0   2922201088 761   apollon053 .0157  .0155  892928 .00311 apollon063
eca-rers2012/Problem11_label14_false-unreach-call.c 73.4  46.3   3430113280 783   apollon102 .0114  .0115  958464 .00000 apollon168
eca-rers2012/Problem11_label15_false-unreach-call.c 97.6  62.8   3882602496 1110   apollon091 .0100  .0135  868352 .0143  apollon057
eca-rers2012/Problem11_label20_false-unreach-call.c 102    70.7   3618484224 1120   apollon120 915       741       5259632640 10400       apollon153
eca-rers2012/Problem11_label29_false-unreach-call.c 78.0  46.2   3808907264 890   apollon161 .00707 .0103  933888 .00610 apollon104
eca-rers2012/Problem11_label31_false-unreach-call.c 101    70.1   3869175808 1050   apollon109 915       750       5256429568 9640       apollon002
eca-rers2012/Problem11_label34_false-unreach-call.c 102    63.6   3862982656 1260   apollon039 915       738       5216047104 10200       apollon133
eca-rers2012/Problem11_label36_false-unreach-call.c 79.9  48.0   3521294336 747   apollon099 .0148  .0146  868352 .00378 apollon147
eca-rers2012/Problem11_label39_false-unreach-call.c 112    90.9   2582716416 1280   apollon107 .0112  .0119  856064 .00946 apollon113
eca-rers2012/Problem11_label42_false-unreach-call.c 82.9  46.2   3621265408 798   apollon072 .00957 .00925 929792 .00848 apollon076
eca-rers2012/Problem11_label43_false-unreach-call.c 58.2  29.2   3046948864 541   apollon079 .0109  .0145  937984 .0240  apollon091
eca-rers2012/Problem11_label49_false-unreach-call.c 61.2  34.6   2752864256 570   apollon117 .0118  .0118  868352 .00439 apollon129
eca-rers2012/Problem11_label51_false-unreach-call.c 104    67.8   3895652352 1140   apollon009 913       787       4706177024 12000       apollon059
eca-rers2012/Problem11_label58_false-unreach-call.c 73.0  43.0   3722469376 692   apollon089 .0205  .0216  860160 .0114  apollon068
eca-rers2012/Problem12_label00_false-unreach-call.c 104    69.0   3791540224 1020   apollon128 7.74    2.57    292712448 60.4     apollon002
eca-rers2012/Problem12_label03_false-unreach-call.c 103    69.1   3204005888 1020   apollon022 19.3     6.17    594321408 169       apollon164
eca-rers2012/Problem12_label06_false-unreach-call.c 101    67.2   2938896384 1110   apollon071 25.9     7.83    588996608 237       apollon111
eca-rers2012/Problem12_label07_false-unreach-call.c 103    66.7   3736432640 1150   apollon005 17.2     5.81    600006656 140       apollon129
eca-rers2012/Problem12_label08_false-unreach-call.c 104    70.7   3579564032 1030   apollon127 17.8     5.79    583471104 140       apollon089
eca-rers2012/Problem12_label10_false-unreach-call.c 103    69.7   3574857728 1020   apollon099 19.1     6.10    595820544 152       apollon025
eca-rers2012/Problem12_label13_false-unreach-call.c 105    69.3   3138215936 1110   apollon087 17.5     5.68    593129472 154       apollon101
eca-rers2012/Problem12_label19_false-unreach-call.c 105    71.2   3643944960 1230   apollon030 19.1     5.75    598126592 143       apollon116
eca-rers2012/Problem12_label20_false-unreach-call.c 103    67.6   3796029440 974   apollon117 18.5     6.02    588918784 145       apollon050
eca-rers2012/Problem12_label21_false-unreach-call.c 111    74.3   3795349504 1130   apollon079 7.47    2.42    299843584 64.6     apollon140
eca-rers2012/Problem12_label25_false-unreach-call.c 103    66.9   3822391296 1040   apollon156 18.2     6.02    600391680 150       apollon147
eca-rers2012/Problem12_label28_false-unreach-call.c 102    65.9   2766606336 1070   apollon142 19.6     6.14    603873280 152       apollon051
eca-rers2012/Problem12_label30_false-unreach-call.c 102    68.6   3727163392 949   apollon054 21.6     8.35    617197568 164       apollon151
eca-rers2012/Problem12_label34_false-unreach-call.c 104    74.2   3793956864 1020   apollon098 17.9     5.90    590290944 151       apollon084
eca-rers2012/Problem12_label35_false-unreach-call.c 105    72.9   3770822656 1020   apollon022 18.0     5.79    598601728 146       apollon137
eca-rers2012/Problem12_label37_false-unreach-call.c 107    69.9   3538382848 1000   apollon040 17.8     5.89    590565376 159       apollon020
eca-rers2012/Problem12_label38_false-unreach-call.c 102    68.7   3754262528 1030   apollon121 24.4     7.50    595640320 219       apollon031
eca-rers2012/Problem12_label39_false-unreach-call.c 106    69.8   3851472896 1020   apollon157 19.0     6.40    592809984 146       apollon001
eca-rers2012/Problem12_label40_false-unreach-call.c 106    69.2   3904139264 1280   apollon021 18.2     5.76    586276864 162       apollon118
eca-rers2012/Problem12_label42_false-unreach-call.c 101    66.7   3841110016 998   apollon015 18.4     6.38    601706496 149       apollon062
eca-rers2012/Problem12_label48_false-unreach-call.c 101    66.9   2858913792 1040   apollon072 7.37    2.47    283914240 58.0     apollon083
eca-rers2012/Problem12_label50_false-unreach-call.c 109    75.6   3867303936 1180   apollon141 18.2     6.12    591958016 154       apollon168
eca-rers2012/Problem12_label51_false-unreach-call.c 109    76.6   4069789696 1010   apollon151 19.8     6.31    589111296 155       apollon002
eca-rers2012/Problem12_label52_false-unreach-call.c 109    77.2   3925180416 1060   apollon045 18.1     5.88    590192640 142       apollon002
eca-rers2012/Problem12_label55_false-unreach-call.c 103    74.3   3883065344 1080   apollon026 18.3     5.92    608169984 144       apollon050
eca-rers2012/Problem13_label04_false-unreach-call.c 103    75.4   3445817344 1070   apollon116 918       781       9542893568 10300       apollon091
eca-rers2012/Problem13_label06_false-unreach-call.c 103    74.4   2894573568 1080   apollon121 919       775       9602953216 8960       apollon032
eca-rers2012/Problem13_label07_false-unreach-call.c 103    75.2   3662053376 1100   apollon072 919       784       9652097024 7100       apollon063
eca-rers2012/Problem13_label11_false-unreach-call.c 104    75.6   3077165056 1370   apollon057 919       776       10727854080 10300       apollon126
eca-rers2012/Problem13_label12_false-unreach-call.c 102    73.3   3113517056 1110   apollon165 8.26    2.66    286461952 66.3     apollon107
eca-rers2012/Problem13_label16_false-unreach-call.c 103    73.7   3537522688 1100   apollon082 919       777       10707140608 8480       apollon092
eca-rers2012/Problem13_label19_false-unreach-call.c 107    76.6   3284111360 1110   apollon135 919       792       9604947968 12000       apollon111
eca-rers2012/Problem13_label21_false-unreach-call.c 105    76.0   3130699776 1130   apollon011 920       788       9631817728 9960       apollon164
eca-rers2012/Problem13_label23_false-unreach-call.c 102    74.5   3521908736 1090   apollon107 919       778       10948276224 9660       apollon037
eca-rers2012/Problem13_label24_false-unreach-call.c 103    74.7   3495542784 1150   apollon015 7.60    2.47    279740416 64.9     apollon038
eca-rers2012/Problem13_label25_false-unreach-call.c 102    74.1   3667419136 963   apollon123 919       778       10955456512 9560       apollon045
eca-rers2012/Problem13_label28_false-unreach-call.c 106    77.4   3165421568 1050   apollon089 918       797       9519865856 10100       apollon085
eca-rers2012/Problem13_label29_false-unreach-call.c 103    73.3   3610001408 1070   apollon119 919       791       10711928832 10000       apollon009
eca-rers2012/Problem13_label30_false-unreach-call.c 103    74.8   3851698176 988   apollon029 920       792       10705424384 9230       apollon060
eca-rers2012/Problem13_label32_false-unreach-call.c 103    76.5   3131809792 1080   apollon116 919       798       10713665536 10900       apollon007
eca-rers2012/Problem13_label35_false-unreach-call.c 102    76.8   2268880896 1150   apollon032 8.04    2.65    289792000 68.0     apollon011
eca-rers2012/Problem13_label36_false-unreach-call.c 102    73.1   3050106880 1330   apollon057 919       801       9004699648 9290       apollon023
eca-rers2012/Problem13_label40_false-unreach-call.c 102    72.8   3755278336 1090   apollon102 7.69    2.48    287641600 73.5     apollon036
eca-rers2012/Problem13_label43_false-unreach-call.c 103    76.9   3208593408 1200   apollon017 919       775       9602469888 9270       apollon004
eca-rers2012/Problem13_label44_false-unreach-call.c 103    76.2   3306442752 1070   apollon060 920       774       10707976192 10800       apollon036
eca-rers2012/Problem13_label45_false-unreach-call.c 104    78.0   3438481408 1100   apollon099 7.94    2.59    295284736 73.4     apollon125
eca-rers2012/Problem13_label48_false-unreach-call.c 102    72.8   3641856000 1040   apollon012 919       782       9675448320 10500       apollon125
eca-rers2012/Problem13_label51_false-unreach-call.c 103    74.9   3261374464 1280   apollon148 917       783       9573277696 9400       apollon050
eca-rers2012/Problem13_label54_false-unreach-call.c 103    74.0   3327623168 1110   apollon004 918       793       10544115712 11100       apollon027
eca-rers2012/Problem13_label58_false-unreach-call.c 101    74.0   3087429632 1020   apollon117 8.65    2.87    282218496 62.7     apollon127
eca-rers2012/Problem14_label02_false-unreach-call_false-termination.c 101    73.5   3692232704 1190   apollon009 14.8     5.06    561827840 118       apollon117
eca-rers2012/Problem14_label08_false-unreach-call_false-termination.c 102    71.7   3787788288 1240   apollon108 14.0     4.65    558161920 126       apollon014
eca-rers2012/Problem14_label10_false-unreach-call_false-termination.c 102    69.5   3814748160 1330   apollon057 14.5     5.26    564260864 130       apollon074
eca-rers2012/Problem14_label11_false-unreach-call_false-termination.c 102    74.1   3712696320 1150   apollon078 16.1     5.69    580063232 139       apollon023
eca-rers2012/Problem14_label12_false-unreach-call_false-termination.c 102    72.7   3725533184 1120   apollon095 15.6     5.39    562483200 139       apollon047
eca-rers2012/Problem14_label13_false-unreach-call_false-termination.c 102    71.1   3905859584 1030   apollon089 913       837       4873379840 10200       apollon151
eca-rers2012/Problem14_label14_false-unreach-call_false-termination.c 102    73.3   3723591680 1170   apollon004 15.2     5.48    564592640 115       apollon063
eca-rers2012/Problem14_label18_false-unreach-call_false-termination.c 102    77.2   3956133888 1140   apollon135 913       831       4729135104 12100       apollon046
eca-rers2012/Problem14_label22_false-unreach-call_false-termination.c 101    67.2   3828346880 1060   apollon026 14.6     4.73    565379072 112       apollon043
eca-rers2012/Problem14_label27_false-unreach-call_false-termination.c 102    73.2   3807346688 1250   apollon108 15.3     5.05    563929088 131       apollon024
eca-rers2012/Problem14_label28_false-unreach-call_false-termination.c 102    75.3   3834126336 1200   apollon009 15.1     4.88    564498432 120       apollon168
eca-rers2012/Problem14_label29_false-unreach-call_false-termination.c 102    73.9   3712262144 1190   apollon009 14.7     5.07    558329856 122       apollon062
eca-rers2012/Problem14_label31_false-unreach-call_false-termination.c 101    65.5   3761811456 1050   apollon142 14.4     4.91    557387776 121       apollon071
eca-rers2012/Problem14_label34_false-unreach-call_false-termination.c 102    73.6   3759095808 1060   apollon099 15.0     4.74    560603136 135       apollon080
eca-rers2012/Problem14_label37_false-unreach-call_false-termination.c 102    71.2   3756347392 1100   apollon150 13.9     4.61    565604352 107       apollon029
eca-rers2012/Problem14_label39_false-unreach-call_false-termination.c 101    71.6   3774865408 1050   apollon127 17.6     6.42    592883712 136       apollon098
eca-rers2012/Problem14_label40_false-unreach-call_false-termination.c 101    69.0   3827568640 1110   apollon082 15.1     5.20    564944896 120       apollon107
eca-rers2012/Problem14_label41_false-unreach-call_false-termination.c 102    71.3   3829813248 1040   apollon100 14.8     5.03    570327040 121       apollon129
eca-rers2012/Problem14_label43_false-unreach-call_false-termination.c 102    70.2   3969552384 1130   apollon067 13.2     3.93    544129024 112       apollon046
eca-rers2012/Problem14_label44_false-unreach-call_false-termination.c 101    73.7   3694800896 1020   apollon151 15.1     5.16    565141504 151       apollon036
eca-rers2012/Problem14_label52_false-unreach-call_false-termination.c 102    74.4   3726852096 1170   apollon087 13.7     4.66    565600256 131       apollon164
eca-rers2012/Problem14_label54_false-unreach-call_false-termination.c 102    76.7   3713454080 1200   apollon070 15.7     5.50    568987648 125       apollon003
eca-rers2012/Problem14_label56_false-unreach-call_false-termination.c 102    74.1   3738451968 1140   apollon150 15.8     5.58    570384384 133       apollon120
eca-rers2012/Problem14_label57_false-unreach-call_false-termination.c 101    71.5   3784613888 1150   apollon032 914       839       4897382400 12400       apollon024
eca-rers2012/Problem14_label58_false-unreach-call_false-termination.c 101    75.4   3706003456 1350   apollon016 15.1     4.76    570421248 123       apollon042
eca-rers2012/Problem15_label00_false-unreach-call.c 102    69.0   3349651456 1060   apollon015 915       819       4779339776 10700       apollon107
eca-rers2012/Problem15_label02_false-unreach-call.c 103    72.1   2986029056 1090   apollon162 915       813       4774780928 10700       apollon050
eca-rers2012/Problem15_label03_false-unreach-call.c 102    65.0   2818785280 982   apollon128 16.6     5.51    579932160 128       apollon143
eca-rers2012/Problem15_label07_false-unreach-call.c 102    68.5   2780704768 1050   apollon078 17.5     5.69    581595136 138       apollon012
eca-rers2012/Problem15_label09_false-unreach-call.c 101    68.9   3168329728 1070   apollon085 16.9     5.58    570961920 161       apollon033
eca-rers2012/Problem15_label14_false-unreach-call.c 103    72.7   3475062784 1240   apollon030 915       808       4779843584 11100       apollon070
eca-rers2012/Problem15_label15_false-unreach-call.c 102    68.0   3205758976 1040   apollon107 17.7     5.78    572706816 149       apollon105
eca-rers2012/Problem15_label18_false-unreach-call_false-termination.c 104    69.0   3187466240 1080   apollon156 915       823       4784402432 10400       apollon157
eca-rers2012/Problem15_label22_false-unreach-call.c 104    70.7   3306246144 1130   apollon141 919       817       4792500224 9750       apollon139
eca-rers2012/Problem15_label23_false-unreach-call.c 106    76.2   3867430912 1010   apollon123 913       818       4596969472 12200       apollon122
eca-rers2012/Problem15_label25_false-unreach-call.c 102    66.2   3770150912 1020   apollon150 23.0     6.66    579174400 205       apollon036
eca-rers2012/Problem15_label29_false-unreach-call.c 102    65.5   3823120384 1040   apollon102 915       804       5320019968 10800       apollon102
eca-rers2012/Problem15_label30_false-unreach-call.c 102    67.7   3371020288 1030   apollon053 16.6     4.97    566300672 134       apollon061
eca-rers2012/Problem15_label33_false-unreach-call.c 103    68.4   3066548224 1180   apollon007 914       802       5335240704 10400       apollon103
eca-rers2012/Problem15_label34_false-unreach-call.c 102    66.0   2954731520 1130   apollon077 918       814       4794298368 10300       apollon023
eca-rers2012/Problem15_label37_false-unreach-call.c 102    70.7   3305091072 1250   apollon014 18.7     5.73    578572288 139       apollon117
eca-rers2012/Problem15_label38_false-unreach-call.c 101    67.5   2896482304 1120   apollon112 16.4     5.51    578113536 149       apollon027
eca-rers2012/Problem15_label39_false-unreach-call.c 102    66.9   3178024960 1060   apollon072 16.9     5.48    572710912 138       apollon072
eca-rers2012/Problem15_label40_false-unreach-call.c 103    69.4   2967285760 1080   apollon146 915       799       5403095040 10700       apollon145
eca-rers2012/Problem15_label41_false-unreach-call.c 102    67.8   3190972416 1150   apollon091 18.0     5.73    577880064 133       apollon137
eca-rers2012/Problem15_label45_false-unreach-call.c 102    66.4   3089002496 1270   apollon057 915       798       5374402560 10600       apollon074
eca-rers2012/Problem15_label47_false-unreach-call.c 102    66.4   3288174592 993   apollon089 17.4     5.59    574218240 150       apollon112
eca-rers2012/Problem15_label48_false-unreach-call.c 103    68.5   3558694912 1030   apollon045 914       814       4748476416 10800       apollon135
eca-rers2012/Problem15_label50_false-unreach-call.c 101    63.2   3065655296 1020   apollon107 17.0     4.63    560635904 150       apollon039
eca-rers2012/Problem15_label51_false-unreach-call.c 104    75.6   3846983680 1310   apollon016 913       816       4446810112 11000       apollon102
eca-rers2012/Problem16_label00_false-unreach-call.c 112    89.7   1988337664 1170   apollon089 .0175  .0173  925696 .00409 apollon014
eca-rers2012/Problem16_label01_false-unreach-call.c 102    62.2   3824599040 1070   apollon076 16.5     5.23    579313664 128       apollon083
eca-rers2012/Problem16_label03_false-unreach-call.c 103    65.1   3852247040 1090   apollon152 19.0     6.40    584744960 154       apollon049
eca-rers2012/Problem16_label04_false-unreach-call.c 106    69.9   3938975744 1050   apollon002 18.3     6.57    575975424 160       apollon048
eca-rers2012/Problem16_label05_false-unreach-call.c 104    68.2   3425861632 1180   apollon019 19.4     6.61    585281536 159       apollon078
eca-rers2012/Problem16_label06_false-unreach-call.c 101    67.9   3842584576 1100   apollon015 18.4     6.44    591175680 169       apollon030
eca-rers2012/Problem16_label08_false-unreach-call.c 102    65.3   3888943104 968   apollon098 17.0     5.51    563798016 160       apollon039
eca-rers2012/Problem16_label14_false-unreach-call.c 103    69.4   3708743680 1100   apollon072 18.2     6.41    585646080 160       apollon145
eca-rers2012/Problem16_label15_false-unreach-call.c 103    61.1   3711295488 1010   apollon120 17.0     6.04    579645440 153       apollon132
eca-rers2012/Problem16_label18_false-unreach-call.c 102    71.2   3740741632 1310   apollon016 18.3     6.48    576872448 152       apollon166
eca-rers2012/Problem16_label20_false-unreach-call.c 112    89.3   1820188672 1210   apollon045 .00806 .00839 987136 .00928 apollon133
eca-rers2012/Problem16_label22_false-unreach-call.c 103    70.5   3753250816 1230   apollon167 17.0     5.30    575909888 129       apollon073
eca-rers2012/Problem16_label27_false-unreach-call.c 104    67.6   3831992320 1030   apollon079 14.6     4.52    562352128 120       apollon076
eca-rers2012/Problem16_label30_false-unreach-call.c 105    72.1   3881861120 1040   apollon099 15.9     4.82    559669248 138       apollon027
eca-rers2012/Problem16_label31_false-unreach-call.c 106    70.7   3890802688 1130   apollon102 17.9     5.53    576950272 145       apollon112
eca-rers2012/Problem16_label33_false-unreach-call.c 105    65.7   3932274688 1110   apollon084 17.0     5.49    573067264 135       apollon050
eca-rers2012/Problem16_label37_false-unreach-call.c 102    65.2   3914637312 948   apollon123 15.7     5.34    581951488 147       apollon164
eca-rers2012/Problem16_label38_false-unreach-call.c 106    74.5   3923664896 1190   apollon093 16.8     5.70    573321216 146       apollon140
eca-rers2012/Problem16_label41_false-unreach-call.c 103    67.9   3817046016 1060   apollon107 17.8     5.34    574500864 153       apollon006
eca-rers2012/Problem16_label43_false-unreach-call.c 104    66.6   3683627008 954   apollon151 18.6     6.30    582508544 157       apollon135
eca-rers2012/Problem16_label44_false-unreach-call.c 104    68.7   3871711232 1140   apollon084 17.7     5.33    568897536 149       apollon159
eca-rers2012/Problem16_label46_false-unreach-call.c 106    67.8   3895021568 1130   apollon009 16.6     5.52    574349312 138       apollon142
eca-rers2012/Problem16_label51_false-unreach-call.c 104    65.6   3796930560 996   apollon098 17.7     6.42    576299008 154       apollon067
eca-rers2012/Problem16_label52_false-unreach-call.c 102    61.3   3854917632 1060   apollon141 17.2     5.51    576864256 148       apollon148
eca-rers2012/Problem16_label54_false-unreach-call.c 102    65.9   3749208064 1010   apollon100 19.3     7.30    594178048 166       apollon087
eca-rers2012/Problem17_label04_false-unreach-call.c 102    69.9   3092475904 949   apollon054 915       782       5656977408 10700       apollon070
eca-rers2012/Problem17_label07_false-unreach-call.c 103    67.4   3428421632 1050   apollon095 914       802       5554081792 10700       apollon153
eca-rers2012/Problem17_label09_false-unreach-call.c 102    65.9   3544944640 1050   apollon082 19.3     5.51    572641280 156       apollon086
eca-rers2012/Problem17_label13_false-unreach-call.c 103    65.9   2767486976 1030   apollon107 914       792       5663096832 10400       apollon079
eca-rers2012/Problem17_label16_false-unreach-call.c 102    71.0   2543337472 1050   apollon042 914       800       5132423168 11900       apollon081
eca-rers2012/Problem17_label20_false-unreach-call.c 101    67.9   2766225408 1340   apollon039 17.8     5.94    581394432 156       apollon067
eca-rers2012/Problem17_label23_false-unreach-call.c 108    77.4   3378860032 1060   apollon127 914       789       5082165248 11800       apollon077
eca-rers2012/Problem17_label25_false-unreach-call.c 101    65.2   3015262208 1000   apollon053 20.8     5.85    578682880 171       apollon065
eca-rers2012/Problem17_label26_false-unreach-call.c 102    66.4   3553288192 1090   apollon108 7.09    2.47    244465664 57.4     apollon026
eca-rers2012/Problem17_label30_false-unreach-call.c 102    68.0   2546810880 1120   apollon071 19.3     6.41    581464064 158       apollon017
eca-rers2012/Problem17_label31_false-unreach-call.c 102    67.4   3011694592 1040   apollon058 20.8     5.97    572370944 149       apollon123
eca-rers2012/Problem17_label33_false-unreach-call.c 102    62.9   2501484544 1120   apollon077 18.7     6.21    598257664 155       apollon119
eca-rers2012/Problem17_label34_false-unreach-call.c 102    67.2   3067953152 1110   apollon017 19.4     5.51    573140992 161       apollon119
eca-rers2012/Problem17_label35_false-unreach-call.c 102    67.8   2923323392 1060   apollon120 19.8     5.54    574234624 168       apollon114
eca-rers2012/Problem17_label37_false-unreach-call.c 101    65.9   3201871872 1130   apollon155 20.4     5.85    569401344 169       apollon112
eca-rers2012/Problem17_label40_false-unreach-call.c 102    68.5   2823532544 1260   apollon016 20.7     6.02    571666432 187       apollon039
eca-rers2012/Problem17_label46_false-unreach-call.c 106    69.7   3716169728 1250   apollon161 917       816       4759572480 11800       apollon159
eca-rers2012/Problem17_label49_false-unreach-call.c 102    65.8   2751471616 985   apollon116 21.0     5.84    589537280 161       apollon075
eca-rers2012/Problem17_label50_false-unreach-call.c 102    65.0   3055124480 1070   apollon084 915       800       5084200960 10900       apollon147
eca-rers2012/Problem17_label52_false-unreach-call.c 102    70.7   2373828608 1050   apollon109 18.2     5.99    594796544 138       apollon089
eca-rers2012/Problem17_label53_false-unreach-call.c 102    66.1   3022557184 1200   apollon148 20.0     5.84    572706816 160       apollon012
eca-rers2012/Problem17_label54_false-unreach-call.c 102    66.0   2993700864 1040   apollon135 20.3     5.68    570888192 158       apollon086
eca-rers2012/Problem17_label55_false-unreach-call.c 101    67.2   3183837184 1110   apollon112 20.7     5.64    576794624 162       apollon165
eca-rers2012/Problem17_label57_false-unreach-call.c 102    65.2   2919915520 1040   apollon022 20.6     5.70    571416576 188       apollon036
eca-rers2012/Problem18_label00_false-unreach-call.c 102    64.1   2395283456 1030   apollon152 24.4     10.3     643493888 242       apollon126
eca-rers2012/Problem18_label01_false-unreach-call.c 102    64.3   2420207616 1130   apollon167 23.8     10.2     655020032 192       apollon060
eca-rers2012/Problem18_label03_false-unreach-call.c 105    65.7   3459584000 1030   apollon168 20.9     8.53    616570880 201       apollon065
eca-rers2012/Problem18_label06_false-unreach-call.c 102    61.4   3872911360 1000   apollon133 22.6     8.55    620630016 214       apollon108
eca-rers2012/Problem18_label08_false-unreach-call.c 106    72.7   3891511296 1100   apollon026 19.2     5.67    578260992 164       apollon044
eca-rers2012/Problem18_label09_false-unreach-call.c 102    60.4   3188649984 1010   apollon135 24.6     10.7     636014592 193       apollon089
eca-rers2012/Problem18_label10_false-unreach-call.c 102    58.4   3851141120 919   apollon002 20.0     6.86    618094592 181       apollon014
eca-rers2012/Problem18_label12_false-unreach-call.c 102    58.6   3115413504 1170   apollon057 25.1     10.8     641261568 222       apollon146
eca-rers2012/Problem18_label19_false-unreach-call.c 102    67.3   2501898240 977   apollon128 23.5     10.2     619122688 214       apollon009
eca-rers2012/Problem18_label20_false-unreach-call.c 103    62.0   2397548544 1000   apollon120 22.9     10.2     624222208 225       apollon069
eca-rers2012/Problem18_label25_false-unreach-call.c 102    65.0   3011534848 991   apollon012 23.6     10.5     619433984 242       apollon106
eca-rers2012/Problem18_label27_false-unreach-call.c 104    66.8   3150061568 1100   apollon052 23.2     10.3     627388416 230       apollon020
eca-rers2012/Problem18_label31_false-unreach-call.c 103    65.0   3767365632 1100   apollon017 21.2     8.84    622182400 191       apollon076
eca-rers2012/Problem18_label32_false-unreach-call.c 104    67.6   3332505600 918   apollon158 23.2     10.3     630767616 218       apollon022
eca-rers2012/Problem18_label33_false-unreach-call.c 102    52.6   3617046528 866   apollon098 23.6     10.5     625999872 201       apollon154
eca-rers2012/Problem18_label34_false-unreach-call.c 102    59.6   2804535296 979   apollon058 23.7     10.5     628072448 213       apollon087
eca-rers2012/Problem18_label35_false-unreach-call.c 104    64.5   3107008512 1100   apollon020 22.9     10.2     632176640 205       apollon049
eca-rers2012/Problem18_label36_false-unreach-call.c 106    65.3   2918666240 1080   apollon004 21.9     8.65    600375296 181       apollon137
eca-rers2012/Problem18_label38_false-unreach-call.c 103    67.8   2739441664 1170   apollon047 24.9     10.4     635715584 235       apollon155
eca-rers2012/Problem18_label39_false-unreach-call.c 102    62.5   3019124736 1100   apollon077 23.2     10.3     627720192 207       apollon045
eca-rers2012/Problem18_label45_false-unreach-call.c 102    63.4   3942084608 1040   apollon093 19.4     6.77    605134848 174       apollon048
eca-rers2012/Problem18_label49_false-unreach-call.c 105    65.1   3652018176 1040   apollon156 20.8     8.68    624545792 196       apollon064
eca-rers2012/Problem18_label52_false-unreach-call.c 105    62.6   3775885312 1010   apollon032 22.1     8.64    614744064 189       apollon018
eca-rers2012/Problem18_label55_false-unreach-call.c 102    64.5   3313033216 1100   apollon091 23.1     10.2     623239168 227       apollon014
eca-rers2012/Problem18_label57_false-unreach-call.c 103    63.4   3046121472 968   apollon128 24.4     10.3     632401920 206       apollon035
eca-rers2012/Problem19_label10_false-unreach-call.c 102    78.4   2591723520 1050   apollon060 8.72    2.87    372883456 72.0     apollon012
eca-rers2012/Problem19_label11_false-unreach-call.c 102    77.8   2788917248 1380   apollon057 8.53    2.83    362967040 75.2     apollon022
eca-rers2012/Problem19_label14_false-unreach-call.c 101    74.4   2429255680 1120   apollon038 8.73    2.78    365969408 73.0     apollon038
eca-rers2012/Problem19_label17_false-unreach-call.c 102    72.6   2712412160 1120   apollon126 8.79    2.82    377769984 78.4     apollon145
eca-rers2012/Problem19_label18_false-unreach-call.c 101    77.0   2515931136 1030   apollon043 9.13    2.90    372670464 67.9     apollon117
eca-rers2012/Problem19_label19_false-unreach-call.c 102    76.3   2828279808 1120   apollon095 8.84    2.81    380633088 70.5     apollon120
eca-rers2012/Problem19_label21_false-unreach-call.c 101    74.7   2385297408 1170   apollon017 9.31    2.92    378368000 86.4     apollon111
eca-rers2012/Problem19_label22_false-unreach-call.c 101    79.2   1975250944 1150   apollon051 8.49    2.76    362717184 78.0     apollon080
eca-rers2012/Problem19_label26_false-unreach-call.c 101    76.1   3696259072 1060   apollon116 8.85    2.85    374054912 73.4     apollon084
eca-rers2012/Problem19_label27_false-unreach-call.c 102    75.6   3038932992 1330   apollon160 8.66    2.78    369811456 75.5     apollon138
eca-rers2012/Problem19_label28_false-unreach-call.c 101    75.4   3769671680 1360   apollon057 8.83    2.83    373211136 70.1     apollon103
eca-rers2012/Problem19_label29_false-unreach-call.c 102    79.1   3648933888 1030   apollon054 8.65    2.77    368041984 67.9     apollon002
eca-rers2012/Problem19_label31_false-unreach-call.c 102    75.6   2822234112 1030   apollon157 8.95    2.81    377929728 69.1     apollon082
eca-rers2012/Problem19_label32_false-unreach-call.c 102    77.1   3363102720 1420   apollon039 8.55    2.78    365973504 76.4     apollon027
eca-rers2012/Problem19_label41_false-unreach-call.c 101    76.3   2178387968 1190   apollon020 8.82    2.82    377958400 76.2     apollon097
eca-rers2012/Problem19_label42_false-unreach-call.c 102    77.1   2358325248 1050   apollon002 9.13    2.96    372772864 68.0     apollon128
eca-rers2012/Problem19_label43_false-unreach-call.c 102    74.9   2235912192 1100   apollon101 9.13    2.95    361766912 86.2     apollon039
eca-rers2012/Problem19_label47_false-unreach-call.c 102    76.2   2742792192 1240   apollon007 8.97    2.86    374509568 63.6     apollon063
eca-rers2012/Problem19_label50_false-unreach-call.c 102    77.9   2346770432 1320   apollon014 8.93    2.83    386539520 74.7     apollon022
eca-rers2012/Problem19_label51_false-unreach-call.c 102    75.9   2778845184 1030   apollon043 9.30    2.95    363122688 75.1     apollon085
eca-rers2012/Problem19_label53_false-unreach-call.c 102    77.9   3268239360 1060   apollon128 8.72    2.74    373170176 73.7     apollon164
eca-rers2012/Problem19_label55_false-unreach-call.c 101    76.3   3701342208 1100   apollon118 8.70    2.74    367767552 72.0     apollon136
eca-rers2012/Problem19_label58_false-unreach-call.c 102    76.0   2372403200 1090   apollon051 8.69    2.85    367276032 72.6     apollon061
eca-rers2012/Problem19_label59_false-unreach-call.c 101    75.1   2535559168 1100   apollon133 8.68    2.76    370888704 82.5     apollon039
eca-rers2012/Problem01_label00_true-unreach-call_false-termination.c 17.3  4.59  523608064 120   apollon019 .0260  .0291  929792 .00696 apollon157
eca-rers2012/Problem01_label01_true-unreach-call_false-termination.c 17.1  4.52  601575424 150   apollon021 .0153  .0187  876544 .0203  apollon130
eca-rers2012/Problem01_label02_true-unreach-call_false-termination.c 18.6  5.00  598691840 140   apollon085 .00995 .00987 958464 .00745 apollon063
eca-rers2012/Problem01_label03_true-unreach-call_false-termination.c 24.7  7.44  801673216 189   apollon079 .0100  .00970 831488 .0132  apollon057
eca-rers2012/Problem01_label04_true-unreach-call_false-termination.c 16.7  4.43  613269504 128   apollon020 .0184  .0191  1007616 .00549 apollon074
eca-rers2012/Problem01_label05_true-unreach-call_false-termination.c 18.2  4.76  604512256 147   apollon032 .00915 .00911 811008 .00934 apollon129
eca-rers2012/Problem01_label06_true-unreach-call_false-termination.c 18.4  5.05  593895424 142   apollon072 .0200  .0210  991232 .00787 apollon068
eca-rers2012/Problem01_label07_true-unreach-call_false-termination.c 16.2  4.36  578924544 134   apollon015 .00931 .00923 888832 .0122  apollon087
eca-rers2012/Problem01_label08_true-unreach-call_false-termination.c 24.6  8.44  1067941888 200   apollon071 .00944 .00926 851968 .0139  apollon030
eca-rers2012/Problem01_label09_true-unreach-call_false-termination.c 20.9  6.13  759971840 158   apollon157 .0135  .0141  880640 .00885 apollon168
eca-rers2012/Problem01_label10_true-unreach-call_false-termination.c 16.4  4.40  613621760 128   apollon018 .0192  .0186  856064 .00330 apollon090
eca-rers2012/Problem01_label11_true-unreach-call_false-termination.c 14.1  3.87  491728896 109   apollon085 .00728 .00715 745472 .0129  apollon161
eca-rers2012/Problem01_label12_true-unreach-call_false-termination.c 14.2  3.80  484122624 112   apollon167 .0110  .0112  831488 .00647 apollon123
eca-rers2012/Problem01_label13_true-unreach-call_false-termination.c 19.3  5.09  641355776 146   apollon089 .0171  .0189  892928 .00812 apollon064
eca-rers2012/Problem01_label14_true-unreach-call_false-termination.c 16.5  4.52  605249536 142   apollon019 .0153  .0148  892928 .0118  apollon107
eca-rers2012/Problem01_label16_true-unreach-call_false-termination.c 17.9  4.76  583577600 136   apollon045 .00970 .00954 811008 .0163  apollon044
eca-rers2012/Problem01_label17_true-unreach-call_false-termination.c 17.0  4.58  589029376 134   apollon072 .0124  .0133  933888 .00775 apollon068
eca-rers2012/Problem01_label18_true-unreach-call_false-termination.c 17.3  4.57  617541632 132   apollon112 .0120  .0135  880640 .00000 apollon164
eca-rers2012/Problem01_label19_true-unreach-call_false-termination.c 17.3  4.68  627097600 147   apollon118 .0101  .0137  892928 .0342  apollon044
eca-rers2012/Problem01_label22_true-unreach-call_false-termination.c 17.4  4.67  611696640 140   apollon119 .0108  .0126  811008 .00940 apollon018
eca-rers2012/Problem01_label23_true-unreach-call_false-termination.c 17.4  4.69  493203456 128   apollon071 .0102  .0144  1036288 .0102  apollon110
eca-rers2012/Problem01_label24_true-unreach-call_false-termination.c 13.2  3.61  473747456 101   apollon087 .00798 .00781 884736 .00000 apollon071
eca-rers2012/Problem01_label25_true-unreach-call_false-termination.c 18.9  5.13  621912064 139   apollon089 .0226  .0262  1019904 .0300  apollon028
eca-rers2012/Problem01_label26_true-unreach-call_false-termination.c 16.9  4.59  599687168 142   apollon067 .0145  .0143  888832 .0161  apollon054
eca-rers2012/Problem01_label27_true-unreach-call_false-termination.c 35.8  16.7   1579593728 331   apollon012 .00871 .0103  864256 .00848 apollon133
eca-rers2012/Problem01_label28_true-unreach-call_false-termination.c 27.7  11.4   1319522304 267   apollon047 .0218  .0213  876544 .00775 apollon100
eca-rers2012/Problem01_label29_true-unreach-call_false-termination.c 26.0  8.21  845885440 213   apollon077 .0111  .0108  753664 .00000 apollon134
eca-rers2012/Problem01_label30_true-unreach-call_false-termination.c 28.1  10.3   1072472064 252   apollon087 .0277  .0271  819200 .0115  apollon125
eca-rers2012/Problem01_label31_true-unreach-call_false-termination.c 16.7  4.47  595156992 157   apollon021 .0185  .0214  966656 .00873 apollon126
eca-rers2012/Problem01_label34_true-unreach-call_false-termination.c 17.4  4.68  608182272 150   apollon108 .0285  .0293  802816 .00555 apollon053
eca-rers2012/Problem01_label36_true-unreach-call_false-termination.c 22.0  6.20  755027968 182   apollon126 .00982 .00979 757760 .00922 apollon041
eca-rers2012/Problem01_label39_true-unreach-call_false-termination.c 15.9  4.28  595648512 109   apollon040 .0124  .0144  991232 .0110  apollon106
eca-rers2012/Problem01_label40_true-unreach-call_false-termination.c 15.2  4.05  513392640 136   apollon021 .0107  .0106  966656 .0102  apollon084
eca-rers2012/Problem01_label41_true-unreach-call_false-termination.c 15.1  4.03  499441664 123   apollon005 .0120  .0115  741376 .00971 apollon149
eca-rers2012/Problem01_label42_true-unreach-call_false-termination.c 14.9  4.00  534949888 112   apollon005 .0294  .0312  876544 .00659 apollon025
eca-rers2012/Problem01_label43_true-unreach-call_false-termination.c 15.0  4.01  550105088 138   apollon125 .0111  .0109  1015808 .00769 apollon158
eca-rers2012/Problem01_label45_true-unreach-call_false-termination.c 26.5  9.94  1031356416 236   apollon017 .0303  .0307  876544 .0122  apollon101
eca-rers2012/Problem01_label46_true-unreach-call_false-termination.c 15.2  4.11  551403520 115   apollon071 .0269  .0327  987136 .00745 apollon078
eca-rers2012/Problem01_label48_true-unreach-call_false-termination.c 22.5  7.05  798408704 204   apollon047 .0170  .0177  974848 .0103  apollon091
eca-rers2012/Problem01_label49_true-unreach-call_false-termination.c 15.8  4.19  588517376 128   apollon005 .0140  .0139  888832 .00659 apollon107
eca-rers2012/Problem01_label51_true-unreach-call_false-termination.c 20.0  6.56  848527360 167   apollon095 .00790 .00815 782336 .00000 apollon084
eca-rers2012/Problem01_label52_true-unreach-call_false-termination.c 18.6  4.95  607973376 152   apollon167 .0117  .0136  856064 .0120  apollon068
eca-rers2012/Problem01_label53_true-unreach-call_false-termination.c 18.1  4.70  597385216 132   apollon151 .0103  .0109  905216 .00562 apollon056
eca-rers2012/Problem01_label54_true-unreach-call_false-termination.c 21.0  5.62  602550272 158   apollon070 .00832 .0111  958464 .00793 apollon045
eca-rers2012/Problem01_label55_true-unreach-call_false-termination.c 17.1  4.54  609705984 130   apollon070 .00959 .00932 958464 .0153  apollon021
eca-rers2012/Problem01_label58_true-unreach-call_false-termination.c 19.1  5.22  591069184 147   apollon017 .0102  .0107  708608 .0103  apollon077
eca-rers2012/Problem01_label59_true-unreach-call_false-termination.c 15.0  4.00  474677248 120   apollon015 .0137  .0134  905216 .00000 apollon006
eca-rers2012/Problem02_label00_true-unreach-call_false-termination.c 10.0  2.85  463659008 75.8 apollon142 .0103  .0102  839680 .00915 apollon147
eca-rers2012/Problem02_label01_true-unreach-call_false-termination.c 10.4  2.89  449511424 76.0 apollon089 .0107  .0141  917504 .0150  apollon044
eca-rers2012/Problem02_label02_true-unreach-call_false-termination.c 10.9  3.10  446435328 91.3 apollon007 .0109  .0107  847872 .00909 apollon067
eca-rers2012/Problem02_label03_true-unreach-call_false-termination.c 10.7  3.10  456261632 83.0 apollon025 .0139  .0158  974848 .00928 apollon082
eca-rers2012/Problem02_label04_true-unreach-call_false-termination.c 10.8  3.00  458289152 96.9 apollon039 .00887 .00904 966656 .00836 apollon135
eca-rers2012/Problem02_label05_true-unreach-call_false-termination.c 10.5  3.06  457994240 96.8 apollon108 .0100  .00988 798720 .0109  apollon068
eca-rers2012/Problem02_label06_true-unreach-call_false-termination.c 18.1  7.81  950239232 154   apollon029 .0110  .0108  962560 .00806 apollon074
eca-rers2012/Problem02_label07_true-unreach-call_false-termination.c 11.8  3.24  481611776 84.5 apollon079 .00906 .00888 798720 .00000 apollon112
eca-rers2012/Problem02_label08_true-unreach-call_false-termination.c 10.7  3.12  456638464 94.5 apollon111 .0192  .0220  892928 .00568 apollon147
eca-rers2012/Problem02_label09_true-unreach-call_false-termination.c 14.2  3.94  472563712 96.6 apollon151 .0284  .0279  880640 .0140  apollon126
eca-rers2012/Problem02_label10_true-unreach-call_false-termination.c 11.6  3.26  468770816 83.2 apollon029 .0153  .0165  978944 .00897 apollon033
eca-rers2012/Problem02_label11_true-unreach-call_false-termination.c 11.9  3.29  479903744 86.4 apollon109 .0103  .0106  761856 .00000 apollon148
eca-rers2012/Problem02_label12_true-unreach-call_false-termination.c 11.9  3.25  478253056 102   apollon044 .0276  .0269  872448 .00494 apollon108
eca-rers2012/Problem02_label14_true-unreach-call_false-termination.c 11.8  3.25  469061632 88.1 apollon098 .0122  .0126  933888 .0194  apollon129
eca-rers2012/Problem02_label15_true-unreach-call_false-termination.c 9.96 2.83  452366336 83.7 apollon076 .00773 .00779 966656 .00000 apollon117
eca-rers2012/Problem02_label17_true-unreach-call_false-termination.c 9.81 2.79  451592192 74.0 apollon116 .0123  .0129  942080 .0112  apollon070
eca-rers2012/Problem02_label18_true-unreach-call_false-termination.c 15.5  4.20  608792576 134   apollon111 .0141  .0140  1007616 .00983 apollon108
eca-rers2012/Problem02_label19_true-unreach-call_false-termination.c 9.75 2.88  434327552 67.6 apollon158 .0107  .0110  954368 .0112  apollon091
eca-rers2012/Problem02_label20_true-unreach-call_false-termination.c 9.56 2.80  447488000 77.2 apollon004 .00957 .0127  1060864 .0139  apollon095
eca-rers2012/Problem02_label21_true-unreach-call_false-termination.c 11.0  3.06  458526720 82.4 apollon053 .0127  .0153  753664 .00592 apollon092
eca-rers2012/Problem02_label22_true-unreach-call_false-termination.c 9.99 2.80  448348160 70.8 apollon089 .0200  .0198  905216 .00427 apollon023
eca-rers2012/Problem02_label23_true-unreach-call_false-termination.c 10.9  3.23  453578752 90.7 apollon093 .0136  .0138  876544 .00915 apollon135
eca-rers2012/Problem02_label24_true-unreach-call_false-termination.c 10.1  2.79  449048576 83.8 apollon140 .0100  .0109  815104 .0125  apollon154
eca-rers2012/Problem02_label25_true-unreach-call_false-termination.c 10.9  3.05  452964352 79.1 apollon128 .0130  .0136  966656 .0272  apollon056
eca-rers2012/Problem02_label26_true-unreach-call_false-termination.c 10.4  2.95  460075008 85.2 apollon022 .0135  .0131  778240 .00842 apollon076
eca-rers2012/Problem02_label27_true-unreach-call_false-termination.c 10.2  2.88  462180352 84.0 apollon119 .0235  .0237  872448 .00415 apollon166
eca-rers2012/Problem02_label28_true-unreach-call_false-termination.c 10.4  3.09  452042752 89.7 apollon140 .0139  .0141  974848 .0106  apollon059
eca-rers2012/Problem02_label29_true-unreach-call_false-termination.c 13.6  3.76  481456128 102   apollon025 .00872 .00856 962560 .0121  apollon132
eca-rers2012/Problem02_label30_true-unreach-call_false-termination.c 11.9  3.29  476651520 104   apollon126 .00588 .0103  843776 .0151  apollon116
eca-rers2012/Problem02_label31_true-unreach-call_false-termination.c 11.5  3.19  464896000 87.8 apollon011 .00618 .00601 843776 .00000 apollon057
eca-rers2012/Problem02_label32_true-unreach-call_false-termination.c 11.7  3.29  483569664 82.7 apollon029 .0123  .0143  913408 .0134  apollon110
eca-rers2012/Problem02_label33_true-unreach-call_false-termination.c 10.3  2.88  446533632 76.5 apollon053 .0129  .0149  745472 .00952 apollon036
eca-rers2012/Problem02_label34_true-unreach-call_false-termination.c 9.74 2.82  435249152 74.4 apollon095 .00803 .00874 978944 .00000 apollon039
eca-rers2012/Problem02_label35_true-unreach-call_false-termination.c 10.1  2.89  449716224 85.6 apollon118 .00956 .00968 790528 .00757 apollon152
eca-rers2012/Problem02_label36_true-unreach-call_false-termination.c 13.2  3.84  541941760 110   apollon067 .0246  .0243  1003520 .00439 apollon109
eca-rers2012/Problem02_label37_true-unreach-call_false-termination.c 10.9  3.05  458735616 86.5 apollon112 .00899 .00892 937984 .00000 apollon117
eca-rers2012/Problem02_label38_true-unreach-call_false-termination.c 12.8  3.62  575791104 114   apollon007 .0212  .0225  782336 .00745 apollon127
eca-rers2012/Problem02_label39_true-unreach-call_false-termination.c 10.8  3.14  467447808 81.4 apollon042 .0140  .0137  966656 .00745 apollon164
eca-rers2012/Problem02_label40_true-unreach-call_false-termination.c 11.9  3.39  449007616 87.5 apollon133 .00856 .0118  884736 .0107  apollon005
eca-rers2012/Problem02_label41_true-unreach-call_false-termination.c 12.0  3.37  451432448 91.9 apollon070 .0118  .0116  937984 .00952 apollon054
eca-rers2012/Problem02_label42_true-unreach-call_false-termination.c 9.97 2.91  443207680 73.1 apollon116 .0121  .0118  905216 .00909 apollon004
eca-rers2012/Problem02_label46_true-unreach-call_false-termination.c 10.7  3.06  490643456 93.8 apollon016 .00975 .00999 745472 .00830 apollon048
eca-rers2012/Problem02_label47_true-unreach-call_false-termination.c 11.5  3.17  486764544 106   apollon160 .0295  .0311  749568 .00800 apollon159
eca-rers2012/Problem02_label48_true-unreach-call_false-termination.c 10.8  2.99  467533824 88.0 apollon067 .0220  .0215  1069056 .00647 apollon128
eca-rers2012/Problem02_label49_true-unreach-call_false-termination.c 13.7  3.98  583397376 105   apollon107 .0143  .0147  1048576 .00909 apollon136
eca-rers2012/Problem02_label51_true-unreach-call_false-termination.c 11.0  3.02  467755008 86.7 apollon127 .0151  .0152  1015808 .00885 apollon083
eca-rers2012/Problem02_label52_true-unreach-call_false-termination.c 18.9  6.75  882524160 158   apollon118 .0220  .0214  909312 .00690 apollon109
eca-rers2012/Problem02_label53_true-unreach-call_false-termination.c 11.1  3.10  470781952 83.7 apollon051 .0110  .0107  983040 .00000 apollon051
eca-rers2012/Problem02_label54_true-unreach-call_false-termination.c 11.8  3.34  471564288 99.4 apollon047 .0297  .0289  839680 .00598 apollon149
eca-rers2012/Problem02_label55_true-unreach-call_false-termination.c 12.4  3.35  478433280 102   apollon152 .0198  .0202  974848 .00427 apollon020
eca-rers2012/Problem02_label56_true-unreach-call_false-termination.c 11.6  3.21  480391168 105   apollon033 .00840 .0121  839680 .0148  apollon056
eca-rers2012/Problem02_label57_true-unreach-call_false-termination.c 10.6  3.01  447860736 86.7 apollon071 .0103  .0105  987136 .00000 apollon121
eca-rers2012/Problem02_label58_true-unreach-call_false-termination.c 12.5  3.39  490442752 97.5 apollon002 .0176  .0170  1056768 .00562 apollon162
eca-rers2012/Problem03_label00_true-unreach-call.c 65.8  36.7   1535205376 589   apollon025 .00728 .0110  745472 .00763 apollon123
eca-rers2012/Problem03_label01_true-unreach-call.c 86.2  56.9   2417102848 928   apollon018 .00986 .0101  733184 .00952 apollon077
eca-rers2012/Problem03_label02_true-unreach-call.c 35.8  12.4   1193922560 304   apollon005 .00965 .00978 1019904 .00971 apollon155
eca-rers2012/Problem03_label03_true-unreach-call.c 42.0  17.1   1435881472 357   apollon025 .0104  .0109  946176 .00000 apollon002
eca-rers2012/Problem03_label04_true-unreach-call.c 76.2  48.7   2390781952 822   apollon085 .0142  .0142  987136 .00855 apollon031
eca-rers2012/Problem03_label05_true-unreach-call.c 86.0  55.5   2204184576 1090   apollon039 .0112  .0143  901120 .0102  apollon129
eca-rers2012/Problem03_label06_true-unreach-call.c 40.3  15.4   1420427264 344   apollon156 .0129  .0125  1011712 .0131  apollon104
eca-rers2012/Problem03_label07_true-unreach-call.c 37.6  13.9   1893085184 359   apollon111 .0126  .0124  1003520 .00836 apollon158
eca-rers2012/Problem03_label08_true-unreach-call.c 103    67.5   3045392384 1210   apollon044 936       753       10952900608 10400       apollon032
eca-rers2012/Problem03_label10_true-unreach-call.c 81.6  51.4   1738211328 946   apollon148 .0153  .0151  892928 .00336 apollon166
eca-rers2012/Problem03_label11_true-unreach-call.c 42.8  16.3   1316515840 398   apollon033 .00763 .0113  708608 .0101  apollon116
eca-rers2012/Problem03_label12_true-unreach-call.c 37.7  14.3   1211084800 287   apollon116 .0224  .0228  901120 .00604 apollon070
eca-rers2012/Problem03_label14_true-unreach-call.c 33.5  12.9   1331265536 298   apollon067 .0113  .0112  794624 .00861 apollon041
eca-rers2012/Problem03_label15_true-unreach-call.c 51.4  26.4   1893371904 507   apollon070 .00998 .0138  864256 .0198  apollon133
eca-rers2012/Problem03_label16_true-unreach-call.c 34.8  11.1   1116803072 286   apollon076 .0147  .0159  917504 .00800 apollon122
eca-rers2012/Problem03_label17_true-unreach-call.c 54.7  29.1   2047148032 496   apollon116 .00884 .00878 913408 .0115  apollon133
eca-rers2012/Problem03_label18_true-unreach-call.c 52.0  22.9   1930211328 469   apollon101 .0101  .0114  782336 .00793 apollon123
eca-rers2012/Problem03_label19_true-unreach-call.c 36.7  13.7   1339711488 333   apollon007 .0133  .0139  1032192 .00861 apollon156
eca-rers2012/Problem03_label20_true-unreach-call.c 102    72.4   2400522240 1140   apollon022 924       747       9804783616 10300       apollon150
eca-rers2012/Problem03_label21_true-unreach-call.c 56.3  31.1   2139701248 535   apollon116 .00979 .0101  974848 .00000 apollon030
eca-rers2012/Problem03_label22_true-unreach-call.c 52.3  26.4   1924898816 513   apollon067 .0107  .0142  950272 .0174  apollon045
eca-rers2012/Problem03_label23_true-unreach-call.c 46.8  22.0   1626705920 400   apollon117 .0224  .0237  946176 .00720 apollon165
eca-rers2012/Problem03_label24_true-unreach-call.c 37.8  12.8   1304776704 313   apollon095 .00873 .0115  950272 .0123  apollon016
eca-rers2012/Problem03_label25_true-unreach-call.c 58.8  29.8   2074251264 549   apollon038 .0102  .0101  995328 .00867 apollon141
eca-rers2012/Problem03_label29_true-unreach-call.c 45.5  21.5   1847934976 389   apollon043 .00735 .00747 737280 .0114  apollon099
eca-rers2012/Problem03_label30_true-unreach-call.c 39.0  16.1   1679675392 319   apollon089 .00837 .00826 745472 .0115  apollon047
eca-rers2012/Problem03_label32_true-unreach-call.c 36.8  13.3   1221246976 343   apollon057 .0182  .0179  884736 .00275 apollon015
eca-rers2012/Problem03_label33_true-unreach-call.c 103    66.6   3125952512 890   apollon123 928       747       10945122304 10300       apollon105
eca-rers2012/Problem03_label34_true-unreach-call.c 38.1  13.9   1273085952 315   apollon071 .00869 .0128  999424 .00977 apollon132
eca-rers2012/Problem03_label36_true-unreach-call.c 37.1  13.1   1306238976 312   apollon017 .0101  .0101  937984 .00403 apollon065
eca-rers2012/Problem03_label38_true-unreach-call.c 36.7  13.2   1226981376 331   apollon030 .00914 .00927 765952 .00000 apollon011
eca-rers2012/Problem03_label40_true-unreach-call.c 50.2  20.7   1635188736 416   apollon086 .0151  .0164  946176 .00836 apollon037
eca-rers2012/Problem03_label41_true-unreach-call.c 35.3  12.8   1093976064 297   apollon087 .0147  .0157  958464 .0121  apollon048
eca-rers2012/Problem03_label42_true-unreach-call.c 39.1  13.0   1267736576 282   apollon040 .0101  .0135  942080 .00000 apollon140
eca-rers2012/Problem03_label44_true-unreach-call.c 69.6  39.6   2357723136 813   apollon044 .0146  .0161  729088 .00763 apollon118
eca-rers2012/Problem03_label46_true-unreach-call.c 34.3  12.5   1067384832 288   apollon120 .0152  .0149  868352 .00446 apollon065
eca-rers2012/Problem03_label47_true-unreach-call.c 52.1  27.8   2020904960 577   apollon030 .0160  .0182  868352 .0109  apollon071
eca-rers2012/Problem03_label48_true-unreach-call.c 65.1  40.5   2116354048 737   apollon020 .00967 .00935 774144 .00000 apollon092
eca-rers2012/Problem03_label49_true-unreach-call.c 102    75.3   2444193792 1200   apollon071 921       746       9576058880 11900       apollon094
eca-rers2012/Problem03_label51_true-unreach-call.c 71.0  45.4   2201874432 756   apollon146 .0185  .0192  958464 .00684 apollon143
eca-rers2012/Problem03_label53_true-unreach-call.c 64.8  37.2   2075496448 663   apollon118 .0100  .00987 897024 .0101  apollon106
eca-rers2012/Problem03_label54_true-unreach-call.c 58.2  34.0   1768529920 591   apollon168 .0251  .0255  839680 .00617 apollon073
eca-rers2012/Problem03_label55_true-unreach-call.c 102    72.3   2852687872 1030   apollon043 922       732       9798340608 10100       apollon105
eca-rers2012/Problem03_label56_true-unreach-call.c 102    65.7   3189555200 1040   apollon076 925       724       10890735616 9870       apollon154
eca-rers2012/Problem03_label57_true-unreach-call.c 102    75.0   2639548416 1020   apollon092 920       726       10200813568 11000       apollon159
eca-rers2012/Problem03_label58_true-unreach-call.c 61.8  32.0   1719386112 561   apollon135 .00960 .0125  1003520 .0133  apollon111
eca-rers2012/Problem03_label59_true-unreach-call.c 34.9  11.2   910884864 306   apollon014 .00814 .0130  806912 .00897 apollon090
eca-rers2012/Problem04_label00_true-unreach-call.c 105    67.0   2467131392 938   apollon155 951       736       10956603392 11800       apollon088
eca-rers2012/Problem04_label01_true-unreach-call.c 105    54.3   2332938240 817   apollon102 950       747       10953457664 12200       apollon030
eca-rers2012/Problem04_label02_true-unreach-call.c 107    58.9   2802356224 845   apollon118 951       734       10954379264 11100       apollon059
eca-rers2012/Problem04_label03_true-unreach-call.c 106    61.5   2232176640 1020   apollon155 951       720       9500844032 9770       apollon121
eca-rers2012/Problem04_label05_true-unreach-call.c 105    66.3   2686750720 1170   apollon057 951       727       10801987584 9040       apollon092
eca-rers2012/Problem04_label07_true-unreach-call.c 106    65.6   2768830464 1150   apollon044 951       740       9308794880 11500       apollon059
eca-rers2012/Problem04_label08_true-unreach-call.c 104    63.6   2587275264 871   apollon117 951       713       9361747968 9370       apollon025
eca-rers2012/Problem04_label10_true-unreach-call.c 104    65.3   2572374016 1140   apollon021 951       712       10659180544 10100       apollon048
eca-rers2012/Problem04_label16_true-unreach-call.c 105    67.8   2697060352 856   apollon053 168       116       2958528512 1570       apollon117
eca-rers2012/Problem04_label20_true-unreach-call_false-termination.c 106    65.5   2867310592 872   apollon102 75.1     48.6     1065488384 811       apollon006
eca-rers2012/Problem04_label21_true-unreach-call.c 106    65.5   2833031168 828   apollon089 951       722       10970910720 11600       apollon016
eca-rers2012/Problem04_label22_true-unreach-call.c 105    68.8   2445328384 920   apollon026 74.7     47.9     1039228928 766       apollon009
eca-rers2012/Problem04_label23_true-unreach-call_false-termination.c 105    62.0   2726133760 844   apollon099 950       730       10392616960 9810       apollon025
eca-rers2012/Problem04_label24_true-unreach-call_false-termination.c 105    64.1   2703228928 1010   apollon014 951       723       9820459008 11100       apollon005
eca-rers2012/Problem04_label25_true-unreach-call.c 60.3  31.8   1834254336 514   apollon004 .0161  .0165  1024000 .0156  apollon124
eca-rers2012/Problem04_label28_true-unreach-call.c 106    62.6   2535530496 879   apollon152 951       728       10959671296 10100       apollon082
eca-rers2012/Problem04_label29_true-unreach-call_false-termination.c 105    65.4   2684870656 966   apollon087 950       760       10869579776 12100       apollon106
eca-rers2012/Problem04_label30_true-unreach-call.c 104    60.3   2795438080 879   apollon058 950       755       10952495104 12100       apollon088
eca-rers2012/Problem04_label33_true-unreach-call.c 106    63.9   3000496128 1040   apollon112 951       709       9984737280 9270       apollon115
eca-rers2012/Problem04_label34_true-unreach-call.c 105    61.8   2683064320 934   apollon011 951       723       10949337088 9080       apollon040
eca-rers2012/Problem04_label37_true-unreach-call_false-termination.c 104    62.1   2950426624 924   apollon020 950       742       10960089088 10700       apollon031
eca-rers2012/Problem04_label41_true-unreach-call.c 79.0  43.1   2163376128 705   apollon142 .00925 .0123  749568 .0168  apollon057
eca-rers2012/Problem04_label42_true-unreach-call_false-termination.c 78.6  43.6   2038984704 703   apollon164 .0131  .0131  835584 .00720 apollon133
eca-rers2012/Problem04_label43_true-unreach-call_false-termination.c 103    69.0   3766673408 937   apollon045 933       742       10951544832 10100       apollon162
eca-rers2012/Problem04_label44_true-unreach-call_false-termination.c 106    67.7   3022307328 906   apollon032 951       709       10693210112 9500       apollon074
eca-rers2012/Problem04_label46_true-unreach-call_false-termination.c 104    63.4   2796511232 926   apollon082 951       709       10499764224 10600       apollon010
eca-rers2012/Problem04_label47_true-unreach-call.c 106    66.0   2668498944 960   apollon019 951       720       9624883200 10300       apollon015
eca-rers2012/Problem04_label48_true-unreach-call.c 104    62.4   2687680512 878   apollon119 950       759       9629544448 11000       apollon101
eca-rers2012/Problem04_label49_true-unreach-call_false-termination.c 106    63.6   2783956992 861   apollon146 951       732       9332776960 10300       apollon119
eca-rers2012/Problem04_label50_true-unreach-call.c 105    64.3   2582802432 1160   apollon057 950       714       10719465472 11400       apollon030
eca-rers2012/Problem04_label51_true-unreach-call.c 106    63.7   3066126336 874   apollon116 951       714       10421411840 9850       apollon076
eca-rers2012/Problem04_label53_true-unreach-call.c 105    65.1   2400821248 1000   apollon167 950       762       9666699264 11700       apollon108
eca-rers2012/Problem04_label54_true-unreach-call.c 107    65.0   2781978624 1080   apollon140 951       730       9858654208 11300       apollon033
eca-rers2012/Problem04_label56_true-unreach-call.c 105    64.4   2259431424 913   apollon093 951       727       10958856192 9420       apollon099
eca-rers2012/Problem04_label57_true-unreach-call_false-termination.c 105    62.1   2586861568 848   apollon025 951       704       10621587456 10200       apollon017
eca-rers2012/Problem04_label59_true-unreach-call.c 104    62.3   2157547520 873   apollon108 950       739       10481491968 8280       apollon063
eca-rers2012/Problem05_label02_true-unreach-call.c