Tool CMCReduction CMC Reduction 1.0 CPAchecker 1.6.1-svn 25656
Limits timelimit: 200 s, memlimit: 15000 MB, CPU core limit: 8 timelimit: 900 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 10:53:03 CET
Run set congen.predicate native-cmc.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 -config config/components/valueAnalysisItp-use-cmc-condition.properties -setprop AssumptionAutomaton.cpa.automaton.inputFile=../../conditions/predicate.${inputfile_name}.files/output/AssumptionAutomaton.txt.gz
../../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 953    887     1661112320 8200   apollon018
array-examples/sorting_bubblesort_false-unreach-call2_ground.i 2.48 1.06  266936320 22.8 apollon077 922    880     1236750336 7100   apollon098
array-examples/sorting_bubblesort_false-unreach-call_ground.i 2.58 1.06  271364096 23.2 apollon146 920    881     1132855296 11700   apollon140
array-examples/sorting_selectionsort_false-unreach-call2_ground.i 2.52 1.05  273469440 25.9 apollon021 929    887     1429590016 9940   apollon085
array-examples/sorting_selectionsort_false-unreach-call_ground.i 2.51 1.10  269996032 22.5 apollon070 927    882     1528594432 7020   apollon040
array-examples/standard_allDiff2_false-unreach-call_ground.i 2.55 1.02  272674816 20.6 apollon100 927    883     1404977152 6790   apollon067
array-examples/standard_copy1_false-unreach-call_ground.i 2.47 1.04  270622720 21.5 apollon012 911    875     898568192 6090   apollon022
array-examples/standard_copy2_false-unreach-call_ground.i 2.63 1.07  266743808 24.9 apollon044 907    872     784703488 7530   apollon155
array-examples/standard_copy3_false-unreach-call_ground.i 2.54 1.10  266362880 21.5 apollon157 910    874     942006272 9390   apollon010
array-examples/standard_copy4_false-unreach-call_ground.i 2.57 1.05  271839232 23.3 apollon112 911    874     975056896 8280   apollon072
array-examples/standard_copy5_false-unreach-call_ground.i 2.76 1.09  293363712 23.0 apollon025 910    875     910336000 8500   apollon082
array-examples/standard_copy6_false-unreach-call_ground.i 2.47 1.03  267083776 22.3 apollon120 910    877     947265536 7030   apollon054
array-examples/standard_copy7_false-unreach-call_ground.i 2.52 1.07  271093760 25.7 apollon057 911    875     950042624 6880   apollon040
array-examples/standard_copy8_false-unreach-call_ground.i 2.74 1.13  269246464 23.6 apollon015 911    874     974102528 7380   apollon162
array-examples/standard_copy9_false-unreach-call_ground.i 2.61 1.06  270417920 21.9 apollon045 910    873     959127552 6760   apollon086
array-examples/standard_copyInitSum2_false-unreach-call_ground.i 2.44 1.04  267759616 21.5 apollon085 911    874     907735040 6160   apollon157
array-examples/standard_init1_false-unreach-call_ground.i 2.45 1.04  267902976 20.9 apollon157 910    874     976306176 7360   apollon040
array-examples/standard_init2_false-unreach-call_ground.i 2.38 1.03  268550144 22.5 apollon067 910    872     876417024 6900   apollon159
array-examples/standard_init3_false-unreach-call_ground.i 2.47 1.02  271982592 25.8 apollon021 911    873     928141312 6970   apollon086
array-examples/standard_init4_false-unreach-call_ground.i 2.61 1.08  274423808 20.3 apollon089 910    871     944635904 7060   apollon009
array-examples/standard_init5_false-unreach-call_ground.i 2.56 1.04  266813440 22.3 apollon118 910    873     954302464 10600   apollon088
array-examples/standard_init6_false-unreach-call_ground.i 2.57 1.05  267812864 23.4 apollon152 909    872     884588544 7520   apollon127
array-examples/standard_init7_false-unreach-call_ground.i 2.48 1.04  269676544 25.6 apollon021 910    871     880590848 6480   apollon145
array-examples/standard_init8_false-unreach-call_ground.i 2.50 1.06  268128256 21.8 apollon018 912    873     951259136 6560   apollon158
array-examples/standard_init9_false-unreach-call_ground.i 2.54 1.05  269008896 26.2 apollon039 910    873     898207744 9920   apollon142
array-examples/standard_minInArray_false-unreach-call_ground.i 2.61 1.02  267812864 23.6 apollon015 920    877     1117040640 6080   apollon037
array-examples/standard_partition_false-unreach-call_ground.i 2.51 1.06  268705792 21.6 apollon082 918    877     1114583040 8590   apollon129
array-examples/standard_running_false-unreach-call.i 2.64 1.07  264208384 21.3 apollon053 920    882     1082241024 7940   apollon105
array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i 2.60 1.06  272642048 20.8 apollon151 954    888     1641062400 8770   apollon087
array-examples/data_structures_set_multi_proc_true-unreach-call_ground.i 2.47 1.06  266264576 20.2 apollon117 953    887     1673809920 8870   apollon109
array-examples/relax_true-unreach-call.i 6.31 2.05  316092416 54.9 apollon007 901    893     2806034432 6130   apollon082
array-examples/sanfoundry_02_true-unreach-call_ground.i 2.54 1.05  269328384 20.6 apollon099 921    883     1220120576 11600   apollon088
array-examples/sanfoundry_10_true-unreach-call_ground.i 101    73.5   3730948096 1140   apollon018 914    875     1022963712 8670   apollon043
array-examples/sanfoundry_24_true-unreach-call_true-termination.i 2.46 1.05  268558336 22.1 apollon084 3.04 1.19  264810496 26.9 apollon166
array-examples/sanfoundry_27_true-unreach-call_ground.i 2.48 1.06  265367552 21.5 apollon072 918    881     1055965184 8110   apollon110
array-examples/sanfoundry_43_true-unreach-call_ground.i 2.53 1.05  266354688 25.7 apollon160 2.11 .904 212172800 18.6 apollon135
array-examples/sorting_bubblesort_true-unreach-call_ground.i 2.53 1.08  269271040 21.5 apollon157 920    884     1089912832 8530   apollon013
array-examples/sorting_selectionsort_true-unreach-call_ground.i 2.50 1.04  269221888 21.7 apollon026 922    881     1339703296 7210   apollon096
array-examples/standard_compareModified_true-unreach-call_ground.i 2.37 1.05  269266944 21.6 apollon087 920    879     1120067584 10400   apollon132
array-examples/standard_compare_true-unreach-call_ground.i 2.49 1.04  266219520 21.2 apollon002 920    879     1122742272 9540   apollon030
array-examples/standard_copy1_true-unreach-call_ground.i 2.46 1.06  264511488 21.5 apollon072 912    873     1007726592 8030   apollon129
array-examples/standard_copy2_true-unreach-call_ground.i 2.68 1.09  274247680 19.3 apollon158 910    875     917614592 8930   apollon099
array-examples/standard_copy3_true-unreach-call_ground.i 2.48 1.05  263942144 23.7 apollon161 911    873     916389888 5770   apollon139
array-examples/standard_copy4_true-unreach-call_ground.i 2.50 1.07  270069760 22.7 apollon093 912    875     918958080 8250   apollon109
array-examples/standard_copy5_true-unreach-call_ground.i 2.54 1.08  270479360 23.8 apollon020 910    874     937091072 8270   apollon083
array-examples/standard_copy6_true-unreach-call_ground.i 2.49 1.05  264380416 24.6 apollon081 910    877     930029568 10600   apollon148
array-examples/standard_copy7_true-unreach-call_ground.i 2.72 1.06  294158336 23.9 apollon120 911    872     959041536 8890   apollon165
array-examples/standard_copy8_true-unreach-call_ground.i 2.65 1.05  291987456 24.5 apollon077 910    874     956039168 7790   apollon053
array-examples/standard_copy9_true-unreach-call_ground.i 2.56 1.06  270852096 22.6 apollon084 910    874     916037632 6530   apollon074
array-examples/standard_copyInitSum2_true-unreach-call_ground.i 2.56 1.04  271286272 21.4 apollon045 911    874     878067712 6670   apollon041
array-examples/standard_copyInitSum3_true-unreach-call_ground.i 2.48 1.06  270450688 21.2 apollon082 909    874     914587648 6690   apollon124
array-examples/standard_copyInitSum_true-unreach-call_ground.i 2.49 1.05  270446592 24.7 apollon106 910    873     920166400 8320   apollon069
array-examples/standard_copyInit_true-unreach-call_ground.i 2.46 1.09  266682368 24.3 apollon030 910    872     986206208 6320   apollon115
array-examples/standard_find_true-unreach-call_ground.i 2.48 1.05  268480512 25.1 apollon057 910    875     950292480 8850   apollon046
array-examples/standard_init1_true-unreach-call_ground.i 2.48 1.03  265166848 21.4 apollon095 909    873     911708160 8090   apollon020
array-examples/standard_init2_true-unreach-call_ground.i 2.59 1.06  271470592 19.1 apollon092 909    874     967102464 11300   apollon130
array-examples/standard_init3_true-unreach-call_ground.i 2.48 1.02  269938688 21.0 apollon058 909    873     883896320 6760   apollon012
array-examples/standard_init4_true-unreach-call_ground.i 2.47 1.04  266502144 20.6 apollon127 910    872     918515712 7130   apollon092
array-examples/standard_init5_true-unreach-call_ground.i 2.58 1.07  267907072 22.5 apollon142 909    872     886886400 6260   apollon101
array-examples/standard_init6_true-unreach-call_ground.i 2.44 1.05  267489280 20.0 apollon098 911    872     940511232 7260   apollon133
array-examples/standard_init7_true-unreach-call_ground.i 2.51 1.08  267612160 19.6 apollon151 910    873     959909888 7640   apollon043
array-examples/standard_init8_true-unreach-call_ground.i 2.49 1.04  270630912 23.9 apollon047 911    872     939130880 7090   apollon164
array-examples/standard_init9_true-unreach-call_ground.i 2.51 1.04  266563584 20.3 apollon043 910    874     977096704 7100   apollon143
array-examples/standard_maxInArray_true-unreach-call_ground.i 2.48 1.03  268001280 22.4 apollon168 920    880     1100881920 7380   apollon163
array-examples/standard_minInArray_true-unreach-call_ground.i 2.65 1.04  269180928 21.1 apollon042 919    878     1109430272 6120   apollon123
array-examples/standard_palindrome_true-unreach-call_ground.i 2.54 1.05  273584128 19.8 apollon151 911    877     944877568 12100   apollon044
array-examples/standard_partial_init_true-unreach-call_ground.i 2.67 1.11  270290944 25.1 apollon106 919    878     1098539008 6790   apollon002
array-examples/standard_partition_original_true-unreach-call_ground.i 2.73 1.17  270344192 22.4 apollon168 920    880     1108996096 8180   apollon028
array-examples/standard_partition_true-unreach-call_ground.i 2.50 1.05  271712256 21.1 apollon053 921    878     1118924800 7970   apollon036
array-examples/standard_password_true-unreach-call_ground.i 2.42 1.03  269025280 22.2 apollon038 919    879     1116200960 8930   apollon114
array-examples/standard_reverse_true-unreach-call_ground.i 2.55 1.06  269656064 24.2 apollon161 909    875     910462976 6160   apollon153
array-examples/standard_running_true-unreach-call.i 2.48 1.05  271241216 20.7 apollon133 922    880     1148928000 6920   apollon050
array-examples/standard_sentinel_true-unreach-call_true-termination.i 2.45 1.03  268648448 22.5 apollon032 2.87 1.16  261103616 24.4 apollon089
array-examples/standard_seq_init_true-unreach-call_ground.i 2.47 1.06  270946304 21.4 apollon042 910    874     915644416 6360   apollon002
array-examples/standard_strcmp_true-unreach-call_ground.i 2.66 1.05  295841792 24.4 apollon076 916    875     1073020928 10400   apollon021
array-examples/standard_strcpy_original_true-unreach-call.i 2.57 1.07  264450048 23.6 apollon081 909    874     906268672 7980   apollon050
array-examples/standard_strcpy_true-unreach-call_ground.i 2.48 1.02  269180928 23.9 apollon007 911    874     926068736 8260   apollon081
array-examples/standard_two_index_01_true-unreach-call.i 2.47 1.03  271372288 24.1 apollon014 363    125     1455779840 2500   apollon114
array-examples/standard_two_index_02_true-unreach-call.i 2.55 1.06  266633216 22.9 apollon167 912    875     928247808 6630   apollon015
array-examples/standard_two_index_03_true-unreach-call.i 2.57 1.06  266534912 20.9 apollon025 290    81.3   1464487936 1540   apollon143
array-examples/standard_two_index_04_true-unreach-call.i 2.53 1.04  268087296 25.4 apollon057 910    874     934035456 10000   apollon006
array-examples/standard_two_index_05_true-unreach-call.i 2.46 1.02  268779520 20.8 apollon058 911    873     910356480 6530   apollon089
array-examples/standard_two_index_06_true-unreach-call.i 2.44 1.04  266018816 20.2 apollon123 913    200     1535496192 4790   apollon072
array-examples/standard_two_index_07_true-unreach-call.i 2.48 1.04  269139968 22.3 apollon142 911    876     929140736 7710   apollon053
array-examples/standard_two_index_08_true-unreach-call.i 2.51 1.04  269012992 22.7 apollon032 910    876     915939328 7460   apollon043
array-examples/standard_two_index_09_true-unreach-call.i 2.50 1.05  267792384 21.2 apollon157 911    874     930623488 7580   apollon154
array-examples/standard_vararg_true-unreach-call_ground_true-termination.i 2.47 1.03  272302080 21.7 apollon004 911    283     8449454080 5890   apollon050
array-examples/standard_vector_difference_true-unreach-call_ground.i 2.44 1.03  263282688 22.9 apollon015 912    874     964648960 6940   apollon037
array-industry-pattern/array_assert_loop_dep_false-unreach-call_true-termination.i 2.58 1.05  270540800 25.9 apollon039 909    874     910639104 7960   apollon075
array-industry-pattern/array_of_struct_loop_dep_false-unreach-call.i 101    72.2   3686895616 1160   apollon141 908    873     895668224 7600   apollon031
array-industry-pattern/array_ptr_single_elem_init_false-unreach-call_true-termination.i 2.56 1.10  267821056 21.8 apollon011 928    885     1472954368 9780   apollon107
array-industry-pattern/array_range_init_false-unreach-call.i 2.48 1.04  265711616 22.6 apollon168 918    880     1113804800 7460   apollon011
array-industry-pattern/array_single_elem_init_false-unreach-call_true-termination.i 2.49 1.04  269717504 24.6 apollon016 922    884     1478230016 8250   apollon041
array-industry-pattern/check_removal_from_set_after_insertion_false-unreach-call.i 101    71.3   3689865216 1060   apollon025 915    878     1158180864 7110   apollon093
array-industry-pattern/array_monotonic_true-unreach-call_true-termination.i 2.51 1.08  267730944 21.8 apollon121 922    879     1180319744 9260   apollon030
array-industry-pattern/array_mul_init_true-unreach-call_true-termination.i 2.46 1.04  265089024 21.1 apollon157 909    874     939827200 7120   apollon023
array-industry-pattern/array_of_struct_break_true-unreach-call.i 101    73.8   3707666432 1050   apollon100 910    875     951648256 6750   apollon096
array-industry-pattern/array_of_struct_ptr_cond_init_true-unreach-call.i 101    77.5   3476049920 1180   apollon085 918    875     1188073472 6940   apollon103
array-industry-pattern/array_of_struct_ptr_flag_init_true-unreach-call.i 101    74.5   3696898048 1040   apollon128 911    874     1001668608 6610   apollon042
array-industry-pattern/array_of_struct_ptr_monotonic_true-unreach-call.i 101    78.2   3546808320 1180   apollon011 917    875     1132974080 6000   apollon158
array-industry-pattern/array_of_struct_ptr_mul_init_true-unreach-call.i 101    72.5   3717758976 1100   apollon156 910    878     1274765312 8910   apollon091
array-industry-pattern/array_of_struct_single_elem_init_true-unreach-call.i 101    73.4   3714146304 975   apollon054 923    880     1168371712 6570   apollon015
array-industry-pattern/array_ptr_partial_init_true-unreach-call.i 101    74.9   3696025600 1100   apollon012 909    872     879132672 7990   apollon129
array-industry-pattern/array_ptr_single_elem_init_true-unreach-call.i 101    75.4   3036516352 1050   apollon128 919    878     1307426816 8340   apollon117
array-industry-pattern/array_shadowinit_true-unreach-call_true-termination.i 101    76.0   3866857472 1240   apollon140 2.11 .925 210677760 20.9 apollon059
reducercommutativity/rangesum05_false-unreach-call_true-termination.i 7.69 2.37  413929472 56.8 apollon043 2.17 .899 214679552 21.6 apollon093
reducercommutativity/rangesum10_false-unreach-call_true-termination.i 12.5  3.47  480616448 107   apollon125 2.11 .905 210616320 20.7 apollon007
reducercommutativity/rangesum20_false-unreach-call.i 31.2  7.98  1050562560 247   apollon018 2.09 .905 208650240 19.5 apollon038
reducercommutativity/rangesum40_false-unreach-call.i 59.3  28.1   2526670848 580   apollon152 2.13 .897 212803584 20.5 apollon101
reducercommutativity/rangesum60_false-unreach-call.i 101    62.0   3709898752 998   apollon086 27.8  14.9   839712768 295   apollon152
reducercommutativity/rangesum_false-unreach-call_true-termination.i 8.10 2.38  463929344 73.3 apollon057 2.13 .894 209367040 21.0 apollon140
reducercommutativity/avg05_true-unreach-call_true-termination.i 101    71.8   4092358656 1120   apollon020 901    897     773775360 12100   apollon019
reducercommutativity/avg10_true-unreach-call_true-termination.i 101    67.7   4059254784 878   apollon158 901    897     1163345920 12300   apollon059
reducercommutativity/avg20_true-unreach-call.i 101    61.5   2672193536 894   apollon009 901    895     1894428672 9830   apollon003
reducercommutativity/avg40_true-unreach-call.i 65.4  32.7   2740805632 684   apollon030 2.12 .894 213938176 19.2 apollon082
reducercommutativity/avg60_true-unreach-call.i 101    70.1   3723132928 1230   apollon007 26.6  16.7   908406784 273   apollon049
reducercommutativity/avg_true-unreach-call_true-termination.i 101    70.6   4207607808 984   apollon040 3.15 1.22  267202560 26.3 apollon165
reducercommutativity/max05_true-unreach-call_true-termination.i 101    82.2   1129910272 796   apollon101 8.59 2.46  446099456 69.1 apollon075
reducercommutativity/max10_true-unreach-call_true-termination.i 102    81.1   1571536896 1150   apollon085 23.6  8.67  639807488 210   apollon072
reducercommutativity/max20_true-unreach-call.i 102    59.7   3975331840 1160   apollon160 59.0  38.0   766300160 580   apollon143
reducercommutativity/max40_true-unreach-call.i 65.6  33.5   2954465280 555   apollon158 2.12 .897 206925824 19.4 apollon162
reducercommutativity/max60_true-unreach-call.i 101    70.4   3720253440 1150   apollon052 2.21 .944 210030592 21.8 apollon122
reducercommutativity/max_true-unreach-call_true-termination.i 101    78.1   3196026880 1100   apollon162 4.70 1.62  277315584 36.3 apollon098
reducercommutativity/sep05_true-unreach-call_true-termination.i 101    73.4   3047858176 879   apollon076 84.9  41.5   1054113792 787   apollon105
reducercommutativity/sep10_true-unreach-call.i 101    79.6   2550169600 1090   apollon045 919    878     1231138816 7780   apollon155
reducercommutativity/sep20_true-unreach-call.i 101    38.3   3863842816 771   apollon005 920    878     1222438912 7150   apollon113
reducercommutativity/sep40_true-unreach-call.i 68.5  36.4   3073941504 653   apollon107 2.09 .903 208228352 19.6 apollon032
reducercommutativity/sep60_true-unreach-call.i 101    68.4   3695423488 1020   apollon002 952    497     1464832000 8190   apollon006
reducercommutativity/sep_true-unreach-call_true-termination.i 101    70.5   3884142592 1100   apollon018 922    881     1259515904 7670   apollon133
reducercommutativity/sum05_true-unreach-call_true-termination.i 101    80.1   3679051776 1130   apollon086 5.15 2.56  291840000 49.5 apollon132
reducercommutativity/sum10_true-unreach-call_true-termination.i 101    70.7   4019585024 1120   apollon071 901    897     1084768256 10800   apollon020
reducercommutativity/sum20_true-unreach-call.i 101    62.1   2938724352 817   apollon092 901    895     1829941248 8180   apollon054
reducercommutativity/sum40_true-unreach-call.i 62.7  31.0   2867589120 603   apollon120 2.11 .902 214663168 21.7 apollon014
reducercommutativity/sum60_true-unreach-call.i 101    71.0   3711438848 1110   apollon162 23.7  14.1   858058752 251   apollon049
reducercommutativity/sum_true-unreach-call_true-termination.i 101    76.1   3641413632 1170   apollon038 3.91 1.42  276262912 32.8 apollon023
array-tiling/mlceu_false-unreach-call.i 3.63 1.50  282714112 31.9 apollon084 902    828     1402609664 11700   apollon070
array-tiling/skippedu_false-unreach-call.i 3.63 1.44  288727040 31.1 apollon026 2.14 .920 211435520 21.8 apollon163
array-tiling/mbpr2_true-unreach-call.i 101    67.8   3743059968 1150   apollon081 902    785     1529294848 13000   apollon080
array-tiling/mbpr3_true-unreach-call.i 101    65.5   3797508096 1140   apollon007 902    793     1578496000 11700   apollon141
array-tiling/mbpr4_true-unreach-call.i 101    68.1   3704430592 958   apollon151 902    786     1535582208 10200   apollon089
array-tiling/mbpr5_true-unreach-call.i 101    72.4   3754287104 1260   apollon014 2.16 .925 208408576 22.2 apollon059
array-tiling/nr2_true-unreach-call.i 101    69.6   3708661760 1020   apollon042 902    785     1539182592 10300   apollon116
array-tiling/nr3_true-unreach-call.i 101    72.0   3858083840 1190   apollon167 902    792     1601548288 10900   apollon110
array-tiling/nr4_true-unreach-call.i 101    69.1   3838636032 1040   apollon034 903    794     1488908288 11000   apollon107
array-tiling/nr5_true-unreach-call.i 101    64.7   3552428032 894   apollon158 903    793     1385746432 10700   apollon137
array-tiling/pnr2_true-unreach-call.i 101    70.1   3902996480 1130   apollon146 902    826     1384833024 12300   apollon010
array-tiling/pnr3_true-unreach-call.i 101    61.8   4284567552 1070   apollon091 3.23 1.33  277475328 27.5 apollon120
array-tiling/pnr4_true-unreach-call.i 101    65.1   4213096448 1030   apollon146 3.05 1.18  260313088 30.6 apollon111
array-tiling/pnr5_true-unreach-call.i 105    58.6   4311687168 965   apollon082 3.37 1.29  274608128 29.1 apollon005
array-tiling/poly1_true-unreach-call.i 101    75.9   2480005120 992   apollon079 902    829     1255010304 10800   apollon035
array-tiling/poly2_true-unreach-call.i 101    70.5   3057106944 999   apollon002 902    825     1386438656 12400   apollon164
array-tiling/pr2_true-unreach-call.i 101    71.5   3607281664 1170   apollon164 902    792     1511546880 11200   apollon120
array-tiling/pr3_true-unreach-call.i 101    76.4   3561402368 1100   apollon079 902    794     1525960704 10600   apollon042
array-tiling/pr4_true-unreach-call.i 101    72.8   3111403520 1090   apollon078 903    789     1545887744 10300   apollon002
array-tiling/pr5_true-unreach-call.i 101    76.9   3330641920 1260   apollon019 902    795     1526837248 10800   apollon103
array-tiling/revcpyswp2_true-unreach-call.i 101    75.9   3419410432 1100   apollon086 4.72 1.73  293896192 42.2 apollon052
array-tiling/rew_true-unreach-call.i 102    68.0   3862368256 1050   apollon058 3.07 1.19  264069120 27.8 apollon065
array-tiling/rewnif_true-unreach-call.i 101    71.0   3374350336 1250   apollon044 3.94 1.46  273215488 36.6 apollon020
array-tiling/rewnifrev2_true-unreach-call.i 101    74.7   2781618176 1150   apollon095 3.32 1.39  288079872 30.6 apollon038
array-tiling/rewnifrev_true-unreach-call.i 101    76.7   2974679040 1130   apollon119 3.10 1.24  263544832 29.1 apollon093
array-tiling/rewrev_true-unreach-call.i 101    77.2   2405355520 1040   apollon151 4.01 1.52  280961024 34.0 apollon002
array-tiling/skipped_true-unreach-call.i 101    66.6   4037947392 1020   apollon032 3.88 1.40  270639104 34.5 apollon145
array-tiling/tcpy_true-unreach-call.i 101    71.5   3962458112 1260   apollon161 3.28 1.27  267677696 30.5 apollon069
array-programs/copysome1_false-unreach-call.i 2.65 1.04  291065856 24.0 apollon077 911    874     1022828544 8640   apollon147
array-programs/copysome2_false-unreach-call.i 2.45 1.04  270254080 20.2 apollon099 911    873     1010913280 8040   apollon047
array-programs/copysome1_true-unreach-call.i 2.71 1.05  290291712 23.2 apollon034 911    876     968491008 10900   apollon140
array-programs/copysome2_true-unreach-call.i 2.42 1.05  268816384 20.6 apollon127 911    875     984780800 6740   apollon029
bitvector/byte_add_false-unreach-call_true-no-overflow_true-termination.i 5.26 1.83  301273088 44.9 apollon165 101    85.2   819052544 1160   apollon147
bitvector/sum02_false-unreach-call_true-no-overflow.i 3.52 1.47  280109056 30.1 apollon082 901    898     449232896 10600   apollon086
bitvector/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i 6.03 2.09  319234048 51.7 apollon091 23.7  13.3   616652800 256   apollon068
bitvector/byte_add_2_true-unreach-call_true-no-overflow_true-termination.i 5.73 1.89  317952000 52.7 apollon126 108    93.1   638300160 1220   apollon004
bitvector/gcd_1_true-unreach-call_true-no-overflow.i 4.10 1.51  304193536 33.4 apollon079 3.67 1.42  291160064 34.5 apollon152
bitvector/gcd_2_true-unreach-call_true-no-overflow.i 3.46 1.37  273186816 31.5 apollon112 2.10 .907 215252992 20.5 apollon077
bitvector/gcd_3_true-unreach-call_true-no-overflow.i 3.62 1.47  288235520 31.8 apollon076 3.30 1.32  272445440 30.9 apollon027
bitvector/gcd_4_true-unreach-call_true-no-overflow_true-termination.i 5.16 1.76  313200640 44.6 apollon156 3.64 1.24  269475840 29.3 apollon045
bitvector/interleave_bits_true-unreach-call_true-no-overflow.i 7.33 2.28  452468736 62.2 apollon126 4.33 1.54  279851008 36.8 apollon074
bitvector/jain_1_true-unreach-call_true-no-overflow_false-termination.i 2.84 1.19  277032960 29.1 apollon021 2.03 .882 208912384 17.7 apollon075
bitvector/jain_2_true-unreach-call_true-no-overflow_false-termination.i 3.21 1.20  293670912 27.2 apollon022 2.07 .884 211759104 17.7 apollon089
bitvector/jain_4_true-unreach-call_true-no-overflow_false-termination.i 3.11 1.25  274595840 27.2 apollon005 2.02 .884 211554304 21.3 apollon008
bitvector/jain_5_true-unreach-call_true-no-overflow.i 101    80.7   2778210304 1220   apollon052 923    882     1572515840 8420   apollon094
bitvector/jain_6_true-unreach-call_true-no-overflow_false-termination.i 3.31 1.25  294891520 25.6 apollon054 2.15 .905 208232448 16.6 apollon054
bitvector/jain_7_true-unreach-call_true-no-overflow_false-termination.i 2.84 1.18  274214912 26.8 apollon022 2.03 .875 213573632 18.8 apollon090
bitvector/modulus_true-unreach-call_true-no-overflow.i 3.14 1.31  277803008 27.8 apollon052 901    897     635854848 8630   apollon128
bitvector/num_conversion_1_true-unreach-call_true-no-overflow.i 4.90 1.77  305999872 42.5 apollon167 3.28 1.23  265003008 29.3 apollon145
bitvector/num_conversion_2_true-unreach-call_true-no-overflow.i 4.91 1.77  302903296 42.7 apollon032 4.30 1.47  280285184 37.4 apollon132
bitvector/parity_true-unreach-call_true-no-overflow.i 3.31 1.31  286834688 31.4 apollon014 901    898     470999040 10900   apollon166
bitvector/sum02_true-unreach-call_true-no-overflow.i 3.50 1.45  281563136 34.3 apollon108 901    897     468975616 9150   apollon136
bitvector/s3_clnt_1_false-unreach-call_true-no-overflow.BV.c.cil.c 10.6  3.08  467173376 93.6 apollon106 13.2  3.55  554549248 114   apollon146
bitvector/s3_clnt_2_false-unreach-call_true-no-overflow.BV.c.cil.c 18.5  5.01  617021440 160   apollon168 20.2  6.08  601964544 166   apollon050
bitvector/s3_clnt_3_false-unreach-call_true-no-overflow.BV.c.cil.c 7.04 2.21  388128768 58.5 apollon120 9.60 2.58  440438784 68.1 apollon029
bitvector/s3_clnt_1_true-unreach-call_true-no-overflow.BV.c.cil.c 14.2  4.01  500178944 106   apollon121 12.6  3.61  545529856 108   apollon105
bitvector/s3_clnt_2_true-unreach-call_true-no-overflow.BV.c.cil.c 24.2  6.77  833982464 199   apollon102 15.1  4.94  537001984 130   apollon110
bitvector/s3_clnt_3_true-unreach-call_true-no-overflow.BV.c.cil.c 101    77.4   3071184896 984   apollon100 8.50 2.33  421171200 78.1 apollon126
bitvector/s3_srvr_1_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 101    75.1   2657251328 1170   apollon070 18.4  5.46  578306048 156   apollon148
bitvector/s3_srvr_1_true-unreach-call_true-no-overflow.BV.c.cil.c 31.1  8.45  977502208 229   apollon029 2.73 .996 213856256 23.5 apollon150
bitvector/s3_srvr_2_alt_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c 41.9  18.5   1371332608 409   apollon020 2.75 1.02  210530304 27.4 apollon125
bitvector/s3_srvr_2_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c 42.8  18.2   1405607936 402   apollon168 2.82 1.03  212492288 26.1 apollon122
bitvector/s3_srvr_3_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 19.0  5.09  630145024 168   apollon030 2.86 1.03  213856256 28.1 apollon057
bitvector/s3_srvr_3_true-unreach-call_true-no-overflow.BV.c.cil.c 62.0  33.8   2281033728 700   apollon161 2.77 1.02  212000768 23.2 apollon075
bitvector/soft_float_1_true-unreach-call_true-no-overflow_true-termination.c.cil.c 4.80 1.77  296083456 38.6 apollon100 19.4  4.97  624918528 159   apollon113
bitvector/soft_float_2_true-unreach-call_true-no-overflow_true-termination.c.cil.c 7.53 2.34  446177280 63.2 apollon156 10.3  2.82  464662528 77.9 apollon066
bitvector/soft_float_3_true-unreach-call_true-no-overflow_true-termination.c.cil.c 7.39 2.33  444780544 63.0 apollon091 15.0  4.03  581492736 121   apollon153
bitvector/soft_float_4_true-unreach-call_true-no-overflow_true-termination.c.cil.c 4.21 1.68  290402304 37.0 apollon076 9.84 2.72  458543104 81.2 apollon130
bitvector/soft_float_5_true-unreach-call_true-no-overflow_true-termination.c.cil.c 7.36 2.33  447238144 64.9 apollon077 9.98 2.66  450936832 75.7 apollon066
bitvector-regression/implicitfloatconversion_false-unreach-call_true-termination.c 3.23 1.23  296452096 32.6 apollon039 2.19 .876 235134976 20.8 apollon091
bitvector-regression/implicitunsignedconversion_false-unreach-call_true-termination.c 2.45 1.06  268267520 24.7 apollon016 2.08 .883 211337216 18.8 apollon085
bitvector-regression/integerpromotion_false-unreach-call_true-termination.c 2.79 1.23  275443712 27.6 apollon148 2.04 .891 206237696 19.4 apollon112
bitvector-regression/recHanoi03_false-unreach-call_true-termination.c 2.53 1.10  267939840 22.0 apollon011 2.72 1.06  252190720 27.2 apollon111
bitvector-regression/signextension2_false-unreach-call_true-termination.c 2.60 1.09  270381056 25.6 apollon016 2.05 .873 211673088 19.0 apollon105
bitvector-regression/signextension_false-unreach-call_true-termination.c 2.55 1.09  272834560 26.6 apollon021 2.12 .874 212418560 18.3 apollon121
bitvector-regression/implicitunsignedconversion_true-unreach-call_true-termination.c 2.94 1.28  276406272 26.1 apollon121 2.59 1.03  250228736 24.0 apollon132
bitvector-regression/integerpromotion_true-unreach-call_true-termination.c 2.80 1.24  278286336 24.4 apollon127 2.67 1.07  257142784 25.4 apollon108
bitvector-regression/signextension2_true-unreach-call_true-termination.c 3.10 1.31  285671424 30.7 apollon126 2.89 1.09  258506752 24.1 apollon032
bitvector-regression/signextension_true-unreach-call_true-termination.c 3.12 1.31  275988480 31.3 apollon111 2.73 1.08  253915136 22.7 apollon127
bitvector-loops/diamond_false-unreach-call2.i 6.60 2.03  440332288 58.7 apollon081 2.18 .888 214519808 18.7 apollon129
bitvector-loops/overflow_false-unreach-call1.i 2.82 1.12  290009088 25.1 apollon052 1.94 .901 208216064 16.6 apollon029
bitvector-loops/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call_true-termination.i 2.88 1.25  270974976 25.6 apollon012 2.18 .972 208662528 18.2 apollon066
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c 10.5  2.91  467931136 92.6 apollon160 3.81 1.21  216043520 30.1 apollon142
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c 7.84 2.35  439459840 64.1 apollon156 3.08 1.10  211558400 26.0 apollon037
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c 8.41 2.46  459096064 66.6 apollon095 3.20 1.10  212619264 26.9 apollon018
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c 6.15 2.02  326635520 49.7 apollon025 2.85 1.02  211464192 26.6 apollon022
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 8.90 2.66  453758976 68.8 apollon157 3.57 1.15  215650304 29.1 apollon012
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 7.15 2.11  430432256 59.3 apollon112 3.14 1.07  215810048 23.5 apollon158
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c 5.99 1.94  332750848 50.8 apollon070 3.08 1.08  216104960 29.2 apollon039
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c 7.36 2.23  406474752 63.9 apollon022 3.38 1.12  214556672 26.8 apollon035
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 3.63 1.40  280764416 35.6 apollon126 2.51 .956 212897792 20.9 apollon083
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c 4.60 1.58  281321472 39.3 apollon146 3.00 1.06  213663744 29.9 apollon021
ssh-simplified/s3_clnt_1_false-unreach-call_true-termination.cil.c 9.16 2.75  455581696 75.9 apollon051 2.75 1.00  213876736 23.9 apollon147
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c 8.52 2.48  452268032 66.7 apollon018 2.79 1.08  211918848 25.0 apollon051
ssh-simplified/s3_clnt_3_false-unreach-call_true-termination.cil.c 9.85 2.84  453873664 91.4 apollon021 2.78 1.03  215109632 26.4 apollon014
ssh-simplified/s3_clnt_4_false-unreach-call_true-termination.cil.c 8.96 2.59  457687040 76.4 apollon047 2.69 .976 210604032 22.7 apollon079
ssh-simplified/s3_srvr_10_false-unreach-call_false-termination.cil.c 4.35 1.63  290156544 37.2 apollon026 2.72 .998 217415680 23.7 apollon084
ssh-simplified/s3_srvr_11_false-unreach-call_false-termination.cil.c 49.7  19.2   1668919296 479   apollon125 594    534     1247297536 5800   apollon120
ssh-simplified/s3_srvr_12_false-unreach-call_false-termination.cil.c 60.7  34.1   1772802048 619   apollon009 124    95.4   871190528 1140   apollon104
ssh-simplified/s3_srvr_13_false-unreach-call_false-termination.cil.c 9.78 2.78  483901440 73.5 apollon053 2.77 1.00  210821120 23.7 apollon045
ssh-simplified/s3_srvr_14_false-unreach-call_false-termination.cil.c 7.83 2.35  419213312 58.0 apollon098 2.80 1.02  215965696 24.8 apollon142
ssh-simplified/s3_srvr_1_false-unreach-call_false-termination.cil.c 6.74 2.12  351375360 60.0 apollon030 2.75 1.00  214872064 23.4 apollon049
ssh-simplified/s3_srvr_2_false-unreach-call_false-termination.cil.c 6.40 2.06  341139456 52.4 apollon042 2.72 1.02  215576576 23.0 apollon058
ssh-simplified/s3_srvr_6_false-unreach-call_false-termination.cil.c 4.09 1.57  288546816 34.7 apollon070 2.86 1.02  214331392 25.3 apollon024
ssh-simplified/s3_clnt_1_true-unreach-call_true-termination.cil.c 16.2  4.63  621895680 131   apollon127 2.63 .990 211410944 22.9 apollon018
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c 12.4  3.48  488386560 107   apollon111 2.65 1.02  214876160 25.8 apollon059
ssh-simplified/s3_clnt_3_true-unreach-call_true-termination.cil.c 9.73 2.76  496414720 88.7 apollon111 2.73 .987 212766720 26.6 apollon160
ssh-simplified/s3_clnt_4_true-unreach-call_true-termination.cil.c 18.1  4.97  612642816 134   apollon017 2.67 1.01  213512192 22.6 apollon062
ssh-simplified/s3_srvr_1_true-unreach-call_false-termination.cil.c 41.7  18.1   1533001728 370   apollon133 2.70 1.02  209289216 23.5 apollon142
ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c 7.31 2.23  444444672 61.2 apollon167 2.14 .923 205799424 22.7 apollon008
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c 3.82 1.48  276803584 34.5 apollon022 2.30 .897 209739776 22.6 apollon081
ssh-simplified/s3_srvr_2_true-unreach-call_false-termination.cil.c 24.1  6.61  852000768 170   apollon100 2.80 1.02  214192128 26.3 apollon094
ssh-simplified/s3_srvr_3_true-unreach-call_false-termination.cil.c 28.2  7.36  799481856 199   apollon117 2.71 1.00  210644992 22.4 apollon003
ssh-simplified/s3_srvr_4_true-unreach-call_false-termination.cil.c 31.2  9.52  1082322944 248   apollon011 2.73 1.01  214085632 22.9 apollon109
ssh-simplified/s3_srvr_6_true-unreach-call_false-termination.cil.c 101    76.2   2603286528 1050   apollon167 171    129     1626562560 1790   apollon147
ssh-simplified/s3_srvr_7_true-unreach-call_false-termination.cil.c 47.6  24.3   1600352256 450   apollon038 2.71 1.02  213061632 25.7 apollon027
ssh-simplified/s3_srvr_8_true-unreach-call_false-termination.cil.c 41.6  14.9   1357250560 335   apollon045 2.78 1.02  214847488 27.4 apollon106
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c 3.89 1.55  290488320 35.3 apollon118 2.34 .968 211648512 21.3 apollon076
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c 3.69 1.47  286932992 32.3 apollon085 2.29 .914 214716416 19.1 apollon137
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c 3.20 1.26  274280448 28.7 apollon004 2.25 .907 214499328 18.9 apollon050
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c 3.29 1.30  272015360 27.6 apollon051 2.25 .907 211480576 20.6 apollon038
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c 3.20 1.26  276197376 29.6 apollon118 2.25 .941 210464768 22.2 apollon007
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c 3.28 1.31  276688896 29.5 apollon004 2.24 .928 211197952 21.3 apollon022
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c 3.31 1.34  275124224 28.9 apollon034 2.33 .955 210452480 22.9 apollon020
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c 3.36 1.30  277331968 28.7 apollon026 2.31 .934 212070400 19.6 apollon029
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c 2.82 1.18  271339520 25.1 apollon078 2.17 .893 214544384 22.5 apollon125
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c 2.83 1.18  267870208 24.6 apollon085 2.27 .964 208932864 20.3 apollon067
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c 2.93 1.19  274169856 23.8 apollon043 2.21 .890 216412160 21.1 apollon010
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c 3.00 1.21  271302656 28.6 apollon020 2.19 .907 208932864 22.8 apollon057
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c 3.07 1.21  271044608 26.9 apollon087 2.31 .939 209993728 19.1 apollon134
ntdrivers/cdaudio_false-unreach-call.i.cil.c 101    58.2   3856003072 984   apollon107 75.7  48.6   959676416 762   apollon109
ntdrivers/diskperf_false-unreach-call.i.cil.c 11.5  3.08  487526400 99.5 apollon161 5.22 1.45  323293184 39.7 apollon115
ntdrivers/floppy_false-unreach-call.i.cil.c 27.8  7.02  827916288 214   apollon051 6.64 1.72  373469184 49.2 apollon103
ntdrivers/kbfiltr_false-unreach-call.i.cil.c 9.18 2.59  472186880 71.0 apollon026 4.61 1.40  301264896 32.3 apollon089
ntdrivers/parport_false-unreach-call.i.cil.c 41.1  12.3   1233416192 337   apollon002 7.65 1.87  417009664 59.8 apollon070
ntdrivers/cdaudio_true-unreach-call.i.cil.c 13.2  3.52  498647040 108   apollon161 6.73 1.67  388272128 54.8 apollon056
ntdrivers/diskperf_true-unreach-call.i.cil.c 10.4  2.82  465846272 85.1 apollon119 5.39 1.54  325652480 43.9 apollon006
ntdrivers/floppy2_true-unreach-call_true-termination.i.cil.c 36.7  9.30  1080754176 265   apollon051 12.5  3.04  547868672 104   apollon028
ntdrivers/floppy_true-unreach-call_true-valid-memsafety.i.cil.c 22.8  5.87  808267776 158   apollon098 6.61 1.77  332845056 52.4 apollon166
ntdrivers/parport_true-unreach-call.i.cil.c 48.1  18.0   1745305600 449   apollon167 6.83 1.78  400699392 52.4 apollon090
ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c 9.13 2.57  449695744 67.3 apollon058 3.24 1.13  211841024 26.7 apollon035
ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c 9.14 2.59  452468736 80.0 apollon161 3.10 1.12  212111360 30.4 apollon008
ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c 8.63 2.46  425029632 62.6 apollon158 3.42 1.27  214585344 29.2 apollon141
ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c 8.65 2.52  455716864 68.1 apollon038 3.46 1.19  261885952 32.6 apollon056
ssh/s3_srvr.blast.01_false-unreach-call.i.cil.c 8.04 2.33  395956224 61.8 apollon089 3.17 1.09  212389888 26.0 apollon003
ssh/s3_srvr.blast.02_false-unreach-call.i.cil.c 8.22 2.40  409186304 65.0 apollon053 3.16 1.10  212918272 28.6 apollon048
ssh/s3_srvr.blast.03_false-unreach-call.i.cil.c 7.72 2.25  406921216 61.1 apollon058 3.34 1.19  214728704 30.1 apollon164
ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c 8.04 2.33  421318656 61.0 apollon002 3.26 1.12  214847488 28.9 apollon048
ssh/s3_srvr.blast.06_false-unreach-call.i.cil.c 5.85 1.89  315543552 51.3 apollon019 3.32 1.14  214503424 27.8 apollon150
ssh/s3_srvr.blast.07_false-unreach-call.i.cil.c 9.70 2.76  460361728 80.3 apollon067 3.19 1.10  213225472 26.2 apollon139
ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c 5.83 1.92  310112256 46.1 apollon058 3.46 1.16  255434752 32.3 apollon069
ssh/s3_srvr.blast.09_false-unreach-call.i.cil.c 10.9  3.09  443912192 87.7 apollon022 3.23 1.13  213823488 24.9 apollon089
ssh/s3_srvr.blast.10_false-unreach-call.i.cil.c 5.66 1.87  313110528 48.9 apollon168 3.28 1.13  213401600 29.5 apollon132
ssh/s3_srvr.blast.11_false-unreach-call.i.cil.c 10.3  2.89  481853440 76.8 apollon054 3.34 1.14  253288448 28.1 apollon011
ssh/s3_srvr.blast.12_false-unreach-call.i.cil.c 5.76 1.87  309747712 44.6 apollon123 3.25 1.13  220651520 26.2 apollon123
ssh/s3_srvr.blast.13_false-unreach-call.i.cil.c 10.5  2.93  447406080 82.4 apollon053 3.24 1.15  212746240 28.5 apollon120
ssh/s3_srvr.blast.14_false-unreach-call.i.cil.c 5.94 1.95  320987136 56.0 apollon125 3.39 1.14  214372352 26.2 apollon154
ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c 5.86 1.86  309665792 50.0 apollon101 3.20 1.13  211853312 26.7 apollon127
ssh/s3_srvr.blast.16_false-unreach-call.i.cil.c 6.07 1.92  310468608 47.0 apollon002 3.22 1.09  214323200 30.0 apollon161
ssh/s3_clnt.blast.01_true-unreach-call.i.cil.c 9.88 2.74  463360000 80.9 apollon070 3.38 1.21  212832256 29.7 apollon148
ssh/s3_clnt.blast.02_true-unreach-call.i.cil.c 9.08 2.61  445390848 70.6 apollon082 3.22 1.14  211976192 31.2 apollon160
ssh/s3_clnt.blast.03_true-unreach-call.i.cil.c 10.4  2.96  451772416 84.8 apollon101 3.21 1.15  216494080 30.5 apollon016
ssh/s3_clnt.blast.04_true-unreach-call.i.cil.c 10.8  2.98  448491520 87.1 apollon076 3.14 1.15  213131264 27.4 apollon102
ssh/s3_srvr.blast.01_true-unreach-call.i.cil.c 10.3  2.98  454479872 73.2 apollon054 3.38 1.15  256634880 31.4 apollon088
ssh/s3_srvr.blast.02_true-unreach-call.i.cil.c 8.51 2.44  474112000 70.8 apollon141 3.19 1.15  212389888 30.8 apollon008
ssh/s3_srvr.blast.06_true-unreach-call.i.cil.c 78.6  40.0   2531569664 760   apollon125 3.51 1.21  256118784 30.0 apollon078
ssh/s3_srvr.blast.07_true-unreach-call.i.cil.c 12.5  3.42  493748224 96.9 apollon051 3.19 1.11  211795968 27.5 apollon084
ssh/s3_srvr.blast.08_true-unreach-call.i.cil.c 16.2  4.48  638615552 145   apollon030 3.47 1.19  260743168 31.8 apollon028
ssh/s3_srvr.blast.09_true-unreach-call.i.cil.c 12.2  3.42  467406848 99.3 apollon101 3.55 1.22  254308352 27.5 apollon137
ssh/s3_srvr.blast.10_true-unreach-call.i.cil.c 11.5  3.15  471052288 88.4 apollon042 3.27 1.12  219906048 27.2 apollon079
ssh/s3_srvr.blast.11_true-unreach-call.i.cil.c 11.7  3.23  469540864 102   apollon044 3.63 1.25  215490560 30.3 apollon093
ssh/s3_srvr.blast.12_true-unreach-call.i.cil.c 20.4  5.99  646975488 176   apollon140 3.48 1.18  257232896 29.2 apollon032
ssh/s3_srvr.blast.13_true-unreach-call.i.cil.c 10.5  2.99  446189568 94.1 apollon126 3.25 1.11  218587136 28.0 apollon135
ssh/s3_srvr.blast.14_true-unreach-call.i.cil.c 32.8  12.1   1119997952 300   apollon030 3.43 1.18  255295488 27.6 apollon058
ssh/s3_srvr.blast.15_true-unreach-call.i.cil.c 19.9  5.63  705064960 172   apollon140 3.46 1.18  255815680 27.8 apollon002
ssh/s3_srvr.blast.16_true-unreach-call.i.cil.c 36.6  16.4   1510846464 293   apollon158 3.22 1.11  214851584 27.2 apollon075
eca-rers2012/Problem01_label15_false-unreach-call_false-termination.c 19.2  5.31  774098944 155   apollon109 3.55 1.12  218013696 31.1 apollon077
eca-rers2012/Problem01_label20_false-unreach-call_false-termination.c 26.3  7.53  1136979968 215   apollon009 3.52 1.17  212582400 30.7 apollon113
eca-rers2012/Problem01_label21_false-unreach-call_false-termination.c 20.4  5.38  821071872 181   apollon044 3.48 1.15  215412736 28.1 apollon038
eca-rers2012/Problem01_label32_false-unreach-call_false-termination.c 29.0  8.58  1047896064 242   apollon020 3.52 1.19  217083904 32.7 apollon163
eca-rers2012/Problem01_label33_false-unreach-call_false-termination.c 22.0  6.19  848171008 171   apollon060 3.46 1.15  217767936 31.0 apollon091
eca-rers2012/Problem01_label35_false-unreach-call_false-termination.c 26.9  9.13  1037926400 207   apollon058 3.57 1.16  220409856 31.3 apollon077
eca-rers2012/Problem01_label37_false-unreach-call_false-termination.c 22.1  5.89  846315520 170   apollon085 3.65 1.17  214134784 29.1 apollon013
eca-rers2012/Problem01_label38_false-unreach-call_false-termination.c 21.1  5.64  812269568 168   apollon047 3.51 1.12  214458368 33.0 apollon122
eca-rers2012/Problem01_label44_false-unreach-call_false-termination.c 16.0  4.32  600502272 144   apollon125 3.86 1.16  242081792 30.6 apollon153
eca-rers2012/Problem01_label47_false-unreach-call_false-termination.c 43.2  21.7   2095919104 429   apollon038 3.51 1.11  214659072 30.6 apollon091
eca-rers2012/Problem01_label50_false-unreach-call_false-termination.c 22.0  5.95  801144832 186   apollon044 3.60 1.17  215678976 29.6 apollon049
eca-rers2012/Problem01_label56_false-unreach-call_false-termination.c 23.4  6.12  823189504 187   apollon126 3.56 1.14  218738688 29.2 apollon150
eca-rers2012/Problem01_label57_false-unreach-call_false-termination.c 43.7  23.2   2018070528 430   apollon032 3.62 1.21  215117824 30.8 apollon102
eca-rers2012/Problem02_label13_false-unreach-call_false-termination.c 13.1  3.55  471687168 100   apollon071 3.43 1.12  215240704 30.6 apollon024
eca-rers2012/Problem02_label16_false-unreach-call_false-termination.c 11.0  3.11  477917184 90.4 apollon087 3.55 1.12  216489984 30.9 apollon078
eca-rers2012/Problem02_label43_false-unreach-call_false-termination.c 12.5  3.39  489721856 105   apollon032 3.59 1.16  217550848 32.8 apollon044
eca-rers2012/Problem02_label44_false-unreach-call_false-termination.c 12.2  3.35  474251264 108   apollon020 3.37 1.11  215846912 26.8 apollon100
eca-rers2012/Problem02_label45_false-unreach-call_false-termination.c 21.7  5.85  700645376 186   apollon126 3.55 1.14  215298048 26.9 apollon043
eca-rers2012/Problem02_label50_false-unreach-call_false-termination.c 18.7  5.20  633774080 160   apollon141 3.36 1.11  214106112 25.8 apollon041
eca-rers2012/Problem02_label59_false-unreach-call_false-termination.c 16.7  4.41  586911744 139   apollon047 3.48 1.15  217280512 30.5 apollon102
eca-rers2012/Problem03_label09_false-unreach-call.c 81.6  50.0   2407669760 935   apollon140 5.55 1.57  311873536 44.9 apollon010
eca-rers2012/Problem03_label13_false-unreach-call.c 49.2  24.6   1945714688 515   apollon126 5.30 1.45  313716736 41.9 apollon119
eca-rers2012/Problem03_label26_false-unreach-call.c 36.4  12.5   1239662592 331   apollon081 5.76 1.57  315293696 46.8 apollon164
eca-rers2012/Problem03_label27_false-unreach-call.c 46.1  17.4   1691025408 394   apollon118 5.68 1.55  314445824 47.4 apollon138
eca-rers2012/Problem03_label28_false-unreach-call.c 46.7  17.1   1700794368 428   apollon155 5.61 1.50  334512128 43.0 apollon061
eca-rers2012/Problem03_label31_false-unreach-call.c 50.6  20.2   1823731712 463   apollon167 5.51 1.53  314621952 41.2 apollon079
eca-rers2012/Problem03_label35_false-unreach-call.c 54.9  25.5   2063114240 525   apollon071 5.39 1.53  306552832 43.1 apollon084
eca-rers2012/Problem03_label37_false-unreach-call.c 46.3  20.4   1868697600 413   apollon011 5.22 1.37  346763264 38.8 apollon011
eca-rers2012/Problem03_label39_false-unreach-call.c 68.4  34.0   1953198080 631   apollon142 5.43 1.46  313151488 44.0 apollon096
eca-rers2012/Problem03_label43_false-unreach-call.c 51.9  21.5   1993134080 413   apollon089 5.28 1.45  314843136 37.9 apollon089
eca-rers2012/Problem03_label45_false-unreach-call.c 58.5  27.8   2186940416 495   apollon128 5.58 1.64  295882752 47.7 apollon108
eca-rers2012/Problem03_label50_false-unreach-call.c 78.4  50.1   1836380160 817   apollon135 5.22 1.45  338034688 39.1 apollon139
eca-rers2012/Problem03_label52_false-unreach-call.c 102    77.9   2815733760 1040   apollon151 208    143     2105593856 2410   apollon027
eca-rers2012/Problem04_label04_false-unreach-call.c 106    64.2   2799005696 853   apollon100 958    230     1677672448 5530   apollon096
eca-rers2012/Problem04_label06_false-unreach-call.c 105    62.9   2442240000 799   apollon151 950    225     1671622656 5230   apollon061
eca-rers2012/Problem04_label09_false-unreach-call.c 105    65.0   3029127168 943   apollon108 952    222     1654689792 5630   apollon164
eca-rers2012/Problem04_label11_false-unreach-call_false-termination.c 106    66.4   2867843072 867   apollon127 957    232     1688006656 5620   apollon084
eca-rers2012/Problem04_label12_false-unreach-call_false-termination.c 105    66.3   2891554816 913   apollon082 954    233     1693884416 5550   apollon084
eca-rers2012/Problem04_label13_false-unreach-call.c 104    65.0   2967457792 930   apollon108 958    228     1697665024 5170   apollon133
eca-rers2012/Problem04_label14_false-unreach-call_false-termination.c 106    61.5   2798776320 817   apollon029 953    221     1659887616 5320   apollon095
eca-rers2012/Problem04_label15_false-unreach-call.c 106    63.2   2703863808 885   apollon032 952    222     1651679232 5900   apollon161
eca-rers2012/Problem04_label17_false-unreach-call_false-termination.c 106    65.2   2876592128 881   apollon146 950    226     1672204288 5110   apollon073
eca-rers2012/Problem04_label18_false-unreach-call.c 105    62.8   2570268672 922   apollon168 951    223     1662783488 5340   apollon055
eca-rers2012/Problem04_label19_false-unreach-call.c 104    63.0   2145894400 854   apollon121 952    222     1664286720 6130   apollon039
eca-rers2012/Problem04_label26_false-unreach-call.c 106    64.2   2630680576 935   apollon095 952    221     1657630720 5160   apollon045
eca-rers2012/Problem04_label27_false-unreach-call_false-termination.c 105    65.8   2343235584 1050   apollon016 957    229     1681248256 5440   apollon032
eca-rers2012/Problem04_label31_false-unreach-call.c 106    66.4   2871259136 880   apollon117 957    233     1704861696 6030   apollon014
eca-rers2012/Problem04_label32_false-unreach-call.c 104    62.4   2482671616 964   apollon014 952    222     1652109312 5000   apollon013
eca-rers2012/Problem04_label35_false-unreach-call.c 105    64.3   2723340288 1120   apollon021 957    233     1694257152 5210   apollon002
eca-rers2012/Problem04_label36_false-unreach-call_false-termination.c 106    63.6   2360848384 887   apollon128 957    235     1688944640 6130   apollon044
eca-rers2012/Problem04_label38_false-unreach-call.c 106    64.8   2884759552 934   apollon079 951    227     1681661952 5170   apollon109
eca-rers2012/Problem04_label39_false-unreach-call.c 105    61.5   2437586944 881   apollon146 955    220     1652596736 4880   apollon123
eca-rers2012/Problem04_label40_false-unreach-call_false-termination.c 106    65.4   2728771584 1030   apollon014 956    234     1695178752 5460   apollon070
eca-rers2012/Problem04_label45_false-unreach-call.c 106    63.7   2421309440 880   apollon086 953    219     1661759488 5860   apollon088
eca-rers2012/Problem04_label52_false-unreach-call.c 104    64.8   2975277056 935   apollon164 953    221     1660448768 5280   apollon121
eca-rers2012/Problem04_label55_false-unreach-call.c 105    65.2   2656747520 955   apollon165 951    224     1657204736 4980   apollon116
eca-rers2012/Problem04_label58_false-unreach-call_false-termination.c 106    63.8   2865848320 875   apollon152 957    229     1676279808 4980   apollon089
eca-rers2012/Problem05_label00_false-unreach-call.c 109    65.6   2675154944 972   apollon038 852    163     1496420352 5260   apollon021
eca-rers2012/Problem05_label01_false-unreach-call.c 104    68.5   2580602880 891   apollon015 875    173     1562574848 4350   apollon089
eca-rers2012/Problem05_label11_false-unreach-call.c 103    61.6   2678022144 860   apollon128 836    162     1493139456 4700   apollon007
eca-rers2012/Problem05_label13_false-unreach-call.c 107    66.3   2762219520 895   apollon076 749    160     1568329728 4230   apollon005
eca-rers2012/Problem05_label15_false-unreach-call.c 110    61.9   3064414208 909   apollon119 864    166     1504534528 3900   apollon063
eca-rers2012/Problem05_label18_false-unreach-call.c 111    64.8   3053572096 945   apollon168 851    164     1501671424 4310   apollon023
eca-rers2012/Problem05_label24_false-unreach-call.c 110    67.7   2533466112 875   apollon098 919    192     1749606400 4970   apollon017
eca-rers2012/Problem05_label26_false-unreach-call.c 104    67.9   2060161024 1150   apollon021 756    158     1557172224 4090   apollon147
eca-rers2012/Problem05_label30_false-unreach-call.c 103    61.5   2814627840 911   apollon106 828    163     1502433280 4460   apollon132
eca-rers2012/Problem05_label32_false-unreach-call.c 108    64.6   2605826048 977   apollon019 957    179     1503428608 5340   apollon126
eca-rers2012/Problem05_label33_false-unreach-call.c 111    62.9   2602913792 890   apollon093 856    167     1499000832 5020   apollon036
eca-rers2012/Problem05_label36_false-unreach-call.c 108    65.1   2977853440 903   apollon018 851    164     1492844544 4480   apollon156
eca-rers2012/Problem05_label37_false-unreach-call.c 103    65.3   2481061888 853   apollon042 955    178     1487568896 5330   apollon016
eca-rers2012/Problem05_label38_false-unreach-call.c 103    71.4   2732982272 873   apollon121 951    182     1592635392 4850   apollon012
eca-rers2012/Problem05_label39_false-unreach-call.c 104    58.2   2727407616 830   apollon093 957    178     1497432064 4390   apollon151
eca-rers2012/Problem05_label40_false-unreach-call.c 104    65.2   2683604992 847   apollon151 895    169     1501507584 4520   apollon002
eca-rers2012/Problem05_label41_false-unreach-call.c 103    57.5   2862415872 957   apollon081 957    178     1491943424 5380   apollon160
eca-rers2012/Problem05_label44_false-unreach-call.c 103    58.7   2627387392 831   apollon025 956    192     1583501312 5240   apollon097
eca-rers2012/Problem05_label47_false-unreach-call.c 113    65.9   3175817216 868   apollon029 816    159     1496752128 4600   apollon069
eca-rers2012/Problem05_label48_false-unreach-call.c 111    64.1   2790735872 951   apollon004 954    182     1580965888 5220   apollon155
eca-rers2012/Problem05_label51_false-unreach-call.c 103    62.2   2473623552 986   apollon125 877    178     1554939904 5010   apollon067
eca-rers2012/Problem05_label55_false-unreach-call.c 104    57.8   2264559616 871   apollon004 848    164     1499668480 4380   apollon018
eca-rers2012/Problem05_label57_false-unreach-call.c 103    57.4   2603585536 916   apollon079 957    179     1504890880 4830   apollon085
eca-rers2012/Problem05_label58_false-unreach-call.c 111    63.3   2659594240 880   apollon053 861    167     1500975104 5100   apollon033
eca-rers2012/Problem06_label00_false-unreach-call.c 103    57.1   2952146944 829   apollon135 957    464     2883506176 7380   apollon103
eca-rers2012/Problem06_label01_false-unreach-call.c 103    59.7   2354462720 853   apollon152 699    175     1730588672 4220   apollon091
eca-rers2012/Problem06_label02_false-unreach-call.c 108    59.0   2451890176 916   apollon038 711    178     1729380352 3730   apollon117
eca-rers2012/Problem06_label04_false-unreach-call.c 103    56.5   2786918400 891   apollon034 948    303     2237493248 6630   apollon030
eca-rers2012/Problem06_label05_false-unreach-call.c 104    54.0   2906554368 784   apollon054 957    487     2964312064 8430   apollon047
eca-rers2012/Problem06_label09_false-unreach-call.c 103    57.7   2490544128 827   apollon015 957    375     2491998208 6400   apollon079
eca-rers2012/Problem06_label10_false-unreach-call.c 102    54.9   2424188928 845   apollon025 955    425     2788855808 6990   apollon144
eca-rers2012/Problem06_label11_false-unreach-call.c 105    54.0   2914156544 814   apollon120 957    408     2781609984 8250   apollon160
eca-rers2012/Problem06_label12_false-unreach-call.c 103    57.7   2582433792 1030   apollon167 955    468     3347025920 7310   apollon115
eca-rers2012/Problem06_label15_false-unreach-call.c 107    57.1   2395238400 1020   apollon014 955    213     1691865088 5910   apollon163
eca-rers2012/Problem06_label20_false-unreach-call.c 103    60.9   2678034432 824   apollon092 759    186     1710542848 4530   apollon070
eca-rers2012/Problem06_label21_false-unreach-call.c 104    52.4   2506428416 798   apollon152 955    211     1698721792 4880   apollon137
eca-rers2012/Problem06_label24_false-unreach-call.c 103    58.1   2741145600 909   apollon087 953    216     1698521088 5880   apollon122
eca-rers2012/Problem06_label27_false-unreach-call.c 103    58.5   2712629248 921   apollon072 956    211     1723260928 4910   apollon100
eca-rers2012/Problem06_label29_false-unreach-call.c 107    61.0   2793439232 839   apollon060 954    213     1703456768 4710   apollon041
eca-rers2012/Problem06_label33_false-unreach-call.c 104    58.3   2218074112 990   apollon106 955    211     1687818240 4860   apollon117
eca-rers2012/Problem06_label36_false-unreach-call.c 103    57.8   2626785280 980   apollon081 645    169     1715585024 4190   apollon030
eca-rers2012/Problem06_label37_false-unreach-call.c 103    57.5   2487402496 888   apollon109 956    210     1703415808 5470   apollon065
eca-rers2012/Problem06_label38_false-unreach-call.c 107    57.2   2394734592 909   apollon109 806    194     1717211136 5030   apollon164
eca-rers2012/Problem06_label44_false-unreach-call.c 103    55.1   2350030848 834   apollon070 956    211     1697751040 5680   apollon080
eca-rers2012/Problem06_label47_false-unreach-call.c 103    52.7   2400665600 830   apollon058 956    210     1697480704 5770   apollon081
eca-rers2012/Problem06_label48_false-unreach-call.c 105    57.8   2625384448 898   apollon121 953    215     1696415744 5210   apollon105
eca-rers2012/Problem06_label56_false-unreach-call.c 103    56.3   2394062848 776   apollon002 954    211     1704607744 4780   apollon092
eca-rers2012/Problem06_label58_false-unreach-call.c 108    57.4   2758926336 977   apollon030 956    204     1625190400 5730   apollon106
eca-rers2012/Problem06_label59_false-unreach-call.c 103    56.4   2517798912 865   apollon086 958    212     1822658560 5660   apollon059
eca-rers2012/Problem07_label03_false-unreach-call.c 149    33.4   6278975488 791   apollon002 957    181     1612308480 4880   apollon061
eca-rers2012/Problem07_label05_false-unreach-call.c 145    33.3   6970871808 865   apollon022 957    181     1600929792 5030   apollon032
eca-rers2012/Problem07_label06_false-unreach-call.c 162    35.0   6616494080 811   apollon029 956    182     1605246976 5010   apollon156
eca-rers2012/Problem07_label07_false-unreach-call.c 102    25.0   4376100864 580   apollon086 51.7  19.6   1248935936 366   apollon043
eca-rers2012/Problem07_label09_false-unreach-call.c 102    24.8   4639858688 617   apollon077 952    134     1447890944 3750   apollon134
eca-rers2012/Problem07_label11_false-unreach-call.c 136    31.3   6010540032 694   apollon040 956    181     1606176768 5540   apollon014
eca-rers2012/Problem07_label15_false-unreach-call.c 103    32.2   4809199616 632   apollon128 519    83.6   1560473600 2540   apollon164
eca-rers2012/Problem07_label18_false-unreach-call.c 104    27.0   5493460992 659   apollon167 957    162     1602621440 4450   apollon099
eca-rers2012/Problem07_label19_false-unreach-call.c 139    32.2   6471180288 774   apollon107 956    182     1595768832 5030   apollon032
eca-rers2012/Problem07_label20_false-unreach-call.c 104    28.1   4405948416 661   apollon022 950    166     1611042816 5240   apollon126
eca-rers2012/Problem07_label23_false-unreach-call.c 134    31.7   6455271424 795   apollon084 957    181     1604030464 4960   apollon090
eca-rers2012/Problem07_label30_false-unreach-call.c 103    26.0   5240274944 676   apollon126 957    155     1606770688 4380   apollon151
eca-rers2012/Problem07_label31_false-unreach-call.c 103    28.0   4408725504 582   apollon123 957    166     1603723264 5210   apollon059
eca-rers2012/Problem07_label35_false-unreach-call.c 111    28.7   6086082560 675   apollon165 950    166     1625665536 4860   apollon095
eca-rers2012/Problem07_label36_false-unreach-call.c 115    28.8   5255831552 666   apollon109 956    181     1610469376 4920   apollon045
eca-rers2012/Problem07_label37_false-unreach-call.c 145    33.2   6802366464 729   apollon158 957    181     1608687616 4630   apollon123
eca-rers2012/Problem07_label39_false-unreach-call.c 103    25.5   4619317248 571   apollon060 957    151     1599049728 4740   apollon097
eca-rers2012/Problem07_label40_false-unreach-call.c 137    32.0   6521126912 768   apollon107 957    181     1603211264 5570   apollon163
eca-rers2012/Problem07_label42_false-unreach-call.c 138    33.0   6389141504 749   apollon060 950    180     1609838592 5520   apollon108
eca-rers2012/Problem07_label44_false-unreach-call.c 104    28.0   4423475200 569   apollon158 951    163     1567678464 4580   apollon035
eca-rers2012/Problem07_label46_false-unreach-call.c 157    35.0   6264422400 807   apollon128 957    182     1601699840 4710   apollon050
eca-rers2012/Problem07_label47_false-unreach-call.c 131    31.8   6220234752 730   apollon157 957    182     1615962112 5190   apollon146
eca-rers2012/Problem07_label48_false-unreach-call.c 103    32.3   4821311488 623   apollon089 671    104     1560190976 3190   apollon167
eca-rers2012/Problem07_label58_false-unreach-call.c 133    31.3   6010277888 830   apollon160 956    181     1592934400 4710   apollon035
eca-rers2012/Problem08_label01_false-unreach-call.c 191    45.0   7717019648 1120   apollon155 334    53.0   1463443456 1690   apollon130
eca-rers2012/Problem08_label02_false-unreach-call.c 192    45.2   7918493696 1060   apollon011 305    49.4   1451433984 1690   apollon021
eca-rers2012/Problem08_label04_false-unreach-call.c 200    46.3   8001560576 1150   apollon093 324    51.4   1466421248 1550   apollon132
eca-rers2012/Problem08_label05_false-unreach-call.c 193    44.2   7907172352 1070   apollon052 314    50.7   1462177792 1400   apollon073
eca-rers2012/Problem08_label06_false-unreach-call.c 187    44.7   7870328832 963   apollon089 363    56.6   1464057856 1670   apollon018
eca-rers2012/Problem08_label07_false-unreach-call.c 179    43.8   7736348672 1110   apollon108 381    59.1   1472598016 1750   apollon165
eca-rers2012/Problem08_label10_false-unreach-call.c 178    42.5   7448522752 1030   apollon052 367    57.2   1468002304 1680   apollon001
eca-rers2012/Problem08_label13_false-unreach-call.c 196    45.2   7514611712 1010   apollon060 329    51.9   1454084096 1550   apollon135
eca-rers2012/Problem08_label15_false-unreach-call.c 208    47.5   8971759616 1150   apollon078 372    58.2   1465659392 1910   apollon036
eca-rers2012/Problem08_label24_false-unreach-call.c 187    44.4   7430647808 1060   apollon005 956    132     1473839104 4550   apollon024
eca-rers2012/Problem08_label25_false-unreach-call.c 185    43.7   7511535616 974   apollon029 327    52.2   1469177856 1660   apollon008
eca-rers2012/Problem08_label26_false-unreach-call.c 181    43.7   7614091264 1090   apollon164 325    52.1   1476579328 1400   apollon134
eca-rers2012/Problem08_label28_false-unreach-call.c 175    42.8   7611682816 933   apollon060 955    133     1470488576 4790   apollon016
eca-rers2012/Problem08_label29_false-unreach-call.c 208    46.4   7141625856 1180   apollon030 304    49.3   1469128704 1310   apollon041
eca-rers2012/Problem08_label34_false-unreach-call.c 180    41.3   5996167168 1120   apollon021 296    48.6   1458774016 1520   apollon068
eca-rers2012/Problem08_label37_false-unreach-call.c 208    45.7   6922010624 1160   apollon020 293    48.2   1466171392 1420   apollon132
eca-rers2012/Problem08_label43_false-unreach-call.c 208    45.9   7993274368 978   apollon040 351    55.5   1475850240 1700   apollon112
eca-rers2012/Problem08_label46_false-unreach-call.c 178    41.5   5764263936 840   apollon151 389    60.0   1466322944 2010   apollon016
eca-rers2012/Problem08_label48_false-unreach-call.c 203    46.9   8385490944 1130   apollon152 363    57.5   1470283776 1940   apollon033
eca-rers2012/Problem08_label49_false-unreach-call.c 176    42.7   7392059392 989   apollon085 321    51.7   1462251520 1660   apollon028
eca-rers2012/Problem08_label50_false-unreach-call.c 184    44.3   7637200896 1020   apollon018 366    56.9   1469329408 1730   apollon119
eca-rers2012/Problem08_label51_false-unreach-call.c 198    45.9   7703785472 1120   apollon118 317    51.5   1471488000 1620   apollon152
eca-rers2012/Problem08_label55_false-unreach-call.c 181    43.4   7236329472 988   apollon053 383    59.9   1462214656 1820   apollon046
eca-rers2012/Problem08_label59_false-unreach-call.c 170    42.5   7663599616 962   apollon150 345    54.2   1467211776 1680   apollon047
eca-rers2012/Problem09_label02_false-unreach-call.c 208    48.0   8649220096 1160   apollon020 837    118     1415147520 3940   apollon164
eca-rers2012/Problem09_label03_false-unreach-call.c 208    48.2   8388448256 1150   apollon126 870    123     1416302592 3970   apollon048
eca-rers2012/Problem09_label06_false-unreach-call.c 208    48.1   8493309952 1010   apollon116 836    120     1411260416 4110   apollon033
eca-rers2012/Problem09_label08_false-unreach-call.c 208    46.5   6332305408 978   apollon086 865    122     1412268032 3810   apollon166
eca-rers2012/Problem09_label10_false-unreach-call.c 208    46.4   5837799424 1080   apollon167 800    115     1414365184 3610   apollon055
eca-rers2012/Problem09_label11_false-unreach-call.c 202    45.9   6344413184 946   apollon058 835    119     1413967872 3940   apollon159
eca-rers2012/Problem09_label15_false-unreach-call.c 200    46.1   6343331840 912   apollon098 825    118     1411338240 3450   apollon139
eca-rers2012/Problem09_label19_false-unreach-call.c 208    48.0   8508559360 1180   apollon007 826    118     1413533696 3940   apollon126
eca-rers2012/Problem09_label20_false-unreach-call.c 208    47.5   7901429760 1120   apollon022 858    121     1412341760 4140   apollon108
eca-rers2012/Problem09_label32_false-unreach-call.c 202    48.2   7967354880 1060   apollon042 809    116     1409261568 3710   apollon071
eca-rers2012/Problem09_label34_false-unreach-call.c 208    48.0   8333127680 1040   apollon086 849    120     1421934592 3720   apollon120
eca-rers2012/Problem09_label35_false-unreach-call.c 208    47.7   8162086912 1060   apollon095 826    118     1410985984 4020   apollon106
eca-rers2012/Problem09_label36_false-unreach-call.c 208    47.1   6265004032 1040   apollon152 845    119     1412755456 3470   apollon092
eca-rers2012/Problem09_label38_false-unreach-call.c 208    47.6   8080125952 1050   apollon135 857    121     1408565248 3780   apollon166
eca-rers2012/Problem09_label41_false-unreach-call.c 208    46.5   6325432320 1030   apollon118 808    116     1416556544 3350   apollon151
eca-rers2012/Problem09_label44_false-unreach-call.c 208    48.6   8295473152 1060   apollon102 844    119     1410015232 3960   apollon140
eca-rers2012/Problem09_label46_false-unreach-call.c 198    45.6   6306041856 900   apollon054 828    119     1408606208 3810   apollon124
eca-rers2012/Problem09_label47_false-unreach-call.c 208    47.9   8608043008 1080   apollon102 955    134     1435709440 4130   apollon026
eca-rers2012/Problem09_label51_false-unreach-call.c 206    48.3   7884484608 1180   apollon019 813    117     1411002368 3640   apollon144
eca-rers2012/Problem09_label53_false-unreach-call.c 208    46.3   6325108736 1020   apollon146 862    122     1410224128 4070   apollon126
eca-rers2012/Problem09_label54_false-unreach-call.c 208    47.5   8056631296 1060   apollon087 841    120     1402822656 4040   apollon030
eca-rers2012/Problem09_label56_false-unreach-call.c 208    48.2   8368185344 1120   apollon091 813    117     1414012928 3720   apollon067
eca-rers2012/Problem09_label57_false-unreach-call.c 208    46.9   6275817472 1010   apollon102 831    119     1404854272 3580   apollon013
eca-rers2012/Problem09_label59_false-unreach-call.c 208    47.4   6060261376 1170   apollon125 808    116     1409953792 4070   apollon125
eca-rers2012/Problem10_label12_false-unreach-call.c 102    79.6   3852480512 1280   apollon077 22.6  6.48  642555904 185   apollon145
eca-rers2012/Problem10_label15_false-unreach-call.c 103    77.9   3865231360 1220   apollon141 23.1  7.46  715251712 176   apollon013
eca-rers2012/Problem10_label24_false-unreach-call.c 104    78.5   3798462464 1220   apollon093 29.3  10.3   796979200 263   apollon048
eca-rers2012/Problem10_label26_false-unreach-call.c 51.9  26.2   2775261184 495   apollon095 3.45 1.11  216788992 29.0 apollon119
eca-rers2012/Problem10_label28_false-unreach-call.c 55.0  28.0   2617856000 492   apollon123 3.41 1.12  216035328 29.0 apollon046
eca-rers2012/Problem10_label29_false-unreach-call.c 111    94.5   2059034624 1570   apollon160 3.69 1.16  216408064 31.5 apollon167
eca-rers2012/Problem10_label41_false-unreach-call.c 22.2  7.64  1027072000 204   apollon067 3.49 1.19  213438464 27.1 apollon129
eca-rers2012/Problem10_label42_false-unreach-call.c 26.3  7.91  1087602688 246   apollon044 3.32 1.11  214413312 27.2 apollon058
eca-rers2012/Problem10_label46_false-unreach-call.c 9.80 2.73  464928768 72.2 apollon116 3.53 1.13  218210304 27.4 apollon013
eca-rers2012/Problem10_label47_false-unreach-call.c 22.6  7.29  998539264 199   apollon052 3.70 1.14  219217920 28.4 apollon026
eca-rers2012/Problem10_label48_false-unreach-call.c 71.6  40.0   3753500672 762   apollon167 3.50 1.14  218120192 25.1 apollon063
eca-rers2012/Problem10_label50_false-unreach-call.c 69.9  39.8   2922524672 682   apollon087 3.42 1.12  220291072 32.1 apollon081
eca-rers2012/Problem10_label55_false-unreach-call.c 23.0  6.36  820457472 198   apollon032 3.52 1.12  215007232 29.6 apollon022
eca-rers2012/Problem10_label57_false-unreach-call.c 101    74.7   3942776832 1080   apollon025 24.8  8.35  735301632 204   apollon119
eca-rers2012/Problem10_label58_false-unreach-call.c 58.5  30.1   2733395968 594   apollon076 3.40 1.12  212774912 28.8 apollon090
eca-rers2012/Problem11_label00_false-unreach-call.c 101    66.5   3878912000 1190   apollon140 34.5  12.0   857296896 337   apollon057
eca-rers2012/Problem11_label08_false-unreach-call.c 79.3  47.0   2922201088 761   apollon053 5.05 1.40  268935168 40.4 apollon091
eca-rers2012/Problem11_label14_false-unreach-call.c 73.4  46.3   3430113280 783   apollon102 4.54 1.26  266436608 32.8 apollon110
eca-rers2012/Problem11_label15_false-unreach-call.c 97.6  62.8   3882602496 1110   apollon091 4.92 1.39  271872000 35.6 apollon013
eca-rers2012/Problem11_label20_false-unreach-call.c 102    70.7   3618484224 1120   apollon120 49.2  21.2   1158090752 419   apollon129
eca-rers2012/Problem11_label29_false-unreach-call.c 78.0  46.2   3808907264 890   apollon161 4.57 1.31  261373952 36.9 apollon148
eca-rers2012/Problem11_label31_false-unreach-call.c 101    70.1   3869175808 1050   apollon109 41.8  17.1   948260864 391   apollon124
eca-rers2012/Problem11_label34_false-unreach-call.c 102    63.6   3862982656 1260   apollon039 41.0  16.4   918179840 403   apollon126
eca-rers2012/Problem11_label36_false-unreach-call.c 79.9  48.0   3521294336 747   apollon099 4.60 1.29  269684736 35.4 apollon035
eca-rers2012/Problem11_label39_false-unreach-call.c 112    90.9   2582716416 1280   apollon107 4.35 1.30  257597440 35.2 apollon103
eca-rers2012/Problem11_label42_false-unreach-call.c 82.9  46.2   3621265408 798   apollon072 4.91 1.33  276754432 41.6 apollon138
eca-rers2012/Problem11_label43_false-unreach-call.c 58.2  29.2   3046948864 541   apollon079 4.54 1.27  265818112 40.1 apollon081
eca-rers2012/Problem11_label49_false-unreach-call.c 61.2  34.6   2752864256 570   apollon117 4.66 1.33  269918208 39.5 apollon138
eca-rers2012/Problem11_label51_false-unreach-call.c 104    67.8   3895652352 1140   apollon009 30.2  10.6   795455488 284   apollon141
eca-rers2012/Problem11_label58_false-unreach-call.c 73.0  43.0   3722469376 692   apollon089 4.68 1.38  259674112 33.7 apollon098
eca-rers2012/Problem12_label00_false-unreach-call.c 104    69.0   3791540224 1020   apollon128 10.2  2.45  518230016 69.8 apollon129
eca-rers2012/Problem12_label03_false-unreach-call.c 103    69.1   3204005888 1020   apollon022 801    167     1530343424 4310   apollon045
eca-rers2012/Problem12_label06_false-unreach-call.c 101    67.2   2938896384 1110   apollon071 22.8  6.57  616013824 199   apollon159
eca-rers2012/Problem12_label07_false-unreach-call.c 103    66.7   3736432640 1150   apollon005 954    200     1585430528 5060   apollon061
eca-rers2012/Problem12_label08_false-unreach-call.c 104    70.7   3579564032 1030   apollon127 888    159     1466900480 4490   apollon131
eca-rers2012/Problem12_label10_false-unreach-call.c 103    69.7   3574857728 1020   apollon099 954    194     1565396992 5620   apollon108
eca-rers2012/Problem12_label13_false-unreach-call.c 105    69.3   3138215936 1110   apollon087 857    166     1514418176 4250   apollon066
eca-rers2012/Problem12_label19_false-unreach-call.c 105    71.2   3643944960 1230   apollon030 957    177     1504370688 4610   apollon066
eca-rers2012/Problem12_label20_false-unreach-call.c 103    67.6   3796029440 974   apollon117 958    158     1456996352 4850   apollon077
eca-rers2012/Problem12_label21_false-unreach-call.c 111    74.3   3795349504 1130   apollon079 10.7  2.63  521854976 69.1 apollon098
eca-rers2012/Problem12_label25_false-unreach-call.c 103    66.9   3822391296 1040   apollon156 957    194     1522139136 5160   apollon010
eca-rers2012/Problem12_label28_false-unreach-call.c 102    65.9   2766606336 1070   apollon142 956    190     1530638336 5110   apollon135
eca-rers2012/Problem12_label30_false-unreach-call.c 102    68.6   3727163392 949   apollon054 955    168     1514622976 4740   apollon067
eca-rers2012/Problem12_label34_false-unreach-call.c 104    74.2   3793956864 1020   apollon098 872    166     1494085632 4810   apollon064
eca-rers2012/Problem12_label35_false-unreach-call.c 105    72.9   3770822656 1020   apollon022 958    201     1565859840 5280   apollon096
eca-rers2012/Problem12_label37_false-unreach-call.c 107    69.9   3538382848 1000   apollon040 956    160     1463779328 4450   apollon045
eca-rers2012/Problem12_label38_false-unreach-call.c 102    68.7   3754262528 1030   apollon121 22.3  6.71  608256000 161   apollon128
eca-rers2012/Problem12_label39_false-unreach-call.c 106    69.8   3851472896 1020   apollon157 599    126     1485737984 3370   apollon114
eca-rers2012/Problem12_label40_false-unreach-call.c 106    69.2   3904139264 1280   apollon021 956    160     1470480384 4510   apollon002
eca-rers2012/Problem12_label42_false-unreach-call.c 101    66.7   3841110016 998   apollon015 854    164     1504075776 4570   apollon156
eca-rers2012/Problem12_label48_false-unreach-call.c 101    66.9   2858913792 1040   apollon072 10.5  2.51  526716928 74.1 apollon104
eca-rers2012/Problem12_label50_false-unreach-call.c 109    75.6   3867303936 1180   apollon141 958    156     1451941888 4370   apollon001
eca-rers2012/Problem12_label51_false-unreach-call.c 109    76.6   4069789696 1010   apollon151 858    163     1500409856 4890   apollon027
eca-rers2012/Problem12_label52_false-unreach-call.c 109    77.2   3925180416 1060   apollon045 866    167     1505656832 4250   apollon099
eca-rers2012/Problem12_label55_false-unreach-call.c 103    74.3   3883065344 1080   apollon026 892    173     1503793152 5100   apollon164
eca-rers2012/Problem13_label04_false-unreach-call.c 103    75.4   3445817344 1070   apollon116 956    201     1573326848 5020   apollon075
eca-rers2012/Problem13_label06_false-unreach-call.c 103    74.4   2894573568 1080   apollon121 957    182     1540943872 5280   apollon067
eca-rers2012/Problem13_label07_false-unreach-call.c 103    75.2   3662053376 1100   apollon072 953    204     1539244032 5280   apollon162
eca-rers2012/Problem13_label11_false-unreach-call.c 104    75.6   3077165056 1370   apollon057 957    182     1511452672 4760   apollon133
eca-rers2012/Problem13_label12_false-unreach-call.c 102    73.3   3113517056 1110   apollon165 10.7  2.54  531935232 77.2 apollon135
eca-rers2012/Problem13_label16_false-unreach-call.c 103    73.7   3537522688 1100   apollon082 957    203     1532235776 4760   apollon035
eca-rers2012/Problem13_label19_false-unreach-call.c 107    76.6   3284111360 1110   apollon135 880    178     1523220480 5190   apollon008
eca-rers2012/Problem13_label21_false-unreach-call.c 105    76.0   3130699776 1130   apollon011 849    165     1510477824 3820   apollon063
eca-rers2012/Problem13_label23_false-unreach-call.c 102    74.5   3521908736 1090   apollon107 850    160     1503387648 4240   apollon086
eca-rers2012/Problem13_label24_false-unreach-call.c 103    74.7   3495542784 1150   apollon015 10.6  2.48  525369344 82.4 apollon033
eca-rers2012/Problem13_label25_false-unreach-call.c 102    74.1   3667419136 963   apollon123 958    165     1479802880 4850   apollon156
eca-rers2012/Problem13_label28_false-unreach-call.c 106    77.4   3165421568 1050   apollon089 866    156     1490874368 4590   apollon091
eca-rers2012/Problem13_label29_false-unreach-call.c 103    73.3   3610001408 1070   apollon119 894    159     1487912960 4490   apollon121
eca-rers2012/Problem13_label30_false-unreach-call.c 103    74.8   3851698176 988   apollon029 812    159     1498669056 3850   apollon098
eca-rers2012/Problem13_label32_false-unreach-call.c 103    76.5   3131809792 1080   apollon116 957    156     1449603072 4730   apollon047
eca-rers2012/Problem13_label35_false-unreach-call.c 102    76.8   2268880896 1150   apollon032 10.8  2.53  532918272 82.8 apollon094
eca-rers2012/Problem13_label36_false-unreach-call.c 102    73.1   3050106880 1330   apollon057 847    156     1504468992 4370   apollon157
eca-rers2012/Problem13_label40_false-unreach-call.c 102    72.8   3755278336 1090   apollon102 10.5  2.57  527818752 72.8 apollon018
eca-rers2012/Problem13_label43_false-unreach-call.c 103    76.9   3208593408 1200   apollon017 957    183     1481801728 4880   apollon045
eca-rers2012/Problem13_label44_false-unreach-call.c 103    76.2   3306442752 1070   apollon060 871    160     1491742720 4840   apollon064
eca-rers2012/Problem13_label45_false-unreach-call.c 104    78.0   3438481408 1100   apollon099 10.9  2.61  570380288 85.9 apollon016
eca-rers2012/Problem13_label48_false-unreach-call.c 102    72.8   3641856000 1040   apollon012 957    158     1476849664 4650   apollon078
eca-rers2012/Problem13_label51_false-unreach-call.c 103    74.9   3261374464 1280   apollon148 957    181     1519550464 4880   apollon119
eca-rers2012/Problem13_label54_false-unreach-call.c 103    74.0   3327623168 1110   apollon004 905    172     1510998016 4340   apollon100
eca-rers2012/Problem13_label58_false-unreach-call.c 101    74.0   3087429632 1020   apollon117 11.0  2.60  537849856 77.5 apollon140
eca-rers2012/Problem14_label02_false-unreach-call_false-termination.c 101    73.5   3692232704 1190   apollon009 45.8  18.0   913338368 458   apollon106
eca-rers2012/Problem14_label08_false-unreach-call_false-termination.c 102    71.7   3787788288 1240   apollon108 39.8  15.1   859410432 350   apollon087
eca-rers2012/Problem14_label10_false-unreach-call_false-termination.c 102    69.5   3814748160 1330   apollon057 18.9  6.33  598355968 150   apollon162
eca-rers2012/Problem14_label11_false-unreach-call_false-termination.c 102    74.1   3712696320 1150   apollon078 49.7  20.4   975523840 434   apollon119
eca-rers2012/Problem14_label12_false-unreach-call_false-termination.c 102    72.7   3725533184 1120   apollon095 43.2  18.2   909107200 366   apollon003
eca-rers2012/Problem14_label13_false-unreach-call_false-termination.c 102    71.1   3905859584 1030   apollon089 36.3  12.6   817909760 356   apollon033
eca-rers2012/Problem14_label14_false-unreach-call_false-termination.c 102    73.3   3723591680 1170   apollon004 46.3  18.2   854441984 385   apollon109
eca-rers2012/Problem14_label18_false-unreach-call_false-termination.c 102    77.2   3956133888 1140   apollon135 35.5  12.0   825765888 342   apollon080
eca-rers2012/Problem14_label22_false-unreach-call_false-termination.c 101    67.2   3828346880 1060   apollon026 41.6  15.8   850481152 363   apollon032
eca-rers2012/Problem14_label27_false-unreach-call_false-termination.c 102    73.2   3807346688 1250   apollon108 42.9  16.2   887742464 361   apollon075
eca-rers2012/Problem14_label28_false-unreach-call_false-termination.c 102    75.3   3834126336 1200   apollon009 39.8  16.0   867610624 359   apollon082
eca-rers2012/Problem14_label29_false-unreach-call_false-termination.c 102    73.9   3712262144 1190   apollon009 44.1  17.7   870780928 410   apollon130
eca-rers2012/Problem14_label31_false-unreach-call_false-termination.c 101    65.5   3761811456 1050   apollon142 37.7  14.2   820248576 332   apollon012
eca-rers2012/Problem14_label34_false-unreach-call_false-termination.c 102    73.6   3759095808 1060   apollon099 38.7  14.4   838868992 366   apollon064
eca-rers2012/Problem14_label37_false-unreach-call_false-termination.c 102    71.2   3756347392 1100   apollon150 40.8  14.9   852602880 398   apollon008
eca-rers2012/Problem14_label39_false-unreach-call_false-termination.c 101    71.6   3774865408 1050   apollon127 50.7  22.6   913035264 492   apollon068
eca-rers2012/Problem14_label40_false-unreach-call_false-termination.c 101    69.0   3827568640 1110   apollon082 42.3  17.2   856395776 353   apollon100
eca-rers2012/Problem14_label41_false-unreach-call_false-termination.c 102    71.3   3829813248 1040   apollon100 45.1  18.3   898912256 418   apollon084
eca-rers2012/Problem14_label43_false-unreach-call_false-termination.c 102    70.2   3969552384 1130   apollon067 36.5  12.4   838893568 281   apollon134
eca-rers2012/Problem14_label44_false-unreach-call_false-termination.c 101    73.7   3694800896 1020   apollon151 44.6  17.9   901439488 423   apollon010
eca-rers2012/Problem14_label52_false-unreach-call_false-termination.c 102    74.4   3726852096 1170   apollon087 39.6  14.6   858296320 325   apollon115
eca-rers2012/Problem14_label54_false-unreach-call_false-termination.c 102    76.7   3713454080 1200   apollon070 45.6  18.5   939118592 386   apollon035
eca-rers2012/Problem14_label56_false-unreach-call_false-termination.c 102    74.1   3738451968 1140   apollon150 49.7  20.3   956481536 459   apollon138
eca-rers2012/Problem14_label57_false-unreach-call_false-termination.c 101    71.5   3784613888 1150   apollon032 36.9  12.5   823947264 294   apollon104
eca-rers2012/Problem14_label58_false-unreach-call_false-termination.c 101    75.4   3706003456 1350   apollon016 41.4  15.7   848465920 371   apollon055
eca-rers2012/Problem15_label00_false-unreach-call.c 102    69.0   3349651456 1060   apollon015 38.7  13.5   858902528 354   apollon027
eca-rers2012/Problem15_label02_false-unreach-call.c 103    72.1   2986029056 1090   apollon162 38.6  12.5   845545472 309   apollon072
eca-rers2012/Problem15_label03_false-unreach-call.c 102    65.0   2818785280 982   apollon128 77.0  39.7   1284575232 852   apollon160
eca-rers2012/Problem15_label07_false-unreach-call.c 102    68.5   2780704768 1050   apollon078 57.4  25.5   1116606464 463   apollon123
eca-rers2012/Problem15_label09_false-unreach-call.c 101    68.9   3168329728 1070   apollon085 59.0  25.2   1113354240 517   apollon142
eca-rers2012/Problem15_label14_false-unreach-call.c 103    72.7   3475062784 1240   apollon030 69.4  33.6   1353515008 551   apollon054
eca-rers2012/Problem15_label15_false-unreach-call.c 102    68.0   3205758976 1040   apollon107 60.5  28.1   1264656384 644   apollon057
eca-rers2012/Problem15_label18_false-unreach-call_false-termination.c 104    69.0   3187466240 1080   apollon156 54.8  23.9   1139068928 478   apollon022
eca-rers2012/Problem15_label22_false-unreach-call.c 104    70.7   3306246144 1130   apollon141 49.6  21.0   1086775296 468   apollon048
eca-rers2012/Problem15_label23_false-unreach-call.c 106    76.2   3867430912 1010   apollon123 76.5  37.9   1609572352 696   apollon156
eca-rers2012/Problem15_label25_false-unreach-call.c 102    66.2   3770150912 1020   apollon150 18.5  5.15  595091456 154   apollon114
eca-rers2012/Problem15_label29_false-unreach-call.c 102    65.5   3823120384 1040   apollon102 51.7  21.4   1120071680 504   apollon163
eca-rers2012/Problem15_label30_false-unreach-call.c 102    67.7   3371020288 1030   apollon053 57.0  26.3   1124487168 502   apollon050
eca-rers2012/Problem15_label33_false-unreach-call.c 103    68.4   3066548224 1180   apollon007 52.4  21.5   1123454976 478   apollon006
eca-rers2012/Problem15_label34_false-unreach-call.c 102    66.0   2954731520 1130   apollon077 51.0  21.0   1114456064 437   apollon084
eca-rers2012/Problem15_label37_false-unreach-call.c 102    70.7   3305091072 1250   apollon014 60.7  28.0   1115660288 615   apollon159
eca-rers2012/Problem15_label38_false-unreach-call.c 101    67.5   2896482304 1120   apollon112 66.4  29.9   1334001664 564   apollon012
eca-rers2012/Problem15_label39_false-unreach-call.c 102    66.9   3178024960 1060   apollon072 55.1  23.5   1159376896 464   apollon012
eca-rers2012/Problem15_label40_false-unreach-call.c 103    69.4   2967285760 1080   apollon146 43.1  16.9   992153600 379   apollon052
eca-rers2012/Problem15_label41_false-unreach-call.c 102    67.8   3190972416 1150   apollon091 55.3  24.0   1148846080 502   apollon124
eca-rers2012/Problem15_label45_false-unreach-call.c 102    66.4   3089002496 1270   apollon057 112    48.3   1585303552 847   apollon042
eca-rers2012/Problem15_label47_false-unreach-call.c 102    66.4   3288174592 993   apollon089 53.7  24.1   1097240576 452   apollon066
eca-rers2012/Problem15_label48_false-unreach-call.c 103    68.5   3558694912 1030   apollon045 47.0  18.8   1046880256 422   apollon132
eca-rers2012/Problem15_label50_false-unreach-call.c 101    63.2   3065655296 1020   apollon107 14.1  3.65  556318720 108   apollon075
eca-rers2012/Problem15_label51_false-unreach-call.c 104    75.6   3846983680 1310   apollon016 65.5  30.5   1375604736 661   apollon016
eca-rers2012/Problem16_label00_false-unreach-call.c 112    89.7   1988337664 1170   apollon089 5.29 1.48  257806336 47.2 apollon111
eca-rers2012/Problem16_label01_false-unreach-call.c 102    62.2   3824599040 1070   apollon076 954    189     1463865344 5410   apollon161
eca-rers2012/Problem16_label03_false-unreach-call.c 103    65.1   3852247040 1090   apollon152 954    206     1491001344 4780   apollon026
eca-rers2012/Problem16_label04_false-unreach-call.c 106    69.9   3938975744 1050   apollon002 955    187     1474895872 4740   apollon109
eca-rers2012/Problem16_label05_false-unreach-call.c 104    68.2   3425861632 1180   apollon019 953    199     1488588800 5260   apollon047
eca-rers2012/Problem16_label06_false-unreach-call.c 101    67.9   3842584576 1100   apollon015 952    200     1491333120 5110   apollon067
eca-rers2012/Problem16_label08_false-unreach-call.c 102    65.3   3888943104 968   apollon098 953    200     1493614592 5050   apollon005
eca-rers2012/Problem16_label14_false-unreach-call.c 103    69.4   3708743680 1100   apollon072 952    202     1476505600 4840   apollon072
eca-rers2012/Problem16_label15_false-unreach-call.c 103    61.1   3711295488 1010   apollon120 954    190     1485336576 4910   apollon032
eca-rers2012/Problem16_label18_false-unreach-call.c 102    71.2   3740741632 1310   apollon016 953    205     1494106112 4910   apollon095
eca-rers2012/Problem16_label20_false-unreach-call.c 112    89.3   1820188672 1210   apollon045 5.48 1.52  263720960 45.5 apollon016
eca-rers2012/Problem16_label22_false-unreach-call.c 103    70.5   3753250816 1230   apollon167 954    198     1490051072 4660   apollon127
eca-rers2012/Problem16_label27_false-unreach-call.c 104    67.6   3831992320 1030   apollon079 952    199     1476280320 4710   apollon023
eca-rers2012/Problem16_label30_false-unreach-call.c 105    72.1   3881861120 1040   apollon099 952    200     1463349248 5330   apollon048
eca-rers2012/Problem16_label31_false-unreach-call.c 106    70.7   3890802688 1130   apollon102 953    204     1480548352 5640   apollon033
eca-rers2012/Problem16_label33_false-unreach-call.c 105    65.7   3932274688 1110   apollon084 954    192     1482534912 5610   apollon021
eca-rers2012/Problem16_label37_false-unreach-call.c 102    65.2   3914637312 948   apollon123 954    192     1491976192 5180   apollon155
eca-rers2012/Problem16_label38_false-unreach-call.c 106    74.5   3923664896 1190   apollon093 953    202     1488248832 5290   apollon124
eca-rers2012/Problem16_label41_false-unreach-call.c 103    67.9   3817046016 1060   apollon107 954    192     1477541888 4950   apollon102
eca-rers2012/Problem16_label43_false-unreach-call.c 104    66.6   3683627008 954   apollon151 952    201     1489678336 5070   apollon065
eca-rers2012/Problem16_label44_false-unreach-call.c 104    68.7   3871711232 1140   apollon084 955    184     1477013504 5160   apollon081
eca-rers2012/Problem16_label46_false-unreach-call.c 106    67.8   3895021568 1130   apollon009 953    199     1476153344 5240   apollon152
eca-rers2012/Problem16_label51_false-unreach-call.c 104    65.6   3796930560 996   apollon098 952    202     1477292032 4690   apollon075
eca-rers2012/Problem16_label52_false-unreach-call.c 102    61.3   3854917632 1060   apollon141 955    183     1475866624 4300   apollon041
eca-rers2012/Problem16_label54_false-unreach-call.c 102    65.9   3749208064 1010   apollon100 955    196     1474879488 4270   apollon063
eca-rers2012/Problem17_label04_false-unreach-call.c 102    69.9   3092475904 949   apollon054 77.0  37.4   1699659776 639   apollon041
eca-rers2012/Problem17_label07_false-unreach-call.c 103    67.4   3428421632 1050   apollon095 958    185     1875873792 4300   apollon040
eca-rers2012/Problem17_label09_false-unreach-call.c 102    65.9   3544944640 1050   apollon082 15.7  4.21  570232832 110   apollon099
eca-rers2012/Problem17_label13_false-unreach-call.c 103    65.9   2767486976 1030   apollon107 177    72.3   1936572416 1330   apollon071
eca-rers2012/Problem17_label16_false-unreach-call.c 102    71.0   2543337472 1050   apollon042 957    186     1841684480 4640   apollon004
eca-rers2012/Problem17_label20_false-unreach-call.c 101    67.9   2766225408 1340   apollon039 143    80.3   1916076032 1200   apollon029
eca-rers2012/Problem17_label23_false-unreach-call.c 108    77.4   3378860032 1060   apollon127 78.2  37.1   1732517888 683   apollon165
eca-rers2012/Problem17_label25_false-unreach-call.c 101    65.2   3015262208 1000   apollon053 17.6  4.79  578072576 120   apollon151
eca-rers2012/Problem17_label26_false-unreach-call.c 102    66.4   3553288192 1090   apollon108 7.82 2.02  474431488 56.1 apollon029
eca-rers2012/Problem17_label30_false-unreach-call.c 102    68.0   2546810880 1120   apollon071 154    93.1   1786302464 1380   apollon058
eca-rers2012/Problem17_label31_false-unreach-call.c 102    67.4   3011694592 1040   apollon058 18.3  5.04  577343488 136   apollon150
eca-rers2012/Problem17_label33_false-unreach-call.c 102    62.9   2501484544 1120   apollon077 956    178     1512615936 5030   apollon146
eca-rers2012/Problem17_label34_false-unreach-call.c 102    67.2   3067953152 1110   apollon017 16.7  4.54  576307200 141   apollon088
eca-rers2012/Problem17_label35_false-unreach-call.c 102    67.8   2923323392 1060   apollon120 16.5  4.30  579538944 129   apollon127
eca-rers2012/Problem17_label37_false-unreach-call.c 101    65.9   3201871872 1130   apollon155 16.9  4.43  571977728 147   apollon148
eca-rers2012/Problem17_label40_false-unreach-call.c 102    68.5   2823532544 1260   apollon016 17.8  4.91  571990016 129   apollon112
eca-rers2012/Problem17_label46_false-unreach-call.c 106    69.7   3716169728 1250   apollon161 955    196     1574588416 5690   apollon161
eca-rers2012/Problem17_label49_false-unreach-call.c 102    65.8   2751471616 985   apollon116 16.9  4.71  565538816 143   apollon064
eca-rers2012/Problem17_label50_false-unreach-call.c 102    65.0   3055124480 1070   apollon084 858    154     1473540096 5060   apollon160
eca-rers2012/Problem17_label52_false-unreach-call.c 102    70.7   2373828608 1050   apollon109 954    203     1594454016 5390   apollon114
eca-rers2012/Problem17_label53_false-unreach-call.c 102    66.1   3022557184 1200   apollon148 17.4  4.60  571822080 136   apollon037
eca-rers2012/Problem17_label54_false-unreach-call.c 102    66.0   2993700864 1040   apollon135 16.8  4.39  578064384 141   apollon028
eca-rers2012/Problem17_label55_false-unreach-call.c 101    67.2   3183837184 1110   apollon112 16.4  4.43  594509824 145   apollon028
eca-rers2012/Problem17_label57_false-unreach-call.c 102    65.2   2919915520 1040   apollon022 16.6  4.32  601714688 129   apollon005
eca-rers2012/Problem18_label00_false-unreach-call.c 102    64.1   2395283456 1030   apollon152 867    173     1512620032 4800   apollon046
eca-rers2012/Problem18_label01_false-unreach-call.c 102    64.3   2420207616 1130   apollon167 29.6  11.9   673071104 271   apollon114
eca-rers2012/Problem18_label03_false-unreach-call.c 105    65.7   3459584000 1030   apollon168 953    284     1549058048 4820   apollon063
eca-rers2012/Problem18_label06_false-unreach-call.c 102    61.4   3872911360 1000   apollon133 878    166     1486221312 4280   apollon099
eca-rers2012/Problem18_label08_false-unreach-call.c 106    72.7   3891511296 1100   apollon026 945    191     1607675904 4520   apollon139
eca-rers2012/Problem18_label09_false-unreach-call.c 102    60.4   3188649984 1010   apollon135 952    238     1825001472 5470   apollon064
eca-rers2012/Problem18_label10_false-unreach-call.c 102    58.4   3851141120 919   apollon002 880    163     1478545408 4150   apollon151
eca-rers2012/Problem18_label12_false-unreach-call.c 102    58.6   3115413504 1170   apollon057 957    187     1517748224 4570   apollon151
eca-rers2012/Problem18_label19_false-unreach-call.c 102    67.3   2501898240 977   apollon128 950    245     1835667456 4920   apollon075
eca-rers2012/Problem18_label20_false-unreach-call.c 103    62.0   2397548544 1000   apollon120 956    262     1553248256 5460   apollon079
eca-rers2012/Problem18_label25_false-unreach-call.c 102    65.0   3011534848 991   apollon012 954    289     1570697216 5540   apollon073
eca-rers2012/Problem18_label27_false-unreach-call.c 104    66.8   3150061568 1100   apollon052 911    265     1924222976 5600   apollon103
eca-rers2012/Problem18_label31_false-unreach-call.c 103    65.0   3767365632 1100   apollon017 942    241     1849749504 5690   apollon033
eca-rers2012/Problem18_label32_false-unreach-call.c 104    67.6   3332505600 918   apollon158 900    177     1511501824 4430   apollon128
eca-rers2012/Problem18_label33_false-unreach-call.c 102    52.6   3617046528 866   apollon098 955    287     1567793152 6880   apollon021
eca-rers2012/Problem18_label34_false-unreach-call.c 102    59.6   2804535296 979   apollon058 826    251     1923141632 5620   apollon048
eca-rers2012/Problem18_label35_false-unreach-call.c 104    64.5   3107008512 1100   apollon020 958    256     1874010112 5720   apollon065
eca-rers2012/Problem18_label36_false-unreach-call.c 106    65.3   2918666240 1080   apollon004 886    168     1485299712 4510   apollon023
eca-rers2012/Problem18_label38_false-unreach-call.c 103    67.8   2739441664 1170   apollon047 957    186     1509470208 5670   apollon057
eca-rers2012/Problem18_label39_false-unreach-call.c 102    62.5   3019124736 1100   apollon077 958    255     1901752320 5010   apollon041
eca-rers2012/Problem18_label45_false-unreach-call.c 102    63.4   3942084608 1040   apollon093 755    221     1863835648 4270   apollon083
eca-rers2012/Problem18_label49_false-unreach-call.c 105    65.1   3652018176 1040   apollon156 742    150     1495244800 3900   apollon121
eca-rers2012/Problem18_label52_false-unreach-call.c 105    62.6   3775885312 1010   apollon032 883    168     1492529152 4550   apollon061
eca-rers2012/Problem18_label55_false-unreach-call.c 102    64.5   3313033216 1100   apollon091 956    299     1814003712 6040   apollon156
eca-rers2012/Problem18_label57_false-unreach-call.c 103    63.4   3046121472 968   apollon128 951    244     1830199296 5510   apollon159
eca-rers2012/Problem19_label10_false-unreach-call.c 102    78.4   2591723520 1050   apollon060 14.9  3.75  631971840 103   apollon148
eca-rers2012/Problem19_label11_false-unreach-call.c 102    77.8   2788917248 1380   apollon057 13.6  3.27  641036288 102   apollon011
eca-rers2012/Problem19_label14_false-unreach-call.c 101    74.4   2429255680 1120   apollon038 13.7  3.38  630349824 99.0 apollon097
eca-rers2012/Problem19_label17_false-unreach-call.c 102    72.6   2712412160 1120   apollon126 14.1  3.39  639176704 111   apollon152
eca-rers2012/Problem19_label18_false-unreach-call.c 101    77.0   2515931136 1030   apollon043 13.8  3.19  629567488 96.5 apollon052
eca-rers2012/Problem19_label19_false-unreach-call.c 102    76.3   2828279808 1120   apollon095 13.2  3.15  630280192 95.4 apollon070
eca-rers2012/Problem19_label21_false-unreach-call.c 101    74.7   2385297408 1170   apollon017 13.7  3.44  630886400 97.7 apollon002
eca-rers2012/Problem19_label22_false-unreach-call.c 101    79.2   1975250944 1150   apollon051 12.9  3.08  626442240 90.6 apollon127
eca-rers2012/Problem19_label26_false-unreach-call.c 101    76.1   3696259072 1060   apollon116 14.1  3.38  632512512 101   apollon165
eca-rers2012/Problem19_label27_false-unreach-call.c 102    75.6   3038932992 1330   apollon160 13.5  3.20  633552896 97.2 apollon076
eca-rers2012/Problem19_label28_false-unreach-call.c 101    75.4   3769671680 1360   apollon057 13.3  3.19  626507776 111   apollon039
eca-rers2012/Problem19_label29_false-unreach-call.c 102    79.1   3648933888 1030   apollon054 13.6  3.25  632688640 103   apollon055
eca-rers2012/Problem19_label31_false-unreach-call.c 102    75.6   2822234112 1030   apollon157 13.7  3.28  633974784 88.5 apollon040
eca-rers2012/Problem19_label32_false-unreach-call.c 102    77.1   3363102720 1420   apollon039 12.7  3.06  632786944 98.1 apollon076
eca-rers2012/Problem19_label41_false-unreach-call.c 101    76.3   2178387968 1190   apollon020 12.9  3.13  630091776 91.6 apollon050
eca-rers2012/Problem19_label42_false-unreach-call.c 102    77.1   2358325248 1050   apollon002 12.8  2.98  630505472 102   apollon069
eca-rers2012/Problem19_label43_false-unreach-call.c 102    74.9   2235912192 1100   apollon101 14.3  3.36  632905728 111   apollon014
eca-rers2012/Problem19_label47_false-unreach-call.c 102    76.2   2742792192 1240   apollon007 13.2  3.15  637054976 101   apollon153
eca-rers2012/Problem19_label50_false-unreach-call.c 102    77.9   2346770432 1320   apollon014 14.1  3.39  625668096 105   apollon114
eca-rers2012/Problem19_label51_false-unreach-call.c 102    75.9   2778845184 1030   apollon043 13.8  3.38  626327552 111   apollon106
eca-rers2012/Problem19_label53_false-unreach-call.c 102    77.9   3268239360 1060   apollon128 13.4  3.17  631324672 92.1 apollon085
eca-rers2012/Problem19_label55_false-unreach-call.c 101    76.3   3701342208 1100   apollon118 13.5  3.19  624578560 95.9 apollon037
eca-rers2012/Problem19_label58_false-unreach-call.c 102    76.0   2372403200 1090   apollon051 13.8  3.27  628850688 102   apollon124
eca-rers2012/Problem19_label59_false-unreach-call.c 101    75.1   2535559168 1100   apollon133 12.7  3.01  629514240 92.0 apollon165
eca-rers2012/Problem01_label00_true-unreach-call_false-termination.c 17.3  4.59  523608064 120   apollon019 3.67 1.17  232239104 35.6 apollon160
eca-rers2012/Problem01_label01_true-unreach-call_false-termination.c 17.1  4.52  601575424 150   apollon021 3.68 1.15  214978560 28.3 apollon089
eca-rers2012/Problem01_label02_true-unreach-call_false-termination.c 18.6  5.00  598691840 140   apollon085 3.60 1.12  239497216 34.9 apollon160
eca-rers2012/Problem01_label03_true-unreach-call_false-termination.c 24.7  7.44  801673216 189   apollon079 3.75 1.19  216633344 31.0 apollon006
eca-rers2012/Problem01_label04_true-unreach-call_false-termination.c 16.7  4.43  613269504 128   apollon020 3.54 1.16  218542080 29.4 apollon107
eca-rers2012/Problem01_label05_true-unreach-call_false-termination.c 18.2  4.76  604512256 147   apollon032 3.57 1.15  220418048 29.2 apollon074
eca-rers2012/Problem01_label06_true-unreach-call_false-termination.c 18.4  5.05  593895424 142   apollon072 3.94 1.22  225972224 36.8 apollon163
eca-rers2012/Problem01_label07_true-unreach-call_false-termination.c 16.2  4.36  578924544 134   apollon015 3.51 1.12  216199168 28.0 apollon029
eca-rers2012/Problem01_label08_true-unreach-call_false-termination.c 24.6  8.44  1067941888 200   apollon071 3.49 1.16  215793664 32.1 apollon047
eca-rers2012/Problem01_label09_true-unreach-call_false-termination.c 20.9  6.13  759971840 158   apollon157 3.73 1.22  214917120 32.5 apollon097
eca-rers2012/Problem01_label10_true-unreach-call_false-termination.c 16.4  4.40  613621760 128   apollon018 3.54 1.18  217972736 31.0 apollon016
eca-rers2012/Problem01_label11_true-unreach-call_false-termination.c 14.1  3.87  491728896 109   apollon085 3.48 1.13  218734592 28.3 apollon002
eca-rers2012/Problem01_label12_true-unreach-call_false-termination.c 14.2  3.80  484122624 112   apollon167 3.40 1.12  213188608 28.9 apollon038
eca-rers2012/Problem01_label13_true-unreach-call_false-termination.c 19.3  5.09  641355776 146   apollon089 3.58 1.17  222212096 28.6 apollon013
eca-rers2012/Problem01_label14_true-unreach-call_false-termination.c 16.5  4.52  605249536 142   apollon019 3.66 1.14  216449024 28.5 apollon018
eca-rers2012/Problem01_label16_true-unreach-call_false-termination.c 17.9  4.76  583577600 136   apollon045 3.52 1.19  215134208 30.9 apollon112
eca-rers2012/Problem01_label17_true-unreach-call_false-termination.c 17.0  4.58  589029376 134   apollon072 3.53 1.16  213934080 30.4 apollon061
eca-rers2012/Problem01_label18_true-unreach-call_false-termination.c 17.3  4.57  617541632 132   apollon112 3.57 1.22  215535616 31.2 apollon155
eca-rers2012/Problem01_label19_true-unreach-call_false-termination.c 17.3  4.68  627097600 147   apollon118 3.90 1.22  229531648 31.4 apollon150
eca-rers2012/Problem01_label22_true-unreach-call_false-termination.c 17.4  4.67  611696640 140   apollon119 3.62 1.16  216526848 29.1 apollon109
eca-rers2012/Problem01_label23_true-unreach-call_false-termination.c 17.4  4.69  493203456 128   apollon071 3.88 1.25  229318656 32.6 apollon103
eca-rers2012/Problem01_label24_true-unreach-call_false-termination.c 13.2  3.61  473747456 101   apollon087 3.78 1.21  212439040 33.9 apollon126
eca-rers2012/Problem01_label25_true-unreach-call_false-termination.c 18.9  5.13  621912064 139   apollon089 3.45 1.16  212803584 31.7 apollon125
eca-rers2012/Problem01_label26_true-unreach-call_false-termination.c 16.9  4.59  599687168 142   apollon067 3.58 1.18  218488832 28.5 apollon075
eca-rers2012/Problem01_label27_true-unreach-call_false-termination.c 35.8  16.7   1579593728 331   apollon012 3.79 1.21  218157056 36.2 apollon106
eca-rers2012/Problem01_label28_true-unreach-call_false-termination.c 27.7  11.4   1319522304 267   apollon047 3.51 1.18  215785472 29.6 apollon055
eca-rers2012/Problem01_label29_true-unreach-call_false-termination.c 26.0  8.21  845885440 213   apollon077 3.58 1.16  217309184 33.2 apollon016
eca-rers2012/Problem01_label30_true-unreach-call_false-termination.c 28.1  10.3   1072472064 252   apollon087 3.56 1.14  217051136 26.1 apollon098
eca-rers2012/Problem01_label31_true-unreach-call_false-termination.c 16.7  4.47  595156992 157   apollon021 3.53 1.15  213999616 31.9 apollon159
eca-rers2012/Problem01_label34_true-unreach-call_false-termination.c 17.4  4.68  608182272 150   apollon108 3.54 1.15  214867968 27.7 apollon123
eca-rers2012/Problem01_label36_true-unreach-call_false-termination.c 22.0  6.20  755027968 182   apollon126 3.71 1.19  215670784 26.7 apollon143
eca-rers2012/Problem01_label39_true-unreach-call_false-termination.c 15.9  4.28  595648512 109   apollon040 3.76 1.19  236392448 31.5 apollon153
eca-rers2012/Problem01_label40_true-unreach-call_false-termination.c 15.2  4.05  513392640 136   apollon021 3.63 1.19  222085120 28.6 apollon123
eca-rers2012/Problem01_label41_true-unreach-call_false-termination.c 15.1  4.03  499441664 123   apollon005 3.72 1.18  218746880 28.4 apollon050
eca-rers2012/Problem01_label42_true-unreach-call_false-termination.c 14.9  4.00  534949888 112   apollon005 3.55 1.16  220180480 32.6 apollon124
eca-rers2012/Problem01_label43_true-unreach-call_false-termination.c 15.0  4.01  550105088 138   apollon125 3.67 1.13  217395200 29.8 apollon075
eca-rers2012/Problem01_label45_true-unreach-call_false-termination.c 26.5  9.94  1031356416 236   apollon017 3.52 1.16  217264128 34.2 apollon033
eca-rers2012/Problem01_label46_true-unreach-call_false-termination.c 15.2  4.11  551403520 115   apollon071 3.62 1.27  220712960 33.7 apollon111
eca-rers2012/Problem01_label48_true-unreach-call_false-termination.c 22.5  7.05  798408704 204   apollon047 3.85 1.23  226996224 30.1 apollon042
eca-rers2012/Problem01_label49_true-unreach-call_false-termination.c 15.8  4.19  588517376 128   apollon005 3.72 1.14  220147712 34.3 apollon056
eca-rers2012/Problem01_label51_true-unreach-call_false-termination.c 20.0  6.56  848527360 167   apollon095 3.89 1.20  237232128 33.1 apollon153
eca-rers2012/Problem01_label52_true-unreach-call_false-termination.c 18.6  4.95  607973376 152   apollon167 3.44 1.12  217059328 27.2 apollon100
eca-rers2012/Problem01_label53_true-unreach-call_false-termination.c 18.1  4.70  597385216 132   apollon151 3.51 1.17  215105536 29.5 apollon135
eca-rers2012/Problem01_label54_true-unreach-call_false-termination.c 21.0  5.62  602550272 158   apollon070 3.67 1.17  215355392 31.5 apollon155
eca-rers2012/Problem01_label55_true-unreach-call_false-termination.c 17.1  4.54  609705984 130   apollon070 3.56 1.13  214884352 30.7 apollon093
eca-rers2012/Problem01_label58_true-unreach-call_false-termination.c 19.1  5.22  591069184 147   apollon017 3.48 1.15  217104384 29.8 apollon130
eca-rers2012/Problem01_label59_true-unreach-call_false-termination.c 15.0  4.00  474677248 120   apollon015 3.49 1.13  215035904 28.6 apollon079
eca-rers2012/Problem02_label00_true-unreach-call_false-termination.c 10.0  2.85  463659008 75.8 apollon142 3.44 1.15  215977984 26.9 apollon092
eca-rers2012/Problem02_label01_true-unreach-call_false-termination.c 10.4  2.89  449511424 76.0 apollon089 3.57 1.17  217223168 27.2 apollon043
eca-rers2012/Problem02_label02_true-unreach-call_false-termination.c 10.9  3.10  446435328 91.3 apollon007 3.63 1.19  217313280 31.9 apollon152
eca-rers2012/Problem02_label03_true-unreach-call_false-termination.c 10.7  3.10  456261632 83.0 apollon025 3.47 1.11  214769664 28.3 apollon110
eca-rers2012/Problem02_label04_true-unreach-call_false-termination.c 10.8  3.00  458289152 96.9 apollon039 3.58 1.12  215363584 26.6 apollon041
eca-rers2012/Problem02_label05_true-unreach-call_false-termination.c 10.5  3.06  457994240 96.8 apollon108 3.61 1.16  215216128 31.2 apollon020
eca-rers2012/Problem02_label06_true-unreach-call_false-termination.c 18.1  7.81  950239232 154   apollon029 3.35 1.11  216870912 29.4 apollon096
eca-rers2012/Problem02_label07_true-unreach-call_false-termination.c 11.8  3.24  481611776 84.5 apollon079 3.55 1.15  217526272 30.4 apollon070
eca-rers2012/Problem02_label08_true-unreach-call_false-termination.c 10.7  3.12  456638464 94.5 apollon111 3.54 1.14  217333760 33.7 apollon125
eca-rers2012/Problem02_label09_true-unreach-call_false-termination.c 14.2  3.94  472563712 96.6 apollon151 3.58 1.14  216104960 31.1 apollon136
eca-rers2012/Problem02_label10_true-unreach-call_false-termination.c 11.6  3.26  468770816 83.2 apollon029 3.52 1.13  217477120 29.6 apollon061
eca-rers2012/Problem02_label11_true-unreach-call_false-termination.c 11.9  3.29  479903744 86.4 apollon109 3.47 1.13  214937600 34.3 apollon160
eca-rers2012/Problem02_label12_true-unreach-call_false-termination.c 11.9  3.25  478253056 102   apollon044 3.48 1.12  213180416 27.3 apollon104
eca-rers2012/Problem02_label14_true-unreach-call_false-termination.c 11.8  3.25  469061632 88.1 apollon098 3.52 1.13  216477696 28.7 apollon157
eca-rers2012/Problem02_label15_true-unreach-call_false-termination.c 9.96 2.83  452366336 83.7 apollon076 3.47 1.16  216264704 27.7 apollon127
eca-rers2012/Problem02_label17_true-unreach-call_false-termination.c 9.81 2.79  451592192 74.0 apollon116 3.54 1.13  216793088 30.4 apollon166
eca-rers2012/Problem02_label18_true-unreach-call_false-termination.c 15.5  4.20  608792576 134   apollon111 3.51 1.12  216260608 28.7 apollon157
eca-rers2012/Problem02_label19_true-unreach-call_false-termination.c 9.75 2.88  434327552 67.6 apollon158 3.47 1.12  215183360 28.3 apollon127
eca-rers2012/Problem02_label20_true-unreach-call_false-termination.c 9.56 2.80  447488000 77.2 apollon004 3.57 1.17  216948736 33.4 apollon028
eca-rers2012/Problem02_label21_true-unreach-call_false-termination.c 11.0  3.06  458526720 82.4 apollon053 3.46 1.20  213733376 29.9 apollon135
eca-rers2012/Problem02_label22_true-unreach-call_false-termination.c 9.99 2.80  448348160 70.8 apollon089 3.62 1.19  217145344 32.3 apollon136
eca-rers2012/Problem02_label23_true-unreach-call_false-termination.c 10.9  3.23  453578752 90.7 apollon093 3.49 1.11  218021888 29.5 apollon144
eca-rers2012/Problem02_label24_true-unreach-call_false-termination.c 10.1  2.79  449048576 83.8 apollon140 3.52 1.12  215625728 29.1 apollon070
eca-rers2012/Problem02_label25_true-unreach-call_false-termination.c 10.9  3.05  452964352 79.1 apollon128 3.61 1.19  217157632 32.5 apollon159
eca-rers2012/Problem02_label26_true-unreach-call_false-termination.c 10.4  2.95  460075008 85.2 apollon022 3.40 1.13  213573632 29.9 apollon069
eca-rers2012/Problem02_label27_true-unreach-call_false-termination.c 10.2  2.88  462180352 84.0 apollon119 3.46 1.14  215838720 29.7 apollon084
eca-rers2012/Problem02_label28_true-unreach-call_false-termination.c 10.4  3.09  452042752 89.7 apollon140 3.53 1.12  216592384 28.8 apollon075
eca-rers2012/Problem02_label29_true-unreach-call_false-termination.c 13.6  3.76  481456128 102   apollon025 3.47 1.14  215965696 29.8 apollon119
eca-rers2012/Problem02_label30_true-unreach-call_false-termination.c 11.9  3.29  476651520 104   apollon126 3.45 1.13  215715840 30.2 apollon055
eca-rers2012/Problem02_label31_true-unreach-call_false-termination.c 11.5  3.19  464896000 87.8 apollon011 3.51 1.16  215896064 31.7 apollon091
eca-rers2012/Problem02_label32_true-unreach-call_false-termination.c 11.7  3.29  483569664 82.7 apollon029 3.52 1.13  219316224 29.2 apollon112
eca-rers2012/Problem02_label33_true-unreach-call_false-termination.c 10.3  2.88  446533632 76.5 apollon053 3.47 1.14  214982656 28.2 apollon133
eca-rers2012/Problem02_label34_true-unreach-call_false-termination.c 9.74 2.82  435249152 74.4 apollon095 3.53 1.15  221818880 31.5 apollon031
eca-rers2012/Problem02_label35_true-unreach-call_false-termination.c 10.1  2.89  449716224 85.6 apollon118 3.47 1.12  216440832 27.8 apollon029
eca-rers2012/Problem02_label36_true-unreach-call_false-termination.c 13.2  3.84  541941760 110   apollon067 3.48 1.14  213606400 28.7 apollon131
eca-rers2012/Problem02_label37_true-unreach-call_false-termination.c 10.9  3.05  458735616 86.5 apollon112 3.50 1.12  217468928 29.3 apollon085
eca-rers2012/Problem02_label38_true-unreach-call_false-termination.c 12.8  3.62  575791104 114   apollon007 3.42 1.12  217608192 30.8 apollon145
eca-rers2012/Problem02_label39_true-unreach-call_false-termination.c 10.8  3.14  467447808 81.4 apollon042 3.59 1.19  216596480 30.1 apollon067
eca-rers2012/Problem02_label40_true-unreach-call_false-termination.c 11.9  3.39  449007616 87.5 apollon133 3.47 1.20  216690688 29.0 apollon105
eca-rers2012/Problem02_label41_true-unreach-call_false-termination.c 12.0  3.37  451432448 91.9 apollon070 3.65 1.14  219561984 29.9 apollon079
eca-rers2012/Problem02_label42_true-unreach-call_false-termination.c 9.97 2.91  443207680 73.1 apollon116 3.58 1.12  215961600 27.4 apollon134
eca-rers2012/Problem02_label46_true-unreach-call_false-termination.c 10.7  3.06  490643456 93.8 apollon016 3.37 1.13  214491136 26.1 apollon137
eca-rers2012/Problem02_label47_true-unreach-call_false-termination.c 11.5  3.17  486764544 106   apollon160 3.76 1.20  218636288 29.3 apollon100
eca-rers2012/Problem02_label48_true-unreach-call_false-termination.c 10.8  2.99  467533824 88.0 apollon067 3.49 1.13  217423872 34.0 apollon033
eca-rers2012/Problem02_label49_true-unreach-call_false-termination.c 13.7  3.98  583397376 105   apollon107 3.45 1.12  216129536 32.0 apollon159
eca-rers2012/Problem02_label51_true-unreach-call_false-termination.c 11.0  3.02  467755008 86.7 apollon127 3.36 1.11  215142400 26.5 apollon117
eca-rers2012/Problem02_label52_true-unreach-call_false-termination.c 18.9  6.75  882524160 158   apollon118 3.58 1.15  219598848 27.7 apollon098
eca-rers2012/Problem02_label53_true-unreach-call_false-termination.c 11.1  3.10  470781952 83.7 apollon051 3.56 1.15  215482368 29.6 apollon012
eca-rers2012/Problem02_label54_true-unreach-call_false-termination.c 11.8  3.34  471564288 99.4 apollon047 3.45 1.14  215928832 31.3 apollon059
eca-rers2012/Problem02_label55_true-unreach-call_false-termination.c 12.4  3.35  478433280 102   apollon152 3.60 1.14  213180416 31.4 apollon152
eca-rers2012/Problem02_label56_true-unreach-call_false-termination.c 11.6  3.21  480391168 105   apollon033 3.62 1.10  239706112 29.4 apollon154
eca-rers2012/Problem02_label57_true-unreach-call_false-termination.c 10.6  3.01  447860736 86.7 apollon071 3.50 1.17  216592384 33.0 apollon027
eca-rers2012/Problem02_label58_true-unreach-call_false-termination.c 12.5  3.39  490442752 97.5 apollon002 3.51 1.12  217063424 28.7 apollon127
eca-rers2012/Problem03_label00_true-unreach-call.c 65.8  36.7   1535205376 589   apollon025 5.38 1.47  313737216 38.9 apollon018
eca-rers2012/Problem03_label01_true-unreach-call.c 86.2  56.9   2417102848 928   apollon018 5.28 1.43  333475840 37.6 apollon128
eca-rers2012/Problem03_label02_true-unreach-call.c 35.8  12.4   1193922560 304   apollon005 5.17 1.45  306536448 38.4 apollon123
eca-rers2012/Problem03_label03_true-unreach-call.c 42.0  17.1   1435881472 357   apollon025 5.36 1.50  313573376 45.8 apollon164
eca-rers2012/Problem03_label04_true-unreach-call.c 76.2  48.7   2390781952 822   apollon085 5.46 1.53  308842496 41.3 apollon026
eca-rers2012/Problem03_label05_true-unreach-call.c 86.0  55.5   2204184576 1090   apollon039 5.56 1.48  309092352 46.0 apollon118
eca-rers2012/Problem03_label06_true-unreach-call.c 40.3  15.4   1420427264 344   apollon156 4.93 1.35  309436416 37.2 apollon127
eca-rers2012/Problem03_label07_true-unreach-call.c 37.6  13.9   1893085184 359   apollon111 5.11 1.40  331943936 43.1 apollon069
eca-rers2012/Problem03_label08_true-unreach-call.c 103    67.5   3045392384 1210   apollon044 956    209     1735995392 4920   apollon129
eca-rers2012/Problem03_label10_true-unreach-call.c 81.6  51.4   1738211328 946   apollon148 5.34 1.48  312086528 38.5 apollon013
eca-rers2012/Problem03_label11_true-unreach-call.c 42.8  16.3   1316515840 398   apollon033 5.43 1.46  300539904 37.9 apollon013
eca-rers2012/Problem03_label12_true-unreach-call.c 37.7  14.3   1211084800 287   apollon116 5.04 1.37  336879616 38.3 apollon018
eca-rers2012/Problem03_label14_true-unreach-call.c 33.5  12.9   1331265536 298   apollon067 5.30 1.43  308645888 45.6 apollon056
eca-rers2012/Problem03_label15_true-unreach-call.c 51.4  26.4   1893371904 507   apollon070 5.11 1.43  308899840 43.2 apollon114
eca-rers2012/Problem03_label16_true-unreach-call.c 34.8  11.1   1116803072 286   apollon076 5.54 1.55  311857152 43.2 apollon156
eca-rers2012/Problem03_label17_true-unreach-call.c 54.7  29.1   2047148032 496   apollon116 5.36 1.44  305737728 39.0 apollon029
eca-rers2012/Problem03_label18_true-unreach-call.c 52.0  22.9   1930211328 469   apollon101 5.57 1.48  303980544 43.7 apollon052
eca-rers2012/Problem03_label19_true-unreach-call.c 36.7  13.7   1339711488 333   apollon007 5.59 1.65  304852992 42.6 apollon012
eca-rers2012/Problem03_label20_true-unreach-call.c 102    72.4   2400522240 1140   apollon022 950    312     2910511104 5560   apollon089
eca-rers2012/Problem03_label21_true-unreach-call.c 56.3  31.1   2139701248 535   apollon116 5.48 1.50  306114560 44.8 apollon010
eca-rers2012/Problem03_label22_true-unreach-call.c 52.3  26.4   1924898816 513   apollon067 5.39 1.47  310140928 38.2 apollon134
eca-rers2012/Problem03_label23_true-unreach-call.c 46.8  22.0   1626705920 400   apollon117 5.56 1.54  297730048 43.7 apollon024
eca-rers2012/Problem03_label24_true-unreach-call.c 37.8  12.8   1304776704 313   apollon095 5.10 1.40  314437632 42.9 apollon022
eca-rers2012/Problem03_label25_true-unreach-call.c 58.8  29.8   2074251264 549   apollon038 5.45 1.47  311361536 45.9 apollon155
eca-rers2012/Problem03_label29_true-unreach-call.c 45.5  21.5   1847934976 389   apollon043 5.50 1.50  312434688 40.8 apollon137
eca-rers2012/Problem03_label30_true-unreach-call.c 39.0  16.1   1679675392 319   apollon089 5.24 1.43  315535360 42.5 apollon006
eca-rers2012/Problem03_label32_true-unreach-call.c 36.8  13.3   1221246976 343   apollon057 5.61 1.50  301465600 50.5 apollon039
eca-rers2012/Problem03_label33_true-unreach-call.c 103    66.6   3125952512 890   apollon123 951    236     1925001216 5490   apollon071
eca-rers2012/Problem03_label34_true-unreach-call.c 38.1  13.9   1273085952 315   apollon071 5.37 1.51  312844288 40.2 apollon058
eca-rers2012/Problem03_label36_true-unreach-call.c 37.1  13.1   1306238976 312   apollon017 5.31 1.45  311545856 40.6 apollon046
eca-rers2012/Problem03_label38_true-unreach-call.c 36.7  13.2   1226981376 331   apollon030 5.54 1.55  317186048 44.4 apollon097
eca-rers2012/Problem03_label40_true-unreach-call.c 50.2  20.7   1635188736 416   apollon086 5.33 1.42  309121024 39.2 apollon137
eca-rers2012/Problem03_label41_true-unreach-call.c 35.3  12.8   1093976064 297   apollon087 5.28 1.48  342306816 45.1 apollon008
eca-rers2012/Problem03_label42_true-unreach-call.c 39.1  13.0   1267736576 282   apollon040 4.98 1.32  315092992 37.6 apollon095
eca-rers2012/Problem03_label44_true-unreach-call.c 69.6  39.6   2357723136 813   apollon044 5.44 1.55  327794688 42.7 apollon135
eca-rers2012/Problem03_label46_true-unreach-call.c 34.3  12.5   1067384832 288   apollon120 5.15 1.42  311083008 39.6 apollon146
eca-rers2012/Problem03_label47_true-unreach-call.c 52.1  27.8   2020904960 577   apollon030 5.65 1.56  308314112 44.5 apollon114
eca-rers2012/Problem03_label48_true-unreach-call.c 65.1  40.5   2116354048 737   apollon020 5.40 1.50  310177792 45.3 apollon015
eca-rers2012/Problem03_label49_true-unreach-call.c 102    75.3   2444193792 1200   apollon071 215    146     2235162624 2160   apollon011
eca-rers2012/Problem03_label51_true-unreach-call.c 71.0  45.4   2201874432 756   apollon146 5.48 1.49  315854848 40.6 apollon002
eca-rers2012/Problem03_label53_true-unreach-call.c 64.8  37.2   2075496448 663   apollon118 5.49 1.47  309133312 47.9 apollon159
eca-rers2012/Problem03_label54_true-unreach-call.c 58.2  34.0   1768529920 591   apollon168 5.30 1.44  311025664 40.9 apollon038
eca-rers2012/Problem03_label55_true-unreach-call.c 102    72.3   2852687872 1030   apollon043 685    289     2833231872 5580   apollon081
eca-rers2012/Problem03_label56_true-unreach-call.c 102    65.7   3189555200 1040   apollon076 955    218     1820782592 5240   apollon049
eca-rers2012/Problem03_label57_true-unreach-call.c 102    75.0   2639548416 1020   apollon092 217    146     2348503040 2380   apollon077
eca-rers2012/Problem03_label58_true-unreach-call.c 61.8  32.0   1719386112 561   apollon135 5.49 1.59  300388352 47.3 apollon028
eca-rers2012/Problem03_label59_true-unreach-call.c 34.9  11.2   910884864 306   apollon014 5.41 1.45  305029120 40.4 apollon146
eca-rers2012/Problem04_label00_true-unreach-call.c 105    67.0   2467131392 938   apollon155 953    232     1695133696 5360   apollon135
eca-rers2012/Problem04_label01_true-unreach-call.c 105    54.3   2332938240 817   apollon102 955    216     1643720704 5460   apollon096
eca-rers2012/Problem04_label02_true-unreach-call.c 107    58.9   2802356224 845   apollon118 955    216     1641021440 5640   apollon047
eca-rers2012/Problem04_label03_true-unreach-call.c 106    61.5   2232176640 1020   apollon155 952    223     1657860096 5900   apollon088
eca-rers2012/Problem04_label05_true-unreach-call.c 105    66.3   2686750720 1170   apollon057 952    222     1653153792 5060   apollon073
eca-rers2012/Problem04_label07_true-unreach-call.c 106    65.6   2768830464 1150   apollon044 955    232     1710088192 5070   apollon116
eca-rers2012/Problem04_label08_true-unreach-call.c 104    63.6   2587275264 871   apollon117 951    228     1673650176 5910   apollon163
eca-rers2012/Problem04_label10_true-unreach-call.c 104    65.3   2572374016 1140   apollon021 951    221     1668374528 5470   apollon015
eca-rers2012/Problem04_label16_true-unreach-call.c 105    67.8   2697060352 856   apollon053 105    61.7   1582972928 961   apollon023
eca-rers2012/Problem04_label20_true-unreach-call_false-termination.c 106    65.5   2867310592 872   apollon102 958    230     1684717568 4950   apollon117
eca-rers2012/Problem04_label21_true-unreach-call.c 106    65.5   2833031168 828   apollon089 952    222     1674850304 5490   apollon084
eca-rers2012/Problem04_label22_true-unreach-call.c 105    68.8   2445328384 920   apollon026 958    229     1681920000 5220   apollon037
eca-rers2012/Problem04_label23_true-unreach-call_false-termination.c 105    62.0   2726133760 844   apollon099 950    227     1683173376 4930   apollon139
eca-rers2012/Problem04_label24_true-unreach-call_false-termination.c 105    64.1   2703228928 1010   apollon014 957    229     1691754496 5510   apollon022
eca-rers2012/Problem04_label25_true-unreach-call.c 60.3  31.8   1834254336 514   apollon004 8.76 2.21  494129152 73.2 apollon159
eca-rers2012/Problem04_label28_true-unreach-call.c 106    62.6   2535530496 879   apollon152 952    222     1665998848 5950   apollon016
eca-rers2012/Problem04_label29_true-unreach-call_false-termination.c 105    65.4   2684870656 966   apollon087 958    229     1681633280 4940   apollon089
eca-rers2012/Problem04_label30_true-unreach-call.c 104    60.3   2795438080 879   apollon058 951    224     1683828736 5400   apollon015
eca-rers2012/Problem04_label33_true-unreach-call.c 106    63.9   3000496128 1040   apollon112 954    216     1688031232 5330   apollon087
eca-rers2012/Problem04_label34_true-unreach-call.c 105    61.8   2683064320 934   apollon011 958    230     1692499968 4760   apollon158
eca-rers2012/Problem04_label37_true-unreach-call_false-termination.c 104    62.1   2950426624 924   apollon020 953    221     1670893568 4960   apollon060
eca-rers2012/Problem04_label41_true-unreach-call.c 79.0  43.1   2163376128 705   apollon142 8.85 2.23  528875520 64.0 apollon109
eca-rers2012/Problem04_label42_true-unreach-call_false-termination.c 78.6  43.6   2038984704 703   apollon164 8.87 2.18  504061952 61.3 apollon013
eca-rers2012/Problem04_label43_true-unreach-call_false-termination.c 103    69.0   3766673408 937   apollon045 723    188     2050924544 4500   apollon114
eca-rers2012/Problem04_label44_true-unreach-call_false-termination.c 106    67.7   3022307328 906   apollon032 952    221     1650483200 5910   apollon014
eca-rers2012/Problem04_label46_true-unreach-call_false-termination.c 104    63.4   2796511232 926   apollon082 952    222     1650855936 5260   apollon135
eca-rers2012/Problem04_label47_true-unreach-call.c 106    66.0   2668498944 960   apollon019 951    228     1679323136 5820   apollon081
eca-rers2012/Problem04_label48_true-unreach-call.c 104    62.4   2687680512 878   apollon119 951    227     1674584064 5580   apollon010
eca-rers2012/Problem04_label49_true-unreach-call_false-termination.c 106    63.6   2783956992 861   apollon146 950    228     1660932096 4960   apollon060
eca-rers2012/Problem04_label50_true-unreach-call.c 105    64.3   2582802432 1160   apollon057 950    227     1689440256 5270   apollon119
eca-rers2012/Problem04_label51_true-unreach-call.c 106    63.7   3066126336 874   apollon116 953    222     1656082432 5080   apollon050
eca-rers2012/Problem04_label53_true-unreach-call.c 105    65.1   2400821248 1000   apollon167 865    210     1655435264 5000   apollon121
eca-rers2012/Problem04_label54_true-unreach-call.c 107    65.0   2781978624 1080   apollon140 954    233     1707364352 5750   apollon007
eca-rers2012/Problem04_label56_true-unreach-call.c 105    64.4   2259431424 913   apollon093 953    221     1654476800 5160   apollon150
eca-rers2012/Problem04_label57_true-unreach-call_false-termination.c 105    62.1   2586861568 848   apollon025 952    221     1663033344 6020   apollon057
eca-rers2012/Problem04_label59_true-unreach-call.c 104    62.3   2157547520 873   apollon108 956    214     1647718400 5240   apollon038
eca-rers2012/Problem05_label02_true-unreach-call.c 103    64.0   2784587776 1030   apollon112 845    162     1502306304 4750   apollon080
eca-rers2012/Problem05_label03_true-unreach-call.c 110    65.9   2670374912 1040   apollon142 881    168     1492152320 4350   apollon053
eca-rers2012/Problem05_label04_true-unreach-call.c 111    66.2   2542309376 911   apollon164 847    165     1499860992 4580   apollon146
eca-rers2012/Problem05_label05_true-unreach-call.c 104    56.5   2584113152 898   apollon155 857    166     1497038848 5090   apollon033
eca-rers2012/Problem05_label06_true-unreach-call.c 103    55.5   2860048384 845   apollon018 858    167     1505673216 4350   apollon104
eca-rers2012/Problem05_label07_true-unreach-call.c 103    61.9   2513260544 917   apollon070 957    180     1498943488 4980   apollon091
eca-rers2012/Problem05_label08_true-unreach-call.c 109    67.0   3030695936 959   apollon058 72.2  35.0   1167826944 584   apollon041
eca-rers2012/Problem05_label09_true-unreach-call.c 104    64.2   2328817664 904   apollon067 855    164     1494798336 4300   apollon079
eca-rers2012/Problem05_label10_true-unreach-call.c 107    60.9   2392121344 932   apollon095 956    189     1582563328 5140   apollon132
eca-rers2012/Problem05_label12_true-unreach-call.c 104    62.0   2744139776 846   apollon150 957    178     1498976256 5110   apollon138
eca-rers2012/Problem05_label14_true-unreach-call.c 105    60.1   2582499328 803   apollon089 957    177     1496379392 4690   apollon023
eca-rers2012/Problem05_label16_true-unreach-call.c 103    63.1   2546212864 1110   apollon021 951    180     1542844416 4520   apollon013
eca-rers2012/Problem05_label17_true-unreach-call.c 105    63.0   2463236096 1030   apollon005 881    169     1505697792 4560   apollon005
eca-rers2012/Problem05_label19_true-unreach-call.c 105    59.3   2778001408 877   apollon168 841    165     1503469568 4040   apollon040
eca-rers2012/Problem05_label20_true-unreach-call.c 103    63.0   3035967488 729   apollon157 862    166     1515790336 4520   apollon011
eca-rers2012/Problem05_label21_true-unreach-call.c 105    60.7   2710626304 966   apollon142 957    187     1577545728 4960   apollon133
eca-rers2012/Problem05_label22_true-unreach-call.c 113    68.0   3168112640 1030   apollon017 890    170     1496768512 5190   apollon111
eca-rers2012/Problem05_label23_true-unreach-call.c 111    65.6   3088613376 885   apollon092 951    181     1560186880 5160   apollon007
eca-rers2012/Problem05_label25_true-unreach-call.c 105    59.6   2847928320 1020   apollon016 852    163     1502502912 4160   apollon058
eca-rers2012/Problem05_label27_true-unreach-call.c 109    66.8   2943574016 847   apollon089 844    163     1491902464 4980   apollon057
eca-rers2012/Problem05_label28_true-unreach-call.c 105    56.7   2815913984 865   apollon086 957    188     1557352448 5300   apollon077
eca-rers2012/Problem05_label29_true-unreach-call.c 110    62.1   3000233984 783   apollon022 902    171     1503690752 5040   apollon048
eca-rers2012/Problem05_label31_true-unreach-call.c 110    59.7   2889883648 992   apollon087 867    168     1513365504 4620   apollon071
eca-rers2012/Problem05_label34_true-unreach-call.c 104    58.7   2660499456 820   apollon151 876    168     1491587072 4340   apollon053
eca-rers2012/Problem05_label35_true-unreach-call.c 104    65.5   2769391616 945   apollon034 956    177     1490784256 4730   apollon025
eca-rers2012/Problem05_label42_true-unreach-call.c 103    65.6   2804101120 1110   apollon160 860    166     1490747392 4950   apollon027
eca-rers2012/Problem05_label43_true-unreach-call.c 111    64.9   3022307328 858   apollon089 883    169     1497186304 4860   apollon138
eca-rers2012/Problem05_label45_true-unreach-call.c 103    61.0   2830966784 946   apollon047 840    163     1496113152 4090   apollon123
eca-rers2012/Problem05_label46_true-unreach-call.c 103    60.2   2555273216 871   apollon099 872    167     1499312128 4570   apollon055
eca-rers2012/Problem05_label49_true-unreach-call.c 103    68.9   2237898752 896   apollon086 956    210     1672769536 5150   apollon037
eca-rers2012/Problem05_label50_true-unreach-call.c 104    59.6   2227777536 1010   apollon161 956    187     1576734720 4780   apollon066
eca-rers2012/Problem05_label52_true-unreach-call.c 109    62.5   3031785472 945   apollon168 868    166     1489563648 5110   apollon125
eca-rers2012/Problem05_label53_true-unreach-call.c 104    60.2   2609635328 1010   apollon161 850    163     1496170496 4520   apollon017
eca-rers2012/Problem05_label54_true-unreach-call.c 110    64.8   2703540224 882   apollon126 840    164     1509990400 4800   apollon069
eca-rers2012/Problem05_label56_true-unreach-call.c 110    65.4   3045056512 994   apollon087 855    167     1506115584 4440   apollon061
eca-rers2012/Problem05_label59_true-unreach-call.c 106    60.2   2398224384 813   apollon098 895    184     1557966848 4860   apollon090
eca-rers2012/Problem06_label03_true-unreach-call.c 106    63.3   2546061312 942   apollon018 957    322     2327310336 6790   apollon163
eca-rers2012/Problem06_label06_true-unreach-call.c 103    52.1   2662887424 755   apollon151 954    411     3176644608 7140   apollon087
eca-rers2012/Problem06_label07_true-unreach-call.c 104    61.3   2707263488 978   apollon017 957    373     2496688128 6540   apollon075
eca-rers2012/Problem06_label08_true-unreach-call.c 102    55.7   2717536256 1040   apollon161 956    328     2344947712 6120   apollon097
eca-rers2012/Problem06_label13_true-unreach-call.c 104    55.3   2684444672 1010   apollon148 954    343     2436493312 6190   apollon131
eca-rers2012/Problem06_label14_true-unreach-call.c 103    52.2   2342408192 816   apollon117 890    204     1695211520 4900   apollon133
eca-rers2012/Problem06_label16_true-unreach-call.c 103    57.1   2383171584 883   apollon106 903    204     1685512192 5090   apollon113
eca-rers2012/Problem06_label17_true-unreach-call.c 106    55.4   2640535552 791   apollon040 955    212     1701646336 6100   apollon160
eca-rers2012/Problem06_label18_true-unreach-call.c 103    58.1   2528108544 919   apollon011 955    205     1627738112 5850   apollon057
eca-rers2012/Problem06_label19_true-unreach-call.c 104    52.2   2441084928 872   apollon067 954    212     1696014336 5580   apollon152
eca-rers2012/Problem06_label22_true-unreach-call.c 103    58.8   2212081664 830   apollon128 953    217     1696628736 5780   apollon020
eca-rers2012/Problem06_label23_true-unreach-call.c 104    56.8   2264576000 827   apollon128 954    215     1691549696 5560   apollon141
eca-rers2012/Problem06_label25_true-unreach-call.c 104    58.1   2761375744 985   apollon125 956    204     1618767872 5300   apollon065
eca-rers2012/Problem06_label26_true-unreach-call.c 104    59.9   3493298176 855   apollon127 684    180     1702338560 4370   apollon126
eca-rers2012/Problem06_label28_true-unreach-call.c 103    63.7   2354274304 940   apollon085 952    214     1750835200 4890   apollon127
eca-rers2012/Problem06_label30_true-unreach-call.c 103    60.8   2305183744 864   apollon033 838    195     1717182464 5280   apollon036
eca-rers2012/Problem06_label31_true-unreach-call.c 104    60.0   2262589440 796   apollon152 956    236     1875492864 5390   apollon032
eca-rers2012/Problem06_label32_true-unreach-call.c 107    65.5   2787696640 900   apollon121 955    212     1691627520 5880   apollon106
eca-rers2012/Problem06_label34_true-unreach-call.c 102    57.8   2788851712 922   apollon072 957    212     1713827840 4830   apollon116
eca-rers2012/Problem06_label35_true-unreach-call.c 102    55.6   2347589632 1040   apollon148 957    232     1883365376 4980   apollon134
eca-rers2012/Problem06_label39_true-unreach-call.c 109    64.5   3245150208 1010   apollon087 955    211     1706041344 5970   apollon125
eca-rers2012/Problem06_label40_true-unreach-call.c 108    56.8   3026104320 895   apollon018 955    235     1871691776 6250   apollon021
eca-rers2012/Problem06_label41_true-unreach-call.c 104    60.1   2696761344 924   apollon070 955    212     1699553280 5340   apollon156
eca-rers2012/Problem06_label42_true-unreach-call.c 107    58.3   2796437504 881   apollon025 726    183     1735843840 4270   apollon052
eca-rers2012/Problem06_label43_true-unreach-call.c 103    61.6   2800140288 885   apollon141 955    213     1695993856 5880   apollon044
eca-rers2012/Problem06_label45_true-unreach-call.c 103    64.9   2741825536 1150   apollon044 951    215     1791045632 4880   apollon123
eca-rers2012/Problem06_label46_true-unreach-call.c 103    58.1   2320236544 812   apollon012 955    212     1702084608 5670   apollon064
eca-rers2012/Problem06_label49_true-unreach-call.c 104    58.4   2528325632 859   apollon119 956    205     1625513984 4960   apollon150
eca-rers2012/Problem06_label50_true-unreach-call.c 104    55.4   2685923328 686   apollon123 957    212     1713717248 4840   apollon083
eca-rers2012/Problem06_label51_true-unreach-call.c 103    59.2   2610155520 916   apollon019 736    184     1737691136 4370   apollon084
eca-rers2012/Problem06_label52_true-unreach-call.c 103    63.1   3573747712 1130   apollon044 930    210     1708511232 5000   apollon166
eca-rers2012/Problem06_label53_true-unreach-call.c 103    56.5   2368655360 836   apollon127 812    193     1725788160 5110   apollon014
eca-rers2012/Problem06_label54_true-unreach-call.c 103    58.1   2569375744 823   apollon078 956    203     1613701120 4980   apollon035
eca-rers2012/Problem06_label55_true-unreach-call.c 104    54.8   2802696192 715   apollon123 956    205     1624547328 5000   apollon072
eca-rers2012/Problem06_label57_true-unreach-call.c 104    58.6   2690793472 846   apollon117 956    203     1620611072 5880   apollon160