Glucose4 () valid proof: s VERIFIED
Glucose4 () formula minus clause 0: s NOT VERIFIED: lemma 1 is neither RUP nor RAT
Glucose4 () formula minus clause 50: s NOT VERIFIED: lemma 208 is neither RUP nor RAT
Glucose4 () formula minus clause 150: s NOT VERIFIED: lemma 3 is neither RUP nor RAT
Glucose4 () formula minus clause 203: s NOT VERIFIED: lemma 471 is neither RUP nor RAT
Glucose4 truncated proof: s NOT VERIFIED: proof ended without deriving the empty clause
Lingeling () valid proof: s VERIFIED
Lingeling () formula minus clause 0: s NOT VERIFIED: lemma 1 is neither RUP nor RAT
Lingeling () formula minus clause 50: s NOT VERIFIED: lemma 217 is neither RUP nor RAT
Lingeling () formula minus clause 150: s NOT VERIFIED: lemma 7 is neither RUP nor RAT
Lingeling () formula minus clause 203: s NOT VERIFIED: lemma 166 is neither RUP nor RAT
Lingeling truncated proof: s NOT VERIFIED: proof ended without deriving the empty clause
n7_D6 valid: s VERIFIED
n7_D6 with one formula clause removed (every 97th of 7722): rejected 8, still verified 72
n7_D6 proof with a random unit lemma inserted near the start: rejected 16 of 20
satisfiable formula, proof "0": s NOT VERIFIED: lemma 1 is neither RUP nor RAT
SELFTEST PASS
