fix: run optlp if sog file was generated before

benchmarks.sh

@@ -81,11 +81,13 @@ function run_benchmark {
     # run optlp
     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)"
+    if [[ ! -f "${output_optlp_file}" ]]; then
+      if [[ -f "${sog_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
     fi
   done
 }