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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]limfunc4__l1_limfunc42016-03-08 13:07 20K 
[ ]limfunc4__l2_limfunc42016-03-08 13:07 36K 
[ ]limfunc4__t1_limfunc42016-03-08 13:07 42K 
[ ]limfunc4__t2_limfunc42016-03-08 13:07 41K 
[ ]limfunc4__t3_limfunc42016-03-08 13:07 34K 
[ ]limfunc4__t4_limfunc42016-03-08 13:07 35K 
[ ]limfunc4__t5_limfunc42016-03-08 13:07 36K 
[ ]limfunc4__t6_limfunc42016-03-08 13:07 35K 
[ ]limfunc4__t7_limfunc42016-03-08 13:07 35K 
[ ]limfunc4__t8_limfunc42016-03-08 13:07 36K 
[ ]limfunc4__t9_limfunc42016-03-08 13:07 35K 
[ ]limfunc4__t10_limfunc42016-03-08 13:07 34K 
[ ]limfunc4__t11_limfunc42016-03-08 13:07 43K 
[ ]limfunc4__t12_limfunc42016-03-08 13:07 45K 
[ ]limfunc4__t13_limfunc42016-03-08 13:07 45K 
[ ]limfunc4__t14_limfunc42016-03-08 13:07 43K 
[ ]limfunc4__t15_limfunc42016-03-08 13:07 43K 
[ ]limfunc4__t16_limfunc42016-03-08 13:07 45K 
[ ]limfunc4__t17_limfunc42016-03-08 13:07 45K 
[ ]limfunc4__t18_limfunc42016-03-08 13:07 43K 
[ ]limfunc4__t19_limfunc42017-01-05 20:54 65K 
[ ]limfunc4__t20_limfunc42017-01-05 20:54 65K 
[ ]limfunc4__t21_limfunc42017-01-05 20:54 67K 
[ ]limfunc4__t22_limfunc42017-01-05 20:54 67K 
[ ]limfunc4__t23_limfunc42017-01-05 20:54 63K 
[ ]limfunc4__t24_limfunc42017-01-05 20:54 63K 
[ ]limfunc4__t25_limfunc42017-01-05 20:54 65K 
[ ]limfunc4__t26_limfunc42017-01-05 20:54 65K 
[ ]limfunc4__t27_limfunc42017-01-05 20:54 60K 
[ ]limfunc4__t28_limfunc42017-01-05 20:54 60K 
[ ]limfunc4__t29_limfunc42017-01-05 20:54 59K 
[ ]limfunc4__t30_limfunc42017-01-05 20:54 59K 
[ ]limfunc4__t31_limfunc42017-01-05 20:54 59K 
[ ]limfunc4__t32_limfunc42017-01-05 20:54 59K 
[ ]limfunc4__t33_limfunc42017-01-05 20:54 60K 
[ ]limfunc4__t34_limfunc42017-01-05 20:54 60K 
[ ]limfunc4__t35_limfunc42016-03-08 13:07 42K 
[ ]limfunc4__t36_limfunc42016-03-08 13:07 44K 
[ ]limfunc4__t37_limfunc42016-03-08 13:07 44K 
[ ]limfunc4__t38_limfunc42016-03-08 13:07 42K 
[ ]limfunc4__t39_limfunc42017-01-05 20:54 74K 
[ ]limfunc4__t40_limfunc42017-01-05 20:54 74K 
[ ]limfunc4__t41_limfunc42017-01-05 20:54 76K 
[ ]limfunc4__t42_limfunc42017-01-05 20:54 76K 
[ ]limfunc4__t43_limfunc42017-01-05 20:54 70K 
[ ]limfunc4__t44_limfunc42017-01-05 20:54 70K 
[ ]limfunc4__t45_limfunc42017-01-05 20:54 65K 
[ ]limfunc4__t46_limfunc42017-01-05 20:54 65K 
[ ]limfunc4__t47_limfunc42017-01-05 20:54 65K 
[ ]limfunc4__t48_limfunc42017-01-05 20:54 65K 
[ ]limfunc4__t49_limfunc42017-01-05 20:54 76K 
[ ]limfunc4__t50_limfunc42017-01-05 20:54 76K 
[ ]limfunc4__t51_limfunc42017-01-05 20:54 71K 
[ ]limfunc4__t52_limfunc42017-01-05 20:54 71K 
[ ]limfunc4__t53_limfunc42016-03-08 13:07 38K 
[ ]limfunc4__t54_limfunc42016-03-08 13:07 39K 
[ ]limfunc4__t55_limfunc42016-03-08 13:07 39K 
[ ]limfunc4__t56_limfunc42016-03-08 13:07 38K 
[ ]limfunc4__t57_limfunc42016-03-08 13:07 47K 
[ ]limfunc4__t58_limfunc42016-03-08 13:07 47K 
[ ]limfunc4__t59_limfunc42016-03-08 13:07 47K 
[ ]limfunc4__t60_limfunc42016-03-08 13:07 47K 
[ ]limfunc4__t61_limfunc42017-01-05 20:54 65K 
[ ]limfunc4__t62_limfunc42017-01-05 20:54 63K 
[ ]limfunc4__t63_limfunc42017-01-05 20:54 68K 
[ ]limfunc4__t64_limfunc42017-01-05 20:54 66K 
[ ]limfunc4__t65_limfunc42017-01-05 20:54 61K 
[ ]limfunc4__t66_limfunc42017-01-05 20:54 60K 
[ ]limfunc4__t67_limfunc42017-01-05 20:54 60K 
[ ]limfunc4__t68_limfunc42017-01-05 20:54 61K 
[ ]limfunc4__t69_limfunc42016-03-08 13:07 46K 
[ ]limfunc4__t70_limfunc42016-03-08 13:07 46K 
[ ]limfunc4__t71_limfunc42017-01-05 20:54 65K 
[ ]limfunc4__t72_limfunc42017-01-05 20:54 65K 
[ ]limfunc4__t73_limfunc42017-01-05 20:54 77K 
[ ]limfunc4__t74_limfunc42017-01-05 20:54 72K 
[ ]limfunc4__t75_limfunc42017-01-05 20:54 77K 
[ ]limfunc4__t76_limfunc42017-01-05 20:54 70K 
[ ]limfunc4__t77_limfunc42017-01-05 20:54 75K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80