Index of /Seminars/AGInT/YisVersion/results/PUZ032
Name
Last modified
Size
Description
Parent Directory
-
PUZ032-1_intrscore_novelty30837_Try0
2024-10-04 17:41
163
PUZ032-1_intrscore_novelty31978_Try0
2024-10-04 17:41
323
README
2024-10-04 17:41
177
Apache/2.4.58 (Ubuntu) Server at tptp.org Port 443