Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/trees_1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]trees_1__t1_trees_12024-07-28 08:18 31K 
[ ]trees_1__t1_trees_1.vout2024-08-03 08:54 7.3K 
[ ]trees_1__t3_trees_12024-07-28 08:19 27K 
[ ]trees_1__t3_trees_1.depv12024-08-03 10:19 187  
[ ]trees_1__t3_trees_1.depvmin12024-08-03 10:24 187  
[ ]trees_1__t3_trees_1.vmin12024-08-03 10:19 1.3K 
[ ]trees_1__t3_trees_1.vmin1out2024-08-03 10:22 15K 
[ ]trees_1__t3_trees_1.vout2024-08-03 05:31 12K 
[ ]trees_1__t4_trees_12024-07-28 08:10 25K 
[ ]trees_1__t4_trees_1.depv12024-08-03 10:19 35  
[ ]trees_1__t4_trees_1.depvmin12024-08-03 10:24 35  
[ ]trees_1__t4_trees_1.vmin12024-08-03 10:19 426  
[ ]trees_1__t4_trees_1.vmin1out2024-08-03 10:22 8.3K 
[ ]trees_1__t4_trees_1.vout2024-08-03 08:44 8.2K 
[ ]trees_1__t5_trees_12024-07-28 08:20 21K 
[ ]trees_1__t5_trees_1.depv12024-08-03 10:19 187  
[ ]trees_1__t5_trees_1.depvmin12024-08-03 10:24 187  
[ ]trees_1__t5_trees_1.vmin12024-08-03 10:19 1.2K 
[ ]trees_1__t5_trees_1.vmin1out2024-08-03 10:21 14K 
[ ]trees_1__t5_trees_1.vout2024-08-03 04:35 12K 
[ ]trees_1__t6_trees_12024-07-28 08:21 27K 
[ ]trees_1__t6_trees_1.depv12024-08-03 10:19 129  
[ ]trees_1__t6_trees_1.depvmin12024-08-03 10:24 107  
[ ]trees_1__t6_trees_1.vmin12024-08-03 10:19 1.2K 
[ ]trees_1__t6_trees_1.vmin1out2024-08-03 10:23 9.3K 
[ ]trees_1__t6_trees_1.vout2024-08-03 09:43 15K 
[ ]trees_1__t7_trees_12024-07-28 08:22 50K 
[ ]trees_1__t7_trees_1.vout2024-08-03 06:57 7.3K 
[ ]trees_1__t8_trees_12024-07-28 08:23 50K 
[ ]trees_1__t8_trees_1.vout2024-08-03 09:08 7.3K 
[ ]trees_1__t9_trees_12024-07-28 08:25 40K 
[ ]trees_1__t9_trees_1.vout2024-08-03 09:26 7.3K 
[ ]trees_1__t10_trees_12024-07-28 08:26 34K 
[ ]trees_1__t10_trees_1.vout2024-08-03 06:08 7.4K 
[ ]trees_1__t11_trees_12024-07-28 08:27 18K 
[ ]trees_1__t11_trees_1.depv12024-08-03 10:19 92  
[ ]trees_1__t11_trees_1.depvmin12024-08-03 10:24 46  
[ ]trees_1__t11_trees_1.vmin12024-08-03 10:19 1.0K 
[ ]trees_1__t11_trees_1.vmin1out2024-08-03 10:20 10K 
[ ]trees_1__t11_trees_1.vout2024-08-03 08:07 18K 
[ ]trees_1__t12_trees_12024-07-28 08:28 18K 
[ ]trees_1__t12_trees_1.depv12024-08-03 10:19 46  
[ ]trees_1__t12_trees_1.depvmin12024-08-03 10:24 46  
[ ]trees_1__t12_trees_1.vmin12024-08-03 10:19 597  
[ ]trees_1__t12_trees_1.vmin1out2024-08-03 10:20 13K 
[ ]trees_1__t12_trees_1.vout2024-08-03 07:06 14K 
[ ]trees_1__t13_trees_12024-07-28 08:11 21K 
[ ]trees_1__t13_trees_1.depv12024-08-03 10:19 96  
[ ]trees_1__t13_trees_1.depvmin12024-08-03 10:24 96  
[ ]trees_1__t13_trees_1.vmin12024-08-03 10:19 1.0K 
[ ]trees_1__t13_trees_1.vmin1out2024-08-03 10:22 12K 
[ ]trees_1__t13_trees_1.vout2024-08-03 06:04 16K 
[ ]trees_1__t14_trees_12024-07-28 08:29 28K 
[ ]trees_1__t14_trees_1.depv12024-08-03 10:19 63  
[ ]trees_1__t14_trees_1.depvmin12024-08-03 10:24 63  
[ ]trees_1__t14_trees_1.vmin12024-08-03 10:19 1.2K 
[ ]trees_1__t14_trees_1.vmin1out2024-08-03 10:20 26K 
[ ]trees_1__t14_trees_1.vout2024-08-03 04:19 27K 
[ ]trees_1__t15_trees_12024-07-28 08:30 18K 
[ ]trees_1__t15_trees_1.depv12024-08-03 10:19 135  
[ ]trees_1__t15_trees_1.depvmin12024-08-03 10:24 135  
[ ]trees_1__t15_trees_1.vmin12024-08-03 10:19 1.1K 
[ ]trees_1__t15_trees_1.vmin1out2024-08-03 10:20 9.6K 
[ ]trees_1__t15_trees_1.vout2024-08-03 06:20 13K 
[ ]trees_1__t16_trees_12024-07-28 08:31 32K 
[ ]trees_1__t16_trees_1.vout2024-08-03 04:16 8.4K 
[ ]trees_1__t17_trees_12024-07-28 08:32 24K 
[ ]trees_1__t17_trees_1.depv12024-08-03 10:19 82  
[ ]trees_1__t17_trees_1.depvmin12024-08-03 10:24 82  
[ ]trees_1__t17_trees_1.vmin12024-08-03 10:19 1.0K 
[ ]trees_1__t17_trees_1.vmin1out2024-08-03 10:23 14K 
[ ]trees_1__t17_trees_1.vout2024-08-03 09:50 21K 
[ ]trees_1__t18_trees_12024-07-28 08:33 26K 
[ ]trees_1__t18_trees_1.vout2024-08-03 05:45 7.3K 
[ ]trees_1__t19_trees_12024-07-28 08:34 35K 
[ ]trees_1__t19_trees_1.depv12024-08-03 10:19 128  
[ ]trees_1__t19_trees_1.depvmin12024-08-03 10:24 128  
[ ]trees_1__t19_trees_1.vmin12024-08-03 10:19 1.3K 
[ ]trees_1__t19_trees_1.vmin1out2024-08-03 10:22 14K 
[ ]trees_1__t19_trees_1.vout2024-08-03 05:33 13K 
[ ]trees_1__t20_trees_12024-07-28 08:35 36K 
[ ]trees_1__t20_trees_1.depv12024-08-03 10:19 125  
[ ]trees_1__t20_trees_1.depvmin12024-08-03 10:24 125  
[ ]trees_1__t20_trees_1.vmin12024-08-03 10:19 1.8K 
[ ]trees_1__t20_trees_1.vmin1out2024-08-03 10:21 25K 
[ ]trees_1__t20_trees_1.vout2024-08-03 05:57 26K 
[ ]trees_1__t21_trees_12024-07-28 08:37 47K 
[ ]trees_1__t21_trees_1.vout2024-08-03 06:29 7.3K 
[ ]trees_1__t22_trees_12024-07-28 08:38 27K 
[ ]trees_1__t22_trees_1.depv12024-08-03 10:19 184  
[ ]trees_1__t22_trees_1.depvmin12024-08-03 10:24 171  
[ ]trees_1__t22_trees_1.vmin12024-08-03 10:19 1.6K 
[ ]trees_1__t22_trees_1.vmin1out2024-08-03 10:20 17K 
[ ]trees_1__t22_trees_1.vout2024-08-03 06:57 18K 
[ ]trees_1__t23_trees_12024-07-28 08:12 15K 
[ ]trees_1__t23_trees_1.depv12024-08-03 10:19 37  
[ ]trees_1__t23_trees_1.depvmin12024-08-03 10:24 37  
[ ]trees_1__t23_trees_1.vmin12024-08-03 10:19 246  
[ ]trees_1__t23_trees_1.vmin1out2024-08-03 10:23 2.5K 
[ ]trees_1__t23_trees_1.vout2024-08-03 07:55 1.8K 
[ ]trees_1__t24_trees_12024-07-28 08:13 16K 
[ ]trees_1__t24_trees_1.depv12024-08-03 10:19 37  
[ ]trees_1__t24_trees_1.depvmin12024-08-03 10:24 37  
[ ]trees_1__t24_trees_1.vmin12024-08-03 10:19 497  
[ ]trees_1__t24_trees_1.vmin1out2024-08-03 10:20 5.5K 
[ ]trees_1__t24_trees_1.vout2024-08-03 07:20 4.9K 
[ ]trees_1__t25_trees_12024-07-28 08:14 16K 
[ ]trees_1__t25_trees_1.depv12024-08-03 10:19 24  
[ ]trees_1__t25_trees_1.depvmin12024-08-03 10:24 24  
[ ]trees_1__t25_trees_1.vmin12024-08-03 10:19 433  
[ ]trees_1__t25_trees_1.vmin1out2024-08-03 10:22 5.8K 
[ ]trees_1__t25_trees_1.vout2024-08-03 05:42 4.8K 
[ ]trees_1__t26_trees_12024-07-28 08:15 16K 
[ ]trees_1__t26_trees_1.depv12024-08-03 10:19 50  
[ ]trees_1__t26_trees_1.depvmin12024-08-03 10:24 50  
[ ]trees_1__t26_trees_1.vmin12024-08-03 10:19 692  
[ ]trees_1__t26_trees_1.vmin1out2024-08-03 10:22 7.5K 
[ ]trees_1__t26_trees_1.vout2024-08-03 08:40 6.9K 
[ ]trees_1__t27_trees_12024-07-28 08:16 16K 
[ ]trees_1__t27_trees_1.depv12024-08-03 10:19 38  
[ ]trees_1__t27_trees_1.depvmin12024-08-03 10:24 38  
[ ]trees_1__t27_trees_1.vmin12024-08-03 10:19 587  
[ ]trees_1__t27_trees_1.vmin1out2024-08-03 10:21 7.3K 
[ ]trees_1__t27_trees_1.vout2024-08-03 07:11 6.1K 
[ ]trees_1__t28_trees_12024-07-28 08:39 21K 
[ ]trees_1__t28_trees_1.depv12024-08-03 10:19 106  
[ ]trees_1__t28_trees_1.depvmin12024-08-03 10:24 106  
[ ]trees_1__t28_trees_1.vmin12024-08-03 10:19 828  
[ ]trees_1__t28_trees_1.vmin1out2024-08-03 10:22 12K 
[ ]trees_1__t28_trees_1.vout2024-08-03 09:37 12K 
[ ]trees_1__t29_trees_12024-07-28 08:40 21K 
[ ]trees_1__t29_trees_1.depv12024-08-03 10:19 354  
[ ]trees_1__t29_trees_1.depvmin12024-08-03 10:24 306  
[ ]trees_1__t29_trees_1.vmin12024-08-03 10:19 2.3K 
[ ]trees_1__t29_trees_1.vmin1out2024-08-03 10:23 19K 
[ ]trees_1__t29_trees_1.vout2024-08-03 04:44 26K 
[ ]trees_1__t30_trees_12024-07-28 08:41 28K 
[ ]trees_1__t30_trees_1.depv12024-08-03 10:19 129  
[ ]trees_1__t30_trees_1.depvmin12024-08-03 10:24 129  
[ ]trees_1__t30_trees_1.vmin12024-08-03 10:19 1.1K 
[ ]trees_1__t30_trees_1.vmin1out2024-08-03 10:20 14K 
[ ]trees_1__t30_trees_1.vout2024-08-03 08:38 16K 
[ ]trees_1__t31_trees_12024-07-28 08:42 32K 
[ ]trees_1__t31_trees_1.depv12024-08-03 10:19 207  
[ ]trees_1__t31_trees_1.depvmin12024-08-03 10:24 194  
[ ]trees_1__t31_trees_1.vmin12024-08-03 10:19 2.0K 
[ ]trees_1__t31_trees_1.vmin1out2024-08-03 10:21 31K 
[ ]trees_1__t31_trees_1.vout2024-08-03 07:32 38K 
[ ]trees_1__t32_trees_12024-07-28 09:12 35K 
[ ]trees_1__t32_trees_1.vout2024-08-03 05:53 3.7K 
[ ]trees_1__t33_trees_12024-07-28 08:43 34K 
[ ]trees_1__t33_trees_1.vout2024-08-03 07:16 7.3K 
[ ]trees_1__t34_trees_12024-07-28 08:45 52K 
[ ]trees_1__t34_trees_1.vout2024-08-03 05:10 7.3K 
[ ]trees_1__t35_trees_12024-07-28 08:46 22K 
[ ]trees_1__t35_trees_1.depv12024-08-03 10:19 318  
[ ]trees_1__t35_trees_1.depvmin12024-08-03 10:24 271  
[ ]trees_1__t35_trees_1.vmin12024-08-03 10:19 2.4K 
[ ]trees_1__t35_trees_1.vmin1out2024-08-03 10:20 26K 
[ ]trees_1__t35_trees_1.vout2024-08-03 06:00 23K 
[ ]trees_1__t36_trees_12024-07-28 08:47 19K 
[ ]trees_1__t36_trees_1.depv12024-08-03 10:19 90  
[ ]trees_1__t36_trees_1.depvmin12024-08-03 10:24 57  
[ ]trees_1__t36_trees_1.vmin12024-08-03 10:19 1.0K 
[ ]trees_1__t36_trees_1.vmin1out2024-08-03 10:20 18K 
[ ]trees_1__t36_trees_1.vout2024-08-03 07:14 22K 
[ ]trees_1__t37_trees_12024-07-28 08:48 19K 
[ ]trees_1__t37_trees_1.vout2024-08-03 05:46 6.8K 
[ ]trees_1__t38_trees_12024-07-28 08:49 28K 
[ ]trees_1__t38_trees_1.vout2024-08-03 07:00 8.4K 
[ ]trees_1__t39_trees_12024-07-28 08:50 28K 
[ ]trees_1__t39_trees_1.depv12024-08-03 10:19 182  
[ ]trees_1__t39_trees_1.depvmin12024-08-03 10:24 182  
[ ]trees_1__t39_trees_1.vmin12024-08-03 10:19 1.6K 
[ ]trees_1__t39_trees_1.vmin1out2024-08-03 10:20 20K 
[ ]trees_1__t39_trees_1.vout2024-08-03 05:38 20K 
[ ]trees_1__t40_trees_12024-07-28 08:52 29K 
[ ]trees_1__t40_trees_1.vout2024-08-03 08:26 7.8K 
[ ]trees_1__t41_trees_12024-07-28 08:53 20K 
[ ]trees_1__t41_trees_1.depv12024-08-03 10:19 110  
[ ]trees_1__t41_trees_1.depvmin12024-08-03 10:24 97  
[ ]trees_1__t41_trees_1.vmin12024-08-03 10:19 1.0K 
[ ]trees_1__t41_trees_1.vmin1out2024-08-03 10:21 11K 
[ ]trees_1__t41_trees_1.vout2024-08-03 07:42 11K 
[ ]trees_1__t42_trees_12024-07-28 08:54 30K 
[ ]trees_1__t42_trees_1.depv12024-08-03 10:19 253  
[ ]trees_1__t42_trees_1.depvmin12024-08-03 10:24 253  
[ ]trees_1__t42_trees_1.vmin12024-08-03 10:19 1.8K 
[ ]trees_1__t42_trees_1.vmin1out2024-08-03 10:23 19K 
[ ]trees_1__t42_trees_1.vout2024-08-03 07:28 21K 
[ ]trees_1__t43_trees_12024-07-28 08:55 35K 
[ ]trees_1__t43_trees_1.vout2024-08-03 10:11 4.2K 
[ ]trees_1__t44_trees_12024-07-28 08:56 34K 
[ ]trees_1__t44_trees_1.vout2024-08-03 05:05 7.3K 
[ ]trees_1__t45_trees_12024-07-28 08:58 32K 
[ ]trees_1__t45_trees_1.depv12024-08-03 10:19 232  
[ ]trees_1__t45_trees_1.depvmin12024-08-03 10:24 232  
[ ]trees_1__t45_trees_1.vmin12024-08-03 10:19 1.8K 
[ ]trees_1__t45_trees_1.vmin1out2024-08-03 10:20 20K 
[ ]trees_1__t45_trees_1.vout2024-08-03 04:46 22K 
[ ]trees_1__t46_trees_12024-07-28 09:00 59K 
[ ]trees_1__t46_trees_1.vout2024-08-03 05:50 4.2K 
[ ]trees_1__t47_trees_12024-07-28 09:01 36K 
[ ]trees_1__t47_trees_1.vout2024-08-03 05:43 7.3K 
[ ]trees_1__t48_trees_12024-07-28 09:02 37K 
[ ]trees_1__t48_trees_1.vout2024-08-03 06:39 7.3K 
[ ]trees_1__t49_trees_12024-07-28 09:03 28K 
[ ]trees_1__t49_trees_1.vout2024-08-03 06:26 7.3K 
[ ]trees_1__t50_trees_12024-07-28 09:04 30K 
[ ]trees_1__t50_trees_1.depv12024-08-03 10:19 102  
[ ]trees_1__t50_trees_1.depvmin12024-08-03 10:24 102  
[ ]trees_1__t50_trees_1.vmin12024-08-03 10:19 1.2K 
[ ]trees_1__t50_trees_1.vmin1out2024-08-03 10:23 26K 
[ ]trees_1__t50_trees_1.vout2024-08-03 09:18 22K 
[ ]trees_1__t51_trees_12024-07-28 09:05 29K 
[ ]trees_1__t51_trees_1.vout2024-08-03 07:43 8.4K 
[ ]trees_1__t52_trees_12024-07-28 08:17 25K 
[ ]trees_1__t52_trees_1.depv12024-08-03 10:19 82  
[ ]trees_1__t52_trees_1.depvmin12024-08-03 10:24 35  
[ ]trees_1__t52_trees_1.vmin12024-08-03 10:19 540  
[ ]trees_1__t52_trees_1.vmin1out2024-08-03 10:23 3.9K 
[ ]trees_1__t52_trees_1.vout2024-08-03 05:45 5.9K 
[ ]trees_1__t53_trees_12024-07-28 09:07 41K 
[ ]trees_1__t53_trees_1.vout2024-08-03 05:29 8.4K 
[ ]trees_1__t54_trees_12024-07-28 09:08 46K 
[ ]trees_1__t54_trees_1.vout2024-08-03 06:26 7.3K 
[ ]trees_1__t55_trees_12024-07-28 09:10 45K 
[ ]trees_1__t55_trees_1.vout2024-08-03 06:25 7.3K 
[ ]trees_1__t56_trees_12024-07-28 09:11 35K 
[ ]trees_1__t56_trees_1.vout2024-08-03 04:48 9.4K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80