Z3 regression in 4.8.10

[fpoli]

Are we aware of any regression in Z3 version 4.8.10? As reported here, it seems that Z3 version 4.8.8 is much faster on a program.

[marcoeilers]

The reason we're still on 4.8.7 is that every newer Z3 version leads to worse performance either on a few select examples or across the board. That's true for Silicon and Carbon, and apparently Dafny and Boogie have the same problem (and are also still on similar versions as we are).

Generally, at the moment, anyone using Viper should use 4.8.7.

[fpoli]

Thanks. I didn't notice that Viper ships 4.8.7.