update tools

benchmarks.sh

@@ -42,7 +42,7 @@ function run_sog {
   local output=$3
   local timeout=$4
 
-  timeout "$timeout" $sogMBT --input-net "$model" --bound "$bound" --output-folder "$output" || echo -e "\ntimeout ${timeout}"
+  timeout "$timeout" $sogMBT --input-net "$model" --bound "$bound" --output-folder "$output" --only-sog || echo -e "\ntimeout ${timeout}"
 }
 
 # run optlp <lts> <output> <timeout>