Enhancement of the "criterion" benhmarking library