TSTP Solution Domain: NUN

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