Index of /~mptp/mml5.63.1382/8.1.10_5.63.1382/MPTP2/problems_small/mesfunc5
Name
Last modified
Size
Description
Parent Directory
-
mesfunc5__t112_mesfunc5.vout
2021-07-25 20:17
4.7K
mesfunc5__t112_mesfunc5
2021-07-17 22:06
67K
mesfunc5__t111_mesfunc5.vout
2021-07-25 20:18
6.8K
mesfunc5__t111_mesfunc5
2021-07-17 22:05
73K
mesfunc5__t110_mesfunc5.vout
2021-07-25 20:49
7.3K
mesfunc5__t110_mesfunc5
2021-07-17 22:05
74K
mesfunc5__t109_mesfunc5.vout
2021-07-25 14:30
4.7K
mesfunc5__t109_mesfunc5
2021-07-17 22:04
72K
mesfunc5__t108_mesfunc5.vout
2021-07-25 15:06
69K
mesfunc5__t108_mesfunc5.vmin1out
2021-07-25 20:59
132K
mesfunc5__t108_mesfunc5.vmin1
2021-07-25 20:57
3.8K
mesfunc5__t108_mesfunc5.depvmin1
2021-07-25 21:03
106
mesfunc5__t108_mesfunc5.depv1
2021-07-25 20:57
106
mesfunc5__t108_mesfunc5
2021-07-17 22:03
40K
mesfunc5__t107_mesfunc5.vout
2021-07-25 16:36
96K
mesfunc5__t107_mesfunc5.vmin1out
2021-07-25 20:58
106K
mesfunc5__t107_mesfunc5.vmin1
2021-07-25 20:57
4.0K
mesfunc5__t107_mesfunc5.depvmin1
2021-07-25 21:03
104
mesfunc5__t107_mesfunc5.depv1
2021-07-25 20:57
129
mesfunc5__t107_mesfunc5
2021-07-17 22:03
47K
mesfunc5__t106_mesfunc5.vout
2021-07-25 18:30
7.3K
mesfunc5__t106_mesfunc5
2021-07-17 22:02
73K
mesfunc5__t105_mesfunc5.vout
2021-07-25 20:29
6.9K
mesfunc5__t105_mesfunc5
2021-07-17 22:01
119K
mesfunc5__t104_mesfunc5.vout
2021-07-25 14:36
7.3K
mesfunc5__t104_mesfunc5
2021-07-17 22:00
50K
mesfunc5__t103_mesfunc5.vout
2021-07-25 16:43
6.9K
mesfunc5__t103_mesfunc5
2021-07-17 22:00
63K
mesfunc5__t102_mesfunc5.vout
2021-07-25 14:39
7.3K
mesfunc5__t102_mesfunc5
2021-07-17 21:59
63K
mesfunc5__t101_mesfunc5.vout
2021-07-25 14:50
6.8K
mesfunc5__t101_mesfunc5
2021-07-17 21:58
63K
mesfunc5__t100_mesfunc5.vout
2021-07-25 17:48
6.9K
mesfunc5__t100_mesfunc5
2021-07-17 21:57
66K
mesfunc5__t99_mesfunc5.vout
2021-07-25 19:42
6.8K
mesfunc5__t99_mesfunc5
2021-07-17 21:57
67K
mesfunc5__t98_mesfunc5.vout
2021-07-25 17:05
6.8K
mesfunc5__t98_mesfunc5
2021-07-17 21:56
89K
mesfunc5__t97_mesfunc5.vout
2021-07-25 16:54
6.8K
mesfunc5__t97_mesfunc5
2021-07-17 21:55
58K
mesfunc5__t96_mesfunc5.vout
2021-07-25 15:02
7.4K
mesfunc5__t96_mesfunc5
2021-07-17 21:55
65K
mesfunc5__t95_mesfunc5.vout
2021-07-25 14:43
6.8K
mesfunc5__t95_mesfunc5
2021-07-17 21:54
62K
mesfunc5__t94_mesfunc5.vout
2021-07-25 19:17
6.8K
mesfunc5__t94_mesfunc5
2021-07-17 21:53
61K
mesfunc5__t93_mesfunc5.vout
2021-07-25 19:00
6.8K
mesfunc5__t93_mesfunc5
2021-07-17 21:52
62K
mesfunc5__t92_mesfunc5.vout
2021-07-25 19:31
6.8K
mesfunc5__t92_mesfunc5
2021-07-17 21:52
62K
mesfunc5__t91_mesfunc5.vout
2021-07-25 14:45
6.8K
mesfunc5__t91_mesfunc5
2021-07-17 21:51
66K
mesfunc5__t90_mesfunc5.vout
2021-07-25 16:29
20K
mesfunc5__t90_mesfunc5.vmin1out
2021-07-25 20:58
39K
mesfunc5__t90_mesfunc5.vmin1
2021-07-25 20:57
2.0K
mesfunc5__t90_mesfunc5.depvmin1
2021-07-25 21:03
39
mesfunc5__t90_mesfunc5.depv1
2021-07-25 20:57
39
mesfunc5__t90_mesfunc5
2021-07-17 21:50
50K
mesfunc5__t89_mesfunc5.vout
2021-07-25 17:21
44K
mesfunc5__t89_mesfunc5.vmin1out
2021-07-25 21:02
59K
mesfunc5__t89_mesfunc5.vmin1
2021-07-25 20:57
3.5K
mesfunc5__t89_mesfunc5.depvmin1
2021-07-25 21:03
154
mesfunc5__t89_mesfunc5.depv1
2021-07-25 20:57
154
mesfunc5__t89_mesfunc5
2021-07-17 21:50
50K
mesfunc5__t88_mesfunc5.vout
2021-07-25 20:01
6.8K
mesfunc5__t88_mesfunc5
2021-07-17 21:49
59K
mesfunc5__t87_mesfunc5.vout
2021-07-25 18:20
4.7K
mesfunc5__t87_mesfunc5
2021-07-17 21:49
44K
mesfunc5__t86_mesfunc5.vout
2021-07-25 14:48
6.8K
mesfunc5__t86_mesfunc5
2021-07-17 21:48
87K
mesfunc5__t85_mesfunc5.vout
2021-07-25 18:07
4.7K
mesfunc5__t85_mesfunc5
2021-07-17 21:47
51K
mesfunc5__t84_mesfunc5.vout
2021-07-25 19:30
6.8K
mesfunc5__t84_mesfunc5
2021-07-17 21:46
59K
mesfunc5__t83_mesfunc5.vout
2021-07-25 14:30
6.8K
mesfunc5__t83_mesfunc5
2021-07-17 21:46
59K
mesfunc5__t82_mesfunc5.vout
2021-07-25 20:35
6.8K
mesfunc5__t82_mesfunc5
2021-07-17 21:45
62K
mesfunc5__t81_mesfunc5.vout
2021-07-25 15:17
6.8K
mesfunc5__t81_mesfunc5
2021-07-17 21:44
91K
mesfunc5__t80_mesfunc5.vout
2021-07-25 17:37
6.8K
mesfunc5__t80_mesfunc5
2021-07-17 21:43
49K
mesfunc5__t79_mesfunc5.vout
2021-07-25 16:39
7.3K
mesfunc5__t79_mesfunc5
2021-07-17 21:42
75K
mesfunc5__t78_mesfunc5.vout
2021-07-25 19:08
6.8K
mesfunc5__t78_mesfunc5
2021-07-17 21:42
62K
mesfunc5__t77_mesfunc5.vout
2021-07-25 15:04
4.7K
mesfunc5__t77_mesfunc5
2021-07-17 21:41
52K
mesfunc5__t76_mesfunc5.vout
2021-07-25 18:29
4.7K
mesfunc5__t76_mesfunc5
2021-07-17 21:40
50K
mesfunc5__t75_mesfunc5.vout
2021-07-25 16:13
6.8K
mesfunc5__t75_mesfunc5
2021-07-17 21:39
98K
mesfunc5__t73_mesfunc5.vout
2021-07-25 17:52
3.7K
mesfunc5__t73_mesfunc5
2021-07-17 21:38
99K
mesfunc5__t71_mesfunc5.vout
2021-07-25 15:09
3.7K
mesfunc5__t71_mesfunc5
2021-07-17 21:37
81K
mesfunc5__t70_mesfunc5.vout
2021-07-25 20:54
4.7K
mesfunc5__t70_mesfunc5
2021-07-17 21:37
61K
mesfunc5__t69_mesfunc5.vout
2021-07-25 15:44
4.7K
mesfunc5__t69_mesfunc5
2021-07-17 21:36
78K
mesfunc5__t68_mesfunc5.vout
2021-07-25 17:43
6.8K
mesfunc5__t68_mesfunc5
2021-07-17 21:35
62K
mesfunc5__t67_mesfunc5.vout
2021-07-25 19:02
3.7K
mesfunc5__t67_mesfunc5
2021-07-17 21:34
113K
mesfunc5__t66_mesfunc5.vout
2021-07-25 19:11
7.3K
mesfunc5__t66_mesfunc5
2021-07-17 21:33
53K
mesfunc5__t65_mesfunc5.vout
2021-07-25 14:29
4.7K
mesfunc5__t65_mesfunc5
2021-07-17 21:33
72K
mesfunc5__t64_mesfunc5.vout
2021-07-25 16:36
3.7K
mesfunc5__t64_mesfunc5
2021-07-17 21:32
153K
mesfunc5__t63_mesfunc5.vout
2021-07-25 15:48
6.8K
mesfunc5__t63_mesfunc5
2021-07-17 21:31
42K
mesfunc5__t62_mesfunc5.vout
2021-07-25 19:12
4.7K
mesfunc5__t62_mesfunc5
2021-07-17 21:30
59K
mesfunc5__t61_mesfunc5.vout
2021-07-25 17:51
4.7K
mesfunc5__t61_mesfunc5
2021-07-17 21:29
180K
mesfunc5__t60_mesfunc5.vout
2021-07-25 14:40
4.7K
mesfunc5__t60_mesfunc5
2021-07-17 21:28
65K
mesfunc5__t59_mesfunc5.vout
2021-07-25 19:10
4.7K
mesfunc5__t59_mesfunc5
2021-07-17 21:28
45K
mesfunc5__t58_mesfunc5.vout
2021-07-25 20:23
7.3K
mesfunc5__t58_mesfunc5
2021-07-17 21:27
37K
mesfunc5__t57_mesfunc5.vout
2021-07-25 16:09
7.3K
mesfunc5__t57_mesfunc5
2021-07-17 21:27
36K
mesfunc5__t56_mesfunc5.vout
2021-07-25 15:32
35K
mesfunc5__t56_mesfunc5.vmin1out
2021-07-25 20:58
34K
mesfunc5__t56_mesfunc5.vmin1
2021-07-25 20:57
2.9K
mesfunc5__t56_mesfunc5.depvmin1
2021-07-25 21:03
322
mesfunc5__t56_mesfunc5.depv1
2021-07-25 20:57
322
mesfunc5__t56_mesfunc5
2021-07-17 21:26
37K
mesfunc5__t55_mesfunc5.vout
2021-07-25 20:00
7.3K
mesfunc5__t55_mesfunc5
2021-07-17 21:26
37K
mesfunc5__t54_mesfunc5.vout
2021-07-25 15:09
4.7K
mesfunc5__t54_mesfunc5
2021-07-17 21:25
60K
mesfunc5__t53_mesfunc5.vout
2021-07-25 19:10
7.9K
mesfunc5__t53_mesfunc5
2021-07-17 21:24
46K
mesfunc5__t52_mesfunc5.vout
2021-07-25 20:17
4.7K
mesfunc5__t52_mesfunc5
2021-07-17 21:24
56K
mesfunc5__t51_mesfunc5.vout
2021-07-25 14:37
8.4K
mesfunc5__t51_mesfunc5
2021-07-17 21:23
68K
mesfunc5__t50_mesfunc5.vout
2021-07-25 18:00
7.9K
mesfunc5__t50_mesfunc5
2021-07-17 21:22
68K
mesfunc5__t49_mesfunc5.vout
2021-07-25 19:13
6.8K
mesfunc5__t49_mesfunc5
2021-07-17 21:22
46K
mesfunc5__t47_mesfunc5.vout
2021-07-25 16:36
6.8K
mesfunc5__t47_mesfunc5
2021-07-17 21:21
63K
mesfunc5__t46_mesfunc5.vout
2021-07-25 19:17
6.8K
mesfunc5__t46_mesfunc5
2021-07-17 21:20
57K
mesfunc5__t45_mesfunc5.vout
2021-07-25 15:20
30K
mesfunc5__t45_mesfunc5.vmin1out
2021-07-25 20:59
29K
mesfunc5__t45_mesfunc5.vmin1
2021-07-25 20:57
2.9K
mesfunc5__t45_mesfunc5.depvmin1
2021-07-25 21:03
214
mesfunc5__t45_mesfunc5.depv1
2021-07-25 20:57
214
mesfunc5__t45_mesfunc5
2021-07-17 21:20
43K
mesfunc5__t44_mesfunc5.vout
2021-07-25 14:51
6.8K
mesfunc5__t44_mesfunc5
2021-07-17 21:19
41K
mesfunc5__t43_mesfunc5.vout
2021-07-25 15:58
7.3K
mesfunc5__t43_mesfunc5
2021-07-17 21:19
38K
mesfunc5__t41_mesfunc5.vout
2021-07-25 18:18
3.7K
mesfunc5__t41_mesfunc5
2021-07-17 21:18
59K
mesfunc5__t40_mesfunc5.vout
2021-07-25 15:44
4.7K
mesfunc5__t40_mesfunc5
2021-07-17 21:17
63K
mesfunc5__t39_mesfunc5.vout
2021-07-25 14:46
4.7K
mesfunc5__t39_mesfunc5
2021-07-17 21:17
52K
mesfunc5__t38_mesfunc5.vout
2021-07-25 16:53
6.9K
mesfunc5__t38_mesfunc5
2021-07-17 21:16
73K
mesfunc5__t37_mesfunc5.vout
2021-07-25 16:14
2.0K
mesfunc5__t37_mesfunc5
2021-07-17 21:15
40K
mesfunc5__t36_mesfunc5.vout
2021-07-25 16:27
6.8K
mesfunc5__t36_mesfunc5
2021-07-17 21:15
44K
mesfunc5__t35_mesfunc5.vout
2021-07-25 17:26
6.8K
mesfunc5__t35_mesfunc5
2021-07-17 21:14
40K
mesfunc5__t34_mesfunc5.vout
2021-07-25 15:18
3.7K
mesfunc5__t34_mesfunc5
2021-07-17 21:13
53K
mesfunc5__t32_mesfunc5.vout
2021-07-25 17:53
6.8K
mesfunc5__t32_mesfunc5
2021-07-17 21:13
84K
mesfunc5__t30_mesfunc5.vout
2021-07-25 16:38
7.3K
mesfunc5__t30_mesfunc5
2021-07-17 21:12
39K
mesfunc5__t29_mesfunc5.vout
2021-07-25 20:32
6.8K
mesfunc5__t29_mesfunc5
2021-07-17 21:11
56K
mesfunc5__t28_mesfunc5.vout
2021-07-25 17:08
4.7K
mesfunc5__t28_mesfunc5
2021-07-17 21:11
45K
mesfunc5__t27_mesfunc5.vout
2021-07-25 20:08
4.7K
mesfunc5__t27_mesfunc5
2021-07-17 21:10
52K
mesfunc5__t26_mesfunc5.vout
2021-07-25 19:16
4.7K
mesfunc5__t26_mesfunc5
2021-07-17 21:09
46K
mesfunc5__t25_mesfunc5.vout
2021-07-25 14:34
4.7K
mesfunc5__t25_mesfunc5
2021-07-17 21:09
71K
mesfunc5__t24_mesfunc5.vout
2021-07-25 17:17
7.3K
mesfunc5__t24_mesfunc5
2021-07-17 21:08
57K
mesfunc5__t23_mesfunc5.vout
2021-07-25 17:04
6.8K
mesfunc5__t23_mesfunc5
2021-07-17 21:08
48K
mesfunc5__t22_mesfunc5.vout
2021-07-25 18:10
7.3K
mesfunc5__t22_mesfunc5
2021-07-17 21:07
50K
mesfunc5__t21_mesfunc5.vout
2021-07-25 14:23
7.3K
mesfunc5__t21_mesfunc5
2021-07-17 21:06
57K
mesfunc5__t20_mesfunc5.vout
2021-07-25 19:56
7.3K
mesfunc5__t20_mesfunc5
2021-07-17 21:06
38K
mesfunc5__t19_mesfunc5.vout
2021-07-25 18:01
7.3K
mesfunc5__t19_mesfunc5
2021-07-17 21:05
54K
mesfunc5__t18_mesfunc5.vout
2021-07-25 15:18
6.8K
mesfunc5__t18_mesfunc5
2021-07-17 21:05
83K
mesfunc5__t17_mesfunc5.vout
2021-07-25 19:57
7.3K
mesfunc5__t17_mesfunc5
2021-07-17 21:04
55K
mesfunc5__t16_mesfunc5.vout
2021-07-25 18:40
7.3K
mesfunc5__t16_mesfunc5
2021-07-17 21:03
50K
mesfunc5__t15_mesfunc5.vout
2021-07-25 19:33
2.0K
mesfunc5__t15_mesfunc5
2021-07-17 21:03
37K
mesfunc5__t14_mesfunc5.vout
2021-07-25 16:40
4.7K
mesfunc5__t14_mesfunc5
2021-07-17 21:02
39K
mesfunc5__t13_mesfunc5.vout
2021-07-25 19:55
2.0K
mesfunc5__t13_mesfunc5
2021-07-17 20:56
31K
mesfunc5__t12_mesfunc5.vout
2021-07-25 17:06
2.0K
mesfunc5__t12_mesfunc5
2021-07-17 20:56
31K
mesfunc5__t11_mesfunc5.vout
2021-07-25 19:33
8.4K
mesfunc5__t11_mesfunc5
2021-07-17 21:02
33K
mesfunc5__t10_mesfunc5.vout
2021-07-25 20:13
8.4K
mesfunc5__t10_mesfunc5
2021-07-17 21:01
33K
mesfunc5__t9_mesfunc5.vout
2021-07-25 19:42
24K
mesfunc5__t9_mesfunc5.vmin1out
2021-07-25 21:02
23K
mesfunc5__t9_mesfunc5.vmin1
2021-07-25 20:57
1.7K
mesfunc5__t9_mesfunc5.depvmin1
2021-07-25 21:03
223
mesfunc5__t9_mesfunc5.depv1
2021-07-25 20:57
223
mesfunc5__t9_mesfunc5
2021-07-17 21:01
34K
mesfunc5__t8_mesfunc5.vout
2021-07-25 15:44
7.3K
mesfunc5__t8_mesfunc5
2021-07-17 21:00
40K
mesfunc5__t7_mesfunc5.vout
2021-07-25 16:00
7.3K
mesfunc5__t7_mesfunc5
2021-07-17 20:59
24K
mesfunc5__t6_mesfunc5.vout
2021-07-25 18:06
42K
mesfunc5__t6_mesfunc5.vmin1out
2021-07-25 20:58
26K
mesfunc5__t6_mesfunc5.vmin1
2021-07-25 20:57
1.7K
mesfunc5__t6_mesfunc5.depvmin1
2021-07-25 21:03
143
mesfunc5__t6_mesfunc5.depv1
2021-07-25 20:57
180
mesfunc5__t6_mesfunc5
2021-07-17 20:59
22K
mesfunc5__t5_mesfunc5.vout
2021-07-25 20:55
7.3K
mesfunc5__t5_mesfunc5
2021-07-17 20:59
41K
mesfunc5__t4_mesfunc5.vout
2021-07-25 14:50
6.8K
mesfunc5__t4_mesfunc5
2021-07-17 20:58
97K
mesfunc5__t3_mesfunc5.vout
2021-07-25 18:43
7.3K
mesfunc5__t3_mesfunc5
2021-07-17 20:58
29K
mesfunc5__t2_mesfunc5.vout
2021-07-25 15:48
16K
mesfunc5__t2_mesfunc5.vmin1out
2021-07-25 20:58
14K
mesfunc5__t2_mesfunc5.vmin1
2021-07-25 20:57
1.7K
mesfunc5__t2_mesfunc5.depvmin1
2021-07-25 21:03
186
mesfunc5__t2_mesfunc5.depv1
2021-07-25 20:57
201
mesfunc5__t2_mesfunc5
2021-07-17 20:58
28K
mesfunc5__t1_mesfunc5.vout
2021-07-25 17:20
14K
mesfunc5__t1_mesfunc5.vmin1out
2021-07-25 21:01
7.2K
mesfunc5__t1_mesfunc5.vmin1
2021-07-25 20:57
1.2K
mesfunc5__t1_mesfunc5.depvmin1
2021-07-25 21:03
91
mesfunc5__t1_mesfunc5.depv1
2021-07-25 20:57
144
mesfunc5__t1_mesfunc5
2021-07-17 20:57
26K
mesfunc5__l139_mesfunc5.vout
2021-07-25 17:51
6.9K
mesfunc5__l139_mesfunc5
2021-07-17 22:15
64K
mesfunc5__l138_mesfunc5.vout
2021-07-25 19:09
6.9K
mesfunc5__l138_mesfunc5
2021-07-17 22:14
102K
mesfunc5__l136_mesfunc5.vout
2021-07-25 18:51
7.3K
mesfunc5__l136_mesfunc5
2021-07-17 22:13
76K
mesfunc5__l103_mesfunc5.vout
2021-07-25 18:48
6.8K
mesfunc5__l103_mesfunc5
2021-07-17 22:12
85K
mesfunc5__l92_mesfunc5.vout
2021-07-25 15:38
3.7K
mesfunc5__l92_mesfunc5
2021-07-17 22:11
122K
mesfunc5__l81_mesfunc5.vout
2021-07-25 14:37
7.4K
mesfunc5__l81_mesfunc5
2021-07-17 22:10
38K
mesfunc5__l59_mesfunc5.vout
2021-07-25 16:08
6.8K
mesfunc5__l59_mesfunc5
2021-07-17 22:10
43K
mesfunc5__l57_mesfunc5.vout
2021-07-25 16:39
7.3K
mesfunc5__l57_mesfunc5
2021-07-17 22:09
59K
mesfunc5__l48_mesfunc5.vout
2021-07-25 16:09
3.7K
mesfunc5__l48_mesfunc5
2021-07-17 22:08
100K
mesfunc5__l47_mesfunc5.vout
2021-07-25 14:49
20K
mesfunc5__l47_mesfunc5.vmin1out
2021-07-25 20:58
20K
mesfunc5__l47_mesfunc5.vmin1
2021-07-25 20:57
1.4K
mesfunc5__l47_mesfunc5.depvmin1
2021-07-25 21:03
159
mesfunc5__l47_mesfunc5.depv1
2021-07-25 20:57
159
mesfunc5__l47_mesfunc5
2021-07-17 22:07
33K
mesfunc5__l30_mesfunc5.vout
2021-07-25 19:56
7.4K
mesfunc5__l30_mesfunc5
2021-07-17 22:07
40K
mesfunc5__l1_mesfunc5.vout
2021-07-25 15:49
2.1K
mesfunc5__l1_mesfunc5.vmin1out
2021-07-25 21:01
2.2K
mesfunc5__l1_mesfunc5.vmin1
2021-07-25 20:57
285
mesfunc5__l1_mesfunc5.depvmin1
2021-07-25 21:03
51
mesfunc5__l1_mesfunc5.depv1
2021-07-25 20:57
51
mesfunc5__l1_mesfunc5
2021-07-17 20:57
14K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80