TSTP Solution Domain: HEN

NumberOfSystems-NumberAttempted-NumberSuccessful-NumberOutputSolutions
HEN001-1
94-54-47-32		 HEN001-3
94-54-46-32		 HEN001-5
94-53-41-30		 HEN002-1
94-54-47-32		 HEN002-2
94-54-47-32		 HEN002-3
94-54-46-32		 HEN002-4
94-54-46-32
HEN002-5
94-53-41-30		 HEN003-1
94-54-32-24		 HEN003-2
94-54-31-25		 HEN003-3
94-54-39-30		 HEN003-4
94-54-38-29		 HEN003-5
94-53-35-29		 HEN004-1
94-54-22-19
HEN004-2
94-54-23-20		 HEN004-3
94-54-33-26		 HEN004-4
94-54-34-26		 HEN004-5
94-53-34-28		 HEN004-6
94-54-31-25		 HEN005-1
94-54-26-21		 HEN005-2
94-54-32-24
HEN005-3
94-54-31-23		 HEN005-4
94-54-31-24		 HEN005-5
94-53-32-26		 HEN005-6
94-54-31-25		 HEN006-1
94-54-23-19		 HEN006-2
94-54-24-19		 HEN006-3
94-54-29-23
HEN006-4
94-54-32-25		 HEN006-5
94-53-27-22		 HEN006-6
94-54-29-23		 HEN006-7
94-54-24-19		 HEN007-1
94-54-22-19		 HEN007-2
94-54-37-28		 HEN007-3
94-54-29-23
HEN007-4
94-54-41-31		 HEN007-5
94-53-30-24		 HEN007-6
94-54-33-24		 HEN008-1
94-54-36-26		 HEN008-2
94-54-30-21		 HEN008-3
94-54-38-30		 HEN008-4
94-54-40-31
HEN008-5
94-53-35-27		 HEN008-6
94-54-39-30		 HEN009-1
94-54-23-19		 HEN009-2
94-54-39-27		 HEN009-3
94-54-28-22		 HEN009-4
94-54-36-28		 HEN009-5
94-53-33-27
HEN009-6
94-54-28-22		 HEN010-1
94-54-23-19		 HEN010-10
82-53-13-11		 HEN010-2
94-54-32-23		 HEN010-3
94-54-27-21		 HEN010-4
94-54-35-27		 HEN010-5
94-53-29-23
HEN010-6
94-54-33-26		 HEN010-7
94-54-31-23		 HEN011-1
94-54-16-13		 HEN011-2
94-54-17-12		 HEN011-3
94-54-24-18		 HEN011-4
94-54-28-21		 HEN011-5
94-53-22-17
HEN012-1
94-54-31-25		 HEN012-3
94-54-39-29		 HEN013-1
94-55-15-12		 HEN013-2
94-55-16-12		 HEN013-3
94-55-14-11