increase sleep time in mutex spec