1. 15 Jun, 2017 1 commit
  2. 07 Jun, 2017 1 commit
    • Squashed commit of the following: · 2e3040e9
      commit d3c4ad8e
      Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
      Date:   Mon Jun 5 18:00:46 2017 +0200
      
          Fixing README.md
      
      commit 9086ce80
      Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
      Date:   Mon Jun 5 16:55:49 2017 +0200
      
          Fixing README.md
      
      commit e1afda39
      Author: Clark Barrett <barrett@cs.stanford.edu>
      Date:   Thu Jun 1 12:57:35 2017 -0700
      
          Updating statuses based on solutions from two or more solvers running with a long timeout
      
      commit 0c749501
      Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
      Date:   Thu May 25 16:11:44 2017 +0200
      
          Adding category
      
      commit af7f8f10
      Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
      Date:   Tue May 23 13:59:42 2017 +0200
      
          2.0 to 2.6, CRLF to LF
      
      commit 051842c9
      Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
      Date:   Wed May 3 18:35:15 2017 +0200
      
          Fixing README.md
      
      commit 70e1ce2e
      Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
      Date:   Thu Apr 20 09:18:54 2017 +0200
      
          Fixing README.md
      
      commit 14b4c188
      Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
      Date:   Fri Mar 31 18:24:43 2017 +0200
      
          Adding (exit) to end of benchmarks
      
      commit 56b23a8c
      Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
      Date:   Wed Mar 29 13:47:42 2017 +0200
      
          Fixing README.md
      
      commit 49118cf2
      Author: Tjark Weber <tjark.weber@gmx.de>
      Date:   Thu Mar 16 10:31:27 2017 +0100
      
          Remove duplicate benchmarks
      Clark Barrett committed
  3. 02 May, 2017 1 commit
  4. 20 Apr, 2017 1 commit
  5. 29 Mar, 2017 2 commits
  6. 13 May, 2016 2 commits
  7. 03 May, 2016 1 commit
  8. 02 May, 2016 1 commit
  9. 25 Mar, 2016 1 commit