TSTP Solution Domain: MSC

NumberOfSystems-NumberAttempted-NumberSuccessful-NumberOutputSolutions
MSC001-1
99-57-43-30		 MSC002-1
99-57-47-33		 MSC002-2
99-57-48-33		 MSC003-1
99-57-50-34		 MSC004-1
99-57-49-34		 MSC005-1
99-58-51-35		 MSC006-1
98-58-53-34
MSC007^1.003.004
97-20-7-7		 MSC007-1.008
99-58-34-20		 MSC007-2.005
99-57-32-23		 MSC008-1.002
78-46-34-26		 MSC008-1.010
98-60-0-0		 MSC008-2.002
98-58-45-29		 MSC009+1
99-69-30-25
MSC009-1
99-59-30-22		 MSC010+1
99-66-42-31		 MSC011+1
99-67-63-46		 MSC012+1
99-66-57-44		 MSC013+1
99-69-28-20		 MSC013-10
87-58-16-12		 MSC014+1
99-69-27-21
MSC014-10
84-56-16-13		 MSC015-10.027
87-57-0-0		 MSC015-10.030
87-57-0-0		 MSC015-1.005
98-59-55-37		 MSC015-1.010
98-59-51-33		 MSC015-1.015
98-59-26-16		 MSC015-1.020
98-59-14-9
MSC015-1.022
98-59-9-6		 MSC015-1.025
98-59-5-5		 MSC015-1.027
98-59-6-6		 MSC015-1.030
98-59-5-5		 MSC016+1
99-69-19-13		 MSC017+1
97-65-55-44		 MSC018+1
97-69-32-23
MSC018-10
84-56-12-11		 MSC019+1
97-66-60-45		 MSC020^5
98-20-11-7		 MSC021^5
98-20-3-2		 MSC022_2
98-14-10-8		 MSC023_2
98-14-8-8		 MSC024+1
96-65-1-1
MSC024-1
95-55-7-3		 MSC025^1
97-20-2-2		 MSC025^2
97-20-12-8		 MSC026-1
88-51-0-0		 MSC027-1
88-51-0-0		 MSC028_1
89-14-2-2		 MSC029^1
88-1-0-0
MSC030^1
88-1-0-0		 MSC031^1
88-1-0-0		 MSC032^1
88-1-0-0		 MSC033^1
88-1-0-0		 MSC034_1
79-4-1-0		 MSC035_1
79-4-1-0