TSTP Solution Domain: KLE

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