Index of /~mptp/mml5.63.1382/MPTP2/problems_small/bintree2
Name
Last modified
Size
Description
Parent Directory
-
bintree2__t24_bintree2.vout
2021-07-25 16:21
7.3K
bintree2__t24_bintree2
2021-07-18 06:30
52K
bintree2__t23_bintree2.vout
2021-07-25 15:45
7.4K
bintree2__t23_bintree2
2021-07-18 06:29
36K
bintree2__t22_bintree2.vout
2021-07-25 17:04
30K
bintree2__t22_bintree2.vmin1out
2021-07-25 21:01
16K
bintree2__t22_bintree2.vmin1
2021-07-25 20:57
2.3K
bintree2__t22_bintree2.depvmin1
2021-07-25 21:03
312
bintree2__t22_bintree2.depv1
2021-07-25 20:57
344
bintree2__t22_bintree2
2021-07-18 06:29
33K
bintree2__t21_bintree2.vout
2021-07-25 19:03
7.4K
bintree2__t21_bintree2
2021-07-18 06:29
46K
bintree2__t20_bintree2.vout
2021-07-25 19:25
7.4K
bintree2__t20_bintree2
2021-07-18 06:28
27K
bintree2__t19_bintree2.vout
2021-07-25 16:19
4.1K
bintree2__t19_bintree2
2021-07-18 06:28
30K
bintree2__t18_bintree2.vout
2021-07-25 20:33
3.7K
bintree2__t18_bintree2
2021-07-18 06:27
78K
bintree2__t17_bintree2.vout
2021-07-25 16:24
7.3K
bintree2__t17_bintree2
2021-07-18 06:27
50K
bintree2__t16_bintree2.vout
2021-07-25 20:24
6.8K
bintree2__t16_bintree2
2021-07-18 06:26
39K
bintree2__t15_bintree2.vout
2021-07-25 18:59
7.3K
bintree2__t15_bintree2
2021-07-18 06:26
37K
bintree2__t14_bintree2.vout
2021-07-25 14:32
7.3K
bintree2__t14_bintree2
2021-07-18 06:25
48K
bintree2__t13_bintree2.vout
2021-07-25 16:45
7.3K
bintree2__t13_bintree2
2021-07-18 06:25
42K
bintree2__t12_bintree2.vout
2021-07-25 14:42
5.3K
bintree2__t12_bintree2
2021-07-18 06:24
50K
bintree2__t11_bintree2.vout
2021-07-25 20:11
6.8K
bintree2__t11_bintree2
2021-07-18 06:24
26K
bintree2__t10_bintree2.vout
2021-07-25 15:51
6.8K
bintree2__t10_bintree2
2021-07-18 06:23
32K
bintree2__t9_bintree2.vout
2021-07-25 14:38
8.4K
bintree2__t9_bintree2
2021-07-18 06:23
39K
bintree2__t8_bintree2.vout
2021-07-25 18:10
6.8K
bintree2__t8_bintree2
2021-07-18 06:23
32K
bintree2__t7_bintree2.vout
2021-07-25 17:09
16K
bintree2__t7_bintree2.vmin1out
2021-07-25 20:59
15K
bintree2__t7_bintree2.vmin1
2021-07-25 20:57
1.4K
bintree2__t7_bintree2.depvmin1
2021-07-25 21:03
166
bintree2__t7_bintree2.depv1
2021-07-25 20:57
166
bintree2__t7_bintree2
2021-07-18 06:22
28K
bintree2__t6_bintree2.vout
2021-07-25 17:44
2.0K
bintree2__t6_bintree2
2021-07-18 06:22
27K
bintree2__t5_bintree2.vout
2021-07-25 20:44
13K
bintree2__t5_bintree2.vmin1out
2021-07-25 21:00
12K
bintree2__t5_bintree2.vmin1
2021-07-25 20:57
1.0K
bintree2__t5_bintree2.depvmin1
2021-07-25 21:03
97
bintree2__t5_bintree2.depv1
2021-07-25 20:57
97
bintree2__t5_bintree2
2021-07-18 06:22
27K
bintree2__t4_bintree2.vout
2021-07-25 18:06
7.3K
bintree2__t4_bintree2
2021-07-18 06:21
31K
bintree2__t3_bintree2.vout
2021-07-25 17:01
4.7K
bintree2__t3_bintree2
2021-07-18 06:21
37K
bintree2__t2_bintree2.vout
2021-07-25 14:29
3.7K
bintree2__t2_bintree2
2021-07-18 06:20
36K
bintree2__t1_bintree2.vout
2021-07-25 18:46
15K
bintree2__t1_bintree2.vmin1out
2021-07-25 21:01
15K
bintree2__t1_bintree2.vmin1
2021-07-25 20:57
1.1K
bintree2__t1_bintree2.depvmin1
2021-07-25 21:03
151
bintree2__t1_bintree2.depv1
2021-07-25 20:57
151
bintree2__t1_bintree2
2021-07-18 06:20
23K
bintree2__l11_bintree2.vout
2021-07-25 19:10
3.1K
bintree2__l11_bintree2.vmin1out
2021-07-25 21:02
2.9K
bintree2__l11_bintree2.vmin1
2021-07-25 20:57
353
bintree2__l11_bintree2.depvmin1
2021-07-25 21:03
53
bintree2__l11_bintree2.depv1
2021-07-25 20:57
53
bintree2__l11_bintree2
2021-07-18 06:20
20K
bintree2__l2_bintree2.vout
2021-07-25 16:51
3.0K
bintree2__l2_bintree2.vmin1out
2021-07-25 20:58
3.1K
bintree2__l2_bintree2.vmin1
2021-07-25 20:57
314
bintree2__l2_bintree2.depvmin1
2021-07-25 21:03
28
bintree2__l2_bintree2.depv1
2021-07-25 20:57
28
bintree2__l2_bintree2
2021-07-18 06:19
20K
bintree2__l1_bintree2.vout
2021-07-25 20:51
4.7K
bintree2__l1_bintree2.vmin1out
2021-07-25 21:02
4.6K
bintree2__l1_bintree2.vmin1
2021-07-25 20:57
394
bintree2__l1_bintree2.depvmin1
2021-07-25 21:03
52
bintree2__l1_bintree2.depv1
2021-07-25 20:57
52
bintree2__l1_bintree2
2021-07-18 06:19
23K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80