#!/bin/bash
# Evaluation of verification runs
rm verif/result-a2kn.txt
verif/verif00 -rresult-a2kn.txt
verif/verif01 -rresult-a2kn.txt
verif/verif02 -rresult-a2kn.txt -laustal2000n.log
verif/verif11 -rresult-a2kn.txt
verif/verif13 -rresult-a2kn.txt 
verif/verif14 -rresult-a2kn.txt
verif/verif21 -rresult-a2kn.txt 
verif/verif22a -rresult-a2kn.txt
verif/verif22b -rresult-a2kn.txt
verif/verif23 -rresult-a2kn.txt
verif/verif31 -rresult-a2kn.txt 
verif/verif41 -rresult-a2kn.txt  
verif/verif51a -rresult-a2kn.txt 
verif/verif51b -rresult-a2kn.txt
verif/verif51c -rresult-a2kn.txt
verif/verif61 -rresult-a2kn.txt -laustal2000n.log  
