TSTP Solution Domain: MSC

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