TSTP Solution Domain: DAT

NumberOfSystems-NumberAttempted-NumberSuccessful-NumberOutputSolutions

`DAT001_1` 96-15-11-10	`DAT002^1` 87-9-1-1	`DAT002_1` 96-15-11-10	`DAT003_1` 96-15-10-10	`DAT004_1` 96-15-10-10	`DAT005_1` 96-15-9-9	`DAT006_1` 96-15-10-9
`DAT007_1` 96-15-10-9	`DAT008_1` 96-15-10-10	`DAT009_1` 96-15-10-10	`DAT010_1` 96-15-10-10	`DAT011_1` 96-15-9-9	`DAT012_1` 96-15-9-9	`DAT013_1` 96-15-9-9
`DAT014_1` 96-15-8-8	`DAT015_1` 96-15-9-8	`DAT016_1` 96-15-8-7	`DAT017_1` 96-15-9-9	`DAT018_1` 96-15-8-7	`DAT019_1` 96-15-11-10	`DAT020_1` 96-15-10-10
`DAT021_1` 96-15-10-10	`DAT022_1` 96-15-10-10	`DAT023_1` 96-15-9-9	`DAT024_1` 96-15-9-9	`DAT025_1` 96-15-9-9	`DAT026_1` 96-15-9-9	`DAT027_1` 96-15-9-9
`DAT028_1` 96-15-9-9	`DAT029_1` 96-15-8-8	`DAT030_1` 96-15-9-9	`DAT031_1` 96-15-10-10	`DAT032_1` 96-15-9-9	`DAT033_1` 96-15-10-10	`DAT034_1` 96-15-10-10
`DAT035_1` 96-15-9-9	`DAT036_1` 96-15-9-9	`DAT037_1` 96-15-10-10	`DAT038_1` 96-15-9-9	`DAT039_1` 96-15-9-9	`DAT040_1` 96-15-6-6	`DAT041_1` 96-15-10-9
`DAT042_1` 96-15-8-8	`DAT043_1` 96-15-7-7	`DAT044_1` 96-15-10-10	`DAT045_1` 96-15-10-10	`DAT046_1` 96-15-9-9	`DAT047_1` 96-15-10-10	`DAT048_1` 96-15-9-9
`DAT049_1` 96-15-10-10	`DAT050_1` 96-15-8-8	`DAT051_1` 96-15-9-9	`DAT052_1` 96-15-8-8	`DAT053_1` 96-15-9-9	`DAT054_1` 96-15-2-2	`DAT055_1` 96-15-9-9
`DAT056^1` 95-20-12-9	`DAT056^2` 95-20-6-6	`DAT057_1` 95-15-10-10	`DAT058_1` 95-15-10-9	`DAT059_1` 95-15-11-10	`DAT060_1` 95-15-10-10	`DAT061_1` 95-15-10-10
`DAT062_1` 95-15-9-9	`DAT063_1` 95-15-11-10	`DAT064_1` 95-15-0-0	`DAT065_1` 95-15-0-0	`DAT066_1` 95-15-10-10	`DAT067_1` 95-15-10-10	`DAT068_1` 95-15-9-9
`DAT069_1` 95-15-9-9	`DAT070_1` 95-15-10-10	`DAT071_1` 94-15-9-9	`DAT072_1` 94-15-8-8	`DAT073_1` 94-15-9-8	`DAT074_1` 94-15-8-8	`DAT075_1` 94-15-5-5
`DAT076_1` 94-15-9-8	`DAT077_1` 94-15-9-8	`DAT078_1` 94-15-7-7	`DAT079_1` 94-15-10-10	`DAT080_1` 94-15-10-10	`DAT081_1` 94-15-11-10	`DAT082_1` 94-15-11-10
`DAT083_1` 94-15-11-10	`DAT084_1` 94-15-10-9	`DAT085_1` 94-15-10-9	`DAT086_1` 94-15-6-6	`DAT087_1` 94-15-10-9	`DAT088_1` 94-15-10-9	`DAT089_1` 94-15-9-8
`DAT090_1` 94-15-0-0	`DAT091_1` 94-15-9-9	`DAT092_1` 94-15-9-9	`DAT093_1` 94-15-10-9	`DAT094_1` 94-15-7-7	`DAT095_1` 94-15-9-9	`DAT097_1` 94-15-8-8
`DAT098_1` 94-15-9-9	`DAT099_1` 94-15-9-9	`DAT100_1` 94-15-9-9	`DAT101_1` 94-15-9-8	`DAT102_1` 94-15-10-9	`DAT103_1` 94-15-9-9	`DAT104_1` 94-15-6-6
`DAT105_1` 94-15-8-7	`DAT106_1` 94-15-8-7	`DAT107_1` 87-16-0-0	`DAT108_1` 87-15-0-0	`DAT109_1` 87-15-2-2	`DAT110_1` 87-16-2-2	`DAT111_1` 87-15-0-0
`DAT112_1` 87-15-0-0	`DAT113^1` 86-7-2-2	`DAT114^1` 86-7-2-0	`DAT115^1` 86-7-6-3	`DAT117^1` 86-7-4-2	`DAT118^1` 86-7-0-0	`DAT119^1` 86-7-6-3
`DAT120^1` 86-7-1-1	`DAT121^1` 86-7-6-3	`DAT122^1` 86-7-6-3	`DAT123^1` 86-7-3-2	`DAT124^1` 86-7-6-3	`DAT125^1` 86-7-0-0	`DAT126^1` 86-7-0-0
`DAT127^1` 86-7-0-0	`DAT128^1` 86-7-2-2	`DAT129^1` 86-7-6-3	`DAT130^1` 86-7-6-3	`DAT131^1` 86-7-2-2	`DAT132^1` 86-7-6-3	`DAT133^1` 86-7-4-2
`DAT134^1` 86-7-0-0	`DAT135^1` 86-7-0-0	`DAT136^1` 86-7-5-2	`DAT137^1` 86-7-5-2	`DAT138^1` 86-7-5-2	`DAT139^1` 86-7-0-0	`DAT140^1` 86-7-6-3
`DAT141^1` 86-7-4-2	`DAT142^1` 86-7-2-0	`DAT143^1` 86-7-0-0	`DAT144^1` 86-7-6-3	`DAT145^1` 86-7-0-0	`DAT146^1` 86-7-2-0	`DAT147^1` 86-7-5-2
`DAT148^1` 86-7-2-2	`DAT149^1` 86-7-0-0	`DAT150^1` 86-7-5-2	`DAT151^1` 86-7-2-0	`DAT152^1` 86-7-4-2	`DAT153^1` 86-7-5-3	`DAT154^1` 86-7-5-2
`DAT155^1` 86-7-0-0	`DAT156^1` 86-7-0-0	`DAT157^1` 86-7-7-4	`DAT158^1` 86-7-0-0	`DAT159^1` 86-7-5-4	`DAT160^1` 86-7-6-3	`DAT161^1` 86-7-2-0
`DAT162^1` 86-7-4-3	`DAT163^1` 86-7-0-0	`DAT164^1` 86-7-2-0	`DAT165^1` 86-7-2-0	`DAT166^1` 86-7-0-0	`DAT167^1` 86-7-0-0	`DAT168^1` 86-7-2-0
`DAT169^1` 86-7-0-0	`DAT170^1` 86-7-1-0	`DAT171^1` 86-7-2-0	`DAT172^1` 86-7-3-2	`DAT173^1` 86-7-2-0	`DAT174^1` 86-7-2-0	`DAT175^1` 86-7-0-0
`DAT176^1` 86-7-6-3	`DAT177^1` 86-7-7-4	`DAT178^1` 86-7-7-4	`DAT179^1` 86-7-4-2	`DAT180^1` 86-7-6-3	`DAT181^1` 86-7-0-0	`DAT182^1` 86-7-5-2
`DAT183^1` 86-7-6-3	`DAT184^1` 86-7-2-0	`DAT185^1` 86-7-2-0	`DAT186^1` 86-7-3-0	`DAT187^1` 86-7-6-3	`DAT188^1` 86-7-4-2	`DAT189^1` 86-7-5-2
`DAT190^1` 86-7-1-1	`DAT191^1` 86-7-2-0	`DAT192^1` 86-7-5-2	`DAT193^1` 86-7-0-0	`DAT194^1` 86-7-5-2	`DAT195^1` 86-7-0-0	`DAT196^1` 86-7-0-0
`DAT197^1` 86-7-6-3	`DAT198^1` 86-7-4-2	`DAT199^1` 86-7-0-0	`DAT200^1` 86-7-0-0	`DAT201^1` 86-7-0-0	`DAT202^1` 86-7-0-0	`DAT203^1` 86-7-0-0
`DAT204^1` 86-7-0-0	`DAT205^1` 86-7-0-0	`DAT206^1` 86-7-4-2	`DAT207^1` 86-7-5-2	`DAT208^1` 86-7-3-2	`DAT209^1` 86-7-2-0	`DAT210^1` 86-7-2-0
`DAT211^1` 86-7-2-0	`DAT212^1` 86-7-0-0	`DAT213^1` 86-7-6-3	`DAT214^1` 86-7-5-2	`DAT215^1` 86-7-2-2	`DAT216^1` 86-7-2-0	`DAT217^1` 86-7-2-0
`DAT218^1` 86-7-2-0	`DAT219^1` 86-7-5-2	`DAT220^1` 86-7-0-0	`DAT221^1` 86-7-0-0	`DAT222^1` 86-7-2-2	`DAT223^1` 86-7-0-0	`DAT224^1` 86-7-4-2
`DAT225^1` 86-7-2-2	`DAT226^1` 86-7-3-1	`DAT227^1` 86-7-0-0	`DAT228^1` 86-7-2-0	`DAT229^1` 86-7-5-3	`DAT230^1` 86-7-4-2	`DAT231^1` 86-7-3-3
`DAT232^1` 86-7-5-2	`DAT233^1` 86-7-0-0	`DAT234^1` 86-7-5-2	`DAT235^1` 86-7-0-0	`DAT236^1` 86-7-0-0	`DAT237^1` 86-7-0-0	`DAT238^1` 86-7-0-0
`DAT239^1` 86-7-4-3	`DAT240^1` 86-7-0-0	`DAT241^1` 86-7-0-0	`DAT242^1` 86-7-0-0	`DAT243^1` 86-7-0-0	`DAT244^1` 86-7-5-2	`DAT245^1` 86-7-4-2
`DAT246^1` 86-7-3-2	`DAT247^1` 86-7-2-0	`DAT248^1` 86-7-3-0	`DAT249^1` 86-7-0-0	`DAT250^1` 86-7-0-0	`DAT251^1` 86-7-4-2	`DAT252^1` 86-7-2-0
`DAT253^1` 86-7-6-3	`DAT254^1` 86-7-0-0	`DAT255^1` 86-7-3-3	`DAT256^1` 86-7-0-0	`DAT257^1` 86-7-0-0	`DAT258^1` 86-7-0-0	`DAT259^1` 86-7-0-0
`DAT260^1` 86-7-0-0	`DAT261^1` 86-7-0-0	`DAT262^1` 86-7-0-0	`DAT263^1` 86-7-0-0	`DAT264^1` 86-7-0-0	`DAT265^1` 86-7-0-0	`DAT266^1` 86-7-0-0
`DAT267^1` 86-7-0-0	`DAT268^1` 86-7-0-0	`DAT269^1` 86-7-0-0	`DAT270^1` 86-7-0-0	`DAT271^1` 86-7-0-0	`DAT272^1` 86-7-0-0	`DAT273^1` 86-7-0-0
`DAT274^1` 86-7-0-0	`DAT275^1` 86-7-0-0	`DAT276^1` 86-7-7-4	`DAT277^1` 86-7-0-0	`DAT278^1` 86-7-0-0	`DAT279^1` 86-7-0-0	`DAT280^1` 86-7-7-4
`DAT281^1` 86-7-0-0	`DAT282^1` 86-7-7-4	`DAT283^1` 86-7-0-0	`DAT284^1` 86-7-3-3	`DAT285^1` 86-7-0-0	`DAT286^1` 86-7-2-2	`DAT287^1` 86-7-0-0
`DAT288^1` 86-7-4-2	`DAT289^1` 86-7-0-0	`DAT290^1` 86-7-5-3	`DAT291^1` 86-7-0-0	`DAT292^1` 86-7-0-0	`DAT293^1` 86-7-0-0	`DAT294^1` 86-7-5-3
`DAT295^1` 86-7-0-0	`DAT296^1` 86-7-0-0	`DAT297^1` 86-7-6-3	`DAT298^1` 86-7-0-0	`DAT299^1` 86-7-0-0	`DAT300^1` 86-7-0-0	`DAT301^1` 86-7-0-0
`DAT302^1` 86-7-0-0	`DAT303^1` 86-7-0-0	`DAT304^1` 86-7-0-0	`DAT305^1` 86-7-0-0	`DAT306^1` 86-7-0-0	`DAT307^1` 86-7-0-0	`DAT308^1` 86-7-0-0
`DAT309^1` 86-7-0-0	`DAT310^1` 86-7-0-0	`DAT311^1` 86-7-0-0	`DAT312^1` 86-7-0-0	`DAT313^1` 86-7-0-0	`DAT314^1` 86-7-5-3	`DAT315^1` 86-7-7-4
`DAT316^1` 86-7-0-0	`DAT317^1` 86-7-5-3	`DAT318^1` 86-7-0-0	`DAT319^1` 86-7-7-4	`DAT320^1` 86-7-6-3	`DAT321^1` 86-7-0-0	`DAT322^1` 86-7-0-0
`DAT323^1` 86-7-0-0	`DAT324^1` 86-7-7-4	`DAT325^1` 86-7-0-0	`DAT326^1` 86-7-4-2	`DAT327^1` 86-7-3-3	`DAT328^1` 86-7-0-0	`DAT329_1` 86-15-5-4
`DAT330_1` 86-15-7-7	`DAT331_1` 86-15-0-0	`DAT332_1` 86-15-8-8	`DAT333^3` 77-15-11-9	`DAT333_3` 77-22-16-14	`DAT333^6` 77-15-12-9	`DAT334^12` 77-15-11-9
`DAT334^19` 77-15-11-9	`DAT334_19` 77-22-16-15	`DAT334^21` 77-15-11-9	`DAT334_21` 77-22-16-15	`DAT334^23` 77-15-11-9	`DAT334_23` 77-22-16-15	`DAT334^8` 77-15-11-9
`DAT334_8` 77-22-16-15	`DAT335^12` 77-15-3-2	`DAT335^18` 77-15-3-2	`DAT335^2` 77-15-4-2	`DAT335_2` 77-22-11-10	`DAT336_1` 77-24-0-0	`DAT337_1` 77-24-0-0
`DAT338^1` 79-4-2-1	`DAT339^1` 79-4-0-0	`DAT340^1` 79-4-2-1	`DAT341^1` 79-4-1-0	`DAT342^1` 79-3-1-1	`DAT343^1` 79-3-0-0	`DAT344^1` 79-3-1-1
`DAT345^1` 79-3-0-0	`DAT346^1` 79-4-1-0	`DAT347^1` 79-4-1-0	`DAT348^1` 79-4-1-0	`DAT349^1` 79-4-1-1	`DAT350^1` 79-4-0-0	`DAT351^1` 79-4-0-0
`DAT352^1` 79-4-0-0	`DAT353^1` 79-4-1-1	`DAT354^1` 79-4-0-0	`DAT355^1` 79-4-1-0	`DAT356^1` 79-4-1-0	`DAT357^1` 79-4-1-0	`DAT358^1` 79-4-1-0
`DAT359^1` 79-4-2-1	`DAT360^1` 79-4-2-1	`DAT361^1` 79-4-0-0	`DAT362^1` 79-4-2-1	`DAT363^1` 79-3-1-1	`DAT364^1` 79-3-0-0	`DAT365^1` 79-3-0-0
`DAT366^1` 79-3-0-0	`DAT367^1` 79-3-0-0	`DAT368^1` 79-3-0-0	`DAT369^1` 79-3-0-0	`DAT370^1` 79-3-0-0	`DAT371^1` 79-3-0-0	`DAT372^1` 79-3-1-1
`DAT373^1` 79-3-0-0	`DAT374^1` 79-3-1-1	`DAT375^1` 79-3-1-1	`DAT376^1` 79-3-0-0	`DAT377^1` 79-3-1-1	`DAT378^1` 79-3-0-0	`DAT379^1` 79-3-0-0
`DAT380^1` 79-3-1-1	`DAT381^1` 79-4-1-0	`DAT382^1` 79-4-1-1	`DAT383^1` 79-4-0-0	`DAT384^1` 79-4-1-1	`DAT385^1` 79-4-1-1	`DAT386^1` 79-4-2-1
`DAT387^1` 79-4-1-1	`DAT388^1` 79-4-2-1	`DAT389^1` 79-4-0-0	`DAT390^1` 79-4-1-1	`DAT391^1` 79-4-2-1	`DAT392^1` 79-4-1-1	`DAT393^1` 79-4-0-0
`DAT394^1` 79-4-0-0	`DAT395^1` 79-4-0-0	`DAT396^1` 79-4-2-1	`DAT397^1` 79-4-2-1	`DAT398^1` 79-4-1-1	`DAT399^1` 79-4-2-1	`DAT400^1` 79-4-2-1
`DAT401^1` 79-4-1-1	`DAT402^1` 79-3-1-1	`DAT403^1` 79-3-1-1	`DAT404^1` 79-3-0-0	`DAT405^1` 79-3-1-1	`DAT406^1` 79-3-1-1	`DAT407^1` 79-3-0-0
`DAT408^1` 79-3-1-1	`DAT409^1` 79-3-1-1	`DAT410^1` 79-3-1-1	`DAT411^1` 79-3-1-1	`DAT412^1` 79-3-1-1	`DAT413^1` 79-3-0-0	`DAT414^1` 79-3-0-0
`DAT415^1` 79-4-0-0	`DAT416^1` 79-4-0-0	`DAT417^1` 79-4-0-0	`DAT418^1` 79-4-0-0	`DAT419^1` 79-3-0-0	`DAT420^1` 79-3-1-1	`DAT421^1` 79-3-1-1
`DAT422^1` 79-3-1-1	`DAT423^1` 79-3-1-1	`DAT424^1` 79-3-1-1	`DAT425^1` 79-3-1-1	`DAT426^1` 79-3-1-1	`DAT427^1` 79-3-1-1	`DAT428^1` 79-3-1-1
`DAT429^1` 79-3-0-0	`DAT430_1` 77-2-0-0	`DAT431_1` 77-4-3-3	`DAT432_1` 77-4-3-3	`DAT433_1` 77-4-3-3	`DAT434^1` 77-5-0-0	`DAT435^1` 77-5-0-0
`DAT436-1` 77-54-5-5	`DAT436-2` 77-54-5-5