solver comparison, fast-address set extension, work on solvers