add experiments with stress command + improvements of the others (compilation time for specs benchmarks)