1671 | Pro Deo 2.8 -2534 | 2000 | +599 | -735 | =666 | 46.6 % | perf. |
---|---|---|---|---|---|---|---|
1305 | Marvin 3.2.0 x64 1CPU - 2685 | 100 | + 8 | = 42 | - 50 | 29.0 % | 2529 |
1363 | Godel 4.4.5 x64 - 2664 | 100 | + 16 | = 23 | - 61 | 27.5 % | 2495 |
1423 | RofChade 1.0 x64 1CPU - 2642 | 100 | + 19 | = 27 | - 54 | 32.5 % | 2515 |
1565 | Francesca MAD 0.23 - 2591 | 101 | + 29 | = 36 | - 36 | 46.5 % | 2567 |
1567 | Arminius 2018-12-23 x64 1CPU - 2591 | 100 | + 24 | = 27 | - 49 | 37.5 % | 2503 |
1580 | Counter 3.0 x64 1CPU - 2586 | 99 | + 28 | = 33 | - 38 | 44.9 % | 2551 |
1611 | GreKo 20181231 x64 - 2562 | 100 | + 32 | = 31 | - 37 | 47.5 % | 2545 |
1620 | DiscoCheck 4.0.3 x64 - 2559 | 100 | + 36 | = 31 | - 33 | 51.5 % | 2569 |
1629 | GreKo 2018.08 x64 - 2556 | 100 | + 26 | = 35 | - 39 | 43.5 % | 2511 |
1633 | Devel 2.0000 w32 - 2555 | 100 | + 41 | = 29 | - 30 | 55.5 % | 2593 |
1640 | Francesca MAD 0.22 - 2553 | 100 | + 38 | = 38 | - 24 | 57.0 % | 2601 |
1646 | GreKo 2018.07 x64 - 2550 | 100 | + 32 | = 31 | - 37 | 47.5 % | 2533 |
1660 | Gogobello 1.4 x64 1CPU - 2541 | 100 | + 32 | = 38 | - 30 | 51.0 % | 2548 |
1674 | Shield 2.1 x64 1CPU - 2533 | 100 | + 34 | = 25 | - 41 | 46.5 % | 2509 |
1699 | Counter 2.9 x64 1CPU - 2518 | 100 | + 34 | = 31 | - 35 | 49.5 % | 2515 |
1704 | Francesca MAD 0.21 - 2516 | 100 | + 26 | = 39 | - 35 | 45.5 % | 2485 |
1721 | Djinn 1.021 x64 - 2508 | 100 | + 37 | = 37 | - 26 | 55.5 % | 2546 |
1733 | Daydreamer 1.75 x64 - 2500 | 100 | + 31 | = 46 | - 23 | 54.0 % | 2527 |
1742 | Fridolin 3.00 x64 1CPU - 2497 | 100 | + 33 | = 40 | - 27 | 53.0 % | 2517 |
1760 | Redqueen 1.1.97 x64 1CPU - 2486 | 100 | + 43 | = 27 | - 30 | 56.5 % | 2531 |