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

    Update README.md.

commit 71e7e8ef
Author: Mathias Preiner <mathias.preiner@gmail.com>
Date:   Thu May 2 16:53:38 2019 -0700

    Update README.md.

commit 803ba298
Author: Mathias Preiner <mathias.preiner@gmail.com>
Date:   Tue Apr 30 15:18:26 2019 -0700

    Update status.

commit 93f811fc
Author: Mathias Preiner <mathias.preiner@gmail.com>
Date:   Wed May 16 22:06:02 2018 -0700

    Add pending benchmarks.

commit 264249b4
Author: Mathias Preiner <mathias.preiner@gmail.com>
Date:   Tue May 15 19:43:02 2018 -0700

    Update status of unknown check-sat calls.

commit 30bd6d0f
Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
Date:   Mon May 29 15:28:57 2017 +0200

    To version 2.6

commit 86bbbc5b
Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
Date:   Wed May 3 18:35:47 2017 +0200

    Fixing README.md

commit cf2d273c
Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
Date:   Thu Apr 20 10:12:57 2017 +0200

    Fixing README.md

commit 89f73052
Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
Date:   Wed Mar 29 13:48:13 2017 +0200

    Fixing README.md

commit fbe49310
Author: Tjark Weber <tjark.weber@gmx.de>
Date:   Thu Mar 16 10:31:22 2017 +0100

    Remove duplicate benchmarks