This file contains benchmark interpolation problems from the paper:

K. L. McMillan, "Interpolation from Z3 Proofs", FMCAD 2011.