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

    Update README.md.

commit 5f4ee54b
Author: Mathias Preiner <mathias.preiner@gmail.com>
Date:   Tue May 15 19:44:52 2018 -0700

    Update status of unknown check-sat calls.

commit 250d8e11
Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
Date:   Mon May 29 16:36:36 2017 +0200

    To version 2.6

commit 96af7c04
Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
Date:   Wed May 3 18:36:04 2017 +0200

    Fixing README.md

commit 76f5e43e
Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
Date:   Thu Apr 20 10:13:15 2017 +0200

    Fixing README.md

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

    Fixing README.md

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

    Remove duplicate benchmarks