tptp_compliance verify --equivalence=strong --no-proof-search --save-problems $OUT trivial.1.lp trivial.2.lp
