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