TSTP Solution Domain: KLE

NumberOfSystems-NumberAttempted-NumberSuccessful-NumberOutputSolutions
KLE001+1
98-63-57-44		 KLE002+1
98-63-48-39		 KLE003+1
98-63-59-44		 KLE004+1
98-63-43-35		 KLE005+1
98-63-54-44		 KLE006+1
98-63-48-39		 KLE007+1
98-63-40-34
KLE007+2
98-63-39-32		 KLE007+3
98-63-38-32		 KLE007+4
98-63-37-30		 KLE008+1
98-63-24-19		 KLE009+1
98-63-36-30		 KLE009+2
98-63-37-31		 KLE009+3
98-63-34-26
KLE009+4
98-63-35-28		 KLE010+1
98-63-35-27		 KLE010+2
98-63-33-26		 KLE010+3
98-63-34-28		 KLE010+4
98-63-31-24		 KLE011+1
98-63-28-22		 KLE011+2
98-63-24-18
KLE011+3
98-63-31-24		 KLE011+4
98-63-29-23		 KLE012+1
98-63-25-19		 KLE013+1
98-63-24-19		 KLE014+2
98-63-14-11		 KLE014+3
98-63-12-10		 KLE015+1
98-63-29-22
KLE016+2
98-63-13-11		 KLE016+3
98-63-12-10		 KLE017+1
98-63-27-21		 KLE018+1
98-63-24-19		 KLE019+1
98-63-20-15		 KLE020+1
98-63-15-12		 KLE020+2
98-63-18-15
KLE021+1
98-63-41-35		 KLE021+2
98-63-40-34		 KLE021+3
98-63-40-34		 KLE021+4
98-63-38-32		 KLE022+1
98-63-40-34		 KLE022+2
98-63-39-33		 KLE022+3
98-63-40-34
KLE022+4
98-63-38-32		 KLE023+1
98-63-18-15		 KLE023+2
98-63-17-14		 KLE024+1
98-63-28-23		 KLE024+2
98-63-29-23		 KLE025+1
98-63-32-25		 KLE025+2
98-63-32-26
KLE026+1
98-63-35-28		 KLE026+2
98-63-35-28		 KLE027+1
98-63-29-23		 KLE027+2
98-63-27-22		 KLE027+3
98-63-33-27		 KLE027+4
98-63-30-25		 KLE028+1
98-63-11-11
KLE028+2
98-63-4-4		 KLE028+3
98-63-15-13		 KLE028+4
98-63-14-12		 KLE029+1
98-63-24-18		 KLE030+1
98-63-6-5		 KLE031+1
98-63-7-6		 KLE032+1
98-63-11-10
KLE033+1
98-63-12-11		 KLE034+1
98-63-27-22		 KLE034+2
98-63-27-22		 KLE035+1
98-63-35-29		 KLE035+2
98-63-36-29		 KLE036+1
98-63-25-18		 KLE037+1
98-63-40-33
KLE038+1
98-63-37-31		 KLE039+1
98-63-34-27		 KLE039+2
98-63-34-28		 KLE040+1
98-63-36-30		 KLE040+2
98-63-36-30		 KLE041+1
98-63-31-24		 KLE042+1
98-63-9-7
KLE042+2
98-63-19-14		 KLE043+1
98-63-14-7		 KLE043+2
98-63-25-18		 KLE044+1
98-63-25-18		 KLE044-10
88-56-23-20		 KLE044+2
98-63-27-20		 KLE045+1
98-63-21-15
KLE046+1
98-63-9-6		 KLE047+1
98-63-2-2		 KLE048+1
98-63-36-29		 KLE049+1
98-63-0-0		 KLE049+2
98-63-0-0		 KLE050+1
98-67-5-5		 KLE050+2
98-67-5-5
KLE050+3
98-67-5-5		 KLE050+4
98-67-5-5		 KLE051+1
98-63-58-45		 KLE052+1
98-63-42-33		 KLE053+1
98-63-49-37		 KLE054+1
98-63-36-29		 KLE055+1
98-63-38-31
KLE056+1
98-63-47-38		 KLE057+1
98-63-54-42		 KLE058+1
98-63-49-39		 KLE059+1
98-63-50-40		 KLE060+1
98-63-26-21		 KLE061+1
98-63-43-33		 KLE062+1
98-63-26-21
KLE063+1
98-63-35-29		 KLE064+1
98-63-37-30		 KLE065+1
98-63-40-33		 KLE066+1
98-63-41-33		 KLE067+1
98-63-46-36		 KLE068+1
98-63-27-22		 KLE069+1
98-63-35-28
KLE070+1
98-63-43-33		 KLE071+1
98-63-25-22		 KLE072+1
98-63-48-39		 KLE073+1
98-63-9-8		 KLE074+1
98-63-49-40		 KLE075+1
98-63-51-41		 KLE076+1
98-63-56-45
KLE077+1
98-63-0-0		 KLE078+1
98-63-32-25		 KLE079+1
98-63-35-28		 KLE080+1
98-63-32-25		 KLE081+1
98-63-35-29		 KLE082+1
98-63-31-25		 KLE083+1
98-63-41-31
KLE084+1
98-63-18-15		 KLE084-10
87-56-18-17		 KLE085+1
98-63-44-35		 KLE086+1
98-63-43-33		 KLE087+1
98-63-9-8		 KLE088+1
98-63-30-25		 KLE089+1
98-63-41-33
KLE090+1
98-63-27-22		 KLE090-10
88-56-30-27		 KLE091+1
98-63-26-23		 KLE092+1
98-63-27-24		 KLE093+1
98-63-37-32		 KLE094+1
98-63-0-0		 KLE095+1
98-63-0-0
KLE096+1
98-63-0-0		 KLE096-10
86-55-0-0		 KLE097+1
98-63-17-13		 KLE098+1
98-63-21-17		 KLE099+1
98-63-30-24		 KLE100+1
98-63-23-18		 KLE101+1
98-63-11-9
KLE102+1
98-63-18-15		 KLE103+1
98-63-14-11		 KLE104+1
98-63-16-12		 KLE104-10
88-56-13-12		 KLE105+1
98-63-11-10		 KLE106+1
98-63-14-11		 KLE107+1
98-63-14-11
KLE108+1
98-63-11-9		 KLE108-10
86-55-10-9		 KLE109+1
98-63-13-11		 KLE110+1
98-63-8-6		 KLE110-10
88-56-5-4		 KLE111+1
98-63-9-7		 KLE112+1
98-63-8-6
KLE113+1
98-63-38-31		 KLE114+1
98-63-39-31		 KLE115+1
98-63-9-8		 KLE116+1
98-63-11-9		 KLE117+1
98-63-13-12		 KLE118+1
98-63-14-12		 KLE119+1
98-63-38-30
KLE120+1
98-63-29-23		 KLE121+1
98-63-5-5		 KLE122+1
98-63-0-0		 KLE122-10
88-56-3-2		 KLE123+1
98-63-0-0		 KLE124+1
98-63-8-7		 KLE125+1
98-63-1-1
KLE126+1
98-63-1-1		 KLE127+1
98-63-3-3		 KLE128+1
98-63-32-26		 KLE129+1
98-63-38-32		 KLE130+1
98-63-0-0		 KLE131+1
98-63-30-26		 KLE132+1
98-63-31-25
KLE133+1
98-63-33-27		 KLE134+1
98-63-0-0		 KLE135+1
98-63-22-19		 KLE136+1
98-67-11-11		 KLE137+1
98-63-42-32		 KLE138+1
98-63-50-39		 KLE139+1
98-63-35-30
KLE139+2
98-63-31-25		 KLE140+1
98-63-23-20		 KLE141+1
98-63-38-31		 KLE141+2
98-63-40-31		 KLE142+1
98-63-33-28		 KLE142+2
98-63-32-27		 KLE143+1
98-63-29-23
KLE143+2
98-63-27-22		 KLE144+1
98-63-33-27		 KLE144+2
98-63-33-27		 KLE145+1
98-63-25-19		 KLE145-10
88-56-23-20		 KLE145+2
98-63-21-18		 KLE146+1
98-63-44-35
KLE147+1
98-63-17-12		 KLE147-10
86-55-14-13		 KLE147+2
98-63-16-13		 KLE148+1
98-63-38-31		 KLE148+2
98-63-36-29		 KLE149+1
98-63-4-3		 KLE149+2
98-63-3-2
KLE150+1
98-63-41-34		 KLE150+2
98-63-38-32		 KLE151+1
98-63-25-21		 KLE151-10
88-56-11-8		 KLE152+1
98-63-0-0		 KLE152-10
87-56-1-1		 KLE153+1
98-63-0-0
KLE154+1
98-63-0-0		 KLE154+2
98-63-0-0		 KLE155+1
98-63-0-0		 KLE155+2
98-63-0-0		 KLE156+1
98-63-0-0		 KLE156+2
98-63-0-0		 KLE157+1
98-63-0-0
KLE157-10
88-56-0-0		 KLE157+2
98-63-0-0		 KLE158+1
98-63-14-11		 KLE159+1
98-63-21-17		 KLE160+1
98-63-22-18		 KLE161+1
98-63-0-0		 KLE161-10
86-55-0-0
KLE162+1
98-63-0-0		 KLE163+1
98-63-0-0		 KLE164+1
98-63-0-0		 KLE165+1
98-63-0-0		 KLE165+2
98-63-0-0		 KLE166+1
98-63-6-6		 KLE167+1
98-63-37-30
KLE168+1
98-63-0-0		 KLE169+1
98-63-19-15		 KLE169-10
87-56-15-14		 KLE170+1.002
98-63-32-25		 KLE170+1.004
98-63-27-19		 KLE170+1.006
98-63-23-17		 KLE171+1
97-66-1-1
KLE171-10
88-58-0-0		 KLE172+1
97-67-10-9		 KLE173+1
89-65-15-13		 KLE174+1
89-65-18-14		 KLE175+1
89-65-18-14		 KLE176+1
89-65-15-13		 KLE177+1
89-65-19-15
KLE178+1
89-65-19-15		 KLE179+1
89-65-16-14		 KLE180+1
89-65-19-15		 KLE181+1
89-65-19-15		 KLE182+1
89-65-18-14