Update execution.r