Running TALOS+ and parsing its output.