Fix determination of EPD solving time