TSTP Solution Domain: CAT

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