Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/cardfil4
Name
Last modified
Size
Description
Parent Directory
-
cardfil4__t1_cardfil4
2024-07-26 18:24
22K
cardfil4__t1_cardfil4.depv1
2024-08-03 10:19
100
cardfil4__t1_cardfil4.depvmin1
2024-08-03 10:24
100
cardfil4__t1_cardfil4.vmin1
2024-08-03 10:20
848
cardfil4__t1_cardfil4.vmin1out
2024-08-03 10:22
6.8K
cardfil4__t1_cardfil4.vout
2024-08-03 09:30
7.7K
cardfil4__t2_cardfil4
2024-07-26 18:25
22K
cardfil4__t2_cardfil4.vout
2024-08-03 07:53
7.3K
cardfil4__t3_cardfil4
2024-07-26 21:05
29K
cardfil4__t3_cardfil4.depv1
2024-08-03 10:19
102
cardfil4__t3_cardfil4.depvmin1
2024-08-03 10:24
102
cardfil4__t3_cardfil4.vmin1
2024-08-03 10:20
1.1K
cardfil4__t3_cardfil4.vmin1out
2024-08-03 10:20
18K
cardfil4__t3_cardfil4.vout
2024-08-03 08:45
14K
cardfil4__t4_cardfil4
2024-07-26 18:26
16K
cardfil4__t4_cardfil4.depv1
2024-08-03 10:19
37
cardfil4__t4_cardfil4.depvmin1
2024-08-03 10:24
37
cardfil4__t4_cardfil4.vmin1
2024-08-03 10:20
404
cardfil4__t4_cardfil4.vmin1out
2024-08-03 10:23
7.0K
cardfil4__t4_cardfil4.vout
2024-08-03 06:33
7.1K
cardfil4__t5_cardfil4
2024-07-26 18:27
20K
cardfil4__t5_cardfil4.vout
2024-08-03 09:44
2.0K
cardfil4__t6_cardfil4
2024-07-26 18:29
46K
cardfil4__t6_cardfil4.vout
2024-08-03 04:21
4.7K
cardfil4__t7_cardfil4
2024-07-26 18:31
51K
cardfil4__t7_cardfil4.vout
2024-08-03 08:32
7.9K
cardfil4__t8_cardfil4
2024-07-26 18:34
48K
cardfil4__t8_cardfil4.vout
2024-08-03 05:22
7.9K
cardfil4__t9_cardfil4
2024-07-26 21:06
32K
cardfil4__t9_cardfil4.vout
2024-08-03 07:26
7.3K
cardfil4__t10_cardfil4
2024-07-26 18:35
33K
cardfil4__t10_cardfil4.vout
2024-08-03 07:26
7.3K
cardfil4__t11_cardfil4
2024-07-26 18:36
36K
cardfil4__t11_cardfil4.depv1
2024-08-03 10:19
180
cardfil4__t11_cardfil4.depvmin1
2024-08-03 10:24
180
cardfil4__t11_cardfil4.vmin1
2024-08-03 10:20
1.8K
cardfil4__t11_cardfil4.vmin1out
2024-08-03 10:23
15K
cardfil4__t11_cardfil4.vout
2024-08-03 05:28
21K
cardfil4__t12_cardfil4
2024-07-26 18:38
39K
cardfil4__t12_cardfil4.depv1
2024-08-03 10:19
96
cardfil4__t12_cardfil4.depvmin1
2024-08-03 10:24
96
cardfil4__t12_cardfil4.vmin1
2024-08-03 10:20
910
cardfil4__t12_cardfil4.vmin1out
2024-08-03 10:22
11K
cardfil4__t12_cardfil4.vout
2024-08-03 04:55
14K
cardfil4__t13_cardfil4
2024-07-26 18:40
39K
cardfil4__t13_cardfil4.depv1
2024-08-03 10:19
73
cardfil4__t13_cardfil4.depvmin1
2024-08-03 10:24
73
cardfil4__t13_cardfil4.vmin1
2024-08-03 10:20
733
cardfil4__t13_cardfil4.vmin1out
2024-08-03 10:20
8.4K
cardfil4__t13_cardfil4.vout
2024-08-03 05:02
11K
cardfil4__t14_cardfil4
2024-07-26 18:42
42K
cardfil4__t14_cardfil4.vout
2024-08-03 08:04
5.3K
cardfil4__t15_cardfil4
2024-07-26 21:08
31K
cardfil4__t15_cardfil4.vout
2024-08-03 09:36
6.8K
cardfil4__t16_cardfil4
2024-07-26 21:09
32K
cardfil4__t16_cardfil4.vout
2024-08-03 07:40
6.8K
cardfil4__t17_cardfil4
2024-07-26 18:43
45K
cardfil4__t17_cardfil4.vout
2024-08-03 06:37
6.8K
cardfil4__t18_cardfil4
2024-07-26 18:46
51K
cardfil4__t18_cardfil4.depv1
2024-08-03 10:19
212
cardfil4__t18_cardfil4.depvmin1
2024-08-03 10:24
212
cardfil4__t18_cardfil4.vmin1
2024-08-03 10:20
3.6K
cardfil4__t18_cardfil4.vmin1out
2024-08-03 10:20
47K
cardfil4__t18_cardfil4.vout
2024-08-03 08:09
47K
cardfil4__t19_cardfil4
2024-07-26 18:47
25K
cardfil4__t19_cardfil4.vout
2024-08-03 04:14
7.4K
cardfil4__t20_cardfil4
2024-07-26 18:49
47K
cardfil4__t20_cardfil4.vout
2024-08-03 08:31
7.3K
cardfil4__t21_cardfil4
2024-07-26 18:50
44K
cardfil4__t21_cardfil4.vout
2024-08-03 05:54
7.9K
cardfil4__t22_cardfil4
2024-07-26 18:52
45K
cardfil4__t22_cardfil4.vout
2024-08-03 09:52
7.4K
cardfil4__t23_cardfil4
2024-07-26 18:54
36K
cardfil4__t23_cardfil4.vout
2024-08-03 04:08
7.3K
cardfil4__t24_cardfil4
2024-07-26 18:55
21K
cardfil4__t24_cardfil4.depv1
2024-08-03 10:19
39
cardfil4__t24_cardfil4.depvmin1
2024-08-03 10:24
39
cardfil4__t24_cardfil4.vmin1
2024-08-03 10:20
830
cardfil4__t24_cardfil4.vmin1out
2024-08-03 10:20
12K
cardfil4__t24_cardfil4.vout
2024-08-03 04:42
12K
cardfil4__t25_cardfil4
2024-07-26 18:56
21K
cardfil4__t25_cardfil4.depv1
2024-08-03 10:19
65
cardfil4__t25_cardfil4.depvmin1
2024-08-03 10:24
65
cardfil4__t25_cardfil4.vmin1
2024-08-03 10:20
1.4K
cardfil4__t25_cardfil4.vmin1out
2024-08-03 10:20
21K
cardfil4__t25_cardfil4.vout
2024-08-03 09:34
21K
cardfil4__t26_cardfil4
2024-07-26 18:57
32K
cardfil4__t26_cardfil4.vout
2024-08-03 09:20
7.9K
cardfil4__t27_cardfil4
2024-07-26 18:59
39K
cardfil4__t27_cardfil4.vout
2024-08-03 05:20
7.9K
cardfil4__t28_cardfil4
2024-07-26 19:00
41K
cardfil4__t28_cardfil4.vout
2024-08-03 06:02
4.1K
cardfil4__t29_cardfil4
2024-07-26 19:02
41K
cardfil4__t29_cardfil4.vout
2024-08-03 05:53
4.2K
cardfil4__t30_cardfil4
2024-07-26 19:03
53K
cardfil4__t30_cardfil4.vout
2024-08-03 05:19
6.8K
cardfil4__t31_cardfil4
2024-07-26 19:05
43K
cardfil4__t31_cardfil4.vout
2024-08-03 08:41
7.3K
cardfil4__t32_cardfil4
2024-07-26 19:06
43K
cardfil4__t32_cardfil4.depv1
2024-08-03 10:19
438
cardfil4__t32_cardfil4.depvmin1
2024-08-03 10:24
248
cardfil4__t32_cardfil4.vmin1
2024-08-03 10:20
3.3K
cardfil4__t32_cardfil4.vmin1out
2024-08-03 10:20
17K
cardfil4__t32_cardfil4.vout
2024-08-03 09:57
28K
cardfil4__t33_cardfil4
2024-07-26 19:08
38K
cardfil4__t33_cardfil4.vout
2024-08-03 08:26
7.3K
cardfil4__t34_cardfil4
2024-07-26 19:09
37K
cardfil4__t34_cardfil4.vout
2024-08-03 09:29
7.3K
cardfil4__t35_cardfil4
2024-07-26 19:11
35K
cardfil4__t35_cardfil4.vout
2024-08-03 04:15
7.3K
cardfil4__t36_cardfil4
2024-07-26 19:12
35K
cardfil4__t36_cardfil4.vout
2024-08-03 06:14
7.3K
cardfil4__t37_cardfil4
2024-07-26 19:13
31K
cardfil4__t37_cardfil4.depv1
2024-08-03 10:19
166
cardfil4__t37_cardfil4.depvmin1
2024-08-03 10:24
166
cardfil4__t37_cardfil4.vmin1
2024-08-03 10:20
1.5K
cardfil4__t37_cardfil4.vmin1out
2024-08-03 10:22
10K
cardfil4__t37_cardfil4.vout
2024-08-03 08:13
13K
cardfil4__t38_cardfil4
2024-07-26 19:15
47K
cardfil4__t38_cardfil4.vout
2024-08-03 07:59
8.4K
cardfil4__t39_cardfil4
2024-07-26 19:17
48K
cardfil4__t39_cardfil4.depv1
2024-08-03 10:19
190
cardfil4__t39_cardfil4.depvmin1
2024-08-03 10:24
190
cardfil4__t39_cardfil4.vmin1
2024-08-03 10:20
2.6K
cardfil4__t39_cardfil4.vmin1out
2024-08-03 10:20
27K
cardfil4__t39_cardfil4.vout
2024-08-03 06:17
26K
cardfil4__t40_cardfil4
2024-07-26 18:02
43K
cardfil4__t40_cardfil4.depv1
2024-08-03 10:19
57
cardfil4__t40_cardfil4.depvmin1
2024-08-03 10:24
57
cardfil4__t40_cardfil4.vmin1
2024-08-03 10:20
1.3K
cardfil4__t40_cardfil4.vmin1out
2024-08-03 10:22
14K
cardfil4__t40_cardfil4.vout
2024-08-03 08:13
14K
cardfil4__t41_cardfil4
2024-07-26 19:19
43K
cardfil4__t41_cardfil4.depv1
2024-08-03 10:19
80
cardfil4__t41_cardfil4.depvmin1
2024-08-03 10:24
80
cardfil4__t41_cardfil4.vmin1
2024-08-03 10:20
1.8K
cardfil4__t41_cardfil4.vmin1out
2024-08-03 10:23
16K
cardfil4__t41_cardfil4.vout
2024-08-03 10:14
18K
cardfil4__t42_cardfil4
2024-07-26 19:21
49K
cardfil4__t42_cardfil4.vout
2024-08-03 09:16
8.4K
cardfil4__t43_cardfil4
2024-07-26 19:23
50K
cardfil4__t43_cardfil4.depv1
2024-08-03 10:19
258
cardfil4__t43_cardfil4.depvmin1
2024-08-03 10:24
191
cardfil4__t43_cardfil4.vmin1
2024-08-03 10:20
5.1K
cardfil4__t43_cardfil4.vmin1out
2024-08-03 10:22
55K
cardfil4__t43_cardfil4.vout
2024-08-03 04:25
108K
cardfil4__t44_cardfil4
2024-07-26 18:04
47K
cardfil4__t44_cardfil4.depv1
2024-08-03 10:19
203
cardfil4__t44_cardfil4.depvmin1
2024-08-03 10:24
179
cardfil4__t44_cardfil4.vmin1
2024-08-03 10:20
3.2K
cardfil4__t44_cardfil4.vmin1out
2024-08-03 10:21
38K
cardfil4__t44_cardfil4.vout
2024-08-03 10:08
54K
cardfil4__t45_cardfil4
2024-07-26 19:25
50K
cardfil4__t45_cardfil4.vout
2024-08-03 08:26
7.3K
cardfil4__t46_cardfil4
2024-07-26 21:11
40K
cardfil4__t46_cardfil4.vout
2024-08-03 09:31
5.3K
cardfil4__t47_cardfil4
2024-07-26 18:06
33K
cardfil4__t47_cardfil4.depv1
2024-08-03 10:19
26
cardfil4__t47_cardfil4.depvmin1
2024-08-03 10:24
26
cardfil4__t47_cardfil4.vmin1
2024-08-03 10:20
517
cardfil4__t47_cardfil4.vmin1out
2024-08-03 10:20
3.3K
cardfil4__t47_cardfil4.vout
2024-08-03 09:45
3.3K
cardfil4__t48_cardfil4
2024-07-26 19:27
43K
cardfil4__t48_cardfil4.vout
2024-08-03 06:06
7.4K
cardfil4__t49_cardfil4
2024-07-26 19:28
34K
cardfil4__t49_cardfil4.vout
2024-08-03 08:59
7.4K
cardfil4__t50_cardfil4
2024-07-26 19:30
40K
cardfil4__t50_cardfil4.vout
2024-08-03 04:42
7.4K
cardfil4__t51_cardfil4
2024-07-26 19:32
54K
cardfil4__t51_cardfil4.vout
2024-08-03 04:34
3.7K
cardfil4__t52_cardfil4
2024-07-26 21:12
42K
cardfil4__t52_cardfil4.vout
2024-08-03 04:19
3.7K
cardfil4__t53_cardfil4
2024-07-26 21:14
41K
cardfil4__t53_cardfil4.vout
2024-08-03 04:13
7.3K
cardfil4__t54_cardfil4
2024-07-26 19:34
52K
cardfil4__t54_cardfil4.vout
2024-08-03 05:09
3.7K
cardfil4__t55_cardfil4
2024-07-26 19:36
52K
cardfil4__t55_cardfil4.vout
2024-08-03 08:32
3.7K
cardfil4__t56_cardfil4
2024-07-26 19:38
51K
cardfil4__t56_cardfil4.vout
2024-08-03 05:59
6.8K
cardfil4__t57_cardfil4
2024-07-26 19:41
51K
cardfil4__t57_cardfil4.vout
2024-08-03 04:54
6.8K
cardfil4__t58_cardfil4
2024-07-26 19:43
53K
cardfil4__t58_cardfil4.vout
2024-08-03 04:49
4.2K
cardfil4__t59_cardfil4
2024-07-26 19:45
53K
cardfil4__t59_cardfil4.vout
2024-08-03 07:21
6.8K
cardfil4__t60_cardfil4
2024-07-26 19:47
60K
cardfil4__t60_cardfil4.vout
2024-08-03 09:52
3.7K
cardfil4__t61_cardfil4
2024-07-26 19:49
55K
cardfil4__t61_cardfil4.vout
2024-08-03 08:47
3.7K
cardfil4__t62_cardfil4
2024-07-26 19:51
44K
cardfil4__t62_cardfil4.vout
2024-08-03 04:24
7.3K
cardfil4__t63_cardfil4
2024-07-26 19:53
47K
cardfil4__t63_cardfil4.vout
2024-08-03 04:46
4.7K
cardfil4__t64_cardfil4
2024-07-26 19:55
53K
cardfil4__t64_cardfil4.vout
2024-08-03 04:24
6.8K
cardfil4__t65_cardfil4
2024-07-26 19:58
59K
cardfil4__t65_cardfil4.vout
2024-08-03 10:00
3.7K
cardfil4__t66_cardfil4
2024-07-26 20:00
59K
cardfil4__t66_cardfil4.vout
2024-08-03 07:20
3.7K
cardfil4__t67_cardfil4
2024-07-26 21:17
60K
cardfil4__t67_cardfil4.vout
2024-08-03 10:10
7.4K
cardfil4__t68_cardfil4
2024-07-26 18:23
56K
cardfil4__t68_cardfil4.vout
2024-08-03 04:33
7.3K
cardfil4__t69_cardfil4
2024-07-26 21:19
57K
cardfil4__t69_cardfil4.vout
2024-08-03 04:28
7.3K
cardfil4__t70_cardfil4
2024-07-26 21:21
54K
cardfil4__t70_cardfil4.vout
2024-08-03 05:50
7.3K
cardfil4__t71_cardfil4
2024-07-26 20:03
65K
cardfil4__t71_cardfil4.vout
2024-08-03 09:13
7.4K
cardfil4__t72_cardfil4
2024-07-26 20:05
54K
cardfil4__t72_cardfil4.vout
2024-08-03 05:59
7.3K
cardfil4__t73_cardfil4
2024-07-26 20:08
59K
cardfil4__t73_cardfil4.vout
2024-08-03 09:33
6.8K
cardfil4__t74_cardfil4
2024-07-26 20:10
61K
cardfil4__t74_cardfil4.vout
2024-08-03 10:02
7.4K
cardfil4__t75_cardfil4
2024-07-26 20:12
55K
cardfil4__t75_cardfil4.depv1
2024-08-03 10:19
106
cardfil4__t75_cardfil4.depvmin1
2024-08-03 10:24
106
cardfil4__t75_cardfil4.vmin1
2024-08-03 10:20
2.1K
cardfil4__t75_cardfil4.vmin1out
2024-08-03 10:21
21K
cardfil4__t75_cardfil4.vout
2024-08-03 07:54
26K
cardfil4__t76_cardfil4
2024-07-26 18:08
55K
cardfil4__t76_cardfil4.depv1
2024-08-03 10:19
64
cardfil4__t76_cardfil4.depvmin1
2024-08-03 10:24
64
cardfil4__t76_cardfil4.vmin1
2024-08-03 10:20
1.8K
cardfil4__t76_cardfil4.vmin1out
2024-08-03 10:23
17K
cardfil4__t76_cardfil4.vout
2024-08-03 06:19
17K
cardfil4__t77_cardfil4
2024-07-26 20:14
43K
cardfil4__t77_cardfil4.vout
2024-08-03 09:14
7.9K
cardfil4__t78_cardfil4
2024-07-26 18:10
58K
cardfil4__t78_cardfil4.depv1
2024-08-03 10:19
102
cardfil4__t78_cardfil4.depvmin1
2024-08-03 10:24
102
cardfil4__t78_cardfil4.vmin1
2024-08-03 10:20
1.8K
cardfil4__t78_cardfil4.vmin1out
2024-08-03 10:20
23K
cardfil4__t78_cardfil4.vout
2024-08-03 06:15
24K
cardfil4__t79_cardfil4
2024-07-26 20:17
94K
cardfil4__t79_cardfil4.vout
2024-08-03 09:56
5.3K
cardfil4__t80_cardfil4
2024-07-26 18:13
60K
cardfil4__t80_cardfil4.depv1
2024-08-03 10:19
137
cardfil4__t80_cardfil4.depvmin1
2024-08-03 10:24
137
cardfil4__t80_cardfil4.vmin1
2024-08-03 10:20
2.2K
cardfil4__t80_cardfil4.vmin1out
2024-08-03 10:20
25K
cardfil4__t80_cardfil4.vout
2024-08-03 07:08
30K
cardfil4__t81_cardfil4
2024-07-26 18:15
41K
cardfil4__t81_cardfil4.depv1
2024-08-03 10:19
217
cardfil4__t81_cardfil4.depvmin1
2024-08-03 10:24
217
cardfil4__t81_cardfil4.vmin1
2024-08-03 10:20
2.0K
cardfil4__t81_cardfil4.vmin1out
2024-08-03 10:21
18K
cardfil4__t81_cardfil4.vout
2024-08-03 08:50
16K
cardfil4__t82_cardfil4
2024-07-26 18:16
41K
cardfil4__t82_cardfil4.depv1
2024-08-03 10:19
217
cardfil4__t82_cardfil4.depvmin1
2024-08-03 10:24
217
cardfil4__t82_cardfil4.vmin1
2024-08-03 10:20
2.0K
cardfil4__t82_cardfil4.vmin1out
2024-08-03 10:21
18K
cardfil4__t82_cardfil4.vout
2024-08-03 07:59
15K
cardfil4__t83_cardfil4
2024-07-26 20:20
82K
cardfil4__t83_cardfil4.vout
2024-08-03 05:55
6.8K
cardfil4__t84_cardfil4
2024-07-26 20:23
63K
cardfil4__t84_cardfil4.vout
2024-08-03 10:19
3.7K
cardfil4__t85_cardfil4
2024-07-26 18:19
54K
cardfil4__t85_cardfil4.vout
2024-08-03 09:40
7.3K
cardfil4__t86_cardfil4
2024-07-26 18:21
54K
cardfil4__t86_cardfil4.vout
2024-08-03 09:28
7.3K
cardfil4__t87_cardfil4
2024-07-26 20:25
62K
cardfil4__t87_cardfil4.vout
2024-08-03 07:51
7.4K
cardfil4__t88_cardfil4
2024-07-26 20:28
75K
cardfil4__t88_cardfil4.vout
2024-08-03 04:43
4.2K
cardfil4__t89_cardfil4
2024-07-26 20:31
75K
cardfil4__t89_cardfil4.vout
2024-08-03 06:53
4.2K
cardfil4__t90_cardfil4
2024-07-26 20:33
57K
cardfil4__t90_cardfil4.vout
2024-08-03 06:37
6.8K
cardfil4__t91_cardfil4
2024-07-26 20:36
57K
cardfil4__t91_cardfil4.vout
2024-08-03 08:00
6.8K
cardfil4__t92_cardfil4
2024-07-26 20:38
62K
cardfil4__t92_cardfil4.vout
2024-08-03 04:22
7.3K
cardfil4__t93_cardfil4
2024-07-26 20:41
62K
cardfil4__t93_cardfil4.vout
2024-08-03 06:57
6.8K
cardfil4__t94_cardfil4
2024-07-26 20:43
55K
cardfil4__t94_cardfil4.vout
2024-08-03 06:42
7.3K
cardfil4__t95_cardfil4
2024-07-26 20:45
57K
cardfil4__t95_cardfil4.vout
2024-08-03 06:53
7.3K
cardfil4__t96_cardfil4
2024-07-26 20:47
55K
cardfil4__t96_cardfil4.vout
2024-08-03 05:44
6.8K
cardfil4__t97_cardfil4
2024-07-26 20:50
63K
cardfil4__t97_cardfil4.vout
2024-08-03 08:28
6.8K
cardfil4__t98_cardfil4
2024-07-26 20:53
63K
cardfil4__t98_cardfil4.vout
2024-08-03 05:15
6.8K
cardfil4__t99_cardfil4
2024-07-26 20:55
64K
cardfil4__t99_cardfil4.vout
2024-08-03 06:05
6.8K
cardfil4__t100_cardfil4
2024-07-26 20:58
64K
cardfil4__t100_cardfil4.vout
2024-08-03 06:51
7.4K
cardfil4__t101_cardfil4
2024-07-26 21:00
50K
cardfil4__t101_cardfil4.vout
2024-08-03 05:28
7.3K
cardfil4__t102_cardfil4
2024-07-26 21:02
50K
cardfil4__t102_cardfil4.vout
2024-08-03 06:40
7.3K
cardfil4__t103_cardfil4
2024-07-26 21:04
51K
cardfil4__t103_cardfil4.depv1
2024-08-03 10:19
42
cardfil4__t103_cardfil4.depvmin1
2024-08-03 10:24
42
cardfil4__t103_cardfil4.vmin1
2024-08-03 10:20
2.4K
cardfil4__t103_cardfil4.vmin1out
2024-08-03 10:22
53K
cardfil4__t103_cardfil4.vout
2024-08-03 06:05
63K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80