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

    Update README.md.

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

    Remove trivially unsat benchmarks.

commit 561f4201
Author: Mathias Preiner <mathias.preiner@gmail.com>
Date:   Tue Feb 16 14:22:14 2021 -0800

    Moved benchmarks from UF without quantifiers.