Index of /~mptp/mml5.63.1382/MPTP2/problems_small/moebius2
Name
Last modified
Size
Description
Parent Directory
-
moebius2__t65_moebius2.vout
2021-07-25 20:55
4.7K
moebius2__t65_moebius2
2021-07-18 04:44
96K
moebius2__t64_moebius2.vout
2021-07-25 19:27
4.7K
moebius2__t64_moebius2
2021-07-18 04:43
72K
moebius2__t63_moebius2.vout
2021-07-25 16:09
7.4K
moebius2__t63_moebius2
2021-07-18 04:42
67K
moebius2__t62_moebius2.vout
2021-07-25 16:37
8.5K
moebius2__t62_moebius2
2021-07-18 04:41
54K
moebius2__t61_moebius2.vout
2021-07-25 20:53
9.0K
moebius2__t61_moebius2
2021-07-18 04:41
54K
moebius2__t60_moebius2.vout
2021-07-25 20:41
7.3K
moebius2__t60_moebius2
2021-07-18 04:40
44K
moebius2__t59_moebius2.vout
2021-07-25 20:01
38K
moebius2__t59_moebius2.vmin1out
2021-07-25 21:02
35K
moebius2__t59_moebius2.vmin1
2021-07-25 20:57
3.6K
moebius2__t59_moebius2.depvmin1
2021-07-25 21:03
349
moebius2__t59_moebius2.depv1
2021-07-25 20:57
428
moebius2__t59_moebius2
2021-07-18 04:40
44K
moebius2__t58_moebius2.vout
2021-07-25 18:20
31K
moebius2__t58_moebius2.vmin1out
2021-07-25 21:01
24K
moebius2__t58_moebius2.vmin1
2021-07-25 20:57
3.1K
moebius2__t58_moebius2.depvmin1
2021-07-25 21:03
350
moebius2__t58_moebius2.depv1
2021-07-25 20:57
411
moebius2__t58_moebius2
2021-07-18 04:05
35K
moebius2__t57_moebius2.vout
2021-07-25 14:30
6.8K
moebius2__t57_moebius2
2021-07-18 04:39
51K
moebius2__t56_moebius2.vout
2021-07-25 18:27
7.3K
moebius2__t56_moebius2
2021-07-18 04:39
49K
moebius2__t55_moebius2.vout
2021-07-25 18:34
7.3K
moebius2__t55_moebius2
2021-07-18 04:38
41K
moebius2__t54_moebius2.vout
2021-07-25 20:30
11K
moebius2__t54_moebius2.vmin1out
2021-07-25 20:57
9.8K
moebius2__t54_moebius2.vmin1
2021-07-25 20:57
862
moebius2__t54_moebius2.depvmin1
2021-07-25 21:03
94
moebius2__t54_moebius2.depv1
2021-07-25 20:57
94
moebius2__t54_moebius2
2021-07-18 04:37
43K
moebius2__t53_moebius2.vout
2021-07-25 20:16
6.8K
moebius2__t53_moebius2
2021-07-18 04:37
112K
moebius2__t52_moebius2.vout
2021-07-25 16:15
4.7K
moebius2__t52_moebius2
2021-07-18 04:36
75K
moebius2__t51_moebius2.vout
2021-07-25 16:03
31K
moebius2__t51_moebius2.vmin1out
2021-07-25 21:00
37K
moebius2__t51_moebius2.vmin1
2021-07-25 20:57
2.4K
moebius2__t51_moebius2.depvmin1
2021-07-25 21:03
145
moebius2__t51_moebius2.depv1
2021-07-25 20:57
145
moebius2__t51_moebius2
2021-07-18 04:35
45K
moebius2__t50_moebius2.vout
2021-07-25 16:43
35K
moebius2__t50_moebius2.vmin1out
2021-07-25 20:59
34K
moebius2__t50_moebius2.vmin1
2021-07-25 20:57
2.3K
moebius2__t50_moebius2.depvmin1
2021-07-25 21:03
159
moebius2__t50_moebius2.depv1
2021-07-25 20:57
159
moebius2__t50_moebius2
2021-07-18 04:35
45K
moebius2__t49_moebius2.vout
2021-07-25 19:17
4.7K
moebius2__t49_moebius2
2021-07-18 04:34
52K
moebius2__t48_moebius2.vout
2021-07-25 17:18
24K
moebius2__t48_moebius2.vmin1out
2021-07-25 20:58
18K
moebius2__t48_moebius2.vmin1
2021-07-25 20:57
1.6K
moebius2__t48_moebius2.depvmin1
2021-07-25 21:03
114
moebius2__t48_moebius2.depv1
2021-07-25 20:57
114
moebius2__t48_moebius2
2021-07-18 04:34
45K
moebius2__t47_moebius2.vout
2021-07-25 19:07
7.3K
moebius2__t47_moebius2
2021-07-18 04:33
70K
moebius2__t46_moebius2.vout
2021-07-25 16:21
7.3K
moebius2__t46_moebius2
2021-07-18 04:32
56K
moebius2__t45_moebius2.vout
2021-07-25 19:17
6.8K
moebius2__t45_moebius2
2021-07-18 04:32
112K
moebius2__t44_moebius2.vout
2021-07-25 17:38
4.7K
moebius2__t44_moebius2
2021-07-18 04:31
74K
moebius2__t43_moebius2.vout
2021-07-25 19:52
25K
moebius2__t43_moebius2.vmin1out
2021-07-25 20:59
37K
moebius2__t43_moebius2.vmin1
2021-07-25 20:57
2.4K
moebius2__t43_moebius2.depvmin1
2021-07-25 21:03
145
moebius2__t43_moebius2.depv1
2021-07-25 20:57
145
moebius2__t43_moebius2
2021-07-18 04:30
43K
moebius2__t42_moebius2.vout
2021-07-25 17:58
24K
moebius2__t42_moebius2.vmin1out
2021-07-25 21:01
33K
moebius2__t42_moebius2.vmin1
2021-07-25 20:57
2.2K
moebius2__t42_moebius2.depvmin1
2021-07-25 21:03
122
moebius2__t42_moebius2.depv1
2021-07-25 20:57
122
moebius2__t42_moebius2
2021-07-18 04:29
43K
moebius2__t41_moebius2.vout
2021-07-25 15:46
7.4K
moebius2__t41_moebius2
2021-07-18 04:29
47K
moebius2__t40_moebius2.vout
2021-07-25 17:46
7.3K
moebius2__t40_moebius2
2021-07-18 04:28
38K
moebius2__t39_moebius2.vout
2021-07-25 17:56
15K
moebius2__t39_moebius2.vmin1out
2021-07-25 21:01
9.8K
moebius2__t39_moebius2.vmin1
2021-07-25 20:57
1.1K
moebius2__t39_moebius2.depvmin1
2021-07-25 21:03
160
moebius2__t39_moebius2.depv1
2021-07-25 20:57
160
moebius2__t39_moebius2
2021-07-18 04:28
41K
moebius2__t38_moebius2.vout
2021-07-25 19:34
7.3K
moebius2__t38_moebius2
2021-07-18 04:27
55K
moebius2__t37_moebius2.vout
2021-07-25 20:16
4.7K
moebius2__t37_moebius2
2021-07-18 04:27
45K
moebius2__t36_moebius2.vout
2021-07-25 15:47
7.3K
moebius2__t36_moebius2
2021-07-18 04:26
48K
moebius2__t35_moebius2.vout
2021-07-25 19:18
25K
moebius2__t35_moebius2.vmin1out
2021-07-25 20:59
18K
moebius2__t35_moebius2.vmin1
2021-07-25 20:57
1.9K
moebius2__t35_moebius2.depvmin1
2021-07-25 21:03
162
moebius2__t35_moebius2.depv1
2021-07-25 20:57
162
moebius2__t35_moebius2
2021-07-18 04:26
42K
moebius2__t34_moebius2.vout
2021-07-25 15:46
7.3K
moebius2__t34_moebius2
2021-07-18 04:25
49K
moebius2__t33_moebius2.vout
2021-07-25 20:55
38K
moebius2__t33_moebius2.vmin1out
2021-07-25 21:00
46K
moebius2__t33_moebius2.vmin1
2021-07-25 20:57
3.0K
moebius2__t33_moebius2.depvmin1
2021-07-25 21:03
194
moebius2__t33_moebius2.depv1
2021-07-25 20:57
270
moebius2__t33_moebius2
2021-07-18 04:25
65K
moebius2__t32_moebius2.vout
2021-07-25 15:05
7.4K
moebius2__t32_moebius2
2021-07-18 04:24
74K
moebius2__t31_moebius2.vout
2021-07-25 20:37
11K
moebius2__t31_moebius2.vmin1out
2021-07-25 20:59
12K
moebius2__t31_moebius2.vmin1
2021-07-25 20:57
936
moebius2__t31_moebius2.depvmin1
2021-07-25 21:03
118
moebius2__t31_moebius2.depv1
2021-07-25 20:57
118
moebius2__t31_moebius2
2021-07-18 04:23
42K
moebius2__t30_moebius2.vout
2021-07-25 17:55
15K
moebius2__t30_moebius2.vmin1out
2021-07-25 21:01
15K
moebius2__t30_moebius2.vmin1
2021-07-25 20:57
1.2K
moebius2__t30_moebius2.depvmin1
2021-07-25 21:03
169
moebius2__t30_moebius2.depv1
2021-07-25 20:57
169
moebius2__t30_moebius2
2021-07-18 04:23
45K
moebius2__t29_moebius2.vout
2021-07-25 15:55
32K
moebius2__t29_moebius2.vmin1out
2021-07-25 20:58
42K
moebius2__t29_moebius2.vmin1
2021-07-25 20:57
2.8K
moebius2__t29_moebius2.depvmin1
2021-07-25 21:03
287
moebius2__t29_moebius2.depv1
2021-07-25 20:57
312
moebius2__t29_moebius2
2021-07-18 04:22
46K
moebius2__t28_moebius2.vout
2021-07-25 19:37
13K
moebius2__t28_moebius2.vmin1out
2021-07-25 21:01
13K
moebius2__t28_moebius2.vmin1
2021-07-25 20:57
818
moebius2__t28_moebius2.depvmin1
2021-07-25 21:03
103
moebius2__t28_moebius2.depv1
2021-07-25 20:57
103
moebius2__t28_moebius2
2021-07-18 04:04
39K
moebius2__t27_moebius2.vout
2021-07-25 17:58
23K
moebius2__t27_moebius2.vmin1out
2021-07-25 21:01
21K
moebius2__t27_moebius2.vmin1
2021-07-25 20:57
1.2K
moebius2__t27_moebius2.depvmin1
2021-07-25 21:03
146
moebius2__t27_moebius2.depv1
2021-07-25 20:57
146
moebius2__t27_moebius2
2021-07-18 04:22
42K
moebius2__t26_moebius2.vout
2021-07-25 15:05
7.3K
moebius2__t26_moebius2
2021-07-18 04:21
64K
moebius2__t25_moebius2.vout
2021-07-25 20:39
6.9K
moebius2__t25_moebius2
2021-07-18 04:20
80K
moebius2__t24_moebius2.vout
2021-07-25 16:14
7.3K
moebius2__t24_moebius2.vmin1out
2021-07-25 21:00
6.8K
moebius2__t24_moebius2.vmin1
2021-07-25 20:57
1.2K
moebius2__t24_moebius2.depvmin1
2021-07-25 21:03
92
moebius2__t24_moebius2.depv1
2021-07-25 20:57
116
moebius2__t24_moebius2
2021-07-18 04:04
48K
moebius2__t23_moebius2.vout
2021-07-25 17:49
6.3K
moebius2__t23_moebius2
2021-07-18 04:20
67K
moebius2__t22_moebius2.vout
2021-07-25 16:56
25K
moebius2__t22_moebius2.vmin1out
2021-07-25 21:02
22K
moebius2__t22_moebius2.vmin1
2021-07-25 20:57
1.6K
moebius2__t22_moebius2.depvmin1
2021-07-25 21:03
171
moebius2__t22_moebius2.depv1
2021-07-25 20:57
171
moebius2__t22_moebius2
2021-07-18 04:19
51K
moebius2__t21_moebius2.vout
2021-07-25 20:10
26K
moebius2__t21_moebius2.vmin1out
2021-07-25 21:00
29K
moebius2__t21_moebius2.vmin1
2021-07-25 20:57
1.9K
moebius2__t21_moebius2.depvmin1
2021-07-25 21:03
228
moebius2__t21_moebius2.depv1
2021-07-25 20:57
228
moebius2__t21_moebius2
2021-07-18 04:19
40K
moebius2__t20_moebius2.vout
2021-07-25 17:56
8.9K
moebius2__t20_moebius2.vmin1out
2021-07-25 21:02
6.5K
moebius2__t20_moebius2.vmin1
2021-07-25 20:57
554
moebius2__t20_moebius2.depvmin1
2021-07-25 21:03
63
moebius2__t20_moebius2.depv1
2021-07-25 20:57
63
moebius2__t20_moebius2
2021-07-18 04:18
35K
moebius2__t19_moebius2.vout
2021-07-25 18:27
8.5K
moebius2__t19_moebius2.vmin1out
2021-07-25 21:02
7.7K
moebius2__t19_moebius2.vmin1
2021-07-25 20:57
1.0K
moebius2__t19_moebius2.depvmin1
2021-07-25 21:03
111
moebius2__t19_moebius2.depv1
2021-07-25 20:57
111
moebius2__t19_moebius2
2021-07-18 04:18
38K
moebius2__t18_moebius2.vout
2021-07-25 14:58
7.9K
moebius2__t18_moebius2
2021-07-18 04:17
615K
moebius2__t17_moebius2.vout
2021-07-25 16:08
6.8K
moebius2__t17_moebius2.vmin1out
2021-07-25 21:01
5.7K
moebius2__t17_moebius2.vmin1
2021-07-25 20:57
788
moebius2__t17_moebius2.depvmin1
2021-07-25 21:03
99
moebius2__t17_moebius2.depv1
2021-07-25 20:57
99
moebius2__t17_moebius2
2021-07-18 04:16
37K
moebius2__t16_moebius2.vout
2021-07-25 15:34
7.9K
moebius2__t16_moebius2
2021-07-18 04:16
536K
moebius2__t15_moebius2.vout
2021-07-25 15:59
6.6K
moebius2__t15_moebius2.vmin1out
2021-07-25 20:58
5.8K
moebius2__t15_moebius2.vmin1
2021-07-25 20:57
716
moebius2__t15_moebius2.depvmin1
2021-07-25 21:03
106
moebius2__t15_moebius2.depv1
2021-07-25 20:57
98
moebius2__t15_moebius2
2021-07-18 04:15
38K
moebius2__t14_moebius2.vout
2021-07-25 15:59
7.9K
moebius2__t14_moebius2
2021-07-18 04:15
309K
moebius2__t13_moebius2.vout
2021-07-25 17:22
8.4K
moebius2__t13_moebius2
2021-07-18 04:14
162K
moebius2__t12_moebius2.vout
2021-07-25 18:43
6.2K
moebius2__t12_moebius2.vmin1out
2021-07-25 20:58
5.5K
moebius2__t12_moebius2.vmin1
2021-07-25 20:57
651
moebius2__t12_moebius2.depvmin1
2021-07-25 21:03
106
moebius2__t12_moebius2.depv1
2021-07-25 20:57
106
moebius2__t12_moebius2
2021-07-18 04:13
38K
moebius2__t11_moebius2.vout
2021-07-25 18:29
8.4K
moebius2__t11_moebius2
2021-07-18 04:13
167K
moebius2__t10_moebius2.vout
2021-07-25 18:11
7.9K
moebius2__t10_moebius2.vmin1out
2021-07-25 20:59
6.7K
moebius2__t10_moebius2.vmin1
2021-07-25 20:57
801
moebius2__t10_moebius2.depvmin1
2021-07-25 21:03
133
moebius2__t10_moebius2.depv1
2021-07-25 20:57
133
moebius2__t10_moebius2
2021-07-18 04:12
37K
moebius2__t9_moebius2.vout
2021-07-25 19:46
8.4K
moebius2__t9_moebius2
2021-07-18 04:12
87K
moebius2__t8_moebius2.vout
2021-07-25 15:32
8.6K
moebius2__t8_moebius2.vmin1out
2021-07-25 21:00
9.1K
moebius2__t8_moebius2.vmin1
2021-07-25 20:57
944
moebius2__t8_moebius2.depvmin1
2021-07-25 21:03
173
moebius2__t8_moebius2.depv1
2021-07-25 20:57
173
moebius2__t8_moebius2
2021-07-18 04:11
36K
moebius2__t7_moebius2.vout
2021-07-25 17:43
2.0K
moebius2__t7_moebius2
2021-07-18 04:11
39K
moebius2__t6_moebius2.vout
2021-07-25 14:29
18K
moebius2__t6_moebius2.vmin1out
2021-07-25 21:00
13K
moebius2__t6_moebius2.vmin1
2021-07-25 20:57
1.6K
moebius2__t6_moebius2.depvmin1
2021-07-25 21:03
121
moebius2__t6_moebius2.depv1
2021-07-25 20:57
168
moebius2__t6_moebius2
2021-07-18 04:10
38K
moebius2__t5_moebius2.vout
2021-07-25 16:10
15K
moebius2__t5_moebius2.vmin1out
2021-07-25 20:57
15K
moebius2__t5_moebius2.vmin1
2021-07-25 20:57
1.0K
moebius2__t5_moebius2.depvmin1
2021-07-25 21:03
53
moebius2__t5_moebius2.depv1
2021-07-25 20:57
53
moebius2__t5_moebius2
2021-07-18 04:10
34K
moebius2__t4_moebius2.vout
2021-07-25 19:24
2.0K
moebius2__t4_moebius2
2021-07-18 04:09
40K
moebius2__t3_moebius2.vout
2021-07-25 15:43
2.0K
moebius2__t3_moebius2
2021-07-18 04:09
57K
moebius2__t2_moebius2.vout
2021-07-25 14:36
12K
moebius2__t2_moebius2.vmin1out
2021-07-25 20:59
11K
moebius2__t2_moebius2.vmin1
2021-07-25 20:57
730
moebius2__t2_moebius2.depvmin1
2021-07-25 21:03
78
moebius2__t2_moebius2.depv1
2021-07-25 20:57
78
moebius2__t2_moebius2
2021-07-18 04:08
37K
moebius2__t1_moebius2.vout
2021-07-25 18:19
7.8K
moebius2__t1_moebius2
2021-07-18 04:08
56K
moebius2__l81_moebius2.vout
2021-07-25 19:33
4.7K
moebius2__l81_moebius2
2021-07-18 04:45
77K
moebius2__l51_moebius2.vout
2021-07-25 17:11
7.4K
moebius2__l51_moebius2
2021-07-18 04:44
47K
moebius2__l17_moebius2.vout
2021-07-25 19:31
8.4K
moebius2__l17_moebius2.vmin1out
2021-07-25 21:02
7.2K
moebius2__l17_moebius2.vmin1
2021-07-25 20:57
876
moebius2__l17_moebius2.depvmin1
2021-07-25 21:03
130
moebius2__l17_moebius2.depv1
2021-07-25 20:57
165
moebius2__l17_moebius2
2021-07-18 04:07
30K
moebius2__l16_moebius2.vout
2021-07-25 20:48
8.4K
moebius2__l16_moebius2.vmin1out
2021-07-25 21:00
7.2K
moebius2__l16_moebius2.vmin1
2021-07-25 20:57
876
moebius2__l16_moebius2.depvmin1
2021-07-25 21:03
130
moebius2__l16_moebius2.depv1
2021-07-25 20:57
165
moebius2__l16_moebius2
2021-07-18 04:07
30K
moebius2__l15_moebius2.vout
2021-07-25 20:48
7.4K
moebius2__l15_moebius2.vmin1out
2021-07-25 21:02
7.4K
moebius2__l15_moebius2.vmin1
2021-07-25 20:57
691
moebius2__l15_moebius2.depvmin1
2021-07-25 21:03
119
moebius2__l15_moebius2.depv1
2021-07-25 20:57
119
moebius2__l15_moebius2
2021-07-18 04:06
30K
moebius2__l14_moebius2.vout
2021-07-25 18:18
8.1K
moebius2__l14_moebius2.vmin1out
2021-07-25 21:02
6.7K
moebius2__l14_moebius2.vmin1
2021-07-25 20:57
768
moebius2__l14_moebius2.depvmin1
2021-07-25 21:03
133
moebius2__l14_moebius2.depv1
2021-07-25 20:57
133
moebius2__l14_moebius2
2021-07-18 04:06
30K
moebius2__l13_moebius2.vout
2021-07-25 15:50
8.4K
moebius2__l13_moebius2.vmin1out
2021-07-25 21:01
7.2K
moebius2__l13_moebius2.vmin1
2021-07-25 20:57
872
moebius2__l13_moebius2.depvmin1
2021-07-25 21:03
129
moebius2__l13_moebius2.depv1
2021-07-25 20:57
163
moebius2__l13_moebius2
2021-07-18 04:05
30K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80