Make execution reasonably fast (10s)