cbmc: bump timeout again.