TSTP Solution Domain: RNG

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