Push Fight! - Dutch Power Cows

woensdag 18 mei 2022 21:09

Acties:

+2 Henk 'm!

Topicstarter

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?

Een beetje moderne PC (ik gebruik een quad core Intel CPU). Een redelijk hoeveelheid RAM helpt (denk: minimaal 8GB, idealiter minstens 16 GiB).
Linux of Windows als OS (ik ontwikkel op Linux, maar ik compileer de solver ook voor Windows)
Genoeg bandbreedte om invoer bestanden te downloaden (~3 GB per fase, gecomprimeerd) en de resultaten te uploaden (ongeveer 2.5 MB per chunk, gecomprimeerd).
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:

Fase	Onbepaald	Verloren	Gewonnen	Nieuw verloren	Nieuw gewonnen
-1	401.567.165.352	648	0	648	0
0	60.779.916.660	648	340.787.248.692	0	340.787.248.692
1	54.546.852.886	6.233.064.422	340.787.248.692	6.233.063.774	0
2	37.780.557.416	6.233.064.422	357.553.544.162	0	16.766.295.470
3	34.837.304.642	9.176.317.196	357.553.544.162	2.943.252.774	0
4	29.666.435.732	9.176.317.196	362.724.413.072	0	5.170.868.910
5	27.888.385.386	10.954.367.542	362.724.413.072	1.778.050.346	0
6	25.632.393.438	10.954.367.542	364.980.405.020	0	2.255.991.948
7	24.512.388.568	12.074.372.412	364.980.405.020	1.120.004.905	0
8	23.255.798.284	12.074.372.412	366.236.995.304	0	1.256.590.284
10	21.713.847.582	12.816.540.474	367.036.777.944	742.168.062	799.782.640
12	20.639.324.942	13.339.114.688	367.588.726.370	522.574.214	551.948.426
14	19.793.983.428	13.759.271.414	368.013.911.158	420.156.726	425.184.788
16	19.039.824.268	14.149.521.144	368.377.820.588	390.249.730	363.909.430
18	18.434.317.480	14.461.603.082	368.671.245.438	312.081.938	293.424.850
20	17.998.132.092	14.685.061.622	368.883.972.286	223.458.540	212.726.848
22	17.699.545.846	14.831.345.732	369.036.274.422	146.284.110	152.302.136
24	17.474.516.838	14.942.516.496	369.150.132.666	111.170.764	113.858.244
26	17.310.522.604	15.022.875.636	369.233.767.760	80.359.140	83.635.094
28	17.185.509.474	15.083.910.952	369.297.745.574	61.035.316	63.977.814
30	17.081.557.558	15.137.192.422	369.348.416.020	53.281.470	50.670.446
32	16.991.731.644	15.180.817.806	369.394.616.550	43.625.384	46.200.530
34	16.916.463.452	15.217.757.052	369.432.945.496	36.939.246	38.328.946
36	16.851.338.398	15.253.531.202	369.462.296.400	35.774.150	29.350.904
38	16.802.533.774	15.277.462.920	369.487.169.306	23.931.718	24.872.906
40	16.750.077.176	15.301.255.914	369.515.832.910	23.792.994	28.663.604
42	16.701.027.140	15.327.096.436	369.539.042.424	25.840.522	23.209.514
44	16.663.048.812	15.345.782.968	369.558.334.220	18.686.532	19.291.796
46	16.625.288.850	15.364.843.234	369.577.033.916	19.060.266	18.699.696
48	16.586.488.724	15.385.369.328	369.595.307.948	20.526.094	18.274.032
50	16.546.438.186	15.408.160.720	369.612.567.094	22.791.392	17.259.146
52	16.526.520.448	15.418.450.462	369.622.195.090	10.289.742	9.627.996
54	16.510.605.646	15.427.042.426	369.629.517.928	8.591.964	7.322.838
56	16.500.941.464	15.431.805.464	369.634.419.072	4.763.038	4.901.144
58	16.492.304.068	15.435.860.504	369.639.001.428	4.055.040	4.582.356
60	16.482.863.948	15.441.092.770	369.643.209.282	5.232.266	4.207.854
62	16.475.337.704	15.445.519.518	369.646.308.778	4.426.748	3.099.496
64	16.471.705.988	15.447.854.422	369.647.605.590	2.334.904	1.296.812
66	16.469.560.908	15.448.833.876	369.648.771.216	979.454	1.165.626
68	16.467.411.440	15.450.226.486	369.649.528.074	1.392.610	756.858
70	16.465.715.126	15.451.132.328	369.650.318.546	905.842	790.472
72	16.465.146.904	15.451.480.676	369.650.538.420	348.348	219.874
74	16.464.611.746	15.451.599.994	369.650.954.260	119.318	415.840
76	16.462.008.820	15.452.880.740	369.652.276.440	1.280.746	1.322.180
78	16.455.661.852	15.455.949.448	369.655.554.700	3.068.708	3.278.260
80	16.449.556.976	15.459.110.592	369.658.498.432	3.161.144	2.943.732
82	16.444.816.482	15.462.601.346	369.659.748.172	3.490.754	1.249.740
84	16.443.306.216	15.463.551.602	369.660.308.182	950.256	560.010
86	16.442.726.646	15.463.824.106	369.660.615.248	272.504	307.066
88	16.442.564.530	15.463.913.276	369.660.688.194	89.170	72.946
90	16.442.524.222	15.463.935.024	369.660.706.754	21.748	18.560
92	16.442.485.622	15.463.946.068	369.660.734.310	11.044	27.556
94	16.442.467.882	15.463.954.238	369.660.743.880	8.170	9.570
96	16.442.465.774	15.463.956.176	369.660.744.050	1.938	170
98	16.442.465.774	15.463.956.176	369.660.744.050	0	0

[ Voor 113% gewijzigd door Soultaker op 28-06-2022 18:01 ]

woensdag 18 mei 2022 21:58

Acties:

0 Henk 'm!

thec0mpler

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:

$ 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

zaterdag 21 mei 2022 18:44

Acties:

0 Henk 'm!

Soultaker

Topicstarter

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:

Afbeeldingslocatie: https://github.com/maksverver/pushfight/raw/master/images/immediate-loss-1.png

Afbeeldingslocatie: https://github.com/maksverver/pushfight/raw/master/images/immediate-loss-1.png

Afbeeldingslocatie: https://github.com/maksverver/pushfight/raw/master/images/immediate-loss-2.png

Verder zijn er 340,787,248,692 stellingen (84.86%) direct te winnen. Meestal zijn die stellingen niet erg interessant. Voorbeeld:
Afbeeldingslocatie: https://github.com/maksverver/pushfight/raw/master/images/immediate-win-1.gif

Afbeeldingslocatie: https://github.com/maksverver/pushfight/raw/master/images/immediate-win-1.gif

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:

Download de laatste versie hier: https://styx.verver.ch/~m...ht-windows-2022-05-23.zip (compileren van broncode mag natuurlijk ook).

Voor Linux:

Download de broncode van Github (https://github.com/maksverver/pushfight/)
Compileer de solver (make)

Verder voor beide besturingssystemen:

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.
Stuur mij een DM om te laten weten dat je mee wil doen. Ik zal je dan een reeks chunks toekennen.
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)
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 ]

woensdag 25 mei 2022 15:37

Acties:

0 Henk 'm!

Soultaker

Topicstarter

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 ]

zaterdag 28 mei 2022 17:35

Acties:

0 Henk 'm!

asterix78

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

zaterdag 28 mei 2022 17:41

Acties:

+1 Henk 'm!

Soultaker

Topicstarter

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?

zaterdag 28 mei 2022 19:00

Acties:

0 Henk 'm!

asterix78

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

zaterdag 28 mei 2022 21:12

Acties:

+1 Henk 'm!

Soultaker

Topicstarter

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.

zondag 29 mei 2022 01:18

Acties:

0 Henk 'm!

Soultaker

Topicstarter

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:

Afbeeldingslocatie: https://raw.githubusercontent.com/maksverver/pushfight/master/images/win-in-2-1.gif

Afbeeldingslocatie: https://raw.githubusercontent.com/maksverver/pushfight/master/images/win-in-2-1.gif

Afbeeldingslocatie: https://raw.githubusercontent.com/maksverver/pushfight/master/images/win-in-2-1-after.png

(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!

maandag 30 mei 2022 23:13

Acties:

+1 Henk 'm!

Soultaker

Topicstarter

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:

Afbeeldingslocatie: https://github.com/maksverver/pushfight/raw/master/images/loss-in-2-1-before-move-1.png

Afbeeldingslocatie: https://github.com/maksverver/pushfight/raw/master/images/loss-in-2-1-before-move-1.png

Afbeeldingslocatie: https://github.com/maksverver/pushfight/raw/master/images/loss-in-2-1-move-1.gif

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:

Afbeeldingslocatie: https://github.com/maksverver/pushfight/raw/master/images/loss-in-2-1-before-move-2.png

Afbeeldingslocatie: https://github.com/maksverver/pushfight/raw/master/images/loss-in-2-1-before-move-2.png

Afbeeldingslocatie: https://github.com/maksverver/pushfight/raw/master/images/loss-in-2-1-move-2.gif

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:

Gebruiker	Chunks	Stellingen
asterix78	960	5552605441
dylan111111	1429	5097799450
__R__	500	3812729898
thec0mpler	400	2899633215

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.

dinsdag 31 mei 2022 03:05

Acties:

0 Henk 'm!

Soultaker

Topicstarter

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.)

dinsdag 31 mei 2022 08:01

Acties:

+1 Henk 'm!

Fore!

@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 ]

dinsdag 31 mei 2022 11:51

Acties:

0 Henk 'm!

Soultaker

Topicstarter

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.

donderdag 2 juni 2022 12:37

Acties:

+2 Henk 'm!

Soultaker

Topicstarter

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 ]

donderdag 2 juni 2022 16:38

Acties:

+1 Henk 'm!

Soultaker

Topicstarter

@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.

vrijdag 3 juni 2022 12:09

Acties:

0 Henk 'm!

asterix78

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

vrijdag 3 juni 2022 12:56

Acties:

+2 Henk 'm!

Soultaker

Topicstarter

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.)

vrijdag 3 juni 2022 16:28

Acties:

0 Henk 'm!

__R__

Goed. Klaar voor de start. Graag, als je de data foutloos hebt, ook een link naar de r4.sha256sum

vrijdag 3 juni 2022 17:35

Acties:

+1 Henk 'm!

Soultaker

Topicstarter

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 ]

vrijdag 3 juni 2022 19:55

Acties:

+1 Henk 'm!

__R__

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!

https://styx.verver.ch/~maks/pushfight/r4.bin.sha256sum

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

vrijdag 3 juni 2022 20:16

Acties:

0 Henk 'm!

Soultaker

Topicstarter

__R__ schreef op vrijdag 3 juni 2022 @ 19:55:
404 error

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.

zaterdag 4 juni 2022 10:29

Acties:

0 Henk 'm!

dylan111111

Fase 5 is alweer klaar.

Afbeeldingslocatie: https://i.imgur.com/nCdzNiS.png

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

zaterdag 4 juni 2022 11:56

Acties:

+2 Henk 'm!

Soultaker

Topicstarter

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):

Gebruiker	Chunks	Stellingen
dylan111111	4981	19.757.287.455
hansR	3474	13.660.391.619
Soultaker	1082	4.959.660.313
asterix78	501	2.091.723.496
__R__	314	1.268.967.146
thec0mpler	116	710.492.312

Hartelijk dank aan allen!

edit:
Ik had per ongeluk __R__ en hansR samengevoegd

Is nu gefixt!

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

zaterdag 4 juni 2022 19:14

Acties:

0 Henk 'm!

__R__

Zet maar weer terug hoor.....

zaterdag 4 juni 2022 19:46

Acties:

+1 Henk 'm!

Soultaker

Topicstarter

__R__ schreef op zaterdag 4 juni 2022 @ 19:14:
Zet maar weer terug hoor.....

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_$

zondag 5 juni 2022 09:08

Acties:

0 Henk 'm!

Soultaker

Topicstarter

Fase 6 compleet! Bedankt allemaal voor de hulp. Ik ga de resultaten verwerken. Hier zijn de stats:

Gebruiker	Chunks	Stellingen
dylan11111	2754	666153965
__R__	1380	385346798
asterix78	1183	339566616
Soultaker	1013	288080396
thec0mpler	286	98902536

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

zondag 5 juni 2022 14:40

Acties:

+2 Henk 'm!

Soultaker

Topicstarter

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 ]

zondag 5 juni 2022 17:38

Acties:

+3 Henk 'm!

__R__

* __R__ doet weer mee.

maandag 6 juni 2022 14:34

Acties:

+2 Henk 'm!

Soultaker

Topicstarter

Fase 7 is compleet! Hartelijk bedankt voor jullie bijdragen. Er zijn 1,120,004,905 nieuwe verliezende stellingen geklassificeerd.

De leaderboard voor fase 7:

Gebruiker	Chunks	Stellingen
dylan11111	3524	11465687374
hansR	1699	5923697601
asterix78	1001	3508677940
__R__	748	2883739766
Soultaker	414	1599208463
thec0mpler	43	251382329

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/

dinsdag 7 juni 2022 12:09

Acties:

0 Henk 'm!

Soultaker

Topicstarter

Fase 8 is compleet! Mijn dank aan iedereen die meegeholpen heeft (en vooral @hansR die deze keer 71.8% van alle stellingen heeft doorgerekend):

Gebruiker	Chunks	Stellingen
hansR	4955	804763786
asterix78	991	185523697
thec0mpler	650	126890169
Soultaker	23	2827253

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.

dinsdag 7 juni 2022 12:15

Acties:

0 Henk 'm!

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

dinsdag 7 juni 2022 12:33

Acties:

0 Henk 'm!

Soultaker

Topicstarter

hansR schreef op dinsdag 7 juni 2022 @ 12:15:
solve2 bestaat wel en loopt vrolijk ... tikfout?

Ja, moet solve2 zijn idd. Gefixt!

dinsdag 7 juni 2022 12:52

Acties:

0 Henk 'm!

blottle

Hi! Leuk project. Ik wilde het ook eens testen maar hier gaat het niet goed volgensmij:

Afbeeldingslocatie: https://tweakers.net/i/Bwi8D7XaiLmgl4P_ylzgCYw-qtk=/800x/filters:strip_exif()/f/image/OhDF1kceiPYxGXjxhhPHesWg.png?f=fotoalbum_large

dinsdag 7 juni 2022 13:03

Acties:

+1 Henk 'm!

Soultaker

Topicstarter

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.

dinsdag 7 juni 2022 13:06

Acties:

+1 Henk 'm!

blottle

Ah ik zie nu je bericht iets hier boven. Mijn laptop is ook aan het rekenen :-)

woensdag 8 juni 2022 15:05

Acties:

+1 Henk 'm!

Soultaker

Topicstarter

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:

Gebruiker	Chunks	Stellingen
hansR	6149	21.765.745.078
blottle	273	577.427.109
Soultaker	120	507.963.772
asterix78	101	404.662.325

woensdag 8 juni 2022 17:09

Acties:

0 Henk 'm!

__R__

Morgenmiddag een nieuwe fase?

woensdag 8 juni 2022 18:02

Acties:

+1 Henk 'm!

Soultaker

Topicstarter

__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>

woensdag 8 juni 2022 22:13

Acties:

+2 Henk 'm!

scorpionv

This space for rent

Leuk initiatief @Soultaker, een home-brew DC project

Ik heb er een PC op gezet.

Zo te zien gebruikt de solver maar 1 core?

Fun while it lasted: World Community Grid!

woensdag 8 juni 2022 22:31

Acties:

+1 Henk 'm!

Soultaker

Topicstarter

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.)

donderdag 9 juni 2022 11:07

Acties:

0 Henk 'm!

scorpionv

This space for rent

En de chunk queue is weer al leeg

Fun while it lasted: World Community Grid!

donderdag 9 juni 2022 12:09

Acties:

+1 Henk 'm!

Michael_OsGroot

Yes... Yes!

scorpionv schreef op woensdag 8 juni 2022 @ 22:13:
Leuk initiatief @Soultaker, een home-brew DC project 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 | De donkere gedaanten zijn bijzonder vlug ter been; Ze lopen op vier poten, en ze kijken heel gemeen

donderdag 9 juni 2022 12:44

Acties:

0 Henk 'm!

scorpionv

This space for rent

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.

Fun while it lasted: World Community Grid!

donderdag 9 juni 2022 13:05

Acties:

+1 Henk 'm!

Soultaker

Topicstarter

scorpionv schreef op donderdag 9 juni 2022 @ 11:07:
En de chunk queue is weer al leeg

Yep! Ik zal de resultaten gaan samenvoegen. Hierbij de leaderboard voor fase 12:

Gebruiker	Chunks	Stellingen
hansR	4627	15.020.612.937
__R__	976	3.335.619.378
asterix78	542	1.511.619.970
scorpionv	360	1.319.006.908
thec0mpler	92	378.275.330
Soultaker	46	148.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 ]

donderdag 9 juni 2022 17:48

Acties:

+2 Henk 'm!

Soultaker

Topicstarter

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):
Afbeeldingslocatie: https://github.com/maksverver/pushfight/raw/master/images/win-in-6.gif

Afbeeldingslocatie: https://github.com/maksverver/pushfight/raw/master/images/win-in-6.gif

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/

vrijdag 10 juni 2022 16:39

Acties:

+1 Henk 'm!

Soultaker

Topicstarter

Fase 14 is compleet! Hartelijk dank aan iedereen die meegeholpen heeft:

Gebruiker	Chunks	Stellingen
hansR	3096	9.973.913.193
dylan11111	1903	5.575.030.028
scorpionv	880	2.800.499.286
__R__	688	2.073.427.229
ZakjePatatje	46	136.022.076
Soultaker	30	80.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 ]

vrijdag 10 juni 2022 21:47

Acties:

0 Henk 'm!

__R__

* __R__ stapt weer eens laat in...

zaterdag 11 juni 2022 09:17

Acties:

0 Henk 'm!

scorpionv

This space for rent

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

Fun while it lasted: World Community Grid!

zaterdag 11 juni 2022 12:59

Acties:

+1 Henk 'm!

Soultaker

Topicstarter

Fase 16 voltooid! 754.159.160 stellingen geklassificeerd (390.249.730 verliezend, 3.8% van het totaal).

Gebruiker	Chunks	Stellingen
hansR	4007	11.784.988.763
scorpionv	1819	5.254.004.268
__R__	488	1.662.815.322
ZakjePatatje	277	928.673.280
Soultaker	52	163.501.795

scorpionv schreef op zaterdag 11 juni 2022 @ 09:17:
Beter laat dan nooit, maar de queue gaat steeds harder leeg volgens mij

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!

zondag 12 juni 2022 18:41

Acties:

0 Henk 'm!

Soultaker

Topicstarter

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:

Gebruiker	Chunks	Stellingen
hansR	4035	11.238.449.508
scorpionv	1492	4.254.359.438
__R__	696	2.131.842.702
Soultaker	420	1.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! ]

zondag 12 juni 2022 18:50

Acties:

0 Henk 'm!

__R__

* __R__ is nu een beetje dronken maar als bij thuis komt.........

zondag 12 juni 2022 18:51

Acties:

0 Henk 'm!

Soultaker

Topicstarter

__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

maandag 13 juni 2022 16:45

Acties:

0 Henk 'm!

__R__

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?

maandag 13 juni 2022 17:38

Acties:

0 Henk 'm!

dylan111111

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.
Afbeeldingslocatie: https://i.imgur.com/tImP9vr.png

Afbeeldingslocatie: https://i.imgur.com/tImP9vr.png

Nvm, fase 22 werkt.

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

maandag 13 juni 2022 17:45

Acties:

+1 Henk 'm!

Soultaker

Topicstarter

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:

Gebruiker	Chunks	Stellingen
hansR	4035	11.238.449.508
scorpionv	1492	4.254.359.438
__R__	696	2.131.842.702
Soultaker	420	1.415.172.620

__R__ schreef op maandag 13 juni 2022 @ 16:45:
@Soultaker Gaan we solo vandaag?

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 ]

dinsdag 14 juni 2022 15:57

Acties:

+1 Henk 'm!

Soultaker

Topicstarter

Fase 22 voltooid met dank aan de volgende Tweakers:

Gebruiker	Chunks	Stellingen
hansR	3389	9.101.577.380
dylan11111	2812	7.584.709.363
__R__	416	1.222.526.311
Soultaker	25	89.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>

dinsdag 14 juni 2022 16:11

Acties:

0 Henk 'm!

scorpionv

This space for rent

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>

Fun while it lasted: World Community Grid!

dinsdag 14 juni 2022 16:12

Acties:

+1 Henk 'm!

Soultaker

Topicstarter

scorpionv schreef op dinsdag 14 juni 2022 @ 16:11:
Ik denk: solve2 --phase=24 --user=<gebruikersnaam> --machine=<machine-id>

Je hebt gelijk. Gefixt!

dinsdag 14 juni 2022 20:13

Acties:

0 Henk 'm!

__R__

@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 ]

dinsdag 14 juni 2022 20:42

Acties:

0 Henk 'm!

Soultaker

Topicstarter

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!

dinsdag 14 juni 2022 20:47

Acties:

0 Henk 'm!

__R__

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 ]

dinsdag 14 juni 2022 20:58

Acties:

0 Henk 'm!

Soultaker

Topicstarter

__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.

dinsdag 14 juni 2022 20:59

Acties:

0 Henk 'm!

Damic

Tijd voor Jasmijn thee

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

Al wat ik aanraak werk niet meer zoals het hoort. Damic houd niet van zijn verjaardag

dinsdag 14 juni 2022 21:04

Acties:

0 Henk 'm!

Soultaker

Topicstarter

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.

dinsdag 14 juni 2022 21:06

Acties:

0 Henk 'm!

Damic

Tijd voor Jasmijn thee

Hazo

dus het host param is eigenlijk backup?

Al wat ik aanraak werk niet meer zoals het hoort. Damic houd niet van zijn verjaardag

dinsdag 14 juni 2022 21:25

Acties:

+1 Henk 'm!

Soultaker

Topicstarter

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.

woensdag 15 juni 2022 21:20

Acties:

+2 Henk 'm!

Soultaker

Topicstarter

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:

Gebruiker	Chunks	Stellingen
hansR	4450	11.203.657.690
scorpionv	892	2.573.810.947
__R__	712	2.188.703.715
Soultaker	588	1.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!

woensdag 15 juni 2022 22:04

Acties:

+2 Henk 'm!

__R__

Werkt zoals beschreven op een windows machine.

woensdag 15 juni 2022 22:26

Acties:

+2 Henk 'm!

thec0mpler

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 ]

woensdag 15 juni 2022 22:29

Acties:

0 Henk 'm!

scorpionv

This space for rent

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.

Fun while it lasted: World Community Grid!

woensdag 15 juni 2022 22:33

Acties:

+1 Henk 'm!

Soultaker

Topicstarter

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.

donderdag 16 juni 2022 11:03

Acties:

0 Henk 'm!

scorpionv

This space for rent

En fase 26 is er door.

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

Fun while it lasted: World Community Grid!

donderdag 16 juni 2022 12:44

Acties:

+1 Henk 'm!

Soultaker

Topicstarter

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!

donderdag 16 juni 2022 13:23

Acties:

+1 Henk 'm!

scorpionv

This space for rent

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

Fun while it lasted: World Community Grid!

vrijdag 17 juni 2022 00:14

Acties:

+1 Henk 'm!

Frelg

-= Its BigBoss =-

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

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

vrijdag 17 juni 2022 02:09

Acties:

+2 Henk 'm!

Soultaker

Topicstarter

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:

Gebruiker	Chunks	Stellingen
hansR	5040	13.131.498.890
scorpionv	1189	3.493.005.790
__R__	293	613.894.778
thec0mpler	111	221.325.788
Soultaker	9	14.791.592

De leaderboard voor fase 28:

Gebruiker	Chunks	Stellingen
hansR	4642	11.857.705.941
scorpionv	1060	3.027.622.030
Soultaker	530	1.463.615.202
__R__	212	468.140.569
thec0mpler	134	333.354.997
Frelg	64	160.083.865

vrijdag 17 juni 2022 16:20

Acties:

+1 Henk 'm!

__R__

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 ]

vrijdag 17 juni 2022 17:51

Acties:

+2 Henk 'm!

Soultaker

Topicstarter

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.

vrijdag 17 juni 2022 19:27

Acties:

+2 Henk 'm!

scorpionv

This space for rent

chunk-r30.sha256sum verwijderen werkt inderdaad

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

Fun while it lasted: World Community Grid!

zaterdag 18 juni 2022 17:05

Acties:

+2 Henk 'm!

Soultaker

Topicstarter

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

Gebruiker	Chunks	Stellingen
hansR	2965	8.668.840.107
Frelg	2500	5.745.888.760
scorpionv	894	2.387.322.803
Frelg	279	374.181.376
Soultaker	4	9.276.428

Fase 32

Gebruiker	Chunks	Stellingen
Frelg	3773	8.926.038.122
hansR	1551	4.404.735.215
__R__	708	1.884.121.375
scorpionv	460	1.354.374.852
thec0mpler	89	315.481.285
dedami89	52	163.900.800
Soultaker	9	32.905.909

Fase 34

Gebruiker	Chunks	Stellingen
hansR	4030	10.603.204.133
scorpionv	1308	3.143.553.529
__R__	1104	2.762.516.250
thec0mpler	124	312.097.355
Soultaker	69	150.903.301
dedami89	7	19.457.076

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

zaterdag 18 juni 2022 17:32

Acties:

0 Henk 'm!

Damic

Tijd voor Jasmijn thee

Dat ben ik niet

Al wat ik aanraak werk niet meer zoals het hoort. Damic houd niet van zijn verjaardag

zaterdag 18 juni 2022 17:48

Acties:

+1 Henk 'm!

Soultaker

Topicstarter

Damic schreef op zaterdag 18 juni 2022 @ 17:32:
Dat ben ik niet

Okee, dan heb ik geen idee. Maar gratis chunks, dus ik klaag niet

zaterdag 18 juni 2022 17:55

Acties:

+2 Henk 'm!

Damic

Tijd voor Jasmijn thee

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

Al wat ik aanraak werk niet meer zoals het hoort. Damic houd niet van zijn verjaardag

zaterdag 18 juni 2022 18:27

Acties:

+1 Henk 'm!

hansR

koffie zwart graag

Alles draait hier ook een tandje lager ….

badges

zaterdag 18 juni 2022 18:32

Acties:

0 Henk 'm!

Soultaker

Topicstarter

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.

zaterdag 18 juni 2022 18:53

Acties:

0 Henk 'm!

hansR

koffie zwart graag

Morgen is het gewoon weer 20 graden 😇

badges

zaterdag 18 juni 2022 19:43

Acties:

+2 Henk 'm!

dedami89

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.

zaterdag 18 juni 2022 23:54

Acties:

+1 Henk 'm!

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.

zondag 19 juni 2022 00:25

Acties:

+1 Henk 'm!

Soultaker

Topicstarter

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.

zondag 19 juni 2022 00:44

Acties:

+1 Henk 'm!

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.

zondag 19 juni 2022 19:36

Acties:

+1 Henk 'm!

__R__

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 ?

zondag 19 juni 2022 20:32

Acties:

+1 Henk 'm!

Soultaker

Topicstarter

__R__ schreef op zondag 19 juni 2022 @ 19:36:
Hoeveel fases denk je nog door te moeten @Soultaker ?

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

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 ]

maandag 20 juni 2022 15:46

Acties:

+1 Henk 'm!

Soultaker

Topicstarter

Het is tijd voor leaderboards!

Fase 36

Gebruiker	Chunks	Stellingen
hansR	3838	9.960.838.165
scorpionv	907	2.514.885.493
__R__	736	2.204.027.929
thec0mpler	348	1.022.966.516
Frelg	600	665.799.819
Soultaker	204	507.070.392
dedami89	9	40.875.138

Fase 38

Gebruiker	Chunks	Stellingen
hansR	2572	6.785.456.124
Frelg	2758	6.709.545.763
scorpionv	676	1.756.237.295
__R__	632	1.593.860.025
Soultaker	4	6.239.191

Fase 40

Gebruiker	Chunks	Stellingen
Frelg	2988	7.051.338.690
hansR	2288	6.299.995.401
scorpionv	704	1.804.793.768
__R__	644	1.604.072.187
Soultaker	18	42.333.728

Fase 42

Gebruiker	Chunks	Stellingen
Frelg	3093	7.410.593.893
hansR	2293	6.010.543.610
__R__	724	1.787.164.274
scorpionv	528	1.535.590.207
Soultaker	4	6.185.192

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

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

woensdag 22 juni 2022 21:15

Acties:

0 Henk 'm!

__R__

Inmiddels al weer op 52. Hoe gaat het?

donderdag 23 juni 2022 00:05

Acties:

0 Henk 'm!

Soultaker

Topicstarter

__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

Gebruiker	Chunks	Stellingen
Frelg	3093	7.410.593.893
hansR	2293	6.010.543.610
__R__	724	1.787.164.274
scorpionv	528	1.535.590.207
Soultaker	4	6.185.192

Fase 44

Gebruiker	Chunks	Stellingen
Frelg	3239	7.762.458.383
hansR	2428	6.216.552.569
__R__	668	1.832.199.435
scorpionv	296	861.986.221
Soultaker	11	27.830.532

Fase 46

Gebruiker	Chunks	Stellingen
Frelg	3041	7.112.638.662
hansR	2340	5.894.699.837
scorpionv	668	1.978.648.156
__R__	593	1.677.062.157

Fase 48

Gebruiker	Chunks	Stellingen
Frelg	2776	6.714.155.585
hansR	2584	6.676.135.985
scorpionv	577	1.672.919.625
__R__	705	1.562.077.655

Fase 50

Gebruiker	Chunks	Stellingen
hansR	2758	6.988.907.227
Frelg	2664	6.384.572.901
scorpionv	592	1.668.680.594
__R__	628	1.544.328.002

Fase 52

Gebruiker	Chunks	Stellingen
hansR	2796	6.985.084.220
Frelg	2633	6.223.795.628
__R__	572	1.567.236.353
scorpionv	425	1.141.551.277
Soultaker	216	628.770.708

Dank aan iedereen die heeft meegeholpen!

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

donderdag 23 juni 2022 00:37

Acties:

0 Henk 'm!

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.