Index of /~mptp/mml5.63.1382/MPTP2/problems_small/bintree1
Name
Last modified
Size
Description
Parent Directory
-
bintree1__t1_bintree1
2021-07-18 03:52
25K
bintree1__t1_bintree1.depv1
2021-07-25 20:57
101
bintree1__t1_bintree1.depvmin1
2021-07-25 21:03
101
bintree1__t1_bintree1.vmin1
2021-07-25 20:57
1.0K
bintree1__t1_bintree1.vmin1out
2021-07-25 20:59
9.3K
bintree1__t1_bintree1.vout
2021-07-25 14:25
9.3K
bintree1__t2_bintree1
2021-07-18 03:52
25K
bintree1__t2_bintree1.depv1
2021-07-25 20:57
76
bintree1__t2_bintree1.depvmin1
2021-07-25 21:03
76
bintree1__t2_bintree1.vmin1
2021-07-25 20:57
1.2K
bintree1__t2_bintree1.vmin1out
2021-07-25 21:02
16K
bintree1__t2_bintree1.vout
2021-07-25 16:51
16K
bintree1__t3_bintree1
2021-07-18 03:54
32K
bintree1__t3_bintree1.vout
2021-07-25 17:05
7.9K
bintree1__t4_bintree1
2021-07-18 03:53
11K
bintree1__t4_bintree1.depv1
2021-07-25 20:57
25
bintree1__t4_bintree1.depvmin1
2021-07-25 21:03
25
bintree1__t4_bintree1.vmin1
2021-07-25 20:57
219
bintree1__t4_bintree1.vmin1out
2021-07-25 21:00
1.6K
bintree1__t4_bintree1.vout
2021-07-25 19:39
1.4K
bintree1__t5_bintree1
2021-07-18 03:53
12K
bintree1__t5_bintree1.depv1
2021-07-25 20:57
25
bintree1__t5_bintree1.depvmin1
2021-07-25 21:03
25
bintree1__t5_bintree1.vmin1
2021-07-25 20:57
183
bintree1__t5_bintree1.vmin1out
2021-07-25 21:01
1.5K
bintree1__t5_bintree1.vout
2021-07-25 19:15
1.4K
bintree1__t6_bintree1
2021-07-18 03:54
29K
bintree1__t6_bintree1.vout
2021-07-25 14:55
2.0K
bintree1__t7_bintree1
2021-07-18 03:55
35K
bintree1__t7_bintree1.vout
2021-07-25 20:51
7.3K
bintree1__t8_bintree1
2021-07-18 03:55
34K
bintree1__t8_bintree1.vout
2021-07-25 14:46
7.3K
bintree1__t9_bintree1
2021-07-18 03:55
13K
bintree1__t9_bintree1.vout
2021-07-25 15:19
2.0K
bintree1__t10_bintree1
2021-07-18 03:56
44K
bintree1__t10_bintree1.vout
2021-07-25 16:44
7.3K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80