From cf0d5caaae95e10c3583f99be46232e88ee2e336 Mon Sep 17 00:00:00 2001 From: rudy Date: Thu, 10 Aug 2023 00:32:53 +0200 Subject: [PATCH] fix(optimizer): woppbs, cost model, cmux tree size x2 --- .../wop_atomic_pattern/optimize.rs | 2 +- .../v0-parameters/ref/wop_pbs_2023-8-9_112 | 345 +++++++++++++++++ .../v0-parameters/ref/wop_pbs_2023-8-9_128 | 342 +++++++++++++++++ .../v0-parameters/ref/wop_pbs_2023-8-9_192 | 329 +++++++++++++++++ .../v0-parameters/ref/wop_pbs_2023-8-9_80 | 348 ++++++++++++++++++ .../v0-parameters/ref/wop_pbs_last_112 | 174 ++++----- .../v0-parameters/ref/wop_pbs_last_128 | 180 ++++----- .../v0-parameters/ref/wop_pbs_last_192 | 170 ++++----- .../v0-parameters/ref/wop_pbs_last_80 | 168 ++++----- 9 files changed, 1711 insertions(+), 347 deletions(-) create mode 100644 compilers/concrete-optimizer/v0-parameters/ref/wop_pbs_2023-8-9_112 create mode 100644 compilers/concrete-optimizer/v0-parameters/ref/wop_pbs_2023-8-9_128 create mode 100644 compilers/concrete-optimizer/v0-parameters/ref/wop_pbs_2023-8-9_192 create mode 100644 compilers/concrete-optimizer/v0-parameters/ref/wop_pbs_2023-8-9_80 diff --git a/compilers/concrete-optimizer/concrete-optimizer/src/optimization/wop_atomic_pattern/optimize.rs b/compilers/concrete-optimizer/concrete-optimizer/src/optimization/wop_atomic_pattern/optimize.rs index f9a3a77ca7..776f790208 100644 --- a/compilers/concrete-optimizer/concrete-optimizer/src/optimization/wop_atomic_pattern/optimize.rs +++ b/compilers/concrete-optimizer/concrete-optimizer/src/optimization/wop_atomic_pattern/optimize.rs @@ -164,7 +164,7 @@ fn estimate_complexity( let log2_polynomial_size = glwe_params.log2_polynomial_size; // Size of cmux_group, can be zero let cmux_group_count = if precisions_sum > log2_polynomial_size { - 2f64.powi((precisions_sum - log2_polynomial_size - 1) as i32) + 2f64.powi((precisions_sum - log2_polynomial_size) as i32) - 1.0 } else { 0.0 }; diff --git a/compilers/concrete-optimizer/v0-parameters/ref/wop_pbs_2023-8-9_112 b/compilers/concrete-optimizer/v0-parameters/ref/wop_pbs_2023-8-9_112 new file mode 100644 index 0000000000..7ac5360676 --- /dev/null +++ b/compilers/concrete-optimizer/v0-parameters/ref/wop_pbs_2023-8-9_112 @@ -0,0 +1,345 @@ +security level: 112 +target p_error: 6.3e-5 +per precision and log norm2: + + - 1: # bits + -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error + - 0 : 2, 10, 519, 2, 15, 3, 3, 1, 11, 1, 29, 89, 6.1e-5 + - 1 : 2, 10, 522, 2, 15, 3, 3, 1, 11, 1, 29, 89, 6.2e-5 + - 2 : 2, 10, 506, 2, 15, 5, 2, 1, 11, 1, 29, 91, 5.4e-5 + - 3 : 2, 10, 502, 3, 12, 5, 2, 1, 12, 1, 29, 111, 5.3e-5 + - 4 : 2, 10, 514, 3, 12, 5, 2, 1, 13, 2, 19, 138, 6.2e-5 + - 5 : 2, 10, 508, 4, 9, 5, 2, 1, 14, 2, 19, 157, 6.2e-5 + - 6 : 2, 10, 539, 5, 8, 6, 2, 1, 14, 2, 19, 188, 6.2e-5 + - 7 : 2, 10, 508, 3, 12, 5, 2, 2, 8, 1, 29, 216, 6.1e-5 + - 8 : 2, 10, 544, 3, 12, 6, 2, 2, 9, 2, 19, 278, 6.2e-5 + - 9 : 2, 10, 502, 4, 9, 5, 2, 2, 9, 2, 19, 303, 5.3e-5 + - 10: 2, 10, 504, 5, 8, 5, 2, 2, 10, 2, 19, 345, 5.3e-5 + - 11: 2, 10, 514, 6, 7, 5, 2, 2, 10, 2, 19, 392, 5.8e-5 + - 12: 2, 10, 553, 8, 5, 6, 2, 2, 10, 2, 19, 507, 6.2e-5 + - 13: 2, 10, 516, 6, 7, 5, 2, 3, 8, 2, 19, 585, 6.3e-5 + - 14: 2, 10, 516, 7, 6, 11, 1, 3, 8, 2, 19, 661, 6.0e-5 + - 15: 2, 10, 495, 7, 6, 10, 1, 4, 6, 2, 19, 844, 5.9e-5 + - 16: 2, 10, 498, 7, 6, 10, 1, 5, 5, 2, 19, 1055, 5.8e-5 + - 17: 2, 10, 510, 8, 5, 11, 1, 6, 5, 2, 19, 1413, 5.7e-5 + - 18: 2, 10, 530, 8, 5, 12, 1, 7, 4, 2, 19, 1699, 6.2e-5 + - 19: 2, 10, 523, 11, 4, 11, 1, 7, 4, 3, 14, 2297, 6.3e-5 + - 20: 2, 10, 508, 14, 3, 11, 1, 10, 3, 2, 19, 3584, 6.1e-5 + - 21: 2, 10, 508, 22, 2, 11, 1, 10, 3, 3, 14, 5491, 6.1e-5 + - 22: 2, 10, 560, 22, 2, 13, 1, 16, 2, 3, 14, 9557, 6.3e-5 + # no solution starting from log norm2 = 23 + + - 2: # bits + -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error + - 0 : 2, 10, 589, 2, 15, 6, 2, 1, 11, 1, 29, 277, 6.2e-5 + - 1 : 2, 10, 554, 3, 12, 6, 2, 1, 12, 1, 29, 332, 6.0e-5 + - 2 : 2, 10, 532, 2, 15, 6, 2, 2, 7, 1, 29, 425, 5.9e-5 + - 3 : 2, 10, 551, 2, 15, 6, 2, 2, 7, 1, 29, 437, 6.2e-5 + - 4 : 2, 10, 535, 3, 12, 6, 2, 2, 8, 1, 29, 537, 5.4e-5 + - 5 : 2, 10, 606, 3, 12, 7, 2, 2, 8, 1, 29, 600, 6.3e-5 + - 6 : 2, 10, 533, 4, 9, 6, 2, 2, 9, 2, 19, 740, 5.0e-5 + - 7 : 2, 10, 556, 4, 9, 6, 2, 2, 9, 2, 19, 764, 5.9e-5 + - 8 : 2, 10, 572, 5, 8, 6, 2, 2, 10, 2, 19, 898, 6.1e-5 + - 9 : 2, 10, 549, 4, 9, 6, 2, 3, 7, 2, 19, 1069, 6.0e-5 + - 10: 2, 10, 552, 5, 8, 6, 2, 3, 7, 2, 19, 1231, 5.6e-5 + - 11: 2, 10, 531, 7, 6, 11, 1, 3, 8, 2, 19, 1521, 5.9e-5 + - 12: 2, 10, 563, 8, 5, 12, 1, 3, 8, 2, 19, 1762, 6.1e-5 + - 13: 2, 10, 569, 7, 6, 12, 1, 4, 6, 2, 19, 2074, 6.2e-5 + - 14: 2, 10, 544, 8, 5, 12, 1, 5, 5, 2, 19, 2689, 6.0e-5 + - 15: 2, 10, 532, 8, 5, 12, 1, 7, 4, 2, 19, 3600, 6.3e-5 + - 16: 2, 10, 535, 11, 4, 12, 1, 7, 4, 2, 19, 4603, 5.9e-5 + - 17: 2, 10, 561, 15, 3, 12, 1, 7, 4, 3, 14, 6511, 6.2e-5 + - 18: 2, 10, 555, 15, 3, 12, 1, 10, 3, 3, 14, 9042, 6.2e-5 + - 19: 2, 10, 556, 22, 2, 12, 1, 15, 2, 3, 14, 18326, 6.2e-5 + - 20: 2, 10, 552, 44, 1, 12, 1, 32, 1, 3, 14, 70580, 5.9e-5 + # no solution starting from log norm2 = 21 + + - 3: # bits + -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error + - 0 : 2, 10, 573, 2, 15, 6, 2, 2, 7, 1, 29, 709, 5.8e-5 + - 1 : 2, 10, 568, 3, 12, 6, 2, 2, 8, 1, 29, 890, 5.6e-5 + - 2 : 2, 10, 579, 3, 12, 6, 2, 2, 8, 1, 29, 905, 5.5e-5 + - 3 : 2, 10, 600, 3, 12, 7, 2, 2, 8, 2, 19, 1083, 6.2e-5 + - 4 : 2, 10, 574, 4, 9, 6, 2, 2, 9, 2, 19, 1230, 5.8e-5 + - 5 : 2, 10, 576, 5, 8, 6, 2, 2, 10, 2, 19, 1423, 6.2e-5 + - 6 : 2, 10, 585, 6, 7, 6, 2, 2, 10, 2, 19, 1632, 5.7e-5 + - 7 : 2, 10, 573, 5, 8, 6, 2, 3, 7, 2, 19, 1969, 5.9e-5 + - 8 : 2, 10, 588, 6, 7, 6, 2, 3, 8, 2, 19, 2275, 6.1e-5 + - 9 : 2, 10, 584, 7, 6, 13, 1, 3, 8, 2, 19, 2574, 6.3e-5 + - 10: 2, 10, 614, 6, 7, 14, 1, 4, 6, 2, 19, 3071, 6.3e-5 + - 11: 2, 10, 568, 7, 6, 13, 1, 5, 5, 2, 19, 3892, 6.2e-5 + - 12: 2, 10, 629, 9, 5, 14, 1, 5, 5, 2, 19, 5117, 6.3e-5 + - 13: 2, 10, 594, 8, 5, 13, 1, 7, 4, 2, 19, 6025, 6.1e-5 + - 14: 2, 10, 606, 11, 4, 14, 1, 7, 4, 2, 19, 7848, 6.2e-5 + - 15: 2, 10, 577, 14, 3, 13, 1, 10, 3, 2, 19, 12730, 6.0e-5 + - 16: 2, 10, 578, 22, 2, 13, 1, 10, 3, 3, 14, 19539, 5.7e-5 + - 17: 2, 10, 603, 22, 2, 14, 1, 16, 2, 3, 14, 31741, 6.2e-5 + # no solution starting from log norm2 = 18 + + - 4: # bits + -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error + - 0 : 2, 10, 570, 2, 15, 6, 2, 2, 7, 1, 29, 1347, 5.7e-5 + - 1 : 2, 10, 562, 3, 12, 6, 2, 2, 8, 1, 29, 1678, 5.2e-5 + - 2 : 2, 10, 581, 3, 12, 6, 2, 2, 8, 1, 29, 1725, 5.8e-5 + - 3 : 2, 10, 560, 4, 9, 6, 2, 2, 9, 2, 19, 2305, 6.3e-5 + - 4 : 2, 10, 572, 4, 9, 6, 2, 2, 9, 2, 19, 2343, 5.5e-5 + - 5 : 2, 10, 576, 5, 8, 6, 2, 2, 10, 2, 19, 2709, 6.1e-5 + - 6 : 2, 10, 594, 6, 7, 7, 2, 2, 10, 2, 19, 3155, 6.2e-5 + - 7 : 2, 10, 570, 5, 8, 6, 2, 3, 7, 2, 19, 3788, 5.8e-5 + - 8 : 2, 10, 607, 6, 7, 7, 2, 3, 8, 2, 19, 4514, 6.2e-5 + - 9 : 2, 10, 566, 8, 5, 12, 1, 3, 8, 2, 19, 5309, 6.3e-5 + - 10: 2, 10, 568, 7, 6, 12, 1, 4, 6, 2, 19, 6213, 5.6e-5 + - 11: 2, 10, 571, 7, 6, 13, 1, 5, 5, 2, 19, 7636, 6.1e-5 + - 12: 2, 10, 569, 7, 6, 13, 1, 7, 4, 2, 19, 10373, 6.0e-5 + - 13: 2, 10, 590, 9, 5, 13, 1, 7, 4, 2, 19, 12859, 6.3e-5 + - 14: 2, 10, 585, 14, 3, 13, 1, 7, 4, 2, 19, 18166, 6.0e-5 + - 15: 2, 10, 603, 14, 3, 14, 1, 10, 3, 2, 19, 26126, 6.2e-5 + - 16: 2, 10, 609, 22, 2, 14, 1, 10, 3, 3, 14, 40388, 6.2e-5 + - 17: 2, 10, 576, 44, 1, 13, 1, 16, 2, 3, 14, 111854, 5.8e-5 + # no solution starting from log norm2 = 18 + + - 5: # bits + -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error + - 0 : 2, 10, 570, 2, 15, 6, 2, 2, 7, 1, 29, 1347, 5.7e-5 + - 1 : 2, 10, 562, 3, 12, 6, 2, 2, 8, 1, 29, 1678, 5.2e-5 + - 2 : 2, 10, 581, 3, 12, 6, 2, 2, 8, 1, 29, 1725, 5.8e-5 + - 3 : 2, 10, 560, 4, 9, 6, 2, 2, 9, 2, 19, 2305, 6.3e-5 + - 4 : 2, 10, 572, 4, 9, 6, 2, 2, 9, 2, 19, 2343, 5.5e-5 + - 5 : 2, 10, 576, 5, 8, 6, 2, 2, 10, 2, 19, 2709, 6.1e-5 + - 6 : 2, 10, 594, 6, 7, 7, 2, 2, 10, 2, 19, 3155, 6.2e-5 + - 7 : 2, 10, 570, 5, 8, 6, 2, 3, 7, 2, 19, 3788, 5.8e-5 + - 8 : 2, 10, 607, 6, 7, 7, 2, 3, 8, 2, 19, 4514, 6.2e-5 + - 9 : 2, 10, 566, 8, 5, 12, 1, 3, 8, 2, 19, 5309, 6.3e-5 + - 10: 2, 10, 568, 7, 6, 12, 1, 4, 6, 2, 19, 6213, 5.6e-5 + - 11: 2, 10, 571, 7, 6, 13, 1, 5, 5, 2, 19, 7636, 6.1e-5 + - 12: 2, 10, 569, 7, 6, 13, 1, 7, 4, 2, 19, 10373, 6.0e-5 + - 13: 2, 10, 590, 9, 5, 13, 1, 7, 4, 2, 19, 12859, 6.3e-5 + - 14: 2, 10, 585, 14, 3, 13, 1, 7, 4, 2, 19, 18166, 6.0e-5 + - 15: 2, 10, 603, 14, 3, 14, 1, 10, 3, 2, 19, 26126, 6.2e-5 + - 16: 2, 10, 609, 22, 2, 14, 1, 10, 3, 3, 14, 40388, 6.2e-5 + - 17: 2, 10, 576, 44, 1, 13, 1, 16, 2, 3, 14, 111854, 5.8e-5 + # no solution starting from log norm2 = 18 + + - 6: # bits + -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error + - 0 : 2, 10, 573, 2, 15, 6, 2, 2, 7, 1, 29, 1611, 5.6e-5 + - 1 : 2, 10, 562, 3, 12, 6, 2, 2, 8, 1, 29, 2001, 6.2e-5 + - 2 : 2, 10, 588, 3, 12, 6, 2, 2, 8, 1, 29, 2078, 6.3e-5 + - 3 : 2, 10, 561, 4, 9, 6, 2, 2, 9, 2, 19, 2748, 5.5e-5 + - 4 : 2, 10, 575, 4, 9, 6, 2, 2, 9, 2, 19, 2800, 6.0e-5 + - 5 : 2, 10, 582, 5, 8, 6, 2, 2, 10, 2, 19, 3256, 5.8e-5 + - 6 : 2, 10, 619, 6, 7, 7, 2, 2, 10, 2, 19, 3894, 6.3e-5 + - 7 : 2, 10, 573, 5, 8, 6, 2, 3, 7, 2, 19, 4505, 5.8e-5 + - 8 : 2, 10, 567, 7, 6, 6, 2, 3, 8, 2, 19, 5631, 5.3e-5 + - 9 : 2, 10, 570, 8, 5, 13, 1, 3, 8, 2, 19, 6349, 6.3e-5 + - 10: 2, 10, 573, 7, 6, 12, 1, 4, 6, 2, 19, 7392, 6.3e-5 + - 11: 2, 10, 579, 7, 6, 13, 1, 5, 5, 2, 19, 9103, 6.1e-5 + - 12: 2, 10, 576, 7, 6, 13, 1, 7, 4, 2, 19, 12314, 5.9e-5 + - 13: 2, 10, 595, 10, 4, 13, 1, 7, 4, 2, 19, 16522, 6.3e-5 + - 14: 2, 10, 610, 14, 3, 14, 1, 7, 4, 2, 19, 22200, 6.2e-5 + - 15: 2, 10, 579, 14, 3, 13, 1, 10, 3, 3, 14, 31243, 5.9e-5 + - 16: 2, 10, 606, 22, 2, 14, 1, 11, 3, 3, 14, 51665, 6.3e-5 + - 17: 2, 10, 588, 44, 1, 13, 1, 16, 2, 3, 14, 133586, 6.1e-5 + # no solution starting from log norm2 = 18 + + - 7: # bits + -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error + - 0 : 2, 10, 598, 2, 15, 6, 2, 2, 7, 1, 29, 1933, 6.3e-5 + - 1 : 2, 10, 573, 3, 12, 6, 2, 2, 8, 1, 29, 2362, 6.1e-5 + - 2 : 2, 10, 584, 3, 12, 6, 2, 2, 8, 2, 19, 2784, 6.1e-5 + - 3 : 2, 10, 571, 4, 9, 6, 2, 2, 9, 2, 19, 3231, 5.3e-5 + - 4 : 2, 10, 601, 4, 9, 7, 2, 2, 9, 2, 19, 3380, 6.1e-5 + - 5 : 2, 10, 576, 6, 7, 6, 2, 2, 10, 2, 19, 4245, 6.0e-5 + - 6 : 2, 10, 593, 4, 9, 7, 2, 3, 7, 2, 19, 4661, 6.0e-5 + - 7 : 2, 10, 595, 5, 8, 7, 2, 3, 7, 2, 19, 5381, 5.8e-5 + - 8 : 2, 10, 582, 7, 6, 6, 2, 3, 8, 2, 19, 6655, 5.9e-5 + - 9 : 2, 10, 577, 6, 7, 13, 1, 4, 6, 2, 19, 7718, 5.7e-5 + - 10: 2, 10, 586, 6, 7, 13, 1, 5, 5, 2, 19, 9504, 6.0e-5 + - 11: 2, 10, 588, 8, 5, 13, 1, 5, 5, 2, 19, 11701, 5.9e-5 + - 12: 2, 10, 573, 8, 5, 13, 1, 7, 4, 2, 19, 15526, 5.8e-5 + - 13: 2, 10, 576, 11, 4, 13, 1, 7, 4, 2, 19, 19916, 5.8e-5 + - 14: 2, 10, 587, 11, 4, 13, 1, 10, 3, 2, 19, 28211, 6.0e-5 + - 15: 2, 10, 618, 15, 3, 14, 1, 10, 3, 3, 14, 40057, 6.3e-5 + - 16: 2, 10, 610, 22, 2, 14, 1, 15, 2, 3, 14, 80190, 6.3e-5 + - 17: 2, 10, 606, 44, 1, 14, 1, 32, 1, 3, 14, 309282, 6.2e-5 + # no solution starting from log norm2 = 18 + + - 8: # bits + -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error + - 0 : 2, 10, 602, 2, 15, 7, 2, 2, 7, 1, 29, 2234, 6.2e-5 + - 1 : 2, 10, 575, 3, 12, 6, 2, 2, 8, 1, 29, 2699, 5.2e-5 + - 2 : 2, 10, 588, 3, 12, 6, 2, 2, 8, 2, 19, 3182, 6.1e-5 + - 3 : 2, 10, 572, 4, 9, 6, 2, 2, 9, 2, 19, 3682, 5.1e-5 + - 4 : 2, 10, 615, 4, 9, 7, 2, 2, 9, 2, 19, 3916, 6.2e-5 + - 5 : 2, 10, 578, 6, 7, 6, 2, 2, 10, 2, 19, 4850, 5.9e-5 + - 6 : 2, 10, 600, 4, 9, 7, 2, 3, 7, 2, 19, 5335, 6.3e-5 + - 7 : 2, 10, 603, 5, 8, 7, 2, 3, 7, 2, 19, 6171, 6.1e-5 + - 8 : 2, 10, 585, 7, 6, 6, 2, 3, 8, 2, 19, 7589, 6.2e-5 + - 9 : 2, 10, 582, 6, 7, 13, 1, 4, 6, 2, 19, 8804, 5.8e-5 + - 10: 2, 10, 596, 6, 7, 13, 1, 5, 5, 2, 19, 10900, 6.3e-5 + - 11: 2, 10, 599, 8, 5, 13, 1, 5, 5, 2, 19, 13450, 6.2e-5 + - 12: 2, 10, 577, 8, 5, 13, 1, 7, 4, 2, 19, 17645, 5.6e-5 + - 13: 2, 10, 580, 11, 4, 13, 1, 7, 4, 2, 19, 22646, 6.3e-5 + - 14: 2, 10, 598, 11, 4, 13, 1, 10, 3, 2, 19, 32360, 6.3e-5 + - 15: 2, 10, 588, 21, 2, 13, 1, 10, 3, 3, 14, 57205, 6.0e-5 + - 16: 2, 10, 579, 22, 2, 13, 1, 16, 2, 3, 14, 91827, 6.2e-5 + - 17: 2, 10, 606, 45, 1, 14, 1, 33, 1, 3, 14, 366559, 6.3e-5 + # no solution starting from log norm2 = 18 + + - 9: # bits + -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error + - 0 : 2, 10, 641, 2, 15, 15, 1, 2, 7, 1, 29, 3069, 6.3e-5 + - 1 : 2, 10, 577, 3, 12, 6, 2, 2, 8, 1, 29, 3278, 6.0e-5 + - 2 : 2, 10, 599, 3, 12, 6, 2, 2, 8, 2, 19, 3912, 6.1e-5 + - 3 : 2, 10, 573, 4, 9, 6, 2, 2, 9, 2, 19, 4469, 5.9e-5 + - 4 : 2, 10, 575, 5, 8, 6, 2, 2, 10, 2, 19, 5165, 6.0e-5 + - 5 : 2, 10, 582, 6, 7, 6, 2, 2, 10, 2, 19, 5907, 6.1e-5 + - 6 : 2, 10, 572, 5, 8, 6, 2, 3, 7, 2, 19, 7167, 6.1e-5 + - 7 : 2, 10, 585, 6, 7, 6, 2, 3, 8, 2, 19, 8253, 5.9e-5 + - 8 : 2, 10, 591, 7, 6, 7, 2, 3, 8, 2, 19, 9317, 6.1e-5 + - 9 : 2, 10, 598, 6, 7, 13, 1, 4, 6, 2, 19, 10942, 6.1e-5 + - 10: 2, 10, 617, 8, 5, 14, 1, 4, 6, 2, 19, 13830, 6.3e-5 + - 11: 2, 10, 603, 9, 5, 14, 1, 5, 5, 2, 19, 18018, 6.3e-5 + - 12: 2, 10, 586, 8, 5, 13, 1, 7, 4, 2, 19, 21775, 6.2e-5 + - 13: 2, 10, 594, 11, 4, 13, 1, 7, 4, 2, 19, 28161, 6.3e-5 + - 14: 2, 10, 602, 11, 4, 14, 1, 10, 3, 3, 14, 42351, 6.1e-5 + - 15: 2, 10, 575, 22, 2, 13, 1, 10, 3, 3, 14, 71135, 5.6e-5 + - 16: 2, 10, 592, 22, 2, 13, 1, 16, 2, 3, 14, 114283, 6.2e-5 + # no solution starting from log norm2 = 17 + + - 10: # bits + -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error + - 0 : 2, 10, 616, 3, 12, 7, 2, 2, 8, 2, 19, 4115, 6.0e-5 + - 1 : 2, 10, 601, 4, 9, 7, 2, 2, 9, 2, 19, 4780, 6.0e-5 + - 2 : 2, 10, 655, 4, 9, 7, 2, 2, 9, 2, 19, 5114, 6.3e-5 + - 3 : 2, 10, 607, 6, 7, 7, 2, 2, 10, 2, 19, 6311, 6.3e-5 + - 4 : 2, 10, 635, 4, 9, 7, 2, 3, 7, 2, 19, 6891, 6.1e-5 + - 5 : 2, 10, 635, 5, 8, 7, 2, 3, 7, 2, 19, 7959, 6.3e-5 + - 6 : 2, 10, 614, 7, 6, 7, 2, 3, 8, 2, 19, 9813, 6.3e-5 + - 7 : 2, 10, 624, 6, 7, 7, 2, 4, 6, 2, 19, 11338, 6.3e-5 + - 8 : 2, 10, 620, 8, 5, 14, 1, 4, 6, 2, 19, 14111, 6.1e-5 + - 9 : 2, 10, 632, 8, 5, 14, 1, 5, 5, 2, 19, 17378, 6.3e-5 + - 10: 2, 10, 608, 8, 5, 14, 1, 7, 4, 2, 19, 22698, 5.9e-5 + - 11: 2, 10, 612, 11, 4, 14, 1, 7, 4, 2, 19, 29224, 5.9e-5 + - 12: 2, 10, 634, 11, 4, 15, 1, 10, 3, 2, 19, 41872, 6.3e-5 + - 13: 2, 10, 621, 21, 2, 14, 1, 10, 3, 3, 14, 73793, 6.0e-5 + - 14: 2, 10, 611, 22, 2, 14, 1, 16, 2, 3, 14, 118141, 6.1e-5 + # no solution starting from log norm2 = 15 + + - 11: # bits + -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error + - 0 : 2, 10, 596, 3, 12, 6, 2, 2, 8, 1, 29, 4049, 5.9e-5 + - 1 : 2, 10, 575, 4, 9, 6, 2, 2, 9, 2, 19, 5379, 6.0e-5 + - 2 : 2, 10, 587, 4, 9, 6, 2, 2, 9, 2, 19, 5465, 5.7e-5 + - 3 : 2, 10, 592, 5, 8, 6, 2, 2, 10, 2, 19, 6350, 5.8e-5 + - 4 : 2, 10, 605, 6, 7, 7, 2, 2, 10, 2, 19, 7362, 6.1e-5 + - 5 : 2, 10, 585, 5, 8, 6, 2, 3, 7, 2, 19, 8721, 5.9e-5 + - 6 : 2, 10, 616, 6, 7, 7, 2, 3, 8, 2, 19, 10328, 6.2e-5 + - 7 : 2, 10, 579, 8, 5, 13, 1, 3, 8, 2, 19, 12277, 5.7e-5 + - 8 : 2, 10, 580, 7, 6, 13, 1, 4, 6, 2, 19, 14187, 5.5e-5 + - 9 : 2, 10, 584, 7, 6, 13, 1, 5, 5, 2, 19, 17319, 6.0e-5 + - 10: 2, 10, 582, 7, 6, 13, 1, 7, 4, 2, 19, 23355, 6.1e-5 + - 11: 2, 10, 601, 9, 5, 14, 1, 7, 4, 2, 19, 28935, 6.0e-5 + - 12: 2, 10, 596, 14, 3, 13, 1, 7, 4, 2, 19, 40923, 6.1e-5 + - 13: 2, 10, 609, 14, 3, 14, 1, 10, 3, 2, 19, 58034, 6.3e-5 + - 14: 2, 10, 613, 22, 2, 14, 1, 10, 3, 3, 14, 89454, 6.3e-5 + - 15: 2, 10, 588, 44, 1, 13, 1, 16, 2, 3, 14, 249789, 6.2e-5 + # no solution starting from log norm2 = 16 + + - 12: # bits + -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error + - 0 : 2, 10, 600, 3, 12, 7, 2, 2, 8, 2, 19, 5120, 5.8e-5 + - 1 : 2, 10, 592, 4, 9, 6, 2, 2, 9, 2, 19, 5960, 5.6e-5 + - 2 : 2, 10, 615, 4, 9, 7, 2, 2, 9, 2, 19, 6173, 6.0e-5 + - 3 : 2, 10, 654, 5, 8, 8, 2, 2, 10, 2, 19, 7534, 6.3e-5 + - 4 : 2, 10, 609, 4, 9, 7, 2, 3, 7, 2, 19, 8474, 5.8e-5 + - 5 : 2, 10, 610, 5, 8, 7, 2, 3, 7, 2, 19, 9786, 5.9e-5 + - 6 : 2, 10, 599, 7, 6, 7, 2, 3, 8, 2, 19, 12201, 5.5e-5 + - 7 : 2, 10, 604, 6, 7, 7, 2, 4, 6, 2, 19, 14026, 6.1e-5 + - 8 : 2, 10, 642, 7, 6, 15, 1, 4, 6, 2, 19, 16758, 6.3e-5 + - 9 : 2, 10, 603, 8, 5, 13, 1, 5, 5, 2, 19, 21187, 6.3e-5 + - 10: 2, 10, 591, 8, 5, 13, 1, 7, 4, 2, 19, 28146, 5.7e-5 + - 11: 2, 10, 593, 11, 4, 13, 1, 7, 4, 2, 19, 36105, 6.1e-5 + - 12: 2, 10, 602, 11, 4, 14, 1, 10, 3, 2, 19, 50861, 6.1e-5 + - 13: 2, 10, 622, 15, 3, 14, 1, 10, 3, 3, 14, 70996, 6.3e-5 + - 14: 2, 10, 618, 22, 2, 14, 1, 15, 2, 3, 14, 142704, 6.2e-5 + - 15: 2, 10, 616, 44, 1, 14, 1, 32, 1, 3, 14, 551071, 6.2e-5 + # no solution starting from log norm2 = 16 + + - 13: # bits + -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error + - 0 : 2, 10, 601, 3, 12, 7, 2, 2, 8, 2, 19, 5428, 6.3e-5 + - 1 : 2, 10, 592, 4, 9, 6, 2, 2, 9, 2, 19, 6305, 6.1e-5 + - 2 : 2, 10, 620, 4, 9, 7, 2, 2, 9, 2, 19, 6571, 6.1e-5 + - 3 : 2, 10, 595, 6, 7, 7, 2, 2, 10, 2, 19, 8317, 5.6e-5 + - 4 : 2, 10, 612, 4, 9, 7, 2, 3, 7, 2, 19, 9030, 6.1e-5 + - 5 : 2, 10, 613, 5, 8, 7, 2, 3, 7, 2, 19, 10424, 6.2e-5 + - 6 : 2, 10, 600, 7, 6, 7, 2, 3, 8, 2, 19, 12956, 5.9e-5 + - 7 : 2, 10, 596, 6, 7, 13, 1, 4, 6, 2, 19, 14962, 6.3e-5 + - 8 : 2, 10, 605, 6, 7, 14, 1, 5, 5, 2, 19, 18429, 6.3e-5 + - 9 : 2, 10, 606, 8, 5, 14, 1, 5, 5, 2, 19, 22679, 6.3e-5 + - 10: 2, 10, 592, 8, 5, 13, 1, 7, 4, 2, 19, 30051, 6.3e-5 + - 11: 2, 10, 595, 11, 4, 13, 1, 7, 4, 2, 19, 38597, 6.3e-5 + - 12: 2, 10, 606, 11, 4, 14, 1, 10, 3, 2, 19, 54605, 6.3e-5 + - 13: 2, 10, 648, 15, 3, 15, 1, 11, 3, 3, 14, 85916, 6.3e-5 + - 14: 2, 10, 632, 22, 2, 15, 1, 15, 2, 3, 14, 155618, 6.2e-5 + - 15: 2, 10, 629, 44, 1, 15, 1, 32, 1, 3, 14, 601393, 6.3e-5 + # no solution starting from log norm2 = 16 + + - 14: # bits + -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error + - 0 : 2, 10, 605, 3, 12, 7, 2, 2, 8, 2, 19, 6255, 5.9e-5 + - 1 : 2, 10, 593, 4, 9, 6, 2, 2, 9, 2, 19, 7243, 6.1e-5 + - 2 : 2, 10, 637, 4, 9, 7, 2, 2, 9, 2, 19, 7700, 6.3e-5 + - 3 : 2, 10, 597, 6, 7, 7, 2, 2, 10, 2, 19, 9573, 5.4e-5 + - 4 : 2, 10, 621, 4, 9, 7, 2, 3, 7, 2, 19, 10444, 6.2e-5 + - 5 : 2, 10, 623, 5, 8, 7, 2, 3, 7, 2, 19, 12079, 6.0e-5 + - 6 : 2, 10, 603, 7, 6, 7, 2, 3, 8, 2, 19, 14887, 6.0e-5 + - 7 : 2, 10, 612, 6, 7, 7, 2, 4, 6, 2, 19, 17211, 6.2e-5 + - 8 : 2, 10, 618, 6, 7, 14, 1, 5, 5, 2, 19, 21383, 6.1e-5 + - 9 : 2, 10, 619, 8, 5, 14, 1, 5, 5, 2, 19, 26336, 6.1e-5 + - 10: 2, 10, 596, 8, 5, 14, 1, 7, 4, 2, 19, 34461, 6.2e-5 + - 11: 2, 10, 600, 11, 4, 14, 1, 7, 4, 2, 19, 44325, 6.0e-5 + - 12: 2, 10, 620, 11, 4, 14, 1, 10, 3, 2, 19, 63366, 6.1e-5 + - 13: 2, 10, 608, 21, 2, 14, 1, 10, 3, 3, 14, 111768, 6.1e-5 + - 14: 2, 10, 599, 22, 2, 14, 1, 16, 2, 3, 14, 179260, 6.2e-5 + - 15: 2, 10, 634, 45, 1, 15, 1, 33, 1, 3, 14, 723513, 6.3e-5 + # no solution starting from log norm2 = 16 + + - 15: # bits + -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error + - 0 : 2, 10, 615, 4, 9, 7, 2, 2, 9, 2, 19, 7129, 5.8e-5 + - 1 : 2, 10, 635, 4, 9, 7, 2, 2, 9, 2, 19, 7311, 6.0e-5 + - 2 : 2, 10, 652, 5, 8, 7, 2, 2, 10, 2, 19, 8642, 6.3e-5 + - 3 : 2, 10, 631, 4, 9, 7, 2, 3, 7, 2, 19, 10029, 6.0e-5 + - 4 : 2, 10, 631, 5, 8, 7, 2, 3, 7, 2, 19, 11582, 6.1e-5 + - 5 : 2, 10, 623, 7, 6, 7, 2, 3, 8, 2, 19, 14531, 5.9e-5 + - 6 : 2, 10, 627, 6, 7, 7, 2, 4, 6, 2, 19, 16631, 6.2e-5 + - 7 : 2, 10, 639, 7, 6, 15, 1, 4, 6, 2, 19, 19203, 6.3e-5 + - 8 : 2, 10, 622, 8, 5, 14, 1, 5, 5, 2, 19, 25033, 6.3e-5 + - 9 : 2, 10, 614, 8, 5, 14, 1, 7, 4, 2, 19, 33387, 6.2e-5 + - 10: 2, 10, 616, 11, 4, 14, 1, 7, 4, 2, 19, 42877, 6.0e-5 + - 11: 2, 10, 662, 14, 3, 15, 1, 7, 4, 3, 14, 58507, 6.3e-5 + - 12: 2, 10, 634, 15, 3, 15, 1, 10, 3, 3, 14, 82775, 6.1e-5 + - 13: 2, 10, 632, 22, 2, 14, 1, 15, 2, 3, 14, 166759, 6.3e-5 + - 14: 2, 10, 631, 44, 1, 15, 1, 32, 1, 3, 14, 644993, 6.2e-5 + # no solution starting from log norm2 = 15 + + - 16: # bits + -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error + - 0 : 2, 10, 668, 3, 12, 15, 1, 2, 8, 2, 19, 7551, 6.3e-5 + - 1 : 2, 10, 606, 4, 9, 7, 2, 2, 9, 2, 19, 7890, 5.8e-5 + - 2 : 2, 10, 609, 5, 8, 7, 2, 2, 10, 2, 19, 9144, 6.2e-5 + - 3 : 2, 10, 621, 6, 7, 7, 2, 2, 10, 2, 19, 10538, 6.1e-5 + - 4 : 2, 10, 605, 5, 8, 7, 2, 3, 7, 2, 19, 12557, 5.6e-5 + - 5 : 2, 10, 628, 6, 7, 7, 2, 3, 8, 2, 19, 14660, 6.2e-5 + - 6 : 2, 10, 636, 5, 8, 14, 1, 4, 6, 2, 19, 16973, 6.2e-5 + - 7 : 2, 10, 610, 7, 6, 7, 2, 4, 6, 2, 19, 20375, 5.9e-5 + - 8 : 2, 10, 604, 7, 6, 13, 1, 5, 5, 2, 19, 24814, 6.3e-5 + - 9 : 2, 10, 629, 8, 5, 15, 1, 6, 5, 2, 19, 33362, 6.2e-5 + - 10: 2, 10, 615, 9, 5, 14, 1, 7, 4, 2, 19, 41066, 6.0e-5 + - 11: 2, 10, 611, 14, 3, 14, 1, 7, 4, 2, 19, 58256, 6.0e-5 + - 12: 2, 10, 619, 14, 3, 14, 1, 10, 3, 2, 19, 81840, 6.2e-5 + - 13: 2, 10, 621, 22, 2, 14, 1, 10, 3, 3, 14, 125726, 6.2e-5 + - 14: 2, 10, 606, 44, 1, 14, 1, 16, 2, 3, 14, 356621, 6.3e-5 + # no solution starting from log norm2 = 15 diff --git a/compilers/concrete-optimizer/v0-parameters/ref/wop_pbs_2023-8-9_128 b/compilers/concrete-optimizer/v0-parameters/ref/wop_pbs_2023-8-9_128 new file mode 100644 index 0000000000..4871fc9a3c --- /dev/null +++ b/compilers/concrete-optimizer/v0-parameters/ref/wop_pbs_2023-8-9_128 @@ -0,0 +1,342 @@ +security level: 128 +target p_error: 6.3e-5 +per precision and log norm2: + + - 1: # bits + -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error + - 0 : 2, 10, 597, 2, 15, 3, 3, 1, 10, 1, 25, 99, 6.1e-5 + - 1 : 2, 10, 607, 2, 15, 3, 3, 1, 10, 1, 25, 100, 6.2e-5 + - 2 : 2, 10, 582, 2, 15, 5, 2, 1, 11, 2, 17, 126, 5.6e-5 + - 3 : 2, 10, 569, 3, 12, 5, 2, 1, 13, 2, 17, 147, 6.2e-5 + - 4 : 2, 10, 596, 3, 12, 5, 2, 1, 13, 2, 17, 152, 5.9e-5 + - 5 : 2, 10, 590, 4, 9, 5, 2, 1, 14, 2, 17, 175, 6.1e-5 + - 6 : 2, 10, 623, 5, 8, 6, 2, 1, 14, 3, 13, 234, 6.3e-5 + - 7 : 2, 10, 572, 3, 12, 5, 2, 2, 8, 2, 17, 285, 5.8e-5 + - 8 : 2, 10, 636, 3, 12, 6, 2, 2, 8, 2, 17, 308, 6.3e-5 + - 9 : 2, 10, 578, 4, 9, 5, 2, 2, 9, 2, 17, 334, 5.9e-5 + - 10: 2, 10, 620, 5, 8, 6, 2, 2, 10, 2, 17, 405, 6.3e-5 + - 11: 2, 10, 595, 6, 7, 5, 2, 2, 10, 3, 13, 487, 6.1e-5 + - 12: 2, 10, 584, 5, 8, 5, 2, 3, 7, 2, 17, 571, 5.6e-5 + - 13: 2, 10, 586, 6, 7, 11, 1, 3, 8, 3, 13, 731, 6.3e-5 + - 14: 2, 10, 624, 7, 6, 12, 1, 3, 8, 3, 13, 843, 6.3e-5 + - 15: 2, 10, 571, 7, 6, 10, 1, 4, 6, 3, 13, 1040, 5.9e-5 + - 16: 2, 10, 575, 7, 6, 10, 1, 5, 5, 3, 13, 1301, 6.1e-5 + - 17: 2, 10, 610, 8, 5, 11, 1, 6, 5, 3, 13, 1778, 6.3e-5 + - 18: 2, 10, 593, 9, 5, 11, 1, 7, 4, 3, 13, 2196, 6.0e-5 + - 19: 2, 10, 635, 11, 4, 12, 1, 7, 4, 5, 9, 3020, 6.3e-5 + - 20: 2, 10, 574, 14, 3, 11, 1, 10, 3, 4, 10, 4467, 5.8e-5 + - 21: 2, 10, 602, 22, 2, 11, 1, 10, 3, 4, 10, 6614, 6.2e-5 + - 22: 2, 10, 587, 44, 1, 11, 1, 16, 2, 4, 10, 18816, 6.2e-5 + # no solution starting from log norm2 = 23 + + - 2: # bits + -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error + - 0 : 2, 10, 615, 3, 12, 5, 2, 1, 13, 2, 17, 406, 6.0e-5 + - 1 : 2, 10, 617, 3, 12, 6, 2, 1, 13, 2, 17, 412, 5.6e-5 + - 2 : 2, 10, 621, 2, 15, 6, 2, 2, 7, 1, 25, 480, 5.6e-5 + - 3 : 2, 10, 628, 5, 8, 6, 2, 1, 14, 2, 17, 572, 6.1e-5 + - 4 : 2, 10, 609, 3, 12, 6, 2, 2, 8, 2, 17, 694, 5.8e-5 + - 5 : 2, 10, 623, 3, 12, 6, 2, 2, 8, 2, 17, 705, 6.1e-5 + - 6 : 2, 10, 612, 4, 9, 6, 2, 2, 9, 2, 17, 822, 5.1e-5 + - 7 : 2, 10, 649, 4, 9, 6, 2, 2, 9, 2, 17, 860, 6.1e-5 + - 8 : 2, 10, 611, 4, 9, 6, 2, 3, 7, 2, 17, 1157, 5.8e-5 + - 9 : 2, 10, 643, 4, 9, 6, 2, 3, 7, 2, 17, 1202, 6.3e-5 + - 10: 2, 10, 635, 5, 8, 6, 2, 3, 7, 3, 13, 1517, 6.3e-5 + - 11: 2, 10, 669, 5, 8, 6, 2, 4, 6, 2, 17, 1845, 6.3e-5 + - 12: 2, 10, 618, 6, 7, 12, 1, 4, 6, 3, 13, 2183, 6.0e-5 + - 13: 2, 10, 623, 8, 5, 12, 1, 4, 6, 3, 13, 2656, 6.3e-5 + - 14: 2, 10, 631, 8, 5, 12, 1, 5, 5, 3, 13, 3282, 5.9e-5 + - 15: 2, 10, 616, 8, 5, 12, 1, 7, 4, 3, 13, 4398, 6.2e-5 + - 16: 2, 10, 630, 11, 4, 12, 1, 7, 4, 3, 13, 5637, 6.2e-5 + - 17: 2, 10, 675, 15, 3, 13, 1, 7, 4, 4, 10, 7971, 6.3e-5 + - 18: 2, 10, 664, 15, 3, 13, 1, 10, 3, 5, 9, 11500, 6.3e-5 + - 19: 2, 10, 621, 22, 2, 12, 1, 16, 2, 4, 10, 22289, 6.1e-5 + - 20: 2, 10, 660, 44, 1, 13, 1, 32, 1, 5, 9, 86564, 6.3e-5 + # no solution starting from log norm2 = 21 + + - 3: # bits + -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error + - 0 : 2, 10, 688, 2, 15, 6, 2, 2, 7, 1, 25, 822, 6.0e-5 + - 1 : 2, 10, 729, 5, 8, 7, 2, 1, 14, 2, 17, 1069, 6.3e-5 + - 2 : 2, 10, 654, 3, 12, 6, 2, 2, 8, 2, 17, 1147, 6.1e-5 + - 3 : 2, 10, 692, 3, 12, 7, 2, 2, 8, 2, 17, 1205, 6.3e-5 + - 4 : 2, 10, 660, 4, 9, 6, 2, 2, 9, 2, 17, 1372, 5.6e-5 + - 5 : 2, 10, 687, 5, 8, 7, 2, 2, 9, 2, 17, 1649, 6.1e-5 + - 6 : 2, 10, 659, 4, 9, 6, 2, 3, 7, 2, 17, 1902, 5.8e-5 + - 7 : 2, 10, 664, 5, 8, 6, 2, 3, 7, 2, 17, 2213, 5.8e-5 + - 8 : 2, 10, 679, 6, 7, 7, 2, 3, 8, 3, 13, 2784, 6.0e-5 + - 9 : 2, 10, 703, 7, 6, 7, 2, 3, 8, 3, 13, 3176, 6.3e-5 + - 10: 2, 10, 652, 7, 6, 12, 1, 4, 6, 3, 13, 3873, 6.1e-5 + - 11: 2, 10, 654, 7, 6, 13, 1, 5, 5, 3, 13, 4733, 6.0e-5 + - 12: 2, 10, 682, 8, 5, 13, 1, 6, 5, 3, 13, 6318, 6.3e-5 + - 13: 2, 10, 670, 9, 5, 13, 1, 7, 4, 3, 13, 7803, 6.0e-5 + - 14: 2, 10, 692, 11, 4, 14, 1, 7, 4, 4, 10, 9827, 6.3e-5 + - 15: 2, 10, 655, 14, 3, 13, 1, 10, 3, 4, 10, 15697, 5.9e-5 + - 16: 2, 10, 675, 22, 2, 13, 1, 10, 3, 4, 10, 23175, 6.2e-5 + - 17: 2, 10, 665, 44, 1, 13, 1, 16, 2, 4, 10, 65796, 6.2e-5 + # no solution starting from log norm2 = 18 + + - 4: # bits + -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error + - 0 : 2, 10, 687, 4, 9, 6, 2, 1, 14, 2, 17, 1599, 6.2e-5 + - 1 : 2, 10, 661, 2, 15, 6, 2, 3, 5, 1, 25, 2114, 6.0e-5 + - 2 : 2, 10, 649, 3, 12, 6, 2, 2, 8, 2, 17, 2181, 5.9e-5 + - 3 : 2, 10, 643, 4, 9, 6, 2, 2, 9, 2, 17, 2562, 5.3e-5 + - 4 : 2, 10, 659, 4, 9, 6, 2, 2, 9, 2, 17, 2611, 5.7e-5 + - 5 : 2, 10, 665, 5, 8, 6, 2, 2, 10, 3, 13, 3327, 6.3e-5 + - 6 : 2, 10, 657, 4, 9, 6, 2, 3, 7, 2, 17, 3667, 6.2e-5 + - 7 : 2, 10, 667, 5, 8, 6, 2, 3, 7, 2, 17, 4285, 6.3e-5 + - 8 : 2, 10, 662, 5, 8, 6, 2, 4, 6, 2, 17, 5491, 6.3e-5 + - 9 : 2, 10, 656, 8, 5, 13, 1, 3, 8, 3, 13, 6464, 5.8e-5 + - 10: 2, 10, 653, 7, 6, 13, 1, 4, 6, 3, 13, 7562, 6.3e-5 + - 11: 2, 10, 661, 7, 6, 13, 1, 5, 5, 3, 13, 9333, 6.3e-5 + - 12: 2, 10, 661, 7, 6, 13, 1, 7, 4, 3, 13, 12732, 6.3e-5 + - 13: 2, 10, 700, 9, 5, 14, 1, 7, 4, 4, 10, 16913, 6.3e-5 + - 14: 2, 10, 659, 14, 3, 13, 1, 7, 4, 4, 10, 22226, 6.0e-5 + - 15: 2, 10, 664, 14, 3, 13, 1, 10, 3, 4, 10, 31343, 6.1e-5 + - 16: 2, 10, 704, 22, 2, 14, 1, 11, 3, 5, 9, 53563, 6.3e-5 + - 17: 2, 10, 677, 44, 1, 13, 1, 16, 2, 5, 9, 134863, 6.2e-5 + # no solution starting from log norm2 = 18 + + - 5: # bits + -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error + - 0 : 2, 10, 687, 4, 9, 6, 2, 1, 14, 2, 17, 1599, 6.2e-5 + - 1 : 2, 10, 661, 2, 15, 6, 2, 3, 5, 1, 25, 2114, 6.0e-5 + - 2 : 2, 10, 649, 3, 12, 6, 2, 2, 8, 2, 17, 2181, 5.9e-5 + - 3 : 2, 10, 643, 4, 9, 6, 2, 2, 9, 2, 17, 2562, 5.3e-5 + - 4 : 2, 10, 659, 4, 9, 6, 2, 2, 9, 2, 17, 2611, 5.7e-5 + - 5 : 2, 10, 665, 5, 8, 6, 2, 2, 10, 3, 13, 3327, 6.3e-5 + - 6 : 2, 10, 657, 4, 9, 6, 2, 3, 7, 2, 17, 3667, 6.2e-5 + - 7 : 2, 10, 667, 5, 8, 6, 2, 3, 7, 2, 17, 4285, 6.3e-5 + - 8 : 2, 10, 662, 5, 8, 6, 2, 4, 6, 2, 17, 5491, 6.3e-5 + - 9 : 2, 10, 656, 8, 5, 13, 1, 3, 8, 3, 13, 6464, 5.8e-5 + - 10: 2, 10, 653, 7, 6, 13, 1, 4, 6, 3, 13, 7562, 6.3e-5 + - 11: 2, 10, 661, 7, 6, 13, 1, 5, 5, 3, 13, 9333, 6.3e-5 + - 12: 2, 10, 661, 7, 6, 13, 1, 7, 4, 3, 13, 12732, 6.3e-5 + - 13: 2, 10, 700, 9, 5, 14, 1, 7, 4, 4, 10, 16913, 6.3e-5 + - 14: 2, 10, 659, 14, 3, 13, 1, 7, 4, 4, 10, 22226, 6.0e-5 + - 15: 2, 10, 664, 14, 3, 13, 1, 10, 3, 4, 10, 31343, 6.1e-5 + - 16: 2, 10, 704, 22, 2, 14, 1, 11, 3, 5, 9, 53563, 6.3e-5 + - 17: 2, 10, 677, 44, 1, 13, 1, 16, 2, 5, 9, 134863, 6.2e-5 + # no solution starting from log norm2 = 18 + + - 6: # bits + -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error + - 0 : 2, 10, 712, 4, 9, 7, 2, 1, 14, 2, 17, 2011, 6.3e-5 + - 1 : 2, 10, 667, 2, 15, 6, 2, 3, 5, 1, 25, 2522, 6.3e-5 + - 2 : 2, 10, 651, 3, 12, 6, 2, 2, 8, 2, 17, 2601, 6.0e-5 + - 3 : 2, 10, 643, 4, 9, 6, 2, 2, 9, 2, 17, 3052, 6.2e-5 + - 4 : 2, 10, 664, 4, 9, 6, 2, 2, 9, 2, 17, 3129, 6.1e-5 + - 5 : 2, 10, 675, 5, 8, 6, 2, 2, 10, 3, 13, 4005, 6.2e-5 + - 6 : 2, 10, 662, 4, 9, 6, 2, 3, 7, 2, 17, 4369, 6.2e-5 + - 7 : 2, 10, 678, 5, 8, 6, 2, 3, 7, 2, 17, 5145, 6.1e-5 + - 8 : 2, 10, 670, 5, 8, 6, 2, 4, 6, 2, 17, 6546, 6.0e-5 + - 9 : 2, 10, 666, 8, 5, 13, 1, 3, 8, 3, 13, 7753, 6.0e-5 + - 10: 2, 10, 662, 7, 6, 13, 1, 4, 6, 3, 13, 9022, 5.9e-5 + - 11: 2, 10, 677, 7, 6, 13, 1, 5, 5, 3, 13, 11199, 6.2e-5 + - 12: 2, 10, 678, 7, 6, 13, 1, 7, 4, 3, 13, 15253, 6.2e-5 + - 13: 2, 10, 649, 11, 4, 13, 1, 7, 4, 3, 13, 20395, 5.9e-5 + - 14: 2, 10, 672, 14, 3, 13, 1, 7, 4, 4, 10, 26552, 6.0e-5 + - 15: 2, 10, 684, 14, 3, 14, 1, 10, 3, 4, 10, 37692, 6.3e-5 + - 16: 2, 10, 659, 22, 2, 13, 1, 15, 2, 4, 10, 77467, 5.9e-5 + - 17: 2, 10, 689, 45, 1, 14, 1, 16, 2, 6, 7, 166510, 6.3e-5 + # no solution starting from log norm2 = 18 + + - 7: # bits + -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error + - 0 : 2, 10, 692, 2, 15, 6, 2, 2, 7, 2, 17, 2561, 6.2e-5 + - 1 : 2, 10, 652, 3, 12, 6, 2, 2, 8, 2, 17, 3019, 5.6e-5 + - 2 : 2, 10, 671, 3, 12, 6, 2, 2, 8, 2, 17, 3084, 6.0e-5 + - 3 : 2, 10, 655, 4, 9, 6, 2, 2, 9, 2, 17, 3593, 5.9e-5 + - 4 : 2, 10, 713, 4, 9, 7, 2, 2, 9, 2, 17, 3866, 6.3e-5 + - 5 : 2, 10, 655, 4, 9, 6, 2, 3, 7, 2, 17, 5007, 5.4e-5 + - 6 : 2, 10, 706, 4, 9, 7, 2, 3, 7, 2, 17, 5329, 6.2e-5 + - 7 : 2, 10, 687, 5, 8, 7, 2, 3, 7, 3, 13, 6611, 6.0e-5 + - 8 : 2, 10, 673, 7, 6, 6, 2, 3, 8, 3, 13, 8091, 6.0e-5 + - 9 : 2, 10, 667, 6, 7, 13, 1, 4, 6, 3, 13, 9450, 6.3e-5 + - 10: 2, 10, 673, 8, 5, 13, 1, 4, 6, 3, 13, 11557, 6.3e-5 + - 11: 2, 10, 686, 8, 5, 13, 1, 5, 5, 3, 13, 14290, 6.3e-5 + - 12: 2, 10, 665, 8, 5, 13, 1, 7, 4, 3, 13, 18931, 6.0e-5 + - 13: 2, 10, 686, 11, 4, 14, 1, 7, 4, 3, 13, 24571, 6.2e-5 + - 14: 2, 10, 671, 11, 4, 13, 1, 10, 3, 4, 10, 35540, 6.1e-5 + - 15: 2, 10, 680, 21, 2, 14, 1, 10, 3, 4, 10, 59642, 6.2e-5 + - 16: 2, 10, 673, 22, 2, 13, 1, 16, 2, 4, 10, 96240, 6.0e-5 + - 17: 2, 10, 708, 45, 1, 14, 1, 33, 1, 6, 7, 396044, 6.3e-5 + # no solution starting from log norm2 = 18 + + - 8: # bits + -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error + - 0 : 2, 10, 697, 2, 15, 7, 2, 2, 7, 2, 17, 2950, 6.2e-5 + - 1 : 2, 10, 653, 3, 12, 6, 2, 2, 8, 2, 17, 3438, 5.1e-5 + - 2 : 2, 10, 676, 3, 12, 6, 2, 2, 8, 2, 17, 3529, 6.1e-5 + - 3 : 2, 10, 656, 4, 9, 6, 2, 2, 9, 2, 17, 4096, 6.0e-5 + - 4 : 2, 10, 674, 5, 8, 6, 2, 2, 9, 2, 17, 4848, 5.8e-5 + - 5 : 2, 10, 656, 4, 9, 6, 2, 3, 7, 2, 17, 5688, 5.5e-5 + - 6 : 2, 10, 659, 5, 8, 6, 2, 3, 7, 2, 17, 6600, 5.7e-5 + - 7 : 2, 10, 701, 5, 8, 7, 2, 3, 7, 3, 13, 7611, 6.2e-5 + - 8 : 2, 10, 663, 7, 6, 13, 1, 3, 8, 3, 13, 9239, 6.2e-5 + - 9 : 2, 10, 677, 6, 7, 13, 1, 4, 6, 3, 13, 10822, 6.1e-5 + - 10: 2, 10, 687, 8, 5, 13, 1, 4, 6, 3, 13, 13311, 6.2e-5 + - 11: 2, 10, 724, 8, 5, 14, 1, 5, 5, 3, 13, 16911, 6.3e-5 + - 12: 2, 10, 673, 8, 5, 13, 1, 7, 4, 3, 13, 21589, 6.0e-5 + - 13: 2, 10, 664, 11, 4, 13, 1, 7, 4, 4, 10, 28512, 6.2e-5 + - 14: 2, 10, 683, 11, 4, 14, 1, 10, 3, 4, 10, 40690, 6.2e-5 + - 15: 2, 10, 659, 22, 2, 13, 1, 10, 3, 4, 10, 68085, 5.9e-5 + - 16: 2, 10, 686, 22, 2, 14, 1, 16, 2, 4, 10, 110359, 6.1e-5 + # no solution starting from log norm2 = 17 + + - 9: # bits + -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error + - 0 : 2, 10, 702, 5, 8, 7, 2, 1, 14, 2, 17, 3740, 6.3e-5 + - 1 : 2, 10, 654, 3, 12, 6, 2, 2, 8, 2, 17, 4173, 5.4e-5 + - 2 : 2, 10, 684, 3, 12, 7, 2, 2, 8, 2, 17, 4346, 6.3e-5 + - 3 : 2, 10, 658, 4, 9, 6, 2, 2, 9, 2, 17, 4975, 6.3e-5 + - 4 : 2, 10, 681, 5, 8, 7, 2, 2, 9, 2, 17, 5951, 6.0e-5 + - 5 : 2, 10, 658, 4, 9, 6, 2, 3, 7, 2, 17, 6926, 5.7e-5 + - 6 : 2, 10, 662, 5, 8, 6, 2, 3, 7, 2, 17, 8044, 6.0e-5 + - 7 : 2, 10, 674, 6, 7, 7, 2, 3, 8, 3, 13, 10089, 6.3e-5 + - 8 : 2, 10, 690, 7, 6, 7, 2, 3, 8, 3, 13, 11404, 6.2e-5 + - 9 : 2, 10, 650, 7, 6, 12, 1, 4, 6, 3, 13, 14098, 6.3e-5 + - 10: 2, 10, 652, 7, 6, 13, 1, 5, 5, 3, 13, 17244, 6.0e-5 + - 11: 2, 10, 673, 8, 5, 13, 1, 6, 5, 3, 13, 22845, 6.1e-5 + - 12: 2, 10, 708, 8, 5, 14, 1, 7, 4, 3, 13, 27416, 6.3e-5 + - 13: 2, 10, 679, 11, 4, 13, 1, 7, 4, 4, 10, 35359, 6.3e-5 + - 14: 2, 10, 653, 14, 3, 13, 1, 10, 3, 4, 10, 57281, 5.7e-5 + - 15: 2, 10, 668, 22, 2, 13, 1, 10, 3, 4, 10, 83998, 6.3e-5 + - 16: 2, 10, 717, 22, 2, 14, 1, 16, 2, 6, 7, 148444, 6.3e-5 + # no solution starting from log norm2 = 17 + + - 10: # bits + -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error + - 0 : 2, 10, 710, 3, 12, 7, 2, 2, 8, 2, 17, 4581, 6.0e-5 + - 1 : 2, 10, 691, 4, 9, 7, 2, 2, 9, 2, 17, 5337, 5.7e-5 + - 2 : 2, 10, 707, 5, 8, 7, 2, 2, 9, 2, 17, 6306, 6.1e-5 + - 3 : 2, 10, 690, 4, 9, 7, 2, 3, 7, 2, 17, 7350, 6.3e-5 + - 4 : 2, 10, 693, 5, 8, 7, 2, 3, 7, 2, 17, 8541, 6.2e-5 + - 5 : 2, 10, 762, 5, 8, 8, 2, 3, 7, 3, 13, 10058, 6.3e-5 + - 6 : 2, 10, 715, 7, 6, 7, 2, 3, 8, 3, 13, 11959, 6.0e-5 + - 7 : 2, 10, 723, 6, 7, 14, 1, 4, 6, 3, 13, 14076, 6.2e-5 + - 8 : 2, 10, 734, 8, 5, 15, 1, 4, 6, 3, 13, 17404, 6.2e-5 + - 9 : 2, 10, 722, 9, 5, 14, 1, 5, 5, 3, 13, 22662, 6.3e-5 + - 10: 2, 10, 715, 8, 5, 14, 1, 7, 4, 3, 13, 27889, 6.3e-5 + - 11: 2, 10, 703, 11, 4, 14, 1, 7, 4, 4, 10, 36717, 6.1e-5 + - 12: 2, 10, 741, 11, 4, 15, 1, 10, 3, 4, 10, 53328, 6.3e-5 + - 13: 2, 10, 696, 22, 2, 14, 1, 10, 3, 4, 10, 87756, 6.1e-5 + - 14: 2, 10, 720, 22, 2, 14, 1, 16, 2, 5, 9, 145404, 6.3e-5 + # no solution starting from log norm2 = 15 + + - 11: # bits + -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error + - 0 : 2, 10, 666, 3, 12, 6, 2, 2, 8, 2, 17, 5076, 6.1e-5 + - 1 : 2, 10, 660, 4, 9, 6, 2, 2, 9, 2, 17, 5989, 5.4e-5 + - 2 : 2, 10, 676, 4, 9, 6, 2, 2, 9, 2, 17, 6103, 6.3e-5 + - 3 : 2, 10, 684, 5, 8, 6, 2, 2, 10, 3, 13, 7767, 6.2e-5 + - 4 : 2, 10, 675, 4, 9, 6, 2, 3, 7, 2, 17, 8445, 6.1e-5 + - 5 : 2, 10, 681, 5, 8, 7, 2, 3, 7, 2, 17, 9879, 5.9e-5 + - 6 : 2, 10, 677, 5, 8, 7, 2, 4, 6, 2, 17, 12547, 5.9e-5 + - 7 : 2, 10, 671, 8, 5, 13, 1, 3, 8, 3, 13, 14866, 5.9e-5 + - 8 : 2, 10, 668, 7, 6, 13, 1, 4, 6, 3, 13, 17209, 6.2e-5 + - 9 : 2, 10, 676, 7, 6, 13, 1, 5, 5, 3, 13, 21115, 6.1e-5 + - 10: 2, 10, 676, 7, 6, 13, 1, 7, 4, 3, 13, 28604, 6.3e-5 + - 11: 2, 10, 707, 9, 5, 14, 1, 7, 4, 4, 10, 37636, 6.3e-5 + - 12: 2, 10, 674, 14, 3, 13, 1, 7, 4, 4, 10, 50076, 5.9e-5 + - 13: 2, 10, 679, 14, 3, 13, 1, 10, 3, 4, 10, 70194, 6.1e-5 + - 14: 2, 10, 709, 22, 2, 14, 1, 11, 3, 5, 9, 118415, 6.3e-5 + - 15: 2, 10, 689, 44, 1, 14, 1, 16, 2, 5, 9, 300142, 6.3e-5 + # no solution starting from log norm2 = 16 + + - 12: # bits + -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error + - 0 : 2, 10, 689, 3, 12, 7, 2, 2, 8, 2, 17, 5680, 5.9e-5 + - 1 : 2, 10, 680, 4, 9, 6, 2, 2, 9, 2, 17, 6646, 5.7e-5 + - 2 : 2, 10, 725, 4, 9, 7, 2, 2, 9, 2, 17, 7036, 6.2e-5 + - 3 : 2, 10, 679, 4, 9, 6, 2, 3, 7, 2, 17, 9179, 6.2e-5 + - 4 : 2, 10, 720, 4, 9, 7, 2, 3, 7, 2, 17, 9650, 6.3e-5 + - 5 : 2, 10, 704, 5, 8, 7, 2, 3, 7, 3, 13, 11991, 6.3e-5 + - 6 : 2, 10, 691, 7, 6, 7, 2, 3, 8, 3, 13, 14773, 5.9e-5 + - 7 : 2, 10, 699, 6, 7, 7, 2, 4, 6, 3, 13, 17153, 6.1e-5 + - 8 : 2, 10, 691, 8, 5, 14, 1, 4, 6, 3, 13, 21009, 6.2e-5 + - 9 : 2, 10, 701, 8, 5, 14, 1, 5, 5, 3, 13, 25802, 6.2e-5 + - 10: 2, 10, 685, 8, 5, 14, 1, 7, 4, 3, 13, 34262, 5.9e-5 + - 11: 2, 10, 702, 11, 4, 14, 1, 7, 4, 3, 13, 44265, 6.1e-5 + - 12: 2, 10, 690, 11, 4, 14, 1, 10, 3, 4, 10, 64034, 6.2e-5 + - 13: 2, 10, 698, 21, 2, 14, 1, 10, 3, 4, 10, 107564, 6.1e-5 + - 14: 2, 10, 691, 22, 2, 14, 1, 16, 2, 4, 10, 173201, 6.3e-5 + - 15: 2, 10, 718, 45, 1, 14, 1, 33, 1, 6, 7, 703627, 6.3e-5 + # no solution starting from log norm2 = 16 + + - 13: # bits + -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error + - 0 : 2, 10, 691, 3, 12, 7, 2, 2, 8, 2, 17, 6024, 6.0e-5 + - 1 : 2, 10, 680, 4, 9, 6, 2, 2, 9, 2, 17, 7027, 6.2e-5 + - 2 : 2, 10, 752, 4, 9, 8, 2, 2, 9, 2, 17, 7706, 6.3e-5 + - 3 : 2, 10, 680, 4, 9, 6, 2, 3, 7, 2, 17, 9752, 5.9e-5 + - 4 : 2, 10, 744, 4, 9, 7, 2, 3, 7, 2, 17, 10509, 6.3e-5 + - 5 : 2, 10, 710, 5, 8, 7, 2, 3, 7, 3, 13, 12811, 6.3e-5 + - 6 : 2, 10, 693, 7, 6, 7, 2, 3, 8, 3, 13, 15709, 6.2e-5 + - 7 : 2, 10, 703, 6, 7, 7, 2, 4, 6, 3, 13, 18321, 6.3e-5 + - 8 : 2, 10, 696, 8, 5, 14, 1, 4, 6, 3, 13, 22465, 6.3e-5 + - 9 : 2, 10, 711, 8, 5, 14, 1, 5, 5, 3, 13, 27782, 6.2e-5 + - 10: 2, 10, 688, 8, 5, 14, 1, 7, 4, 3, 13, 36664, 6.2e-5 + - 11: 2, 10, 712, 11, 4, 14, 1, 7, 4, 3, 13, 47754, 6.2e-5 + - 12: 2, 10, 695, 11, 4, 14, 1, 10, 3, 4, 10, 68767, 6.3e-5 + - 13: 2, 10, 706, 21, 2, 14, 1, 10, 3, 4, 10, 115958, 6.2e-5 + - 14: 2, 10, 697, 22, 2, 14, 1, 16, 2, 4, 10, 186528, 6.1e-5 + # no solution starting from log norm2 = 15 + + - 14: # bits + -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error + - 0 : 2, 10, 696, 3, 12, 7, 2, 2, 8, 2, 17, 6947, 5.8e-5 + - 1 : 2, 10, 682, 4, 9, 6, 2, 2, 9, 2, 17, 8082, 5.8e-5 + - 2 : 2, 10, 693, 5, 8, 7, 2, 2, 9, 2, 17, 9539, 6.2e-5 + - 3 : 2, 10, 681, 4, 9, 6, 2, 3, 7, 2, 17, 11169, 6.2e-5 + - 4 : 2, 10, 680, 5, 8, 7, 2, 3, 7, 2, 17, 12958, 6.2e-5 + - 5 : 2, 10, 731, 5, 8, 7, 2, 3, 7, 3, 13, 14969, 6.3e-5 + - 6 : 2, 10, 699, 7, 6, 7, 2, 3, 8, 3, 13, 18088, 6.1e-5 + - 7 : 2, 10, 716, 6, 7, 7, 2, 4, 6, 3, 13, 21208, 6.3e-5 + - 8 : 2, 10, 713, 8, 5, 14, 1, 4, 6, 3, 13, 26151, 6.2e-5 + - 9 : 2, 10, 704, 9, 5, 14, 1, 5, 5, 3, 13, 34229, 6.1e-5 + - 10: 2, 10, 698, 8, 5, 14, 1, 7, 4, 3, 13, 42228, 6.0e-5 + - 11: 2, 10, 688, 11, 4, 14, 1, 7, 4, 4, 10, 55695, 6.1e-5 + - 12: 2, 10, 712, 11, 4, 14, 1, 10, 3, 4, 10, 79712, 6.3e-5 + - 13: 2, 10, 682, 22, 2, 13, 1, 10, 3, 4, 10, 133000, 6.3e-5 + - 14: 2, 10, 716, 22, 2, 14, 1, 16, 2, 4, 10, 216956, 6.3e-5 + # no solution starting from log norm2 = 15 + + - 15: # bits + -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error + - 0 : 2, 10, 707, 4, 9, 7, 2, 2, 9, 2, 17, 7964, 6.3e-5 + - 1 : 2, 10, 752, 4, 9, 7, 2, 2, 9, 2, 17, 8372, 6.3e-5 + - 2 : 2, 10, 707, 4, 9, 7, 2, 3, 7, 2, 17, 10957, 6.2e-5 + - 3 : 2, 10, 750, 4, 9, 7, 2, 3, 7, 2, 17, 11483, 6.3e-5 + - 4 : 2, 10, 733, 5, 8, 7, 2, 3, 7, 3, 13, 14232, 6.3e-5 + - 5 : 2, 10, 762, 5, 8, 16, 1, 4, 6, 2, 17, 17600, 6.3e-5 + - 6 : 2, 10, 729, 6, 7, 7, 2, 4, 6, 3, 13, 20371, 6.3e-5 + - 7 : 2, 10, 720, 8, 5, 14, 1, 4, 6, 3, 13, 24981, 6.0e-5 + - 8 : 2, 10, 728, 8, 5, 14, 1, 5, 5, 3, 13, 30562, 6.3e-5 + - 9 : 2, 10, 714, 8, 5, 14, 1, 7, 4, 3, 13, 40633, 6.3e-5 + - 10: 2, 10, 727, 11, 4, 15, 1, 7, 4, 3, 13, 52363, 6.3e-5 + - 11: 2, 10, 719, 11, 4, 15, 1, 10, 3, 4, 10, 75874, 6.3e-5 + - 12: 2, 10, 725, 21, 2, 15, 1, 10, 3, 4, 10, 127525, 6.2e-5 + - 13: 2, 10, 720, 22, 2, 15, 1, 16, 2, 4, 10, 205678, 6.2e-5 + - 14: 2, 10, 754, 45, 1, 15, 1, 32, 1, 6, 7, 816597, 6.3e-5 + # no solution starting from log norm2 = 15 + + - 16: # bits + -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error + - 0 : 2, 10, 686, 4, 9, 7, 2, 2, 9, 2, 17, 8699, 5.4e-5 + - 1 : 2, 10, 698, 4, 9, 7, 2, 2, 9, 2, 17, 8820, 5.9e-5 + - 2 : 2, 10, 703, 5, 8, 7, 2, 2, 10, 3, 13, 11148, 6.1e-5 + - 3 : 2, 10, 697, 4, 9, 7, 2, 3, 7, 2, 17, 12150, 6.1e-5 + - 4 : 2, 10, 704, 5, 8, 7, 2, 3, 7, 2, 17, 14180, 5.8e-5 + - 5 : 2, 10, 700, 5, 8, 7, 2, 4, 6, 2, 17, 17981, 6.3e-5 + - 6 : 2, 10, 706, 8, 5, 7, 2, 3, 8, 3, 13, 21330, 6.0e-5 + - 7 : 2, 10, 704, 7, 6, 7, 2, 4, 6, 3, 13, 24702, 5.8e-5 + - 8 : 2, 10, 698, 7, 6, 14, 1, 5, 5, 3, 13, 30202, 6.0e-5 + - 9 : 2, 10, 698, 7, 6, 14, 1, 7, 4, 3, 13, 40845, 6.3e-5 + - 10: 2, 10, 718, 9, 5, 15, 1, 7, 4, 4, 10, 53017, 6.3e-5 + - 11: 2, 10, 696, 14, 3, 14, 1, 7, 4, 4, 10, 71557, 6.1e-5 + - 12: 2, 10, 700, 14, 3, 14, 1, 10, 3, 4, 10, 100047, 6.2e-5 + - 13: 2, 10, 720, 22, 2, 14, 1, 11, 3, 5, 9, 166613, 6.3e-5 + - 14: 2, 10, 708, 44, 1, 14, 1, 16, 2, 5, 9, 426953, 6.3e-5 + # no solution starting from log norm2 = 15 diff --git a/compilers/concrete-optimizer/v0-parameters/ref/wop_pbs_2023-8-9_192 b/compilers/concrete-optimizer/v0-parameters/ref/wop_pbs_2023-8-9_192 new file mode 100644 index 0000000000..2742cda43d --- /dev/null +++ b/compilers/concrete-optimizer/v0-parameters/ref/wop_pbs_2023-8-9_192 @@ -0,0 +1,329 @@ +security level: 192 +target p_error: 6.3e-5 +per precision and log norm2: + + - 1: # bits + -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error + - 0 : 3, 10, 939, 2, 15, 3, 3, 1, 10, 1, 26, 239, 6.0e-5 + - 1 : 3, 10, 898, 2, 15, 5, 2, 1, 10, 1, 26, 242, 6.1e-5 + - 2 : 3, 10, 964, 3, 12, 4, 3, 1, 11, 1, 26, 305, 6.3e-5 + - 3 : 3, 10, 898, 3, 12, 5, 2, 1, 12, 2, 18, 367, 6.1e-5 + - 4 : 3, 10, 897, 4, 9, 5, 2, 1, 14, 2, 18, 419, 6.0e-5 + - 5 : 3, 10, 903, 5, 8, 5, 2, 1, 14, 2, 18, 474, 6.1e-5 + - 6 : 3, 10, 927, 7, 6, 6, 2, 1, 15, 2, 18, 597, 6.2e-5 + - 7 : 3, 10, 904, 3, 12, 5, 2, 2, 8, 2, 18, 710, 6.0e-5 + - 8 : 3, 10, 889, 4, 9, 5, 2, 2, 9, 2, 18, 807, 6.2e-5 + - 9 : 3, 10, 941, 4, 9, 6, 2, 2, 9, 2, 18, 843, 6.1e-5 + - 10: 3, 10, 912, 6, 7, 5, 2, 2, 10, 2, 18, 1035, 5.9e-5 + - 11: 3, 10, 961, 4, 9, 6, 2, 3, 7, 2, 18, 1266, 6.3e-5 + - 12: 3, 10, 928, 5, 8, 6, 2, 3, 7, 2, 18, 1400, 6.0e-5 + - 13: 3, 10, 917, 5, 8, 6, 2, 4, 6, 2, 18, 1841, 6.1e-5 + - 14: 3, 10, 891, 7, 6, 11, 1, 4, 6, 2, 18, 2249, 6.1e-5 + - 15: 3, 10, 901, 8, 5, 11, 1, 4, 6, 3, 13, 2767, 6.3e-5 + - 16: 3, 10, 913, 8, 5, 11, 1, 5, 5, 3, 13, 3476, 6.1e-5 + - 17: 3, 10, 905, 8, 5, 11, 1, 7, 4, 3, 13, 4814, 6.1e-5 + - 18: 3, 10, 898, 11, 4, 11, 1, 7, 4, 3, 13, 5893, 6.0e-5 + - 19: 3, 10, 924, 11, 4, 12, 1, 10, 3, 3, 13, 8580, 6.2e-5 + - 20: 3, 10, 896, 22, 2, 11, 1, 10, 3, 3, 13, 14156, 6.1e-5 + - 21: 3, 10, 967, 22, 2, 12, 1, 15, 2, 4, 11, 23714, 6.3e-5 + # no solution starting from log norm2 = 22 + + - 2: # bits + -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error + - 0 : 3, 10, 945, 3, 12, 6, 2, 1, 12, 2, 18, 975, 5.6e-5 + - 1 : 3, 10, 986, 3, 12, 6, 2, 1, 12, 2, 18, 1005, 6.0e-5 + - 2 : 3, 10, 962, 2, 15, 6, 2, 2, 7, 1, 26, 1127, 6.2e-5 + - 3 : 3, 10, 1018, 5, 8, 6, 2, 1, 14, 2, 18, 1386, 6.2e-5 + - 4 : 3, 10, 947, 3, 12, 6, 2, 2, 8, 2, 18, 1679, 5.7e-5 + - 5 : 3, 10, 1032, 3, 12, 6, 2, 2, 8, 2, 18, 1778, 6.3e-5 + - 6 : 3, 10, 958, 4, 9, 6, 2, 2, 9, 2, 18, 1973, 6.0e-5 + - 7 : 3, 10, 982, 5, 8, 6, 2, 2, 10, 2, 18, 2295, 6.1e-5 + - 8 : 3, 10, 961, 4, 9, 6, 2, 3, 7, 2, 18, 2799, 6.0e-5 + - 9 : 3, 10, 955, 5, 8, 6, 2, 3, 7, 2, 18, 3178, 6.1e-5 + - 10: 3, 10, 1025, 6, 7, 7, 2, 3, 7, 2, 18, 3780, 6.2e-5 + - 11: 3, 10, 964, 6, 7, 6, 2, 4, 6, 2, 18, 4645, 6.3e-5 + - 12: 3, 10, 959, 6, 7, 12, 1, 5, 5, 2, 18, 5739, 6.3e-5 + - 13: 3, 10, 960, 7, 6, 12, 1, 5, 5, 3, 13, 7083, 6.3e-5 + - 14: 3, 10, 974, 11, 4, 12, 1, 5, 5, 3, 13, 9666, 6.1e-5 + - 15: 3, 10, 1018, 10, 4, 13, 1, 7, 4, 3, 13, 12787, 6.3e-5 + - 16: 3, 10, 964, 14, 3, 12, 1, 7, 4, 3, 13, 15647, 6.3e-5 + - 17: 3, 10, 989, 14, 3, 13, 1, 10, 3, 3, 13, 22406, 6.3e-5 + - 18: 3, 10, 955, 22, 2, 12, 1, 15, 2, 3, 13, 46059, 5.9e-5 + - 19: 3, 10, 997, 44, 1, 13, 1, 16, 2, 4, 11, 95616, 6.3e-5 + # no solution starting from log norm2 = 20 + + - 3: # bits + -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error + - 0 : 3, 10, 1078, 2, 15, 7, 2, 2, 7, 1, 26, 1947, 6.2e-5 + - 1 : 3, 10, 1030, 2, 15, 6, 2, 3, 5, 1, 26, 2573, 6.0e-5 + - 2 : 3, 10, 1023, 3, 12, 6, 2, 2, 8, 2, 18, 2764, 6.2e-5 + - 3 : 3, 10, 1010, 4, 9, 6, 2, 2, 9, 2, 18, 3213, 5.7e-5 + - 4 : 3, 10, 1055, 4, 9, 7, 2, 2, 9, 2, 18, 3336, 6.3e-5 + - 5 : 3, 10, 1025, 6, 7, 7, 2, 2, 10, 2, 18, 4227, 6.3e-5 + - 6 : 3, 10, 1082, 4, 9, 7, 2, 3, 7, 2, 18, 4732, 6.3e-5 + - 7 : 3, 10, 1043, 5, 8, 7, 2, 3, 7, 2, 18, 5281, 6.1e-5 + - 8 : 3, 10, 1035, 5, 8, 7, 2, 4, 6, 2, 18, 6726, 6.2e-5 + - 9 : 3, 10, 1102, 6, 7, 15, 1, 4, 6, 2, 18, 8109, 6.3e-5 + - 10: 3, 10, 1018, 8, 5, 13, 1, 4, 6, 3, 13, 10122, 6.2e-5 + - 11: 3, 10, 1029, 8, 5, 13, 1, 5, 5, 3, 13, 12431, 6.2e-5 + - 12: 3, 10, 1025, 8, 5, 13, 1, 7, 4, 3, 13, 16841, 6.2e-5 + - 13: 3, 10, 1017, 11, 4, 13, 1, 7, 4, 3, 13, 20856, 6.0e-5 + - 14: 3, 10, 1043, 11, 4, 14, 1, 10, 3, 3, 13, 29692, 6.3e-5 + - 15: 3, 10, 1014, 22, 2, 13, 1, 10, 3, 3, 13, 49943, 6.1e-5 + - 16: 3, 10, 1075, 22, 2, 14, 1, 15, 2, 4, 11, 80542, 6.3e-5 + # no solution starting from log norm2 = 17 + + - 4: # bits + -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error + - 0 : 3, 10, 1022, 5, 8, 6, 2, 1, 14, 2, 18, 4171, 6.2e-5 + - 1 : 3, 10, 1040, 2, 15, 6, 2, 3, 5, 1, 26, 5018, 6.1e-5 + - 2 : 3, 10, 1024, 3, 12, 6, 2, 2, 8, 2, 18, 5308, 6.3e-5 + - 3 : 3, 10, 1000, 4, 9, 6, 2, 2, 9, 2, 18, 6103, 6.1e-5 + - 4 : 3, 10, 1012, 5, 8, 6, 2, 2, 10, 2, 18, 7045, 6.1e-5 + - 5 : 3, 10, 1035, 6, 7, 7, 2, 2, 10, 2, 18, 8111, 6.0e-5 + - 6 : 3, 10, 998, 5, 8, 6, 2, 3, 7, 2, 18, 9848, 6.2e-5 + - 7 : 3, 10, 1024, 6, 7, 6, 2, 3, 7, 2, 18, 11297, 6.3e-5 + - 8 : 3, 10, 1079, 5, 8, 7, 2, 4, 6, 2, 18, 13515, 6.3e-5 + - 9 : 3, 10, 1032, 7, 6, 7, 2, 4, 6, 2, 18, 16343, 6.2e-5 + - 10: 3, 10, 1051, 8, 5, 14, 1, 4, 6, 3, 13, 20231, 6.3e-5 + - 11: 3, 10, 1027, 9, 5, 13, 1, 5, 5, 3, 13, 26288, 6.3e-5 + - 12: 3, 10, 1010, 11, 4, 13, 1, 6, 5, 3, 13, 35330, 6.3e-5 + - 13: 3, 10, 1046, 11, 4, 14, 1, 7, 4, 3, 13, 41962, 6.2e-5 + - 14: 3, 10, 1000, 14, 3, 13, 1, 10, 3, 3, 13, 67824, 6.0e-5 + - 15: 3, 10, 1034, 22, 2, 14, 1, 10, 3, 3, 13, 100260, 6.1e-5 + - 16: 3, 10, 1043, 44, 1, 14, 1, 15, 2, 4, 11, 280710, 6.3e-5 + # no solution starting from log norm2 = 17 + + - 5: # bits + -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error + - 0 : 3, 10, 1022, 5, 8, 6, 2, 1, 14, 2, 18, 4171, 6.2e-5 + - 1 : 3, 10, 1040, 2, 15, 6, 2, 3, 5, 1, 26, 5018, 6.1e-5 + - 2 : 3, 10, 1024, 3, 12, 6, 2, 2, 8, 2, 18, 5308, 6.3e-5 + - 3 : 3, 10, 1000, 4, 9, 6, 2, 2, 9, 2, 18, 6103, 6.1e-5 + - 4 : 3, 10, 1012, 5, 8, 6, 2, 2, 10, 2, 18, 7045, 6.1e-5 + - 5 : 3, 10, 1035, 6, 7, 7, 2, 2, 10, 2, 18, 8111, 6.0e-5 + - 6 : 3, 10, 998, 5, 8, 6, 2, 3, 7, 2, 18, 9848, 6.2e-5 + - 7 : 3, 10, 1024, 6, 7, 6, 2, 3, 7, 2, 18, 11297, 6.3e-5 + - 8 : 3, 10, 1079, 5, 8, 7, 2, 4, 6, 2, 18, 13515, 6.3e-5 + - 9 : 3, 10, 1032, 7, 6, 7, 2, 4, 6, 2, 18, 16343, 6.2e-5 + - 10: 3, 10, 1051, 8, 5, 14, 1, 4, 6, 3, 13, 20231, 6.3e-5 + - 11: 3, 10, 1027, 9, 5, 13, 1, 5, 5, 3, 13, 26288, 6.3e-5 + - 12: 3, 10, 1010, 11, 4, 13, 1, 6, 5, 3, 13, 35330, 6.3e-5 + - 13: 3, 10, 1046, 11, 4, 14, 1, 7, 4, 3, 13, 41962, 6.2e-5 + - 14: 3, 10, 1000, 14, 3, 13, 1, 10, 3, 3, 13, 67824, 6.0e-5 + - 15: 3, 10, 1034, 22, 2, 14, 1, 10, 3, 3, 13, 100260, 6.1e-5 + - 16: 3, 10, 1043, 44, 1, 14, 1, 15, 2, 4, 11, 280710, 6.3e-5 + # no solution starting from log norm2 = 17 + + - 6: # bits + -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error + - 0 : 3, 10, 1034, 5, 8, 6, 2, 1, 14, 2, 18, 5086, 6.2e-5 + - 1 : 3, 10, 1047, 2, 15, 7, 2, 3, 5, 1, 26, 6010, 6.3e-5 + - 2 : 3, 10, 1038, 3, 12, 6, 2, 2, 8, 2, 18, 6363, 6.1e-5 + - 3 : 3, 10, 1003, 4, 9, 6, 2, 2, 9, 2, 18, 7274, 6.0e-5 + - 4 : 3, 10, 1019, 5, 8, 6, 2, 2, 9, 2, 18, 8433, 6.0e-5 + - 5 : 3, 10, 1056, 6, 7, 7, 2, 2, 10, 2, 18, 9823, 6.3e-5 + - 6 : 3, 10, 1001, 5, 8, 6, 2, 3, 7, 2, 18, 11683, 5.8e-5 + - 7 : 3, 10, 1029, 6, 7, 7, 2, 3, 7, 2, 18, 13475, 6.3e-5 + - 8 : 3, 10, 1008, 6, 7, 6, 2, 4, 6, 2, 18, 17014, 5.8e-5 + - 9 : 3, 10, 1050, 7, 6, 7, 2, 4, 6, 2, 18, 19567, 6.3e-5 + - 10: 3, 10, 1033, 9, 5, 13, 1, 4, 6, 3, 13, 25461, 6.2e-5 + - 11: 3, 10, 1062, 9, 5, 14, 1, 5, 5, 3, 13, 31803, 6.3e-5 + - 12: 3, 10, 1021, 9, 5, 13, 1, 7, 4, 3, 13, 42006, 6.2e-5 + - 13: 3, 10, 998, 14, 3, 13, 1, 7, 4, 3, 13, 56795, 5.9e-5 + - 14: 3, 10, 1008, 14, 3, 13, 1, 10, 3, 3, 13, 80075, 6.3e-5 + - 15: 3, 10, 1028, 22, 2, 13, 1, 10, 3, 4, 11, 122064, 6.3e-5 + - 16: 3, 10, 1011, 44, 1, 13, 1, 16, 2, 4, 11, 340227, 6.1e-5 + # no solution starting from log norm2 = 17 + + - 7: # bits + -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error + - 0 : 3, 10, 1017, 2, 15, 6, 2, 3, 5, 1, 26, 6744, 6.1e-5 + - 1 : 3, 10, 1014, 3, 12, 6, 2, 2, 8, 2, 18, 7252, 6.0e-5 + - 2 : 3, 10, 1006, 4, 9, 6, 2, 2, 9, 2, 18, 8451, 6.2e-5 + - 3 : 3, 10, 1034, 4, 9, 6, 2, 2, 9, 2, 18, 8622, 6.1e-5 + - 4 : 3, 10, 1065, 5, 8, 7, 2, 2, 9, 2, 18, 10172, 6.1e-5 + - 5 : 3, 10, 1032, 4, 9, 7, 2, 3, 7, 2, 18, 12102, 6.0e-5 + - 6 : 3, 10, 1023, 5, 8, 7, 2, 3, 7, 2, 18, 13765, 5.8e-5 + - 7 : 3, 10, 1020, 5, 8, 7, 2, 4, 6, 2, 18, 17631, 5.7e-5 + - 8 : 3, 10, 1036, 6, 7, 7, 2, 4, 6, 2, 18, 20081, 6.1e-5 + - 9 : 3, 10, 1040, 7, 6, 7, 2, 4, 6, 3, 13, 24700, 6.2e-5 + - 10: 3, 10, 1043, 7, 6, 13, 1, 5, 5, 3, 13, 30557, 6.3e-5 + - 11: 3, 10, 1062, 11, 4, 14, 1, 5, 5, 3, 13, 42206, 6.2e-5 + - 12: 3, 10, 1002, 11, 4, 13, 1, 7, 4, 3, 13, 54747, 5.8e-5 + - 13: 3, 10, 1049, 14, 3, 14, 1, 7, 4, 3, 13, 68044, 6.2e-5 + - 14: 3, 10, 1043, 15, 3, 14, 1, 10, 3, 3, 13, 99720, 6.1e-5 + - 15: 3, 10, 1029, 22, 2, 14, 1, 15, 2, 3, 13, 197968, 6.1e-5 + - 16: 3, 10, 1046, 44, 1, 14, 1, 31, 1, 4, 11, 765841, 6.2e-5 + # no solution starting from log norm2 = 17 + + - 8: # bits + -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error + - 0 : 3, 10, 1020, 2, 15, 6, 2, 3, 5, 1, 26, 7665, 6.0e-5 + - 1 : 3, 10, 1016, 3, 12, 6, 2, 2, 8, 2, 18, 8253, 6.1e-5 + - 2 : 3, 10, 1007, 4, 9, 6, 2, 2, 9, 2, 18, 9619, 6.0e-5 + - 3 : 3, 10, 1032, 4, 9, 7, 2, 2, 9, 2, 18, 9848, 6.1e-5 + - 4 : 3, 10, 1100, 5, 8, 7, 2, 2, 9, 2, 18, 11872, 6.3e-5 + - 5 : 3, 10, 1039, 4, 9, 7, 2, 3, 7, 2, 18, 13789, 6.0e-5 + - 6 : 3, 10, 1027, 5, 8, 7, 2, 3, 7, 2, 18, 15661, 5.9e-5 + - 7 : 3, 10, 1023, 5, 8, 7, 2, 4, 6, 2, 18, 20006, 5.9e-5 + - 8 : 3, 10, 1045, 6, 7, 7, 2, 4, 6, 2, 18, 22897, 6.1e-5 + - 9 : 3, 10, 1051, 7, 6, 7, 2, 4, 6, 3, 13, 28178, 6.2e-5 + - 10: 3, 10, 1068, 7, 6, 14, 1, 5, 5, 3, 13, 35205, 6.3e-5 + - 11: 3, 10, 1009, 8, 5, 13, 1, 7, 4, 3, 13, 49947, 6.0e-5 + - 12: 3, 10, 1005, 11, 4, 13, 1, 7, 4, 3, 13, 61993, 5.9e-5 + - 13: 3, 10, 1036, 15, 3, 14, 1, 7, 4, 3, 13, 80294, 6.2e-5 + - 14: 3, 10, 1075, 15, 3, 14, 1, 10, 3, 3, 13, 115401, 6.3e-5 + - 15: 3, 10, 1042, 22, 2, 14, 1, 15, 2, 3, 13, 225679, 6.3e-5 + - 16: 3, 10, 1045, 44, 1, 14, 1, 32, 1, 4, 11, 889099, 6.2e-5 + # no solution starting from log norm2 = 17 + + - 9: # bits + -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error + - 0 : 3, 10, 1026, 2, 15, 6, 2, 3, 5, 1, 26, 9355, 6.2e-5 + - 1 : 3, 10, 1021, 3, 12, 6, 2, 2, 8, 2, 18, 10047, 5.9e-5 + - 2 : 3, 10, 1009, 4, 9, 6, 2, 2, 9, 2, 18, 11680, 5.8e-5 + - 3 : 3, 10, 1046, 4, 9, 7, 2, 2, 9, 2, 18, 12060, 6.1e-5 + - 4 : 3, 10, 1022, 6, 7, 7, 2, 2, 10, 2, 18, 15329, 6.3e-5 + - 5 : 3, 10, 1060, 4, 9, 7, 2, 3, 7, 2, 18, 17000, 6.3e-5 + - 6 : 3, 10, 1037, 5, 8, 7, 2, 3, 7, 2, 18, 19165, 6.0e-5 + - 7 : 3, 10, 1031, 5, 8, 7, 2, 4, 6, 2, 18, 24478, 5.9e-5 + - 8 : 3, 10, 1075, 6, 7, 7, 2, 4, 6, 2, 18, 28465, 6.3e-5 + - 9 : 3, 10, 1081, 7, 6, 14, 1, 4, 6, 3, 13, 35476, 6.3e-5 + - 10: 3, 10, 1022, 8, 5, 13, 1, 5, 5, 3, 13, 45180, 6.1e-5 + - 11: 3, 10, 1019, 8, 5, 13, 1, 7, 4, 3, 13, 61313, 6.0e-5 + - 12: 3, 10, 1012, 11, 4, 13, 1, 7, 4, 3, 13, 75949, 6.2e-5 + - 13: 3, 10, 1095, 15, 3, 15, 1, 7, 4, 3, 13, 102511, 6.3e-5 + - 14: 3, 10, 1010, 22, 2, 13, 1, 10, 3, 3, 13, 182049, 6.1e-5 + - 15: 3, 10, 1049, 22, 2, 14, 1, 15, 2, 4, 11, 288863, 6.2e-5 + - 16: 3, 10, 1082, 45, 1, 15, 1, 32, 1, 5, 9, 1168799, 6.3e-5 + # no solution starting from log norm2 = 17 + + - 10: # bits + -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error + - 0 : 3, 10, 1063, 4, 9, 7, 2, 2, 9, 2, 18, 12499, 6.0e-5 + - 1 : 3, 10, 1116, 4, 9, 7, 2, 2, 9, 2, 18, 12964, 6.3e-5 + - 2 : 3, 10, 1081, 6, 7, 7, 2, 2, 10, 2, 18, 16457, 6.0e-5 + - 3 : 3, 10, 1124, 4, 9, 15, 1, 3, 7, 2, 18, 18631, 6.3e-5 + - 4 : 3, 10, 1100, 5, 8, 7, 2, 3, 7, 2, 18, 20409, 6.2e-5 + - 5 : 3, 10, 1092, 5, 8, 7, 2, 4, 6, 2, 18, 25918, 6.2e-5 + - 6 : 3, 10, 1117, 5, 8, 7, 2, 5, 5, 2, 18, 32081, 6.3e-5 + - 7 : 3, 10, 1073, 8, 5, 14, 1, 4, 6, 3, 13, 39040, 6.3e-5 + - 8 : 3, 10, 1084, 8, 5, 14, 1, 5, 5, 3, 13, 47824, 6.3e-5 + - 9 : 3, 10, 1081, 8, 5, 14, 1, 7, 4, 3, 13, 64653, 6.3e-5 + - 10: 3, 10, 1073, 11, 4, 14, 1, 7, 4, 3, 13, 80330, 6.1e-5 + - 11: 3, 10, 1101, 11, 4, 15, 1, 10, 3, 3, 13, 114180, 6.3e-5 + - 12: 3, 10, 1069, 22, 2, 14, 1, 10, 3, 3, 13, 192787, 6.3e-5 + - 13: 3, 10, 1145, 22, 2, 16, 1, 15, 2, 4, 11, 312617, 6.3e-5 + # no solution starting from log norm2 = 14 + + - 11: # bits + -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error + - 0 : 3, 10, 1044, 3, 12, 7, 2, 2, 8, 2, 18, 12303, 6.1e-5 + - 1 : 3, 10, 1030, 4, 9, 6, 2, 2, 9, 2, 18, 14222, 5.9e-5 + - 2 : 3, 10, 1034, 5, 8, 7, 2, 2, 9, 2, 18, 16462, 6.0e-5 + - 3 : 3, 10, 1060, 6, 7, 7, 2, 2, 10, 2, 18, 18955, 6.2e-5 + - 4 : 3, 10, 1022, 5, 8, 7, 2, 3, 7, 2, 18, 22654, 6.1e-5 + - 5 : 3, 10, 1044, 6, 7, 7, 2, 3, 7, 2, 18, 25956, 6.0e-5 + - 6 : 3, 10, 1092, 5, 8, 15, 1, 4, 6, 2, 18, 31131, 6.3e-5 + - 7 : 3, 10, 1057, 7, 6, 7, 2, 4, 6, 2, 18, 37285, 6.1e-5 + - 8 : 3, 10, 1082, 8, 5, 14, 1, 4, 6, 3, 13, 46180, 6.3e-5 + - 9 : 3, 10, 1052, 9, 5, 14, 1, 5, 5, 3, 13, 59584, 6.3e-5 + - 10: 3, 10, 1033, 9, 5, 14, 1, 7, 4, 3, 13, 79704, 6.3e-5 + - 11: 3, 10, 1077, 11, 4, 14, 1, 7, 4, 3, 13, 94881, 6.3e-5 + - 12: 3, 10, 1025, 14, 3, 14, 1, 10, 3, 3, 13, 152215, 6.3e-5 + - 13: 3, 10, 1061, 22, 2, 14, 1, 10, 3, 3, 13, 225704, 6.2e-5 + - 14: 3, 10, 1072, 44, 1, 14, 1, 15, 2, 4, 11, 630580, 6.3e-5 + # no solution starting from log norm2 = 15 + + - 12: # bits + -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error + - 0 : 3, 10, 1038, 4, 9, 7, 2, 2, 9, 2, 18, 15578, 6.3e-5 + - 1 : 3, 10, 1062, 4, 9, 7, 2, 2, 9, 2, 18, 15845, 6.2e-5 + - 2 : 3, 10, 1110, 5, 8, 7, 2, 2, 9, 2, 18, 18850, 6.3e-5 + - 3 : 3, 10, 1068, 4, 9, 7, 2, 3, 7, 2, 18, 22079, 6.3e-5 + - 4 : 3, 10, 1057, 5, 8, 7, 2, 3, 7, 2, 18, 25135, 6.2e-5 + - 5 : 3, 10, 1054, 5, 8, 7, 2, 4, 6, 2, 18, 32059, 6.1e-5 + - 6 : 3, 10, 1073, 6, 7, 7, 2, 4, 6, 2, 18, 36640, 6.2e-5 + - 7 : 3, 10, 1079, 7, 6, 7, 2, 4, 6, 3, 13, 45007, 6.1e-5 + - 8 : 3, 10, 1086, 7, 6, 14, 1, 5, 5, 3, 13, 55763, 6.3e-5 + - 9 : 3, 10, 1112, 11, 4, 15, 1, 5, 5, 3, 13, 77677, 6.3e-5 + - 10: 3, 10, 1037, 11, 4, 14, 1, 7, 4, 3, 13, 99395, 6.0e-5 + - 11: 3, 10, 1098, 14, 3, 15, 1, 7, 4, 3, 13, 124929, 6.3e-5 + - 12: 3, 10, 1088, 15, 3, 15, 1, 10, 3, 3, 13, 182083, 6.3e-5 + - 13: 3, 10, 1067, 22, 2, 14, 1, 15, 2, 3, 13, 359346, 6.3e-5 + - 14: 3, 10, 1093, 44, 1, 15, 1, 31, 1, 4, 11, 1398511, 6.3e-5 + # no solution starting from log norm2 = 15 + + - 13: # bits + -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error + - 0 : 3, 10, 1039, 4, 9, 7, 2, 2, 9, 2, 18, 16500, 5.8e-5 + - 1 : 3, 10, 1065, 4, 9, 7, 2, 2, 9, 2, 18, 16804, 6.3e-5 + - 2 : 3, 10, 1135, 5, 8, 8, 2, 2, 9, 2, 18, 20384, 6.3e-5 + - 3 : 3, 10, 1073, 4, 9, 7, 2, 3, 7, 2, 18, 23527, 6.2e-5 + - 4 : 3, 10, 1060, 5, 8, 7, 2, 3, 7, 2, 18, 26737, 6.0e-5 + - 5 : 3, 10, 1056, 5, 8, 7, 2, 4, 6, 2, 18, 34148, 6.1e-5 + - 6 : 3, 10, 1079, 6, 7, 7, 2, 4, 6, 2, 18, 39128, 6.2e-5 + - 7 : 3, 10, 1086, 7, 6, 7, 2, 4, 6, 3, 13, 48102, 6.3e-5 + - 8 : 3, 10, 1108, 7, 6, 15, 1, 5, 5, 3, 13, 60371, 6.3e-5 + - 9 : 3, 10, 1043, 8, 5, 14, 1, 7, 4, 3, 13, 85389, 6.1e-5 + - 10: 3, 10, 1039, 11, 4, 14, 1, 7, 4, 3, 13, 106152, 6.0e-5 + - 11: 3, 10, 1070, 15, 3, 14, 1, 7, 4, 3, 13, 137481, 6.3e-5 + - 12: 3, 10, 1121, 15, 3, 15, 1, 10, 3, 3, 13, 199292, 6.3e-5 + - 13: 3, 10, 1077, 22, 2, 14, 1, 15, 2, 3, 13, 387155, 6.2e-5 + - 14: 3, 10, 1081, 44, 1, 15, 1, 32, 1, 4, 11, 1528257, 6.2e-5 + # no solution starting from log norm2 = 15 + + - 14: # bits + -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error + - 0 : 3, 10, 1040, 4, 9, 7, 2, 2, 9, 2, 18, 18920, 5.7e-5 + - 1 : 3, 10, 1073, 4, 9, 7, 2, 2, 9, 2, 18, 19364, 6.3e-5 + - 2 : 3, 10, 1053, 6, 7, 7, 2, 2, 10, 2, 18, 24771, 6.2e-5 + - 3 : 3, 10, 1086, 4, 9, 7, 2, 3, 7, 2, 18, 27119, 6.2e-5 + - 4 : 3, 10, 1066, 5, 8, 7, 2, 3, 7, 2, 18, 30690, 6.0e-5 + - 5 : 3, 10, 1061, 5, 8, 7, 2, 4, 6, 2, 18, 39100, 6.0e-5 + - 6 : 3, 10, 1096, 6, 7, 7, 2, 4, 6, 2, 18, 45203, 6.2e-5 + - 7 : 3, 10, 1091, 7, 6, 14, 1, 4, 6, 3, 13, 55816, 6.3e-5 + - 8 : 3, 10, 1050, 8, 5, 14, 1, 5, 5, 3, 13, 72013, 6.3e-5 + - 9 : 3, 10, 1048, 8, 5, 14, 1, 7, 4, 3, 13, 97514, 6.3e-5 + - 10: 3, 10, 1043, 11, 4, 14, 1, 7, 4, 3, 13, 121189, 6.1e-5 + - 11: 3, 10, 1094, 15, 3, 15, 1, 7, 4, 3, 13, 159552, 6.2e-5 + - 12: 3, 10, 1077, 21, 2, 14, 1, 10, 3, 3, 13, 287966, 6.3e-5 + - 13: 3, 10, 1111, 22, 2, 15, 1, 15, 2, 3, 13, 452065, 6.3e-5 + - 14: 3, 10, 1095, 45, 1, 15, 1, 32, 1, 4, 11, 1790184, 6.3e-5 + # no solution starting from log norm2 = 15 + + - 15: # bits + -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error + - 0 : 3, 10, 1117, 5, 8, 7, 2, 2, 9, 2, 18, 21871, 6.2e-5 + - 1 : 3, 10, 1132, 6, 7, 8, 2, 2, 10, 2, 18, 25127, 6.3e-5 + - 2 : 3, 10, 1108, 5, 8, 7, 2, 3, 7, 2, 18, 30000, 6.2e-5 + - 3 : 3, 10, 1147, 5, 8, 15, 1, 3, 7, 2, 18, 31673, 6.3e-5 + - 4 : 3, 10, 1156, 5, 8, 8, 2, 4, 6, 2, 18, 39633, 6.3e-5 + - 5 : 3, 10, 1109, 7, 6, 15, 1, 4, 6, 2, 18, 49003, 6.3e-5 + - 6 : 3, 10, 1127, 8, 5, 15, 1, 4, 6, 3, 13, 59277, 6.3e-5 + - 7 : 3, 10, 1155, 8, 5, 16, 1, 5, 5, 3, 13, 73435, 6.3e-5 + - 8 : 3, 10, 1150, 8, 5, 16, 1, 7, 4, 3, 13, 98953, 6.3e-5 + - 9 : 3, 10, 1127, 11, 4, 15, 1, 7, 4, 3, 13, 121918, 6.3e-5 + - 10: 3, 10, 1102, 14, 3, 15, 1, 10, 3, 3, 13, 199829, 6.2e-5 + - 11: 3, 10, 1120, 22, 2, 15, 1, 10, 3, 3, 13, 292828, 6.3e-5 + - 12: 3, 10, 1124, 44, 1, 15, 1, 15, 2, 4, 11, 813261, 6.2e-5 + # no solution starting from log norm2 = 13 + + - 16: # bits + -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error + - 0 : 3, 10, 1069, 4, 9, 7, 2, 2, 9, 2, 18, 20552, 6.1e-5 + - 1 : 3, 10, 1081, 5, 8, 7, 2, 2, 9, 2, 18, 23828, 6.1e-5 + - 2 : 3, 10, 1126, 6, 7, 7, 2, 2, 10, 2, 18, 27834, 6.3e-5 + - 3 : 3, 10, 1067, 5, 8, 7, 2, 3, 7, 2, 18, 32651, 6.1e-5 + - 4 : 3, 10, 1094, 6, 7, 7, 2, 3, 7, 2, 18, 37573, 6.3e-5 + - 5 : 3, 10, 1073, 6, 7, 7, 2, 4, 6, 2, 18, 47234, 6.1e-5 + - 6 : 3, 10, 1116, 7, 6, 7, 2, 4, 6, 2, 18, 54266, 6.2e-5 + - 7 : 3, 10, 1093, 9, 5, 15, 1, 4, 6, 3, 13, 70361, 6.3e-5 + - 8 : 3, 10, 1120, 9, 5, 15, 1, 5, 5, 3, 13, 87118, 6.3e-5 + - 9 : 3, 10, 1088, 9, 5, 14, 1, 7, 4, 3, 13, 115227, 6.3e-5 + - 10: 3, 10, 1065, 14, 3, 14, 1, 7, 4, 3, 13, 156740, 6.1e-5 + - 11: 3, 10, 1075, 14, 3, 15, 1, 10, 3, 3, 13, 219906, 6.3e-5 + - 12: 3, 10, 1093, 22, 2, 15, 1, 10, 3, 4, 11, 334782, 6.2e-5 + - 13: 3, 10, 1078, 44, 1, 14, 1, 16, 2, 4, 11, 935371, 6.3e-5 + # no solution starting from log norm2 = 14 diff --git a/compilers/concrete-optimizer/v0-parameters/ref/wop_pbs_2023-8-9_80 b/compilers/concrete-optimizer/v0-parameters/ref/wop_pbs_2023-8-9_80 new file mode 100644 index 0000000000..7a60e4fc57 --- /dev/null +++ b/compilers/concrete-optimizer/v0-parameters/ref/wop_pbs_2023-8-9_80 @@ -0,0 +1,348 @@ +security level: 80 +target p_error: 6.3e-5 +per precision and log norm2: + + - 1: # bits + -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error + - 0 : 1, 10, 450, 2, 13, 2, 5, 1, 8, 2, 13, 42, 9.9e-9 + - 1 : 1, 10, 450, 3, 10, 2, 5, 1, 10, 2, 13, 53, 3.0e-14 + - 2 : 1, 10, 450, 3, 10, 2, 5, 1, 10, 2, 13, 53, 2.7e-5 + - 3 : 1, 10, 450, 4, 8, 3, 4, 1, 11, 3, 10, 70, 4.5e-5 + - 4 : 2, 10, 450, 3, 12, 2, 5, 1, 13, 1, 31, 97, 1.4e-5 + - 5 : 1, 10, 450, 3, 10, 4, 3, 2, 7, 3, 10, 115, 6.1e-5 + - 6 : 1, 10, 450, 4, 8, 2, 5, 2, 7, 3, 10, 136, 2.0e-6 + - 7 : 1, 10, 450, 6, 6, 2, 5, 2, 8, 3, 10, 182, 2.5e-6 + - 8 : 2, 10, 450, 3, 12, 3, 4, 2, 8, 1, 31, 193, 4.8e-5 + - 9 : 1, 10, 450, 6, 6, 3, 4, 3, 6, 3, 10, 273, 4.2e-5 + - 10: 2, 10, 450, 5, 8, 2, 5, 2, 10, 2, 20, 313, 2.8e-9 + - 11: 2, 10, 450, 6, 7, 2, 5, 2, 10, 2, 20, 350, 4.7e-7 + - 12: 2, 10, 450, 4, 9, 3, 4, 3, 7, 2, 20, 414, 4.6e-5 + - 13: 2, 10, 450, 6, 7, 2, 5, 3, 8, 2, 20, 523, 5.7e-7 + - 14: 2, 10, 450, 7, 6, 2, 5, 3, 8, 2, 20, 579, 4.4e-6 + - 15: 2, 10, 450, 9, 5, 3, 4, 3, 8, 2, 20, 691, 3.8e-5 + - 16: 2, 10, 450, 9, 5, 3, 4, 4, 6, 2, 20, 920, 3.8e-5 + - 17: 2, 10, 450, 9, 5, 4, 3, 5, 5, 2, 20, 1150, 6.1e-5 + - 18: 2, 10, 450, 8, 5, 2, 5, 7, 4, 2, 20, 1475, 1.0e-5 + - 19: 2, 10, 450, 11, 4, 2, 5, 7, 4, 2, 20, 1863, 1.3e-5 + - 20: 2, 10, 450, 11, 4, 2, 5, 10, 3, 2, 20, 2660, 4.9e-5 + - 21: 2, 10, 450, 21, 2, 3, 4, 10, 3, 2, 20, 4507, 5.6e-5 + - 22: 2, 10, 450, 22, 2, 2, 5, 16, 2, 2, 20, 7503, 4.8e-5 + # no solution starting from log norm2 = 23 + + - 2: # bits + -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error + - 0 : 1, 10, 450, 4, 8, 3, 4, 1, 10, 2, 13, 187, 2.9e-5 + - 1 : 1, 10, 450, 3, 10, 2, 5, 2, 7, 2, 13, 255, 3.6e-10 + - 2 : 1, 10, 450, 3, 10, 2, 5, 2, 7, 2, 13, 255, 9.6e-6 + - 3 : 1, 10, 450, 4, 8, 2, 5, 2, 7, 2, 13, 312, 8.6e-6 + - 4 : 1, 10, 450, 3, 10, 3, 4, 3, 5, 2, 13, 361, 5.7e-5 + - 5 : 2, 10, 450, 3, 12, 2, 5, 2, 8, 1, 31, 453, 5.9e-5 + - 6 : 1, 10, 450, 4, 8, 14, 1, 4, 4, 3, 10, 619, 6.3e-5 + - 7 : 2, 10, 450, 3, 12, 3, 4, 3, 6, 1, 31, 644, 6.1e-7 + - 8 : 2, 10, 450, 5, 8, 3, 4, 2, 10, 2, 20, 737, 3.8e-6 + - 9 : 2, 10, 450, 4, 9, 2, 5, 3, 7, 2, 20, 914, 5.8e-5 + - 10: 2, 10, 450, 5, 8, 3, 4, 3, 7, 2, 20, 1047, 6.7e-7 + - 11: 2, 10, 450, 7, 6, 2, 5, 3, 8, 2, 20, 1302, 1.2e-5 + - 12: 2, 10, 450, 8, 5, 3, 4, 3, 8, 2, 20, 1434, 3.3e-6 + - 13: 2, 10, 450, 7, 6, 3, 4, 4, 6, 2, 20, 1689, 1.1e-5 + - 14: 2, 10, 450, 7, 6, 3, 4, 5, 5, 2, 20, 2073, 3.3e-5 + - 15: 2, 10, 450, 7, 6, 3, 4, 7, 4, 2, 20, 2840, 9.4e-6 + - 16: 2, 10, 450, 9, 5, 7, 2, 7, 4, 2, 20, 3408, 6.0e-5 + - 17: 2, 10, 450, 14, 3, 3, 4, 7, 4, 2, 20, 4778, 3.1e-5 + - 18: 2, 10, 450, 14, 3, 3, 4, 10, 3, 2, 20, 6704, 2.3e-5 + - 19: 2, 10, 450, 22, 2, 4, 3, 11, 3, 3, 15, 11275, 5.3e-5 + - 20: 2, 10, 450, 45, 1, 5, 3, 16, 2, 2, 20, 29446, 5.8e-5 + # no solution starting from log norm2 = 21 + + - 3: # bits + -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error + - 0 : 1, 10, 450, 3, 10, 4, 3, 2, 7, 2, 13, 410, 5.3e-5 + - 1 : 1, 10, 450, 4, 8, 4, 3, 2, 7, 2, 13, 502, 4.7e-5 + - 2 : 1, 10, 450, 4, 8, 3, 4, 3, 5, 2, 13, 689, 1.8e-6 + - 3 : 2, 10, 450, 3, 12, 4, 3, 2, 8, 1, 31, 725, 4.1e-5 + - 4 : 1, 10, 450, 6, 6, 3, 4, 3, 6, 3, 10, 977, 4.0e-5 + - 5 : 2, 10, 450, 3, 12, 5, 3, 3, 6, 1, 31, 1012, 6.0e-5 + - 6 : 2, 10, 450, 3, 12, 3, 4, 4, 5, 1, 31, 1283, 4.1e-5 + - 7 : 2, 10, 450, 4, 9, 4, 3, 3, 7, 2, 20, 1426, 4.0e-5 + - 8 : 2, 10, 451, 5, 8, 5, 3, 3, 7, 2, 20, 1637, 6.1e-5 + - 9 : 2, 10, 450, 7, 6, 3, 4, 3, 8, 2, 20, 2030, 2.1e-5 + - 10: 2, 10, 450, 6, 7, 4, 3, 4, 6, 2, 20, 2352, 1.8e-5 + - 11: 2, 10, 450, 6, 7, 4, 3, 5, 5, 2, 20, 2872, 6.0e-5 + - 12: 2, 10, 450, 8, 5, 7, 2, 5, 5, 2, 20, 3516, 4.8e-5 + - 13: 2, 10, 450, 8, 5, 3, 4, 7, 4, 2, 20, 4757, 3.4e-5 + - 14: 2, 10, 450, 11, 4, 3, 4, 7, 4, 2, 20, 6030, 4.0e-5 + - 15: 2, 10, 450, 14, 3, 7, 2, 8, 4, 2, 20, 8288, 4.1e-5 + - 16: 2, 10, 450, 15, 3, 14, 1, 11, 3, 3, 15, 12653, 6.0e-5 + - 17: 2, 10, 450, 22, 2, 4, 3, 16, 2, 2, 20, 23361, 1.8e-5 + - 18: 2, 10, 450, 44, 1, 14, 1, 32, 1, 3, 15, 88011, 6.2e-5 + # no solution starting from log norm2 = 19 + + - 4: # bits + -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error + - 0 : 1, 10, 450, 4, 8, 3, 4, 2, 7, 2, 13, 943, 1.3e-8 + - 1 : 1, 10, 450, 4, 8, 3, 4, 2, 7, 3, 10, 991, 3.1e-5 + - 2 : 1, 10, 450, 4, 8, 3, 4, 3, 5, 2, 13, 1324, 2.2e-5 + - 3 : 1, 10, 450, 5, 7, 3, 4, 3, 6, 3, 10, 1636, 2.4e-5 + - 4 : 2, 10, 450, 3, 12, 3, 4, 3, 6, 1, 31, 1933, 4.3e-7 + - 5 : 2, 10, 450, 5, 8, 3, 4, 2, 10, 2, 20, 2211, 1.4e-6 + - 6 : 2, 10, 450, 6, 7, 3, 4, 2, 10, 2, 20, 2488, 2.2e-5 + - 7 : 2, 10, 450, 8, 5, 7, 2, 2, 11, 2, 20, 3084, 5.6e-5 + - 8 : 2, 10, 450, 6, 7, 3, 4, 3, 8, 2, 20, 3529, 2.5e-5 + - 9 : 2, 10, 450, 7, 6, 4, 3, 3, 8, 2, 20, 3927, 2.7e-5 + - 10: 2, 10, 450, 5, 8, 5, 3, 5, 5, 2, 20, 5022, 6.1e-5 + - 11: 2, 10, 450, 7, 6, 3, 4, 5, 5, 2, 20, 6219, 6.7e-6 + - 12: 2, 10, 450, 8, 5, 3, 4, 6, 5, 2, 20, 8090, 4.2e-5 + - 13: 2, 10, 450, 8, 5, 4, 3, 7, 4, 2, 20, 9362, 5.4e-5 + - 14: 2, 10, 450, 11, 4, 5, 3, 7, 4, 2, 20, 11864, 4.5e-5 + - 15: 2, 10, 450, 14, 3, 3, 4, 10, 3, 2, 20, 20114, 5.2e-6 + - 16: 2, 10, 450, 22, 2, 4, 3, 10, 3, 2, 20, 29427, 2.5e-5 + - 17: 2, 10, 450, 22, 2, 7, 2, 16, 2, 3, 15, 48639, 5.0e-5 + # no solution starting from log norm2 = 18 + + - 5: # bits + -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error + - 0 : 1, 10, 450, 4, 8, 3, 4, 2, 7, 2, 13, 943, 1.3e-8 + - 1 : 1, 10, 450, 4, 8, 3, 4, 2, 7, 3, 10, 991, 3.1e-5 + - 2 : 1, 10, 450, 4, 8, 3, 4, 3, 5, 2, 13, 1324, 2.2e-5 + - 3 : 1, 10, 450, 5, 7, 3, 4, 3, 6, 3, 10, 1636, 2.4e-5 + - 4 : 2, 10, 450, 3, 12, 3, 4, 3, 6, 1, 31, 1933, 4.3e-7 + - 5 : 2, 10, 450, 5, 8, 3, 4, 2, 10, 2, 20, 2211, 1.4e-6 + - 6 : 2, 10, 450, 6, 7, 3, 4, 2, 10, 2, 20, 2488, 2.2e-5 + - 7 : 2, 10, 450, 8, 5, 7, 2, 2, 11, 2, 20, 3084, 5.6e-5 + - 8 : 2, 10, 450, 6, 7, 3, 4, 3, 8, 2, 20, 3529, 2.5e-5 + - 9 : 2, 10, 450, 7, 6, 4, 3, 3, 8, 2, 20, 3927, 2.7e-5 + - 10: 2, 10, 450, 5, 8, 5, 3, 5, 5, 2, 20, 5022, 6.1e-5 + - 11: 2, 10, 450, 7, 6, 3, 4, 5, 5, 2, 20, 6219, 6.7e-6 + - 12: 2, 10, 450, 8, 5, 3, 4, 6, 5, 2, 20, 8090, 4.2e-5 + - 13: 2, 10, 450, 8, 5, 4, 3, 7, 4, 2, 20, 9362, 5.4e-5 + - 14: 2, 10, 450, 11, 4, 5, 3, 7, 4, 2, 20, 11864, 4.5e-5 + - 15: 2, 10, 450, 14, 3, 3, 4, 10, 3, 2, 20, 20114, 5.2e-6 + - 16: 2, 10, 450, 22, 2, 4, 3, 10, 3, 2, 20, 29427, 2.5e-5 + - 17: 2, 10, 450, 22, 2, 7, 2, 16, 2, 3, 15, 48639, 5.0e-5 + # no solution starting from log norm2 = 18 + + - 6: # bits + -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error + - 0 : 1, 10, 450, 4, 8, 3, 4, 2, 7, 2, 13, 1128, 6.3e-8 + - 1 : 1, 10, 450, 4, 8, 4, 3, 2, 7, 3, 10, 1190, 5.3e-5 + - 2 : 1, 10, 450, 4, 8, 4, 3, 3, 5, 2, 13, 1578, 3.8e-5 + - 3 : 1, 10, 450, 5, 7, 4, 3, 3, 6, 3, 10, 1948, 4.0e-5 + - 4 : 2, 10, 450, 3, 12, 3, 4, 3, 6, 1, 31, 2291, 1.2e-6 + - 5 : 2, 10, 450, 5, 8, 3, 4, 2, 10, 2, 20, 2633, 3.8e-6 + - 6 : 2, 10, 450, 6, 7, 3, 4, 2, 10, 2, 20, 2965, 5.6e-5 + - 7 : 2, 10, 450, 5, 8, 3, 4, 3, 7, 2, 20, 3718, 1.3e-6 + - 8 : 2, 10, 450, 6, 7, 3, 4, 3, 8, 2, 20, 4179, 6.3e-5 + - 9 : 2, 10, 450, 7, 6, 5, 3, 3, 8, 2, 20, 4665, 5.5e-5 + - 10: 2, 10, 450, 7, 6, 3, 4, 4, 6, 2, 20, 5984, 8.0e-6 + - 11: 2, 10, 450, 7, 6, 3, 4, 5, 5, 2, 20, 7327, 1.8e-5 + - 12: 2, 10, 450, 8, 5, 4, 3, 6, 5, 2, 20, 9531, 3.4e-5 + - 13: 2, 10, 450, 9, 5, 3, 4, 7, 4, 2, 20, 11970, 4.5e-5 + - 14: 2, 10, 450, 15, 3, 7, 2, 6, 5, 2, 20, 15512, 5.2e-5 + - 15: 2, 10, 450, 14, 3, 3, 4, 10, 3, 2, 20, 23603, 1.4e-5 + - 16: 2, 10, 450, 22, 2, 5, 3, 10, 3, 2, 20, 34554, 5.1e-5 + - 17: 2, 10, 450, 43, 1, 5, 3, 16, 2, 2, 20, 99202, 4.4e-5 + # no solution starting from log norm2 = 18 + + - 7: # bits + -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error + - 0 : 1, 10, 450, 4, 8, 3, 4, 2, 7, 2, 13, 1313, 6.0e-6 + - 1 : 1, 10, 450, 3, 10, 5, 3, 3, 5, 3, 10, 1599, 5.0e-5 + - 2 : 2, 10, 450, 3, 12, 3, 4, 2, 8, 1, 31, 1896, 2.1e-5 + - 3 : 1, 10, 450, 6, 6, 3, 4, 3, 6, 3, 10, 2579, 2.1e-6 + - 4 : 2, 10, 450, 3, 12, 3, 4, 3, 6, 1, 31, 2648, 4.2e-5 + - 5 : 2, 10, 450, 5, 8, 4, 3, 2, 10, 2, 20, 3069, 2.2e-5 + - 6 : 2, 10, 450, 4, 9, 3, 4, 3, 7, 2, 20, 3760, 2.1e-5 + - 7 : 2, 10, 450, 5, 8, 3, 4, 3, 7, 2, 20, 4295, 4.4e-5 + - 8 : 2, 10, 450, 7, 6, 3, 4, 3, 8, 2, 20, 5365, 2.7e-6 + - 9 : 2, 10, 450, 8, 5, 4, 3, 3, 8, 2, 20, 5915, 2.0e-5 + - 10: 2, 10, 450, 7, 6, 4, 3, 4, 6, 2, 20, 6914, 4.9e-5 + - 11: 2, 10, 450, 7, 6, 7, 2, 5, 5, 2, 20, 8492, 3.9e-5 + - 12: 2, 10, 450, 7, 6, 4, 3, 7, 4, 2, 20, 11519, 4.3e-5 + - 13: 2, 10, 450, 10, 4, 7, 2, 7, 4, 2, 20, 14939, 4.8e-5 + - 14: 2, 10, 450, 14, 3, 7, 2, 7, 4, 2, 20, 19443, 3.6e-5 + - 15: 2, 10, 450, 14, 3, 5, 3, 10, 3, 2, 20, 27120, 5.1e-5 + - 16: 2, 10, 450, 22, 2, 4, 3, 15, 2, 2, 20, 58406, 4.1e-5 + - 17: 2, 10, 450, 44, 1, 7, 2, 16, 2, 3, 15, 119277, 4.9e-5 + # no solution starting from log norm2 = 18 + + - 8: # bits + -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error + - 0 : 1, 10, 450, 4, 8, 3, 4, 2, 7, 2, 13, 1498, 1.4e-5 + - 1 : 1, 10, 450, 5, 7, 7, 2, 2, 8, 4, 8, 1948, 4.9e-5 + - 2 : 2, 10, 450, 3, 12, 3, 4, 2, 8, 1, 31, 2159, 3.8e-5 + - 3 : 1, 10, 450, 6, 6, 3, 4, 3, 6, 3, 10, 2931, 5.2e-6 + - 4 : 2, 10, 452, 3, 12, 3, 4, 3, 6, 1, 31, 3016, 6.0e-5 + - 5 : 2, 10, 450, 5, 8, 4, 3, 2, 10, 2, 20, 3493, 4.9e-5 + - 6 : 2, 10, 450, 4, 9, 3, 4, 3, 7, 2, 20, 4263, 3.7e-5 + - 7 : 2, 10, 452, 5, 8, 3, 4, 3, 7, 2, 20, 4888, 6.3e-5 + - 8 : 2, 10, 450, 7, 6, 3, 4, 3, 8, 2, 20, 6090, 4.9e-6 + - 9 : 2, 10, 450, 8, 5, 4, 3, 3, 8, 2, 20, 6715, 4.5e-5 + - 10: 2, 10, 451, 7, 6, 5, 3, 4, 6, 2, 20, 7862, 6.1e-5 + - 11: 2, 10, 450, 8, 5, 4, 3, 5, 5, 2, 20, 10501, 2.0e-5 + - 12: 2, 10, 450, 7, 6, 5, 3, 7, 4, 2, 20, 13029, 5.6e-5 + - 13: 2, 10, 450, 11, 4, 3, 4, 7, 4, 2, 20, 18091, 9.3e-6 + - 14: 2, 10, 450, 15, 3, 5, 3, 7, 4, 2, 20, 23217, 5.7e-5 + - 15: 2, 10, 450, 14, 3, 14, 1, 10, 3, 2, 20, 30755, 6.1e-5 + - 16: 2, 10, 450, 22, 2, 5, 3, 15, 2, 2, 20, 65880, 5.3e-5 + - 17: 2, 10, 450, 45, 1, 7, 2, 17, 2, 3, 15, 145521, 5.7e-5 + # no solution starting from log norm2 = 18 + + - 9: # bits + -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error + - 0 : 1, 10, 450, 4, 8, 3, 4, 2, 7, 2, 13, 1812, 5.5e-5 + - 1 : 1, 10, 450, 4, 8, 3, 4, 3, 5, 2, 13, 2510, 9.3e-7 + - 2 : 2, 10, 450, 3, 12, 4, 3, 2, 8, 1, 31, 2635, 2.3e-5 + - 3 : 1, 10, 450, 6, 6, 3, 4, 3, 6, 3, 10, 3557, 2.2e-5 + - 4 : 2, 10, 450, 3, 12, 4, 3, 3, 6, 1, 31, 3669, 5.6e-5 + - 5 : 2, 10, 450, 5, 8, 14, 1, 2, 10, 2, 20, 4428, 6.0e-5 + - 6 : 2, 10, 450, 4, 9, 4, 3, 3, 7, 2, 20, 5200, 2.2e-5 + - 7 : 2, 10, 450, 5, 8, 4, 3, 3, 7, 2, 20, 5938, 5.9e-5 + - 8 : 2, 10, 450, 7, 6, 3, 4, 3, 8, 2, 20, 7396, 1.4e-5 + - 9 : 2, 10, 450, 8, 5, 7, 2, 3, 8, 2, 20, 8211, 6.1e-5 + - 10: 2, 10, 450, 8, 5, 4, 3, 4, 6, 2, 20, 10467, 4.3e-5 + - 11: 2, 10, 450, 8, 5, 5, 3, 5, 5, 2, 20, 12800, 4.5e-5 + - 12: 2, 10, 450, 8, 5, 3, 4, 7, 4, 2, 20, 17388, 2.2e-5 + - 13: 2, 10, 450, 11, 4, 3, 4, 7, 4, 2, 20, 22039, 2.6e-5 + - 14: 2, 10, 450, 14, 3, 5, 3, 8, 4, 2, 20, 30261, 3.9e-5 + - 15: 2, 10, 450, 15, 3, 14, 1, 10, 3, 2, 20, 39659, 5.7e-5 + - 16: 2, 10, 450, 22, 2, 3, 4, 16, 2, 2, 20, 85497, 5.7e-5 + - 17: 2, 10, 450, 44, 1, 7, 2, 32, 1, 3, 15, 322298, 3.6e-5 + # no solution starting from log norm2 = 18 + + - 10: # bits + -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error + - 0 : 2, 10, 450, 3, 12, 5, 3, 2, 8, 1, 31, 2724, 2.9e-5 + - 1 : 1, 10, 450, 6, 6, 4, 3, 3, 6, 3, 10, 3644, 1.4e-5 + - 2 : 2, 10, 450, 3, 12, 5, 3, 3, 6, 1, 31, 3759, 5.1e-5 + - 3 : 2, 10, 450, 5, 8, 7, 2, 2, 10, 2, 20, 4399, 2.6e-5 + - 4 : 2, 10, 450, 4, 9, 5, 3, 3, 7, 2, 20, 5308, 2.8e-5 + - 5 : 2, 10, 450, 5, 8, 5, 3, 3, 7, 2, 20, 6065, 5.3e-5 + - 6 : 2, 10, 450, 7, 6, 4, 3, 3, 8, 2, 20, 7559, 3.4e-5 + - 7 : 2, 10, 450, 8, 5, 7, 2, 3, 8, 2, 20, 8374, 2.4e-5 + - 8 : 2, 10, 450, 7, 6, 7, 2, 4, 6, 2, 20, 9727, 5.2e-5 + - 9 : 2, 10, 467, 7, 6, 16, 1, 5, 5, 2, 20, 12366, 6.3e-5 + - 10: 2, 10, 450, 7, 6, 7, 2, 7, 4, 2, 20, 16059, 4.6e-5 + - 11: 2, 10, 450, 11, 4, 4, 3, 7, 4, 2, 20, 22276, 4.8e-5 + - 12: 2, 10, 459, 14, 3, 15, 1, 7, 4, 2, 20, 27666, 6.3e-5 + - 13: 2, 10, 450, 14, 3, 14, 1, 10, 3, 2, 20, 37772, 6.3e-5 + - 14: 2, 10, 450, 22, 2, 7, 2, 15, 2, 2, 20, 80840, 4.4e-5 + - 15: 2, 10, 453, 45, 1, 15, 1, 16, 2, 3, 15, 169526, 6.3e-5 + # no solution starting from log norm2 = 16 + + - 11: # bits + -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error + - 0 : 1, 10, 450, 4, 8, 3, 4, 3, 5, 2, 13, 3007, 3.6e-5 + - 1 : 1, 10, 450, 5, 7, 3, 4, 3, 6, 3, 10, 3712, 3.8e-5 + - 2 : 2, 10, 450, 3, 12, 3, 4, 3, 6, 1, 31, 4365, 7.8e-6 + - 3 : 2, 10, 450, 5, 8, 3, 4, 2, 10, 2, 20, 5059, 1.5e-5 + - 4 : 2, 10, 450, 3, 12, 5, 3, 4, 5, 1, 31, 5633, 4.9e-5 + - 5 : 2, 10, 450, 5, 8, 3, 4, 3, 7, 2, 20, 7074, 8.0e-6 + - 6 : 2, 10, 450, 6, 7, 4, 3, 3, 8, 2, 20, 7982, 1.2e-5 + - 7 : 2, 10, 450, 7, 6, 4, 3, 3, 8, 2, 20, 8868, 4.3e-5 + - 8 : 2, 10, 450, 6, 7, 14, 1, 4, 6, 2, 20, 10466, 5.9e-5 + - 9 : 2, 10, 450, 7, 6, 3, 4, 5, 5, 2, 20, 13834, 3.9e-5 + - 10: 2, 10, 450, 8, 5, 4, 3, 6, 5, 2, 20, 17958, 2.0e-5 + - 11: 2, 10, 450, 8, 5, 5, 3, 7, 4, 2, 20, 20715, 3.8e-5 + - 12: 2, 10, 450, 11, 4, 5, 3, 7, 4, 2, 20, 26252, 4.7e-5 + - 13: 2, 10, 450, 11, 4, 14, 1, 10, 3, 2, 20, 36821, 6.3e-5 + - 14: 2, 10, 450, 22, 2, 4, 3, 10, 3, 2, 20, 64812, 4.0e-5 + - 15: 2, 10, 450, 22, 2, 14, 1, 16, 2, 2, 20, 101603, 6.1e-5 + # no solution starting from log norm2 = 16 + + - 12: # bits + -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error + - 0 : 2, 10, 450, 3, 12, 4, 3, 2, 8, 1, 31, 3431, 1.5e-5 + - 1 : 2, 10, 466, 4, 9, 7, 2, 2, 9, 1, 31, 4332, 6.3e-5 + - 2 : 2, 10, 450, 3, 12, 4, 3, 3, 6, 1, 31, 4748, 2.7e-5 + - 3 : 2, 10, 450, 5, 8, 4, 3, 2, 10, 2, 20, 5507, 6.1e-5 + - 4 : 2, 10, 450, 4, 9, 4, 3, 3, 7, 2, 20, 6717, 1.4e-5 + - 5 : 2, 10, 450, 5, 8, 4, 3, 3, 7, 2, 20, 7676, 2.8e-5 + - 6 : 2, 10, 450, 7, 6, 4, 3, 3, 8, 2, 20, 9596, 2.5e-6 + - 7 : 2, 10, 450, 8, 5, 4, 3, 3, 8, 2, 20, 10556, 5.7e-5 + - 8 : 2, 10, 450, 7, 6, 5, 3, 4, 6, 2, 20, 12307, 4.0e-5 + - 9 : 2, 10, 450, 7, 6, 7, 2, 5, 5, 2, 20, 15043, 2.7e-5 + - 10: 2, 10, 450, 7, 6, 5, 3, 7, 4, 2, 20, 20367, 3.6e-5 + - 11: 2, 10, 450, 9, 5, 14, 1, 7, 4, 2, 20, 24576, 6.3e-5 + - 12: 2, 10, 450, 14, 3, 7, 2, 7, 4, 2, 20, 34370, 2.6e-5 + - 13: 2, 10, 450, 14, 3, 7, 2, 10, 3, 2, 20, 47856, 2.1e-5 + - 14: 2, 10, 450, 22, 2, 7, 2, 11, 3, 3, 15, 80266, 5.7e-5 + - 15: 2, 10, 450, 45, 1, 14, 1, 16, 2, 2, 20, 208889, 5.4e-5 + # no solution starting from log norm2 = 16 + + - 13: # bits + -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error + - 0 : 2, 10, 450, 3, 12, 4, 3, 2, 8, 1, 31, 3628, 2.0e-5 + - 1 : 1, 10, 450, 6, 6, 3, 4, 3, 6, 3, 10, 4888, 1.9e-5 + - 2 : 2, 10, 450, 3, 12, 4, 3, 3, 6, 1, 31, 5040, 3.7e-5 + - 3 : 2, 10, 450, 5, 8, 5, 3, 2, 10, 2, 20, 5852, 3.0e-5 + - 4 : 2, 10, 450, 4, 9, 4, 3, 3, 7, 2, 20, 7136, 2.0e-5 + - 5 : 2, 10, 450, 5, 8, 4, 3, 3, 7, 2, 20, 8151, 3.8e-5 + - 6 : 2, 10, 450, 7, 6, 4, 3, 3, 8, 2, 20, 10181, 3.4e-6 + - 7 : 2, 10, 450, 8, 5, 5, 3, 3, 8, 2, 20, 11223, 2.8e-5 + - 8 : 2, 10, 450, 7, 6, 5, 3, 4, 6, 2, 20, 13086, 5.9e-5 + - 9 : 2, 10, 450, 7, 6, 7, 2, 5, 5, 2, 20, 16018, 4.4e-5 + - 10: 2, 10, 450, 7, 6, 5, 3, 7, 4, 2, 20, 21724, 5.3e-5 + - 11: 2, 10, 450, 10, 4, 7, 2, 7, 4, 2, 20, 28144, 5.3e-5 + - 12: 2, 10, 450, 14, 3, 7, 2, 7, 4, 2, 20, 36635, 4.2e-5 + - 13: 2, 10, 450, 14, 3, 7, 2, 10, 3, 2, 20, 51086, 3.3e-5 + - 14: 2, 10, 457, 23, 2, 15, 1, 11, 3, 3, 15, 90348, 6.3e-5 + - 15: 2, 10, 450, 44, 1, 7, 2, 16, 2, 3, 15, 224180, 5.4e-5 + # no solution starting from log norm2 = 16 + + - 14: # bits + -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error + - 0 : 2, 10, 450, 3, 12, 4, 3, 2, 8, 1, 31, 4169, 3.5e-5 + - 1 : 1, 10, 450, 6, 6, 3, 4, 3, 6, 3, 10, 5601, 3.4e-5 + - 2 : 2, 10, 451, 3, 12, 4, 3, 3, 6, 1, 31, 5782, 6.1e-5 + - 3 : 2, 10, 450, 5, 8, 5, 3, 2, 10, 2, 20, 6714, 6.1e-5 + - 4 : 2, 10, 450, 4, 9, 4, 3, 3, 7, 2, 20, 8160, 3.5e-5 + - 5 : 2, 10, 450, 5, 8, 5, 3, 3, 7, 2, 20, 9353, 2.3e-5 + - 6 : 2, 10, 450, 7, 6, 4, 3, 3, 8, 2, 20, 11648, 5.8e-6 + - 7 : 2, 10, 450, 8, 5, 5, 3, 3, 8, 2, 20, 12841, 5.7e-5 + - 8 : 2, 10, 450, 7, 6, 7, 2, 4, 6, 2, 20, 15005, 4.3e-5 + - 9 : 2, 10, 450, 8, 5, 5, 3, 5, 5, 2, 20, 20002, 2.9e-5 + - 10: 2, 10, 450, 7, 6, 7, 2, 7, 4, 2, 20, 24805, 3.8e-5 + - 11: 2, 10, 450, 8, 5, 7, 2, 9, 3, 2, 20, 34384, 5.9e-5 + - 12: 2, 10, 450, 15, 3, 7, 2, 7, 4, 2, 20, 44148, 3.9e-5 + - 13: 2, 10, 450, 14, 3, 14, 1, 10, 3, 2, 20, 58329, 6.1e-5 + - 14: 2, 10, 450, 22, 2, 7, 2, 15, 2, 2, 20, 124859, 3.6e-5 + - 15: 2, 10, 456, 45, 1, 15, 1, 16, 2, 3, 15, 263372, 6.3e-5 + # no solution starting from log norm2 = 16 + + - 15: # bits + -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error + - 0 : 1, 10, 453, 5, 7, 7, 2, 3, 6, 3, 10, 4719, 6.3e-5 + - 1 : 2, 10, 451, 3, 12, 5, 3, 3, 6, 1, 31, 5511, 5.5e-5 + - 2 : 2, 10, 453, 5, 8, 5, 3, 2, 10, 2, 20, 6420, 6.1e-5 + - 3 : 2, 10, 450, 6, 7, 7, 2, 2, 10, 2, 20, 7256, 5.4e-5 + - 4 : 2, 10, 451, 5, 8, 5, 3, 3, 7, 2, 20, 8884, 5.6e-5 + - 5 : 2, 10, 450, 6, 7, 7, 2, 3, 8, 2, 20, 10033, 5.9e-5 + - 6 : 2, 10, 456, 5, 8, 15, 1, 4, 6, 2, 20, 11747, 6.3e-5 + - 7 : 2, 10, 450, 7, 6, 7, 2, 4, 6, 2, 20, 14213, 1.3e-5 + - 8 : 2, 10, 450, 7, 6, 7, 2, 5, 5, 2, 20, 17285, 2.3e-5 + - 9 : 2, 10, 450, 8, 5, 14, 1, 6, 5, 2, 20, 22548, 5.4e-5 + - 10: 2, 10, 450, 9, 5, 7, 2, 7, 4, 2, 20, 28007, 4.6e-5 + - 11: 2, 10, 450, 14, 3, 7, 2, 7, 4, 2, 20, 39450, 2.3e-5 + - 12: 2, 10, 450, 14, 3, 7, 2, 10, 3, 2, 20, 54868, 2.0e-5 + - 13: 2, 10, 463, 22, 2, 15, 1, 10, 3, 2, 20, 82593, 6.3e-5 + - 14: 2, 10, 459, 43, 1, 15, 1, 16, 2, 2, 20, 233719, 6.2e-5 + # no solution starting from log norm2 = 15 + + - 16: # bits + -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error + - 0 : 2, 10, 454, 3, 12, 7, 2, 2, 8, 1, 31, 4576, 6.2e-5 + - 1 : 1, 10, 450, 6, 6, 7, 2, 3, 6, 3, 10, 6029, 4.2e-5 + - 2 : 2, 10, 450, 5, 8, 4, 3, 2, 10, 2, 20, 7122, 2.1e-5 + - 3 : 2, 10, 452, 3, 12, 5, 3, 4, 5, 1, 31, 7912, 5.8e-5 + - 4 : 2, 10, 454, 4, 9, 7, 2, 3, 7, 2, 20, 8834, 6.3e-5 + - 5 : 2, 10, 450, 6, 7, 5, 3, 3, 8, 2, 20, 11190, 1.7e-5 + - 6 : 2, 10, 450, 7, 6, 5, 3, 3, 8, 2, 20, 12426, 4.2e-5 + - 7 : 2, 10, 450, 6, 7, 7, 2, 4, 6, 2, 20, 14385, 3.6e-5 + - 8 : 2, 10, 450, 9, 5, 7, 2, 4, 6, 2, 20, 19091, 6.3e-5 + - 9 : 2, 10, 452, 9, 5, 15, 1, 5, 5, 2, 20, 23558, 6.2e-5 + - 10: 2, 10, 450, 8, 5, 5, 3, 7, 4, 2, 20, 28847, 6.3e-5 + - 11: 2, 10, 450, 11, 4, 7, 2, 7, 4, 2, 20, 36607, 1.4e-5 + - 12: 2, 10, 450, 11, 4, 7, 2, 10, 3, 2, 20, 50985, 3.8e-5 + - 13: 2, 10, 450, 21, 2, 14, 1, 10, 3, 2, 20, 86829, 6.0e-5 + - 14: 2, 10, 450, 22, 2, 7, 2, 16, 2, 2, 20, 140852, 3.7e-5 + # no solution starting from log norm2 = 15 diff --git a/compilers/concrete-optimizer/v0-parameters/ref/wop_pbs_last_112 b/compilers/concrete-optimizer/v0-parameters/ref/wop_pbs_last_112 index e7ea8df931..7ac5360676 100644 --- a/compilers/concrete-optimizer/v0-parameters/ref/wop_pbs_last_112 +++ b/compilers/concrete-optimizer/v0-parameters/ref/wop_pbs_last_112 @@ -229,117 +229,117 @@ per precision and log norm2: - 11: # bits -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error - 0 : 2, 10, 596, 3, 12, 6, 2, 2, 8, 1, 29, 4049, 5.9e-5 - - 1 : 2, 10, 575, 4, 9, 6, 2, 2, 9, 2, 19, 5378, 6.0e-5 - - 2 : 2, 10, 587, 4, 9, 6, 2, 2, 9, 2, 19, 5464, 5.7e-5 + - 1 : 2, 10, 575, 4, 9, 6, 2, 2, 9, 2, 19, 5379, 6.0e-5 + - 2 : 2, 10, 587, 4, 9, 6, 2, 2, 9, 2, 19, 5465, 5.7e-5 - 3 : 2, 10, 592, 5, 8, 6, 2, 2, 10, 2, 19, 6350, 5.8e-5 - - 4 : 2, 10, 605, 6, 7, 7, 2, 2, 10, 2, 19, 7361, 6.1e-5 + - 4 : 2, 10, 605, 6, 7, 7, 2, 2, 10, 2, 19, 7362, 6.1e-5 - 5 : 2, 10, 585, 5, 8, 6, 2, 3, 7, 2, 19, 8721, 5.9e-5 - - 6 : 2, 10, 616, 6, 7, 7, 2, 3, 8, 2, 19, 10327, 6.2e-5 + - 6 : 2, 10, 616, 6, 7, 7, 2, 3, 8, 2, 19, 10328, 6.2e-5 - 7 : 2, 10, 579, 8, 5, 13, 1, 3, 8, 2, 19, 12277, 5.7e-5 - 8 : 2, 10, 580, 7, 6, 13, 1, 4, 6, 2, 19, 14187, 5.5e-5 - - 9 : 2, 10, 584, 7, 6, 13, 1, 5, 5, 2, 19, 17318, 6.0e-5 - - 10: 2, 10, 582, 7, 6, 13, 1, 7, 4, 2, 19, 23354, 6.1e-5 - - 11: 2, 10, 601, 9, 5, 14, 1, 7, 4, 2, 19, 28934, 6.0e-5 - - 12: 2, 10, 596, 14, 3, 13, 1, 7, 4, 2, 19, 40922, 6.1e-5 - - 13: 2, 10, 609, 14, 3, 14, 1, 10, 3, 2, 19, 58032, 6.3e-5 - - 14: 2, 10, 613, 22, 2, 14, 1, 10, 3, 3, 14, 89453, 6.3e-5 - - 15: 2, 10, 588, 44, 1, 13, 1, 16, 2, 3, 14, 249787, 6.2e-5 + - 9 : 2, 10, 584, 7, 6, 13, 1, 5, 5, 2, 19, 17319, 6.0e-5 + - 10: 2, 10, 582, 7, 6, 13, 1, 7, 4, 2, 19, 23355, 6.1e-5 + - 11: 2, 10, 601, 9, 5, 14, 1, 7, 4, 2, 19, 28935, 6.0e-5 + - 12: 2, 10, 596, 14, 3, 13, 1, 7, 4, 2, 19, 40923, 6.1e-5 + - 13: 2, 10, 609, 14, 3, 14, 1, 10, 3, 2, 19, 58034, 6.3e-5 + - 14: 2, 10, 613, 22, 2, 14, 1, 10, 3, 3, 14, 89454, 6.3e-5 + - 15: 2, 10, 588, 44, 1, 13, 1, 16, 2, 3, 14, 249789, 6.2e-5 # no solution starting from log norm2 = 16 - 12: # bits -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error - 0 : 2, 10, 600, 3, 12, 7, 2, 2, 8, 2, 19, 5120, 5.8e-5 - 1 : 2, 10, 592, 4, 9, 6, 2, 2, 9, 2, 19, 5960, 5.6e-5 - - 2 : 2, 10, 615, 4, 9, 7, 2, 2, 9, 2, 19, 6172, 6.0e-5 - - 3 : 2, 10, 654, 5, 8, 8, 2, 2, 10, 2, 19, 7533, 6.3e-5 - - 4 : 2, 10, 609, 4, 9, 7, 2, 3, 7, 2, 19, 8473, 5.8e-5 - - 5 : 2, 10, 610, 5, 8, 7, 2, 3, 7, 2, 19, 9785, 5.9e-5 - - 6 : 2, 10, 599, 7, 6, 7, 2, 3, 8, 2, 19, 12200, 5.5e-5 - - 7 : 2, 10, 604, 6, 7, 7, 2, 4, 6, 2, 19, 14025, 6.1e-5 - - 8 : 2, 10, 642, 7, 6, 15, 1, 4, 6, 2, 19, 16757, 6.3e-5 - - 9 : 2, 10, 603, 8, 5, 13, 1, 5, 5, 2, 19, 21186, 6.3e-5 - - 10: 2, 10, 591, 8, 5, 13, 1, 7, 4, 2, 19, 28143, 5.7e-5 - - 11: 2, 10, 593, 11, 4, 13, 1, 7, 4, 2, 19, 36103, 6.1e-5 - - 12: 2, 10, 602, 11, 4, 14, 1, 10, 3, 2, 19, 50858, 6.1e-5 - - 13: 2, 10, 622, 15, 3, 14, 1, 10, 3, 3, 14, 70993, 6.3e-5 - - 14: 2, 10, 618, 22, 2, 14, 1, 15, 2, 3, 14, 142700, 6.2e-5 - - 15: 2, 10, 616, 44, 1, 14, 1, 32, 1, 3, 14, 551062, 6.2e-5 + - 2 : 2, 10, 615, 4, 9, 7, 2, 2, 9, 2, 19, 6173, 6.0e-5 + - 3 : 2, 10, 654, 5, 8, 8, 2, 2, 10, 2, 19, 7534, 6.3e-5 + - 4 : 2, 10, 609, 4, 9, 7, 2, 3, 7, 2, 19, 8474, 5.8e-5 + - 5 : 2, 10, 610, 5, 8, 7, 2, 3, 7, 2, 19, 9786, 5.9e-5 + - 6 : 2, 10, 599, 7, 6, 7, 2, 3, 8, 2, 19, 12201, 5.5e-5 + - 7 : 2, 10, 604, 6, 7, 7, 2, 4, 6, 2, 19, 14026, 6.1e-5 + - 8 : 2, 10, 642, 7, 6, 15, 1, 4, 6, 2, 19, 16758, 6.3e-5 + - 9 : 2, 10, 603, 8, 5, 13, 1, 5, 5, 2, 19, 21187, 6.3e-5 + - 10: 2, 10, 591, 8, 5, 13, 1, 7, 4, 2, 19, 28146, 5.7e-5 + - 11: 2, 10, 593, 11, 4, 13, 1, 7, 4, 2, 19, 36105, 6.1e-5 + - 12: 2, 10, 602, 11, 4, 14, 1, 10, 3, 2, 19, 50861, 6.1e-5 + - 13: 2, 10, 622, 15, 3, 14, 1, 10, 3, 3, 14, 70996, 6.3e-5 + - 14: 2, 10, 618, 22, 2, 14, 1, 15, 2, 3, 14, 142704, 6.2e-5 + - 15: 2, 10, 616, 44, 1, 14, 1, 32, 1, 3, 14, 551071, 6.2e-5 # no solution starting from log norm2 = 16 - 13: # bits -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error - - 0 : 2, 10, 601, 3, 12, 7, 2, 2, 8, 2, 19, 5426, 6.3e-5 - - 1 : 2, 10, 592, 4, 9, 6, 2, 2, 9, 2, 19, 6303, 6.1e-5 - - 2 : 2, 10, 620, 4, 9, 7, 2, 2, 9, 2, 19, 6569, 6.1e-5 - - 3 : 2, 10, 595, 6, 7, 7, 2, 2, 10, 2, 19, 8315, 5.6e-5 - - 4 : 2, 10, 612, 4, 9, 7, 2, 3, 7, 2, 19, 9028, 6.1e-5 - - 5 : 2, 10, 613, 5, 8, 7, 2, 3, 7, 2, 19, 10422, 6.2e-5 - - 6 : 2, 10, 600, 7, 6, 7, 2, 3, 8, 2, 19, 12954, 5.9e-5 - - 7 : 2, 10, 596, 6, 7, 13, 1, 4, 6, 2, 19, 14959, 6.3e-5 - - 8 : 2, 10, 605, 6, 7, 14, 1, 5, 5, 2, 19, 18425, 6.3e-5 - - 9 : 2, 10, 606, 8, 5, 14, 1, 5, 5, 2, 19, 22675, 6.3e-5 - - 10: 2, 10, 592, 8, 5, 13, 1, 7, 4, 2, 19, 30046, 6.3e-5 - - 11: 2, 10, 595, 11, 4, 13, 1, 7, 4, 2, 19, 38592, 6.3e-5 - - 12: 2, 10, 606, 11, 4, 14, 1, 10, 3, 2, 19, 54599, 6.3e-5 - - 13: 2, 10, 648, 15, 3, 15, 1, 11, 3, 3, 14, 85909, 6.3e-5 - - 14: 2, 10, 632, 22, 2, 15, 1, 15, 2, 3, 14, 155608, 6.2e-5 - - 15: 2, 10, 629, 44, 1, 15, 1, 32, 1, 3, 14, 601373, 6.3e-5 + - 0 : 2, 10, 601, 3, 12, 7, 2, 2, 8, 2, 19, 5428, 6.3e-5 + - 1 : 2, 10, 592, 4, 9, 6, 2, 2, 9, 2, 19, 6305, 6.1e-5 + - 2 : 2, 10, 620, 4, 9, 7, 2, 2, 9, 2, 19, 6571, 6.1e-5 + - 3 : 2, 10, 595, 6, 7, 7, 2, 2, 10, 2, 19, 8317, 5.6e-5 + - 4 : 2, 10, 612, 4, 9, 7, 2, 3, 7, 2, 19, 9030, 6.1e-5 + - 5 : 2, 10, 613, 5, 8, 7, 2, 3, 7, 2, 19, 10424, 6.2e-5 + - 6 : 2, 10, 600, 7, 6, 7, 2, 3, 8, 2, 19, 12956, 5.9e-5 + - 7 : 2, 10, 596, 6, 7, 13, 1, 4, 6, 2, 19, 14962, 6.3e-5 + - 8 : 2, 10, 605, 6, 7, 14, 1, 5, 5, 2, 19, 18429, 6.3e-5 + - 9 : 2, 10, 606, 8, 5, 14, 1, 5, 5, 2, 19, 22679, 6.3e-5 + - 10: 2, 10, 592, 8, 5, 13, 1, 7, 4, 2, 19, 30051, 6.3e-5 + - 11: 2, 10, 595, 11, 4, 13, 1, 7, 4, 2, 19, 38597, 6.3e-5 + - 12: 2, 10, 606, 11, 4, 14, 1, 10, 3, 2, 19, 54605, 6.3e-5 + - 13: 2, 10, 648, 15, 3, 15, 1, 11, 3, 3, 14, 85916, 6.3e-5 + - 14: 2, 10, 632, 22, 2, 15, 1, 15, 2, 3, 14, 155618, 6.2e-5 + - 15: 2, 10, 629, 44, 1, 15, 1, 32, 1, 3, 14, 601393, 6.3e-5 # no solution starting from log norm2 = 16 - 14: # bits -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error - - 0 : 2, 10, 605, 3, 12, 7, 2, 2, 8, 2, 19, 6247, 5.9e-5 - - 1 : 2, 10, 593, 4, 9, 6, 2, 2, 9, 2, 19, 7235, 6.1e-5 - - 2 : 2, 10, 637, 4, 9, 7, 2, 2, 9, 2, 19, 7693, 6.3e-5 - - 3 : 2, 10, 597, 6, 7, 7, 2, 2, 10, 2, 19, 9566, 5.4e-5 - - 4 : 2, 10, 621, 4, 9, 7, 2, 3, 7, 2, 19, 10434, 6.2e-5 - - 5 : 2, 10, 623, 5, 8, 7, 2, 3, 7, 2, 19, 12070, 6.0e-5 - - 6 : 2, 10, 603, 7, 6, 7, 2, 3, 8, 2, 19, 14878, 6.0e-5 - - 7 : 2, 10, 612, 6, 7, 7, 2, 4, 6, 2, 19, 17198, 6.2e-5 - - 8 : 2, 10, 618, 6, 7, 14, 1, 5, 5, 2, 19, 21368, 6.1e-5 - - 9 : 2, 10, 619, 8, 5, 14, 1, 5, 5, 2, 19, 26321, 6.1e-5 - - 10: 2, 10, 596, 8, 5, 14, 1, 7, 4, 2, 19, 34440, 6.2e-5 - - 11: 2, 10, 600, 11, 4, 14, 1, 7, 4, 2, 19, 44304, 6.0e-5 - - 12: 2, 10, 620, 11, 4, 14, 1, 10, 3, 2, 19, 63338, 6.1e-5 - - 13: 2, 10, 608, 21, 2, 14, 1, 10, 3, 3, 14, 111740, 6.1e-5 - - 14: 2, 10, 599, 22, 2, 14, 1, 16, 2, 3, 14, 179217, 6.2e-5 - - 15: 2, 10, 634, 45, 1, 15, 1, 33, 1, 3, 14, 723426, 6.3e-5 + - 0 : 2, 10, 605, 3, 12, 7, 2, 2, 8, 2, 19, 6255, 5.9e-5 + - 1 : 2, 10, 593, 4, 9, 6, 2, 2, 9, 2, 19, 7243, 6.1e-5 + - 2 : 2, 10, 637, 4, 9, 7, 2, 2, 9, 2, 19, 7700, 6.3e-5 + - 3 : 2, 10, 597, 6, 7, 7, 2, 2, 10, 2, 19, 9573, 5.4e-5 + - 4 : 2, 10, 621, 4, 9, 7, 2, 3, 7, 2, 19, 10444, 6.2e-5 + - 5 : 2, 10, 623, 5, 8, 7, 2, 3, 7, 2, 19, 12079, 6.0e-5 + - 6 : 2, 10, 603, 7, 6, 7, 2, 3, 8, 2, 19, 14887, 6.0e-5 + - 7 : 2, 10, 612, 6, 7, 7, 2, 4, 6, 2, 19, 17211, 6.2e-5 + - 8 : 2, 10, 618, 6, 7, 14, 1, 5, 5, 2, 19, 21383, 6.1e-5 + - 9 : 2, 10, 619, 8, 5, 14, 1, 5, 5, 2, 19, 26336, 6.1e-5 + - 10: 2, 10, 596, 8, 5, 14, 1, 7, 4, 2, 19, 34461, 6.2e-5 + - 11: 2, 10, 600, 11, 4, 14, 1, 7, 4, 2, 19, 44325, 6.0e-5 + - 12: 2, 10, 620, 11, 4, 14, 1, 10, 3, 2, 19, 63366, 6.1e-5 + - 13: 2, 10, 608, 21, 2, 14, 1, 10, 3, 3, 14, 111768, 6.1e-5 + - 14: 2, 10, 599, 22, 2, 14, 1, 16, 2, 3, 14, 179260, 6.2e-5 + - 15: 2, 10, 634, 45, 1, 15, 1, 33, 1, 3, 14, 723513, 6.3e-5 # no solution starting from log norm2 = 16 - 15: # bits -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error - - 0 : 2, 10, 615, 4, 9, 7, 2, 2, 9, 2, 19, 7126, 5.8e-5 - - 1 : 2, 10, 635, 4, 9, 7, 2, 2, 9, 2, 19, 7307, 6.0e-5 - - 2 : 2, 10, 652, 5, 8, 7, 2, 2, 10, 2, 19, 8638, 6.3e-5 - - 3 : 2, 10, 631, 4, 9, 7, 2, 3, 7, 2, 19, 10024, 6.0e-5 - - 4 : 2, 10, 631, 5, 8, 7, 2, 3, 7, 2, 19, 11577, 6.1e-5 - - 5 : 2, 10, 623, 7, 6, 7, 2, 3, 8, 2, 19, 14526, 5.9e-5 - - 6 : 2, 10, 627, 6, 7, 7, 2, 4, 6, 2, 19, 16625, 6.2e-5 - - 7 : 2, 10, 639, 7, 6, 15, 1, 4, 6, 2, 19, 19196, 6.3e-5 - - 8 : 2, 10, 622, 8, 5, 14, 1, 5, 5, 2, 19, 25026, 6.3e-5 - - 9 : 2, 10, 614, 8, 5, 14, 1, 7, 4, 2, 19, 33377, 6.2e-5 - - 10: 2, 10, 616, 11, 4, 14, 1, 7, 4, 2, 19, 42867, 6.0e-5 - - 11: 2, 10, 662, 14, 3, 15, 1, 7, 4, 3, 14, 58497, 6.3e-5 - - 12: 2, 10, 634, 15, 3, 15, 1, 10, 3, 3, 14, 82761, 6.1e-5 - - 13: 2, 10, 632, 22, 2, 14, 1, 15, 2, 3, 14, 166739, 6.3e-5 - - 14: 2, 10, 631, 44, 1, 15, 1, 32, 1, 3, 14, 644951, 6.2e-5 + - 0 : 2, 10, 615, 4, 9, 7, 2, 2, 9, 2, 19, 7129, 5.8e-5 + - 1 : 2, 10, 635, 4, 9, 7, 2, 2, 9, 2, 19, 7311, 6.0e-5 + - 2 : 2, 10, 652, 5, 8, 7, 2, 2, 10, 2, 19, 8642, 6.3e-5 + - 3 : 2, 10, 631, 4, 9, 7, 2, 3, 7, 2, 19, 10029, 6.0e-5 + - 4 : 2, 10, 631, 5, 8, 7, 2, 3, 7, 2, 19, 11582, 6.1e-5 + - 5 : 2, 10, 623, 7, 6, 7, 2, 3, 8, 2, 19, 14531, 5.9e-5 + - 6 : 2, 10, 627, 6, 7, 7, 2, 4, 6, 2, 19, 16631, 6.2e-5 + - 7 : 2, 10, 639, 7, 6, 15, 1, 4, 6, 2, 19, 19203, 6.3e-5 + - 8 : 2, 10, 622, 8, 5, 14, 1, 5, 5, 2, 19, 25033, 6.3e-5 + - 9 : 2, 10, 614, 8, 5, 14, 1, 7, 4, 2, 19, 33387, 6.2e-5 + - 10: 2, 10, 616, 11, 4, 14, 1, 7, 4, 2, 19, 42877, 6.0e-5 + - 11: 2, 10, 662, 14, 3, 15, 1, 7, 4, 3, 14, 58507, 6.3e-5 + - 12: 2, 10, 634, 15, 3, 15, 1, 10, 3, 3, 14, 82775, 6.1e-5 + - 13: 2, 10, 632, 22, 2, 14, 1, 15, 2, 3, 14, 166759, 6.3e-5 + - 14: 2, 10, 631, 44, 1, 15, 1, 32, 1, 3, 14, 644993, 6.2e-5 # no solution starting from log norm2 = 15 - 16: # bits -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error - - 0 : 2, 10, 668, 3, 12, 15, 1, 2, 8, 2, 19, 7536, 6.3e-5 - - 1 : 2, 10, 606, 4, 9, 7, 2, 2, 9, 2, 19, 7875, 5.8e-5 - - 2 : 2, 10, 609, 5, 8, 7, 2, 2, 10, 2, 19, 9130, 6.2e-5 - - 3 : 2, 10, 621, 6, 7, 7, 2, 2, 10, 2, 19, 10523, 6.1e-5 - - 4 : 2, 10, 605, 5, 8, 7, 2, 3, 7, 2, 19, 12537, 5.6e-5 - - 5 : 2, 10, 628, 6, 7, 7, 2, 3, 8, 2, 19, 14640, 6.2e-5 - - 6 : 2, 10, 636, 5, 8, 14, 1, 4, 6, 2, 19, 16948, 6.2e-5 - - 7 : 2, 10, 610, 7, 6, 7, 2, 4, 6, 2, 19, 20350, 5.9e-5 - - 8 : 2, 10, 604, 7, 6, 13, 1, 5, 5, 2, 19, 24784, 6.3e-5 - - 9 : 2, 10, 629, 8, 5, 15, 1, 6, 5, 2, 19, 33326, 6.2e-5 - - 10: 2, 10, 615, 9, 5, 14, 1, 7, 4, 2, 19, 41025, 6.0e-5 - - 11: 2, 10, 611, 14, 3, 14, 1, 7, 4, 2, 19, 58215, 6.0e-5 - - 12: 2, 10, 619, 14, 3, 14, 1, 10, 3, 2, 19, 81784, 6.2e-5 - - 13: 2, 10, 621, 22, 2, 14, 1, 10, 3, 3, 14, 125670, 6.2e-5 - - 14: 2, 10, 606, 44, 1, 14, 1, 16, 2, 3, 14, 356534, 6.3e-5 + - 0 : 2, 10, 668, 3, 12, 15, 1, 2, 8, 2, 19, 7551, 6.3e-5 + - 1 : 2, 10, 606, 4, 9, 7, 2, 2, 9, 2, 19, 7890, 5.8e-5 + - 2 : 2, 10, 609, 5, 8, 7, 2, 2, 10, 2, 19, 9144, 6.2e-5 + - 3 : 2, 10, 621, 6, 7, 7, 2, 2, 10, 2, 19, 10538, 6.1e-5 + - 4 : 2, 10, 605, 5, 8, 7, 2, 3, 7, 2, 19, 12557, 5.6e-5 + - 5 : 2, 10, 628, 6, 7, 7, 2, 3, 8, 2, 19, 14660, 6.2e-5 + - 6 : 2, 10, 636, 5, 8, 14, 1, 4, 6, 2, 19, 16973, 6.2e-5 + - 7 : 2, 10, 610, 7, 6, 7, 2, 4, 6, 2, 19, 20375, 5.9e-5 + - 8 : 2, 10, 604, 7, 6, 13, 1, 5, 5, 2, 19, 24814, 6.3e-5 + - 9 : 2, 10, 629, 8, 5, 15, 1, 6, 5, 2, 19, 33362, 6.2e-5 + - 10: 2, 10, 615, 9, 5, 14, 1, 7, 4, 2, 19, 41066, 6.0e-5 + - 11: 2, 10, 611, 14, 3, 14, 1, 7, 4, 2, 19, 58256, 6.0e-5 + - 12: 2, 10, 619, 14, 3, 14, 1, 10, 3, 2, 19, 81840, 6.2e-5 + - 13: 2, 10, 621, 22, 2, 14, 1, 10, 3, 3, 14, 125726, 6.2e-5 + - 14: 2, 10, 606, 44, 1, 14, 1, 16, 2, 3, 14, 356621, 6.3e-5 # no solution starting from log norm2 = 15 diff --git a/compilers/concrete-optimizer/v0-parameters/ref/wop_pbs_last_128 b/compilers/concrete-optimizer/v0-parameters/ref/wop_pbs_last_128 index 0b65bc469e..4871fc9a3c 100644 --- a/compilers/concrete-optimizer/v0-parameters/ref/wop_pbs_last_128 +++ b/compilers/concrete-optimizer/v0-parameters/ref/wop_pbs_last_128 @@ -227,116 +227,116 @@ per precision and log norm2: - 11: # bits -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error - - 0 : 2, 10, 666, 3, 12, 6, 2, 2, 8, 2, 17, 5075, 6.1e-5 - - 1 : 2, 10, 660, 4, 9, 6, 2, 2, 9, 2, 17, 5988, 5.4e-5 + - 0 : 2, 10, 666, 3, 12, 6, 2, 2, 8, 2, 17, 5076, 6.1e-5 + - 1 : 2, 10, 660, 4, 9, 6, 2, 2, 9, 2, 17, 5989, 5.4e-5 - 2 : 2, 10, 676, 4, 9, 6, 2, 2, 9, 2, 17, 6103, 6.3e-5 - 3 : 2, 10, 684, 5, 8, 6, 2, 2, 10, 3, 13, 7767, 6.2e-5 - - 4 : 2, 10, 675, 4, 9, 6, 2, 3, 7, 2, 17, 8444, 6.1e-5 - - 5 : 2, 10, 681, 5, 8, 7, 2, 3, 7, 2, 17, 9878, 5.9e-5 - - 6 : 2, 10, 677, 5, 8, 7, 2, 4, 6, 2, 17, 12546, 5.9e-5 - - 7 : 2, 10, 671, 8, 5, 13, 1, 3, 8, 3, 13, 14865, 5.9e-5 - - 8 : 2, 10, 668, 7, 6, 13, 1, 4, 6, 3, 13, 17208, 6.2e-5 - - 9 : 2, 10, 676, 7, 6, 13, 1, 5, 5, 3, 13, 21114, 6.1e-5 - - 10: 2, 10, 676, 7, 6, 13, 1, 7, 4, 3, 13, 28603, 6.3e-5 - - 11: 2, 10, 707, 9, 5, 14, 1, 7, 4, 4, 10, 37635, 6.3e-5 - - 12: 2, 10, 674, 14, 3, 13, 1, 7, 4, 4, 10, 50075, 5.9e-5 - - 13: 2, 10, 679, 14, 3, 13, 1, 10, 3, 4, 10, 70193, 6.1e-5 - - 14: 2, 10, 709, 22, 2, 14, 1, 11, 3, 5, 9, 118414, 6.3e-5 - - 15: 2, 10, 689, 44, 1, 14, 1, 16, 2, 5, 9, 300140, 6.3e-5 + - 4 : 2, 10, 675, 4, 9, 6, 2, 3, 7, 2, 17, 8445, 6.1e-5 + - 5 : 2, 10, 681, 5, 8, 7, 2, 3, 7, 2, 17, 9879, 5.9e-5 + - 6 : 2, 10, 677, 5, 8, 7, 2, 4, 6, 2, 17, 12547, 5.9e-5 + - 7 : 2, 10, 671, 8, 5, 13, 1, 3, 8, 3, 13, 14866, 5.9e-5 + - 8 : 2, 10, 668, 7, 6, 13, 1, 4, 6, 3, 13, 17209, 6.2e-5 + - 9 : 2, 10, 676, 7, 6, 13, 1, 5, 5, 3, 13, 21115, 6.1e-5 + - 10: 2, 10, 676, 7, 6, 13, 1, 7, 4, 3, 13, 28604, 6.3e-5 + - 11: 2, 10, 707, 9, 5, 14, 1, 7, 4, 4, 10, 37636, 6.3e-5 + - 12: 2, 10, 674, 14, 3, 13, 1, 7, 4, 4, 10, 50076, 5.9e-5 + - 13: 2, 10, 679, 14, 3, 13, 1, 10, 3, 4, 10, 70194, 6.1e-5 + - 14: 2, 10, 709, 22, 2, 14, 1, 11, 3, 5, 9, 118415, 6.3e-5 + - 15: 2, 10, 689, 44, 1, 14, 1, 16, 2, 5, 9, 300142, 6.3e-5 # no solution starting from log norm2 = 16 - 12: # bits -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error - - 0 : 2, 10, 689, 3, 12, 7, 2, 2, 8, 2, 17, 5679, 5.9e-5 - - 1 : 2, 10, 680, 4, 9, 6, 2, 2, 9, 2, 17, 6645, 5.7e-5 - - 2 : 2, 10, 725, 4, 9, 7, 2, 2, 9, 2, 17, 7035, 6.2e-5 - - 3 : 2, 10, 679, 4, 9, 6, 2, 3, 7, 2, 17, 9177, 6.2e-5 - - 4 : 2, 10, 720, 4, 9, 7, 2, 3, 7, 2, 17, 9649, 6.3e-5 - - 5 : 2, 10, 704, 5, 8, 7, 2, 3, 7, 3, 13, 11990, 6.3e-5 - - 6 : 2, 10, 691, 7, 6, 7, 2, 3, 8, 3, 13, 14772, 5.9e-5 - - 7 : 2, 10, 699, 6, 7, 7, 2, 4, 6, 3, 13, 17151, 6.1e-5 - - 8 : 2, 10, 691, 8, 5, 14, 1, 4, 6, 3, 13, 21007, 6.2e-5 - - 9 : 2, 10, 701, 8, 5, 14, 1, 5, 5, 3, 13, 25800, 6.2e-5 - - 10: 2, 10, 685, 8, 5, 14, 1, 7, 4, 3, 13, 34260, 5.9e-5 - - 11: 2, 10, 702, 11, 4, 14, 1, 7, 4, 3, 13, 44263, 6.1e-5 - - 12: 2, 10, 690, 11, 4, 14, 1, 10, 3, 4, 10, 64031, 6.2e-5 - - 13: 2, 10, 698, 21, 2, 14, 1, 10, 3, 4, 10, 107561, 6.1e-5 - - 14: 2, 10, 691, 22, 2, 14, 1, 16, 2, 4, 10, 173197, 6.3e-5 - - 15: 2, 10, 718, 45, 1, 14, 1, 33, 1, 6, 7, 703617, 6.3e-5 + - 0 : 2, 10, 689, 3, 12, 7, 2, 2, 8, 2, 17, 5680, 5.9e-5 + - 1 : 2, 10, 680, 4, 9, 6, 2, 2, 9, 2, 17, 6646, 5.7e-5 + - 2 : 2, 10, 725, 4, 9, 7, 2, 2, 9, 2, 17, 7036, 6.2e-5 + - 3 : 2, 10, 679, 4, 9, 6, 2, 3, 7, 2, 17, 9179, 6.2e-5 + - 4 : 2, 10, 720, 4, 9, 7, 2, 3, 7, 2, 17, 9650, 6.3e-5 + - 5 : 2, 10, 704, 5, 8, 7, 2, 3, 7, 3, 13, 11991, 6.3e-5 + - 6 : 2, 10, 691, 7, 6, 7, 2, 3, 8, 3, 13, 14773, 5.9e-5 + - 7 : 2, 10, 699, 6, 7, 7, 2, 4, 6, 3, 13, 17153, 6.1e-5 + - 8 : 2, 10, 691, 8, 5, 14, 1, 4, 6, 3, 13, 21009, 6.2e-5 + - 9 : 2, 10, 701, 8, 5, 14, 1, 5, 5, 3, 13, 25802, 6.2e-5 + - 10: 2, 10, 685, 8, 5, 14, 1, 7, 4, 3, 13, 34262, 5.9e-5 + - 11: 2, 10, 702, 11, 4, 14, 1, 7, 4, 3, 13, 44265, 6.1e-5 + - 12: 2, 10, 690, 11, 4, 14, 1, 10, 3, 4, 10, 64034, 6.2e-5 + - 13: 2, 10, 698, 21, 2, 14, 1, 10, 3, 4, 10, 107564, 6.1e-5 + - 14: 2, 10, 691, 22, 2, 14, 1, 16, 2, 4, 10, 173201, 6.3e-5 + - 15: 2, 10, 718, 45, 1, 14, 1, 33, 1, 6, 7, 703627, 6.3e-5 # no solution starting from log norm2 = 16 - 13: # bits -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error - - 0 : 2, 10, 691, 3, 12, 7, 2, 2, 8, 2, 17, 6022, 6.0e-5 - - 1 : 2, 10, 680, 4, 9, 6, 2, 2, 9, 2, 17, 7025, 6.2e-5 - - 2 : 2, 10, 752, 4, 9, 8, 2, 2, 9, 2, 17, 7704, 6.3e-5 - - 3 : 2, 10, 680, 4, 9, 6, 2, 3, 7, 2, 17, 9750, 5.9e-5 - - 4 : 2, 10, 744, 4, 9, 7, 2, 3, 7, 2, 17, 10507, 6.3e-5 - - 5 : 2, 10, 710, 5, 8, 7, 2, 3, 7, 3, 13, 12809, 6.3e-5 - - 6 : 2, 10, 693, 7, 6, 7, 2, 3, 8, 3, 13, 15706, 6.2e-5 - - 7 : 2, 10, 703, 6, 7, 7, 2, 4, 6, 3, 13, 18318, 6.3e-5 - - 8 : 2, 10, 696, 8, 5, 14, 1, 4, 6, 3, 13, 22462, 6.3e-5 - - 9 : 2, 10, 711, 8, 5, 14, 1, 5, 5, 3, 13, 27779, 6.2e-5 - - 10: 2, 10, 688, 8, 5, 14, 1, 7, 4, 3, 13, 36659, 6.2e-5 - - 11: 2, 10, 712, 11, 4, 14, 1, 7, 4, 3, 13, 47749, 6.2e-5 - - 12: 2, 10, 695, 11, 4, 14, 1, 10, 3, 4, 10, 68760, 6.3e-5 - - 13: 2, 10, 706, 21, 2, 14, 1, 10, 3, 4, 10, 115951, 6.2e-5 - - 14: 2, 10, 697, 22, 2, 14, 1, 16, 2, 4, 10, 186518, 6.1e-5 + - 0 : 2, 10, 691, 3, 12, 7, 2, 2, 8, 2, 17, 6024, 6.0e-5 + - 1 : 2, 10, 680, 4, 9, 6, 2, 2, 9, 2, 17, 7027, 6.2e-5 + - 2 : 2, 10, 752, 4, 9, 8, 2, 2, 9, 2, 17, 7706, 6.3e-5 + - 3 : 2, 10, 680, 4, 9, 6, 2, 3, 7, 2, 17, 9752, 5.9e-5 + - 4 : 2, 10, 744, 4, 9, 7, 2, 3, 7, 2, 17, 10509, 6.3e-5 + - 5 : 2, 10, 710, 5, 8, 7, 2, 3, 7, 3, 13, 12811, 6.3e-5 + - 6 : 2, 10, 693, 7, 6, 7, 2, 3, 8, 3, 13, 15709, 6.2e-5 + - 7 : 2, 10, 703, 6, 7, 7, 2, 4, 6, 3, 13, 18321, 6.3e-5 + - 8 : 2, 10, 696, 8, 5, 14, 1, 4, 6, 3, 13, 22465, 6.3e-5 + - 9 : 2, 10, 711, 8, 5, 14, 1, 5, 5, 3, 13, 27782, 6.2e-5 + - 10: 2, 10, 688, 8, 5, 14, 1, 7, 4, 3, 13, 36664, 6.2e-5 + - 11: 2, 10, 712, 11, 4, 14, 1, 7, 4, 3, 13, 47754, 6.2e-5 + - 12: 2, 10, 695, 11, 4, 14, 1, 10, 3, 4, 10, 68767, 6.3e-5 + - 13: 2, 10, 706, 21, 2, 14, 1, 10, 3, 4, 10, 115958, 6.2e-5 + - 14: 2, 10, 697, 22, 2, 14, 1, 16, 2, 4, 10, 186528, 6.1e-5 # no solution starting from log norm2 = 15 - 14: # bits -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error - - 0 : 2, 10, 696, 3, 12, 7, 2, 2, 8, 2, 17, 6940, 5.8e-5 - - 1 : 2, 10, 682, 4, 9, 6, 2, 2, 9, 2, 17, 8075, 5.8e-5 - - 2 : 2, 10, 693, 5, 8, 7, 2, 2, 9, 2, 17, 9532, 6.2e-5 - - 3 : 2, 10, 681, 4, 9, 6, 2, 3, 7, 2, 17, 11159, 6.2e-5 - - 4 : 2, 10, 680, 5, 8, 7, 2, 3, 7, 2, 17, 12948, 6.2e-5 - - 5 : 2, 10, 731, 5, 8, 7, 2, 3, 7, 3, 13, 14959, 6.3e-5 - - 6 : 2, 10, 699, 7, 6, 7, 2, 3, 8, 3, 13, 18079, 6.1e-5 - - 7 : 2, 10, 716, 6, 7, 7, 2, 4, 6, 3, 13, 21195, 6.3e-5 - - 8 : 2, 10, 713, 8, 5, 14, 1, 4, 6, 3, 13, 26138, 6.2e-5 - - 9 : 2, 10, 704, 9, 5, 14, 1, 5, 5, 3, 13, 34214, 6.1e-5 - - 10: 2, 10, 698, 8, 5, 14, 1, 7, 4, 3, 13, 42208, 6.0e-5 - - 11: 2, 10, 688, 11, 4, 14, 1, 7, 4, 4, 10, 55675, 6.1e-5 - - 12: 2, 10, 712, 11, 4, 14, 1, 10, 3, 4, 10, 79684, 6.3e-5 - - 13: 2, 10, 682, 22, 2, 13, 1, 10, 3, 4, 10, 132972, 6.3e-5 - - 14: 2, 10, 716, 22, 2, 14, 1, 16, 2, 4, 10, 216913, 6.3e-5 + - 0 : 2, 10, 696, 3, 12, 7, 2, 2, 8, 2, 17, 6947, 5.8e-5 + - 1 : 2, 10, 682, 4, 9, 6, 2, 2, 9, 2, 17, 8082, 5.8e-5 + - 2 : 2, 10, 693, 5, 8, 7, 2, 2, 9, 2, 17, 9539, 6.2e-5 + - 3 : 2, 10, 681, 4, 9, 6, 2, 3, 7, 2, 17, 11169, 6.2e-5 + - 4 : 2, 10, 680, 5, 8, 7, 2, 3, 7, 2, 17, 12958, 6.2e-5 + - 5 : 2, 10, 731, 5, 8, 7, 2, 3, 7, 3, 13, 14969, 6.3e-5 + - 6 : 2, 10, 699, 7, 6, 7, 2, 3, 8, 3, 13, 18088, 6.1e-5 + - 7 : 2, 10, 716, 6, 7, 7, 2, 4, 6, 3, 13, 21208, 6.3e-5 + - 8 : 2, 10, 713, 8, 5, 14, 1, 4, 6, 3, 13, 26151, 6.2e-5 + - 9 : 2, 10, 704, 9, 5, 14, 1, 5, 5, 3, 13, 34229, 6.1e-5 + - 10: 2, 10, 698, 8, 5, 14, 1, 7, 4, 3, 13, 42228, 6.0e-5 + - 11: 2, 10, 688, 11, 4, 14, 1, 7, 4, 4, 10, 55695, 6.1e-5 + - 12: 2, 10, 712, 11, 4, 14, 1, 10, 3, 4, 10, 79712, 6.3e-5 + - 13: 2, 10, 682, 22, 2, 13, 1, 10, 3, 4, 10, 133000, 6.3e-5 + - 14: 2, 10, 716, 22, 2, 14, 1, 16, 2, 4, 10, 216956, 6.3e-5 # no solution starting from log norm2 = 15 - 15: # bits -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error - - 0 : 2, 10, 707, 4, 9, 7, 2, 2, 9, 2, 17, 7960, 6.3e-5 - - 1 : 2, 10, 752, 4, 9, 7, 2, 2, 9, 2, 17, 8369, 6.3e-5 - - 2 : 2, 10, 707, 4, 9, 7, 2, 3, 7, 2, 17, 10953, 6.2e-5 - - 3 : 2, 10, 750, 4, 9, 7, 2, 3, 7, 2, 17, 11478, 6.3e-5 - - 4 : 2, 10, 733, 5, 8, 7, 2, 3, 7, 3, 13, 14227, 6.3e-5 - - 5 : 2, 10, 762, 5, 8, 16, 1, 4, 6, 2, 17, 17594, 6.3e-5 - - 6 : 2, 10, 729, 6, 7, 7, 2, 4, 6, 3, 13, 20365, 6.3e-5 - - 7 : 2, 10, 720, 8, 5, 14, 1, 4, 6, 3, 13, 24975, 6.0e-5 - - 8 : 2, 10, 728, 8, 5, 14, 1, 5, 5, 3, 13, 30554, 6.3e-5 - - 9 : 2, 10, 714, 8, 5, 14, 1, 7, 4, 3, 13, 40623, 6.3e-5 - - 10: 2, 10, 727, 11, 4, 15, 1, 7, 4, 3, 13, 52353, 6.3e-5 - - 11: 2, 10, 719, 11, 4, 15, 1, 10, 3, 4, 10, 75860, 6.3e-5 - - 12: 2, 10, 725, 21, 2, 15, 1, 10, 3, 4, 10, 127511, 6.2e-5 - - 13: 2, 10, 720, 22, 2, 15, 1, 16, 2, 4, 10, 205657, 6.2e-5 - - 14: 2, 10, 754, 45, 1, 15, 1, 32, 1, 6, 7, 816555, 6.3e-5 + - 0 : 2, 10, 707, 4, 9, 7, 2, 2, 9, 2, 17, 7964, 6.3e-5 + - 1 : 2, 10, 752, 4, 9, 7, 2, 2, 9, 2, 17, 8372, 6.3e-5 + - 2 : 2, 10, 707, 4, 9, 7, 2, 3, 7, 2, 17, 10957, 6.2e-5 + - 3 : 2, 10, 750, 4, 9, 7, 2, 3, 7, 2, 17, 11483, 6.3e-5 + - 4 : 2, 10, 733, 5, 8, 7, 2, 3, 7, 3, 13, 14232, 6.3e-5 + - 5 : 2, 10, 762, 5, 8, 16, 1, 4, 6, 2, 17, 17600, 6.3e-5 + - 6 : 2, 10, 729, 6, 7, 7, 2, 4, 6, 3, 13, 20371, 6.3e-5 + - 7 : 2, 10, 720, 8, 5, 14, 1, 4, 6, 3, 13, 24981, 6.0e-5 + - 8 : 2, 10, 728, 8, 5, 14, 1, 5, 5, 3, 13, 30562, 6.3e-5 + - 9 : 2, 10, 714, 8, 5, 14, 1, 7, 4, 3, 13, 40633, 6.3e-5 + - 10: 2, 10, 727, 11, 4, 15, 1, 7, 4, 3, 13, 52363, 6.3e-5 + - 11: 2, 10, 719, 11, 4, 15, 1, 10, 3, 4, 10, 75874, 6.3e-5 + - 12: 2, 10, 725, 21, 2, 15, 1, 10, 3, 4, 10, 127525, 6.2e-5 + - 13: 2, 10, 720, 22, 2, 15, 1, 16, 2, 4, 10, 205678, 6.2e-5 + - 14: 2, 10, 754, 45, 1, 15, 1, 32, 1, 6, 7, 816597, 6.3e-5 # no solution starting from log norm2 = 15 - 16: # bits -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error - - 0 : 2, 10, 686, 4, 9, 7, 2, 2, 9, 2, 17, 8684, 5.4e-5 - - 1 : 2, 10, 698, 4, 9, 7, 2, 2, 9, 2, 17, 8806, 5.9e-5 - - 2 : 2, 10, 703, 5, 8, 7, 2, 2, 10, 3, 13, 11134, 6.1e-5 - - 3 : 2, 10, 697, 4, 9, 7, 2, 3, 7, 2, 17, 12130, 6.1e-5 - - 4 : 2, 10, 704, 5, 8, 7, 2, 3, 7, 2, 17, 14160, 5.8e-5 - - 5 : 2, 10, 700, 5, 8, 7, 2, 4, 6, 2, 17, 17957, 6.3e-5 - - 6 : 2, 10, 706, 8, 5, 7, 2, 3, 8, 3, 13, 21310, 6.0e-5 - - 7 : 2, 10, 704, 7, 6, 7, 2, 4, 6, 3, 13, 24677, 5.8e-5 - - 8 : 2, 10, 698, 7, 6, 14, 1, 5, 5, 3, 13, 30172, 6.0e-5 - - 9 : 2, 10, 698, 7, 6, 14, 1, 7, 4, 3, 13, 40805, 6.3e-5 - - 10: 2, 10, 718, 9, 5, 15, 1, 7, 4, 4, 10, 52976, 6.3e-5 - - 11: 2, 10, 696, 14, 3, 14, 1, 7, 4, 4, 10, 71516, 6.1e-5 - - 12: 2, 10, 700, 14, 3, 14, 1, 10, 3, 4, 10, 99991, 6.2e-5 - - 13: 2, 10, 720, 22, 2, 14, 1, 11, 3, 5, 9, 166552, 6.3e-5 - - 14: 2, 10, 708, 44, 1, 14, 1, 16, 2, 5, 9, 426865, 6.3e-5 + - 0 : 2, 10, 686, 4, 9, 7, 2, 2, 9, 2, 17, 8699, 5.4e-5 + - 1 : 2, 10, 698, 4, 9, 7, 2, 2, 9, 2, 17, 8820, 5.9e-5 + - 2 : 2, 10, 703, 5, 8, 7, 2, 2, 10, 3, 13, 11148, 6.1e-5 + - 3 : 2, 10, 697, 4, 9, 7, 2, 3, 7, 2, 17, 12150, 6.1e-5 + - 4 : 2, 10, 704, 5, 8, 7, 2, 3, 7, 2, 17, 14180, 5.8e-5 + - 5 : 2, 10, 700, 5, 8, 7, 2, 4, 6, 2, 17, 17981, 6.3e-5 + - 6 : 2, 10, 706, 8, 5, 7, 2, 3, 8, 3, 13, 21330, 6.0e-5 + - 7 : 2, 10, 704, 7, 6, 7, 2, 4, 6, 3, 13, 24702, 5.8e-5 + - 8 : 2, 10, 698, 7, 6, 14, 1, 5, 5, 3, 13, 30202, 6.0e-5 + - 9 : 2, 10, 698, 7, 6, 14, 1, 7, 4, 3, 13, 40845, 6.3e-5 + - 10: 2, 10, 718, 9, 5, 15, 1, 7, 4, 4, 10, 53017, 6.3e-5 + - 11: 2, 10, 696, 14, 3, 14, 1, 7, 4, 4, 10, 71557, 6.1e-5 + - 12: 2, 10, 700, 14, 3, 14, 1, 10, 3, 4, 10, 100047, 6.2e-5 + - 13: 2, 10, 720, 22, 2, 14, 1, 11, 3, 5, 9, 166613, 6.3e-5 + - 14: 2, 10, 708, 44, 1, 14, 1, 16, 2, 5, 9, 426953, 6.3e-5 # no solution starting from log norm2 = 15 diff --git a/compilers/concrete-optimizer/v0-parameters/ref/wop_pbs_last_192 b/compilers/concrete-optimizer/v0-parameters/ref/wop_pbs_last_192 index 3712faea94..2742cda43d 100644 --- a/compilers/concrete-optimizer/v0-parameters/ref/wop_pbs_last_192 +++ b/compilers/concrete-optimizer/v0-parameters/ref/wop_pbs_last_192 @@ -219,111 +219,111 @@ per precision and log norm2: - 11: # bits -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error - - 0 : 3, 10, 1044, 3, 12, 7, 2, 2, 8, 2, 18, 12302, 6.1e-5 - - 1 : 3, 10, 1030, 4, 9, 6, 2, 2, 9, 2, 18, 14221, 5.9e-5 - - 2 : 3, 10, 1034, 5, 8, 7, 2, 2, 9, 2, 18, 16461, 6.0e-5 + - 0 : 3, 10, 1044, 3, 12, 7, 2, 2, 8, 2, 18, 12303, 6.1e-5 + - 1 : 3, 10, 1030, 4, 9, 6, 2, 2, 9, 2, 18, 14222, 5.9e-5 + - 2 : 3, 10, 1034, 5, 8, 7, 2, 2, 9, 2, 18, 16462, 6.0e-5 - 3 : 3, 10, 1060, 6, 7, 7, 2, 2, 10, 2, 18, 18955, 6.2e-5 - - 4 : 3, 10, 1022, 5, 8, 7, 2, 3, 7, 2, 18, 22653, 6.1e-5 + - 4 : 3, 10, 1022, 5, 8, 7, 2, 3, 7, 2, 18, 22654, 6.1e-5 - 5 : 3, 10, 1044, 6, 7, 7, 2, 3, 7, 2, 18, 25956, 6.0e-5 - - 6 : 3, 10, 1092, 5, 8, 15, 1, 4, 6, 2, 18, 31130, 6.3e-5 - - 7 : 3, 10, 1057, 7, 6, 7, 2, 4, 6, 2, 18, 37284, 6.1e-5 - - 8 : 3, 10, 1082, 8, 5, 14, 1, 4, 6, 3, 13, 46179, 6.3e-5 - - 9 : 3, 10, 1052, 9, 5, 14, 1, 5, 5, 3, 13, 59583, 6.3e-5 - - 10: 3, 10, 1033, 9, 5, 14, 1, 7, 4, 3, 13, 79702, 6.3e-5 - - 11: 3, 10, 1077, 11, 4, 14, 1, 7, 4, 3, 13, 94880, 6.3e-5 - - 12: 3, 10, 1025, 14, 3, 14, 1, 10, 3, 3, 13, 152213, 6.3e-5 - - 13: 3, 10, 1061, 22, 2, 14, 1, 10, 3, 3, 13, 225703, 6.2e-5 - - 14: 3, 10, 1072, 44, 1, 14, 1, 15, 2, 4, 11, 630578, 6.3e-5 + - 6 : 3, 10, 1092, 5, 8, 15, 1, 4, 6, 2, 18, 31131, 6.3e-5 + - 7 : 3, 10, 1057, 7, 6, 7, 2, 4, 6, 2, 18, 37285, 6.1e-5 + - 8 : 3, 10, 1082, 8, 5, 14, 1, 4, 6, 3, 13, 46180, 6.3e-5 + - 9 : 3, 10, 1052, 9, 5, 14, 1, 5, 5, 3, 13, 59584, 6.3e-5 + - 10: 3, 10, 1033, 9, 5, 14, 1, 7, 4, 3, 13, 79704, 6.3e-5 + - 11: 3, 10, 1077, 11, 4, 14, 1, 7, 4, 3, 13, 94881, 6.3e-5 + - 12: 3, 10, 1025, 14, 3, 14, 1, 10, 3, 3, 13, 152215, 6.3e-5 + - 13: 3, 10, 1061, 22, 2, 14, 1, 10, 3, 3, 13, 225704, 6.2e-5 + - 14: 3, 10, 1072, 44, 1, 14, 1, 15, 2, 4, 11, 630580, 6.3e-5 # no solution starting from log norm2 = 15 - 12: # bits -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error - - 0 : 3, 10, 1038, 4, 9, 7, 2, 2, 9, 2, 18, 15577, 6.3e-5 - - 1 : 3, 10, 1062, 4, 9, 7, 2, 2, 9, 2, 18, 15844, 6.2e-5 - - 2 : 3, 10, 1110, 5, 8, 7, 2, 2, 9, 2, 18, 18849, 6.3e-5 - - 3 : 3, 10, 1068, 4, 9, 7, 2, 3, 7, 2, 18, 22078, 6.3e-5 - - 4 : 3, 10, 1057, 5, 8, 7, 2, 3, 7, 2, 18, 25133, 6.2e-5 - - 5 : 3, 10, 1054, 5, 8, 7, 2, 4, 6, 2, 18, 32057, 6.1e-5 - - 6 : 3, 10, 1073, 6, 7, 7, 2, 4, 6, 2, 18, 36638, 6.2e-5 - - 7 : 3, 10, 1079, 7, 6, 7, 2, 4, 6, 3, 13, 45005, 6.1e-5 - - 8 : 3, 10, 1086, 7, 6, 14, 1, 5, 5, 3, 13, 55761, 6.3e-5 - - 9 : 3, 10, 1112, 11, 4, 15, 1, 5, 5, 3, 13, 77674, 6.3e-5 - - 10: 3, 10, 1037, 11, 4, 14, 1, 7, 4, 3, 13, 99392, 6.0e-5 - - 11: 3, 10, 1098, 14, 3, 15, 1, 7, 4, 3, 13, 124926, 6.3e-5 - - 12: 3, 10, 1088, 15, 3, 15, 1, 10, 3, 3, 13, 182079, 6.3e-5 - - 13: 3, 10, 1067, 22, 2, 14, 1, 15, 2, 3, 13, 359340, 6.3e-5 - - 14: 3, 10, 1093, 44, 1, 15, 1, 31, 1, 4, 11, 1398498, 6.3e-5 + - 0 : 3, 10, 1038, 4, 9, 7, 2, 2, 9, 2, 18, 15578, 6.3e-5 + - 1 : 3, 10, 1062, 4, 9, 7, 2, 2, 9, 2, 18, 15845, 6.2e-5 + - 2 : 3, 10, 1110, 5, 8, 7, 2, 2, 9, 2, 18, 18850, 6.3e-5 + - 3 : 3, 10, 1068, 4, 9, 7, 2, 3, 7, 2, 18, 22079, 6.3e-5 + - 4 : 3, 10, 1057, 5, 8, 7, 2, 3, 7, 2, 18, 25135, 6.2e-5 + - 5 : 3, 10, 1054, 5, 8, 7, 2, 4, 6, 2, 18, 32059, 6.1e-5 + - 6 : 3, 10, 1073, 6, 7, 7, 2, 4, 6, 2, 18, 36640, 6.2e-5 + - 7 : 3, 10, 1079, 7, 6, 7, 2, 4, 6, 3, 13, 45007, 6.1e-5 + - 8 : 3, 10, 1086, 7, 6, 14, 1, 5, 5, 3, 13, 55763, 6.3e-5 + - 9 : 3, 10, 1112, 11, 4, 15, 1, 5, 5, 3, 13, 77677, 6.3e-5 + - 10: 3, 10, 1037, 11, 4, 14, 1, 7, 4, 3, 13, 99395, 6.0e-5 + - 11: 3, 10, 1098, 14, 3, 15, 1, 7, 4, 3, 13, 124929, 6.3e-5 + - 12: 3, 10, 1088, 15, 3, 15, 1, 10, 3, 3, 13, 182083, 6.3e-5 + - 13: 3, 10, 1067, 22, 2, 14, 1, 15, 2, 3, 13, 359346, 6.3e-5 + - 14: 3, 10, 1093, 44, 1, 15, 1, 31, 1, 4, 11, 1398511, 6.3e-5 # no solution starting from log norm2 = 15 - 13: # bits -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error - - 0 : 3, 10, 1039, 4, 9, 7, 2, 2, 9, 2, 18, 16497, 5.8e-5 - - 1 : 3, 10, 1065, 4, 9, 7, 2, 2, 9, 2, 18, 16802, 6.3e-5 - - 2 : 3, 10, 1135, 5, 8, 8, 2, 2, 9, 2, 18, 20381, 6.3e-5 - - 3 : 3, 10, 1073, 4, 9, 7, 2, 3, 7, 2, 18, 23524, 6.2e-5 - - 4 : 3, 10, 1060, 5, 8, 7, 2, 3, 7, 2, 18, 26734, 6.0e-5 - - 5 : 3, 10, 1056, 5, 8, 7, 2, 4, 6, 2, 18, 34144, 6.1e-5 - - 6 : 3, 10, 1079, 6, 7, 7, 2, 4, 6, 2, 18, 39124, 6.2e-5 - - 7 : 3, 10, 1086, 7, 6, 7, 2, 4, 6, 3, 13, 48098, 6.3e-5 - - 8 : 3, 10, 1108, 7, 6, 15, 1, 5, 5, 3, 13, 60366, 6.3e-5 - - 9 : 3, 10, 1043, 8, 5, 14, 1, 7, 4, 3, 13, 85382, 6.1e-5 - - 10: 3, 10, 1039, 11, 4, 14, 1, 7, 4, 3, 13, 106145, 6.0e-5 - - 11: 3, 10, 1070, 15, 3, 14, 1, 7, 4, 3, 13, 137474, 6.3e-5 - - 12: 3, 10, 1121, 15, 3, 15, 1, 10, 3, 3, 13, 199283, 6.3e-5 - - 13: 3, 10, 1077, 22, 2, 14, 1, 15, 2, 3, 13, 387141, 6.2e-5 - - 14: 3, 10, 1081, 44, 1, 15, 1, 32, 1, 4, 11, 1528228, 6.2e-5 + - 0 : 3, 10, 1039, 4, 9, 7, 2, 2, 9, 2, 18, 16500, 5.8e-5 + - 1 : 3, 10, 1065, 4, 9, 7, 2, 2, 9, 2, 18, 16804, 6.3e-5 + - 2 : 3, 10, 1135, 5, 8, 8, 2, 2, 9, 2, 18, 20384, 6.3e-5 + - 3 : 3, 10, 1073, 4, 9, 7, 2, 3, 7, 2, 18, 23527, 6.2e-5 + - 4 : 3, 10, 1060, 5, 8, 7, 2, 3, 7, 2, 18, 26737, 6.0e-5 + - 5 : 3, 10, 1056, 5, 8, 7, 2, 4, 6, 2, 18, 34148, 6.1e-5 + - 6 : 3, 10, 1079, 6, 7, 7, 2, 4, 6, 2, 18, 39128, 6.2e-5 + - 7 : 3, 10, 1086, 7, 6, 7, 2, 4, 6, 3, 13, 48102, 6.3e-5 + - 8 : 3, 10, 1108, 7, 6, 15, 1, 5, 5, 3, 13, 60371, 6.3e-5 + - 9 : 3, 10, 1043, 8, 5, 14, 1, 7, 4, 3, 13, 85389, 6.1e-5 + - 10: 3, 10, 1039, 11, 4, 14, 1, 7, 4, 3, 13, 106152, 6.0e-5 + - 11: 3, 10, 1070, 15, 3, 14, 1, 7, 4, 3, 13, 137481, 6.3e-5 + - 12: 3, 10, 1121, 15, 3, 15, 1, 10, 3, 3, 13, 199292, 6.3e-5 + - 13: 3, 10, 1077, 22, 2, 14, 1, 15, 2, 3, 13, 387155, 6.2e-5 + - 14: 3, 10, 1081, 44, 1, 15, 1, 32, 1, 4, 11, 1528257, 6.2e-5 # no solution starting from log norm2 = 15 - 14: # bits -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error - - 0 : 3, 10, 1040, 4, 9, 7, 2, 2, 9, 2, 18, 18909, 5.7e-5 - - 1 : 3, 10, 1073, 4, 9, 7, 2, 2, 9, 2, 18, 19354, 6.3e-5 - - 2 : 3, 10, 1053, 6, 7, 7, 2, 2, 10, 2, 18, 24761, 6.2e-5 - - 3 : 3, 10, 1086, 4, 9, 7, 2, 3, 7, 2, 18, 27105, 6.2e-5 - - 4 : 3, 10, 1066, 5, 8, 7, 2, 3, 7, 2, 18, 30677, 6.0e-5 - - 5 : 3, 10, 1061, 5, 8, 7, 2, 4, 6, 2, 18, 39083, 6.0e-5 - - 6 : 3, 10, 1096, 6, 7, 7, 2, 4, 6, 2, 18, 45185, 6.2e-5 - - 7 : 3, 10, 1091, 7, 6, 14, 1, 4, 6, 3, 13, 55798, 6.3e-5 - - 8 : 3, 10, 1050, 8, 5, 14, 1, 5, 5, 3, 13, 71992, 6.3e-5 - - 9 : 3, 10, 1048, 8, 5, 14, 1, 7, 4, 3, 13, 97485, 6.3e-5 - - 10: 3, 10, 1043, 11, 4, 14, 1, 7, 4, 3, 13, 121160, 6.1e-5 - - 11: 3, 10, 1094, 15, 3, 15, 1, 7, 4, 3, 13, 159523, 6.2e-5 - - 12: 3, 10, 1077, 21, 2, 14, 1, 10, 3, 3, 13, 287927, 6.3e-5 - - 13: 3, 10, 1111, 22, 2, 15, 1, 15, 2, 3, 13, 452007, 6.3e-5 - - 14: 3, 10, 1095, 45, 1, 15, 1, 32, 1, 4, 11, 1790063, 6.3e-5 + - 0 : 3, 10, 1040, 4, 9, 7, 2, 2, 9, 2, 18, 18920, 5.7e-5 + - 1 : 3, 10, 1073, 4, 9, 7, 2, 2, 9, 2, 18, 19364, 6.3e-5 + - 2 : 3, 10, 1053, 6, 7, 7, 2, 2, 10, 2, 18, 24771, 6.2e-5 + - 3 : 3, 10, 1086, 4, 9, 7, 2, 3, 7, 2, 18, 27119, 6.2e-5 + - 4 : 3, 10, 1066, 5, 8, 7, 2, 3, 7, 2, 18, 30690, 6.0e-5 + - 5 : 3, 10, 1061, 5, 8, 7, 2, 4, 6, 2, 18, 39100, 6.0e-5 + - 6 : 3, 10, 1096, 6, 7, 7, 2, 4, 6, 2, 18, 45203, 6.2e-5 + - 7 : 3, 10, 1091, 7, 6, 14, 1, 4, 6, 3, 13, 55816, 6.3e-5 + - 8 : 3, 10, 1050, 8, 5, 14, 1, 5, 5, 3, 13, 72013, 6.3e-5 + - 9 : 3, 10, 1048, 8, 5, 14, 1, 7, 4, 3, 13, 97514, 6.3e-5 + - 10: 3, 10, 1043, 11, 4, 14, 1, 7, 4, 3, 13, 121189, 6.1e-5 + - 11: 3, 10, 1094, 15, 3, 15, 1, 7, 4, 3, 13, 159552, 6.2e-5 + - 12: 3, 10, 1077, 21, 2, 14, 1, 10, 3, 3, 13, 287966, 6.3e-5 + - 13: 3, 10, 1111, 22, 2, 15, 1, 15, 2, 3, 13, 452065, 6.3e-5 + - 14: 3, 10, 1095, 45, 1, 15, 1, 32, 1, 4, 11, 1790184, 6.3e-5 # no solution starting from log norm2 = 15 - 15: # bits -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error - - 0 : 3, 10, 1117, 5, 8, 7, 2, 2, 9, 2, 18, 21866, 6.2e-5 - - 1 : 3, 10, 1132, 6, 7, 8, 2, 2, 10, 2, 18, 25123, 6.3e-5 - - 2 : 3, 10, 1108, 5, 8, 7, 2, 3, 7, 2, 18, 29993, 6.2e-5 - - 3 : 3, 10, 1147, 5, 8, 15, 1, 3, 7, 2, 18, 31666, 6.3e-5 - - 4 : 3, 10, 1156, 5, 8, 8, 2, 4, 6, 2, 18, 39624, 6.3e-5 - - 5 : 3, 10, 1109, 7, 6, 15, 1, 4, 6, 2, 18, 48995, 6.3e-5 - - 6 : 3, 10, 1127, 8, 5, 15, 1, 4, 6, 3, 13, 59269, 6.3e-5 - - 7 : 3, 10, 1155, 8, 5, 16, 1, 5, 5, 3, 13, 73425, 6.3e-5 - - 8 : 3, 10, 1150, 8, 5, 16, 1, 7, 4, 3, 13, 98939, 6.3e-5 - - 9 : 3, 10, 1127, 11, 4, 15, 1, 7, 4, 3, 13, 121904, 6.3e-5 - - 10: 3, 10, 1102, 14, 3, 15, 1, 10, 3, 3, 13, 199810, 6.2e-5 - - 11: 3, 10, 1120, 22, 2, 15, 1, 10, 3, 3, 13, 292808, 6.3e-5 - - 12: 3, 10, 1124, 44, 1, 15, 1, 15, 2, 4, 11, 813233, 6.2e-5 + - 0 : 3, 10, 1117, 5, 8, 7, 2, 2, 9, 2, 18, 21871, 6.2e-5 + - 1 : 3, 10, 1132, 6, 7, 8, 2, 2, 10, 2, 18, 25127, 6.3e-5 + - 2 : 3, 10, 1108, 5, 8, 7, 2, 3, 7, 2, 18, 30000, 6.2e-5 + - 3 : 3, 10, 1147, 5, 8, 15, 1, 3, 7, 2, 18, 31673, 6.3e-5 + - 4 : 3, 10, 1156, 5, 8, 8, 2, 4, 6, 2, 18, 39633, 6.3e-5 + - 5 : 3, 10, 1109, 7, 6, 15, 1, 4, 6, 2, 18, 49003, 6.3e-5 + - 6 : 3, 10, 1127, 8, 5, 15, 1, 4, 6, 3, 13, 59277, 6.3e-5 + - 7 : 3, 10, 1155, 8, 5, 16, 1, 5, 5, 3, 13, 73435, 6.3e-5 + - 8 : 3, 10, 1150, 8, 5, 16, 1, 7, 4, 3, 13, 98953, 6.3e-5 + - 9 : 3, 10, 1127, 11, 4, 15, 1, 7, 4, 3, 13, 121918, 6.3e-5 + - 10: 3, 10, 1102, 14, 3, 15, 1, 10, 3, 3, 13, 199829, 6.2e-5 + - 11: 3, 10, 1120, 22, 2, 15, 1, 10, 3, 3, 13, 292828, 6.3e-5 + - 12: 3, 10, 1124, 44, 1, 15, 1, 15, 2, 4, 11, 813261, 6.2e-5 # no solution starting from log norm2 = 13 - 16: # bits -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error - - 0 : 3, 10, 1069, 4, 9, 7, 2, 2, 9, 2, 18, 20532, 6.1e-5 - - 1 : 3, 10, 1081, 5, 8, 7, 2, 2, 9, 2, 18, 23807, 6.1e-5 - - 2 : 3, 10, 1126, 6, 7, 7, 2, 2, 10, 2, 18, 27814, 6.3e-5 - - 3 : 3, 10, 1067, 5, 8, 7, 2, 3, 7, 2, 18, 32623, 6.1e-5 - - 4 : 3, 10, 1094, 6, 7, 7, 2, 3, 7, 2, 18, 37545, 6.3e-5 - - 5 : 3, 10, 1073, 6, 7, 7, 2, 4, 6, 2, 18, 47199, 6.1e-5 - - 6 : 3, 10, 1116, 7, 6, 7, 2, 4, 6, 2, 18, 54231, 6.2e-5 - - 7 : 3, 10, 1093, 9, 5, 15, 1, 4, 6, 3, 13, 70325, 6.3e-5 - - 8 : 3, 10, 1120, 9, 5, 15, 1, 5, 5, 3, 13, 87075, 6.3e-5 - - 9 : 3, 10, 1088, 9, 5, 14, 1, 7, 4, 3, 13, 115170, 6.3e-5 - - 10: 3, 10, 1065, 14, 3, 14, 1, 7, 4, 3, 13, 156682, 6.1e-5 - - 11: 3, 10, 1075, 14, 3, 15, 1, 10, 3, 3, 13, 219826, 6.3e-5 - - 12: 3, 10, 1093, 22, 2, 15, 1, 10, 3, 4, 11, 334703, 6.2e-5 - - 13: 3, 10, 1078, 44, 1, 14, 1, 16, 2, 4, 11, 935247, 6.3e-5 + - 0 : 3, 10, 1069, 4, 9, 7, 2, 2, 9, 2, 18, 20552, 6.1e-5 + - 1 : 3, 10, 1081, 5, 8, 7, 2, 2, 9, 2, 18, 23828, 6.1e-5 + - 2 : 3, 10, 1126, 6, 7, 7, 2, 2, 10, 2, 18, 27834, 6.3e-5 + - 3 : 3, 10, 1067, 5, 8, 7, 2, 3, 7, 2, 18, 32651, 6.1e-5 + - 4 : 3, 10, 1094, 6, 7, 7, 2, 3, 7, 2, 18, 37573, 6.3e-5 + - 5 : 3, 10, 1073, 6, 7, 7, 2, 4, 6, 2, 18, 47234, 6.1e-5 + - 6 : 3, 10, 1116, 7, 6, 7, 2, 4, 6, 2, 18, 54266, 6.2e-5 + - 7 : 3, 10, 1093, 9, 5, 15, 1, 4, 6, 3, 13, 70361, 6.3e-5 + - 8 : 3, 10, 1120, 9, 5, 15, 1, 5, 5, 3, 13, 87118, 6.3e-5 + - 9 : 3, 10, 1088, 9, 5, 14, 1, 7, 4, 3, 13, 115227, 6.3e-5 + - 10: 3, 10, 1065, 14, 3, 14, 1, 7, 4, 3, 13, 156740, 6.1e-5 + - 11: 3, 10, 1075, 14, 3, 15, 1, 10, 3, 3, 13, 219906, 6.3e-5 + - 12: 3, 10, 1093, 22, 2, 15, 1, 10, 3, 4, 11, 334782, 6.2e-5 + - 13: 3, 10, 1078, 44, 1, 14, 1, 16, 2, 4, 11, 935371, 6.3e-5 # no solution starting from log norm2 = 14 diff --git a/compilers/concrete-optimizer/v0-parameters/ref/wop_pbs_last_80 b/compilers/concrete-optimizer/v0-parameters/ref/wop_pbs_last_80 index d8132ee87b..7a60e4fc57 100644 --- a/compilers/concrete-optimizer/v0-parameters/ref/wop_pbs_last_80 +++ b/compilers/concrete-optimizer/v0-parameters/ref/wop_pbs_last_80 @@ -236,113 +236,113 @@ per precision and log norm2: - 2 : 2, 10, 450, 3, 12, 3, 4, 3, 6, 1, 31, 4365, 7.8e-6 - 3 : 2, 10, 450, 5, 8, 3, 4, 2, 10, 2, 20, 5059, 1.5e-5 - 4 : 2, 10, 450, 3, 12, 5, 3, 4, 5, 1, 31, 5633, 4.9e-5 - - 5 : 2, 10, 450, 5, 8, 3, 4, 3, 7, 2, 20, 7073, 8.0e-6 + - 5 : 2, 10, 450, 5, 8, 3, 4, 3, 7, 2, 20, 7074, 8.0e-6 - 6 : 2, 10, 450, 6, 7, 4, 3, 3, 8, 2, 20, 7982, 1.2e-5 - 7 : 2, 10, 450, 7, 6, 4, 3, 3, 8, 2, 20, 8868, 4.3e-5 - 8 : 2, 10, 450, 6, 7, 14, 1, 4, 6, 2, 20, 10466, 5.9e-5 - 9 : 2, 10, 450, 7, 6, 3, 4, 5, 5, 2, 20, 13834, 3.9e-5 - - 10: 2, 10, 450, 8, 5, 4, 3, 6, 5, 2, 20, 17957, 2.0e-5 - - 11: 2, 10, 450, 8, 5, 5, 3, 7, 4, 2, 20, 20714, 3.8e-5 - - 12: 2, 10, 450, 11, 4, 5, 3, 7, 4, 2, 20, 26251, 4.7e-5 - - 13: 2, 10, 450, 11, 4, 14, 1, 10, 3, 2, 20, 36820, 6.3e-5 - - 14: 2, 10, 450, 22, 2, 4, 3, 10, 3, 2, 20, 64811, 4.0e-5 - - 15: 2, 10, 450, 22, 2, 14, 1, 16, 2, 2, 20, 101601, 6.1e-5 + - 10: 2, 10, 450, 8, 5, 4, 3, 6, 5, 2, 20, 17958, 2.0e-5 + - 11: 2, 10, 450, 8, 5, 5, 3, 7, 4, 2, 20, 20715, 3.8e-5 + - 12: 2, 10, 450, 11, 4, 5, 3, 7, 4, 2, 20, 26252, 4.7e-5 + - 13: 2, 10, 450, 11, 4, 14, 1, 10, 3, 2, 20, 36821, 6.3e-5 + - 14: 2, 10, 450, 22, 2, 4, 3, 10, 3, 2, 20, 64812, 4.0e-5 + - 15: 2, 10, 450, 22, 2, 14, 1, 16, 2, 2, 20, 101603, 6.1e-5 # no solution starting from log norm2 = 16 - 12: # bits -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error - 0 : 2, 10, 450, 3, 12, 4, 3, 2, 8, 1, 31, 3431, 1.5e-5 - - 1 : 2, 10, 466, 4, 9, 7, 2, 2, 9, 1, 31, 4331, 6.3e-5 - - 2 : 2, 10, 450, 3, 12, 4, 3, 3, 6, 1, 31, 4747, 2.7e-5 - - 3 : 2, 10, 450, 5, 8, 4, 3, 2, 10, 2, 20, 5506, 6.1e-5 - - 4 : 2, 10, 450, 4, 9, 4, 3, 3, 7, 2, 20, 6716, 1.4e-5 - - 5 : 2, 10, 450, 5, 8, 4, 3, 3, 7, 2, 20, 7675, 2.8e-5 - - 6 : 2, 10, 450, 7, 6, 4, 3, 3, 8, 2, 20, 9595, 2.5e-6 - - 7 : 2, 10, 450, 8, 5, 4, 3, 3, 8, 2, 20, 10555, 5.7e-5 - - 8 : 2, 10, 450, 7, 6, 5, 3, 4, 6, 2, 20, 12306, 4.0e-5 - - 9 : 2, 10, 450, 7, 6, 7, 2, 5, 5, 2, 20, 15042, 2.7e-5 - - 10: 2, 10, 450, 7, 6, 5, 3, 7, 4, 2, 20, 20365, 3.6e-5 - - 11: 2, 10, 450, 9, 5, 14, 1, 7, 4, 2, 20, 24574, 6.3e-5 - - 12: 2, 10, 450, 14, 3, 7, 2, 7, 4, 2, 20, 34368, 2.6e-5 - - 13: 2, 10, 450, 14, 3, 7, 2, 10, 3, 2, 20, 47853, 2.1e-5 - - 14: 2, 10, 450, 22, 2, 7, 2, 11, 3, 3, 15, 80262, 5.7e-5 - - 15: 2, 10, 450, 45, 1, 14, 1, 16, 2, 2, 20, 208884, 5.4e-5 + - 1 : 2, 10, 466, 4, 9, 7, 2, 2, 9, 1, 31, 4332, 6.3e-5 + - 2 : 2, 10, 450, 3, 12, 4, 3, 3, 6, 1, 31, 4748, 2.7e-5 + - 3 : 2, 10, 450, 5, 8, 4, 3, 2, 10, 2, 20, 5507, 6.1e-5 + - 4 : 2, 10, 450, 4, 9, 4, 3, 3, 7, 2, 20, 6717, 1.4e-5 + - 5 : 2, 10, 450, 5, 8, 4, 3, 3, 7, 2, 20, 7676, 2.8e-5 + - 6 : 2, 10, 450, 7, 6, 4, 3, 3, 8, 2, 20, 9596, 2.5e-6 + - 7 : 2, 10, 450, 8, 5, 4, 3, 3, 8, 2, 20, 10556, 5.7e-5 + - 8 : 2, 10, 450, 7, 6, 5, 3, 4, 6, 2, 20, 12307, 4.0e-5 + - 9 : 2, 10, 450, 7, 6, 7, 2, 5, 5, 2, 20, 15043, 2.7e-5 + - 10: 2, 10, 450, 7, 6, 5, 3, 7, 4, 2, 20, 20367, 3.6e-5 + - 11: 2, 10, 450, 9, 5, 14, 1, 7, 4, 2, 20, 24576, 6.3e-5 + - 12: 2, 10, 450, 14, 3, 7, 2, 7, 4, 2, 20, 34370, 2.6e-5 + - 13: 2, 10, 450, 14, 3, 7, 2, 10, 3, 2, 20, 47856, 2.1e-5 + - 14: 2, 10, 450, 22, 2, 7, 2, 11, 3, 3, 15, 80266, 5.7e-5 + - 15: 2, 10, 450, 45, 1, 14, 1, 16, 2, 2, 20, 208889, 5.4e-5 # no solution starting from log norm2 = 16 - 13: # bits -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error - - 0 : 2, 10, 450, 3, 12, 4, 3, 2, 8, 1, 31, 3626, 2.0e-5 - - 1 : 1, 10, 450, 6, 6, 3, 4, 3, 6, 3, 10, 4887, 1.9e-5 - - 2 : 2, 10, 450, 3, 12, 4, 3, 3, 6, 1, 31, 5037, 3.7e-5 - - 3 : 2, 10, 450, 5, 8, 5, 3, 2, 10, 2, 20, 5850, 3.0e-5 - - 4 : 2, 10, 450, 4, 9, 4, 3, 3, 7, 2, 20, 7133, 2.0e-5 - - 5 : 2, 10, 450, 5, 8, 4, 3, 3, 7, 2, 20, 8148, 3.8e-5 - - 6 : 2, 10, 450, 7, 6, 4, 3, 3, 8, 2, 20, 10179, 3.4e-6 - - 7 : 2, 10, 450, 8, 5, 5, 3, 3, 8, 2, 20, 11220, 2.8e-5 - - 8 : 2, 10, 450, 7, 6, 5, 3, 4, 6, 2, 20, 13084, 5.9e-5 - - 9 : 2, 10, 450, 7, 6, 7, 2, 5, 5, 2, 20, 16015, 4.4e-5 - - 10: 2, 10, 450, 7, 6, 5, 3, 7, 4, 2, 20, 21719, 5.3e-5 - - 11: 2, 10, 450, 10, 4, 7, 2, 7, 4, 2, 20, 28140, 5.3e-5 - - 12: 2, 10, 450, 14, 3, 7, 2, 7, 4, 2, 20, 36630, 4.2e-5 - - 13: 2, 10, 450, 14, 3, 7, 2, 10, 3, 2, 20, 51079, 3.3e-5 - - 14: 2, 10, 457, 23, 2, 15, 1, 11, 3, 3, 15, 90341, 6.3e-5 - - 15: 2, 10, 450, 44, 1, 7, 2, 16, 2, 3, 15, 224170, 5.4e-5 + - 0 : 2, 10, 450, 3, 12, 4, 3, 2, 8, 1, 31, 3628, 2.0e-5 + - 1 : 1, 10, 450, 6, 6, 3, 4, 3, 6, 3, 10, 4888, 1.9e-5 + - 2 : 2, 10, 450, 3, 12, 4, 3, 3, 6, 1, 31, 5040, 3.7e-5 + - 3 : 2, 10, 450, 5, 8, 5, 3, 2, 10, 2, 20, 5852, 3.0e-5 + - 4 : 2, 10, 450, 4, 9, 4, 3, 3, 7, 2, 20, 7136, 2.0e-5 + - 5 : 2, 10, 450, 5, 8, 4, 3, 3, 7, 2, 20, 8151, 3.8e-5 + - 6 : 2, 10, 450, 7, 6, 4, 3, 3, 8, 2, 20, 10181, 3.4e-6 + - 7 : 2, 10, 450, 8, 5, 5, 3, 3, 8, 2, 20, 11223, 2.8e-5 + - 8 : 2, 10, 450, 7, 6, 5, 3, 4, 6, 2, 20, 13086, 5.9e-5 + - 9 : 2, 10, 450, 7, 6, 7, 2, 5, 5, 2, 20, 16018, 4.4e-5 + - 10: 2, 10, 450, 7, 6, 5, 3, 7, 4, 2, 20, 21724, 5.3e-5 + - 11: 2, 10, 450, 10, 4, 7, 2, 7, 4, 2, 20, 28144, 5.3e-5 + - 12: 2, 10, 450, 14, 3, 7, 2, 7, 4, 2, 20, 36635, 4.2e-5 + - 13: 2, 10, 450, 14, 3, 7, 2, 10, 3, 2, 20, 51086, 3.3e-5 + - 14: 2, 10, 457, 23, 2, 15, 1, 11, 3, 3, 15, 90348, 6.3e-5 + - 15: 2, 10, 450, 44, 1, 7, 2, 16, 2, 3, 15, 224180, 5.4e-5 # no solution starting from log norm2 = 16 - 14: # bits -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error - - 0 : 2, 10, 450, 3, 12, 4, 3, 2, 8, 1, 31, 4162, 3.5e-5 - - 1 : 1, 10, 450, 6, 6, 3, 4, 3, 6, 3, 10, 5595, 3.4e-5 - - 2 : 2, 10, 451, 3, 12, 4, 3, 3, 6, 1, 31, 5772, 6.1e-5 - - 3 : 2, 10, 450, 5, 8, 5, 3, 2, 10, 2, 20, 6706, 6.1e-5 - - 4 : 2, 10, 450, 4, 9, 4, 3, 3, 7, 2, 20, 8150, 3.5e-5 - - 5 : 2, 10, 450, 5, 8, 5, 3, 3, 7, 2, 20, 9343, 2.3e-5 - - 6 : 2, 10, 450, 7, 6, 4, 3, 3, 8, 2, 20, 11639, 5.8e-6 - - 7 : 2, 10, 450, 8, 5, 5, 3, 3, 8, 2, 20, 12831, 5.7e-5 - - 8 : 2, 10, 450, 7, 6, 7, 2, 4, 6, 2, 20, 14993, 4.3e-5 - - 9 : 2, 10, 450, 8, 5, 5, 3, 5, 5, 2, 20, 19987, 2.9e-5 - - 10: 2, 10, 450, 7, 6, 7, 2, 7, 4, 2, 20, 24785, 3.8e-5 - - 11: 2, 10, 450, 8, 5, 7, 2, 9, 3, 2, 20, 34358, 5.9e-5 - - 12: 2, 10, 450, 15, 3, 7, 2, 7, 4, 2, 20, 44128, 3.9e-5 - - 13: 2, 10, 450, 14, 3, 14, 1, 10, 3, 2, 20, 58301, 6.1e-5 - - 14: 2, 10, 450, 22, 2, 7, 2, 15, 2, 2, 20, 124818, 3.6e-5 - - 15: 2, 10, 456, 45, 1, 15, 1, 16, 2, 3, 15, 263329, 6.3e-5 + - 0 : 2, 10, 450, 3, 12, 4, 3, 2, 8, 1, 31, 4169, 3.5e-5 + - 1 : 1, 10, 450, 6, 6, 3, 4, 3, 6, 3, 10, 5601, 3.4e-5 + - 2 : 2, 10, 451, 3, 12, 4, 3, 3, 6, 1, 31, 5782, 6.1e-5 + - 3 : 2, 10, 450, 5, 8, 5, 3, 2, 10, 2, 20, 6714, 6.1e-5 + - 4 : 2, 10, 450, 4, 9, 4, 3, 3, 7, 2, 20, 8160, 3.5e-5 + - 5 : 2, 10, 450, 5, 8, 5, 3, 3, 7, 2, 20, 9353, 2.3e-5 + - 6 : 2, 10, 450, 7, 6, 4, 3, 3, 8, 2, 20, 11648, 5.8e-6 + - 7 : 2, 10, 450, 8, 5, 5, 3, 3, 8, 2, 20, 12841, 5.7e-5 + - 8 : 2, 10, 450, 7, 6, 7, 2, 4, 6, 2, 20, 15005, 4.3e-5 + - 9 : 2, 10, 450, 8, 5, 5, 3, 5, 5, 2, 20, 20002, 2.9e-5 + - 10: 2, 10, 450, 7, 6, 7, 2, 7, 4, 2, 20, 24805, 3.8e-5 + - 11: 2, 10, 450, 8, 5, 7, 2, 9, 3, 2, 20, 34384, 5.9e-5 + - 12: 2, 10, 450, 15, 3, 7, 2, 7, 4, 2, 20, 44148, 3.9e-5 + - 13: 2, 10, 450, 14, 3, 14, 1, 10, 3, 2, 20, 58329, 6.1e-5 + - 14: 2, 10, 450, 22, 2, 7, 2, 15, 2, 2, 20, 124859, 3.6e-5 + - 15: 2, 10, 456, 45, 1, 15, 1, 16, 2, 3, 15, 263372, 6.3e-5 # no solution starting from log norm2 = 16 - 15: # bits -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error - - 0 : 1, 10, 453, 5, 7, 7, 2, 3, 6, 3, 10, 4716, 6.3e-5 - - 1 : 2, 10, 451, 3, 12, 5, 3, 3, 6, 1, 31, 5506, 5.5e-5 - - 2 : 2, 10, 453, 5, 8, 5, 3, 2, 10, 2, 20, 6416, 6.1e-5 - - 3 : 2, 10, 450, 6, 7, 7, 2, 2, 10, 2, 20, 7253, 5.4e-5 - - 4 : 2, 10, 451, 5, 8, 5, 3, 3, 7, 2, 20, 8879, 5.6e-5 - - 5 : 2, 10, 450, 6, 7, 7, 2, 3, 8, 2, 20, 10028, 5.9e-5 - - 6 : 2, 10, 456, 5, 8, 15, 1, 4, 6, 2, 20, 11741, 6.3e-5 - - 7 : 2, 10, 450, 7, 6, 7, 2, 4, 6, 2, 20, 14207, 1.3e-5 - - 8 : 2, 10, 450, 7, 6, 7, 2, 5, 5, 2, 20, 17278, 2.3e-5 - - 9 : 2, 10, 450, 8, 5, 14, 1, 6, 5, 2, 20, 22539, 5.4e-5 - - 10: 2, 10, 450, 9, 5, 7, 2, 7, 4, 2, 20, 27997, 4.6e-5 - - 11: 2, 10, 450, 14, 3, 7, 2, 7, 4, 2, 20, 39440, 2.3e-5 - - 12: 2, 10, 450, 14, 3, 7, 2, 10, 3, 2, 20, 54855, 2.0e-5 - - 13: 2, 10, 463, 22, 2, 15, 1, 10, 3, 2, 20, 82579, 6.3e-5 - - 14: 2, 10, 459, 43, 1, 15, 1, 16, 2, 2, 20, 233697, 6.2e-5 + - 0 : 1, 10, 453, 5, 7, 7, 2, 3, 6, 3, 10, 4719, 6.3e-5 + - 1 : 2, 10, 451, 3, 12, 5, 3, 3, 6, 1, 31, 5511, 5.5e-5 + - 2 : 2, 10, 453, 5, 8, 5, 3, 2, 10, 2, 20, 6420, 6.1e-5 + - 3 : 2, 10, 450, 6, 7, 7, 2, 2, 10, 2, 20, 7256, 5.4e-5 + - 4 : 2, 10, 451, 5, 8, 5, 3, 3, 7, 2, 20, 8884, 5.6e-5 + - 5 : 2, 10, 450, 6, 7, 7, 2, 3, 8, 2, 20, 10033, 5.9e-5 + - 6 : 2, 10, 456, 5, 8, 15, 1, 4, 6, 2, 20, 11747, 6.3e-5 + - 7 : 2, 10, 450, 7, 6, 7, 2, 4, 6, 2, 20, 14213, 1.3e-5 + - 8 : 2, 10, 450, 7, 6, 7, 2, 5, 5, 2, 20, 17285, 2.3e-5 + - 9 : 2, 10, 450, 8, 5, 14, 1, 6, 5, 2, 20, 22548, 5.4e-5 + - 10: 2, 10, 450, 9, 5, 7, 2, 7, 4, 2, 20, 28007, 4.6e-5 + - 11: 2, 10, 450, 14, 3, 7, 2, 7, 4, 2, 20, 39450, 2.3e-5 + - 12: 2, 10, 450, 14, 3, 7, 2, 10, 3, 2, 20, 54868, 2.0e-5 + - 13: 2, 10, 463, 22, 2, 15, 1, 10, 3, 2, 20, 82593, 6.3e-5 + - 14: 2, 10, 459, 43, 1, 15, 1, 16, 2, 2, 20, 233719, 6.2e-5 # no solution starting from log norm2 = 15 - 16: # bits -ln2: k, N, n, br_l,br_b, ks_l,ks_b, cb_l,cb_b, pp_l,pp_b, cost, p_error - - 0 : 2, 10, 454, 3, 12, 7, 2, 2, 8, 1, 31, 4562, 6.2e-5 - - 1 : 1, 10, 450, 6, 6, 7, 2, 3, 6, 3, 10, 6016, 4.2e-5 - - 2 : 2, 10, 450, 5, 8, 4, 3, 2, 10, 2, 20, 7107, 2.1e-5 - - 3 : 2, 10, 452, 3, 12, 5, 3, 4, 5, 1, 31, 7887, 5.8e-5 - - 4 : 2, 10, 454, 4, 9, 7, 2, 3, 7, 2, 20, 8815, 6.3e-5 - - 5 : 2, 10, 450, 6, 7, 5, 3, 3, 8, 2, 20, 11170, 1.7e-5 - - 6 : 2, 10, 450, 7, 6, 5, 3, 3, 8, 2, 20, 12406, 4.2e-5 - - 7 : 2, 10, 450, 6, 7, 7, 2, 4, 6, 2, 20, 14360, 3.6e-5 - - 8 : 2, 10, 450, 9, 5, 7, 2, 4, 6, 2, 20, 19066, 6.3e-5 - - 9 : 2, 10, 452, 9, 5, 15, 1, 5, 5, 2, 20, 23528, 6.2e-5 - - 10: 2, 10, 450, 8, 5, 5, 3, 7, 4, 2, 20, 28806, 6.3e-5 - - 11: 2, 10, 450, 11, 4, 7, 2, 7, 4, 2, 20, 36566, 1.4e-5 - - 12: 2, 10, 450, 11, 4, 7, 2, 10, 3, 2, 20, 50929, 3.8e-5 - - 13: 2, 10, 450, 21, 2, 14, 1, 10, 3, 2, 20, 86773, 6.0e-5 - - 14: 2, 10, 450, 22, 2, 7, 2, 16, 2, 2, 20, 140765, 3.7e-5 + - 0 : 2, 10, 454, 3, 12, 7, 2, 2, 8, 1, 31, 4576, 6.2e-5 + - 1 : 1, 10, 450, 6, 6, 7, 2, 3, 6, 3, 10, 6029, 4.2e-5 + - 2 : 2, 10, 450, 5, 8, 4, 3, 2, 10, 2, 20, 7122, 2.1e-5 + - 3 : 2, 10, 452, 3, 12, 5, 3, 4, 5, 1, 31, 7912, 5.8e-5 + - 4 : 2, 10, 454, 4, 9, 7, 2, 3, 7, 2, 20, 8834, 6.3e-5 + - 5 : 2, 10, 450, 6, 7, 5, 3, 3, 8, 2, 20, 11190, 1.7e-5 + - 6 : 2, 10, 450, 7, 6, 5, 3, 3, 8, 2, 20, 12426, 4.2e-5 + - 7 : 2, 10, 450, 6, 7, 7, 2, 4, 6, 2, 20, 14385, 3.6e-5 + - 8 : 2, 10, 450, 9, 5, 7, 2, 4, 6, 2, 20, 19091, 6.3e-5 + - 9 : 2, 10, 452, 9, 5, 15, 1, 5, 5, 2, 20, 23558, 6.2e-5 + - 10: 2, 10, 450, 8, 5, 5, 3, 7, 4, 2, 20, 28847, 6.3e-5 + - 11: 2, 10, 450, 11, 4, 7, 2, 7, 4, 2, 20, 36607, 1.4e-5 + - 12: 2, 10, 450, 11, 4, 7, 2, 10, 3, 2, 20, 50985, 3.8e-5 + - 13: 2, 10, 450, 21, 2, 14, 1, 10, 3, 2, 20, 86829, 6.0e-5 + - 14: 2, 10, 450, 22, 2, 7, 2, 16, 2, 2, 20, 140852, 3.7e-5 # no solution starting from log norm2 = 15