Index of /~mptp/mml5.63.1382/8.1.10_5.63.1382/MPTP2/problems_small/msafree5
Name
Last modified
Size
Description
Parent Directory
-
msafree5__t1_msafree5
2021-07-17 19:15
87K
msafree5__t1_msafree5.vout
2021-07-25 20:04
3.7K
msafree5__t2_msafree5
2021-07-17 19:16
78K
msafree5__t2_msafree5.depv1
2021-07-25 20:57
48
msafree5__t2_msafree5.depvmin1
2021-07-25 21:03
48
msafree5__t2_msafree5.vmin1
2021-07-25 20:57
1.0K
msafree5__t2_msafree5.vmin1out
2021-07-25 20:57
19K
msafree5__t2_msafree5.vout
2021-07-25 17:11
12K
msafree5__t3_msafree5
2021-07-17 19:16
78K
msafree5__t3_msafree5.vout
2021-07-25 14:54
3.7K
msafree5__t4_msafree5
2021-07-17 19:17
88K
msafree5__t4_msafree5.depv1
2021-07-25 20:57
53
msafree5__t4_msafree5.depvmin1
2021-07-25 21:03
53
msafree5__t4_msafree5.vmin1
2021-07-25 20:57
1.1K
msafree5__t4_msafree5.vmin1out
2021-07-25 20:59
13K
msafree5__t4_msafree5.vout
2021-07-25 15:10
10K
msafree5__t5_msafree5
2021-07-17 19:18
82K
msafree5__t5_msafree5.vout
2021-07-25 20:45
4.2K
msafree5__t6_msafree5
2021-07-17 19:19
101K
msafree5__t6_msafree5.vout
2021-07-25 17:31
3.7K
msafree5__t7_msafree5
2021-07-17 19:20
41K
msafree5__t7_msafree5.vout
2021-07-25 18:07
4.7K
msafree5__t8_msafree5
2021-07-17 19:21
110K
msafree5__t8_msafree5.vout
2021-07-25 19:36
3.7K
msafree5__t9_msafree5
2021-07-17 21:23
96K
msafree5__t9_msafree5.vout
2021-07-25 16:51
3.7K
msafree5__t10_msafree5
2021-07-17 19:22
82K
msafree5__t10_msafree5.vout
2021-07-25 17:41
4.2K
msafree5__t11_msafree5
2021-07-17 19:22
80K
msafree5__t11_msafree5.vout
2021-07-25 19:16
6.8K
msafree5__t12_msafree5
2021-07-17 19:23
79K
msafree5__t12_msafree5.vout
2021-07-25 18:18
4.2K
msafree5__t13_msafree5
2021-07-17 19:24
79K
msafree5__t13_msafree5.vout
2021-07-25 15:36
4.2K
msafree5__t14_msafree5
2021-07-17 19:06
43K
msafree5__t14_msafree5.depv1
2021-07-25 20:57
75
msafree5__t14_msafree5.depvmin1
2021-07-25 21:03
75
msafree5__t14_msafree5.vmin1
2021-07-25 20:57
359
msafree5__t14_msafree5.vmin1out
2021-07-25 20:59
2.7K
msafree5__t14_msafree5.vout
2021-07-25 19:43
2.8K
msafree5__t15_msafree5
2021-07-17 21:24
113K
msafree5__t15_msafree5.vout
2021-07-25 14:42
3.7K
msafree5__t16_msafree5
2021-07-17 19:25
61K
msafree5__t16_msafree5.vout
2021-07-25 17:53
2.0K
msafree5__t17_msafree5
2021-07-17 19:06
90K
msafree5__t17_msafree5.vout
2021-07-25 19:44
4.2K
msafree5__t18_msafree5
2021-07-17 19:26
98K
msafree5__t18_msafree5.vout
2021-07-25 14:26
7.4K
msafree5__t19_msafree5
2021-07-17 19:27
103K
msafree5__t19_msafree5.vout
2021-07-25 17:25
3.7K
msafree5__t20_msafree5
2021-07-17 19:27
52K
msafree5__t20_msafree5.depv1
2021-07-25 20:57
52
msafree5__t20_msafree5.depvmin1
2021-07-25 21:03
52
msafree5__t20_msafree5.vmin1
2021-07-25 20:57
1.3K
msafree5__t20_msafree5.vmin1out
2021-07-25 20:59
19K
msafree5__t20_msafree5.vout
2021-07-25 16:38
20K
msafree5__t21_msafree5
2021-07-17 19:07
49K
msafree5__t21_msafree5.vout
2021-07-25 15:21
7.9K
msafree5__t22_msafree5
2021-07-17 19:28
90K
msafree5__t22_msafree5.vout
2021-07-25 17:11
7.3K
msafree5__t23_msafree5
2021-07-17 19:08
55K
msafree5__t23_msafree5.depv1
2021-07-25 20:57
266
msafree5__t23_msafree5.depvmin1
2021-07-25 21:03
251
msafree5__t23_msafree5.vmin1
2021-07-25 20:57
4.5K
msafree5__t23_msafree5.vmin1out
2021-07-25 21:00
58K
msafree5__t23_msafree5.vout
2021-07-25 16:42
63K
msafree5__t24_msafree5
2021-07-17 19:29
140K
msafree5__t24_msafree5.vout
2021-07-25 18:53
7.3K
msafree5__t25_msafree5
2021-07-17 19:30
89K
msafree5__t25_msafree5.vout
2021-07-25 20:32
7.3K
msafree5__t26_msafree5
2021-07-17 19:31
69K
msafree5__t26_msafree5.vout
2021-07-25 20:41
7.3K
msafree5__t27_msafree5
2021-07-17 19:32
69K
msafree5__t27_msafree5.vout
2021-07-25 16:15
2.0K
msafree5__t28_msafree5
2021-07-17 19:33
69K
msafree5__t28_msafree5.vout
2021-07-25 19:30
7.3K
msafree5__t29_msafree5
2021-07-17 19:34
82K
msafree5__t29_msafree5.vout
2021-07-25 19:23
7.4K
msafree5__t30_msafree5
2021-07-17 19:34
71K
msafree5__t30_msafree5.vout
2021-07-25 16:28
4.7K
msafree5__t31_msafree5
2021-07-17 19:35
86K
msafree5__t31_msafree5.depv1
2021-07-25 20:57
82
msafree5__t31_msafree5.depvmin1
2021-07-25 21:03
82
msafree5__t31_msafree5.vmin1
2021-07-25 20:57
2.6K
msafree5__t31_msafree5.vmin1out
2021-07-25 21:00
57K
msafree5__t31_msafree5.vout
2021-07-25 14:31
44K
msafree5__t32_msafree5
2021-07-17 19:36
130K
msafree5__t32_msafree5.vout
2021-07-25 19:52
6.8K
msafree5__t33_msafree5
2021-07-17 19:09
95K
msafree5__t33_msafree5.vout
2021-07-25 19:39
4.8K
msafree5__t34_msafree5
2021-07-17 19:38
142K
msafree5__t34_msafree5.vout
2021-07-25 15:21
7.3K
msafree5__t35_msafree5
2021-07-17 19:39
105K
msafree5__t35_msafree5.vout
2021-07-25 18:52
4.7K
msafree5__t36_msafree5
2021-07-17 19:40
154K
msafree5__t36_msafree5.vout
2021-07-25 15:55
6.8K
msafree5__t37_msafree5
2021-07-17 19:41
136K
msafree5__t37_msafree5.vout
2021-07-25 17:28
7.3K
msafree5__t38_msafree5
2021-07-17 19:42
147K
msafree5__t38_msafree5.vout
2021-07-25 18:56
7.3K
msafree5__t39_msafree5
2021-07-17 19:10
100K
msafree5__t39_msafree5.depv1
2021-07-25 20:57
287
msafree5__t39_msafree5.depvmin1
2021-07-25 21:03
274
msafree5__t39_msafree5.vmin1
2021-07-25 20:57
4.9K
msafree5__t39_msafree5.vmin1out
2021-07-25 21:02
76K
msafree5__t39_msafree5.vout
2021-07-25 20:28
78K
msafree5__t40_msafree5
2021-07-17 19:43
103K
msafree5__t40_msafree5.vout
2021-07-25 16:45
4.8K
msafree5__t41_msafree5
2021-07-17 19:44
98K
msafree5__t41_msafree5.vout
2021-07-25 15:13
4.7K
msafree5__t42_msafree5
2021-07-17 19:45
107K
msafree5__t42_msafree5.vout
2021-07-25 19:50
7.3K
msafree5__t43_msafree5
2021-07-17 19:10
83K
msafree5__t43_msafree5.vout
2021-07-25 19:04
7.3K
msafree5__t44_msafree5
2021-07-17 19:11
82K
msafree5__t44_msafree5.depv1
2021-07-25 20:57
109
msafree5__t44_msafree5.depvmin1
2021-07-25 21:03
109
msafree5__t44_msafree5.vmin1
2021-07-25 20:57
3.1K
msafree5__t44_msafree5.vmin1out
2021-07-25 20:58
45K
msafree5__t44_msafree5.vout
2021-07-25 15:44
58K
msafree5__t45_msafree5
2021-07-17 19:12
98K
msafree5__t45_msafree5.vout
2021-07-25 17:40
7.3K
msafree5__t46_msafree5
2021-07-17 21:25
93K
msafree5__t46_msafree5.vout
2021-07-25 17:33
7.3K
msafree5__t47_msafree5
2021-07-17 21:26
145K
msafree5__t47_msafree5.vout
2021-07-25 14:53
6.8K
msafree5__t48_msafree5
2021-07-17 19:46
106K
msafree5__t48_msafree5.vout
2021-07-25 17:33
6.8K
msafree5__t49_msafree5
2021-07-17 19:47
102K
msafree5__t49_msafree5.vout
2021-07-25 16:59
4.7K
msafree5__t50_msafree5
2021-07-17 19:48
123K
msafree5__t50_msafree5.vout
2021-07-25 18:02
7.3K
msafree5__t51_msafree5
2021-07-17 21:27
143K
msafree5__t51_msafree5.vout
2021-07-25 20:07
3.7K
msafree5__t52_msafree5
2021-07-17 19:50
159K
msafree5__t52_msafree5.vout
2021-07-25 17:33
6.8K
msafree5__t53_msafree5
2021-07-17 19:51
65K
msafree5__t53_msafree5.vout
2021-07-25 19:14
7.3K
msafree5__t54_msafree5
2021-07-17 21:29
112K
msafree5__t54_msafree5.vout
2021-07-25 15:06
3.7K
msafree5__t55_msafree5
2021-07-17 21:30
151K
msafree5__t55_msafree5.vout
2021-07-25 16:47
3.7K
msafree5__t56_msafree5
2021-07-17 19:52
116K
msafree5__t56_msafree5.vout
2021-07-25 18:22
5.3K
msafree5__t57_msafree5
2021-07-17 19:52
86K
msafree5__t57_msafree5.vout
2021-07-25 14:30
7.4K
msafree5__t58_msafree5
2021-07-17 19:53
66K
msafree5__t58_msafree5.vout
2021-07-25 19:32
3.7K
msafree5__t59_msafree5
2021-07-17 19:54
86K
msafree5__t59_msafree5.vout
2021-07-25 18:15
3.7K
msafree5__t60_msafree5
2021-07-17 21:31
155K
msafree5__t60_msafree5.vout
2021-07-25 19:55
3.7K
msafree5__t61_msafree5
2021-07-17 21:33
165K
msafree5__t61_msafree5.vout
2021-07-25 20:35
3.7K
msafree5__t62_msafree5
2021-07-17 19:55
139K
msafree5__t62_msafree5.vout
2021-07-25 17:25
3.7K
msafree5__t63_msafree5
2021-07-17 21:33
67K
msafree5__t63_msafree5.vout
2021-07-25 15:15
5.3K
msafree5__t64_msafree5
2021-07-17 21:34
87K
msafree5__t64_msafree5.vout
2021-07-25 20:05
3.7K
msafree5__t65_msafree5
2021-07-17 19:56
101K
msafree5__t65_msafree5.vout
2021-07-25 15:08
4.2K
msafree5__t66_msafree5
2021-07-17 19:58
152K
msafree5__t66_msafree5.vout
2021-07-25 15:50
3.7K
msafree5__t67_msafree5
2021-07-17 19:59
103K
msafree5__t67_msafree5.vout
2021-07-25 19:33
7.3K
msafree5__t68_msafree5
2021-07-17 21:35
106K
msafree5__t68_msafree5.vout
2021-07-25 17:34
3.7K
msafree5__t69_msafree5
2021-07-17 20:00
77K
msafree5__t69_msafree5.vout
2021-07-25 19:06
7.3K
msafree5__t70_msafree5
2021-07-17 20:01
100K
msafree5__t70_msafree5.vout
2021-07-25 15:48
4.7K
msafree5__t71_msafree5
2021-07-17 20:02
103K
msafree5__t71_msafree5.vout
2021-07-25 14:39
7.4K
msafree5__t72_msafree5
2021-07-17 19:13
87K
msafree5__t72_msafree5.depv1
2021-07-25 20:57
67
msafree5__t72_msafree5.depvmin1
2021-07-25 21:03
67
msafree5__t72_msafree5.vmin1
2021-07-25 20:57
1.6K
msafree5__t72_msafree5.vmin1out
2021-07-25 21:00
21K
msafree5__t72_msafree5.vout
2021-07-25 17:05
27K
msafree5__t73_msafree5
2021-07-17 20:03
100K
msafree5__t73_msafree5.vout
2021-07-25 16:21
4.7K
msafree5__t74_msafree5
2021-07-17 20:04
160K
msafree5__t74_msafree5.vout
2021-07-25 15:20
3.7K
msafree5__t75_msafree5
2021-07-17 20:05
146K
msafree5__t75_msafree5.vout
2021-07-25 15:21
3.7K
msafree5__t76_msafree5
2021-07-17 20:06
99K
msafree5__t76_msafree5.vout
2021-07-25 20:01
4.7K
msafree5__t77_msafree5
2021-07-17 20:07
95K
msafree5__t77_msafree5.vout
2021-07-25 15:54
4.7K
msafree5__t78_msafree5
2021-07-17 20:08
94K
msafree5__t78_msafree5.vout
2021-07-25 16:15
4.8K
msafree5__t79_msafree5
2021-07-17 20:09
100K
msafree5__t79_msafree5.vout
2021-07-25 19:27
7.3K
msafree5__t80_msafree5
2021-07-17 20:10
95K
msafree5__t80_msafree5.vout
2021-07-25 14:58
4.7K
msafree5__t81_msafree5
2021-07-17 20:11
105K
msafree5__t81_msafree5.vout
2021-07-25 19:25
4.7K
msafree5__t82_msafree5
2021-07-17 20:12
131K
msafree5__t82_msafree5.vout
2021-07-25 17:52
3.7K
msafree5__t83_msafree5
2021-07-17 20:13
118K
msafree5__t83_msafree5.vout
2021-07-25 15:45
4.7K
msafree5__t84_msafree5
2021-07-17 20:14
99K
msafree5__t84_msafree5.vout
2021-07-25 15:47
4.7K
msafree5__t85_msafree5
2021-07-17 20:15
103K
msafree5__t85_msafree5.vout
2021-07-25 20:15
4.7K
msafree5__t86_msafree5
2021-07-17 20:16
130K
msafree5__t86_msafree5.vout
2021-07-25 15:16
4.7K
msafree5__t87_msafree5
2021-07-17 20:18
113K
msafree5__t87_msafree5.vout
2021-07-25 16:03
4.7K
msafree5__t88_msafree5
2021-07-17 19:14
89K
msafree5__t88_msafree5.vout
2021-07-25 14:23
4.8K
msafree5__t89_msafree5
2021-07-17 20:19
148K
msafree5__t89_msafree5.vout
2021-07-25 15:08
6.8K
msafree5__t90_msafree5
2021-07-17 20:20
134K
msafree5__t90_msafree5.vout
2021-07-25 19:23
7.3K
msafree5__t91_msafree5
2021-07-17 20:21
100K
msafree5__t91_msafree5.vout
2021-07-25 14:40
4.7K
msafree5__t92_msafree5
2021-07-17 20:22
92K
msafree5__t92_msafree5.vout
2021-07-25 14:50
4.7K
msafree5__t93_msafree5
2021-07-17 20:23
178K
msafree5__t93_msafree5.vout
2021-07-25 20:22
3.7K
msafree5__t94_msafree5
2021-07-17 20:24
102K
msafree5__t94_msafree5.vout
2021-07-25 14:43
4.8K
msafree5__t95_msafree5
2021-07-17 20:25
43K
msafree5__t95_msafree5.depv1
2021-07-25 20:57
121
msafree5__t95_msafree5.depvmin1
2021-07-25 21:03
111
msafree5__t95_msafree5.vmin1
2021-07-25 20:57
1.3K
msafree5__t95_msafree5.vmin1out
2021-07-25 20:59
12K
msafree5__t95_msafree5.vout
2021-07-25 19:08
20K
msafree5__t96_msafree5
2021-07-17 20:26
152K
msafree5__t96_msafree5.vout
2021-07-25 16:48
3.7K
msafree5__t97_msafree5
2021-07-17 20:27
102K
msafree5__t97_msafree5.vout
2021-07-25 17:50
4.8K
msafree5__t98_msafree5
2021-07-17 20:28
101K
msafree5__t98_msafree5.vout
2021-07-25 15:43
4.7K
msafree5__t99_msafree5
2021-07-17 20:29
118K
msafree5__t99_msafree5.vout
2021-07-25 14:46
7.3K
msafree5__t100_msafree5
2021-07-17 20:31
130K
msafree5__t100_msafree5.vout
2021-07-25 18:53
4.7K
msafree5__t101_msafree5
2021-07-17 20:32
145K
msafree5__t101_msafree5.vout
2021-07-25 19:06
4.7K
msafree5__t102_msafree5
2021-07-17 20:33
101K
msafree5__t102_msafree5.vout
2021-07-25 15:04
7.4K
msafree5__t103_msafree5
2021-07-17 20:34
125K
msafree5__t103_msafree5.vout
2021-07-25 18:08
4.8K
msafree5__t104_msafree5
2021-07-17 20:35
104K
msafree5__t104_msafree5.vout
2021-07-25 18:04
3.7K
msafree5__t105_msafree5
2021-07-17 20:36
129K
msafree5__t105_msafree5.vout
2021-07-25 14:49
4.7K
msafree5__t106_msafree5
2021-07-17 20:37
130K
msafree5__t106_msafree5.vout
2021-07-25 18:09
7.4K
msafree5__t107_msafree5
2021-07-17 20:38
102K
msafree5__t107_msafree5.vout
2021-07-25 18:12
4.7K
msafree5__t108_msafree5
2021-07-17 20:39
107K
msafree5__t108_msafree5.vout
2021-07-25 15:44
7.3K
msafree5__t109_msafree5
2021-07-17 20:41
139K
msafree5__t109_msafree5.vout
2021-07-25 15:34
4.8K
msafree5__t110_msafree5
2021-07-17 20:42
190K
msafree5__t110_msafree5.vout
2021-07-25 17:33
6.8K
msafree5__t111_msafree5
2021-07-17 20:43
120K
msafree5__t111_msafree5.vout
2021-07-25 18:51
4.7K
msafree5__t112_msafree5
2021-07-17 20:45
172K
msafree5__t112_msafree5.vout
2021-07-25 15:01
3.7K
msafree5__t113_msafree5
2021-07-17 20:46
122K
msafree5__t113_msafree5.vout
2021-07-25 15:15
4.7K
msafree5__t114_msafree5
2021-07-17 20:47
108K
msafree5__t114_msafree5.vout
2021-07-25 16:39
4.7K
msafree5__t115_msafree5
2021-07-17 20:48
118K
msafree5__t115_msafree5.vout
2021-07-25 14:31
4.7K
msafree5__t116_msafree5
2021-07-17 20:49
107K
msafree5__t116_msafree5.vout
2021-07-25 17:52
4.7K
msafree5__t117_msafree5
2021-07-17 20:50
120K
msafree5__t117_msafree5.vout
2021-07-25 17:44
4.7K
msafree5__t118_msafree5
2021-07-17 20:51
127K
msafree5__t118_msafree5.vout
2021-07-25 20:25
4.7K
msafree5__t119_msafree5
2021-07-17 20:53
168K
msafree5__t119_msafree5.vout
2021-07-25 18:20
6.8K
msafree5__t120_msafree5
2021-07-17 20:54
125K
msafree5__t120_msafree5.vout
2021-07-25 17:03
4.7K
msafree5__t121_msafree5
2021-07-17 20:55
174K
msafree5__t121_msafree5.vout
2021-07-25 14:42
3.7K
msafree5__t122_msafree5
2021-07-17 20:56
93K
msafree5__t122_msafree5.vout
2021-07-25 17:31
7.4K
msafree5__t123_msafree5
2021-07-17 20:57
131K
msafree5__t123_msafree5.vout
2021-07-25 19:34
4.7K
msafree5__t124_msafree5
2021-07-17 20:58
97K
msafree5__t124_msafree5.vout
2021-07-25 15:11
4.7K
msafree5__t125_msafree5
2021-07-17 21:00
177K
msafree5__t125_msafree5.vout
2021-07-25 18:32
7.4K
msafree5__t126_msafree5
2021-07-17 21:01
96K
msafree5__t126_msafree5.vout
2021-07-25 20:17
4.7K
msafree5__t127_msafree5
2021-07-17 21:02
87K
msafree5__t127_msafree5.vout
2021-07-25 18:47
4.7K
msafree5__t128_msafree5
2021-07-17 21:03
106K
msafree5__t128_msafree5.vout
2021-07-25 15:39
4.7K
msafree5__t129_msafree5
2021-07-17 21:04
98K
msafree5__t129_msafree5.vout
2021-07-25 16:12
3.7K
msafree5__t130_msafree5
2021-07-17 21:05
101K
msafree5__t130_msafree5.vout
2021-07-25 20:19
3.7K
msafree5__t131_msafree5
2021-07-17 21:06
164K
msafree5__t131_msafree5.vout
2021-07-25 15:01
6.8K
msafree5__t132_msafree5
2021-07-17 21:08
179K
msafree5__t132_msafree5.vout
2021-07-25 14:37
6.8K
msafree5__t133_msafree5
2021-07-17 21:09
148K
msafree5__t133_msafree5.vout
2021-07-25 16:13
3.7K
msafree5__t134_msafree5
2021-07-17 21:10
142K
msafree5__t134_msafree5.vout
2021-07-25 15:55
3.7K
msafree5__t135_msafree5
2021-07-17 21:11
130K
msafree5__t135_msafree5.vout
2021-07-25 20:30
3.7K
msafree5__t136_msafree5
2021-07-17 21:12
139K
msafree5__t136_msafree5.vout
2021-07-25 17:12
3.7K
msafree5__t137_msafree5
2021-07-17 21:13
88K
msafree5__t137_msafree5.vout
2021-07-25 20:03
3.7K
msafree5__t138_msafree5
2021-07-17 21:14
94K
msafree5__t138_msafree5.vout
2021-07-25 16:50
3.7K
msafree5__t139_msafree5
2021-07-17 21:16
161K
msafree5__t139_msafree5.vout
2021-07-25 20:08
6.8K
msafree5__t140_msafree5
2021-07-17 21:17
147K
msafree5__t140_msafree5.vout
2021-07-25 19:24
7.4K
msafree5__t141_msafree5
2021-07-17 21:18
89K
msafree5__t141_msafree5.vout
2021-07-25 19:20
3.7K
msafree5__t142_msafree5
2021-07-17 21:19
95K
msafree5__t142_msafree5.vout
2021-07-25 16:51
3.7K
msafree5__t143_msafree5
2021-07-17 21:20
167K
msafree5__t143_msafree5.vout
2021-07-25 18:53
3.7K
msafree5__t144_msafree5
2021-07-17 21:37
169K
msafree5__t144_msafree5.vout
2021-07-25 19:33
3.7K
msafree5__t145_msafree5
2021-07-17 21:38
171K
msafree5__t145_msafree5.vout
2021-07-25 14:39
3.7K
msafree5__t146_msafree5
2021-07-17 21:39
140K
msafree5__t146_msafree5.vout
2021-07-25 17:26
3.7K
msafree5__t147_msafree5
2021-07-17 21:22
219K
msafree5__t147_msafree5.vout
2021-07-25 15:58
3.7K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80