header image

1146GreKo 2018.05 x64 -24721116+305-450=36143.5 %perf.
936Bison 9.11 x64 - 2590104+ 27= 33- 4441.8 %2533
982Devel 2.0000 w32 - 2560100+ 18= 27- 5531.5 %2425
988Marvin 3.0.0 x64 1CPU - 2558100+ 14= 39- 4733.5 %2439
1012Gogobello 1.4 x64 1CPU - 2544100+ 22= 32- 4638.0 %2460
1051ProDeo 2.2 - 2522100+ 28= 30- 4243.0 %2474
1081Djinn 1.021 x64 - 2507100+ 28= 41- 3148.5 %2497
1087Counter 2.8 x64 1CPU - 2503100+ 26= 31- 4341.5 %2444
1094Delfi 5.4 1CPU - 2499104+ 27= 37- 4043.8 %2456
1095Arminius 2017-01-01 x64 1CPU - 2499104+ 39= 25- 4049.5 %2496
1151Cyrano 0.6b17 - 2472104+ 36= 39- 2953.4 %2495
1187DanaSah 7.30 - 2460100+ 40= 27- 3353.5 %2484

back