The outcome of a run.
state is the last committed state; the failing superstep's updates are not applied.
state