QmiraXT - A Multithreaded QBF Solver.
Matthew Lewis, Tobias Schubert, Bernd Becker · 2009
ABSTRACT- This paper introduces the state-of-the-art multithreaded QBF solver QMiraXT. QMiraXT is the first parallel QBF Solver that supports advanced features such as: conflict/solution analysis with non-chronological backtracking; knowledge sharing between threads; and novel preprocessing and decision heuristics. By utilizing these features, QMiraXT is significantly faster on industrial and formal verification problems than other solvers. In summary, with 4 threads, QMiraXT solved 22 more benchmarks, providing a speedup of 3.82 compared to the next best sequential solver. I.