{
 "experiment": "orbit_quotient_counterexample",
 "timestamp_utc": "2026-11-01T05:51:00+00:00",
 "command": "theory/elliptic_curves/orbit_quotient_counterexample.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": {
  "sizes": [
   16,
   20,
   24
  ]
 },
 "measurements": {
  "rows": [
   {
    "bits": 16,
    "p": "43597",
    "n": "43543",
    "beta": "2371",
    "trials": 500,
    "compatibility_failures": 500,
    "failure_rate": 1.0,
    "counterexample": {
     "P": [
      "29583",
      "35798"
     ],
     "Q": [
      "36240",
      "40019"
     ],
     "P+Q": [
      "29595",
      "12880"
     ],
     "phiP+Q": [
      "1804",
      "23209"
     ]
    },
    "orbit_size_check": true
   },
   {
    "bits": 20,
    "p": "607147",
    "n": "606559",
    "beta": "144315",
    "trials": 500,
    "compatibility_failures": 500,
    "failure_rate": 1.0,
    "counterexample": {
     "P": [
      "238078",
      "590766"
     ],
     "Q": [
      "235789",
      "584789"
     ],
     "P+Q": [
      "308363",
      "362284"
     ],
     "phiP+Q": [
      "137787",
      "138095"
     ]
    },
    "orbit_size_check": true
   },
   {
    "bits": 24,
    "p": "16399183",
    "n": "16391887",
    "beta": "6207282",
    "trials": 500,
    "compatibility_failures": 500,
    "failure_rate": 1.0,
    "counterexample": {
     "P": [
      "5741818",
      "5844338"
     ],
     "Q": [
      "8855015",
      "13127916"
     ],
     "P+Q": [
      "3690850",
      "11353890"
     ],
     "phiP+Q": [
      "1485374",
      "12766949"
     ]
    },
    "orbit_size_check": true
   }
  ]
 },
 "elapsed_s": 0.525
}