1. 26 May, 2021 1 commit
    • Mathias Preiner's avatar
      Squashed commit of the following: · e65f13f6
      Mathias Preiner authored
      commit 22b9b3c159eb4b573097533695ac09e468793eb4
      Author: Mathias Preiner <mathias.preiner@gmail.com>
      Date:   Wed May 26 16:18:02 2021 -0700
      
          Migrate benchmarks from pending repository.
      
      commit ba4d2dd9
      Author: Mathias Preiner <mathias.preiner@gmail.com>
      Date:   Thu Feb 18 10:09:59 2021 -0800
      
          Update README.md.
      e65f13f6
  2. 25 Apr, 2020 1 commit
    • Mathias Preiner's avatar
      Squashed commit of the following: · ad7af3e2
      Mathias Preiner authored
      commit ddc5fc5a
      Author: Mathias Preiner <mathias.preiner@gmail.com>
      Date:   Fri Apr 24 22:44:49 2020 -0700
      
          Move benchmarks from pending repository.
      
      commit 7c6b77c6
      Author: Aina Niemetz <aina.niemetz@gmail.com>
      Date:   Wed Apr 8 11:54:12 2020 -0700
      
          Move benchmarks with to_fp from Real to QF_BVFPLRA.
      ad7af3e2
  3. 26 Jul, 2019 1 commit
  4. 02 May, 2019 1 commit
    • Mathias Preiner's avatar
      Squashed commit of the following: · 9e3d2ce6
      Mathias Preiner authored
      commit 88a29fcf
      Author: Mathias Preiner <mathias.preiner@gmail.com>
      Date:   Thu May 2 16:53:39 2019 -0700
      
          Update README.md.
      
      commit 65892cf8
      Author: Mathias Preiner <mathias.preiner@gmail.com>
      Date:   Tue Apr 30 15:19:30 2019 -0700
      
          Update status.
      
      commit 1c01d19c
      Author: Mathias Preiner <mathias.preiner@gmail.com>
      Date:   Mon Apr 15 15:38:47 2019 -0700
      
          Fix OR with only one argument.
      9e3d2ce6
  5. 21 May, 2018 1 commit
  6. 24 Jul, 2017 1 commit
  7. 15 Jun, 2017 1 commit
  8. 07 Jun, 2017 1 commit
    • Clark Barrett's avatar
      Squashed commit of the following: · 61a0b979
      Clark Barrett authored
      commit c580ca25
      Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
      Date:   Mon Jun 5 17:59:12 2017 +0200
      
          Fixing README.md
      
      commit bc51a83f
      Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
      Date:   Mon Jun 5 16:54:09 2017 +0200
      
          Fixing README.md
      
      commit 4ffefead
      Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
      Date:   Mon Jun 5 15:25:25 2017 +0200
      
          Adding benchmarks from pending
      
      commit d9fb8bbc
      Author: Clark Barrett <barrett@cs.stanford.edu>
      Date:   Thu Jun 1 13:02:22 2017 -0700
      
          Updating statuses based on solutions from two or more solvers running with a long timeout
      
      commit 4ca27ac8
      Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
      Date:   Thu May 25 14:52:15 2017 +0200
      
          Fixing quoting category
      
      commit 0d293391
      Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
      Date:   Tue May 23 09:18:14 2017 +0200
      
          2.0 to 2.6, CRLF to LF
      
      commit 8d2faa11
      Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
      Date:   Wed May 3 18:21:37 2017 +0200
      
          Fixing README.md
      
      commit 4ec13d8b
      Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
      Date:   Thu Apr 20 10:09:21 2017 +0200
      
          Fixing README.md
      
      commit db7db6a1
      Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
      Date:   Wed Mar 29 14:51:34 2017 +0200
      
          Fixing backslash in quoted symbol
      
      commit 47e20261
      Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
      Date:   Wed Mar 29 14:44:36 2017 +0200
      
          Fixing wrong logic
      
      commit 0a5c6f8b
      Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
      Date:   Wed Mar 29 13:45:53 2017 +0200
      
          Fixing README.md
      
      commit 4a759042
      Author: Tjark Weber <tjark.weber@gmx.de>
      Date:   Thu Mar 16 10:32:00 2017 +0100
      
          Remove duplicate benchmarks
      
      commit 721d0807
      Author: Christoph M. Wintersteiger <cwinter@microsoft.com>
      Date:   Fri Nov 11 12:10:47 2016 +0000
      
          Added new benchmarks by Mikhail Ramalho
      61a0b979
  9. 02 May, 2017 1 commit
  10. 20 Apr, 2017 1 commit
  11. 29 Mar, 2017 2 commits
  12. 24 Jul, 2016 1 commit
  13. 13 May, 2016 1 commit
  14. 03 May, 2016 1 commit
  15. 02 May, 2016 1 commit
  16. 25 Mar, 2016 1 commit