Index of /~mptp/mml5.63.1382/MPTP2/problems_small/euclid13
Name
Last modified
Size
Description
Parent Directory
-
euclid13__t1_euclid13
2021-07-17 20:52
20K
euclid13__t1_euclid13.vout
2021-07-25 18:44
7.3K
euclid13__t2_euclid13
2021-07-17 20:52
128K
euclid13__t2_euclid13.vout
2021-07-25 19:05
7.3K
euclid13__t3_euclid13
2021-07-17 20:52
29K
euclid13__t3_euclid13.vout
2021-07-25 18:19
2.0K
euclid13__t4_euclid13
2021-07-17 20:52
75K
euclid13__t4_euclid13.vout
2021-07-25 17:11
2.0K
euclid13__t5_euclid13
2021-07-17 20:53
76K
euclid13__t5_euclid13.vout
2021-07-25 16:54
2.0K
euclid13__t6_euclid13
2021-07-17 20:53
28K
euclid13__t6_euclid13.vout
2021-07-25 17:19
2.0K
euclid13__t7_euclid13
2021-07-17 20:53
21K
euclid13__t7_euclid13.vout
2021-07-25 19:20
7.9K
euclid13__t8_euclid13
2021-07-17 20:54
20K
euclid13__t8_euclid13.depv1
2021-07-25 20:57
77
euclid13__t8_euclid13.depvmin1
2021-07-25 21:03
77
euclid13__t8_euclid13.vmin1
2021-07-25 20:57
1.6K
euclid13__t8_euclid13.vmin1out
2021-07-25 21:00
13K
euclid13__t8_euclid13.vout
2021-07-25 18:24
21K
euclid13__t9_euclid13
2021-07-17 20:55
38K
euclid13__t9_euclid13.vout
2021-07-25 15:49
7.3K
euclid13__t10_euclid13
2021-07-17 20:55
28K
euclid13__t10_euclid13.vout
2021-07-25 18:43
5.8K
euclid13__t11_euclid13
2021-07-17 20:56
25K
euclid13__t11_euclid13.vout
2021-07-25 15:52
4.1K
euclid13__t12_euclid13
2021-07-17 20:56
126K
euclid13__t12_euclid13.vout
2021-07-25 20:01
4.7K
euclid13__t13_euclid13
2021-07-17 20:57
37K
euclid13__t13_euclid13.vout
2021-07-25 14:47
4.7K
euclid13__t14_euclid13
2021-07-17 20:58
34K
euclid13__t14_euclid13.vout
2021-07-25 19:53
4.1K
euclid13__t15_euclid13
2021-07-17 20:58
35K
euclid13__t15_euclid13.vout
2021-07-25 15:06
4.1K
euclid13__t16_euclid13
2021-07-17 20:59
27K
euclid13__t16_euclid13.vout
2021-07-25 20:08
4.1K
euclid13__t17_euclid13
2021-07-17 20:59
25K
euclid13__t17_euclid13.vout
2021-07-25 17:54
4.1K
euclid13__t18_euclid13
2021-07-17 21:00
50K
euclid13__t18_euclid13.vout
2021-07-25 16:32
4.7K
euclid13__t19_euclid13
2021-07-17 21:01
34K
euclid13__t19_euclid13.vout
2021-07-25 19:38
4.7K
euclid13__t20_euclid13
2021-07-17 21:01
34K
euclid13__t20_euclid13.vout
2021-07-25 18:14
4.7K
euclid13__t21_euclid13
2021-07-17 21:02
49K
euclid13__t21_euclid13.vout
2021-07-25 14:42
4.1K
euclid13__t22_euclid13
2021-07-17 21:03
49K
euclid13__t22_euclid13.vout
2021-07-25 16:17
4.7K
euclid13__t23_euclid13
2021-07-17 21:03
37K
euclid13__t23_euclid13.vout
2021-07-25 19:33
5.8K
euclid13__t24_euclid13
2021-07-17 21:04
21K
euclid13__t24_euclid13.depv1
2021-07-25 20:57
51
euclid13__t24_euclid13.depvmin1
2021-07-25 21:03
51
euclid13__t24_euclid13.vmin1
2021-07-25 20:57
1.2K
euclid13__t24_euclid13.vmin1out
2021-07-25 20:59
13K
euclid13__t24_euclid13.vout
2021-07-25 18:05
9.5K
euclid13__t25_euclid13
2021-07-17 21:04
46K
euclid13__t25_euclid13.vout
2021-07-25 15:41
5.8K
euclid13__t26_euclid13
2021-07-17 21:05
34K
euclid13__t26_euclid13.vout
2021-07-25 18:27
7.9K
euclid13__t27_euclid13
2021-07-17 21:05
205K
euclid13__t27_euclid13.vout
2021-07-25 15:44
4.7K
euclid13__t28_euclid13
2021-07-17 21:06
36K
euclid13__t28_euclid13.vout
2021-07-25 17:33
4.7K
euclid13__t29_euclid13
2021-07-17 21:06
46K
euclid13__t29_euclid13.vout
2021-07-25 18:38
4.1K
euclid13__t30_euclid13
2021-07-17 21:07
35K
euclid13__t30_euclid13.vout
2021-07-25 15:03
3.3K
euclid13__t31_euclid13
2021-07-17 21:07
90K
euclid13__t31_euclid13.vout
2021-07-25 16:07
4.7K
euclid13__t32_euclid13
2021-07-17 21:08
90K
euclid13__t32_euclid13.vout
2021-07-25 15:56
5.8K
euclid13__t33_euclid13
2021-07-17 21:08
36K
euclid13__t33_euclid13.vout
2021-07-25 20:54
7.9K
euclid13__t34_euclid13
2021-07-17 21:09
47K
euclid13__t34_euclid13.vout
2021-07-25 15:46
7.9K
euclid13__t35_euclid13
2021-07-17 21:10
38K
euclid13__t35_euclid13.vout
2021-07-25 19:00
4.7K
euclid13__t36_euclid13
2021-07-17 21:10
47K
euclid13__t36_euclid13.vout
2021-07-25 16:14
7.4K
euclid13__t37_euclid13
2021-07-17 21:11
22K
euclid13__t37_euclid13.depv1
2021-07-25 20:57
40
euclid13__t37_euclid13.depvmin1
2021-07-25 21:03
40
euclid13__t37_euclid13.vmin1
2021-07-25 20:57
1.1K
euclid13__t37_euclid13.vmin1out
2021-07-25 21:00
13K
euclid13__t37_euclid13.vout
2021-07-25 15:10
15K
euclid13__t38_euclid13
2021-07-17 21:11
23K
euclid13__t38_euclid13.depv1
2021-07-25 20:57
80
euclid13__t38_euclid13.depvmin1
2021-07-25 21:03
80
euclid13__t38_euclid13.vmin1
2021-07-25 20:57
1.5K
euclid13__t38_euclid13.vmin1out
2021-07-25 20:58
17K
euclid13__t38_euclid13.vout
2021-07-25 18:46
22K
euclid13__t39_euclid13
2021-07-17 21:12
26K
euclid13__t39_euclid13.depv1
2021-07-25 20:57
144
euclid13__t39_euclid13.depvmin1
2021-07-25 21:03
144
euclid13__t39_euclid13.vmin1
2021-07-25 20:57
2.4K
euclid13__t39_euclid13.vmin1out
2021-07-25 20:58
33K
euclid13__t39_euclid13.vout
2021-07-25 18:11
44K
euclid13__t40_euclid13
2021-07-17 21:12
26K
euclid13__t40_euclid13.depv1
2021-07-25 20:57
40
euclid13__t40_euclid13.depvmin1
2021-07-25 21:03
40
euclid13__t40_euclid13.vmin1
2021-07-25 20:57
1.2K
euclid13__t40_euclid13.vmin1out
2021-07-25 20:58
19K
euclid13__t40_euclid13.vout
2021-07-25 15:50
28K
euclid13__t41_euclid13
2021-07-17 21:13
26K
euclid13__t41_euclid13.depv1
2021-07-25 20:57
79
euclid13__t41_euclid13.depvmin1
2021-07-25 21:03
79
euclid13__t41_euclid13.vmin1
2021-07-25 20:57
1.8K
euclid13__t41_euclid13.vmin1out
2021-07-25 21:02
27K
euclid13__t41_euclid13.vout
2021-07-25 19:44
37K
euclid13__t42_euclid13
2021-07-17 21:13
25K
euclid13__t42_euclid13.vout
2021-07-25 17:26
7.4K
euclid13__t43_euclid13
2021-07-17 21:14
25K
euclid13__t43_euclid13.vout
2021-07-25 17:19
4.1K
euclid13__t44_euclid13
2021-07-17 21:15
38K
euclid13__t44_euclid13.vout
2021-07-25 17:48
7.9K
euclid13__t45_euclid13
2021-07-17 21:15
26K
euclid13__t45_euclid13.vout
2021-07-25 17:24
4.1K
euclid13__t46_euclid13
2021-07-17 20:51
22K
euclid13__t46_euclid13.depv1
2021-07-25 20:57
26
euclid13__t46_euclid13.depvmin1
2021-07-25 21:03
26
euclid13__t46_euclid13.vmin1
2021-07-25 20:57
661
euclid13__t46_euclid13.vmin1out
2021-07-25 20:58
8.7K
euclid13__t46_euclid13.vout
2021-07-25 18:56
6.8K
euclid13__t47_euclid13
2021-07-17 21:16
37K
euclid13__t47_euclid13.vout
2021-07-25 16:39
4.1K
euclid13__t48_euclid13
2021-07-17 21:16
41K
euclid13__t48_euclid13.vout
2021-07-25 14:33
4.1K
euclid13__t49_euclid13
2021-07-17 21:17
25K
euclid13__t49_euclid13.depv1
2021-07-25 20:57
39
euclid13__t49_euclid13.depvmin1
2021-07-25 21:03
39
euclid13__t49_euclid13.vmin1
2021-07-25 20:57
1.0K
euclid13__t49_euclid13.vmin1out
2021-07-25 21:00
12K
euclid13__t49_euclid13.vout
2021-07-25 18:24
9.5K
euclid13__t50_euclid13
2021-07-17 21:17
40K
euclid13__t50_euclid13.vout
2021-07-25 14:45
4.1K
euclid13__t51_euclid13
2021-07-17 21:18
26K
euclid13__t51_euclid13.vout
2021-07-25 20:55
7.3K
euclid13__t52_euclid13
2021-07-17 21:19
42K
euclid13__t52_euclid13.vout
2021-07-25 19:29
7.4K
euclid13__t53_euclid13
2021-07-17 21:19
168K
euclid13__t53_euclid13.depv1
2021-07-25 20:57
103
euclid13__t53_euclid13.depvmin1
2021-07-25 21:03
103
euclid13__t53_euclid13.vmin1
2021-07-25 20:57
1.7K
euclid13__t53_euclid13.vmin1out
2021-07-25 21:02
17K
euclid13__t53_euclid13.vout
2021-07-25 14:30
16K
euclid13__t54_euclid13
2021-07-17 21:20
23K
euclid13__t54_euclid13.depv1
2021-07-25 20:57
64
euclid13__t54_euclid13.depvmin1
2021-07-25 21:03
64
euclid13__t54_euclid13.vmin1
2021-07-25 20:57
1.5K
euclid13__t54_euclid13.vmin1out
2021-07-25 20:57
16K
euclid13__t54_euclid13.vout
2021-07-25 20:19
15K
euclid13__t55_euclid13
2021-07-17 21:20
35K
euclid13__t55_euclid13.vout
2021-07-25 15:02
7.3K
euclid13__t56_euclid13
2021-07-17 21:21
29K
euclid13__t56_euclid13.vout
2021-07-25 17:05
4.1K
euclid13__t57_euclid13
2021-07-17 21:22
27K
euclid13__t57_euclid13.depv1
2021-07-25 20:57
38
euclid13__t57_euclid13.depvmin1
2021-07-25 21:03
38
euclid13__t57_euclid13.vmin1
2021-07-25 20:57
863
euclid13__t57_euclid13.vmin1out
2021-07-25 21:00
12K
euclid13__t57_euclid13.vout
2021-07-25 16:19
8.9K
euclid13__t58_euclid13
2021-07-17 21:22
27K
euclid13__t58_euclid13.depv1
2021-07-25 20:57
39
euclid13__t58_euclid13.depvmin1
2021-07-25 21:03
39
euclid13__t58_euclid13.vmin1
2021-07-25 20:57
1.0K
euclid13__t58_euclid13.vmin1out
2021-07-25 20:59
14K
euclid13__t58_euclid13.vout
2021-07-25 18:27
8.7K
euclid13__t59_euclid13
2021-07-17 21:23
83K
euclid13__t59_euclid13.vout
2021-07-25 15:09
6.9K
euclid13__t60_euclid13
2021-07-17 21:23
83K
euclid13__t60_euclid13.vout
2021-07-25 14:24
4.7K
euclid13__t61_euclid13
2021-07-17 21:24
84K
euclid13__t61_euclid13.vout
2021-07-25 15:23
4.1K
euclid13__t62_euclid13
2021-07-17 21:25
27K
euclid13__t62_euclid13.vout
2021-07-25 19:05
4.1K
euclid13__t63_euclid13
2021-07-17 21:25
30K
euclid13__t63_euclid13.vout
2021-07-25 17:41
7.9K
euclid13__t64_euclid13
2021-07-17 21:26
29K
euclid13__t64_euclid13.vout
2021-07-25 18:21
7.9K
euclid13__t65_euclid13
2021-07-17 21:26
29K
euclid13__t65_euclid13.vout
2021-07-25 20:50
7.9K
euclid13__t66_euclid13
2021-07-17 21:27
34K
euclid13__t66_euclid13.vout
2021-07-25 20:10
4.1K
euclid13__t67_euclid13
2021-07-17 21:28
39K
euclid13__t67_euclid13.vout
2021-07-25 20:41
7.3K
euclid13__t68_euclid13
2021-07-17 21:28
41K
euclid13__t68_euclid13.vout
2021-07-25 14:29
4.1K
euclid13__t69_euclid13
2021-07-17 21:29
77K
euclid13__t69_euclid13.vout
2021-07-25 15:18
4.1K
euclid13__t70_euclid13
2021-07-17 21:30
295K
euclid13__t70_euclid13.vout
2021-07-25 18:12
7.3K
euclid13__t71_euclid13
2021-07-17 21:30
135K
euclid13__t71_euclid13.vout
2021-07-25 15:25
4.7K
euclid13__t72_euclid13
2021-07-17 21:31
98K
euclid13__t72_euclid13.vout
2021-07-25 14:26
4.8K
euclid13__t73_euclid13
2021-07-17 21:32
93K
euclid13__t73_euclid13.vout
2021-07-25 17:37
4.1K
euclid13__t74_euclid13
2021-07-17 21:32
94K
euclid13__t74_euclid13.vout
2021-07-25 19:36
4.2K
euclid13__t75_euclid13
2021-07-17 21:33
94K
euclid13__t75_euclid13.vout
2021-07-25 18:30
4.8K
euclid13__t76_euclid13
2021-07-17 21:33
94K
euclid13__t76_euclid13.vout
2021-07-25 20:28
4.7K
euclid13__t77_euclid13
2021-07-17 21:34
173K
euclid13__t77_euclid13.vout
2021-07-25 20:57
4.7K
euclid13__t78_euclid13
2021-07-17 21:35
204K
euclid13__t78_euclid13.vout
2021-07-25 15:22
4.7K
euclid13__t79_euclid13
2021-07-17 21:35
212K
euclid13__t79_euclid13.vout
2021-07-25 18:18
4.7K
euclid13__t80_euclid13
2021-07-17 21:36
30K
euclid13__t80_euclid13.vout
2021-07-25 15:47
4.1K
euclid13__t81_euclid13
2021-07-17 21:37
31K
euclid13__t81_euclid13.depv1
2021-07-25 20:57
64
euclid13__t81_euclid13.depvmin1
2021-07-25 21:03
64
euclid13__t81_euclid13.vmin1
2021-07-25 20:57
2.4K
euclid13__t81_euclid13.vmin1out
2021-07-25 21:02
24K
euclid13__t81_euclid13.vout
2021-07-25 14:47
23K
euclid13__t82_euclid13
2021-07-17 21:37
97K
euclid13__t82_euclid13.vout
2021-07-25 20:50
4.7K
euclid13__t83_euclid13
2021-07-17 21:38
141K
euclid13__t83_euclid13.vout
2021-07-25 16:07
5.3K
euclid13__t84_euclid13
2021-07-17 21:38
148K
euclid13__t84_euclid13.vout
2021-07-25 14:37
4.1K
euclid13__t85_euclid13
2021-07-17 21:39
29K
euclid13__t85_euclid13.vout
2021-07-25 14:33
2.0K
euclid13__t86_euclid13
2021-07-17 21:39
149K
euclid13__t86_euclid13.vout
2021-07-25 14:58
4.7K
euclid13__t87_euclid13
2021-07-17 21:40
94K
euclid13__t87_euclid13.depv1
2021-07-25 20:57
52
euclid13__t87_euclid13.depvmin1
2021-07-25 21:03
52
euclid13__t87_euclid13.vmin1
2021-07-25 20:57
2.4K
euclid13__t87_euclid13.vmin1out
2021-07-25 21:01
22K
euclid13__t87_euclid13.vout
2021-07-25 18:24
28K
euclid13__t88_euclid13
2021-07-17 21:41
94K
euclid13__t88_euclid13.depv1
2021-07-25 20:57
52
euclid13__t88_euclid13.depvmin1
2021-07-25 21:03
52
euclid13__t88_euclid13.vmin1
2021-07-25 20:57
2.4K
euclid13__t88_euclid13.vmin1out
2021-07-25 21:00
22K
euclid13__t88_euclid13.vout
2021-07-25 20:23
29K
euclid13__t89_euclid13
2021-07-17 21:41
95K
euclid13__t89_euclid13.vout
2021-07-25 20:35
4.1K
euclid13__t90_euclid13
2021-07-17 21:42
147K
euclid13__t90_euclid13.vout
2021-07-25 19:56
4.1K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80