From: Hamed Gorjiara <hgorjiar@uci.edu>
Date: Thu, 26 Jul 2018 20:37:27 +0000 (-0700)
Subject: Adding timers for the sake of profiling
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=8fc9f9ce076aa31590f7e4fafdc165fb41893283;p=Benchmarks_CSolver.git

Adding timers for the sake of profiling
---

diff --git a/nqueens/nqueens.cc b/nqueens/nqueens.cc
index 18d7c6a6..56fa2f6e 100644
--- a/nqueens/nqueens.cc
+++ b/nqueens/nqueens.cc
@@ -10,6 +10,7 @@
 #include "csolver.h"
 #include "common.h"
 #include <algorithm>
+#include <ctime>
 
 using namespace std;
 
@@ -192,7 +193,10 @@ void originalNqueensEncoding(int N){
 		addArrayClauseLiteral(solver, cnf[i].size(), cnf[i].data());
 	}
 	finishedClauses(solver);
+	int start_s=clock();
 	int result = solve(solver);
+	int stop_s=clock();
+	cout << "SAT Solving time: " << (stop_s-start_s)/double(CLOCKS_PER_SEC)*1000 << " ms" << endl;
 	switch(result){
 		case IS_UNSAT:
 			printf("Problem is unsat\n");