Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/mfold_1
Name
Last modified
Size
Description
Parent Directory
-
mfold_1__l15_mfold_1
2024-07-27 23:25
83K
mfold_1__l15_mfold_1.vout
2024-08-03 06:20
7.4K
mfold_1__l19_mfold_1
2024-07-27 22:52
52K
mfold_1__l19_mfold_1.depv1
2024-08-03 10:19
160
mfold_1__l19_mfold_1.depvmin1
2024-08-03 10:24
160
mfold_1__l19_mfold_1.vmin1
2024-08-03 10:20
1.1K
mfold_1__l19_mfold_1.vmin1out
2024-08-03 10:20
8.1K
mfold_1__l19_mfold_1.vout
2024-08-03 04:51
9.8K
mfold_1__t2_mfold_1
2024-07-27 22:56
156K
mfold_1__t2_mfold_1.vout
2024-08-03 10:13
3.7K
mfold_1__t3_mfold_1
2024-07-27 22:58
64K
mfold_1__t3_mfold_1.vout
2024-08-03 04:41
5.3K
mfold_1__t5_mfold_1
2024-07-27 23:01
62K
mfold_1__t5_mfold_1.depv1
2024-08-03 10:19
282
mfold_1__t5_mfold_1.depvmin1
2024-08-03 10:24
270
mfold_1__t5_mfold_1.vmin1
2024-08-03 10:20
2.4K
mfold_1__t5_mfold_1.vmin1out
2024-08-03 10:20
25K
mfold_1__t5_mfold_1.vout
2024-08-03 04:19
25K
mfold_1__t6_mfold_1
2024-07-27 23:04
499K
mfold_1__t6_mfold_1.vout
2024-08-03 04:21
3.7K
mfold_1__t7_mfold_1
2024-07-27 23:08
107K
mfold_1__t7_mfold_1.vout
2024-08-03 06:13
3.7K
mfold_1__t8_mfold_1
2024-07-27 23:10
83K
mfold_1__t8_mfold_1.vout
2024-08-03 05:27
7.8K
mfold_1__t10_mfold_1
2024-07-27 23:13
66K
mfold_1__t10_mfold_1.vout
2024-08-03 09:59
7.3K
mfold_1__t11_mfold_1
2024-07-27 23:15
59K
mfold_1__t11_mfold_1.vout
2024-08-03 05:44
7.3K
mfold_1__t12_mfold_1
2024-07-27 23:17
71K
mfold_1__t12_mfold_1.vout
2024-08-03 07:19
3.7K
mfold_1__t13_mfold_1
2024-07-27 23:20
50K
mfold_1__t13_mfold_1.depv1
2024-08-03 10:19
48
mfold_1__t13_mfold_1.depvmin1
2024-08-03 10:24
48
mfold_1__t13_mfold_1.vmin1
2024-08-03 10:20
1.6K
mfold_1__t13_mfold_1.vmin1out
2024-08-03 10:20
64K
mfold_1__t13_mfold_1.vout
2024-08-03 06:12
51K
mfold_1__t14_mfold_1
2024-07-27 23:22
60K
mfold_1__t14_mfold_1.vout
2024-08-03 06:47
7.8K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80