TSTP Solution Domain: CAT

NumberOfSystems-NumberAttempted-NumberSuccessful-NumberOutputSolutions
CAT001-1
97-57-33-25		 CAT001-10
82-55-16-13		 CAT001-2
97-58-18-16		 CAT001-3
97-56-37-29		 CAT001-4
97-57-40-31		 CAT002-1
97-57-33-25		 CAT002-10
85-57-15-12
CAT002-2
97-58-18-17		 CAT002-3
97-56-40-31		 CAT002-4
97-57-40-30		 CAT003-1
97-57-33-25		 CAT003-2
97-56-36-28		 CAT003-3
97-56-39-29		 CAT003-4
97-57-37-27
CAT004-1
97-57-33-25		 CAT004-2
97-56-34-27		 CAT004-3
97-56-34-25		 CAT004-4
97-57-36-26		 CAT005-1
97-57-41-32		 CAT005-3
97-56-39-30		 CAT005-4
97-57-41-32
CAT006-1
97-57-43-33		 CAT006-3
97-56-39-29		 CAT006-4
97-57-42-31		 CAT007-1
97-57-43-32		 CAT007-3
97-56-49-34		 CAT008-1
97-57-37-28		 CAT009-1
97-57-36-28
CAT009-3
97-56-32-26		 CAT009-4
97-57-38-29		 CAT010-1
97-57-35-27		 CAT010-10
85-56-35-32		 CAT010-4
97-57-39-29		 CAT011-1
97-57-45-34		 CAT011-2
97-56-43-32
CAT011-3
97-56-35-27		 CAT011-4
97-57-41-31		 CAT012-1
97-57-44-33		 CAT012-3
97-56-43-32		 CAT012-4
97-57-45-34		 CAT013-1
97-57-45-34		 CAT013-3
97-56-42-31
CAT013-4
97-57-44-33		 CAT014-1
97-57-43-32		 CAT014-2
97-56-43-32		 CAT014-3
97-56-33-26		 CAT014-4
97-57-39-30		 CAT015-3
97-58-29-22		 CAT015-4
97-58-29-22
CAT016-3
97-56-43-32		 CAT016-4
97-57-46-34		 CAT017-3
97-56-44-33		 CAT017-4
97-57-46-34		 CAT018-1
97-57-44-33		 CAT018-3
97-56-29-25		 CAT018-4
97-57-32-24
CAT019-1
97-57-49-35		 CAT019-10
85-57-8-8		 CAT019-2
97-56-48-34		 CAT019-3
97-56-40-30		 CAT019-4
97-58-12-12		 CAT019-5
97-58-11-11		 CAT020-1
97-58-22-18
CAT020-2
97-58-23-19		 CAT020-3
97-58-20-15		 CAT020-4
97-58-16-13		 CAT021+1
97-64-0-0		 CAT021+2
97-64-0-0		 CAT021+3
97-64-0-0		 CAT021+4
97-64-0-0
CAT022+1
97-64-0-0		 CAT022+2
97-64-0-0		 CAT022+3
97-64-0-0		 CAT022+4
97-64-0-0		 CAT023+1
97-66-0-0		 CAT023+2
97-66-0-0		 CAT023+3
97-66-0-0
CAT023+4
97-65-0-0		 CAT024+1
97-66-0-0		 CAT024+2
97-67-0-0		 CAT024+3
97-66-0-0		 CAT024+4
97-66-0-0		 CAT025+1
97-64-37-30		 CAT025+2
97-64-7-7
CAT025+3
97-64-6-6		 CAT025+4
97-64-5-5		 CAT026+1
97-64-26-22		 CAT026+2
97-64-3-3		 CAT026+3
97-64-2-2		 CAT026+4
97-64-2-2		 CAT027+1
97-64-19-16
CAT027+2
97-66-1-1		 CAT027+3
97-66-1-1		 CAT027+4
97-64-1-1		 CAT028+1
97-64-14-10		 CAT028+2
97-64-3-3		 CAT028+3
97-64-2-2		 CAT028+4
97-64-2-2
CAT029+1
97-64-10-8		 CAT029+2
97-64-1-1		 CAT029+3
97-64-1-1		 CAT029+4
97-64-1-1		 CAT030+1
97-64-4-2		 CAT030+2
97-66-1-1		 CAT030+3
97-66-1-1
CAT030+4
97-66-1-1		 CAT031+1
97-64-14-11		 CAT031+2
97-64-2-2		 CAT031+3
97-64-2-2		 CAT031+4
97-64-2-2		 CAT032+1
97-64-38-31		 CAT032+2
97-64-7-7
CAT032+3
97-64-6-6		 CAT032+4
97-64-5-5		 CAT033+1
97-64-41-32		 CAT033+2
97-64-12-12		 CAT033+3
97-64-13-13		 CAT033+4
97-64-12-12		 CAT034+1
97-64-17-13
CAT034+2
97-64-2-2		 CAT034+3
97-64-1-1		 CAT034+4
97-64-1-1		 CAT035+1
97-64-1-1		 CAT035+2
97-64-1-1		 CAT035+3
97-64-0-0		 CAT035+4
97-64-0-0
CAT036+1
97-66-0-0		 CAT036+2
97-66-0-0		 CAT036+3
97-66-0-0		 CAT036+4
97-66-0-0		 CAT037+1
97-66-0-0		 CAT037+2
97-66-0-0		 CAT037+3
97-66-0-0
CAT037+4
97-66-0-0		 CAT038^1
96-20-3-3		 CAT038^2
96-20-3-3		 CAT039^1
79-4-2-1		 CAT040^1
79-4-2-1		 CAT041^1
79-4-2-1		 CAT042^1
79-4-2-1
CAT043^1
79-4-0-0