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-1.p PUZ012_1.p PUZ013-1.p
PUZ014-1.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-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+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-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-1.p PUZ050-1.p
PUZ051-1.p PUZ052-1.p PUZ053-1.p PUZ054-1.p PUZ055-1.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 PUZ082^1.p PUZ083^1.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+1.p PUZ130_1.p PUZ131+1.p PUZ131_1.p
PUZ132+1.p PUZ133+1.p PUZ133+2.p PUZ133=2.p PUZ133+3.p PUZ134_1.p PUZ134_2.p
PUZ135_1.p PUZ135_2.p PUZ136^1.p PUZ137^1.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