header image

1207GreKo 2018.05 x64 -24731116+305-450=36143.5 %perf.
987Bison 9.11 x64 - 2591104+ 27= 33- 4441.8 %2534
1037Devel 2.0000 w32 - 2561100+ 18= 27- 5531.5 %2426
1044Marvin 3.0.0 x64 1CPU - 2559100+ 14= 39- 4733.5 %2440
1069Gogobello 1.4 x64 1CPU - 2545100+ 22= 32- 4638.0 %2461
1108ProDeo 2.2 - 2523100+ 28= 30- 4243.0 %2475
1133Djinn 1.021 x64 - 2511100+ 28= 41- 3148.5 %2501
1145Counter 2.8 x64 1CPU - 2503100+ 26= 31- 4341.5 %2444
1152Delfi 5.4 1CPU - 2500104+ 27= 37- 4043.8 %2457
1153Arminius 2017-01-01 x64 1CPU - 2500104+ 39= 25- 4049.5 %2497
1206Cyrano 0.6b17 - 2473104+ 36= 39- 2953.4 %2496
1262DanaSah 7.30 - 2454100+ 40= 27- 3353.5 %2478

back