fix bug in MTD-based search
benchmark and refactor MTD algos