TSTP Solution Domain: RNG

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