header image

1110GreKo 2018.05 x64 -24731116+305-450=36143.5 %perf.
913Bison 9.11 x64 - 2588104+ 27= 33- 4441.8 %2531
942Devel 2.0000 w32 - 2562100+ 18= 27- 5531.5 %2427
956Marvin 3.0.0 x64 1CPU - 2558100+ 14= 39- 4733.5 %2439
988Gogobello 1.4 x64 1CPU - 2539100+ 22= 32- 4638.0 %2455
1016ProDeo 2.2 - 2523100+ 28= 30- 4243.0 %2475
1043Djinn 1.021 x64 - 2508100+ 28= 41- 3148.5 %2498
1051Counter 2.8 x64 1CPU - 2505100+ 26= 31- 4341.5 %2446
1057Arminius 2017-01-01 x64 1CPU - 2501104+ 39= 25- 4049.5 %2498
1059Delfi 5.4 1CPU - 2499104+ 27= 37- 4043.8 %2456
1114Cyrano 0.6b17 - 2472104+ 36= 39- 2953.4 %2495
1151DanaSah 7.30 - 2460100+ 40= 27- 3353.5 %2484

back