TSTP Solution Domain: HWV

NumberOfSystems-NumberAttempted-NumberSuccessful-NumberOutputSolutions

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