1. 18 Feb, 2021 1 commit
  2. 26 Jul, 2019 1 commit
  3. 02 May, 2019 1 commit
    • Mathias Preiner's avatar
      Squashed commit of the following: · 5f3d5927
      Mathias Preiner authored
      commit 8eeec9cc
      Author: Mathias Preiner <mathias.preiner@gmail.com>
      Date:   Thu May 2 16:53:40 2019 -0700
      
          Update README.md.
      
      commit 4d40eb0e
      Author: Mathias Preiner <mathias.preiner@gmail.com>
      Date:   Tue Apr 30 15:19:30 2019 -0700
      
          Update status.
      5f3d5927
  4. 17 May, 2018 1 commit
  5. 15 Jun, 2017 1 commit
  6. 07 Jun, 2017 1 commit
    • Clark Barrett's avatar
      Squashed commit of the following: · 79b77fef
      Clark Barrett authored
      commit 0b989e1d
      Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
      Date:   Mon Jun 5 17:59:41 2017 +0200
      
          Fixing README.md
      
      commit 7de7ccb9
      Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
      Date:   Mon Jun 5 16:54:39 2017 +0200
      
          Fixing README.md
      
      commit d173fad8
      Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
      Date:   Mon Jun 5 15:42:13 2017 +0200
      
          Adding benchmarks from pending
      
      commit 747ddd1c
      Author: Clark Barrett <barrett@cs.stanford.edu>
      Date:   Thu Jun 1 13:04:16 2017 -0700
      
          Updating statuses based on solutions from two or more solvers running with a long timeout
      
      commit e783f3fd
      Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
      Date:   Tue May 23 12:15:17 2017 +0200
      
          2.0 to 2.6, CRLF to LF
      
      commit 0f4f451c
      Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
      Date:   Wed May 3 18:22:35 2017 +0200
      
          Fixing README.md
      
      commit 19c89879
      Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
      Date:   Thu Apr 20 10:10:25 2017 +0200
      
          Fixing README.md
      
      commit c67d2690
      Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
      Date:   Fri Mar 31 17:46:28 2017 +0200
      
          Adding (exit) to end of benchmarks
      
      commit 2c01d0fa
      Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
      Date:   Wed Mar 29 13:46:26 2017 +0200
      
          Fixing README.md
      
      commit 4d64842f
      Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
      Date:   Tue Mar 28 16:35:20 2017 +0200
      
          Fixing README.md
      
      commit 1c10a557
      Author: Tjark Weber <tjark.weber@gmx.de>
      Date:   Thu Mar 16 10:32:02 2017 +0100
      
          Remove duplicate benchmarks
      79b77fef
  7. 02 May, 2017 1 commit
  8. 20 Apr, 2017 1 commit
  9. 29 Mar, 2017 2 commits
  10. 16 May, 2016 1 commit
  11. 03 May, 2016 1 commit
  12. 02 May, 2016 1 commit
  13. 25 Mar, 2016 1 commit