Update the formula into voltdb-3.5