- 20 May, 2022 1 commit
-
-
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.
-
- 26 May, 2021 1 commit
-
-
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.
-
- 26 Jul, 2019 1 commit
-
-
Pascal Fontaine authored
-
- 02 May, 2019 1 commit
-
-
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.
-
- 17 May, 2018 1 commit
-
-
Mathias Preiner authored
commit 7e8738e7 Author: Mathias Preiner <mathias.preiner@gmail.com> Date: Wed May 16 22:08:21 2018 -0700 Add pending benchmarks.
-
- 17 Jun, 2017 1 commit
-
-
Pascal Fontaine authored
-
- 15 Jun, 2017 1 commit
-
-
Pascal Fontaine authored
-
- 07 Jun, 2017 1 commit
-
-
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
-
- 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
-
- 03 May, 2016 1 commit
-
-
Pascal Fontaine authored
-
- 02 May, 2016 1 commit
-
-
Pascal Fontaine authored
-
- 25 Mar, 2016 1 commit
-
-
Alain Mebsout authored
-