n 6 D 3 all: SAT (0.0s)
n 6 D 4 all: UNSAT (0.0s)
n 7 D 5 all: SAT (0.0s)
n 7 D 6 all: UNSAT (0.1s)
n 8 D 6 all: SAT (0.1s)
n 8 D 7 all: UNSAT (2.6s)
n 9 D 7 all: SAT (0.2s)
n 9 D 8 all: UNSAT (68.2s)
n 8 D 5 orientable: SAT (0.0s)
n 8 D 6 orientable: UNSAT (4.0s)
n 9 D 6 orientable: SAT (0.1s)
n 9 D 7 orientable: UNSAT (421.4s)
