Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/bvfunc_5
Name
Last modified
Size
Description
Parent Directory
-
bvfunc_5__t1_bvfunc_5
2024-07-27 03:52
11K
bvfunc_5__t1_bvfunc_5.depv1
2024-08-03 10:19
379
bvfunc_5__t1_bvfunc_5.vmin1
2024-08-03 10:19
5.9K
bvfunc_5__t1_bvfunc_5.vmin1out
2024-08-03 10:23
5.8K
bvfunc_5__t1_bvfunc_5.vout
2024-08-03 09:00
117K
bvfunc_5__t2_bvfunc_5
2024-07-27 03:53
8.0K
bvfunc_5__t2_bvfunc_5.vout
2024-08-03 06:08
4.7K
bvfunc_5__t3_bvfunc_5
2024-07-27 03:54
8.2K
bvfunc_5__t3_bvfunc_5.vout
2024-08-03 08:04
4.7K
bvfunc_5__t4_bvfunc_5
2024-07-27 03:54
7.4K
bvfunc_5__t4_bvfunc_5.vout
2024-08-03 04:48
4.7K
bvfunc_5__t5_bvfunc_5
2024-07-27 03:55
9.9K
bvfunc_5__t5_bvfunc_5.vout
2024-08-03 07:20
4.7K
bvfunc_5__t6_bvfunc_5
2024-07-27 03:56
13K
bvfunc_5__t6_bvfunc_5.vout
2024-08-03 07:55
4.7K
bvfunc_5__t7_bvfunc_5
2024-07-27 03:56
8.4K
bvfunc_5__t7_bvfunc_5.vout
2024-08-03 05:44
4.7K
bvfunc_5__t8_bvfunc_5
2024-07-27 03:57
11K
bvfunc_5__t8_bvfunc_5.vout
2024-08-03 09:59
4.7K
bvfunc_5__t9_bvfunc_5
2024-07-27 03:58
8.5K
bvfunc_5__t9_bvfunc_5.vout
2024-08-03 09:18
4.7K
bvfunc_5__t10_bvfunc_5
2024-07-27 03:59
11K
bvfunc_5__t10_bvfunc_5.vout
2024-08-03 09:40
4.7K
bvfunc_5__t11_bvfunc_5
2024-07-27 03:59
11K
bvfunc_5__t11_bvfunc_5.vout
2024-08-03 07:58
4.7K
bvfunc_5__t12_bvfunc_5
2024-07-27 04:00
20K
bvfunc_5__t12_bvfunc_5.vout
2024-08-03 08:19
4.7K
bvfunc_5__t13_bvfunc_5
2024-07-27 04:01
9.8K
bvfunc_5__t13_bvfunc_5.vout
2024-08-03 04:34
4.7K
bvfunc_5__t14_bvfunc_5
2024-07-27 04:02
9.4K
bvfunc_5__t14_bvfunc_5.vout
2024-08-03 06:43
4.7K
bvfunc_5__t15_bvfunc_5
2024-07-27 04:03
8.7K
bvfunc_5__t15_bvfunc_5.vout
2024-08-03 06:45
4.7K
bvfunc_5__t16_bvfunc_5
2024-07-27 04:03
4.7K
bvfunc_5__t16_bvfunc_5.depv1
2024-08-03 10:19
54
bvfunc_5__t16_bvfunc_5.depvmin1
2024-08-03 10:24
54
bvfunc_5__t16_bvfunc_5.vmin1
2024-08-03 10:19
2.1K
bvfunc_5__t16_bvfunc_5.vmin1out
2024-08-03 10:23
21K
bvfunc_5__t16_bvfunc_5.vout
2024-08-03 10:17
32K
bvfunc_5__t17_bvfunc_5
2024-07-27 04:04
9.1K
bvfunc_5__t17_bvfunc_5.vout
2024-08-03 09:25
4.7K
bvfunc_5__t18_bvfunc_5
2024-07-27 04:04
10K
bvfunc_5__t18_bvfunc_5.vout
2024-08-03 08:41
4.7K
bvfunc_5__t19_bvfunc_5
2024-07-27 04:05
9.8K
bvfunc_5__t19_bvfunc_5.vout
2024-08-03 04:40
4.7K
bvfunc_5__t20_bvfunc_5
2024-07-27 04:06
10K
bvfunc_5__t20_bvfunc_5.vout
2024-08-03 08:36
4.7K
bvfunc_5__t21_bvfunc_5
2024-07-27 04:07
9.8K
bvfunc_5__t21_bvfunc_5.vout
2024-08-03 05:34
4.7K
bvfunc_5__t22_bvfunc_5
2024-07-27 04:07
8.5K
bvfunc_5__t22_bvfunc_5.vout
2024-08-03 08:17
4.7K
bvfunc_5__t23_bvfunc_5
2024-07-27 04:08
7.7K
bvfunc_5__t23_bvfunc_5.vout
2024-08-03 09:40
4.7K
bvfunc_5__t24_bvfunc_5
2024-07-27 04:09
8.3K
bvfunc_5__t24_bvfunc_5.vout
2024-08-03 04:33
4.7K
bvfunc_5__t25_bvfunc_5
2024-07-27 04:09
3.7K
bvfunc_5__t25_bvfunc_5.depv1
2024-08-03 10:19
56
bvfunc_5__t25_bvfunc_5.depvmin1
2024-08-03 10:24
56
bvfunc_5__t25_bvfunc_5.vmin1
2024-08-03 10:19
1.4K
bvfunc_5__t25_bvfunc_5.vmin1out
2024-08-03 10:21
20K
bvfunc_5__t25_bvfunc_5.vout
2024-08-03 10:04
24K
bvfunc_5__t26_bvfunc_5
2024-07-27 04:10
8.3K
bvfunc_5__t26_bvfunc_5.vout
2024-08-03 06:43
4.7K
bvfunc_5__t27_bvfunc_5
2024-07-27 04:11
9.5K
bvfunc_5__t27_bvfunc_5.vout
2024-08-03 05:22
4.7K
bvfunc_5__t28_bvfunc_5
2024-07-27 04:11
4.7K
bvfunc_5__t28_bvfunc_5.depv1
2024-08-03 10:19
119
bvfunc_5__t28_bvfunc_5.depvmin1
2024-08-03 10:24
119
bvfunc_5__t28_bvfunc_5.vmin1
2024-08-03 10:19
3.0K
bvfunc_5__t28_bvfunc_5.vmin1out
2024-08-03 10:21
89K
bvfunc_5__t28_bvfunc_5.vout
2024-08-03 09:24
91K
bvfunc_5__t29_bvfunc_5
2024-07-27 04:12
8.4K
bvfunc_5__t29_bvfunc_5.vout
2024-08-03 07:56
4.7K
bvfunc_5__t30_bvfunc_5
2024-07-27 04:13
8.7K
bvfunc_5__t30_bvfunc_5.vout
2024-08-03 06:29
4.7K
bvfunc_5__t31_bvfunc_5
2024-07-27 04:14
12K
bvfunc_5__t31_bvfunc_5.vout
2024-08-03 04:11
4.7K
bvfunc_5__t32_bvfunc_5
2024-07-27 04:14
12K
bvfunc_5__t32_bvfunc_5.vout
2024-08-03 08:45
4.7K
bvfunc_5__t33_bvfunc_5
2024-07-27 04:15
12K
bvfunc_5__t33_bvfunc_5.vout
2024-08-03 05:01
4.7K
bvfunc_5__t34_bvfunc_5
2024-07-27 04:16
12K
bvfunc_5__t34_bvfunc_5.vout
2024-08-03 06:13
4.7K
bvfunc_5__t35_bvfunc_5
2024-07-27 04:17
11K
bvfunc_5__t35_bvfunc_5.vout
2024-08-03 06:26
4.7K
bvfunc_5__t36_bvfunc_5
2024-07-27 04:17
11K
bvfunc_5__t36_bvfunc_5.vout
2024-08-03 09:52
4.7K
bvfunc_5__t37_bvfunc_5
2024-07-27 04:18
8.4K
bvfunc_5__t37_bvfunc_5.depv1
2024-08-03 10:19
222
bvfunc_5__t37_bvfunc_5.depvmin1
2024-08-03 10:24
222
bvfunc_5__t37_bvfunc_5.vmin1
2024-08-03 10:19
4.3K
bvfunc_5__t37_bvfunc_5.vmin1out
2024-08-03 10:22
41K
bvfunc_5__t37_bvfunc_5.vout
2024-08-03 07:27
41K
bvfunc_5__t38_bvfunc_5
2024-07-27 04:18
8.4K
bvfunc_5__t38_bvfunc_5.depv1
2024-08-03 10:19
197
bvfunc_5__t38_bvfunc_5.depvmin1
2024-08-03 10:24
120
bvfunc_5__t38_bvfunc_5.vmin1
2024-08-03 10:19
3.9K
bvfunc_5__t38_bvfunc_5.vmin1out
2024-08-03 10:20
71K
bvfunc_5__t38_bvfunc_5.vout
2024-08-03 05:12
112K
bvfunc_5__t39_bvfunc_5
2024-07-27 04:19
7.5K
bvfunc_5__t39_bvfunc_5.vout
2024-08-03 06:56
7.1K
bvfunc_5__t40_bvfunc_5
2024-07-27 04:19
7.5K
bvfunc_5__t40_bvfunc_5.vout
2024-08-03 08:56
7.1K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80