added more setcover instances and fixed a small problem in some old ones