verified that solutions are reset