{"dims": [3, 3, 3], "solver": "kissat404", "vars": 4549, "clauses": 20387, "h1_clauses": 420, "sb_clauses": 10656, "group_order": 48, "result": "UNSAT", "build_s": 0.03, "solve_s": 958.91}
PYTHONDONTWRITEBYTECODE=1 python3 sat_sb_ref2.py 3x3x3 kissat404  941.36s user 6.74s system 98% cpu 15:58.99 total
