TSTP Solution Domain: KRS

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