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:59:29 CET
Run set tbf_ex.afl congen.predicate conditions-predicate-reducer-verifiers.AFL
Options -i afl --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 afl
../../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.72  3.39  32083968 42.8  apollon128 2.52 1.07  272412672 23.6 apollon152 2.36    1.20    185741312 22.7     apollon068
array-examples/sorting_bubblesort_false-unreach-call2_ground.i 6.31  5.31  32051200 58.3  apollon149 2.48 1.06  266936320 22.8 apollon077 8.33    6.13    183709696 102       apollon039
array-examples/sorting_bubblesort_false-unreach-call_ground.i 6.31  5.31  32256000 68.9  apollon048 2.58 1.06  271364096 23.2 apollon146 8.20    6.16    183898112 78.1     apollon042
array-examples/sorting_selectionsort_false-unreach-call2_ground.i 3.50  3.27  32083968 43.0  apollon165 2.52 1.05  273469440 25.9 apollon021 5.54    4.17    186884096 68.6     apollon028
array-examples/sorting_selectionsort_false-unreach-call_ground.i 3.54  3.30  32153600 47.8  apollon126 2.51 1.10  269996032 22.5 apollon070 5.56    4.21    182140928 62.2     apollon106
array-examples/standard_allDiff2_false-unreach-call_ground.i 204     900     32043008 2400    apollon027 2.55 1.02  272674816 20.6 apollon100 251       981       180862976 2310       apollon110
array-examples/standard_copy1_false-unreach-call_ground.i .467 .477 622018560 4.96 apollon060 2.47 1.04  270622720 21.5 apollon012 2.43    1.42    622551040 22.5     apollon003
array-examples/standard_copy2_false-unreach-call_ground.i .464 .482 622436352 5.24 apollon144 2.63 1.07  266743808 24.9 apollon044 2.54    1.43    623398912 24.9     apollon145
array-examples/standard_copy3_false-unreach-call_ground.i .477 .483 622907392 5.00 apollon043 2.54 1.10  266362880 21.5 apollon157 2.55    1.44    623747072 23.3     apollon050
array-examples/standard_copy4_false-unreach-call_ground.i .470 .472 623452160 6.06 apollon148 2.57 1.05  271839232 23.3 apollon112 2.51    1.45    623788032 23.2     apollon157
array-examples/standard_copy5_false-unreach-call_ground.i .480 .480 623992832 5.57 apollon084 2.76 1.09  293363712 23.0 apollon025 2.59    1.41    624508928 25.8     apollon145
array-examples/standard_copy6_false-unreach-call_ground.i .481 .485 623935488 5.16 apollon116 2.47 1.03  267083776 22.3 apollon120 2.46    1.39    624525312 26.0     apollon130
array-examples/standard_copy7_false-unreach-call_ground.i .470 .473 624721920 5.82 apollon142 2.52 1.07  271093760 25.7 apollon057 2.54    1.41    625160192 24.2     apollon119
array-examples/standard_copy8_false-unreach-call_ground.i .458 .457 624816128 5.61 apollon062 2.74 1.13  269246464 23.6 apollon015 2.72    1.46    625864704 25.1     apollon072
array-examples/standard_copy9_false-unreach-call_ground.i .493 .491 625229824 5.44 apollon153 2.61 1.06  270417920 21.9 apollon045 2.62    1.41    625811456 27.1     apollon028
array-examples/standard_copyInitSum2_false-unreach-call_ground.i 3.49  3.30  31784960 50.8  apollon108 2.44 1.04  267759616 21.5 apollon085 5.46    4.13    177180672 69.5     apollon124
array-examples/standard_init1_false-unreach-call_ground.i 3.51  3.28  32092160 56.6  apollon039 2.45 1.04  267902976 20.9 apollon157 5.45    4.09    178491392 65.7     apollon052
array-examples/standard_init2_false-unreach-call_ground.i 3.50  3.30  32038912 44.6  apollon018 2.38 1.03  268550144 22.5 apollon067 5.41    4.13    188846080 70.7     apollon159
array-examples/standard_init3_false-unreach-call_ground.i 3.46  3.27  32063488 43.9  apollon133 2.47 1.02  271982592 25.8 apollon021 5.44    4.14    185352192 70.6     apollon159
array-examples/standard_init4_false-unreach-call_ground.i 3.47  3.29  32210944 45.6  apollon010 2.61 1.08  274423808 20.3 apollon089 5.40    4.11    181252096 71.6     apollon027
array-examples/standard_init5_false-unreach-call_ground.i 3.47  3.30  32047104 49.3  apollon163 2.56 1.04  266813440 22.3 apollon118 5.43    4.10    184479744 70.1     apollon030
array-examples/standard_init6_false-unreach-call_ground.i 3.47  3.28  32161792 40.8  apollon096 2.57 1.05  267812864 23.4 apollon152 5.45    4.13    181096448 64.8     apollon113
array-examples/standard_init7_false-unreach-call_ground.i 3.46  3.29  32190464 41.6  apollon084 2.48 1.04  269676544 25.6 apollon021 5.51    4.10    184471552 60.2     apollon160
array-examples/standard_init8_false-unreach-call_ground.i 3.73  3.38  32047104 32.3  apollon011 2.50 1.06  268128256 21.8 apollon018 5.61    4.15    191680512 56.8     apollon006
array-examples/standard_init9_false-unreach-call_ground.i 3.58  3.30  31944704 35.6  apollon061 2.54 1.05  269008896 26.2 apollon039 5.67    4.25    185491456 51.4     apollon084
array-examples/standard_minInArray_false-unreach-call_ground.i 3.60  3.30  32006144 37.6  apollon159 2.61 1.02  267812864 23.6 apollon015 5.41    4.11    184107008 58.0     apollon099
array-examples/standard_partition_false-unreach-call_ground.i 3.50  3.30  32075776 37.1  apollon043 2.51 1.06  268705792 21.6 apollon082 5.42    4.14    181747712 67.4     apollon036
array-examples/standard_running_false-unreach-call.i 254     900     32256000 2200    apollon008 2.64 1.07  264208384 21.3 apollon053 295       981       185171968 2140       apollon054
array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i 226     900     32362496 1830    apollon157 2.60 1.06  272642048 20.8 apollon151 2.25    1.13    194936832 20.3     apollon013
array-examples/data_structures_set_multi_proc_true-unreach-call_ground.i 309     900     32272384 2940    apollon061 2.47 1.06  266264576 20.2 apollon117 2.29    1.15    184348672 19.2     apollon158
array-examples/relax_true-unreach-call.i 911     900     68370432 10300    apollon033 6.31 2.05  316092416 54.9 apollon007 3.76    1.51    237191168 33.8     apollon034
array-examples/sanfoundry_02_true-unreach-call_ground.i 345     900     31862784 4860    apollon030 2.54 1.05  269328384 20.6 apollon099 354       981       189427712 3450       apollon163
array-examples/sanfoundry_10_true-unreach-call_ground.i 390     900     31903744 2920    apollon115 101    73.5   3730948096 1140   apollon018 528       981       225099776 4420       apollon145
array-examples/sanfoundry_24_true-unreach-call_true-termination.i 337     900     32165888 2630    apollon089 2.46 1.05  268558336 22.1 apollon084 365       981       184655872 2490       apollon166
array-examples/sanfoundry_27_true-unreach-call_ground.i 291     900     32075776 2320    apollon149 2.48 1.06  265367552 21.5 apollon072 324       981       183930880 2420       apollon055
array-examples/sanfoundry_43_true-unreach-call_ground.i 214     900     31883264 1630    apollon092 2.53 1.05  266354688 25.7 apollon160 .00905 .0121  823296 .0103  apollon134
array-examples/sorting_bubblesort_true-unreach-call_ground.i 6.31  5.30  31965184 70.0  apollon047 2.53 1.08  269271040 21.5 apollon157 8.14    6.10    183681024 80.1     apollon129
array-examples/sorting_selectionsort_true-unreach-call_ground.i 6.30  5.39  31928320 93.1  apollon039 2.50 1.04  269221888 21.7 apollon026 8.39    6.30    188092416 94.8     apollon019
array-examples/standard_compareModified_true-unreach-call_ground.i 330     900     31969280 3350    apollon117 2.37 1.05  269266944 21.6 apollon087 374       981       188649472 3760       apollon061
array-examples/standard_compare_true-unreach-call_ground.i 218     900     32092160 2410    apollon075 2.49 1.04  266219520 21.2 apollon002 276       981       188923904 2530       apollon061
array-examples/standard_copy1_true-unreach-call_ground.i .390 .382 319004672 4.18 apollon103 2.46 1.06  264511488 21.5 apollon072 2.39    1.36    319680512 25.3     apollon125
array-examples/standard_copy2_true-unreach-call_ground.i .383 .373 319414272 4.50 apollon084 2.68 1.09  274247680 19.3 apollon158 2.35    1.32    319832064 25.4     apollon159
array-examples/standard_copy3_true-unreach-call_ground.i .394 .384 319655936 4.75 apollon108 2.48 1.05  263942144 23.7 apollon161 2.44    1.35    320286720 23.7     apollon101
array-examples/standard_copy4_true-unreach-call_ground.i .390 .375 319897600 5.18 apollon080 2.50 1.07  270069760 22.7 apollon093 2.40    1.29    322023424 24.4     apollon020
array-examples/standard_copy5_true-unreach-call_ground.i .390 .375 320643072 4.39 apollon058 2.54 1.08  270479360 23.8 apollon020 2.44    1.36    321073152 26.3     apollon125
array-examples/standard_copy6_true-unreach-call_ground.i .405 .481 337829888 4.76 apollon001 2.49 1.05  264380416 24.6 apollon081 2.41    1.33    321323008 23.7     apollon168
array-examples/standard_copy7_true-unreach-call_ground.i .390 .378 321486848 4.84 apollon077 2.72 1.06  294158336 23.9 apollon120 2.40    1.33    322007040 23.4     apollon067
array-examples/standard_copy8_true-unreach-call_ground.i .399 .386 321847296 4.11 apollon149 2.65 1.05  291987456 24.5 apollon077 2.47    1.30    322224128 23.3     apollon120
array-examples/standard_copy9_true-unreach-call_ground.i .397 .382 322179072 4.26 apollon100 2.56 1.06  270852096 22.6 apollon084 2.45    1.36    322949120 23.6     apollon004
array-examples/standard_copyInitSum2_true-unreach-call_ground.i 272     900     32022528 3240    apollon071 2.56 1.04  271286272 21.4 apollon045 330       981       187650048 3120       apollon117
array-examples/standard_copyInitSum3_true-unreach-call_ground.i 311     900     31928320 3100    apollon059 2.48 1.06  270450688 21.2 apollon082 345       981       185339904 3340       apollon122
array-examples/standard_copyInitSum_true-unreach-call_ground.i 342     900     32112640 4360    apollon052 2.49 1.05  270446592 24.7 apollon106 455       981       183517184 4080       apollon147
array-examples/standard_copyInit_true-unreach-call_ground.i 295     900     32075776 2240    apollon086 2.46 1.09  266682368 24.3 apollon030 331       981       185348096 2700       apollon043
array-examples/standard_find_true-unreach-call_ground.i .401 .384 320815104 4.13 apollon002 2.48 1.05  268480512 25.1 apollon057 2.36    1.31    319475712 21.5     apollon079
array-examples/standard_init1_true-unreach-call_ground.i 288     900     31932416 2350    apollon043 2.48 1.03  265166848 21.4 apollon095 305       981       180715520 2500       apollon029
array-examples/standard_init2_true-unreach-call_ground.i 288     900     32043008 3240    apollon160 2.59 1.06  271470592 19.1 apollon092 325       981       186310656 2640       apollon078
array-examples/standard_init3_true-unreach-call_ground.i 293     900     32174080 3280    apollon160 2.48 1.02  269938688 21.0 apollon058 331       981       176304128 2630       apollon131
array-examples/standard_init4_true-unreach-call_ground.i 266     900     32108544 4000    apollon056 2.47 1.04  266502144 20.6 apollon127 331       981       184819712 3190       apollon019
array-examples/standard_init5_true-unreach-call_ground.i 280     900     31977472 3790    apollon005 2.58 1.07  267907072 22.5 apollon142 328       981       182738944 2800       apollon045
array-examples/standard_init6_true-unreach-call_ground.i 295     900     32116736 2580    apollon045 2.44 1.05  267489280 20.0 apollon098 344       981       185958400 3030       apollon162
array-examples/standard_init7_true-unreach-call_ground.i 315     900     31969280 2710    apollon078 2.51 1.08  267612160 19.6 apollon151 318       981       183664640 3380       apollon001
array-examples/standard_init8_true-unreach-call_ground.i 324     900     31948800 3040    apollon081 2.49 1.04  270630912 23.9 apollon047 302       981       182091776 4650       apollon056
array-examples/standard_init9_true-unreach-call_ground.i 323     900     32292864 2860    apollon072 2.51 1.04  266563584 20.3 apollon043 359       981       185913344 2970       apollon015
array-examples/standard_maxInArray_true-unreach-call_ground.i 297     900     32088064 2090    apollon025 2.48 1.03  268001280 22.4 apollon168 318       981       180502528 2600       apollon011
array-examples/standard_minInArray_true-unreach-call_ground.i 295     900     31801344 2230    apollon096 2.65 1.04  269180928 21.1 apollon042 329       981       183242752 2720       apollon008
array-examples/standard_palindrome_true-unreach-call_ground.i 256     900     31895552 2460    apollon062 2.54 1.05  273584128 19.8 apollon151 280       981       182497280 2030       apollon097
array-examples/standard_partial_init_true-unreach-call_ground.i 364     900     31948800 3280    apollon002 2.67 1.11  270290944 25.1 apollon106 389       981       185077760 4090       apollon041
array-examples/standard_partition_original_true-unreach-call_ground.i 344     900     32030720 3370    apollon101 2.73 1.17  270344192 22.4 apollon168 385       981       183894016 3610       apollon120
array-examples/standard_partition_true-unreach-call_ground.i 335     900     32083968 3790    apollon133 2.50 1.05  271712256 21.1 apollon053 345       981       186343424 5420       apollon161
array-examples/standard_password_true-unreach-call_ground.i 244     900     31903744 1800    apollon138 2.42 1.03  269025280 22.2 apollon038 260       981       182263808 2640       apollon026
array-examples/standard_reverse_true-unreach-call_ground.i 267     900     32038912 2980    apollon142 2.55 1.06  269656064 24.2 apollon161 313       981       185384960 2840       apollon156
array-examples/standard_running_true-unreach-call.i 329     900     31969280 2800    apollon103 2.48 1.05  271241216 20.7 apollon133 360       981       184197120 3950       apollon006
array-examples/standard_sentinel_true-unreach-call_true-termination.i 332     900     32075776 2460    apollon105 2.45 1.03  268648448 22.5 apollon032 376       981       185118720 2590       apollon097
array-examples/standard_seq_init_true-unreach-call_ground.i 289     900     32182272 2740    apollon059 2.47 1.06  270946304 21.4 apollon042 320       981       178638848 2910       apollon062
array-examples/standard_strcmp_true-unreach-call_ground.i 285     900     32124928 2840    apollon064 2.66 1.05  295841792 24.4 apollon076 2.11    1.11    191197184 18.3     apollon013
array-examples/standard_strcpy_original_true-unreach-call.i .383 .371 318603264 5.17 apollon080 2.57 1.07  264450048 23.6 apollon081 2.32    1.29    319119360 24.8     apollon161
array-examples/standard_strcpy_true-unreach-call_ground.i .396 .380 318824448 4.73 apollon114 2.48 1.02  269180928 23.9 apollon007 2.35    1.31    318992384 22.1     apollon119
array-examples/standard_two_index_01_true-unreach-call.i 950     869     80818176 11600    apollon124 2.47 1.03  271372288 24.1 apollon014 950       870       184279040 10300       apollon079
array-examples/standard_two_index_02_true-unreach-call.i .388 .377 319102976 4.64 apollon017 2.55 1.06  266633216 22.9 apollon167 2.33    1.30    319520768 24.5     apollon068
array-examples/standard_two_index_03_true-unreach-call.i 950     870     71491584 12600    apollon014 2.57 1.06  266534912 20.9 apollon025 950       870       183078912 9830       apollon143
array-examples/standard_two_index_04_true-unreach-call.i .385 .374 318517248 4.56 apollon084 2.53 1.04  268087296 25.4 apollon057 2.43    1.29    320573440 25.1     apollon057
array-examples/standard_two_index_05_true-unreach-call.i .398 .385 318558208 4.97 apollon108 2.46 1.02  268779520 20.8 apollon058 2.33    1.29    319070208 20.7     apollon123
array-examples/standard_two_index_06_true-unreach-call.i 950     869     77389824 12200    apollon059 2.44 1.04  266018816 20.2 apollon123 950       870       183197696 9880       apollon117
array-examples/standard_two_index_07_true-unreach-call.i .386 .376 318656512 5.09 apollon088 2.48 1.04  269139968 22.3 apollon142 2.37    1.29    318971904 20.9     apollon099
array-examples/standard_two_index_08_true-unreach-call.i .368 .363 318468096 4.33 apollon001 2.51 1.04  269012992 22.7 apollon032 2.36    1.31    319152128 22.2     apollon025
array-examples/standard_two_index_09_true-unreach-call.i .369 .355 318558208 4.37 apollon079 2.50 1.05  267792384 21.2 apollon157 2.32    1.32    319148032 22.0     apollon078
array-examples/standard_vararg_true-unreach-call_ground_true-termination.i 266     900     32002048 2760    apollon014 2.47 1.03  272302080 21.7 apollon004 309       981       185200640 3010       apollon106
array-examples/standard_vector_difference_true-unreach-call_ground.i 303     900     31989760 2730    apollon070 2.44 1.03  263282688 22.9 apollon015 315       981       182419456 3740       apollon091
array-industry-pattern/array_assert_loop_dep_false-unreach-call_true-termination.i 3.53  3.30  31993856 48.7  apollon124 2.58 1.05  270540800 25.9 apollon039 5.39    4.08    184811520 58.9     apollon013
array-industry-pattern/array_of_struct_loop_dep_false-unreach-call.i 3.53  3.30  32165888 48.2  apollon020 101    72.2   3686895616 1160   apollon141 6.22    4.33    227659776 64.6     apollon129
array-industry-pattern/array_ptr_single_elem_init_false-unreach-call_true-termination.i .368 .363 319696896 4.53 apollon101 2.56 1.10  267821056 21.8 apollon011 2.36    1.30    320147456 24.8     apollon028
array-industry-pattern/array_range_init_false-unreach-call.i 3.50  3.30  32075776 49.0  apollon138 2.48 1.04  265711616 22.6 apollon168 5.48    4.19    180064256 69.5     apollon019
array-industry-pattern/array_single_elem_init_false-unreach-call_true-termination.i .397 .390 319332352 4.33 apollon093 2.49 1.04  269717504 24.6 apollon016 2.30    1.30    319811584 22.6     apollon131
array-industry-pattern/check_removal_from_set_after_insertion_false-unreach-call.i 303     900     32055296 2510    apollon152 101    71.3   3689865216 1060   apollon025 5.13    2.04    266285056 43.6     apollon035
array-industry-pattern/array_monotonic_true-unreach-call_true-termination.i .346 .381 166883328 3.85 apollon142 2.51 1.08  267730944 21.8 apollon121 2.21    1.18    180527104 23.3     apollon068
array-industry-pattern/array_mul_init_true-unreach-call_true-termination.i .385 .373 319008768 4.42 apollon072 2.46 1.04  265089024 21.1 apollon157 2.41    1.38    319422464 22.5     apollon011
array-industry-pattern/array_of_struct_break_true-unreach-call.i 342     900     32083968 3840    apollon064 101    73.8   3707666432 1050   apollon100 455       981       226447360 4120       apollon116
array-industry-pattern/array_of_struct_ptr_cond_init_true-unreach-call.i .393 .472 320274432 4.58 apollon096 101    77.5   3476049920 1180   apollon085 4.58    1.92    325730304 40.7     apollon101
array-industry-pattern/array_of_struct_ptr_flag_init_true-unreach-call.i 476     900     31866880 7010    apollon080 101    74.5   3696898048 1040   apollon128 3.83    1.52    241926144 33.9     apollon067
array-industry-pattern/array_of_struct_ptr_monotonic_true-unreach-call.i .342 .367 167780352 3.99 apollon110 101    78.2   3546808320 1180   apollon011 4.24    1.76    253964288 37.2     apollon109
array-industry-pattern/array_of_struct_ptr_mul_init_true-unreach-call.i .426 .502 318578688 4.63 apollon011 101    72.5   3717758976 1100   apollon156 4.33    1.83    319348736 38.9     apollon061
array-industry-pattern/array_of_struct_single_elem_init_true-unreach-call.i .374 .363 318889984 4.35 apollon032 101    73.4   3714146304 975   apollon054 2.77    1.41    319447040 22.1     apollon151
array-industry-pattern/array_ptr_partial_init_true-unreach-call.i 382     900     32182272 4470    apollon075 101    74.9   3696025600 1100   apollon012 431       981       225267712 4270       apollon076
array-industry-pattern/array_ptr_single_elem_init_true-unreach-call.i .417 .498 321806336 4.05 apollon151 101    75.4   3036516352 1050   apollon128 4.44    1.81    322789376 41.7     apollon152
array-industry-pattern/array_shadowinit_true-unreach-call_true-termination.i 369     900     32075776 2350    apollon093 101    76.0   3866857472 1240   apollon140 1.78    .773   168824832 17.2     apollon124
reducercommutativity/rangesum05_false-unreach-call_true-termination.i 3.72  3.37  31985664 53.6  apollon112 7.69 2.37  413929472 56.8 apollon043 .0202  .0365  991232 .0165  apollon049
reducercommutativity/rangesum10_false-unreach-call_true-termination.i 3.78  3.40  32219136 45.9  apollon100 12.5  3.47  480616448 107   apollon125 .0123  .0120  1036288 .0110  apollon062
reducercommutativity/rangesum20_false-unreach-call.i 3.74  3.37  32104448 51.4  apollon052 31.2  7.98  1050562560 247   apollon018 .0130  .0141  950272 .00855 apollon093
reducercommutativity/rangesum40_false-unreach-call.i 3.79  3.48  32215040 51.0  apollon103 59.3  28.1   2526670848 580   apollon152 .0276  .0326  991232 .00720 apollon159
reducercommutativity/rangesum60_false-unreach-call.i 3.86  3.58  31989760 52.0  apollon141 101    62.0   3709898752 998   apollon086 6.59    2.37    380166144 52.0     apollon156
reducercommutativity/rangesum_false-unreach-call_true-termination.i 5.83  5.11  67260416 80.1  apollon020 8.10 2.38  463929344 73.3 apollon057 .0259  .0252  884736 .00757 apollon096
reducercommutativity/avg05_true-unreach-call_true-termination.i 348     900     46338048 2840    apollon049 101    71.8   4092358656 1120   apollon020 2.52    1.19    221478912 25.4     apollon020
reducercommutativity/avg10_true-unreach-call_true-termination.i 382     900     32079872 3080    apollon143 101    67.7   4059254784 878   apollon158 2.56    1.19    227217408 22.8     apollon025
reducercommutativity/avg20_true-unreach-call.i 394     900     32186368 3350    apollon007 101    61.5   2672193536 894   apollon009 2.75    1.22    224235520 23.6     apollon035
reducercommutativity/avg40_true-unreach-call.i 368     900     32104448 4110    apollon129 65.4  32.7   2740805632 684   apollon030 .00969 .00982 876544 .0112  apollon001
reducercommutativity/avg60_true-unreach-call.i 399     900     32120832 2900    apollon131 101    70.1   3723132928 1230   apollon007 4.82    1.86    269049856 38.6     apollon066
reducercommutativity/avg_true-unreach-call_true-termination.i 309     900     31977472 2460    apollon029 101    70.6   4207607808 984   apollon040 2.39    1.15    189075456 20.8     apollon050
reducercommutativity/max05_true-unreach-call_true-termination.i 387     900     32071680 2620    apollon043 101    82.2   1129910272 796   apollon101 2.56    1.17    223412224 21.1     apollon040
reducercommutativity/max10_true-unreach-call_true-termination.i 482     900     32190464 3620    apollon165 102    81.1   1571536896 1150   apollon085 3.79    1.54    249315328 33.8     apollon051
reducercommutativity/max20_true-unreach-call.i 930     900     32202752 10500    apollon019 102    59.7   3975331840 1160   apollon160 4.72    1.80    263892992 44.6     apollon065
reducercommutativity/max40_true-unreach-call.i 950     894     32137216 9490    apollon042 65.6  33.5   2954465280 555   apollon158 .0155  .0160  843776 .0186  apollon153
reducercommutativity/max60_true-unreach-call.i 951     680     32133120 17400    apollon106 101    70.4   3720253440 1150   apollon052 1.92    .797   176349184 18.2     apollon031
reducercommutativity/max_true-unreach-call_true-termination.i 509     900     32059392 3120    apollon055 101    78.1   3196026880 1100   apollon162 2.53    1.18    223674368 24.5     apollon076
reducercommutativity/sep05_true-unreach-call_true-termination.i 319     900     32079872 2520    apollon159 101    73.4   3047858176 879   apollon076 2.72    1.21    227127296 24.6     apollon166
reducercommutativity/sep10_true-unreach-call.i 438     900     32116736 2850    apollon109 101    79.6   2550169600 1090   apollon045 4.01    1.56    254554112 37.4     apollon068
reducercommutativity/sep20_true-unreach-call.i 544     900     32116736 4060    apollon083 101    38.3   3863842816 771   apollon005 4.87    1.84    270864384 36.9     apollon149
reducercommutativity/sep40_true-unreach-call.i 723     900     32030720 6500    apollon078 68.5  36.4   3073941504 653   apollon107 .0110  .0108  1007616 .00855 apollon018
reducercommutativity/sep60_true-unreach-call.i 787     900     32198656 10200    apollon069 101    68.4   3695423488 1020   apollon002 6.37    2.32    410288128 58.8     apollon146
reducercommutativity/sep_true-unreach-call_true-termination.i 386     900     31834112 2130    apollon023 101    70.5   3884142592 1100   apollon018 2.59    1.26    219705344 26.6     apollon030
reducercommutativity/sum05_true-unreach-call_true-termination.i 310     900     32169984 2480    apollon040 101    80.1   3679051776 1130   apollon086 2.54    1.19    219582464 24.6     apollon148
reducercommutativity/sum10_true-unreach-call_true-termination.i 333     900     32006144 3420    apollon095 101    70.7   4019585024 1120   apollon071 2.58    1.18    220962816 24.4     apollon032
reducercommutativity/sum20_true-unreach-call.i 430     900     32104448 3390    apollon074 101    62.1   2938724352 817   apollon092 2.72    1.26    224980992 23.7     apollon154
reducercommutativity/sum40_true-unreach-call.i 407     900     31981568 3730    apollon059 62.7  31.0   2867589120 603   apollon120 .0199  .0209  974848 .00897 apollon067
reducercommutativity/sum60_true-unreach-call.i 469     900     32014336 3650    apollon025 101    71.0   3711438848 1110   apollon162 5.68    2.08    301150208 49.2     apollon147
reducercommutativity/sum_true-unreach-call_true-termination.i 358     900     32137216 1890    apollon151 101    76.1   3641413632 1170   apollon038 2.35    1.16    197812224 23.7     apollon077
array-tiling/mlceu_false-unreach-call.i 272     900     32112640 3430    apollon069 3.63 1.50  282714112 31.9 apollon084 397       981       220950528 2900       apollon134
array-tiling/skippedu_false-unreach-call.i 460     900     31883264 2960    apollon105 3.63 1.44  288727040 31.1 apollon026 .0127  .0125  1003520 .00793 apollon112
array-tiling/mbpr2_true-unreach-call.i 372     900     32243712 2060    apollon012 101    67.8   3743059968 1150   apollon081 399       981       227127296 3130       apollon134
array-tiling/mbpr3_true-unreach-call.i 332     900     32026624 3260    apollon095 101    65.5   3797508096 1140   apollon007 328       981       218333184 3170       apollon133
array-tiling/mbpr4_true-unreach-call.i 321     900     32034816 2570    apollon092 101    68.1   3704430592 958   apollon151 489       981       223289344 4200       apollon067
array-tiling/mbpr5_true-unreach-call.i 496     900     31961088 5530    apollon068 101    72.4   3754287104 1260   apollon014 1.93    .835   175542272 16.3     apollon090
array-tiling/nr2_true-unreach-call.i 409     900     32059392 2960    apollon165 101    69.6   3708661760 1020   apollon042 405       981       218750976 2630       apollon138
array-tiling/nr3_true-unreach-call.i 393     900     31875072 2830    apollon083 101    72.0   3858083840 1190   apollon167 318       981       220852224 4600       apollon056
array-tiling/nr4_true-unreach-call.i 362     900     32092160 2850    apollon134 101    69.1   3838636032 1040   apollon034 448       981       191115264 2910       apollon118
array-tiling/nr5_true-unreach-call.i 387     900     32018432 2520    apollon159 101    64.7   3552428032 894   apollon158 444       980       191922176 3080       apollon122
array-tiling/pnr2_true-unreach-call.i 531     900     68558848 4520    apollon018 101    70.1   3902996480 1130   apollon146 558       981       198279168 5050       apollon029
array-tiling/pnr3_true-unreach-call.i 663     900     71266304 8800    apollon111 101    61.8   4284567552 1070   apollon091 950       781       195674112 9880       apollon139
array-tiling/pnr4_true-unreach-call.i 430     900     66740224 4190    apollon058 101    65.1   4213096448 1030   apollon146 611       981       194760704 4060       apollon144
array-tiling/pnr5_true-unreach-call.i 547     900     67158016 3960    apollon078 105    58.6   4311687168 965   apollon082 619       981       195620864 4780       apollon154
array-tiling/poly1_true-unreach-call.i 265     900     31952896 2340    apollon045 101    75.9   2480005120 992   apollon079 411       981       187863040 4760       apollon024
array-tiling/poly2_true-unreach-call.i 264     900     32227328 2320    apollon098 101    70.5   3057106944 999   apollon002 331       981       190427136 4170       apollon132
array-tiling/pr2_true-unreach-call.i 300     900     31793152 2870    apollon058 101    71.5   3607281664 1170   apollon164 494       981       219676672 3560       apollon054
array-tiling/pr3_true-unreach-call.i 392     900     32133120 2840    apollon004 101    76.4   3561402368 1100   apollon079 379       981       229867520 5320       apollon016
array-tiling/pr4_true-unreach-call.i 489     900     31854592 4600    apollon096 101    72.8   3111403520 1090   apollon078 423       981       237228032 2830       apollon109
array-tiling/pr5_true-unreach-call.i 379     900     32014336 2700    apollon049 101    76.9   3330641920 1260   apollon019 443       981       234774528 3050       apollon096
array-tiling/revcpyswp2_true-unreach-call.i 293     900     31838208 3080    apollon050 101    75.9   3419410432 1100   apollon086 320       981       227414016 3420       apollon142
array-tiling/rew_true-unreach-call.i 288     900     31911936 2490    apollon098 102    68.0   3862368256 1050   apollon058 370       981       188981248 3720       apollon077
array-tiling/rewnif_true-unreach-call.i 368     900     32088064 2420    apollon020 101    71.0   3374350336 1250   apollon044 340       981       227581952 4510       apollon005
array-tiling/rewnifrev2_true-unreach-call.i 365     900     31952896 2000    apollon139 101    74.7   2781618176 1150   apollon095 391       981       193839104 2550       apollon072
array-tiling/rewnifrev_true-unreach-call.i 327     900     32182272 2320    apollon013 101    76.7   2974679040 1130   apollon119 311       981       192921600 3410       apollon071
array-tiling/rewrev_true-unreach-call.i 327     900     31981568 3670    apollon114 101    77.2   2405355520 1040   apollon151 444       981       222482432 2870       apollon051
array-tiling/skipped_true-unreach-call.i 465     900     31985664 3190    apollon121 101    66.6   4037947392 1020   apollon032 462       981       223031296 3120       apollon124
array-tiling/tcpy_true-unreach-call.i 369     900     32088064 2430    apollon033 101    71.5   3962458112 1260   apollon161 322       981       185098240 3820       apollon052
array-programs/copysome1_false-unreach-call.i .641 .677 1229586432 7.00 apollon117 2.65 1.04  291065856 24.0 apollon077 2.70    1.59    1229795328 26.7     apollon165
array-programs/copysome2_false-unreach-call.i .820 .878 1836814336 8.89 apollon098 2.45 1.04  270254080 20.2 apollon099 3.07    1.94    1837191168 29.9     apollon067
array-programs/copysome1_true-unreach-call.i .626 .661 1229303808 7.50 apollon110 2.71 1.05  290291712 23.2 apollon034 2.70    1.59    1229910016 26.9     apollon162
array-programs/copysome2_true-unreach-call.i .824 .878 1836802048 10.1  apollon085 2.42 1.05  268816384 20.6 apollon127 2.98    1.91    1839165440 33.1     apollon125
bitvector/byte_add_false-unreach-call_true-no-overflow_true-termination.i 5.29  4.71  32067584 65.5  apollon012 5.26 1.83  301273088 44.9 apollon165 9.30    6.45    237531136 114       apollon148
bitvector/sum02_false-unreach-call_true-no-overflow.i 3.79  3.61  32092160 55.8  apollon121 3.52 1.47  280109056 30.1 apollon082 9.72    7.53    196530176 119       apollon129
bitvector/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i 283     900     32256000 2880    apollon066 6.03 2.09  319234048 51.7 apollon091 364       981       233611264 2700       apollon119
bitvector/byte_add_2_true-unreach-call_true-no-overflow_true-termination.i 371     900     32088064 2830    apollon145 5.73 1.89  317952000 52.7 apollon126 329       981       238055424 3600       apollon014
bitvector/gcd_1_true-unreach-call_true-no-overflow.i 345     900     32096256 2370    apollon042 4.10 1.51  304193536 33.4 apollon079 398       981       221155328 3320       apollon049
bitvector/gcd_2_true-unreach-call_true-no-overflow.i 360     900     32133120 2810    apollon070 3.46 1.37  273186816 31.5 apollon112 .0121  .0127  1019904 .00928 apollon091
bitvector/gcd_3_true-unreach-call_true-no-overflow.i 283     900     32059392 4360    apollon161 3.62 1.47  288235520 31.8 apollon076 370       981       194527232 3370       apollon085
bitvector/gcd_4_true-unreach-call_true-no-overflow_true-termination.i 216     900     32198656 1490    apollon101 5.16 1.76  313200640 44.6 apollon156 243       981       222351360 2520       apollon075
bitvector/interleave_bits_true-unreach-call_true-no-overflow.i 319     900     32006144 2730    apollon081 7.33 2.28  452468736 62.2 apollon126 361       981       222846976 2770       apollon048
bitvector/jain_1_true-unreach-call_true-no-overflow_false-termination.i 1.51  1.57  4305719296 23.4  apollon057 2.84 1.19  277032960 29.1 apollon021 .0124  .0118  819200 .00757 apollon029
bitvector/jain_2_true-unreach-call_true-no-overflow_false-termination.i 1.54  1.60  4306378752 18.3  apollon004 3.21 1.20  293670912 27.2 apollon022 .0147  .0148  929792 .00739 apollon074
bitvector/jain_4_true-unreach-call_true-no-overflow_false-termination.i 1.52  1.59  4305096704 18.0  apollon119 3.11 1.25  274595840 27.2 apollon005 .0138  .0147  843776 .00787 apollon002
bitvector/jain_5_true-unreach-call_true-no-overflow.i 6.28  5.28  32104448 70.0  apollon154 101    80.7   2778210304 1220   apollon052 10.4     6.79    263077888 102       apollon102
bitvector/jain_6_true-unreach-call_true-no-overflow_false-termination.i 1.51  1.57  4305448960 17.5  apollon134 3.31 1.25  294891520 25.6 apollon054 .0197  .0195  970752 .00739 apollon150
bitvector/jain_7_true-unreach-call_true-no-overflow_false-termination.i 1.52  1.59  4305342464 18.2  apollon131 2.84 1.18  274214912 26.8 apollon022 .0143  .0154  864256 .00623 apollon083
bitvector/modulus_true-unreach-call_true-no-overflow.i 349     900     32104448 2840    apollon159 3.14 1.31  277803008 27.8 apollon052 307       981       194670592 4580       apollon161
bitvector/num_conversion_1_true-unreach-call_true-no-overflow.i 228     900     32243712 1710    apollon152 4.90 1.77  305999872 42.5 apollon167 254       981       221929472 1780       apollon060
bitvector/num_conversion_2_true-unreach-call_true-no-overflow.i 344     900     31924224 2830    apollon145 4.91 1.77  302903296 42.7 apollon032 386       981       223899648 2360       apollon063
bitvector/parity_true-unreach-call_true-no-overflow.i 328     900     32059392 2470    apollon101 3.31 1.31  286834688 31.4 apollon014 281       981       189427712 4140       apollon016
bitvector/sum02_true-unreach-call_true-no-overflow.i 336     900     31985664 3370    apollon117 3.50 1.45  281563136 34.3 apollon108 429       981       189485056 2820       apollon149
bitvector/s3_clnt_1_false-unreach-call_true-no-overflow.BV.c.cil.c 864     900     31981568 9250    apollon128 10.6  3.08  467173376 93.6 apollon106 6.97    2.56    405340160 61.6     apollon141
bitvector/s3_clnt_2_false-unreach-call_true-no-overflow.BV.c.cil.c 307     900     32235520 3040    apollon041 18.5  5.01  617021440 160   apollon168 7.93    3.07    422891520 71.1     apollon152
bitvector/s3_clnt_3_false-unreach-call_true-no-overflow.BV.c.cil.c 313     900     32075776 3530    apollon155 7.04 2.21  388128768 58.5 apollon120 342       981       299581440 3940       apollon071
bitvector/s3_clnt_1_true-unreach-call_true-no-overflow.BV.c.cil.c 362     900     32268288 2660    apollon035 14.2  4.01  500178944 106   apollon121 6.87    2.50    403705856 55.1     apollon128
bitvector/s3_clnt_2_true-unreach-call_true-no-overflow.BV.c.cil.c 371     900     32161792 2830    apollon009 24.2  6.77  833982464 199   apollon102 7.66    2.89    417869824 64.3     apollon073
bitvector/s3_clnt_3_true-unreach-call_true-no-overflow.BV.c.cil.c 388     900     32026624 2950    apollon079 101    77.4   3071184896 984   apollon100 363       981       248061952 3730       apollon026
bitvector/s3_srvr_1_alt_true-unreach-call_true-no-overflow.BV.c.cil.c .372 .383 31993856 4.31 apollon001 101    75.1   2657251328 1170   apollon070 508       981       223698944 3530       apollon035
bitvector/s3_srvr_1_true-unreach-call_true-no-overflow.BV.c.cil.c 800     900     31985664 8660    apollon099 31.1  8.45  977502208 229   apollon029 .00946 .00959 880640 .00818 apollon146
bitvector/s3_srvr_2_alt_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c 449     900     32088064 3220    apollon086 41.9  18.5   1371332608 409   apollon020 .00782 .00771 823296 .0101  apollon129
bitvector/s3_srvr_2_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c 361     900     31924224 4040    apollon075 42.8  18.2   1405607936 402   apollon168 .0124  .0143  847872 .00000 apollon010
bitvector/s3_srvr_3_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 951     733     32133120 11500    apollon154 19.0  5.09  630145024 168   apollon030 .0126  .0123  892928 .0122  apollon079
bitvector/s3_srvr_3_true-unreach-call_true-no-overflow.BV.c.cil.c 951     733     32141312 11100    apollon099 62.0  33.8   2281033728 700   apollon161 .0140  .0138  880640 .00964 apollon082
bitvector/soft_float_1_true-unreach-call_true-no-overflow_true-termination.c.cil.c 554     900     32075776 4350    apollon090 4.80 1.77  296083456 38.6 apollon100 665       981       251994112 6240       apollon046
bitvector/soft_float_2_true-unreach-call_true-no-overflow_true-termination.c.cil.c 476     900     31866880 6660    apollon140 7.53 2.34  446177280 63.2 apollon156 762       981       326586368 5090       apollon025
bitvector/soft_float_3_true-unreach-call_true-no-overflow_true-termination.c.cil.c 677     900     32100352 4680    apollon154 7.39 2.33  444780544 63.0 apollon091 683       981       327577600 6860       apollon069
bitvector/soft_float_4_true-unreach-call_true-no-overflow_true-termination.c.cil.c 538     900     31944704 5020    apollon046 4.21 1.68  290402304 37.0 apollon076 768       981       231772160 5230       apollon011
bitvector/soft_float_5_true-unreach-call_true-no-overflow_true-termination.c.cil.c 670     900     31797248 3930    apollon109 7.36 2.33  447238144 64.9 apollon077 771       981       328470528 5590       apollon157
bitvector-regression/implicitfloatconversion_false-unreach-call_true-termination.c 3.67  3.29  32018432 43.1  apollon117 3.23 1.23  296452096 32.6 apollon039 .00792 .00861 905216 .00586 apollon127
bitvector-regression/implicitunsignedconversion_false-unreach-call_true-termination.c 3.68  3.30  32022528 47.7  apollon051 2.45 1.06  268267520 24.7 apollon016 .0150  .0154  991232 .00720 apollon060
bitvector-regression/integerpromotion_false-unreach-call_true-termination.c 3.67  3.28  31948800 56.3  apollon126 2.79 1.23  275443712 27.6 apollon148 .00740 .00728 942080 .0112  apollon129
bitvector-regression/recHanoi03_false-unreach-call_true-termination.c 3.57  3.31  32243712 46.3  apollon153 2.53 1.10  267939840 22.0 apollon011 2.04    .837   189345792 20.4     apollon126
bitvector-regression/signextension2_false-unreach-call_true-termination.c 3.70  3.30  31928320 52.5  apollon019 2.60 1.09  270381056 25.6 apollon016 .0128  .0133  872448 .0102  apollon013
bitvector-regression/signextension_false-unreach-call_true-termination.c 3.68  3.28  32137216 53.2  apollon167 2.55 1.09  272834560 26.6 apollon021 .0129  .0129  761856 .0135  apollon005
bitvector-regression/implicitunsignedconversion_true-unreach-call_true-termination.c 229     900     31981568 1980    apollon007 2.94 1.28  276406272 26.1 apollon121 263       981       182210560 2090       apollon137
bitvector-regression/integerpromotion_true-unreach-call_true-termination.c 226     900     32071680 1900    apollon136 2.80 1.24  278286336 24.4 apollon127 227       981       184115200 3180       apollon080
bitvector-regression/signextension2_true-unreach-call_true-termination.c 199     900     32256000 2260    apollon113 3.10 1.31  285671424 30.7 apollon126 246       981       186007552 1590       apollon097
bitvector-regression/signextension_true-unreach-call_true-termination.c 192     900     32043008 2650    apollon021 3.12 1.31  275988480 31.3 apollon111 228       981       184836096 2580       apollon010
bitvector-loops/diamond_false-unreach-call2.i 3.68  3.30  32079872 51.7  apollon020 6.60 2.03  440332288 58.7 apollon081 .0170  .0168  983040 .00452 apollon127
bitvector-loops/overflow_false-unreach-call1.i 10.4   6.80  31862784 76.3  apollon083 2.82 1.12  290009088 25.1 apollon052 .0143  .0142  872448 .00635 apollon165
bitvector-loops/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call_true-termination.i 25.9   21.8   31879168 328    apollon066 2.88 1.25  270974976 25.6 apollon012 .0107  .0107  983040 .00000 apollon079
heap-manipulation/bubble_sort_linux_false-unreach-call_false-valid-memcleanup.i 53.8   27.7   45293568 597    apollon074 5.64 1.86  320602112 50.9 apollon126 .0226  .0221  962560 .00842 apollon068
heap-manipulation/dll_of_dll_false-unreach-call_false-valid-memcleanup.i 554     900     33693696 3250    apollon063 3.26 1.25  298487808 31.3 apollon161 2.93    1.11    231018496 24.6     apollon150
heap-manipulation/merge_sort_false-unreach-call_false-valid-memcleanup.i 4.26  3.89  32067584 64.5  apollon130 4.65 1.68  306061312 42.1 apollon141 .0238  .0235  1003520 .00580 apollon042
heap-manipulation/sll_to_dll_rev_false-unreach-call_false-valid-memcleanup.i 16.6   9.84  31969280 206    apollon112 4.67 1.74  293535744 40.0 apollon157 .0209  .0214  942080 .00842 apollon058
heap-manipulation/tree_false-unreach-call_false-valid-deref.i 4.25  3.88  33316864 53.1  apollon035 6.29 2.01  334548992 49.1 apollon123 .0289  .0295  901120 .0118  apollon011
heap-manipulation/tree_false-unreach-call_false-valid-memcleanup.i 4.28  3.91  32083968 64.8  apollon126 6.14 2.01  349908992 51.0 apollon119 .00665 .0102  851968 .00726 apollon096
heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i 393     900     40988672 4890    apollon052 101    76.5   2019409920 1150   apollon026 2.63    .950   223424512 20.5     apollon026
heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i 267     900     32178176 3090    apollon129 3.14 1.23  275562496 27.4 apollon038 3.08    1.14    234475520 26.7     apollon065
heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i 439     900     39833600 4430    apollon112 3.42 1.28  303022080 28.4 apollon150 2.99    1.06    232091648 24.1     apollon066
heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i 563     900     31940608 4450    apollon012 101    78.6   2998243328 1210   apollon009 3.68    1.52    234766336 31.7     apollon157
heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i 494     900     32337920 3610    apollon037 101    76.0   2655936512 1100   apollon086 5.33    2.03    281128960 44.4     apollon035
heap-manipulation/tree_true-unreach-call.i 322     900     35254272 3250    apollon064 101    77.4   2387677184 1170   apollon051 4.08    1.62    250867712 34.5     apollon058
list-properties/alternating_list_false-unreach-call_false-valid-memcleanup.i 521     900     32186368 6330    apollon081 4.30 1.65  289091584 35.1 apollon089 .0120  .0113  1003520 .0109  apollon024
list-properties/list_false-unreach-call_false-valid-memcleanup.i 573     900     32165888 5560    apollon032 111    76.3   3799289856 1190   apollon067 3.16    1.39    231002112 26.0     apollon043
list-properties/list_flag_false-unreach-call_false-valid-memcleanup.i 339     900     31969280 4210    apollon024 4.07 1.59  290484224 35.8 apollon095 .0136  .0165  983040 .00482 apollon148
list-properties/list_search_false-unreach-call_false-valid-memcleanup.i 14.0   8.56  31969280 186    apollon108 4.17 1.56  292237312 33.4 apollon060 .00917 .0123  1044480 .0158  apollon052
list-properties/simple_false-unreach-call_false-valid-memcleanup.i 496     900     32075776 5680    apollon104 4.04 1.55  289304576 36.6 apollon091 .0187  .0200  823296 .00549 apollon002
list-properties/splice_false-unreach-call_false-valid-memcleanup.i 563     900     32067584 6680    apollon070 4.70 1.74  293105664 42.8 apollon091 .0101  .0100  913408 .0110  apollon129
list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i 479     900     32116736 3970    apollon162 113    72.4   4263219200 1250   apollon033 3.28    1.51    232005632 26.5     apollon137
list-properties/list_flag_true-unreach-call_false-valid-memtrack.i 465     900     32124928 3780    apollon159 101    70.9   4165271552 1120   apollon152 3.32    1.41    228581376 29.8     apollon014
list-properties/list_search_true-unreach-call_false-valid-memcleanup.i 214     900     40665088 1330    apollon063 4.75 1.67  307466240 43.0 apollon007 .0299  .0298  851968 .00574 apollon078
list-properties/list_true-unreach-call_false-valid-memtrack.i 458     900     31977472 3620    apollon108 101    70.2   3652853760 1310   apollon111 3.51    1.50    232841216 37.1     apollon160
list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i 349     900     32100352 2660    apollon060 105    70.4   3307761664 1060   apollon025 3.38    1.43    234848256 34.2     apollon028
list-properties/simple_true-unreach-call_false-valid-memtrack.i 421     900     31944704 3050    apollon073 112    73.7   3922837504 1170   apollon017 3.20    1.43    228708352 25.9     apollon098
list-properties/splice_true-unreach-call_false-valid-memtrack.i 408     900     31944704 3160    apollon137 102    77.6   2336833536 756   apollon025 3.14    1.42    231837696 32.4     apollon126
ldv-regression/1_3_true-termination.c_false-unreach-call.i 3.67  3.28  32190464 48.8  apollon162 3.17 1.37  284635136 28.7 apollon102 .0112  .0119  991232 .0118  apollon053
ldv-regression/alt_test_true-termination.c_false-unreach-call.i 36.5   23.8   40497152 509    apollon039 4.39 1.56  304386048 37.3 apollon078 .0161  .0157  790528 .0104  apollon067
ldv-regression/callfpointer_true-termination.c_false-unreach-call.i 3.68  3.28  32063488 54.1  apollon164 2.98 1.23  277430272 23.4 apollon117 .0197  .0195  888832 .00439 apollon035
ldv-regression/fo_test_true-termination.c_false-unreach-call.i 16.8   16.8   41873408 218    apollon074 4.24 1.45  303984640 35.8 apollon168 .00798 .00824 884736 .00940 apollon047
ldv-regression/mutex_lock_int_true-termination.c_false-unreach-call.i 3.68  3.29  32141312 46.0  apollon003 3.03 1.30  277860352 26.9 apollon156 .00785 .0110  1015808 .0116  apollon070
ldv-regression/mutex_lock_struct_true-termination.c_false-unreach-call.i 3.64  3.26  31940608 74.5  apollon106 3.05 1.29  277422080 26.4 apollon133 .0101  .0102  856064 .00800 apollon164
ldv-regression/recursive_list_true-termination.c_false-unreach-call.i 3.67  3.29  31997952 50.2  apollon061 3.11 1.33  279248896 29.6 apollon022 .00892 .00899 987136 .0134  apollon142
ldv-regression/rule57_ebda_blast_true-termination.c_false-unreach-call.i 268     900     32104448 2130    apollon105 3.28 1.38  282513408 29.2 apollon045 .0138  .0137  1036288 .0112  apollon037
ldv-regression/rule60_list2_true-termination.c_false-unreach-call_1.i 9.07  8.00  31768576 123    apollon097 4.41 1.62  304410624 37.5 apollon072 .0108  .0105  868352 .00861 apollon034
ldv-regression/stateful_check_false-unreach-call_false-termination.i 82.4   67.5   32129024 1150    apollon010 4.56 1.67  303656960 39.3 apollon165 .0121  .0131  856064 .00458 apollon091
ldv-regression/test_while_int_true-termination.c_false-unreach-call.i 3.68  3.29  31981568 44.9  apollon041 3.32 1.38  282451968 29.9 apollon093 .0152  .0155  749568 .00964 apollon087
ldv-regression/test_while_int_true-termination.c_false-unreach-call_1.i 3.69  3.29  32051200 43.1  apollon029 3.32 1.35  284827648 25.9 apollon040 .0160  .0163  962560 .00897 apollon004
ldv-regression/alias_of_return_2_true-termination.c_true-unreach-call.i 349     900     32141312 2900    apollon138 2.59 1.12  267452416 26.5 apollon111 .0148  .0150  929792 .0110  apollon098
ldv-regression/alias_of_return_2_true-termination.c_true-unreach-call_1.i 230     900     31903744 1680    apollon096 2.55 1.09  266452992 21.2 apollon128 .0175  .0172  864256 .00800 apollon064
ldv-regression/alias_of_return_true-termination.c_true-unreach-call.i 222     900     32276480 1790    apollon078 2.58 1.11  268480512 21.7 apollon053 .0222  .0216  880640 .00623 apollon060
ldv-regression/alias_of_return_true-termination.c_true-unreach-call_1.i 231     900     32100352 1570    apollon144 2.76 1.10  268828672 22.9 apollon071 .0102  .0141  892928 .0256  apollon006
ldv-regression/ex3_forlist_true-termination.c_true-unreach-call.i 228     900     32059392 2130    apollon094 6.12 2.05  312537088 48.6 apollon086 .00972 .0127  966656 .0106  apollon058
ldv-regression/just_assert_true-termination.c_true-unreach-call.i 226     900     32043008 1570    apollon025 2.36 1.03  273932288 20.5 apollon133 .0111  .0109  937984 .00745 apollon133
ldv-regression/mutex_lock_int_true-termination.c_true-unreach-call_1.i 223     900     31924224 2040    apollon036 2.59 1.10  267874304 23.0 apollon156 .0108  .0119  974848 .00739 apollon124
ldv-regression/mutex_lock_struct_true-termination.c_true-unreach-call_1.i 191     900     31895552 3110    apollon016 2.59 1.11  266489856 23.0 apollon018 .0121  .0121  913408 .00000 apollon038
ldv-regression/nested_structure_noptr_true-termination.c_true-unreach-call.i 230     900     31916032 1700    apollon131 2.49 1.07  267505664 21.5 apollon133 .0147  .0156  847872 .00476 apollon023
ldv-regression/nested_structure_noptr_true-unreach-call_true-termination.i 226     900     32092160 1880    apollon051 2.55 1.11  268677120 23.9 apollon067 .0160  .0154  835584 .0123  apollon162
ldv-regression/nested_structure_ptr_true-termination.c_true-unreach-call.i 222     900     32149504 1520    apollon153 2.61 1.08  270786560 23.4 apollon051 .0155  .0182  884736 .00604 apollon129
ldv-regression/nested_structure_ptr_true-unreach-call_true-termination.i 213     900     31940608 1760    apollon029 2.69 1.12  273788928 24.7 apollon005 .00890 .00916 839680 .0114  apollon129
ldv-regression/nested_structure_true-termination.c_true-unreach-call.i 228     900     32034816 1610    apollon120 2.62 1.14  271245312 23.0 apollon162 .0253  .0265  1028096 .00592 apollon125
ldv-regression/nested_structure_true-unreach-call_true-termination.i 218     900     31985664 2550    apollon160 2.61 1.12  269750272 21.6 apollon100 .0167  .0165  733184 .00494 apollon005
ldv-regression/oomInt_true-termination.c_true-unreach-call.i 193     900     32092160 2270    apollon001 2.55 1.10  266231808 21.7 apollon127 .0152  .0148  974848 .00781 apollon048
ldv-regression/oomInt_true-termination.c_true-unreach-call_1.i 217     900     32186368 1890    apollon134 2.58 1.08  270225408 24.3 apollon167 .0181  .0190  1007616 .00732 apollon068
ldv-regression/rule57_ebda_blast_true-termination.c_true-unreach-call_1.i 261     900     32014336 2200    apollon090 2.82 1.19  274546688 27.0 apollon101 .0128  .0167  880640 .00592 apollon129
ldv-regression/rule60_list2_true-termination.c_true-unreach-call.i 428     900     32043008 3570    apollon138 3.50 1.30  299286528 30.0 apollon085 .0140  .0196  823296 .00537 apollon045
ldv-regression/rule60_list_true-termination.c_true-unreach-call.i 205     900     32190464 2130    apollon058 3.39 1.27  293658624 26.3 apollon116 .0118  .0117  974848 .0102  apollon073
ldv-regression/sizeofparameters_test_true-termination.c_true-unreach-call.i 264     900     32047104 2930    apollon155 2.90 1.22  270802944 25.2 apollon120 .0136  .0134  1003520 .0115  apollon061
ldv-regression/structure_assignment_true-termination.c_true-unreach-call.i 225     900     32239616 1940    apollon049 2.81 1.10  289882112 28.8 apollon021 .00789 .00806 897024 .0116  apollon052
ldv-regression/test_address_true-termination.c_true-unreach-call.i 230     900     32018432 2040    apollon122 2.98 1.21  273424384 30.0 apollon033 .00806 .00801 827392 .00311 apollon165
ldv-regression/test_cut_trace_true-termination.c_true-unreach-call.i 221     900     31956992 1770    apollon048 2.56 1.09  265003008 24.6 apollon164 .0274  .0287  884736 .00793 apollon045
ldv-regression/test_malloc-1_true-unreach-call_true-termination.i 187     900     31997952 3320    apollon140 2.99 1.20  272470016 27.2 apollon032 .0137  .0144  839680 .00757 apollon045
ldv-regression/test_malloc-2_true-unreach-call_true-termination.i 205     900     32165888 1810    apollon045 2.95 1.20  270372864 27.9 apollon152 .00716 .00709 1003520 .0100  apollon013
ldv-regression/test_overflow_true-termination.c_true-unreach-call.i 221     900     40407040 2130    apollon085 3.51 1.29  297271296 28.4 apollon079 .0108  .0106  815104 .00885 apollon041
ldv-regression/test_union_cast-1_true-unreach-call_true-termination.i 229     900     32137216 2080    apollon094 2.48 1.08  269651968 24.1 apollon019 .0133  .0131  1007616 .00653 apollon118
ldv-regression/test_union_cast-2_true-unreach-call_true-termination.i 208     900     32215040 2250    apollon114 2.62 1.10  267943936 24.4 apollon101 .0120  .0123  1011712 .00958 apollon084
ldv-regression/test_union_cast_true-termination.c_true-unreach-call.i 200     900     32129024 2210    apollon084 2.56 1.09  269443072 23.1 apollon084 .00989 .0106  802816 .00879 apollon006
ldv-regression/test_union_cast_true-termination.c_true-unreach-call_1.i 224     900     32079872 1820    apollon157 2.54 1.06  267042816 21.7 apollon058 .0158  .0162  901120 .00909 apollon163
ldv-regression/test_union_true-termination.c_true-unreach-call.i 227     900     31977472 1910    apollon081 2.46 1.05  267255808 23.4 apollon067 .0110  .0107  937984 .0101  apollon076
ldv-regression/test_union_true-termination.c_true-unreach-call_1.i 225     900     32018432 1820    apollon157 2.81 1.18  268275712 26.1 apollon091 228       981       189734912 2810       apollon091
ldv-regression/volatile_alias_true-termination.c_true-unreach-call.i 230     900     31973376 1910    apollon136 2.57 1.07  265302016 24.6 apollon081 .0133  .0131  831488 .00934 apollon038
ldv-regression/volatile_alias_true-termination.c_true-unreach-call_1.i 224     900     32071680 1790    apollon087 2.56 1.08  269303808 21.2 apollon116 .0137  .0136  937984 .0142  apollon068
ldv-regression/test02_false-unreach-call_true-termination.c 3.67  3.28  32317440 45.3  apollon066 3.19 1.50  301989888 32.8 apollon057 .00678 .00722 987136 .0110  apollon104
ldv-regression/test06_false-unreach-call_true-termination.c 3.68  3.30  32067584 43.2  apollon123 3.16 1.33  283119616 24.6 apollon158 .0279  .0271  831488 .00562 apollon124
ldv-regression/test08_false-unreach-call_true-termination.c 3.68  3.27  32051200 55.7  apollon027 3.24 1.38  283230208 27.1 apollon058 .00961 .00984 724992 .0104  apollon132
ldv-regression/test12_false-unreach-call_true-termination.c 3.66  3.28  32088064 46.4  apollon025 3.06 1.27  279453696 31.4 apollon021 .0113  .0120  876544 .00971 apollon068
ldv-regression/test21_false-unreach-call_true-termination.c 3.76  3.40  32137216 50.5  apollon121 3.14 1.34  281501696 25.2 apollon092 .00876 .0126  888832 .0117  apollon090
ldv-regression/test22_false-unreach-call.c 419     900     31866880 3120    apollon070 3.50 1.45  291704832 29.9 apollon042 .0119  .0128  843776 .00671 apollon040
ldv-regression/test23_false-unreach-call.c 3.73  3.40  32215040 52.1  apollon076 27.0  12.3   1622577152 255   apollon015 .00841 .0115  983040 .00873 apollon051
ldv-regression/test24_false-unreach-call.c 3.64  3.30  32149504 49.1  apollon147 12.1  3.37  466370560 96.1 apollon042 .0115  .0120  1040384 .0296  apollon064
ldv-regression/test25_false-unreach-call_true-termination.c 3.64  3.29  32169984 48.8  apollon107 8.56 2.48  473624576 61.9 apollon045 .0179  .0175  933888 .00470 apollon102
ldv-regression/test26_false-unreach-call_true-termination.c 3.70  3.30  31916032 54.7  apollon125 3.16 1.35  276393984 28.2 apollon118 .00845 .00894 770048 .0125  apollon039
ldv-regression/test27_false-unreach-call_true-termination.c .322 .409 31916032 3.11 apollon115 6.97 2.11  391266304 51.8 apollon054 .0133  .0136  1073152 .00763 apollon139
ldv-regression/test28_false-unreach-call_true-termination.c 3.64  3.31  32108544 55.2  apollon126 3.07 1.31  280117248 28.5 apollon067 .0118  .0121  978944 .00873 apollon162
ldv-regression/test29_false-unreach-call_true-termination.c 3.63  3.30  31993856 43.3  apollon128 3.22 1.29  288837632 29.0 apollon102 .0163  .0162  880640 .00665 apollon005
ldv-regression/test30_false-unreach-call_true-termination.c 3.68  3.29  32104448 49.0  apollon061 3.10 1.32  277307392 28.3 apollon084 .0113  .0125  1208320 .0114  apollon043
ldv-regression/test01_true-unreach-call_true-termination.c 227     900     31817728 1940    apollon049 2.61 1.09  266866688 24.1 apollon015 .00803 .0106  835584 .00000 apollon052
ldv-regression/test03_true-unreach-call_true-termination.c 226     900     31969280 2030    apollon036 2.58 1.10  267571200 23.3 apollon070 .0292  .0312  991232 .00671 apollon131
ldv-regression/test04_true-unreach-call_true-termination.c 199     900     31928320 2340    apollon129 2.92 1.13  293658624 26.6 apollon047 .0141  .0139  1011712 .00842 apollon042
ldv-regression/test05_true-unreach-call_true-termination.c 226     900     32034816 1620    apollon109 3.05 1.18  293584896 22.7 apollon054 .00942 .00964 770048 .00830 apollon163
ldv-regression/test07_true-unreach-call_true-termination.c 227     900     31944704 1420    apollon022 2.62 1.13  272838656 21.0 apollon092 .00876 .0120  991232 .0130  apollon039
ldv-regression/test09_true-unreach-call_true-termination.c 202     900     32034816 2140    apollon155 2.72 1.16  270229504 22.7 apollon086 .0154  .0150  1019904 .00342 apollon109
ldv-regression/test10_true-unreach-call_true-termination.c 274     900     32043008 3250    apollon065 2.74 1.16  271282176 27.3 apollon044 .00779 .00824 1036288 .00287 apollon032
ldv-regression/test11_true-unreach-call_true-termination.c 336     900     32096256 2750    apollon090 2.69 1.14  265584640 25.0 apollon118 .00863 .00848 860160 .00000 apollon005
ldv-regression/test13_true-unreach-call_true-termination.c 227     900     31911936 1890    apollon051 2.80 1.10  293175296 27.9 apollon057 .0293  .0289  1003520 .00604 apollon004
ldv-regression/test14_true-unreach-call_true-termination.c 392     900     32137216 2630    apollon118 2.64 1.15  270028800 24.4 apollon009 .0196  .0221  905216 .00757 apollon045
ldv-regression/test15_true-unreach-call_true-termination.c 274     900     31854592 3490    apollon091 2.82 1.09  297291776 24.1 apollon042 .0121  .0118  995328 .0172  apollon132
ldv-regression/test16_true-unreach-call_true-termination.c 228     900     31961088 1430    apollon022 2.65 1.12  269672448 21.0 apollon151 .0185  .0194  835584 .00464 apollon031
ldv-regression/test17_true-unreach-call_true-termination.c 225     900     31985664 2000    apollon122 2.44 1.07  267300864 25.2 apollon125 .0123  .0121  1048576 .00635 apollon090
ldv-regression/test18_true-unreach-call_true-termination.c 226     900     31993856 2000    apollon007 2.62 1.10  268443648 24.1 apollon067 .0150  .0146  876544 .0139  apollon068
ldv-regression/test19_true-unreach-call_true-termination.c 336     900     32198656 2730    apollon055 2.67 1.11  268607488 21.4 apollon043 .0147  .0198  770048 .00415 apollon138
ldv-regression/test20_true-unreach-call_true-termination.c 229     900     31956992 1890    apollon038 2.52 1.09  271015936 25.4 apollon106 .0147  .0141  1019904 .00848 apollon031
ldv-regression/test21_true-unreach-call_true-termination.c 279     900     32034816 3820    apollon130 2.79 1.13  268574720 24.2 apollon052 .0191  .0199  1019904 .00470 apollon076
ldv-regression/test22_true-unreach-call.c 419     900     31973376 3040    apollon143 5.65 1.91  351363072 46.2 apollon042 .0198  .0196  860160 .00732 apollon061
ldv-regression/test23_true-unreach-call.c 329     900     32088064 3260    apollon066 31.0  13.9   1813843968 276   apollon045 .0110  .0108  978944 .0108  apollon034
ldv-regression/test24_true-unreach-call_true-termination.c 298     900     32063488 2880    apollon085 11.5  3.47  607617024 102   apollon118 .00964 .0138  921600 .0236  apollon030
ldv-regression/test25_true-unreach-call.c 375     900     32006144 2500    apollon105 5.60 1.84  309628928 43.5 apollon060 .0115  .0113  1056768 .00971 apollon103
ldv-regression/test26_true-unreach-call_true-termination.c 228     900     47636480 1640    apollon120 2.60 1.10  266936320 23.1 apollon034 .0131  .0130  1044480 .00366 apollon112
ldv-regression/test27_true-unreach-call_true-termination.c 421     900     32088064 2900    apollon103 101    82.5   1948983296 969   apollon099 528       981       216281088 4080       apollon147
ldv-regression/test28_true-unreach-call_true-termination.c 317     900     32096256 2480    apollon131 2.60 1.13  270757888 24.4 apollon067 .0147  .0152  856064 .0169  apollon133
ldv-regression/test29_true-unreach-call_true-termination.c 335     900     32002048 3030    apollon108 2.68 1.10  272687104 24.5 apollon112 .00965 .00972 778240 .00842 apollon027
ldv-regression/test30_true-unreach-call_true-termination.c 227     900     32120832 2010    apollon003 2.65 1.10  275738624 27.5 apollon021 .00834 .0112  913408 .0112  apollon086
ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i 62.6   52.8   65511424 804    apollon085 10.6  2.77  462008320 86.1 apollon057 .00745 .00750 946176 .00342 apollon003
ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i 75.7   65.7   61837312 1060    apollon088 9.80 2.75  456699904 76.9 apollon042 .0138  .0141  1003520 .00000 apollon100
ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i 71.1   61.2   61661184 884    apollon001 10.1  2.73  488357888 77.8 apollon026 .00714 .00708 880640 .00464 apollon063
ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i 818     900     71655424 6950    apollon157 6.05 1.89  299941888 46.1 apollon116 .0226  .0241  819200 .00568 apollon158
ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i 775     900     71725056 7640    apollon041 5.90 1.81  296321024 47.9 apollon004 .0106  .0104  876544 .0128  apollon122
ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i 825     900     71634944 9770    apollon091 6.19 1.90  295305216 50.4 apollon077 .0104  .0104  884736 .00824 apollon113
ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i 816     900     71737344 7350    apollon154 5.99 1.77  294895616 51.9 apollon020 .0101  .0100  774144 .00726 apollon045
ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i 950     886     71864320 10400    apollon061 6.15 1.85  296501248 49.9 apollon071 .0146  .0186  802816 .00879 apollon004
ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i 748     900     71680000 8750    apollon027 6.21 1.88  295534592 54.2 apollon033 .0117  .0114  1040384 .0107  apollon042
ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i 932     900     75313152 9380    apollon131 5.92 1.82  301953024 48.4 apollon017 .0189  .0206  978944 .00409 apollon118
ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i 846     900     75145216 8110    apollon037 5.79 1.80  296538112 46.8 apollon011 .00762 .0120  958464 .00000 apollon076
ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i 947     900     71745536 9900    apollon051 6.25 1.97  298254336 52.2 apollon168 .0268  .0261  1007616 .00763 apollon146
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i 872     900     71794688 8030    apollon023 5.78 1.76  298172416 46.3 apollon072 .0129  .0167  1085440 .00665 apollon035
forester-heap/dll-01_false-unreach-call_false-valid-memcleanup.i 19.1   10.9   31985664 219    apollon096 3.71 1.36  302596096 31.6 apollon011 .0179  .0177  925696 .00665 apollon061
forester-heap/dll-circular_false-unreach-call_false-valid-memcleanup.i 18.2   10.5   32100352 222    apollon101 4.11 1.50  308314112 39.5 apollon125 .0114  .0111  1032192 .00708 apollon110
forester-heap/dll-optional_false-unreach-call_false-valid-memcleanup.i 17.4   10.2   31973376 194    apollon107 4.15 1.50  306003968 36.1 apollon017 .0149  .0152  856064 .0152  apollon111
forester-heap/dll-queue_false-unreach-call_false-valid-memcleanup.i 5.02  4.51  33611776 68.1  apollon038 4.07 1.49  309760000 32.0 apollon117 .00981 .0101  761856 .00891 apollon078
forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i 17.2   10.1   37687296 208    apollon077 4.12 1.53  303165440 35.5 apollon004 .0151  .0166  929792 .00720 apollon124
forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i 4.29  3.89  32002048 67.2  apollon069 3.70 1.44  283316224 32.2 apollon084 .00727 .00840 741376 .0149  apollon056
forester-heap/dll-simple-white-blue_false-unreach-call_false-valid-memcleanup.i 4.31  3.89  32202752 61.8  apollon065 4.08 1.47  290107392 32.3 apollon157 .00867 .00832 970752 .00366 apollon015
forester-heap/dll-sorted_false-unreach-call_false-valid-memcleanup.i 2.15  2.20  4305981440 30.5  apollon125 4.36 1.65  295096320 39.0 apollon093 .0273  .0287  864256 .00848 apollon062
forester-heap/dll-token_false-unreach-call_false-valid-memcleanup.i 18.9   10.9   31952896 200    apollon116 4.25 1.50  307900416 36.5 apollon022 .0132  .0135  978944 .0129  apollon011
forester-heap/sll-01_false-unreach-call_false-valid-deref.i .888 .892 31977472 10.9  apollon004 3.85 1.39  304373760 32.0 apollon038 .00552 .00963 823296 .0132  apollon064
forester-heap/sll-buckets_false-unreach-call_false-valid-memcleanup.i 4.34  3.88  31838208 62.3  apollon140 4.37 1.53  307650560 35.8 apollon018 .0212  .0209  1003520 .00519 apollon092
forester-heap/sll-circular_false-unreach-call_false-valid-memcleanup.i 18.8   10.8   31891456 217    apollon055 4.08 1.47  307019776 34.8 apollon121 .00642 .00629 860160 .00873 apollon143
forester-heap/sll-optional_false-unreach-call_false-valid-memcleanup.i 16.7   9.80  32137216 188    apollon090 4.35 1.58  304832512 41.1 apollon057 .00979 .00967 897024 .0110  apollon083
forester-heap/sll-queue_false-unreach-call_false-valid-memcleanup.i 4.70  4.19  32059392 62.1  apollon001 4.15 1.48  306032640 39.5 apollon016 .0117  .0127  860160 .0124  apollon038
forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i 17.5   10.2   31977472 226    apollon059 3.99 1.47  305623040 36.3 apollon152 .0268  .0275  864256 .00500 apollon123
forester-heap/sll-rb-sentinel_false-unreach-call_false-valid-memcleanup.i 4.32  3.90  31969280 57.2  apollon076 3.91 1.46  289226752 33.4 apollon150 .0217  .0246  913408 .00787 apollon149
forester-heap/sll-simple-white-blue_false-unreach-call_false-valid-memcleanup.i 4.26  3.88  37638144 52.4  apollon060 4.06 1.48  311119872 40.0 apollon125 .0127  .0125  1003520 .00922 apollon028
forester-heap/sll-sorted_false-unreach-call_false-valid-memcleanup.i 2.13  2.09  4306292736 29.2  apollon155 4.37 1.56  310292480 39.3 apollon140 .0191  .0193  974848 .0129  apollon066
forester-heap/sll-token_false-unreach-call_false-valid-memcleanup.i 18.9   10.9   32141312 232    apollon010 4.17 1.47  306860032 31.9 apollon054 .0242  .0242  1048576 .00842 apollon126
forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i 375     900     31965184 4370    apollon027 3.94 1.42  308924416 34.5 apollon118 .0155  .0173  970752 .0211  apollon155
forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i 6.93  5.92  32100352 74.9  apollon159 4.12 1.48  304640000 35.3 apollon072 .0137  .0134  978944 .00000 apollon081
forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i 516     900     32071680 3350    apollon144 5.27 1.76  310845440 44.5 apollon121 .0131  .0136  966656 .00964 apollon132
forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i 341     900     32223232 3760    apollon113 4.30 1.52  305614848 35.4 apollon087 .0224  .0218  811008 .00574 apollon049
forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i 343     900     31928320 3360    apollon066 3.92 1.45  301637632 33.1 apollon120 .0107  .0113  892928 .0104  apollon130
forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i 369     900     32129024 3910    apollon026 3.98 1.43  305750016 33.9 apollon004 .0152  .0150  843776 .00745 apollon125
forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i 349     900     32026624 3930    apollon113 4.51 1.61  308465664 39.7 apollon108 .0102  .0103  847872 .0101  apollon036
forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i 502     900     32145408 3570    apollon109 5.81 1.90  313638912 43.1 apollon092 .0124  .0125  1007616 .00891 apollon102
forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i 2.15  2.20  4305899520 25.2  apollon012 4.35 1.56  310112256 38.9 apollon015 .0154  .0153  876544 .00732 apollon019
forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i 440     900     32047104 2920    apollon042 4.10 1.53  306814976 38.0 apollon081 .0169  .0164  831488 .00964 apollon159
forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i 460     900     31989760 3290    apollon149 4.06 1.56  305156096 32.1 apollon086 .0285  .0290  1015808 .00867 apollon079
forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i 404     900     32063488 5180    apollon021 4.27 1.55  306638848 35.0 apollon107 .0143  .0142  1019904 .00000 apollon070
forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i 6.91  5.90  32182272 73.4  apollon084 3.90 1.46  291344384 34.4 apollon142 .0215  .0213  1077248 .00690 apollon042
forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i 529     900     32182272 3980    apollon051 5.42 1.79  321630208 44.6 apollon053 .00916 .0123  1011712 .00812 apollon055
forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i 352     900     32325632 5030    apollon161 4.18 1.52  307142656 40.6 apollon111 .0160  .0163  880640 .00903 apollon055
forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i 351     900     32116736 4170    apollon047 4.01 1.44  305766400 40.7 apollon021 .0157  .0161  1052672 .00739 apollon146
forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i 418     900     31940608 3190    apollon150 3.88 1.47  290291712 38.7 apollon057 .0255  .0251  1048576 .00604 apollon051
forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i 425     900     32014336 2760    apollon002 4.54 1.71  304750592 43.3 apollon111 .0103  .0155  1015808 .0515  apollon058
forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i 463     900     32141312 3220    apollon105 5.82 1.89  322797568 49.3 apollon152 .00994 .0144  946176 .00995 apollon151
forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i 2.15  2.20  4306903040 29.4  apollon122 4.10 1.55  292421632 35.2 apollon025 .00961 .00979 786432 .00922 apollon036
forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i 440     900     32129024 3400    apollon165 4.30 1.61  304218112 38.8 apollon161 .0209  .0221  782336 .00775 apollon139
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i 6.87  5.88  32858112 78.7  apollon044 3.86 1.46  291573760 34.3 apollon004 .0103  .0105  901120 .0111  apollon021
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i 429     900     32260096 3540    apollon034 101    62.3   3824812032 1040   apollon015 3.32    1.48    231968768 29.2     apollon103
list-ext-properties/simple-ext_false-unreach-call_false-valid-memcleanup_true-termination.i 6.90  5.92  32018432 72.0  apollon008 3.87 1.57  284205056 34.1 apollon078 .0146  .0152  724992 .00519 apollon165
list-ext2-properties/list_and_tree_cnstr_false-unreach-call_false-termination.i 950     778     32051200 12300    apollon118 111    70.7   3817975808 1080   apollon058 3.61    1.49    236929024 29.4     apollon035
list-ext2-properties/list_and_tree_cnstr_true-unreach-call_false-termination.i 658     900     32161792 8040    apollon030 101    68.0   3561881600 945   apollon043 3.91    1.57    250748928 39.2     apollon125
list-ext2-properties/simple_and_skiplist_2lvl_false-unreach-call.i 800     900     32075776 9450    apollon049 4.98 1.94  294699008 39.0 apollon042 .00972 .00974 1060864 .00000 apollon099
list-ext2-properties/simple_and_skiplist_2lvl_true-unreach-call.i 640     900     32116736 9320    apollon039 101    71.8   4013780992 1100   apollon102 3.20    1.41    238428160 29.7     apollon052
list-ext2-properties/simple_search_value_false-unreach-call.i 6.90  5.91  32190464 66.5  apollon018 101    75.0   4014583808 1060   apollon157 3.26    1.43    235008000 27.0     apollon043
list-ext2-properties/simple_search_value_true-unreach-call.i 421     900     32100352 3630    apollon163 101    75.3   3958837248 983   apollon092 3.31    1.45    230199296 31.2     apollon136
ldv-sets/test_add_false-unreach-call_true-termination.i .276 .369 31928320 3.42 apollon156 4.02 1.57  290824192 35.1 apollon156 .0147  .0152  884736 .00885 apollon113
ldv-sets/test_mutex_double_lock_false-unreach-call_true-termination.i .294 .385 32022528 3.65 apollon047 4.34 1.67  293318656 42.2 apollon014 .0133  .0133  897024 .0176  apollon011
ldv-sets/test_mutex_double_unlock_false-unreach-call.i .296 .385 32145408 3.23 apollon041 101    72.1   3957501952 1120   apollon038 4.09    1.58    252534784 32.3     apollon098
ldv-sets/test_mutex_unbounded_false-unreach-call.i .296 .387 32051200 3.24 apollon127 5.55 1.88  319803392 46.0 apollon042 .0293  .0286  987136 .0121  apollon048
ldv-sets/test_mutex_unlock_at_exit_false-unreach-call.i .320 .411 31993856 3.22 apollon103 10.6  3.05  468631552 85.4 apollon076 .0157  .0156  1019904 .00543 apollon097
ldv-sets/test_add_true-unreach-call_true-termination.i .298 .389 32178176 3.44 apollon015 3.76 1.44  279330816 38.8 apollon039 .0118  .0126  917504 .00684 apollon116
ldv-sets/test_mutex_true-unreach-call.i .294 .387 32014336 3.84 apollon016 101    69.1   3881336832 1280   apollon039 4.20    1.65    253276160 36.1     apollon096
ldv-sets/test_mutex_unbounded_true-unreach-call.i .324 .413 31895552 3.31 apollon118 101    68.9   3783802880 1270   apollon111 4.42    1.82    256204800 41.1     apollon159
floats-cdfpl/newton_1_4_false-unreach-call_true-termination.i 290     900     32079872 2780    apollon085 3.28 1.33  287711232 28.7 apollon051 23.3     18.9     190124032 255       apollon123
floats-cdfpl/newton_1_5_false-unreach-call_true-termination.i 307     900     32014336 2590    apollon003 3.17 1.29  289210368 30.6 apollon020 79.0     66.3     188334080 950       apollon035
floats-cdfpl/newton_1_6_false-unreach-call_true-termination.i 255     900     32018432 3880    apollon044 3.09 1.32  280403968 25.2 apollon128 367       981       188948480 2910       apollon034
floats-cdfpl/newton_1_7_false-unreach-call_true-termination.i 24.7   21.5   32071680 281    apollon158 3.33 1.36  284037120 31.8 apollon106 390       981       193093632 2840       apollon101
floats-cdfpl/newton_1_8_false-unreach-call_true-termination.i 32.3   27.9   32210944 439    apollon087 3.22 1.30  280059904 28.1 apollon034 15.2     12.1     189202432 204       apollon091
floats-cdfpl/newton_2_6_false-unreach-call_true-termination.i 349     900     32116736 2930    apollon037 3.91 1.47  304762880 28.1 apollon092 316       981       192258048 3450       apollon050
floats-cdfpl/newton_2_7_false-unreach-call_true-termination.i 264     900     32014336 3100    apollon113 3.53 1.36  305381376 28.5 apollon117 .0180  .0177  999424 .00806 apollon026
floats-cdfpl/newton_2_8_false-unreach-call_true-termination.i 268     900     32161792 2480    apollon104 3.37 1.34  292712448 34.7 apollon160 .0274  .0292  872448 .00696 apollon004
floats-cdfpl/newton_3_6_false-unreach-call_true-termination.i 299     900     32034816 2550    apollon137 3.92 1.51  291278848 36.3 apollon148 312       981       193024000 3030       apollon066
floats-cdfpl/newton_3_7_false-unreach-call_true-termination.i 140     900     31924224 12100    apollon106 3.84 1.41  289001472 36.7 apollon108 353       981       193089536 2270       apollon101
floats-cdfpl/newton_3_8_false-unreach-call_true-termination.i 329     900     32120832 2830    apollon038 3.80 1.50  288854016 34.0 apollon009 367       981       219787264 2740       apollon093
floats-cdfpl/sine_1_false-unreach-call_true-termination.i 305     900     31891456 2770    apollon122 3.03 1.30  275775488 29.2 apollon155 365       981       191602688 3030       apollon040
floats-cdfpl/sine_2_false-unreach-call_true-termination.i 317     900     32002048 2590    apollon154 3.14 1.33  275918848 26.9 apollon042 46.9     39.1     187830272 655       apollon007
floats-cdfpl/sine_3_false-unreach-call_true-termination.i 277     900     31989760 3880    apollon088 3.09 1.32  276983808 27.4 apollon004 358       981       188506112 2920       apollon135
floats-cdfpl/square_1_false-unreach-call_true-termination.i 341     900     31981568 2950    apollon157 3.42 1.32  296480768 27.6 apollon058 375       981       196108288 3180       apollon038
floats-cdfpl/square_2_false-unreach-call_true-termination.i 268     900     32010240 3830    apollon130 3.08 1.34  274157568 28.2 apollon017 359       981       190578688 3100       apollon126
floats-cdfpl/square_3_false-unreach-call_true-termination.i 312     900     32088064 2100    apollon158 3.07 1.32  283607040 27.3 apollon119 354       981       192425984 2600       apollon145
floats-cdfpl/newton_1_1_true-unreach-call_true-termination.i 295     900     32231424 2240    apollon013 3.25 1.32  285380608 27.4 apollon109 319       981       193540096 3820       apollon111
floats-cdfpl/newton_1_2_true-unreach-call_true-termination.i 335     900     32083968 3350    apollon094 3.29 1.32  277344256 27.8 apollon107 370       981       195182592 2540       apollon139
floats-cdfpl/newton_1_3_true-unreach-call_true-termination.i 298     900     32088064 2760    apollon116 3.24 1.32  279523328 28.4 apollon085 342       981       190210048 2650       apollon107
floats-cdfpl/newton_2_1_true-unreach-call_true-termination.i 288     900     32038912 3090    apollon064 3.55 1.39  299921408 31.8 apollon071 383       981       190849024 2800       apollon153
floats-cdfpl/newton_2_2_true-unreach-call_true-termination.i 307     900     32030720 2410    apollon060 3.98 1.46  307306496 32.7 apollon121 373       981       221986816 3240       apollon007
floats-cdfpl/newton_2_3_true-unreach-call_true-termination.i 319     900     32047104 2520    apollon120 3.71 1.39  294916096 32.1 apollon017 297       981       221818880 4770       apollon039
floats-cdfpl/newton_2_4_true-unreach-call_true-termination.i 333     900     31952896 3040    apollon049 3.67 1.38  299188224 31.4 apollon026 355       981       221782016 3050       apollon007
floats-cdfpl/newton_2_5_true-unreach-call_true-termination.i 264     900     32083968 4940    apollon057 3.47 1.35  293187584 32.9 apollon141 365       981       228106240 2870       apollon102
floats-cdfpl/newton_3_1_true-unreach-call_true-termination.i 301     900     32120832 2730    apollon007 3.96 1.48  289370112 32.5 apollon072 356       981       224755712 2730       apollon013
floats-cdfpl/newton_3_2_true-unreach-call_true-termination.i 285     900     31825920 2390    apollon040 3.56 1.43  288223232 35.9 apollon160 349       981       221536256 2650       apollon096
floats-cdfpl/newton_3_3_true-unreach-call_true-termination.i 315     900     32059392 2500    apollon120 3.62 1.42  290717696 33.9 apollon019 358       981       222322688 2960       apollon135
floats-cdfpl/newton_3_4_true-unreach-call_true-termination.i 295     900     32165888 2590    apollon029 3.74 1.40  288501760 35.4 apollon007 358       981       222531584 3000       apollon164
floats-cdfpl/newton_3_5_true-unreach-call_true-termination.i 265     900     32215040 3770    apollon088 3.86 1.44  288108544 30.2 apollon089 351       981       219533312 2870       apollon154
floats-cdfpl/sine_4_true-unreach-call_true-termination.i 307     900     31920128 2470    apollon033 3.11 1.30  276041728 27.6 apollon150 366       981       187482112 2570       apollon086
floats-cdfpl/sine_5_true-unreach-call_true-termination.i 252     900     32145408 3810    apollon148 3.11 1.30  277741568 30.6 apollon016 369       981       196739072 2690       apollon025
floats-cdfpl/sine_6_true-unreach-call_true-termination.i 282     900     31969280 3210    apollon114 3.08 1.30  274255872 26.7 apollon018 378       981       189571072 2420       apollon158
floats-cdfpl/sine_7_true-unreach-call_true-termination.i 270     900     31895552 3060    apollon075 3.10 1.29  274198528 28.7 apollon020 298       981       187867136 4350       apollon016
floats-cdfpl/sine_8_true-unreach-call_true-termination.i 338     900     31985664 2530    apollon097 2.94 1.27  275603456 29.7 apollon161 366       981       188497920 2970       apollon154
floats-cdfpl/square_4_true-unreach-call_true-termination.i 319     900     32153600 2250    apollon042 3.06 1.29  276631552 29.6 apollon020 294       981       184844288 5300       apollon057
floats-cdfpl/square_5_true-unreach-call_true-termination.i 341     900     32055296 3500    apollon019 3.10 1.32  272031744 27.1 apollon085 372       981       194617344 4040       apollon077
floats-cdfpl/square_6_true-unreach-call_true-termination.i 320     900     31899648 2920    apollon122 3.00 1.28  277045248 24.1 apollon054 303       981       186306560 3130       apollon110
floats-cdfpl/square_7_true-unreach-call_true-termination.i 326     900     32038912 2870    apollon040 3.09 1.31  273149952 23.8 apollon158 318       981       189038592 3610       apollon114
floats-cdfpl/square_8_true-unreach-call_true-termination.i 249     900     32145408 2900    apollon001 3.08 1.29  275968000 28.2 apollon032 299       981       191115264 2860       apollon168
floats-cbmc-regression/float-div1_true-unreach-call.i .390 .408 32149504 4.55 apollon162 4.25 1.54  294539264 38.0 apollon077 3.57    1.47    232534016 29.4     apollon035
floats-cbmc-regression/float-flags-simp1_true-unreach-call.i .470 .517 32141312 5.51 apollon067 4.20 1.58  286539776 35.4 apollon165 3.96    1.55    232882176 33.4     apollon042
floats-cbmc-regression/float-no-simp1_true-unreach-call_true-termination.i 225     900     31956992 1630    apollon127 2.95 1.26  275304448 28.1 apollon164 263       981       212803584 2040       apollon009
floats-cbmc-regression/float-no-simp2_true-unreach-call.i 322     900     32088064 2690    apollon154 3.37 1.25  282005504 32.3 apollon081 .0265  .0298  958464 .00531 apollon008
floats-cbmc-regression/float-no-simp3_true-unreach-call_true-termination.i 228     900     31993856 1630    apollon124 2.92 1.24  280174592 28.5 apollon148 257       981       211591168 1770       apollon012
floats-cbmc-regression/float-no-simp4_true-unreach-call.i .442 .520 31956992 4.74 apollon157 4.48 1.58  295583744 38.5 apollon005 3.76    1.49    231399424 32.7     apollon015
floats-cbmc-regression/float-no-simp6_true-unreach-call_true-termination.i 222     900     31895552 1770    apollon090 2.89 1.26  275648512 23.9 apollon099 217       981       184586240 2510       apollon047
floats-cbmc-regression/float-no-simp7_true-unreach-call_true-termination.i 193     900     32096256 2690    apollon132 3.02 1.24  272568320 26.9 apollon112 258       981       182030336 1950       apollon102
floats-cbmc-regression/float-no-simp8_true-unreach-call.i 224     900     31866880 2020    apollon007 3.23 1.26  277245952 27.3 apollon053 .0150  .0147  917504 .00824 apollon085
floats-cbmc-regression/float-rounding1_true-unreach-call.i .441 .522 32043008 4.85 apollon150 3.14 1.22  275058688 28.9 apollon009 3.47    1.48    229281792 31.1     apollon051
floats-cbmc-regression/float-to-double1_true-unreach-call.i 325     900     32075776 2610    apollon037 3.19 1.25  274808832 25.5 apollon117 .0100  .00982 1007616 .00915 apollon047
floats-cbmc-regression/float-to-double2_true-unreach-call_true-termination.i 203     900     32043008 2250    apollon114 2.55 1.06  267288576 20.8 apollon100 .00900 .00942 917504 .0140  apollon021
floats-cbmc-regression/float-zero-sum1_true-unreach-call_true-termination.i 212     900     32215040 2230    apollon112 3.00 1.20  274448384 25.1 apollon072 227       981       189861888 2460       apollon024
floats-cbmc-regression/float11_true-unreach-call_true-termination.i 230     900     32038912 1620    apollon074 2.54 1.06  266686464 23.3 apollon076 .0234  .0249  757760 .00940 apollon073
floats-cbmc-regression/float12_true-unreach-call_true-termination.i 291     900     32116736 4360    apollon016 2.52 1.06  271978496 22.2 apollon012 .0140  .0139  1007616 .0140  apollon004
floats-cbmc-regression/float13_true-unreach-call_true-termination.i 227     900     32133120 2060    apollon036 2.95 1.26  274726912 24.5 apollon089 259       981       185606144 1820       apollon127
floats-cbmc-regression/float14_true-unreach-call.i 224     900     32145408 1950    apollon083 3.90 1.44  286658560 35.8 apollon047 3.46    1.47    228950016 29.7     apollon086
floats-cbmc-regression/float18_true-unreach-call.i 228     900     32083968 1990    apollon007 5.54 1.81  304295936 42.8 apollon054 .0101  .00992 905216 .00806 apollon120
floats-cbmc-regression/float19_true-unreach-call.i 320     900     32260096 2980    apollon126 3.89 1.46  283901952 32.5 apollon133 .0114  .0119  724992 .00317 apollon090
floats-cbmc-regression/float1_true-unreach-call_true-termination.i 223     900     31854592 1620    apollon138 2.94 1.26  274829312 27.1 apollon167 257       981       206655488 1820       apollon127
floats-cbmc-regression/float20_true-unreach-call_true-termination.i .308 .398 31903744 3.70 apollon028 3.20 1.31  279089152 26.8 apollon107 316       981       190717952 3020       apollon156
floats-cbmc-regression/float21_true-unreach-call.i .409 .510 32137216 4.46 apollon090 4.04 1.49  286728192 31.5 apollon040 3.57    1.53    230510592 28.3     apollon143
floats-cbmc-regression/float22_true-unreach-call_true-termination.i 226     900     32088064 1680    apollon105 3.24 1.31  285437952 25.8 apollon054 .0107  .0105  831488 .00946 apollon018
floats-cbmc-regression/float2_true-unreach-call_true-termination.i 224     900     32202752 1350    apollon123 2.55 1.11  265289728 21.7 apollon157 .0111  .0107  860160 .00500 apollon132
floats-cbmc-regression/float3_true-unreach-call_true-termination.i 287     900     32002048 2960    apollon068 3.29 1.34  289042432 31.2 apollon108 361       981       188194816 2950       apollon165
floats-cbmc-regression/float4_true-unreach-call.i 307     900     32305152 2240    apollon012 3.41 1.29  278663168 31.4 apollon091 .0108  .0119  880640 .0103  apollon090
floats-cbmc-regression/float5_true-unreach-call_true-termination.i .262 .271 32182272 3.28 apollon140 2.54 1.11  270061568 23.0 apollon087 .0212  .0210  864256 .00781 apollon081
floats-cbmc-regression/float6_true-unreach-call_true-termination.i .272 .271 32272384 3.14 apollon046 2.76 1.16  265805824 23.9 apollon157 .0154  .0233  892928 .0108  apollon003
floats-cbmc-regression/float8_true-unreach-call.i 316     900     31965184 2870    apollon163 3.31 1.27  272904192 29.0 apollon168 .00825 .00818 794624 .0107  apollon129
floats-cbmc-regression/float_lib1_true-unreach-call.i .389 .401 32088064 4.31 apollon025 1.81 .714 146210816 17.2 apollon022 .00910 .0103  1003520 .0104  apollon018
floats-cbmc-regression/float_lib2_true-unreach-call.i .359 .375 32120832 4.64 apollon048 3.90 1.47  284749824 35.1 apollon047 3.41    1.47    229023744 29.7     apollon157
float-benchs/cast_float_ptr_false-unreach-call_true-termination.c 4.47  4.01  32120832 68.4  apollon048 3.37 1.37  291115008 32.4 apollon126 .0177  .0184  962560 .00983 apollon091
float-benchs/cast_union_loose_false-unreach-call_true-termination.c 5.15  4.59  32055296 72.0  apollon017 3.19 1.31  283373568 28.2 apollon162 .00911 .0125  1105920 .0114  apollon065
float-benchs/cast_union_tight_false-unreach-call_true-termination.c 3.63  3.29  31911936 49.3  apollon105 3.07 1.30  277520384 26.9 apollon084 .0133  .0131  888832 .00995 apollon007
float-benchs/float_int_inv_square_false-unreach-call_true-termination.c 3.63  3.30  32108544 52.5  apollon108 3.13 1.29  280240128 29.9 apollon106 5.71    4.13    190521344 62.2     apollon110
float-benchs/inv_Newton_false-unreach-call.c .273 .272 31948800 3.47 apollon088 3.58 1.42  292753408 30.3 apollon045 349       981       228687872 3040       apollon081
float-benchs/inv_square_false-unreach-call_true-termination.c 3.62  3.29  32051200 50.5  apollon009 3.20 1.27  278286336 28.5 apollon052 5.65    4.11    191721472 62.8     apollon129
float-benchs/nan_double_false-unreach-call_true-termination.c 3.99  3.60  31916032 60.9  apollon019 2.74 1.08  287801344 26.9 apollon125 .00969 .00982 749568 .00708 apollon138
float-benchs/nan_float_false-unreach-call_true-termination.c 4.11  3.70  32096256 61.8  apollon031 2.50 1.06  269299712 24.6 apollon126 .0113  .0107  1015808 .00903 apollon106
float-benchs/sin_interpolated_index_false-unreach-call_true-termination.c 294     900     32157696 3050    apollon117 3.59 1.43  290566144 31.8 apollon112 389       981       221233152 2780       apollon101
float-benchs/sqrt_poly2_false-unreach-call.c .289 .288 32190464 2.65 apollon151 3.54 1.46  283836416 26.6 apollon054 .0137  .0155  745472 .0107  apollon030
float-benchs/Muller_Kahan_true-unreach-call_true-termination.c 225     900     31997952 2740    apollon077 101    70.1   3703078912 1290   apollon111 246       981       223195136 2010       apollon098
float-benchs/Rump_double_true-unreach-call_true-termination.c 224     900     32129024 1660    apollon093 3.05 1.30  277000192 24.2 apollon060 258       981       191696896 1560       apollon002
float-benchs/Rump_float_true-unreach-call_true-termination.c 222     900     32165888 1590    apollon060 3.02 1.27  280453120 27.7 apollon168 256       981       182452224 1800       apollon124
float-benchs/addsub_double_exact_true-unreach-call_true-termination.c 188     900     32055296 2980    apollon005 2.62 1.12  270811136 23.7 apollon022 .00979 .00956 872448 .0115  apollon087
float-benchs/addsub_float_exact_true-unreach-call_true-termination.c 224     900     32129024 2110    apollon019 2.61 1.09  267870208 22.8 apollon085 .0126  .0125  1019904 .0120  apollon081
float-benchs/addsub_float_inexact_true-unreach-call_true-termination.c 223     900     32133120 1420    apollon002 3.01 1.23  278917120 26.0 apollon079 258       981       186093568 1790       apollon109
float-benchs/arctan_Pade_true-unreach-call_true-termination.c 249     900     32083968 3370    apollon052 3.48 1.43  288264192 29.8 apollon011 364       981       227745792 2410       apollon118
float-benchs/bary_diverge_true-unreach-call_true-termination.c 1.55  1.57  4305719296 18.4  apollon079 101    87.1   1271308288 1240   apollon009 4.95    3.12    4305420288 48.1     apollon156
float-benchs/cast_float_union_true-unreach-call.c 276     900     32002048 2950    apollon133 2.57 1.10  269062144 21.7 apollon042 .0134  .0169  860160 .00269 apollon092
float-benchs/cos_polynomial_true-unreach-call_true-termination.c 323     900     32096256 2710    apollon154 3.29 1.38  282152960 31.2 apollon047 355       981       223289344 2610       apollon037
float-benchs/divmul_buf_diverge_true-unreach-call_true-termination.c 1.52  1.57  4305879040 20.0  apollon159 101    68.9   3698745344 1050   apollon095 6.87    3.71    4310097920 58.2     apollon029
float-benchs/divmul_diverge_true-unreach-call_true-termination.c 1.54  1.59  4305641472 19.7  apollon064 101    69.7   3716583424 1130   apollon141 7.76    4.05    4308647936 67.7     apollon099
float-benchs/drift_tenth_true-unreach-call_true-termination.c 225     900     47869952 1560    apollon103 7.25 2.24  447856640 59.2 apollon034 .0138  .0135  819200 .0131  apollon038
float-benchs/exp_loop_true-unreach-call.c .307 .381 32141312 3.80 apollon132 3.80 1.50  294989824 29.7 apollon054 422       981       225816576 6120       apollon140
float-benchs/feedback_diverge_true-unreach-call_true-termination.c 1.54  1.59  4305428480 19.1  apollon020 101    69.7   3690983424 1190   apollon019 6.53    3.53    4307218432 58.7     apollon134
float-benchs/filter1_true-unreach-call_true-termination.c 1.52  1.58  4306247680 21.0  apollon167 3.25 1.25  294666240 29.0 apollon070 .0135  .0132  897024 .0182  apollon055
float-benchs/filter2_alt_true-unreach-call.c 1.54  1.58  4305334272 23.9  apollon111 101    84.8   1385123840 1150   apollon095 4.80    3.09    4306751488 45.3     apollon023
float-benchs/filter2_iterated_true-unreach-call.c 6.30  5.30  32096256 75.9  apollon021 101    80.4   1890471936 1180   apollon018 9.70    6.52    235302912 101       apollon028
float-benchs/filter2_reinit_true-unreach-call_true-termination.c 1.54  1.60  4305035264 18.6  apollon135 102    87.5   1538564096 1130   apollon100 4.27    2.92    4306239488 40.8     apollon083
float-benchs/filter2_set_true-unreach-call_true-termination.c .290 .376 31952896 3.04 apollon139 3.43 1.42  285618176 29.2 apollon058 328       981       223608832 3320       apollon064
float-benchs/filter2_true-unreach-call_true-termination.c 1.17  1.18  3049078784 14.2  apollon129 101    78.5   2405908480 1100   apollon042 4.18    2.60    3047608320 42.4     apollon145
float-benchs/filter_iir_true-unreach-call.c 1.57  1.59  4305485824 21.2  apollon122 4.19 1.56  293605376 36.5 apollon164 .0251  .0246  999424 .00745 apollon150
float-benchs/float_double_true-unreach-call_true-termination.c 227     900     32047104 1650    apollon124 2.84 1.25  274427904 27.5 apollon020 223       981       184479744 3170       apollon080
float-benchs/image_filter_true-unreach-call.c .444 .480 32215040 5.36 apollon118 103    74.0   3067482112 1050   apollon168 .0104  .0103  937984 .00903 apollon154
float-benchs/interpolation2_true-unreach-call_true-termination.c .259 .256 32141312 3.33 apollon010 3.83 1.43  304050176 29.0 apollon043 .0128  .0166  909312 .00977 apollon022
float-benchs/interpolation_true-unreach-call_true-termination.c .283 .284 31899648 3.03 apollon004 3.52 1.34  298409984 31.2 apollon017 .0227  .0224  913408 .0110  apollon028
float-benchs/inv_sqrt_Quake_true-unreach-call_true-termination.c .271 .275 32026624 3.06 apollon133 3.18 1.36  281186304 25.7 apollon040 368       981       189710336 3170       apollon062
float-benchs/inv_square_int_true-unreach-call_true-termination.c 263     900     31961088 4090    apollon016 3.19 1.28  289005568 28.0 apollon004 323       981       192884736 2920       apollon098
float-benchs/inv_square_true-unreach-call_true-termination.c 326     900     31940608 2580    apollon074 3.11 1.30  284872704 29.9 apollon155 319       981       187215872 3200       apollon058
float-benchs/loop_true-unreach-call.c 950     896     32051200 11800    apollon078 101    73.5   3689037824 1020   apollon102 950       893       228270080 12300       apollon152
float-benchs/mea8000_true-unreach-call.c 1.72  1.78  4306493440 25.9  apollon056 101    57.2   3726876672 1030   apollon032 7.70    3.06    402542592 74.2     apollon108
float-benchs/nan_double_range_true-unreach-call_true-termination.c 320     900     32018432 2250    apollon002 2.57 1.07  266473472 22.4 apollon119 .0136  .0143  929792 .0148  apollon007
float-benchs/nan_float_range_true-unreach-call_true-termination.c 299     900     31911936 2510    apollon090 2.51 1.07  267726848 22.1 apollon012 .0111  .0107  929792 .00952 apollon046
float-benchs/rlim_exit_true-unreach-call_true-termination.c .477 .488 621527040 5.59 apollon082 101    69.4   3702853632 1140   apollon152 4.34    1.87    622227456 44.3     apollon122
float-benchs/rlim_invariant_true-unreach-call_true-termination.c .467 .476 621502464 5.33 apollon050 3.18 1.31  274526208 29.3 apollon009 .0130  .0127  884736 .0108  apollon094
float-benchs/sin_interpolated_bigrange_loose_true-unreach-call_true-termination.c 338     900     31940608 3070    apollon122 2.52 1.07  267304960 26.3 apollon160 371       981       227606528 2660       apollon089
float-benchs/sin_interpolated_bigrange_tight_true-unreach-call_true-termination.c 349     900     31862784 2620    apollon101 2.67 1.08  268079104 24.7 apollon167 377       981       230785024 2500       apollon115
float-benchs/sin_interpolated_index_true-unreach-call_true-termination.c 344     900     32223232 2620    apollon012 3.55 1.37  292544512 33.1 apollon141 378       981       227233792 2590       apollon166
float-benchs/sin_interpolated_negation_true-unreach-call.c .357 .389 32112640 3.80 apollon137 2.71 1.16  269598720 27.6 apollon021 294       981       218193920 2460       apollon070
float-benchs/sin_interpolated_smallrange_true-unreach-call.c .354 .389 32124928 3.60 apollon040 2.66 1.10  266366976 26.0 apollon125 322       981       197316608 2980       apollon081
float-benchs/sqrt_Householder_constant_true-unreach-call.c 230     900     31997952 1820    apollon146 3.31 1.34  283959296 26.1 apollon123 249       981       222846976 2460       apollon112
float-benchs/sqrt_Householder_interval_true-unreach-call.c .285 .282 32051200 2.89 apollon103 3.44 1.37  283762688 32.3 apollon047 285       981       220348416 3780       apollon069
float-benchs/sqrt_Householder_pseudoconstant_true-unreach-call.c .295 .385 32067584 3.08 apollon013 3.41 1.41  286404608 33.2 apollon007 375       981       226697216 2560       apollon002
float-benchs/sqrt_Newton_pseudoconstant_true-unreach-call.c .319 .414 31891456 3.08 apollon109 3.37 1.42  286138368 28.8 apollon095 375       981       221921280 2960       apollon138
float-benchs/sqrt_biNewton_pseudoconstant_true-unreach-call.c .285 .373 32108544 3.86 apollon069 3.46 1.44  285523968 30.5 apollon004 287       981       220151808 4050       apollon005
float-benchs/sqrt_poly_true-unreach-call_true-termination.c .251 .256 32227328 3.47 apollon077 3.20 1.31  284733440 27.1 apollon002 299       981       195231744 2790       apollon156
float-benchs/water_pid_true-unreach-call_true-termination.c 226     900     32112640 1430    apollon022 3.73 1.47  288108544 36.7 apollon125 212       981       224411648 3530       apollon161
float-benchs/zonotope_2_true-unreach-call_true-termination.c 391     900     32030720 3750    apollon128 101    70.1   2707120128 1090   apollon018 426       981       252555264 5210       apollon142
float-benchs/zonotope_3_true-unreach-call_true-termination.c .385 .372 317956096 5.18 apollon080 101    66.3   3724296192 1240   apollon057 6.73    2.66    404000768 56.9     apollon066
float-benchs/zonotope_loose_true-unreach-call_true-termination.c 285     900     31993856 2310    apollon092 3.01 1.29  276717568 27.0 apollon165 351       981       196206592 2810       apollon136
float-benchs/zonotope_tight_true-unreach-call_true-termination.c 328     900     32145408 2220    apollon115 3.11 1.32  279584768 28.8 apollon077 346       981       221163520 2420       apollon138
floats-esbmc-regression/Double_div_true-unreach-call.i 209     900     32141312 2080    apollon041 101    68.2   3712233472 954   apollon054 259       981       220872704 2420       apollon082
floats-esbmc-regression/Float_div_true-unreach-call.i 216     900     32149504 1500    apollon115 101    69.5   3705274368 1020   apollon053 244       981       223027200 2490       apollon075
floats-esbmc-regression/ceil_nondet_true-unreach-call.i .406 .477 32038912 5.60 apollon027 3.26 1.24  272318464 26.8 apollon095 3.45    1.48    236998656 34.5     apollon028
floats-esbmc-regression/ceil_true-unreach-call.i 221     900     32165888 1600    apollon031 3.88 1.46  284168192 35.0 apollon019 3.57    1.47    243597312 32.7     apollon006
floats-esbmc-regression/copysign_true-unreach-call.i 227     900     32247808 1640    apollon015 4.44 1.54  298180608 37.2 apollon095 3.56    1.47    234819584 32.4     apollon005
floats-esbmc-regression/digits_for_true-unreach-call.i 217     900     32124928 1750    apollon040 2.68 1.05  293687296 24.4 apollon101 .0195  .0198  1019904 .00305 apollon150
floats-esbmc-regression/digits_while_true-unreach-call.i 224     900     31997952 1720    apollon096 2.45 1.04  267403264 21.7 apollon032 .0275  .0301  974848 .00677 apollon123
floats-esbmc-regression/fabs_true-unreach-call.i 215     900     32067584 1500    apollon115 4.31 1.53  297754624 38.5 apollon118 3.58    1.53    231292928 31.4     apollon061
floats-esbmc-regression/fdim_true-unreach-call.i .382 .394 32108544 4.57 apollon061 4.07 1.47  287440896 33.1 apollon095 3.78    1.53    247402496 33.1     apollon097
floats-esbmc-regression/floor_nondet_true-unreach-call.i .438 .510 32043008 5.50 apollon033 3.35 1.24  271601664 24.9 apollon054 3.42    1.46    239157248 29.8     apollon025
floats-esbmc-regression/floor_true-unreach-call.i 225     900     32002048 1960    apollon143 4.00 1.44  297574400 36.9 apollon155 3.48    1.47    236589056 32.7     apollon146
floats-esbmc-regression/fmax_true-unreach-call.i .390 .398 32161792 4.55 apollon101 3.99 1.46  290377728 35.8 apollon167 3.55    1.47    230719488 32.8     apollon112
floats-esbmc-regression/fmin_true-unreach-call.i .372 .384 32305152 5.19 apollon130 3.97 1.48  284291072 37.7 apollon125 3.49    1.48    241516544 28.3     apollon098
floats-esbmc-regression/fmod2_true-unreach-call.i .389 .386 32124928 4.98 apollon114 4.21 1.51  298278912 35.8 apollon095 3.38    1.48    231636992 32.3     apollon141
floats-esbmc-regression/fmod3_true-unreach-call.i .422 .514 32030720 4.52 apollon083 3.99 1.51  284069888 35.4 apollon084 3.45    1.48    229527552 30.8     apollon004
floats-esbmc-regression/fmod_true-unreach-call.i .353 .360 31932416 7.17 apollon106 4.04 1.51  286920704 34.7 apollon162 3.69    1.58    231907328 30.0     apollon119
floats-esbmc-regression/isgreater_true-unreach-call.i 189     900     31981568 2970    apollon005 3.99 1.46  286085120 35.4 apollon047 3.48    1.48    234409984 31.6     apollon055
floats-esbmc-regression/isgreaterequal_true-unreach-call.i 229     900     32038912 1840    apollon009 3.97 1.46  283181056 34.8 apollon168 3.56    1.46    234168320 28.0     apollon134
floats-esbmc-regression/isless_true-unreach-call.i 225     900     31870976 2020    apollon003 4.13 1.49  290938880 34.8 apollon070 3.68    1.48    236789760 31.3     apollon118
floats-esbmc-regression/islessequal_true-unreach-call.i 214     900     32014336 1950    apollon116 4.05 1.49  287981568 31.6 apollon054 3.53    1.47    233545728 30.8     apollon142
floats-esbmc-regression/islessgreater_true-unreach-call.i 214     900     31956992 1940    apollon116 3.89 1.51  287326208 36.5 apollon164 3.64    1.50    226185216 34.0     apollon106
floats-esbmc-regression/isunordered_true-unreach-call.i 230     900     32129024 1570    apollon144 4.37 1.58  295870464 40.0 apollon007 3.54    1.48    236695552 31.9     apollon121
floats-esbmc-regression/lrint_true-unreach-call.i .438 .520 32202752 3.76 apollon063 3.20 1.24  274493440 25.5 apollon107 3.21    1.46    225095680 31.4     apollon091
floats-esbmc-regression/modf_true-unreach-call.i 222     900     32014336 1720    apollon013 3.92 1.46  287424512 31.5 apollon089 3.43    1.44    234950656 27.4     apollon092
floats-esbmc-regression/nan_true-unreach-call.i .446 .497 32104448 5.08 apollon109 3.84 1.48  286842880 36.7 apollon007 3.51    1.50    237465600 32.6     apollon114
floats-esbmc-regression/nearbyint2_true-unreach-call.i .439 .519 32022528 4.87 apollon105 3.15 1.20  272756736 28.1 apollon067 3.26    1.43    224059392 27.5     apollon128
floats-esbmc-regression/nearbyint_true-unreach-call.i .427 .500 31928320 4.82 apollon115 3.25 1.28  277970944 27.4 apollon025 3.60    1.49    233803776 31.4     apollon082
floats-esbmc-regression/remainder_true-unreach-call.i .380 .381 32083968 5.47 apollon044 4.04 1.51  287850496 34.8 apollon084 3.80    1.57    240287744 31.0     apollon115
floats-esbmc-regression/rint2_true-unreach-call.i .428 .507 32092160 4.15 apollon092 3.14 1.23  272629760 27.4 apollon084 3.25    1.44    226033664 27.1     apollon117
floats-esbmc-regression/rint_true-unreach-call.i .483 .604 40189952 4.94 apollon157 3.32 1.28  272330752 29.6 apollon047 3.94    1.62    241823744 34.5     apollon096
floats-esbmc-regression/round_nondet_true-unreach-call.i .407 .479 32145408 5.93 apollon148 3.28 1.29  273203200 29.5 apollon152 3.51    1.47    235028480 29.1     apollon099
floats-esbmc-regression/round_true-unreach-call.i 214     900     32096256 2220    apollon064 3.90 1.45  288792576 32.2 apollon127 3.55    1.48    232259584 31.7     apollon156
floats-esbmc-regression/rounding_functions_true-unreach-call.i 63.7   900     31903744 11200    apollon106 4.25 1.47  291086336 35.2 apollon015 3.75    1.50    242409472 29.9     apollon083
floats-esbmc-regression/trunc_nondet_2_true-unreach-call.i .413 .488 31944704 5.43 apollon014 4.10 1.52  288456704 36.5 apollon093 3.50    1.49    235515904 33.5     apollon007
floats-esbmc-regression/trunc_nondet_true-unreach-call.i .434 .506 31911936 5.46 apollon091 3.25 1.24  278786048 30.2 apollon081 3.50    1.49    243130368 34.9     apollon126
floats-esbmc-regression/trunc_true-unreach-call.i 208     900     31993856 2260    apollon114 3.98 1.46  293666816 38.6 apollon106 3.44    1.47    233095168 33.6     apollon088
floats-esbmc-regression/Double_div_bad_false-unreach-call.i 3.48  3.29  32079872 55.8  apollon016 101    72.5   3698872320 1270   apollon148 6.51    4.42    225284096 74.1     apollon136
floats-esbmc-regression/Float_div_bad_false-unreach-call.i 3.67  3.30  31883264 38.4  apollon063 101    79.0   1104375808 1250   apollon007 5.92    4.15    225013760 78.0     apollon159
floats-esbmc-regression/digits_bad_for_false-unreach-call.i 3.64  3.27  32243712 48.7  apollon133 2.45 1.05  269201408 18.8 apollon158 .0145  .0181  1003520 .00946 apollon064
floats-esbmc-regression/digits_bad_while_false-unreach-call.i 3.66  3.28  32096256 46.9  apollon157 2.61 1.04  270020608 21.4 apollon156 .0120  .0129  860160 .00757 apollon120
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c 519     900     32100352 4120    apollon048 10.5  2.91  467931136 92.6 apollon160 .0121  .0119  757760 .0144  apollon128
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c 26.2   22.4   32096256 346    apollon165 7.84 2.35  439459840 64.1 apollon156 .0223  .0227  933888 .00897 apollon061
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c 92.2   76.8   32059392 1320    apollon007 8.41 2.46  459096064 66.6 apollon095 .00989 .0138  954368 .00885 apollon025
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c 33.9   28.2   32182272 429    apollon062 6.15 2.02  326635520 49.7 apollon025 .0136  .0135  860160 .00842 apollon149
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 533     900     34820096 4120    apollon165 8.90 2.66  453758976 68.8 apollon157 .0133  .0132  892928 .00610 apollon034
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 726     900     32092160 8920    apollon046 7.15 2.11  430432256 59.3 apollon112 .0111  .0143  790528 .0229  apollon129
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c 573     900     32096256 5090    apollon060 5.99 1.94  332750848 50.8 apollon070 .0198  .0194  1003520 .00623 apollon120
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c 790     900     32100352 10600    apollon088 7.36 2.23  406474752 63.9 apollon022 .0110  .0111  983040 .00000 apollon166
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 407     900     32247808 5450    apollon021 3.63 1.40  280764416 35.6 apollon126 .0139  .0136  864256 .00000 apollon079
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c 405     900     31985664 3960    apollon095 4.60 1.58  281321472 39.3 apollon146 .00781 .00760 921600 .0138  apollon130
ssh-simplified/s3_clnt_1_false-unreach-call_true-termination.cil.c 333     900     32260096 2620    apollon003 9.16 2.75  455581696 75.9 apollon051 .0140  .0139  933888 .0134  apollon073
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c 421     900     31961088 3590    apollon073 8.52 2.48  452268032 66.7 apollon018 .0143  .0149  860160 .00842 apollon141
ssh-simplified/s3_clnt_3_false-unreach-call_true-termination.cil.c 276     900     32067584 3100    apollon014 9.85 2.84  453873664 91.4 apollon021 .00932 .0127  933888 .00000 apollon045
ssh-simplified/s3_clnt_4_false-unreach-call_true-termination.cil.c 348     900     32018432 2620    apollon102 8.96 2.59  457687040 76.4 apollon047 .0257  .0252  1032192 .00677 apollon098
ssh-simplified/s3_srvr_10_false-unreach-call_false-termination.cil.c 11.9   10.3   32047104 158    apollon038 4.35 1.63  290156544 37.2 apollon026 .0113  .0111  1044480 .00952 apollon027
ssh-simplified/s3_srvr_11_false-unreach-call_false-termination.cil.c 104     86.4   31969280 1380    apollon061 49.7  19.2   1668919296 479   apollon125 17.0     9.72    550506496 172       apollon061
ssh-simplified/s3_srvr_12_false-unreach-call_false-termination.cil.c 58.3   48.6   32079872 660    apollon054 60.7  34.1   1772802048 619   apollon009 11.6     4.44    532574208 92.3     apollon045
ssh-simplified/s3_srvr_13_false-unreach-call_false-termination.cil.c 58.7   48.8   32280576 609    apollon063 9.78 2.78  483901440 73.5 apollon053 .0295  .0287  929792 .00513 apollon144
ssh-simplified/s3_srvr_14_false-unreach-call_false-termination.cil.c 29.7   25.5   31924224 365    apollon040 7.83 2.35  419213312 58.0 apollon098 .0133  .0145  1007616 .00787 apollon106
ssh-simplified/s3_srvr_1_false-unreach-call_false-termination.cil.c 64.2   53.4   31911936 806    apollon062 6.74 2.12  351375360 60.0 apollon030 .00871 .00858 847872 .00781 apollon027
ssh-simplified/s3_srvr_2_false-unreach-call_false-termination.cil.c 92.5   76.7   31977472 1140    apollon086 6.40 2.06  341139456 52.4 apollon042 .00746 .0108  774144 .00763 apollon162
ssh-simplified/s3_srvr_6_false-unreach-call_false-termination.cil.c 3.87  3.49  32215040 50.1  apollon058 4.09 1.57  288546816 34.7 apollon070 .0126  .0137  954368 .00000 apollon123
ssh-simplified/s3_clnt_1_true-unreach-call_true-termination.cil.c 298     900     32055296 2460    apollon029 16.2  4.63  621895680 131   apollon127 .0135  .0145  888832 .0146  apollon022
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c 295     900     31989760 4340    apollon148 12.4  3.48  488386560 107   apollon111 .0128  .0133  905216 .00702 apollon065
ssh-simplified/s3_clnt_3_true-unreach-call_true-termination.cil.c 335     900     32210944 2950    apollon122 9.73 2.76  496414720 88.7 apollon111 .0147  .0144  851968 .00757 apollon047
ssh-simplified/s3_clnt_4_true-unreach-call_true-termination.cil.c 349     900     32137216 2880    apollon003 18.1  4.97  612642816 134   apollon017 .0149  .0147  847872 .00647 apollon141
ssh-simplified/s3_srvr_1_true-unreach-call_false-termination.cil.c 790     900     32133120 8450    apollon116 41.7  18.1   1533001728 370   apollon133 .0149  .0147  950272 .00806 apollon045
ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c 676     900     32059392 6270    apollon138 7.31 2.23  444444672 61.2 apollon167 .0148  .0147  933888 .0202  apollon003
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c 337     900     31903744 4470    apollon021 3.82 1.48  276803584 34.5 apollon022 .0185  .0179  909312 .00732 apollon126
ssh-simplified/s3_srvr_2_true-unreach-call_false-termination.cil.c 913     900     32051200 10900    apollon152 24.1  6.61  852000768 170   apollon100 .0217  .0270  905216 .00409 apollon063
ssh-simplified/s3_srvr_3_true-unreach-call_false-termination.cil.c 951     748     31977472 11800    apollon166 28.2  7.36  799481856 199   apollon117 .0223  .0216  864256 .00836 apollon067
ssh-simplified/s3_srvr_4_true-unreach-call_false-termination.cil.c 951     745     31961088 11600    apollon025 31.2  9.52  1082322944 248   apollon011 .00880 .00863 856064 .00000 apollon066
ssh-simplified/s3_srvr_6_true-unreach-call_false-termination.cil.c 825     900     31969280 11100    apollon088 101    76.2   2603286528 1050   apollon167 14.6     6.18    541614080 121       apollon149
ssh-simplified/s3_srvr_7_true-unreach-call_false-termination.cil.c 885     900     32120832 13100    apollon111 47.6  24.3   1600352256 450   apollon038 .0148  .0148  876544 .00433 apollon094
ssh-simplified/s3_srvr_8_true-unreach-call_false-termination.cil.c 951     750     32034816 13500    apollon108 41.6  14.9   1357250560 335   apollon045 .0111  .0109  974848 .0110  apollon036
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c 3.74  3.39  32272384 57.7  apollon161 3.89 1.55  290488320 35.3 apollon118 .0101  .0104  860160 .0109  apollon038
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c 3.75  3.39  32063488 52.6  apollon071 3.69 1.47  286932992 32.3 apollon085 .0158  .0162  1007616 .00732 apollon022
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c 493     900     32055296 4300    apollon159 3.20 1.26  274280448 28.7 apollon004 .0136  .0143  937984 .00507 apollon091
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c 380     900     32026624 4530    apollon027 3.29 1.30  272015360 27.6 apollon051 .00844 .00903 794624 .00665 apollon121
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c 357     900     31944704 3850    apollon075 3.20 1.26  276197376 29.6 apollon118 .0183  .0180  905216 .00714 apollon068
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c 371     900     32116736 3770    apollon099 3.28 1.31  276688896 29.5 apollon004 .0193  .0191  905216 .00537 apollon131
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c 376     900     32030720 4280    apollon142 3.31 1.34  275124224 28.9 apollon034 .00884 .0141  987136 .00745 apollon131
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c 482     900     32100352 3450    apollon144 3.36 1.30  277331968 28.7 apollon026 .0103  .0107  778240 .00891 apollon028
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c 448     900     32165888 3690    apollon164 2.82 1.18  271339520 25.1 apollon078 .0159  .0154  917504 .0104  apollon033
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c 443     900     32043008 2820    apollon002 2.83 1.18  267870208 24.6 apollon085 .0227  .0221  1019904 .00439 apollon133
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c 485     900     32018432 3750    apollon020 2.93 1.19  274169856 23.8 apollon043 .0202  .0218  1015808 .00775 apollon009
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c 434     900     38748160 3130    apollon076 3.00 1.21  271302656 28.6 apollon020 .00693 .0106  962560 .00000 apollon065
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c 463     900     32141312 3610    apollon087 3.07 1.21  271044608 26.9 apollon087 .0126  .0129  991232 .0136  apollon006
ntdrivers/cdaudio_false-unreach-call.i.cil.c 17.3   15.4   59150336 188    apollon135 101    58.2   3856003072 984   apollon107 13.5     5.49    484675584 133       apollon059
ntdrivers/diskperf_false-unreach-call.i.cil.c 950     949     32358400 13400    apollon048 11.5  3.08  487526400 99.5 apollon161 .0145  .0140  811008 .00000 apollon139
ntdrivers/floppy_false-unreach-call.i.cil.c 950     949     32333824 12600    apollon165 27.8  7.02  827916288 214   apollon051 .0239  .0282  1024000 .00940 apollon059
ntdrivers/kbfiltr_false-unreach-call.i.cil.c 34.2   27.7   35356672 435    apollon070 9.18 2.59  472186880 71.0 apollon026 .0218  .0244  970752 .0165  apollon075
ntdrivers/parport_false-unreach-call.i.cil.c 6.42  5.88  75186176 73.2  apollon151 41.1  12.3   1233416192 337   apollon002 .0146  .0142  765952 .00995 apollon034
ntdrivers/cdaudio_true-unreach-call.i.cil.c 376     900     53997568 5180    apollon016 13.2  3.52  498647040 108   apollon161 .0100  .0104  958464 .00732 apollon012
ntdrivers/diskperf_true-unreach-call.i.cil.c 950     949     32047104 11300    apollon143 10.4  2.82  465846272 85.1 apollon119 .0112  .0110  1007616 .0101  apollon141
ntdrivers/floppy2_true-unreach-call_true-termination.i.cil.c 950     949     32010240 15000    apollon160 36.7  9.30  1080754176 265   apollon051 .00728 .0110  737280 .00677 apollon003
ntdrivers/floppy_true-unreach-call_true-valid-memsafety.i.cil.c 950     949     32174080 12900    apollon009 22.8  5.87  808267776 158   apollon098 .0153  .0151  897024 .00507 apollon088
ntdrivers/parport_true-unreach-call.i.cil.c 509     900     75128832 3530    apollon100 48.1  18.0   1745305600 449   apollon167 .0122  .0128  933888 .00922 apollon093
ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c .544 .574 32030720 6.52 apollon099 9.13 2.57  449695744 67.3 apollon058 .0132  .0128  950272 .0140  apollon091
ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c .579 .600 32022528 7.01 apollon078 9.14 2.59  452468736 80.0 apollon161 .0138  .0136  974848 .00476 apollon151
ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c .574 .598 32079872 6.93 apollon156 8.63 2.46  425029632 62.6 apollon158 .00954 .00947 954368 .0115  apollon088
ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c .547 .570 31977472 7.76 apollon091 8.65 2.52  455716864 68.1 apollon038 .0170  .0166  966656 .00952 apollon065
ssh/s3_srvr.blast.01_false-unreach-call.i.cil.c 379     900     32116736 3070    apollon135 8.04 2.33  395956224 61.8 apollon089 .0222  .0219  876544 .00818 apollon087
ssh/s3_srvr.blast.02_false-unreach-call.i.cil.c 424     900     32088064 3270    apollon087 8.22 2.40  409186304 65.0 apollon053 .0291  .0292  802816 .00549 apollon074
ssh/s3_srvr.blast.03_false-unreach-call.i.cil.c 417     900     32030720 3550    apollon082 7.72 2.25  406921216 61.1 apollon058 .0111  .0109  966656 .00751 apollon123
ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c 325     900     31916032 2600    apollon092 8.04 2.33  421318656 61.0 apollon002 .00984 .00973 962560 .00000 apollon013
ssh/s3_srvr.blast.06_false-unreach-call.i.cil.c 394     900     32264192 2970    apollon073 5.85 1.89  315543552 51.3 apollon019 .0244  .0241  1011712 .00458 apollon031
ssh/s3_srvr.blast.07_false-unreach-call.i.cil.c 401     900     32112640 2730    apollon037 9.70 2.76  460361728 80.3 apollon067 .00574 .00998 1069056 .00000 apollon151
ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c 421     900     32133120 2660    apollon054 5.83 1.92  310112256 46.1 apollon058 .00893 .00918 1003520 .0108  apollon119
ssh/s3_srvr.blast.09_false-unreach-call.i.cil.c 363     900     31920128 3140    apollon092 10.9  3.09  443912192 87.7 apollon022 .0112  .0108  864256 .0115  apollon156
ssh/s3_srvr.blast.10_false-unreach-call.i.cil.c 402     900     32186368 2090    apollon063 5.66 1.87  313110528 48.9 apollon168 .0178  .0177  827392 .00415 apollon099
ssh/s3_srvr.blast.11_false-unreach-call.i.cil.c 314     900     32096256 3510    apollon129 10.3  2.89  481853440 76.8 apollon054 .0102  .0102  770048 .0114  apollon016
ssh/s3_srvr.blast.12_false-unreach-call.i.cil.c 324     900     31776768 3770    apollon024 5.76 1.87  309747712 44.6 apollon123 .0139  .0146  909312 .00732 apollon022
ssh/s3_srvr.blast.13_false-unreach-call.i.cil.c 336     900     31817728 3790    apollon142 10.5  2.93  447406080 82.4 apollon053 .0112  .0109  888832 .0112  apollon147
ssh/s3_srvr.blast.14_false-unreach-call.i.cil.c 393     900     32022528 2910    apollon120 5.94 1.95  320987136 56.0 apollon125 .0141  .0180  901120 .0110  apollon130
ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c 358     900     31956992 3540    apollon006 5.86 1.86  309665792 50.0 apollon101 .00940 .0118  901120 .00592 apollon161
ssh/s3_srvr.blast.16_false-unreach-call.i.cil.c 315     900     32038912 2920    apollon045 6.07 1.92  310468608 47.0 apollon002 .0108  .0145  876544 .0107  apollon136
ssh/s3_clnt.blast.01_true-unreach-call.i.cil.c .550 .578 32014336 6.52 apollon116 9.88 2.74  463360000 80.9 apollon070 .0153  .0150  1011712 .00732 apollon047
ssh/s3_clnt.blast.02_true-unreach-call.i.cil.c .590 .612 32096256 7.81 apollon159 9.08 2.61  445390848 70.6 apollon082 .0106  .0104  983040 .00000 apollon091
ssh/s3_clnt.blast.03_true-unreach-call.i.cil.c .582 .602 31961088 6.08 apollon158 10.4  2.96  451772416 84.8 apollon101 .0109  .0107  835584 .00897 apollon159
ssh/s3_clnt.blast.04_true-unreach-call.i.cil.c .559 .579 32096256 7.31 apollon071 10.8  2.98  448491520 87.1 apollon076 .0128  .0141  946176 .0132  apollon075
ssh/s3_srvr.blast.01_true-unreach-call.i.cil.c 276     900     32071680 3340    apollon046 10.3  2.98  454479872 73.2 apollon054 .0265  .0258  815104 .00690 apollon026
ssh/s3_srvr.blast.02_true-unreach-call.i.cil.c 416     900     31985664 3450    apollon163 8.51 2.44  474112000 70.8 apollon141 .00894 .00900 880640 .00946 apollon117
ssh/s3_srvr.blast.06_true-unreach-call.i.cil.c 342     900     31850496 3520    apollon006 78.6  40.0   2531569664 760   apollon125 .0147  .0150  1011712 .0112  apollon128
ssh/s3_srvr.blast.07_true-unreach-call.i.cil.c 362     900     32006144 3120    apollon090 12.5  3.42  493748224 96.9 apollon051 .00700 .00721 847872 .00781 apollon097
ssh/s3_srvr.blast.08_true-unreach-call.i.cil.c 400     900     32137216 2640    apollon012 16.2  4.48  638615552 145   apollon030 .0116  .0115  884736 .00665 apollon060
ssh/s3_srvr.blast.09_true-unreach-call.i.cil.c 317     900     32067584 3610    apollon024 12.2  3.42  467406848 99.3 apollon101 .0171  .0169  884736 .00507 apollon009
ssh/s3_srvr.blast.10_true-unreach-call.i.cil.c 397     900     32165888 2960    apollon033 11.5  3.15  471052288 88.4 apollon042 .00891 .00885 901120 .0115  apollon011
ssh/s3_srvr.blast.11_true-unreach-call.i.cil.c 412     900     32034816 3170    apollon162 11.7  3.23  469540864 102   apollon044 .0101  .00978 823296 .00958 apollon082
ssh/s3_srvr.blast.12_true-unreach-call.i.cil.c 416     900     32088064 3430    apollon038 20.4  5.99  646975488 176   apollon140 .0250  .0245  1032192 .00787 apollon082
ssh/s3_srvr.blast.13_true-unreach-call.i.cil.c 411     900     32137216 3060    apollon108 10.5  2.99  446189568 94.1 apollon126 .0129  .0124  917504 .0119  apollon107
ssh/s3_srvr.blast.14_true-unreach-call.i.cil.c 395     900     32186368 2440    apollon123 32.8  12.1   1119997952 300   apollon030 .0127  .0137  856064 .0123  apollon013
ssh/s3_srvr.blast.15_true-unreach-call.i.cil.c 386     900     32210944 2720    apollon105 19.9  5.63  705064960 172   apollon140 .00983 .00960 835584 .0106  apollon068
ssh/s3_srvr.blast.16_true-unreach-call.i.cil.c 365     900     32141312 2580    apollon031 36.6  16.4   1510846464 293   apollon158 .0122  .0121  999424 .00757 apollon019
eca-rers2012/Problem01_label15_false-unreach-call_false-termination.c 46.1   36.2   35123200 608    apollon093 19.2  5.31  774098944 155   apollon109 .0111  .0109  1064960 .00928 apollon038
eca-rers2012/Problem01_label20_false-unreach-call_false-termination.c 81.0   61.3   35291136 1010    apollon131 26.3  7.53  1136979968 215   apollon009 .0103  .0105  925696 .0167  apollon03