TSTP Solution Domain: CAT

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