extracting barriers from the the solvers