TSTP Solution Domain: SWX

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