@misc{indiciae12c845764e8a,
  title = {Experimental Results for Vampire on the Equational Theories Project},
  author = {Mikoláš Janota},
  year = {2025},
  url = {https://arxiv.org/abs/2508.15856},
  note = {Source identifier: 2508.15856}
}