/bin/
*.gsm
*.uppaal
*.g2u
*.y2g
*.xml
*.lgsm
*.gsts
*.l2s
*.xsts
*.cex
*.gpd
*.prop
*.q
*.pd
*.txt
!/measurement-results/**