Smart Selection

Smart System Selection

• SPC of the problem is established
• SOTA contributors are recommended
• In order of system rating

Smart Time Limit Allocation

• Overall CPU time limit repeatedly divided by two
• Result allocated to the next system
• Down to a minimal allocation

Even Smarter Selection

• Best systems may not give best coverage
• Select systems that solve different problems
• Coming soon ...