TSTP Solution Domain: RNG

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