| SALESBOT 1.0 | [rating: 39.301±2.153] | [view matches] |
| SALESBOT 1.1 | [rating: 39.727±2.160] | [view matches] |
| ARCHIMEDES | [rating: 43.620±2.260] | [view matches] |
| PYTHAGORAS | [rating: 48.446±2.206] | [view matches] |
| EUCLID-ATO | [rating: 44.168±2.273] | [view matches] |
| EUCLID | [rating: 43.774±2.273] | [view matches] |