Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/msafree
Name
Last modified
Size
Description
Parent Directory
-
msafree__t1_msafree
2024-07-27 03:51
32K
msafree__t1_msafree.vout
2024-08-03 04:54
7.3K
msafree__t2_msafree
2024-07-27 03:52
18K
msafree__t2_msafree.depv1
2024-08-03 10:19
126
msafree__t2_msafree.depvmin1
2024-08-03 10:24
92
msafree__t2_msafree.vmin1
2024-08-03 10:19
1.6K
msafree__t2_msafree.vmin1out
2024-08-03 10:22
24K
msafree__t2_msafree.vout
2024-08-03 06:53
42K
msafree__t3_msafree
2024-07-27 03:53
39K
msafree__t3_msafree.depv1
2024-08-03 10:19
137
msafree__t3_msafree.depvmin1
2024-08-03 10:24
137
msafree__t3_msafree.vmin1
2024-08-03 10:19
2.4K
msafree__t3_msafree.vmin1out
2024-08-03 10:21
43K
msafree__t3_msafree.vout
2024-08-03 05:43
40K
msafree__t4_msafree
2024-07-27 03:54
35K
msafree__t4_msafree.vout
2024-08-03 04:16
4.7K
msafree__t5_msafree
2024-07-27 03:56
40K
msafree__t5_msafree.vout
2024-08-03 07:59
4.7K
msafree__t6_msafree
2024-07-27 03:58
51K
msafree__t6_msafree.vout
2024-08-03 05:39
3.7K
msafree__t7_msafree
2024-07-27 03:59
39K
msafree__t7_msafree.vout
2024-08-03 06:29
7.3K
msafree__t8_msafree
2024-07-27 04:01
57K
msafree__t8_msafree.vout
2024-08-03 08:22
3.7K
msafree__t9_msafree
2024-07-27 04:03
54K
msafree__t9_msafree.vout
2024-08-03 08:35
3.7K
msafree__t10_msafree
2024-07-27 04:06
64K
msafree__t10_msafree.vout
2024-08-03 09:08
3.7K
msafree__t11_msafree
2024-07-27 04:08
51K
msafree__t11_msafree.vout
2024-08-03 04:59
4.2K
msafree__t12_msafree
2024-07-27 04:09
43K
msafree__t12_msafree.vout
2024-08-03 06:17
7.3K
msafree__t13_msafree
2024-07-27 04:21
39K
msafree__t13_msafree.vout
2024-08-03 06:31
4.2K
msafree__t14_msafree
2024-07-27 04:11
40K
msafree__t14_msafree.vout
2024-08-03 04:56
4.7K
msafree__t15_msafree
2024-07-27 04:23
54K
msafree__t15_msafree.vout
2024-08-03 08:01
5.3K
msafree__t16_msafree
2024-07-27 04:14
97K
msafree__t16_msafree.vout
2024-08-03 04:12
5.3K
msafree__t17_msafree
2024-07-27 04:16
38K
msafree__t17_msafree.depv1
2024-08-03 10:19
65
msafree__t17_msafree.depvmin1
2024-08-03 10:24
65
msafree__t17_msafree.vmin1
2024-08-03 10:19
1.4K
msafree__t17_msafree.vmin1out
2024-08-03 10:20
15K
msafree__t17_msafree.vout
2024-08-03 06:09
22K
msafree__t18_msafree
2024-07-27 04:18
68K
msafree__t18_msafree.vout
2024-08-03 05:05
5.3K
msafree__t19_msafree
2024-07-27 04:19
42K
msafree__t19_msafree.depv1
2024-08-03 10:19
74
msafree__t19_msafree.depvmin1
2024-08-03 10:24
74
msafree__t19_msafree.vmin1
2024-08-03 10:19
1.9K
msafree__t19_msafree.vmin1out
2024-08-03 10:21
32K
msafree__t19_msafree.vout
2024-08-03 07:32
31K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80