master (*) exact: lambdas 8 states/lambda 3000 fails 0 min slack 0.000156
done master time 3s
