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