Tool CPAchecker 1.6.1-svn 24048 SMACK+Corral 1.7.2 ULTIMATE Automizer f7c3ed31 CMCReduction CMC Reduction 1.0
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8 timelimit: 200 s, memlimit: 15000 MB, CPU core limit: 8 timelimit: 950 s, memlimit: 15000 MB, CPU core limit: 8
Host apollon*
OS Linux 4.4.0-104-generic Linux 4.4.0-109-generic Linux 4.4.0-112-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33553 MB
Date of execution 2017-12-28 09:17:26 CET 2017-12-28 09:23:50 CET 2018-01-20 16:58:25 CET 2018-02-06 16:22:09 CET 2018-02-08 18:41:03 CET 2018-02-08 20:20:06 CET 2018-02-08 20:49:19 CET
Run set cpa-seq.sv-comp17 smack.sv-comp17 uautomizer.sv-comp17 congen.predicate conditions-predicate-reducer-verifiers.cpa-seq conditions-predicate-reducer-verifiers.SMACK conditions-predicate-reducer-verifiers.UAutomizer
Options -sv-comp17 -heap 10000M -disable-java-assertions -noout -w error-witness.graphml -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 CPA-seq -condverif -noout -condverif -disable-java-assertions -condverif -heap 10000M -reducer -stack 800M -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 SMACK -condfile conditions/predicate.${inputfile_name}.files/output/AssumptionAutomaton.txt.gz -reducer -setprop cpa.composite.aggregateBasicBlocks=false -reducer -stack 800M -reducer -setprop residualprogram.strategy=CONDITION -verif none -type UAutomizer
../../sv-benchmarks/c/ status cputime (s) walltime (s) memUsage cpuenergy (J) host status cputime (s) walltime (s) memUsage cpuenergy (J) host status cputime (s) walltime (s) memUsage cpuenergy (J) host 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 901    836     4294193152 12600   apollon112 2.99   2.83   117194752 36.6   apollon110 900    760    5472624640 13300   apollon068 2.52 1.07  272412672 23.6 apollon152 903       858       1453580288 12100       apollon147 2.05    .863   186466304 19.7     apollon146 10.0     3.49    303710208 84.5     apollon038
array-examples/sorting_bubblesort_false-unreach-call2_ground.i 901    863     2238939136 12700   apollon006 2.38   2.32   95956992 31.8   apollon017 901    755    2494128128 12700   apollon162 2.48 1.06  266936320 22.8 apollon077 903       862       2236530688 11300       apollon090 1.92    .835   177684480 18.4     apollon067 951       802       3156320256 15100       apollon106
array-examples/sorting_bubblesort_false-unreach-call_ground.i 901    860     2446741504 12200   apollon017 2.38   2.30   91672576 34.4   apollon014 900    753    3161489408 12800   apollon145 2.58 1.06  271364096 23.2 apollon146 903       862       1421131776 11600       apollon078 1.96    .847   182226944 17.1     apollon109 950       800       2100469760 12000       apollon134
array-examples/sorting_selectionsort_false-unreach-call2_ground.i 901    858     2461175808 11200   apollon086 18.7    17.7    563429376 241     apollon126 900    721    2609360896 12500   apollon082 2.52 1.05  273469440 25.9 apollon021 903       861       2233339904 13800       apollon030 1.91    .853   188465152 18.2     apollon095 951       768       2411257856 12800       apollon129
array-examples/sorting_selectionsort_false-unreach-call_ground.i 901    859     2243305472 11500   apollon144 119      118      662609920 1550     apollon046 900    718    2417569792 12600   apollon097 2.51 1.10  269996032 22.5 apollon070 903       861       2238189568 11100       apollon099 2.19    .931   184516608 19.6     apollon006 951       771       2065657856 13500       apollon022
array-examples/standard_allDiff2_false-unreach-call_ground.i 901    862     2237181952 11900   apollon004 19.7    19.3    135065600 235     apollon153 901    738    5882716160 11300   apollon083 2.55 1.02  272674816 20.6 apollon100 903       862       1423626240 13100       apollon027 2.06    .838   178601984 16.5     apollon029 951       801       5302128640 12300       apollon013
array-examples/standard_copy1_false-unreach-call_ground.i 901    865     2222166016 11100   apollon035 2.26   2.16   89886720 28.3   apollon082 900    724    3221192704 12000   apollon045 2.47 1.04  270622720 21.5 apollon012 903       865       2227683328 10900       apollon100 2.01    .846   185397248 16.6     apollon060 950       754       3535085568 14200       apollon077
array-examples/standard_copy2_false-unreach-call_ground.i 901    862     2242945024 11000   apollon003 2.34   2.21   120496128 29.4   apollon093 901    727    3099385856 14400   apollon126 2.63 1.07  266743808 24.9 apollon044 903       865       2413330432 13100       apollon033 1.94    .840   186929152 19.0     apollon015 951       751       2769952768 12600       apollon026
array-examples/standard_copy3_false-unreach-call_ground.i 901    862     2240798720 10300   apollon151 2.43   2.32   87076864 34.0   apollon044 901    731    2809925632 13200   apollon091 2.54 1.10  266362880 21.5 apollon157 903       867       2226192384 12700       apollon024 2.04    .861   180948992 18.0     apollon050 951       750       2703798272 12600       apollon129
array-examples/standard_copy4_false-unreach-call_ground.i 901    864     2419892224 12800   apollon132 2.48   2.33   95789056 30.7   apollon120 901    727    3399516160 12200   apollon157 2.57 1.05  271839232 23.3 apollon112 903       865       2436726784 13000       apollon077 1.93    .841   184225792 18.5     apollon113 951       758       3921940480 13100       apollon085
array-examples/standard_copy5_false-unreach-call_ground.i 901    862     2224635904 11800   apollon147 2.62   2.44   106938368 31.1   apollon074 901    730    3203186688 13000   apollon022 2.76 1.09  293363712 23.0 apollon025 903       865       2227556352 11700       apollon135 1.95    .844   179585024 17.6     apollon042 950       752       3767922688 12000       apollon100
array-examples/standard_copy6_false-unreach-call_ground.i 901    863     2223095808 13600   apollon030 2.63   2.41   118546432 34.1   apollon114 901    730    3027648512 14200   apollon148 2.47 1.03  267083776 22.3 apollon120 903       864       2227154944 13400       apollon163 2.01    .848   185212928 21.2     apollon036 950       750       4121145344 13800       apollon024
array-examples/standard_copy7_false-unreach-call_ground.i 901    862     2236727296 11100   apollon003 2.74   2.53   104001536 36.1   apollon112 900    730    3571367936 11200   apollon043 2.52 1.07  271093760 25.7 apollon057 903       866       2417360896 10100       apollon158 2.05    .850   181219328 17.8     apollon149 950       749       2714509312 15900       apollon111
array-examples/standard_copy8_false-unreach-call_ground.i 901    862     2431373312 9300   apollon063 2.83   2.56   130199552 31.5   apollon104 901    730    3774210048 11900   apollon053 2.74 1.13  269246464 23.6 apollon015 903       864       2233712640 11200       apollon023 2.09    .907   191983616 16.3     apollon151 951       747       2777755648 15000       apollon030
array-examples/standard_copy9_false-unreach-call_ground.i 901    863     2255601664 11600   apollon121 2.94   2.65   143265792 32.9   apollon127 901    730    2807660544 13800   apollon130 2.61 1.06  270417920 21.9 apollon045 903       865       2226270208 12000       apollon076 1.96    .852   179322880 17.1     apollon083 950       753       3498639360 14500       apollon167
array-examples/standard_copyInitSum2_false-unreach-call_ground.i 901    869     898576384 12000   apollon070 2.13   2.08   86757376 26.1   apollon121 901    793    3355217920 11300   apollon139 2.44 1.04  267759616 21.5 apollon085 903       870       703012864 12100       apollon096 1.92    .848   183996416 16.7     apollon139 951       802       2465738752 12900       apollon011
array-examples/standard_init1_false-unreach-call_ground.i 901    871     904359936 11800   apollon051 2.02   1.98   85069824 24.4   apollon096 901    718    2055585792 12500   apollon032 2.45 1.04  267902976 20.9 apollon157 903       871       669130752 13600       apollon106 1.89    .837   185896960 18.9     apollon019 951       748       2161594368 13100       apollon087
array-examples/standard_init2_false-unreach-call_ground.i 901    868     706400256 11800   apollon156 2.01   1.95   86298624 23.3   apollon115 901    762    2103623680 13200   apollon114 2.38 1.03  268550144 22.5 apollon067 903       869       723861504 10400       apollon029 1.93    .837   185860096 19.5     apollon138 951       784       1905491968 11600       apollon029
array-examples/standard_init3_false-unreach-call_ground.i 901    870     704823296 13500   apollon094 2.05   1.98   87625728 25.7   apollon015 901    783    2726969344 12500   apollon097 2.47 1.02  271982592 25.8 apollon021 903       870       726028288 12200       apollon146 1.87    .834   178978816 18.6     apollon114 951       802       2478997504 13200       apollon076
array-examples/standard_init4_false-unreach-call_ground.i 901    869     757116928 11200   apollon109 2.06   1.98   83079168 24.4   apollon119 900    791    3293446144 12600   apollon085 2.61 1.08  274423808 20.3 apollon089 903       870       808996864 14600       apollon039 2.21    .939   183570432 20.2     apollon015 950       809       2601947136 11800       apollon128
array-examples/standard_init5_false-unreach-call_ground.i 901    869     783704064 12100   apollon142 2.07   1.98   86978560 25.5   apollon145 901    799    3565613056 12700   apollon004 2.56 1.04  266813440 22.3 apollon118 903       869       709558272 11700       apollon074 1.89    .844   187420672 20.1     apollon163 951       819       2898898944 15200       apollon080
array-examples/standard_init6_false-unreach-call_ground.i 901    869     865030144 11700   apollon135 2.11   1.99   79605760 27.0   apollon138 900    796    4769587200 11100   apollon123 2.57 1.05  267812864 23.4 apollon152 903       869       760238080 11000       apollon100 1.93    .845   183324672 17.7     apollon150 951       817       2970071040 13300       apollon142
array-examples/standard_init7_false-unreach-call_ground.i 901    868     765280256 13500   apollon088 2.11   1.98   84529152 27.4   apollon091 901    798    5046497280 14200   apollon163 2.48 1.04  269676544 25.6 apollon021 903       869       650760192 11100       apollon134 2.01    .855   184045568 17.8     apollon050 951       829       3920855040 13100       apollon011
array-examples/standard_init8_false-unreach-call_ground.i 901    868     766357504 14200   apollon021 2.15   2.09   80961536 26.0   apollon075 900    802    5034758144 12800   apollon004 2.50 1.06  268128256 21.8 apollon018 903       869       637198336 11600       apollon110 2.00    .846   181829632 18.4     apollon032 950       826       3970846720 12600       apollon079
array-examples/standard_init9_false-unreach-call_ground.i 901    868     771973120 12000   apollon004 2.20   2.12   113897472 27.2   apollon038 900    803    5136531456 13800   apollon077 2.54 1.05  269008896 26.2 apollon039 903       869       767590400 13200       apollon140 1.97    .859   187891712 19.9     apollon048 950       832       4585906176 14600       apollon108
array-examples/standard_minInArray_false-unreach-call_ground.i 901    861     1381941248 11500   apollon034 2.06   1.95   84926464 26.5   apollon138 900    757    2112425984 12100   apollon026 2.61 1.02  267812864 23.6 apollon015 903       864       1407418368 14100       apollon160 1.90    .834   186437632 16.7     apollon115 950       799       2010173440 14400       apollon019
array-examples/standard_partition_false-unreach-call_ground.i 901    864     2229690368 11700   apollon032 2.34   2.24   87805952 25.7   apollon041 900    796    3282030592 11000   apollon054 2.51 1.06  268705792 21.6 apollon082 903       862       2246713344 12200       apollon101 2.00    .856   187297792 20.8     apollon056 950       828       3280879616 12400       apollon003
array-examples/standard_running_false-unreach-call.i 901    863     1403396096 11000   apollon104 2.41   2.35   105861120 27.5   apollon143 900    799    3186565120 12700   apollon162 2.64 1.07  264208384 21.3 apollon053 903       864       2238898176 11000       apollon083 1.99    .908   179175424 17.2     apollon157 950       846       2379653120 13100       apollon072
array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i 155    143     2254331904 2010   apollon132 2.46   2.33   94326784 30.1   apollon018 7.68 2.35 362954752 61.0 apollon136 2.60 1.06  272642048 20.8 apollon151 157       144       1195450368 1980       apollon008 2.06    .863   186101760 17.3     apollon100 10.1     3.53    306970624 85.3     apollon113
array-examples/data_structures_set_multi_proc_true-unreach-call_ground.i 901    856     3716763648 14200   apollon111 881      880      217825280 11100     apollon049 900    779    5178568704 13200   apollon101 2.47 1.06  266264576 20.2 apollon117 903       860       2223972352 12000       apollon118 2.00    .852   188526592 18.9     apollon147 10.0     3.51    307081216 91.1     apollon020
array-examples/relax_true-unreach-call.i 904    472     5247045632 10600   apollon044 881      880      364322816 8470     apollon123 900    833    964345856 11100   apollon074 6.31 2.05  316092416 54.9 apollon007 6.50    2.32    273395712 53.1     apollon029 3.61    1.18    248274944 31.3     apollon153 12.2     3.98    307220480 98.1     apollon105
array-examples/sanfoundry_02_true-unreach-call_ground.i 901    862     2246287360 12700   apollon024 1.58   1.52   87998464 17.8   apollon040 900    782    2081845248 12900   apollon102 2.54 1.05  269328384 20.6 apollon099 903       865       2472550400 13100       apollon047 1.98    .859   184479744 18.9     apollon055 951       824       1602039808 13700       apollon052
array-examples/sanfoundry_10_true-unreach-call_ground.i 905    598     6312153088 8830   apollon097 4.51   4.39   86851584 57.7   apollon078 900    836    1400360960 14100   apollon140 101    73.5   3730948096 1140   apollon018 909       603       4966854656 8660       apollon137 3.11    1.19    230285312 26.7     apollon006 951       888       1261367296 15100       apollon125
array-examples/sanfoundry_24_true-unreach-call_true-termination.i 901    862     3904319488 13100   apollon132 881      880      311324672 11200     apollon146 7.49 2.30 367398912 53.3 apollon143 2.46 1.05  268558336 22.1 apollon084 903       861       2234781696 11600       apollon137 1.94    .856   181616640 20.8     apollon160 8.27    2.93    321576960 70.1     apollon156
array-examples/sanfoundry_27_true-unreach-call_ground.i 901    863     2247888896 12200   apollon152 2.01   2.02   89694208 26.5   apollon138 901    753    2767663104 13000   apollon067 2.48 1.06  265367552 21.5 apollon072 903       867       2236284928 11600       apollon034 1.95    .849   187146240 20.2     apollon122 951       797       2110541824 15000       apollon033
array-examples/sanfoundry_43_true-unreach-call_ground.i 92.5  87.1   2257088512 1020   apollon127 1.37   1.37   71798784 16.6   apollon096 6.32 1.85 343998464 47.2 apollon154 2.53 1.05  266354688 25.7 apollon160 .0147  .0144  942080 .0190  apollon011 .0211  .0219  888832 .00855 apollon094 .0162  .0160  778240 .00940 apollon093
array-examples/sorting_bubblesort_true-unreach-call_ground.i 901    862     2228862976 11500   apollon050 22.8    22.5    139190272 282     apollon156 901    754    2489831424 11800   apollon035 2.53 1.08  269271040 21.5 apollon157 903       864       2224873472 12800       apollon132 1.92    .846   181248000 18.6     apollon076 951       803       2172571648 13500       apollon009
array-examples/sorting_selectionsort_true-unreach-call_ground.i 901    857     2474811392 11200   apollon035 882      981      765296640 11100     apollon046 901    722    2590367744 11800   apollon066 2.50 1.04  269221888 21.7 apollon026 903       861       2243747840 10900       apollon002 2.01    .876   190410752 17.8     apollon150 951       772       2069532672 12800       apollon107
array-examples/standard_compareModified_true-unreach-call_ground.i 901    862     2246279168 13600   apollon080 1.55   1.53   77062144 20.5   apollon019 901    754    2278416384 13000   apollon022 2.37 1.05  269266944 21.6 apollon087 903       866       2238758912 11400       apollon062 1.95    .845   180621312 18.9     apollon124 950       799       2412748800 14100       apollon005
array-examples/standard_compare_true-unreach-call_ground.i 901    863     2239426560 13200   apollon014 1.88   1.77   80769024 23.8   apollon024 901    734    2566397952 14700   apollon016 2.49 1.04  266219520 21.2 apollon002 903       866       2231894016 11700       apollon135 1.91    .830   183123968 18.8     apollon146 950       770       2356736000 12000       apollon041
array-examples/standard_copy1_true-unreach-call_ground.i 901    866     2408681472 11700   apollon049 2.21   2.15   85229568 34.4   apollon056 900    718    2548277248 12100   apollon075 2.46 1.06  264511488 21.5 apollon072 903       867       2230607872 11600       apollon129 1.88    .833   181116928 19.4     apollon020 951       750       2812559360 12900       apollon051
array-examples/standard_copy2_true-unreach-call_ground.i 901    864     2241961984 11900   apollon018 2.29   2.18   85991424 31.8   apollon148 901    727    2771775488 11500   apollon128 2.68 1.09  274247680 19.3 apollon158 903       867       2232733696 11700       apollon133 1.92    .837   182829056 18.1     apollon067 951       753       3249041408 11400       apollon054
array-examples/standard_copy3_true-unreach-call_ground.i 901    865     2410418176 11200   apollon166 2.42   2.33   82055168 29.8   apollon009 901    731    2498093056 12600   apollon120 2.48 1.05  263942144 23.7 apollon161 903       867       2402664448 12900       apollon068 1.98    .841   184422400 18.0     apollon070 951       752       2702475264 15300       apollon036
array-examples/standard_copy4_true-unreach-call_ground.i 901    862     2407043072 10700   apollon143 2.54   2.39   85958656 28.8   apollon089 901    727    2502062080 13400   apollon048 2.50 1.07  270069760 22.7 apollon093 903       866       2415677440 13200       apollon122 1.95    .831   177049600 18.6     apollon118 950       748       2799587328 11600       apollon029
array-examples/standard_copy5_true-unreach-call_ground.i 901    865     2228797440 11500   apollon050 2.76   2.68   90882048 35.2   apollon018 901    731    4756398080 12800   apollon102 2.54 1.08  270479360 23.8 apollon020 903       866       2233671680 11200       apollon086 1.94    .847   180998144 18.1     apollon119 951       751       2104250368 11800       apollon143
array-examples/standard_copy6_true-unreach-call_ground.i 901    864     2415435776 12800   apollon064 2.97   2.84   90656768 35.6   apollon157 901    729    2960171008 13600   apollon077 2.49 1.05  264380416 24.6 apollon081 903       864       2442559488 13900       apollon044 1.95    .842   183590912 19.6     apollon094 950       752       2650628096 13000       apollon135
array-examples/standard_copy7_true-unreach-call_ground.i 901    862     2223091712 11600   apollon051 3.05   2.94   94359552 35.6   apollon079 901    730    2341724160 12600   apollon120 2.72 1.06  294158336 23.9 apollon120 903       864       2230751232 12000       apollon142 2.09    .880   184020992 21.7     apollon036 950       751       2726490112 13900       apollon048
array-examples/standard_copy8_true-unreach-call_ground.i 901    863     2236997632 12300   apollon101 3.24   3.12   98054144 43.3   apollon019 901    728    2469474304 11800   apollon127 2.65 1.05  291987456 24.5 apollon077 903       864       2233118720 11200       apollon137 2.08    .882   184602624 17.1     apollon029 950       753       2873298944 13000       apollon037
array-examples/standard_copy9_true-unreach-call_ground.i 901    862     2421035008 10800   apollon117 3.28   3.14   105418752 39.7   apollon154 901    732    2418810880 11500   apollon128 2.56 1.06  270852096 22.6 apollon084 903       865       2229116928 11400       apollon012 2.00    .885   183652352 16.7     apollon134 950       751       2882433024 13200       apollon097
array-examples/standard_copyInitSum2_true-unreach-call_ground.i 901    869     703852544 12100   apollon022 2.23   2.15   83595264 30.4   apollon132 901    787    3118923776 13300   apollon048 2.56 1.04  271286272 21.4 apollon045 903       869       869363712 11700       apollon037 1.87    .820   179822592 17.8     apollon168 950       797       2323238912 15500       apollon111
array-examples/standard_copyInitSum3_true-unreach-call_ground.i 901    869     729128960 12600   apollon124 2.68   2.56   88940544 29.4   apollon054 900    800    4847013888 13600   apollon064 2.48 1.06  270450688 21.2 apollon082 903       869       723611648 11700       apollon074 1.97    .836   182804480 17.7     apollon001 950       814       2192932864 13700       apollon046
array-examples/standard_copyInitSum_true-unreach-call_ground.i 901    869     867565568 12200   apollon015 2.15   2.12   79044608 30.1   apollon088 900    793    3255140352 12700   apollon142 2.49 1.05  270446592 24.7 apollon106 903       870       748847104 14700       apollon056 2.00    .881   178814976 17.6     apollon157 951       803       2331607040 12700       apollon157
array-examples/standard_copyInit_true-unreach-call_ground.i 901    869     713707520 11800   apollon001 1.93   1.88   83779584 22.2   apollon153 901    781    2701381632 14100   apollon126 2.46 1.09  266682368 24.3 apollon030 903       870       774639616 13100       apollon077 1.91    .831   184811520 16.2     apollon083 951       784       2045878272 12800       apollon144
array-examples/standard_find_true-unreach-call_ground.i 901    864     2404204544 13300   apollon014 2.54   2.46   85991424 32.5   apollon135 901    725    2297868288 12200   apollon073 2.48 1.05  268480512 25.1 apollon057 903       865       2440527872 10400       apollon151 1.87    .833   181473280 16.4     apollon003 951       754       3465875456 10600       apollon063
array-examples/standard_init1_true-unreach-call_ground.i 901    870     803471360 11500   apollon062 1.76   1.68   78725120 20.4   apollon086 900    720    2065612800 11900   apollon115 2.48 1.03  265166848 21.4 apollon095 903       871       694898688 11800       apollon156 1.94    .823   178528256 16.3     apollon083 951       752       2365079552 12300       apollon060
array-examples/standard_init2_true-unreach-call_ground.i 901    869     859033600 13900   apollon016 1.83   1.77   76128256 20.2   apollon098 900    763    2354143232 12500   apollon120 2.59 1.06  271470592 19.1 apollon092 903       870       713551872 10900       apollon143 2.00    .836   181927936 17.9     apollon079 951       784       2264596480 12600       apollon073
array-examples/standard_init3_true-unreach-call_ground.i 901    869     788164608 13300   apollon130 1.87   1.77   81928192 21.8   apollon086 901    786    2855460864 12900   apollon146 2.48 1.02  269938688 21.0 apollon058 903       870       699449344 10900       apollon040 2.01    .921   184954880 17.0     apollon060 951       799       2330001408 11800       apollon139
array-examples/standard_init4_true-unreach-call_ground.i 901    869     727855104 12200   apollon142 1.95   1.87   74272768 22.1   apollon116 901    790    3377590272 13200   apollon138 2.47 1.04  266502144 20.6 apollon127 903       869       779976704 12000       apollon004 2.05    .876   180416512 18.4     apollon015 951       815       2452996096 12700       apollon075
array-examples/standard_init5_true-unreach-call_ground.i 901    869     783847424 12400   apollon152 2.06   1.99   81645568 23.3   apollon109 901    798    4014166016 12800   apollon061 2.58 1.07  267907072 22.5 apollon142 903       869       764284928 13100       apollon167 1.99    .848   184684544 19.1     apollon112 951       813       2924695552 14700       apollon069
array-examples/standard_init6_true-unreach-call_ground.i 901    869     853499904 13600   apollon069 2.07   1.96   83742720 25.9   apollon038 901    796    5057073152 11900   apollon104 2.44 1.05  267489280 20.0 apollon098 903       869       733130752 13500       apollon088 1.95    .866   180170752 19.2     apollon141 951       821       3097337856 14200       apollon077
array-examples/standard_init7_true-unreach-call_ground.i 901    867     736808960 11700   apollon121 2.15   2.09   78585856 24.9   apollon025 900    801    5139095552 13300   apollon152 2.51 1.08  267612160 19.6 apollon151 903       869       762511360 11900       apollon162 1.95    .867   187674624 16.6     apollon098 951       825       4398759936 13100       apollon018
array-examples/standard_init8_true-unreach-call_ground.i 901    867     754511872 12800   apollon136 2.21   2.09   91521024 27.3   apollon162 900    801    5113503744 12200   apollon107 2.49 1.04  270630912 23.9 apollon047 904       870       763805696 11200       apollon042 2.02    .881   185810944 17.6     apollon025 950       831       3886600192 13200       apollon162
array-examples/standard_init9_true-unreach-call_ground.i 901    867     831557632 11300   apollon023 2.26   2.19   91865088 23.8   apollon092 901    797    5098668032 12300   apollon103 2.51 1.04  266563584 20.3 apollon043 904       869       727719936 13300       apollon027 1.99    .847   190402560 17.3     apollon013 950       823       5136224256 13800       apollon101
array-examples/standard_maxInArray_true-unreach-call_ground.i 901    863     1376686080 11500   apollon119 2.05   1.96   81076224 24.0   apollon131 901    756    2377981952 11400   apollon143 2.48 1.03  268001280 22.4 apollon168 903       866       1405739008 10600       apollon139 1.95    .832   186232832 17.5     apollon034 950       797       1971367936 12800       apollon050
array-examples/standard_minInArray_true-unreach-call_ground.i 901    863     2225725440 12200   apollon071 2.06   1.95   80850944 26.9   apollon152 901    758    2340028416 13000   apollon145 2.65 1.04  269180928 21.1 apollon042 903       864       1373921280 11600       apollon120 1.94    .836   187297792 17.1     apollon065 950       797       2114920448 14200       apollon010
array-examples/standard_palindrome_true-unreach-call_ground.i 901    866     2406166528 11700   apollon165 1.63   1.57   73711616 18.6   apollon073 901    730    2395582464 14100   apollon027 2.54 1.05  273584128 19.8 apollon151 903       868       2209992704 12900       apollon155 1.96    .824   184053760 19.9     apollon080 950       752       2581049344 15300       apollon036
array-examples/standard_partial_init_true-unreach-call_ground.i 901    865     2227806208 11600   apollon037 122      121      100683776 1770     apollon033 901    753    2685427712 12000   apollon079 2.67 1.11  270290944 25.1 apollon106 903       863       1426083840 10700       apollon040 1.99    .835   184791040 17.8     apollon079 950       793       2392084480 14500       apollon167
array-examples/standard_partition_original_true-unreach-call_ground.i 901    861     2241077248 12400   apollon138 64.3    64.2    98963456 825     apollon105 901    754    2591129600 12500   apollon032 2.73 1.17  270344192 22.4 apollon168 903       863       2240958464 11000       apollon116 1.94    .846   180424704 17.4     apollon018 951       790       2643488768 14500       apollon088
array-examples/standard_partition_true-unreach-call_ground.i 901    863     2204188672 11300   apollon103 21.6    21.6    88215552 273     apollon166 900    799    3483959296 12200   apollon012 2.50 1.05  271712256 21.1 apollon053 903       866       2245390336 11400       apollon150 1.94    .831   184958976 16.9     apollon100 951       836       2721595392 12900       apollon012
array-examples/standard_password_true-unreach-call_ground.i 901    863     2224066560 12300   apollon046 1.89   1.77   87425024 21.1   apollon002 901    734    2172461056 12200   apollon045 2.42 1.03  269025280 22.2 apollon038 903       865       2237427712 12300       apollon101 1.99    .860   181092352 19.0     apollon010 950       768       2446495744 14700       apollon027
array-examples/standard_reverse_true-unreach-call_ground.i 901    866     2419159040 11200   apollon166 1.85   1.76   86831104 21.6   apollon050 901    730    2470612992 12200   apollon133 2.55 1.06  269656064 24.2 apollon161 903       867       2426261504 11900       apollon082 1.91    .832   188551168 17.9     apollon142 951       752       2402078720 13300       apollon055
array-examples/standard_running_true-unreach-call.i 901    862     1401315328 11000   apollon104 1.86   1.83   72220672 22.9   apollon097 901    797    2851192832 11900   apollon003 2.48 1.05  271241216 20.7 apollon133 903       865       2226409472 12100       apollon093 1.86    .840   178601984 19.0     apollon048 950       848       2723287040 13300       apollon018
array-examples/standard_sentinel_true-unreach-call_true-termination.i 901    863     2510311424 10800   apollon029 1.80   1.78   88297472 22.1   apollon067 8.92 2.66 439918592 77.6 apollon014 2.45 1.03  268648448 22.5 apollon032 903       865       2051874816 14200       apollon161 1.94    .852   185548800 19.2     apollon088 958       158       13752320000 3170       apollon083
array-examples/standard_seq_init_true-unreach-call_ground.i 901    870     725729280 12800   apollon112 1.95   1.88   80482304 22.0   apollon012 901    717    2374017024 13300   apollon005 2.47 1.06  270946304 21.4 apollon042 903       870       691535872 11800       apollon051 1.92    .836   178462720 20.5     apollon160 951       751       2290814976 13800       apollon114
array-examples/standard_strcmp_true-unreach-call_ground.i 901    861     2229432320 11900   apollon085 1.84   1.75   75431936 22.8   apollon076 901    733    5268688896 13600   apollon064 2.66 1.05  295841792 24.4 apollon076 903       865       2220011520 12800       apollon010 1.94    .842   183525376 20.1     apollon014 951       766       3298754560 12300       apollon013
array-examples/standard_strcpy_original_true-unreach-call.i 901    865     2221846528 10800   apollon117 6.34   6.19   99090432 77.7   apollon129 901    720    3451912192 14600   apollon080 2.57 1.07  264450048 23.6 apollon081 903       866       2404589568 12100       apollon038 1.93    .848   188014592 18.1     apollon070 950       751       2432258048 11600       apollon123
array-examples/standard_strcpy_true-unreach-call_ground.i 901    865     2435534848 10900   apollon149 4.34   4.19   96313344 65.3   apollon160 901    717    2290012160 15000   apollon021 2.48 1.02  269180928 23.9 apollon007 903       865       2239737856 11100       apollon116 2.06    .918   190164992 19.4     apollon145 950       756       3608915968 13100       apollon037
array-examples/standard_two_index_01_true-unreach-call.i 901    865     2223828992 13200   apollon028 883      981      1078530048 10700     apollon066 900    768    1791086592 14100   apollon159 2.47 1.03  271372288 24.1 apollon014 903       865       2219921408 12500       apollon152 1.89    .827   180523008 18.0     apollon105 951       826       1827352576 11600       apollon043
array-examples/standard_two_index_02_true-unreach-call.i 901    866     2441875456 13500   apollon148 1.75   1.69   78721024 21.9   apollon006 901    738    2326999040 12700   apollon055 2.55 1.06  266633216 22.9 apollon167 903       866       1381236736 13000       apollon081 2.06    .851   183578624 17.3     apollon075 951       786       1959317504 15000       apollon163
array-examples/standard_two_index_03_true-unreach-call.i 954    881     3545477120 12000   apollon110 899      981      4204302336 12100     apollon142 901    727    2067726336 12000   apollon079 2.57 1.06  266534912 20.9 apollon025 903       859       1772044288 13300       apollon126 1.94    .830   188764160 16.6     apollon104 951       767       2252734464 12700       apollon075
array-examples/standard_two_index_04_true-unreach-call.i 901    864     1382387712 12200   apollon052 1.65   1.58   81285120 21.5   apollon108 901    723    2080309248 12700   apollon147 2.53 1.04  268087296 25.4 apollon057 903       867       2230247424 12000       apollon145 1.91    .843   182349824 18.7     apollon148 950       765       3624144896 12600       apollon025
array-examples/standard_two_index_05_true-unreach-call.i 901    865     2242887680 11700   apollon049 1.64   1.58   83480576 22.2   apollon008 901    721    2183639040 13600   apollon124 2.46 1.02  268779520 20.8 apollon058 903       864       1373339648 10600       apollon139 1.91    .834   179195904 18.1     apollon105 951       757       2797645824 13100       apollon165
array-examples/standard_two_index_06_true-unreach-call.i 954    875     2965774336 12100   apollon087 889      981      1182683136 10900     apollon137 900    718    2548363264 14000   apollon028 2.44 1.04  266018816 20.2 apollon123 951       904       2002366464 12500       apollon070 1.94    .838   180895744 16.6     apollon029 950       758       2798252032 11900       apollon128
array-examples/standard_two_index_07_true-unreach-call.i 901    865     2224852992 10800   apollon149 1.62   1.55   83574784 17.5   apollon151 901    716    3563995136 12800   apollon102 2.48 1.04  269139968 22.3 apollon142 903       867       2227757056 11800       apollon162 2.00    .885   182927360 18.2     apollon138 951       755       4005888000 13200       apollon078
array-examples/standard_two_index_08_true-unreach-call.i 901    865     2243903488 11600   apollon119 1.64   1.58   79179776 18.1   apollon116 900    714    2684813312 11300   apollon134 2.51 1.04  269012992 22.7 apollon032 903       868       2222026752 11900       apollon102 1.98    .842   182222848 18.2     apollon049 950       753       2616606720 11800       apollon117
array-examples/standard_two_index_09_true-unreach-call.i 901    863     1344724992 10900   apollon099 1.59   1.55   78483456 17.1   apollon092 900    717    2211647488 12800   apollon067 2.50 1.05  267792384 21.2 apollon157 903       866       1364983808 11900       apollon142 1.96    .827   183750656 17.1     apollon129 951       756       2422222848 12600       apollon026
array-examples/standard_vararg_true-unreach-call_ground_true-termination.i 901    862     2359062528 12800   apollon136 881      880      481140736 10400     apollon131 900    744    1913315328 12300   apollon058 2.47 1.03  272302080 21.7 apollon004 903       865       2043224064 12900       apollon010 1.92    .836   187658240 17.2     apollon115 951       799       2403373056 13500       apollon102
array-examples/standard_vector_difference_true-unreach-call_ground.i 901    863     2419380224 13900   apollon044 2.26   2.15   87310336 30.3   apollon048 901    718    2600538112 15000   apollon057 2.44 1.03  263282688 22.9 apollon015 903       867       2393726976 11500       apollon131 1.91    .841   182185984 16.9     apollon018 950       753       1968160768 11800       apollon098
array-industry-pattern/array_assert_loop_dep_false-unreach-call_true-termination.i 901    869     750481408 10700   apollon139 2.03   1.96   93413376 29.9   apollon021 901    767    1665617920 12700   apollon004 2.58 1.05  270540800 25.9 apollon039 903       869       684929024 11600       apollon105 1.89    .841   187633664 15.7     apollon158 951       848       3962818560 15700       apollon021
array-industry-pattern/array_of_struct_loop_dep_false-unreach-call.i 904    606     6401626112 9250   apollon101 2.05   1.97   80846848 23.3   apollon115 900    861    5201108992 8730   apollon012 101    72.2   3686895616 1160   apollon141 906       608       4140208128 10000       apollon091 2.73    .997   225804288 20.8     apollon158 950       900       4830539776 9860       apollon105
array-industry-pattern/array_ptr_single_elem_init_false-unreach-call_true-termination.i 901    862     1418756096 11200   apollon045 2.75   2.61   91660288 34.0   apollon153 901    794    3205574656 12700   apollon153 2.56 1.10  267821056 21.8 apollon011 903       862       2470440960 12000       apollon067 1.96    .832   182145024 20.8     apollon039 951       843       2484461568 12800       apollon166
array-industry-pattern/array_range_init_false-unreach-call.i 901    866     755109888 11300   apollon012 2.05   1.98   83017728 23.9   apollon025 901    850    4860203008 9090   apollon127 2.48 1.04  265711616 22.6 apollon168 903       867       716410880 13400       apollon106 1.96    .868   188706816 17.2     apollon115 950       901       4760137728 9920       apollon141
array-industry-pattern/array_single_elem_init_false-unreach-call_true-termination.i 901    862     2482049024 12100   apollon009 2.72   2.61   100745216 32.0   apollon013 900    801    2967072768 11700   apollon099 2.49 1.04  269717504 24.6 apollon016 903       865       2255192064 12400       apollon046 1.97    .836   177455104 19.8     apollon124 951       842       2523709440 13400       apollon055
array-industry-pattern/check_removal_from_set_after_insertion_false-unreach-call.i 940    630     5954846720 9970   apollon157 5.13   4.88   102281216 71.2   apollon077 900    761    5266157568 12900   apollon084 101    71.3   3689865216 1060   apollon025 428       366       14999998464 3760       apollon029 4.98    1.46    269737984 40.1     apollon081 13.4     4.36    307351552 105       apollon075
array-industry-pattern/array_monotonic_true-unreach-call_true-termination.i 901    863     2460401664 11400   apollon107 1.77   1.68   73314304 18.2   apollon158 900    781    1595547648 15200   apollon021 2.51 1.08  267730944 21.8 apollon121 903       865       2256617472 10700       apollon098 1.85    .829   178204672 18.9     apollon048 950       835       1838813184 12700       apollon050
array-industry-pattern/array_mul_init_true-unreach-call_true-termination.i 901    867     733151232 11800   apollon011 881      981      168718336 11400     apollon102 901    780    2649534464 11700   apollon042 2.46 1.04  265089024 21.1 apollon157 903       866       785174528 11700       apollon156 1.95    .841   178499584 16.7     apollon149 951       851       1519857664 14200       apollon159
array-industry-pattern/array_of_struct_break_true-unreach-call.i 903    610     2983833600 11400   apollon021 1.86   1.78   84267008 23.3   apollon101 900    856    4853489664 9630   apollon047 101    73.8   3707666432 1050   apollon100 906       608       3160178688 9700       apollon070 2.26    .922   215719936 19.3     apollon082 951       910       5240516608 10800       apollon065
array-industry-pattern/array_of_struct_ptr_cond_init_true-unreach-call.i 902    605     3684012032 8290   apollon163 4.32   4.16   91897856 49.8   apollon043 901    878    5294940160 7810   apollon076 101    77.5   3476049920 1180   apollon085 907       608       4473417728 6950       apollon034 3.67    1.21    250294272 29.7     apollon104 951       918       5415100416 11100       apollon148
array-industry-pattern/array_of_struct_ptr_flag_init_true-unreach-call.i 903    602     4816674816 10500   apollon148 1.97   1.86   76898304 23.9   apollon096 900    758    4923027456 11800   apollon109 101    74.5   3696898048 1040   apollon128 907       607       3821359104 7830       apollon131 3.41    1.14    236822528 25.5     apollon041 11.7     3.78    307961856 97.1     apollon005
array-industry-pattern/array_of_struct_ptr_monotonic_true-unreach-call.i 902    606     4058722304 7900   apollon127 2.01   1.97   83828736 26.2   apollon024 901    877    5466824704 7970   apollon066 101    78.2   3546808320 1180   apollon011 907       611       8599408640 7910       apollon071 4.04    1.33    250548224 32.1     apollon096 951       920       5438828544 8540       apollon162
array-industry-pattern/array_of_struct_ptr_mul_init_true-unreach-call.i 903    607     3922804736 8270   apollon135 880      981      682475520 9750     apollon135 900    872    5181960192 9670   apollon052 101    72.5   3717758976 1100   apollon156 908       610       4933742592 10100       apollon030 3.60    1.18    251551744 30.8     apollon074 951       925       5169397760 8330       apollon098
array-industry-pattern/array_of_struct_single_elem_init_true-unreach-call.i 903    606     4489515008 10800   apollon148 7.57   7.40   93200384 111     apollon030 7.83 2.70 300068864 65.5 apollon068 101    73.4   3714146304 975   apollon054 910       606       4763262976 8400       apollon041 2.32    .942   219942912 23.2     apollon126 10.7     3.72    312475648 89.2     apollon105
array-industry-pattern/array_ptr_partial_init_true-unreach-call.i 903    606     3463852032 8180   apollon152 1.77   1.66   90251264 21.3   apollon095 901    876    5407588352 11100   apollon039 101    74.9   3696025600 1100   apollon012 905       608       3516858368 9830       apollon132 2.25    .915   223973376 22.7     apollon108 951       925       5376167936 8880       apollon084
array-industry-pattern/array_ptr_single_elem_init_true-unreach-call.i 902    604     3712380928 7430   apollon137 14.4    14.3    106528768 183     apollon156 901    876    5406752768 8080   apollon141 101    75.4   3036516352 1050   apollon128 911       608       3996729344 7420       apollon045 3.71    1.20    252182528 26.8     apollon063 951       922       5452017664 10000       apollon167
array-industry-pattern/array_shadowinit_true-unreach-call_true-termination.i 904    537     3935432704 7800   apollon103 881      880      386650112 13500     apollon161 900    740    1696718848 13200   apollon046 101    76.0   3866857472 1240   apollon140 1.79    .778   173031424 18.3     apollon016 1.82    .787   180068352 15.1     apollon040 1.74    .762   172769280 15.5     apollon053
reducercommutativity/rangesum05_false-unreach-call_true-termination.i 38.7  31.3   583979008 435   apollon067 1.87   1.78   87379968 23.7   apollon141 16.5  6.57 517009408 149   apollon065 7.69 2.37  413929472 56.8 apollon043 .0112  .0109  1019904 .00855 apollon042 .0138  .0142  921600 .00922 apollon134 .0189  .0188  761856 .00494 apollon004
reducercommutativity/rangesum10_false-unreach-call_true-termination.i 120    110     791371776 1250   apollon023 2.00   1.91   79044608 27.3   apollon148 37.3  20.9  716681216 378   apollon087 12.5  3.47  480616448 107   apollon125 .0141  .0142  741376 .00915 apollon121 .00873 .00866 872448 .00775 apollon060 .00857 .00874 1032192 .0106  apollon024
reducercommutativity/rangesum20_false-unreach-call.i 904    881     4774555648 10400   apollon161 2.34   2.17   89227264 27.9   apollon078 92.8  63.7  1614888960 971   apollon035 31.2  7.98  1050562560 247   apollon018 .0194  .0225  1019904 .00958 apollon036 .00981 .00987 905216 .00531 apollon044 .0161  .0157  970752 .00330 apollon116
reducercommutativity/rangesum40_false-unreach-call.i 904    874     4058341376 10100   apollon027 3.27   3.02   123273216 37.8   apollon157 901    861    3554340864 13500   apollon039 59.3  28.1   2526670848 580   apollon152 .0118  .0115  946176 .00909 apollon112 .00879 .00870 942080 .00793 apollon045 .0146  .0154  770048 .00513 apollon108
reducercommutativity/rangesum60_false-unreach-call.i 904    870     4657717248 8680   apollon012 4.90   4.67   184901632 57.4   apollon037 900    847    3467497472 10700   apollon011 101    62.0   3709898752 998   apollon086 52.7     42.5     4010967040 593       apollon108 5.75    1.75    374288384 48.0     apollon067 951       901       4730830848 11900       apollon162
reducercommutativity/rangesum_false-unreach-call_true-termination.i 183    169     2248531968 2580   apollon160 12.5    12.3    87617536 154     apollon120 16.5  5.88 568492032 158   apollon111 8.10 2.38  463929344 73.3 apollon057 .0144  .0157  966656 .00983 apollon160 .0110  .0112  880640 .00848 apollon061 .0117  .0115  880640 .0106  apollon053
reducercommutativity/avg05_true-unreach-call_true-termination.i 902    889     1817825280 11500   apollon130 1.40   1.38   73424896 15.8   apollon109 166    142    1068511232 1850   apollon041 101    71.8   4092358656 1120   apollon020 904       891       1759748096 9820       apollon062 2.46    .926   231755776 18.8     apollon089 14.8     4.28    474226688 116       apollon119
reducercommutativity/avg10_true-unreach-call_true-termination.i 903    889     3412242432 9150   apollon083 1.41   1.35   73551872 16.9   apollon073 421    375    4618076160 5490   apollon124 101    67.7   4059254784 878   apollon158 906       886       3126009856 8440       apollon078 2.34    .944   226168832 21.8     apollon091 23.3     6.49    742195200 188       apollon119
reducercommutativity/avg20_true-unreach-call.i 906    885     4790874112 9080   apollon096 1.56   1.51   86564864 19.5   apollon051 901    803    3659280384 12400   apollon152 101    61.5   2672193536 894   apollon009 909       883       4827246592 9360       apollon096 2.50    .966   226234368 20.0     apollon003 54.5     18.2     1104248832 471       apollon112
reducercommutativity/avg40_true-unreach-call.i 907    881     6180429824 16700   apollon106 2.02   1.95   128458752 25.2   apollon101 171    114    4636295168 1840   apollon013 65.4  32.7   2740805632 684   apollon030 .0120  .0146  884736 .0100  apollon017 .0117  .0114  794624 .00909 apollon162 .0281  .0300  958464 .00873 apollon122
reducercommutativity/avg60_true-unreach-call.i 905    870     4791533568 10500   apollon015 2.91   2.80   208121856 33.1   apollon045 273    195    5156892672 2690   apollon063 101    70.1   3723132928 1230   apollon007 923       872       3182559232 9850       apollon089 4.77    1.47    269803520 38.3     apollon086 408       337       3251163136 5700       apollon132
reducercommutativity/avg_true-unreach-call_true-termination.i 903    580     4347002880 7220   apollon074 880      880      140701696 12300     apollon164 901    844    841908224 13700   apollon126 101    70.6   4207607808 984   apollon040 94.7     81.9     3508686848 898       apollon102 2.16    .873   221143040 21.8     apollon122 10.2     3.55    304443392 86.4     apollon055
reducercommutativity/max05_true-unreach-call_true-termination.i 912    905     1580228608 10100   apollon137 1.41   1.37   71598080 16.4   apollon137 901    846    1130708992 10900   apollon115 101    82.2   1129910272 796   apollon101 315       296       1339412480 3660       apollon144 2.18    .896   200183808 19.2     apollon127 14.8     4.36    494821376 113       apollon011
reducercommutativity/max10_true-unreach-call_true-termination.i 902    881     2438049792 8010   apollon136 1.64   1.57   77209600 20.0   apollon156 901    819    1896833024 10900   apollon127 102    81.1   1571536896 1150   apollon085 910       541       2316963840 8250       apollon144 3.57    1.18    246034432 30.9     apollon113 15.3     4.35    517365760 137       apollon056
reducercommutativity/max20_true-unreach-call.i 903    878     2794983424 9360   apollon163 3.73   3.67   100577280 51.9   apollon014 901    742    5290770432 11800   apollon150 102    59.7   3975331840 1160   apollon160 912       541       2514268160 9390       apollon112 4.12    1.31    270905344 32.8     apollon110 24.7     6.81    719257600 183       apollon058
reducercommutativity/max40_true-unreach-call.i 903    872     2506625024 8680   apollon117 27.2    27.2    182542336 224     apollon163 901    736    4942667776 13100   apollon141 65.6  33.5   2954465280 555   apollon158 .00951 .00943 913408 .0143  apollon088 .0126  .0139  1015808 .00000 apollon167 .0147  .0147  1003520 .00763 apollon048
reducercommutativity/max60_true-unreach-call.i 904    860     4002664448 10100   apollon121 168      168      325648384 1280     apollon155 901    738    4949434368 13600   apollon167 101    70.4   3720253440 1150   apollon052 1.83    .803   180494336 16.9     apollon142 1.87    .794   173367296 14.5     apollon092 1.80    .817   182226944 16.7     apollon038
reducercommutativity/max_true-unreach-call_true-termination.i 121    113     2244321280 1340   apollon109 881      880      389709824 10500     apollon162 901    847    1758625792 11000   apollon071 101    78.1   3196026880 1100   apollon162 913       538       5023293440 9650       apollon049 2.29    .916   221200384 23.9     apollon036 10.1     3.47    301056000 96.5     apollon021
reducercommutativity/sep05_true-unreach-call_true-termination.i 851    802     1488228352 10200   apollon090 1.41   1.37   66670592 18.9   apollon148 901    780    4736700416 10600   apollon060 101    73.4   3047858176 879   apollon076 293       236       4013395968 3590       apollon048 2.72    1.02    233156608 20.4     apollon054 18.6     5.66    520376320 156       apollon094
reducercommutativity/sep10_true-unreach-call.i 902    530     4832186368 8250   apollon158 2.23   2.17   77316096 30.4   apollon010 902    683    8144539648 10200   apollon003 101    79.6   2550169600 1090   apollon045 367       317       1334046720 4430       apollon008 3.77    1.25    252813312 31.1     apollon012 16.8     4.73    577851392 129       apollon023
reducercommutativity/sep20_true-unreach-call.i 903    594     3199451136 8880   apollon152 881      981      102166528 11400     apollon066 907    409    12790288384 7710   apollon006 101    38.3   3863842816 771   apollon005 922       624       2568613888 7580       apollon053 4.74    1.41    268906496 40.8     apollon021 46.1     19.2     990117888 515       apollon056
reducercommutativity/sep40_true-unreach-call.i 903    597     4117426176 7800   apollon158 881      981      161058816 12700     apollon164 901    617    8738873344 10000   apollon082 68.5  36.4   3073941504 653   apollon107 .0250  .0297  860160 .00873 apollon054 .0139  .0136  966656 .00787 apollon118 .0296  .0292  753664 .00708 apollon059
reducercommutativity/sep60_true-unreach-call.i 903    592     4312530944 9400   apollon086 881      981      243929088 11000     apollon142 901    744    5625008128 11600   apollon121 101    68.4   3695423488 1020   apollon002 912       600       5279969280 8730       apollon003 6.57    2.05    404951040 53.0     apollon101 740       610       4519247872 10000       apollon015
reducercommutativity/sep_true-unreach-call_true-termination.i 902    601     2700685312 7340   apollon063 881      880      173297664 10600     apollon099 900    783    5108621312 11600   apollon153 101    70.5   3884142592 1100   apollon018 951       577       2058248192 11200       apollon091 2.23    .913   218071040 21.6     apollon167 10.3     3.52    298807296 93.9     apollon057
reducercommutativity/sum05_true-unreach-call_true-termination.i 902    890     3818348544 11500   apollon126 1.38   1.37   75132928 16.5   apollon133 26.1  11.7  694378496 273   apollon163 101    80.1   3679051776 1130   apollon086 406       394       1062764544 5210       apollon068 2.31    .912   195964928 21.0     apollon052 13.0     3.94    453431296 106       apollon052
reducercommutativity/sum10_true-unreach-call_true-termination.i 902    886     2004377600 10900   apollon004 1.40   1.36   77434880 17.9   apollon138 76.1  41.8  1427599360 795   apollon015 101    70.7   4019585024 1120   apollon071 905       886       1620946944 10300       apollon051 2.32    .914   202952704 21.8     apollon141 22.2     6.36    541962240 185       apollon006
reducercommutativity/sum20_true-unreach-call.i 906    881     6794997760 9130   apollon156 1.56   1.53   83947520 18.1   apollon110 900    804    4919242752 6270   apollon097 101    62.1   2938724352 817   apollon092 906       882       3624787968 10200       apollon009 2.45    .944   226934784 21.8     apollon061 48.1     16.5     992849920 418       apollon120
reducercommutativity/sum40_true-unreach-call.i 906    873     5736333312 9370   apollon023 1.99   1.92   127651840 23.4   apollon037 901    752    4604751872 13700   apollon008 62.7  31.0   2867589120 603   apollon120 .0151  .0156  851968 .00000 apollon101 .0242  .0249  978944 .00879 apollon077 .0147  .0152  811008 .00623 apollon125
reducercommutativity/sum60_true-unreach-call.i 906    866     6486110208 9920   apollon104 2.82   2.69   205594624 32.2   apollon149 901    744    6444900352 10400   apollon148 101    71.0   3711438848 1110   apollon162 919       867       2962759680 9770       apollon040 4.97    1.55    299683840 42.7     apollon065 334       267       2350469120 4170       apollon120
reducercommutativity/sum_true-unreach-call_true-termination.i 904    576     4300279808 9410   apollon085 881      880      374673408 11400     apollon108 901    854    4544040960 6400   apollon060 101    76.1   3641413632 1170   apollon038 908       532       5862866944 11300       apollon057 2.17    .865   187572224 19.1     apollon082 10.2     3.46    294068224 93.2     apollon159
array-tiling/mlceu_false-unreach-call.i 906    538     3493224448 9450   apollon030 882      880      199884800 7810     apollon048 900    872    1270419456 9210   apollon009 3.63 1.50  282714112 31.9 apollon084 908       607       4005146624 10700       apollon140 2.35    .929   215633920 19.0     apollon042 951       915       959172608 9190       apollon043
array-tiling/skippedu_false-unreach-call.i 3.41 1.49  294465536 31.1 apollon071 2.06   2.02   90648576 23.7   apollon045 6.85 2.19 344567808 54.9 apollon034 3.63 1.44  288727040 31.1 apollon026 .0131  .0137  798720 .00922 apollon129 .00750 .0104  880640 .00000 apollon113 .00936 .0114  933888 .0134  apollon057
array-tiling/mbpr2_true-unreach-call.i 904    531     6391689216 8340   apollon110 881      880      431751168 11900     apollon047 900    861    923459584 11000   apollon002 101    67.8   3743059968 1150   apollon081 908       600       5874450432 7370       apollon063 2.37    .977   221503488 23.5     apollon126 952       907       614100992 13700       apollon064
array-tiling/mbpr3_true-unreach-call.i 904    526     5946466304 9600   apollon147 881      880      435212288 9200     apollon151 900    861    655163392 14500   apollon057 101    65.5   3797508096 1140   apollon007 911       598       5680558080 9850       apollon113 2.41    .956   223678464 22.6     apollon145 950       905       848801792 10900       apollon158
array-tiling/mbpr4_true-unreach-call.i 911    528     5227737088 9420   apollon053 881      981      477749248 11900     apollon148 900    856    697094144 13700   apollon088 101    68.1   3704430592 958   apollon151 909       600       5058686976 10800       apollon010 2.41    .939   222670848 20.8     apollon002 950       891       743129088 12500       apollon133
array-tiling/mbpr5_true-unreach-call.i 910    528     5244026880 9630   apollon157 881      981      549486592 9720     apollon114 901    839    1050177536 11000   apollon117 101    72.4   3754287104 1260   apollon014 1.81    .805   175595520 19.2     apollon008 1.83    .802   177565696 17.2     apollon165 1.93    .790   178585600 17.6     apollon085
array-tiling/nr2_true-unreach-call.i 904    535     6907129856 8190   apollon035 881      880      363339776 10700     apollon103 901    887    681000960 13000   apollon159 101    69.6   3708661760 1020   apollon042 905       603       4101320704 9770       apollon142 2.48    1.01    220352512 21.3     apollon103 950       935       871645184 14000       apollon148
array-tiling/nr3_true-unreach-call.i 904    536     6767374336 7630   apollon131 881      880      365608960 10800     apollon079 901    885    775823360 10200   apollon092 101    72.0   3858083840 1190   apollon167 906       607       3544145920 9840       apollon059 2.32    .911   230817792 19.7     apollon115 950       934       781455360 11400       apollon053
array-tiling/nr4_true-unreach-call.i 902    536     6493237248 10800   apollon057 881      880      397660160 10600     apollon075 901    881    989687808 11300   apollon062 101    69.1   3838636032 1040   apollon034 906       607       4394872832 8650       apollon055 2.14    .864   196751360 20.5     apollon006 950       932       858112000 13400       apollon065
array-tiling/nr5_true-unreach-call.i 904    541     6749675520 8090   apollon075 881      880      396005376 9490     apollon037 900    872    1041854464 11300   apollon034 101    64.7   3552428032 894   apollon158 905       604       4478885888 9150       apollon095 2.08    .860   190996480 19.4     apollon064 950       931       872878080 11700       apollon066
array-tiling/pnr2_true-unreach-call.i 904    536     1866166272 8030   apollon154 881      880      200912896 11200     apollon034 908    643    10806550528 9470   apollon098 101    70.1   3902996480 1130   apollon146 905       605       2465017856 9100       apollon047 2.18    .860   191533056 19.2     apollon121 950       777       6437974016 11100       apollon099
array-tiling/pnr3_true-unreach-call.i 903    537     1955848192 8200   apollon129 881      880      207626240 12000     apollon101 901    561    11793518592 8970   apollon032 101    61.8   4284567552 1070   apollon091 905       577       2550992896 9040       apollon068 2.03    .836   184807424 19.9     apollon081 952       692       9897803776 10900       apollon101
array-tiling/pnr4_true-unreach-call.i 903    537     2121826304 8110   apollon004 881      880      233730048 11700     apollon142 908    562    12123742208 8920   apollon120 101    65.1   4213096448 1030   apollon146 905       578       2483920896 7960       apollon025 2.12    .873   188686336 20.1     apollon067 950       746       9632022528 10700       apollon023
array-tiling/pnr5_true-unreach-call.i 903    536     1831239680 8410   apollon147 881      880      222658560 11900     apollon101 901    707    8610836480 10600   apollon115 105    58.6   4311687168 965   apollon082 905       579       2592813056 8670       apollon072 2.19    .859   191823872 17.9     apollon115 951       874       4738637824 14100       apollon140
array-tiling/poly1_true-unreach-call.i 908    542     5498830848 8470   apollon082 881      880      665432064 8140     apollon093 900    819    1203273728 12000   apollon135 101    75.9   2480005120 992   apollon079 906       611       5017505792 8590       apollon079 2.27    .871   221843456 19.3     apollon078 951       899       956923904 12500       apollon004
array-tiling/poly2_true-unreach-call.i 903    538     3543138304 7700   apollon141 .134  .134  20770816 1.36  apollon094 900    839    820826112 13400   apollon047 101    70.5   3057106944 999   apollon002 906       608       4413906944 9590       apollon125 2.11    .857   191778816 20.1     apollon031 950       901       927924224 12800       apollon113
array-tiling/pr2_true-unreach-call.i 902    537     1616674816 8060   apollon017 881      880      394969088 10300     apollon128 901    748    1983537152 11900   apollon131 101    71.5   3607281664 1170   apollon164 905       605       2143178752 8460       apollon058 2.37    .960   225103872 19.4     apollon115 950       809       2494717952 12600       apollon144
array-tiling/pr3_true-unreach-call.i 902    538     1896771584 9510   apollon161 881      880      443740160 11600     apollon052 901    751    3225833472 13800   apollon122 101    76.4   3561402368 1100   apollon079 907       604       2824597504 7430       apollon123 2.81    .995   230637568 22.2     apollon123 950       834       3871170560 12000       apollon115
array-tiling/pr4_true-unreach-call.i 903    534     2269433856 7440   apollon045 881      880      426307584 10200     apollon127 901    756    1167474688 12100   apollon129 101    72.8   3111403520 1090   apollon078 907       604       2318180352 8060       apollon037 2.77    1.02    229724160 23.2     apollon018 950       832       3433734144 12900       apollon067
array-tiling/pr5_true-unreach-call.i 903    536     1550168064 8560   apollon121 881      880      430215168 11200     apollon087 901    745    1914454016 11800   apollon107 101    76.9   3330641920 1260   apollon019 906       604       2398334976 9500       apollon070 3.31    1.12    238997504 25.1     apollon115 951       890       1050660864 12000       apollon062
array-tiling/revcpyswp2_true-unreach-call.i 910    536     5687287808 8330   apollon025 881      880      295682048 9790     apollon118 901    769    1469779968 11500   apollon100 101    75.9   3419410432 1100   apollon086 914       577       4421197824 9700       apollon010 2.28    .938   223633408 20.7     apollon130 951       825       1266204672 13300       apollon118
array-tiling/rew_true-unreach-call.i 903    539     3414528000 9610   apollon006 881      880      437325824 11300     apollon011 901    793    932143104 13800   apollon164 102    68.0   3862368256 1050   apollon058 904       579       3607666688 9610       apollon011 2.12    .856   188383232 18.4     apollon032 951       809       1402990592 12100       apollon089
array-tiling/rewnif_true-unreach-call.i 904    539     4531326976 9530   apollon030 881      880      405352448 10700     apollon045 900    780    1501523968 12200   apollon131 101    71.0   3374350336 1250   apollon044 906       608       3056328704 8860       apollon126 2.51    .939   222904320 21.9     apollon146 950       938       916004864 10300       apollon151
array-tiling/rewnifrev2_true-unreach-call.i 952    561     4862128128 9360   apollon101 881      880      328425472 10700     apollon099 900    853    1176514560 9040   apollon146 101    74.7   2781618176 1150   apollon095 904       581       3291021312 7970       apollon045 2.23    .880   224464896 20.3     apollon065 951       877       3205435392 13600       apollon069
array-tiling/rewnifrev_true-unreach-call.i 951    575     5173338112 11600   apollon044 881      880      328441856 11000     apollon062 901    814    823484416 12200   apollon113 101    76.7   2974679040 1130   apollon119 951       619       6011043840 8000       apollon029 2.03    .852   188817408 19.7     apollon020 951       850       1102884864 13700       apollon081
array-tiling/rewrev_true-unreach-call.i 952    563     4829425664 9300   apollon096 881      880      293990400 10300     apollon098 900    780    1021009920 12200   apollon071 101    77.2   2405355520 1040   apollon151 905       581       3224899584 10300       apollon112 2.34    .925   224796672 22.0     apollon148 951       856       4378697728 10900       apollon151
array-tiling/skipped_true-unreach-call.i 902    538     1323495424 7970   apollon078 881      880      226840576 10700     apollon157 901    767    3424563200 12000   apollon050 101    66.6   4037947392 1020   apollon032 904       581       2857914368 8510       apollon137 2.50    .963   225587200 20.5     apollon040 951       829       3063595008 12000       apollon104
array-tiling/tcpy_true-unreach-call.i 903    539     2589323264 7300   apollon037 881      880      290349056 12200     apollon005 900    814    1096359936 10900   apollon089 101    71.5   3962458112 1260   apollon161 904       580       2957488128 8280       apollon067 2.03    .855   186929152 18.5     apollon034 950       886       752848896 14100       apollon027
array-programs/copysome1_false-unreach-call.i 901    866     2222747648 12000   apollon061 884      981      863473664 12200     apollon164 901    793    2829369344 13500   apollon124 2.65 1.04  291065856 24.0 apollon077 903       867       2224476160 11500       apollon075 1.91    .842   183808000 18.8     apollon091 950       824       2465099776 13400       apollon038
array-programs/copysome2_false-unreach-call.i 901    864     2220945408 13100   apollon122 884      981      905428992 10600     apollon041 900    796    4002119680 12200   apollon058 2.45 1.04  270254080 20.2 apollon099 903       865       2220081152 12600       apollon124 2.00    .839   184893440 17.8     apollon075 951       838       3018940416 14900       apollon122
array-programs/copysome1_true-unreach-call.i 901    863     2251599872 12700   apollon010 884      981      881954816 12600     apollon028 901    791    3199094784 12400   apollon157 2.71 1.05  290291712 23.2 apollon034 903       866       1356800000 10900       apollon013 1.96    .884   182304768 17.2     apollon002 951       819       2265604096 13200       apollon165
array-programs/copysome2_true-unreach-call.i 901    863     1378013184 11000   apollon116 884      981      952668160 12100     apollon138 901    802    4856213504 12400   apollon075 2.42 1.05  268816384 20.6 apollon127 903       866       2226630656 11100       apollon025 1.98    .866   183775232 20.2     apollon148 951       836       2682601472 15100       apollon030
bitvector/byte_add_false-unreach-call_true-no-overflow_true-termination.i 75.8  65.0   1778540544 1030   apollon057 5.00   4.81   134639616 62.0   apollon082 53.7  24.4  764669952 483   apollon104 5.26 1.83  301273088 44.9 apollon165 10.5     3.42    332632064 87.0     apollon017 3.23    1.15    239124480 28.3     apollon006 99.4     57.9     1446064128 1120       apollon132
bitvector/sum02_false-unreach-call_true-no-overflow.i 903    533     4151357440 8520   apollon027 882      882      445341696 11200     apollon087 901    896    336154624 11600   apollon046 3.52 1.47  280109056 30.1 apollon082 909       537       7636267008 9510       apollon019 2.11    .855   200888320 19.6     apollon006 16.8     11.6     333262848 184       apollon105
bitvector/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i 69.6  60.3   1925705728 771   apollon050 12.1    11.9    149327872 143     apollon129 900    796    4229373952 9880   apollon043 6.03 2.09  319234048 51.7 apollon091 12.6     4.90    395612160 117       apollon136 3.13    1.10    239513600 30.5     apollon108 951       823       6477389824 11600       apollon058
bitvector/byte_add_2_true-unreach-call_true-no-overflow_true-termination.i 23.9  15.5   927649792 242   apollon074 15.1    15.0    153346048 180     apollon061 582    513    1466368000 7960   apollon155 5.73 1.89  317952000 52.7 apollon126 12.7     5.10    414298112 101       apollon092 3.22    1.10    240652288 30.6     apollon056 951       841       2684854272 11800       apollon135
bitvector/gcd_1_true-unreach-call_true-no-overflow.i 6.44 4.68  284463104 67.3 apollon062 1.85   1.78   79347712 21.2   apollon003 901    893    526831616 11200   apollon105 4.10 1.51  304193536 33.4 apollon079 11.0     7.67    294752256 119       apollon168 2.35    .899   223977472 18.7     apollon127 950       941       542875648 11400       apollon026
bitvector/gcd_2_true-unreach-call_true-no-overflow.i 7.11 5.22  276652032 79.7 apollon031 842      842      299995136 12100     apollon077 901    890    798625792 11800   apollon146 3.46 1.37  273186816 31.5 apollon112 .0148  .0146  872448 .00659 apollon035 .00986 .0105  942080 .00000 apollon150 .0188  .0185  806912 .00488 apollon066
bitvector/gcd_3_true-unreach-call_true-no-overflow.i 154    152     313110528 1990   apollon033 881      981      190091264 8990     apollon063 901    892    535416832 12600   apollon112 3.62 1.47  288235520 31.8 apollon076 33.7     30.3     294277120 451       apollon047 2.29    .906   220950528 19.4     apollon001 950       937       632274944 12100       apollon061
bitvector/gcd_4_true-unreach-call_true-no-overflow_true-termination.i 2.32 .985 237850624 22.5 apollon094 1.67   1.66   79069184 23.0   apollon027 901    883    1781534720 11800   apollon020 5.16 1.76  313200640 44.6 apollon156 5.03    1.94    257871872 47.6     apollon148 2.67    .999   220405760 22.5     apollon084 15.2     4.51    485179392 135       apollon126
bitvector/interleave_bits_true-unreach-call_true-no-overflow.i 6.88 3.01  406466560 62.7 apollon038 1.42   1.39   73682944 18.2   apollon048 145    125    1331806208 1720   apollon135 7.33 2.28  452468736 62.2 apollon126 6.15    2.43    286031872 59.5     apollon007 2.43    .946   221900800 21.2     apollon001 33.8     22.5     1737830400 362       apollon107
bitvector/jain_1_true-unreach-call_true-no-overflow_false-termination.i 2.81 1.18  271212544 27.8 apollon161 889      880      233410560 7550     apollon145 5.85 1.97 324370432 46.4 apollon002 2.84 1.19  277032960 29.1 apollon021 .0101  .00988 831488 .00848 apollon155 .00809 .00840 872448 .00384 apollon075 .0126  .0125  880640 .00000 apollon054
bitvector/jain_2_true-unreach-call_true-no-overflow_false-termination.i 2.81 1.20  269062144 27.4 apollon130 886      880      247263232 8240     apollon154 5.79 1.91 324562944 54.9 apollon106 3.21 1.20  293670912 27.2 apollon022 .0101  .00994 835584 .00922 apollon027 .0157  .0160  864256 .00696 apollon003 .0219  .0217  1015808 .00958 apollon059
bitvector/jain_4_true-unreach-call_true-no-overflow_false-termination.i 3.01 1.31  275267584 24.0 apollon098 884      880      256782336 9480     apollon161 5.85 1.91 323334144 55.4 apollon111 3.11 1.25  274595840 27.2 apollon005 .0176  .0205  753664 .00745 apollon061 .0106  .0104  790528 .0107  apollon014 .0189  .0187  917504 .00409 apollon075
bitvector/jain_5_true-unreach-call_true-no-overflow.i 906    608     8331927552 8530   apollon150 885      880      199823360 9290     apollon046 901    752    2143420416 11800   apollon060 101    80.7   2778210304 1220   apollon052 913       612       6437007360 9650       apollon031 4.11    1.28    274804736 35.0     apollon118 951       825       3522232320 13100       apollon133
bitvector/jain_6_true-unreach-call_true-no-overflow_false-termination.i 2.94 1.23  269365248 25.0 apollon050 885      880      265715712 7150     apollon008 6.25 1.94 333148160 51.5 apollon091 3.31 1.25  294891520 25.6 apollon054 .0127  .0125  811008 .00427 apollon014 .0227  .0239  839680 .00684 apollon066 .0144  .0162  860160 .00861 apollon068
bitvector/jain_7_true-unreach-call_true-no-overflow_false-termination.i 4.47 2.78  278818816 45.8 apollon147 885      880      292380672 7820     apollon009 6.12 1.95 320012288 46.3 apollon127 2.84 1.18  274214912 26.8 apollon022 .0106  .0121  864256 .00952 apollon156 .0223  .0221  827392 .00476 apollon023 .00880 .00856 872448 .00891 apollon066
bitvector/modulus_true-unreach-call_true-no-overflow.i 228    212     1587814400 3100   apollon059 310      310      257982464 2330     apollon075 28.7  24.7  332619776 382   apollon167 3.14 1.31  277803008 27.8 apollon052 8.86    5.87    280510464 88.1     apollon127 2.22    .877   217899008 22.6     apollon056 30.8     25.7     324755456 431       apollon044
bitvector/num_conversion_1_true-unreach-call_true-no-overflow.i 2.25 .970 240730112 20.8 apollon067 1.32   1.36   75091968 16.4   apollon136 270    251    2438340608 3300   apollon149 4.90 1.77  305999872 42.5 apollon167 4.93    1.93    251711488 45.0     apollon064 2.39    .933   224063488 20.6     apollon109 892       865       2694578176 13300       apollon155
bitvector/num_conversion_2_true-unreach-call_true-no-overflow.i 17.6  10.8   584572928 148   apollon054 1.36   1.36   69259264 18.9   apollon163 900    859    890540032 9670   apollon054 4.91 1.77  302903296 42.7 apollon032 9.66    3.15    322662400 76.0     apollon157 2.48    .940   223924224 20.9     apollon144 950       885       4606111744 13300       apollon071
bitvector/parity_true-unreach-call_true-no-overflow.i 118    112     729862144 1480   apollon165 881      880      283021312 11400     apollon075 901    885    1015435264 11700   apollon031 3.31 1.31  286834688 31.4 apollon014 130       123       914243584 1830       apollon059 2.17    .852   188231680 16.9     apollon054 951       931       947195904 14500       apollon160
bitvector/sum02_true-unreach-call_true-no-overflow.i 904    533     6050807808 8420   apollon061 881      880      325394432 10900     apollon074 901    893    528363520 12300   apollon081 3.50 1.45  281563136 34.3 apollon108 911       537       10741538816 7890       apollon042 2.13    .880   217821184 20.0     apollon032 950       942       515596288 11800       apollon049
bitvector/s3_clnt_1_false-unreach-call_true-no-overflow.BV.c.cil.c 8.52 2.63  457326592 71.9 apollon009 15.8    15.3    217014272 212     apollon130 24.1  6.70 555044864 208   apollon016 10.6  3.08  467173376 93.6 apollon106 16.6     5.45    487952384 144       apollon097 6.35    1.94    396869632 52.2     apollon166 76.3     26.2     1466568704 629       apollon075
bitvector/s3_clnt_2_false-unreach-call_true-no-overflow.BV.c.cil.c 10.6  3.89  519278592 94.1 apollon112 38.3    37.5    244740096 430     apollon122 28.4  7.90 702754816 239   apollon068 18.5  5.01  617021440 160   apollon168 39.9     21.6     1314594816 365       apollon150 6.89    2.19    432119808 54.9     apollon035 93.9     37.1     2738180096 841       apollon152
bitvector/s3_clnt_3_false-unreach-call_true-no-overflow.BV.c.cil.c 6.69 1.97  330534912 55.9 apollon077 9.12   8.78   190197760 96.7   apollon117 21.6  6.33 559087616 180   apollon010 7.04 2.21  388128768 58.5 apollon120 13.6     4.15    374702080 99.2     apollon054 5.18    1.67    301293568 43.4     apollon078 40.7     11.8     762277888 323       apollon045
bitvector/s3_clnt_1_true-unreach-call_true-no-overflow.BV.c.cil.c 21.0  14.5   1595949056 225   apollon061 158      157      360599552 1730     apollon142 36.4  10.0  938160128 290   apollon046 14.2  4.01  500178944 106   apollon121 25.0     12.4     1301934080 216       apollon134 6.25    1.94    410267648 54.8     apollon102 102       41.1     2114465792 1040       apollon094
bitvector/s3_clnt_2_true-unreach-call_true-no-overflow.BV.c.cil.c 19.3  13.2   1499021312 219   apollon059 119      118      339550208 1480     apollon161 45.2  12.8  1100406784 341   apollon139 24.2  6.77  833982464 199   apollon102 25.1     10.8     1344036864 240       apollon007 6.97    2.25    418476032 67.7     apollon033 89.4     44.8     4445974528 849       apollon103
bitvector/s3_clnt_3_true-unreach-call_true-no-overflow.BV.c.cil.c 21.8  14.7   2153934848 236   apollon091 132      131      359395328 1410     apollon068 24.5  6.36 1073127424 196   apollon101 101    77.4   3071184896 984   apollon100 26.4     16.4     1532821504 282       apollon146 3.77    1.22    252616704 31.8     apollon095 29.5     8.24    927588352 228       apollon073
bitvector/s3_srvr_1_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 905    548     4191834112 8990   apollon119 882      880      585277440 7520     apollon110 900    869    1993879552 11300   apollon011 101    75.1   2657251328 1170   apollon070 909       577       2519584768 10800       apollon014 2.79    1.03    223477760 26.1     apollon064 950       921       1318150144 11100       apollon109
bitvector/s3_srvr_1_true-unreach-call_true-no-overflow.BV.c.cil.c 26.6  19.0   2279071744 331   apollon039 883      880      640606208 6870     apollon041 45.5  17.1  1590583296 423   apollon052 31.1  8.45  977502208 229   apollon029 .0112  .0109  962560 .0132  apollon144 .0149  .0146  856064 .0112  apollon108 .0107  .0109  811008 .0110  apollon035
bitvector/s3_srvr_2_alt_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c 94.1  84.1   2322952192 1100   apollon131 882      880      551194624 6760     apollon089 38.6  12.2  1759092736 347   apollon124 41.9  18.5   1371332608 409   apollon020 .0142  .0138  1007616 .00751 apollon166 .0115  .0115  1056768 .00934 apollon114 .0136  .0132  872448 .00915 apollon059
bitvector/s3_srvr_2_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c 94.2  84.6   2319708160 972   apollon054 883      880      654467072 7250     apollon128 36.7  11.9  1544609792 313   apollon082 42.8  18.2   1405607936 402   apollon168 .00970 .00952 933888 .00855 apollon141 .0227  .0240  901120 .00775 apollon004 .0206  .0214  970752 .00617 apollon106
bitvector/s3_srvr_3_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 26.2  18.6   2289459200 274   apollon150 883      880      706609152 6970     apollon050 35.3  10.9  1421639680 276   apollon117 19.0  5.09  630145024 168   apollon030 .0150  .0143  1081344 .0156  apollon004 .00961 .00957 905216 .00391 apollon014 .0227  .0222  909312 .00787 apollon061
bitvector/s3_srvr_3_true-unreach-call_true-no-overflow.BV.c.cil.c 26.2  19.1   2282475520 424   apollon106 883      880      715411456 6540     apollon048 35.1  10.9  1350688768 305   apollon120 62.0  33.8   2281033728 700   apollon161 .00978 .0109  962560 .0115  apollon090 .0166  .0164  880640 .00830 apollon036 .0116  .0123  991232 .0128  apollon094
bitvector/soft_float_1_true-unreach-call_true-no-overflow_true-termination.c.cil.c 11.7  6.07  375234560 117   apollon052 1.85   1.84   80904192 20.7   apollon041 228    201    988016640 2650   apollon090 4.80 1.77  296083456 38.6 apollon100 11.8     5.13    310902784 111       apollon162 3.63    1.20    245772288 32.9     apollon007 950       914       1365651456 12700       apollon136
bitvector/soft_float_2_true-unreach-call_true-no-overflow_true-termination.c.cil.c 115    100     1207635968 1400   apollon147 1.67   1.59   86876160 18.8   apollon089 199    184    1052676096 2620   apollon027 7.53 2.34  446177280 63.2 apollon156 29.3     15.0     693014528 285       apollon153 5.19    1.66    338444288 45.8     apollon007 29.5     7.74    701775872 263       apollon057
bitvector/soft_float_3_true-unreach-call_true-no-overflow_true-termination.c.cil.c 101    87.7   1233477632 1210   apollon105 11.2    10.9    119222272 158     apollon065 901    866    1615437824 10500   apollon098 7.39 2.33  444780544 63.0 apollon091 188       173       14999998464 2560       apollon077 5.22    1.59    329912320 42.0     apollon166 951       904       1006391296 12000       apollon118
bitvector/soft_float_4_true-unreach-call_true-no-overflow_true-termination.c.cil.c 201    196     360902656 2970   apollon080 16.5    16.5    90742784 252     apollon027 39.1  21.4  642347008 418   apollon019 4.21 1.68  290402304 37.0 apollon076 81.5     75.9     344145920 1020       apollon156 2.99    1.10    233021440 25.3     apollon023 951       926       1403305984 11500       apollon045
bitvector/soft_float_5_true-unreach-call_true-no-overflow_true-termination.c.cil.c 115    98.7   1252323328 1270   apollon104 1.64   1.61   83382272 21.3   apollon156 14.9  4.29 509931520 131   apollon014 7.36 2.33  447238144 64.9 apollon077 28.7     14.5     644681728 277       apollon085 5.39    1.65    331550720 44.6     apollon102 28.2     7.39    615841792 223       apollon087
bitvector-regression/implicitfloatconversion_false-unreach-call_true-termination.c 2.49 1.04  264626176 22.0 apollon070 1.63   1.58   76455936 33.7   apollon106 8.74 2.89 295911424 63.0 apollon043 3.23 1.23  296452096 32.6 apollon039 .0134  .0157  843776 .00525 apollon088 .0288  .0287  909312 .00647 apollon038 .0122  .0130  1003520 .0106  apollon125
bitvector-regression/implicitunsignedconversion_false-unreach-call_true-termination.c 2.60 1.05  258981888 23.9 apollon112 1.62   1.59   76849152 22.1   apollon114 5.69 1.80 324898816 45.4 apollon052 2.45 1.06  268267520 24.7 apollon016 .0145  .0156  868352 .00848 apollon164 .0122  .0159  1019904 .00891 apollon032 .0110  .0107  815104 .00885 apollon008
bitvector-regression/integerpromotion_false-unreach-call_true-termination.c 2.42 1.00  255692800 20.9 apollon026 1.65   1.61   80896000 19.7   apollon104 9.14 2.99 315760640 72.5 apollon052 2.79 1.23  275443712 27.6 apollon148 .00817 .0101  888832 .0110  apollon050 .0109  .0135  942080 .00000 apollon065 .0121  .0124  847872 .00806 apollon109
bitvector-regression/recHanoi03_false-unreach-call_true-termination.c 3.36 1.35  303345664 29.4 apollon142 8.75   8.54   77230080 125     apollon113 89.6  64.1  910200832 1030   apollon134 2.53 1.10  267939840 22.0 apollon011 1.93    .825   180555776 17.8     apollon150 1.96    .810   182571008 18.4     apollon046 1.90    .813   183758848 19.9     apollon094
bitvector-regression/signextension2_false-unreach-call_true-termination.c 2.73 1.07  255885312 24.9 apollon057 1.63   1.58   70742016 32.7   apollon106 5.44 1.84 316346368 40.1 apollon060 2.60 1.09  270381056 25.6 apollon016 .00980 .00963 843776 .0112  apollon095 .00865 .00850 696320 .00000 apollon088 .0156  .0163  778240 .00769 apollon103
bitvector-regression/signextension_false-unreach-call_true-termination.c 2.49 1.05  256708608 24.2 apollon108 1.63   1.59   78053376 21.2   apollon093 6.03 1.83 336347136 46.6 apollon012 2.55 1.09  272834560 26.6 apollon021 .0140  .0138  765952 .0105  apollon005 .0165  .0168  974848 .0192  apollon061 .0107  .0114  876544 .00879 apollon065
bitvector-regression/implicitunsignedconversion_true-unreach-call_true-termination.c 2.43 .963 252104704 21.9 apollon163 1.31   1.32   82059264 14.6   apollon115 5.42 1.83 317550592 47.2 apollon168 2.94 1.28  276406272 26.1 apollon121 4.27    1.76    246820864 37.1     apollon157 1.89    .834   185491456 19.8     apollon059 7.65    2.66    344449024 63.6     apollon049
bitvector-regression/integerpromotion_true-unreach-call_true-termination.c 2.29 .929 250339328 20.4 apollon061 1.29   1.30   80293888 17.1   apollon020 9.34 3.20 314281984 75.1 apollon157 2.80 1.24  278286336 24.4 apollon127 4.33    1.82    249393152 39.4     apollon162 1.99    .825   185389056 17.0     apollon100 11.5     4.01    332746752 93.5     apollon062
bitvector-regression/signextension2_true-unreach-call_true-termination.c 2.38 .956 247525376 19.6 apollon073 1.29   1.29   74383360 16.1   apollon055 5.70 1.83 324829184 46.9 apollon168 3.10 1.31  285671424 30.7 apollon126 4.29    1.77    249163776 38.5     apollon011 2.06    .870   186146816 19.8     apollon007 8.14    2.91    328445952 75.0     apollon028
bitvector-regression/signextension_true-unreach-call_true-termination.c 2.33 .925 251621376 20.6 apollon065 1.30   1.31   71880704 15.6   apollon071 5.78 1.90 323059712 53.0 apollon056 3.12 1.31  275988480 31.3 apollon111 4.41    1.83    252669952 36.5     apollon123 2.00    .834   187228160 17.8     apollon127 9.07    2.77    343027712 75.7     apollon112
bitvector-loops/diamond_false-unreach-call2.i 2.95 1.18  257839104 30.0 apollon056 2.17   2.13   86896640 27.1   apollon074 8.31 2.78 388964352 59.6 apollon158 6.60 2.03  440332288 58.7 apollon081 .0108  .0107  892928 .00000 apollon113 .00868 .00842 745472 .0110  apollon117 .00910 .00971 921600 .00885 apollon024
bitvector-loops/overflow_false-unreach-call1.i 906    609     8201175040 9670   apollon018 883      981      930996224 10800     apollon003 901    747    2120015872 13300   apollon146 2.82 1.12  290009088 25.1 apollon052 .0134  .0139  851968 .0106  apollon026 .00950 .00962 765952 .00769 apollon102 .0111  .0109  839680 .00000 apollon086
bitvector-loops/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call_true-termination.i 212    204     754663424 2340   apollon029 4.89   4.69   106680320 72.3   apollon027 170    151    583659520 2480   apollon057 2.88 1.25  270974976 25.6 apollon012 .0110  .0111  921600 .00732 apollon060 .00956 .00987 851968 .00000 apollon079 .00766 .00751 995328 .0107  apollon052
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c 7.71 2.18  347463680 66.4 apollon091 4.57   4.34   123400192 61.7   apollon017 58.2  15.6  1353519104 465   apollon144 10.5  2.91  467931136 92.6 apollon160 .0109  .0133  946176 .0170  apollon006 .0123  .0123  868352 .00879 apollon093 .0206  .0204  1011712 .00537 apollon159
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c 8.43 2.39  352362496 72.7 apollon155 4.30   4.06   114405376 56.3   apollon067 32.9  8.27 829370368 231   apollon143 7.84 2.35  439459840 64.1 apollon156 .0109  .0107  909312 .0135  apollon165 .0161  .0173  1003520 .00745 apollon068 .00984 .00971 1024000 .00757 apollon124
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c 8.65 2.48  352763904 70.0 apollon053 9.00   8.66   127422464 140     apollon080 46.5  11.5  1074528256 357   apollon025 8.41 2.46  459096064 66.6 apollon095 .0127  .0123  970752 .00824 apollon097 .0109  .0119  909312 .00000 apollon080 .0138  .0142  1011712 .00421 apollon058
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c 5.37 1.69  297033728 44.1 apollon144 3.52   3.26   130400256 44.4   apollon003 16.3  4.27 538836992 147   apollon021 6.15 2.02  326635520 49.7 apollon025 .0150  .0146  794624 .0116  apollon043 .0110  .0107  884736 .00855 apollon133 .0289  .0284  839680 .00525 apollon074
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 7.53 2.12  340082688 53.2 apollon099 30.8    30.3    148131840 406     apollon012 94.5  42.0  2021273600 1050   apollon161 8.90 2.66  453758976 68.8 apollon157 .00613 .0102  884736 .00696 apollon078 .00900 .00925 1056768 .00867 apollon145 .0141  .0149  880640 .00592 apollon060
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 99.8  89.3   1272823808 1340   apollon108 5.96   5.73   120279040 88.7   apollon148 63.9  24.9  1469497344 554   apollon104 7.15 2.11  430432256 59.3 apollon112 .0111  .0109  983040 .00806 apollon022 .00846 .0125  761856 .0114  apollon161 .0134  .0140  774144 .00549 apollon105
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c 7.15 2.03  343937024 55.3 apollon071 4.94   4.75   113446912 57.2   apollon092 66.2  27.9  1579134976 583   apollon041 5.99 1.94  332750848 50.8 apollon070 .0139  .0153  856064 .0117  apollon087 .0133  .0142  856064 .00909 apollon163 .0129  .0126  843776 .0101  apollon131
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c 8.14 2.55  354537472 65.7 apollon093 9.73   9.46   128954368 119     apollon127 70.9  27.4  1552252928 608   apollon128 7.36 2.23  406474752 63.9 apollon022 .0286  .0306  897024 .00775 apollon108 .0137  .0141  987136 .00751 apollon115 .0223  .0229  942080 .00433 apollon015
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 3.43 1.22  264134656 29.0 apollon090 1.78   1.71   84525056 22.8   apollon114 17.8  5.18 686350336 153   apollon148 3.63 1.40  280764416 35.6 apollon126 .0135  .0129  892928 .00000 apollon003 .0117  .0122  995328 .00885 apollon029 .0151  .0155  933888 .0212  apollon132
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c 4.32 1.43  274059264 37.1 apollon118 3.12   3.01   89198592 37.4   apollon043 16.0  4.43 657203200 124   apollon115 4.60 1.58  281321472 39.3 apollon146 .0117  .0121  831488 .00391 apollon064 .0101  .00997 897024 .00934 apollon087 .0105  .0103  901120 .0125  apollon044
ssh-simplified/s3_clnt_1_false-unreach-call_true-termination.cil.c 6.59 1.91  315392000 55.1 apollon159 4.84   4.55   163942400 52.1   apollon158 13.2  3.68 514977792 94.8 apollon092 9.16 2.75  455581696 75.9 apollon051 .0155  .0159  872448 .00720 apollon150 .00898 .00926 1011712 .00000 apollon109 .0252  .0257  962560 .00763 apollon089
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c 6.37 1.92  295391232 46.5 apollon149 4.83   4.57   128761856 60.9   apollon165 14.2  3.93 551849984 111   apollon074 8.52 2.48  452268032 66.7 apollon018 .0136  .0130  1003520 .00708 apollon104 .0282  .0274  978944 .00568 apollon153 .0138  .0136  860160 .0134  apollon081
ssh-simplified/s3_clnt_3_false-unreach-call_true-termination.cil.c 6.80 2.05  299261952 53.6 apollon071 4.94   4.64   131452928 63.6   apollon102 14.2  3.88 527396864 110   apollon072 9.85 2.84  453873664 91.4 apollon021 .0103  .0116  983040 .00000 apollon107 .0128  .0136  954368 .0198  apollon064 .00932 .00965 860160 .00842 apollon163
ssh-simplified/s3_clnt_4_false-unreach-call_true-termination.cil.c 6.01 1.78  309264384 48.2 apollon084 4.96   4.64   133185536 63.3   apollon038 14.1  3.95 532099072 107   apollon135 8.96 2.59  457687040 76.4 apollon047 .0133  .0138  888832 .0146  apollon112 .0125  .0131  839680 .0106  apollon134 .0148  .0181  1028096 .00696 apollon161
ssh-simplified/s3_srvr_10_false-unreach-call_false-termination.cil.c 12.5  5.91  747458560 109   apollon104 3.13   2.98   106823680 45.2   apollon159 10.0  2.99 473042944 77.3 apollon107 4.35 1.63  290156544 37.2 apollon026 .0128  .0128  987136 .00915 apollon097 .0153  .0152  884736 .00568 apollon055 .0191  .0191  757760 .00574 apollon163
ssh-simplified/s3_srvr_11_false-unreach-call_false-termination.cil.c 122    110     2283266048 1520   apollon052 8.89   8.50   160595968 103     apollon104 34.6  9.14 1397358592 283   apollon124 49.7  19.2   1668919296 479   apollon125 15.0     5.97    559562752 140       apollon065 13.7     5.82    553697280 115       apollon147 19.0     6.93    553050112 158       apollon034
ssh-simplified/s3_srvr_12_false-unreach-call_false-termination.cil.c 122    107     2296795136 1610   apollon094 9.28   8.88   171204608 103     apollon043 26.7  6.88 871911424 214   apollon091 60.7  34.1   1772802048 619   apollon009 951       921       4876238848 9730       apollon038 9.34    3.06    527626240 86.3     apollon080 22.1     6.64    539217920 191       apollon088
ssh-simplified/s3_srvr_13_false-unreach-call_false-termination.cil.c 115    101     2290978816 1490   apollon028 4.82   4.50   137285632 58.3   apollon166 19.7  5.24 574660608 155   apollon142 9.78 2.78  483901440 73.5 apollon053 .0202  .0210  978944 .00470 apollon109 .0100  .00981 880640 .0154  apollon130 .0117  .0114  851968 .0134  apollon056
ssh-simplified/s3_srvr_14_false-unreach-call_false-termination.cil.c 46.1  33.1   2288668672 450   apollon143 3.52   3.28   121491456 49.9   apollon069 18.0  4.88 577560576 138   apollon035 7.83 2.35  419213312 58.0 apollon098 .0287  .0290  909312 .00543 apollon074 .0145  .0158  827392 .00818 apollon092 .0159  .0159  827392 .00482 apollon050
ssh-simplified/s3_srvr_1_false-unreach-call_false-termination.cil.c 5.22 1.63  274120704 42.1 apollon097 4.06   3.79   128008192 54.5   apollon108 15.2  4.17 744591360 123   apollon006 6.74 2.12  351375360 60.0 apollon030 .00725 .0105  925696 .00000 apollon168 .0135  .0133  921600 .0120  apollon150 .00703 .0104  778240 .00934 apollon083
ssh-simplified/s3_srvr_2_false-unreach-call_false-termination.cil.c 4.88 1.58  278130688 39.3 apollon104 3.99   3.67   158097408 50.4   apollon118 15.6  4.32 533422080 124   apollon153 6.40 2.06  341139456 52.4 apollon042 .0159  .0158  1003520 .00891 apollon160 .0172  .0167  925696 .00537 apollon060 .00996 .00985 876544 .0125  apollon005
ssh-simplified/s3_srvr_6_false-unreach-call_false-termination.cil.c 3.02 1.21  255967232 25.0 apollon066 3.06   2.91   100655104 37.3   apollon073 7.95 2.15 347865088 66.3 apollon167 4.09 1.57  288546816 34.7 apollon070 .0180  .0182  929792 .00647 apollon086 .00952 .00965 794624 .00915 apollon125 .0118  .0123  1003520 .0123  apollon132
ssh-simplified/s3_clnt_1_true-unreach-call_true-termination.cil.c 19.6  12.0   1267056640 200   apollon070 45.0    44.6    188616704 532     apollon096 49.1  17.2  2241576960 451   apollon024 16.2  4.63  621895680 131   apollon127 .00972 .00958 958464 .0151  apollon130 .0139  .0141  946176 .00928 apollon027 .0119  .0119  966656 .00812 apollon152
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c 20.9  12.3   1268535296 184   apollon040 45.2    44.7    186023936 489     apollon098 47.9  14.6  2155573248 392   apollon127 12.4  3.48  488386560 107   apollon111 .0127  .0127  995328 .00708 apollon074 .0169  .0172  897024 .00623 apollon145 .0117  .0116  872448 .00812 apollon146
ssh-simplified/s3_clnt_3_true-unreach-call_true-termination.cil.c 22.6  14.0   1272123392 206   apollon043 45.3    45.0    184451072 547     apollon136 47.3  14.5  2119991296 413   apollon024 9.73 2.76  496414720 88.7 apollon111 .0252  .0262  1019904 .00903 apollon043 .0128  .0138  921600 .0106  apollon119 .00943 .00966 749568 .00806 apollon156
ssh-simplified/s3_clnt_4_true-unreach-call_true-termination.cil.c 20.7  12.6   1259450368 222   apollon122 44.3    43.8    185552896 564     apollon027 48.3  14.7  1980637184 467   apollon039 18.1  4.97  612642816 134   apollon017 .00963 .0103  905216 .00787 apollon095 .0105  .0107  753664 .00897 apollon093 .0118  .0118  909312 .0135  apollon151
ssh-simplified/s3_srvr_1_true-unreach-call_false-termination.cil.c 24.1  16.4   2263429120 229   apollon040 883      880      378916864 6100     apollon060 46.6  16.1  2361909248 420   apollon046 41.7  18.1   1533001728 370   apollon133 .0132  .0131  819200 .0109  apollon109 .0160  .0158  856064 .00867 apollon164 .0148  .0145  839680 .0118  apollon167
ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c 3.07 1.14  258174976 24.6 apollon123 883      880      324108288 8050     apollon143 7.86 2.41 428797952 66.3 apollon065 7.31 2.23  444444672 61.2 apollon167 .0126  .0126  1081344 .0110  apollon105 .0120  .0117  741376 .00000 apollon117 .00993 .0102  901120 .0109  apollon085
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c 2.42 .995 242536448 24.1 apollon081 885      880      289263616 10100     apollon161 6.71 2.12 348704768 61.4 apollon057 3.82 1.48  276803584 34.5 apollon022 .0152  .0150  847872 .0102  apollon019 .00873 .00964 978944 .0112  apollon094 .0122  .0127  974848 .00470 apollon132
ssh-simplified/s3_srvr_2_true-unreach-call_false-termination.cil.c 26.0  17.0   1273061376 248   apollon079 883      880      394924032 6710     apollon073 49.8  17.1  1976320000 452   apollon093 24.1  6.61  852000768 170   apollon100 .0273  .0328  966656 .0148  apollon125 .00986 .00968 786432 .00861 apollon113 .0104  .0102  704512 .0170  apollon057
ssh-simplified/s3_srvr_3_true-unreach-call_false-termination.cil.c 23.8  16.2   2260074496 227   apollon043 883      880      391766016 6850     apollon013 42.0  15.3  1874989056 440   apollon056 28.2  7.36  799481856 199   apollon117 .0124  .0148  987136 .0220  apollon160 .00960 .00953 884736 .00915 apollon164 .0148  .0146  868352 .00299 apollon025
ssh-simplified/s3_srvr_4_true-unreach-call_false-termination.cil.c 24.3  16.1   2276724736 239   apollon062 883      880      389758976 6650     apollon138 41.3  14.3  1513066496 372   apollon144 31.2  9.52  1082322944 248   apollon011 .0150  .0147  876544 .00397 apollon038 .0110  .0145  888832 .0320  apollon106 .0150  .0148  892928 .00500 apollon010
ssh-simplified/s3_srvr_6_true-unreach-call_false-termination.cil.c 96.4  87.0   2293555200 1110   apollon156 883      880      401997824 7380     apollon028 60.0  25.6  2822352896 603   apollon101 101    76.2   2603286528 1050   apollon167 128       97.7     2102169600 1530       apollon155 12.0     3.99    564948992 104       apollon091 22.0     7.01    543404032 208       apollon036
ssh-simplified/s3_srvr_7_true-unreach-call_false-termination.cil.c 95.4  86.8   2303795200 1140   apollon118 883      880      393883648 6090     apollon054 52.8  20.1  1998528512 470   apollon023 47.6  24.3   1600352256 450   apollon038 .0118  .0116  1019904 .00891 apollon041 .0158  .0161  1052672 .00922 apollon151 .0137  .0134  905216 .00000 apollon111
ssh-simplified/s3_srvr_8_true-unreach-call_false-termination.cil.c 24.8  16.6   2254262272 257   apollon162 883      880      398381056 7280     apollon082 44.4  16.8  1909620736 383   apollon116 41.6  14.9   1357250560 335   apollon045 .0199  .0194  991232 .00439 apollon093 .0159  .0157  999424 .0121  apollon037 .0265  .0272  991232 .00446 apollon020
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c 93.6  86.9   1256615936 1290   apollon069 2.28   2.13   90669056 26.5   apollon012 8.22 2.26 376164352 60.8 apollon075 3.89 1.55  290488320 35.3 apollon118 .00625 .0104  1052672 .0107  apollon118 .0123  .0138  905216 .0110  apollon058 .0189  .0195  970752 .00494 apollon048
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c 93.4  87.4   1252225024 1080   apollon166 2.30   2.14   92962816 30.6   apollon108 7.71 2.22 361857024 57.6 apollon096 3.69 1.47  286932992 32.3 apollon085 .00969 .00950 892928 .0108  apollon132 .0162  .0165  999424 .0186  apollon019 .0144  .0161  884736 .0151  apollon144
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c 26.7  19.8   2256191488 269   apollon012 1.64   1.61   85835776 21.3   apollon136 18.8  5.34 945229824 144   apollon013 3.20 1.26  274280448 28.7 apollon004 .0150  .0156  962560 .0197  apollon107 .0273  .0284  1069056 .00372 apollon022 .0152  .0184  933888 .00702 apollon056
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c 86.9  78.3   2306621440 936   apollon139 1.65   1.61   88391680 17.6   apollon054 25.8  8.64 1564819456 191   apollon104 3.29 1.30  272015360 27.6 apollon051 .0226  .0223  966656 .00543 apollon043 .0131  .0130  925696 .0112  apollon132 .0280  .0274  757760 .00848 apollon152
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c 154    143     2250362880 1840   apollon075 1.69   1.62   85405696 25.5   apollon160 36.6  15.0  2846556160 292   apollon103 3.20 1.26  276197376 29.6 apollon118 .00925 .0127  937984 .0162  apollon021 .00928 .00940 843776 .0104  apollon098 .0135  .0138  1019904 .0117  apollon128
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c 155    142     1444257792 2220   apollon030 1.68   1.60   83832832 20.6   apollon110 59.3  27.2  4976963584 455   apollon127 3.28 1.31  276688896 29.5 apollon004 .0109  .0107  876544 .00873 apollon164 .0107  .0105  839680 .00873 apollon033 .0132  .0134  1036288 .0116  apollon160
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c 155    142     1460006912 1830   apollon150 1.69   1.61   82128896 19.8   apollon166 120    56.6  6080974848 859   apollon134 3.31 1.34  275124224 28.9 apollon034 .0251  .0258  913408 .00775 apollon089 .0196  .0194  1007616 .00665 apollon003 .0106  .0135  806912 .0133  apollon132
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c 154    141     1467449344 1900   apollon102 1.76   1.73   89853952 20.7   apollon165 311    135    8351715328 2350   apollon008 3.36 1.30  277331968 28.7 apollon026 .0103  .0101  811008 .00000 apollon033 .0128  .0134  925696 .00824 apollon110 .00658 .00984 856064 .0122  apollon011
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c 3.17 1.15  261558272 24.8 apollon083 1.58   1.55   88391680 22.5   apollon080 8.45 2.46 388702208 59.6 apollon040 2.82 1.18  271339520 25.1 apollon078 .0113  .0158  1060864 .0161  apollon087 .00728 .0103  876544 .00995 apollon114 .00737 .0113  1019904 .0184  apollon140
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c 3.73 1.30  270987264 33.6 apollon101 1.62   1.62   78028800 17.9   apollon043 8.87 2.45 452169728 77.5 apollon125 2.83 1.18  267870208 24.6 apollon085 .0114  .0111  897024 .0110  apollon045 .00896 .00983 745472 .00848 apollon073 .0158  .0155  995328 .00617 apollon153
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c 4.80 1.52  283516928 43.0 apollon093 1.63   1.60   77127680 19.4   apollon153 10.9  2.93 523218944 82.8 apollon071 2.93 1.19  274169856 23.8 apollon043 .0303  .0306  831488 .0168  apollon120 .0106  .0103  831488 .0104  apollon128 .0137  .0135  831488 .0113  apollon162
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c 7.31 2.43  436342784 68.8 apollon021 1.63   1.58   88977408 19.2   apollon120 11.4  3.23 539398144 99.5 apollon044 3.00 1.21  271302656 28.6 apollon020 .0184  .0180  995328 .00324 apollon011 .0137  .0140  884736 .0110  apollon036 .0171  .0178  872448 .0107  apollon030
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c 11.8  6.14  729989120 124   apollon167 1.65   1.62   80850944 19.0   apollon129 15.0  3.85 741875712 111   apollon058 3.07 1.21  271044608 26.9 apollon087 .0224  .0219  851968 .00763 apollon045 .0110  .0109  1028096 .00610 apollon022 .0150  .0159  839680 .00757 apollon102
ntdrivers/cdaudio_false-unreach-call.i.cil.c 52.6  38.7   2662572032 554   apollon115 884      981      1959436288 7690     apollon138 900    762    5409255424 12700   apollon017 101    58.2   3856003072 984   apollon107 931       591       5611409408 11000       apollon167 9.99    2.65    473309184 82.6     apollon102 35.9     9.09    600686592 272       apollon097
ntdrivers/diskperf_false-unreach-call.i.cil.c 103    88.4   1779073024 1210   apollon090 4.92   4.64   144392192 61.1   apollon142 17.9  4.75 551419904 139   apollon051 11.5  3.08  487526400 99.5 apollon161 .00864 .0119  905216 .0122  apollon151 .0114  .0119  901120 .00915 apollon142 .0154  .0158  880640 .0107  apollon082
ntdrivers/floppy_false-unreach-call.i.cil.c 15.0  5.25  666996736 128   apollon015 9.52   9.27   189181952 128     apollon047 141    97.4  4742819840 1350   apollon161 27.8  7.02  827916288 214   apollon051 .0119  .0116  929792 .0142  apollon057 .0111  .0109  933888 .00836 apollon038 .0110  .0108  933888 .00922 apollon059
ntdrivers/kbfiltr_false-unreach-call.i.cil.c 9.31 2.97  417185792 79.6 apollon069 4.75   4.49   120172544 59.4   apollon135 900    843    1995239424 9620   apollon130 9.18 2.59  472186880 71.0 apollon026 .00657 .0101  761856 .00873 apollon070 .0174  .0178  778240 .0103  apollon142 .0136  .0133  876544 .00848 apollon054
ntdrivers/parport_false-unreach-call.i.cil.c 134    90.0   4238151680 1250   apollon117 8.74   8.29   266223616 102     apollon143 98.2  46.1  1074442240 968   apollon130 41.1  12.3   1233416192 337   apollon002 .0149  .0143  913408 .0128  apollon062 .0117  .0116  778240 .0115  apollon147 .0131  .0172  1118208 .0201  apollon152
ntdrivers/cdaudio_true-unreach-call.i.cil.c 8.58 2.32  364331008 77.8 apollon014 20.8    20.3    220925952 300     apollon014 158    77.8  3270250496 1500   apollon040 13.2  3.52  498647040 108   apollon161 .0113  .0119  892928 .0113  apollon005 .0135  .0133  786432 .00971 apollon066 .0303  .0295  921600 .00653 apollon163
ntdrivers/diskperf_true-unreach-call.i.cil.c 102    86.7   1635651584 1270   apollon052 883      981      493248512 10000     apollon154 132    71.5  4498395136 1250   apollon042 10.4  2.82  465846272 85.1 apollon119 .0116  .0116  876544 .00861 apollon134 .0110  .0108  946176 .00769 apollon002 .00927 .00997 802816 .00873 apollon040
ntdrivers/floppy2_true-unreach-call_true-termination.i.cil.c 78.9  55.3   2476982272 829   apollon011 26.8    26.2    256086016 325     apollon066 358    212    7852699648 3020   apollon133 36.7  9.30  1080754176 265   apollon051 .0146  .0145  1069056 .0104  apollon130 .0147  .0160  983040 .0191  apollon109 .0144  .0142  921600 .00775 apollon099
ntdrivers/floppy_true-unreach-call_true-valid-memsafety.i.cil.c 76.7  57.8   1828921344 897   apollon161 207      206      370843648 2440     apollon099 266    145    8380055552 2550   apollon071 22.8  5.87  808267776 158   apollon098 .0147  .0152  888832 .00568 apollon104 .00982 .00964 987136 .00000 apollon168 .0118  .0119  884736 .0118  apollon094
ntdrivers/parport_true-unreach-call.i.cil.c 157    109     4155416576 1690   apollon152 23.7    22.9    295821312 306     apollon078 315    221    4816232448 4250   apollon122 48.1  18.0   1745305600 449   apollon167 .00923 .00925 884736 .00494 apollon017 .0293  .0292  847872 .00610 apollon157 .0155  .0154  1077248 .00470 apollon037
ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c 183    167     14999998464 2380   apollon005 13.6    13.2    215244800 168     apollon114 463    404    925495296 5640   apollon138 9.13 2.57  449695744 67.3 apollon058 .0159  .0157  761856 .0101  apollon022 .0166  .0196  1003520 .00610 apollon101 .0125  .0134  880640 .00983 apollon009
ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c 170    155     14999998464 2070   apollon018 8.13   7.70   192147456 102     apollon058 167    134    838197248 2000   apollon081 9.14 2.59  452468736 80.0 apollon161 .0168  .0182  995328 .00665 apollon107 .0107  .0108  892928 .0108  apollon110 .0102  .00999 876544 .0115  apollon161
ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c 168    152     14999998464 1890   apollon003 8.31   7.97   204197888 104     apollon147 166    134    847384576 1950   apollon155 8.63 2.46  425029632 62.6 apollon158 .00980 .0101  868352 .00769 apollon009 .0130  .0128  1036288 .00806 apollon048 .00751 .00773 757760 .00000 apollon014
ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c 170    155     14999998464 1750   apollon158 8.28   7.93   188358656 99.4   apollon154 169    136    812216320 1750   apollon086 8.65 2.52  455716864 68.1 apollon038 .0224  .0281  1052672 .00812 apollon141 .0110  .0107  954368 .00000 apollon161 .0154  .0166  913408 .0147  apollon118
ssh/s3_srvr.blast.01_false-unreach-call.i.cil.c 175    161     14999998464 2000   apollon032 6.17   5.85   184233984 80.6   apollon052 29.1  10.9  561053696 263   apollon047 8.04 2.33  395956224 61.8 apollon089 .0109  .0106  831488 .0103  apollon030 .00984 .0125  978944 .0184  apollon128 .0100  .0103  892928 .00623 apollon153
ssh/s3_srvr.blast.02_false-unreach-call.i.cil.c 174    161     14999998464 2310   apollon019 6.22   5.82   192208896 76.7   apollon055 28.2  9.62 524533760 243   apollon152 8.22 2.40  409186304 65.0 apollon053 .0104  .0141  1028096 .0137  apollon005 .0164  .0202  757760 .00714 apollon096 .0106  .0104  978944 .00391 apollon034
ssh/s3_srvr.blast.03_false-unreach-call.i.cil.c 175    161     14999998464 2050   apollon055 6.18   5.79   186241024 73.5   apollon150 27.5  9.64 527646720 231   apollon102 7.72 2.25  406921216 61.1 apollon058 .0110  .0108  942080 .00989 apollon040 .00992 .0101  794624 .00000 apollon118 .0193  .0193  991232 .00427 apollon034
ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c 175    162     14999998464 2050   apollon153 6.26   5.86   201506816 78.2   apollon133 26.6  9.44 513019904 232   apollon146 8.04 2.33  421318656 61.0 apollon002 .0198  .0196  847872 .00391 apollon125 .00890 .00880 806912 .00000 apollon026 .0146  .0144  847872 .00757 apollon056
ssh/s3_srvr.blast.06_false-unreach-call.i.cil.c 164    157     14999998464 1560   apollon048 13.9    13.5    240508928 163     apollon141 900    776    5014917120 12500   apollon091 5.85 1.89  315543552 51.3 apollon019 .0233  .0236  774144 .00488 apollon126 .00972 .00980 761856 .0149  apollon130 .00891 .00895 962560 .00946 apollon068
ssh/s3_srvr.blast.07_false-unreach-call.i.cil.c 241    225     14999998464 2320   apollon040 12.7    12.2    224219136 141     apollon073 901    791    4974788608 12700   apollon033 9.70 2.76  460361728 80.3 apollon067 .0112  .0128  872448 .00000 apollon085 .0105  .0102  724992 .00000 apollon024 .00942 .00978 729088 .00818 apollon127
ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c 343    334     14999998464 2650   apollon043 503      502      364400640 3470     apollon120 901    763    4105170944 11300   apollon154 5.83 1.92  310112256 46.1 apollon058 .0106  .0107  974848 .0133  apollon161 .0118  .0138  860160 .0115  apollon134 .0135  .0134  823296 .00818 apollon006
ssh/s3_srvr.blast.09_false-unreach-call.i.cil.c 235    219     14999998464 2680   apollon142 12.7    12.2    215281664 149     apollon113 900    784    4889415680 11100   apollon129 10.9  3.09  443912192 87.7 apollon022 .00992 .00968 909312 .00000 apollon092 .0184  .0181  905216 .00690 apollon133 .0169  .0165  851968 .00867 apollon160
ssh/s3_srvr.blast.10_false-unreach-call.i.cil.c 334    326     14999998464 2760   apollon095 669      668      368005120 5390     apollon049 900    769    3832958976 12100   apollon145 5.66 1.87  313110528 48.9 apollon168 .0154  .0162  888832 .00586 apollon049 .0111  .0108  999424 .00855 apollon129 .0140  .0133  929792 .00842 apollon124
ssh/s3_srvr.blast.11_false-unreach-call.i.cil.c 204    188     14999998464 2120   apollon127 8.90   8.47   215568384 120     apollon068 67.2  46.4  709664768 625   apollon091 10.3  2.89  481853440 76.8 apollon054 .0279  .0319  1019904 .0154  apollon147 .0118  .0117  741376 .00000 apollon056 .0110  .0146  933888 .0214  apollon168
ssh/s3_srvr.blast.12_false-unreach-call.i.cil.c 152    145     14999998464 1380   apollon086 13.1    12.7    226557952 160     apollon011 900    776    4691329024 12500   apollon136 5.76 1.87  309747712 44.6 apollon123 .0119  .0117  888832 .00940 apollon090 .0142  .0180  888832 .0100  apollon142 .0165  .0164  786432 .00586 apollon119
ssh/s3_srvr.blast.13_false-unreach-call.i.cil.c 241    226     14999998464 2610   apollon138 12.3    11.7    225325056 136     apollon013 900    783    4971696128 12900   apollon125 10.5  2.93  447406080 82.4 apollon053 .0130  .0134  1036288 .0111  apollon052 .0170  .0169  872448 .00617 apollon134 .0157  .0149  1060864 .0138  apollon163
ssh/s3_srvr.blast.14_false-unreach-call.i.cil.c 153    146     14999998464 1510   apollon165 13.5    13.1    240918528 138     apollon104 900    779    4811649024 11600   apollon135 5.94 1.95  320987136 56.0 apollon125 .0161  .0164  1007616 .0145  apollon074 .0121  .0116  901120 .00867 apollon145 .0100  .0105  864256 .00586 apollon029
ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c 358    349     14999998464 2720   apollon043 462      461      365641728 3340     apollon035 900    764    3831652352 14500   apollon056 5.86 1.86  309665792 50.0 apollon101 .0129  .0157  925696 .00842 apollon155 .0107  .0105  905216 .0100  apollon027 .00664 .0103  708608 .00897 apollon146
ssh/s3_srvr.blast.16_false-unreach-call.i.cil.c 157    150     14999998464 1730   apollon167 13.6    13.2    233603072 154     apollon102 900    776    4803227648 11800   apollon147 6.07 1.92  310468608 47.0 apollon002 .00925 .00962 860160 .0103  apollon030 .0170  .0176  761856 .0110  apollon056 .0150  .0152  872448 .0101  apollon101
ssh/s3_clnt.blast.01_true-unreach-call.i.cil.c 137    118     1638596608 1710   apollon055 882      880      331489280 6620     apollon049 901    845    2040926208 11300   apollon062 9.88 2.74  463360000 80.9 apollon070 .0117  .0115  905216 .0103  apollon138 .0112  .0111  868352 .0145  apollon080 .0167  .0178  884736 .0104  apollon030
ssh/s3_clnt.blast.02_true-unreach-call.i.cil.c 108    91.5   1402040320 1230   apollon149 882      880      343101440 6690     apollon061 901    809    2256453632 10900   apollon035 9.08 2.61  445390848 70.6 apollon082 .0105  .0103  770048 .00000 apollon016 .0118  .0116  954368 .00873 apollon163 .0105  .0103  770048 .00617 apollon118
ssh/s3_clnt.blast.03_true-unreach-call.i.cil.c