TSTP Solution Domain: CAT

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