From 9efff68eec91f6c1305f517540cfb894271d912c Mon Sep 17 00:00:00 2001 From: Amalee Wilson Date: Wed, 5 Jun 2024 11:43:58 -0700 Subject: [PATCH] Update cvc5-cloud --- submissions/cvc5-cloud | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/submissions/cvc5-cloud b/submissions/cvc5-cloud index 1f0aac59..7450a593 100644 --- a/submissions/cvc5-cloud +++ b/submissions/cvc5-cloud @@ -7,13 +7,13 @@ "contacts": ["Amalee Wilson "], "website": "https://cvc5.github.io/", "system_description": "https://github.com/amaleewilson/smtcomp24/blob/main/system_description.pdf", - "solver_type": "cloud", + "solver_type": "Standalone", "seed": "42", "participations": [ - { "tracks": ["cloud"] }, { - "tracks": ["cloud"], - "logics": "QF_.*LRA.*", "QF_.*LIA.*", "QF_.*NIA.*", "QF_.*NRA.*", "QF_.*DL.*", + "tracks": ["Cloud"], + "logics": ["QF_LIA", "QF_LRA", "QF_IDL", "QF_RDL", "QF_SLIA", "QF_NIA", "QF_NRA"], + "aws_repository": "https://github.com/amaleewilson/smtcomp24" } ] }