CRUS

Deutsch • English

Neue Basen starten

Sierpinski Base

http://www.mersenneforum.org/showthread.php?t=12984

riesel-basexxx.txt Inhalt (Riesel Base -1)

DIM base, 858 //neue Base
DIM type, -1 //Riesel -1, Sierpinski 1
DIM min_k, 1
DIM max_k, 24052 //conjecture max siehe link oben -1
DIM max_n, 2500 //max n, bleibt so

https://www.mersenneforum.org/showthread.php?t=12983

sierp-basexxx.txt Inhalt (Sierpinski Base +1)

DIM base, 858 //neue Base
DIM type, 1 //Riesel -1, Sierpinski 1
DIM min_k, 1
DIM max_k, 24052 //conjecture max siehe link oben -1
DIM max_n, 2500 //max n, bleibt so

WINPFGW commandline

riesel-basexxx.txt -f100 -l (-l = output logfile, nicht unbedingt erforderlich, nimmt viel Speicherplatz in Anspruch je nach Größe)

Output -->Verbose -->Superquiet

Starten -->rechnet bis n=2500

srbsieve

1. neue Base vorbereiten

srbsieve.ini for initial start

base=660 //base
mink=1
maxk=74030 //maxk-1 erstelle all Dateien für die komplette Base
c=1 /+ für Sierpinski / - für Riesel Base
maxNfbncsieve=8
maxKsrsieve2=1000000
phase=100 //n-value
//phase=250
//phase=500
//phase=1000
//phase=2500

2. für mehrere Instanzen, kopiere pl_remain.txt in jeden Ordner 2,3,4 ... und passe mink and maxk (10001-20000, 20001-40000 etc.) an

srbsieve.ini für mehrere Instanzen

base=660 //base
mink=10001 //from
maxk=20000 //to
c=1 // Sierpinski / - for Riesel Base
maxNfbncsieve=5
maxKsrsieve2=1000000
phase=100
phase=250
phase=500
phase=1000
phase=2500

3. starte srbsieve.bat von jeden Ordner um phase 2 zu starten da phase 1 schon fertig ist

4. Wenn alle Instanzen fertig sind, dann füge den Inhalt von allen pl_remain.txt zu einer pl_remain.txt zusammen und überschreibe die Datei vom Anfangsordner, füge den Inhalt aller pl_prime.txt inklusive die vom Ausgangsordner zu einer pl_prime.txt

5. starte srbverify vom Ausgangsordner, nutze die Original srbsieve.ini Datei. Diese verifiziert, ob alle k's erfasst wurden und sortiert pl_remain.txt und pl_prime.txt bei k.

Man kann auch vom letzten Checkpoint starten, falls was Unerwartetes aufgetreten ist.

Alternative für große Basen

1. srbsieve.ini um Zeit zu sparen aber mehr manueller Aufwand

base=660 //base
mink=1
maxk=74030 siehe Punkt 2 oben für mehrere Instanzen, hier wird der k-Wert gestückelt //
c=1 /+ für Sierpinski / - für Riesel Base
maxNfbncsieve=5
maxKsrsieve2=1000000
phase=100 //n-value
phase=250
phase=500
phase=1000
phase=2500

2. Am Ende müssen alle Dateien pl_GFN.txt, pl_MOB.txt, pl_prime.txt, pl_remain.txt, pl_trivial.txt zu jeweils einer Datei zusammengefügt werden.

3. steht noch aus ... im Test

Deutsch • English