Booster: Only check SMT prelude in initSolver
#6710
Job | Run time |
---|---|
1m 6s | |
33m 1s | |
1m 38s | |
23m 30s | |
25m 4s | |
15m 16s | |
1h 39m 35s |
initSolver
#6710
Job | Run time |
---|---|
1m 6s | |
33m 1s | |
1m 38s | |
23m 30s | |
25m 4s | |
15m 16s | |
1h 39m 35s |