TPTP/Veloci/GRP515-1.p.ma logic/equality.ma
TPTP/Veloci/COL015-1.p.ma logic/equality.ma
TPTP/Veloci/RNG007-4.p.ma logic/equality.ma
TPTP/Veloci/GRP548-1.p.ma logic/equality.ma
TPTP/Veloci/GRP182-3.p.ma logic/equality.ma
TPTP/Veloci/COL048-1.p.ma logic/equality.ma
TPTP/Veloci/GRP515-1.p.ma logic/equality.ma
TPTP/Veloci/COL015-1.p.ma logic/equality.ma
TPTP/Veloci/RNG007-4.p.ma logic/equality.ma
TPTP/Veloci/GRP548-1.p.ma logic/equality.ma
TPTP/Veloci/GRP182-3.p.ma logic/equality.ma
TPTP/Veloci/COL048-1.p.ma logic/equality.ma