{"dims": [2, 2, 2], "opts": {}, "fixed": false, "solver": "cadical195", "vars": 157, "clauses": 617, "h1_clauses": 9, "result": "UNSAT", "build_s": 0.0, "solve_s": 0.0}
{"dims": [2, 2, 3], "opts": {}, "fixed": false, "solver": "cadical195", "vars": 296, "clauses": 1493, "h1_clauses": 29, "result": "UNSAT", "build_s": 0.0, "solve_s": 0.01}
{"dims": [2, 2, 4], "opts": {}, "fixed": false, "solver": "cadical195", "vars": 440, "clauses": 2716, "h1_clauses": 67, "result": "UNSAT", "build_s": 0.0, "solve_s": 0.31}
{"dims": [2, 2, 5], "opts": {}, "fixed": false, "solver": "cadical195", "vars": 601, "clauses": 4304, "h1_clauses": 129, "result": "UNSAT", "build_s": 0.0, "solve_s": 7.47}
{"dims": [2, 2, 6], "opts": {}, "fixed": false, "solver": "cadical195", "vars": 763, "clauses": 6247, "h1_clauses": 221, "result": "UNSAT", "build_s": 0.01, "solve_s": 319.52}
{"dims": [2, 3, 3], "opts": {}, "fixed": false, "solver": "cadical195", "vars": 547, "clauses": 3763, "h1_clauses": 124, "result": "UNSAT", "build_s": 0.0, "solve_s": 2.84}
{"dims": [3, 3, 2], "opts": {}, "fixed": false, "solver": "cadical195", "vars": 547, "clauses": 3763, "h1_clauses": 124, "result": "UNSAT", "build_s": 0.0, "solve_s": 1.78}
{"dims": [2, 3, 4], "opts": {}, "fixed": false, "solver": "cadical195", "vars": 817, "clauses": 7189, "h1_clauses": 456, "result": "UNSAT", "build_s": 0.01, "solve_s": 1265.71}
python3 sat_runs_ref2.py small  1548.09s user 6.22s system 97% cpu 26:37.73 total
