Index of /~mptp/mml5.63.1382/MPTP2/problems_small/abcmiz_a
Name
Last modified
Size
Description
Parent Directory
-
abcmiz_a__t60_abcmiz_a.vout
2021-07-25 15:47
29K
abcmiz_a__t60_abcmiz_a.vmin1out
2021-07-25 21:01
17K
abcmiz_a__t60_abcmiz_a.vmin1
2021-07-25 20:57
2.5K
abcmiz_a__t60_abcmiz_a.depvmin1
2021-07-25 21:03
276
abcmiz_a__t60_abcmiz_a.depv1
2021-07-25 20:57
366
abcmiz_a__t60_abcmiz_a
2021-07-18 09:31
62K
abcmiz_a__t59_abcmiz_a.vout
2021-07-25 18:22
4.7K
abcmiz_a__t59_abcmiz_a
2021-07-18 09:30
71K
abcmiz_a__t58_abcmiz_a.vout
2021-07-25 18:59
3.7K
abcmiz_a__t58_abcmiz_a
2021-07-18 09:30
73K
abcmiz_a__t57_abcmiz_a.vout
2021-07-25 18:23
7.4K
abcmiz_a__t57_abcmiz_a
2021-07-18 09:29
66K
abcmiz_a__t56_abcmiz_a.vout
2021-07-25 15:30
4.7K
abcmiz_a__t56_abcmiz_a
2021-07-18 09:28
53K
abcmiz_a__t55_abcmiz_a.vout
2021-07-25 16:16
4.7K
abcmiz_a__t55_abcmiz_a
2021-07-18 09:28
52K
abcmiz_a__t54_abcmiz_a.vout
2021-07-25 20:37
4.8K
abcmiz_a__t54_abcmiz_a
2021-07-18 09:27
63K
abcmiz_a__t53_abcmiz_a.vout
2021-07-25 18:26
18K
abcmiz_a__t53_abcmiz_a.vmin1out
2021-07-25 20:58
15K
abcmiz_a__t53_abcmiz_a.vmin1
2021-07-25 20:57
1.0K
abcmiz_a__t53_abcmiz_a.depvmin1
2021-07-25 21:03
26
abcmiz_a__t53_abcmiz_a.depv1
2021-07-25 20:57
26
abcmiz_a__t53_abcmiz_a
2021-07-18 08:59
52K
abcmiz_a__t52_abcmiz_a.vout
2021-07-25 16:09
3.7K
abcmiz_a__t52_abcmiz_a
2021-07-18 09:27
62K
abcmiz_a__t51_abcmiz_a.vout
2021-07-25 17:19
4.8K
abcmiz_a__t51_abcmiz_a
2021-07-18 09:26
58K
abcmiz_a__t50_abcmiz_a.vout
2021-07-25 17:09
4.7K
abcmiz_a__t50_abcmiz_a
2021-07-18 09:26
53K
abcmiz_a__t49_abcmiz_a.vout
2021-07-25 15:19
3.7K
abcmiz_a__t49_abcmiz_a
2021-07-18 09:25
69K
abcmiz_a__t48_abcmiz_a.vout
2021-07-25 19:11
7.3K
abcmiz_a__t48_abcmiz_a
2021-07-18 08:59
64K
abcmiz_a__t47_abcmiz_a.vout
2021-07-25 18:32
6.3K
abcmiz_a__t47_abcmiz_a
2021-07-18 09:24
97K
abcmiz_a__t46_abcmiz_a.vout
2021-07-25 20:07
4.7K
abcmiz_a__t46_abcmiz_a
2021-07-18 09:24
97K
abcmiz_a__t45_abcmiz_a.vout
2021-07-25 17:51
6.3K
abcmiz_a__t45_abcmiz_a
2021-07-18 09:23
92K
abcmiz_a__t44_abcmiz_a.vout
2021-07-25 18:12
4.7K
abcmiz_a__t44_abcmiz_a
2021-07-18 09:22
75K
abcmiz_a__t43_abcmiz_a.vout
2021-07-25 18:26
5.8K
abcmiz_a__t43_abcmiz_a
2021-07-18 09:22
71K
abcmiz_a__t42_abcmiz_a.vout
2021-07-25 18:58
5.8K
abcmiz_a__t42_abcmiz_a
2021-07-18 09:21
45K
abcmiz_a__t41_abcmiz_a.vout
2021-07-25 19:25
25K
abcmiz_a__t41_abcmiz_a.vmin1out
2021-07-25 20:58
30K
abcmiz_a__t41_abcmiz_a.vmin1
2021-07-25 20:57
3.8K
abcmiz_a__t41_abcmiz_a.depvmin1
2021-07-25 21:03
447
abcmiz_a__t41_abcmiz_a.depv1
2021-07-25 20:57
447
abcmiz_a__t41_abcmiz_a
2021-07-18 08:58
71K
abcmiz_a__t40_abcmiz_a.vout
2021-07-25 14:29
13K
abcmiz_a__t40_abcmiz_a.vmin1out
2021-07-25 21:02
14K
abcmiz_a__t40_abcmiz_a.vmin1
2021-07-25 20:57
2.1K
abcmiz_a__t40_abcmiz_a.depvmin1
2021-07-25 21:03
261
abcmiz_a__t40_abcmiz_a.depv1
2021-07-25 20:57
261
abcmiz_a__t40_abcmiz_a
2021-07-18 08:58
47K
abcmiz_a__t39_abcmiz_a.vout
2021-07-25 19:26
5.3K
abcmiz_a__t39_abcmiz_a
2021-07-18 09:21
86K
abcmiz_a__t38_abcmiz_a.vout
2021-07-25 20:47
7.4K
abcmiz_a__t38_abcmiz_a
2021-07-18 09:20
60K
abcmiz_a__t37_abcmiz_a.vout
2021-07-25 14:56
2.0K
abcmiz_a__t37_abcmiz_a
2021-07-18 08:57
20K
abcmiz_a__t36_abcmiz_a.vout
2021-07-25 17:20
7.4K
abcmiz_a__t36_abcmiz_a
2021-07-18 09:19
57K
abcmiz_a__t35_abcmiz_a.vout
2021-07-25 16:44
57K
abcmiz_a__t35_abcmiz_a.vmin1out
2021-07-25 20:58
55K
abcmiz_a__t35_abcmiz_a.vmin1
2021-07-25 20:57
4.2K
abcmiz_a__t35_abcmiz_a.depvmin1
2021-07-25 21:03
272
abcmiz_a__t35_abcmiz_a.depv1
2021-07-25 20:57
272
abcmiz_a__t35_abcmiz_a
2021-07-18 09:19
66K
abcmiz_a__t34_abcmiz_a.vout
2021-07-25 16:58
30K
abcmiz_a__t34_abcmiz_a.vmin1out
2021-07-25 20:59
25K
abcmiz_a__t34_abcmiz_a.vmin1
2021-07-25 20:57
2.3K
abcmiz_a__t34_abcmiz_a.depvmin1
2021-07-25 21:03
151
abcmiz_a__t34_abcmiz_a.depv1
2021-07-25 20:57
151
abcmiz_a__t34_abcmiz_a
2021-07-18 08:57
52K
abcmiz_a__t33_abcmiz_a.vout
2021-07-25 18:33
27K
abcmiz_a__t33_abcmiz_a.vmin1out
2021-07-25 20:58
24K
abcmiz_a__t33_abcmiz_a.vmin1
2021-07-25 20:57
1.9K
abcmiz_a__t33_abcmiz_a.depvmin1
2021-07-25 21:03
90
abcmiz_a__t33_abcmiz_a.depv1
2021-07-25 20:57
90
abcmiz_a__t33_abcmiz_a
2021-07-18 09:18
46K
abcmiz_a__t32_abcmiz_a.vout
2021-07-25 14:36
6.8K
abcmiz_a__t32_abcmiz_a
2021-07-18 09:18
84K
abcmiz_a__t31_abcmiz_a.vout
2021-07-25 19:04
4.2K
abcmiz_a__t31_abcmiz_a
2021-07-18 09:17
39K
abcmiz_a__t30_abcmiz_a.vout
2021-07-25 19:37
35K
abcmiz_a__t30_abcmiz_a.vmin1out
2021-07-25 21:00
33K
abcmiz_a__t30_abcmiz_a.vmin1
2021-07-25 20:57
3.2K
abcmiz_a__t30_abcmiz_a.depvmin1
2021-07-25 21:03
330
abcmiz_a__t30_abcmiz_a.depv1
2021-07-25 20:57
391
abcmiz_a__t30_abcmiz_a
2021-07-18 09:17
41K
abcmiz_a__t29_abcmiz_a.vout
2021-07-25 15:01
7.9K
abcmiz_a__t29_abcmiz_a
2021-07-18 09:16
39K
abcmiz_a__t28_abcmiz_a.vout
2021-07-25 17:37
8.6K
abcmiz_a__t28_abcmiz_a.vmin1out
2021-07-25 21:00
8.7K
abcmiz_a__t28_abcmiz_a.vmin1
2021-07-25 20:57
1.4K
abcmiz_a__t28_abcmiz_a.depvmin1
2021-07-25 21:03
201
abcmiz_a__t28_abcmiz_a.depv1
2021-07-25 20:57
201
abcmiz_a__t28_abcmiz_a
2021-07-18 09:16
31K
abcmiz_a__t27_abcmiz_a.vout
2021-07-25 19:38
15K
abcmiz_a__t27_abcmiz_a.vmin1out
2021-07-25 21:00
13K
abcmiz_a__t27_abcmiz_a.vmin1
2021-07-25 20:57
2.1K
abcmiz_a__t27_abcmiz_a.depvmin1
2021-07-25 21:03
307
abcmiz_a__t27_abcmiz_a.depv1
2021-07-25 20:57
341
abcmiz_a__t27_abcmiz_a
2021-07-18 08:56
43K
abcmiz_a__t26_abcmiz_a.vout
2021-07-25 19:29
7.3K
abcmiz_a__t26_abcmiz_a
2021-07-18 09:15
165K
abcmiz_a__t25_abcmiz_a.vout
2021-07-25 15:02
4.7K
abcmiz_a__t25_abcmiz_a
2021-07-18 09:14
89K
abcmiz_a__t24_abcmiz_a.vout
2021-07-25 14:41
7.3K
abcmiz_a__t24_abcmiz_a
2021-07-18 09:14
168K
abcmiz_a__t23_abcmiz_a.vout
2021-07-25 16:10
47K
abcmiz_a__t23_abcmiz_a.vmin1out
2021-07-25 20:59
46K
abcmiz_a__t23_abcmiz_a.vmin1
2021-07-25 20:57
2.2K
abcmiz_a__t23_abcmiz_a.depvmin1
2021-07-25 21:03
138
abcmiz_a__t23_abcmiz_a.depv1
2021-07-25 20:57
161
abcmiz_a__t23_abcmiz_a
2021-07-18 09:13
57K
abcmiz_a__t22_abcmiz_a.vout
2021-07-25 20:34
4.7K
abcmiz_a__t22_abcmiz_a
2021-07-18 09:12
54K
abcmiz_a__t21_abcmiz_a.vout
2021-07-25 18:22
3.7K
abcmiz_a__t21_abcmiz_a
2021-07-18 09:12
145K
abcmiz_a__t20_abcmiz_a.vout
2021-07-25 17:34
7.3K
abcmiz_a__t20_abcmiz_a
2021-07-18 09:11
84K
abcmiz_a__t19_abcmiz_a.vout
2021-07-25 15:28
3.7K
abcmiz_a__t19_abcmiz_a
2021-07-18 09:10
172K
abcmiz_a__t18_abcmiz_a.vout
2021-07-25 15:37
3.7K
abcmiz_a__t18_abcmiz_a
2021-07-18 09:09
173K
abcmiz_a__t17_abcmiz_a.vout
2021-07-25 16:55
7.3K
abcmiz_a__t17_abcmiz_a
2021-07-18 09:08
78K
abcmiz_a__t16_abcmiz_a.vout
2021-07-25 15:42
41K
abcmiz_a__t16_abcmiz_a.vmin1out
2021-07-25 20:58
40K
abcmiz_a__t16_abcmiz_a.vmin1
2021-07-25 20:57
3.3K
abcmiz_a__t16_abcmiz_a.depvmin1
2021-07-25 21:03
317
abcmiz_a__t16_abcmiz_a.depv1
2021-07-25 20:57
342
abcmiz_a__t16_abcmiz_a
2021-07-18 09:08
64K
abcmiz_a__t15_abcmiz_a.vout
2021-07-25 20:09
7.4K
abcmiz_a__t15_abcmiz_a
2021-07-18 09:07
83K
abcmiz_a__t14_abcmiz_a.vout
2021-07-25 17:16
60K
abcmiz_a__t14_abcmiz_a.vmin1out
2021-07-25 21:02
67K
abcmiz_a__t14_abcmiz_a.vmin1
2021-07-25 20:57
2.5K
abcmiz_a__t14_abcmiz_a.depvmin1
2021-07-25 21:03
194
abcmiz_a__t14_abcmiz_a.depv1
2021-07-25 20:57
194
abcmiz_a__t14_abcmiz_a
2021-07-18 09:06
56K
abcmiz_a__t13_abcmiz_a.vout
2021-07-25 15:46
7.3K
abcmiz_a__t13_abcmiz_a
2021-07-18 09:06
101K
abcmiz_a__t12_abcmiz_a.vout
2021-07-25 16:35
6.8K
abcmiz_a__t12_abcmiz_a
2021-07-18 09:05
72K
abcmiz_a__t11_abcmiz_a.vout
2021-07-25 17:22
3.7K
abcmiz_a__t11_abcmiz_a
2021-07-18 09:04
94K
abcmiz_a__t10_abcmiz_a.vout
2021-07-25 18:33
2.0K
abcmiz_a__t10_abcmiz_a
2021-07-18 09:03
44K
abcmiz_a__t9_abcmiz_a.vout
2021-07-25 18:44
5.5K
abcmiz_a__t9_abcmiz_a.vmin1out
2021-07-25 21:00
6.8K
abcmiz_a__t9_abcmiz_a.vmin1
2021-07-25 20:57
737
abcmiz_a__t9_abcmiz_a.depvmin1
2021-07-25 21:03
126
abcmiz_a__t9_abcmiz_a.depv1
2021-07-25 20:57
139
abcmiz_a__t9_abcmiz_a
2021-07-18 08:56
17K
abcmiz_a__t8_abcmiz_a.vout
2021-07-25 15:05
8.4K
abcmiz_a__t8_abcmiz_a
2021-07-18 09:03
34K
abcmiz_a__t7_abcmiz_a.vout
2021-07-25 15:35
5.3K
abcmiz_a__t7_abcmiz_a
2021-07-18 09:02
25K
abcmiz_a__t6_abcmiz_a.vout
2021-07-25 17:40
7.3K
abcmiz_a__t6_abcmiz_a
2021-07-18 09:02
68K
abcmiz_a__t5_abcmiz_a.vout
2021-07-25 20:57
6.8K
abcmiz_a__t5_abcmiz_a
2021-07-18 09:01
58K
abcmiz_a__t4_abcmiz_a.vout
2021-07-25 20:57
8.8K
abcmiz_a__t4_abcmiz_a
2021-07-18 09:01
28K
abcmiz_a__t3_abcmiz_a.vout
2021-07-25 19:35
4.7K
abcmiz_a__t3_abcmiz_a
2021-07-18 09:00
62K
abcmiz_a__t2_abcmiz_a.vout
2021-07-25 17:40
12K
abcmiz_a__t2_abcmiz_a.vmin1out
2021-07-25 20:58
10K
abcmiz_a__t2_abcmiz_a.vmin1
2021-07-25 20:57
1.0K
abcmiz_a__t2_abcmiz_a.depvmin1
2021-07-25 21:03
158
abcmiz_a__t2_abcmiz_a.depv1
2021-07-25 20:57
168
abcmiz_a__t2_abcmiz_a
2021-07-18 09:00
24K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80