TPTP Problem Domain: TOP


TOP001-1.p TOP001-2.p TOP002-1.p TOP002-2.p TOP003-1.p TOP003-2.p TOP004-1.p
TOP004-2.p TOP005-1.p TOP005-2.p TOP006-1.p TOP007-1.p TOP008-1.p TOP009-1.p
TOP010-1.p TOP011-1.p TOP012-1.p TOP013-1.p TOP014-1.p TOP015-1.p TOP016-1.p
TOP017-1.p TOP018-1.p TOP019-1.p TOP020+1.p TOP021+1.p TOP022+1.p TOP023+1.p
TOP023+2.p TOP023+3.p TOP023+4.p TOP024+1.p TOP024+2.p TOP024+3.p TOP024+4.p
TOP025+1.p TOP025+2.p TOP025+3.p TOP025+4.p TOP026+1.p TOP026+2.p TOP026+3.p
TOP026+4.p TOP027+1.p TOP027+2.p TOP027+3.p TOP027+4.p TOP028+1.p TOP028+2.p
TOP028+3.p TOP028+4.p TOP029+1.p TOP029+2.p TOP029+3.p TOP029+4.p TOP030+1.p
TOP030+2.p TOP030+3.p TOP030+4.p TOP031+1.p TOP031+2.p TOP031+3.p TOP031+4.p
TOP032+1.p TOP032+2.p TOP032+3.p TOP032+4.p TOP033+1.p TOP033+2.p TOP033+3.p
TOP033+4.p TOP034+1.p TOP034+2.p TOP034+3.p TOP034+4.p TOP035+1.p TOP035+2.p
TOP035+3.p TOP035+4.p TOP036+1.p TOP036+2.p TOP036+3.p TOP036+4.p TOP037+1.p
TOP037+2.p TOP037+3.p TOP037+4.p TOP038+1.p TOP038+2.p TOP038+3.p TOP038+4.p
TOP039+1.p TOP039+2.p TOP039+3.p TOP039+4.p TOP040+1.p TOP040+2.p TOP040+3.p
TOP040+4.p TOP041+1.p TOP041+2.p TOP041+3.p TOP041+4.p TOP042+1.p TOP042+2.p
TOP042+3.p TOP042+4.p TOP043+1.p TOP043+2.p TOP043+3.p TOP043+4.p TOP044+1.p
TOP044+2.p TOP044+3.p TOP044+4.p TOP045+1.p TOP045+2.p TOP045+3.p TOP045+4.p
TOP046+1.p TOP046+2.p TOP046+3.p TOP046+4.p TOP047+1.p TOP047+2.p TOP047+3.p
TOP047+4.p TOP048+1.p TOP048+2.p TOP048+3.p TOP048+4.p TOP049-1.p TOP050-1.p
TOP051-1.p TOP052-1.p TOP053-1.p