Tool TBF 0.1-dev 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-104-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 2017-12-28 17:42:24 CET 2018-02-06 16:22:09 CET 2018-02-08 03:18:28 CET
Run set tbf_ex.klee congen.predicate conditions-predicate-reducer-verifiers.Klee
Options -i klee --execution -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 klee
../../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 3.57  3.40  32120832 53.9  apollon163 2.52 1.07  272412672 23.6 apollon152 2.18    1.11    189374464 20.2     apollon075
array-examples/sorting_bubblesort_false-unreach-call2_ground.i 945     900     32161792 13100    apollon090 2.48 1.06  266936320 22.8 apollon077 950       897       183250944 15400       apollon016
array-examples/sorting_bubblesort_false-unreach-call_ground.i 948     900     32161792 13200    apollon150 2.58 1.06  271364096 23.2 apollon146 950       902       189513728 13300       apollon050
array-examples/sorting_selectionsort_false-unreach-call2_ground.i 945     900     32092160 13200    apollon034 2.52 1.05  273469440 25.9 apollon021 950       899       186961920 12200       apollon117
array-examples/sorting_selectionsort_false-unreach-call_ground.i 946     900     31997952 12800    apollon079 2.51 1.10  269996032 22.5 apollon070 950       901       190169088 14400       apollon112
array-examples/standard_allDiff2_false-unreach-call_ground.i 946     900     31891456 12500    apollon116 2.55 1.02  272674816 20.6 apollon100 950       900       186302464 15300       apollon126
array-examples/standard_copy1_false-unreach-call_ground.i 950     899     85848064 11900    apollon050 2.47 1.04  270622720 21.5 apollon012 950       899       180740096 14200       apollon094
array-examples/standard_copy2_false-unreach-call_ground.i 948     900     91250688 12900    apollon152 2.63 1.07  266743808 24.9 apollon044 950       900       180518912 11300       apollon041
array-examples/standard_copy3_false-unreach-call_ground.i 949     900     90857472 12000    apollon157 2.54 1.10  266362880 21.5 apollon157 950       900       184676352 12700       apollon093
array-examples/standard_copy4_false-unreach-call_ground.i 946     900     90677248 12500    apollon145 2.57 1.05  271839232 23.3 apollon112 950       901       185774080 11600       apollon104
array-examples/standard_copy5_false-unreach-call_ground.i 950     900     91267072 12200    apollon074 2.76 1.09  293363712 23.0 apollon025 950       903       178786304 13200       apollon141
array-examples/standard_copy6_false-unreach-call_ground.i 950     899     92979200 12500    apollon093 2.47 1.03  267083776 22.3 apollon120 950       903       184766464 13600       apollon064
array-examples/standard_copy7_false-unreach-call_ground.i 950     900     90595328 12300    apollon165 2.52 1.07  271093760 25.7 apollon057 950       903       184168448 13500       apollon010
array-examples/standard_copy8_false-unreach-call_ground.i 945     900     91234304 12500    apollon004 2.74 1.13  269246464 23.6 apollon015 950       897       190582784 12400       apollon142
array-examples/standard_copy9_false-unreach-call_ground.i 950     900     96874496 11600    apollon137 2.61 1.06  270417920 21.9 apollon045 950       902       192032768 12100       apollon144
array-examples/standard_copyInitSum2_false-unreach-call_ground.i 1.93  1.89  31985664 24.3  apollon166 2.44 1.04  267759616 21.5 apollon085 3.80    2.72    182910976 46.9     apollon094
array-examples/standard_init1_false-unreach-call_ground.i .655 .669 31928320 7.90 apollon137 2.45 1.04  267902976 20.9 apollon157 2.51    1.48    184389632 23.3     apollon041
array-examples/standard_init2_false-unreach-call_ground.i 1.10  1.09  32096256 14.4  apollon065 2.38 1.03  268550144 22.5 apollon067 2.94    1.90    179539968 31.4     apollon051
array-examples/standard_init3_false-unreach-call_ground.i 1.50  1.51  32227328 18.8  apollon154 2.47 1.02  271982592 25.8 apollon021 3.48    2.33    177016832 43.7     apollon057
array-examples/standard_init4_false-unreach-call_ground.i 1.88  1.89  32174080 22.7  apollon040 2.61 1.08  274423808 20.3 apollon089 3.71    2.61    181231616 41.9     apollon075
array-examples/standard_init5_false-unreach-call_ground.i 2.27  2.19  32137216 28.4  apollon115 2.56 1.04  266813440 22.3 apollon118 4.24    3.14    180686848 48.4     apollon154
array-examples/standard_init6_false-unreach-call_ground.i 2.64  2.57  32051200 38.6  apollon140 2.57 1.05  267812864 23.4 apollon152 4.64    3.40    183914496 60.5     apollon014
array-examples/standard_init7_false-unreach-call_ground.i 3.20  3.11  33931264 47.6  apollon081 2.48 1.04  269676544 25.6 apollon021 5.08    3.82    186413056 54.4     apollon029
array-examples/standard_init8_false-unreach-call_ground.i 3.55  3.42  31952896 48.1  apollon101 2.50 1.06  268128256 21.8 apollon018 5.58    4.31    183971840 66.8     apollon118
array-examples/standard_init9_false-unreach-call_ground.i 3.97  3.80  31965184 57.6  apollon077 2.54 1.05  269008896 26.2 apollon039 6.00    4.68    183250944 70.4     apollon035
array-examples/standard_minInArray_false-unreach-call_ground.i .773 .758 32022528 12.3  apollon039 2.61 1.02  267812864 23.6 apollon015 2.76    1.62    177618944 30.9     apollon014
array-examples/standard_partition_false-unreach-call_ground.i 1.19  1.18  32002048 16.7  apollon091 2.51 1.06  268705792 21.6 apollon082 3.07    2.00    184102912 33.1     apollon133
array-examples/standard_running_false-unreach-call.i 1.80  1.77  32116736 26.1  apollon141 2.64 1.07  264208384 21.3 apollon053 3.69    2.60    187551744 49.8     apollon161
array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i 2.07  2.01  32198656 29.5  apollon081 2.60 1.06  272642048 20.8 apollon151 2.29    1.13    194793472 22.5     apollon071
array-examples/data_structures_set_multi_proc_true-unreach-call_ground.i 2.15  2.11  31985664 27.1  apollon023 2.47 1.06  266264576 20.2 apollon117 2.20    1.11    187015168 22.0     apollon148
array-examples/relax_true-unreach-call.i 1.74  1.69  2162016256 23.4  apollon108 6.31 2.05  316092416 54.9 apollon007 3.86    1.58    248242176 39.9     apollon106
array-examples/sanfoundry_02_true-unreach-call_ground.i 2.89  2.80  32047104 42.7  apollon020 2.54 1.05  269328384 20.6 apollon099 4.86    3.67    186343424 60.3     apollon009
array-examples/sanfoundry_10_true-unreach-call_ground.i 2.05  1.99  32088064 26.9  apollon001 101    73.5   3730948096 1140   apollon018 4.97    3.05    226480128 51.8     apollon035
array-examples/sanfoundry_24_true-unreach-call_true-termination.i 951     890     755961856 11400    apollon150 2.46 1.05  268558336 22.1 apollon084 951       885       730083328 10600       apollon040
array-examples/sanfoundry_27_true-unreach-call_ground.i 1.66  1.58  32243712 20.3  apollon040 2.48 1.06  265367552 21.5 apollon072 3.64    2.43    180895744 36.1     apollon123
array-examples/sanfoundry_43_true-unreach-call_ground.i 1.63  1.56  31830016 23.7  apollon114 2.53 1.05  266354688 25.7 apollon160 .00870 .00892 802816 .00818 apollon076
array-examples/sorting_bubblesort_true-unreach-call_ground.i 946     900     32239616 14200    apollon048 2.53 1.08  269271040 21.5 apollon157 950       903       187224064 13600       apollon049
array-examples/sorting_selectionsort_true-unreach-call_ground.i 950     900     32055296 14100    apollon112 2.50 1.04  269221888 21.7 apollon026 950       902       183238656 13300       apollon129
array-examples/standard_compareModified_true-unreach-call_ground.i 3.09  2.99  32165888 39.6  apollon149 2.37 1.05  269266944 21.6 apollon087 5.10    3.91    184139776 57.6     apollon166
array-examples/standard_compare_true-unreach-call_ground.i 1.96  1.90  32083968 25.4  apollon074 2.49 1.04  266219520 21.2 apollon002 3.80    2.59    181837824 51.1     apollon044
array-examples/standard_copy1_true-unreach-call_ground.i 947     900     85123072 12000    apollon156 2.46 1.06  264511488 21.5 apollon072 950       902       180842496 15400       apollon039
array-examples/standard_copy2_true-unreach-call_ground.i 946     900     86155264 14500    apollon016 2.68 1.09  274247680 19.3 apollon158 950       903       182374400 13800       apollon081
array-examples/standard_copy3_true-unreach-call_ground.i 949     900     88457216 11800    apollon131 2.48 1.05  263942144 23.7 apollon161 950       900       182386688 11700       apollon026
array-examples/standard_copy4_true-unreach-call_ground.i 950     899     83562496 13500    apollon130 2.50 1.07  270069760 22.7 apollon093 950       903       183549952 12600       apollon096
array-examples/standard_copy5_true-unreach-call_ground.i 950     900     88174592 12200    apollon049 2.54 1.08  270479360 23.8 apollon020 950       900       191283200 13400       apollon007
array-examples/standard_copy6_true-unreach-call_ground.i 948     900     90882048 14600    apollon057 2.49 1.05  264380416 24.6 apollon081 950       903       185229312 13000       apollon071
array-examples/standard_copy7_true-unreach-call_ground.i 950     900     99966976 12100    apollon121 2.72 1.06  294158336 23.9 apollon120 950       900       182050816 13200       apollon020
array-examples/standard_copy8_true-unreach-call_ground.i 950     900     92495872 13300    apollon064 2.65 1.05  291987456 24.5 apollon077 950       900       179453952 12100       apollon157
array-examples/standard_copy9_true-unreach-call_ground.i 947     900     91643904 13100    apollon046 2.56 1.06  270852096 22.6 apollon084 950       902       192098304 11700       apollon116
array-examples/standard_copyInitSum2_true-unreach-call_ground.i 2.76  2.71  32047104 39.7  apollon009 2.56 1.04  271286272 21.4 apollon045 4.61    3.49    179679232 59.3     apollon091
array-examples/standard_copyInitSum3_true-unreach-call_ground.i 3.50  3.39  32120832 47.9  apollon051 2.48 1.06  270450688 21.2 apollon082 5.44    4.21    182030336 64.0     apollon137
array-examples/standard_copyInitSum_true-unreach-call_ground.i 2.84  2.69  57249792 47.1  apollon021 2.49 1.05  270446592 24.7 apollon106 4.72    3.50    179490816 57.8     apollon121
array-examples/standard_copyInit_true-unreach-call_ground.i 1.94  1.86  32251904 28.8  apollon024 2.46 1.09  266682368 24.3 apollon030 3.89    2.79    183721984 47.2     apollon148
array-examples/standard_find_true-unreach-call_ground.i 948     900     84348928 13800    apollon122 2.48 1.05  268480512 25.1 apollon057 950       900       178794496 12800       apollon052
array-examples/standard_init1_true-unreach-call_ground.i 1.39  1.37  32096256 21.1  apollon069 2.48 1.03  265166848 21.4 apollon095 3.27    2.20    181182464 39.7     apollon030
array-examples/standard_init2_true-unreach-call_ground.i 1.85  1.77  31965184 23.9  apollon135 2.59 1.06  271470592 19.1 apollon092 3.74    2.63    181895168 43.0     apollon067
array-examples/standard_init3_true-unreach-call_ground.i 2.23  2.20  32104448 29.3  apollon147 2.48 1.02  269938688 21.0 apollon058 4.21    3.06    179548160 50.1     apollon007
array-examples/standard_init4_true-unreach-call_ground.i 2.64  2.61  31981568 35.1  apollon062 2.47 1.04  266502144 20.6 apollon127 4.57    3.31    179576832 50.4     apollon073
array-examples/standard_init5_true-unreach-call_ground.i 3.06  3.00  32235520 41.6  apollon113 2.58 1.07  267907072 22.5 apollon142 4.93    3.72    179507200 58.1     apollon133
array-examples/standard_init6_true-unreach-call_ground.i 3.47  3.30  32047104 45.3  apollon153 2.44 1.05  267489280 20.0 apollon098 5.30    4.12    179871744 73.7     apollon047
array-examples/standard_init7_true-unreach-call_ground.i 3.88  3.71  31916032 52.5  apollon150 2.51 1.08  267612160 19.6 apollon151 5.78    4.55    181993472 79.3     apollon164
array-examples/standard_init8_true-unreach-call_ground.i 4.24  4.13  32165888 45.6  apollon063 2.49 1.04  270630912 23.9 apollon047 6.20    4.83    186400768 76.5     apollon051
array-examples/standard_init9_true-unreach-call_ground.i 4.62  4.50  31952896 67.5  apollon132 2.51 1.04  266563584 20.3 apollon043 6.62    5.23    182599680 91.1     apollon014
array-examples/standard_maxInArray_true-unreach-call_ground.i 1.59  1.57  31854592 21.2  apollon153 2.48 1.03  268001280 22.4 apollon168 3.51    2.40    182583296 37.3     apollon066
array-examples/standard_minInArray_true-unreach-call_ground.i 1.64  1.60  31870976 22.6  apollon138 2.65 1.04  269180928 21.1 apollon042 3.49    2.43    186195968 42.0     apollon006
array-examples/standard_palindrome_true-unreach-call_ground.i 1.08  1.11  32153600 11.4  apollon151 2.54 1.05  273584128 19.8 apollon151 3.00    1.91    186589184 36.1     apollon161
array-examples/standard_partial_init_true-unreach-call_ground.i 3.24  3.20  32141312 47.3  apollon084 2.67 1.11  270290944 25.1 apollon106 5.16    3.90    180813824 57.7     apollon134
array-examples/standard_partition_original_true-unreach-call_ground.i 2.03  2.00  32096256 27.0  apollon090 2.73 1.17  270344192 22.4 apollon168 4.02    2.83    187924480 46.8     apollon145
array-examples/standard_partition_true-unreach-call_ground.i 1.66  1.59  32161792 23.7  apollon007 2.50 1.05  271712256 21.1 apollon053 3.63    2.54    181121024 41.9     apollon113
array-examples/standard_password_true-unreach-call_ground.i 1.91  1.90  32161792 27.6  apollon007 2.42 1.03  269025280 22.2 apollon038 3.73    2.60    177688576 34.6     apollon063
array-examples/standard_reverse_true-unreach-call_ground.i 1.87  1.80  32137216 24.8  apollon070 2.55 1.06  269656064 24.2 apollon161 3.76    2.61    187330560 41.5     apollon154
array-examples/standard_running_true-unreach-call.i 1.84  1.81  32092160 23.2  apollon120 2.48 1.05  271241216 20.7 apollon133 3.76    2.62    181248000 38.7     apollon149
array-examples/standard_sentinel_true-unreach-call_true-termination.i 1.04  .970 151261184 11.2  apollon032 2.45 1.03  268648448 22.5 apollon032 2.88    1.80    176398336 28.2     apollon066
array-examples/standard_seq_init_true-unreach-call_ground.i 1.84  1.79  32018432 23.1  apollon116 2.47 1.06  270946304 21.4 apollon042 3.71    2.60    181100544 41.8     apollon024
array-examples/standard_strcmp_true-unreach-call_ground.i 2.05  1.98  32206848 28.1  apollon138 2.66 1.05  295841792 24.4 apollon076 2.09    1.12    183001088 18.7     apollon137
array-examples/standard_strcpy_original_true-unreach-call.i 947     900     84652032 13900    apollon008 2.57 1.07  264450048 23.6 apollon081 950       901       181985280 12700       apollon022
array-examples/standard_strcpy_true-unreach-call_ground.i 949     900     84533248 11800    apollon103 2.48 1.02  269180928 23.9 apollon007 950       899       184594432 13800       apollon122
array-examples/standard_two_index_01_true-unreach-call.i 13.8   13.2   50339840 206    apollon059 2.47 1.03  271372288 24.1 apollon014 15.6     14.0     186531840 204       apollon095
array-examples/standard_two_index_02_true-unreach-call.i 947     900     84320256 11700    apollon025 2.55 1.06  266633216 22.9 apollon167 950       899       185769984 13800       apollon028
array-examples/standard_two_index_03_true-unreach-call.i 13.7   13.0   50180096 178    apollon049 2.57 1.06  266534912 20.9 apollon025 15.6     13.8     183025664 217       apollon164
array-examples/standard_two_index_04_true-unreach-call.i 950     900     85975040 12800    apollon152 2.53 1.04  268087296 25.4 apollon057 950       900       182927360 12100       apollon001
array-examples/standard_two_index_05_true-unreach-call.i 947     900     86532096 13400    apollon155 2.46 1.02  268779520 20.8 apollon058 950       901       187379712 12400       apollon078
array-examples/standard_two_index_06_true-unreach-call.i 13.5   12.9   50544640 180    apollon052 2.44 1.04  266018816 20.2 apollon123 15.6     13.8     182812672 190       apollon090
array-examples/standard_two_index_07_true-unreach-call.i 948     900     86958080 12000    apollon120 2.48 1.04  269139968 22.3 apollon142 950       899       184938496 13000       apollon152
array-examples/standard_two_index_08_true-unreach-call.i 950     900     82579456 11600    apollon104 2.51 1.04  269012992 22.7 apollon032 950       897       178520064 11300       apollon053
array-examples/standard_two_index_09_true-unreach-call.i 948     900     86712320 11700    apollon012 2.50 1.05  267792384 21.2 apollon157 950       897       180346880 11900       apollon073
array-examples/standard_vararg_true-unreach-call_ground_true-termination.i .257 .288 32124928 2.52 apollon166 2.47 1.03  272302080 21.7 apollon004 2.15    1.09    180396032 24.0     apollon036
array-examples/standard_vector_difference_true-unreach-call_ground.i 2.20  2.19  31993856 33.8  apollon047 2.44 1.03  263282688 22.9 apollon015 4.02    2.89    183869440 44.7     apollon003
array-industry-pattern/array_assert_loop_dep_false-unreach-call_true-termination.i .665 .694 32100352 7.42 apollon143 2.58 1.05  270540800 25.9 apollon039 2.60    1.49    178212864 29.8     apollon160
array-industry-pattern/array_of_struct_loop_dep_false-unreach-call.i .675 .700 32043008 7.90 apollon149 101    72.2   3686895616 1160   apollon141 3.38    1.74    222560256 29.4     apollon143
array-industry-pattern/array_ptr_single_elem_init_false-unreach-call_true-termination.i 950     900     2877190144 12000    apollon033 2.56 1.10  267821056 21.8 apollon011 950       897       2905382912 10800       apollon002
array-industry-pattern/array_range_init_false-unreach-call.i .927 .975 32083968 15.0  apollon057 2.48 1.04  265711616 22.6 apollon168 2.85    1.80    182308864 31.1     apollon064
array-industry-pattern/array_single_elem_init_false-unreach-call_true-termination.i 950     900     2992648192 13300    apollon122 2.49 1.04  269717504 24.6 apollon016 950       901       2895728640 11500       apollon012
array-industry-pattern/check_removal_from_set_after_insertion_false-unreach-call.i 2.82  2.70  32088064 40.7  apollon068 101    71.3   3689865216 1060   apollon025 5.30    2.07    262819840 44.5     apollon004
array-industry-pattern/array_monotonic_true-unreach-call_true-termination.i 950     900     6572244992 12000    apollon067 2.51 1.08  267730944 21.8 apollon121 950       900       6538346496 10500       apollon139
array-industry-pattern/array_mul_init_true-unreach-call_true-termination.i 950     899     10636611584 10700    apollon040 2.46 1.04  265089024 21.1 apollon157 951       895       10006351872 11600       apollon163
array-industry-pattern/array_of_struct_break_true-unreach-call.i 3.46  3.32  32129024 49.7  apollon138 101    73.8   3707666432 1050   apollon100 5.67    4.18    222855168 65.5     apollon133
array-industry-pattern/array_of_struct_ptr_cond_init_true-unreach-call.i 950     900     3123412992 11700    apollon162 101    77.5   3476049920 1180   apollon085 4.25    1.79    321753088 35.5     apollon013
array-industry-pattern/array_of_struct_ptr_flag_init_true-unreach-call.i 1.99  1.89  52584448 24.8  apollon137 101    74.5   3696898048 1040   apollon128 4.02    1.48    255811584 32.0     apollon035
array-industry-pattern/array_of_struct_ptr_monotonic_true-unreach-call.i 950     900     3314208768 9210    apollon063 101    78.2   3546808320 1180   apollon011 951       758       246382592 11000       apollon108
array-industry-pattern/array_of_struct_ptr_mul_init_true-unreach-call.i 950     900     5354696704 12300    apollon101 101    72.5   3717758976 1100   apollon156 950       895       5943861248 12400       apollon033
array-industry-pattern/array_of_struct_single_elem_init_true-unreach-call.i 948     900     56688640 13500    apollon047 101    73.4   3714146304 975   apollon054 950       901       223916032 11500       apollon040
array-industry-pattern/array_ptr_partial_init_true-unreach-call.i 1.44  1.38  36892672 19.2  apollon071 101    74.9   3696025600 1100   apollon012 3.71    2.33    226258944 38.8     apollon078
array-industry-pattern/array_ptr_single_elem_init_true-unreach-call.i 950     900     2652229632 10300    apollon092 101    75.4   3036516352 1050   apollon128 951       807       352079872 10200       apollon066
array-industry-pattern/array_shadowinit_true-unreach-call_true-termination.i 16.1   14.4   4334858240 155    apollon011 101    76.0   3866857472 1240   apollon140 1.83    .768   171560960 16.6     apollon034
reducercommutativity/rangesum05_false-unreach-call_true-termination.i .291 .382 32022528 3.44 apollon147 7.69 2.37  413929472 56.8 apollon043 .00759 .0122  1089536 .00000 apollon038
reducercommutativity/rangesum10_false-unreach-call_true-termination.i .332 .413 32256000 3.17 apollon086 12.5  3.47  480616448 107   apollon125 .00953 .00956 839680 .00519 apollon139
reducercommutativity/rangesum20_false-unreach-call.i .361 .375 45772800 4.48 apollon155 31.2  7.98  1050562560 247   apollon018 .0170  .0168  901120 .00232 apollon063
reducercommutativity/rangesum40_false-unreach-call.i .413 .503 47681536 4.28 apollon117 59.3  28.1   2526670848 580   apollon152 .00857 .00900 802816 .00891 apollon116
reducercommutativity/rangesum60_false-unreach-call.i .445 .502 50585600 4.60 apollon104 101    62.0   3709898752 998   apollon086 6.29    2.29    370847744 56.2     apollon155
reducercommutativity/rangesum_false-unreach-call_true-termination.i 2.72  2.50  4328890368 31.9  apollon067 8.10 2.38  463929344 73.3 apollon057 .00868 .0135  716800 .00378 apollon133
reducercommutativity/avg05_true-unreach-call_true-termination.i .245 .266 31997952 2.79 apollon086 101    71.8   4092358656 1120   apollon020 2.57    1.19    227332096 26.9     apollon111
reducercommutativity/avg10_true-unreach-call_true-termination.i .266 .286 32256000 2.81 apollon076 101    67.7   4059254784 878   apollon158 2.53    1.18    221679616 25.0     apollon019
reducercommutativity/avg20_true-unreach-call.i .238 .257 31821824 2.81 apollon095 101    61.5   2672193536 894   apollon009 2.75    1.22    228286464 26.6     apollon140
reducercommutativity/avg40_true-unreach-call.i .239 .256 31944704 3.34 apollon088 65.4  32.7   2740805632 684   apollon030 .0182  .0176  1019904 .00427 apollon012
reducercommutativity/avg60_true-unreach-call.i .266 .280 32317440 2.81 apollon135 101    70.1   3723132928 1230   apollon007 5.51    1.93    269111296 47.3     apollon059
reducercommutativity/avg_true-unreach-call_true-termination.i 14.2   12.8   4333047808 161    apollon091 101    70.6   4207607808 984   apollon040 2.33    1.15    187887616 24.3     apollon080
reducercommutativity/max05_true-unreach-call_true-termination.i 2.64  2.50  32219136 23.2  apollon063 101    82.2   1129910272 796   apollon101 2.58    1.20    227381248 25.1     apollon164
reducercommutativity/max10_true-unreach-call_true-termination.i 197     184     70320128 2260    apollon090 102    81.1   1571536896 1150   apollon085 3.85    1.53    249462784 32.2     apollon026
reducercommutativity/max20_true-unreach-call.i 950     896     386269184 12300    apollon164 102    59.7   3975331840 1160   apollon160 4.54    1.70    263286784 41.6     apollon167
reducercommutativity/max40_true-unreach-call.i 950     896     431443968 12700    apollon163 65.6  33.5   2954465280 555   apollon158 .0125  .0123  880640 .00421 apollon014
reducercommutativity/max60_true-unreach-call.i 951     895     461991936 11900    apollon163 101    70.4   3720253440 1150   apollon052 1.80    .780   169902080 17.7     apollon067
reducercommutativity/max_true-unreach-call_true-termination.i 16.8   14.9   4337815552 131    apollon014 101    78.1   3196026880 1100   apollon162 2.49    1.16    227307520 27.2     apollon021
reducercommutativity/sep05_true-unreach-call_true-termination.i .365 .357 31977472 4.13 apollon040 101    73.4   3047858176 879   apollon076 2.75    1.23    225402880 27.2     apollon068
reducercommutativity/sep10_true-unreach-call.i 1.18  1.06  31911936 15.7  apollon094 101    79.6   2550169600 1090   apollon045 4.00    1.60    255942656 38.3     apollon080
reducercommutativity/sep20_true-unreach-call.i 950     882     2795155456 6710    apollon099 101    38.3   3863842816 771   apollon005 4.65    1.82    270618624 41.4     apollon087
reducercommutativity/sep40_true-unreach-call.i 950     900     2697252864 13100    apollon167 68.5  36.4   3073941504 653   apollon107 .0183  .0181  929792 .00500 apollon058
reducercommutativity/sep60_true-unreach-call.i 950     900     2759925760 12500    apollon020 101    68.4   3695423488 1020   apollon002 6.68    2.37    397496320 57.3     apollon107
reducercommutativity/sep_true-unreach-call_true-termination.i 12.7   11.4   4337647616 99.6  apollon120 101    70.5   3884142592 1100   apollon018 2.55    1.18    220471296 23.5     apollon121
reducercommutativity/sum05_true-unreach-call_true-termination.i .269 .292 32260096 2.53 apollon002 101    80.1   3679051776 1130   apollon086 2.70    1.23    222543872 26.7     apollon148
reducercommutativity/sum10_true-unreach-call_true-termination.i .271 .366 35426304 2.88 apollon117 101    70.7   4019585024 1120   apollon071 2.51    1.20    227332096 22.2     apollon025
reducercommutativity/sum20_true-unreach-call.i .239 .259 31993856 2.73 apollon116 101    62.1   2938724352 817   apollon092 2.92    1.30    224882688 26.2     apollon153
reducercommutativity/sum40_true-unreach-call.i .272 .288 32251904 2.85 apollon118 62.7  31.0   2867589120 603   apollon120 .0106  .0103  1036288 .00946 apollon137
reducercommutativity/sum60_true-unreach-call.i .274 .288 31997952 2.90 apollon102 101    71.0   3711438848 1110   apollon162 5.54    2.07    299528192 54.0     apollon036
reducercommutativity/sum_true-unreach-call_true-termination.i 21.0   18.6   4340064256 152    apollon130 101    76.1   3641413632 1170   apollon038 2.38    1.13    221188096 20.4     apollon099
array-tiling/mlceu_false-unreach-call.i 13.7   12.3   4332683264 99.9  apollon023 3.63 1.50  282714112 31.9 apollon084 16.7     13.7     4339163136 141       apollon147
array-tiling/skippedu_false-unreach-call.i 2.70  2.47  4336914432 38.1  apollon021 3.63 1.44  288727040 31.1 apollon026 .00877 .00927 815104 .00995 apollon155
array-tiling/mbpr2_true-unreach-call.i 2.72  2.49  4331053056 35.2  apollon019 101    67.8   3743059968 1150   apollon081 5.01    3.36    4338954240 53.7     apollon095
array-tiling/mbpr3_true-unreach-call.i 2.77  2.59  4335730688 38.0  apollon016 101    65.5   3797508096 1140   apollon007 5.10    3.49    4338561024 48.4     apollon139
array-tiling/mbpr4_true-unreach-call.i 2.73  2.49  4333449216 29.5  apollon099 101    68.1   3704430592 958   apollon151 5.14    3.51    4329934848 58.8     apollon047
array-tiling/mbpr5_true-unreach-call.i 2.71  2.47  4331581440 37.8  apollon080 101    72.4   3754287104 1260   apollon014 1.81    .800   174039040 17.7     apollon076
array-tiling/nr2_true-unreach-call.i 2.74  2.51  4332953600 31.3  apollon120 101    69.6   3708661760 1020   apollon042 5.28    3.53    4337463296 53.0     apollon079
array-tiling/nr3_true-unreach-call.i 2.73  2.49  4333023232 30.4  apollon003 101    72.0   3858083840 1190   apollon167 4.94    3.39    4337664000 58.5     apollon036
array-tiling/nr4_true-unreach-call.i 2.71  2.47  4333133824 32.5  apollon018 101    69.1   3838636032 1040   apollon034 4.80    3.34    4337033216 49.6     apollon104
array-tiling/nr5_true-unreach-call.i 2.71  2.47  4337577984 29.5  apollon043 101    64.7   3552428032 894   apollon158 4.86    3.32    4343107584 62.8     apollon021
array-tiling/pnr2_true-unreach-call.i 2.70  2.56  4329193472 51.5  apollon106 101    70.1   3902996480 1130   apollon146 4.87    3.46    4329697280 61.6     apollon039
array-tiling/pnr3_true-unreach-call.i 2.70  2.47  4329701376 31.7  apollon110 101    61.8   4284567552 1070   apollon091 4.80    3.34    4337111040 51.4     apollon075
array-tiling/pnr4_true-unreach-call.i 2.74  2.49  4344049664 35.9  apollon036 101    65.1   4213096448 1030   apollon146 4.82    3.34    4332462080 50.8     apollon012
array-tiling/pnr5_true-unreach-call.i 2.69  2.47  4336967680 35.4  apollon069 105    58.6   4311687168 965   apollon082 4.95    3.51    4343648256 55.3     apollon020
array-tiling/poly1_true-unreach-call.i 18.7   16.7   4341161984 153    apollon147 101    75.9   2480005120 992   apollon079 25.2     21.3     4347596800 161       apollon134
array-tiling/poly2_true-unreach-call.i .341 .406 32100352 3.75 apollon122 101    70.5   3057106944 999   apollon002 2.39    1.13    190496768 22.6     apollon046
array-tiling/pr2_true-unreach-call.i 2.70  2.47  4329676800 33.2  apollon071 101    71.5   3607281664 1170   apollon164 5.01    3.37    4338360320 51.0     apollon001
array-tiling/pr3_true-unreach-call.i 2.73  2.47  4332732416 33.7  apollon064 101    76.4   3561402368 1100   apollon079 5.61    3.61    4337561600 62.1     apollon159
array-tiling/pr4_true-unreach-call.i 2.75  2.59  4335951872 34.1  apollon112 101    72.8   3111403520 1090   apollon078 5.44    3.57    4332707840 51.6     apollon043
array-tiling/pr5_true-unreach-call.i 2.70  2.47  4335366144 35.7  apollon130 101    76.9   3330641920 1260   apollon019 6.01    3.72    4334534656 55.2     apollon134
array-tiling/revcpyswp2_true-unreach-call.i 7.67  6.98  14999998464 87.7  apollon129 101    75.9   3419410432 1100   apollon086 9.92    7.93    14999998464 121       apollon006
array-tiling/rew_true-unreach-call.i 12.7   11.3   4335140864 88.8  apollon086 102    68.0   3862368256 1050   apollon058 17.6     15.6     4333182976 196       apollon147
array-tiling/rewnif_true-unreach-call.i 11.7   10.5   4335058944 98.7  apollon135 101    71.0   3374350336 1250   apollon044 19.6     16.0     4341542912 117       apollon078
array-tiling/rewnifrev2_true-unreach-call.i 2.96  2.70  4338728960 36.7  apollon126 101    74.7   2781618176 1150   apollon095 5.00    3.52    4339257344 50.5     apollon099
array-tiling/rewnifrev_true-unreach-call.i 2.95  2.72  4338503680 34.3  apollon031 101    76.7   2974679040 1130   apollon119 5.02    3.57    4339322880 56.0     apollon009
array-tiling/rewrev_true-unreach-call.i 2.91  2.70  4339335168 33.3  apollon058 101    77.2   2405355520 1040   apollon151 5.14    3.58    4333105152 56.7     apollon067
array-tiling/skipped_true-unreach-call.i 2.73  2.50  4336267264 33.6  apollon159 101    66.6   4037947392 1020   apollon032 5.39    3.54    4339425280 49.6     apollon054
array-tiling/tcpy_true-unreach-call.i 5.14  4.71  8635162624 60.7  apollon096 101    71.5   3962458112 1260   apollon161 7.11    5.62    8633524224 78.2     apollon051
array-programs/copysome1_false-unreach-call.i 949     900     98684928 12500    apollon085 2.65 1.04  291065856 24.0 apollon077 950       902       185081856 12100       apollon154
array-programs/copysome2_false-unreach-call.i 949     900     101691392 11600    apollon104 2.45 1.04  270254080 20.2 apollon099 950       901       182906880 12600       apollon113
array-programs/copysome1_true-unreach-call.i 950     899     95731712 12100    apollon156 2.71 1.05  290291712 23.2 apollon034 950       898       179601408 12200       apollon119
array-programs/copysome2_true-unreach-call.i 946     900     104861696 11600    apollon066 2.42 1.05  268816384 20.6 apollon127 950       899       182530048 12000       apollon034
bitvector/byte_add_false-unreach-call_true-no-overflow_true-termination.i 3.88  3.80  32063488 46.7  apollon114 5.26 1.83  301273088 44.9 apollon165 6.85    4.85    234909696 66.1     apollon117
bitvector/sum02_false-unreach-call_true-no-overflow.i 951     890     2709544960 10700    apollon149 3.52 1.47  280109056 30.1 apollon082 951       883       2669461504 12400       apollon024
bitvector/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i .965 .789 32202752 10.2  apollon153 6.03 2.09  319234048 51.7 apollon091 4.33    2.07    232402944 36.4     apollon083
bitvector/byte_add_2_true-unreach-call_true-no-overflow_true-termination.i 1.04  .896 31932416 9.41 apollon092 5.73 1.89  317952000 52.7 apollon126 4.17    1.97    238690304 36.5     apollon003
bitvector/gcd_1_true-unreach-call_true-no-overflow.i .359 .381 31866880 3.87 apollon084 4.10 1.51  304193536 33.4 apollon079 2.63    1.29    229978112 22.1     apollon123
bitvector/gcd_2_true-unreach-call_true-no-overflow.i 4.57  4.21  32108544 53.1  apollon037 3.46 1.37  273186816 31.5 apollon112 .00964 .00963 1007616 .0119  apollon080
bitvector/gcd_3_true-unreach-call_true-no-overflow.i 4.93  4.60  32108544 62.0  apollon114 3.62 1.47  288235520 31.8 apollon076 7.43    5.62    223436800 93.1     apollon163
bitvector/gcd_4_true-unreach-call_true-no-overflow_true-termination.i .268 .294 32124928 2.78 apollon009 5.16 1.76  313200640 44.6 apollon156 2.87    1.30    222601216 25.6     apollon103
bitvector/interleave_bits_true-unreach-call_true-no-overflow.i .259 .276 32034816 3.04 apollon114 7.33 2.28  452468736 62.2 apollon126 2.76    1.20    222437376 24.9     apollon062
bitvector/jain_1_true-unreach-call_true-no-overflow_false-termination.i 951     894     88125440 9530    apollon093 2.84 1.19  277032960 29.1 apollon021 .00972 .00954 782336 .00885 apollon092
bitvector/jain_2_true-unreach-call_true-no-overflow_false-termination.i 951     892     97206272 10200    apollon125 3.21 1.20  293670912 27.2 apollon022 .0106  .0106  745472 .00983 apollon043
bitvector/jain_4_true-unreach-call_true-no-overflow_false-termination.i 951     896     112730112 9380    apollon107 3.11 1.25  274595840 27.2 apollon005 .0223  .0217  888832 .00971 apollon077
bitvector/jain_5_true-unreach-call_true-no-overflow.i 949     900     31993856 14300    apollon048 101    80.7   2778210304 1220   apollon052 950       900       267218944 12900       apollon026
bitvector/jain_6_true-unreach-call_true-no-overflow_false-termination.i 951     888     109596672 8170    apollon146 3.31 1.25  294891520 25.6 apollon054 .0123  .0126  1089536 .0129  apollon091
bitvector/jain_7_true-unreach-call_true-no-overflow_false-termination.i 951     890     105205760 9250    apollon091 2.84 1.18  274214912 26.8 apollon022 .0111  .0130  761856 .00409 apollon068
bitvector/modulus_true-unreach-call_true-no-overflow.i 366     339     76451840 4340    apollon012 3.14 1.31  277803008 27.8 apollon052 375       346       194809856 5070       apollon005
bitvector/num_conversion_1_true-unreach-call_true-no-overflow.i .252 .281 32190464 2.40 apollon054 4.90 1.77  305999872 42.5 apollon167 2.53    1.19    224546816 25.3     apollon065
bitvector/num_conversion_2_true-unreach-call_true-no-overflow.i 1.18  1.09  32141312 13.5  apollon018 4.91 1.77  302903296 42.7 apollon032 3.70    2.07    220364800 37.2     apollon087
bitvector/parity_true-unreach-call_true-no-overflow.i 2.08  2.00  31973376 26.0  apollon141 3.31 1.31  286834688 31.4 apollon014 4.23    2.83    194502656 43.1     apollon079
bitvector/sum02_true-unreach-call_true-no-overflow.i 951     891     2723487744 11500    apollon062 3.50 1.45  281563136 34.3 apollon108 816       757       2238107648 9920       apollon124
bitvector/s3_clnt_1_false-unreach-call_true-no-overflow.BV.c.cil.c 4.75  4.00  40022016 48.9  apollon054 10.6  3.08  467173376 93.6 apollon106 7.69    2.78    407363584 64.8     apollon136
bitvector/s3_clnt_2_false-unreach-call_true-no-overflow.BV.c.cil.c 4.76  4.00  40030208 51.5  apollon134 18.5  5.01  617021440 160   apollon168 7.43    2.84    423890944 64.6     apollon075
bitvector/s3_clnt_3_false-unreach-call_true-no-overflow.BV.c.cil.c .746 .687 32096256 8.48 apollon062 7.04 2.21  388128768 58.5 apollon120 6.45    2.79    297025536 56.1     apollon053
bitvector/s3_clnt_1_true-unreach-call_true-no-overflow.BV.c.cil.c 1.65  .983 34131968 18.0  apollon093 14.2  4.01  500178944 106   apollon121 6.92    2.54    399687680 56.2     apollon003
bitvector/s3_clnt_2_true-unreach-call_true-no-overflow.BV.c.cil.c 1.19  .905 32165888 12.6  apollon032 24.2  6.77  833982464 199   apollon102 7.54    2.85    425562112 60.2     apollon099
bitvector/s3_clnt_3_true-unreach-call_true-no-overflow.BV.c.cil.c 1.19  .910 32178176 14.3  apollon126 101    77.4   3071184896 984   apollon100 5.41    2.29    250613760 48.8     apollon156
bitvector/s3_srvr_1_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 950     806     2475569152 7790    apollon135 101    75.1   2657251328 1170   apollon070 951       817       3107123200 9080       apollon128
bitvector/s3_srvr_1_true-unreach-call_true-no-overflow.BV.c.cil.c 950     807     2633248768 7680    apollon127 31.1  8.45  977502208 229   apollon029 .0129  .0128  909312 .00000 apollon083
bitvector/s3_srvr_2_alt_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c 951     798     433008640 8840    apollon107 41.9  18.5   1371332608 409   apollon020 .0146  .0154  778240 .00543 apollon097
bitvector/s3_srvr_2_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c .466 .488 32055296 5.37 apollon051 42.8  18.2   1405607936 402   apollon168 .00963 .0123  823296 .00971 apollon099
bitvector/s3_srvr_3_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 951     813     760832000 7170    apollon120 19.0  5.09  630145024 168   apollon030 .0250  .0270  892928 .00720 apollon145
bitvector/s3_srvr_3_true-unreach-call_true-no-overflow.BV.c.cil.c 951     812     716910592 7150    apollon118 62.0  33.8   2281033728 700   apollon161 .00846 .00828 974848 .0161  apollon056
bitvector/soft_float_1_true-unreach-call_true-no-overflow_true-termination.c.cil.c 950     853     274055168 11200    apollon076 4.80 1.77  296083456 38.6 apollon100 951       804       239869952 11900       apollon065
bitvector/soft_float_2_true-unreach-call_true-no-overflow_true-termination.c.cil.c 294     269     136364032 3220    apollon089 7.53 2.34  446177280 63.2 apollon156 372       305       323821568 4260       apollon082
bitvector/soft_float_3_true-unreach-call_true-no-overflow_true-termination.c.cil.c 715     643     217268224 8780    apollon141 7.39 2.33  444780544 63.0 apollon091 13.8     8.32    322154496 131       apollon002
bitvector/soft_float_4_true-unreach-call_true-no-overflow_true-termination.c.cil.c 950     853     290263040 11600    apollon033 4.21 1.68  290402304 37.0 apollon076 951       807       277897216 9690       apollon054
bitvector/soft_float_5_true-unreach-call_true-no-overflow_true-termination.c.cil.c 284     257     137519104 3310    apollon001 7.36 2.33  447238144 64.9 apollon077 9.88    5.05    324878336 98.0     apollon112
bitvector-regression/implicitfloatconversion_false-unreach-call_true-termination.c .255 .286 32194560 2.69 apollon118 3.23 1.23  296452096 32.6 apollon039 .0140  .0145  1028096 .0228  apollon167
bitvector-regression/implicitunsignedconversion_false-unreach-call_true-termination.c .234 .264 32256000 2.84 apollon061 2.45 1.06  268267520 24.7 apollon016 .00641 .00985 917504 .0121  apollon011
bitvector-regression/integerpromotion_false-unreach-call_true-termination.c .257 .284 31956992 2.62 apollon110 2.79 1.23  275443712 27.6 apollon148 .0296  .0288  888832 .00885 apollon012
bitvector-regression/recHanoi03_false-unreach-call_true-termination.c 3.55  3.41  59621376 46.5  apollon138 2.53 1.10  267939840 22.0 apollon011 1.99    .817   187637760 18.8     apollon006
bitvector-regression/signextension2_false-unreach-call_true-termination.c .247 .276 31850496 2.94 apollon014 2.60 1.09  270381056 25.6 apollon016 .0121  .0146  847872 .00787 apollon057
bitvector-regression/signextension_false-unreach-call_true-termination.c .260 .297 32083968 2.08 apollon063 2.55 1.09  272834560 26.6 apollon021 .0105  .0104  1032192 .00409 apollon168
bitvector-regression/implicitunsignedconversion_true-unreach-call_true-termination.c .247 .280 31956992 2.64 apollon133 2.94 1.28  276406272 26.1 apollon121 2.20    1.12    190996480 20.2     apollon012
bitvector-regression/integerpromotion_true-unreach-call_true-termination.c .245 .277 32153600 2.90 apollon005 2.80 1.24  278286336 24.4 apollon127 2.30    1.18    185589760 20.2     apollon045
bitvector-regression/signextension2_true-unreach-call_true-termination.c .247 .280 31944704 3.26 apollon056 3.10 1.31  285671424 30.7 apollon126 2.20    1.10    188432384 21.4     apollon097
bitvector-regression/signextension_true-unreach-call_true-termination.c .249 .281 32120832 3.25 apollon161 3.12 1.31  275988480 31.3 apollon111 2.26    1.10    190210048 21.2     apollon120
bitvector-loops/diamond_false-unreach-call2.i .268 .286 32067584 3.12 apollon108 6.60 2.03  440332288 58.7 apollon081 .0289  .0288  888832 .00580 apollon141
bitvector-loops/overflow_false-unreach-call1.i 947     900     32100352 16600    apollon039 2.82 1.12  290009088 25.1 apollon052 .0167  .0166  1011712 .00641 apollon159
bitvector-loops/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call_true-termination.i .301 .281 31940608 3.42 apollon017 2.88 1.25  270974976 25.6 apollon012 .0280  .0289  761856 .00592 apollon163
heap-manipulation/bubble_sort_linux_false-unreach-call_false-valid-memcleanup.i 3.68  3.50  34246656 48.2  apollon114 5.64 1.86  320602112 50.9 apollon126 .0200  .0210  913408 .00617 apollon092
heap-manipulation/dll_of_dll_false-unreach-call_false-valid-memcleanup.i 234     900     307474432 1910    apollon137 3.26 1.25  298487808 31.3 apollon161 2.95    1.04    231018496 29.8     apollon111
heap-manipulation/merge_sort_false-unreach-call_false-valid-memcleanup.i 3.68  3.50  32129024 46.5  apollon038 4.65 1.68  306061312 42.1 apollon141 .0194  .0192  937984 .00494 apollon063
heap-manipulation/sll_to_dll_rev_false-unreach-call_false-valid-memcleanup.i 3.52  3.38  32030720 48.2  apollon112 4.67 1.74  293535744 40.0 apollon157 .0116  .0117  937984 .0102  apollon099
heap-manipulation/tree_false-unreach-call_false-valid-deref.i 3.65  3.47  38289408 49.0  apollon130 6.29 2.01  334548992 49.1 apollon123 .0155  .0150  991232 .00995 apollon024
heap-manipulation/tree_false-unreach-call_false-valid-memcleanup.i 3.68  3.49  44924928 48.9  apollon132 6.14 2.01  349908992 51.0 apollon119 .00646 .0101  749568 .00757 apollon156
heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i 950     879     443617280 13100    apollon080 101    76.5   2019409920 1150   apollon026 2.51    .959   229601280 22.6     apollon038
heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i 951     871     3036499968 6180    apollon051 3.14 1.23  275562496 27.4 apollon038 2.88    1.03    233091072 27.3     apollon108
heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i 951     882     2717990912 6560    apollon001 3.42 1.28  303022080 28.4 apollon150 2.91    1.06    230645760 24.6     apollon154
heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i 950     879     496472064 10300    apollon100 101    78.6   2998243328 1210   apollon009 3.61    1.58    233652224 34.4     apollon141
heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i 951     888     1689055232 11800    apollon069 101    76.0   2655936512 1100   apollon086 5.05    1.93    282992640 43.5     apollon144
heap-manipulation/tree_true-unreach-call.i 951     886     1361604608 9840    apollon093 101    77.4   2387677184 1170   apollon051 4.18    1.61    253120512 35.6     apollon062
list-properties/alternating_list_false-unreach-call_false-valid-memcleanup.i 819     900     2485014528 6340    apollon152 4.30 1.65  289091584 35.1 apollon089 .00643 .0100  704512 .0104  apollon035
list-properties/list_false-unreach-call_false-valid-memcleanup.i 439     900     2171166720 5340    apollon114 111    76.3   3799289856 1190   apollon067 3.18    1.31    231124992 32.2     apollon088
list-properties/list_flag_false-unreach-call_false-valid-memcleanup.i 673     900     2412040192 8110    apollon024 4.07 1.59  290484224 35.8 apollon095 .00894 .0161  1052672 .0475  apollon077
list-properties/list_search_false-unreach-call_false-valid-memcleanup.i .353 .366 32063488 4.34 apollon165 4.17 1.56  292237312 33.4 apollon060 .0106  .0135  765952 .0182  apollon161
list-properties/simple_false-unreach-call_false-valid-memcleanup.i 762     900     2399571968 6240    apollon103 4.04 1.55  289304576 36.6 apollon091 .0113  .0112  1097728 .00427 apollon047
list-properties/splice_false-unreach-call_false-valid-memcleanup.i 951     886     2272903168 9720    apollon008 4.70 1.74  293105664 42.8 apollon091 .0131  .0126  790528 .0121  apollon165
list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i 951     887     223735808 11000    apollon077 113    72.4   4263219200 1250   apollon033 3.28    1.29    230834176 26.2     apollon149
list-properties/list_flag_true-unreach-call_false-valid-memtrack.i 951     885     174202880 10200    apollon141 101    70.9   4165271552 1120   apollon152 3.31    1.29    228753408 29.1     apollon101
list-properties/list_search_true-unreach-call_false-valid-memcleanup.i .449 .499 31875072 4.90 apollon003 4.75 1.67  307466240 43.0 apollon007 .0123  .0135  901120 .00830 apollon048
list-properties/list_true-unreach-call_false-valid-memtrack.i 951     886     803917824 9860    apollon011 101    70.2   3652853760 1310   apollon111 3.68    1.51    251863040 33.2     apollon051
list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i 951     889     159907840 10600    apollon155 105    70.4   3307761664 1060   apollon025 3.35    1.44    226996224 28.9     apollon058
list-properties/simple_true-unreach-call_false-valid-memtrack.i 951     895     151986176 8000    apollon123 112    73.7   3922837504 1170   apollon017 3.35    1.31    226627584 23.5     apollon063
list-properties/splice_true-unreach-call_false-valid-memtrack.i 951     885     725934080 9650    apollon072 102    77.6   2336833536 756   apollon025 3.16    1.30    227172352 26.2     apollon043
ldv-regression/1_3_true-termination.c_false-unreach-call.i .263 .287 32223232 2.40 apollon123 3.17 1.37  284635136 28.7 apollon102 .0134  .0136  819200 .00867 apollon120
ldv-regression/alt_test_true-termination.c_false-unreach-call.i .450 .475 32088064 5.60 apollon055 4.39 1.56  304386048 37.3 apollon078 .0261  .0271  909312 .00299 apollon063
ldv-regression/callfpointer_true-termination.c_false-unreach-call.i .253 .280 31977472 2.48 apollon040 2.98 1.23  277430272 23.4 apollon117 .00987 .0101  884736 .0106  apollon161
ldv-regression/fo_test_true-termination.c_false-unreach-call.i .422 .472 32100352 4.86 apollon053 4.24 1.45  303984640 35.8 apollon168 .0123  .0123  905216 .0115  apollon036
ldv-regression/mutex_lock_int_true-termination.c_false-unreach-call.i .262 .288 32059392 2.70 apollon074 3.03 1.30  277860352 26.9 apollon156 .0169  .0166  905216 .0110  apollon005
ldv-regression/mutex_lock_struct_true-termination.c_false-unreach-call.i .234 .262 32096256 2.99 apollon091 3.05 1.29  277422080 26.4 apollon133 .0194  .0213  917504 .0159  apollon160
ldv-regression/recursive_list_true-termination.c_false-unreach-call.i .234 .259 32047104 3.09 apollon112 3.11 1.33  279248896 29.6 apollon022 .0108  .0129  901120 .0103  apollon111
ldv-regression/rule57_ebda_blast_true-termination.c_false-unreach-call.i 6.18  5.61  32714752 65.7  apollon002 3.28 1.38  282513408 29.2 apollon045 .0111  .0107  995328 .00745 apollon041
ldv-regression/rule60_list2_true-termination.c_false-unreach-call_1.i .442 .469 32006144 5.80 apollon153 4.41 1.62  304410624 37.5 apollon072 .0141  .0138  1101824 .00464 apollon075
ldv-regression/stateful_check_false-unreach-call_false-termination.i 4.16  3.99  93294592 47.6  apollon060 4.56 1.67  303656960 39.3 apollon165 .0165  .0174  778240 .00647 apollon104
ldv-regression/test_while_int_true-termination.c_false-unreach-call.i .260 .290 32149504 2.97 apollon159 3.32 1.38  282451968 29.9 apollon093 .0228  .0230  921600 .00452 apollon120
ldv-regression/test_while_int_true-termination.c_false-unreach-call_1.i .256 .286 32079872 2.69 apollon154 3.32 1.35  284827648 25.9 apollon040 .0127  .0131  897024 .0137  apollon021
ldv-regression/alias_of_return_2_true-termination.c_true-unreach-call.i .260 .289 31989760 2.58 apollon083 2.59 1.12  267452416 26.5 apollon111 .0199  .0196  999424 .00458 apollon090
ldv-regression/alias_of_return_2_true-termination.c_true-unreach-call_1.i .258 .288 31948800 2.63 apollon118 2.55 1.09  266452992 21.2 apollon128 .0143  .0151  765952 .00677 apollon112
ldv-regression/alias_of_return_true-termination.c_true-unreach-call.i .247 .278 32124928 2.57 apollon003 2.58 1.11  268480512 21.7 apollon053 .0105  .0105  786432 .0117  apollon021
ldv-regression/alias_of_return_true-termination.c_true-unreach-call_1.i .262 .292 32174080 2.63 apollon097 2.76 1.10  268828672 22.9 apollon071 .0148  .0146  856064 .00391 apollon062
ldv-regression/ex3_forlist_true-termination.c_true-unreach-call.i .252 .273 31952896 2.76 apollon026 6.12 2.05  312537088 48.6 apollon086 .0128  .0134  1019904 .00684 apollon025
ldv-regression/just_assert_true-termination.c_true-unreach-call.i .253 .288 32145408 2.72 apollon049 2.36 1.03  273932288 20.5 apollon133 .0124  .0152  700416 .0206  apollon014
ldv-regression/mutex_lock_int_true-termination.c_true-unreach-call_1.i .237 .267 32223232 2.83 apollon015 2.59 1.10  267874304 23.0 apollon156 .0104  .0148  876544 .0131  apollon141
ldv-regression/mutex_lock_struct_true-termination.c_true-unreach-call_1.i .259 .287 31924224 2.51 apollon115 2.59 1.11  266489856 23.0 apollon018 .0172  .0172  876544 .00964 apollon010
ldv-regression/nested_structure_noptr_true-termination.c_true-unreach-call.i .252 .283 32063488 3.06 apollon028 2.49 1.07  267505664 21.5 apollon133 .0155  .0158  880640 .00934 apollon076
ldv-regression/nested_structure_noptr_true-unreach-call_true-termination.i .254 .281 32059392 2.46 apollon013 2.55 1.11  268677120 23.9 apollon067 .0105  .0103  860160 .00909 apollon105
ldv-regression/nested_structure_ptr_true-termination.c_true-unreach-call.i .257 .285 32145408 2.46 apollon128 2.61 1.08  270786560 23.4 apollon051 .0102  .00996 880640 .00855 apollon042
ldv-regression/nested_structure_ptr_true-unreach-call_true-termination.i .267 .296 32096256 2.87 apollon020 2.69 1.12  273788928 24.7 apollon005 .0206  .0204  1036288 .00513 apollon092
ldv-regression/nested_structure_true-termination.c_true-unreach-call.i .233 .265 32096256 3.11 apollon101 2.62 1.14  271245312 23.0 apollon162 .0214  .0209  872448 .00525 apollon055
ldv-regression/nested_structure_true-unreach-call_true-termination.i .258 .286 32219136 2.82 apollon015 2.61 1.12  269750272 21.6 apollon100 .00737 .00755 729088 .0100  apollon030
ldv-regression/oomInt_true-termination.c_true-unreach-call.i .233 .263 31989760 2.74 apollon018 2.55 1.10  266231808 21.7 apollon127 .0146  .0148  1044480 .00000 apollon073
ldv-regression/oomInt_true-termination.c_true-unreach-call_1.i .255 .286 32038912 2.75 apollon061 2.58 1.08  270225408 24.3 apollon167 .0138  .0145  1019904 .0141  apollon062
ldv-regression/rule57_ebda_blast_true-termination.c_true-unreach-call_1.i 6.77  6.22  32280576 71.3  apollon127 2.82 1.19  274546688 27.0 apollon101 .0113  .0110  741376 .00000 apollon018
ldv-regression/rule60_list2_true-termination.c_true-unreach-call.i .464 .509 32038912 5.57 apollon164 3.50 1.30  299286528 30.0 apollon085 .0143  .0138  884736 .00635 apollon145
ldv-regression/rule60_list_true-termination.c_true-unreach-call.i .366 .390 32145408 3.83 apollon002 3.39 1.27  293658624 26.3 apollon116 .00840 .0122  880640 .0150  apollon054
ldv-regression/sizeofparameters_test_true-termination.c_true-unreach-call.i .354 .392 32002048 4.55 apollon125 2.90 1.22  270802944 25.2 apollon120 .0146  .0143  978944 .0111  apollon149
ldv-regression/structure_assignment_true-termination.c_true-unreach-call.i .244 .274 32092160 2.98 apollon167 2.81 1.10  289882112 28.8 apollon021 .0112  .0113  892928 .00903 apollon012
ldv-regression/test_address_true-termination.c_true-unreach-call.i .357 .379 32038912 4.56 apollon130 2.98 1.21  273424384 30.0 apollon033 .0137  .0132  872448 .00946 apollon087
ldv-regression/test_cut_trace_true-termination.c_true-unreach-call.i .242 .275 32133120 2.91 apollon132 2.56 1.09  265003008 24.6 apollon164 .0129  .0129  794624 .00806 apollon015
ldv-regression/test_malloc-1_true-unreach-call_true-termination.i .308 .386 32260096 3.77 apollon031 2.99 1.20  272470016 27.2 apollon032 .0240  .0241  937984 .0142  apollon009
ldv-regression/test_malloc-2_true-unreach-call_true-termination.i .308 .387 32120832 3.41 apollon144 2.95 1.20  270372864 27.9 apollon152 .0152  .0150  942080 .00555 apollon021
ldv-regression/test_overflow_true-termination.c_true-unreach-call.i .459 .504 31834112 5.29 apollon072 3.51 1.29  297271296 28.4 apollon079 .0295  .0293  925696 .00555 apollon101
ldv-regression/test_union_cast-1_true-unreach-call_true-termination.i .235 .265 32092160 2.60 apollon149 2.48 1.08  269651968 24.1 apollon019 .0160  .0158  782336 .00995 apollon111
ldv-regression/test_union_cast-2_true-unreach-call_true-termination.i .236 .261 32145408 2.75 apollon066 2.62 1.10  267943936 24.4 apollon101 .00866 .00855 905216 .00000 apollon110
ldv-regression/test_union_cast_true-termination.c_true-unreach-call.i .236 .266 32055296 2.65 apollon144 2.56 1.09  269443072 23.1 apollon084 .0135  .0134  880640 .0110  apollon019
ldv-regression/test_union_cast_true-termination.c_true-unreach-call_1.i .260 .290 32178176 2.59 apollon144 2.54 1.06  267042816 21.7 apollon058 .0135  .0133  774144 .00964 apollon093
ldv-regression/test_union_true-termination.c_true-unreach-call.i .234 .264 31916032 2.67 apollon133 2.46 1.05  267255808 23.4 apollon067 .0277  .0287  1003520 .00555 apollon147
ldv-regression/test_union_true-termination.c_true-unreach-call_1.i .248 .281 32223232 2.68 apollon026 2.81 1.18  268275712 26.1 apollon091 2.21    1.07    182681600 24.5     apollon039
ldv-regression/volatile_alias_true-termination.c_true-unreach-call.i .247 .278 32096256 2.43 apollon013 2.57 1.07  265302016 24.6 apollon081 .00613 .00967 761856 .0132  apollon062
ldv-regression/volatile_alias_true-termination.c_true-unreach-call_1.i .269 .307 32043008 2.59 apollon035 2.56 1.08  269303808 21.2 apollon116 .0158  .0157  884736 .00787 apollon068
ldv-regression/test02_false-unreach-call_true-termination.c .254 .284 32022528 2.97 apollon087 3.19 1.50  301989888 32.8 apollon057 .0151  .0156  1024000 .0197  apollon109
ldv-regression/test06_false-unreach-call_true-termination.c .243 .273 32038912 2.82 apollon145 3.16 1.33  283119616 24.6 apollon158 .0150  .0149  1007616 .00549 apollon073
ldv-regression/test08_false-unreach-call_true-termination.c .258 .285 31961088 2.75 apollon018 3.24 1.38  283230208 27.1 apollon058 .0223  .0217  786432 .00897 apollon064
ldv-regression/test12_false-unreach-call_true-termination.c .244 .274 31961088 2.74 apollon129 3.06 1.27  279453696 31.4 apollon021 .0177  .0188  913408 .0101  apollon080
ldv-regression/test21_false-unreach-call_true-termination.c .305 .347 31932416 6.83 apollon106 3.14 1.34  281501696 25.2 apollon092 .0152  .0150  913408 .00000 apollon109
ldv-regression/test22_false-unreach-call.c 3.68  3.53  32067584 44.0  apollon011 3.50 1.45  291704832 29.9 apollon042 .0130  .0128  851968 .0105  apollon136
ldv-regression/test23_false-unreach-call.c .814 .790 32034816 7.86 apollon151 27.0  12.3   1622577152 255   apollon015 .0130  .0150  946176 .00842 apollon068
ldv-regression/test24_false-unreach-call.c .375 .415 32051200 3.64 apollon153 12.1  3.37  466370560 96.1 apollon042 .0109  .0108  806912 .0114  apollon167
ldv-regression/test25_false-unreach-call_true-termination.c .606 .602 32985088 6.54 apollon072 8.56 2.48  473624576 61.9 apollon045 .0270  .0264  864256 .00855 apollon159
ldv-regression/test26_false-unreach-call_true-termination.c .258 .288 31899648 2.85 apollon147 3.16 1.35  276393984 28.2 apollon118 .00936 .00942 880640 .00781 apollon117
ldv-regression/test27_false-unreach-call_true-termination.c 951     869     130686976 12800    apollon167 6.97 2.11  391266304 51.8 apollon054 .00861 .00828 1024000 .0168  apollon039
ldv-regression/test28_false-unreach-call_true-termination.c .265 .273 32112640 3.41 apollon088 3.07 1.31  280117248 28.5 apollon067 .0184  .0213  892928 .00690 apollon110
ldv-regression/test29_false-unreach-call_true-termination.c .315 .410 32030720 3.18 apollon096 3.22 1.29  288837632 29.0 apollon102 .0238  .0245  999424 .00568 apollon048
ldv-regression/test30_false-unreach-call_true-termination.c .249 .275 31969280 2.80 apollon085 3.10 1.32  277307392 28.3 apollon084 .0190  .0203  765952 .00458 apollon115
ldv-regression/test01_true-unreach-call_true-termination.c .260 .293 32047104 2.53 apollon157 2.61 1.09  266866688 24.1 apollon015 .00854 .0127  860160 .00647 apollon074
ldv-regression/test03_true-unreach-call_true-termination.c .259 .289 31993856 3.10 apollon008 2.58 1.10  267571200 23.3 apollon070 .0173  .0170  831488 .00610 apollon137
ldv-regression/test04_true-unreach-call_true-termination.c .248 .277 32047104 2.74 apollon071 2.92 1.13  293658624 26.6 apollon047 .00886 .0116  1007616 .00000 apollon093
ldv-regression/test05_true-unreach-call_true-termination.c .250 .279 32317440 2.51 apollon013 3.05 1.18  293584896 22.7 apollon054 .0202  .0226  778240 .00763 apollon048
ldv-regression/test07_true-unreach-call_true-termination.c .248 .278 32120832 2.68 apollon058 2.62 1.13  272838656 21.0 apollon092 .0234  .0255  864256 .00494 apollon102
ldv-regression/test09_true-unreach-call_true-termination.c .255 .286 32030720 3.16 apollon021 2.72 1.16  270229504 22.7 apollon086 .0164  .0173  839680 .00610 apollon062
ldv-regression/test10_true-unreach-call_true-termination.c .249 .277 32137216 2.46 apollon040 2.74 1.16  271282176 27.3 apollon044 .0131  .0127  765952 .0147  apollon006
ldv-regression/test11_true-unreach-call_true-termination.c .258 .274 32157696 2.95 apollon113 2.69 1.14  265584640 25.0 apollon118 .0112  .0110  958464 .00769 apollon110
ldv-regression/test13_true-unreach-call_true-termination.c .232 .266 32141312 2.66 apollon079 2.80 1.10  293175296 27.9 apollon057 .0170  .0165  880640 .0131  apollon167
ldv-regression/test14_true-unreach-call_true-termination.c .250 .256 31952896 3.22 apollon017 2.64 1.15  270028800 24.4 apollon009 .0102  .00998 892928 .0128  apollon154
ldv-regression/test15_true-unreach-call_true-termination.c .249 .279 32075776 2.79 apollon084 2.82 1.09  297291776 24.1 apollon042 .00952 .00971 745472 .00793 apollon145
ldv-regression/test16_true-unreach-call_true-termination.c .245 .276 32145408 3.25 apollon111 2.65 1.12  269672448 21.0 apollon151 .0238  .0249  942080 .0115  apollon001
ldv-regression/test17_true-unreach-call_true-termination.c .263 .294 31985664 2.63 apollon118 2.44 1.07  267300864 25.2 apollon125 .0156  .0156  909312 .00671 apollon061
ldv-regression/test18_true-unreach-call_true-termination.c .248 .278 32010240 2.83 apollon052 2.62 1.10  268443648 24.1 apollon067 .0111  .0110  790528 .00000 apollon045
ldv-regression/test19_true-unreach-call_true-termination.c .252 .280 32047104 2.84 apollon052 2.67 1.11  268607488 21.4 apollon043 .00886 .00867 868352 .00806 apollon066
ldv-regression/test20_true-unreach-call_true-termination.c .274 .307 32239616 2.55 apollon023 2.52 1.09  271015936 25.4 apollon106 .0103  .0134  778240 .00879 apollon009
ldv-regression/test21_true-unreach-call_true-termination.c .350 .409 32174080 3.98 apollon163 2.79 1.13  268574720 24.2 apollon052 .0115  .0112  856064 .0128  apollon148
ldv-regression/test22_true-unreach-call.c .592 .570 32026624 6.96 apollon049 5.65 1.91  351363072 46.2 apollon042 .0130  .0129  1003520 .0121  apollon072
ldv-regression/test23_true-unreach-call.c .733 .685 32198656 8.42 apollon052 31.0  13.9   1813843968 276   apollon045 .0103  .0142  966656 .0109  apollon046
ldv-regression/test24_true-unreach-call_true-termination.c .343 .366 32059392 4.17 apollon010 11.5  3.47  607617024 102   apollon118 .0148  .0146  860160 .00378 apollon120
ldv-regression/test25_true-unreach-call.c .497 .460 33038336 6.30 apollon027 5.60 1.84  309628928 43.5 apollon060 .00983 .00991 925696 .00793 apollon155
ldv-regression/test26_true-unreach-call_true-termination.c .258 .288 32088064 2.40 apollon089 2.60 1.10  266936320 23.1 apollon034 .0111  .0108  991232 .00812 apollon144
ldv-regression/test27_true-unreach-call_true-termination.c .839 .776 32034816 8.53 apollon092 101    82.5   1948983296 969   apollon099 3.30    1.81    225419264 32.1     apollon061
ldv-regression/test28_true-unreach-call_true-termination.c .258 .266 32223232 2.82 apollon078 2.60 1.13  270757888 24.4 apollon067 .0106  .0103  757760 .0131  apollon079
ldv-regression/test29_true-unreach-call_true-termination.c .273 .284 32325632 2.98 apollon087 2.68 1.10  272687104 24.5 apollon112 .0108  .0107  847872 .00873 apollon150
ldv-regression/test30_true-unreach-call_true-termination.c .250 .279 32088064 2.43 apollon098 2.65 1.10  275738624 27.5 apollon021 .0127  .0133  774144 .00549 apollon060
ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i .996 1.04  34172928 13.2  apollon101 10.6  2.77  462008320 86.1 apollon057 .00659 .0102  741376 .00787 apollon055
ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i .992 1.08  34009088 12.4  apollon038 9.80 2.75  456699904 76.9 apollon042 .0136  .0131  1007616 .00763 apollon120
ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i .948 1.01  34013184 12.1  apollon078 10.1  2.73  488357888 77.8 apollon026 .0286  .0291  929792 .0131  apollon023
ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i .998 1.03  39649280 14.0  apollon126 6.05 1.89  299941888 46.1 apollon116 .0176  .0175  966656 .00519 apollon038
ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i 1.01  1.07  38014976 12.3  apollon105 5.90 1.81  296321024 47.9 apollon004 .00938 .00945 724992 .00781 apollon029
ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i 1.01  1.05  35119104 12.2  apollon153 6.19 1.90  295305216 50.4 apollon077 .0129  .0132  1003520 .0118  apollon085
ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i 1.02  1.07  37330944 12.2  apollon062 5.99 1.77  294895616 51.9 apollon020 .0244  .0252  962560 .00263 apollon074
ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i 1.03  1.05  42340352 12.0  apollon144 6.15 1.85  296501248 49.9 apollon071 .0133  .0131  974848 .00879 apollon014
ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i 1.00  1.02  33705984 13.9  apollon148 6.21 1.88  295534592 54.2 apollon033 .0109  .0109  983040 .00775 apollon003
ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i 1.03  1.08  35258368 12.6  apollon082 5.92 1.82  301953024 48.4 apollon017 .0108  .0119  847872 .00806 apollon008
ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i 1.02  1.08  40202240 12.1  apollon072 5.79 1.80  296538112 46.8 apollon011 .00887 .00920 856064 .00983 apollon069
ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i .991 1.02  38776832 16.2  apollon111 6.25 1.97  298254336 52.2 apollon168 .00798 .00794 831488 .00000 apollon155
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i 1.01  1.07  35569664 11.8  apollon045 5.78 1.76  298172416 46.3 apollon072 .00864 .00860 954368 .00909 apollon143
forester-heap/dll-01_false-unreach-call_false-valid-memcleanup.i 3.63  3.49  90001408 44.4  apollon129 3.71 1.36  302596096 31.6 apollon011 .0113  .0130  860160 .00818 apollon155
forester-heap/dll-circular_false-unreach-call_false-valid-memcleanup.i 3.52  3.37  31834112 71.4  apollon106 4.11 1.50  308314112 39.5 apollon125 .0273  .0292  892928 .0123  apollon143
forester-heap/dll-optional_false-unreach-call_false-valid-memcleanup.i 3.61  3.48  92758016 47.4  apollon071 4.15 1.50  306003968 36.1 apollon017 .0231  .0227  962560 .00366 apollon003
forester-heap/dll-queue_false-unreach-call_false-valid-memcleanup.i 3.70  3.50  32079872 46.0  apollon018 4.07 1.49  309760000 32.0 apollon117 .0282  .0291  995328 .00897 apollon049
forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i 3.51  3.38  85487616 54.4  apollon160 4.12 1.53  303165440 35.5 apollon004 .0106  .0104  978944 .0101  apollon168
forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i 3.54  3.40  77512704 41.0  apollon042 3.70 1.44  283316224 32.2 apollon084 .0150  .0149  978944 .0125  apollon031
forester-heap/dll-simple-white-blue_false-unreach-call_false-valid-memcleanup.i 3.65  3.50  36765696 42.8  apollon089 4.08 1.47  290107392 32.3 apollon157 .0117  .0115  778240 .00366 apollon156
forester-heap/dll-sorted_false-unreach-call_false-valid-memcleanup.i 3.50  3.38  95780864 46.7  apollon113 4.36 1.65  295096320 39.0 apollon093 .0129  .0133  892928 .0121  apollon046
forester-heap/dll-token_false-unreach-call_false-valid-memcleanup.i 3.53  3.39  33865728 47.5  apollon167 4.25 1.50  307900416 36.5 apollon022 .0109  .0109  860160 .00977 apollon083
forester-heap/sll-01_false-unreach-call_false-valid-deref.i 951     885     3162116096 10600    apollon024 3.85 1.39  304373760 32.0 apollon038 .0295  .0312  933888 .00745 apollon153
forester-heap/sll-buckets_false-unreach-call_false-valid-memcleanup.i 3.63  3.50  89088000 46.7  apollon085 4.37 1.53  307650560 35.8 apollon018 .00835 .00902 749568 .00897 apollon155
forester-heap/sll-circular_false-unreach-call_false-valid-memcleanup.i 3.56  3.41  32190464 41.2  apollon023 4.08 1.47  307019776 34.8 apollon121 .0116  .0128  913408 .0104  apollon004
forester-heap/sll-optional_false-unreach-call_false-valid-memcleanup.i 3.52  3.40  91381760 43.1  apollon107 4.35 1.58  304832512 41.1 apollon057 .0108  .0106  884736 .00800 apollon108
forester-heap/sll-queue_false-unreach-call_false-valid-memcleanup.i 3.70  3.49  31862784 53.5  apollon088 4.15 1.48  306032640 39.5 apollon016 .0104  .0107  811008 .00592 apollon044
forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i 3.55  3.43  90832896 45.4  apollon022 3.99 1.47  305623040 36.3 apollon152 .0163  .0168  901120 .00513 apollon123
forester-heap/sll-rb-sentinel_false-unreach-call_false-valid-memcleanup.i 3.53  3.39  84152320 51.2  apollon148 3.91 1.46  289226752 33.4 apollon150 .0136  .0144  790528 .00568 apollon092
forester-heap/sll-simple-white-blue_false-unreach-call_false-valid-memcleanup.i 3.51  3.37  35700736 42.3  apollon099 4.06 1.48  311119872 40.0 apollon125 .0137  .0140  999424 .00836 apollon082
forester-heap/sll-sorted_false-unreach-call_false-valid-memcleanup.i 3.53  3.41  101613568 43.2  apollon153 4.37 1.56  310292480 39.3 apollon140 .00762 .0113  774144 .00971 apollon162
forester-heap/sll-token_false-unreach-call_false-valid-memcleanup.i 3.55  3.41  32870400 43.7  apollon015 4.17 1.47  306860032 31.9 apollon054 .0154  .0179  823296 .00543 apollon047
forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i 950     880     2772615168 5890    apollon060 3.94 1.42  308924416 34.5 apollon118 .0146  .0157  864256 .00867 apollon009
forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i 951     886     2168102912 10900    apollon071 4.12 1.48  304640000 35.3 apollon072 .00978 .00935 860160 .00000 apollon114
forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i 950     879     2790555648 6280    apollon157 5.27 1.76  310845440 44.5 apollon121 .0126  .0126  892928 .00922 apollon164
forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i 951     885     2277326848 11000    apollon038 4.30 1.52  305614848 35.4 apollon087 .0102  .0110  1007616 .00702 apollon070
forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i 908     845     2649837568 9350    apollon039 3.92 1.45  301637632 33.1 apollon120 .0119  .0116  831488 .00842 apollon164
forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i 950     881     2715803648 6590    apollon141 3.98 1.43  305750016 33.9 apollon004 .0103  .0102  839680 .00781 apollon003
forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i 951     886     2252255232 11000    apollon049 4.51 1.61  308465664 39.7 apollon108 .0102  .00990 888832 .0115  apollon014
forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i 951     885     729661440 11800    apollon006 5.81 1.90  313638912 43.1 apollon092 .0143  .0137  851968 .0102  apollon030
forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i 950     876     3348914176 7170    apollon050 4.35 1.56  310112256 38.9 apollon015 .0126  .0126  765952 .00366 apollon168
forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i 951     890     187187200 9990    apollon061 4.10 1.53  306814976 38.0 apollon081 .00676 .0109  737280 .00971 apollon164
forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i 951     882     2719735808 5710    apollon158 4.06 1.56  305156096 32.1 apollon086 .0234  .0247  925696 .00867 apollon128
forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i 950     877     2846298112 7070    apollon075 4.27 1.55  306638848 35.0 apollon107 .0136  .0168  806912 .00580 apollon167
forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i 951     887     2274717696 11200    apollon052 3.90 1.46  291344384 34.4 apollon142 .0151  .0154  1089536 .0106  apollon133
forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i 951     876     2830438400 9130    apollon016 5.42 1.79  321630208 44.6 apollon053 .00891 .0120  778240 .00690 apollon039
forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i 951     885     2246713344 12100    apollon130 4.18 1.52  307142656 40.6 apollon111 .0137  .0136  741376 .00848 apollon139
forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i 951     881     2913386496 7360    apollon058 4.01 1.44  305766400 40.7 apollon021 .0142  .0138  884736 .0127  apollon072
forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i 951     877     3036311552 8510    apollon160 3.88 1.47  290291712 38.7 apollon057 .00914 .0132  884736 .0151  apollon039
forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i 951     886     2325295104 10000    apollon023 4.54 1.71  304750592 43.3 apollon111 .0114  .0117  880640 .00964 apollon028
forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i 951     886     835039232 9380    apollon151 5.82 1.89  322797568 49.3 apollon152 .0134  .0132  851968 .00336 apollon051
forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i 950     874     3606515712 9580    apollon112 4.10 1.55  292421632 35.2 apollon025 .0164  .0168  937984 .00958 apollon166
forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i 951     889     265719808 9640    apollon055 4.30 1.61  304218112 38.8 apollon161 .0283  .0286  901120 .00964 apollon049
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i 951     890     32063488 11700    apollon079 3.86 1.46  291573760 34.3 apollon004 .0131  .0130  1024000 .00824 apollon045
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i 250     900     587259904 2020    apollon090 101    62.3   3824812032 1040   apollon015 3.28    1.43    229945344 33.2     apollon108
list-ext-properties/simple-ext_false-unreach-call_false-valid-memcleanup_true-termination.i 948     900     32014336 14500    apollon125 3.87 1.57  284205056 34.1 apollon078 .00890 .00918 798720 .00922 apollon168
list-ext2-properties/list_and_tree_cnstr_false-unreach-call_false-termination.i 402     900     2284175360 3720    apollon087 111    70.7   3817975808 1080   apollon058 3.46    1.51    232607744 31.7     apollon005
list-ext2-properties/list_and_tree_cnstr_true-unreach-call_false-termination.i 951     871     2702385152 7640    apollon093 101    68.0   3561881600 945   apollon043 3.92    1.57    244641792 32.3     apollon149
list-ext2-properties/simple_and_skiplist_2lvl_false-unreach-call.i 950     883     2860199936 7270    apollon124 4.98 1.94  294699008 39.0 apollon042 .0190  .0219  1019904 .00720 apollon134
list-ext2-properties/simple_and_skiplist_2lvl_true-unreach-call.i 950     880     3203411968 9880    apollon160 101    71.8   4013780992 1100   apollon102 3.28    1.42    233046016 33.1     apollon044
list-ext2-properties/simple_search_value_false-unreach-call.i 951     889     3131408384 9820    apollon165 101    75.0   4014583808 1060   apollon157 3.19    1.45    233873408 27.6     apollon127
list-ext2-properties/simple_search_value_true-unreach-call.i 950     895     309002240 9890    apollon070 101    75.3   3958837248 983   apollon092 3.18    1.32    226959360 27.3     apollon058
ldv-sets/test_add_false-unreach-call_true-termination.i .283 .286 32002048 3.26 apollon124 4.02 1.57  290824192 35.1 apollon156 .00678 .0228  958464 .0345  apollon158
ldv-sets/test_mutex_double_lock_false-unreach-call_true-termination.i .285 .287 32145408 3.06 apollon079 4.34 1.67  293318656 42.2 apollon014 .00869 .00865 884736 .0122  apollon161
ldv-sets/test_mutex_double_unlock_false-unreach-call.i .269 .271 31936512 3.11 apollon001 101    72.1   3957501952 1120   apollon038 4.12    1.61    244887552 42.6     apollon021
ldv-sets/test_mutex_unbounded_false-unreach-call.i .289 .288 32067584 3.05 apollon144 5.55 1.88  319803392 46.0 apollon042 .0108  .0106  835584 .0111  apollon128
ldv-sets/test_mutex_unlock_at_exit_false-unreach-call.i .274 .275 32141312 2.88 apollon060 10.6  3.05  468631552 85.4 apollon076 .0125  .0121  925696 .0113  apollon046
ldv-sets/test_add_true-unreach-call_true-termination.i .254 .256 31997952 3.53 apollon130 3.76 1.44  279330816 38.8 apollon039 .0106  .0110  819200 .00739 apollon073
ldv-sets/test_mutex_true-unreach-call.i .285 .288 31805440 3.19 apollon049 101    69.1   3881336832 1280   apollon039 4.06    1.59    241733632 37.6     apollon019
ldv-sets/test_mutex_unbounded_true-unreach-call.i .285 .286 32120832 3.23 apollon093 101    68.9   3783802880 1270   apollon111 4.33    1.85    245358592 36.9     apollon134
floats-cdfpl/newton_1_4_false-unreach-call_true-termination.i .247 .272 32088064 3.46 apollon161 3.28 1.33  287711232 28.7 apollon051 2.46    1.13    216612864 25.3     apollon106
floats-cdfpl/newton_1_5_false-unreach-call_true-termination.i .230 .256 32182272 3.03 apollon130 3.17 1.29  289210368 30.6 apollon020 2.47    1.18    190156800 21.6     apollon082
floats-cdfpl/newton_1_6_false-unreach-call_true-termination.i .261 .288 32071680 2.80 apollon147 3.09 1.32  280403968 25.2 apollon128 2.42    1.13    214966272 23.5     apollon009
floats-cdfpl/newton_1_7_false-unreach-call_true-termination.i .315 .494 43393024 2.96 apollon073 3.33 1.36  284037120 31.8 apollon106 2.42    1.16    191447040 20.4     apollon149
floats-cdfpl/newton_1_8_false-unreach-call_true-termination.i .265 .289 32022528 3.15 apollon036 3.22 1.30  280059904 28.1 apollon034 2.35    1.11    214593536 24.2     apollon130
floats-cdfpl/newton_2_6_false-unreach-call_true-termination.i .261 .286 32018432 2.66 apollon079 3.91 1.47  304762880 28.1 apollon092 2.49    1.15    224649216 21.8     apollon165
floats-cdfpl/newton_2_7_false-unreach-call_true-termination.i .251 .275 31985664 3.26 apollon016 3.53 1.36  305381376 28.5 apollon117 .0282  .0277  974848 .0203  apollon136
floats-cdfpl/newton_2_8_false-unreach-call_true-termination.i .238 .262 32096256 3.14 apollon028 3.37 1.34  292712448 34.7 apollon160 .0138  .0135  860160 .0168  apollon006
floats-cdfpl/newton_3_6_false-unreach-call_true-termination.i .265 .289 32182272 2.77 apollon074 3.92 1.51  291278848 36.3 apollon148 2.47    1.15    223174656 26.6     apollon039
floats-cdfpl/newton_3_7_false-unreach-call_true-termination.i .251 .275 31936512 2.08 apollon063 3.84 1.41  289001472 36.7 apollon108 2.34    1.12    194854912 24.4     apollon080
floats-cdfpl/newton_3_8_false-unreach-call_true-termination.i .238 .263 32055296 2.73 apollon035 3.80 1.50  288854016 34.0 apollon009 2.55    1.15    223592448 23.6     apollon072
floats-cdfpl/sine_1_false-unreach-call_true-termination.i .245 .279 32006144 2.91 apollon060 3.03 1.30  275775488 29.2 apollon155 2.29    1.11    185864192 23.8     apollon101
floats-cdfpl/sine_2_false-unreach-call_true-termination.i .245 .274 32124928 2.40 apollon098 3.14 1.33  275918848 26.9 apollon042 2.31    1.15    196554752 20.9     apollon115
floats-cdfpl/sine_3_false-unreach-call_true-termination.i .255 .281 32051200 2.50 apollon128 3.09 1.32  276983808 27.4 apollon004 2.28    1.09    187465728 22.3     apollon015
floats-cdfpl/square_1_false-unreach-call_true-termination.i .259 .289 32047104 2.75 apollon093 3.42 1.32  296480768 27.6 apollon058 2.26    1.14    192880640 23.3     apollon007
floats-cdfpl/square_2_false-unreach-call_true-termination.i .251 .279 32022528 3.01 apollon112 3.08 1.34  274157568 28.2 apollon017 2.25    1.09    186179584 20.5     apollon062
floats-cdfpl/square_3_false-unreach-call_true-termination.i .256 .283 32083968 2.59 apollon042 3.07 1.32  283607040 27.3 apollon119 2.42    1.14    191447040 22.0     apollon103
floats-cdfpl/newton_1_1_true-unreach-call_true-termination.i .240 .265 31997952 2.74 apollon079 3.25 1.32  285380608 27.4 apollon109 2.26    1.11    190599168 19.8     apollon099
floats-cdfpl/newton_1_2_true-unreach-call_true-termination.i .233 .258 31981568 3.07 apollon112 3.29 1.32  277344256 27.8 apollon107 2.32    1.11    190914560 23.2     apollon015
floats-cdfpl/newton_1_3_true-unreach-call_true-termination.i .261 .285 32186368 2.74 apollon018 3.24 1.32  279523328 28.4 apollon085 2.39    1.13    191623168 21.6     apollon079
floats-cdfpl/newton_2_1_true-unreach-call_true-termination.i .232 .257 32047104 3.03 apollon114 3.55 1.39  299921408 31.8 apollon071 2.37    1.16    221974528 22.6     apollon130
floats-cdfpl/newton_2_2_true-unreach-call_true-termination.i .238 .264 32014336 2.76 apollon105 3.98 1.46  307306496 32.7 apollon121 2.38    1.12    190406656 21.1     apollon083
floats-cdfpl/newton_2_3_true-unreach-call_true-termination.i .261 .285 32002048 2.80 apollon018 3.71 1.39  294916096 32.1 apollon017 2.39    1.14    216297472 22.9     apollon147
floats-cdfpl/newton_2_4_true-unreach-call_true-termination.i .265 .289 31948800 2.71 apollon022 3.67 1.38  299188224 31.4 apollon026 2.35    1.12    219000832 25.3     apollon030
floats-cdfpl/newton_2_5_true-unreach-call_true-termination.i .231 .256 32108544 2.88 apollon038 3.47 1.35  293187584 32.9 apollon141 2.48    1.31    188407808 24.8     apollon081
floats-cdfpl/newton_3_1_true-unreach-call_true-termination.i .265 .289 32206848 2.40 apollon123 3.96 1.48  289370112 32.5 apollon072 2.36    1.11    193155072 22.9     apollon017
floats-cdfpl/newton_3_2_true-unreach-call_true-termination.i .232 .256 31809536 3.15 apollon112 3.56 1.43  288223232 35.9 apollon160 2.47    1.13    223420416 24.9     apollon016
floats-cdfpl/newton_3_3_true-unreach-call_true-termination.i .252 .276 31928320 2.63 apollon099 3.62 1.42  290717696 33.9 apollon019 2.50    1.17    194875392 24.8     apollon124
floats-cdfpl/newton_3_4_true-unreach-call_true-termination.i .258 .283 32030720 3.30 apollon108 3.74 1.40  288501760 35.4 apollon007 2.47    1.14    223780864 25.2     apollon088
floats-cdfpl/newton_3_5_true-unreach-call_true-termination.i .256 .279 32047104 3.41 apollon111 3.86 1.44  288108544 30.2 apollon089 2.45    1.15    215519232 25.8     apollon044
floats-cdfpl/sine_4_true-unreach-call_true-termination.i .261 .289 32067584 2.63 apollon073 3.11 1.30  276041728 27.6 apollon150 2.29    1.12    190185472 22.3     apollon009
floats-cdfpl/sine_5_true-unreach-call_true-termination.i .250 .279 32169984 2.88 apollon155 3.11 1.30  277741568 30.6 apollon016 2.22    1.10    191246336 23.1     apollon148
floats-cdfpl/sine_6_true-unreach-call_true-termination.i .235 .264 32182272 2.44 apollon123 3.08 1.30  274255872 26.7 apollon018 2.34    1.08    187985920 21.0     apollon001
floats-cdfpl/sine_7_true-unreach-call_true-termination.i .249 .277 32043008 2.66 apollon110 3.10 1.29  274198528 28.7 apollon020 2.31    1.11    185544704 22.8     apollon006
floats-cdfpl/sine_8_true-unreach-call_true-termination.i .260 .291 32149504 2.90 apollon124 2.94 1.27  275603456 29.7 apollon161 2.35    1.09    192696320 23.2     apollon006
floats-cdfpl/square_4_true-unreach-call_true-termination.i .239 .267 32010240 2.68 apollon078 3.06 1.29  276631552 29.6 apollon020 2.27    1.08    190255104 20.1     apollon045
floats-cdfpl/square_5_true-unreach-call_true-termination.i .256 .284 32067584 2.34 apollon054 3.10 1.32  272031744 27.1 apollon085 2.25    1.10    194400256 21.3     apollon004
floats-cdfpl/square_6_true-unreach-call_true-termination.i .243 .272 31993856 2.97 apollon077 3.00 1.28  277045248 24.1 apollon054 2.28    1.09    181379072 20.3     apollon066
floats-cdfpl/square_7_true-unreach-call_true-termination.i .228 .256 32178176 3.22 apollon016 3.09 1.31  273149952 23.8 apollon158 2.27    1.12    188821504 20.9     apollon012
floats-cdfpl/square_8_true-unreach-call_true-termination.i .235 .265 31920128 3.03 apollon006 3.08 1.29  275968000 28.2 apollon032 2.21    1.07    188583936 20.4     apollon133
floats-cbmc-regression/float-div1_true-unreach-call.i .357 .391 31977472 5.23 apollon094 4.25 1.54  294539264 38.0 apollon077 3.57    1.53    232353792 28.6     apollon117
floats-cbmc-regression/float-flags-simp1_true-unreach-call.i .422 .498 32202752 4.82 apollon166 4.20 1.58  286539776 35.4 apollon165 3.77    1.60    230879232 33.5     apollon053
floats-cbmc-regression/float-no-simp1_true-unreach-call_true-termination.i .254 .286 31985664 2.65 apollon078 2.95 1.26  275304448 28.1 apollon164 2.36    1.11    206385152 22.3     apollon168
floats-cbmc-regression/float-no-simp2_true-unreach-call.i .379 .389 31850496 4.07 apollon143 3.37 1.25  282005504 32.3 apollon081 .0181  .0209  745472 .00446 apollon120
floats-cbmc-regression/float-no-simp3_true-unreach-call_true-termination.i .252 .286 32133120 2.53 apollon083 2.92 1.24  280174592 28.5 apollon148 2.31    1.11    209297408 21.9     apollon156
floats-cbmc-regression/float-no-simp4_true-unreach-call.i .391 .397 32698368 4.36 apollon107 4.48 1.58  295583744 38.5 apollon005 3.80    1.60    231374848 31.4     apollon079
floats-cbmc-regression/float-no-simp6_true-unreach-call_true-termination.i .235 .261 32104448 2.85 apollon070 2.89 1.26  275648512 23.9 apollon099 2.22    1.11    188895232 21.9     apollon047
floats-cbmc-regression/float-no-simp7_true-unreach-call_true-termination.i .243 .278 32018432 2.65 apollon049 3.02 1.24  272568320 26.9 apollon112 2.20    1.08    195489792 24.4     apollon021
floats-cbmc-regression/float-no-simp8_true-unreach-call.i .372 .397 32071680 4.60 apollon081 3.23 1.26  277245952 27.3 apollon053 .00989 .00952 929792 .0132  apollon088
floats-cbmc-regression/float-rounding1_true-unreach-call.i .381 .393 32108544 4.50 apollon082 3.14 1.22  275058688 28.9 apollon009 3.60    1.48    231612416 31.9     apollon005
floats-cbmc-regression/float-to-double1_true-unreach-call.i .363 .385 32256000 4.25 apollon121 3.19 1.25  274808832 25.5 apollon117 .0110  .0108  905216 .00000 apollon164
floats-cbmc-regression/float-to-double2_true-unreach-call_true-termination.i .266 .298 32047104 2.79 apollon141 2.55 1.06  267288576 20.8 apollon100 .0216  .0225  876544 .00684 apollon128
floats-cbmc-regression/float-zero-sum1_true-unreach-call_true-termination.i .230 .256 32260096 3.23 apollon140 3.00 1.20  274448384 25.1 apollon072 2.28    1.11    192946176 21.4     apollon166
floats-cbmc-regression/float11_true-unreach-call_true-termination.i .257 .282 32129024 2.81 apollon162 2.54 1.06  266686464 23.3 apollon076 .0117  .0116  995328 .0192  apollon087
floats-cbmc-regression/float12_true-unreach-call_true-termination.i .241 .269 32014336 2.87 apollon141 2.52 1.06  271978496 22.2 apollon012 .00889 .0103  806912 .00879 apollon168
floats-cbmc-regression/float13_true-unreach-call_true-termination.i .239 .265 32022528 2.84 apollon055 2.95 1.26  274726912 24.5 apollon089 2.21    1.09    181977088 20.4     apollon109
floats-cbmc-regression/float14_true-unreach-call.i .377 .395 31940608 4.69 apollon108 3.90 1.44  286658560 35.8 apollon047 3.41    1.45    231018496 31.0     apollon004
floats-cbmc-regression/float18_true-unreach-call.i .384 .405 32268288 4.73 apollon008 5.54 1.81  304295936 42.8 apollon054 .00888 .00875 884736 .00690 apollon140
floats-cbmc-regression/float19_true-unreach-call.i .379 .402 32047104 4.40 apollon138 3.89 1.46  283901952 32.5 apollon133 .0214  .0226  761856 .00757 apollon117
floats-cbmc-regression/float1_true-unreach-call_true-termination.i .243 .276 32186368 2.79 apollon065 2.94 1.26  274829312 27.1 apollon167 2.35    1.11    204316672 20.8     apollon079
floats-cbmc-regression/float20_true-unreach-call_true-termination.i .239 .262 31813632 3.10 apollon006 3.20 1.31  279089152 26.8 apollon107 2.25    1.10    190771200 21.1     apollon025
floats-cbmc-regression/float21_true-unreach-call.i .352 .379 32088064 4.35 apollon152 4.04 1.49  286728192 31.5 apollon040 3.52    1.53    231804928 33.6     apollon068
floats-cbmc-regression/float22_true-unreach-call_true-termination.i .248 .262 32014336 3.06 apollon114 3.24 1.31  285437952 25.8 apollon054 .0189  .0195  925696 .00580 apollon159
floats-cbmc-regression/float2_true-unreach-call_true-termination.i .242 .274 31956992 2.82 apollon113 2.55 1.11  265289728 21.7 apollon157 .0105  .0109  729088 .00391 apollon099
floats-cbmc-regression/float3_true-unreach-call_true-termination.i .249 .260 32100352 2.75 apollon003 3.29 1.34  289042432 31.2 apollon108 2.24    1.09    183963648 22.9     apollon015
floats-cbmc-regression/float4_true-unreach-call.i .423 .513 31965184 4.17 apollon157 3.41 1.29  278663168 31.4 apollon091 .0128  .0134  921600 .0112  apollon016
floats-cbmc-regression/float5_true-unreach-call_true-termination.i .248 .276 32014336 2.68 apollon001 2.54 1.11  270061568 23.0 apollon087 .0132  .0162  1003520 .0114  apollon167
floats-cbmc-regression/float6_true-unreach-call_true-termination.i .243 .262 32108544 2.97 apollon146 2.76 1.16  265805824 23.9 apollon157 .0148  .0146  925696 .00598 apollon004
floats-cbmc-regression/float8_true-unreach-call.i .394 .416 32100352 4.53 apollon152 3.31 1.27  272904192 29.0 apollon168 .0296  .0288  827392 .00977 apollon083
floats-cbmc-regression/float_lib1_true-unreach-call.i .342 .373 32083968 5.36 apollon057 1.81 .714 146210816 17.2 apollon022 .0103  .0103  966656 .00519 apollon101
floats-cbmc-regression/float_lib2_true-unreach-call.i .372 .404 32268288 4.59 apollon163 3.90 1.47  284749824 35.1 apollon047 3.51    1.47    241541120 32.8     apollon031
float-benchs/cast_float_ptr_false-unreach-call_true-termination.c .252 .259 32088064 2.93 apollon035 3.37 1.37  291115008 32.4 apollon126 .0259  .0253  1036288 .00513 apollon042
float-benchs/cast_union_loose_false-unreach-call_true-termination.c .258 .255 31973376 3.24 apollon155 3.19 1.31  283373568 28.2 apollon162 .0202  .0233  905216 .00885 apollon082
float-benchs/cast_union_tight_false-unreach-call_true-termination.c .243 .268 31940608 3.14 apollon122 3.07 1.30  277520384 26.9 apollon084 .0114  .0120  724992 .00366 apollon156
float-benchs/float_int_inv_square_false-unreach-call_true-termination.c .284 .287 32043008 3.05 apollon020 3.13 1.29  280240128 29.9 apollon106 2.37    1.26    188416000 18.1     apollon063
float-benchs/inv_Newton_false-unreach-call.c .263 .287 32022528 2.85 apollon147 3.58 1.42  292753408 30.3 apollon045 2.60    1.22    226058240 27.1     apollon159
float-benchs/inv_square_false-unreach-call_true-termination.c .258 .288 32157696 2.62 apollon157 3.20 1.27  278286336 28.5 apollon052 2.31    1.15    188727296 22.7     apollon014
float-benchs/nan_double_false-unreach-call_true-termination.c .243 .273 32264192 3.20 apollon148 2.74 1.08  287801344 26.9 apollon125 .00901 .00873 1019904 .00543 apollon118
float-benchs/nan_float_false-unreach-call_true-termination.c .259 .287 31981568 2.94 apollon064 2.50 1.06  269299712 24.6 apollon126 .0143  .0141  917504 .00525 apollon167
float-benchs/sin_interpolated_index_false-unreach-call_true-termination.c .284 .381 32145408 3.57 apollon091 3.59 1.43  290566144 31.8 apollon112 2.89    1.36    227512320 25.7     apollon023
float-benchs/sqrt_poly2_false-unreach-call.c .262 .283 32096256 2.84 apollon096 3.54 1.46  283836416 26.6 apollon054 .0117  .0115  897024 .00787 apollon150
float-benchs/Muller_Kahan_true-unreach-call_true-termination.c .233 .262 32157696 2.82 apollon147 101    70.1   3703078912 1290   apollon111 2.64    1.21    223019008 22.3     apollon154
float-benchs/Rump_double_true-unreach-call_true-termination.c .257 .289 31956992 2.67 apollon118 3.05 1.30  277000192 24.2 apollon060 2.27    1.10    185569280 24.3     apollon008
float-benchs/Rump_float_true-unreach-call_true-termination.c .246 .273 31973376 2.85 apollon017 3.02 1.27  280453120 27.7 apollon168 2.22    1.08    185143296 24.5     apollon057
float-benchs/addsub_double_exact_true-unreach-call_true-termination.c .230 .261 32149504 2.68 apollon103 2.62 1.12  270811136 23.7 apollon022 .0151  .0164  827392 .00855 apollon031
float-benchs/addsub_float_exact_true-unreach-call_true-termination.c .255 .286 32124928 2.50 apollon104 2.61 1.09  267870208 22.8 apollon085 .0156  .0153  999424 .0122  apollon160
float-benchs/addsub_float_inexact_true-unreach-call_true-termination.c .245 .276 31821824 2.92 apollon017 3.01 1.23  278917120 26.0 apollon079 2.30    1.10    182034432 22.5     apollon101
float-benchs/arctan_Pade_true-unreach-call_true-termination.c .264 .286 31866880 2.42 apollon123 3.48 1.43  288264192 29.8 apollon011 2.58    1.17    230076416 27.1     apollon163
float-benchs/bary_diverge_true-unreach-call_true-termination.c 950     900     49786880 13500    apollon148 101    87.1   1271308288 1240   apollon009 950       899       235806720 13400       apollon140
float-benchs/cast_float_union_true-unreach-call.c .254 .264 31952896 2.89 apollon032 2.57 1.10  269062144 21.7 apollon042 .00897 .0117  942080 .0119  apollon069
float-benchs/cos_polynomial_true-unreach-call_true-termination.c .268 .291 31961088 3.06 apollon164 3.29 1.38  282152960 31.2 apollon047 2.56    1.22    230768640 26.3     apollon159
float-benchs/divmul_buf_diverge_true-unreach-call_true-termination.c 950     900     2731806720 10500    apollon162 101    68.9   3698745344 1050   apollon095 951       891       2799140864 8850       apollon131
float-benchs/divmul_diverge_true-unreach-call_true-termination.c 950     900     2765053952 13700    apollon161 101    69.7   3716583424 1130   apollon141 5.97    2.20    372039680 54.4     apollon017
float-benchs/drift_tenth_true-unreach-call_true-termination.c .258 .290 32231424 2.60 apollon131 7.25 2.24  447856640 59.2 apollon034 .0292  .0292  1007616 .00549 apollon004
float-benchs/exp_loop_true-unreach-call.c .407 .490 45199360 2.70 apollon149 3.80 1.50  294989824 29.7 apollon054 3.17    1.39    232169472 29.8     apollon164
float-benchs/feedback_diverge_true-unreach-call_true-termination.c 947     900     2777616384 13100    apollon088 101    69.7   3690983424 1190   apollon019 950       901       2893348864 11300       apollon062
float-benchs/filter1_true-unreach-call_true-termination.c 950     897     3015016448 18700    apollon106 3.25 1.25  294666240 29.0 apollon070 .00876 .0108  921600 .00848 apollon003
float-benchs/filter2_alt_true-unreach-call.c 950     899     48295936 11600    apollon049 101    84.8   1385123840 1150   apollon095 950       897       236896256 10400       apollon089
float-benchs/filter2_iterated_true-unreach-call.c 949     900     32034816 13000    apollon001 101    80.4   1890471936 1180   apollon018 950       901       251715584 13200       apollon072
float-benchs/filter2_reinit_true-unreach-call_true-termination.c 950     899     3057381376 10000    apollon023 102    87.5   1538564096 1130   apollon100 951       905       2749751296 13200       apollon167
float-benchs/filter2_set_true-unreach-call_true-termination.c .259 .281 31952896 2.69 apollon083 3.43 1.42  285618176 29.2 apollon058 2.71    1.20    222646272 28.8     apollon008
float-benchs/filter2_true-unreach-call_true-termination.c 951     894     60669952 12000    apollon160 101    78.5   2405908480 1100   apollon042 951       888       235520000 10300       apollon027
float-benchs/filter_iir_true-unreach-call.c 950     899     59604992 13300    apollon057 4.19 1.56  293605376 36.5 apollon164 .0269  .0293  884736 .00836 apollon067
float-benchs/float_double_true-unreach-call_true-termination.c .228 .261 31985664 2.58 apollon013 2.84 1.25  274427904 27.5 apollon020 2.20    1.09    185851904 21.3     apollon168
float-benchs/image_filter_true-unreach-call.c .315 .364 32194560 4.38 apollon167 103    74.0   3067482112 1050   apollon168 .0274  .0268  901120 .00397 apollon123
float-benchs/interpolation2_true-unreach-call_true-termination.c .249 .274 32100352 2.66 apollon110 3.83 1.43  304050176 29.0 apollon043 .00988 .00975 1056768 .0122  apollon161
float-benchs/interpolation_true-unreach-call_true-termination.c .259 .286 32124928 2.68 apollon165 3.52 1.34  298409984 31.2 apollon017 .00872 .00859 905216 .0104  apollon113
float-benchs/inv_sqrt_Quake_true-unreach-call_true-termination.c .260 .283 32133120 2.73 apollon154 3.18 1.36  281186304 25.7 apollon040 2.34    1.13    195186688 21.8     apollon156
float-benchs/inv_square_int_true-unreach-call_true-termination.c .279 .283 32096256 2.68 apollon041 3.19 1.28  289005568 28.0 apollon004 2.29    1.10    191528960 21.6     apollon166
float-benchs/inv_square_true-unreach-call_true-termination.c .260 .287 32206848 2.61 apollon011 3.11 1.30  284872704 29.9 apollon155 2.32    1.10    190545920 23.9     apollon047
float-benchs/loop_true-unreach-call.c 31.6   30.0   32006144 428    apollon144 101    73.5   3689037824 1020   apollon102 41.4     37.5     229904384 584       apollon102
float-benchs/mea8000_true-unreach-call.c 951     896     60633088 10000    apollon020 101    57.2   3726876672 1030   apollon032 7.32    2.99    407941120 65.3     apollon070
float-benchs/nan_double_range_true-unreach-call_true-termination.c .237 .266 32096256 2.70 apollon086 2.57 1.07  266473472 22.4 apollon119 .0149  .0147  823296 .00952 apollon019
float-benchs/nan_float_range_true-unreach-call_true-termination.c .260 .290 32124928 2.56 apollon023 2.51 1.07  267726848 22.1 apollon012 .0112  .0115  864256 .0115  apollon161
float-benchs/rlim_exit_true-unreach-call_true-termination.c 950     900     52117504 12000    apollon017 101    69.4   3702853632 1140   apollon152 951       892       245915648 11000       apollon136
float-benchs/rlim_invariant_true-unreach-call_true-termination.c 951     894     51249152 9960    apollon152 3.18 1.31  274526208 29.3 apollon009 .0108  .0106  905216 .00000 apollon072
float-benchs/sin_interpolated_bigrange_loose_true-unreach-call_true-termination.c .291 .388 31973376 3.36 apollon082 2.52 1.07  267304960 26.3 apollon160 2.67    1.36    228237312 28.2     apollon125
float-benchs/sin_interpolated_bigrange_tight_true-unreach-call_true-termination.c .290 .287 32071680 2.98 apollon079 2.67 1.08  268079104 24.7 apollon167 2.71    1.31    226148352 23.7     apollon104
float-benchs/sin_interpolated_index_true-unreach-call_true-termination.c .307 .404 32120832 3.20 apollon011 3.55 1.37  292544512 33.1 apollon141 2.92    1.39    227745792 25.7     apollon082
float-benchs/sin_interpolated_negation_true-unreach-call.c .278 .374 32223232 2.88 apollon092 2.71 1.16  269598720 27.6 apollon021 2.77    1.34    216264704 30.6     apollon106
float-benchs/sin_interpolated_smallrange_true-unreach-call.c .310 .409 32145408 3.60 apollon094 2.66 1.10  266366976 26.0 apollon125 2.68    1.30    202207232 26.5     apollon031
float-benchs/sqrt_Householder_constant_true-unreach-call.c .256 .272 32067584 3.79 apollon091 3.31 1.34  283959296 26.1 apollon123 2.59    1.32    217608192 22.7     apollon137
float-benchs/sqrt_Householder_interval_true-unreach-call.c .267 .291 32169984 2.93 apollon048 3.44 1.37  283762688 32.3 apollon047 2.61    1.23    224825344 23.8     apollon051
float-benchs/sqrt_Householder_pseudoconstant_true-unreach-call.c .253 .275 31989760 2.41 apollon123 3.41 1.41  286404608 33.2 apollon007 2.60    1.30    222150656 26.2     apollon130
float-benchs/sqrt_Newton_pseudoconstant_true-unreach-call.c .255 .278 31973376 2.89 apollon061 3.37 1.42  286138368 28.8 apollon095 2.66    1.31    221868032 27.9     apollon161
float-benchs/sqrt_biNewton_pseudoconstant_true-unreach-call.c .267 .286 32010240 2.73 apollon119 3.46 1.44  285523968 30.5 apollon004 2.61    1.31    221745152 25.9     apollon022
float-benchs/sqrt_poly_true-unreach-call_true-termination.c .262 .287 32149504 3.07 apollon007 3.20 1.31  284733440 27.1 apollon002 2.42    1.14    221097984 22.7     apollon049
float-benchs/water_pid_true-unreach-call_true-termination.c .261 .283 32067584 3.35 apollon160 3.73 1.47  288108544 36.7 apollon125 2.61    1.16    232370176 27.2     apollon161
float-benchs/zonotope_2_true-unreach-call_true-termination.c 2.53  2.51  31911936 31.0  apollon149 101    70.1   2707120128 1090   apollon018 6.55    4.11    251191296 75.8     apollon112
float-benchs/zonotope_3_true-unreach-call_true-termination.c 948     900     54009856 13000    apollon005 101    66.3   3724296192 1240   apollon057 6.83    2.69    399704064 61.6     apollon070
float-benchs/zonotope_loose_true-unreach-call_true-termination.c .261 .286 32014336 2.82 apollon082 3.01 1.29  276717568 27.0 apollon165 2.39    1.16    225148928 23.5     apollon138
float-benchs/zonotope_tight_true-unreach-call_true-termination.c .252 .279 32182272 3.24 apollon069 3.11 1.32  279584768 28.8 apollon077 2.30    1.12    193540096 22.7     apollon009
floats-esbmc-regression/Double_div_true-unreach-call.i .252 .278 32034816 3.06 apollon140 101    68.2   3712233472 954   apollon054 3.02    1.38    226869248 26.9     apollon023
floats-esbmc-regression/Float_div_true-unreach-call.i .230 .263 32092160 3.07 apollon081 101    69.5   3705274368 1020   apollon053 3.25    1.41    230690816 30.9     apollon101
floats-esbmc-regression/ceil_nondet_true-unreach-call.i .354 .364 32112640 5.58 apollon057 3.26 1.24  272318464 26.8 apollon095 3.59    1.48    228368384 31.2     apollon097
floats-esbmc-regression/ceil_true-unreach-call.i .376 .397 32460800 4.24 apollon119 3.88 1.46  284168192 35.0 apollon019 3.36    1.45    231260160 28.9     apollon083
floats-esbmc-regression/copysign_true-unreach-call.i .459 .624 44503040 4.55 apollon037 4.44 1.54  298180608 37.2 apollon095 3.51    1.48    231903232 30.2     apollon104
floats-esbmc-regression/digits_for_true-unreach-call.i .246 .274 31981568 2.86 apollon071 2.68 1.05  293687296 24.4 apollon101 .0100  .0105  811008 .00684 apollon101
floats-esbmc-regression/digits_while_true-unreach-call.i .265 .294 32096256 2.60 apollon078 2.45 1.04  267403264 21.7 apollon032 .0133  .0132  901120 .0171  apollon082
floats-esbmc-regression/fabs_true-unreach-call.i .364 .387 32043008 4.96 apollon044 4.31 1.53  297754624 38.5 apollon118 3.45    1.45    234549248 31.7     apollon017
floats-esbmc-regression/fdim_true-unreach-call.i .374 .396 31797248 4.39 apollon138 4.07 1.47  287440896 33.1 apollon095 3.42    1.46    234291200 30.9     apollon061
floats-esbmc-regression/floor_nondet_true-unreach-call.i .385 .395 32030720 4.83 apollon094 3.35 1.24  271601664 24.9 apollon054 3.66    1.52    240422912 30.1     apollon134
floats-esbmc-regression/floor_true-unreach-call.i .376 .399 31911936 4.50 apollon136 4.00 1.44  297574400 36.9 apollon155 3.49    1.48    230182912 27.9     apollon092
floats-esbmc-regression/fmax_true-unreach-call.i .345 .371 32129024 4.11 apollon066 3.99 1.46  290377728 35.8 apollon167 3.58    1.51    232837120 31.5     apollon070
floats-esbmc-regression/fmin_true-unreach-call.i .369 .399 31916032 4.09 apollon115 3.97 1.48  284291072 37.7 apollon125 3.53    1.48    238141440 36.9     apollon039
floats-esbmc-regression/fmod2_true-unreach-call.i .376 .396 32104448 4.33 apollon162 4.21 1.51  298278912 35.8 apollon095 3.53    1.52    236302336 30.3     apollon104
floats-esbmc-regression/fmod3_true-unreach-call.i .379 .396 31952896 4.16 apollon025 3.99 1.51  284069888 35.4 apollon084 3.57    1.48    230498304 30.1     apollon075
floats-esbmc-regression/fmod_true-unreach-call.i .373 .396 32182272 4.38 apollon067 4.04 1.51  286920704 34.7 apollon162 3.37    1.45    233181184 31.3     apollon017
floats-esbmc-regression/isgreater_true-unreach-call.i .360 .388 32063488 5.04 apollon148 3.99 1.46  286085120 35.4 apollon047 3.43    1.47    234135552 35.2     apollon122
floats-esbmc-regression/isgreaterequal_true-unreach-call.i .359 .388 32047104 4.09 apollon134 3.97 1.46  283181056 34.8 apollon168 3.38    1.45    237645824 29.3     apollon110
floats-esbmc-regression/isless_true-unreach-call.i .373 .402 31846400 4.13 apollon096 4.13 1.49  290938880 34.8 apollon070 3.57    1.48    233074688 33.2     apollon164
floats-esbmc-regression/islessequal_true-unreach-call.i .367 .395 31903744 4.15 apollon085 4.05 1.49  287981568 31.6 apollon054 3.61    1.47    235442176 33.6     apollon030
floats-esbmc-regression/islessgreater_true-unreach-call.i .354 .385 32034816 4.85 apollon014 3.89 1.51  287326208 36.5 apollon164 3.58    1.49    236453888 36.1     apollon039
floats-esbmc-regression/isunordered_true-unreach-call.i .374 .406 31891456 4.41 apollon146 4.37 1.58  295870464 40.0 apollon007 3.84    1.59    240930816 32.1     apollon062
floats-esbmc-regression/lrint_true-unreach-call.i .385 .399 32018432 4.77 apollon048 3.20 1.24  274493440 25.5 apollon107 3.36    1.46    220807168 28.3     apollon003
floats-esbmc-regression/modf_true-unreach-call.i .365 .391 32108544 4.51 apollon155 3.92 1.46  287424512 31.5 apollon089 3.52    1.47    235900928 28.6     apollon151
floats-esbmc-regression/nan_true-unreach-call.i .378 .388 32120832 3.86 apollon151 3.84 1.48  286842880 36.7 apollon007 3.55    1.47    234958848 28.7     apollon137
floats-esbmc-regression/nearbyint2_true-unreach-call.i .377 .389 32047104 4.38 apollon120 3.15 1.20  272756736 28.1 apollon067 3.27    1.50    223662080 31.2     apollon141
floats-esbmc-regression/nearbyint_true-unreach-call.i .375 .384 32104448 4.38 apollon050 3.25 1.28  277970944 27.4 apollon025 3.55    1.52    228921344 31.3     apollon157
floats-esbmc-regression/remainder_true-unreach-call.i .370 .389 32301056 4.06 apollon116 4.04 1.51  287850496 34.8 apollon084 3.72    1.49    235139072 30.7     apollon072
floats-esbmc-regression/rint2_true-unreach-call.i .384 .396 32051200 4.75 apollon007 3.14 1.23  272629760 27.4 apollon084 3.37    1.45    222543872 29.2     apollon001
floats-esbmc-regression/rint_true-unreach-call.i .385 .393 32108544 4.74 apollon152 3.32 1.28  272330752 29.6 apollon047 3.78    1.55    232185856 32.4     apollon142
floats-esbmc-regression/round_nondet_true-unreach-call.i .376 .383 32198656 4.95 apollon132 3.28 1.29  273203200 29.5 apollon152 3.40    1.50    232148992 35.8     apollon111
floats-esbmc-regression/round_true-unreach-call.i .383 .400 32120832 4.53 apollon031 3.90 1.45  288792576 32.2 apollon127 3.54    1.50    237342720 34.1     apollon031
floats-esbmc-regression/rounding_functions_true-unreach-call.i .380 .398 32161792 4.77 apollon164 4.25 1.47  291086336 35.2 apollon015 3.60    1.49    232341504 33.2     apollon017
floats-esbmc-regression/trunc_nondet_2_true-unreach-call.i .386 .399 32067584 4.34 apollon165 4.10 1.52  288456704 36.5 apollon093 3.36    1.46    232607744 29.4     apollon133
floats-esbmc-regression/trunc_nondet_true-unreach-call.i .361 .370 32108544 4.38 apollon012 3.25 1.24  278786048 30.2 apollon081 3.75    1.55    235634688 33.6     apollon095
floats-esbmc-regression/trunc_true-unreach-call.i .375 .397 32129024 4.22 apollon150 3.98 1.46  293666816 38.6 apollon106 3.44    1.48    235180032 32.1     apollon168
floats-esbmc-regression/Double_div_bad_false-unreach-call.i .258 .276 32100352 2.77 apollon058 101    72.5   3698872320 1270   apollon148 3.29    1.40    227123200 27.7     apollon025
floats-esbmc-regression/Float_div_bad_false-unreach-call.i .263 .292 32092160 2.81 apollon082 101    79.0   1104375808 1250   apollon007 2.42    1.24    189759488 20.9     apollon083
floats-esbmc-regression/digits_bad_for_false-unreach-call.i .243 .264 32231424 2.54 apollon116 2.45 1.05  269201408 18.8 apollon158 .0119  .0116  978944 .0132  apollon064
floats-esbmc-regression/digits_bad_while_false-unreach-call.i .251 .278 32079872 2.58 apollon099 2.61 1.04  270020608 21.4 apollon156 .0285  .0278  851968 .00684 apollon118
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c 2.70  2.19  38215680 30.3  apollon154 10.5  2.91  467931136 92.6 apollon160 .00895 .00888 876544 .00842 apollon003
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c 1.10  .981 32190464 12.7  apollon119 7.84 2.35  439459840 64.1 apollon156 .0150  .0153  761856 .0122  apollon083
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c 2.55  1.90  32182272 26.2  apollon060 8.41 2.46  459096064 66.6 apollon095 .0294  .0313  897024 .00702 apollon031
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c .880 .896 32243712 9.87 apollon144 6.15 2.02  326635520 49.7 apollon025 .0163  .0171  954368 .00641 apollon101
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 2.76  2.33  32296960 29.8  apollon012 8.90 2.66  453758976 68.8 apollon157 .0183  .0178  1028096 .00470 apollon058
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 951     817     524443648 12400    apollon009 7.15 2.11  430432256 59.3 apollon112 .0131  .0130  880640 .00848 apollon094
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c 1.14  .958 33775616 20.7  apollon106 5.99 1.94  332750848 50.8 apollon070 .0134  .0132  847872 .0110  apollon082
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c 2.61  1.99  38133760 33.1  apollon044 7.36 2.23  406474752 63.9 apollon022 .0104  .0118  1011712 .00983 apollon040
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c .500 .481 32280576 5.17 apollon139 3.63 1.40  280764416 35.6 apollon126 .00852 .0126  1019904 .0104  apollon079
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c .863 .791 32149504 7.92 apollon063 4.60 1.58  281321472 39.3 apollon146 .0141  .0134  1032192 .0111  apollon015
ssh-simplified/s3_clnt_1_false-unreach-call_true-termination.cil.c 1.12  .786 33353728 11.4  apollon058 9.16 2.75  455581696 75.9 apollon051 .00950 .00940 884736 .00690 apollon101
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c 1.08  .673 33239040 11.4  apollon026 8.52 2.48  452268032 66.7 apollon018 .0237  .0234  970752 .00623 apollon035
ssh-simplified/s3_clnt_3_false-unreach-call_true-termination.cil.c 2.02  1.60  61206528 24.4  apollon010 9.85 2.84  453873664 91.4 apollon021 .0287  .0285  901120 .00604 apollon043
ssh-simplified/s3_clnt_4_false-unreach-call_true-termination.cil.c 2.18  1.47  36798464 22.8  apollon115 8.96 2.59  457687040 76.4 apollon047 .0138  .0131  1069056 .00726 apollon012
ssh-simplified/s3_srvr_10_false-unreach-call_false-termination.cil.c 4.10  3.71  53432320 53.5  apollon164 4.35 1.63  290156544 37.2 apollon026 .00975 .0123  843776 .00000 apollon045
ssh-simplified/s3_srvr_11_false-unreach-call_false-termination.cil.c 562     900     1737662464 3290    apollon109 49.7  19.2   1668919296 479   apollon125 17.3     9.46    553791488 184       apollon167
ssh-simplified/s3_srvr_12_false-unreach-call_false-termination.cil.c 6.01  5.10  218468352 73.8  apollon046 60.7  34.1   1772802048 619   apollon009 12.5     4.56    526413824 108       apollon067
ssh-simplified/s3_srvr_13_false-unreach-call_false-termination.cil.c 4.12  3.68  162209792 60.0  apollon160 9.78 2.78  483901440 73.5 apollon053 .00809 .00859 745472 .00946 apollon069
ssh-simplified/s3_srvr_14_false-unreach-call_false-termination.cil.c 4.37  3.81  77008896 51.9  apollon055 7.83 2.35  419213312 58.0 apollon098 .00879 .00909 745472 .00995 apollon159
ssh-simplified/s3_srvr_1_false-unreach-call_false-termination.cil.c 4.31  3.80  78438400 62.0  apollon021 6.74 2.12  351375360 60.0 apollon030 .0108  .0112  770048 .00836 apollon141
ssh-simplified/s3_srvr_2_false-unreach-call_false-termination.cil.c 4.34  3.80  76369920 51.5  apollon147 6.40 2.06  341139456 52.4 apollon042 .0192  .0189  1073152 .00659 apollon137
ssh-simplified/s3_srvr_6_false-unreach-call_false-termination.cil.c 4.09  3.70  69713920 42.4  apollon151 4.09 1.57  288546816 34.7 apollon070 .0162  .0185  991232 .00513 apollon046
ssh-simplified/s3_clnt_1_true-unreach-call_true-termination.cil.c 1.64  .964 34623488 15.9  apollon041 16.2  4.63  621895680 131   apollon127 .0138  .0135  880640 .0106  apollon027
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c 1.61  .990 31965184 16.1  apollon109 12.4  3.48  488386560 107   apollon111 .00567 .00995 823296 .00830 apollon104
ssh-simplified/s3_clnt_3_true-unreach-call_true-termination.cil.c 1.58  .996 32100352 17.6  apollon101 9.73 2.76  496414720 88.7 apollon111 .0208  .0216  815104 .00592 apollon055
ssh-simplified/s3_clnt_4_true-unreach-call_true-termination.cil.c 1.62  .982 34754560 16.8  apollon103 18.1  4.97  612642816 134   apollon017 .0196  .0219  954368 .00409 apollon144
ssh-simplified/s3_srvr_1_true-unreach-call_false-termination.cil.c 951     796     2691981312 7560    apollon075 41.7  18.1   1533001728 370   apollon133 .0121  .0120  839680 .00836 apollon108
ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c 951     886     91328512 11400    apollon007 7.31 2.23  444444672 61.2 apollon167 .0123  .0121  802816 .00671 apollon136
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c 951     886     79761408 9580    apollon103 3.82 1.48  276803584 34.5 apollon022 .0152  .0158  765952 .00879 apollon086
ssh-simplified/s3_srvr_2_true-unreach-call_false-termination.cil.c 950     806     846192640 7650    apollon105 24.1  6.61  852000768 170   apollon100 .0110  .0107  811008 .00909 apollon009
ssh-simplified/s3_srvr_3_true-unreach-call_false-termination.cil.c 950     804     820359168 8540    apollon165 28.2  7.36  799481856 199   apollon117 .0105  .0137  925696 .0132  apollon030
ssh-simplified/s3_srvr_4_true-unreach-call_false-termination.cil.c 950     809     809025536 8060    apollon083 31.2  9.52  1082322944 248   apollon011 .0109  .0107  831488 .0118  apollon035
ssh-simplified/s3_srvr_6_true-unreach-call_false-termination.cil.c 951     790     798154752 8100    apollon129 101    76.2   2603286528 1050   apollon167 13.6     6.21    535998464 118       apollon002
ssh-simplified/s3_srvr_7_true-unreach-call_false-termination.cil.c 951     795     819634176 7640    apollon075 47.6  24.3   1600352256 450   apollon038 .0104  .0110  946176 .00513 apollon056
ssh-simplified/s3_srvr_8_true-unreach-call_false-termination.cil.c 950     807     823693312 7090    apollon092 41.6  14.9   1357250560 335   apollon045 .0245  .0252  880640 .00494 apollon109
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c 2.83  5.01  106733568 35.7  apollon117 3.89 1.55  290488320 35.3 apollon118 .00859 .0108  864256 .0131  apollon167
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c 5.10  5.61  199864320 72.1  apollon005 3.69 1.47  286932992 32.3 apollon085 .0118  .0125  897024 .00800 apollon092
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c 950     825     431804416 8770    apollon083 3.20 1.26  274280448 28.7 apollon004 .0141  .0145  856064 .0112  apollon007
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c 951     819     662880256 7920    apollon018 3.29 1.30  272015360 27.6 apollon051 .0149  .0158  897024 .00531 apollon051
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c 951     819     807694336 8030    apollon151 3.20 1.26  276197376 29.6 apollon118 .0195  .0207  868352 .00629 apollon022
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c 950     801     995074048 8750    apollon019 3.28 1.31  276688896 29.5 apollon004 .0129  .0138  864256 .00684 apollon136
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c 950     800     1302360064 11400    apollon080 3.31 1.34  275124224 28.9 apollon034 .0256  .0272  765952 .00732 apollon076
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c 951     794     1936498688 11600    apollon148 3.36 1.30  277331968 28.7 apollon026 .0121  .0123  864256 .0140  apollon148
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c 951     864     133046272 10600    apollon081 2.82 1.18  271339520 25.1 apollon078 .0127  .0129  958464 .0121  apollon088
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c 950     854     166731776 9740    apollon004 2.83 1.18  267870208 24.6 apollon085 .0127  .0126  905216 .0115  apollon058
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c 951     845     184221696 9360    apollon046 2.93 1.19  274169856 23.8 apollon043 .0117  .0115  995328 .00842 apollon076
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c 950     826     245596160 7410    apollon032 3.00 1.21  271302656 28.6 apollon020 .0196  .0194  880640 .00635 apollon049
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c 950     823     323211264 8600    apollon046 3.07 1.21  271044608 26.9 apollon087 .0213  .0224  917504 .00726 apollon128
ntdrivers/cdaudio_false-unreach-call.i.cil.c 2.68  2.21  73199616 34.7  apollon005 101    58.2   3856003072 984   apollon107 13.2     5.22    479002624 104       apollon079
ntdrivers/diskperf_false-unreach-call.i.cil.c 950     949     32276480 12800    apollon009 11.5  3.08  487526400 99.5 apollon161 .00854 .00868 802816 .00000 apollon057
ntdrivers/floppy_false-unreach-call.i.cil.c 950     949     32182272 12400    apollon011 27.8  7.02  827916288 214   apollon051 .0103  .0131  901120 .00897 apollon076
ntdrivers/kbfiltr_false-unreach-call.i.cil.c 1.31  1.18  39571456 14.6  apollon043 9.18 2.59  472186880 71.0 apollon026 .0112  .0109  708608 .0146  apollon161
ntdrivers/parport_false-unreach-call.i.cil.c 1.80  1.76  55394304 22.9  apollon144 41.1  12.3   1233416192 337   apollon002 .0157  .0161  995328 .00787 apollon126
ntdrivers/cdaudio_true-unreach-call.i.cil.c 1.71  1.68  49082368 21.4  apollon119 13.2  3.52  498647040 108   apollon161 .0224  .0217  909312 .00690 apollon082
ntdrivers/diskperf_true-unreach-call.i.cil.c 950     949     32256000 13800    apollon167 10.4  2.82  465846272 85.1 apollon119 .0295  .0312  921600 .00653 apollon053
ntdrivers/floppy2_true-unreach-call_true-termination.i.cil.c 950     949     31985664 13500    apollon068 36.7  9.30  1080754176 265   apollon051 .0139  .0138  1007616 .0134  apollon051
ntdrivers/floppy_true-unreach-call_true-valid-memsafety.i.cil.c 950     949     32096256 11300    apollon089 22.8  5.87  808267776 158   apollon098 .0127  .0128  1003520 .0104  apollon116
ntdrivers/parport_true-unreach-call.i.cil.c 1.79  1.82  48373760 26.1  apollon027 48.1  18.0   1745305600 449   apollon167 .0121  .0119  1007616 .0140  apollon080
ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c 8.03  7.30  38588416 103    apollon006 9.13 2.57  449695744 67.3 apollon058 .0139  .0146  843776 .0107  apollon075
ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c 81.6   73.6   90910720 912    apollon040 9.14 2.59  452468736 80.0 apollon161 .00840 .00827 946176 .0106  apollon117
ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c 82.4   74.0   91983872 1110    apollon163 8.63 2.46  425029632 62.6 apollon158 .0167  .0162  856064 .00653 apollon005
ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c 81.7   73.7   88776704 951    apollon023 8.65 2.52  455716864 68.1 apollon038 .0180  .0178  905216 .0115  apollon088
ssh/s3_srvr.blast.01_false-unreach-call.i.cil.c .591 .610 32149504 7.49 apollon164 8.04 2.33  395956224 61.8 apollon089 .0202  .0210  876544 .00354 apollon108
ssh/s3_srvr.blast.02_false-unreach-call.i.cil.c .571 .589 32034816 6.61 apollon045 8.22 2.40  409186304 65.0 apollon053 .0134  .0161  937984 .00482 apollon071
ssh/s3_srvr.blast.03_false-unreach-call.i.cil.c .572 .579 32010240 7.82 apollon059 7.72 2.25  406921216 61.1 apollon058 .0111  .0109  749568 .0121  apollon156
ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c .583 .603 31952896 6.48 apollon109 8.04 2.33  421318656 61.0 apollon002 .00832 .0109  888832 .0110  apollon091
ssh/s3_srvr.blast.06_false-unreach-call.i.cil.c .594 .590 32165888 8.96 apollon057 5.85 1.89  315543552 51.3 apollon019 .0290  .0292  995328 .00586 apollon078
ssh/s3_srvr.blast.07_false-unreach-call.i.cil.c .595 .602 32026624 7.60 apollon048 9.70 2.76  460361728 80.3 apollon067 .0122  .0150  831488 .00500 apollon047
ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c .611 .599 31907840 5.73 apollon063 5.83 1.92  310112256 46.1 apollon058 .0192  .0192  872448 .00751 apollon152
ssh/s3_srvr.blast.09_false-unreach-call.i.cil.c .607 .600 34426880 7.52 apollon138 10.9  3.09  443912192 87.7 apollon022 .0131  .0128  1048576 .0111  apollon156
ssh/s3_srvr.blast.10_false-unreach-call.i.cil.c .599 .591 32092160 7.26 apollon001 5.66 1.87  313110528 48.9 apollon168 .0219  .0215  909312 .00690 apollon120
ssh/s3_srvr.blast.11_false-unreach-call.i.cil.c .603 .587 32022528 6.82 apollon041 10.3  2.89  481853440 76.8 apollon054 .0154  .0181  946176 .00421 apollon133
ssh/s3_srvr.blast.12_false-unreach-call.i.cil.c .616 .606 32161792 6.80 apollon097 5.76 1.87  309747712 44.6 apollon123 .0135  .0135  757760 .0121  apollon118
ssh/s3_srvr.blast.13_false-unreach-call.i.cil.c .595 .580 34492416 7.79 apollon140 10.5  2.93  447406080 82.4 apollon053 .00735 .00791 786432 .00836 apollon061
ssh/s3_srvr.blast.14_false-unreach-call.i.cil.c .577 .569 32051200 7.10 apollon084 5.94 1.95  320987136 56.0 apollon125 .0143  .0141  708608 .0117  apollon159
ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c .612 .595 32133120 6.85 apollon127 5.86 1.86  309665792 50.0 apollon101 .0144  .0141  827392 .0125  apollon061
ssh/s3_srvr.blast.16_false-unreach-call.i.cil.c .577 .576 32116736 6.48 apollon054 6.07 1.92  310468608 47.0 apollon002 .00709 .00692 786432 .0143  apollon056
ssh/s3_clnt.blast.01_true-unreach-call.i.cil.c 7.88  7.10  38846464 96.5  apollon015 9.88 2.74  463360000 80.9 apollon070 .0275  .0291  892928 .00708 apollon055
ssh/s3_clnt.blast.02_true-unreach-call.i.cil.c 82.2   73.9   91234304 1090    apollon005 9.08 2.61  445390848 70.6 apollon082 .0108  .0106  860160 .0113  apollon058
ssh/s3_clnt.blast.03_true-unreach-call.i.cil.c 81.2   73.4   89858048 1040    apollon071 10.4  2.96  451772416 84.8 apollon101 .0122  .0142  880640 .0137  apollon165
ssh/s3_clnt.blast.04_true-unreach-call.i.cil.c 81.6   73.4   85696512 1100    apollon130 10.8  2.98  448491520 87.1 apollon076 .00658 .0102  741376 .00958 apollon031
ssh/s3_srvr.blast.01_true-unreach-call.i.cil.c .698 .706 34553856 6.87 apollon054 10.3  2.98  454479872 73.2 apollon054 .0122  .0118  1028096 .0162  apollon056
ssh/s3_srvr.blast.02_true-unreach-call.i.cil.c .655 .724 32043008 8.37 apollon008 8.51 2.44  474112000 70.8 apollon141 .0133  .0128  1056768 .00000 apollon049
ssh/s3_srvr.blast.06_true-unreach-call.i.cil.c .614 .600 32022528 7.60 apollon015 78.6  40.0   2531569664 760   apollon125 .0133  .0131  991232 .00415 apollon117
ssh/s3_srvr.blast.07_true-unreach-call.i.cil.c .607 .600 31899648 7.01 apollon083 12.5  3.42  493748224 96.9 apollon051 .0170  .0183  974848 .00574 apollon093
ssh/s3_srvr.blast.08_true-unreach-call.i.cil.c .596 .587 32174080 8.76 apollon021 16.2  4.48  638615552 145   apollon030 .0286  .0299  897024 .00629 apollon051
ssh/s3_srvr.blast.09_true-unreach-call.i.cil.c .582 .568 36728832 7.75 apollon142 12.2  3.42  467406848 99.3 apollon101 .0113  .0110  1040384 .00000 apollon056
ssh/s3_srvr.blast.10_true-unreach-call.i.cil.c .597 .586 32251904 7.35 apollon129 11.5  3.15  471052288 88.4 apollon042 .00975 .0141  1007616 .00000 apollon083
ssh/s3_srvr.blast.11_true-unreach-call.i.cil.c .610 .592 36528128 7.71 apollon132 11.7  3.23  469540864 102   apollon044 .00889 .00877 913408 .00842 apollon146
ssh/s3_srvr.blast.12_true-unreach-call.i.cil.c .601 .592 31989760 7.16 apollon034 20.4  5.99  646975488 176   apollon140 .0103  .0107  786432 .00787 apollon168
ssh/s3_srvr.blast.13_true-unreach-call.i.cil.c .655 .733 32169984 7.47 apollon020 10.5  2.99  446189568 94.1 apollon126 .0290  .0291  962560 .00842 apollon076
ssh/s3_srvr.blast.14_true-unreach-call.i.cil.c .635 .698 34299904 7.26 apollon137 32.8  12.1   1119997952 300   apollon030 .00939 .00917 995328 .0143  apollon080
ssh/s3_srvr.blast.15_true-unreach-call.i.cil.c .587 .575 32243712 7.71 apollon064 19.9  5.63  705064960 172   apollon140 .0126  .0123  905216 .0157  apollon105
ssh/s3_srvr.blast.16_true-unreach-call.i.cil.c .587 .575 31985664 6.98 apollon115 36.6  16.4   1510846464 293   apollon158 .00921 .00920 765952 .00915 apollon045
eca-rers2012/Problem01_label15_false-unreach-call_false-termination.c 6.30  5.03  186707968 61.5  apollon123 19.2  5.31  774098944 155   apollon109 .00902 .00920 753664 .0126  apollon077
eca-rers2012/Problem01_label20_false-unreach-call_false-termination.c 8.44  6.54  238960640 91.6  apollon097 26.3  7.53  1136979968 215   apollon009 .0208  .0220  806912 .00562 apollon118
eca-rers2012/Problem01_label21_false-unreach-call_false-termination.c 5.78  4.69  173342720 65.3  apollon001 20.4  5.38  821071872 181   apollon044 .0175  .0176  864256 .00427 apollon155
eca-rers2012/Problem01_label32_false-unreach-call_false-termination.c 8.18  6.33  232165376 84.8  apollon083 29.0  8.58  1047896064 242   apollon020 .0114  .0113  946176 .00653 apollon056
eca-rers2012/Problem01_label33_false-unreach-call_false-termination.c 6.31  5.02  183402496 77.4  apollon108 22.0  6.19  848171008 171   apollon060 .0108  .0106  1056768 .00824 apollon069
eca-rers2012/Problem01_label35_false-unreach-call_false-termination.c 5.82  4.72  171905024 73.4  apollon007 26.9  9.13  1037926400 207   apollon058 .0174  .0180  937984 .00836 apollon064
eca-rers2012/Problem01_label37_false-unreach-call_false-termination.c 6.73  5.31  197046272 73.4  apollon045 22.1  5.89  846315520 170   apollon085 .0298  .0291  892928 .00525 apollon025
eca-rers2012/Problem01_label38_false-unreach-call_false-termination.c 6.33  5.02  188211200 64.7  apollon098 21.1  5.64  812269568 168   apollon047 .0121  .0126  782336 .00885 apollon031
eca-rers2012/Problem01_label44_false-unreach-call_false-termination.c 5.20  4.30  160055296 56.3  apollon086 16.0  4.32  600502272 144   apollon125 .0122  .0122  1003520 .00000 apollon032
eca-rers2012/Problem01_label47_false-unreach-call_false-termination.c 7.55  5.83  216965120 79.1  apollon035 43.2  21.7   2095919104 429   apollon038 .0138  .0163  872448 .00433 apollon113
eca-rers2012/Problem01_label50_false-unreach-call_false-termination.c 6.12  4.92  180436992 65.5  apollon012 22.0  5.95  801144832 186   apollon044 .0132  .0129  909312 .00000 apollon001
eca-rers2012/Problem01_label56_false-unreach-call_false-termination.c 7.04  5.53  204881920 83.6  apollon138 23.4  6.12  823189504 187   apollon126 .00832 .00814 905216 .0116  apollon016
eca-rers2012/Problem01_label57_false-unreach-call_false-termination.c 6.29  5.02  191262720 70.2  apollon032 43.7  23.2   2018070528 430   apollon032 .00834 .0103  868352 .0145  apollon112
eca-rers2012/Problem02_label13_false-unreach-call_false-termination.c 6.40  5.32  275914752 75.5  apollon114 13.1  3.55  471687168 100   apollon071 .0122  .0123  884736 .00708 apollon120
eca-rers2012/Problem02_label16_false-unreach-call_false-termination.c 4.77  4.12  212082688 53.0  apollon034 11.0  3.11  477917184 90.4 apollon087 .0107  .0105  782336 .00787 apollon093
eca-rers2012/Problem02_label43_false-unreach-call_false-termination.c 4.72  4.10  217755648 54.7  apollon072 12.5  3.39  489721856 105   apollon032 .0148  .0154  884736