Thanks!
The arXiv submission says the paper is submitted to SAT26, did it get accepted?
We are still waiting for the reviews. The rebuttal phase should start soon, we'll see!