10 #./consecutivos.py 1234567890 "$op" 10 20 1000 "files-$op/"
12 echo "1234567890 $op $i" > "files-$op/$i"
19 { time ../src/tdatp1 "$F" "$F.out";} 2> "$F.time";
26 RT=`cat $F | grep real | cut -d ' ' -f 2`
27 RT=`echo $RT | cut -d 'm' -f 2 | cut -d 's' -f 1`
28 echo "$i $RT" >> "files-$op/times"