Index of /~mptp/mml5.63.1382/MPTP2/problems_small/anproj10
Name
Last modified
Size
Description
Parent Directory
-
anproj10__t77_anproj10.vout
2021-07-25 14:38
7.4K
anproj10__t77_anproj10
2021-07-18 09:22
126K
anproj10__t76_anproj10.vout
2021-07-25 18:53
4.1K
anproj10__t76_anproj10
2021-07-18 09:21
175K
anproj10__t75_anproj10.vout
2021-07-25 20:47
4.7K
anproj10__t75_anproj10
2021-07-18 09:21
179K
anproj10__t74_anproj10.vout
2021-07-25 19:35
4.1K
anproj10__t74_anproj10
2021-07-18 09:20
109K
anproj10__t73_anproj10.vout
2021-07-25 14:59
4.1K
anproj10__t73_anproj10
2021-07-18 09:20
122K
anproj10__t72_anproj10.vout
2021-07-25 20:04
4.1K
anproj10__t72_anproj10
2021-07-18 09:19
121K
anproj10__t71_anproj10.vout
2021-07-25 15:18
4.7K
anproj10__t71_anproj10
2021-07-18 09:19
120K
anproj10__t70_anproj10.vout
2021-07-25 14:47
7.3K
anproj10__t70_anproj10
2021-07-18 09:18
115K
anproj10__t69_anproj10.vout
2021-07-25 20:03
4.1K
anproj10__t69_anproj10
2021-07-18 09:18
118K
anproj10__t68_anproj10.vout
2021-07-25 19:29
4.1K
anproj10__t68_anproj10
2021-07-18 09:17
117K
anproj10__t67_anproj10.vout
2021-07-25 17:50
47K
anproj10__t67_anproj10.vmin1out
2021-07-25 21:00
47K
anproj10__t67_anproj10.vmin1
2021-07-25 20:57
2.7K
anproj10__t67_anproj10.depvmin1
2021-07-25 21:03
202
anproj10__t67_anproj10.depv1
2021-07-25 20:57
202
anproj10__t67_anproj10
2021-07-18 09:17
114K
anproj10__t66_anproj10.vout
2021-07-25 17:18
48K
anproj10__t66_anproj10.vmin1out
2021-07-25 21:01
100K
anproj10__t66_anproj10.vmin1
2021-07-25 20:57
2.6K
anproj10__t66_anproj10.depvmin1
2021-07-25 21:03
64
anproj10__t66_anproj10.depv1
2021-07-25 20:57
64
anproj10__t66_anproj10
2021-07-18 09:16
40K
anproj10__t65_anproj10.vout
2021-07-25 15:09
48K
anproj10__t65_anproj10.vmin1out
2021-07-25 21:02
100K
anproj10__t65_anproj10.vmin1
2021-07-25 20:57
2.6K
anproj10__t65_anproj10.depvmin1
2021-07-25 21:03
64
anproj10__t65_anproj10.depv1
2021-07-25 20:57
64
anproj10__t65_anproj10
2021-07-18 09:16
40K
anproj10__t64_anproj10.vout
2021-07-25 19:32
47K
anproj10__t64_anproj10.vmin1out
2021-07-25 21:01
99K
anproj10__t64_anproj10.vmin1
2021-07-25 20:57
2.6K
anproj10__t64_anproj10.depvmin1
2021-07-25 21:03
64
anproj10__t64_anproj10.depv1
2021-07-25 20:57
64
anproj10__t64_anproj10
2021-07-18 09:15
40K
anproj10__t63_anproj10.vout
2021-07-25 18:48
4.7K
anproj10__t63_anproj10
2021-07-18 09:15
53K
anproj10__t62_anproj10.vout
2021-07-25 19:06
4.1K
anproj10__t62_anproj10
2021-07-18 09:14
31K
anproj10__t61_anproj10.vout
2021-07-25 20:36
4.2K
anproj10__t61_anproj10
2021-07-18 09:14
31K
anproj10__t60_anproj10.vout
2021-07-25 17:59
4.1K
anproj10__t60_anproj10
2021-07-18 09:13
31K
anproj10__t59_anproj10.vout
2021-07-25 20:02
2.0K
anproj10__t59_anproj10
2021-07-18 08:53
25K
anproj10__t58_anproj10.vout
2021-07-25 20:04
45K
anproj10__t58_anproj10.vmin1out
2021-07-25 20:59
100K
anproj10__t58_anproj10.vmin1
2021-07-25 20:57
2.4K
anproj10__t58_anproj10.depvmin1
2021-07-25 21:03
52
anproj10__t58_anproj10.depv1
2021-07-25 20:57
52
anproj10__t58_anproj10
2021-07-18 09:13
32K
anproj10__t57_anproj10.vout
2021-07-25 20:51
4.1K
anproj10__t57_anproj10
2021-07-18 09:13
42K
anproj10__t56_anproj10.vout
2021-07-25 19:34
4.7K
anproj10__t56_anproj10
2021-07-18 09:12
41K
anproj10__t55_anproj10.vout
2021-07-25 18:47
4.7K
anproj10__t55_anproj10
2021-07-18 09:12
33K
anproj10__t54_anproj10.vout
2021-07-25 17:54
4.2K
anproj10__t54_anproj10
2021-07-18 09:11
41K
anproj10__t53_anproj10.vout
2021-07-25 19:09
4.2K
anproj10__t53_anproj10
2021-07-18 09:11
31K
anproj10__t52_anproj10.vout
2021-07-25 15:51
4.7K
anproj10__t52_anproj10
2021-07-18 09:10
32K
anproj10__t51_anproj10.vout
2021-07-25 20:36
83K
anproj10__t51_anproj10.vmin1out
2021-07-25 20:59
179K
anproj10__t51_anproj10.vmin1
2021-07-25 20:57
8.5K
anproj10__t51_anproj10.depvmin1
2021-07-25 21:03
521
anproj10__t51_anproj10.depv1
2021-07-25 20:57
549
anproj10__t51_anproj10
2021-07-18 08:53
28K
anproj10__t50_anproj10.vout
2021-07-25 19:04
92K
anproj10__t50_anproj10.vmin1out
2021-07-25 21:02
105K
anproj10__t50_anproj10.vmin1
2021-07-25 20:57
7.5K
anproj10__t50_anproj10.depvmin1
2021-07-25 21:03
421
anproj10__t50_anproj10.depv1
2021-07-25 20:57
421
anproj10__t50_anproj10
2021-07-18 08:52
29K
anproj10__t49_anproj10.vout
2021-07-25 19:41
4.7K
anproj10__t49_anproj10
2021-07-18 09:10
44K
anproj10__t48_anproj10.vout
2021-07-25 19:14
14K
anproj10__t48_anproj10.vmin1out
2021-07-25 21:01
13K
anproj10__t48_anproj10.vmin1
2021-07-25 20:57
1.6K
anproj10__t48_anproj10.depvmin1
2021-07-25 21:03
39
anproj10__t48_anproj10.depv1
2021-07-25 20:57
63
anproj10__t48_anproj10
2021-07-18 08:52
20K
anproj10__t47_anproj10.vout
2021-07-25 15:21
7.3K
anproj10__t47_anproj10.vmin1out
2021-07-25 21:02
7.2K
anproj10__t47_anproj10.vmin1
2021-07-25 20:57
575
anproj10__t47_anproj10.depvmin1
2021-07-25 21:03
14
anproj10__t47_anproj10.depv1
2021-07-25 20:57
14
anproj10__t47_anproj10
2021-07-18 08:52
22K
anproj10__t46_anproj10.vout
2021-07-25 17:15
11K
anproj10__t46_anproj10.vmin1out
2021-07-25 21:02
9.3K
anproj10__t46_anproj10.vmin1
2021-07-25 20:57
783
anproj10__t46_anproj10.depvmin1
2021-07-25 21:03
88
anproj10__t46_anproj10.depv1
2021-07-25 20:57
88
anproj10__t46_anproj10
2021-07-18 08:51
41K
anproj10__t45_anproj10.vout
2021-07-25 14:32
6.8K
anproj10__t45_anproj10
2021-07-18 09:09
49K
anproj10__t44_anproj10.vout
2021-07-25 14:54
6.8K
anproj10__t44_anproj10
2021-07-18 09:09
54K
anproj10__t43_anproj10.vout
2021-07-25 17:50
7.3K
anproj10__t43_anproj10
2021-07-18 09:08
69K
anproj10__t42_anproj10.vout
2021-07-25 14:52
6.9K
anproj10__t42_anproj10.vmin1out
2021-07-25 20:59
9.4K
anproj10__t42_anproj10.vmin1
2021-07-25 20:57
708
anproj10__t42_anproj10.depvmin1
2021-07-25 21:03
26
anproj10__t42_anproj10.depv1
2021-07-25 20:57
26
anproj10__t42_anproj10
2021-07-18 08:51
26K
anproj10__t41_anproj10.vout
2021-07-25 14:32
7.9K
anproj10__t41_anproj10
2021-07-18 09:07
65K
anproj10__t40_anproj10.vout
2021-07-25 19:31
6.8K
anproj10__t40_anproj10
2021-07-18 09:07
39K
anproj10__t39_anproj10.vout
2021-07-25 17:28
28K
anproj10__t39_anproj10.vmin1out
2021-07-25 21:00
30K
anproj10__t39_anproj10.vmin1
2021-07-25 20:57
2.5K
anproj10__t39_anproj10.depvmin1
2021-07-25 21:03
177
anproj10__t39_anproj10.depv1
2021-07-25 20:57
230
anproj10__t39_anproj10
2021-07-18 09:06
44K
anproj10__t38_anproj10.vout
2021-07-25 20:11
23K
anproj10__t38_anproj10.vmin1out
2021-07-25 21:02
28K
anproj10__t38_anproj10.vmin1
2021-07-25 20:57
2.0K
anproj10__t38_anproj10.depvmin1
2021-07-25 21:03
154
anproj10__t38_anproj10.depv1
2021-07-25 20:57
154
anproj10__t38_anproj10
2021-07-18 09:06
37K
anproj10__t37_anproj10.vout
2021-07-25 19:45
20K
anproj10__t37_anproj10.vmin1out
2021-07-25 21:00
25K
anproj10__t37_anproj10.vmin1
2021-07-25 20:57
1.6K
anproj10__t37_anproj10.depvmin1
2021-07-25 21:03
117
anproj10__t37_anproj10.depv1
2021-07-25 20:57
117
anproj10__t37_anproj10
2021-07-18 09:05
50K
anproj10__t36_anproj10.vout
2021-07-25 19:29
5.1K
anproj10__t36_anproj10.vmin1out
2021-07-25 20:58
4.6K
anproj10__t36_anproj10.vmin1
2021-07-25 20:57
507
anproj10__t36_anproj10.depvmin1
2021-07-25 21:03
26
anproj10__t36_anproj10.depv1
2021-07-25 20:57
51
anproj10__t36_anproj10
2021-07-18 08:50
25K
anproj10__t35_anproj10.vout
2021-07-25 16:32
7.3K
anproj10__t35_anproj10
2021-07-18 09:04
34K
anproj10__t34_anproj10.vout
2021-07-25 18:23
7.9K
anproj10__t34_anproj10
2021-07-18 09:04
26K
anproj10__t33_anproj10.vout
2021-07-25 17:57
5.6K
anproj10__t33_anproj10.vmin1out
2021-07-25 20:58
4.4K
anproj10__t33_anproj10.vmin1
2021-07-25 20:57
589
anproj10__t33_anproj10.depvmin1
2021-07-25 21:03
90
anproj10__t33_anproj10.depv1
2021-07-25 20:57
90
anproj10__t33_anproj10
2021-07-18 09:03
17K
anproj10__t32_anproj10.vout
2021-07-25 20:09
33K
anproj10__t32_anproj10.vmin1out
2021-07-25 20:57
39K
anproj10__t32_anproj10.vmin1
2021-07-25 20:57
1.8K
anproj10__t32_anproj10.depvmin1
2021-07-25 21:03
128
anproj10__t32_anproj10.depv1
2021-07-25 20:57
128
anproj10__t32_anproj10
2021-07-18 09:03
31K
anproj10__t31_anproj10.vout
2021-07-25 19:58
30K
anproj10__t31_anproj10.vmin1out
2021-07-25 21:01
31K
anproj10__t31_anproj10.vmin1
2021-07-25 20:57
2.3K
anproj10__t31_anproj10.depvmin1
2021-07-25 21:03
183
anproj10__t31_anproj10.depv1
2021-07-25 20:57
183
anproj10__t31_anproj10
2021-07-18 09:02
59K
anproj10__t30_anproj10.vout
2021-07-25 19:13
18K
anproj10__t30_anproj10.vmin1out
2021-07-25 21:01
21K
anproj10__t30_anproj10.vmin1
2021-07-25 20:57
1.8K
anproj10__t30_anproj10.depvmin1
2021-07-25 21:03
154
anproj10__t30_anproj10.depv1
2021-07-25 20:57
154
anproj10__t30_anproj10
2021-07-18 09:02
35K
anproj10__t29_anproj10.vout
2021-07-25 15:19
18K
anproj10__t29_anproj10.vmin1out
2021-07-25 20:59
21K
anproj10__t29_anproj10.vmin1
2021-07-25 20:57
1.8K
anproj10__t29_anproj10.depvmin1
2021-07-25 21:03
154
anproj10__t29_anproj10.depv1
2021-07-25 20:57
154
anproj10__t29_anproj10
2021-07-18 09:01
56K
anproj10__t28_anproj10.vout
2021-07-25 14:27
21K
anproj10__t28_anproj10.vmin1out
2021-07-25 21:00
19K
anproj10__t28_anproj10.vmin1
2021-07-25 20:57
2.4K
anproj10__t28_anproj10.depvmin1
2021-07-25 21:03
339
anproj10__t28_anproj10.depv1
2021-07-25 20:57
339
anproj10__t28_anproj10
2021-07-18 09:00
26K
anproj10__t27_anproj10.vout
2021-07-25 14:45
7.4K
anproj10__t27_anproj10
2021-07-18 09:00
43K
anproj10__t26_anproj10.vout
2021-07-25 20:45
2.9K
anproj10__t26_anproj10.vmin1out
2021-07-25 20:59
2.9K
anproj10__t26_anproj10.vmin1
2021-07-25 20:57
201
anproj10__t26_anproj10.depvmin1
2021-07-25 21:03
14
anproj10__t26_anproj10.depv1
2021-07-25 20:57
14
anproj10__t26_anproj10
2021-07-18 08:50
31K
anproj10__t25_anproj10.vout
2021-07-25 16:40
4.8K
anproj10__t25_anproj10.vmin1out
2021-07-25 20:58
3.8K
anproj10__t25_anproj10.vmin1
2021-07-25 20:57
347
anproj10__t25_anproj10.depvmin1
2021-07-25 21:03
14
anproj10__t25_anproj10.depv1
2021-07-25 20:57
14
anproj10__t25_anproj10
2021-07-18 08:49
33K
anproj10__t24_anproj10.vout
2021-07-25 17:40
4.9K
anproj10__t24_anproj10.vmin1out
2021-07-25 20:58
3.8K
anproj10__t24_anproj10.vmin1
2021-07-25 20:57
347
anproj10__t24_anproj10.depvmin1
2021-07-25 21:03
14
anproj10__t24_anproj10.depv1
2021-07-25 20:57
14
anproj10__t24_anproj10
2021-07-18 08:49
27K
anproj10__t23_anproj10.vout
2021-07-25 18:11
24K
anproj10__t23_anproj10.vmin1out
2021-07-25 20:59
15K
anproj10__t23_anproj10.vmin1
2021-07-25 20:57
1.8K
anproj10__t23_anproj10.depvmin1
2021-07-25 21:03
207
anproj10__t23_anproj10.depv1
2021-07-25 20:57
207
anproj10__t23_anproj10
2021-07-18 08:48
20K
anproj10__t22_anproj10.vout
2021-07-25 20:16
7.3K
anproj10__t22_anproj10
2021-07-18 08:59
37K
anproj10__t21_anproj10.vout
2021-07-25 20:54
35K
anproj10__t21_anproj10.vmin1out
2021-07-25 20:58
66K
anproj10__t21_anproj10.vmin1
2021-07-25 20:57
3.5K
anproj10__t21_anproj10.depvmin1
2021-07-25 21:03
78
anproj10__t21_anproj10.depv1
2021-07-25 20:57
78
anproj10__t21_anproj10
2021-07-18 08:48
41K
anproj10__t20_anproj10.vout
2021-07-25 16:15
4.7K
anproj10__t20_anproj10
2021-07-18 08:59
49K
anproj10__t19_anproj10.vout
2021-07-25 15:14
4.7K
anproj10__t19_anproj10
2021-07-18 08:58
49K
anproj10__t18_anproj10.vout
2021-07-25 14:59
4.1K
anproj10__t18_anproj10
2021-07-18 08:58
48K
anproj10__t17_anproj10.vout
2021-07-25 17:27
4.7K
anproj10__t17_anproj10
2021-07-18 08:57
50K
anproj10__t16_anproj10.vout
2021-07-25 15:19
4.1K
anproj10__t16_anproj10
2021-07-18 08:57
30K
anproj10__t15_anproj10.vout
2021-07-25 15:25
12K
anproj10__t15_anproj10.vmin1out
2021-07-25 20:59
28K
anproj10__t15_anproj10.vmin1
2021-07-25 20:57
1.5K
anproj10__t15_anproj10.depvmin1
2021-07-25 21:03
69
anproj10__t15_anproj10.depv1
2021-07-25 20:57
69
anproj10__t15_anproj10
2021-07-18 08:56
24K
anproj10__t14_anproj10.vout
2021-07-25 19:52
49K
anproj10__t14_anproj10.vmin1out
2021-07-25 20:59
38K
anproj10__t14_anproj10.vmin1
2021-07-25 20:57
3.3K
anproj10__t14_anproj10.depvmin1
2021-07-25 21:03
163
anproj10__t14_anproj10.depv1
2021-07-25 20:57
212
anproj10__t14_anproj10
2021-07-18 08:56
24K
anproj10__t13_anproj10.vout
2021-07-25 20:26
81K
anproj10__t13_anproj10.vmin1out
2021-07-25 21:01
39K
anproj10__t13_anproj10.vmin1
2021-07-25 20:57
4.1K
anproj10__t13_anproj10.depvmin1
2021-07-25 21:03
156
anproj10__t13_anproj10.depv1
2021-07-25 20:57
267
anproj10__t13_anproj10
2021-07-18 08:56
27K
anproj10__t12_anproj10.vout
2021-07-25 20:37
4.1K
anproj10__t12_anproj10
2021-07-18 08:55
27K
anproj10__t11_anproj10.vout
2021-07-25 17:57
36K
anproj10__t11_anproj10.vmin1out
2021-07-25 20:59
40K
anproj10__t11_anproj10.vmin1
2021-07-25 20:57
2.6K
anproj10__t11_anproj10.depvmin1
2021-07-25 21:03
104
anproj10__t11_anproj10.depv1
2021-07-25 20:57
104
anproj10__t11_anproj10
2021-07-18 08:55
20K
anproj10__t10_anproj10.vout
2021-07-25 20:37
62K
anproj10__t10_anproj10.vmin1out
2021-07-25 20:58
234K
anproj10__t10_anproj10.vmin1
2021-07-25 20:57
3.4K
anproj10__t10_anproj10.depvmin1
2021-07-25 21:03
264
anproj10__t10_anproj10.depv1
2021-07-25 20:57
264
anproj10__t10_anproj10
2021-07-18 08:48
20K
anproj10__t9_anproj10.vout
2021-07-25 14:58
66K
anproj10__t9_anproj10.vmin1out
2021-07-25 21:01
229K
anproj10__t9_anproj10.vmin1
2021-07-25 20:57
4.0K
anproj10__t9_anproj10.depvmin1
2021-07-25 21:03
375
anproj10__t9_anproj10.depv1
2021-07-25 20:57
375
anproj10__t9_anproj10
2021-07-18 08:47
20K
anproj10__t8_anproj10.vout
2021-07-25 19:42
102K
anproj10__t8_anproj10.vmin1out
2021-07-25 21:01
295K
anproj10__t8_anproj10.vmin1
2021-07-25 20:57
9.7K
anproj10__t8_anproj10.depvmin1
2021-07-25 21:03
624
anproj10__t8_anproj10.depv1
2021-07-25 20:57
670
anproj10__t8_anproj10
2021-07-18 08:47
28K
anproj10__t7_anproj10.vout
2021-07-25 20:20
149K
anproj10__t7_anproj10.vmin1out
2021-07-25 20:58
279K
anproj10__t7_anproj10.vmin1
2021-07-25 20:57
5.1K
anproj10__t7_anproj10.depvmin1
2021-07-25 21:03
291
anproj10__t7_anproj10.depv1
2021-07-25 20:57
291
anproj10__t7_anproj10
2021-07-18 08:47
22K
anproj10__t6_anproj10.vout
2021-07-25 15:15
59K
anproj10__t6_anproj10.vmin1out
2021-07-25 21:01
56K
anproj10__t6_anproj10.vmin1
2021-07-25 20:57
3.0K
anproj10__t6_anproj10.depvmin1
2021-07-25 21:03
459
anproj10__t6_anproj10.depv1
2021-07-25 20:57
459
anproj10__t6_anproj10
2021-07-18 08:54
23K
anproj10__t5_anproj10.vout
2021-07-25 14:23
5.3K
anproj10__t5_anproj10
2021-07-18 09:22
23K
anproj10__t4_anproj10.vout
2021-07-25 18:41
11K
anproj10__t4_anproj10.vmin1out
2021-07-25 20:59
13K
anproj10__t4_anproj10.vmin1
2021-07-25 20:57
1.2K
anproj10__t4_anproj10.depvmin1
2021-07-25 21:03
128
anproj10__t4_anproj10.depv1
2021-07-25 20:57
128
anproj10__t4_anproj10
2021-07-18 08:46
21K
anproj10__t3_anproj10.vout
2021-07-25 18:33
45K
anproj10__t3_anproj10.vmin1out
2021-07-25 21:00
26K
anproj10__t3_anproj10.vmin1
2021-07-25 20:57
2.4K
anproj10__t3_anproj10.depvmin1
2021-07-25 21:03
219
anproj10__t3_anproj10.depv1
2021-07-25 20:57
219
anproj10__t3_anproj10
2021-07-18 08:54
30K
anproj10__t2_anproj10.vout
2021-07-25 19:51
7.3K
anproj10__t2_anproj10
2021-07-18 08:54
31K
anproj10__t1_anproj10.vout
2021-07-25 17:55
6.4K
anproj10__t1_anproj10.vmin1out
2021-07-25 20:58
6.3K
anproj10__t1_anproj10.vmin1
2021-07-25 20:57
572
anproj10__t1_anproj10.depvmin1
2021-07-25 21:03
64
anproj10__t1_anproj10.depv1
2021-07-25 20:57
64
anproj10__t1_anproj10
2021-07-18 08:53
12K
anproj10__l109_anproj10.vout
2021-07-25 14:32
2.0K
anproj10__l109_anproj10
2021-07-18 09:23
29K
anproj10__l86_anproj10.vout
2021-07-25 14:35
24K
anproj10__l86_anproj10.vmin1out
2021-07-25 21:00
23K
anproj10__l86_anproj10.vmin1
2021-07-25 20:57
1.8K
anproj10__l86_anproj10.depvmin1
2021-07-25 21:03
82
anproj10__l86_anproj10.depv1
2021-07-25 20:57
82
anproj10__l86_anproj10
2021-07-18 09:23
22K
anproj10__l39_anproj10.vout
2021-07-25 20:43
2.0K
anproj10__l39_anproj10
2021-07-18 09:23
32K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80