TSTP Solution Domain: KLE

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