max depth history check
history check, redundancy check based on hash value of seq
print search space size, the results are wrong
disabled other redundancy checks