Hey guys,
I have an open question on Stackoverflow
<https://stackoverflow.com/questions/27298133/solving-dimacs-instances-with-an-smt-solver-seems-slow-smt2-format>
about
the speed of smt solvers. Thanks ahead of time If you have time to look at
it.
- Frank