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