Z3 timeout in seconds, 5 by default. Fixes #6