1588 | GreKo 2020.03 x64 -2572 | 1200 | +241 | -592 | =367 | 35.4 % | perf. |
---|---|---|---|---|---|---|---|
885 | Topple 0.7.5 x64 1CPU - 2874 | 100 | + 4 | = 24 | - 72 | 16.0 % | 2589 |
1008 | Counter 3.5 x64 1CPU - 2801 | 100 | + 4 | = 26 | - 70 | 17.0 % | 2527 |
1018 | Francesca MAD 0.29 - 2798 | 100 | + 7 | = 27 | - 66 | 20.5 % | 2562 |
1021 | Gogobello 2.2 x64 1CPU - 2795 | 100 | + 8 | = 22 | - 70 | 19.0 % | 2543 |
1026 | Asymptote 0.8 x64 1CPU - 2792 | 100 | + 7 | = 22 | - 71 | 18.0 % | 2529 |
1283 | Cheese 2.2 x64 1CPU - 2689 | 100 | + 23 | = 30 | - 47 | 38.0 % | 2605 |
1453 | RuyDos 1.1.11 x64 1CPU - 2630 | 100 | + 33 | = 32 | - 35 | 49.0 % | 2623 |
1469 | Pro Deo 3.1 - 2624 | 100 | + 20 | = 39 | - 41 | 39.5 % | 2551 |
1535 | Devel 3.8.4 w32 - 2600 | 100 | + 30 | = 33 | - 37 | 46.5 % | 2576 |
1555 | Arminius 2018-12-23 x64 1CPU - 2591 | 100 | + 33 | = 34 | - 33 | 50.0 % | 2591 |
1633 | Devel 3.0.0a w32 - 2551 | 100 | + 36 | = 37 | - 27 | 54.5 % | 2582 |
1662 | Shield 2.1 x64 1CPU - 2533 | 100 | + 36 | = 41 | - 23 | 56.5 % | 2578 |