TSTP Solution Domain: HWV

NumberOfSystems-NumberAttempted-NumberSuccessful-NumberOutputSolutions

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