n10_D9.cnf: n=10 D=9 orientable=False | header (2545, 97524) (expected vars 2545) | clauses 97524 = base 95426 (identical: True) + link cuts 2098 + blocking 0 + invalid 0 | AUDIT PASS
n10_D9_orientable.cnf: n=10 D=9 orientable=True | header (2665, 99960) (expected vars 2665) | clauses 99960 = base 97946 (identical: True) + link cuts 2014 + blocking 0 + invalid 0 | AUDIT PASS
CNF AUDIT ALL PASS
