PASS  2-variable UNSAT formula, proof "1 0" "0"                            expected VERIFIED     got s VERIFIED
PASS  2-variable UNSAT formula, proof "0" only (empty clause not RUP)      expected NOT VERIFIED got s NOT VERIFIED: lemma 1 is not RUP
PASS  2-variable UNSAT formula, empty proof                                expected NOT VERIFIED got s NOT VERIFIED: no contradiction derived
PASS  satisfiable formula with the same proof                              expected NOT VERIFIED got s NOT VERIFIED: lemma 2 is not RUP
PASS  satisfiable formula, proof deriving the wrong unit                   expected NOT VERIFIED got s NOT VERIFIED: lemma 1 is not RUP
PASS  UNSAT formula, proof with a deletion line (ignored)                  expected VERIFIED     got s VERIFIED
PASS  formula refuted by unit propagation, empty proof                     expected VERIFIED     got s VERIFIED (formula refuted by top-level unit propagation)
PASS  n7_D6 as stored                                                      expected VERIFIED     got s VERIFIED
PASS  n7_D6 proof without its last 5% of lemmas                            expected NOT VERIFIED got s NOT VERIFIED: no contradiction derived
PASS  n7_D6 proof truncated to its first half                              expected NOT VERIFIED got s NOT VERIFIED: no contradiction derived
PASS  n7_D6 proof with a bogus unit lemma "35 0" in front                  expected NOT VERIFIED got s NOT VERIFIED: lemma 1 is not RUP
      (minisat22 on E(7,6) without link cuts: SAT)
PASS  n7_D6 proof against the satisfiable formula E(7,6) without cuts      expected NOT VERIFIED got s NOT VERIFIED: lemma 18 is not RUP
      (dropping one original clause, 26 samples: proof rejected in 4 cases; a sound checker may accept when the dropped clause is not needed)
PASS  n9_D8 proof without its last 5% of lemmas                            expected NOT VERIFIED got s NOT VERIFIED: no contradiction derived
      (minisat22 on E(9,8) without link cuts: SAT)
PASS  n9_D8 proof against the satisfiable formula E(9,8) without cuts      expected NOT VERIFIED got s NOT VERIFIED: lemma 125 is not RUP
SELFTEST PASS (14/14)
