lower timeout a bit, 2k is too much
@@ -59,7 +59,7 @@ function do_seed {
--threads yes \
--seed "$seed" \
--num-enodes "$NUM_NODES" \
- --timeout 2000 \
+ --timeout 1000 \
"$HERBIE/bench/rat-reduced.fpcore" \
"$seed_output"
}
