Closed moorepants closed 7 years ago
These take 5s too:
[ 1.92%] ··· Running solve.TimeSolve01.time_solve 5.00s
[ 2.00%] ··· Running solve.TimeSolve01.time_solve_nocheck 5.01s```
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?
time_solve
and time_solve_nocheck
are now both <1s
see: http://www.moorepants.info/misc/sympy-asv/#logic.LogicSuite.time_dpll