header image

1124Shield 2.1 x64 1CPU -25441799+573-670=55647.3 %perf.
834Godel 4.4.5 x64 - 2667100+ 20= 25- 5532.5 %2540
1012BugChess2 v.1.9 x64 1CPU - 2603100+ 24= 29- 4738.5 %2522
1019Pawny 1.2 x64 - 2600100+ 29= 27- 4442.5 %2548
1028Arminius 2018-12-23 x64 1CPU - 2595100+ 22= 41- 3742.5 %2543
1036Bison 9.11 x64 - 2592100+ 28= 28- 4442.0 %2537
1045Counter 3.0 x64 1CPU - 2589100+ 29= 34- 3746.0 %2562
1072GreKo 20181231 x64 - 2566100+ 37= 28- 3551.0 %2573
1087Cipollino 3.25 x64 1CPU - 2561100+ 30= 30- 4045.0 %2527
1092GreKo 2018.08 x64 - 2560100+ 32= 36- 3250.0 %2560
1095Devel 2.0000 w32 - 2558100+ 31= 33- 3647.5 %2541
1098Francesca MAD 0.22 - 2558100+ 30= 30- 4045.0 %2524
1109GreKo 2018.07 x64 - 255499+ 28= 37- 3447.0 %2533
1122Gogobello 1.4 x64 1CPU - 2544100+ 28= 37- 3546.5 %2520
1132Pro Deo 2.2 - 2540100+ 44= 24- 3256.0 %2581
1135Pro Deo 2.8 - 2539100+ 41= 25- 3453.5 %2563
1162Counter 2.9 x64 1CPU - 2522100+ 34= 33- 3350.5 %2525
1200Counter 2.8 x64 1CPU - 2502100+ 46= 25- 2958.5 %2561
1221Redqueen 1.1.97 x64 1CPU - 2490100+ 40= 34- 2657.0 %2538

back