bazel-*
build/*
.vscode
checker/checker
checker/logs/*
log*
checker/*
OLD
instances/*
output/*
data/
benchmark_results
