Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_isof_tls/trees_9

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]trees_9__l1_trees_92017-01-13 00:33 96K 
[ ]trees_9__l2_trees_92017-01-13 00:33 77K 
[ ]trees_9__l3_trees_92017-01-13 00:33 72K 
[ ]trees_9__l4_trees_92017-01-13 00:33 77K 
[ ]trees_9__s1_trees_92017-01-13 00:32 112K 
[ ]trees_9__s2_trees_92017-01-13 00:32 164K 
[ ]trees_9__s3_trees_92017-01-13 00:32 110K 
[ ]trees_9__t1_trees_92017-01-13 00:32 84K 
[ ]trees_9__t2_trees_92017-01-13 00:32 77K 
[ ]trees_9__t3_trees_92017-01-13 00:32 86K 
[ ]trees_9__t4_trees_92017-01-13 00:32 87K 
[ ]trees_9__t5_trees_92017-01-13 00:32 87K 
[ ]trees_9__t6_trees_92017-01-13 00:32 87K 
[ ]trees_9__t7_trees_92017-01-13 00:32 95K 
[ ]trees_9__t8_trees_92017-01-13 00:32 132K 
[ ]trees_9__t9_trees_92017-01-13 00:32 70K 
[ ]trees_9__t10_trees_92017-01-13 00:32 73K 
[ ]trees_9__t11_trees_92017-01-13 00:32 73K 
[ ]trees_9__t12_trees_92017-01-13 00:32 92K 
[ ]trees_9__t13_trees_92017-01-13 00:32 91K 
[ ]trees_9__t14_trees_92017-01-13 00:32 78K 
[ ]trees_9__t15_trees_92017-01-13 00:32 79K 
[ ]trees_9__t16_trees_92017-01-13 00:32 79K 
[ ]trees_9__t17_trees_92017-01-13 00:32 77K 
[ ]trees_9__t18_trees_92017-01-13 00:32 97K 
[ ]trees_9__t19_trees_92017-01-13 00:32 72K 
[ ]trees_9__t20_trees_92017-01-13 00:32 73K 
[ ]trees_9__t21_trees_92017-01-13 00:32 72K 
[ ]trees_9__t22_trees_92017-01-13 00:32 76K 
[ ]trees_9__t23_trees_92017-01-13 00:32 75K 
[ ]trees_9__t24_trees_92017-01-13 00:32 76K 
[ ]trees_9__t25_trees_92017-01-13 00:32 97K 
[ ]trees_9__t26_trees_92017-01-13 00:32 81K 
[ ]trees_9__t27_trees_92017-01-13 00:32 80K 
[ ]trees_9__t28_trees_92017-01-13 00:32 84K 
[ ]trees_9__t29_trees_92017-01-13 00:32 107K 
[ ]trees_9__t30_trees_92017-01-13 00:33 137K 
[ ]trees_9__t31_trees_92017-01-13 00:33 133K 
[ ]trees_9__t32_trees_92017-01-13 00:33 67K 
[ ]trees_9__t33_trees_92017-01-13 00:33 147K 
[ ]trees_9__t34_trees_92017-01-13 00:33 112K 
[ ]trees_9__t35_trees_92017-01-13 00:33 89K 
[ ]trees_9__t36_trees_92017-01-13 00:33 75K 
[ ]trees_9__t37_trees_92017-01-13 00:33 79K 
[ ]trees_9__t38_trees_92017-01-13 00:33 77K 
[ ]trees_9__t39_trees_92017-01-13 00:33 108K 
[ ]trees_9__t40_trees_92017-01-13 00:33 115K 
[ ]trees_9__t41_trees_92017-01-13 00:33 102K 
[ ]trees_9__t42_trees_92017-01-13 00:33 114K 
[ ]trees_9__t43_trees_92017-01-13 00:33 89K 
[ ]trees_9__t44_trees_92017-01-13 00:33 72K 
[ ]trees_9__t45_trees_92017-01-13 00:33 149K 
[ ]trees_9__t46_trees_92017-01-13 00:33 103K 
[ ]trees_9__t47_trees_92017-01-13 00:33 132K 
[ ]trees_9__t48_trees_92017-01-13 00:33 91K 
[ ]trees_9__t49_trees_92017-01-13 00:33 54K 
[ ]trees_9__t50_trees_92017-01-13 00:33 75K 
[ ]trees_9__t51_trees_92017-01-13 00:33 126K 
[ ]trees_9__t52_trees_92017-01-13 00:33 97K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80