header image

1791GreKo 2018.05 x64 -24711116+305-450=36143.5 %perf.
1565Bison 9.11 x64 - 2590104+ 27= 33- 4441.8 %2533
1625Marvin 3.0.0 x64 1CPU - 2556100+ 14= 39- 4733.5 %2437
1630Devel 2.0000 w32 - 2555100+ 18= 27- 5531.5 %2420
1657Gogobello 1.4 x64 1CPU - 2541100+ 22= 32- 4638.0 %2457
1667Pro Deo 2.2 - 2536100+ 28= 30- 4243.0 %2488
1718Djinn 1.021 x64 - 2508100+ 28= 41- 3148.5 %2498
1735Counter 2.8 x64 1CPU - 2499100+ 26= 31- 4341.5 %2440
1739Arminius 2017-01-01 x64 1CPU - 2497104+ 39= 25- 4049.5 %2494
1740Delfi 5.4 1CPU - 2497104+ 27= 37- 4043.8 %2454
1793Cyrano 0.6b17 - 2470104+ 36= 39- 2953.4 %2493
1856DanaSah 7.30 - 2448100+ 40= 27- 3353.5 %2472

back