TSTP Solution Domain: MSC

NumberOfSystems-NumberAttempted-NumberSuccessful-NumberOutputSolutions

MSC001-1
86-51-40-27
MSC002-1
86-51-42-29
MSC002-2
86-51-43-29
MSC003-1
86-51-45-30
MSC004-1
86-51-42-28
MSC005-1
86-52-46-31
MSC006-1
85-52-49-31
MSC007^1.003.004
84-18-6-6
MSC007-1.008
86-52-31-18
MSC007-2.005
86-51-30-21
MSC008-1.002
21-18-15-14
MSC008-1.010
85-55-0-0
MSC008-2.002
85-52-40-25
MSC009+1
86-62-30-24
MSC009-1
86-54-28-21
MSC010+1
86-58-39-29
MSC011+1
86-59-56-40
MSC012+1
86-58-51-38
MSC013+1
86-62-26-19
MSC013-10
74-53-16-13
MSC014+1
86-62-26-20
MSC014-10
70-50-16-14
MSC015-10.027
74-51-0-0
MSC015-10.030
74-51-0-0
MSC015-1.005
85-53-50-33
MSC015-1.010
85-53-46-28
MSC015-1.015
85-53-26-18
MSC015-1.020
85-53-13-8
MSC015-1.022
85-53-10-7
MSC015-1.025
85-53-7-7
MSC015-1.027
85-53-7-7
MSC015-1.030
85-53-7-7
MSC016+1
86-62-17-13
MSC017+1
84-57-49-38
MSC018+1
84-62-30-22
MSC018-10
70-50-10-10
MSC019+1
84-58-52-38
MSC020^5
85-18-9-5
MSC021^5
85-18-1-0
MSC022_2
85-14-11-9
MSC023_2
85-14-9-9
MSC024+1
83-57-2-1
MSC024-1
82-49-8-4
MSC025^1
84-18-1-1
MSC025^2
84-18-10-6
MSC026-1
75-46-0-0
MSC027-1
75-46-0-0
MSC028_1
76-14-3-3
MSC029^1
75-0-0-0
MSC030^1
75-0-0-0
MSC031^1
75-0-0-0
MSC032^1
75-0-0-0
MSC033^1
75-0-0-0