Pasted

#!/bin/bash
 
 
 
for filename in `ls *.dat`;do
        file_key=`echo $filename | sed "s/\([a-z,1-9]*\)\..*/\1\.key/"`
        key=`tail -1 $file_key | grep -oE "0x[0-9,a-f]{12}"`
        files=100000
        red_factor=32768
        while [[ $red_factor -gt 1 && $files -le 100000 ]];do
                echo "tests in input: $files"
                count=`./ta_multithreading $filename $files | grep $key | wc -l`
                if [ $count -ne 0 ]
                        then
                             let files-=red_factor;
                        else
                             let red_factor/=2;
                             let files+=red_factor;
                        fi
                done
        if [ $files -gt 100000 ]
                then
                        echo "nu funziona nu cazzu"
                else
                        echo "lowest number of tests in input: $files"
                fi
done