Skip to content
benchmark (pull request)

Simple overloads of bdd_restrict, zdd_offset, and zdd_onset (and add bdd_topvar(f)/zdd_topvar(A) for later) #681

Sign in to view logs

Simple overloads of bdd_restrict, zdd_offset, and zdd_onset (and add bdd_topvar(f)/zdd_topvar(A) for later)

Simple overloads of bdd_restrict, zdd_offset, and zdd_onset (and add bdd_topvar(f)/zdd_topvar(A) for later) #681

Triggered via pull request November 4, 2023 09:49
@SSoelvstenSSoelvsten
synchronize #564
bdd/restrict_overloads
Status Cancelled
Total duration 9m 0s
Artifacts –

benchmark.yml

on: pull_request
Skip Job?
6s
Skip Job?
Fetch branch name
3s
Fetch branch name
Fetch remote
0s
Fetch remote
Matrix: run_dummy
Matrix: run_benchmark
Fit to window
Zoom out
Zoom in

Annotations

3 errors and 2 warnings
Benchmark: 12-Queens
The run was canceled by @github-actions.
Benchmark: 14-Queens
The run was canceled by @github-actions.
Benchmark: 9-Queens
The run was canceled by @github-actions.
Fetch branch name
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Fetch remote
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/