TSTP Solution Domain: RNG

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