Add SMTInterpol and Ultimate as users of BenchExec
Fixes
@@ -133,5 +133,7 @@ The developers of the following tools use BenchExec:
- [CPAchecker](https://cpachecker.sosy-lab.org), also for regression testing
- [Dartagnan](https://github.com/hernanponcedeleon/Dat3M)
- [SMACK](https://github.com/smackers/smack)
+- [SMTInterpol](https://github.com/ultimate-pa/smtinterpol)
+- [Ultimate](https://github.com/ultimate-pa/ultimate)
If you would like to be listed here, [contact us](https://github.com/sosy-lab/benchexec/issues/new).
