@misc{indiciaede23575a1d35,
  title = {Predicting SMT Solver Performance for Software Verification},
  author = {Andrew Healy and Rosemary Monahan and James F. Power},
  year = {2017},
  doi = {10.4204/eptcs.240.2},
  url = {https://arxiv.org/abs/1701.08466},
  note = {Source identifier: 1701.08466}
}