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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]nomin_6__t1_nomin_62025-09-12 05:59 23K 
[   ]nomin_6__t2_nomin_62025-09-12 06:00 24K 
[   ]nomin_6__t3_nomin_62025-09-12 06:02 24K 
[   ]nomin_6__t4_nomin_62025-09-12 06:04 63K 
[   ]nomin_6__t5_nomin_62025-09-12 06:06 49K 
[   ]nomin_6__t7_nomin_62025-09-12 06:08 45K 
[   ]nomin_6__t8_nomin_62025-09-12 06:09 53K 
[   ]nomin_6__t9_nomin_62025-09-12 06:12 52K 
[   ]nomin_6__t10_nomin_62025-09-12 06:13 35K 
[   ]nomin_6__t11_nomin_62025-09-12 06:15 44K 
[   ]nomin_6__t12_nomin_62025-09-12 06:17 56K 

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