Index of /~mptp/mml5.63.1382/MPTP2/problems_small/holder_1
Name
Last modified
Size
Description
Parent Directory
-
holder_1__t13_holder_1.vout
2021-07-25 15:02
4.7K
holder_1__t13_holder_1
2021-07-18 06:55
40K
holder_1__t12_holder_1.vout
2021-07-25 18:02
4.7K
holder_1__t12_holder_1
2021-07-18 06:54
62K
holder_1__t11_holder_1.vout
2021-07-25 17:07
2.0K
holder_1__t11_holder_1
2021-07-18 06:54
28K
holder_1__t9_holder_1.vout
2021-07-25 16:58
4.1K
holder_1__t9_holder_1
2021-07-18 06:53
40K
holder_1__t8_holder_1.vout
2021-07-25 20:25
2.0K
holder_1__t8_holder_1
2021-07-18 06:53
27K
holder_1__t7_holder_1.vout
2021-07-25 14:56
4.7K
holder_1__t7_holder_1
2021-07-18 06:53
73K
holder_1__t6_holder_1.vout
2021-07-25 17:22
4.7K
holder_1__t6_holder_1
2021-07-18 06:52
67K
holder_1__t5_holder_1.vout
2021-07-25 18:29
4.7K
holder_1__t5_holder_1
2021-07-18 06:52
35K
holder_1__t4_holder_1.vout
2021-07-25 15:14
3.7K
holder_1__t4_holder_1
2021-07-18 06:51
71K
holder_1__t3_holder_1.vout
2021-07-25 16:40
29K
holder_1__t3_holder_1.vmin1out
2021-07-25 21:02
29K
holder_1__t3_holder_1.vmin1
2021-07-25 20:57
2.1K
holder_1__t3_holder_1.depvmin1
2021-07-25 21:03
233
holder_1__t3_holder_1.depv1
2021-07-25 20:57
233
holder_1__t3_holder_1
2021-07-18 06:51
12K
holder_1__t2_holder_1.vout
2021-07-25 19:23
4.7K
holder_1__t2_holder_1
2021-07-18 06:51
13K
holder_1__t1_holder_1.vout
2021-07-25 18:01
4.7K
holder_1__t1_holder_1
2021-07-18 06:50
19K
holder_1__l9_holder_1.vout
2021-07-25 18:42
7.3K
holder_1__l9_holder_1
2021-07-18 06:56
28K
holder_1__l8_holder_1.vout
2021-07-25 18:45
2.0K
holder_1__l8_holder_1
2021-07-18 06:55
24K
holder_1__l7_holder_1.vout
2021-07-25 20:41
43K
holder_1__l7_holder_1.vmin1out
2021-07-25 21:00
39K
holder_1__l7_holder_1.vmin1
2021-07-25 20:57
3.1K
holder_1__l7_holder_1.depvmin1
2021-07-25 21:03
266
holder_1__l7_holder_1.depv1
2021-07-25 20:57
266
holder_1__l7_holder_1
2021-07-18 06:55
23K
holder_1__l6_holder_1.vout
2021-07-25 18:21
7.3K
holder_1__l6_holder_1
2021-07-18 06:55
42K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80