TSTP Solution Domain: RNG

NumberOfSystems-NumberAttempted-NumberSuccessful-NumberOutputSolutions
RNG001-1
94-54-32-25		 RNG001-10
82-53-12-12		 RNG001-2
94-54-18-14		 RNG001-3
94-54-33-21		 RNG001-4
94-54-34-26		 RNG001-5
94-54-26-19		 RNG002-1
94-54-38-27
RNG003-1
94-54-38-27		 RNG004-1
94-54-22-18		 RNG004-10
81-53-7-7		 RNG004-2
94-54-23-19		 RNG004-3
94-54-15-10		 RNG005-1
94-54-31-24		 RNG005-2
94-54-39-26
RNG006-1
94-54-37-26		 RNG006-10
82-53-4-4		 RNG006-2
94-54-33-20		 RNG006-3
94-54-27-20		 RNG007-1
94-54-29-21		 RNG007-4
94-61-43-34		 RNG007-5
94-55-10-9
RNG008-1
94-54-19-15		 RNG008-2
94-54-19-15		 RNG008-3
94-61-35-29		 RNG008-4
94-61-36-30		 RNG008-5
94-54-19-17		 RNG008-6
94-54-20-16		 RNG008-7
94-61-35-29
RNG009-5
94-61-15-14		 RNG009-7
94-61-19-16		 RNG010-1
94-53-0-0		 RNG010-2
94-53-39-29		 RNG010-5
94-63-0-0		 RNG010-6
94-63-0-0		 RNG010-7
94-63-0-0
RNG011-5
94-61-49-36		 RNG012-6
94-61-37-31		 RNG013-6
94-61-37-31		 RNG014-6
94-61-37-31		 RNG015-6
94-61-36-30		 RNG016-6
94-61-35-29		 RNG017-6
94-61-35-29
RNG018-6
94-61-37-31		 RNG019-6
94-61-23-20		 RNG019-7
94-61-23-20		 RNG020-6
94-61-22-19		 RNG020-7
94-61-23-20		 RNG021-6
94-61-21-18		 RNG021-7
94-61-22-19
RNG023-6
94-61-45-36		 RNG023-7
94-61-44-35		 RNG024-6
94-61-45-36		 RNG024-7
94-61-44-35		 RNG025-1
94-53-11-10		 RNG025-4
94-61-8-7		 RNG025-5
94-61-9-8
RNG025-6
94-61-15-13		 RNG025-7
94-61-13-13		 RNG025-8
94-63-8-8		 RNG025-9
94-63-8-8		 RNG026-6
94-61-20-17		 RNG026-7
94-61-20-17		 RNG027-1
94-53-0-0
RNG027-10
80-52-2-2		 RNG027-2
94-53-2-2		 RNG027-5
94-61-3-3		 RNG027-7
94-61-3-3		 RNG027-8
94-61-3-3		 RNG027-9
94-61-3-3		 RNG028-1
94-53-0-0
RNG028-2
94-53-3-3		 RNG028-5
94-61-3-3		 RNG028-7
94-61-3-3		 RNG028-8
94-61-3-3		 RNG028-9
94-61-2-2		 RNG029-1
94-53-0-0		 RNG029-10
82-53-0-0
RNG029-2
94-53-2-2		 RNG029-3
94-53-14-13		 RNG029-5
94-61-3-3		 RNG029-6
94-61-3-3		 RNG029-7
94-61-2-2		 RNG030-6
94-63-0-0		 RNG030-7
94-63-0-0
RNG031-6
94-63-3-3		 RNG031-7
94-63-3-3		 RNG032-6
94-63-0-0		 RNG032-7
94-63-0-0		 RNG033-6
94-63-0-0		 RNG033-7
94-63-0-0		 RNG033-8
94-63-0-0
RNG033-9
94-63-0-0		 RNG034-1
94-53-5-4		 RNG035-7
94-61-6-6		 RNG036-7
94-63-0-0		 RNG037-1
94-54-30-23		 RNG037-2
94-54-40-27		 RNG038-1
94-54-37-27
RNG038-2
94-54-43-29		 RNG039-1
94-54-34-27		 RNG039-2
94-54-34-24		 RNG040-1
94-53-37-27		 RNG040-2
94-53-34-25		 RNG041-1
94-53-37-27		 RNG042-1
94-55-12-10
RNG042-2
94-63-15-10		 RNG042-3
94-63-15-10		 RNG043-1
94-63-14-10		 RNG043-2
94-55-13-11		 RNG044+1
92-60-30-26		 RNG045+1
92-60-37-31		 RNG046+1
92-60-38-32
RNG047+1
92-60-31-26		 RNG047+2
92-60-37-32		 RNG048+1
92-60-22-17		 RNG049+1
92-60-28-22		 RNG049+2
92-60-25-21		 RNG050+1
92-60-44-36		 RNG051+1
92-60-4-3
RNG052+1
92-60-24-21		 RNG052+2
92-60-27-23		 RNG053+1
92-60-8-8		 RNG053+2
92-60-7-7		 RNG054+1
92-60-7-7		 RNG054+2
92-60-7-7		 RNG055+1
92-60-21-16
RNG055+2
92-60-22-17		 RNG056+1
92-60-12-8		 RNG056+2
92-60-12-8		 RNG057+1
92-60-20-16		 RNG057+2
92-60-20-16		 RNG058+1
92-60-10-8		 RNG058+2
92-60-9-8
RNG059+1
92-60-34-28		 RNG059+2
92-60-34-28		 RNG060+1
92-60-29-23		 RNG060+2
92-60-29-24		 RNG061+1
92-60-31-25		 RNG061+2
92-60-33-26		 RNG062+1
92-60-20-16
RNG062+2
92-60-19-14		 RNG063+1
92-60-14-11		 RNG063+2
92-60-14-11		 RNG064+1
92-60-15-12		 RNG064+2
92-60-15-12		 RNG065+1
92-60-26-21		 RNG065+2
92-60-25-21
RNG066+1
92-60-8-8		 RNG066+2
92-60-9-8		 RNG067+1
92-60-30-24		 RNG067+2
92-60-31-25		 RNG068+1
92-60-14-10		 RNG068+2
92-60-13-10		 RNG069+1
92-60-31-25
RNG069+2
92-60-30-25		 RNG070+1
92-60-35-26		 RNG070+2
92-60-35-27		 RNG071+1
92-60-26-19		 RNG071+2
92-60-26-19		 RNG072+1
92-60-40-32		 RNG072+2
92-60-39-31
RNG073+1
92-60-28-23		 RNG073+2
92-60-28-23		 RNG074+1
92-60-41-31		 RNG074+2
92-60-41-31		 RNG075+1
92-60-5-5		 RNG075+2
92-60-6-6		 RNG076+1
92-60-29-24
RNG076+2
92-60-29-24		 RNG077+1
92-60-30-25		 RNG077+2
92-60-27-22		 RNG078+1
92-60-11-8		 RNG078+2
92-60-10-9		 RNG079+1
92-60-27-22		 RNG079+2
92-60-27-22
RNG080+1
92-60-25-20		 RNG080+2
92-60-25-20		 RNG081+1
92-60-31-24		 RNG081+2
92-60-32-24		 RNG082+1
92-60-26-19		 RNG083+1
92-60-32-26		 RNG084+1
92-60-2-2
RNG085+2
92-60-4-4		 RNG086+1
92-60-26-21		 RNG086+2
92-60-46-35		 RNG087+1
92-60-23-18		 RNG087+2
92-60-46-35		 RNG088+1
92-60-41-31		 RNG088+2
92-60-45-34
RNG089+1
92-60-41-31		 RNG089+2
92-60-44-33		 RNG090+1
92-60-22-18		 RNG090+2
92-60-23-18		 RNG091+1
92-60-25-19		 RNG091+2
92-60-35-29		 RNG092+1
92-60-24-19
RNG092+2
92-60-33-24		 RNG093+1
92-60-17-15		 RNG093+2
92-60-33-25		 RNG094+1
92-60-0-0		 RNG094+2
92-60-5-3		 RNG095+1
92-60-24-19		 RNG095+2
92-60-41-32
RNG096+1
92-60-7-7		 RNG096+2
92-60-6-6		 RNG097+1
92-60-17-14		 RNG097+2
92-60-20-15		 RNG098+1
92-60-18-14		 RNG098+2
92-60-19-15		 RNG099+1
92-60-27-22
RNG099+2
92-60-34-27		 RNG100+1
92-60-3-3		 RNG100+2
92-60-10-8		 RNG101+1
92-60-36-29		 RNG101+2
92-60-48-37		 RNG102+1
92-60-33-26		 RNG102+2
92-60-48-37
RNG103+1
92-60-35-29		 RNG103+2
92-60-35-29		 RNG104+1
92-60-33-28		 RNG104+2
92-60-32-27		 RNG105+1
92-60-33-27		 RNG105+2
92-60-39-32		 RNG106+1
92-60-27-21
RNG106+2
92-60-34-26		 RNG107+1
92-63-0-0		 RNG107+4
92-63-0-0		 RNG108+1
92-60-34-26		 RNG108+4
92-60-44-33		 RNG109+1
92-60-22-18		 RNG109+4
92-60-32-23
RNG110+1
92-63-9-8		 RNG110+4
92-63-9-8		 RNG111+1
92-60-30-24		 RNG111+4
92-60-28-23		 RNG112+1
92-60-30-25		 RNG112+4
92-60-30-25		 RNG113+1
92-60-0-0
RNG113+4
92-60-0-0		 RNG114+1
92-60-5-4		 RNG114+4
92-60-27-21		 RNG115+1
92-60-16-11		 RNG115+4
92-60-43-33		 RNG116+1
92-60-21-17		 RNG116+4
92-60-33-26
RNG117+1
92-60-0-0		 RNG117+4
92-60-0-0		 RNG118+1
92-60-20-17		 RNG118+4
92-60-16-12		 RNG119+1
92-60-25-20		 RNG119+4
92-60-27-22		 RNG120+1
92-60-22-16
RNG120+4
92-60-22-17		 RNG121+1
92-60-23-17		 RNG121+4
92-60-40-30		 RNG122+1
92-60-19-15		 RNG122+4
92-60-19-14		 RNG123+1
92-60-37-30		 RNG123+4
92-60-38-31
RNG124+1
92-60-36-27		 RNG124+4
92-60-36-27		 RNG125+1
92-60-38-28		 RNG125+4
92-60-42-30		 RNG126+1
92-60-20-16		 RNG126+4
92-60-28-22		 RNG127+1
92-63-0-0
RNG128-1
91-58-34-29		 RNG129-1
91-57-0-0		 RNG130-1
74-51-5-5		 RNG131-1
74-51-6-6		 RNG132-1
74-51-8-8