Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/bintree2
Name
Last modified
Size
Description
Parent Directory
-
bintree2__l1_bintree2
2024-07-27 22:28
25K
bintree2__l1_bintree2.depv1
2024-08-03 10:19
52
bintree2__l1_bintree2.depvmin1
2024-08-03 10:24
52
bintree2__l1_bintree2.vmin1
2024-08-03 10:20
394
bintree2__l1_bintree2.vmin1out
2024-08-03 10:23
4.6K
bintree2__l1_bintree2.vout
2024-08-03 04:47
3.9K
bintree2__l2_bintree2
2024-07-27 22:29
21K
bintree2__l2_bintree2.depv1
2024-08-03 10:19
28
bintree2__l2_bintree2.depvmin1
2024-08-03 10:24
28
bintree2__l2_bintree2.vmin1
2024-08-03 10:20
314
bintree2__l2_bintree2.vmin1out
2024-08-03 10:23
3.1K
bintree2__l2_bintree2.vout
2024-08-03 05:34
3.0K
bintree2__l11_bintree2
2024-07-27 22:30
21K
bintree2__l11_bintree2.depv1
2024-08-03 10:19
96
bintree2__l11_bintree2.depvmin1
2024-08-03 10:24
96
bintree2__l11_bintree2.vmin1
2024-08-03 10:20
815
bintree2__l11_bintree2.vmin1out
2024-08-03 10:21
6.1K
bintree2__l11_bintree2.vout
2024-08-03 08:35
6.1K
bintree2__t1_bintree2
2024-07-27 22:31
24K
bintree2__t1_bintree2.depv1
2024-08-03 10:19
164
bintree2__t1_bintree2.depvmin1
2024-08-03 10:24
164
bintree2__t1_bintree2.vmin1
2024-08-03 10:20
1.2K
bintree2__t1_bintree2.vmin1out
2024-08-03 10:22
15K
bintree2__t1_bintree2.vout
2024-08-03 09:39
15K
bintree2__t2_bintree2
2024-07-27 22:32
40K
bintree2__t2_bintree2.vout
2024-08-03 06:05
5.3K
bintree2__t3_bintree2
2024-07-27 22:34
41K
bintree2__t3_bintree2.vout
2024-08-03 10:18
4.7K
bintree2__t4_bintree2
2024-07-27 22:35
34K
bintree2__t4_bintree2.vout
2024-08-03 04:41
7.3K
bintree2__t5_bintree2
2024-07-27 22:37
28K
bintree2__t5_bintree2.depv1
2024-08-03 10:19
97
bintree2__t5_bintree2.depvmin1
2024-08-03 10:24
97
bintree2__t5_bintree2.vmin1
2024-08-03 10:20
1.0K
bintree2__t5_bintree2.vmin1out
2024-08-03 10:21
12K
bintree2__t5_bintree2.vout
2024-08-03 04:10
13K
bintree2__t6_bintree2
2024-07-27 22:38
31K
bintree2__t6_bintree2.vout
2024-08-03 05:12
2.0K
bintree2__t7_bintree2
2024-07-27 22:39
31K
bintree2__t7_bintree2.depv1
2024-08-03 10:19
166
bintree2__t7_bintree2.depvmin1
2024-08-03 10:24
166
bintree2__t7_bintree2.vmin1
2024-08-03 10:20
1.4K
bintree2__t7_bintree2.vmin1out
2024-08-03 10:22
15K
bintree2__t7_bintree2.vout
2024-08-03 09:02
16K
bintree2__t8_bintree2
2024-07-27 22:41
35K
bintree2__t8_bintree2.vout
2024-08-03 04:12
6.8K
bintree2__t9_bintree2
2024-07-27 22:42
43K
bintree2__t9_bintree2.vout
2024-08-03 08:20
8.4K
bintree2__t10_bintree2
2024-07-27 22:44
34K
bintree2__t10_bintree2.vout
2024-08-03 06:57
6.8K
bintree2__t11_bintree2
2024-07-27 22:45
27K
bintree2__t11_bintree2.vout
2024-08-03 05:11
6.8K
bintree2__t12_bintree2
2024-07-27 22:47
52K
bintree2__t12_bintree2.vout
2024-08-03 08:24
5.3K
bintree2__t13_bintree2
2024-07-27 22:48
44K
bintree2__t13_bintree2.vout
2024-08-03 06:21
7.3K
bintree2__t14_bintree2
2024-07-27 22:50
50K
bintree2__t14_bintree2.vout
2024-08-03 04:17
7.3K
bintree2__t15_bintree2
2024-07-27 22:52
38K
bintree2__t15_bintree2.vout
2024-08-03 06:07
7.3K
bintree2__t16_bintree2
2024-07-27 22:54
40K
bintree2__t16_bintree2.vout
2024-08-03 04:36
6.8K
bintree2__t17_bintree2
2024-07-27 22:55
52K
bintree2__t17_bintree2.vout
2024-08-03 05:02
7.3K
bintree2__t18_bintree2
2024-07-27 22:58
83K
bintree2__t18_bintree2.vout
2024-08-03 07:12
3.7K
bintree2__t19_bintree2
2024-07-27 23:00
31K
bintree2__t19_bintree2.vout
2024-08-03 04:45
4.1K
bintree2__t20_bintree2
2024-07-27 23:01
29K
bintree2__t20_bintree2.vout
2024-08-03 05:26
7.3K
bintree2__t21_bintree2
2024-07-27 23:03
48K
bintree2__t21_bintree2.vout
2024-08-03 04:33
7.4K
bintree2__t22_bintree2
2024-07-27 23:04
35K
bintree2__t22_bintree2.depv1
2024-08-03 10:19
344
bintree2__t22_bintree2.depvmin1
2024-08-03 10:24
312
bintree2__t22_bintree2.vmin1
2024-08-03 10:20
2.3K
bintree2__t22_bintree2.vmin1out
2024-08-03 10:21
16K
bintree2__t22_bintree2.vout
2024-08-03 07:14
30K
bintree2__t23_bintree2
2024-07-27 23:06
38K
bintree2__t23_bintree2.vout
2024-08-03 06:39
7.4K
bintree2__t24_bintree2
2024-07-27 23:08
56K
bintree2__t24_bintree2.vout
2024-08-03 10:06
7.3K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80