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