TSTP Solution Domain: HAL

NumberOfSystems-NumberAttempted-NumberSuccessful-NumberOutputSolutions

HAL001+1
86-58-2-1
HAL001+2
86-58-16-10
HAL002+1
86-58-30-23
HAL003+1
86-62-7-7
HAL003+2
86-62-7-7
HAL003+3
86-58-39-31
HAL004+1
86-58-27-20
HAL005+1
86-62-8-8
HAL006+1
86-58-23-16
HAL007+1
75-59-27-24