Fri Oct 23 12:33:26 AM UTC 2026
  [     7s] verified 200/8481
  [    13s] verified 400/8481
  [    19s] verified 600/8481
  [    25s] verified 800/8481
  [    31s] verified 1000/8481
  [    36s] verified 1200/8481
  [    41s] verified 1400/8481
  [    47s] verified 1600/8481
  [    53s] verified 1800/8481
  [    59s] verified 2000/8481
  [    64s] verified 2200/8481
  [    70s] verified 2400/8481
  [    76s] verified 2600/8481
  [    82s] verified 2800/8481
  [    88s] verified 3000/8481
  [    94s] verified 3200/8481
  [   100s] verified 3400/8481
  [   106s] verified 3600/8481
  [   112s] verified 3800/8481
  [   118s] verified 4000/8481
  [   124s] verified 4200/8481
  [   130s] verified 4400/8481
  [   136s] verified 4600/8481
  [   142s] verified 4800/8481
  [   148s] verified 5000/8481
  [   154s] verified 5200/8481
  [   160s] verified 5400/8481
  [   166s] verified 5600/8481
  [   172s] verified 5800/8481
  [   179s] verified 6000/8481
  [   185s] verified 6200/8481
  [   191s] verified 6400/8481
  [   197s] verified 6600/8481
  [   203s] verified 6800/8481
  [   209s] verified 7000/8481
  [   215s] verified 7200/8481
  [   221s] verified 7400/8481
  [   228s] verified 7600/8481
  [   234s] verified 7800/8481
  [   241s] verified 8000/8481
  [   247s] verified 8200/8481
  [   253s] verified 8400/8481
{
 "case": "nsplit",
 "source": "/tmp/rqb_check/final/nsplit_D14.jsonl.xz",
 "roots": 7956,
 "covered_roots": 7956,
 "uncovered_roots": [],
 "certificates_used": 8481,
 "verified_ok": 8481,
 "empty": 5,
 "rejected": [],
 "max_U": 0.854996980551545,
 "target": 0.855,
 "spec_mismatch": [],
 "quick": false
}
EXIT 0
Fri Oct 23 12:37:43 AM UTC 2026
