Choose GroupedTactic even if subsolver of Portfolio needs it
Choose GroupedTactic even if subsolver of Portfolio needs it

epfl-lara/stainless,epfl-lara/stainless,epfl-lara/stainless,epfl-lara/stainless