Remove cvc5 from the cloud track

SMT-COMP · Jun 5, 2024 · 6f3be7e · 6f3be7e
1 parent 6f9e1ab
commit 6f3be7e
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/submissions/cvc5.json b/submissions/cvc5.json
@@ -57,10 +57,6 @@
         }
       },
       "command": [ "bin/smtcomp_run_incremental" ]
-    },
-    {
-      "tracks": [ "Cloud" ],
-      "logics": ".*"
     }
   ]
 }