Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tls/ndiff_5

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]ndiff_5__l10_ndiff_52017-01-12 22:18 66K 
[   ]ndiff_5__l19_ndiff_52017-01-12 22:18 79K 
[   ]ndiff_5__l21_ndiff_52017-01-12 22:18 92K 
[   ]ndiff_5__l24_ndiff_52017-01-12 22:19 673K 
[   ]ndiff_5__l55_ndiff_52017-01-12 22:19 222K 
[   ]ndiff_5__t1_ndiff_52017-01-12 22:18 142K 
[   ]ndiff_5__t2_ndiff_52017-01-12 22:18 100K 
[   ]ndiff_5__t3_ndiff_52017-01-12 22:18 229K 
[   ]ndiff_5__t4_ndiff_52017-01-12 22:18 261K 
[   ]ndiff_5__t5_ndiff_52017-01-12 22:18 105K 
[   ]ndiff_5__t6_ndiff_52017-01-12 22:18 215K 
[   ]ndiff_5__t7_ndiff_52017-01-12 22:18 178K 
[   ]ndiff_5__t8_ndiff_52017-01-12 22:18 89K 
[   ]ndiff_5__t9_ndiff_52017-01-12 22:18 61K 
[   ]ndiff_5__t10_ndiff_52017-01-12 22:18 85K 
[   ]ndiff_5__t11_ndiff_52017-01-12 22:18 105K 
[   ]ndiff_5__t12_ndiff_52017-01-12 22:18 112K 
[   ]ndiff_5__t13_ndiff_52017-01-12 22:18 106K 
[   ]ndiff_5__t14_ndiff_52017-01-12 22:18 98K 
[   ]ndiff_5__t15_ndiff_52017-01-12 22:18 99K 
[   ]ndiff_5__t16_ndiff_52017-01-12 22:18 87K 
[   ]ndiff_5__t17_ndiff_52017-01-12 22:18 141K 
[   ]ndiff_5__t18_ndiff_52017-01-12 22:18 117K 
[   ]ndiff_5__t19_ndiff_52017-01-12 22:18 215K 
[   ]ndiff_5__t20_ndiff_52017-01-12 22:18 225K 
[   ]ndiff_5__t21_ndiff_52017-01-12 22:18 170K 
[   ]ndiff_5__t22_ndiff_52017-01-12 22:18 112K 
[   ]ndiff_5__t23_ndiff_52017-01-12 22:18 101K 
[   ]ndiff_5__t24_ndiff_52017-01-12 22:18 178K 
[   ]ndiff_5__t25_ndiff_52017-01-12 22:18 94K 
[   ]ndiff_5__t26_ndiff_52017-01-12 22:18 125K 
[   ]ndiff_5__t27_ndiff_52017-01-12 22:18 108K 
[   ]ndiff_5__t28_ndiff_52017-01-12 22:18 159K 
[   ]ndiff_5__t29_ndiff_52017-01-12 22:18 159K 
[   ]ndiff_5__t30_ndiff_52017-01-12 22:18 149K 
[   ]ndiff_5__t31_ndiff_52017-01-12 22:18 98K 
[   ]ndiff_5__t32_ndiff_52017-01-12 22:18 180K 
[   ]ndiff_5__t33_ndiff_52017-01-12 22:18 104K 
[   ]ndiff_5__t34_ndiff_52017-01-12 22:18 102K 
[   ]ndiff_5__t35_ndiff_52017-01-12 22:18 100K 
[   ]ndiff_5__t36_ndiff_52017-01-12 22:18 102K 
[   ]ndiff_5__t37_ndiff_52017-01-12 22:18 100K 
[   ]ndiff_5__t38_ndiff_52017-01-12 22:18 98K 
[   ]ndiff_5__t39_ndiff_52017-01-12 22:18 100K 
[   ]ndiff_5__t40_ndiff_52017-01-12 22:18 98K 
[   ]ndiff_5__t41_ndiff_52017-01-12 22:18 212K 
[   ]ndiff_5__t42_ndiff_52017-01-12 22:18 142K 
[   ]ndiff_5__t43_ndiff_52017-01-12 22:18 68K 
[   ]ndiff_5__t44_ndiff_52017-01-12 22:18 151K 
[   ]ndiff_5__t45_ndiff_52017-01-12 22:18 179K 
[   ]ndiff_5__t46_ndiff_52017-01-12 22:18 99K 
[   ]ndiff_5__t47_ndiff_52017-01-12 22:18 108K 
[   ]ndiff_5__t48_ndiff_52017-01-12 22:18 103K 
[   ]ndiff_5__t49_ndiff_52017-01-12 22:18 103K 
[   ]ndiff_5__t50_ndiff_52017-01-12 22:18 144K 
[   ]ndiff_5__t51_ndiff_52017-01-12 22:18 191K 
[   ]ndiff_5__t52_ndiff_52017-01-12 22:18 178K 
[   ]ndiff_5__t53_ndiff_52017-01-12 22:18 172K 
[   ]ndiff_5__t54_ndiff_52017-01-12 22:18 169K 
[   ]ndiff_5__t55_ndiff_52017-01-12 22:18 188K 
[   ]ndiff_5__t56_ndiff_52017-01-12 22:18 379K 
[   ]ndiff_5__t57_ndiff_52017-01-12 22:18 329K 

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