Reduce terminate timeout
Add example to lib search with the "excluding" operator