Download Instances grobx-corpus.zip 6.6 MB Every instance the benchmarks show, one file per system and field, in msolve's input format. Its README gives the layout and the sources.