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