TSTP Solution Domain: HWV

NumberOfSystems-NumberAttempted-NumberSuccessful-NumberOutputSolutions
HWV001-1
93-53-27-20		 HWV002-1
93-53-12-10		 HWV003-1
93-53-8-7		 HWV003-2
93-52-15-12		 HWV003-3
93-53-42-27		 HWV004-1
93-53-9-8		 HWV005-1
93-52-40-28
HWV005-2
93-52-41-28		 HWV006-1
93-52-35-25		 HWV006-2
93-52-36-26		 HWV007-1
93-52-36-25		 HWV007-2
93-52-36-25		 HWV008-1.001
93-52-37-26		 HWV008-1.002
93-52-36-26
HWV008-2.001
93-52-39-28		 HWV008-2.002
93-52-39-28		 HWV009-1
93-52-38-29		 HWV009-2
93-52-34-26		 HWV009-3
93-52-41-29		 HWV009-4
93-52-41-29		 HWV010-1
93-52-37-28
HWV010-2
93-52-39-28		 HWV010-3
93-52-36-28		 HWV011-1
93-52-38-28		 HWV011-2
93-52-38-28		 HWV011-3
93-52-37-28		 HWV012-1
93-52-36-27		 HWV012-2
93-52-28-22
HWV013-1
93-52-35-26		 HWV013-2
93-52-27-21		 HWV014-1
93-52-36-27		 HWV014-2
93-52-27-21		 HWV015-1
93-52-35-27		 HWV015-2
93-52-29-22		 HWV016-1
93-52-26-21
HWV016-2
93-52-19-16		 HWV017-1
93-52-28-23		 HWV017-2
93-52-18-14		 HWV018-1
93-52-30-24		 HWV018-2
93-52-26-21		 HWV018-3
93-52-30-23		 HWV019-1
93-52-37-27
HWV019-2
93-52-29-23		 HWV019-3
93-52-39-27		 HWV020-1
93-52-30-24		 HWV020-2
93-52-24-19		 HWV020-3
93-52-31-23		 HWV021-1
93-52-38-28		 HWV021-2
93-52-32-23
HWV022-1
93-52-31-24		 HWV022-2
93-52-23-18		 HWV023-1
93-52-32-25		 HWV023-2
93-52-23-19		 HWV024-1
93-52-33-24		 HWV024-2
93-52-0-0		 HWV025-1
93-52-37-28
HWV025-2
93-52-37-26		 HWV025-3
93-52-36-26		 HWV026-1
93-52-41-30		 HWV026-2
93-52-38-26		 HWV026-3
93-52-38-26		 HWV027-1
93-52-38-28		 HWV027-2
93-52-29-22
HWV028-1
93-52-40-30		 HWV028-2
93-52-30-24		 HWV029-1
93-52-20-17		 HWV029-2
93-52-14-12		 HWV030-1
93-52-41-30		 HWV030-2
93-52-34-26		 HWV031-1
93-52-16-13
HWV031-2
93-52-0-0		 HWV032-1
93-52-40-29		 HWV032-2
93-52-34-26		 HWV033-1
93-52-18-15		 HWV033-2
93-52-0-0		 HWV034-1
93-54-27-20		 HWV034-2
93-54-29-21
HWV035-1
93-54-28-21		 HWV035-2
93-54-26-20		 HWV036-1
93-54-28-21		 HWV036-2
93-54-26-20		 HWV037-1
93-54-0-0		 HWV038-1
93-54-0-0		 HWV039+1
91-61-6-2
HWV039-1
90-51-6-4		 HWV039_1
92-22-6-4		 HWV039_10
74-20-3-3		 HWV039+2
91-61-6-2		 HWV039-2
90-51-5-3		 HWV039_2
92-22-6-4		 HWV039_20
73-20-3-3
HWV039_3
92-22-4-4		 HWV039_4
92-22-3-3		 HWV039_5
92-13-3-3		 HWV039_6
92-13-1-1		 HWV039_7
92-13-2-2		 HWV039_8
92-13-0-0		 HWV040+1
91-61-6-2
HWV040-1
90-51-6-4		 HWV040_1
92-22-5-3		 HWV040_10
73-20-3-3		 HWV040+2
91-61-6-2		 HWV040-2
90-51-5-3		 HWV040_2
92-22-6-4		 HWV040_20
74-20-2-2
HWV040_3
92-22-3-3		 HWV040_4
92-22-2-2		 HWV040_5
92-13-3-3		 HWV040_6
92-13-1-1		 HWV040_7
92-13-2-2		 HWV040_8
92-13-0-0		 HWV041+1
91-61-6-2
HWV041-1
90-51-4-2		 HWV041_1
92-22-4-2		 HWV041_10
73-20-3-3		 HWV041+2
91-61-6-2		 HWV041-2
90-51-5-3		 HWV041_2
92-22-4-2		 HWV041_20
74-20-2-2
HWV041_3
92-22-3-3		 HWV041_4
92-22-2-2		 HWV041_5
92-13-1-1		 HWV041_6
92-13-1-1		 HWV041_7
92-13-2-2		 HWV041_8
92-13-0-0		 HWV042+1
91-64-4-3
HWV042-1
90-53-3-3		 HWV042_1
92-24-2-2		 HWV042+2
91-64-3-3		 HWV042-2
90-53-3-3		 HWV042_2
92-24-2-2		 HWV042_3
92-24-3-3		 HWV042_4
92-24-1-1
HWV042_5
92-13-0-0		 HWV042_6
92-13-0-0		 HWV042_7
92-13-0-0		 HWV042_8
92-13-0-0		 HWV043+1
91-61-7-3		 HWV043-1
90-51-5-3		 HWV043_1
92-22-5-3
HWV043_10
74-20-1-1		 HWV043+2
91-61-6-3		 HWV043-2
90-51-4-3		 HWV043_2
92-22-5-3		 HWV043_20
73-20-1-1		 HWV043_3
92-22-3-3		 HWV043_4
92-22-3-3
HWV043_5
92-13-2-2		 HWV043_6
92-13-0-0		 HWV043_7
92-13-2-2		 HWV043_8
92-13-1-1		 HWV044+1
91-61-7-3		 HWV044-1
90-51-5-3		 HWV044_1
92-22-5-3
HWV044_10
74-20-1-1		 HWV044+2
91-61-6-3		 HWV044-2
90-51-4-3		 HWV044_2
92-22-5-3		 HWV044_20
73-20-1-1		 HWV044_3
92-22-3-3		 HWV044_4
92-22-3-3
HWV044_5
92-13-2-2		 HWV044_6
92-13-0-0		 HWV044_7
92-13-2-2		 HWV044_8
92-13-1-1		 HWV045+1
91-61-6-2		 HWV045-1
90-51-5-3		 HWV045_1
92-22-5-3
HWV045_10
74-20-3-3		 HWV045+2
91-61-6-2		 HWV045-2
90-51-4-2		 HWV045_2
92-22-5-3		 HWV045_20
74-20-2-2		 HWV045_3
92-22-3-3		 HWV045_4
92-22-2-2
HWV045_5
92-13-2-2		 HWV045_6
92-13-1-1		 HWV045_7
92-13-2-2		 HWV045_8
92-13-1-1		 HWV046+1
91-61-7-3		 HWV046-1
90-51-6-4		 HWV046_1
92-22-5-3
HWV046_10
74-20-2-2		 HWV046+2
91-61-6-2		 HWV046-2
90-51-5-3		 HWV046_2
92-22-5-3		 HWV046_20
74-20-2-2		 HWV046_3
92-22-3-3		 HWV046_4
92-22-2-2
HWV046_5
92-13-2-2		 HWV046_6
92-13-1-1		 HWV046_7
92-13-2-2		 HWV046_8
92-13-1-1		 HWV047+1
91-61-6-2		 HWV047-1
90-51-4-2		 HWV047_1
92-22-5-3
HWV047_10
73-20-2-2		 HWV047+2
91-61-6-2		 HWV047-2
90-51-3-1		 HWV047_2
92-22-5-3		 HWV047_20
74-20-2-2		 HWV047_3
92-22-3-3		 HWV047_4
92-22-2-2
HWV047_5
92-13-2-2		 HWV047_6
92-13-0-0		 HWV047_7
92-13-2-2		 HWV047_8
92-13-0-0		 HWV048+1
91-64-3-3		 HWV048-1
90-53-4-4		 HWV048_1
92-24-2-2
HWV048+2
91-64-2-2		 HWV048-2
90-53-2-2		 HWV048_2
92-24-2-2		 HWV048_3
92-24-3-3		 HWV048_4
92-24-1-1		 HWV048_5
92-13-0-0		 HWV048_6
92-13-0-0
HWV048_7
92-13-0-0		 HWV048_8
92-13-0-0		 HWV049+1
91-64-2-2		 HWV049-1
90-53-3-3		 HWV049_1
92-24-2-2		 HWV049+2
91-64-2-2		 HWV049-2
90-53-3-3
HWV049_2
92-24-2-2		 HWV049_3
92-24-2-2		 HWV049_4
92-24-1-1		 HWV049_5
92-13-0-0		 HWV049_6
92-13-0-0		 HWV049_7
92-13-0-0		 HWV049_8
92-13-0-0
HWV050+1
91-61-7-3		 HWV050-1
90-51-6-4		 HWV050_1
92-22-5-3		 HWV050_10
74-20-3-3		 HWV050+2
91-61-7-3		 HWV050-2
90-51-5-3		 HWV050_2
92-22-6-4
HWV050_20
74-20-3-3		 HWV050_3
92-22-4-4		 HWV050_4
92-22-3-3		 HWV050_5
92-13-3-3		 HWV050_6
92-13-2-2		 HWV050_7
92-13-2-2		 HWV050_8
92-13-1-1
HWV051+1
91-61-6-2		 HWV051-1
90-51-6-4		 HWV051_1
92-22-5-3		 HWV051_10
73-20-3-3		 HWV051+2
91-61-6-2		 HWV051-2
90-51-5-3		 HWV051_2
92-22-5-3
HWV051_20
74-20-4-4		 HWV051_3
92-22-4-4		 HWV051_4
92-22-3-3		 HWV051_5
92-13-3-3		 HWV051_6
92-13-2-2		 HWV051_7
92-13-2-2		 HWV051_8
92-13-1-1
HWV052-1.001.001
90-49-28-22		 HWV052-1.001.002
90-51-10-9		 HWV052-1.002.001
90-49-28-21		 HWV052-1.002.002
90-49-15-10		 HWV052-1.002.003
90-51-10-9		 HWV052-1.003.003
90-51-9-8		 HWV052-1.004.003
90-51-8-7
HWV052-1.005.003
90-49-5-2		 HWV052-1.005.004
90-51-4-4		 HWV052-1.006.004
90-51-4-4		 HWV052-1.007.004
90-51-1-1		 HWV052-1.007.005
90-51-3-3		 HWV053+1
90-63-2-2		 HWV053-1
89-52-1-1
HWV054+1
90-63-1-1		 HWV054-1
89-52-2-2		 HWV055+1
90-60-0-0		 HWV055-1
89-50-0-0		 HWV056+1
90-60-0-0		 HWV056-1
89-50-0-0		 HWV057+1
90-60-7-7
HWV057-1
89-50-11-10		 HWV058+1
90-60-6-6		 HWV058-1
89-50-10-9		 HWV059+1
90-60-8-8		 HWV059-1
89-50-11-10		 HWV060+1
90-60-0-0		 HWV060-1
89-50-5-5
HWV061+1
90-60-4-4		 HWV061-1
89-50-13-9		 HWV062+1
90-63-1-1		 HWV062-1
89-52-6-5		 HWV063+1
90-63-1-1		 HWV063-1
89-52-6-5		 HWV064+1
90-60-0-0
HWV064-1
89-50-6-2		 HWV065+1
90-60-0-0		 HWV065-1
89-50-3-1		 HWV066+1
90-63-3-3		 HWV066-1
89-52-5-4		 HWV067+1
90-63-1-1		 HWV067-1
89-52-3-2
HWV068+1
90-60-1-1		 HWV068-1
89-50-16-12		 HWV069+1
90-60-2-2		 HWV069-1
89-50-16-12		 HWV070+1
90-63-0-0		 HWV070-1
89-52-0-0		 HWV071+1
90-63-4-4
HWV071-1
89-52-6-5		 HWV072+1
90-63-3-3		 HWV072-1
89-51-4-3		 HWV073+1
90-63-3-3		 HWV073-1
89-51-5-4		 HWV074+1
90-63-1-1		 HWV074-1
89-52-2-2
HWV075+1
90-63-1-1		 HWV075-1
89-52-0-0		 HWV076+1
90-63-3-3		 HWV076-1
89-52-9-8		 HWV077+1
90-60-1-1		 HWV077-1
89-52-3-2		 HWV078+1
90-60-3-1
HWV078-1
89-50-5-3		 HWV079+1
90-63-4-4		 HWV079-1
89-52-6-5		 HWV080+1
90-63-1-1		 HWV080-1
89-52-0-0		 HWV081+1
90-60-2-2		 HWV081-1
89-50-1-1
HWV082+1
90-63-2-2		 HWV082-1
89-52-5-4		 HWV083+1
90-60-1-1		 HWV083-1
89-50-2-0		 HWV084+1
90-60-0-0		 HWV084-1
89-50-0-0		 HWV085+1
90-63-0-0
HWV085-1
89-52-0-0		 HWV086+1
90-63-1-1		 HWV086-1
89-52-0-0		 HWV087+1
90-64-6-6		 HWV087-1
89-50-3-3		 HWV087_1
91-22-4-4		 HWV087_10
74-20-4-4
HWV087_2
91-13-3-3		 HWV088+1
90-60-0-0		 HWV088-1
89-50-1-1		 HWV088_1
91-22-0-0		 HWV088_2
91-13-0-0		 HWV089+1
90-61-25-19		 HWV089-1
89-50-35-24
HWV089_1
91-22-8-6		 HWV089_2
91-13-6-6		 HWV090+1
90-60-9-8		 HWV090-1
89-50-26-17		 HWV090_1
91-22-2-2		 HWV090_2
91-13-2-2		 HWV091+1
90-60-15-12
HWV091-1
89-50-26-17		 HWV091_1
91-22-4-4		 HWV091_2
91-13-3-3		 HWV092+1
90-60-5-4		 HWV092-1
89-50-20-14		 HWV092_1
91-22-2-2		 HWV092_2
91-13-1-1
HWV093+1
90-61-36-28		 HWV093-1
89-50-37-25		 HWV093_1
91-22-13-11		 HWV093_10
73-20-4-4		 HWV093_2
91-13-7-7		 HWV094+1
90-60-7-6		 HWV094-1
89-50-20-13
HWV094_1
91-22-3-3		 HWV094_2
91-13-2-2		 HWV095+1
90-61-36-27		 HWV095-1
89-50-37-25		 HWV095_1
91-22-13-11		 HWV095_10
73-20-3-3		 HWV095_2
91-13-7-7
HWV096+1
90-60-8-7		 HWV096-1
89-50-21-14		 HWV096_1
91-22-3-3		 HWV096_2
91-13-2-2		 HWV097+1
90-60-0-0		 HWV097-1
89-50-0-0		 HWV097_1
91-22-0-0
HWV097_2
91-13-0-0		 HWV098+1
90-60-0-0		 HWV098-1
89-50-0-0		 HWV098_1
91-22-0-0		 HWV098_2
91-13-0-0		 HWV099+1
90-60-0-0		 HWV099-1
89-50-0-0
HWV099_1
91-22-0-0		 HWV099_2
91-13-0-0		 HWV100+1
90-60-0-0		 HWV100-1
89-50-0-0		 HWV100_1
91-22-0-0		 HWV100_2
91-13-0-0		 HWV101+1
90-61-0-0
HWV101-1
89-50-0-0		 HWV101_1
91-22-0-0		 HWV101_2
91-13-0-0		 HWV102+1
90-60-0-0		 HWV102-1
89-50-0-0		 HWV102_1
91-22-0-0		 HWV102_2
91-13-0-0
HWV103+1
90-61-0-0		 HWV103-1
89-50-1-1		 HWV103_1
91-22-0-0		 HWV103_2
91-13-0-0		 HWV104+1
90-60-0-0		 HWV104-1
89-50-1-1		 HWV104_1
91-22-0-0
HWV104_2
91-13-0-0		 HWV105+1
90-62-1-1		 HWV105-1
89-50-0-0		 HWV105_1
91-22-0-0		 HWV105_2
91-13-0-0		 HWV106+1
90-60-0-0		 HWV106-1
89-50-0-0
HWV106_1
91-22-0-0		 HWV106_2
91-13-0-0		 HWV107+1
90-60-1-1		 HWV107-1
89-50-9-9		 HWV107_1
91-22-1-1		 HWV107_2
91-13-1-1		 HWV108+1
90-60-1-1
HWV108-1
89-50-5-5		 HWV108_1
91-22-1-1		 HWV108_2
91-13-1-1		 HWV109+1
90-63-6-6		 HWV109-1
89-50-0-0		 HWV109_1
91-22-0-0		 HWV109_10
73-20-3-3
HWV109_2
91-13-0-0		 HWV110+1
90-63-2-2		 HWV110-1
89-50-0-0		 HWV110_1
91-22-0-0		 HWV110_10
74-20-2-2		 HWV110_2
91-13-0-0		 HWV111+1
90-64-6-6
HWV111-1
89-50-3-3		 HWV111_1
91-22-4-4		 HWV111_10
74-20-4-4		 HWV111_2
91-13-1-1		 HWV112+1
90-64-3-3		 HWV112-1
89-50-2-2		 HWV112_1
91-22-2-2
HWV112_10
73-20-2-2		 HWV112_2
91-13-1-1		 HWV113+1
90-64-3-3		 HWV113-1
89-50-0-0		 HWV113_1
91-22-1-1		 HWV113_10
73-20-2-2		 HWV113_2
91-13-0-0
HWV114+1
90-64-6-6		 HWV114-1
89-50-3-3		 HWV114_1
91-22-3-3		 HWV114_10
73-20-4-4		 HWV114_2
91-13-1-1		 HWV115+1
90-64-3-3		 HWV115-1
89-50-2-2
HWV115_1
91-22-2-2		 HWV115_10
74-20-1-1		 HWV115_2
91-13-0-0		 HWV116+1
90-63-3-3		 HWV116-1
89-50-0-0		 HWV116_1
91-22-0-0		 HWV116_10
74-20-2-2
HWV116_2
91-13-0-0		 HWV117+1
90-64-4-4		 HWV117-1
89-50-0-0		 HWV117_1
91-22-0-0		 HWV117_10
74-20-2-2		 HWV117_2
91-13-0-0		 HWV118+1
90-64-2-2
HWV118-1
89-50-0-0		 HWV118_1
91-22-0-0		 HWV118_10
73-20-1-1		 HWV118_2
91-13-0-0		 HWV119+1
90-64-2-2		 HWV119-1
89-50-0-0		 HWV119_1
91-22-0-0
HWV119_10
74-20-1-1		 HWV119_2
91-13-0-0		 HWV120+1
90-63-3-3		 HWV120-1
89-50-0-0		 HWV120_1
91-22-0-0		 HWV120_10
74-20-2-2		 HWV120_2
91-13-0-0
HWV121+1
90-64-2-2		 HWV121-1
89-50-0-0		 HWV121_1
91-22-0-0		 HWV121_10
74-20-1-1		 HWV121_2
91-13-0-0		 HWV122+1
90-64-2-2		 HWV122-1
89-50-0-0
HWV122_1
91-22-0-0		 HWV122_10
73-20-1-1		 HWV122_2
91-13-0-0		 HWV123+1
90-60-1-1		 HWV123-1
89-50-0-0		 HWV123_1
91-22-1-1		 HWV123_2
92-13-1-1
HWV124+1
90-60-1-1		 HWV124-1
89-50-0-0		 HWV124_1
91-22-1-1		 HWV124_2
91-13-1-1		 HWV125+1
90-60-1-1		 HWV125-1
89-50-0-0		 HWV125_1
91-22-1-1
HWV125_2
91-13-1-1		 HWV126+1
90-60-1-1		 HWV126-1
89-50-2-2		 HWV126_1
91-22-1-1		 HWV126_2
91-13-1-1		 HWV127+1
90-60-1-1		 HWV127-1
89-50-1-1
HWV127_1
91-22-1-1		 HWV127_2
91-13-1-1		 HWV128+1
90-60-1-1		 HWV128-1
89-50-2-2		 HWV128_1
91-22-1-1		 HWV128_2
91-13-1-1		 HWV129+1
90-60-0-0
HWV129-1
89-50-0-0		 HWV129_1
91-22-0-0		 HWV129_2
91-13-0-0		 HWV130+1
90-60-0-0		 HWV130-1
89-50-0-0		 HWV130_1
91-22-0-0		 HWV130_2
91-13-0-0
HWV131+1
90-60-0-0		 HWV131-1
89-50-0-0		 HWV131_1
91-22-0-0		 HWV131_2
91-13-0-0		 HWV132+1
90-60-0-0		 HWV132-1
89-50-0-0		 HWV132_1
91-22-0-0
HWV132_2
91-13-0-0		 HWV133+1
90-60-0-0		 HWV133-1
89-50-0-0		 HWV133_1
91-22-0-0		 HWV133_2
91-13-0-0		 HWV134+1
90-60-0-0		 HWV134-1
89-50-0-0
HWV134_1
91-22-0-0		 HWV134_2
91-13-0-0