Update Z3-Owl.json

Zahrinas · web-flow · commit e5e0f734bf5a · 2025-06-14T01:23:35.000+08:00
diff --git a/submissions/Z3-Owl.json b/submissions/Z3-Owl.json
@@ -11,6 +11,7 @@
     "system_description": "http://example.com/system.pdf",
     "command": ["Z3-Owl"],
     "solver_type": "derived",
+    "seed": 42,
     "participations": [
         {
             "tracks": ["SingleQuery"],

Original file line number	Diff line number	Diff line change
`@@ -11,6 +11,7 @@`
`11`	`11`	`"system_description": "http://example.com/system.pdf",`
`12`	`12`	`"command": ["Z3-Owl"],`
`13`	`13`	`"solver_type": "derived",`
	`14`	`+ "seed": 42,`
`14`	`15`	`"participations": [`
`15`	`16`	`{`
`16`	`17`	`"tracks": ["SingleQuery"],`