| SALESBOT 1.1 | [rating: 39.683±2.163] | [view matches] |
| SALESBOT 1.0 | [rating: 39.161±2.141] | [view matches] |
| EUCLID-ATO | [rating: 44.176±2.264] | [view matches] |
| EUCLID | [rating: 44.076±2.276] | [view matches] |
| ARCHIMEDES | [rating: 43.474±2.263] | [view matches] |
| PYTHAGORAS | [rating: 49.350±2.206] | [view matches] |