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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]rusub_6__l1_rusub_62025-09-13 10:55 59K 
[   ]rusub_6__t1_rusub_62025-09-13 10:33 113K 
[   ]rusub_6__t2_rusub_62025-09-13 10:35 51K 
[   ]rusub_6__t3_rusub_62025-09-13 10:36 45K 
[   ]rusub_6__t4_rusub_62025-09-13 10:38 54K 
[   ]rusub_6__t5_rusub_62025-09-13 10:40 119K 
[   ]rusub_6__t6_rusub_62025-09-13 10:42 125K 
[   ]rusub_6__t7_rusub_62025-09-13 10:45 63K 
[   ]rusub_6__t8_rusub_62025-09-13 10:47 79K 
[   ]rusub_6__t9_rusub_62025-09-13 10:51 170K 
[   ]rusub_6__t10_rusub_62025-09-13 10:53 81K 

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