#!/bin/bash
#now need to modify run scripts in examples directory
echo "Running all ten examples. This may take a few minutes."
for i in 1 3 4 5 6 7 8 10 11;
  do
    cd b$i
    snark14 b"$i".in > b"$i".out
    cd .. 
done

cd b2
./build
./bin/snark14UserDefined b2.in > b2.out
cd ..

cd b9
./build
./bin/snark14 -e b.9.experimenter.in > b9.out
cd ..