Tartaros: Added server restart to problem test cases.