z3_tptp Versions (8)