@misc{indiciae2793dbbaab7f,
  title = {Predicting Rankings of Software Verification Competitions},
  author = {Mike Czech and Eyke Hüllermeier and Marie-Christine Jakobs and Heike Wehrheim},
  year = {2017},
  url = {https://arxiv.org/abs/1703.00757},
  note = {Source identifier: 1703.00757}
}