| Command | Mean [ms] | Min [ms] | Max [ms] | Relative |
|:---|---:|---:|---:|---:|
| `ritalin init -o bench && ritalin add "x" --proof true --kind other && ritalin prove O-001 && ritalin gate` | 15.8 ± 1.1 | 13.9 | 20.7 | 1.00 |
