Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/bvfunc_2
Name
Last modified
Size
Description
Parent Directory
-
bvfunc_2__t1_bvfunc_2
2024-07-28 02:38
11K
bvfunc_2__t1_bvfunc_2.vout
2024-08-03 10:04
7.3K
bvfunc_2__t2_bvfunc_2
2024-07-28 02:39
11K
bvfunc_2__t2_bvfunc_2.vout
2024-08-03 07:25
4.2K
bvfunc_2__t3_bvfunc_2
2024-07-28 02:40
6.4K
bvfunc_2__t3_bvfunc_2.vout
2024-08-03 09:17
7.3K
bvfunc_2__t4_bvfunc_2
2024-07-28 02:41
7.6K
bvfunc_2__t4_bvfunc_2.vout
2024-08-03 05:53
7.3K
bvfunc_2__t5_bvfunc_2
2024-07-28 02:42
14K
bvfunc_2__t5_bvfunc_2.vout
2024-08-03 10:11
7.3K
bvfunc_2__t6_bvfunc_2
2024-07-28 02:43
14K
bvfunc_2__t6_bvfunc_2.vout
2024-08-03 09:11
6.8K
bvfunc_2__t7_bvfunc_2
2024-07-28 02:44
14K
bvfunc_2__t7_bvfunc_2.depv1
2024-08-03 10:19
207
bvfunc_2__t7_bvfunc_2.depvmin1
2024-08-03 10:24
145
bvfunc_2__t7_bvfunc_2.vmin1
2024-08-03 10:19
3.1K
bvfunc_2__t7_bvfunc_2.vmin1out
2024-08-03 10:23
47K
bvfunc_2__t7_bvfunc_2.vout
2024-08-03 07:51
51K
bvfunc_2__t8_bvfunc_2
2024-07-28 02:45
14K
bvfunc_2__t8_bvfunc_2.vout
2024-08-03 05:54
4.7K
bvfunc_2__t9_bvfunc_2
2024-07-28 02:46
14K
bvfunc_2__t9_bvfunc_2.vout
2024-08-03 09:50
4.7K
bvfunc_2__t10_bvfunc_2
2024-07-28 02:46
14K
bvfunc_2__t10_bvfunc_2.vout
2024-08-03 05:48
4.7K
bvfunc_2__t11_bvfunc_2
2024-07-28 02:47
13K
bvfunc_2__t11_bvfunc_2.vout
2024-08-03 08:23
7.3K
bvfunc_2__t12_bvfunc_2
2024-07-28 02:48
13K
bvfunc_2__t12_bvfunc_2.vout
2024-08-03 05:38
7.3K
bvfunc_2__t13_bvfunc_2
2024-07-28 02:49
18K
bvfunc_2__t13_bvfunc_2.vout
2024-08-03 10:00
6.8K
bvfunc_2__t14_bvfunc_2
2024-07-28 02:51
17K
bvfunc_2__t14_bvfunc_2.vout
2024-08-03 05:38
6.8K
bvfunc_2__t15_bvfunc_2
2024-07-28 02:52
19K
bvfunc_2__t15_bvfunc_2.vout
2024-08-03 05:39
6.8K
bvfunc_2__t16_bvfunc_2
2024-07-28 02:53
20K
bvfunc_2__t16_bvfunc_2.vout
2024-08-03 09:00
6.8K
bvfunc_2__t17_bvfunc_2
2024-07-28 02:54
18K
bvfunc_2__t17_bvfunc_2.vout
2024-08-03 05:28
7.3K
bvfunc_2__t18_bvfunc_2
2024-07-28 02:55
19K
bvfunc_2__t18_bvfunc_2.vout
2024-08-03 04:46
4.7K
bvfunc_2__t19_bvfunc_2
2024-07-28 02:56
19K
bvfunc_2__t19_bvfunc_2.vout
2024-08-03 04:09
4.7K
bvfunc_2__t20_bvfunc_2
2024-07-28 02:57
20K
bvfunc_2__t20_bvfunc_2.vout
2024-08-03 08:45
4.7K
bvfunc_2__t21_bvfunc_2
2024-07-28 02:59
22K
bvfunc_2__t21_bvfunc_2.vout
2024-08-03 10:17
4.7K
bvfunc_2__t22_bvfunc_2
2024-07-28 03:00
19K
bvfunc_2__t22_bvfunc_2.vout
2024-08-03 05:16
4.7K
bvfunc_2__t23_bvfunc_2
2024-07-28 02:33
13K
bvfunc_2__t23_bvfunc_2.depv1
2024-08-03 10:19
117
bvfunc_2__t23_bvfunc_2.depvmin1
2024-08-03 10:24
92
bvfunc_2__t23_bvfunc_2.vmin1
2024-08-03 10:19
2.4K
bvfunc_2__t23_bvfunc_2.vmin1out
2024-08-03 10:23
24K
bvfunc_2__t23_bvfunc_2.vout
2024-08-03 09:53
21K
bvfunc_2__t24_bvfunc_2
2024-07-28 03:01
21K
bvfunc_2__t24_bvfunc_2.vout
2024-08-03 05:49
6.8K
bvfunc_2__t25_bvfunc_2
2024-07-28 03:02
22K
bvfunc_2__t25_bvfunc_2.vout
2024-08-03 08:50
4.7K
bvfunc_2__t26_bvfunc_2
2024-07-28 02:34
13K
bvfunc_2__t26_bvfunc_2.depv1
2024-08-03 10:19
117
bvfunc_2__t26_bvfunc_2.depvmin1
2024-08-03 10:24
92
bvfunc_2__t26_bvfunc_2.vmin1
2024-08-03 10:19
2.4K
bvfunc_2__t26_bvfunc_2.vmin1out
2024-08-03 10:23
24K
bvfunc_2__t26_bvfunc_2.vout
2024-08-03 05:40
21K
bvfunc_2__t27_bvfunc_2
2024-07-28 03:03
21K
bvfunc_2__t27_bvfunc_2.vout
2024-08-03 09:18
7.3K
bvfunc_2__t28_bvfunc_2
2024-07-28 03:05
21K
bvfunc_2__t28_bvfunc_2.vout
2024-08-03 08:13
6.8K
bvfunc_2__t29_bvfunc_2
2024-07-28 02:35
12K
bvfunc_2__t29_bvfunc_2.depv1
2024-08-03 10:19
92
bvfunc_2__t29_bvfunc_2.depvmin1
2024-08-03 10:24
92
bvfunc_2__t29_bvfunc_2.vmin1
2024-08-03 10:19
2.0K
bvfunc_2__t29_bvfunc_2.vmin1out
2024-08-03 10:23
23K
bvfunc_2__t29_bvfunc_2.vout
2024-08-03 06:43
24K
bvfunc_2__t30_bvfunc_2
2024-07-28 03:06
20K
bvfunc_2__t30_bvfunc_2.vout
2024-08-03 07:08
6.8K
bvfunc_2__t31_bvfunc_2
2024-07-28 02:35
12K
bvfunc_2__t31_bvfunc_2.depv1
2024-08-03 10:19
93
bvfunc_2__t31_bvfunc_2.depvmin1
2024-08-03 10:24
93
bvfunc_2__t31_bvfunc_2.vmin1
2024-08-03 10:19
2.0K
bvfunc_2__t31_bvfunc_2.vmin1out
2024-08-03 10:21
23K
bvfunc_2__t31_bvfunc_2.vout
2024-08-03 09:30
24K
bvfunc_2__t32_bvfunc_2
2024-07-28 03:07
20K
bvfunc_2__t32_bvfunc_2.vout
2024-08-03 06:02
4.7K
bvfunc_2__t33_bvfunc_2
2024-07-28 02:36
13K
bvfunc_2__t33_bvfunc_2.depv1
2024-08-03 10:19
117
bvfunc_2__t33_bvfunc_2.depvmin1
2024-08-03 10:24
92
bvfunc_2__t33_bvfunc_2.vmin1
2024-08-03 10:19
2.4K
bvfunc_2__t33_bvfunc_2.vmin1out
2024-08-03 10:20
24K
bvfunc_2__t33_bvfunc_2.vout
2024-08-03 05:53
21K
bvfunc_2__t34_bvfunc_2
2024-07-28 03:08
22K
bvfunc_2__t34_bvfunc_2.vout
2024-08-03 06:27
4.7K
bvfunc_2__t35_bvfunc_2
2024-07-28 02:37
13K
bvfunc_2__t35_bvfunc_2.depv1
2024-08-03 10:19
117
bvfunc_2__t35_bvfunc_2.depvmin1
2024-08-03 10:24
92
bvfunc_2__t35_bvfunc_2.vmin1
2024-08-03 10:19
2.4K
bvfunc_2__t35_bvfunc_2.vmin1out
2024-08-03 10:20
24K
bvfunc_2__t35_bvfunc_2.vout
2024-08-03 05:24
21K
bvfunc_2__t36_bvfunc_2
2024-07-28 03:09
17K
bvfunc_2__t36_bvfunc_2.vout
2024-08-03 04:07
7.3K
bvfunc_2__t37_bvfunc_2
2024-07-28 03:10
18K
bvfunc_2__t37_bvfunc_2.vout
2024-08-03 09:07
6.8K
bvfunc_2__t38_bvfunc_2
2024-07-28 03:12
21K
bvfunc_2__t38_bvfunc_2.vout
2024-08-03 07:20
6.8K
bvfunc_2__t39_bvfunc_2
2024-07-28 02:38
12K
bvfunc_2__t39_bvfunc_2.depv1
2024-08-03 10:19
92
bvfunc_2__t39_bvfunc_2.depvmin1
2024-08-03 10:24
92
bvfunc_2__t39_bvfunc_2.vmin1
2024-08-03 10:19
2.0K
bvfunc_2__t39_bvfunc_2.vmin1out
2024-08-03 10:20
23K
bvfunc_2__t39_bvfunc_2.vout
2024-08-03 08:29
24K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80