update documentations for new problems