header image

976GreKo 2018.08 x64 -25661300+370-483=44745.7 %perf.
683Marvin 3.2.0 x64 1CPU - 2695100+ 12= 30- 5827.0 %2521
749Godel 4.4.5 x64 - 2668100+ 18= 31- 5133.5 %2549
805RofChade 1.0 x64 1CPU - 2646100+ 21= 32- 4737.0 %2554
828RuyDos 1.1.6 x64 - 2637100+ 28= 39- 3347.5 %2620
840Marvin 3.1.0 x64 1CPU - 2634100+ 28= 34- 3845.0 %2600
920Pawny 1.2 x64 - 2603100+ 25= 33- 4241.5 %2544
946Bison 9.11 x64 - 2590100+ 23= 36- 4141.0 %2528
950Counter 3.0 x64 1CPU - 2589100+ 31= 34- 3548.0 %2575
991Devel 2.0000 w32 - 2560100+ 44= 35- 2161.5 %2641
1022Gogobello 1.4 x64 1CPU - 2545100+ 32= 41- 2752.5 %2562
1025Shield 2.1 x64 1CPU - 2544100+ 32= 36- 3250.0 %2544
1035Pro Deo 2.8 - 2539100+ 39= 35- 2656.5 %2584
1063Counter 2.9 x64 1CPU - 2522100+ 37= 31- 3252.5 %2539

back