Oscar Piastri sets the pace in Miami, but a late red-flag means that a number of drivers fail to post a time on the softs.