Index of /~mptp/mml5.63.1382/MPTP2/problems_small/msafree2
Name
Last modified
Size
Description
Parent Directory
-
msafree2__t12_msafree2.vout
2021-07-25 14:40
7.3K
msafree2__t12_msafree2
2021-07-18 06:48
66K
msafree2__t11_msafree2.vout
2021-07-25 15:12
7.3K
msafree2__t11_msafree2
2021-07-18 06:47
68K
msafree2__t10_msafree2.vout
2021-07-25 16:33
7.3K
msafree2__t10_msafree2
2021-07-18 06:46
67K
msafree2__t9_msafree2.vout
2021-07-25 16:41
7.3K
msafree2__t9_msafree2
2021-07-18 06:46
50K
msafree2__t8_msafree2.vout
2021-07-25 16:17
4.7K
msafree2__t8_msafree2
2021-07-18 06:45
46K
msafree2__t7_msafree2.vout
2021-07-25 16:59
7.3K
msafree2__t7_msafree2
2021-07-18 06:45
43K
msafree2__t6_msafree2.vout
2021-07-25 17:13
5.8K
msafree2__t6_msafree2
2021-07-18 06:44
53K
msafree2__t5_msafree2.vout
2021-07-25 16:25
4.7K
msafree2__t5_msafree2
2021-07-18 06:44
45K
msafree2__t4_msafree2.vout
2021-07-25 17:04
7.6K
msafree2__t4_msafree2.vmin1out
2021-07-25 20:58
7.5K
msafree2__t4_msafree2.vmin1
2021-07-25 20:57
1.0K
msafree2__t4_msafree2.depvmin1
2021-07-25 21:03
120
msafree2__t4_msafree2.depv1
2021-07-25 20:57
120
msafree2__t4_msafree2
2021-07-18 06:43
27K
msafree2__t3_msafree2.vout
2021-07-25 19:12
5.3K
msafree2__t3_msafree2
2021-07-18 06:43
28K
msafree2__t2_msafree2.vout
2021-07-25 18:24
40K
msafree2__t2_msafree2.vmin1out
2021-07-25 21:01
38K
msafree2__t2_msafree2.vmin1
2021-07-25 20:57
3.5K
msafree2__t2_msafree2.depvmin1
2021-07-25 21:03
281
msafree2__t2_msafree2.depv1
2021-07-25 20:57
354
msafree2__t2_msafree2
2021-07-18 06:42
30K
msafree2__t1_msafree2.vout
2021-07-25 17:40
16K
msafree2__t1_msafree2.vmin1out
2021-07-25 20:58
15K
msafree2__t1_msafree2.vmin1
2021-07-25 20:57
2.1K
msafree2__t1_msafree2.depvmin1
2021-07-25 21:03
244
msafree2__t1_msafree2.depv1
2021-07-25 20:57
277
msafree2__t1_msafree2
2021-07-18 06:42
26K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80