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

    Update README.md.

commit 09c2a8f7
Author: Mathias Preiner <mathias.preiner@gmail.com>
Date:   Thu May 2 16:53:40 2019 -0700

    Update README.md.

commit 8b88ce06
Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
Date:   Mon Jun 5 18:00:08 2017 +0200

    Fixing README.md

commit 4d26704a
Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
Date:   Mon Jun 5 16:55:09 2017 +0200

    Fixing README.md

commit cf9ec884
Author: Clark Barrett <barrett@cs.stanford.edu>
Date:   Thu Jun 1 13:05:01 2017 -0700

    Updating statuses based on solutions from two or more solvers running with a long timeout

commit fc3472da
Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
Date:   Tue May 23 13:19:46 2017 +0200

    2.0 to 2.6, CRLF to LF

commit f29d62e0
Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
Date:   Wed May 3 18:23:17 2017 +0200

    Fixing README.md

commit 1b2de938
Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
Date:   Thu Apr 20 10:11:10 2017 +0200

    Fixing README.md

commit 84698f03
Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
Date:   Wed Mar 29 13:47:03 2017 +0200

    Fixing README.md

commit 8c99d907
Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
Date:   Tue Mar 28 16:35:51 2017 +0200

    Fixing README.md

commit 9af0edc0
Author: Tjark Weber <tjark.weber@gmx.de>
Date:   Thu Mar 16 10:32:03 2017 +0100

    Remove duplicate benchmarks