The running times given in the extended abstract published in the SC-Square 2023 proceedings are not trustworthy and should be disregarded.
An updated version including corrections is available online. The authors sincerely regret the error.