TSTP Solution Domain: REL

NumberOfSystems-NumberAttempted-NumberSuccessful-NumberOutputSolutions
REL001+1
90-63-36-30		 REL001-1
90-62-37-32		 REL002+1
90-63-38-30		 REL002-1
90-62-40-32		 REL003+1
90-63-42-34		 REL003-1
90-54-34-27		 REL004+1
90-63-29-25
REL004-1
90-62-30-28		 REL004+2
90-63-29-25		 REL004-2
90-62-29-27		 REL004+3
90-63-29-25		 REL004-3
90-62-29-27		 REL005+1
90-63-23-19		 REL005-1
90-62-21-19
REL005+2
90-63-21-17		 REL005-2
90-54-14-12		 REL005+3
90-63-23-19		 REL005-3
90-62-21-19		 REL005+4
90-63-22-18		 REL005-4
90-54-14-12		 REL006+1
90-63-32-27
REL006-1
90-62-33-30		 REL007+1
90-63-30-25		 REL007-1
90-62-32-29		 REL008+1
90-63-27-21		 REL008-1
90-62-24-19		 REL008+2
90-63-22-18		 REL008-2
90-54-18-16
REL008+3
90-63-27-22		 REL008-3
90-62-23-19		 REL008+4
90-63-21-18		 REL008-4
90-54-17-15		 REL009+1
90-63-29-24		 REL009-1
90-54-23-19		 REL009+2
90-63-25-20
REL009-2
90-54-17-14		 REL010+1
90-63-9-7		 REL010-1
90-62-6-6		 REL010+2
90-63-27-22		 REL010-2
90-62-24-22		 REL011+1
90-63-7-6		 REL011-1
90-62-7-7
REL011+2
90-63-29-25		 REL011-2
90-62-30-27		 REL012+1
90-63-22-18		 REL012-1
90-62-18-18		 REL012+2
90-63-22-19		 REL012-2
90-62-18-18		 REL013+1
90-63-32-28
REL013-1
90-54-28-25		 REL014+1
90-63-39-30		 REL014-1
90-65-18-13		 REL015+1
90-63-36-29		 REL015-1
90-62-39-33		 REL016+1
90-63-5-5		 REL016-1
90-62-4-4
REL016-10
78-55-4-4		 REL016+2
90-63-5-5		 REL016-2
90-54-4-4		 REL016+3
90-63-6-6		 REL016-3
90-62-4-4		 REL016+4
90-63-6-6		 REL016-4
90-54-5-5
REL017+1
90-63-6-6		 REL017-1
90-62-4-4		 REL017+2
90-63-5-5		 REL017-2
90-54-4-4		 REL017+3
90-63-7-7		 REL017-3
90-62-4-4		 REL017+4
90-63-5-5
REL017-4
90-54-5-5		 REL018+1
90-63-30-25		 REL018-1
90-62-31-29		 REL019+1
90-63-13-12		 REL019-1
90-62-11-11		 REL019+2
90-63-13-12		 REL019-2
90-62-9-9
REL020+1
90-63-4-4		 REL020-1
90-62-6-6		 REL020+2
90-63-5-5		 REL020-2
90-62-6-6		 REL021+1
90-63-7-7		 REL021-1
90-62-7-7		 REL021+2
90-63-6-6
REL021-2
90-62-7-7		 REL022+1
90-63-5-5		 REL022-1
90-62-6-6		 REL022+2
90-63-6-5		 REL022-2
90-62-5-5		 REL023+1
90-63-32-28		 REL023-1
90-62-32-29
REL023+2
90-63-31-27		 REL023-2
90-62-31-27		 REL024+1
90-63-24-19		 REL024-1
90-62-20-18		 REL024+2
90-63-22-20		 REL024-2
90-62-21-19		 REL025+1
90-63-15-13
REL025-1
90-62-16-14		 REL025+2
90-63-12-10		 REL025-2
90-54-11-9		 REL026+1
90-63-13-11		 REL026-1
90-62-12-10		 REL026+2
90-63-13-11		 REL026-2
90-54-10-8
REL026+3
90-63-14-12		 REL026-3
90-62-12-12		 REL026+4
90-63-15-13		 REL026-4
90-54-11-11		 REL027+1
90-63-19-15		 REL027-1
90-62-17-15		 REL027+2
90-63-18-14
REL027-2
90-54-14-12		 REL027+3
90-63-20-16		 REL027-3
90-62-18-16		 REL027+4
90-63-19-15		 REL027-4
90-54-15-13		 REL028+1
90-63-12-10		 REL028-1
90-62-9-9
REL028+2
90-63-15-12		 REL028-2
90-62-11-11		 REL029+1
90-63-7-7		 REL029-1
90-62-6-6		 REL029-10
80-56-7-7		 REL029+2
90-63-5-5		 REL029-2
90-54-4-4
REL029+3
90-63-9-7		 REL029-3
90-62-6-6		 REL029+4
90-63-8-7		 REL029-4
90-54-5-5		 REL030+1
90-63-5-5		 REL030-1
90-62-7-7		 REL030+2
90-63-7-6
REL030-2
90-54-7-7		 REL030+3
90-63-9-7		 REL030-3
90-62-8-8		 REL030+4
90-63-6-5		 REL030-4
90-54-7-7		 REL031+1
90-63-23-19		 REL031-1
90-62-18-16
REL031+2
90-63-20-16		 REL031-2
90-62-15-14		 REL032+1
90-63-1-1		 REL032-1
90-62-2-2		 REL032+2
90-63-3-3		 REL032-2
90-62-3-3		 REL033+1
90-63-5-5
REL033-1
90-62-7-7		 REL033+2
90-63-7-6		 REL033-2
90-54-6-6		 REL033+3
90-63-6-6		 REL033-3
90-62-7-7		 REL033+4
90-63-8-7		 REL033-4
90-54-5-5
REL034+1
90-63-7-7		 REL034-1
90-62-7-7		 REL034+2
90-63-4-4		 REL034-2
90-62-5-5		 REL035+1
90-63-6-6		 REL035-1
90-62-6-6		 REL035+2
90-63-4-4
REL035-2
90-62-5-5		 REL036+1
90-63-4-4		 REL036-1
90-62-3-3		 REL036+2
90-63-4-4		 REL036-2
90-62-3-3		 REL037+1
90-63-7-7		 REL037-1
90-62-6-6
REL037+2
90-63-4-4		 REL037-2
90-62-3-3		 REL038+1
90-63-3-3		 REL038-1
90-62-1-1		 REL039+1
90-63-0-0		 REL039-1
90-62-0-0		 REL040+1
90-63-0-0
REL040-1
90-62-1-1		 REL040-10
79-56-2-2		 REL040+2
90-63-0-0		 REL040-2
90-54-0-0		 REL040+3
90-63-1-1		 REL040-3
90-62-2-2		 REL040+4
90-63-2-2
REL040-4
90-54-3-3		 REL041+1
90-63-6-6		 REL041-1
90-62-6-6		 REL041+2
90-63-20-18		 REL041-2
90-62-17-17		 REL042+1
90-63-14-12		 REL042-1
90-62-10-10
REL042+2
90-63-28-24		 REL042-2
90-62-25-23		 REL043+1
90-63-8-7		 REL043-1
90-62-6-6		 REL043+2
90-63-25-21		 REL043-2
90-62-21-19		 REL044+1
90-63-8-7
REL044-1
90-62-7-7		 REL044+2
90-63-25-20		 REL044-2
90-62-18-18		 REL045+1
90-63-5-5		 REL045-1
90-62-6-6		 REL045+2
90-63-22-18		 REL045-2
90-62-18-16
REL046+1
90-63-37-31		 REL046-1
90-54-31-26		 REL047+1
90-63-19-15		 REL047-1
90-62-16-16		 REL048+1
90-63-33-28		 REL048-1
90-54-30-25		 REL049+1
90-63-53-42
REL049-1
90-62-51-40		 REL050+1
90-63-21-17		 REL050-1
90-62-20-18		 REL050+2
90-63-21-17		 REL050-2
90-54-16-14		 REL050+3
90-63-19-16		 REL050-3
90-62-19-17
REL050+4
90-63-20-18		 REL050-4
90-54-16-14		 REL051+1
90-67-2-1		 REL052+1
90-67-2-1		 REL053+1
81-65-20-15		 REL053-1
81-59-17-13