added solver results