-TPTP/Veloci/BOO069-1.p.ma logic/equality.ma
-TPTP/Veloci/GRP151-1.p.ma logic/equality.ma
-TPTP/Veloci/GRP161-1.p.ma logic/equality.ma
-TPTP/Veloci/RNG024-7.p.ma logic/equality.ma
-TPTP/Veloci/GRP515-1.p.ma logic/equality.ma
-TPTP/Veloci/GRP606-1.p.ma logic/equality.ma
-TPTP/Veloci/GRP454-1.p.ma logic/equality.ma
-TPTP/Veloci/GRP139-1.p.ma logic/equality.ma
-TPTP/Veloci/GRP616-1.p.ma logic/equality.ma
-TPTP/Veloci/GRP149-1.p.ma logic/equality.ma
-TPTP/Veloci/GRP545-1.p.ma logic/equality.ma
-TPTP/Veloci/GRP176-2.p.ma logic/equality.ma
-TPTP/Veloci/GRP159-1.p.ma logic/equality.ma
-TPTP/Veloci/GRP484-1.p.ma logic/equality.ma
-TPTP/Veloci/GRP565-1.p.ma logic/equality.ma
-TPTP/Veloci/GRP494-1.p.ma logic/equality.ma
-TPTP/Veloci/GRP189-1.p.ma logic/equality.ma
-TPTP/Veloci/GRP595-1.p.ma logic/equality.ma
-TPTP/Veloci/LCL114-2.p.ma logic/equality.ma
-TPTP/Veloci/COL016-1.p.ma logic/equality.ma
-TPTP/Veloci/LAT040-1.p.ma logic/equality.ma
-TPTP/Veloci/BOO005-2.p.ma logic/equality.ma
-TPTP/Veloci/COL060-3.p.ma logic/equality.ma
-TPTP/Veloci/COL063-2.p.ma logic/equality.ma
-TPTP/Veloci/LCL157-1.p.ma logic/equality.ma
-TPTP/Veloci/LAT008-1.p.ma logic/equality.ma
-TPTP/Veloci/COL086-1.p.ma logic/equality.ma
-TPTP/Veloci/COL058-3.p.ma logic/equality.ma
-TPTP/Veloci/RNG011-5.p.ma logic/equality.ma
-TPTP/Veloci/COL064-7.p.ma logic/equality.ma
-TPTP/Veloci/GRP150-1.p.ma logic/equality.ma
-TPTP/Veloci/GRP160-1.p.ma logic/equality.ma
-TPTP/Veloci/RNG023-7.p.ma logic/equality.ma
-TPTP/Veloci/GRP118-1.p.ma logic/equality.ma
-TPTP/Veloci/GRP514-1.p.ma logic/equality.ma
-TPTP/Veloci/GRP605-1.p.ma logic/equality.ma
-TPTP/Veloci/GRP615-1.p.ma logic/equality.ma
-TPTP/Veloci/GRP182-3.p.ma logic/equality.ma