header image

1738Counter 3.0 x64 1CPU -25841199+359-447=39346.3 %perf.
1463Marvin 3.2.0 x64 1CPU - 2683200+ 41= 63- 9636.3 %2586
1522Godel 4.4.5 x64 - 2663100+ 23= 35- 4240.5 %2597
1581RofChade 1.0 x64 1CPU - 2640200+ 64= 61- 7547.3 %2622
1618Marvin 3.1.0 x64 1CPU - 2630100+ 31= 32- 3747.0 %2609
1645Cheese 2.0 x64 1CPU - 2620100+ 26= 46- 2849.0 %2613
1710Pawny 1.2 x64 - 2596100+ 28= 32- 4044.0 %2555
1787GreKo 2018.08 x64 - 2554100+ 35= 34- 3152.0 %2568
1791Devel 2.0000 w32 - 2553100+ 36= 23- 4147.5 %2536
1829Pro Deo 2.8 - 253399+ 38= 33- 2855.1 %2568
1832Shield 2.1 x64 1CPU - 2531100+ 37= 34- 2954.0 %2558

back