TSTP Solution Domain: SWX

NumberOfSystems-NumberAttempted-NumberSuccessful-NumberOutputSolutions
SWX000_1
77-4-0-0		 SWX001_1
77-4-0-0		 SWX002_1
77-4-2-2		 SWX003_1
77-4-2-2		 SWX004_1
77-4-2-2		 SWX005_1
77-4-2-2		 SWX006_1
77-4-2-2
SWX007_1
77-4-0-0		 SWX008_1
77-4-0-0		 SWX009_1
77-4-0-0		 SWX010_1
77-4-0-0		 SWX011_1
77-4-0-0		 SWX012_1
77-4-0-0		 SWX013_1
77-4-0-0
SWX014_1
77-4-0-0		 SWX015_1
77-4-0-0		 SWX016_1
77-4-0-0		 SWX017_1
77-4-0-0		 SWX018_1
77-4-0-0		 SWX019_1
77-4-0-0		 SWX020_1
77-4-0-0
SWX021_1
77-4-0-0		 SWX022+1
77-58-6-4		 SWX023+1
77-58-4-4		 SWX024+1
77-58-11-9		 SWX025+1
77-58-6-5		 SWX026+1
77-58-7-6		 SWX027+1
77-58-5-4
SWX028+1
77-58-1-1		 SWX029+1
77-58-8-8		 SWX030+1
77-58-2-2		 SWX031+1
77-58-4-4		 SWX032+1
77-58-8-7		 SWX033+1
77-58-11-8		 SWX034+1
77-58-11-9
SWX035+1
77-58-15-14		 SWX036+1
77-58-2-2		 SWX037+1
77-58-3-3		 SWX038+1
77-58-2-2		 SWX039+1
77-58-7-5		 SWX040+1
77-58-5-5		 SWX041+1
77-58-4-3
SWX042+1
77-58-7-6		 SWX043+1
77-58-7-6		 SWX044+1
77-58-2-2		 SWX045+1
77-58-2-2		 SWX046+1
77-58-6-5		 SWX047+1
77-58-10-8		 SWX048+1
77-58-22-18
SWX049+1
77-58-2-2		 SWX050+1
77-58-5-3		 SWX051+1
77-58-5-3		 SWX052+1
77-58-8-7		 SWX053+1
77-58-3-2		 SWX054+1
77-58-0-0		 SWX055+1
77-58-9-7
SWX056+1
77-58-2-2		 SWX057+1
77-58-10-8		 SWX058+1
77-58-8-7		 SWX059+1
77-58-4-4		 SWX060+1
77-58-8-6		 SWX061+1
77-58-3-3		 SWX062+1
77-58-4-4
SWX063+1
77-58-14-13		 SWX064+1
77-58-0-0		 SWX065+1
77-58-0-0		 SWX066+1
77-58-2-2		 SWX067+1
77-58-3-2		 SWX068+1
77-58-0-0		 SWX069+1
77-58-6-5
SWX070+1
77-58-3-3		 SWX071+1
77-58-0-0		 SWX072_1
72-15-7-7		 SWX073_1
72-15-4-4		 SWX074_1
72-15-7-7		 SWX075_1
72-15-4-4		 SWX076_1
72-15-5-5
SWX077_1
72-15-7-7		 SWX078_1
72-15-7-7		 SWX079_1
72-15-7-7		 SWX080_1
72-15-7-7		 SWX081_1
72-15-2-2		 SWX082_1
72-15-2-2		 SWX083_1
72-15-4-3
SWX084_1
72-15-7-7		 SWX085_1
72-15-0-0		 SWX086_1
72-15-6-6		 SWX087_1
72-15-4-4		 SWX088_1
72-15-6-6		 SWX089_1
72-15-7-7		 SWX090_1
72-15-0-0
SWX091_1
72-15-3-3		 SWX092_1
72-15-3-3		 SWX093_1
72-15-3-3		 SWX094_1
72-15-0-0		 SWX095_1
72-15-4-4		 SWX096_1
72-15-4-4		 SWX097_1
72-15-1-1
SWX098_1
72-15-0-0		 SWX099_1
72-15-5-5		 SWX100_1
72-15-6-6		 SWX101_1
72-15-0-0		 SWX102_1
72-15-7-7		 SWX103_1
72-15-4-4		 SWX104_1
72-15-0-0
SWX105_1
72-15-6-6		 SWX106_1
72-15-1-0		 SWX107_1
72-15-4-4		 SWX108_1
72-15-5-5		 SWX109_1
72-15-4-4		 SWX110_1
72-15-3-2		 SWX111_1
72-15-0-0
SWX112_1
72-15-6-6		 SWX113_1
72-15-6-6		 SWX114_1
72-15-0-0		 SWX115_1
72-15-0-0		 SWX116_1
72-15-0-0		 SWX117_1
72-15-0-0		 SWX118_1
72-15-0-0
SWX119_1
72-15-0-0		 SWX120_1
72-15-1-0		 SWX121_1
72-15-7-7