Index of /~mptp/mml5.63.1382/MPTP2/problems_small/afinsq_2
Name
Last modified
Size
Description
Parent Directory
-
afinsq_2__t52_afinsq_2
2021-07-18 03:43
37K
afinsq_2__l47_afinsq_2
2021-07-18 03:43
25K
afinsq_2__t1_afinsq_2
2021-07-18 03:44
29K
afinsq_2__t2_afinsq_2
2021-07-18 03:44
61K
afinsq_2__t3_afinsq_2
2021-07-18 03:45
35K
afinsq_2__t4_afinsq_2
2021-07-18 03:45
36K
afinsq_2__t5_afinsq_2
2021-07-18 03:46
62K
afinsq_2__t6_afinsq_2
2021-07-18 03:46
39K
afinsq_2__t7_afinsq_2
2021-07-18 03:47
47K
afinsq_2__t8_afinsq_2
2021-07-18 03:47
47K
afinsq_2__t9_afinsq_2
2021-07-18 03:48
50K
afinsq_2__t10_afinsq_2
2021-07-18 03:49
45K
afinsq_2__t11_afinsq_2
2021-07-18 03:49
58K
afinsq_2__t12_afinsq_2
2021-07-18 03:49
32K
afinsq_2__t13_afinsq_2
2021-07-18 03:50
71K
afinsq_2__t14_afinsq_2
2021-07-18 03:51
55K
afinsq_2__t15_afinsq_2
2021-07-18 03:51
70K
afinsq_2__t16_afinsq_2
2021-07-18 03:52
32K
afinsq_2__t17_afinsq_2
2021-07-18 03:52
37K
afinsq_2__t18_afinsq_2
2021-07-18 03:53
35K
afinsq_2__t19_afinsq_2
2021-07-18 03:53
43K
afinsq_2__t20_afinsq_2
2021-07-18 03:54
40K
afinsq_2__t21_afinsq_2
2021-07-18 03:54
41K
afinsq_2__t22_afinsq_2
2021-07-18 03:55
41K
afinsq_2__t23_afinsq_2
2021-07-18 03:55
30K
afinsq_2__t24_afinsq_2
2021-07-18 03:55
30K
afinsq_2__t25_afinsq_2
2021-07-18 03:56
29K
afinsq_2__t26_afinsq_2
2021-07-18 03:56
43K
afinsq_2__t27_afinsq_2
2021-07-18 03:57
53K
afinsq_2__t28_afinsq_2
2021-07-18 03:58
52K
afinsq_2__t29_afinsq_2
2021-07-18 03:58
49K
afinsq_2__t30_afinsq_2
2021-07-18 03:59
76K
afinsq_2__t31_afinsq_2
2021-07-18 03:59
58K
afinsq_2__t32_afinsq_2
2021-07-18 04:00
38K
afinsq_2__t33_afinsq_2
2021-07-18 04:00
39K
afinsq_2__t34_afinsq_2
2021-07-18 04:01
36K
afinsq_2__t35_afinsq_2
2021-07-18 04:02
72K
afinsq_2__t36_afinsq_2
2021-07-18 04:02
50K
afinsq_2__t37_afinsq_2
2021-07-18 04:03
56K
afinsq_2__t38_afinsq_2
2021-07-18 04:03
58K
afinsq_2__t39_afinsq_2
2021-07-18 04:04
66K
afinsq_2__t40_afinsq_2
2021-07-18 04:05
118K
afinsq_2__t42_afinsq_2
2021-07-18 04:05
70K
afinsq_2__t43_afinsq_2
2021-07-18 04:06
84K
afinsq_2__t44_afinsq_2
2021-07-18 04:07
67K
afinsq_2__t45_afinsq_2
2021-07-18 04:07
82K
afinsq_2__t46_afinsq_2
2021-07-18 04:08
69K
afinsq_2__t47_afinsq_2
2021-07-18 04:09
69K
afinsq_2__t48_afinsq_2
2021-07-18 04:09
60K
afinsq_2__t49_afinsq_2
2021-07-18 04:10
59K
afinsq_2__t50_afinsq_2
2021-07-18 04:10
59K
afinsq_2__t51_afinsq_2
2021-07-18 04:11
59K
afinsq_2__t53_afinsq_2
2021-07-18 04:12
38K
afinsq_2__t54_afinsq_2
2021-07-18 04:12
51K
afinsq_2__t55_afinsq_2
2021-07-18 04:13
48K
afinsq_2__t56_afinsq_2
2021-07-18 04:13
81K
afinsq_2__t57_afinsq_2
2021-07-18 04:14
68K
afinsq_2__t58_afinsq_2
2021-07-18 04:15
74K
afinsq_2__t59_afinsq_2
2021-07-18 04:15
50K
afinsq_2__t60_afinsq_2
2021-07-18 04:16
50K
afinsq_2__t61_afinsq_2
2021-07-18 04:16
71K
afinsq_2__t62_afinsq_2
2021-07-18 04:17
60K
afinsq_2__t63_afinsq_2
2021-07-18 04:18
47K
afinsq_2__t64_afinsq_2
2021-07-18 04:18
70K
afinsq_2__t65_afinsq_2
2021-07-18 04:19
51K
afinsq_2__t66_afinsq_2
2021-07-18 04:19
50K
afinsq_2__t67_afinsq_2
2021-07-18 04:20
47K
afinsq_2__t68_afinsq_2
2021-07-18 04:21
87K
afinsq_2__t69_afinsq_2
2021-07-18 04:21
73K
afinsq_2__t70_afinsq_2
2021-07-18 04:22
72K
afinsq_2__t71_afinsq_2
2021-07-18 04:22
67K
afinsq_2__t72_afinsq_2
2021-07-18 04:23
48K
afinsq_2__t73_afinsq_2
2021-07-18 04:23
41K
afinsq_2__t74_afinsq_2
2021-07-18 04:24
46K
afinsq_2__t75_afinsq_2
2021-07-18 04:25
47K
afinsq_2__t76_afinsq_2
2021-07-18 04:25
42K
afinsq_2__t77_afinsq_2
2021-07-18 04:26
43K
afinsq_2__t78_afinsq_2
2021-07-18 04:26
51K
afinsq_2__t79_afinsq_2
2021-07-18 04:27
35K
afinsq_2__t80_afinsq_2
2021-07-18 04:27
32K
afinsq_2__t81_afinsq_2
2021-07-18 04:28
32K
afinsq_2__t82_afinsq_2
2021-07-18 04:28
32K
afinsq_2__t83_afinsq_2
2021-07-18 04:29
56K
afinsq_2__t84_afinsq_2
2021-07-18 04:29
79K
afinsq_2__t85_afinsq_2
2021-07-18 04:30
63K
afinsq_2__t86_afinsq_2
2021-07-18 04:30
45K
afinsq_2__t87_afinsq_2
2021-07-18 04:31
48K
afinsq_2__l1_afinsq_2
2021-07-18 04:32
56K
afinsq_2__l58_afinsq_2
2021-07-18 04:32
31K
afinsq_2__l59_afinsq_2
2021-07-18 04:32
32K
afinsq_2__t39_afinsq_2.vout
2021-07-25 14:23
6.8K
afinsq_2__t78_afinsq_2.vout
2021-07-25 14:35
7.3K
afinsq_2__t1_afinsq_2.vout
2021-07-25 14:40
12K
afinsq_2__t57_afinsq_2.vout
2021-07-25 14:42
6.9K
afinsq_2__t4_afinsq_2.vout
2021-07-25 14:44
21K
afinsq_2__t74_afinsq_2.vout
2021-07-25 14:44
10K
afinsq_2__t13_afinsq_2.vout
2021-07-25 14:58
4.7K
afinsq_2__t87_afinsq_2.vout
2021-07-25 15:03
2.0K
afinsq_2__t6_afinsq_2.vout
2021-07-25 15:04
32K
afinsq_2__t17_afinsq_2.vout
2021-07-25 15:07
6.6K
afinsq_2__t16_afinsq_2.vout
2021-07-25 15:16
2.0K
afinsq_2__t60_afinsq_2.vout
2021-07-25 15:17
7.4K
afinsq_2__t83_afinsq_2.vout
2021-07-25 15:25
7.4K
afinsq_2__t65_afinsq_2.vout
2021-07-25 15:27
7.3K
afinsq_2__l58_afinsq_2.vout
2021-07-25 15:28
5.5K
afinsq_2__t75_afinsq_2.vout
2021-07-25 15:31
7.3K
afinsq_2__t55_afinsq_2.vout
2021-07-25 15:32
46K
afinsq_2__t21_afinsq_2.vout
2021-07-25 15:38
7.3K
afinsq_2__t82_afinsq_2.vout
2021-07-25 15:53
7.3K
afinsq_2__t2_afinsq_2.vout
2021-07-25 15:59
7.3K
afinsq_2__t69_afinsq_2.vout
2021-07-25 15:59
6.2K
afinsq_2__t36_afinsq_2.vout
2021-07-25 16:04
7.4K
afinsq_2__l1_afinsq_2.vout
2021-07-25 16:10
7.3K
afinsq_2__t79_afinsq_2.vout
2021-07-25 16:10
24K
afinsq_2__t32_afinsq_2.vout
2021-07-25 16:15
7.3K
afinsq_2__t27_afinsq_2.vout
2021-07-25 16:16
3.7K
afinsq_2__t35_afinsq_2.vout
2021-07-25 16:18
7.3K
afinsq_2__t85_afinsq_2.vout
2021-07-25 16:18
7.3K
afinsq_2__t67_afinsq_2.vout
2021-07-25 16:19
7.3K
afinsq_2__t33_afinsq_2.vout
2021-07-25 16:22
26K
afinsq_2__t10_afinsq_2.vout
2021-07-25 16:23
6.2K
afinsq_2__t28_afinsq_2.vout
2021-07-25 16:24
3.7K
afinsq_2__t15_afinsq_2.vout
2021-07-25 16:29
7.3K
afinsq_2__t5_afinsq_2.vout
2021-07-25 16:30
7.3K
afinsq_2__t77_afinsq_2.vout
2021-07-25 16:31
7.3K
afinsq_2__t24_afinsq_2.vout
2021-07-25 16:33
24K
afinsq_2__t40_afinsq_2.vout
2021-07-25 16:40
6.8K
afinsq_2__t7_afinsq_2.vout
2021-07-25 16:48
33K
afinsq_2__t14_afinsq_2.vout
2021-07-25 16:58
2.0K
afinsq_2__t12_afinsq_2.vout
2021-07-25 16:58
13K
afinsq_2__t37_afinsq_2.vout
2021-07-25 17:04
7.4K
afinsq_2__t44_afinsq_2.vout
2021-07-25 17:11
7.3K
afinsq_2__t68_afinsq_2.vout
2021-07-25 17:15
6.8K
afinsq_2__t86_afinsq_2.vout
2021-07-25 17:21
2.0K
afinsq_2__t71_afinsq_2.vout
2021-07-25 17:23
7.3K
afinsq_2__t58_afinsq_2.vout
2021-07-25 17:24
7.3K
afinsq_2__l59_afinsq_2.vout
2021-07-25 17:25
5.5K
afinsq_2__t61_afinsq_2.vout
2021-07-25 17:33
6.8K
afinsq_2__t11_afinsq_2.vout
2021-07-25 17:34
4.7K
afinsq_2__t62_afinsq_2.vout
2021-07-25 17:36
7.3K
afinsq_2__t50_afinsq_2.vout
2021-07-25 17:37
7.3K
afinsq_2__t47_afinsq_2.vout
2021-07-25 17:43
6.8K
afinsq_2__t34_afinsq_2.vout
2021-07-25 17:44
34K
afinsq_2__t80_afinsq_2.vout
2021-07-25 17:50
21K
afinsq_2__t22_afinsq_2.vout
2021-07-25 17:50
5.8K
afinsq_2__t25_afinsq_2.vout
2021-07-25 17:57
16K
afinsq_2__t63_afinsq_2.vout
2021-07-25 18:01
4.7K
afinsq_2__t19_afinsq_2.vout
2021-07-25 18:01
2.0K
afinsq_2__t84_afinsq_2.vout
2021-07-25 18:06
3.7K
afinsq_2__t76_afinsq_2.vout
2021-07-25 18:09
7.3K
afinsq_2__t49_afinsq_2.vout
2021-07-25 18:16
7.3K
afinsq_2__t43_afinsq_2.vout
2021-07-25 18:16
6.8K
afinsq_2__t38_afinsq_2.vout
2021-07-25 18:16
7.3K
afinsq_2__t53_afinsq_2.vout
2021-07-25 18:21
2.0K
afinsq_2__t51_afinsq_2.vout
2021-07-25 18:24
7.3K
afinsq_2__t72_afinsq_2.vout
2021-07-25 18:30
21K
afinsq_2__t42_afinsq_2.vout
2021-07-25 18:37
6.8K
afinsq_2__t3_afinsq_2.vout
2021-07-25 18:40
19K
afinsq_2__t81_afinsq_2.vout
2021-07-25 18:42
21K
afinsq_2__t70_afinsq_2.vout
2021-07-25 18:45
6.8K
afinsq_2__t20_afinsq_2.vout
2021-07-25 19:11
25K
afinsq_2__t30_afinsq_2.vout
2021-07-25 19:13
3.7K
afinsq_2__t8_afinsq_2.vout
2021-07-25 19:15
41K
afinsq_2__t73_afinsq_2.vout
2021-07-25 19:16
38K
afinsq_2__t18_afinsq_2.vout
2021-07-25 19:25
18K
afinsq_2__t26_afinsq_2.vout
2021-07-25 19:26
7.4K
afinsq_2__t23_afinsq_2.vout
2021-07-25 19:30
19K
afinsq_2__t64_afinsq_2.vout
2021-07-25 19:36
7.3K
afinsq_2__t45_afinsq_2.vout
2021-07-25 19:36
6.8K
afinsq_2__t29_afinsq_2.vout
2021-07-25 19:37
7.3K
afinsq_2__t66_afinsq_2.vout
2021-07-25 19:39
7.3K
afinsq_2__t54_afinsq_2.vout
2021-07-25 19:42
7.4K
afinsq_2__t56_afinsq_2.vout
2021-07-25 19:45
7.3K
afinsq_2__t46_afinsq_2.vout
2021-07-25 19:54
6.8K
afinsq_2__l47_afinsq_2.vout
2021-07-25 20:00
2.0K
afinsq_2__t59_afinsq_2.vout
2021-07-25 20:11
7.4K
afinsq_2__t52_afinsq_2.vout
2021-07-25 20:35
2.0K
afinsq_2__t9_afinsq_2.vout
2021-07-25 20:40
7.3K
afinsq_2__t48_afinsq_2.vout
2021-07-25 20:56
7.3K
afinsq_2__t31_afinsq_2.vout
2021-07-25 20:56
7.3K
afinsq_2__t17_afinsq_2.depv1
2021-07-25 20:57
39
afinsq_2__t72_afinsq_2.depv1
2021-07-25 20:57
162
afinsq_2__t80_afinsq_2.depv1
2021-07-25 20:57
39
afinsq_2__l58_afinsq_2.depv1
2021-07-25 20:57
37
afinsq_2__t12_afinsq_2.depv1
2021-07-25 20:57
151
afinsq_2__t18_afinsq_2.depv1
2021-07-25 20:57
233
afinsq_2__t73_afinsq_2.depv1
2021-07-25 20:57
198
afinsq_2__l47_afinsq_2.depv1
2021-07-25 20:57
63
afinsq_2__t23_afinsq_2.depv1
2021-07-25 20:57
168
afinsq_2__t25_afinsq_2.depv1
2021-07-25 20:57
60
afinsq_2__l59_afinsq_2.depv1
2021-07-25 20:57
37
afinsq_2__t6_afinsq_2.depv1
2021-07-25 20:57
316
afinsq_2__t7_afinsq_2.depv1
2021-07-25 20:57
223
afinsq_2__t8_afinsq_2.depv1
2021-07-25 20:57
227
afinsq_2__t20_afinsq_2.depv1
2021-07-25 20:57
185
afinsq_2__t33_afinsq_2.depv1
2021-07-25 20:57
125
afinsq_2__t55_afinsq_2.depv1
2021-07-25 20:57
232
afinsq_2__t1_afinsq_2.depv1
2021-07-25 20:57
164
afinsq_2__t3_afinsq_2.depv1
2021-07-25 20:57
109
afinsq_2__t4_afinsq_2.depv1
2021-07-25 20:57
82
afinsq_2__t34_afinsq_2.depv1
2021-07-25 20:57
334
afinsq_2__t79_afinsq_2.depv1
2021-07-25 20:57
92
afinsq_2__t81_afinsq_2.depv1
2021-07-25 20:57
80
afinsq_2__t24_afinsq_2.depv1
2021-07-25 20:57
232
afinsq_2__l47_afinsq_2.vmin1
2021-07-25 20:57
220
afinsq_2__l58_afinsq_2.vmin1
2021-07-25 20:57
421
afinsq_2__l59_afinsq_2.vmin1
2021-07-25 20:57
421
afinsq_2__t1_afinsq_2.vmin1
2021-07-25 20:57
1.2K
afinsq_2__t3_afinsq_2.vmin1
2021-07-25 20:57
1.2K
afinsq_2__t4_afinsq_2.vmin1
2021-07-25 20:57
1.1K
afinsq_2__t6_afinsq_2.vmin1
2021-07-25 20:57
2.9K
afinsq_2__t7_afinsq_2.vmin1
2021-07-25 20:57
2.4K
afinsq_2__t8_afinsq_2.vmin1
2021-07-25 20:57
2.9K
afinsq_2__t12_afinsq_2.vmin1
2021-07-25 20:57
1.4K
afinsq_2__t17_afinsq_2.vmin1
2021-07-25 20:57
629
afinsq_2__t18_afinsq_2.vmin1
2021-07-25 20:57
1.8K
afinsq_2__t20_afinsq_2.vmin1
2021-07-25 20:57
2.1K
afinsq_2__t23_afinsq_2.vmin1
2021-07-25 20:57
1.2K
afinsq_2__t24_afinsq_2.vmin1
2021-07-25 20:57
1.8K
afinsq_2__t25_afinsq_2.vmin1
2021-07-25 20:57
611
afinsq_2__t33_afinsq_2.vmin1
2021-07-25 20:57
1.8K
afinsq_2__t34_afinsq_2.vmin1
2021-07-25 20:57
3.0K
afinsq_2__t55_afinsq_2.vmin1
2021-07-25 20:57
3.7K
afinsq_2__t72_afinsq_2.vmin1
2021-07-25 20:57
2.4K
afinsq_2__t73_afinsq_2.vmin1
2021-07-25 20:57
2.0K
afinsq_2__t79_afinsq_2.vmin1
2021-07-25 20:57
1.4K
afinsq_2__t80_afinsq_2.vmin1
2021-07-25 20:57
1.4K
afinsq_2__t81_afinsq_2.vmin1
2021-07-25 20:57
2.0K
afinsq_2__l59_afinsq_2.vmin1out
2021-07-25 20:57
4.3K
afinsq_2__l58_afinsq_2.vmin1out
2021-07-25 20:57
4.3K
afinsq_2__t33_afinsq_2.vmin1out
2021-07-25 20:58
35K
afinsq_2__t73_afinsq_2.vmin1out
2021-07-25 20:58
25K
afinsq_2__t7_afinsq_2.vmin1out
2021-07-25 20:58
35K
afinsq_2__t20_afinsq_2.vmin1out
2021-07-25 20:58
26K
afinsq_2__t18_afinsq_2.vmin1out
2021-07-25 20:59
16K
afinsq_2__t8_afinsq_2.vmin1out
2021-07-25 20:59
45K
afinsq_2__t55_afinsq_2.vmin1out
2021-07-25 20:59
40K
afinsq_2__t12_afinsq_2.vmin1out
2021-07-25 20:59
14K
afinsq_2__t6_afinsq_2.vmin1out
2021-07-25 20:59
27K
afinsq_2__t3_afinsq_2.vmin1out
2021-07-25 20:59
19K
afinsq_2__t34_afinsq_2.vmin1out
2021-07-25 21:00
34K
afinsq_2__t80_afinsq_2.vmin1out
2021-07-25 21:00
37K
afinsq_2__t23_afinsq_2.vmin1out
2021-07-25 21:00
20K
afinsq_2__t4_afinsq_2.vmin1out
2021-07-25 21:00
18K
afinsq_2__t79_afinsq_2.vmin1out
2021-07-25 21:01
23K
afinsq_2__t1_afinsq_2.vmin1out
2021-07-25 21:01
11K
afinsq_2__t72_afinsq_2.vmin1out
2021-07-25 21:01
22K
afinsq_2__t81_afinsq_2.vmin1out
2021-07-25 21:02
38K
afinsq_2__t25_afinsq_2.vmin1out
2021-07-25 21:02
16K
afinsq_2__t17_afinsq_2.vmin1out
2021-07-25 21:02
6.8K
afinsq_2__t24_afinsq_2.vmin1out
2021-07-25 21:02
24K
afinsq_2__l47_afinsq_2.vmin1out
2021-07-25 21:02
2.1K
afinsq_2__t17_afinsq_2.depvmin1
2021-07-25 21:03
39
afinsq_2__t80_afinsq_2.depvmin1
2021-07-25 21:03
39
afinsq_2__l58_afinsq_2.depvmin1
2021-07-25 21:03
37
afinsq_2__t12_afinsq_2.depvmin1
2021-07-25 21:03
151
afinsq_2__t72_afinsq_2.depvmin1
2021-07-25 21:03
162
afinsq_2__t73_afinsq_2.depvmin1
2021-07-25 21:03
135
afinsq_2__t18_afinsq_2.depvmin1
2021-07-25 21:03
211
afinsq_2__t23_afinsq_2.depvmin1
2021-07-25 21:03
168
afinsq_2__t25_afinsq_2.depvmin1
2021-07-25 21:03
60
afinsq_2__l47_afinsq_2.depvmin1
2021-07-25 21:03
63
afinsq_2__l59_afinsq_2.depvmin1
2021-07-25 21:03
37
afinsq_2__t7_afinsq_2.depvmin1
2021-07-25 21:03
223
afinsq_2__t6_afinsq_2.depvmin1
2021-07-25 21:03
255
afinsq_2__t20_afinsq_2.depvmin1
2021-07-25 21:03
170
afinsq_2__t33_afinsq_2.depvmin1
2021-07-25 21:03
90
afinsq_2__t1_afinsq_2.depvmin1
2021-07-25 21:03
164
afinsq_2__t8_afinsq_2.depvmin1
2021-07-25 21:03
227
afinsq_2__t55_afinsq_2.depvmin1
2021-07-25 21:03
206
afinsq_2__t3_afinsq_2.depvmin1
2021-07-25 21:03
109
afinsq_2__t4_afinsq_2.depvmin1
2021-07-25 21:03
82
afinsq_2__t79_afinsq_2.depvmin1
2021-07-25 21:03
92
afinsq_2__t24_afinsq_2.depvmin1
2021-07-25 21:03
210
afinsq_2__t34_afinsq_2.depvmin1
2021-07-25 21:03
311
afinsq_2__t81_afinsq_2.depvmin1
2021-07-25 21:03
80
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80