header image

1085Shield 2.1 x64 1CPU -25441799+573-670=55647.3 %perf.
798Godel 4.4.5 x64 - 2668100+ 20= 25- 5532.5 %2541
973BugChess2 v.1.9 x64 1CPU - 2604100+ 24= 29- 4738.5 %2523
980Pawny 1.2 x64 - 2601100+ 29= 27- 4442.5 %2549
991Arminius 2018-12-23 x64 1CPU - 2595100+ 22= 41- 3742.5 %2543
999Bison 9.11 x64 - 2592100+ 28= 28- 4442.0 %2537
1006Counter 3.0 x64 1CPU - 2590100+ 29= 34- 3746.0 %2563
1032GreKo 20181231 x64 - 2568100+ 37= 28- 3551.0 %2575
1048Cipollino 3.25 x64 1CPU - 2561100+ 30= 30- 4045.0 %2527
1053GreKo 2018.08 x64 - 2560100+ 32= 36- 3250.0 %2560
1056Devel 2.0000 w32 - 2559100+ 31= 33- 3647.5 %2542
1059Francesca MAD 0.22 - 2558100+ 30= 30- 4045.0 %2524
1070GreKo 2018.07 x64 - 255499+ 28= 37- 3447.0 %2533
1084Gogobello 1.4 x64 1CPU - 2545100+ 28= 37- 3546.5 %2521
1093Pro Deo 2.2 - 2540100+ 44= 24- 3256.0 %2581
1096Pro Deo 2.8 - 2539100+ 41= 25- 3453.5 %2563
1123Counter 2.9 x64 1CPU - 2522100+ 34= 33- 3350.5 %2525
1161Counter 2.8 x64 1CPU - 2503100+ 46= 25- 2958.5 %2562
1182Redqueen 1.1.97 x64 1CPU - 2490100+ 40= 34- 2657.0 %2538

back