Combinational Quantum Circuits
Fixed gate sequences with no mid-circuit measurement or feedback.
BV · QFT · Grover · Reversible · Clifford
Multi-type quantum circuit benchmark
VeriQBench
Beyond qubit and gate counts, VeriQBench introduces circuit type as an evaluation dimension, spanning combinational, dynamic, sequential, and variational quantum circuits.
4Circuit types
822Benchmark instances
2 → 50+Qubit scale
+26%Coverage gain
Circuit types
Four families, distinct structural behavior
The repository organizes OpenQASM files by type. Most circuits include generators that scale with qubit count.
Dynamic Quantum Circuits
Mid-circuit measurements and classical feedback determine later operations.
Teleportation · QPE · Error Correction
Sequential Quantum Circuits
Internal state persists across time steps to express loops and feedback.
Repeat-Until-Success · Quantum Walk · Control
Variational Quantum Circuits
A classical optimizer updates parameters in hybrid quantum-classical algorithms.
VQE · QAOA · QCNN · EfficientSU2
Measured diversity
+26%Coverage gain
The six-dimensional feature vectors span a convex-hull volume of 1.14e-02 across 822 circuits.
PCCommunication
CDDepth
EntEntanglement
ParParallelism
LivLiveness
MeaMeasurement
From files to results
One benchmark across tools and hardware
Qiskit validates OpenQASM 2 and QCOR validates OpenQASM 3. Results support software runtime and hardware fidelity evaluation.
01Select or generate
Load an instance from one of four categories.
02Simulate and validate
Execute with Qiskit or QCOR.
03Benchmark and compare
Record runtime or fidelity.
Formal verificationEquivalence checking · Model checking
Design automationOptimization · Mapping · ATPG
Quantum hardwareNoise · Fidelity · Capability limits
OpenQASMQiskitQCORMIT License
Build your selection
Download benchmark circuits
Choose an existing instance from the catalog or generate a new circuit with the benchmark service when it is available.
Loading the benchmark catalog…
Downloads include original directory paths, paired sequential circuits, and available solution files. Static selections read the pinned public snapshot; generated selections are created by the benchmark service and include their parameters and file hashes in the ZIP manifest.