https://123dok.net/document/q057e7wx-a-new-parallel-architecture-for-qbf-tools.html