- 25 Apr, 2020 1 commit
-
-
Mathias Preiner authored
commit 0590fcea Author: Mathias Preiner <mathias.preiner@gmail.com> Date: Fri Apr 24 22:44:48 2020 -0700 Move benchmarks from pending repository.
-
- 26 Jul, 2019 1 commit
-
-
Pascal Fontaine authored
-
- 02 May, 2019 1 commit
-
-
Mathias Preiner authored
commit 8e992962 Author: Mathias Preiner <mathias.preiner@gmail.com> Date: Thu May 2 16:53:39 2019 -0700 Update README.md. commit 2b9b9153 Author: Mathias Preiner <mathias.preiner@gmail.com> Date: Thu May 2 16:25:07 2019 -0700 Move benchmarks from pending repository.
-
- 17 May, 2018 1 commit
-
-
Mathias Preiner authored
commit f525a140 Author: Mathias Preiner <mathias.preiner@gmail.com> Date: Wed May 16 22:08:39 2018 -0700 Add pending benchmarks. commit fada47f0 Author: Mathias Preiner <mathias.preiner@gmail.com> Date: Sat May 12 11:10:05 2018 -0700 Update status of unknown benchmarks.
-
- 15 Jun, 2017 1 commit
-
-
Pascal Fontaine authored
-
- 07 Jun, 2017 1 commit
-
-
Clark Barrett authored
commit 6f81015a Author: Pascal Fontaine <Pascal.Fontaine@loria.fr> Date: Mon Jun 5 17:58:41 2017 +0200 Fixing README.md commit 3eac1449 Author: Pascal Fontaine <Pascal.Fontaine@loria.fr> Date: Mon Jun 5 16:53:37 2017 +0200 Fixing README.md commit 8014352f Author: Clark Barrett <barrett@cs.stanford.edu> Date: Thu Jun 1 12:46:44 2017 -0700 Updating statuses based on solutions from two or more solvers running with a long timeout commit 4a7182a4 Author: Pascal Fontaine <Pascal.Fontaine@loria.fr> Date: Thu May 25 23:09:33 2017 +0200 To version 2.6 commit 6ae52298 Author: Pascal Fontaine <Pascal.Fontaine@loria.fr> Date: Mon May 22 15:31:26 2017 +0200 2.0 to 2.5, CRLF to LF commit 3052e113 Author: Pascal Fontaine <Pascal.Fontaine@inria.fr> Date: Wed May 3 18:20:45 2017 +0200 Fixing README.md commit dd8088bb Author: Pascal Fontaine <Pascal.Fontaine@inria.fr> Date: Thu Apr 20 10:08:23 2017 +0200 Fixing README.md commit 9bcca7b3 Author: Pascal Fontaine <Pascal.Fontaine@inria.fr> Date: Wed Mar 29 13:45:12 2017 +0200 Fixing README.md commit 78356967 Author: Pascal Fontaine <Pascal.Fontaine@inria.fr> Date: Wed Mar 29 13:34:48 2017 +0200 Fixing README.md commit 80ce72e0 Author: Tjark Weber <tjark.weber@gmx.de> Date: Thu Mar 16 10:31:25 2017 +0100 Remove duplicate benchmarks
-
- 02 May, 2017 1 commit
-
-
Pascal Fontaine authored
-
- 20 Apr, 2017 1 commit
-
-
Pascal Fontaine authored
-
- 29 Mar, 2017 2 commits
-
-
Pascal Fontaine authored
-
admin smt-lib authored
-
- 28 May, 2016 1 commit
-
-
Tjark Weber authored
-
- 16 May, 2016 1 commit
-
-
Clark Barrett authored
-
- 03 May, 2016 1 commit
-
-
Pascal Fontaine authored
-
- 02 May, 2016 1 commit
-
-
Pascal Fontaine authored
-
- 25 Mar, 2016 1 commit
-
-
Alain Mebsout authored
-