Performance Benchmarking

Solver factory: make_satcheck_prop does not require dynamic_cast #596

Sign in to view logs

Triggered via pull request August 7, 2024 11:06

tautschnig

opened #8410

tautschnig:solver-factory-no-dynamic_cast3

Status Success

Total duration 30m 38s

Artifacts –

performance.yaml

on: pull_request