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