header image

1170Devel 2.0000 w32 -25582918+915-1038=96547.9 %perf.
875Topple 0.5.0 x64 1CPU - 2680100+ 19= 25- 5631.5 %2545
993RuyDos 1.1.6 x64 - 2636104+ 24= 31- 4938.0 %2552
1005Marvin 3.1.0 x64 1CPU - 2634105+ 29= 34- 4243.8 %2591
1014Godel 4.0.7 x64 - 2630105+ 23= 43- 3942.4 %2578
1030Cheese 2.0 x64 1CPU - 2624100+ 25= 44- 3147.0 %2603
1054RuyDos 1.1.0 x64 - 2617100+ 24= 38- 3843.0 %2569
1058Counter 3.1 x64 1CPU - 2616100+ 27= 29- 4441.5 %2557
1081Twisted Logic 20100131 x64 - 2605100+ 27= 34- 3944.0 %2564
1092Pawny 1.2 x64 - 2600100+ 28= 31- 4143.5 %2555
1106Francesca MAD 0.23 - 2594100+ 28= 33- 3944.5 %2556
1107Arminius 2018-12-23 x64 1CPU - 2593100+ 34= 33- 3350.5 %2596
1110Bison 9.11 x64 - 2592100+ 30= 33- 3746.5 %2568
1120Counter 3.0 x64 1CPU - 2589100+ 41= 23- 3652.5 %2606
1133Godel 3.4.9 x64 - 2576100+ 26= 36- 3844.0 %2535
1149GreKo 20181231 x64 - 2565100+ 29= 34- 3746.0 %2538
1160Cipollino 3.25 x64 1CPU - 2560100+ 28= 34- 3845.0 %2526
1167GreKo 2018.08 x64 - 2559100+ 21= 35- 4438.5 %2478
1168Marvin 3.0.0 x64 1CPU - 2558100+ 33= 32- 3549.0 %2551
1174Francesca MAD 0.22 - 2557100+ 24= 47- 2947.5 %2540
1179Igel 1.5.1 x64 1CPU - 2556100+ 24= 37- 3942.5 %2504
1184GreKo 2018.07 x64 - 2554100+ 34= 29- 3748.5 %2544
1198Gogobello 1.4 x64 1CPU - 2544100+ 33= 36- 3151.0 %2551
1203Shield 2.1 x64 1CPU - 2541100+ 36= 33- 3152.5 %2558
1208Pro Deo 2.2 - 2539100+ 33= 33- 3449.5 %2536
1210Pro Deo 2.8 - 2538100+ 30= 29- 4144.5 %2500
1236Counter 2.9 x64 1CPU - 2521100+ 44= 32- 2460.0 %2591
1264GreKo 2018.02 x64 - 2508100+ 48= 32- 2064.0 %2607
1274Counter 2.8 x64 1CPU - 25024+ 2= 1- 162.5 %2590
1331GreKo 2018.05 x64 - 2474100+ 55= 27- 1868.5 %2609
1396DanaSah 7.30 - 2452100+ 56= 27- 1769.5 %2595

back