-paramodulation/BOO075-1.ma
-TPTP/Veloci/BOO012-4.p.ma logic/equality.ma
-TPTP/Veloci/COL064-2.p.ma logic/equality.ma
-TPTP/Veloci/COL012-1.p.ma logic/equality.ma
-TPTP/Veloci/GRP570-1.p.ma logic/equality.ma
-TPTP/Veloci/GRP189-1.p.ma logic/equality.ma
-TPTP/Veloci/COL008-1.p.ma logic/equality.ma
-TPTP/Veloci/COL062-3.p.ma logic/equality.ma
-TPTP/Veloci/SYN083-1.p.ma logic/equality.ma
-TPTP/Veloci/LAT039-2.p.ma logic/equality.ma
-TPTP/Veloci/GRP173-1.p.ma logic/equality.ma
-TPTP/Veloci/COL015-1.p.ma logic/equality.ma
-TPTP/Veloci/RNG024-6.p.ma logic/equality.ma
-TPTP/Veloci/COL062-2.p.ma logic/equality.ma
-TPTP/Veloci/GRP576-1.p.ma logic/equality.ma
-TPTP/Veloci/GRP137-1.p.ma logic/equality.ma
-TPTP/Veloci/COL063-5.p.ma logic/equality.ma
-TPTP/Veloci/COL045-1.p.ma logic/equality.ma
-TPTP/Veloci/GRP011-4.p.ma logic/equality.ma
-TPTP/Veloci/GRP578-1.p.ma logic/equality.ma
-TPTP/Veloci/GRP168-1.p.ma logic/equality.ma
-TPTP/Veloci/GRP588-1.p.ma logic/equality.ma
-TPTP/Veloci/BOO005-2.p.ma logic/equality.ma
-TPTP/Veloci/GRP161-1.p.ma logic/equality.ma
-TPTP/Veloci/COL050-1.p.ma logic/equality.ma
-TPTP/Veloci/GRP552-1.p.ma logic/equality.ma
-TPTP/Veloci/GRP551-1.p.ma logic/equality.ma
-TPTP/Veloci/GRP182-4.p.ma logic/equality.ma
-TPTP/Veloci/GRP467-1.p.ma logic/equality.ma
-TPTP/Veloci/LCL155-1.p.ma logic/equality.ma
-TPTP/Veloci/COL086-1.p.ma logic/equality.ma
-TPTP/Veloci/GRP614-1.p.ma logic/equality.ma
-TPTP/Veloci/COL048-1.p.ma logic/equality.ma
-TPTP/Veloci/GRP517-1.p.ma logic/equality.ma
-TPTP/Veloci/GRP493-1.p.ma logic/equality.ma
-TPTP/Veloci/LCL113-2.p.ma logic/equality.ma
-TPTP/Veloci/BOO006-2.p.ma logic/equality.ma
-TPTP/Veloci/GRP612-1.p.ma logic/equality.ma
-TPTP/Veloci/GRP518-1.p.ma logic/equality.ma
-TPTP/Veloci/GRP158-1.p.ma logic/equality.ma
-TPTP/Veloci/BOO003-2.p.ma logic/equality.ma
-TPTP/Veloci/BOO005-4.p.ma logic/equality.ma
-TPTP/Veloci/GRP595-1.p.ma logic/equality.ma
-TPTP/Veloci/COL060-2.p.ma logic/equality.ma
-TPTP/Veloci/GRP494-1.p.ma logic/equality.ma
-TPTP/Veloci/GRP163-1.p.ma logic/equality.ma