1. 20 May, 2022 1 commit
    • Mathias Preiner's avatar
      Squashed commit of the following: · a0777e68
      Mathias Preiner authored
      commit 305af1dd
      Author: Mathias Preiner <mathias.preiner@gmail.com>
      Date:   Tue May 17 13:01:57 2022 -0700
      
          Add 2022 submissions.
      
      commit efd98516
      Author: Mathias Preiner <mathias.preiner@gmail.com>
      Date:   Tue Jan 25 15:25:21 2022 -0800
      
          Move Pine benchmarks to QF_NRA.
      a0777e68
  2. 26 May, 2021 1 commit
    • Mathias Preiner's avatar
      Squashed commit of the following: · e998fa82
      Mathias Preiner authored
      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.
      e998fa82
  3. 26 Jul, 2019 1 commit
  4. 02 May, 2019 1 commit
    • Mathias Preiner's avatar
      Squashed commit of the following: · cabbf76d
      Mathias Preiner authored
      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.
      cabbf76d
  5. 17 May, 2018 1 commit
  6. 17 Jun, 2017 1 commit
  7. 15 Jun, 2017 1 commit
  8. 07 Jun, 2017 1 commit
    • Clark Barrett's avatar
      Squashed commit of the following: · 5030666e
      Clark Barrett authored
      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
      5030666e
  9. 02 May, 2017 1 commit
  10. 20 Apr, 2017 1 commit
  11. 29 Mar, 2017 2 commits
  12. 03 May, 2016 1 commit
  13. 02 May, 2016 1 commit
  14. 25 Mar, 2016 1 commit