{
  "bridge_distance": 0,
  "verified_sublemmas": 3,
  "lemma_bank_size": 0,
  "lemma_bank_reuse": 0.0,
  "open_subgoals": 0,
  "cpu_hours": 0.245,
  "gpu_hours": 0.0,
  "fcc_calls": 0,
  "tokens": 0,
  "sparkline": [],
  "last_updated": "2026-10-30T04:28:56.904477+00:00",
  "target": "medium_ineq (test problem, fixed stand-in proposer, no model)",
  "status": "idle",
  "source": "measured",
  "run": {
    "solver": {
      "connected": true,
      "generation": 1,
      "lean_checks_with_disprove": 10,
      "lean_checks_without": 26,
      "statements_pruned_as_false": 8,
      "assembled_proof_checks": true
    },
    "compressor_P5_no_model_operators": {
      "closer": {
        "po_tokens_saved": 0,
        "lean_checks": 165
      },
      "shared": {
        "po_tokens_saved": 0,
        "lean_checks": 1
      },
      "dce": {
        "po_tokens_saved": 254,
        "lean_checks": 97
      },
      "shortcut": {
        "po_tokens_saved": 1,
        "lean_checks": 198
      }
    },
    "note": "cpu_hours is wall-clock of these measured runs; the background daemon is a placeholder and does no search"
  }
}