files / problems / sidon-second-term / compute / q1 / results.json

784 B · on GitHub

{
  "published_record": {
    "HouZhao_stated": 0.9435,
    "HouZhao_gamma0": 0.943492590713545,
    "HouZhao_arxiv": "2607.01169v2"
  },
  "certificate": {
    "file": "certs/joint_r8_L6.json",
    "sha256": "edcc2c973809c4bb8a3f25233ffc80e6b5ce432a70c4d01697a3ba8ead8beda5",
    "R": 8,
    "m": 32,
    "L": 6,
    "asymmetric": false,
    "gamma_exact_float": 0.9432425309706136,
    "stated_C": 0.94325,
    "beats_0.9435": true,
    "beats_0.94325": true,
    "min_slack": 0,
    "verifiers": [
      "../verify_certificate.py --beat 0.94325",
      "verify_q1.py --beat 0.94325",
      "verify_q1.c 94325 100000"
    ]
  },
  "search_floats": {
    "hz8_L6_plateau": 0.9434925084844306,
    "joint_lbfgs_hz8_L6": 0.9432425303235829,
    "cont_R12_L6": 0.9432645970408925
  }
}