commit cd81fdd9bb7c992e5835956dcdcaa531369e937b
Author: Mathias Preiner <mathias.preiner@gmail.com>
Date:   Wed May 26 16:18:08 2021 -0700

    Migrate benchmarks from pending repository.

commit bc69b95c
Author: Mathias Preiner <mathias.preiner@gmail.com>
Date:   Thu Feb 18 10:10:00 2021 -0800

    Update README.md.

commit 057450fe
Author: Mathias Preiner <mathias.preiner@gmail.com>
Date:   Tue Feb 16 14:24:42 2021 -0800

    Move benchmarks without quantifiers to QF_UFDT.