header image

984GreKo 2018.07 x64 -25541299+437-444=41849.7 %perf.
725Godel 4.4.5 x64 - 2669100+ 20= 32- 4836.0 %2570
826Godel 4.0.7 x64 - 2631100+ 22= 33- 4538.5 %2550
894Twisted Logic 20100131 x64 - 2604100+ 27= 32- 4143.0 %2556
926Bison 9.11 x64 - 2588100+ 25= 31- 4440.5 %2522
956Devel 2.0000 w32 - 2565100+ 37= 29- 3451.5 %2575
976Cipollino 3.25 x64 1CPU - 2557100+ 32= 36- 3250.0 %2557
994Gogobello 1.4 x64 1CPU - 2545100+ 32= 39- 2951.5 %2555
1006Pro Deo 2.2 - 2539100+ 33= 31- 3648.5 %2529
1008Shield 2.1 x64 1CPU - 253899+ 34= 37- 2853.0 %2558
1043Counter 2.9 x64 1CPU - 2517100+ 47= 25- 2859.5 %2583
1064Djinn 1.021 x64 - 2507100+ 40= 31- 2955.5 %2545
1070Counter 2.8 x64 1CPU - 2502100+ 40= 31- 2955.5 %2540
1169DanaSah 7.30 - 2460100+ 48= 31- 2163.5 %2555

back