TSTP Solution Domain: KRS

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