TPTP Problem Domain: LDA

`LDA001-1.p`	`LDA002-1.p`	`LDA003-1.p`	`LDA004-1.p`	`LDA005-1.p`	`LDA005-2.p`	`LDA006-1.p`
`LDA006-2.p`	`LDA007-1.p`	`LDA007-2.p`	`LDA007-3.p`	`LDA008-1.p`	`LDA008-2.p`	`LDA009-1.p`
`LDA009-2.p`	`LDA010-1.p`	`LDA010-2.p`	`LDA011-1.p`	`LDA011-2.p`	`LDA012-1.p`	`LDA012-2.p`
`LDA013-1.p`	`LDA014-1.p`	`LDA015-1.p`	`LDA016-1.p`	`LDA017-1.p`	`LDA018-1.p`	`LDA019-1.p`
`LDA020-1.p`	`LDA021-1.p`	`LDA022-1.p`	`LDA023-1.p`	`LDA024-1.p`	`LDA025-1.p`	`LDA026-1.p`
`LDA027-1.p`	`LDA028-1.p`	`LDA029-1.p`	`LDA030-1.p`	`LDA031-1.p`	`LDA032-1.p`	`LDA033-1.p`
`LDA034-1.p`	`LDA035-1.p`	`LDA036-1.p`	`LDA037-1.p`	`LDA038-1.p`	`LDA039-1.p`	`LDA040-1.p`
`LDA041-1.p`