header image

1804GreKo 2018.07 x64 -25481399+474-476=44949.9 %perf.
1522Godel 4.4.5 x64 - 2663100+ 20= 32- 4836.0 %2564
1628Godel 4.0.7 x64 - 2627100+ 22= 33- 4538.5 %2546
1701Twisted Logic 20100131 x64 - 2600100+ 27= 32- 4143.0 %2552
1723Bison 9.11 x64 - 2589100+ 25= 31- 4440.5 %2523
1790Cipollino 3.25 x64 1CPU - 2553100+ 32= 36- 3250.0 %2553
1791Devel 2.0000 w32 - 2553100+ 37= 29- 3451.5 %2563
1818Gogobello 1.4 x64 1CPU - 2539100+ 32= 39- 2951.5 %2549
1828Pro Deo 2.2 - 2534100+ 33= 31- 3648.5 %2524
1829Pro Deo 2.8 - 2533100+ 37= 31- 3252.5 %2550
1832Shield 2.1 x64 1CPU - 253199+ 34= 37- 2853.0 %2551
1857Counter 2.9 x64 1CPU - 2516100+ 47= 25- 2859.5 %2582
1879Djinn 1.021 x64 - 2506100+ 40= 31- 2955.5 %2544
1895Counter 2.8 x64 1CPU - 2497100+ 40= 31- 2955.5 %2535
2017DanaSah 7.30 - 2446100+ 48= 31- 2163.5 %2541

back