Fix constraint solver benchmark