./copy_monano.sh

     echo "execution of static constraints of each anomalie in Architecture 10"
    ./start.sh  |grep measure |sed -e '1,2d' -e 's/measure pthread_monano_verify_static_constraints_//g' -e 's/:/,/g' > ../Results/archi10_result.txt

./remove_monano.sh