Index of /~mptp/mml5.63.1382/MPTP2/problems_small/bvfunc_1
Name
Last modified
Size
Description
Parent Directory
-
bvfunc_1__t65_bvfunc_1.depvmin1
2021-07-25 21:03
188
bvfunc_1__t20_bvfunc_1.depvmin1
2021-07-25 21:03
157
bvfunc_1__t63_bvfunc_1.depvmin1
2021-07-25 21:03
93
bvfunc_1__t53_bvfunc_1.depvmin1
2021-07-25 21:03
66
bvfunc_1__t47_bvfunc_1.depvmin1
2021-07-25 21:03
223
bvfunc_1__t54_bvfunc_1.depvmin1
2021-07-25 21:03
263
bvfunc_1__t50_bvfunc_1.depvmin1
2021-07-25 21:03
311
bvfunc_1__t3_bvfunc_1.depvmin1
2021-07-25 21:03
60
bvfunc_1__t70_bvfunc_1.depvmin1
2021-07-25 21:03
298
bvfunc_1__t62_bvfunc_1.depvmin1
2021-07-25 21:03
25
bvfunc_1__t59_bvfunc_1.depvmin1
2021-07-25 21:03
26
bvfunc_1__t52_bvfunc_1.depvmin1
2021-07-25 21:03
77
bvfunc_1__t46_bvfunc_1.depvmin1
2021-07-25 21:03
65
bvfunc_1__t45_bvfunc_1.depvmin1
2021-07-25 21:03
76
bvfunc_1__t43_bvfunc_1.depvmin1
2021-07-25 21:03
134
bvfunc_1__t60_bvfunc_1.depvmin1
2021-07-25 21:03
91
bvfunc_1__t22_bvfunc_1.depvmin1
2021-07-25 21:03
216
bvfunc_1__t7_bvfunc_1.depvmin1
2021-07-25 21:03
60
bvfunc_1__t58_bvfunc_1.depvmin1
2021-07-25 21:03
91
bvfunc_1__t44_bvfunc_1.depvmin1
2021-07-25 21:03
256
bvfunc_1__t60_bvfunc_1.vmin1out
2021-07-25 21:02
6.6K
bvfunc_1__t45_bvfunc_1.vmin1out
2021-07-25 21:02
5.8K
bvfunc_1__t22_bvfunc_1.vmin1out
2021-07-25 21:02
77K
bvfunc_1__t65_bvfunc_1.vmin1out
2021-07-25 21:02
15K
bvfunc_1__t7_bvfunc_1.vmin1out
2021-07-25 21:02
12K
bvfunc_1__t47_bvfunc_1.vmin1out
2021-07-25 21:02
8.1K
bvfunc_1__t59_bvfunc_1.vmin1out
2021-07-25 21:02
3.0K
bvfunc_1__t3_bvfunc_1.vmin1out
2021-07-25 21:01
13K
bvfunc_1__t53_bvfunc_1.vmin1out
2021-07-25 21:01
4.6K
bvfunc_1__t62_bvfunc_1.vmin1out
2021-07-25 21:01
3.2K
bvfunc_1__t46_bvfunc_1.vmin1out
2021-07-25 21:00
4.6K
bvfunc_1__t50_bvfunc_1.vmin1out
2021-07-25 21:00
14K
bvfunc_1__t63_bvfunc_1.vmin1out
2021-07-25 20:59
6.1K
bvfunc_1__t54_bvfunc_1.vmin1out
2021-07-25 20:59
10K
bvfunc_1__t44_bvfunc_1.vmin1out
2021-07-25 20:59
11K
bvfunc_1__t20_bvfunc_1.vmin1out
2021-07-25 20:59
41K
bvfunc_1__t52_bvfunc_1.vmin1out
2021-07-25 20:58
5.8K
bvfunc_1__t43_bvfunc_1.vmin1out
2021-07-25 20:58
6.6K
bvfunc_1__t58_bvfunc_1.vmin1out
2021-07-25 20:58
6.2K
bvfunc_1__t70_bvfunc_1.vmin1out
2021-07-25 20:57
25K
bvfunc_1__t70_bvfunc_1.vmin1
2021-07-25 20:57
1.8K
bvfunc_1__t65_bvfunc_1.vmin1
2021-07-25 20:57
1.2K
bvfunc_1__t63_bvfunc_1.vmin1
2021-07-25 20:57
635
bvfunc_1__t62_bvfunc_1.vmin1
2021-07-25 20:57
330
bvfunc_1__t60_bvfunc_1.vmin1
2021-07-25 20:57
560
bvfunc_1__t59_bvfunc_1.vmin1
2021-07-25 20:57
295
bvfunc_1__t58_bvfunc_1.vmin1
2021-07-25 20:57
508
bvfunc_1__t54_bvfunc_1.vmin1
2021-07-25 20:57
1.3K
bvfunc_1__t53_bvfunc_1.vmin1
2021-07-25 20:57
514
bvfunc_1__t52_bvfunc_1.vmin1
2021-07-25 20:57
503
bvfunc_1__t50_bvfunc_1.vmin1
2021-07-25 20:57
2.2K
bvfunc_1__t47_bvfunc_1.vmin1
2021-07-25 20:57
1.0K
bvfunc_1__t46_bvfunc_1.vmin1
2021-07-25 20:57
513
bvfunc_1__t45_bvfunc_1.vmin1
2021-07-25 20:57
502
bvfunc_1__t44_bvfunc_1.vmin1
2021-07-25 20:57
1.4K
bvfunc_1__t43_bvfunc_1.vmin1
2021-07-25 20:57
839
bvfunc_1__t22_bvfunc_1.vmin1
2021-07-25 20:57
4.0K
bvfunc_1__t20_bvfunc_1.vmin1
2021-07-25 20:57
4.0K
bvfunc_1__t7_bvfunc_1.vmin1
2021-07-25 20:57
893
bvfunc_1__t3_bvfunc_1.vmin1
2021-07-25 20:57
1.0K
bvfunc_1__t65_bvfunc_1.depv1
2021-07-25 20:57
188
bvfunc_1__t53_bvfunc_1.depv1
2021-07-25 20:57
66
bvfunc_1__t47_bvfunc_1.depv1
2021-07-25 20:57
223
bvfunc_1__t20_bvfunc_1.depv1
2021-07-25 20:57
258
bvfunc_1__t63_bvfunc_1.depv1
2021-07-25 20:57
93
bvfunc_1__t50_bvfunc_1.depv1
2021-07-25 20:57
388
bvfunc_1__t3_bvfunc_1.depv1
2021-07-25 20:57
60
bvfunc_1__t70_bvfunc_1.depv1
2021-07-25 20:57
298
bvfunc_1__t59_bvfunc_1.depv1
2021-07-25 20:57
26
bvfunc_1__t54_bvfunc_1.depv1
2021-07-25 20:57
297
bvfunc_1__t62_bvfunc_1.depv1
2021-07-25 20:57
25
bvfunc_1__t52_bvfunc_1.depv1
2021-07-25 20:57
77
bvfunc_1__t45_bvfunc_1.depv1
2021-07-25 20:57
76
bvfunc_1__t43_bvfunc_1.depv1
2021-07-25 20:57
134
bvfunc_1__t60_bvfunc_1.depv1
2021-07-25 20:57
103
bvfunc_1__t46_bvfunc_1.depv1
2021-07-25 20:57
65
bvfunc_1__t22_bvfunc_1.depv1
2021-07-25 20:57
287
bvfunc_1__t58_bvfunc_1.depv1
2021-07-25 20:57
103
bvfunc_1__t44_bvfunc_1.depv1
2021-07-25 20:57
256
bvfunc_1__t7_bvfunc_1.depv1
2021-07-25 20:57
60
bvfunc_1__t30_bvfunc_1.vout
2021-07-25 20:54
6.8K
bvfunc_1__t57_bvfunc_1.vout
2021-07-25 20:49
2.0K
bvfunc_1__t36_bvfunc_1.vout
2021-07-25 20:43
4.7K
bvfunc_1__t39_bvfunc_1.vout
2021-07-25 20:23
4.7K
bvfunc_1__t7_bvfunc_1.vout
2021-07-25 20:19
7.3K
bvfunc_1__t31_bvfunc_1.vout
2021-07-25 20:08
6.8K
bvfunc_1__t35_bvfunc_1.vout
2021-07-25 20:07
4.7K
bvfunc_1__t11_bvfunc_1.vout
2021-07-25 20:05
4.7K
bvfunc_1__t59_bvfunc_1.vout
2021-07-25 20:04
3.1K
bvfunc_1__t13_bvfunc_1.vout
2021-07-25 19:58
4.7K
bvfunc_1__t60_bvfunc_1.vout
2021-07-25 19:54
4.7K
bvfunc_1__t55_bvfunc_1.vout
2021-07-25 19:52
2.0K
bvfunc_1__t70_bvfunc_1.vout
2021-07-25 19:50
26K
bvfunc_1__t24_bvfunc_1.vout
2021-07-25 19:42
4.7K
bvfunc_1__t23_bvfunc_1.vout
2021-07-25 19:38
4.7K
bvfunc_1__t20_bvfunc_1.vout
2021-07-25 19:21
82K
bvfunc_1__t8_bvfunc_1.vout
2021-07-25 19:03
4.7K
bvfunc_1__t46_bvfunc_1.vout
2021-07-25 19:02
4.7K
bvfunc_1__t41_bvfunc_1.vout
2021-07-25 19:01
7.3K
bvfunc_1__t10_bvfunc_1.vout
2021-07-25 18:54
4.7K
bvfunc_1__t58_bvfunc_1.vout
2021-07-25 18:48
4.3K
bvfunc_1__t29_bvfunc_1.vout
2021-07-25 18:47
4.7K
bvfunc_1__t4_bvfunc_1.vout
2021-07-25 18:45
4.7K
bvfunc_1__t18_bvfunc_1.vout
2021-07-25 18:33
4.7K
bvfunc_1__t54_bvfunc_1.vout
2021-07-25 18:30
11K
bvfunc_1__t28_bvfunc_1.vout
2021-07-25 18:25
7.3K
bvfunc_1__t15_bvfunc_1.vout
2021-07-25 18:12
4.7K
bvfunc_1__t69_bvfunc_1.vout
2021-07-25 18:06
2.0K
bvfunc_1__t47_bvfunc_1.vout
2021-07-25 18:05
8.3K
bvfunc_1__t25_bvfunc_1.vout
2021-07-25 18:02
4.7K
bvfunc_1__t49_bvfunc_1.vout
2021-07-25 17:55
2.0K
bvfunc_1__t53_bvfunc_1.vout
2021-07-25 17:55
4.7K
bvfunc_1__t2_bvfunc_1.vout
2021-07-25 17:55
4.7K
bvfunc_1__t51_bvfunc_1.vout
2021-07-25 17:51
2.0K
bvfunc_1__t34_bvfunc_1.vout
2021-07-25 17:50
4.7K
bvfunc_1__t9_bvfunc_1.vout
2021-07-25 17:49
4.7K
bvfunc_1__t21_bvfunc_1.vout
2021-07-25 17:47
4.7K
bvfunc_1__t63_bvfunc_1.vout
2021-07-25 17:45
6.4K
bvfunc_1__t50_bvfunc_1.vout
2021-07-25 17:45
39K
bvfunc_1__t62_bvfunc_1.vout
2021-07-25 17:42
3.4K
bvfunc_1__t66_bvfunc_1.vout
2021-07-25 17:41
2.0K
bvfunc_1__t19_bvfunc_1.vout
2021-07-25 17:36
4.7K
bvfunc_1__t61_bvfunc_1.vout
2021-07-25 17:29
2.0K
bvfunc_1__t37_bvfunc_1.vout
2021-07-25 17:13
7.4K
bvfunc_1__t40_bvfunc_1.vout
2021-07-25 16:57
4.7K
bvfunc_1__t14_bvfunc_1.vout
2021-07-25 16:44
4.7K
bvfunc_1__t43_bvfunc_1.vout
2021-07-25 16:26
6.6K
bvfunc_1__t12_bvfunc_1.vout
2021-07-25 16:14
4.7K
bvfunc_1__t42_bvfunc_1.vout
2021-07-25 16:06
3.7K
bvfunc_1__t32_bvfunc_1.vout
2021-07-25 15:56
4.7K
bvfunc_1__t6_bvfunc_1.vout
2021-07-25 15:42
4.7K
bvfunc_1__t3_bvfunc_1.vout
2021-07-25 15:39
8.8K
bvfunc_1__t33_bvfunc_1.vout
2021-07-25 15:38
4.7K
bvfunc_1__t26_bvfunc_1.vout
2021-07-25 15:38
4.7K
bvfunc_1__t44_bvfunc_1.vout
2021-07-25 15:33
11K
bvfunc_1__t38_bvfunc_1.vout
2021-07-25 15:29
7.3K
bvfunc_1__t17_bvfunc_1.vout
2021-07-25 15:28
4.8K
bvfunc_1__t68_bvfunc_1.vout
2021-07-25 15:22
2.0K
bvfunc_1__t22_bvfunc_1.vout
2021-07-25 15:21
57K
bvfunc_1__t67_bvfunc_1.vout
2021-07-25 15:10
2.0K
bvfunc_1__t45_bvfunc_1.vout
2021-07-25 15:08
4.8K
bvfunc_1__t52_bvfunc_1.vout
2021-07-25 15:07
4.8K
bvfunc_1__t65_bvfunc_1.vout
2021-07-25 14:59
16K
bvfunc_1__t64_bvfunc_1.vout
2021-07-25 14:46
2.0K
bvfunc_1__t5_bvfunc_1.vout
2021-07-25 14:41
4.7K
bvfunc_1__t27_bvfunc_1.vout
2021-07-25 14:40
4.7K
bvfunc_1__t48_bvfunc_1.vout
2021-07-25 14:35
2.0K
bvfunc_1__t56_bvfunc_1.vout
2021-07-25 14:27
2.0K
bvfunc_1__t16_bvfunc_1.vout
2021-07-25 14:23
4.7K
bvfunc_1__t42_bvfunc_1
2021-07-18 01:41
14K
bvfunc_1__t41_bvfunc_1
2021-07-18 01:41
13K
bvfunc_1__t40_bvfunc_1
2021-07-18 01:40
34K
bvfunc_1__t39_bvfunc_1
2021-07-18 01:40
24K
bvfunc_1__t38_bvfunc_1
2021-07-18 01:40
14K
bvfunc_1__t37_bvfunc_1
2021-07-18 01:39
14K
bvfunc_1__t36_bvfunc_1
2021-07-18 01:39
16K
bvfunc_1__t35_bvfunc_1
2021-07-18 01:39
16K
bvfunc_1__t34_bvfunc_1
2021-07-18 01:38
22K
bvfunc_1__t33_bvfunc_1
2021-07-18 01:38
34K
bvfunc_1__t32_bvfunc_1
2021-07-18 01:38
34K
bvfunc_1__t31_bvfunc_1
2021-07-18 01:37
13K
bvfunc_1__t30_bvfunc_1
2021-07-18 01:37
13K
bvfunc_1__t29_bvfunc_1
2021-07-18 01:37
13K
bvfunc_1__t28_bvfunc_1
2021-07-18 01:36
9.7K
bvfunc_1__t27_bvfunc_1
2021-07-18 01:36
36K
bvfunc_1__t26_bvfunc_1
2021-07-18 01:36
36K
bvfunc_1__t25_bvfunc_1
2021-07-18 01:35
35K
bvfunc_1__t24_bvfunc_1
2021-07-18 01:35
41K
bvfunc_1__t23_bvfunc_1
2021-07-18 01:34
39K
bvfunc_1__t22_bvfunc_1
2021-07-18 01:34
13K
bvfunc_1__t21_bvfunc_1
2021-07-18 01:33
12K
bvfunc_1__t20_bvfunc_1
2021-07-18 01:33
12K
bvfunc_1__t19_bvfunc_1
2021-07-18 01:33
25K
bvfunc_1__t18_bvfunc_1
2021-07-18 01:32
26K
bvfunc_1__t17_bvfunc_1
2021-07-18 01:32
64K
bvfunc_1__t16_bvfunc_1
2021-07-18 01:31
25K
bvfunc_1__t15_bvfunc_1
2021-07-18 01:31
11K
bvfunc_1__t14_bvfunc_1
2021-07-18 01:31
31K
bvfunc_1__t13_bvfunc_1
2021-07-18 01:30
38K
bvfunc_1__t12_bvfunc_1
2021-07-18 01:30
36K
bvfunc_1__t11_bvfunc_1
2021-07-18 01:30
36K
bvfunc_1__t10_bvfunc_1
2021-07-18 01:29
24K
bvfunc_1__t9_bvfunc_1
2021-07-18 01:29
24K
bvfunc_1__t8_bvfunc_1
2021-07-18 01:29
24K
bvfunc_1__t6_bvfunc_1
2021-07-18 01:28
20K
bvfunc_1__t5_bvfunc_1
2021-07-18 01:28
20K
bvfunc_1__t4_bvfunc_1
2021-07-18 01:28
20K
bvfunc_1__t2_bvfunc_1
2021-07-18 01:27
21K
bvfunc_1__t70_bvfunc_1
2021-07-18 01:27
14K
bvfunc_1__t69_bvfunc_1
2021-07-18 01:27
21K
bvfunc_1__t68_bvfunc_1
2021-07-18 01:26
21K
bvfunc_1__t67_bvfunc_1
2021-07-18 01:26
14K
bvfunc_1__t66_bvfunc_1
2021-07-18 01:26
14K
bvfunc_1__t65_bvfunc_1
2021-07-18 01:26
14K
bvfunc_1__t64_bvfunc_1
2021-07-18 01:25
51K
bvfunc_1__t63_bvfunc_1
2021-07-18 01:25
13K
bvfunc_1__t62_bvfunc_1
2021-07-18 01:25
51K
bvfunc_1__t61_bvfunc_1
2021-07-18 01:25
27K
bvfunc_1__t60_bvfunc_1
2021-07-18 01:24
23K
bvfunc_1__t59_bvfunc_1
2021-07-18 01:24
18K
bvfunc_1__t58_bvfunc_1
2021-07-18 01:24
23K
bvfunc_1__t57_bvfunc_1
2021-07-18 01:23
22K
bvfunc_1__t56_bvfunc_1
2021-07-18 01:23
22K
bvfunc_1__t55_bvfunc_1
2021-07-18 01:23
20K
bvfunc_1__t54_bvfunc_1
2021-07-18 01:23
22K
bvfunc_1__t53_bvfunc_1
2021-07-18 01:22
14K
bvfunc_1__t52_bvfunc_1
2021-07-18 01:22
20K
bvfunc_1__t51_bvfunc_1
2021-07-18 01:22
15K
bvfunc_1__t50_bvfunc_1
2021-07-18 01:22
15K
bvfunc_1__t49_bvfunc_1
2021-07-18 01:21
15K
bvfunc_1__t48_bvfunc_1
2021-07-18 01:21
15K
bvfunc_1__t47_bvfunc_1
2021-07-18 01:21
14K
bvfunc_1__t46_bvfunc_1
2021-07-18 01:21
13K
bvfunc_1__t45_bvfunc_1
2021-07-18 01:20
20K
bvfunc_1__t44_bvfunc_1
2021-07-18 01:20
11K
bvfunc_1__t43_bvfunc_1
2021-07-18 01:20
10K
bvfunc_1__t7_bvfunc_1
2021-07-18 01:20
10K
bvfunc_1__t3_bvfunc_1
2021-07-18 01:20
11K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80