TSTP Solution Domain: SCT

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