header image

939Devel 2.0000 w32 -25631400+465-470=46549.8 %perf.
761RuyDos 1.1.6 x64 - 2647100+ 22= 30- 4837.0 %2555
819Godel 4.0.7 x64 - 2626100+ 22= 42- 3643.0 %2578
847RuyDos 1.1.0 x64 - 2617100+ 24= 38- 3843.0 %2569
874Twisted Logic 20100131 x64 - 2603100+ 27= 34- 3944.0 %2562
883Pawny 1.2 x64 - 2600100+ 28= 31- 4143.5 %2555
909Bison 9.11 x64 - 2588100+ 30= 33- 3746.5 %2564
923Godel 3.4.9 x64 - 2576100+ 26= 36- 3844.0 %2535
959Marvin 3.0.0 x64 1CPU - 2556100+ 33= 32- 3549.0 %2549
960Cipollino 3.25 x64 1CPU - 2556100+ 28= 34- 3845.0 %2522
980Gogobello 1.4 x64 1CPU - 2542100+ 33= 36- 3151.0 %2549
989Pro Deo 2.2 - 2537100+ 33= 33- 3449.5 %2534
1042GreKo 2018.02 x64 - 2508100+ 48= 32- 2064.0 %2607
1090GreKo 2018.05 x64 - 2481100+ 55= 27- 1868.5 %2616
1145DanaSah 7.30 - 2461100+ 56= 27- 1769.5 %2604

back