echo "t3S2";
./spocheck t3S2 > results/res_t3S2;
echo "t4S2";
./spocheck t4S2 > results/res_t4S2;
echo "t5S2";
./spocheck t5S2 > results/res_t5S2;


echo "t3E2";
./spocheck t3E2 > results/res_t3E2;
echo "t4E2";
./spocheck t4E2 > results/res_t4E2;
echo "t6E2";
./spocheck t6E2 > results/res_t6E2;


echo "t2H1";
./spocheck t2H1 > results/res_t2H1;


echo "t2H2";
./spocheck t2H1 > results/res_t2H2;
echo "t3H2";
./spocheck t3H2 > results/res_t3H2;
echo "t5H2";
./spocheck t5H2 > results/res_t5H2;