TPTP Problem Domain: PLA


PLA001-1.p PLA002-1.p PLA002-2.p PLA003-1.p PLA004-1.p PLA004-2.p PLA005-1.p
PLA005-2.p PLA006-1.p PLA007-10.p PLA007-1.p PLA008-1.p PLA009-1.p PLA009-2.p
PLA010-1.p PLA011-1.p PLA011-2.p PLA012-1.p PLA013-1.p PLA014-10.p PLA014-1.p
PLA014-2.p PLA015-1.p PLA016-1.p PLA017-10.p PLA017-1.p PLA018-1.p PLA019-1.p
PLA020-1.p PLA021-1.p PLA022-1.p PLA022-2.p PLA023-10.p PLA023-1.p PLA024+1.p
PLA025+1.p PLA026+1.p PLA027+1.p PLA028+1.p PLA029-1.p PLA029+2.p PLA030-1.p
PLA031-10.006.p PLA031-10.019.p PLA031-1.001.p PLA031-1.002.p PLA031-1.003.p PLA031-1.004.p PLA031-1.005.p
PLA031-1.006.p PLA031-1.007.p PLA031-1.008.p PLA031-1.016.p PLA031-1.017.p PLA031-1.018.p PLA031-1.019.p
PLA031-1.020.p PLA032^7.p PLA033^7.p PLA034+1.p PLA034-1.p PLA035+1.p PLA035-1.p
PLA036-1.p PLA037+1.p PLA037-1.p PLA038+1.p PLA038-1.p PLA039+1.p PLA039-1.p
PLA040+1.p PLA040-1.p PLA041+1.p PLA041-1.p PLA042+1.p PLA042-1.p PLA043+1.p
PLA043-1.p PLA044+1.p PLA044-1.p PLA045+1.p PLA045-1.p PLA046=1.p PLA047=1.p
PLA048=1.p PLA049=1.p PLA050=1.p PLA051=1.p PLA052=1.p