docu  3.500000000000\\\\ REPEATED 10
prec  3.000000000000\\\\ REPEATED 20
peer-reviews  1.000000000000\\\\ REPEATED 20
docu  3.000000000000\\\\ REPEATED 19
pmat  4.500000000000\\\\ REPEATED 12
ltex  2.000000000000\\\\ REPEATED 20
automated-analysis  1.500000000000\\\\ REPEATED 2
sced  2.000000000000\\\\ REPEATED 17
automated-analysis  1.000000000000\\\\ REPEATED 20
pmat  4.000000000000\\\\ REPEATED 20
execution-testing-and-tools  1.000000000000\\\\ REPEATED 20
peer-reviews  1.500000000000\\\\ REPEATED 7