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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]tsep_1__l1_tsep_12016-03-08 13:10 4.4K 
[ ]tsep_1__l2_tsep_12016-03-08 13:10 10K 
[ ]tsep_1__l7_tsep_12016-03-08 13:10 14K 
[ ]tsep_1__l20_tsep_12016-03-08 13:10 14K 
[ ]tsep_1__t1_tsep_12016-03-08 13:10 7.4K 
[ ]tsep_1__t2_tsep_12016-03-08 13:10 7.5K 
[ ]tsep_1__t3_tsep_12016-03-08 13:10 5.1K 
[ ]tsep_1__t4_tsep_12016-03-08 13:10 13K 
[ ]tsep_1__t5_tsep_12016-03-08 13:10 5.7K 
[ ]tsep_1__t6_tsep_12016-03-08 13:10 17K 
[ ]tsep_1__t7_tsep_12016-03-08 13:10 13K 
[ ]tsep_1__t8_tsep_12016-03-08 13:10 8.7K 
[ ]tsep_1__t9_tsep_12016-03-08 13:10 8.7K 
[ ]tsep_1__t10_tsep_12016-03-08 13:10 13K 
[ ]tsep_1__t11_tsep_12016-03-08 13:10 3.1K 
[ ]tsep_1__t12_tsep_12016-03-08 13:10 4.0K 
[ ]tsep_1__t13_tsep_12016-03-08 13:10 8.2K 
[ ]tsep_1__t14_tsep_12016-03-08 13:10 18K 
[ ]tsep_1__t15_tsep_12016-03-08 13:10 17K 
[ ]tsep_1__t16_tsep_12016-03-08 13:10 3.3K 
[ ]tsep_1__t17_tsep_12016-03-08 13:10 4.2K 
[ ]tsep_1__t18_tsep_12016-03-08 13:10 8.1K 
[ ]tsep_1__t19_tsep_12016-03-08 13:10 18K 
[ ]tsep_1__t20_tsep_12016-03-08 13:10 17K 
[ ]tsep_1__t21_tsep_12016-03-08 13:10 20K 
[ ]tsep_1__t22_tsep_12016-03-08 13:10 19K 
[ ]tsep_1__t23_tsep_12016-03-08 13:10 20K 
[ ]tsep_1__t24_tsep_12016-03-08 13:10 21K 
[ ]tsep_1__t25_tsep_12016-03-08 13:10 21K 
[ ]tsep_1__t26_tsep_12016-03-08 13:10 21K 
[ ]tsep_1__t27_tsep_12016-03-08 13:10 19K 
[ ]tsep_1__t28_tsep_12016-03-08 13:10 20K 
[ ]tsep_1__t29_tsep_12016-03-08 13:10 21K 
[ ]tsep_1__t30_tsep_12016-03-08 13:10 21K 
[ ]tsep_1__t31_tsep_12016-03-08 13:10 19K 
[ ]tsep_1__t32_tsep_12016-03-08 13:10 26K 
[ ]tsep_1__t33_tsep_12016-03-08 13:10 25K 
[ ]tsep_1__t34_tsep_12016-03-08 13:10 4.7K 
[ ]tsep_1__t35_tsep_12016-03-08 13:10 7.9K 
[ ]tsep_1__t36_tsep_12016-03-08 13:10 6.3K 
[ ]tsep_1__t37_tsep_12016-03-08 13:10 5.5K 
[ ]tsep_1__t38_tsep_12016-03-08 13:10 18K 
[ ]tsep_1__t39_tsep_12016-03-08 13:10 4.4K 
[ ]tsep_1__t40_tsep_12016-03-08 13:10 4.4K 
[ ]tsep_1__t41_tsep_12016-03-08 13:10 5.2K 
[ ]tsep_1__t42_tsep_12016-03-08 13:10 5.1K 
[ ]tsep_1__t43_tsep_12016-03-08 13:10 15K 
[ ]tsep_1__t44_tsep_12016-03-08 13:10 6.4K 
[ ]tsep_1__t45_tsep_12016-03-08 13:10 15K 
[ ]tsep_1__t46_tsep_12016-03-08 13:10 4.4K 
[ ]tsep_1__t47_tsep_12016-03-08 13:10 13K 
[ ]tsep_1__t48_tsep_12016-03-08 13:10 12K 
[ ]tsep_1__t49_tsep_12016-03-08 13:10 7.1K 
[ ]tsep_1__t50_tsep_12016-03-08 13:10 16K 
[ ]tsep_1__t51_tsep_12016-03-08 13:10 14K 
[ ]tsep_1__t52_tsep_12016-03-08 13:10 8.6K 
[ ]tsep_1__t53_tsep_12016-03-08 13:10 8.2K 
[ ]tsep_1__t54_tsep_12016-03-08 13:10 27K 
[ ]tsep_1__t55_tsep_12016-03-08 13:10 25K 
[ ]tsep_1__t56_tsep_12016-03-08 13:10 20K 
[ ]tsep_1__t57_tsep_12016-03-08 13:10 20K 
[ ]tsep_1__t58_tsep_12016-03-08 13:10 32K 
[ ]tsep_1__t59_tsep_12016-03-08 13:10 25K 
[ ]tsep_1__t60_tsep_12016-03-08 13:10 20K 
[ ]tsep_1__t61_tsep_12016-03-08 13:10 20K 
[ ]tsep_1__t62_tsep_12016-03-08 13:10 23K 
[ ]tsep_1__t63_tsep_12016-03-08 13:10 15K 
[ ]tsep_1__t64_tsep_12016-03-08 13:10 16K 
[ ]tsep_1__t65_tsep_12016-03-08 13:10 25K 
[ ]tsep_1__t66_tsep_12016-03-08 13:10 23K 
[ ]tsep_1__t67_tsep_12016-03-08 13:10 16K 
[ ]tsep_1__t68_tsep_12016-03-08 13:10 25K 
[ ]tsep_1__t69_tsep_12016-03-08 13:10 23K 
[ ]tsep_1__t70_tsep_12016-03-08 13:10 23K 
[ ]tsep_1__t71_tsep_12016-03-08 13:10 15K 
[ ]tsep_1__t72_tsep_12016-03-08 13:10 18K 
[ ]tsep_1__t73_tsep_12016-03-08 13:10 23K 
[ ]tsep_1__t74_tsep_12016-03-08 13:10 21K 
[ ]tsep_1__t75_tsep_12016-03-08 13:10 29K 
[ ]tsep_1__t76_tsep_12016-03-08 13:10 21K 
[ ]tsep_1__t77_tsep_12016-03-08 13:10 29K 
[ ]tsep_1__t78_tsep_12016-03-08 13:10 16K 
[ ]tsep_1__t79_tsep_12016-03-08 13:10 14K 
[ ]tsep_1__t80_tsep_12016-03-08 13:10 15K 
[ ]tsep_1__t81_tsep_12016-03-08 13:10 15K 
[ ]tsep_1__t82_tsep_12016-03-08 13:10 22K 
[ ]tsep_1__t83_tsep_12016-03-08 13:10 23K 
[ ]tsep_1__t84_tsep_12016-03-08 13:10 22K 
[ ]tsep_1__t85_tsep_12016-03-08 13:10 22K 
[ ]tsep_1__t86_tsep_12016-03-08 13:10 40K 
[ ]tsep_1__t87_tsep_12016-03-08 13:10 33K 
[ ]tsep_1__t88_tsep_12016-03-08 13:10 26K 
[ ]tsep_1__t89_tsep_12016-03-08 13:10 40K 
[ ]tsep_1__t90_tsep_12016-03-08 13:10 33K 
[ ]tsep_1__t91_tsep_12016-03-08 13:10 26K 
[ ]tsep_1__t92_tsep_12016-03-08 13:10 31K 
[ ]tsep_1__t93_tsep_12016-03-08 13:10 5.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80