solver testing and optimizations