@misc{indiciae6a28cda78fab,
  title = {A Time Leap Challenge for SAT Solving},
  author = {Johannes K. Fichte and Markus Hecher and Stefan Szeider},
  year = {2023},
  url = {https://arxiv.org/abs/2008.02215},
  note = {Source identifier: 2008.02215}
}