TSTP Solution Domain: KRS

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