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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]mmlquery__t1_mmlquery2016-03-08 13:07 20K 
[ ]mmlquery__t2_mmlquery2016-03-08 13:07 23K 
[ ]mmlquery__t3_mmlquery2017-01-05 20:54 23K 
[ ]mmlquery__t4_mmlquery2017-01-05 20:54 23K 
[ ]mmlquery__t5_mmlquery2017-01-05 20:54 25K 
[ ]mmlquery__t6_mmlquery2017-01-05 20:54 26K 
[ ]mmlquery__t7_mmlquery2017-01-05 20:54 29K 
[ ]mmlquery__t8_mmlquery2017-01-05 20:54 25K 
[ ]mmlquery__t9_mmlquery2017-01-05 20:54 26K 
[ ]mmlquery__t10_mmlquery2017-01-05 20:54 25K 
[ ]mmlquery__t11_mmlquery2017-01-05 20:54 34K 
[ ]mmlquery__t12_mmlquery2017-01-05 20:54 34K 
[ ]mmlquery__t13_mmlquery2017-01-05 20:54 26K 
[ ]mmlquery__t14_mmlquery2017-01-05 20:54 26K 
[ ]mmlquery__t15_mmlquery2017-01-05 20:54 26K 
[ ]mmlquery__t16_mmlquery2017-01-05 20:54 26K 
[ ]mmlquery__t17_mmlquery2017-01-05 20:54 26K 
[ ]mmlquery__t18_mmlquery2017-01-05 20:54 26K 
[ ]mmlquery__t19_mmlquery2017-01-05 20:54 26K 
[ ]mmlquery__t20_mmlquery2017-01-05 20:54 26K 
[ ]mmlquery__t21_mmlquery2017-01-05 20:54 25K 
[ ]mmlquery__t22_mmlquery2017-01-05 20:54 24K 
[ ]mmlquery__t23_mmlquery2017-01-05 20:54 24K 
[ ]mmlquery__t24_mmlquery2017-01-05 20:54 29K 
[ ]mmlquery__t25_mmlquery2017-01-05 20:54 24K 
[ ]mmlquery__t26_mmlquery2017-01-05 20:54 24K 
[ ]mmlquery__t27_mmlquery2017-01-05 20:54 28K 
[ ]mmlquery__t28_mmlquery2017-01-05 20:54 23K 
[ ]mmlquery__t29_mmlquery2016-03-08 13:07 24K 
[ ]mmlquery__t30_mmlquery2017-01-05 20:54 25K 
[ ]mmlquery__t31_mmlquery2016-03-08 13:07 26K 
[ ]mmlquery__t32_mmlquery2016-03-08 13:07 26K 
[ ]mmlquery__t33_mmlquery2016-03-08 13:07 24K 
[ ]mmlquery__t34_mmlquery2017-01-05 20:54 24K 
[ ]mmlquery__t35_mmlquery2017-01-05 20:54 26K 
[ ]mmlquery__t36_mmlquery2017-01-05 20:54 28K 
[ ]mmlquery__t37_mmlquery2016-03-08 13:07 25K 
[ ]mmlquery__t38_mmlquery2016-03-08 13:07 26K 
[ ]mmlquery__t39_mmlquery2017-01-05 20:54 25K 
[ ]mmlquery__t40_mmlquery2017-01-05 20:54 28K 
[ ]mmlquery__t41_mmlquery2016-03-08 13:07 24K 
[ ]mmlquery__t42_mmlquery2016-03-08 13:07 31K 
[ ]mmlquery__t43_mmlquery2016-03-08 13:07 32K 
[ ]mmlquery__t44_mmlquery2017-01-05 20:54 36K 
[ ]mmlquery__t45_mmlquery2016-03-08 13:07 24K 
[ ]mmlquery__t46_mmlquery2016-03-08 13:07 24K 
[ ]mmlquery__t47_mmlquery2017-01-05 20:54 28K 
[ ]mmlquery__t48_mmlquery2016-03-08 13:07 29K 
[ ]mmlquery__t49_mmlquery2016-03-08 13:07 36K 
[ ]mmlquery__t50_mmlquery2016-03-08 13:07 30K 
[ ]mmlquery__t51_mmlquery2016-03-08 13:07 26K 
[ ]mmlquery__t52_mmlquery2016-03-08 13:07 32K 
[ ]mmlquery__t53_mmlquery2016-03-08 13:07 28K 
[ ]mmlquery__t54_mmlquery2017-01-05 20:54 28K 
[ ]mmlquery__t55_mmlquery2017-01-05 20:54 28K 
[ ]mmlquery__t56_mmlquery2017-01-05 20:54 25K 
[ ]mmlquery__t57_mmlquery2017-01-05 20:54 26K 
[ ]mmlquery__t58_mmlquery2017-01-05 20:54 33K 
[ ]mmlquery__t59_mmlquery2017-01-05 20:54 31K 
[ ]mmlquery__t60_mmlquery2017-01-05 20:54 31K 
[ ]mmlquery__t61_mmlquery2017-01-05 20:54 32K 
[ ]mmlquery__t62_mmlquery2017-01-05 20:54 34K 
[ ]mmlquery__t63_mmlquery2017-01-05 20:54 38K 
[ ]mmlquery__t64_mmlquery2016-03-08 13:07 35K 
[ ]mmlquery__t65_mmlquery2016-03-08 13:07 36K 
[ ]mmlquery__t66_mmlquery2016-03-08 13:07 27K 
[ ]mmlquery__t67_mmlquery2017-01-05 20:54 37K 
[ ]mmlquery__t68_mmlquery2017-01-05 20:54 37K 
[ ]mmlquery__t69_mmlquery2017-01-05 20:54 37K 
[ ]mmlquery__t70_mmlquery2017-01-05 20:54 35K 
[ ]mmlquery__t71_mmlquery2017-01-05 20:54 36K 
[ ]mmlquery__t72_mmlquery2017-01-05 20:54 36K 
[ ]mmlquery__t73_mmlquery2016-03-08 13:07 28K 
[ ]mmlquery__t74_mmlquery2016-03-08 13:07 28K 
[ ]mmlquery__t75_mmlquery2016-03-08 13:07 29K 
[ ]mmlquery__t76_mmlquery2017-01-05 20:54 36K 
[ ]mmlquery__t77_mmlquery2017-01-05 20:54 41K 
[ ]mmlquery__t78_mmlquery2017-01-05 20:54 36K 
[ ]mmlquery__t79_mmlquery2017-01-05 20:54 38K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80