| EUCLID | [rating: 43.172±2.257] | [view matches] |
| EUCLID-ATO | [rating: 44.243±2.249] | [view matches] |
| PYTHAGORAS | [rating: 48.699±2.218] | [view matches] |
| SALESBOT 1.1 | [rating: 40.181±2.170] | [view matches] |
| SALESBOT 1.0 | [rating: 39.239±2.155] | [view matches] |
| ARCHIMEDES | [rating: 43.526±2.278] | [view matches] |