Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tl.bad_dt_f/zf_lang

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]zf_lang__t1_zf_lang2017-01-05 20:54 43K 
[ ]zf_lang__t2_zf_lang2017-01-05 20:54 42K 
[ ]zf_lang__t3_zf_lang2017-01-05 20:54 40K 
[ ]zf_lang__t4_zf_lang2017-01-05 20:54 39K 
[ ]zf_lang__t5_zf_lang2017-01-05 20:54 49K 
[ ]zf_lang__t6_zf_lang2017-01-05 20:54 48K 
[ ]zf_lang__t7_zf_lang2017-01-05 20:54 41K 
[ ]zf_lang__t8_zf_lang2017-01-05 20:54 43K 
[ ]zf_lang__t9_zf_lang2017-01-05 20:54 60K 
[ ]zf_lang__t10_zf_lang2016-03-08 13:11 19K 
[ ]zf_lang__t11_zf_lang2017-01-05 20:54 44K 
[ ]zf_lang__t12_zf_lang2017-01-05 20:54 97K 
[ ]zf_lang__t13_zf_lang2016-03-08 13:11 44K 
[ ]zf_lang__t14_zf_lang2016-03-08 13:11 28K 
[ ]zf_lang__t15_zf_lang2017-01-05 20:54 41K 
[ ]zf_lang__t16_zf_lang2016-03-08 13:11 29K 
[ ]zf_lang__t17_zf_lang2017-01-05 20:54 40K 
[ ]zf_lang__t18_zf_lang2017-01-05 20:54 43K 
[ ]zf_lang__t19_zf_lang2017-01-05 20:54 42K 
[ ]zf_lang__t20_zf_lang2016-03-08 13:11 28K 
[ ]zf_lang__t21_zf_lang2016-03-08 13:11 29K 
[ ]zf_lang__t22_zf_lang2017-01-05 20:54 40K 
[ ]zf_lang__t23_zf_lang2016-03-08 13:11 24K 
[ ]zf_lang__t24_zf_lang2016-03-08 13:11 23K 
[ ]zf_lang__t25_zf_lang2016-03-08 13:11 23K 
[ ]zf_lang__t26_zf_lang2016-03-08 13:11 23K 
[ ]zf_lang__t27_zf_lang2016-03-08 13:11 23K 
[ ]zf_lang__t28_zf_lang2016-03-08 13:11 23K 
[ ]zf_lang__t29_zf_lang2017-01-05 20:54 332K 
[ ]zf_lang__t30_zf_lang2016-03-08 13:11 33K 
[ ]zf_lang__t31_zf_lang2016-03-08 13:11 31K 
[ ]zf_lang__t32_zf_lang2016-03-08 13:11 31K 
[ ]zf_lang__t33_zf_lang2016-03-08 13:11 31K 
[ ]zf_lang__t34_zf_lang2017-01-05 20:54 41K 
[ ]zf_lang__t35_zf_lang2017-01-05 20:54 24K 
[ ]zf_lang__t36_zf_lang2017-01-05 20:54 44K 
[ ]zf_lang__t37_zf_lang2017-01-05 20:54 44K 
[ ]zf_lang__t38_zf_lang2016-03-08 13:11 32K 
[ ]zf_lang__t39_zf_lang2016-03-08 13:11 34K 
[ ]zf_lang__t40_zf_lang2016-03-08 13:11 31K 
[ ]zf_lang__t41_zf_lang2016-03-08 13:11 31K 
[ ]zf_lang__t42_zf_lang2017-01-05 20:54 42K 
[ ]zf_lang__t43_zf_lang2017-01-05 20:54 44K 
[ ]zf_lang__t44_zf_lang2017-01-05 20:54 41K 
[ ]zf_lang__t45_zf_lang2017-01-05 20:54 41K 
[ ]zf_lang__t46_zf_lang2016-03-08 13:11 32K 
[ ]zf_lang__t47_zf_lang2016-03-08 13:11 31K 
[ ]zf_lang__t48_zf_lang2016-03-08 13:11 32K 
[ ]zf_lang__t49_zf_lang2016-03-08 13:11 32K 
[ ]zf_lang__t50_zf_lang2017-01-05 20:54 47K 
[ ]zf_lang__t51_zf_lang2017-01-05 20:54 47K 
[ ]zf_lang__t52_zf_lang2017-01-05 20:54 45K 
[ ]zf_lang__t53_zf_lang2017-01-05 20:54 45K 
[ ]zf_lang__t54_zf_lang2017-01-05 20:54 45K 
[ ]zf_lang__t55_zf_lang2017-01-05 20:54 42K 
[ ]zf_lang__t56_zf_lang2016-03-08 13:11 28K 
[ ]zf_lang__t57_zf_lang2016-03-08 13:11 29K 
[ ]zf_lang__t58_zf_lang2017-01-05 20:54 40K 
[ ]zf_lang__t59_zf_lang2016-03-08 13:11 31K 
[ ]zf_lang__t60_zf_lang2017-01-05 20:54 96K 
[ ]zf_lang__t61_zf_lang2016-03-08 13:11 36K 
[ ]zf_lang__t62_zf_lang2016-03-08 13:11 51K 
[ ]zf_lang__t63_zf_lang2016-03-08 13:11 50K 
[ ]zf_lang__t64_zf_lang2016-03-08 13:11 231K 
[ ]zf_lang__t65_zf_lang2016-03-08 13:11 19K 
[ ]zf_lang__t66_zf_lang2016-03-08 13:11 22K 
[ ]zf_lang__t67_zf_lang2017-01-05 20:54 40K 
[ ]zf_lang__t68_zf_lang2017-01-05 20:54 39K 
[ ]zf_lang__t69_zf_lang2017-01-05 20:54 143K 
[ ]zf_lang__t70_zf_lang2017-01-05 20:54 143K 
[ ]zf_lang__t71_zf_lang2017-01-05 20:54 401K 
[ ]zf_lang__t72_zf_lang2017-01-05 20:54 42K 
[ ]zf_lang__t73_zf_lang2016-03-08 13:11 19K 
[ ]zf_lang__t74_zf_lang2016-03-08 13:11 20K 
[ ]zf_lang__t75_zf_lang2016-03-08 13:11 19K 
[ ]zf_lang__t76_zf_lang2017-01-05 20:54 40K 
[ ]zf_lang__t77_zf_lang2017-01-05 20:54 40K 
[ ]zf_lang__t78_zf_lang2016-03-08 13:11 19K 
[ ]zf_lang__t79_zf_lang2016-03-08 13:11 20K 
[ ]zf_lang__t80_zf_lang2017-01-05 20:54 41K 
[ ]zf_lang__t81_zf_lang2017-01-05 20:54 40K 
[ ]zf_lang__t82_zf_lang2016-03-08 13:11 32K 
[ ]zf_lang__t83_zf_lang2016-03-08 13:11 32K 
[ ]zf_lang__t84_zf_lang2017-01-05 20:54 43K 
[ ]zf_lang__t85_zf_lang2017-01-05 20:54 54K 
[ ]zf_lang__t86_zf_lang2016-03-08 13:11 30K 
[ ]zf_lang__t87_zf_lang2016-03-08 13:11 31K 
[ ]zf_lang__t88_zf_lang2017-01-05 20:54 41K 
[ ]zf_lang__t89_zf_lang2016-03-08 13:11 21K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80