+TPTP/Veloci/GRP495-1.p.ma logic/equality.ma
+TPTP/Veloci/COL083-1.p.ma logic/equality.ma
+TPTP/Unsatisfiable/SYN711-1.ma logic/equality.ma
+TPTP/Unsatisfiable/LCL005-1.ma logic/equality.ma
+TPTP/Unsatisfiable/SYN708-1.ma logic/equality.ma
+TPTP/Unsatisfiable/PLA023-1.ma logic/equality.ma