z3/.github/workflows/qf-s-benchmark.md

description	on	permissions	network	tools	safe-outputs	timeout-minutes	steps
Run Z3 string solver benchmarks (seq vs nseq) on QF_S test suite from the c3 branch and post results as a GitHub discussion	schedule workflow_dispatch weekly	read-all	defaults	bash github true toolsets default	create-discussion missing-tool title-prefix category close-older-discussions [QF_S Benchmark] Agentic Workflows true create-issue true	90	name uses with Checkout c3 branch actions/checkout@v5 ref fetch-depth persist-credentials c3 1 false

@./agentics/qf-s-benchmark.md