| PYTHAGORAS | [rating: 49.047±2.220] | [view matches] |
| SALESBOT 1.0 | [rating: 39.456±2.152] | [view matches] |
| SALESBOT 1.1 | [rating: 39.389±2.166] | [view matches] |
| EUCLID-ATO | [rating: 44.424±2.277] | [view matches] |
| ARCHIMEDES | [rating: 43.168±2.286] | [view matches] |
| EUCLID | [rating: 43.815±2.268] | [view matches] |