4 1 SAT 0.0 s (1, 2, True, 0, True)
4 2 UNSAT 0.0 s 
RESULT n=4 options=['orientable'] max D found=1 (D=2 UNSAT)
5 2 SAT 0.0 s (2, 1, True, 1, True)
5 3 UNSAT 0.0 s 
RESULT n=5 options=['orientable'] max D found=2 (D=3 UNSAT)
6 3 SAT 0.0 s (3, 1, True, 1, True)
6 4 UNSAT 0.0 s 
RESULT n=6 options=['orientable'] max D found=3 (D=4 UNSAT)
7 4 SAT 0.0 s (4, 1, True, 1, True)
7 5 UNSAT 0.0 s 
RESULT n=7 options=['orientable'] max D found=4 (D=5 UNSAT)
8 5 SAT 0.0 s (5, 1, True, 1, True)
8 6 UNSAT 0.1 s 
RESULT n=8 options=['orientable'] max D found=5 (D=6 UNSAT)
9 6 SAT 0.0 s (6, 1, True, 1, True)
9 7 UNSAT 0.9 s 
RESULT n=9 options=['orientable'] max D found=6 (D=7 UNSAT)
10 7 SAT 0.0 s (7, 1, True, 1, True)
10 8 SAT 3.6 s (8, -4, True, 2, True)
10 9 UNSAT 22.9 s 
RESULT n=10 options=['orientable'] max D found=8 (D=9 UNSAT)
11 8 SAT 0.1 s (8, -6, True, 2, True)
11 9 SAT 85.3 s (9, -4, True, 2, True)
11 10 UNSAT 2643.3 s 
RESULT n=11 options=['orientable'] max D found=9 (D=10 UNSAT)
12 9 SAT 0.7 s (9, 1, True, 1, True)
12 10 (orientable run stopped by hand at 20:05Z; chain formula gives >= 10)
