systems: +AddTypes---1.4.4 +Shot---0.1.5 +Taelja---0.2.0.1 +Vampire---5.1.1 +Vampire-FMo---5.1.1 +Vampire-LIT---5.1.1 +Vampire-SAT---5.1.1 +Vampire-SATLIT---5.1.1 +cvc5---1.4.2 +cvc5-SAT---1.4.2 +cvc5-STC---1.4.2 −Taelja---0.2.0.0 −Vampire---5.0.1 −Vampire-FMo---5.0.1 −Vampire-LIT---5.0.1 −Vampire-SAT---5.0.1 −Vampire-SATLIT---5.0.1 −cvc5---1.3.4 −cvc5-SAT---1.3.4 −cvc5-STC---1.3.4, 1 field changed - #9