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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]cat_1__t1_cat_12017-01-05 20:54 25K 
[ ]cat_1__t2_cat_12017-01-05 20:54 25K 
[ ]cat_1__t4_cat_12017-01-05 20:54 26K 
[ ]cat_1__t5_cat_12017-01-05 20:54 27K 
[ ]cat_1__t6_cat_12017-01-05 20:54 26K 
[ ]cat_1__t7_cat_12017-01-05 20:54 27K 
[ ]cat_1__t8_cat_12017-01-05 20:54 27K 
[ ]cat_1__t9_cat_12017-01-05 20:54 31K 
[ ]cat_1__t11_cat_12017-01-05 20:54 34K 
[ ]cat_1__t12_cat_12017-01-05 20:54 36K 
[ ]cat_1__t13_cat_12017-01-05 20:54 35K 
[ ]cat_1__t14_cat_12016-03-08 13:04 30K 
[ ]cat_1__t15_cat_12016-03-08 13:04 29K 
[ ]cat_1__t16_cat_12016-03-08 13:04 30K 
[ ]cat_1__t17_cat_12016-03-08 13:04 26K 
[ ]cat_1__t18_cat_12016-03-08 13:04 26K 
[ ]cat_1__t21_cat_12017-01-05 20:54 29K 
[ ]cat_1__t22_cat_12017-01-05 20:54 29K 
[ ]cat_1__t23_cat_12017-01-05 20:54 29K 
[ ]cat_1__t24_cat_12017-01-05 20:54 28K 
[ ]cat_1__t25_cat_12017-01-05 20:54 32K 
[ ]cat_1__t27_cat_12017-01-05 20:54 28K 
[ ]cat_1__t28_cat_12017-01-05 20:54 30K 
[ ]cat_1__t29_cat_12017-01-05 20:54 30K 
[ ]cat_1__t30_cat_12016-03-08 13:04 16K 
[ ]cat_1__t31_cat_12017-01-05 20:54 29K 
[ ]cat_1__t32_cat_12017-01-05 20:54 32K 
[ ]cat_1__t33_cat_12017-01-05 20:54 31K 
[ ]cat_1__t34_cat_12017-01-05 20:54 32K 
[ ]cat_1__t35_cat_12017-01-05 20:54 30K 
[ ]cat_1__t36_cat_12017-01-05 20:54 29K 
[ ]cat_1__t37_cat_12017-01-05 20:54 32K 
[ ]cat_1__t38_cat_12017-01-05 20:54 31K 
[ ]cat_1__t39_cat_12017-01-05 20:54 32K 
[ ]cat_1__t40_cat_12017-01-05 20:54 30K 
[ ]cat_1__t41_cat_12017-01-05 20:54 30K 
[ ]cat_1__t42_cat_12017-01-05 20:54 32K 
[ ]cat_1__t43_cat_12017-01-05 20:54 34K 
[ ]cat_1__t44_cat_12017-01-05 20:54 30K 
[ ]cat_1__t45_cat_12017-01-05 20:54 34K 
[ ]cat_1__t46_cat_12017-01-05 20:54 32K 
[ ]cat_1__t47_cat_12017-01-05 20:54 36K 
[ ]cat_1__t48_cat_12017-01-05 20:54 32K 
[ ]cat_1__t49_cat_12017-01-05 20:54 29K 
[ ]cat_1__t50_cat_12017-01-05 20:54 28K 
[ ]cat_1__t51_cat_12017-01-05 20:54 32K 
[ ]cat_1__t52_cat_12017-01-05 20:54 35K 
[ ]cat_1__t53_cat_12017-01-05 20:54 29K 
[ ]cat_1__t54_cat_12017-01-05 20:54 28K 
[ ]cat_1__t55_cat_12017-01-05 20:54 32K 
[ ]cat_1__t56_cat_12017-01-05 20:54 35K 
[ ]cat_1__t57_cat_12017-01-05 20:54 29K 
[ ]cat_1__t58_cat_12016-03-08 13:04 27K 
[ ]cat_1__t59_cat_12016-03-08 13:04 27K 
[ ]cat_1__t60_cat_12016-03-08 13:04 17K 
[ ]cat_1__t61_cat_12016-03-08 13:04 36K 
[ ]cat_1__t62_cat_12016-03-08 13:04 34K 
[ ]cat_1__t63_cat_12016-03-08 13:04 35K 
[ ]cat_1__t64_cat_12016-03-08 13:04 37K 
[ ]cat_1__t65_cat_12016-03-08 13:04 32K 
[ ]cat_1__t66_cat_12016-03-08 13:04 26K 
[ ]cat_1__t67_cat_12016-03-08 13:04 37K 
[ ]cat_1__t68_cat_12016-03-08 13:04 36K 
[ ]cat_1__t69_cat_12016-03-08 13:04 37K 
[ ]cat_1__t70_cat_12016-03-08 13:04 28K 
[ ]cat_1__t71_cat_12016-03-08 13:04 27K 
[ ]cat_1__t72_cat_12016-03-08 13:04 30K 
[ ]cat_1__t73_cat_12016-03-08 13:04 42K 
[ ]cat_1__t74_cat_12016-03-08 13:04 32K 
[ ]cat_1__t75_cat_12016-03-08 13:04 42K 
[ ]cat_1__t76_cat_12016-03-08 13:04 32K 
[ ]cat_1__t77_cat_12016-03-08 13:04 28K 
[ ]cat_1__t78_cat_12016-03-08 13:04 30K 
[ ]cat_1__t79_cat_12016-03-08 13:04 28K 
[ ]cat_1__t80_cat_12016-03-08 13:04 30K 
[ ]cat_1__t81_cat_12017-01-05 20:54 33K 
[ ]cat_1__t82_cat_12017-01-05 20:54 32K 
[ ]cat_1__t83_cat_12017-01-05 20:54 33K 
[ ]cat_1__t84_cat_12017-01-05 20:54 31K 
[ ]cat_1__t85_cat_12017-01-05 20:54 39K 
[ ]cat_1__t86_cat_12017-01-05 20:54 40K 
[ ]cat_1__t87_cat_12017-01-05 20:54 33K 
[ ]cat_1__t88_cat_12017-01-05 20:54 37K 
[ ]cat_1__t89_cat_12017-01-05 20:54 44K 
[ ]cat_1__t90_cat_12017-01-05 20:54 40K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80