Index of /~mptp/mml5.63.1382/MPTP2/problems_small/msualg_1
Name
Last modified
Size
Description
Parent Directory
-
msualg_1__t10_msualg_1.vout
2021-07-25 16:05
42K
msualg_1__t10_msualg_1.vmin1out
2021-07-25 20:59
42K
msualg_1__t10_msualg_1.vmin1
2021-07-25 20:57
2.6K
msualg_1__t10_msualg_1.depvmin1
2021-07-25 21:03
183
msualg_1__t10_msualg_1.depv1
2021-07-25 20:57
183
msualg_1__t10_msualg_1
2021-07-18 08:59
37K
msualg_1__t9_msualg_1.vout
2021-07-25 19:01
4.7K
msualg_1__t9_msualg_1
2021-07-18 08:59
45K
msualg_1__t8_msualg_1.vout
2021-07-25 20:26
7.3K
msualg_1__t8_msualg_1
2021-07-18 08:58
41K
msualg_1__t7_msualg_1.vout
2021-07-25 17:18
22K
msualg_1__t7_msualg_1.vmin1out
2021-07-25 21:01
21K
msualg_1__t7_msualg_1.vmin1
2021-07-25 20:57
2.3K
msualg_1__t7_msualg_1.depvmin1
2021-07-25 21:03
230
msualg_1__t7_msualg_1.depv1
2021-07-25 20:57
230
msualg_1__t7_msualg_1
2021-07-18 08:58
38K
msualg_1__t6_msualg_1.vout
2021-07-25 14:27
7.3K
msualg_1__t6_msualg_1
2021-07-18 08:57
45K
msualg_1__t5_msualg_1.vout
2021-07-25 19:08
8.4K
msualg_1__t5_msualg_1
2021-07-18 08:57
19K
msualg_1__t4_msualg_1.vout
2021-07-25 15:42
33K
msualg_1__t4_msualg_1.vmin1out
2021-07-25 20:59
33K
msualg_1__t4_msualg_1.vmin1
2021-07-25 20:57
2.5K
msualg_1__t4_msualg_1.depvmin1
2021-07-25 21:03
270
msualg_1__t4_msualg_1.depv1
2021-07-25 20:57
270
msualg_1__t4_msualg_1
2021-07-18 08:57
27K
msualg_1__t3_msualg_1.vout
2021-07-25 20:03
12K
msualg_1__t3_msualg_1.vmin1out
2021-07-25 20:58
11K
msualg_1__t3_msualg_1.vmin1
2021-07-25 20:57
1.4K
msualg_1__t3_msualg_1.depvmin1
2021-07-25 21:03
139
msualg_1__t3_msualg_1.depv1
2021-07-25 20:57
164
msualg_1__t3_msualg_1
2021-07-18 08:56
21K
msualg_1__t2_msualg_1.vout
2021-07-25 16:26
37K
msualg_1__t2_msualg_1.vmin1out
2021-07-25 21:01
39K
msualg_1__t2_msualg_1.vmin1
2021-07-25 20:57
2.9K
msualg_1__t2_msualg_1.depvmin1
2021-07-25 21:03
216
msualg_1__t2_msualg_1.depv1
2021-07-25 20:57
272
msualg_1__t2_msualg_1
2021-07-18 08:56
26K
msualg_1__t1_msualg_1.vout
2021-07-25 18:26
16K
msualg_1__t1_msualg_1.vmin1out
2021-07-25 21:02
15K
msualg_1__t1_msualg_1.vmin1
2021-07-25 20:57
2.0K
msualg_1__t1_msualg_1.depvmin1
2021-07-25 21:03
107
msualg_1__t1_msualg_1.depv1
2021-07-25 20:57
107
msualg_1__t1_msualg_1
2021-07-18 08:55
35K
msualg_1__l15_msualg_1.vout
2021-07-25 18:58
4.7K
msualg_1__l15_msualg_1
2021-07-18 09:00
35K
msualg_1__l14_msualg_1.vout
2021-07-25 17:04
4.9K
msualg_1__l14_msualg_1.vmin1out
2021-07-25 20:59
5.0K
msualg_1__l14_msualg_1.vmin1
2021-07-25 20:57
432
msualg_1__l14_msualg_1.depvmin1
2021-07-25 21:03
80
msualg_1__l14_msualg_1.depv1
2021-07-25 20:57
80
msualg_1__l14_msualg_1
2021-07-18 08:56
12K
msualg_1__l8_msualg_1.vout
2021-07-25 18:02
6.8K
msualg_1__l8_msualg_1
2021-07-18 08:59
24K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80