TSTP Solution Domain: RNG

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