adding hanoi.b to the benchmark