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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]ndiff_9__t1_ndiff_92023-06-28 12:03 104K 
[   ]ndiff_9__t2_ndiff_92023-06-28 12:04 151K 
[   ]ndiff_9__t3_ndiff_92023-06-28 12:05 368K 
[   ]ndiff_9__t4_ndiff_92023-06-28 12:06 364K 
[   ]ndiff_9__t5_ndiff_92023-06-28 12:06 55K 
[   ]ndiff_9__t6_ndiff_92023-06-28 12:07 94K 
[   ]ndiff_9__t8_ndiff_92023-06-28 12:07 56K 
[   ]ndiff_9__t10_ndiff_92023-06-28 12:08 83K 
[   ]ndiff_9__t11_ndiff_92023-06-28 12:09 85K 
[   ]ndiff_9__t12_ndiff_92023-06-28 12:10 135K 
[   ]ndiff_9__t13_ndiff_92023-06-28 12:11 94K 
[   ]ndiff_9__t14_ndiff_92023-06-28 12:12 197K 
[   ]ndiff_9__t16_ndiff_92023-06-28 12:13 256K 
[   ]ndiff_9__t18_ndiff_92023-06-28 12:13 104K 
[   ]ndiff_9__t19_ndiff_92023-06-28 12:14 151K 
[   ]ndiff_9__t20_ndiff_92023-06-28 12:16 184K 
[   ]ndiff_9__t21_ndiff_92023-06-28 12:17 179K 

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