Index of /~mptp/mml5.63.1382/MPTP2/problems_small/afvect0
Name
Last modified
Size
Description
Parent Directory
-
afvect0__t55_afvect0.vout
2021-07-25 20:42
4.1K
afvect0__t55_afvect0
2021-07-18 02:31
24K
afvect0__t54_afvect0.vout
2021-07-25 17:30
7.3K
afvect0__t54_afvect0
2021-07-18 02:31
22K
afvect0__t53_afvect0.vout
2021-07-25 16:02
4.1K
afvect0__t53_afvect0
2021-07-18 02:30
14K
afvect0__t52_afvect0.vout
2021-07-25 20:02
4.1K
afvect0__t52_afvect0
2021-07-18 02:30
24K
afvect0__t51_afvect0.vout
2021-07-25 18:55
36K
afvect0__t51_afvect0.vmin1out
2021-07-25 21:01
48K
afvect0__t51_afvect0.vmin1
2021-07-25 20:57
2.7K
afvect0__t51_afvect0.depvmin1
2021-07-25 21:03
166
afvect0__t51_afvect0.depv1
2021-07-25 20:57
166
afvect0__t51_afvect0
2021-07-18 02:29
15K
afvect0__t50_afvect0.vout
2021-07-25 19:26
4.1K
afvect0__t50_afvect0
2021-07-18 02:29
21K
afvect0__t49_afvect0.vout
2021-07-25 17:09
12K
afvect0__t49_afvect0.vmin1out
2021-07-25 20:59
12K
afvect0__t49_afvect0.vmin1
2021-07-25 20:57
1.3K
afvect0__t49_afvect0.depvmin1
2021-07-25 21:03
81
afvect0__t49_afvect0.depv1
2021-07-25 20:57
81
afvect0__t49_afvect0
2021-07-18 02:28
11K
afvect0__t48_afvect0.vout
2021-07-25 18:51
34K
afvect0__t48_afvect0.vmin1out
2021-07-25 20:58
33K
afvect0__t48_afvect0.vmin1
2021-07-25 20:57
3.4K
afvect0__t48_afvect0.depvmin1
2021-07-25 21:03
236
afvect0__t48_afvect0.depv1
2021-07-25 20:57
236
afvect0__t48_afvect0
2021-07-18 02:19
13K
afvect0__t47_afvect0.vout
2021-07-25 15:20
4.1K
afvect0__t47_afvect0
2021-07-18 02:28
18K
afvect0__t46_afvect0.vout
2021-07-25 19:11
4.1K
afvect0__t46_afvect0
2021-07-18 02:27
16K
afvect0__t45_afvect0.vout
2021-07-25 19:14
18K
afvect0__t45_afvect0.vmin1out
2021-07-25 21:01
21K
afvect0__t45_afvect0.vmin1
2021-07-25 20:57
1.9K
afvect0__t45_afvect0.depvmin1
2021-07-25 21:03
136
afvect0__t45_afvect0.depv1
2021-07-25 20:57
148
afvect0__t45_afvect0
2021-07-18 02:19
12K
afvect0__t44_afvect0.vout
2021-07-25 20:27
4.1K
afvect0__t44_afvect0
2021-07-18 02:27
19K
afvect0__t43_afvect0.vout
2021-07-25 19:34
41K
afvect0__t43_afvect0.vmin1out
2021-07-25 20:58
23K
afvect0__t43_afvect0.vmin1
2021-07-25 20:57
2.3K
afvect0__t43_afvect0.depvmin1
2021-07-25 21:03
120
afvect0__t43_afvect0.depv1
2021-07-25 20:57
144
afvect0__t43_afvect0
2021-07-18 02:19
13K
afvect0__t42_afvect0.vout
2021-07-25 15:23
24K
afvect0__t42_afvect0.vmin1out
2021-07-25 21:00
18K
afvect0__t42_afvect0.vmin1
2021-07-25 20:57
1.9K
afvect0__t42_afvect0.depvmin1
2021-07-25 21:03
132
afvect0__t42_afvect0.depv1
2021-07-25 20:57
132
afvect0__t42_afvect0
2021-07-18 02:18
12K
afvect0__t41_afvect0.vout
2021-07-25 19:47
41K
afvect0__t41_afvect0.vmin1out
2021-07-25 20:57
41K
afvect0__t41_afvect0.vmin1
2021-07-25 20:57
1.8K
afvect0__t41_afvect0.depvmin1
2021-07-25 21:03
73
afvect0__t41_afvect0.depv1
2021-07-25 20:57
73
afvect0__t41_afvect0
2021-07-18 02:27
5.8K
afvect0__t40_afvect0.vout
2021-07-25 15:58
24K
afvect0__t40_afvect0.vmin1out
2021-07-25 20:58
16K
afvect0__t40_afvect0.vmin1
2021-07-25 20:57
1.2K
afvect0__t40_afvect0.depvmin1
2021-07-25 21:03
49
afvect0__t40_afvect0.depv1
2021-07-25 20:57
49
afvect0__t40_afvect0
2021-07-18 02:26
6.6K
afvect0__t39_afvect0.vout
2021-07-25 16:10
7.1K
afvect0__t39_afvect0
2021-07-18 02:26
9.3K
afvect0__t38_afvect0.vout
2021-07-25 16:42
26K
afvect0__t38_afvect0.vmin1out
2021-07-25 20:57
26K
afvect0__t38_afvect0.vmin1
2021-07-25 20:57
2.1K
afvect0__t38_afvect0.depvmin1
2021-07-25 21:03
85
afvect0__t38_afvect0.depv1
2021-07-25 20:57
85
afvect0__t38_afvect0
2021-07-18 02:26
6.9K
afvect0__t37_afvect0.vout
2021-07-25 18:31
7.3K
afvect0__t37_afvect0
2021-07-18 02:26
5.6K
afvect0__t36_afvect0.vout
2021-07-25 19:24
18K
afvect0__t36_afvect0.vmin1out
2021-07-25 20:58
17K
afvect0__t36_afvect0.vmin1
2021-07-25 20:57
1.7K
afvect0__t36_afvect0.depvmin1
2021-07-25 21:03
61
afvect0__t36_afvect0.depv1
2021-07-25 20:57
61
afvect0__t36_afvect0
2021-07-18 02:26
6.5K
afvect0__t35_afvect0.vout
2021-07-25 17:19
41K
afvect0__t35_afvect0.vmin1out
2021-07-25 21:01
41K
afvect0__t35_afvect0.vmin1
2021-07-25 20:57
1.4K
afvect0__t35_afvect0.depvmin1
2021-07-25 21:03
49
afvect0__t35_afvect0.depv1
2021-07-25 20:57
49
afvect0__t35_afvect0
2021-07-18 02:18
5.2K
afvect0__t34_afvect0.vout
2021-07-25 20:15
42K
afvect0__t34_afvect0.vmin1out
2021-07-25 21:00
42K
afvect0__t34_afvect0.vmin1
2021-07-25 20:57
2.1K
afvect0__t34_afvect0.depvmin1
2021-07-25 21:03
106
afvect0__t34_afvect0.depv1
2021-07-25 20:57
106
afvect0__t34_afvect0
2021-07-18 02:18
5.9K
afvect0__t33_afvect0.vout
2021-07-25 17:31
89K
afvect0__t33_afvect0.vmin1out
2021-07-25 20:59
85K
afvect0__t33_afvect0.vmin1
2021-07-25 20:57
3.6K
afvect0__t33_afvect0.depvmin1
2021-07-25 21:03
99
afvect0__t33_afvect0.depv1
2021-07-25 20:57
99
afvect0__t33_afvect0
2021-07-18 02:25
7.2K
afvect0__t32_afvect0.vout
2021-07-25 15:26
22K
afvect0__t32_afvect0.vmin1out
2021-07-25 20:59
21K
afvect0__t32_afvect0.vmin1
2021-07-25 20:57
1.3K
afvect0__t32_afvect0.depvmin1
2021-07-25 21:03
49
afvect0__t32_afvect0.depv1
2021-07-25 20:57
49
afvect0__t32_afvect0
2021-07-18 02:25
5.4K
afvect0__t31_afvect0.vout
2021-07-25 19:14
11K
afvect0__t31_afvect0.vmin1out
2021-07-25 20:57
10K
afvect0__t31_afvect0.vmin1
2021-07-25 20:57
765
afvect0__t31_afvect0.depvmin1
2021-07-25 21:03
38
afvect0__t31_afvect0.depv1
2021-07-25 20:57
38
afvect0__t31_afvect0
2021-07-18 02:25
4.5K
afvect0__t30_afvect0.vout
2021-07-25 15:52
11K
afvect0__t30_afvect0.vmin1out
2021-07-25 21:01
11K
afvect0__t30_afvect0.vmin1
2021-07-25 20:57
558
afvect0__t30_afvect0.depvmin1
2021-07-25 21:03
24
afvect0__t30_afvect0.depv1
2021-07-25 20:57
24
afvect0__t30_afvect0
2021-07-18 02:25
4.6K
afvect0__t29_afvect0.vout
2021-07-25 14:28
19K
afvect0__t29_afvect0.vmin1out
2021-07-25 21:00
18K
afvect0__t29_afvect0.vmin1
2021-07-25 20:57
1.1K
afvect0__t29_afvect0.depvmin1
2021-07-25 21:03
49
afvect0__t29_afvect0.depv1
2021-07-25 20:57
49
afvect0__t29_afvect0
2021-07-18 02:25
5.2K
afvect0__t28_afvect0.vout
2021-07-25 15:20
23K
afvect0__t28_afvect0.vmin1out
2021-07-25 21:02
22K
afvect0__t28_afvect0.vmin1
2021-07-25 20:57
846
afvect0__t28_afvect0.depvmin1
2021-07-25 21:03
35
afvect0__t28_afvect0.depv1
2021-07-25 20:57
35
afvect0__t28_afvect0
2021-07-18 02:24
5.9K
afvect0__t27_afvect0.vout
2021-07-25 15:53
21K
afvect0__t27_afvect0.vmin1out
2021-07-25 21:00
21K
afvect0__t27_afvect0.vmin1
2021-07-25 20:57
937
afvect0__t27_afvect0.depvmin1
2021-07-25 21:03
34
afvect0__t27_afvect0.depv1
2021-07-25 20:57
34
afvect0__t27_afvect0
2021-07-18 02:18
4.9K
afvect0__t26_afvect0.vout
2021-07-25 15:33
22K
afvect0__t26_afvect0.vmin1out
2021-07-25 21:01
17K
afvect0__t26_afvect0.vmin1
2021-07-25 20:57
1.3K
afvect0__t26_afvect0.depvmin1
2021-07-25 21:03
36
afvect0__t26_afvect0.depv1
2021-07-25 20:57
36
afvect0__t26_afvect0
2021-07-18 02:24
6.1K
afvect0__t25_afvect0.vout
2021-07-25 18:56
89K
afvect0__t25_afvect0.vmin1out
2021-07-25 20:59
89K
afvect0__t25_afvect0.vmin1
2021-07-25 20:57
3.8K
afvect0__t25_afvect0.depvmin1
2021-07-25 21:03
128
afvect0__t25_afvect0.depv1
2021-07-25 20:57
128
afvect0__t25_afvect0
2021-07-18 02:24
7.0K
afvect0__t24_afvect0.vout
2021-07-25 18:24
20K
afvect0__t24_afvect0.vmin1out
2021-07-25 21:02
20K
afvect0__t24_afvect0.vmin1
2021-07-25 20:57
1.2K
afvect0__t24_afvect0.depvmin1
2021-07-25 21:03
36
afvect0__t24_afvect0.depv1
2021-07-25 20:57
36
afvect0__t24_afvect0
2021-07-18 02:24
6.0K
afvect0__t23_afvect0.vout
2021-07-25 15:51
71K
afvect0__t23_afvect0.vmin1out
2021-07-25 20:58
71K
afvect0__t23_afvect0.vmin1
2021-07-25 20:57
3.6K
afvect0__t23_afvect0.depvmin1
2021-07-25 21:03
128
afvect0__t23_afvect0.depv1
2021-07-25 20:57
128
afvect0__t23_afvect0
2021-07-18 02:24
7.6K
afvect0__t22_afvect0.vout
2021-07-25 19:45
34K
afvect0__t22_afvect0.vmin1out
2021-07-25 21:02
34K
afvect0__t22_afvect0.vmin1
2021-07-25 20:57
2.8K
afvect0__t22_afvect0.depvmin1
2021-07-25 21:03
72
afvect0__t22_afvect0.depv1
2021-07-25 20:57
72
afvect0__t22_afvect0
2021-07-18 02:23
6.8K
afvect0__t21_afvect0.vout
2021-07-25 14:25
24K
afvect0__t21_afvect0.vmin1out
2021-07-25 21:02
24K
afvect0__t21_afvect0.vmin1
2021-07-25 20:57
2.5K
afvect0__t21_afvect0.depvmin1
2021-07-25 21:03
61
afvect0__t21_afvect0.depv1
2021-07-25 20:57
61
afvect0__t21_afvect0
2021-07-18 02:23
6.1K
afvect0__t20_afvect0.vout
2021-07-25 14:33
74K
afvect0__t20_afvect0.vmin1out
2021-07-25 20:59
82K
afvect0__t20_afvect0.vmin1
2021-07-25 20:57
3.9K
afvect0__t20_afvect0.depvmin1
2021-07-25 21:03
83
afvect0__t20_afvect0.depv1
2021-07-25 20:57
148
afvect0__t20_afvect0
2021-07-18 02:23
7.7K
afvect0__t19_afvect0.vout
2021-07-25 14:40
21K
afvect0__t19_afvect0.vmin1out
2021-07-25 21:02
21K
afvect0__t19_afvect0.vmin1
2021-07-25 20:57
2.5K
afvect0__t19_afvect0.depvmin1
2021-07-25 21:03
61
afvect0__t19_afvect0.depv1
2021-07-25 20:57
61
afvect0__t19_afvect0
2021-07-18 02:23
6.1K
afvect0__t18_afvect0.vout
2021-07-25 15:38
23K
afvect0__t18_afvect0.vmin1out
2021-07-25 21:01
22K
afvect0__t18_afvect0.vmin1
2021-07-25 20:57
1.1K
afvect0__t18_afvect0.depvmin1
2021-07-25 21:03
45
afvect0__t18_afvect0.depv1
2021-07-25 20:57
45
afvect0__t18_afvect0
2021-07-18 02:18
5.3K
afvect0__t17_afvect0.vout
2021-07-25 20:31
27K
afvect0__t17_afvect0.vmin1out
2021-07-25 21:01
27K
afvect0__t17_afvect0.vmin1
2021-07-25 20:57
2.7K
afvect0__t17_afvect0.depvmin1
2021-07-25 21:03
72
afvect0__t17_afvect0.depv1
2021-07-25 20:57
72
afvect0__t17_afvect0
2021-07-18 02:17
6.3K
afvect0__t16_afvect0.vout
2021-07-25 20:42
16K
afvect0__t16_afvect0.vmin1out
2021-07-25 21:01
16K
afvect0__t16_afvect0.vmin1
2021-07-25 20:57
1.3K
afvect0__t16_afvect0.depvmin1
2021-07-25 21:03
45
afvect0__t16_afvect0.depv1
2021-07-25 20:57
45
afvect0__t16_afvect0
2021-07-18 02:23
5.1K
afvect0__t15_afvect0.vout
2021-07-25 14:38
56K
afvect0__t15_afvect0.vmin1out
2021-07-25 20:58
56K
afvect0__t15_afvect0.vmin1
2021-07-25 20:57
3.3K
afvect0__t15_afvect0.depvmin1
2021-07-25 21:03
84
afvect0__t15_afvect0.depv1
2021-07-25 20:57
84
afvect0__t15_afvect0
2021-07-18 02:23
7.3K
afvect0__t14_afvect0.vout
2021-07-25 20:09
69K
afvect0__t14_afvect0.vmin1out
2021-07-25 21:01
69K
afvect0__t14_afvect0.vmin1
2021-07-25 20:57
3.5K
afvect0__t14_afvect0.depvmin1
2021-07-25 21:03
137
afvect0__t14_afvect0.depv1
2021-07-25 20:57
137
afvect0__t14_afvect0
2021-07-18 02:22
6.9K
afvect0__t13_afvect0.vout
2021-07-25 18:34
62K
afvect0__t13_afvect0.vmin1out
2021-07-25 20:58
69K
afvect0__t13_afvect0.vmin1
2021-07-25 20:57
3.4K
afvect0__t13_afvect0.depvmin1
2021-07-25 21:03
85
afvect0__t13_afvect0.depv1
2021-07-25 20:57
130
afvect0__t13_afvect0
2021-07-18 02:22
7.7K
afvect0__t12_afvect0.vout
2021-07-25 15:00
71K
afvect0__t12_afvect0.vmin1out
2021-07-25 21:00
70K
afvect0__t12_afvect0.vmin1
2021-07-25 20:57
2.8K
afvect0__t12_afvect0.depvmin1
2021-07-25 21:03
61
afvect0__t12_afvect0.depv1
2021-07-25 20:57
61
afvect0__t12_afvect0
2021-07-18 02:22
6.4K
afvect0__t11_afvect0.vout
2021-07-25 17:57
65K
afvect0__t11_afvect0.vmin1out
2021-07-25 20:59
46K
afvect0__t11_afvect0.vmin1
2021-07-25 20:57
3.0K
afvect0__t11_afvect0.depvmin1
2021-07-25 21:03
62
afvect0__t11_afvect0.depv1
2021-07-25 20:57
62
afvect0__t11_afvect0
2021-07-18 02:22
6.6K
afvect0__t10_afvect0.vout
2021-07-25 14:25
34K
afvect0__t10_afvect0.vmin1out
2021-07-25 21:01
34K
afvect0__t10_afvect0.vmin1
2021-07-25 20:57
3.1K
afvect0__t10_afvect0.depvmin1
2021-07-25 21:03
72
afvect0__t10_afvect0.depv1
2021-07-25 20:57
72
afvect0__t10_afvect0
2021-07-18 02:21
7.1K
afvect0__t9_afvect0.vout
2021-07-25 18:02
33K
afvect0__t9_afvect0.vmin1out
2021-07-25 21:00
33K
afvect0__t9_afvect0.vmin1
2021-07-25 20:57
2.7K
afvect0__t9_afvect0.depvmin1
2021-07-25 21:03
60
afvect0__t9_afvect0.depv1
2021-07-25 20:57
60
afvect0__t9_afvect0
2021-07-18 02:21
6.7K
afvect0__t8_afvect0.vout
2021-07-25 16:19
34K
afvect0__t8_afvect0.vmin1out
2021-07-25 21:00
34K
afvect0__t8_afvect0.vmin1
2021-07-25 20:57
2.6K
afvect0__t8_afvect0.depvmin1
2021-07-25 21:03
60
afvect0__t8_afvect0.depv1
2021-07-25 20:57
60
afvect0__t8_afvect0
2021-07-18 02:21
6.9K
afvect0__t7_afvect0.vout
2021-07-25 20:23
28K
afvect0__t7_afvect0.vmin1out
2021-07-25 20:59
28K
afvect0__t7_afvect0.vmin1
2021-07-25 20:57
2.5K
afvect0__t7_afvect0.depvmin1
2021-07-25 21:03
60
afvect0__t7_afvect0.depv1
2021-07-25 20:57
60
afvect0__t7_afvect0
2021-07-18 02:21
6.1K
afvect0__t6_afvect0.vout
2021-07-25 15:39
34K
afvect0__t6_afvect0.vmin1out
2021-07-25 20:59
34K
afvect0__t6_afvect0.vmin1
2021-07-25 20:57
2.5K
afvect0__t6_afvect0.depvmin1
2021-07-25 21:03
60
afvect0__t6_afvect0.depv1
2021-07-25 20:57
60
afvect0__t6_afvect0
2021-07-18 02:21
6.1K
afvect0__t5_afvect0.vout
2021-07-25 19:09
34K
afvect0__t5_afvect0.vmin1out
2021-07-25 21:02
34K
afvect0__t5_afvect0.vmin1
2021-07-25 20:57
2.6K
afvect0__t5_afvect0.depvmin1
2021-07-25 21:03
60
afvect0__t5_afvect0.depv1
2021-07-25 20:57
60
afvect0__t5_afvect0
2021-07-18 02:20
6.6K
afvect0__t4_afvect0.vout
2021-07-25 14:35
28K
afvect0__t4_afvect0.vmin1out
2021-07-25 21:01
28K
afvect0__t4_afvect0.vmin1
2021-07-25 20:57
2.5K
afvect0__t4_afvect0.depvmin1
2021-07-25 21:03
60
afvect0__t4_afvect0.depv1
2021-07-25 20:57
60
afvect0__t4_afvect0
2021-07-18 02:20
6.2K
afvect0__t3_afvect0.vout
2021-07-25 19:37
28K
afvect0__t3_afvect0.vmin1out
2021-07-25 21:02
28K
afvect0__t3_afvect0.vmin1
2021-07-25 20:57
2.5K
afvect0__t3_afvect0.depvmin1
2021-07-25 21:03
60
afvect0__t3_afvect0.depv1
2021-07-25 20:57
60
afvect0__t3_afvect0
2021-07-18 02:20
6.1K
afvect0__t2_afvect0.vout
2021-07-25 18:26
4.5K
afvect0__t2_afvect0.vmin1out
2021-07-25 20:59
4.4K
afvect0__t2_afvect0.vmin1
2021-07-25 20:57
417
afvect0__t2_afvect0.depvmin1
2021-07-25 21:03
22
afvect0__t2_afvect0.depv1
2021-07-25 20:57
22
afvect0__t2_afvect0
2021-07-18 02:17
4.2K
afvect0__t1_afvect0.vout
2021-07-25 19:11
34K
afvect0__t1_afvect0.vmin1out
2021-07-25 21:00
33K
afvect0__t1_afvect0.vmin1
2021-07-25 20:57
2.1K
afvect0__t1_afvect0.depvmin1
2021-07-25 21:03
49
afvect0__t1_afvect0.depv1
2021-07-25 20:57
49
afvect0__t1_afvect0
2021-07-18 02:20
5.7K
afvect0__l57_afvect0.vout
2021-07-25 16:59
4.1K
afvect0__l57_afvect0
2021-07-18 02:33
17K
afvect0__l56_afvect0.vout
2021-07-25 16:35
37K
afvect0__l56_afvect0.vmin1out
2021-07-25 20:59
32K
afvect0__l56_afvect0.vmin1
2021-07-25 20:57
2.4K
afvect0__l56_afvect0.depvmin1
2021-07-25 21:03
113
afvect0__l56_afvect0.depv1
2021-07-25 20:57
113
afvect0__l56_afvect0
2021-07-18 02:32
15K
afvect0__l55_afvect0.vout
2021-07-25 18:43
4.1K
afvect0__l55_afvect0
2021-07-18 02:32
14K
afvect0__l54_afvect0.vout
2021-07-25 16:18
4.1K
afvect0__l54_afvect0
2021-07-18 02:32
17K
afvect0__l53_afvect0.vout
2021-07-25 15:08
4.1K
afvect0__l53_afvect0
2021-07-18 02:31
15K
afvect0__l47_afvect0.vout
2021-07-25 16:30
21K
afvect0__l47_afvect0.vmin1out
2021-07-25 21:00
21K
afvect0__l47_afvect0.vmin1
2021-07-25 20:57
937
afvect0__l47_afvect0.depvmin1
2021-07-25 21:03
34
afvect0__l47_afvect0.depv1
2021-07-25 20:57
34
afvect0__l47_afvect0
2021-07-18 02:20
4.9K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80