- 20 May, 2022 1 commit
-
-
Mathias Preiner authored
commit 43dc8073 Author: Mathias Preiner <mathias.preiner@gmail.com> Date: Fri May 13 16:31:12 2022 -0700 Moved non-linear benchmarks to UFFPDTNIRA.
-
- 26 May, 2021 1 commit
-
-
Mathias Preiner authored
commit d9fca8cb Author: Mathias Preiner <mathias.preiner@gmail.com> Date: Thu Feb 18 10:10:00 2021 -0800 Update README.md. commit a4dc23a6 Author: Mathias Preiner <mathias.preiner@gmail.com> Date: Tue Feb 16 15:54:57 2021 -0800 Remove trivially unsat benchmarks. commit 0ff14dc4 Author: Mathias Preiner <mathias.preiner@gmail.com> Date: Tue Feb 16 14:26:24 2021 -0800 Move benchmarks without quantifiers to QF_UFFPDTLIRA.
-
- 02 May, 2020 1 commit
-
-
Mathias Preiner authored
-
- 25 Apr, 2020 2 commits
-
-
Mathias Preiner authored
commit d1032448 Author: Mathias Preiner <mathias.preiner@gmail.com> Date: Fri Apr 24 22:47:02 2020 -0700 Move benchmarks from pending repository.
-
Mathias Preiner authored
-