TSTP Solution Domain: KLE

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