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;

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;


echo "m5-7%10";
./spocheck m5-7%10 > results/res_m5-7%10;
echo "m6-2%3";
./spocheck m6-2%3 > results/res_m6-2%3;
echo "m7-9%14";
./spocheck m7-9%14 > results/res_m7-9%14;
echo "m8-5%8";
./spocheck m8-5%8 > results/res_m8-5%8;
echo "m9-11%18";
./spocheck m9-11%18 > results/res_m9-11%18;
echo "m10-3%5";
./spocheck m10-3%5 > results/res_m10-3%5;
echo "m12-7%12";
./spocheck m12-7%12 > results/res_m12-7%12;
echo "m18-5%9";
./spocheck m18-5%9 > results/res_m18-5%9;
echo "m4-5%12";
./spocheck m4-5%12 > results/res_m4-5%12;
echo "m5-11%30";
./spocheck m5-11%30 > results/res_m5-11%30;
echo "m6-1%3";
./spocheck m6-1%3 > results/res_m6-1%3;
echo "m7-13%42";
./spocheck m7-13%42 > results/res_m7-13%42;
echo "m8-7%24";
./spocheck m8-7%24 > results/res_m8-7%24;
echo "m9-5%18";
./spocheck m9-5%18 > results/res_m9-5%18;
echo "m10-4%15";
./spocheck m10-4%15 > results/res_m10-4%15;
echo "m12-1%4";
./spocheck m12-1%4 > results/res_m12-1%4;
echo "m18-2%9";
./spocheck m18-2%9 > results/res_m18-2%9;
echo "m3-1%3";
./spocheck m3-1%3 > results/res_m3-1%3;
echo "m4-1%4";
./spocheck m4-1%4 > results/res_m4-1%4;
echo "m5-1%5";
./spocheck m5-1%5 > results/res_m5-1%5;
echo "m6-1%6";
./spocheck m6-1%6 > results/res_m6-1%6;
echo "m8-1%8";
./spocheck m8-1%8 > results/res_m8-1%8;
echo "m12-1%12";
./spocheck m12-1%12 > results/res_m12-1%12;
echo "m3-7%30";
./spocheck m3-7%30 > results/res_m3-7%30;
echo "m4-3%20";
./spocheck m4-3%20 > results/res_m4-3%20;
echo "m5-1%10";
./spocheck m5-1%10 > results/res_m5-1%10;
echo "m10-0%1";
./spocheck m10-0%1 > results/res_m10-0%1;
echo "m3-1%6";
./spocheck m3-1%6 > results/res_m3-1%6;
echo "m4-1%12";
./spocheck m4-1%12 > results/res_m4-1%12;
echo "m6-0%1";
./spocheck m6-0%1 > results/res_m6-0%1;
echo "m3-5%42";
./spocheck m3-5%42 > results/res_m3-5%42;
echo "m3-1%12";
./spocheck m3-1%12 > results/res_m3-1%12;
echo "m4-0%1";
./spocheck m4-0%1 > results/res_m4-0%1;
echo "m3-1%18";
./spocheck m3-1%18 > results/res_m3-1%18;
echo "m3-1%30";
./spocheck m3-1%30 > results/res_m3-1%30;
echo "m3-0%1";
./spocheck m3-0%1 > results/res_m3-0%1;