GDV Pass

• 252 TPTP derivations for the challenge problems, generated from the Mizar proofs
• E 0.99 for proofs, Paradox 2.0b for disproofs, 10s time limit

• All structural checks OK
• All 1303 semantic checks for assumption discharging OK
• 6705 of 6765 proof checks for Mizar Simple Justifications
• 60 neither proved nor disproved, from 27 Challenge problems