header image

1177GreKo 2018.05 x64 -24721116+305-450=36143.5 %perf.
958Bison 9.11 x64 - 2591104+ 27= 33- 4441.8 %2534
1004Devel 2.0000 w32 - 2561100+ 18= 27- 5531.5 %2426
1014Marvin 3.0.0 x64 1CPU - 2558100+ 14= 39- 4733.5 %2439
1041Gogobello 1.4 x64 1CPU - 2544100+ 22= 32- 4638.0 %2460
1078ProDeo 2.2 - 2522100+ 28= 30- 4243.0 %2474
1103Djinn 1.021 x64 - 2510100+ 28= 41- 3148.5 %2500
1115Counter 2.8 x64 1CPU - 2502100+ 26= 31- 4341.5 %2443
1122Delfi 5.4 1CPU - 2499104+ 27= 37- 4043.8 %2456
1123Arminius 2017-01-01 x64 1CPU - 2499104+ 39= 25- 4049.5 %2496
1178Cyrano 0.6b17 - 2472104+ 36= 39- 2953.4 %2495
1233DanaSah 7.30 - 2453100+ 40= 27- 3353.5 %2477

back