1. minor change in the solvers
2. bug fixed in the benchmark page