Booster: Only check SMT prelude in initSolver
(#4040)
#78
Job | Run time |
---|---|
11m 34s | |
17s | |
11m 51s |
initSolver
(#4040)
#78
Job | Run time |
---|---|
11m 34s | |
17s | |
11m 51s |