header image

1140Shield 2.1 x64 1CPU -25441799+573-670=55647.3 %perf.
851Godel 4.4.5 x64 - 2667100+ 20= 25- 5532.5 %2540
1028BugChess2 v.1.9 x64 1CPU - 2603100+ 24= 29- 4738.5 %2522
1036Pawny 1.2 x64 - 2600100+ 29= 27- 4442.5 %2548
1046Arminius 2018-12-23 x64 1CPU - 2595100+ 22= 41- 3742.5 %2543
1052Bison 9.11 x64 - 2592100+ 28= 28- 4442.0 %2537
1062Counter 3.0 x64 1CPU - 2589100+ 29= 34- 3746.0 %2562
1090GreKo 20181231 x64 - 2565100+ 37= 28- 3551.0 %2572
1103Cipollino 3.25 x64 1CPU - 2561100+ 30= 30- 4045.0 %2527
1109GreKo 2018.08 x64 - 2559100+ 32= 36- 3250.0 %2559
1112Devel 2.0000 w32 - 2558100+ 31= 33- 3647.5 %2541
1115Francesca MAD 0.22 - 2557100+ 30= 30- 4045.0 %2523
1125GreKo 2018.07 x64 - 255499+ 28= 37- 3447.0 %2533
1139Gogobello 1.4 x64 1CPU - 2544100+ 28= 37- 3546.5 %2520
1148Pro Deo 2.2 - 2540100+ 44= 24- 3256.0 %2581
1151Pro Deo 2.8 - 2538100+ 41= 25- 3453.5 %2562
1178Counter 2.9 x64 1CPU - 2522100+ 34= 33- 3350.5 %2525
1216Counter 2.8 x64 1CPU - 2502100+ 46= 25- 2958.5 %2561
1237Redqueen 1.1.97 x64 1CPU - 2490100+ 40= 34- 2657.0 %2538

back