{"dims": [3, 3, 3], "solver": "cadical195", "vars": 4549, "clauses": 20387, "h1_clauses": 420, "sb_clauses": 10656, "group_order": 48, "result": "UNSAT", "build_s": 0.03, "solve_s": 1259.72}
python3 sat_sb_ref2.py 3x3x3 cadical195  1227.66s user 4.22s system 97% cpu 20:59.81 total
