src/CI/unit_tests/output/
theoryData/
DATA/
Documentation/
results/
tests/
resultData/
testdtw/
docs/
test/
output/
outer/
theories_parallel.txt
*.nfs*
*.asv
