Index of /~mptp/mml5.63.1382/MPTP2/problems_small/euclid_7
Name
Last modified
Size
Description
Parent Directory
-
euclid_7__t52_euclid_7.vout
2021-07-25 17:36
15K
euclid_7__t52_euclid_7.vmin1out
2021-07-25 21:00
14K
euclid_7__t52_euclid_7.vmin1
2021-07-25 20:57
1.7K
euclid_7__t52_euclid_7.depvmin1
2021-07-25 21:03
70
euclid_7__t52_euclid_7.depv1
2021-07-25 20:57
84
euclid_7__t52_euclid_7
2021-07-18 05:39
52K
euclid_7__t51_euclid_7.vout
2021-07-25 19:09
25K
euclid_7__t51_euclid_7.vmin1out
2021-07-25 21:00
26K
euclid_7__t51_euclid_7.vmin1
2021-07-25 20:57
2.1K
euclid_7__t51_euclid_7.depvmin1
2021-07-25 21:03
133
euclid_7__t51_euclid_7.depv1
2021-07-25 20:57
133
euclid_7__t51_euclid_7
2021-07-18 05:38
59K
euclid_7__t50_euclid_7.vout
2021-07-25 15:22
3.7K
euclid_7__t50_euclid_7
2021-07-18 05:37
136K
euclid_7__t49_euclid_7.vout
2021-07-25 19:00
5.3K
euclid_7__t49_euclid_7
2021-07-18 05:36
64K
euclid_7__t48_euclid_7.vout
2021-07-25 14:26
45K
euclid_7__t48_euclid_7.vmin1out
2021-07-25 20:59
34K
euclid_7__t48_euclid_7.vmin1
2021-07-25 20:57
2.7K
euclid_7__t48_euclid_7.depvmin1
2021-07-25 21:03
224
euclid_7__t48_euclid_7.depv1
2021-07-25 20:57
237
euclid_7__t48_euclid_7
2021-07-18 05:36
47K
euclid_7__t47_euclid_7.vout
2021-07-25 20:19
7.3K
euclid_7__t47_euclid_7
2021-07-18 05:35
55K
euclid_7__t46_euclid_7.vout
2021-07-25 14:49
7.4K
euclid_7__t46_euclid_7
2021-07-18 05:34
56K
euclid_7__t45_euclid_7.vout
2021-07-25 17:55
5.3K
euclid_7__t45_euclid_7
2021-07-18 05:34
59K
euclid_7__t44_euclid_7.vout
2021-07-25 16:27
3.7K
euclid_7__t44_euclid_7
2021-07-18 05:33
94K
euclid_7__t43_euclid_7.vout
2021-07-25 20:13
3.7K
euclid_7__t43_euclid_7
2021-07-18 05:32
92K
euclid_7__t42_euclid_7.vout
2021-07-25 16:14
7.3K
euclid_7__t42_euclid_7
2021-07-18 05:31
85K
euclid_7__t41_euclid_7.vout
2021-07-25 16:11
4.6K
euclid_7__t41_euclid_7.vmin1out
2021-07-25 21:02
3.3K
euclid_7__t41_euclid_7.vmin1
2021-07-25 20:57
404
euclid_7__t41_euclid_7.depvmin1
2021-07-25 21:03
63
euclid_7__t41_euclid_7.depv1
2021-07-25 20:57
63
euclid_7__t41_euclid_7
2021-07-18 05:11
39K
euclid_7__t40_euclid_7.vout
2021-07-25 15:03
3.7K
euclid_7__t40_euclid_7
2021-07-18 05:31
57K
euclid_7__t39_euclid_7.vout
2021-07-25 16:34
3.7K
euclid_7__t39_euclid_7
2021-07-18 05:30
103K
euclid_7__t38_euclid_7.vout
2021-07-25 17:00
32K
euclid_7__t38_euclid_7.vmin1out
2021-07-25 21:02
30K
euclid_7__t38_euclid_7.vmin1
2021-07-25 20:57
2.4K
euclid_7__t38_euclid_7.depvmin1
2021-07-25 21:03
208
euclid_7__t38_euclid_7.depv1
2021-07-25 20:57
208
euclid_7__t38_euclid_7
2021-07-18 05:11
44K
euclid_7__t37_euclid_7.vout
2021-07-25 17:47
29K
euclid_7__t37_euclid_7.vmin1out
2021-07-25 21:02
18K
euclid_7__t37_euclid_7.vmin1
2021-07-25 20:57
1.8K
euclid_7__t37_euclid_7.depvmin1
2021-07-25 21:03
90
euclid_7__t37_euclid_7.depv1
2021-07-25 20:57
151
euclid_7__t37_euclid_7
2021-07-18 05:29
53K
euclid_7__t36_euclid_7.vout
2021-07-25 17:40
7.4K
euclid_7__t36_euclid_7
2021-07-18 05:29
56K
euclid_7__t35_euclid_7.vout
2021-07-25 14:27
7.4K
euclid_7__t35_euclid_7
2021-07-18 05:28
54K
euclid_7__t34_euclid_7.vout
2021-07-25 17:31
7.4K
euclid_7__t34_euclid_7
2021-07-18 05:27
85K
euclid_7__t33_euclid_7.vout
2021-07-25 16:04
3.7K
euclid_7__t33_euclid_7
2021-07-18 05:27
104K
euclid_7__t32_euclid_7.vout
2021-07-25 15:35
7.4K
euclid_7__t32_euclid_7
2021-07-18 05:26
41K
euclid_7__t31_euclid_7.vout
2021-07-25 16:46
7.3K
euclid_7__t31_euclid_7
2021-07-18 05:25
69K
euclid_7__t30_euclid_7.vout
2021-07-25 15:34
7.4K
euclid_7__t30_euclid_7
2021-07-18 05:25
63K
euclid_7__t29_euclid_7.vout
2021-07-25 15:10
7.3K
euclid_7__t29_euclid_7
2021-07-18 05:24
74K
euclid_7__t28_euclid_7.vout
2021-07-25 17:10
7.4K
euclid_7__t28_euclid_7
2021-07-18 05:24
50K
euclid_7__t27_euclid_7.vout
2021-07-25 14:43
6.8K
euclid_7__t27_euclid_7
2021-07-18 05:23
65K
euclid_7__t26_euclid_7.vout
2021-07-25 14:59
3.7K
euclid_7__t26_euclid_7
2021-07-18 05:23
60K
euclid_7__t25_euclid_7.vout
2021-07-25 15:44
14K
euclid_7__t25_euclid_7.vmin1out
2021-07-25 21:02
10K
euclid_7__t25_euclid_7.vmin1
2021-07-25 20:57
1.0K
euclid_7__t25_euclid_7.depvmin1
2021-07-25 21:03
125
euclid_7__t25_euclid_7.depv1
2021-07-25 20:57
125
euclid_7__t25_euclid_7
2021-07-18 05:22
40K
euclid_7__t24_euclid_7.vout
2021-07-25 19:59
3.7K
euclid_7__t24_euclid_7
2021-07-18 05:22
63K
euclid_7__t23_euclid_7.vout
2021-07-25 15:28
3.7K
euclid_7__t23_euclid_7
2021-07-18 05:21
186K
euclid_7__t22_euclid_7.vout
2021-07-25 14:57
3.7K
euclid_7__t22_euclid_7
2021-07-18 05:20
69K
euclid_7__t21_euclid_7.vout
2021-07-25 15:27
3.7K
euclid_7__t21_euclid_7
2021-07-18 05:20
144K
euclid_7__t20_euclid_7.vout
2021-07-25 17:27
34K
euclid_7__t20_euclid_7.vmin1out
2021-07-25 20:58
22K
euclid_7__t20_euclid_7.vmin1
2021-07-25 20:57
1.9K
euclid_7__t20_euclid_7.depvmin1
2021-07-25 21:03
196
euclid_7__t20_euclid_7.depv1
2021-07-25 20:57
196
euclid_7__t20_euclid_7
2021-07-18 05:19
45K
euclid_7__t19_euclid_7.vout
2021-07-25 19:41
3.7K
euclid_7__t19_euclid_7
2021-07-18 05:19
73K
euclid_7__t18_euclid_7.vout
2021-07-25 20:20
7.4K
euclid_7__t18_euclid_7
2021-07-18 05:18
55K
euclid_7__t17_euclid_7.vout
2021-07-25 17:16
5.6K
euclid_7__t17_euclid_7.vmin1out
2021-07-25 20:59
5.3K
euclid_7__t17_euclid_7.vmin1
2021-07-25 20:57
512
euclid_7__t17_euclid_7.depvmin1
2021-07-25 21:03
39
euclid_7__t17_euclid_7.depv1
2021-07-25 20:57
39
euclid_7__t17_euclid_7
2021-07-18 05:18
47K
euclid_7__t16_euclid_7.vout
2021-07-25 14:52
6.2K
euclid_7__t16_euclid_7
2021-07-18 05:11
44K
euclid_7__t15_euclid_7.vout
2021-07-25 16:05
23K
euclid_7__t15_euclid_7.vmin1out
2021-07-25 21:01
25K
euclid_7__t15_euclid_7.vmin1
2021-07-25 20:57
1.2K
euclid_7__t15_euclid_7.depvmin1
2021-07-25 21:03
37
euclid_7__t15_euclid_7.depv1
2021-07-25 20:57
57
euclid_7__t15_euclid_7
2021-07-18 05:17
38K
euclid_7__t14_euclid_7.vout
2021-07-25 16:23
7.3K
euclid_7__t14_euclid_7
2021-07-18 05:17
64K
euclid_7__t13_euclid_7.vout
2021-07-25 19:54
29K
euclid_7__t13_euclid_7.vmin1out
2021-07-25 21:01
30K
euclid_7__t13_euclid_7.vmin1
2021-07-25 20:57
1.6K
euclid_7__t13_euclid_7.depvmin1
2021-07-25 21:03
154
euclid_7__t13_euclid_7.depv1
2021-07-25 20:57
154
euclid_7__t13_euclid_7
2021-07-18 05:16
40K
euclid_7__t12_euclid_7.vout
2021-07-25 18:16
8.4K
euclid_7__t12_euclid_7
2021-07-18 05:16
42K
euclid_7__t11_euclid_7.vout
2021-07-25 17:51
9.5K
euclid_7__t11_euclid_7.vmin1out
2021-07-25 20:57
9.9K
euclid_7__t11_euclid_7.vmin1
2021-07-25 20:57
1.1K
euclid_7__t11_euclid_7.depvmin1
2021-07-25 21:03
130
euclid_7__t11_euclid_7.depv1
2021-07-25 20:57
130
euclid_7__t11_euclid_7
2021-07-18 05:16
36K
euclid_7__t10_euclid_7.vout
2021-07-25 16:11
2.0K
euclid_7__t10_euclid_7
2021-07-18 05:15
38K
euclid_7__t9_euclid_7.vout
2021-07-25 18:35
6.8K
euclid_7__t9_euclid_7
2021-07-18 05:15
45K
euclid_7__t8_euclid_7.vout
2021-07-25 19:02
2.0K
euclid_7__t8_euclid_7
2021-07-18 05:14
29K
euclid_7__t7_euclid_7.vout
2021-07-25 17:09
19K
euclid_7__t7_euclid_7.vmin1out
2021-07-25 21:00
17K
euclid_7__t7_euclid_7.vmin1
2021-07-25 20:57
1.3K
euclid_7__t7_euclid_7.depvmin1
2021-07-25 21:03
102
euclid_7__t7_euclid_7.depv1
2021-07-25 20:57
102
euclid_7__t7_euclid_7
2021-07-18 05:14
25K
euclid_7__t6_euclid_7.vout
2021-07-25 17:30
2.0K
euclid_7__t6_euclid_7
2021-07-18 05:14
40K
euclid_7__t5_euclid_7.vout
2021-07-25 15:54
7.3K
euclid_7__t5_euclid_7
2021-07-18 05:13
50K
euclid_7__t4_euclid_7.vout
2021-07-25 15:04
14K
euclid_7__t4_euclid_7.vmin1out
2021-07-25 20:58
15K
euclid_7__t4_euclid_7.vmin1
2021-07-25 20:57
1.4K
euclid_7__t4_euclid_7.depvmin1
2021-07-25 21:03
209
euclid_7__t4_euclid_7.depv1
2021-07-25 20:57
222
euclid_7__t4_euclid_7
2021-07-18 05:10
35K
euclid_7__t3_euclid_7.vout
2021-07-25 18:08
8.4K
euclid_7__t3_euclid_7
2021-07-18 05:13
47K
euclid_7__t2_euclid_7.vout
2021-07-25 18:29
6.6K
euclid_7__t2_euclid_7.vmin1out
2021-07-25 20:59
4.3K
euclid_7__t2_euclid_7.vmin1
2021-07-25 20:57
481
euclid_7__t2_euclid_7.depvmin1
2021-07-25 21:03
51
euclid_7__t2_euclid_7.depv1
2021-07-25 20:57
51
euclid_7__t2_euclid_7
2021-07-18 05:12
32K
euclid_7__l58_euclid_7.vout
2021-07-25 14:35
4.2K
euclid_7__l58_euclid_7
2021-07-18 05:40
50K
euclid_7__l54_euclid_7.vout
2021-07-25 14:29
24K
euclid_7__l54_euclid_7.vmin1out
2021-07-25 20:58
15K
euclid_7__l54_euclid_7.vmin1
2021-07-25 20:57
1.8K
euclid_7__l54_euclid_7.depvmin1
2021-07-25 21:03
90
euclid_7__l54_euclid_7.depv1
2021-07-25 20:57
151
euclid_7__l54_euclid_7
2021-07-18 05:40
53K
euclid_7__l40_euclid_7.vout
2021-07-25 18:53
3.9K
euclid_7__l40_euclid_7.vmin1out
2021-07-25 21:00
3.4K
euclid_7__l40_euclid_7.vmin1
2021-07-25 20:57
480
euclid_7__l40_euclid_7.depvmin1
2021-07-25 21:03
96
euclid_7__l40_euclid_7.depv1
2021-07-25 20:57
109
euclid_7__l40_euclid_7
2021-07-18 05:12
21K
euclid_7__l7_euclid_7.vout
2021-07-25 15:35
7.9K
euclid_7__l7_euclid_7
2021-07-18 05:39
29K
euclid_7__l3_euclid_7.vout
2021-07-25 18:37
5.7K
euclid_7__l3_euclid_7.vmin1out
2021-07-25 20:58
5.5K
euclid_7__l3_euclid_7.vmin1
2021-07-25 20:57
491
euclid_7__l3_euclid_7.depvmin1
2021-07-25 21:03
24
euclid_7__l3_euclid_7.depv1
2021-07-25 20:57
24
euclid_7__l3_euclid_7
2021-07-18 05:12
33K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80