github/concrete
1
1
Fork 0
mirror of https://github.com/zama-ai/concrete.git synced 2026-02-08 19:44:57 -05:00
Code Issues Packages Projects Releases Wiki Activity

remove ceil in wop-pbs constraint

Browse Source
This commit is contained in:
Samuel Tap
2023-02-07 14:34:09 +01:00
committed by Quentin Bourgerie
parent 0156040982
commit 77255e7eda
9 changed files with 303 additions and 291 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
compilers/concrete-optimizer/concrete-optimizer/src/noise_estimator/error.rs
View File

@@ -51,12 +51,12 @@ pub fn safe_variance_bound_2padbits(
}
pub fn safe_variance_bound_product_1padbit(
precision: u64,
precision: f64,
ciphertext_modulus_log: u32,
maximum_acceptable_error_probability: f64,
) -> f64 {
let noise_bits = ciphertext_modulus_log as u64 - precision - 2;
let fatal_noise_limit = 2_f64.powi(noise_bits as i32);
let noise_bits = ciphertext_modulus_log as f64 - precision - 2.;
let fatal_noise_limit = 2_f64.powf(noise_bits);
safe_variance_bound_from_p_error(
fatal_noise_limit,
ciphertext_modulus_log,

14
compilers/concrete-optimizer/concrete-optimizer/src/optimization/wop_atomic_pattern/crt_decomposition.rs
View File

@@ -21,23 +21,27 @@ pub fn default_coprimes(precision: Precision) -> Result<Vec<u64>, String> {
})
}
#[allow(clippy::cast_sign_loss)]
fn bitwidth(v: u64) -> Precision {
fn bitwidth(v: u64) -> f64 {
assert!(v > 0);
(v as f64).log2().ceil() as Precision
(v as f64).log2()
}
pub fn fractional_precisions_from_coprimes(coprimes: &[u64]) -> Vec<f64> {
coprimes.iter().map(|&coprime| bitwidth(coprime)).collect()
}
#[allow(clippy::cast_sign_loss)]
pub fn precisions_from_coprimes(coprimes: &[u64]) -> Vec<u64> {
coprimes
.iter()
.copied()
.map(|coprime| bitwidth(coprime) as u64)
.map(|&coprime| bitwidth(coprime).ceil() as u64)
.collect()
}
#[cfg(test)]
mod tests {
use super::*;
#[test]
fn test_coprimes() {
for precision in 1..=16 {

24
compilers/concrete-optimizer/concrete-optimizer/src/optimization/wop_atomic_pattern/optimize.rs
View File

@@ -17,6 +17,7 @@ use crate::optimization::decomposition::keyswitch::KsComplexityNoise;
use crate::optimization::decomposition::pp_switch::PpSwitchComplexityNoise;
use crate::optimization::decomposition::PersistDecompCaches;
use crate::parameters::{BrDecompositionParameters, GlweParameters};
use crate::utils::max::f64_max;
use crate::utils::square;
pub fn find_p_error(kappa: f64, variance_bound: f64, current_maximum_noise: f64) -> f64 {
@@ -193,16 +194,16 @@ fn update_state_with_best_decompositions(
glwe_params: GlweParameters,
internal_dim: u64,
n_functions: u64,
partitionning: &[u64],
precisions: &[u64],
pareto_cmux: &[CmuxComplexityNoise],
pareto_keyswitch: &[KsComplexityNoise],
pp_switch: &[PpSwitchComplexityNoise],
pareto_cb: &CbPareto,
) {
let ciphertext_modulus_log = consts.config.ciphertext_modulus_log;
let precisions_sum = partitionning.iter().copied().sum();
let max_precision = partitionning.iter().copied().max().unwrap();
let nb_blocks = partitionning.len() as u64;
let precisions_sum = precisions.iter().sum();
let max_precision = *precisions.iter().max().unwrap();
let nb_blocks = precisions.len() as u64;
let input_lwe_dimension = glwe_params.sample_extract_lwe_dimension();
@@ -412,21 +413,23 @@ fn optimize_raw(
config: Config,
search_space: &SearchSpace,
n_functions: u64, // Many functions at the same time, stay at 1 for start
partitionning: &[u64],
coprimes: &[u64],
persistent_caches: &PersistDecompCaches,
) -> OptimizationState {
let fractionnal_precisions = crt_decomposition::fractional_precisions_from_coprimes(coprimes);
let precisions = crt_decomposition::precisions_from_coprimes(coprimes);
assert!(0.0 < config.maximum_acceptable_error_probability);
assert!(config.maximum_acceptable_error_probability < 1.0);
assert!(!partitionning.is_empty());
assert!(!precisions.is_empty());
let ciphertext_modulus_log = config.ciphertext_modulus_log;
// Circuit BS bound
// 1 bit of message only here =)
// Bound for first bit extract in BitExtract (dominate others)
let max_block_precision = *partitionning.iter().max().unwrap();
let max_block_fractional_precision = f64_max(&fractionnal_precisions, 0.0);
let safe_variance_bound = safe_variance_bound_product_1padbit(
max_block_precision,
max_block_fractional_precision,
ciphertext_modulus_log,
config.maximum_acceptable_error_probability,
);
@@ -474,7 +477,7 @@ fn optimize_raw(
glwe_params,
internal_dim,
n_functions,
partitionning,
&precisions,
pareto_cmux,
pareto_keyswitch,
pareto_pp_switch,
@@ -500,14 +503,13 @@ pub fn optimize_one(
best_solution: None,
}
};
let partitionning = crt_decomposition::precisions_from_coprimes(&coprimes);
let n_functions = 1;
let mut state = optimize_raw(
log_norm,
config,
search_space,
n_functions,
&partitionning,
&coprimes,
caches,
);
state.best_solution = state.best_solution.map(|mut sol| -> Solution {

3
compilers/concrete-optimizer/concrete-optimizer/src/utils/max.rs Normal file
View File

@@ -0,0 +1,3 @@
pub fn f64_max(values: &[f64], default: f64) -> f64 {
values.iter().copied().reduce(f64::max).unwrap_or(default)
}

1
compilers/concrete-optimizer/concrete-optimizer/src/utils/mod.rs
View File

@@ -1,5 +1,6 @@
pub mod cache;
pub mod hasher_builder;
pub mod max;
pub fn square<V>(v: V) -> V
where

138
compilers/concrete-optimizer/v0-parameters/ref/wop_pbs_last_112
View File

@@ -78,68 +78,68 @@ per precision and log norm2:
- 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, 585, 2, 15, 6, 2, 2, 7, 1, 29, 1375, 5.8e-5
- 1 : 2, 10, 571, 3, 12, 6, 2, 2, 8, 1, 29, 1700, 5.7e-5
- 2 : 2, 10, 603, 3, 12, 7, 2, 2, 8, 1, 29, 1793, 6.2e-5
- 3 : 2, 10, 569, 4, 9, 6, 2, 2, 9, 2, 19, 2333, 6.0e-5
- 4 : 2, 10, 588, 4, 9, 6, 2, 2, 9, 2, 19, 2392, 6.2e-5
- 5 : 2, 10, 595, 5, 8, 7, 2, 2, 10, 2, 19, 2794, 6.2e-5
- 6 : 2, 10, 584, 4, 9, 6, 2, 3, 7, 2, 19, 3356, 5.8e-5
- 7 : 2, 10, 585, 5, 8, 6, 2, 3, 7, 2, 19, 3864, 5.9e-5
- 8 : 2, 10, 576, 7, 6, 6, 2, 3, 8, 2, 19, 4811, 6.3e-5
- 9 : 2, 10, 585, 8, 5, 13, 1, 3, 8, 2, 19, 5472, 6.2e-5
- 10: 2, 10, 587, 7, 6, 13, 1, 4, 6, 2, 19, 6396, 6.1e-5
- 11: 2, 10, 602, 7, 6, 13, 1, 5, 5, 2, 19, 7973, 6.2e-5
- 12: 2, 10, 595, 7, 6, 14, 1, 7, 4, 2, 19, 10769, 6.3e-5
- 13: 2, 10, 569, 11, 4, 13, 1, 7, 4, 2, 19, 14574, 5.7e-5
- 14: 2, 10, 596, 14, 3, 13, 1, 7, 4, 3, 14, 19478, 6.3e-5
- 15: 2, 10, 601, 14, 3, 14, 1, 10, 3, 3, 14, 27490, 6.3e-5
- 16: 2, 10, 582, 22, 2, 13, 1, 15, 2, 3, 14, 57259, 5.8e-5
- 17: 2, 10, 612, 45, 1, 14, 1, 16, 2, 3, 14, 120911, 6.3e-5
- 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, 585, 2, 15, 6, 2, 2, 7, 1, 29, 1375, 5.8e-5
- 1 : 2, 10, 571, 3, 12, 6, 2, 2, 8, 1, 29, 1700, 5.7e-5
- 2 : 2, 10, 603, 3, 12, 7, 2, 2, 8, 1, 29, 1793, 6.2e-5
- 3 : 2, 10, 569, 4, 9, 6, 2, 2, 9, 2, 19, 2333, 6.0e-5
- 4 : 2, 10, 588, 4, 9, 6, 2, 2, 9, 2, 19, 2392, 6.2e-5
- 5 : 2, 10, 595, 5, 8, 7, 2, 2, 10, 2, 19, 2794, 6.2e-5
- 6 : 2, 10, 584, 4, 9, 6, 2, 3, 7, 2, 19, 3356, 5.8e-5
- 7 : 2, 10, 585, 5, 8, 6, 2, 3, 7, 2, 19, 3864, 5.9e-5
- 8 : 2, 10, 576, 7, 6, 6, 2, 3, 8, 2, 19, 4811, 6.3e-5
- 9 : 2, 10, 585, 8, 5, 13, 1, 3, 8, 2, 19, 5472, 6.2e-5
- 10: 2, 10, 587, 7, 6, 13, 1, 4, 6, 2, 19, 6396, 6.1e-5
- 11: 2, 10, 602, 7, 6, 13, 1, 5, 5, 2, 19, 7973, 6.2e-5
- 12: 2, 10, 595, 7, 6, 14, 1, 7, 4, 2, 19, 10769, 6.3e-5
- 13: 2, 10, 569, 11, 4, 13, 1, 7, 4, 2, 19, 14574, 5.7e-5
- 14: 2, 10, 596, 14, 3, 13, 1, 7, 4, 3, 14, 19478, 6.3e-5
- 15: 2, 10, 601, 14, 3, 14, 1, 10, 3, 3, 14, 27490, 6.3e-5
- 16: 2, 10, 582, 22, 2, 13, 1, 15, 2, 3, 14, 57259, 5.8e-5
- 17: 2, 10, 612, 45, 1, 14, 1, 16, 2, 3, 14, 120911, 6.3e-5
- 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, 591, 2, 15, 6, 2, 2, 7, 1, 29, 1650, 5.8e-5
- 1 : 2, 10, 572, 3, 12, 6, 2, 2, 8, 1, 29, 2031, 5.9e-5
- 2 : 2, 10, 627, 3, 12, 7, 2, 2, 8, 1, 29, 2211, 6.2e-5
- 3 : 2, 10, 570, 4, 9, 6, 2, 2, 9, 2, 19, 2782, 5.6e-5
- 4 : 2, 10, 596, 4, 9, 6, 2, 2, 9, 2, 19, 2878, 6.2e-5
- 5 : 2, 10, 609, 5, 8, 7, 2, 2, 10, 2, 19, 3392, 6.2e-5
- 6 : 2, 10, 589, 4, 9, 6, 2, 3, 7, 2, 19, 3998, 6.2e-5
- 7 : 2, 10, 591, 5, 8, 6, 2, 3, 7, 2, 19, 4615, 6.0e-5
- 8 : 2, 10, 579, 7, 6, 6, 2, 3, 8, 2, 19, 5729, 5.9e-5
- 9 : 2, 10, 601, 8, 5, 13, 1, 3, 8, 2, 19, 6640, 6.1e-5
- 10: 2, 10, 602, 7, 6, 14, 1, 4, 6, 2, 19, 7731, 6.3e-5
- 11: 2, 10, 580, 8, 5, 13, 1, 5, 5, 2, 19, 10043, 6.1e-5
- 12: 2, 10, 570, 8, 5, 13, 1, 7, 4, 2, 19, 13449, 5.7e-5
- 13: 2, 10, 572, 11, 4, 13, 1, 7, 4, 2, 19, 17218, 5.9e-5
- 14: 2, 10, 596, 15, 3, 14, 1, 7, 4, 3, 14, 24217, 6.2e-5
- 15: 2, 10, 593, 15, 3, 13, 1, 10, 3, 3, 14, 33676, 6.1e-5
- 16: 2, 10, 592, 22, 2, 13, 1, 15, 2, 3, 14, 68096, 6.1e-5
- 17: 2, 10, 589, 44, 1, 13, 1, 32, 1, 3, 14, 263062, 6.2e-5
- 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
@@ -321,19 +321,19 @@ per precision and log norm2:
- 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, 616, 4, 9, 7, 2, 2, 9, 2, 19, 7977, 5.4e-5
- 1 : 2, 10, 641, 4, 9, 7, 2, 2, 9, 2, 19, 8229, 6.2e-5
- 2 : 2, 10, 661, 5, 8, 15, 1, 2, 10, 2, 19, 10133, 6.3e-5
- 3 : 2, 10, 635, 4, 9, 7, 2, 3, 7, 2, 19, 11284, 6.3e-5
- 4 : 2, 10, 636, 5, 8, 7, 2, 3, 7, 2, 19, 13046, 6.0e-5
- 5 : 2, 10, 625, 7, 6, 7, 2, 3, 8, 2, 19, 16300, 5.9e-5
- 6 : 2, 10, 631, 6, 7, 7, 2, 4, 6, 2, 19, 18731, 5.9e-5
- 7 : 2, 10, 666, 7, 6, 16, 1, 4, 6, 2, 19, 22320, 6.3e-5
- 8 : 2, 10, 628, 8, 5, 14, 1, 5, 5, 2, 19, 28292, 6.0e-5
- 9 : 2, 10, 617, 8, 5, 14, 1, 7, 4, 2, 19, 37621, 5.9e-5
- 10: 2, 10, 619, 11, 4, 14, 1, 7, 4, 2, 19, 48310, 6.0e-5
- 11: 2, 10, 628, 11, 4, 14, 1, 10, 3, 2, 19, 67933, 6.3e-5
- 12: 2, 10, 648, 15, 3, 15, 1, 10, 3, 3, 14, 94705, 6.3e-5
- 13: 2, 10, 642, 22, 2, 15, 1, 15, 2, 3, 14, 190045, 6.2e-5
- 14: 2, 10, 642, 44, 1, 15, 1, 32, 1, 3, 14, 737025, 6.2e-5
- 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
# no solution starting from log norm2 = 15

139
compilers/concrete-optimizer/v0-parameters/ref/wop_pbs_last_128
View File

@@ -78,68 +78,68 @@ per precision and log norm2:
- 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, 667, 5, 8, 6, 2, 1, 14, 2, 17, 1807, 5.9e-5
- 1 : 2, 10, 688, 2, 15, 6, 2, 3, 5, 1, 25, 2182, 6.2e-5
- 2 : 2, 10, 663, 3, 12, 6, 2, 2, 8, 2, 17, 2215, 5.9e-5
- 3 : 2, 10, 653, 4, 9, 6, 2, 2, 9, 2, 17, 2592, 5.8e-5
- 4 : 2, 10, 683, 4, 9, 6, 2, 2, 9, 2, 17, 2685, 6.1e-5
- 5 : 2, 10, 696, 5, 8, 7, 2, 2, 10, 3, 13, 3458, 6.1e-5
- 6 : 2, 10, 680, 4, 9, 6, 2, 3, 7, 2, 17, 3766, 6.2e-5
- 7 : 2, 10, 698, 5, 8, 7, 2, 3, 7, 2, 17, 4460, 6.2e-5
- 8 : 2, 10, 686, 5, 8, 7, 2, 4, 6, 2, 17, 5664, 6.2e-5
- 9 : 2, 10, 697, 8, 5, 14, 1, 3, 8, 3, 13, 6803, 6.2e-5
- 10: 2, 10, 686, 7, 6, 13, 1, 4, 6, 3, 13, 7856, 6.2e-5
- 11: 2, 10, 663, 8, 5, 13, 1, 5, 5, 3, 13, 10252, 6.0e-5
- 12: 2, 10, 654, 8, 5, 13, 1, 7, 4, 3, 13, 13836, 6.2e-5
- 13: 2, 10, 663, 11, 4, 13, 1, 7, 4, 3, 13, 17656, 6.0e-5
- 14: 2, 10, 724, 14, 3, 15, 1, 7, 4, 4, 10, 24053, 6.3e-5
- 15: 2, 10, 682, 15, 3, 14, 1, 10, 3, 4, 10, 33815, 6.2e-5
- 16: 2, 10, 679, 22, 2, 13, 1, 15, 2, 4, 10, 67881, 6.3e-5
- 17: 2, 10, 677, 44, 1, 13, 1, 32, 1, 5, 9, 265789, 6.3e-5
- 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, 667, 5, 8, 6, 2, 1, 14, 2, 17, 1807, 5.9e-5
- 1 : 2, 10, 688, 2, 15, 6, 2, 3, 5, 1, 25, 2182, 6.2e-5
- 2 : 2, 10, 663, 3, 12, 6, 2, 2, 8, 2, 17, 2215, 5.9e-5
- 3 : 2, 10, 653, 4, 9, 6, 2, 2, 9, 2, 17, 2592, 5.8e-5
- 4 : 2, 10, 683, 4, 9, 6, 2, 2, 9, 2, 17, 2685, 6.1e-5
- 5 : 2, 10, 696, 5, 8, 7, 2, 2, 10, 3, 13, 3458, 6.1e-5
- 6 : 2, 10, 680, 4, 9, 6, 2, 3, 7, 2, 17, 3766, 6.2e-5
- 7 : 2, 10, 698, 5, 8, 7, 2, 3, 7, 2, 17, 4460, 6.2e-5
- 8 : 2, 10, 686, 5, 8, 7, 2, 4, 6, 2, 17, 5664, 6.2e-5
- 9 : 2, 10, 697, 8, 5, 14, 1, 3, 8, 3, 13, 6803, 6.2e-5
- 10: 2, 10, 686, 7, 6, 13, 1, 4, 6, 3, 13, 7856, 6.2e-5
- 11: 2, 10, 663, 8, 5, 13, 1, 5, 5, 3, 13, 10252, 6.0e-5
- 12: 2, 10, 654, 8, 5, 13, 1, 7, 4, 3, 13, 13836, 6.2e-5
- 13: 2, 10, 663, 11, 4, 13, 1, 7, 4, 3, 13, 17656, 6.0e-5
- 14: 2, 10, 724, 14, 3, 15, 1, 7, 4, 4, 10, 24053, 6.3e-5
- 15: 2, 10, 682, 15, 3, 14, 1, 10, 3, 4, 10, 33815, 6.2e-5
- 16: 2, 10, 679, 22, 2, 13, 1, 15, 2, 4, 10, 67881, 6.3e-5
- 17: 2, 10, 677, 44, 1, 13, 1, 32, 1, 5, 9, 265789, 6.3e-5
- 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, 680, 2, 15, 6, 2, 2, 7, 2, 17, 2184, 6.1e-5
- 1 : 2, 10, 651, 3, 12, 6, 2, 2, 8, 2, 17, 2601, 6.2e-5
- 2 : 2, 10, 667, 3, 12, 6, 2, 2, 8, 2, 17, 2648, 5.7e-5
- 3 : 2, 10, 654, 4, 9, 6, 2, 2, 9, 2, 17, 3092, 5.8e-5
- 4 : 2, 10, 690, 4, 9, 7, 2, 2, 9, 2, 17, 3244, 6.2e-5
- 5 : 2, 10, 654, 4, 9, 6, 2, 3, 7, 2, 17, 4328, 5.4e-5
- 6 : 2, 10, 687, 4, 9, 7, 2, 3, 7, 2, 17, 4514, 6.0e-5
- 7 : 2, 10, 678, 5, 8, 7, 2, 3, 7, 3, 13, 5668, 6.0e-5
- 8 : 2, 10, 707, 5, 8, 7, 2, 4, 6, 2, 17, 6853, 6.3e-5
- 9 : 2, 10, 661, 6, 7, 13, 1, 4, 6, 3, 13, 8143, 5.9e-5
- 10: 2, 10, 665, 8, 5, 13, 1, 4, 6, 3, 13, 9926, 6.0e-5
- 11: 2, 10, 672, 8, 5, 13, 1, 5, 5, 3, 13, 12210, 6.1e-5
- 12: 2, 10, 659, 8, 5, 13, 1, 7, 4, 3, 13, 16358, 6.0e-5
- 13: 2, 10, 672, 11, 4, 13, 1, 7, 4, 3, 13, 20993, 6.1e-5
- 14: 2, 10, 718, 15, 3, 14, 1, 7, 4, 4, 10, 29628, 6.3e-5
- 15: 2, 10, 721, 15, 3, 15, 1, 10, 3, 5, 9, 43256, 6.3e-5
- 16: 2, 10, 664, 22, 2, 13, 1, 16, 2, 4, 10, 82995, 6.1e-5
- 17: 2, 10, 691, 45, 1, 14, 1, 32, 1, 5, 9, 323058, 6.3e-5
- 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
@@ -320,18 +320,19 @@ per precision and log norm2:
- 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, 708, 4, 9, 7, 2, 2, 9, 2, 17, 8907, 6.2e-5
- 1 : 2, 10, 772, 4, 9, 16, 1, 2, 9, 2, 17, 10043, 6.3e-5
- 2 : 2, 10, 708, 4, 9, 7, 2, 3, 7, 2, 17, 12280, 6.1e-5
- 3 : 2, 10, 762, 4, 9, 16, 1, 3, 7, 2, 17, 13500, 6.3e-5
- 4 : 2, 10, 744, 5, 8, 7, 2, 3, 7, 3, 13, 16113, 6.3e-5
- 5 : 2, 10, 726, 7, 6, 7, 2, 3, 8, 3, 13, 19808, 6.1e-5
- 6 : 2, 10, 737, 6, 7, 7, 2, 4, 6, 3, 13, 23020, 6.3e-5
- 7 : 2, 10, 728, 8, 5, 14, 1, 4, 6, 3, 13, 28238, 6.3e-5
- 8 : 2, 10, 741, 8, 5, 15, 1, 5, 5, 3, 13, 34811, 6.3e-5
- 9 : 2, 10, 720, 8, 5, 15, 1, 7, 4, 3, 13, 45959, 6.2e-5
- 10: 2, 10, 743, 11, 4, 15, 1, 7, 4, 3, 13, 59843, 6.2e-5
- 11: 2, 10, 728, 11, 4, 15, 1, 10, 3, 4, 10, 86058, 6.1e-5
- 12: 2, 10, 738, 21, 2, 15, 1, 10, 3, 4, 10, 145422, 6.3e-5
- 13: 2, 10, 729, 22, 2, 15, 1, 16, 2, 4, 10, 233631, 6.2e-5
# no solution starting from log norm2 = 14
- 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
# no solution starting from log norm2 = 15

131
compilers/concrete-optimizer/v0-parameters/ref/wop_pbs_last_192
View File

@@ -75,65 +75,65 @@ per precision and log norm2:
- 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, 1054, 5, 8, 7, 2, 1, 14, 2, 18, 4312, 6.3e-5
- 1 : 3, 10, 1010, 3, 12, 6, 2, 2, 8, 2, 18, 5259, 6.0e-5
- 2 : 3, 10, 1060, 3, 12, 7, 2, 2, 8, 2, 18, 5471, 6.2e-5
- 3 : 3, 10, 1022, 4, 9, 6, 2, 2, 9, 2, 18, 6199, 6.1e-5
- 4 : 3, 10, 1036, 5, 8, 7, 2, 2, 9, 2, 18, 7207, 6.0e-5
- 5 : 3, 10, 1026, 4, 9, 6, 2, 3, 7, 2, 18, 8789, 6.0e-5
- 6 : 3, 10, 1019, 5, 8, 6, 2, 3, 7, 2, 18, 10001, 6.0e-5
- 7 : 3, 10, 1059, 6, 7, 7, 2, 3, 7, 2, 18, 11632, 6.2e-5
- 8 : 3, 10, 1023, 6, 7, 7, 2, 4, 6, 2, 18, 14612, 6.2e-5
- 9 : 3, 10, 1025, 7, 6, 7, 2, 4, 6, 3, 13, 17984, 6.2e-5
- 10: 3, 10, 1016, 7, 6, 13, 1, 5, 5, 3, 13, 22147, 6.3e-5
- 11: 3, 10, 1024, 11, 4, 13, 1, 5, 5, 3, 13, 30190, 6.2e-5
- 12: 3, 10, 1068, 9, 5, 14, 1, 7, 4, 3, 13, 37021, 6.3e-5
- 13: 3, 10, 1019, 14, 3, 13, 1, 7, 4, 3, 13, 49138, 6.2e-5
- 14: 3, 10, 1037, 14, 3, 14, 1, 10, 3, 3, 13, 69889, 6.2e-5
- 15: 3, 10, 1091, 23, 2, 15, 1, 10, 3, 4, 11, 113459, 6.3e-5
- 16: 3, 10, 1042, 44, 1, 14, 1, 16, 2, 4, 11, 298583, 6.1e-5
- 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, 1054, 5, 8, 7, 2, 1, 14, 2, 18, 4312, 6.3e-5
- 1 : 3, 10, 1010, 3, 12, 6, 2, 2, 8, 2, 18, 5259, 6.0e-5
- 2 : 3, 10, 1060, 3, 12, 7, 2, 2, 8, 2, 18, 5471, 6.2e-5
- 3 : 3, 10, 1022, 4, 9, 6, 2, 2, 9, 2, 18, 6199, 6.1e-5
- 4 : 3, 10, 1036, 5, 8, 7, 2, 2, 9, 2, 18, 7207, 6.0e-5
- 5 : 3, 10, 1026, 4, 9, 6, 2, 3, 7, 2, 18, 8789, 6.0e-5
- 6 : 3, 10, 1019, 5, 8, 6, 2, 3, 7, 2, 18, 10001, 6.0e-5
- 7 : 3, 10, 1059, 6, 7, 7, 2, 3, 7, 2, 18, 11632, 6.2e-5
- 8 : 3, 10, 1023, 6, 7, 7, 2, 4, 6, 2, 18, 14612, 6.2e-5
- 9 : 3, 10, 1025, 7, 6, 7, 2, 4, 6, 3, 13, 17984, 6.2e-5
- 10: 3, 10, 1016, 7, 6, 13, 1, 5, 5, 3, 13, 22147, 6.3e-5
- 11: 3, 10, 1024, 11, 4, 13, 1, 5, 5, 3, 13, 30190, 6.2e-5
- 12: 3, 10, 1068, 9, 5, 14, 1, 7, 4, 3, 13, 37021, 6.3e-5
- 13: 3, 10, 1019, 14, 3, 13, 1, 7, 4, 3, 13, 49138, 6.2e-5
- 14: 3, 10, 1037, 14, 3, 14, 1, 10, 3, 3, 13, 69889, 6.2e-5
- 15: 3, 10, 1091, 23, 2, 15, 1, 10, 3, 4, 11, 113459, 6.3e-5
- 16: 3, 10, 1042, 44, 1, 14, 1, 16, 2, 4, 11, 298583, 6.1e-5
- 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, 1087, 5, 8, 7, 2, 1, 14, 2, 18, 5339, 6.3e-5
- 1 : 3, 10, 1012, 3, 12, 6, 2, 2, 8, 2, 18, 6254, 6.0e-5
- 2 : 3, 10, 1112, 3, 12, 7, 2, 2, 8, 2, 18, 6718, 6.3e-5
- 3 : 3, 10, 1027, 4, 9, 6, 2, 2, 9, 2, 18, 7400, 6.3e-5
- 4 : 3, 10, 1047, 5, 8, 7, 2, 2, 9, 2, 18, 8652, 6.3e-5
- 5 : 3, 10, 1026, 4, 9, 7, 2, 3, 7, 2, 18, 10439, 6.0e-5
- 6 : 3, 10, 1023, 5, 8, 6, 2, 3, 7, 2, 18, 11874, 6.2e-5
- 7 : 3, 10, 1104, 6, 7, 7, 2, 3, 7, 2, 18, 14236, 6.3e-5
- 8 : 3, 10, 1029, 6, 7, 7, 2, 4, 6, 2, 18, 17327, 6.1e-5
- 9 : 3, 10, 1015, 7, 6, 13, 1, 4, 6, 3, 13, 21316, 6.2e-5
- 10: 3, 10, 1027, 7, 6, 13, 1, 5, 5, 3, 13, 26269, 6.2e-5
- 11: 3, 10, 1038, 11, 4, 14, 1, 5, 5, 3, 13, 35999, 6.2e-5
- 12: 3, 10, 999, 11, 4, 13, 1, 7, 4, 3, 13, 47534, 5.8e-5
- 13: 3, 10, 1031, 14, 3, 14, 1, 7, 4, 3, 13, 58365, 6.2e-5
- 14: 3, 10, 1073, 14, 3, 14, 1, 10, 3, 3, 13, 84306, 6.3e-5
- 15: 3, 10, 1019, 22, 2, 13, 1, 15, 2, 3, 13, 171208, 6.2e-5
- 16: 3, 10, 1060, 45, 1, 14, 1, 16, 2, 4, 11, 362400, 6.3e-5
- 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
@@ -301,17 +301,18 @@ per precision and log norm2:
- 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, 1120, 5, 8, 7, 2, 2, 9, 2, 18, 24478, 6.3e-5
- 1 : 3, 10, 1141, 6, 7, 8, 2, 2, 10, 2, 18, 28236, 6.3e-5
- 2 : 3, 10, 1109, 5, 8, 7, 2, 3, 7, 2, 18, 33599, 6.3e-5
- 3 : 3, 10, 1126, 6, 7, 8, 2, 3, 7, 2, 18, 38534, 6.3e-5
- 4 : 3, 10, 1161, 5, 8, 16, 1, 4, 6, 2, 18, 45536, 6.3e-5
- 5 : 3, 10, 1115, 7, 6, 15, 1, 4, 6, 2, 18, 55134, 6.3e-5
- 6 : 3, 10, 1144, 8, 5, 16, 1, 4, 6, 3, 13, 67301, 6.3e-5
- 7 : 3, 10, 1125, 9, 5, 15, 1, 5, 5, 3, 13, 87377, 6.3e-5
- 8 : 3, 10, 1113, 9, 5, 15, 1, 7, 4, 3, 13, 117306, 6.2e-5
- 9 : 3, 10, 1146, 11, 4, 16, 1, 7, 4, 3, 13, 138763, 6.3e-5
- 10: 3, 10, 1106, 14, 3, 15, 1, 10, 3, 3, 13, 225040, 6.2e-5
- 11: 3, 10, 1132, 22, 2, 16, 1, 10, 3, 3, 13, 331944, 6.3e-5
- 12: 3, 10, 1138, 44, 1, 16, 1, 15, 2, 4, 11, 924025, 6.3e-5
# no solution starting from log norm2 = 13
- 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
# no solution starting from log norm2 = 14

138
compilers/concrete-optimizer/v0-parameters/ref/wop_pbs_last_80
View File

@@ -79,68 +79,68 @@ per precision and log norm2:
- 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, 6.6e-7
- 1 : 1, 10, 450, 3, 10, 3, 4, 3, 5, 2, 13, 1084, 3.6e-5
- 2 : 2, 10, 450, 3, 12, 3, 4, 2, 8, 1, 31, 1369, 4.9e-6
- 3 : 2, 10, 450, 4, 9, 4, 3, 2, 9, 1, 31, 1657, 5.4e-5
- 4 : 2, 10, 450, 3, 12, 3, 4, 3, 6, 1, 31, 1933, 9.7e-6
- 5 : 2, 10, 450, 5, 8, 3, 4, 2, 10, 2, 20, 2211, 2.4e-5
- 6 : 2, 10, 450, 6, 7, 4, 3, 2, 10, 2, 20, 2499, 6.0e-5
- 7 : 2, 10, 450, 5, 8, 3, 4, 3, 7, 2, 20, 3141, 1.0e-5
- 8 : 2, 10, 450, 6, 7, 5, 3, 3, 8, 2, 20, 3550, 4.0e-5
- 9 : 2, 10, 450, 8, 5, 3, 4, 3, 8, 2, 20, 4304, 2.2e-5
- 10: 2, 10, 450, 7, 6, 3, 4, 4, 6, 2, 20, 5067, 4.3e-5
- 11: 2, 10, 450, 7, 6, 4, 3, 5, 5, 2, 20, 6229, 1.7e-5
- 12: 2, 10, 450, 8, 5, 7, 2, 6, 5, 2, 20, 8132, 4.1e-5
- 13: 2, 10, 450, 9, 5, 4, 3, 7, 4, 2, 20, 10193, 4.8e-5
- 14: 2, 10, 450, 14, 3, 4, 3, 7, 4, 2, 20, 14346, 1.6e-5
- 15: 2, 10, 450, 14, 3, 4, 3, 10, 3, 2, 20, 20125, 1.2e-5
- 16: 2, 10, 450, 22, 2, 7, 2, 10, 3, 3, 15, 30900, 6.0e-5
- 17: 2, 10, 450, 44, 1, 4, 3, 16, 2, 2, 20, 86501, 5.7e-5
- 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, 6.6e-7
- 1 : 1, 10, 450, 3, 10, 3, 4, 3, 5, 2, 13, 1084, 3.6e-5
- 2 : 2, 10, 450, 3, 12, 3, 4, 2, 8, 1, 31, 1369, 4.9e-6
- 3 : 2, 10, 450, 4, 9, 4, 3, 2, 9, 1, 31, 1657, 5.4e-5
- 4 : 2, 10, 450, 3, 12, 3, 4, 3, 6, 1, 31, 1933, 9.7e-6
- 5 : 2, 10, 450, 5, 8, 3, 4, 2, 10, 2, 20, 2211, 2.4e-5
- 6 : 2, 10, 450, 6, 7, 4, 3, 2, 10, 2, 20, 2499, 6.0e-5
- 7 : 2, 10, 450, 5, 8, 3, 4, 3, 7, 2, 20, 3141, 1.0e-5
- 8 : 2, 10, 450, 6, 7, 5, 3, 3, 8, 2, 20, 3550, 4.0e-5
- 9 : 2, 10, 450, 8, 5, 3, 4, 3, 8, 2, 20, 4304, 2.2e-5
- 10: 2, 10, 450, 7, 6, 3, 4, 4, 6, 2, 20, 5067, 4.3e-5
- 11: 2, 10, 450, 7, 6, 4, 3, 5, 5, 2, 20, 6229, 1.7e-5
- 12: 2, 10, 450, 8, 5, 7, 2, 6, 5, 2, 20, 8132, 4.1e-5
- 13: 2, 10, 450, 9, 5, 4, 3, 7, 4, 2, 20, 10193, 4.8e-5
- 14: 2, 10, 450, 14, 3, 4, 3, 7, 4, 2, 20, 14346, 1.6e-5
- 15: 2, 10, 450, 14, 3, 4, 3, 10, 3, 2, 20, 20125, 1.2e-5
- 16: 2, 10, 450, 22, 2, 7, 2, 10, 3, 3, 15, 30900, 6.0e-5
- 17: 2, 10, 450, 44, 1, 4, 3, 16, 2, 2, 20, 86501, 5.7e-5
- 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, 2.2e-6
- 1 : 1, 10, 450, 3, 10, 4, 3, 3, 5, 2, 13, 1293, 4.8e-5
- 2 : 2, 10, 450, 3, 12, 3, 4, 2, 8, 1, 31, 1633, 1.1e-5
- 3 : 2, 10, 450, 4, 9, 7, 2, 2, 9, 1, 31, 2014, 5.3e-5
- 4 : 2, 10, 450, 3, 12, 3, 4, 3, 6, 1, 31, 2291, 2.1e-5
- 5 : 2, 10, 450, 5, 8, 3, 4, 2, 10, 2, 20, 2633, 5.2e-5
- 6 : 2, 10, 450, 6, 7, 7, 2, 2, 10, 2, 20, 3015, 6.0e-5
- 7 : 2, 10, 450, 5, 8, 3, 4, 3, 7, 2, 20, 3718, 2.2e-5
- 8 : 2, 10, 450, 6, 7, 14, 1, 3, 8, 2, 20, 4315, 6.2e-5
- 9 : 2, 10, 450, 8, 5, 3, 4, 3, 8, 2, 20, 5102, 4.9e-5
- 10: 2, 10, 450, 7, 6, 4, 3, 4, 6, 2, 20, 5996, 2.0e-5
- 11: 2, 10, 450, 7, 6, 4, 3, 5, 5, 2, 20, 7339, 4.7e-5
- 12: 2, 10, 450, 7, 6, 4, 3, 7, 4, 2, 20, 10025, 1.7e-5
- 13: 2, 10, 450, 9, 5, 7, 2, 7, 4, 2, 20, 12019, 4.6e-5
- 14: 2, 10, 450, 14, 3, 4, 3, 7, 4, 2, 20, 16873, 4.4e-5
- 15: 2, 10, 450, 14, 3, 4, 3, 10, 3, 2, 20, 23615, 3.6e-5
- 16: 2, 10, 450, 22, 2, 14, 1, 11, 3, 2, 20, 37947, 5.7e-5
- 17: 2, 10, 450, 44, 1, 7, 2, 16, 2, 2, 20, 101368, 5.7e-5
- 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
@@ -322,19 +322,19 @@ per precision and log norm2:
- 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, 455, 4, 9, 7, 2, 2, 9, 1, 31, 5484, 6.2e-5
- 1 : 2, 10, 452, 3, 12, 5, 3, 3, 6, 1, 31, 6185, 6.1e-5
- 2 : 2, 10, 455, 5, 8, 5, 3, 2, 10, 2, 20, 7199, 6.3e-5
- 3 : 2, 10, 458, 6, 7, 7, 2, 2, 10, 2, 20, 8220, 6.1e-5
- 4 : 2, 10, 452, 5, 8, 5, 3, 3, 7, 2, 20, 9966, 6.2e-5
- 5 : 2, 10, 461, 6, 7, 7, 2, 3, 8, 2, 20, 11444, 6.3e-5
- 6 : 2, 10, 450, 8, 5, 7, 2, 3, 8, 2, 20, 13707, 1.3e-5
- 7 : 2, 10, 450, 7, 6, 7, 2, 4, 6, 2, 20, 15928, 2.2e-5
- 8 : 2, 10, 450, 7, 6, 7, 2, 5, 5, 2, 20, 19387, 3.9e-5
- 9 : 2, 10, 450, 7, 6, 7, 2, 7, 4, 2, 20, 26304, 2.1e-5
- 10: 2, 10, 450, 9, 5, 14, 1, 7, 4, 2, 20, 31657, 4.8e-5
- 11: 2, 10, 450, 14, 3, 7, 2, 7, 4, 2, 20, 44263, 3.8e-5
- 12: 2, 10, 450, 14, 3, 7, 2, 10, 3, 2, 20, 61615, 3.3e-5
- 13: 2, 10, 450, 22, 2, 14, 1, 11, 3, 2, 20, 98777, 6.0e-5
- 14: 2, 10, 450, 44, 1, 14, 1, 16, 2, 2, 20, 263209, 5.5e-5
- 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
# no solution starting from log norm2 = 15