TSTP Solution Domain: DAT

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