Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/anproj11
Name
Last modified
Size
Description
Parent Directory
-
anproj11__t1_anproj11
2024-07-28 01:11
45K
anproj11__t1_anproj11.vout
2024-08-03 05:25
3.2K
anproj11__t2_anproj11
2024-07-28 01:13
46K
anproj11__t2_anproj11.vout
2024-08-03 07:54
7.3K
anproj11__t3_anproj11
2024-07-28 01:15
46K
anproj11__t3_anproj11.vout
2024-08-03 04:46
7.3K
anproj11__t4_anproj11
2024-07-28 01:17
46K
anproj11__t4_anproj11.vout
2024-08-03 05:20
7.4K
anproj11__t5_anproj11
2024-07-28 01:18
30K
anproj11__t5_anproj11.vout
2024-08-03 05:48
8.8K
anproj11__t6_anproj11
2024-07-28 01:20
89K
anproj11__t6_anproj11.vout
2024-08-03 05:35
4.7K
anproj11__t7_anproj11
2024-07-28 01:22
34K
anproj11__t7_anproj11.depv1
2024-08-03 10:19
368
anproj11__t7_anproj11.depvmin1
2024-08-03 10:24
368
anproj11__t7_anproj11.vmin1
2024-08-03 10:19
4.1K
anproj11__t7_anproj11.vmin1out
2024-08-03 10:22
56K
anproj11__t7_anproj11.vout
2024-08-03 09:59
60K
anproj11__t8_anproj11
2024-07-28 01:24
86K
anproj11__t8_anproj11.vout
2024-08-03 05:15
6.2K
anproj11__t9_anproj11
2024-07-28 01:25
32K
anproj11__t9_anproj11.vout
2024-08-03 10:02
6.2K
anproj11__t10_anproj11
2024-07-28 01:27
50K
anproj11__t10_anproj11.vout
2024-08-03 08:48
5.8K
anproj11__t11_anproj11
2024-07-28 01:29
89K
anproj11__t11_anproj11.vout
2024-08-03 08:46
4.7K
anproj11__t12_anproj11
2024-07-28 00:50
31K
anproj11__t12_anproj11.depv1
2024-08-03 10:19
40
anproj11__t12_anproj11.depvmin1
2024-08-03 10:24
40
anproj11__t12_anproj11.vmin1
2024-08-03 10:19
837
anproj11__t12_anproj11.vmin1out
2024-08-03 10:23
8.2K
anproj11__t12_anproj11.vout
2024-08-03 05:55
7.6K
anproj11__t13_anproj11
2024-07-28 01:31
50K
anproj11__t13_anproj11.vout
2024-08-03 10:03
5.8K
anproj11__t14_anproj11
2024-07-28 01:33
89K
anproj11__t14_anproj11.vout
2024-08-03 07:22
4.7K
anproj11__t15_anproj11
2024-07-28 00:51
31K
anproj11__t15_anproj11.depv1
2024-08-03 10:19
40
anproj11__t15_anproj11.depvmin1
2024-08-03 10:24
40
anproj11__t15_anproj11.vmin1
2024-08-03 10:19
837
anproj11__t15_anproj11.vmin1out
2024-08-03 10:20
10K
anproj11__t15_anproj11.vout
2024-08-03 09:17
7.6K
anproj11__t16_anproj11
2024-07-28 01:35
45K
anproj11__t16_anproj11.vout
2024-08-03 09:32
5.8K
anproj11__t17_anproj11
2024-07-28 01:37
89K
anproj11__t17_anproj11.vout
2024-08-03 04:13
5.8K
anproj11__t18_anproj11
2024-07-28 00:53
31K
anproj11__t18_anproj11.depv1
2024-08-03 10:19
40
anproj11__t18_anproj11.depvmin1
2024-08-03 10:24
40
anproj11__t18_anproj11.vmin1
2024-08-03 10:19
837
anproj11__t18_anproj11.vmin1out
2024-08-03 10:22
10K
anproj11__t18_anproj11.vout
2024-08-03 05:23
7.6K
anproj11__t19_anproj11
2024-07-28 00:55
34K
anproj11__t19_anproj11.depv1
2024-08-03 10:19
427
anproj11__t19_anproj11.depvmin1
2024-08-03 10:24
396
anproj11__t19_anproj11.vmin1
2024-08-03 10:19
3.4K
anproj11__t19_anproj11.vmin1out
2024-08-03 10:23
29K
anproj11__t19_anproj11.vout
2024-08-03 05:00
31K
anproj11__t20_anproj11
2024-07-28 01:39
44K
anproj11__t20_anproj11.vout
2024-08-03 05:11
7.8K
anproj11__t21_anproj11
2024-07-28 01:41
87K
anproj11__t21_anproj11.vout
2024-08-03 09:13
4.7K
anproj11__t22_anproj11
2024-07-28 01:43
50K
anproj11__t22_anproj11.depv1
2024-08-03 10:19
161
anproj11__t22_anproj11.depvmin1
2024-08-03 10:24
161
anproj11__t22_anproj11.vmin1
2024-08-03 10:19
2.0K
anproj11__t22_anproj11.vmin1out
2024-08-03 10:20
23K
anproj11__t22_anproj11.vout
2024-08-03 07:46
27K
anproj11__t23_anproj11
2024-07-28 00:57
34K
anproj11__t23_anproj11.depv1
2024-08-03 10:19
429
anproj11__t23_anproj11.depvmin1
2024-08-03 10:24
398
anproj11__t23_anproj11.vmin1
2024-08-03 10:19
3.4K
anproj11__t23_anproj11.vmin1out
2024-08-03 10:21
29K
anproj11__t23_anproj11.vout
2024-08-03 07:47
32K
anproj11__t24_anproj11
2024-07-28 01:45
44K
anproj11__t24_anproj11.vout
2024-08-03 04:51
7.8K
anproj11__t25_anproj11
2024-07-28 01:47
87K
anproj11__t25_anproj11.vout
2024-08-03 05:40
4.7K
anproj11__t26_anproj11
2024-07-28 01:49
50K
anproj11__t26_anproj11.depv1
2024-08-03 10:19
161
anproj11__t26_anproj11.depvmin1
2024-08-03 10:24
161
anproj11__t26_anproj11.vmin1
2024-08-03 10:19
2.0K
anproj11__t26_anproj11.vmin1out
2024-08-03 10:20
23K
anproj11__t26_anproj11.vout
2024-08-03 05:37
27K
anproj11__t27_anproj11
2024-07-28 00:59
34K
anproj11__t27_anproj11.depv1
2024-08-03 10:19
429
anproj11__t27_anproj11.depvmin1
2024-08-03 10:24
398
anproj11__t27_anproj11.vmin1
2024-08-03 10:19
3.4K
anproj11__t27_anproj11.vmin1out
2024-08-03 10:21
32K
anproj11__t27_anproj11.vout
2024-08-03 04:09
32K
anproj11__t28_anproj11
2024-07-28 01:51
44K
anproj11__t28_anproj11.vout
2024-08-03 05:49
7.8K
anproj11__t29_anproj11
2024-07-28 01:53
87K
anproj11__t29_anproj11.vout
2024-08-03 06:48
4.7K
anproj11__t30_anproj11
2024-07-28 01:56
50K
anproj11__t30_anproj11.depv1
2024-08-03 10:19
161
anproj11__t30_anproj11.depvmin1
2024-08-03 10:24
161
anproj11__t30_anproj11.vmin1
2024-08-03 10:19
2.0K
anproj11__t30_anproj11.vmin1out
2024-08-03 10:22
23K
anproj11__t30_anproj11.vout
2024-08-03 05:23
27K
anproj11__t31_anproj11
2024-07-28 01:00
83K
anproj11__t31_anproj11.depv1
2024-08-03 10:19
39
anproj11__t31_anproj11.depvmin1
2024-08-03 10:24
39
anproj11__t31_anproj11.vmin1
2024-08-03 10:19
1.3K
anproj11__t31_anproj11.vmin1out
2024-08-03 10:20
17K
anproj11__t31_anproj11.vout
2024-08-03 07:52
15K
anproj11__t32_anproj11
2024-07-28 01:58
91K
anproj11__t32_anproj11.vout
2024-08-03 08:05
6.8K
anproj11__t33_anproj11
2024-07-28 02:00
138K
anproj11__t33_anproj11.vout
2024-08-03 05:19
9.0K
anproj11__t34_anproj11
2024-07-28 02:03
138K
anproj11__t34_anproj11.vout
2024-08-03 05:25
9.0K
anproj11__t35_anproj11
2024-07-28 02:05
96K
anproj11__t35_anproj11.vout
2024-08-03 09:01
9.0K
anproj11__t36_anproj11
2024-07-28 01:03
45K
anproj11__t36_anproj11.depv1
2024-08-03 10:19
51
anproj11__t36_anproj11.depvmin1
2024-08-03 10:24
51
anproj11__t36_anproj11.vmin1
2024-08-03 10:19
737
anproj11__t36_anproj11.vmin1out
2024-08-03 10:20
7.8K
anproj11__t36_anproj11.vout
2024-08-03 08:52
9.1K
anproj11__t37_anproj11
2024-07-28 02:07
35K
anproj11__t37_anproj11.vout
2024-08-03 10:09
8.9K
anproj11__t38_anproj11
2024-07-28 02:10
46K
anproj11__t38_anproj11.depv1
2024-08-03 10:19
80
anproj11__t38_anproj11.depvmin1
2024-08-03 10:24
80
anproj11__t38_anproj11.vmin1
2024-08-03 10:19
1.5K
anproj11__t38_anproj11.vmin1out
2024-08-03 10:22
19K
anproj11__t38_anproj11.vout
2024-08-03 04:52
20K
anproj11__t39_anproj11
2024-07-28 02:12
46K
anproj11__t39_anproj11.depv1
2024-08-03 10:19
125
anproj11__t39_anproj11.depvmin1
2024-08-03 10:24
93
anproj11__t39_anproj11.vmin1
2024-08-03 10:19
2.0K
anproj11__t39_anproj11.vmin1out
2024-08-03 10:20
27K
anproj11__t39_anproj11.vout
2024-08-03 07:54
31K
anproj11__t40_anproj11
2024-07-28 02:15
46K
anproj11__t40_anproj11.depv1
2024-08-03 10:19
138
anproj11__t40_anproj11.depvmin1
2024-08-03 10:24
122
anproj11__t40_anproj11.vmin1
2024-08-03 10:19
2.2K
anproj11__t40_anproj11.vmin1out
2024-08-03 10:22
35K
anproj11__t40_anproj11.vout
2024-08-03 08:51
36K
anproj11__t41_anproj11
2024-07-28 02:17
49K
anproj11__t41_anproj11.depv1
2024-08-03 10:19
340
anproj11__t41_anproj11.depvmin1
2024-08-03 10:24
340
anproj11__t41_anproj11.vmin1
2024-08-03 10:19
6.1K
anproj11__t41_anproj11.vmin1out
2024-08-03 10:22
72K
anproj11__t41_anproj11.vout
2024-08-03 07:46
76K
anproj11__t42_anproj11
2024-07-28 02:19
53K
anproj11__t42_anproj11.vout
2024-08-03 06:07
7.4K
anproj11__t43_anproj11
2024-07-28 02:21
49K
anproj11__t43_anproj11.depv1
2024-08-03 10:19
345
anproj11__t43_anproj11.depvmin1
2024-08-03 10:24
345
anproj11__t43_anproj11.vmin1
2024-08-03 10:19
6.1K
anproj11__t43_anproj11.vmin1out
2024-08-03 10:22
72K
anproj11__t43_anproj11.vout
2024-08-03 07:23
76K
anproj11__t44_anproj11
2024-07-28 02:23
46K
anproj11__t44_anproj11.depv1
2024-08-03 10:19
168
anproj11__t44_anproj11.depvmin1
2024-08-03 10:24
168
anproj11__t44_anproj11.vmin1
2024-08-03 10:19
2.6K
anproj11__t44_anproj11.vmin1out
2024-08-03 10:22
26K
anproj11__t44_anproj11.vout
2024-08-03 10:12
30K
anproj11__t45_anproj11
2024-07-28 02:26
151K
anproj11__t45_anproj11.vout
2024-08-03 06:15
7.9K
anproj11__t46_anproj11
2024-07-28 02:29
107K
anproj11__t46_anproj11.vout
2024-08-03 09:38
7.9K
anproj11__t47_anproj11
2024-07-28 02:31
31K
anproj11__t47_anproj11.depv1
2024-08-03 10:19
26
anproj11__t47_anproj11.depvmin1
2024-08-03 10:24
26
anproj11__t47_anproj11.vmin1
2024-08-03 10:19
385
anproj11__t47_anproj11.vmin1out
2024-08-03 10:22
6.0K
anproj11__t47_anproj11.vout
2024-08-03 06:23
6.2K
anproj11__t48_anproj11
2024-07-28 02:32
31K
anproj11__t48_anproj11.depv1
2024-08-03 10:19
26
anproj11__t48_anproj11.depvmin1
2024-08-03 10:24
26
anproj11__t48_anproj11.vmin1
2024-08-03 10:19
382
anproj11__t48_anproj11.vmin1out
2024-08-03 10:20
6.0K
anproj11__t48_anproj11.vout
2024-08-03 06:01
6.1K
anproj11__t49_anproj11
2024-07-28 02:35
35K
anproj11__t49_anproj11.vout
2024-08-03 07:27
8.4K
anproj11__t50_anproj11
2024-07-28 02:37
35K
anproj11__t50_anproj11.depv1
2024-08-03 10:19
68
anproj11__t50_anproj11.depvmin1
2024-08-03 10:24
68
anproj11__t50_anproj11.vmin1
2024-08-03 10:19
1.0K
anproj11__t50_anproj11.vmin1out
2024-08-03 10:23
16K
anproj11__t50_anproj11.vout
2024-08-03 09:44
22K
anproj11__t51_anproj11
2024-07-28 01:04
30K
anproj11__t51_anproj11.depv1
2024-08-03 10:19
140
anproj11__t51_anproj11.depvmin1
2024-08-03 10:24
140
anproj11__t51_anproj11.vmin1
2024-08-03 10:19
2.6K
anproj11__t51_anproj11.vmin1out
2024-08-03 10:21
48K
anproj11__t51_anproj11.vout
2024-08-03 08:00
47K
anproj11__t52_anproj11
2024-07-28 01:06
31K
anproj11__t52_anproj11.depv1
2024-08-03 10:19
26
anproj11__t52_anproj11.depvmin1
2024-08-03 10:24
26
anproj11__t52_anproj11.vmin1
2024-08-03 10:19
718
anproj11__t52_anproj11.vmin1out
2024-08-03 10:20
30K
anproj11__t52_anproj11.vout
2024-08-03 04:08
25K
anproj11__t53_anproj11
2024-07-28 01:08
30K
anproj11__t53_anproj11.depv1
2024-08-03 10:19
25
anproj11__t53_anproj11.depvmin1
2024-08-03 10:24
25
anproj11__t53_anproj11.vmin1
2024-08-03 10:19
461
anproj11__t53_anproj11.vmin1out
2024-08-03 10:22
4.0K
anproj11__t53_anproj11.vout
2024-08-03 06:50
6.6K
anproj11__t54_anproj11
2024-07-28 02:39
68K
anproj11__t54_anproj11.vout
2024-08-03 06:21
7.9K
anproj11__t55_anproj11
2024-07-28 02:41
32K
anproj11__t55_anproj11.depv1
2024-08-03 10:19
84
anproj11__t55_anproj11.depvmin1
2024-08-03 10:24
84
anproj11__t55_anproj11.vmin1
2024-08-03 10:19
956
anproj11__t55_anproj11.vmin1out
2024-08-03 10:21
7.1K
anproj11__t55_anproj11.vout
2024-08-03 07:26
9.1K
anproj11__t56_anproj11
2024-07-28 02:43
36K
anproj11__t56_anproj11.depv1
2024-08-03 10:19
173
anproj11__t56_anproj11.depvmin1
2024-08-03 10:24
153
anproj11__t56_anproj11.vmin1
2024-08-03 10:19
2.9K
anproj11__t56_anproj11.vmin1out
2024-08-03 10:20
45K
anproj11__t56_anproj11.vout
2024-08-03 07:11
68K
anproj11__t57_anproj11
2024-07-28 02:45
31K
anproj11__t57_anproj11.depv1
2024-08-03 10:19
74
anproj11__t57_anproj11.depvmin1
2024-08-03 10:24
74
anproj11__t57_anproj11.vmin1
2024-08-03 10:19
1.4K
anproj11__t57_anproj11.vmin1out
2024-08-03 10:22
17K
anproj11__t57_anproj11.vout
2024-08-03 04:08
20K
anproj11__t58_anproj11
2024-07-28 02:47
32K
anproj11__t58_anproj11.depv1
2024-08-03 10:19
84
anproj11__t58_anproj11.depvmin1
2024-08-03 10:24
84
anproj11__t58_anproj11.vmin1
2024-08-03 10:19
1.5K
anproj11__t58_anproj11.vmin1out
2024-08-03 10:21
29K
anproj11__t58_anproj11.vout
2024-08-03 06:05
25K
anproj11__t59_anproj11
2024-07-28 02:48
32K
anproj11__t59_anproj11.depv1
2024-08-03 10:19
68
anproj11__t59_anproj11.depvmin1
2024-08-03 10:24
68
anproj11__t59_anproj11.vmin1
2024-08-03 10:19
1.2K
anproj11__t59_anproj11.vmin1out
2024-08-03 10:20
14K
anproj11__t59_anproj11.vout
2024-08-03 08:58
16K
anproj11__t60_anproj11
2024-07-28 02:50
32K
anproj11__t60_anproj11.depv1
2024-08-03 10:19
55
anproj11__t60_anproj11.depvmin1
2024-08-03 10:24
55
anproj11__t60_anproj11.vmin1
2024-08-03 10:19
884
anproj11__t60_anproj11.vmin1out
2024-08-03 10:21
15K
anproj11__t60_anproj11.vout
2024-08-03 10:18
16K
anproj11__t61_anproj11
2024-07-28 01:09
29K
anproj11__t61_anproj11.depv1
2024-08-03 10:19
142
anproj11__t61_anproj11.depvmin1
2024-08-03 10:24
142
anproj11__t61_anproj11.vmin1
2024-08-03 10:19
1.9K
anproj11__t61_anproj11.vmin1out
2024-08-03 10:20
24K
anproj11__t61_anproj11.vout
2024-08-03 06:28
20K
anproj11__t62_anproj11
2024-07-28 02:52
32K
anproj11__t62_anproj11.depv1
2024-08-03 10:19
133
anproj11__t62_anproj11.depvmin1
2024-08-03 10:24
95
anproj11__t62_anproj11.vmin1
2024-08-03 10:19
2.1K
anproj11__t62_anproj11.vmin1out
2024-08-03 10:23
25K
anproj11__t62_anproj11.vout
2024-08-03 08:19
27K
anproj11__t63_anproj11
2024-07-28 02:54
33K
anproj11__t63_anproj11.depv1
2024-08-03 10:19
82
anproj11__t63_anproj11.depvmin1
2024-08-03 10:24
82
anproj11__t63_anproj11.vmin1
2024-08-03 10:19
1.8K
anproj11__t63_anproj11.vmin1out
2024-08-03 10:23
22K
anproj11__t63_anproj11.vout
2024-08-03 09:37
34K
anproj11__t64_anproj11
2024-07-28 02:56
33K
anproj11__t64_anproj11.vout
2024-08-03 04:45
7.4K
anproj11__t65_anproj11
2024-07-28 02:58
32K
anproj11__t65_anproj11.vout
2024-08-03 04:10
7.4K
anproj11__t66_anproj11
2024-07-28 02:59
32K
anproj11__t66_anproj11.vout
2024-08-03 06:40
7.9K
anproj11__t67_anproj11
2024-07-28 03:01
33K
anproj11__t67_anproj11.vout
2024-08-03 04:32
7.9K
anproj11__t68_anproj11
2024-07-28 03:03
33K
anproj11__t68_anproj11.vout
2024-08-03 04:38
7.9K
anproj11__t69_anproj11
2024-07-28 03:05
33K
anproj11__t69_anproj11.vout
2024-08-03 08:39
7.4K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80