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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]nomin_5__t3_nomin_52025-09-11 21:59 14K 
[   ]nomin_5__t1_nomin_52025-09-11 21:57 20K 
[   ]nomin_5__t2_nomin_52025-09-11 21:58 22K 
[   ]nomin_5__t5_nomin_52025-09-11 22:01 26K 
[   ]nomin_5__t4_nomin_52025-09-11 22:00 26K 
[   ]nomin_5__t12_nomin_52025-09-11 22:12 38K 
[   ]nomin_5__t13_nomin_52025-09-11 22:14 46K 
[   ]nomin_5__t9_nomin_52025-09-11 22:07 47K 
[   ]nomin_5__t7_nomin_52025-09-11 22:05 53K 
[   ]nomin_5__t10_nomin_52025-09-11 22:08 53K 
[   ]nomin_5__t11_nomin_52025-09-11 22:10 54K 
[   ]nomin_5__t6_nomin_52025-09-11 22:03 55K 
[   ]nomin_5__t14_nomin_52025-09-11 22:15 56K 

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