TSTP Solution Domain: KRS

NumberOfSystems-NumberAttempted-NumberSuccessful-NumberOutputSolutions
KRS001-1
94-53-46-31		 KRS002-1
94-53-45-30		 KRS003-1
94-53-47-32		 KRS003_1
93-22-17-14		 KRS003_10
74-20-10-9		 KRS004-1
93-55-51-33		 KRS005-1
94-55-26-19
KRS006-1
94-55-29-21		 KRS007-1
94-55-28-21		 KRS008-1
94-55-24-19		 KRS009-1
94-55-29-22		 KRS010-1
94-53-42-29		 KRS011-1
94-55-28-21		 KRS012-1
94-53-46-31
KRS013-1
94-53-43-28		 KRS014-1
94-55-27-19		 KRS015-1
94-53-44-29		 KRS016-1
94-55-30-22		 KRS017-1
94-53-47-32		 KRS018+1
94-64-33-23		 KRS019+1
94-64-31-23
KRS020+1
94-64-30-23		 KRS021+1
94-65-35-23		 KRS022+1
94-65-35-23		 KRS023+1
94-65-35-23		 KRS024+1
94-65-34-22		 KRS025+1
94-65-35-23		 KRS026+1
94-65-32-23
KRS027+1
94-65-35-23		 KRS028+1
94-64-26-22		 KRS029+1
94-64-23-21		 KRS030+1
94-64-26-22		 KRS031+1
94-64-26-22		 KRS032+1
94-64-23-20		 KRS033+1
94-64-22-19
KRS034+1
94-64-18-15		 KRS035+1
94-64-24-22		 KRS036+1
94-64-24-22		 KRS037+1
94-64-25-22		 KRS038+1
94-64-25-22		 KRS039+1
94-64-26-23		 KRS040+1
94-65-24-19
KRS041+1
94-65-32-24		 KRS042+1
94-64-26-22		 KRS043+1
94-64-22-19		 KRS044+1
94-64-26-22		 KRS045+1
94-64-26-22		 KRS046+1
94-64-23-21		 KRS047+1
94-64-23-21
KRS048+1
94-64-21-20		 KRS049+1
94-64-20-19		 KRS050+1
94-64-28-23		 KRS051+1
94-64-10-8		 KRS052+1
94-64-25-22		 KRS053+1
94-65-35-23		 KRS054+1
94-65-35-23
KRS055+1
94-65-35-23		 KRS056+1
94-65-35-23		 KRS057+1
94-65-30-23		 KRS058+1
94-65-35-23		 KRS059+1
94-65-35-23		 KRS060+1
94-65-35-23		 KRS061+1
94-65-35-23
KRS062+1
94-65-35-23		 KRS063+1
94-61-48-37		 KRS064+1
94-62-55-41		 KRS065+1
94-62-55-41		 KRS066+1
94-62-54-39		 KRS067+1
94-62-53-40		 KRS068+1
94-61-49-38
KRS069+1
94-61-46-38		 KRS070+1
94-61-47-39		 KRS071+1
94-61-45-37		 KRS072+1
94-61-47-39		 KRS073+1
94-61-47-39		 KRS074+1
94-61-48-39		 KRS075+1
94-61-46-38
KRS076+1
94-61-47-39		 KRS077+1
94-61-46-38		 KRS078+1
94-61-46-38		 KRS079+1
94-61-47-37		 KRS080+1
94-61-37-30		 KRS081+1
94-61-34-27		 KRS082+1
94-61-51-40
KRS083+1
94-61-41-32		 KRS084+1
94-61-44-36		 KRS085+1
94-61-46-38		 KRS086+1
94-61-46-36		 KRS087+1
94-61-47-39		 KRS088+1
94-61-47-39		 KRS089+1
94-61-43-32
KRS090+1
94-61-50-39		 KRS091+1
94-62-54-41		 KRS092+1
94-61-48-38		 KRS093+1
94-62-54-41		 KRS094+1
94-62-54-41		 KRS095+1
94-61-48-39		 KRS096+1
94-61-48-39
KRS097+1
94-61-46-38		 KRS098+1
94-61-45-38		 KRS099+1
94-61-48-39		 KRS100+1
94-61-50-40		 KRS101+1
94-61-46-38		 KRS102+1
94-62-37-26		 KRS103+1
94-62-53-40
KRS104+1
94-61-47-36		 KRS105+1
94-61-50-38		 KRS106+1
94-61-46-38		 KRS107+1
94-61-44-37		 KRS108+1
94-61-47-39		 KRS109+1
94-61-45-37		 KRS110+1
94-61-48-39
KRS111+1
94-61-47-39		 KRS112+1
94-61-44-37		 KRS113+1
94-61-47-39		 KRS114+1
94-61-46-38		 KRS115+1
94-61-47-37		 KRS116+1
94-61-50-40		 KRS117+1
94-61-39-31
KRS118+1
94-61-41-33		 KRS119+1
94-61-46-37		 KRS120+1
94-61-47-37		 KRS121+1
94-61-47-38		 KRS122+1
94-61-48-39		 KRS123+1
94-61-49-39		 KRS124+1
94-61-49-39
KRS125+1
94-61-50-40		 KRS126+1
94-61-51-40		 KRS127+1
94-61-48-39		 KRS128+1
94-61-49-40		 KRS129+1
94-61-51-37		 KRS130+1
94-61-52-39		 KRS131+1
94-61-49-36
KRS132+1
94-61-47-35		 KRS133+1
94-61-35-25		 KRS134+1
94-62-55-39		 KRS135+1
94-62-55-38		 KRS136+1
94-62-55-39		 KRS137+1
94-62-54-39		 KRS138+1
94-62-48-33
KRS139+1
94-62-56-40		 KRS140+1
94-62-48-34		 KRS141+1
94-62-55-39		 KRS142+1
94-61-48-36		 KRS143+1
94-61-50-38		 KRS144+1
94-61-42-32		 KRS145+1
94-61-43-33
KRS146+1
94-61-52-38		 KRS147+1
94-61-45-34		 KRS148+1
94-61-51-38		 KRS149+1
94-61-50-37		 KRS150+1
94-61-54-39		 KRS151+1
94-61-44-33		 KRS152+1
94-61-55-40
KRS153+1
94-61-42-32		 KRS154+1
94-61-51-37		 KRS155+1
94-61-43-33		 KRS156+1
94-61-51-38		 KRS157+1
94-61-49-37		 KRS158+1
94-61-51-39		 KRS159+1
94-61-36-28
KRS160+1
94-61-54-40		 KRS161+1
94-61-42-31		 KRS162+1
94-62-43-30		 KRS163+1
94-62-56-40		 KRS164+1
94-62-54-39		 KRS165+1
94-62-56-40		 KRS166+1
94-62-54-38
KRS167+1
94-61-46-35		 KRS168+1
94-62-55-39		 KRS169+1
94-62-54-39		 KRS170+1
94-62-56-40		 KRS171+1
94-62-55-39		 KRS172+1
94-62-53-40		 KRS173+1
94-64-26-19
KRS174+1
94-62-56-40		 KRS175+1
94-62-52-36		 KRS176+1
92-63-20-17		 KRS177+1
92-63-1-1		 KRS178+1
92-60-49-38		 KRS179+1
92-60-44-34		 KRS180+1
92-60-45-33
KRS181+1
92-60-43-33		 KRS182+1
92-63-1-1		 KRS183+1
92-63-1-1		 KRS184+1
92-63-1-1		 KRS185+1
92-63-1-1		 KRS186+1
92-60-30-24		 KRS187+1
92-60-38-31
KRS188+1
92-60-30-24		 KRS189+1
92-60-30-24		 KRS190+1
92-60-36-29		 KRS191+1
92-60-36-29		 KRS192+1
92-60-29-23		 KRS193+1
92-60-38-31		 KRS194+1
92-60-38-31
KRS195+1
92-60-39-32		 KRS196+1
92-60-37-30		 KRS197+1
92-63-1-1		 KRS198+1
92-63-1-1		 KRS199+1
92-63-1-1		 KRS200+1
92-60-42-31		 KRS201+1
92-60-39-30
KRS202+1
92-60-37-29		 KRS203+1
92-60-35-27		 KRS204+1
92-63-1-1		 KRS205+1
92-63-1-1		 KRS206+1
92-63-1-1		 KRS207+1
92-63-1-1		 KRS208+1
92-63-1-1
KRS209+1
92-63-1-1		 KRS210+1
92-63-1-1		 KRS211+1
92-63-1-1		 KRS212+1
92-63-1-1		 KRS213+1
92-63-1-1		 KRS214+1
92-63-1-1		 KRS215+1
92-60-37-28
KRS216+1
92-60-31-24		 KRS217+1
92-60-29-22		 KRS218+1
92-63-1-1		 KRS219+1
92-63-1-1		 KRS220+1
92-63-1-1		 KRS221+1
92-63-1-1		 KRS222+1
92-63-1-1
KRS223+1
92-63-1-1		 KRS224+1
92-63-1-1		 KRS225+1
92-63-1-1		 KRS226+1
92-63-1-1		 KRS227+1
92-63-1-1		 KRS228+1
92-63-0-0		 KRS229+1
92-63-1-1
KRS230+1
92-63-1-1		 KRS231+1
92-63-1-1		 KRS232+1
92-63-1-1		 KRS233+1
92-60-29-24		 KRS234+1
92-60-29-24		 KRS235+1
92-60-28-23		 KRS236+1
92-63-1-1
KRS237+1
92-63-1-1		 KRS238+1
92-63-1-1		 KRS239+1
92-63-1-1		 KRS240+1
92-63-1-1		 KRS241+1
92-63-1-1		 KRS242+1
92-63-1-1		 KRS243+1
92-63-1-1
KRS244+1
92-63-1-1		 KRS245+1
92-63-1-1		 KRS246+1
92-63-1-1		 KRS247+1
92-63-1-1		 KRS248+1
92-63-1-1		 KRS249+1
92-63-1-1		 KRS250+1
92-63-1-1
KRS251+1
92-60-19-16		 KRS252+1
92-63-1-1		 KRS253+1
92-63-1-1		 KRS254+1
92-60-45-35		 KRS255+1
92-60-45-35		 KRS256+1
92-60-44-34		 KRS257+1
92-60-41-33
KRS258+1
92-60-39-31		 KRS259+1
92-60-38-31		 KRS260+1
92-60-33-26		 KRS261+1
92-60-23-19		 KRS262+1
92-60-37-30		 KRS263+1
92-60-34-27		 KRS264+1
92-60-18-14
KRS265+1
92-60-40-32		 KRS266+1
92-60-40-32		 KRS267+1
92-60-39-31		 KRS268+1
92-60-35-27		 KRS269+1
92-63-1-1		 KRS270+1
92-63-1-1		 KRS271+1
92-63-1-1
KRS272^7
92-20-5-5		 KRS273^7
92-22-3-3		 KRS274^7
92-22-3-3		 KRS275^7
92-20-14-8		 KRS276^7
92-20-14-8		 KRS277^7
92-22-5-3		 KRS278+1
91-60-1-1
KRS278-1
90-51-0-0		 KRS279+1
91-63-0-0		 KRS279-1
90-53-0-0		 KRS280+1
91-60-0-0		 KRS280-1
90-51-0-0		 KRS281+1
91-60-0-0		 KRS281-1
90-51-2-0
KRS282+1
91-63-0-0		 KRS282-1
90-53-2-0		 KRS283+1
91-60-0-0		 KRS284+1
91-60-0-0		 KRS284-1
90-51-2-0		 KRS285+1
91-63-0-0		 KRS285-1
90-53-2-0
KRS286+1
91-60-0-0		 KRS286-1
90-51-2-0		 KRS287+1
91-60-0-0		 KRS287-1
90-51-2-0		 KRS288+1
91-63-0-0		 KRS288-1
90-53-2-0		 KRS289+1
91-60-0-0
KRS289-1
90-51-1-0		 KRS290+1
91-63-0-0		 KRS290-1
90-53-1-0		 KRS291+1
91-60-0-0		 KRS291-1
90-51-1-0		 KRS292_1
74-13-5-5