TSTP Solution Domain: HEN

NumberOfSystems-NumberAttempted-NumberSuccessful-NumberOutputSolutions
HEN001-1
92-57-52-36		 HEN001-3
92-57-51-36		 HEN001-5
92-56-46-34		 HEN002-1
92-57-52-36		 HEN002-2
92-57-51-35		 HEN002-3
92-57-51-36		 HEN002-4
92-57-51-36
HEN002-5
92-56-46-34		 HEN003-1
92-57-35-26		 HEN003-2
92-57-34-27		 HEN003-3
92-57-43-33		 HEN003-4
92-57-44-34		 HEN003-5
92-56-36-29		 HEN004-1
92-57-27-23
HEN004-2
92-57-28-24		 HEN004-3
92-57-38-31		 HEN004-4
92-57-39-30		 HEN004-5
92-56-37-30		 HEN004-6
92-57-37-30		 HEN005-1
92-57-31-26		 HEN005-2
92-57-38-29
HEN005-3
92-57-38-29		 HEN005-4
92-57-36-28		 HEN005-5
92-56-35-28		 HEN005-6
92-57-35-29		 HEN006-1
92-57-27-23		 HEN006-2
92-57-28-22		 HEN006-3
92-57-33-27
HEN006-4
92-57-38-30		 HEN006-5
92-56-32-26		 HEN006-6
92-57-33-27		 HEN006-7
92-57-29-23		 HEN007-1
92-57-26-23		 HEN007-2
92-57-41-31		 HEN007-3
92-57-34-28
HEN007-4
92-57-46-35		 HEN007-5
92-56-34-27		 HEN007-6
92-57-37-27		 HEN008-1
92-57-37-27		 HEN008-2
92-57-35-25		 HEN008-3
92-57-40-32		 HEN008-4
92-57-43-33
HEN008-5
92-56-39-30		 HEN008-6
92-57-42-32		 HEN009-1
92-57-27-23		 HEN009-2
92-57-43-30		 HEN009-3
92-57-32-26		 HEN009-4
92-57-41-32		 HEN009-5
92-56-38-31
HEN009-6
92-57-33-25		 HEN010-1
92-57-27-23		 HEN010-10
80-56-18-16		 HEN010-2
92-57-37-27		 HEN010-3
92-57-31-25		 HEN010-4
92-57-41-32		 HEN010-5
92-56-34-27
HEN010-6
92-57-38-30		 HEN010-7
92-57-36-27		 HEN011-1
92-57-21-18		 HEN011-2
92-57-22-17		 HEN011-3
92-57-28-21		 HEN011-4
92-57-32-24		 HEN011-5
92-56-27-21
HEN012-1
92-57-33-26		 HEN012-3
92-57-43-32		 HEN013-1
92-59-20-15		 HEN013-2
92-59-20-14		 HEN013-3
92-59-19-15