Review the set of 'old versions' of provers
Currently, the versions of provers that are NOT considered "old" include Alt-Ergo 2.0.0 to 2.3.3, CVC4 1.5 to 1.7, Gappa 1.0.0 to 1.2.2, Vampire 0.6, Z3 4.5.0 to 4.7.1. CVC3 2.4.1 is not considered old either.
-
Alt-Ergo 2.0.0 to 2.3.3 -
CVC4 1.5 to 1.7 -
Gappa 1.0.0 to 1.2.2 -
Vampire 0.6 -
Z3 4.5.0 to 4.7.1 -
E prover 1.4 and 1.6 to 2.x
I believe that all those versions (at least) should be considered as "old".
Incidentally, our bench should not include any of those old versions anymore, all sessions should be upgraded to more recent versions of provers. At the same occasion, old versions of provers could be removed from the moloch server.