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

    Migrate benchmarks from pending repository.

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

    Update README.md.

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

    Remove trivially unsat benchmarks.

commit a359cfef
Author: Mathias Preiner <mathias.preiner@gmail.com>
Date:   Tue Feb 16 14:21:44 2021 -0800

    Move benchmarks without quantifiers to QF_UF.