TSTP Solution Domain: HEN

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