Set of selected interpolants used for benchmarking. 

Interpolants were extracted, as single-output AIG circuits, from model checking runs on publicly available benchmarks from the HWMCC set (http://fmv.jku.at/hwmcc17/). 
They were selected by considering size, SAT time, and circuit sampling, among non trivially solved problems.