Compile only one small model.
Split benchmark models in separate files to ease performance analysis.

TODO: Generate benchmark files automatically.