Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/cardfil3
Name
Last modified
Size
Description
Parent Directory
-
cardfil3__l30_cardfil3
2024-07-28 07:33
25K
cardfil3__l30_cardfil3.depv1
2024-08-03 10:19
80
cardfil3__l30_cardfil3.depvmin1
2024-08-03 10:24
80
cardfil3__l30_cardfil3.vmin1
2024-08-03 10:20
1.1K
cardfil3__l30_cardfil3.vmin1out
2024-08-03 10:21
16K
cardfil3__l30_cardfil3.vout
2024-08-03 08:13
16K
cardfil3__l31_cardfil3
2024-07-28 07:35
31K
cardfil3__l31_cardfil3.vout
2024-08-03 10:15
4.2K
cardfil3__l38_cardfil3
2024-07-28 07:37
41K
cardfil3__l38_cardfil3.vout
2024-08-03 04:57
6.8K
cardfil3__t1_cardfil3
2024-07-28 06:48
19K
cardfil3__t1_cardfil3.depv1
2024-08-03 10:19
116
cardfil3__t1_cardfil3.depvmin1
2024-08-03 10:24
116
cardfil3__t1_cardfil3.vmin1
2024-08-03 10:20
834
cardfil3__t1_cardfil3.vmin1out
2024-08-03 10:21
7.9K
cardfil3__t1_cardfil3.vout
2024-08-03 07:32
8.8K
cardfil3__t2_cardfil3
2024-07-28 06:49
22K
cardfil3__t2_cardfil3.depv1
2024-08-03 10:19
87
cardfil3__t2_cardfil3.depvmin1
2024-08-03 10:24
87
cardfil3__t2_cardfil3.vmin1
2024-08-03 10:20
913
cardfil3__t2_cardfil3.vmin1out
2024-08-03 10:21
15K
cardfil3__t2_cardfil3.vout
2024-08-03 05:35
15K
cardfil3__t3_cardfil3
2024-07-28 06:50
28K
cardfil3__t3_cardfil3.depv1
2024-08-03 10:19
125
cardfil3__t3_cardfil3.depvmin1
2024-08-03 10:24
125
cardfil3__t3_cardfil3.vmin1
2024-08-03 10:20
1.6K
cardfil3__t3_cardfil3.vmin1out
2024-08-03 10:22
17K
cardfil3__t3_cardfil3.vout
2024-08-03 06:54
18K
cardfil3__t4_cardfil3
2024-07-28 06:52
38K
cardfil3__t4_cardfil3.vout
2024-08-03 05:22
7.3K
cardfil3__t5_cardfil3
2024-07-28 06:53
30K
cardfil3__t5_cardfil3.vout
2024-08-03 09:29
8.4K
cardfil3__t6_cardfil3
2024-07-28 06:55
42K
cardfil3__t6_cardfil3.vout
2024-08-03 06:04
5.3K
cardfil3__t7_cardfil3
2024-07-28 06:26
35K
cardfil3__t7_cardfil3.vout
2024-08-03 09:35
6.8K
cardfil3__t8_cardfil3
2024-07-28 06:57
36K
cardfil3__t8_cardfil3.vout
2024-08-03 04:32
6.8K
cardfil3__t9_cardfil3
2024-07-28 06:59
38K
cardfil3__t9_cardfil3.vout
2024-08-03 10:01
7.3K
cardfil3__t10_cardfil3
2024-07-28 07:00
25K
cardfil3__t10_cardfil3.depv1
2024-08-03 10:19
89
cardfil3__t10_cardfil3.depvmin1
2024-08-03 10:24
89
cardfil3__t10_cardfil3.vmin1
2024-08-03 10:20
2.2K
cardfil3__t10_cardfil3.vmin1out
2024-08-03 10:23
71K
cardfil3__t10_cardfil3.vout
2024-08-03 09:33
69K
cardfil3__t11_cardfil3
2024-07-28 07:02
39K
cardfil3__t11_cardfil3.vout
2024-08-03 09:55
6.8K
cardfil3__t12_cardfil3
2024-07-28 07:03
30K
cardfil3__t12_cardfil3.depv1
2024-08-03 10:19
38
cardfil3__t12_cardfil3.depvmin1
2024-08-03 10:24
38
cardfil3__t12_cardfil3.vmin1
2024-08-03 10:20
1.9K
cardfil3__t12_cardfil3.vmin1out
2024-08-03 10:22
88K
cardfil3__t12_cardfil3.vout
2024-08-03 06:08
88K
cardfil3__t13_cardfil3
2024-07-28 06:28
39K
cardfil3__t13_cardfil3.vout
2024-08-03 04:40
6.8K
cardfil3__t14_cardfil3
2024-07-28 06:30
37K
cardfil3__t14_cardfil3.depv1
2024-08-03 10:19
40
cardfil3__t14_cardfil3.depvmin1
2024-08-03 10:24
40
cardfil3__t14_cardfil3.vmin1
2024-08-03 10:20
1.8K
cardfil3__t14_cardfil3.vmin1out
2024-08-03 10:23
41K
cardfil3__t14_cardfil3.vout
2024-08-03 04:20
55K
cardfil3__t15_cardfil3
2024-07-28 06:32
33K
cardfil3__t15_cardfil3.depv1
2024-08-03 10:19
40
cardfil3__t15_cardfil3.depvmin1
2024-08-03 10:24
40
cardfil3__t15_cardfil3.vmin1
2024-08-03 10:20
2.1K
cardfil3__t15_cardfil3.vmin1out
2024-08-03 10:23
97K
cardfil3__t15_cardfil3.vout
2024-08-03 08:02
99K
cardfil3__t16_cardfil3
2024-07-28 06:44
31K
cardfil3__t16_cardfil3.depv1
2024-08-03 10:19
147
cardfil3__t16_cardfil3.depvmin1
2024-08-03 10:24
147
cardfil3__t16_cardfil3.vmin1
2024-08-03 10:20
2.6K
cardfil3__t16_cardfil3.vmin1out
2024-08-03 10:20
87K
cardfil3__t16_cardfil3.vout
2024-08-03 09:57
67K
cardfil3__t17_cardfil3
2024-07-28 07:05
31K
cardfil3__t17_cardfil3.depv1
2024-08-03 10:19
169
cardfil3__t17_cardfil3.depvmin1
2024-08-03 10:24
169
cardfil3__t17_cardfil3.vmin1
2024-08-03 10:20
2.4K
cardfil3__t17_cardfil3.vmin1out
2024-08-03 10:22
58K
cardfil3__t17_cardfil3.vout
2024-08-03 04:19
45K
cardfil3__t18_cardfil3
2024-07-28 06:45
29K
cardfil3__t18_cardfil3.vout
2024-08-03 06:31
7.3K
cardfil3__t19_cardfil3
2024-07-28 06:47
33K
cardfil3__t19_cardfil3.depv1
2024-08-03 10:19
224
cardfil3__t19_cardfil3.depvmin1
2024-08-03 10:24
161
cardfil3__t19_cardfil3.vmin1
2024-08-03 10:20
3.8K
cardfil3__t19_cardfil3.vmin1out
2024-08-03 10:21
67K
cardfil3__t19_cardfil3.vout
2024-08-03 08:01
63K
cardfil3__t20_cardfil3
2024-07-28 06:33
19K
cardfil3__t20_cardfil3.depv1
2024-08-03 10:19
25
cardfil3__t20_cardfil3.depvmin1
2024-08-03 10:24
25
cardfil3__t20_cardfil3.vmin1
2024-08-03 10:20
244
cardfil3__t20_cardfil3.vmin1out
2024-08-03 10:21
2.4K
cardfil3__t20_cardfil3.vout
2024-08-03 04:24
3.0K
cardfil3__t21_cardfil3
2024-07-28 06:34
18K
cardfil3__t21_cardfil3.depv1
2024-08-03 10:19
85
cardfil3__t21_cardfil3.depvmin1
2024-08-03 10:24
85
cardfil3__t21_cardfil3.vmin1
2024-08-03 10:20
744
cardfil3__t21_cardfil3.vmin1out
2024-08-03 10:22
5.5K
cardfil3__t21_cardfil3.vout
2024-08-03 10:15
8.2K
cardfil3__t22_cardfil3
2024-07-28 06:35
19K
cardfil3__t22_cardfil3.depv1
2024-08-03 10:19
25
cardfil3__t22_cardfil3.depvmin1
2024-08-03 10:24
25
cardfil3__t22_cardfil3.vmin1
2024-08-03 10:20
270
cardfil3__t22_cardfil3.vmin1out
2024-08-03 10:20
2.7K
cardfil3__t22_cardfil3.vout
2024-08-03 07:57
3.8K
cardfil3__t23_cardfil3
2024-07-28 07:06
19K
cardfil3__t23_cardfil3.depv1
2024-08-03 10:19
110
cardfil3__t23_cardfil3.depvmin1
2024-08-03 10:24
110
cardfil3__t23_cardfil3.vmin1
2024-08-03 10:20
885
cardfil3__t23_cardfil3.vmin1out
2024-08-03 10:20
6.3K
cardfil3__t23_cardfil3.vout
2024-08-03 05:27
8.9K
cardfil3__t24_cardfil3
2024-07-28 06:37
29K
cardfil3__t24_cardfil3.depv1
2024-08-03 10:19
86
cardfil3__t24_cardfil3.depvmin1
2024-08-03 10:24
86
cardfil3__t24_cardfil3.vmin1
2024-08-03 10:20
1.8K
cardfil3__t24_cardfil3.vmin1out
2024-08-03 10:20
29K
cardfil3__t24_cardfil3.vout
2024-08-03 07:33
31K
cardfil3__t25_cardfil3
2024-07-28 07:08
42K
cardfil3__t25_cardfil3.vout
2024-08-03 10:04
7.3K
cardfil3__t26_cardfil3
2024-07-28 07:10
36K
cardfil3__t26_cardfil3.depv1
2024-08-03 10:19
250
cardfil3__t26_cardfil3.depvmin1
2024-08-03 10:24
219
cardfil3__t26_cardfil3.vmin1
2024-08-03 10:20
3.5K
cardfil3__t26_cardfil3.vmin1out
2024-08-03 10:22
50K
cardfil3__t26_cardfil3.vout
2024-08-03 05:05
42K
cardfil3__t27_cardfil3
2024-07-28 07:25
38K
cardfil3__t27_cardfil3.vout
2024-08-03 09:20
3.7K
cardfil3__t28_cardfil3
2024-07-28 07:27
37K
cardfil3__t28_cardfil3.vout
2024-08-03 10:11
5.3K
cardfil3__t29_cardfil3
2024-07-28 07:30
51K
cardfil3__t29_cardfil3.vout
2024-08-03 08:58
4.2K
cardfil3__t30_cardfil3
2024-07-28 07:32
43K
cardfil3__t30_cardfil3.vout
2024-08-03 05:33
6.8K
cardfil3__t31_cardfil3
2024-07-28 07:12
46K
cardfil3__t31_cardfil3.vout
2024-08-03 07:49
7.3K
cardfil3__t32_cardfil3
2024-07-28 06:39
38K
cardfil3__t32_cardfil3.vout
2024-08-03 08:07
7.4K
cardfil3__t33_cardfil3
2024-07-28 07:15
42K
cardfil3__t33_cardfil3.vout
2024-08-03 05:44
7.3K
cardfil3__t34_cardfil3
2024-07-28 07:16
52K
cardfil3__t34_cardfil3.vout
2024-08-03 04:42
6.8K
cardfil3__t35_cardfil3
2024-07-28 07:18
35K
cardfil3__t35_cardfil3.vout
2024-08-03 07:51
7.3K
cardfil3__t36_cardfil3
2024-07-28 07:20
53K
cardfil3__t36_cardfil3.vout
2024-08-03 06:57
6.8K
cardfil3__t37_cardfil3
2024-07-28 06:40
36K
cardfil3__t37_cardfil3.depv1
2024-08-03 10:19
41
cardfil3__t37_cardfil3.depvmin1
2024-08-03 10:24
41
cardfil3__t37_cardfil3.vmin1
2024-08-03 10:20
2.4K
cardfil3__t37_cardfil3.vmin1out
2024-08-03 10:23
115K
cardfil3__t37_cardfil3.vout
2024-08-03 08:27
98K
cardfil3__t38_cardfil3
2024-07-28 07:22
35K
cardfil3__t38_cardfil3.vout
2024-08-03 08:21
6.8K
cardfil3__t39_cardfil3
2024-07-28 07:24
52K
cardfil3__t39_cardfil3.vout
2024-08-03 06:16
6.8K
cardfil3__t40_cardfil3
2024-07-28 06:42
36K
cardfil3__t40_cardfil3.depv1
2024-08-03 10:19
41
cardfil3__t40_cardfil3.depvmin1
2024-08-03 10:24
41
cardfil3__t40_cardfil3.vmin1
2024-08-03 10:20
2.4K
cardfil3__t40_cardfil3.vmin1out
2024-08-03 10:23
116K
cardfil3__t40_cardfil3.vout
2024-08-03 05:25
98K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80