| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| minisatp 2012-10-02 git-d91742b | UNSAT | 709.349 | 709.466 |
| Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-siena1.opb |
| MD5SUM | a93dde4d8545bab3c441ec26d058498b |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 0.410936 |
| Has Objective Function | YES |
| Satisfiable | NO |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 70755 |
| Total number of constraints | 2219 |
| Number of constraints which are clauses | 310 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1909 |
| Minimum length of a constraint | 15 |
| Maximum length of a constraint | 70755 |
| Number of terms in the objective function | 70755 |
| Biggest coefficient in the objective function | 9973 |
| Number of bits for the biggest coefficient in the objective function | 14 |
| Sum of the numbers in the objective function | 594249 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 262141 |
| Number of bits of the biggest number in a constraint | 18 |
| Biggest sum of numbers in a constraint | 594251 |
| Number of bits of the biggest sum of numbers | 20 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c Parsing PB file... 2.79/2.89 c Converting 4027 PB-constraints to clauses... 2.89/2.90 c -- Unit propagations: (none) 2.89/2.91 c -- Detecting intervals from adjacent constraints: #########################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################=####################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################### 2.89/2.96 c -- Clauses(.)/Splits(s): ......................................................................................................................................................................................................................................................................................sssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssss............................... 3.09/3.17 c ---[4088]---> Adder-cost: 172 maxlim: 72 bits: 8/7 3.09/3.17 c ---[4086]---> Adder-cost: 192 maxlim: 83 bits: 8/7 3.09/3.17 c ---[4084]---> Adder-cost: 332 maxlim: 150 bits: 9/8 3.09/3.18 c ---[4082]---> Adder-cost: 243 maxlim: 127 bits: 8/7 3.09/3.18 c ---[4079]---> Adder-cost: 147 maxlim: 59 bits: 7/6 3.09/3.18 c ---[4077]---> Adder-cost: 113 maxlim: 63 bits: 7/6 3.09/3.18 c ---[4075]---> Adder-cost: 135 maxlim: 63 bits: 7/6 3.09/3.19 c ---[4073]---> Adder-cost: 136 maxlim: 64 bits: 8/7 3.09/3.19 c ---[4071]---> Adder-cost: 139 maxlim: 57 bits: 7/6 3.09/3.19 c ---[4069]---> Adder-cost: 112 maxlim: 49 bits: 7/6 3.09/3.19 c ---[4067]---> Adder-cost: 114 maxlim: 84 bits: 8/7 3.09/3.19 c ---[4065]---> Adder-cost: 108 maxlim: 45 bits: 7/6 3.09/3.19 c ---[4063]---> Adder-cost: 102 maxlim: 45 bits: 7/6 3.19/3.20 c ---[4061]---> Adder-cost: 208 maxlim: 95 bits: 8/7 3.19/3.20 c ---[4059]---> Adder-cost: 206 maxlim: 96 bits: 8/7 3.19/3.20 c ---[4057]---> Adder-cost: 196 maxlim: 99 bits: 8/7 3.19/3.20 c ---[4055]---> Adder-cost: 152 maxlim: 87 bits: 8/7 3.19/3.21 c ---[4053]---> Adder-cost: 180 maxlim: 87 bits: 8/7 3.19/3.21 c ---[4051]---> Adder-cost: 88 maxlim: 84 bits: 8/7 3.19/3.21 c ---[4049]---> Adder-cost: 174 maxlim: 94 bits: 8/7 3.19/3.21 c ---[4047]---> Adder-cost: 172 maxlim: 90 bits: 8/7 3.19/3.22 c ---[4045]---> Adder-cost: 114 maxlim: 45 bits: 7/6 3.19/3.22 c ---[4043]---> Adder-cost: 104 maxlim: 46 bits: 7/6 3.19/3.22 c ---[4041]---> Adder-cost: 190 maxlim: 86 bits: 8/7 3.19/3.22 c ---[4039]---> Adder-cost: 210 maxlim: 91 bits: 8/7 3.19/3.22 c ---[4037]---> Adder-cost: 162 maxlim: 91 bits: 8/7 3.19/3.23 c ---[4035]---> Adder-cost: 130 maxlim: 75 bits: 8/7 3.19/3.23 c ---[4032]---> Adder-cost: 190 maxlim: 105 bits: 8/7 3.19/3.23 c ---[4030]---> Adder-cost: 220 maxlim: 104 bits: 8/7 3.19/3.24 c ---[4028]---> Adder-cost: 274 maxlim: 144 bits: 9/8 3.19/3.24 c ---[4026]---> Adder-cost: 266 maxlim: 146 bits: 9/8 3.19/3.24 c ---[4024]---> Adder-cost: 236 maxlim: 155 bits: 9/8 3.19/3.25 c ---[4022]---> Adder-cost: 266 maxlim: 157 bits: 9/8 3.19/3.25 c ---[4020]---> Adder-cost: 230 maxlim: 161 bits: 9/8 3.19/3.26 c ---[4018]---> Adder-cost: 94 maxlim: 36 bits: 7/6 3.19/3.26 c ---[4016]---> Adder-cost: 118 maxlim: 161 bits: 9/8 3.19/3.26 c ---[4014]---> Adder-cost: 340 maxlim: 195 bits: 9/8 3.19/3.27 c ---[4012]---> Adder-cost: 308 maxlim: 171 bits: 9/8 3.19/3.27 c ---[4010]---> Adder-cost: 220 maxlim: 161 bits: 9/8 3.19/3.28 c ---[4008]---> Adder-cost: 238 maxlim: 128 bits: 9/8 3.19/3.28 c ---[4006]---> Adder-cost: 212 maxlim: 108 bits: 8/7 3.19/3.29 c ---[4004]---> Adder-cost: 184 maxlim: 85 bits: 8/7 3.19/3.29 c ---[4002]---> Adder-cost: 158 maxlim: 80 bits: 8/7 3.19/3.29 c ---[4000]---> Adder-cost: 58 maxlim: 20 bits: 6/5 3.19/3.29 c ---[3998]---> Adder-cost: 54 maxlim: 16 bits: 6/5 3.19/3.29 c ---[3996]---> Adder-cost: 124 maxlim: 49 bits: 7/6 3.19/3.29 c ---[3994]---> Adder-cost: 102 maxlim: 48 bits: 7/6 3.19/3.30 c ---[3992]---> Adder-cost: 102 maxlim: 49 bits: 7/6 3.19/3.30 c ---[3990]---> Adder-cost: 98 maxlim: 45 bits: 7/6 3.19/3.30 c ---[3988]---> Adder-cost: 84 maxlim: 38 bits: 7/6 3.19/3.30 c ---[3986]---> Adder-cost: 90 maxlim: 45 bits: 7/6 3.19/3.30 c ---[3984]---> Adder-cost: 170 maxlim: 73 bits: 8/7 3.30/3.30 c ---[3982]---> Adder-cost: 210 maxlim: 100 bits: 8/7 3.30/3.31 c ---[3980]---> Adder-cost: 172 maxlim: 99 bits: 8/7 3.30/3.31 c ---[3978]---> Adder-cost: 202 maxlim: 94 bits: 8/7 3.30/3.31 c ---[3976]---> Adder-cost: 158 maxlim: 90 bits: 8/7 3.30/3.32 c ---[3974]---> Adder-cost: 135 maxlim: 61 bits: 7/6 3.30/3.32 c ---[3972]---> Adder-cost: 133 maxlim: 56 bits: 7/6 3.30/3.32 c ---[3969]---> Adder-cost: 107 maxlim: 57 bits: 7/6 3.30/3.32 c ---[3967]---> Adder-cost: 261 maxlim: 122 bits: 8/7 3.30/3.32 c ---[3965]---> Adder-cost: 280 maxlim: 138 bits: 9/8 3.30/3.33 c ---[3963]---> Adder-cost: 116 maxlim: 138 bits: 9/8 3.30/3.33 c ---[3961]---> Adder-cost: 294 maxlim: 150 bits: 9/8 3.30/3.34 c ---[3959]---> Adder-cost: 248 maxlim: 153 bits: 9/8 3.30/3.34 c ---[3957]---> Adder-cost: 294 maxlim: 158 bits: 9/8 3.30/3.35 c ---[3955]---> Adder-cost: 116 maxlim: 158 bits: 9/8 3.30/3.35 c ---[3953]---> Adder-cost: 286 maxlim: 156 bits: 9/8 3.30/3.36 c ---[3951]---> Adder-cost: 282 maxlim: 128 bits: 9/8 3.30/3.36 c ---[3949]---> Adder-cost: 212 maxlim: 159 bits: 9/8 3.30/3.36 c ---[3947]---> Adder-cost: 188 maxlim: 156 bits: 9/8 3.30/3.37 c ---[3945]---> Adder-cost: 120 maxlim: 156 bits: 9/8 3.30/3.37 c ---[3943]---> Adder-cost: 270 maxlim: 154 bits: 9/8 3.30/3.38 c ---[3941]---> Adder-cost: 122 maxlim: 154 bits: 9/8 3.30/3.38 c ---[3939]---> Adder-cost: 200 maxlim: 153 bits: 9/8 3.30/3.39 c ---[3937]---> Adder-cost: 118 maxlim: 153 bits: 9/8 3.30/3.39 c ---[3935]---> Adder-cost: 238 maxlim: 152 bits: 9/8 3.30/3.40 c ---[3933]---> Adder-cost: 110 maxlim: 152 bits: 9/8 3.30/3.40 c ---[3931]---> Adder-cost: 120 maxlim: 153 bits: 9/8 3.40/3.41 c ---[3929]---> Adder-cost: 104 maxlim: 128 bits: 9/8 3.40/3.41 c ---[3927]---> Adder-cost: 118 maxlim: 153 bits: 9/8 3.40/3.41 c ---[3925]---> Adder-cost: 118 maxlim: 153 bits: 9/8 3.40/3.42 c ---[3923]---> Adder-cost: 118 maxlim: 153 bits: 9/8 3.40/3.42 c ---[3921]---> Adder-cost: 286 maxlim: 188 bits: 9/8 3.40/3.43 c ---[3918]---> Adder-cost: 162 maxlim: 68 bits: 8/7 3.40/3.43 c ---[3916]---> Adder-cost: 120 maxlim: 69 bits: 8/7 3.40/3.43 c ---[3914]---> Adder-cost: 102 maxlim: 40 bits: 7/6 3.40/3.43 c ---[3912]---> Adder-cost: 118 maxlim: 47 bits: 7/6 3.40/3.44 c ---[3910]---> Adder-cost: 182 maxlim: 116 bits: 8/7 3.40/3.44 c ---[3908]---> Adder-cost: 139 maxlim: 53 bits: 7/6 3.40/3.44 c ---[3906]---> Adder-cost: 120 maxlim: 51 bits: 7/6 3.40/3.44 c ---[3904]---> Adder-cost: 114 maxlim: 50 bits: 7/6 3.40/3.44 c ---[3902]---> Adder-cost: 178 maxlim: 75 bits: 8/7 3.40/3.45 c ---[3900]---> Adder-cost: 156 maxlim: 73 bits: 8/7 3.40/3.45 c ---[3897]---> Adder-cost: 129 maxlim: 55 bits: 7/6 3.40/3.45 c ---[3895]---> Adder-cost: 77 maxlim: 55 bits: 7/6 3.40/3.45 c ---[3893]---> Adder-cost: 94 maxlim: 34 bits: 7/6 3.40/3.45 c ---[3891]---> Adder-cost: 77 maxlim: 25 bits: 6/5 3.40/3.45 c ---[3889]---> Adder-cost: 110 maxlim: 42 bits: 7/6 3.40/3.46 c ---[3887]---> Adder-cost: 58 maxlim: 42 bits: 7/6 3.40/3.46 c ---[3885]---> Adder-cost: 104 maxlim: 40 bits: 7/6 3.40/3.46 c ---[3882]---> Adder-cost: 64 maxlim: 40 bits: 7/6 3.40/3.46 c ---[3880]---> Adder-cost: 131 maxlim: 57 bits: 7/6 3.40/3.46 c ---[3878]---> Adder-cost: 103 maxlim: 57 bits: 7/6 3.40/3.46 c ---[3876]---> Adder-cost: 106 maxlim: 40 bits: 7/6 3.40/3.47 c ---[3874]---> Adder-cost: 64 maxlim: 40 bits: 7/6 3.40/3.47 c ---[3872]---> Adder-cost: 98 maxlim: 44 bits: 7/6 3.40/3.47 c ---[3870]---> Adder-cost: 56 maxlim: 44 bits: 7/6 3.40/3.47 c ---[3868]---> Adder-cost: 80 maxlim: 44 bits: 7/6 3.40/3.47 c ---[3866]---> Adder-cost: 80 maxlim: 45 bits: 7/6 3.40/3.47 c ---[3864]---> Adder-cost: 162 maxlim: 67 bits: 8/7 3.40/3.47 c ---[3862]---> Adder-cost: 120 maxlim: 47 bits: 7/6 3.40/3.48 c ---[3860]---> Adder-cost: 80 maxlim: 67 bits: 8/7 3.40/3.48 c ---[3858]---> Adder-cost: 150 maxlim: 72 bits: 8/7 3.40/3.48 c ---[3856]---> Adder-cost: 124 maxlim: 70 bits: 8/7 3.40/3.48 c ---[3854]---> Adder-cost: 140 maxlim: 67 bits: 8/7 3.40/3.49 c ---[3852]---> Adder-cost: 106 maxlim: 70 bits: 8/7 3.40/3.49 c ---[3850]---> Adder-cost: 56 maxlim: 16 bits: 6/5 3.40/3.49 c ---[3848]---> Adder-cost: 63 maxlim: 22 bits: 6/5 3.40/3.49 c ---[3846]---> Adder-cost: 46 maxlim: 17 bits: 6/5 3.40/3.49 c ---[3844]---> Adder-cost: 58 maxlim: 18 bits: 6/5 3.40/3.49 c ---[3842]---> Adder-cost: 222 maxlim: 99 bits: 8/7 3.40/3.49 c ---[3840]---> Adder-cost: 128 maxlim: 100 bits: 8/7 3.49/3.50 c ---[3838]---> Adder-cost: 104 maxlim: 38 bits: 7/6 3.49/3.50 c ---[3836]---> Adder-cost: 98 maxlim: 39 bits: 7/6 3.49/3.50 c ---[3834]---> Adder-cost: 224 maxlim: 99 bits: 8/7 3.49/3.50 c ---[3832]---> Adder-cost: 90 maxlim: 99 bits: 8/7 3.49/3.50 c ---[3830]---> Adder-cost: 204 maxlim: 92 bits: 8/7 3.49/3.51 c ---[3828]---> Adder-cost: 134 maxlim: 93 bits: 8/7 3.49/3.51 c ---[3826]---> Adder-cost: 96 maxlim: 92 bits: 8/7 3.49/3.51 c ---[3824]---> Adder-cost: 86 maxlim: 92 bits: 8/7 3.49/3.51 c ---[3822]---> Adder-cost: 120 maxlim: 48 bits: 7/6 3.49/3.52 c ---[3820]---> Adder-cost: 62 maxlim: 47 bits: 7/6 3.49/3.52 c ---[3817]---> Sorter-cost: 577 Base: 2 3.49/3.52 c ---[3815]---> Sorter-cost: 451 Base: 2 3.49/3.52 c ---[3813]---> Sorter-cost: 451 Base: 2 3.49/3.52 c ---[3811]---> Sorter-cost: 451 Base: 2 3.49/3.52 c ---[3809]---> Adder-cost: 73 maxlim: 21 bits: 6/5 3.49/3.52 c ---[3807]---> Adder-cost: 106 maxlim: 40 bits: 7/6 3.49/3.52 c ---[3805]---> Adder-cost: 102 maxlim: 39 bits: 7/6 3.49/3.52 c ---[3803]---> Adder-cost: 112 maxlim: 43 bits: 7/6 3.49/3.53 c ---[3801]---> Adder-cost: 110 maxlim: 41 bits: 7/6 3.49/3.53 c ---[3799]---> Adder-cost: 108 maxlim: 43 bits: 7/6 3.49/3.53 c ---[3797]---> Adder-cost: 62 maxlim: 20 bits: 6/5 3.49/3.53 c ---[3795]---> Adder-cost: 58 maxlim: 17 bits: 6/5 3.49/3.53 c ---[3793]---> Adder-cost: 120 maxlim: 47 bits: 7/6 3.49/3.53 c ---[3791]---> Adder-cost: 172 maxlim: 72 bits: 8/7 3.49/3.53 c ---[3788]---> Adder-cost: 76 maxlim: 48 bits: 7/6 3.49/3.54 c ---[3785]---> Adder-cost: 190 maxlim: 81 bits: 8/7 3.49/3.54 c ---[3783]---> Adder-cost: 160 maxlim: 65 bits: 8/7 3.49/3.54 c ---[3781]---> Adder-cost: 78 maxlim: 65 bits: 8/7 3.49/3.54 c ---[3779]---> Adder-cost: 174 maxlim: 77 bits: 8/7 3.49/3.54 c ---[3777]---> Adder-cost: 142 maxlim: 78 bits: 8/7 3.49/3.55 c ---[3775]---> Adder-cost: 149 maxlim: 61 bits: 7/6 3.49/3.55 c ---[3773]---> Adder-cost: 214 maxlim: 94 bits: 8/7 3.49/3.55 c ---[3771]---> Adder-cost: 149 maxlim: 62 bits: 7/6 3.49/3.55 c ---[3769]---> Adder-cost: 154 maxlim: 65 bits: 8/7 3.49/3.56 c ---[3767]---> Adder-cost: 146 maxlim: 64 bits: 8/7 3.49/3.56 c ---[3765]---> Adder-cost: 208 maxlim: 90 bits: 8/7 3.49/3.56 c ---[3763]---> Adder-cost: 128 maxlim: 91 bits: 8/7 3.49/3.56 c ---[3761]---> Adder-cost: 148 maxlim: 85 bits: 8/7 3.49/3.57 c ---[3759]---> Adder-cost: 104 maxlim: 40 bits: 7/6 3.49/3.57 c ---[3757]---> Adder-cost: 78 maxlim: 32 bits: 7/6 3.49/3.57 c ---[3755]---> Adder-cost: 110 maxlim: 41 bits: 7/6 3.49/3.57 c ---[3753]---> Adder-cost: 118 maxlim: 51 bits: 7/6 3.49/3.57 c ---[3751]---> Adder-cost: 125 maxlim: 58 bits: 7/6 3.49/3.57 c ---[3749]---> Adder-cost: 104 maxlim: 38 bits: 7/6 3.49/3.57 c ---[3747]---> Adder-cost: 68 maxlim: 48 bits: 7/6 3.49/3.58 c ---[3745]---> Adder-cost: 75 maxlim: 23 bits: 6/5 3.49/3.58 c ---[3743]---> Adder-cost: 67 maxlim: 27 bits: 6/5 3.49/3.58 c ---[3741]---> Sorter-cost: 577 Base: 2 3.49/3.58 c ---[3739]---> Adder-cost: 106 maxlim: 39 bits: 7/6 3.49/3.58 c ---[3737]---> Adder-cost: 286 maxlim: 128 bits: 9/8 3.49/3.58 c ---[3734]---> Adder-cost: 89 maxlim: 31 bits: 6/5 3.49/3.58 c ---[3732]---> Adder-cost: 153 maxlim: 62 bits: 7/6 3.49/3.59 c ---[3730]---> Adder-cost: 73 maxlim: 62 bits: 7/6 3.49/3.59 c ---[3728]---> Adder-cost: 73 maxlim: 62 bits: 7/6 3.49/3.59 c ---[3726]---> Adder-cost: 73 maxlim: 62 bits: 7/6 3.49/3.59 c ---[3724]---> Adder-cost: 81 maxlim: 28 bits: 6/5 3.49/3.59 c ---[3722]---> Adder-cost: 69 maxlim: 25 bits: 6/5 3.49/3.59 c ---[3719]---> Adder-cost: 178 maxlim: 75 bits: 8/7 3.59/3.60 c ---[3717]---> Adder-cost: 152 maxlim: 66 bits: 8/7 3.59/3.60 c ---[3715]---> Adder-cost: 150 maxlim: 67 bits: 8/7 3.59/3.60 c ---[3713]---> Adder-cost: 112 maxlim: 43 bits: 7/6 3.59/3.60 c ---[3711]---> Adder-cost: 112 maxlim: 43 bits: 7/6 3.59/3.60 c ---[3709]---> Adder-cost: 120 maxlim: 50 bits: 7/6 3.59/3.61 c ---[3707]---> Adder-cost: 202 maxlim: 85 bits: 8/7 3.59/3.61 c ---[3705]---> Adder-cost: 166 maxlim: 81 bits: 8/7 3.59/3.61 c ---[3703]---> Adder-cost: 218 maxlim: 96 bits: 8/7 3.59/3.61 c ---[3701]---> Adder-cost: 198 maxlim: 97 bits: 8/7 3.59/3.62 c ---[3699]---> Adder-cost: 153 maxlim: 61 bits: 7/6 3.59/3.62 c ---[3697]---> Adder-cost: 166 maxlim: 78 bits: 8/7 3.59/3.62 c ---[3695]---> Adder-cost: 81 maxlim: 27 bits: 6/5 3.59/3.62 c ---[3693]---> Adder-cost: 112 maxlim: 46 bits: 7/6 3.59/3.62 c ---[3691]---> Adder-cost: 102 maxlim: 45 bits: 7/6 3.59/3.62 c ---[3689]---> Adder-cost: 80 maxlim: 48 bits: 7/6 3.59/3.63 c ---[3686]---> Adder-cost: 214 maxlim: 93 bits: 8/7 3.59/3.63 c ---[3682]---> Adder-cost: 246 maxlim: 112 bits: 8/7 3.59/3.63 c ---[3680]---> Adder-cost: 210 maxlim: 93 bits: 8/7 3.59/3.63 c ---[3678]---> Adder-cost: 102 maxlim: 93 bits: 8/7 3.59/3.64 c ---[3676]---> Adder-cost: 145 maxlim: 60 bits: 7/6 3.59/3.64 c ---[3674]---> Adder-cost: 104 maxlim: 41 bits: 7/6 3.59/3.64 c ---[3672]---> Adder-cost: 75 maxlim: 60 bits: 7/6 3.59/3.64 c ---[3670]---> Adder-cost: 75 maxlim: 60 bits: 7/6 3.59/3.64 c ---[3668]---> Adder-cost: 75 maxlim: 60 bits: 7/6 3.59/3.65 c ---[3666]---> Adder-cost: 105 maxlim: 57 bits: 7/6 3.59/3.65 c ---[3664]---> Adder-cost: 79 maxlim: 57 bits: 7/6 3.59/3.65 c ---[3662]---> Sorter-cost: 577 Base: 2 3.59/3.65 c ---[3660]---> Adder-cost: 56 maxlim: 16 bits: 6/5 3.59/3.65 c ---[3658]---> Adder-cost: 60 maxlim: 18 bits: 6/5 3.59/3.65 c ---[3656]---> Adder-cost: 178 maxlim: 76 bits: 8/7 3.59/3.65 c ---[3654]---> Adder-cost: 147 maxlim: 63 bits: 7/6 3.59/3.66 c ---[3652]---> Adder-cost: 146 maxlim: 66 bits: 8/7 3.59/3.66 c ---[3650]---> Adder-cost: 125 maxlim: 57 bits: 7/6 3.59/3.66 c ---[3648]---> Adder-cost: 208 maxlim: 89 bits: 8/7 3.59/3.66 c ---[3646]---> Adder-cost: 90 maxlim: 36 bits: 7/6 3.59/3.66 c ---[3644]---> Adder-cost: 92 maxlim: 89 bits: 8/7 3.59/3.67 c ---[3642]---> Adder-cost: 152 maxlim: 74 bits: 8/7 3.59/3.67 c ---[3640]---> Adder-cost: 80 maxlim: 74 bits: 8/7 3.59/3.67 c ---[3638]---> Adder-cost: 206 maxlim: 93 bits: 8/7 3.59/3.67 c ---[3636]---> Adder-cost: 102 maxlim: 93 bits: 8/7 3.59/3.68 c ---[3634]---> Adder-cost: 110 maxlim: 44 bits: 7/6 3.59/3.68 c ---[3632]---> Adder-cost: 216 maxlim: 96 bits: 8/7 3.59/3.68 c ---[3630]---> Adder-cost: 176 maxlim: 77 bits: 8/7 3.59/3.68 c ---[3628]---> Adder-cost: 275 maxlim: 121 bits: 8/7 3.59/3.69 c ---[3626]---> Adder-cost: 109 maxlim: 121 bits: 8/7 3.59/3.69 c ---[3624]---> Adder-cost: 284 maxlim: 132 bits: 9/8 3.59/3.69 c ---[3622]---> Adder-cost: 100 maxlim: 132 bits: 9/8 3.69/3.70 c ---[3620]---> Adder-cost: 187 maxlim: 127 bits: 8/7 3.69/3.70 c ---[3618]---> Adder-cost: 111 maxlim: 127 bits: 8/7 3.69/3.71 c ---[3616]---> Adder-cost: 202 maxlim: 85 bits: 8/7 3.69/3.71 c ---[3614]---> Adder-cost: 96 maxlim: 85 bits: 8/7 3.69/3.71 c ---[3612]---> Adder-cost: 106 maxlim: 45 bits: 7/6 3.69/3.71 c ---[3610]---> Adder-cost: 147 maxlim: 60 bits: 7/6 3.69/3.71 c ---[3606]---> Adder-cost: 124 maxlim: 49 bits: 7/6 3.69/3.72 c ---[3604]---> Adder-cost: 66 maxlim: 49 bits: 7/6 3.69/3.72 c ---[3601]---> Adder-cost: 126 maxlim: 52 bits: 7/6 3.69/3.72 c ---[3599]---> Adder-cost: 98 maxlim: 42 bits: 7/6 3.69/3.72 c ---[3597]---> Adder-cost: 68 maxlim: 35 bits: 7/6 3.69/3.72 c ---[3595]---> Adder-cost: 110 maxlim: 43 bits: 7/6 3.69/3.72 c ---[3593]---> Adder-cost: 60 maxlim: 43 bits: 7/6 3.69/3.72 c ---[3591]---> Adder-cost: 60 maxlim: 43 bits: 7/6 3.69/3.73 c ---[3589]---> Adder-cost: 82 maxlim: 43 bits: 7/6 3.69/3.73 c ---[3587]---> Adder-cost: 60 maxlim: 43 bits: 7/6 3.69/3.73 c ---[3585]---> Adder-cost: 155 maxlim: 63 bits: 7/6 3.69/3.73 c ---[3583]---> Adder-cost: 151 maxlim: 62 bits: 7/6 3.69/3.73 c ---[3581]---> Adder-cost: 104 maxlim: 38 bits: 7/6 3.69/3.73 c ---[3579]---> Adder-cost: 73 maxlim: 62 bits: 7/6 3.69/3.74 c ---[3577]---> Adder-cost: 116 maxlim: 49 bits: 7/6 3.69/3.74 c ---[3575]---> Adder-cost: 133 maxlim: 53 bits: 7/6 3.69/3.74 c ---[3573]---> Adder-cost: 96 maxlim: 36 bits: 7/6 3.69/3.74 c ---[3571]---> Adder-cost: 77 maxlim: 28 bits: 6/5 3.69/3.74 c ---[3569]---> Adder-cost: 55 maxlim: 28 bits: 6/5 3.69/3.74 c ---[3567]---> Adder-cost: 58 maxlim: 18 bits: 6/5 3.69/3.74 c ---[3565]---> Adder-cost: 104 maxlim: 40 bits: 7/6 3.69/3.74 c ---[3563]---> Adder-cost: 52 maxlim: 18 bits: 6/5 3.69/3.75 c ---[3561]---> Adder-cost: 92 maxlim: 36 bits: 7/6 3.69/3.75 c ---[3559]---> Adder-cost: 170 maxlim: 69 bits: 8/7 3.69/3.75 c ---[3557]---> Adder-cost: 176 maxlim: 83 bits: 8/7 3.69/3.75 c ---[3555]---> Adder-cost: 80 maxlim: 83 bits: 8/7 3.69/3.75 c ---[3553]---> Adder-cost: 174 maxlim: 92 bits: 8/7 3.69/3.76 c ---[3551]---> Adder-cost: 180 maxlim: 89 bits: 8/7 3.69/3.76 c ---[3549]---> Adder-cost: 92 maxlim: 89 bits: 8/7 3.69/3.76 c ---[3547]---> Adder-cost: 110 maxlim: 42 bits: 7/6 3.69/3.76 c ---[3545]---> Adder-cost: 94 maxlim: 44 bits: 7/6 3.69/3.76 c ---[3543]---> Adder-cost: 78 maxlim: 45 bits: 7/6 3.69/3.77 c ---[3541]---> Adder-cost: 131 maxlim: 55 bits: 7/6 3.69/3.77 c ---[3539]---> Adder-cost: 139 maxlim: 54 bits: 7/6 3.69/3.77 c ---[3537]---> Adder-cost: 236 maxlim: 111 bits: 8/7 3.69/3.77 c ---[3535]---> Adder-cost: 156 maxlim: 115 bits: 8/7 3.69/3.78 c ---[3531]---> Adder-cost: 73 maxlim: 21 bits: 6/5 3.69/3.78 c ---[3529]---> Adder-cost: 69 maxlim: 24 bits: 6/5 3.69/3.78 c ---[3527]---> Adder-cost: 51 maxlim: 24 bits: 6/5 3.69/3.78 c ---[3525]---> Adder-cost: 71 maxlim: 25 bits: 6/5 3.69/3.78 c ---[3523]---> Sorter-cost: 546 Base: 2 3.69/3.78 c ---[3521]---> Sorter-cost: 496 Base: 2 3.69/3.78 c ---[3519]---> Sorter-cost: 698 Base: 7 3.69/3.78 c ---[3517]---> Adder-cost: 58 maxlim: 17 bits: 6/5 3.69/3.78 c ---[3515]---> Adder-cost: 42 maxlim: 17 bits: 6/5 3.69/3.78 c ---[3513]---> Adder-cost: 162 maxlim: 68 bits: 8/7 3.69/3.79 c ---[3511]---> Adder-cost: 168 maxlim: 69 bits: 8/7 3.69/3.79 c ---[3507]---> Adder-cost: 79 maxlim: 25 bits: 6/5 3.69/3.79 c ---[3505]---> Adder-cost: 55 maxlim: 25 bits: 6/5 3.69/3.79 c ---[3503]---> Adder-cost: 133 maxlim: 56 bits: 7/6 3.69/3.79 c ---[3500]---> Adder-cost: 110 maxlim: 43 bits: 7/6 3.69/3.79 c ---[3498]---> Adder-cost: 80 maxlim: 44 bits: 7/6 3.69/3.79 c ---[3496]---> Adder-cost: 56 maxlim: 44 bits: 7/6 3.79/3.80 c ---[3494]---> Adder-cost: 137 maxlim: 59 bits: 7/6 3.79/3.80 c ---[3492]---> Adder-cost: 73 maxlim: 59 bits: 7/6 3.79/3.80 c ---[3490]---> Adder-cost: 108 maxlim: 44 bits: 7/6 3.79/3.80 c ---[3488]---> Adder-cost: 56 maxlim: 44 bits: 7/6 3.79/3.80 c ---[3486]---> Adder-cost: 88 maxlim: 46 bits: 7/6 3.79/3.80 c ---[3484]---> Adder-cost: 131 maxlim: 54 bits: 7/6 3.79/3.81 c ---[3482]---> Adder-cost: 107 maxlim: 58 bits: 7/6 3.79/3.81 c ---[3480]---> Adder-cost: 77 maxlim: 58 bits: 7/6 3.79/3.81 c ---[3478]---> Adder-cost: 142 maxlim: 68 bits: 8/7 3.79/3.81 c ---[3476]---> Adder-cost: 74 maxlim: 68 bits: 8/7 3.79/3.81 c ---[3474]---> Adder-cost: 120 maxlim: 49 bits: 7/6 3.79/3.82 c ---[3472]---> Adder-cost: 76 maxlim: 43 bits: 7/6 3.79/3.82 c ---[3470]---> Adder-cost: 104 maxlim: 40 bits: 7/6 3.79/3.82 c ---[3468]---> Adder-cost: 74 maxlim: 38 bits: 7/6 3.79/3.82 c ---[3466]---> Sorter-cost: 577 Base: 2 3.79/3.82 c ---[3464]---> Adder-cost: 129 maxlim: 53 bits: 7/6 3.79/3.82 c ---[3462]---> Sorter-cost: 451 Base: 2 3.79/3.82 c ---[3460]---> Adder-cost: 104 maxlim: 38 bits: 7/6 3.79/3.82 c ---[3458]---> Adder-cost: 58 maxlim: 38 bits: 7/6 3.79/3.83 c ---[3456]---> Adder-cost: 80 maxlim: 32 bits: 7/6 3.79/3.83 c ---[3454]---> Adder-cost: 52 maxlim: 32 bits: 7/6 3.79/3.83 c ---[3452]---> Adder-cost: 192 maxlim: 83 bits: 8/7 3.79/3.83 c ---[3450]---> Adder-cost: 80 maxlim: 83 bits: 8/7 3.79/3.83 c ---[3448]---> Adder-cost: 147 maxlim: 61 bits: 7/6 3.79/3.83 c ---[3446]---> Adder-cost: 93 maxlim: 58 bits: 7/6 3.79/3.84 c ---[3444]---> Adder-cost: 133 maxlim: 55 bits: 7/6 3.79/3.84 c ---[3442]---> Adder-cost: 103 maxlim: 56 bits: 7/6 3.79/3.84 c ---[3440]---> Adder-cost: 162 maxlim: 68 bits: 8/7 3.79/3.84 c ---[3438]---> Adder-cost: 142 maxlim: 64 bits: 8/7 3.79/3.84 c ---[3436]---> Adder-cost: 137 maxlim: 54 bits: 7/6 3.79/3.85 c ---[3434]---> Adder-cost: 139 maxlim: 55 bits: 7/6 3.79/3.85 c ---[3432]---> Adder-cost: 148 maxlim: 72 bits: 8/7 3.79/3.85 c ---[3430]---> Adder-cost: 104 maxlim: 71 bits: 8/7 3.79/3.85 c ---[3428]---> Adder-cost: 152 maxlim: 69 bits: 8/7 3.79/3.85 c ---[3426]---> Adder-cost: 100 maxlim: 72 bits: 8/7 3.79/3.86 c ---[3424]---> Adder-cost: 302 maxlim: 138 bits: 9/8 3.79/3.86 c ---[3422]---> Adder-cost: 156 maxlim: 67 bits: 8/7 3.79/3.86 c ---[3420]---> Adder-cost: 116 maxlim: 138 bits: 9/8 3.79/3.87 c ---[3418]---> Adder-cost: 270 maxlim: 133 bits: 9/8 3.79/3.87 c ---[3416]---> Adder-cost: 112 maxlim: 133 bits: 9/8 3.79/3.88 c ---[3414]---> Adder-cost: 204 maxlim: 134 bits: 9/8 3.79/3.88 c ---[3410]---> Adder-cost: 116 maxlim: 45 bits: 7/6 3.79/3.88 c ---[3408]---> Adder-cost: 82 maxlim: 44 bits: 7/6 3.79/3.88 c ---[3406]---> Adder-cost: 80 maxlim: 67 bits: 8/7 3.79/3.89 c ---[3404]---> Adder-cost: 202 maxlim: 88 bits: 8/7 3.79/3.89 c ---[3402]---> Adder-cost: 89 maxlim: 31 bits: 6/5 3.79/3.89 c ---[3400]---> Adder-cost: 83 maxlim: 30 bits: 6/5 3.79/3.89 c ---[3398]---> Adder-cost: 106 maxlim: 44 bits: 7/6 3.79/3.89 c ---[3396]---> Adder-cost: 82 maxlim: 43 bits: 7/6 3.79/3.89 c ---[3394]---> Adder-cost: 71 maxlim: 21 bits: 6/5 3.79/3.89 c ---[3392]---> Adder-cost: 59 maxlim: 22 bits: 6/5 3.79/3.89 c ---[3390]---> Adder-cost: 53 maxlim: 22 bits: 6/5 3.89/3.90 c ---[3388]---> Sorter-cost: 577 Base: 2 3.89/3.90 c ---[3386]---> Adder-cost: 102 maxlim: 37 bits: 7/6 3.89/3.90 c ---[3384]---> Adder-cost: 154 maxlim: 64 bits: 8/7 3.89/3.90 c ---[3382]---> Adder-cost: 80 maxlim: 32 bits: 7/6 3.89/3.90 c ---[3380]---> Adder-cost: 120 maxlim: 48 bits: 7/6 3.89/3.90 c ---[3378]---> Adder-cost: 70 maxlim: 39 bits: 7/6 3.89/3.90 c ---[3376]---> Adder-cost: 168 maxlim: 73 bits: 8/7 3.89/3.91 c ---[3374]---> Adder-cost: 154 maxlim: 67 bits: 8/7 3.89/3.91 c ---[3372]---> Adder-cost: 80 maxlim: 67 bits: 8/7 3.89/3.91 c ---[3370]---> Adder-cost: 176 maxlim: 78 bits: 8/7 3.89/3.91 c ---[3368]---> Adder-cost: 125 maxlim: 57 bits: 7/6 3.89/3.91 c ---[3366]---> Adder-cost: 125 maxlim: 58 bits: 7/6 3.89/3.92 c ---[3364]---> Adder-cost: 196 maxlim: 97 bits: 8/7 3.89/3.92 c ---[3362]---> Adder-cost: 80 maxlim: 64 bits: 8/7 3.89/3.92 c ---[3360]---> Adder-cost: 156 maxlim: 69 bits: 8/7 3.89/3.92 c ---[3358]---> Adder-cost: 114 maxlim: 70 bits: 8/7 3.89/3.93 c ---[3356]---> Adder-cost: 145 maxlim: 62 bits: 7/6 3.89/3.93 c ---[3354]---> Adder-cost: 145 maxlim: 63 bits: 7/6 3.89/3.93 c ---[3352]---> Adder-cost: 123 maxlim: 55 bits: 7/6 3.89/3.93 c ---[3350]---> Adder-cost: 146 maxlim: 65 bits: 8/7 3.89/3.93 c ---[3348]---> Adder-cost: 166 maxlim: 73 bits: 8/7 3.89/3.94 c ---[3346]---> Adder-cost: 200 maxlim: 98 bits: 8/7 3.89/3.94 c ---[3344]---> Adder-cost: 182 maxlim: 98 bits: 8/7 3.89/3.94 c ---[3342]---> Adder-cost: 176 maxlim: 95 bits: 8/7 3.89/3.94 c ---[3340]---> Adder-cost: 142 maxlim: 66 bits: 8/7 3.89/3.95 c ---[3338]---> Adder-cost: 143 maxlim: 62 bits: 7/6 3.89/3.95 c ---[3336]---> Adder-cost: 131 maxlim: 58 bits: 7/6 3.89/3.95 c ---[3334]---> Adder-cost: 108 maxlim: 44 bits: 7/6 3.89/3.95 c ---[3332]---> Adder-cost: 70 maxlim: 44 bits: 7/6 3.89/3.95 c ---[3330]---> Adder-cost: 92 maxlim: 35 bits: 7/6 3.89/3.95 c ---[3328]---> Adder-cost: 75 maxlim: 27 bits: 6/5 3.89/3.96 c ---[3326]---> Adder-cost: 55 maxlim: 27 bits: 6/5 3.89/3.96 c ---[3324]---> Adder-cost: 71 maxlim: 21 bits: 6/5 3.89/3.96 c ---[3322]---> Adder-cost: 54 maxlim: 19 bits: 6/5 3.89/3.96 c ---[3320]---> Adder-cost: 84 maxlim: 66 bits: 8/7 3.89/3.96 c ---[3318]---> Adder-cost: 61 maxlim: 24 bits: 6/5 3.89/3.96 c ---[3316]---> Adder-cost: 154 maxlim: 68 bits: 8/7 3.89/3.96 c ---[3314]---> Adder-cost: 232 maxlim: 107 bits: 8/7 3.89/3.97 c ---[3312]---> Adder-cost: 92 maxlim: 107 bits: 8/7 3.89/3.97 c ---[3310]---> Adder-cost: 218 maxlim: 104 bits: 8/7 3.89/3.97 c ---[3307]---> Sorter-cost: 577 Base: 2 3.89/3.97 c ---[3304]---> Adder-cost: 222 maxlim: 99 bits: 8/7 3.89/3.98 c ---[3302]---> Adder-cost: 118 maxlim: 69 bits: 8/7 3.89/3.98 c ---[3300]---> Adder-cost: 172 maxlim: 100 bits: 8/7 3.89/3.98 c ---[3298]---> Adder-cost: 96 maxlim: 100 bits: 8/7 3.89/3.98 c ---[3295]---> Adder-cost: 87 maxlim: 29 bits: 6/5 3.89/3.98 c ---[3293]---> Adder-cost: 60 maxlim: 19 bits: 6/5 3.89/3.99 c ---[3291]---> Sorter-cost: 546 Base: 2 3.89/3.99 c ---[3289]---> Adder-cost: 139 maxlim: 53 bits: 7/6 3.89/3.99 c ---[3287]---> Adder-cost: 176 maxlim: 84 bits: 8/7 3.89/3.99 c ---[3285]---> Adder-cost: 82 maxlim: 69 bits: 8/7 3.89/3.99 c ---[3283]---> Adder-cost: 138 maxlim: 77 bits: 8/7 3.89/4.00 c ---[3281]---> Adder-cost: 186 maxlim: 80 bits: 8/7 3.99/4.00 c ---[3279]---> Adder-cost: 116 maxlim: 48 bits: 7/6 3.99/4.00 c ---[3277]---> Adder-cost: 80 maxlim: 47 bits: 7/6 3.99/4.00 c ---[3275]---> Adder-cost: 127 maxlim: 54 bits: 7/6 3.99/4.00 c ---[3273]---> Adder-cost: 172 maxlim: 75 bits: 8/7 3.99/4.00 c ---[3271]---> Adder-cost: 108 maxlim: 76 bits: 8/7 3.99/4.01 c ---[3269]---> Adder-cost: 176 maxlim: 78 bits: 8/7 3.99/4.01 c ---[3267]---> Adder-cost: 158 maxlim: 67 bits: 8/7 3.99/4.01 c ---[3265]---> Adder-cost: 218 maxlim: 95 bits: 8/7 3.99/4.01 c ---[3263]---> Adder-cost: 184 maxlim: 101 bits: 8/7 3.99/4.02 c ---[3261]---> Adder-cost: 174 maxlim: 95 bits: 8/7 3.99/4.02 c ---[3259]---> Adder-cost: 90 maxlim: 95 bits: 8/7 3.99/4.02 c ---[3257]---> Adder-cost: 132 maxlim: 93 bits: 8/7 3.99/4.02 c ---[3253]---> Adder-cost: 240 maxlim: 107 bits: 8/7 3.99/4.03 c ---[3250]---> Adder-cost: 80 maxlim: 67 bits: 8/7 3.99/4.03 c ---[3248]---> Adder-cost: 204 maxlim: 112 bits: 8/7 3.99/4.03 c ---[3244]---> Adder-cost: 174 maxlim: 73 bits: 8/7 3.99/4.04 c ---[3242]---> Adder-cost: 86 maxlim: 73 bits: 8/7 3.99/4.04 c ---[3238]---> Adder-cost: 304 maxlim: 137 bits: 9/8 3.99/4.04 c ---[3236]---> Adder-cost: 296 maxlim: 133 bits: 9/8 3.99/4.05 c ---[3234]---> Adder-cost: 234 maxlim: 130 bits: 9/8 3.99/4.05 c ---[3232]---> Adder-cost: 279 maxlim: 126 bits: 8/7 3.99/4.05 c ---[3228]---> Adder-cost: 170 maxlim: 76 bits: 8/7 3.99/4.06 c ---[3226]---> Adder-cost: 139 maxlim: 59 bits: 7/6 3.99/4.06 c ---[3224]---> Adder-cost: 135 maxlim: 60 bits: 7/6 3.99/4.06 c ---[3222]---> Adder-cost: 90 maxlim: 47 bits: 7/6 3.99/4.06 c ---[3220]---> Adder-cost: 100 maxlim: 47 bits: 7/6 3.99/4.06 c ---[3218]---> Adder-cost: 80 maxlim: 47 bits: 7/6 3.99/4.06 c ---[3216]---> Adder-cost: 71 maxlim: 21 bits: 6/5 3.99/4.07 c ---[3214]---> Adder-cost: 56 maxlim: 18 bits: 6/5 3.99/4.07 c ---[3212]---> Adder-cost: 105 maxlim: 126 bits: 8/7 3.99/4.07 c ---[3210]---> Adder-cost: 71 maxlim: 23 bits: 6/5 3.99/4.07 c ---[3208]---> Adder-cost: 58 maxlim: 20 bits: 6/5 3.99/4.07 c ---[3206]---> Adder-cost: 58 maxlim: 17 bits: 6/5 3.99/4.07 c ---[3204]---> Adder-cost: 139 maxlim: 54 bits: 7/6 3.99/4.07 c ---[3202]---> Adder-cost: 121 maxlim: 55 bits: 7/6 3.99/4.08 c ---[3200]---> Adder-cost: 91 maxlim: 54 bits: 7/6 3.99/4.08 c ---[3198]---> Adder-cost: 111 maxlim: 56 bits: 7/6 3.99/4.08 c ---[3196]---> Adder-cost: 314 maxlim: 142 bits: 9/8 3.99/4.08 c ---[3194]---> Adder-cost: 298 maxlim: 158 bits: 9/8 3.99/4.09 c ---[3192]---> Adder-cost: 328 maxlim: 162 bits: 9/8 3.99/4.09 c ---[3190]---> Adder-cost: 218 maxlim: 106 bits: 8/7 4.09/4.10 c ---[3188]---> Adder-cost: 106 maxlim: 44 bits: 7/6 4.09/4.10 c ---[3186]---> Adder-cost: 176 maxlim: 74 bits: 8/7 4.09/4.10 c ---[3184]---> Adder-cost: 160 maxlim: 78 bits: 8/7 4.09/4.10 c ---[3182]---> Adder-cost: 148 maxlim: 74 bits: 8/7 4.09/4.11 c ---[3180]---> Adder-cost: 119 maxlim: 58 bits: 7/6 4.09/4.11 c ---[3178]---> Adder-cost: 89 maxlim: 31 bits: 6/5 4.09/4.11 c ---[3176]---> Adder-cost: 102 maxlim: 40 bits: 7/6 4.09/4.11 c ---[3174]---> Adder-cost: 90 maxlim: 42 bits: 7/6 4.09/4.11 c ---[3172]---> Adder-cost: 120 maxlim: 49 bits: 7/6 4.09/4.11 c ---[3170]---> Adder-cost: 127 maxlim: 54 bits: 7/6 4.09/4.11 c ---[3168]---> Adder-cost: 77 maxlim: 26 bits: 6/5 4.09/4.12 c ---[3166]---> Adder-cost: 94 maxlim: 106 bits: 8/7 4.09/4.12 c ---[3164]---> Adder-cost: 145 maxlim: 57 bits: 7/6 4.09/4.12 c ---[3162]---> Adder-cost: 101 maxlim: 57 bits: 7/6 4.09/4.12 c ---[3160]---> Adder-cost: 145 maxlim: 61 bits: 7/6 4.09/4.12 c ---[3158]---> Adder-cost: 178 maxlim: 84 bits: 8/7 4.09/4.13 c ---[3156]---> Adder-cost: 180 maxlim: 99 bits: 8/7 4.09/4.13 c ---[3154]---> Adder-cost: 186 maxlim: 112 bits: 8/7 4.09/4.13 c ---[3152]---> Adder-cost: 205 maxlim: 117 bits: 8/7 4.09/4.14 c ---[3149]---> Adder-cost: 176 maxlim: 74 bits: 8/7 4.09/4.14 c ---[3147]---> Adder-cost: 196 maxlim: 98 bits: 8/7 4.09/4.14 c ---[3144]---> Sorter-cost: 577 Base: 2 4.09/4.14 c ---[3142]---> Sorter-cost: 451 Base: 2 4.09/4.14 c ---[3140]---> Adder-cost: 75 maxlim: 24 bits: 6/5 4.09/4.14 c ---[3138]---> Adder-cost: 58 maxlim: 17 bits: 6/5 4.09/4.14 c ---[3136]---> Adder-cost: 204 maxlim: 87 bits: 8/7 4.09/4.15 c ---[3134]---> Adder-cost: 300 maxlim: 138 bits: 9/8 4.09/4.15 c ---[3131]---> Adder-cost: 122 maxlim: 52 bits: 7/6 4.09/4.16 c ---[3129]---> Adder-cost: 133 maxlim: 54 bits: 7/6 4.09/4.16 c ---[3127]---> Adder-cost: 82 maxlim: 98 bits: 8/7 4.09/4.16 c ---[3125]---> Adder-cost: 94 maxlim: 51 bits: 7/6 4.09/4.16 c ---[3123]---> Adder-cost: 64 maxlim: 51 bits: 7/6 4.09/4.16 c ---[3121]---> Adder-cost: 88 maxlim: 44 bits: 7/6 4.09/4.17 c ---[3119]---> Adder-cost: 65 maxlim: 30 bits: 6/5 4.09/4.17 c ---[3117]---> Adder-cost: 98 maxlim: 38 bits: 7/6 4.09/4.17 c ---[3115]---> Adder-cost: 124 maxlim: 49 bits: 7/6 4.09/4.17 c ---[3113]---> Adder-cost: 116 maxlim: 48 bits: 7/6 4.09/4.17 c ---[3111]---> Adder-cost: 60 maxlim: 17 bits: 6/5 4.09/4.17 c ---[3109]---> Adder-cost: 164 maxlim: 69 bits: 8/7 4.09/4.17 c ---[3107]---> Adder-cost: 69 maxlim: 21 bits: 6/5 4.09/4.17 c ---[3105]---> Adder-cost: 55 maxlim: 21 bits: 6/5 4.09/4.18 c ---[3103]---> Adder-cost: 62 maxlim: 20 bits: 6/5 4.09/4.18 c ---[3101]---> Adder-cost: 65 maxlim: 21 bits: 6/5 4.09/4.18 c ---[3099]---> Adder-cost: 92 maxlim: 34 bits: 7/6 4.09/4.18 c ---[3097]---> Adder-cost: 100 maxlim: 37 bits: 7/6 4.09/4.18 c ---[3095]---> Adder-cost: 98 maxlim: 39 bits: 7/6 4.09/4.18 c ---[3093]---> Adder-cost: 88 maxlim: 37 bits: 7/6 4.09/4.18 c ---[3091]---> Adder-cost: 192 maxlim: 83 bits: 8/7 4.09/4.19 c ---[3089]---> Adder-cost: 82 maxlim: 69 bits: 8/7 4.09/4.19 c ---[3087]---> Adder-cost: 80 maxlim: 83 bits: 8/7 4.09/4.19 c ---[3085]---> Adder-cost: 192 maxlim: 90 bits: 8/7 4.09/4.19 c ---[3083]---> Adder-cost: 168 maxlim: 105 bits: 8/7 4.19/4.20 c ---[3081]---> Adder-cost: 156 maxlim: 104 bits: 8/7 4.19/4.20 c ---[3079]---> Adder-cost: 202 maxlim: 93 bits: 8/7 4.19/4.20 c ---[3077]---> Adder-cost: 268 maxlim: 132 bits: 9/8 4.19/4.21 c ---[3075]---> Adder-cost: 252 maxlim: 130 bits: 9/8 4.19/4.21 c ---[3073]---> Adder-cost: 194 maxlim: 101 bits: 8/7 4.19/4.21 c ---[3071]---> Adder-cost: 190 maxlim: 97 bits: 8/7 4.19/4.22 c ---[3069]---> Adder-cost: 176 maxlim: 96 bits: 8/7 4.19/4.22 c ---[3067]---> Adder-cost: 176 maxlim: 83 bits: 8/7 4.19/4.22 c ---[3065]---> Adder-cost: 253 maxlim: 120 bits: 8/7 4.19/4.22 c ---[3063]---> Adder-cost: 248 maxlim: 138 bits: 9/8 4.19/4.23 c ---[3061]---> Adder-cost: 116 maxlim: 138 bits: 9/8 4.19/4.23 c ---[3059]---> Adder-cost: 166 maxlim: 74 bits: 8/7 4.19/4.23 c ---[3057]---> Adder-cost: 184 maxlim: 83 bits: 8/7 4.19/4.24 c ---[3055]---> Adder-cost: 116 maxlim: 78 bits: 8/7 4.19/4.24 c ---[3053]---> Adder-cost: 259 maxlim: 120 bits: 8/7 4.19/4.24 c ---[3051]---> Adder-cost: 222 maxlim: 115 bits: 8/7 4.19/4.25 c ---[3049]---> Adder-cost: 96 maxlim: 115 bits: 8/7 4.19/4.25 c ---[3047]---> Adder-cost: 204 maxlim: 112 bits: 8/7 4.19/4.25 c ---[3045]---> Adder-cost: 80 maxlim: 83 bits: 8/7 4.19/4.25 c ---[3043]---> Adder-cost: 214 maxlim: 110 bits: 8/7 4.19/4.26 c ---[3041]---> Adder-cost: 96 maxlim: 110 bits: 8/7 4.19/4.26 c ---[3039]---> Adder-cost: 126 maxlim: 83 bits: 8/7 4.19/4.26 c ---[3037]---> Adder-cost: 88 maxlim: 41 bits: 7/6 4.19/4.27 c ---[3035]---> Adder-cost: 60 maxlim: 41 bits: 7/6 4.19/4.27 c ---[3033]---> Adder-cost: 58 maxlim: 17 bits: 6/5 4.19/4.27 c ---[3030]---> Adder-cost: 124 maxlim: 49 bits: 7/6 4.19/4.27 c ---[3028]---> Adder-cost: 66 maxlim: 49 bits: 7/6 4.19/4.27 c ---[3026]---> Adder-cost: 280 maxlim: 131 bits: 9/8 4.19/4.28 c ---[3024]---> Adder-cost: 198 maxlim: 91 bits: 8/7 4.19/4.28 c ---[3022]---> Adder-cost: 133 maxlim: 53 bits: 7/6 4.19/4.28 c ---[3020]---> Adder-cost: 96 maxlim: 47 bits: 7/6 4.19/4.28 c ---[3016]---> Adder-cost: 330 maxlim: 152 bits: 9/8 4.19/4.29 c ---[3014]---> Adder-cost: 318 maxlim: 148 bits: 9/8 4.19/4.29 c ---[3012]---> Adder-cost: 304 maxlim: 150 bits: 9/8 4.19/4.29 c ---[3010]---> Adder-cost: 112 maxlim: 150 bits: 9/8 4.29/4.30 c ---[3006]---> Adder-cost: 230 maxlim: 102 bits: 8/7 4.29/4.30 c ---[3004]---> Adder-cost: 170 maxlim: 91 bits: 8/7 4.29/4.30 c ---[3002]---> Adder-cost: 94 maxlim: 91 bits: 8/7 4.29/4.31 c ---[3000]---> Adder-cost: 94 maxlim: 91 bits: 8/7 4.29/4.31 c ---[2998]---> Adder-cost: 94 maxlim: 91 bits: 8/7 4.29/4.31 c ---[2994]---> Adder-cost: 152 maxlim: 68 bits: 8/7 4.29/4.32 c ---[2992]---> Adder-cost: 138 maxlim: 71 bits: 8/7 4.29/4.32 c ---[2990]---> Adder-cost: 302 maxlim: 135 bits: 9/8 4.29/4.32 c ---[2988]---> Adder-cost: 168 maxlim: 73 bits: 8/7 4.29/4.32 c ---[2986]---> Adder-cost: 194 maxlim: 96 bits: 8/7 4.29/4.33 c ---[2984]---> Adder-cost: 73 maxlim: 21 bits: 6/5 4.29/4.33 c ---[2982]---> Sorter-cost: 577 Base: 2 4.29/4.33 c ---[2980]---> Adder-cost: 254 maxlim: 115 bits: 8/7 4.29/4.33 c ---[2978]---> Adder-cost: 152 maxlim: 64 bits: 8/7 4.29/4.33 c ---[2976]---> Adder-cost: 104 maxlim: 37 bits: 7/6 4.29/4.33 c ---[2974]---> Adder-cost: 78 maxlim: 34 bits: 7/6 4.29/4.34 c ---[2972]---> Adder-cost: 100 maxlim: 37 bits: 7/6 4.29/4.34 c ---[2970]---> Adder-cost: 246 maxlim: 110 bits: 8/7 4.29/4.34 c ---[2968]---> Adder-cost: 112 maxlim: 135 bits: 9/8 4.29/4.34 c ---[2966]---> Adder-cost: 279 maxlim: 126 bits: 8/7 4.29/4.35 c ---[2964]---> Adder-cost: 230 maxlim: 101 bits: 8/7 4.29/4.35 c ---[2962]---> Adder-cost: 164 maxlim: 96 bits: 8/7 4.29/4.35 c ---[2960]---> Adder-cost: 104 maxlim: 38 bits: 7/6 4.29/4.36 c ---[2958]---> Adder-cost: 75 maxlim: 29 bits: 6/5 4.29/4.36 c ---[2956]---> Adder-cost: 108 maxlim: 42 bits: 7/6 4.29/4.36 c ---[2954]---> Adder-cost: 139 maxlim: 55 bits: 7/6 4.29/4.36 c ---[2952]---> Adder-cost: 220 maxlim: 98 bits: 8/7 4.29/4.36 c ---[2950]---> Adder-cost: 124 maxlim: 51 bits: 7/6 4.29/4.36 c ---[2948]---> Adder-cost: 133 maxlim: 56 bits: 7/6 4.29/4.37 c ---[2946]---> Adder-cost: 228 maxlim: 102 bits: 8/7 4.29/4.37 c ---[2944]---> Adder-cost: 100 maxlim: 41 bits: 7/6 4.29/4.37 c ---[2942]---> Adder-cost: 92 maxlim: 40 bits: 7/6 4.29/4.37 c ---[2940]---> Adder-cost: 92 maxlim: 33 bits: 7/6 4.29/4.37 c ---[2938]---> Adder-cost: 62 maxlim: 20 bits: 6/5 4.29/4.37 c ---[2936]---> Adder-cost: 56 maxlim: 16 bits: 6/5 4.29/4.37 c ---[2934]---> Adder-cost: 244 maxlim: 112 bits: 8/7 4.29/4.38 c ---[2931]---> Adder-cost: 104 maxlim: 39 bits: 7/6 4.29/4.38 c ---[2929]---> Adder-cost: 96 maxlim: 36 bits: 7/6 4.29/4.38 c ---[2927]---> Adder-cost: 94 maxlim: 47 bits: 7/6 4.29/4.38 c ---[2925]---> Adder-cost: 100 maxlim: 102 bits: 8/7 4.29/4.39 c ---[2921]---> Adder-cost: 160 maxlim: 65 bits: 8/7 4.29/4.39 c ---[2919]---> Adder-cost: 166 maxlim: 76 bits: 8/7 4.29/4.39 c ---[2917]---> Adder-cost: 84 maxlim: 76 bits: 8/7 4.29/4.39 c ---[2915]---> Adder-cost: 144 maxlim: 73 bits: 8/7 4.29/4.40 c ---[2913]---> Adder-cost: 188 maxlim: 81 bits: 8/7 4.29/4.40 c ---[2911]---> Adder-cost: 88 maxlim: 81 bits: 8/7 4.29/4.40 c ---[2907]---> Adder-cost: 126 maxlim: 102 bits: 8/7 4.40/4.40 c ---[2905]---> Adder-cost: 249 maxlim: 120 bits: 8/7 4.40/4.41 c ---[2903]---> Adder-cost: 123 maxlim: 55 bits: 7/6 4.40/4.41 c ---[2900]---> Sorter-cost: 577 Base: 2 4.40/4.41 c ---[2898]---> Sorter-cost: 451 Base: 2 4.40/4.41 c ---[2896]---> Sorter-cost: 496 Base: 2 4.40/4.41 c ---[2894]---> Sorter-cost: 496 Base: 2 4.40/4.41 c ---[2892]---> Sorter-cost: 824 Base: 7 4.40/4.41 c ---[2890]---> Sorter-cost: 708 Base: 7 4.40/4.41 c ---[2888]---> Adder-cost: 71 maxlim: 24 bits: 6/5 4.40/4.41 c ---[2886]---> Adder-cost: 100 maxlim: 102 bits: 8/7 4.40/4.42 c ---[2884]---> Adder-cost: 71 maxlim: 26 bits: 6/5 4.40/4.42 c ---[2882]---> Adder-cost: 92 maxlim: 36 bits: 7/6 4.69/4.73 c ---[2880]---> Adder-cost: 56 maxlim: 36 bits: 7/6 4.69/4.73 c ---[2878]---> Adder-cost: 77 maxlim: 27 bits: 6/5 4.69/4.73 c ---[2876]---> Adder-cost: 54 maxlim: 20 bits: 6/5 4.69/4.73 c ---[2874]---> Adder-cost: 96 maxlim: 36 bits: 7/6 4.69/4.73 c ---[2872]---> Adder-cost: 56 maxlim: 36 bits: 7/6 4.69/4.73 c ---[2870]---> Adder-cost: 78 maxlim: 35 bits: 7/6 4.69/4.73 c ---[2868]---> Adder-cost: 62 maxlim: 36 bits: 7/6 4.69/4.73 c ---[2866]---> Adder-cost: 104 maxlim: 43 bits: 7/6 4.69/4.73 c ---[2864]---> Adder-cost: 138 maxlim: 100 bits: 8/7 4.69/4.73 c ---[2862]---> Adder-cost: 60 maxlim: 43 bits: 7/6 4.69/4.73 c ---[2860]---> Adder-cost: 236 maxlim: 106 bits: 8/7 4.69/4.73 c ---[2858]---> Adder-cost: 94 maxlim: 106 bits: 8/7 4.69/4.73 c ---[2856]---> Adder-cost: 220 maxlim: 109 bits: 8/7 4.69/4.73 c ---[2854]---> Adder-cost: 156 maxlim: 108 bits: 8/7 4.69/4.73 c ---[2852]---> Adder-cost: 168 maxlim: 109 bits: 8/7 4.69/4.73 c ---[2850]---> Adder-cost: 120 maxlim: 109 bits: 8/7 4.69/4.73 c ---[2848]---> Adder-cost: 269 maxlim: 119 bits: 8/7 4.69/4.73 c ---[2846]---> Adder-cost: 105 maxlim: 119 bits: 8/7 4.69/4.73 c ---[2844]---> Adder-cost: 230 maxlim: 115 bits: 8/7 4.69/4.73 c ---[2842]---> Adder-cost: 96 maxlim: 100 bits: 8/7 4.69/4.73 c ---[2840]---> Adder-cost: 170 maxlim: 112 bits: 8/7 4.69/4.73 c ---[2838]---> Adder-cost: 162 maxlim: 67 bits: 8/7 4.69/4.73 c ---[2836]---> Adder-cost: 144 maxlim: 68 bits: 8/7 4.69/4.73 c ---[2834]---> Adder-cost: 138 maxlim: 70 bits: 8/7 4.69/4.73 c ---[2832]---> Adder-cost: 82 maxlim: 70 bits: 8/7 4.69/4.73 c ---[2830]---> Adder-cost: 254 maxlim: 115 bits: 8/7 4.69/4.73 c ---[2828]---> Adder-cost: 166 maxlim: 112 bits: 8/7 4.69/4.73 c ---[2826]---> Adder-cost: 226 maxlim: 105 bits: 8/7 4.69/4.73 c ---[2824]---> Adder-cost: 92 maxlim: 105 bits: 8/7 4.69/4.73 c ---[2822]---> Adder-cost: 92 maxlim: 105 bits: 8/7 4.69/4.73 c ---[2820]---> Adder-cost: 96 maxlim: 100 bits: 8/7 4.69/4.73 c ---[2818]---> Adder-cost: 122 maxlim: 108 bits: 8/7 4.69/4.73 c ---[2816]---> Adder-cost: 114 maxlim: 114 bits: 8/7 4.69/4.73 c ---[2813]---> Adder-cost: 155 maxlim: 63 bits: 7/6 4.69/4.73 c ---[2811]---> Adder-cost: 190 maxlim: 84 bits: 8/7 4.69/4.73 c ---[2809]---> Adder-cost: 156 maxlim: 80 bits: 8/7 4.69/4.73 c ---[2807]---> Adder-cost: 158 maxlim: 75 bits: 8/7 4.69/4.73 c ---[2805]---> Adder-cost: 96 maxlim: 100 bits: 8/7 4.69/4.73 c ---[2803]---> Adder-cost: 146 maxlim: 73 bits: 8/7 4.69/4.73 c ---[2801]---> Adder-cost: 131 maxlim: 58 bits: 7/6 4.69/4.73 c ---[2799]---> Adder-cost: 106 maxlim: 44 bits: 7/6 4.69/4.73 c ---[2797]---> Adder-cost: 147 maxlim: 59 bits: 7/6 4.69/4.73 c ---[2795]---> Adder-cost: 108 maxlim: 46 bits: 7/6 4.69/4.73 c ---[2793]---> Adder-cost: 96 maxlim: 100 bits: 8/7 4.69/4.73 c ---[2791]---> Adder-cost: 230 maxlim: 102 bits: 8/7 4.69/4.73 c ---[2789]---> Adder-cost: 184 maxlim: 103 bits: 8/7 4.69/4.73 c ---[2787]---> Adder-cost: 210 maxlim: 92 bits: 8/7 4.69/4.73 c ---[2785]---> Adder-cost: 206 maxlim: 91 bits: 8/7 4.69/4.73 c ---[2783]---> Adder-cost: 166 maxlim: 96 bits: 8/7 4.69/4.73 c ---[2781]---> Adder-cost: 52 maxlim: 20 bits: 6/5 4.69/4.73 c ---[2778]---> Adder-cost: 212 maxlim: 104 bits: 8/7 4.69/4.73 c ---[2776]---> Adder-cost: 243 maxlim: 117 bits: 8/7 4.69/4.73 c ---[2774]---> Adder-cost: 212 maxlim: 109 bits: 8/7 4.69/4.73 c ---[2772]---> Adder-cost: 126 maxlim: 51 bits: 7/6 4.69/4.73 c ---[2770]---> Adder-cost: 131 maxlim: 56 bits: 7/6 4.69/4.73 c ---[2767]---> Adder-cost: 110 maxlim: 48 bits: 7/6 4.69/4.73 c ---[2765]---> Adder-cost: 96 maxlim: 36 bits: 7/6 4.69/4.73 c ---[2763]---> Adder-cost: 84 maxlim: 33 bits: 7/6 4.69/4.73 c ---[2761]---> Adder-cost: 60 maxlim: 33 bits: 7/6 4.69/4.73 c ---[2759]---> Adder-cost: 100 maxlim: 44 bits: 7/6 4.69/4.73 c ---[2757]---> Sorter-cost: 577 Base: 2 4.69/4.73 c ---[2754]---> Adder-cost: 102 maxlim: 37 bits: 7/6 4.69/4.73 c ---[2752]---> Adder-cost: 71 maxlim: 26 bits: 6/5 4.69/4.73 c ---[2750]---> Adder-cost: 55 maxlim: 24 bits: 6/5 4.69/4.73 c ---[2747]---> Adder-cost: 298 maxlim: 133 bits: 9/8 4.69/4.73 c ---[2745]---> Adder-cost: 261 maxlim: 120 bits: 8/7 4.69/4.73 c ---[2743]---> Adder-cost: 124 maxlim: 50 bits: 7/6 4.69/4.73 c ---[2740]---> Adder-cost: 106 maxlim: 39 bits: 7/6 4.69/4.73 c ---[2738]---> Adder-cost: 85 maxlim: 31 bits: 6/5 4.69/4.73 c ---[2736]---> Adder-cost: 152 maxlim: 67 bits: 8/7 4.69/4.73 c ---[2734]---> Adder-cost: 122 maxlim: 49 bits: 7/6 4.69/4.73 c ---[2730]---> Adder-cost: 66 maxlim: 49 bits: 7/6 4.69/4.73 c ---[2728]---> Adder-cost: 83 maxlim: 56 bits: 7/6 4.69/4.73 c ---[2726]---> Adder-cost: 172 maxlim: 72 bits: 8/7 4.69/4.73 c ---[2724]---> Adder-cost: 168 maxlim: 73 bits: 8/7 4.69/4.73 c ---[2722]---> Adder-cost: 106 maxlim: 44 bits: 7/6 4.69/4.73 c ---[2720]---> Adder-cost: 56 maxlim: 44 bits: 7/6 4.69/4.73 c ---[2717]---> Adder-cost: 176 maxlim: 73 bits: 8/7 4.69/4.73 c ---[2715]---> Adder-cost: 86 maxlim: 73 bits: 8/7 4.69/4.73 c ---[2713]---> Adder-cost: 71 maxlim: 56 bits: 7/6 4.69/4.73 c ---[2710]---> Adder-cost: 232 maxlim: 106 bits: 8/7 4.69/4.73 c ---[2707]---> Adder-cost: 162 maxlim: 67 bits: 8/7 4.69/4.73 c ---[2703]---> Adder-cost: 300 maxlim: 144 bits: 9/8 4.69/4.73 c ---[2701]---> Adder-cost: 141 maxlim: 57 bits: 7/6 4.69/4.73 c ---[2697]---> Adder-cost: 170 maxlim: 70 bits: 8/7 4.69/4.73 c ---[2694]---> Adder-cost: 102 maxlim: 40 bits: 7/6 4.69/4.73 c ---[2692]---> Adder-cost: 94 maxlim: 34 bits: 7/6 4.69/4.73 c ---[2689]---> Adder-cost: 79 maxlim: 57 bits: 7/6 4.69/4.73 c ---[2686]---> Adder-cost: 288 maxlim: 130 bits: 9/8 4.69/4.73 c ---[2682]---> Adder-cost: 277 maxlim: 123 bits: 8/7 4.69/4.73 c ---[2678]---> Adder-cost: 254 maxlim: 116 bits: 8/7 4.69/4.73 c ---[2676]---> Adder-cost: 116 maxlim: 45 bits: 7/6 4.69/4.73 c ---[2674]---> Adder-cost: 114 maxlim: 52 bits: 7/6 4.69/4.73 c ---[2670]---> Adder-cost: 290 maxlim: 132 bits: 9/8 4.69/4.73 c ---[2668]---> Adder-cost: 202 maxlim: 87 bits: 8/7 4.69/4.73 c ---[2664]---> Adder-cost: 294 maxlim: 140 bits: 9/8 4.69/4.73 c ---[2660]---> Adder-cost: 108 maxlim: 41 bits: 7/6 4.69/4.73 c ---[2658]---> Adder-cost: 64 maxlim: 52 bits: 7/6 4.69/4.73 c ---[2655]---> Adder-cost: 139 maxlim: 53 bits: 7/6 4.69/4.73 c ---[2653]---> Adder-cost: 115 maxlim: 54 bits: 7/6 4.69/4.73 c ---[2651]---> Adder-cost: 188 maxlim: 81 bits: 8/7 4.69/4.73 c ---[2647]---> Adder-cost: 94 maxlim: 34 bits: 7/6 4.69/4.73 c ---[2645]---> Adder-cost: 374 maxlim: 180 bits: 9/8 4.69/4.73 c ---[2643]---> Adder-cost: 348 maxlim: 178 bits: 9/8 4.69/4.73 c ---[2639]---> Adder-cost: 218 maxlim: 106 bits: 8/7 4.69/4.73 c ---[2637]---> Adder-cost: 316 maxlim: 151 bits: 9/8 4.69/4.73 c ---[2635]---> Adder-cost: 192 maxlim: 84 bits: 8/7 4.69/4.73 c ---[2631]---> Adder-cost: 178 maxlim: 87 bits: 8/7 4.69/4.73 c ---[2629]---> Adder-cost: 70 maxlim: 36 bits: 7/6 4.69/4.73 c ---[2625]---> Adder-cost: 254 maxlim: 116 bits: 8/7 4.69/4.73 c ---[2622]---> Adder-cost: 153 maxlim: 61 bits: 7/6 4.69/4.73 c ---[2620]---> Adder-cost: 77 maxlim: 61 bits: 7/6 4.69/4.73 c ---[2616]---> Adder-cost: 141 maxlim: 60 bits: 7/6 4.69/4.73 c ---[2614]---> Adder-cost: 86 maxlim: 32 bits: 7/6 4.69/4.73 c ---[2612]---> Adder-cost: 147 maxlim: 60 bits: 7/6 4.69/4.73 c ---[2608]---> Adder-cost: 135 maxlim: 60 bits: 7/6 4.69/4.73 c ---[2606]---> Adder-cost: 94 maxlim: 36 bits: 7/6 4.69/4.73 c ---[2604]---> Adder-cost: 68 maxlim: 34 bits: 7/6 4.69/4.73 c ---[2602]---> Adder-cost: 106 maxlim: 40 bits: 7/6 4.69/4.73 c ---[2599]---> Adder-cost: 80 maxlim: 36 bits: 7/6 4.69/4.73 c ---[2597]---> Adder-cost: 90 maxlim: 32 bits: 7/6 4.69/4.73 c ---[2593]---> Adder-cost: 168 maxlim: 69 bits: 8/7 4.69/4.73 c ---[2591]---> Adder-cost: 246 maxlim: 109 bits: 8/7 4.69/4.73 c ---[2589]---> Adder-cost: 146 maxlim: 110 bits: 8/7 4.69/4.73 c ---[2585]---> Adder-cost: 178 maxlim: 79 bits: 8/7 4.69/4.73 c ---[2582]---> Adder-cost: 89 maxlim: 31 bits: 6/5 4.69/4.73 c ---[2579]---> Adder-cost: 126 maxlim: 51 bits: 7/6 4.69/4.73 c ---[2577]---> Adder-cost: 296 maxlim: 134 bits: 9/8 4.69/4.73 c ---[2575]---> Adder-cost: 174 maxlim: 135 bits: 9/8 4.69/4.73 c ---[2571]---> Adder-cost: 204 maxlim: 88 bits: 8/7 4.69/4.73 c ---[2567]---> Adder-cost: 288 maxlim: 135 bits: 9/8 4.69/4.73 c ---[2565]---> Adder-cost: 76 maxlim: 32 bits: 7/6 4.69/4.74 c ---[2562]---> Adder-cost: 186 maxlim: 79 bits: 8/7 4.69/4.74 c ---[2560]---> Adder-cost: 86 maxlim: 79 bits: 8/7 4.69/4.74 c ---[2556]---> Adder-cost: 208 maxlim: 89 bits: 8/7 4.69/4.74 c ---[2554]---> Adder-cost: 62 maxlim: 20 bits: 6/5 4.69/4.74 c ---[2552]---> Sorter-cost: 546 Base: 2 4.69/4.74 c ---[2550]---> Adder-cost: 75 maxlim: 30 bits: 6/5 4.69/4.75 c ---[2548]---> Sorter-cost: 496 Base: 2 4.69/4.75 c ---[2546]---> Sorter-cost: 496 Base: 2 4.69/4.75 c ---[2544]---> Adder-cost: 69 maxlim: 21 bits: 6/5 4.69/4.75 c ---[2542]---> Adder-cost: 75 maxlim: 23 bits: 6/5 4.69/4.75 c ---[2540]---> Adder-cost: 62 maxlim: 19 bits: 6/5 4.69/4.75 c ---[2538]---> Adder-cost: 58 maxlim: 18 bits: 6/5 4.69/4.75 c ---[2535]---> Adder-cost: 145 maxlim: 60 bits: 7/6 4.69/4.75 c ---[2533]---> Adder-cost: 59 maxlim: 30 bits: 6/5 4.69/4.75 c ---[2531]---> Adder-cost: 125 maxlim: 59 bits: 7/6 4.69/4.76 c ---[2528]---> Adder-cost: 75 maxlim: 24 bits: 6/5 4.69/4.76 c ---[2526]---> Adder-cost: 73 maxlim: 21 bits: 6/5 4.69/4.76 c ---[2524]---> Adder-cost: 55 maxlim: 21 bits: 6/5 4.69/4.76 c ---[2522]---> Adder-cost: 73 maxlim: 30 bits: 6/5 4.69/4.76 c ---[2520]---> Adder-cost: 300 maxlim: 143 bits: 9/8 4.69/4.76 c ---[2518]---> Adder-cost: 114 maxlim: 143 bits: 9/8 4.69/4.77 c ---[2514]---> Adder-cost: 162 maxlim: 73 bits: 8/7 4.69/4.77 c ---[2510]---> Adder-cost: 200 maxlim: 86 bits: 8/7 4.69/4.77 c ---[2508]---> Adder-cost: 204 maxlim: 88 bits: 8/7 4.69/4.78 c ---[2506]---> Adder-cost: 92 maxlim: 88 bits: 8/7 4.69/4.78 c ---[2504]---> Adder-cost: 59 maxlim: 30 bits: 6/5 4.69/4.78 c ---[2500]---> Adder-cost: 170 maxlim: 76 bits: 8/7 4.69/4.78 c ---[2497]---> Adder-cost: 206 maxlim: 89 bits: 8/7 4.69/4.78 c ---[2495]---> Adder-cost: 110 maxlim: 42 bits: 7/6 4.69/4.79 c ---[2492]---> Adder-cost: 190 maxlim: 81 bits: 8/7 4.69/4.79 c ---[2490]---> Adder-cost: 312 maxlim: 146 bits: 9/8 4.69/4.79 c ---[2488]---> Adder-cost: 230 maxlim: 103 bits: 8/7 4.79/4.80 c ---[2486]---> Adder-cost: 116 maxlim: 46 bits: 7/6 4.79/4.80 c ---[2484]---> Adder-cost: 68 maxlim: 46 bits: 7/6 4.79/4.80 c ---[2480]---> Adder-cost: 308 maxlim: 146 bits: 9/8 4.79/4.80 c ---[2478]---> Adder-cost: 73 maxlim: 21 bits: 6/5 4.79/4.81 c ---[2475]---> Adder-cost: 55 maxlim: 21 bits: 6/5 4.79/4.81 c ---[2473]---> Adder-cost: 87 maxlim: 31 bits: 6/5 4.79/4.81 c ---[2471]---> Adder-cost: 59 maxlim: 31 bits: 6/5 4.79/4.81 c ---[2469]---> Adder-cost: 94 maxlim: 103 bits: 8/7 4.79/4.81 c ---[2467]---> Adder-cost: 220 maxlim: 100 bits: 8/7 4.79/4.81 c ---[2465]---> Adder-cost: 158 maxlim: 77 bits: 8/7 4.79/4.82 c ---[2463]---> Adder-cost: 96 maxlim: 36 bits: 7/6 4.79/4.82 c ---[2461]---> Adder-cost: 90 maxlim: 32 bits: 7/6 4.79/4.82 c ---[2459]---> Adder-cost: 69 maxlim: 31 bits: 6/5 4.79/4.82 c ---[2457]---> Adder-cost: 84 maxlim: 34 bits: 7/6 4.79/4.82 c ---[2455]---> Adder-cost: 172 maxlim: 72 bits: 8/7 4.79/4.82 c ---[2453]---> Adder-cost: 281 maxlim: 126 bits: 8/7 4.79/4.83 c ---[2451]---> Adder-cost: 140 maxlim: 102 bits: 8/7 4.79/4.83 c ---[2448]---> Adder-cost: 174 maxlim: 81 bits: 8/7 4.79/4.83 c ---[2446]---> Adder-cost: 144 maxlim: 80 bits: 8/7 4.79/4.84 c ---[2442]---> Adder-cost: 120 maxlim: 47 bits: 7/6 4.79/4.84 c ---[2440]---> Adder-cost: 94 maxlim: 33 bits: 7/6 4.79/4.84 c ---[2438]---> Adder-cost: 208 maxlim: 103 bits: 8/7 4.79/4.84 c ---[2435]---> Adder-cost: 174 maxlim: 75 bits: 8/7 4.79/4.84 c ---[2433]---> Sorter-cost: 546 Base: 2 4.79/4.84 c ---[2431]---> Adder-cost: 73 maxlim: 24 bits: 6/5 4.79/4.85 c ---[2429]---> Adder-cost: 88 maxlim: 32 bits: 7/6 4.79/4.85 c ---[2427]---> Adder-cost: 82 maxlim: 34 bits: 7/6 4.79/4.85 c ---[2423]---> Adder-cost: 116 maxlim: 45 bits: 7/6 4.79/4.85 c ---[2421]---> Adder-cost: 168 maxlim: 73 bits: 8/7 4.79/4.85 c ---[2419]---> Adder-cost: 110 maxlim: 44 bits: 7/6 4.79/4.85 c ---[2417]---> Sorter-cost: 546 Base: 2 4.79/4.85 c ---[2415]---> Adder-cost: 60 maxlim: 18 bits: 6/5 4.79/4.86 c ---[2413]---> Adder-cost: 62 maxlim: 19 bits: 6/5 4.79/4.86 c ---[2411]---> Adder-cost: 65 maxlim: 25 bits: 6/5 4.79/4.86 c ---[2409]---> Adder-cost: 54 maxlim: 19 bits: 6/5 4.79/4.86 c ---[2407]---> Adder-cost: 154 maxlim: 71 bits: 8/7 4.79/4.86 c ---[2405]---> Adder-cost: 63 maxlim: 21 bits: 6/5 4.79/4.86 c ---[2403]---> Adder-cost: 55 maxlim: 21 bits: 6/5 4.79/4.86 c ---[2401]---> Adder-cost: 52 maxlim: 17 bits: 6/5 4.79/4.86 c ---[2398]---> Adder-cost: 122 maxlim: 49 bits: 7/6 4.79/4.86 c ---[2396]---> Adder-cost: 120 maxlim: 49 bits: 7/6 4.79/4.87 c ---[2394]---> Adder-cost: 87 maxlim: 30 bits: 6/5 4.79/4.87 c ---[2392]---> Adder-cost: 168 maxlim: 69 bits: 8/7 4.79/4.87 c ---[2389]---> Adder-cost: 222 maxlim: 97 bits: 8/7 4.79/4.87 c ---[2387]---> Adder-cost: 86 maxlim: 97 bits: 8/7 4.79/4.87 c ---[2385]---> Sorter-cost: 546 Base: 2 4.79/4.88 c ---[2382]---> Adder-cost: 139 maxlim: 59 bits: 7/6 4.79/4.88 c ---[2378]---> Adder-cost: 190 maxlim: 85 bits: 8/7 4.79/4.88 c ---[2376]---> Adder-cost: 152 maxlim: 68 bits: 8/7 4.79/4.88 c ---[2374]---> Adder-cost: 154 maxlim: 75 bits: 8/7 4.79/4.88 c ---[2372]---> Adder-cost: 74 maxlim: 68 bits: 8/7 4.79/4.89 c ---[2369]---> Adder-cost: 96 maxlim: 85 bits: 8/7 4.79/4.89 c ---[2365]---> Adder-cost: 94 maxlim: 39 bits: 7/6 4.79/4.89 c ---[2363]---> Adder-cost: 73 maxlim: 26 bits: 6/5 4.79/4.89 c ---[2361]---> Adder-cost: 100 maxlim: 44 bits: 7/6 4.79/4.89 c ---[2359]---> Adder-cost: 160 maxlim: 69 bits: 8/7 4.89/4.90 c ---[2357]---> Adder-cost: 108 maxlim: 42 bits: 7/6 4.89/4.90 c ---[2355]---> Adder-cost: 145 maxlim: 60 bits: 7/6 4.89/4.90 c ---[2353]---> Adder-cost: 156 maxlim: 66 bits: 8/7 4.89/4.90 c ---[2350]---> Adder-cost: 121 maxlim: 61 bits: 7/6 4.89/4.90 c ---[2348]---> Adder-cost: 104 maxlim: 70 bits: 8/7 4.89/4.91 c ---[2346]---> Sorter-cost: 546 Base: 2 4.89/4.91 c ---[2344]---> Adder-cost: 310 maxlim: 148 bits: 9/8 4.89/4.91 c ---[2342]---> Adder-cost: 326 maxlim: 150 bits: 9/8 4.89/4.92 c ---[2340]---> Adder-cost: 240 maxlim: 108 bits: 8/7 4.89/4.92 c ---[2337]---> Adder-cost: 212 maxlim: 93 bits: 8/7 4.89/4.92 c ---[2335]---> Adder-cost: 255 maxlim: 123 bits: 8/7 4.89/4.92 c ---[2333]---> Adder-cost: 56 maxlim: 20 bits: 6/5 4.89/4.93 c ---[2331]---> Adder-cost: 42 maxlim: 20 bits: 6/5 4.89/4.93 c ---[2329]---> Adder-cost: 77 maxlim: 26 bits: 6/5 4.89/4.93 c ---[2327]---> Adder-cost: 214 maxlim: 99 bits: 8/7 4.89/4.93 c ---[2323]---> Adder-cost: 112 maxlim: 45 bits: 7/6 4.89/4.93 c ---[2321]---> Adder-cost: 164 maxlim: 74 bits: 8/7 4.89/4.93 c ---[2319]---> Adder-cost: 131 maxlim: 58 bits: 7/6 4.89/4.94 c ---[2317]---> Adder-cost: 56 maxlim: 20 bits: 6/5 4.89/4.94 c ---[2315]---> Adder-cost: 106 maxlim: 42 bits: 7/6 4.89/4.94 c ---[2313]---> Adder-cost: 184 maxlim: 97 bits: 8/7 4.89/4.94 c ---[2310]---> Adder-cost: 238 maxlim: 106 bits: 8/7 4.89/4.94 c ---[2308]---> Adder-cost: 230 maxlim: 116 bits: 8/7 4.89/4.95 c ---[2306]---> Adder-cost: 92 maxlim: 116 bits: 8/7 4.89/4.95 c ---[2304]---> Adder-cost: 190 maxlim: 84 bits: 8/7 4.89/4.95 c ---[2302]---> Adder-cost: 88 maxlim: 84 bits: 8/7 4.89/4.96 c ---[2300]---> Adder-cost: 94 maxlim: 36 bits: 7/6 4.89/4.96 c ---[2296]---> Adder-cost: 220 maxlim: 97 bits: 8/7 4.89/4.96 c ---[2294]---> Adder-cost: 98 maxlim: 45 bits: 7/6 4.89/4.96 c ---[2292]---> Adder-cost: 88 maxlim: 44 bits: 7/6 4.89/4.96 c ---[2290]---> Adder-cost: 79 maxlim: 30 bits: 6/5 4.89/4.96 c ---[2288]---> Adder-cost: 204 maxlim: 88 bits: 8/7 4.89/4.97 c ---[2286]---> Adder-cost: 122 maxlim: 49 bits: 7/6 4.89/4.97 c ---[2284]---> Adder-cost: 153 maxlim: 62 bits: 7/6 4.89/4.97 c ---[2282]---> Adder-cost: 276 maxlim: 133 bits: 9/8 4.89/4.97 c ---[2279]---> Adder-cost: 90 maxlim: 32 bits: 7/6 4.89/4.98 c ---[2277]---> Adder-cost: 86 maxlim: 97 bits: 8/7 4.89/4.98 c ---[2275]---> Adder-cost: 52 maxlim: 32 bits: 7/6 4.89/4.98 c ---[2273]---> Adder-cost: 108 maxlim: 47 bits: 7/6 4.89/4.98 c ---[2270]---> Adder-cost: 62 maxlim: 20 bits: 6/5 4.89/4.98 c ---[2268]---> Adder-cost: 162 maxlim: 71 bits: 8/7 4.89/4.98 c ---[2266]---> Adder-cost: 42 maxlim: 20 bits: 6/5 4.89/4.99 c ---[2264]---> Adder-cost: 202 maxlim: 96 bits: 8/7 4.89/4.99 c ---[2261]---> Adder-cost: 60 maxlim: 17 bits: 6/5 4.89/4.99 c ---[2259]---> Sorter-cost: 546 Base: 2 4.89/4.99 c ---[2257]---> Adder-cost: 135 maxlim: 53 bits: 7/6 4.89/4.99 c ---[2255]---> Adder-cost: 96 maxlim: 35 bits: 7/6 4.89/4.99 c ---[2251]---> Adder-cost: 130 maxlim: 95 bits: 8/7 4.89/5.00 c ---[2249]---> Adder-cost: 184 maxlim: 84 bits: 8/7 4.99/5.00 c ---[2247]---> Adder-cost: 79 maxlim: 28 bits: 6/5 4.99/5.00 c ---[2243]---> Adder-cost: 81 maxlim: 28 bits: 6/5 4.99/5.00 c ---[2241]---> Adder-cost: 55 maxlim: 28 bits: 6/5 4.99/5.00 c ---[2239]---> Adder-cost: 58 maxlim: 20 bits: 6/5 4.99/5.00 c ---[2235]---> Adder-cost: 182 maxlim: 94 bits: 8/7 4.99/5.00 c ---[2233]---> Adder-cost: 98 maxlim: 39 bits: 7/6 4.99/5.01 c ---[2229]---> Adder-cost: 87 maxlim: 31 bits: 6/5 4.99/5.01 c ---[2227]---> Adder-cost: 56 maxlim: 17 bits: 6/5 4.99/5.01 c ---[2224]---> Adder-cost: 71 maxlim: 21 bits: 6/5 4.99/5.01 c ---[2220]---> Adder-cost: 132 maxlim: 93 bits: 8/7 4.99/5.01 c ---[2218]---> Adder-cost: 60 maxlim: 17 bits: 6/5 4.99/5.01 c ---[2214]---> Adder-cost: 184 maxlim: 80 bits: 8/7 4.99/5.01 c ---[2211]---> Adder-cost: 160 maxlim: 68 bits: 8/7 4.99/5.02 c ---[2208]---> Adder-cost: 139 maxlim: 53 bits: 7/6 4.99/5.02 c ---[2206]---> Adder-cost: 102 maxlim: 93 bits: 8/7 4.99/5.02 c ---[2204]---> Adder-cost: 139 maxlim: 59 bits: 7/6 4.99/5.02 c ---[2202]---> Adder-cost: 73 maxlim: 59 bits: 7/6 4.99/5.03 c ---[2198]---> Adder-cost: 340 maxlim: 159 bits: 9/8 4.99/5.03 c ---[2196]---> Adder-cost: 118 maxlim: 159 bits: 9/8 4.99/5.03 c ---[2194]---> Adder-cost: 330 maxlim: 163 bits: 9/8 4.99/5.04 c ---[2192]---> Adder-cost: 122 maxlim: 163 bits: 9/8 4.99/5.04 c ---[2189]---> Adder-cost: 122 maxlim: 163 bits: 9/8 4.99/5.05 c ---[2187]---> Adder-cost: 122 maxlim: 163 bits: 9/8 4.99/5.05 c ---[2184]---> Adder-cost: 69 maxlim: 24 bits: 6/5 4.99/5.05 c ---[2182]---> Adder-cost: 141 maxlim: 55 bits: 7/6 4.99/5.06 c ---[2180]---> Adder-cost: 121 maxlim: 53 bits: 7/6 4.99/5.06 c ---[2178]---> Adder-cost: 92 maxlim: 50 bits: 7/6 4.99/5.06 c ---[2176]---> Adder-cost: 298 maxlim: 138 bits: 9/8 4.99/5.06 c ---[2172]---> Adder-cost: 148 maxlim: 67 bits: 8/7 4.99/5.07 c ---[2170]---> Adder-cost: 114 maxlim: 65 bits: 8/7 4.99/5.07 c ---[2168]---> Adder-cost: 152 maxlim: 64 bits: 8/7 4.99/5.07 c ---[2164]---> Adder-cost: 102 maxlim: 52 bits: 7/6 4.99/5.07 c ---[2162]---> Adder-cost: 380 maxlim: 180 bits: 9/8 4.99/5.08 c ---[2160]---> Adder-cost: 118 maxlim: 45 bits: 7/6 4.99/5.08 c ---[2156]---> Adder-cost: 204 maxlim: 87 bits: 8/7 4.99/5.08 c ---[2154]---> Adder-cost: 66 maxlim: 45 bits: 7/6 4.99/5.08 c ---[2151]---> Adder-cost: 124 maxlim: 52 bits: 7/6 4.99/5.09 c ---[2149]---> Adder-cost: 166 maxlim: 71 bits: 8/7 4.99/5.09 c ---[2147]---> Adder-cost: 140 maxlim: 69 bits: 8/7 4.99/5.09 c ---[2145]---> Adder-cost: 278 maxlim: 150 bits: 9/8 4.99/5.09 c ---[2142]---> Adder-cost: 162 maxlim: 72 bits: 8/7 5.09/5.10 c ---[2140]---> Adder-cost: 125 maxlim: 54 bits: 7/6 5.09/5.10 c ---[2136]---> Adder-cost: 259 maxlim: 117 bits: 8/7 5.09/5.10 c ---[2134]---> Adder-cost: 107 maxlim: 117 bits: 8/7 5.09/5.11 c ---[2131]---> Adder-cost: 71 maxlim: 21 bits: 6/5 5.09/5.11 c ---[2128]---> Adder-cost: 184 maxlim: 149 bits: 9/8 5.09/5.11 c ---[2125]---> Adder-cost: 73 maxlim: 26 bits: 6/5 5.09/5.11 c ---[2123]---> Adder-cost: 67 maxlim: 27 bits: 6/5 5.09/5.11 c ---[2121]---> Adder-cost: 67 maxlim: 22 bits: 6/5 5.09/5.11 c ---[2119]---> Adder-cost: 79 maxlim: 29 bits: 6/5 5.09/5.11 c ---[2117]---> Adder-cost: 55 maxlim: 29 bits: 6/5 5.09/5.12 c ---[2115]---> Adder-cost: 106 maxlim: 44 bits: 7/6 5.09/5.12 c ---[2113]---> Adder-cost: 145 maxlim: 57 bits: 7/6 5.09/5.12 c ---[2110]---> Adder-cost: 110 maxlim: 43 bits: 7/6 5.09/5.12 c ---[2108]---> Adder-cost: 164 maxlim: 152 bits: 9/8 5.09/5.13 c ---[2104]---> Adder-cost: 60 maxlim: 17 bits: 6/5 5.09/5.13 c ---[2100]---> Adder-cost: 147 maxlim: 60 bits: 7/6 5.09/5.13 c ---[2098]---> Adder-cost: 75 maxlim: 60 bits: 7/6 5.09/5.13 c ---[2096]---> Adder-cost: 102 maxlim: 38 bits: 7/6 5.09/5.13 c ---[2094]---> Adder-cost: 75 maxlim: 24 bits: 6/5 5.09/5.13 c ---[2092]---> Adder-cost: 110 maxlim: 152 bits: 9/8 5.09/5.14 c ---[2090]---> Adder-cost: 51 maxlim: 24 bits: 6/5 5.09/5.14 c ---[2086]---> Adder-cost: 77 maxlim: 28 bits: 6/5 5.09/5.14 c ---[2084]---> Adder-cost: 196 maxlim: 85 bits: 8/7 5.09/5.14 c ---[2082]---> Adder-cost: 251 maxlim: 117 bits: 8/7 5.09/5.14 c ---[2080]---> Adder-cost: 160 maxlim: 72 bits: 8/7 5.09/5.15 c ---[2078]---> Adder-cost: 80 maxlim: 72 bits: 8/7 5.09/5.15 c ---[2073]---> Adder-cost: 67 maxlim: 28 bits: 6/5 5.09/5.15 c ---[2069]---> Adder-cost: 94 maxlim: 33 bits: 7/6 5.09/5.15 c ---[2066]---> Sorter-cost: 546 Base: 2 5.09/5.15 c ---[2064]---> Sorter-cost: 496 Base: 2 5.09/5.15 c ---[2062]---> Adder-cost: 172 maxlim: 72 bits: 8/7 5.09/5.16 c ---[2060]---> Sorter-cost: 496 Base: 2 5.09/5.16 c ---[2057]---> Adder-cost: 110 maxlim: 42 bits: 7/6 5.09/5.16 c ---[2055]---> Adder-cost: 120 maxlim: 52 bits: 7/6 5.09/5.16 c ---[2051]---> Adder-cost: 83 maxlim: 30 bits: 6/5 5.09/5.16 c ---[2047]---> Adder-cost: 56 maxlim: 16 bits: 6/5 5.09/5.16 c ---[2045]---> Adder-cost: 106 maxlim: 72 bits: 8/7 5.09/5.16 c ---[2042]---> Adder-cost: 106 maxlim: 39 bits: 7/6 5.09/5.16 c ---[2039]---> Adder-cost: 62 maxlim: 19 bits: 6/5 5.09/5.17 c ---[2037]---> Sorter-cost: 546 Base: 2 5.09/5.17 c ---[2035]---> Sorter-cost: 496 Base: 2 5.09/5.17 c ---[2033]---> Sorter-cost: 777 Base: 7 5.09/5.17 c ---[2030]---> Adder-cost: 81 maxlim: 28 bits: 6/5 5.09/5.17 c ---[2028]---> Adder-cost: 129 maxlim: 60 bits: 7/6 5.09/5.18 c ---[2026]---> Adder-cost: 210 maxlim: 91 bits: 8/7 5.09/5.18 c ---[2024]---> Adder-cost: 108 maxlim: 91 bits: 8/7 5.09/5.19 c ---[2021]---> Adder-cost: 106 maxlim: 42 bits: 7/6 5.09/5.19 c ---[2019]---> Adder-cost: 85 maxlim: 31 bits: 6/5 5.09/5.19 c ---[2017]---> Adder-cost: 56 maxlim: 18 bits: 6/5 5.09/5.19 c ---[2015]---> Adder-cost: 83 maxlim: 29 bits: 6/5 5.09/5.19 c ---[2011]---> Adder-cost: 194 maxlim: 88 bits: 8/7 5.09/5.19 c ---[2009]---> Adder-cost: 96 maxlim: 36 bits: 7/6 5.18/5.20 c ---[2006]---> Adder-cost: 104 maxlim: 39 bits: 7/6 5.18/5.20 c ---[2004]---> Adder-cost: 96 maxlim: 35 bits: 7/6 5.18/5.20 c ---[2002]---> Adder-cost: 188 maxlim: 84 bits: 8/7 5.18/5.20 c ---[2000]---> Adder-cost: 69 maxlim: 23 bits: 6/5 5.18/5.20 c ---[1998]---> Adder-cost: 73 maxlim: 21 bits: 6/5 5.18/5.20 c ---[1996]---> Adder-cost: 81 maxlim: 27 bits: 6/5 5.18/5.20 c ---[1994]---> Adder-cost: 54 maxlim: 19 bits: 6/5 5.18/5.20 c ---[1992]---> Sorter-cost: 546 Base: 2 5.18/5.21 c ---[1990]---> Adder-cost: 56 maxlim: 16 bits: 6/5 5.18/5.21 c ---[1987]---> Adder-cost: 110 maxlim: 41 bits: 7/6 5.18/5.21 c ---[1985]---> Adder-cost: 132 maxlim: 78 bits: 8/7 5.18/5.21 c ---[1983]---> Sorter-cost: 546 Base: 2 5.18/5.21 c ---[1981]---> Sorter-cost: 506 Base: 2 5.18/5.21 c ---[1979]---> Adder-cost: 87 maxlim: 29 bits: 6/5 5.18/5.21 c ---[1977]---> Adder-cost: 75 maxlim: 29 bits: 6/5 5.18/5.21 c ---[1974]---> Adder-cost: 67 maxlim: 25 bits: 6/5 5.18/5.21 c ---[1972]---> Sorter-cost: 577 Base: 2 5.18/5.22 c ---[1970]---> Adder-cost: 168 maxlim: 76 bits: 8/7 5.18/5.22 c ---[1967]---> Adder-cost: 56 maxlim: 18 bits: 6/5 5.18/5.22 c ---[1965]---> Adder-cost: 250 maxlim: 113 bits: 8/7 5.18/5.22 c ---[1963]---> Adder-cost: 180 maxlim: 112 bits: 8/7 5.18/5.23 c ---[1961]---> Adder-cost: 222 maxlim: 114 bits: 8/7 5.18/5.23 c ---[1958]---> Adder-cost: 73 maxlim: 21 bits: 6/5 5.18/5.23 c ---[1956]---> Adder-cost: 84 maxlim: 76 bits: 8/7 5.18/5.23 c ---[1953]---> Adder-cost: 81 maxlim: 27 bits: 6/5 5.18/5.23 c ---[1951]---> Adder-cost: 55 maxlim: 27 bits: 6/5 5.18/5.23 c ---[1949]---> Adder-cost: 69 maxlim: 23 bits: 6/5 5.18/5.23 c ---[1945]---> Adder-cost: 220 maxlim: 102 bits: 8/7 5.18/5.24 c ---[1943]---> Adder-cost: 112 maxlim: 43 bits: 7/6 5.18/5.24 c ---[1941]---> Adder-cost: 122 maxlim: 50 bits: 7/6 5.18/5.24 c ---[1937]---> Adder-cost: 114 maxlim: 49 bits: 7/6 5.18/5.24 c ---[1934]---> Sorter-cost: 546 Base: 2 5.18/5.24 c ---[1932]---> Sorter-cost: 546 Base: 2 5.18/5.24 c ---[1930]---> Sorter-cost: 496 Base: 2 5.18/5.24 c ---[1927]---> Sorter-cost: 546 Base: 2 5.18/5.25 c ---[1925]---> Adder-cost: 62 maxlim: 50 bits: 7/6 5.18/5.25 c ---[1923]---> Sorter-cost: 496 Base: 2 5.18/5.25 c ---[1920]---> Adder-cost: 79 maxlim: 26 bits: 6/5 5.18/5.25 c ---[1917]---> Adder-cost: 83 maxlim: 30 bits: 6/5 5.18/5.25 c ---[1914]---> Adder-cost: 96 maxlim: 42 bits: 7/6 5.18/5.25 c ---[1911]---> Adder-cost: 82 maxlim: 32 bits: 7/6 5.18/5.25 c ---[1909]---> Adder-cost: 118 maxlim: 46 bits: 7/6 5.18/5.25 c ---[1907]---> Adder-cost: 94 maxlim: 34 bits: 7/6 5.18/5.26 c ---[1905]---> Adder-cost: 100 maxlim: 47 bits: 7/6 5.18/5.26 c ---[1902]---> Adder-cost: 100 maxlim: 40 bits: 7/6 5.18/5.26 c ---[1900]---> Adder-cost: 64 maxlim: 40 bits: 7/6 5.18/5.26 c ---[1897]---> Adder-cost: 139 maxlim: 58 bits: 7/6 5.18/5.26 c ---[1895]---> Adder-cost: 77 maxlim: 58 bits: 7/6 5.18/5.26 c ---[1893]---> Adder-cost: 117 maxlim: 57 bits: 7/6 5.18/5.27 c ---[1890]---> Adder-cost: 131 maxlim: 54 bits: 7/6 5.18/5.27 c ---[1888]---> Adder-cost: 71 maxlim: 24 bits: 6/5 5.18/5.27 c ---[1886]---> Adder-cost: 56 maxlim: 17 bits: 6/5 5.18/5.27 c ---[1884]---> Adder-cost: 120 maxlim: 47 bits: 7/6 5.18/5.27 c ---[1882]---> Adder-cost: 131 maxlim: 57 bits: 7/6 5.18/5.27 c ---[1880]---> Adder-cost: 94 maxlim: 47 bits: 7/6 5.18/5.27 c ---[1878]---> Adder-cost: 146 maxlim: 72 bits: 8/7 5.18/5.28 c ---[1875]---> Adder-cost: 75 maxlim: 26 bits: 6/5 5.18/5.28 c ---[1873]---> Adder-cost: 116 maxlim: 47 bits: 7/6 5.18/5.28 c ---[1871]---> Adder-cost: 71 maxlim: 29 bits: 6/5 5.18/5.28 c ---[1869]---> Adder-cost: 58 maxlim: 20 bits: 6/5 5.18/5.28 c ---[1867]---> Adder-cost: 320 maxlim: 160 bits: 9/8 5.18/5.29 c ---[1865]---> Adder-cost: 141 maxlim: 60 bits: 7/6 5.18/5.29 c ---[1862]---> Adder-cost: 42 maxlim: 20 bits: 6/5 5.18/5.29 c ---[1859]---> Adder-cost: 114 maxlim: 47 bits: 7/6 5.18/5.29 c ---[1857]---> Adder-cost: 172 maxlim: 81 bits: 8/7 5.18/5.29 c ---[1855]---> Adder-cost: 79 maxlim: 27 bits: 6/5 5.18/5.29 c ---[1851]---> Adder-cost: 168 maxlim: 78 bits: 8/7 5.29/5.30 c ---[1849]---> Adder-cost: 102 maxlim: 44 bits: 7/6 5.29/5.30 c ---[1846]---> Adder-cost: 236 maxlim: 109 bits: 8/7 5.29/5.30 c ---[1843]---> Adder-cost: 62 maxlim: 19 bits: 6/5 5.29/5.30 c ---[1841]---> Adder-cost: 83 maxlim: 30 bits: 6/5 5.29/5.30 c ---[1839]---> Adder-cost: 118 maxlim: 48 bits: 7/6 5.29/5.30 c ---[1837]---> Adder-cost: 150 maxlim: 74 bits: 8/7 5.29/5.31 c ---[1833]---> Adder-cost: 50 maxlim: 16 bits: 6/5 5.29/5.31 c ---[1831]---> Adder-cost: 77 maxlim: 26 bits: 6/5 5.29/5.31 c ---[1828]---> Adder-cost: 126 maxlim: 51 bits: 7/6 5.29/5.31 c ---[1825]---> Adder-cost: 64 maxlim: 51 bits: 7/6 5.29/5.31 c ---[1822]---> Adder-cost: 108 maxlim: 44 bits: 7/6 5.29/5.31 c ---[1819]---> Adder-cost: 94 maxlim: 34 bits: 7/6 5.29/5.31 c ---[1817]---> Adder-cost: 104 maxlim: 40 bits: 7/6 5.29/5.32 c ---[1815]---> Adder-cost: 92 maxlim: 41 bits: 7/6 5.29/5.32 c ---[1813]---> Adder-cost: 73 maxlim: 23 bits: 6/5 5.29/5.32 c ---[1811]---> Adder-cost: 81 maxlim: 27 bits: 6/5 5.29/5.32 c ---[1809]---> Adder-cost: 84 maxlim: 33 bits: 7/6 5.29/5.32 c ---[1807]---> Adder-cost: 236 maxlim: 108 bits: 8/7 5.29/5.32 c ---[1805]---> Adder-cost: 212 maxlim: 99 bits: 8/7 5.29/5.33 c ---[1803]---> Adder-cost: 137 maxlim: 56 bits: 7/6 5.29/5.33 c ---[1800]---> Adder-cost: 60 maxlim: 19 bits: 6/5 5.29/5.33 c ---[1798]---> Adder-cost: 62 maxlim: 20 bits: 6/5 5.29/5.33 c ---[1796]---> Sorter-cost: 546 Base: 2 5.29/5.33 c ---[1794]---> Sorter-cost: 536 Base: 2 5.29/5.33 c ---[1792]---> Adder-cost: 116 maxlim: 49 bits: 7/6 5.29/5.33 c ---[1790]---> Adder-cost: 52 maxlim: 16 bits: 6/5 5.29/5.33 c ---[1788]---> Adder-cost: 114 maxlim: 46 bits: 7/6 5.29/5.34 c ---[1786]---> Adder-cost: 42 maxlim: 16 bits: 6/5 5.29/5.34 c ---[1784]---> Adder-cost: 200 maxlim: 87 bits: 8/7 5.29/5.34 c ---[1782]---> Adder-cost: 56 maxlim: 18 bits: 6/5 5.29/5.34 c ---[1780]---> Adder-cost: 44 maxlim: 18 bits: 6/5 5.29/5.34 c ---[1778]---> Adder-cost: 44 maxlim: 18 bits: 6/5 5.29/5.34 c ---[1776]---> Adder-cost: 71 maxlim: 24 bits: 6/5 5.29/5.34 c ---[1774]---> Adder-cost: 51 maxlim: 24 bits: 6/5 5.29/5.34 c ---[1772]---> Adder-cost: 51 maxlim: 24 bits: 6/5 5.29/5.34 c ---[1768]---> Adder-cost: 151 maxlim: 61 bits: 7/6 5.29/5.35 c ---[1766]---> Adder-cost: 194 maxlim: 106 bits: 8/7 5.29/5.35 c ---[1764]---> Adder-cost: 184 maxlim: 81 bits: 8/7 5.29/5.35 c ---[1761]---> Adder-cost: 75 maxlim: 24 bits: 6/5 5.29/5.35 c ---[1759]---> Sorter-cost: 577 Base: 2 5.29/5.35 c ---[1757]---> Adder-cost: 79 maxlim: 27 bits: 6/5 5.29/5.35 c ---[1755]---> Adder-cost: 96 maxlim: 35 bits: 7/6 5.29/5.36 c ---[1753]---> Adder-cost: 271 maxlim: 121 bits: 8/7 5.29/5.36 c ---[1751]---> Adder-cost: 56 maxlim: 35 bits: 7/6 5.29/5.36 c ---[1748]---> Adder-cost: 75 maxlim: 26 bits: 6/5 5.29/5.36 c ---[1746]---> Adder-cost: 133 maxlim: 54 bits: 7/6 5.29/5.36 c ---[1742]---> Adder-cost: 116 maxlim: 46 bits: 7/6 5.29/5.37 c ---[1740]---> Adder-cost: 82 maxlim: 33 bits: 7/6 5.29/5.37 c ---[1738]---> Adder-cost: 229 maxlim: 123 bits: 8/7 5.29/5.37 c ---[1736]---> Adder-cost: 124 maxlim: 51 bits: 7/6 5.29/5.37 c ---[1734]---> Adder-cost: 135 maxlim: 59 bits: 7/6 5.29/5.37 c ---[1732]---> Adder-cost: 139 maxlim: 63 bits: 7/6 5.29/5.38 c ---[1730]---> Adder-cost: 127 maxlim: 57 bits: 7/6 5.29/5.38 c ---[1728]---> Adder-cost: 94 maxlim: 36 bits: 7/6 5.29/5.38 c ---[1726]---> Adder-cost: 90 maxlim: 34 bits: 7/6 5.29/5.38 c ---[1724]---> Adder-cost: 110 maxlim: 42 bits: 7/6 5.29/5.38 c ---[1722]---> Adder-cost: 288 maxlim: 131 bits: 9/8 5.29/5.39 c ---[1720]---> Adder-cost: 122 maxlim: 52 bits: 7/6 5.29/5.39 c ---[1716]---> Adder-cost: 104 maxlim: 38 bits: 7/6 5.29/5.39 c ---[1714]---> Adder-cost: 100 maxlim: 40 bits: 7/6 5.29/5.39 c ---[1711]---> Adder-cost: 172 maxlim: 72 bits: 8/7 5.29/5.39 c ---[1708]---> Adder-cost: 266 maxlim: 135 bits: 9/8 5.39/5.40 c ---[1706]---> Adder-cost: 71 maxlim: 21 bits: 6/5 5.39/5.40 c ---[1704]---> Sorter-cost: 546 Base: 2 5.39/5.40 c ---[1701]---> Adder-cost: 96 maxlim: 35 bits: 7/6 5.39/5.40 c ---[1698]---> Adder-cost: 86 maxlim: 33 bits: 7/6 5.39/5.40 c ---[1696]---> Adder-cost: 284 maxlim: 138 bits: 9/8 5.39/5.41 c ---[1694]---> Adder-cost: 106 maxlim: 44 bits: 7/6 5.39/5.41 c ---[1692]---> Adder-cost: 100 maxlim: 37 bits: 7/6 5.39/5.41 c ---[1688]---> Adder-cost: 137 maxlim: 63 bits: 7/6 5.39/5.41 c ---[1686]---> Sorter-cost: 577 Base: 2 5.39/5.41 c ---[1684]---> Sorter-cost: 451 Base: 2 5.39/5.41 c ---[1680]---> Adder-cost: 75 maxlim: 25 bits: 6/5 5.39/5.41 c ---[1677]---> Adder-cost: 92 maxlim: 36 bits: 7/6 5.39/5.41 c ---[1675]---> Adder-cost: 69 maxlim: 28 bits: 6/5 5.39/5.42 c ---[1672]---> Adder-cost: 184 maxlim: 77 bits: 8/7 5.39/5.42 c ---[1670]---> Adder-cost: 84 maxlim: 77 bits: 8/7 5.39/5.42 c ---[1668]---> Adder-cost: 139 maxlim: 55 bits: 7/6 5.39/5.42 c ---[1666]---> Adder-cost: 114 maxlim: 48 bits: 7/6 5.39/5.42 c ---[1663]---> Adder-cost: 69 maxlim: 21 bits: 6/5 5.39/5.42 c ---[1661]---> Adder-cost: 174 maxlim: 76 bits: 8/7 5.39/5.43 c ---[1659]---> Adder-cost: 116 maxlim: 78 bits: 8/7 5.39/5.43 c ---[1657]---> Adder-cost: 290 maxlim: 133 bits: 9/8 5.39/5.43 c ---[1655]---> Adder-cost: 244 maxlim: 132 bits: 9/8 5.39/5.44 c ---[1653]---> Adder-cost: 302 maxlim: 139 bits: 9/8 5.39/5.44 c ---[1651]---> Adder-cost: 118 maxlim: 139 bits: 9/8 5.39/5.45 c ---[1649]---> Adder-cost: 67 maxlim: 24 bits: 6/5 5.39/5.45 c ---[1646]---> Adder-cost: 61 maxlim: 21 bits: 6/5 5.39/5.45 c ---[1644]---> Adder-cost: 88 maxlim: 32 bits: 7/6 5.39/5.45 c ---[1642]---> Adder-cost: 156 maxlim: 64 bits: 8/7 5.39/5.45 c ---[1640]---> Adder-cost: 92 maxlim: 40 bits: 7/6 5.39/5.45 c ---[1638]---> Adder-cost: 98 maxlim: 39 bits: 7/6 5.39/5.45 c ---[1635]---> Adder-cost: 275 maxlim: 125 bits: 8/7 5.39/5.46 c ---[1633]---> Adder-cost: 71 maxlim: 21 bits: 6/5 5.39/5.46 c ---[1631]---> Adder-cost: 137 maxlim: 55 bits: 7/6 5.39/5.46 c ---[1629]---> Adder-cost: 100 maxlim: 40 bits: 7/6 5.39/5.46 c ---[1627]---> Adder-cost: 77 maxlim: 55 bits: 7/6 5.39/5.46 c ---[1623]---> Adder-cost: 73 maxlim: 23 bits: 6/5 5.39/5.47 c ---[1621]---> Adder-cost: 77 maxlim: 25 bits: 6/5 5.39/5.47 c ---[1619]---> Adder-cost: 55 maxlim: 25 bits: 6/5 5.39/5.47 c ---[1617]---> Sorter-cost: 546 Base: 2 5.39/5.47 c ---[1615]---> Sorter-cost: 496 Base: 2 5.39/5.47 c ---[1612]---> Adder-cost: 204 maxlim: 89 bits: 8/7 5.39/5.47 c ---[1610]---> Adder-cost: 116 maxlim: 51 bits: 7/6 5.39/5.47 c ---[1608]---> Adder-cost: 178 maxlim: 83 bits: 8/7 5.39/5.48 c ---[1605]---> Adder-cost: 160 maxlim: 66 bits: 8/7 5.39/5.48 c ---[1603]---> Adder-cost: 220 maxlim: 97 bits: 8/7 5.39/5.48 c ---[1601]---> Adder-cost: 86 maxlim: 97 bits: 8/7 5.39/5.48 c ---[1597]---> Adder-cost: 149 maxlim: 61 bits: 7/6 5.39/5.49 c ---[1593]---> Adder-cost: 87 maxlim: 31 bits: 6/5 5.39/5.49 c ---[1590]---> Adder-cost: 100 maxlim: 37 bits: 7/6 5.39/5.49 c ---[1588]---> Adder-cost: 90 maxlim: 34 bits: 7/6 5.39/5.49 c ---[1586]---> Adder-cost: 172 maxlim: 88 bits: 8/7 5.39/5.49 c ---[1583]---> Adder-cost: 300 maxlim: 156 bits: 9/8 5.39/5.50 c ---[1581]---> Adder-cost: 129 maxlim: 57 bits: 7/6 5.39/5.50 c ---[1579]---> Adder-cost: 109 maxlim: 58 bits: 7/6 5.39/5.50 c ---[1577]---> Adder-cost: 131 maxlim: 60 bits: 7/6 5.39/5.50 c ---[1574]---> Adder-cost: 94 maxlim: 37 bits: 7/6 5.50/5.50 c ---[1572]---> Adder-cost: 73 maxlim: 24 bits: 6/5 5.50/5.50 c ---[1570]---> Sorter-cost: 577 Base: 2 5.50/5.50 c ---[1568]---> Adder-cost: 102 maxlim: 39 bits: 7/6 5.50/5.51 c ---[1566]---> Adder-cost: 131 maxlim: 59 bits: 7/6 5.50/5.51 c ---[1564]---> Adder-cost: 76 maxlim: 33 bits: 7/6 5.50/5.51 c ---[1562]---> Adder-cost: 77 maxlim: 29 bits: 6/5 5.50/5.51 c ---[1560]---> Adder-cost: 51 maxlim: 26 bits: 6/5 5.50/5.51 c ---[1558]---> Adder-cost: 51 maxlim: 26 bits: 6/5 5.50/5.51 c ---[1556]---> Adder-cost: 124 maxlim: 52 bits: 7/6 5.50/5.51 c ---[1554]---> Adder-cost: 64 maxlim: 52 bits: 7/6 5.50/5.52 c ---[1550]---> Adder-cost: 133 maxlim: 63 bits: 7/6 5.50/5.52 c ---[1547]---> Adder-cost: 88 maxlim: 32 bits: 7/6 5.50/5.52 c ---[1544]---> Adder-cost: 244 maxlim: 109 bits: 8/7 5.50/5.52 c ---[1542]---> Adder-cost: 79 maxlim: 27 bits: 6/5 5.50/5.52 c ---[1540]---> Adder-cost: 55 maxlim: 27 bits: 6/5 5.50/5.53 c ---[1538]---> Adder-cost: 120 maxlim: 49 bits: 7/6 5.50/5.53 c ---[1536]---> Adder-cost: 84 maxlim: 49 bits: 7/6 5.50/5.53 c ---[1533]---> Adder-cost: 77 maxlim: 26 bits: 6/5 5.50/5.53 c ---[1531]---> Sorter-cost: 577 Base: 2 5.50/5.53 c ---[1529]---> Adder-cost: 116 maxlim: 45 bits: 7/6 5.50/5.53 c ---[1527]---> Adder-cost: 66 maxlim: 45 bits: 7/6 5.50/5.53 c ---[1523]---> Sorter-cost: 542 Base: 2 5.50/5.53 c ---[1521]---> Adder-cost: 104 maxlim: 38 bits: 7/6 5.50/5.54 c ---[1519]---> Adder-cost: 104 maxlim: 41 bits: 7/6 5.50/5.54 c ---[1517]---> Adder-cost: 261 maxlim: 120 bits: 8/7 5.50/5.54 c ---[1515]---> Adder-cost: 52 maxlim: 32 bits: 7/6 5.50/5.54 c ---[1513]---> Adder-cost: 237 maxlim: 117 bits: 8/7 5.50/5.55 c ---[1508]---> Adder-cost: 118 maxlim: 49 bits: 7/6 5.50/5.55 c ---[1506]---> Adder-cost: 158 maxlim: 65 bits: 8/7 5.50/5.55 c ---[1503]---> Adder-cost: 62 maxlim: 20 bits: 6/5 5.50/5.55 c ---[1501]---> Adder-cost: 75 maxlim: 23 bits: 6/5 5.50/5.55 c ---[1499]---> Adder-cost: 80 maxlim: 33 bits: 7/6 5.50/5.55 c ---[1496]---> Adder-cost: 100 maxlim: 41 bits: 7/6 5.50/5.56 c ---[1494]---> Adder-cost: 138 maxlim: 66 bits: 8/7 5.50/5.56 c ---[1492]---> Adder-cost: 110 maxlim: 43 bits: 7/6 5.50/5.56 c ---[1490]---> Adder-cost: 116 maxlim: 48 bits: 7/6 5.50/5.56 c ---[1488]---> Adder-cost: 147 maxlim: 60 bits: 7/6 5.50/5.56 c ---[1486]---> Adder-cost: 56 maxlim: 16 bits: 6/5 5.50/5.56 c ---[1484]---> Adder-cost: 60 maxlim: 33 bits: 7/6 5.50/5.56 c ---[1482]---> Adder-cost: 218 maxlim: 100 bits: 8/7 5.50/5.57 c ---[1480]---> Adder-cost: 158 maxlim: 99 bits: 8/7 5.50/5.57 c ---[1478]---> Adder-cost: 96 maxlim: 36 bits: 7/6 5.50/5.57 c ---[1476]---> Adder-cost: 194 maxlim: 87 bits: 8/7 5.50/5.57 c ---[1474]---> Adder-cost: 170 maxlim: 71 bits: 8/7 5.50/5.58 c ---[1472]---> Adder-cost: 334 maxlim: 156 bits: 9/8 5.50/5.58 c ---[1470]---> Adder-cost: 141 maxlim: 57 bits: 7/6 5.50/5.58 c ---[1468]---> Adder-cost: 104 maxlim: 51 bits: 7/6 5.50/5.59 c ---[1466]---> Adder-cost: 106 maxlim: 40 bits: 7/6 5.50/5.59 c ---[1464]---> Adder-cost: 82 maxlim: 32 bits: 7/6 5.50/5.59 c ---[1462]---> Adder-cost: 162 maxlim: 68 bits: 8/7 5.50/5.59 c ---[1460]---> Adder-cost: 182 maxlim: 77 bits: 8/7 5.50/5.59 c ---[1458]---> Adder-cost: 228 maxlim: 102 bits: 8/7 5.50/5.60 c ---[1456]---> Adder-cost: 118 maxlim: 46 bits: 7/6 5.50/5.60 c ---[1454]---> Adder-cost: 255 maxlim: 117 bits: 8/7 5.50/5.60 c ---[1452]---> Adder-cost: 210 maxlim: 94 bits: 8/7 5.60/5.61 c ---[1450]---> Adder-cost: 261 maxlim: 124 bits: 8/7 5.60/5.61 c ---[1448]---> Adder-cost: 210 maxlim: 104 bits: 8/7 5.60/5.61 c ---[1446]---> Adder-cost: 176 maxlim: 74 bits: 8/7 5.60/5.61 c ---[1444]---> Adder-cost: 198 maxlim: 85 bits: 8/7 5.60/5.62 c ---[1442]---> Adder-cost: 60 maxlim: 33 bits: 7/6 5.60/5.62 c ---[1440]---> Adder-cost: 267 maxlim: 126 bits: 8/7 5.60/5.62 c ---[1438]---> Adder-cost: 116 maxlim: 45 bits: 7/6 5.60/5.62 c ---[1435]---> Adder-cost: 60 maxlim: 33 bits: 7/6 5.60/5.63 c ---[1433]---> Adder-cost: 118 maxlim: 50 bits: 7/6 5.60/5.63 c ---[1431]---> Adder-cost: 115 maxlim: 56 bits: 7/6 5.60/5.63 c ---[1429]---> Adder-cost: 103 maxlim: 53 bits: 7/6 5.60/5.63 c ---[1427]---> Adder-cost: 232 maxlim: 108 bits: 8/7 5.60/5.63 c ---[1425]---> Adder-cost: 272 maxlim: 132 bits: 9/8 5.60/5.64 c ---[1423]---> Adder-cost: 282 maxlim: 138 bits: 9/8 5.60/5.64 c ---[1421]---> Adder-cost: 372 maxlim: 195 bits: 9/8 5.60/5.65 c ---[1419]---> Adder-cost: 252 maxlim: 149 bits: 9/8 5.60/5.65 c ---[1417]---> Adder-cost: 354 maxlim: 192 bits: 9/8 5.60/5.66 c ---[1415]---> Adder-cost: 292 maxlim: 190 bits: 9/8 5.60/5.66 c ---[1413]---> Adder-cost: 336 maxlim: 187 bits: 9/8 5.60/5.67 c ---[1411]---> Adder-cost: 300 maxlim: 174 bits: 9/8 5.60/5.68 c ---[1409]---> Adder-cost: 280 maxlim: 148 bits: 9/8 5.60/5.68 c ---[1407]---> Adder-cost: 298 maxlim: 167 bits: 9/8 5.60/5.69 c ---[1405]---> Adder-cost: 388 maxlim: 199 bits: 9/8 5.60/5.69 c ---[1403]---> Adder-cost: 392 maxlim: 213 bits: 9/8 5.69/5.70 c ---[1401]---> Adder-cost: 366 maxlim: 211 bits: 9/8 5.69/5.70 c ---[1399]---> Adder-cost: 334 maxlim: 191 bits: 9/8 5.69/5.71 c ---[1397]---> Adder-cost: 240 maxlim: 139 bits: 9/8 5.69/5.71 c ---[1395]---> Adder-cost: 214 maxlim: 116 bits: 8/7 5.69/5.72 c ---[1393]---> Adder-cost: 202 maxlim: 108 bits: 8/7 5.69/5.72 c ---[1391]---> Adder-cost: 229 maxlim: 118 bits: 8/7 5.69/5.72 c ---[1389]---> Adder-cost: 204 maxlim: 113 bits: 8/7 5.69/5.73 c ---[1387]---> Adder-cost: 188 maxlim: 92 bits: 8/7 5.69/5.73 c ---[1385]---> Adder-cost: 296 maxlim: 139 bits: 9/8 5.69/5.73 c ---[1383]---> Adder-cost: 196 maxlim: 140 bits: 9/8 5.69/5.74 c ---[1381]---> Adder-cost: 272 maxlim: 138 bits: 9/8 5.69/5.74 c ---[1379]---> Adder-cost: 188 maxlim: 143 bits: 9/8 5.69/5.75 c ---[1377]---> Adder-cost: 218 maxlim: 141 bits: 9/8 5.69/5.75 c ---[1375]---> Adder-cost: 222 maxlim: 145 bits: 9/8 5.69/5.76 c ---[1373]---> Adder-cost: 272 maxlim: 153 bits: 9/8 5.69/5.76 c ---[1371]---> Adder-cost: 208 maxlim: 151 bits: 9/8 5.69/5.76 c ---[1369]---> Adder-cost: 122 maxlim: 52 bits: 7/6 5.69/5.77 c ---[1367]---> Adder-cost: 226 maxlim: 137 bits: 9/8 5.69/5.77 c ---[1365]---> Adder-cost: 230 maxlim: 138 bits: 9/8 5.69/5.78 c ---[1363]---> Adder-cost: 200 maxlim: 133 bits: 9/8 5.69/5.78 c ---[1361]---> Adder-cost: 242 maxlim: 132 bits: 9/8 5.69/5.78 c ---[1359]---> Adder-cost: 236 maxlim: 136 bits: 9/8 5.69/5.79 c ---[1357]---> Adder-cost: 182 maxlim: 133 bits: 9/8 5.69/5.79 c ---[1355]---> Adder-cost: 198 maxlim: 109 bits: 8/7 5.79/5.80 c ---[1353]---> Adder-cost: 180 maxlim: 79 bits: 8/7 5.79/5.80 c ---[1351]---> Adder-cost: 202 maxlim: 107 bits: 8/7 5.79/5.80 c ---[1350]---> Adder-cost: 2308 maxlim: 1140 bits: 12/11 5.79/5.86 c ---[1349]---> Adder-cost: 11140 maxlim: 5665 bits: 13/13 12.89/12.93 c ---[1347]---> Adder-cost: 279 maxlim: 133 bits: 9/8 12.89/12.93 c ---[1346]---> Adder-cost: 291 maxlim: 143 bits: 9/8 12.89/12.94 c ---[1345]---> Adder-cost: 323 maxlim: 148 bits: 9/8 12.89/12.94 c ---[1343]---> Adder-cost: 347 maxlim: 156 bits: 9/8 12.89/12.95 c ---[1342]---> Adder-cost: 376 maxlim: 170 bits: 9/8 12.89/12.96 c ---[1340]---> Adder-cost: 528 maxlim: 244 bits: 9/8 12.89/12.97 c ---[1339]---> Adder-cost: 317 maxlim: 148 bits: 9/8 12.89/12.98 c ---[1337]---> Adder-cost: 512 maxlim: 240 bits: 9/8 12.89/12.99 c ---[1331]---> Adder-cost: 353 maxlim: 161 bits: 9/8 12.89/12.99 c ---[1329]---> Adder-cost: 525 maxlim: 252 bits: 9/8 12.99/13.00 c ---[1328]---> Adder-cost: 625 maxlim: 299 bits: 10/9 12.99/13.01 c ---[1324]---> Adder-cost: 406 maxlim: 193 bits: 9/8 12.99/13.02 c ---[1323]---> Adder-cost: 2980 maxlim: 1565 bits: 12/11 13.19/13.25 c ---[1319]---> Adder-cost: 733 maxlim: 351 bits: 10/9 13.19/13.26 c ---[1318]---> Adder-cost: 3462 maxlim: 1534 bits: 11/11 13.89/13.96 c ---[1317]---> Adder-cost: 73 maxlim: 49 bits: 7/6 13.89/13.96 c ---[1316]---> Adder-cost: 177 maxlim: 56 bits: 7/6 13.89/13.96 c ---[1315]---> Adder-cost: 94 maxlim: 28 bits: 6/5 13.89/13.96 c ---[1314]---> Adder-cost: 248 maxlim: 71 bits: 8/7 13.89/13.97 c ---[1313]---> Adder-cost: 256 maxlim: 106 bits: 8/7 13.89/13.97 c ---[1312]---> Adder-cost: 141 maxlim: 36 bits: 7/6 13.89/13.97 c ---[1311]---> Adder-cost: 145 maxlim: 58 bits: 7/6 13.89/13.97 c ---[1310]---> Adder-cost: 79 maxlim: 52 bits: 7/6 13.89/13.98 c ---[1309]---> Adder-cost: 123 maxlim: 34 bits: 7/6 13.89/13.98 c ---[1308]---> Adder-cost: 432 maxlim: 203 bits: 9/8 13.89/13.99 c ---[1307]---> Adder-cost: 207 maxlim: 58 bits: 7/6 13.89/13.99 c ---[1306]---> Adder-cost: 67 maxlim: 16 bits: 6/5 13.89/13.99 c ---[1305]---> Adder-cost: 77 maxlim: 17 bits: 6/5 13.89/13.99 c ---[1304]---> Adder-cost: 123 maxlim: 45 bits: 7/6 13.99/14.00 c ---[1303]---> Adder-cost: 1148 maxlim: 581 bits: 10/10 14.09/14.10 c ---[1302]---> Adder-cost: 12630 maxlim: 5522 bits: 14/13 14.29/14.34 c ---[1301]---> Adder-cost: 3962 maxlim: 1144 bits: 12/11 14.39/14.43 c ---[1300]---> Adder-cost: 21784 maxlim: 11677 bits: 14/14 50.88/50.91 c ---[1298]---> Adder-cost: 176 maxlim: 99 bits: 8/7 50.88/50.91 c ---[1293]---> Adder-cost: 55132 maxlim: 89595 bits: 18/17 52.89/52.91 c ---[1283]---> Adder-cost: 168 maxlim: 74 bits: 8/7 52.89/52.91 c ---[1264]---> Adder-cost: 29194 maxlim: 48394 bits: 17/16 54.18/54.22 c ---[1245]---> Adder-cost: 304 maxlim: 147 bits: 9/8 54.18/54.22 c ---[1243]---> Adder-cost: 300 maxlim: 156 bits: 9/8 54.18/54.23 c ---[1241]---> Adder-cost: 342 maxlim: 185 bits: 9/8 54.18/54.23 c ---[1239]---> Adder-cost: 130 maxlim: 185 bits: 9/8 54.18/54.24 c ---[1237]---> Adder-cost: 282 maxlim: 173 bits: 9/8 54.18/54.24 c ---[1235]---> Adder-cost: 296 maxlim: 166 bits: 9/8 54.18/54.25 c ---[1233]---> Adder-cost: 200 maxlim: 107 bits: 8/7 54.18/54.25 c ---[1231]---> Adder-cost: 92 maxlim: 107 bits: 8/7 54.18/54.25 c ---[1229]---> Adder-cost: 310 maxlim: 152 bits: 9/8 54.18/54.26 c ---[1227]---> Adder-cost: 326 maxlim: 165 bits: 9/8 54.18/54.26 c ---[1225]---> Adder-cost: 300 maxlim: 156 bits: 9/8 54.18/54.27 c ---[1223]---> Adder-cost: 120 maxlim: 156 bits: 9/8 54.18/54.27 c ---[1221]---> Adder-cost: 304 maxlim: 156 bits: 9/8 54.18/54.28 c ---[1219]---> Adder-cost: 272 maxlim: 158 bits: 9/8 54.18/54.28 c ---[1217]---> Adder-cost: 254 maxlim: 148 bits: 9/8 54.18/54.29 c ---[1215]---> Adder-cost: 156 maxlim: 73 bits: 8/7 54.18/54.29 c ---[1213]---> Adder-cost: 274 maxlim: 166 bits: 9/8 54.18/54.29 c ---[1211]---> Adder-cost: 288 maxlim: 161 bits: 9/8 54.28/54.30 c ---[1209]---> Adder-cost: 264 maxlim: 160 bits: 9/8 54.28/54.30 c ---[1207]---> Adder-cost: 268 maxlim: 165 bits: 9/8 54.28/54.31 c ---[1205]---> Adder-cost: 244 maxlim: 160 bits: 9/8 54.28/54.31 c ---[1203]---> Adder-cost: 238 maxlim: 157 bits: 9/8 54.28/54.32 c ---[1201]---> Adder-cost: 210 maxlim: 167 bits: 9/8 54.28/54.32 c ---[1199]---> Adder-cost: 120 maxlim: 167 bits: 9/8 54.28/54.33 c ---[1197]---> Adder-cost: 120 maxlim: 167 bits: 9/8 54.28/54.33 c ---[1195]---> Adder-cost: 160 maxlim: 166 bits: 9/8 54.28/54.34 c ---[1193]---> Adder-cost: 190 maxlim: 159 bits: 9/8 54.28/54.34 c ---[1191]---> Adder-cost: 118 maxlim: 159 bits: 9/8 54.28/54.35 c ---[1189]---> Adder-cost: 154 maxlim: 155 bits: 9/8 54.28/54.35 c ---[1187]---> Adder-cost: 114 maxlim: 155 bits: 9/8 54.28/54.36 c ---[1185]---> Adder-cost: 256 maxlim: 170 bits: 9/8 54.28/54.36 c ---[1183]---> Adder-cost: 200 maxlim: 101 bits: 8/7 54.28/54.36 c ---[1181]---> Adder-cost: 206 maxlim: 103 bits: 8/7 54.28/54.37 c ---[1179]---> Adder-cost: 112 maxlim: 48 bits: 7/6 54.28/54.37 c ---[1177]---> Adder-cost: 70 maxlim: 33 bits: 7/6 54.28/54.37 c ---[1175]---> Adder-cost: 106 maxlim: 45 bits: 7/6 54.28/54.37 c ---[1173]---> Adder-cost: 76 maxlim: 46 bits: 7/6 54.28/54.37 c ---[1171]---> Adder-cost: 94 maxlim: 38 bits: 7/6 54.28/54.37 c ---[1169]---> Adder-cost: 58 maxlim: 38 bits: 7/6 54.28/54.38 c ---[1165]---> Adder-cost: 162 maxlim: 67 bits: 8/7 54.28/54.38 c ---[1163]---> Adder-cost: 162 maxlim: 69 bits: 8/7 54.28/54.38 c ---[1161]---> Adder-cost: 82 maxlim: 69 bits: 8/7 54.28/54.38 c ---[1159]---> Adder-cost: 318 maxlim: 162 bits: 9/8 54.28/54.39 c ---[1157]---> Adder-cost: 120 maxlim: 162 bits: 9/8 54.28/54.39 c ---[1155]---> Adder-cost: 282 maxlim: 148 bits: 9/8 54.38/54.40 c ---[1153]---> Adder-cost: 116 maxlim: 148 bits: 9/8 54.38/54.40 c ---[1151]---> Adder-cost: 80 maxlim: 64 bits: 8/7 54.38/54.40 c ---[1149]---> Adder-cost: 133 maxlim: 57 bits: 7/6 54.38/54.41 c ---[1147]---> Adder-cost: 162 maxlim: 80 bits: 8/7 54.38/54.41 c ---[1145]---> Adder-cost: 131 maxlim: 59 bits: 7/6 54.38/54.41 c ---[1143]---> Adder-cost: 208 maxlim: 106 bits: 8/7 54.38/54.41 c ---[1141]---> Adder-cost: 94 maxlim: 106 bits: 8/7 54.38/54.42 c ---[1139]---> Adder-cost: 202 maxlim: 109 bits: 8/7 54.38/54.42 c ---[1137]---> Adder-cost: 140 maxlim: 97 bits: 8/7 54.38/54.42 c ---[1135]---> Adder-cost: 86 maxlim: 97 bits: 8/7 54.38/54.43 c ---[1133]---> Adder-cost: 144 maxlim: 99 bits: 8/7 54.38/54.43 c ---[1131]---> Adder-cost: 182 maxlim: 110 bits: 8/7 54.38/54.43 c ---[1129]---> Adder-cost: 166 maxlim: 77 bits: 8/7 54.38/54.43 c ---[1127]---> Adder-cost: 166 maxlim: 78 bits: 8/7 54.38/54.44 c ---[1125]---> Adder-cost: 148 maxlim: 73 bits: 8/7 54.38/54.44 c ---[1123]---> Adder-cost: 144 maxlim: 72 bits: 8/7 54.38/54.44 c ---[1121]---> Adder-cost: 126 maxlim: 64 bits: 8/7 54.38/54.44 c ---[1119]---> Adder-cost: 136 maxlim: 65 bits: 8/7 54.38/54.45 c ---[1117]---> Adder-cost: 144 maxlim: 65 bits: 8/7 54.38/54.45 c ---[1115]---> Adder-cost: 143 maxlim: 58 bits: 7/6 54.38/54.45 c ---[1113]---> Adder-cost: 81 maxlim: 31 bits: 6/5 54.38/54.45 c ---[1111]---> Adder-cost: 69 maxlim: 23 bits: 6/5 54.38/54.45 c ---[1109]---> Adder-cost: 166 maxlim: 69 bits: 8/7 54.38/54.45 c ---[1107]---> Adder-cost: 51 maxlim: 23 bits: 6/5 54.38/54.46 c ---[1105]---> Adder-cost: 67 maxlim: 22 bits: 6/5 54.38/54.46 c ---[1103]---> Adder-cost: 96 maxlim: 36 bits: 7/6 54.38/54.46 c ---[1101]---> Adder-cost: 77 maxlim: 29 bits: 6/5 54.38/54.46 c ---[1099]---> Adder-cost: 73 maxlim: 25 bits: 6/5 54.38/54.46 c ---[1097]---> Adder-cost: 55 maxlim: 24 bits: 6/5 54.38/54.46 c ---[1095]---> Adder-cost: 67 maxlim: 21 bits: 6/5 54.38/54.46 c ---[1093]---> Adder-cost: 83 maxlim: 31 bits: 6/5 54.38/54.46 c ---[1091]---> Adder-cost: 55 maxlim: 24 bits: 6/5 54.38/54.46 c ---[1089]---> Adder-cost: 174 maxlim: 73 bits: 8/7 54.38/54.47 c ---[1087]---> Adder-cost: 158 maxlim: 74 bits: 8/7 54.38/54.47 c ---[1085]---> Adder-cost: 130 maxlim: 75 bits: 8/7 54.38/54.47 c ---[1083]---> Adder-cost: 137 maxlim: 53 bits: 7/6 54.38/54.47 c ---[1081]---> Adder-cost: 111 maxlim: 62 bits: 7/6 54.38/54.47 c ---[1079]---> Adder-cost: 73 maxlim: 62 bits: 7/6 54.38/54.48 c ---[1077]---> Adder-cost: 149 maxlim: 63 bits: 7/6 54.38/54.48 c ---[1075]---> Adder-cost: 136 maxlim: 64 bits: 8/7 54.38/54.48 c ---[1073]---> Adder-cost: 80 maxlim: 64 bits: 8/7 54.38/54.48 c ---[1071]---> Adder-cost: 120 maxlim: 65 bits: 8/7 54.38/54.48 c ---[1069]---> Adder-cost: 146 maxlim: 74 bits: 8/7 54.38/54.49 c ---[1067]---> Adder-cost: 117 maxlim: 61 bits: 7/6 54.38/54.49 c ---[1064]---> Adder-cost: 182 maxlim: 88 bits: 8/7 54.38/54.49 c ---[1062]---> Adder-cost: 180 maxlim: 89 bits: 8/7 54.38/54.49 c ---[1060]---> Adder-cost: 156 maxlim: 88 bits: 8/7 54.48/54.50 c ---[1058]---> Adder-cost: 288 maxlim: 132 bits: 9/8 54.48/54.50 c ---[1056]---> Adder-cost: 246 maxlim: 128 bits: 9/8 54.48/54.51 c ---[1054]---> Adder-cost: 200 maxlim: 99 bits: 8/7 54.48/54.51 c ---[1052]---> Adder-cost: 200 maxlim: 96 bits: 8/7 54.48/54.51 c ---[1050]---> Adder-cost: 246 maxlim: 115 bits: 8/7 54.48/54.51 c ---[1048]---> Adder-cost: 300 maxlim: 142 bits: 9/8 54.48/54.52 c ---[1046]---> Adder-cost: 108 maxlim: 76 bits: 8/7 54.48/54.52 c ---[1044]---> Adder-cost: 247 maxlim: 122 bits: 8/7 54.48/54.53 c ---[1042]---> Adder-cost: 257 maxlim: 121 bits: 8/7 54.48/54.53 c ---[1040]---> Adder-cost: 206 maxlim: 114 bits: 8/7 54.48/54.53 c ---[1038]---> Adder-cost: 104 maxlim: 114 bits: 8/7 54.48/54.54 c ---[1036]---> Adder-cost: 96 maxlim: 39 bits: 7/6 54.48/54.54 c ---[1034]---> Adder-cost: 86 maxlim: 35 bits: 7/6 54.48/54.54 c ---[1032]---> Adder-cost: 56 maxlim: 35 bits: 7/6 54.48/54.54 c ---[1030]---> Adder-cost: 94 maxlim: 39 bits: 7/6 54.48/54.54 c ---[1028]---> Adder-cost: 86 maxlim: 42 bits: 7/6 54.48/54.54 c ---[1026]---> Adder-cost: 58 maxlim: 42 bits: 7/6 54.48/54.54 c ---[1024]---> Adder-cost: 143 maxlim: 62 bits: 7/6 54.48/54.55 c ---[1022]---> Adder-cost: 82 maxlim: 41 bits: 7/6 54.48/54.55 c ---[1020]---> Adder-cost: 104 maxlim: 46 bits: 7/6 54.48/54.55 c ---[1018]---> Adder-cost: 102 maxlim: 37 bits: 7/6 54.48/54.55 c ---[1016]---> Adder-cost: 102 maxlim: 41 bits: 7/6 54.48/54.55 c ---[1014]---> Adder-cost: 119 maxlim: 59 bits: 7/6 54.48/54.55 c ---[1012]---> Adder-cost: 140 maxlim: 64 bits: 8/7 54.48/54.56 c ---[1010]---> Adder-cost: 148 maxlim: 66 bits: 8/7 54.48/54.56 c ---[1008]---> Adder-cost: 138 maxlim: 65 bits: 8/7 54.48/54.56 c ---[1006]---> Adder-cost: 78 maxlim: 65 bits: 8/7 54.48/54.56 c ---[1004]---> Adder-cost: 162 maxlim: 72 bits: 8/7 54.48/54.57 c ---[1002]---> Adder-cost: 204 maxlim: 99 bits: 8/7 54.48/54.57 c ---[1000]---> Adder-cost: 158 maxlim: 83 bits: 8/7 54.48/54.57 c ---[ 998]---> Adder-cost: 114 maxlim: 45 bits: 7/6 54.48/54.57 c ---[ 996]---> Adder-cost: 174 maxlim: 77 bits: 8/7 54.48/54.57 c ---[ 994]---> Adder-cost: 140 maxlim: 67 bits: 8/7 54.48/54.58 c ---[ 992]---> Adder-cost: 198 maxlim: 89 bits: 8/7 54.48/54.58 c ---[ 990]---> Adder-cost: 192 maxlim: 97 bits: 8/7 54.48/54.58 c ---[ 988]---> Adder-cost: 192 maxlim: 98 bits: 8/7 54.48/54.59 c ---[ 986]---> Adder-cost: 90 maxlim: 44 bits: 7/6 54.48/54.59 c ---[ 984]---> Adder-cost: 182 maxlim: 103 bits: 8/7 54.48/54.59 c ---[ 982]---> Adder-cost: 114 maxlim: 48 bits: 7/6 54.48/54.59 c ---[ 980]---> Adder-cost: 68 maxlim: 48 bits: 7/6 54.48/54.59 c ---[ 978]---> Adder-cost: 125 maxlim: 54 bits: 7/6 54.48/54.60 c ---[ 976]---> Adder-cost: 75 maxlim: 54 bits: 7/6 54.58/54.60 c ---[ 974]---> Adder-cost: 114 maxlim: 52 bits: 7/6 54.58/54.60 c ---[ 972]---> Adder-cost: 64 maxlim: 52 bits: 7/6 54.58/54.60 c ---[ 970]---> Adder-cost: 135 maxlim: 62 bits: 7/6 54.58/54.60 c ---[ 968]---> Adder-cost: 73 maxlim: 62 bits: 7/6 54.58/54.60 c ---[ 966]---> Adder-cost: 69 maxlim: 22 bits: 6/5 54.58/54.61 c ---[ 964]---> Adder-cost: 129 maxlim: 60 bits: 7/6 54.58/54.61 c ---[ 962]---> Adder-cost: 158 maxlim: 69 bits: 8/7 54.58/54.61 c ---[ 960]---> Adder-cost: 144 maxlim: 73 bits: 8/7 54.58/54.61 c ---[ 958]---> Adder-cost: 152 maxlim: 76 bits: 8/7 54.58/54.61 c ---[ 956]---> Adder-cost: 218 maxlim: 108 bits: 8/7 54.58/54.62 c ---[ 954]---> Adder-cost: 96 maxlim: 108 bits: 8/7 54.58/54.62 c ---[ 952]---> Adder-cost: 64 maxlim: 52 bits: 7/6 54.58/54.62 c ---[ 950]---> Adder-cost: 172 maxlim: 89 bits: 8/7 54.58/54.63 c ---[ 948]---> Adder-cost: 190 maxlim: 95 bits: 8/7 54.58/54.63 c ---[ 946]---> Adder-cost: 90 maxlim: 95 bits: 8/7 54.58/54.63 c ---[ 944]---> Adder-cost: 192 maxlim: 109 bits: 8/7 54.58/54.63 c ---[ 942]---> Adder-cost: 100 maxlim: 109 bits: 8/7 54.58/54.64 c ---[ 940]---> Adder-cost: 288 maxlim: 140 bits: 9/8 54.58/54.64 c ---[ 938]---> Adder-cost: 106 maxlim: 140 bits: 9/8 54.58/54.65 c ---[ 936]---> Adder-cost: 243 maxlim: 125 bits: 8/7 54.58/54.65 c ---[ 934]---> Adder-cost: 103 maxlim: 125 bits: 8/7 54.58/54.65 c ---[ 932]---> Adder-cost: 50 maxlim: 20 bits: 6/5 54.58/54.65 c ---[ 930]---> Adder-cost: 240 maxlim: 116 bits: 8/7 54.58/54.66 c ---[ 928]---> Adder-cost: 92 maxlim: 116 bits: 8/7 54.58/54.66 c ---[ 926]---> Adder-cost: 212 maxlim: 105 bits: 8/7 54.58/54.66 c ---[ 924]---> Adder-cost: 92 maxlim: 105 bits: 8/7 54.58/54.67 c ---[ 922]---> Adder-cost: 286 maxlim: 148 bits: 9/8 54.58/54.67 c ---[ 920]---> Adder-cost: 116 maxlim: 148 bits: 9/8 54.58/54.68 c ---[ 918]---> Adder-cost: 243 maxlim: 117 bits: 8/7 54.58/54.68 c ---[ 916]---> Adder-cost: 107 maxlim: 117 bits: 8/7 54.58/54.68 c ---[ 914]---> Adder-cost: 206 maxlim: 115 bits: 8/7 54.58/54.69 c ---[ 912]---> Adder-cost: 96 maxlim: 115 bits: 8/7 54.58/54.69 c ---[ 910]---> Adder-cost: 54 maxlim: 17 bits: 6/5 54.58/54.69 c ---[ 908]---> Adder-cost: 224 maxlim: 116 bits: 8/7 54.58/54.70 c ---[ 906]---> Adder-cost: 92 maxlim: 116 bits: 8/7 54.68/54.70 c ---[ 904]---> Adder-cost: 212 maxlim: 110 bits: 8/7 54.68/54.70 c ---[ 902]---> Adder-cost: 96 maxlim: 110 bits: 8/7 54.68/54.71 c ---[ 900]---> Adder-cost: 186 maxlim: 112 bits: 8/7 54.68/54.71 c ---[ 898]---> Adder-cost: 98 maxlim: 112 bits: 8/7 54.68/54.71 c ---[ 896]---> Adder-cost: 196 maxlim: 94 bits: 8/7 54.68/54.71 c ---[ 894]---> Adder-cost: 98 maxlim: 94 bits: 8/7 54.68/54.72 c ---[ 892]---> Adder-cost: 174 maxlim: 83 bits: 8/7 54.68/54.72 c ---[ 890]---> Adder-cost: 80 maxlim: 83 bits: 8/7 54.68/54.72 c ---[ 888]---> Adder-cost: 54 maxlim: 18 bits: 6/5 54.68/54.72 c ---[ 886]---> Adder-cost: 148 maxlim: 67 bits: 8/7 54.68/54.73 c ---[ 884]---> Adder-cost: 162 maxlim: 71 bits: 8/7 54.68/54.73 c ---[ 882]---> Adder-cost: 78 maxlim: 71 bits: 8/7 54.68/54.73 c ---[ 880]---> Adder-cost: 139 maxlim: 60 bits: 7/6 54.68/54.73 c ---[ 878]---> Adder-cost: 75 maxlim: 60 bits: 7/6 54.68/54.73 c ---[ 876]---> Adder-cost: 166 maxlim: 79 bits: 8/7 54.68/54.74 c ---[ 874]---> Adder-cost: 86 maxlim: 79 bits: 8/7 54.68/54.74 c ---[ 872]---> Adder-cost: 149 maxlim: 61 bits: 7/6 54.68/54.74 c ---[ 870]---> Adder-cost: 77 maxlim: 61 bits: 7/6 54.68/54.74 c ---[ 868]---> Adder-cost: 52 maxlim: 18 bits: 6/5 54.68/54.74 c ---[ 866]---> Adder-cost: 135 maxlim: 59 bits: 7/6 54.68/54.75 c ---[ 864]---> Adder-cost: 73 maxlim: 59 bits: 7/6 54.68/54.75 c ---[ 862]---> Adder-cost: 164 maxlim: 86 bits: 8/7 54.68/54.75 c ---[ 860]---> Adder-cost: 84 maxlim: 86 bits: 8/7 54.68/54.75 c ---[ 858]---> Adder-cost: 146 maxlim: 89 bits: 8/7 54.68/54.75 c ---[ 856]---> Adder-cost: 92 maxlim: 89 bits: 8/7 54.68/54.76 c ---[ 854]---> Adder-cost: 235 maxlim: 119 bits: 8/7 54.68/54.76 c ---[ 852]---> Adder-cost: 105 maxlim: 119 bits: 8/7 54.68/54.76 c ---[ 850]---> Adder-cost: 105 maxlim: 119 bits: 8/7 54.68/54.77 c ---[ 848]---> Adder-cost: 105 maxlim: 119 bits: 8/7 54.68/54.77 c ---[ 846]---> Adder-cost: 176 maxlim: 116 bits: 8/7 54.68/54.77 c ---[ 842]---> Adder-cost: 158 maxlim: 70 bits: 8/7 54.68/54.78 c ---[ 840]---> Adder-cost: 82 maxlim: 70 bits: 8/7 54.68/54.78 c ---[ 838]---> Adder-cost: 148 maxlim: 65 bits: 8/7 54.68/54.78 c ---[ 836]---> Adder-cost: 78 maxlim: 65 bits: 8/7 54.68/54.78 c ---[ 834]---> Adder-cost: 128 maxlim: 65 bits: 8/7 54.68/54.79 c ---[ 832]---> Adder-cost: 78 maxlim: 65 bits: 8/7 54.68/54.79 c ---[ 830]---> Adder-cost: 178 maxlim: 75 bits: 8/7 54.68/54.79 c ---[ 828]---> Adder-cost: 71 maxlim: 26 bits: 6/5 54.68/54.79 c ---[ 826]---> Adder-cost: 120 maxlim: 73 bits: 8/7 54.68/54.79 c ---[ 824]---> Adder-cost: 88 maxlim: 32 bits: 7/6 54.68/54.80 c ---[ 822]---> Adder-cost: 90 maxlim: 38 bits: 7/6 54.78/54.80 c ---[ 820]---> Adder-cost: 80 maxlim: 37 bits: 7/6 54.78/54.80 c ---[ 818]---> Adder-cost: 77 maxlim: 30 bits: 6/5 54.78/54.80 c ---[ 816]---> Adder-cost: 172 maxlim: 76 bits: 8/7 54.78/54.80 c ---[ 814]---> Adder-cost: 84 maxlim: 76 bits: 8/7 54.78/54.80 c ---[ 812]---> Adder-cost: 148 maxlim: 67 bits: 8/7 54.78/54.81 c ---[ 810]---> Adder-cost: 80 maxlim: 67 bits: 8/7 54.78/54.81 c ---[ 808]---> Adder-cost: 118 maxlim: 47 bits: 7/6 54.78/54.81 c ---[ 806]---> Adder-cost: 62 maxlim: 47 bits: 7/6 54.78/54.81 c ---[ 804]---> Adder-cost: 137 maxlim: 55 bits: 7/6 54.78/54.81 c ---[ 802]---> Adder-cost: 77 maxlim: 55 bits: 7/6 54.78/54.82 c ---[ 800]---> Sorter-cost: 577 Base: 2 54.78/54.82 c ---[ 798]---> Sorter-cost: 548 Base: 7 54.78/54.82 c ---[ 796]---> Adder-cost: 86 maxlim: 32 bits: 7/6 54.78/54.82 c ---[ 794]---> Adder-cost: 77 maxlim: 25 bits: 6/5 54.78/54.82 c ---[ 792]---> Adder-cost: 86 maxlim: 35 bits: 7/6 54.78/54.82 c ---[ 790]---> Adder-cost: 139 maxlim: 55 bits: 7/6 54.78/54.82 c ---[ 788]---> Adder-cost: 192 maxlim: 87 bits: 8/7 54.78/54.82 c ---[ 786]---> Adder-cost: 212 maxlim: 99 bits: 8/7 54.78/54.83 c ---[ 784]---> Adder-cost: 147 maxlim: 61 bits: 7/6 54.78/54.83 c ---[ 782]---> Adder-cost: 124 maxlim: 51 bits: 7/6 54.78/54.83 c ---[ 780]---> Adder-cost: 156 maxlim: 66 bits: 8/7 54.78/54.83 c ---[ 778]---> Adder-cost: 164 maxlim: 71 bits: 8/7 54.78/54.84 c ---[ 776]---> Adder-cost: 130 maxlim: 74 bits: 8/7 54.78/54.84 c ---[ 774]---> Adder-cost: 230 maxlim: 108 bits: 8/7 54.78/54.84 c ---[ 772]---> Adder-cost: 96 maxlim: 108 bits: 8/7 54.78/54.84 c ---[ 770]---> Adder-cost: 241 maxlim: 123 bits: 8/7 54.78/54.85 c ---[ 768]---> Adder-cost: 101 maxlim: 123 bits: 8/7 54.78/54.85 c ---[ 766]---> Adder-cost: 68 maxlim: 36 bits: 7/6 54.78/54.85 c ---[ 764]---> Adder-cost: 156 maxlim: 69 bits: 8/7 54.78/54.86 c ---[ 762]---> Adder-cost: 82 maxlim: 69 bits: 8/7 54.78/54.86 c ---[ 760]---> Adder-cost: 198 maxlim: 86 bits: 8/7 54.78/54.86 c ---[ 758]---> Adder-cost: 84 maxlim: 86 bits: 8/7 54.78/54.86 c ---[ 756]---> Adder-cost: 204 maxlim: 98 bits: 8/7 54.78/54.87 c ---[ 754]---> Adder-cost: 82 maxlim: 98 bits: 8/7 54.78/54.87 c ---[ 752]---> Adder-cost: 172 maxlim: 90 bits: 8/7 54.78/54.87 c ---[ 750]---> Adder-cost: 92 maxlim: 90 bits: 8/7 54.78/54.87 c ---[ 748]---> Adder-cost: 132 maxlim: 94 bits: 8/7 54.78/54.88 c ---[ 746]---> Adder-cost: 98 maxlim: 94 bits: 8/7 54.78/54.88 c ---[ 744]---> Adder-cost: 56 maxlim: 36 bits: 7/6 54.78/54.88 c ---[ 741]---> Adder-cost: 121 maxlim: 55 bits: 7/6 54.78/54.88 c ---[ 739]---> Adder-cost: 127 maxlim: 61 bits: 7/6 54.78/54.88 c ---[ 737]---> Adder-cost: 131 maxlim: 58 bits: 7/6 54.78/54.89 c ---[ 735]---> Adder-cost: 73 maxlim: 22 bits: 6/5 54.78/54.89 c ---[ 733]---> Adder-cost: 84 maxlim: 32 bits: 7/6 54.78/54.89 c ---[ 730]---> Adder-cost: 63 maxlim: 22 bits: 6/5 54.78/54.89 c ---[ 728]---> Adder-cost: 104 maxlim: 39 bits: 7/6 54.78/54.89 c ---[ 726]---> Adder-cost: 100 maxlim: 38 bits: 7/6 54.78/54.89 c ---[ 724]---> Adder-cost: 58 maxlim: 38 bits: 7/6 54.78/54.89 c ---[ 722]---> Adder-cost: 186 maxlim: 84 bits: 8/7 54.88/54.90 c ---[ 720]---> Adder-cost: 88 maxlim: 84 bits: 8/7 54.88/54.90 c ---[ 718]---> Adder-cost: 190 maxlim: 86 bits: 8/7 54.88/54.90 c ---[ 715]---> Adder-cost: 84 maxlim: 86 bits: 8/7 54.88/54.90 c ---[ 713]---> Adder-cost: 112 maxlim: 46 bits: 7/6 54.88/54.91 c ---[ 711]---> Adder-cost: 106 maxlim: 51 bits: 7/6 54.88/54.91 c ---[ 709]---> Adder-cost: 196 maxlim: 91 bits: 8/7 54.88/54.91 c ---[ 706]---> Adder-cost: 116 maxlim: 48 bits: 7/6 54.88/54.91 c ---[ 704]---> Adder-cost: 89 maxlim: 54 bits: 7/6 54.88/54.91 c ---[ 702]---> Adder-cost: 92 maxlim: 34 bits: 7/6 54.88/54.91 c ---[ 700]---> Adder-cost: 103 maxlim: 53 bits: 7/6 54.88/54.92 c ---[ 698]---> Adder-cost: 58 maxlim: 34 bits: 7/6 54.88/54.92 c ---[ 696]---> Adder-cost: 106 maxlim: 40 bits: 7/6 54.88/54.92 c ---[ 694]---> Adder-cost: 80 maxlim: 41 bits: 7/6 54.88/54.92 c ---[ 692]---> Adder-cost: 88 maxlim: 35 bits: 7/6 54.88/54.92 c ---[ 690]---> Adder-cost: 56 maxlim: 35 bits: 7/6 54.88/54.92 c ---[ 688]---> Adder-cost: 218 maxlim: 100 bits: 8/7 54.88/54.93 c ---[ 686]---> Adder-cost: 96 maxlim: 100 bits: 8/7 54.88/54.93 c ---[ 684]---> Adder-cost: 200 maxlim: 100 bits: 8/7 54.88/54.93 c ---[ 682]---> Adder-cost: 96 maxlim: 100 bits: 8/7 54.88/54.94 c ---[ 680]---> Adder-cost: 168 maxlim: 87 bits: 8/7 54.88/54.94 c ---[ 678]---> Adder-cost: 50 maxlim: 18 bits: 6/5 54.88/54.94 c ---[ 676]---> Adder-cost: 142 maxlim: 82 bits: 8/7 54.88/54.94 c ---[ 674]---> Adder-cost: 269 maxlim: 122 bits: 8/7 54.88/54.94 c ---[ 672]---> Adder-cost: 165 maxlim: 120 bits: 8/7 54.88/54.95 c ---[ 670]---> Adder-cost: 90 maxlim: 33 bits: 7/6 54.88/54.95 c ---[ 668]---> Adder-cost: 84 maxlim: 34 bits: 7/6 54.88/54.95 c ---[ 666]---> Adder-cost: 108 maxlim: 51 bits: 7/6 54.88/54.95 c ---[ 664]---> Adder-cost: 64 maxlim: 51 bits: 7/6 54.88/54.95 c ---[ 662]---> Adder-cost: 100 maxlim: 37 bits: 7/6 54.88/54.96 c ---[ 660]---> Adder-cost: 64 maxlim: 37 bits: 7/6 54.88/54.96 c ---[ 658]---> Adder-cost: 110 maxlim: 48 bits: 7/6 54.88/54.96 c ---[ 656]---> Sorter-cost: 577 Base: 2 54.88/54.96 c ---[ 654]---> Adder-cost: 94 maxlim: 51 bits: 7/6 54.88/54.96 c ---[ 652]---> Adder-cost: 90 maxlim: 32 bits: 7/6 54.88/54.96 c ---[ 650]---> Adder-cost: 52 maxlim: 32 bits: 7/6 54.88/54.96 c ---[ 648]---> Adder-cost: 90 maxlim: 33 bits: 7/6 54.88/54.96 c ---[ 646]---> Adder-cost: 85 maxlim: 31 bits: 6/5 54.88/54.97 c ---[ 643]---> Adder-cost: 170 maxlim: 79 bits: 8/7 54.88/54.97 c ---[ 641]---> Adder-cost: 86 maxlim: 47 bits: 7/6 54.88/54.97 c ---[ 639]---> Sorter-cost: 788 Base: 7 54.88/54.97 c ---[ 637]---> Adder-cost: 62 maxlim: 47 bits: 7/6 54.88/54.97 c ---[ 635]---> Adder-cost: 114 maxlim: 48 bits: 7/6 54.88/54.97 c ---[ 633]---> Adder-cost: 68 maxlim: 48 bits: 7/6 54.88/54.98 c ---[ 631]---> Adder-cost: 125 maxlim: 56 bits: 7/6 54.88/54.98 c ---[ 629]---> Adder-cost: 71 maxlim: 56 bits: 7/6 54.88/54.98 c ---[ 627]---> Adder-cost: 190 maxlim: 82 bits: 8/7 54.88/54.98 c ---[ 625]---> Adder-cost: 88 maxlim: 82 bits: 8/7 54.88/54.98 c ---[ 623]---> Adder-cost: 172 maxlim: 75 bits: 8/7 54.88/54.99 c ---[ 621]---> Adder-cost: 90 maxlim: 75 bits: 8/7 54.88/54.99 c ---[ 619]---> Adder-cost: 94 maxlim: 35 bits: 7/6 54.88/54.99 c ---[ 617]---> Sorter-cost: 734 Base: 7 54.88/54.99 c ---[ 615]---> Adder-cost: 56 maxlim: 35 bits: 7/6 54.88/54.99 c ---[ 613]---> Adder-cost: 106 maxlim: 42 bits: 7/6 54.88/54.99 c ---[ 611]---> Adder-cost: 96 maxlim: 43 bits: 7/6 54.88/55.00 c ---[ 607]---> Adder-cost: 220 maxlim: 103 bits: 8/7 54.88/55.00 c ---[ 605]---> Adder-cost: 94 maxlim: 103 bits: 8/7 54.88/55.00 c ---[ 603]---> Adder-cost: 176 maxlim: 101 bits: 8/7 54.99/55.00 c ---[ 601]---> Adder-cost: 92 maxlim: 101 bits: 8/7 54.99/55.01 c ---[ 599]---> Adder-cost: 190 maxlim: 87 bits: 8/7 54.99/55.01 c ---[ 597]---> Sorter-cost: 708 Base: 7 54.99/55.01 c ---[ 594]---> Adder-cost: 206 maxlim: 97 bits: 8/7 54.99/55.01 c ---[ 590]---> Adder-cost: 100 maxlim: 44 bits: 7/6 54.99/55.02 c ---[ 588]---> Adder-cost: 114 maxlim: 45 bits: 7/6 54.99/55.02 c ---[ 586]---> Adder-cost: 66 maxlim: 45 bits: 7/6 54.99/55.02 c ---[ 584]---> Adder-cost: 118 maxlim: 49 bits: 7/6 54.99/55.02 c ---[ 582]---> Adder-cost: 145 maxlim: 61 bits: 7/6 54.99/55.02 c ---[ 580]---> Adder-cost: 123 maxlim: 56 bits: 7/6 54.99/55.02 c ---[ 578]---> Adder-cost: 73 maxlim: 27 bits: 6/5 54.99/55.03 c ---[ 576]---> Adder-cost: 112 maxlim: 50 bits: 7/6 54.99/55.03 c ---[ 574]---> Adder-cost: 62 maxlim: 50 bits: 7/6 54.99/55.03 c ---[ 572]---> Adder-cost: 96 maxlim: 35 bits: 7/6 54.99/55.03 c ---[ 570]---> Adder-cost: 82 maxlim: 34 bits: 7/6 54.99/55.03 c ---[ 568]---> Adder-cost: 124 maxlim: 50 bits: 7/6 54.99/55.03 c ---[ 566]---> Adder-cost: 110 maxlim: 48 bits: 7/6 54.99/55.03 c ---[ 564]---> Adder-cost: 100 maxlim: 44 bits: 7/6 54.99/55.04 c ---[ 562]---> Adder-cost: 56 maxlim: 44 bits: 7/6 54.99/55.04 c ---[ 560]---> Adder-cost: 202 maxlim: 87 bits: 8/7 54.99/55.04 c ---[ 558]---> Adder-cost: 94 maxlim: 87 bits: 8/7 54.99/55.04 c ---[ 556]---> Sorter-cost: 708 Base: 7 54.99/55.04 c ---[ 554]---> Adder-cost: 182 maxlim: 90 bits: 8/7 54.99/55.05 c ---[ 552]---> Adder-cost: 92 maxlim: 90 bits: 8/7 54.99/55.05 c ---[ 550]---> Adder-cost: 176 maxlim: 80 bits: 8/7 54.99/55.05 c ---[ 547]---> Adder-cost: 112 maxlim: 45 bits: 7/6 54.99/55.05 c ---[ 545]---> Adder-cost: 92 maxlim: 52 bits: 7/6 54.99/55.06 c ---[ 543]---> Adder-cost: 129 maxlim: 59 bits: 7/6 54.99/55.06 c ---[ 541]---> Adder-cost: 100 maxlim: 37 bits: 7/6 54.99/55.06 c ---[ 539]---> Adder-cost: 137 maxlim: 55 bits: 7/6 54.99/55.06 c ---[ 537]---> Adder-cost: 98 maxlim: 37 bits: 7/6 54.99/55.06 c ---[ 535]---> Adder-cost: 104 maxlim: 37 bits: 7/6 54.99/55.06 c ---[ 533]---> Adder-cost: 100 maxlim: 37 bits: 7/6 54.99/55.06 c ---[ 531]---> Adder-cost: 232 maxlim: 103 bits: 8/7 54.99/55.07 c ---[ 529]---> Adder-cost: 66 maxlim: 35 bits: 7/6 54.99/55.07 c ---[ 527]---> Adder-cost: 224 maxlim: 105 bits: 8/7 54.99/55.07 c ---[ 525]---> Adder-cost: 172 maxlim: 84 bits: 8/7 54.99/55.07 c ---[ 523]---> Adder-cost: 88 maxlim: 84 bits: 8/7 54.99/55.08 c ---[ 521]---> Adder-cost: 238 maxlim: 112 bits: 8/7 54.99/55.08 c ---[ 519]---> Adder-cost: 98 maxlim: 112 bits: 8/7 54.99/55.08 c ---[ 517]---> Adder-cost: 156 maxlim: 68 bits: 8/7 54.99/55.09 c ---[ 515]---> Adder-cost: 238 maxlim: 109 bits: 8/7 54.99/55.09 c ---[ 513]---> Adder-cost: 100 maxlim: 109 bits: 8/7 54.99/55.09 c ---[ 511]---> Adder-cost: 71 maxlim: 23 bits: 6/5 54.99/55.09 c ---[ 509]---> Adder-cost: 214 maxlim: 111 bits: 8/7 54.99/55.10 c ---[ 507]---> Adder-cost: 98 maxlim: 111 bits: 8/7 54.99/55.10 c ---[ 505]---> Adder-cost: 98 maxlim: 111 bits: 8/7 55.09/55.10 c ---[ 502]---> Adder-cost: 148 maxlim: 66 bits: 8/7 55.09/55.11 c ---[ 500]---> Adder-cost: 96 maxlim: 50 bits: 7/6 55.09/55.11 c ---[ 498]---> Adder-cost: 102 maxlim: 46 bits: 7/6 55.09/55.11 c ---[ 496]---> Adder-cost: 178 maxlim: 81 bits: 8/7 55.09/55.11 c ---[ 494]---> Adder-cost: 51 maxlim: 23 bits: 6/5 55.09/55.11 c ---[ 492]---> Sorter-cost: 577 Base: 2 55.09/55.11 c ---[ 490]---> Adder-cost: 56 maxlim: 16 bits: 6/5 55.09/55.11 c ---[ 488]---> Adder-cost: 90 maxlim: 35 bits: 7/6 55.09/55.12 c ---[ 486]---> Adder-cost: 80 maxlim: 34 bits: 7/6 55.09/55.12 c ---[ 484]---> Adder-cost: 172 maxlim: 76 bits: 8/7 55.09/55.12 c ---[ 482]---> Adder-cost: 141 maxlim: 56 bits: 7/6 55.09/55.12 c ---[ 480]---> Adder-cost: 140 maxlim: 73 bits: 8/7 55.09/55.12 c ---[ 478]---> Adder-cost: 150 maxlim: 64 bits: 8/7 55.09/55.13 c ---[ 476]---> Adder-cost: 80 maxlim: 64 bits: 8/7 55.09/55.13 c ---[ 474]---> Adder-cost: 135 maxlim: 59 bits: 7/6 55.09/55.13 c ---[ 472]---> Adder-cost: 73 maxlim: 59 bits: 7/6 55.09/55.13 c ---[ 470]---> Adder-cost: 192 maxlim: 83 bits: 8/7 55.09/55.13 c ---[ 468]---> Adder-cost: 80 maxlim: 83 bits: 8/7 55.09/55.14 c ---[ 466]---> Adder-cost: 284 maxlim: 130 bits: 9/8 55.09/55.14 c ---[ 464]---> Adder-cost: 71 maxlim: 56 bits: 7/6 55.09/55.14 c ---[ 462]---> Adder-cost: 108 maxlim: 130 bits: 9/8 55.09/55.15 c ---[ 460]---> Adder-cost: 229 maxlim: 117 bits: 8/7 55.09/55.15 c ---[ 458]---> Adder-cost: 107 maxlim: 117 bits: 8/7 55.09/55.15 c ---[ 454]---> Adder-cost: 104 maxlim: 39 bits: 7/6 55.09/55.16 c ---[ 452]---> Adder-cost: 68 maxlim: 39 bits: 7/6 55.09/55.16 c ---[ 450]---> Adder-cost: 98 maxlim: 40 bits: 7/6 55.09/55.16 c ---[ 448]---> Adder-cost: 87 maxlim: 29 bits: 6/5 55.09/55.16 c ---[ 446]---> Adder-cost: 147 maxlim: 60 bits: 7/6 55.09/55.16 c ---[ 444]---> Adder-cost: 59 maxlim: 27 bits: 6/5 55.09/55.16 c ---[ 442]---> Adder-cost: 96 maxlim: 36 bits: 7/6 55.09/55.16 c ---[ 440]---> Adder-cost: 149 maxlim: 62 bits: 7/6 55.09/55.17 c ---[ 438]---> Adder-cost: 149 maxlim: 62 bits: 7/6 55.09/55.17 c ---[ 436]---> Adder-cost: 92 maxlim: 36 bits: 7/6 55.09/55.17 c ---[ 434]---> Adder-cost: 106 maxlim: 40 bits: 7/6 55.09/55.17 c ---[ 432]---> Adder-cost: 102 maxlim: 41 bits: 7/6 55.09/55.17 c ---[ 430]---> Adder-cost: 87 maxlim: 30 bits: 6/5 55.09/55.17 c ---[ 428]---> Adder-cost: 99 maxlim: 61 bits: 7/6 55.09/55.17 c ---[ 426]---> Adder-cost: 59 maxlim: 30 bits: 6/5 55.09/55.18 c ---[ 424]---> Adder-cost: 87 maxlim: 29 bits: 6/5 55.09/55.18 c ---[ 422]---> Adder-cost: 55 maxlim: 29 bits: 6/5 55.09/55.18 c ---[ 420]---> Adder-cost: 73 maxlim: 21 bits: 6/5 55.09/55.18 c ---[ 418]---> Adder-cost: 75 maxlim: 24 bits: 6/5 55.09/55.18 c ---[ 416]---> Adder-cost: 51 maxlim: 24 bits: 6/5 55.09/55.18 c ---[ 414]---> Adder-cost: 94 maxlim: 36 bits: 7/6 55.09/55.18 c ---[ 412]---> Adder-cost: 228 maxlim: 103 bits: 8/7 55.09/55.19 c ---[ 410]---> Adder-cost: 124 maxlim: 66 bits: 8/7 55.09/55.19 c ---[ 408]---> Adder-cost: 94 maxlim: 103 bits: 8/7 55.09/55.19 c ---[ 406]---> Adder-cost: 234 maxlim: 104 bits: 8/7 55.09/55.19 c ---[ 404]---> Adder-cost: 92 maxlim: 104 bits: 8/7 55.18/55.20 c ---[ 401]---> Adder-cost: 152 maxlim: 66 bits: 8/7 55.18/55.20 c ---[ 399]---> Adder-cost: 133 maxlim: 62 bits: 7/6 55.18/55.20 c ---[ 397]---> Adder-cost: 98 maxlim: 37 bits: 7/6 55.18/55.20 c ---[ 395]---> Adder-cost: 84 maxlim: 66 bits: 8/7 55.18/55.21 c ---[ 393]---> Adder-cost: 102 maxlim: 39 bits: 7/6 55.18/55.21 c ---[ 391]---> Adder-cost: 94 maxlim: 40 bits: 7/6 55.18/55.21 c ---[ 389]---> Adder-cost: 92 maxlim: 44 bits: 7/6 55.18/55.21 c ---[ 387]---> Adder-cost: 102 maxlim: 46 bits: 7/6 55.18/55.21 c ---[ 385]---> Adder-cost: 108 maxlim: 49 bits: 7/6 55.18/55.21 c ---[ 383]---> Adder-cost: 196 maxlim: 87 bits: 8/7 55.18/55.22 c ---[ 381]---> Adder-cost: 112 maxlim: 51 bits: 7/6 55.18/55.22 c ---[ 379]---> Adder-cost: 110 maxlim: 50 bits: 7/6 55.18/55.22 c ---[ 377]---> Adder-cost: 137 maxlim: 53 bits: 7/6 55.18/55.22 c ---[ 375]---> Adder-cost: 129 maxlim: 61 bits: 7/6 55.18/55.22 c ---[ 373]---> Adder-cost: 127 maxlim: 59 bits: 7/6 55.18/55.22 c ---[ 371]---> Adder-cost: 94 maxlim: 87 bits: 8/7 55.18/55.23 c ---[ 369]---> Adder-cost: 174 maxlim: 75 bits: 8/7 55.18/55.23 c ---[ 367]---> Adder-cost: 170 maxlim: 80 bits: 8/7 55.18/55.23 c ---[ 365]---> Adder-cost: 168 maxlim: 81 bits: 8/7 55.18/55.23 c ---[ 363]---> Adder-cost: 243 maxlim: 118 bits: 8/7 55.18/55.24 c ---[ 361]---> Adder-cost: 111 maxlim: 118 bits: 8/7 55.18/55.24 c ---[ 359]---> Adder-cost: 212 maxlim: 111 bits: 8/7 55.18/55.24 c ---[ 357]---> Adder-cost: 98 maxlim: 111 bits: 8/7 55.18/55.25 c ---[ 355]---> Adder-cost: 174 maxlim: 90 bits: 8/7 55.18/55.25 c ---[ 353]---> Adder-cost: 239 maxlim: 125 bits: 8/7 55.18/55.25 c ---[ 351]---> Adder-cost: 103 maxlim: 125 bits: 8/7 55.18/55.26 c ---[ 349]---> Adder-cost: 223 maxlim: 119 bits: 8/7 55.18/55.26 c ---[ 347]---> Adder-cost: 105 maxlim: 119 bits: 8/7 55.18/55.26 c ---[ 345]---> Adder-cost: 212 maxlim: 131 bits: 9/8 55.18/55.27 c ---[ 343]---> Adder-cost: 102 maxlim: 131 bits: 9/8 55.18/55.27 c ---[ 341]---> Adder-cost: 209 maxlim: 127 bits: 8/7 55.18/55.28 c ---[ 339]---> Adder-cost: 111 maxlim: 127 bits: 8/7 55.18/55.28 c ---[ 337]---> Adder-cost: 154 maxlim: 75 bits: 8/7 55.18/55.28 c ---[ 335]---> Adder-cost: 90 maxlim: 75 bits: 8/7 55.18/55.29 c ---[ 333]---> Adder-cost: 154 maxlim: 89 bits: 8/7 55.18/55.29 c ---[ 331]---> Adder-cost: 130 maxlim: 78 bits: 8/7 55.18/55.29 c ---[ 329]---> Adder-cost: 84 maxlim: 78 bits: 8/7 55.18/55.29 c ---[ 327]---> Adder-cost: 104 maxlim: 41 bits: 7/6 55.18/55.29 c ---[ 325]---> Adder-cost: 145 maxlim: 63 bits: 7/6 55.28/55.30 c ---[ 323]---> Adder-cost: 249 maxlim: 117 bits: 8/7 55.28/55.30 c ---[ 321]---> Adder-cost: 198 maxlim: 92 bits: 8/7 55.28/55.30 c ---[ 319]---> Adder-cost: 110 maxlim: 48 bits: 7/6 55.28/55.30 c ---[ 317]---> Adder-cost: 216 maxlim: 102 bits: 8/7 55.28/55.31 c ---[ 315]---> Adder-cost: 100 maxlim: 102 bits: 8/7 55.28/55.31 c ---[ 313]---> Adder-cost: 182 maxlim: 84 bits: 8/7 55.28/55.31 c ---[ 311]---> Adder-cost: 88 maxlim: 84 bits: 8/7 55.28/55.32 c ---[ 309]---> Adder-cost: 200 maxlim: 93 bits: 8/7 55.28/55.32 c ---[ 307]---> Adder-cost: 102 maxlim: 93 bits: 8/7 55.28/55.32 c ---[ 305]---> Adder-cost: 212 maxlim: 109 bits: 8/7 55.28/55.32 c ---[ 303]---> Adder-cost: 100 maxlim: 109 bits: 8/7 55.28/55.33 c ---[ 301]---> Adder-cost: 231 maxlim: 126 bits: 8/7 55.28/55.33 c ---[ 299]---> Adder-cost: 105 maxlim: 126 bits: 8/7 55.28/55.34 c ---[ 297]---> Adder-cost: 82 maxlim: 42 bits: 7/6 55.28/55.34 c ---[ 295]---> Adder-cost: 194 maxlim: 115 bits: 8/7 55.28/55.34 c ---[ 293]---> Adder-cost: 96 maxlim: 115 bits: 8/7 55.28/55.34 c ---[ 291]---> Adder-cost: 243 maxlim: 125 bits: 8/7 55.28/55.35 c ---[ 289]---> Adder-cost: 280 maxlim: 140 bits: 9/8 55.28/55.35 c ---[ 287]---> Adder-cost: 498 maxlim: 259 bits: 10/9 55.28/55.36 c ---[ 285]---> Adder-cost: 150 maxlim: 259 bits: 10/9 55.28/55.37 c ---[ 283]---> Adder-cost: 468 maxlim: 263 bits: 10/9 55.28/55.38 c ---[ 281]---> Adder-cost: 156 maxlim: 263 bits: 10/9 55.28/55.39 c ---[ 279]---> Adder-cost: 170 maxlim: 77 bits: 8/7 55.28/55.39 c ---[ 277]---> Adder-cost: 488 maxlim: 278 bits: 10/9 55.38/55.40 c ---[ 275]---> Adder-cost: 160 maxlim: 278 bits: 10/9 55.38/55.41 c ---[ 273]---> Adder-cost: 408 maxlim: 270 bits: 10/9 55.38/55.42 c ---[ 271]---> Adder-cost: 166 maxlim: 270 bits: 10/9 55.38/55.43 c ---[ 269]---> Adder-cost: 406 maxlim: 271 bits: 10/9 55.38/55.43 c ---[ 267]---> Adder-cost: 166 maxlim: 271 bits: 10/9 55.38/55.44 c ---[ 265]---> Adder-cost: 339 maxlim: 248 bits: 9/8 55.38/55.45 c ---[ 263]---> Adder-cost: 149 maxlim: 248 bits: 9/8 55.38/55.46 c ---[ 261]---> Adder-cost: 392 maxlim: 243 bits: 9/8 55.38/55.47 c ---[ 259]---> Adder-cost: 148 maxlim: 243 bits: 9/8 55.38/55.47 c ---[ 257]---> Adder-cost: 126 maxlim: 77 bits: 8/7 55.38/55.47 c ---[ 255]---> Adder-cost: 357 maxlim: 247 bits: 9/8 55.38/55.48 c ---[ 253]---> Adder-cost: 163 maxlim: 247 bits: 9/8 55.38/55.49 c ---[ 251]---> Adder-cost: 280 maxlim: 244 bits: 9/8 55.48/55.50 c ---[ 249]---> Adder-cost: 148 maxlim: 244 bits: 9/8 55.48/55.50 c ---[ 247]---> Adder-cost: 148 maxlim: 244 bits: 9/8 55.48/55.51 c ---[ 245]---> Adder-cost: 148 maxlim: 244 bits: 9/8 55.48/55.52 c ---[ 243]---> Adder-cost: 190 maxlim: 234 bits: 9/8 55.48/55.52 c ---[ 240]---> Adder-cost: 220 maxlim: 106 bits: 8/7 55.48/55.53 c ---[ 238]---> Adder-cost: 132 maxlim: 64 bits: 8/7 55.48/55.53 c ---[ 236]---> Adder-cost: 190 maxlim: 89 bits: 8/7 55.48/55.53 c ---[ 234]---> Adder-cost: 94 maxlim: 106 bits: 8/7 55.48/55.54 c ---[ 232]---> Adder-cost: 245 maxlim: 117 bits: 8/7 55.48/55.54 c ---[ 230]---> Adder-cost: 162 maxlim: 116 bits: 8/7 55.48/55.54 c ---[ 228]---> Adder-cost: 165 maxlim: 119 bits: 8/7 55.48/55.55 c ---[ 226]---> Adder-cost: 145 maxlim: 118 bits: 8/7 55.48/55.55 c ---[ 224]---> Adder-cost: 184 maxlim: 95 bits: 8/7 55.48/55.55 c ---[ 222]---> Adder-cost: 253 maxlim: 123 bits: 8/7 55.48/55.56 c ---[ 220]---> Adder-cost: 204 maxlim: 107 bits: 8/7 55.48/55.56 c ---[ 218]---> Adder-cost: 162 maxlim: 88 bits: 8/7 55.48/55.56 c ---[ 216]---> Adder-cost: 238 maxlim: 111 bits: 8/7 55.48/55.57 c ---[ 214]---> Adder-cost: 304 maxlim: 157 bits: 9/8 55.48/55.57 c ---[ 212]---> Adder-cost: 256 maxlim: 153 bits: 9/8 55.48/55.57 c ---[ 210]---> Adder-cost: 243 maxlim: 120 bits: 8/7 55.48/55.58 c ---[ 207]---> Adder-cost: 143 maxlim: 60 bits: 7/6 55.48/55.58 c ---[ 205]---> Adder-cost: 158 maxlim: 70 bits: 8/7 55.48/55.58 c ---[ 203]---> Adder-cost: 216 maxlim: 105 bits: 8/7 55.48/55.59 c ---[ 201]---> Adder-cost: 82 maxlim: 70 bits: 8/7 55.48/55.59 c ---[ 199]---> Adder-cost: 146 maxlim: 62 bits: 7/6 55.48/55.59 c ---[ 197]---> Adder-cost: 73 maxlim: 62 bits: 7/6 55.48/55.59 c ---[ 193]---> Adder-cost: 268 maxlim: 131 bits: 9/8 55.58/55.60 c ---[ 190]---> Adder-cost: 178 maxlim: 92 bits: 8/7 55.58/55.60 c ---[ 186]---> Adder-cost: 198 maxlim: 106 bits: 8/7 55.58/55.60 c ---[ 184]---> Adder-cost: 143 maxlim: 58 bits: 7/6 55.58/55.60 c ---[ 182]---> Adder-cost: 135 maxlim: 56 bits: 7/6 55.58/55.61 c ---[ 178]---> Adder-cost: 148 maxlim: 66 bits: 8/7 55.58/55.61 c ---[ 176]---> Adder-cost: 176 maxlim: 97 bits: 8/7 55.58/55.61 c ---[ 174]---> Adder-cost: 128 maxlim: 76 bits: 8/7 55.58/55.61 c ---[ 172]---> Adder-cost: 192 maxlim: 96 bits: 8/7 55.58/55.62 c ---[ 170]---> Adder-cost: 220 maxlim: 110 bits: 8/7 55.58/55.62 c ---[ 168]---> Adder-cost: 112 maxlim: 45 bits: 7/6 55.58/55.62 c ---[ 166]---> Adder-cost: 54 maxlim: 17 bits: 6/5 55.58/55.62 c ---[ 164]---> Adder-cost: 60 maxlim: 19 bits: 6/5 55.58/55.62 c ---[ 162]---> Adder-cost: 56 maxlim: 20 bits: 6/5 55.58/55.62 c ---[ 160]---> Adder-cost: 180 maxlim: 95 bits: 8/7 55.58/55.63 c ---[ 158]---> Adder-cost: 166 maxlim: 75 bits: 8/7 55.58/55.63 c ---[ 156]---> Adder-cost: 255 maxlim: 120 bits: 8/7 55.58/55.63 c ---[ 154]---> Adder-cost: 115 maxlim: 120 bits: 8/7 55.58/55.64 c ---[ 152]---> Adder-cost: 184 maxlim: 116 bits: 8/7 55.58/55.64 c ---[ 150]---> Adder-cost: 92 maxlim: 116 bits: 8/7 55.58/55.64 c ---[ 148]---> Adder-cost: 174 maxlim: 80 bits: 8/7 55.58/55.65 c ---[ 146]---> Adder-cost: 148 maxlim: 65 bits: 8/7 55.58/55.65 c ---[ 144]---> Adder-cost: 142 maxlim: 86 bits: 8/7 55.58/55.65 c ---[ 142]---> Adder-cost: 141 maxlim: 56 bits: 7/6 55.58/55.65 c ---[ 140]---> Adder-cost: 206 maxlim: 89 bits: 8/7 55.58/55.65 c ---[ 138]---> Adder-cost: 92 maxlim: 89 bits: 8/7 55.58/55.66 c ---[ 136]---> Adder-cost: 139 maxlim: 54 bits: 7/6 55.58/55.66 c ---[ 134]---> Adder-cost: 75 maxlim: 54 bits: 7/6 55.58/55.66 c ---[ 132]---> Adder-cost: 116 maxlim: 50 bits: 7/6 55.58/55.66 c ---[ 130]---> Adder-cost: 62 maxlim: 50 bits: 7/6 55.58/55.66 c ---[ 128]---> Adder-cost: 145 maxlim: 59 bits: 7/6 55.58/55.67 c ---[ 126]---> Adder-cost: 73 maxlim: 59 bits: 7/6 55.58/55.67 c ---[ 124]---> Adder-cost: 84 maxlim: 86 bits: 8/7 55.58/55.67 c ---[ 122]---> Adder-cost: 240 maxlim: 109 bits: 8/7 55.58/55.67 c ---[ 118]---> Adder-cost: 77 maxlim: 27 bits: 6/5 55.58/55.68 c ---[ 116]---> Sorter-cost: 577 Base: 2 55.58/55.68 c ---[ 114]---> Sorter-cost: 641 Base: 7 55.58/55.68 c ---[ 112]---> Sorter-cost: 668 Base: 7 55.58/55.68 c ---[ 110]---> Adder-cost: 75 maxlim: 23 bits: 6/5 55.58/55.68 c ---[ 108]---> Adder-cost: 180 maxlim: 86 bits: 8/7 55.58/55.68 c ---[ 106]---> Adder-cost: 190 maxlim: 85 bits: 8/7 55.58/55.68 c ---[ 104]---> Adder-cost: 204 maxlim: 102 bits: 8/7 55.58/55.69 c ---[ 102]---> Adder-cost: 200 maxlim: 93 bits: 8/7 55.58/55.69 c ---[ 100]---> Adder-cost: 192 maxlim: 92 bits: 8/7 55.58/55.69 c ---[ 98]---> Sorter-cost: 577 Base: 2 55.58/55.69 c ---[ 96]---> Adder-cost: 104 maxlim: 40 bits: 7/6 55.58/55.69 c ---[ 94]---> Adder-cost: 116 maxlim: 50 bits: 7/6 55.68/55.70 c ---[ 92]---> Adder-cost: 123 maxlim: 54 bits: 7/6 55.68/55.70 c ---[ 90]---> Adder-cost: 150 maxlim: 66 bits: 8/7 55.68/55.70 c ---[ 88]---> Adder-cost: 145 maxlim: 63 bits: 7/6 55.68/55.70 c ---[ 86]---> Adder-cost: 136 maxlim: 68 bits: 8/7 55.68/55.70 c ---[ 84]---> Adder-cost: 96 maxlim: 85 bits: 8/7 55.68/55.71 c ---[ 82]---> Adder-cost: 192 maxlim: 87 bits: 8/7 55.68/55.71 c ---[ 80]---> Adder-cost: 200 maxlim: 95 bits: 8/7 55.68/55.71 c ---[ 78]---> Adder-cost: 164 maxlim: 76 bits: 8/7 55.68/55.71 c ---[ 76]---> Adder-cost: 139 maxlim: 59 bits: 7/6 55.68/55.72 c ---[ 74]---> Adder-cost: 127 maxlim: 55 bits: 7/6 55.68/55.72 c ---[ 72]---> Adder-cost: 114 maxlim: 52 bits: 7/6 55.68/55.72 c ---[ 70]---> Adder-cost: 104 maxlim: 44 bits: 7/6 55.68/55.72 c ---[ 68]---> Adder-cost: 112 maxlim: 48 bits: 7/6 55.68/55.72 c ---[ 66]---> Adder-cost: 116 maxlim: 52 bits: 7/6 55.68/55.73 c ---[ 64]---> Adder-cost: 260 maxlim: 152 bits: 9/8 55.68/55.73 c ---[ 63]---> BDD-cost:141673 698.57/698.77 c ---[ 62]---> Adder-cost: 161 maxlim: 69 bits: 8/7 698.57/698.77 c ---[ 61]---> Adder-cost: 49 maxlim: 19 bits: 6/5 698.57/698.77 c ---[ 60]---> Adder-cost: 87 maxlim: 44 bits: 7/6 698.57/698.77 c ---[ 59]---> Adder-cost: 227 maxlim: 99 bits: 8/7 698.57/698.78 c ---[ 58]---> Sorter-cost: 533 Base: 7 698.57/698.78 c ---[ 57]---> Adder-cost: 89 maxlim: 71 bits: 8/7 698.57/698.78 c ---[ 56]---> Adder-cost: 91 maxlim: 57 bits: 7/6 698.57/698.78 c ---[ 55]---> Adder-cost: 175 maxlim: 75 bits: 8/7 698.57/698.78 c ---[ 54]---> Adder-cost: 49 maxlim: 19 bits: 6/5 698.57/698.79 c ---[ 53]---> Adder-cost: 103 maxlim: 50 bits: 7/6 698.57/698.79 c ---[ 52]---> Adder-cost: 87 maxlim: 33 bits: 7/6 698.57/698.79 c ---[ 51]---> Adder-cost: 227 maxlim: 100 bits: 8/7 698.57/698.79 c ---[ 50]---> Adder-cost: 205 maxlim: 90 bits: 8/7 698.57/698.80 c ---[ 49]---> Adder-cost: 183 maxlim: 87 bits: 8/7 698.67/698.80 c ---[ 48]---> Adder-cost: 261 maxlim: 118 bits: 8/7 698.67/698.80 c ---[ 47]---> Adder-cost: 6946 maxlim: 3836 bits: 13/12 698.77/698.97 c ---[ 46]---> Adder-cost: 158 maxlim: 59 bits: 7/6 698.77/698.97 c ---[ 45]---> Adder-cost: 3151 maxlim: 1702 bits: 12/11 698.87/699.05 c ---[ 44]---> Adder-cost: 43567 maxlim: 48680 bits: 17/16 700.17/700.30 c ---[ 43]---> Adder-cost: 5010 maxlim: 1654 bits: 12/11 700.17/700.39 c ---[ 42]---> Adder-cost: 3995 maxlim: 5365 bits: 14/13 700.27/700.48 c ---[ 41]---> Adder-cost: 22674 maxlim: 30621 bits: 16/15 700.87/701.07 c ---[ 40]---> Adder-cost: 307 maxlim: 478 bits: 10/9 700.87/701.08 c ---[ 39]---> Adder-cost: 589 maxlim: 1112 bits: 12/11 700.97/701.10 c ---[ 38]---> Adder-cost: 765 maxlim: 2264 bits: 13/12 700.97/701.12 c ---[ 37]---> Adder-cost: 631 maxlim: 1491 bits: 12/11 700.97/701.14 c ---[ 36]---> Adder-cost: 755 maxlim: 1214 bits: 12/11 700.97/701.16 c ---[ 35]---> Adder-cost: 919 maxlim: 3112 bits: 13/12 700.97/701.19 c ---[ 34]---> Adder-cost: 1244 maxlim: 3423 bits: 13/12 701.07/701.23 c ---[ 33]---> Adder-cost: 844 maxlim: 4271 bits: 14/13 701.07/701.26 c ---[ 32]---> Adder-cost: 535 maxlim: 1359 bits: 12/11 701.07/701.28 c ---[ 31]---> Adder-cost: 1020 maxlim: 741 bits: 11/10 701.17/701.31 c ---[ 30]---> Adder-cost: 428 maxlim: 1876 bits: 12/11 701.17/701.32 c ---[ 29]---> Adder-cost: 365 maxlim: 607 bits: 11/10 701.17/701.33 c ---[ 28]---> Sorter-cost: 1287 Base: 2 3 5 701.17/701.33 c ---[ 27]---> Adder-cost: 832 maxlim: 2794 bits: 13/12 701.17/701.36 c ---[ 26]---> Adder-cost: 182 maxlim: 43 bits: 7/6 701.17/701.36 c ---[ 25]---> Adder-cost: 1371 maxlim: 5723 bits: 14/13 701.27/701.41 c ---[ 24]---> Adder-cost: 1506 maxlim: 4306 bits: 14/13 701.27/701.46 c ---[ 23]---> Adder-cost: 450 maxlim: 392 bits: 10/9 701.27/701.47 c ---[ 22]---> Adder-cost: 444 maxlim: 936 bits: 11/10 701.27/701.48 c ---[ 21]---> Adder-cost: 1011 maxlim: 3303 bits: 13/12 701.37/701.52 c ---[ 20]---> Adder-cost: 6011 maxlim: 8039 bits: 14/13 701.47/701.66 c ---[ 19]---> Adder-cost: 483 maxlim: 1125 bits: 12/11 701.47/701.68 c ---[ 18]---> Adder-cost: 433 maxlim: 593 bits: 11/10 701.47/701.69 c ---[ 17]---> Adder-cost: 5185 maxlim: 2374 bits: 13/12 701.68/701.82 c ---[ 16]---> Adder-cost: 921 maxlim: 1860 bits: 12/11 701.68/701.88 c ---[ 15]---> Adder-cost: 882 maxlim: 2819 bits: 13/12 701.78/701.92 c ---[ 14]---> Adder-cost: 810 maxlim: 1890 bits: 12/11 701.78/701.95 c ---[ 13]---> Adder-cost: 935 maxlim: 620 bits: 11/10 701.78/701.99 c ---[ 12]---> Adder-cost: 1045 maxlim: 2595 bits: 13/12 701.87/702.05 c ---[ 11]---> Adder-cost: 1471 maxlim: 4028 bits: 13/12 701.97/702.12 c ---[ 10]---> Adder-cost: 572 maxlim: 2053 bits: 13/12 701.97/702.15 c ---[ 9]---> Adder-cost: 1335 maxlim: 519 bits: 11/10 702.07/702.21 c ---[ 8]---> Sorter-cost: 3368 Base: 3 5 3 5 702.07/702.22 c ---[ 7]---> Adder-cost: 1025 maxlim: 4376 bits: 14/13 702.07/702.28 c ---[ 6]---> Adder-cost: 1353 maxlim: 9864 bits: 15/14 702.17/702.36 c ---[ 5]---> Adder-cost: 1399 maxlim: 286 bits: 10/9 702.27/702.43 c ---[ 4]---> Adder-cost: 272 maxlim: 774 bits: 11/10 702.27/702.44 c ---[ 3]---> Adder-cost: 582 maxlim: 1528 bits: 12/11 702.27/702.47 c ---[ 2]---> Adder-cost: 1044 maxlim: 1712 bits: 12/11 702.37/702.53 c ---[ 1]---> Adder-cost: 8210 maxlim: 23212 bits: 16/15 702.67/702.84 c ---[ 0]---> Adder-cost: 565 maxlim: 118 bits: 8/7 709.27/709.42 | Eliminated clauses: 0.71 Mb | 709.27/709.42 ============================[ Search Statistics ]============================== 709.27/709.42 | Conflicts | ORIGINAL | LEARNT | Progress | 709.27/709.42 | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 709.27/709.42 =============================================================================== 709.27/709.42 =============================================================================== 709.27/709.42 c [1mUNSATISFIABLE[0m 709.27/709.42 s UNSATISFIABLE 709.27/709.42 c _______________________________________________________________________________ 709.27/709.42 c 709.27/709.42 restarts : 1 709.27/709.42 conflicts : 96 (0 /sec) 709.27/709.42 decisions : 2105 (0.00 % random) (3 /sec) 709.27/709.42 propagations : 8692347 (12258 /sec) 709.27/709.42 conflict literals : 2763 (99.50 % deleted) 709.27/709.42 Memory used : 643.13 MB 709.27/709.42 CPU time : 709.109 s 709.27/709.42 c _______________________________________________________________________________
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4115234-1467019391/watcher-4115234-1467019391 -o /tmp/evaluation-result-4115234-1467019391/solver-4115234-1467019391 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1467019391-24020 --watchdog 1960 -S 80 minisatp HOME/instance-4115234-1467019391.opb pid=24054 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing Stack size limit: 81920 KiB Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 81920 KiB [startup+0 s] /proc/loadavg: 0.21 0.21 0.18 3/172 24059 /proc/meminfo: memFree=30208352/32872528 swapFree=1582320/1721312 [pid=24059] ppid=24054 vsize=8468 CPUtime=0 cores=1,3,5,7 /proc/24059/stat : 24059 (minisatp) R 24054 24059 24003 0 -1 4202496 784 0 0 0 0 0 0 0 20 0 1 0 34910207 8671232 661 33554432000 4194304 5646918 140736946669808 140736491066536 4388221 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/24059/statm: 2117 661 84 355 0 1758 0 [startup+0.100123 s] /proc/loadavg: 0.21 0.21 0.18 3/172 24059 /proc/meminfo: memFree=30208352/32872528 swapFree=1582320/1721312 [pid=24059] ppid=24054 vsize=31656 CPUtime=0.09 cores=1,3,5,7 /proc/24059/stat : 24059 (minisatp) R 24054 24059 24003 0 -1 4202496 6607 0 0 0 9 0 0 0 20 0 1 0 34910207 32415744 6027 33554432000 4194304 5646918 140736946669808 140736491066536 4817450 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/24059/statm: 7914 6027 97 355 0 7555 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 31656 [startup+0.200329 s] /proc/loadavg: 0.21 0.21 0.18 3/172 24059 /proc/meminfo: memFree=30208352/32872528 swapFree=1582320/1721312 [pid=24059] ppid=24054 vsize=33656 CPUtime=0.19 cores=1,3,5,7 /proc/24059/stat : 24059 (minisatp) R 24054 24059 24003 0 -1 4202496 6972 0 0 0 19 0 0 0 20 0 1 0 34910207 34463744 6392 33554432000 4194304 5646918 140736946669808 140736491066536 4953072 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/24059/statm: 8414 6392 97 355 0 8055 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 33656 [startup+0.300288 s] /proc/loadavg: 0.21 0.21 0.18 3/172 24059 /proc/meminfo: memFree=30208352/32872528 swapFree=1582320/1721312 [pid=24059] ppid=24054 vsize=35440 CPUtime=0.29 cores=1,3,5,7 /proc/24059/stat : 24059 (minisatp) R 24054 24059 24003 0 -1 4202496 7275 0 0 0 29 0 0 0 20 0 1 0 34910207 36290560 6695 33554432000 4194304 5646918 140736946669808 140736491066536 4953072 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/24059/statm: 8860 6695 97 355 0 8501 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 35440 [startup+0.70019 s] /proc/loadavg: 0.21 0.21 0.18 3/172 24059 /proc/meminfo: memFree=30208352/32872528 swapFree=1582320/1721312 [pid=24059] ppid=24054 vsize=46264 CPUtime=0.69 cores=1,3,5,7 /proc/24059/stat : 24059 (minisatp) R 24054 24059 24003 0 -1 4202496 9608 0 0 0 68 1 0 0 20 0 1 0 34910207 47374336 9028 33554432000 4194304 5646918 140736946669808 140736946669176 4459844 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/24059/statm: 11566 9028 97 355 0 11207 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 46264 [startup+1.50019 s] /proc/loadavg: 0.21 0.21 0.18 3/177 24064 /proc/meminfo: memFree=30109776/32872528 swapFree=1582320/1721312 [pid=24059] ppid=24054 vsize=75052 CPUtime=1.49 cores=1,3,5,7 /proc/24059/stat : 24059 (minisatp) R 24054 24059 24003 0 -1 4202496 17372 0 0 0 146 3 0 0 20 0 1 0 34910207 76853248 15797 33554432000 4194304 5646918 140736946669808 140736946669176 4817383 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/24059/statm: 18763 15797 97 355 0 18404 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 75052 [startup+3.10024 s] /proc/loadavg: 0.21 0.21 0.18 4/177 24064 /proc/meminfo: memFree=30043808/32872528 swapFree=1582320/1721312 [pid=24059] ppid=24054 vsize=114660 CPUtime=3.09 cores=1,3,5,7 /proc/24059/stat : 24059 (minisatp) R 24054 24059 24003 0 -1 4202496 32819 0 0 0 303 6 0 0 20 0 1 0 34910207 117411840 24661 33554432000 4194304 5646918 140736946669808 140736946668008 4832053 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/24059/statm: 28665 24661 111 355 0 28306 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 114660 [startup+6.30018 s] /proc/loadavg: 0.36 0.24 0.19 3/177 24064 /proc/meminfo: memFree=29984252/32872528 swapFree=1582320/1721312 [pid=24059] ppid=24054 vsize=132288 CPUtime=6.29 cores=1,3,5,7 /proc/24059/stat : 24059 (minisatp) R 24054 24059 24003 0 -1 4202496 36851 0 0 0 622 7 0 0 20 0 1 0 34910207 135462912 29056 33554432000 4194304 5646918 140736946669808 140736946654232 4823232 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/24059/statm: 33072 29056 154 355 0 32713 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 132288 [startup+12.7002 s] /proc/loadavg: 0.57 0.28 0.21 3/177 24064 /proc/meminfo: memFree=29967508/32872528 swapFree=1582320/1721312 [pid=24059] ppid=24054 vsize=133848 CPUtime=12.68 cores=1,3,5,7 /proc/24059/stat : 24059 (minisatp) R 24054 24059 24003 0 -1 4202496 37268 0 0 0 1261 7 0 0 20 0 1 0 34910207 137060352 29473 33554432000 4194304 5646918 140736946669808 140736944761832 4831296 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/24059/statm: 33462 29473 154 355 0 33103 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 133848 [startup+25.5002 s] /proc/loadavg: 0.88 0.37 0.23 3/177 24064 /proc/meminfo: memFree=29927460/32872528 swapFree=1582320/1721312 [pid=24059] ppid=24054 vsize=173936 CPUtime=25.48 cores=1,3,5,7 /proc/24059/stat : 24059 (minisatp) R 24054 24059 24003 0 -1 4202496 43710 0 0 0 2540 8 0 0 20 0 1 0 34910207 178110464 39115 33554432000 4194304 5646918 140736946669808 140736946152632 4824670 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/24059/statm: 43484 39115 154 355 0 43125 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 173936 [startup+51.1003 s] /proc/loadavg: 1.26 0.50 0.28 3/177 24064 /proc/meminfo: memFree=29861804/32872528 swapFree=1582320/1721312 [pid=24059] ppid=24054 vsize=217636 CPUtime=51.08 cores=1,3,5,7 /proc/24059/stat : 24059 (minisatp) R 24054 24059 24003 0 -1 4202496 48917 0 0 0 5099 9 0 0 20 0 1 0 34910207 222859264 50291 33554432000 4194304 5646918 140736946669808 140736946666616 4826286 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/24059/statm: 54409 50293 154 355 0 54050 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 217636 [startup+102.3 s] /proc/loadavg: 1.92 0.79 0.39 4/177 24065 /proc/meminfo: memFree=29795360/32872528 swapFree=1582320/1721312 [pid=24059] ppid=24054 vsize=247624 CPUtime=102.29 cores=1,3,5,7 /proc/24059/stat : 24059 (minisatp) R 24054 24059 24003 0 -1 4202496 56523 0 0 0 10219 10 0 0 20 0 1 0 34910207 253566976 57897 33554432000 4194304 5646918 140736946669808 140736936175832 4832083 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/24059/statm: 61906 57897 154 355 0 61547 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 247624 [startup+162.3 s] /proc/loadavg: 2.03 1.02 0.49 4/177 24067 /proc/meminfo: memFree=29789196/32872528 swapFree=1582320/1721312 [pid=24059] ppid=24054 vsize=247624 CPUtime=162.27 cores=1,3,5,7 /proc/24059/stat : 24059 (minisatp) R 24054 24059 24003 0 -1 4202496 56541 0 0 0 16217 10 0 0 20 0 1 0 34910207 253566976 59433 33554432000 4194304 5646918 140736946669808 140736936175832 4817705 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/24059/statm: 61906 59433 154 355 0 61547 0 Current children cumulated CPU time (s) 162.27 Current children cumulated vsize (KiB) 247624 [startup+222.308 s] /proc/loadavg: 2.11 1.23 0.59 4/177 24068 /proc/meminfo: memFree=29788524/32872528 swapFree=1582320/1721312 [pid=24059] ppid=24054 vsize=247888 CPUtime=222.26 cores=1,3,5,7 /proc/24059/stat : 24059 (minisatp) R 24054 24059 24003 0 -1 4202496 56612 0 0 0 22216 10 0 0 20 0 1 0 34910207 253837312 59493 33554432000 4194304 5646918 140736946669808 140736943601032 4460889 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/24059/statm: 61972 59493 154 355 0 61613 0 Current children cumulated CPU time (s) 222.26 Current children cumulated vsize (KiB) 247888 [startup+282.3 s] /proc/loadavg: 2.23 1.41 0.69 4/177 24069 /proc/meminfo: memFree=29781264/32872528 swapFree=1582320/1721312 [pid=24059] ppid=24054 vsize=249284 CPUtime=282.24 cores=1,3,5,7 /proc/24059/stat : 24059 (minisatp) R 24054 24059 24003 0 -1 4202496 56953 0 0 0 28214 10 0 0 20 0 1 0 34910207 255266816 59833 33554432000 4194304 5646918 140736946669808 140736944597432 4823257 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/24059/statm: 62321 59833 154 355 0 61962 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 249284 [startup+342.3 s] /proc/loadavg: 2.41 1.60 0.80 3/177 24070 /proc/meminfo: memFree=29780000/32872528 swapFree=1582320/1721312 [pid=24059] ppid=24054 vsize=249284 CPUtime=342.23 cores=1,3,5,7 /proc/24059/stat : 24059 (minisatp) R 24054 24059 24003 0 -1 4202496 56953 0 0 0 34213 10 0 0 20 0 1 0 34910207 255266816 59833 33554432000 4194304 5646918 140736946669808 140736944597432 4817372 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/24059/statm: 62321 59833 154 355 0 61962 0 Current children cumulated CPU time (s) 342.23 Current children cumulated vsize (KiB) 249284 [startup+402.3 s] /proc/loadavg: 2.25 1.70 0.88 3/177 24071 /proc/meminfo: memFree=29779836/32872528 swapFree=1582320/1721312 [pid=24059] ppid=24054 vsize=249284 CPUtime=402.22 cores=1,3,5,7 /proc/24059/stat : 24059 (minisatp) R 24054 24059 24003 0 -1 4202496 56953 0 0 0 40212 10 0 0 20 0 1 0 34910207 255266816 59833 33554432000 4194304 5646918 140736946669808 140736944597432 4823249 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/24059/statm: 62321 59833 154 355 0 61962 0 Current children cumulated CPU time (s) 402.22 Current children cumulated vsize (KiB) 249284 [startup+462.3 s] /proc/loadavg: 2.31 1.81 0.97 4/178 24076 /proc/meminfo: memFree=29780124/32872528 swapFree=1582320/1721312 [pid=24059] ppid=24054 vsize=249284 CPUtime=462.21 cores=1,3,5,7 /proc/24059/stat : 24059 (minisatp) R 24054 24059 24003 0 -1 4202496 56953 0 0 0 46211 10 0 0 20 0 1 0 34910207 255266816 59833 33554432000 4194304 5646918 140736946669808 140736944597432 4344932 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/24059/statm: 62321 59833 154 355 0 61962 0 Current children cumulated CPU time (s) 462.21 Current children cumulated vsize (KiB) 249284 [startup+522.3 s] /proc/loadavg: 2.21 1.87 1.04 3/177 24077 /proc/meminfo: memFree=29773936/32872528 swapFree=1582320/1721312 [pid=24059] ppid=24054 vsize=252320 CPUtime=522.2 cores=1,3,5,7 /proc/24059/stat : 24059 (minisatp) R 24054 24059 24003 0 -1 4202496 57718 0 0 0 52210 10 0 0 20 0 1 0 34910207 258375680 60598 33554432000 4194304 5646918 140736946669808 140736935149032 4817360 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/24059/statm: 63080 60598 154 355 0 62721 0 Current children cumulated CPU time (s) 522.2 Current children cumulated vsize (KiB) 252320 [startup+582.3 s] /proc/loadavg: 2.24 1.94 1.12 3/177 24078 /proc/meminfo: memFree=29767868/32872528 swapFree=1582320/1721312 [pid=24059] ppid=24054 vsize=255540 CPUtime=582.19 cores=1,3,5,7 /proc/24059/stat : 24059 (minisatp) R 24054 24059 24003 0 -1 4202496 58517 0 0 0 58209 10 0 0 20 0 1 0 34910207 261672960 61397 33554432000 4194304 5646918 140736946669808 140736942545032 4823255 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/24059/statm: 63885 61397 154 355 0 63526 0 Current children cumulated CPU time (s) 582.19 Current children cumulated vsize (KiB) 255540 [startup+642.3 s] /proc/loadavg: 2.25 1.99 1.18 4/177 24079 /proc/meminfo: memFree=29703616/32872528 swapFree=1582320/1721312 [pid=24059] ppid=24054 vsize=257916 CPUtime=642.18 cores=1,3,5,7 /proc/24059/stat : 24059 (minisatp) R 24054 24059 24003 0 -1 4202496 59117 0 0 0 64208 10 0 0 20 0 1 0 34910207 264105984 61997 33554432000 4194304 5646918 140736946669808 140736931420232 4823374 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/24059/statm: 64479 61997 154 355 0 64120 0 Current children cumulated CPU time (s) 642.18 Current children cumulated vsize (KiB) 257916 [startup+702.3 s] /proc/loadavg: 2.31 2.05 1.25 3/177 24135 /proc/meminfo: memFree=27876924/32872528 swapFree=1582320/1721312 [pid=24059] ppid=24054 vsize=268200 CPUtime=702.17 cores=1,3,5,7 /proc/24059/stat : 24059 (minisatp) R 24054 24059 24003 0 -1 4202496 59768 0 0 0 70207 10 0 0 20 0 1 0 34910207 274636800 63159 33554432000 4194304 5646918 140736946669808 140736946668472 4823289 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/24059/statm: 67050 63159 154 355 0 66691 0 Current children cumulated CPU time (s) 702.17 Current children cumulated vsize (KiB) 268200 Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 24059 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+704 s] /proc/loadavg: 2.28 2.05 1.26 3/177 24135 /proc/meminfo: memFree=27631444/32872528 swapFree=1582320/1721312 [pid=24059] ppid=24054 vsize=455108 CPUtime=703.88 cores=1,3,5,7 /proc/24059/stat : 24059 (minisatp) R 24054 24059 24003 0 -1 4202496 78460 0 0 0 70373 15 0 0 20 0 1 0 34910207 466030592 102644 33554432000 4194304 5646918 140736946669808 140736946666488 4826286 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/24059/statm: 113777 102645 158 355 0 113418 0 Current children cumulated CPU time (s) 703.88 Current children cumulated vsize (KiB) 455108 [startup+707.2 s] /proc/loadavg: 2.28 2.05 1.26 4/177 24136 /proc/meminfo: memFree=27385400/32872528 swapFree=1582320/1721312 [pid=24059] ppid=24054 vsize=643228 CPUtime=707.08 cores=1,3,5,7 /proc/24059/stat : 24059 (minisatp) R 24054 24059 24003 0 -1 4202496 96832 0 0 0 70689 19 0 0 20 0 1 0 34910207 658665472 143674 33554432000 4194304 5646918 140736946669808 140736946667832 4402764 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/24059/statm: 160807 143674 172 355 0 160448 0 Current children cumulated CPU time (s) 707.08 Current children cumulated vsize (KiB) 643228 [startup+708.8 s] /proc/loadavg: 2.26 2.05 1.26 4/177 24136 /proc/meminfo: memFree=27281232/32872528 swapFree=1582320/1721312 [pid=24059] ppid=24054 vsize=654736 CPUtime=708.67 cores=1,3,5,7 /proc/24059/stat : 24059 (minisatp) R 24054 24059 24003 0 -1 4202496 99688 0 0 0 70848 19 0 0 20 0 1 0 34910207 670449664 146530 33554432000 4194304 5646918 140736946669808 140736946667944 4388947 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/24059/statm: 163684 146530 172 355 0 163325 0 Current children cumulated CPU time (s) 708.67 Current children cumulated vsize (KiB) 654736 [startup+709.2 s] /proc/loadavg: 2.26 2.05 1.26 4/177 24136 /proc/meminfo: memFree=27281232/32872528 swapFree=1582320/1721312 [pid=24059] ppid=24054 vsize=656188 CPUtime=709.07 cores=1,3,5,7 /proc/24059/stat : 24059 (minisatp) R 24054 24059 24003 0 -1 4202496 100067 0 0 0 70888 19 0 0 20 0 1 0 34910207 671936512 146909 33554432000 4194304 5646918 140736946669808 140736946667944 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/24059/statm: 164047 146909 172 355 0 163688 0 Current children cumulated CPU time (s) 709.07 Current children cumulated vsize (KiB) 656188 [startup+709.4 s] /proc/loadavg: 2.26 2.05 1.26 4/177 24136 /proc/meminfo: memFree=27281232/32872528 swapFree=1582320/1721312 [pid=24059] ppid=24054 vsize=658564 CPUtime=709.27 cores=1,3,5,7 /proc/24059/stat : 24059 (minisatp) R 24054 24059 24003 0 -1 4202496 100650 0 0 0 70908 19 0 0 20 0 1 0 34910207 674369536 147492 33554432000 4194304 5646918 140736946669808 140736946667944 4402661 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/24059/statm: 164641 147492 172 355 0 164282 0 Current children cumulated CPU time (s) 709.27 Current children cumulated vsize (KiB) 658564 Child status: 0 Real time (s): 709.466 CPU time (s): 709.349 CPU user time (s): 709.136 CPU system time (s): 0.212967 CPU usage (%): 99.9836 Max. virtual memory (cumulated for all children) (KiB): 658564 getrusage(RUSAGE_CHILDREN,...) data: user time used= 709.136 system time used= 0.212967 maximum resident set size= 590064 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 100674 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 17 involuntary context switches= 736 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.75573 second user time and 2.82957 second system time The end
Begin job on node120 at 2016-06-27 11:23:12 IDJOB=4115234 IDBENCH=1604 IDSOLVER=2555 FILE ID=node120/4115234-1467019391 RUNJOBID= node120-1467019391-24020 PBS_JOBID= 19976971 Free space on /tmp= 71652 MiB SOLVER NAME= minisatp 2012-10-02 git-d91742b BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-siena1.opb COMMAND LINE= minisatp BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4115234-1467019391/watcher-4115234-1467019391 -o /tmp/evaluation-result-4115234-1467019391/solver-4115234-1467019391 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1467019391-24020 --watchdog 1960 -S 80 minisatp HOME/instance-4115234-1467019391.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a93dde4d8545bab3c441ec26d058498b RANDOM SEED=392885897 node120.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.14 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30209736 kB Buffers: 80092 kB Cached: 128552 kB SwapCached: 2072 kB Active: 53044 kB Inactive: 158472 kB Active(anon): 2400 kB Inactive(anon): 2896 kB Active(file): 50644 kB Inactive(file): 155576 kB Unevictable: 1721312 kB Mlocked: 1582320 kB SwapTotal: 67108856 kB SwapFree: 67098736 kB Dirty: 15544 kB Writeback: 0 kB AnonPages: 1723512 kB Mapped: 7144 kB Shmem: 0 kB Slab: 594516 kB SReclaimable: 38960 kB SUnreclaim: 555556 kB KernelStack: 1384 kB PageTables: 7176 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1818232 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988036 kB HardwareCorrupted: 0 kB AnonHugePages: 139264 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-4115234-1467019391.opb Free space on /tmp at the end= 71648 MiB End job on node120 at 2016-06-27 11:35:01