1. 17 May, 2018 1 commit
    • Squashed commit of the following: · 1697a4dd
      Mathias Preiner authored
      commit b399fede
      Author: Mathias Preiner <mathias.preiner@gmail.com>
      Date:   Wed May 16 22:07:58 2018 -0700
      
          Add pending benchmarks.
      
      commit 061b3d82
      Author: Mathias Preiner <mathias.preiner@gmail.com>
      Date:   Sat May 12 16:35:50 2018 -0700
      
          Split 2017-Preiner benchmarks into multiple families.
      
      commit 7f32f107
      Author: Mathias Preiner <mathias.preiner@gmail.com>
      Date:   Sat May 12 11:09:14 2018 -0700
      
          Update status of unknown benchmarks.
  2. 15 Jun, 2017 1 commit
  3. 07 Jun, 2017 1 commit
    • Squashed commit of the following: · 24282291
      Clark Barrett authored
      commit c442c08f
      Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
      Date:   Mon Jun 5 17:58:17 2017 +0200
      
          Fixing README.md
      
      commit 6de44b6c
      Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
      Date:   Mon Jun 5 16:53:08 2017 +0200
      
          Fixing README.md
      
      commit 8f7e67c9
      Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
      Date:   Mon Jun 5 15:18:34 2017 +0200
      
          Adding benchmarks from pending
      
      commit adb2c3c7
      Author: Clark Barrett <barrett@cs.stanford.edu>
      Date:   Thu Jun 1 12:46:37 2017 -0700
      
          Updating statuses based on solutions from two or more solvers running with a long timeout
      
      commit bf188371
      Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
      Date:   Thu May 25 22:59:19 2017 +0200
      
          To version 2.6
      
      commit 661336d6
      Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
      Date:   Mon May 22 15:10:20 2017 +0200
      
          2.0 to 2.5, CRLF to LF
      
      commit 1ba2afc9
      Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
      Date:   Wed May 3 18:20:17 2017 +0200
      
          Fixing README.md
      
      commit 620c9bd2
      Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
      Date:   Thu Apr 20 10:07:53 2017 +0200
      
          Fixing README.md
      
      commit 40cf61c5
      Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
      Date:   Wed Mar 29 13:44:48 2017 +0200
      
          Fixing README.md
      
      commit db1c5486
      Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
      Date:   Wed Mar 29 13:34:31 2017 +0200
      
          Fixing README.md
  4. 02 May, 2017 1 commit
  5. 20 Apr, 2017 1 commit
  6. 29 Mar, 2017 2 commits
  7. 03 May, 2016 1 commit
  8. 02 May, 2016 1 commit
  9. 25 Mar, 2016 1 commit