Tool CMCReduction CMC Reduction 1.0 CPAchecker 1.6.1-svn 25656 CPAchecker 1.6.1-svn 25656M
Limits timelimit: 200 s, memlimit: 15000 MB, CPU core limit: 8 timelimit: 950 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:46 CET 2018-02-10 10:53:03 CET 2018-02-10 00:22:00 CET
Run set congen.predicate conditions-predicate-reducer-verifiers.CPAchecker explicit native-cmc.explicit 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 -condfile conditions/predicate.${inputfile_name}.files/output/AssumptionAutomaton.txt.gz -reducer -setprop cpa.composite.aggregateBasicBlocks=false -reducer -stack 800M -reducer -setprop residualprogram.strategy=CONDITION -verif none -type CPAchecker-explicit-current -condverif -noout -condverif -disable-java-assertions -condverif -heap 10000M -reducer -stack 800M -config config/components/valueAnalysisItp-use-cmc-condition.properties -setprop AssumptionAutomaton.cpa.automaton.inputFile=../../conditions/predicate.${inputfile_name}.files/output/AssumptionAutomaton.txt.gz -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 status cputime (s) walltime (s) memUsage cpuenergy (J) host status cputime (s) walltime (s) memUsage cpuenergy (J) host
array-examples/data_structures_set_multi_proc_false-unreach-call_ground.i 2.52 1.07  272412672 23.6 apollon152 904       871       1937518592 7040       apollon163 953    887     1661112320 8200   apollon018 902    876     3934334976 9700   apollon016
array-examples/sorting_bubblesort_false-unreach-call2_ground.i 2.48 1.06  266936320 22.8 apollon077 903       873       1766264832 6760       apollon042 922    880     1236750336 7100   apollon098 901    871     1406218240 11400   apollon088
array-examples/sorting_bubblesort_false-unreach-call_ground.i 2.58 1.06  271364096 23.2 apollon146 903       872       1878339584 6870       apollon078 920    881     1132855296 11700   apollon140 902    872     1417289728 9850   apollon017
array-examples/sorting_selectionsort_false-unreach-call2_ground.i 2.52 1.05  273469440 25.9 apollon021 903       872       1724854272 7790       apollon068 929    887     1429590016 9940   apollon085 901    871     1681899520 5840   apollon166
array-examples/sorting_selectionsort_false-unreach-call_ground.i 2.51 1.10  269996032 22.5 apollon070 903       872       1431314432 7760       apollon096 927    882     1528594432 7020   apollon040 901    870     1884459008 10000   apollon011
array-examples/standard_allDiff2_false-unreach-call_ground.i 2.55 1.02  272674816 20.6 apollon100 904       873       2439237632 7380       apollon113 927    883     1404977152 6790   apollon067 902    873     1724186624 7150   apollon153
array-examples/standard_copy1_false-unreach-call_ground.i 2.47 1.04  270622720 21.5 apollon012 904       872       1692680192 9510       apollon095 911    875     898568192 6090   apollon022 902    873     1277923328 8920   apollon054
array-examples/standard_copy2_false-unreach-call_ground.i 2.63 1.07  266743808 24.9 apollon044 904       872       1749467136 11000       apollon019 907    872     784703488 7530   apollon155 902    872     1636401152 9580   apollon028
array-examples/standard_copy3_false-unreach-call_ground.i 2.54 1.10  266362880 21.5 apollon157 904       872       1988648960 7460       apollon022 910    874     942006272 9390   apollon010 902    873     1479774208 9530   apollon076
array-examples/standard_copy4_false-unreach-call_ground.i 2.57 1.05  271839232 23.3 apollon112 904       873       1344233472 13100       apollon056 911    874     975056896 8280   apollon072 902    873     1226358784 11300   apollon065
array-examples/standard_copy5_false-unreach-call_ground.i 2.76 1.09  293363712 23.0 apollon025 904       873       1294925824 10300       apollon072 910    875     910336000 8500   apollon082 902    873     1106644992 11300   apollon010
array-examples/standard_copy6_false-unreach-call_ground.i 2.47 1.03  267083776 22.3 apollon120 904       873       1421611008 7760       apollon115 910    877     947265536 7030   apollon054 902    871     1802584064 8770   apollon118
array-examples/standard_copy7_false-unreach-call_ground.i 2.52 1.07  271093760 25.7 apollon057 904       874       1421320192 9650       apollon119 911    875     950042624 6880   apollon040 902    872     1370955776 12300   apollon080
array-examples/standard_copy8_false-unreach-call_ground.i 2.74 1.13  269246464 23.6 apollon015 904       873       1624698880 8250       apollon041 911    874     974102528 7380   apollon162 902    872     2057498624 12900   apollon056
array-examples/standard_copy9_false-unreach-call_ground.i 2.61 1.06  270417920 21.9 apollon045 904       874       1510117376 9450       apollon115 910    873     959127552 6760   apollon086 901    873     1663197184 8400   apollon031
array-examples/standard_copyInitSum2_false-unreach-call_ground.i 2.44 1.04  267759616 21.5 apollon085 904       874       1272213504 9550       apollon099 911    874     907735040 6160   apollon157 902    872     1692954624 10500   apollon011
array-examples/standard_init1_false-unreach-call_ground.i 2.45 1.04  267902976 20.9 apollon157 904       873       1326362624 8630       apollon003 910    874     976306176 7360   apollon040 902    871     2003038208 10000   apollon058
array-examples/standard_init2_false-unreach-call_ground.i 2.38 1.03  268550144 22.5 apollon067 904       873       1325891584 8760       apollon146 910    872     876417024 6900   apollon159 902    872     1548779520 11900   apollon130
array-examples/standard_init3_false-unreach-call_ground.i 2.47 1.02  271982592 25.8 apollon021 904       873       1501171712 12400       apollon080 911    873     928141312 6970   apollon086 902    871     1310781440 8880   apollon138
array-examples/standard_init4_false-unreach-call_ground.i 2.61 1.08  274423808 20.3 apollon089 904       874       1159094272 12400       apollon044 910    871     944635904 7060   apollon009 902    871     1708097536 8760   apollon118
array-examples/standard_init5_false-unreach-call_ground.i 2.56 1.04  266813440 22.3 apollon118 904       873       1437786112 9850       apollon035 910    873     954302464 10600   apollon088 902    873     1559531520 9150   apollon045
array-examples/standard_init6_false-unreach-call_ground.i 2.57 1.05  267812864 23.4 apollon152 904       870       1800548352 11000       apollon024 909    872     884588544 7520   apollon127 902    870     1825439744 8460   apollon032
array-examples/standard_init7_false-unreach-call_ground.i 2.48 1.04  269676544 25.6 apollon021 904       873       1419419648 9300       apollon144 910    871     880590848 6480   apollon145 902    872     1944133632 10300   apollon072
array-examples/standard_init8_false-unreach-call_ground.i 2.50 1.06  268128256 21.8 apollon018 904       872       1528700928 11200       apollon024 912    873     951259136 6560   apollon158 902    871     1820856320 10200   apollon125
array-examples/standard_init9_false-unreach-call_ground.i 2.54 1.05  269008896 26.2 apollon039 904       872       1777360896 11800       apollon088 910    873     898207744 9920   apollon142 902    872     1630605312 6820   apollon022
array-examples/standard_minInArray_false-unreach-call_ground.i 2.61 1.02  267812864 23.6 apollon015 903       871       2010923008 11000       apollon021 920    877     1117040640 6080   apollon037 902    871     1908752384 8950   apollon013
array-examples/standard_partition_false-unreach-call_ground.i 2.51 1.06  268705792 21.6 apollon082 904       872       1536008192 9740       apollon125 918    877     1114583040 8590   apollon129 902    871     1778827264 8900   apollon013
array-examples/standard_running_false-unreach-call.i 2.64 1.07  264208384 21.3 apollon053 904       872       2065010688 8630       apollon059 920    882     1082241024 7940   apollon105 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 904       876       3347759104 11600       apollon112 954    888     1641062400 8770   apollon087 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 904       873       2320769024 8660       apollon084 953    887     1673809920 8870   apollon109 902    877     3916451840 10500   apollon142
array-examples/relax_true-unreach-call.i 6.31 2.05  316092416 54.9 apollon007 6.60    2.35    261099520 51.7     apollon143 901    893     2806034432 6130   apollon082 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 903       872       1552211968 10300       apollon071 921    883     1220120576 11600   apollon088 902    876     1785090048 8070   apollon137
array-examples/sanfoundry_10_true-unreach-call_ground.i 101    73.5   3730948096 1140   apollon018 904       870       1770405888 9320       apollon028 914    875     1022963712 8670   apollon043 901    872     1389658112 7940   apollon123
array-examples/sanfoundry_24_true-unreach-call_true-termination.i 2.46 1.05  268558336 22.1 apollon084 4.36    1.83    212185088 36.6     apollon045 3.04 1.19  264810496 26.9 apollon166 2.25 .957 210468864 17.3 apollon092
array-examples/sanfoundry_27_true-unreach-call_ground.i 2.48 1.06  265367552 21.5 apollon072 903       871       1966043136 8940       apollon099 918    881     1055965184 8110   apollon110 902    872     1973755904 6850   apollon023
array-examples/sanfoundry_43_true-unreach-call_ground.i 2.53 1.05  266354688 25.7 apollon160 .0102  .00999 901120 .0117  apollon106 2.11 .904 212172800 18.6 apollon135 2.42 .952 237719552 22.5 apollon136
array-examples/sorting_bubblesort_true-unreach-call_ground.i 2.53 1.08  269271040 21.5 apollon157 903       873       1422200832 7690       apollon012 920    884     1089912832 8530   apollon013 901    871     1699160064 11000   apollon064
array-examples/sorting_selectionsort_true-unreach-call_ground.i 2.50 1.04  269221888 21.7 apollon026 903       871       1877106688 12300       apollon057 922    881     1339703296 7210   apollon096 901    871     1777856512 6510   apollon141
array-examples/standard_compareModified_true-unreach-call_ground.i 2.37 1.05  269266944 21.6 apollon087 904       875       1858027520 11300       apollon005 920    879     1120067584 10400   apollon132 902    873     1339625472 7130   apollon131
array-examples/standard_compare_true-unreach-call_ground.i 2.49 1.04  266219520 21.2 apollon002 903       873       1503072256 10700       apollon006 920    879     1122742272 9540   apollon030 902    870     1935097856 12400   apollon039
array-examples/standard_copy1_true-unreach-call_ground.i 2.46 1.06  264511488 21.5 apollon072 904       873       1449246720 11700       apollon140 912    873     1007726592 8030   apollon129 901    872     1392132096 8690   apollon137
array-examples/standard_copy2_true-unreach-call_ground.i 2.68 1.09  274247680 19.3 apollon158 904       873       1657294848 7880       apollon104 910    875     917614592 8930   apollon099 902    873     1293479936 9040   apollon151
array-examples/standard_copy3_true-unreach-call_ground.i 2.48 1.05  263942144 23.7 apollon161 904       873       1741824000 9830       apollon017 911    873     916389888 5770   apollon139 902    872     1360232448 10300   apollon058
array-examples/standard_copy4_true-unreach-call_ground.i 2.50 1.07  270069760 22.7 apollon093 904       874       1320009728 9390       apollon053 912    875     918958080 8250   apollon109 902    873     1338601472 8380   apollon042
array-examples/standard_copy5_true-unreach-call_ground.i 2.54 1.08  270479360 23.8 apollon020 904       873       1836736512 8940       apollon127 910    874     937091072 8270   apollon083 902    873     1233596416 8750   apollon150
array-examples/standard_copy6_true-unreach-call_ground.i 2.49 1.05  264380416 24.6 apollon081 904       874       1267503104 9170       apollon045 910    877     930029568 10600   apollon148 902    872     1408684032 11500   apollon005
array-examples/standard_copy7_true-unreach-call_ground.i 2.72 1.06  294158336 23.9 apollon120 904       873       1610801152 9370       apollon018 911    872     959041536 8890   apollon165 902    873     1191190528 8160   apollon158
array-examples/standard_copy8_true-unreach-call_ground.i 2.65 1.05  291987456 24.5 apollon077 904       873       1701515264 9460       apollon084 910    874     956039168 7790   apollon053 902    872     1774952448 10100   apollon122
array-examples/standard_copy9_true-unreach-call_ground.i 2.56 1.06  270852096 22.6 apollon084 904       874       1444102144 9310       apollon141 910    874     916037632 6530   apollon074 902    872     1306996736 10300   apollon047
array-examples/standard_copyInitSum2_true-unreach-call_ground.i 2.56 1.04  271286272 21.4 apollon045 904       873       1265786880 8530       apollon078 911    874     878067712 6670   apollon041 902    873     1425620992 10900   apollon125
array-examples/standard_copyInitSum3_true-unreach-call_ground.i 2.48 1.06  270450688 21.2 apollon082 904       873       1694109696 7580       apollon153 909    874     914587648 6690   apollon124 902    873     1243217920 8860   apollon037
array-examples/standard_copyInitSum_true-unreach-call_ground.i 2.49 1.05  270446592 24.7 apollon106 903       873       2051964928 8510       apollon041 910    873     920166400 8320   apollon069 902    872     1914744832 8350   apollon048
array-examples/standard_copyInit_true-unreach-call_ground.i 2.46 1.09  266682368 24.3 apollon030 904       873       1302519808 11300       apollon016 910    872     986206208 6320   apollon115 902    872     1804914688 7350   apollon157
array-examples/standard_find_true-unreach-call_ground.i 2.48 1.05  268480512 25.1 apollon057 904       873       1746149376 9770       apollon026 910    875     950292480 8850   apollon046 902    873     1710039040 9230   apollon046
array-examples/standard_init1_true-unreach-call_ground.i 2.48 1.03  265166848 21.4 apollon095 903       872       1728032768 8140       apollon025 909    873     911708160 8090   apollon020 902    871     1719488512 9610   apollon134
array-examples/standard_init2_true-unreach-call_ground.i 2.59 1.06  271470592 19.1 apollon092 904       871       1749737472 9340       apollon083 909    874     967102464 11300   apollon130 902    871     2024648704 7430   apollon158
array-examples/standard_init3_true-unreach-call_ground.i 2.48 1.02  269938688 21.0 apollon058 904       872       1809055744 9390       apollon117 909    873     883896320 6760   apollon012 902    872     1289179136 10400   apollon122
array-examples/standard_init4_true-unreach-call_ground.i 2.47 1.04  266502144 20.6 apollon127 904       872       1514606592 11100       apollon065 910    872     918515712 7130   apollon092 902    871     1749114880 9740   apollon125
array-examples/standard_init5_true-unreach-call_ground.i 2.58 1.07  267907072 22.5 apollon142 904       874       1350598656 7970       apollon022 909    872     886886400 6260   apollon101 902    872     1242857472 13000   apollon057
array-examples/standard_init6_true-unreach-call_ground.i 2.44 1.05  267489280 20.0 apollon098 904       872       1798766592 10400       apollon065 911    872     940511232 7260   apollon133 902    873     1684729856 11400   apollon024
array-examples/standard_init7_true-unreach-call_ground.i 2.51 1.08  267612160 19.6 apollon151 904       871       1737576448 8840       apollon113 910    873     959909888 7640   apollon043 902    871     1307353088 9200   apollon102
array-examples/standard_init8_true-unreach-call_ground.i 2.49 1.04  270630912 23.9 apollon047 904       872       1744605184 8950       apollon105 911    872     939130880 7090   apollon164 902    871     1669378048 9010   apollon143
array-examples/standard_init9_true-unreach-call_ground.i 2.51 1.04  266563584 20.3 apollon043 904       872       1755947008 9420       apollon047 910    874     977096704 7100   apollon143 902    872     1499099136 7430   apollon159
array-examples/standard_maxInArray_true-unreach-call_ground.i 2.48 1.03  268001280 22.4 apollon168 903       873       1644957696 9860       apollon068 920    880     1100881920 7380   apollon163 902    873     1345503232 6300   apollon157
array-examples/standard_minInArray_true-unreach-call_ground.i 2.65 1.04  269180928 21.1 apollon042 904       872       1510481920 12500       apollon056 919    878     1109430272 6120   apollon123 902    871     1926725632 7060   apollon152
array-examples/standard_palindrome_true-unreach-call_ground.i 2.54 1.05  273584128 19.8 apollon151 904       873       1675923456 9140       apollon018 911    877     944877568 12100   apollon044 902    873     1521963008 9700   apollon095
array-examples/standard_partial_init_true-unreach-call_ground.i 2.67 1.11  270290944 25.1 apollon106 903       872       1432416256 9030       apollon125 919    878     1098539008 6790   apollon002 902    872     1877528576 7770   apollon163
array-examples/standard_partition_original_true-unreach-call_ground.i 2.73 1.17  270344192 22.4 apollon168 904       871       2081492992 10600       apollon132 920    880     1108996096 8180   apollon028 902    871     1390448640 10900   apollon167
array-examples/standard_partition_true-unreach-call_ground.i 2.50 1.05  271712256 21.1 apollon053 904       872       1488375808 9450       apollon083 921    878     1118924800 7970   apollon036 902    871     1991979008 7040   apollon124
array-examples/standard_password_true-unreach-call_ground.i 2.42 1.03  269025280 22.2 apollon038 903       872       1398034432 10800       apollon094 919    879     1116200960 8930   apollon114 901    871     1787576320 7520   apollon008
array-examples/standard_reverse_true-unreach-call_ground.i 2.55 1.06  269656064 24.2 apollon161 904       872       1736560640 12100       apollon021 909    875     910462976 6160   apollon153 902    873     1517346816 8080   apollon078
array-examples/standard_running_true-unreach-call.i 2.48 1.05  271241216 20.7 apollon133 904       876       3283984384 10400       apollon011 922    880     1148928000 6920   apollon050 902    872     1787822080 8760   apollon093
array-examples/standard_sentinel_true-unreach-call_true-termination.i 2.45 1.03  268648448 22.5 apollon032 4.21    1.76    211451904 38.3     apollon058 2.87 1.16  261103616 24.4 apollon089 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 904       874       1288925184 8990       apollon138 910    874     915644416 6360   apollon002 902    873     1258254336 8210   apollon002
array-examples/standard_strcmp_true-unreach-call_ground.i 2.66 1.05  295841792 24.4 apollon076 903       874       1482792960 6720       apollon002 916    875     1073020928 10400   apollon021 901    872     1524723712 7540   apollon029
array-examples/standard_strcpy_original_true-unreach-call.i 2.57 1.07  264450048 23.6 apollon081 904       874       1420361728 10400       apollon147 909    874     906268672 7980   apollon050 902    872     1778515968 8840   apollon154
array-examples/standard_strcpy_true-unreach-call_ground.i 2.48 1.02  269180928 23.9 apollon007 904       873       1452457984 10700       apollon106 911    874     926068736 8260   apollon081 902    872     1681371136 9530   apollon049
array-examples/standard_two_index_01_true-unreach-call.i 2.47 1.03  271372288 24.1 apollon014 151       135       1812779008 1640       apollon042 363    125     1455779840 2500   apollon114 172    156     1342173184 1860   apollon023
array-examples/standard_two_index_02_true-unreach-call.i 2.55 1.06  266633216 22.9 apollon167 904       874       1206509568 7650       apollon022 912    875     928247808 6630   apollon015 902    872     1773617152 9120   apollon156
array-examples/standard_two_index_03_true-unreach-call.i 2.57 1.06  266534912 20.9 apollon025 64.6     52.9     1500553216 693       apollon105 290    81.3   1464487936 1540   apollon143 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 903       876       2674618368 9200       apollon029 910    874     934035456 10000   apollon006 902    875     3865092096 11300   apollon071
array-examples/standard_two_index_05_true-unreach-call.i 2.46 1.02  268779520 20.8 apollon058 904       881       3849392128 9990       apollon149 911    873     910356480 6530   apollon089 902    878     3626135552 11500   apollon068
array-examples/standard_two_index_06_true-unreach-call.i 2.44 1.04  266018816 20.2 apollon123 53.2     43.1     1363922944 576       apollon026 913    200     1535496192 4790   apollon072 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 903       870       1238765568 10100       apollon038 911    876     929140736 7710   apollon053 901    872     2364907520 9770   apollon133
array-examples/standard_two_index_08_true-unreach-call.i 2.51 1.04  269012992 22.7 apollon032 903       868       1232248832 10700       apollon028 910    876     915939328 7460   apollon043 902    868     1320210432 9820   apollon004
array-examples/standard_two_index_09_true-unreach-call.i 2.50 1.05  267792384 21.2 apollon157 903       869       1489530880 7310       apollon123 911    874     930623488 7580   apollon154 901    870     1657491456 11700   apollon130
array-examples/standard_vararg_true-unreach-call_ground_true-termination.i 2.47 1.03  272302080 21.7 apollon004 4.57    1.84    272121856 41.1     apollon142 911    283     8449454080 5890   apollon050 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 904       873       1291894784 9240       apollon025 912    874     964648960 6940   apollon037 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 904       873       1320611840 8890       apollon137 909    874     910639104 7960   apollon075 902    871     1755590656 9460   apollon019
array-industry-pattern/array_of_struct_loop_dep_false-unreach-call.i 101    72.2   3686895616 1160   apollon141 904       873       1448443904 9380       apollon026 908    873     895668224 7600   apollon031 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 903       874       3862859776 9790       apollon076 928    885     1472954368 9780   apollon107 901    873     3856592896 9750   apollon033
array-industry-pattern/array_range_init_false-unreach-call.i 2.48 1.04  265711616 22.6 apollon168 905       874       3870121984 12500       apollon024 918    880     1113804800 7460   apollon011 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 903       875       3862142976 11700       apollon036 922    884     1478230016 8250   apollon041 901    875     3826913280 9560   apollon043
array-industry-pattern/check_removal_from_set_after_insertion_false-unreach-call.i 101    71.3   3689865216 1060   apollon025 906       866       2050514944 10900       apollon111 915    878     1158180864 7110   apollon093 901    871     1685176320 9100   apollon137
array-industry-pattern/array_monotonic_true-unreach-call_true-termination.i 2.51 1.08  267730944 21.8 apollon121 904       872       1543192576 7900       apollon096 922    879     1180319744 9260   apollon030 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 904       871       1667010560 6320       apollon144 909    874     939827200 7120   apollon023 902    871     1604124672 9330   apollon142
array-industry-pattern/array_of_struct_break_true-unreach-call.i 101    73.8   3707666432 1050   apollon100 904       872       1529085952 8740       apollon156 910    875     951648256 6750   apollon096 902    872     1545629696 9750   apollon079
array-industry-pattern/array_of_struct_ptr_cond_init_true-unreach-call.i 101    77.5   3476049920 1180   apollon085 905       868       1659756544 10200       apollon165 918    875     1188073472 6940   apollon103 902    872     1592844288 8960   apollon133
array-industry-pattern/array_of_struct_ptr_flag_init_true-unreach-call.i 101    74.5   3696898048 1040   apollon128 905       872       1616662528 9820       apollon017 911    874     1001668608 6610   apollon042 901    870     1954238464 8810   apollon154
array-industry-pattern/array_of_struct_ptr_monotonic_true-unreach-call.i 101    78.2   3546808320 1180   apollon011 905       867       1722179584 9290       apollon034 917    875     1132974080 6000   apollon158 902    872     1624666112 9160   apollon058
array-industry-pattern/array_of_struct_ptr_mul_init_true-unreach-call.i 101    72.5   3717758976 1100   apollon156 905       872       1872576512 7740       apollon055 910    878     1274765312 8910   apollon091 902    875     2153209856 7120   apollon101
array-industry-pattern/array_of_struct_single_elem_init_true-unreach-call.i 101    73.4   3714146304 975   apollon054 904       872       1854660608 6620       apollon060 923    880     1168371712 6570   apollon015 902    873     1620848640 10400   apollon085
array-industry-pattern/array_ptr_partial_init_true-unreach-call.i 101    74.9   3696025600 1100   apollon012 904       873       1452691456 12600       apollon021 909    872     879132672 7990   apollon129 902    872     1743552512 11300   apollon132
array-industry-pattern/array_ptr_single_elem_init_true-unreach-call.i 101    75.4   3036516352 1050   apollon128 905       870       1702539264 8230       apollon164 919    878     1307426816 8340   apollon117 902    872     1601785856 10400   apollon014
array-industry-pattern/array_shadowinit_true-unreach-call_true-termination.i 101    76.0   3866857472 1240   apollon140 1.85    .775   177340416 15.1     apollon139 2.11 .925 210677760 20.9 apollon059 2.41 .957 208424960 21.7 apollon068
reducercommutativity/rangesum05_false-unreach-call_true-termination.i 7.69 2.37  413929472 56.8 apollon043 .00834 .00844 786432 .0113  apollon155 2.17 .899 214679552 21.6 apollon093 3.42 1.25  269062144 26.5 apollon134
reducercommutativity/rangesum10_false-unreach-call_true-termination.i 12.5  3.47  480616448 107   apollon125 .0256  .0264  847872 .00543 apollon076 2.11 .905 210616320 20.7 apollon007 4.25 1.43  272535552 33.4 apollon034
reducercommutativity/rangesum20_false-unreach-call.i 31.2  7.98  1050562560 247   apollon018 .0170  .0176  909312 .0100  apollon129 2.09 .905 208650240 19.5 apollon038 4.75 1.53  350486528 39.0 apollon156
reducercommutativity/rangesum40_false-unreach-call.i 59.3  28.1   2526670848 580   apollon152 .0129  .0127  851968 .00671 apollon136 2.13 .897 212803584 20.5 apollon101 6.07 1.98  396464128 52.0 apollon030
reducercommutativity/rangesum60_false-unreach-call.i 101    62.0   3709898752 998   apollon086 33.0     18.7     1385824256 329       apollon144 27.8  14.9   839712768 295   apollon152 7.73 2.53  519798784 70.3 apollon140
reducercommutativity/rangesum_false-unreach-call_true-termination.i 8.10 2.38  463929344 73.3 apollon057 .0110  .0108  970752 .00806 apollon101 2.13 .894 209367040 21.0 apollon140 902    871     2033852416 7850   apollon155
reducercommutativity/avg05_true-unreach-call_true-termination.i 101    71.8   4092358656 1120   apollon020 5.84    2.15    278528000 45.4     apollon123 901    897     773775360 12100   apollon019 3.24 1.20  277422080 29.4 apollon108
reducercommutativity/avg10_true-unreach-call_true-termination.i 101    67.7   4059254784 878   apollon158 6.09    2.17    282050560 51.3     apollon042 901    897     1163345920 12300   apollon059 3.31 1.20  278634496 29.7 apollon006
reducercommutativity/avg20_true-unreach-call.i 101    61.5   2672193536 894   apollon009 6.78    2.41    287911936 62.7     apollon161 901    895     1894428672 9830   apollon003 3.61 1.27  282443776 31.2 apollon113
reducercommutativity/avg40_true-unreach-call.i 65.4  32.7   2740805632 684   apollon030 .0132  .0132  1048576 .00000 apollon011 2.12 .894 213938176 19.2 apollon082 4.72 1.54  285802496 36.4 apollon075
reducercommutativity/avg60_true-unreach-call.i 101    70.1   3723132928 1230   apollon007 18.1     7.29    870834176 175       apollon006 26.6  16.7   908406784 273   apollon049 4.72 1.48  284065792 39.4 apollon071
reducercommutativity/avg_true-unreach-call_true-termination.i 101    70.6   4207607808 984   apollon040 4.82    1.96    249237504 41.5     apollon049 3.15 1.22  267202560 26.3 apollon165 2.65 1.02  275349504 25.3 apollon080
reducercommutativity/max05_true-unreach-call_true-termination.i 101    82.2   1129910272 796   apollon101 6.77    2.35    294252544 57.1     apollon109 8.59 2.46  446099456 69.1 apollon075 4.82 1.52  287838208 44.3 apollon056
reducercommutativity/max10_true-unreach-call_true-termination.i 102    81.1   1571536896 1150   apollon085 9.59    2.98    364814336 75.9     apollon095 23.6  8.67  639807488 210   apollon072 5.61 1.77  398323712 52.5 apollon111
reducercommutativity/max20_true-unreach-call.i 102    59.7   3975331840 1160   apollon160 12.0     3.49    417898496 99.2     apollon140 59.0  38.0   766300160 580   apollon143 8.34 2.65  521310208 78.0 apollon056
reducercommutativity/max40_true-unreach-call.i 65.6  33.5   2954465280 555   apollon158 .0108  .0109  876544 .00879 apollon105 2.12 .897 206925824 19.4 apollon162 11.3  5.00  857477120 90.8 apollon117
reducercommutativity/max60_true-unreach-call.i 101    70.4   3720253440 1150   apollon052 1.85    .816   170782720 16.9     apollon067 2.21 .944 210030592 21.8 apollon122 16.2  8.83  1166409728 169   apollon015
reducercommutativity/max_true-unreach-call_true-termination.i 101    78.1   3196026880 1100   apollon162 5.15    2.04    258490368 49.5     apollon141 4.70 1.62  277315584 36.3 apollon098 3.40 1.19  278106112 24.7 apollon092
reducercommutativity/sep05_true-unreach-call_true-termination.i 101    73.4   3047858176 879   apollon076 7.76    2.54    340197376 72.8     apollon044 84.9  41.5   1054113792 787   apollon105 4.66 1.52  284782592 40.4 apollon126
reducercommutativity/sep10_true-unreach-call.i 101    79.6   2550169600 1090   apollon045 9.04    2.82    356823040 71.6     apollon157 919    878     1231138816 7780   apollon155 5.74 1.76  401973248 49.9 apollon120
reducercommutativity/sep20_true-unreach-call.i 101    38.3   3863842816 771   apollon005 11.6     3.53    421941248 102       apollon007 920    878     1222438912 7150   apollon113 8.31 2.72  521121792 65.5 apollon003
reducercommutativity/sep40_true-unreach-call.i 68.5  36.4   3073941504 653   apollon107 .0152  .0195  1114112 .0257  apollon167 2.09 .903 208228352 19.6 apollon032 11.2  4.69  863272960 105   apollon009
reducercommutativity/sep60_true-unreach-call.i 101    68.4   3695423488 1020   apollon002 51.0     36.1     1688637440 503       apollon054 952    497     1464832000 8190   apollon006 15.6  8.66  1209810944 157   apollon131
reducercommutativity/sep_true-unreach-call_true-termination.i 101    70.5   3884142592 1100   apollon018 5.11    2.07    252190720 48.4     apollon141 922    881     1259515904 7670   apollon133 3.38 1.21  280215552 30.1 apollon094
reducercommutativity/sum05_true-unreach-call_true-termination.i 101    80.1   3679051776 1130   apollon086 5.46    2.09    256274432 48.5     apollon113 5.15 2.56  291840000 49.5 apollon132 3.24 1.21  277188608 24.9 apollon040
reducercommutativity/sum10_true-unreach-call_true-termination.i 101    70.7   4019585024 1120   apollon071 6.13    2.23    280342528 58.2     apollon159 901    897     1084768256 10800   apollon020 3.46 1.21  279146496 29.7 apollon118
reducercommutativity/sum20_true-unreach-call.i 101    62.1   2938724352 817   apollon092 6.86    2.36    287264768 56.9     apollon061 901    895     1829941248 8180   apollon054 3.99 1.39  280449024 31.6 apollon127
reducercommutativity/sum40_true-unreach-call.i 62.7  31.0   2867589120 603   apollon120 .0160  .0162  798720 .00940 apollon049 2.11 .902 214663168 21.7 apollon014 4.41 1.44  284237824 38.7 apollon093
reducercommutativity/sum60_true-unreach-call.i 101    71.0   3711438848 1110   apollon162 14.4     4.11    444162048 114       apollon105 23.7  14.1   858058752 251   apollon049 4.86 1.48  289103872 41.1 apollon136
reducercommutativity/sum_true-unreach-call_true-termination.i 101    76.1   3641413632 1170   apollon038 5.16    2.00    258805760 47.3     apollon032 3.91 1.42  276262912 32.8 apollon023 3.02 1.12  277979136 30.0 apollon039
array-tiling/mlceu_false-unreach-call.i 3.63 1.50  282714112 31.9 apollon084 904       871       1724215296 8700       apollon100 902    828     1402609664 11700   apollon070 2.17 .987 212381696 18.2 apollon117
array-tiling/skippedu_false-unreach-call.i 3.63 1.44  288727040 31.1 apollon026 .0160  .0164  901120 .0149  apollon166 2.14 .920 211435520 21.8 apollon163 2.24 .979 206327808 21.2 apollon114
array-tiling/mbpr2_true-unreach-call.i 101    67.8   3743059968 1150   apollon081 5.81    2.15    259956736 46.3     apollon149 902    785     1529294848 13000   apollon080 2.49 1.05  254668800 22.1 apollon166
array-tiling/mbpr3_true-unreach-call.i 101    65.5   3797508096 1140   apollon007 6.50    2.39    268234752 49.7     apollon123 902    793     1578496000 11700   apollon141 2.41 1.03  252522496 22.1 apollon096
array-tiling/mbpr4_true-unreach-call.i 101    68.1   3704430592 958   apollon151 6.55    2.33    282861568 59.4     apollon146 902    786     1535582208 10200   apollon089 2.57 1.07  250535936 21.0 apollon143
array-tiling/mbpr5_true-unreach-call.i 101    72.4   3754287104 1260   apollon014 1.89    .797   174714880 17.5     apollon091 2.16 .925 208408576 22.2 apollon059 2.50 1.04  248860672 22.0 apollon025
array-tiling/nr2_true-unreach-call.i 101    69.6   3708661760 1020   apollon042 5.44    2.11    257130496 48.8     apollon166 902    785     1539182592 10300   apollon116 2.51 1.02  249294848 21.0 apollon018
array-tiling/nr3_true-unreach-call.i 101    72.0   3858083840 1190   apollon167 5.69    2.13    261877760 52.8     apollon118 902    792     1601548288 10900   apollon110 2.46 1.01  252059648 23.5 apollon007
array-tiling/nr4_true-unreach-call.i 101    69.1   3838636032 1040   apollon034 6.22    2.25    275173376 59.5     apollon080 903    794     1488908288 11000   apollon107 2.41 .991 255180800 20.6 apollon025
array-tiling/nr5_true-unreach-call.i 101    64.7   3552428032 894   apollon158 6.83    2.37    381636608 53.6     apollon086 903    793     1385746432 10700   apollon137 2.29 .978 235565056 20.9 apollon052
array-tiling/pnr2_true-unreach-call.i 101    70.1   3902996480 1130   apollon146 4.77    1.98    251981824 40.4     apollon066 902    826     1384833024 12300   apollon010 2.33 .976 214364160 21.1 apollon072
array-tiling/pnr3_true-unreach-call.i 101    61.8   4284567552 1070   apollon091 4.29    1.80    212549632 43.2     apollon059 3.23 1.33  277475328 27.5 apollon120 2.23 1.01  212025344 22.6 apollon163
array-tiling/pnr4_true-unreach-call.i 101    65.1   4213096448 1030   apollon146 4.50    1.94    248078336 41.0     apollon087 3.05 1.18  260313088 30.6 apollon111 2.23 .988 209993728 22.8 apollon163
array-tiling/pnr5_true-unreach-call.i 105    58.6   4311687168 965   apollon082 4.62    1.88    249102336 40.5     apollon011 3.37 1.29  274608128 29.1 apollon005 2.24 .987 213876736 22.1 apollon094
array-tiling/poly1_true-unreach-call.i 101    75.9   2480005120 992   apollon079 904       872       1248108544 11300       apollon132 902    829     1255010304 10800   apollon035 2.17 .948 212606976 22.2 apollon008
array-tiling/poly2_true-unreach-call.i 101    70.5   3057106944 999   apollon002 4.67    1.95    248225792 42.6     apollon037 902    825     1386438656 12400   apollon164 2.24 .949 215404544 18.5 apollon041
array-tiling/pr2_true-unreach-call.i 101    71.5   3607281664 1170   apollon164 5.07    1.98    249638912 39.8     apollon123 902    792     1511546880 11200   apollon120 2.42 1.03  250560512 20.0 apollon104
array-tiling/pr3_true-unreach-call.i 101    76.4   3561402368 1100   apollon079 5.81    2.26    260251648 47.2     apollon003 902    794     1525960704 10600   apollon042 2.43 .996 250388480 22.3 apollon052
array-tiling/pr4_true-unreach-call.i 101    72.8   3111403520 1090   apollon078 6.31    2.30    259047424 59.2     apollon122 903    789     1545887744 10300   apollon002 2.46 1.01  252309504 21.2 apollon053
array-tiling/pr5_true-unreach-call.i 101    76.9   3330641920 1260   apollon019 6.39    2.35    261148672 58.1     apollon130 902    795     1526837248 10800   apollon103 2.44 1.03  248348672 25.0 apollon056
array-tiling/revcpyswp2_true-unreach-call.i 101    75.9   3419410432 1100   apollon086 4.95    1.97    253964288 40.4     apollon139 4.72 1.73  293896192 42.2 apollon052 2.52 1.01  251887616 18.9 apollon043
array-tiling/rew_true-unreach-call.i 102    68.0   3862368256 1050   apollon058 4.24    1.81    213090304 36.1     apollon073 3.07 1.19  264069120 27.8 apollon065 2.21 .939 205856768 19.5 apollon025
array-tiling/rewnif_true-unreach-call.i 101    71.0   3374350336 1250   apollon044 5.94    2.21    265945088 43.6     apollon063 3.94 1.46  273215488 36.6 apollon020 2.16 .945 210415616 20.4 apollon084
array-tiling/rewnifrev2_true-unreach-call.i 101    74.7   2781618176 1150   apollon095 4.48    1.86    252166144 44.1     apollon059 3.32 1.39  288079872 30.6 apollon038 2.16 .945 211197952 19.2 apollon023
array-tiling/rewnifrev_true-unreach-call.i 101    76.7   2974679040 1130   apollon119 4.49    1.88    209039360 45.2     apollon033 3.10 1.24  263544832 29.1 apollon093 2.23 .939 210722816 20.0 apollon165
array-tiling/rewrev_true-unreach-call.i 101    77.2   2405355520 1040   apollon151 4.98    1.98    254590976 42.4     apollon165 4.01 1.52  280961024 34.0 apollon002 2.41 1.01  252260352 20.1 apollon129
array-tiling/skipped_true-unreach-call.i 101    66.6   4037947392 1020   apollon032 5.23    2.05    249720832 44.4     apollon086 3.88 1.40  270639104 34.5 apollon145 2.21 .949 210796544 20.8 apollon055
array-tiling/tcpy_true-unreach-call.i 101    71.5   3962458112 1260   apollon161 4.18    1.78    209903616 43.4     apollon125 3.28 1.27  267677696 30.5 apollon069 2.17 .963 210821120 20.5 apollon097
array-programs/copysome1_false-unreach-call.i 2.65 1.04  291065856 24.0 apollon077 904       872       1366990848 8250       apollon045 911    874     1022828544 8640   apollon147 902    871     2011451392 6700   apollon055
array-programs/copysome2_false-unreach-call.i 2.45 1.04  270254080 20.2 apollon099 904       872       1531973632 7460       apollon120 911    873     1010913280 8040   apollon047 902    872     1537957888 9270   apollon068
array-programs/copysome1_true-unreach-call.i 2.71 1.05  290291712 23.2 apollon034 904       872       1384452096 6190       apollon120 911    876     968491008 10900   apollon140 902    872     1316495360 8980   apollon095
array-programs/copysome2_true-unreach-call.i 2.42 1.05  268816384 20.6 apollon127 904       872       1394262016 8900       apollon090 911    875     984780800 6740   apollon029 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 8.12    2.73    358862848 68.8     apollon109 101    85.2   819052544 1160   apollon147 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 4.23    1.82    212963328 43.2     apollon094 901    898     449232896 10600   apollon086 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 10.9     3.43    411004928 85.2     apollon086 23.7  13.3   616652800 256   apollon068 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 11.9     3.70    426094592 105       apollon163 108    93.1   638300160 1220   apollon004 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 4.63    1.96    253632512 42.5     apollon097 3.67 1.42  291160064 34.5 apollon152 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 .0107  .0119  987136 .00726 apollon078 2.10 .907 215252992 20.5 apollon077 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 4.33    1.82    218308608 36.9     apollon128 3.30 1.32  272445440 30.9 apollon027 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 6.14    2.19    283201536 56.0     apollon130 3.64 1.24  269475840 29.3 apollon045 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 5.14    2.07    251285504 48.7     apollon020 4.33 1.54  279851008 36.8 apollon074 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 .0117  .0116  999424 .0119  apollon086 2.03 .882 208912384 17.7 apollon075 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 .0122  .0122  1040384 .00378 apollon156 2.07 .884 211759104 17.7 apollon089 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 .0153  .0151  913408 .00287 apollon032 2.02 .884 211554304 21.3 apollon008 2.46 .962 235798528 21.5 apollon119
bitvector/jain_5_true-unreach-call_true-no-overflow.i 101    80.7   2778210304 1220   apollon052 905       873       1430241280 9800       apollon090 923    882     1572515840 8420   apollon094 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 .0108  .0108  1036288 .00000 apollon027 2.15 .905 208232448 16.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 .0100  .0103  1044480 .0114  apollon066 2.03 .875 213573632 18.8 apollon090 2.57 .977 234909696 22.9 apollon032
bitvector/modulus_true-unreach-call_true-no-overflow.i 3.14 1.31  277803008 27.8 apollon052 4.60    1.91    251543552 44.3     apollon152 901    897     635854848 8630   apollon128 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 6.07    2.22    276238336 48.7     apollon128 3.28 1.23  265003008 29.3 apollon145 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 4.99    2.10    251375616 46.7     apollon094 4.30 1.47  280285184 37.4 apollon132 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 4.76    1.98    253145088 46.2     apollon106 901    898     470999040 10900   apollon166 2.20 .959 210300928 21.1 apollon093
bitvector/sum02_true-unreach-call_true-no-overflow.i 3.50 1.45  281563136 34.3 apollon108 4.58    1.91    247296000 39.2     apollon058 901    897     468975616 9150   apollon136 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 27.4     12.6     1585356800 255       apollon144 13.2  3.55  554549248 114   apollon146 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 106       87.7     3699015680 1160       apollon098 20.2  6.08  601964544 166   apollon050 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 20.7     8.50    914604032 197       apollon022 9.60 2.58  440438784 68.1 apollon029 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 57.7     42.0     2855870464 669       apollon070 12.6  3.61  545529856 108   apollon105 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 73.5     57.0     3669655552 1020       apollon036 15.1  4.94  537001984 130   apollon110 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 17.1     6.75    853422080 154       apollon004 8.50 2.33  421171200 78.1 apollon126 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 24.7     14.0     1448075264 243       apollon062 18.4  5.46  578306048 156   apollon148 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 .0122  .0116  942080 .0109  apollon019 2.73 .996 213856256 23.5 apollon150 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 .0219  .0214  741376 .00977 apollon125 2.75 1.02  210530304 27.4 apollon125 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 .0246  .0257  913408 .00549 apollon097 2.82 1.03  212492288 26.1 apollon122 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 .0114  .0109  888832 .00909 apollon027 2.86 1.03  213856256 28.1 apollon057 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 .0198  .0195  1011712 .00500 apollon087 2.77 1.02  212000768 23.2 apollon075 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 6.39    2.30    256008192 53.2     apollon066 19.4  4.97  624918528 159   apollon113 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 9.62    3.01    334352384 71.9     apollon092 10.3  2.82  464662528 77.9 apollon066 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 9.99    3.23    333250560 77.5     apollon003 15.0  4.03  581492736 121   apollon153 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 6.01    2.26    253784064 53.1     apollon112 9.84 2.72  458543104 81.2 apollon130 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 9.50    3.04    330317824 78.2     apollon042 9.98 2.66  450936832 75.7 apollon066 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 .0150  .0156  1044480 .0151  apollon138 2.19 .876 235134976 20.8 apollon091 2.29 .928 234577920 21.6 apollon067
bitvector-regression/implicitunsignedconversion_false-unreach-call_true-termination.c 2.45 1.06  268267520 24.7 apollon016 .0104  .0101  937984 .00830 apollon031 2.08 .883 211337216 18.8 apollon085 2.18 .977 208523264 20.0 apollon070
bitvector-regression/integerpromotion_false-unreach-call_true-termination.c 2.79 1.23  275443712 27.6 apollon148 .0124  .0149  1011712 .0160  apollon027 2.04 .891 206237696 19.4 apollon112 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.03    .822   186171392 18.4     apollon166 2.72 1.06  252190720 27.2 apollon111 2.44 .971 234196992 21.0 apollon082
bitvector-regression/signextension2_false-unreach-call_true-termination.c 2.60 1.09  270381056 25.6 apollon016 .0176  .0174  1019904 .00574 apollon101 2.05 .873 211673088 19.0 apollon105 2.18 .953 212123648 22.1 apollon122
bitvector-regression/signextension_false-unreach-call_true-termination.c 2.55 1.09  272834560 26.6 apollon021 .0160  .0189  954368 .00977 apollon036 2.12 .874 212418560 18.3 apollon121 2.31 .953 216174592 20.8 apollon153
bitvector-regression/implicitunsignedconversion_true-unreach-call_true-termination.c 2.94 1.28  276406272 26.1 apollon121 4.04    1.76    213348352 39.2     apollon093 2.59 1.03  250228736 24.0 apollon132 2.15 .936 210882560 22.0 apollon014
bitvector-regression/integerpromotion_true-unreach-call_true-termination.c 2.80 1.24  278286336 24.4 apollon127 4.18    1.78    210268160 37.4     apollon023 2.67 1.07  257142784 25.4 apollon108 2.27 .992 207409152 20.7 apollon130
bitvector-regression/signextension2_true-unreach-call_true-termination.c 3.10 1.31  285671424 30.7 apollon126 4.38    1.79    210329600 35.2     apollon098 2.89 1.09  258506752 24.1 apollon032 2.30 .979 212787200 20.5 apollon085
bitvector-regression/signextension_true-unreach-call_true-termination.c 3.12 1.31  275988480 31.3 apollon111 4.28    1.77    211038208 38.3     apollon011 2.73 1.08  253915136 22.7 apollon127 2.16 .943 214171648 22.2 apollon161
bitvector-loops/diamond_false-unreach-call2.i 6.60 2.03  440332288 58.7 apollon081 .0115  .0115  978944 .00635 apollon162 2.18 .888 214519808 18.7 apollon129 2.52 1.06  249651200 22.6 apollon051
bitvector-loops/overflow_false-unreach-call1.i 2.82 1.12  290009088 25.1 apollon052 .0103  .0107  950272 .0110  apollon154 1.94 .901 208216064 16.6 apollon029 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 .0127  .0125  888832 .0101  apollon028 2.18 .972 208662528 18.2 apollon066 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 .00831 .00823 761856 .00934 apollon027 3.81 1.21  216043520 30.1 apollon142 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 .0148  .0144  884736 .00751 apollon115 3.08 1.10  211558400 26.0 apollon037 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 .00975 .0128  868352 .00958 apollon131 3.20 1.10  212619264 26.9 apollon018 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 .0143  .0139  753664 .0132  apollon105 2.85 1.02  211464192 26.6 apollon022 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 .00941 .00924 917504 .00873 apollon137 3.57 1.15  215650304 29.1 apollon012 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 .0151  .0147  991232 .00000 apollon023 3.14 1.07  215810048 23.5 apollon158 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 .0234  .0246  851968 .00610 apollon116 3.08 1.08  216104960 29.2 apollon039 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 .00784 .0117  897024 .0116  apollon003 3.38 1.12  214556672 26.8 apollon035 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 .0169  .0178  774144 .00684 apollon061 2.51 .956 212897792 20.9 apollon083 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 .0154  .0156  892928 .0186  apollon067 3.00 1.06  213663744 29.9 apollon021 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 .0132  .0130  991232 .0107  apollon107 2.75 1.00  213876736 23.9 apollon147 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 .00915 .00907 1085440 .00647 apollon131 2.79 1.08  211918848 25.0 apollon051 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 .00854 .00835 770048 .00433 apollon046 2.78 1.03  215109632 26.4 apollon014 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 .0109  .0142  966656 .0295  apollon111 2.69 .976 210604032 22.7 apollon079 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 .0107  .0104  1019904 .00885 apollon076 2.72 .998 217415680 23.7 apollon084 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 14.9     6.05    553336832 129       apollon109 594    534     1247297536 5800   apollon120 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 524       465       3946110976 6210       apollon074 124    95.4   871190528 1140   apollon104 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 .0183  .0188  1032192 .0140  apollon155 2.77 1.00  210821120 23.7 apollon045 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 .0140  .0138  1032192 .00708 apollon015 2.80 1.02  215965696 24.8 apollon142 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 .0126  .0138  974848 .00995 apollon115 2.75 1.00  214872064 23.4 apollon049 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 .0177  .0178  782336 .00494 apollon129 2.72 1.02  215576576 23.0 apollon058 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 .0106  .0111  876544 .00751 apollon145 2.86 1.02  214331392 25.3 apollon024 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 .00966 .00988 802816 .0106  apollon084 2.63 .990 211410944 22.9 apollon018 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 .0160  .0164  892928 .0153  apollon023 2.65 1.02  214876160 25.8 apollon059 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 .0109  .0163  1032192 .0212  apollon122 2.73 .987 212766720 26.6 apollon160 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 .0188  .0187  778240 .00568 apollon159 2.67 1.01  213512192 22.6 apollon062 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 .00935 .00929 966656 .0131  apollon005 2.70 1.02  209289216 23.5 apollon142 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 .00838 .0126  888832 .0264  apollon014 2.14 .923 205799424 22.7 apollon008 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 .0125  .0131  876544 .0291  apollon062 2.30 .897 209739776 22.6 apollon081 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 .0276  .0290  937984 .00971 apollon036 2.80 1.02  214192128 26.3 apollon094 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 .0160  .0167  1064960 .0150  apollon048 2.71 1.00  210644992 22.4 apollon003 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 .0114  .0113  1056768 .00830 apollon046 2.73 1.01  214085632 22.9 apollon109 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 915       838       4200804352 12800       apollon122 171    129     1626562560 1790   apollon147 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 .00573 .00970 1105920 .0117  apollon090 2.71 1.02  213061632 25.7 apollon027 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 .0206  .0203  1077248 .00671 apollon136 2.78 1.02  214847488 27.4 apollon106 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 .0140  .0146  880640 .0231  apollon046 2.34 .968 211648512 21.3 apollon076 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 .0127  .0124  794624 .00000 apollon100 2.29 .914 214716416 19.1 apollon137 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 .0164  .0168  1032192 .00769 apollon102 2.25 .907 214499328 18.9 apollon050 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 .0293  .0291  753664 .00604 apollon149 2.25 .907 211480576 20.6 apollon038 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 .0124  .0158  897024 .0394  apollon033 2.25 .941 210464768 22.2 apollon007 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 .0223  .0216  937984 .00568 apollon158 2.24 .928 211197952 21.3 apollon022 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 .0153  .0150  765952 .00922 apollon001 2.33 .955 210452480 22.9 apollon020 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 .0131  .0141  1019904 .00000 apollon019 2.31 .934 212070400 19.6 apollon029 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 .0127  .0142  966656 .0101  apollon061 2.17 .893 214544384 22.5 apollon125 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 .0148  .0147  1019904 .00635 apollon090 2.27 .964 208932864 20.3 apollon067 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 .0260  .0254  790528 .00812 apollon020 2.21 .890 216412160 21.1 apollon010 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 .0117  .0128  946176 .0106  apollon151 2.19 .907 208932864 22.8 apollon057 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 .00913 .00927 892928 .0125  apollon052 2.31 .939 209993728 19.1 apollon134 15.6  9.22  1090957312 148   apollon029
ntdrivers/cdaudio_false-unreach-call.i.cil.c 101    58.2   3856003072 984   apollon107 365       332       4161937408 5320       apollon161 75.7  48.6   959676416 762   apollon109 67.4  53.5   2699083776 700   apollon092
ntdrivers/diskperf_false-unreach-call.i.cil.c 11.5  3.08  487526400 99.5 apollon161 .0110  .0107  983040 .00000 apollon144 5.22 1.45  323293184 39.7 apollon115 52.2  40.1   1928572928 573   apollon003
ntdrivers/floppy_false-unreach-call.i.cil.c 27.8  7.02  827916288 214   apollon051 .0161  .0164  1011712 .00836 apollon055 6.64 1.72  373469184 49.2 apollon103 72.2  57.4   2447872000 952   apollon014
ntdrivers/kbfiltr_false-unreach-call.i.cil.c 9.18 2.59  472186880 71.0 apollon026 .00950 .0102  864256 .0220  apollon039 4.61 1.40  301264896 32.3 apollon089 20.4  10.1   1263087616 182   apollon040
ntdrivers/parport_false-unreach-call.i.cil.c 41.1  12.3   1233416192 337   apollon002 .00760 .0110  962560 .0155  apollon044 7.65 1.87  417009664 59.8 apollon070 902    802     4611469312 9260   apollon149
ntdrivers/cdaudio_true-unreach-call.i.cil.c 13.2  3.52  498647040 108   apollon161 .0167  .0165  860160 .00684 apollon082 6.73 1.67  388272128 54.8 apollon056 62.4  47.6   2484555776 826   apollon161
ntdrivers/diskperf_true-unreach-call.i.cil.c 10.4  2.82  465846272 85.1 apollon119 .00944 .00967 983040 .0137  apollon044 5.39 1.54  325652480 43.9 apollon006 51.1  39.1   2051452928 690   apollon044
ntdrivers/floppy2_true-unreach-call_true-termination.i.cil.c 36.7  9.30  1080754176 265   apollon051 .00988 .0108  905216 .0109  apollon134 12.5  3.04  547868672 104   apollon028 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 .0270  .0280  937984 .0129  apollon055 6.61 1.77  332845056 52.4 apollon166 54.4  39.6   2033315840 644   apollon052
ntdrivers/parport_true-unreach-call.i.cil.c 48.1  18.0   1745305600 449   apollon167 .0128  .0123  839680 .0175  apollon148 6.83 1.78  400699392 52.4 apollon090 902    809     4617420800 9680   apollon152
ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c 9.13 2.57  449695744 67.3 apollon058 .00938 .00930 851968 .00830 apollon018 3.24 1.13  211841024 26.7 apollon035 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 .0106  .0106  843776 .0106  apollon165 3.10 1.12  212111360 30.4 apollon008 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 .0126  .0130  1003520 .00940 apollon092 3.42 1.27  214585344 29.2 apollon141 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 .0112  .0110  909312 .00000 apollon129 3.46 1.19  261885952 32.6 apollon056 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 .0151  .0149  868352 .0118  apollon007 3.17 1.09  212389888 26.0 apollon003 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 .0115  .0113  1015808 .00946 apollon117 3.16 1.10  212918272 28.6 apollon048 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 .00904 .00871 827392 .0104  apollon133 3.34 1.19  214728704 30.1 apollon164 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 .00775 .00770 884736 .0115  apollon030 3.26 1.12  214847488 28.9 apollon048 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 .0103  .0144  868352 .0386  apollon161 3.32 1.14  214503424 27.8 apollon150 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 .0119  .0126  778240 .00482 apollon054 3.19 1.10  213225472 26.2 apollon139 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 .0153  .0157  827392 .0112  apollon013 3.46 1.16  255434752 32.3 apollon069 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 .0262  .0256  888832 .00598 apollon119 3.23 1.13  213823488 24.9 apollon089 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 .00943 .0125  954368 .00928 apollon110 3.28 1.13  213401600 29.5 apollon132 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 .0137  .0131  1052672 .00000 apollon118 3.34 1.14  253288448 28.1 apollon011 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 .0165  .0163  892928 .00513 apollon096 3.25 1.13  220651520 26.2 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 .0184  .0177  974848 .00452 apollon031 3.24 1.15  212746240 28.5 apollon120 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 .0102  .0104  880640 .00000 apollon090 3.39 1.14  214372352 26.2 apollon154 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 .00871 .00847 1024000 .00000 apollon091 3.20 1.13  211853312 26.7 apollon127 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 .0204  .0233  995328 .00818 apollon008 3.22 1.09  214323200 30.0 apollon161 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 .0284  .0290  974848 .00531 apollon100 3.38 1.21  212832256 29.7 apollon148 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 .0142  .0142  1056768 .00000 apollon043 3.22 1.14  211976192 31.2 apollon160 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 .0109  .0107  835584 .00696 apollon022 3.21 1.15  216494080 30.5 apollon016 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 .0149  .0180  884736 .00909 apollon154 3.14 1.15  213131264 27.4 apollon102 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 .0120  .0117  962560 .00751 apollon003 3.38 1.15  256634880 31.4 apollon088 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 .0243  .0239  872448 .00610 apollon162 3.19 1.15  212389888 30.8 apollon008 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 .0156  .0160  946176 .00757 apollon127 3.51 1.21  256118784 30.0 apollon078 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 .00932 .00941 778240 .0146  apollon044 3.19 1.11  211795968 27.5 apollon084 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 .0239  .0255  962560 .00641 apollon055 3.47 1.19  260743168 31.8 apollon028 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 .00986 .00973 835584 .0123  apollon083 3.55 1.22  254308352 27.5 apollon137 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 .00984 .0135  987136 .00617 apollon020 3.27 1.12  219906048 27.2 apollon079 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 .0112  .0149  991232 .0444  apollon111 3.63 1.25  215490560 30.3 apollon093 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 .0116  .0147  929792 .0353  apollon094 3.48 1.18  257232896 29.2 apollon032 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 .0148  .0156  835584 .00476 apollon078 3.25 1.11  218587136 28.0 apollon135 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 .00959 .00939 851968 .00903 apollon163 3.43 1.18  255295488 27.6 apollon058 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 .00971 .0119  921600 .00000 apollon052 3.46 1.18  255815680 27.8 apollon002 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 .0102  .0101  843776 .0107  apollon116 3.22 1.11  214851584 27.2 apollon075 12.3  4.07  771096576 105   apollon048
eca-rers2012/Problem01_label15_false-unreach-call_false-termination.c 19.2  5.31  774098944 155   apollon109 .0143  .0147  872448 .0102  apollon058 3.55 1.12  218013696 31.1 apollon077 902    797     4026531840 12400   apollon125
eca-rers2012/Problem01_label20_false-unreach-call_false-termination.c 26.3  7.53  1136979968 215   apollon009 .0180  .0181  901120 .00433 apollon023 3.52 1.17  212582400 30.7 apollon113 901    791     4129579008 11400   apollon048
eca-rers2012/Problem01_label21_false-unreach-call_false-termination.c 20.4  5.38  821071872 181   apollon044 .00710 .0109  1024000 .0140  apollon027 3.48 1.15  215412736 28.1 apollon038 901    792     4016541696 10700   apollon153
eca-rers2012/Problem01_label32_false-unreach-call_false-termination.c 29.0  8.58  1047896064 242   apollon020 .0107  .0105  806912 .00781 apollon105 3.52 1.19  217083904 32.7 apollon163 901    796     4064690176 10800   apollon078
eca-rers2012/Problem01_label33_false-unreach-call_false-termination.c 22.0  6.19  848171008 171   apollon060 .0111  .0109  892928 .0104  apollon158 3.46 1.15  217767936 31.0 apollon091 902    797     4158390272 10700   apollon074
eca-rers2012/Problem01_label35_false-unreach-call_false-termination.c 26.9  9.13  1037926400 207   apollon058 .0107  .0122  843776 .00751 apollon136 3.57 1.16  220409856 31.3 apollon077 902    803     4038434816 12200   apollon028
eca-rers2012/Problem01_label37_false-unreach-call_false-termination.c 22.1  5.89  846315520 170   apollon085 .0265  .0260  823296 .00470 apollon086 3.65 1.17  214134784 29.1 apollon013 902    807     4127760384 11000   apollon162
eca-rers2012/Problem01_label38_false-unreach-call_false-termination.c 21.1  5.64  812269568 168   apollon047 .0247  .0248  937984 .00574 apollon126 3.51 1.12  214458368 33.0 apollon122 902    798     4055752704 12500   apollon125
eca-rers2012/Problem01_label44_false-unreach-call_false-termination.c 16.0  4.32  600502272 144   apollon125 .0125  .0125  933888 .00000 apollon159 3.86 1.16  242081792 30.6 apollon153 901    803     4118994944 10300   apollon107
eca-rers2012/Problem01_label47_false-unreach-call_false-termination.c 43.2  21.7   2095919104 429   apollon038 .0120  .0134  987136 .0103  apollon049 3.51 1.11  214659072 30.6 apollon091 901    793     4135129088 12700   apollon016
eca-rers2012/Problem01_label50_false-unreach-call_false-termination.c 22.0  5.95  801144832 186   apollon044 .0109  .0106  958464 .0110  apollon030 3.60 1.17  215678976 29.6 apollon049 901    790     4033404928 11300   apollon138
eca-rers2012/Problem01_label56_false-unreach-call_false-termination.c 23.4  6.12  823189504 187   apollon126 .0118  .0116  1024000 .00000 apollon135 3.56 1.14  218738688 29.2 apollon150 902    791     4107657216 10700   apollon074
eca-rers2012/Problem01_label57_false-unreach-call_false-termination.c 43.7  23.2   2018070528 430   apollon032 .00688 .0101  888832 .00000 apollon014 3.62 1.21  215117824 30.8 apollon102 901    791     4049911808 10000   apollon134
eca-rers2012/Problem02_label13_false-unreach-call_false-termination.c 13.1  3.55  471687168 100   apollon071 .0124  .0134  970752 .00732 apollon032 3.43 1.12  215240704 30.6 apollon024 902    800     4109246464 11000   apollon076
eca-rers2012/Problem02_label16_false-unreach-call_false-termination.c 11.0  3.11  477917184 90.4 apollon087 .00999 .0111  913408 .0106  apollon059 3.55 1.12  216489984 30.9 apollon078 902    800     4013883392 10500   apollon097
eca-rers2012/Problem02_label43_false-unreach-call_false-termination.c 12.5  3.39  489721856 105   apollon032 .0115  .0112  892928 .00855 apollon092 3.59 1.16  217550848 32.8 apollon044 901    800     4175851520 10900   apollon095
eca-rers2012/Problem02_label44_false-unreach-call_false-termination.c 12.2  3.35  474251264 108   apollon020 .0101  .0101  978944 .00000 apollon168 3.37 1.11  215846912 26.8 apollon100 905    814     3939524608 11700   apollon112
eca-rers2012/Problem02_label45_false-unreach-call_false-termination.c 21.7  5.85  700645376 186   apollon126 .00725 .0107  864256 .0109  apollon167 3.55 1.14  215298048 26.9 apollon043 902    799     4170321920 10800   apollon156
eca-rers2012/Problem02_label50_false-unreach-call_false-termination.c 18.7  5.20  633774080 160   apollon141 .0112  .0110  794624 .00665 apollon104 3.36 1.11  214106112 25.8 apollon041 902    780     4164751360 11800   apollon047
eca-rers2012/Problem02_label59_false-unreach-call_false-termination.c 16.7  4.41  586911744 139   apollon047 .0172  .0178  897024 .00897 apollon024 3.48 1.15  217280512 30.5 apollon102 902    804     3828248576 11300   apollon101
eca-rers2012/Problem03_label09_false-unreach-call.c 81.6  50.0   2407669760 935   apollon140 .00862 .0132  892928 .00690 apollon146 5.55 1.57  311873536 44.9 apollon010 902    838     4029685760 11300   apollon124
eca-rers2012/Problem03_label13_false-unreach-call.c 49.2  24.6   1945714688 515   apollon126 .0127  .0123  966656 .00964 apollon108 5.30 1.45  313716736 41.9 apollon119 902    843     3854270464 9920   apollon060
eca-rers2012/Problem03_label26_false-unreach-call.c 36.4  12.5   1239662592 331   apollon081 .00833 .00826 765952 .00983 apollon143 5.76 1.57  315293696 46.8 apollon164 902    830     4129325056 10600   apollon150
eca-rers2012/Problem03_label27_false-unreach-call.c 46.1  17.4   1691025408 394   apollon118 .00753 .0101  962560 .00891 apollon098 5.68 1.55  314445824 47.4 apollon138 901    832     4153880576 12100   apollon140
eca-rers2012/Problem03_label28_false-unreach-call.c 46.7  17.1   1700794368 428   apollon155 .0108  .0110  954368 .00855 apollon102 5.61 1.50  334512128 43.0 apollon061 902    826     4104949760 13100   apollon160
eca-rers2012/Problem03_label31_false-unreach-call.c 50.6  20.2   1823731712 463   apollon167 .0216  .0240  970752 .00452 apollon127 5.51 1.53  314621952 41.2 apollon079 902    838     3938754560 9410   apollon151
eca-rers2012/Problem03_label35_false-unreach-call.c 54.9  25.5   2063114240 525   apollon071 .0231  .0225  761856 .00842 apollon149 5.39 1.53  306552832 43.1 apollon084 902    838     4087152640 10200   apollon083
eca-rers2012/Problem03_label37_false-unreach-call.c 46.3  20.4   1868697600 413   apollon011 .0178  .0177  835584 .00500 apollon108 5.22 1.37  346763264 38.8 apollon011 901    827     4188106752 11000   apollon102
eca-rers2012/Problem03_label39_false-unreach-call.c 68.4  34.0   1953198080 631   apollon142 .0111  .0112  966656 .00781 apollon078 5.43 1.46  313151488 44.0 apollon096 901    830     4141477888 10900   apollon162
eca-rers2012/Problem03_label43_false-unreach-call.c 51.9  21.5   1993134080 413   apollon089 .0230  .0224  847872 .00513 apollon127 5.28 1.45  314843136 37.9 apollon089 902    840     3906904064 11800   apollon033
eca-rers2012/Problem03_label45_false-unreach-call.c 58.5  27.8   2186940416 495   apollon128 .0128  .0125  798720 .00696 apollon063 5.58 1.64  295882752 47.7 apollon108 901    831     4171730944 9840   apollon128
eca-rers2012/Problem03_label50_false-unreach-call.c 78.4  50.1   1836380160 817   apollon135 .0197  .0194  1048576 .00751 apollon102 5.22 1.45  338034688 39.1 apollon139 901    829     4171911168 12000   apollon077
eca-rers2012/Problem03_label52_false-unreach-call.c 102    77.9   2815733760 1040   apollon151 920       752       9615278080 9660       apollon128 208    143     2105593856 2410   apollon027 901    833     4167544832 13400   apollon111
eca-rers2012/Problem04_label04_false-unreach-call.c 106    64.2   2799005696 853   apollon100 76.4     50.4     1055039488 752       apollon062 958    230     1677672448 5530   apollon096 901    816     4182048768 11500   apollon020
eca-rers2012/Problem04_label06_false-unreach-call.c 105    62.9   2442240000 799   apollon151 951       730       10649944064 11700       apollon014 950    225     1671622656 5230   apollon061 901    782     4258893824 11400   apollon091
eca-rers2012/Problem04_label09_false-unreach-call.c 105    65.0   3029127168 943   apollon108 951       709       10964717568 12000       apollon057 952    222     1654689792 5630   apollon164 901    783     4223774720 10200   apollon035
eca-rers2012/Problem04_label11_false-unreach-call_false-termination.c 106    66.4   2867843072 867   apollon127 950       763       10825093120 11800       apollon126 957    232     1688006656 5620   apollon084 901    787     4244828160 13200   apollon039
eca-rers2012/Problem04_label12_false-unreach-call_false-termination.c 105    66.3   2891554816 913   apollon082 951       730       9882767360 9810       apollon086 954    233     1693884416 5550   apollon084 901    783     4310937600 10600   apollon058
eca-rers2012/Problem04_label13_false-unreach-call.c 104    65.0   2967457792 930   apollon108 951       726       10335432704 9090       apollon029 958    228     1697665024 5170   apollon133 901    790     4184518656 12500   apollon080
eca-rers2012/Problem04_label14_false-unreach-call_false-termination.c 106    61.5   2798776320 817   apollon029 951       717       10777108480 11800       apollon021 953    221     1659887616 5320   apollon095 901    780     4283363328 11500   apollon007
eca-rers2012/Problem04_label15_false-unreach-call.c 106    63.2   2703863808 885   apollon032 951       721       10002403328 9180       apollon104 952    222     1651679232 5900   apollon161 902    806     4206665728 12400   apollon044
eca-rers2012/Problem04_label17_false-unreach-call_false-termination.c 106    65.2   2876592128 881   apollon146 951       730       9461620736 10400       apollon004 950    226     1672204288 5110   apollon073 901    812     4285128704 10800   apollon121
eca-rers2012/Problem04_label18_false-unreach-call.c 105    62.8   2570268672 922   apollon168 951       731       10959192064 9490       apollon089 951    223     1662783488 5340   apollon055 902    813     4164534272 10300   apollon116
eca-rers2012/Problem04_label19_false-unreach-call.c 104    63.0   2145894400 854   apollon121 951       742       10928017408 11200       apollon024 952    222     1664286720 6130   apollon039 901    797     4256038912 11500   apollon091
eca-rers2012/Problem04_label26_false-unreach-call.c 106    64.2   2630680576 935   apollon095 950       742       10960588800 11200       apollon064 952    221     1657630720 5160   apollon045 902    776     4256153600 10200   apollon131
eca-rers2012/Problem04_label27_false-unreach-call_false-termination.c 105    65.8   2343235584 1050   apollon016 951       738       10561302528 9590       apollon157 957    229     1681248256 5440   apollon032 902    788     4254203904 11600   apollon005
eca-rers2012/Problem04_label31_false-unreach-call.c 106    66.4   2871259136 880   apollon117 951       717       10672324608 10200       apollon145 957    233     1704861696 6030   apollon014 901    780     4322869248 11200   apollon114
eca-rers2012/Problem04_label32_false-unreach-call.c 104    62.4   2482671616 964   apollon014 950       742       9756753920 11700       apollon148 952    222     1652109312 5000   apollon013 902    780     4246347776 10900   apollon085
eca-rers2012/Problem04_label35_false-unreach-call.c 105    64.3   2723340288 1120   apollon021 75.7     49.8     1081040896 794       apollon165 957    233     1694257152 5210   apollon002 901    789     4225019904 9830   apollon002
eca-rers2012/Problem04_label36_false-unreach-call_false-termination.c 106    63.6   2360848384 887   apollon128 951       747       9857540096 12800       apollon111 957    235     1688944640 6130   apollon044 901    791     4252884992 11900   apollon077
eca-rers2012/Problem04_label38_false-unreach-call.c 106    64.8   2884759552 934   apollon079 73.2     47.6     1045970944 694       apollon116 951    227     1681661952 5170   apollon109 902    794     4258390016 11100   apollon084
eca-rers2012/Problem04_label39_false-unreach-call.c 105    61.5   2437586944 881   apollon146 951       727       10954018816 11000       apollon008 955    220     1652596736 4880   apollon123 902    777     4229632000 12100   apollon148
eca-rers2012/Problem04_label40_false-unreach-call_false-termination.c 106    65.4   2728771584 1030   apollon014 76.4     50.2     1084157952 764       apollon165 956    234     1695178752 5460   apollon070 902    777     4262162432 11700   apollon167
eca-rers2012/Problem04_label45_false-unreach-call.c 106    63.7   2421309440 880   apollon086 951       715       10963828736 10300       apollon046 953    219     1661759488 5860   apollon088 901    785     4232589312 9120   apollon123
eca-rers2012/Problem04_label52_false-unreach-call.c 104    64.8   2975277056 935   apollon164 951       708       10743406592 9990       apollon085 953    221     1660448768 5280   apollon121 902    781     4266233856 10300   apollon074
eca-rers2012/Problem04_label55_false-unreach-call.c 105    65.2   2656747520 955   apollon165 950       756       9709879296 10800       apollon009 951    224     1657204736 4980   apollon116 902    781     4265426944 10100   apollon086
eca-rers2012/Problem04_label58_false-unreach-call_false-termination.c 106    63.8   2865848320 875   apollon152 951       709       9523216384 9500       apollon073 957    229     1676279808 4980   apollon089 901    776     4300492800 10700   apollon147
eca-rers2012/Problem05_label00_false-unreach-call.c 109    65.6   2675154944 972   apollon038 52.0     29.9     905560064 551       apollon094 852    163     1496420352 5260   apollon021 902    772     4294197248 10500   apollon156
eca-rers2012/Problem05_label01_false-unreach-call.c 104    68.5   2580602880 891   apollon015 40.1     23.3     854523904 360       apollon029 875    173     1562574848 4350   apollon089 901    773     4331585536 12700   apollon021
eca-rers2012/Problem05_label11_false-unreach-call.c 103    61.6   2678022144 860   apollon128 53.0     30.1     904552448 562       apollon159 836    162     1493139456 4700   apollon007 902    767     4368048128 12000   apollon094
eca-rers2012/Problem05_label13_false-unreach-call.c 107    66.3   2762219520 895   apollon076 47.6     26.3     889462784 431       apollon109 749    160     1568329728 4230   apollon005 902    765     4338851840 10100   apollon150
eca-rers2012/Problem05_label15_false-unreach-call.c 110    61.9   3064414208 909   apollon119 52.1     29.9     909340672 484       apollon154 864    166     1504534528 3900   apollon063 902    784     4300791808 10100   apollon109
eca-rers2012/Problem05_label18_false-unreach-call.c 111    64.8   3053572096 945   apollon168 51.9     30.0     906342400 470       apollon115 851    164     1501671424 4310   apollon023 901    767     4355739648 9870   apollon116
eca-rers2012/Problem05_label24_false-unreach-call.c 110    67.7   2533466112 875   apollon098 50.2     29.5     906715136 487       apollon107 919    192     1749606400 4970   apollon017 901    766     4338479104 10600   apollon011
eca-rers2012/Problem05_label26_false-unreach-call.c 104    67.9   2060161024 1150   apollon021 41.7     23.1     845742080 420       apollon112 756    158     1557172224 4090   apollon147 902    767     4421869568 10500   apollon095
eca-rers2012/Problem05_label30_false-unreach-call.c 103    61.5   2814627840 911   apollon106 51.0     29.6     910843904 477       apollon157 828    163     1502433280 4460   apollon132 902    773     4306227200 10900   apollon031
eca-rers2012/Problem05_label32_false-unreach-call.c 108    64.6   2605826048 977   apollon019 51.9     30.1     906739712 487       apollon079 957    179     1503428608 5340   apollon126 901    765     4387995648 9730   apollon149
eca-rers2012/Problem05_label33_false-unreach-call.c 111    62.9   2602913792 890   apollon093 52.2     29.7     912195584 533       apollon065 856    167     1499000832 5020   apollon036 902    761     4366528512 11600   apollon028
eca-rers2012/Problem05_label36_false-unreach-call.c 108    65.1   2977853440 903   apollon018 50.2     29.4     905883648 463       apollon066 851    164     1492844544 4480   apollon156 903    773     4357337088 9650   apollon143
eca-rers2012/Problem05_label37_false-unreach-call.c 103    65.3   2481061888 853   apollon042 50.4     30.2     904466432 536       apollon164 955    178     1487568896 5330   apollon016 902    763     4381057024 9590   apollon098
eca-rers2012/Problem05_label38_false-unreach-call.c 103    71.4   2732982272 873   apollon121 51.6     29.7     910446592 467       apollon053 951    182     1592635392 4850   apollon012 901    762     4361785344 11300   apollon112
eca-rers2012/Problem05_label39_false-unreach-call.c 104    58.2   2727407616 830   apollon093 51.2     29.8     903901184 513       apollon124 957    178     1497432064 4390   apollon151 902    769     4352135168 10700   apollon147
eca-rers2012/Problem05_label40_false-unreach-call.c 104    65.2   2683604992 847   apollon151 53.6     30.1     907587584 509       apollon087 895    169     1501507584 4520   apollon002 902    774     4301131776 10900   apollon101
eca-rers2012/Problem05_label41_false-unreach-call.c 103    57.5   2862415872 957   apollon081 54.2     30.5     911908864 548       apollon065 957    178     1491943424 5380   apollon160 902    771     4359397376 10300   apollon110
eca-rers2012/Problem05_label44_false-unreach-call.c 103    58.7   2627387392 831   apollon025 39.1     22.6     844722176 356       apollon029 956    192     1583501312 5240   apollon097 902    767     4340457472 10200   apollon131
eca-rers2012/Problem05_label47_false-unreach-call.c 113    65.9   3175817216 868   apollon029 52.2     30.4     906874880 529       apollon065 816    159     1496752128 4600   apollon069 902    767     4348547072 9840   apollon013
eca-rers2012/Problem05_label48_false-unreach-call.c 111    64.1   2790735872 951   apollon004 51.3     30.1     916246528 501       apollon075 954    182     1580965888 5220   apollon155 902    771     4334546944 11400   apollon068
eca-rers2012/Problem05_label51_false-unreach-call.c 103    62.2   2473623552 986   apollon125 52.5     29.1     912150528 470       apollon026 877    178     1554939904 5010   apollon067 901    772     4365246464 11000   apollon052
eca-rers2012/Problem05_label55_false-unreach-call.c 104    57.8   2264559616 871   apollon004 50.3     29.3     913518592 467       apollon137 848    164     1499668480 4380   apollon018 902    772     4284092416 9830   apollon013
eca-rers2012/Problem05_label57_false-unreach-call.c 103    57.4   2603585536 916   apollon079 50.1     29.6     903692288 572       apollon044 957    179     1504890880 4830   apollon085 902    763     4360896512 10500   apollon049
eca-rers2012/Problem05_label58_false-unreach-call.c 111    63.3   2659594240 880   apollon053 50.8     29.7     900485120 524       apollon064 861    167     1500975104 5100   apollon033 902    764     4334645248 10500   apollon118
eca-rers2012/Problem06_label00_false-unreach-call.c 103    57.1   2952146944 829   apollon135 37.5     20.4     808546304 385       apollon155 957    464     2883506176 7380   apollon103 901    845     3913117696 11000   apollon022
eca-rers2012/Problem06_label01_false-unreach-call.c 103    59.7   2354462720 853   apollon152 39.3     21.0     842604544 350       apollon002 699    175     1730588672 4220   apollon091 901    838     4084830208 11000   apollon133
eca-rers2012/Problem06_label02_false-unreach-call.c 108    59.0   2451890176 916   apollon038 38.1     21.3     822341632 345       apollon023 711    178     1729380352 3730   apollon117 902    844     3831644160 10800   apollon050
eca-rers2012/Problem06_label04_false-unreach-call.c 103    56.5   2786918400 891   apollon034 37.2     20.8     813510656 407       apollon008 948    303     2237493248 6630   apollon030 901    833     4061945856 11000   apollon055
eca-rers2012/Problem06_label05_false-unreach-call.c 104    54.0   2906554368 784   apollon054 37.6     20.4     814092288 333       apollon040 957    487     2964312064 8430   apollon047 902    833     3990876160 10100   apollon127
eca-rers2012/Problem06_label09_false-unreach-call.c 103    57.7   2490544128 827   apollon015 37.6     20.4     817192960 393       apollon065 957    375     2491998208 6400   apollon079 901    837     3960020992 11000   apollon049
eca-rers2012/Problem06_label10_false-unreach-call.c 102    54.9   2424188928 845   apollon025 32.8     15.4     746536960 336       apollon161 955    425     2788855808 6990   apollon144 902    840     3929116672 10500   apollon066
eca-rers2012/Problem06_label11_false-unreach-call.c 105    54.0   2914156544 814   apollon120 37.2     20.7     806154240 339       apollon127 957    408     2781609984 8250   apollon160 902    847     3930042368 10600   apollon144
eca-rers2012/Problem06_label12_false-unreach-call.c 103    57.7   2582433792 1030   apollon167 37.9     20.8     817815552 395       apollon068 955    468     3347025920 7310   apollon115 901    851     3789701120 10200   apollon149
eca-rers2012/Problem06_label15_false-unreach-call.c 107    57.1   2395238400 1020   apollon014 48.6     27.1     914231296 520       apollon033 955    213     1691865088 5910   apollon163 901    831     4241600512 12700   apollon080
eca-rers2012/Problem06_label20_false-unreach-call.c 103    60.9   2678034432 824   apollon092 46.6     26.1     922198016 464       apollon017 759    186     1710542848 4530   apollon070 902    835     4034134016 10700   apollon074
eca-rers2012/Problem06_label21_false-unreach-call.c 104    52.4   2506428416 798   apollon152 46.7     26.3     905752576 449       apollon049 955    211     1698721792 4880   apollon137 903    836     4143083520 11700   apollon091
eca-rers2012/Problem06_label24_false-unreach-call.c 103    58.1   2741145600 909   apollon087 51.8     31.3     914063360 574       apollon148 953    216     1698521088 5880   apollon122 901    838     4046180352 9810   apollon029
eca-rers2012/Problem06_label27_false-unreach-call.c 103    58.5   2712629248 921   apollon072 46.3     26.2     919805952 413       apollon083 956    211     1723260928 4910   apollon100 902    834     4075499520 10600   apollon150
eca-rers2012/Problem06_label29_false-unreach-call.c 107    61.0   2793439232 839   apollon060 46.7     26.7     918614016 437       apollon075 954    213     1703456768 4710   apollon041 902    829     3965218816 11600   apollon124
eca-rers2012/Problem06_label33_false-unreach-call.c 104    58.3   2218074112 990   apollon106 48.5     26.9     915689472 426       apollon083 955    211     1687818240 4860   apollon117 902    834     4025245696 12000   apollon065
eca-rers2012/Problem06_label36_false-unreach-call.c 103    57.8   2626785280 980   apollon081 37.1     20.5     841801728 347       apollon154 645    169     1715585024 4190   apollon030 901    821     3975344128 11000   apollon018
eca-rers2012/Problem06_label37_false-unreach-call.c 103    57.5   2487402496 888   apollon109 47.1     26.6     916598784 477       apollon006 956    210     1703415808 5470   apollon065 901    826     3967971328 10300   apollon086
eca-rers2012/Problem06_label38_false-unreach-call.c 107    57.2   2394734592 909   apollon109 47.3     26.0     894779392 438       apollon053 806    194     1717211136 5030   apollon164 902    825     4028121088 10500   apollon105
eca-rers2012/Problem06_label44_false-unreach-call.c 103    55.1   2350030848 834   apollon070 49.1     26.9     900329472 521       apollon094 956    211     1697751040 5680   apollon080 901    809     4095918080 10900   apollon009
eca-rers2012/Problem06_label47_false-unreach-call.c 103    52.7   2400665600 830   apollon058 47.4     26.4     921649152 442       apollon133 956    210     1697480704 5770   apollon081 903    802     4299919360 11500   apollon132
eca-rers2012/Problem06_label48_false-unreach-call.c 105    57.8   2625384448 898   apollon121 52.4     31.5     911388672 504       apollon090 953    215     1696415744 5210   apollon105 903    812     4303675392 12200   apollon088
eca-rers2012/Problem06_label56_false-unreach-call.c 103    56.3   2394062848 776   apollon002 47.7     26.3     915783680 450       apollon165 954    211     1704607744 4780   apollon092 902    805     4313264128 11000   apollon146
eca-rers2012/Problem06_label58_false-unreach-call.c 108    57.4   2758926336 977   apollon030 53.9     31.8     912216064 519       apollon129 956    204     1625190400 5730   apollon106 902    822     4186152960 12700   apollon161
eca-rers2012/Problem06_label59_false-unreach-call.c 103    56.4   2517798912 865   apollon086 37.9     20.7     834977792 416       apollon033 958    212     1822658560 5660   apollon059 901    841     3860492288 11500   apollon141
eca-rers2012/Problem07_label03_false-unreach-call.c 149    33.4   6278975488 791   apollon002 957       170       1426890752 4320       apollon041 957    181     1612308480 4880   apollon061 916    835     4673753088 10500   apollon060
eca-rers2012/Problem07_label05_false-unreach-call.c 145    33.3   6970871808 865   apollon022 180       69.6     1432162304 1350       apollon136 957    181     1600929792 5030   apollon032 903    836     4569931776 10600   apollon013
eca-rers2012/Problem07_label06_false-unreach-call.c 162    35.0   6616494080 811   apollon029 957       169       1429884928 4850       apollon113 956    182     1605246976 5010   apollon156 903    830     4634013696 11000   apollon026
eca-rers2012/Problem07_label07_false-unreach-call.c 102    25.0   4376100864 580   apollon086 20.0     6.23    921350144 131       apollon099 51.7  19.6   1248935936 366   apollon043 911    837     4649381888 11100   apollon120
eca-rers2012/Problem07_label09_false-unreach-call.c 102    24.8   4639858688 617   apollon077 71.0     22.9     1423065088 535       apollon161 952    134     1447890944 3750   apollon134 903    835     4602343424 11500   apollon101
eca-rers2012/Problem07_label11_false-unreach-call.c 136    31.3   6010540032 694   apollon040 309       85.1     1423101952 1730       apollon123 956    181     1606176768 5540   apollon014 903    836     4608798720 12500   apollon047
eca-rers2012/Problem07_label15_false-unreach-call.c 103    32.2   4809199616 632   apollon128 24.7     7.80    920870912 180       apollon027 519    83.6   1560473600 2540   apollon164 903    832     4644995072 10400   apollon117
eca-rers2012/Problem07_label18_false-unreach-call.c 104    27.0   5493460992 659   apollon167 114       41.8     1455521792 780       apollon086 957    162     1602621440 4450   apollon099 903    832     4636065792 12200   apollon164
eca-rers2012/Problem07_label19_false-unreach-call.c 139    32.2   6471180288 774   apollon107 957       170       1428295680 5300       apollon126 956    182     1595768832 5030   apollon032 903    835     4584624128 11600   apollon093
eca-rers2012/Problem07_label20_false-unreach-call.c 104    28.1   4405948416 661   apollon022 122       46.9     1438015488 866       apollon034 950    166     1611042816 5240   apollon126 903    828     4561518592 10900   apollon103
eca-rers2012/Problem07_label23_false-unreach-call.c 134    31.7   6455271424 795   apollon084 958       169       1440546816 4630       apollon150 957    181     1604030464 4960   apollon090 904    834     4625211392 11000   apollon062
eca-rers2012/Problem07_label30_false-unreach-call.c 103    26.0   5240274944 676   apollon126 97.2     32.5     1448525824 681       apollon101 957    155     1606770688 4380   apollon151 904    835     4628860928 12100   apollon136
eca-rers2012/Problem07_label31_false-unreach-call.c 103    28.0   4408725504 582   apollon123 116       46.3     1448669184 905       apollon091 957    166     1603723264 5210   apollon059 903    837     4588822528 11100   apollon107
eca-rers2012/Problem07_label35_false-unreach-call.c 111    28.7   6086082560 675   apollon165 114       45.8     1441087488 777       apollon041 950    166     1625665536 4860   apollon095 903    837     4585172992 11100   apollon090
eca-rers2012/Problem07_label36_false-unreach-call.c 115    28.8   5255831552 666   apollon109 957       170       1416998912 4560       apollon083 956    181     1610469376 4920   apollon045 903    838     4590923776 10400   apollon100
eca-rers2012/Problem07_label37_false-unreach-call.c 145    33.2   6802366464 729   apollon158 957       170       1432330240 5060       apollon112 957    181     1608687616 4630   apollon123 910    832     4625498112 11000   apollon074
eca-rers2012/Problem07_label39_false-unreach-call.c 103    25.5   4619317248 571   apollon060 93.8     27.3     1457299456 620       apollon048 957    151     1599049728 4740   apollon097 903    836     4583645184 10800   apollon157
eca-rers2012/Problem07_label40_false-unreach-call.c 137    32.0   6521126912 768   apollon107 207       72.4     1418817536 1260       apollon117 957    181     1603211264 5570   apollon163 903    837     4595867648 12000   apollon114
eca-rers2012/Problem07_label42_false-unreach-call.c 138    33.0   6389141504 749   apollon060 957       169       1427759104 5030       apollon118 950    180     1609838592 5520   apollon108 911    838     4635000832 10700   apollon134
eca-rers2012/Problem07_label44_false-unreach-call.c 104    28.0   4423475200 569   apollon158 113       46.0     1456459776 917       apollon065 951    163     1567678464 4580   apollon035 903    834     4609265664 12600   apollon028
eca-rers2012/Problem07_label46_false-unreach-call.c 157    35.0   6264422400 807   apollon128 326       88.0     1445097472 1820       apollon083 957    182     1601699840 4710   apollon050 903    835     4618199040 10500   apollon117
eca-rers2012/Problem07_label47_false-unreach-call.c 131    31.8   6220234752 730   apollon157 957       170       1424297984 4870       apollon042 957    182     1615962112 5190   apollon146 903    837     4568080384 11100   apollon090
eca-rers2012/Problem07_label48_false-unreach-call.c 103    32.3   4821311488 623   apollon089 24.8     7.89    930537472 160       apollon060 671    104     1560190976 3190   apollon167 903    837     4566122496 12600   apollon059
eca-rers2012/Problem07_label58_false-unreach-call.c 133    31.3   6010277888 830   apollon160 957       170       1434750976 4870       apollon052 956    181     1592934400 4710   apollon035 903    838     4617420800 10700   apollon023
eca-rers2012/Problem08_label01_false-unreach-call.c 191    45.0   7717019648 1120   apollon155 .0283  .0288  1101824 .00757 apollon086 334    53.0   1463443456 1690   apollon130 905    852     4631982080 12600   apollon163
eca-rers2012/Problem08_label02_false-unreach-call.c 192    45.2   7918493696 1060   apollon011 .0119  .0117  782336 .00958 apollon034 305    49.4   1451433984 1690   apollon021 904    852     4521156608 12000   apollon071
eca-rers2012/Problem08_label04_false-unreach-call.c 200    46.3   8001560576 1150   apollon093 .0121  .0119  962560 .00915 apollon154 324    51.4   1466421248 1550   apollon132 904    852     4528029696 11600   apollon165
eca-rers2012/Problem08_label05_false-unreach-call.c 193    44.2   7907172352 1070   apollon052 .0124  .0130  970752 .0193  apollon110 314    50.7   1462177792 1400   apollon073 904    852     4522270720 12500   apollon005
eca-rers2012/Problem08_label06_false-unreach-call.c 187    44.7   7870328832 963   apollon089 .0148  .0146  888832 .00317 apollon150 363    56.6   1464057856 1670   apollon018 904    853     4532195328 10900   apollon012
eca-rers2012/Problem08_label07_false-unreach-call.c 179    43.8   7736348672 1110   apollon108 .00914 .00895 1032192 .0123  apollon114 381    59.1   1472598016 1750   apollon165 904    841     4759388160 11000   apollon012
eca-rers2012/Problem08_label10_false-unreach-call.c 178    42.5   7448522752 1030   apollon052 .00965 .00990 831488 .0101  apollon092 367    57.2   1468002304 1680   apollon001 904    850     4637483008 13000   apollon148
eca-rers2012/Problem08_label13_false-unreach-call.c 196    45.2   7514611712 1010   apollon060 .0103  .0102  929792 .00000 apollon133 329    51.9   1454084096 1550   apollon135 904    837     4754571264 13100   apollon036
eca-rers2012/Problem08_label15_false-unreach-call.c 208    47.5   8971759616 1150   apollon078 .0153  .0152  970752 .00275 apollon032 372    58.2   1465659392 1910   apollon036 904    852     4520267776 11500   apollon162
eca-rers2012/Problem08_label24_false-unreach-call.c 187    44.4   7430647808 1060   apollon005 .0114  .0112  839680 .00885 apollon152 956    132     1473839104 4550   apollon024 904    852     4612112384 11700   apollon085
eca-rers2012/Problem08_label25_false-unreach-call.c 185    43.7   7511535616 974   apollon029 .0136  .0142  1048576 .0109  apollon072 327    52.2   1469177856 1660   apollon008 904    852     4528033792 11300   apollon129
eca-rers2012/Problem08_label26_false-unreach-call.c 181    43.7   7614091264 1090   apollon164 .0232  .0270  872448 .00598 apollon025 325    52.1   1476579328 1400   apollon134 904    834     4450451456 12500   apollon122
eca-rers2012/Problem08_label28_false-unreach-call.c 175    42.8   7611682816 933   apollon060 .0251  .0246  978944 .0106  apollon128 955    133     1470488576 4790   apollon016 904    837     4770291712 11200   apollon050
eca-rers2012/Problem08_label29_false-unreach-call.c 208    46.4   7141625856 1180   apollon030 .0245  .0242  843776 .00574 apollon083 304    49.3   1469128704 1310   apollon041 904    837     4571242496 10700   apollon134
eca-rers2012/Problem08_label34_false-unreach-call.c 180    41.3   5996167168 1120   apollon021 .0292  .0324  880640 .0219  apollon012 296    48.6   1458774016 1520   apollon068 904    851     4548157440 11300   apollon105
eca-rers2012/Problem08_label37_false-unreach-call.c 208    45.7   6922010624 1160   apollon020 .0132  .0142  884736 .0117  apollon087 293    48.2   1466171392 1420   apollon132 904    852     4637970432 10500   apollon128
eca-rers2012/Problem08_label43_false-unreach-call.c 208    45.9   7993274368 978   apollon040 .0152  .0150  823296 .0123  apollon070 351    55.5   1475850240 1700   apollon112 905    851     4628652032 11200   apollon022
eca-rers2012/Problem08_label46_false-unreach-call.c 178    41.5   5764263936 840   apollon151 .0121  .0146  954368 .00946 apollon026 389    60.0   1466322944 2010   apollon016 904    851     4528848896 11200   apollon129
eca-rers2012/Problem08_label48_false-unreach-call.c 203    46.9   8385490944 1130   apollon152 .0113  .0119  794624 .0116  apollon005 363    57.5   1470283776 1940   apollon033 904    851     4526514176 11700   apollon141
eca-rers2012/Problem08_label49_false-unreach-call.c 176    42.7   7392059392 989   apollon085 .0103  .0110  970752 .0159  apollon016 321    51.7   1462251520 1660   apollon028 904    845     4795125760 13900   apollon160
eca-rers2012/Problem08_label50_false-unreach-call.c 184    44.3   7637200896 1020   apollon018 .0258  .0271  995328 .00659 apollon020 366    56.9   1469329408 1730   apollon119 904    850     4536676352 11800   apollon141
eca-rers2012/Problem08_label51_false-unreach-call.c 198    45.9   7703785472 1120   apollon118 .0130  .0128  831488 .00653 apollon136 317    51.5   1471488000 1620   apollon152 904    852     4522008576 12100   apollon136
eca-rers2012/Problem08_label55_false-unreach-call.c 181    43.4   7236329472 988   apollon053 .00814 .00837 868352 .0121  apollon144 383    59.9   1462214656 1820   apollon046 904    853     4520529920 11400   apollon156
eca-rers2012/Problem08_label59_false-unreach-call.c 170    42.5   7663599616 962   apollon150 .0135  .0131  929792 .00378 apollon099 345    54.2   1467211776 1680   apollon047 904    852     4595769344 14200   apollon056
eca-rers2012/Problem09_label02_false-unreach-call.c 208    48.0   8649220096 1160   apollon020 .0109  .0107  1003520 .00000 apollon053 837    118     1415147520 3940   apollon164 904    827     4744507392 13000   apollon036
eca-rers2012/Problem09_label03_false-unreach-call.c 208    48.2   8388448256 1150   apollon126 .0242  .0239  724992 .00824 apollon037 870    123     1416302592 3970   apollon048 905    827     4723437568 10900   apollon037
eca-rers2012/Problem09_label06_false-unreach-call.c 208    48.1   8493309952 1010   apollon116 .0165  .0169  962560 .00757 apollon002 836    120     1411260416 4110   apollon033 920    841     4803629056 13400   apollon044
eca-rers2012/Problem09_label08_false-unreach-call.c 208    46.5   6332305408 978   apollon086 .00856 .00881 864256 .0150  apollon044 865    122     1412268032 3810   apollon166 905    839     4712873984 11200   apollon072
eca-rers2012/Problem09_label10_false-unreach-call.c 208    46.4   5837799424 1080   apollon167 .0156  .0167  839680 .00659 apollon106 800    115     1414365184 3610   apollon055 920    842     4817633280 10800   apollon035
eca-rers2012/Problem09_label11_false-unreach-call.c 202    45.9   6344413184 946   apollon058 .0172  .0170  819200 .00677 apollon067 835    119     1413967872 3940   apollon159 919    842     4721033216 12800   apollon130
eca-rers2012/Problem09_label15_false-unreach-call.c 200    46.1   6343331840 912   apollon098 .0123  .0121  860160 .0163  apollon111 825    118     1411338240 3450   apollon139 907    832     4718796800 10400   apollon100
eca-rers2012/Problem09_label19_false-unreach-call.c 208    48.0   8508559360 1180   apollon007 .0163  .0191  991232 .0141  apollon129 826    118     1413533696 3940   apollon126 904    823     4822630400 11400   apollon142
eca-rers2012/Problem09_label20_false-unreach-call.c 208    47.5   7901429760 1120   apollon022 .0124  .0122  925696 .0125  apollon046 858    121     1412341760 4140   apollon108 920    842     4780843008 10300   apollon043
eca-rers2012/Problem09_label32_false-unreach-call.c 202    48.2   7967354880 1060   apollon042 .0167  .0203  761856 .00324 apollon123 809    116     1409261568 3710   apollon071 904    828     4735930368 12200   apollon155
eca-rers2012/Problem09_label34_false-unreach-call.c 208    48.0   8333127680 1040   apollon086 .0203  .0200  856064 .00580 apollon009 849    120     1421934592 3720   apollon120 904    829     4742623232 11400   apollon146
eca-rers2012/Problem09_label35_false-unreach-call.c 208    47.7   8162086912 1060   apollon095 .0132  .0145  909312 .00726 apollon128 826    118     1410985984 4020   apollon106 917    840     4719554560 12500   apollon167
eca-rers2012/Problem09_label36_false-unreach-call.c 208    47.1   6265004032 1040   apollon152 .00941 .00972 872448 .00793 apollon125 845    119     1412755456 3470   apollon092 905    839     4702756864 12400   apollon159
eca-rers2012/Problem09_label38_false-unreach-call.c 208    47.6   8080125952 1050   apollon135 .00884 .00894 847872 .0103  apollon051 857    121     1408565248 3780   apollon166 918    843     4782952448 12400   apollon005
eca-rers2012/Problem09_label41_false-unreach-call.c 208    46.5   6325432320 1030   apollon118 .00895 .00907 851968 .00879 apollon163 808    116     1416556544 3350   apollon151 904    828     4715696128 11500   apollon142
eca-rers2012/Problem09_label44_false-unreach-call.c 208    48.6   8295473152 1060   apollon102 .0100  .0103  884736 .00812 apollon078 844    119     1410015232 3960   apollon140 920    842     4810964992 10400   apollon128
eca-rers2012/Problem09_label46_false-unreach-call.c 198    45.6   6306041856 900   apollon054 .00814 .00806 1073152 .0115  apollon030 828    119     1408606208 3810   apollon124 905    840     4692262912 11200   apollon078
eca-rers2012/Problem09_label47_false-unreach-call.c 208    47.9   8608043008 1080   apollon102 .0297  .0289  1060864 .0147  apollon164 955    134     1435709440 4130   apollon026 905    828     4751220736 11200   apollon096
eca-rers2012/Problem09_label51_false-unreach-call.c 206    48.3   7884484608 1180   apollon019 .0132  .0128  991232 .00971 apollon151 813    117     1411002368 3640   apollon144 905    841     4704419840 13100   apollon030
eca-rers2012/Problem09_label53_false-unreach-call.c 208    46.3   6325108736 1020   apollon146 .0279  .0272  872448 .00513 apollon127 862    122     1410224128 4070   apollon126 905    840     4718149632 12600   apollon028
eca-rers2012/Problem09_label54_false-unreach-call.c 208    47.5   8056631296 1060   apollon087 .0123  .0123  958464 .00000 apollon025 841    120     1402822656 4040   apollon030 905    839     4702052352 11000   apollon150
eca-rers2012/Problem09_label56_false-unreach-call.c 208    48.2   8368185344 1120   apollon091 .00912 .0130  819200 .0139  apollon005 813    117     1414012928 3720   apollon067 905    838     4705341440 11000   apollon153
eca-rers2012/Problem09_label57_false-unreach-call.c 208    46.9   6275817472 1010   apollon102 .0107  .0137  974848 .00958 apollon164 831    119     1404854272 3580   apollon013 905    841     4699983872 12700   apollon106
eca-rers2012/Problem09_label59_false-unreach-call.c 208    47.4   6060261376 1170   apollon125 .0100  .00985 946176 .00995 apollon106 808    116     1409953792 4070   apollon125 905    840     4702158848 12900   apollon125
eca-rers2012/Problem10_label12_false-unreach-call.c 102    79.6   3852480512 1280   apollon077 909       829       4173656064 13200       apollon160 22.6  6.48  642555904 185   apollon145 902    760     4599377920 11300   apollon126
eca-rers2012/Problem10_label15_false-unreach-call.c 103    77.9   3865231360 1220   apollon141 908       831       4191625216 13600       apollon111 23.1  7.46  715251712 176   apollon013 902    761     4452872192 11200   apollon033
eca-rers2012/Problem10_label24_false-unreach-call.c 104    78.5   3798462464 1220   apollon093 911       803       4489719808 10800       apollon156 29.3  10.3   796979200 263   apollon048 902    769     4537790464 10700   apollon084
eca-rers2012/Problem10_label26_false-unreach-call.c 51.9  26.2   2775261184 495   apollon095 .00890 .00883 921600 .00793 apollon027 3.45 1.11  216788992 29.0 apollon119 901    752     4520869888 11300   apollon027
eca-rers2012/Problem10_label28_false-unreach-call.c 55.0  28.0   2617856000 492   apollon123 .0153  .0160  1015808 .00793 apollon066 3.41 1.12  216035328 29.0 apollon046 902    770     4460851200 9880   apollon157
eca-rers2012/Problem10_label29_false-unreach-call.c 111    94.5   2059034624 1570   apollon160 .0173  .0179  942080 .00983 apollon132 3.69 1.16  216408064 31.5 apollon167 902    767     4407029760 9830   apollon045
eca-rers2012/Problem10_label41_false-unreach-call.c 22.2  7.64  1027072000 204   apollon067 .0108  .0124  888832 .0130  apollon088 3.49 1.19  213438464 27.1 apollon129 901    771     4485255168 9220   apollon029
eca-rers2012/Problem10_label42_false-unreach-call.c 26.3  7.91  1087602688 246   apollon044 .0136  .0135  1069056 .00000 apollon146 3.32 1.11  214413312 27.2 apollon058 902    766     4473139200 9870   apollon066
eca-rers2012/Problem10_label46_false-unreach-call.c 9.80 2.73  464928768 72.2 apollon116 .0288  .0312  1155072 .0192  apollon138 3.53 1.13  218210304 27.4 apollon013 902    777     4465045504 10300   apollon075
eca-rers2012/Problem10_label47_false-unreach-call.c 22.6  7.29  998539264 199   apollon052 .0155  .0200  970752 .00470 apollon139 3.70 1.14  219217920 28.4 apollon026 901    775     4434505728 10500   apollon004
eca-rers2012/Problem10_label48_false-unreach-call.c 71.6  40.0   3753500672 762   apollon167 .0139  .0159  925696 .00812 apollon006 3.50 1.14  218120192 25.1 apollon063 901    774     4482265088 11900   apollon130
eca-rers2012/Problem10_label50_false-unreach-call.c 69.9  39.8   2922524672 682   apollon087 .0187  .0309  876544 .00592 apollon032 3.42 1.12  220291072 32.1 apollon081 902    779     4423335936 9690   apollon117
eca-rers2012/Problem10_label55_false-unreach-call.c 23.0  6.36  820457472 198   apollon032 .0218  .0213  913408 .00409 apollon116 3.52 1.12  215007232 29.6 apollon022 901    775     4460986368 9240   apollon029
eca-rers2012/Problem10_label57_false-unreach-call.c 101    74.7   3942776832 1080   apollon025 909       827       3980263424 10200       apollon149 24.8  8.35  735301632 204   apollon119 902    765     4613287936 10700   apollon084
eca-rers2012/Problem10_label58_false-unreach-call.c 58.5  30.1   2733395968 594   apollon076 .0170  .0169  757760 .00507 apollon103 3.40 1.12  212774912 28.8 apollon090 902    769     4454486016 11400   apollon159
eca-rers2012/Problem11_label00_false-unreach-call.c 101    66.5   3878912000 1190   apollon140 913       787       5005914112 9500       apollon029 34.5  12.0   857296896 337   apollon057 902    765     4434354176 9970   apollon074
eca-rers2012/Problem11_label08_false-unreach-call.c 79.3  47.0   2922201088 761   apollon053 .0157  .0155  892928 .00311 apollon063 5.05 1.40  268935168 40.4 apollon091 901    758     4236861440 9380   apollon149
eca-rers2012/Problem11_label14_false-unreach-call.c 73.4  46.3   3430113280 783   apollon102 .0114  .0115  958464 .00000 apollon168 4.54 1.26  266436608 32.8 apollon110 901    758     4220010496 9420   apollon042
eca-rers2012/Problem11_label15_false-unreach-call.c 97.6  62.8   3882602496 1110   apollon091 .0100  .0135  868352 .0143  apollon057 4.92 1.39  271872000 35.6 apollon013 901    763     3765202944 11400   apollon140
eca-rers2012/Problem11_label20_false-unreach-call.c 102    70.7   3618484224 1120   apollon120 915       741       5259632640 10400       apollon153 49.2  21.2   1158090752 419   apollon129 902    757     4347572224 9270   apollon100
eca-rers2012/Problem11_label29_false-unreach-call.c 78.0  46.2   3808907264 890   apollon161 .00707 .0103  933888 .00610 apollon104 4.57 1.31  261373952 36.9 apollon148 901    763     4228239360 9610   apollon086
eca-rers2012/Problem11_label31_false-unreach-call.c 101    70.1   3869175808 1050   apollon109 915       750       5256429568 9640       apollon002 41.8  17.1   948260864 391   apollon124 903    719     4487860224 10200   apollon164
eca-rers2012/Problem11_label34_false-unreach-call.c 102    63.6   3862982656 1260   apollon039 915       738       5216047104 10200       apollon133 41.0  16.4   918179840 403   apollon126