header image

1074Pro Deo 2.8 -25321800+532-675=59346.0 %perf.
724Marvin 3.2.0 x64 1CPU - 2687100+ 8= 42- 5029.0 %2531
775Godel 4.4.5 x64 - 2667100+ 16= 23- 6127.5 %2498
834RofChade 1.0 x64 1CPU - 2643100+ 19= 27- 5432.5 %2516
969Arminius 2018-12-23 x64 1CPU - 2595100+ 24= 27- 4937.5 %2507
983Counter 3.0 x64 1CPU - 2589100+ 28= 34- 3845.0 %2555
1006GreKo 20181231 x64 - 2567100+ 32= 31- 3747.5 %2550
1020Devel 2.0000 w32 - 2562100+ 41= 29- 3055.5 %2600
1022DiscoCheck 4.0.3 x64 - 2560100+ 36= 31- 3351.5 %2570
1029GreKo 2018.08 x64 - 2559100+ 26= 35- 3943.5 %2514
1043GreKo 2018.07 x64 - 2554100+ 32= 31- 3747.5 %2537
1055Shield 2.1 x64 1CPU - 2545100+ 34= 25- 4146.5 %2521
1058Gogobello 1.4 x64 1CPU - 2544100+ 32= 38- 3051.0 %2551
1096Counter 2.9 x64 1CPU - 2521100+ 34= 31- 3549.5 %2518
1104Francesca MAD 0.21 - 2518100+ 26= 39- 3545.5 %2487
1119Djinn 1.021 x64 - 2510100+ 37= 37- 2655.5 %2548
1134Daydreamer 1.75 x64 - 2502100+ 31= 46- 2354.0 %2529
1152Fridolin 3.00 x64 1CPU - 2491100+ 33= 40- 2753.0 %2511
1156Redqueen 1.1.97 x64 1CPU - 2489100+ 43= 27- 3056.5 %2534

back