header image

953Devel 2.0000 w32 -25631618+533-554=53149.4 %perf.
787RuyDos 1.1.6 x64 - 2641104+ 24= 31- 4938.0 %2557
795Marvin 3.1.0 x64 1CPU - 2638105+ 29= 34- 4243.8 %2595
823Godel 4.0.7 x64 - 2631105+ 23= 43- 3942.4 %2579
860RuyDos 1.1.0 x64 - 2617100+ 24= 38- 3843.0 %2569
890Twisted Logic 20100131 x64 - 2603100+ 27= 34- 3944.0 %2562
894Pawny 1.2 x64 - 2602100+ 28= 31- 4143.5 %2557
924Bison 9.11 x64 - 2588100+ 30= 33- 3746.5 %2564
937Godel 3.4.9 x64 - 2576100+ 26= 36- 3844.0 %2535
968Marvin 3.0.0 x64 1CPU - 2558100+ 33= 32- 3549.0 %2551
975Cipollino 3.25 x64 1CPU - 2556100+ 28= 34- 3845.0 %2522
985GreKo 2018.07 x64 - 2547100+ 34= 29- 3748.5 %2537
1001Gogobello 1.4 x64 1CPU - 2539100+ 33= 36- 3151.0 %2546
1003Pro Deo 2.2 - 2538100+ 33= 33- 3449.5 %2535
1056GreKo 2018.02 x64 - 2508100+ 48= 32- 2064.0 %2607
1064Counter 2.8 x64 1CPU - 25044+ 2= 1- 162.5 %2592
1123GreKo 2018.05 x64 - 2472100+ 55= 27- 1868.5 %2607
1164DanaSah 7.30 - 2459100+ 56= 27- 1769.5 %2602

back