After a sequencer execution, postmortem reports should be possible. All reports should be provided : model, exec, error and unexec.