Index of /~mptp/mml5.63.1382/MPTP2/problems_small/topalg_1
Name
Last modified
Size
Description
Parent Directory
-
topalg_1__t65_topalg_1.vout
2021-07-25 14:42
11K
topalg_1__t65_topalg_1.vmin1out
2021-07-25 20:59
13K
topalg_1__t65_topalg_1.vmin1
2021-07-25 20:57
839
topalg_1__t65_topalg_1.depvmin1
2021-07-25 21:03
26
topalg_1__t65_topalg_1.depv1
2021-07-25 20:57
26
topalg_1__t65_topalg_1
2021-07-18 06:28
23K
topalg_1__t64_topalg_1.vout
2021-07-25 16:36
6.8K
topalg_1__t64_topalg_1
2021-07-18 06:55
43K
topalg_1__t63_topalg_1.vout
2021-07-25 20:11
95K
topalg_1__t63_topalg_1.vmin1out
2021-07-25 21:02
91K
topalg_1__t63_topalg_1.vmin1
2021-07-25 20:57
5.6K
topalg_1__t63_topalg_1.depvmin1
2021-07-25 21:03
226
topalg_1__t63_topalg_1.depv1
2021-07-25 20:57
265
topalg_1__t63_topalg_1
2021-07-18 06:55
43K
topalg_1__t62_topalg_1.vout
2021-07-25 20:46
4.7K
topalg_1__t62_topalg_1
2021-07-18 06:54
41K
topalg_1__t61_topalg_1.vout
2021-07-25 20:30
21K
topalg_1__t61_topalg_1.vmin1out
2021-07-25 21:00
26K
topalg_1__t61_topalg_1.vmin1
2021-07-25 20:57
1.7K
topalg_1__t61_topalg_1.depvmin1
2021-07-25 21:03
26
topalg_1__t61_topalg_1.depv1
2021-07-25 20:57
65
topalg_1__t61_topalg_1
2021-07-18 06:28
38K
topalg_1__t60_topalg_1.vout
2021-07-25 15:06
8.4K
topalg_1__t60_topalg_1
2021-07-18 06:54
49K
topalg_1__t59_topalg_1.vout
2021-07-25 17:15
7.8K
topalg_1__t59_topalg_1
2021-07-18 06:53
42K
topalg_1__t58_topalg_1.vout
2021-07-25 19:15
53K
topalg_1__t58_topalg_1.vmin1out
2021-07-25 21:02
41K
topalg_1__t58_topalg_1.vmin1
2021-07-25 20:57
3.8K
topalg_1__t58_topalg_1.depvmin1
2021-07-25 21:03
165
topalg_1__t58_topalg_1.depv1
2021-07-25 20:57
185
topalg_1__t58_topalg_1
2021-07-18 06:53
36K
topalg_1__t57_topalg_1.vout
2021-07-25 14:35
63K
topalg_1__t57_topalg_1.vmin1out
2021-07-25 20:59
29K
topalg_1__t57_topalg_1.vmin1
2021-07-25 20:57
4.3K
topalg_1__t57_topalg_1.depvmin1
2021-07-25 21:03
193
topalg_1__t57_topalg_1.depv1
2021-07-25 20:57
193
topalg_1__t57_topalg_1
2021-07-18 06:52
40K
topalg_1__t56_topalg_1.vout
2021-07-25 15:16
22K
topalg_1__t56_topalg_1.vmin1out
2021-07-25 21:00
15K
topalg_1__t56_topalg_1.vmin1
2021-07-25 20:57
1.6K
topalg_1__t56_topalg_1.depvmin1
2021-07-25 21:03
53
topalg_1__t56_topalg_1.depv1
2021-07-25 20:57
53
topalg_1__t56_topalg_1
2021-07-18 06:27
34K
topalg_1__t55_topalg_1.vout
2021-07-25 15:29
21K
topalg_1__t55_topalg_1.vmin1out
2021-07-25 20:58
21K
topalg_1__t55_topalg_1.vmin1
2021-07-25 20:57
2.4K
topalg_1__t55_topalg_1.depvmin1
2021-07-25 21:03
90
topalg_1__t55_topalg_1.depv1
2021-07-25 20:57
90
topalg_1__t55_topalg_1
2021-07-18 06:27
38K
topalg_1__t54_topalg_1.vout
2021-07-25 17:59
16K
topalg_1__t54_topalg_1.vmin1out
2021-07-25 20:59
15K
topalg_1__t54_topalg_1.vmin1
2021-07-25 20:57
1.4K
topalg_1__t54_topalg_1.depvmin1
2021-07-25 21:03
63
topalg_1__t54_topalg_1.depv1
2021-07-25 20:57
63
topalg_1__t54_topalg_1
2021-07-18 06:26
38K
topalg_1__t53_topalg_1.vout
2021-07-25 16:57
4.7K
topalg_1__t53_topalg_1
2021-07-18 06:52
47K
topalg_1__t52_topalg_1.vout
2021-07-25 15:11
7.4K
topalg_1__t52_topalg_1
2021-07-18 06:51
43K
topalg_1__t51_topalg_1.vout
2021-07-25 20:44
4.7K
topalg_1__t51_topalg_1
2021-07-18 06:51
42K
topalg_1__t50_topalg_1.vout
2021-07-25 14:31
4.7K
topalg_1__t50_topalg_1
2021-07-18 06:50
44K
topalg_1__t49_topalg_1.vout
2021-07-25 19:46
21K
topalg_1__t49_topalg_1.vmin1out
2021-07-25 20:57
20K
topalg_1__t49_topalg_1.vmin1
2021-07-25 20:57
1.7K
topalg_1__t49_topalg_1.depvmin1
2021-07-25 21:03
88
topalg_1__t49_topalg_1.depv1
2021-07-25 20:57
88
topalg_1__t49_topalg_1
2021-07-18 06:26
37K
topalg_1__t48_topalg_1.vout
2021-07-25 16:27
4.7K
topalg_1__t48_topalg_1
2021-07-18 06:49
43K
topalg_1__t47_topalg_1.vout
2021-07-25 16:30
4.7K
topalg_1__t47_topalg_1
2021-07-18 06:49
38K
topalg_1__t46_topalg_1.vout
2021-07-25 18:44
49K
topalg_1__t46_topalg_1.vmin1out
2021-07-25 20:59
53K
topalg_1__t46_topalg_1.vmin1
2021-07-25 20:57
2.6K
topalg_1__t46_topalg_1.depvmin1
2021-07-25 21:03
101
topalg_1__t46_topalg_1.depv1
2021-07-25 20:57
122
topalg_1__t46_topalg_1
2021-07-18 06:48
33K
topalg_1__t45_topalg_1.vout
2021-07-25 17:48
43K
topalg_1__t45_topalg_1.vmin1out
2021-07-25 20:59
49K
topalg_1__t45_topalg_1.vmin1
2021-07-25 20:57
2.3K
topalg_1__t45_topalg_1.depvmin1
2021-07-25 21:03
109
topalg_1__t45_topalg_1.depv1
2021-07-25 20:57
109
topalg_1__t45_topalg_1
2021-07-18 06:48
33K
topalg_1__t44_topalg_1.vout
2021-07-25 20:20
50K
topalg_1__t44_topalg_1.vmin1out
2021-07-25 21:01
78K
topalg_1__t44_topalg_1.vmin1
2021-07-25 20:57
3.3K
topalg_1__t44_topalg_1.depvmin1
2021-07-25 21:03
118
topalg_1__t44_topalg_1.depv1
2021-07-25 20:57
118
topalg_1__t44_topalg_1
2021-07-18 06:48
33K
topalg_1__t43_topalg_1.vout
2021-07-25 19:30
238K
topalg_1__t43_topalg_1.vmin1out
2021-07-25 21:01
234K
topalg_1__t43_topalg_1.vmin1
2021-07-25 20:57
6.4K
topalg_1__t43_topalg_1.depvmin1
2021-07-25 21:03
226
topalg_1__t43_topalg_1.depv1
2021-07-25 20:57
226
topalg_1__t43_topalg_1
2021-07-18 06:47
35K
topalg_1__t42_topalg_1.vout
2021-07-25 20:45
33K
topalg_1__t42_topalg_1.vmin1out
2021-07-25 21:02
51K
topalg_1__t42_topalg_1.vmin1
2021-07-25 20:57
2.7K
topalg_1__t42_topalg_1.depvmin1
2021-07-25 21:03
118
topalg_1__t42_topalg_1.depv1
2021-07-25 20:57
118
topalg_1__t42_topalg_1
2021-07-18 06:47
32K
topalg_1__t41_topalg_1.vout
2021-07-25 14:35
126K
topalg_1__t41_topalg_1.vmin1out
2021-07-25 21:01
109K
topalg_1__t41_topalg_1.vmin1
2021-07-25 20:57
5.5K
topalg_1__t41_topalg_1.depvmin1
2021-07-25 21:03
213
topalg_1__t41_topalg_1.depv1
2021-07-25 20:57
213
topalg_1__t41_topalg_1
2021-07-18 06:46
34K
topalg_1__t40_topalg_1.vout
2021-07-25 16:32
34K
topalg_1__t40_topalg_1.vmin1out
2021-07-25 20:58
51K
topalg_1__t40_topalg_1.vmin1
2021-07-25 20:57
2.7K
topalg_1__t40_topalg_1.depvmin1
2021-07-25 21:03
118
topalg_1__t40_topalg_1.depv1
2021-07-25 20:57
118
topalg_1__t40_topalg_1
2021-07-18 06:46
32K
topalg_1__t39_topalg_1.vout
2021-07-25 14:31
39K
topalg_1__t39_topalg_1.vmin1out
2021-07-25 21:01
54K
topalg_1__t39_topalg_1.vmin1
2021-07-25 20:57
3.5K
topalg_1__t39_topalg_1.depvmin1
2021-07-25 21:03
153
topalg_1__t39_topalg_1.depv1
2021-07-25 20:57
153
topalg_1__t39_topalg_1
2021-07-18 06:45
34K
topalg_1__t38_topalg_1.vout
2021-07-25 18:52
31K
topalg_1__t38_topalg_1.vmin1out
2021-07-25 20:57
42K
topalg_1__t38_topalg_1.vmin1
2021-07-25 20:57
2.7K
topalg_1__t38_topalg_1.depvmin1
2021-07-25 21:03
118
topalg_1__t38_topalg_1.depv1
2021-07-25 20:57
118
topalg_1__t38_topalg_1
2021-07-18 06:45
32K
topalg_1__t37_topalg_1.vout
2021-07-25 16:41
127K
topalg_1__t37_topalg_1.vmin1out
2021-07-25 20:58
137K
topalg_1__t37_topalg_1.vmin1
2021-07-25 20:57
5.4K
topalg_1__t37_topalg_1.depvmin1
2021-07-25 21:03
234
topalg_1__t37_topalg_1.depv1
2021-07-25 20:57
234
topalg_1__t37_topalg_1
2021-07-18 06:45
36K
topalg_1__t36_topalg_1.vout
2021-07-25 17:15
69K
topalg_1__t36_topalg_1.vmin1out
2021-07-25 21:00
51K
topalg_1__t36_topalg_1.vmin1
2021-07-25 20:57
2.7K
topalg_1__t36_topalg_1.depvmin1
2021-07-25 21:03
103
topalg_1__t36_topalg_1.depv1
2021-07-25 20:57
103
topalg_1__t36_topalg_1
2021-07-18 06:44
32K
topalg_1__t35_topalg_1.vout
2021-07-25 18:29
44K
topalg_1__t35_topalg_1.vmin1out
2021-07-25 20:58
107K
topalg_1__t35_topalg_1.vmin1
2021-07-25 20:57
3.7K
topalg_1__t35_topalg_1.depvmin1
2021-07-25 21:03
101
topalg_1__t35_topalg_1.depv1
2021-07-25 20:57
101
topalg_1__t35_topalg_1
2021-07-18 06:44
33K
topalg_1__t34_topalg_1.vout
2021-07-25 14:34
36K
topalg_1__t34_topalg_1.vmin1out
2021-07-25 20:59
51K
topalg_1__t34_topalg_1.vmin1
2021-07-25 20:57
2.7K
topalg_1__t34_topalg_1.depvmin1
2021-07-25 21:03
103
topalg_1__t34_topalg_1.depv1
2021-07-25 20:57
103
topalg_1__t34_topalg_1
2021-07-18 06:43
32K
topalg_1__t33_topalg_1.vout
2021-07-25 16:14
101K
topalg_1__t33_topalg_1.vmin1out
2021-07-25 21:01
135K
topalg_1__t33_topalg_1.vmin1
2021-07-25 20:57
4.0K
topalg_1__t33_topalg_1.depvmin1
2021-07-25 21:03
143
topalg_1__t33_topalg_1.depv1
2021-07-25 20:57
143
topalg_1__t33_topalg_1
2021-07-18 06:43
33K
topalg_1__t32_topalg_1.vout
2021-07-25 15:49
36K
topalg_1__t32_topalg_1.vmin1out
2021-07-25 20:57
51K
topalg_1__t32_topalg_1.vmin1
2021-07-25 20:57
2.7K
topalg_1__t32_topalg_1.depvmin1
2021-07-25 21:03
103
topalg_1__t32_topalg_1.depv1
2021-07-25 20:57
103
topalg_1__t32_topalg_1
2021-07-18 06:42
32K
topalg_1__t31_topalg_1.vout
2021-07-25 17:38
68K
topalg_1__t31_topalg_1.vmin1out
2021-07-25 20:58
53K
topalg_1__t31_topalg_1.vmin1
2021-07-25 20:57
3.5K
topalg_1__t31_topalg_1.depvmin1
2021-07-25 21:03
130
topalg_1__t31_topalg_1.depv1
2021-07-25 20:57
130
topalg_1__t31_topalg_1
2021-07-18 06:42
33K
topalg_1__t30_topalg_1.vout
2021-07-25 15:35
43K
topalg_1__t30_topalg_1.vmin1out
2021-07-25 21:00
33K
topalg_1__t30_topalg_1.vmin1
2021-07-25 20:57
2.2K
topalg_1__t30_topalg_1.depvmin1
2021-07-25 21:03
103
topalg_1__t30_topalg_1.depv1
2021-07-25 20:57
103
topalg_1__t30_topalg_1
2021-07-18 06:42
32K
topalg_1__t29_topalg_1.vout
2021-07-25 18:29
6.8K
topalg_1__t29_topalg_1
2021-07-18 06:41
34K
topalg_1__t28_topalg_1.vout
2021-07-25 17:20
42K
topalg_1__t28_topalg_1.vmin1out
2021-07-25 21:00
33K
topalg_1__t28_topalg_1.vmin1
2021-07-25 20:57
2.2K
topalg_1__t28_topalg_1.depvmin1
2021-07-25 21:03
103
topalg_1__t28_topalg_1.depv1
2021-07-25 20:57
103
topalg_1__t28_topalg_1
2021-07-18 06:41
32K
topalg_1__t27_topalg_1.vout
2021-07-25 18:36
6.8K
topalg_1__t27_topalg_1
2021-07-18 06:40
33K
topalg_1__t26_topalg_1.vout
2021-07-25 15:51
49K
topalg_1__t26_topalg_1.vmin1out
2021-07-25 20:58
37K
topalg_1__t26_topalg_1.vmin1
2021-07-25 20:57
2.5K
topalg_1__t26_topalg_1.depvmin1
2021-07-25 21:03
118
topalg_1__t26_topalg_1.depv1
2021-07-25 20:57
118
topalg_1__t26_topalg_1
2021-07-18 06:40
32K
topalg_1__t25_topalg_1.vout
2021-07-25 14:59
70K
topalg_1__t25_topalg_1.vmin1out
2021-07-25 20:58
79K
topalg_1__t25_topalg_1.vmin1
2021-07-25 20:57
3.8K
topalg_1__t25_topalg_1.depvmin1
2021-07-25 21:03
158
topalg_1__t25_topalg_1.depv1
2021-07-25 20:57
158
topalg_1__t25_topalg_1
2021-07-18 06:39
34K
topalg_1__t24_topalg_1.vout
2021-07-25 16:01
48K
topalg_1__t24_topalg_1.vmin1out
2021-07-25 20:58
37K
topalg_1__t24_topalg_1.vmin1
2021-07-25 20:57
2.5K
topalg_1__t24_topalg_1.depvmin1
2021-07-25 21:03
118
topalg_1__t24_topalg_1.depv1
2021-07-25 20:57
118
topalg_1__t24_topalg_1
2021-07-18 06:39
32K
topalg_1__t23_topalg_1.vout
2021-07-25 15:31
70K
topalg_1__t23_topalg_1.vmin1out
2021-07-25 21:02
79K
topalg_1__t23_topalg_1.vmin1
2021-07-25 20:57
3.8K
topalg_1__t23_topalg_1.depvmin1
2021-07-25 21:03
158
topalg_1__t23_topalg_1.depv1
2021-07-25 20:57
158
topalg_1__t23_topalg_1
2021-07-18 06:39
34K
topalg_1__t22_topalg_1.vout
2021-07-25 15:59
27K
topalg_1__t22_topalg_1.vmin1out
2021-07-25 20:57
37K
topalg_1__t22_topalg_1.vmin1
2021-07-25 20:57
2.5K
topalg_1__t22_topalg_1.depvmin1
2021-07-25 21:03
118
topalg_1__t22_topalg_1.depv1
2021-07-25 20:57
118
topalg_1__t22_topalg_1
2021-07-18 06:38
32K
topalg_1__t21_topalg_1.vout
2021-07-25 15:14
94K
topalg_1__t21_topalg_1.vmin1out
2021-07-25 20:58
107K
topalg_1__t21_topalg_1.vmin1
2021-07-25 20:57
4.6K
topalg_1__t21_topalg_1.depvmin1
2021-07-25 21:03
192
topalg_1__t21_topalg_1.depv1
2021-07-25 20:57
192
topalg_1__t21_topalg_1
2021-07-18 06:38
35K
topalg_1__t20_topalg_1.vout
2021-07-25 18:59
48K
topalg_1__t20_topalg_1.vmin1out
2021-07-25 21:02
37K
topalg_1__t20_topalg_1.vmin1
2021-07-25 20:57
2.5K
topalg_1__t20_topalg_1.depvmin1
2021-07-25 21:03
118
topalg_1__t20_topalg_1.depv1
2021-07-25 20:57
118
topalg_1__t20_topalg_1
2021-07-18 06:37
32K
topalg_1__t19_topalg_1.vout
2021-07-25 14:56
94K
topalg_1__t19_topalg_1.vmin1out
2021-07-25 21:02
106K
topalg_1__t19_topalg_1.vmin1
2021-07-25 20:57
4.6K
topalg_1__t19_topalg_1.depvmin1
2021-07-25 21:03
192
topalg_1__t19_topalg_1.depv1
2021-07-25 20:57
192
topalg_1__t19_topalg_1
2021-07-18 06:37
35K
topalg_1__t18_topalg_1.vout
2021-07-25 20:03
6.8K
topalg_1__t18_topalg_1
2021-07-18 06:36
188K
topalg_1__t17_topalg_1.vout
2021-07-25 20:30
7.3K
topalg_1__t17_topalg_1
2021-07-18 06:35
221K
topalg_1__t16_topalg_1.vout
2021-07-25 20:12
6.8K
topalg_1__t16_topalg_1
2021-07-18 06:34
61K
topalg_1__t15_topalg_1.vout
2021-07-25 18:26
6.8K
topalg_1__t15_topalg_1
2021-07-18 06:34
48K
topalg_1__t14_topalg_1.vout
2021-07-25 20:41
4.7K
topalg_1__t14_topalg_1
2021-07-18 06:33
52K
topalg_1__t13_topalg_1.vout
2021-07-25 19:15
4.7K
topalg_1__t13_topalg_1
2021-07-18 06:32
48K
topalg_1__t12_topalg_1.vout
2021-07-25 18:58
4.7K
topalg_1__t12_topalg_1
2021-07-18 06:32
47K
topalg_1__t11_topalg_1.vout
2021-07-25 18:46
33K
topalg_1__t11_topalg_1.vmin1out
2021-07-25 21:00
35K
topalg_1__t11_topalg_1.vmin1
2021-07-25 20:57
2.9K
topalg_1__t11_topalg_1.depvmin1
2021-07-25 21:03
368
topalg_1__t11_topalg_1.depv1
2021-07-25 20:57
421
topalg_1__t11_topalg_1
2021-07-18 06:31
30K
topalg_1__t10_topalg_1.vout
2021-07-25 15:31
2.0K
topalg_1__t10_topalg_1
2021-07-18 06:31
26K
topalg_1__t9_topalg_1.vout
2021-07-25 16:40
2.0K
topalg_1__t9_topalg_1
2021-07-18 06:30
21K
topalg_1__t8_topalg_1.vout
2021-07-25 17:23
7.3K
topalg_1__t8_topalg_1
2021-07-18 06:30
27K
topalg_1__t7_topalg_1.vout
2021-07-25 18:28
2.0K
topalg_1__t7_topalg_1
2021-07-18 06:25
19K
topalg_1__t6_topalg_1.vout
2021-07-25 16:54
2.0K
topalg_1__t6_topalg_1
2021-07-18 06:30
20K
topalg_1__t5_topalg_1.vout
2021-07-25 19:26
18K
topalg_1__t5_topalg_1.vmin1out
2021-07-25 21:01
18K
topalg_1__t5_topalg_1.vmin1
2021-07-25 20:57
1.8K
topalg_1__t5_topalg_1.depvmin1
2021-07-25 21:03
217
topalg_1__t5_topalg_1.depv1
2021-07-25 20:57
217
topalg_1__t5_topalg_1
2021-07-18 06:29
24K
topalg_1__t4_topalg_1.vout
2021-07-25 16:14
17K
topalg_1__t4_topalg_1.vmin1out
2021-07-25 21:02
17K
topalg_1__t4_topalg_1.vmin1
2021-07-25 20:57
1.6K
topalg_1__t4_topalg_1.depvmin1
2021-07-25 21:03
203
topalg_1__t4_topalg_1.depv1
2021-07-25 20:57
203
topalg_1__t4_topalg_1
2021-07-18 06:29
24K
topalg_1__t3_topalg_1.vout
2021-07-25 18:41
7.3K
topalg_1__t3_topalg_1
2021-07-18 06:29
24K
topalg_1__t2_topalg_1.vout
2021-07-25 18:09
6.8K
topalg_1__t2_topalg_1
2021-07-18 06:28
24K
topalg_1__t1_topalg_1.vout
2021-07-25 16:10
19K
topalg_1__t1_topalg_1.vmin1out
2021-07-25 21:00
9.6K
topalg_1__t1_topalg_1.vmin1
2021-07-25 20:57
2.2K
topalg_1__t1_topalg_1.depvmin1
2021-07-25 21:03
36
topalg_1__t1_topalg_1.depv1
2021-07-25 20:57
162
topalg_1__t1_topalg_1
2021-07-18 06:25
5.8K
topalg_1__l71_topalg_1.vout
2021-07-25 20:29
5.8K
topalg_1__l71_topalg_1
2021-07-18 06:59
56K
topalg_1__l70_topalg_1.vout
2021-07-25 18:26
6.8K
topalg_1__l70_topalg_1
2021-07-18 06:58
63K
topalg_1__l56_topalg_1.vout
2021-07-25 20:14
4.7K
topalg_1__l56_topalg_1
2021-07-18 06:57
40K
topalg_1__l50_topalg_1.vout
2021-07-25 16:19
4.7K
topalg_1__l50_topalg_1
2021-07-18 06:57
37K
topalg_1__l48_topalg_1.vout
2021-07-25 20:25
5.8K
topalg_1__l48_topalg_1
2021-07-18 06:56
33K
topalg_1__l15_topalg_1.vout
2021-07-25 18:46
4.7K
topalg_1__l15_topalg_1
2021-07-18 06:56
37K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80