These appear to be benchmarks that don't involve running anything concretely, just compiling and likely then counting gates: