TPTP Problem Domain: PUZ

`PUZ001+1.p`	`PUZ001-1.p`	`PUZ001+2.p`	`PUZ001-2.p`	`PUZ001-3.p`	`PUZ002-1.p`	`PUZ003-1.p`
`PUZ004-1.p`	`PUZ005+1.p`	`PUZ005-1.p`	`PUZ006-1.p`	`PUZ007-1.p`	`PUZ008-1.p`	`PUZ008-2.p`
`PUZ008-3.p`	`PUZ009-1.p`	`PUZ010-1.p`	`PUZ011-1.p`	`PUZ012_10.p`	`PUZ012-1.p`	`PUZ012_1.p`
`PUZ013-1.p`	`PUZ014-1.p`	`PUZ015-10.p`	`PUZ015-1.p`	`PUZ015-2.003.rm`	`PUZ015-2.006.p`	`PUZ015-3.p`
`PUZ016-1.p`	`PUZ016-2.003.rm`	`PUZ016-2.004.p`	`PUZ016-2.005.p`	`PUZ017-1.p`	`PUZ018_10.p`	`PUZ018-1.p`
`PUZ018_1.p`	`PUZ018-2.p`	`PUZ019-1.p`	`PUZ020-1.p`	`PUZ021-1.p`	`PUZ022-1.p`	`PUZ023-1.p`
`PUZ024-1.p`	`PUZ025-1.p`	`PUZ026-1.p`	`PUZ027-1.p`	`PUZ028-1.p`	`PUZ028-2.p`	`PUZ028-3.p`
`PUZ028-4.p`	`PUZ028-5.p`	`PUZ028-6.p`	`PUZ029-1.p`	`PUZ030-0.rm`	`PUZ030-1.p`	`PUZ030-2.p`
`PUZ031_10.p`	`PUZ031+1.p`	`PUZ031-1.p`	`PUZ031_1.p`	`PUZ031+2.p`	`PUZ031+3.p`	`PUZ031^5.p`
`PUZ032-1.p`	`PUZ033-1.p`	`PUZ034-1.003.p`	`PUZ034-1.004.p`	`PUZ034+2.rm`	`PUZ034+3.rm`	`PUZ035-1.p`
`PUZ035-2.p`	`PUZ035-3.p`	`PUZ035-4.p`	`PUZ035-5.p`	`PUZ035-6.p`	`PUZ035-7.p`	`PUZ036-1.005.p`
`PUZ037-1.p`	`PUZ037-2.p`	`PUZ037-3.p`	`PUZ038-1.p`	`PUZ039-10.p`	`PUZ039-1.p`	`PUZ040-1.p`
`PUZ041-1.p`	`PUZ042-1.p`	`PUZ043-1.p`	`PUZ044-1.p`	`PUZ045-1.p`	`PUZ046-1.p`	`PUZ047+1.p`
`PUZ047-1.p`	`PUZ047^5.p`	`PUZ048-1.p`	`PUZ049-10.p`	`PUZ049-1.p`	`PUZ050-1.p`	`PUZ051-10.p`
`PUZ051-1.p`	`PUZ052-1.p`	`PUZ053-1.p`	`PUZ054-10.p`	`PUZ054-1.p`	`PUZ055-1.p`	`PUZ056-10.020.p`
`PUZ056-10.030.p`	`PUZ056-1.p`	`PUZ056-2.005.p`	`PUZ056-2.010.p`	`PUZ056-2.015.p`	`PUZ056-2.020.p`	`PUZ056-2.022.p`
`PUZ056-2.025.p`	`PUZ056-2.027.p`	`PUZ056-2.030.p`	`PUZ057-1.p`	`PUZ058-1.p`	`PUZ059-1.p`	`PUZ060+1.p`
`PUZ061+1.p`	`PUZ062-1.p`	`PUZ062-2.p`	`PUZ063-1.p`	`PUZ063-2.p`	`PUZ064-1.p`	`PUZ064-2.p`
`PUZ065+1.p`	`PUZ066+1.p`	`PUZ067+1.p`	`PUZ068+1.p`	`PUZ068-1.p`	`PUZ068+2.p`	`PUZ069+1.p`
`PUZ069-1.p`	`PUZ069+2.p`	`PUZ070+1.p`	`PUZ070-1.p`	`PUZ071+1.p`	`PUZ071-1.p`	`PUZ072+1.p`
`PUZ072-1.p`	`PUZ073+1.p`	`PUZ074+1.p`	`PUZ075+1.p`	`PUZ076+1.p`	`PUZ077+1.p`	`PUZ078+1.p`
`PUZ079+2.p`	`PUZ080+2.p`	`PUZ081^1.p`	`PUZ081^2.p`	`PUZ081^3.p`	`PUZ081_8.p`	`PUZ082^1.p`
`PUZ082_8.p`	`PUZ083^1.p`	`PUZ083_8.p`	`PUZ084^1.p`	`PUZ085^1.p`	`PUZ086^1.p`	`PUZ087^1.p`
`PUZ087^2.p`	`PUZ088^5.p`	`PUZ089^5.rm`	`PUZ090^5.p`	`PUZ091^5.p`	`PUZ092^5.p`	`PUZ093^5.p`
`PUZ094^5.p`	`PUZ095^5.p`	`PUZ096^5.p`	`PUZ097^5.p`	`PUZ098^5.p`	`PUZ099^5.p`	`PUZ100^5.p`
`PUZ101^5.p`	`PUZ102^5.p`	`PUZ103^5.p`	`PUZ104^5.p`	`PUZ105^5.p`	`PUZ106^5.p`	`PUZ107^5.p`
`PUZ108^5.p`	`PUZ109^5.p`	`PUZ110^5.p`	`PUZ111^5.p`	`PUZ112^5.p`	`PUZ113^5.p`	`PUZ114^5.p`
`PUZ115^5.p`	`PUZ116^5.p`	`PUZ117^5.p`	`PUZ118^5.p`	`PUZ119^5.p`	`PUZ120^5.p`	`PUZ121^5.p`
`PUZ122^5.p`	`PUZ123^5.p`	`PUZ124^5.p`	`PUZ125^5.p`	`PUZ126^5.p`	`PUZ127^5.p`	`PUZ128+1.p`
`PUZ128+2.p`	`PUZ129+2.p`	`PUZ130_10.p`	`PUZ130+1.p`	`PUZ130_1.p`	`PUZ131-10.p`	`PUZ131_10.p`
`PUZ131+1.p`	`PUZ131_1.p`	`PUZ132+1.p`	`PUZ133+1.p`	`PUZ133+2.p`	`PUZ133_2.p`	`PUZ133+3.p`
`PUZ134_10.p`	`PUZ134_1.p`	`PUZ134_20.p`	`PUZ134_2.p`	`PUZ135_10.p`	`PUZ135_1.p`	`PUZ135_20.p`
`PUZ135_2.p`	`PUZ136^1.p`	`PUZ137^1.p`	`PUZ137_8.p`	`PUZ138+2.p`	`PUZ139_1.p`	`PUZ140^1.p`
`PUZ140^2.p`	`PUZ141^1.p`	`PUZ142^1.p`	`PUZ143^1.p`	`PUZ144^1.p`	`PUZ145^1.p`	`PUZ146^1.p`
`PUZ147^1.p`	`PUZ148^1.p`	`PUZ149^13.p`	`PUZ149_13.p`	`PUZ150^18.p`