strategies should always use most recent versions of provers
On my laptop the strategy 0, as shown by why3 config show
uses Alt-Ergo 2.4.0, CVC4 1.7 and Z3 4.8.6. Yet, I have Alt-Ergo 2.4.1, CVC4 1.8 and Z3 4.8.10, and these are correctly detected and shown by why3 config list-provers
.
I believe the most recent version should be used in strategies.