TSTP Solution Domain: RNG

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