Hello there.

Z3 supports setting timeout as an option.

; time in millis
(set-option :timeout 10000)

Would be cool if the winning solver for QF_LRA and QF_LIA supported this as well.

NB: Congrats on the great result in SMT-COMP 2024!