GitLab

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

    Move benchmarks from pending repository.

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

    Update README.md.

commit 2b9b9153
Author: Mathias Preiner <mathias.preiner@gmail.com>
Date:   Thu May 2 16:25:07 2019 -0700

    Move benchmarks from pending repository.

commit f525a140
Author: Mathias Preiner <mathias.preiner@gmail.com>
Date:   Wed May 16 22:08:39 2018 -0700

    Add pending benchmarks.

commit fada47f0
Author: Mathias Preiner <mathias.preiner@gmail.com>
Date:   Sat May 12 11:10:05 2018 -0700

    Update status of unknown benchmarks.

commit 6f81015a
Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
Date:   Mon Jun 5 17:58:41 2017 +0200

    Fixing README.md

commit 3eac1449
Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
Date:   Mon Jun 5 16:53:37 2017 +0200

    Fixing README.md

commit 8014352f
Author: Clark Barrett <barrett@cs.stanford.edu>
Date:   Thu Jun 1 12:46:44 2017 -0700

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

commit 4a7182a4
Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
Date:   Thu May 25 23:09:33 2017 +0200

    To version 2.6

commit 6ae52298
Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
Date:   Mon May 22 15:31:26 2017 +0200

    2.0 to 2.5, CRLF to LF

commit 3052e113
Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
Date:   Wed May 3 18:20:45 2017 +0200

    Fixing README.md

commit dd8088bb
Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
Date:   Thu Apr 20 10:08:23 2017 +0200

    Fixing README.md

commit 9bcca7b3
Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
Date:   Wed Mar 29 13:45:12 2017 +0200

    Fixing README.md

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

    Fixing README.md

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

    Remove duplicate benchmarks