Solver submission: cvc5 (#64)

* Add cvc5 preliminary version * Remove cvc5 from parallel track * Fix command for incremental track * Remove cvc5 from the cloud track * Use Zenodo release --------- Co-authored-by: François Bobot <[email protected]>
SMT-COMP · Jun 18, 2024 · 12225b0 · 12225b0
1 parent a3bf6f1
commit 12225b0
Showing 1 changed file with 62 additions and 0 deletions.
diff --git a/submissions/cvc5.json b/submissions/cvc5.json
@@ -0,0 +1,62 @@
+{
+ "name": "cvc5",
+ "contributors": [
+ "Leni Aniva",
+ "Haniel Barbosa",
+ "Clark Barrett",
+ "Hanna Lachnitt",
+ "Daniel Larraz",
+ "Abdalrhman Mohamed",
+ "Mudathir Mohamed",
+ "Aina Niemetz",
+ "Alex Ozdemir",
+ "Mathias Preiner",
+ "Andrew Reynolds",
+ "Hans-Jörg Schurr",
+ "Cesare Tinelli",
+ "Amalee Wilson",
+ "Yoni Zohar"
+ ],
+ "contacts": [
+ "Hans-Jörg Schurr <[email protected]>",
+ "Amalee Wilson <[email protected]>",
+ "Clark Barrett <[email protected]>"
+ ],
+ "archive": {
+ "url": "https://zenodo.org/records/11581520/files/cvc5-default.zip",
+ "h": {
+ "sha256": "4e8b6f6aaa8a22afec427633e66d1880f9f106efca4aa35d143cd97f90f2b3bb"
+ }
+ },
+ "website": "https://cvc5.github.io/",
+ "system_description": "https://zenodo.org/records/11581520/files/cvc5.pdf",
+ "command": [ "bin/starexec_run_sq" ],
+ "solver_type": "Standalone",
+ "participations": [
+ {
+ "tracks": [ "SingleQuery" ],
+ "logics": ".*"
+ },
+ {
+ "tracks": [ "UnsatCore" ],
+ "logics": ".*",
+ "command": [ "bin/starexec_run_uc" ]
+ },
+ {
+ "tracks": [ "ModelValidation" ],
+ "logics": ".*",
+ "command": [ "bin/starexec_run_mv" ]
+ },
+ {
+ "tracks": [ "Incremental" ],
+ "logics": ".*",
+ "archive": {
+ "url": "https://zenodo.org/records/11581520/files/cvc5-inc.zip",
+ "h": {
+ "sha256": "25d7fb5461a5b4b96e75145d95700085db81f3b0f6c7af556b47a2aaf1fbcd96"
+ }
+ },
+ "command": [ "bin/smtcomp_run_incremental" ]
+ }
+ ]
+}