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-10.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-10.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`
`PLA053^15.p`	`PLA053_15.p`	`PLA053^18.p`	`PLA053^2.p`	`PLA053_2.p`	`PLA053^4.p`	`PLA053_4.p`
`PLA053^5.p`	`PLA053_5.p`	`PLA054^4.p`	`PLA054_4.p`