Update Z3-Parti-Z3pp-at-SMT-COMP-2025.json

zmylinxi99 · web-flow · commit 8fa14b5bdcea · 2025-06-13T20:28:09.000+08:00
diff --git a/submissions/Z3-Parti-Z3pp-at-SMT-COMP-2025.json b/submissions/Z3-Parti-Z3pp-at-SMT-COMP-2025.json
@@ -16,8 +16,7 @@
     "participations": [
         {
             "tracks": ["Parallel"],
-            "logics": ["QF_RDL", "QF_IDL", "QF_LRA", "QF_LIA", "QF_NRA", "QF_NIA"],
-            "aws_repository": "https://github.com/shaowei-cai-group/Z3-Parti-Z3pp-at-SMT-COMP-2025"
+            "logics": ["QF_RDL", "QF_IDL", "QF_LRA", "QF_LIA", "QF_NRA", "QF_NIA"]
         }
     ]
 }

Original file line number	Diff line number	Diff line change
`@@ -16,8 +16,7 @@`
`16`	`16`	`"participations": [`
`17`	`17`	`{`
`18`	`18`	`"tracks": ["Parallel"],`
`19`		`- "logics": ["QF_RDL", "QF_IDL", "QF_LRA", "QF_LIA", "QF_NRA", "QF_NIA"],`
`20`		`- "aws_repository": "https://github.com/shaowei-cai-group/Z3-Parti-Z3pp-at-SMT-COMP-2025"`
	`19`	`+ "logics": ["QF_RDL", "QF_IDL", "QF_LRA", "QF_LIA", "QF_NRA", "QF_NIA"]`
`21`	`20`	`}`
`22`	`21`	`]`
`23`	`22`	`}`