| ARCHIMEDES | [rating: 42.797±2.287] | [view matches] |
| SALESBOT 1.1 | [rating: 39.952±2.165] | [view matches] |
| SALESBOT 1.0 | [rating: 39.288±2.137] | [view matches] |
| EUCLID | [rating: 42.850±2.270] | [view matches] |
| EUCLID-ATO | [rating: 42.330±2.272] | [view matches] |
| PYTHAGORAS | [rating: 48.564±2.203] | [view matches] |