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-07 13:12:57 CET
Run set tbf_ex.crest congen.predicate conditions-predicate-reducer-verifiers.Crest
Options -i crest --strategy hybrid --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 crest
../../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 false(unreach-call) 4.92  5.24  1727098880 61.8  apollon038 unknown 2.52 1.07  272412672 23.6 apollon152 unknown 4.35    3.18    1298714624 45.4     apollon041
array-examples/sorting_bubblesort_false-unreach-call2_ground.i out of memory 40.0   33.0   14999998464 509    apollon017 unknown 2.48 1.06  266936320 22.8 apollon077 out of memory 42.1     33.8     14999998464 482       apollon166
array-examples/sorting_bubblesort_false-unreach-call_ground.i out of memory 40.0   32.9   15000002560 472    apollon058 unknown 2.58 1.06  271364096 23.2 apollon146 out of memory 42.0     33.9     14999998464 502       apollon133
array-examples/sorting_selectionsort_false-unreach-call2_ground.i false(unreach-call) 3.46  3.38  35835904 44.2  apollon058 unknown 2.52 1.05  273469440 25.9 apollon021 false(unreach-call) 2.40    1.25    187527168 23.7     apollon145
array-examples/sorting_selectionsort_false-unreach-call_ground.i false(unreach-call) 3.48  3.41  35389440 43.2  apollon154 unknown 2.51 1.10  269996032 22.5 apollon070 false(unreach-call) 2.41    1.21    185724928 22.8     apollon082
array-examples/standard_allDiff2_false-unreach-call_ground.i out of memory 41.1   34.0   14999998464 555    apollon064 unknown 2.55 1.02  272674816 20.6 apollon100 out of memory 43.3     34.9     14999998464 570       apollon006
array-examples/standard_copy1_false-unreach-call_ground.i timeout 951     502     742436864 9790    apollon114 unknown 2.47 1.04  270622720 21.5 apollon012 unknown 2.78    1.41    646721536 25.1     apollon003
array-examples/standard_copy2_false-unreach-call_ground.i timeout 950     526     745091072 9610    apollon113 unknown 2.63 1.07  266743808 24.9 apollon044 unknown 2.76    1.48    731455488 25.3     apollon083
array-examples/standard_copy3_false-unreach-call_ground.i timeout 951     545     737234944 9750    apollon009 unknown 2.54 1.10  266362880 21.5 apollon157 unknown 2.97    1.61    737398784 28.2     apollon166
array-examples/standard_copy4_false-unreach-call_ground.i timeout 952     562     738742272 9010    apollon086 unknown 2.57 1.05  271839232 23.3 apollon112 unknown 3.08    1.77    735113216 30.1     apollon067
array-examples/standard_copy5_false-unreach-call_ground.i timeout 951     578     747233280 10600    apollon088 unknown 2.76 1.09  293363712 23.0 apollon025 unknown 3.18    1.84    733888512 31.5     apollon051
array-examples/standard_copy6_false-unreach-call_ground.i timeout 952     593     741560320 9350    apollon050 unknown 2.47 1.03  267083776 22.3 apollon120 unknown 3.29    1.92    737792000 35.0     apollon124
array-examples/standard_copy7_false-unreach-call_ground.i timeout 951     604     745725952 9140    apollon012 unknown 2.52 1.07  271093760 25.7 apollon057 unknown 3.41    2.00    740872192 33.6     apollon022
array-examples/standard_copy8_false-unreach-call_ground.i timeout 950     618     744751104 10400    apollon167 unknown 2.74 1.13  269246464 23.6 apollon015 unknown 3.51    2.11    734420992 30.9     apollon092
array-examples/standard_copy9_false-unreach-call_ground.i timeout 951     629     743673856 10300    apollon010 unknown 2.61 1.06  270417920 21.9 apollon045 unknown 3.58    2.23    743907328 41.0     apollon106
array-examples/standard_copyInitSum2_false-unreach-call_ground.i false(unreach-call) 3.47  3.40  35815424 46.6  apollon155 unknown 2.44 1.04  267759616 21.5 apollon085 false(unreach-call) 2.45    1.30    183197696 21.9     apollon105
array-examples/standard_init1_false-unreach-call_ground.i false(unreach-call) 3.45  3.37  35684352 39.6  apollon099 unknown 2.45 1.04  267902976 20.9 apollon157 false(unreach-call) 2.24    1.19    181649408 23.6     apollon047
array-examples/standard_init2_false-unreach-call_ground.i false(unreach-call) 3.48  3.40  35676160 43.7  apollon160 unknown 2.38 1.03  268550144 22.5 apollon067 false(unreach-call) 2.35    1.27    179490816 24.2     apollon014
array-examples/standard_init3_false-unreach-call_ground.i false(unreach-call) 3.47  3.40  35225600 42.3  apollon096 unknown 2.47 1.02  271982592 25.8 apollon021 false(unreach-call) 2.26    1.21    186609664 22.4     apollon120
array-examples/standard_init4_false-unreach-call_ground.i false(unreach-call) 3.45  3.38  36429824 45.4  apollon085 unknown 2.61 1.08  274423808 20.3 apollon089 false(unreach-call) 2.44    1.30    184983552 25.8     apollon044
array-examples/standard_init5_false-unreach-call_ground.i false(unreach-call) 3.48  3.41  35553280 43.2  apollon034 unknown 2.56 1.04  266813440 22.3 apollon118 false(unreach-call) 2.32    1.21    188145664 20.4     apollon098
array-examples/standard_init6_false-unreach-call_ground.i false(unreach-call) 3.46  3.39  35631104 47.5  apollon005 unknown 2.57 1.05  267812864 23.4 apollon152 false(unreach-call) 2.46    1.26    188043264 24.6     apollon019
array-examples/standard_init7_false-unreach-call_ground.i false(unreach-call) 3.48  3.41  35688448 43.6  apollon133 unknown 2.48 1.04  269676544 25.6 apollon021 false(unreach-call) 2.30    1.20    189562880 24.8     apollon108
array-examples/standard_init8_false-unreach-call_ground.i false(unreach-call) 3.49  3.41  35540992 50.1  apollon036 unknown 2.50 1.06  268128256 21.8 apollon018 false(unreach-call) 2.35    1.24    180252672 25.8     apollon094
array-examples/standard_init9_false-unreach-call_ground.i false(unreach-call) 3.48  3.40  35512320 45.0  apollon067 unknown 2.54 1.05  269008896 26.2 apollon039 false(unreach-call) 2.38    1.21    189968384 21.9     apollon003
array-examples/standard_minInArray_false-unreach-call_ground.i false(unreach-call) 3.54  3.50  52084736 43.6  apollon090 unknown 2.61 1.02  267812864 23.6 apollon015 false(unreach-call) 2.27    1.21    182624256 22.7     apollon031
array-examples/standard_partition_false-unreach-call_ground.i false(unreach-call) 3.48  3.41  35483648 46.7  apollon141 unknown 2.51 1.06  268705792 21.6 apollon082 false(unreach-call) 2.34    1.22    183033856 23.1     apollon130
array-examples/standard_running_false-unreach-call.i timeout 951     479     190418944 11500    apollon044 unknown 2.64 1.07  264208384 21.3 apollon053 unknown 2.31    1.25    189063168 22.0     apollon120
array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i timeout 952     476     198230016 11000    apollon167 unknown 2.60 1.06  272642048 20.8 apollon151 unknown 2.40    1.23    188465152 22.7     apollon082
array-examples/data_structures_set_multi_proc_true-unreach-call_ground.i timeout 951     483     175853568 10700    apollon017 unknown 2.47 1.06  266264576 20.2 apollon117 unknown 2.47    1.28    191778816 22.8     apollon050
array-examples/relax_true-unreach-call.i error (0) .363 .407 32182272 3.89 apollon150 unknown 6.31 2.05  316092416 54.9 apollon007 unknown 3.57    1.49    231702528 34.7     apollon065
array-examples/sanfoundry_02_true-unreach-call_ground.i timeout 951     483     158212096 12000    apollon056 unknown 2.54 1.05  269328384 20.6 apollon099 unknown 2.40    1.24    190164992 24.6     apollon028
array-examples/sanfoundry_10_true-unreach-call_ground.i timeout 888     900     150163456 12800    apollon028 unknown 101    73.5   3730948096 1140   apollon018 unknown 69.4     57.7     227233792 980       apollon014
array-examples/sanfoundry_24_true-unreach-call_true-termination.i error (0) .389 .390 42094592 4.01 apollon073 unknown 2.46 1.05  268558336 22.1 apollon084 unknown 2.27    1.23    187854848 22.1     apollon070
array-examples/sanfoundry_27_true-unreach-call_ground.i timeout 951     479     209084416 10800    apollon091 unknown 2.48 1.06  265367552 21.5 apollon072 unknown 2.27    1.22    182624256 20.7     apollon001
array-examples/sanfoundry_43_true-unreach-call_ground.i timeout 951     466     315453440 9130    apollon117 true 2.53 1.05  266354688 25.7 apollon160 unknown .0126  .0123  733184 .00000 apollon147
array-examples/sorting_bubblesort_true-unreach-call_ground.i out of memory 43.0   35.7   14999998464 505    apollon086 unknown 2.53 1.08  269271040 21.5 apollon157 out of memory 42.0     33.9     14999998464 478       apollon035
array-examples/sorting_selectionsort_true-unreach-call_ground.i out of memory 32.6   26.0   14999998464 358    apollon041 unknown 2.50 1.04  269221888 21.7 apollon026 out of memory 50.8     42.0     14999998464 686       apollon065
array-examples/standard_compareModified_true-unreach-call_ground.i timeout 951     485     157093888 9730    apollon013 unknown 2.37 1.05  269266944 21.6 apollon087 unknown 2.29    1.22    183984128 21.4     apollon115
array-examples/standard_compare_true-unreach-call_ground.i timeout 950     546     340602880 11200    apollon010 unknown 2.49 1.04  266219520 21.2 apollon002 unknown 2.38    1.29    184705024 26.3     apollon056
array-examples/standard_copy1_true-unreach-call_ground.i timeout 952     532     399454208 9440    apollon131 unknown 2.46 1.06  264511488 21.5 apollon072 unknown 2.57    1.41    386277376 23.9     apollon133
array-examples/standard_copy2_true-unreach-call_ground.i timeout 951     551     399228928 9280    apollon079 unknown 2.68 1.09  274247680 19.3 apollon158 unknown 2.67    1.50    385699840 26.0     apollon095
array-examples/standard_copy3_true-unreach-call_ground.i timeout 952     567     397959168 10900    apollon122 unknown 2.48 1.05  263942144 23.7 apollon161 unknown 2.88    1.53    387137536 27.3     apollon144
array-examples/standard_copy4_true-unreach-call_ground.i timeout 951     582     398934016 9570    apollon121 unknown 2.50 1.07  270069760 22.7 apollon093 unknown 2.92    1.70    392421376 29.4     apollon032
array-examples/standard_copy5_true-unreach-call_ground.i timeout 950     593     398618624 9090    apollon109 unknown 2.54 1.08  270479360 23.8 apollon020 unknown 2.93    1.70    386781184 26.5     apollon029
array-examples/standard_copy6_true-unreach-call_ground.i timeout 951     606     395464704 8420    apollon158 unknown 2.49 1.05  264380416 24.6 apollon081 unknown 3.14    1.83    397045760 29.8     apollon018
array-examples/standard_copy7_true-unreach-call_ground.i timeout 950     617     400134144 9650    apollon082 unknown 2.72 1.06  294158336 23.9 apollon120 unknown 3.12    1.91    386621440 30.1     apollon154
array-examples/standard_copy8_true-unreach-call_ground.i timeout 952     625     400527360 9650    apollon162 unknown 2.65 1.05  291987456 24.5 apollon077 unknown 3.29    2.01    388214784 37.1     apollon028
array-examples/standard_copy9_true-unreach-call_ground.i timeout 951     633     402632704 9020    apollon116 unknown 2.56 1.06  270852096 22.6 apollon084 unknown 3.41    2.05    390430720 32.7     apollon026
array-examples/standard_copyInitSum2_true-unreach-call_ground.i timeout 951     481     167440384 9920    apollon129 unknown 2.56 1.04  271286272 21.4 apollon045 unknown 2.25    1.17    185368576 23.4     apollon148
array-examples/standard_copyInitSum3_true-unreach-call_ground.i timeout 951     483     151244800 11500    apollon161 unknown 2.48 1.06  270450688 21.2 apollon082 unknown 2.30    1.18    187133952 24.2     apollon059
array-examples/standard_copyInitSum_true-unreach-call_ground.i timeout 951     552     73891840 9540    apollon133 unknown 2.49 1.05  270446592 24.7 apollon106 unknown 2.48    1.33    185585664 26.0     apollon122
array-examples/standard_copyInit_true-unreach-call_ground.i timeout 951     479     198909952 10200    apollon051 unknown 2.46 1.09  266682368 24.3 apollon030 unknown 2.36    1.20    182382592 23.2     apollon101
array-examples/standard_find_true-unreach-call_ground.i timeout 238     900     380329984 1920    apollon003 unknown 2.48 1.05  268480512 25.1 apollon057 timeout 258       981       388726784 1660       apollon089
array-examples/standard_init1_true-unreach-call_ground.i timeout 951     476     229847040 11500    apollon016 unknown 2.48 1.03  265166848 21.4 apollon095 unknown 2.26    1.22    178720768 20.7     apollon035
array-examples/standard_init2_true-unreach-call_ground.i timeout 952     472     205500416 10200    apollon051 unknown 2.59 1.06  271470592 19.1 apollon092 unknown 2.32    1.21    182038528 21.0     apollon026
array-examples/standard_init3_true-unreach-call_ground.i timeout 951     483     173162496 10000    apollon090 unknown 2.48 1.02  269938688 21.0 apollon058 unknown 2.36    1.26    179843072 19.9     apollon123
array-examples/standard_init4_true-unreach-call_ground.i timeout 951     484     157233152 10400    apollon102 unknown 2.47 1.04  266502144 20.6 apollon127 unknown 2.34    1.21    184868864 21.8     apollon070
array-examples/standard_init5_true-unreach-call_ground.i timeout 951     487     145809408 11200    apollon007 unknown 2.58 1.07  267907072 22.5 apollon142 unknown 2.35    1.24    186916864 22.6     apollon147
array-examples/standard_init6_true-unreach-call_ground.i timeout 951     489     135184384 10700    apollon118 unknown 2.44 1.05  267489280 20.0 apollon098 unknown 2.40    1.34    176357376 18.1     apollon063
array-examples/standard_init7_true-unreach-call_ground.i timeout 951     488     133906432 9600    apollon100 unknown 2.51 1.08  267612160 19.6 apollon151 unknown 2.42    1.20    182542336 22.9     apollon055
array-examples/standard_init8_true-unreach-call_ground.i timeout 950     492     121503744 10000    apollon073 unknown 2.49 1.04  270630912 23.9 apollon047 unknown 2.30    1.20    181882880 24.3     apollon068
array-examples/standard_init9_true-unreach-call_ground.i timeout 951     491     125648896 10300    apollon119 unknown 2.51 1.04  266563584 20.3 apollon043 unknown 2.39    1.22    185454592 22.2     apollon026
array-examples/standard_maxInArray_true-unreach-call_ground.i timeout 952     469     224636928 10100    apollon121 unknown 2.48 1.03  268001280 22.4 apollon168 unknown 2.25    1.18    180285440 22.6     apollon010
array-examples/standard_minInArray_true-unreach-call_ground.i timeout 951     477     218705920 9630    apollon116 unknown 2.65 1.04  269180928 21.1 apollon042 unknown 2.20    1.19    187527168 20.9     apollon115
array-examples/standard_palindrome_true-unreach-call_ground.i timeout 950     503     345100288 9570    apollon013 unknown 2.54 1.05  273584128 19.8 apollon151 unknown 2.24    1.20    191049728 25.8     apollon021
array-examples/standard_partial_init_true-unreach-call_ground.i timeout 951     483     160931840 10100    apollon042 unknown 2.67 1.11  270290944 25.1 apollon106 unknown 2.32    1.22    194457600 26.3     apollon021
array-examples/standard_partition_original_true-unreach-call_ground.i timeout 952     475     205467648 10500    apollon055 unknown 2.73 1.17  270344192 22.4 apollon168 unknown 2.34    1.23    181866496 22.4     apollon082
array-examples/standard_partition_true-unreach-call_ground.i timeout 951     485     160813056 10000    apollon001 unknown 2.50 1.05  271712256 21.1 apollon053 unknown 2.45    1.30    184373248 22.2     apollon061
array-examples/standard_password_true-unreach-call_ground.i timeout 950     547     343728128 9900    apollon003 unknown 2.42 1.03  269025280 22.2 apollon038 unknown 2.30    1.18    182546432 23.3     apollon047
array-examples/standard_reverse_true-unreach-call_ground.i timeout 952     475     235962368 10700    apollon091 unknown 2.55 1.06  269656064 24.2 apollon161 unknown 2.26    1.19    184283136 22.8     apollon168
array-examples/standard_running_true-unreach-call.i timeout 951     483     188346368 9470    apollon117 unknown 2.48 1.05  271241216 20.7 apollon133 unknown 2.43    1.28    191258624 21.6     apollon079
array-examples/standard_sentinel_true-unreach-call_true-termination.i timeout 794     900     35536896 10000    apollon040 unknown 2.45 1.03  268648448 22.5 apollon032 unknown 2.38    1.20    181506048 24.1     apollon044
array-examples/standard_seq_init_true-unreach-call_ground.i timeout 951     479     226480128 11000    apollon141 unknown 2.47 1.06  270946304 21.4 apollon042 unknown 2.24    1.18    181669888 21.8     apollon144
array-examples/standard_strcmp_true-unreach-call_ground.i timeout 950     526     341372928 9650    apollon116 unknown 2.66 1.05  295841792 24.4 apollon076 unknown 2.20    1.20    185917440 22.7     apollon022
array-examples/standard_strcpy_original_true-unreach-call.i timeout 234     900     379490304 1580    apollon119 unknown 2.57 1.07  264450048 23.6 apollon081 timeout 216       981       390742016 2460       apollon047
array-examples/standard_strcpy_true-unreach-call_ground.i timeout 213     900     377298944 1710    apollon104 unknown 2.48 1.02  269180928 23.9 apollon007 timeout 267       981       400338944 1530       apollon042
array-examples/standard_two_index_01_true-unreach-call.i timeout 952     471     177414144 9500    apollon107 unknown 2.47 1.03  271372288 24.1 apollon014 unknown 2.31    1.18    184864768 22.2     apollon107
array-examples/standard_two_index_02_true-unreach-call.i timeout 951     518     391692288 9110    apollon109 unknown 2.55 1.06  266633216 22.9 apollon167 unknown 2.61    1.42    376401920 28.3     apollon033
array-examples/standard_two_index_03_true-unreach-call.i timeout 950     458     233218048 9330    apollon156 unknown 2.57 1.06  266534912 20.9 apollon025 unknown 2.22    1.17    177790976 20.8     apollon053
array-examples/standard_two_index_04_true-unreach-call.i timeout 952     501     391794688 10200    apollon140 unknown 2.53 1.04  268087296 25.4 apollon057 unknown 2.50    1.31    338264064 27.1     apollon108
array-examples/standard_two_index_05_true-unreach-call.i timeout 952     495     392491008 10800    apollon044 unknown 2.46 1.02  268779520 20.8 apollon058 unknown 2.54    1.42    328212480 24.5     apollon037
array-examples/standard_two_index_06_true-unreach-call.i timeout 950     462     258674688 9150    apollon078 unknown 2.44 1.04  266018816 20.2 apollon123 unknown 2.24    1.18    181239808 23.7     apollon130
array-examples/standard_two_index_07_true-unreach-call.i timeout 950     490     398196736 8190    apollon158 unknown 2.48 1.04  269139968 22.3 apollon142 unknown 2.45    1.31    322084864 26.4     apollon080
array-examples/standard_two_index_08_true-unreach-call.i timeout 950     489     395255808 8980    apollon109 unknown 2.51 1.04  269012992 22.7 apollon032 unknown 2.57    1.34    322351104 27.1     apollon163
array-examples/standard_two_index_09_true-unreach-call.i timeout 950     487     395526144 8750    apollon060 unknown 2.50 1.05  267792384 21.2 apollon157 unknown 2.47    1.29    321986560 24.5     apollon162
array-examples/standard_vararg_true-unreach-call_ground_true-termination.i timeout 952     473     258146304 10700    apollon009 unknown 2.47 1.03  272302080 21.7 apollon004 unknown 2.23    1.18    179478528 23.5     apollon020
array-examples/standard_vector_difference_true-unreach-call_ground.i timeout 951     477     227414016 9820    apollon023 unknown 2.44 1.03  263282688 22.9 apollon015 unknown 2.19    1.19    186089472 21.3     apollon038
array-industry-pattern/array_assert_loop_dep_false-unreach-call_true-termination.i false(unreach-call) 3.48  3.40  35561472 42.7  apollon026 unknown 2.58 1.05  270540800 25.9 apollon039 false(unreach-call) 2.25    1.18    177287168 22.9     apollon101
array-industry-pattern/array_of_struct_loop_dep_false-unreach-call.i false(unreach-call) 3.46  3.38  35577856 39.6  apollon134 unknown 101    72.2   3686895616 1160   apollon141 false(unreach-call) 3.37    1.75    225398784 34.0     apollon015
array-industry-pattern/array_ptr_single_elem_init_false-unreach-call_true-termination.i false(unreach-call) .756 3.51  336744448 11.8  apollon156 unknown 2.56 1.10  267821056 21.8 apollon011 false(unreach-call) 2.77    4.34    355377152 28.5     apollon109
array-industry-pattern/array_range_init_false-unreach-call.i false(unreach-call) 3.45  3.38  35459072 41.9  apollon162 unknown 2.48 1.04  265711616 22.6 apollon168 false(unreach-call) 2.46    1.41    187645952 24.8     apollon061
array-industry-pattern/array_single_elem_init_false-unreach-call_true-termination.i timeout 237     900     341692416 1640    apollon108 unknown 2.49 1.04  269717504 24.6 apollon016 timeout 261       981       354795520 2000       apollon038
array-industry-pattern/check_removal_from_set_after_insertion_false-unreach-call.i timeout 950     818     92807168 13100    apollon136 unknown 101    71.3   3689865216 1060   apollon025 unknown 5.92    2.53    270819328 62.3     apollon056
array-industry-pattern/array_monotonic_true-unreach-call_true-termination.i timeout 193     900     212287488 2390    apollon071 unknown 2.51 1.08  267730944 21.8 apollon121 timeout 210       981       204922880 3270       apollon056
array-industry-pattern/array_mul_init_true-unreach-call_true-termination.i timeout 230     900     392699904 1850    apollon083 unknown 2.46 1.04  265089024 21.1 apollon157 timeout 228       981       412147712 2510       apollon129
array-industry-pattern/array_of_struct_break_true-unreach-call.i timeout 586     900     134942720 6770    apollon008 unknown 101    73.8   3707666432 1050   apollon100 unknown 3.03    1.68    219488256 27.7     apollon041
array-industry-pattern/array_of_struct_ptr_cond_init_true-unreach-call.i timeout 244     900     369397760 1600    apollon152 unknown 101    77.5   3476049920 1180   apollon085 timeout 233       981       393932800 2230       apollon155
array-industry-pattern/array_of_struct_ptr_flag_init_true-unreach-call.i timeout 952     475     184872960 10800    apollon068 unknown 101    74.5   3696898048 1040   apollon128 unknown 3.86    1.62    246333440 37.1     apollon159
array-industry-pattern/array_of_struct_ptr_monotonic_true-unreach-call.i timeout 204     900     203939840 2010    apollon155 unknown 101    78.2   3546808320 1180   apollon011 timeout 271       981       247517184 1680       apollon074
array-industry-pattern/array_of_struct_ptr_mul_init_true-unreach-call.i timeout 233     900     382169088 1570    apollon076 unknown 101    72.5   3717758976 1100   apollon156 timeout 267       981       413110272 1930       apollon009
array-industry-pattern/array_of_struct_single_elem_init_true-unreach-call.i timeout 951     479     409645056 9300    apollon050 unknown 101    73.4   3714146304 975   apollon054 unknown 3.31    1.83    327843840 26.8     apollon063
array-industry-pattern/array_ptr_partial_init_true-unreach-call.i timeout 952     467     258060288 10100    apollon162 unknown 101    74.9   3696025600 1100   apollon012 unknown 2.89    1.66    222826496 31.4     apollon059
array-industry-pattern/array_ptr_single_elem_init_true-unreach-call.i timeout 203     900     347418624 2570    apollon021 unknown 101    75.4   3036516352 1050   apollon128 timeout 225       981       369668096 2510       apollon010
array-industry-pattern/array_shadowinit_true-unreach-call_true-termination.i error (0) .365 .403 39530496 3.85 apollon145 unknown 101    76.0   3866857472 1240   apollon140 unknown 1.78    .763   176930816 16.8     apollon142
reducercommutativity/rangesum05_false-unreach-call_true-termination.i timeout 823     900     39686144 9920    apollon123 false(unreach-call) 7.69 2.37  413929472 56.8 apollon043 unknown .00682 .0132  929792 .0208  apollon027
reducercommutativity/rangesum10_false-unreach-call_true-termination.i timeout 822     900     55271424 11500    apollon168 false(unreach-call) 12.5  3.47  480616448 107   apollon125 unknown .00947 .00940 901120 .00806 apollon073
reducercommutativity/rangesum20_false-unreach-call.i timeout 822     900     39616512 10900    apollon025 false(unreach-call) 31.2  7.98  1050562560 247   apollon018 unknown .0153  .0151  987136 .00311 apollon158
reducercommutativity/rangesum40_false-unreach-call.i timeout 822     900     39088128 11700    apollon015 false(unreach-call) 59.3  28.1   2526670848 580   apollon152 unknown .00693 .00692 880640 .00818 apollon093
reducercommutativity/rangesum60_false-unreach-call.i timeout 824     900     41529344 14000    apollon057 unknown 101    62.0   3709898752 998   apollon086 unknown 5.90    2.21    372883456 45.0     apollon092
reducercommutativity/rangesum_false-unreach-call_true-termination.i error (0) .368 .401 35627008 4.27 apollon108 false(unreach-call) 8.10 2.38  463929344 73.3 apollon057 unknown .0106  .0104  901120 .00915 apollon099
reducercommutativity/avg05_true-unreach-call_true-termination.i timeout 951     802     350547968 11000    apollon074 unknown 101    71.8   4092358656 1120   apollon020 unknown 2.71    1.30    193998848 26.0     apollon101
reducercommutativity/avg10_true-unreach-call_true-termination.i timeout 950     849     309088256 12200    apollon055 unknown 101    67.7   4059254784 878   apollon158 unknown 2.75    1.32    225771520 27.8     apollon108
reducercommutativity/avg20_true-unreach-call.i timeout 950     847     325427200 11900    apollon011 unknown 101    61.5   2672193536 894   apollon009 unknown 2.87    1.29    223973376 24.8     apollon100
reducercommutativity/avg40_true-unreach-call.i timeout 950     840     325500928 11400    apollon053 false(unreach-call) 65.4  32.7   2740805632 684   apollon030 unknown .0110  .0108  987136 .00000 apollon100
reducercommutativity/avg60_true-unreach-call.i timeout 950     818     328355840 11800    apollon072 unknown 101    70.1   3723132928 1230   apollon007 unknown 5.10    1.84    263852032 46.8     apollon094
reducercommutativity/avg_true-unreach-call_true-termination.i error (0) .358 .395 35672064 3.92 apollon070 unknown 101    70.6   4207607808 984   apollon040 unknown 2.31    1.10    191987712 23.4     apollon022
reducercommutativity/max05_true-unreach-call_true-termination.i timeout 810     900     38580224 11100    apollon107 unknown 101    82.2   1129910272 796   apollon101 unknown 2.57    1.24    193396736 27.2     apollon044
reducercommutativity/max10_true-unreach-call_true-termination.i timeout 752     900     35713024 9690    apollon043 unknown 102    81.1   1571536896 1150   apollon085 unknown 4.44    1.87    251338752 38.2     apollon131
reducercommutativity/max20_true-unreach-call.i timeout 656     900     35446784 8850    apollon083 unknown 102    59.7   3975331840 1160   apollon160 unknown 5.19    2.15    266186752 51.5     apollon014
reducercommutativity/max40_true-unreach-call.i timeout 568     900     35573760 6770    apollon084 false(unreach-call) 65.6  33.5   2954465280 555   apollon158 unknown .0148  .0147  856064 .0190  apollon096
reducercommutativity/max60_true-unreach-call.i timeout 557     900     37593088 3910    apollon100 unknown 101    70.4   3720253440 1150   apollon052 unknown 1.78    .783   176881664 16.8     apollon061
reducercommutativity/max_true-unreach-call_true-termination.i error (0) .349 .386 35647488 3.54 apollon060 unknown 101    78.1   3196026880 1100   apollon162 unknown 2.49    1.20    220266496 23.8     apollon009
reducercommutativity/sep05_true-unreach-call_true-termination.i timeout 950     851     327143424 12000    apollon058 unknown 101    73.4   3047858176 879   apollon076 unknown 3.12    1.37    227860480 30.2     apollon057
reducercommutativity/sep10_true-unreach-call.i timeout 950     850     325742592 13700    apollon014 unknown 101    79.6   2550169600 1090   apollon045 unknown 4.39    1.80    252928000 43.2     apollon108
reducercommutativity/sep20_true-unreach-call.i timeout 951     802     346480640 11500    apollon015 unknown 101    38.3   3863842816 771   apollon005 unknown 5.11    2.09    271179776 48.0     apollon138
reducercommutativity/sep40_true-unreach-call.i timeout 950     834     325931008 12100    apollon087 false(unreach-call) 68.5  36.4   3073941504 653   apollon107 unknown .0143  .0140  917504 .0101  apollon069
reducercommutativity/sep60_true-unreach-call.i timeout 950     845     326422528 10700    apollon029 unknown 101    68.4   3695423488 1020   apollon002 unknown 6.52    2.32    404377600 54.6     apollon061
reducercommutativity/sep_true-unreach-call_true-termination.i error (0) .343 .380 35241984 3.86 apollon131 unknown 101    70.5   3884142592 1100   apollon018 unknown 2.62    1.19    224002048 27.5     apollon056
reducercommutativity/sum05_true-unreach-call_true-termination.i timeout 951     774     328138752 10800    apollon147 unknown 101    80.1   3679051776 1130   apollon086 unknown 2.72    1.36    193515520 24.5     apollon153
reducercommutativity/sum10_true-unreach-call_true-termination.i timeout 950     850     325918720 13700    apollon163 unknown 101    70.7   4019585024 1120   apollon071 unknown 2.81    1.30    226574336 25.4     apollon121
reducercommutativity/sum20_true-unreach-call.i timeout 950     832     326352896 11600    apollon154 unknown 101    62.1   2938724352 817   apollon092 unknown 3.21    1.46    229490688 27.4     apollon072
reducercommutativity/sum40_true-unreach-call.i timeout 950     829     325681152 11500    apollon137 false(unreach-call) 62.7  31.0   2867589120 603   apollon120 unknown .00677 .0103  802816 .0126  apollon016
reducercommutativity/sum60_true-unreach-call.i timeout 950     830     324833280 11000    apollon128 unknown 101    71.0   3711438848 1110   apollon162 unknown 5.55    2.01    292474880 48.1     apollon009
reducercommutativity/sum_true-unreach-call_true-termination.i error (0) .363 .397 37584896 3.94 apollon051 unknown 101    76.1   3641413632 1170   apollon038 unknown 2.37    1.17    188563456 21.6     apollon107
array-tiling/mlceu_false-unreach-call.i error (0) .321 .362 35549184 4.12 apollon141 unknown 3.63 1.50  282714112 31.9 apollon084 unknown 2.50    1.27    222015488 21.6     apollon099
array-tiling/skippedu_false-unreach-call.i error (0) .323 .361 35667968 3.97 apollon156 false(unreach-call) 3.63 1.44  288727040 31.1 apollon026 unknown .0120  .0170  946176 .00787 apollon022
array-tiling/mbpr2_true-unreach-call.i error (0) .364 .396 35790848 3.75 apollon157 unknown 101    67.8   3743059968 1150   apollon081 unknown 2.56    1.29    197357568 23.1     apollon075
array-tiling/mbpr3_true-unreach-call.i error (0) .350 .377 35536896 4.96 apollon161 unknown 101    65.5   3797508096 1140   apollon007 unknown 2.79    1.29    224043008 25.8     apollon009
array-tiling/mbpr4_true-unreach-call.i error (0) .369 .389 35524608 4.16 apollon011 unknown 101    68.1   3704430592 958   apollon151 unknown 2.94    1.47    219889664 26.0     apollon062
array-tiling/mbpr5_true-unreach-call.i error (0) .381 .390 35860480 4.17 apollon154 unknown 101    72.4   3754287104 1260   apollon014 unknown 1.98    .871   173293568 18.6     apollon101
array-tiling/nr2_true-unreach-call.i error (0) .353 .389 35545088 3.71 apollon134 unknown 101    69.6   3708661760 1020   apollon042 unknown 2.52    1.23    224096256 24.2     apollon017
array-tiling/nr3_true-unreach-call.i error (0) .343 .380 35729408 3.59 apollon045 unknown 101    72.0   3858083840 1190   apollon167 unknown 2.54    1.25    219721728 25.0     apollon105
array-tiling/nr4_true-unreach-call.i error (0) .351 .388 35692544 3.66 apollon100 unknown 101    69.1   3838636032 1040   apollon034 unknown 2.50    1.24    190218240 24.5     apollon101
array-tiling/nr5_true-unreach-call.i error (0) .347 .384 35774464 3.84 apollon129 unknown 101    64.7   3552428032 894   apollon158 unknown 2.51    1.21    190472192 23.7     apollon072
array-tiling/pnr2_true-unreach-call.i error (0) .331 .367 35553280 4.58 apollon036 unknown 101    70.1   3902996480 1130   apollon146 unknown 2.43    1.24    214978560 22.7     apollon133
array-tiling/pnr3_true-unreach-call.i error (0) .468 .611 48136192 4.25 apollon038 unknown 101    61.8   4284567552 1070   apollon091 unknown 2.44    1.26    193847296 21.4     apollon134
array-tiling/pnr4_true-unreach-call.i error (0) .345 .379 35454976 3.83 apollon103 unknown 101    65.1   4213096448 1030   apollon146 unknown 2.53    1.24    196993024 26.3     apollon028
array-tiling/pnr5_true-unreach-call.i error (0) .368 .397 35893248 4.19 apollon136 unknown 105    58.6   4311687168 965   apollon082 unknown 2.53    1.25    197115904 22.0     apollon098
array-tiling/poly1_true-unreach-call.i error (0) .369 .408 35438592 3.88 apollon102 unknown 101    75.9   2480005120 992   apollon079 unknown 2.43    1.33    219496448 22.2     apollon095
array-tiling/poly2_true-unreach-call.i timeout 874     900     96612352 10900    apollon098 unknown 101    70.5   3057106944 999   apollon002 timeout 952       521       3050090496 12000       apollon094
array-tiling/pr2_true-unreach-call.i error (0) .366 .402 35966976 3.39 apollon158 unknown 101    71.5   3607281664 1170   apollon164 unknown 2.59    1.25    196202496 25.8     apollon030
array-tiling/pr3_true-unreach-call.i error (0) .327 .362 35778560 4.03 apollon071 unknown 101    76.4   3561402368 1100   apollon079 unknown 3.08    1.46    224731136 28.8     apollon061
array-tiling/pr4_true-unreach-call.i error (0) .360 .391 38150144 4.00 apollon076 unknown 101    72.8   3111403520 1090   apollon078 unknown 3.17    1.45    233111552 30.7     apollon010
array-tiling/pr5_true-unreach-call.i error (0) .350 .379 35430400 4.16 apollon142 unknown 101    76.9   3330641920 1260   apollon019 unknown 3.66    1.54    231628800 32.6     apollon005
array-tiling/revcpyswp2_true-unreach-call.i error (0) .367 .401 35643392 3.97 apollon070 unknown 101    75.9   3419410432 1100   apollon086 unknown 2.65    1.31    219422720 24.4     apollon157
array-tiling/rew_true-unreach-call.i error (0) .355 .395 35274752 3.73 apollon058 unknown 102    68.0   3862368256 1050   apollon058 unknown 2.30    1.20    185843712 22.5     apollon105
array-tiling/rewnif_true-unreach-call.i error (0) .337 .378 35819520 3.72 apollon037 unknown 101    71.0   3374350336 1250   apollon044 unknown 2.81    1.30    225009664 28.3     apollon140
array-tiling/rewnifrev2_true-unreach-call.i error (0) .348 .389 35651584 3.73 apollon107 unknown 101    74.7   2781618176 1150   apollon095 unknown 2.47    1.22    221921280 27.1     apollon111
array-tiling/rewnifrev_true-unreach-call.i error (0) .338 .379 35721216 3.68 apollon115 unknown 101    76.7   2974679040 1130   apollon119 unknown 2.43    1.23    188788736 21.0     apollon029
array-tiling/rewrev_true-unreach-call.i error (0) .368 .408 35655680 3.99 apollon009 unknown 101    77.2   2405355520 1040   apollon151 unknown 2.63    1.26    219365376 23.8     apollon109
array-tiling/skipped_true-unreach-call.i error (0) .370 .407 35606528 4.16 apollon019 unknown 101    66.6   4037947392 1020   apollon032 unknown 3.06    1.42    222908416 27.5     apollon084
array-tiling/tcpy_true-unreach-call.i error (0) .344 .381 35487744 4.45 apollon101 unknown 101    71.5   3962458112 1260   apollon161 unknown 2.31    1.21    188891136 23.7     apollon022
array-programs/copysome1_false-unreach-call.i timeout 950     552     1443770368 9490    apollon087 unknown 2.65 1.04  291065856 24.0 apollon077 unknown 3.50    1.90    1429483520 38.6     apollon125
array-programs/copysome2_false-unreach-call.i timeout 951     565     2150215680 9390    apollon165 unknown 2.45 1.04  270254080 20.2 apollon099 unknown 4.08    2.29    2115186688 37.6     apollon053
array-programs/copysome1_true-unreach-call.i timeout 951     563     1441280000 8680    apollon117 unknown 2.71 1.05  290291712 23.2 apollon034 unknown 3.63    2.00    1417109504 35.0     apollon052
array-programs/copysome2_true-unreach-call.i timeout 950     572     2158129152 9630    apollon146 unknown 2.42 1.05  268816384 20.6 apollon127 unknown 4.23    2.34    2112978944 40.4     apollon082
bitvector/byte_add_false-unreach-call_true-no-overflow_true-termination.i false(unreach-call) 3.52  3.40  35876864 32.5  apollon033 unknown 5.26 1.83  301273088 44.9 apollon165 unknown 3.72    1.83    232574976 32.8     apollon105
bitvector/sum02_false-unreach-call_true-no-overflow.i out of memory 15.7   14.4   14999998464 231    apollon033 unknown 3.52 1.47  280109056 30.1 apollon082 out of memory 135       195       14999998464 2130       apollon086
bitvector/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i timeout 898     901     85323776 11800    apollon012 unknown 6.03 2.09  319234048 51.7 apollon091 unknown 3.68    1.57    236711936 36.4     apollon069
bitvector/byte_add_2_true-unreach-call_true-no-overflow_true-termination.i timeout 899     900     84705280 11300    apollon002 unknown 5.73 1.89  317952000 52.7 apollon126 unknown 3.52    1.58    234684416 34.7     apollon130
bitvector/gcd_1_true-unreach-call_true-no-overflow.i timeout 859     900     64020480 12700    apollon064 unknown 4.10 1.51  304193536 33.4 apollon079 unknown 2.57    1.25    217841664 22.1     apollon092
bitvector/gcd_2_true-unreach-call_true-no-overflow.i timeout 856     900     66310144 10900    apollon013 true 3.46 1.37  273186816 31.5 apollon112 unknown .0109  .0147  1056768 .00781 apollon133
bitvector/gcd_3_true-unreach-call_true-no-overflow.i timeout 853     900     51531776 11600    apollon121 unknown 3.62 1.47  288235520 31.8 apollon076 unknown 2.55    1.25    219283456 24.9     apollon105
bitvector/gcd_4_true-unreach-call_true-no-overflow_true-termination.i timeout 950     842     346374144 13300    apollon159 unknown 5.16 1.76  313200640 44.6 apollon156 unknown 2.88    1.34    220033024 25.1     apollon104
bitvector/interleave_bits_true-unreach-call_true-no-overflow.i timeout 950     851     325193728 12900    apollon112 unknown 7.33 2.28  452468736 62.2 apollon126 unknown 2.95    1.41    225071104 32.3     apollon056
bitvector/jain_1_true-unreach-call_true-no-overflow_false-termination.i out of memory 16.7   14.2   14999998464 210    apollon075 true 2.84 1.19  277032960 29.1 apollon021 unknown .0115  .0115  884736 .00000 apollon166
bitvector/jain_2_true-unreach-call_true-no-overflow_false-termination.i out of memory 35.1   31.5   14999998464 474    apollon027 true 3.21 1.20  293670912 27.2 apollon022 unknown .0194  .0190  905216 .00659 apollon018
bitvector/jain_4_true-unreach-call_true-no-overflow_false-termination.i out of memory 41.9   37.9   14999998464 501    apollon032 true 3.11 1.25  274595840 27.2 apollon005 unknown .0108  .0115  757760 .00934 apollon162
bitvector/jain_5_true-unreach-call_true-no-overflow.i out of memory 34.8   28.2   14999998464 407    apollon154 unknown 101    80.7   2778210304 1220   apollon052 out of memory 84.2     71.4     14999998464 946       apollon002
bitvector/jain_6_true-unreach-call_true-no-overflow_false-termination.i out of memory 43.1   38.9   14999998464 510    apollon105 true 3.31 1.25  294891520 25.6 apollon054 unknown .00909 .00905 843776 .0125  apollon148
bitvector/jain_7_true-unreach-call_true-no-overflow_false-termination.i out of memory 43.2   39.1   14999998464 546    apollon145 true 2.84 1.18  274214912 26.8 apollon022 unknown .0239  .0258  823296 .00360 apollon118
bitvector/modulus_true-unreach-call_true-no-overflow.i error (0) .359 .393 37347328 4.04 apollon141 unknown 3.14 1.31  277803008 27.8 apollon052 unknown 2.61    1.28    199778304 27.2     apollon088
bitvector/num_conversion_1_true-unreach-call_true-no-overflow.i timeout 950     853     325951488 11600    apollon086 unknown 4.90 1.77  305999872 42.5 apollon167 unknown 2.75    1.27    225402880 27.9     apollon028
bitvector/num_conversion_2_true-unreach-call_true-no-overflow.i timeout 950     851     325861376 11900    apollon133 unknown 4.91 1.77  302903296 42.7 apollon032 unknown 2.68    1.26    222056448 23.2     apollon002
bitvector/parity_true-unreach-call_true-no-overflow.i timeout 875     900     61829120 11700    apollon154 unknown 3.31 1.31  286834688 31.4 apollon014 unknown 2.51    1.22    191582208 25.2     apollon010
bitvector/sum02_true-unreach-call_true-no-overflow.i out of memory 16.4   15.1   14999998464 202    apollon127 unknown 3.50 1.45  281563136 34.3 apollon108 out of memory 114       179       14999998464 1960       apollon144
bitvector/s3_clnt_1_false-unreach-call_true-no-overflow.BV.c.cil.c timeout 544     900     36483072 3000    apollon051 unknown 10.6  3.08  467173376 93.6 apollon106 unknown 7.57    2.81    399237120 61.2     apollon082
bitvector/s3_clnt_2_false-unreach-call_true-no-overflow.BV.c.cil.c timeout 553     900     36347904 3210    apollon064 unknown 18.5  5.01  617021440 160   apollon168 unknown 7.51    2.89    425140224 76.9     apollon033
bitvector/s3_clnt_3_false-unreach-call_true-no-overflow.BV.c.cil.c false(unreach-call) 1.09  3.50  36167680 19.0  apollon140 unknown 7.04 2.21  388128768 58.5 apollon120 false(unreach-call) 6.61    5.53    290951168 62.4     apollon087
bitvector/s3_clnt_1_true-unreach-call_true-no-overflow.BV.c.cil.c timeout 422     900     36167680 5860    apollon057 unknown 14.2  4.01  500178944 106   apollon121 unknown 6.91    2.70    396832768 64.9     apollon159
bitvector/s3_clnt_2_true-unreach-call_true-no-overflow.BV.c.cil.c timeout 544     900     36327424 3240    apollon062 unknown 24.2  6.77  833982464 199   apollon102 unknown 7.47    2.86    423055360 68.8     apollon120
bitvector/s3_clnt_3_true-unreach-call_true-no-overflow.BV.c.cil.c timeout 558     900     36290560 2570    apollon136 unknown 101    77.4   3071184896 984   apollon100 timeout 571       981       246947840 2940       apollon102
bitvector/s3_srvr_1_alt_true-unreach-call_true-no-overflow.BV.c.cil.c error (0) .469 .489 40960000 5.54 apollon051 unknown 101    75.1   2657251328 1170   apollon070 unknown 3.31    1.53    226340864 33.4     apollon044
bitvector/s3_srvr_1_true-unreach-call_true-no-overflow.BV.c.cil.c timeout 563     900     48975872 2520    apollon034 true 31.1  8.45  977502208 229   apollon029 unknown .0267  .0263  909312 .00446 apollon118
bitvector/s3_srvr_2_alt_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c out of memory 17.7   14.8   14999998464 218    apollon061 true 41.9  18.5   1371332608 409   apollon020 unknown .0129  .0137  864256 .00745 apollon019
bitvector/s3_srvr_2_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c timeout 529     900     36794368 4330    apollon056 true 42.8  18.2   1405607936 402   apollon168 unknown .00903 .0118  880640 .00000 apollon039
bitvector/s3_srvr_3_alt_true-unreach-call_true-no-overflow.BV.c.cil.c timeout 547     900     36691968 2420    apollon144 true 19.0  5.09  630145024 168   apollon030 unknown .00999 .00978 888832 .00000 apollon044
bitvector/s3_srvr_3_true-unreach-call_true-no-overflow.BV.c.cil.c timeout 527     900     36671488 2470    apollon098 true 62.0  33.8   2281033728 700   apollon161 unknown .0120  .0120  905216 .00000 apollon025
bitvector/soft_float_1_true-unreach-call_true-no-overflow_true-termination.c.cil.c timeout 771     900     47927296 12400    apollon036 unknown 4.80 1.77  296083456 38.6 apollon100 unknown 16.4     7.61    252317696 162       apollon031
bitvector/soft_float_2_true-unreach-call_true-no-overflow_true-termination.c.cil.c timeout 776     900     35307520 11400    apollon114 unknown 7.53 2.34  446177280 63.2 apollon156 unknown 18.4     8.39    331370496 164       apollon002
bitvector/soft_float_3_true-unreach-call_true-no-overflow_true-termination.c.cil.c timeout 771     900     35721216 11800    apollon132 unknown 7.39 2.33  444780544 63.0 apollon091 unknown 18.3     8.38    332763136 155       apollon092
bitvector/soft_float_4_true-unreach-call_true-no-overflow_true-termination.c.cil.c timeout 770     900     35786752 10500    apollon037 unknown 4.21 1.68  290402304 37.0 apollon076 unknown 15.8     7.39    247078912 143       apollon082
bitvector/soft_float_5_true-unreach-call_true-no-overflow_true-termination.c.cil.c timeout 769     900     35950592 10700    apollon051 unknown 7.36 2.33  447238144 64.9 apollon077 unknown 17.5     8.19    333082624 152       apollon060
bitvector-regression/implicitfloatconversion_false-unreach-call_true-termination.c false(unreach-call) 3.52  3.42  35733504 34.1  apollon160 false(unreach-call) 3.23 1.23  296452096 32.6 apollon039 unknown .0133  .0130  1011712 .00702 apollon152
bitvector-regression/implicitunsignedconversion_false-unreach-call_true-termination.c false(unreach-call) 3.48  3.39  35631104 41.8  apollon058 true 2.45 1.06  268267520 24.7 apollon016 unknown .0113  .0110  942080 .00775 apollon144
bitvector-regression/integerpromotion_false-unreach-call_true-termination.c false(unreach-call) 3.49  3.39  35418112 34.1  apollon131 false(unreach-call) 2.79 1.23  275443712 27.6 apollon148 unknown .00910 .0126  921600 .00873 apollon136
bitvector-regression/recHanoi03_false-unreach-call_true-termination.c error (0) .516 .478 94220288 5.61 apollon135 unknown 2.53 1.10  267939840 22.0 apollon011 unknown 1.99    .816   184520704 19.1     apollon068
bitvector-regression/signextension2_false-unreach-call_true-termination.c false(unreach-call) 3.50  3.40  37490688 39.7  apollon036 true 2.60 1.09  270381056 25.6 apollon016 unknown .0259  .0278  778240 .00848 apollon120
bitvector-regression/signextension_false-unreach-call_true-termination.c false(unreach-call) 3.48  3.37  35237888 26.4  apollon117 true 2.55 1.09  272834560 26.6 apollon021 unknown .0270  .0288  958464 .00513 apollon093
bitvector-regression/implicitunsignedconversion_true-unreach-call_true-termination.c timeout 950     843     327405568 11800    apollon144 unknown 2.94 1.28  276406272 26.1 apollon121 unknown 2.33    1.22    185839616 22.6     apollon147
bitvector-regression/integerpromotion_true-unreach-call_true-termination.c timeout 950     818     348676096 13200    apollon094 unknown 2.80 1.24  278286336 24.4 apollon127 unknown 2.34    1.24    192307200 24.2     apollon028
bitvector-regression/signextension2_true-unreach-call_true-termination.c timeout 950     853     325406720 10600    apollon123 unknown 3.10 1.31  285671424 30.7 apollon126 unknown 2.32    1.22    192536576 22.9     apollon009
bitvector-regression/signextension_true-unreach-call_true-termination.c timeout 950     819     346791936 11500    apollon090 unknown 3.12 1.31  275988480 31.3 apollon111 unknown 2.29    1.20    190259200 25.1     apollon030
bitvector-loops/diamond_false-unreach-call2.i timeout 870     900     59228160 13400    apollon126 true 6.60 2.03  440332288 58.7 apollon081 unknown .0135  .0133  901120 .00775 apollon123
bitvector-loops/overflow_false-unreach-call1.i out of memory (false(unreach-call)) 44.7   41.1   14999998464 550    apollon018 true 2.82 1.12  290009088 25.1 apollon052 unknown .0157  .0154  995328 .0210  apollon018
bitvector-loops/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call_true-termination.i timeout 682     900     35717120 9190    apollon012 true 2.88 1.25  270974976 25.6 apollon012 unknown .0177  .0187  950272 .00964 apollon021
heap-manipulation/bubble_sort_linux_false-unreach-call_false-valid-memcleanup.i error (0) .394 .393 32043008 4.14 apollon040 false(unreach-call) 5.64 1.86  320602112 50.9 apollon126 unknown .0133  .0130  847872 .0112  apollon154
heap-manipulation/dll_of_dll_false-unreach-call_false-valid-memcleanup.i error (0) .350 .396 31961088 4.06 apollon136 unknown 3.26 1.25  298487808 31.3 apollon161 unknown 2.88    1.05    228605952 29.1     apollon033
heap-manipulation/merge_sort_false-unreach-call_false-valid-memcleanup.i error (0) .359 .408 31985664 4.60 apollon008 false(unreach-call) 4.65 1.68  306061312 42.1 apollon141 unknown .0203  .0215  1097728 .00568 apollon165
heap-manipulation/sll_to_dll_rev_false-unreach-call_false-valid-memcleanup.i error (0) .312 .362 31834112 4.40 apollon081 false(unreach-call) 4.67 1.74  293535744 40.0 apollon157 unknown .00981 .00958 991232 .00952 apollon155
heap-manipulation/tree_false-unreach-call_false-valid-deref.i error (0) .354 .409 32051200 3.52 apollon115 false(unreach-call) 6.29 2.01  334548992 49.1 apollon123 unknown .0138  .0143  778240 .0101  apollon027
heap-manipulation/tree_false-unreach-call_false-valid-memcleanup.i error (0) .349 .403 32145408 4.24 apollon033 false(unreach-call) 6.14 2.01  349908992 51.0 apollon119 unknown .0298  .0290  929792 .00549 apollon101
heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i error (0) .381 .384 32190464 4.77 apollon112 unknown 101    76.5   2019409920 1150   apollon026 unknown 2.52    .982   219201536 21.8     apollon011
heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i error (0) .345 .404 32071680 3.69 apollon011 unknown 3.14 1.23  275562496 27.4 apollon038 unknown 2.85    1.06    228945920 23.8     apollon127
heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i error (0) .345 .392 32276480 3.62 apollon134 unknown 3.42 1.28  303022080 28.4 apollon150 unknown 2.94    1.07    231190528 25.5     apollon105
heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i error (0) .359 .410 32002048 4.29 apollon108 unknown 101    78.6   2998243328 1210   apollon009 unknown 3.69    1.51    237707264 34.4     apollon015
heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i error (0) .323 .373 31965184 3.76 apollon012 unknown 101    76.0   2655936512 1100   apollon086 unknown 4.94    1.87    276860928 47.0     apollon080
heap-manipulation/tree_true-unreach-call.i error (0) .344 .399 32079872 3.87 apollon147 unknown 101    77.4   2387677184 1170   apollon051 unknown 4.13    1.69    244994048 37.7     apollon084
list-properties/alternating_list_false-unreach-call_false-valid-memcleanup.i error (0) .329 .388 31895552 3.93 apollon061 false(unreach-call) 4.30 1.65  289091584 35.1 apollon089 unknown .0127  .0129  946176 .00836 apollon120
list-properties/list_false-unreach-call_false-valid-memcleanup.i error (0) .320 .378 31903744 3.38 apollon098 unknown 111    76.3   3799289856 1190   apollon067 unknown 3.15    1.40    233066496 30.3     apollon136
list-properties/list_flag_false-unreach-call_false-valid-memcleanup.i error (0) .354 .415 32108544 3.77 apollon121 false(unreach-call) 4.07 1.59  290484224 35.8 apollon095 unknown .0110  .0108  888832 .0106  apollon020
list-properties/list_search_false-unreach-call_false-valid-memcleanup.i error (0) .336 .394 31784960 3.47 apollon012 false(unreach-call) 4.17 1.56  292237312 33.4 apollon060 unknown .0116  .0115  978944 .00781 apollon102
list-properties/simple_false-unreach-call_false-valid-memcleanup.i error (0) .349 .408 31944704 4.17 apollon159 false(unreach-call) 4.04 1.55  289304576 36.6 apollon091 unknown .00918 .0116  835584 .00000 apollon121
list-properties/splice_false-unreach-call_false-valid-memcleanup.i error (0) .330 .389 32002048 3.96 apollon024 false(unreach-call) 4.70 1.74  293105664 42.8 apollon091 unknown .0136  .0131  876544 .00946 apollon133
list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i error (0) .352 .410 31944704 4.24 apollon059 unknown 113    72.4   4263219200 1250   apollon033 unknown 3.15    1.39    226738176 28.5     apollon113
list-properties/list_flag_true-unreach-call_false-valid-memtrack.i error (0) .327 .388 32235520 3.98 apollon152 unknown 101    70.9   4165271552 1120   apollon152 unknown 3.36    1.43    238444544 28.5     apollon102
list-properties/list_search_true-unreach-call_false-valid-memcleanup.i error (0) .380 .396 32075776 4.04 apollon149 false(unreach-call) 4.75 1.67  307466240 43.0 apollon007 unknown .0129  .0127  995328 .00726 apollon003
list-properties/list_true-unreach-call_false-valid-memtrack.i error (0) .308 .370 32096256 4.32 apollon069 unknown 101    70.2   3652853760 1310   apollon111 unknown 3.94    1.58    238211072 35.1     apollon032
list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i error (0) .350 .413 31916032 4.32 apollon125 unknown 105    70.4   3307761664 1060   apollon025 unknown 3.59    1.48    247517184 34.6     apollon028
list-properties/simple_true-unreach-call_false-valid-memtrack.i error (0) .326 .388 32198656 3.95 apollon006 unknown 112    73.7   3922837504 1170   apollon017 unknown 3.21    1.41    227758080 30.3     apollon015
list-properties/splice_true-unreach-call_false-valid-memtrack.i error (0) .350 .407 32178176 4.26 apollon036 unknown 102    77.6   2336833536 756   apollon025 unknown 3.21    1.40    231714816 26.5     apollon083
ldv-regression/1_3_true-termination.c_false-unreach-call.i false(unreach-call) 3.50  3.40  35307520 32.0  apollon093 false(unreach-call) 3.17 1.37  284635136 28.7 apollon102 unknown .0121  .0118  995328 .00964 apollon035
ldv-regression/alt_test_true-termination.c_false-unreach-call.i error (0) .358 .364 31969280 4.90 apollon046 false(unreach-call) 4.39 1.56  304386048 37.3 apollon078 unknown .0131  .0128  913408 .00848 apollon050
ldv-regression/callfpointer_true-termination.c_false-unreach-call.i false(unreach-call) 3.54  3.43  35233792 24.0  apollon115 false(unreach-call) 2.98 1.23  277430272 23.4 apollon117 unknown .0164  .0208  868352 .00732 apollon008
ldv-regression/fo_test_true-termination.c_false-unreach-call.i error (0) .346 .386 32088064 5.03 apollon056 false(unreach-call) 4.24 1.45  303984640 35.8 apollon168 unknown .0124  .0123  913408 .00690 apollon120
ldv-regression/mutex_lock_int_true-termination.c_false-unreach-call.i false(unreach-call) 3.48  3.37  35401728 27.0  apollon109 false(unreach-call) 3.03 1.30  277860352 26.9 apollon156 unknown .0126  .0131  876544 .0145  apollon088
ldv-regression/mutex_lock_struct_true-termination.c_false-unreach-call.i false(unreach-call) 3.49  3.38  35819520 22.5  apollon103 false(unreach-call) 3.05 1.29  277422080 26.4 apollon133 unknown .0138  .0142  1003520 .0119  apollon064
ldv-regression/recursive_list_true-termination.c_false-unreach-call.i false(unreach-call) 3.48  3.38  35627008 32.4  apollon138 false(unreach-call) 3.11 1.33  279248896 29.6 apollon022 unknown .00867 .00869 839680 .0126  apollon010
ldv-regression/rule57_ebda_blast_true-termination.c_false-unreach-call.i error (0) .333 .360 35835904 4.66 apollon140 false(unreach-call) 3.28 1.38  282513408 29.2 apollon045 unknown .0295  .0311  802816 .00653 apollon032
ldv-regression/rule60_list2_true-termination.c_false-unreach-call_1.i error (0) .353 .410 32075776 3.94 apollon152 false(unreach-call) 4.41 1.62  304410624 37.5 apollon072 unknown .00940 .00953 733184 .00720 apollon118
ldv-regression/stateful_check_false-unreach-call_false-termination.i out of memory 18.8   17.3   14999998464 208    apollon083 false(unreach-call) 4.56 1.67  303656960 39.3 apollon165 unknown .0104  .0102  1056768 .0116  apollon014
ldv-regression/test_while_int_true-termination.c_false-unreach-call.i false(unreach-call) 3.53  3.39  35741696 13.0  apollon151 false(unreach-call) 3.32 1.38  282451968 29.9 apollon093 unknown .0200  .0199  1003520 .00665 apollon082
ldv-regression/test_while_int_true-termination.c_false-unreach-call_1.i false(unreach-call) 3.49  3.38  35389440 26.2  apollon020 false(unreach-call) 3.32 1.35  284827648 25.9 apollon040 unknown .0109  .0108  876544 .0113  apollon018
ldv-regression/alias_of_return_2_true-termination.c_true-unreach-call.i timeout 875     900     62992384 11300    apollon083 true 2.59 1.12  267452416 26.5 apollon111 unknown .0208  .0253  970752 .00604 apollon023
ldv-regression/alias_of_return_2_true-termination.c_true-unreach-call_1.i timeout 950     853     326164480 12000    apollon135 true 2.55 1.09  266452992 21.2 apollon128 unknown .0110  .0112  839680 .0118  apollon067
ldv-regression/alias_of_return_true-termination.c_true-unreach-call.i timeout 950     827     343425024 11400    apollon037 true 2.58 1.11  268480512 21.7 apollon053 unknown .0108  .0120  913408 .0131  apollon082
ldv-regression/alias_of_return_true-termination.c_true-unreach-call_1.i timeout 950     853     325832704 12400    apollon102 true 2.76 1.10  268828672 22.9 apollon071 unknown .00658 .0102  724992 .00659 apollon123
ldv-regression/ex3_forlist_true-termination.c_true-unreach-call.i error (0) .347 .378 37777408 4.66 apollon088 true 6.12 2.05  312537088 48.6 apollon086 unknown .00987 .00981 757760 .00000 apollon030
ldv-regression/just_assert_true-termination.c_true-unreach-call.i timeout 950     819     346431488 13400    apollon014 true 2.36 1.03  273932288 20.5 apollon133 unknown .0198  .0194  954368 .00446 apollon144
ldv-regression/mutex_lock_int_true-termination.c_true-unreach-call_1.i timeout 950     845     325177344 12000    apollon120 true 2.59 1.10  267874304 23.0 apollon156 unknown .0133  .0188  987136 .0137  apollon133
ldv-regression/mutex_lock_struct_true-termination.c_true-unreach-call_1.i timeout 950     836     332234752 13400    apollon007 true 2.59 1.11  266489856 23.0 apollon018 unknown .0134  .0133  909312 .00739 apollon158
ldv-regression/nested_structure_noptr_true-termination.c_true-unreach-call.i timeout 950     840     326701056 12100    apollon097 true 2.49 1.07  267505664 21.5 apollon133 unknown .00894 .00868 933888 .0123  apollon069
ldv-regression/nested_structure_noptr_true-unreach-call_true-termination.i timeout 950     845     346357760 12200    apollon142 true 2.55 1.11  268677120 23.9 apollon067 unknown .00960 .00948 905216 .0121  apollon001
ldv-regression/nested_structure_ptr_true-termination.c_true-unreach-call.i timeout 950     852     325877760 12100    apollon162 true 2.61 1.08  270786560 23.4 apollon051 unknown .00914 .00915 901120 .00409 apollon031
ldv-regression/nested_structure_ptr_true-unreach-call_true-termination.i timeout 951     778     347639808 10700    apollon022 true 2.69 1.12  273788928 24.7 apollon005 unknown .0104  .0103  905216 .00909 apollon108
ldv-regression/nested_structure_true-termination.c_true-unreach-call.i timeout 950     852     324222976 12700    apollon031 true 2.62 1.14  271245312 23.0 apollon162 unknown .0202  .0200  921600 .00500 apollon159
ldv-regression/nested_structure_true-unreach-call_true-termination.i timeout 950     816     331669504 13200    apollon008 true 2.61 1.12  269750272 21.6 apollon100 unknown .0133  .0144  925696 .00891 apollon111
ldv-regression/oomInt_true-termination.c_true-unreach-call.i timeout 950     852     326279168 13700    apollon159 true 2.55 1.10  266231808 21.7 apollon127 unknown .0123  .0122  1007616 .00824 apollon022
ldv-regression/oomInt_true-termination.c_true-unreach-call_1.i timeout 950     824     330584064 12100    apollon038 true 2.58 1.08  270225408 24.3 apollon167 unknown .00926 .00910 950272 .0128  apollon095
ldv-regression/rule57_ebda_blast_true-termination.c_true-unreach-call_1.i error (0) .339 .368 35876864 4.64 apollon094 true 2.82 1.19  274546688 27.0 apollon101 unknown .00618 .00774 708608 .00714 apollon152
ldv-regression/rule60_list2_true-termination.c_true-unreach-call.i error (0) .328 .385 32075776 4.61 apollon056 true 3.50 1.30  299286528 30.0 apollon085 unknown .0143  .0136  884736 .00000 apollon048
ldv-regression/rule60_list_true-termination.c_true-unreach-call.i error (0) .321 .380 31965184 3.65 apollon035 true 3.39 1.27  293658624 26.3 apollon116 unknown .0120  .0120  888832 .0115  apollon127
ldv-regression/sizeofparameters_test_true-termination.c_true-unreach-call.i error (0) .455 .481 36184064 5.17 apollon066 true 2.90 1.22  270802944 25.2 apollon120 unknown .0126  .0125  1036288 .00928 apollon113
ldv-regression/structure_assignment_true-termination.c_true-unreach-call.i timeout 950     839     327884800 10500    apollon054 true 2.81 1.10  289882112 28.8 apollon021 unknown .0276  .0286  929792 .00684 apollon067
ldv-regression/test_address_true-termination.c_true-unreach-call.i error (0) .350 .411 32174080 3.80 apollon135 true 2.98 1.21  273424384 30.0 apollon033 unknown .00858 .00869 1081344 .0153  apollon039
ldv-regression/test_cut_trace_true-termination.c_true-unreach-call.i timeout 950     853     326275072 13000    apollon091 true 2.56 1.09  265003008 24.6 apollon164 unknown .0242  .0241  974848 .00745 apollon112
ldv-regression/test_malloc-1_true-unreach-call_true-termination.i timeout 950     852     308445184 12300    apollon102 true 2.99 1.20  272470016 27.2 apollon032 unknown .0124  .0121  745472 .00958 apollon070
ldv-regression/test_malloc-2_true-unreach-call_true-termination.i timeout 950     815     348368896 11300    apollon144 true 2.95 1.20  270372864 27.9 apollon152 unknown .00658 .00985 958464 .0107  apollon053
ldv-regression/test_overflow_true-termination.c_true-unreach-call.i error (0) .388 .395 32030720 4.56 apollon070 true 3.51 1.29  297271296 28.4 apollon079 unknown .0140  .0133  929792 .00806 apollon054
ldv-regression/test_union_cast-1_true-unreach-call_true-termination.i timeout 951     854     324886528 13600    apollon059 true 2.48 1.08  269651968 24.1 apollon019 unknown .0110  .0112  864256 .0116  apollon081
ldv-regression/test_union_cast-2_true-unreach-call_true-termination.i timeout 950     853     326651904 11900    apollon050 true 2.62 1.10  267943936 24.4 apollon101 unknown .0209  .0213  827392 .00708 apollon033
ldv-regression/test_union_cast_true-termination.c_true-unreach-call.i timeout 950     832     346656768 11700    apollon097 true 2.56 1.09  269443072 23.1 apollon084 unknown .0285  .0303  909312 .00787 apollon008
ldv-regression/test_union_cast_true-termination.c_true-unreach-call_1.i timeout 950     853     327151616 12300    apollon076 true 2.54 1.06  267042816 21.7 apollon058 unknown .0254  .0267  892928 .00873 apollon165
ldv-regression/test_union_true-termination.c_true-unreach-call.i timeout 950     853     326602752 10900    apollon098 true 2.46 1.05  267255808 23.4 apollon067 unknown .00724 .0109  749568 .0109  apollon072
ldv-regression/test_union_true-termination.c_true-unreach-call_1.i timeout 950     842     325758976 12500    apollon146 unknown 2.81 1.18  268275712 26.1 apollon091 unknown 2.33    1.20    183156736 23.8     apollon015
ldv-regression/volatile_alias_true-termination.c_true-unreach-call.i timeout 950     815     346841088 12000    apollon084 true 2.57 1.07  265302016 24.6 apollon081 unknown .0199  .0196  860160 .00781 apollon048
ldv-regression/volatile_alias_true-termination.c_true-unreach-call_1.i timeout 950     839     325783552 14900    apollon056 true 2.56 1.08  269303808 21.2 apollon116 unknown .0123  .0137  843776 .00897 apollon143
ldv-regression/test02_false-unreach-call_true-termination.c false(unreach-call) 3.51  3.41  35819520 32.2  apollon009 false(unreach-call) 3.19 1.50  301989888 32.8 apollon057 unknown .0204  .0214  880640 .00684 apollon104
ldv-regression/test06_false-unreach-call_true-termination.c false(unreach-call) 3.52  3.40  35450880 24.6  apollon032 false(unreach-call) 3.16 1.33  283119616 24.6 apollon158 unknown .0105  .0134  880640 .0106  apollon084
ldv-regression/test08_false-unreach-call_true-termination.c false(unreach-call) 3.54  3.41  37711872 17.9  apollon163 false(unreach-call) 3.24 1.38  283230208 27.1 apollon058 unknown .0134  .0149  921600 .00928 apollon155
ldv-regression/test12_false-unreach-call_true-termination.c false(unreach-call) 3.49  3.40  37486592 37.0  apollon155 false(unreach-call) 3.06 1.27  279453696 31.4 apollon021 unknown .0294  .0289  884736 .0112  apollon094
ldv-regression/test21_false-unreach-call_true-termination.c false(unreach-call) 2.28  3.40  35221504 29.9  apollon024 false(unreach-call) 3.14 1.34  281501696 25.2 apollon092 unknown .0105  .0114  876544 .00940 apollon134
ldv-regression/test22_false-unreach-call.c out of memory (false(unreach-call)) 15.4   13.2   14999998464 206    apollon027 false(unreach-call) 3.50 1.45  291704832 29.9 apollon042 unknown .0111  .0109  729088 .00000 apollon039
ldv-regression/test23_false-unreach-call.c false(unreach-call) 2.30  3.41  40058880 32.2  apollon036 false(unreach-call) 27.0  12.3   1622577152 255   apollon015 unknown .0186  .0215  1003520 .00800 apollon117
ldv-regression/test24_false-unreach-call.c false(unreach-call) .738 3.39  35360768 13.6  apollon047 false(unreach-call) 12.1  3.37  466370560 96.1 apollon042 unknown .0110  .0108  909312 .00708 apollon157
ldv-regression/test25_false-unreach-call_true-termination.c false(unreach-call) .982 3.41  35700736 15.5  apollon153 false(unreach-call) 8.56 2.48  473624576 61.9 apollon045 unknown .0256  .0264  897024 .00757 apollon048
ldv-regression/test26_false-unreach-call_true-termination.c false(unreach-call) 3.49  3.39  35487744 36.2  apollon047 false(unreach-call) 3.16 1.35  276393984 28.2 apollon118 unknown .0119  .0123  995328 .0127  apollon080
ldv-regression/test27_false-unreach-call_true-termination.c timeout 557     900     35688448 3810    apollon122 false(unreach-call) 6.97 2.11  391266304 51.8 apollon054 unknown .0117  .0115  880640 .0101  apollon011
ldv-regression/test28_false-unreach-call_true-termination.c false(unreach-call) 3.47  3.38  35487744 34.8  apollon009 false(unreach-call) 3.07 1.31  280117248 28.5 apollon067 unknown .0110  .0156  774144 .00922 apollon047
ldv-regression/test29_false-unreach-call_true-termination.c false(unreach-call) 3.51  3.41  35696640 34.3  apollon002 false(unreach-call) 3.22 1.29  288837632 29.0 apollon102 unknown .0112  .0110  1052672 .0186  apollon005
ldv-regression/test30_false-unreach-call_true-termination.c false(unreach-call) 3.52  3.38  35442688 19.5  apollon070 false(unreach-call) 3.10 1.32  277307392 28.3 apollon084 unknown .0114  .0115  966656 .00842 apollon067
ldv-regression/test01_true-unreach-call_true-termination.c timeout 950     852     325758976 13600    apollon088 true 2.61 1.09  266866688 24.1 apollon015 unknown .00988 .0108  974848 .00946 apollon091
ldv-regression/test03_true-unreach-call_true-termination.c timeout 950     852     326008832 11000    apollon128 true 2.58 1.10  267571200 23.3 apollon070 unknown .0114  .0111  1073152 .0112  apollon019
ldv-regression/test04_true-unreach-call_true-termination.c timeout 950     853     326168576 12700    apollon017 true 2.92 1.13  293658624 26.6 apollon047 unknown .00953 .00937 913408 .0136  apollon071
ldv-regression/test05_true-unreach-call_true-termination.c timeout 950     853     325914624 12000    apollon129 true 3.05 1.18  293584896 22.7 apollon054 unknown .0124  .0117  962560 .00842 apollon059
ldv-regression/test07_true-unreach-call_true-termination.c timeout 950     852     327651328 12300    apollon085 true 2.62 1.13  272838656 21.0 apollon092 unknown .00767 .00758 786432 .00458 apollon035
ldv-regression/test09_true-unreach-call_true-termination.c timeout 951     775     347979776 10400    apollon051 true 2.72 1.16  270229504 22.7 apollon086 unknown .0147  .0150  884736 .0108  apollon142
ldv-regression/test10_true-unreach-call_true-termination.c timeout 950     835     347803648 10500    apollon029 true 2.74 1.16  271282176 27.3 apollon044 unknown .0109  .0106  888832 .00995 apollon144
ldv-regression/test11_true-unreach-call_true-termination.c timeout 701     900     35700736 9280    apollon134 true 2.69 1.14  265584640 25.0 apollon118 unknown .00782 .0119  978944 .00922 apollon120
ldv-regression/test13_true-unreach-call_true-termination.c timeout 950     853     325292032 12700    apollon052 true 2.80 1.10  293175296 27.9 apollon057 unknown .0155  .0150  921600 .0105  apollon028
ldv-regression/test14_true-unreach-call_true-termination.c timeout 753     900     35377152 10900    apollon142 true 2.64 1.15  270028800 24.4 apollon009 unknown .0112  .0109  905216 .00000 apollon111
ldv-regression/test15_true-unreach-call_true-termination.c timeout 950     819     348868608 13200    apollon014 true 2.82 1.09  297291776 24.1 apollon042 unknown .0151  .0155  925696 .0167  apollon027
ldv-regression/test16_true-unreach-call_true-termination.c timeout 950     852     328019968 13400    apollon140 true 2.65 1.12  269672448 21.0 apollon151 unknown .00977 .00997 876544 .00684 apollon123
ldv-regression/test17_true-unreach-call_true-termination.c timeout 950     853     326053888 12200    apollon162 true 2.44 1.07  267300864 25.2 apollon125 unknown .00894 .0104  831488 .0128  apollon154
ldv-regression/test18_true-unreach-call_true-termination.c timeout 950     853     327057408 11600    apollon025 true 2.62 1.10  268443648 24.1 apollon067 unknown .0139  .0146  888832 .0119  apollon165
ldv-regression/test19_true-unreach-call_true-termination.c timeout 950     840     325922816 13300    apollon019 true 2.67 1.11  268607488 21.4 apollon043 unknown .0216  .0211  868352 .00617 apollon121
ldv-regression/test20_true-unreach-call_true-termination.c timeout 950     853     327135232 14200    apollon016 true 2.52 1.09  271015936 25.4 apollon106 unknown .0104  .0104  761856 .00726 apollon028
ldv-regression/test21_true-unreach-call_true-termination.c timeout 656     900     35459072 9240    apollon129 true 2.79 1.13  268574720 24.2 apollon052 unknown .0101  .0102  868352 .00903 apollon036
ldv-regression/test22_true-unreach-call.c timeout 661     900     35762176 9830    apollon138 true 5.65 1.91  351363072 46.2 apollon042 unknown .0116  .0114  950272 .0106  apollon086
ldv-regression/test23_true-unreach-call.c timeout 644     900     35758080 9970    apollon091 true 31.0  13.9   1813843968 276   apollon045 unknown .0284  .0310  937984 .00867 apollon162
ldv-regression/test24_true-unreach-call_true-termination.c timeout 871     900     59478016 12900    apollon010 true 11.5  3.47  607617024 102   apollon118 unknown .0135  .0134  970752 .0143  apollon100
ldv-regression/test25_true-unreach-call.c timeout 552     900     37650432 2870    apollon073 true 5.60 1.84  309628928 43.5 apollon060 unknown .0175  .0175  888832 .00580 apollon021
ldv-regression/test26_true-unreach-call_true-termination.c timeout 950     838     326414336 13500    apollon126 true 2.60 1.10  266936320 23.1 apollon034 unknown .0125  .0129  794624 .00000 apollon130
ldv-regression/test27_true-unreach-call_true-termination.c timeout 551     900     35483648 4220    apollon044 unknown 101    82.5   1948983296 969   apollon099 unknown 2.72    1.30    221511680 23.8     apollon099
ldv-regression/test28_true-unreach-call_true-termination.c timeout 877     900     64180224 12100    apollon082 true 2.60 1.13  270757888 24.4 apollon067 unknown .0109  .0107  892928 .00793 apollon078
ldv-regression/test29_true-unreach-call_true-termination.c timeout 876     900     66125824 11200    apollon060 true 2.68 1.10  272687104 24.5 apollon112 unknown .0159  .0161  925696 .00610 apollon139
ldv-regression/test30_true-unreach-call_true-termination.c timeout 950     842     332808192 12200    apollon085 true 2.65 1.10  275738624 27.5 apollon021 unknown .0294  .0286  901120 .00500 apollon054
ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i error (0) .763 .838 32681984 7.86 apollon151 false(unreach-call) 10.6  2.77  462008320 86.1 apollon057 unknown .0160  .0156  905216 .00952 apollon111
ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i error (0) .745 .820 32481280 9.65 apollon078 false(unreach-call) 9.80 2.75  456699904 76.9 apollon042 unknown .0189  .0215  806912 .00421 apollon015
ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i error (0) .768 .850 32436224 10.1  apollon048 false(unreach-call) 10.1  2.73  488357888 77.8 apollon026 unknown .0203  .0201  741376 .00781 apollon038
ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i error (0) .745 .820 32555008 9.08 apollon115 true 6.05 1.89  299941888 46.1 apollon116 unknown .0292  .0307  1024000 .00915 apollon147
ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i error (0) .752 .762 32706560 9.69 apollon022 true 5.90 1.81  296321024 47.9 apollon004 unknown .0289  .0308  1101824 .00604 apollon054
ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i error (0) .734 .735 32464896 9.20 apollon096 true 6.19 1.90  295305216 50.4 apollon077 unknown .0127  .0133  937984 .0150  apollon060
ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i error (0) .734 .809 32833536 9.96 apollon124 true 5.99 1.77  294895616 51.9 apollon020 unknown .0108  .0108  892928 .00922 apollon133
ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i error (0) .769 .846 32518144 9.38 apollon051 true 6.15 1.85  296501248 49.9 apollon071 unknown .0116  .0113  1056768 .00726 apollon060
ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i error (0) .780 .838 32555008 10.8  apollon077 true 6.21 1.88  295534592 54.2 apollon033 unknown .0242  .0240  876544 .00586 apollon164
ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i error (0) .764 .851 32436224 8.95 apollon023 true 5.92 1.82  301953024 48.4 apollon017 unknown .0101  .0126  860160 .0146  apollon160
ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i error (0) .747 .832 32710656 11.0  apollon160 true 5.79 1.80  296538112 46.8 apollon011 unknown .0105  .0104  839680 .00726 apollon158
ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i error (0) .739 .821 32575488 10.7  apollon125 true 6.25 1.97  298254336 52.2 apollon168 unknown .0152  .0150  966656 .00586 apollon115
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i error (0) .760 .850 32489472 10.3  apollon163 true 5.78 1.76  298172416 46.3 apollon072 unknown .0112  .0152  917504 .0213  apollon030
forester-heap/dll-01_false-unreach-call_false-valid-memcleanup.i error (0) .345 .387 32096256 4.41 apollon077 false(unreach-call) 3.71 1.36  302596096 31.6 apollon011 unknown .0111  .0164  905216 .00867 apollon032
forester-heap/dll-circular_false-unreach-call_false-valid-memcleanup.i error (0) .343 .395 32034816 4.14 apollon112 false(unreach-call) 4.11 1.50  308314112 39.5 apollon125 unknown .00896 .00880 897024 .0103  apollon021
forester-heap/dll-optional_false-unreach-call_false-valid-memcleanup.i error (0) .339 .389 32108544 3.96 apollon087 false(unreach-call) 4.15 1.50  306003968 36.1 apollon017 unknown .0123  .0163  819200 .00324 apollon152
forester-heap/dll-queue_false-unreach-call_false-valid-memcleanup.i error (0) .322 .367 31997952 3.85 apollon045 false(unreach-call) 4.07 1.49  309760000 32.0 apollon117 unknown .0147  .0160  974848 .00830 apollon122
forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i error (0) .353 .403 32120832 3.72 apollon003 false(unreach-call) 4.12 1.53  303165440 35.5 apollon004 unknown .0194  .0189  1048576 .00909 apollon091
forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i error (0) .350 .400 32047104 3.60 apollon109 false(unreach-call) 3.70 1.44  283316224 32.2 apollon084 unknown .0114  .0120  1056768 .00507 apollon030
forester-heap/dll-simple-white-blue_false-unreach-call_false-valid-memcleanup.i error (0) .359 .408 32268288 3.97 apollon020 false(unreach-call) 4.08 1.47  290107392 32.3 apollon157 unknown .0139  .0136  856064 .0111  apollon075
forester-heap/dll-sorted_false-unreach-call_false-valid-memcleanup.i error (0) .354 .399 32186368 3.84 apollon097 false(unreach-call) 4.36 1.65  295096320 39.0 apollon093 unknown .0174  .0176  974848 .00543 apollon069
forester-heap/dll-token_false-unreach-call_false-valid-memcleanup.i error (0) .326 .378 32112640 3.73 apollon116 false(unreach-call) 4.25 1.50  307900416 36.5 apollon022 unknown .0147  .0144  827392 .00665 apollon067
forester-heap/sll-01_false-unreach-call_false-valid-deref.i error (0) .360 .402 32116736 4.57 apollon059 false(unreach-call) 3.85 1.39  304373760 32.0 apollon038 unknown .0156  .0169  1003520 .0125  apollon104
forester-heap/sll-buckets_false-unreach-call_false-valid-memcleanup.i error (0) .336 .382 31830016 4.03 apollon120 false(unreach-call) 4.37 1.53  307650560 35.8 apollon018 unknown .0158  .0163  942080 .00690 apollon018
forester-heap/sll-circular_false-unreach-call_false-valid-memcleanup.i error (0) .355 .404 31887360 4.49 apollon094 false(unreach-call) 4.08 1.47  307019776 34.8 apollon121 unknown .0102  .0143  1093632 .00891 apollon125
forester-heap/sll-optional_false-unreach-call_false-valid-memcleanup.i error (0) .348 .400 31870976 4.27 apollon164 false(unreach-call) 4.35 1.58  304832512 41.1 apollon057 unknown .0130  .0137  892928 .0178  apollon099
forester-heap/sll-queue_false-unreach-call_false-valid-memcleanup.i error (0) .336 .383 32161792 4.52 apollon080 false(unreach-call) 4.15 1.48  306032640 39.5 apollon016 unknown .0270  .0291  897024 .00415 apollon115
forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i error (0) .347 .397 32002048 4.02 apollon136 false(unreach-call) 3.99 1.47  305623040 36.3 apollon152 unknown .00836 .00832 905216 .00995 apollon114
forester-heap/sll-rb-sentinel_false-unreach-call_false-valid-memcleanup.i error (0) .331 .380 32104448 4.04 apollon031 false(unreach-call) 3.91 1.46  289226752 33.4 apollon150 unknown .0167  .0178  913408 .00458 apollon024
forester-heap/sll-simple-white-blue_false-unreach-call_false-valid-memcleanup.i error (0) .333 .385 32153600 3.78 apollon133 false(unreach-call) 4.06 1.48  311119872 40.0 apollon125 unknown .0101  .0143  1024000 .0231  apollon091
forester-heap/sll-sorted_false-unreach-call_false-valid-memcleanup.i error (0) .344 .391 31973376 4.15 apollon047 false(unreach-call) 4.37 1.56  310292480 39.3 apollon140 unknown .00747 .00785 954368 .00366 apollon073
forester-heap/sll-token_false-unreach-call_false-valid-memcleanup.i error (0) .326 .375 31952896 3.55 apollon089 false(unreach-call) 4.17 1.47  306860032 31.9 apollon054 unknown .00687 .00969 962560 .0156  apollon057
forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i error (0) .337 .380 32079872 4.47 apollon007 false(unreach-call) 3.94 1.42  308924416 34.5 apollon118 unknown .0112  .0111  835584 .0106  apollon028
forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i error (0) .321 .370 32096256 4.02 apollon067 false(unreach-call) 4.12 1.48  304640000 35.3 apollon072 unknown .0158  .0155  1114112 .00659 apollon015
forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i error (0) .351 .402 31993856 3.84 apollon026 false(unreach-call) 5.27 1.76  310845440 44.5 apollon121 unknown .00728 .0103  921600 .00677 apollon118
forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i error (0) .325 .370 32104448 3.70 apollon143 false(unreach-call) 4.30 1.52  305614848 35.4 apollon087 unknown .0137  .0132  888832 .00800 apollon163
forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i error (0) .319 .367 32083968 3.92 apollon058 false(unreach-call) 3.92 1.45  301637632 33.1 apollon120 unknown .0110  .0108  905216 .00958 apollon018
forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i error (0) .338 .386 31944704 4.13 apollon068 false(unreach-call) 3.98 1.43  305750016 33.9 apollon004 unknown .0294  .0286  905216 .00861 apollon048
forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i error (0) .354 .401 32243712 4.10 apollon009 false(unreach-call) 4.51 1.61  308465664 39.7 apollon108 unknown .0152  .0150  905216 .00360 apollon062
forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i error (0) .338 .385 32034816 4.45 apollon159 false(unreach-call) 5.81 1.90  313638912 43.1 apollon092 unknown .0159  .0151  1003520 .0110  apollon144
forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i error (0) .339 .385 32002048 4.70 apollon016 false(unreach-call) 4.35 1.56  310112256 38.9 apollon015 unknown .0131  .0130  790528 .0131  apollon007
forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i error (0) .352 .401 31846400 3.67 apollon042 false(unreach-call) 4.10 1.53  306814976 38.0 apollon081 unknown .0152  .0155  774144 .00867 apollon043
forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i error (0) .356 .399 32092160 4.34 apollon019 false(unreach-call) 4.06 1.56  305156096 32.1 apollon086 unknown .0160  .0159  843776 .00720 apollon041
forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i error (0) .303 .350 31973376 6.82 apollon106 false(unreach-call) 4.27 1.55  306638848 35.0 apollon107 unknown .0164  .0159  978944 .00958 apollon091
forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i error (0) .355 .408 32219136 3.94 apollon009 false(unreach-call) 3.90 1.46  291344384 34.4 apollon142 unknown .00983 .00972 851968 .00897 apollon136
forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i error (0) .344 .392 32051200 4.04 apollon015 false(unreach-call) 5.42 1.79  321630208 44.6 apollon053 unknown .0151  .0155  892928 .0103  apollon030
forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i error (0) .357 .401 31973376 4.14 apollon141 false(unreach-call) 4.18 1.52  307142656 40.6 apollon111 unknown .0118  .0143  843776 .0148  apollon144
forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i error (0) .352 .402 32092160 3.63 apollon134 false(unreach-call) 4.01 1.44  305766400 40.7 apollon021 unknown .0169  .0168  1064960 .00562 apollon009
forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i error (0) .357 .407 31961088 3.92 apollon102 false(unreach-call) 3.88 1.47  290291712 38.7 apollon057 unknown .0134  .0133  880640 .00537 apollon016
forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i error (0) .326 .374 32239616 3.69 apollon149 false(unreach-call) 4.54 1.71  304750592 43.3 apollon111 unknown .0131  .0129  958464 .00909 apollon113
forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i error (0) .339 .390 32026624 3.65 apollon023 false(unreach-call) 5.82 1.89  322797568 49.3 apollon152 unknown .0134  .0133  880640 .0126  apollon039
forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i error (0) .363 .410 32264192 3.97 apollon015 false(unreach-call) 4.10 1.55  292421632 35.2 apollon025 unknown .0219  .0214  778240 .00391 apollon054
forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i error (0) .343 .396 32243712 3.49 apollon013 false(unreach-call) 4.30 1.61  304218112 38.8 apollon161 unknown .00942 .00996 917504 .0101  apollon059
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i error (0) .334 .392 32137216 3.16 apollon092 false(unreach-call) 3.86 1.46  291573760 34.3 apollon004 unknown .0139  .0136  798720 .00915 apollon070
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i error (0) .328 .385 32141312 3.49 apollon104 unknown 101    62.3   3824812032 1040   apollon015 unknown 3.36    1.44    226729984 27.8     apollon003
list-ext-properties/simple-ext_false-unreach-call_false-valid-memcleanup_true-termination.i error (0) .331 .391 32124928 3.53 apollon137 false(unreach-call) 3.87 1.57  284205056 34.1 apollon078 unknown .0196  .0193  1032192 .00427 apollon144
list-ext2-properties/list_and_tree_cnstr_false-unreach-call_false-termination.i error (0) .330 .385 32309248 3.81 apollon093 unknown 111    70.7   3817975808 1080   apollon058 unknown 3.42    1.51    236220416 34.4     apollon108
list-ext2-properties/list_and_tree_cnstr_true-unreach-call_false-termination.i error (0) .310 .367 32120832 4.22 apollon010 unknown 101    68.0   3561881600 945   apollon043 unknown 3.85    1.54    252547072 33.6     apollon012
list-ext2-properties/simple_and_skiplist_2lvl_false-unreach-call.i error (0) .354 .410 31866880 4.20 apollon094 false(unreach-call) 4.98 1.94  294699008 39.0 apollon042 unknown .00934 .00913 827392 .00763 apollon084
list-ext2-properties/simple_and_skiplist_2lvl_true-unreach-call.i error (0) .337 .394 31961088 3.61 apollon090 unknown 101    71.8   4013780992 1100   apollon102 unknown 3.22    1.42    236249088 34.4     apollon033
list-ext2-properties/simple_search_value_false-unreach-call.i error (0) .329 .392 32182272 3.77 apollon038 unknown 101    75.0   4014583808 1060   apollon157 unknown 3.21    1.44    235089920 33.1     apollon108
list-ext2-properties/simple_search_value_true-unreach-call.i error (0) .347 .409 32272384 3.48 apollon083 unknown 101    75.3   3958837248 983   apollon092 unknown 3.23    1.41    231743488 34.4     apollon160
ldv-sets/test_add_false-unreach-call_true-termination.i error (0) .322 .385 32153600 4.01 apollon120 false(unreach-call) 4.02 1.57  290824192 35.1 apollon156 unknown .0160  .0164  847872 .00830 apollon145
ldv-sets/test_mutex_double_lock_false-unreach-call_true-termination.i error (0) .331 .392 32059392 4.42 apollon016 false(unreach-call) 4.34 1.67  293318656 42.2 apollon014 unknown .0148  .0146  905216 .0104  apollon089
ldv-sets/test_mutex_double_unlock_false-unreach-call.i error (0) .345 .406 32010240 3.74 apollon032 unknown 101    72.1   3957501952 1120   apollon038 unknown 4.28    1.76    247988224 42.2     apollon036
ldv-sets/test_mutex_unbounded_false-unreach-call.i error (0) .350 .410 32030720 3.15 apollon151 false(unreach-call) 5.55 1.88  319803392 46.0 apollon042 unknown .0116  .0121  962560 .0109  apollon065
ldv-sets/test_mutex_unlock_at_exit_false-unreach-call.i error (0) .340 .402 31952896 3.66 apollon078 false(unreach-call) 10.6  3.05  468631552 85.4 apollon076 unknown .0187  .0180  921600 .00726 apollon124
ldv-sets/test_add_true-unreach-call_true-termination.i error (0) .304 .366 31903744 4.48 apollon080 true 3.76 1.44  279330816 38.8 apollon039 unknown .0109  .0109  1003520 .00995 apollon125
ldv-sets/test_mutex_true-unreach-call.i error (0) .354 .414 32079872 3.75 apollon102 unknown 101    69.1   3881336832 1280   apollon039 unknown 4.30    1.80    250527744 39.3     apollon068
ldv-sets/test_mutex_unbounded_true-unreach-call.i error (0) .308 .367 32223232 3.70 apollon095 unknown 101    68.9   3783802880 1270   apollon111 unknown 4.31    1.72    250646528 42.8     apollon028
floats-cdfpl/newton_1_4_false-unreach-call_true-termination.i error (0) .354 .394 35762176 3.82 apollon018 unknown 3.28 1.33  287711232 28.7 apollon051 unknown 2.48    1.27    191598592 23.8     apollon067
floats-cdfpl/newton_1_5_false-unreach-call_true-termination.i error (0) .348 .388 35368960 3.75 apollon154 unknown 3.17 1.29  289210368 30.6 apollon020 unknown 2.53    1.27    220635136 26.4     apollon148
floats-cdfpl/newton_1_6_false-unreach-call_true-termination.i error (0) .343 .385 35381248 4.59 apollon021 unknown 3.09 1.32  280403968 25.2 apollon128 unknown 2.45    1.23    194260992 24.8     apollon091
floats-cdfpl/newton_1_7_false-unreach-call_true-termination.i error (0) .364 .404 37478400 3.90 apollon087 unknown 3.33 1.36  284037120 31.8 apollon106 unknown 2.49    1.26    196173824 22.6     apollon154
floats-cdfpl/newton_1_8_false-unreach-call_true-termination.i error (0) .332 .370 35446784 4.19 apollon096 unknown 3.22 1.30  280059904 28.1 apollon034 unknown 2.44    1.22    219430912 25.4     apollon059
floats-cdfpl/newton_2_6_false-unreach-call_true-termination.i error (0) .349 .390 35639296 3.90 apollon146 unknown 3.91 1.47  304762880 28.1 apollon092 unknown 2.47    1.24    216539136 24.4     apollon070
floats-cdfpl/newton_2_7_false-unreach-call_true-termination.i error (0) .345 .390 35950592 3.21 apollon151 false(unreach-call) 3.53 1.36  305381376 28.5 apollon117 unknown .0167  .0165  864256 .00397 apollon127
floats-cdfpl/newton_2_8_false-unreach-call_true-termination.i error (0) .362 .400 37502976 3.63 apollon034 false(unreach-call) 3.37 1.34  292712448 34.7 apollon160 unknown .0137  .0135  880640 .0128  apollon061
floats-cdfpl/newton_3_6_false-unreach-call_true-termination.i error (0) .348 .387 37842944 3.70 apollon001 unknown 3.92 1.51  291278848 36.3 apollon148 unknown 2.58    1.23    221609984 25.6     apollon136
floats-cdfpl/newton_3_7_false-unreach-call_true-termination.i error (0) .330 .369 35524608 4.60 apollon016 unknown 3.84 1.41  289001472 36.7 apollon108 unknown 2.49    1.25    199811072 22.3     apollon002
floats-cdfpl/newton_3_8_false-unreach-call_true-termination.i error (0) .358 .404 35921920 3.87 apollon074 unknown 3.80 1.50  288854016 34.0 apollon009 unknown 2.58    1.35    217645056 22.1     apollon043
floats-cdfpl/sine_1_false-unreach-call_true-termination.i error (0) .336 .382 35364864 4.07 apollon155 unknown 3.03 1.30  275775488 29.2 apollon155 unknown 2.54    1.35    187695104 25.1     apollon008
floats-cdfpl/sine_2_false-unreach-call_true-termination.i error (0) .353 .396 35790848 3.84 apollon147 unknown 3.14 1.33  275918848 26.9 apollon042 unknown 2.52    1.25    190087168 26.5     apollon056
floats-cdfpl/sine_3_false-unreach-call_true-termination.i error (0) .353 .398 35459072 3.75 apollon154 unknown 3.09 1.32  276983808 27.4 apollon004 unknown 2.47    1.21    193269760 24.1     apollon028
floats-cdfpl/square_1_false-unreach-call_true-termination.i error (0) .338 .382 35635200 4.31 apollon080 unknown 3.42 1.32  296480768 27.6 apollon058 unknown 2.48    1.23    186691584 23.1     apollon072
floats-cdfpl/square_2_false-unreach-call_true-termination.i error (0) .340 .387 35729408 3.52 apollon104 unknown 3.08 1.34  274157568 28.2 apollon017 unknown 2.43    1.20    192462848 26.3     apollon056
floats-cdfpl/square_3_false-unreach-call_true-termination.i error (0) .311 .357 35381248 3.65 apollon099 unknown 3.07 1.32  283607040 27.3 apollon119 unknown 2.40    1.22    192794624 21.1     apollon104
floats-cdfpl/newton_1_1_true-unreach-call_true-termination.i error (0) .350 .393 35975168 3.67 apollon012 unknown 3.25 1.32  285380608 27.4 apollon109 unknown 2.53    1.26    191815680 22.9     apollon103
floats-cdfpl/newton_1_2_true-unreach-call_true-termination.i error (0) .360 .400 35643392 3.87 apollon018 unknown 3.29 1.32  277344256 27.8 apollon107 unknown 2.49    1.21    222408704 24.4     apollon005
floats-cdfpl/newton_1_3_true-unreach-call_true-termination.i error (0) .357 .399 35946496 4.02 apollon051 unknown 3.24 1.32  279523328 28.4 apollon085 unknown 2.50    1.25    193642496 23.0     apollon045
floats-cdfpl/newton_2_1_true-unreach-call_true-termination.i error (0) .355 .393 35430400 3.89 apollon049 unknown 3.55 1.39  299921408 31.8 apollon071 unknown 2.53    1.23    221253632 28.3     apollon021
floats-cdfpl/newton_2_2_true-unreach-call_true-termination.i error (0) .345 .385 37834752 3.72 apollon090 unknown 3.98 1.46  307306496 32.7 apollon121 unknown 2.38    1.21    190177280 22.2     apollon053
floats-cdfpl/newton_2_3_true-unreach-call_true-termination.i error (0) .364 .400 37531648 3.72 apollon086 unknown 3.71 1.39  294916096 32.1 apollon017 unknown 2.45    1.24    223109120 27.2     apollon125
floats-cdfpl/newton_2_4_true-unreach-call_true-termination.i error (0) .351 .392 35672064 4.13 apollon042 unknown 3.67 1.38  299188224 31.4 apollon026 unknown 2.47    1.25    218058752 23.1     apollon025
floats-cdfpl/newton_2_5_true-unreach-call_true-termination.i error (0) .353 .397 35704832 4.42 apollon028 unknown 3.47 1.35  293187584 32.9 apollon141 unknown 2.44    1.24    219332608 25.2     apollon103
floats-cdfpl/newton_3_1_true-unreach-call_true-termination.i error (0) .360 .400 35606528 4.11 apollon048 unknown 3.96 1.48  289370112 32.5 apollon072 unknown 2.52    1.24    220119040 24.9     apollon132
floats-cdfpl/newton_3_2_true-unreach-call_true-termination.i error (0) .324 .363 35794944 4.53 apollon140 unknown 3.56 1.43  288223232 35.9 apollon160 unknown 2.57    1.29    222765056 27.3     apollon163
floats-cdfpl/newton_3_3_true-unreach-call_true-termination.i error (0) .345 .384 35373056 4.09 apollon006 unknown 3.62 1.42  290717696 33.9 apollon019 unknown 2.45    1.22    192921600 24.2     apollon105
floats-cdfpl/newton_3_4_true-unreach-call_true-termination.i error (0) .334 .374 35500032 3.64 apollon042 unknown 3.74 1.40  288501760 35.4 apollon007 unknown 2.52    1.29    217292800 26.3     apollon080
floats-cdfpl/newton_3_5_true-unreach-call_true-termination.i error (0) .354 .394 35844096 3.38 apollon139 unknown 3.86 1.44  288108544 30.2 apollon089 unknown 2.56    1.25    223436800 20.8     apollon158
floats-cdfpl/sine_4_true-unreach-call_true-termination.i error (0) .348 .392 35483648 3.69 apollon058 unknown 3.11 1.30  276041728 27.6 apollon150 unknown 2.39    1.20    184082432 22.3     apollon034
floats-cdfpl/sine_5_true-unreach-call_true-termination.i error (0) .330 .374 36163584 3.62 apollon143 unknown 3.11 1.30  277741568 30.6 apollon016 unknown 2.53    1.22    217001984 24.7     apollon152
floats-cdfpl/sine_6_true-unreach-call_true-termination.i error (0) .356 .397 37691392 4.34 apollon008 unknown 3.08 1.30  274255872 26.7 apollon018 unknown 2.55    1.23    193269760 21.5     apollon001
floats-cdfpl/sine_7_true-unreach-call_true-termination.i error (0) .360 .404 35778560 3.54 apollon115 unknown 3.10 1.29  274198528 28.7 apollon020 unknown 2.47    1.26    190984192 22.3     apollon166
floats-cdfpl/sine_8_true-unreach-call_true-termination.i error (0) .330 .372 37916672 4.67 apollon021 unknown 2.94 1.27  275603456 29.7 apollon161 unknown 2.50    1.27    193626112 25.9     apollon122
floats-cdfpl/square_4_true-unreach-call_true-termination.i error (0) .339 .381 37793792 3.58 apollon099 unknown 3.06 1.29  276631552 29.6 apollon020 unknown 2.32    1.20    190386176 25.9     apollon030
floats-cdfpl/square_5_true-unreach-call_true-termination.i error (0) .337 .382 35635200 3.75 apollon050 unknown 3.10 1.32  272031744 27.1 apollon085 unknown 2.45    1.20    185507840 23.4     apollon084
floats-cdfpl/square_6_true-unreach-call_true-termination.i error (0) .341 .386 35569664 3.77 apollon050 unknown 3.00 1.28  277045248 24.1 apollon054 unknown 2.33    1.23    185446400 21.3     apollon127
floats-cdfpl/square_7_true-unreach-call_true-termination.i error (0) .334 .380 35495936 4.20 apollon062 unknown 3.09 1.31  273149952 23.8 apollon158 unknown 2.34    1.22    187023360 20.1     apollon092
floats-cdfpl/square_8_true-unreach-call_true-termination.i error (0) .340 .385 35786752 4.13 apollon122 unknown 3.08 1.29  275968000 28.2 apollon032 unknown 2.30    1.20    184684544 22.2     apollon113
floats-cbmc-regression/float-div1_true-unreach-call.i error (0) .404 .469 35545088 5.22 apollon165 unknown 4.25 1.54  294539264 38.0 apollon077 unknown 3.65    1.55    235196416 31.6     apollon087
floats-cbmc-regression/float-flags-simp1_true-unreach-call.i error (0) .524 .595 38395904 7.19 apollon161 unknown 4.20 1.58  286539776 35.4 apollon165 unknown 4.15    1.69    241074176 32.2     apollon151
floats-cbmc-regression/float-no-simp1_true-unreach-call_true-termination.i timeout 950     845     326995968 11600    apollon045 unknown 2.95 1.26  275304448 28.1 apollon164 unknown 2.47    1.20    210784256 23.7     apollon118
floats-cbmc-regression/float-no-simp2_true-unreach-call.i timeout 950     851     327270400 11700    apollon062 true 3.37 1.25  282005504 32.3 apollon081 unknown .0133  .0160  860160 .0203  apollon028
floats-cbmc-regression/float-no-simp3_true-unreach-call_true-termination.i timeout 950     852     308539392 11700    apollon103 unknown 2.92 1.24  280174592 28.5 apollon148 unknown 2.40    1.20    210173952 23.6     apollon006
floats-cbmc-regression/float-no-simp4_true-unreach-call.i error (0) .475 .500 35524608 5.05 apollon100 unknown 4.48 1.58  295583744 38.5 apollon005 unknown 3.84    1.65    234065920 33.7     apollon144
floats-cbmc-regression/float-no-simp6_true-unreach-call_true-termination.i timeout 950     852     325537792 11500    apollon035 unknown 2.89 1.26  275648512 23.9 apollon099 unknown 2.29    1.19    190226432 22.4     apollon070
floats-cbmc-regression/float-no-simp7_true-unreach-call_true-termination.i timeout 950     843     343666688 12100    apollon102 unknown 3.02 1.24  272568320 26.9 apollon112 unknown 2.40    1.28    184758272 20.6     apollon050
floats-cbmc-regression/float-no-simp8_true-unreach-call.i timeout 950     851     317296640 12100    apollon097 true 3.23 1.26  277245952 27.3 apollon053 unknown .0112  .0155  1056768 .00452 apollon091
floats-cbmc-regression/float-rounding1_true-unreach-call.i error (0) .352 .381 32014336 4.44 apollon118 unknown 3.14 1.22  275058688 28.9 apollon009 unknown 3.58    1.55    237768704 33.8     apollon132
floats-cbmc-regression/float-to-double1_true-unreach-call.i timeout 950     839     327139328 12300    apollon004 true 3.19 1.25  274808832 25.5 apollon117 unknown .0126  .0124  950272 .00000 apollon028
floats-cbmc-regression/float-to-double2_true-unreach-call_true-termination.i timeout 950     852     325402624 12400    apollon061 true 2.55 1.06  267288576 20.8 apollon100 unknown .0114  .0116  995328 .0114  apollon001
floats-cbmc-regression/float-zero-sum1_true-unreach-call_true-termination.i timeout 950     850     326762496 13500    apollon033 unknown 3.00 1.20  274448384 25.1 apollon072 unknown 2.52    1.28    193744896 24.0     apollon152
floats-cbmc-regression/float11_true-unreach-call_true-termination.i timeout 950     852     309563392 12400    apollon055 true 2.54 1.06  266686464 23.3 apollon076 unknown .0132  .0129  958464 .00812 apollon086
floats-cbmc-regression/float12_true-unreach-call_true-termination.i timeout 894     900     83415040 11700    apollon035 true 2.52 1.06  271978496 22.2 apollon012 unknown .0112  .0115  884736 .00653 apollon102
floats-cbmc-regression/float13_true-unreach-call_true-termination.i timeout 950     840     326123520 12600    apollon113 unknown 2.95 1.26  274726912 24.5 apollon089 unknown 2.30    1.20    186650624 23.6     apollon093
floats-cbmc-regression/float14_true-unreach-call.i timeout 950     853     327524352 12300    apollon118 unknown 3.90 1.44  286658560 35.8 apollon047 unknown 3.59    1.58    234070016 32.5     apollon105
floats-cbmc-regression/float18_true-unreach-call.i error (0) .455 .510 37531648 5.09 apollon105 true 5.54 1.81  304295936 42.8 apollon054 unknown .0160  .0165  868352 .0155  apollon159
floats-cbmc-regression/float19_true-unreach-call.i timeout 950     852     327573504 11600    apollon023 false(unreach-call) 3.89 1.46  283901952 32.5 apollon133 unknown .0139  .0136  974848 .00848 apollon144
floats-cbmc-regression/float1_true-unreach-call_true-termination.i timeout 950     853     326889472 12200    apollon153 unknown 2.94 1.26  274829312 27.1 apollon167 unknown 2.46    1.29    216150016 22.2     apollon025
floats-cbmc-regression/float20_true-unreach-call_true-termination.i error (0) .349 .385 35762176 3.69 apollon003 unknown 3.20 1.31  279089152 26.8 apollon107 unknown 2.47    1.23    190554112 23.0     apollon072
floats-cbmc-regression/float21_true-unreach-call.i error (0) .423 .476 35778560 5.44 apollon084 unknown 4.04 1.49  286728192 31.5 apollon040 unknown 3.92    1.66    243236864 38.2     apollon163
floats-cbmc-regression/float22_true-unreach-call_true-termination.i timeout 950     853     325734400 11200    apollon089 false(unreach-call) 3.24 1.31  285437952 25.8 apollon054 unknown .0112  .0110  839680 .00842 apollon108
floats-cbmc-regression/float2_true-unreach-call_true-termination.i timeout 950     853     326561792 14600    apollon057 true 2.55 1.11  265289728 21.7 apollon157 unknown .00952 .00965 974848 .0100  apollon066
floats-cbmc-regression/float3_true-unreach-call_true-termination.i timeout 875     900     60096512 13400    apollon159 unknown 3.29 1.34  289042432 31.2 apollon108 unknown 2.37    1.21    191541248 24.0     apollon152
floats-cbmc-regression/float4_true-unreach-call.i timeout 950     839     344211456 13100    apollon064 true 3.41 1.29  278663168 31.4 apollon091 unknown .0175  .0176  1040384 .00562 apollon122
floats-cbmc-regression/float5_true-unreach-call_true-termination.i error (0) .344 .388 35762176 3.80 apollon135 true 2.54 1.11  270061568 23.0 apollon087 unknown .0125  .0123  872448 .00000 apollon020
floats-cbmc-regression/float6_true-unreach-call_true-termination.i error (0) .350 .378 35561472 4.83 apollon056 true 2.76 1.16  265805824 23.9 apollon157 unknown .00979 .00973 995328 .00781 apollon048
floats-cbmc-regression/float8_true-unreach-call.i timeout 950     851     327647232 12800    apollon138 true 3.31 1.27  272904192 29.0 apollon168 unknown .0147  .0144  1085440 .0106  apollon016
floats-cbmc-regression/float_lib1_true-unreach-call.i error (0) .466 .517 35835904 5.43 apollon031 unknown 1.81 .714 146210816 17.2 apollon022 unknown .0124  .0162  897024 .00537 apollon167
floats-cbmc-regression/float_lib2_true-unreach-call.i error (0) .458 .514 35504128 4.71 apollon041 unknown 3.90 1.47  284749824 35.1 apollon047 unknown 3.58    1.57    235880448 35.6     apollon108
float-benchs/cast_float_ptr_false-unreach-call_true-termination.c timeout 950     852     326434816 11500    apollon023 false(unreach-call) 3.37 1.37  291115008 32.4 apollon126 unknown .0106  .0105  843776 .00891 apollon007
float-benchs/cast_union_loose_false-unreach-call_true-termination.c error (0) .347 .386 35840000 3.76 apollon075 false(unreach-call) 3.19 1.31  283373568 28.2 apollon162 unknown .0127  .0132  925696 .0148  apollon021
float-benchs/cast_union_tight_false-unreach-call_true-termination.c timeout 823     900     39657472 12400    apollon005 false(unreach-call) 3.07 1.30  277520384 26.9 apollon084 unknown .0120  .0118  999424 .00677 apollon159
float-benchs/float_int_inv_square_false-unreach-call_true-termination.c error (0) .360 .405 35713024 3.27 apollon151 unknown 3.13 1.29  280240128 29.9 apollon106 unknown 2.36    1.20    190681088 23.4     apollon162
float-benchs/inv_Newton_false-unreach-call.c error (0) .359 .393 35991552 3.88 apollon120 unknown 3.58 1.42  292753408 30.3 apollon045 unknown 2.67    1.32    220057600 25.9     apollon067
float-benchs/inv_square_false-unreach-call_true-termination.c error (0) .347 .391 35475456 4.44 apollon036 unknown 3.20 1.27  278286336 28.5 apollon052 unknown 2.40    1.26    188350464 22.7     apollon078
float-benchs/nan_double_false-unreach-call_true-termination.c timeout 950     838     325783552 11600    apollon086 true 2.74 1.08  287801344 26.9 apollon125 unknown .0164  .0172  880640 .00519 apollon074
float-benchs/nan_float_false-unreach-call_true-termination.c timeout 950     853     327933952 12300    apollon070 true 2.50 1.06  269299712 24.6 apollon126 unknown .0126  .0123  909312 .00903 apollon120
float-benchs/sin_interpolated_index_false-unreach-call_true-termination.c timeout 951     857     315342848 12100    apollon121 unknown 3.59 1.43  290566144 31.8 apollon112 unknown 2.92    1.46    229445632 29.8     apollon167
float-benchs/sqrt_poly2_false-unreach-call.c timeout 822     900     38711296 12900    apollon027 false(unreach-call) 3.54 1.46  283836416 26.6 apollon054 unknown .0170  .0167  790528 .00745 apollon102
float-benchs/Muller_Kahan_true-unreach-call_true-termination.c timeout 950     830     348446720 11100    apollon066 unknown 101    70.1   3703078912 1290   apollon111 unknown 2.71    1.27    223334400 25.8     apollon118
float-benchs/Rump_double_true-unreach-call_true-termination.c timeout 950     844     325435392 12000    apollon095 unknown 3.05 1.30  277000192 24.2 apollon060 unknown 2.28    1.18    186810368 25.9     apollon039
float-benchs/Rump_float_true-unreach-call_true-termination.c timeout 950     842     326852608 11500    apollon086 unknown 3.02 1.27  280453120 27.7 apollon168 unknown 2.30    1.18    191942656 21.5     apollon115
float-benchs/addsub_double_exact_true-unreach-call_true-termination.c timeout 950     843     327393280 11600    apollon025 true 2.62 1.12  270811136 23.7 apollon022 unknown .0125  .0126  1003520 .00000 apollon081
float-benchs/addsub_float_exact_true-unreach-call_true-termination.c timeout 950     853     326033408 11900    apollon001 true 2.61 1.09  267870208 22.8 apollon085 unknown .0154  .0160  839680 .00653 apollon059
float-benchs/addsub_float_inexact_true-unreach-call_true-termination.c timeout 950     840     341024768 12100    apollon067 unknown 3.01 1.23  278917120 26.0 apollon079 unknown 2.24    1.17    185266176 21.8     apollon121
float-benchs/arctan_Pade_true-unreach-call_true-termination.c timeout 950     852     326389760 13100    apollon065 unknown 3.48 1.43  288264192 29.8 apollon011 unknown 2.67    1.38    223674368 26.1     apollon165
float-benchs/bary_diverge_true-unreach-call_true-termination.c error (0) 1.56  1.58  4305956864 18.3  apollon075 unknown 101    87.1   1271308288 1240   apollon009 unknown 5.02    3.11    4309266432 56.3     apollon140
float-benchs/cast_float_union_true-unreach-call.c timeout 951     792     327114752 12400    apollon008 true 2.57 1.10  269062144 21.7 apollon042 unknown .0173  .0181  999424 .00824 apollon160
float-benchs/cos_polynomial_true-unreach-call_true-termination.c error (0) .336 .373 35860480 3.68 apollon099 unknown 3.29 1.38  282152960 31.2 apollon047 unknown 2.56    1.27    224219136 23.4     apollon115
float-benchs/divmul_buf_diverge_true-unreach-call_true-termination.c error (0) 1.50  1.57  4305817600 18.1  apollon074 unknown 101    68.9   3698745344 1050   apollon095 timeout 746       981       4340322304 6600       apollon066
float-benchs/divmul_diverge_true-unreach-call_true-termination.c error (0) 1.51  1.56  4307275776 21.0  apollon130 unknown 101    69.7   3716583424 1130   apollon141 timeout 757       981       4343455744 6600       apollon076
float-benchs/drift_tenth_true-unreach-call_true-termination.c timeout 950     852     327094272 13600    apollon028 true 7.25 2.24  447856640 59.2 apollon034 unknown .0116  .0152  884736 .0144  apollon115
float-benchs/exp_loop_true-unreach-call.c timeout 950     851     325750784 11900    apollon034 unknown 3.80 1.50  294989824 29.7 apollon054 unknown 2.88    1.32    225320960 25.2     apollon041
float-benchs/feedback_diverge_true-unreach-call_true-termination.c error (0) 1.51  1.57  4309454848 17.2  apollon127 unknown 101    69.7   3690983424 1190   apollon019 timeout 762       981       4340518912 6840       apollon009
float-benchs/filter1_true-unreach-call_true-termination.c error (0) 1.50  1.56  4306100224 22.2  apollon148 true 3.25 1.25  294666240 29.0 apollon070 unknown .0139  .0143  913408 .00397 apollon014
float-benchs/filter2_alt_true-unreach-call.c error (0) 1.53  1.57  4306452480 20.4  apollon048 unknown 101    84.8   1385123840 1150   apollon095 unknown 4.79    3.11    4307730432 49.0     apollon038
float-benchs/filter2_iterated_true-unreach-call.c out of memory 33.1   26.5   15001444352 432    apollon019 unknown 101    80.4   1890471936 1180   apollon018 out of memory 49.0     39.2     14999998464 644       apollon028
float-benchs/filter2_reinit_true-unreach-call_true-termination.c error (0) 1.54  1.59  4306681856 18.7  apollon076 unknown 102    87.5   1538564096 1130   apollon100 unknown 4.30    3.02    4312870912 40.5     apollon100
float-benchs/filter2_set_true-unreach-call_true-termination.c error (0) .367 .396 36003840 3.80 apollon109 unknown 3.43 1.42  285618176 29.2 apollon058 unknown 2.89    1.33    225980416 27.0     apollon061
float-benchs/filter2_true-unreach-call_true-termination.c error (0) 1.19  1.19  3048075264 14.9  apollon159 unknown 101    78.5   2405908480 1100   apollon042 unknown 4.14    2.54    3048505344 46.2     apollon027
float-benchs/filter_iir_true-unreach-call.c error (0) 1.58  1.59  4306296832 17.3  apollon002 false(unreach-call) 4.19 1.56  293605376 36.5 apollon164 unknown .0110  .0108  966656 .00830 apollon078
float-benchs/float_double_true-unreach-call_true-termination.c timeout 950     847     327815168 10400    apollon158 unknown 2.84 1.25  274427904 27.5 apollon020 unknown 2.37    1.19    187621376 18.6     apollon092
float-benchs/image_filter_true-unreach-call.c error (0) .463 .492 37744640 5.10 apollon103 true 103    74.0   3067482112 1050   apollon168 unknown .0275  .0289  888832 .00977 apollon061
float-benchs/interpolation2_true-unreach-call_true-termination.c error (0) .364 .402 35713024 4.30 apollon108 false(unreach-call) 3.83 1.43  304050176 29.0 apollon043 unknown .0123  .0116  1064960 .00818 apollon048
float-benchs/interpolation_true-unreach-call_true-termination.c error (0) .353 .393 35524608 4.37 apollon028 false(unreach-call) 3.52 1.34  298409984 31.2 apollon017 unknown .0117  .0121  888832 .00470 apollon050
float-benchs/inv_sqrt_Quake_true-unreach-call_true-termination.c error (0) .343 .384 35794944 4.53 apollon016 unknown 3.18 1.36  281186304 25.7 apollon040 unknown 2.45    1.26    187981824 24.9     apollon124
float-benchs/inv_square_int_true-unreach-call_true-termination.c error (0) .352 .397 35770368 4.20 apollon164 unknown 3.19 1.28  289005568 28.0 apollon004 unknown 2.51    1.22    189292544 24.6     apollon080
float-benchs/inv_square_true-unreach-call_true-termination.c error (0) .338 .381 35434496 4.19 apollon010 unknown 3.11 1.30  284872704 29.9 apollon155 unknown 2.41    1.21    188891136 23.6     apollon118
float-benchs/loop_true-unreach-call.c timeout 951     526     130854912 12200    apollon088 unknown 101    73.5   3689037824 1020   apollon102 unknown 3.20    1.46    222552064 32.6     apollon155
float-benchs/mea8000_true-unreach-call.c error (0) 1.63  1.67  4307992576 17.5  apollon123 unknown 101    57.2   3726876672 1030   apollon032 unknown 7.56    3.03    402907136 68.0     apollon135
float-benchs/nan_double_range_true-unreach-call_true-termination.c timeout 950     849     326877184 12500    apollon145 true 2.57 1.07  266473472 22.4 apollon119 unknown .0177  .0176  847872 .00433 apollon146
float-benchs/nan_float_range_true-unreach-call_true-termination.c timeout 950     840     326881280 13500    apollon122 true 2.51 1.07  267726848 22.1 apollon012 unknown .0159  .0184  815104 .0100  apollon041
float-benchs/rlim_exit_true-unreach-call_true-termination.c error (0) .527 .596 622395392 5.70 apollon023 unknown 101    69.4   3702853632 1140   apollon152 unknown 4.53    2.09    633184256 44.0     apollon068
float-benchs/rlim_invariant_true-unreach-call_true-termination.c error (0) .511 .579 621973504 6.11 apollon052 true 3.18 1.31  274526208 29.3 apollon009 unknown .0251  .0249  843776 .00446 apollon032
float-benchs/sin_interpolated_bigrange_loose_true-unreach-call_true-termination.c timeout 950     852     328458240 11000    apollon043 unknown 2.52 1.07  267304960 26.3 apollon160 unknown 2.80    1.40    222871552 29.6     apollon014
float-benchs/sin_interpolated_bigrange_tight_true-unreach-call_true-termination.c timeout 950     851     326189056 12300    apollon055 unknown 2.67 1.08  268079104 24.7 apollon167 unknown 2.77    1.40    230420480 25.1     apollon116
float-benchs/sin_interpolated_index_true-unreach-call_true-termination.c timeout 951     775     348696576 10600    apollon118 unknown 3.55 1.37  292544512 33.1 apollon141 unknown 3.00    1.46    231276544 29.3     apollon145
float-benchs/sin_interpolated_negation_true-unreach-call.c error (0) .380 .386 35770368 3.93 apollon042 unknown 2.71 1.16  269598720 27.6 apollon021 unknown 2.81    1.41    224653312 29.1     apollon108
float-benchs/sin_interpolated_smallrange_true-unreach-call.c error (0) .370 .375 37883904 4.58 apollon065 unknown 2.66 1.10  266366976 26.0 apollon125 unknown 2.81    1.42    223703040 24.9     apollon149
float-benchs/sqrt_Householder_constant_true-unreach-call.c timeout 950     852     324399104 11600    apollon025 unknown 3.31 1.34  283959296 26.1 apollon123 unknown 2.67    1.37    231440384 24.8     apollon156
float-benchs/sqrt_Householder_interval_true-unreach-call.c error (0) .350 .383 35823616 3.88 apollon075 unknown 3.44 1.37  283762688 32.3 apollon047 unknown 2.68    1.27    230658048 25.7     apollon067
float-benchs/sqrt_Householder_pseudoconstant_true-unreach-call.c error (0) .363 .394 35459072 4.11 apollon020 unknown 3.41 1.41  286404608 33.2 apollon007 unknown 2.68    1.28    215293952 29.9     apollon036
float-benchs/sqrt_Newton_pseudoconstant_true-unreach-call.c error (0) .367 .400 35348480 3.85 apollon105 unknown 3.37 1.42  286138368 28.8 apollon095 unknown 2.89    1.43    222048256 25.2     apollon049
float-benchs/sqrt_biNewton_pseudoconstant_true-unreach-call.c error (0) .366 .402 35639296 3.92 apollon121 unknown 3.46 1.44  285523968 30.5 apollon004 unknown 2.91    1.47    216862720 27.4     apollon101
float-benchs/sqrt_poly_true-unreach-call_true-termination.c error (0) .342 .384 35676160 3.51 apollon060 unknown 3.20 1.31  284733440 27.1 apollon002 unknown 2.43    1.23    214593536 24.2     apollon093
float-benchs/water_pid_true-unreach-call_true-termination.c timeout 951     783     348639232 10800    apollon049 unknown 3.73 1.47  288108544 36.7 apollon125 unknown 2.77    1.28    223232000 24.6     apollon095
float-benchs/zonotope_2_true-unreach-call_true-termination.c timeout 951     488     143327232 10400    apollon156 unknown 101    70.1   2707120128 1090   apollon018 unknown 3.90    1.70    245284864 39.4     apollon014
float-benchs/zonotope_3_true-unreach-call_true-termination.c error (0) .430 .475 318808064 5.14 apollon085 unknown 101    66.3   3724296192 1240   apollon057 unknown 6.89    2.60    406560768 69.3     apollon021
float-benchs/zonotope_loose_true-unreach-call_true-termination.c error (0) .323 .366 35491840 4.67 apollon056 unknown 3.01 1.29  276717568 27.0 apollon165 unknown 2.46    1.23    220323840 24.3     apollon152
float-benchs/zonotope_tight_true-unreach-call_true-termination.c error (0) .363 .408 35807232 3.57 apollon053 unknown 3.11 1.32  279584768 28.8 apollon077 unknown 2.41    1.21    195686400 23.3     apollon051
floats-esbmc-regression/Double_div_true-unreach-call.i timeout 950     851     309596160 12300    apollon038 unknown 101    68.2   3712233472 954   apollon054 unknown 3.11    1.48    227840000 33.8     apollon111
floats-esbmc-regression/Float_div_true-unreach-call.i timeout 950     852     326438912 13000    apollon136 unknown 101    69.5   3705274368 1020   apollon053 unknown 3.52    1.50    234225664 29.6     apollon035
floats-esbmc-regression/ceil_nondet_true-unreach-call.i error (0) .438 .475 35586048 6.32 apollon016 unknown 3.26 1.24  272318464 26.8 apollon095 unknown 3.70    1.64    231153664 32.6     apollon072
floats-esbmc-regression/ceil_true-unreach-call.i error (0) .471 .522 35315712 5.17 apollon022 unknown 3.88 1.46  284168192 35.0 apollon019 unknown 3.69    1.60    236310528 33.7     apollon167
floats-esbmc-regression/copysign_true-unreach-call.i timeout 951     776     350130176 10000    apollon137 unknown 4.44 1.54  298180608 37.2 apollon095 unknown 3.67    1.59    234864640 34.3     apollon167
floats-esbmc-regression/digits_for_true-unreach-call.i timeout 950     853     351215616 12300    apollon153 unknown 2.68 1.05  293687296 24.4 apollon101 unknown .00807 .0114  983040 .00000 apollon161
floats-esbmc-regression/digits_while_true-unreach-call.i timeout 950     851     325722112 12800    apollon152 unknown 2.45 1.04  267403264 21.7 apollon032 unknown .00944 .00976 761856 .0123  apollon088
floats-esbmc-regression/fabs_true-unreach-call.i timeout 950     840     327839744 10600    apollon123 unknown 4.31 1.53  297754624 38.5 apollon118 unknown 3.77    1.62    236974080 33.9     apollon050
floats-esbmc-regression/fdim_true-unreach-call.i error (0) .458 .518 35590144 4.92 apollon083 unknown 4.07 1.47  287440896 33.1 apollon095 unknown 3.70    1.62    232333312 33.5     apollon084
floats-esbmc-regression/floor_nondet_true-unreach-call.i error (0) .473 .510 35545088 5.52 apollon031 unknown 3.35 1.24  271601664 24.9 apollon054 unknown 3.67    1.62    234262528 33.1     apollon121
floats-esbmc-regression/floor_true-unreach-call.i error (0) .438 .491 36126720 5.43 apollon145 unknown 4.00 1.44  297574400 36.9 apollon155 unknown 3.54    1.59    233517056 28.4     apollon158
floats-esbmc-regression/fmax_true-unreach-call.i error (0) .468 .522 39636992 4.92 apollon083 unknown 3.99 1.46  290377728 35.8 apollon167 unknown 3.63    1.58    244572160 31.6     apollon053
floats-esbmc-regression/fmin_true-unreach-call.i error (0) .457 .516 35995648 5.27 apollon038 unknown 3.97 1.48  284291072 37.7 apollon125 unknown 3.66    1.64    231092224 32.2     apollon105
floats-esbmc-regression/fmod2_true-unreach-call.i error (0) .461 .516 35409920 5.65 apollon033 unknown 4.21 1.51  298278912 35.8 apollon095 unknown 3.61    1.58    236568576 31.5     apollon109
floats-esbmc-regression/fmod3_true-unreach-call.i error (0) .447 .498 35553280 5.20 apollon121 unknown 3.99 1.51  284069888 35.4 apollon084 unknown 3.91    1.65    239316992 31.6     apollon120
floats-esbmc-regression/fmod_true-unreach-call.i error (0) .433 .489 35639296 5.18 apollon038 unknown 4.04 1.51  286920704 34.7 apollon162 unknown 3.69    1.58    234024960 33.9     apollon145
floats-esbmc-regression/isgreater_true-unreach-call.i timeout 950     852     326287360 13900    apollon125 unknown 3.99 1.46  286085120 35.4 apollon047 unknown 3.63    1.62    234549248 30.8     apollon133
floats-esbmc-regression/isgreaterequal_true-unreach-call.i timeout 950     816     350289920 11200    apollon025 unknown 3.97 1.46  283181056 34.8 apollon168 unknown 3.57    1.55    233775104 33.4     apollon156
floats-esbmc-regression/isless_true-unreach-call.i timeout 950     839     326512640 10500    apollon054 unknown 4.13 1.49  290938880 34.8 apollon070 unknown 3.67    1.59    234733568 33.4     apollon142
floats-esbmc-regression/islessequal_true-unreach-call.i timeout 950     852     327032832 12200    apollon168 unknown 4.05 1.49  287981568 31.6 apollon054 unknown 3.60    1.57    233873408 33.8     apollon019
floats-esbmc-regression/islessgreater_true-unreach-call.i timeout 950     827     346284032 11600    apollon121 unknown 3.89 1.51  287326208 36.5 apollon164 unknown 3.57    1.56    233607168 33.7     apollon067
floats-esbmc-regression/isunordered_true-unreach-call.i timeout 950     841     327970816 11200    apollon040 unknown 4.37 1.58  295870464 40.0 apollon007 unknown 3.85    1.63    235659264 34.1     apollon049
floats-esbmc-regression/lrint_true-unreach-call.i error (0) .442 .485 35467264 6.28 apollon112 unknown 3.20 1.24  274493440 25.5 apollon107 unknown 3.32    1.57    222261248 29.5     apollon133
floats-esbmc-regression/modf_true-unreach-call.i timeout 950     820     348172288 11300    apollon035 unknown 3.92 1.46  287424512 31.5 apollon089 unknown 3.66    1.63    230789120 28.3     apollon158
floats-esbmc-regression/nan_true-unreach-call.i error (0) .370 .389 32223232 4.52 apollon113 unknown 3.84 1.48  286842880 36.7 apollon007 unknown 3.51    1.47    227905536 34.5     apollon016
floats-esbmc-regression/nearbyint2_true-unreach-call.i error (0) .445 .486 35524608 5.92 apollon019 unknown 3.15 1.20  272756736 28.1 apollon067 unknown 3.54    1.57    224555008 37.0     apollon021
floats-esbmc-regression/nearbyint_true-unreach-call.i error (0) .464 .500 35602432 5.60 apollon015 unknown 3.25 1.28  277970944 27.4 apollon025 unknown 3.92    1.69    238428160 34.4     apollon012
floats-esbmc-regression/remainder_true-unreach-call.i error (0) .461 .509 35692544 5.02 apollon107 unknown 4.04 1.51  287850496 34.8 apollon084 unknown 3.59    1.58    232927232 34.5     apollon091
floats-esbmc-regression/rint2_true-unreach-call.i error (0) .462 .505 35766272 5.76 apollon027 unknown 3.14 1.23  272629760 27.4 apollon084 unknown 3.35    1.58    225886208 32.3     apollon093
floats-esbmc-regression/rint_true-unreach-call.i error (0) .460 .494 35807232 6.54 apollon044 unknown 3.32 1.28  272330752 29.6 apollon047 unknown 3.73    1.60    239247360 35.5     apollon093
floats-esbmc-regression/round_nondet_true-unreach-call.i error (0) .453 .491 35508224 5.27 apollon110 unknown 3.28 1.29  273203200 29.5 apollon152 unknown 3.70    1.56    233201664 37.1     apollon027
floats-esbmc-regression/round_true-unreach-call.i error (0) .454 .497 39849984 4.83 apollon043 unknown 3.90 1.45  288792576 32.2 apollon127 unknown 3.60    1.57    228478976 36.3     apollon148
floats-esbmc-regression/rounding_functions_true-unreach-call.i timeout 951     775     349671424 10400    apollon050 unknown 4.25 1.47  291086336 35.2 apollon015 unknown 3.98    1.64    243249152 36.8     apollon015
floats-esbmc-regression/trunc_nondet_2_true-unreach-call.i error (0) .475 .519 39723008 5.45 apollon020 unknown 4.10 1.52  288456704 36.5 apollon093 unknown 3.65    1.47    240590848 32.3     apollon049
floats-esbmc-regression/trunc_nondet_true-unreach-call.i error (0) .416 .455 35438592 9.23 apollon106 unknown 3.25 1.24  278786048 30.2 apollon081 unknown 3.69    1.69    231796736 32.8     apollon074
floats-esbmc-regression/trunc_true-unreach-call.i error (0) .453 .505 35594240 4.77 apollon117 unknown 3.98 1.46  293666816 38.6 apollon106 unknown 3.63    1.63    232087552 32.4     apollon120
floats-esbmc-regression/Double_div_bad_false-unreach-call.i false(unreach-call) 3.50  3.40  35573760 32.7  apollon167 unknown 101    72.5   3698872320 1270   apollon148 false(unreach-call) 3.44    1.49    228147200 27.7     apollon098
floats-esbmc-regression/Float_div_bad_false-unreach-call.i false(unreach-call) 3.52  3.40  35540992 19.3  apollon104 unknown 101    79.0   1104375808 1250   apollon007 false(unreach-call) 2.49    1.22    194621440 19.4     apollon063
floats-esbmc-regression/digits_bad_for_false-unreach-call.i false(unreach-call) 3.49  3.41  35491840 26.4  apollon149 unknown 2.45 1.05  269201408 18.8 apollon158 unknown .0254  .0248  876544 .00769 apollon143
floats-esbmc-regression/digits_bad_while_false-unreach-call.i false(unreach-call) 3.51  3.41  35524608 35.7  apollon076 unknown 2.61 1.04  270020608 21.4 apollon156 unknown .0108  .0107  839680 .00952 apollon106
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c timeout 580     900     45146112 4840    apollon161 false(unreach-call) 10.5  2.91  467931136 92.6 apollon160 unknown .00941 .00956 729088 .00732 apollon144
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c false(unreach-call) 1.38  3.59  36782080 24.7  apollon114 false(unreach-call) 7.84 2.35  439459840 64.1 apollon156 unknown .0161  .0165  835584 .0153  apollon144
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c timeout 564     900     41406464 4400    apollon018 false(unreach-call) 8.41 2.46  459096064 66.6 apollon095 unknown .0127  .0125  790528 .00671 apollon032
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c false(unreach-call) 2.30  3.88  38502400 30.4  apollon112 false(unreach-call) 6.15 2.02  326635520 49.7 apollon025 unknown .0107  .0109  897024 .00971 apollon027
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c timeout 561     900     43474944 3180    apollon149 true 8.90 2.66  453758976 68.8 apollon157 unknown .0122  .0122  1019904 .00751 apollon108
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c out of memory 21.1   14.3   14999998464 241    apollon146 true 7.15 2.11  430432256 59.3 apollon112 unknown .0145  .0157  880640 .00610 apollon117
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c timeout 557     900     38834176 3380    apollon147 true 5.99 1.94  332750848 50.8 apollon070 unknown .0162  .0173  770048 .00885 apollon047
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c timeout 568     900     39190528 3020    apollon092 true 7.36 2.23  406474752 63.9 apollon022 unknown .0137  .0135  819200 .00793 apollon092
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c timeout 559     900     36102144 7880    apollon094 true 3.63 1.40  280764416 35.6 apollon126 unknown .0171  .0167  876544 .00635 apollon021
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c timeout 553     900     36478976 7240    apollon072 true 4.60 1.58  281321472 39.3 apollon146 unknown .0269  .0263  786432 .00653 apollon158
ssh-simplified/s3_clnt_1_false-unreach-call_true-termination.cil.c timeout 544     900     36569088 2880    apollon146 false(unreach-call) 9.16 2.75  455581696 75.9 apollon051 unknown .0125  .0123  856064 .00324 apollon095
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c timeout 544     900     36782080 2650    apollon031 false(unreach-call) 8.52 2.48  452268032 66.7 apollon018 unknown .00870 .00851 937984 .00000 apollon142
ssh-simplified/s3_clnt_3_false-unreach-call_true-termination.cil.c timeout 469     900     38400000 3830    apollon005 false(unreach-call) 9.85 2.84  453873664 91.4 apollon021 unknown .0105  .0104  753664 .00000 apollon041
ssh-simplified/s3_clnt_4_false-unreach-call_true-termination.cil.c false(unreach-call) 1.13  3.62  36491264 14.4  apollon149 false(unreach-call) 8.96 2.59  457687040 76.4 apollon047 unknown .0135  .0133  999424 .0109  apollon068
ssh-simplified/s3_srvr_10_false-unreach-call_false-termination.cil.c false(unreach-call) 1.17  3.52  37048320 16.1  apollon067 false(unreach-call) 4.35 1.63  290156544 37.2 apollon026 unknown .0125  .0124  962560 .00806 apollon118
ssh-simplified/s3_srvr_11_false-unreach-call_false-termination.cil.c false(unreach-call) 1.16  3.61  37527552 15.1  apollon166 unknown 49.7  19.2   1668919296 479   apollon125 unknown 17.0     9.72    547110912 187       apollon068
ssh-simplified/s3_srvr_12_false-unreach-call_false-termination.cil.c false(unreach-call) 1.38  3.81  41377792 21.4  apollon111 unknown 60.7  34.1   1772802048 619   apollon009 unknown 10.6     4.23    530419712 112       apollon106
ssh-simplified/s3_srvr_13_false-unreach-call_false-termination.cil.c false(unreach-call) 1.11  3.60  39849984 14.7  apollon118 false(unreach-call) 9.78 2.78  483901440 73.5 apollon053 unknown .0123  .0128  1003520 .0198  apollon030
ssh-simplified/s3_srvr_14_false-unreach-call_false-termination.cil.c false(unreach-call) 1.12  3.61  37728256 17.3  apollon054 false(unreach-call) 7.83 2.35  419213312 58.0 apollon098 unknown .0118  .0116  958464 .00824 apollon118
ssh-simplified/s3_srvr_1_false-unreach-call_false-termination.cil.c false(unreach-call) 1.11  3.49  37081088 17.2  apollon046 false(unreach-call) 6.74 2.12  351375360 60.0 apollon030 unknown .0231  .0232  831488 .00409 apollon086
ssh-simplified/s3_srvr_2_false-unreach-call_false-termination.cil.c false(unreach-call) 1.09  3.51  38952960 16.8  apollon017 false(unreach-call) 6.40 2.06  341139456 52.4 apollon042 unknown .0227  .0225  933888 .00800 apollon136
ssh-simplified/s3_srvr_6_false-unreach-call_false-termination.cil.c false(unreach-call) 1.08  3.52  38559744 14.0  apollon086 false(unreach-call) 4.09 1.57  288546816 34.7 apollon070 unknown .0293  .0311  884736 .00812 apollon051
ssh-simplified/s3_clnt_1_true-unreach-call_true-termination.cil.c timeout 548     900     36528128 2550    apollon124 true 16.2  4.63  621895680 131   apollon127 unknown .0104  .0114  962560 .00000 apollon031
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c timeout 544     900     36487168 2910    apollon007 true 12.4  3.48  488386560 107   apollon111 unknown .0149  .0146  1048576 .00543 apollon067
ssh-simplified/s3_clnt_3_true-unreach-call_true-termination.cil.c timeout 537     900     36347904 2320    apollon022 true 9.73 2.76  496414720 88.7 apollon111 unknown .00953 .00966 749568 .00787 apollon067
ssh-simplified/s3_clnt_4_true-unreach-call_true-termination.cil.c timeout 519     900     36425728 3380    apollon010 true 18.1  4.97  612642816 134   apollon017 unknown .0144  .0167  978944 .0101  apollon083
ssh-simplified/s3_srvr_1_true-unreach-call_false-termination.cil.c timeout 541     900     37199872 2800    apollon131 true 41.7  18.1   1533001728 370   apollon133 unknown .0167  .0165  880640 .00531 apollon010
ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c timeout 763     900     35827712 10500    apollon119 true 7.31 2.23  444444672 61.2 apollon167 unknown .0148  .0147  901120 .00751 apollon023
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c out of memory 22.6   20.8   14999998464 271    apollon129 true 3.82 1.48  276803584 34.5 apollon022 unknown .0124  .0126  921600 .00690 apollon144
ssh-simplified/s3_srvr_2_true-unreach-call_false-termination.cil.c timeout 539     900     36888576 2250    apollon158 true 24.1  6.61  852000768 170   apollon100 unknown .0112  .0110  880640 .0104  apollon041
ssh-simplified/s3_srvr_3_true-unreach-call_false-termination.cil.c timeout 551     900     37130240 2690    apollon051 true 28.2  7.36  799481856 199   apollon117 unknown .0150  .0147  1028096 .00452 apollon027
ssh-simplified/s3_srvr_4_true-unreach-call_false-termination.cil.c timeout 555     900     36782080 2220    apollon166 true 31.2  9.52  1082322944 248   apollon011 unknown .0193  .0191  966656 .00610 apollon105
ssh-simplified/s3_srvr_6_true-unreach-call_false-termination.cil.c timeout 552     900     38518784 2840    apollon134 unknown 101    76.2   2603286528 1050   apollon167 unknown 14.7     6.30    559157248 117       apollon143
ssh-simplified/s3_srvr_7_true-unreach-call_false-termination.cil.c timeout 547     900     41598976 2430    apollon093 true 47.6  24.3   1600352256 450   apollon038 unknown .0155  .0158  774144 .00915 apollon020
ssh-simplified/s3_srvr_8_true-unreach-call_false-termination.cil.c timeout 544     900     37429248 2530    apollon119 true 41.6  14.9   1357250560 335   apollon045 unknown .0157  .0154  798720 .00610 apollon108
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c out of memory 15.5   14.3   14999998464 212    apollon084 false(unreach-call) 3.89 1.55  290488320 35.3 apollon118 unknown .00881 .00861 806912 .00812 apollon054
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c out of memory 15.5   14.2   14999998464 213    apollon164 false(unreach-call) 3.69 1.47  286932992 32.3 apollon085 unknown .0107  .0106  1032192 .00977 apollon028
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c out of memory 17.1   16.8   14999998464 251    apollon014 true 3.20 1.26  274280448 28.7 apollon004 unknown .00871 .0118  937984 .00958 apollon066
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c out of memory 15.7   14.4   14999998464 188    apollon002 true 3.29 1.30  272015360 27.6 apollon051 unknown .0279  .0275  864256 .0151  apollon007
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c out of memory 15.4   14.2   14999998464 219    apollon077 true 3.20 1.26  276197376 29.6 apollon118 unknown .0144  .0156  958464 .00983 apollon058
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c out of memory 15.7   14.4   14999998464 229    apollon088 true 3.28 1.31  276688896 29.5 apollon004 unknown .0107  .0147  950272 .00311 apollon145
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c out of memory 15.6   14.3   14999998464 199    apollon135 true 3.31 1.34  275124224 28.9 apollon034 unknown .00741 .00755 700416 .00952 apollon091
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c out of memory 15.5   14.2   14999998464 190    apollon137 true 3.36 1.30  277331968 28.7 apollon026 unknown .0157  .0160  1003520 .00732 apollon138
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c out of memory 15.9   14.5   14999998464 209    apollon085 true 2.82 1.18  271339520 25.1 apollon078 unknown .00981 .00965 1007616 .00818 apollon168
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c out of memory 16.0   14.7   14999998464 205    apollon022 true 2.83 1.18  267870208 24.6 apollon085 unknown .0190  .0200  782336 .00818 apollon147
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c out of memory 15.5   14.1   14999998464 217    apollon164 true 2.93 1.19  274169856 23.8 apollon043 unknown .00896 .00931 925696 .00885 apollon054
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c out of memory 15.9   14.6   14999998464 201    apollon107 true 3.00 1.21  271302656 28.6 apollon020 unknown .0119  .0116  835584 .00915 apollon164
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c out of memory 15.6   14.2   14999998464 206    apollon102 true 3.07 1.21  271044608 26.9 apollon087 unknown .0143  .0142  1028096 .00873 apollon015
ntdrivers/cdaudio_false-unreach-call.i.cil.c timeout 299     900     84119552 1580    apollon032 unknown 101    58.2   3856003072 984   apollon107 unknown 14.4     6.27    490381312 131       apollon133
ntdrivers/diskperf_false-unreach-call.i.cil.c timeout 950     949     32112640 14200    apollon027 false(unreach-call) 11.5  3.08  487526400 99.5 apollon161 unknown .00871 .00885 745472 .00977 apollon098
ntdrivers/floppy_false-unreach-call.i.cil.c timeout 950     949     32071680 13500    apollon164 false(unreach-call) 27.8  7.02  827916288 214   apollon051 unknown .0157  .0155  835584 .0103  apollon127
ntdrivers/kbfiltr_false-unreach-call.i.cil.c error (0) .888 .919 40308736 10.1  apollon117 false(unreach-call) 9.18 2.59  472186880 71.0 apollon026 unknown .0152  .0150  1003520 .00305 apollon109
ntdrivers/parport_false-unreach-call.i.cil.c error (0) 1.36  1.38  42450944 18.1  apollon101 false(unreach-call) 41.1  12.3   1233416192 337   apollon002 unknown .0138  .0145  876544 .0109  apollon052
ntdrivers/cdaudio_true-unreach-call.i.cil.c timeout 688     900     81801216 9650    apollon156 true 13.2  3.52  498647040 108   apollon161 unknown .0255  .0252  843776 .00488 apollon144
ntdrivers/diskperf_true-unreach-call.i.cil.c timeout 950     949     32190464 14300    apollon088 true 10.4  2.82  465846272 85.1 apollon119 unknown .00913 .00927 950272 .00000 apollon142
ntdrivers/floppy2_true-unreach-call_true-termination.i.cil.c timeout 950     949     32292864 12500    apollon153 true 36.7  9.30  1080754176 265   apollon051 unknown .0240  .0269  839680 .00720 apollon033
ntdrivers/floppy_true-unreach-call_true-valid-memsafety.i.cil.c timeout 950     950     32038912 11900    apollon034 true 22.8  5.87  808267776 158   apollon098 unknown .00763 .00800 933888 .00873 apollon155
ntdrivers/parport_true-unreach-call.i.cil.c error (0) 1.36  1.36  40288256 18.3  apollon067 true 48.1  18.0   1745305600 449   apollon167 unknown .00675 .0110  847872 .00513 apollon123
ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c error (0) .603 .597 42094592 7.06 apollon166 false(unreach-call) 9.13 2.57  449695744 67.3 apollon058 unknown .0107  .0106  1007616 .00836 apollon049
ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c error (0) .574 .568 42119168 7.34 apollon058 false(unreach-call) 9.14 2.59  452468736 80.0 apollon161 unknown .0117  .0116  884736 .00830 apollon081
ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c error (0) .617 .703 39817216 7.49 apollon049 false(unreach-call) 8.63 2.46  425029632 62.6 apollon158 unknown .0123  .0129  884736 .0133  apollon130
ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c error (0) .602 .596 37621760 7.06 apollon097 false(unreach-call) 8.65 2.52  455716864 68.1 apollon038 unknown .0151  .0150  901120 .00330 apollon038
ssh/s3_srvr.blast.01_false-unreach-call.i.cil.c timeout 950     839     330149888 11700    apollon073 false(unreach-call) 8.04 2.33  395956224 61.8 apollon089 unknown .00965 .00954 876544 .00000 apollon114
ssh/s3_srvr.blast.02_false-unreach-call.i.cil.c timeout 950     850     328839168 13600    apollon159 false(unreach-call) 8.22 2.40  409186304 65.0 apollon053 unknown .0115  .0112  786432 .00812 apollon084
ssh/s3_srvr.blast.03_false-unreach-call.i.cil.c timeout 950     851     330821632 11900    apollon110 false(unreach-call) 7.72 2.25  406921216 61.1 apollon058 unknown .0120  .0118  806912 .0137  apollon006
ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c timeout 950     813     349691904 12500    apollon033 false(unreach-call) 8.04 2.33  421318656 61.0 apollon002 unknown .00869 .00844 872448 .0117  apollon030
ssh/s3_srvr.blast.06_false-unreach-call.i.cil.c timeout 950     846     347123712 15000    apollon039 false(unreach-call) 5.85 1.89  315543552 51.3 apollon019 unknown .00854 .00835 847872 .00726 apollon136
ssh/s3_srvr.blast.07_false-unreach-call.i.cil.c timeout 950     839     329154560 11000    apollon143 false(unreach-call) 9.70 2.76  460361728 80.3 apollon067 unknown .0115  .0118  827392 .00000 apollon158
ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c timeout 950     818     349446144 13300    apollon069 false(unreach-call) 5.83 1.92  310112256 46.1 apollon058 unknown .0234  .0245  901120 .00769 apollon087
ssh/s3_srvr.blast.09_false-unreach-call.i.cil.c timeout 950     846     327184384 10600    apollon151 false(unreach-call) 10.9  3.09  443912192 87.7 apollon022 unknown .0123  .0125  847872 .0114  apollon091
ssh/s3_srvr.blast.10_false-unreach-call.i.cil.c timeout 950     836     329764864 11600    apollon166 false(unreach-call) 5.66 1.87  313110528 48.9 apollon168 unknown .0127  .0125  892928 .00586 apollon148
ssh/s3_srvr.blast.11_false-unreach-call.i.cil.c timeout 950     850     328773632 11800    apollon075 false(unreach-call) 10.3  2.89  481853440 76.8 apollon054 unknown .0107  .0113  884736 .0190  apollon167
ssh/s3_srvr.blast.12_false-unreach-call.i.cil.c timeout 950     850     328429568 14500    apollon021 false(unreach-call) 5.76 1.87  309747712 44.6 apollon123 unknown .0136  .0132  1007616 .00488 apollon142
ssh/s3_srvr.blast.13_false-unreach-call.i.cil.c timeout 950     851     328491008 11200    apollon060 false(unreach-call) 10.5  2.93  447406080 82.4 apollon053 unknown .00924 .0121  872448 .0127  apollon052
ssh/s3_srvr.blast.14_false-unreach-call.i.cil.c timeout 950     760     336629760 10100    apollon107 false(unreach-call) 5.94 1.95  320987136 56.0 apollon125 unknown .00998 .00978 741376 .00995 apollon072
ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c timeout 950     826     347975680 11100    apollon086 false(unreach-call) 5.86 1.86  309665792 50.0 apollon101 unknown .00848 .0106  839680 .00958 apollon107
ssh/s3_srvr.blast.16_false-unreach-call.i.cil.c timeout 950     814     332787712 11600    apollon022 false(unreach-call) 6.07 1.92  310468608 47.0 apollon002 unknown .00865 .0113  880640 .0108  apollon145
ssh/s3_clnt.blast.01_true-unreach-call.i.cil.c error (0) .597 .593 38109184 7.44 apollon082 false(unreach-call) 9.88 2.74  463360000 80.9 apollon070 unknown .0116  .0132  917504 .00787 apollon009
ssh/s3_clnt.blast.02_true-unreach-call.i.cil.c error (0) .575 .565 43393024 7.77 apollon052 false(unreach-call) 9.08 2.61  445390848 70.6 apollon082 unknown .00919 .0135  872448 .0214  apollon154
ssh/s3_clnt.blast.03_true-unreach-call.i.cil.c error (0) .578 .571 37761024 5.77 apollon063 false(unreach-call) 10.4  2.96  451772416 84.8 apollon101 unknown .00564 .00953 954368 .0106  apollon080
ssh/s3_clnt.blast.04_true-unreach-call.i.cil.c error (0) .611 .599 39813120 8.52 apollon008 false(unreach-call) 10.8  2.98  448491520 87.1 apollon076 unknown .0196  .0209  905216 .00659 apollon109
ssh/s3_srvr.blast.01_true-unreach-call.i.cil.c timeout 950     851     330379264 12300    apollon147 false(unreach-call) 10.3  2.98  454479872 73.2 apollon054 unknown .0147  .0154  765952 .00543 apollon162
ssh/s3_srvr.blast.02_true-unreach-call.i.cil.c timeout 950     850     328310784 12400    apollon096 false(unreach-call) 8.51 2.44  474112000 70.8 apollon141 unknown .0124  .0123  921600 .00964 apollon009
ssh/s3_srvr.blast.06_true-unreach-call.i.cil.c timeout 950     848     330264576 12700    apollon138 false(unreach-call) 78.6  40.0   2531569664 760   apollon125 unknown .0127  .0133  942080 .0109  apollon092
ssh/s3_srvr.blast.07_true-unreach-call.i.cil.c timeout 950     816     345538560 12200    apollon068 false(unreach-call) 12.5  3.42  493748224 96.9 apollon051 unknown .0134  .0137  753664 .00641 apollon104
ssh/s3_srvr.blast.08_true-unreach-call.i.cil.c timeout 950     838     329261056 11300    apollon109 false(unreach-call) 16.2  4.48  638615552 145   apollon030 unknown .0103  .0133  876544 .0100  apollon059
ssh/s3_srvr.blast.09_true-unreach-call.i.cil.c timeout 950     851     330997760 13300    apollon167 false(unreach-call) 12.2  3.42  467406848 99.3 apollon101 unknown .00890 .00902 745472 .00806 apollon162
ssh/s3_srvr.blast.10_true-unreach-call.i.cil.c timeout 950     850     326766592 12500    apollon015 false(unreach-call) 11.5  3.15  471052288 88.4 apollon042 unknown .0123  .0128  929792 .0143  apollon014
ssh/s3_srvr.blast.11_true-unreach-call.i.cil.c timeout 950     850     329158656 11800    apollon144 false(unreach-call) 11.7  3.23  469540864 102   apollon044 unknown .00776 .00774 1015808 .00000 apollon148
ssh/s3_srvr.blast.12_true-unreach-call.i.cil.c timeout 950     754     333176832 11200    apollon010 false(unreach-call) 20.4  5.99  646975488 176   apollon140 unknown .0153  .0149  1015808 .00000 apollon053
ssh/s3_srvr.blast.13_true-unreach-call.i.cil.c timeout 951     805     353677312 11200    apollon004 false(unreach-call) 10.5  2.99  446189568 94.1 apollon126 unknown .0170  .0204  925696 .00763 apollon014
ssh/s3_srvr.blast.14_true-unreach-call.i.cil.c timeout 950     850     330088448 12600    apollon113 false(unreach-call) 32.8  12.1   1119997952 300   apollon030 unknown .0105  .0119  897024 .0101  apollon091
ssh/s3_srvr.blast.15_true-unreach-call.i.cil.c timeout 950     750     389197824 11300    apollon005 false(unreach-call) 19.9  5.63  705064960 172   apollon140 unknown .0131  .0128  831488 .00806 apollon002
ssh/s3_srvr.blast.16_true-unreach-call.i.cil.c timeout 950     850     325091328 11300    apollon002 false(unreach-call) 36.6  16.4   1510846464 293   apollon158 unknown .0133  .0133  942080 .0123  apollon038
eca-rers2012/Problem01_label15_false-unreach-call_false-termination.c timeout 790     900     99471360 10200    apollon166 false(unreach-call) 19.2  5.31  774098944 155   apollon109 unknown .0187  .0198  741376 .00659 apollon143
eca-rers2012/Problem01_label20_false-unreach-call_false-termination.c timeout 787     900     99692544 9720    apollon139 false(unreach-call) 26.3  7.53  1136979968 215   apollon009 unknown .0106  .0148  753664 .00971 apollon120
eca-rers2012/Problem01_label21_false-unreach-call_false-termination.c timeout 785     900     106520576 10700    apollon121 false(unreach-call) 20.4  5.38  821071872 181   apollon044 unknown .0114  .0114  1122304 .00000 apollon015
eca-rers2012/Problem01_label32_false-unreach-call_false-termination.c timeout 784     900     99536896 10800    apollon095 false(unreach-call) 29.0  8.58  1047896064 242   apollon020 unknown .00958 .00971 716800 .00000 apollon155
eca-rers2012/Problem01_label33_false-unreach-call_false-termination.c timeout 785     900     99606528 10300    apollon035 false(unreach-call) 22.0  6.19  848171008 171   apollon060 unknown .0155  .0157  794624 .0109  apollon026
eca-rers2012/Problem01_label35_false-unreach-call_false-termination.c timeout 788     900     99528704 9290    apollon158 false(unreach-call) 26.9  9.13  1037926400 207   apollon058 unknown .00924 .00915 1011712 .00800 apollon145
eca-rers2012/Problem01_label37_false-unreach-call_false-termination.c timeout 785     900     99713024 11100    apollon093 false(unreach-call) 22.1  5.89  846315520 170   apollon085 unknown .00984 .00967 983040 .00617 apollon166
eca-rers2012/Problem01_label38_false-unreach-call_false-termination.c timeout 777     900     101715968 10700    apollon153 false(unreach-call) 21.1  5.64  812269568 168   apollon047 unknown .0275  .0270  897024 .00458 apollon055
eca-rers2012/Problem01_label44_false-unreach-call_false-termination.c false(unreach-call) 4.39  4.11  99536896 56.0  apollon009 false(unreach-call) 16.0  4.32  600502272 144   apollon125 unknown .00975 .00965 901120 .0142  apollon021
eca-rers2012/Problem01_label47_false-unreach-call_false-termination.c timeout 770     900     99614720 11500    apollon010 false(unreach-call) 43.2  21.7   2095919104 429   apollon038 unknown .0158  .0165  925696 .0156  apollon093
eca-rers2012/Problem01_label50_false-unreach-call_false-termination.c timeout 776     900     99610624 10700    apollon078 false(unreach-call) 22.0  5.95  801144832 186   apollon044 unknown .0136  .0135  864256 .00800 apollon166
eca-rers2012/Problem01_label56_false-unreach-call_false-termination.c timeout 784     900     99835904 10200    apollon104 false(unreach-call) 23.4  6.12  823189504 187   apollon126 unknown .0158  .0162  974848 .00806 apollon093
eca-rers2012/Problem01_label57_false-unreach-call_false-termination.c