TSTP Solution Domain: MSC

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