TSTP Solution Domain: SWX

NumberOfSystems-NumberAttempted-NumberSuccessful-NumberOutputSolutions

SWX000_1
81-4-0-0
SWX001_1
81-4-0-0
SWX002_1
81-4-2-2
SWX003_1
81-4-2-2
SWX004_1
81-4-2-2
SWX005_1
81-4-2-2
SWX006_1
81-4-2-2
SWX007_1
81-4-0-0
SWX008_1
81-4-0-0
SWX009_1
81-4-0-0
SWX010_1
81-4-0-0
SWX011_1
81-4-0-0
SWX012_1
81-4-0-0
SWX013_1
81-4-0-0
SWX014_1
81-4-0-0
SWX015_1
81-4-0-0
SWX016_1
81-4-0-0
SWX017_1
81-4-0-0
SWX018_1
81-4-0-0
SWX019_1
81-4-0-0
SWX020_1
81-4-0-0
SWX021_1
81-4-0-0
SWX022+1
81-62-6-4
SWX023+1
81-62-4-4
SWX024+1
81-62-12-10
SWX025+1
81-62-6-5
SWX026+1
81-62-7-6
SWX027+1
81-62-5-4
SWX028+1
81-62-1-1
SWX029+1
81-62-8-8
SWX030+1
81-62-2-2
SWX031+1
81-62-4-4
SWX032+1
81-62-8-7
SWX033+1
81-62-11-8
SWX034+1
81-62-11-9
SWX035+1
81-62-17-16
SWX036+1
81-62-2-2
SWX037+1
81-62-3-3
SWX038+1
81-62-2-2
SWX039+1
81-62-7-5
SWX040+1
81-62-5-5
SWX041+1
81-62-4-3
SWX042+1
81-62-7-6
SWX043+1
81-62-7-6
SWX044+1
81-62-2-2
SWX045+1
81-62-2-2
SWX046+1
81-62-6-5
SWX047+1
81-62-10-8
SWX048+1
81-62-23-19
SWX049+1
81-62-2-2
SWX050+1
81-62-5-3
SWX051+1
81-62-5-3
SWX052+1
81-62-8-7
SWX053+1
81-62-3-2
SWX054+1
81-62-0-0
SWX055+1
81-62-10-8
SWX056+1
81-62-2-2
SWX057+1
81-62-10-8
SWX058+1
81-62-8-7
SWX059+1
81-62-4-4
SWX060+1
81-62-8-6
SWX061+1
81-62-3-3
SWX062+1
81-62-4-4
SWX063+1
81-62-14-13
SWX064+1
81-62-0-0
SWX065+1
81-62-0-0
SWX066+1
81-62-2-2
SWX067+1
81-62-3-2
SWX068+1
81-62-0-0
SWX069+1
81-62-6-5
SWX070+1
81-62-3-3
SWX071+1
81-62-0-0
SWX072_1
76-15-7-7
SWX073_1
76-15-4-4
SWX074_1
76-15-7-7
SWX075_1
76-15-4-4
SWX076_1
76-15-5-5
SWX077_1
76-15-7-7
SWX078_1
76-15-7-7
SWX079_1
76-15-7-7
SWX080_1
76-15-7-7
SWX081_1
76-15-2-2
SWX082_1
76-15-2-2
SWX083_1
76-15-4-3
SWX084_1
76-15-7-7
SWX085_1
76-15-0-0
SWX086_1
76-15-6-6
SWX087_1
76-15-4-4
SWX088_1
76-15-6-6
SWX089_1
76-15-7-7
SWX090_1
76-15-0-0
SWX091_1
76-15-3-3
SWX092_1
76-15-3-3
SWX093_1
76-15-3-3
SWX094_1
76-15-0-0
SWX095_1
76-15-4-4
SWX096_1
76-15-4-4
SWX097_1
76-15-1-1
SWX098_1
76-15-0-0
SWX099_1
76-15-5-5
SWX100_1
76-15-6-6
SWX101_1
76-15-0-0
SWX102_1
76-15-7-7
SWX103_1
76-15-4-4
SWX104_1
76-15-0-0
SWX105_1
76-15-6-6
SWX106_1
76-15-1-0
SWX107_1
76-15-4-4
SWX108_1
76-15-5-5
SWX109_1
76-15-4-4
SWX110_1
76-15-3-2
SWX111_1
76-15-0-0
SWX112_1
76-15-6-6
SWX113_1
76-15-6-6
SWX114_1
76-15-0-0
SWX115_1
76-15-0-0
SWX116_1
76-15-0-0
SWX117_1
76-15-0-0
SWX118_1
76-15-0-0
SWX119_1
76-15-0-0
SWX120_1
76-15-1-0
SWX121_1
76-15-7-7
SWX122_1
77-14-0-0
SWX123_1
77-14-2-2
SWX124_1
77-14-0-0
SWX125_1
77-14-2-2
SWX126_1
77-14-0-0
SWX127_1
77-14-1-1
SWX128_1
77-14-0-0
SWX129_1
77-14-1-1
SWX130_1
77-14-0-0
SWX131_1
77-14-1-1
SWX132_1
77-14-0-0
SWX133_1
77-14-0-0
SWX134_1
77-14-0-0
SWX135_1
77-14-1-1
SWX136_1
77-14-0-0
SWX137_1
77-14-1-1
SWX138_1
77-14-0-0
SWX139_1
77-14-1-1
SWX140_1
77-14-0-0
SWX141_1
77-14-1-1
SWX142_1
77-14-0-0
SWX143_1
77-14-1-1
SWX144_1
77-14-0-0
SWX145_1
77-14-0-0
SWX146_1
77-14-0-0
SWX147_1
77-14-1-1
SWX148_1
77-14-0-0
SWX149_1
77-14-1-1
SWX150_1
77-14-0-0
SWX151_1
77-14-0-0
SWX152_1
77-14-2-2
SWX153_1
77-14-10-9