CPU Times

Interpolant Sizes (after AIG-based minimization)

Interpolant Sizes (before AIG-based minimization)