header image

1646GreKo 2018.07 x64 -25501399+474-476=44949.9 %perf.
1363Godel 4.4.5 x64 - 2664100+ 20= 32- 4836.0 %2565
1470Godel 4.0.7 x64 - 2628100+ 22= 33- 4538.5 %2547
1543Twisted Logic 20100131 x64 - 2601100+ 27= 32- 4143.0 %2553
1568Bison 9.11 x64 - 2590100+ 25= 31- 4440.5 %2524
1630Cipollino 3.25 x64 1CPU - 2555100+ 32= 36- 3250.0 %2555
1633Devel 2.0000 w32 - 2555100+ 37= 29- 3451.5 %2565
1660Gogobello 1.4 x64 1CPU - 2541100+ 32= 39- 2951.5 %2551
1670Pro Deo 2.2 - 2536100+ 33= 31- 3648.5 %2526
1671Pro Deo 2.8 - 2534100+ 37= 31- 3252.5 %2551
1674Shield 2.1 x64 1CPU - 253399+ 34= 37- 2853.0 %2553
1699Counter 2.9 x64 1CPU - 2518100+ 47= 25- 2859.5 %2584
1721Djinn 1.021 x64 - 2508100+ 40= 31- 2955.5 %2546
1738Counter 2.8 x64 1CPU - 2499100+ 40= 31- 2955.5 %2537
1859DanaSah 7.30 - 2448100+ 48= 31- 2163.5 %2543

back