TSTP Solution Domain: NUN

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