TSTP Solution Domain: KRS

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