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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]trees_3__l1_trees_32024-07-26 20:55 29K 
[ ]trees_3__l1_trees_3.depv12024-08-03 10:19 114  
[ ]trees_3__l1_trees_3.depvmin12024-08-03 10:24 114  
[ ]trees_3__l1_trees_3.vmin12024-08-03 10:19 1.8K 
[ ]trees_3__l1_trees_3.vmin1out2024-08-03 10:22 30K 
[ ]trees_3__l1_trees_3.vout2024-08-03 06:34 31K 
[ ]trees_3__l51_trees_32024-07-26 20:57 34K 
[ ]trees_3__l51_trees_3.depv12024-08-03 10:19 183  
[ ]trees_3__l51_trees_3.depvmin12024-08-03 10:24 183  
[ ]trees_3__l51_trees_3.vmin12024-08-03 10:19 1.8K 
[ ]trees_3__l51_trees_3.vmin1out2024-08-03 10:23 20K 
[ ]trees_3__l51_trees_3.vout2024-08-03 07:54 20K 
[ ]trees_3__l59_trees_32024-07-26 20:58 31K 
[ ]trees_3__l59_trees_3.depv12024-08-03 10:19 530  
[ ]trees_3__l59_trees_3.depvmin12024-08-03 10:24 424  
[ ]trees_3__l59_trees_3.vmin12024-08-03 10:19 4.2K 
[ ]trees_3__l59_trees_3.vmin1out2024-08-03 10:20 38K 
[ ]trees_3__l59_trees_3.vout2024-08-03 08:19 45K 
[ ]trees_3__t1_trees_32024-07-26 19:14 25K 
[ ]trees_3__t1_trees_3.depv12024-08-03 10:19 43  
[ ]trees_3__t1_trees_3.depvmin12024-08-03 10:24 43  
[ ]trees_3__t1_trees_3.vmin12024-08-03 10:19 482  
[ ]trees_3__t1_trees_3.vmin1out2024-08-03 10:22 13K 
[ ]trees_3__t1_trees_3.vout2024-08-03 10:16 13K 
[ ]trees_3__t2_trees_32024-07-26 19:15 25K 
[ ]trees_3__t2_trees_3.depv12024-08-03 10:19 57  
[ ]trees_3__t2_trees_3.depvmin12024-08-03 10:24 57  
[ ]trees_3__t2_trees_3.vmin12024-08-03 10:19 648  
[ ]trees_3__t2_trees_3.vmin1out2024-08-03 10:21 17K 
[ ]trees_3__t2_trees_3.vout2024-08-03 10:00 17K 
[ ]trees_3__t3_trees_32024-07-26 19:16 16K 
[ ]trees_3__t3_trees_3.depv12024-08-03 10:19 56  
[ ]trees_3__t3_trees_3.depvmin12024-08-03 10:24 56  
[ ]trees_3__t3_trees_3.vmin12024-08-03 10:19 548  
[ ]trees_3__t3_trees_3.vmin1out2024-08-03 10:22 19K 
[ ]trees_3__t3_trees_3.vout2024-08-03 10:10 19K 
[ ]trees_3__t4_trees_32024-07-26 19:17 15K 
[ ]trees_3__t4_trees_3.depv12024-08-03 10:19 129  
[ ]trees_3__t4_trees_3.depvmin12024-08-03 10:24 129  
[ ]trees_3__t4_trees_3.vmin12024-08-03 10:19 972  
[ ]trees_3__t4_trees_3.vmin1out2024-08-03 10:21 12K 
[ ]trees_3__t4_trees_3.vout2024-08-03 04:23 12K 
[ ]trees_3__t5_trees_32024-07-26 19:18 21K 
[ ]trees_3__t5_trees_3.depv12024-08-03 10:19 299  
[ ]trees_3__t5_trees_3.depvmin12024-08-03 10:24 174  
[ ]trees_3__t5_trees_3.vmin12024-08-03 10:19 2.2K 
[ ]trees_3__t5_trees_3.vmin1out2024-08-03 10:20 20K 
[ ]trees_3__t5_trees_3.vout2024-08-03 05:27 34K 
[ ]trees_3__t6_trees_32024-07-26 19:19 16K 
[ ]trees_3__t6_trees_3.depv12024-08-03 10:19 34  
[ ]trees_3__t6_trees_3.depvmin12024-08-03 10:24 34  
[ ]trees_3__t6_trees_3.vmin12024-08-03 10:19 446  
[ ]trees_3__t6_trees_3.vmin1out2024-08-03 10:20 22K 
[ ]trees_3__t6_trees_3.vout2024-08-03 07:31 21K 
[ ]trees_3__t7_trees_32024-07-26 19:20 16K 
[ ]trees_3__t7_trees_3.depv12024-08-03 10:19 129  
[ ]trees_3__t7_trees_3.depvmin12024-08-03 10:24 129  
[ ]trees_3__t7_trees_3.vmin12024-08-03 10:19 1.0K 
[ ]trees_3__t7_trees_3.vmin1out2024-08-03 10:22 14K 
[ ]trees_3__t7_trees_3.vout2024-08-03 09:53 13K 
[ ]trees_3__t8_trees_32024-07-26 19:21 21K 
[ ]trees_3__t8_trees_3.depv12024-08-03 10:19 222  
[ ]trees_3__t8_trees_3.depvmin12024-08-03 10:24 175  
[ ]trees_3__t8_trees_3.vmin12024-08-03 10:19 1.7K 
[ ]trees_3__t8_trees_3.vmin1out2024-08-03 10:22 22K 
[ ]trees_3__t8_trees_3.vout2024-08-03 08:47 29K 
[ ]trees_3__t9_trees_32024-07-26 19:22 16K 
[ ]trees_3__t9_trees_3.depv12024-08-03 10:19 34  
[ ]trees_3__t9_trees_3.depvmin12024-08-03 10:24 34  
[ ]trees_3__t9_trees_3.vmin12024-08-03 10:19 438  
[ ]trees_3__t9_trees_3.vmin1out2024-08-03 10:22 21K 
[ ]trees_3__t9_trees_3.vout2024-08-03 06:49 19K 
[ ]trees_3__t10_trees_32024-07-26 19:23 16K 
[ ]trees_3__t10_trees_3.depv12024-08-03 10:19 35  
[ ]trees_3__t10_trees_3.depvmin12024-08-03 10:24 35  
[ ]trees_3__t10_trees_3.vmin12024-08-03 10:19 422  
[ ]trees_3__t10_trees_3.vmin1out2024-08-03 10:22 11K 
[ ]trees_3__t10_trees_3.vout2024-08-03 04:58 8.5K 
[ ]trees_3__t11_trees_32024-07-26 19:24 21K 
[ ]trees_3__t11_trees_3.depv12024-08-03 10:19 154  
[ ]trees_3__t11_trees_3.depvmin12024-08-03 10:24 154  
[ ]trees_3__t11_trees_3.vmin12024-08-03 10:19 1.2K 
[ ]trees_3__t11_trees_3.vmin1out2024-08-03 10:21 20K 
[ ]trees_3__t11_trees_3.vout2024-08-03 08:08 21K 
[ ]trees_3__t12_trees_32024-07-26 19:25 16K 
[ ]trees_3__t12_trees_3.depv12024-08-03 10:19 33  
[ ]trees_3__t12_trees_3.depvmin12024-08-03 10:24 33  
[ ]trees_3__t12_trees_3.vmin12024-08-03 10:19 363  
[ ]trees_3__t12_trees_3.vmin1out2024-08-03 10:20 9.9K 
[ ]trees_3__t12_trees_3.vout2024-08-03 09:22 9.5K 
[ ]trees_3__t13_trees_32024-07-26 19:26 16K 
[ ]trees_3__t13_trees_3.depv12024-08-03 10:19 33  
[ ]trees_3__t13_trees_3.depvmin12024-08-03 10:24 33  
[ ]trees_3__t13_trees_3.vmin12024-08-03 10:19 405  
[ ]trees_3__t13_trees_3.vmin1out2024-08-03 10:20 12K 
[ ]trees_3__t13_trees_3.vout2024-08-03 07:34 11K 
[ ]trees_3__t14_trees_32024-07-26 19:27 16K 
[ ]trees_3__t14_trees_3.depv12024-08-03 10:19 33  
[ ]trees_3__t14_trees_3.depvmin12024-08-03 10:24 33  
[ ]trees_3__t14_trees_3.vmin12024-08-03 10:19 389  
[ ]trees_3__t14_trees_3.vmin1out2024-08-03 10:22 12K 
[ ]trees_3__t14_trees_3.vout2024-08-03 09:58 11K 
[ ]trees_3__t15_trees_32024-07-26 19:28 16K 
[ ]trees_3__t15_trees_3.depv12024-08-03 10:19 33  
[ ]trees_3__t15_trees_3.depvmin12024-08-03 10:24 33  
[ ]trees_3__t15_trees_3.vmin12024-08-03 10:19 450  
[ ]trees_3__t15_trees_3.vmin1out2024-08-03 10:20 16K 
[ ]trees_3__t15_trees_3.vout2024-08-03 04:27 14K 
[ ]trees_3__t16_trees_32024-07-26 19:29 16K 
[ ]trees_3__t16_trees_3.depv12024-08-03 10:19 33  
[ ]trees_3__t16_trees_3.depvmin12024-08-03 10:24 33  
[ ]trees_3__t16_trees_3.vmin12024-08-03 10:19 513  
[ ]trees_3__t16_trees_3.vmin1out2024-08-03 10:20 20K 
[ ]trees_3__t16_trees_3.vout2024-08-03 09:19 17K 
[ ]trees_3__t17_trees_32024-07-26 19:30 16K 
[ ]trees_3__t17_trees_3.depv12024-08-03 10:19 33  
[ ]trees_3__t17_trees_3.depvmin12024-08-03 10:24 33  
[ ]trees_3__t17_trees_3.vmin12024-08-03 10:19 489  
[ ]trees_3__t17_trees_3.vmin1out2024-08-03 10:23 19K 
[ ]trees_3__t17_trees_3.vout2024-08-03 07:45 16K 
[ ]trees_3__t18_trees_32024-07-26 19:09 25K 
[ ]trees_3__t18_trees_3.vout2024-08-03 07:09 8.4K 
[ ]trees_3__t19_trees_32024-07-26 19:10 25K 
[ ]trees_3__t19_trees_3.vout2024-08-03 08:35 8.4K 
[ ]trees_3__t20_trees_32024-07-26 19:11 25K 
[ ]trees_3__t20_trees_3.vout2024-08-03 07:37 8.4K 
[ ]trees_3__t21_trees_32024-07-26 19:13 28K 
[ ]trees_3__t21_trees_3.vout2024-08-03 09:30 7.8K 
[ ]trees_3__t22_trees_32024-07-26 19:31 20K 
[ ]trees_3__t22_trees_3.depv12024-08-03 10:19 54  
[ ]trees_3__t22_trees_3.depvmin12024-08-03 10:24 54  
[ ]trees_3__t22_trees_3.vmin12024-08-03 10:19 777  
[ ]trees_3__t22_trees_3.vmin1out2024-08-03 10:22 24K 
[ ]trees_3__t22_trees_3.vout2024-08-03 09:30 24K 
[ ]trees_3__t23_trees_32024-07-26 19:32 20K 
[ ]trees_3__t23_trees_3.depv12024-08-03 10:19 55  
[ ]trees_3__t23_trees_3.depvmin12024-08-03 10:24 46  
[ ]trees_3__t23_trees_3.vmin12024-08-03 10:19 835  
[ ]trees_3__t23_trees_3.vmin1out2024-08-03 10:21 26K 
[ ]trees_3__t23_trees_3.vout2024-08-03 09:57 28K 
[ ]trees_3__t24_trees_32024-07-26 19:33 20K 
[ ]trees_3__t24_trees_3.depv12024-08-03 10:19 46  
[ ]trees_3__t24_trees_3.depvmin12024-08-03 10:24 46  
[ ]trees_3__t24_trees_3.vmin12024-08-03 10:19 748  
[ ]trees_3__t24_trees_3.vmin1out2024-08-03 10:20 27K 
[ ]trees_3__t24_trees_3.vout2024-08-03 07:30 28K 
[ ]trees_3__t25_trees_32024-07-26 19:34 22K 
[ ]trees_3__t25_trees_3.depv12024-08-03 10:19 190  
[ ]trees_3__t25_trees_3.depvmin12024-08-03 10:24 62  
[ ]trees_3__t25_trees_3.vmin12024-08-03 10:19 1.9K 
[ ]trees_3__t25_trees_3.vmin1out2024-08-03 10:20 20K 
[ ]trees_3__t25_trees_3.vout2024-08-03 06:23 31K 
[ ]trees_3__t26_trees_32024-07-26 19:35 22K 
[ ]trees_3__t26_trees_3.depv12024-08-03 10:19 63  
[ ]trees_3__t26_trees_3.depvmin12024-08-03 10:24 63  
[ ]trees_3__t26_trees_3.vmin12024-08-03 10:19 1.0K 
[ ]trees_3__t26_trees_3.vmin1out2024-08-03 10:23 23K 
[ ]trees_3__t26_trees_3.vout2024-08-03 09:01 20K 
[ ]trees_3__t27_trees_32024-07-26 19:36 22K 
[ ]trees_3__t27_trees_3.depv12024-08-03 10:19 63  
[ ]trees_3__t27_trees_3.depvmin12024-08-03 10:24 63  
[ ]trees_3__t27_trees_3.vmin12024-08-03 10:19 1.0K 
[ ]trees_3__t27_trees_3.vmin1out2024-08-03 10:22 23K 
[ ]trees_3__t27_trees_3.vout2024-08-03 04:54 20K 
[ ]trees_3__t28_trees_32024-07-26 19:37 21K 
[ ]trees_3__t28_trees_3.vout2024-08-03 05:29 8.4K 
[ ]trees_3__t29_trees_32024-07-26 19:39 21K 
[ ]trees_3__t29_trees_3.vout2024-08-03 09:27 8.4K 
[ ]trees_3__t30_trees_32024-07-26 19:40 21K 
[ ]trees_3__t30_trees_3.vout2024-08-03 06:36 8.9K 
[ ]trees_3__t31_trees_32024-07-26 19:41 19K 
[ ]trees_3__t31_trees_3.vout2024-08-03 05:07 2.0K 
[ ]trees_3__t32_trees_32024-07-26 19:42 19K 
[ ]trees_3__t32_trees_3.vout2024-08-03 10:07 2.0K 
[ ]trees_3__t33_trees_32024-07-26 19:43 19K 
[ ]trees_3__t33_trees_3.vout2024-08-03 05:37 2.0K 
[ ]trees_3__t34_trees_32024-07-26 19:44 31K 
[ ]trees_3__t34_trees_3.vout2024-08-03 10:12 7.3K 
[ ]trees_3__t35_trees_32024-07-26 19:46 31K 
[ ]trees_3__t35_trees_3.vout2024-08-03 04:20 7.3K 
[ ]trees_3__t36_trees_32024-07-26 19:47 31K 
[ ]trees_3__t36_trees_3.vout2024-08-03 09:41 7.3K 
[ ]trees_3__t37_trees_32024-07-26 19:48 32K 
[ ]trees_3__t37_trees_3.depv12024-08-03 10:19 86  
[ ]trees_3__t37_trees_3.depvmin12024-08-03 10:24 86  
[ ]trees_3__t37_trees_3.vmin12024-08-03 10:19 1.4K 
[ ]trees_3__t37_trees_3.vmin1out2024-08-03 10:22 29K 
[ ]trees_3__t37_trees_3.vout2024-08-03 06:56 30K 
[ ]trees_3__t38_trees_32024-07-26 19:49 26K 
[ ]trees_3__t38_trees_3.depv12024-08-03 10:19 64  
[ ]trees_3__t38_trees_3.depvmin12024-08-03 10:24 64  
[ ]trees_3__t38_trees_3.vmin12024-08-03 10:19 930  
[ ]trees_3__t38_trees_3.vmin1out2024-08-03 10:21 15K 
[ ]trees_3__t38_trees_3.vout2024-08-03 09:10 16K 
[ ]trees_3__t39_trees_32024-07-26 19:51 48K 
[ ]trees_3__t39_trees_3.vout2024-08-03 08:09 7.3K 
[ ]trees_3__t40_trees_32024-07-26 19:52 48K 
[ ]trees_3__t40_trees_3.vout2024-08-03 04:46 7.3K 
[ ]trees_3__t41_trees_32024-07-26 19:54 41K 
[ ]trees_3__t41_trees_3.vout2024-08-03 06:08 5.9K 
[ ]trees_3__t42_trees_32024-07-26 19:56 45K 
[ ]trees_3__t42_trees_3.vout2024-08-03 06:48 4.2K 
[ ]trees_3__t43_trees_32024-07-26 19:57 39K 
[ ]trees_3__t43_trees_3.vout2024-08-03 05:52 7.3K 
[ ]trees_3__t44_trees_32024-07-26 19:58 43K 
[ ]trees_3__t44_trees_3.vout2024-08-03 05:26 7.3K 
[ ]trees_3__t45_trees_32024-07-26 20:00 43K 
[ ]trees_3__t45_trees_3.vout2024-08-03 07:56 7.3K 
[ ]trees_3__t46_trees_32024-07-26 20:01 44K 
[ ]trees_3__t46_trees_3.vout2024-08-03 07:15 7.3K 
[ ]trees_3__t47_trees_32024-07-26 20:02 36K 
[ ]trees_3__t47_trees_3.vout2024-08-03 05:50 4.1K 
[ ]trees_3__t48_trees_32024-07-26 20:04 29K 
[ ]trees_3__t48_trees_3.vout2024-08-03 05:43 4.7K 
[ ]trees_3__t49_trees_32024-07-26 20:54 53K 
[ ]trees_3__t49_trees_3.vout2024-08-03 05:12 4.2K 
[ ]trees_3__t50_trees_32024-07-26 20:05 54K 
[ ]trees_3__t50_trees_3.vout2024-08-03 05:07 7.3K 
[ ]trees_3__t51_trees_32024-07-26 20:07 49K 
[ ]trees_3__t51_trees_3.vout2024-08-03 08:34 4.7K 
[ ]trees_3__t52_trees_32024-07-26 20:08 45K 
[ ]trees_3__t52_trees_3.vout2024-08-03 07:48 10K 
[ ]trees_3__t53_trees_32024-07-26 20:10 51K 
[ ]trees_3__t53_trees_3.vout2024-08-03 07:14 4.2K 
[ ]trees_3__t54_trees_32024-07-26 20:12 55K 
[ ]trees_3__t54_trees_3.vout2024-08-03 04:50 4.2K 
[ ]trees_3__t55_trees_32024-07-26 20:14 60K 
[ ]trees_3__t55_trees_3.vout2024-08-03 08:49 4.2K 
[ ]trees_3__t56_trees_32024-07-26 20:15 56K 
[ ]trees_3__t56_trees_3.vout2024-08-03 06:39 3.7K 
[ ]trees_3__t57_trees_32024-07-26 20:17 74K 
[ ]trees_3__t57_trees_3.vout2024-08-03 09:12 7.3K 
[ ]trees_3__t58_trees_32024-07-26 20:19 48K 
[ ]trees_3__t58_trees_3.vout2024-08-03 07:55 7.8K 
[ ]trees_3__t59_trees_32024-07-26 20:21 73K 
[ ]trees_3__t59_trees_3.vout2024-08-03 05:59 3.7K 
[ ]trees_3__t60_trees_32024-07-26 20:22 41K 
[ ]trees_3__t60_trees_3.vout2024-08-03 04:23 7.9K 
[ ]trees_3__t61_trees_32024-07-26 20:24 42K 
[ ]trees_3__t61_trees_3.vout2024-08-03 10:07 4.7K 
[ ]trees_3__t62_trees_32024-07-26 20:25 48K 
[ ]trees_3__t62_trees_3.vout2024-08-03 06:07 4.2K 
[ ]trees_3__t63_trees_32024-07-26 20:27 41K 
[ ]trees_3__t63_trees_3.vout2024-08-03 07:40 7.3K 
[ ]trees_3__t64_trees_32024-07-26 20:28 37K 
[ ]trees_3__t64_trees_3.vout2024-08-03 08:49 4.7K 
[ ]trees_3__t65_trees_32024-07-26 20:30 39K 
[ ]trees_3__t65_trees_3.vout2024-08-03 08:03 7.3K 
[ ]trees_3__t66_trees_32024-07-26 20:31 39K 
[ ]trees_3__t66_trees_3.vout2024-08-03 08:10 2.0K 
[ ]trees_3__t67_trees_32024-07-26 20:32 26K 
[ ]trees_3__t67_trees_3.depv12024-08-03 10:19 127  
[ ]trees_3__t67_trees_3.depvmin12024-08-03 10:24 127  
[ ]trees_3__t67_trees_3.vmin12024-08-03 10:19 814  
[ ]trees_3__t67_trees_3.vmin1out2024-08-03 10:22 5.3K 
[ ]trees_3__t67_trees_3.vout2024-08-03 07:00 7.5K 
[ ]trees_3__t68_trees_32024-07-26 20:34 46K 
[ ]trees_3__t68_trees_3.vout2024-08-03 06:04 4.7K 
[ ]trees_3__t69_trees_32024-07-26 20:35 42K 
[ ]trees_3__t69_trees_3.vout2024-08-03 06:15 2.0K 
[ ]trees_3__t70_trees_32024-07-26 20:37 43K 
[ ]trees_3__t70_trees_3.vout2024-08-03 07:36 7.3K 
[ ]trees_3__t71_trees_32024-07-26 20:38 50K 
[ ]trees_3__t71_trees_3.vout2024-08-03 04:39 4.2K 
[ ]trees_3__t72_trees_32024-07-26 20:40 42K 
[ ]trees_3__t72_trees_3.vout2024-08-03 06:44 7.3K 
[ ]trees_3__t73_trees_32024-07-26 20:41 38K 
[ ]trees_3__t73_trees_3.vout2024-08-03 09:38 4.7K 
[ ]trees_3__t74_trees_32024-07-26 20:43 43K 
[ ]trees_3__t74_trees_3.vout2024-08-03 08:24 7.3K 
[ ]trees_3__t75_trees_32024-07-26 20:44 44K 
[ ]trees_3__t75_trees_3.vout2024-08-03 10:16 7.3K 
[ ]trees_3__t76_trees_32024-07-26 20:45 27K 
[ ]trees_3__t76_trees_3.depv12024-08-03 10:19 137  
[ ]trees_3__t76_trees_3.depvmin12024-08-03 10:24 137  
[ ]trees_3__t76_trees_3.vmin12024-08-03 10:19 1.0K 
[ ]trees_3__t76_trees_3.vmin1out2024-08-03 10:20 13K 
[ ]trees_3__t76_trees_3.vout2024-08-03 04:52 13K 
[ ]trees_3__t77_trees_32024-07-26 20:47 50K 
[ ]trees_3__t77_trees_3.vout2024-08-03 08:18 7.3K 
[ ]trees_3__t78_trees_32024-07-26 20:49 62K 
[ ]trees_3__t78_trees_3.vout2024-08-03 09:10 7.3K 
[ ]trees_3__t79_trees_32024-07-26 20:50 24K 
[ ]trees_3__t79_trees_3.vout2024-08-03 10:09 3.8K 
[ ]trees_3__t80_trees_32024-07-26 20:51 33K 
[ ]trees_3__t80_trees_3.depv12024-08-03 10:19 197  
[ ]trees_3__t80_trees_3.depvmin12024-08-03 10:24 197  
[ ]trees_3__t80_trees_3.vmin12024-08-03 10:19 1.8K 
[ ]trees_3__t80_trees_3.vmin1out2024-08-03 10:21 25K 
[ ]trees_3__t80_trees_3.vout2024-08-03 04:36 30K 
[ ]trees_3__t81_trees_32024-07-26 20:52 27K 
[ ]trees_3__t81_trees_3.vout2024-08-03 08:50 4.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80