Tool TBF 0.1-dev CMCReduction CMC Reduction 1.0
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8 timelimit: 200 s, memlimit: 15000 MB, CPU core limit: 8 timelimit: 950 s, memlimit: 15000 MB, CPU core limit: 8
Host apollon*
OS Linux 4.4.0-104-generic Linux 4.4.0-112-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33553 MB
Date of execution 2017-12-28 17:42:24 CET 2018-02-06 16:22:09 CET 2018-02-08 03:59:29 CET 2018-02-07 13:12:57 CET 2018-02-08 03:18:28 CET
Run set tbf_ex.afl tbf_ex.crest tbf_ex.klee congen.predicate conditions-predicate-reducer-verifiers.AFL conditions-predicate-reducer-verifiers.Crest conditions-predicate-reducer-verifiers.Klee
Options -i afl --execution -i crest --strategy hybrid --execution -i klee --execution -reducer identity -type None -verif -noout -verif -disable-java-assertions -verif -heap 10000M -verif -setprop assumptions.automatonFile=AssumptionAutomaton.txt -verif -config config/components/predicateAnalysis-100s-generate-cmc-condition.properties -condfile conditions/predicate.${inputfile_name}.files/output/AssumptionAutomaton.txt.gz -reducer -setprop cpa.composite.aggregateBasicBlocks=false -reducer -stack 800M -reducer -setprop residualprogram.strategy=CONDITION -verif none -type afl -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 -condfile conditions/predicate.${inputfile_name}.files/output/AssumptionAutomaton.txt.gz -reducer -setprop cpa.composite.aggregateBasicBlocks=false -reducer -stack 800M -reducer -setprop residualprogram.strategy=CONDITION -verif none -type klee
../../sv-benchmarks/c/ status cputime (s) walltime (s) memUsage cpuenergy (J) host status cputime (s) walltime (s) memUsage cpuenergy (J) host status cputime (s) walltime (s) memUsage cpuenergy (J) host status cputime (s) walltime (s) memUsage cpuenergy (J) host status cputime (s) walltime (s) memUsage cpuenergy (J) host status cputime (s) walltime (s) memUsage cpuenergy (J) host status cputime (s) walltime (s) memUsage cpuenergy (J) host
array-examples/data_structures_set_multi_proc_false-unreach-call_ground.i 3.72  3.39  32083968 42.8  apollon128 4.92  5.24  1727098880 61.8  apollon038 3.57  3.40  32120832 53.9  apollon163 2.52 1.07  272412672 23.6 apollon152 2.36    1.20    185741312 22.7     apollon068 4.35    3.18    1298714624 45.4     apollon041 2.18    1.11    189374464 20.2     apollon075
array-examples/sorting_bubblesort_false-unreach-call2_ground.i 6.31  5.31  32051200 58.3  apollon149 40.0   33.0   14999998464 509    apollon017 945     900     32161792 13100    apollon090 2.48 1.06  266936320 22.8 apollon077 8.33    6.13    183709696 102       apollon039 42.1     33.8     14999998464 482       apollon166 950       897       183250944 15400       apollon016
array-examples/sorting_bubblesort_false-unreach-call_ground.i 6.31  5.31  32256000 68.9  apollon048 40.0   32.9   15000002560 472    apollon058 948     900     32161792 13200    apollon150 2.58 1.06  271364096 23.2 apollon146 8.20    6.16    183898112 78.1     apollon042 42.0     33.9     14999998464 502       apollon133 950       902       189513728 13300       apollon050
array-examples/sorting_selectionsort_false-unreach-call2_ground.i 3.50  3.27  32083968 43.0  apollon165 3.46  3.38  35835904 44.2  apollon058 945     900     32092160 13200    apollon034 2.52 1.05  273469440 25.9 apollon021 5.54    4.17    186884096 68.6     apollon028 2.40    1.25    187527168 23.7     apollon145 950       899       186961920 12200       apollon117
array-examples/sorting_selectionsort_false-unreach-call_ground.i 3.54  3.30  32153600 47.8  apollon126 3.48  3.41  35389440 43.2  apollon154 946     900     31997952 12800    apollon079 2.51 1.10  269996032 22.5 apollon070 5.56    4.21    182140928 62.2     apollon106 2.41    1.21    185724928 22.8     apollon082 950       901       190169088 14400       apollon112
array-examples/standard_allDiff2_false-unreach-call_ground.i 204     900     32043008 2400    apollon027 41.1   34.0   14999998464 555    apollon064 946     900     31891456 12500    apollon116 2.55 1.02  272674816 20.6 apollon100 251       981       180862976 2310       apollon110 43.3     34.9     14999998464 570       apollon006 950       900       186302464 15300       apollon126
array-examples/standard_copy1_false-unreach-call_ground.i .467 .477 622018560 4.96 apollon060 951     502     742436864 9790    apollon114 950     899     85848064 11900    apollon050 2.47 1.04  270622720 21.5 apollon012 2.43    1.42    622551040 22.5     apollon003 2.78    1.41    646721536 25.1     apollon003 950       899       180740096 14200       apollon094
array-examples/standard_copy2_false-unreach-call_ground.i .464 .482 622436352 5.24 apollon144 950     526     745091072 9610    apollon113 948     900     91250688 12900    apollon152 2.63 1.07  266743808 24.9 apollon044 2.54    1.43    623398912 24.9     apollon145 2.76    1.48    731455488 25.3     apollon083 950       900       180518912 11300       apollon041
array-examples/standard_copy3_false-unreach-call_ground.i .477 .483 622907392 5.00 apollon043 951     545     737234944 9750    apollon009 949     900     90857472 12000    apollon157 2.54 1.10  266362880 21.5 apollon157 2.55    1.44    623747072 23.3     apollon050 2.97    1.61    737398784 28.2     apollon166 950       900       184676352 12700       apollon093
array-examples/standard_copy4_false-unreach-call_ground.i .470 .472 623452160 6.06 apollon148 952     562     738742272 9010    apollon086 946     900     90677248 12500    apollon145 2.57 1.05  271839232 23.3 apollon112 2.51    1.45    623788032 23.2     apollon157 3.08    1.77    735113216 30.1     apollon067 950       901       185774080 11600       apollon104
array-examples/standard_copy5_false-unreach-call_ground.i .480 .480 623992832 5.57 apollon084 951     578     747233280 10600    apollon088 950     900     91267072 12200    apollon074 2.76 1.09  293363712 23.0 apollon025 2.59    1.41    624508928 25.8     apollon145 3.18    1.84    733888512 31.5     apollon051 950       903       178786304 13200       apollon141
array-examples/standard_copy6_false-unreach-call_ground.i .481 .485 623935488 5.16 apollon116 952     593     741560320 9350    apollon050 950     899     92979200 12500    apollon093 2.47 1.03  267083776 22.3 apollon120 2.46    1.39    624525312 26.0     apollon130 3.29    1.92    737792000 35.0     apollon124 950       903       184766464 13600       apollon064
array-examples/standard_copy7_false-unreach-call_ground.i .470 .473 624721920 5.82 apollon142 951     604     745725952 9140    apollon012 950     900     90595328 12300    apollon165 2.52 1.07  271093760 25.7 apollon057 2.54    1.41    625160192 24.2     apollon119 3.41    2.00    740872192 33.6     apollon022 950       903       184168448 13500       apollon010
array-examples/standard_copy8_false-unreach-call_ground.i .458 .457 624816128 5.61 apollon062 950     618     744751104 10400    apollon167 945     900     91234304 12500    apollon004 2.74 1.13  269246464 23.6 apollon015 2.72    1.46    625864704 25.1     apollon072 3.51    2.11    734420992 30.9     apollon092 950       897       190582784 12400       apollon142
array-examples/standard_copy9_false-unreach-call_ground.i .493 .491 625229824 5.44 apollon153 951     629     743673856 10300    apollon010 950     900     96874496 11600    apollon137 2.61 1.06  270417920 21.9 apollon045 2.62    1.41    625811456 27.1     apollon028 3.58    2.23    743907328 41.0     apollon106 950       902       192032768 12100       apollon144
array-examples/standard_copyInitSum2_false-unreach-call_ground.i 3.49  3.30  31784960 50.8  apollon108 3.47  3.40  35815424 46.6  apollon155 1.93  1.89  31985664 24.3  apollon166 2.44 1.04  267759616 21.5 apollon085 5.46    4.13    177180672 69.5     apollon124 2.45    1.30    183197696 21.9     apollon105 3.80    2.72    182910976 46.9     apollon094
array-examples/standard_init1_false-unreach-call_ground.i 3.51  3.28  32092160 56.6  apollon039 3.45  3.37  35684352 39.6  apollon099 .655 .669 31928320 7.90 apollon137 2.45 1.04  267902976 20.9 apollon157 5.45    4.09    178491392 65.7     apollon052 2.24    1.19    181649408 23.6     apollon047 2.51    1.48    184389632 23.3     apollon041
array-examples/standard_init2_false-unreach-call_ground.i 3.50  3.30  32038912 44.6  apollon018 3.48  3.40  35676160 43.7  apollon160 1.10  1.09  32096256 14.4  apollon065 2.38 1.03  268550144 22.5 apollon067 5.41    4.13    188846080 70.7     apollon159 2.35    1.27    179490816 24.2     apollon014 2.94    1.90    179539968 31.4     apollon051
array-examples/standard_init3_false-unreach-call_ground.i 3.46  3.27  32063488 43.9  apollon133 3.47  3.40  35225600 42.3  apollon096 1.50  1.51  32227328 18.8  apollon154 2.47 1.02  271982592 25.8 apollon021 5.44    4.14    185352192 70.6     apollon159 2.26    1.21    186609664 22.4     apollon120 3.48    2.33    177016832 43.7     apollon057
array-examples/standard_init4_false-unreach-call_ground.i 3.47  3.29  32210944 45.6  apollon010 3.45  3.38  36429824 45.4  apollon085 1.88  1.89  32174080 22.7  apollon040 2.61 1.08  274423808 20.3 apollon089 5.40    4.11    181252096 71.6     apollon027 2.44    1.30    184983552 25.8     apollon044 3.71    2.61    181231616 41.9     apollon075
array-examples/standard_init5_false-unreach-call_ground.i 3.47  3.30  32047104 49.3  apollon163 3.48  3.41  35553280 43.2  apollon034 2.27  2.19  32137216 28.4  apollon115 2.56 1.04  266813440 22.3 apollon118 5.43    4.10    184479744 70.1     apollon030 2.32    1.21    188145664 20.4     apollon098 4.24    3.14    180686848 48.4     apollon154
array-examples/standard_init6_false-unreach-call_ground.i 3.47  3.28  32161792 40.8  apollon096 3.46  3.39  35631104 47.5  apollon005 2.64  2.57  32051200 38.6  apollon140 2.57 1.05  267812864 23.4 apollon152 5.45    4.13    181096448 64.8     apollon113 2.46    1.26    188043264 24.6     apollon019 4.64    3.40    183914496 60.5     apollon014
array-examples/standard_init7_false-unreach-call_ground.i 3.46  3.29  32190464 41.6  apollon084 3.48  3.41  35688448 43.6  apollon133 3.20  3.11  33931264 47.6  apollon081 2.48 1.04  269676544 25.6 apollon021 5.51    4.10    184471552 60.2     apollon160 2.30    1.20    189562880 24.8     apollon108 5.08    3.82    186413056 54.4     apollon029
array-examples/standard_init8_false-unreach-call_ground.i 3.73  3.38  32047104 32.3  apollon011 3.49  3.41  35540992 50.1  apollon036 3.55  3.42  31952896 48.1  apollon101 2.50 1.06  268128256 21.8 apollon018 5.61    4.15    191680512 56.8     apollon006 2.35    1.24    180252672 25.8     apollon094 5.58    4.31    183971840 66.8     apollon118
array-examples/standard_init9_false-unreach-call_ground.i 3.58  3.30  31944704 35.6  apollon061 3.48  3.40  35512320 45.0  apollon067 3.97  3.80  31965184 57.6  apollon077 2.54 1.05  269008896 26.2 apollon039 5.67    4.25    185491456 51.4     apollon084 2.38    1.21    189968384 21.9     apollon003 6.00    4.68    183250944 70.4     apollon035
array-examples/standard_minInArray_false-unreach-call_ground.i 3.60  3.30  32006144 37.6  apollon159 3.54  3.50  52084736 43.6  apollon090 .773 .758 32022528 12.3  apollon039 2.61 1.02  267812864 23.6 apollon015 5.41    4.11    184107008 58.0     apollon099 2.27    1.21    182624256 22.7     apollon031 2.76    1.62    177618944 30.9     apollon014
array-examples/standard_partition_false-unreach-call_ground.i 3.50  3.30  32075776 37.1  apollon043 3.48  3.41  35483648 46.7  apollon141 1.19  1.18  32002048 16.7  apollon091 2.51 1.06  268705792 21.6 apollon082 5.42    4.14    181747712 67.4     apollon036 2.34    1.22    183033856 23.1     apollon130 3.07    2.00    184102912 33.1     apollon133
array-examples/standard_running_false-unreach-call.i 254     900     32256000 2200    apollon008 951     479     190418944 11500    apollon044 1.80  1.77  32116736 26.1  apollon141 2.64 1.07  264208384 21.3 apollon053 295       981       185171968 2140       apollon054 2.31    1.25    189063168 22.0     apollon120 3.69    2.60    187551744 49.8     apollon161
array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i 226     900     32362496 1830    apollon157 952     476     198230016 11000    apollon167 2.07  2.01  32198656 29.5  apollon081 2.60 1.06  272642048 20.8 apollon151 2.25    1.13    194936832 20.3     apollon013 2.40    1.23    188465152 22.7     apollon082 2.29    1.13    194793472 22.5     apollon071
array-examples/data_structures_set_multi_proc_true-unreach-call_ground.i 309     900     32272384 2940    apollon061 951     483     175853568 10700    apollon017 2.15  2.11  31985664 27.1  apollon023 2.47 1.06  266264576 20.2 apollon117 2.29    1.15    184348672 19.2     apollon158 2.47    1.28    191778816 22.8     apollon050 2.20    1.11    187015168 22.0     apollon148
array-examples/relax_true-unreach-call.i 911     900     68370432 10300    apollon033 .363 .407 32182272 3.89 apollon150 1.74  1.69  2162016256 23.4  apollon108 6.31 2.05  316092416 54.9 apollon007 3.76    1.51    237191168 33.8     apollon034 3.57    1.49    231702528 34.7     apollon065 3.86    1.58    248242176 39.9     apollon106
array-examples/sanfoundry_02_true-unreach-call_ground.i 345     900     31862784 4860    apollon030 951     483     158212096 12000    apollon056 2.89  2.80  32047104 42.7  apollon020 2.54 1.05  269328384 20.6 apollon099 354       981       189427712 3450       apollon163 2.40    1.24    190164992 24.6     apollon028 4.86    3.67    186343424 60.3     apollon009
array-examples/sanfoundry_10_true-unreach-call_ground.i 390     900     31903744 2920    apollon115 888     900     150163456 12800    apollon028 2.05  1.99  32088064 26.9  apollon001 101    73.5   3730948096 1140   apollon018 528       981       225099776 4420       apollon145 69.4     57.7     227233792 980       apollon014 4.97    3.05    226480128 51.8     apollon035
array-examples/sanfoundry_24_true-unreach-call_true-termination.i 337     900     32165888 2630    apollon089 .389 .390 42094592 4.01 apollon073 951     890     755961856 11400    apollon150 2.46 1.05  268558336 22.1 apollon084 365       981       184655872 2490       apollon166 2.27    1.23    187854848 22.1     apollon070 951       885       730083328 10600       apollon040
array-examples/sanfoundry_27_true-unreach-call_ground.i 291     900     32075776 2320    apollon149 951     479     209084416 10800    apollon091 1.66  1.58  32243712 20.3  apollon040 2.48 1.06  265367552 21.5 apollon072 324       981       183930880 2420       apollon055 2.27    1.22    182624256 20.7     apollon001 3.64    2.43    180895744 36.1     apollon123
array-examples/sanfoundry_43_true-unreach-call_ground.i 214     900     31883264 1630    apollon092 951     466     315453440 9130    apollon117 1.63  1.56  31830016 23.7  apollon114 2.53 1.05  266354688 25.7 apollon160 .00905 .0121  823296 .0103  apollon134 .0126  .0123  733184 .00000 apollon147 .00870 .00892 802816 .00818 apollon076
array-examples/sorting_bubblesort_true-unreach-call_ground.i 6.31  5.30  31965184 70.0  apollon047 43.0   35.7   14999998464 505    apollon086 946     900     32239616 14200    apollon048 2.53 1.08  269271040 21.5 apollon157 8.14    6.10    183681024 80.1     apollon129 42.0     33.9     14999998464 478       apollon035 950       903       187224064 13600       apollon049
array-examples/sorting_selectionsort_true-unreach-call_ground.i 6.30  5.39  31928320 93.1  apollon039 32.6   26.0   14999998464 358    apollon041 950     900     32055296 14100    apollon112 2.50 1.04  269221888 21.7 apollon026 8.39    6.30    188092416 94.8     apollon019 50.8     42.0     14999998464 686       apollon065 950       902       183238656 13300       apollon129
array-examples/standard_compareModified_true-unreach-call_ground.i 330     900     31969280 3350    apollon117 951     485     157093888 9730    apollon013 3.09  2.99  32165888 39.6  apollon149 2.37 1.05  269266944 21.6 apollon087 374       981       188649472 3760       apollon061 2.29    1.22    183984128 21.4     apollon115 5.10    3.91    184139776 57.6     apollon166
array-examples/standard_compare_true-unreach-call_ground.i 218     900     32092160 2410    apollon075 950     546     340602880 11200    apollon010 1.96  1.90  32083968 25.4  apollon074 2.49 1.04  266219520 21.2 apollon002 276       981       188923904 2530       apollon061 2.38    1.29    184705024 26.3     apollon056 3.80    2.59    181837824 51.1     apollon044
array-examples/standard_copy1_true-unreach-call_ground.i .390 .382 319004672 4.18 apollon103 952     532     399454208 9440    apollon131 947     900     85123072 12000    apollon156 2.46 1.06  264511488 21.5 apollon072 2.39    1.36    319680512 25.3     apollon125 2.57    1.41    386277376 23.9     apollon133 950       902       180842496 15400       apollon039
array-examples/standard_copy2_true-unreach-call_ground.i .383 .373 319414272 4.50 apollon084 951     551     399228928 9280    apollon079 946     900     86155264 14500    apollon016 2.68 1.09  274247680 19.3 apollon158 2.35    1.32    319832064 25.4     apollon159 2.67    1.50    385699840 26.0     apollon095 950       903       182374400 13800       apollon081
array-examples/standard_copy3_true-unreach-call_ground.i .394 .384 319655936 4.75 apollon108 952     567     397959168 10900    apollon122 949     900     88457216 11800    apollon131 2.48 1.05  263942144 23.7 apollon161 2.44    1.35    320286720 23.7     apollon101 2.88    1.53    387137536 27.3     apollon144 950       900       182386688 11700       apollon026
array-examples/standard_copy4_true-unreach-call_ground.i .390 .375 319897600 5.18 apollon080 951     582     398934016 9570    apollon121 950     899     83562496 13500    apollon130 2.50 1.07  270069760 22.7 apollon093 2.40    1.29    322023424 24.4     apollon020 2.92    1.70    392421376 29.4     apollon032 950       903       183549952 12600       apollon096
array-examples/standard_copy5_true-unreach-call_ground.i .390 .375 320643072 4.39 apollon058 950     593     398618624 9090    apollon109 950     900     88174592 12200    apollon049 2.54 1.08  270479360 23.8 apollon020 2.44    1.36    321073152 26.3     apollon125 2.93    1.70    386781184 26.5     apollon029 950       900       191283200 13400       apollon007
array-examples/standard_copy6_true-unreach-call_ground.i .405 .481 337829888 4.76 apollon001 951     606     395464704 8420    apollon158 948     900     90882048 14600    apollon057 2.49 1.05  264380416 24.6 apollon081 2.41    1.33    321323008 23.7     apollon168 3.14    1.83    397045760 29.8     apollon018 950       903       185229312 13000       apollon071
array-examples/standard_copy7_true-unreach-call_ground.i .390 .378 321486848 4.84 apollon077 950     617     400134144 9650    apollon082 950     900     99966976 12100    apollon121 2.72 1.06  294158336 23.9 apollon120 2.40    1.33    322007040 23.4     apollon067 3.12    1.91    386621440 30.1     apollon154 950       900       182050816 13200       apollon020
array-examples/standard_copy8_true-unreach-call_ground.i .399 .386 321847296 4.11 apollon149 952     625     400527360 9650    apollon162 950     900     92495872 13300    apollon064 2.65 1.05  291987456 24.5 apollon077 2.47    1.30    322224128 23.3     apollon120 3.29    2.01    388214784 37.1     apollon028 950       900       179453952 12100       apollon157
array-examples/standard_copy9_true-unreach-call_ground.i .397 .382 322179072 4.26 apollon100 951     633     402632704 9020    apollon116 947     900     91643904 13100    apollon046 2.56 1.06  270852096 22.6 apollon084 2.45    1.36    322949120 23.6     apollon004 3.41    2.05    390430720 32.7     apollon026 950       902       192098304 11700       apollon116
array-examples/standard_copyInitSum2_true-unreach-call_ground.i 272     900     32022528 3240    apollon071 951     481     167440384 9920    apollon129 2.76  2.71  32047104 39.7  apollon009 2.56 1.04  271286272 21.4 apollon045 330       981       187650048 3120       apollon117 2.25    1.17    185368576 23.4     apollon148 4.61    3.49    179679232 59.3     apollon091
array-examples/standard_copyInitSum3_true-unreach-call_ground.i 311     900     31928320 3100    apollon059 951     483     151244800 11500    apollon161 3.50  3.39  32120832 47.9  apollon051 2.48 1.06  270450688 21.2 apollon082 345       981       185339904 3340       apollon122 2.30    1.18    187133952 24.2     apollon059 5.44    4.21    182030336 64.0     apollon137
array-examples/standard_copyInitSum_true-unreach-call_ground.i 342     900     32112640 4360    apollon052 951     552     73891840 9540    apollon133 2.84  2.69  57249792 47.1  apollon021 2.49 1.05  270446592 24.7 apollon106 455       981       183517184 4080       apollon147 2.48    1.33    185585664 26.0     apollon122 4.72    3.50    179490816 57.8     apollon121
array-examples/standard_copyInit_true-unreach-call_ground.i 295     900     32075776 2240    apollon086 951     479     198909952 10200    apollon051 1.94  1.86  32251904 28.8  apollon024 2.46 1.09  266682368 24.3 apollon030 331       981       185348096 2700       apollon043 2.36    1.20    182382592 23.2     apollon101 3.89    2.79    183721984 47.2     apollon148
array-examples/standard_find_true-unreach-call_ground.i .401 .384 320815104 4.13 apollon002 238     900     380329984 1920    apollon003 948     900     84348928 13800    apollon122 2.48 1.05  268480512 25.1 apollon057 2.36    1.31    319475712 21.5     apollon079 258       981       388726784 1660       apollon089 950       900       178794496 12800       apollon052
array-examples/standard_init1_true-unreach-call_ground.i 288     900     31932416 2350    apollon043 951     476     229847040 11500    apollon016 1.39  1.37  32096256 21.1  apollon069 2.48 1.03  265166848 21.4 apollon095 305       981       180715520 2500       apollon029 2.26    1.22    178720768 20.7     apollon035 3.27    2.20    181182464 39.7     apollon030
array-examples/standard_init2_true-unreach-call_ground.i 288     900     32043008 3240    apollon160 952     472     205500416 10200    apollon051 1.85  1.77  31965184 23.9  apollon135 2.59 1.06  271470592 19.1 apollon092 325       981       186310656 2640       apollon078 2.32    1.21    182038528 21.0     apollon026 3.74    2.63    181895168 43.0     apollon067
array-examples/standard_init3_true-unreach-call_ground.i 293     900     32174080 3280    apollon160 951     483     173162496 10000    apollon090 2.23  2.20  32104448 29.3  apollon147 2.48 1.02  269938688 21.0 apollon058 331       981       176304128 2630       apollon131 2.36    1.26    179843072 19.9     apollon123 4.21    3.06    179548160 50.1     apollon007
array-examples/standard_init4_true-unreach-call_ground.i 266     900     32108544 4000    apollon056 951     484     157233152 10400    apollon102 2.64  2.61  31981568 35.1  apollon062 2.47 1.04  266502144 20.6 apollon127 331       981       184819712 3190       apollon019 2.34    1.21    184868864 21.8     apollon070 4.57    3.31    179576832 50.4     apollon073
array-examples/standard_init5_true-unreach-call_ground.i 280     900     31977472 3790    apollon005 951     487     145809408 11200    apollon007 3.06  3.00  32235520 41.6  apollon113 2.58 1.07  267907072 22.5 apollon142 328       981       182738944 2800       apollon045 2.35    1.24    186916864 22.6     apollon147 4.93    3.72    179507200 58.1     apollon133
array-examples/standard_init6_true-unreach-call_ground.i 295     900     32116736 2580    apollon045 951     489     135184384 10700    apollon118 3.47  3.30  32047104 45.3  apollon153 2.44 1.05  267489280 20.0 apollon098 344       981       185958400 3030       apollon162 2.40    1.34    176357376 18.1     apollon063 5.30    4.12    179871744 73.7     apollon047
array-examples/standard_init7_true-unreach-call_ground.i 315     900     31969280 2710    apollon078 951     488     133906432 9600    apollon100 3.88  3.71  31916032 52.5  apollon150 2.51 1.08  267612160 19.6 apollon151 318       981       183664640 3380       apollon001 2.42    1.20    182542336 22.9     apollon055 5.78    4.55    181993472 79.3     apollon164
array-examples/standard_init8_true-unreach-call_ground.i 324     900     31948800 3040    apollon081 950     492     121503744 10000    apollon073 4.24  4.13  32165888 45.6  apollon063 2.49 1.04  270630912 23.9 apollon047 302       981       182091776 4650       apollon056 2.30    1.20    181882880 24.3     apollon068 6.20    4.83    186400768 76.5     apollon051
array-examples/standard_init9_true-unreach-call_ground.i 323     900     32292864 2860    apollon072 951     491     125648896 10300    apollon119 4.62  4.50  31952896 67.5  apollon132 2.51 1.04  266563584 20.3 apollon043 359       981       185913344 2970       apollon015 2.39    1.22    185454592 22.2     apollon026 6.62    5.23    182599680 91.1     apollon014
array-examples/standard_maxInArray_true-unreach-call_ground.i 297     900     32088064 2090    apollon025 952     469     224636928 10100    apollon121 1.59  1.57  31854592 21.2  apollon153 2.48 1.03  268001280 22.4 apollon168 318       981       180502528 2600       apollon011 2.25    1.18    180285440 22.6     apollon010 3.51    2.40    182583296 37.3     apollon066
array-examples/standard_minInArray_true-unreach-call_ground.i 295     900     31801344 2230    apollon096 951     477     218705920 9630    apollon116 1.64  1.60  31870976 22.6  apollon138 2.65 1.04  269180928 21.1 apollon042 329       981       183242752 2720       apollon008 2.20    1.19    187527168 20.9     apollon115 3.49    2.43    186195968 42.0     apollon006
array-examples/standard_palindrome_true-unreach-call_ground.i 256     900     31895552 2460    apollon062 950     503     345100288 9570    apollon013 1.08  1.11  32153600 11.4  apollon151 2.54 1.05  273584128 19.8 apollon151 280       981       182497280 2030       apollon097 2.24    1.20    191049728 25.8     apollon021 3.00    1.91    186589184 36.1     apollon161
array-examples/standard_partial_init_true-unreach-call_ground.i 364     900     31948800 3280    apollon002 951     483     160931840 10100    apollon042 3.24  3.20  32141312 47.3  apollon084 2.67 1.11  270290944 25.1 apollon106 389       981       185077760 4090       apollon041 2.32    1.22    194457600 26.3     apollon021 5.16    3.90    180813824 57.7     apollon134
array-examples/standard_partition_original_true-unreach-call_ground.i 344     900     32030720 3370    apollon101 952     475     205467648 10500    apollon055 2.03  2.00  32096256 27.0  apollon090 2.73 1.17  270344192 22.4 apollon168 385       981       183894016 3610       apollon120 2.34    1.23    181866496 22.4     apollon082 4.02    2.83    187924480 46.8     apollon145
array-examples/standard_partition_true-unreach-call_ground.i 335     900     32083968 3790    apollon133 951     485     160813056 10000    apollon001 1.66  1.59  32161792 23.7  apollon007 2.50 1.05  271712256 21.1 apollon053 345       981       186343424 5420       apollon161 2.45    1.30    184373248 22.2     apollon061 3.63    2.54    181121024 41.9     apollon113
array-examples/standard_password_true-unreach-call_ground.i 244     900     31903744 1800    apollon138 950     547     343728128 9900    apollon003 1.91  1.90  32161792 27.6  apollon007 2.42 1.03  269025280 22.2 apollon038 260       981       182263808 2640       apollon026 2.30    1.18    182546432 23.3     apollon047 3.73    2.60    177688576 34.6     apollon063
array-examples/standard_reverse_true-unreach-call_ground.i 267     900     32038912 2980    apollon142 952     475     235962368 10700    apollon091 1.87  1.80  32137216 24.8  apollon070 2.55 1.06  269656064 24.2 apollon161 313       981       185384960 2840       apollon156 2.26    1.19    184283136 22.8     apollon168 3.76    2.61    187330560 41.5     apollon154
array-examples/standard_running_true-unreach-call.i 329     900     31969280 2800    apollon103 951     483     188346368 9470    apollon117 1.84  1.81  32092160 23.2  apollon120 2.48 1.05  271241216 20.7 apollon133 360       981       184197120 3950       apollon006 2.43    1.28    191258624 21.6     apollon079 3.76    2.62    181248000 38.7     apollon149
array-examples/standard_sentinel_true-unreach-call_true-termination.i 332     900     32075776 2460    apollon105 794     900     35536896 10000    apollon040 1.04  .970 151261184 11.2  apollon032 2.45 1.03  268648448 22.5 apollon032 376       981       185118720 2590       apollon097 2.38    1.20    181506048 24.1     apollon044 2.88    1.80    176398336 28.2     apollon066
array-examples/standard_seq_init_true-unreach-call_ground.i 289     900     32182272 2740    apollon059 951     479     226480128 11000    apollon141 1.84  1.79  32018432 23.1  apollon116 2.47 1.06  270946304 21.4 apollon042 320       981       178638848 2910       apollon062 2.24    1.18    181669888 21.8     apollon144 3.71    2.60    181100544 41.8     apollon024
array-examples/standard_strcmp_true-unreach-call_ground.i 285     900     32124928 2840    apollon064 950     526     341372928 9650    apollon116 2.05  1.98  32206848 28.1  apollon138 2.66 1.05  295841792 24.4 apollon076 2.11    1.11    191197184 18.3     apollon013 2.20    1.20    185917440 22.7     apollon022 2.09    1.12    183001088 18.7     apollon137
array-examples/standard_strcpy_original_true-unreach-call.i .383 .371 318603264 5.17 apollon080 234     900     379490304 1580    apollon119 947     900     84652032 13900    apollon008 2.57 1.07  264450048 23.6 apollon081 2.32    1.29    319119360 24.8     apollon161 216       981       390742016 2460       apollon047 950       901       181985280 12700       apollon022
array-examples/standard_strcpy_true-unreach-call_ground.i .396 .380 318824448 4.73 apollon114 213     900     377298944 1710    apollon104 949     900     84533248 11800    apollon103 2.48 1.02  269180928 23.9 apollon007 2.35    1.31    318992384 22.1     apollon119 267       981       400338944 1530       apollon042 950       899       184594432 13800       apollon122
array-examples/standard_two_index_01_true-unreach-call.i 950     869     80818176 11600    apollon124 952     471     177414144 9500    apollon107 13.8   13.2   50339840 206    apollon059 2.47 1.03  271372288 24.1 apollon014 950       870       184279040 10300       apollon079 2.31    1.18    184864768 22.2     apollon107 15.6     14.0     186531840 204       apollon095
array-examples/standard_two_index_02_true-unreach-call.i .388 .377 319102976 4.64 apollon017 951     518     391692288 9110    apollon109 947     900     84320256 11700    apollon025 2.55 1.06  266633216 22.9 apollon167 2.33    1.30    319520768 24.5     apollon068 2.61    1.42    376401920 28.3     apollon033 950       899       185769984 13800       apollon028
array-examples/standard_two_index_03_true-unreach-call.i 950     870     71491584 12600    apollon014 950     458     233218048 9330    apollon156 13.7   13.0   50180096 178    apollon049 2.57 1.06  266534912 20.9 apollon025 950       870       183078912 9830       apollon143 2.22    1.17    177790976 20.8     apollon053 15.6     13.8     183025664 217       apollon164
array-examples/standard_two_index_04_true-unreach-call.i .385 .374 318517248 4.56 apollon084 952     501     391794688 10200    apollon140 950     900     85975040 12800    apollon152 2.53 1.04  268087296 25.4 apollon057 2.43    1.29    320573440 25.1     apollon057 2.50    1.31    338264064 27.1     apollon108 950       900       182927360 12100       apollon001
array-examples/standard_two_index_05_true-unreach-call.i .398 .385 318558208 4.97 apollon108 952     495     392491008 10800    apollon044 947     900     86532096 13400    apollon155 2.46 1.02  268779520 20.8 apollon058 2.33    1.29    319070208 20.7     apollon123 2.54    1.42    328212480 24.5     apollon037 950       901       187379712 12400       apollon078
array-examples/standard_two_index_06_true-unreach-call.i 950     869     77389824 12200    apollon059 950     462     258674688 9150    apollon078 13.5   12.9   50544640 180    apollon052 2.44 1.04  266018816 20.2 apollon123 950       870       183197696 9880       apollon117 2.24    1.18    181239808 23.7     apollon130 15.6     13.8     182812672 190       apollon090
array-examples/standard_two_index_07_true-unreach-call.i .386 .376 318656512 5.09 apollon088 950     490     398196736 8190    apollon158 948     900     86958080 12000    apollon120 2.48 1.04  269139968 22.3 apollon142 2.37    1.29    318971904 20.9     apollon099 2.45    1.31    322084864 26.4     apollon080 950       899       184938496 13000       apollon152
array-examples/standard_two_index_08_true-unreach-call.i .368 .363 318468096 4.33 apollon001 950     489     395255808 8980    apollon109 950     900     82579456 11600    apollon104 2.51 1.04  269012992 22.7 apollon032 2.36    1.31    319152128 22.2     apollon025 2.57    1.34    322351104 27.1     apollon163 950       897       178520064 11300       apollon053
array-examples/standard_two_index_09_true-unreach-call.i .369 .355 318558208 4.37 apollon079 950     487     395526144 8750    apollon060 948     900     86712320 11700    apollon012 2.50 1.05  267792384 21.2 apollon157 2.32    1.32    319148032 22.0     apollon078 2.47    1.29    321986560 24.5     apollon162 950       897       180346880 11900       apollon073
array-examples/standard_vararg_true-unreach-call_ground_true-termination.i 266     900     32002048 2760    apollon014 952     473     258146304 10700    apollon009 .257 .288 32124928 2.52 apollon166 2.47 1.03  272302080 21.7 apollon004 309       981       185200640 3010       apollon106 2.23    1.18    179478528 23.5     apollon020 2.15    1.09    180396032 24.0     apollon036
array-examples/standard_vector_difference_true-unreach-call_ground.i 303     900     31989760 2730    apollon070 951     477     227414016 9820    apollon023 2.20  2.19  31993856 33.8  apollon047 2.44 1.03  263282688 22.9 apollon015 315       981       182419456 3740       apollon091 2.19    1.19    186089472 21.3     apollon038 4.02    2.89    183869440 44.7     apollon003
array-industry-pattern/array_assert_loop_dep_false-unreach-call_true-termination.i 3.53  3.30  31993856 48.7  apollon124 3.48  3.40  35561472 42.7  apollon026 .665 .694 32100352 7.42 apollon143 2.58 1.05  270540800 25.9 apollon039 5.39    4.08    184811520 58.9     apollon013 2.25    1.18    177287168 22.9     apollon101 2.60    1.49    178212864 29.8     apollon160
array-industry-pattern/array_of_struct_loop_dep_false-unreach-call.i 3.53  3.30  32165888 48.2  apollon020 3.46  3.38  35577856 39.6  apollon134 .675 .700 32043008 7.90 apollon149 101    72.2   3686895616 1160   apollon141 6.22    4.33    227659776 64.6     apollon129 3.37    1.75    225398784 34.0     apollon015 3.38    1.74    222560256 29.4     apollon143
array-industry-pattern/array_ptr_single_elem_init_false-unreach-call_true-termination.i .368 .363 319696896 4.53 apollon101 .756 3.51  336744448 11.8  apollon156 950     900     2877190144 12000    apollon033 2.56 1.10  267821056 21.8 apollon011 2.36    1.30    320147456 24.8     apollon028 2.77    4.34    355377152 28.5     apollon109 950       897       2905382912 10800       apollon002
array-industry-pattern/array_range_init_false-unreach-call.i 3.50  3.30  32075776 49.0  apollon138 3.45  3.38  35459072 41.9  apollon162 .927 .975 32083968 15.0  apollon057 2.48 1.04  265711616 22.6 apollon168 5.48    4.19    180064256 69.5     apollon019 2.46    1.41    187645952 24.8     apollon061 2.85    1.80    182308864 31.1     apollon064
array-industry-pattern/array_single_elem_init_false-unreach-call_true-termination.i .397 .390 319332352 4.33 apollon093 237     900     341692416 1640    apollon108 950     900     2992648192 13300    apollon122 2.49 1.04  269717504 24.6 apollon016 2.30    1.30    319811584 22.6     apollon131 261       981       354795520 2000       apollon038 950       901       2895728640 11500       apollon012
array-industry-pattern/check_removal_from_set_after_insertion_false-unreach-call.i 303     900     32055296 2510    apollon152 950     818     92807168 13100    apollon136 2.82  2.70  32088064 40.7  apollon068 101    71.3   3689865216 1060   apollon025 5.13    2.04    266285056 43.6     apollon035 5.92    2.53    270819328 62.3     apollon056 5.30    2.07    262819840 44.5     apollon004
array-industry-pattern/array_monotonic_true-unreach-call_true-termination.i .346 .381 166883328 3.85 apollon142 193     900     212287488 2390    apollon071 950     900     6572244992 12000    apollon067 2.51 1.08  267730944 21.8 apollon121 2.21    1.18    180527104 23.3     apollon068 210       981       204922880 3270       apollon056 950       900       6538346496 10500       apollon139
array-industry-pattern/array_mul_init_true-unreach-call_true-termination.i .385 .373 319008768 4.42 apollon072 230     900     392699904 1850    apollon083 950     899     10636611584 10700    apollon040 2.46 1.04  265089024 21.1 apollon157 2.41    1.38    319422464 22.5     apollon011 228       981       412147712 2510       apollon129 951       895       10006351872 11600       apollon163
array-industry-pattern/array_of_struct_break_true-unreach-call.i 342     900     32083968 3840    apollon064 586     900     134942720 6770    apollon008 3.46  3.32  32129024 49.7  apollon138 101    73.8   3707666432 1050   apollon100 455       981       226447360 4120       apollon116 3.03    1.68    219488256 27.7     apollon041 5.67    4.18    222855168 65.5     apollon133
array-industry-pattern/array_of_struct_ptr_cond_init_true-unreach-call.i .393 .472 320274432 4.58 apollon096 244     900     369397760 1600    apollon152 950     900     3123412992 11700    apollon162 101    77.5   3476049920 1180   apollon085 4.58    1.92    325730304 40.7     apollon101 233       981       393932800 2230       apollon155 4.25    1.79    321753088 35.5     apollon013
array-industry-pattern/array_of_struct_ptr_flag_init_true-unreach-call.i 476     900     31866880 7010    apollon080 952     475     184872960 10800    apollon068 1.99  1.89  52584448 24.8  apollon137 101    74.5   3696898048 1040   apollon128 3.83    1.52    241926144 33.9     apollon067 3.86    1.62    246333440 37.1     apollon159 4.02    1.48    255811584 32.0     apollon035
array-industry-pattern/array_of_struct_ptr_monotonic_true-unreach-call.i .342 .367 167780352 3.99 apollon110 204     900     203939840 2010    apollon155 950     900     3314208768 9210    apollon063 101    78.2   3546808320 1180   apollon011 4.24    1.76    253964288 37.2     apollon109 271       981       247517184 1680       apollon074 951       758       246382592 11000       apollon108
array-industry-pattern/array_of_struct_ptr_mul_init_true-unreach-call.i .426 .502 318578688 4.63 apollon011 233     900     382169088 1570    apollon076 950     900     5354696704 12300    apollon101 101    72.5   3717758976 1100   apollon156 4.33    1.83    319348736 38.9     apollon061 267       981       413110272 1930       apollon009 950       895       5943861248 12400       apollon033
array-industry-pattern/array_of_struct_single_elem_init_true-unreach-call.i .374 .363 318889984 4.35 apollon032 951     479     409645056 9300    apollon050 948     900     56688640 13500    apollon047 101    73.4   3714146304 975   apollon054 2.77    1.41    319447040 22.1     apollon151 3.31    1.83    327843840 26.8     apollon063 950       901       223916032 11500       apollon040
array-industry-pattern/array_ptr_partial_init_true-unreach-call.i 382     900     32182272 4470    apollon075 952     467     258060288 10100    apollon162 1.44  1.38  36892672 19.2  apollon071 101    74.9   3696025600 1100   apollon012 431       981       225267712 4270       apollon076 2.89    1.66    222826496 31.4     apollon059 3.71    2.33    226258944 38.8     apollon078
array-industry-pattern/array_ptr_single_elem_init_true-unreach-call.i .417 .498 321806336 4.05 apollon151 203     900     347418624 2570    apollon021 950     900     2652229632 10300    apollon092 101    75.4   3036516352 1050   apollon128 4.44    1.81    322789376 41.7     apollon152 225       981       369668096 2510       apollon010 951       807       352079872 10200       apollon066
array-industry-pattern/array_shadowinit_true-unreach-call_true-termination.i 369     900     32075776 2350    apollon093 .365 .403 39530496 3.85 apollon145 16.1   14.4   4334858240 155    apollon011 101    76.0   3866857472 1240   apollon140 1.78    .773   168824832 17.2     apollon124 1.78    .763   176930816 16.8     apollon142 1.83    .768   171560960 16.6     apollon034
reducercommutativity/rangesum05_false-unreach-call_true-termination.i 3.72  3.37  31985664 53.6  apollon112 823     900     39686144 9920    apollon123 .291 .382 32022528 3.44 apollon147 7.69 2.37  413929472 56.8 apollon043 .0202  .0365  991232 .0165  apollon049 .00682 .0132  929792 .0208  apollon027 .00759 .0122  1089536 .00000 apollon038
reducercommutativity/rangesum10_false-unreach-call_true-termination.i 3.78  3.40  32219136 45.9  apollon100 822     900     55271424 11500    apollon168 .332 .413 32256000 3.17 apollon086 12.5  3.47  480616448 107   apollon125 .0123  .0120  1036288 .0110  apollon062 .00947 .00940 901120 .00806 apollon073 .00953 .00956 839680 .00519 apollon139
reducercommutativity/rangesum20_false-unreach-call.i 3.74  3.37  32104448 51.4  apollon052 822     900     39616512 10900    apollon025 .361 .375 45772800 4.48 apollon155 31.2  7.98  1050562560 247   apollon018 .0130  .0141  950272 .00855 apollon093 .0153  .0151  987136 .00311 apollon158 .0170  .0168  901120 .00232 apollon063
reducercommutativity/rangesum40_false-unreach-call.i 3.79  3.48  32215040 51.0  apollon103 822     900     39088128 11700    apollon015 .413 .503 47681536 4.28 apollon117 59.3  28.1   2526670848 580   apollon152 .0276  .0326  991232 .00720 apollon159 .00693 .00692 880640 .00818 apollon093 .00857 .00900 802816 .00891 apollon116
reducercommutativity/rangesum60_false-unreach-call.i 3.86  3.58  31989760 52.0  apollon141 824     900     41529344 14000    apollon057 .445 .502 50585600 4.60 apollon104 101    62.0   3709898752 998   apollon086 6.59    2.37    380166144 52.0     apollon156 5.90    2.21    372883456 45.0     apollon092 6.29    2.29    370847744 56.2     apollon155
reducercommutativity/rangesum_false-unreach-call_true-termination.i 5.83  5.11  67260416 80.1  apollon020 .368 .401 35627008 4.27 apollon108 2.72  2.50  4328890368 31.9  apollon067 8.10 2.38  463929344 73.3 apollon057 .0259  .0252  884736 .00757 apollon096 .0106  .0104  901120 .00915 apollon099 .00868 .0135  716800 .00378 apollon133
reducercommutativity/avg05_true-unreach-call_true-termination.i 348     900     46338048 2840    apollon049 951     802     350547968 11000    apollon074 .245 .266 31997952 2.79 apollon086 101    71.8   4092358656 1120   apollon020 2.52    1.19    221478912 25.4     apollon020 2.71    1.30    193998848 26.0     apollon101 2.57    1.19    227332096 26.9     apollon111
reducercommutativity/avg10_true-unreach-call_true-termination.i 382     900     32079872 3080    apollon143 950     849     309088256 12200    apollon055 .266 .286 32256000 2.81 apollon076 101    67.7   4059254784 878   apollon158 2.56    1.19    227217408 22.8     apollon025 2.75    1.32    225771520 27.8     apollon108 2.53    1.18    221679616 25.0     apollon019
reducercommutativity/avg20_true-unreach-call.i 394     900     32186368 3350    apollon007 950     847     325427200 11900    apollon011 .238 .257 31821824 2.81 apollon095 101    61.5   2672193536 894   apollon009 2.75    1.22    224235520 23.6     apollon035 2.87    1.29    223973376 24.8     apollon100 2.75    1.22    228286464 26.6     apollon140
reducercommutativity/avg40_true-unreach-call.i 368     900     32104448 4110    apollon129 950     840     325500928 11400    apollon053 .239 .256 31944704 3.34 apollon088 65.4  32.7   2740805632 684   apollon030 .00969 .00982 876544 .0112  apollon001 .0110  .0108  987136 .00000 apollon100 .0182  .0176  1019904 .00427 apollon012
reducercommutativity/avg60_true-unreach-call.i 399     900     32120832 2900    apollon131 950     818     328355840 11800    apollon072 .266 .280 32317440 2.81 apollon135 101    70.1   3723132928 1230   apollon007 4.82    1.86    269049856 38.6     apollon066 5.10    1.84    263852032 46.8     apollon094 5.51    1.93    269111296 47.3     apollon059
reducercommutativity/avg_true-unreach-call_true-termination.i 309     900     31977472 2460    apollon029 .358 .395 35672064 3.92 apollon070 14.2   12.8   4333047808 161    apollon091 101    70.6   4207607808 984   apollon040 2.39    1.15    189075456 20.8     apollon050 2.31    1.10    191987712 23.4     apollon022 2.33    1.15    187887616 24.3     apollon080
reducercommutativity/max05_true-unreach-call_true-termination.i 387     900     32071680 2620    apollon043 810     900     38580224 11100    apollon107 2.64  2.50  32219136 23.2  apollon063 101    82.2   1129910272 796   apollon101 2.56    1.17    223412224 21.1     apollon040 2.57    1.24    193396736 27.2     apollon044 2.58    1.20    227381248 25.1     apollon164
reducercommutativity/max10_true-unreach-call_true-termination.i 482     900     32190464 3620    apollon165 752     900     35713024 9690    apollon043 197     184     70320128 2260    apollon090 102    81.1   1571536896 1150   apollon085 3.79    1.54    249315328 33.8     apollon051 4.44    1.87    251338752 38.2     apollon131 3.85    1.53    249462784 32.2     apollon026
reducercommutativity/max20_true-unreach-call.i 930     900     32202752 10500    apollon019 656     900     35446784 8850    apollon083 950     896     386269184 12300    apollon164 102    59.7   3975331840 1160   apollon160 4.72    1.80    263892992 44.6     apollon065 5.19    2.15    266186752 51.5     apollon014 4.54    1.70    263286784 41.6     apollon167
reducercommutativity/max40_true-unreach-call.i 950     894     32137216 9490    apollon042 568     900     35573760 6770    apollon084 950     896     431443968 12700    apollon163 65.6  33.5   2954465280 555   apollon158 .0155  .0160  843776 .0186  apollon153 .0148  .0147  856064 .0190  apollon096 .0125  .0123  880640 .00421 apollon014
reducercommutativity/max60_true-unreach-call.i 951     680     32133120 17400    apollon106 557     900     37593088 3910    apollon100 951     895     461991936 11900    apollon163 101    70.4   3720253440 1150   apollon052 1.92    .797   176349184 18.2     apollon031 1.78    .783   176881664 16.8     apollon061 1.80    .780   169902080 17.7     apollon067
reducercommutativity/max_true-unreach-call_true-termination.i 509     900     32059392 3120    apollon055 .349 .386 35647488 3.54 apollon060 16.8   14.9   4337815552 131    apollon014 101    78.1   3196026880 1100   apollon162 2.53    1.18    223674368 24.5     apollon076 2.49    1.20    220266496 23.8     apollon009 2.49    1.16    227307520 27.2     apollon021
reducercommutativity/sep05_true-unreach-call_true-termination.i 319     900     32079872 2520    apollon159 950     851     327143424 12000    apollon058 .365 .357 31977472 4.13 apollon040 101    73.4   3047858176 879   apollon076 2.72    1.21    227127296 24.6     apollon166 3.12    1.37    227860480 30.2     apollon057 2.75    1.23    225402880 27.2     apollon068
reducercommutativity/sep10_true-unreach-call.i 438     900     32116736 2850    apollon109 950     850     325742592 13700    apollon014 1.18  1.06  31911936 15.7  apollon094 101    79.6   2550169600 1090   apollon045 4.01    1.56    254554112 37.4     apollon068 4.39    1.80    252928000 43.2     apollon108 4.00    1.60    255942656 38.3     apollon080
reducercommutativity/sep20_true-unreach-call.i 544     900     32116736 4060    apollon083 951     802     346480640 11500    apollon015 950     882     2795155456 6710    apollon099 101    38.3   3863842816 771   apollon005 4.87    1.84    270864384 36.9     apollon149 5.11    2.09    271179776 48.0     apollon138 4.65    1.82    270618624 41.4     apollon087
reducercommutativity/sep40_true-unreach-call.i 723     900     32030720 6500    apollon078 950     834     325931008 12100    apollon087 950     900     2697252864 13100    apollon167 68.5  36.4   3073941504 653   apollon107 .0110  .0108  1007616 .00855 apollon018 .0143  .0140  917504 .0101  apollon069 .0183  .0181  929792 .00500 apollon058
reducercommutativity/sep60_true-unreach-call.i 787     900     32198656 10200    apollon069 950     845     326422528 10700    apollon029 950     900     2759925760 12500    apollon020 101    68.4   3695423488 1020   apollon002 6.37    2.32    410288128 58.8     apollon146 6.52    2.32    404377600 54.6     apollon061 6.68    2.37    397496320 57.3     apollon107
reducercommutativity/sep_true-unreach-call_true-termination.i 386     900     31834112 2130    apollon023 .343 .380 35241984 3.86 apollon131 12.7   11.4   4337647616 99.6  apollon120 101    70.5   3884142592 1100   apollon018 2.59    1.26    219705344 26.6     apollon030 2.62    1.19    224002048 27.5     apollon056 2.55    1.18    220471296 23.5     apollon121
reducercommutativity/sum05_true-unreach-call_true-termination.i 310     900     32169984 2480    apollon040 951     774     328138752 10800    apollon147 .269 .292 32260096 2.53 apollon002 101    80.1   3679051776 1130   apollon086 2.54    1.19    219582464 24.6     apollon148 2.72    1.36    193515520 24.5     apollon153 2.70    1.23    222543872 26.7     apollon148
reducercommutativity/sum10_true-unreach-call_true-termination.i 333     900     32006144 3420    apollon095 950     850     325918720 13700    apollon163 .271 .366 35426304 2.88 apollon117 101    70.7   4019585024 1120   apollon071 2.58    1.18    220962816 24.4     apollon032 2.81    1.30    226574336 25.4     apollon121 2.51    1.20    227332096 22.2     apollon025
reducercommutativity/sum20_true-unreach-call.i 430     900     32104448 3390    apollon074 950     832     326352896 11600    apollon154 .239 .259 31993856 2.73 apollon116 101    62.1   2938724352 817   apollon092 2.72    1.26    224980992 23.7     apollon154 3.21    1.46    229490688 27.4     apollon072 2.92    1.30    224882688 26.2     apollon153
reducercommutativity/sum40_true-unreach-call.i 407     900     31981568 3730    apollon059 950     829     325681152 11500    apollon137 .272 .288 32251904 2.85 apollon118 62.7  31.0   2867589120 603   apollon120 .0199  .0209  974848 .00897 apollon067 .00677 .0103  802816 .0126  apollon016 .0106  .0103  1036288 .00946 apollon137
reducercommutativity/sum60_true-unreach-call.i 469     900     32014336 3650    apollon025 950     830     324833280 11000    apollon128 .274 .288 31997952 2.90 apollon102 101    71.0   3711438848 1110   apollon162 5.68    2.08    301150208 49.2     apollon147 5.55    2.01    292474880 48.1     apollon009 5.54    2.07    299528192 54.0     apollon036
reducercommutativity/sum_true-unreach-call_true-termination.i 358     900     32137216 1890    apollon151 .363 .397 37584896 3.94 apollon051 21.0   18.6   4340064256 152    apollon130 101    76.1   3641413632 1170   apollon038 2.35    1.16    197812224 23.7     apollon077 2.37    1.17    188563456 21.6     apollon107 2.38    1.13    221188096 20.4     apollon099
array-tiling/mlceu_false-unreach-call.i 272     900     32112640 3430    apollon069 .321 .362 35549184 4.12 apollon141 13.7   12.3   4332683264 99.9  apollon023 3.63 1.50  282714112 31.9 apollon084 397       981       220950528 2900       apollon134 2.50    1.27    222015488 21.6     apollon099 16.7     13.7     4339163136 141       apollon147
array-tiling/skippedu_false-unreach-call.i 460     900     31883264 2960    apollon105 .323 .361 35667968 3.97 apollon156 2.70  2.47  4336914432 38.1  apollon021 3.63 1.44  288727040 31.1 apollon026 .0127  .0125  1003520 .00793 apollon112 .0120  .0170  946176 .00787 apollon022 .00877 .00927 815104 .00995 apollon155
array-tiling/mbpr2_true-unreach-call.i 372     900     32243712 2060    apollon012 .364 .396 35790848 3.75 apollon157 2.72  2.49  4331053056 35.2  apollon019 101    67.8   3743059968 1150   apollon081 399       981       227127296 3130       apollon134 2.56    1.29    197357568 23.1     apollon075 5.01    3.36    4338954240 53.7     apollon095
array-tiling/mbpr3_true-unreach-call.i 332     900     32026624 3260    apollon095 .350 .377 35536896 4.96 apollon161 2.77  2.59  4335730688 38.0  apollon016 101    65.5   3797508096 1140   apollon007 328       981       218333184 3170       apollon133 2.79    1.29    224043008 25.8     apollon009 5.10    3.49    4338561024 48.4     apollon139
array-tiling/mbpr4_true-unreach-call.i 321     900     32034816 2570    apollon092 .369 .389 35524608 4.16 apollon011 2.73  2.49  4333449216 29.5  apollon099 101    68.1   3704430592 958   apollon151 489       981       223289344 4200       apollon067 2.94    1.47    219889664 26.0     apollon062 5.14    3.51    4329934848 58.8     apollon047
array-tiling/mbpr5_true-unreach-call.i 496     900     31961088 5530    apollon068 .381 .390 35860480 4.17 apollon154 2.71  2.47  4331581440 37.8  apollon080 101    72.4   3754287104 1260   apollon014 1.93    .835   175542272 16.3     apollon090 1.98    .871   173293568 18.6     apollon101 1.81    .800   174039040 17.7     apollon076
array-tiling/nr2_true-unreach-call.i 409     900     32059392 2960    apollon165 .353 .389 35545088 3.71 apollon134 2.74  2.51  4332953600 31.3  apollon120 101    69.6   3708661760 1020   apollon042 405       981       218750976 2630       apollon138 2.52    1.23    224096256 24.2     apollon017 5.28    3.53    4337463296 53.0     apollon079
array-tiling/nr3_true-unreach-call.i 393     900     31875072 2830    apollon083 .343 .380 35729408 3.59 apollon045 2.73  2.49  4333023232 30.4  apollon003 101    72.0   3858083840 1190   apollon167 318       981       220852224 4600       apollon056 2.54    1.25    219721728 25.0     apollon105 4.94    3.39    4337664000 58.5     apollon036
array-tiling/nr4_true-unreach-call.i 362     900     32092160 2850    apollon134 .351 .388 35692544 3.66 apollon100 2.71  2.47  4333133824 32.5  apollon018 101    69.1   3838636032 1040   apollon034 448       981       191115264 2910       apollon118 2.50    1.24    190218240 24.5     apollon101 4.80    3.34    4337033216 49.6     apollon104
array-tiling/nr5_true-unreach-call.i 387     900     32018432 2520    apollon159 .347 .384 35774464 3.84 apollon129 2.71  2.47  4337577984 29.5  apollon043 101    64.7   3552428032 894   apollon158 444       980       191922176 3080       apollon122 2.51    1.21    190472192 23.7     apollon072 4.86    3.32    4343107584 62.8     apollon021
array-tiling/pnr2_true-unreach-call.i 531     900     68558848 4520    apollon018 .331 .367 35553280 4.58 apollon036 2.70  2.56  4329193472 51.5  apollon106 101    70.1   3902996480 1130   apollon146 558       981       198279168 5050       apollon029 2.43    1.24    214978560 22.7     apollon133 4.87    3.46    4329697280 61.6     apollon039
array-tiling/pnr3_true-unreach-call.i 663     900     71266304 8800    apollon111 .468 .611 48136192 4.25 apollon038 2.70  2.47  4329701376 31.7  apollon110 101    61.8   4284567552 1070   apollon091 950       781       195674112 9880       apollon139 2.44    1.26    193847296 21.4     apollon134 4.80    3.34    4337111040 51.4     apollon075
array-tiling/pnr4_true-unreach-call.i 430     900     66740224 4190    apollon058 .345 .379 35454976 3.83 apollon103 2.74  2.49  4344049664 35.9  apollon036 101    65.1   4213096448 1030   apollon146 611       981       194760704 4060       apollon144 2.53    1.24    196993024 26.3     apollon028 4.82    3.34    4332462080 50.8     apollon012
array-tiling/pnr5_true-unreach-call.i 547     900     67158016 3960    apollon078 .368 .397 35893248 4.19 apollon136 2.69  2.47  4336967680 35.4  apollon069 105    58.6   4311687168 965   apollon082 619       981       195620864 4780       apollon154 2.53    1.25    197115904 22.0     apollon098 4.95    3.51    4343648256 55.3     apollon020
array-tiling/poly1_true-unreach-call.i 265     900     31952896 2340    apollon045 .369 .408 35438592 3.88 apollon102 18.7   16.7   4341161984 153    apollon147 101    75.9   2480005120 992   apollon079 411       981       187863040 4760       apollon024 2.43    1.33    219496448 22.2     apollon095 25.2     21.3     4347596800 161       apollon134
array-tiling/poly2_true-unreach-call.i 264     900     32227328 2320    apollon098 874     900     96612352 10900    apollon098 .341 .406 32100352 3.75 apollon122 101    70.5   3057106944 999   apollon002 331       981       190427136 4170       apollon132 952       521       3050090496 12000       apollon094 2.39    1.13    190496768 22.6     apollon046
array-tiling/pr2_true-unreach-call.i 300     900     31793152 2870    apollon058 .366 .402 35966976 3.39 apollon158 2.70  2.47  4329676800 33.2  apollon071 101    71.5   3607281664 1170   apollon164 494       981       219676672 3560       apollon054 2.59    1.25    196202496 25.8     apollon030 5.01    3.37    4338360320 51.0     apollon001
array-tiling/pr3_true-unreach-call.i 392     900     32133120 2840    apollon004 .327 .362 35778560 4.03 apollon071 2.73  2.47  4332732416 33.7  apollon064 101    76.4   3561402368 1100   apollon079 379       981       229867520 5320       apollon016 3.08    1.46    224731136 28.8     apollon061 5.61    3.61    4337561600 62.1     apollon159
array-tiling/pr4_true-unreach-call.i 489     900     31854592 4600    apollon096 .360 .391 38150144 4.00 apollon076 2.75  2.59  4335951872 34.1  apollon112 101    72.8   3111403520 1090   apollon078 423       981       237228032 2830       apollon109 3.17    1.45    233111552 30.7     apollon010 5.44    3.57    4332707840 51.6     apollon043
array-tiling/pr5_true-unreach-call.i 379     900     32014336 2700    apollon049 .350 .379 35430400 4.16 apollon142 2.70  2.47  4335366144 35.7  apollon130 101    76.9   3330641920 1260   apollon019 443       981       234774528 3050       apollon096 3.66    1.54    231628800 32.6     apollon005 6.01    3.72    4334534656 55.2     apollon134
array-tiling/revcpyswp2_true-unreach-call.i 293     900     31838208 3080    apollon050 .367 .401 35643392 3.97 apollon070 7.67  6.98  14999998464 87.7  apollon129 101    75.9   3419410432 1100   apollon086 320       981       227414016 3420       apollon142 2.65    1.31    219422720 24.4     apollon157 9.92    7.93    14999998464 121       apollon006
array-tiling/rew_true-unreach-call.i 288     900     31911936 2490    apollon098 .355 .395 35274752 3.73 apollon058 12.7   11.3   4335140864 88.8  apollon086 102    68.0   3862368256 1050   apollon058 370       981       188981248 3720       apollon077 2.30    1.20    185843712 22.5     apollon105 17.6     15.6     4333182976 196       apollon147
array-tiling/rewnif_true-unreach-call.i 368     900     32088064 2420    apollon020 .337 .378 35819520 3.72 apollon037 11.7   10.5   4335058944 98.7  apollon135 101    71.0   3374350336 1250   apollon044 340       981       227581952 4510       apollon005 2.81    1.30    225009664 28.3     apollon140 19.6     16.0     4341542912 117       apollon078
array-tiling/rewnifrev2_true-unreach-call.i 365     900     31952896 2000    apollon139 .348 .389 35651584 3.73 apollon107 2.96  2.70  4338728960 36.7  apollon126 101    74.7   2781618176 1150   apollon095 391       981       193839104 2550       apollon072 2.47    1.22    221921280 27.1     apollon111 5.00    3.52    4339257344 50.5     apollon099
array-tiling/rewnifrev_true-unreach-call.i 327     900     32182272 2320    apollon013 .338 .379 35721216 3.68 apollon115 2.95  2.72  4338503680 34.3  apollon031 101    76.7   2974679040 1130   apollon119 311       981       192921600 3410       apollon071 2.43    1.23    188788736 21.0     apollon029 5.02    3.57    4339322880 56.0     apollon009
array-tiling/rewrev_true-unreach-call.i 327     900     31981568 3670    apollon114 .368 .408 35655680 3.99 apollon009 2.91  2.70  4339335168 33.3  apollon058 101    77.2   2405355520 1040   apollon151 444       981       222482432 2870       apollon051 2.63    1.26    219365376 23.8     apollon109 5.14    3.58    4333105152 56.7     apollon067
array-tiling/skipped_true-unreach-call.i 465     900     31985664 3190    apollon121 .370 .407 35606528 4.16 apollon019 2.73  2.50  4336267264 33.6  apollon159 101    66.6   4037947392 1020   apollon032 462       981       223031296 3120       apollon124 3.06    1.42    222908416 27.5     apollon084 5.39    3.54    4339425280 49.6     apollon054
array-tiling/tcpy_true-unreach-call.i 369     900     32088064 2430    apollon033 .344 .381 35487744 4.45 apollon101 5.14  4.71  8635162624 60.7  apollon096 101    71.5   3962458112 1260   apollon161 322       981       185098240 3820       apollon052 2.31    1.21    188891136 23.7     apollon022 7.11    5.62    8633524224 78.2     apollon051
array-programs/copysome1_false-unreach-call.i .641 .677 1229586432 7.00 apollon117 950     552     1443770368 9490    apollon087 949     900     98684928 12500    apollon085 2.65 1.04  291065856 24.0 apollon077 2.70    1.59    1229795328 26.7     apollon165 3.50    1.90    1429483520 38.6     apollon125 950       902       185081856 12100       apollon154
array-programs/copysome2_false-unreach-call.i .820 .878 1836814336 8.89 apollon098 951     565     2150215680 9390    apollon165 949     900     101691392 11600    apollon104 2.45 1.04  270254080 20.2 apollon099 3.07    1.94    1837191168 29.9     apollon067 4.08    2.29    2115186688 37.6     apollon053 950       901       182906880 12600       apollon113
array-programs/copysome1_true-unreach-call.i .626 .661 1229303808 7.50 apollon110 951     563     1441280000 8680    apollon117 950     899     95731712 12100    apollon156 2.71 1.05  290291712 23.2 apollon034 2.70    1.59    1229910016 26.9     apollon162 3.63    2.00    1417109504 35.0     apollon052 950       898       179601408 12200       apollon119
array-programs/copysome2_true-unreach-call.i .824 .878 1836802048 10.1  apollon085 950     572     2158129152 9630    apollon146 946     900     104861696 11600    apollon066 2.42 1.05  268816384 20.6 apollon127 2.98    1.91    1839165440 33.1     apollon125 4.23    2.34    2112978944 40.4     apollon082 950       899       182530048 12000       apollon034
bitvector/byte_add_false-unreach-call_true-no-overflow_true-termination.i 5.29  4.71  32067584 65.5  apollon012 3.52  3.40  35876864 32.5  apollon033 3.88  3.80  32063488 46.7  apollon114 5.26 1.83  301273088 44.9 apollon165 9.30    6.45    237531136 114       apollon148 3.72    1.83    232574976 32.8     apollon105 6.85    4.85    234909696 66.1     apollon117
bitvector/sum02_false-unreach-call_true-no-overflow.i 3.79  3.61  32092160 55.8  apollon121 15.7   14.4   14999998464 231    apollon033 951     890     2709544960 10700    apollon149 3.52 1.47  280109056 30.1 apollon082 9.72    7.53    196530176 119       apollon129 135       195       14999998464 2130       apollon086 951       883       2669461504 12400       apollon024
bitvector/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i 283     900     32256000 2880    apollon066 898     901     85323776 11800    apollon012 .965 .789 32202752 10.2  apollon153 6.03 2.09  319234048 51.7 apollon091 364       981       233611264 2700       apollon119 3.68    1.57    236711936 36.4     apollon069 4.33    2.07    232402944 36.4     apollon083
bitvector/byte_add_2_true-unreach-call_true-no-overflow_true-termination.i 371     900     32088064 2830    apollon145 899     900     84705280 11300    apollon002 1.04  .896 31932416 9.41 apollon092 5.73 1.89  317952000 52.7 apollon126 329       981       238055424 3600       apollon014 3.52    1.58    234684416 34.7     apollon130 4.17    1.97    238690304 36.5     apollon003
bitvector/gcd_1_true-unreach-call_true-no-overflow.i 345     900     32096256 2370    apollon042 859     900     64020480 12700    apollon064 .359 .381 31866880 3.87 apollon084 4.10 1.51  304193536 33.4 apollon079 398       981       221155328 3320       apollon049 2.57    1.25    217841664 22.1     apollon092 2.63    1.29    229978112 22.1     apollon123
bitvector/gcd_2_true-unreach-call_true-no-overflow.i 360     900     32133120 2810    apollon070 856     900     66310144 10900    apollon013 4.57  4.21  32108544 53.1  apollon037 3.46 1.37  273186816 31.5 apollon112 .0121  .0127  1019904 .00928 apollon091 .0109  .0147  1056768 .00781 apollon133 .00964 .00963 1007616 .0119  apollon080
bitvector/gcd_3_true-unreach-call_true-no-overflow.i 283     900     32059392 4360    apollon161 853     900     51531776 11600    apollon121 4.93  4.60  32108544 62.0  apollon114 3.62 1.47  288235520 31.8 apollon076 370       981       194527232 3370       apollon085 2.55    1.25    219283456 24.9     apollon105 7.43    5.62    223436800 93.1     apollon163
bitvector/gcd_4_true-unreach-call_true-no-overflow_true-termination.i 216     900     32198656 1490    apollon101 950     842     346374144 13300    apollon159 .268 .294 32124928 2.78 apollon009 5.16 1.76  313200640 44.6 apollon156 243       981       222351360 2520       apollon075 2.88    1.34    220033024 25.1     apollon104 2.87    1.30    222601216 25.6     apollon103
bitvector/interleave_bits_true-unreach-call_true-no-overflow.i 319     900     32006144 2730    apollon081 950     851     325193728 12900    apollon112 .259 .276 32034816 3.04 apollon114 7.33 2.28  452468736 62.2 apollon126 361       981       222846976 2770       apollon048 2.95    1.41    225071104 32.3     apollon056 2.76    1.20    222437376 24.9     apollon062
bitvector/jain_1_true-unreach-call_true-no-overflow_false-termination.i 1.51  1.57  4305719296 23.4  apollon057 16.7   14.2   14999998464 210    apollon075 951     894     88125440 9530    apollon093 2.84 1.19  277032960 29.1 apollon021 .0124  .0118  819200 .00757 apollon029 .0115  .0115  884736 .00000 apollon166 .00972 .00954 782336 .00885 apollon092
bitvector/jain_2_true-unreach-call_true-no-overflow_false-termination.i 1.54  1.60  4306378752 18.3  apollon004 35.1   31.5   14999998464 474    apollon027 951     892     97206272 10200    apollon125 3.21 1.20  293670912 27.2 apollon022 .0147  .0148  929792 .00739 apollon074 .0194  .0190  905216 .00659 apollon018 .0106  .0106  745472 .00983 apollon043
bitvector/jain_4_true-unreach-call_true-no-overflow_false-termination.i 1.52  1.59  4305096704 18.0  apollon119 41.9   37.9   14999998464 501    apollon032 951     896     112730112 9380    apollon107 3.11 1.25  274595840 27.2 apollon005 .0138  .0147  843776 .00787 apollon002 .0108  .0115  757760 .00934 apollon162 .0223  .0217  888832 .00971 apollon077
bitvector/jain_5_true-unreach-call_true-no-overflow.i 6.28  5.28  32104448 70.0  apollon154 34.8   28.2   14999998464 407    apollon154 949     900     31993856 14300    apollon048 101    80.7   2778210304 1220   apollon052 10.4     6.79    263077888 102       apollon102 84.2     71.4     14999998464 946       apollon002 950       900       267218944 12900       apollon026
bitvector/jain_6_true-unreach-call_true-no-overflow_false-termination.i 1.51  1.57  4305448960 17.5  apollon134 43.1   38.9   14999998464 510    apollon105 951     888     109596672 8170    apollon146 3.31 1.25  294891520 25.6 apollon054 .0197  .0195  970752 .00739 apollon150 .00909 .00905 843776 .0125  apollon148 .0123  .0126  1089536 .0129  apollon091
bitvector/jain_7_true-unreach-call_true-no-overflow_false-termination.i 1.52  1.59  4305342464 18.2  apollon131 43.2   39.1   14999998464 546    apollon145 951     890     105205760 9250    apollon091 2.84 1.18  274214912 26.8 apollon022 .0143  .0154  864256 .00623 apollon083 .0239  .0258  823296 .00360 apollon118 .0111  .0130  761856 .00409 apollon068
bitvector/modulus_true-unreach-call_true-no-overflow.i 349     900     32104448 2840    apollon159 .359 .393 37347328 4.04 apollon141 366     339     76451840 4340    apollon012 3.14 1.31  277803008 27.8 apollon052 307       981       194670592 4580       apollon161 2.61    1.28    199778304 27.2     apollon088 375       346       194809856 5070       apollon005
bitvector/num_conversion_1_true-unreach-call_true-no-overflow.i 228     900     32243712 1710    apollon152 950     853     325951488 11600    apollon086 .252 .281 32190464 2.40 apollon054 4.90 1.77  305999872 42.5 apollon167 254       981       221929472 1780       apollon060 2.75    1.27    225402880 27.9     apollon028 2.53    1.19    224546816 25.3     apollon065
bitvector/num_conversion_2_true-unreach-call_true-no-overflow.i 344     900     31924224 2830    apollon145 950     851     325861376 11900    apollon133 1.18  1.09  32141312 13.5  apollon018 4.91 1.77  302903296 42.7 apollon032 386       981       223899648 2360       apollon063 2.68    1.26    222056448 23.2     apollon002 3.70    2.07    220364800 37.2     apollon087
bitvector/parity_true-unreach-call_true-no-overflow.i 328     900     32059392 2470    apollon101 875     900     61829120 11700    apollon154 2.08  2.00  31973376 26.0  apollon141 3.31 1.31  286834688 31.4 apollon014 281       981       189427712 4140       apollon016 2.51    1.22    191582208 25.2     apollon010 4.23    2.83    194502656 43.1     apollon079
bitvector/sum02_true-unreach-call_true-no-overflow.i 336     900     31985664 3370    apollon117 16.4   15.1   14999998464 202    apollon127 951     891     2723487744 11500    apollon062 3.50 1.45  281563136 34.3 apollon108 429       981       189485056 2820       apollon149 114       179       14999998464 1960       apollon144 816       757       2238107648 9920       apollon124
bitvector/s3_clnt_1_false-unreach-call_true-no-overflow.BV.c.cil.c 864     900     31981568 9250    apollon128 544     900     36483072 3000    apollon051 4.75  4.00  40022016 48.9  apollon054 10.6  3.08  467173376 93.6 apollon106 6.97    2.56    405340160 61.6     apollon141 7.57    2.81    399237120 61.2     apollon082 7.69    2.78    407363584 64.8     apollon136
bitvector/s3_clnt_2_false-unreach-call_true-no-overflow.BV.c.cil.c 307     900     32235520 3040    apollon041 553     900     36347904 3210    apollon064 4.76  4.00  40030208 51.5  apollon134 18.5  5.01  617021440 160   apollon168 7.93    3.07    422891520 71.1     apollon152 7.51    2.89    425140224 76.9     apollon033 7.43    2.84    423890944 64.6     apollon075
bitvector/s3_clnt_3_false-unreach-call_true-no-overflow.BV.c.cil.c 313     900     32075776 3530    apollon155 1.09  3.50  36167680 19.0  apollon140 .746 .687 32096256 8.48 apollon062 7.04 2.21  388128768 58.5 apollon120 342       981       299581440 3940       apollon071 6.61    5.53    290951168 62.4     apollon087 6.45    2.79    297025536 56.1     apollon053
bitvector/s3_clnt_1_true-unreach-call_true-no-overflow.BV.c.cil.c 362     900     32268288 2660    apollon035 422     900     36167680 5860    apollon057 1.65  .983 34131968 18.0  apollon093 14.2  4.01  500178944 106   apollon121 6.87    2.50    403705856 55.1     apollon128 6.91    2.70    396832768 64.9     apollon159 6.92    2.54    399687680 56.2     apollon003
bitvector/s3_clnt_2_true-unreach-call_true-no-overflow.BV.c.cil.c 371     900     32161792 2830    apollon009 544     900     36327424 3240    apollon062 1.19  .905 32165888 12.6  apollon032 24.2  6.77  833982464 199   apollon102 7.66    2.89    417869824 64.3     apollon073 7.47    2.86    423055360 68.8     apollon120 7.54    2.85    425562112 60.2     apollon099
bitvector/s3_clnt_3_true-unreach-call_true-no-overflow.BV.c.cil.c 388     900     32026624 2950    apollon079 558     900     36290560 2570    apollon136 1.19  .910 32178176 14.3  apollon126 101    77.4   3071184896 984   apollon100 363       981       248061952 3730       apollon026 571       981       246947840 2940       apollon102 5.41    2.29    250613760 48.8     apollon156
bitvector/s3_srvr_1_alt_true-unreach-call_true-no-overflow.BV.c.cil.c .372 .383 31993856 4.31 apollon001 .469 .489 40960000 5.54 apollon051 950     806     2475569152 7790    apollon135 101    75.1   2657251328 1170   apollon070 508       981       223698944 3530       apollon035 3.31    1.53    226340864 33.4     apollon044 951       817       3107123200 9080       apollon128
bitvector/s3_srvr_1_true-unreach-call_true-no-overflow.BV.c.cil.c 800     900     31985664 8660    apollon099 563     900     48975872 2520    apollon034 950     807     2633248768 7680    apollon127 31.1  8.45  977502208 229   apollon029 .00946 .00959 880640 .00818 apollon146 .0267  .0263  909312 .00446 apollon118 .0129  .0128  909312 .00000 apollon083
bitvector/s3_srvr_2_alt_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c 449     900     32088064 3220    apollon086 17.7   14.8   14999998464 218    apollon061 951     798     433008640 8840    apollon107 41.9  18.5   1371332608 409   apollon020 .00782 .00771 823296 .0101  apollon129 .0129  .0137  864256 .00745 apollon019 .0146  .0154  778240 .00543 apollon097
bitvector/s3_srvr_2_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c 361     900     31924224 4040    apollon075 529     900     36794368 4330    apollon056 .466 .488 32055296 5.37 apollon051 42.8  18.2   1405607936 402   apollon168 .0124  .0143  847872 .00000 apollon010 .00903 .0118  880640 .00000 apollon039 .00963 .0123  823296 .00971 apollon099
bitvector/s3_srvr_3_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 951     733     32133120 11500    apollon154 547     900     36691968 2420    apollon144 951     813     760832000 7170    apollon120 19.0  5.09  630145024 168   apollon030 .0126  .0123  892928 .0122  apollon079 .00999 .00978 888832 .00000 apollon044 .0250  .0270  892928 .00720 apollon145
bitvector/s3_srvr_3_true-unreach-call_true-no-overflow.BV.c.cil.c 951     733     32141312 11100    apollon099 527     900     36671488 2470    apollon098 951     812     716910592 7150    apollon118 62.0  33.8   2281033728 700   apollon161 .0140  .0138  880640 .00964 apollon082 .0120  .0120  905216 .00000 apollon025 .00846 .00828 974848 .0161  apollon056
bitvector/soft_float_1_true-unreach-call_true-no-overflow_true-termination.c.cil.c 554     900     32075776 4350    apollon090 771     900     47927296 12400    apollon036 950     853     274055168 11200    apollon076 4.80 1.77  296083456 38.6 apollon100 665       981       251994112 6240       apollon046 16.4     7.61    252317696 162       apollon031 951       804       239869952 11900       apollon065
bitvector/soft_float_2_true-unreach-call_true-no-overflow_true-termination.c.cil.c 476     900     31866880 6660    apollon140 776     900     35307520 11400    apollon114 294     269     136364032 3220    apollon089 7.53 2.34  446177280 63.2 apollon156 762       981       326586368 5090       apollon025 18.4     8.39    331370496 164       apollon002 372       305       323821568 4260       apollon082
bitvector/soft_float_3_true-unreach-call_true-no-overflow_true-termination.c.cil.c 677     900     32100352 4680    apollon154 771     900     35721216 11800    apollon132 715     643     217268224 8780    apollon141 7.39 2.33  444780544 63.0 apollon091 683       981       327577600 6860       apollon069 18.3     8.38    332763136 155       apollon092 13.8     8.32    322154496 131       apollon002
bitvector/soft_float_4_true-unreach-call_true-no-overflow_true-termination.c.cil.c 538     900     31944704 5020    apollon046 770     900     35786752 10500    apollon037 950     853     290263040 11600    apollon033 4.21 1.68  290402304 37.0 apollon076 768       981       231772160 5230       apollon011 15.8     7.39    247078912 143       apollon082 951       807       277897216 9690       apollon054
bitvector/soft_float_5_true-unreach-call_true-no-overflow_true-termination.c.cil.c 670     900     31797248 3930    apollon109 769     900     35950592 10700    apollon051 284     257     137519104 3310    apollon001 7.36 2.33  447238144 64.9 apollon077 771       981       328470528 5590       apollon157 17.5     8.19    333082624 152       apollon060 9.88    5.05    324878336 98.0     apollon112
bitvector-regression/implicitfloatconversion_false-unreach-call_true-termination.c 3.67  3.29  32018432 43.1  apollon117 3.52  3.42  35733504 34.1  apollon160 .255 .286 32194560 2.69 apollon118 3.23 1.23  296452096 32.6 apollon039 .00792 .00861 905216 .00586 apollon127 .0133  .0130  1011712 .00702 apollon152 .0140  .0145  1028096 .0228  apollon167
bitvector-regression/implicitunsignedconversion_false-unreach-call_true-termination.c 3.68  3.30  32022528 47.7  apollon051 3.48  3.39  35631104 41.8  apollon058 .234 .264 32256000 2.84 apollon061 2.45 1.06  268267520 24.7 apollon016 .0150  .0154  991232 .00720 apollon060 .0113  .0110  942080 .00775 apollon144 .00641 .00985 917504 .0121  apollon011
bitvector-regression/integerpromotion_false-unreach-call_true-termination.c 3.67  3.28  31948800 56.3  apollon126 3.49  3.39  35418112 34.1  apollon131 .257 .284 31956992 2.62 apollon110 2.79 1.23  275443712 27.6 apollon148 .00740 .00728 942080 .0112  apollon129 .00910 .0126  921600 .00873 apollon136 .0296  .0288  888832 .00885 apollon012
bitvector-regression/recHanoi03_false-unreach-call_true-termination.c 3.57  3.31  32243712 46.3  apollon153 .516 .478 94220288 5.61 apollon135 3.55  3.41  59621376 46.5  apollon138 2.53 1.10  267939840 22.0 apollon011 2.04    .837   189345792 20.4     apollon126 1.99    .816   184520704 19.1     apollon068 1.99    .817   187637760 18.8     apollon006
bitvector-regression/signextension2_false-unreach-call_true-termination.c 3.70  3.30  31928320 52.5  apollon019 3.50  3.40  37490688 39.7  apollon036 .247 .276 31850496 2.94 apollon014 2.60 1.09  270381056 25.6 apollon016 .0128  .0133  872448 .0102  apollon013 .0259  .0278  778240 .00848 apollon120 .0121  .0146  847872 .00787 apollon057
bitvector-regression/signextension_false-unreach-call_true-termination.c 3.68  3.28  32137216 53.2  apollon167 3.48  3.37  35237888 26.4  apollon117 .260 .297 32083968 2.08 apollon063 2.55 1.09  272834560 26.6 apollon021 .0129  .0129  761856 .0135  apollon005 .0270  .0288  958464 .00513 apollon093 .0105  .0104  1032192 .00409 apollon168
bitvector-regression/implicitunsignedconversion_true-unreach-call_true-termination.c 229     900     31981568 1980    apollon007 950     843     327405568 11800    apollon144 .247 .280 31956992 2.64 apollon133 2.94 1.28  276406272 26.1 apollon121 263       981       182210560 2090       apollon137 2.33    1.22    185839616 22.6     apollon147 2.20    1.12    190996480 20.2     apollon012
bitvector-regression/integerpromotion_true-unreach-call_true-termination.c 226     900     32071680 1900    apollon136 950     818     348676096 13200    apollon094 .245 .277 32153600 2.90 apollon005 2.80 1.24  278286336 24.4 apollon127 227       981       184115200 3180       apollon080 2.34    1.24    192307200 24.2     apollon028 2.30    1.18    185589760 20.2     apollon045
bitvector-regression/signextension2_true-unreach-call_true-termination.c 199     900     32256000 2260    apollon113 950     853     325406720 10600    apollon123 .247 .280 31944704 3.26 apollon056 3.10 1.31  285671424 30.7 apollon126 246       981       186007552 1590       apollon097 2.32    1.22    192536576 22.9     apollon009 2.20    1.10    188432384 21.4     apollon097
bitvector-regression/signextension_true-unreach-call_true-termination.c 192     900     32043008 2650    apollon021 950     819     346791936 11500    apollon090 .249 .281 32120832 3.25 apollon161 3.12 1.31  275988480 31.3 apollon111 228       981       184836096 2580       apollon010 2.29    1.20    190259200 25.1     apollon030 2.26    1.10    190210048 21.2     apollon120
bitvector-loops/diamond_false-unreach-call2.i 3.68  3.30  32079872 51.7  apollon020 870     900     59228160 13400    apollon126 .268 .286 32067584 3.12 apollon108 6.60 2.03  440332288 58.7 apollon081 .0170  .0168  983040 .00452 apollon127 .0135  .0133  901120 .00775 apollon123 .0289  .0288  888832 .00580 apollon141
bitvector-loops/overflow_false-unreach-call1.i 10.4   6.80  31862784 76.3  apollon083 44.7   41.1   14999998464 550    apollon018 947     900     32100352 16600    apollon039 2.82 1.12  290009088 25.1 apollon052 .0143  .0142  872448 .00635 apollon165 .0157  .0154  995328 .0210  apollon018 .0167  .0166  1011712 .00641 apollon159
bitvector-loops/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call_true-termination.i 25.9   21.8   31879168 328    apollon066 682     900     35717120 9190    apollon012 .301 .281 31940608 3.42 apollon017 2.88 1.25  270974976 25.6 apollon012 .0107  .0107  983040 .00000 apollon079 .0177  .0187  950272 .00964 apollon021 .0280  .0289  761856 .00592 apollon163
heap-manipulation/bubble_sort_linux_false-unreach-call_false-valid-memcleanup.i 53.8   27.7   45293568 597    apollon074 .394 .393 32043008 4.14 apollon040 3.68  3.50  34246656 48.2  apollon114 5.64 1.86  320602112 50.9 apollon126 .0226  .0221  962560 .00842 apollon068 .0133  .0130  847872 .0112  apollon154 .0200  .0210  913408 .00617 apollon092
heap-manipulation/dll_of_dll_false-unreach-call_false-valid-memcleanup.i 554     900     33693696 3250    apollon063 .350 .396 31961088 4.06 apollon136 234     900     307474432 1910    apollon137 3.26 1.25  298487808 31.3 apollon161 2.93    1.11    231018496 24.6     apollon150 2.88    1.05    228605952 29.1     apollon033 2.95    1.04    231018496 29.8     apollon111
heap-manipulation/merge_sort_false-unreach-call_false-valid-memcleanup.i 4.26  3.89  32067584 64.5  apollon130 .359 .408 31985664 4.60 apollon008 3.68  3.50  32129024 46.5  apollon038 4.65 1.68  306061312 42.1 apollon141 .0238  .0235  1003520 .00580 apollon042 .0203  .0215  1097728 .00568 apollon165 .0194  .0192  937984 .00494 apollon063
heap-manipulation/sll_to_dll_rev_false-unreach-call_false-valid-memcleanup.i 16.6   9.84  31969280 206    apollon112 .312 .362 31834112 4.40 apollon081 3.52  3.38  32030720 48.2  apollon112 4.67 1.74  293535744 40.0 apollon157 .0209  .0214  942080 .00842 apollon058 .00981 .00958 991232 .00952 apollon155 .0116  .0117  937984 .0102  apollon099
heap-manipulation/tree_false-unreach-call_false-valid-deref.i 4.25  3.88  33316864 53.1  apollon035 .354 .409 32051200 3.52 apollon115 3.65  3.47  38289408 49.0  apollon130 6.29 2.01  334548992 49.1 apollon123 .0289  .0295  901120 .0118  apollon011 .0138  .0143  778240 .0101  apollon027 .0155  .0150  991232 .00995 apollon024
heap-manipulation/tree_false-unreach-call_false-valid-memcleanup.i 4.28  3.91  32083968 64.8  apollon126 .349 .403 32145408 4.24 apollon033 3.68  3.49  44924928 48.9  apollon132 6.14 2.01  349908992 51.0 apollon119 .00665 .0102  851968 .00726 apollon096 .0298  .0290  929792 .00549 apollon101 .00646 .0101  749568 .00757 apollon156
heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i 393     900     40988672 4890    apollon052 .381 .384 32190464 4.77 apollon112 950     879     443617280 13100    apollon080 101    76.5   2019409920 1150   apollon026 2.63    .950   223424512 20.5     apollon026 2.52    .982   219201536 21.8     apollon011 2.51    .959   229601280 22.6     apollon038
heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i 267     900     32178176 3090    apollon129 .345 .404 32071680 3.69 apollon011 951     871     3036499968 6180    apollon051 3.14 1.23  275562496 27.4 apollon038 3.08    1.14    234475520 26.7     apollon065 2.85    1.06    228945920 23.8     apollon127 2.88    1.03    233091072 27.3     apollon108
heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i 439     900     39833600 4430    apollon112 .345 .392 32276480 3.62 apollon134 951     882     2717990912 6560    apollon001 3.42 1.28  303022080 28.4 apollon150 2.99    1.06    232091648 24.1     apollon066 2.94    1.07    231190528 25.5     apollon105 2.91    1.06    230645760 24.6     apollon154
heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i 563     900     31940608 4450    apollon012 .359 .410 32002048 4.29 apollon108 950     879     496472064 10300    apollon100 101    78.6   2998243328 1210   apollon009 3.68    1.52    234766336 31.7     apollon157 3.69    1.51    237707264 34.4     apollon015 3.61    1.58    233652224 34.4     apollon141
heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i 494     900     32337920 3610    apollon037 .323 .373 31965184 3.76 apollon012 951     888     1689055232 11800    apollon069 101    76.0   2655936512 1100   apollon086 5.33    2.03    281128960 44.4     apollon035 4.94    1.87    276860928 47.0     apollon080 5.05    1.93    282992640 43.5     apollon144
heap-manipulation/tree_true-unreach-call.i 322     900     35254272 3250    apollon064 .344 .399 32079872 3.87 apollon147 951     886     1361604608 9840    apollon093 101    77.4   2387677184 1170   apollon051 4.08    1.62    250867712 34.5     apollon058 4.13    1.69    244994048 37.7     apollon084 4.18    1.61    253120512 35.6     apollon062
list-properties/alternating_list_false-unreach-call_false-valid-memcleanup.i 521     900     32186368 6330    apollon081 .329 .388 31895552 3.93 apollon061 819     900     2485014528 6340    apollon152 4.30 1.65  289091584 35.1 apollon089 .0120  .0113  1003520 .0109  apollon024 .0127  .0129  946176 .00836 apollon120 .00643 .0100  704512 .0104  apollon035
list-properties/list_false-unreach-call_false-valid-memcleanup.i 573     900     32165888 5560    apollon032 .320 .378 31903744 3.38 apollon098 439     900     2171166720 5340    apollon114 111    76.3   3799289856 1190   apollon067 3.16    1.39    231002112 26.0     apollon043 3.15    1.40    233066496 30.3     apollon136 3.18    1.31    231124992 32.2     apollon088
list-properties/list_flag_false-unreach-call_false-valid-memcleanup.i 339     900     31969280 4210    apollon024 .354 .415 32108544 3.77 apollon121 673     900     2412040192 8110    apollon024 4.07 1.59  290484224 35.8 apollon095 .0136  .0165  983040 .00482 apollon148 .0110  .0108  888832 .0106  apollon020 .00894 .0161  1052672 .0475  apollon077
list-properties/list_search_false-unreach-call_false-valid-memcleanup.i 14.0   8.56  31969280 186    apollon108 .336 .394 31784960 3.47 apollon012 .353 .366 32063488 4.34 apollon165 4.17 1.56  292237312 33.4 apollon060 .00917 .0123  1044480 .0158  apollon052 .0116  .0115  978944 .00781 apollon102 .0106  .0135  765952 .0182  apollon161
list-properties/simple_false-unreach-call_false-valid-memcleanup.i 496     900     32075776 5680    apollon104 .349 .408 31944704 4.17 apollon159 762     900     2399571968 6240    apollon103 4.04 1.55  289304576 36.6 apollon091 .0187  .0200  823296 .00549 apollon002 .00918 .0116  835584 .00000 apollon121 .0113  .0112  1097728 .00427 apollon047
list-properties/splice_false-unreach-call_false-valid-memcleanup.i 563     900     32067584 6680    apollon070 .330 .389 32002048 3.96 apollon024 951     886     2272903168 9720    apollon008 4.70 1.74  293105664 42.8 apollon091 .0101  .0100  913408 .0110  apollon129 .0136  .0131  876544 .00946 apollon133 .0131  .0126  790528 .0121  apollon165
list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i 479     900     32116736 3970    apollon162 .352 .410 31944704 4.24 apollon059 951     887     223735808 11000    apollon077 113    72.4   4263219200 1250   apollon033 3.28    1.51    232005632 26.5     apollon137 3.15    1.39    226738176 28.5     apollon113 3.28    1.29    230834176 26.2     apollon149
list-properties/list_flag_true-unreach-call_false-valid-memtrack.i 465     900     32124928 3780    apollon159 .327 .388 32235520 3.98 apollon152 951     885     174202880 10200    apollon141 101    70.9   4165271552 1120   apollon152 3.32    1.41    228581376 29.8     apollon014 3.36    1.43    238444544 28.5     apollon102 3.31    1.29    228753408 29.1     apollon101
list-properties/list_search_true-unreach-call_false-valid-memcleanup.i 214     900     40665088 1330    apollon063 .380 .396 32075776 4.04 apollon149 .449 .499 31875072 4.90 apollon003 4.75 1.67  307466240 43.0 apollon007 .0299  .0298  851968 .00574 apollon078 .0129  .0127  995328 .00726 apollon003 .0123  .0135  901120 .00830 apollon048
list-properties/list_true-unreach-call_false-valid-memtrack.i 458     900     31977472 3620    apollon108 .308 .370 32096256 4.32 apollon069 951     886     803917824 9860    apollon011 101    70.2   3652853760 1310   apollon111 3.51    1.50    232841216 37.1     apollon160 3.94    1.58    238211072 35.1     apollon032 3.68    1.51    251863040 33.2     apollon051
list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i 349     900     32100352 2660    apollon060 .350 .413 31916032 4.32 apollon125 951     889     159907840 10600    apollon155 105    70.4   3307761664 1060   apollon025 3.38    1.43    234848256 34.2     apollon028 3.59    1.48    247517184 34.6     apollon028 3.35    1.44    226996224 28.9     apollon058
list-properties/simple_true-unreach-call_false-valid-memtrack.i 421     900     31944704 3050    apollon073 .326 .388 32198656 3.95 apollon006 951     895     151986176 8000    apollon123 112    73.7   3922837504 1170   apollon017 3.20    1.43    228708352 25.9     apollon098 3.21    1.41    227758080 30.3     apollon015 3.35    1.31    226627584 23.5     apollon063
list-properties/splice_true-unreach-call_false-valid-memtrack.i 408     900     31944704 3160    apollon137 .350 .407 32178176 4.26 apollon036 951     885     725934080 9650    apollon072 102    77.6   2336833536 756   apollon025 3.14    1.42    231837696 32.4     apollon126 3.21    1.40    231714816 26.5     apollon083 3.16    1.30    227172352 26.2     apollon043
ldv-regression/1_3_true-termination.c_false-unreach-call.i 3.67  3.28  32190464 48.8  apollon162 3.50  3.40  35307520 32.0  apollon093 .263 .287 32223232 2.40 apollon123 3.17 1.37  284635136 28.7 apollon102 .0112  .0119  991232 .0118  apollon053 .0121  .0118  995328 .00964 apollon035 .0134  .0136  819200 .00867 apollon120
ldv-regression/alt_test_true-termination.c_false-unreach-call.i 36.5   23.8   40497152 509    apollon039 .358 .364 31969280 4.90 apollon046 .450 .475 32088064 5.60 apollon055 4.39 1.56  304386048 37.3 apollon078 .0161  .0157  790528 .0104  apollon067 .0131  .0128  913408 .00848 apollon050 .0261  .0271  909312 .00299 apollon063
ldv-regression/callfpointer_true-termination.c_false-unreach-call.i 3.68  3.28  32063488 54.1  apollon164 3.54  3.43  35233792 24.0  apollon115 .253 .280 31977472 2.48 apollon040 2.98 1.23  277430272 23.4 apollon117 .0197  .0195  888832 .00439 apollon035 .0164  .0208  868352 .00732 apollon008 .00987 .0101  884736 .0106  apollon161
ldv-regression/fo_test_true-termination.c_false-unreach-call.i 16.8   16.8   41873408 218    apollon074 .346 .386 32088064 5.03 apollon056 .422 .472 32100352 4.86 apollon053 4.24 1.45  303984640 35.8 apollon168 .00798 .00824 884736 .00940 apollon047 .0124  .0123  913408 .00690 apollon120 .0123  .0123  905216 .0115  apollon036
ldv-regression/mutex_lock_int_true-termination.c_false-unreach-call.i 3.68  3.29  32141312 46.0  apollon003 3.48  3.37  35401728 27.0  apollon109 .262 .288 32059392 2.70 apollon074 3.03 1.30  277860352 26.9 apollon156 .00785 .0110  1015808 .0116  apollon070 .0126  .0131  876544 .0145  apollon088 .0169  .0166  905216 .0110  apollon005
ldv-regression/mutex_lock_struct_true-termination.c_false-unreach-call.i 3.64  3.26  31940608 74.5  apollon106 3.49  3.38  35819520 22.5  apollon103 .234 .262 32096256 2.99 apollon091 3.05 1.29  277422080 26.4 apollon133 .0101  .0102  856064 .00800 apollon164 .0138  .0142  1003520 .0119  apollon064 .0194  .0213  917504 .0159  apollon160
ldv-regression/recursive_list_true-termination.c_false-unreach-call.i 3.67  3.29  31997952 50.2  apollon061 3.48  3.38  35627008 32.4  apollon138 .234 .259 32047104 3.09 apollon112 3.11 1.33  279248896 29.6 apollon022 .00892 .00899 987136 .0134  apollon142 .00867 .00869 839680 .0126  apollon010 .0108  .0129  901120 .0103  apollon111
ldv-regression/rule57_ebda_blast_true-termination.c_false-unreach-call.i 268     900     32104448 2130    apollon105 .333 .360 35835904 4.66 apollon140 6.18  5.61  32714752 65.7  apollon002 3.28 1.38  282513408 29.2 apollon045 .0138  .0137  1036288 .0112  apollon037 .0295  .0311  802816 .00653 apollon032 .0111  .0107  995328 .00745 apollon041
ldv-regression/rule60_list2_true-termination.c_false-unreach-call_1.i 9.07  8.00  31768576 123    apollon097 .353 .410 32075776 3.94 apollon152 .442 .469 32006144 5.80 apollon153 4.41 1.62  304410624 37.5 apollon072 .0108  .0105  868352 .00861 apollon034 .00940 .00953 733184 .00720 apollon118 .0141  .0138  1101824 .00464 apollon075
ldv-regression/stateful_check_false-unreach-call_false-termination.i 82.4   67.5   32129024 1150    apollon010 18.8   17.3   14999998464 208    apollon083 4.16  3.99  93294592 47.6  apollon060 4.56 1.67  303656960 39.3 apollon165 .0121  .0131  856064 .00458 apollon091 .0104  .0102  1056768 .0116  apollon014 .0165  .0174  778240 .00647 apollon104
ldv-regression/test_while_int_true-termination.c_false-unreach-call.i 3.68  3.29  31981568 44.9  apollon041 3.53  3.39  35741696 13.0  apollon151 .260 .290 32149504 2.97 apollon159 3.32 1.38  282451968 29.9 apollon093 .0152  .0155  749568 .00964 apollon087 .0200  .0199  1003520 .00665 apollon082 .0228  .0230  921600 .00452 apollon120
ldv-regression/test_while_int_true-termination.c_false-unreach-call_1.i 3.69  3.29  32051200 43.1  apollon029 3.49  3.38  35389440 26.2  apollon020 .256 .286 32079872 2.69 apollon154 3.32 1.35  284827648 25.9 apollon040 .0160  .0163  962560 .00897 apollon004 .0109  .0108  876544 .0113  apollon018 .0127  .0131  897024 .0137  apollon021
ldv-regression/alias_of_return_2_true-termination.c_true-unreach-call.i 349     900     32141312 2900    apollon138 875     900     62992384 11300    apollon083 .260 .289 31989760 2.58 apollon083 2.59 1.12  267452416 26.5 apollon111 .0148  .0150  929792 .0110  apollon098 .0208  .0253  970752 .00604 apollon023 .0199  .0196  999424 .00458 apollon090
ldv-regression/alias_of_return_2_true-termination.c_true-unreach-call_1.i 230     900     31903744 1680    apollon096 950     853     326164480 12000    apollon135 .258 .288 31948800 2.63 apollon118 2.55 1.09  266452992 21.2 apollon128 .0175  .0172  864256 .00800 apollon064 .0110  .0112  839680 .0118  apollon067 .0143  .0151  765952 .00677 apollon112
ldv-regression/alias_of_return_true-termination.c_true-unreach-call.i 222     900     32276480 1790    apollon078 950     827     343425024 11400    apollon037 .247 .278 32124928 2.57 apollon003 2.58 1.11  268480512 21.7 apollon053 .0222  .0216  880640 .00623 apollon060 .0108  .0120  913408 .0131  apollon082 .0105  .0105  786432 .0117  apollon021
ldv-regression/alias_of_return_true-termination.c_true-unreach-call_1.i 231     900     32100352 1570    apollon144 950     853     325832704 12400    apollon102 .262 .292 32174080 2.63 apollon097 2.76 1.10  268828672 22.9 apollon071 .0102  .0141  892928 .0256  apollon006 .00658 .0102  724992 .00659 apollon123 .0148  .0146  856064 .00391 apollon062
ldv-regression/ex3_forlist_true-termination.c_true-unreach-call.i 228     900     32059392 2130    apollon094 .347 .378 37777408 4.66 apollon088 .252 .273 31952896 2.76 apollon026 6.12 2.05  312537088 48.6 apollon086 .00972 .0127  966656 .0106  apollon058 .00987 .00981 757760 .00000 apollon030 .0128  .0134  1019904 .00684 apollon025
ldv-regression/just_assert_true-termination.c_true-unreach-call.i 226     900     32043008 1570    apollon025 950     819     346431488 13400    apollon014 .253 .288 32145408 2.72 apollon049 2.36 1.03  273932288 20.5 apollon133 .0111  .0109  937984 .00745 apollon133 .0198  .0194  954368 .00446 apollon144 .0124  .0152  700416 .0206  apollon014
ldv-regression/mutex_lock_int_true-termination.c_true-unreach-call_1.i 223     900     31924224 2040    apollon036 950     845     325177344 12000    apollon120 .237 .267 32223232 2.83 apollon015 2.59 1.10  267874304 23.0 apollon156 .0108  .0119  974848 .00739 apollon124 .0133  .0188  987136 .0137  apollon133 .0104  .0148  876544 .0131  apollon141
ldv-regression/mutex_lock_struct_true-termination.c_true-unreach-call_1.i 191     900     31895552 3110    apollon016 950     836     332234752 13400    apollon007 .259 .287 31924224 2.51 apollon115 2.59 1.11  266489856 23.0 apollon018 .0121  .0121  913408 .00000 apollon038 .0134  .0133  909312 .00739 apollon158 .0172  .0172  876544 .00964 apollon010
ldv-regression/nested_structure_noptr_true-termination.c_true-unreach-call.i 230     900     31916032 1700    apollon131 950     840     326701056 12100    apollon097 .252 .283 32063488 3.06 apollon028 2.49 1.07  267505664 21.5 apollon133 .0147  .0156  847872 .00476 apollon023 .00894 .00868 933888 .0123  apollon069 .0155  .0158  880640 .00934 apollon076
ldv-regression/nested_structure_noptr_true-unreach-call_true-termination.i 226     900     32092160 1880    apollon051 950     845     346357760 12200    apollon142 .254 .281 32059392 2.46 apollon013 2.55 1.11  268677120 23.9 apollon067 .0160  .0154  835584 .0123  apollon162 .00960 .00948 905216 .0121  apollon001 .0105  .0103  860160 .00909 apollon105
ldv-regression/nested_structure_ptr_true-termination.c_true-unreach-call.i 222     900     32149504 1520    apollon153 950     852     325877760 12100    apollon162 .257 .285 32145408 2.46 apollon128 2.61 1.08  270786560 23.4 apollon051 .0155  .0182  884736 .00604 apollon129 .00914 .00915 901120 .00409 apollon031 .0102  .00996 880640 .00855 apollon042
ldv-regression/nested_structure_ptr_true-unreach-call_true-termination.i 213     900     31940608 1760    apollon029 951     778     347639808 10700    apollon022 .267 .296 32096256 2.87 apollon020 2.69 1.12  273788928 24.7 apollon005 .00890 .00916 839680 .0114  apollon129 .0104  .0103  905216 .00909 apollon108 .0206  .0204  1036288 .00513 apollon092
ldv-regression/nested_structure_true-termination.c_true-unreach-call.i 228     900     32034816 1610    apollon120 950     852     324222976 12700    apollon031 .233 .265 32096256 3.11 apollon101 2.62 1.14  271245312 23.0 apollon162 .0253  .0265  1028096 .00592 apollon125 .0202  .0200  921600 .00500 apollon159 .0214  .0209  872448 .00525 apollon055
ldv-regression/nested_structure_true-unreach-call_true-termination.i 218     900     31985664 2550    apollon160 950     816     331669504 13200    apollon008 .258 .286 32219136 2.82 apollon015 2.61 1.12  269750272 21.6 apollon100 .0167  .0165  733184 .00494 apollon005 .0133  .0144  925696 .00891 apollon111 .00737 .00755 729088 .0100  apollon030
ldv-regression/oomInt_true-termination.c_true-unreach-call.i 193     900     32092160 2270    apollon001 950     852     326279168 13700    apollon159 .233 .263 31989760 2.74 apollon018 2.55 1.10  266231808 21.7 apollon127 .0152  .0148  974848 .00781 apollon048 .0123  .0122  1007616 .00824 apollon022 .0146  .0148  1044480 .00000 apollon073
ldv-regression/oomInt_true-termination.c_true-unreach-call_1.i 217     900     32186368 1890    apollon134 950     824     330584064 12100    apollon038 .255 .286 32038912 2.75 apollon061 2.58 1.08  270225408 24.3 apollon167 .0181  .0190  1007616 .00732 apollon068 .00926 .00910 950272 .0128  apollon095 .0138  .0145  1019904 .0141  apollon062
ldv-regression/rule57_ebda_blast_true-termination.c_true-unreach-call_1.i 261     900     32014336 2200    apollon090 .339 .368 35876864 4.64 apollon094 6.77  6.22  32280576 71.3  apollon127 2.82 1.19  274546688 27.0 apollon101 .0128  .0167  880640 .00592 apollon129 .00618 .00774 708608 .00714 apollon152 .0113  .0110  741376 .00000 apollon018
ldv-regression/rule60_list2_true-termination.c_true-unreach-call.i 428     900     32043008 3570    apollon138 .328 .385 32075776 4.61 apollon056 .464 .509 32038912 5.57 apollon164 3.50 1.30  299286528 30.0 apollon085 .0140  .0196  823296 .00537 apollon045 .0143  .0136  884736 .00000 apollon048 .0143  .0138  884736 .00635 apollon145
ldv-regression/rule60_list_true-termination.c_true-unreach-call.i 205     900     32190464 2130    apollon058 .321 .380 31965184 3.65 apollon035 .366 .390 32145408 3.83 apollon002 3.39 1.27  293658624 26.3 apollon116 .0118  .0117  974848 .0102  apollon073 .0120  .0120  888832 .0115  apollon127 .00840 .0122  880640 .0150  apollon054
ldv-regression/sizeofparameters_test_true-termination.c_true-unreach-call.i 264     900     32047104 2930    apollon155 .455 .481 36184064 5.17 apollon066 .354 .392 32002048 4.55 apollon125 2.90 1.22  270802944 25.2 apollon120 .0136  .0134  1003520 .0115  apollon061 .0126  .0125  1036288 .00928 apollon113 .0146  .0143  978944 .0111  apollon149
ldv-regression/structure_assignment_true-termination.c_true-unreach-call.i 225     900     32239616 1940    apollon049 950     839     327884800 10500    apollon054 .244 .274 32092160 2.98 apollon167 2.81 1.10  289882112 28.8 apollon021 .00789 .00806 897024 .0116  apollon052 .0276  .0286  929792 .00684 apollon067 .0112  .0113  892928 .00903 apollon012
ldv-regression/test_address_true-termination.c_true-unreach-call.i 230     900     32018432 2040    apollon122 .350 .411 32174080 3.80 apollon135 .357 .379 32038912 4.56 apollon130 2.98 1.21  273424384 30.0 apollon033 .00806 .00801 827392 .00311 apollon165 .00858 .00869 1081344 .0153  apollon039 .0137  .0132  872448 .00946 apollon087
ldv-regression/test_cut_trace_true-termination.c_true-unreach-call.i 221     900     31956992 1770    apollon048 950     853     326275072 13000    apollon091 .242 .275 32133120 2.91 apollon132 2.56 1.09  265003008 24.6 apollon164 .0274  .0287  884736 .00793 apollon045 .0242  .0241  974848 .00745 apollon112 .0129  .0129  794624 .00806 apollon015
ldv-regression/test_malloc-1_true-unreach-call_true-termination.i 187     900     31997952 3320    apollon140 950     852     308445184 12300    apollon102 .308 .386 32260096 3.77 apollon031 2.99 1.20  272470016 27.2 apollon032 .0137  .0144  839680 .00757 apollon045 .0124  .0121  745472 .00958 apollon070 .0240  .0241  937984 .0142  apollon009
ldv-regression/test_malloc-2_true-unreach-call_true-termination.i 205     900     32165888 1810    apollon045 950     815     348368896 11300    apollon144 .308 .387 32120832 3.41 apollon144 2.95 1.20  270372864 27.9 apollon152 .00716 .00709 1003520 .0100  apollon013 .00658 .00985 958464 .0107  apollon053 .0152  .0150  942080 .00555 apollon021
ldv-regression/test_overflow_true-termination.c_true-unreach-call.i 221     900     40407040 2130    apollon085 .388 .395 32030720 4.56 apollon070 .459 .504 31834112 5.29 apollon072 3.51 1.29  297271296 28.4 apollon079 .0108  .0106  815104 .00885 apollon041 .0140  .0133  929792 .00806 apollon054 .0295  .0293  925696 .00555 apollon101
ldv-regression/test_union_cast-1_true-unreach-call_true-termination.i 229     900     32137216 2080    apollon094 951     854     324886528 13600    apollon059 .235 .265 32092160 2.60 apollon149 2.48 1.08  269651968 24.1 apollon019 .0133  .0131  1007616 .00653 apollon118 .0110  .0112  864256 .0116  apollon081 .0160  .0158  782336 .00995 apollon111
ldv-regression/test_union_cast-2_true-unreach-call_true-termination.i 208     900     32215040 2250    apollon114 950     853     326651904 11900    apollon050 .236 .261 32145408 2.75 apollon066 2.62 1.10  267943936 24.4 apollon101 .0120  .0123  1011712 .00958 apollon084 .0209  .0213  827392 .00708 apollon033 .00866 .00855 905216 .00000 apollon110
ldv-regression/test_union_cast_true-termination.c_true-unreach-call.i 200     900     32129024 2210    apollon084 950     832     346656768 11700    apollon097 .236 .266 32055296 2.65 apollon144 2.56 1.09  269443072 23.1 apollon084 .00989 .0106  802816 .00879 apollon006 .0285  .0303  909312 .00787 apollon008 .0135  .0134  880640 .0110  apollon019
ldv-regression/test_union_cast_true-termination.c_true-unreach-call_1.i 224     900     32079872 1820    apollon157 950     853     327151616 12300    apollon076 .260 .290 32178176 2.59 apollon144 2.54 1.06  267042816 21.7 apollon058 .0158  .0162  901120 .00909 apollon163 .0254  .0267  892928 .00873 apollon165 .0135  .0133  774144 .00964 apollon093
ldv-regression/test_union_true-termination.c_true-unreach-call.i 227     900     31977472 1910    apollon081 950     853     326602752 10900    apollon098 .234 .264 31916032 2.67 apollon133 2.46 1.05  267255808 23.4 apollon067 .0110  .0107  937984 .0101  apollon076 .00724 .0109  749568 .0109  apollon072 .0277  .0287  1003520 .00555 apollon147
ldv-regression/test_union_true-termination.c_true-unreach-call_1.i 225     900     32018432 1820    apollon157 950     842     325758976 12500    apollon146 .248 .281 32223232 2.68 apollon026 2.81 1.18  268275712 26.1 apollon091 228       981       189734912 2810       apollon091 2.33    1.20    183156736 23.8     apollon015 2.21    1.07    182681600 24.5     apollon039
ldv-regression/volatile_alias_true-termination.c_true-unreach-call.i 230     900     31973376 1910    apollon136 950     815     346841088 12000    apollon084 .247 .278 32096256 2.43 apollon013 2.57 1.07  265302016 24.6 apollon081 .0133  .0131  831488 .00934 apollon038 .0199  .0196  860160 .00781 apollon048 .00613 .00967 761856 .0132  apollon062
ldv-regression/volatile_alias_true-termination.c_true-unreach-call_1.i 224     900     32071680 1790    apollon087 950     839     325783552 14900    apollon056 .269 .307 32043008 2.59 apollon035 2.56 1.08  269303808 21.2 apollon116 .0137  .0136  937984 .0142  apollon068 .0123  .0137  843776 .00897 apollon143 .0158  .0157  884736 .00787 apollon068
ldv-regression/test02_false-unreach-call_true-termination.c 3.67  3.28  32317440 45.3  apollon066 3.51  3.41  35819520 32.2  apollon009 .254 .284 32022528 2.97 apollon087 3.19 1.50  301989888 32.8 apollon057 .00678 .00722 987136 .0110  apollon104 .0204  .0214  880640 .00684 apollon104 .0151  .0156  1024000 .0197  apollon109
ldv-regression/test06_false-unreach-call_true-termination.c 3.68  3.30  32067584 43.2  apollon123 3.52  3.40  35450880 24.6  apollon032 .243 .273 32038912 2.82 apollon145 3.16 1.33  283119616 24.6 apollon158 .0279  .0271  831488 .00562 apollon124 .0105  .0134  880640 .0106  apollon084 .0150  .0149  1007616 .00549 apollon073
ldv-regression/test08_false-unreach-call_true-termination.c 3.68  3.27  32051200 55.7  apollon027 3.54  3.41  37711872 17.9  apollon163 .258 .285 31961088 2.75 apollon018 3.24 1.38  283230208 27.1 apollon058 .00961 .00984 724992 .0104  apollon132 .0134  .0149  921600 .00928 apollon155 .0223  .0217  786432 .00897 apollon064
ldv-regression/test12_false-unreach-call_true-termination.c 3.66  3.28  32088064 46.4  apollon025 3.49  3.40  37486592 37.0  apollon155 .244 .274 31961088 2.74 apollon129 3.06 1.27  279453696 31.4 apollon021 .0113  .0120  876544 .00971 apollon068 .0294  .0289  884736 .0112  apollon094 .0177  .0188  913408 .0101  apollon080
ldv-regression/test21_false-unreach-call_true-termination.c 3.76  3.40  32137216 50.5  apollon121 2.28  3.40  35221504 29.9  apollon024 .305 .347 31932416 6.83 apollon106 3.14 1.34  281501696 25.2 apollon092 .00876 .0126  888832 .0117  apollon090 .0105  .0114  876544 .00940 apollon134 .0152  .0150  913408 .00000 apollon109
ldv-regression/test22_false-unreach-call.c 419     900     31866880 3120    apollon070 15.4   13.2   14999998464 206    apollon027 3.68  3.53  32067584 44.0  apollon011 3.50 1.45  291704832 29.9 apollon042 .0119  .0128  843776 .00671 apollon040 .0111  .0109  729088 .00000 apollon039 .0130  .0128  851968 .0105  apollon136
ldv-regression/test23_false-unreach-call.c 3.73  3.40  32215040 52.1  apollon076 2.30  3.41  40058880 32.2  apollon036 .814 .790 32034816 7.86 apollon151 27.0  12.3   1622577152 255   apollon015 .00841 .0115  983040 .00873 apollon051 .0186  .0215  1003520 .00800 apollon117 .0130  .0150  946176 .00842 apollon068
ldv-regression/test24_false-unreach-call.c 3.64  3.30  32149504 49.1  apollon147 .738 3.39  35360768 13.6  apollon047 .375 .415 32051200 3.64 apollon153 12.1  3.37  466370560 96.1 apollon042 .0115  .0120  1040384 .0296  apollon064 .0110  .0108  909312 .00708 apollon157 .0109  .0108  806912 .0114  apollon167
ldv-regression/test25_false-unreach-call_true-termination.c 3.64  3.29  32169984 48.8  apollon107 .982 3.41  35700736 15.5  apollon153 .606 .602 32985088 6.54 apollon072 8.56 2.48  473624576 61.9 apollon045 .0179  .0175  933888 .00470 apollon102 .0256  .0264  897024 .00757 apollon048 .0270  .0264  864256 .00855 apollon159
ldv-regression/test26_false-unreach-call_true-termination.c 3.70  3.30  31916032 54.7  apollon125 3.49  3.39  35487744 36.2  apollon047 .258 .288 31899648 2.85 apollon147 3.16 1.35  276393984 28.2 apollon118 .00845 .00894 770048 .0125  apollon039 .0119  .0123  995328 .0127  apollon080 .00936 .00942 880640 .00781 apollon117
ldv-regression/test27_false-unreach-call_true-termination.c .322 .409 31916032 3.11 apollon115 557     900     35688448 3810    apollon122 951     869     130686976 12800    apollon167 6.97 2.11  391266304 51.8 apollon054 .0133  .0136  1073152 .00763 apollon139 .0117  .0115  880640 .0101  apollon011 .00861 .00828 1024000 .0168  apollon039
ldv-regression/test28_false-unreach-call_true-termination.c 3.64  3.31  32108544 55.2  apollon126 3.47  3.38  35487744 34.8  apollon009 .265 .273 32112640 3.41 apollon088 3.07 1.31  280117248 28.5 apollon067 .0118  .0121  978944 .00873 apollon162 .0110  .0156  774144 .00922 apollon047 .0184  .0213  892928 .00690 apollon110
ldv-regression/test29_false-unreach-call_true-termination.c 3.63  3.30  31993856 43.3  apollon128 3.51  3.41  35696640 34.3  apollon002 .315 .410 32030720 3.18 apollon096 3.22 1.29  288837632 29.0 apollon102 .0163  .0162  880640 .00665 apollon005 .0112  .0110  1052672 .0186  apollon005 .0238  .0245  999424 .00568 apollon048
ldv-regression/test30_false-unreach-call_true-termination.c 3.68  3.29  32104448 49.0  apollon061 3.52  3.38  35442688 19.5  apollon070 .249 .275 31969280 2.80 apollon085 3.10 1.32  277307392 28.3 apollon084 .0113  .0125  1208320 .0114  apollon043 .0114  .0115  966656 .00842 apollon067 .0190  .0203  765952 .00458 apollon115
ldv-regression/test01_true-unreach-call_true-termination.c 227     900     31817728 1940    apollon049 950     852     325758976 13600    apollon088 .260 .293 32047104 2.53 apollon157 2.61 1.09  266866688 24.1 apollon015 .00803 .0106  835584 .00000 apollon052 .00988 .0108  974848 .00946 apollon091 .00854 .0127  860160 .00647 apollon074
ldv-regression/test03_true-unreach-call_true-termination.c 226     900     31969280 2030    apollon036 950     852     326008832 11000    apollon128 .259 .289 31993856 3.10 apollon008 2.58 1.10  267571200 23.3 apollon070 .0292  .0312  991232 .00671 apollon131 .0114  .0111  1073152 .0112  apollon019