TSTP Solution Domain: CAT

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