{"dims": [2, 4, 4], "opts": {"group": "1 generators"}, "fixed": false, "solver": "cadical195", "vars": 1214, "clauses": 16278, "h1_clauses": 3383, "result": "UNSAT", "build_s": 0.03, "solve_s": 15.38}
{"dims": [3, 3, 4], "opts": {"group": "1 generators"}, "fixed": false, "solver": "cadical195", "vars": 1494, "clauses": 19336, "h1_clauses": 1456, "result": "UNSAT", "build_s": 0.02, "solve_s": 178.16}
