TSTP Solution Domain: KLE

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