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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]altcat_6__l1_altcat_62025-09-13 12:00 23K 
[   ]altcat_6__l2_altcat_62025-09-13 12:00 7.9K 
[   ]altcat_6__l3_altcat_62025-09-13 12:16 24K 
[   ]altcat_6__l4_altcat_62025-09-13 12:17 23K 
[   ]altcat_6__l5_altcat_62025-09-13 12:18 22K 
[   ]altcat_6__l6_altcat_62025-09-13 12:19 22K 
[   ]altcat_6__t1_altcat_62025-09-13 12:01 23K 
[   ]altcat_6__t2_altcat_62025-09-13 12:02 26K 
[   ]altcat_6__t3_altcat_62025-09-13 12:04 37K 
[   ]altcat_6__t4_altcat_62025-09-13 12:05 44K 
[   ]altcat_6__t5_altcat_62025-09-13 12:06 23K 
[   ]altcat_6__t6_altcat_62025-09-13 12:07 33K 
[   ]altcat_6__t7_altcat_62025-09-13 12:08 39K 
[   ]altcat_6__t8_altcat_62025-09-13 12:10 39K 
[   ]altcat_6__t9_altcat_62025-09-13 12:11 44K 
[   ]altcat_6__t10_altcat_62025-09-13 12:13 67K 
[   ]altcat_6__t11_altcat_62025-09-13 12:14 37K 
[   ]altcat_6__t12_altcat_62025-09-13 12:15 37K 

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