TSTP Solution Domain: NUN

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