Not played yet == draw.
Fix ordering bug when making played function.
Add push immediately to request incremental solving.
Add an overall deadline.
Add stream selection to randomly select one of the found models.
Fix missing imports and type errors.
Immediately evaluate and apply the next metric when advancing metrics.