{
 "experiment": "index_calculus_decomposition_probe",
 "timestamp_utc": "2026-11-01T05:43:06+00:00",
 "command": "experiments/synthetic_ecdlp/index_calculus_probe.py",
 "cwd": "/Users/simon-pierreboucher/Desktop/UQO/Recherche/Recherche-UQO/mathematiques/beyond-square-root-barrier",
 "seed": 34,
 "host": {
  "hostname": "MacBookPro-de-simon-pierre-2.local",
  "os": "Darwin 27.0.0 (27.0)",
  "machine": "arm64",
  "python": "3.12.13",
  "cpu": "Apple M5 Max",
  "cores": 18,
  "ram_gb": 48.0
 },
 "software": {
  "numpy": "2.5.4",
  "scipy": "1.18.1",
  "sympy": "1.14.0",
  "gmpy2": "2.3.2",
  "z3": "5.3.3",
  "pysat": "1.9.dev17",
  "ecdsa": "0.19.2",
  "coincurve": "21.0.0"
 },
 "params": {
  "m": 2,
  "sizes": [
   16,
   20,
   24,
   28
  ]
 },
 "measurements": {
  "rows": [
   {
    "bits": 16,
    "p": "65123",
    "n": "65293",
    "B": 255,
    "factor_base_size": 272,
    "trials": 400,
    "hits": 174,
    "decomposition_rate": 0.435,
    "predicted_rate": 0.43252230928380464,
    "relations_needed": 272,
    "expected_cost_group_ops": 170078.1609195402,
    "sqrt_n": 255.5249498581303,
    "cost_over_sqrt_n": 665.6029519386233,
    "oracle_relation_cost": 625.2873563218391,
    "oracle_relation_cost_over_sqrt_n": 2.4470696762449387,
    "linear_algebra_cost_over_sqrt_n": 289.53728409330114,
    "frac_exp": 0.5
   },
   {
    "bits": 16,
    "p": "39937",
    "n": "39541",
    "B": 576,
    "factor_base_size": 596,
    "trials": 400,
    "hits": 396,
    "decomposition_rate": 0.99,
    "predicted_rate": 0.9887988939157356,
    "relations_needed": 596,
    "expected_cost_group_ops": 358804.0404040404,
    "sqrt_n": 198.84918908559823,
    "cost_over_sqrt_n": 1804.4028343992227,
    "oracle_relation_cost": 602.0202020202021,
    "oracle_relation_cost_over_sqrt_n": 3.0275215342268837,
    "linear_algebra_cost_over_sqrt_n": 1786.3588060552304,
    "frac_exp": 0.6
   },
   {
    "bits": 20,
    "p": "1038563",
    "n": "1038127",
    "B": 1019,
    "factor_base_size": 1022,
    "trials": 300,
    "hits": 118,
    "decomposition_rate": 0.3933333333333333,
    "predicted_rate": 0.3953235540674799,
    "relations_needed": 1022,
    "expected_cost_group_ops": 2655467.7966101696,
    "sqrt_n": 1018.8851750810785,
    "cost_over_sqrt_n": 2606.248340397002,
    "oracle_relation_cost": 2598.305084745763,
    "oracle_relation_cost_over_sqrt_n": 2.550145147159493,
    "linear_algebra_cost_over_sqrt_n": 1025.1243472228207,
    "frac_exp": 0.5
   },
   {
    "bits": 20,
    "p": "707249",
    "n": "707053",
    "B": 3234,
    "factor_base_size": 3222,
    "trials": 300,
    "hits": 300,
    "decomposition_rate": 1.0,
    "predicted_rate": 0.9993517503503901,
    "relations_needed": 3222,
    "expected_cost_group_ops": 10381284.0,
    "sqrt_n": 840.864436160788,
    "cost_over_sqrt_n": 12345.966309859388,
    "oracle_relation_cost": 3222.0,
    "oracle_relation_cost_over_sqrt_n": 3.8317710458905614,
    "linear_algebra_cost_over_sqrt_n": 12345.966309859388,
    "frac_exp": 0.6
   },
   {
    "bits": 24,
    "p": "15234503",
    "n": "15230309",
    "B": 3903,
    "factor_base_size": 3872,
    "trials": 200,
    "hits": 75,
    "decomposition_rate": 0.375,
    "predicted_rate": 0.3887132362360539,
    "relations_needed": 3872,
    "expected_cost_group_ops": 39979690.66666667,
    "sqrt_n": 3902.602849381423,
    "cost_over_sqrt_n": 10244.365673284845,
    "oracle_relation_cost": 10325.333333333334,
    "oracle_relation_cost_over_sqrt_n": 2.6457555974392672,
    "linear_algebra_cost_over_sqrt_n": 3841.637127481816,
    "frac_exp": 0.5
   },
   {
    "bits": 24,
    "p": "11411011",
    "n": "11404937",
    "B": 17155,
    "factor_base_size": 17262,
    "trials": 200,
    "hits": 200,
    "decomposition_rate": 1.0,
    "predicted_rate": 0.9999978787258659,
    "relations_needed": 17262,
    "expected_cost_group_ops": 297976644.0,
    "sqrt_n": 3377.1196306912198,
    "cost_over_sqrt_n": 88233.96165536811,
    "oracle_relation_cost": 17262.0,
    "oracle_relation_cost_over_sqrt_n": 5.111456474068365,
    "linear_algebra_cost_over_sqrt_n": 88233.96165536811,
    "frac_exp": 0.6
   },
   {
    "bits": 28,
    "p": "224348203",
    "n": "224361727",
    "B": 14978,
    "factor_base_size": 15002,
    "trials": 120,
    "hits": 37,
    "decomposition_rate": 0.30833333333333335,
    "predicted_rate": 0.39441245356380616,
    "relations_needed": 15002,
    "expected_cost_group_ops": 729924337.2972972,
    "sqrt_n": 14978.709123285624,
    "cost_over_sqrt_n": 48730.79057010129,
    "oracle_relation_cost": 48655.13513513513,
    "oracle_relation_cost_over_sqrt_n": 3.2482862665045524,
    "linear_algebra_cost_over_sqrt_n": 15025.327092447898,
    "frac_exp": 0.5
   }
  ]
 },
 "elapsed_s": 1.808
}