header image

1026GreKo 2018.07 x64 -25541399+474-476=44949.9 %perf.
758Godel 4.4.5 x64 - 2667100+ 20= 32- 4836.0 %2568
862Godel 4.0.7 x64 - 2631100+ 22= 33- 4538.5 %2550
929Twisted Logic 20100131 x64 - 2604100+ 27= 32- 4143.0 %2556
958Bison 9.11 x64 - 2591100+ 25= 31- 4440.5 %2525
1004Devel 2.0000 w32 - 2561100+ 37= 29- 3451.5 %2571
1015Cipollino 3.25 x64 1CPU - 2558100+ 32= 36- 3250.0 %2558
1039Shield 2.1 x64 1CPU - 254499+ 34= 37- 2853.0 %2564
1041Gogobello 1.4 x64 1CPU - 2544100+ 32= 39- 2951.5 %2554
1049Pro Deo 2.2 - 2539100+ 33= 31- 3648.5 %2529
1057Pro Deo 2.8 - 2532100+ 37= 31- 3252.5 %2549
1079Counter 2.9 x64 1CPU - 2521100+ 47= 25- 2859.5 %2587
1103Djinn 1.021 x64 - 2510100+ 40= 31- 2955.5 %2548
1115Counter 2.8 x64 1CPU - 2502100+ 40= 31- 2955.5 %2540
1233DanaSah 7.30 - 2453100+ 48= 31- 2163.5 %2548

back