Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/nomin_6
Name
Last modified
Size
Description
Parent Directory
-
nomin_6__t1_nomin_6
2024-07-27 10:09
14K
nomin_6__t1_nomin_6.vout
2024-08-03 04:07
2.0K
nomin_6__t2_nomin_6
2024-07-27 10:10
14K
nomin_6__t2_nomin_6.depv1
2024-08-03 10:19
264
nomin_6__t2_nomin_6.depvmin1
2024-08-03 10:24
264
nomin_6__t2_nomin_6.vmin1
2024-08-03 10:20
4.7K
nomin_6__t2_nomin_6.vmin1out
2024-08-03 10:22
111K
nomin_6__t2_nomin_6.vout
2024-08-03 06:34
156K
nomin_6__t3_nomin_6
2024-07-27 10:11
14K
nomin_6__t3_nomin_6.depv1
2024-08-03 10:19
264
nomin_6__t3_nomin_6.depvmin1
2024-08-03 10:24
264
nomin_6__t3_nomin_6.vmin1
2024-08-03 10:20
4.7K
nomin_6__t3_nomin_6.vmin1out
2024-08-03 10:21
112K
nomin_6__t3_nomin_6.vout
2024-08-03 07:05
158K
nomin_6__t4_nomin_6
2024-07-27 10:14
42K
nomin_6__t4_nomin_6.vout
2024-08-03 09:41
4.2K
nomin_6__t5_nomin_6
2024-07-27 10:16
28K
nomin_6__t5_nomin_6.vout
2024-08-03 07:59
3.7K
nomin_6__t7_nomin_6
2024-07-27 10:17
26K
nomin_6__t7_nomin_6.vout
2024-08-03 05:37
7.3K
nomin_6__t8_nomin_6
2024-07-27 10:19
31K
nomin_6__t8_nomin_6.vout
2024-08-03 06:12
6.8K
nomin_6__t9_nomin_6
2024-07-27 10:21
31K
nomin_6__t9_nomin_6.vout
2024-08-03 05:02
3.7K
nomin_6__t10_nomin_6
2024-07-27 10:23
20K
nomin_6__t10_nomin_6.depv1
2024-08-03 10:19
175
nomin_6__t10_nomin_6.depvmin1
2024-08-03 10:24
175
nomin_6__t10_nomin_6.vmin1
2024-08-03 10:20
4.5K
nomin_6__t10_nomin_6.vmin1out
2024-08-03 10:23
195K
nomin_6__t10_nomin_6.vout
2024-08-03 05:24
72K
nomin_6__t11_nomin_6
2024-07-27 10:25
27K
nomin_6__t11_nomin_6.vout
2024-08-03 05:09
4.2K
nomin_6__t12_nomin_6
2024-07-27 10:26
33K
nomin_6__t12_nomin_6.vout
2024-08-03 05:19
6.8K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80