verify bi_matching
update bi_matching