Index of /~mptp/mml5.63.1382/MPTP2/problems_small/pralg_1
Name
Last modified
Size
Description
Parent Directory
-
pralg_1__t8_pralg_1.depvmin1
2021-07-25 21:03
212
pralg_1__t8_pralg_1.vmin1out
2021-07-25 21:01
28K
pralg_1__t8_pralg_1.vmin1
2021-07-25 20:57
3.3K
pralg_1__t8_pralg_1.depv1
2021-07-25 20:57
324
pralg_1__t9_pralg_1.vout
2021-07-25 19:16
7.8K
pralg_1__t3_pralg_1.vout
2021-07-25 18:58
4.7K
pralg_1__t11_pralg_1.vout
2021-07-25 18:32
7.3K
pralg_1__t2_pralg_1.vout
2021-07-25 17:16
8.3K
pralg_1__t7_pralg_1.vout
2021-07-25 17:13
4.2K
pralg_1__t4_pralg_1.vout
2021-07-25 16:37
7.3K
pralg_1__t10_pralg_1.vout
2021-07-25 16:21
6.2K
pralg_1__t1_pralg_1.vout
2021-07-25 15:56
4.7K
pralg_1__t6_pralg_1.vout
2021-07-25 15:18
4.7K
pralg_1__t5_pralg_1.vout
2021-07-25 15:03
6.8K
pralg_1__t8_pralg_1.vout
2021-07-25 14:42
37K
pralg_1__t11_pralg_1
2021-07-17 17:38
34K
pralg_1__t10_pralg_1
2021-07-17 17:38
36K
pralg_1__t9_pralg_1
2021-07-17 17:37
31K
pralg_1__t8_pralg_1
2021-07-17 17:37
32K
pralg_1__t7_pralg_1
2021-07-17 17:36
60K
pralg_1__t6_pralg_1
2021-07-17 17:36
44K
pralg_1__t5_pralg_1
2021-07-17 17:35
47K
pralg_1__t4_pralg_1
2021-07-17 17:34
32K
pralg_1__t3_pralg_1
2021-07-17 17:34
27K
pralg_1__t2_pralg_1
2021-07-17 17:33
29K
pralg_1__t1_pralg_1
2021-07-17 17:33
40K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80