26 stack-2.7.3
27 vampire-4.5.1
28 verit-2021.06-rmx
29 xz-java-1.9
30 z3-4.4.0pre-3
31 zipperposition-2.1
31 zipperposition-2.1-1