TSTP Solution Domain: CAT

NumberOfSystems-NumberAttempted-NumberSuccessful-NumberOutputSolutions
CAT001-1
94-54-30-22		 CAT001-10
79-52-14-11		 CAT001-2
94-55-16-14		 CAT001-3
94-53-34-26		 CAT001-4
94-54-37-28		 CAT002-1
94-54-30-22		 CAT002-10
82-54-13-10
CAT002-2
94-55-16-15		 CAT002-3
94-53-37-28		 CAT002-4
94-54-37-27		 CAT003-1
94-54-30-22		 CAT003-2
94-53-33-25		 CAT003-3
94-53-36-26		 CAT003-4
94-54-35-25
CAT004-1
94-54-30-22		 CAT004-2
94-53-31-24		 CAT004-3
94-53-31-22		 CAT004-4
94-54-34-24		 CAT005-1
94-54-38-29		 CAT005-3
94-53-36-27		 CAT005-4
94-54-38-29
CAT006-1
94-54-40-30		 CAT006-3
94-53-36-26		 CAT006-4
94-54-39-28		 CAT007-1
94-54-40-29		 CAT007-3
94-53-46-31		 CAT008-1
94-54-34-25		 CAT009-1
94-54-33-25
CAT009-3
94-53-29-23		 CAT009-4
94-54-35-26		 CAT010-1
94-54-32-24		 CAT010-10
82-53-32-29		 CAT010-4
94-54-36-26		 CAT011-1
94-54-42-31		 CAT011-2
94-53-41-30
CAT011-3
94-53-32-24		 CAT011-4
94-54-38-28		 CAT012-1
94-54-41-30		 CAT012-3
94-53-40-29		 CAT012-4
94-54-42-31		 CAT013-1
94-54-42-31		 CAT013-3
94-53-40-29
CAT013-4
94-54-41-30		 CAT014-1
94-54-40-29		 CAT014-2
94-53-40-29		 CAT014-3
94-53-30-23		 CAT014-4
94-54-36-27		 CAT015-3
94-55-27-20		 CAT015-4
94-55-27-20
CAT016-3
94-53-41-30		 CAT016-4
94-54-43-31		 CAT017-3
94-53-41-30		 CAT017-4
94-54-43-31		 CAT018-1
94-54-41-30		 CAT018-3
94-53-26-22		 CAT018-4
94-54-29-21
CAT019-1
94-54-46-32		 CAT019-10
82-54-7-7		 CAT019-2
94-53-45-31		 CAT019-3
94-53-37-27		 CAT019-4
94-55-10-10		 CAT019-5
94-55-9-9		 CAT020-1
94-55-20-16
CAT020-2
94-55-21-17		 CAT020-3
94-55-18-13		 CAT020-4
94-55-14-11		 CAT021+1
94-61-0-0		 CAT021+2
94-61-0-0		 CAT021+3
94-61-0-0		 CAT021+4
94-61-0-0
CAT022+1
94-61-0-0		 CAT022+2
94-61-0-0		 CAT022+3
94-61-0-0		 CAT022+4
94-61-0-0		 CAT023+1
94-63-0-0		 CAT023+2
94-63-0-0		 CAT023+3
94-63-0-0
CAT023+4
94-62-0-0		 CAT024+1
94-63-0-0		 CAT024+2
94-64-0-0		 CAT024+3
94-63-0-0		 CAT024+4
94-63-0-0		 CAT025+1
94-61-34-27		 CAT025+2
94-61-6-6
CAT025+3
94-61-5-5		 CAT025+4
94-61-4-4		 CAT026+1
94-61-23-19		 CAT026+2
94-61-2-2		 CAT026+3
94-61-1-1		 CAT026+4
94-61-2-2		 CAT027+1
94-61-16-13
CAT027+2
94-63-1-1		 CAT027+3
94-63-1-1		 CAT027+4
94-61-1-1		 CAT028+1
94-61-12-8		 CAT028+2
94-61-3-3		 CAT028+3
94-61-2-2		 CAT028+4
94-61-2-2
CAT029+1
94-61-8-6		 CAT029+2
94-61-1-1		 CAT029+3
94-61-1-1		 CAT029+4
94-61-1-1		 CAT030+1
94-61-4-2		 CAT030+2
94-63-1-1		 CAT030+3
94-63-1-1
CAT030+4
94-63-1-1		 CAT031+1
94-61-12-9		 CAT031+2
94-61-2-2		 CAT031+3
94-61-2-2		 CAT031+4
94-61-2-2		 CAT032+1
94-61-35-28		 CAT032+2
94-61-6-6
CAT032+3
94-61-5-5		 CAT032+4
94-61-4-4		 CAT033+1
94-61-38-29		 CAT033+2
94-61-9-9		 CAT033+3
94-61-10-10		 CAT033+4
94-61-9-9		 CAT034+1
94-61-14-10
CAT034+2
94-61-2-2		 CAT034+3
94-61-1-1		 CAT034+4
94-61-1-1		 CAT035+1
94-61-1-1		 CAT035+2
94-61-1-1		 CAT035+3
94-61-0-0		 CAT035+4
94-61-0-0
CAT036+1
94-63-0-0		 CAT036+2
94-63-0-0		 CAT036+3
94-63-0-0		 CAT036+4
94-63-0-0		 CAT037+1
94-63-0-0		 CAT037+2
94-63-0-0		 CAT037+3
94-63-0-0
CAT037+4
94-63-0-0		 CAT038^1
93-20-3-3		 CAT038^2
93-20-3-3		 CAT039^1
76-4-2-1		 CAT040^1
76-4-2-1		 CAT041^1
76-4-2-1		 CAT042^1
76-4-2-1
CAT043^1
76-4-0-0