xalgorithm is with --heuristic-bypassing