tptp_compliance verify --equivalence external --no-proof-search --save-problems $OUT primes.1.lp primes.2.lp primes.ug primes.po
