Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/card_fin
Name
Last modified
Size
Description
Parent Directory
-
card_fin__l16_card_fin
2024-07-27 03:47
60K
card_fin__l16_card_fin.vout
2024-08-03 07:11
4.2K
card_fin__l44_card_fin
2024-07-27 03:45
41K
card_fin__l44_card_fin.vout
2024-08-03 06:54
6.2K
card_fin__l65_card_fin
2024-07-27 03:50
86K
card_fin__l65_card_fin.vout
2024-08-03 05:10
3.7K
card_fin__l69_card_fin
2024-07-27 03:53
103K
card_fin__l69_card_fin.vout
2024-08-03 05:30
3.7K
card_fin__t2_card_fin
2024-07-27 03:26
52K
card_fin__t2_card_fin.vout
2024-08-03 05:55
4.2K
card_fin__t3_card_fin
2024-07-27 03:27
51K
card_fin__t3_card_fin.vout
2024-08-03 08:21
4.2K
card_fin__t4_card_fin
2024-07-27 02:05
72K
card_fin__t4_card_fin.vout
2024-08-03 08:34
4.2K
card_fin__t5_card_fin
2024-07-27 03:29
57K
card_fin__t5_card_fin.vout
2024-08-03 06:47
4.2K
card_fin__t6_card_fin
2024-07-27 02:06
27K
card_fin__t6_card_fin.vout
2024-08-03 06:21
2.0K
card_fin__t7_card_fin
2024-07-27 03:31
84K
card_fin__t7_card_fin.vout
2024-08-03 07:56
5.3K
card_fin__t8_card_fin
2024-07-27 03:33
42K
card_fin__t8_card_fin.vout
2024-08-03 05:04
4.2K
card_fin__t9_card_fin
2024-07-27 02:08
45K
card_fin__t9_card_fin.vout
2024-08-03 09:47
7.3K
card_fin__t10_card_fin
2024-07-27 02:09
41K
card_fin__t10_card_fin.vout
2024-08-03 06:38
7.3K
card_fin__t11_card_fin
2024-07-27 02:11
49K
card_fin__t11_card_fin.vout
2024-08-03 05:46
7.3K
card_fin__t12_card_fin
2024-07-27 02:12
51K
card_fin__t12_card_fin.vout
2024-08-03 06:14
7.3K
card_fin__t13_card_fin
2024-07-27 03:35
69K
card_fin__t13_card_fin.vout
2024-08-03 06:21
3.7K
card_fin__t14_card_fin
2024-07-27 03:36
59K
card_fin__t14_card_fin.vout
2024-08-03 06:08
4.2K
card_fin__t15_card_fin
2024-07-27 02:14
53K
card_fin__t15_card_fin.vout
2024-08-03 09:38
3.7K
card_fin__t16_card_fin
2024-07-27 02:16
65K
card_fin__t16_card_fin.vout
2024-08-03 06:07
4.7K
card_fin__t17_card_fin
2024-07-27 02:17
58K
card_fin__t17_card_fin.vout
2024-08-03 08:09
7.3K
card_fin__t18_card_fin
2024-07-27 02:19
50K
card_fin__t18_card_fin.depv1
2024-08-03 10:19
104
card_fin__t18_card_fin.depvmin1
2024-08-03 10:24
104
card_fin__t18_card_fin.vmin1
2024-08-03 10:19
1.2K
card_fin__t18_card_fin.vmin1out
2024-08-03 10:22
13K
card_fin__t18_card_fin.vout
2024-08-03 05:45
13K
card_fin__t19_card_fin
2024-07-27 02:20
40K
card_fin__t19_card_fin.vout
2024-08-03 09:33
4.7K
card_fin__t20_card_fin
2024-07-27 02:22
38K
card_fin__t20_card_fin.vout
2024-08-03 06:02
7.3K
card_fin__t21_card_fin
2024-07-27 02:23
40K
card_fin__t21_card_fin.vout
2024-08-03 05:58
4.7K
card_fin__t22_card_fin
2024-07-27 02:24
38K
card_fin__t22_card_fin.vout
2024-08-03 04:41
5.3K
card_fin__t23_card_fin
2024-07-27 02:03
36K
card_fin__t23_card_fin.depv1
2024-08-03 10:19
85
card_fin__t23_card_fin.depvmin1
2024-08-03 10:24
85
card_fin__t23_card_fin.vmin1
2024-08-03 10:19
874
card_fin__t23_card_fin.vmin1out
2024-08-03 10:21
9.6K
card_fin__t23_card_fin.vout
2024-08-03 06:33
20K
card_fin__t24_card_fin
2024-07-27 02:26
51K
card_fin__t24_card_fin.vout
2024-08-03 05:21
6.8K
card_fin__t25_card_fin
2024-07-27 02:27
54K
card_fin__t25_card_fin.vout
2024-08-03 08:13
7.3K
card_fin__t26_card_fin
2024-07-27 02:29
45K
card_fin__t26_card_fin.vout
2024-08-03 06:00
2.0K
card_fin__t27_card_fin
2024-07-27 02:30
43K
card_fin__t27_card_fin.vout
2024-08-03 09:15
7.4K
card_fin__t28_card_fin
2024-07-27 02:32
42K
card_fin__t28_card_fin.vout
2024-08-03 04:09
7.4K
card_fin__t29_card_fin
2024-07-27 02:33
43K
card_fin__t29_card_fin.vout
2024-08-03 09:56
7.3K
card_fin__t30_card_fin
2024-07-27 02:35
46K
card_fin__t30_card_fin.vout
2024-08-03 05:16
7.3K
card_fin__t31_card_fin
2024-07-27 02:36
38K
card_fin__t31_card_fin.vout
2024-08-03 05:02
7.3K
card_fin__t32_card_fin
2024-07-27 02:38
48K
card_fin__t32_card_fin.vout
2024-08-03 07:52
7.3K
card_fin__t33_card_fin
2024-07-27 02:39
38K
card_fin__t33_card_fin.vout
2024-08-03 04:50
7.3K
card_fin__t34_card_fin
2024-07-27 02:40
37K
card_fin__t34_card_fin.vout
2024-08-03 07:24
2.0K
card_fin__t35_card_fin
2024-07-27 02:42
47K
card_fin__t35_card_fin.vout
2024-08-03 05:06
6.8K
card_fin__t36_card_fin
2024-07-27 02:44
48K
card_fin__t36_card_fin.vout
2024-08-03 09:46
6.8K
card_fin__t37_card_fin
2024-07-27 02:45
49K
card_fin__t37_card_fin.depv1
2024-08-03 10:19
201
card_fin__t37_card_fin.depvmin1
2024-08-03 10:24
164
card_fin__t37_card_fin.vmin1
2024-08-03 10:19
2.4K
card_fin__t37_card_fin.vmin1out
2024-08-03 10:22
29K
card_fin__t37_card_fin.vout
2024-08-03 08:10
35K
card_fin__t38_card_fin
2024-07-27 02:47
38K
card_fin__t38_card_fin.depv1
2024-08-03 10:19
118
card_fin__t38_card_fin.depvmin1
2024-08-03 10:24
118
card_fin__t38_card_fin.vmin1
2024-08-03 10:19
1.5K
card_fin__t38_card_fin.vmin1out
2024-08-03 10:23
19K
card_fin__t38_card_fin.vout
2024-08-03 10:14
25K
card_fin__t39_card_fin
2024-07-27 02:48
29K
card_fin__t39_card_fin.depv1
2024-08-03 10:19
53
card_fin__t39_card_fin.depvmin1
2024-08-03 10:24
53
card_fin__t39_card_fin.vmin1
2024-08-03 10:19
544
card_fin__t39_card_fin.vmin1out
2024-08-03 10:20
5.8K
card_fin__t39_card_fin.vout
2024-08-03 09:57
5.2K
card_fin__t40_card_fin
2024-07-27 02:49
50K
card_fin__t40_card_fin.vout
2024-08-03 05:10
7.3K
card_fin__t41_card_fin
2024-07-27 02:51
50K
card_fin__t41_card_fin.vout
2024-08-03 05:18
4.7K
card_fin__t42_card_fin
2024-07-27 02:53
54K
card_fin__t42_card_fin.vout
2024-08-03 07:01
4.7K
card_fin__t43_card_fin
2024-07-27 02:55
51K
card_fin__t43_card_fin.vout
2024-08-03 08:39
6.8K
card_fin__t44_card_fin
2024-07-27 02:57
83K
card_fin__t44_card_fin.vout
2024-08-03 09:33
6.8K
card_fin__t45_card_fin
2024-07-27 02:59
62K
card_fin__t45_card_fin.vout
2024-08-03 09:56
4.7K
card_fin__t46_card_fin
2024-07-27 03:00
48K
card_fin__t46_card_fin.vout
2024-08-03 09:48
4.7K
card_fin__t47_card_fin
2024-07-27 03:02
76K
card_fin__t47_card_fin.vout
2024-08-03 09:18
6.8K
card_fin__t48_card_fin
2024-07-27 03:04
91K
card_fin__t48_card_fin.vout
2024-08-03 08:49
7.3K
card_fin__t49_card_fin
2024-07-27 03:05
43K
card_fin__t49_card_fin.vout
2024-08-03 08:31
7.3K
card_fin__t50_card_fin
2024-07-27 03:07
48K
card_fin__t50_card_fin.vout
2024-08-03 07:20
7.3K
card_fin__t51_card_fin
2024-07-27 03:08
50K
card_fin__t51_card_fin.vout
2024-08-03 07:56
7.3K
card_fin__t52_card_fin
2024-07-27 03:10
66K
card_fin__t52_card_fin.vout
2024-08-03 06:37
6.2K
card_fin__t53_card_fin
2024-07-27 03:13
105K
card_fin__t53_card_fin.vout
2024-08-03 07:17
3.7K
card_fin__t54_card_fin
2024-07-27 03:14
48K
card_fin__t54_card_fin.vout
2024-08-03 07:05
2.0K
card_fin__t55_card_fin
2024-07-27 03:16
41K
card_fin__t55_card_fin.vout
2024-08-03 09:10
6.8K
card_fin__t56_card_fin
2024-07-27 03:18
152K
card_fin__t56_card_fin.vout
2024-08-03 05:53
6.8K
card_fin__t57_card_fin
2024-07-27 03:20
57K
card_fin__t57_card_fin.vout
2024-08-03 05:32
6.8K
card_fin__t58_card_fin
2024-07-27 03:21
62K
card_fin__t58_card_fin.vout
2024-08-03 04:08
6.8K
card_fin__t59_card_fin
2024-07-27 03:38
85K
card_fin__t59_card_fin.vout
2024-08-03 08:18
7.3K
card_fin__t60_card_fin
2024-07-27 03:24
103K
card_fin__t60_card_fin.vout
2024-08-03 06:30
3.7K
card_fin__t61_card_fin
2024-07-27 03:40
80K
card_fin__t61_card_fin.vout
2024-08-03 04:46
3.7K
card_fin__t62_card_fin
2024-07-27 03:42
87K
card_fin__t62_card_fin.vout
2024-08-03 08:48
6.8K
card_fin__t63_card_fin
2024-07-27 03:44
55K
card_fin__t63_card_fin.vout
2024-08-03 09:48
3.7K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80