header image

1807GreKo 2018.07 x64 -25481399+474-476=44949.9 %perf.
1525Godel 4.4.5 x64 - 2663100+ 20= 32- 4836.0 %2564
1631Godel 4.0.7 x64 - 2627100+ 22= 33- 4538.5 %2546
1704Twisted Logic 20100131 x64 - 2600100+ 27= 32- 4143.0 %2552
1726Bison 9.11 x64 - 2589100+ 25= 31- 4440.5 %2523
1793Cipollino 3.25 x64 1CPU - 2553100+ 32= 36- 3250.0 %2553
1794Devel 2.0000 w32 - 2553100+ 37= 29- 3451.5 %2563
1821Gogobello 1.4 x64 1CPU - 2539100+ 32= 39- 2951.5 %2549
1831Pro Deo 2.2 - 2534100+ 33= 31- 3648.5 %2524
1832Pro Deo 2.8 - 2533100+ 37= 31- 3252.5 %2550
1835Shield 2.1 x64 1CPU - 253199+ 34= 37- 2853.0 %2551
1860Counter 2.9 x64 1CPU - 2516100+ 47= 25- 2859.5 %2582
1882Djinn 1.021 x64 - 2506100+ 40= 31- 2955.5 %2544
1898Counter 2.8 x64 1CPU - 2497100+ 40= 31- 2955.5 %2535
2020DanaSah 7.30 - 2446100+ 48= 31- 2163.5 %2541

back