-TPTP/Veloci/GRP455-1.p.ma logic/equality.ma
-TPTP/Veloci/GRP546-1.p.ma logic/equality.ma
-TPTP/Veloci/GRP556-1.p.ma logic/equality.ma
-TPTP/Veloci/GRP485-1.p.ma logic/equality.ma
-TPTP/Veloci/GRP566-1.p.ma logic/equality.ma
-TPTP/Veloci/GRP495-1.p.ma logic/equality.ma
-TPTP/Veloci/GRP576-1.p.ma logic/equality.ma
-TPTP/Veloci/GRP586-1.p.ma logic/equality.ma
-TPTP/Veloci/GRP596-1.p.ma logic/equality.ma
-TPTP/Veloci/LCL140-1.p.ma logic/equality.ma
-TPTP/Veloci/BOO001-1.p.ma logic/equality.ma
-TPTP/Veloci/LCL115-2.p.ma logic/equality.ma
-TPTP/Veloci/BOO010-4.p.ma logic/equality.ma
-TPTP/Veloci/COL007-1.p.ma logic/equality.ma
-TPTP/Veloci/COL017-1.p.ma logic/equality.ma
-TPTP/Veloci/BOO006-2.p.ma logic/equality.ma
-TPTP/Veloci/COL061-3.p.ma logic/equality.ma
-TPTP/Veloci/BOO071-1.p.ma logic/equality.ma
-TPTP/Veloci/BOO016-2.p.ma logic/equality.ma
-TPTP/Veloci/COL064-2.p.ma logic/equality.ma
-TPTP/Veloci/LCL158-1.p.ma logic/equality.ma
-TPTP/Veloci/COL063-5.p.ma logic/equality.ma
-TPTP/Veloci/BOO018-4.p.ma logic/equality.ma
-TPTP/Veloci/LAT039-1.p.ma logic/equality.ma
-TPTP/Veloci/GRP141-1.p.ma logic/equality.ma
-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