Thanks to visit codestin.com
Credit goes to github.com

Antti/solver benchmarking #2

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Open

aehyvari wants to merge 2 commits into master from antti/solver-benchmarking

Owner

aehyvari commented Apr 27, 2023

solver2 with fixed schedule in `theory_arith_core` vs solver6

solver 2 with and without fixed schedule in `theory_arith_core`

aehyvari added 2 commits

April 27, 2023 17:17


          [tmp] No round-robin for arith solver2 check schedule

03bb04f


          Options for solvers

6ce26cf

NikolajBjorner commented Apr 27, 2023

so the fixed schedule makes not too much of a visible difference overall. Maybe mainly for the single benchmark on AUFLIA?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet