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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]ndiff11__t1_ndiff112025-09-14 03:08 83K 
[   ]ndiff11__t2_ndiff112025-09-14 03:10 109K 
[   ]ndiff11__t3_ndiff112025-09-14 03:12 159K 
[   ]ndiff11__t4_ndiff112025-09-14 03:15 174K 
[   ]ndiff11__t5_ndiff112025-09-14 03:17 133K 
[   ]ndiff11__t6_ndiff112025-09-14 03:20 159K 
[   ]ndiff11__t7_ndiff112025-09-14 03:22 89K 
[   ]ndiff11__t8_ndiff112025-09-14 03:25 133K 
[   ]ndiff11__t9_ndiff112025-09-14 03:03 98K 
[   ]ndiff11__t10_ndiff112025-09-14 03:27 98K 
[   ]ndiff11__t11_ndiff112025-09-14 03:29 128K 
[   ]ndiff11__t12_ndiff112025-09-14 03:33 169K 
[   ]ndiff11__t13_ndiff112025-09-14 03:36 140K 
[   ]ndiff11__t14_ndiff112025-09-14 03:38 146K 
[   ]ndiff11__t15_ndiff112025-09-14 03:42 276K 
[   ]ndiff11__t17_ndiff112025-09-14 03:45 141K 
[   ]ndiff11__t18_ndiff112025-09-14 03:48 170K 
[   ]ndiff11__t19_ndiff112025-09-14 03:51 132K 
[   ]ndiff11__t20_ndiff112025-09-14 03:54 196K 
[   ]ndiff11__t21_ndiff112025-09-14 03:57 129K 
[   ]ndiff11__t22_ndiff112025-09-14 03:59 154K 
[   ]ndiff11__t23_ndiff112025-09-14 04:03 208K 
[   ]ndiff11__t24_ndiff112025-09-14 04:06 205K 
[   ]ndiff11__t25_ndiff112025-09-14 04:09 169K 
[   ]ndiff11__t26_ndiff112025-09-14 04:11 130K 
[   ]ndiff11__t27_ndiff112025-09-14 04:13 151K 
[   ]ndiff11__t28_ndiff112025-09-14 04:17 184K 
[   ]ndiff11__t29_ndiff112025-09-14 04:20 226K 
[   ]ndiff11__t30_ndiff112025-09-14 04:24 217K 
[   ]ndiff11__t31_ndiff112025-09-14 04:26 162K 
[   ]ndiff11__t32_ndiff112025-09-14 03:06 171K 
[   ]ndiff11__t33_ndiff112025-09-14 04:30 229K 
[   ]ndiff11__t34_ndiff112025-09-14 04:33 186K 

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