@echo off
rem Evaluation of verification runs
del 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
