From: Hamed Gorjiara <hgorjiar@uci.edu>
Date: Thu, 6 Sep 2018 21:01:13 +0000 (-0700)
Subject: Fixing the script ...
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=1a5f993ea82277c2feea756174a1fd3aa1accc12;p=Benchmarks_CSolver.git

Fixing the script ...
---

diff --git a/nqueens/parse.sh b/nqueens/parse.sh
index 306aa6e0..9d482324 100755
--- a/nqueens/parse.sh
+++ b/nqueens/parse.sh
@@ -28,6 +28,7 @@ while IFS='' read -r line || [[ -n "$line" ]]; do
 	if [[ $line == $SATTIME ]]; then
 		number=$(echo $line|grep -Eo '[+-]?[0-9]+([.][0-9]+)?')
 		row+=","$number
+                timeout=1
 	fi
 
 done < "$1"
diff --git a/nqueens/result.csv b/nqueens/result.csv
index 8d131500..75736393 100644
--- a/nqueens/result.csv
+++ b/nqueens/result.csv
@@ -1,2 +1,17 @@
-8,0.000484,005518349
-16,0.002712,020521631
+64,0.498398,733295140
+96,2.60065,3.405557641
+112,4.45031,5.824576378
+128,8.22086,10.100455641
+144,0.112681,3.042684480
+160,0.119847,3.775374312
+192,0.127151,6.696281347
+224,0.174072,11.454750687
+256,0.703083,15.802407274
+288,-,20.001621937
+320,-,20.001641001
+352,-,20.001561695
+384,-,20.001450943
+416,-,19.806690360
+448,-,19.679862986
+480,-,19.879755366
+512,-,19.702934364