COM003_10

Beagle---0.9.52.SAT-Ass.s E---3.5.1.SAT-Sat.s E-SAT---3.5.1.SAT-Sat.s Vampire---5.0.1.SAT-Sat.s Vampire-SAT---5.0.1.SAT-Sat.s Z3---4.15.1.SAT-Mod.s cvc5---1.3.4.SAT-Mod.s cvc5-SAT---1.3.4.SAT-Mod.s iProver-SAT---3.9.4.SAT-Mod.s