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