1{2 "experiment": "orbit_quotient_counterexample",3 "timestamp_utc": "2026-11-01T05:51:00+00:00",4 "command": "theory/elliptic_curves/orbit_quotient_counterexample.py",5 "cwd": "/Users/simon-pierreboucher/Desktop/UQO/Recherche/Recherche-UQO/mathematiques/beyond-square-root-barrier",6 "seed": 34,7 "host": {8 "hostname": "MacBookPro-de-simon-pierre-2.local",9 "os": "Darwin 27.0.0 (27.0)",10 "machine": "arm64",11 "python": "3.12.13",12 "cpu": "Apple M5 Max",13 "cores": 18,14 "ram_gb": 48.015 },16 "software": {17 "numpy": "2.5.4",18 "scipy": "1.18.1",19 "sympy": "1.14.0",20 "gmpy2": "2.3.2",21 "z3": "5.3.3",22 "pysat": "1.9.dev17",23 "ecdsa": "0.19.2",24 "coincurve": "21.0.0"25 },26 "params": {27 "sizes": [28 16,29 20,30 2431 ]32 },33 "measurements": {34 "rows": [35 {36 "bits": 16,37 "p": "43597",38 "n": "43543",39 "beta": "2371",40 "trials": 500,41 "compatibility_failures": 500,42 "failure_rate": 1.0,43 "counterexample": {44 "P": [45 "29583",46 "35798"47 ],48 "Q": [49 "36240",50 "40019"51 ],52 "P+Q": [53 "29595",54 "12880"55 ],56 "phiP+Q": [57 "1804",58 "23209"59 ]60 },61 "orbit_size_check": true62 },63 {64 "bits": 20,65 "p": "607147",66 "n": "606559",67 "beta": "144315",68 "trials": 500,69 "compatibility_failures": 500,70 "failure_rate": 1.0,71 "counterexample": {72 "P": [73 "238078",74 "590766"75 ],76 "Q": [77 "235789",78 "584789"79 ],80 "P+Q": [81 "308363",82 "362284"83 ],84 "phiP+Q": [85 "137787",86 "138095"87 ]88 },89 "orbit_size_check": true90 },91 {92 "bits": 24,93 "p": "16399183",94 "n": "16391887",95 "beta": "6207282",96 "trials": 500,97 "compatibility_failures": 500,98 "failure_rate": 1.0,99 "counterexample": {100 "P": [101 "5741818",102 "5844338"103 ],104 "Q": [105 "8855015",106 "13127916"107 ],108 "P+Q": [109 "3690850",110 "11353890"111 ],112 "phiP+Q": [113 "1485374",114 "12766949"115 ]116 },117 "orbit_size_check": true118 }119 ]120 },121 "elapsed_s": 0.525122}