TSTP Solution Domain: DAT

NumberOfSystems-NumberAttempted-NumberSuccessful-NumberOutputSolutions

`DAT001_1` 91-17-13-12	`DAT002^1` 82-8-1-1	`DAT002_1` 91-17-13-12	`DAT003_1` 91-17-12-12	`DAT004_1` 91-17-12-12	`DAT005_1` 91-17-11-11	`DAT006_1` 91-17-12-11
`DAT007_1` 91-17-12-11	`DAT008_1` 91-17-12-12	`DAT009_1` 91-17-12-12	`DAT010_1` 91-17-11-11	`DAT011_1` 91-17-11-11	`DAT012_1` 91-17-11-11	`DAT013_1` 91-17-11-11
`DAT014_1` 91-17-10-10	`DAT015_1` 91-17-11-10	`DAT016_1` 91-17-9-8	`DAT017_1` 91-17-11-11	`DAT018_1` 91-17-10-9	`DAT019_1` 91-17-13-12	`DAT020_1` 91-17-12-12
`DAT021_1` 91-17-11-11	`DAT022_1` 91-17-12-12	`DAT023_1` 91-17-11-11	`DAT024_1` 91-17-11-11	`DAT025_1` 91-17-11-11	`DAT026_1` 91-17-11-11	`DAT027_1` 91-17-11-11
`DAT028_1` 91-17-11-11	`DAT029_1` 91-17-8-8	`DAT030_1` 91-17-11-11	`DAT031_1` 91-17-12-12	`DAT032_1` 91-17-10-10	`DAT033_1` 91-17-11-11	`DAT034_1` 91-17-11-11
`DAT035_1` 91-17-10-10	`DAT036_1` 91-17-10-10	`DAT037_1` 91-17-11-11	`DAT038_1` 91-17-11-11	`DAT039_1` 91-17-10-10	`DAT040_1` 91-17-8-8	`DAT041_1` 91-17-11-10
`DAT042_1` 91-17-7-7	`DAT043_1` 91-17-7-7	`DAT044_1` 91-17-11-11	`DAT045_1` 91-17-11-11	`DAT046_1` 91-17-11-11	`DAT047_1` 91-17-11-11	`DAT048_1` 91-17-10-10
`DAT049_1` 91-17-9-9	`DAT050_1` 91-17-8-8	`DAT051_1` 91-17-10-10	`DAT052_1` 91-17-9-9	`DAT053_1` 91-17-10-10	`DAT054_1` 91-17-3-2	`DAT055_1` 91-17-11-11
`DAT056^1` 90-19-12-9	`DAT056^2` 90-19-5-5	`DAT057_1` 90-17-12-12	`DAT058_1` 90-17-12-11	`DAT059_1` 90-17-13-12	`DAT060_1` 90-17-12-12	`DAT061_1` 90-17-12-12
`DAT062_1` 90-17-11-11	`DAT063_1` 90-17-13-12	`DAT064_1` 90-17-0-0	`DAT065_1` 90-17-0-0	`DAT066_1` 90-17-12-12	`DAT067_1` 90-17-12-12	`DAT068_1` 90-17-11-11
`DAT069_1` 90-17-11-11	`DAT070_1` 90-17-12-12	`DAT071_1` 89-17-11-11	`DAT072_1` 89-17-8-8	`DAT073_1` 89-17-10-9	`DAT074_1` 89-17-9-9	`DAT075_1` 89-17-7-7
`DAT076_1` 89-17-11-10	`DAT077_1` 89-17-10-9	`DAT078_1` 89-17-9-9	`DAT079_1` 89-17-12-12	`DAT080_1` 89-17-12-12	`DAT081_1` 89-17-13-12	`DAT082_1` 89-17-13-12
`DAT083_1` 89-17-13-12	`DAT084_1` 89-17-12-11	`DAT085_1` 89-17-12-11	`DAT086_1` 89-17-6-6	`DAT087_1` 89-17-12-11	`DAT088_1` 89-17-12-11	`DAT089_1` 89-17-11-10
`DAT090_1` 89-17-0-0	`DAT091_1` 89-17-11-11	`DAT092_1` 89-17-11-11	`DAT093_1` 89-17-12-11	`DAT094_1` 89-17-8-8	`DAT095_1` 89-17-11-11	`DAT097_1` 89-17-10-10
`DAT098_1` 89-17-11-11	`DAT099_1` 89-17-11-11	`DAT100_1` 89-17-11-11	`DAT101_1` 89-17-10-9	`DAT102_1` 89-17-12-11	`DAT103_1` 89-17-11-11	`DAT104_1` 89-17-8-8
`DAT105_1` 89-17-10-9	`DAT106_1` 89-17-8-7	`DAT107_1` 82-18-0-0	`DAT108_1` 82-17-0-0	`DAT109_1` 82-17-3-2	`DAT110_1` 82-18-3-2	`DAT111_1` 82-17-0-0
`DAT112_1` 82-17-0-0	`DAT113^1` 81-7-0-0	`DAT114^1` 81-7-2-0	`DAT115^1` 81-7-4-1	`DAT117^1` 81-7-3-1	`DAT118^1` 81-7-0-0	`DAT119^1` 81-7-4-1
`DAT120^1` 81-7-1-1	`DAT121^1` 81-7-5-2	`DAT122^1` 81-7-4-1	`DAT123^1` 81-7-1-0	`DAT124^1` 81-7-5-2	`DAT125^1` 81-7-0-0	`DAT126^1` 81-7-0-0
`DAT127^1` 81-7-0-0	`DAT128^1` 81-7-0-0	`DAT129^1` 81-7-4-1	`DAT130^1` 81-7-4-1	`DAT131^1` 81-7-1-1	`DAT132^1` 81-7-4-1	`DAT133^1` 81-7-5-3
`DAT134^1` 81-7-0-0	`DAT135^1` 81-7-0-0	`DAT136^1` 81-7-6-3	`DAT137^1` 81-7-4-1	`DAT138^1` 81-7-4-1	`DAT139^1` 81-7-0-0	`DAT140^1` 81-7-5-2
`DAT141^1` 81-7-2-0	`DAT142^1` 81-7-2-0	`DAT143^1` 81-7-0-0	`DAT144^1` 81-7-5-2	`DAT145^1` 81-7-0-0	`DAT146^1` 81-7-2-0	`DAT147^1` 81-7-6-3
`DAT148^1` 81-7-0-0	`DAT149^1` 81-7-0-0	`DAT150^1` 81-7-4-1	`DAT151^1` 81-7-2-0	`DAT152^1` 81-7-3-1	`DAT153^1` 81-7-5-3	`DAT154^1` 81-7-4-1
`DAT155^1` 81-7-0-0	`DAT156^1` 81-7-0-0	`DAT157^1` 81-7-5-2	`DAT158^1` 81-7-0-0	`DAT159^1` 81-7-3-2	`DAT160^1` 81-7-4-1	`DAT161^1` 81-7-2-0
`DAT162^1` 81-7-3-2	`DAT163^1` 81-7-0-0	`DAT164^1` 81-7-2-0	`DAT165^1` 81-7-2-0	`DAT166^1` 81-7-0-0	`DAT167^1` 81-7-0-0	`DAT168^1` 81-7-2-0
`DAT169^1` 81-7-0-0	`DAT170^1` 81-7-2-1	`DAT171^1` 81-7-2-0	`DAT172^1` 81-7-2-1	`DAT173^1` 81-7-2-0	`DAT174^1` 81-7-2-0	`DAT175^1` 81-7-0-0
`DAT176^1` 81-7-6-3	`DAT177^1` 81-7-7-4	`DAT178^1` 81-7-7-4	`DAT179^1` 81-7-2-0	`DAT180^1` 81-7-4-1	`DAT181^1` 81-7-0-0	`DAT182^1` 81-7-3-0
`DAT183^1` 81-7-6-3	`DAT184^1` 81-7-2-0	`DAT185^1` 81-7-2-0	`DAT186^1` 81-7-3-0	`DAT187^1` 81-7-4-1	`DAT188^1` 81-7-3-1	`DAT189^1` 81-7-4-1
`DAT190^1` 81-7-0-0	`DAT191^1` 81-7-2-0	`DAT192^1` 81-7-4-1	`DAT193^1` 81-7-0-0	`DAT194^1` 81-7-4-1	`DAT195^1` 81-7-0-0	`DAT196^1` 81-7-0-0
`DAT197^1` 81-7-5-2	`DAT198^1` 81-7-2-0	`DAT199^1` 81-7-0-0	`DAT200^1` 81-7-0-0	`DAT201^1` 81-7-0-0	`DAT202^1` 81-7-0-0	`DAT203^1` 81-7-0-0
`DAT204^1` 81-7-0-0	`DAT205^1` 81-7-0-0	`DAT206^1` 81-7-3-1	`DAT207^1` 81-7-4-1	`DAT208^1` 81-7-2-1	`DAT209^1` 81-7-2-0	`DAT210^1` 81-7-2-0
`DAT211^1` 81-7-2-0	`DAT212^1` 81-7-0-0	`DAT213^1` 81-7-4-1	`DAT214^1` 81-7-6-3	`DAT215^1` 81-7-0-0	`DAT216^1` 81-7-2-0	`DAT217^1` 81-7-2-0
`DAT218^1` 81-7-2-0	`DAT219^1` 81-7-4-1	`DAT220^1` 81-7-0-0	`DAT221^1` 81-7-0-0	`DAT222^1` 81-7-0-0	`DAT223^1` 81-7-0-0	`DAT224^1` 81-7-2-0
`DAT225^1` 81-7-0-0	`DAT226^1` 81-7-2-0	`DAT227^1` 81-7-0-0	`DAT228^1` 81-7-2-0	`DAT229^1` 81-7-3-1	`DAT230^1` 81-7-3-1	`DAT231^1` 81-7-1-1
`DAT232^1` 81-7-4-1	`DAT233^1` 81-7-0-0	`DAT234^1` 81-7-4-1	`DAT235^1` 81-7-0-0	`DAT236^1` 81-7-1-1	`DAT237^1` 81-7-0-0	`DAT238^1` 81-7-0-0
`DAT239^1` 81-7-4-3	`DAT240^1` 81-7-0-0	`DAT241^1` 81-7-0-0	`DAT242^1` 81-7-0-0	`DAT243^1` 81-7-0-0	`DAT244^1` 81-7-4-1	`DAT245^1` 81-7-2-0
`DAT246^1` 81-7-2-1	`DAT247^1` 81-7-2-0	`DAT248^1` 81-7-3-0	`DAT249^1` 81-7-0-0	`DAT250^1` 81-7-0-0	`DAT251^1` 81-7-3-1	`DAT252^1` 81-7-2-0
`DAT253^1` 81-7-6-3	`DAT254^1` 81-7-0-0	`DAT255^1` 81-7-1-1	`DAT256^1` 81-7-0-0	`DAT257^1` 81-7-0-0	`DAT258^1` 81-7-0-0	`DAT259^1` 81-7-0-0
`DAT260^1` 81-7-0-0	`DAT261^1` 81-7-0-0	`DAT262^1` 81-7-0-0	`DAT263^1` 81-7-0-0	`DAT264^1` 81-7-0-0	`DAT265^1` 81-7-0-0	`DAT266^1` 81-7-0-0
`DAT267^1` 81-7-0-0	`DAT268^1` 81-7-0-0	`DAT269^1` 81-7-0-0	`DAT270^1` 81-7-0-0	`DAT271^1` 81-7-0-0	`DAT272^1` 81-7-0-0	`DAT273^1` 81-7-0-0
`DAT274^1` 81-7-0-0	`DAT275^1` 81-7-0-0	`DAT276^1` 81-7-7-4	`DAT277^1` 81-7-0-0	`DAT278^1` 81-7-0-0	`DAT279^1` 81-7-0-0	`DAT280^1` 81-7-7-4
`DAT281^1` 81-7-0-0	`DAT282^1` 81-7-7-4	`DAT283^1` 81-7-0-0	`DAT284^1` 81-7-2-2	`DAT285^1` 81-7-0-0	`DAT286^1` 81-7-1-1	`DAT287^1` 81-7-0-0
`DAT288^1` 81-7-3-1	`DAT289^1` 81-7-0-0	`DAT290^1` 81-7-4-2	`DAT291^1` 81-7-0-0	`DAT292^1` 81-7-0-0	`DAT293^1` 81-7-0-0	`DAT294^1` 81-7-4-2
`DAT295^1` 81-7-0-0	`DAT296^1` 81-7-0-0	`DAT297^1` 81-7-6-3	`DAT298^1` 81-7-0-0	`DAT299^1` 81-7-0-0	`DAT300^1` 81-7-0-0	`DAT301^1` 81-7-0-0
`DAT302^1` 81-7-0-0	`DAT303^1` 81-7-0-0	`DAT304^1` 81-7-0-0	`DAT305^1` 81-7-0-0	`DAT306^1` 81-7-0-0	`DAT307^1` 81-7-0-0	`DAT308^1` 81-7-0-0
`DAT309^1` 81-7-0-0	`DAT310^1` 81-7-0-0	`DAT311^1` 81-7-0-0	`DAT312^1` 81-7-0-0	`DAT313^1` 81-7-0-0	`DAT314^1` 81-7-4-2	`DAT315^1` 81-7-7-4
`DAT316^1` 81-7-0-0	`DAT317^1` 81-7-4-2	`DAT318^1` 81-7-0-0	`DAT319^1` 81-7-7-4	`DAT320^1` 81-7-5-2	`DAT321^1` 81-7-0-0	`DAT322^1` 81-7-0-0
`DAT323^1` 81-7-0-0	`DAT324^1` 81-7-7-4	`DAT325^1` 81-7-0-0	`DAT326^1` 81-7-3-1	`DAT327^1` 81-7-2-2	`DAT328^1` 81-7-0-0	`DAT329_1` 81-17-5-4
`DAT330_1` 81-17-7-7	`DAT331_1` 81-17-0-0	`DAT332_1` 81-17-8-8	`DAT333^3` 71-14-10-8	`DAT333_3` 71-23-17-14	`DAT333^6` 71-14-11-8	`DAT334^12` 71-14-10-8
`DAT334^19` 71-14-10-8	`DAT334_19` 71-23-17-15	`DAT334^21` 71-14-10-8	`DAT334_21` 71-23-18-16	`DAT334^23` 71-14-10-8	`DAT334_23` 71-23-18-16	`DAT334^8` 71-14-10-8
`DAT334_8` 71-23-18-16	`DAT335^12` 71-14-3-1	`DAT335^18` 71-14-3-1	`DAT335^2` 71-14-4-1	`DAT335_2` 71-23-13-11