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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]ndiff_2__t4_ndiff_22025-09-13 19:39 64K 
[   ]ndiff_2__t5_ndiff_22025-09-13 19:41 83K 
[   ]ndiff_2__t6_ndiff_22025-09-13 19:44 93K 
[   ]ndiff_2__t7_ndiff_22025-09-13 19:46 81K 
[   ]ndiff_2__t8_ndiff_22025-09-13 19:48 106K 
[   ]ndiff_2__t9_ndiff_22025-09-13 19:50 103K 
[   ]ndiff_2__t10_ndiff_22025-09-13 19:52 123K 
[   ]ndiff_2__t11_ndiff_22025-09-13 19:54 144K 
[   ]ndiff_2__t12_ndiff_22025-09-13 19:56 71K 

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