header image

1022Pro Deo 2.8 -25391400+417-527=45646.1 %perf.
669Marvin 3.2.0 x64 1CPU - 2697100+ 8= 42- 5029.0 %2541
737Godel 4.4.5 x64 - 2668100+ 16= 23- 6127.5 %2499
791RofChade 1.0 x64 1CPU - 2646100+ 19= 27- 5432.5 %2519
936Counter 3.0 x64 1CPU - 2590100+ 28= 34- 3845.0 %2556
963GreKo 2018.08 x64 - 2567100+ 26= 35- 3943.5 %2522
978DiscoCheck 4.0.3 x64 - 2561100+ 36= 31- 3351.5 %2571
979Devel 2.0000 w32 - 2561100+ 41= 29- 3055.5 %2599
998GreKo 2018.07 x64 - 2555100+ 32= 31- 3747.5 %2538
1010Gogobello 1.4 x64 1CPU - 2545100+ 32= 38- 3051.0 %2552
1013Shield 2.1 x64 1CPU - 2544100+ 34= 25- 4146.5 %2520
1051Counter 2.9 x64 1CPU - 2522100+ 34= 31- 3549.5 %2519
1079Djinn 1.021 x64 - 2508100+ 37= 37- 2655.5 %2546
1086Daydreamer 1.75 x64 - 2503100+ 31= 46- 2354.0 %2530
1107Redqueen 1.1.97 x64 1CPU - 2489100+ 43= 27- 3056.5 %2534

back