Index of /current/p/z3_tptp/

../
4.10.1/                                            20-Mar-2026 06:32       -
4.10.2/                                            20-Mar-2026 06:32       -
4.11.0/                                            20-Mar-2026 06:32       -
4.11.2/                                            20-Mar-2026 06:32       -
4.8.13/                                            19-Mar-2026 15:13       -
4.8.17/                                            20-Mar-2026 06:32       -
4.9.1/                                             20-Mar-2026 06:32       -