Index of /~mptp/mml5.63.1382/MPTP2/problems_small/ec_pf_1
Name
Last modified
Size
Description
Parent Directory
-
ec_pf_1__t11_ec_pf_1.depvmin1
2021-07-25 21:03
342
ec_pf_1__t9_ec_pf_1.depvmin1
2021-07-25 21:03
47
ec_pf_1__l25_ec_pf_1.depvmin1
2021-07-25 21:03
124
ec_pf_1__t21_ec_pf_1.depvmin1
2021-07-25 21:03
164
ec_pf_1__t4_ec_pf_1.depvmin1
2021-07-25 21:03
263
ec_pf_1__l35_ec_pf_1.depvmin1
2021-07-25 21:03
122
ec_pf_1__t34_ec_pf_1.depvmin1
2021-07-25 21:03
195
ec_pf_1__t8_ec_pf_1.depvmin1
2021-07-25 21:03
69
ec_pf_1__l82_ec_pf_1.depvmin1
2021-07-25 21:03
95
ec_pf_1__t35_ec_pf_1.depvmin1
2021-07-25 21:03
175
ec_pf_1__t33_ec_pf_1.depvmin1
2021-07-25 21:03
164
ec_pf_1__t10_ec_pf_1.depvmin1
2021-07-25 21:03
274
ec_pf_1__t54_ec_pf_1.depvmin1
2021-07-25 21:03
76
ec_pf_1__l26_ec_pf_1.depvmin1
2021-07-25 21:03
148
ec_pf_1__l1_ec_pf_1.depvmin1
2021-07-25 21:03
199
ec_pf_1__t22_ec_pf_1.depvmin1
2021-07-25 21:03
160
ec_pf_1__t7_ec_pf_1.depvmin1
2021-07-25 21:03
114
ec_pf_1__t3_ec_pf_1.depvmin1
2021-07-25 21:03
89
ec_pf_1__t56_ec_pf_1.depvmin1
2021-07-25 21:03
146
ec_pf_1__l26_ec_pf_1.vmin1out
2021-07-25 21:02
18K
ec_pf_1__t11_ec_pf_1.vmin1out
2021-07-25 21:02
42K
ec_pf_1__t10_ec_pf_1.vmin1out
2021-07-25 21:02
33K
ec_pf_1__t34_ec_pf_1.vmin1out
2021-07-25 21:01
19K
ec_pf_1__l25_ec_pf_1.vmin1out
2021-07-25 21:01
14K
ec_pf_1__t21_ec_pf_1.vmin1out
2021-07-25 21:01
24K
ec_pf_1__l1_ec_pf_1.vmin1out
2021-07-25 21:00
20K
ec_pf_1__l82_ec_pf_1.vmin1out
2021-07-25 21:00
4.0K
ec_pf_1__t35_ec_pf_1.vmin1out
2021-07-25 21:00
23K
ec_pf_1__t3_ec_pf_1.vmin1out
2021-07-25 21:00
41K
ec_pf_1__t8_ec_pf_1.vmin1out
2021-07-25 21:00
144K
ec_pf_1__t22_ec_pf_1.vmin1out
2021-07-25 20:59
17K
ec_pf_1__l35_ec_pf_1.vmin1out
2021-07-25 20:59
19K
ec_pf_1__t7_ec_pf_1.vmin1out
2021-07-25 20:59
44K
ec_pf_1__t4_ec_pf_1.vmin1out
2021-07-25 20:59
38K
ec_pf_1__t54_ec_pf_1.vmin1out
2021-07-25 20:58
13K
ec_pf_1__t56_ec_pf_1.vmin1out
2021-07-25 20:58
26K
ec_pf_1__t9_ec_pf_1.vmin1out
2021-07-25 20:58
151K
ec_pf_1__t33_ec_pf_1.vmin1out
2021-07-25 20:58
17K
ec_pf_1__t35_ec_pf_1.vmin1
2021-07-25 20:57
2.1K
ec_pf_1__t34_ec_pf_1.vmin1
2021-07-25 20:57
1.9K
ec_pf_1__t33_ec_pf_1.vmin1
2021-07-25 20:57
1.9K
ec_pf_1__t21_ec_pf_1.vmin1
2021-07-25 20:57
2.1K
ec_pf_1__t11_ec_pf_1.vmin1
2021-07-25 20:57
3.3K
ec_pf_1__t10_ec_pf_1.vmin1
2021-07-25 20:57
4.9K
ec_pf_1__t9_ec_pf_1.vmin1
2021-07-25 20:57
2.2K
ec_pf_1__t8_ec_pf_1.vmin1
2021-07-25 20:57
2.2K
ec_pf_1__t4_ec_pf_1.vmin1
2021-07-25 20:57
3.7K
ec_pf_1__l82_ec_pf_1.vmin1
2021-07-25 20:57
563
ec_pf_1__l35_ec_pf_1.vmin1
2021-07-25 20:57
1.8K
ec_pf_1__l25_ec_pf_1.vmin1
2021-07-25 20:57
1.6K
ec_pf_1__t56_ec_pf_1.vmin1
2021-07-25 20:57
1.8K
ec_pf_1__t54_ec_pf_1.vmin1
2021-07-25 20:57
1.2K
ec_pf_1__t22_ec_pf_1.vmin1
2021-07-25 20:57
2.0K
ec_pf_1__t7_ec_pf_1.vmin1
2021-07-25 20:57
2.6K
ec_pf_1__t3_ec_pf_1.vmin1
2021-07-25 20:57
2.0K
ec_pf_1__l26_ec_pf_1.vmin1
2021-07-25 20:57
1.9K
ec_pf_1__l1_ec_pf_1.vmin1
2021-07-25 20:57
2.4K
ec_pf_1__l25_ec_pf_1.depv1
2021-07-25 20:57
124
ec_pf_1__t21_ec_pf_1.depv1
2021-07-25 20:57
164
ec_pf_1__t11_ec_pf_1.depv1
2021-07-25 20:57
342
ec_pf_1__t9_ec_pf_1.depv1
2021-07-25 20:57
47
ec_pf_1__t34_ec_pf_1.depv1
2021-07-25 20:57
275
ec_pf_1__t4_ec_pf_1.depv1
2021-07-25 20:57
263
ec_pf_1__l35_ec_pf_1.depv1
2021-07-25 20:57
122
ec_pf_1__t35_ec_pf_1.depv1
2021-07-25 20:57
175
ec_pf_1__t8_ec_pf_1.depv1
2021-07-25 20:57
69
ec_pf_1__l82_ec_pf_1.depv1
2021-07-25 20:57
95
ec_pf_1__t33_ec_pf_1.depv1
2021-07-25 20:57
275
ec_pf_1__t10_ec_pf_1.depv1
2021-07-25 20:57
360
ec_pf_1__l26_ec_pf_1.depv1
2021-07-25 20:57
148
ec_pf_1__t54_ec_pf_1.depv1
2021-07-25 20:57
76
ec_pf_1__t3_ec_pf_1.depv1
2021-07-25 20:57
89
ec_pf_1__l1_ec_pf_1.depv1
2021-07-25 20:57
211
ec_pf_1__t56_ec_pf_1.depv1
2021-07-25 20:57
146
ec_pf_1__t22_ec_pf_1.depv1
2021-07-25 20:57
160
ec_pf_1__t7_ec_pf_1.depv1
2021-07-25 20:57
114
ec_pf_1__t35_ec_pf_1.vout
2021-07-25 20:55
19K
ec_pf_1__t54_ec_pf_1.vout
2021-07-25 20:55
14K
ec_pf_1__t22_ec_pf_1.vout
2021-07-25 20:53
20K
ec_pf_1__t58_ec_pf_1.vout
2021-07-25 20:50
3.7K
ec_pf_1__t17_ec_pf_1.vout
2021-07-25 20:43
4.7K
ec_pf_1__t6_ec_pf_1.vout
2021-07-25 20:33
7.3K
ec_pf_1__t4_ec_pf_1.vout
2021-07-25 20:32
69K
ec_pf_1__t25_ec_pf_1.vout
2021-07-25 20:20
5.8K
ec_pf_1__t47_ec_pf_1.vout
2021-07-25 20:17
6.8K
ec_pf_1__t44_ec_pf_1.vout
2021-07-25 20:11
4.7K
ec_pf_1__t24_ec_pf_1.vout
2021-07-25 20:10
2.0K
ec_pf_1__t53_ec_pf_1.vout
2021-07-25 20:08
6.8K
ec_pf_1__t21_ec_pf_1.vout
2021-07-25 20:02
22K
ec_pf_1__t43_ec_pf_1.vout
2021-07-25 20:00
7.3K
ec_pf_1__t14_ec_pf_1.vout
2021-07-25 19:45
7.3K
ec_pf_1__t10_ec_pf_1.vout
2021-07-25 19:29
46K
ec_pf_1__t59_ec_pf_1.vout
2021-07-25 19:23
3.7K
ec_pf_1__t45_ec_pf_1.vout
2021-07-25 19:14
7.3K
ec_pf_1__t31_ec_pf_1.vout
2021-07-25 19:10
5.3K
ec_pf_1__t52_ec_pf_1.vout
2021-07-25 19:08
6.8K
ec_pf_1__t49_ec_pf_1.vout
2021-07-25 19:01
6.8K
ec_pf_1__t15_ec_pf_1.vout
2021-07-25 18:59
4.7K
ec_pf_1__t8_ec_pf_1.vout
2021-07-25 18:54
60K
ec_pf_1__t9_ec_pf_1.vout
2021-07-25 18:48
31K
ec_pf_1__t3_ec_pf_1.vout
2021-07-25 18:41
42K
ec_pf_1__t18_ec_pf_1.vout
2021-07-25 18:40
4.7K
ec_pf_1__l26_ec_pf_1.vout
2021-07-25 18:39
20K
ec_pf_1__t12_ec_pf_1.vout
2021-07-25 18:33
6.8K
ec_pf_1__t42_ec_pf_1.vout
2021-07-25 18:26
7.3K
ec_pf_1__t48_ec_pf_1.vout
2021-07-25 18:25
6.8K
ec_pf_1__t46_ec_pf_1.vout
2021-07-25 18:09
7.3K
ec_pf_1__t56_ec_pf_1.vout
2021-07-25 18:02
20K
ec_pf_1__t37_ec_pf_1.vout
2021-07-25 17:45
4.7K
ec_pf_1__t32_ec_pf_1.vout
2021-07-25 17:41
5.8K
ec_pf_1__t29_ec_pf_1.vout
2021-07-25 17:37
5.3K
ec_pf_1__t50_ec_pf_1.vout
2021-07-25 17:32
7.3K
ec_pf_1__t27_ec_pf_1.vout
2021-07-25 17:30
4.7K
ec_pf_1__l25_ec_pf_1.vout
2021-07-25 17:22
16K
ec_pf_1__t1_ec_pf_1.vout
2021-07-25 17:14
7.3K
ec_pf_1__l1_ec_pf_1.vout
2021-07-25 17:10
21K
ec_pf_1__t33_ec_pf_1.vout
2021-07-25 17:09
21K
ec_pf_1__t19_ec_pf_1.vout
2021-07-25 17:06
4.7K
ec_pf_1__t38_ec_pf_1.vout
2021-07-25 16:59
4.7K
ec_pf_1__t20_ec_pf_1.vout
2021-07-25 16:52
5.8K
ec_pf_1__t23_ec_pf_1.vout
2021-07-25 16:51
4.7K
ec_pf_1__t16_ec_pf_1.vout
2021-07-25 16:45
4.7K
ec_pf_1__t51_ec_pf_1.vout
2021-07-25 16:24
7.3K
ec_pf_1__t40_ec_pf_1.vout
2021-07-25 16:23
7.3K
ec_pf_1__t41_ec_pf_1.vout
2021-07-25 16:20
4.7K
ec_pf_1__l79_ec_pf_1.vout
2021-07-25 16:15
7.3K
ec_pf_1__t34_ec_pf_1.vout
2021-07-25 16:11
21K
ec_pf_1__l80_ec_pf_1.vout
2021-07-25 16:06
6.8K
ec_pf_1__l34_ec_pf_1.vout
2021-07-25 16:04
7.3K
ec_pf_1__t11_ec_pf_1.vout
2021-07-25 16:01
32K
ec_pf_1__t2_ec_pf_1.vout
2021-07-25 15:56
6.8K
ec_pf_1__t5_ec_pf_1.vout
2021-07-25 15:47
7.3K
ec_pf_1__t7_ec_pf_1.vout
2021-07-25 15:45
61K
ec_pf_1__t13_ec_pf_1.vout
2021-07-25 15:32
5.8K
ec_pf_1__t28_ec_pf_1.vout
2021-07-25 15:26
5.8K
ec_pf_1__t36_ec_pf_1.vout
2021-07-25 15:24
4.7K
ec_pf_1__t55_ec_pf_1.vout
2021-07-25 15:22
4.7K
ec_pf_1__t60_ec_pf_1.vout
2021-07-25 15:21
6.8K
ec_pf_1__t26_ec_pf_1.vout
2021-07-25 15:16
5.8K
ec_pf_1__t61_ec_pf_1.vout
2021-07-25 15:00
3.7K
ec_pf_1__l82_ec_pf_1.vout
2021-07-25 14:54
4.2K
ec_pf_1__l55_ec_pf_1.vout
2021-07-25 14:45
4.7K
ec_pf_1__l35_ec_pf_1.vout
2021-07-25 14:42
21K
ec_pf_1__t39_ec_pf_1.vout
2021-07-25 14:38
3.7K
ec_pf_1__t57_ec_pf_1.vout
2021-07-25 14:33
2.0K
ec_pf_1__t30_ec_pf_1.vout
2021-07-25 14:31
4.7K
ec_pf_1__l57_ec_pf_1.vout
2021-07-25 14:25
4.7K
ec_pf_1__l80_ec_pf_1
2021-07-18 08:48
163K
ec_pf_1__l79_ec_pf_1
2021-07-18 08:47
50K
ec_pf_1__l57_ec_pf_1
2021-07-18 08:46
49K
ec_pf_1__l55_ec_pf_1
2021-07-18 08:46
68K
ec_pf_1__t60_ec_pf_1
2021-07-18 08:45
99K
ec_pf_1__t59_ec_pf_1
2021-07-18 08:44
87K
ec_pf_1__t58_ec_pf_1
2021-07-18 08:44
74K
ec_pf_1__t53_ec_pf_1
2021-07-18 08:43
73K
ec_pf_1__t51_ec_pf_1
2021-07-18 08:42
70K
ec_pf_1__t39_ec_pf_1
2021-07-18 08:41
66K
ec_pf_1__t61_ec_pf_1
2021-07-18 08:41
205K
ec_pf_1__t57_ec_pf_1
2021-07-18 08:40
33K
ec_pf_1__t56_ec_pf_1
2021-07-18 08:39
29K
ec_pf_1__t55_ec_pf_1
2021-07-18 08:39
29K
ec_pf_1__t54_ec_pf_1
2021-07-18 08:38
28K
ec_pf_1__t52_ec_pf_1
2021-07-18 08:38
71K
ec_pf_1__t50_ec_pf_1
2021-07-18 08:37
74K
ec_pf_1__t49_ec_pf_1
2021-07-18 08:37
76K
ec_pf_1__t48_ec_pf_1
2021-07-18 08:36
63K
ec_pf_1__t47_ec_pf_1
2021-07-18 08:35
66K
ec_pf_1__t46_ec_pf_1
2021-07-18 08:34
56K
ec_pf_1__t45_ec_pf_1
2021-07-18 08:34
69K
ec_pf_1__t44_ec_pf_1
2021-07-18 08:33
56K
ec_pf_1__t43_ec_pf_1
2021-07-18 08:32
63K
ec_pf_1__t42_ec_pf_1
2021-07-18 08:32
51K
ec_pf_1__t41_ec_pf_1
2021-07-18 08:31
53K
ec_pf_1__t40_ec_pf_1
2021-07-18 08:30
47K
ec_pf_1__t38_ec_pf_1
2021-07-18 08:30
96K
ec_pf_1__t37_ec_pf_1
2021-07-18 08:29
56K
ec_pf_1__t36_ec_pf_1
2021-07-18 08:28
68K
ec_pf_1__t32_ec_pf_1
2021-07-18 08:28
44K
ec_pf_1__t30_ec_pf_1
2021-07-18 08:27
52K
ec_pf_1__t29_ec_pf_1
2021-07-18 08:27
55K
ec_pf_1__t28_ec_pf_1
2021-07-18 08:26
53K
ec_pf_1__t27_ec_pf_1
2021-07-18 08:25
91K
ec_pf_1__t26_ec_pf_1
2021-07-18 08:25
39K
ec_pf_1__t25_ec_pf_1
2021-07-18 08:24
46K
ec_pf_1__t24_ec_pf_1
2021-07-18 08:24
34K
ec_pf_1__t23_ec_pf_1
2021-07-18 08:23
58K
ec_pf_1__t21_ec_pf_1
2021-07-18 08:22
46K
ec_pf_1__t20_ec_pf_1
2021-07-18 08:22
44K
ec_pf_1__t19_ec_pf_1
2021-07-18 08:21
50K
ec_pf_1__t18_ec_pf_1
2021-07-18 08:21
47K
ec_pf_1__t17_ec_pf_1
2021-07-18 08:20
51K
ec_pf_1__t16_ec_pf_1
2021-07-18 08:19
51K
ec_pf_1__t15_ec_pf_1
2021-07-18 08:19
48K
ec_pf_1__t14_ec_pf_1
2021-07-18 08:18
42K
ec_pf_1__t13_ec_pf_1
2021-07-18 08:18
47K
ec_pf_1__t12_ec_pf_1
2021-07-18 08:17
42K
ec_pf_1__t10_ec_pf_1
2021-07-18 08:17
49K
ec_pf_1__t9_ec_pf_1
2021-07-18 08:16
38K
ec_pf_1__t8_ec_pf_1
2021-07-18 08:16
38K
ec_pf_1__t7_ec_pf_1
2021-07-18 08:15
24K
ec_pf_1__t6_ec_pf_1
2021-07-18 08:15
38K
ec_pf_1__t5_ec_pf_1
2021-07-18 08:14
38K
ec_pf_1__t4_ec_pf_1
2021-07-18 08:14
43K
ec_pf_1__t3_ec_pf_1
2021-07-18 08:13
38K
ec_pf_1__t2_ec_pf_1
2021-07-18 08:13
45K
ec_pf_1__t1_ec_pf_1
2021-07-18 08:12
38K
ec_pf_1__l82_ec_pf_1
2021-07-18 08:11
12K
ec_pf_1__l35_ec_pf_1
2021-07-18 08:11
44K
ec_pf_1__l34_ec_pf_1
2021-07-18 08:11
47K
ec_pf_1__l26_ec_pf_1
2021-07-18 08:10
44K
ec_pf_1__l25_ec_pf_1
2021-07-18 08:10
42K
ec_pf_1__l1_ec_pf_1
2021-07-18 08:09
15K
ec_pf_1__t35_ec_pf_1
2021-07-18 08:09
43K
ec_pf_1__t34_ec_pf_1
2021-07-18 08:08
41K
ec_pf_1__t33_ec_pf_1
2021-07-18 08:08
41K
ec_pf_1__t31_ec_pf_1
2021-07-18 08:07
43K
ec_pf_1__t22_ec_pf_1
2021-07-18 08:06
44K
ec_pf_1__t11_ec_pf_1
2021-07-18 08:06
42K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80