Index of /~mptp/mml5.63.1382/MPTP2/problems_small/poset_1
Name
Last modified
Size
Description
Parent Directory
-
poset_1__l9_poset_1.depv1
2021-07-25 20:57
32
poset_1__l9_poset_1.depvmin1
2021-07-25 21:03
32
poset_1__t10_poset_1.depv1
2021-07-25 20:57
46
poset_1__t10_poset_1.depvmin1
2021-07-25 21:03
46
poset_1__l52_poset_1.depv1
2021-07-25 20:57
58
poset_1__l52_poset_1.depvmin1
2021-07-25 21:03
58
poset_1__l53_poset_1.depv1
2021-07-25 20:57
58
poset_1__l53_poset_1.depvmin1
2021-07-25 21:03
58
poset_1__l30_poset_1.depv1
2021-07-25 20:57
62
poset_1__l30_poset_1.depvmin1
2021-07-25 21:03
62
poset_1__t9_poset_1.depvmin1
2021-07-25 21:03
73
poset_1__l27_poset_1.depv1
2021-07-25 20:57
78
poset_1__l27_poset_1.depvmin1
2021-07-25 21:03
78
poset_1__l38_poset_1.depv1
2021-07-25 20:57
87
poset_1__l38_poset_1.depvmin1
2021-07-25 21:03
87
poset_1__l39_poset_1.depv1
2021-07-25 20:57
87
poset_1__l39_poset_1.depvmin1
2021-07-25 21:03
87
poset_1__l26_poset_1.depv1
2021-07-25 20:57
115
poset_1__l26_poset_1.depvmin1
2021-07-25 21:03
115
poset_1__t9_poset_1.depv1
2021-07-25 20:57
124
poset_1__l59_poset_1.depv1
2021-07-25 20:57
159
poset_1__l59_poset_1.depvmin1
2021-07-25 21:03
159
poset_1__t8_poset_1.depv1
2021-07-25 20:57
176
poset_1__t8_poset_1.depvmin1
2021-07-25 21:03
176
poset_1__l50_poset_1.depvmin1
2021-07-25 21:03
177
poset_1__l4_poset_1.depv1
2021-07-25 20:57
183
poset_1__l4_poset_1.depvmin1
2021-07-25 21:03
183
poset_1__l50_poset_1.depv1
2021-07-25 20:57
204
poset_1__l57_poset_1.depv1
2021-07-25 20:57
220
poset_1__l57_poset_1.depvmin1
2021-07-25 21:03
220
poset_1__l58_poset_1.depvmin1
2021-07-25 21:03
249
poset_1__l47_poset_1.depvmin1
2021-07-25 21:03
252
poset_1__l20_poset_1.depv1
2021-07-25 20:57
279
poset_1__l20_poset_1.depvmin1
2021-07-25 21:03
279
poset_1__l58_poset_1.depv1
2021-07-25 20:57
294
poset_1__l47_poset_1.depv1
2021-07-25 20:57
328
poset_1__l30_poset_1.vmin1
2021-07-25 20:57
1.1K
poset_1__l53_poset_1.vmin1
2021-07-25 20:57
1.4K
poset_1__l38_poset_1.vmin1
2021-07-25 20:57
1.5K
poset_1__l39_poset_1.vmin1
2021-07-25 20:57
1.6K
poset_1__l52_poset_1.vmin1
2021-07-25 20:57
1.7K
poset_1__l4_poset_1.vmin1
2021-07-25 20:57
1.9K
poset_1__l9_poset_1.vmin1
2021-07-25 20:57
2.0K
poset_1__l26_poset_1.vmin1
2021-07-25 20:57
2.1K
poset_1__l27_poset_1.vmin1
2021-07-25 20:57
2.4K
poset_1__t10_poset_1.vmin1
2021-07-25 20:57
2.4K
poset_1__l59_poset_1.vmin1
2021-07-25 20:57
3.0K
poset_1__t6_poset_1.vout
2021-07-25 18:47
3.2K
poset_1__l57_poset_1.vmin1
2021-07-25 20:57
3.4K
poset_1__t9_poset_1.vmin1
2021-07-25 20:57
3.7K
poset_1__l6_poset_1.vout
2021-07-25 19:46
3.8K
poset_1__t8_poset_1.vmin1
2021-07-25 20:57
3.8K
poset_1__l28_poset_1.vout
2021-07-25 16:24
4.1K
poset_1__t2_poset_1.vout
2021-07-25 18:00
4.1K
poset_1__t7_poset_1.vout
2021-07-25 18:52
4.1K
poset_1__l20_poset_1.vmin1
2021-07-25 20:57
4.3K
poset_1__l7_poset_1.vout
2021-07-25 18:43
4.7K
poset_1__l8_poset_1.vout
2021-07-25 19:16
4.7K
poset_1__l10_poset_1.vout
2021-07-25 19:30
4.7K
poset_1__l11_poset_1.vout
2021-07-25 20:27
4.7K
poset_1__l50_poset_1.vmin1
2021-07-25 20:57
5.6K
poset_1__l47_poset_1.vmin1
2021-07-25 20:57
5.7K
poset_1__t5_poset_1.vout
2021-07-25 15:36
6.8K
poset_1__t4_poset_1.vout
2021-07-25 19:13
6.8K
poset_1__t12_poset_1.vout
2021-07-25 16:20
6.8K
poset_1__l60_poset_1.vout
2021-07-25 16:32
6.8K
poset_1__t11_poset_1.vout
2021-07-25 15:50
6.9K
poset_1__t1_poset_1.vout
2021-07-25 16:55
7.3K
poset_1__l37_poset_1.vout
2021-07-25 14:26
7.3K
poset_1__l51_poset_1.vout
2021-07-25 18:56
7.3K
poset_1__l54_poset_1.vout
2021-07-25 18:35
7.3K
poset_1__l55_poset_1.vout
2021-07-25 17:07
7.3K
poset_1__l31_poset_1.vout
2021-07-25 16:58
7.3K
poset_1__l48_poset_1.vout
2021-07-25 17:54
7.3K
poset_1__t3_poset_1.vout
2021-07-25 17:26
7.3K
poset_1__l32_poset_1.vout
2021-07-25 16:08
7.3K
poset_1__l33_poset_1.vout
2021-07-25 18:35
7.3K
poset_1__l45_poset_1.vout
2021-07-25 16:57
7.3K
poset_1__l21_poset_1.vout
2021-07-25 17:53
7.3K
poset_1__l40_poset_1.vout
2021-07-25 14:44
7.3K
poset_1__l42_poset_1.vout
2021-07-25 20:05
7.3K
poset_1__l41_poset_1.vout
2021-07-25 17:53
7.3K
poset_1__l56_poset_1.vout
2021-07-25 20:40
7.3K
poset_1__l58_poset_1.vmin1
2021-07-25 20:57
7.7K
poset_1__l30_poset_1.vmin1out
2021-07-25 21:01
12K
poset_1__l4_poset_1
2021-07-18 07:58
18K
poset_1__l38_poset_1
2021-07-18 08:05
18K
poset_1__l39_poset_1
2021-07-18 08:05
18K
poset_1__l30_poset_1.vout
2021-07-25 18:48
19K
poset_1__l26_poset_1
2021-07-18 08:01
20K
poset_1__l4_poset_1.vmin1out
2021-07-25 21:00
20K
poset_1__l4_poset_1.vout
2021-07-25 20:28
20K
poset_1__l27_poset_1
2021-07-18 08:02
20K
poset_1__t1_poset_1
2021-07-18 07:53
21K
poset_1__t6_poset_1
2021-07-18 07:55
21K
poset_1__l6_poset_1
2021-07-18 07:53
22K
poset_1__l28_poset_1
2021-07-18 08:02
22K
poset_1__l38_poset_1.vout
2021-07-25 19:47
22K
poset_1__t8_poset_1
2021-07-18 07:56
23K
poset_1__t2_poset_1
2021-07-18 07:54
23K
poset_1__l30_poset_1
2021-07-18 08:03
24K
poset_1__t3_poset_1
2021-07-18 07:54
24K
poset_1__l31_poset_1
2021-07-18 08:03
24K
poset_1__l33_poset_1
2021-07-18 08:04
25K
poset_1__l21_poset_1
2021-07-18 08:01
25K
poset_1__t5_poset_1
2021-07-18 07:55
25K
poset_1__l38_poset_1.vmin1out
2021-07-25 21:02
25K
poset_1__l32_poset_1
2021-07-18 08:03
25K
poset_1__l53_poset_1.vout
2021-07-25 20:08
25K
poset_1__t10_poset_1
2021-07-18 07:57
25K
poset_1__l42_poset_1
2021-07-18 08:06
25K
poset_1__l26_poset_1.vout
2021-07-25 14:33
25K
poset_1__l47_poset_1
2021-07-18 08:07
25K
poset_1__l39_poset_1.vout
2021-07-25 20:24
25K
poset_1__t7_poset_1
2021-07-18 07:56
25K
poset_1__l48_poset_1
2021-07-18 08:07
26K
poset_1__t9_poset_1
2021-07-18 07:57
26K
poset_1__l41_poset_1
2021-07-18 08:06
26K
poset_1__l20_poset_1
2021-07-18 08:01
27K
poset_1__l55_poset_1
2021-07-18 08:08
27K
poset_1__l57_poset_1
2021-07-18 08:09
27K
poset_1__l53_poset_1
2021-07-18 08:11
28K
poset_1__l10_poset_1
2021-07-18 08:00
28K
poset_1__l50_poset_1
2021-07-18 08:08
28K
poset_1__l52_poset_1
2021-07-18 08:10
28K
poset_1__l45_poset_1
2021-07-18 08:06
28K
poset_1__l54_poset_1
2021-07-18 08:11
29K
poset_1__l8_poset_1
2021-07-18 07:59
29K
poset_1__l7_poset_1
2021-07-18 07:59
29K
poset_1__l51_poset_1
2021-07-18 08:08
30K
poset_1__l39_poset_1.vmin1out
2021-07-25 21:00
30K
poset_1__l59_poset_1
2021-07-18 08:12
30K
poset_1__l11_poset_1
2021-07-18 08:00
30K
poset_1__l53_poset_1.vmin1out
2021-07-25 20:57
31K
poset_1__l37_poset_1
2021-07-18 08:04
31K
poset_1__t12_poset_1
2021-07-18 07:58
32K
poset_1__l26_poset_1.vmin1out
2021-07-25 20:58
32K
poset_1__l56_poset_1
2021-07-18 08:12
32K
poset_1__l58_poset_1
2021-07-18 08:09
33K
poset_1__t10_poset_1.vmin1out
2021-07-25 20:58
33K
poset_1__t8_poset_1.vmin1out
2021-07-25 21:00
34K
poset_1__l27_poset_1.vout
2021-07-25 19:44
35K
poset_1__t11_poset_1
2021-07-18 07:57
35K
poset_1__l40_poset_1
2021-07-18 08:05
36K
poset_1__t4_poset_1
2021-07-18 07:55
37K
poset_1__l9_poset_1
2021-07-18 07:59
38K
poset_1__t10_poset_1.vout
2021-07-25 17:14
42K
poset_1__l9_poset_1.vout
2021-07-25 19:30
43K
poset_1__l57_poset_1.vmin1out
2021-07-25 21:02
47K
poset_1__l57_poset_1.vout
2021-07-25 19:47
48K
poset_1__l50_poset_1.vmin1out
2021-07-25 21:01
52K
poset_1__l9_poset_1.vmin1out
2021-07-25 20:59
54K
poset_1__t9_poset_1.vout
2021-07-25 18:50
55K
poset_1__l47_poset_1.vmin1out
2021-07-25 21:01
56K
poset_1__l58_poset_1.vmin1out
2021-07-25 21:01
57K
poset_1__l27_poset_1.vmin1out
2021-07-25 21:01
59K
poset_1__t9_poset_1.vmin1out
2021-07-25 20:59
60K
poset_1__l60_poset_1
2021-07-18 08:10
61K
poset_1__l20_poset_1.vmin1out
2021-07-25 21:02
68K
poset_1__l50_poset_1.vout
2021-07-25 18:36
68K
poset_1__l20_poset_1.vout
2021-07-25 19:14
69K
poset_1__l52_poset_1.vmin1out
2021-07-25 20:59
93K
poset_1__l52_poset_1.vout
2021-07-25 14:44
98K
poset_1__t8_poset_1.vout
2021-07-25 14:44
100K
poset_1__l59_poset_1.vmin1out
2021-07-25 21:02
113K
poset_1__l47_poset_1.vout
2021-07-25 20:20
114K
poset_1__l59_poset_1.vout
2021-07-25 16:12
117K
poset_1__l58_poset_1.vout
2021-07-25 17:56
121K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80