TSTP Solution Domain: CAT

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