| PYTHAGORAS | [rating: 47.965±2.213] | [view matches] |
| EUCLID | [rating: 43.121±2.279] | [view matches] |
| EUCLID-ATO | [rating: 44.236±2.270] | [view matches] |
| SALESBOT 1.1 | [rating: 39.847±2.190] | [view matches] |
| SALESBOT 1.0 | [rating: 39.299±2.158] | [view matches] |
| ARCHIMEDES | [rating: 42.786±2.273] | [view matches] |