benchmark

d68a02e5 - Merge branch 'master' into wconstab/score