From 8fc9f9ce076aa31590f7e4fafdc165fb41893283 Mon Sep 17 00:00:00 2001
From: Hamed Gorjiara <hgorjiar@uci.edu>
Date: Thu, 26 Jul 2018 13:37:27 -0700
Subject: [PATCH] Adding timers for the sake of profiling

---
 nqueens/nqueens.cc | 4 ++++
 1 file changed, 4 insertions(+)

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");
-- 
2.34.1