-TPTP/Veloci/GRP509-1.p.ma logic/equality.ma
-TPTP/Veloci/LCL161-1.p.ma logic/equality.ma
-TPTP/Veloci/BOO010-2.p.ma logic/equality.ma
-TPTP/Veloci/RNG023-7.p.ma logic/equality.ma
-TPTP/Veloci/GRP491-1.p.ma logic/equality.ma
-TPTP/Veloci/GRP615-1.p.ma logic/equality.ma
-TPTP/Veloci/GRP142-1.p.ma logic/equality.ma
-TPTP/Veloci/GRP485-1.p.ma logic/equality.ma
-TPTP/Veloci/GRP141-1.p.ma logic/equality.ma
-TPTP/Veloci/GRP569-1.p.ma logic/equality.ma
-TPTP/Veloci/LCL153-1.p.ma logic/equality.ma
-TPTP/Veloci/GRP192-1.p.ma logic/equality.ma
-TPTP/Veloci/BOO013-4.p.ma logic/equality.ma
-TPTP/Veloci/BOO034-1.p.ma logic/equality.ma
-TPTP/Veloci/BOO012-2.p.ma logic/equality.ma
-TPTP/Veloci/COL007-1.p.ma logic/equality.ma
-TPTP/Veloci/GRP547-1.p.ma logic/equality.ma
-TPTP/Veloci/GRP510-1.p.ma logic/equality.ma
-TPTP/Veloci/COL024-1.p.ma logic/equality.ma
-TPTP/Veloci/LDA001-1.p.ma logic/equality.ma
-TPTP/Veloci/GRP513-1.p.ma logic/equality.ma
-TPTP/Veloci/LAT008-1.p.ma logic/equality.ma
-TPTP/Veloci/GRP206-1.p.ma logic/equality.ma
-TPTP/Veloci/GRP580-1.p.ma logic/equality.ma
-TPTP/Veloci/GRP598-1.p.ma logic/equality.ma
-TPTP/Veloci/COL063-6.p.ma logic/equality.ma
-TPTP/Veloci/GRP153-1.p.ma logic/equality.ma
-TPTP/Veloci/GRP151-1.p.ma logic/equality.ma
-TPTP/Veloci/ROB010-1.p.ma logic/equality.ma
-TPTP/Veloci/COL004-3.p.ma logic/equality.ma
-TPTP/Veloci/GRP567-1.p.ma logic/equality.ma
-TPTP/Veloci/LAT045-1.p.ma logic/equality.ma
-TPTP/Veloci/GRP492-1.p.ma logic/equality.ma
-TPTP/Veloci/LCL133-1.p.ma logic/equality.ma
-TPTP/Veloci/COL063-4.p.ma logic/equality.ma
-TPTP/Veloci/GRP463-1.p.ma logic/equality.ma
-TPTP/Veloci/BOO004-2.p.ma logic/equality.ma
-TPTP/Veloci/LCL134-1.p.ma logic/equality.ma
-TPTP/Veloci/RNG023-6.p.ma logic/equality.ma
-TPTP/Veloci/GRP487-1.p.ma logic/equality.ma
-TPTP/Veloci/COL016-1.p.ma logic/equality.ma
-TPTP/Veloci/GRP586-1.p.ma logic/equality.ma
-TPTP/Veloci/ROB013-1.p.ma logic/equality.ma
-TPTP/Veloci/LCL140-1.p.ma logic/equality.ma
-TPTP/Veloci/LCL132-1.p.ma logic/equality.ma
-TPTP/Veloci/BOO010-4.p.ma logic/equality.ma
-TPTP/Veloci/COL014-1.p.ma logic/equality.ma
-TPTP/Veloci/COL064-6.p.ma logic/equality.ma