echo "3s1";
./spocheck 3s1 > results/res_3s1;
echo "4s1";
./spocheck 4s1 > results/res_4s1;
echo "6s1";
./spocheck 6s1 > results/res_6s1;

echo "3s4c";
./spocheck 3s4c > results/res_3s4c;
echo "4s4c";
./spocheck 4s4c > results/res_4s4c;
echo "5s4c";
./spocheck 5s4c > results/res_5s4c;
echo "6s4c";
./spocheck 6s4c > results/res_6s4c;
echo "8s4c";
./spocheck 8s4c > results/res_8s4c;
echo "12s4c";
./spocheck 12s4c > results/res_12s4c;

echo "2s5";
./spocheck 2s5 > results/res_2s5;
echo "3s5";
./spocheck 3s5 > results/res_3s5;
echo "4s5";
./spocheck 4s5 > results/res_4s5;

echo "3s10";
./spocheck 3s10 > results/res_3s10;
echo "4s10";
./spocheck 4s10 > results/res_4s10;
echo "5s10";
./spocheck 5s10 > results/res_5s10;
echo "10s10";
./spocheck 10s10 > results/res_10s10;