This is the 4.8 version submitted to CASC in 2023.
NOTE: This release has only been optimized for the Starexec cluster and does not represent the full capabilities of Vampire. It will be followed up by a full-fledged version in the near future.
There were new schedules developed for FOF, TFA, and UEQ accessible under --mode casc and one new schedule for FNT under --mode casc_sat.
Linked with z3 6ed071b44407cf6623b8d3c0dceb2a8fb7040cee z3-4.9.1