TSTP Solution Domain: SCT

NumberOfSystems-NumberAttempted-NumberSuccessful-NumberOutputSolutions
SCT001-1
90-54-0-0		 SCT002-1
90-54-34-25		 SCT003-1
90-54-1-0		 SCT004-1
90-54-26-21		 SCT005-1
90-54-0-0		 SCT006-1
90-54-7-6		 SCT007-1
90-54-37-28
SCT008-1
90-54-1-0		 SCT009-1
90-54-0-0		 SCT010-1
90-54-0-0		 SCT011-1
90-54-0-0		 SCT012-1
90-54-1-0		 SCT013-1
90-54-1-0		 SCT014-1
90-54-8-7
SCT015-1
90-54-0-0		 SCT016-1
90-54-8-7		 SCT017-1
90-54-0-0		 SCT018-1
90-54-0-0		 SCT019-1
90-54-3-3		 SCT020-1
90-54-15-12		 SCT021-1
90-54-16-13
SCT022-1
90-54-16-13		 SCT023-1
90-54-24-18		 SCT024-1
90-54-24-20		 SCT025-1
90-54-5-4		 SCT026-1
90-54-30-23		 SCT027-1
90-54-41-31		 SCT028-1
90-54-30-23
SCT029-1
90-57-25-19		 SCT030-1
90-54-8-7		 SCT031-1
90-54-27-19		 SCT032-1
90-54-0-0		 SCT033-1
90-54-14-13		 SCT034-1
90-54-0-0		 SCT035-1
90-54-0-0
SCT036-1
90-54-0-0		 SCT037-1
90-54-0-0		 SCT038-1
90-54-0-0		 SCT039-1
90-54-0-0		 SCT040-1
90-54-16-16		 SCT041-1
90-54-7-7		 SCT042-1
90-54-33-25
SCT043-1
90-54-7-6		 SCT044-1
90-54-6-5		 SCT045-1
90-54-6-5		 SCT046-1
90-54-0-0		 SCT047-1
90-54-2-2		 SCT048-1
90-54-0-0		 SCT049-1
90-54-1-1
SCT050-1
90-54-0-0		 SCT051-1
90-54-0-0		 SCT052-1
90-54-46-31		 SCT053-1
90-54-0-0		 SCT054-1
90-54-0-0		 SCT055-1
90-54-23-19		 SCT056-1
90-54-2-2
SCT057-1
90-54-25-19		 SCT058-1
90-54-19-16		 SCT059-1
90-54-1-0		 SCT060-1
90-54-3-3		 SCT061-1
90-54-45-30		 SCT062-1
90-54-3-3		 SCT063-1
90-54-2-2
SCT064-1
90-54-26-20		 SCT065-1
90-54-0-0		 SCT066-1
90-54-9-9		 SCT067-1
90-54-9-9		 SCT068-1
90-54-8-8		 SCT069-1
90-54-11-10		 SCT070-1
90-54-28-18
SCT071-1
90-54-25-22		 SCT072-1
90-57-32-23		 SCT073-1
90-54-29-24		 SCT074-1
90-54-35-26		 SCT075-1
90-54-29-24		 SCT076-1
90-54-36-26		 SCT077-1
90-54-9-8
SCT078-1
90-54-0-0		 SCT079-1
90-54-6-6		 SCT080-1
90-54-24-20		 SCT081-1
90-54-3-3		 SCT082-1
90-54-1-1		 SCT083-1
90-54-24-20		 SCT084-1
90-54-3-3
SCT085-1
90-54-19-17		 SCT086-1
90-54-24-21		 SCT087-1
90-54-1-0		 SCT088-1
90-54-32-25		 SCT089-1
90-54-9-9		 SCT090-1
90-54-0-0		 SCT091-1
90-54-6-6
SCT092-1
90-54-0-0		 SCT093-1
90-54-2-2		 SCT094-1
90-54-42-29		 SCT095-1
90-54-0-0		 SCT096-1
90-54-7-7		 SCT097-1
90-54-29-23		 SCT098-1
90-54-3-3
SCT099-1
90-54-0-0		 SCT100-1
90-54-43-29		 SCT101-1
90-57-33-23		 SCT102+1
90-63-6-6		 SCT103+1
90-63-0-0		 SCT104+1
90-63-0-0		 SCT105+1
90-63-38-28
SCT106+1
90-63-1-0		 SCT107+1
90-63-0-0		 SCT108+1
90-63-0-0		 SCT109+1
90-63-0-0		 SCT110+1
90-63-0-0		 SCT111+1
90-63-0-0		 SCT112+1
90-63-0-0
SCT113+1
90-63-0-0		 SCT114+1
90-63-0-0		 SCT115+1
90-63-12-9		 SCT116+1
90-63-0-0		 SCT117+1
90-63-15-11		 SCT118+1
90-63-1-1		 SCT119+1
90-63-0-0
SCT120+1
90-63-18-13		 SCT121+1
90-63-18-14		 SCT122+1
90-63-23-16		 SCT123+1
90-63-21-18		 SCT124+1
90-63-2-2		 SCT125+1
90-63-1-1		 SCT126+1
90-63-36-27
SCT127+1
90-63-1-1		 SCT128+1
90-63-16-13		 SCT129+1
90-63-2-2		 SCT130+1
90-63-2-2		 SCT131+1
90-63-32-26		 SCT132+1
90-63-1-1		 SCT133+1
90-63-1-1
SCT134+1
90-63-14-11		 SCT135+1
90-63-17-14		 SCT136+1
90-63-10-10		 SCT137+1
90-63-9-9		 SCT138+1
90-63-9-9		 SCT139+1
90-63-10-10		 SCT140+1
90-63-2-2
SCT141+1
90-63-12-11		 SCT142+1
90-63-3-3		 SCT143+1
90-63-11-11		 SCT144+1
90-63-1-1		 SCT145+1
90-63-2-2		 SCT146+1
90-63-29-25		 SCT147+1
90-63-32-26
SCT148+1
90-63-3-3		 SCT149+1
90-63-35-27		 SCT150+1
90-63-0-0		 SCT151+1
90-63-9-7		 SCT152+1
90-63-12-10		 SCT153+1
90-63-11-8		 SCT154+1
90-63-10-8
SCT155+1
90-63-18-14		 SCT156+1
90-63-14-12		 SCT157+1
90-63-13-11		 SCT158+1
90-63-14-12		 SCT159+1
90-63-24-17		 SCT160+1
90-63-0-0		 SCT161+1
90-63-17-12
SCT162+1
90-63-11-10		 SCT163+1
90-63-11-10		 SCT164+1
90-63-18-13		 SCT165+1
90-63-19-14		 SCT166+1
90-63-17-12		 SCT167+1
90-63-17-12		 SCT168+1
90-63-17-12
SCT169+1
90-63-0-0		 SCT169^1
91-19-0-0		 SCT169_1
91-25-0-0		 SCT169_10
71-23-0-0		 SCT169+2
90-63-0-0		 SCT169^2
91-19-1-1		 SCT169_2
91-25-0-0
SCT169_20
71-23-0-0		 SCT169+3
90-63-1-1		 SCT169^3
91-8-0-0		 SCT169_3
91-25-1-1		 SCT169_30
71-23-0-0		 SCT169+5
90-63-0-0		 SCT169_5
90-5-3-3
SCT169+6
90-63-0-0		 SCT169+7
90-63-0-0		 SCT170+1
90-63-0-0		 SCT170^1
91-19-0-0		 SCT170_1
91-25-0-0		 SCT170_10
71-23-0-0		 SCT170+2
90-63-4-4
SCT170^2
91-19-5-3		 SCT170_2
91-25-5-2		 SCT170_20
71-23-0-0		 SCT170+3
90-63-2-2		 SCT170^3
91-19-5-3		 SCT170_3
91-25-5-4		 SCT170_30
71-23-0-0
SCT170+5
90-63-0-0		 SCT170_5
90-5-0-0		 SCT170+6
90-63-1-1		 SCT170+7
90-63-1-1		 SCT171+1
90-63-50-38		 SCT171^1
91-19-13-9		 SCT171_1
91-25-20-17
SCT171_10
71-23-0-0		 SCT171+2
90-63-50-38		 SCT171^2
91-19-12-9		 SCT171_2
91-25-19-16		 SCT171_20
71-23-0-0		 SCT171+3
90-63-50-37		 SCT171^3
91-19-12-9
SCT171_3
91-25-19-16		 SCT171_30
71-23-0-0		 SCT171+5
90-63-50-38		 SCT171+6
90-63-47-35		 SCT171+7
90-63-48-35		 SCT172_5
90-5-2-2		 SCT173_5
90-5-0-0
SCT174_5
90-5-1-1		 SCT175_5
90-5-2-2		 SCT176_5
90-5-4-3		 SCT177_5
90-5-0-0		 SCT178_5
90-5-0-0		 SCT179_5
90-5-5-4		 SCT180_5
90-5-0-0
SCT181_5
90-5-0-0		 SCT182_5
90-5-0-0		 SCT183_5
90-5-0-0		 SCT184_5
90-5-1-1		 SCT185_5
90-5-1-1		 SCT186_5
90-5-0-0		 SCT187_5
90-5-2-2
SCT188_5
90-5-0-0		 SCT189_5
90-5-2-2		 SCT190_5
90-5-0-0		 SCT191_5
90-5-0-0		 SCT192_5
90-5-2-2		 SCT193_5
90-5-2-2		 SCT194_5
90-5-2-2
SCT195_5
90-5-3-3		 SCT196_5
90-5-3-3		 SCT197_5
90-5-2-2		 SCT198_5
90-5-3-3		 SCT199_5
90-5-5-4		 SCT200_5
90-5-3-3		 SCT201_5
90-5-0-0
SCT202_5
90-5-2-2		 SCT203_5
90-5-3-3		 SCT204_5
90-5-0-0		 SCT205_5
90-5-2-2		 SCT206_5
90-5-0-0		 SCT207_5
90-5-3-3		 SCT208_5
90-5-1-1
SCT209_5
90-5-3-3		 SCT210_5
90-5-0-0		 SCT211_5
90-5-0-0		 SCT212_5
90-5-2-2		 SCT213_5
90-5-2-2		 SCT214_5
90-5-4-4		 SCT215_5
90-5-0-0
SCT216_5
90-5-0-0		 SCT217_5
90-5-0-0		 SCT218_5
90-5-1-1		 SCT219_5
90-5-0-0		 SCT220_5
90-5-0-0		 SCT221_5
90-5-0-0		 SCT222_5
90-5-5-4
SCT223_5
90-5-2-2		 SCT224_5
90-5-3-3		 SCT225_5
90-5-1-1		 SCT226_5
90-5-4-3		 SCT227_5
90-5-3-3		 SCT228_5
90-5-0-0		 SCT229_5
90-5-5-4
SCT230_5
90-5-1-1		 SCT231_5
90-5-4-3		 SCT232_5
90-5-2-2		 SCT233_5
90-5-3-3		 SCT234_5
90-5-3-3		 SCT235_5
90-5-3-3		 SCT236_5
90-5-3-3
SCT237_5
90-5-4-3		 SCT238_5
90-5-0-0		 SCT239_5
90-5-3-2		 SCT240_5
90-5-5-4		 SCT241_5
90-5-3-3		 SCT242_5
90-5-4-3		 SCT243_5
90-5-3-3
SCT244_5
90-5-0-0		 SCT245_5
90-5-0-0		 SCT246_5
90-5-3-3		 SCT247_5
90-5-3-3		 SCT248_5
90-5-1-1		 SCT249_5
90-5-0-0		 SCT250_5
90-5-3-3
SCT251_5
90-5-1-1		 SCT252_5
90-5-4-3		 SCT253_5
90-5-4-3		 SCT254_5
90-5-0-0		 SCT255_5
90-5-4-4		 SCT256_5
90-5-0-0		 SCT257_5
90-5-0-0
SCT258_5
90-5-0-0		 SCT259_5
90-5-0-0		 SCT260_5
90-5-0-0		 SCT261_5
90-5-4-4		 SCT262_5
90-5-0-0		 SCT263_5
90-5-0-0		 SCT264_5
90-5-3-3
SCT265_5
90-5-0-0