Skip to content
Back to pull request #8409

Solver factory: set_decision_procedure_time_limit does not require dynamic_cast #595

Sign in to view logs

Solver factory: set_decision_procedure_time_limit does not require dynamic_cast

Solver factory: set_decision_procedure_time_limit does not require dynamic_cast #595

Triggered via pull request August 7, 2024 10:26
@tautschnigtautschnig
opened #8409
tautschnig:solver-factory-no-dynamic_cast2
Status Success
Total duration 31m 2s
Artifacts –

performance.yaml

on: pull_request
perf-benchcomp
30m 52s
perf-benchcomp
Fit to window
Zoom out
Zoom in