Removes the scaling coefficient for our solver-specific parameter max_deterministic_time
.
#7681
Triggered via pull request
September 27, 2024 17:51
Status
Success
Total duration
1m 55s
Artifacts
–