SOLVER=$1

check ()
{
	echo $1
	$SOLVER $1 > q1
	picosat --all $1 > q2
	./compare.py q1 q2
        rm q1 q2
}

for file in tests/*.cnf; do
        check $file
done