TSTP Solution Domain: CAT

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