DSAT=./dist/build/dsat/dsat
BMFILE=bm-$(gdate +%F.%H%M)

OPTIONS=""

# record feature set
echo "SAT solver features under test:"
$DSAT --print-features $OPTIONS

# NSAT=1000
# echo "Testing $NSAT satisfiable problems (20 vars)"
# time ls -1 ./tests/problems/uf20/*.cnf | head -$NSAT | while read F; do $DSAT $F $OPTIONS; done 2>&1 | grep -1 -i "unsatisfiable\\|assertion"

# NSAT=1000
# echo "Testing $NSAT satisfiable problems (50 vars)"
# time ls -1 ./tests/problems/uf50/*.cnf | head -$NSAT | while read F; do $DSAT $F $OPTIONS; done 2>&1 | grep -1 -i "unsatisfiable\\|assertion"

# NUNSAT=1000
# echo "Testing $NUNSAT unsatisfiable problems (50 vars)"
# time ls -1 ./tests/problems/uuf50/*.cnf | head -$NUNSAT | while read F; do $DSAT $F $OPTIONS; done 2>&1 | grep -1 -i "satisfiable[:]\\|assertion"


DSAT=./dist/build/dsat/dsat
BMFILE=bm-$(gdate +%F.%H%M)

# record feature set
echo "SAT solver features under test:"
$DSAT -print-features

ABORT="error, exiting without completing tests"
FAILURE="test failure"

echo "Testing quick check properties"
time $DSAT -verify 2>&1

NSAT=1000
echo "Testing $NSAT satisfiable problems (20 vars)"
time ls -1 ./tests/problems/uf20/*.cnf | head -$NSAT | while read F; do $DSAT $F; done 2>&1 | grep -1 -i "unsatisfiable\\|assertion"

NSAT=400
echo "Testing $NSAT satisfiable problems (50 vars)"
time ls -1 ./tests/problems/uf50/*.cnf | head -$NSAT | while read F; do $DSAT $F; done 2>&1 | grep -1 -i "unsatisfiable\\|assertion"

NUNSAT=300
echo "Testing $NUNSAT unsatisfiable problems (50 vars)"
time ls -1 ./tests/problems/uuf50/*.cnf | head -$NUNSAT | while read F; do $DSAT $F; done 2>&1 | grep -1 -i "satisfiable[:]\\|assertion"


--- 
+++ 
@@ -1,21 +1,25 @@
 DSAT=./dist/build/dsat/dsat
 BMFILE=bm-$(gdate +%F.%H%M)
 
-OPTIONS=""
-
 # record feature set
 echo "SAT solver features under test:"
-$DSAT --print-features $OPTIONS
+$DSAT -print-features
 
-# NSAT=1000
-# echo "Testing $NSAT satisfiable problems (20 vars)"
-# time ls -1 ./tests/problems/uf20/*.cnf | head -$NSAT | while read F; do $DSAT $F $OPTIONS; done 2>&1 | grep -1 -i "unsatisfiable\\|assertion"
+ABORT="error, exiting without completing tests"
+FAILURE="test failure"
 
-# NSAT=1000
-# echo "Testing $NSAT satisfiable problems (50 vars)"
-# time ls -1 ./tests/problems/uf50/*.cnf | head -$NSAT | while read F; do $DSAT $F $OPTIONS; done 2>&1 | grep -1 -i "unsatisfiable\\|assertion"
+echo "Testing quick check properties"
+time $DSAT -verify 2>&1
 
-# NUNSAT=1000
-# echo "Testing $NUNSAT unsatisfiable problems (50 vars)"
-# time ls -1 ./tests/problems/uuf50/*.cnf | head -$NUNSAT | while read F; do $DSAT $F $OPTIONS; done 2>&1 | grep -1 -i "satisfiable[:]\\|assertion"
+NSAT=1000
+echo "Testing $NSAT satisfiable problems (20 vars)"
+time ls -1 ./tests/problems/uf20/*.cnf | head -$NSAT | while read F; do $DSAT $F; done 2>&1 | grep -1 -i "unsatisfiable\\|assertion"
 
+NSAT=400
+echo "Testing $NSAT satisfiable problems (50 vars)"
+time ls -1 ./tests/problems/uf50/*.cnf | head -$NSAT | while read F; do $DSAT $F; done 2>&1 | grep -1 -i "unsatisfiable\\|assertion"
+
+NUNSAT=300
+echo "Testing $NUNSAT unsatisfiable problems (50 vars)"
+time ls -1 ./tests/problems/uuf50/*.cnf | head -$NUNSAT | while read F; do $DSAT $F; done 2>&1 | grep -1 -i "satisfiable[:]\\|assertion"
+
Set up for actual benchmarking
