Confirmed the timeout of CBMC.