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;