{"dims": [4, 4, 4], "opts": {"group": "2 generators", "vmax": 61}, "fixed": false, "solver": "cadical195", "vars": 3645, "clauses": 90064, "h1_clauses": 22701, "result": "UNSAT", "build_s": 0.13, "solve_s": 2.62}
{"dims": [4, 4, 4], "opts": {"group": "2 generators", "induced": true}, "fixed": false, "solver": "cadical195", "vars": 3261, "clauses": 87807, "h1_clauses": 22701, "result": "UNSAT", "build_s": 0.14, "solve_s": 0.1}
{"dims": [4, 4, 4], "opts": {"group": "2 generators"}, "fixed": false, "solver": "cadical195", "vars": 3261, "clauses": 87663, "h1_clauses": 22701, "result": "SAT", "build_s": 0.13, "solve_s": 1.73, "check": {"consistent": true, "corners": 0, "sections_H1_zero": true, "chi": 1, "counts": [62, 114, 54, 1], "connected": true, "betti2": [1, 0, 0, 0]}, "solution_counts": [62, 114, 54, 1]}
( python3 sat_runs_ref2.py sym444; python3 sat_runs_ref2.py sym444ind; python)  1.89s user 0.03s system 38% cpu 5.018 total
