benchmark (pull request)

BDD/ `bdd_and` and `bdd_or` with negation #705

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Fetch remote	1s
Fetch branch name	1s
Skip Job?	5s
Benchmark: ${{ matrix.N }}-Queens	0s
Benchmark: 9-Queens	7m 16s
Benchmark: 12-Queens	7m 12s
Benchmark: 14-Queens	7m 14s
	21m 49s