verify_add_const.log

n = 2
=======
test carryProbAddConsts
test rxdiffAddConst
did 457316 + 28046 tests

n = 3
=======
test carryProbAddConsts
test rxdiffAddConst
did 195258 + 24195 tests

n = 4
=======
test carryProbAddConsts
test rxdiffAddConst
did 209936 + 42171 tests

n = 5
=======
test carryProbAddConsts
test rxdiffAddConst
did 177389 + 31809 tests

n = 6
=======
test carryProbAddConsts
test rxdiffAddConst
did 96060 + 39935 tests

n = 7
=======
test carryProbAddConsts
test rxdiffAddConst
did 60988 + 29653 tests

n = 8
=======
test carryProbAddConsts
test rxdiffAddConst
did 34081 + 18781 tests

n = 9
=======
test carryProbAddConsts
test rxdiffAddConst
did 16905 + 11373 tests

n = 10
=======
test carryProbAddConsts
test rxdiffAddConst
did 9223 + 6208 tests

n = 11
=======
test carryProbAddConsts
test rxdiffAddConst
did 4350 + 3356 tests

n = 12
=======
test carryProbAddConsts
test rxdiffAddConst
did 2257 + 1805 tests

n = 13
=======
test carryProbAddConsts
test rxdiffAddConst
did 1217 + 915 tests

n = 14
=======
test carryProbAddConsts
test rxdiffAddConst
did 593 + 448 tests

n = 15
=======
test carryProbAddConsts
test rxdiffAddConst
did 285 + 220 tests

n = 16
=======
test carryProbAddConsts
test rxdiffAddConst
did 147 + 116 tests