Ranking and Prizes

Ranking Measures

• Number of problems solved with ...
• Acceptable proof/model output (according to panel)
• Average time taken over problems solved

Performance Measures

• SotAC - unique abilities
• Efficiency - balances problems solved with time taken
• Core usage - extent which CPU cores are used (max 8)

Trophies and Prizes

• Trophy for each division
• Romantic prize for the SLH division, sponsored by the Matryoshka project