Index of /~mptp/mml5.63.1382/MPTP2/problems_small/nomin_5
Name
Last modified
Size
Description
Parent Directory
-
nomin_5__t12_nomin_5.depvmin1
2021-07-25 21:03
178
nomin_5__t3_nomin_5.depvmin1
2021-07-25 21:03
49
nomin_5__t1_nomin_5.depvmin1
2021-07-25 21:03
49
nomin_5__t12_nomin_5.vmin1out
2021-07-25 21:02
106K
nomin_5__t1_nomin_5.vmin1out
2021-07-25 21:01
29K
nomin_5__t2_nomin_5.vmin1out
2021-07-25 21:00
4.2K
nomin_5__t3_nomin_5.vmin1out
2021-07-25 20:59
7.0K
nomin_5__t12_nomin_5.vmin1
2021-07-25 20:57
4.3K
nomin_5__t3_nomin_5.vmin1
2021-07-25 20:57
1.0K
nomin_5__t2_nomin_5.vmin1
2021-07-25 20:57
3.6K
nomin_5__t1_nomin_5.vmin1
2021-07-25 20:57
2.5K
nomin_5__t12_nomin_5.depv1
2021-07-25 20:57
178
nomin_5__t1_nomin_5.depv1
2021-07-25 20:57
49
nomin_5__t3_nomin_5.depv1
2021-07-25 20:57
61
nomin_5__t2_nomin_5.depv1
2021-07-25 20:57
74
nomin_5__t11_nomin_5.vout
2021-07-25 20:39
3.7K
nomin_5__t13_nomin_5.vout
2021-07-25 20:31
4.2K
nomin_5__t5_nomin_5.vout
2021-07-25 19:49
6.8K
nomin_5__t1_nomin_5.vout
2021-07-25 19:42
46K
nomin_5__t12_nomin_5.vout
2021-07-25 18:50
61K
nomin_5__t4_nomin_5.vout
2021-07-25 18:20
6.8K
nomin_5__t6_nomin_5.vout
2021-07-25 18:15
3.6K
nomin_5__t9_nomin_5.vout
2021-07-25 18:03
7.3K
nomin_5__t3_nomin_5.vout
2021-07-25 17:25
13K
nomin_5__t14_nomin_5.vout
2021-07-25 16:33
6.8K
nomin_5__t7_nomin_5.vout
2021-07-25 15:25
3.7K
nomin_5__t2_nomin_5.vout
2021-07-25 14:30
70K
nomin_5__t10_nomin_5.vout
2021-07-25 14:24
6.8K
nomin_5__t14_nomin_5
2021-07-17 17:26
43K
nomin_5__t13_nomin_5
2021-07-17 17:26
38K
nomin_5__t12_nomin_5
2021-07-17 17:25
32K
nomin_5__t11_nomin_5
2021-07-17 17:24
42K
nomin_5__t10_nomin_5
2021-07-17 17:23
41K
nomin_5__t9_nomin_5
2021-07-17 17:23
38K
nomin_5__t7_nomin_5
2021-07-17 17:22
176K
nomin_5__t6_nomin_5
2021-07-17 17:21
45K
nomin_5__t5_nomin_5
2021-07-17 17:20
25K
nomin_5__t4_nomin_5
2021-07-17 17:20
23K
nomin_5__t3_nomin_5
2021-07-17 17:19
12K
nomin_5__t2_nomin_5
2021-07-17 17:19
21K
nomin_5__t1_nomin_5
2021-07-17 17:18
20K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80