TSTP Solution Domain: KRS

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