repro-bundle/verify/claim5/verdict.json

{
  "name": "claim5-lowrank-clustering-toy",
  "relation": ">=",
  "verdict": "verified",
  "tol": 1e-06,
  "pass_threshold": 0.99,
  "sweep": {
    "d": [
      6,
      8,
      12,
      16
    ],
    "gap": [
      0.2,
      0.35,
      0.5
    ]
  },
  "seeds": [
    0,
    1,
    2,
    3,
    4
  ],
  "n_points": 60,
  "n_in_assumption": 60,
  "overall_pass_rate": 1.0,
  "in_assumption_pass_rate": 1.0,
  "margin_min": 0.09999999999999962,
  "margin_median": 0.17499999999999993,
  "margin_mean": 0.17500000000000016,
  "clear_violation_rate": 0.0,
  "seed_pass_std": 0.0,
  "refined_pass_rate": null,
  "worst_case": {
    "params": {
      "d": 6,
      "gap": 0.2
    },
    "seed": 0,
    "lhs": 0.19999999999999962,
    "rhs": 0.1,
    "margin": 0.09999999999999962
  }
}