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