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

    Update README.md.

commit be6dff75
Author: Mathias Preiner <mathias.preiner@gmail.com>
Date:   Fri Apr 24 22:44:51 2020 -0700

    Move benchmarks from pending repository.

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

    Update README.md.

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

    Fixing README.md

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

    Fixing README.md

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

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

commit 226bee72
Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
Date:   Tue May 23 13:29:24 2017 +0200

    2.0 to 2.6, CRLF to LF

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

    Fixing README.md

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

    Fixing README.md

commit 3705819d
Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
Date:   Wed Mar 29 13:47:10 2017 +0200

    Fixing README.md

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

    Fixing README.md

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

    Remove duplicate benchmarks