Updated ExecutionResult