TSTP Solution Domain: DAT

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