Conclusions

Vampire is good for many things

Vampire is bad for some things

Other ATP systems are sometimes better

Use the SystemOnTPTP system recommendation tool

Use a range of ATP systems

---