Toon posts:

Push Fight!

Pagina: 1 2 Laatste
Acties:

Acties:
  • +2Henk 'm!

  • Soultaker
  • Registratie: September 2000
  • Laatst online: 02:13
Hoi Tweakers.

Recent heb ik het bordspel Push Fight leren kennen. Het is een abstract bordspel voor twee spelers waarbij het doel is om een stuk van je tegenstander van het bord te duwen. Het bord is klein genoeg dat het praktisch mogelijk is om het hele spel door te rekenen.

Ik probeer nu voor elke mogelijke positie kan bepalen wie wint (en hoe). Voor zover ik weet is dit nog nooit door iemand gedaan. Hiervoor is een redelijke hoeveelheid rekenkracht nodig, en ik ben benieuwd of iemand me wil helpen bij het doorrekenen?

Ik heb al een plan hoe ik alles kan doorrekenen. Het begint met een eerste fase, waarbij voor alle 401,567,166,000 mogelijke stellingen wordt berekend of er een winnende zet is, of niet. In latere fases moet dat uitgebreid worden naar stellingen die te winnen zijn in 2 of meer zetten. Ik heb al een solver geschreven voor de eerste fase (broncode op Github).

De eerste fase (fase 0) bestaat uit 7429 chunks die elk een uitvoerbestand van 6.8 MB opleveren. Het duurt ongeveer 1 minuut per chunk (met een quad core CPU) waardoor het voor mij ongeveer 6 dagen zou duren om deze fase te voltooien. Dit proces kan makkelijk gedistribueerd worden. Vandaar dat ik op zoek ben naar mensen die een deel van de uitvoer willen berekenen en het resultaat naar mij willen uploaden.

edit: Inmiddels zijn we een paar fasen verder. Scroll naar de bodem van het topic voor de huidige stand van zaken!

Wat heb je nodig?
  1. Een beetje moderne PC (ik gebruik een quad core Intel CPU). Een redelijk hoeveelheid RAM helpt (denk: minimaal 8GB, idealiter minstens 16 GiB).
  2. Linux of Windows als OS (ik ontwikkel op Linux, maar ik compileer de solver ook voor Windows)
  3. Genoeg bandbreedte om invoer bestanden te downloaden (~3 GB per fase, gecomprimeerd) en de resultaten te uploaden (ongeveer 2.5 MB per chunk, gecomprimeerd).
  4. Genoeg schijfruimte om de invoer en uitvoerbestanden op te slaan (100-200 GB).
Wat is hier het praktisch nut van?
Door van alle stellingen de uitkomst te berekenen kunnen we de optimale strategie berekenen voor beide spelers. Ook kunnen we b.v. berekenen of speler 1 of speler 2 winst kan afdwingen, of dat het spel in remise eindigt (bij optimaal spel van beide spelers).

Heeft het ook nog enig maatschappelijk nut?
Nee.

Heeft iemand zin om te helpen?




Samenvatting van de resultaten tot nu toe:

FaseOnbepaaldVerlorenGewonnenNieuw verlorenNieuw gewonnen
-1401.567.165.35264806480
060.779.916.660648340.787.248.6920340.787.248.692
154.546.852.8866.233.064.422340.787.248.6926.233.063.7740
237.780.557.4166.233.064.422357.553.544.162016.766.295.470
334.837.304.6429.176.317.196357.553.544.1622.943.252.7740
429.666.435.7329.176.317.196362.724.413.07205.170.868.910
527.888.385.38610.954.367.542362.724.413.0721.778.050.3460
625.632.393.43810.954.367.542364.980.405.02002.255.991.948
724.512.388.56812.074.372.412364.980.405.0201.120.004.9050
823.255.798.28412.074.372.412366.236.995.30401.256.590.284
1021.713.847.58212.816.540.474367.036.777.944742.168.062799.782.640
1220.639.324.94213.339.114.688367.588.726.370522.574.214551.948.426
1419.793.983.42813.759.271.414368.013.911.158420.156.726425.184.788
1619.039.824.26814.149.521.144368.377.820.588390.249.730363.909.430
1818.434.317.48014.461.603.082368.671.245.438312.081.938293.424.850
2017.998.132.09214.685.061.622368.883.972.286223.458.540212.726.848
2217.699.545.84614.831.345.732369.036.274.422146.284.110152.302.136
2417.474.516.83814.942.516.496369.150.132.666111.170.764113.858.244
2617.310.522.60415.022.875.636369.233.767.76080.359.14083.635.094
2817.185.509.47415.083.910.952369.297.745.57461.035.31663.977.814
3017.081.557.55815.137.192.422369.348.416.02053.281.47050.670.446
3216.991.731.64415.180.817.806369.394.616.55043.625.38446.200.530
3416.916.463.45215.217.757.052369.432.945.49636.939.24638.328.946
3616.851.338.39815.253.531.202369.462.296.40035.774.15029.350.904
3816.802.533.77415.277.462.920369.487.169.30623.931.71824.872.906
4016.750.077.17615.301.255.914369.515.832.91023.792.99428.663.604
4216.701.027.14015.327.096.436369.539.042.42425.840.52223.209.514
4416.663.048.81215.345.782.968369.558.334.22018.686.53219.291.796
4616.625.288.85015.364.843.234369.577.033.91619.060.26618.699.696
4816.586.488.72415.385.369.328369.595.307.94820.526.09418.274.032
5016.546.438.18615.408.160.720369.612.567.09422.791.39217.259.146
5216.526.520.44815.418.450.462369.622.195.09010.289.7429.627.996
5416.510.605.64615.427.042.426369.629.517.9288.591.9647.322.838
5616.500.941.46415.431.805.464369.634.419.0724.763.0384.901.144
5816.492.304.06815.435.860.504369.639.001.4284.055.0404.582.356

[Voor 83% gewijzigd door Soultaker op 24-06-2022 17:51]


  • thec0mpler
  • Registratie: Juni 2013
  • Laatst online: 22:48
Ik dacht ik zal voor de gein is proberen hoe snel mijn machine gaat. Helaas lukt het niet om te compileren, zowel via Windows Subsystem for Linux als echte Linux (Debian) dezelfde foutmelding. Misschien dat ik iets verkeerd doe, maar ik heb geen ervaring met `make`:

code:
1
2
3
4
5
6
7
8
9
10
11
12
$ make
g++ -std=c++20 -Wall -Wextra -Wno-sign-compare -O3 -march=native -flto -o countbits countbits.cc
g++ -std=c++20 -Wall -Wextra -Wno-sign-compare -O3 -march=native -flto -c perms.cc
g++ -std=c++20 -Wall -Wextra -Wno-sign-compare -O3 -march=native -flto -c board.cc
g++ -std=c++20 -Wall -Wextra -Wno-sign-compare -O3 -march=native -flto -c search.cc
g++ -std=c++20 -Wall -Wextra -Wno-sign-compare -O3 -march=native -flto -o print print.cc perms.o board.o search.o
g++ -std=c++20 -Wall -Wextra -Wno-sign-compare -O3 -march=native -flto -o solve-r0 solve-r0.cc perms.o board.o search.o
/usr/bin/ld: /tmp/solve-r0.4mamse.ltrans0.ltrans.o: in function `main':
<artificial>:(.text.startup+0x6c0): undefined reference to `pthread_create'
/usr/bin/ld: <artificial>:(.text.startup+0x7b6): undefined reference to `pthread_create'
collect2: error: ld returned 1 exit status
make: *** [Makefile:22: solve-r0] Error 1

  • Soultaker
  • Registratie: September 2000
  • Laatst online: 02:13
thec0mpler schreef op woensdag 18 mei 2022 @ 21:58:
Ik dacht ik zal voor de gein is proberen hoe snel mijn machine gaat. Helaas lukt het niet om te compileren, zowel via Windows Subsystem for Linux als echte Linux (Debian) dezelfde foutmelding.
Kun je in de Makefile op de regel met CXXFLAGS -pthread -lpthread toevoegen? Dat is op sommige besturingssystemen noodzakelijk (maar niet op de meeste Linux distros).

Die regel wordt dan dus:
code:
1
CXXFLAGS=-std=c++20 -Wall -Wextra -Wno-sign-compare -O3 -march=native -flto -pthread -lpthread


[edit]:
Mogelijk moet je ook -lm toevoegen; dat is ook zo'n library die op sommige systemen automatisch meegenomen wordt en op andere niet.

En als je wil benchmarken zou ik ergens in het midden beginnen, want de rekentijd is niet uniform per chunk. De permutaties in het begin zijn trager dan gemiddeld, en aan het eind sneller dan gemiddeld.

Voorbeeld op m'n laptop (niet de allersnelste);
$ time ./solve-r0 3000 3001
Calculating 1 chunks from 3000 to 3001 (exclusive) using 4 threads.
Chunk 3000 done in 1.6157 minutes.                          

real	1m36.946s
user	4m58.724s
sys	0m0.928s

[Voor 48% gewijzigd door Soultaker op 18-05-2022 22:18]


  • Soultaker
  • Registratie: September 2000
  • Laatst online: 02:13
(edit: inhoud verplaatst naar het eerste bericht in het topic.)

[Voor 96% gewijzigd door Soultaker op 19-05-2022 17:32]


  • Soultaker
  • Registratie: September 2000
  • Laatst online: 02:13
Update: fase 0 is compleet doorgerekend (mede dankzij thec0mpler).

Wat heeft dat opgeleverd? Van de 401,567,166,000 stellingen zijn er precies 648 verliezend omdat geen enkele zet mogelijk is. Voorbeelden daarvan:



Verder zijn er 340,787,248,692 stellingen (84.86%) direct te winnen. Meestal zijn die stellingen niet erg interessant. Voorbeeld:


In fase 1 wordt van de overgebleven 60,779,917,308 stellingen berekend of ze verliezend zijn (doordat alle mogelijke opvolgers te winnen zijn door de tegenstander).

De uitvoer is wederom opgedeeld in 7429 chunks. Het doorrekenen van 1 chunk lijkt gemiddeld ongeveer 5 minuten te duren met een quad core CPU, dus dat is ongeveer 25 dagen volcontinue. Ik kan jullie hulp dus goed gebruiken!

Hoe kan je meehelpen?

Voor Windows:
  1. Download de laatste versie hier: https://styx.verver.ch/~m...ht-windows-2022-05-23.zip (compileren van broncode mag natuurlijk ook).
Voor Linux:
  1. Download de broncode van Github (https://github.com/maksverver/pushfight/)
  2. Compileer de solver (make)
Verder voor beide besturingssystemen:
  1. Download de uitvoer van fase 0 (r0.bin) van https://styx.verver.ch/~maks/pushfight/ (188 MB ingepakt, 50.2 GB uitgepakt) en plaats 'm in de input/ directory. Gebruik a.u.b. de bijgevoegde sha256 checksum om te verifiëren dat het bestand correct is gedownload.
  2. Stuur mij een DM om te laten weten dat je mee wil doen. Ik zal je dan een reeks chunks toekennen.
  3. Run de solver met b.v. ./solve-r1 9000 9500 op Linux of solve-r1.exe 9000 9500 op Windows (dit berekent chunks 9000 to 9500 en plaatst de uitvoer in de output directory)
  4. Als je klaar bent met je reeks, stuur mij een bericht om te overleggen hoe ik de uitvoer kan downloaden en je eventueel een nieuwe reeks kan toekennen.
Wil je meehelpen maar kun je bovenstaande stappen niet uitvoeren? Laat het we weten, dan probeer ik je op weg te helpen!

[Voor 8% gewijzigd door Soultaker op 23-05-2022 16:34]


  • Soultaker
  • Registratie: September 2000
  • Laatst online: 02:13
Update: fase 1 is ook compleet.

De snelste aanpak voor fase 2 is het gebruik van de backpropagate-losses tool. Benodigde invoer: r1.bin wederom te downloaden van https://styx.verver.ch/~maks/pushfight/ (872 MB ingepakt, 80 GB uitgepakt).

De uitvoer is een bestand output/r2-wins.bin van ongeveer 50 GiB (ongeacht het aantal chunks), maar het grootste deel bestaat uit nullen dus het zou redelijk goed te comprimeren moeten zijn. Laat me weten als je mee wil helpen!

[Voor 89% gewijzigd door Soultaker op 25-05-2022 17:49]


  • asterix78
  • Registratie: December 2017
  • Laatst online: 22-06 02:28
Ik zal vanavond eens een poging doen om te kijken of ik het aan de praat krijg zoja dan wil ik je graag ondersteunen

https://stats.free-dc.org/cpidtagb.php?cpid=1774c0adc3408697fb50168c04d9749e&theme=1&cols=1


Acties:
  • +1Henk 'm!

  • Soultaker
  • Registratie: September 2000
  • Laatst online: 02:13
asterix78 schreef op zaterdag 28 mei 2022 @ 17:35:
Ik zal vanavond eens een poging doen om te kijken of ik het aan de praat krijg zoja dan wil ik je graag ondersteunen
Top! Ik ben bijna klaar met fase 2 (ook dankzij thec0mpler), dus ik stel voor dat je wacht op fase 3. Je kunt wel alvast proberen de solvers de compileren/starten. Draai je Windows of Linux trouwens?

  • asterix78
  • Registratie: December 2017
  • Laatst online: 22-06 02:28
Soultaker schreef op zaterdag 28 mei 2022 @ 17:41:
[...]

Top! Ik ben bijna klaar met fase 2 (ook dankzij thec0mpler), dus ik stel voor dat je wacht op fase 3. Je kunt wel alvast proberen de solvers de compileren/starten. Draai je Windows of Linux trouwens?
Oke wanneer verwacht je fase 3?

https://stats.free-dc.org/cpidtagb.php?cpid=1774c0adc3408697fb50168c04d9749e&theme=1&cols=1


Acties:
  • +1Henk 'm!

  • Soultaker
  • Registratie: September 2000
  • Laatst online: 02:13
asterix78 schreef op zaterdag 28 mei 2022 @ 19:00:
Oke wanneer verwacht je fase 3?
Vanavond of morgenochtend. Ik heb nog iets van een uur nodig om resultaten van fase 2 te combineren en te valideren.

Acties:
  • 0Henk 'm!

  • Soultaker
  • Registratie: September 2000
  • Laatst online: 02:13
Fase 2 is compleet! In deze fase zijn 16.766.295.470 winnende stellingen gevonden, ongeveer 30% van de overgebleven stellingen. Alle nieuwe stellingen zijn winst-in-2, zoals bijvoorbeeld:


(In de stelling rechts kan blauw het stuk op h3 niet meer redden.)

Daarmee zijn 37.780.557.416 stellingen over voor fase 3, waarvoor vermoedelijk iets van 15 tot 20 CPU-dagen nodig zijn, maar met meerdere deelnemers kan het sneller!

Wil je meehelpen? Download dan r2.bin van https://styx.verver.ch/~maks/pushfight/ (2.3 GB ingepakt, 80.3 GB uitgepakt) en plaats het in de input directory, en run solve-rN 3 8000 9000 (waarbij 8000 en 9000 vervangen moeten worden door de range die ik je toeken; DM me om een range op te vragen!)

Voorbeeld voor Linux (beginnend vanuit de directory met de solver code, zie de instructiesin de topic start):

wget https://styx.verver.ch/~maks/pushfight/r2.sha256sum
wget https://styx.verver.ch/~maks/pushfight/r2.bin.zst
unzstd r2.bin.zst
sha256sum -c r2.sha256sum  # print OK als de download compleet is
mv r2.bin input/
./solve-rN 3 8000 9000


De solver kun je op elk moment afbreken en herstarten; je verliest dan alleen de voortgang in de huidige chunk (wat meestal een paar minuten werk is). De uitvoer wordt in de output/ directory geplaatst.

Nogmaals, PM me voor een range chunks. Als er iets niet duidelijk is of je ergens vastloopt, laat het me weten!

Acties:
  • +1Henk 'm!

  • Soultaker
  • Registratie: September 2000
  • Laatst online: 02:13
Fase 3 is compleet! Er zijn in totaal 2,943,252,774 nieuwe stellingen geklassificeerd als verliezen (7,8% van de onbesliste stellingen).

Daaronder stellingen als:



Rood staat er aanvankelijk slecht voor. Maar na f1-e1, b1-f3, f3-f2 lijkt de situatie aanzienlijk beter: geen van rood's stukken staan op de rand, en de blauwe cirkel staat nu juist op de rand op f1. Maar blauw heeft een sterk antwoord:



Na e4-d2,d4-b2,d1-c1 is rood's cirkel op b1 gevangen. (Merk op dat verplaatsing e4-d2 noodzakelijk is om blauw's cirkel op f1 te beschermen.)

Een soort van leaderboard van de gebruikers die meegeholpen hebben:

GebruikerChunksStellingen
asterix789605552605441
dylan11111114295097799450
__R__5003812729898
thec0mpler4002899633215


Niet iedereen was gelijk begonnen en iedereen was van mij afhankelijk om ranges toegekend te krijgen. Ik wil proberen om in de toekomst de ranges automatisch te laten toekennen zodat er minder overleg nodig is.

Overigens kun je ook zien aan de bovenstaande statistieken dat niet alle chunks evenveel onbesliste stellingen bevatten. Vandaar dat sommige ranges veel langer duurden dan anderen.

Acties:
  • 0Henk 'm!

  • Soultaker
  • Registratie: September 2000
  • Laatst online: 02:13
Verzoek: kan een Windows-gebruiker test-client-2022-05-31.zip downloaden en mij vertellen wat de uitvoer is van het volgende commando:

test-client.exe --user=test --machine=test


(Context: ik probeer netwerkcode toe te voegen aan de solvers zodat ik niet handmatig chunks hoef uit te delen. Ik wil graag checken dat de netwerkcode ook onder Windows goed werkt, maar aangezien ik zelf onder Linux werk is dat lastig te checken.)

Acties:
  • +1Henk 'm!

  • Fore!
  • Registratie: Februari 2009
  • Laatst online: 00:46
@Soultaker ik had wat spannenders verwacht.. maar het is "Connection succesful!"
Edit:

Voor wat het waard is, user of machine naam aanpassen resulteert beide in "Connection succesful!"

[Voor 39% gewijzigd door Fore! op 31-05-2022 08:04]


Acties:
  • 0Henk 'm!

  • Soultaker
  • Registratie: September 2000
  • Laatst online: 02:13
Fore! schreef op dinsdag 31 mei 2022 @ 08:01:
@Soultaker ik had wat spannenders verwacht.. maar het is "Connection succesful!"
Bedankt! Dat is inderdaad het enige wat het momenteel doet. :)

Acties:
  • +2Henk 'm!

  • Soultaker
  • Registratie: September 2000
  • Laatst online: 02:13
Fase 5 is aangebroken en ik kan jullie hulp weer gebruiken! (@thec0mpler @asterix78 @dylan111111 @__R__ voor het het geval jullie weer willen helpen!)

(Wat is er met fase 4 gebeurt? Die heb ik zelf doorgerekend terwijl ik aan de code werkte om de volgende fasen makkelijker te maken.)

Wil je meehelpen? Dat is makkelijker dan ooit want ik heb de solver aangepast zodat 'ie automatisch chunks downloadt en resultaten uploadt. Je hoeft dus niet meer met mij te DM'en (mag natuurlijk wel). Wel moet je nog zelf de invoer van de vorige fase downloaden. Dus wat moet je doen?

Stap 1
Zorg dat je de laatste versie van de solver hebt. Linux gebruikers kunnen de Git versie updaten met b.v.:
make clean
git pull
make -j all


Windows gebruikers kunnen de executables hier downloaden:
https://styx.verver.ch/~m...ws-2022-06-02-9becc20.zip

Stap 2
Download de uitvoer van de vorige fase, r4.bin.zst (3.8 GB ingepakt, 80.3 GB uitgepakt), pak het uit, en plaats r4.bin in de input directory van de solver.

Downloaden en uitpakken kan als volgt (onder Linux):

wget https://styx.verver.ch/~maks/pushfight/r4.sha256sum
wget https://styx.verver.ch/~maks/pushfight/r4.bin.zst
unzstd r4.bin.zst
sha256sum -c r4.sha256sum  # print OK als de download compleet is
mv r4.bin input/


(Ik weet niet precies hoe het onder Windows moet, maar er waren de vorige keer een aantal Windows gebruikers die er blijkbaar geen moeite mee hadden, dus ik ga ervan uit dat het nu ook weer lukt. Laat het me weten als je er niet uitkomt!)

Onder windows kan de SHA256 checksum geprint worden met:
certUtil -hashfile r4.bin SHA256

(Die moet dan overeenkomen met de checksum in r4.sha256sum)

Stap 3
Start de solver! We gebruiken wederom solve-rN, maar het commando is anders:

./solve-rN --phase=5 --user=<gebruikersnaam> --machine=<machine-id>


Je gebruikersnaam en machine-id mag je zelf kiezen. Als je meerdere computers gebruikt is het van belang dat je ze verschillende namen geeft zodat ze niet aan dezelfde chunks gaan werken!

Als het goed is gaat de solver nu automatisch chunks opvragen en uploaden. Kijk af en toe even of alles nog goed loopt en er geen foutmeldingen zijn. De uitvoer zou er ongeveer zo uit moeten zien:
Queue is empty. Fetching more chunks from the server at styx.verver.ch:7429...
Server returned 10 more chunks to solve.
Calculating chunk 340 using 8 threads.
... (een paar minuten verstrijken) ...
Chunk stats: kept=46010257 unchanged=7543102 changed=500641
Chunk complete! Reporting result to server...
Succesfully uploaded chunk to server! (10810800 bytes; 2752940 bytes compressed)

[Voor 3% gewijzigd door Soultaker op 02-06-2022 22:26]


Acties:
  • +1Henk 'm!

  • Soultaker
  • Registratie: September 2000
  • Laatst online: 02:13
@hansR meldde dat onder Windows de verbinding met de server niet tot stand kwam. Als je hetzelfde probleem hebt, probeer dan op IP adres te verbinden door de optie --host=77.109.152.105 (IPv4) of --host=2a02:168:65fc:0:cab4:a36:224f:5b34 (IPv6) toe te voegen.

Acties:
  • 0Henk 'm!

  • asterix78
  • Registratie: December 2017
  • Laatst online: 22-06 02:28
goede middag mijn client krijgt geen connectie meer met de server.
enig idee hoe dit kan ?

https://stats.free-dc.org/cpidtagb.php?cpid=1774c0adc3408697fb50168c04d9749e&theme=1&cols=1


Acties:
  • +2Henk 'm!

  • Soultaker
  • Registratie: September 2000
  • Laatst online: 02:13
asterix78 schreef op vrijdag 3 juni 2022 @ 12:09:
goede middag mijn client krijgt geen connectie meer met de server.
enig idee hoe dit kan ?
Oeps, dat was mijn fout: ik had een verkeerde port mapping ingesteld op de router. De server zou in ieder geval bereikbaar moeten zijn.

Momenteel zijn er echter geen chunks beschikbaar. Gisteren heeft dylan111111 een fout ontdekt in de data die ik nu eerst op moet lossen. (Ik dacht dat ik al een update had gepost in dit topic maar blijkbaar heb ik me vergist.)

Acties:
  • 0Henk 'm!

  • __R__
  • Registratie: Juni 2008
  • Laatst online: 07:34
Goed. Klaar voor de start. Graag, als je de data foutloos hebt, ook een link naar de r4.sha256sum

Acties:
  • +1Henk 'm!

  • Soultaker
  • Registratie: September 2000
  • Laatst online: 02:13
Okee, ik denk dat ik het probleem verholpen heb, al is het me niet helemaal duidelijk hoe het ontstaan is. Ik hoop dat dit het enige probleem is met de invoer anders moet ik de hele fase-4 uitvoer opnieuw checken. Voorlopig ga ik er vanuit dat alles klopt, dus kunnen we fase 5 herstarten. Er zijn een paar wijzigingen nodig:

Stap 1: gelieve de solver te updaten op de gebruikelijke manier. De Windows versie is hier beschikbaar: https://styx.verver.ch/~m...ws-2022-06-03-0d3d3b5.zip

Stap 2: Fix de r4.bin invoer. Er zijn twee manieren:

Optie 1: Gooi de oude r4.bin weg en download een nieuwe van:
https://styx.verver.ch/~maks/pushfight/r4.bin.zst
https://styx.verver.ch/~maks/pushfight/r4.sha256sum

Optie 2:
Run ./fix-r4-bin in de solver directory. Die zou automatisch het bestand moeten fixen. (Dit scheelt je een grote download.) Eventueel kun je de sha256sum van hierboven gebruiken om te checken dat het bestand klopt, maar dat is niet strict noodzakelijk.

Stap 3:
Start de solver zoals voorheen :)

Als je de solver niet hebt geüpdatet (zie stap 1) krijg je een foutmelding als "Invalid solver for phase".

Als je r4.bin niet hebt gefixt (zie stap 2) krijg je een foutmelding als "Verification of chunk 123 failed!"

edit:
En een kleine nieuwe feature: op http://styx.verver.ch:7430/ (geen HTTPS) kun je de voortgang van de fase volgen.

[Voor 4% gewijzigd door Soultaker op 03-06-2022 20:14]


Acties:
  • +1Henk 'm!

  • __R__
  • Registratie: Juni 2008
  • Laatst online: 07:34
Soultaker schreef op vrijdag 3 juni 2022 @ 17:35:


Stap 1: gelieve de solver te updaten op de gebruikelijke manier. De Windows versie is hier beschikbaar: https://styx.verver.ch/~m...ws-2022-06-03-0d3d3b5.zip
Done!
404 error
En een kleine nieuwe feature: op http://styx.verver.ch:7430/ (geen HTTPS) kun je de voortgang van de fase volgen.
Does not respond

Boeien..... Bezig met chunk 156 }:O

Acties:
  • 0Henk 'm!

  • Soultaker
  • Registratie: September 2000
  • Laatst online: 02:13
Oeps, het is https://styx.verver.ch/~maks/pushfight/r4.sha256sum. Ik heb de link aangepast. Je kunt ook altijd https://styx.verver.ch/~maks/pushfight/ openen voor een lijst van bestanden.
Does not respond
D'oh! Port mapping was toegevoegd maar niet enabled. Zou nu moeten werken.

  • dylan111111
  • Registratie: Oktober 2013
  • Laatst online: 01:05
Fase 5 is alweer klaar. :)

[Voor 19% gewijzigd door dylan111111 op 04-06-2022 10:30]


Acties:
  • +2Henk 'm!

  • Soultaker
  • Registratie: September 2000
  • Laatst online: 02:13
Inderdaad, ik ben bezig met de resultaten samenvoegen.

Hieronder het leaderboard van fase 5 (ik heb de scores van voor en na de reset samengevoegd, vandaar dat het totaal aantal chunks > 7429 is, en ik heb mezelf er voor de vergelijking ook tussengezet hoewel ik zoals altijd een voorsprong heb):

GebruikerChunksStellingen
dylan111111498119.757.287.455
hansR347413.660.391.619
Soultaker10824.959.660.313
asterix785012.091.723.496
__R__3141.268.967.146
thec0mpler116710.492.312

Hartelijk dank aan allen!

edit:
Ik had per ongeluk __R__ en hansR samengevoegd :o Is nu gefixt!

[Voor 9% gewijzigd door Soultaker op 04-06-2022 19:08]


  • __R__
  • Registratie: Juni 2008
  • Laatst online: 07:34
Zet maar weer terug hoor..... O-)

Acties:
  • +1Henk 'm!

  • Soultaker
  • Registratie: September 2000
  • Laatst online: 02:13
__R__ schreef op zaterdag 4 juni 2022 @ 19:14:
Zet maar weer terug hoor..... O-)
Leuk geprobeerd ;) Maar als je je wil revancheren is hier je kans, want het is tijd voor fase 6!

Voor fase 6 heb ik de backpropagate-losses solver herschreven zodat 'ie beter werkt met automatische distributie van chunks en kleinere uitvoerbestanden genereert. Wil je weer meedoen? De stappen zijn bijna hetzelfde als vorige keer maar voor de volledigheid herhaal ik ze nog een keer.

Stap 1
Zorg dat de solvers up-to-date zijn! Linux gebruikers kunnen van Git updaten met:
make clean
git pull
make -j all


Windows gebruikers kunnen de laatste executables hier downloaden:
https://styx.verver.ch/~m...ws-2022-06-04-b9c14e4.zip

Stap 2
Download de invoerbestanden en plaats ze in de input directory. Voor deze solver zijn de vorige twee uitvoerbestanden r4.bin en r5.bin allebei nodig! Als je aan fase 5 meegerekend hebt dan heb je r4.bin waarschijnlijk nog, en dat bestand kun je hergebruiken. r5.bin kun je hier downloaden (4.2 GB ingepakt, 80.3 GB uitgepakt):
https://styx.verver.ch/~maks/pushfight/r5.bin.zst

In totaal heb je dus 160 GB vrije ruimte nodig, plus ruimte voor de uitvoer die je genereert, dus reken op ~200 GB in totaal (waarschijnlijk wat minder in de werkelijkheid).

Stap 3
Start de solver! We gebruiken deze keer dus backpropagate2 (in plaats van solve-rN).

./backpropagate2 --phase=6 --user=<gebruikersnaam> --machine=<machine-id>


Nogmaals, de user en machine ids mag je zelf kiezen. Belangrijk is dat verschillende machines (voor zover je die gebruikt) verschillende machine-ids gebruiken, zodat ze niet dezelfde chunks uit gaan rekenen.

Ik hoop dat jullie het hiermee redden. Laat me weten als iets niet duidelijk is of als je ergens vastloopt. Alvast bedankt voor de hulp! _/-\o_

Acties:
  • 0Henk 'm!

  • Soultaker
  • Registratie: September 2000
  • Laatst online: 02:13
Fase 6 compleet! Bedankt allemaal voor de hulp. Ik ga de resultaten verwerken. Hier zijn de stats:

GebruikerChunksStellingen
dylan111112754666153965
__R__1380385346798
asterix781183339566616
Soultaker1013288080396
thec0mpler28698902536


dylan11111 heeft het rustiger aan gedaan maar kwam nog steeds ruimschoots bovenaan terecht.

Acties:
  • +2Henk 'm!

  • Soultaker
  • Registratie: September 2000
  • Laatst online: 02:13
Ik heb de resultaten verwerkt. Het gaat de goede kant op; het aantal nieuwe stellingen dat geklassificeerd worden daalt gestaag. Het doel is om te convergeren op een toestand waarin geen nieuwe stellingen gevonden worden. Het is me nog niet helemaal duidelijk hoe lang dat precies duurt.

edit: tabel naar de topicstart verplaatst.

Ik vraag me af of ik het proces nog wat kan verbeteren. Bijvoorbeeld door de solver zelf invoerbestanden te laten downloaden dan wel upgraden, zodat er minder handwerk nodig is tussen fasen. Een ander idee is om de solvers voor de even en oneven fasen (backpropgate2 en solve-rN) samen te voegen, zodat twee fasen tegelijk berekend kunnen worden (wat in theorie mogelijk is).


Fase 7
Voorlopig ga ik nog even op de oude manier verder. Ik heb fase 7 gestart. Meedoen kan op vergelijkbare manier als voorheen, met de laatste invoerbestanden en solver.

Korte versie:

1. Update de solver (windows binaries: pushfight-windows-2022-06-05-95bb3b5.zip).

2. Download r6.bin.zst (4.5 GB ingepakt, 80 GB uitgepakt) en plaats in de input/ directory.

3. Start de solve-rN solver:
./solve-rN  --phase=7 --user=<gebruiker-id> --machine=<machine-id>

[Voor 39% gewijzigd door Soultaker op 06-06-2022 14:53]


Acties:
  • +3Henk 'm!

  • __R__
  • Registratie: Juni 2008
  • Laatst online: 07:34
* __R__ doet weer mee.

Acties:
  • +2Henk 'm!

  • Soultaker
  • Registratie: September 2000
  • Laatst online: 02:13
Fase 7 is compleet! Hartelijk bedankt voor jullie bijdragen. Er zijn 1,120,004,905 nieuwe verliezende stellingen geklassificeerd.

De leaderboard voor fase 7:

GebruikerChunksStellingen
dylan11111352411465687374
hansR16995923697601
asterix7810013508677940
__R__7482883739766
Soultaker4141599208463
thec0mpler43251382329


Ik ga gelijk door met fase 8. Die gaat ongeveer hetzelfde als fase 6 voorheen. Samenvatting:

1. Update de solver (Windows executables: pushfight-windows-2022-06-06-a139ff8.zip)

2. Download r7.bin.zst (4.7 GB ingepakt, 80 GB uitgepakt) en plaats in de input/ directory. Je hebt ook r6.bin nodig. Waarschijnlijk heb je die nog van vorige keer; zoniet download dan ook r6.bin.zst.

3. Start de backpropagate2 solver:
./backpropagate2  --phase=8 --user=<gebruiker-id> --machine=<machine-id>


Alvast bedankt voor de hulp! Waarschijnlijk gaat deze fase relatief snel. Voor de volgende keer ga ik proberen een solver te schrijven die twee fasen in één keer doet.

edit:
Voortgang is hier te zien: http://styx.verver.ch:7430/

Acties:
  • 0Henk 'm!

  • Soultaker
  • Registratie: September 2000
  • Laatst online: 02:13
Fase 8 is compleet! Mijn dank aan iedereen die meegeholpen heeft (en vooral @hansR die deze keer 71.8% van alle stellingen heeft doorgerekend):

GebruikerChunksStellingen
hansR4955804763786
asterix78991185523697
thec0mpler650126890169
Soultaker232827253


We gaan verder met fase 10! Niet fase 9? Nee, we gaan vanaf nu twee fasen in één keer doorrekenen met een nieuwe solver die de functionaliteit van solve-rN en backpropgate2 integreert. Dat scheelt handmatige interventies tussendoor en het heeft als voordeel dat je nog maar één invoer bestand nodig hebt. Verder werkt alles grotendeels hetzelfde als voorheen. Een samenvatting:

Stap 1: Update de solver (Linux gebruikers zie hier. Windows executables: pushfight-windows-2022-06-07-e61d4bd.zip)

Stap 2: Download r8.bin.zst (4.8 GB ingepakt, 80 GB uitgepakt) en plaats in de input/ directory.

Stap 3: Start solve2:
./solve2 --phase=10 --user=<gebruiker-id> --machine=<machine-id>


That's it! Laat het me weten als iets niet duidelijk is.

Acties:
  • 0Henk 'm!

  • hansR
  • Registratie: Oktober 2000
  • Laatst online: 06:51

hansR

koffie zwart graag

Soultaker schreef op dinsdag 7 juni 2022 @ 12:09:
Fase 8 is compleet! Mijn dank aan iedereen die meegeholpen heeft (en vooral @hansR die deze keer 71.8% van alle stellingen heeft doorgerekend):

...

Stap 3: Start solver2:
./solver2  --phase=10 --user=<gebruiker-id> --machine=<machine-id>


That's it! Laat het me weten als iets niet duidelijk is.
solve2 bestaat wel en loopt vrolijk ... tikfout?

badges


Acties:
  • 0Henk 'm!

  • Soultaker
  • Registratie: September 2000
  • Laatst online: 02:13
hansR schreef op dinsdag 7 juni 2022 @ 12:15:
solve2 bestaat wel en loopt vrolijk ... tikfout?
Ja, moet solve2 zijn idd. Gefixt!

Acties:
  • 0Henk 'm!

  • blottle
  • Registratie: Oktober 2012
  • Laatst online: 06:32
Hi! Leuk project. Ik wilde het ook eens testen maar hier gaat het niet goed volgensmij:


Acties:
  • +1Henk 'm!

  • Soultaker
  • Registratie: September 2000
  • Laatst online: 02:13
blottle schreef op dinsdag 7 juni 2022 @ 12:52:
Hi! Leuk project. Ik wilde het ook eens testen maar hier gaat het niet goed volgensmij:

[Afbeelding]
Anderen hadden dat probleem ook; het gebeurt denk ik omdat je geen IPv6 verbinding hebt. Waarschijnlijk kun je het oplossen door --host=77.109.152.105 toe te voegen op de command line, zodat je direct met IPv4 verbindt.

In theorie zou de solver zowel IPv6 als IPv4 moeten proberen, maar ik geloof dat ik een programmeerfoutje heb gemaakt waardoor 'ie alleen de eerste probeert. Ik zal het oplossen in de volgende versie.

Acties:
  • +1Henk 'm!

  • blottle
  • Registratie: Oktober 2012
  • Laatst online: 06:32
Ah ik zie nu je bericht iets hier boven. Mijn laptop is ook aan het rekenen :-)

Acties:
  • +1Henk 'm!

  • Soultaker
  • Registratie: September 2000
  • Laatst online: 02:13
Fase 10 compleet! Er zijn deze keer 742.168.062 nieuwe verliezende stellingen gevonden, en 799.782.640 nieuwe winnende stellingen (in totaal 1.541.950.702).

Hieronder het leaderboard voor deze fase. @hansR heeft wederom het leeuwendeel van het werk verzet:

GebruikerChunksStellingen
hansR614921.765.745.078
blottle273577.427.109
Soultaker120507.963.772
asterix78101404.662.325

  • __R__
  • Registratie: Juni 2008
  • Laatst online: 07:34
Morgenmiddag een nieuwe fase?

Acties:
  • +1Henk 'm!

  • Soultaker
  • Registratie: September 2000
  • Laatst online: 02:13
__R__ schreef op woensdag 8 juni 2022 @ 17:09:
Morgenmiddag een nieuwe fase?
Alle resultaten van fase 10 zien er goed uit dus wat mij betreft beginnen we vanavond nog :) De volgende fase is fase 12 (er worden weer twee fasen tegelijk berekend).

De procedure is grotendeels hetzelfde als voorheen. Een paar kleine verschillen:

Stap 1 (optioneel): Deze keer hoef je de solver niet te updaten. Mag wel. Windows binaries staan hier: pushfight-windows-2022-06-08-a9fec83.zip (in deze versie zou het IPv6 probleem opgelost moeten zijn, dus hoef je als het goed is geen --host argument meer op te geven).

Stap 2: Download r10.bin.zst (5.0 GB ingepakt, 80 GB uitgepakt) en plaats in de input/ directory. Als je bij de vorige stap de solver niet hebt geupdatet, moet je ook chunk-r10.sha256sum downloaden en in de metadata/ directory plaatsen (de solver gebruikt dit bestand om te verifiëren dat r10.bin correct gedownload is).

Stap 3: Start solve2 zoals voorheen, maar nu natuurlijk met --phase=12:
./solve2 --phase=12 --user=<gebruiker-id> --machine=<machine-id>

Acties:
  • +2Henk 'm!

  • scorpionv
  • Registratie: Juni 2000
  • Laatst online: 23:16

scorpionv

Los Alcoholicos

Leuk initiatief @Soultaker, een home-brew DC project 8) Ik heb er een PC op gezet.

Zo te zien gebruikt de solver maar 1 core?

Now processing: World Community Grid!


Acties:
  • +1Henk 'm!

  • Soultaker
  • Registratie: September 2000
  • Laatst online: 02:13
Bedankt! Ik vind het ook een leuk project om aan te werken. Het zit net op de rand van wat berekenbaar is; te veel stellingen om in m'n eentje door te rekenen, maar met wat hulp is het wel te behappen.
scorpionv schreef op woensdag 8 juni 2022 @ 22:13:
Zo te zien gebruikt de solver maar 1 core?
Als het goed is gebruiken alle solvers alle beschikbare CPU cores. Misschien gaat er iets mis? Welk besturingssysteem gebruik je?

(Het kan voorkomen dat soms niet alle CPU cores voor 100% benut worden. Dit komt omdat ik de invoer opdeel in 7429 *chunks* die elk weer uit 225 *parts* bestaan. Elke CPU core verwerkt steeds één part. Als een chunk bijna helemaal doorgerekend is kan het dan voorkomen dat 1 CPU core nog bezig is met de laatste part terwijl de andere cores niets aan het doen zijn. Maar dat zou de uitzondering op de regel moeten zijn.)

Acties:
  • +1Henk 'm!

  • scorpionv
  • Registratie: Juni 2000
  • Laatst online: 23:16

scorpionv

Los Alcoholicos

Soultaker schreef op woensdag 8 juni 2022 @ 22:31:
Als het goed is gebruiken alle solvers alle beschikbare CPU cores. Misschien gaat er iets mis? Welk besturingssysteem gebruik je?

(Het kan voorkomen dat soms niet alle CPU cores voor 100% benut worden. Dit komt omdat ik de invoer opdeel in 7429 *chunks* die elk weer uit 225 *parts* bestaan. Elke CPU core verwerkt steeds één part. Als een chunk bijna helemaal doorgerekend is kan het dan voorkomen dat 1 CPU core nog bezig is met de laatste part terwijl de andere cores niets aan het doen zijn. Maar dat zou de uitzondering op de regel moeten zijn.)
Aha, ik heb het al gevonden denk ik. Vanwege de 80GB data had ik de map op de HDD gezet, nu verplaatst naar de SSD omdat de diskload erg hoog was, en voila: CPU load 100%. Dus de HDD was vermoedelijk verreweg de langzaamste in het geheel.

Now processing: World Community Grid!


  • scorpionv
  • Registratie: Juni 2000
  • Laatst online: 23:16

scorpionv

Los Alcoholicos

O ja, Windows 10 Pro 64 bit.

Now processing: World Community Grid!


  • scorpionv
  • Registratie: Juni 2000
  • Laatst online: 23:16

scorpionv

Los Alcoholicos

En de chunk queue is weer al leeg }:O :Y)

Now processing: World Community Grid!


Acties:
  • +1Henk 'm!

  • Michael_OsGroot
  • Registratie: Maart 2020
  • Laatst online: 24-06 19:16

Michael_OsGroot

Yes... Yes!

scorpionv schreef op woensdag 8 juni 2022 @ 22:13:
Leuk initiatief @Soultaker, een home-brew DC project 8) Ik heb er een PC op gezet.

Zo te zien gebruikt de solver maar 1 core?
Precies, als er iets in de kern des Tweakers en des DPC is, is het wel een project als dit :) Misschien leuk om de redactie te tippen als het project klaar is!

Chebyshev said it, and I'll say it again; There's always a prime between n and 2n | In andere landen wordt meer gescholden dan bij ons in Nederland


  • scorpionv
  • Registratie: Juni 2000
  • Laatst online: 23:16

scorpionv

Los Alcoholicos

Misschien offtopic, maar is er een digitale versie van PushFight? Het lijkt me een leuk spel, maar ik probeer het graag digitaal uit voor ik de fysieke versie bestel.

Now processing: World Community Grid!


Acties:
  • +1Henk 'm!

  • Soultaker
  • Registratie: September 2000
  • Laatst online: 02:13
scorpionv schreef op donderdag 9 juni 2022 @ 11:07:
En de chunk queue is weer al leeg }:O :Y)
Yep! Ik zal de resultaten gaan samenvoegen. Hierbij de leaderboard voor fase 12:

GebruikerChunksStellingen
hansR462715.020.612.937
__R__9763.335.619.378
asterix785421.511.619.970
scorpionv3601.319.006.908
thec0mpler92378.275.330
Soultaker46148.713.059
scorpionv schreef op donderdag 9 juni 2022 @ 12:44:
Misschien offtopic, maar is er een digitale versie van PushFight? Het lijkt me een leuk spel, maar ik probeer het graag digitaal uit voor ik de fysieke versie bestel.
Ik heb zelf al eerder een rudimentaire versie gemaakt, hier: https://games.verver.ch/ alleen het begin ontbreekt (je begint dus altijd met je stukken op een vaste positie i.p.v. dat je zelf mag kiezen waar je ze neerzet).

De fysieke variant is lastig te krijgen in Europa helaas.

[Voor 41% gewijzigd door Soultaker op 09-06-2022 13:14]


Acties:
  • +2Henk 'm!

  • Soultaker
  • Registratie: September 2000
  • Laatst online: 02:13
Okee, de resultaten van fase 12 zijn verwerkt. Er zijn 522.574.214 verloren en 551.948.426 gewonnen stellingen gevonden, in totaal 1.074.522.640 of ongeveer 5% van de onbepaalde stellingen! Als het zo doorgaat zijn we in maximaal 20 fasen klaar maar mijn verwachting is dat het sneller gaat.

Voorbeeld van een nieuwe stelling (winst in 6):


Ondertussen is de server is klaar voor fase 14.

Stap 1: Zorg dat je de laatste versie van de solver hebt. Ik heb de solvers sinds fase 12 niet geüpdatet dus als je aan fase 12 hebt meegerekend kun je deze stap overslaan. Voor nieuwe deelnemers: Linux gebruikers kunnen de broncode downloaden van GitHub https://github.com/maksverver/pushfight en compileren met b.v. make -j all. Windows gebruikers kunnen de laatste executables hier downloaden: windows-2022-06-08-a9fec83.zip.

Stap 2: Download r12.bin.zst (5.2 GB ingepakt, 80 GB uitgepakt), pak uit, en plaats r12.bin in de input/ directory. Download chunk-r12.sha256sum en plaats het in de metadata/ directory (de solver gebruikt dit bestand om te verifiëren dat r12.bin correct gedownload is).

Stap 3: Start solve2:
./solve2 --phase=14 --user=<gebruiker-id> --machine=<machine-id>


Server status is zoals gebruikelijk hier te zien: http://styx.verver.ch:7430/

Acties:
  • +1Henk 'm!

  • Soultaker
  • Registratie: September 2000
  • Laatst online: 02:13
Fase 14 is compleet! Hartelijk dank aan iedereen die meegeholpen heeft:

GebruikerChunksStellingen
hansR30969.973.913.193
dylan1111119035.575.030.028
scorpionv8802.800.499.286
__R__6882.073.427.229
ZakjePatatje46136.022.076
Soultaker3080.433.130


In totaal zijn 845.341.514 stellingen geklassificeerd (420.156.726 verliezend, 425.184.788 winnend), ongeveer 4% van het totaal.

Ik heb gelijk de server voorbereid voor fase 16. Meedoen kan op dezelfde manier als voorheen. Samengevat:

Stap 1: Download chunk-r14.sha256sum en plaats in de metadata/ directory.

Stap 2: Download r14.bin.zst en pak uit in de input/ directory.

Stap 3: Start de solver:
./solve2 --phase=16 --user=<gebruikersnaam> --machine=<machine-id>


Wederom alvast bedankt voor de hulp! _/-\o_

[Voor 6% gewijzigd door Soultaker op 11-06-2022 13:02]


  • __R__
  • Registratie: Juni 2008
  • Laatst online: 07:34
* __R__ stapt weer eens laat in...

  • scorpionv
  • Registratie: Juni 2000
  • Laatst online: 23:16

scorpionv

Los Alcoholicos

Beter laat dan nooit, maar de queue gaat steeds harder leeg volgens mij :9

Now processing: World Community Grid!


Acties:
  • +1Henk 'm!

  • Soultaker
  • Registratie: September 2000
  • Laatst online: 02:13
Fase 16 voltooid! 754.159.160 stellingen geklassificeerd (390.249.730 verliezend, 3.8% van het totaal).

GebruikerChunksStellingen
hansR400711.784.988.763
scorpionv18195.254.004.268
__R__4881.662.815.322
ZakjePatatje277928.673.280
Soultaker52163.501.795
scorpionv schreef op zaterdag 11 juni 2022 @ 09:17:
Beter laat dan nooit, maar de queue gaat steeds harder leeg volgens mij :9
Dat klopt, ten dele door de hulp van Tweakers, ten dele omdat er steeds minder onbekende stellingen overblijven. Op een gegeven moment moet ik overschakelen op een andere methode om de bestanden te updaten tussen fasen, maar dat vereist nog wat meer code.

Voorlopig dus zo maar even verder! Fase 18. Wederom de instructies:

Stap 1: Download chunk-r16.sha256sum en plaats in de metadata/ directory.

Stap 2: Download r16.bin.zst en pak uit in de input/ directory.

Stap 3: Start de solver:
./solve2 --phase=18 --user=<gebruikersnaam> --machine=<machine-id>


Alvast bedankt voor de hulp, en laat het me weten als er iets niet duidelijk is :)

edit:
De server was bij het posten van deze reactie nog niet up-to-date. Zou nu gefixt moeten zijn!

Acties:
  • 0Henk 'm!

  • Soultaker
  • Registratie: September 2000
  • Laatst online: 02:13
Fase 18 voltooid! Deze keer zijn er 605.506.788 stellingen geclassificeerd, 3.1% van het totaal (vorige keer was dat 3.8%). Met dank aan de volgende Tweakers:

GebruikerChunksStellingen
hansR403511.238.449.508
scorpionv14924.254.359.438
__R__6962.131.842.702
Soultaker4201.415.172.620


Door met Fase 20. Wederom de instructies:

Stap 1: Download chunk-r18.sha256sum en plaats in de metadata/ directory.

Stap 2: Download r18.bin.zst en pak uit in de input/ directory.

Stap 3: Start de solver:
./solve2 --phase=20 --user=<gebruikersnaam> --machine=<machine-id>

[Voor 0% gewijzigd door Soultaker op 12-06-2022 18:49. Reden: Links gefixt!]


Acties:
  • 0Henk 'm!

  • __R__
  • Registratie: Juni 2008
  • Laatst online: 07:34
* __R__ is nu een beetje dronken maar als bij thuis komt.........

Acties:
  • 0Henk 'm!

  • Soultaker
  • Registratie: September 2000
  • Laatst online: 02:13
__R__ schreef op zondag 12 juni 2022 @ 18:50:
* __R__ is nu een beetje dronken maar als bij thuis komt.........
Je mag drinken wat je wil, als je PC maar nuchter blijft :P

  • __R__
  • Registratie: Juni 2008
  • Laatst online: 07:34
Phase 22:

Chunks completed: 170/6642 (2.56%)
Chunks assigned: 18/6642 (0.27%)
Chunks remaining: 6454/6642 (97.17%)
@Soultaker Gaan we solo vandaag?

  • dylan111111
  • Registratie: Oktober 2013
  • Laatst online: 01:05
Ik krijg hier de melding dat de server geen chunks meer available heeft. Ik denk een client probleem omdat het bij andere wel lijkt te werken... Als ik thuis ben straks nog eens onderzoeken.


Nvm, fase 22 werkt. :)

[Voor 16% gewijzigd door dylan111111 op 13-06-2022 17:56]


Acties:
  • +1Henk 'm!

  • Soultaker
  • Registratie: September 2000
  • Laatst online: 02:13
Fase 20 voltooid met 436.185.388 stellingen geclassificeerd (223.458.540 verloren, 212.726.848 gewonnen) 2.4% van het totaal (vorige keer was dat 3.1% dus de daling zet voort). De leaderboard:

GebruikerChunksStellingen
hansR403511.238.449.508
scorpionv14924.254.359.438
__R__6962.131.842.702
Soultaker4201.415.172.620
Ik was een beetje aan het testen, maar je mag zeker meehelpen! :) Voor Fase 22 wederom de instructies:

Stap 1: Download chunk-r20.sha256sum en plaats in de metadata/ directory.

Stap 2: Download r20.bin.zst (5.3 GB ingepakt, 80 GB uitgepakt) en pak uit in de input/ directory. (Zie hieronder voor een alternatief.)

Stap 3: Start de solver:
./solve2 --phase=22 --user=<gebruikersnaam> --machine=<machine-id>



Als je een kleiner bestand wil downloaden en je hebt r18.bin nog van vorige keer, kun je ook in plaats van de nieuwe r20.bin r20-new.bin (1.2 GB) of r20-new.bin.zst (580 MB) downloaden en in de input/ directory plaatsen. Met de laatste versie van de solver (Windows executables: pushfight-windows-2022-06-13-f269ea6.zip) zou 'ie dan automatisch r18.bin moeten upgraden naar r20.bin door de nieuwe losses/wins toe te voegen. Je hebt nog wel chunk-r20.sha256sum nodig (zie stap 1 hierboven, maar zit ook in de .zip).

Als je dit probeert en je komt een probleem tegen, laat het me dan graag weten :)

[Voor 3% gewijzigd door Soultaker op 13-06-2022 17:46]


Acties:
  • +1Henk 'm!

  • Soultaker
  • Registratie: September 2000
  • Laatst online: 02:13
Fase 22 voltooid met dank aan de volgende Tweakers:

GebruikerChunksStellingen
hansR33899.101.577.380
dylan1111128127.584.709.363
__R__4161.222.526.311
Soultaker2589.319.038


Gelijk maar verder met fase 24, grotendeels hetzelfde als de vorige keer. Als je de solver al hebt dan:

Stap 1: Download chunk-r22.sha256sum en plaats in de metadata/ directory.

Stap 2: Download r22.bin.zst (5.3 GB ingepakt, 80 GB uitgepakt) óf (als je de laatste versie van de solver en de invoer van vorige keer, r20.bin, nog hebt): r22-new.bin (875 MB) of r22-new.bin.zst (416 MB) en pak uit in de input/ directory.

Stap 3: Start de solver:
./solve2 --phase=24 --user=<gebruikersnaam> --machine=<machine-id>

  • scorpionv
  • Registratie: Juni 2000
  • Laatst online: 23:16

scorpionv

Los Alcoholicos

Soultaker schreef op dinsdag 14 juni 2022 @ 15:57:

Gelijk maar verder met fase 24, grotendeels hetzelfde als de vorige keer. Als je de solver al hebt dan:

Stap 3: Start de solver:
./solve2 --phase=22 --user=<gebruikersnaam> --machine=<machine-id>
Ik denk: solve2 --phase=24 --user=<gebruikersnaam> --machine=<machine-id>

Now processing: World Community Grid!


Acties:
  • +1Henk 'm!

  • Soultaker
  • Registratie: September 2000
  • Laatst online: 02:13
scorpionv schreef op dinsdag 14 juni 2022 @ 16:11:
Ik denk: solve2 --phase=24 --user=<gebruikersnaam> --machine=<machine-id>
Je hebt gelijk. Gefixt!

  • __R__
  • Registratie: Juni 2008
  • Laatst online: 07:34
@Soultaker Je servert ligt plat.
Queue is empty. Fetching more chunks from the server at styx.verver.ch:7429...
client: Failed to connect to host styx.verver.ch IP address 77.109.152.85 port 7429
Failed to connect: Failed to connect
Sleeping for 600 seconds before retrying...

[Voor 79% gewijzigd door __R__ op 14-06-2022 20:14]


  • Soultaker
  • Registratie: September 2000
  • Laatst online: 02:13
Het is iets gecompliceerder. De server is up, maar m'n ISP heeft een IPv4 outage, waardoor de server momenteel alleen via IPv6 beschikbaar is :/ Even afwachten maar of ze het op korte termijn weten te fixen.

Gelukkig werkt Tweakers.net wel uitstekend over IPv6! :Y)

  • __R__
  • Registratie: Juni 2008
  • Laatst online: 07:34
Soultaker schreef op donderdag 2 juni 2022 @ 16:38:
@hansR meldde dat onder Windows de verbinding met de server niet tot stand kwam. Als je hetzelfde probleem hebt, probeer dan op IP adres te verbinden door de optie --host=77.109.152.105 (IPv4) of --host=2a02:168:65fc:0:cab4:a36:224f:5b34 (IPv6) toe te voegen.
Dus deze optie erbij en dan moet het goedkomen?

Nope. Ik houd het wel bij IPv4 en dan zien we het vanzelf wel weer.

[Voor 8% gewijzigd door __R__ op 14-06-2022 20:48]


  • Soultaker
  • Registratie: September 2000
  • Laatst online: 02:13
__R__ schreef op dinsdag 14 juni 2022 @ 20:47:
Dus deze optie erbij en dan moet het goedkomen?
Áls je een IPv6 verbinding hebt zou dat moeten werken ja.

Ondertussen lijkt het probleem verholpen te zijn, maar m'n IPv4 adres is veranderd. Ik heb de DNS records aangepast maar het kan even duren voordat correct gepropageerd is. Als je nog niet kan verbinden kan het helpen om --host=212.51.139.199 toe te voegen.

  • Damic
  • Registratie: September 2003
  • Nu online

Damic

POOP MOAR EGGS.

@Soultaker kun je geen optie maken in je client dat je een dual host hebt. bv --host=[ipv4] --host6=[ipv6]

Ik kan vanalles en nog wat maar niets te goei, klinkt bekent?? Al wat ik aanraak werk niet meer zoals het hoort. Damic houd niet van zijn verjaardag


  • Soultaker
  • Registratie: September 2000
  • Laatst online: 02:13
Damic schreef op dinsdag 14 juni 2022 @ 20:59:
@Soultaker kun je geen optie maken in je client dat je een dual host hebt. bv --host=[ipv4] --host6=[ipv6]
Dat is in theorie wat DNS doet. Als je géén --host parameter meegeeft dan resolvet de hostname via DNS, en zou er zowel een IPv6 als een IPv4 adres beschikbaar moeten zijn. (Een eerdere versie van de solver had een bug waardoor alleen de eerste optie geprobeerd werd, maar dat is inmiddels verholpen.)

Het enige probleem met DNS is dat resultaten gecachet worden (meestal voor een paar uur) waardoor het een tijdje kan duren voordat je het nieuwe IPv4 adres krijgt, vandaar dat ik de tip gaf om het nieuwe adres zelf in de --host argument te zetten.

  • Damic
  • Registratie: September 2003
  • Nu online

Damic

POOP MOAR EGGS.

Hazo :) dus het host param is eigenlijk backup?

Ik kan vanalles en nog wat maar niets te goei, klinkt bekent?? Al wat ik aanraak werk niet meer zoals het hoort. Damic houd niet van zijn verjaardag


Acties:
  • +1Henk 'm!

  • Soultaker
  • Registratie: September 2000
  • Laatst online: 02:13
Damic schreef op dinsdag 14 juni 2022 @ 21:06:
Hazo :) dus het host param is eigenlijk backup?
Ja, en als je naar een andere server wil verbinden. Ik gebruik b.v. --host=localhost om lokaal te testen.

Acties:
  • +2Henk 'm!

  • Soultaker
  • Registratie: September 2000
  • Laatst online: 02:13
Fase 24 voltooid met 225.029.008 nieuwe stellingen geclassificeerd (111.170.764 verloren, 113.858.244 gewonnen) of 1.3% van het totaal. Er waren wat problemen gisteravond met de bereikbaarheid van de server, maar daarna verliep alles soepel. De leaderboard ziet er als volgt uit:

GebruikerChunksStellingen
hansR445011.203.657.690
scorpionv8922.573.810.947
__R__7122.188.703.715
Soultaker5881.733.373.494


Wederom mijn dank aan iedereen die heeft meegeholpen! _/-\o_

Hoewel het aantal nieuwe stellingen steeds kleiner wordt (wat ook de bedoeling is) lijkt het er op dat we nog wel een aantal fasen nodig hebben voor we alles geclassificeerd hebben. Daarom probeer ik de volgende fasen iets beter te automatiseren, door de solver automatisch de invoer te laten updaten tussen fasen. Hoe kun je meehelpen?

Stap 1: Zorg dat je de laatste versie van de solver hebt (solve2-v0.1.5).

Voor Linux gebruikers met de broncode van Github:
make clean
git pull --rebase
make -j all


Voor Windows gebruikers: download de executables hier: pushfight-windows-2022-06-15-e64dde1.zip.

Stap 2: Dit is optioneel voor deelnemers die r22.bin nog hebben van de vorige fase. Maar als je voor het eerst meedoet (of een fase gemist hebt) moet je nog steeds de invoer van de vorige fase downloaden. Download r24.bin.zst (5.3 GB ingepakt, 80 GB uitgepakt) en plaats in de input/ directory.

Stap 3: Start de solver, maar deze keer zonder --phase argument:

./solve2 --user=<gebruikersnaam> --machine=<machine-id>


Als het goed is zou de solver nu automatisch de actieve fase moeten detecteren, indien nodig de bestanden downloaden van de server (~350 MB voor fase 26), en beginnen met rekenen. Alvast bedankt voor de hulp, en laat me graag weten als er iets niet werkt!

Acties:
  • +2Henk 'm!

  • __R__
  • Registratie: Juni 2008
  • Laatst online: 07:34
Werkt zoals beschreven op een windows machine. d:)b

Acties:
  • +2Henk 'm!

  • thec0mpler
  • Registratie: Juni 2013
  • Laatst online: 22:48
Zou je misschien de .sha256sum van r24.bin willen toevoegen? :) Ik krijg de volgende foutmelding: Checksum file found for phase 24 does not exist: metadata/chunk-r24.sha256sum

Edit: bestand staat wel hier: https://styx.verver.ch/~maks/pushfight/

[Voor 17% gewijzigd door thec0mpler op 15-06-2022 22:29]


  • scorpionv
  • Registratie: Juni 2000
  • Laatst online: 23:16

scorpionv

Los Alcoholicos

thec0mpler schreef op woensdag 15 juni 2022 @ 22:26:
Zou je misschien de .sha256sum van r24.bin willen toevoegen? :) Ik krijg de volgende foutmelding: Checksum file found for phase 24 does not exist: metadata/chunk-r24.sha256sum
Idem. Ik heb gewoon de r24.bin.zst gedownload en uitgepakt, dus niet gemerged met een oude r22.bin oid.

Now processing: World Community Grid!


Acties:
  • +1Henk 'm!

  • Soultaker
  • Registratie: September 2000
  • Laatst online: 02:13
thec0mpler schreef op woensdag 15 juni 2022 @ 22:26:
Zou je misschien de .sha256sum van r24.bin willen toevoegen? :) Ik krijg de volgende foutmelding: Checksum file found for phase 24 does not exist: metadata/chunk-r24.sha256sum
Toegevoegd op Github! (Ik had nog niet alle commits naar github gepusht.)

Je kunt 'm inderdaad ook van chunk-r24.sha256sum downloaden en handmatig in de metadata/ directory plaatsen.

  • scorpionv
  • Registratie: Juni 2000
  • Laatst online: 23:16

scorpionv

Los Alcoholicos

En fase 26 is er door.

Nu zou de client vanzelf weer door moeten lopen wanneer @Soultaker fase 28 vrijgeeft toch?

Now processing: World Community Grid!


  • Soultaker
  • Registratie: September 2000
  • Laatst online: 02:13
scorpionv schreef op donderdag 16 juni 2022 @ 11:03:
Nu zou de client vanzelf weer door moeten lopen wanneer @Soultaker fase 28 vrijgeeft toch?
In theorie ja!

  • scorpionv
  • Registratie: Juni 2000
  • Laatst online: 23:16

scorpionv

Los Alcoholicos

En dat gebeurt ook, nice job _/-\o_

Now processing: World Community Grid!


Acties:
  • +1Henk 'm!

  • Frelg
  • Registratie: December 2004
  • Laatst online: 24-06 09:50

Frelg

-= Its BigBoss =-

:w In full lurk & chunk mode aan het meehelpen nu. <insert pacman crusher here> :Y

Frelg de; m,v een Friese Belg. Een Fries die in België woonachtig is/geweest is.


Acties:
  • +2Henk 'm!

  • Soultaker
  • Registratie: September 2000
  • Laatst online: 02:13
Een korte update. Er zijn twee fasen doorgerekend. En fase 30 zou nu moeten lopen (server status) :) Dank aan iedereen die meehelpt!

De leaderboard voor fase 26:

GebruikerChunksStellingen
hansR504013.131.498.890
scorpionv11893.493.005.790
__R__293613.894.778
thec0mpler111221.325.788
Soultaker914.791.592


De leaderboard voor fase 28:

GebruikerChunksStellingen
hansR464211.857.705.941
scorpionv10603.027.622.030
Soultaker5301.463.615.202
__R__212468.140.569
thec0mpler134333.354.997
Frelg64160.083.865

Acties:
  • +1Henk 'm!

  • __R__
  • Registratie: Juni 2008
  • Laatst online: 07:34
Automatic solver solve2-v0.1.5
Getting current phase from the server at styx.verver.ch:7429...
Queue is empty. Fetching more chunks from the server at styx.verver.ch:7429...
Server returned 4 more chunks to solve.
Calculating chunk 40
Initializing solver for phase 32...
Cannot generate input/r30.bin; missing previous input file input/r28.bin
Gaat niet goed bij mij. Fase 30 blijft ook hangen op 0,00%

[Voor 4% gewijzigd door __R__ op 17-06-2022 16:21]


Acties:
  • +2Henk 'm!

  • Soultaker
  • Registratie: September 2000
  • Laatst online: 02:13
Sorry, er was een probleem met een invoerbestand (de checksums van fase 30 waren hetzelfde als van fase 28). Ik moet meer automatiseren zodat ik minder handmatige fouten maak.

Als je solver iets print als:

Verification of phase 30 chunk 7427 failed!
Expected SHA-256 sum: f62a46fc1f38f4c0b1ad604f5b19678066844ec45b7e5610ffe91713d7bea0e2
Computed SHA-256 sum: 9e05c5a025527f79f28eed0c46428cc93b3571249f7b4450747a81e7d89fff9b
6571 verification failures!


Dan moet je metadata/chunk-r30.sha256sum verwijderen. Als je dan de solver herstart zou 'ie vanzelf de nieuwe, goede versie moeten downloaden. Excuses voor het ongemak!
__R__ schreef op vrijdag 17 juni 2022 @ 16:20:
Gaat niet goed bij mij. Fase 30 blijft ook hangen op 0,00%
Dit klinkt als een ander probleem, heb je input/r28.bin nog? Of input/r30.bin.tmp? (De solver hernoemt input/r28.bin naar input/r30.bin.tmp voordat 'ie 'm upgrade.) Zoniet, dan kun je alsnog op de oude manier de invoer downloaden (dit is ook wat je moet doen als je voor het eerst meedoet of een fase gemist hebt):

Stap 1: Download r30.bin.zst (5.3 GB) en pak uit in de input/ directory.

Stap 2: Download chunk-r30.sha256sum en plaats in de metadata/ directory.

Nu zou de solver klaar moeten zijn voor fase 32.

Acties:
  • +2Henk 'm!

  • scorpionv
  • Registratie: Juni 2000
  • Laatst online: 23:16

scorpionv

Los Alcoholicos

chunk-r30.sha256sum verwijderen werkt inderdaad (y)

Added bonus dat ik een keer live het samenvoeg proces heb gezien }:O }:O

Now processing: World Community Grid!


Acties:
  • +2Henk 'm!

  • Soultaker
  • Registratie: September 2000
  • Laatst online: 02:13
Overgang naar fase 34 werkte gelukkig wel goed :) Hieronder de leaderboards voor de afgelopen drie fasen. Mijn dank aan iedereen die meegeholpen heeft! _/-\o_


Fase 30
GebruikerChunksStellingen
hansR29658.668.840.107
Frelg25005.745.888.760
scorpionv8942.387.322.803
Frelg279374.181.376
Soultaker49.276.428



Fase 32
GebruikerChunksStellingen
Frelg37738.926.038.122
hansR15514.404.735.215
__R__7081.884.121.375
scorpionv4601.354.374.852
thec0mpler89315.481.285
dedami8952163.900.800
Soultaker932.905.909



Fase 34
GebruikerChunksStellingen
hansR403010.603.204.133
scorpionv13083.143.553.529
__R__11042.762.516.250
thec0mpler124312.097.355
Soultaker69150.903.301
dedami89719.457.076


Ik zie een nieuwe naam: dedami89. Is dat @Damic?

  • Damic
  • Registratie: September 2003
  • Nu online

Damic

POOP MOAR EGGS.

Dat ben ik niet

Ik kan vanalles en nog wat maar niets te goei, klinkt bekent?? Al wat ik aanraak werk niet meer zoals het hoort. Damic houd niet van zijn verjaardag


Acties:
  • +1Henk 'm!

  • Soultaker
  • Registratie: September 2000
  • Laatst online: 02:13
Okee, dan heb ik geen idee. Maar gratis chunks, dus ik klaag niet :)

Acties:
  • +2Henk 'm!

  • Damic
  • Registratie: September 2003
  • Nu online

Damic

POOP MOAR EGGS.

Het is te warm om iets zwaar te doen met de pc.

Ik kan vanalles en nog wat maar niets te goei, klinkt bekent?? Al wat ik aanraak werk niet meer zoals het hoort. Damic houd niet van zijn verjaardag


Acties:
  • +1Henk 'm!

  • hansR
  • Registratie: Oktober 2000
  • Laatst online: 06:51

hansR

koffie zwart graag

Alles draait hier ook een tandje lager ….

badges


  • Soultaker
  • Registratie: September 2000
  • Laatst online: 02:13
hansR schreef op zaterdag 18 juni 2022 @ 18:27:
Alles draait hier ook een tandje lager ….
Prima hoor! Alle bijdragen zijn welkom maar je mag altijd afhaken. Voel je niet gedwongen om mee te blijven doen als het niet goed uitkomt om welke reden dan ook.

  • hansR
  • Registratie: Oktober 2000
  • Laatst online: 06:51

hansR

koffie zwart graag

Morgen is het gewoon weer 20 graden 😇

badges


Acties:
  • +2Henk 'm!

  • dedami89
  • Registratie: Juli 2011
  • Laatst online: 24-06 16:39
Ik zie een nieuwe naam: dedami89. Is dat @Damic?
Nee dat ben ik. Zag dit toevallig voorbij komen in de actieve topics en het leek me leuk wat processorcycles mee te doen.

Acties:
  • +1Henk 'm!

  • Frelg
  • Registratie: December 2004
  • Laatst online: 24-06 09:50

Frelg

-= Its BigBoss =-

Automatic solver solve2-v0.1.5
Getting current phase from the server at styx.verver.ch:7429...
Queue is empty. Fetching more chunks from the server at styx.verver.ch:7429...
Server returned 4 more chunks to solve.
Calculating chunk 4875
Initializing solver for phase 36...
Cannot generate input/r34.bin; missing previous input file input/r32.bin
Inmiddels geprobeerd om https://styx.verver.ch/~maks/pushfight/r32.bin.zst te downloaden, maar die is er niet. Is er een andere manier om t proces weer bij de juiste phase te krijgen?

Frelg de; m,v een Friese Belg. Een Fries die in België woonachtig is/geweest is.


Acties:
  • +1Henk 'm!

  • Soultaker
  • Registratie: September 2000
  • Laatst online: 02:13
Frelg schreef op zaterdag 18 juni 2022 @ 23:54:
Inmiddels geprobeerd om https://styx.verver.ch/~maks/pushfight/r32.bin.zst te downloaden, maar die is er niet. Is er een andere manier om t proces weer bij de juiste phase te krijgen?
Ik heb r32.bin.zst and r34.bin.zst toegevoegd. Je kunt het beste direct r34.bin.zst downloaden, uitpakken en in de input/ directory plaatsen, en ook chunk-r34.sha256sum in de metadata/ directory plaatsen. Dat is in principe alles wat je nodig hebt voor fase 36.

Acties:
  • +1Henk 'm!

  • Frelg
  • Registratie: December 2004
  • Laatst online: 24-06 09:50

Frelg

-= Its BigBoss =-

Soultaker schreef op zondag 19 juni 2022 @ 00:25:
[...]

Ik heb r32.bin.zst and r34.bin.zst toegevoegd. Je kunt het beste direct r34.bin.zst downloaden, uitpakken en in de input/ directory plaatsen, en ook chunk-r34.sha256sum in de metadata/ directory plaatsen. Dat is in principe alles wat je nodig hebt voor fase 36.
Thanks! Nu weer in In full lurk & chunk mode :)

Frelg de; m,v een Friese Belg. Een Fries die in België woonachtig is/geweest is.


Acties:
  • +1Henk 'm!

  • __R__
  • Registratie: Juni 2008
  • Laatst online: 07:34
Soultaker schreef op donderdag 9 juni 2022 @ 17:48:
Okee, de resultaten van fase 12 zijn verwerkt. Er zijn 522.574.214 verloren en 551.948.426 gewonnen stellingen gevonden, in totaal 1.074.522.640 of ongeveer 5% van de onbepaalde stellingen! Als het zo doorgaat zijn we in maximaal 20 fasen klaar maar mijn verwachting is dat het sneller gaat.
Phase 40:

Chunks completed: 2188/6642 (32.94%)
Chunks assigned: 24/6642 (0.36%)
Chunks remaining: 4430/6642 (66.70%)
Hoeveel fases denk je nog door te moeten @Soultaker ? _O-

Acties:
  • +1Henk 'm!

  • Soultaker
  • Registratie: September 2000
  • Laatst online: 02:13
__R__ schreef op zondag 19 juni 2022 @ 19:36:
Hoeveel fases denk je nog door te moeten @Soultaker ? _O-
Goeie vraag. Ik had het voorheen over dubbele fasen dus dat is van fase 12 tot fase 52, en we zitten met fase 38 nu dus iets over de helft.

Om de voortgang te schatten kijk ik naar het aantal nieuwe stellingen per fase, en het verschil met de vorige fase:
12	1074522640	
14	845341514	-27.11%
16	754159160	-12.09%
18	605506788	-24.55%
20	436185388	-38.82%
22	298586246	-46.08%
24	225029008	-32.69%
26	163994234	-37.22%
28	125013130	-31.18%
30	103951916	-20.26%
32	89825914	-15.73%
34	75268192	-19.34%
36	65125054	-15.57%
38	48804624	-33.44%
40	52456598	6.96%
42	49050036	-6.95%

Dan zie je een afname van ongeveer 20% per ronde (geometrisch gemiddelde; iets minder over de laatste paar ronden). Dat betekent dat per 10 ronden je dus een afname van 90% hebt (i.e. het aantal nieuwe stellingen is een tiende van dat ervoor), mits dit patroon doorzet.

Het getal hoeft niet naar nul. Op een gegeven moment kan ik overschakelen op een andere techniek voor het berekenen van verliezende stellingen. Momenteel is het zo dat de solver alle onbepaalde stellingen (~16,8 miljard) loopt. Een alternatief is alleen de voorgangers van elke winnende stelling uit de voorgaande fase te beschouwen. Dat is kostbaarder aangezien elke stellingen duizenden voorgangers heeft (~5000 per stelling, gemiddeld), maar op een gegeven moment is het beter dan het alternatief.

Dat punt is bereikt wanner het aantal nieuwe gewonnen stellingen ongeveer 16,8 miljard / 5000 = 3,36 miljoen bedraagt. Momenteel zitten we op 24,8 miljoen dus zijn we daar ongeveer 9 ronden van verwijderd (i.e. dat zou fase 46 zijn).

Het klopt wel dat het dan nog niet klaar is, maar vanaf dat moment zou de berekening steeds sneller moeten gaan (meer nog dan nu het geval is) en mogelijk heb ik jullie hulp daar niet bij nodig. Sowieso bestaat de solver voor de eindfase nog niet :p

edit:
Hm, bijzonder? Ronde 40 heeft juist meer nieuwe stellingen dan voorheen. Ben benieuwd hoe dat verder gaat.

[Voor 3% gewijzigd door Soultaker op 20-06-2022 14:05]


Acties:
  • +1Henk 'm!

  • Soultaker
  • Registratie: September 2000
  • Laatst online: 02:13
Het is tijd voor leaderboards!
Fase 36
GebruikerChunksStellingen
hansR38389.960.838.165
scorpionv9072.514.885.493
__R__7362.204.027.929
thec0mpler3481.022.966.516
Frelg600665.799.819
Soultaker204507.070.392
dedami89940.875.138

Fase 38
GebruikerChunksStellingen
hansR25726.785.456.124
Frelg27586.709.545.763
scorpionv6761.756.237.295
__R__6321.593.860.025
Soultaker46.239.191

Fase 40
GebruikerChunksStellingen
Frelg29887.051.338.690
hansR22886.299.995.401
scorpionv7041.804.793.768
__R__6441.604.072.187
Soultaker1842.333.728

Fase 42
GebruikerChunksStellingen
Frelg30937.410.593.893
hansR22936.010.543.610
__R__7241.787.164.274
scorpionv5281.535.590.207
Soultaker46.185.192



Mijn dank aan iedereen die rekenkracht heeft bijgedragen. _/-\o_

Fase 44 is ondertussen aan de gang (~20% compleet).

  • __R__
  • Registratie: Juni 2008
  • Laatst online: 07:34
Inmiddels al weer op 52. Hoe gaat het?

  • Soultaker
  • Registratie: September 2000
  • Laatst online: 02:13
__R__ schreef op woensdag 22 juni 2022 @ 21:15:
Inmiddels al weer op 52. Hoe gaat het?
De voortgang is minder snel dan gehoopt. Interessant is dat er in fase 40 t/m 50 nauwelijks sprake was van een daling in het aantal nieuwe stellingen per fase. Maar nu gaat het weer de goede kant op: in fase 52 zijn net onder de 20 miljoen nieuwe stellingen gevonden, bijna de helft van de fase ervoor (zie de tabel in de topic start).

Zoals ik hier uitleg zou dat eigenlijk naar de 3 miljoen moeten, maar ik zal morgen (of uiterlijk van het weekend) kijken of ik over kan schakelen op een andere rekenmethode voor de laatste loodjes.

Voorlopig heb ik alsnog een nieuwe fase gestart (fase 54). Hieronder de leaderboards van de afgelopen fasen:
Fase 42
GebruikerChunksStellingen
Frelg30937.410.593.893
hansR22936.010.543.610
__R__7241.787.164.274
scorpionv5281.535.590.207
Soultaker46.185.192


Fase 44
GebruikerChunksStellingen
Frelg32397.762.458.383
hansR24286.216.552.569
__R__6681.832.199.435
scorpionv296861.986.221
Soultaker1127.830.532


Fase 46
GebruikerChunksStellingen
Frelg30417.112.638.662
hansR23405.894.699.837
scorpionv6681.978.648.156
__R__5931.677.062.157


Fase 48
GebruikerChunksStellingen
Frelg27766.714.155.585
hansR25846.676.135.985
scorpionv5771.672.919.625
__R__7051.562.077.655


Fase 50
GebruikerChunksStellingen
hansR27586.988.907.227
Frelg26646.384.572.901
scorpionv5921.668.680.594
__R__6281.544.328.002


Fase 52
GebruikerChunksStellingen
hansR27966.985.084.220
Frelg26336.223.795.628
__R__5721.567.236.353
scorpionv4251.141.551.277
Soultaker216628.770.708


Dank aan iedereen die heeft meegeholpen!

[Voor 13% gewijzigd door Soultaker op 23-06-2022 00:31]


  • Frelg
  • Registratie: December 2004
  • Laatst online: 24-06 09:50

Frelg

-= Its BigBoss =-

Soultaker schreef op donderdag 23 juni 2022 @ 00:05:
[...]

Zoals ik hier uitleg zou dat eigenlijk naar de 3 miljoen moeten, maar ik zal morgen (of uiterlijk van het weekend) kijken of ik over kan schakelen op een andere rekenmethode voor de laatste loodjes.
Even een check: We zitten met de solver nog op versie solve2-v0.1.5 toch?

Frelg de; m,v een Friese Belg. Een Fries die in België woonachtig is/geweest is.

Pagina: 1 2 Laatste



Nintendo Switch (OLED model) Apple iPhone SE (2022) LG G1 Google Pixel 6 Call of Duty: Vanguard Samsung Galaxy S22 Garmin fēnix 7 Nintendo Switch Lite

Tweakers vormt samen met Hardware Info, AutoTrack, Gaspedaal.nl, Nationale Vacaturebank, Intermediair en Independer DPG Online Services B.V.
Alle rechten voorbehouden © 1998 - 2022 Hosting door True

Tweakers maakt gebruik van cookies

Tweakers plaatst functionele en analytische cookies voor het functioneren van de website en het verbeteren van de website-ervaring. Deze cookies zijn noodzakelijk. Om op Tweakers relevantere advertenties te tonen en om ingesloten content van derden te tonen (bijvoorbeeld video's), vragen we je toestemming. Via ingesloten content kunnen derde partijen diensten leveren en verbeteren, bezoekersstatistieken bijhouden, gepersonaliseerde content tonen, gerichte advertenties tonen en gebruikersprofielen opbouwen. Hiervoor worden apparaatgegevens, IP-adres, geolocatie en surfgedrag vastgelegd.

Meer informatie vind je in ons cookiebeleid.

Sluiten

Toestemming beheren

Hieronder kun je per doeleinde of partij toestemming geven of intrekken. Meer informatie vind je in ons cookiebeleid.

Functioneel en analytisch

Deze cookies zijn noodzakelijk voor het functioneren van de website en het verbeteren van de website-ervaring. Klik op het informatie-icoon voor meer informatie. Meer details

janee

    Relevantere advertenties

    Dit beperkt het aantal keer dat dezelfde advertentie getoond wordt (frequency capping) en maakt het mogelijk om binnen Tweakers contextuele advertenties te tonen op basis van pagina's die je hebt bezocht. Meer details

    Tweakers genereert een willekeurige unieke code als identifier. Deze data wordt niet gedeeld met adverteerders of andere derde partijen en je kunt niet buiten Tweakers gevolgd worden. Indien je bent ingelogd, wordt deze identifier gekoppeld aan je account. Indien je niet bent ingelogd, wordt deze identifier gekoppeld aan je sessie die maximaal 4 maanden actief blijft. Je kunt deze toestemming te allen tijde intrekken.

    Ingesloten content van derden

    Deze cookies kunnen door derde partijen geplaatst worden via ingesloten content. Klik op het informatie-icoon voor meer informatie over de verwerkingsdoeleinden. Meer details

    janee