ALG443+1

ConnectPP---0.7.2.SAT-Ass.s Crossbow---0.1.SAT-FMo.s DarwinFM---1.4.5.SAT-FMo.s Equinox---6.0.1a.SAT-Ass.s FMB4J---0.1.SAT-FMo.s Geo-III---2018C.SAT-Mod.s Isabelle---2016.TMO-Non.f Mace4---2026-6A.SAT-FMo.s Nitpick---2016.SAT-FMo.s Paradox---4.0.SAT-FMo.s Princess---230619.TMO-Non.f Refute---2015.TMO-Non.f Twee---2.7.SAT-Mod.s Vampire-SAT---5.0.1.SAT-FMo.s Z3---4.15.1.SAT-Mod.s cvc5---1.3.4.SAT-Mod.s cvc5-SAT---1.3.4.SAT-Mod.s ePrincess---1.0.UNK-Non.f iProver-SAT---3.9.4.SAT-Mod.s leanCoP---2.2.SAT-Ass.s nanoCoP---2.0.SAT-Ass.s