Thu Oct 22 11:23:27 PM UTC 2026
  [     7s] verified 200/1653
  [    13s] verified 400/1653
  [    19s] verified 600/1653
  [    25s] verified 800/1653
  [    30s] verified 1000/1653
  [    36s] verified 1200/1653
  [    41s] verified 1400/1653
  [    47s] verified 1600/1653
{
 "case": "nsplit",
 "source": "/tmp/rqb_check/case1_rqa",
 "roots": 7956,
 "covered_roots": 1326,
 "uncovered_roots": [
  "N/k0/i0j10",
  "N/k0/i0j11",
  "N/k0/i0j12",
  "N/k0/i0j13",
  "N/k0/i0j14",
  "N/k0/i0j15",
  "N/k0/i0j16",
  "N/k0/i0j17",
  "N/k0/i0j18",
  "N/k0/i0j19",
  "N/k0/i0j20",
  "N/k0/i0j4",
  "N/k0/i0j5",
  "N/k0/i0j6",
  "N/k0/i0j7",
  "N/k0/i0j8",
  "N/k0/i0j9",
  "N/k0/i10j0",
  "N/k0/i10j1",
  "N/k0/i10j10",
  "N/k0/i10j2",
  "N/k0/i10j3",
  "N/k0/i10j4",
  "N/k0/i10j5",
  "N/k0/i10j6",
  "N/k0/i10j7",
  "N/k0/i10j8",
  "N/k0/i10j9",
  "N/k0/i11j0",
  "N/k0/i11j1",
  "..."
 ],
 "certificates_used": 1653,
 "verified_ok": 1653,
 "empty": 5,
 "rejected": [],
 "max_U": 0.854996980551545,
 "target": 0.855,
 "spec_mismatch": [],
 "quick": false
}
EXIT 0
Thu Oct 22 11:24:15 PM UTC 2026
