Also show time to find but not prove