SPCs for Domains for Systems

SPC Domains Systems
Some equality Horn BOO, GRP, RNG, ROB E, Vampire
Some equality non-Horn CAT, GEO, LDA, NUM, SET Vampire, Gandalf, E
No equality non-Horn FLD Vampire, Gandalf
Unit equality BOO, GRP, LAT, RNG, ROB Waldmeister, E, Vampire
First order form GEO,SET Vampire