Index of /Seminars/AGInT/YisVersion/results/PUZ001
Name
Last modified
Size
Description
Parent Directory
-
PUZ001-2_intrscore_novelty27756_Try1
2024-10-04 17:41
157
PUZ001-2_intrscore_novelty27756_Try0
2024-10-04 17:41
135
Apache/2.4.58 (Ubuntu) Server at tptp.org Port 443