header image

816RofChade 1.0 x64 1CPU -26451401+423-476=50248.1 %perf.
371Rodent III 0.275 x64 1CPU - 2864201+ 15= 70-11624.9 %2671
472Dirty Cucumber x64 - 2792100+ 12= 35- 5329.5 %2640
617Tucano 7.06 x64 1CPU - 2723100+ 25= 31- 4440.5 %2657
693Marvin 3.2.0 x64 1CPU - 2694100+ 23= 50- 2748.0 %2680
758Godel 4.4.5 x64 - 2667100+ 31= 39- 3050.5 %2670
852Marvin 3.1.0 x64 1CPU - 2634100+ 27= 43- 3048.5 %2624
937Pawny 1.2 x64 - 2602100+ 36= 43- 2157.5 %2654
958Bison 9.11 x64 - 2591100+ 40= 30- 3055.0 %2625
963Counter 3.0 x64 1CPU - 2590200+ 75= 61- 6452.8 %2609
1006GreKo 2018.08 x64 - 2561100+ 47= 32- 2163.0 %2653
1015Cipollino 3.25 x64 1CPU - 2558100+ 38= 41- 2158.5 %2617
1057Pro Deo 2.8 - 2532100+ 54= 27- 1967.5 %2659

back