New dataset + Using Glucose instead of Pycosat

[Benchmarks_CSolver.git] / killerSudoku / parse.sh

diff --git a/killerSudoku/parse.sh b/killerSudoku/parse.sh
index 306aa6e0beba99d2c1e70d471f9133b29433540c..9d482324674de983ac69a81dae04d6cb8b418429 100755 (executable)
--- a/killerSudoku/parse.sh
+++ b/killerSudoku/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"