Added protein and toxicity problems used by Vanneschi et al.