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