header image

1125Pro Deo 2.8 -25392001+599-735=66746.6 %perf.
770Marvin 3.2.0 x64 1CPU - 2688100+ 8= 42- 5029.0 %2532
825Godel 4.4.5 x64 - 2668100+ 16= 23- 6127.5 %2499
886RofChade 1.0 x64 1CPU - 2645100+ 19= 27- 5432.5 %2518
1019Arminius 2018-12-23 x64 1CPU - 2595100+ 24= 27- 4937.5 %2507
1024Francesca MAD 0.23 - 2594101+ 29= 36- 3646.5 %2570
1036Counter 3.0 x64 1CPU - 2590100+ 28= 34- 3845.0 %2556
1062GreKo 20181231 x64 - 2568100+ 32= 31- 3747.5 %2551
1075DiscoCheck 4.0.3 x64 - 2562100+ 36= 31- 3351.5 %2572
1083GreKo 2018.08 x64 - 2560100+ 26= 35- 3943.5 %2515
1086Devel 2.0000 w32 - 2558100+ 41= 29- 3055.5 %2596
1089Francesca MAD 0.22 - 2558100+ 38= 38- 2457.0 %2606
1100GreKo 2018.07 x64 - 2554100+ 32= 31- 3747.5 %2537
1113Gogobello 1.4 x64 1CPU - 2544100+ 32= 38- 3051.0 %2551
1115Shield 2.1 x64 1CPU - 2544100+ 34= 25- 4146.5 %2520
1153Counter 2.9 x64 1CPU - 2522100+ 34= 31- 3549.5 %2519
1156Francesca MAD 0.21 - 2520100+ 26= 39- 3545.5 %2489
1177Djinn 1.021 x64 - 2511100+ 37= 37- 2655.5 %2549
1189Daydreamer 1.75 x64 - 2503100+ 31= 46- 2354.0 %2530
1194Fridolin 3.00 x64 1CPU - 2502100+ 33= 40- 2753.0 %2522
1212Redqueen 1.1.97 x64 1CPU - 2490100+ 43= 27- 3056.5 %2535

back