CRUS: Unterschied zwischen den Versionen
K (→srbsieve) |
|||
Zeile 132: | Zeile 132: | ||
|} | |} | ||
'''2. Am Ende müssen alle Dateien pl_GFN.txt | '''2. Am Ende müssen alle Dateien | ||
pl_GFN.txt<br> | |||
pl_MOB.txt<br> | |||
pl_prime.txt<br> | |||
pl_remain.txt<br> | |||
pl_trivial.txt<br> | |||
zu jeweils einer Datei zusammengefügt werden.''' | |||
'''3. steht noch aus ... im Test''' | '''3. steht noch aus ... im Test''' | ||
{{Languages|CRUS}} | {{Languages|CRUS}} |
Version vom 19. Juli 2023, 14:39 Uhr
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
Riesel Base
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 // Sierpinski / - für Riesel Base |
maxNfbncsieve=8 |
maxKsrsieve2=1000000 |
phase=100 |
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 / - für 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 // 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