n4_D2.cnf: n=4 D=2 orientable=False | header (42, 135) (expected vars 42) | clauses 135 = base 135 (identical: True) + link cuts 0 + blocking 0 + invalid 0 | AUDIT PASS
n5_D3.cnf: n=5 D=3 orientable=False | header (110, 588) (expected vars 110) | clauses 588 = base 586 (identical: True) + link cuts 2 + blocking 0 + invalid 0 | AUDIT PASS
n5_D3_orientable.cnf: n=5 D=3 orientable=True | header (120, 648) (expected vars 120) | clauses 648 = base 646 (identical: True) + link cuts 2 + blocking 0 + invalid 0 | AUDIT PASS
n6_D4.cnf: n=6 D=4 orientable=False | header (245, 2128) (expected vars 245) | clauses 2128 = base 2114 (identical: True) + link cuts 14 + blocking 0 + invalid 0 | AUDIT PASS
n6_D4_orientable.cnf: n=6 D=4 orientable=True | header (265, 2306) (expected vars 265) | clauses 2306 = base 2294 (identical: True) + link cuts 12 + blocking 0 + invalid 0 | AUDIT PASS
n7_D5_orientable.cnf: n=7 D=5 orientable=True | header (518, 6883) (expected vars 518) | clauses 6883 = base 6819 (identical: True) + link cuts 64 + blocking 0 + invalid 0 | AUDIT PASS
n7_D6.cnf: n=7 D=6 orientable=False | header (560, 7722) (expected vars 560) | clauses 7722 = base 7680 (identical: True) + link cuts 42 + blocking 0 + invalid 0 | AUDIT PASS
n8_D6_orientable.cnf: n=8 D=6 orientable=True | header (924, 17907) (expected vars 924) | clauses 17907 = base 17653 (identical: True) + link cuts 254 + blocking 0 + invalid 0 | AUDIT PASS
n8_D7.cnf: n=8 D=7 orientable=False | header (988, 19811) (expected vars 988) | clauses 19811 = base 19609 (identical: True) + link cuts 202 + blocking 0 + invalid 0 | AUDIT PASS
n9_D7_orientable.cnf: n=9 D=7 orientable=True | header (1536, 41803) (expected vars 1536) | clauses 41803 = base 41017 (identical: True) + link cuts 786 + blocking 0 + invalid 0 | AUDIT PASS
n9_D8.cnf: n=9 D=8 orientable=False | header (1629, 45838) (expected vars 1629) | clauses 45838 = base 45118 (identical: True) + link cuts 720 + blocking 0 + invalid 0 | AUDIT PASS
n10_D9: not present in WORK/certs_plain (skipped)
n10_D9_orientable: not present in WORK/certs_plain (skipped)
unique_n7_D5.cnf: n=7 D=5 orientable=False | header (483, 6461) (expected vars 483) | clauses 6461 = base 6399 (identical: True) + link cuts 58 + blocking 4 + invalid 0 | AUDIT PASS
   blocked complexes: 4; by class: {'M7': 4}; not in the listed classes: 0 -> OK
enum_n8_D6.cnf: n=8 D=6 orientable=False | header (868, 17101) (expected vars 868) | clauses 17101 = base 16813 (identical: True) + link cuts 272 + blocking 16 + invalid 0 | AUDIT PASS
   blocked complexes: 16; by class: {'M7 + pendant triangle': 8, 'second class': 8}; not in the listed classes: 0 -> OK
CNF AUDIT ALL PASS
