Improve README for concurrent usage by introducing a table for it
Improve README for concurrent usage by introducing a table for it

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