Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tl.bad_dt_f/ndiff_5

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ndiff_5__l10_ndiff_52017-01-05 20:54 66K 
[ ]ndiff_5__l19_ndiff_52016-03-08 13:08 79K 
[ ]ndiff_5__l21_ndiff_52016-03-08 13:08 92K 
[ ]ndiff_5__l24_ndiff_52017-01-05 20:54 673K 
[ ]ndiff_5__l55_ndiff_52017-01-05 20:54 222K 
[ ]ndiff_5__t1_ndiff_52016-03-08 13:08 142K 
[ ]ndiff_5__t2_ndiff_52016-03-08 13:08 100K 
[ ]ndiff_5__t3_ndiff_52016-03-08 13:08 229K 
[ ]ndiff_5__t4_ndiff_52016-03-08 13:08 261K 
[ ]ndiff_5__t5_ndiff_52016-03-08 13:08 105K 
[ ]ndiff_5__t6_ndiff_52016-03-08 13:08 215K 
[ ]ndiff_5__t7_ndiff_52017-01-05 20:54 178K 
[ ]ndiff_5__t8_ndiff_52017-01-05 20:54 89K 
[ ]ndiff_5__t9_ndiff_52017-01-05 20:54 61K 
[ ]ndiff_5__t10_ndiff_52016-03-08 13:08 85K 
[ ]ndiff_5__t11_ndiff_52016-03-08 13:08 105K 
[ ]ndiff_5__t12_ndiff_52017-01-05 20:54 112K 
[ ]ndiff_5__t13_ndiff_52016-03-08 13:08 106K 
[ ]ndiff_5__t14_ndiff_52016-03-08 13:08 98K 
[ ]ndiff_5__t15_ndiff_52016-03-08 13:08 99K 
[ ]ndiff_5__t16_ndiff_52017-01-05 20:54 87K 
[ ]ndiff_5__t17_ndiff_52016-03-08 13:08 141K 
[ ]ndiff_5__t18_ndiff_52016-03-08 13:08 117K 
[ ]ndiff_5__t19_ndiff_52017-01-05 20:54 215K 
[ ]ndiff_5__t20_ndiff_52017-01-05 20:54 225K 
[ ]ndiff_5__t21_ndiff_52017-01-05 20:54 170K 
[ ]ndiff_5__t22_ndiff_52016-03-08 13:08 112K 
[ ]ndiff_5__t23_ndiff_52017-01-05 20:54 101K 
[ ]ndiff_5__t24_ndiff_52016-03-08 13:08 178K 
[ ]ndiff_5__t25_ndiff_52016-03-08 13:08 94K 
[ ]ndiff_5__t26_ndiff_52016-03-08 13:08 125K 
[ ]ndiff_5__t27_ndiff_52016-03-08 13:08 108K 
[ ]ndiff_5__t28_ndiff_52016-03-08 13:08 159K 
[ ]ndiff_5__t29_ndiff_52016-03-08 13:08 159K 
[ ]ndiff_5__t30_ndiff_52016-03-08 13:08 149K 
[ ]ndiff_5__t31_ndiff_52016-03-08 13:08 98K 
[ ]ndiff_5__t32_ndiff_52016-03-08 13:08 180K 
[ ]ndiff_5__t33_ndiff_52016-03-08 13:08 104K 
[ ]ndiff_5__t34_ndiff_52016-03-08 13:08 102K 
[ ]ndiff_5__t35_ndiff_52016-03-08 13:08 100K 
[ ]ndiff_5__t36_ndiff_52016-03-08 13:08 102K 
[ ]ndiff_5__t37_ndiff_52016-03-08 13:08 100K 
[ ]ndiff_5__t38_ndiff_52016-03-08 13:08 98K 
[ ]ndiff_5__t39_ndiff_52016-03-08 13:08 100K 
[ ]ndiff_5__t40_ndiff_52016-03-08 13:08 98K 
[ ]ndiff_5__t41_ndiff_52017-01-05 20:54 212K 
[ ]ndiff_5__t42_ndiff_52017-01-05 20:54 142K 
[ ]ndiff_5__t43_ndiff_52016-03-08 13:08 68K 
[ ]ndiff_5__t44_ndiff_52017-01-05 20:54 151K 
[ ]ndiff_5__t45_ndiff_52017-01-05 20:54 178K 
[ ]ndiff_5__t46_ndiff_52016-03-08 13:08 99K 
[ ]ndiff_5__t47_ndiff_52017-01-05 20:54 108K 
[ ]ndiff_5__t48_ndiff_52017-01-05 20:54 103K 
[ ]ndiff_5__t49_ndiff_52016-03-08 13:08 103K 
[ ]ndiff_5__t50_ndiff_52016-03-08 13:08 144K 
[ ]ndiff_5__t51_ndiff_52017-01-05 20:54 191K 
[ ]ndiff_5__t52_ndiff_52017-01-05 20:54 178K 
[ ]ndiff_5__t53_ndiff_52017-01-05 20:54 172K 
[ ]ndiff_5__t54_ndiff_52017-01-05 20:54 169K 
[ ]ndiff_5__t55_ndiff_52017-01-05 20:54 188K 
[ ]ndiff_5__t56_ndiff_52017-01-05 20:54 379K 
[ ]ndiff_5__t57_ndiff_52017-01-05 20:54 329K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80