TSTP Solution Domain: KRS

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