2 #now need to modify run scripts in examples directory
3 echo "Running all ten examples. This may take a few minutes."
4 for i in 1 3 4 5 6 7 8 10 11;
7 snark14 b"$i".in > b"$i".out
13 ./bin/snark14UserDefined b2.in > b2.out
18 ./bin/snark14 -e b.9.experimenter.in > b9.out