commit 43dc8073
Author: Mathias Preiner <mathias.preiner@gmail.com>
Date:   Fri May 13 16:31:12 2022 -0700

    Moved non-linear benchmarks to UFFPDTNIRA.

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

    Update README.md.

commit a4dc23a6
Author: Mathias Preiner <mathias.preiner@gmail.com>
Date:   Tue Feb 16 15:54:57 2021 -0800

    Remove trivially unsat benchmarks.

commit 0ff14dc4
Author: Mathias Preiner <mathias.preiner@gmail.com>
Date:   Tue Feb 16 14:26:24 2021 -0800

    Move benchmarks without quantifiers to QF_UFFPDTLIRA.

commit d1032448
Author: Mathias Preiner <mathias.preiner@gmail.com>
Date:   Fri Apr 24 22:47:02 2020 -0700

    Move benchmarks from pending repository.