TSTP Solution Domain: MSC

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