« Configuration-Specific Experiments :: Contents :: Tool-Suite Pipeline Overview »
First, remove the success report file with vara-cs cleanup and then use vara-run.