| SALESBOT 1.1 | [rating: 39.675±2.164] | [view matches] |
| SALESBOT 1.0 | [rating: 39.178±2.149] | [view matches] |
| EUCLID-ATO | [rating: 44.213±2.262] | [view matches] |
| PYTHAGORAS | [rating: 48.304±2.203] | [view matches] |
| ARCHIMEDES | [rating: 42.578±2.278] | [view matches] |
| EUCLID | [rating: 43.043±2.276] | [view matches] |