Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small_thf/jordan1f

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]jordan1f__t1_jordan1f2025-09-11 18:55 128K 
[   ]jordan1f__t2_jordan1f2025-09-11 18:58 128K 
[   ]jordan1f__t3_jordan1f2025-09-11 19:01 128K 
[   ]jordan1f__t4_jordan1f2025-09-11 19:05 128K 
[   ]jordan1f__t5_jordan1f2025-09-11 19:07 76K 
[   ]jordan1f__t6_jordan1f2025-09-11 19:10 73K 
[   ]jordan1f__t7_jordan1f2025-09-11 19:13 78K 
[   ]jordan1f__t8_jordan1f2025-09-11 19:16 77K 
[   ]jordan1f__t9_jordan1f2025-09-11 19:19 97K 
[   ]jordan1f__t10_jordan1f2025-09-11 19:22 97K 
[   ]jordan1f__t11_jordan1f2025-09-11 19:25 97K 
[   ]jordan1f__t12_jordan1f2025-09-11 19:29 160K 
[   ]jordan1f__t13_jordan1f2025-09-11 19:32 320K 

Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80