TSTP Solution Domain: KRS

NumberOfSystems-NumberAttempted-NumberSuccessful-NumberOutputSolutions

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