TSTP Solution Domain: MSC

NumberOfSystems-NumberAttempted-NumberSuccessful-NumberOutputSolutions
MSC001-1
93-53-40-28		 MSC002-1
93-53-44-31		 MSC002-2
93-53-45-31		 MSC003-1
93-53-47-32		 MSC004-1
93-53-45-31		 MSC005-1
93-54-48-33		 MSC006-1
92-54-51-33
MSC007^1.003.004
91-19-6-6		 MSC007-1.008
93-54-29-16		 MSC007-2.005
93-53-30-21		 MSC008-1.002
71-42-30-23		 MSC008-1.010
92-57-0-0		 MSC008-2.002
92-54-41-26		 MSC009+1
93-65-29-23
MSC009-1
93-56-28-20		 MSC010+1
93-61-39-29		 MSC011+1
93-62-58-42		 MSC012+1
93-61-53-41		 MSC013+1
93-65-27-18		 MSC013-10
81-55-15-12		 MSC014+1
93-65-26-19
MSC014-10
77-52-15-13		 MSC015-10.027
81-53-0-0		 MSC015-10.030
81-53-0-0		 MSC015-1.005
92-55-52-35		 MSC015-1.010
92-55-47-30		 MSC015-1.015
92-55-23-15		 MSC015-1.020
92-55-12-6
MSC015-1.022
92-55-9-6		 MSC015-1.025
92-55-3-3		 MSC015-1.027
92-55-5-5		 MSC015-1.030
92-55-5-5		 MSC016+1
93-65-17-12		 MSC017+1
91-60-52-41		 MSC018+1
91-65-30-21
MSC018-10
77-52-11-10		 MSC019+1
91-61-55-41		 MSC020^5
92-19-8-4		 MSC021^5
92-19-2-1		 MSC022_2
92-15-11-9		 MSC023_2
92-15-10-9		 MSC024+1
90-60-2-1
MSC024-1
89-51-7-3		 MSC025^1
91-19-1-1		 MSC025^2
91-19-10-7		 MSC026-1
82-48-0-0		 MSC027-1
82-48-0-0		 MSC028_1
83-15-3-3		 MSC029^1
82-1-0-0
MSC030^1
82-1-0-0		 MSC031^1
82-1-0-0		 MSC032^1
82-1-0-0		 MSC033^1
82-1-0-0