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