echo = all/langford-10.sat
./sat0w_my < all/langford-10.sat 2> tmp > /dev/null
cat tmp | grep nodes
./SAT0W_remake -v all/langford-10.sat | grep nodes

echo = all/queen-order-8x8-9.sat
./sat0w_my < all/queen-order-8x8-9.sat 2> tmp > /dev/null
cat tmp | grep nodes
./SAT0W_remake -v all/queen-order-8x8-9.sat | grep nodes

echo = all/queen-exclusion-8x8-9.sat
./sat0w_my < all/queen-exclusion-8x8-9.sat 2> tmp > /dev/null
cat tmp | grep nodes
./SAT0W_remake -v all/queen-exclusion-8x8-9.sat | grep nodes

echo = all/queen-log3-5x5-5.sat
./sat0w_my < all/queen-log3-5x5-5.sat 2> tmp > /dev/null
cat tmp | grep nodes
./SAT0W_remake -v all/queen-log3-5x5-5.sat | grep nodes

echo = all/mutex-fourbits-lemmas-1.sat
./sat0w_my < all/mutex-fourbits-lemmas-1.sat 2> tmp > /dev/null
cat tmp | grep nodes
./SAT0W_remake -v all/mutex-fourbits-lemmas-1.sat | grep nodes

echo = all/queen-5x5-5.sat
./sat0w_my < all/queen-5x5-5.sat 2> tmp > /dev/null
cat tmp | grep nodes
./SAT0W_remake -v all/queen-5x5-5.sat | grep nodes