[gignico]

Thanks!

The arXiv submission says the paper is submitted to SAT26, did it get accepted?

[fcholf]

We are still waiting for the reviews. The rebuttal phase should start soon, we'll see!