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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ordinal3__l14_ordinal32016-03-08 13:08 9.3K 
[ ]ordinal3__t1_ordinal32016-03-08 13:08 6.8K 
[ ]ordinal3__t2_ordinal32016-03-08 13:08 7.0K 
[ ]ordinal3__t3_ordinal32016-03-08 13:08 7.8K 
[ ]ordinal3__t4_ordinal32016-03-08 13:08 5.4K 
[ ]ordinal3__t5_ordinal32016-03-08 13:08 4.6K 
[ ]ordinal3__t6_ordinal32016-03-08 13:08 5.5K 
[ ]ordinal3__t7_ordinal32016-03-08 13:08 7.1K 
[ ]ordinal3__t8_ordinal32016-03-08 13:08 6.4K 
[ ]ordinal3__t9_ordinal32016-03-08 13:08 5.3K 
[ ]ordinal3__t10_ordinal32016-03-08 13:08 4.9K 
[ ]ordinal3__t11_ordinal32016-03-08 13:08 2.5K 
[ ]ordinal3__t12_ordinal32016-03-08 13:08 3.3K 
[ ]ordinal3__t13_ordinal32016-03-08 13:08 3.3K 
[ ]ordinal3__t14_ordinal32016-03-08 13:08 11K 
[ ]ordinal3__t15_ordinal32016-03-08 13:08 9.4K 
[ ]ordinal3__t16_ordinal32016-03-08 13:08 8.5K 
[ ]ordinal3__t17_ordinal32016-03-08 13:08 7.3K 
[ ]ordinal3__t18_ordinal32016-03-08 13:08 3.7K 
[ ]ordinal3__t19_ordinal32016-03-08 13:08 7.1K 
[ ]ordinal3__t20_ordinal32016-03-08 13:08 3.7K 
[ ]ordinal3__t21_ordinal32016-03-08 13:08 5.0K 
[ ]ordinal3__t22_ordinal32016-03-08 13:08 6.8K 
[ ]ordinal3__t23_ordinal32016-03-08 13:08 7.6K 
[ ]ordinal3__t24_ordinal32016-03-08 13:08 7.1K 
[ ]ordinal3__t25_ordinal32016-03-08 13:08 6.4K 
[ ]ordinal3__t26_ordinal32016-03-08 13:08 6.5K 
[ ]ordinal3__t27_ordinal32016-03-08 13:08 15K 
[ ]ordinal3__t28_ordinal32016-03-08 13:08 6.8K 
[ ]ordinal3__t29_ordinal32016-03-08 13:08 15K 
[ ]ordinal3__t30_ordinal32016-03-08 13:08 15K 
[ ]ordinal3__t31_ordinal32016-03-08 13:08 7.1K 
[ ]ordinal3__t32_ordinal32016-03-08 13:08 12K 
[ ]ordinal3__t33_ordinal32016-03-08 13:08 4.9K 
[ ]ordinal3__t34_ordinal32016-03-08 13:08 6.6K 
[ ]ordinal3__t35_ordinal32016-03-08 13:08 7.4K 
[ ]ordinal3__t36_ordinal32016-03-08 13:08 12K 
[ ]ordinal3__t37_ordinal32016-03-08 13:08 13K 
[ ]ordinal3__t38_ordinal32016-03-08 13:08 7.2K 
[ ]ordinal3__t39_ordinal32016-03-08 13:08 11K 
[ ]ordinal3__t40_ordinal32016-03-08 13:08 17K 
[ ]ordinal3__t41_ordinal32016-03-08 13:08 14K 
[ ]ordinal3__t42_ordinal32016-03-08 13:08 11K 
[ ]ordinal3__t43_ordinal32016-03-08 13:08 8.1K 
[ ]ordinal3__t44_ordinal32016-03-08 13:08 8.2K 
[ ]ordinal3__t45_ordinal32016-03-08 13:08 8.0K 
[ ]ordinal3__t46_ordinal32016-03-08 13:08 17K 
[ ]ordinal3__t47_ordinal32016-03-08 13:08 16K 
[ ]ordinal3__t48_ordinal32016-03-08 13:08 8.8K 
[ ]ordinal3__t49_ordinal32016-03-08 13:08 17K 
[ ]ordinal3__t50_ordinal32016-03-08 13:08 18K 
[ ]ordinal3__t51_ordinal32016-03-08 13:08 6.9K 
[ ]ordinal3__t52_ordinal32016-03-08 13:08 7.0K 
[ ]ordinal3__t53_ordinal32016-03-08 13:08 7.5K 
[ ]ordinal3__t54_ordinal32016-03-08 13:08 6.8K 
[ ]ordinal3__t55_ordinal32016-03-08 13:08 6.4K 
[ ]ordinal3__t56_ordinal32016-03-08 13:08 7.1K 
[ ]ordinal3__t57_ordinal32016-03-08 13:08 7.9K 
[ ]ordinal3__t58_ordinal32016-03-08 13:08 8.0K 
[ ]ordinal3__t59_ordinal32016-03-08 13:08 7.4K 
[ ]ordinal3__t60_ordinal32016-03-08 13:08 7.6K 
[ ]ordinal3__t61_ordinal32016-03-08 13:08 7.2K 
[ ]ordinal3__t62_ordinal32016-03-08 13:08 6.9K 
[ ]ordinal3__t63_ordinal32016-03-08 13:08 8.5K 
[ ]ordinal3__t64_ordinal32016-03-08 13:08 7.6K 
[ ]ordinal3__t65_ordinal32016-03-08 13:08 8.0K 
[ ]ordinal3__t66_ordinal32016-03-08 13:08 6.6K 
[ ]ordinal3__t67_ordinal32016-03-08 13:08 9.5K 
[ ]ordinal3__t68_ordinal32016-03-08 13:08 5.8K 
[ ]ordinal3__t69_ordinal32016-03-08 13:08 5.9K 
[ ]ordinal3__t70_ordinal32016-03-08 13:08 7.0K 
[ ]ordinal3__t71_ordinal32016-03-08 13:08 9.9K 
[ ]ordinal3__t72_ordinal32016-03-08 13:08 9.3K 
[ ]ordinal3__t73_ordinal32016-03-08 13:08 14K 
[ ]ordinal3__t74_ordinal32016-03-08 13:08 7.3K 
[ ]ordinal3__t75_ordinal32016-03-08 13:08 7.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80