-TPTP/Veloci/GRP159-1.p.ma logic/equality.ma
-TPTP/Veloci/LCL135-1.p.ma logic/equality.ma
-TPTP/Veloci/GRP176-2.p.ma logic/equality.ma
-TPTP/Veloci/GRP157-1.p.ma logic/equality.ma
-TPTP/Veloci/GRP600-1.p.ma logic/equality.ma
-TPTP/Veloci/COL064-7.p.ma logic/equality.ma
-TPTP/Veloci/COL064-8.p.ma logic/equality.ma
-TPTP/Veloci/GRP577-1.p.ma logic/equality.ma
-TPTP/Veloci/GRP136-1.p.ma logic/equality.ma
-TPTP/Veloci/BOO006-4.p.ma logic/equality.ma
-TPTP/Veloci/GRP592-1.p.ma logic/equality.ma
-TPTP/Veloci/GRP156-1.p.ma logic/equality.ma
-TPTP/Veloci/GRP176-1.p.ma logic/equality.ma
-TPTP/Veloci/RNG011-5.p.ma logic/equality.ma
-TPTP/Veloci/GRP186-3.p.ma logic/equality.ma
-TPTP/Veloci/GRP186-4.p.ma logic/equality.ma
-TPTP/Veloci/GRP520-1.p.ma logic/equality.ma
-TPTP/Veloci/COL058-3.p.ma logic/equality.ma
-TPTP/Veloci/BOO069-1.p.ma logic/equality.ma
-TPTP/Veloci/GRP022-2.p.ma logic/equality.ma
-TPTP/Veloci/GRP155-1.p.ma logic/equality.ma
-TPTP/Veloci/GRP188-1.p.ma logic/equality.ma
-TPTP/Veloci/BOO016-2.p.ma logic/equality.ma
-TPTP/Veloci/GRP498-1.p.ma logic/equality.ma
-TPTP/Veloci/GRP590-1.p.ma logic/equality.ma
-TPTP/Veloci/ROB002-1.p.ma logic/equality.ma
-TPTP/Veloci/GRP152-1.p.ma logic/equality.ma
-TPTP/Veloci/LCL110-2.p.ma logic/equality.ma
-TPTP/Veloci/BOO017-2.p.ma logic/equality.ma
-TPTP/Veloci/COL064-4.p.ma logic/equality.ma
-TPTP/Veloci/LCL139-1.p.ma logic/equality.ma
-TPTP/Veloci/COL063-2.p.ma logic/equality.ma
-TPTP/Veloci/GRP182-2.p.ma logic/equality.ma
-TPTP/Veloci/GRP490-1.p.ma logic/equality.ma