TSTP Solution Domain: KRS

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