tests of dynamic upper bound