{"dims": [5, 5, 5], "opts": {"group": "2 generators", "induced": true, "vmax": 72}, "fixed": false, "solver": "cadical195", "vars": 8596, "clauses": 3238333, "h1_clauses": 2949696, "result": "UNSAT", "build_s": 15.32, "solve_s": 38.62}
python3 sat_runs_ref2.py sym555ind  52.99s user 0.71s system 98% cpu 54.418 total
