benchmark (pull request)

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

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?	6s
Benchmark: 9-Queens	39m 21s
Benchmark: ${{ matrix.N }}-Queens	0s
Benchmark: 12-Queens	45m 46s
Benchmark: 14-Queens	49m 11s
	2h 14m 26s