Fix naming in submissions

bobot · bobot · commit bf56ede22e44 · 2025-08-08T13:13:45.000+02:00
diff --git a/submissions/STP-Parti-Bitwuzla-p16.json b/submissions/STP-Parti-Bitwuzla-p16.json
@@ -1,5 +1,5 @@
 {
-    "name": "STP-Parti-Bitwuzla-32core",
+    "name": "STP-Parti-Bitwuzla-16core",
     "contributors": [
         "Mengyu Zhao",
         "Zhenghang Xu",
diff --git a/submissions/STP-Parti-Bitwuzla-p8.json b/submissions/STP-Parti-Bitwuzla-p8.json
@@ -1,5 +1,5 @@
 {
-    "name": "STP-Parti-Bitwuzla-16core",
+    "name": "STP-Parti-Bitwuzla-8core",
     "contributors": [
         "Mengyu Zhao",
         "Zhenghang Xu",
diff --git a/submissions/Z3-Parti-Z3pp-p16.json b/submissions/Z3-Parti-Z3pp-p16.json
@@ -1,5 +1,5 @@
 {
-    "name": "Z3-Parti-Z3pp-32core",
+    "name": "Z3-Parti-Z3pp-16core",
     "contributors": [
         "Mengyu Zhao",
         "Shaowei Cai"
diff --git a/submissions/Z3-Parti-Z3pp-p32.json b/submissions/Z3-Parti-Z3pp-p32.json
@@ -1,5 +1,5 @@
 {
-    "name": "Z3-Parti-Z3pp-64core",
+    "name": "Z3-Parti-Z3pp-32core",
     "contributors": [
         "Mengyu Zhao",
         "Shaowei Cai"
diff --git a/submissions/Z3-Parti-Z3pp-p8.json b/submissions/Z3-Parti-Z3pp-p8.json
@@ -1,5 +1,5 @@
 {
-    "name": "Z3-Parti-Z3pp-16core",
+    "name": "Z3-Parti-Z3pp-8core",
     "contributors": [
         "Mengyu Zhao",
         "Shaowei Cai"
diff --git a/submissions/bitwuzla_parallel_16.json b/submissions/bitwuzla_parallel_16.json
@@ -1,5 +1,5 @@
 {
-  "name": "Bitwuzla-32core",
+  "name": "Bitwuzla-16core",
   "contributors": ["Aina Niemetz", "Mathias Preiner"],
   "contacts": ["Mathias Preiner <preiner@cs.stanford.edu>"],
   "final" : true,
diff --git a/submissions/bitwuzla_parallel_32.json b/submissions/bitwuzla_parallel_32.json
@@ -1,5 +1,5 @@
 {
-  "name": "Bitwuzla-64core",
+  "name": "Bitwuzla-32core",
   "contributors": ["Aina Niemetz", "Mathias Preiner"],
   "contacts": ["Mathias Preiner <preiner@cs.stanford.edu>"],
   "final" : true,

Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,5 @@`
`1`	`1`	`{`
`2`		`- "name": "STP-Parti-Bitwuzla-32core",`
	`2`	`+ "name": "STP-Parti-Bitwuzla-16core",`
`3`	`3`	`"contributors": [`
`4`	`4`	`"Mengyu Zhao",`
`5`	`5`	`"Zhenghang Xu",`
Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,5 @@`
`1`	`1`	`{`
`2`		`- "name": "STP-Parti-Bitwuzla-16core",`
	`2`	`+ "name": "STP-Parti-Bitwuzla-8core",`
`3`	`3`	`"contributors": [`
`4`	`4`	`"Mengyu Zhao",`
`5`	`5`	`"Zhenghang Xu",`
Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,5 @@`
`1`	`1`	`{`
`2`		`- "name": "Z3-Parti-Z3pp-32core",`
	`2`	`+ "name": "Z3-Parti-Z3pp-16core",`
`3`	`3`	`"contributors": [`
`4`	`4`	`"Mengyu Zhao",`
`5`	`5`	`"Shaowei Cai"`
Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,5 @@`
`1`	`1`	`{`
`2`		`- "name": "Z3-Parti-Z3pp-64core",`
	`2`	`+ "name": "Z3-Parti-Z3pp-32core",`
`3`	`3`	`"contributors": [`
`4`	`4`	`"Mengyu Zhao",`
`5`	`5`	`"Shaowei Cai"`
Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,5 @@`
`1`	`1`	`{`
`2`		`- "name": "Z3-Parti-Z3pp-16core",`
	`2`	`+ "name": "Z3-Parti-Z3pp-8core",`
`3`	`3`	`"contributors": [`
`4`	`4`	`"Mengyu Zhao",`
`5`	`5`	`"Shaowei Cai"`
Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,5 @@`
`1`	`1`	`{`
`2`		`- "name": "Bitwuzla-32core",`
	`2`	`+ "name": "Bitwuzla-16core",`
`3`	`3`	`"contributors": ["Aina Niemetz", "Mathias Preiner"],`
`4`	`4`	`"contacts": ["Mathias Preiner <[email protected]>"],`
`5`	`5`	`"final" : true,`
Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,5 @@`
`1`	`1`	`{`
`2`		`- "name": "Bitwuzla-64core",`
	`2`	`+ "name": "Bitwuzla-32core",`
`3`	`3`	`"contributors": ["Aina Niemetz", "Mathias Preiner"],`
`4`	`4`	`"contacts": ["Mathias Preiner <[email protected]>"],`
`5`	`5`	`"final" : true,`