Index of /~mptp/mml5.63.1382/MPTP2/problems/altcat_5

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]altcat_5__l2_altcat_52023-06-28 16:15 10K 
[   ]altcat_5__l3_altcat_52023-06-28 16:15 25K 
[   ]altcat_5__l4_altcat_52023-06-28 16:16 23K 
[   ]altcat_5__l5_altcat_52023-06-28 16:16 8.6K 
[   ]altcat_5__l6_altcat_52023-06-28 16:21 26K 
[   ]altcat_5__l7_altcat_52023-06-28 16:21 26K 
[   ]altcat_5__l8_altcat_52023-06-28 16:21 23K 
[   ]altcat_5__l9_altcat_52023-06-28 16:22 24K 
[   ]altcat_5__t1_altcat_52023-06-28 16:16 26K 
[   ]altcat_5__t2_altcat_52023-06-28 16:17 29K 
[   ]altcat_5__t3_altcat_52023-06-28 16:17 40K 
[   ]altcat_5__t4_altcat_52023-06-28 16:17 47K 
[   ]altcat_5__t5_altcat_52023-06-28 16:18 25K 
[   ]altcat_5__t6_altcat_52023-06-28 16:18 36K 
[   ]altcat_5__t7_altcat_52023-06-28 16:19 44K 
[   ]altcat_5__t8_altcat_52023-06-28 16:19 68K 
[   ]altcat_5__t9_altcat_52023-06-28 16:20 38K 
[   ]altcat_5__t10_altcat_52023-06-28 16:20 38K 

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