Index of /current/p/z3_tptp/

../
4.10.1/                                            29-Jul-2025 17:06       -
4.10.2/                                            29-Jul-2025 17:06       -
4.11.0/                                            29-Jul-2025 17:06       -
4.11.2/                                            29-Jul-2025 17:06       -
4.8.13/                                            29-Jul-2025 16:41       -
4.8.17/                                            29-Jul-2025 17:06       -
4.9.1/                                             29-Jul-2025 17:06       -