Index of /Seminars/AGInT/YisVersion/results/PUZ032

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]README2024-10-04 17:41 177  
[ ]PUZ032-1_intrscore_novelty31978_Try02024-10-04 17:41 323  
[ ]PUZ032-1_intrscore_novelty30837_Try02024-10-04 17:41 163  
Apache/2.4.58 (Ubuntu) Server at tptp.org Port 443