Index of /~mptp/mml5.63.1382/MPTP2/problems_small/trees_3
Name
Last modified
Size
Description
Parent Directory
-
trees_3__t18_trees_3
2021-07-18 07:22
24K
trees_3__t19_trees_3
2021-07-18 07:22
24K
trees_3__t20_trees_3
2021-07-18 07:22
24K
trees_3__t21_trees_3
2021-07-18 07:23
27K
trees_3__t1_trees_3
2021-07-18 07:23
24K
trees_3__t2_trees_3
2021-07-18 07:23
24K
trees_3__t3_trees_3
2021-07-18 07:23
16K
trees_3__t4_trees_3
2021-07-18 07:24
15K
trees_3__t5_trees_3
2021-07-18 07:24
21K
trees_3__t6_trees_3
2021-07-18 07:24
16K
trees_3__t7_trees_3
2021-07-18 07:24
15K
trees_3__t8_trees_3
2021-07-18 07:25
21K
trees_3__t9_trees_3
2021-07-18 07:25
16K
trees_3__t10_trees_3
2021-07-18 07:25
15K
trees_3__t11_trees_3
2021-07-18 07:25
20K
trees_3__t12_trees_3
2021-07-18 07:26
15K
trees_3__t13_trees_3
2021-07-18 07:26
15K
trees_3__t14_trees_3
2021-07-18 07:26
16K
trees_3__t15_trees_3
2021-07-18 07:26
16K
trees_3__t16_trees_3
2021-07-18 07:27
16K
trees_3__t17_trees_3
2021-07-18 07:27
16K
trees_3__t22_trees_3
2021-07-18 07:27
19K
trees_3__t23_trees_3
2021-07-18 07:27
19K
trees_3__t24_trees_3
2021-07-18 07:28
19K
trees_3__t25_trees_3
2021-07-18 07:28
22K
trees_3__t26_trees_3
2021-07-18 07:28
22K
trees_3__t27_trees_3
2021-07-18 07:29
22K
trees_3__t28_trees_3
2021-07-18 07:29
20K
trees_3__t29_trees_3
2021-07-18 07:29
20K
trees_3__t30_trees_3
2021-07-18 07:29
20K
trees_3__t31_trees_3
2021-07-18 07:30
18K
trees_3__t32_trees_3
2021-07-18 07:30
19K
trees_3__t33_trees_3
2021-07-18 07:30
19K
trees_3__t34_trees_3
2021-07-18 07:30
30K
trees_3__t35_trees_3
2021-07-18 07:31
30K
trees_3__t36_trees_3
2021-07-18 07:31
30K
trees_3__t37_trees_3
2021-07-18 07:31
31K
trees_3__t38_trees_3
2021-07-18 07:32
25K
trees_3__t39_trees_3
2021-07-18 07:32
46K
trees_3__t40_trees_3
2021-07-18 07:33
46K
trees_3__t41_trees_3
2021-07-18 07:33
39K
trees_3__t42_trees_3
2021-07-18 07:33
42K
trees_3__t43_trees_3
2021-07-18 07:34
37K
trees_3__t44_trees_3
2021-07-18 07:34
41K
trees_3__t45_trees_3
2021-07-18 07:34
41K
trees_3__t46_trees_3
2021-07-18 07:35
42K
trees_3__t47_trees_3
2021-07-18 07:35
34K
trees_3__t48_trees_3
2021-07-18 07:35
27K
trees_3__t50_trees_3
2021-07-18 07:36
52K
trees_3__t51_trees_3
2021-07-18 07:36
46K
trees_3__t52_trees_3
2021-07-18 07:37
41K
trees_3__t53_trees_3
2021-07-18 07:37
47K
trees_3__t54_trees_3
2021-07-18 07:37
51K
trees_3__t55_trees_3
2021-07-18 07:38
56K
trees_3__t56_trees_3
2021-07-18 07:38
53K
trees_3__t57_trees_3
2021-07-18 07:39
70K
trees_3__t58_trees_3
2021-07-18 07:39
45K
trees_3__t59_trees_3
2021-07-18 07:40
69K
trees_3__t60_trees_3
2021-07-18 07:40
38K
trees_3__t61_trees_3
2021-07-18 07:40
39K
trees_3__t62_trees_3
2021-07-18 07:41
45K
trees_3__t63_trees_3
2021-07-18 07:41
38K
trees_3__t64_trees_3
2021-07-18 07:41
33K
trees_3__t65_trees_3
2021-07-18 07:42
38K
trees_3__t66_trees_3
2021-07-18 07:42
36K
trees_3__t67_trees_3
2021-07-18 07:42
24K
trees_3__t68_trees_3
2021-07-18 07:43
43K
trees_3__t69_trees_3
2021-07-18 07:43
39K
trees_3__t70_trees_3
2021-07-18 07:43
40K
trees_3__t71_trees_3
2021-07-18 07:44
46K
trees_3__t72_trees_3
2021-07-18 07:44
39K
trees_3__t73_trees_3
2021-07-18 07:44
35K
trees_3__t74_trees_3
2021-07-18 07:45
42K
trees_3__t75_trees_3
2021-07-18 07:45
41K
trees_3__t76_trees_3
2021-07-18 07:45
26K
trees_3__t77_trees_3
2021-07-18 07:46
46K
trees_3__t78_trees_3
2021-07-18 07:46
59K
trees_3__t79_trees_3
2021-07-18 07:47
24K
trees_3__t80_trees_3
2021-07-18 07:47
31K
trees_3__t81_trees_3
2021-07-18 07:47
27K
trees_3__t49_trees_3
2021-07-18 07:48
49K
trees_3__l1_trees_3
2021-07-18 07:48
28K
trees_3__l51_trees_3
2021-07-18 07:48
33K
trees_3__l59_trees_3
2021-07-18 07:49
31K
trees_3__l1_trees_3.vout
2021-07-25 14:23
31K
trees_3__t39_trees_3.vout
2021-07-25 14:25
7.3K
trees_3__t20_trees_3.vout
2021-07-25 14:26
8.4K
trees_3__t24_trees_3.vout
2021-07-25 14:27
28K
trees_3__t72_trees_3.vout
2021-07-25 14:32
7.3K
trees_3__t48_trees_3.vout
2021-07-25 14:33
4.7K
trees_3__l51_trees_3.vout
2021-07-25 14:43
20K
trees_3__t65_trees_3.vout
2021-07-25 14:44
7.3K
trees_3__t46_trees_3.vout
2021-07-25 15:04
7.3K
trees_3__t28_trees_3.vout
2021-07-25 15:07
8.4K
trees_3__t18_trees_3.vout
2021-07-25 15:08
8.4K
trees_3__t27_trees_3.vout
2021-07-25 15:23
20K
trees_3__t33_trees_3.vout
2021-07-25 15:26
2.0K
trees_3__t38_trees_3.vout
2021-07-25 15:31
16K
trees_3__t44_trees_3.vout
2021-07-25 15:31
7.3K
trees_3__t30_trees_3.vout
2021-07-25 15:50
8.4K
trees_3__t76_trees_3.vout
2021-07-25 15:53
13K
trees_3__t21_trees_3.vout
2021-07-25 15:53
7.8K
trees_3__t55_trees_3.vout
2021-07-25 15:55
3.7K
trees_3__t81_trees_3.vout
2021-07-25 15:57
4.7K
trees_3__t34_trees_3.vout
2021-07-25 15:57
7.3K
trees_3__t52_trees_3.vout
2021-07-25 16:06
10K
trees_3__t9_trees_3.vout
2021-07-25 16:08
19K
trees_3__t66_trees_3.vout
2021-07-25 16:10
2.0K
trees_3__t73_trees_3.vout
2021-07-25 16:15
4.7K
trees_3__t70_trees_3.vout
2021-07-25 16:16
7.3K
trees_3__t23_trees_3.vout
2021-07-25 16:16
29K
trees_3__t58_trees_3.vout
2021-07-25 16:21
7.8K
trees_3__t29_trees_3.vout
2021-07-25 16:22
8.4K
trees_3__t54_trees_3.vout
2021-07-25 16:23
4.2K
trees_3__t62_trees_3.vout
2021-07-25 16:25
4.2K
trees_3__t22_trees_3.vout
2021-07-25 16:28
24K
trees_3__t36_trees_3.vout
2021-07-25 16:30
7.3K
trees_3__t4_trees_3.vout
2021-07-25 16:35
12K
trees_3__t78_trees_3.vout
2021-07-25 16:39
7.3K
trees_3__t67_trees_3.vout
2021-07-25 16:41
7.5K
trees_3__t31_trees_3.vout
2021-07-25 16:46
2.0K
trees_3__t71_trees_3.vout
2021-07-25 17:00
4.2K
trees_3__t49_trees_3.vout
2021-07-25 17:07
4.2K
trees_3__t3_trees_3.vout
2021-07-25 17:14
19K
trees_3__t68_trees_3.vout
2021-07-25 17:16
4.7K
trees_3__t40_trees_3.vout
2021-07-25 17:25
7.3K
trees_3__t11_trees_3.vout
2021-07-25 17:25
21K
trees_3__t10_trees_3.vout
2021-07-25 17:28
8.6K
trees_3__t50_trees_3.vout
2021-07-25 17:35
7.3K
trees_3__t42_trees_3.vout
2021-07-25 17:41
4.2K
trees_3__t51_trees_3.vout
2021-07-25 17:44
4.7K
trees_3__t80_trees_3.vout
2021-07-25 17:45
4.7K
trees_3__t41_trees_3.vout
2021-07-25 17:46
5.9K
trees_3__t56_trees_3.vout
2021-07-25 17:46
3.7K
trees_3__t75_trees_3.vout
2021-07-25 17:56
7.3K
trees_3__t35_trees_3.vout
2021-07-25 18:17
7.3K
trees_3__t37_trees_3.vout
2021-07-25 18:25
31K
trees_3__t69_trees_3.vout
2021-07-25 18:26
2.0K
trees_3__t63_trees_3.vout
2021-07-25 18:35
7.3K
trees_3__t43_trees_3.vout
2021-07-25 18:36
7.3K
trees_3__t32_trees_3.vout
2021-07-25 18:46
2.0K
trees_3__l59_trees_3.vout
2021-07-25 18:49
48K
trees_3__t13_trees_3.vout
2021-07-25 18:53
11K
trees_3__t61_trees_3.vout
2021-07-25 18:54
4.7K
trees_3__t15_trees_3.vout
2021-07-25 18:57
14K
trees_3__t64_trees_3.vout
2021-07-25 19:05
4.7K
trees_3__t26_trees_3.vout
2021-07-25 19:06
21K
trees_3__t19_trees_3.vout
2021-07-25 19:07
8.4K
trees_3__t74_trees_3.vout
2021-07-25 19:11
7.3K
trees_3__t6_trees_3.vout
2021-07-25 19:13
24K
trees_3__t53_trees_3.vout
2021-07-25 19:19
4.2K
trees_3__t17_trees_3.vout
2021-07-25 19:22
16K
trees_3__t47_trees_3.vout
2021-07-25 19:31
4.2K
trees_3__t5_trees_3.vout
2021-07-25 19:41
23K
trees_3__t7_trees_3.vout
2021-07-25 19:42
13K
trees_3__t2_trees_3.vout
2021-07-25 20:06
17K
trees_3__t14_trees_3.vout
2021-07-25 20:07
11K
trees_3__t25_trees_3.vout
2021-07-25 20:09
26K
trees_3__t16_trees_3.vout
2021-07-25 20:11
17K
trees_3__t77_trees_3.vout
2021-07-25 20:11
7.3K
trees_3__t8_trees_3.vout
2021-07-25 20:17
28K
trees_3__t79_trees_3.vout
2021-07-25 20:20
3.8K
trees_3__t59_trees_3.vout
2021-07-25 20:22
3.7K
trees_3__t12_trees_3.vout
2021-07-25 20:22
9.5K
trees_3__t45_trees_3.vout
2021-07-25 20:24
7.3K
trees_3__t60_trees_3.vout
2021-07-25 20:27
7.9K
trees_3__t57_trees_3.vout
2021-07-25 20:40
7.3K
trees_3__t1_trees_3.vout
2021-07-25 20:40
13K
trees_3__t11_trees_3.depv1
2021-07-25 20:57
154
trees_3__t15_trees_3.depv1
2021-07-25 20:57
33
trees_3__t22_trees_3.depv1
2021-07-25 20:57
54
trees_3__t3_trees_3.depv1
2021-07-25 20:57
56
trees_3__t8_trees_3.depv1
2021-07-25 20:57
240
trees_3__t9_trees_3.depv1
2021-07-25 20:57
34
trees_3__l59_trees_3.depv1
2021-07-25 20:57
582
trees_3__t26_trees_3.depv1
2021-07-25 20:57
63
trees_3__t67_trees_3.depv1
2021-07-25 20:57
127
trees_3__t76_trees_3.depv1
2021-07-25 20:57
137
trees_3__l1_trees_3.depv1
2021-07-25 20:57
114
trees_3__l51_trees_3.depv1
2021-07-25 20:57
183
trees_3__t6_trees_3.depv1
2021-07-25 20:57
79
trees_3__t1_trees_3.depv1
2021-07-25 20:57
43
trees_3__t2_trees_3.depv1
2021-07-25 20:57
57
trees_3__t10_trees_3.depv1
2021-07-25 20:57
61
trees_3__t4_trees_3.depv1
2021-07-25 20:57
129
trees_3__t5_trees_3.depv1
2021-07-25 20:57
249
trees_3__t13_trees_3.depv1
2021-07-25 20:57
33
trees_3__t27_trees_3.depv1
2021-07-25 20:57
63
trees_3__t7_trees_3.depv1
2021-07-25 20:57
129
trees_3__t17_trees_3.depv1
2021-07-25 20:57
33
trees_3__t38_trees_3.depv1
2021-07-25 20:57
64
trees_3__t12_trees_3.depv1
2021-07-25 20:57
33
trees_3__t16_trees_3.depv1
2021-07-25 20:57
33
trees_3__t23_trees_3.depv1
2021-07-25 20:57
78
trees_3__t37_trees_3.depv1
2021-07-25 20:57
86
trees_3__t14_trees_3.depv1
2021-07-25 20:57
33
trees_3__t24_trees_3.depv1
2021-07-25 20:57
46
trees_3__t25_trees_3.depv1
2021-07-25 20:57
112
trees_3__l1_trees_3.vmin1
2021-07-25 20:57
1.8K
trees_3__l51_trees_3.vmin1
2021-07-25 20:57
1.8K
trees_3__l59_trees_3.vmin1
2021-07-25 20:57
4.6K
trees_3__t1_trees_3.vmin1
2021-07-25 20:57
482
trees_3__t2_trees_3.vmin1
2021-07-25 20:57
648
trees_3__t3_trees_3.vmin1
2021-07-25 20:57
548
trees_3__t4_trees_3.vmin1
2021-07-25 20:57
972
trees_3__t5_trees_3.vmin1
2021-07-25 20:57
1.8K
trees_3__t6_trees_3.vmin1
2021-07-25 20:57
661
trees_3__t7_trees_3.vmin1
2021-07-25 20:57
1.0K
trees_3__t8_trees_3.vmin1
2021-07-25 20:57
1.8K
trees_3__t9_trees_3.vmin1
2021-07-25 20:57
438
trees_3__t10_trees_3.vmin1
2021-07-25 20:57
513
trees_3__t11_trees_3.vmin1
2021-07-25 20:57
1.2K
trees_3__t12_trees_3.vmin1
2021-07-25 20:57
363
trees_3__t13_trees_3.vmin1
2021-07-25 20:57
405
trees_3__t14_trees_3.vmin1
2021-07-25 20:57
389
trees_3__t15_trees_3.vmin1
2021-07-25 20:57
450
trees_3__t16_trees_3.vmin1
2021-07-25 20:57
513
trees_3__t17_trees_3.vmin1
2021-07-25 20:57
489
trees_3__t22_trees_3.vmin1
2021-07-25 20:57
777
trees_3__t23_trees_3.vmin1
2021-07-25 20:57
927
trees_3__t24_trees_3.vmin1
2021-07-25 20:57
748
trees_3__t25_trees_3.vmin1
2021-07-25 20:57
1.2K
trees_3__t26_trees_3.vmin1
2021-07-25 20:57
1.0K
trees_3__t27_trees_3.vmin1
2021-07-25 20:57
1.0K
trees_3__t37_trees_3.vmin1
2021-07-25 20:57
1.4K
trees_3__t38_trees_3.vmin1
2021-07-25 20:57
930
trees_3__t67_trees_3.vmin1
2021-07-25 20:57
814
trees_3__t76_trees_3.vmin1
2021-07-25 20:57
1.0K
trees_3__t3_trees_3.vmin1out
2021-07-25 20:57
19K
trees_3__t8_trees_3.vmin1out
2021-07-25 20:58
21K
trees_3__l59_trees_3.vmin1out
2021-07-25 20:58
43K
trees_3__t14_trees_3.vmin1out
2021-07-25 20:58
12K
trees_3__l1_trees_3.vmin1out
2021-07-25 20:59
30K
trees_3__t67_trees_3.vmin1out
2021-07-25 20:59
5.3K
trees_3__t26_trees_3.vmin1out
2021-07-25 20:59
23K
trees_3__t76_trees_3.vmin1out
2021-07-25 20:59
13K
trees_3__t2_trees_3.vmin1out
2021-07-25 20:59
17K
trees_3__t1_trees_3.vmin1out
2021-07-25 20:59
13K
trees_3__t16_trees_3.vmin1out
2021-07-25 20:59
20K
trees_3__t10_trees_3.vmin1out
2021-07-25 20:59
8.9K
trees_3__t25_trees_3.vmin1out
2021-07-25 20:59
22K
trees_3__t12_trees_3.vmin1out
2021-07-25 21:00
9.9K
trees_3__t23_trees_3.vmin1out
2021-07-25 21:00
26K
trees_3__t9_trees_3.vmin1out
2021-07-25 21:00
21K
trees_3__t6_trees_3.vmin1out
2021-07-25 21:00
22K
trees_3__t5_trees_3.vmin1out
2021-07-25 21:00
25K
trees_3__t27_trees_3.vmin1out
2021-07-25 21:01
23K
trees_3__t37_trees_3.vmin1out
2021-07-25 21:01
29K
trees_3__t24_trees_3.vmin1out
2021-07-25 21:01
27K
trees_3__t15_trees_3.vmin1out
2021-07-25 21:01
16K
trees_3__t7_trees_3.vmin1out
2021-07-25 21:01
14K
trees_3__l51_trees_3.vmin1out
2021-07-25 21:01
20K
trees_3__t11_trees_3.vmin1out
2021-07-25 21:01
20K
trees_3__t13_trees_3.vmin1out
2021-07-25 21:01
12K
trees_3__t38_trees_3.vmin1out
2021-07-25 21:01
15K
trees_3__t22_trees_3.vmin1out
2021-07-25 21:01
24K
trees_3__t17_trees_3.vmin1out
2021-07-25 21:02
19K
trees_3__t4_trees_3.vmin1out
2021-07-25 21:02
12K
trees_3__t15_trees_3.depvmin1
2021-07-25 21:03
33
trees_3__t22_trees_3.depvmin1
2021-07-25 21:03
54
trees_3__t8_trees_3.depvmin1
2021-07-25 21:03
183
trees_3__t9_trees_3.depvmin1
2021-07-25 21:03
34
trees_3__t11_trees_3.depvmin1
2021-07-25 21:03
154
trees_3__l59_trees_3.depvmin1
2021-07-25 21:03
473
trees_3__t3_trees_3.depvmin1
2021-07-25 21:03
56
trees_3__t26_trees_3.depvmin1
2021-07-25 21:03
63
trees_3__l51_trees_3.depvmin1
2021-07-25 21:03
183
trees_3__t67_trees_3.depvmin1
2021-07-25 21:03
127
trees_3__t76_trees_3.depvmin1
2021-07-25 21:03
137
trees_3__l1_trees_3.depvmin1
2021-07-25 21:03
114
trees_3__t1_trees_3.depvmin1
2021-07-25 21:03
43
trees_3__t2_trees_3.depvmin1
2021-07-25 21:03
57
trees_3__t6_trees_3.depvmin1
2021-07-25 21:03
56
trees_3__t4_trees_3.depvmin1
2021-07-25 21:03
129
trees_3__t5_trees_3.depvmin1
2021-07-25 21:03
183
trees_3__t10_trees_3.depvmin1
2021-07-25 21:03
61
trees_3__t7_trees_3.depvmin1
2021-07-25 21:03
129
trees_3__t13_trees_3.depvmin1
2021-07-25 21:03
33
trees_3__t27_trees_3.depvmin1
2021-07-25 21:03
63
trees_3__t17_trees_3.depvmin1
2021-07-25 21:03
33
trees_3__t23_trees_3.depvmin1
2021-07-25 21:03
46
trees_3__t38_trees_3.depvmin1
2021-07-25 21:03
64
trees_3__t12_trees_3.depvmin1
2021-07-25 21:03
33
trees_3__t16_trees_3.depvmin1
2021-07-25 21:03
33
trees_3__t37_trees_3.depvmin1
2021-07-25 21:03
86
trees_3__t14_trees_3.depvmin1
2021-07-25 21:03
33
trees_3__t24_trees_3.depvmin1
2021-07-25 21:03
46
trees_3__t25_trees_3.depvmin1
2021-07-25 21:03
86
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80