benchmark (pull request)

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Fetch branch name	1s
Fetch remote	1s
Skip Job?	7s
Benchmark: 9-Queens	39m 16s
Benchmark: 12-Queens	44m 52s
Benchmark: ${{ matrix.N }}-Queens	0s
Benchmark: 14-Queens	49m 17s
	2h 13m 34s