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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]enumset1__l1_enumset12016-03-08 13:05 1.7K 
[ ]enumset1__l13_enumset12016-03-08 13:05 2.4K 
[ ]enumset1__l17_enumset12016-03-08 13:05 2.9K 
[ ]enumset1__l22_enumset12016-03-08 13:05 2.5K 
[ ]enumset1__l28_enumset12016-03-08 13:05 3.1K 
[ ]enumset1__l35_enumset12016-03-08 13:05 2.8K 
[ ]enumset1__l80_enumset12016-03-08 13:05 1.6K 
[ ]enumset1__l86_enumset12016-03-08 13:05 1.6K 
[ ]enumset1__l93_enumset12016-03-08 13:05 3.4K 
[ ]enumset1__t1_enumset12016-03-08 13:05 2.1K 
[ ]enumset1__t2_enumset12016-03-08 13:05 2.6K 
[ ]enumset1__t3_enumset12016-03-08 13:05 1.9K 
[ ]enumset1__t4_enumset12016-03-08 13:05 2.3K 
[ ]enumset1__t5_enumset12016-03-08 13:05 1.5K 
[ ]enumset1__t6_enumset12016-03-08 13:05 2.3K 
[ ]enumset1__t7_enumset12016-03-08 13:05 2.6K 
[ ]enumset1__t8_enumset12016-03-08 13:05 2.4K 
[ ]enumset1__t9_enumset12016-03-08 13:05 1.7K 
[ ]enumset1__t10_enumset12016-03-08 13:05 2.5K 
[ ]enumset1__t11_enumset12016-03-08 13:05 2.7K 
[ ]enumset1__t12_enumset12016-03-08 13:05 2.6K 
[ ]enumset1__t13_enumset12016-03-08 13:05 1.5K 
[ ]enumset1__t14_enumset12016-03-08 13:05 2.6K 
[ ]enumset1__t15_enumset12016-03-08 13:05 2.7K 
[ ]enumset1__t16_enumset12016-03-08 13:05 2.7K 
[ ]enumset1__t17_enumset12016-03-08 13:05 2.8K 
[ ]enumset1__t18_enumset12016-03-08 13:05 2.5K 
[ ]enumset1__t19_enumset12016-03-08 13:05 1.7K 
[ ]enumset1__t20_enumset12016-03-08 13:05 2.9K 
[ ]enumset1__t21_enumset12016-03-08 13:05 2.9K 
[ ]enumset1__t22_enumset12016-03-08 13:05 2.8K 
[ ]enumset1__t23_enumset12016-03-08 13:05 2.8K 
[ ]enumset1__t24_enumset12016-03-08 13:05 2.7K 
[ ]enumset1__t25_enumset12016-03-08 13:05 1.6K 
[ ]enumset1__t26_enumset12016-03-08 13:05 2.7K 
[ ]enumset1__t27_enumset12016-03-08 13:05 2.8K 
[ ]enumset1__t28_enumset12016-03-08 13:05 2.8K 
[ ]enumset1__t29_enumset12016-03-08 13:05 1.4K 
[ ]enumset1__t30_enumset12016-03-08 13:05 1.8K 
[ ]enumset1__t31_enumset12016-03-08 13:05 2.0K 
[ ]enumset1__t32_enumset12016-03-08 13:05 2.2K 
[ ]enumset1__t33_enumset12016-03-08 13:05 2.3K 
[ ]enumset1__t34_enumset12016-03-08 13:05 2.4K 
[ ]enumset1__t35_enumset12016-03-08 13:05 2.5K 
[ ]enumset1__t36_enumset12016-03-08 13:05 1.1K 
[ ]enumset1__t37_enumset12016-03-08 13:05 1.2K 
[ ]enumset1__t38_enumset12016-03-08 13:05 1.2K 
[ ]enumset1__t39_enumset12016-03-08 13:05 1.3K 
[ ]enumset1__t40_enumset12016-03-08 13:05 1.4K 
[ ]enumset1__t41_enumset12016-03-08 13:05 1.5K 
[ ]enumset1__t42_enumset12016-03-08 13:05 1.1K 
[ ]enumset1__t43_enumset12016-03-08 13:05 1.2K 
[ ]enumset1__t44_enumset12016-03-08 13:05 1.2K 
[ ]enumset1__t45_enumset12016-03-08 13:05 1.3K 
[ ]enumset1__t46_enumset12016-03-08 13:05 1.4K 
[ ]enumset1__t47_enumset12016-03-08 13:05 1.1K 
[ ]enumset1__t48_enumset12016-03-08 13:05 1.3K 
[ ]enumset1__t49_enumset12016-03-08 13:05 1.2K 
[ ]enumset1__t50_enumset12016-03-08 13:05 1.3K 
[ ]enumset1__t51_enumset12016-03-08 13:05 1.2K 
[ ]enumset1__t52_enumset12016-03-08 13:05 1.3K 
[ ]enumset1__t53_enumset12016-03-08 13:05 1.2K 
[ ]enumset1__t54_enumset12016-03-08 13:05 1.2K 
[ ]enumset1__t55_enumset12016-03-08 13:05 1.3K 
[ ]enumset1__t56_enumset12016-03-08 13:05 1.2K 
[ ]enumset1__t57_enumset12016-03-08 13:05 1.5K 
[ ]enumset1__t58_enumset12016-03-08 13:05 1.5K 
[ ]enumset1__t59_enumset12016-03-08 13:05 1.7K 
[ ]enumset1__t60_enumset12016-03-08 13:05 887  
[ ]enumset1__t61_enumset12016-03-08 13:05 1.6K 
[ ]enumset1__t62_enumset12016-03-08 13:05 1.6K 
[ ]enumset1__t63_enumset12016-03-08 13:05 1.6K 
[ ]enumset1__t64_enumset12016-03-08 13:05 1.6K 
[ ]enumset1__t65_enumset12016-03-08 13:05 1.6K 
[ ]enumset1__t66_enumset12016-03-08 13:05 1.0K 
[ ]enumset1__t67_enumset12016-03-08 13:05 766  
[ ]enumset1__t68_enumset12016-03-08 13:05 1.0K 
[ ]enumset1__t69_enumset12016-03-08 13:05 1.0K 
[ ]enumset1__t70_enumset12016-03-08 13:05 1.0K 
[ ]enumset1__t71_enumset12016-03-08 13:05 766  
[ ]enumset1__t72_enumset12016-03-08 13:05 1.0K 
[ ]enumset1__t73_enumset12016-03-08 13:05 1.0K 
[ ]enumset1__t74_enumset12016-03-08 13:05 1.0K 
[ ]enumset1__t75_enumset12016-03-08 13:05 1.0K 
[ ]enumset1__t76_enumset12016-03-08 13:05 1.0K 
[ ]enumset1__t77_enumset12016-03-08 13:05 3.0K 
[ ]enumset1__t78_enumset12016-03-08 13:05 3.0K 
[ ]enumset1__t79_enumset12016-03-08 13:05 3.0K 
[ ]enumset1__t80_enumset12016-03-08 13:05 1.8K 
[ ]enumset1__t81_enumset12016-03-08 13:05 2.7K 
[ ]enumset1__t82_enumset12016-03-08 13:05 3.1K 
[ ]enumset1__t83_enumset12016-03-08 13:05 3.2K 
[ ]enumset1__t84_enumset12016-03-08 13:05 2.9K 
[ ]enumset1__t85_enumset12016-03-08 13:05 3.5K 
[ ]enumset1__t86_enumset12016-03-08 13:05 2.7K 
[ ]enumset1__t87_enumset12016-03-08 13:05 2.0K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80