No need for threads, can test timeouts serially as well.
No need for threads, can test timeouts serially as well.

sosy-lab/java-smt,sosy-lab/java-smt,sosy-lab/java-smt,sosy-lab/java-smt,sosy-lab/java-smt