This process was halted when the total number of states generated by all weighted A* instances exceeded a predefined constant (set to 10, 000).
these new algorithmic contributions were implemented in our system, BIUtEE.