{"dims": [4, 4, 4], "opts": {"group": "2 generators"}, "fixed": true, "solver": "cadical195", "vars": 3261, "clauses": 87663, "h1_clauses": 22701, "result": "SAT", "build_s": 0.12, "solve_s": 0.03, "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]}
{"dims": [4, 4, 4], "opts": {"group": "2 generators", "vmax": 62}, "fixed": true, "solver": "cadical195", "vars": 3645, "clauses": 90064, "h1_clauses": 22701, "result": "SAT", "build_s": 0.12, "solve_s": 0.03, "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]}
{"dims": [4, 4, 4], "opts": {"group": "2 generators", "vmax": 61}, "fixed": true, "solver": "cadical195", "vars": 3645, "clauses": 90064, "h1_clauses": 22701, "result": "UNSAT", "build_s": 0.12, "solve_s": 0.03}
{"dims": [4, 4, 4], "opts": {}, "fixed": true, "solver": "cadical195", "vars": 3261, "clauses": 86291, "h1_clauses": 22701, "result": "SAT", "build_s": 0.11, "solve_s": 0.03, "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]}
{"dims": [5, 5, 5], "opts": {"group": "2 generators", "induced": true}, "fixed": true, "solver": "cadical195", "vars": 7724, "clauses": 3229710, "h1_clauses": 2949696, "result": "SAT", "build_s": 14.66, "solve_s": 1.93, "check": {"consistent": true, "corners": 0, "sections_H1_zero": true, "chi": 1, "counts": [73, 132, 60, 0], "connected": true, "betti2": [1, 0, 0, 0]}, "solution_counts": [73, 132, 60, 0]}
{"dims": [5, 5, 5], "opts": {"group": "2 generators", "induced": true, "vmax": 73}, "fixed": true, "solver": "cadical195", "vars": 8596, "clauses": 3238333, "h1_clauses": 2949696, "result": "SAT", "build_s": 14.81, "solve_s": 1.91, "check": {"consistent": true, "corners": 0, "sections_H1_zero": true, "chi": 1, "counts": [73, 132, 60, 0], "connected": true, "betti2": [1, 0, 0, 0]}, "solution_counts": [73, 132, 60, 0]}
{"dims": [4, 4, 4], "opts": {"group": "2 generators", "induced": true}, "fixed": true, "solver": "cadical195", "vars": 3261, "clauses": 87807, "h1_clauses": 22701, "result": "UNSAT", "build_s": 0.12, "solve_s": 0.03}
