3 ms·

I tried it many months ago and it was garbage. But this was trying smtlib directly. Maybe via the python bindings it works better?