add seed in base JSON

JohnLyu2 · JohnLyu2 · commit 68dd9b1ddd17 · 2025-06-18T16:40:10.000+09:00
diff --git a/submissions/z3_base.json b/submissions/z3_base.json
@@ -11,6 +11,7 @@
     "system_description": "https://link.springer.com/content/pdf/10.1007/978-3-540-78800-3_24.pdf",
     "solver_type": "Standalone",
     "command": ["./z3"],
+    "seed": "33",
     "participations": [
         { 
             "tracks": ["SingleQuery"], 

Original file line number	Diff line number	Diff line change
`@@ -11,6 +11,7 @@`
`11`	`11`	`"system_description": "https://link.springer.com/content/pdf/10.1007/978-3-540-78800-3_24.pdf",`
`12`	`12`	`"solver_type": "Standalone",`
`13`	`13`	`"command": ["./z3"],`
	`14`	`+ "seed": "33",`
`14`	`15`	`"participations": [`
`15`	`16`	`{`
`16`	`17`	`"tracks": ["SingleQuery"],`