You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
Crossing my fingers for more than slightly... Maybe SMTCOMP19 isn't the Final Word on things but it looks a good deal like Boolector did considerably better on QF_BV - and the most competitive Yices results seem to have had a bit of tweaking in terms of what SAT was used.
Are you running incremental queries or single-shot? My expectation is that for single shot QF_BV queries Boolector > Yices and for incremental problems its maybe about even, depending on the details of the SMT problem.
That's fuzzy.... [ side note - for incremental, I'm forming the same opinion looking at SMTCOMP19's QF_BV results (which show them level pegging). I don't know the significance of the fact that Boolector does way better on the 'challenge' cases than Yices on incremental ]
Fuzzy in that I can set up my problems to be generally prone to unsat out very quickly if I throw in more examples, and I evaluate hundreds of thousands of problems with most expected to reach unsat.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
