Index of /~mptp/mml5.63.1382/MPTP2/problems_small/prob_3
Name
Last modified
Size
Description
Parent Directory
-
prob_3__t34_prob_3.depvmin1
2021-07-25 21:03
181
prob_3__t33_prob_3.depvmin1
2021-07-25 21:03
168
prob_3__t23_prob_3.depvmin1
2021-07-25 21:03
156
prob_3__t35_prob_3.depvmin1
2021-07-25 21:03
47
prob_3__t30_prob_3.depvmin1
2021-07-25 21:03
47
prob_3__t27_prob_3.depvmin1
2021-07-25 21:03
22
prob_3__t73_prob_3.depvmin1
2021-07-25 21:03
105
prob_3__t17_prob_3.depvmin1
2021-07-25 21:03
57
prob_3__t1_prob_3.depvmin1
2021-07-25 21:03
214
prob_3__t50_prob_3.depvmin1
2021-07-25 21:03
179
prob_3__t47_prob_3.depvmin1
2021-07-25 21:03
316
prob_3__t28_prob_3.depvmin1
2021-07-25 21:03
22
prob_3__t69_prob_3.depvmin1
2021-07-25 21:03
80
prob_3__t38_prob_3.depvmin1
2021-07-25 21:03
56
prob_3__t24_prob_3.depvmin1
2021-07-25 21:03
156
prob_3__t52_prob_3.depvmin1
2021-07-25 21:03
324
prob_3__t48_prob_3.depvmin1
2021-07-25 21:03
159
prob_3__t18_prob_3.depvmin1
2021-07-25 21:03
153
prob_3__t62_prob_3.depvmin1
2021-07-25 21:03
202
prob_3__t46_prob_3.depvmin1
2021-07-25 21:03
108
prob_3__t37_prob_3.depvmin1
2021-07-25 21:03
56
prob_3__t29_prob_3.depvmin1
2021-07-25 21:03
47
prob_3__t61_prob_3.depvmin1
2021-07-25 21:03
266
prob_3__t36_prob_3.depvmin1
2021-07-25 21:03
47
prob_3__t20_prob_3.depvmin1
2021-07-25 21:03
133
prob_3__t71_prob_3.depvmin1
2021-07-25 21:03
62
prob_3__t53_prob_3.depvmin1
2021-07-25 21:03
247
prob_3__t29_prob_3.vmin1out
2021-07-25 21:02
8.8K
prob_3__t36_prob_3.vmin1out
2021-07-25 21:02
8.9K
prob_3__t35_prob_3.vmin1out
2021-07-25 21:02
9.9K
prob_3__t53_prob_3.vmin1out
2021-07-25 21:02
41K
prob_3__t24_prob_3.vmin1out
2021-07-25 21:01
31K
prob_3__t33_prob_3.vmin1out
2021-07-25 21:01
32K
prob_3__t61_prob_3.vmin1out
2021-07-25 21:01
50K
prob_3__t27_prob_3.vmin1out
2021-07-25 21:01
7.0K
prob_3__t48_prob_3.vmin1out
2021-07-25 21:01
9.5K
prob_3__t1_prob_3.vmin1out
2021-07-25 21:00
18K
prob_3__t47_prob_3.vmin1out
2021-07-25 21:00
26K
prob_3__t37_prob_3.vmin1out
2021-07-25 21:00
20K
prob_3__t18_prob_3.vmin1out
2021-07-25 21:00
31K
prob_3__t73_prob_3.vmin1out
2021-07-25 21:00
29K
prob_3__t34_prob_3.vmin1out
2021-07-25 21:00
41K
prob_3__t38_prob_3.vmin1out
2021-07-25 21:00
20K
prob_3__t23_prob_3.vmin1out
2021-07-25 20:59
31K
prob_3__t46_prob_3.vmin1out
2021-07-25 20:59
47K
prob_3__t62_prob_3.vmin1out
2021-07-25 20:59
23K
prob_3__t52_prob_3.vmin1out
2021-07-25 20:58
45K
prob_3__t17_prob_3.vmin1out
2021-07-25 20:58
16K
prob_3__t50_prob_3.vmin1out
2021-07-25 20:58
24K
prob_3__t71_prob_3.vmin1out
2021-07-25 20:58
4.2K
prob_3__t30_prob_3.vmin1out
2021-07-25 20:58
8.9K
prob_3__t69_prob_3.vmin1out
2021-07-25 20:57
60K
prob_3__t28_prob_3.vmin1out
2021-07-25 20:57
7.0K
prob_3__t20_prob_3.vmin1out
2021-07-25 20:57
36K
prob_3__t73_prob_3.vmin1
2021-07-25 20:57
2.7K
prob_3__t71_prob_3.vmin1
2021-07-25 20:57
477
prob_3__t69_prob_3.vmin1
2021-07-25 20:57
1.6K
prob_3__t62_prob_3.vmin1
2021-07-25 20:57
2.6K
prob_3__t61_prob_3.vmin1
2021-07-25 20:57
3.9K
prob_3__t53_prob_3.vmin1
2021-07-25 20:57
2.4K
prob_3__t52_prob_3.vmin1
2021-07-25 20:57
3.2K
prob_3__t50_prob_3.vmin1
2021-07-25 20:57
1.7K
prob_3__t48_prob_3.vmin1
2021-07-25 20:57
1.2K
prob_3__t47_prob_3.vmin1
2021-07-25 20:57
2.6K
prob_3__t46_prob_3.vmin1
2021-07-25 20:57
3.3K
prob_3__t38_prob_3.vmin1
2021-07-25 20:57
3.2K
prob_3__t37_prob_3.vmin1
2021-07-25 20:57
3.2K
prob_3__t36_prob_3.vmin1
2021-07-25 20:57
733
prob_3__t35_prob_3.vmin1
2021-07-25 20:57
809
prob_3__t34_prob_3.vmin1
2021-07-25 20:57
3.3K
prob_3__t33_prob_3.vmin1
2021-07-25 20:57
2.8K
prob_3__t30_prob_3.vmin1
2021-07-25 20:57
733
prob_3__t29_prob_3.vmin1
2021-07-25 20:57
725
prob_3__t28_prob_3.vmin1
2021-07-25 20:57
606
prob_3__t27_prob_3.vmin1
2021-07-25 20:57
606
prob_3__t24_prob_3.vmin1
2021-07-25 20:57
2.5K
prob_3__t23_prob_3.vmin1
2021-07-25 20:57
2.5K
prob_3__t20_prob_3.vmin1
2021-07-25 20:57
2.1K
prob_3__t18_prob_3.vmin1
2021-07-25 20:57
2.0K
prob_3__t17_prob_3.vmin1
2021-07-25 20:57
1.0K
prob_3__t1_prob_3.vmin1
2021-07-25 20:57
1.6K
prob_3__t23_prob_3.depv1
2021-07-25 20:57
156
prob_3__t34_prob_3.depv1
2021-07-25 20:57
181
prob_3__t33_prob_3.depv1
2021-07-25 20:57
168
prob_3__t30_prob_3.depv1
2021-07-25 20:57
47
prob_3__t27_prob_3.depv1
2021-07-25 20:57
22
prob_3__t35_prob_3.depv1
2021-07-25 20:57
47
prob_3__t17_prob_3.depv1
2021-07-25 20:57
57
prob_3__t1_prob_3.depv1
2021-07-25 20:57
214
prob_3__t73_prob_3.depv1
2021-07-25 20:57
105
prob_3__t50_prob_3.depv1
2021-07-25 20:57
179
prob_3__t47_prob_3.depv1
2021-07-25 20:57
341
prob_3__t69_prob_3.depv1
2021-07-25 20:57
80
prob_3__t28_prob_3.depv1
2021-07-25 20:57
22
prob_3__t24_prob_3.depv1
2021-07-25 20:57
156
prob_3__t52_prob_3.depv1
2021-07-25 20:57
370
prob_3__t38_prob_3.depv1
2021-07-25 20:57
154
prob_3__t18_prob_3.depv1
2021-07-25 20:57
153
prob_3__t62_prob_3.depv1
2021-07-25 20:57
202
prob_3__t48_prob_3.depv1
2021-07-25 20:57
159
prob_3__t37_prob_3.depv1
2021-07-25 20:57
154
prob_3__t29_prob_3.depv1
2021-07-25 20:57
47
prob_3__t61_prob_3.depv1
2021-07-25 20:57
319
prob_3__t46_prob_3.depv1
2021-07-25 20:57
145
prob_3__t20_prob_3.depv1
2021-07-25 20:57
133
prob_3__t71_prob_3.depv1
2021-07-25 20:57
62
prob_3__t53_prob_3.depv1
2021-07-25 20:57
272
prob_3__t36_prob_3.depv1
2021-07-25 20:57
47
prob_3__t32_prob_3.vout
2021-07-25 20:55
2.0K
prob_3__t46_prob_3.vout
2021-07-25 20:52
47K
prob_3__t58_prob_3.vout
2021-07-25 20:36
6.8K
prob_3__t15_prob_3.vout
2021-07-25 20:36
7.3K
prob_3__t13_prob_3.vout
2021-07-25 20:23
6.8K
prob_3__t57_prob_3.vout
2021-07-25 20:17
2.0K
prob_3__t51_prob_3.vout
2021-07-25 20:16
7.3K
prob_3__t44_prob_3.vout
2021-07-25 20:15
4.7K
prob_3__t21_prob_3.vout
2021-07-25 20:09
4.7K
prob_3__t55_prob_3.vout
2021-07-25 20:02
7.3K
prob_3__t18_prob_3.vout
2021-07-25 19:53
26K
prob_3__t31_prob_3.vout
2021-07-25 19:53
4.7K
prob_3__t27_prob_3.vout
2021-07-25 19:49
6.1K
prob_3__t1_prob_3.vout
2021-07-25 19:35
15K
prob_3__t23_prob_3.vout
2021-07-25 19:30
45K
prob_3__t59_prob_3.vout
2021-07-25 19:28
6.8K
prob_3__t29_prob_3.vout
2021-07-25 19:26
7.4K
prob_3__t17_prob_3.vout
2021-07-25 19:09
17K
prob_3__t49_prob_3.vout
2021-07-25 19:08
7.3K
prob_3__t62_prob_3.vout
2021-07-25 18:53
24K
prob_3__t5_prob_3.vout
2021-07-25 18:51
6.8K
prob_3__t71_prob_3.vout
2021-07-25 18:47
3.8K
prob_3__t68_prob_3.vout
2021-07-25 18:38
3.1K
prob_3__t43_prob_3.vout
2021-07-25 18:31
6.8K
prob_3__t42_prob_3.vout
2021-07-25 18:28
6.8K
prob_3__t4_prob_3.vout
2021-07-25 18:17
2.0K
prob_3__t8_prob_3.vout
2021-07-25 18:02
7.8K
prob_3__t70_prob_3.vout
2021-07-25 18:01
7.3K
prob_3__t7_prob_3.vout
2021-07-25 17:54
7.3K
prob_3__t38_prob_3.vout
2021-07-25 17:52
43K
prob_3__t26_prob_3.vout
2021-07-25 17:52
2.0K
prob_3__t19_prob_3.vout
2021-07-25 17:46
4.7K
prob_3__t45_prob_3.vout
2021-07-25 17:33
4.7K
prob_3__t61_prob_3.vout
2021-07-25 17:31
52K
prob_3__t28_prob_3.vout
2021-07-25 17:23
6.1K
prob_3__t2_prob_3.vout
2021-07-25 17:20
8.3K
prob_3__t34_prob_3.vout
2021-07-25 17:20
49K
prob_3__t72_prob_3.vout
2021-07-25 17:18
3.6K
prob_3__t73_prob_3.vout
2021-07-25 17:17
46K
prob_3__t52_prob_3.vout
2021-07-25 17:14
54K
prob_3__t11_prob_3.vout
2021-07-25 17:13
7.8K
prob_3__t60_prob_3.vout
2021-07-25 17:10
6.8K
prob_3__t64_prob_3.vout
2021-07-25 17:08
7.3K
prob_3__t36_prob_3.vout
2021-07-25 17:07
7.4K
prob_3__t48_prob_3.vout
2021-07-25 17:06
9.4K
prob_3__t9_prob_3.vout
2021-07-25 16:52
7.8K
prob_3__t22_prob_3.vout
2021-07-25 16:19
4.7K
prob_3__t20_prob_3.vout
2021-07-25 16:14
35K
prob_3__t41_prob_3.vout
2021-07-25 16:08
2.0K
prob_3__t14_prob_3.vout
2021-07-25 16:06
7.3K
prob_3__t3_prob_3.vout
2021-07-25 16:03
7.3K
prob_3__t16_prob_3.vout
2021-07-25 16:02
7.3K
prob_3__t12_prob_3.vout
2021-07-25 15:59
6.8K
prob_3__t63_prob_3.vout
2021-07-25 15:55
7.3K
prob_3__t56_prob_3.vout
2021-07-25 15:48
6.8K
prob_3__t24_prob_3.vout
2021-07-25 15:48
45K
prob_3__t66_prob_3.vout
2021-07-25 15:44
8.3K
prob_3__t67_prob_3.vout
2021-07-25 15:44
8.3K
prob_3__t47_prob_3.vout
2021-07-25 15:38
28K
prob_3__t30_prob_3.vout
2021-07-25 15:38
7.4K
prob_3__t37_prob_3.vout
2021-07-25 15:34
43K
prob_3__t40_prob_3.vout
2021-07-25 15:23
6.8K
prob_3__t65_prob_3.vout
2021-07-25 15:21
6.8K
prob_3__t25_prob_3.vout
2021-07-25 15:18
2.0K
prob_3__t39_prob_3.vout
2021-07-25 15:18
2.0K
prob_3__t10_prob_3.vout
2021-07-25 15:05
7.8K
prob_3__t69_prob_3.vout
2021-07-25 14:59
55K
prob_3__t53_prob_3.vout
2021-07-25 14:55
39K
prob_3__t50_prob_3.vout
2021-07-25 14:53
24K
prob_3__t54_prob_3.vout
2021-07-25 14:40
7.8K
prob_3__t33_prob_3.vout
2021-07-25 14:39
46K
prob_3__l1_prob_3.vout
2021-07-25 14:25
2.0K
prob_3__t6_prob_3.vout
2021-07-25 14:23
7.3K
prob_3__t35_prob_3.vout
2021-07-25 14:23
7.6K
prob_3__l1_prob_3
2021-07-17 19:43
14K
prob_3__t73_prob_3
2021-07-17 19:43
13K
prob_3__t72_prob_3
2021-07-17 19:43
38K
prob_3__t70_prob_3
2021-07-17 19:42
32K
prob_3__t69_prob_3
2021-07-17 19:41
20K
prob_3__t67_prob_3
2021-07-17 19:41
19K
prob_3__t66_prob_3
2021-07-17 19:41
19K
prob_3__t65_prob_3
2021-07-17 19:40
44K
prob_3__t64_prob_3
2021-07-17 19:40
68K
prob_3__t63_prob_3
2021-07-17 19:39
25K
prob_3__t62_prob_3
2021-07-17 19:38
24K
prob_3__t61_prob_3
2021-07-17 19:38
26K
prob_3__t60_prob_3
2021-07-17 19:37
28K
prob_3__t59_prob_3
2021-07-17 19:37
27K
prob_3__t58_prob_3
2021-07-17 19:37
19K
prob_3__t57_prob_3
2021-07-17 19:36
27K
prob_3__t56_prob_3
2021-07-17 19:36
25K
prob_3__t55_prob_3
2021-07-17 19:35
26K
prob_3__t54_prob_3
2021-07-17 19:35
23K
prob_3__t53_prob_3
2021-07-17 19:34
20K
prob_3__t52_prob_3
2021-07-17 19:34
19K
prob_3__t51_prob_3
2021-07-17 19:33
22K
prob_3__t50_prob_3
2021-07-17 19:33
17K
prob_3__t49_prob_3
2021-07-17 19:32
20K
prob_3__t47_prob_3
2021-07-17 19:32
23K
prob_3__t46_prob_3
2021-07-17 19:31
27K
prob_3__t45_prob_3
2021-07-17 19:31
30K
prob_3__t43_prob_3
2021-07-17 19:31
58K
prob_3__t42_prob_3
2021-07-17 19:30
23K
prob_3__t41_prob_3
2021-07-17 19:30
38K
prob_3__t40_prob_3
2021-07-17 19:29
35K
prob_3__t39_prob_3
2021-07-17 19:29
28K
prob_3__t38_prob_3
2021-07-17 19:28
24K
prob_3__t37_prob_3
2021-07-17 19:28
24K
prob_3__t32_prob_3
2021-07-17 19:27
21K
prob_3__t26_prob_3
2021-07-17 19:27
20K
prob_3__t25_prob_3
2021-07-17 19:27
20K
prob_3__t20_prob_3
2021-07-17 19:26
19K
prob_3__t19_prob_3
2021-07-17 19:26
28K
prob_3__t18_prob_3
2021-07-17 19:25
19K
prob_3__t16_prob_3
2021-07-17 19:25
30K
prob_3__t15_prob_3
2021-07-17 19:24
22K
prob_3__t14_prob_3
2021-07-17 19:24
21K
prob_3__t13_prob_3
2021-07-17 19:24
28K
prob_3__t12_prob_3
2021-07-17 19:23
28K
prob_3__t11_prob_3
2021-07-17 19:23
24K
prob_3__t10_prob_3
2021-07-17 19:22
24K
prob_3__t9_prob_3
2021-07-17 19:22
28K
prob_3__t8_prob_3
2021-07-17 19:21
28K
prob_3__t7_prob_3
2021-07-17 19:21
30K
prob_3__t6_prob_3
2021-07-17 19:21
30K
prob_3__t5_prob_3
2021-07-17 19:20
29K
prob_3__t4_prob_3
2021-07-17 19:20
37K
prob_3__t3_prob_3
2021-07-17 19:19
26K
prob_3__t2_prob_3
2021-07-17 19:19
16K
prob_3__t1_prob_3
2021-07-17 19:18
16K
prob_3__t71_prob_3
2021-07-17 19:18
8.2K
prob_3__t68_prob_3
2021-07-17 19:18
7.9K
prob_3__t48_prob_3
2021-07-17 19:17
16K
prob_3__t44_prob_3
2021-07-17 19:17
27K
prob_3__t36_prob_3
2021-07-17 19:17
17K
prob_3__t35_prob_3
2021-07-17 19:16
20K
prob_3__t34_prob_3
2021-07-17 19:16
20K
prob_3__t33_prob_3
2021-07-17 19:16
19K
prob_3__t31_prob_3
2021-07-17 19:15
26K
prob_3__t30_prob_3
2021-07-17 19:15
17K
prob_3__t29_prob_3
2021-07-17 19:15
16K
prob_3__t28_prob_3
2021-07-17 19:14
16K
prob_3__t27_prob_3
2021-07-17 19:14
16K
prob_3__t24_prob_3
2021-07-17 19:13
19K
prob_3__t23_prob_3
2021-07-17 19:13
19K
prob_3__t22_prob_3
2021-07-17 19:13
26K
prob_3__t21_prob_3
2021-07-17 19:12
26K
prob_3__t17_prob_3
2021-07-17 19:12
20K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80