Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tls1/trees_3

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]trees_3__l1_trees_32017-01-13 19:22 42K 
[ ]trees_3__l51_trees_32017-01-13 19:22 44K 
[ ]trees_3__l59_trees_32017-01-13 19:22 46K 
[ ]trees_3__t1_trees_32017-01-13 19:21 28K 
[ ]trees_3__t2_trees_32017-01-13 19:21 28K 
[ ]trees_3__t3_trees_32017-01-13 19:21 29K 
[ ]trees_3__t4_trees_32017-01-13 19:21 31K 
[ ]trees_3__t5_trees_32017-01-13 19:21 30K 
[ ]trees_3__t6_trees_32017-01-13 19:21 29K 
[ ]trees_3__t7_trees_32017-01-13 19:21 31K 
[ ]trees_3__t8_trees_32017-01-13 19:21 30K 
[ ]trees_3__t9_trees_32017-01-13 19:21 29K 
[ ]trees_3__t10_trees_32017-01-13 19:21 31K 
[ ]trees_3__t11_trees_32017-01-13 19:21 30K 
[ ]trees_3__t12_trees_32017-01-13 19:21 28K 
[ ]trees_3__t13_trees_32017-01-13 19:21 28K 
[ ]trees_3__t14_trees_32017-01-13 19:21 29K 
[ ]trees_3__t15_trees_32017-01-13 19:21 29K 
[ ]trees_3__t16_trees_32017-01-13 19:21 29K 
[ ]trees_3__t17_trees_32017-01-13 19:21 29K 
[ ]trees_3__t18_trees_32017-01-13 19:21 27K 
[ ]trees_3__t19_trees_32017-01-13 19:21 27K 
[ ]trees_3__t20_trees_32017-01-13 19:21 27K 
[ ]trees_3__t21_trees_32017-01-13 19:21 34K 
[ ]trees_3__t22_trees_32017-01-13 19:21 34K 
[ ]trees_3__t23_trees_32017-01-13 19:21 34K 
[ ]trees_3__t24_trees_32017-01-13 19:21 34K 
[ ]trees_3__t25_trees_32017-01-13 19:21 39K 
[ ]trees_3__t26_trees_32017-01-13 19:21 39K 
[ ]trees_3__t27_trees_32017-01-13 19:21 39K 
[ ]trees_3__t28_trees_32017-01-13 19:21 35K 
[ ]trees_3__t29_trees_32017-01-13 19:21 35K 
[ ]trees_3__t30_trees_32017-01-13 19:21 35K 
[ ]trees_3__t31_trees_32017-01-13 19:21 34K 
[ ]trees_3__t32_trees_32017-01-13 19:21 34K 
[ ]trees_3__t33_trees_32017-01-13 19:21 34K 
[ ]trees_3__t34_trees_32017-01-13 19:21 44K 
[ ]trees_3__t35_trees_32017-01-13 19:21 44K 
[ ]trees_3__t36_trees_32017-01-13 19:21 44K 
[ ]trees_3__t37_trees_32017-01-13 19:21 39K 
[ ]trees_3__t38_trees_32017-01-13 19:21 37K 
[ ]trees_3__t39_trees_32017-01-13 19:21 66K 
[ ]trees_3__t40_trees_32017-01-13 19:21 67K 
[ ]trees_3__t41_trees_32017-01-13 19:21 52K 
[ ]trees_3__t42_trees_32017-01-13 19:21 58K 
[ ]trees_3__t43_trees_32017-01-13 19:21 49K 
[ ]trees_3__t44_trees_32017-01-13 19:21 55K 
[ ]trees_3__t45_trees_32017-01-13 19:21 54K 
[ ]trees_3__t46_trees_32017-01-13 19:21 55K 
[ ]trees_3__t47_trees_32017-01-13 19:21 51K 
[ ]trees_3__t48_trees_32017-01-13 19:21 55K 
[ ]trees_3__t49_trees_32017-01-13 19:21 68K 
[ ]trees_3__t50_trees_32017-01-13 19:21 84K 
[ ]trees_3__t51_trees_32017-01-13 19:21 69K 
[ ]trees_3__t52_trees_32017-01-13 19:21 59K 
[ ]trees_3__t53_trees_32017-01-13 19:21 64K 
[ ]trees_3__t54_trees_32017-01-13 19:21 74K 
[ ]trees_3__t55_trees_32017-01-13 19:22 81K 
[ ]trees_3__t56_trees_32017-01-13 19:22 75K 
[ ]trees_3__t57_trees_32017-01-13 19:22 108K 
[ ]trees_3__t58_trees_32017-01-13 19:22 67K 
[ ]trees_3__t59_trees_32017-01-13 19:22 74K 
[ ]trees_3__t60_trees_32017-01-13 19:22 57K 
[ ]trees_3__t61_trees_32017-01-13 19:22 58K 
[ ]trees_3__t62_trees_32017-01-13 19:22 60K 
[ ]trees_3__t63_trees_32017-01-13 19:22 50K 
[ ]trees_3__t64_trees_32017-01-13 19:22 50K 
[ ]trees_3__t65_trees_32017-01-13 19:22 55K 
[ ]trees_3__t66_trees_32017-01-13 19:22 53K 
[ ]trees_3__t67_trees_32017-01-13 19:22 51K 
[ ]trees_3__t68_trees_32017-01-13 19:22 65K 
[ ]trees_3__t69_trees_32017-01-13 19:22 59K 
[ ]trees_3__t70_trees_32017-01-13 19:22 58K 
[ ]trees_3__t71_trees_32017-01-13 19:22 62K 
[ ]trees_3__t72_trees_32017-01-13 19:22 53K 
[ ]trees_3__t73_trees_32017-01-13 19:22 53K 
[ ]trees_3__t74_trees_32017-01-13 19:22 62K 
[ ]trees_3__t75_trees_32017-01-13 19:22 61K 
[ ]trees_3__t76_trees_32017-01-13 19:22 53K 
[ ]trees_3__t77_trees_32017-01-13 19:22 70K 
[ ]trees_3__t78_trees_32017-01-13 19:22 92K 
[ ]trees_3__t79_trees_32017-01-13 19:22 41K 
[ ]trees_3__t80_trees_32017-01-13 19:22 46K 
[ ]trees_3__t81_trees_32017-01-13 19:22 47K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80