PASS  unchanged n7_D6                                                audit PASS (expected PASS)
PASS  base clause 1100 with one literal negated                      audit FAIL (expected FAIL)
PASS  base clause 2089 with one literal negated                      audit FAIL (expected FAIL)
PASS  base clause 4058 with one literal negated                      audit FAIL (expected FAIL)
PASS  link cut with one crossing triangle removed                    audit FAIL (expected FAIL)
PASS  extra unit clause "-35"                                        audit FAIL (expected FAIL)
PASS  extra clause of all x literals (blocking) without enum mode    audit FAIL (expected FAIL)
PASS  audit of n7_D6 as if D = 5                                     audit FAIL (expected FAIL)
CNF AUDIT SELFTEST PASS (8/8)
