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-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-1.p PLA014-2.p PLA015-1.p
PLA016-1.p PLA017-1.p PLA018-1.p PLA019-1.p PLA020-1.p PLA021-1.p PLA022-1.p
PLA022-2.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-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