TSTP Solution Domain: RAL

NumberOfSystems-NumberAttempted-NumberSuccessful-NumberOutputSolutions

RAL001^1
75-0-0-0
RAL002^1
75-0-0-0
RAL003^1
75-0-0-0
RAL004^1
75-0-0-0
RAL005^1
75-0-0-0
RAL006^1
75-0-0-0
RAL007^1
75-0-0-0
RAL008^1
75-0-0-0
RAL009^1
75-0-0-0
RAL010^1
75-0-0-0
RAL011^1
75-0-0-0
RAL012^1
75-0-0-0
RAL013^1
75-0-0-0
RAL014^1
75-0-0-0
RAL015^1
75-0-0-0
RAL016^1
75-0-0-0
RAL017^1
75-0-0-0
RAL018^1
75-0-0-0
RAL019^1
75-0-0-0
RAL020^1
75-0-0-0
RAL021^1
75-0-0-0
RAL022^1
75-0-0-0
RAL023^1
75-0-0-0
RAL024^1
75-0-0-0
RAL025^1
75-0-0-0
RAL026^1
75-0-0-0
RAL027^1
75-0-0-0
RAL028^1
75-0-0-0
RAL029^1
75-0-0-0
RAL030^1
75-0-0-0
RAL031^1
75-0-0-0
RAL032^1
75-0-0-0
RAL033^1
75-0-0-0
RAL034^1
75-0-0-0
RAL035^1
75-0-0-0
RAL036^1
75-0-0-0
RAL037^1
75-0-0-0
RAL038^1
75-0-0-0
RAL039^1
75-0-0-0
RAL040^1
75-0-0-0
RAL041^1
75-0-0-0
RAL042^1
75-0-0-0
RAL043^1
75-0-0-0
RAL044^1
75-0-0-0
RAL045^1
75-0-0-0
RAL046^1
75-0-0-0
RAL047^1
75-0-0-0
RAL048^1
75-0-0-0
RAL049^1
75-0-0-0
RAL050^1
75-0-0-0
RAL051^1
75-0-0-0
RAL052^1
75-0-0-0
RAL053^1
75-0-0-0
RAL054^1
75-0-0-0
RAL055^1
75-0-0-0
RAL056^1
75-0-0-0
RAL057^1
75-0-0-0
RAL058^1
75-0-0-0
RAL059^1
75-0-0-0
RAL060^1
75-0-0-0
RAL061^1
75-0-0-0
RAL062^1
75-0-0-0
RAL063^1
75-0-0-0
RAL064^1
75-0-0-0
RAL065^1
75-0-0-0
RAL066^1
75-0-0-0
RAL067^1
75-0-0-0
RAL068^1
75-0-0-0
RAL069^1
75-0-0-0
RAL070^1
75-0-0-0