diff --git a/src/config.json b/src/config.json index 1b69e7dc..6f73a2c8 100644 --- a/src/config.json +++ b/src/config.json @@ -93,5 +93,5 @@ "verbose": 0, "watch": true, "rebench-algo": false, - "bench-algo-time": 10 + "bench-algo-time": 20 }