Use new launcher script
Use new launcher script

We leave assertions on in all runs, since we want to also test correctness with the benchmarks, only for paper numbers, we want to disable them.

Signed-off-by: Stefan Marr <46f1a0bd5592a2f9244ca321b129902a06b53e03@stefan-marr.de>

smarr/SOMns,richard-roberts/SOMns,MetaConc/SOMns,smarr/SOMns,VAISHALI-DHANOA/SOMns,smarr/SOMns,smarr/SOMns,MetaConc/SOMns,richard-roberts/SOMns,VAISHALI-DHANOA/SOMns,VAISHALI-DHANOA/SOMns,smarr/SOMns,smarr/SOMns,richard-roberts/SOMns,MetaConc/SOMns,richard-roberts/SOMns,richard-roberts/SOMns,smarr/SOMns,richard-roberts/SOMns,richard-roberts/SOMns