TSTP Solution Domain: SCT

NumberOfSystems-NumberAttempted-NumberSuccessful-NumberOutputSolutions

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