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-1-1		 SWX004_1
77-4-1-1		 SWX005_1
77-4-1-1		 SWX006_1
77-4-1-1
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-4-3		 SWX023+1
77-58-3-3		 SWX024+1
77-58-9-8		 SWX025+1
77-58-4-4		 SWX026+1
77-58-5-5		 SWX027+1
77-58-3-3
SWX028+1
77-58-2-2		 SWX029+1
77-58-5-5		 SWX030+1
77-58-2-2		 SWX031+1
77-58-3-3		 SWX032+1
77-58-6-5		 SWX033+1
77-58-9-7		 SWX034+1
77-58-9-8
SWX035+1
77-58-14-14		 SWX036+1
77-58-2-2		 SWX037+1
77-58-3-3		 SWX038+1
77-58-2-2		 SWX039+1
77-58-5-4		 SWX040+1
77-58-4-4		 SWX041+1
77-58-3-3
SWX042+1
77-58-5-5		 SWX043+1
77-58-5-5		 SWX044+1
77-58-2-2		 SWX045+1
77-58-2-2		 SWX046+1
77-58-5-4		 SWX047+1
77-58-8-7		 SWX048+1
77-58-22-19
SWX049+1
77-58-2-2		 SWX050+1
77-58-5-3		 SWX051+1
77-58-5-3		 SWX052+1
77-58-5-5		 SWX053+1
77-58-2-2		 SWX054+1
77-58-1-1		 SWX055+1
77-58-9-7
SWX056+1
77-58-2-2		 SWX057+1
77-58-8-7		 SWX058+1
77-58-7-6		 SWX059+1
77-58-5-5		 SWX060+1
77-58-6-5		 SWX061+1
77-58-3-3		 SWX062+1
77-58-3-3
SWX063+1
77-58-12-12		 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-5-4
SWX070+1
77-58-3-3		 SWX071+1
77-58-1-1		 SWX072_1
72-15-9-9		 SWX073_1
72-15-6-6		 SWX074_1
72-15-9-9		 SWX075_1
72-15-5-5		 SWX076_1
72-15-6-6
SWX077_1
72-15-9-9		 SWX078_1
72-15-9-9		 SWX079_1
72-15-9-9		 SWX080_1
72-15-9-9		 SWX081_1
72-15-3-3		 SWX082_1
72-15-3-3		 SWX083_1
72-15-5-4
SWX084_1
72-15-9-9		 SWX085_1
72-15-0-0		 SWX086_1
72-15-8-8		 SWX087_1
72-15-5-5		 SWX088_1
72-15-8-8		 SWX089_1
72-15-9-9		 SWX090_1
72-15-0-0
SWX091_1
72-15-3-3		 SWX092_1
72-15-4-4		 SWX093_1
72-15-4-4		 SWX094_1
72-15-0-0		 SWX095_1
72-15-5-5		 SWX096_1
72-15-4-4		 SWX097_1
72-15-1-1
SWX098_1
72-15-0-0		 SWX099_1
72-15-6-6		 SWX100_1
72-15-8-8		 SWX101_1
72-15-0-0		 SWX102_1
72-15-9-9		 SWX103_1
72-15-4-4		 SWX104_1
72-15-0-0
SWX105_1
72-15-8-8		 SWX106_1
72-15-2-1		 SWX107_1
72-15-6-6		 SWX108_1
72-15-7-7		 SWX109_1
72-15-6-6		 SWX110_1
72-15-3-2		 SWX111_1
72-15-0-0
SWX112_1
72-15-8-8		 SWX113_1
72-15-8-8		 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-2-1		 SWX121_1
72-15-9-9		 SWX122_1
77-14-0-0		 SWX123_1
77-14-1-1		 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-15-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
SWX154^1
76-15-7-6		 SWX155^1
76-15-6-5		 SWX156^1
76-15-5-5		 SWX157^1
76-15-6-5		 SWX158^1
76-15-7-6		 SWX159^1
76-15-8-7		 SWX160^1
76-15-6-5
SWX161^1
76-15-5-4		 SWX162^1
76-15-5-4		 SWX163^1
76-15-4-3		 SWX164^1
76-15-4-3		 SWX165^1
76-15-6-5		 SWX166^1
76-15-5-4		 SWX167^1
76-15-6-5
SWX168^1
76-15-5-4		 SWX169^1
76-15-5-4		 SWX170^1
76-15-5-4		 SWX171^1
76-15-5-4		 SWX172^1
76-15-6-5		 SWX173^1
76-15-8-7		 SWX174^1
76-15-8-7
SWX175^1
76-15-6-6		 SWX176^1
76-15-7-6		 SWX177^1
76-15-8-7		 SWX178^1
76-15-6-6		 SWX179^1
76-15-6-6		 SWX180^1
76-15-7-7		 SWX181^1
76-15-7-6
SWX182^1
76-15-4-4		 SWX183^1
76-15-6-5		 SWX184^1
76-15-6-5		 SWX185+1
76-57-15-15		 SWX185-1
76-47-10-9		 SWX186+1
76-57-41-32		 SWX186-1
76-47-27-24
SWX187+1
76-57-21-18		 SWX187-1
76-47-5-5		 SWX188+1
76-57-1-1		 SWX188-1
76-47-1-1		 SWX189+1
76-57-2-2		 SWX189-1
76-47-4-4		 SWX190+1
76-57-27-25
SWX190-1
76-47-24-22		 SWX191+1
76-57-1-1		 SWX191-1
76-47-3-3		 SWX192+1
76-57-1-1		 SWX192-1
76-47-3-3		 SWX193+1
76-57-1-1		 SWX193-1
76-47-2-2
SWX194+1
76-57-2-2		 SWX194-1
76-47-6-6		 SWX195+1
76-57-0-0		 SWX195-1
76-47-0-0		 SWX196+1
76-57-0-0		 SWX196-1
76-47-0-0		 SWX197+1
76-57-13-12
SWX197-1
76-47-2-2		 SWX198+1
76-57-0-0		 SWX198-1
76-53-0-0		 SWX199+1
76-57-26-24		 SWX199-1
76-47-22-20		 SWX200+1
76-57-41-33		 SWX200-1
76-53-30-28
SWX201+1
76-57-1-1		 SWX201-1
76-53-8-7		 SWX202+1
76-57-1-1		 SWX202-1
76-53-8-7		 SWX203+1
76-57-21-19		 SWX203-1
76-53-19-17		 SWX204+1
76-57-30-26
SWX204-1
76-53-31-28		 SWX205+1
76-58-16-13		 SWX205-1
76-53-14-10		 SWX206+1
76-57-46-37		 SWX206-1
76-53-33-28		 SWX207+1
76-57-31-27		 SWX207-1
76-47-25-23
SWX208+1
76-57-0-0		 SWX208-1
76-47-0-0		 SWX209+1
76-57-6-5		 SWX209-1
76-53-2-2		 SWX210+1
76-57-8-7		 SWX210-1
76-53-1-1		 SWX211+1
76-57-1-1
SWX211-1
76-53-0-0		 SWX212+1
76-57-6-6		 SWX212-1
76-53-8-7		 SWX213+1
76-57-0-0		 SWX213-1
76-53-0-0		 SWX214+1
76-57-0-0		 SWX214-1
76-53-2-2
SWX215+1
76-57-0-0		 SWX215-1
76-53-0-0		 SWX216+1
76-6-0-0		 SWX216-1
76-47-0-0		 SWX217+1
76-57-24-22		 SWX217-1
76-53-26-24		 SWX218+1
76-57-0-0
SWX218-1
76-47-0-0		 SWX219+1
76-57-19-17		 SWX219-1
76-47-0-0		 SWX220+1
76-57-15-15		 SWX220-1
76-47-1-1		 SWX221+1
76-57-17-15		 SWX221-1
76-47-1-1
SWX222+1
76-57-34-29		 SWX222-1
76-47-26-24		 SWX223+1
76-57-20-18		 SWX223-1
76-47-2-2		 SWX224+1
76-57-24-21		 SWX224-1
76-47-4-4		 SWX225+1
76-57-0-0
SWX225-1
76-47-0-0		 SWX226+1
76-57-0-0		 SWX226-1
76-47-0-0		 SWX227+1
76-57-0-0		 SWX227-1
76-47-0-0		 SWX228-1
76-47-26-24		 SWX228_1
76-6-2-2
SWX229-1
76-53-0-0		 SWX229_1
76-6-0-0		 SWX230-1
76-53-0-0		 SWX230_1
76-6-0-0		 SWX231-1
76-53-0-0		 SWX231_1
76-6-0-0		 SWX232-1
76-53-0-0
SWX232_1
76-6-0-0		 SWX233-1
76-53-40-33		 SWX233_1
76-6-5-5		 SWX234-1
76-53-0-0		 SWX234_1
76-6-4-4		 SWX235-1
76-53-0-0		 SWX235_1
76-6-2-2
SWX236-1
76-53-0-0		 SWX236_1
76-6-2-2		 SWX237-1
76-53-0-0		 SWX237_1
76-6-2-2		 SWX238-1
76-53-0-0		 SWX238_1
76-6-0-0		 SWX239-1
76-53-22-20
SWX239_1
76-6-5-5		 SWX240-1
76-47-10-9		 SWX240_1
76-57-14-13		 SWX241-1
76-47-9-8		 SWX241_1
76-57-11-10		 SWX242-1
76-47-10-9		 SWX242_1
76-6-1-1