*.out
states/
x/
detailed.log
bfs.csv
log0.smt
profile-rules.txt
counterexample.json
counterexample.tla
