sympy/sympy_benchmarks

time_dpll takes 5 seconds to run, this is way too slow for a benchmark

moorepants opened this issue · 3 comments

moorepants commented

These take 5s too:

[  1.92%] ··· Running solve.TimeSolve01.time_solve                                                                                                                                 5.00s
[  2.00%] ··· Running solve.TimeSolve01.time_solve_nocheck                                                                                                                         5.01s```
bjodah commented

I'll see if I can reformulate the solve benchmarks (make the system smaller).
@debugger22 can you do anything about the running time for dpll?

bjodah commented

time_solve and time_solve_nocheck are now both <1s

  • 👍1