header image

1122Shield 2.1 x64 1CPU -25441799+573-670=55647.3 %perf.
832Godel 4.4.5 x64 - 2667100+ 20= 25- 5532.5 %2540
1010BugChess2 v.1.9 x64 1CPU - 2603100+ 24= 29- 4738.5 %2522
1017Pawny 1.2 x64 - 2600100+ 29= 27- 4442.5 %2548
1026Arminius 2018-12-23 x64 1CPU - 2595100+ 22= 41- 3742.5 %2543
1034Bison 9.11 x64 - 2592100+ 28= 28- 4442.0 %2537
1043Counter 3.0 x64 1CPU - 2589100+ 29= 34- 3746.0 %2562
1070GreKo 20181231 x64 - 2566100+ 37= 28- 3551.0 %2573
1085Cipollino 3.25 x64 1CPU - 2561100+ 30= 30- 4045.0 %2527
1090GreKo 2018.08 x64 - 2560100+ 32= 36- 3250.0 %2560
1093Devel 2.0000 w32 - 2558100+ 31= 33- 3647.5 %2541
1096Francesca MAD 0.22 - 2558100+ 30= 30- 4045.0 %2524
1107GreKo 2018.07 x64 - 255499+ 28= 37- 3447.0 %2533
1120Gogobello 1.4 x64 1CPU - 2544100+ 28= 37- 3546.5 %2520
1130Pro Deo 2.2 - 2540100+ 44= 24- 3256.0 %2581
1133Pro Deo 2.8 - 2539100+ 41= 25- 3453.5 %2563
1160Counter 2.9 x64 1CPU - 2522100+ 34= 33- 3350.5 %2525
1198Counter 2.8 x64 1CPU - 2502100+ 46= 25- 2958.5 %2561
1219Redqueen 1.1.97 x64 1CPU - 2490100+ 40= 34- 2657.0 %2538

back