for ((R=1; R<=33; ++R)) do
 ../../sat/minisat_static -cpu-lim=3600 alldiff_32_34_$R-std.cnf
done