Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/cc0sp2
Name
Last modified
Size
Description
Parent Directory
-
cc0sp2__l20_cc0sp2
2024-07-27 10:40
71K
cc0sp2__l20_cc0sp2.vout
2024-08-03 08:10
4.2K
cc0sp2__l24_cc0sp2
2024-07-27 10:42
67K
cc0sp2__l24_cc0sp2.vout
2024-08-03 09:22
7.3K
cc0sp2__l25_cc0sp2
2024-07-27 08:57
62K
cc0sp2__l25_cc0sp2.vout
2024-08-03 08:50
7.8K
cc0sp2__l26_cc0sp2
2024-07-27 10:45
65K
cc0sp2__l26_cc0sp2.vout
2024-08-03 05:12
7.8K
cc0sp2__l27_cc0sp2
2024-07-27 10:48
62K
cc0sp2__l27_cc0sp2.vout
2024-08-03 07:16
7.8K
cc0sp2__l28_cc0sp2
2024-07-27 10:50
63K
cc0sp2__l28_cc0sp2.vout
2024-08-03 06:19
7.3K
cc0sp2__l33_cc0sp2
2024-07-27 10:53
62K
cc0sp2__l33_cc0sp2.depv1
2024-08-03 10:19
198
cc0sp2__l33_cc0sp2.depvmin1
2024-08-03 10:24
198
cc0sp2__l33_cc0sp2.vmin1
2024-08-03 10:20
1.4K
cc0sp2__l33_cc0sp2.vmin1out
2024-08-03 10:21
11K
cc0sp2__l33_cc0sp2.vout
2024-08-03 08:26
15K
cc0sp2__l34_cc0sp2
2024-07-27 10:55
65K
cc0sp2__l34_cc0sp2.vout
2024-08-03 05:46
7.3K
cc0sp2__l43_cc0sp2
2024-07-27 10:58
67K
cc0sp2__l43_cc0sp2.vout
2024-08-03 08:56
7.8K
cc0sp2__l53_cc0sp2
2024-07-27 11:01
75K
cc0sp2__l53_cc0sp2.vout
2024-08-03 04:08
3.6K
cc0sp2__l54_cc0sp2
2024-07-27 11:04
62K
cc0sp2__l54_cc0sp2.vout
2024-08-03 10:13
4.2K
cc0sp2__l55_cc0sp2
2024-07-27 11:06
52K
cc0sp2__l55_cc0sp2.depv1
2024-08-03 10:19
184
cc0sp2__l55_cc0sp2.depvmin1
2024-08-03 10:24
184
cc0sp2__l55_cc0sp2.vmin1
2024-08-03 10:20
2.4K
cc0sp2__l55_cc0sp2.vmin1out
2024-08-03 10:21
25K
cc0sp2__l55_cc0sp2.vout
2024-08-03 08:11
30K
cc0sp2__l68_cc0sp2
2024-07-27 11:09
69K
cc0sp2__l68_cc0sp2.vout
2024-08-03 09:20
7.8K
cc0sp2__l69_cc0sp2
2024-07-27 11:12
67K
cc0sp2__l69_cc0sp2.vout
2024-08-03 07:17
7.8K
cc0sp2__l71_cc0sp2
2024-07-27 08:59
70K
cc0sp2__l71_cc0sp2.vout
2024-08-03 06:28
7.8K
cc0sp2__t1_cc0sp2
2024-07-27 09:01
37K
cc0sp2__t1_cc0sp2.depv1
2024-08-03 10:19
246
cc0sp2__t1_cc0sp2.depvmin1
2024-08-03 10:24
246
cc0sp2__t1_cc0sp2.vmin1
2024-08-03 10:20
2.8K
cc0sp2__t1_cc0sp2.vmin1out
2024-08-03 10:20
26K
cc0sp2__t1_cc0sp2.vout
2024-08-03 09:07
26K
cc0sp2__t2_cc0sp2
2024-07-27 09:02
38K
cc0sp2__t2_cc0sp2.vout
2024-08-03 05:39
7.3K
cc0sp2__t3_cc0sp2
2024-07-27 09:04
52K
cc0sp2__t3_cc0sp2.vout
2024-08-03 07:21
3.6K
cc0sp2__t4_cc0sp2
2024-07-27 09:07
81K
cc0sp2__t4_cc0sp2.vout
2024-08-03 07:02
3.6K
cc0sp2__t5_cc0sp2
2024-07-27 09:09
75K
cc0sp2__t5_cc0sp2.vout
2024-08-03 07:30
3.6K
cc0sp2__t6_cc0sp2
2024-07-27 09:10
52K
cc0sp2__t6_cc0sp2.vout
2024-08-03 08:58
1.1K
cc0sp2__t7_cc0sp2
2024-07-27 09:12
80K
cc0sp2__t7_cc0sp2.vout
2024-08-03 07:10
3.6K
cc0sp2__t8_cc0sp2
2024-07-27 09:14
55K
cc0sp2__t8_cc0sp2.vout
2024-08-03 08:08
3.6K
cc0sp2__t9_cc0sp2
2024-07-27 08:44
52K
cc0sp2__t9_cc0sp2.depv1
2024-08-03 10:19
144
cc0sp2__t9_cc0sp2.depvmin1
2024-08-03 10:24
134
cc0sp2__t9_cc0sp2.vmin1
2024-08-03 10:20
2.7K
cc0sp2__t9_cc0sp2.vmin1out
2024-08-03 10:21
30K
cc0sp2__t9_cc0sp2.vout
2024-08-03 05:20
51K
cc0sp2__t10_cc0sp2
2024-07-27 09:17
66K
cc0sp2__t10_cc0sp2.vout
2024-08-03 09:18
3.6K
cc0sp2__t11_cc0sp2
2024-07-27 09:20
64K
cc0sp2__t11_cc0sp2.vout
2024-08-03 06:58
3.6K
cc0sp2__t12_cc0sp2
2024-07-27 09:22
66K
cc0sp2__t12_cc0sp2.vout
2024-08-03 06:52
3.6K
cc0sp2__t13_cc0sp2
2024-07-27 09:25
61K
cc0sp2__t13_cc0sp2.vout
2024-08-03 06:13
7.8K
cc0sp2__t14_cc0sp2
2024-07-27 09:27
61K
cc0sp2__t14_cc0sp2.vout
2024-08-03 06:52
7.8K
cc0sp2__t15_cc0sp2
2024-07-27 09:29
41K
cc0sp2__t15_cc0sp2.vout
2024-08-03 04:56
7.3K
cc0sp2__t16_cc0sp2
2024-07-27 09:31
60K
cc0sp2__t16_cc0sp2.vout
2024-08-03 04:18
3.7K
cc0sp2__t17_cc0sp2
2024-07-27 09:34
61K
cc0sp2__t17_cc0sp2.vout
2024-08-03 04:24
7.8K
cc0sp2__t18_cc0sp2
2024-07-27 09:36
63K
cc0sp2__t18_cc0sp2.vout
2024-08-03 06:59
7.3K
cc0sp2__t19_cc0sp2
2024-07-27 08:46
59K
cc0sp2__t19_cc0sp2.depv1
2024-08-03 10:19
87
cc0sp2__t19_cc0sp2.depvmin1
2024-08-03 10:24
87
cc0sp2__t19_cc0sp2.vmin1
2024-08-03 10:20
1.7K
cc0sp2__t19_cc0sp2.vmin1out
2024-08-03 10:21
22K
cc0sp2__t19_cc0sp2.vout
2024-08-03 05:40
23K
cc0sp2__t20_cc0sp2
2024-07-27 09:39
62K
cc0sp2__t20_cc0sp2.vout
2024-08-03 06:09
7.8K
cc0sp2__t21_cc0sp2
2024-07-27 09:41
64K
cc0sp2__t21_cc0sp2.vout
2024-08-03 04:10
7.8K
cc0sp2__t22_cc0sp2
2024-07-27 09:44
67K
cc0sp2__t22_cc0sp2.vout
2024-08-03 07:49
7.3K
cc0sp2__t23_cc0sp2
2024-07-27 09:47
65K
cc0sp2__t23_cc0sp2.vout
2024-08-03 09:06
7.3K
cc0sp2__t24_cc0sp2
2024-07-27 09:49
67K
cc0sp2__t24_cc0sp2.vout
2024-08-03 04:27
7.3K
cc0sp2__t25_cc0sp2
2024-07-27 09:52
72K
cc0sp2__t25_cc0sp2.vout
2024-08-03 10:04
7.8K
cc0sp2__t26_cc0sp2
2024-07-27 09:55
72K
cc0sp2__t26_cc0sp2.vout
2024-08-03 08:07
7.8K
cc0sp2__t27_cc0sp2
2024-07-27 09:58
73K
cc0sp2__t27_cc0sp2.vout
2024-08-03 09:35
7.3K
cc0sp2__t28_cc0sp2
2024-07-27 10:01
74K
cc0sp2__t28_cc0sp2.vout
2024-08-03 08:31
7.8K
cc0sp2__t29_cc0sp2
2024-07-27 10:04
75K
cc0sp2__t29_cc0sp2.vout
2024-08-03 04:07
7.3K
cc0sp2__t30_cc0sp2
2024-07-27 08:48
35K
cc0sp2__t30_cc0sp2.depv1
2024-08-03 10:19
36
cc0sp2__t30_cc0sp2.depvmin1
2024-08-03 10:24
36
cc0sp2__t30_cc0sp2.vmin1
2024-08-03 10:20
1.9K
cc0sp2__t30_cc0sp2.vmin1out
2024-08-03 10:21
34K
cc0sp2__t30_cc0sp2.vout
2024-08-03 08:08
44K
cc0sp2__t31_cc0sp2
2024-07-27 10:07
144K
cc0sp2__t31_cc0sp2.vout
2024-08-03 04:27
3.6K
cc0sp2__t32_cc0sp2
2024-07-27 10:10
72K
cc0sp2__t32_cc0sp2.vout
2024-08-03 04:14
4.7K
cc0sp2__t33_cc0sp2
2024-07-27 10:12
55K
cc0sp2__t33_cc0sp2.vout
2024-08-03 05:35
6.8K
cc0sp2__t34_cc0sp2
2024-07-27 10:14
41K
cc0sp2__t34_cc0sp2.depv1
2024-08-03 10:19
264
cc0sp2__t34_cc0sp2.depvmin1
2024-08-03 10:24
174
cc0sp2__t34_cc0sp2.vmin1
2024-08-03 10:20
2.5K
cc0sp2__t34_cc0sp2.vmin1out
2024-08-03 10:20
27K
cc0sp2__t34_cc0sp2.vout
2024-08-03 08:29
28K
cc0sp2__t35_cc0sp2
2024-07-27 10:15
51K
cc0sp2__t35_cc0sp2.vout
2024-08-03 05:08
7.3K
cc0sp2__t36_cc0sp2
2024-07-27 08:50
49K
cc0sp2__t36_cc0sp2.vout
2024-08-03 09:30
7.3K
cc0sp2__t37_cc0sp2
2024-07-27 10:18
54K
cc0sp2__t37_cc0sp2.vout
2024-08-03 07:08
7.8K
cc0sp2__t38_cc0sp2
2024-07-27 10:20
52K
cc0sp2__t38_cc0sp2.vout
2024-08-03 08:48
7.8K
cc0sp2__t39_cc0sp2
2024-07-27 10:22
53K
cc0sp2__t39_cc0sp2.vout
2024-08-03 05:24
7.8K
cc0sp2__t40_cc0sp2
2024-07-27 10:24
43K
cc0sp2__t40_cc0sp2.vout
2024-08-03 08:37
4.1K
cc0sp2__t41_cc0sp2
2024-07-27 08:52
44K
cc0sp2__t41_cc0sp2.depv1
2024-08-03 10:19
103
cc0sp2__t41_cc0sp2.depvmin1
2024-08-03 10:24
103
cc0sp2__t41_cc0sp2.vmin1
2024-08-03 10:20
2.0K
cc0sp2__t41_cc0sp2.vmin1out
2024-08-03 10:20
21K
cc0sp2__t41_cc0sp2.vout
2024-08-03 05:58
25K
cc0sp2__t42_cc0sp2
2024-07-27 10:27
104K
cc0sp2__t42_cc0sp2.vout
2024-08-03 06:09
4.2K
cc0sp2__t43_cc0sp2
2024-07-27 10:30
51K
cc0sp2__t43_cc0sp2.depv1
2024-08-03 10:19
98
cc0sp2__t43_cc0sp2.depvmin1
2024-08-03 10:24
98
cc0sp2__t43_cc0sp2.vmin1
2024-08-03 10:20
1.4K
cc0sp2__t43_cc0sp2.vmin1out
2024-08-03 10:22
22K
cc0sp2__t43_cc0sp2.vout
2024-08-03 04:14
27K
cc0sp2__t44_cc0sp2
2024-07-27 10:32
46K
cc0sp2__t44_cc0sp2.depv1
2024-08-03 10:19
389
cc0sp2__t44_cc0sp2.depvmin1
2024-08-03 10:24
389
cc0sp2__t44_cc0sp2.vmin1
2024-08-03 10:20
4.6K
cc0sp2__t44_cc0sp2.vmin1out
2024-08-03 10:20
51K
cc0sp2__t44_cc0sp2.vout
2024-08-03 05:54
51K
cc0sp2__t45_cc0sp2
2024-07-27 10:34
61K
cc0sp2__t45_cc0sp2.depv1
2024-08-03 10:19
398
cc0sp2__t45_cc0sp2.depvmin1
2024-08-03 10:24
398
cc0sp2__t45_cc0sp2.vmin1
2024-08-03 10:20
6.4K
cc0sp2__t45_cc0sp2.vmin1out
2024-08-03 10:20
77K
cc0sp2__t45_cc0sp2.vout
2024-08-03 05:14
160K
cc0sp2__t46_cc0sp2
2024-07-27 10:37
83K
cc0sp2__t46_cc0sp2.vout
2024-08-03 06:13
7.3K
cc0sp2__t47_cc0sp2
2024-07-27 08:54
59K
cc0sp2__t47_cc0sp2.depv1
2024-08-03 10:19
48
cc0sp2__t47_cc0sp2.depvmin1
2024-08-03 10:24
48
cc0sp2__t47_cc0sp2.vmin1
2024-08-03 10:20
1.3K
cc0sp2__t47_cc0sp2.vmin1out
2024-08-03 10:21
21K
cc0sp2__t47_cc0sp2.vout
2024-08-03 08:45
20K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80