Tool ULTIMATE Automizer f7c3ed31 CMCReduction CMC Reduction 1.0
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8 timelimit: 200 s, memlimit: 15000 MB, CPU core limit: 8 timelimit: 950 s, memlimit: 15000 MB, CPU core limit: 8
Host apollon*
OS Linux 4.4.0-109-generic Linux 4.4.0-112-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33553 MB
Date of execution 2018-01-20 16:58:25 CET 2018-02-06 16:22:09 CET 2018-02-08 20:49:19 CET
Run set uautomizer.sv-comp17 congen.predicate conditions-predicate-reducer-verifiers.UAutomizer
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 UAutomizer
../../sv-benchmarks/c/ status cputime (s) walltime (s) memUsage cpuenergy (J) host status cputime (s) walltime (s) memUsage cpuenergy (J) host status cputime (s) walltime (s) memUsage cpuenergy (J) host
array-examples/data_structures_set_multi_proc_false-unreach-call_ground.i 900    760    5472624640 13300   apollon068 2.52 1.07  272412672 23.6 apollon152 10.0     3.49    303710208 84.5     apollon038
array-examples/sorting_bubblesort_false-unreach-call2_ground.i 901    755    2494128128 12700   apollon162 2.48 1.06  266936320 22.8 apollon077 951       802       3156320256 15100       apollon106
array-examples/sorting_bubblesort_false-unreach-call_ground.i 900    753    3161489408 12800   apollon145 2.58 1.06  271364096 23.2 apollon146 950       800       2100469760 12000       apollon134
array-examples/sorting_selectionsort_false-unreach-call2_ground.i 900    721    2609360896 12500   apollon082 2.52 1.05  273469440 25.9 apollon021 951       768       2411257856 12800       apollon129
array-examples/sorting_selectionsort_false-unreach-call_ground.i 900    718    2417569792 12600   apollon097 2.51 1.10  269996032 22.5 apollon070 951       771       2065657856 13500       apollon022
array-examples/standard_allDiff2_false-unreach-call_ground.i 901    738    5882716160 11300   apollon083 2.55 1.02  272674816 20.6 apollon100 951       801       5302128640 12300       apollon013
array-examples/standard_copy1_false-unreach-call_ground.i 900    724    3221192704 12000   apollon045 2.47 1.04  270622720 21.5 apollon012 950       754       3535085568 14200       apollon077
array-examples/standard_copy2_false-unreach-call_ground.i 901    727    3099385856 14400   apollon126 2.63 1.07  266743808 24.9 apollon044 951       751       2769952768 12600       apollon026
array-examples/standard_copy3_false-unreach-call_ground.i 901    731    2809925632 13200   apollon091 2.54 1.10  266362880 21.5 apollon157 951       750       2703798272 12600       apollon129
array-examples/standard_copy4_false-unreach-call_ground.i 901    727    3399516160 12200   apollon157 2.57 1.05  271839232 23.3 apollon112 951       758       3921940480 13100       apollon085
array-examples/standard_copy5_false-unreach-call_ground.i 901    730    3203186688 13000   apollon022 2.76 1.09  293363712 23.0 apollon025 950       752       3767922688 12000       apollon100
array-examples/standard_copy6_false-unreach-call_ground.i 901    730    3027648512 14200   apollon148 2.47 1.03  267083776 22.3 apollon120 950       750       4121145344 13800       apollon024
array-examples/standard_copy7_false-unreach-call_ground.i 900    730    3571367936 11200   apollon043 2.52 1.07  271093760 25.7 apollon057 950       749       2714509312 15900       apollon111
array-examples/standard_copy8_false-unreach-call_ground.i 901    730    3774210048 11900   apollon053 2.74 1.13  269246464 23.6 apollon015 951       747       2777755648 15000       apollon030
array-examples/standard_copy9_false-unreach-call_ground.i 901    730    2807660544 13800   apollon130 2.61 1.06  270417920 21.9 apollon045 950       753       3498639360 14500       apollon167
array-examples/standard_copyInitSum2_false-unreach-call_ground.i 901    793    3355217920 11300   apollon139 2.44 1.04  267759616 21.5 apollon085 951       802       2465738752 12900       apollon011
array-examples/standard_init1_false-unreach-call_ground.i 901    718    2055585792 12500   apollon032 2.45 1.04  267902976 20.9 apollon157 951       748       2161594368 13100       apollon087
array-examples/standard_init2_false-unreach-call_ground.i 901    762    2103623680 13200   apollon114 2.38 1.03  268550144 22.5 apollon067 951       784       1905491968 11600       apollon029
array-examples/standard_init3_false-unreach-call_ground.i 901    783    2726969344 12500   apollon097 2.47 1.02  271982592 25.8 apollon021 951       802       2478997504 13200       apollon076
array-examples/standard_init4_false-unreach-call_ground.i 900    791    3293446144 12600   apollon085 2.61 1.08  274423808 20.3 apollon089 950       809       2601947136 11800       apollon128
array-examples/standard_init5_false-unreach-call_ground.i 901    799    3565613056 12700   apollon004 2.56 1.04  266813440 22.3 apollon118 951       819       2898898944 15200       apollon080
array-examples/standard_init6_false-unreach-call_ground.i 900    796    4769587200 11100   apollon123 2.57 1.05  267812864 23.4 apollon152 951       817       2970071040 13300       apollon142
array-examples/standard_init7_false-unreach-call_ground.i 901    798    5046497280 14200   apollon163 2.48 1.04  269676544 25.6 apollon021 951       829       3920855040 13100       apollon011
array-examples/standard_init8_false-unreach-call_ground.i 900    802    5034758144 12800   apollon004 2.50 1.06  268128256 21.8 apollon018 950       826       3970846720 12600       apollon079
array-examples/standard_init9_false-unreach-call_ground.i 900    803    5136531456 13800   apollon077 2.54 1.05  269008896 26.2 apollon039 950       832       4585906176 14600       apollon108
array-examples/standard_minInArray_false-unreach-call_ground.i 900    757    2112425984 12100   apollon026 2.61 1.02  267812864 23.6 apollon015 950       799       2010173440 14400       apollon019
array-examples/standard_partition_false-unreach-call_ground.i 900    796    3282030592 11000   apollon054 2.51 1.06  268705792 21.6 apollon082 950       828       3280879616 12400       apollon003
array-examples/standard_running_false-unreach-call.i 900    799    3186565120 12700   apollon162 2.64 1.07  264208384 21.3 apollon053 950       846       2379653120 13100       apollon072
array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i 7.68 2.35 362954752 61.0 apollon136 2.60 1.06  272642048 20.8 apollon151 10.1     3.53    306970624 85.3     apollon113
array-examples/data_structures_set_multi_proc_true-unreach-call_ground.i 900    779    5178568704 13200   apollon101 2.47 1.06  266264576 20.2 apollon117 10.0     3.51    307081216 91.1     apollon020
array-examples/relax_true-unreach-call.i 900    833    964345856 11100   apollon074 6.31 2.05  316092416 54.9 apollon007 12.2     3.98    307220480 98.1     apollon105
array-examples/sanfoundry_02_true-unreach-call_ground.i 900    782    2081845248 12900   apollon102 2.54 1.05  269328384 20.6 apollon099 951       824       1602039808 13700       apollon052
array-examples/sanfoundry_10_true-unreach-call_ground.i 900    836    1400360960 14100   apollon140 101    73.5   3730948096 1140   apollon018 951       888       1261367296 15100       apollon125
array-examples/sanfoundry_24_true-unreach-call_true-termination.i 7.49 2.30 367398912 53.3 apollon143 2.46 1.05  268558336 22.1 apollon084 8.27    2.93    321576960 70.1     apollon156
array-examples/sanfoundry_27_true-unreach-call_ground.i 901    753    2767663104 13000   apollon067 2.48 1.06  265367552 21.5 apollon072 951       797       2110541824 15000       apollon033
array-examples/sanfoundry_43_true-unreach-call_ground.i 6.32 1.85 343998464 47.2 apollon154 2.53 1.05  266354688 25.7 apollon160 .0162  .0160  778240 .00940 apollon093
array-examples/sorting_bubblesort_true-unreach-call_ground.i 901    754    2489831424 11800   apollon035 2.53 1.08  269271040 21.5 apollon157 951       803       2172571648 13500       apollon009
array-examples/sorting_selectionsort_true-unreach-call_ground.i 901    722    2590367744 11800   apollon066 2.50 1.04  269221888 21.7 apollon026 951       772       2069532672 12800       apollon107
array-examples/standard_compareModified_true-unreach-call_ground.i 901    754    2278416384 13000   apollon022 2.37 1.05  269266944 21.6 apollon087 950       799       2412748800 14100       apollon005
array-examples/standard_compare_true-unreach-call_ground.i 901    734    2566397952 14700   apollon016 2.49 1.04  266219520 21.2 apollon002 950       770       2356736000 12000       apollon041
array-examples/standard_copy1_true-unreach-call_ground.i 900    718    2548277248 12100   apollon075 2.46 1.06  264511488 21.5 apollon072 951       750       2812559360 12900       apollon051
array-examples/standard_copy2_true-unreach-call_ground.i 901    727    2771775488 11500   apollon128 2.68 1.09  274247680 19.3 apollon158 951       753       3249041408 11400       apollon054
array-examples/standard_copy3_true-unreach-call_ground.i 901    731    2498093056 12600   apollon120 2.48 1.05  263942144 23.7 apollon161 951       752       2702475264 15300       apollon036
array-examples/standard_copy4_true-unreach-call_ground.i 901    727    2502062080 13400   apollon048 2.50 1.07  270069760 22.7 apollon093 950       748       2799587328 11600       apollon029
array-examples/standard_copy5_true-unreach-call_ground.i 901    731    4756398080 12800   apollon102 2.54 1.08  270479360 23.8 apollon020 951       751       2104250368 11800       apollon143
array-examples/standard_copy6_true-unreach-call_ground.i 901    729    2960171008 13600   apollon077 2.49 1.05  264380416 24.6 apollon081 950       752       2650628096 13000       apollon135
array-examples/standard_copy7_true-unreach-call_ground.i 901    730    2341724160 12600   apollon120 2.72 1.06  294158336 23.9 apollon120 950       751       2726490112 13900       apollon048
array-examples/standard_copy8_true-unreach-call_ground.i 901    728    2469474304 11800   apollon127 2.65 1.05  291987456 24.5 apollon077 950       753       2873298944 13000       apollon037
array-examples/standard_copy9_true-unreach-call_ground.i 901    732    2418810880 11500   apollon128 2.56 1.06  270852096 22.6 apollon084 950       751       2882433024 13200       apollon097
array-examples/standard_copyInitSum2_true-unreach-call_ground.i 901    787    3118923776 13300   apollon048 2.56 1.04  271286272 21.4 apollon045 950       797       2323238912 15500       apollon111
array-examples/standard_copyInitSum3_true-unreach-call_ground.i 900    800    4847013888 13600   apollon064 2.48 1.06  270450688 21.2 apollon082 950       814       2192932864 13700       apollon046
array-examples/standard_copyInitSum_true-unreach-call_ground.i 900    793    3255140352 12700   apollon142 2.49 1.05  270446592 24.7 apollon106 951       803       2331607040 12700       apollon157
array-examples/standard_copyInit_true-unreach-call_ground.i 901    781    2701381632 14100   apollon126 2.46 1.09  266682368 24.3 apollon030 951       784       2045878272 12800       apollon144
array-examples/standard_find_true-unreach-call_ground.i 901    725    2297868288 12200   apollon073 2.48 1.05  268480512 25.1 apollon057 951       754       3465875456 10600       apollon063
array-examples/standard_init1_true-unreach-call_ground.i 900    720    2065612800 11900   apollon115 2.48 1.03  265166848 21.4 apollon095 951       752       2365079552 12300       apollon060
array-examples/standard_init2_true-unreach-call_ground.i 900    763    2354143232 12500   apollon120 2.59 1.06  271470592 19.1 apollon092 951       784       2264596480 12600       apollon073
array-examples/standard_init3_true-unreach-call_ground.i 901    786    2855460864 12900   apollon146 2.48 1.02  269938688 21.0 apollon058 951       799       2330001408 11800       apollon139
array-examples/standard_init4_true-unreach-call_ground.i 901    790    3377590272 13200   apollon138 2.47 1.04  266502144 20.6 apollon127 951       815       2452996096 12700       apollon075
array-examples/standard_init5_true-unreach-call_ground.i 901    798    4014166016 12800   apollon061 2.58 1.07  267907072 22.5 apollon142 951       813       2924695552 14700       apollon069
array-examples/standard_init6_true-unreach-call_ground.i 901    796    5057073152 11900   apollon104 2.44 1.05  267489280 20.0 apollon098 951       821       3097337856 14200       apollon077
array-examples/standard_init7_true-unreach-call_ground.i 900    801    5139095552 13300   apollon152 2.51 1.08  267612160 19.6 apollon151 951       825       4398759936 13100       apollon018
array-examples/standard_init8_true-unreach-call_ground.i 900    801    5113503744 12200   apollon107 2.49 1.04  270630912 23.9 apollon047 950       831       3886600192 13200       apollon162
array-examples/standard_init9_true-unreach-call_ground.i 901    797    5098668032 12300   apollon103 2.51 1.04  266563584 20.3 apollon043 950       823       5136224256 13800       apollon101
array-examples/standard_maxInArray_true-unreach-call_ground.i 901    756    2377981952 11400   apollon143 2.48 1.03  268001280 22.4 apollon168 950       797       1971367936 12800       apollon050
array-examples/standard_minInArray_true-unreach-call_ground.i 901    758    2340028416 13000   apollon145 2.65 1.04  269180928 21.1 apollon042 950       797       2114920448 14200       apollon010
array-examples/standard_palindrome_true-unreach-call_ground.i 901    730    2395582464 14100   apollon027 2.54 1.05  273584128 19.8 apollon151 950       752       2581049344 15300       apollon036
array-examples/standard_partial_init_true-unreach-call_ground.i 901    753    2685427712 12000   apollon079 2.67 1.11  270290944 25.1 apollon106 950       793       2392084480 14500       apollon167
array-examples/standard_partition_original_true-unreach-call_ground.i 901    754    2591129600 12500   apollon032 2.73 1.17  270344192 22.4 apollon168 951       790       2643488768 14500       apollon088
array-examples/standard_partition_true-unreach-call_ground.i 900    799    3483959296 12200   apollon012 2.50 1.05  271712256 21.1 apollon053 951       836       2721595392 12900       apollon012
array-examples/standard_password_true-unreach-call_ground.i 901    734    2172461056 12200   apollon045 2.42 1.03  269025280 22.2 apollon038 950       768       2446495744 14700       apollon027
array-examples/standard_reverse_true-unreach-call_ground.i 901    730    2470612992 12200   apollon133 2.55 1.06  269656064 24.2 apollon161 951       752       2402078720 13300       apollon055
array-examples/standard_running_true-unreach-call.i 901    797    2851192832 11900   apollon003 2.48 1.05  271241216 20.7 apollon133 950       848       2723287040 13300       apollon018
array-examples/standard_sentinel_true-unreach-call_true-termination.i 8.92 2.66 439918592 77.6 apollon014 2.45 1.03  268648448 22.5 apollon032 958       158       13752320000 3170       apollon083
array-examples/standard_seq_init_true-unreach-call_ground.i 901    717    2374017024 13300   apollon005 2.47 1.06  270946304 21.4 apollon042 951       751       2290814976 13800       apollon114
array-examples/standard_strcmp_true-unreach-call_ground.i 901    733    5268688896 13600   apollon064 2.66 1.05  295841792 24.4 apollon076 951       766       3298754560 12300       apollon013
array-examples/standard_strcpy_original_true-unreach-call.i 901    720    3451912192 14600   apollon080 2.57 1.07  264450048 23.6 apollon081 950       751       2432258048 11600       apollon123
array-examples/standard_strcpy_true-unreach-call_ground.i 901    717    2290012160 15000   apollon021 2.48 1.02  269180928 23.9 apollon007 950       756       3608915968 13100       apollon037
array-examples/standard_two_index_01_true-unreach-call.i 900    768    1791086592 14100   apollon159 2.47 1.03  271372288 24.1 apollon014 951       826       1827352576 11600       apollon043
array-examples/standard_two_index_02_true-unreach-call.i 901    738    2326999040 12700   apollon055 2.55 1.06  266633216 22.9 apollon167 951       786       1959317504 15000       apollon163
array-examples/standard_two_index_03_true-unreach-call.i 901    727    2067726336 12000   apollon079 2.57 1.06  266534912 20.9 apollon025 951       767       2252734464 12700       apollon075
array-examples/standard_two_index_04_true-unreach-call.i 901    723    2080309248 12700   apollon147 2.53 1.04  268087296 25.4 apollon057 950       765       3624144896 12600       apollon025
array-examples/standard_two_index_05_true-unreach-call.i 901    721    2183639040 13600   apollon124 2.46 1.02  268779520 20.8 apollon058 951       757       2797645824 13100       apollon165
array-examples/standard_two_index_06_true-unreach-call.i 900    718    2548363264 14000   apollon028 2.44 1.04  266018816 20.2 apollon123 950       758       2798252032 11900       apollon128
array-examples/standard_two_index_07_true-unreach-call.i 901    716    3563995136 12800   apollon102 2.48 1.04  269139968 22.3 apollon142 951       755       4005888000 13200       apollon078
array-examples/standard_two_index_08_true-unreach-call.i 900    714    2684813312 11300   apollon134 2.51 1.04  269012992 22.7 apollon032 950       753       2616606720 11800       apollon117
array-examples/standard_two_index_09_true-unreach-call.i 900    717    2211647488 12800   apollon067 2.50 1.05  267792384 21.2 apollon157 951       756       2422222848 12600       apollon026
array-examples/standard_vararg_true-unreach-call_ground_true-termination.i 900    744    1913315328 12300   apollon058 2.47 1.03  272302080 21.7 apollon004 951       799       2403373056 13500       apollon102
array-examples/standard_vector_difference_true-unreach-call_ground.i 901    718    2600538112 15000   apollon057 2.44 1.03  263282688 22.9 apollon015 950       753       1968160768 11800       apollon098
array-industry-pattern/array_assert_loop_dep_false-unreach-call_true-termination.i 901    767    1665617920 12700   apollon004 2.58 1.05  270540800 25.9 apollon039 951       848       3962818560 15700       apollon021
array-industry-pattern/array_of_struct_loop_dep_false-unreach-call.i 900    861    5201108992 8730   apollon012 101    72.2   3686895616 1160   apollon141 950       900       4830539776 9860       apollon105
array-industry-pattern/array_ptr_single_elem_init_false-unreach-call_true-termination.i 901    794    3205574656 12700   apollon153 2.56 1.10  267821056 21.8 apollon011 951       843       2484461568 12800       apollon166
array-industry-pattern/array_range_init_false-unreach-call.i 901    850    4860203008 9090   apollon127 2.48 1.04  265711616 22.6 apollon168 950       901       4760137728 9920       apollon141
array-industry-pattern/array_single_elem_init_false-unreach-call_true-termination.i 900    801    2967072768 11700   apollon099 2.49 1.04  269717504 24.6 apollon016 951       842       2523709440 13400       apollon055
array-industry-pattern/check_removal_from_set_after_insertion_false-unreach-call.i 900    761    5266157568 12900   apollon084 101    71.3   3689865216 1060   apollon025 13.4     4.36    307351552 105       apollon075
array-industry-pattern/array_monotonic_true-unreach-call_true-termination.i 900    781    1595547648 15200   apollon021 2.51 1.08  267730944 21.8 apollon121 950       835       1838813184 12700       apollon050
array-industry-pattern/array_mul_init_true-unreach-call_true-termination.i 901    780    2649534464 11700   apollon042 2.46 1.04  265089024 21.1 apollon157 951       851       1519857664 14200       apollon159
array-industry-pattern/array_of_struct_break_true-unreach-call.i 900    856    4853489664 9630   apollon047 101    73.8   3707666432 1050   apollon100 951       910       5240516608 10800       apollon065
array-industry-pattern/array_of_struct_ptr_cond_init_true-unreach-call.i 901    878    5294940160 7810   apollon076 101    77.5   3476049920 1180   apollon085 951       918       5415100416 11100       apollon148
array-industry-pattern/array_of_struct_ptr_flag_init_true-unreach-call.i 900    758    4923027456 11800   apollon109 101    74.5   3696898048 1040   apollon128 11.7     3.78    307961856 97.1     apollon005
array-industry-pattern/array_of_struct_ptr_monotonic_true-unreach-call.i 901    877    5466824704 7970   apollon066 101    78.2   3546808320 1180   apollon011 951       920       5438828544 8540       apollon162
array-industry-pattern/array_of_struct_ptr_mul_init_true-unreach-call.i 900    872    5181960192 9670   apollon052 101    72.5   3717758976 1100   apollon156 951       925       5169397760 8330       apollon098
array-industry-pattern/array_of_struct_single_elem_init_true-unreach-call.i 7.83 2.70 300068864 65.5 apollon068 101    73.4   3714146304 975   apollon054 10.7     3.72    312475648 89.2     apollon105
array-industry-pattern/array_ptr_partial_init_true-unreach-call.i 901    876    5407588352 11100   apollon039 101    74.9   3696025600 1100   apollon012 951       925       5376167936 8880       apollon084
array-industry-pattern/array_ptr_single_elem_init_true-unreach-call.i 901    876    5406752768 8080   apollon141 101    75.4   3036516352 1050   apollon128 951       922       5452017664 10000       apollon167
array-industry-pattern/array_shadowinit_true-unreach-call_true-termination.i 900    740    1696718848 13200   apollon046 101    76.0   3866857472 1240   apollon140 1.74    .762   172769280 15.5     apollon053
reducercommutativity/rangesum05_false-unreach-call_true-termination.i 16.5  6.57 517009408 149   apollon065 7.69 2.37  413929472 56.8 apollon043 .0189  .0188  761856 .00494 apollon004
reducercommutativity/rangesum10_false-unreach-call_true-termination.i 37.3  20.9  716681216 378   apollon087 12.5  3.47  480616448 107   apollon125 .00857 .00874 1032192 .0106  apollon024
reducercommutativity/rangesum20_false-unreach-call.i 92.8  63.7  1614888960 971   apollon035 31.2  7.98  1050562560 247   apollon018 .0161  .0157  970752 .00330 apollon116
reducercommutativity/rangesum40_false-unreach-call.i 901    861    3554340864 13500   apollon039 59.3  28.1   2526670848 580   apollon152 .0146  .0154  770048 .00513 apollon108
reducercommutativity/rangesum60_false-unreach-call.i 900    847    3467497472 10700   apollon011 101    62.0   3709898752 998   apollon086 951       901       4730830848 11900       apollon162
reducercommutativity/rangesum_false-unreach-call_true-termination.i 16.5  5.88 568492032 158   apollon111 8.10 2.38  463929344 73.3 apollon057 .0117  .0115  880640 .0106  apollon053
reducercommutativity/avg05_true-unreach-call_true-termination.i 166    142    1068511232 1850   apollon041 101    71.8   4092358656 1120   apollon020 14.8     4.28    474226688 116       apollon119
reducercommutativity/avg10_true-unreach-call_true-termination.i 421    375    4618076160 5490   apollon124 101    67.7   4059254784 878   apollon158 23.3     6.49    742195200 188       apollon119
reducercommutativity/avg20_true-unreach-call.i 901    803    3659280384 12400   apollon152 101    61.5   2672193536 894   apollon009 54.5     18.2     1104248832 471       apollon112
reducercommutativity/avg40_true-unreach-call.i 171    114    4636295168 1840   apollon013 65.4  32.7   2740805632 684   apollon030 .0281  .0300  958464 .00873 apollon122
reducercommutativity/avg60_true-unreach-call.i 273    195    5156892672 2690   apollon063 101    70.1   3723132928 1230   apollon007 408       337       3251163136 5700       apollon132
reducercommutativity/avg_true-unreach-call_true-termination.i 901    844    841908224 13700   apollon126 101    70.6   4207607808 984   apollon040 10.2     3.55    304443392 86.4     apollon055
reducercommutativity/max05_true-unreach-call_true-termination.i 901    846    1130708992 10900   apollon115 101    82.2   1129910272 796   apollon101 14.8     4.36    494821376 113       apollon011
reducercommutativity/max10_true-unreach-call_true-termination.i 901    819    1896833024 10900   apollon127 102    81.1   1571536896 1150   apollon085 15.3     4.35    517365760 137       apollon056
reducercommutativity/max20_true-unreach-call.i 901    742    5290770432 11800   apollon150 102    59.7   3975331840 1160   apollon160 24.7     6.81    719257600 183       apollon058
reducercommutativity/max40_true-unreach-call.i 901    736    4942667776 13100   apollon141 65.6  33.5   2954465280 555   apollon158 .0147  .0147  1003520 .00763 apollon048
reducercommutativity/max60_true-unreach-call.i 901    738    4949434368 13600   apollon167 101    70.4   3720253440 1150   apollon052 1.80    .817   182226944 16.7     apollon038
reducercommutativity/max_true-unreach-call_true-termination.i 901    847    1758625792 11000   apollon071 101    78.1   3196026880 1100   apollon162 10.1     3.47    301056000 96.5     apollon021
reducercommutativity/sep05_true-unreach-call_true-termination.i 901    780    4736700416 10600   apollon060 101    73.4   3047858176 879   apollon076 18.6     5.66    520376320 156       apollon094
reducercommutativity/sep10_true-unreach-call.i 902    683    8144539648 10200   apollon003 101    79.6   2550169600 1090   apollon045 16.8     4.73    577851392 129       apollon023
reducercommutativity/sep20_true-unreach-call.i 907    409    12790288384 7710   apollon006 101    38.3   3863842816 771   apollon005 46.1     19.2     990117888 515       apollon056
reducercommutativity/sep40_true-unreach-call.i 901    617    8738873344 10000   apollon082 68.5  36.4   3073941504 653   apollon107 .0296  .0292  753664 .00708 apollon059
reducercommutativity/sep60_true-unreach-call.i 901    744    5625008128 11600   apollon121 101    68.4   3695423488 1020   apollon002 740       610       4519247872 10000       apollon015
reducercommutativity/sep_true-unreach-call_true-termination.i 900    783    5108621312 11600   apollon153 101    70.5   3884142592 1100   apollon018 10.3     3.52    298807296 93.9     apollon057
reducercommutativity/sum05_true-unreach-call_true-termination.i 26.1  11.7  694378496 273   apollon163 101    80.1   3679051776 1130   apollon086 13.0     3.94    453431296 106       apollon052
reducercommutativity/sum10_true-unreach-call_true-termination.i 76.1  41.8  1427599360 795   apollon015 101    70.7   4019585024 1120   apollon071 22.2     6.36    541962240 185       apollon006
reducercommutativity/sum20_true-unreach-call.i 900    804    4919242752 6270   apollon097 101    62.1   2938724352 817   apollon092 48.1     16.5     992849920 418       apollon120
reducercommutativity/sum40_true-unreach-call.i 901    752    4604751872 13700   apollon008 62.7  31.0   2867589120 603   apollon120 .0147  .0152  811008 .00623 apollon125
reducercommutativity/sum60_true-unreach-call.i 901    744    6444900352 10400   apollon148 101    71.0   3711438848 1110   apollon162 334       267       2350469120 4170       apollon120
reducercommutativity/sum_true-unreach-call_true-termination.i 901    854    4544040960 6400   apollon060 101    76.1   3641413632 1170   apollon038 10.2     3.46    294068224 93.2     apollon159
array-tiling/mlceu_false-unreach-call.i 900    872    1270419456 9210   apollon009 3.63 1.50  282714112 31.9 apollon084 951       915       959172608 9190       apollon043
array-tiling/skippedu_false-unreach-call.i 6.85 2.19 344567808 54.9 apollon034 3.63 1.44  288727040 31.1 apollon026 .00936 .0114  933888 .0134  apollon057
array-tiling/mbpr2_true-unreach-call.i 900    861    923459584 11000   apollon002 101    67.8   3743059968 1150   apollon081 952       907       614100992 13700       apollon064
array-tiling/mbpr3_true-unreach-call.i 900    861    655163392 14500   apollon057 101    65.5   3797508096 1140   apollon007 950       905       848801792 10900       apollon158
array-tiling/mbpr4_true-unreach-call.i 900    856    697094144 13700   apollon088 101    68.1   3704430592 958   apollon151 950       891       743129088 12500       apollon133
array-tiling/mbpr5_true-unreach-call.i 901    839    1050177536 11000   apollon117 101    72.4   3754287104 1260   apollon014 1.93    .790   178585600 17.6     apollon085
array-tiling/nr2_true-unreach-call.i 901    887    681000960 13000   apollon159 101    69.6   3708661760 1020   apollon042 950       935       871645184 14000       apollon148
array-tiling/nr3_true-unreach-call.i 901    885    775823360 10200   apollon092 101    72.0   3858083840 1190   apollon167 950       934       781455360 11400       apollon053
array-tiling/nr4_true-unreach-call.i 901    881    989687808 11300   apollon062 101    69.1   3838636032 1040   apollon034 950       932       858112000 13400       apollon065
array-tiling/nr5_true-unreach-call.i 900    872    1041854464 11300   apollon034 101    64.7   3552428032 894   apollon158 950       931       872878080 11700       apollon066
array-tiling/pnr2_true-unreach-call.i 908    643    10806550528 9470   apollon098 101    70.1   3902996480 1130   apollon146 950       777       6437974016 11100       apollon099
array-tiling/pnr3_true-unreach-call.i 901    561    11793518592 8970   apollon032 101    61.8   4284567552 1070   apollon091 952       692       9897803776 10900       apollon101
array-tiling/pnr4_true-unreach-call.i 908    562    12123742208 8920   apollon120 101    65.1   4213096448 1030   apollon146 950       746       9632022528 10700       apollon023
array-tiling/pnr5_true-unreach-call.i 901    707    8610836480 10600   apollon115 105    58.6   4311687168 965   apollon082 951       874       4738637824 14100       apollon140
array-tiling/poly1_true-unreach-call.i 900    819    1203273728 12000   apollon135 101    75.9   2480005120 992   apollon079 951       899       956923904 12500       apollon004
array-tiling/poly2_true-unreach-call.i 900    839    820826112 13400   apollon047 101    70.5   3057106944 999   apollon002 950       901       927924224 12800       apollon113
array-tiling/pr2_true-unreach-call.i 901    748    1983537152 11900   apollon131 101    71.5   3607281664 1170   apollon164 950       809       2494717952 12600       apollon144
array-tiling/pr3_true-unreach-call.i 901    751    3225833472 13800   apollon122 101    76.4   3561402368 1100   apollon079 950       834       3871170560 12000       apollon115
array-tiling/pr4_true-unreach-call.i 901    756    1167474688 12100   apollon129 101    72.8   3111403520 1090   apollon078 950       832       3433734144 12900       apollon067
array-tiling/pr5_true-unreach-call.i 901    745    1914454016 11800   apollon107 101    76.9   3330641920 1260   apollon019 951       890       1050660864 12000       apollon062
array-tiling/revcpyswp2_true-unreach-call.i 901    769    1469779968 11500   apollon100 101    75.9   3419410432 1100   apollon086 951       825       1266204672 13300       apollon118
array-tiling/rew_true-unreach-call.i 901    793    932143104 13800   apollon164 102    68.0   3862368256 1050   apollon058 951       809       1402990592 12100       apollon089
array-tiling/rewnif_true-unreach-call.i 900    780    1501523968 12200   apollon131 101    71.0   3374350336 1250   apollon044 950       938       916004864 10300       apollon151
array-tiling/rewnifrev2_true-unreach-call.i 900    853    1176514560 9040   apollon146 101    74.7   2781618176 1150   apollon095 951       877       3205435392 13600       apollon069
array-tiling/rewnifrev_true-unreach-call.i 901    814    823484416 12200   apollon113 101    76.7   2974679040 1130   apollon119 951       850       1102884864 13700       apollon081
array-tiling/rewrev_true-unreach-call.i 900    780    1021009920 12200   apollon071 101    77.2   2405355520 1040   apollon151 951       856       4378697728 10900       apollon151
array-tiling/skipped_true-unreach-call.i 901    767    3424563200 12000   apollon050 101    66.6   4037947392 1020   apollon032 951       829       3063595008 12000       apollon104
array-tiling/tcpy_true-unreach-call.i 900    814    1096359936 10900   apollon089 101    71.5   3962458112 1260   apollon161 950       886       752848896 14100       apollon027
array-programs/copysome1_false-unreach-call.i 901    793    2829369344 13500   apollon124 2.65 1.04  291065856 24.0 apollon077 950       824       2465099776 13400       apollon038
array-programs/copysome2_false-unreach-call.i 900    796    4002119680 12200   apollon058 2.45 1.04  270254080 20.2 apollon099 951       838       3018940416 14900       apollon122
array-programs/copysome1_true-unreach-call.i 901    791    3199094784 12400   apollon157 2.71 1.05  290291712 23.2 apollon034 951       819       2265604096 13200       apollon165
array-programs/copysome2_true-unreach-call.i 901    802    4856213504 12400   apollon075 2.42 1.05  268816384 20.6 apollon127 951       836       2682601472 15100       apollon030
bitvector/byte_add_false-unreach-call_true-no-overflow_true-termination.i 53.7  24.4  764669952 483   apollon104 5.26 1.83  301273088 44.9 apollon165 99.4     57.9     1446064128 1120       apollon132
bitvector/sum02_false-unreach-call_true-no-overflow.i 901    896    336154624 11600   apollon046 3.52 1.47  280109056 30.1 apollon082 16.8     11.6     333262848 184       apollon105
bitvector/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i 900    796    4229373952 9880   apollon043 6.03 2.09  319234048 51.7 apollon091 951       823       6477389824 11600       apollon058
bitvector/byte_add_2_true-unreach-call_true-no-overflow_true-termination.i 582    513    1466368000 7960   apollon155 5.73 1.89  317952000 52.7 apollon126 951       841       2684854272 11800       apollon135
bitvector/gcd_1_true-unreach-call_true-no-overflow.i 901    893    526831616 11200   apollon105 4.10 1.51  304193536 33.4 apollon079 950       941       542875648 11400       apollon026
bitvector/gcd_2_true-unreach-call_true-no-overflow.i 901    890    798625792 11800   apollon146 3.46 1.37  273186816 31.5 apollon112 .0188  .0185  806912 .00488 apollon066
bitvector/gcd_3_true-unreach-call_true-no-overflow.i 901    892    535416832 12600   apollon112 3.62 1.47  288235520 31.8 apollon076 950       937       632274944 12100       apollon061
bitvector/gcd_4_true-unreach-call_true-no-overflow_true-termination.i 901    883    1781534720 11800   apollon020 5.16 1.76  313200640 44.6 apollon156 15.2     4.51    485179392 135       apollon126
bitvector/interleave_bits_true-unreach-call_true-no-overflow.i 145    125    1331806208 1720   apollon135 7.33 2.28  452468736 62.2 apollon126 33.8     22.5     1737830400 362       apollon107
bitvector/jain_1_true-unreach-call_true-no-overflow_false-termination.i 5.85 1.97 324370432 46.4 apollon002 2.84 1.19  277032960 29.1 apollon021 .0126  .0125  880640 .00000 apollon054
bitvector/jain_2_true-unreach-call_true-no-overflow_false-termination.i 5.79 1.91 324562944 54.9 apollon106 3.21 1.20  293670912 27.2 apollon022 .0219  .0217  1015808 .00958 apollon059
bitvector/jain_4_true-unreach-call_true-no-overflow_false-termination.i 5.85 1.91 323334144 55.4 apollon111 3.11 1.25  274595840 27.2 apollon005 .0189  .0187  917504 .00409 apollon075
bitvector/jain_5_true-unreach-call_true-no-overflow.i 901    752    2143420416 11800   apollon060 101    80.7   2778210304 1220   apollon052 951       825       3522232320 13100       apollon133
bitvector/jain_6_true-unreach-call_true-no-overflow_false-termination.i 6.25 1.94 333148160 51.5 apollon091 3.31 1.25  294891520 25.6 apollon054 .0144  .0162  860160 .00861 apollon068
bitvector/jain_7_true-unreach-call_true-no-overflow_false-termination.i 6.12 1.95 320012288 46.3 apollon127 2.84 1.18  274214912 26.8 apollon022 .00880 .00856 872448 .00891 apollon066
bitvector/modulus_true-unreach-call_true-no-overflow.i 28.7  24.7  332619776 382   apollon167 3.14 1.31  277803008 27.8 apollon052 30.8     25.7     324755456 431       apollon044
bitvector/num_conversion_1_true-unreach-call_true-no-overflow.i 270    251    2438340608 3300   apollon149 4.90 1.77  305999872 42.5 apollon167 892       865       2694578176 13300       apollon155
bitvector/num_conversion_2_true-unreach-call_true-no-overflow.i 900    859    890540032 9670   apollon054 4.91 1.77  302903296 42.7 apollon032 950       885       4606111744 13300       apollon071
bitvector/parity_true-unreach-call_true-no-overflow.i 901    885    1015435264 11700   apollon031 3.31 1.31  286834688 31.4 apollon014 951       931       947195904 14500       apollon160
bitvector/sum02_true-unreach-call_true-no-overflow.i 901    893    528363520 12300   apollon081 3.50 1.45  281563136 34.3 apollon108 950       942       515596288 11800       apollon049
bitvector/s3_clnt_1_false-unreach-call_true-no-overflow.BV.c.cil.c 24.1  6.70 555044864 208   apollon016 10.6  3.08  467173376 93.6 apollon106 76.3     26.2     1466568704 629       apollon075
bitvector/s3_clnt_2_false-unreach-call_true-no-overflow.BV.c.cil.c 28.4  7.90 702754816 239   apollon068 18.5  5.01  617021440 160   apollon168 93.9     37.1     2738180096 841       apollon152
bitvector/s3_clnt_3_false-unreach-call_true-no-overflow.BV.c.cil.c 21.6  6.33 559087616 180   apollon010 7.04 2.21  388128768 58.5 apollon120 40.7     11.8     762277888 323       apollon045
bitvector/s3_clnt_1_true-unreach-call_true-no-overflow.BV.c.cil.c 36.4  10.0  938160128 290   apollon046 14.2  4.01  500178944 106   apollon121 102       41.1     2114465792 1040       apollon094
bitvector/s3_clnt_2_true-unreach-call_true-no-overflow.BV.c.cil.c 45.2  12.8  1100406784 341   apollon139 24.2  6.77  833982464 199   apollon102 89.4     44.8     4445974528 849       apollon103
bitvector/s3_clnt_3_true-unreach-call_true-no-overflow.BV.c.cil.c 24.5  6.36 1073127424 196   apollon101 101    77.4   3071184896 984   apollon100 29.5     8.24    927588352 228       apollon073
bitvector/s3_srvr_1_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 900    869    1993879552 11300   apollon011 101    75.1   2657251328 1170   apollon070 950       921       1318150144 11100       apollon109
bitvector/s3_srvr_1_true-unreach-call_true-no-overflow.BV.c.cil.c 45.5  17.1  1590583296 423   apollon052 31.1  8.45  977502208 229   apollon029 .0107  .0109  811008 .0110  apollon035
bitvector/s3_srvr_2_alt_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c 38.6  12.2  1759092736 347   apollon124 41.9  18.5   1371332608 409   apollon020 .0136  .0132  872448 .00915 apollon059
bitvector/s3_srvr_2_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c 36.7  11.9  1544609792 313   apollon082 42.8  18.2   1405607936 402   apollon168 .0206  .0214  970752 .00617 apollon106
bitvector/s3_srvr_3_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 35.3  10.9  1421639680 276   apollon117 19.0  5.09  630145024 168   apollon030 .0227  .0222  909312 .00787 apollon061
bitvector/s3_srvr_3_true-unreach-call_true-no-overflow.BV.c.cil.c 35.1  10.9  1350688768 305   apollon120 62.0  33.8   2281033728 700   apollon161 .0116  .0123  991232 .0128  apollon094
bitvector/soft_float_1_true-unreach-call_true-no-overflow_true-termination.c.cil.c 228    201    988016640 2650   apollon090 4.80 1.77  296083456 38.6 apollon100 950       914       1365651456 12700       apollon136
bitvector/soft_float_2_true-unreach-call_true-no-overflow_true-termination.c.cil.c 199    184    1052676096 2620   apollon027 7.53 2.34  446177280 63.2 apollon156 29.5     7.74    701775872 263       apollon057
bitvector/soft_float_3_true-unreach-call_true-no-overflow_true-termination.c.cil.c 901    866    1615437824 10500   apollon098 7.39 2.33  444780544 63.0 apollon091 951       904       1006391296 12000       apollon118
bitvector/soft_float_4_true-unreach-call_true-no-overflow_true-termination.c.cil.c 39.1  21.4  642347008 418   apollon019 4.21 1.68  290402304 37.0 apollon076 951       926       1403305984 11500       apollon045
bitvector/soft_float_5_true-unreach-call_true-no-overflow_true-termination.c.cil.c 14.9  4.29 509931520 131   apollon014 7.36 2.33  447238144 64.9 apollon077 28.2     7.39    615841792 223       apollon087
bitvector-regression/implicitfloatconversion_false-unreach-call_true-termination.c 8.74 2.89 295911424 63.0 apollon043 3.23 1.23  296452096 32.6 apollon039 .0122  .0130  1003520 .0106  apollon125
bitvector-regression/implicitunsignedconversion_false-unreach-call_true-termination.c 5.69 1.80 324898816 45.4 apollon052 2.45 1.06  268267520 24.7 apollon016 .0110  .0107  815104 .00885 apollon008
bitvector-regression/integerpromotion_false-unreach-call_true-termination.c 9.14 2.99 315760640 72.5 apollon052 2.79 1.23  275443712 27.6 apollon148 .0121  .0124  847872 .00806 apollon109
bitvector-regression/recHanoi03_false-unreach-call_true-termination.c 89.6  64.1  910200832 1030   apollon134 2.53 1.10  267939840 22.0 apollon011 1.90    .813   183758848 19.9     apollon094
bitvector-regression/signextension2_false-unreach-call_true-termination.c 5.44 1.84 316346368 40.1 apollon060 2.60 1.09  270381056 25.6 apollon016 .0156  .0163  778240 .00769 apollon103
bitvector-regression/signextension_false-unreach-call_true-termination.c 6.03 1.83 336347136 46.6 apollon012 2.55 1.09  272834560 26.6 apollon021 .0107  .0114  876544 .00879 apollon065
bitvector-regression/implicitunsignedconversion_true-unreach-call_true-termination.c 5.42 1.83 317550592 47.2 apollon168 2.94 1.28  276406272 26.1 apollon121 7.65    2.66    344449024 63.6     apollon049
bitvector-regression/integerpromotion_true-unreach-call_true-termination.c 9.34 3.20 314281984 75.1 apollon157 2.80 1.24  278286336 24.4 apollon127 11.5     4.01    332746752 93.5     apollon062
bitvector-regression/signextension2_true-unreach-call_true-termination.c 5.70 1.83 324829184 46.9 apollon168 3.10 1.31  285671424 30.7 apollon126 8.14    2.91    328445952 75.0     apollon028
bitvector-regression/signextension_true-unreach-call_true-termination.c 5.78 1.90 323059712 53.0 apollon056 3.12 1.31  275988480 31.3 apollon111 9.07    2.77    343027712 75.7     apollon112
bitvector-loops/diamond_false-unreach-call2.i 8.31 2.78 388964352 59.6 apollon158 6.60 2.03  440332288 58.7 apollon081 .00910 .00971 921600 .00885 apollon024
bitvector-loops/overflow_false-unreach-call1.i 901    747    2120015872 13300   apollon146 2.82 1.12  290009088 25.1 apollon052 .0111  .0109  839680 .00000 apollon086
bitvector-loops/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call_true-termination.i 170    151    583659520 2480   apollon057 2.88 1.25  270974976 25.6 apollon012 .00766 .00751 995328 .0107  apollon052
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c 58.2  15.6  1353519104 465   apollon144 10.5  2.91  467931136 92.6 apollon160 .0206  .0204  1011712 .00537 apollon159
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c 32.9  8.27 829370368 231   apollon143 7.84 2.35  439459840 64.1 apollon156 .00984 .00971 1024000 .00757 apollon124
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c 46.5  11.5  1074528256 357   apollon025 8.41 2.46  459096064 66.6 apollon095 .0138  .0142  1011712 .00421 apollon058
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c 16.3  4.27 538836992 147   apollon021 6.15 2.02  326635520 49.7 apollon025 .0289  .0284  839680 .00525 apollon074
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 94.5  42.0  2021273600 1050   apollon161 8.90 2.66  453758976 68.8 apollon157 .0141  .0149  880640 .00592 apollon060
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 63.9  24.9  1469497344 554   apollon104 7.15 2.11  430432256 59.3 apollon112 .0134  .0140  774144 .00549 apollon105
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c 66.2  27.9  1579134976 583   apollon041 5.99 1.94  332750848 50.8 apollon070 .0129  .0126  843776 .0101  apollon131
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c 70.9  27.4  1552252928 608   apollon128 7.36 2.23  406474752 63.9 apollon022 .0223  .0229  942080 .00433 apollon015
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 17.8  5.18 686350336 153   apollon148 3.63 1.40  280764416 35.6 apollon126 .0151  .0155  933888 .0212  apollon132
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c 16.0  4.43 657203200 124   apollon115 4.60 1.58  281321472 39.3 apollon146 .0105  .0103  901120 .0125  apollon044
ssh-simplified/s3_clnt_1_false-unreach-call_true-termination.cil.c 13.2  3.68 514977792 94.8 apollon092 9.16 2.75  455581696 75.9 apollon051 .0252  .0257  962560 .00763 apollon089
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c 14.2  3.93 551849984 111   apollon074 8.52 2.48  452268032 66.7 apollon018 .0138  .0136  860160 .0134  apollon081
ssh-simplified/s3_clnt_3_false-unreach-call_true-termination.cil.c 14.2  3.88 527396864 110   apollon072 9.85 2.84  453873664 91.4 apollon021 .00932 .00965 860160 .00842 apollon163
ssh-simplified/s3_clnt_4_false-unreach-call_true-termination.cil.c 14.1  3.95 532099072 107   apollon135 8.96 2.59  457687040 76.4 apollon047 .0148  .0181  1028096 .00696 apollon161
ssh-simplified/s3_srvr_10_false-unreach-call_false-termination.cil.c 10.0  2.99 473042944 77.3 apollon107 4.35 1.63  290156544 37.2 apollon026 .0191  .0191  757760 .00574 apollon163
ssh-simplified/s3_srvr_11_false-unreach-call_false-termination.cil.c 34.6  9.14 1397358592 283   apollon124 49.7  19.2   1668919296 479   apollon125 19.0     6.93    553050112 158       apollon034
ssh-simplified/s3_srvr_12_false-unreach-call_false-termination.cil.c 26.7  6.88 871911424 214   apollon091 60.7  34.1   1772802048 619   apollon009 22.1     6.64    539217920 191       apollon088
ssh-simplified/s3_srvr_13_false-unreach-call_false-termination.cil.c 19.7  5.24 574660608 155   apollon142 9.78 2.78  483901440 73.5 apollon053 .0117  .0114  851968 .0134  apollon056
ssh-simplified/s3_srvr_14_false-unreach-call_false-termination.cil.c 18.0  4.88 577560576 138   apollon035 7.83 2.35  419213312 58.0 apollon098 .0159  .0159  827392 .00482 apollon050
ssh-simplified/s3_srvr_1_false-unreach-call_false-termination.cil.c 15.2  4.17 744591360 123   apollon006 6.74 2.12  351375360 60.0 apollon030 .00703 .0104  778240 .00934 apollon083
ssh-simplified/s3_srvr_2_false-unreach-call_false-termination.cil.c 15.6  4.32 533422080 124   apollon153 6.40 2.06  341139456 52.4 apollon042 .00996 .00985 876544 .0125  apollon005
ssh-simplified/s3_srvr_6_false-unreach-call_false-termination.cil.c 7.95 2.15 347865088 66.3 apollon167 4.09 1.57  288546816 34.7 apollon070 .0118  .0123  1003520 .0123  apollon132
ssh-simplified/s3_clnt_1_true-unreach-call_true-termination.cil.c 49.1  17.2  2241576960 451   apollon024 16.2  4.63  621895680 131   apollon127 .0119  .0119  966656 .00812 apollon152
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c 47.9  14.6  2155573248 392   apollon127 12.4  3.48  488386560 107   apollon111 .0117  .0116  872448 .00812 apollon146
ssh-simplified/s3_clnt_3_true-unreach-call_true-termination.cil.c 47.3  14.5  2119991296 413   apollon024 9.73 2.76  496414720 88.7 apollon111 .00943 .00966 749568 .00806 apollon156
ssh-simplified/s3_clnt_4_true-unreach-call_true-termination.cil.c 48.3  14.7  1980637184 467   apollon039 18.1  4.97  612642816 134   apollon017 .0118  .0118  909312 .0135  apollon151
ssh-simplified/s3_srvr_1_true-unreach-call_false-termination.cil.c 46.6  16.1  2361909248 420   apollon046 41.7  18.1   1533001728 370   apollon133 .0148  .0145  839680 .0118  apollon167
ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c 7.86 2.41 428797952 66.3 apollon065 7.31 2.23  444444672 61.2 apollon167 .00993 .0102  901120 .0109  apollon085
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c 6.71 2.12 348704768 61.4 apollon057 3.82 1.48  276803584 34.5 apollon022 .0122  .0127  974848 .00470 apollon132
ssh-simplified/s3_srvr_2_true-unreach-call_false-termination.cil.c 49.8  17.1  1976320000 452   apollon093 24.1  6.61  852000768 170   apollon100 .0104  .0102  704512 .0170  apollon057
ssh-simplified/s3_srvr_3_true-unreach-call_false-termination.cil.c 42.0  15.3  1874989056 440   apollon056 28.2  7.36  799481856 199   apollon117 .0148  .0146  868352 .00299 apollon025
ssh-simplified/s3_srvr_4_true-unreach-call_false-termination.cil.c 41.3  14.3  1513066496 372   apollon144 31.2  9.52  1082322944 248   apollon011 .0150  .0148  892928 .00500 apollon010
ssh-simplified/s3_srvr_6_true-unreach-call_false-termination.cil.c 60.0  25.6  2822352896 603   apollon101 101    76.2   2603286528 1050   apollon167 22.0     7.01    543404032 208       apollon036
ssh-simplified/s3_srvr_7_true-unreach-call_false-termination.cil.c 52.8  20.1  1998528512 470   apollon023 47.6  24.3   1600352256 450   apollon038 .0137  .0134  905216 .00000 apollon111
ssh-simplified/s3_srvr_8_true-unreach-call_false-termination.cil.c 44.4  16.8  1909620736 383   apollon116 41.6  14.9   1357250560 335   apollon045 .0265  .0272  991232 .00446 apollon020
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c 8.22 2.26 376164352 60.8 apollon075 3.89 1.55  290488320 35.3 apollon118 .0189  .0195  970752 .00494 apollon048
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c 7.71 2.22 361857024 57.6 apollon096 3.69 1.47  286932992 32.3 apollon085 .0144  .0161  884736 .0151  apollon144
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c 18.8  5.34 945229824 144   apollon013 3.20 1.26  274280448 28.7 apollon004 .0152  .0184  933888 .00702 apollon056
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c 25.8  8.64 1564819456 191   apollon104 3.29 1.30  272015360 27.6 apollon051 .0280  .0274  757760 .00848 apollon152
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c 36.6  15.0  2846556160 292   apollon103 3.20 1.26  276197376 29.6 apollon118 .0135  .0138  1019904 .0117  apollon128
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c 59.3  27.2  4976963584 455   apollon127 3.28 1.31  276688896 29.5 apollon004 .0132  .0134  1036288 .0116  apollon160
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c 120    56.6  6080974848 859   apollon134 3.31 1.34  275124224 28.9 apollon034 .0106  .0135  806912 .0133  apollon132
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c 311    135    8351715328 2350   apollon008 3.36 1.30  277331968 28.7 apollon026 .00658 .00984 856064 .0122  apollon011
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c 8.45 2.46 388702208 59.6 apollon040 2.82 1.18  271339520 25.1 apollon078 .00737 .0113  1019904 .0184  apollon140
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c 8.87 2.45 452169728 77.5 apollon125 2.83 1.18  267870208 24.6 apollon085 .0158  .0155  995328 .00617 apollon153
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c 10.9  2.93 523218944 82.8 apollon071 2.93 1.19  274169856 23.8 apollon043 .0137  .0135  831488 .0113  apollon162
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c 11.4  3.23 539398144 99.5 apollon044 3.00 1.21  271302656 28.6 apollon020 .0171  .0178  872448 .0107  apollon030
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c 15.0  3.85 741875712 111   apollon058 3.07 1.21  271044608 26.9 apollon087 .0150  .0159  839680 .00757 apollon102
ntdrivers/cdaudio_false-unreach-call.i.cil.c 900    762    5409255424 12700   apollon017 101    58.2   3856003072 984   apollon107 35.9     9.09    600686592 272       apollon097
ntdrivers/diskperf_false-unreach-call.i.cil.c 17.9  4.75 551419904 139   apollon051 11.5  3.08  487526400 99.5 apollon161 .0154  .0158  880640 .0107  apollon082
ntdrivers/floppy_false-unreach-call.i.cil.c 141    97.4  4742819840 1350   apollon161 27.8  7.02  827916288 214   apollon051 .0110  .0108  933888 .00922 apollon059
ntdrivers/kbfiltr_false-unreach-call.i.cil.c 900    843    1995239424 9620   apollon130 9.18 2.59  472186880 71.0 apollon026 .0136  .0133  876544 .00848 apollon054
ntdrivers/parport_false-unreach-call.i.cil.c 98.2  46.1  1074442240 968   apollon130 41.1  12.3   1233416192 337   apollon002 .0131  .0172  1118208 .0201  apollon152
ntdrivers/cdaudio_true-unreach-call.i.cil.c 158    77.8  3270250496 1500   apollon040 13.2  3.52  498647040 108   apollon161 .0303  .0295  921600 .00653 apollon163
ntdrivers/diskperf_true-unreach-call.i.cil.c 132    71.5  4498395136 1250   apollon042 10.4  2.82  465846272 85.1 apollon119 .00927 .00997 802816 .00873 apollon040
ntdrivers/floppy2_true-unreach-call_true-termination.i.cil.c 358    212    7852699648 3020   apollon133 36.7  9.30  1080754176 265   apollon051 .0144  .0142  921600 .00775 apollon099
ntdrivers/floppy_true-unreach-call_true-valid-memsafety.i.cil.c 266    145    8380055552 2550   apollon071 22.8  5.87  808267776 158   apollon098 .0118  .0119  884736 .0118  apollon094
ntdrivers/parport_true-unreach-call.i.cil.c 315    221    4816232448 4250   apollon122 48.1  18.0   1745305600 449   apollon167 .0155  .0154  1077248 .00470 apollon037
ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c 463    404    925495296 5640   apollon138 9.13 2.57  449695744 67.3 apollon058 .0125  .0134  880640 .00983 apollon009
ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c 167    134    838197248 2000   apollon081 9.14 2.59  452468736 80.0 apollon161 .0102  .00999 876544 .0115  apollon161
ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c 166    134    847384576 1950   apollon155 8.63 2.46  425029632 62.6 apollon158 .00751 .00773 757760 .00000 apollon014
ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c 169    136    812216320 1750   apollon086 8.65 2.52  455716864 68.1 apollon038 .0154  .0166  913408 .0147  apollon118
ssh/s3_srvr.blast.01_false-unreach-call.i.cil.c 29.1  10.9  561053696 263   apollon047 8.04 2.33  395956224 61.8 apollon089 .0100  .0103  892928 .00623 apollon153
ssh/s3_srvr.blast.02_false-unreach-call.i.cil.c 28.2  9.62 524533760 243   apollon152 8.22 2.40  409186304 65.0 apollon053 .0106  .0104  978944 .00391 apollon034
ssh/s3_srvr.blast.03_false-unreach-call.i.cil.c 27.5  9.64 527646720 231   apollon102 7.72 2.25  406921216 61.1 apollon058 .0193  .0193  991232 .00427 apollon034
ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c 26.6  9.44 513019904 232   apollon146 8.04 2.33  421318656 61.0 apollon002 .0146  .0144  847872 .00757 apollon056
ssh/s3_srvr.blast.06_false-unreach-call.i.cil.c 900    776    5014917120 12500   apollon091 5.85 1.89  315543552 51.3 apollon019 .00891 .00895 962560 .00946 apollon068
ssh/s3_srvr.blast.07_false-unreach-call.i.cil.c 901    791    4974788608 12700   apollon033 9.70 2.76  460361728 80.3 apollon067 .00942 .00978 729088 .00818 apollon127
ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c 901    763    4105170944 11300   apollon154 5.83 1.92  310112256 46.1 apollon058 .0135  .0134  823296 .00818 apollon006
ssh/s3_srvr.blast.09_false-unreach-call.i.cil.c 900    784    4889415680 11100   apollon129 10.9  3.09  443912192 87.7 apollon022 .0169  .0165  851968 .00867 apollon160
ssh/s3_srvr.blast.10_false-unreach-call.i.cil.c 900    769    3832958976 12100   apollon145 5.66 1.87  313110528 48.9 apollon168 .0140  .0133  929792 .00842 apollon124
ssh/s3_srvr.blast.11_false-unreach-call.i.cil.c 67.2  46.4  709664768 625   apollon091 10.3  2.89  481853440 76.8 apollon054 .0110  .0146  933888 .0214  apollon168
ssh/s3_srvr.blast.12_false-unreach-call.i.cil.c 900    776    4691329024 12500   apollon136 5.76 1.87  309747712 44.6 apollon123 .0165  .0164  786432 .00586 apollon119
ssh/s3_srvr.blast.13_false-unreach-call.i.cil.c 900    783    4971696128 12900   apollon125 10.5  2.93  447406080 82.4 apollon053 .0157  .0149  1060864 .0138  apollon163
ssh/s3_srvr.blast.14_false-unreach-call.i.cil.c 900    779    4811649024 11600   apollon135 5.94 1.95  320987136 56.0 apollon125 .0100  .0105  864256 .00586 apollon029
ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c 900    764    3831652352 14500   apollon056 5.86 1.86  309665792 50.0 apollon101 .00664 .0103  708608 .00897 apollon146
ssh/s3_srvr.blast.16_false-unreach-call.i.cil.c 900    776    4803227648 11800   apollon147 6.07 1.92  310468608 47.0 apollon002 .0150  .0152  872448 .0101  apollon101
ssh/s3_clnt.blast.01_true-unreach-call.i.cil.c 901    845    2040926208 11300   apollon062 9.88 2.74  463360000 80.9 apollon070 .0167  .0178  884736 .0104  apollon030
ssh/s3_clnt.blast.02_true-unreach-call.i.cil.c 901    809    2256453632 10900   apollon035 9.08 2.61  445390848 70.6 apollon082 .0105  .0103  770048 .00617 apollon118
ssh/s3_clnt.blast.03_true-unreach-call.i.cil.c 903    827    2422444032 11300   apollon154 10.4  2.96  451772416 84.8 apollon101 .0116  .0114  937984 .00915 apollon101
ssh/s3_clnt.blast.04_true-unreach-call.i.cil.c 900    842    2169450496 11100   apollon166 10.8  2.98  448491520 87.1 apollon076 .0131  .0127  880640 .00848 apollon121
ssh/s3_srvr.blast.01_true-unreach-call.i.cil.c 901    786    5396713472 11700   apollon055 10.3  2.98  454479872 73.2 apollon054 .0144  .0179  724992 .00848 apollon154
ssh/s3_srvr.blast.02_true-unreach-call.i.cil.c 900    781    3889397760 10500   apollon139 8.51 2.44  474112000 70.8 apollon141 .00937 .00940 974848 .00909 apollon119
ssh/s3_srvr.blast.06_true-unreach-call.i.cil.c 900    774    5439619072 13700   apollon021 78.6  40.0   2531569664 760   apollon125 .00785 .00773 815104 .0104  apollon129
ssh/s3_srvr.blast.07_true-unreach-call.i.cil.c 901    784    5121904640 11800   apollon061 12.5  3.42  493748224 96.9 apollon051 .0108  .0106  729088 .0142  apollon140
ssh/s3_srvr.blast.08_true-unreach-call.i.cil.c 901    783    5228326912 12000   apollon152 16.2  4.48  638615552 145   apollon030 .0125  .0123  974848 .00958 apollon106
ssh/s3_srvr.blast.09_true-unreach-call.i.cil.c 900    781    5045719040 10400   apollon143 12.2  3.42  467406848 99.3 apollon101 .0116  .0112  843776 .0133  apollon071
ssh/s3_srvr.blast.10_true-unreach-call.i.cil.c 900    793    4928950272 11100   apollon012 11.5  3.15  471052288 88.4 apollon042 .0132  .0130  1003520 .00604 apollon164
ssh/s3_srvr.blast.11_true-unreach-call.i.cil.c 901    784    4880814080 12300   apollon138 11.7  3.23  469540864 102   apollon044 .0192  .0188  749568 .00732 apollon040
ssh/s3_srvr.blast.12_true-unreach-call.i.cil.c 901    792    5092642816 10700   apollon060 20.4  5.99  646975488 176   apollon140 .0123  .0120  950272 .0135  apollon094
ssh/s3_srvr.blast.13_true-unreach-call.i.cil.c 901    789    4821450752 11700   apollon022 10.5  2.99  446189568 94.1 apollon126 .0147  .0145  1015808 .0113  apollon052
ssh/s3_srvr.blast.14_true-unreach-call.i.cil.c 900    785    5257646080 11600   apollon076 32.8  12.1   1119997952 300   apollon030 .0151  .0148  860160 .00836 apollon159
ssh/s3_srvr.blast.15_true-unreach-call.i.cil.c 901    786    4944199680 12300   apollon112 19.9  5.63  705064960 172   apollon140 .0123  .0120  835584 .0123  apollon026
ssh/s3_srvr.blast.16_true-unreach-call.i.cil.c 901    795    5226434560 12400   apollon091 36.6  16.4   1510846464 293   apollon158 .0125  .0131  909312 .0195  apollon129
eca-rers2012/Problem01_label15_false-unreach-call_false-termination.c 31.8  9.62 1021308928 264   apollon120 19.2  5.31  774098944 155   apollon109 .0269  .0270  925696 .00427 apollon023
eca-rers2012/Problem01_label20_false-unreach-call_false-termination.c 35.6  12.3  1485418496 309   apollon035 26.3  7.53  1136979968 215   apollon009 .00702 .00726 765952 .0133  apollon024
eca-rers2012/Problem01_label21_false-unreach-call_false-termination.c 39.4  11.5  1062187008 332   apollon067 20.4  5.38  821071872 181   apollon044 .0129  .0128  733184 .0123  apollon161
eca-rers2012/Problem01_label32_false-unreach-call_false-termination.c 25.4  7.33 686964736 220   apollon010 29.0  8.58  1047896064 242   apollon020 .0128  .0132  983040 .00702 apollon098
eca-rers2012/Problem01_label33_false-unreach-call_false-termination.c 28.9  7.96 964255744 213   apollon083 22.0  6.19  848171008 171   apollon060 .0138  .0138  1040384 .00836 apollon131
eca-rers2012/Problem01_label35_false-unreach-call_false-termination.c 32.2  10.5  1088163840 266   apollon115 26.9  9.13  1037926400 207   apollon058 .0136  .0144  929792 .00812 apollon097
eca-rers2012/Problem01_label37_false-unreach-call_false-termination.c 28.1  8.56 1096130560 212   apollon092 22.1  5.89  846315520 170   apollon085 .0169  .0179  1015808 .00562 apollon015
eca-rers2012/Problem01_label38_false-unreach-call_false-termination.c 34.2  10.9  971517952 288   apollon061 21.1  5.64  812269568 168   apollon047 .0124  .0120  966656 .00775 apollon168
eca-rers2012/Problem01_label44_false-unreach-call_false-termination.c 33.7  9.31 896417792 286   apollon008 16.0  4.32  600502272 144   apollon125 .0145  .0149  987136 .00861 apollon073
eca-rers2012/Problem01_label47_false-unreach-call_false-termination.c 28.7  8.93 918904832 229   apollon086 43.2  21.7   2095919104 429   apollon038 .0193  .0224  954368 .00806 apollon160
eca-rers2012/Problem01_label50_false-unreach-call_false-termination.c 29.4  9.23 978579456 253   apollon096 22.0  5.95  801144832 186   apollon044 .0164  .0208  741376 .00623 apollon118
eca-rers2012/Problem01_label56_false-unreach-call_false-termination.c 32.6  8.82 715333632 256   apollon034 23.4  6.12  823189504 187   apollon126 .00796 .0125  901120 .00781 apollon034
eca-rers2012/Problem01_label57_false-unreach-call_false-termination.c 33.8  9.91 932462592 306   apollon014 43.7  23.2   2018070528 430   apollon032 .0139  .0135  1015808 .00000 apollon032
eca-rers2012/Problem02_label13_false-unreach-call_false-termination.c 23.8  7.15 819314688 190   apollon086 13.1  3.55  471687168 100   apollon071 .0127  .0137  815104 .00922 apollon164
eca-rers2012/Problem02_label16_false-unreach-call_false-termination.c 17.0  4.77 619683840 137   apollon147 11.0  3.11  477917184 90.4 apollon087 .0202  .0199  1003520 .00598 apollon070
eca-rers2012/Problem02_label43_false-unreach-call_false-termination.c 22.9  6.59 784830464 176   apollon003 12.5  3.39  489721856 105   apollon032 .0145  .0150  880640 .00891 apollon155
eca-rers2012/Problem02_label44_false-unreach-call_false-termination.c 20.2  5.34 724828160 169   apollon141 12.2  3.35  474251264 108   apollon020 .00821 .0109  880640 .00867 apollon095
eca-rers2012/Problem02_label45_false-unreach-call_false-termination.c 30.7  8.67 829911040 251   apollon051 21.7  5.85  700645376 186   apollon126 .0108  .0106  892928 .00482 apollon160
eca-rers2012/Problem02_label50_false-unreach-call_false-termination.c 27.3  7.93 793133056 209   apollon137 18.7  5.20  633774080 160   apollon141 .0102  .0105  983040 .00989 apollon068
eca-rers2012/Problem02_label59_false-unreach-call_false-termination.c 29.9  9.07 983060480 261   apollon167 16.7  4.41  586911744 139   apollon047 .0131  .0161  958464 .00452 apollon155
eca-rers2012/Problem03_label09_false-unreach-call.c 907    278    13607510016 5050   apollon034 81.6  50.0   2407669760 935   apollon140 .0138  .0143  958464 .0123  apollon079
eca-rers2012/Problem03_label13_false-unreach-call.c 99.2  43.6  5125816320 774   apollon040 49.2  24.6   1945714688 515   apollon126 .0126  .0123  1056768 .00952 apollon133
eca-rers2012/Problem03_label26_false-unreach-call.c 908    284    13435785216 4830   apollon042 36.4  12.5   1239662592 331   apollon081 .0193  .0197  897024 .00751 apollon011
eca-rers2012/Problem03_label27_false-unreach-call.c 907    248    13599117312 4840   apollon017 46.1  17.4   1691025408 394   apollon118 .00867 .00883 724992 .0146  apollon112
eca-rers2012/Problem03_label28_false-unreach-call.c 904    250    13558099968 4570   apollon129 46.7  17.1   1700794368 428   apollon155 .0121  .0119  835584 .00336 apollon040
eca-rers2012/Problem03_label31_false-unreach-call.c 139    59.6  6018437120 1170   apollon047 50.6  20.2   1823731712 463   apollon167 .0128  .0130  843776 .0100  apollon107
eca-rers2012/Problem03_label35_false-unreach-call.c 874    391    11407892480 6420   apollon156 54.9  25.5   2063114240 525   apollon071 .00720 .0106  954368 .00677 apollon131
eca-rers2012/Problem03_label37_false-unreach-call.c 68.9  27.2  2647044096 662   apollon059 46.3  20.4   1868697600 413   apollon011 .0118  .0116  884736 .0132  apollon091
eca-rers2012/Problem03_label39_false-unreach-call.c 453    216    9378611200 3400   apollon067 68.4  34.0   1953198080 631   apollon142 .0109  .0107  868352 .00861 apollon102
eca-rers2012/Problem03_label43_false-unreach-call.c 167    80.7  5991895040 1280   apollon002 51.9  21.5   1993134080 413   apollon089 .00814 .0114  831488 .00830 apollon133
eca-rers2012/Problem03_label45_false-unreach-call.c 104    43.1  4477513728 902   apollon138 58.5  27.8   2186940416 495   apollon128 .00658 .0102  745472 .00739 apollon104
eca-rers2012/Problem03_label50_false-unreach-call.c 141    62.0  6013952000 1030   apollon104 78.4  50.1   1836380160 817   apollon135 .0131  .0134  1040384 .0111  apollon168
eca-rers2012/Problem03_label52_false-unreach-call.c 908    297    13565063168 5410   apollon142 102    77.9   2815733760 1040   apollon151 950       348       13154807808 6890       apollon126
eca-rers2012/Problem04_label04_false-unreach-call.c 666    524    6491099136 7730   apollon100 106    64.2   2799005696 853   apollon100 101       58.5     2025144320 903       apollon137
eca-rers2012/Problem04_label06_false-unreach-call.c 838    678    6761959424 11300   apollon124 105    62.9   2442240000 799   apollon151 94.4     54.0     1992540160 808       apollon029
eca-rers2012/Problem04_label09_false-unreach-call.c 780    619    6348156928 10600   apollon006 105    65.0   3029127168 943   apollon108 82.0     48.9     1381535744 763       apollon026
eca-rers2012/Problem04_label11_false-unreach-call_false-termination.c 794    633    6450900992 9390   apollon127 106    66.4   2867843072 867   apollon127 93.4     55.3     1775951872 866       apollon103
eca-rers2012/Problem04_label12_false-unreach-call_false-termination.c 900    739    6170591232 12600   apollon019 105    66.3   2891554816 913   apollon082 79.6     51.2     1082093568 812       apollon009
eca-rers2012/Problem04_label13_false-unreach-call.c 828    671    6383624192 11200   apollon048 104    65.0   2967457792 930   apollon108 78.1     49.1     1028452352 739       apollon103
eca-rers2012/Problem04_label14_false-unreach-call_false-termination.c 719    547    6720163840 8580   apollon105 106    61.5   2798776320 817   apollon029 89.9     50.6     1549201408 795       apollon023
eca-rers2012/Problem04_label15_false-unreach-call.c 723    521    7111815168 6720   apollon063 106    63.2   2703863808 885   apollon032 84.8     49.7     1471729664 898       apollon007
eca-rers2012/Problem04_label17_false-unreach-call_false-termination.c 815    606    7421853696 9260   apollon073 106    65.2   2876592128 881   apollon146 87.1     51.6     1476243456 855       apollon009
eca-rers2012/Problem04_label18_false-unreach-call.c 856    689    6163054592 10200   apollon042 105    62.8   2570268672 922   apollon168 90.6     51.8     1620295680 929       apollon059
eca-rers2012/Problem04_label19_false-unreach-call.c 900    698    7115714560 9670   apollon123 104    63.0   2145894400 854   apollon121 82.4     48.7     1415573504 852       apollon112
eca-rers2012/Problem04_label26_false-unreach-call.c 901    720    6747525120 12600   apollon028 106    64.2   2630680576 935   apollon095 90.6     50.7     1739681792 881       apollon019
eca-rers2012/Problem04_label27_false-unreach-call_false-termination.c 901    579    9677246464 9750   apollon031 105    65.8   2343235584 1050   apollon016 88.6     51.6     1444929536 877       apollon146
eca-rers2012/Problem04_label31_false-unreach-call.c 761    593    6828281856 9650   apollon113 106    66.4   2871259136 880   apollon117 81.4     51.7     1071738880 795       apollon107
eca-rers2012/Problem04_label32_false-unreach-call.c 901    694    6579150848 10700   apollon026 104    62.4   2482671616 964   apollon014 89.8     52.0     1473634304 845       apollon097
eca-rers2012/Problem04_label35_false-unreach-call.c 855    666    7145779200 9650   apollon143 105    64.3   2723340288 1120   apollon021 99.5     57.6     2210639872 930       apollon107
eca-rers2012/Problem04_label36_false-unreach-call_false-termination.c 849    680    6263304192 12500   apollon016 106    63.6   2360848384 887   apollon128 97.9     57.7     2164072448 761       apollon063
eca-rers2012/Problem04_label38_false-unreach-call.c 901    686    6941593600 10700   apollon110 106    64.8   2884759552 934   apollon079 94.1     53.9     2027327488 861       apollon062
eca-rers2012/Problem04_label39_false-unreach-call.c 826    662    6658510848 11700   apollon148 105    61.5   2437586944 881   apollon146 90.8     51.1     1543122944 945       apollon159
eca-rers2012/Problem04_label40_false-unreach-call_false-termination.c 900    702    6528606208 11400   apollon142 106    65.4   2728771584 1030   apollon014 80.3     51.3     1073561600 881       apollon108
eca-rers2012/Problem04_label45_false-unreach-call.c 839    681    6315970560 10100   apollon053 106    63.7   2421309440 880   apollon086 89.4     51.1     1607589888 959       apollon030
eca-rers2012/Problem04_label52_false-unreach-call.c 865    685    6874427392 10600   apollon050 104    64.8   2975277056 935   apollon164 87.9     50.3     1594052608 801       apollon058
eca-rers2012/Problem04_label55_false-unreach-call.c 900    742    6262038528 13100   apollon122 105    65.2   2656747520 955   apollon165 89.7     52.5     1455112192 885       apollon114
eca-rers2012/Problem04_label58_false-unreach-call_false-termination.c 665    500    7064080384 6830   apollon158 106    63.8   2865848320 875   apollon152 95.2     55.0     2017181696 999       apollon122
eca-rers2012/Problem05_label00_false-unreach-call.c 770    422    7645253632 8490   apollon044 109    65.6   2675154944 972   apollon038 55.5     30.6     909135872 537       apollon017
eca-rers2012/Problem05_label01_false-unreach-call.c 901    428    11046219776 7390   apollon058 104    68.5   2580602880 891   apollon015 43.7     24.3     841719808 434       apollon022
eca-rers2012/Problem05_label11_false-unreach-call.c 901    431    9824337920 7440   apollon034 103    61.6   2678022144 860   apollon128 55.3     30.8     912314368 501       apollon053
eca-rers2012/Problem05_label13_false-unreach-call.c 904    460    8862740480 8610   apollon155 107    66.3   2762219520 895   apollon076 51.4     27.0     888115200 526       apollon161
eca-rers2012/Problem05_label15_false-unreach-call.c 902    471    9835065344 8230   apollon087 110    61.9   3064414208 909   apollon119 53.7     30.5     907612160 508       apollon121
eca-rers2012/Problem05_label18_false-unreach-call.c 900    535    9369931776 9760   apollon122 111    64.8   3053572096 945   apollon168 54.3     30.1     900087808 516       apollon061
eca-rers2012/Problem05_label24_false-unreach-call.c 901    392    9381191680 7240   apollon126 110    67.7   2533466112 875   apollon098 56.3     30.5     915910656 530       apollon136
eca-rers2012/Problem05_label26_false-unreach-call.c 907    399    10896781312 7060   apollon072 104    67.9   2060161024 1150   apollon021 45.5     23.8     848408576 439       apollon078
eca-rers2012/Problem05_label30_false-unreach-call.c 900    386    11699838976 6370   apollon060 103    61.5   2814627840 911   apollon106 55.2     31.0     908980224 537       apollon071
eca-rers2012/Problem05_label32_false-unreach-call.c 901    488    8157822976 9030   apollon155 108    64.6   2605826048 977   apollon019 55.2     30.2     909234176 500       apollon026
eca-rers2012/Problem05_label33_false-unreach-call.c 900    525    9635381248 8600   apollon022 111    62.9   2602913792 890   apollon093 54.7     30.6     899506176 546       apollon093
eca-rers2012/Problem05_label36_false-unreach-call.c 902    372    13432467456 8080   apollon111 108    65.1   2977853440 903   apollon018 54.7     30.6     901820416 546       apollon064
eca-rers2012/Problem05_label37_false-unreach-call.c 900    536    9078935552 9580   apollon010 103    65.3   2481061888 853   apollon042 54.1     30.4     910094336 526       apollon072
eca-rers2012/Problem05_label38_false-unreach-call.c 901    480    10852724736 7570   apollon137 103    71.4   2732982272 873   apollon121 56.6     30.8     906371072 512       apollon023
eca-rers2012/Problem05_label39_false-unreach-call.c 901    374    11533144064 6610   apollon015 104    58.2   2727407616 830   apollon093 55.4     30.3     912867328 502       apollon072
eca-rers2012/Problem05_label40_false-unreach-call.c 901    340    11891089408 5590   apollon139 104    65.2   2683604992 847   apollon151 55.3     30.7     914874368 497       apollon053
eca-rers2012/Problem05_label41_false-unreach-call.c 901    393    11880599552 6780   apollon107 103    57.5   2862415872 957   apollon081 53.8     30.5     905900032 603       apollon008
eca-rers2012/Problem05_label44_false-unreach-call.c 908    433    10662219776 8770   apollon080 103    58.7   2627387392 831   apollon025 45.8     24.6     844705792 484       apollon125
eca-rers2012/Problem05_label47_false-unreach-call.c 900    346    12053131264 6080   apollon022 113    65.9   3175817216 868   apollon029 55.4     31.0     904384512 472       apollon054
eca-rers2012/Problem05_label48_false-unreach-call.c 907    360    13001728000 6800   apollon052 111    64.1   2790735872 951   apollon004 55.1     30.9     915902464 599       apollon163
eca-rers2012/Problem05_label51_false-unreach-call.c 902    554    7781707776 8360   apollon041 103    62.2   2473623552 986   apollon125 54.2     29.2     899338240 495       apollon073
eca-rers2012/Problem05_label55_false-unreach-call.c 901    400    10864201728 6680   apollon115 104    57.8   2264559616 871   apollon004 54.5     30.6     905891840 493       apollon127
eca-rers2012/Problem05_label57_false-unreach-call.c 905    494    9184067584 7700   apollon002 103    57.4   2603585536 916   apollon079 54.0     30.4     913203200 530       apollon009
eca-rers2012/Problem05_label58_false-unreach-call.c 900    477    9498263552 8960   apollon064 111    63.3   2659594240 880   apollon053 56.8     30.6     904081408 549       apollon052
eca-rers2012/Problem06_label00_false-unreach-call.c 908    241    13533163520 5570   apollon056 103    57.1   2952146944 829   apollon135 39.8     21.2     824508416 372       apollon110
eca-rers2012/Problem06_label01_false-unreach-call.c 901    218    13581062144 4480   apollon018 103    59.7   2354462720 853   apollon152 41.1     21.5     829345792 358       apollon099
eca-rers2012/Problem06_label02_false-unreach-call.c 902    219    13566472192 4170   apollon041 108    59.0   2451890176 916   apollon038 40.3     21.4     846536704 390       apollon119
eca-rers2012/Problem06_label04_false-unreach-call.c 908    282    13558886400 4910   apollon043 103    56.5   2786918400 891   apollon034 39.9     21.4     807137280 396       apollon071
eca-rers2012/Problem06_label05_false-unreach-call.c 905    253    13544722432 5090   apollon163 104    54.0   2906554368 784   apollon054 42.9     21.6     810205184 447       apollon088
eca-rers2012/Problem06_label09_false-unreach-call.c 908    294    13581897728 5290   apollon152 103    57.7   2490544128 827   apollon015 41.9     21.4     814538752 387       apollon085
eca-rers2012/Problem06_label10_false-unreach-call.c 908    262    13581832192 4720   apollon150 102    54.9   2424188928 845   apollon025 35.9     16.3     740986880 298       apollon060
eca-rers2012/Problem06_label11_false-unreach-call.c 908    274    13245882368 5710   apollon122 105    54.0   2914156544 814   apollon120 40.8     21.3     819269632 424       apollon130
eca-rers2012/Problem06_label12_false-unreach-call.c 908    256    13460082688 5140   apollon147 103    57.7   2582433792 1030   apollon167 41.2     21.3     811683840 398       apollon064
eca-rers2012/Problem06_label15_false-unreach-call.c 908    265    13446402048 4590   apollon104 107    57.1   2395238400 1020   apollon014 52.2     28.0     888688640 493       apollon120
eca-rers2012/Problem06_label20_false-unreach-call.c 905    255    13511024640 5030   apollon165 103    60.9   2678034432 824   apollon092 49.4     26.9     927850496 436       apollon149
eca-rers2012/Problem06_label21_false-unreach-call.c 902    255    13604065280 4910   apollon135 104    52.4   2506428416 798   apollon152 51.1     27.3     907616256 498       apollon084
eca-rers2012/Problem06_label24_false-unreach-call.c 904    288    13173198848 5220   apollon128 103    58.1   2741145600 909   apollon087 58.5     32.9     915599360 599       apollon010
eca-rers2012/Problem06_label27_false-unreach-call.c 908    288    13323419648 4700   apollon158 103    58.5   2712629248 921   apollon072 53.1     27.2     930902016 474       apollon026
eca-rers2012/Problem06_label29_false-unreach-call.c 908    265    13561266176 5470   apollon065 107    61.0   2793439232 839   apollon060 49.0     26.8     915972096 456       apollon154
eca-rers2012/Problem06_label33_false-unreach-call.c 908    280    13560934400 5320   apollon067 104    58.3   2218074112 990   apollon106 50.3     27.2     912793600 499       apollon152
eca-rers2012/Problem06_label36_false-unreach-call.c 908    253    13545033728 4800   apollon102 103    57.8   2626785280 980   apollon081 40.7     21.1     830283776 347       apollon151
eca-rers2012/Problem06_label37_false-unreach-call.c 908    249    13562777600 5480   apollon148 103    57.5   2487402496 888   apollon109 51.6     27.4     922677248 533       apollon028
eca-rers2012/Problem06_label38_false-unreach-call.c 908    277    13623185408 5110   apollon049 107    57.2   2394734592 909   apollon109 52.3     27.1     902877184 474       apollon074
eca-rers2012/Problem06_label44_false-unreach-call.c 908    340    13309878272 6810   apollon069 103    55.1   2350030848 834   apollon070 52.4     28.0     903643136 576       apollon160
eca-rers2012/Problem06_label47_false-unreach-call.c 905    265    13460381696 5450   apollon071 103    52.7   2400665600 830   apollon058 51.5     27.6     912265216 516       apollon112
eca-rers2012/Problem06_label48_false-unreach-call.c 908    237    13568991232 5110   apollon081 105    57.8   2625384448 898   apollon121 56.4     32.5     908201984 580       apollon006
eca-rers2012/Problem06_label56_false-unreach-call.c 908    275    13580247040 5690   apollon106 103    56.3   2394062848 776   apollon002 50.4     27.0     912080896 513       apollon047
eca-rers2012/Problem06_label58_false-unreach-call.c 908    277    13579317248 4610   apollon104 108    57.4   2758926336 977   apollon030 57.7     32.2     916832256 547       apollon078
eca-rers2012/Problem06_label59_false-unreach-call.c 908    293    13584797696 5980   apollon028 103    56.4   2517798912 865   apollon086 42.6     21.5     831361024 467       apollon021
eca-rers2012/Problem07_label03_false-unreach-call.c 903    559    12889432064 9820   apollon138 149    33.4   6278975488 791   apollon002 957       170       1422860288 4790       apollon131
eca-rers2012/Problem07_label05_false-unreach-call.c 908    560    12095512576 9640   apollon101 145    33.3   6970871808 865   apollon022 958       170       1425850368 4310       apollon134
eca-rers2012/Problem07_label06_false-unreach-call.c 908    590    10870042624 9250   apollon137 162    35.0   6616494080 811   apollon029 957       170       1430880256 5220       apollon080
eca-rers2012/Problem07_label07_false-unreach-call.c 903    549    12107837440 10200   apollon159 102    25.0   4376100864 580   apollon086 21.5     7.11    924073984 166       apollon021
eca-rers2012/Problem07_label09_false-unreach-call.c 901    568    12048334848 10000   apollon091 102    24.8   4639858688 617   apollon077 77.5     24.2     1440509952 530       apollon152
eca-rers2012/Problem07_label11_false-unreach-call.c 900    608    11474984960 9590   apollon042 136    31.3   6010540032 694   apollon040 957       170       1424551936 5210       apollon101
eca-rers2012/Problem07_label15_false-unreach-call.c 901    614    11694428160 9620   apollon035 103    32.2   4809199616 632   apollon128 27.6     8.49    919228416 191       apollon082
eca-rers2012/Problem07_label18_false-unreach-call.c 908    571    12484403200 10400   apollon155 104    27.0   5493460992 659   apollon167 106       40.3     1420189696 757       apollon103
eca-rers2012/Problem07_label19_false-unreach-call.c 903    482    13516705792 7820   apollon066 139    32.2   6471180288 774   apollon107 957       170       1421291520 4760       apollon090
eca-rers2012/Problem07_label20_false-unreach-call.c 903    483    13588332544 8520   apollon093 104    28.1   4405948416 661   apollon022 132       46.5     1406369792 828       apollon123
eca-rers2012/Problem07_label23_false-unreach-call.c 904    476    13018238976 9110   apollon028 134    31.7   6455271424 795   apollon084 958       170       1435107328 4860       apollon074
eca-rers2012/Problem07_label30_false-unreach-call.c 901    553    11561156608 10400   apollon125 103    26.0   5240274944 676   apollon126 109       33.4     1449349120 836       apollon057
eca-rers2012/Problem07_label31_false-unreach-call.c 904    650    9167777792 11300   apollon031 103    28.0   4408725504 582   apollon123 137       47.4     1435013120 966       apollon096
eca-rers2012/Problem07_label35_false-unreach-call.c 902    630    9558122496 10600   apollon022 111    28.7   6086082560 675   apollon165 153       51.7     1439449088 1040       apollon009
eca-rers2012/Problem07_label36_false-unreach-call.c 901    629    10143596544 11700   apollon148 115    28.8   5255831552 666   apollon109 957       170       1432969216 4520       apollon089
eca-rers2012/Problem07_label37_false-unreach-call.c 905    573    12712349696 8780   apollon089 145    33.2   6802366464 729   apollon158 198       72.1     1414086656 1360       apollon049
eca-rers2012/Problem07_label39_false-unreach-call.c 903    585    11049025536 11400   apollon030 103    25.5   4619317248 571   apollon060 93.4     27.2     1435951104 638       apollon141
eca-rers2012/Problem07_label40_false-unreach-call.c 906    624    12208766976 12400   apollon057 137    32.0   6521126912 768   apollon107 957       170       1425711104 4730       apollon154
eca-rers2012/Problem07_label42_false-unreach-call.c 908    509    13211369472 7890   apollon029 138    33.0   6389141504 749   apollon060 957       170       1439293440 4410       apollon116
eca-rers2012/Problem07_label44_false-unreach-call.c 908    485    13615480832 8300   apollon105 104    28.0   4423475200 569   apollon158 130       48.6     1450397696 859       apollon149
eca-rers2012/Problem07_label46_false-unreach-call.c 903    478    12789174272 7540   apollon089 157    35.0   6264422400 807   apollon128 957       170       1421496320 4890       apollon120
eca-rers2012/Problem07_label47_false-unreach-call.c 906    479    13579243520 8440   apollon084 131    31.8   6220234752 730   apollon157 313       86.7     1435807744 1870       apollon086
eca-rers2012/Problem07_label48_false-unreach-call.c 908    474    13509885952 7490   apollon040 103    32.3   4821311488 623   apollon089 26.9     8.53    934662144 196       apollon055
eca-rers2012/Problem07_label58_false-unreach-call.c 904    538    11776774144 8280   apollon040 133    31.3   6010277888 830   apollon160 228       75.9     1413169152 1420       apollon127
eca-rers2012/Problem08_label01_false-unreach-call.c 901    701    8796704768 10500   apollon083 191    45.0   7717019648 1120   apollon155 .0105  .0103  958464 .00824 apollon051
eca-rers2012/Problem08_label02_false-unreach-call.c 901    718    7942250496 12100   apollon091 192    45.2   7918493696 1060   apollon011 .0146  .0150  1077248 .0139  apollon021
eca-rers2012/Problem08_label04_false-unreach-call.c 901    695    7904493568 11100   apollon095 200    46.3   8001560576 1150   apollon093 .0162  .0161  831488 .00311 apollon045
eca-rers2012/Problem08_label05_false-unreach-call.c 901    718    8011165696 11100   apollon026 193    44.2   7907172352 1070   apollon052 .0148  .0199  860160 .00360 apollon093
eca-rers2012/Problem08_label06_false-unreach-call.c 900    703    8597217280 11600   apollon146 187    44.7   7870328832 963   apollon089 .0101  .00985 888832 .00757 apollon029
eca-rers2012/Problem08_label07_false-unreach-call.c 900    690    8522686464 11900   apollon132 179    43.8   7736348672 1110   apollon108 .0100  .0102  843776 .00000 apollon156
eca-rers2012/Problem08_label10_false-unreach-call.c 901    692    8035078144 10800   apollon150 178    42.5   7448522752 1030   apollon052 .00872 .00907 827392 .00000 apollon107
eca-rers2012/Problem08_label13_false-unreach-call.c 901    707    7807578112 13500   apollon111 196    45.2   7514611712 1010   apollon060 .0106  .0104  880640 .0114  apollon007
eca-rers2012/Problem08_label15_false-unreach-call.c 900    704    7435759616 11100   apollon156 208    47.5   8971759616 1150   apollon078 .00789 .00778 1003520 .0129  apollon045
eca-rers2012/Problem08_label24_false-unreach-call.c 900    721    7434891264 11400   apollon165 187    44.4   7430647808 1060   apollon005 .0149  .0155  946176 .00378 apollon165
eca-rers2012/Problem08_label25_false-unreach-call.c 900    720    7249006592 11600   apollon067 185    43.7   7511535616 974   apollon029 .0103  .0101  978944 .00897 apollon095
eca-rers2012/Problem08_label26_false-unreach-call.c 901    733    7580225536 11000   apollon023 181    43.7   7614091264 1090   apollon164 .0144  .0150  802816 .00635 apollon018
eca-rers2012/Problem08_label28_false-unreach-call.c 901    706    8426455040 12000   apollon112 175    42.8   7611682816 933   apollon060 .0159  .0156  1097728 .0117  apollon143
eca-rers2012/Problem08_label29_false-unreach-call.c 901    701    8332853248 10800   apollon079 208    46.4   7141625856 1180   apollon030 .0158  .0156  987136 .0105  apollon123
eca-rers2012/Problem08_label34_false-unreach-call.c 900    664    9346674688 12800   apollon160 180    41.3   5996167168 1120   apollon021 .0188  .0197  942080 .00464 apollon093
eca-rers2012/Problem08_label37_false-unreach-call.c 901    670    8860798976 9950   apollon134 208    45.7   6922010624 1160   apollon020 .0220  .0215  954368 .00281 apollon063
eca-rers2012/Problem08_label43_false-unreach-call.c 900    682    8442449920 10300   apollon099 208    45.9   7993274368 978   apollon040 .0121  .0120  901120 .0128  apollon161
eca-rers2012/Problem08_label46_false-unreach-call.c 901    692    7940644864 10900   apollon133 178    41.5   5764263936 840   apollon151 .0178  .0178  901120 .00519 apollon150
eca-rers2012/Problem08_label48_false-unreach-call.c 901    682    8069955584 11000   apollon078 203    46.9   8385490944 1130   apollon152 .0152  .0155  888832 .0109  apollon107
eca-rers2012/Problem08_label49_false-unreach-call.c 900    689    7992438784 11100   apollon049 176    42.7   7392059392 989   apollon085 .0137  .0148  962560 .0129  apollon078
eca-rers2012/Problem08_label50_false-unreach-call.c 901    675    8624377856 10800   apollon072 184    44.3   7637200896 1020   apollon018 .0223  .0221  909312 .00446 apollon031
eca-rers2012/Problem08_label51_false-unreach-call.c 901    711    8163811328 10400   apollon041 198    45.9   7703785472 1120   apollon118 .0136  .0132  958464 .00787 apollon163
eca-rers2012/Problem08_label55_false-unreach-call.c 901    719    7685287936 12700   apollon108 181    43.4   7236329472 988   apollon053 .0104  .0121  770048 .0131  apollon112
eca-rers2012/Problem08_label59_false-unreach-call.c 901    687    8756113408 11800   apollon112 170    42.5   7663599616 962   apollon150 .0152  .0146  794624 .0128  apollon121
eca-rers2012/Problem09_label02_false-unreach-call.c 901    632    9554464768 11100   apollon155 208    48.0   8649220096 1160   apollon020 .0149  .0165  835584 .0169  apollon126
eca-rers2012/Problem09_label03_false-unreach-call.c 900    627    10074046464 10400   apollon096 208    48.2   8388448256 1150   apollon126 .0161  .0166  835584 .0176  apollon126
eca-rers2012/Problem09_label06_false-unreach-call.c 900    668    10272866304 10100   apollon109 208    48.1   8493309952 1010   apollon116 .0124  .0132  1032192 .00903 apollon018
eca-rers2012/Problem09_label08_false-unreach-call.c 901    696    9940615168 11600   apollon152 208    46.5   6332305408 978   apollon086 .0233  .0233  892928 .0131  apollon042
eca-rers2012/Problem09_label10_false-unreach-call.c 900    659    8824111104 11500   apollon064 208    46.4   5837799424 1080   apollon167 .00868 .00846 827392 .00909 apollon059
eca-rers2012/Problem09_label11_false-unreach-call.c 901    667    9273982976 11400   apollon124 202    45.9   6344413184 946   apollon058 .0145  .0154  774144 .00470 apollon124
eca-rers2012/Problem09_label15_false-unreach-call.c 900    676    8764854272 11000   apollon015 200    46.1   6343331840 912   apollon098 .00934 .0180  774144 .00971 apollon153
eca-rers2012/Problem09_label19_false-unreach-call.c 900    673    10261815296 10700   apollon165 208    48.0   8508559360 1180   apollon007 .0132  .0134  872448 .00739 apollon139
eca-rers2012/Problem09_label20_false-unreach-call.c 901    695    8259792896 10900   apollon156 208    47.5   7901429760 1120   apollon022 .0132  .0130  1093632 .00708 apollon093
eca-rers2012/Problem09_label32_false-unreach-call.c 900    668    8677302272 8540   apollon063 202    48.2   7967354880 1060   apollon042 .0160  .0164  987136 .0157  apollon136
eca-rers2012/Problem09_label34_false-unreach-call.c 901    695    7736877056 10800   apollon131 208    48.0   8333127680 1040   apollon086 .0109  .0106  958464 .0117  apollon083
eca-rers2012/Problem09_label35_false-unreach-call.c 901    607    10790674432 10800   apollon065 208    47.7   8162086912 1060   apollon095 .00919 .0131  860160 .0239  apollon021
eca-rers2012/Problem09_label36_false-unreach-call.c 901    669    8985571328 10800   apollon032 208    47.1   6265004032 1040   apollon152 .0216  .0211  872448 .00793 apollon098
eca-rers2012/Problem09_label38_false-unreach-call.c 901    640    9542348800 9230   apollon092 208    47.6   8080125952 1050   apollon135 .0106  .0104  954368 .00000 apollon011
eca-rers2012/Problem09_label41_false-unreach-call.c 900    694    7980466176 10300   apollon013 208    46.5   6325432320 1030   apollon118 .0134  .0132  905216 .00836 apollon146
eca-rers2012/Problem09_label44_false-unreach-call.c 902    634    9229058048 10300   apollon032 208    48.6   8295473152 1060   apollon102 .0104  .0107  794624 .0103  apollon034
eca-rers2012/Problem09_label46_false-unreach-call.c 908    675    9230733312 11700   apollon164 198    45.6   6306041856 900   apollon054 .0212  .0210  1011712 .00549 apollon002
eca-rers2012/Problem09_label47_false-unreach-call.c 900    651    9555505152 10700   apollon168 208    47.9   8608043008 1080   apollon102 .0143  .0141  1056768 .00000 apollon128
eca-rers2012/Problem09_label51_false-unreach-call.c 901    638    9878183936 10300   apollon135 206    48.3   7884484608 1180   apollon019 .0140  .0147  958464 .0105  apollon159
eca-rers2012/Problem09_label53_false-unreach-call.c 901    683    9392635904 11100   apollon096 208    46.3   6325108736 1020   apollon146 .0174  .0174  880640 .00824 apollon051
eca-rers2012/Problem09_label54_false-unreach-call.c 900    665    8763875328 10100   apollon137 208    47.5   8056631296 1060   apollon087 .0137  .0139  925696 .00000 apollon061
eca-rers2012/Problem09_label56_false-unreach-call.c 900    740    7353323520 12500   apollon068 208    48.2   8368185344 1120   apollon091 .0252  .0268  843776 .00958 apollon007
eca-rers2012/Problem09_label57_false-unreach-call.c 901    664    9101983744 10500   apollon097 208    46.9   6275817472 1010   apollon102 .0106  .0105  765952 .00000 apollon130
eca-rers2012/Problem09_label59_false-unreach-call.c 908    635    9650012160 10400   apollon018 208    47.4   6060261376 1170   apollon125 .0266  .0321  933888 .0137  apollon055
eca-rers2012/Problem10_label12_false-unreach-call.c 522    495    917774336 6680   apollon096 102    79.6   3852480512 1280   apollon077 75.5     36.9     4066648064 695       apollon116
eca-rers2012/Problem10_label15_false-unreach-call.c 31.4  11.1  912084992 254   apollon139 103    77.9   3865231360 1220   apollon141 68.4     30.0     3483906048 647       apollon145
eca-rers2012/Problem10_label24_false-unreach-call.c 901    876    835735552 12500   apollon112 104    78.5   3798462464 1220   apollon093 23.2     7.04    527056896 183       apollon144
eca-rers2012/Problem10_label26_false-unreach-call.c 46.3  20.2  1432842240 425   apollon042 51.9  26.2   2775261184 495   apollon095 .0241  .0237  880640 .00446 apollon120
eca-rers2012/Problem10_label28_false-unreach-call.c 53.2  28.8  797736960 498   apollon058 55.0  28.0   2617856000 492   apollon123 .00944 .00970 815104 .00922 apollon156
eca-rers2012/Problem10_label29_false-unreach-call.c 36.7  14.0  1064325120 369   apollon069 111    94.5   2059034624 1570   apollon160 .0109  .0107  933888 .00610 apollon060
eca-rers2012/Problem10_label41_false-unreach-call.c 39.3  14.5  1085140992 332   apollon002 22.2  7.64  1027072000 204   apollon067 .00930 .00917 1064960 .0132  apollon161
eca-rers2012/Problem10_label42_false-unreach-call.c 20.5  6.14 693747712 185   apollon122 26.3  7.91  1087602688 246   apollon044 .0122  .0120  884736 .00000 apollon046
eca-rers2012/Problem10_label46_false-unreach-call.c 11.6  3.58 486301696 92.7 apollon011 9.80 2.73  464928768 72.2 apollon116 .0119  .0118  1019904 .00000 apollon149
eca-rers2012/Problem10_label47_false-unreach-call.c 117    87.1  1688043520 1230   apollon134 22.6  7.29  998539264 199   apollon052 .0121  .0155  942080 .0140  apollon153
eca-rers2012/Problem10_label48_false-unreach-call.c 64.2  30.8  2007928832 636   apollon017 71.6  40.0   3753500672 762   apollon167 .0106  .0142  1093632 .0124  apollon010
eca-rers2012/Problem10_label50_false-unreach-call.c 901    871    1082171392 12400   apollon164 69.9  39.8   2922524672 682   apollon087 .00873 .0113  884736 .00793 apollon154
eca-rers2012/Problem10_label55_false-unreach-call.c 32.6  8.91 920064000 267   apollon038 23.0  6.36  820457472 198   apollon032 .0162  .0203  917504 .0306  apollon142
eca-rers2012/Problem10_label57_false-unreach-call.c 38.4  13.0  1337921536 336   apollon096 101    74.7   3942776832 1080   apollon025 126       73.9     4668735488 1500       apollon008
eca-rers2012/Problem10_label58_false-unreach-call.c 58.2  29.7  926658560 526   apollon041 58.5  30.1   2733395968 594   apollon076 .0169  .0167  872448 .00519 apollon093
eca-rers2012/Problem11_label00_false-unreach-call.c 900    830    4517576704 11000   apollon051 101    66.5   3878912000 1190   apollon140 951       786       6859694080 12700       apollon164
eca-rers2012/Problem11_label08_false-unreach-call.c 88.0  53.2  1296683008 980   apollon005 79.3  47.0   2922201088 761   apollon053 .00611 .0132  811008 .0300  apollon071
eca-rers2012/Problem11_label14_false-unreach-call.c 35.1  10.8  913784832 297   apollon096 73.4  46.3   3430113280 783   apollon102 .00690 .00713 880640 .00000 apollon110
eca-rers2012/Problem11_label15_false-unreach-call.c 108    77.0  1237565440 1360   apollon059 97.6  62.8   3882602496 1110   apollon091 .0118  .0117  745472 .00775 apollon068
eca-rers2012/Problem11_label20_false-unreach-call.c 171    112    3755298816 1900   apollon048 102    70.7   3618484224 1120   apollon120 950       764       6751739904 13300       apollon036
eca-rers2012/Problem11_label29_false-unreach-call.c 901    880    753659904 11600   apollon145 78.0  46.2   3808907264 890   apollon161 .0147  .0149  909312 .0101  apollon115
eca-rers2012/Problem11_label31_false-unreach-call.c 900    841    3550253056 12500   apollon028 101    70.1   3869175808 1050   apollon109 950       789       7172419584 11800       apollon087
eca-rers2012/Problem11_label34_false-unreach-call.c 900    832    4708528128 11100   apollon097 102    63.6   3862982656 1260   apollon039 950       791       6894465024 11700       apollon095
eca-rers2012/Problem11_label36_false-unreach-call.c 44.5  24.1  676241408 474   apollon077 79.9  48.0   3521294336 747   apollon099 .0124  .0123  901120 .0107  apollon077
eca-rers2012/Problem11_label39_false-unreach-call.c 165    113    3115724800 1770   apollon120 112    90.9   2582716416 1280   apollon107 .0106  .0104  815104 .00000 apollon109
eca-rers2012/Problem11_label42_false-unreach-call.c 46.9  21.2  1174126592 442   apollon053 82.9  46.2   3621265408 798   apollon072 .0109  .0108  782336 .0118  apollon160
eca-rers2012/Problem11_label43_false-unreach-call.c 60.5  35.7  1065144320 698   apollon122 58.2  29.2   3046948864 541   apollon079 .0304  .0300  1024000 .0158  apollon008
eca-rers2012/Problem11_label49_false-unreach-call.c 37.7  12.1  842780672 308   apollon154 61.2  34.6   2752864256 570   apollon117 .00762 .0108  1052672 .0142  apollon005
eca-rers2012/Problem11_label51_false-unreach-call.c 77.0  43.0  1160966144 730   apollon099 104    67.8   3895652352 1140   apollon009 857       707       6506049536 10700       apollon076
eca-rers2012/Problem11_label58_false-unreach-call.c 29.2  9.34 688279552 282   apollon056 73.0  43.0   3722469376 692   apollon089 .0117  .0137  954368 .0104  apollon168
eca-rers2012/Problem12_label00_false-unreach-call.c 901    789    6272315392 13200   apollon056 104    69.0   3791540224 1020   apollon128 11.2     3.35    320745472 91.0     apollon031
eca-rers2012/Problem12_label03_false-unreach-call.c 901    519    10640453632 7720   apollon083 103    69.1   3204005888 1020   apollon022 21.2     6.78    590524416 166       apollon060
eca-rers2012/Problem12_label06_false-unreach-call.c 901    689    7584215040 9560   apollon045 101    67.2   2938896384 1110   apollon071 28.9     9.04    589242368 258       apollon081
eca-rers2012/Problem12_label07_false-unreach-call.c 644    466    7863738368 7110   apollon147 103    66.7   3736432640 1150   apollon005 21.1     6.80    605343744 189       apollon161
eca-rers2012/Problem12_label08_false-unreach-call.c 900    671    8014348288 11900   apollon044 104    70.7   3579564032 1030   apollon127 21.7     6.75    602591232 163       apollon128
eca-rers2012/Problem12_label10_false-unreach-call.c 900    728    7391342592 9250   apollon029 103    69.7   3574857728 1020   apollon099 22.0     6.83    598446080 195       apollon159
eca-rers2012/Problem12_label13_false-unreach-call.c 900    712    7716671488 10900   apollon020 105    69.3   3138215936 1110   apollon087 20.8     6.74    595136512 165       apollon107
eca-rers2012/Problem12_label19_false-unreach-call.c 900    664    7936184320 8600   apollon123 105    71.2   3643944960 1230   apollon030 22.2     6.81    598122496 166       apollon099
eca-rers2012/Problem12_label20_false-unreach-call.c 292    179    6275592192 2850   apollon051 103    67.6   3796029440 974   apollon117 21.8     6.88    584462336 174       apollon074
eca-rers2012/Problem12_label21_false-unreach-call.c 901    806    5956501504 9920   apollon098 111    74.3   3795349504 1130   apollon079 11.0     3.32    321953792 99.4     apollon057
eca-rers2012/Problem12_label25_false-unreach-call.c 901    708    6785404928 11000   apollon101 103    66.9   3822391296 1040   apollon156 22.7     7.31    582770688 205       apollon056
eca-rers2012/Problem12_label28_false-unreach-call.c 901    676    8217837568 9850   apollon087 102    65.9   2766606336 1070   apollon142 22.4     6.94    579964928 181       apollon055
eca-rers2012/Problem12_label30_false-unreach-call.c 203    121    5595983872 2000   apollon150 102    68.6   3727163392 949   apollon054 26.9     9.44    610918400 249       apollon163
eca-rers2012/Problem12_label34_false-unreach-call.c 900    716    6885961728 9590   apollon003 104    74.2   3793956864 1020   apollon098 21.9     6.88    612671488 186       apollon114
eca-rers2012/Problem12_label35_false-unreach-call.c 779    483    8899948544 7090   apollon119 105    72.9   3770822656 1020   apollon022 22.4     6.77    589651968 208       apollon056
eca-rers2012/Problem12_label37_false-unreach-call.c 901    624    8655323136 9480   apollon050 107    69.9   3538382848 1000   apollon040 21.9     6.83    595140608 184       apollon140
eca-rers2012/Problem12_label38_false-unreach-call.c 571    328    7802134528 4970   apollon145 102    68.7   3754262528 1030   apollon121 27.6     8.70    598478848 223       apollon085
eca-rers2012/Problem12_label39_false-unreach-call.c 900    517    10816073728 7600   apollon045 106    69.8   3851472896 1020   apollon157 21.7     6.77    585404416 203       apollon111
eca-rers2012/Problem12_label40_false-unreach-call.c 218    124    6014033920 2150   apollon138 106    69.2   3904139264 1280   apollon021 21.1     6.82    595869696 166       apollon072
eca-rers2012/Problem12_label42_false-unreach-call.c 224    126    6103478272 2180   apollon009 101    66.7   3841110016 998   apollon015 21.3     6.88    595906560 177       apollon147
eca-rers2012/Problem12_label48_false-unreach-call.c 900    634    8550670336 9560   apollon162 101    66.9   2858913792 1040   apollon072 11.1     3.42    338558976 96.5     apollon056
eca-rers2012/Problem12_label50_false-unreach-call.c 512    307    7684235264 4930   apollon038 109    75.6   3867303936 1180   apollon141 22.6     6.96    607526912 186       apollon077
eca-rers2012/Problem12_label51_false-unreach-call.c 901    720    8039452672 12700   apollon056 109    76.6   4069789696 1010   apollon151 21.1     6.78    582541312 195       apollon028
eca-rers2012/Problem12_label52_false-unreach-call.c 900    759    6589071360 11000   apollon087 109    77.2   3925180416 1060   apollon045 21.1     6.61    591679488 183       apollon065
eca-rers2012/Problem12_label55_false-unreach-call.c 195    114    5813506048 2270   apollon044 103    74.3   3883065344 1080   apollon026 22.4     6.76    597364736 168       apollon149
eca-rers2012/Problem13_label04_false-unreach-call.c 900    777    7056248832 9400   apollon139 103    75.4   3445817344 1070   apollon116 34.1     10.7     776830976 282       apollon067
eca-rers2012/Problem13_label06_false-unreach-call.c 901    552    9569943552 7970   apollon166 103    74.4   2894573568 1080   apollon121 34.6     10.8     753762304 287       apollon015
eca-rers2012/Problem13_label07_false-unreach-call.c 900    634    9281486848 10400   apollon094 103    75.2   3662053376 1100   apollon072 34.1     10.9     736120832 251       apollon003
eca-rers2012/Problem13_label11_false-unreach-call.c 901    688    9221222400 10000   apollon031 104    75.6   3077165056 1370   apollon057 33.2     10.4     750272512 286       apollon015
eca-rers2012/Problem13_label12_false-unreach-call.c 908    594    8445636608 9110   apollon031 102    73.3   3113517056 1110   apollon165 10.7     3.33    318988288 90.6     apollon132
eca-rers2012/Problem13_label16_false-unreach-call.c 901    666    8260497408 9050   apollon013 103    73.7   3537522688 1100   apollon082 35.0     11.1     738738176 287       apollon097
eca-rers2012/Problem13_label19_false-unreach-call.c 901    587    9224454144 9010   apollon004 107    76.6   3284111360 1110   apollon135 35.7     11.1     726790144 272       apollon120
eca-rers2012/Problem13_label21_false-unreach-call.c 900    668    8329408512 8990   apollon117 105    76.0   3130699776 1130   apollon011 33.9     10.8     720936960 272       apollon051
eca-rers2012/Problem13_label23_false-unreach-call.c 908    524    9973735424 7100   apollon139 102    74.5   3521908736 1090   apollon107 33.8     10.5     734244864 270       apollon065
eca-rers2012/Problem13_label24_false-unreach-call.c 900    549    10037923840 7960   apollon103 103    74.7   3495542784 1150   apollon015 11.0     3.39    322072576 85.2     apollon133
eca-rers2012/Problem13_label25_false-unreach-call.c 901    484    10438819840 8360   apollon081 102    74.1   3667419136 963   apollon123 34.4     10.8     709296128 295       apollon022
eca-rers2012/Problem13_label28_false-unreach-call.c 901    696    8004677632 8640   apollon054 106    77.4   3165421568 1050   apollon089 34.5     10.8     709623808 276       apollon102
eca-rers2012/Problem13_label29_false-unreach-call.c 901    676    8519331840 9840   apollon004 103    73.3   3610001408 1070   apollon119 34.4     10.5     746995712 314       apollon056
eca-rers2012/Problem13_label30_false-unreach-call.c 900    648    8049131520 9190   apollon074 103    74.8   3851698176 988   apollon029 34.5     10.6     743116800 285       apollon067
eca-rers2012/Problem13_label32_false-unreach-call.c 901    706    7352057856 11000   apollon077 103    76.5   3131809792 1080   apollon116 34.6     10.6     722042880 263       apollon050
eca-rers2012/Problem13_label35_false-unreach-call.c 900    591    9269239808 7550   apollon123 102    76.8   2268880896 1150   apollon032 11.2     3.38    322748416 88.0     apollon078
eca-rers2012/Problem13_label36_false-unreach-call.c 900    689    7831044096 9340   apollon083 102    73.1   3050106880 1330   apollon057 33.6     10.6     760365056 314       apollon056
eca-rers2012/Problem13_label40_false-unreach-call.c 901    365    12635901952 6160   apollon102 102    72.8   3755278336 1090   apollon102 11.0     3.32    314413056 88.6     apollon012
eca-rers2012/Problem13_label43_false-unreach-call.c 902    688    8305618944 9020   apollon023 103    76.9   3208593408 1200   apollon017 33.4     10.4     738660352 272       apollon032
eca-rers2012/Problem13_label44_false-unreach-call.c 900    712    7841185792 11000   apollon167 103    76.2   3306442752 1070   apollon060 32.6     10.1     729960448 288       apollon152
eca-rers2012/Problem13_label45_false-unreach-call.c 901    581    8988827648 8690   apollon009 104    78.0   3438481408 1100   apollon099 12.1     3.68    323166208 93.9     apollon156
eca-rers2012/Problem13_label48_false-unreach-call.c 900    462    10886455296 7170   apollon032 102    72.8   3641856000 1040   apollon012 33.6     10.8     752054272 285       apollon114
eca-rers2012/Problem13_label51_false-unreach-call.c 900    666    7637733376 8640   apollon040 103    74.9   3261374464 1280   apollon148 34.7     10.6     740945920 290       apollon155
eca-rers2012/Problem13_label54_false-unreach-call.c 901    675    8054312960 9470   apollon022 103    74.0   3327623168 1110   apollon004 35.0     10.7     744763392 280       apollon006
eca-rers2012/Problem13_label58_false-unreach-call.c 901    429    11789602816 6880   apollon102 101    74.0   3087429632 1020   apollon117 11.6     3.47    322744320 87.3     apollon072
eca-rers2012/Problem14_label02_false-unreach-call_false-termination.c 206    147    4592218112 2700   apollon125 101    73.5   3692232704 1190   apollon009 18.5     5.97    565739520 162       apollon006
eca-rers2012/Problem14_label08_false-unreach-call_false-termination.c 76.8  35.9  3009105920 865   apollon161 102    71.7   3787788288 1240   apollon108 18.1     5.60    555352064 146       apollon096
eca-rers2012/Problem14_label10_false-unreach-call_false-termination.c 75.1  32.4  2362941440 744   apollon076 102    69.5   3814748160 1330   apollon057 17.9     6.07    574763008 148       apollon073
eca-rers2012/Problem14_label11_false-unreach-call_false-termination.c 82.9  37.3  2510376960 799   apollon168 102    74.1   3712696320 1150   apollon078 19.2     6.59    567672832 160       apollon105
eca-rers2012/Problem14_label12_false-unreach-call_false-termination.c 94.0  48.2  4101263360 912   apollon104 102    72.7   3725533184 1120   apollon095 20.0     6.35    565927936 165       apollon010
eca-rers2012/Problem14_label13_false-unreach-call_false-termination.c 69.4  30.8  2279784448 696   apollon168 102    71.1   3905859584 1030   apollon089 17.5     5.30    558034944 143       apollon006
eca-rers2012/Problem14_label14_false-unreach-call_false-termination.c 900    847    2915082240 11000   apollon050 102    73.3   3723591680 1170   apollon004 18.4     6.54    565567488 165       apollon055
eca-rers2012/Problem14_label18_false-unreach-call_false-termination.c 82.3  36.4  2960031744 795   apollon078 102    77.2   3956133888 1140   apollon135 23.1     6.97    546275328 195       apollon031
eca-rers2012/Problem14_label22_false-unreach-call_false-termination.c 83.2  39.2  3784110080 779   apollon104 101    67.2   3828346880 1060   apollon026 18.3     5.67    557449216 152       apollon024
eca-rers2012/Problem14_label27_false-unreach-call_false-termination.c 81.2  39.0  3157487616 778   apollon053 102    73.2   3807346688 1250   apollon108 17.7     5.82    571449344 149       apollon157
eca-rers2012/Problem14_label28_false-unreach-call_false-termination.c 98.6  50.7  4136083456 942   apollon127 102    75.3   3834126336 1200   apollon009 17.4     5.65    560394240 141       apollon165
eca-rers2012/Problem14_label29_false-unreach-call_false-termination.c 83.9  36.8  2713362432 894   apollon122 102    73.9   3712262144 1190   apollon009 20.1     6.35    570798080 165       apollon024
eca-rers2012/Problem14_label31_false-unreach-call_false-termination.c 86.4  40.9  2814783488 883   apollon070 101    65.5   3761811456 1050   apollon142 19.7     6.16    552665088 155       apollon150
eca-rers2012/Problem14_label34_false-unreach-call_false-termination.c 82.4  35.7  3317043200 775   apollon042 102    73.6   3759095808 1060   apollon099 18.7     5.78    555515904 173       apollon033
eca-rers2012/Problem14_label37_false-unreach-call_false-termination.c 86.5  40.7  3024101376 716   apollon063 102    71.2   3756347392 1100   apollon150 17.4     5.45    565567488 163       apollon163
eca-rers2012/Problem14_label39_false-unreach-call_false-termination.c 75.6  36.1  3172360192 790   apollon006 101    71.6   3774865408 1050   apollon127 21.8     7.41    575471616 181       apollon070
eca-rers2012/Problem14_label40_false-unreach-call_false-termination.c 87.2  43.5  2505703424 988   apollon108 101    69.0   3827568640 1110   apollon082 19.5     6.06    563150848 152       apollon087
eca-rers2012/Problem14_label41_false-unreach-call_false-termination.c 102    50.1  4538220544 1120   apollon164 102    71.3   3829813248 1040   apollon100 18.8     6.14    566333440 146       apollon089
eca-rers2012/Problem14_label43_false-unreach-call_false-termination.c 81.2  37.2  3048919040 812   apollon102 102    70.2   3969552384 1130   apollon067 15.7     4.67    542482432 131       apollon132
eca-rers2012/Problem14_label44_false-unreach-call_false-termination.c 102    50.3  3866521600 1240   apollon021 101    73.7   3694800896 1020   apollon151 18.6     6.02    568766464 170       apollon021
eca-rers2012/Problem14_label52_false-unreach-call_false-termination.c 101    54.1  3455729664 991   apollon083 102    74.4   3726852096 1170   apollon087 18.0     5.65    562532352 148       apollon107
eca-rers2012/Problem14_label54_false-unreach-call_false-termination.c 102    53.6  4568899584 989   apollon134 102    76.7   3713454080 1200   apollon070 21.5     6.63    558682112 178       apollon108
eca-rers2012/Problem14_label56_false-unreach-call_false-termination.c 84.0  40.5  3226341376 952   apollon030 102    74.1   3738451968 1140   apollon150 19.9     6.30    581103616 176       apollon145
eca-rers2012/Problem14_label57_false-unreach-call_false-termination.c 73.3  34.0  2964664320 692   apollon001 101    71.5   3784613888 1150   apollon032 23.3     7.04    559362048 189       apollon153
eca-rers2012/Problem14_label58_false-unreach-call_false-termination.c 468    417    3832676352 5380   apollon116 101    75.4   3706003456 1350   apollon016 18.3     5.90    561672192 142       apollon115
eca-rers2012/Problem15_label00_false-unreach-call.c 901    865    1849905152 9630   apollon158 102    69.0   3349651456 1060   apollon015 19.9     5.65    575721472 150       apollon135
eca-rers2012/Problem15_label02_false-unreach-call.c 901    874    1326272512 12900   apollon125 103    72.1   2986029056 1090   apollon162 30.7     8.86    668672000 229       apollon082
eca-rers2012/Problem15_label03_false-unreach-call.c 137    82.0  4215685120 1500   apollon048 102    65.0   2818785280 982   apollon128 20.3     6.43    568119296 180       apollon163
eca-rers2012/Problem15_label07_false-unreach-call.c 627    559    5219983360 7420   apollon062 102    68.5   2780704768 1050   apollon078 20.0     6.32    571174912 172       apollon005
eca-rers2012/Problem15_label09_false-unreach-call.c 804    744    4859924480 10000   apollon087 101    68.9   3168329728 1070   apollon085 22.2     6.53    581574656 181       apollon015
eca-rers2012/Problem15_label14_false-unreach-call.c 157    94.2  4762701824 1820   apollon088 103    72.7   3475062784 1240   apollon030 29.2     8.50    665198592 237       apollon005
eca-rers2012/Problem15_label15_false-unreach-call.c 570    510    4684943360 7340   apollon020 102    68.0   3205758976 1040   apollon107 21.4     6.63    576929792 169       apollon150
eca-rers2012/Problem15_label18_false-unreach-call_false-termination.c 858    787    5549629440 11600   apollon081 104    69.0   3187466240 1080   apollon156 21.0     5.94    559960064 164       apollon071
eca-rers2012/Problem15_label22_false-unreach-call.c 901    877    1209196544 11700   apollon085 104    70.7   3306246144 1130   apollon141 27.2     7.64    571826176 206       apollon085
eca-rers2012/Problem15_label23_false-unreach-call.c 290    240    4673925120 3520   apollon113 106    76.2   3867430912 1010   apollon123 26.8     7.20    560934912 198       apollon045
eca-rers2012/Problem15_label25_false-unreach-call.c 209    151    4501983232 2250   apollon026 102    66.2   3770150912 1020   apollon150 27.8     8.17    574226432 200       apollon128
eca-rers2012/Problem15_label29_false-unreach-call.c 331    253    5420302336 4050   apollon019 102    65.5   3823120384 1040   apollon102 19.4     5.83    573059072 155       apollon131
eca-rers2012/Problem15_label30_false-unreach-call.c 383    313    5013422080 4300   apollon103 102    67.7   3371020288 1030   apollon053 20.9     6.06    571060224 182       apollon014
eca-rers2012/Problem15_label33_false-unreach-call.c 297    225    5400367104 3190   apollon103 103    68.4   3066548224 1180   apollon007 20.5     5.91    564158464 154       apollon058
eca-rers2012/Problem15_label34_false-unreach-call.c 901    840    4079042560 10500   apollon035 102    66.0   2954731520 1130   apollon077 27.7     8.12    643854336 221       apollon115
eca-rers2012/Problem15_label37_false-unreach-call.c 900    837    5294620672 10500   apollon003 102    70.7   3305091072 1250   apollon014 21.0     6.50    571150336 163       apollon045
eca-rers2012/Problem15_label38_false-unreach-call.c 900    842    4127252480 12500   apollon140 101    67.5   2896482304 1120   apollon112 21.6     6.77    585965568 167       apollon112
eca-rers2012/Problem15_label39_false-unreach-call.c 901    863    2158010368 8870   apollon063 102    66.9   3178024960 1060   apollon072 21.6     6.53    592846848 189       apollon152
eca-rers2012/Problem15_label40_false-unreach-call.c 900    861    2051424256 11600   apollon061 103    69.4   2967285760 1080   apollon146 18.8     5.64    565133312 151       apollon084
eca-rers2012/Problem15_label41_false-unreach-call.c 639    594    3232468992 7680   apollon026 102    67.8   3190972416 1150   apollon091 21.9     7.05    576245760 182       apollon048
eca-rers2012/Problem15_label45_false-unreach-call.c 447    395    3594870784 6100   apollon122 102    66.4   3089002496 1270   apollon057 27.0     7.58    573894656 219       apollon077
eca-rers2012/Problem15_label47_false-unreach-call.c 424    361    5188419584 4810   apollon086 102    66.4   3288174592 993   apollon089 20.2     6.31    568750080 183       apollon106
eca-rers2012/Problem15_label48_false-unreach-call.c 901    865    2340429824 9800   apollon151 103    68.5   3558694912 1030   apollon045 26.4     7.51    569085952 212       apollon067
eca-rers2012/Problem15_label50_false-unreach-call.c 901    838    4519530496 11400   apollon146 101    63.2   3065655296 1020   apollon107 30.1     8.40    618778624 254       apollon124
eca-rers2012/Problem15_label51_false-unreach-call.c 688    643    2703446016 8720   apollon096 104    75.6   3846983680 1310   apollon016 25.4     7.09    606560256 206       apollon132
eca-rers2012/Problem16_label00_false-unreach-call.c 901    854    4566634496 11300   apollon011 112    89.7   1988337664 1170   apollon089 .0131  .0137  999424 .0202  apollon084
eca-rers2012/Problem16_label01_false-unreach-call.c 900    850    3905888256 12700   apollon069 102    62.2   3824599040 1070   apollon076 20.0     6.30    569081856 166       apollon165
eca-rers2012/Problem16_label03_false-unreach-call.c 281    204    5026537472 3140   apollon041 103    65.1   3852247040 1090   apollon152 20.2     6.89    573661184 176       apollon070
eca-rers2012/Problem16_label04_false-unreach-call.c 900    831    4695306240 10600   apollon040 106    69.9   3938975744 1050   apollon002 20.3     6.98    603328512 183       apollon164
eca-rers2012/Problem16_label05_false-unreach-call.c 900    830    5050171392 12500   apollon047 104    68.2   3425861632 1180   apollon019 21.3     7.32    581648384 191       apollon152
eca-rers2012/Problem16_label06_false-unreach-call.c 900    837    4974944256 10900   apollon163 101    67.9   3842584576 1100   apollon015 23.6     7.58    581492736 210       apollon033
eca-rers2012/Problem16_label08_false-unreach-call.c 900    840    4655013888 10500   apollon083 102    65.3   3888943104 968   apollon098 21.2     6.75    568500224 187       apollon163
eca-rers2012/Problem16_label14_false-unreach-call.c 900    842    4958433280 10600   apollon121 103    69.4   3708743680 1100   apollon072 21.5     7.11    583278592 175       apollon042
eca-rers2012/Problem16_label15_false-unreach-call.c 900    844    5091143680 8450   apollon040 103    61.1   3711295488 1010   apollon120 21.6     7.25    574889984 194       apollon028
eca-rers2012/Problem16_label18_false-unreach-call.c 900    836    4733628416 10900   apollon073 102    71.2   3740741632 1310   apollon016 21.8     7.11    578670592 191       apollon028
eca-rers2012/Problem16_label20_false-unreach-call.c 837    753    4981657600 9810   apollon104 112    89.3   1820188672 1210   apollon045 .0121  .0118  847872 .00940 apollon053
eca-rers2012/Problem16_label22_false-unreach-call.c 900    823    4906987520 13100   apollon080 103    70.5   3753250816 1230   apollon167 21.1     6.47    578093056 164       apollon082
eca-rers2012/Problem16_label27_false-unreach-call.c 900    837    4873568256 10400   apollon120 104    67.6   3831992320 1030   apollon079 19.0     5.46    570175488 150       apollon017
eca-rers2012/Problem16_label30_false-unreach-call.c 900    839    4716961792 9800   apollon166 105    72.1   3881861120 1040   apollon099 19.7     5.50    569495552 152       apollon131
eca-rers2012/Problem16_label31_false-unreach-call.c 557    482    4743057408 6470   apollon060 106    70.7   3890802688 1130   apollon102 20.1     6.33    577978368 166       apollon113
eca-rers2012/Problem16_label33_false-unreach-call.c 900    841    4813914112 10600   apollon031 105    65.7   3932274688 1110   apollon084 21.1     6.23    573198336 152       apollon134
eca-rers2012/Problem16_label37_false-unreach-call.c 900    846    4848623616 11500   apollon071 102    65.2   3914637312 948   apollon123 18.9     6.09    571392000 178       apollon008
eca-rers2012/Problem16_label38_false-unreach-call.c 900    841    4684505088 12400   apollon068 106    74.5   3923664896 1190   apollon093 19.4     6.30    565981184 163       apollon166
eca-rers2012/Problem16_label41_false-unreach-call.c 900    843    4971499520 9600   apollon092 103    67.9   3817046016 1060   apollon107 19.9     6.19    573575168 164       apollon070
eca-rers2012/Problem16_label43_false-unreach-call.c 900    836    4880756736 11100   apollon103 104    66.6   3683627008 954   apollon151 21.2     6.94    576630784 194       apollon059
eca-rers2012/Problem16_label44_false-unreach-call.c 900    849    4673445888 10700   apollon116 104    68.7   3871711232 1140   apollon084 19.9     6.17    577302528 155       apollon082
eca-rers2012/Problem16_label46_false-unreach-call.c 900    835    4880101376 10900   apollon090 106    67.8   3895021568 1130   apollon009 21.6     6.58    568414208 188       apollon028
eca-rers2012/Problem16_label51_false-unreach-call.c 900    833    4849958912 10700   apollon003 104    65.6   3796930560 996   apollon098 22.4     7.22    584658944 188       apollon005
eca-rers2012/Problem16_label52_false-unreach-call.c 900    842    4947824640 8910   apollon098 102    61.3   3854917632 1060   apollon141 20.2     6.35    589811712 150       apollon054
eca-rers2012/Problem16_label54_false-unreach-call.c 900    836    4677357568 12900   apollon094 102    65.9   3749208064 1010   apollon100 23.3     8.07    597127168 189       apollon072
eca-rers2012/Problem17_label04_false-unreach-call.c 900    881    632504320 11500   apollon087 102    69.9   3092475904 949   apollon054 29.9     8.15    664412160 238       apollon031
eca-rers2012/Problem17_label07_false-unreach-call.c 900    846    3095859200 10200   apollon127 103    67.4   3428421632 1050   apollon095 28.1     8.16    701411328 223       apollon077
eca-rers2012/Problem17_label09_false-unreach-call.c 900    850    2325479424 11100   apollon051 102    65.9   3544944640 1050   apollon082 25.9     7.58    577695744 200       apollon131
eca-rers2012/Problem17_label13_false-unreach-call.c 900    853    2553528320 10900   apollon110 103    65.9   2767486976 1030   apollon107 28.5     8.04    695513088 245       apollon161
eca-rers2012/Problem17_label16_false-unreach-call.c 901    884    647720960 9740   apollon158 102    71.0   2543337472 1050   apollon042 28.3     8.15    704176128 227       apollon102
eca-rers2012/Problem17_label20_false-unreach-call.c 901    885    831651840 12300   apollon136 101    67.9   2766225408 1340   apollon039 22.0     7.43    585797632 197       apollon163
eca-rers2012/Problem17_label23_false-unreach-call.c 900    840    4634038272 12500   apollon014 108    77.4   3378860032 1060   apollon127 29.4     8.21    648073216 225       apollon012
eca-rers2012/Problem17_label25_false-unreach-call.c 901    835    4280471552 12200   apollon077 101    65.2   3015262208 1000   apollon053 26.6     7.65    574373888 229       apollon088
eca-rers2012/Problem17_label26_false-unreach-call.c