https://buildd.debian.org/status/logs.php?pkg=bitwuzla&ver=0.8.2-2&arch=riscv64&suite=sid

...

Summary of Failures:

1164/3936 regress - bitwuzla:solver_bv_problem_130.smt2                            TIMEOUT        120.07s   killed by signal 15 SIGTERM
2638/3936 regress - bitwuzla:solver_bv_problem_130.smt2                            TIMEOUT        120.05s   killed by signal 15 SIGTERM

Ok:                3934
Fail:              0
Timeout:           2
dh_auto_test: error: cd obj-riscv64-linux-gnu && DEB_PYTHON_INSTALL_LAYOUT=deb LC_ALL=C.UTF-8 MESON_TESTTHREADS=4 meson test --verbose returned exit code 1
make: *** [debian/rules:7: binary-arch] Error 25


A factor 2 would be sufficient for riscv64, but give it some buffer
in the hope it might also fix hppa.

Note that the timeout only matters for actual test hangs,
passing and even failing tests won't take longer.
--- bitwuzla-0.8.2/debian/rules	2026-07-06 11:31:25.000000000 +0300
+++ bitwuzla-0.8.2/debian/rules	2026-07-06 11:31:25.000000000 +0300
@@ -35,3 +35,6 @@
 execute_after_dh_auto_clean:
 	set -e; for py in $(PY_VERS); do dh_auto_clean -Bbuild-$$py; done
 	$(RM) -rf debian/bin-*
+
+override_dh_auto_test:
+	dh_auto_test -- --timeout-multiplier 5