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.9s)
n 9 D 7 all: SAT (0.2s)
n 9 D 8 all: UNSAT (72.9s)
n 8 D 5 orientable: SAT (0.0s)
n 8 D 6 orientable: UNSAT (4.4s)
n 9 D 6 orientable: SAT (0.1s)
n 9 D 7 orientable: UNSAT (440.9s)
