n=4 D=1 orientable=False: SAT (0.0s), model has 4 triangles, dual diameter 1
n=4 D=2 orientable=False: UNSAT (0.0s), 132 vars, 280 clauses, solver cd19
n=5 D=2 orientable=False: SAT (0.0s), model has 3 triangles, dual diameter 2
n=5 D=3 orientable=False: UNSAT (0.0s), 380 vars, 1027 clauses, solver cd19
n=6 D=3 orientable=False: SAT (0.0s), model has 5 triangles, dual diameter 3
n=6 D=4 orientable=False: UNSAT (0.0s), 890 vars, 3228 clauses, solver cd19
n=7 D=5 orientable=False: SAT (0.0s), model has 10 triangles, dual diameter 5
n=7 D=6 orientable=False: UNSAT (0.0s), 1876 vars, 9985 clauses, solver cd19
n=8 D=6 orientable=False: SAT (0.0s), model has 12 triangles, dual diameter 6
n=8 D=7 orientable=False: UNSAT (0.3s), 3416 vars, 24315 clauses, solver cd19
n=9 D=7 orientable=False: SAT (0.0s), model has 14 triangles, dual diameter 7
n=9 D=8 orientable=False: UNSAT (11.7s), 5760 vars, 54006 clauses, solver cd19
n=5 D=3 orientable=True: UNSAT (0.0s), 390 vars, 1087 clauses, solver cd19
n=6 D=4 orientable=True: UNSAT (0.0s), 910 vars, 3408 clauses, solver cd19
n=7 D=4 orientable=True: SAT (0.0s), model has 6 triangles, dual diameter 4
n=7 D=5 orientable=True: UNSAT (0.0s), 1841 vars, 9284 clauses, solver cd19
n=8 D=5 orientable=True: SAT (0.0s), model has 9 triangles, dual diameter 5
n=8 D=6 orientable=True: UNSAT (0.5s), 3360 vars, 22606 clauses, solver cd19
n=9 D=6 orientable=True: SAT (0.0s), model has 7 triangles, dual diameter 6
n=9 D=7 orientable=True: UNSAT (44.8s), 5676 vars, 50267 clauses, solver cd19
n=10 D=8 orientable=False: SAT (0.9s), model has 17 triangles, dual diameter 8
n=10 D=8 orientable=True: SAT (3.6s), model has 20 triangles, dual diameter 8
