TSTP Solution Domain: NUN

NumberOfSystems-NumberAttempted-NumberSuccessful-NumberOutputSolutions
NUN000_5
97-5-0-0		 NUN001_5
97-5-0-0		 NUN002_5
97-5-0-0		 NUN003_5
97-5-0-0		 NUN004_5
97-5-5-4		 NUN005_5
97-5-0-0		 NUN006_5
97-5-0-0
NUN007_5
97-5-0-0		 NUN008_5
97-5-3-3		 NUN009_5
97-5-0-0		 NUN010_5
97-5-0-0		 NUN011_5
97-5-0-0		 NUN012_5
97-5-0-0		 NUN013_5
97-5-0-0
NUN014_5
97-5-0-0		 NUN015_5
97-5-5-4		 NUN016_5
97-5-5-4		 NUN017_5
97-5-2-1		 NUN018_5
97-5-4-3		 NUN019+1
88-66-0-0		 NUN020+1
88-66-0-0
NUN021^1
89-21-5-4		 NUN022^1
89-9-0-0		 NUN023^1
89-19-8-7		 NUN023^2
89-19-14-10		 NUN024^1
89-19-5-5		 NUN024^2
89-19-12-9		 NUN025^1
89-19-5-5
NUN025^2
89-19-12-9		 NUN025^3
89-19-11-8		 NUN026^1
88-1-0-0		 NUN027^1
88-1-0-0		 NUN028^1
88-1-0-0		 NUN029^1
88-1-0-0		 NUN030^1
88-1-0-0
NUN031^1
88-1-0-0		 NUN032^1
88-1-0-0		 NUN033^1
88-1-0-0		 NUN034^1
88-1-0-0		 NUN035^1
88-1-0-0		 NUN036^1
88-1-0-0		 NUN037^1
88-1-0-0
NUN038^1
88-1-0-0		 NUN039^1
88-1-0-0		 NUN040^1
88-1-0-0		 NUN041^1
88-1-0-0		 NUN042^1
88-1-0-0		 NUN043^1
88-1-0-0		 NUN044^1
88-1-0-0
NUN045^1
88-1-0-0		 NUN046^1
88-7-6-3		 NUN047^1
88-7-0-0		 NUN048^1
88-7-6-3		 NUN049^1
88-7-6-3		 NUN050^1
88-7-6-3		 NUN051^1
88-7-6-3
NUN052^1
88-7-0-0		 NUN053^4
87-20-0-0		 NUN054+1
89-64-29-23		 NUN054+2
87-63-37-30		 NUN055+1
89-64-12-10		 NUN055+2
87-63-33-28		 NUN056+1
89-64-3-3
NUN056+2
87-63-28-22		 NUN057+1
89-64-3-1		 NUN057+2
87-63-30-24		 NUN058+1
87-63-0-0		 NUN058+2
87-63-13-11		 NUN059+1
87-63-31-28		 NUN059+2
87-63-37-32
NUN060+1
87-63-36-29		 NUN060+2
87-63-43-35		 NUN061+1
87-63-0-0		 NUN061+2
87-63-0-0		 NUN062+1
87-63-36-33		 NUN062+2
87-63-46-39		 NUN063+1
87-63-0-0
NUN063+2
87-63-0-0		 NUN064+1
87-63-0-0		 NUN064+2
87-63-0-0		 NUN065+1
87-63-26-22		 NUN065+2
87-63-38-33		 NUN066+1
87-63-25-20		 NUN066+2
87-63-38-33
NUN067+1
87-63-52-41		 NUN067+2
87-63-52-41		 NUN068+1
87-63-26-22		 NUN068+2
87-63-38-33		 NUN069+1
87-63-50-40		 NUN069+2
87-63-51-40		 NUN070+1
87-63-41-33
NUN070+2
87-63-45-36		 NUN071+1
87-63-2-1		 NUN071+2
87-63-36-30		 NUN072+1
87-63-0-0		 NUN072+2
87-63-29-24		 NUN073+1
87-63-51-40		 NUN073+2
87-63-53-43
NUN074+1
87-63-0-0		 NUN074+2
87-63-4-3		 NUN075+1
87-63-2-1		 NUN075+2
87-63-22-18		 NUN076+1
87-63-36-29		 NUN076+2
87-63-41-33		 NUN077+1
87-63-0-0
NUN077+2
87-63-17-14		 NUN078+1
87-63-0-0		 NUN078+2
87-63-0-0		 NUN079+1
87-63-0-0		 NUN079+2
87-63-0-0		 NUN080+1
87-63-44-37		 NUN080+2
87-63-47-38
NUN081+1
87-63-39-32		 NUN081+2
87-63-44-36		 NUN082+1
87-63-19-16		 NUN082+2
87-63-37-30		 NUN083+1
87-63-0-0		 NUN083+2
87-63-0-0		 NUN084+1
87-63-3-2
NUN084+2
87-63-34-28		 NUN085+1
87-63-20-18		 NUN085+2
87-63-39-32		 NUN086+1
87-63-20-16		 NUN086+2
87-63-37-30		 NUN087+1
87-63-40-33		 NUN087+2
87-63-47-38
NUN088+1
87-63-58-45		 NUN088+2
87-63-55-43		 NUN088+3
87-63-54-42		 NUN089+1
87-63-57-44		 NUN089+2
87-63-54-42		 NUN090+1
87-65-0-0		 NUN090+2
87-65-0-0
NUN091+1
82-61-3-3		 NUN092+1
83-60-0-0		 NUN092+2
83-60-0-0		 NUN093^1
83-18-0-0		 NUN094^1
83-18-0-0		 NUN095^1
83-18-0-0		 NUN096^1
83-18-0-0
NUN097^1
83-18-0-0		 NUN098^1
83-18-0-0		 NUN099^1
83-18-0-0		 NUN100^1
83-18-0-0		 NUN101^1
83-18-0-0		 NUN102^1
84-19-0-0		 NUN103^1
83-18-0-0
NUN104^1
83-18-0-0		 NUN105^1
83-18-0-0		 NUN106^1
83-18-0-0		 NUN107^1
83-18-0-0		 NUN108^1
84-19-0-0		 NUN109^1
83-18-0-0		 NUN110^1
84-19-0-0
NUN111^1
84-19-0-0		 NUN112^1
84-19-0-0		 NUN113^1
83-18-0-0		 NUN114^1
83-18-0-0		 NUN115^1
83-18-0-0		 NUN116^1
83-18-0-0		 NUN117^1
83-18-0-0
NUN118^1
83-18-0-0		 NUN119^1
84-19-0-0		 NUN120^1
83-18-0-0		 NUN121^1
83-18-0-0		 NUN122^1
83-18-0-0		 NUN123^1
83-18-0-0		 NUN124^1
84-19-0-0
NUN125^1
83-18-0-0		 NUN126^1
83-18-0-0		 NUN127^1
83-18-0-0		 NUN128^1
83-18-0-0		 NUN129^1
84-19-0-0		 NUN130^1
83-18-0-0		 NUN131^1
83-18-0-0
NUN132^1
83-18-0-0		 NUN133-1
79-53-10-9		 NUN134-1
79-53-27-26		 NUN135-1.006
79-55-24-21		 NUN135-1.028
79-55-1-0