TSTP Solution Domain: KLE

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