TSTP Solution Domain: SWX

NumberOfSystems-NumberAttempted-NumberSuccessful-NumberOutputSolutions
SWX000_1
74-4-0-0		 SWX001_1
74-4-0-0		 SWX002_1
74-4-2-2		 SWX003_1
74-4-1-1		 SWX004_1
74-4-1-1		 SWX005_1
74-4-1-1		 SWX006_1
74-4-1-1
SWX007_1
74-4-0-0		 SWX008_1
74-4-0-0		 SWX009_1
74-4-0-0		 SWX010_1
74-4-0-0		 SWX011_1
74-4-0-0		 SWX012_1
74-4-0-0		 SWX013_1
74-4-0-0
SWX014_1
74-4-0-0		 SWX015_1
74-4-0-0		 SWX016_1
74-4-0-0		 SWX017_1
74-4-0-0		 SWX018_1
74-4-0-0		 SWX019_1
74-4-0-0		 SWX020_1
74-4-0-0
SWX021_1
74-4-0-0		 SWX022+1
74-55-3-2		 SWX023+1
74-55-2-2		 SWX024+1
74-55-7-6		 SWX025+1
74-55-2-2		 SWX026+1
74-55-3-3		 SWX027+1
74-55-2-2
SWX028+1
74-55-1-1		 SWX029+1
74-55-4-4		 SWX030+1
74-55-2-2		 SWX031+1
74-55-2-2		 SWX032+1
74-55-4-3		 SWX033+1
74-55-7-5		 SWX034+1
74-55-7-6
SWX035+1
74-55-12-12		 SWX036+1
74-55-2-2		 SWX037+1
74-55-2-2		 SWX038+1
74-55-2-2		 SWX039+1
74-55-3-2		 SWX040+1
74-55-3-3		 SWX041+1
74-55-2-2
SWX042+1
74-55-3-3		 SWX043+1
74-55-3-3		 SWX044+1
74-55-2-2		 SWX045+1
74-55-2-2		 SWX046+1
74-55-5-4		 SWX047+1
74-55-6-5		 SWX048+1
74-55-19-16
SWX049+1
74-55-2-2		 SWX050+1
74-55-5-3		 SWX051+1
74-55-5-3		 SWX052+1
74-55-3-3		 SWX053+1
74-55-1-1		 SWX054+1
74-55-1-1		 SWX055+1
74-55-8-6
SWX056+1
74-55-2-2		 SWX057+1
74-55-6-5		 SWX058+1
74-55-6-5		 SWX059+1
74-55-4-4		 SWX060+1
74-55-5-4		 SWX061+1
74-55-2-2		 SWX062+1
74-55-2-2
SWX063+1
74-55-9-9		 SWX064+1
74-55-0-0		 SWX065+1
74-55-0-0		 SWX066+1
74-55-2-2		 SWX067+1
74-55-3-2		 SWX068+1
74-55-0-0		 SWX069+1
74-55-4-3
SWX070+1
74-55-2-2		 SWX071+1
74-55-1-1		 SWX072_1
69-13-7-7		 SWX073_1
69-13-4-4		 SWX074_1
69-13-7-7		 SWX075_1
69-13-3-3		 SWX076_1
69-13-4-4
SWX077_1
69-13-7-7		 SWX078_1
69-13-7-7		 SWX079_1
69-13-7-7		 SWX080_1
69-13-7-7		 SWX081_1
69-13-2-2		 SWX082_1
69-13-2-2		 SWX083_1
69-13-4-3
SWX084_1
69-13-7-7		 SWX085_1
69-13-0-0		 SWX086_1
69-13-6-6		 SWX087_1
69-13-4-4		 SWX088_1
69-13-6-6		 SWX089_1
69-13-7-7		 SWX090_1
69-13-0-0
SWX091_1
69-13-1-1		 SWX092_1
69-13-2-2		 SWX093_1
69-13-2-2		 SWX094_1
69-13-0-0		 SWX095_1
69-13-3-3		 SWX096_1
69-13-2-2		 SWX097_1
69-13-0-0
SWX098_1
69-13-0-0		 SWX099_1
69-13-4-4		 SWX100_1
69-13-6-6		 SWX101_1
69-13-0-0		 SWX102_1
69-13-7-7		 SWX103_1
69-13-2-2		 SWX104_1
69-13-0-0
SWX105_1
69-13-6-6		 SWX106_1
69-13-2-1		 SWX107_1
69-13-4-4		 SWX108_1
69-13-5-5		 SWX109_1
69-13-4-4		 SWX110_1
69-13-2-1		 SWX111_1
69-13-0-0
SWX112_1
69-13-6-6		 SWX113_1
69-13-6-6		 SWX114_1
69-13-0-0		 SWX115_1
69-13-0-0		 SWX116_1
69-13-0-0		 SWX117_1
69-13-0-0		 SWX118_1
69-13-0-0
SWX119_1
69-13-0-0		 SWX120_1
69-13-2-1		 SWX121_1
69-13-7-7		 SWX122_1
74-12-0-0		 SWX123_1
74-12-1-1		 SWX124_1
74-12-0-0		 SWX125_1
74-12-2-2
SWX126_1
74-12-0-0		 SWX127_1
74-12-1-1		 SWX128_1
74-12-0-0		 SWX129_1
74-12-1-1		 SWX130_1
74-12-0-0		 SWX131_1
74-13-1-1		 SWX132_1
74-12-0-0
SWX133_1
74-12-0-0		 SWX134_1
74-12-0-0		 SWX135_1
74-12-1-1		 SWX136_1
74-12-0-0		 SWX137_1
74-12-1-1		 SWX138_1
74-12-0-0		 SWX139_1
74-12-1-1
SWX140_1
74-12-0-0		 SWX141_1
74-12-1-1		 SWX142_1
74-12-0-0		 SWX143_1
74-12-1-1		 SWX144_1
74-12-0-0		 SWX145_1
74-12-0-0		 SWX146_1
74-12-0-0
SWX147_1
74-12-1-1		 SWX148_1
74-12-0-0		 SWX149_1
74-12-1-1		 SWX150_1
74-12-0-0		 SWX151_1
74-12-0-0		 SWX152_1
74-12-2-2		 SWX153_1
74-12-8-7
SWX154^1
73-15-7-6		 SWX155^1
73-15-6-5		 SWX156^1
73-15-5-5		 SWX157^1
73-15-6-5		 SWX158^1
73-15-7-6		 SWX159^1
73-15-8-7		 SWX160^1
73-15-6-5
SWX161^1
73-15-5-4		 SWX162^1
73-15-5-4		 SWX163^1
73-15-4-3		 SWX164^1
73-15-4-3		 SWX165^1
73-15-6-5		 SWX166^1
73-15-5-4		 SWX167^1
73-15-6-5
SWX168^1
73-15-5-4		 SWX169^1
73-15-5-4		 SWX170^1
73-15-5-4		 SWX171^1
73-15-5-4		 SWX172^1
73-15-6-5		 SWX173^1
73-15-8-7		 SWX174^1
73-15-8-7
SWX175^1
73-15-6-6		 SWX176^1
73-15-7-6		 SWX177^1
73-15-8-7		 SWX178^1
73-15-6-6		 SWX179^1
73-15-6-6		 SWX180^1
73-15-7-7		 SWX181^1
73-15-7-6
SWX182^1
73-15-4-4		 SWX183^1
73-15-6-5		 SWX184^1
73-15-6-5		 SWX185+1
73-54-13-13		 SWX185-1
73-44-8-8		 SWX186+1
73-54-38-30		 SWX186-1
73-44-24-22
SWX187+1
73-54-18-16		 SWX187-1
73-44-3-3		 SWX188+1
73-54-1-1		 SWX188-1
73-44-1-1		 SWX189+1
73-54-2-2		 SWX189-1
73-44-4-4		 SWX190+1
73-54-24-23
SWX190-1
73-44-21-20		 SWX191+1
73-54-1-1		 SWX191-1
73-44-3-3		 SWX192+1
73-54-1-1		 SWX192-1
73-44-3-3		 SWX193+1
73-54-1-1		 SWX193-1
73-44-2-2
SWX194+1
73-54-2-2		 SWX194-1
73-44-4-4		 SWX195+1
73-54-0-0		 SWX195-1
73-44-0-0		 SWX196+1
73-54-0-0		 SWX196-1
73-44-0-0		 SWX197+1
73-54-10-10
SWX197-1
73-44-2-2		 SWX198+1
73-54-0-0		 SWX198-1
73-50-0-0		 SWX199+1
73-54-23-22		 SWX199-1
73-44-19-18		 SWX200+1
73-54-38-31		 SWX200-1
73-50-27-26
SWX201+1
73-54-1-1		 SWX201-1
73-50-6-6		 SWX202+1
73-54-1-1		 SWX202-1
73-50-6-6		 SWX203+1
73-54-18-17		 SWX203-1
73-50-16-15		 SWX204+1
73-54-27-24
SWX204-1
73-50-28-26		 SWX205+1
73-55-14-11		 SWX205-1
73-50-12-8		 SWX206+1
73-54-43-35		 SWX206-1
73-50-30-26		 SWX207+1
73-54-28-25		 SWX207-1
73-44-22-21
SWX208+1
73-54-0-0		 SWX208-1
73-44-0-0		 SWX209+1
73-54-4-4		 SWX209-1
73-50-1-1		 SWX210+1
73-54-6-6		 SWX210-1
73-50-1-1		 SWX211+1
73-54-0-0
SWX211-1
73-50-0-0		 SWX212+1
73-54-4-4		 SWX212-1
73-50-6-6		 SWX213+1
73-54-0-0		 SWX213-1
73-50-0-0		 SWX214+1
73-54-0-0		 SWX214-1
73-50-2-2
SWX215+1
73-54-0-0		 SWX215-1
73-50-0-0		 SWX216+1
73-6-0-0		 SWX216-1
73-44-0-0		 SWX217+1
73-54-21-20		 SWX217-1
73-50-23-22		 SWX218+1
73-54-0-0
SWX218-1
73-44-0-0		 SWX219+1
73-54-16-15		 SWX219-1
73-44-0-0		 SWX220+1
73-54-13-13		 SWX220-1
73-44-1-1		 SWX221+1
73-54-14-13		 SWX221-1
73-44-1-1
SWX222+1
73-54-31-27		 SWX222-1
73-44-23-22		 SWX223+1
73-54-17-16		 SWX223-1
73-44-2-2		 SWX224+1
73-54-21-19		 SWX224-1
73-44-3-3		 SWX225+1
73-54-0-0
SWX225-1
73-44-0-0		 SWX226+1
73-54-0-0		 SWX226-1
73-44-0-0		 SWX227+1
73-54-0-0		 SWX227-1
73-44-0-0		 SWX228-1
73-44-23-22		 SWX228_1
73-6-2-2
SWX229-1
73-50-0-0		 SWX229_1
73-6-0-0		 SWX230-1
73-50-0-0		 SWX230_1
73-6-0-0		 SWX231-1
73-50-0-0		 SWX231_1
73-6-0-0		 SWX232-1
73-50-0-0
SWX232_1
73-6-0-0		 SWX233-1
73-50-37-31		 SWX233_1
73-6-5-5		 SWX234-1
73-50-0-0		 SWX234_1
73-6-4-4		 SWX235-1
73-50-0-0		 SWX235_1
73-6-2-2
SWX236-1
73-50-0-0		 SWX236_1
73-6-2-2		 SWX237-1
73-50-0-0		 SWX237_1
73-6-2-2		 SWX238-1
73-50-0-0		 SWX238_1
73-6-0-0		 SWX239-1
73-50-19-18
SWX239_1
73-6-5-5		 SWX240-1
73-44-8-8		 SWX240_1
73-54-12-12		 SWX241-1
73-44-7-7		 SWX241_1
73-54-9-9		 SWX242-1
73-44-7-7		 SWX242_1
73-6-1-1