I think the resolution work with time. Perhaps at the last minute of the window the price was still above the prediction market price.