*.bak *.gz *.lastrun *.so *.mps *.ipynb .ipy* benchmark/results benchmark/runs benchmark/tables build instances/**/*.json instances/_source local notebooks TODO.md