CoZ3 · Z3 Benchmark Results

Automated testing, minimization, and performance tracking for Z3. Pick a dashboard below to explore mined runs or compare run statistics side by side.

CoZ3 mascot
⛏

CoZ3 Run Miner Dashboard

Browse mined Ramon runs, known errors, unknown benchmarks, and fixed queries aggregated across recent reports.

Open dashboard →
📊

Compare Stats

Select two run reports and compare their solver statistics, charts, and metadata side by side.

Open comparison →
🕸

Workflows Graph

Interactive msagl-js view of the GitHub Actions workflows and how they trigger one another across the CoZ3 pipeline.

Open graph →

Workflow dependency graph

Rendered with msagl-js. Solid edges are automatic workflow_run triggers; dashed edges are explicit dispatches. Open full screen →

Related resources