Fixing the script ...

diff --git a/nqueens/parse.sh b/nqueens/parse.sh
index 306aa6e0beba99d2c1e70d471f9133b29433540c..9d482324674de983ac69a81dae04d6cb8b418429 100755 (executable)
--- 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 8d131500b5b3f2262443c81201768340f82c9667..757363939aa61704344ba35f9624758b60691182 100644 (file)
--- 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