Fix Timeout Issue

rebuild.sh

@@ -0,0 +1,23 @@
+#!/bin/bash
+
+# This script is used to rebuild the binary
+# for the sampler including transferring the
+# latest source code.
+BIN_NAME=sharpSAT
+
+printf "Starting the uniform sampler rebuild...\n"
+printf "Deleting the \"build\" directory...\n"
+rm -rf build &> /dev/null
+
+printf "Running the setup script...\n"
+bash setupdev.sh &> /dev/null
+cd build/Release &> /dev/null
+
+printf "Making the \"Release\" program...\n"
+make &> /dev/null
+if [ ! -f $BIN_NAME ]; then
+   printf "\033[1;31mMAKE FAILED\033[0m\n"
+fi
+
+cd ../.. &> /dev/null
+printf "Rebuild completed.\n"

src/main.cpp

@@ -50,6 +50,7 @@ int main(int argc, char *argv[]) {
         return -1;
       }
       theSolver.config().time_bound_seconds = atol(argv[i + 1]);
+      theSolver.setTimeBound(theSolver.config().time_bound_seconds);
       if (theSolver.config().verbose)
         cout << "time bound set to" << theSolver.config().time_bound_seconds << "s\n";
      } else if (strcmp(argv[i], "-cs") == 0) {