TPTP Problem Domain: ROB

`ROB001-1.p`	`ROB002-1.p`	`ROB003-1.p`	`ROB004-1.p`	`ROB005-1.p`	`ROB006-1.p`	`ROB006-2.p`
`ROB006-3.p`	`ROB007-1.p`	`ROB007-2.p`	`ROB007-3.p`	`ROB007-4.p`	`ROB008-1.p`	`ROB009-1.p`
`ROB010-1.p`	`ROB011-1.p`	`ROB012-1.p`	`ROB012-2.p`	`ROB013-1.p`	`ROB014-1.p`	`ROB014-2.p`
`ROB015-10.p`	`ROB015-1.p`	`ROB015-2.p`	`ROB016-1.p`	`ROB017-1.p`	`ROB018-10.p`	`ROB018-1.p`
`ROB019-1.rm`	`ROB020-1.p`	`ROB020-2.p`	`ROB021-1.p`	`ROB022-1.p`	`ROB023-1.p`	`ROB024-1.p`
`ROB025-10.p`	`ROB025-1.p`	`ROB026-1.p`	`ROB027-1.p`	`ROB028-1.p`	`ROB029-1.p`	`ROB030-1.p`
`ROB031-1.p`	`ROB031-2.p`	`ROB032-1.p`	`ROB032-2.p`	`ROB033-1.p`	`ROB034-1.p`	`ROB035-1.p`