return back incremental

jurajsic · jurajsic · commit 1ccf97c51600 · 2025-06-12T14:59:52.000+02:00
diff --git a/submissions/z3-noodler.json b/submissions/z3-noodler.json
@@ -17,7 +17,7 @@
     "command": ["z3-noodler"],
     "solver_type": "derived",
     "participations": [
-        { "tracks": ["SingleQuery"], "divisions": ["QF_Strings"] }
+        { "tracks": ["SingleQuery", "Incremental"], "divisions": ["QF_Strings"] }
     ],
     "seed": 48655
 }

Original file line number	Diff line number	Diff line change
`@@ -17,7 +17,7 @@`
`17`	`17`	`"command": ["z3-noodler"],`
`18`	`18`	`"solver_type": "derived",`
`19`	`19`	`"participations": [`
`20`		`- { "tracks": ["SingleQuery"], "divisions": ["QF_Strings"] }`
	`20`	`+ { "tracks": ["SingleQuery", "Incremental"], "divisions": ["QF_Strings"] }`
`21`	`21`	`],`
`22`	`22`	`"seed": 48655`
`23`	`23`	`}`