GitLab

commit b9144885ba01534af8a82441eb860f61d12707f3
Author: Mathias Preiner <mathias.preiner@gmail.com>
Date:   Wed May 26 16:18:00 2021 -0700

    Migrate benchmarks from pending repository.

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

    Update README.md.

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

    Update README.md.

commit 762af1a6
Author: Mathias Preiner <mathias.preiner@gmail.com>
Date:   Tue Apr 30 15:19:30 2019 -0700

    Update status.

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

    Add pending benchmarks.

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

    Fixing README.md

commit 4332cb08
Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
Date:   Mon Jun 5 16:53:33 2017 +0200

    Fixing README.md

commit 51aff756
Author: Clark Barrett <barrett@cs.stanford.edu>
Date:   Thu Jun 1 12:46:42 2017 -0700

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

commit fd9f0b66
Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
Date:   Thu May 25 23:02:52 2017 +0200

    To version 2.6

commit d24a4e48
Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
Date:   Mon May 22 15:14:13 2017 +0200

    2.0 to 2.5, CRLF to LF

commit 9f86dda7
Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
Date:   Wed May 3 18:20:34 2017 +0200

    Fixing README.md

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

    Fixing README.md

commit 9381abed
Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
Date:   Wed Mar 29 13:45:08 2017 +0200

    Fixing README.md

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

    Fixing README.md

commit b3b4fb18
Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
Date:   Tue Mar 28 16:34:32 2017 +0200

    Fixing README.md