Adding Problem instances