Tool CMCReduction CMC Reduction 1.0 CPAchecker 1.6.1-svn 25656M
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 00:22:00 CET
Run set congen.predicate cpachecker-current.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 -heap 10000M -noout -disable-java-assertions -valueAnalysis-Cegar
../../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 902    876     3934334976 9700   apollon016
array-examples/sorting_bubblesort_false-unreach-call2_ground.i 2.48 1.06  266936320 22.8 apollon077 901    871     1406218240 11400   apollon088
array-examples/sorting_bubblesort_false-unreach-call_ground.i 2.58 1.06  271364096 23.2 apollon146 902    872     1417289728 9850   apollon017
array-examples/sorting_selectionsort_false-unreach-call2_ground.i 2.52 1.05  273469440 25.9 apollon021 901    871     1681899520 5840   apollon166
array-examples/sorting_selectionsort_false-unreach-call_ground.i 2.51 1.10  269996032 22.5 apollon070 901    870     1884459008 10000   apollon011
array-examples/standard_allDiff2_false-unreach-call_ground.i 2.55 1.02  272674816 20.6 apollon100 902    873     1724186624 7150   apollon153
array-examples/standard_copy1_false-unreach-call_ground.i 2.47 1.04  270622720 21.5 apollon012 902    873     1277923328 8920   apollon054
array-examples/standard_copy2_false-unreach-call_ground.i 2.63 1.07  266743808 24.9 apollon044 902    872     1636401152 9580   apollon028
array-examples/standard_copy3_false-unreach-call_ground.i 2.54 1.10  266362880 21.5 apollon157 902    873     1479774208 9530   apollon076
array-examples/standard_copy4_false-unreach-call_ground.i 2.57 1.05  271839232 23.3 apollon112 902    873     1226358784 11300   apollon065
array-examples/standard_copy5_false-unreach-call_ground.i 2.76 1.09  293363712 23.0 apollon025 902    873     1106644992 11300   apollon010
array-examples/standard_copy6_false-unreach-call_ground.i 2.47 1.03  267083776 22.3 apollon120 902    871     1802584064 8770   apollon118
array-examples/standard_copy7_false-unreach-call_ground.i 2.52 1.07  271093760 25.7 apollon057 902    872     1370955776 12300   apollon080
array-examples/standard_copy8_false-unreach-call_ground.i 2.74 1.13  269246464 23.6 apollon015 902    872     2057498624 12900   apollon056
array-examples/standard_copy9_false-unreach-call_ground.i 2.61 1.06  270417920 21.9 apollon045 901    873     1663197184 8400   apollon031
array-examples/standard_copyInitSum2_false-unreach-call_ground.i 2.44 1.04  267759616 21.5 apollon085 902    872     1692954624 10500   apollon011
array-examples/standard_init1_false-unreach-call_ground.i 2.45 1.04  267902976 20.9 apollon157 902    871     2003038208 10000   apollon058
array-examples/standard_init2_false-unreach-call_ground.i 2.38 1.03  268550144 22.5 apollon067 902    872     1548779520 11900   apollon130
array-examples/standard_init3_false-unreach-call_ground.i 2.47 1.02  271982592 25.8 apollon021 902    871     1310781440 8880   apollon138
array-examples/standard_init4_false-unreach-call_ground.i 2.61 1.08  274423808 20.3 apollon089 902    871     1708097536 8760   apollon118
array-examples/standard_init5_false-unreach-call_ground.i 2.56 1.04  266813440 22.3 apollon118 902    873     1559531520 9150   apollon045
array-examples/standard_init6_false-unreach-call_ground.i 2.57 1.05  267812864 23.4 apollon152 902    870     1825439744 8460   apollon032
array-examples/standard_init7_false-unreach-call_ground.i 2.48 1.04  269676544 25.6 apollon021 902    872     1944133632 10300   apollon072
array-examples/standard_init8_false-unreach-call_ground.i 2.50 1.06  268128256 21.8 apollon018 902    871     1820856320 10200   apollon125
array-examples/standard_init9_false-unreach-call_ground.i 2.54 1.05  269008896 26.2 apollon039 902    872     1630605312 6820   apollon022
array-examples/standard_minInArray_false-unreach-call_ground.i 2.61 1.02  267812864 23.6 apollon015 902    871     1908752384 8950   apollon013
array-examples/standard_partition_false-unreach-call_ground.i 2.51 1.06  268705792 21.6 apollon082 902    871     1778827264 8900   apollon013
array-examples/standard_running_false-unreach-call.i 2.64 1.07  264208384 21.3 apollon053 902    872     1778900992 11500   apollon140
array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i 2.60 1.06  272642048 20.8 apollon151 902    876     3914706944 8080   apollon050
array-examples/data_structures_set_multi_proc_true-unreach-call_ground.i 2.47 1.06  266264576 20.2 apollon117 902    877     3916451840 10500   apollon142
array-examples/relax_true-unreach-call.i 6.31 2.05  316092416 54.9 apollon007 2.99 1.20  258478080 28.0 apollon048
array-examples/sanfoundry_02_true-unreach-call_ground.i 2.54 1.05  269328384 20.6 apollon099 902    876     1785090048 8070   apollon137
array-examples/sanfoundry_10_true-unreach-call_ground.i 101    73.5   3730948096 1140   apollon018 901    872     1389658112 7940   apollon123
array-examples/sanfoundry_24_true-unreach-call_true-termination.i 2.46 1.05  268558336 22.1 apollon084 2.25 .957 210468864 17.3 apollon092
array-examples/sanfoundry_27_true-unreach-call_ground.i 2.48 1.06  265367552 21.5 apollon072 902    872     1973755904 6850   apollon023
array-examples/sanfoundry_43_true-unreach-call_ground.i 2.53 1.05  266354688 25.7 apollon160 2.42 .952 237719552 22.5 apollon136
array-examples/sorting_bubblesort_true-unreach-call_ground.i 2.53 1.08  269271040 21.5 apollon157 901    871     1699160064 11000   apollon064
array-examples/sorting_selectionsort_true-unreach-call_ground.i 2.50 1.04  269221888 21.7 apollon026 901    871     1777856512 6510   apollon141
array-examples/standard_compareModified_true-unreach-call_ground.i 2.37 1.05  269266944 21.6 apollon087 902    873     1339625472 7130   apollon131
array-examples/standard_compare_true-unreach-call_ground.i 2.49 1.04  266219520 21.2 apollon002 902    870     1935097856 12400   apollon039
array-examples/standard_copy1_true-unreach-call_ground.i 2.46 1.06  264511488 21.5 apollon072 901    872     1392132096 8690   apollon137
array-examples/standard_copy2_true-unreach-call_ground.i 2.68 1.09  274247680 19.3 apollon158 902    873     1293479936 9040   apollon151
array-examples/standard_copy3_true-unreach-call_ground.i 2.48 1.05  263942144 23.7 apollon161 902    872     1360232448 10300   apollon058
array-examples/standard_copy4_true-unreach-call_ground.i 2.50 1.07  270069760 22.7 apollon093 902    873     1338601472 8380   apollon042
array-examples/standard_copy5_true-unreach-call_ground.i 2.54 1.08  270479360 23.8 apollon020 902    873     1233596416 8750   apollon150
array-examples/standard_copy6_true-unreach-call_ground.i 2.49 1.05  264380416 24.6 apollon081 902    872     1408684032 11500   apollon005
array-examples/standard_copy7_true-unreach-call_ground.i 2.72 1.06  294158336 23.9 apollon120 902    873     1191190528 8160   apollon158
array-examples/standard_copy8_true-unreach-call_ground.i 2.65 1.05  291987456 24.5 apollon077 902    872     1774952448 10100   apollon122
array-examples/standard_copy9_true-unreach-call_ground.i 2.56 1.06  270852096 22.6 apollon084 902    872     1306996736 10300   apollon047
array-examples/standard_copyInitSum2_true-unreach-call_ground.i 2.56 1.04  271286272 21.4 apollon045 902    873     1425620992 10900   apollon125
array-examples/standard_copyInitSum3_true-unreach-call_ground.i 2.48 1.06  270450688 21.2 apollon082 902    873     1243217920 8860   apollon037
array-examples/standard_copyInitSum_true-unreach-call_ground.i 2.49 1.05  270446592 24.7 apollon106 902    872     1914744832 8350   apollon048
array-examples/standard_copyInit_true-unreach-call_ground.i 2.46 1.09  266682368 24.3 apollon030 902    872     1804914688 7350   apollon157
array-examples/standard_find_true-unreach-call_ground.i 2.48 1.05  268480512 25.1 apollon057 902    873     1710039040 9230   apollon046
array-examples/standard_init1_true-unreach-call_ground.i 2.48 1.03  265166848 21.4 apollon095 902    871     1719488512 9610   apollon134
array-examples/standard_init2_true-unreach-call_ground.i 2.59 1.06  271470592 19.1 apollon092 902    871     2024648704 7430   apollon158
array-examples/standard_init3_true-unreach-call_ground.i 2.48 1.02  269938688 21.0 apollon058 902    872     1289179136 10400   apollon122
array-examples/standard_init4_true-unreach-call_ground.i 2.47 1.04  266502144 20.6 apollon127 902    871     1749114880 9740   apollon125
array-examples/standard_init5_true-unreach-call_ground.i 2.58 1.07  267907072 22.5 apollon142 902    872     1242857472 13000   apollon057
array-examples/standard_init6_true-unreach-call_ground.i 2.44 1.05  267489280 20.0 apollon098 902    873     1684729856 11400   apollon024
array-examples/standard_init7_true-unreach-call_ground.i 2.51 1.08  267612160 19.6 apollon151 902    871     1307353088 9200   apollon102
array-examples/standard_init8_true-unreach-call_ground.i 2.49 1.04  270630912 23.9 apollon047 902    871     1669378048 9010   apollon143
array-examples/standard_init9_true-unreach-call_ground.i 2.51 1.04  266563584 20.3 apollon043 902    872     1499099136 7430   apollon159
array-examples/standard_maxInArray_true-unreach-call_ground.i 2.48 1.03  268001280 22.4 apollon168 902    873     1345503232 6300   apollon157
array-examples/standard_minInArray_true-unreach-call_ground.i 2.65 1.04  269180928 21.1 apollon042 902    871     1926725632 7060   apollon152
array-examples/standard_palindrome_true-unreach-call_ground.i 2.54 1.05  273584128 19.8 apollon151 902    873     1521963008 9700   apollon095
array-examples/standard_partial_init_true-unreach-call_ground.i 2.67 1.11  270290944 25.1 apollon106 902    872     1877528576 7770   apollon163
array-examples/standard_partition_original_true-unreach-call_ground.i 2.73 1.17  270344192 22.4 apollon168 902    871     1390448640 10900   apollon167
array-examples/standard_partition_true-unreach-call_ground.i 2.50 1.05  271712256 21.1 apollon053 902    871     1991979008 7040   apollon124
array-examples/standard_password_true-unreach-call_ground.i 2.42 1.03  269025280 22.2 apollon038 901    871     1787576320 7520   apollon008
array-examples/standard_reverse_true-unreach-call_ground.i 2.55 1.06  269656064 24.2 apollon161 902    873     1517346816 8080   apollon078
array-examples/standard_running_true-unreach-call.i 2.48 1.05  271241216 20.7 apollon133 902    872     1787822080 8760   apollon093
array-examples/standard_sentinel_true-unreach-call_true-termination.i 2.45 1.03  268648448 22.5 apollon032 2.28 .990 208695296 22.4 apollon164
array-examples/standard_seq_init_true-unreach-call_ground.i 2.47 1.06  270946304 21.4 apollon042 902    873     1258254336 8210   apollon002
array-examples/standard_strcmp_true-unreach-call_ground.i 2.66 1.05  295841792 24.4 apollon076 901    872     1524723712 7540   apollon029
array-examples/standard_strcpy_original_true-unreach-call.i 2.57 1.07  264450048 23.6 apollon081 902    872     1778515968 8840   apollon154
array-examples/standard_strcpy_true-unreach-call_ground.i 2.48 1.02  269180928 23.9 apollon007 902    872     1681371136 9530   apollon049
array-examples/standard_two_index_01_true-unreach-call.i 2.47 1.03  271372288 24.1 apollon014 172    156     1342173184 1860   apollon023
array-examples/standard_two_index_02_true-unreach-call.i 2.55 1.06  266633216 22.9 apollon167 902    872     1773617152 9120   apollon156
array-examples/standard_two_index_03_true-unreach-call.i 2.57 1.06  266534912 20.9 apollon025 55.4  45.8   1896759296 624   apollon156
array-examples/standard_two_index_04_true-unreach-call.i 2.53 1.04  268087296 25.4 apollon057 902    875     3865092096 11300   apollon071
array-examples/standard_two_index_05_true-unreach-call.i 2.46 1.02  268779520 20.8 apollon058 902    878     3626135552 11500   apollon068
array-examples/standard_two_index_06_true-unreach-call.i 2.44 1.04  266018816 20.2 apollon123 47.8  38.7   1878347776 545   apollon070
array-examples/standard_two_index_07_true-unreach-call.i 2.48 1.04  269139968 22.3 apollon142 901    872     2364907520 9770   apollon133
array-examples/standard_two_index_08_true-unreach-call.i 2.51 1.04  269012992 22.7 apollon032 902    868     1320210432 9820   apollon004
array-examples/standard_two_index_09_true-unreach-call.i 2.50 1.05  267792384 21.2 apollon157 901    870     1657491456 11700   apollon130
array-examples/standard_vararg_true-unreach-call_ground_true-termination.i 2.47 1.03  272302080 21.7 apollon004 2.56 1.06  253673472 22.4 apollon049
array-examples/standard_vector_difference_true-unreach-call_ground.i 2.44 1.03  263282688 22.9 apollon015 902    872     1691627520 8940   apollon050
array-industry-pattern/array_assert_loop_dep_false-unreach-call_true-termination.i 2.58 1.05  270540800 25.9 apollon039 902    871     1755590656 9460   apollon019
array-industry-pattern/array_of_struct_loop_dep_false-unreach-call.i 101    72.2   3686895616 1160   apollon141 902    870     1779040256 11000   apollon021
array-industry-pattern/array_ptr_single_elem_init_false-unreach-call_true-termination.i 2.56 1.10  267821056 21.8 apollon011 901    873     3856592896 9750   apollon033
array-industry-pattern/array_range_init_false-unreach-call.i 2.48 1.04  265711616 22.6 apollon168 903    872     3878965248 11500   apollon011
array-industry-pattern/array_single_elem_init_false-unreach-call_true-termination.i 2.49 1.04  269717504 24.6 apollon016 901    875     3826913280 9560   apollon043
array-industry-pattern/check_removal_from_set_after_insertion_false-unreach-call.i 101    71.3   3689865216 1060   apollon025 901    871     1685176320 9100   apollon137
array-industry-pattern/array_monotonic_true-unreach-call_true-termination.i 2.51 1.08  267730944 21.8 apollon121 902    871     1573588992 9560   apollon001
array-industry-pattern/array_mul_init_true-unreach-call_true-termination.i 2.46 1.04  265089024 21.1 apollon157 902    871     1604124672 9330   apollon142
array-industry-pattern/array_of_struct_break_true-unreach-call.i 101    73.8   3707666432 1050   apollon100 902    872     1545629696 9750   apollon079
array-industry-pattern/array_of_struct_ptr_cond_init_true-unreach-call.i 101    77.5   3476049920 1180   apollon085 902    872     1592844288 8960   apollon133
array-industry-pattern/array_of_struct_ptr_flag_init_true-unreach-call.i 101    74.5   3696898048 1040   apollon128 901    870     1954238464 8810   apollon154
array-industry-pattern/array_of_struct_ptr_monotonic_true-unreach-call.i 101    78.2   3546808320 1180   apollon011 902    872     1624666112 9160   apollon058
array-industry-pattern/array_of_struct_ptr_mul_init_true-unreach-call.i 101    72.5   3717758976 1100   apollon156 902    875     2153209856 7120   apollon101
array-industry-pattern/array_of_struct_single_elem_init_true-unreach-call.i 101    73.4   3714146304 975   apollon054 902    873     1620848640 10400   apollon085
array-industry-pattern/array_ptr_partial_init_true-unreach-call.i 101    74.9   3696025600 1100   apollon012 902    872     1743552512 11300   apollon132
array-industry-pattern/array_ptr_single_elem_init_true-unreach-call.i 101    75.4   3036516352 1050   apollon128 902    872     1601785856 10400   apollon014
array-industry-pattern/array_shadowinit_true-unreach-call_true-termination.i 101    76.0   3866857472 1240   apollon140 2.41 .957 208424960 21.7 apollon068
reducercommutativity/rangesum05_false-unreach-call_true-termination.i 7.69 2.37  413929472 56.8 apollon043 3.42 1.25  269062144 26.5 apollon134
reducercommutativity/rangesum10_false-unreach-call_true-termination.i 12.5  3.47  480616448 107   apollon125 4.25 1.43  272535552 33.4 apollon034
reducercommutativity/rangesum20_false-unreach-call.i 31.2  7.98  1050562560 247   apollon018 4.75 1.53  350486528 39.0 apollon156
reducercommutativity/rangesum40_false-unreach-call.i 59.3  28.1   2526670848 580   apollon152 6.07 1.98  396464128 52.0 apollon030
reducercommutativity/rangesum60_false-unreach-call.i 101    62.0   3709898752 998   apollon086 7.73 2.53  519798784 70.3 apollon140
reducercommutativity/rangesum_false-unreach-call_true-termination.i 8.10 2.38  463929344 73.3 apollon057 902    871     2033852416 7850   apollon155
reducercommutativity/avg05_true-unreach-call_true-termination.i 101    71.8   4092358656 1120   apollon020 3.24 1.20  277422080 29.4 apollon108
reducercommutativity/avg10_true-unreach-call_true-termination.i 101    67.7   4059254784 878   apollon158 3.31 1.20  278634496 29.7 apollon006
reducercommutativity/avg20_true-unreach-call.i 101    61.5   2672193536 894   apollon009 3.61 1.27  282443776 31.2 apollon113
reducercommutativity/avg40_true-unreach-call.i 65.4  32.7   2740805632 684   apollon030 4.72 1.54  285802496 36.4 apollon075
reducercommutativity/avg60_true-unreach-call.i 101    70.1   3723132928 1230   apollon007 4.72 1.48  284065792 39.4 apollon071
reducercommutativity/avg_true-unreach-call_true-termination.i 101    70.6   4207607808 984   apollon040 2.65 1.02  275349504 25.3 apollon080
reducercommutativity/max05_true-unreach-call_true-termination.i 101    82.2   1129910272 796   apollon101 4.82 1.52  287838208 44.3 apollon056
reducercommutativity/max10_true-unreach-call_true-termination.i 102    81.1   1571536896 1150   apollon085 5.61 1.77  398323712 52.5 apollon111
reducercommutativity/max20_true-unreach-call.i 102    59.7   3975331840 1160   apollon160 8.34 2.65  521310208 78.0 apollon056
reducercommutativity/max40_true-unreach-call.i 65.6  33.5   2954465280 555   apollon158 11.3  5.00  857477120 90.8 apollon117
reducercommutativity/max60_true-unreach-call.i 101    70.4   3720253440 1150   apollon052 16.2  8.83  1166409728 169   apollon015
reducercommutativity/max_true-unreach-call_true-termination.i 101    78.1   3196026880 1100   apollon162 3.40 1.19  278106112 24.7 apollon092
reducercommutativity/sep05_true-unreach-call_true-termination.i 101    73.4   3047858176 879   apollon076 4.66 1.52  284782592 40.4 apollon126
reducercommutativity/sep10_true-unreach-call.i 101    79.6   2550169600 1090   apollon045 5.74 1.76  401973248 49.9 apollon120
reducercommutativity/sep20_true-unreach-call.i 101    38.3   3863842816 771   apollon005 8.31 2.72  521121792 65.5 apollon003
reducercommutativity/sep40_true-unreach-call.i 68.5  36.4   3073941504 653   apollon107 11.2  4.69  863272960 105   apollon009
reducercommutativity/sep60_true-unreach-call.i 101    68.4   3695423488 1020   apollon002 15.6  8.66  1209810944 157   apollon131
reducercommutativity/sep_true-unreach-call_true-termination.i 101    70.5   3884142592 1100   apollon018 3.38 1.21  280215552 30.1 apollon094
reducercommutativity/sum05_true-unreach-call_true-termination.i 101    80.1   3679051776 1130   apollon086 3.24 1.21  277188608 24.9 apollon040
reducercommutativity/sum10_true-unreach-call_true-termination.i 101    70.7   4019585024 1120   apollon071 3.46 1.21  279146496 29.7 apollon118
reducercommutativity/sum20_true-unreach-call.i 101    62.1   2938724352 817   apollon092 3.99 1.39  280449024 31.6 apollon127
reducercommutativity/sum40_true-unreach-call.i 62.7  31.0   2867589120 603   apollon120 4.41 1.44  284237824 38.7 apollon093
reducercommutativity/sum60_true-unreach-call.i 101    71.0   3711438848 1110   apollon162 4.86 1.48  289103872 41.1 apollon136
reducercommutativity/sum_true-unreach-call_true-termination.i 101    76.1   3641413632 1170   apollon038 3.02 1.12  277979136 30.0 apollon039
array-tiling/mlceu_false-unreach-call.i 3.63 1.50  282714112 31.9 apollon084 2.17 .987 212381696 18.2 apollon117
array-tiling/skippedu_false-unreach-call.i 3.63 1.44  288727040 31.1 apollon026 2.24 .979 206327808 21.2 apollon114
array-tiling/mbpr2_true-unreach-call.i 101    67.8   3743059968 1150   apollon081 2.49 1.05  254668800 22.1 apollon166
array-tiling/mbpr3_true-unreach-call.i 101    65.5   3797508096 1140   apollon007 2.41 1.03  252522496 22.1 apollon096
array-tiling/mbpr4_true-unreach-call.i 101    68.1   3704430592 958   apollon151 2.57 1.07  250535936 21.0 apollon143
array-tiling/mbpr5_true-unreach-call.i 101    72.4   3754287104 1260   apollon014 2.50 1.04  248860672 22.0 apollon025
array-tiling/nr2_true-unreach-call.i 101    69.6   3708661760 1020   apollon042 2.51 1.02  249294848 21.0 apollon018
array-tiling/nr3_true-unreach-call.i 101    72.0   3858083840 1190   apollon167 2.46 1.01  252059648 23.5 apollon007
array-tiling/nr4_true-unreach-call.i 101    69.1   3838636032 1040   apollon034 2.41 .991 255180800 20.6 apollon025
array-tiling/nr5_true-unreach-call.i 101    64.7   3552428032 894   apollon158 2.29 .978 235565056 20.9 apollon052
array-tiling/pnr2_true-unreach-call.i 101    70.1   3902996480 1130   apollon146 2.33 .976 214364160 21.1 apollon072
array-tiling/pnr3_true-unreach-call.i 101    61.8   4284567552 1070   apollon091 2.23 1.01  212025344 22.6 apollon163
array-tiling/pnr4_true-unreach-call.i 101    65.1   4213096448 1030   apollon146 2.23 .988 209993728 22.8 apollon163
array-tiling/pnr5_true-unreach-call.i 105    58.6   4311687168 965   apollon082 2.24 .987 213876736 22.1 apollon094
array-tiling/poly1_true-unreach-call.i 101    75.9   2480005120 992   apollon079 2.17 .948 212606976 22.2 apollon008
array-tiling/poly2_true-unreach-call.i 101    70.5   3057106944 999   apollon002 2.24 .949 215404544 18.5 apollon041
array-tiling/pr2_true-unreach-call.i 101    71.5   3607281664 1170   apollon164 2.42 1.03  250560512 20.0 apollon104
array-tiling/pr3_true-unreach-call.i 101    76.4   3561402368 1100   apollon079 2.43 .996 250388480 22.3 apollon052
array-tiling/pr4_true-unreach-call.i 101    72.8   3111403520 1090   apollon078 2.46 1.01  252309504 21.2 apollon053
array-tiling/pr5_true-unreach-call.i 101    76.9   3330641920 1260   apollon019 2.44 1.03  248348672 25.0 apollon056
array-tiling/revcpyswp2_true-unreach-call.i 101    75.9   3419410432 1100   apollon086 2.52 1.01  251887616 18.9 apollon043
array-tiling/rew_true-unreach-call.i 102    68.0   3862368256 1050   apollon058 2.21 .939 205856768 19.5 apollon025
array-tiling/rewnif_true-unreach-call.i 101    71.0   3374350336 1250   apollon044 2.16 .945 210415616 20.4 apollon084
array-tiling/rewnifrev2_true-unreach-call.i 101    74.7   2781618176 1150   apollon095 2.16 .945 211197952 19.2 apollon023
array-tiling/rewnifrev_true-unreach-call.i 101    76.7   2974679040 1130   apollon119 2.23 .939 210722816 20.0 apollon165
array-tiling/rewrev_true-unreach-call.i 101    77.2   2405355520 1040   apollon151 2.41 1.01  252260352 20.1 apollon129
array-tiling/skipped_true-unreach-call.i 101    66.6   4037947392 1020   apollon032 2.21 .949 210796544 20.8 apollon055
array-tiling/tcpy_true-unreach-call.i 101    71.5   3962458112 1260   apollon161 2.17 .963 210821120 20.5 apollon097
array-programs/copysome1_false-unreach-call.i 2.65 1.04  291065856 24.0 apollon077 902    871     2011451392 6700   apollon055
array-programs/copysome2_false-unreach-call.i 2.45 1.04  270254080 20.2 apollon099 902    872     1537957888 9270   apollon068
array-programs/copysome1_true-unreach-call.i 2.71 1.05  290291712 23.2 apollon034 902    872     1316495360 8980   apollon095
array-programs/copysome2_true-unreach-call.i 2.42 1.05  268816384 20.6 apollon127 902    873     1593929728 11600   apollon130
bitvector/byte_add_false-unreach-call_true-no-overflow_true-termination.i 5.26 1.83  301273088 44.9 apollon165 4.78 1.62  280489984 37.2 apollon052
bitvector/sum02_false-unreach-call_true-no-overflow.i 3.52 1.47  280109056 30.1 apollon082 2.44 1.02  249376768 24.1 apollon080
bitvector/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i 6.03 2.09  319234048 51.7 apollon091 5.75 1.77  393138176 47.7 apollon051
bitvector/byte_add_2_true-unreach-call_true-no-overflow_true-termination.i 5.73 1.89  317952000 52.7 apollon126 5.95 1.87  391737344 47.7 apollon129
bitvector/gcd_1_true-unreach-call_true-no-overflow.i 4.10 1.51  304193536 33.4 apollon079 2.58 .994 237445120 24.0 apollon136
bitvector/gcd_2_true-unreach-call_true-no-overflow.i 3.46 1.37  273186816 31.5 apollon112 2.59 .973 232386560 18.9 apollon158
bitvector/gcd_3_true-unreach-call_true-no-overflow.i 3.62 1.47  288235520 31.8 apollon076 2.54 .991 233754624 21.9 apollon085
bitvector/gcd_4_true-unreach-call_true-no-overflow_true-termination.i 5.16 1.76  313200640 44.6 apollon156 3.29 1.16  277078016 27.0 apollon011
bitvector/interleave_bits_true-unreach-call_true-no-overflow.i 7.33 2.28  452468736 62.2 apollon126 2.65 1.09  249409536 22.3 apollon004
bitvector/jain_1_true-unreach-call_true-no-overflow_false-termination.i 2.84 1.19  277032960 29.1 apollon021 2.47 .967 232505344 21.2 apollon086
bitvector/jain_2_true-unreach-call_true-no-overflow_false-termination.i 3.21 1.20  293670912 27.2 apollon022 2.42 .939 236871680 20.1 apollon149
bitvector/jain_4_true-unreach-call_true-no-overflow_false-termination.i 3.11 1.25  274595840 27.2 apollon005 2.46 .962 235798528 21.5 apollon119
bitvector/jain_5_true-unreach-call_true-no-overflow.i 101    80.7   2778210304 1220   apollon052 902    874     2662678528 7540   apollon043
bitvector/jain_6_true-unreach-call_true-no-overflow_false-termination.i 3.31 1.25  294891520 25.6 apollon054 2.48 .971 234852352 20.2 apollon043
bitvector/jain_7_true-unreach-call_true-no-overflow_false-termination.i 2.84 1.18  274214912 26.8 apollon022 2.57 .977 234909696 22.9 apollon032
bitvector/modulus_true-unreach-call_true-no-overflow.i 3.14 1.31  277803008 27.8 apollon052 2.25 .976 211841024 22.6 apollon069
bitvector/num_conversion_1_true-unreach-call_true-no-overflow.i 4.90 1.77  305999872 42.5 apollon167 3.24 1.17  279175168 27.6 apollon119
bitvector/num_conversion_2_true-unreach-call_true-no-overflow.i 4.91 1.77  302903296 42.7 apollon032 2.54 1.07  249028608 23.7 apollon102
bitvector/parity_true-unreach-call_true-no-overflow.i 3.31 1.31  286834688 31.4 apollon014 2.20 .959 210300928 21.1 apollon093
bitvector/sum02_true-unreach-call_true-no-overflow.i 3.50 1.45  281563136 34.3 apollon108 2.67 1.02  274845696 22.0 apollon128
bitvector/s3_clnt_1_false-unreach-call_true-no-overflow.BV.c.cil.c 10.6  3.08  467173376 93.6 apollon106 10.3  3.15  526237696 89.8 apollon165
bitvector/s3_clnt_2_false-unreach-call_true-no-overflow.BV.c.cil.c 18.5  5.01  617021440 160   apollon168 11.5  3.53  672489472 90.4 apollon001
bitvector/s3_clnt_3_false-unreach-call_true-no-overflow.BV.c.cil.c 7.04 2.21  388128768 58.5 apollon120 8.96 2.72  520511488 79.7 apollon102
bitvector/s3_clnt_1_true-unreach-call_true-no-overflow.BV.c.cil.c 14.2  4.01  500178944 106   apollon121 16.7  8.95  1067278336 179   apollon140
bitvector/s3_clnt_2_true-unreach-call_true-no-overflow.BV.c.cil.c 24.2  6.77  833982464 199   apollon102 13.5  5.73  791105536 118   apollon154
bitvector/s3_clnt_3_true-unreach-call_true-no-overflow.BV.c.cil.c 101    77.4   3071184896 984   apollon100 11.0  4.24  673636352 95.6 apollon023
bitvector/s3_srvr_1_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 101    75.1   2657251328 1170   apollon070 22.1  13.6   1407143936 215   apollon116
bitvector/s3_srvr_1_true-unreach-call_true-no-overflow.BV.c.cil.c 31.1  8.45  977502208 229   apollon029 17.9  9.28  1351872512 177   apollon017
bitvector/s3_srvr_2_alt_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c 41.9  18.5   1371332608 409   apollon020 13.5  6.26  926212096 130   apollon091
bitvector/s3_srvr_2_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c 42.8  18.2   1405607936 402   apollon168 13.8  6.28  1071669248 129   apollon144
bitvector/s3_srvr_3_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 19.0  5.09  630145024 168   apollon030 18.3  9.86  1122918400 165   apollon090
bitvector/s3_srvr_3_true-unreach-call_true-no-overflow.BV.c.cil.c 62.0  33.8   2281033728 700   apollon161 16.7  9.53  1128419328 179   apollon015
bitvector/soft_float_1_true-unreach-call_true-no-overflow_true-termination.c.cil.c 4.80 1.77  296083456 38.6 apollon100 4.15 1.38  272924672 34.4 apollon006
bitvector/soft_float_2_true-unreach-call_true-no-overflow_true-termination.c.cil.c 7.53 2.34  446177280 63.2 apollon156 6.65 2.07  390995968 58.0 apollon126
bitvector/soft_float_3_true-unreach-call_true-no-overflow_true-termination.c.cil.c 7.39 2.33  444780544 63.0 apollon091 4.20 1.44  262856704 36.7 apollon027
bitvector/soft_float_4_true-unreach-call_true-no-overflow_true-termination.c.cil.c 4.21 1.68  290402304 37.0 apollon076 3.10 1.21  258760704 25.1 apollon154
bitvector/soft_float_5_true-unreach-call_true-no-overflow_true-termination.c.cil.c 7.36 2.33  447238144 64.9 apollon077 5.15 1.66  402579456 43.3 apollon135
bitvector-regression/implicitfloatconversion_false-unreach-call_true-termination.c 3.23 1.23  296452096 32.6 apollon039 2.29 .928 234577920 21.6 apollon067
bitvector-regression/implicitunsignedconversion_false-unreach-call_true-termination.c 2.45 1.06  268267520 24.7 apollon016 2.18 .977 208523264 20.0 apollon070
bitvector-regression/integerpromotion_false-unreach-call_true-termination.c 2.79 1.23  275443712 27.6 apollon148 2.25 .974 210821120 19.4 apollon062
bitvector-regression/recHanoi03_false-unreach-call_true-termination.c 2.53 1.10  267939840 22.0 apollon011 2.44 .971 234196992 21.0 apollon082
bitvector-regression/signextension2_false-unreach-call_true-termination.c 2.60 1.09  270381056 25.6 apollon016 2.18 .953 212123648 22.1 apollon122
bitvector-regression/signextension_false-unreach-call_true-termination.c 2.55 1.09  272834560 26.6 apollon021 2.31 .953 216174592 20.8 apollon153
bitvector-regression/implicitunsignedconversion_true-unreach-call_true-termination.c 2.94 1.28  276406272 26.1 apollon121 2.15 .936 210882560 22.0 apollon014
bitvector-regression/integerpromotion_true-unreach-call_true-termination.c 2.80 1.24  278286336 24.4 apollon127 2.27 .992 207409152 20.7 apollon130
bitvector-regression/signextension2_true-unreach-call_true-termination.c 3.10 1.31  285671424 30.7 apollon126 2.30 .979 212787200 20.5 apollon085
bitvector-regression/signextension_true-unreach-call_true-termination.c 3.12 1.31  275988480 31.3 apollon111 2.16 .943 214171648 22.2 apollon161
bitvector-loops/diamond_false-unreach-call2.i 6.60 2.03  440332288 58.7 apollon081 2.52 1.06  249651200 22.6 apollon051
bitvector-loops/overflow_false-unreach-call1.i 2.82 1.12  290009088 25.1 apollon052 902    872     1635328000 6940   apollon139
bitvector-loops/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call_true-termination.i 2.88 1.25  270974976 25.6 apollon012 2.55 1.07  251465728 25.3 apollon108
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c 10.5  2.91  467931136 92.6 apollon160 35.2  26.0   1802838016 378   apollon025
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c 7.84 2.35  439459840 64.1 apollon156 29.8  21.2   1808564224 336   apollon147
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c 8.41 2.46  459096064 66.6 apollon095 42.5  31.5   2066874368 539   apollon140
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c 6.15 2.02  326635520 49.7 apollon025 12.1  4.05  746356736 95.0 apollon123
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 8.90 2.66  453758976 68.8 apollon157 54.0  44.4   2311618560 646   apollon071
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 7.15 2.11  430432256 59.3 apollon112 37.4  27.9   1615073280 454   apollon138
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c 5.99 1.94  332750848 50.8 apollon070 32.2  21.9   1654382592 329   apollon116
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c 7.36 2.23  406474752 63.9 apollon022 45.2  33.3   1939988480 486   apollon025
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 3.63 1.40  280764416 35.6 apollon126 10.4  3.30  666443776 92.9 apollon159
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c 4.60 1.58  281321472 39.3 apollon146 13.0  4.88  849219584 122   apollon130
ssh-simplified/s3_clnt_1_false-unreach-call_true-termination.cil.c 9.16 2.75  455581696 75.9 apollon051 9.51 2.94  530485248 81.1 apollon002
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c 8.52 2.48  452268032 66.7 apollon018 10.4  3.18  525881344 77.1 apollon054
ssh-simplified/s3_clnt_3_false-unreach-call_true-termination.cil.c 9.85 2.84  453873664 91.4 apollon021 10.1  3.25  502927360 77.3 apollon128
ssh-simplified/s3_clnt_4_false-unreach-call_true-termination.cil.c 8.96 2.59  457687040 76.4 apollon047 10.4  3.07  535736320 75.1 apollon143
ssh-simplified/s3_srvr_10_false-unreach-call_false-termination.cil.c 4.35 1.63  290156544 37.2 apollon026 38.9  30.7   1765691392 506   apollon122
ssh-simplified/s3_srvr_11_false-unreach-call_false-termination.cil.c 49.7  19.2   1668919296 479   apollon125 20.6  12.6   1306963968 209   apollon079
ssh-simplified/s3_srvr_12_false-unreach-call_false-termination.cil.c 60.7  34.1   1772802048 619   apollon009 16.3  8.54  1136656384 172   apollon102
ssh-simplified/s3_srvr_13_false-unreach-call_false-termination.cil.c 9.78 2.78  483901440 73.5 apollon053 14.8  6.17  890384384 130   apollon070
ssh-simplified/s3_srvr_14_false-unreach-call_false-termination.cil.c 7.83 2.35  419213312 58.0 apollon098 33.4  25.1   1554128896 432   apollon069
ssh-simplified/s3_srvr_1_false-unreach-call_false-termination.cil.c 6.74 2.12  351375360 60.0 apollon030 11.5  3.90  685998080 87.6 apollon098
ssh-simplified/s3_srvr_2_false-unreach-call_false-termination.cil.c 6.40 2.06  341139456 52.4 apollon042 10.2  3.74  665423872 93.5 apollon087
ssh-simplified/s3_srvr_6_false-unreach-call_false-termination.cil.c 4.09 1.57  288546816 34.7 apollon070 3.10 1.18  256135168 30.9 apollon111
ssh-simplified/s3_clnt_1_true-unreach-call_true-termination.cil.c 16.2  4.63  621895680 131   apollon127 9.38 3.01  523214848 91.3 apollon080
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c 12.4  3.48  488386560 107   apollon111 10.0  3.08  521547776 90.9 apollon081
ssh-simplified/s3_clnt_3_true-unreach-call_true-termination.cil.c 9.73 2.76  496414720 88.7 apollon111 10.6  3.16  507879424 84.9 apollon037
ssh-simplified/s3_clnt_4_true-unreach-call_true-termination.cil.c 18.1  4.97  612642816 134   apollon017 9.44 3.17  499892224 75.8 apollon110
ssh-simplified/s3_srvr_1_true-unreach-call_false-termination.cil.c 41.7  18.1   1533001728 370   apollon133 17.3  9.39  1089937408 177   apollon168
ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c 7.31 2.23  444444672 61.2 apollon167 5.50 1.79  394285056 50.6 apollon141
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c 3.82 1.48  276803584 34.5 apollon022 3.32 1.28  259854336 30.2 apollon141
ssh-simplified/s3_srvr_2_true-unreach-call_false-termination.cil.c 24.1  6.61  852000768 170   apollon100 17.2  8.73  1263472640 159   apollon073
ssh-simplified/s3_srvr_3_true-unreach-call_false-termination.cil.c 28.2  7.36  799481856 199   apollon117 16.1  8.88  1131302912 186   apollon080
ssh-simplified/s3_srvr_4_true-unreach-call_false-termination.cil.c 31.2  9.52  1082322944 248   apollon011 17.2  8.68  1061355520 158   apollon129
ssh-simplified/s3_srvr_6_true-unreach-call_false-termination.cil.c 101    76.2   2603286528 1050   apollon167 16.4  9.36  1090502656 168   apollon074
ssh-simplified/s3_srvr_7_true-unreach-call_false-termination.cil.c 47.6  24.3   1600352256 450   apollon038 12.6  6.05  931438592 136   apollon094
ssh-simplified/s3_srvr_8_true-unreach-call_false-termination.cil.c 41.6  14.9   1357250560 335   apollon045 17.1  8.51  1165660160 169   apollon017
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c 3.89 1.55  290488320 35.3 apollon118 2.56 1.07  253214720 24.0 apollon047
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c 3.69 1.47  286932992 32.3 apollon085 2.65 1.07  256499712 22.6 apollon107
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c 3.20 1.26  274280448 28.7 apollon004 37.4  29.0   1786880000 419   apollon026
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c 3.29 1.30  272015360 27.6 apollon051 113    104     1920770048 1410   apollon102
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c 3.20 1.26  276197376 29.6 apollon118 425    404     2441510912 6030   apollon125
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c 3.28 1.31  276688896 29.5 apollon004 901    870     3828412416 10500   apollon041
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c 3.31 1.34  275124224 28.9 apollon034 901    870     3847028736 10500   apollon041
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c 3.36 1.30  277331968 28.7 apollon026 901    865     3816796160 12500   apollon028
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c 2.82 1.18  271339520 25.1 apollon078 4.68 1.53  282730496 38.4 apollon009
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c 2.83 1.18  267870208 24.6 apollon085 6.88 2.09  398843904 53.6 apollon072
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c 2.93 1.19  274169856 23.8 apollon043 8.58 2.55  419651584 71.0 apollon118
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c 3.00 1.21  271302656 28.6 apollon020 9.99 4.11  660307968 91.3 apollon031
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c 3.07 1.21  271044608 26.9 apollon087 15.6  9.22  1090957312 148   apollon029
ntdrivers/cdaudio_false-unreach-call.i.cil.c 101    58.2   3856003072 984   apollon107 67.4  53.5   2699083776 700   apollon092
ntdrivers/diskperf_false-unreach-call.i.cil.c 11.5  3.08  487526400 99.5 apollon161 52.2  40.1   1928572928 573   apollon003
ntdrivers/floppy_false-unreach-call.i.cil.c 27.8  7.02  827916288 214   apollon051 72.2  57.4   2447872000 952   apollon014
ntdrivers/kbfiltr_false-unreach-call.i.cil.c 9.18 2.59  472186880 71.0 apollon026 20.4  10.1   1263087616 182   apollon040
ntdrivers/parport_false-unreach-call.i.cil.c 41.1  12.3   1233416192 337   apollon002 902    802     4611469312 9260   apollon149
ntdrivers/cdaudio_true-unreach-call.i.cil.c 13.2  3.52  498647040 108   apollon161 62.4  47.6   2484555776 826   apollon161
ntdrivers/diskperf_true-unreach-call.i.cil.c 10.4  2.82  465846272 85.1 apollon119 51.1  39.1   2051452928 690   apollon044
ntdrivers/floppy2_true-unreach-call_true-termination.i.cil.c 36.7  9.30  1080754176 265   apollon051 65.3  48.5   1402736640 692   apollon045
ntdrivers/floppy_true-unreach-call_true-valid-memsafety.i.cil.c 22.8  5.87  808267776 158   apollon098 54.4  39.6   2033315840 644   apollon052
ntdrivers/parport_true-unreach-call.i.cil.c 48.1  18.0   1745305600 449   apollon167 902    809     4617420800 9680   apollon152
ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c 9.13 2.57  449695744 67.3 apollon058 10.9  3.09  582877184 94.3 apollon052
ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c 9.14 2.59  452468736 80.0 apollon161 11.6  3.23  578359296 85.4 apollon086
ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c 8.63 2.46  425029632 62.6 apollon158 9.67 2.95  538562560 84.3 apollon025
ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c 8.65 2.52  455716864 68.1 apollon038 11.3  3.19  556568576 93.6 apollon047
ssh/s3_srvr.blast.01_false-unreach-call.i.cil.c 8.04 2.33  395956224 61.8 apollon089 11.9  3.59  563826688 101   apollon138
ssh/s3_srvr.blast.02_false-unreach-call.i.cil.c 8.22 2.40  409186304 65.0 apollon053 11.2  3.22  542457856 92.3 apollon168
ssh/s3_srvr.blast.03_false-unreach-call.i.cil.c 7.72 2.25  406921216 61.1 apollon058 10.2  3.04  527667200 89.1 apollon121
ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c 8.04 2.33  421318656 61.0 apollon002 10.2  3.09  530845696 84.9 apollon037
ssh/s3_srvr.blast.06_false-unreach-call.i.cil.c 5.85 1.89  315543552 51.3 apollon019 3.64 1.27  287645696 31.7 apollon103
ssh/s3_srvr.blast.07_false-unreach-call.i.cil.c 9.70 2.76  460361728 80.3 apollon067 11.4  3.29  554860544 98.1 apollon020
ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c 5.83 1.92  310112256 46.1 apollon058 3.70 1.27  286539776 30.2 apollon052
ssh/s3_srvr.blast.09_false-unreach-call.i.cil.c 10.9  3.09  443912192 87.7 apollon022 10.3  3.23  573034496 92.1 apollon096
ssh/s3_srvr.blast.10_false-unreach-call.i.cil.c 5.66 1.87  313110528 48.9 apollon168 3.59 1.27  285675520 30.0 apollon107
ssh/s3_srvr.blast.11_false-unreach-call.i.cil.c 10.3  2.89  481853440 76.8 apollon054 10.1  3.27  524189696 85.0 apollon023
ssh/s3_srvr.blast.12_false-unreach-call.i.cil.c 5.76 1.87  309747712 44.6 apollon123 3.64 1.30  287313920 29.8 apollon107
ssh/s3_srvr.blast.13_false-unreach-call.i.cil.c 10.5  2.93  447406080 82.4 apollon053 11.5  3.21  569008128 106   apollon160
ssh/s3_srvr.blast.14_false-unreach-call.i.cil.c 5.94 1.95  320987136 56.0 apollon125 3.73 1.33  284966912 31.9 apollon017
ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c 5.86 1.86  309665792 50.0 apollon101 3.71 1.25  287662080 31.8 apollon049
ssh/s3_srvr.blast.16_false-unreach-call.i.cil.c 6.07 1.92  310468608 47.0 apollon002 3.37 1.23  264798208 29.2 apollon142
ssh/s3_clnt.blast.01_true-unreach-call.i.cil.c 9.88 2.74  463360000 80.9 apollon070 10.8  3.06  572915712 88.1 apollon123
ssh/s3_clnt.blast.02_true-unreach-call.i.cil.c 9.08 2.61  445390848 70.6 apollon082 11.4  3.42  534364160 86.4 apollon042
ssh/s3_clnt.blast.03_true-unreach-call.i.cil.c 10.4  2.96  451772416 84.8 apollon101 10.6  2.99  555724800 81.8 apollon107
ssh/s3_clnt.blast.04_true-unreach-call.i.cil.c 10.8  2.98  448491520 87.1 apollon076 11.2  3.17  573751296 83.1 apollon123
ssh/s3_srvr.blast.01_true-unreach-call.i.cil.c 10.3  2.98  454479872 73.2 apollon054 10.7  3.10  550985728 77.3 apollon134
ssh/s3_srvr.blast.02_true-unreach-call.i.cil.c 8.51 2.44  474112000 70.8 apollon141 9.88 3.06  543875072 84.1 apollon115
ssh/s3_srvr.blast.06_true-unreach-call.i.cil.c 78.6  40.0   2531569664 760   apollon125 12.5  3.84  719892480 94.2 apollon123
ssh/s3_srvr.blast.07_true-unreach-call.i.cil.c 12.5  3.42  493748224 96.9 apollon051 10.8  3.32  545361920 91.1 apollon090
ssh/s3_srvr.blast.08_true-unreach-call.i.cil.c 16.2  4.48  638615552 145   apollon030 10.6  3.38  540758016 97.4 apollon020
ssh/s3_srvr.blast.09_true-unreach-call.i.cil.c 12.2  3.42  467406848 99.3 apollon101 11.5  3.34  551596032 103   apollon039
ssh/s3_srvr.blast.10_true-unreach-call.i.cil.c 11.5  3.15  471052288 88.4 apollon042 10.6  3.32  526594048 89.3 apollon165
ssh/s3_srvr.blast.11_true-unreach-call.i.cil.c 11.7  3.23  469540864 102   apollon044 11.7  3.31  540991488 88.9 apollon034
ssh/s3_srvr.blast.12_true-unreach-call.i.cil.c 20.4  5.99  646975488 176   apollon140 11.8  3.37  565047296 108   apollon031
ssh/s3_srvr.blast.13_true-unreach-call.i.cil.c 10.5  2.99  446189568 94.1 apollon126 10.6  3.29  537780224 91.9 apollon140
ssh/s3_srvr.blast.14_true-unreach-call.i.cil.c 32.8  12.1   1119997952 300   apollon030 10.7  3.51  650199040 92.4 apollon157
ssh/s3_srvr.blast.15_true-unreach-call.i.cil.c 19.9  5.63  705064960 172   apollon140 10.6  3.53  694038528 85.2 apollon092
ssh/s3_srvr.blast.16_true-unreach-call.i.cil.c 36.6  16.4   1510846464 293   apollon158 12.3  4.07  771096576 105   apollon048
eca-rers2012/Problem01_label15_false-unreach-call_false-termination.c 19.2  5.31  774098944 155   apollon109 902    797     4026531840 12400   apollon125
eca-rers2012/Problem01_label20_false-unreach-call_false-termination.c 26.3  7.53  1136979968 215   apollon009 901    791     4129579008 11400   apollon048
eca-rers2012/Problem01_label21_false-unreach-call_false-termination.c 20.4  5.38  821071872 181   apollon044 901    792     4016541696 10700   apollon153
eca-rers2012/Problem01_label32_false-unreach-call_false-termination.c 29.0  8.58  1047896064 242   apollon020 901    796     4064690176 10800   apollon078
eca-rers2012/Problem01_label33_false-unreach-call_false-termination.c 22.0  6.19  848171008 171   apollon060 902    797     4158390272 10700   apollon074
eca-rers2012/Problem01_label35_false-unreach-call_false-termination.c 26.9  9.13  1037926400 207   apollon058 902    803     4038434816 12200   apollon028
eca-rers2012/Problem01_label37_false-unreach-call_false-termination.c 22.1  5.89  846315520 170   apollon085 902    807     4127760384 11000   apollon162
eca-rers2012/Problem01_label38_false-unreach-call_false-termination.c 21.1  5.64  812269568 168   apollon047 902    798     4055752704 12500   apollon125
eca-rers2012/Problem01_label44_false-unreach-call_false-termination.c 16.0  4.32  600502272 144   apollon125 901    803     4118994944 10300   apollon107
eca-rers2012/Problem01_label47_false-unreach-call_false-termination.c 43.2  21.7   2095919104 429   apollon038 901    793     4135129088 12700   apollon016
eca-rers2012/Problem01_label50_false-unreach-call_false-termination.c 22.0  5.95  801144832 186   apollon044 901    790     4033404928 11300   apollon138
eca-rers2012/Problem01_label56_false-unreach-call_false-termination.c 23.4  6.12  823189504 187   apollon126 902    791     4107657216 10700   apollon074
eca-rers2012/Problem01_label57_false-unreach-call_false-termination.c 43.7  23.2   2018070528 430   apollon032 901    791     4049911808 10000   apollon134
eca-rers2012/Problem02_label13_false-unreach-call_false-termination.c 13.1  3.55  471687168 100   apollon071 902    800     4109246464 11000   apollon076
eca-rers2012/Problem02_label16_false-unreach-call_false-termination.c 11.0  3.11  477917184 90.4 apollon087 902    800     4013883392 10500   apollon097
eca-rers2012/Problem02_label43_false-unreach-call_false-termination.c 12.5  3.39  489721856 105   apollon032 901    800     4175851520 10900   apollon095
eca-rers2012/Problem02_label44_false-unreach-call_false-termination.c 12.2  3.35  474251264 108   apollon020 905    814     3939524608 11700   apollon112
eca-rers2012/Problem02_label45_false-unreach-call_false-termination.c 21.7  5.85  700645376 186   apollon126 902    799     4170321920 10800   apollon156
eca-rers2012/Problem02_label50_false-unreach-call_false-termination.c 18.7  5.20  633774080 160   apollon141 902    780     4164751360 11800   apollon047
eca-rers2012/Problem02_label59_false-unreach-call_false-termination.c 16.7  4.41  586911744 139   apollon047 902    804     3828248576 11300   apollon101
eca-rers2012/Problem03_label09_false-unreach-call.c 81.6  50.0   2407669760 935   apollon140 902    838     4029685760 11300   apollon124
eca-rers2012/Problem03_label13_false-unreach-call.c 49.2  24.6   1945714688 515   apollon126 902    843     3854270464 9920   apollon060
eca-rers2012/Problem03_label26_false-unreach-call.c 36.4  12.5   1239662592 331   apollon081 902    830     4129325056 10600   apollon150
eca-rers2012/Problem03_label27_false-unreach-call.c 46.1  17.4   1691025408 394   apollon118 901    832     4153880576 12100   apollon140
eca-rers2012/Problem03_label28_false-unreach-call.c 46.7  17.1   1700794368 428   apollon155 902    826     4104949760 13100   apollon160
eca-rers2012/Problem03_label31_false-unreach-call.c 50.6  20.2   1823731712 463   apollon167 902    838     3938754560 9410   apollon151
eca-rers2012/Problem03_label35_false-unreach-call.c 54.9  25.5   2063114240 525   apollon071 902    838     4087152640 10200   apollon083
eca-rers2012/Problem03_label37_false-unreach-call.c 46.3  20.4   1868697600 413   apollon011 901    827     4188106752 11000   apollon102
eca-rers2012/Problem03_label39_false-unreach-call.c 68.4  34.0   1953198080 631   apollon142 901    830     4141477888 10900   apollon162
eca-rers2012/Problem03_label43_false-unreach-call.c 51.9  21.5   1993134080 413   apollon089 902    840     3906904064 11800   apollon033
eca-rers2012/Problem03_label45_false-unreach-call.c 58.5  27.8   2186940416 495   apollon128 901    831     4171730944 9840   apollon128
eca-rers2012/Problem03_label50_false-unreach-call.c 78.4  50.1   1836380160 817   apollon135 901    829     4171911168 12000   apollon077
eca-rers2012/Problem03_label52_false-unreach-call.c 102    77.9   2815733760 1040   apollon151 901    833     4167544832 13400   apollon111
eca-rers2012/Problem04_label04_false-unreach-call.c 106    64.2   2799005696 853   apollon100 901    816     4182048768 11500   apollon020
eca-rers2012/Problem04_label06_false-unreach-call.c 105    62.9   2442240000 799   apollon151 901    782     4258893824 11400   apollon091
eca-rers2012/Problem04_label09_false-unreach-call.c 105    65.0   3029127168 943   apollon108 901    783     4223774720 10200   apollon035
eca-rers2012/Problem04_label11_false-unreach-call_false-termination.c 106    66.4   2867843072 867   apollon127 901    787     4244828160 13200   apollon039
eca-rers2012/Problem04_label12_false-unreach-call_false-termination.c 105    66.3   2891554816 913   apollon082 901    783     4310937600 10600   apollon058
eca-rers2012/Problem04_label13_false-unreach-call.c 104    65.0   2967457792 930   apollon108 901    790     4184518656 12500   apollon080
eca-rers2012/Problem04_label14_false-unreach-call_false-termination.c 106    61.5   2798776320 817   apollon029 901    780     4283363328 11500   apollon007
eca-rers2012/Problem04_label15_false-unreach-call.c 106    63.2   2703863808 885   apollon032 902    806     4206665728 12400   apollon044
eca-rers2012/Problem04_label17_false-unreach-call_false-termination.c 106    65.2   2876592128 881   apollon146 901    812     4285128704 10800   apollon121
eca-rers2012/Problem04_label18_false-unreach-call.c 105    62.8   2570268672 922   apollon168 902    813     4164534272 10300   apollon116
eca-rers2012/Problem04_label19_false-unreach-call.c 104    63.0   2145894400 854   apollon121 901    797     4256038912 11500   apollon091
eca-rers2012/Problem04_label26_false-unreach-call.c 106    64.2   2630680576 935   apollon095 902    776     4256153600 10200   apollon131
eca-rers2012/Problem04_label27_false-unreach-call_false-termination.c 105    65.8   2343235584 1050   apollon016 902    788     4254203904 11600   apollon005
eca-rers2012/Problem04_label31_false-unreach-call.c 106    66.4   2871259136 880   apollon117 901    780     4322869248 11200   apollon114
eca-rers2012/Problem04_label32_false-unreach-call.c 104    62.4   2482671616 964   apollon014 902    780     4246347776 10900   apollon085
eca-rers2012/Problem04_label35_false-unreach-call.c 105    64.3   2723340288 1120   apollon021 901    789     4225019904 9830   apollon002
eca-rers2012/Problem04_label36_false-unreach-call_false-termination.c 106    63.6   2360848384 887   apollon128 901    791     4252884992 11900   apollon077
eca-rers2012/Problem04_label38_false-unreach-call.c 106    64.8   2884759552 934   apollon079 902    794     4258390016 11100   apollon084
eca-rers2012/Problem04_label39_false-unreach-call.c 105    61.5   2437586944 881   apollon146 902    777     4229632000 12100   apollon148
eca-rers2012/Problem04_label40_false-unreach-call_false-termination.c 106    65.4   2728771584 1030   apollon014 902    777     4262162432 11700   apollon167
eca-rers2012/Problem04_label45_false-unreach-call.c 106    63.7   2421309440 880   apollon086 901    785     4232589312 9120   apollon123
eca-rers2012/Problem04_label52_false-unreach-call.c 104    64.8   2975277056 935   apollon164 902    781     4266233856 10300   apollon074
eca-rers2012/Problem04_label55_false-unreach-call.c 105    65.2   2656747520 955   apollon165 902    781     4265426944 10100   apollon086
eca-rers2012/Problem04_label58_false-unreach-call_false-termination.c 106    63.8   2865848320 875   apollon152 901    776     4300492800 10700   apollon147
eca-rers2012/Problem05_label00_false-unreach-call.c 109    65.6   2675154944 972   apollon038 902    772     4294197248 10500   apollon156
eca-rers2012/Problem05_label01_false-unreach-call.c 104    68.5   2580602880 891   apollon015 901    773     4331585536 12700   apollon021
eca-rers2012/Problem05_label11_false-unreach-call.c 103    61.6   2678022144 860   apollon128 902    767     4368048128 12000   apollon094
eca-rers2012/Problem05_label13_false-unreach-call.c 107    66.3   2762219520 895   apollon076 902    765     4338851840 10100   apollon150
eca-rers2012/Problem05_label15_false-unreach-call.c 110    61.9   3064414208 909   apollon119 902    784     4300791808 10100   apollon109
eca-rers2012/Problem05_label18_false-unreach-call.c 111    64.8   3053572096 945   apollon168 901    767     4355739648 9870   apollon116
eca-rers2012/Problem05_label24_false-unreach-call.c 110    67.7   2533466112 875   apollon098 901    766     4338479104 10600   apollon011
eca-rers2012/Problem05_label26_false-unreach-call.c 104    67.9   2060161024 1150   apollon021 902    767     4421869568 10500   apollon095
eca-rers2012/Problem05_label30_false-unreach-call.c 103    61.5   2814627840 911   apollon106 902    773     4306227200 10900   apollon031
eca-rers2012/Problem05_label32_false-unreach-call.c 108    64.6   2605826048 977   apollon019 901    765     4387995648 9730   apollon149
eca-rers2012/Problem05_label33_false-unreach-call.c 111    62.9   2602913792 890   apollon093 902    761     4366528512 11600   apollon028
eca-rers2012/Problem05_label36_false-unreach-call.c 108    65.1   2977853440 903   apollon018 903    773     4357337088 9650   apollon143
eca-rers2012/Problem05_label37_false-unreach-call.c 103    65.3   2481061888 853   apollon042 902    763     4381057024 9590   apollon098
eca-rers2012/Problem05_label38_false-unreach-call.c 103    71.4   2732982272 873   apollon121 901    762     4361785344 11300   apollon112
eca-rers2012/Problem05_label39_false-unreach-call.c 104    58.2   2727407616 830   apollon093 902    769     4352135168 10700   apollon147
eca-rers2012/Problem05_label40_false-unreach-call.c 104    65.2   2683604992 847   apollon151 902    774     4301131776 10900   apollon101
eca-rers2012/Problem05_label41_false-unreach-call.c 103    57.5   2862415872 957   apollon081 902    771     4359397376 10300   apollon110
eca-rers2012/Problem05_label44_false-unreach-call.c 103    58.7   2627387392 831   apollon025 902    767     4340457472 10200   apollon131
eca-rers2012/Problem05_label47_false-unreach-call.c 113    65.9   3175817216 868   apollon029 902    767     4348547072 9840   apollon013
eca-rers2012/Problem05_label48_false-unreach-call.c 111    64.1   2790735872 951   apollon004 902    771     4334546944 11400   apollon068
eca-rers2012/Problem05_label51_false-unreach-call.c 103    62.2   2473623552 986   apollon125 901    772     4365246464 11000   apollon052
eca-rers2012/Problem05_label55_false-unreach-call.c 104    57.8   2264559616 871   apollon004 902    772     4284092416 9830   apollon013
eca-rers2012/Problem05_label57_false-unreach-call.c 103    57.4   2603585536 916   apollon079 902    763     4360896512 10500   apollon049
eca-rers2012/Problem05_label58_false-unreach-call.c 111    63.3   2659594240 880   apollon053 902    764     4334645248 10500   apollon118
eca-rers2012/Problem06_label00_false-unreach-call.c 103    57.1   2952146944 829   apollon135 901    845     3913117696 11000   apollon022
eca-rers2012/Problem06_label01_false-unreach-call.c 103    59.7   2354462720 853   apollon152 901    838     4084830208 11000   apollon133
eca-rers2012/Problem06_label02_false-unreach-call.c 108    59.0   2451890176 916   apollon038 902    844     3831644160 10800   apollon050
eca-rers2012/Problem06_label04_false-unreach-call.c 103    56.5   2786918400 891   apollon034 901    833     4061945856 11000   apollon055
eca-rers2012/Problem06_label05_false-unreach-call.c 104    54.0   2906554368 784   apollon054 902    833     3990876160 10100   apollon127
eca-rers2012/Problem06_label09_false-unreach-call.c 103    57.7   2490544128 827   apollon015 901    837     3960020992 11000   apollon049
eca-rers2012/Problem06_label10_false-unreach-call.c 102    54.9   2424188928 845   apollon025 902    840     3929116672 10500   apollon066
eca-rers2012/Problem06_label11_false-unreach-call.c 105    54.0   2914156544 814   apollon120 902    847     3930042368 10600   apollon144
eca-rers2012/Problem06_label12_false-unreach-call.c 103    57.7   2582433792 1030   apollon167 901    851     3789701120 10200   apollon149
eca-rers2012/Problem06_label15_false-unreach-call.c 107    57.1   2395238400 1020   apollon014 901    831     4241600512 12700   apollon080
eca-rers2012/Problem06_label20_false-unreach-call.c 103    60.9   2678034432 824   apollon092 902    835     4034134016 10700   apollon074
eca-rers2012/Problem06_label21_false-unreach-call.c 104    52.4   2506428416 798   apollon152 903    836     4143083520 11700   apollon091
eca-rers2012/Problem06_label24_false-unreach-call.c 103    58.1   2741145600 909   apollon087 901    838     4046180352 9810   apollon029
eca-rers2012/Problem06_label27_false-unreach-call.c 103    58.5   2712629248 921   apollon072 902    834     4075499520 10600   apollon150
eca-rers2012/Problem06_label29_false-unreach-call.c 107    61.0   2793439232 839   apollon060 902    829     3965218816 11600   apollon124
eca-rers2012/Problem06_label33_false-unreach-call.c 104    58.3   2218074112 990   apollon106 902    834     4025245696 12000   apollon065
eca-rers2012/Problem06_label36_false-unreach-call.c 103    57.8   2626785280 980   apollon081 901    821     3975344128 11000   apollon018
eca-rers2012/Problem06_label37_false-unreach-call.c 103    57.5   2487402496 888   apollon109 901    826     3967971328 10300   apollon086
eca-rers2012/Problem06_label38_false-unreach-call.c 107    57.2   2394734592 909   apollon109 902    825     4028121088 10500   apollon105
eca-rers2012/Problem06_label44_false-unreach-call.c 103    55.1   2350030848 834   apollon070 901    809     4095918080 10900   apollon009
eca-rers2012/Problem06_label47_false-unreach-call.c 103    52.7   2400665600 830   apollon058 903    802     4299919360 11500   apollon132
eca-rers2012/Problem06_label48_false-unreach-call.c 105    57.8   2625384448 898   apollon121 903    812     4303675392 12200   apollon088
eca-rers2012/Problem06_label56_false-unreach-call.c 103    56.3   2394062848 776   apollon002 902    805     4313264128 11000   apollon146
eca-rers2012/Problem06_label58_false-unreach-call.c 108    57.4   2758926336 977   apollon030 902    822     4186152960 12700   apollon161
eca-rers2012/Problem06_label59_false-unreach-call.c 103    56.4   2517798912 865   apollon086 901    841     3860492288 11500   apollon141
eca-rers2012/Problem07_label03_false-unreach-call.c 149    33.4   6278975488 791   apollon002 916    835     4673753088 10500   apollon060
eca-rers2012/Problem07_label05_false-unreach-call.c 145    33.3   6970871808 865   apollon022 903    836     4569931776 10600   apollon013
eca-rers2012/Problem07_label06_false-unreach-call.c 162    35.0   6616494080 811   apollon029 903    830     4634013696 11000   apollon026
eca-rers2012/Problem07_label07_false-unreach-call.c 102    25.0   4376100864 580   apollon086 911    837     4649381888 11100   apollon120
eca-rers2012/Problem07_label09_false-unreach-call.c 102    24.8   4639858688 617   apollon077 903    835     4602343424 11500   apollon101
eca-rers2012/Problem07_label11_false-unreach-call.c 136    31.3   6010540032 694   apollon040 903    836     4608798720 12500   apollon047
eca-rers2012/Problem07_label15_false-unreach-call.c 103    32.2   4809199616 632   apollon128 903    832     4644995072 10400   apollon117
eca-rers2012/Problem07_label18_false-unreach-call.c 104    27.0   5493460992 659   apollon167 903    832     4636065792 12200   apollon164
eca-rers2012/Problem07_label19_false-unreach-call.c 139    32.2   6471180288 774   apollon107 903    835     4584624128 11600   apollon093
eca-rers2012/Problem07_label20_false-unreach-call.c 104    28.1   4405948416 661   apollon022 903    828     4561518592 10900   apollon103
eca-rers2012/Problem07_label23_false-unreach-call.c 134    31.7   6455271424 795   apollon084 904    834     4625211392 11000   apollon062
eca-rers2012/Problem07_label30_false-unreach-call.c 103    26.0   5240274944 676   apollon126 904    835     4628860928 12100   apollon136
eca-rers2012/Problem07_label31_false-unreach-call.c 103    28.0   4408725504 582   apollon123 903    837     4588822528 11100   apollon107
eca-rers2012/Problem07_label35_false-unreach-call.c 111    28.7   6086082560 675   apollon165 903    837     4585172992 11100   apollon090
eca-rers2012/Problem07_label36_false-unreach-call.c 115    28.8   5255831552 666   apollon109 903    838     4590923776 10400   apollon100
eca-rers2012/Problem07_label37_false-unreach-call.c 145    33.2   6802366464 729   apollon158 910    832     4625498112 11000   apollon074
eca-rers2012/Problem07_label39_false-unreach-call.c 103    25.5   4619317248 571   apollon060 903    836     4583645184 10800   apollon157
eca-rers2012/Problem07_label40_false-unreach-call.c 137    32.0   6521126912 768   apollon107 903    837     4595867648 12000   apollon114
eca-rers2012/Problem07_label42_false-unreach-call.c 138    33.0   6389141504 749   apollon060 911    838     4635000832 10700   apollon134
eca-rers2012/Problem07_label44_false-unreach-call.c 104    28.0   4423475200 569   apollon158 903    834     4609265664 12600   apollon028
eca-rers2012/Problem07_label46_false-unreach-call.c 157    35.0   6264422400 807   apollon128 903    835     4618199040 10500   apollon117
eca-rers2012/Problem07_label47_false-unreach-call.c 131    31.8   6220234752 730   apollon157 903    837     4568080384 11100   apollon090
eca-rers2012/Problem07_label48_false-unreach-call.c 103    32.3   4821311488 623   apollon089 903    837     4566122496 12600   apollon059
eca-rers2012/Problem07_label58_false-unreach-call.c 133    31.3   6010277888 830   apollon160 903    838     4617420800 10700   apollon023
eca-rers2012/Problem08_label01_false-unreach-call.c 191    45.0   7717019648 1120   apollon155 905    852     4631982080 12600   apollon163
eca-rers2012/Problem08_label02_false-unreach-call.c 192    45.2   7918493696 1060   apollon011 904    852     4521156608 12000   apollon071
eca-rers2012/Problem08_label04_false-unreach-call.c 200    46.3   8001560576 1150   apollon093 904    852     4528029696 11600   apollon165
eca-rers2012/Problem08_label05_false-unreach-call.c 193    44.2   7907172352 1070   apollon052 904    852     4522270720 12500   apollon005
eca-rers2012/Problem08_label06_false-unreach-call.c 187    44.7   7870328832 963   apollon089 904    853     4532195328 10900   apollon012
eca-rers2012/Problem08_label07_false-unreach-call.c 179    43.8   7736348672 1110   apollon108 904    841     4759388160 11000   apollon012
eca-rers2012/Problem08_label10_false-unreach-call.c 178    42.5   7448522752 1030   apollon052 904    850     4637483008 13000   apollon148
eca-rers2012/Problem08_label13_false-unreach-call.c 196    45.2   7514611712 1010   apollon060 904    837     4754571264 13100   apollon036
eca-rers2012/Problem08_label15_false-unreach-call.c 208    47.5   8971759616 1150   apollon078 904    852     4520267776 11500   apollon162
eca-rers2012/Problem08_label24_false-unreach-call.c 187    44.4   7430647808 1060   apollon005 904    852     4612112384 11700   apollon085
eca-rers2012/Problem08_label25_false-unreach-call.c 185    43.7   7511535616 974   apollon029 904    852     4528033792 11300   apollon129
eca-rers2012/Problem08_label26_false-unreach-call.c 181    43.7   7614091264 1090   apollon164 904    834     4450451456 12500   apollon122
eca-rers2012/Problem08_label28_false-unreach-call.c 175    42.8   7611682816 933   apollon060 904    837     4770291712 11200   apollon050
eca-rers2012/Problem08_label29_false-unreach-call.c 208    46.4   7141625856 1180   apollon030 904    837     4571242496 10700   apollon134
eca-rers2012/Problem08_label34_false-unreach-call.c 180    41.3   5996167168 1120   apollon021 904    851     4548157440 11300   apollon105
eca-rers2012/Problem08_label37_false-unreach-call.c 208    45.7   6922010624 1160   apollon020 904    852     4637970432 10500   apollon128
eca-rers2012/Problem08_label43_false-unreach-call.c 208    45.9   7993274368 978   apollon040 905    851     4628652032 11200   apollon022
eca-rers2012/Problem08_label46_false-unreach-call.c 178    41.5   5764263936 840   apollon151 904    851     4528848896 11200   apollon129
eca-rers2012/Problem08_label48_false-unreach-call.c 203    46.9   8385490944 1130   apollon152 904    851     4526514176 11700   apollon141
eca-rers2012/Problem08_label49_false-unreach-call.c 176    42.7   7392059392 989   apollon085 904    845     4795125760 13900   apollon160
eca-rers2012/Problem08_label50_false-unreach-call.c 184    44.3   7637200896 1020   apollon018 904    850     4536676352 11800   apollon141
eca-rers2012/Problem08_label51_false-unreach-call.c 198    45.9   7703785472 1120   apollon118 904    852     4522008576 12100   apollon136
eca-rers2012/Problem08_label55_false-unreach-call.c 181    43.4   7236329472 988   apollon053 904    853     4520529920 11400   apollon156
eca-rers2012/Problem08_label59_false-unreach-call.c 170    42.5   7663599616 962   apollon150 904    852     4595769344 14200   apollon056
eca-rers2012/Problem09_label02_false-unreach-call.c 208    48.0   8649220096 1160   apollon020 904    827     4744507392 13000   apollon036
eca-rers2012/Problem09_label03_false-unreach-call.c 208    48.2   8388448256 1150   apollon126 905    827     4723437568 10900   apollon037
eca-rers2012/Problem09_label06_false-unreach-call.c 208    48.1   8493309952 1010   apollon116 920    841     4803629056 13400   apollon044
eca-rers2012/Problem09_label08_false-unreach-call.c 208    46.5   6332305408 978   apollon086 905    839     4712873984 11200   apollon072
eca-rers2012/Problem09_label10_false-unreach-call.c 208    46.4   5837799424 1080   apollon167 920    842     4817633280 10800   apollon035
eca-rers2012/Problem09_label11_false-unreach-call.c 202    45.9   6344413184 946   apollon058 919    842     4721033216 12800   apollon130
eca-rers2012/Problem09_label15_false-unreach-call.c 200    46.1   6343331840 912   apollon098 907    832     4718796800 10400   apollon100
eca-rers2012/Problem09_label19_false-unreach-call.c 208    48.0   8508559360 1180   apollon007 904    823     4822630400 11400   apollon142
eca-rers2012/Problem09_label20_false-unreach-call.c 208    47.5   7901429760 1120   apollon022 920    842     4780843008 10300   apollon043
eca-rers2012/Problem09_label32_false-unreach-call.c 202    48.2   7967354880 1060   apollon042 904    828     4735930368 12200   apollon155
eca-rers2012/Problem09_label34_false-unreach-call.c 208    48.0   8333127680 1040   apollon086 904    829     4742623232 11400   apollon146
eca-rers2012/Problem09_label35_false-unreach-call.c 208    47.7   8162086912 1060   apollon095 917    840     4719554560 12500   apollon167
eca-rers2012/Problem09_label36_false-unreach-call.c 208    47.1   6265004032 1040   apollon152 905    839     4702756864 12400   apollon159
eca-rers2012/Problem09_label38_false-unreach-call.c 208    47.6   8080125952 1050   apollon135 918    843     4782952448 12400   apollon005
eca-rers2012/Problem09_label41_false-unreach-call.c 208    46.5   6325432320 1030   apollon118 904    828     4715696128 11500   apollon142
eca-rers2012/Problem09_label44_false-unreach-call.c 208    48.6   8295473152 1060   apollon102 920    842     4810964992 10400   apollon128
eca-rers2012/Problem09_label46_false-unreach-call.c 198    45.6   6306041856 900   apollon054 905    840     4692262912 11200   apollon078
eca-rers2012/Problem09_label47_false-unreach-call.c 208    47.9   8608043008 1080   apollon102 905    828     4751220736 11200   apollon096
eca-rers2012/Problem09_label51_false-unreach-call.c 206    48.3   7884484608 1180   apollon019 905    841     4704419840 13100   apollon030
eca-rers2012/Problem09_label53_false-unreach-call.c 208    46.3   6325108736 1020   apollon146 905    840     4718149632 12600   apollon028
eca-rers2012/Problem09_label54_false-unreach-call.c 208    47.5   8056631296 1060   apollon087 905    839     4702052352 11000   apollon150
eca-rers2012/Problem09_label56_false-unreach-call.c 208    48.2   8368185344 1120   apollon091 905    838     4705341440 11000   apollon153
eca-rers2012/Problem09_label57_false-unreach-call.c 208    46.9   6275817472 1010   apollon102 905    841     4699983872 12700   apollon106
eca-rers2012/Problem09_label59_false-unreach-call.c 208    47.4   6060261376 1170   apollon125 905    840     4702158848 12900   apollon125
eca-rers2012/Problem10_label12_false-unreach-call.c 102    79.6   3852480512 1280   apollon077 902    760     4599377920 11300   apollon126
eca-rers2012/Problem10_label15_false-unreach-call.c 103    77.9   3865231360 1220   apollon141 902    761     4452872192 11200   apollon033
eca-rers2012/Problem10_label24_false-unreach-call.c 104    78.5   3798462464 1220   apollon093 902    769     4537790464 10700   apollon084
eca-rers2012/Problem10_label26_false-unreach-call.c 51.9  26.2   2775261184 495   apollon095 901    752     4520869888 11300   apollon027
eca-rers2012/Problem10_label28_false-unreach-call.c 55.0  28.0   2617856000 492   apollon123 902    770     4460851200 9880   apollon157
eca-rers2012/Problem10_label29_false-unreach-call.c 111    94.5   2059034624 1570   apollon160 902    767     4407029760 9830   apollon045
eca-rers2012/Problem10_label41_false-unreach-call.c 22.2  7.64  1027072000 204   apollon067 901    771     4485255168 9220   apollon029
eca-rers2012/Problem10_label42_false-unreach-call.c 26.3  7.91  1087602688 246   apollon044 902    766     4473139200 9870   apollon066
eca-rers2012/Problem10_label46_false-unreach-call.c 9.80 2.73  464928768 72.2 apollon116 902    777     4465045504 10300   apollon075
eca-rers2012/Problem10_label47_false-unreach-call.c 22.6  7.29  998539264 199   apollon052 901    775     4434505728 10500   apollon004
eca-rers2012/Problem10_label48_false-unreach-call.c 71.6  40.0   3753500672 762   apollon167 901    774     4482265088 11900   apollon130
eca-rers2012/Problem10_label50_false-unreach-call.c 69.9  39.8   2922524672 682   apollon087 902    779     4423335936 9690   apollon117
eca-rers2012/Problem10_label55_false-unreach-call.c 23.0  6.36  820457472 198   apollon032 901    775     4460986368 9240   apollon029
eca-rers2012/Problem10_label57_false-unreach-call.c 101    74.7   3942776832 1080   apollon025 902    765     4613287936 10700   apollon084
eca-rers2012/Problem10_label58_false-unreach-call.c 58.5  30.1   2733395968 594   apollon076 902    769     4454486016 11400   apollon159
eca-rers2012/Problem11_label00_false-unreach-call.c 101    66.5   3878912000 1190   apollon140 902    765     4434354176 9970   apollon074
eca-rers2012/Problem11_label08_false-unreach-call.c 79.3  47.0   2922201088 761   apollon053 901    758     4236861440 9380   apollon149
eca-rers2012/Problem11_label14_false-unreach-call.c 73.4  46.3   3430113280 783   apollon102 901    758     4220010496 9420   apollon042
eca-rers2012/Problem11_label15_false-unreach-call.c 97.6  62.8   3882602496 1110   apollon091 901    763     3765202944 11400   apollon140
eca-rers2012/Problem11_label20_false-unreach-call.c 102    70.7   3618484224 1120   apollon120 902    757     4347572224 9270   apollon100
eca-rers2012/Problem11_label29_false-unreach-call.c 78.0  46.2   3808907264 890   apollon161 901    763     4228239360 9610   apollon086
eca-rers2012/Problem11_label31_false-unreach-call.c 101    70.1   3869175808 1050   apollon109 903    719     4487860224 10200   apollon164
eca-rers2012/Problem11_label34_false-unreach-call.c 102    63.6   3862982656 1260   apollon039 901    772     4211138560 9740   apollon150
eca-rers2012/Problem11_label36_false-unreach-call.c 79.9  48.0   3521294336 747   apollon099 901    722     4231135232 10700   apollon077
eca-rers2012/Problem11_label39_false-unreach-call.c 112    90.9   2582716416 1280   apollon107 901    760     4280893440 9130   apollon002
eca-rers2012/Problem11_label42_false-unreach-call.c 82.9  46.2   3621265408 798   apollon072 902    762     4430004224 9490   apollon134
eca-rers2012/Problem11_label43_false-unreach-call.c 58.2  29.2   3046948864 541   apollon079 905    759     4376633344 9670   apollon022
eca-rers2012/Problem11_label49_false-unreach-call.c 61.2  34.6   2752864256 570   apollon117 901    760     4200665088 11600   apollon036
eca-rers2012/Problem11_label51_false-unreach-call.c 104    67.8   3895652352 1140   apollon009 902    743     4521390080 10500   apollon164
eca-rers2012/Problem11_label58_false-unreach-call.c 73.0  43.0   3722469376 692   apollon089 902    758     4294369280 9720   apollon037
eca-rers2012/Problem12_label00_false-unreach-call.c 104    69.0   3791540224 1020   apollon128 903    699     5181419520 8360   apollon151
eca-rers2012/Problem12_label03_false-unreach-call.c 103    69.1   3204005888 1020   apollon022 903    706     5384138752 9220   apollon079
eca-rers2012/Problem12_label06_false-unreach-call.c 101    67.2   2938896384 1110   apollon071 904    686     5440401408 10500   apollon027
eca-rers2012/Problem12_label07_false-unreach-call.c 103    66.7   3736432640 1150   apollon005 903    708     4841308160 9740   apollon082
eca-rers2012/Problem12_label08_false-unreach-call.c 104    70.7   3579564032 1030   apollon127 904    694     5590245376 11100   apollon160
eca-rers2012/Problem12_label10_false-unreach-call.c 103    69.7   3574857728 1020   apollon099 902    682     5343752192 8110   apollon054
eca-rers2012/Problem12_label13_false-unreach-call.c 105    69.3   3138215936 1110   apollon087 903    682     5305430016 9140   apollon133
eca-rers2012/Problem12_label19_false-unreach-call.c 105    71.2   3643944960 1230   apollon030 903    683     5265178624 8860   apollon137
eca-rers2012/Problem12_label20_false-unreach-call.c 103    67.6   3796029440 974   apollon117 905    714     5235187712 11200   apollon036
eca-rers2012/Problem12_label21_false-unreach-call.c 111    74.3   3795349504 1130   apollon079 903    690     5585457152 8880   apollon023
eca-rers2012/Problem12_label25_false-unreach-call.c 103    66.9   3822391296 1040   apollon156 902    679     5440065536 9140   apollon105
eca-rers2012/Problem12_label28_false-unreach-call.c 102    65.9   2766606336 1070   apollon142 903    690     5372825600 8030   apollon158
eca-rers2012/Problem12_label30_false-unreach-call.c 102    68.6   3727163392 949   apollon054 903    689     5254082560 9880   apollon052
eca-rers2012/Problem12_label34_false-unreach-call.c 104    74.2   3793956864 1020   apollon098 901    684     5409333248 10400   apollon027
eca-rers2012/Problem12_label35_false-unreach-call.c 105    72.9   3770822656 1020   apollon022 903    695     4988796928 8950   apollon023
eca-rers2012/Problem12_label37_false-unreach-call.c 107    69.9   3538382848 1000   apollon040 904    684     5498003456 9370   apollon076
eca-rers2012/Problem12_label38_false-unreach-call.c 102    68.7   3754262528 1030   apollon121 904    691     5539618816 8980   apollon053
eca-rers2012/Problem12_label39_false-unreach-call.c 106    69.8   3851472896 1020   apollon157 903    692     5468860416 9110   apollon025
eca-rers2012/Problem12_label40_false-unreach-call.c 106    69.2   3904139264 1280   apollon021 904    699     5122260992 8710   apollon060
eca-rers2012/Problem12_label42_false-unreach-call.c 101    66.7   3841110016 998   apollon015 905    666     5514313728 9410   apollon070
eca-rers2012/Problem12_label48_false-unreach-call.c 101    66.9   2858913792 1040   apollon072 903    695     4996685824 10500   apollon108
eca-rers2012/Problem12_label50_false-unreach-call.c 109    75.6   3867303936 1180   apollon141 904    691     5506465792 10800   apollon125
eca-rers2012/Problem12_label51_false-unreach-call.c 109    76.6   4069789696 1010   apollon151 903    717     5028745216 9520   apollon119
eca-rers2012/Problem12_label52_false-unreach-call.c 109    77.2   3925180416 1060   apollon045 903    669     5569998848 9290   apollon070
eca-rers2012/Problem12_label55_false-unreach-call.c 103    74.3   3883065344 1080   apollon026 904    689     5064331264 9220   apollon107
eca-rers2012/Problem13_label04_false-unreach-call.c 103    75.4   3445817344 1070   apollon116 902    666     4647383040 8180   apollon100
eca-rers2012/Problem13_label06_false-unreach-call.c 103    74.4   2894573568 1080   apollon121 902    732     3810373632 10400   apollon064
eca-rers2012/Problem13_label07_false-unreach-call.c 103    75.2   3662053376 1100   apollon072 903    720     3896848384 8450   apollon040
eca-rers2012/Problem13_label11_false-unreach-call.c 104    75.6   3077165056 1370   apollon057 902    639     4895014912 9230   apollon010
eca-rers2012/Problem13_label12_false-unreach-call.c 102    73.3   3113517056 1110   apollon165 903    695     3953020928 8240   apollon089
eca-rers2012/Problem13_label16_false-unreach-call.c 103    73.7   3537522688 1100   apollon082 907    649     5019516928 8550   apollon076
eca-rers2012/Problem13_label19_false-unreach-call.c 107    76.6   3284111360 1110   apollon135 902    707     3812986880 8530   apollon166
eca-rers2012/Problem13_label21_false-unreach-call.c 105    76.0   3130699776 1130   apollon011 902    661     4776632320 8270   apollon012
eca-rers2012/Problem13_label23_false-unreach-call.c 102    74.5   3521908736 1090   apollon107 907    662     5215842304 8450   apollon090
eca-rers2012/Problem13_label24_false-unreach-call.c 103    74.7   3495542784 1150   apollon015 902    629     5133582336 7830   apollon023
eca-rers2012/Problem13_label25_false-unreach-call.c 102    74.1   3667419136 963   apollon123 902    652     5422665728 8530   apollon058
eca-rers2012/Problem13_label28_false-unreach-call.c 106    77.4   3165421568 1050   apollon089 903    703     4846698496 8700   apollon099
eca-rers2012/Problem13_label29_false-unreach-call.c 103    73.3   3610001408 1070   apollon119 901    737     3730903040 8580   apollon040
eca-rers2012/Problem13_label30_false-unreach-call.c 103    74.8   3851698176 988   apollon029 902    729     3840942080 10800   apollon030
eca-rers2012/Problem13_label32_false-unreach-call.c 103    76.5   3131809792 1080   apollon116 902    580     5474127872 7900   apollon096
eca-rers2012/Problem13_label35_false-unreach-call.c 102    76.8   2268880896 1150   apollon032 905    621     5869223936 8370   apollon034
eca-rers2012/Problem13_label36_false-unreach-call.c 102    73.1   3050106880 1330   apollon057 904    600     5978066944 8400   apollon009
eca-rers2012/Problem13_label40_false-unreach-call.c 102    72.8   3755278336 1090   apollon102 902    695     4843339776 9200   apollon038
eca-rers2012/Problem13_label43_false-unreach-call.c 103    76.9   3208593408 1200   apollon017 902    730     3808870400 9890   apollon114
eca-rers2012/Problem13_label44_false-unreach-call.c 103    76.2   3306442752 1070   apollon060 901    689     4543950848 8600   apollon150
eca-rers2012/Problem13_label45_false-unreach-call.c 104    78.0   3438481408 1100   apollon099 902    719     3913187328 8970   apollon032
eca-rers2012/Problem13_label48_false-unreach-call.c 102    72.8   3641856000 1040   apollon012 902    664     4753383424 8880   apollon004
eca-rers2012/Problem13_label51_false-unreach-call.c 103    74.9   3261374464 1280   apollon148 903    653     4846567424 9110   apollon114
eca-rers2012/Problem13_label54_false-unreach-call.c 103    74.0   3327623168 1110   apollon004 905    644     4804186112 8560   apollon129
eca-rers2012/Problem13_label58_false-unreach-call.c 101    74.0   3087429632 1020   apollon117 901    668     5153091584 10000   apollon088
eca-rers2012/Problem14_label02_false-unreach-call_false-termination.c 101    73.5   3692232704 1190   apollon009 902    777     4253884416 10300   apollon037
eca-rers2012/Problem14_label08_false-unreach-call_false-termination.c 102    71.7   3787788288 1240   apollon108 902    777     4255129600 12200   apollon030
eca-rers2012/Problem14_label10_false-unreach-call_false-termination.c 102    69.5   3814748160 1330   apollon057 902    761     4352679936 10200   apollon037
eca-rers2012/Problem14_label11_false-unreach-call_false-termination.c 102    74.1   3712696320 1150   apollon078 902    773     4376330240 10900   apollon124
eca-rers2012/Problem14_label12_false-unreach-call_false-termination.c 102    72.7   3725533184 1120   apollon095 901    796     4123136000 9440   apollon139
eca-rers2012/Problem14_label13_false-unreach-call_false-termination.c 102    71.1   3905859584 1030   apollon089 902    775     4438016000 11300   apollon010
eca-rers2012/Problem14_label14_false-unreach-call_false-termination.c 102    73.3   3723591680 1170   apollon004 902    769     4448464896 10300   apollon095
eca-rers2012/Problem14_label18_false-unreach-call_false-termination.c 102    77.2   3956133888 1140   apollon135 902    775     4389285888 10600   apollon067
eca-rers2012/Problem14_label22_false-unreach-call_false-termination.c 101    67.2   3828346880 1060   apollon026 902    761     4558061568 10500   apollon147
eca-rers2012/Problem14_label27_false-unreach-call_false-termination.c 102    73.2   3807346688 1250   apollon108 902    769     4577128448 10300   apollon075
eca-rers2012/Problem14_label28_false-unreach-call_false-termination.c 102    75.3   3834126336 1200   apollon009 902    774     4353179648 11100   apollon114
eca-rers2012/Problem14_label29_false-unreach-call_false-termination.c 102    73.9   3712262144 1190   apollon009 901    759     4527243264 10300   apollon118
eca-rers2012/Problem14_label31_false-unreach-call_false-termination.c 101    65.5   3761811456 1050   apollon142 902    776     4427796480 12800   apollon160
eca-rers2012/Problem14_label34_false-unreach-call_false-termination.c 102    73.6   3759095808 1060   apollon099 902    765     4521144320 9630   apollon089
eca-rers2012/Problem14_label37_false-unreach-call_false-termination.c 102    71.2   3756347392 1100   apollon150 902    775     4404457472 11500   apollon132
eca-rers2012/Problem14_label39_false-unreach-call_false-termination.c 101    71.6   3774865408 1050   apollon127 902    767     4558254080 9880   apollon116
eca-rers2012/Problem14_label40_false-unreach-call_false-termination.c 101    69.0   3827568640 1110   apollon082 902    773     4548890624 10300   apollon062
eca-rers2012/Problem14_label41_false-unreach-call_false-termination.c 102    71.3   3829813248 1040   apollon100 902    773     4485312512 10400   apollon121
eca-rers2012/Problem14_label43_false-unreach-call_false-termination.c 102    70.2   3969552384 1130   apollon067 902    767     4580126720 11500   apollon005
eca-rers2012/Problem14_label44_false-unreach-call_false-termination.c 101    73.7   3694800896 1020   apollon151 902    768     4598976512 11600   apollon122
eca-rers2012/Problem14_label52_false-unreach-call_false-termination.c 102    74.4   3726852096 1170   apollon087 902    768     4545884160 11600   apollon064
eca-rers2012/Problem14_label54_false-unreach-call_false-termination.c 102    76.7   3713454080 1200   apollon070 902    766     4565975040 9810   apollon042
eca-rers2012/Problem14_label56_false-unreach-call_false-termination.c 102    74.1   3738451968 1140   apollon150 902    773     4561453056 12500   apollon161
eca-rers2012/Problem14_label57_false-unreach-call_false-termination.c 101    71.5   3784613888 1150   apollon032 902    767     4565372928 12400   apollon161
eca-rers2012/Problem14_label58_false-unreach-call_false-termination.c 101    75.4   3706003456 1350   apollon016 902    768     4567330816 10900   apollon113
eca-rers2012/Problem15_label00_false-unreach-call.c 102    69.0   3349651456 1060   apollon015 901    792     4109971456 12700   apollon161
eca-rers2012/Problem15_label02_false-unreach-call.c 103    72.1   2986029056 1090   apollon162 902    801     4072382464 11000   apollon015
eca-rers2012/Problem15_label03_false-unreach-call.c 102    65.0   2818785280 982   apollon128 902    793     3844022272 12600   apollon016
eca-rers2012/Problem15_label07_false-unreach-call.c 102    68.5   2780704768 1050   apollon078 901    790     3866734592 10400   apollon157
eca-rers2012/Problem15_label09_false-unreach-call.c 101    68.9   3168329728 1070   apollon085 902    787     4199829504 11700   apollon007
eca-rers2012/Problem15_label14_false-unreach-call.c 103    72.7   3475062784 1240   apollon030 901    798     4197675008 10500   apollon026
eca-rers2012/Problem15_label15_false-unreach-call.c 102    68.0   3205758976 1040   apollon107 902    800     3854221312 10900   apollon076
eca-rers2012/Problem15_label18_false-unreach-call_false-termination.c 104    69.0   3187466240 1080   apollon156 901    797     3862671360 10800   apollon049
eca-rers2012/Problem15_label22_false-unreach-call.c 104    70.7   3306246144 1130   apollon141 901    797     3851792384 10500   apollon012
eca-rers2012/Problem15_label23_false-unreach-call.c 106    76.2   3867430912 1010   apollon123 902    809     3909869568 12000   apollon033
eca-rers2012/Problem15_label25_false-unreach-call.c 102    66.2   3770150912 1020   apollon150 902    802     3875221504 10900   apollon118
eca-rers2012/Problem15_label29_false-unreach-call.c 102    65.5   3823120384 1040   apollon102 901    796     3841695744 13400   apollon056
eca-rers2012/Problem15_label30_false-unreach-call.c 102    67.7   3371020288 1030   apollon053 901    794     4076605440 10000   apollon100
eca-rers2012/Problem15_label33_false-unreach-call.c 103    68.4   3066548224 1180   apollon007 902    799     3869523968 12100   apollon027
eca-rers2012/Problem15_label34_false-unreach-call.c 102    66.0   2954731520 1130   apollon077 902    800     4133486592 11200   apollon113
eca-rers2012/Problem15_label37_false-unreach-call.c 102    70.7   3305091072 1250   apollon014 901    795     3823419392 10200   apollon023
eca-rers2012/Problem15_label38_false-unreach-call.c 101    67.5   2896482304 1120   apollon112 901    799     3776868352 10900   apollon118
eca-rers2012/Problem15_label39_false-unreach-call.c 102    66.9   3178024960 1060   apollon072 901    797     3823677440 12100   apollon028
eca-rers2012/Problem15_label40_false-unreach-call.c 103    69.4   2967285760 1080   apollon146 902    802     3851149312 12100   apollon094
eca-rers2012/Problem15_label41_false-unreach-call.c 102    67.8   3190972416 1150   apollon091 901    792     3819819008 9570   apollon092
eca-rers2012/Problem15_label45_false-unreach-call.c 102    66.4   3089002496 1270   apollon057 901    803     3908100096 10700   apollon135
eca-rers2012/Problem15_label47_false-unreach-call.c 102    66.4   3288174592 993   apollon089 901    794     3815526400 11400   apollon020
eca-rers2012/Problem15_label48_false-unreach-call.c 103    68.5   3558694912 1030   apollon045 901    781     3778736128 10200   apollon018
eca-rers2012/Problem15_label50_false-unreach-call.c 101    63.2   3065655296 1020   apollon107 901    797     3972153344 12700   apollon016
eca-rers2012/Problem15_label51_false-unreach-call.c 104    75.6   3846983680 1310   apollon016 901    799     3842670592 10200   apollon134
eca-rers2012/Problem16_label00_false-unreach-call.c 112    89.7   1988337664 1170   apollon089 902    743     4446867456 9730   apollon090
eca-rers2012/Problem16_label01_false-unreach-call.c 102    62.2   3824599040 1070   apollon076 902    750     4541698048 9780   apollon154
eca-rers2012/Problem16_label03_false-unreach-call.c 103    65.1   3852247040 1090   apollon152 902    747     4492500992 10800   apollon091
eca-rers2012/Problem16_label04_false-unreach-call.c 106    69.9   3938975744 1050   apollon002 902    763     4430041088 11300   apollon126
eca-rers2012/Problem16_label05_false-unreach-call.c 104    68.2   3425861632 1180   apollon019 902    771     4514029568 10300   apollon162
eca-rers2012/Problem16_label06_false-unreach-call.c 101    67.9   3842584576 1100   apollon015 902    757     4464439296 11300   apollon122
eca-rers2012/Problem16_label08_false-unreach-call.c 102    65.3   3888943104 968   apollon098 901    749     4505800704 9700   apollon012
eca-rers2012/Problem16_label14_false-unreach-call.c 103    69.4   3708743680 1100   apollon072 902    755     4613259264 10400   apollon031
eca-rers2012/Problem16_label15_false-unreach-call.c 103    61.1   3711295488 1010   apollon120 903    763     4478586880 10300   apollon061
eca-rers2012/Problem16_label18_false-unreach-call.c 102    71.2   3740741632 1310   apollon016 901    764     4429250560 10200   apollon168
eca-rers2012/Problem16_label20_false-unreach-call.c 112    89.3   1820188672 1210   apollon045 903    755     4603682816 9940   apollon037
eca-rers2012/Problem16_label22_false-unreach-call.c 103    70.5   3753250816 1230   apollon167 901    747     4606464000 12400   apollon056
eca-rers2012/Problem16_label27_false-unreach-call.c 104    67.6   3831992320 1030   apollon079 902    759     4559876096 10700   apollon046
eca-rers2012/Problem16_label30_false-unreach-call.c 105    72.1   3881861120 1040   apollon099 902    761     4469383168 9060   apollon092
eca-rers2012/Problem16_label31_false-unreach-call.c 106    70.7   3890802688 1130   apollon102 902    746     4595851264 10500   apollon124
eca-rers2012/Problem16_label33_false-unreach-call.c 105    65.7   3932274688 1110   apollon084 902    755     4638806016 9500   apollon109
eca-rers2012/Problem16_label37_false-unreach-call.c 102    65.2   3914637312 948   apollon123 903    753     4418191360 11000   apollon019
eca-rers2012/Problem16_label38_false-unreach-call.c 106    74.5   3923664896 1190   apollon093 902    773     4376072192 10200   apollon095
eca-rers2012/Problem16_label41_false-unreach-call.c 103    67.9   3817046016 1060   apollon107 902    769     4508381184 10900   apollon136
eca-rers2012/Problem16_label43_false-unreach-call.c 104    66.6   3683627008 954   apollon151 902    766     4432072704 10200   apollon049
eca-rers2012/Problem16_label44_false-unreach-call.c 104    68.7   3871711232 1140   apollon084 902    766     4327088128 9820   apollon157
eca-rers2012/Problem16_label46_false-unreach-call.c 106    67.8   3895021568 1130   apollon009 902    770     4409786368 10200   apollon133
eca-rers2012/Problem16_label51_false-unreach-call.c 104    65.6   3796930560 996   apollon098 902    764     4450639872 11100   apollon007
eca-rers2012/Problem16_label52_false-unreach-call.c 102    61.3   3854917632 1060   apollon141 901    759     4285288448 11200   apollon126
eca-rers2012/Problem16_label54_false-unreach-call.c 102    65.9   3749208064 1010   apollon100 902    769     4458569728 10600   apollon142
eca-rers2012/Problem17_label04_false-unreach-call.c 102    69.9   3092475904 949   apollon054 901    798     3776790528 10100   apollon127
eca-rers2012/Problem17_label07_false-unreach-call.c 103    67.4   3428421632 1050   apollon095 901    798     3829813248 10400   apollon137
eca-rers2012/Problem17_label09_false-unreach-call.c 102    65.9   3544944640 1050   apollon082 901    810     3759878144 13200   apollon057
eca-rers2012/Problem17_label13_false-unreach-call.c 103    65.9   2767486976 1030   apollon107 901    790     3773313024 9910   apollon143
eca-rers2012/Problem17_label16_false-unreach-call.c 102    71.0   2543337472 1050   apollon042 901    794     3798626304 11200   apollon152
eca-rers2012/Problem17_label20_false-unreach-call.c 101    67.9   2766225408 1340   apollon039 902    788     3772805120 11300   apollon124
eca-rers2012/Problem17_label23_false-unreach-call.c 108    77.4   3378860032 1060   apollon127 901    793     3748515840 9560   apollon092
eca-rers2012/Problem17_label25_false-unreach-call.c 101    65.2   3015262208 1000   apollon053 901    791     3741995008 12000   apollon167
eca-rers2012/Problem17_label26_false-unreach-call.c 102    66.4   3553288192 1090   apollon108 902    796     3841908736 11800   apollon112
eca-rers2012/Problem17_label30_false-unreach-call.c 102    68.0   2546810880 1120   apollon071 901    798     3757367296 11800   apollon112
eca-rers2012/Problem17_label31_false-unreach-call.c 102    67.4   3011694592 1040   apollon058 901    791     3764736000 10600   apollon135
eca-rers2012/Problem17_label33_false-unreach-call.c 102    62.9   2501484544 1120   apollon077 901    800     3758882816 10900   apollon018
eca-rers2012/Problem17_label34_false-unreach-call.c 102    67.2   3067953152 1110   apollon017 902    797     3756982272 10200   apollon116
eca-rers2012/Problem17_label35_false-unreach-call.c 102    67.8   2923323392 1060   apollon120 901    802     3757989888 12400   apollon014
eca-rers2012/Problem17_label37_false-unreach-call.c 101    65.9   3201871872 1130   apollon155 901    799     3814760448 11900   apollon007
eca-rers2012/Problem17_label40_false-unreach-call.c 102    68.5   2823532544 1260   apollon016 902    786     3831980032 10900   apollon168
eca-rers2012/Problem17_label46_false-unreach-call.c 106    69.7   3716169728 1250   apollon161 901    801     3765170176 11900   apollon007
eca-rers2012/Problem17_label49_false-unreach-call.c 102    65.8   2751471616 985   apollon116 902    801     3839582208 12400   apollon094
eca-rers2012/Problem17_label50_false-unreach-call.c 102    65.0   3055124480 1070   apollon084 902    794     3772260352 9440   apollon054
eca-rers2012/Problem17_label52_false-unreach-call.c 102    70.7   2373828608 1050   apollon109 901    791     3753943040 11700   apollon010
eca-rers2012/Problem17_label53_false-unreach-call.c 102    66.1   3022557184 1200   apollon148 902    790     3775541248 10800   apollon095
eca-rers2012/Problem17_label54_false-unreach-call.c 102    66.0   2993700864 1040   apollon135 902    803     3776835584 11900   apollon068
eca-rers2012/Problem17_label55_false-unreach-call.c 101    67.2   3183837184 1110   apollon112 902    803     3770662912 10700   apollon107
eca-rers2012/Problem17_label57_false-unreach-call.c 102    65.2   2919915520 1040   apollon022 901    801     3762765824 12300   apollon130
eca-rers2012/Problem18_label00_false-unreach-call.c 102    64.1   2395283456 1030   apollon152 902    770     4283535360 12100   apollon130
eca-rers2012/Problem18_label01_false-unreach-call.c 102    64.3   2420207616 1130   apollon167 901    777     4237086720 10300   apollon023
eca-rers2012/Problem18_label03_false-unreach-call.c 105    65.7   3459584000 1030   apollon168 902    770     4341796864 11800   apollon033
eca-rers2012/Problem18_label06_false-unreach-call.c 102    61.4   3872911360 1000   apollon133 902    765     4317540352 13200   apollon056
eca-rers2012/Problem18_label08_false-unreach-call.c 106    72.7   3891511296 1100   apollon026 902    767     4395921408 9340   apollon123
eca-rers2012/Problem18_label09_false-unreach-call.c 102    60.4   3188649984 1010   apollon135 901    765     4366991360 9900   apollon089
eca-rers2012/Problem18_label10_false-unreach-call.c 102    58.4   3851141120 919   apollon002 902    775     4381396992 10100   apollon099
eca-rers2012/Problem18_label12_false-unreach-call.c 102    58.6   3115413504 1170   apollon057 902    766     4384227328 11800   apollon167
eca-rers2012/Problem18_label19_false-unreach-call.c 102    67.3   2501898240 977   apollon128 901    772     4364791808 10700   apollon051
eca-rers2012/Problem18_label20_false-unreach-call.c 103    62.0   2397548544 1000   apollon120 901    770     4392488960 10200   apollon003
eca-rers2012/Problem18_label25_false-unreach-call.c 102    65.0   3011534848 991   apollon012 902    775     4385824768 9430   apollon123
eca-rers2012/Problem18_label27_false-unreach-call.c 104    66.8   3150061568 1100   apollon052 901    778     4419702784 11100   apollon142
eca-rers2012/Problem18_label31_false-unreach-call.c 103    65.0   3767365632 1100   apollon017 902    768     4381638656 11300   apollon046
eca-rers2012/Problem18_label32_false-unreach-call.c 104    67.6   3332505600 918   apollon158 901    772     4229472256 9240   apollon158
eca-rers2012/Problem18_label33_false-unreach-call.c 102    52.6   3617046528 866   apollon098 901    775     4346544128 12000   apollon122
eca-rers2012/Problem18_label34_false-unreach-call.c 102    59.6   2804535296 979   apollon058 902    764     4344967168 11900   apollon122
eca-rers2012/Problem18_label35_false-unreach-call.c 104    64.5   3107008512 1100   apollon020 902    763     4373573632 10900   apollon004
eca-rers2012/Problem18_label36_false-unreach-call.c 106    65.3   2918666240 1080   apollon004 902    766     4364566528 10700   apollon153
eca-rers2012/Problem18_label38_false-unreach-call.c 103    67.8   2739441664 1170   apollon047 902    756     4283523072 11600   apollon065
eca-rers2012/Problem18_label39_false-unreach-call.c 102    62.5   3019124736 1100   apollon077 902    771     4405755904 10600   apollon129
eca-rers2012/Problem18_label45_false-unreach-call.c 102    63.4   3942084608 1040   apollon093 902    762     4337598464 11500   apollon064
eca-rers2012/Problem18_label49_false-unreach-call.c 105    65.1   3652018176 1040   apollon156 902    763     4408950784 10800   apollon087
eca-rers2012/Problem18_label52_false-unreach-call.c 105    62.6   3775885312 1010   apollon032 902    769     4380078080 11400   apollon020
eca-rers2012/Problem18_label55_false-unreach-call.c 102    64.5   3313033216 1100   apollon091 902    761     4259635200 11400   apollon136
eca-rers2012/Problem18_label57_false-unreach-call.c 103    63.4   3046121472 968   apollon128 901    762     4369264640 10800   apollon018
eca-rers2012/Problem19_label10_false-unreach-call.c 102    78.4   2591723520 1050   apollon060 902    724     5213847552 9700   apollon045
eca-rers2012/Problem19_label11_false-unreach-call.c 102    77.8   2788917248 1380   apollon057 902    695     4983549952 10100   apollon147
eca-rers2012/Problem19_label14_false-unreach-call.c 101    74.4   2429255680 1120   apollon038 902    697     4576948224 9190   apollon041
eca-rers2012/Problem19_label17_false-unreach-call.c 102    72.6   2712412160 1120   apollon126 902    693     5055725568 10400   apollon136
eca-rers2012/Problem19_label18_false-unreach-call.c 101    77.0   2515931136 1030   apollon043 902    696     4954984448 9850   apollon001
eca-rers2012/Problem19_label19_false-unreach-call.c 102    76.3   2828279808 1120   apollon095 902    696     4760174592 11000   apollon163
eca-rers2012/Problem19_label21_false-unreach-call.c 101    74.7   2385297408 1170   apollon017 902    695     4739559424 9560   apollon025
eca-rers2012/Problem19_label22_false-unreach-call.c 101    79.2   1975250944 1150   apollon051 903    700     4779241472 12300   apollon039
eca-rers2012/Problem19_label26_false-unreach-call.c 101    76.1   3696259072 1060   apollon116 902    695     4978417664 9120   apollon089
eca-rers2012/Problem19_label27_false-unreach-call.c 102    75.6   3038932992 1330   apollon160 902    698     4774645760 10000   apollon162
eca-rers2012/Problem19_label28_false-unreach-call.c 101    75.4   3769671680 1360   apollon057 902    697     4851060736 10100   apollon015
eca-rers2012/Problem19_label29_false-unreach-call.c 102    79.1   3648933888 1030   apollon054 902    695     5033693184 10100   apollon061
eca-rers2012/Problem19_label31_false-unreach-call.c 102    75.6   2822234112 1030   apollon157 902    711     4913995776 10900   apollon010
eca-rers2012/Problem19_label32_false-unreach-call.c 102    77.1   3363102720 1420   apollon039 902    692     4817584128 11100   apollon008
eca-rers2012/Problem19_label41_false-unreach-call.c 101    76.3   2178387968 1190   apollon020 902    718     5144559616 10800   apollon136
eca-rers2012/Problem19_label42_false-unreach-call.c 102    77.1   2358325248 1050   apollon002 902    690     4817330176 9300   apollon053
eca-rers2012/Problem19_label43_false-unreach-call.c 102    74.9   2235912192 1100   apollon101 902    699     4608024576 9830   apollon135
eca-rers2012/Problem19_label47_false-unreach-call.c 102    76.2   2742792192 1240   apollon007 902    699     5060079616 9510   apollon012
eca-rers2012/Problem19_label50_false-unreach-call.c 102    77.9   2346770432 1320   apollon014 902    701     4343562240 9940   apollon121
eca-rers2012/Problem19_label51_false-unreach-call.c 102    75.9   2778845184 1030   apollon043 903    695     5003186176 10400   apollon071
eca-rers2012/Problem19_label53_false-unreach-call.c 102    77.9   3268239360 1060   apollon128 902    698     4824834048 10400   apollon124
eca-rers2012/Problem19_label55_false-unreach-call.c 101    76.3   3701342208 1100   apollon118 902    694     5094129664 9570   apollon073
eca-rers2012/Problem19_label58_false-unreach-call.c 102    76.0   2372403200 1090   apollon051 902    698     4638347264 11000   apollon059
eca-rers2012/Problem19_label59_false-unreach-call.c 101    75.1   2535559168 1100   apollon133 902    697     5032124416 11000   apollon027
eca-rers2012/Problem01_label00_true-unreach-call_false-termination.c 17.3  4.59  523608064 120   apollon019 901    809     3996864512 10700   apollon103
eca-rers2012/Problem01_label01_true-unreach-call_false-termination.c 17.1  4.52  601575424 150   apollon021 902    807     4003192832 10500   apollon035
eca-rers2012/Problem01_label02_true-unreach-call_false-termination.c 18.6  5.00  598691840 140   apollon085 902    795     4019068928 11900   apollon033
eca-rers2012/Problem01_label03_true-unreach-call_false-termination.c 24.7  7.44  801673216 189   apollon079 902    799     3945672704 9960   apollon040
eca-rers2012/Problem01_label04_true-unreach-call_false-termination.c 16.7  4.43  613269504 128   apollon020 902    837     3835334656 10600   apollon045
eca-rers2012/Problem01_label05_true-unreach-call_false-termination.c 18.2  4.76  604512256 147   apollon032 902    796     4138528768 11200   apollon142
eca-rers2012/Problem01_label06_true-unreach-call_false-termination.c 18.4  5.05  593895424 142   apollon072 901    798     4056145920 11300   apollon048
eca-rers2012/Problem01_label07_true-unreach-call_false-termination.c 16.2  4.36  578924544 134   apollon015 902    798     4057362432 10300   apollon035
eca-rers2012/Problem01_label08_true-unreach-call_false-termination.c 24.6  8.44  1067941888 200   apollon071 901    793     4027977728 10000   apollon104
eca-rers2012/Problem01_label09_true-unreach-call_false-termination.c 20.9  6.13  759971840 158   apollon157 902    794     4165967872 12000   apollon122
eca-rers2012/Problem01_label10_true-unreach-call_false-termination.c 16.4  4.40  613621760 128   apollon018 901    798     4024782848 10500   apollon103
eca-rers2012/Problem01_label11_true-unreach-call_false-termination.c 14.1  3.87  491728896 109   apollon085 902    802     3988914176 11100   apollon085
eca-rers2012/Problem01_label12_true-unreach-call_false-termination.c 14.2  3.80  484122624 112   apollon167 902    803     4173451264 12000   apollon068
eca-rers2012/Problem01_label13_true-unreach-call_false-termination.c 19.3  5.09  641355776 146   apollon089 902    807     3979329536 11200   apollon147
eca-rers2012/Problem01_label14_true-unreach-call_false-termination.c 16.5  4.52  605249536 142   apollon019 902    796     4137910272 10900   apollon118
eca-rers2012/Problem01_label16_true-unreach-call_false-termination.c 17.9  4.76  583577600 136   apollon045 902    801     3960508416 11000   apollon145
eca-rers2012/Problem01_label17_true-unreach-call_false-termination.c 17.0  4.58  589029376 134   apollon072 901    797     4156461056 9440   apollon054
eca-rers2012/Problem01_label18_true-unreach-call_false-termination.c 17.3  4.57  617541632 132   apollon112 901    794     4172394496 12100   apollon140
eca-rers2012/Problem01_label19_true-unreach-call_false-termination.c 17.3  4.68  627097600 147   apollon118 902    800     4100444160 11000   apollon015
eca-rers2012/Problem01_label22_true-unreach-call_false-termination.c 17.4  4.67  611696640 140   apollon119 901    794     4140908544 12200   apollon140
eca-rers2012/Problem01_label23_true-unreach-call_false-termination.c 17.4  4.69  493203456 128   apollon071 902    815     3802939392 12400   apollon069
eca-rers2012/Problem01_label24_true-unreach-call_false-termination.c 13.2  3.61  473747456 101   apollon087 901    801     3791896576 9940   apollon128
eca-rers2012/Problem01_label25_true-unreach-call_false-termination.c 18.9  5.13  621912064 139   apollon089 901    807     3825029120 11800   apollon005
eca-rers2012/Problem01_label26_true-unreach-call_false-termination.c 16.9  4.59  599687168 142   apollon067 901    798     3995721728 10600   apollon001
eca-rers2012/Problem01_label27_true-unreach-call_false-termination.c 35.8  16.7   1579593728 331   apollon012 901    804     3800797184 11100   apollon009
eca-rers2012/Problem01_label28_true-unreach-call_false-termination.c 27.7  11.4   1319522304 267   apollon047 901    799     4155920384 10600   apollon026
eca-rers2012/Problem01_label29_true-unreach-call_false-termination.c 26.0  8.21  845885440 213   apollon077 902    808     4149637120 10800   apollon074
eca-rers2012/Problem01_label30_true-unreach-call_false-termination.c 28.1  10.3   1072472064 252   apollon087 901    804     4172935168 10600   apollon073
eca-rers2012/Problem01_label31_true-unreach-call_false-termination.c 16.7  4.47  595156992 157   apollon021 902    802     4163473408 10900   apollon121
eca-rers2012/Problem01_label34_true-unreach-call_false-termination.c 17.4  4.68  608182272 150   apollon108 902    801     4070514688 10600   apollon012
eca-rers2012/Problem01_label36_true-unreach-call_false-termination.c 22.0  6.20  755027968 182   apollon126 902    805     4074082304 10800   apollon105
eca-rers2012/Problem01_label39_true-unreach-call_false-termination.c 15.9  4.28  595648512 109   apollon040 902    798     3982393344 10300   apollon035
eca-rers2012/Problem01_label40_true-unreach-call_false-termination.c 15.2  4.05  513392640 136   apollon021 901    795     3951964160 10800   apollon153
eca-rers2012/Problem01_label41_true-unreach-call_false-termination.c 15.1  4.03  499441664 123   apollon005 902    795     4144381952 10800   apollon022
eca-rers2012/Problem01_label42_true-unreach-call_false-termination.c 14.9  4.00  534949888 112   apollon005 901    798     4108845056 10300   apollon025
eca-rers2012/Problem01_label43_true-unreach-call_false-termination.c 15.0  4.01  550105088 138   apollon125 902    801     4042268672 10600   apollon073
eca-rers2012/Problem01_label45_true-unreach-call_false-termination.c 26.5  9.94  1031356416 236   apollon017 902    795     4008480768 12400   apollon148
eca-rers2012/Problem01_label46_true-unreach-call_false-termination.c 15.2  4.11  551403520 115   apollon071 901    799     4024594432 10200   apollon134
eca-rers2012/Problem01_label48_true-unreach-call_false-termination.c 22.5  7.05  798408704 204   apollon047 902    800     4139208704 10000   apollon143
eca-rers2012/Problem01_label49_true-unreach-call_false-termination.c 15.8  4.19  588517376 128   apollon005 902    802     4075929600 10700   apollon107
eca-rers2012/Problem01_label51_true-unreach-call_false-termination.c 20.0  6.56  848527360 167   apollon095 901    790     3992453120 11000   apollon061
eca-rers2012/Problem01_label52_true-unreach-call_false-termination.c 18.6  4.95  607973376 152   apollon167 901    794     4134232064 10200   apollon109
eca-rers2012/Problem01_label53_true-unreach-call_false-termination.c 18.1  4.70  597385216 132   apollon151 901    793     4169846784 10400   apollon012
eca-rers2012/Problem01_label54_true-unreach-call_false-termination.c 21.0  5.62  602550272 158   apollon070 902    797     4151554048 11700   apollon091
eca-rers2012/Problem01_label55_true-unreach-call_false-termination.c 17.1  4.54  609705984 130   apollon070 902    799     4126371840 10900   apollon076
eca-rers2012/Problem01_label58_true-unreach-call_false-termination.c 19.1  5.22  591069184 147   apollon017 901    793     4053643264 11100   apollon038
eca-rers2012/Problem01_label59_true-unreach-call_false-termination.c 15.0  4.00  474677248 120   apollon015 901    800     3842744320 9770   apollon043
eca-rers2012/Problem02_label00_true-unreach-call_false-termination.c 10.0  2.85  463659008 75.8 apollon142 902    781     4194533376 11400   apollon132
eca-rers2012/Problem02_label01_true-unreach-call_false-termination.c 10.4  2.89  449511424 76.0 apollon089 902    799     4163661824 10600   apollon154
eca-rers2012/Problem02_label02_true-unreach-call_false-termination.c 10.9  3.10  446435328 91.3 apollon007 902    785     4204314624 10800   apollon070
eca-rers2012/Problem02_label03_true-unreach-call_false-termination.c 10.7  3.10  456261632 83.0 apollon025 902    796     3991724032 10700   apollon011
eca-rers2012/Problem02_label04_true-unreach-call_false-termination.c 10.8  3.00  458289152 96.9 apollon039 902    790     4119527424 10900   apollon113
eca-rers2012/Problem02_label05_true-unreach-call_false-termination.c 10.5  3.06  457994240 96.8 apollon108 902    794     4176306176 12000   apollon028
eca-rers2012/Problem02_label06_true-unreach-call_false-termination.c 18.1  7.81  950239232 154   apollon029 902    788     4224974848 9730   apollon098
eca-rers2012/Problem02_label07_true-unreach-call_false-termination.c 11.8  3.24  481611776 84.5 apollon079 902    795     4082524160 11900   apollon008
eca-rers2012/Problem02_label08_true-unreach-call_false-termination.c 10.7  3.12  456638464 94.5 apollon111 902    782     4170469376 11300   apollon091
eca-rers2012/Problem02_label09_true-unreach-call_false-termination.c 14.2  3.94  472563712 96.6 apollon151 902    788     4177678336 13100   apollon057
eca-rers2012/Problem02_label10_true-unreach-call_false-termination.c 11.6  3.26  468770816 83.2 apollon029 902    784     4275990528 13100   apollon111
eca-rers2012/Problem02_label11_true-unreach-call_false-termination.c 11.9  3.29  479903744 86.4 apollon109 902    792     4058030080 13300   apollon039
eca-rers2012/Problem02_label12_true-unreach-call_false-termination.c 11.9  3.25  478253056 102   apollon044 902    789     4160839680 10300   apollon103
eca-rers2012/Problem02_label14_true-unreach-call_false-termination.c 11.8  3.25  469061632 88.1 apollon098 901    792     4061835264 10700   apollon110
eca-rers2012/Problem02_label15_true-unreach-call_false-termination.c 9.96 2.83  452366336 83.7 apollon076 902    797     4129546240 9890   apollon098
eca-rers2012/Problem02_label17_true-unreach-call_false-termination.c 9.81 2.79  451592192 74.0 apollon116 902    796     4163342336 10500   apollon131
eca-rers2012/Problem02_label18_true-unreach-call_false-termination.c 15.5  4.20  608792576 134   apollon111 902    788     4170162176 13000   apollon160
eca-rers2012/Problem02_label19_true-unreach-call_false-termination.c 9.75 2.88  434327552 67.6 apollon158 901    794     3978907648 13300   apollon056
eca-rers2012/Problem02_label20_true-unreach-call_false-termination.c 9.56 2.80  447488000 77.2 apollon004 902    777     4180828160 11500   apollon059
eca-rers2012/Problem02_label21_true-unreach-call_false-termination.c 11.0  3.06  458526720 82.4 apollon053 902    796     4154449920 10900   apollon055
eca-rers2012/Problem02_label22_true-unreach-call_false-termination.c 9.99 2.80  448348160 70.8 apollon089 902    781     4043153408 12400   apollon016
eca-rers2012/Problem02_label23_true-unreach-call_false-termination.c 10.9  3.23  453578752 90.7 apollon093 902    798     4018262016 9330   apollon151
eca-rers2012/Problem02_label24_true-unreach-call_false-termination.c 10.1  2.79  449048576 83.8 apollon140 902    788     4027387904 10400   apollon119
eca-rers2012/Problem02_label25_true-unreach-call_false-termination.c 10.9  3.05  452964352 79.1 apollon128 902    796     4075646976 11000   apollon067
eca-rers2012/Problem02_label26_true-unreach-call_false-termination.c 10.4  2.95  460075008 85.2 apollon022 902    787     4204011520 11600   apollon108
eca-rers2012/Problem02_label27_true-unreach-call_false-termination.c 10.2  2.88  462180352 84.0 apollon119 901    794     4088086528 11100   apollon071
eca-rers2012/Problem02_label28_true-unreach-call_false-termination.c 10.4  3.09  452042752 89.7 apollon140 902    789     4158193664 9680   apollon117
eca-rers2012/Problem02_label29_true-unreach-call_false-termination.c 13.6  3.76  481456128 102   apollon025 902    780     4178501632 10700   apollon102
eca-rers2012/Problem02_label30_true-unreach-call_false-termination.c 11.9  3.29  476651520 104   apollon126 902    798     4169125888 10100   apollon166
eca-rers2012/Problem02_label31_true-unreach-call_false-termination.c 11.5  3.19  464896000 87.8 apollon011 902    791     4175622144 11800   apollon064
eca-rers2012/Problem02_label32_true-unreach-call_false-termination.c 11.7  3.29  483569664 82.7 apollon029 902    782     4100796416 9900   apollon041
eca-rers2012/Problem02_label33_true-unreach-call_false-termination.c 10.3  2.88  446533632 76.5 apollon053 902    798     4148637696 12800   apollon161
eca-rers2012/Problem02_label34_true-unreach-call_false-termination.c 9.74 2.82  435249152 74.4 apollon095 902    791     4063498240 11700   apollon006
eca-rers2012/Problem02_label35_true-unreach-call_false-termination.c 10.1  2.89  449716224 85.6 apollon118 902    793     4168556544 11700   apollon024
eca-rers2012/Problem02_label36_true-unreach-call_false-termination.c 13.2  3.84  541941760 110   apollon067 902    790     4093538304 9930   apollon089
eca-rers2012/Problem02_label37_true-unreach-call_false-termination.c 10.9  3.05  458735616 86.5 apollon112 902    795     4154793984 10100   apollon041
eca-rers2012/Problem02_label38_true-unreach-call_false-termination.c 12.8  3.62  575791104 114   apollon007 902    788     4188479488 11500   apollon010
eca-rers2012/Problem02_label39_true-unreach-call_false-termination.c 10.8  3.14  467447808 81.4 apollon042 902    789     4150755328 10100   apollon115
eca-rers2012/Problem02_label40_true-unreach-call_false-termination.c 11.9  3.39  449007616 87.5 apollon133 903    778     4169166848 9770   apollon003
eca-rers2012/Problem02_label41_true-unreach-call_false-termination.c 12.0  3.37  451432448 91.9 apollon070 902    802     4174012416 12000   apollon019
eca-rers2012/Problem02_label42_true-unreach-call_false-termination.c 9.97 2.91  443207680 73.1 apollon116 902    793     4189913088 10600   apollon154
eca-rers2012/Problem02_label46_true-unreach-call_false-termination.c 10.7  3.06  490643456 93.8 apollon016 903    714     5465366528 9650   apollon156
eca-rers2012/Problem02_label47_true-unreach-call_false-termination.c 11.5  3.17  486764544 106   apollon160 902    802     4099252224 10400   apollon025
eca-rers2012/Problem02_label48_true-unreach-call_false-termination.c 10.8  2.99  467533824 88.0 apollon067 902    788     4175695872 11000   apollon048
eca-rers2012/Problem02_label49_true-unreach-call_false-termination.c 13.7  3.98  583397376 105   apollon107 902    795     4168396800 10500   apollon062
eca-rers2012/Problem02_label51_true-unreach-call_false-termination.c 11.0  3.02  467755008 86.7 apollon127 902    796     4192223232 11400   apollon124
eca-rers2012/Problem02_label52_true-unreach-call_false-termination.c 18.9  6.75  882524160 158   apollon118 902    760     4804497408 9710   apollon134
eca-rers2012/Problem02_label53_true-unreach-call_false-termination.c 11.1  3.10  470781952 83.7 apollon051 902    804     4173197312 12000   apollon007
eca-rers2012/Problem02_label54_true-unreach-call_false-termination.c 11.8  3.34  471564288 99.4 apollon047 901    797     4065427456 10900   apollon076
eca-rers2012/Problem02_label55_true-unreach-call_false-termination.c 12.4  3.35  478433280 102   apollon152 902    795     4166336512 9720   apollon139
eca-rers2012/Problem02_label56_true-unreach-call_false-termination.c 11.6  3.21  480391168 105   apollon033 902    792     4091199488 10700   apollon119
eca-rers2012/Problem02_label57_true-unreach-call_false-termination.c 10.6  3.01  447860736 86.7 apollon071 902    797     4198285312 9920   apollon098
eca-rers2012/Problem02_label58_true-unreach-call_false-termination.c 12.5  3.39  490442752 97.5 apollon002 902    789     4116144128 10900   apollon018
eca-rers2012/Problem03_label00_true-unreach-call.c 65.8  36.7   1535205376 589   apollon025 902    837     4075794432 9920   apollon013
eca-rers2012/Problem03_label01_true-unreach-call.c 86.2  56.9   2417102848 928   apollon018 902    838     4052729856 11100   apollon147
eca-rers2012/Problem03_label02_true-unreach-call.c 35.8  12.4   1193922560 304   apollon005 902    826     4187070464 11200   apollon009
eca-rers2012/Problem03_label03_true-unreach-call.c 42.0  17.1   1435881472 357   apollon025 902    841     4013699072 11300   apollon152
eca-rers2012/Problem03_label04_true-unreach-call.c 76.2  48.7   2390781952 822   apollon085 902    825     4227665920 10100   apollon134
eca-rers2012/Problem03_label05_true-unreach-call.c 86.0  55.5   2204184576 1090   apollon039 901    828     4146319360 10700   apollon097
eca-rers2012/Problem03_label06_true-unreach-call.c 40.3  15.4   1420427264 344   apollon156 902    840     4065656832 10700   apollon118
eca-rers2012/Problem03_label07_true-unreach-call.c 37.6  13.9   1893085184 359   apollon111 902    828     4135067648 10900   apollon022
eca-rers2012/Problem03_label08_true-unreach-call.c 103    67.5   3045392384 1210   apollon044 902    842     3907223552 9400   apollon092
eca-rers2012/Problem03_label10_true-unreach-call.c 81.6  51.4   1738211328 946   apollon148 902    822     4232585216 12000   apollon159
eca-rers2012/Problem03_label11_true-unreach-call.c 42.8  16.3   1316515840 398   apollon033 902    831     4177395712 10500   apollon032
eca-rers2012/Problem03_label12_true-unreach-call.c 37.7  14.3   1211084800 287   apollon116 902    843     3895177216 12000   apollon027
eca-rers2012/Problem03_label14_true-unreach-call.c 33.5  12.9   1331265536 298   apollon067 902    827     4115181568 10000   apollon149
eca-rers2012/Problem03_label15_true-unreach-call.c 51.4  26.4   1893371904 507   apollon070 902    821     4214116352 10900   apollon061
eca-rers2012/Problem03_label16_true-unreach-call.c 34.8  11.1   1116803072 286   apollon076 902    827     4186193920 10700   apollon037
eca-rers2012/Problem03_label17_true-unreach-call.c 54.7  29.1   2047148032 496   apollon116 901    829     4179013632 10500   apollon074
eca-rers2012/Problem03_label18_true-unreach-call.c 52.0  22.9   1930211328 469   apollon101 902    831     4231487488 11300   apollon009
eca-rers2012/Problem03_label19_true-unreach-call.c 36.7  13.7   1339711488 333   apollon007 903    824     4236668928 11000   apollon067
eca-rers2012/Problem03_label20_true-unreach-call.c 102    72.4   2400522240 1140   apollon022 902    826     4119203840 11300   apollon071
eca-rers2012/Problem03_label21_true-unreach-call.c 56.3  31.1   2139701248 535   apollon116 901    833     4186177536 10400   apollon129
eca-rers2012/Problem03_label22_true-unreach-call.c 52.3  26.4   1924898816 513   apollon067 901    831     4225085440 10700   apollon121
eca-rers2012/Problem03_label23_true-unreach-call.c 46.8  22.0   1626705920 400   apollon117 901    838     3905830912 10500   apollon032
eca-rers2012/Problem03_label24_true-unreach-call.c 37.8  12.8   1304776704 313   apollon095 901    830     4232384512 11500   apollon112
eca-rers2012/Problem03_label25_true-unreach-call.c 58.8  29.8   2074251264 549   apollon038 902    833     4160557056 10000   apollon166
eca-rers2012/Problem03_label29_true-unreach-call.c 45.5  21.5   1847934976 389   apollon043 902    826     4141703168 12100   apollon059
eca-rers2012/Problem03_label30_true-unreach-call.c 39.0  16.1   1679675392 319   apollon089 902    840     4001599488 10500   apollon050
eca-rers2012/Problem03_label32_true-unreach-call.c 36.8  13.3   1221246976 343   apollon057 902    829     4088152064 10100   apollon013
eca-rers2012/Problem03_label33_true-unreach-call.c 103    66.6   3125952512 890   apollon123 902    834     4147613696 10900   apollon153
eca-rers2012/Problem03_label34_true-unreach-call.c 38.1  13.9   1273085952 315   apollon071 902    822     4203642880 12300   apollon106
eca-rers2012/Problem03_label36_true-unreach-call.c 37.1  13.1   1306238976 312   apollon017 902    827     4036018176 13300   apollon111
eca-rers2012/Problem03_label38_true-unreach-call.c 36.7  13.2   1226981376 331   apollon030 902    826     4254793728 10300   apollon115
eca-rers2012/Problem03_label40_true-unreach-call.c 50.2  20.7   1635188736 416   apollon086 902    826     4207038464 11700   apollon006
eca-rers2012/Problem03_label41_true-unreach-call.c 35.3  12.8   1093976064 297   apollon087 902    820     4189200384 10600   apollon107
eca-rers2012/Problem03_label42_true-unreach-call.c 39.1  13.0   1267736576 282   apollon040 902    829     4141928448 10900   apollon015
eca-rers2012/Problem03_label44_true-unreach-call.c 69.6  39.6   2357723136 813   apollon044 902    824     4152565760 12200   apollon122
eca-rers2012/Problem03_label46_true-unreach-call.c 34.3  12.5   1067384832 288   apollon120 901    842     3996270592 13200   apollon111
eca-rers2012/Problem03_label47_true-unreach-call.c 52.1  27.8   2020904960 577   apollon030 901    824     4208168960 11600   apollon091
eca-rers2012/Problem03_label48_true-unreach-call.c 65.1  40.5   2116354048 737   apollon020 902    823     4197568512 9990   apollon060
eca-rers2012/Problem03_label49_true-unreach-call.c 102    75.3   2444193792 1200   apollon071 901    824     4197040128 9870   apollon117
eca-rers2012/Problem03_label51_true-unreach-call.c 71.0  45.4   2201874432 756   apollon146 902    822     4195852288 11000   apollon070
eca-rers2012/Problem03_label53_true-unreach-call.c 64.8  37.2   2075496448 663   apollon118 902    826     4127494144 10700   apollon120
eca-rers2012/Problem03_label54_true-unreach-call.c 58.2  34.0   1768529920 591   apollon168 902    840     4084346880 12000   apollon047
eca-rers2012/Problem03_label55_true-unreach-call.c 102    72.3   2852687872 1030   apollon043 901    841     3983634432 10000   apollon083
eca-rers2012/Problem03_label56_true-unreach-call.c 102    65.7   3189555200 1040   apollon076 902    823     4208320512 10800   apollon022
eca-rers2012/Problem03_label57_true-unreach-call.c 102    75.0   2639548416 1020   apollon092 901    822     4182487040 11100   apollon031
eca-rers2012/Problem03_label58_true-unreach-call.c 61.8  32.0   1719386112 561   apollon135 902    826     4182536192 12900   apollon021
eca-rers2012/Problem03_label59_true-unreach-call.c 34.9  11.2   910884864 306   apollon014 902    828     4281622528 11000   apollon018
eca-rers2012/Problem04_label00_true-unreach-call.c 105    67.0   2467131392 938   apollon155 902    791     4275699712 10600   apollon097
eca-rers2012/Problem04_label01_true-unreach-call.c 105    54.3   2332938240 817   apollon102 902    792     4286509056 11700   apollon112
eca-rers2012/Problem04_label02_true-unreach-call.c 107    58.9   2802356224 845   apollon118 902    784     4220960768 9660   apollon089
eca-rers2012/Problem04_label03_true-unreach-call.c 106    61.5   2232176640 1020   apollon155 901    794     4182970368 10500   apollon135
eca-rers2012/Problem04_label05_true-unreach-call.c 105    66.3   2686750720 1170   apollon057 901    791     4264075264 11700   apollon019
eca-rers2012/Problem04_label07_true-unreach-call.c 106    65.6   2768830464 1150   apollon044 901    803     4301529088 10800   apollon156
eca-rers2012/Problem04_label08_true-unreach-call.c 104    63.6   2587275264 871   apollon117 901    784     4250734592 10400   apollon075
eca-rers2012/Problem04_label10_true-unreach-call.c 104    65.3   2572374016 1140   apollon021 901    780     4253347840 12800   apollon111
eca-rers2012/Problem04_label16_true-unreach-call.c 105    67.8   2697060352 856   apollon053 902    785     4223889408 10800   apollon009
eca-rers2012/Problem04_label20_true-unreach-call_false-termination.c 106    65.5   2867310592 872   apollon102 901    801     4260421632 10700   apollon031
eca-rers2012/Problem04_label21_true-unreach-call.c 106    65.5   2833031168 828   apollon089 901    783     4257009664 9670   apollon043
eca-rers2012/Problem04_label22_true-unreach-call.c 105    68.8   2445328384 920   apollon026 901    785     4258447360 10600   apollon102
eca-rers2012/Problem04_label23_true-unreach-call_false-termination.c 105    62.0   2726133760 844   apollon099 901    797     4219895808 12000   apollon081
eca-rers2012/Problem04_label24_true-unreach-call_false-termination.c 105    64.1   2703228928 1010   apollon014 901    795     4249980928 12100   apollon122
eca-rers2012/Problem04_label25_true-unreach-call.c 60.3  31.8   1834254336 514   apollon004 902    792     4202741760 10500   apollon034
eca-rers2012/Problem04_label28_true-unreach-call.c 106    62.6   2535530496 879   apollon152 901    784     4237590528 12000   apollon140
eca-rers2012/Problem04_label29_true-unreach-call_false-termination.c 105    65.4   2684870656 966   apollon087 901    809     4312104960 12100   apollon077
eca-rers2012/Problem04_label30_true-unreach-call.c 104    60.3   2795438080 879   apollon058 901    786     4237754368 10500   apollon050
eca-rers2012/Problem04_label33_true-unreach-call.c 106    63.9   3000496128 1040   apollon112 902    785     4201472000 9320   apollon029
eca-rers2012/Problem04_label34_true-unreach-call.c 105    61.8   2683064320 934   apollon011 901    788     4255510528 11100   apollon071
eca-rers2012/Problem04_label37_true-unreach-call_false-termination.c 104    62.1   2950426624 924   apollon020 901    797     4210642944 9300   apollon158
eca-rers2012/Problem04_label41_true-unreach-call.c 79.0  43.1   2163376128 705   apollon142 901    791     4219691008 11000   apollon015
eca-rers2012/Problem04_label42_true-unreach-call_false-termination.c 78.6  43.6   2038984704 703   apollon164 901    802     4209582080 10600   apollon157
eca-rers2012/Problem04_label43_true-unreach-call_false-termination.c 103    69.0   3766673408 937   apollon045 902    814     4263120896 12000   apollon132
eca-rers2012/Problem04_label44_true-unreach-call_false-termination.c 106    67.7   3022307328 906   apollon032 901    779     4242305024 10700   apollon082
eca-rers2012/Problem04_label46_true-unreach-call_false-termination.c 104    63.4   2796511232 926   apollon082 901    786     4212932608 10200   apollon144
eca-rers2012/Problem04_label47_true-unreach-call.c 106    66.0   2668498944 960   apollon019 902    799     4257378304 11400   apollon046
eca-rers2012/Problem04_label48_true-unreach-call.c 104    62.4   2687680512 878   apollon119 901    791     4261785600 12000   apollon059
eca-rers2012/Problem04_label49_true-unreach-call_false-termination.c 106    63.6   2783956992 861   apollon146 902    803     4232699904 10800   apollon135
eca-rers2012/Problem04_label50_true-unreach-call.c 105    64.3   2582802432 1160   apollon057 902    788     4187455488 11000   apollon124
eca-rers2012/Problem04_label51_true-unreach-call.c 106    63.7   3066126336 874   apollon116 901    782     4281864192 10300   apollon097
eca-rers2012/Problem04_label53_true-unreach-call.c 105    65.1   2400821248 1000   apollon167 901    777     4269588480 10300   apollon107
eca-rers2012/Problem04_label54_true-unreach-call.c 107    65.0   2781978624 1080   apollon140 902    782     4308824064 11000   apollon152
eca-rers2012/Problem04_label56_true-unreach-call.c 105    64.4   2259431424 913   apollon093 901    779     4250042368 9830   apollon100
eca-rers2012/Problem04_label57_true-unreach-call_false-termination.c 105    62.1   2586861568 848   apollon025 901    784     4290510848 10500   apollon156
eca-rers2012/Problem04_label59_true-unreach-call.c 104    62.3   2157547520 873   apollon108 901    785     4309012480 10100   apollon045
eca-rers2012/Problem05_label02_true-unreach-call.c 103    64.0   2784587776 1030   apollon112 901    763     4348915712 10700   apollon093
eca-rers2012/Problem05_label03_true-unreach-call.c 110    65.9   2670374912 1040   apollon142 902    764     4321488896 10700   apollon070
eca-rers2012/Problem05_label04_true-unreach-call.c 111    66.2   2542309376 911   apollon164 902    768     4307697664 12300   apollon030
eca-rers2012/Problem05_label05_true-unreach-call.c 104    56.5   2584113152 898   apollon155 902    777     4468740096 13100   apollon056
eca-rers2012/Problem05_label06_true-unreach-call.c 103    55.5   2860048384 845   apollon018 902    771     4360929280 12800   apollon057
eca-rers2012/Problem05_label07_true-unreach-call.c 103    61.9   2513260544 917   apollon070 902    762     4371156992 10000   apollon157
eca-rers2012/Problem05_label08_true-unreach-call.c 109    67.0   3030695936 959   apollon058 902    770     4342616064 11800   apollon163
eca-rers2012/Problem05_label09_true-unreach-call.c 104    64.2   2328817664 904   apollon067 902    766     4349390848 10300   apollon107
eca-rers2012/Problem05_label10_true-unreach-call.c 107    60.9   2392121344 932   apollon095 901    771     4316897280 11000   apollon052
eca-rers2012/Problem05_label12_true-unreach-call.c 104    62.0   2744139776 846   apollon150 902    769     4376842240 10900   apollon113
eca-rers2012/Problem05_label14_true-unreach-call.c 105    60.1   2582499328 803   apollon089 902    772     4308713472 10800   apollon093
eca-rers2012/Problem05_label16_true-unreach-call.c 103    63.1   2546212864 1110   apollon021 902    772     4278865920 9830   apollon149
eca-rers2012/Problem05_label17_true-unreach-call.c 105    63.0   2463236096 1030   apollon005 902    766     4264210432 11000   apollon052
eca-rers2012/Problem05_label19_true-unreach-call.c 105    59.3   2778001408 877   apollon168 902    772     4280238080 10600   apollon049
eca-rers2012/Problem05_label20_true-unreach-call.c 103    63.0   3035967488 729   apollon157 902    783     4271976448 11300   apollon114
eca-rers2012/Problem05_label21_true-unreach-call.c 105    60.7   2710626304 966   apollon142 903    772     4365185024 9360   apollon029
eca-rers2012/Problem05_label22_true-unreach-call.c 113    68.0   3168112640 1030   apollon017 901    767     4397051904 10600   apollon011
eca-rers2012/Problem05_label23_true-unreach-call.c 111    65.6   3088613376 885   apollon092 901    771     4380078080 9110   apollon158
eca-rers2012/Problem05_label25_true-unreach-call.c 105    59.6   2847928320 1020   apollon016 902    766     4329742336 8300   apollon063
eca-rers2012/Problem05_label27_true-unreach-call.c 109    66.8   2943574016 847   apollon089 902    770     4281835520 10700   apollon067
eca-rers2012/Problem05_label28_true-unreach-call.c 105    56.7   2815913984 865   apollon086 902    772     4276240384 11600   apollon108
eca-rers2012/Problem05_label29_true-unreach-call.c 110    62.1   3000233984 783   apollon022 902    766     4272918528 10600   apollon102
eca-rers2012/Problem05_label31_true-unreach-call.c 110    59.7   2889883648 992   apollon087 901    773     4384952320 12100   apollon008
eca-rers2012/Problem05_label34_true-unreach-call.c 104    58.7   2660499456 820   apollon151 901    767     4379717632 12000   apollon069
eca-rers2012/Problem05_label35_true-unreach-call.c 104    65.5   2769391616 945   apollon034 902    769     4542566400 10900   apollon113
eca-rers2012/Problem05_label42_true-unreach-call.c 103    65.6   2804101120 1110   apollon160 902    765     4305555456 9680   apollon089
eca-rers2012/Problem05_label43_true-unreach-call.c 111    64.9   3022307328 858   apollon089 902    767     4285263872 10000   apollon166
eca-rers2012/Problem05_label45_true-unreach-call.c 103    61.0   2830966784 946   apollon047 901    774     4318658560 10400   apollon062
eca-rers2012/Problem05_label46_true-unreach-call.c 103    60.2   2555273216 871   apollon099 902    770     4499333120 9690   apollon117
eca-rers2012/Problem05_label49_true-unreach-call.c 103    68.9   2237898752 896   apollon086 902    769     4307529728 10600   apollon162
eca-rers2012/Problem05_label50_true-unreach-call.c 104    59.6   2227777536 1010   apollon161 901    772     4325527552 11800   apollon163
eca-rers2012/Problem05_label52_true-unreach-call.c 109    62.5   3031785472 945   apollon168 901    769     4281556992 10300   apollon129
eca-rers2012/Problem05_label53_true-unreach-call.c 104    60.2   2609635328 1010   apollon161 902    769     4280881152 10300   apollon037
eca-rers2012/Problem05_label54_true-unreach-call.c 110    64.8   2703540224 882   apollon126 901    763     4346986496 12400   apollon044
eca-rers2012/Problem05_label56_true-unreach-call.c 110    65.4   3045056512 994   apollon087 902    771     4392288256 11800   apollon047
eca-rers2012/Problem05_label59_true-unreach-call.c 106    60.2   2398224384 813   apollon098 902    764     4361035776 10400   apollon119
eca-rers2012/Problem06_label03_true-unreach-call.c 106    63.3   2546061312 942   apollon018 901    842     3855183872 10300   apollon089
eca-rers2012/Problem06_label06_true-unreach-call.c 103    52.1   2662887424 755   apollon151 901    836     3969744896 12500   apollon126
eca-rers2012/Problem06_label07_true-unreach-call.c 104    61.3   2707263488 978   apollon017 902    838     3954876416 13500   apollon039
eca-rers2012/Problem06_label08_true-unreach-call.c 102    55.7   2717536256 1040   apollon161 902    832     4073832448 11200   apollon147
eca-rers2012/Problem06_label13_true-unreach-call.c 104    55.3   2684444672 1010   apollon148 902    839     3891548160 10700   apollon012
eca-rers2012/Problem06_label14_true-unreach-call.c 103    52.2   2342408192 816   apollon117 902    828     4098674688 11800   apollon010
eca-rers2012/Problem06_label16_true-unreach-call.c 103    57.1   2383171584 883   apollon106 902    826     4198014976 11200   apollon146
eca-rers2012/Problem06_label17_true-unreach-call.c 106    55.4   2640535552 791   apollon040 903    814     4335648768 10300   apollon066
eca-rers2012/Problem06_label18_true-unreach-call.c 103    58.1   2528108544 919   apollon011 902    824     4181692416 11400   apollon141
eca-rers2012/Problem06_label19_true-unreach-call.c 104    52.2   2441084928 872   apollon067 902    833     3977015296 10200   apollon002
eca-rers2012/Problem06_label22_true-unreach-call.c 103    58.8   2212081664 830   apollon128 903    816     4381380608 10500   apollon073
eca-rers2012/Problem06_label23_true-unreach-call.c 104    56.8   2264576000 827   apollon128 902    826     4255465472 10700   apollon050
eca-rers2012/Problem06_label25_true-unreach-call.c