Tamás, anything going on with this? I did some checks, too, and it seems that it just takes too long.
I could start a run, with a check that the algorithm is progressing (e.g. checking the mapping vector, and that every time we go down in the search tree, it advances), and let it run it for a couple of days......
Tamás, anything going on with this? I did some checks, too, and it seems that it just takes too long.
I could start a run, with a check that the algorithm is progressing (e.g. checking the mapping vector, and that every time we go down in the search tree, it advances), and let it run it for a couple of days......