fix: benchmarks script

benchmarks.sh

@@ -12,7 +12,8 @@ optlp="./tools/${platform}/optlp"
 # results folder
 output_folder="./results"
 
-# folder with the models models_folder="./models"
+# folder with the models
+models_folder="./models"
 
 # create a folder if it doesn't exist
 function create_folder {
@@ -41,7 +42,7 @@ function run_sog {
   local output=$3
   local timeout=$4
 
-  timeout "$timeout" $sog --input-net "$model" --bound "$bound" --output-folder "$output" || echo -e "\ntimeout ${timeout}"
+  timeout "$timeout" $sogMBT --input-net "$model" --bound "$bound" --output-folder "$output" || echo -e "\ntimeout ${timeout}"
 }
 
 # run optlp <lts> <output> <timeout>
@@ -71,18 +72,21 @@ function run_benchmark {
     instance_name="$(basename -- $file)"
 
     # run sogMBT
-    output_sog_file="${output}/${instance_name}.sogMBT.txt"
-    if [[ ! -f "${output_sog_file}" ]]; then
+    output_sogMBT_file="${output}/${instance_name}.sogMBT.txt"
+    if [[ ! -f "${output_sogMBT_file}" ]]; then
       echo "running sogMBT (SOG bound ${bound} - timeout ${timeout}): ${file}.net"
-      run_sog "${file}.net" "$bound" "$output" "${timeout}" >"${output_sog_file}"
+      run_sog "${file}.net" "$bound" "$output" "${timeout}" >"${output_sogMBT_file}"
     fi
 
     # run optlp
-    # output_optlp_file="${output}/${instance_name}.optlp.txt"
-    # if [[ ! -f "${output_optlp_file}" ]]; then
-    #   echo "running optlp (timeout ${timeout}): ${file}.dll"
-    #   run
-    # fi
+    sog_file="${output}/${instance_name}_sog.dot"
+    output_optlp_file="${output}/${instance_name}.optlp.txt"
+    if [[ -f "${output_optlp_file}" ]]; then
+      echo "running optlp (timeout ${timeout}): ${sog_file}"
+      run_optlp "${sog_file}" "${output}" "${timeout}" >"${output_optlp_file}"
+    else
+      echo "skipping optlp (sogMBT timeout)"
+    fi
   done
 }
 
@@ -119,7 +123,7 @@ fi
 
 # use "all" for run all the experiments
 if [ "$MODEL" = "all" ]; then
-  MODEL=$(find "$models_folder" -mindepth 1 -type d -exec basename {} \;)
+  MODEL=$(find "${models_folder}" -mindepth 1 -type d -exec basename {} \;)
 fi
 
 # run benchmark