Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_isof_tls/trees_3

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]trees_3__l1_trees_32017-01-13 00:44 67K 
[ ]trees_3__l51_trees_32017-01-13 00:44 71K 
[ ]trees_3__l59_trees_32017-01-13 00:44 72K 
[ ]trees_3__t1_trees_32017-01-13 00:44 44K 
[ ]trees_3__t2_trees_32017-01-13 00:44 44K 
[ ]trees_3__t3_trees_32017-01-13 00:44 46K 
[ ]trees_3__t4_trees_32017-01-13 00:44 48K 
[ ]trees_3__t5_trees_32017-01-13 00:44 47K 
[ ]trees_3__t6_trees_32017-01-13 00:44 46K 
[ ]trees_3__t7_trees_32017-01-13 00:44 49K 
[ ]trees_3__t8_trees_32017-01-13 00:44 47K 
[ ]trees_3__t9_trees_32017-01-13 00:44 46K 
[ ]trees_3__t10_trees_32017-01-13 00:44 48K 
[ ]trees_3__t11_trees_32017-01-13 00:44 47K 
[ ]trees_3__t12_trees_32017-01-13 00:44 45K 
[ ]trees_3__t13_trees_32017-01-13 00:44 45K 
[ ]trees_3__t14_trees_32017-01-13 00:44 46K 
[ ]trees_3__t15_trees_32017-01-13 00:44 45K 
[ ]trees_3__t16_trees_32017-01-13 00:44 45K 
[ ]trees_3__t17_trees_32017-01-13 00:44 46K 
[ ]trees_3__t18_trees_32017-01-13 00:44 44K 
[ ]trees_3__t19_trees_32017-01-13 00:44 44K 
[ ]trees_3__t20_trees_32017-01-13 00:44 44K 
[ ]trees_3__t21_trees_32017-01-13 00:44 54K 
[ ]trees_3__t22_trees_32017-01-13 00:44 55K 
[ ]trees_3__t23_trees_32017-01-13 00:44 55K 
[ ]trees_3__t24_trees_32017-01-13 00:44 55K 
[ ]trees_3__t25_trees_32017-01-13 00:44 63K 
[ ]trees_3__t26_trees_32017-01-13 00:44 63K 
[ ]trees_3__t27_trees_32017-01-13 00:44 63K 
[ ]trees_3__t28_trees_32017-01-13 00:44 56K 
[ ]trees_3__t29_trees_32017-01-13 00:44 56K 
[ ]trees_3__t30_trees_32017-01-13 00:44 56K 
[ ]trees_3__t31_trees_32017-01-13 00:44 54K 
[ ]trees_3__t32_trees_32017-01-13 00:44 54K 
[ ]trees_3__t33_trees_32017-01-13 00:44 54K 
[ ]trees_3__t34_trees_32017-01-13 00:44 70K 
[ ]trees_3__t35_trees_32017-01-13 00:44 70K 
[ ]trees_3__t36_trees_32017-01-13 00:44 70K 
[ ]trees_3__t37_trees_32017-01-13 00:44 62K 
[ ]trees_3__t38_trees_32017-01-13 00:44 59K 
[ ]trees_3__t39_trees_32017-01-13 00:44 104K 
[ ]trees_3__t40_trees_32017-01-13 00:44 105K 
[ ]trees_3__t41_trees_32017-01-13 00:44 82K 
[ ]trees_3__t42_trees_32017-01-13 00:44 92K 
[ ]trees_3__t43_trees_32017-01-13 00:44 80K 
[ ]trees_3__t44_trees_32017-01-13 00:44 89K 
[ ]trees_3__t45_trees_32017-01-13 00:44 88K 
[ ]trees_3__t46_trees_32017-01-13 00:44 89K 
[ ]trees_3__t47_trees_32017-01-13 00:44 83K 
[ ]trees_3__t48_trees_32017-01-13 00:44 89K 
[ ]trees_3__t49_trees_32017-01-13 00:44 108K 
[ ]trees_3__t50_trees_32017-01-13 00:44 118K 
[ ]trees_3__t51_trees_32017-01-13 00:44 108K 
[ ]trees_3__t52_trees_32017-01-13 00:44 94K 
[ ]trees_3__t53_trees_32017-01-13 00:44 102K 
[ ]trees_3__t54_trees_32017-01-13 00:44 117K 
[ ]trees_3__t55_trees_32017-01-13 00:44 125K 
[ ]trees_3__t56_trees_32017-01-13 00:44 115K 
[ ]trees_3__t57_trees_32017-01-13 00:44 153K 
[ ]trees_3__t58_trees_32017-01-13 00:44 105K 
[ ]trees_3__t59_trees_32017-01-13 00:44 114K 
[ ]trees_3__t60_trees_32017-01-13 00:44 91K 
[ ]trees_3__t61_trees_32017-01-13 00:44 93K 
[ ]trees_3__t62_trees_32017-01-13 00:44 95K 
[ ]trees_3__t63_trees_32017-01-13 00:44 81K 
[ ]trees_3__t64_trees_32017-01-13 00:44 81K 
[ ]trees_3__t65_trees_32017-01-13 00:44 87K 
[ ]trees_3__t66_trees_32017-01-13 00:44 86K 
[ ]trees_3__t67_trees_32017-01-13 00:44 81K 
[ ]trees_3__t68_trees_32017-01-13 00:44 102K 
[ ]trees_3__t69_trees_32017-01-13 00:44 94K 
[ ]trees_3__t70_trees_32017-01-13 00:44 93K 
[ ]trees_3__t71_trees_32017-01-13 00:44 98K 
[ ]trees_3__t72_trees_32017-01-13 00:44 85K 
[ ]trees_3__t73_trees_32017-01-13 00:44 86K 
[ ]trees_3__t74_trees_32017-01-13 00:44 96K 
[ ]trees_3__t75_trees_32017-01-13 00:44 97K 
[ ]trees_3__t76_trees_32017-01-13 00:44 84K 
[ ]trees_3__t77_trees_32017-01-13 00:44 109K 
[ ]trees_3__t78_trees_32017-01-13 00:44 132K 
[ ]trees_3__t79_trees_32017-01-13 00:44 66K 
[ ]trees_3__t80_trees_32017-01-13 00:44 74K 
[ ]trees_3__t81_trees_32017-01-13 00:44 74K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80