TSTP Solution Domain: CAT

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