TSTP Solution Domain: RNG

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