header image

1223Shield 2.1 x64 1CPU -25411899+599-713=58747.0 %perf.
928Godel 4.4.5 x64 - 2667100+ 20= 25- 5532.5 %2540
1103BugChess2 v.1.9 x64 1CPU - 2604100+ 24= 29- 4738.5 %2523
1112Pawny 1.2 x64 - 2601100+ 29= 27- 4442.5 %2549
1127Arminius 2018-12-23 x64 1CPU - 2593100+ 22= 41- 3742.5 %2541
1130Bison 9.11 x64 - 2592100+ 28= 28- 4442.0 %2537
1140Counter 3.0 x64 1CPU - 2589100+ 29= 34- 3746.0 %2562
1169GreKo 20181231 x64 - 2565100+ 37= 28- 3551.0 %2572
1180Cipollino 3.25 x64 1CPU - 2561100+ 30= 30- 4045.0 %2527
1187GreKo 2018.08 x64 - 2559100+ 32= 36- 3250.0 %2559
1190Devel 2.0000 w32 - 2558100+ 31= 33- 3647.5 %2541
1194Francesca MAD 0.22 - 2557100+ 30= 30- 4045.0 %2523
1199GreKo 2020.01 x64 - 2556100+ 26= 31- 4341.5 %2497
1204GreKo 2018.07 x64 - 255499+ 28= 37- 3447.0 %2533
1218Gogobello 1.4 x64 1CPU - 2544100+ 28= 37- 3546.5 %2520
1228Pro Deo 2.2 - 2539100+ 44= 24- 3256.0 %2580
1230Pro Deo 2.8 - 2538100+ 41= 25- 3453.5 %2562
1256Counter 2.9 x64 1CPU - 2521100+ 34= 33- 3350.5 %2524
1294Counter 2.8 x64 1CPU - 2502100+ 46= 25- 2958.5 %2561
1315Redqueen 1.1.97 x64 1CPU - 2489100+ 40= 34- 2657.0 %2537

back