1. 26 May, 2021 1 commit
    • Mathias Preiner's avatar
      Squashed commit of the following: · 26ab28d4
      Mathias Preiner authored
      commit 20484d2a
      Author: Mathias Preiner <mathias.preiner@gmail.com>
      Date:   Thu Feb 18 10:10:00 2021 -0800
      
          Update README.md.
      
      commit 1814f5db
      Author: Mathias Preiner <mathias.preiner@gmail.com>
      Date:   Tue Feb 16 14:23:06 2021 -0800
      
          Move benchmarks without quantifiers to QF_UFNIA.
      26ab28d4
  2. 25 Apr, 2020 1 commit
  3. 26 Jul, 2019 1 commit
  4. 04 Jun, 2019 1 commit
  5. 02 May, 2019 1 commit
    • Mathias Preiner's avatar
      Squashed commit of the following: · afd4a563
      Mathias Preiner authored
      commit 3a7f2e7f
      Author: Mathias Preiner <mathias.preiner@gmail.com>
      Date:   Thu May 2 16:53:41 2019 -0700
      
          Update README.md.
      
      commit 7f2053b9
      Author: Mathias Preiner <mathias.preiner@gmail.com>
      Date:   Thu May 2 16:25:08 2019 -0700
      
          Move benchmarks from pending repository.
      afd4a563
  6. 27 May, 2018 1 commit
  7. 17 May, 2018 1 commit
  8. 15 Jun, 2017 1 commit
  9. 07 Jun, 2017 1 commit
    • Clark Barrett's avatar
      Squashed commit of the following: · 47b840ed
      Clark Barrett authored
      commit 0fce9485
      Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
      Date:   Mon Jun 5 18:00:43 2017 +0200
      
          Fixing README.md
      
      commit 28ba2872
      Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
      Date:   Mon Jun 5 16:55:43 2017 +0200
      
          Fixing README.md
      
      commit 5e1ad120
      Author: Clark Barrett <barrett@cs.stanford.edu>
      Date:   Thu Jun 1 13:07:02 2017 -0700
      
          Updating statuses based on solutions from two or more solvers running with a long timeout
      
      commit a69d7bac
      Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
      Date:   Tue May 23 15:11:43 2017 +0200
      
          2.0 to 2.6, CRLF to LF
      
      commit 711823a2
      Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
      Date:   Wed May 3 18:23:59 2017 +0200
      
          Fixing README.md
      
      commit 02e502e3
      Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
      Date:   Thu Apr 20 10:11:54 2017 +0200
      
          Fixing README.md
      
      commit c340f957
      Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
      Date:   Tue Apr 4 14:30:17 2017 +0200
      
          Fixing exit command
      
      commit 9396ef31
      Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
      Date:   Wed Mar 29 13:47:37 2017 +0200
      
          Fixing README.md
      
      commit a8d239d3
      Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
      Date:   Tue Mar 28 16:36:19 2017 +0200
      
          Fixing README.md
      
      commit 096e2544
      Author: Tjark Weber <tjark.weber@gmx.de>
      Date:   Thu Mar 16 10:32:04 2017 +0100
      
          Remove duplicate benchmarks
      47b840ed
  10. 02 May, 2017 1 commit
  11. 20 Apr, 2017 1 commit
  12. 29 Mar, 2017 2 commits
  13. 03 May, 2016 1 commit
  14. 02 May, 2016 1 commit
  15. 26 Mar, 2016 1 commit