TSTP Solution Domain: CAT

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