TSTP Solution Domain: SCT

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