Index of /~mptp/mml5.63.1382/MPTP2/problems_small/bvfunc_5
Name
Last modified
Size
Description
Parent Directory
-
bvfunc_5__t1_bvfunc_5.vout
2021-07-25 18:07
113K
bvfunc_5__t28_bvfunc_5.vout
2021-07-25 15:32
63K
bvfunc_5__t28_bvfunc_5.vmin1out
2021-07-25 20:58
52K
bvfunc_5__t38_bvfunc_5.vmin1out
2021-07-25 20:58
51K
bvfunc_5__t37_bvfunc_5.vmin1out
2021-07-25 20:58
51K
bvfunc_5__t37_bvfunc_5.vout
2021-07-25 17:05
41K
bvfunc_5__t38_bvfunc_5.vout
2021-07-25 20:56
41K
bvfunc_5__t16_bvfunc_5.vout
2021-07-25 18:44
32K
bvfunc_5__t25_bvfunc_5.vout
2021-07-25 15:37
24K
bvfunc_5__t12_bvfunc_5
2021-07-18 10:21
21K
bvfunc_5__t16_bvfunc_5.vmin1out
2021-07-25 21:02
21K
bvfunc_5__t25_bvfunc_5.vmin1out
2021-07-25 21:00
20K
bvfunc_5__t6_bvfunc_5
2021-07-18 10:20
14K
bvfunc_5__t34_bvfunc_5
2021-07-18 10:26
13K
bvfunc_5__t33_bvfunc_5
2021-07-18 10:26
13K
bvfunc_5__t32_bvfunc_5
2021-07-18 10:26
13K
bvfunc_5__t31_bvfunc_5
2021-07-18 10:25
13K
bvfunc_5__t35_bvfunc_5
2021-07-18 10:26
13K
bvfunc_5__t36_bvfunc_5
2021-07-18 10:26
13K
bvfunc_5__t11_bvfunc_5
2021-07-18 10:21
12K
bvfunc_5__t10_bvfunc_5
2021-07-18 10:21
12K
bvfunc_5__t1_bvfunc_5
2021-07-18 10:19
12K
bvfunc_5__t8_bvfunc_5
2021-07-18 10:20
12K
bvfunc_5__t18_bvfunc_5
2021-07-18 10:23
11K
bvfunc_5__t20_bvfunc_5
2021-07-18 10:23
11K
bvfunc_5__t5_bvfunc_5
2021-07-18 10:20
11K
bvfunc_5__t21_bvfunc_5
2021-07-18 10:23
11K
bvfunc_5__t19_bvfunc_5
2021-07-18 10:23
11K
bvfunc_5__t13_bvfunc_5
2021-07-18 10:22
11K
bvfunc_5__t27_bvfunc_5
2021-07-18 10:25
11K
bvfunc_5__t14_bvfunc_5
2021-07-18 10:22
11K
bvfunc_5__t17_bvfunc_5
2021-07-18 10:22
10K
bvfunc_5__t15_bvfunc_5
2021-07-18 10:22
10K
bvfunc_5__t30_bvfunc_5
2021-07-18 10:25
10K
bvfunc_5__t22_bvfunc_5
2021-07-18 10:23
9.8K
bvfunc_5__t9_bvfunc_5
2021-07-18 10:21
9.8K
bvfunc_5__t7_bvfunc_5
2021-07-18 10:20
9.7K
bvfunc_5__t29_bvfunc_5
2021-07-18 10:25
9.7K
bvfunc_5__t24_bvfunc_5
2021-07-18 10:24
9.6K
bvfunc_5__t26_bvfunc_5
2021-07-18 10:24
9.6K
bvfunc_5__t38_bvfunc_5
2021-07-18 10:27
9.6K
bvfunc_5__t37_bvfunc_5
2021-07-18 10:27
9.6K
bvfunc_5__t3_bvfunc_5
2021-07-18 10:19
9.5K
bvfunc_5__t2_bvfunc_5
2021-07-18 10:19
9.3K
bvfunc_5__t23_bvfunc_5
2021-07-18 10:24
9.0K
bvfunc_5__t4_bvfunc_5
2021-07-18 10:20
8.8K
bvfunc_5__t40_bvfunc_5
2021-07-18 10:27
8.7K
bvfunc_5__t39_bvfunc_5
2021-07-18 10:27
8.7K
bvfunc_5__t40_bvfunc_5.vout
2021-07-25 16:42
7.2K
bvfunc_5__t39_bvfunc_5.vout
2021-07-25 18:42
7.1K
bvfunc_5__t28_bvfunc_5
2021-07-18 10:25
5.9K
bvfunc_5__t1_bvfunc_5.vmin1
2021-07-25 20:57
5.9K
bvfunc_5__t16_bvfunc_5
2021-07-18 10:22
5.9K
bvfunc_5__t1_bvfunc_5.vmin1out
2021-07-25 21:01
5.8K
bvfunc_5__t25_bvfunc_5
2021-07-18 10:24
5.0K
bvfunc_5__t32_bvfunc_5.vout
2021-07-25 16:47
4.8K
bvfunc_5__t9_bvfunc_5.vout
2021-07-25 20:17
4.7K
bvfunc_5__t31_bvfunc_5.vout
2021-07-25 19:26
4.7K
bvfunc_5__t30_bvfunc_5.vout
2021-07-25 17:58
4.7K
bvfunc_5__t27_bvfunc_5.vout
2021-07-25 19:14
4.7K
bvfunc_5__t26_bvfunc_5.vout
2021-07-25 16:37
4.7K
bvfunc_5__t14_bvfunc_5.vout
2021-07-25 16:50
4.7K
bvfunc_5__t10_bvfunc_5.vout
2021-07-25 15:31
4.7K
bvfunc_5__t36_bvfunc_5.vout
2021-07-25 17:52
4.7K
bvfunc_5__t34_bvfunc_5.vout
2021-07-25 20:15
4.7K
bvfunc_5__t35_bvfunc_5.vout
2021-07-25 19:53
4.7K
bvfunc_5__t24_bvfunc_5.vout
2021-07-25 17:33
4.7K
bvfunc_5__t22_bvfunc_5.vout
2021-07-25 14:25
4.7K
bvfunc_5__t21_bvfunc_5.vout
2021-07-25 16:11
4.7K
bvfunc_5__t19_bvfunc_5.vout
2021-07-25 19:59
4.7K
bvfunc_5__t18_bvfunc_5.vout
2021-07-25 17:13
4.7K
bvfunc_5__t15_bvfunc_5.vout
2021-07-25 19:36
4.7K
bvfunc_5__t13_bvfunc_5.vout
2021-07-25 19:00
4.7K
bvfunc_5__t12_bvfunc_5.vout
2021-07-25 15:56
4.7K
bvfunc_5__t11_bvfunc_5.vout
2021-07-25 19:00
4.7K
bvfunc_5__t17_bvfunc_5.vout
2021-07-25 19:46
4.7K
bvfunc_5__t8_bvfunc_5.vout
2021-07-25 15:31
4.7K
bvfunc_5__t3_bvfunc_5.vout
2021-07-25 19:12
4.7K
bvfunc_5__t7_bvfunc_5.vout
2021-07-25 19:21
4.7K
bvfunc_5__t23_bvfunc_5.vout
2021-07-25 18:15
4.7K
bvfunc_5__t33_bvfunc_5.vout
2021-07-25 18:14
4.7K
bvfunc_5__t29_bvfunc_5.vout
2021-07-25 15:37
4.7K
bvfunc_5__t20_bvfunc_5.vout
2021-07-25 16:56
4.7K
bvfunc_5__t6_bvfunc_5.vout
2021-07-25 17:41
4.7K
bvfunc_5__t5_bvfunc_5.vout
2021-07-25 15:59
4.7K
bvfunc_5__t4_bvfunc_5.vout
2021-07-25 18:16
4.7K
bvfunc_5__t2_bvfunc_5.vout
2021-07-25 18:15
4.7K
bvfunc_5__t38_bvfunc_5.vmin1
2021-07-25 20:57
4.3K
bvfunc_5__t37_bvfunc_5.vmin1
2021-07-25 20:57
4.3K
bvfunc_5__t28_bvfunc_5.vmin1
2021-07-25 20:57
2.6K
bvfunc_5__t16_bvfunc_5.vmin1
2021-07-25 20:57
2.1K
bvfunc_5__t25_bvfunc_5.vmin1
2021-07-25 20:57
1.4K
bvfunc_5__t1_bvfunc_5.depv1
2021-07-25 20:57
379
bvfunc_5__t38_bvfunc_5.depv1
2021-07-25 20:57
222
bvfunc_5__t37_bvfunc_5.depv1
2021-07-25 20:57
222
bvfunc_5__t38_bvfunc_5.depvmin1
2021-07-25 21:03
95
bvfunc_5__t37_bvfunc_5.depvmin1
2021-07-25 21:03
95
bvfunc_5__t28_bvfunc_5.depvmin1
2021-07-25 21:03
94
bvfunc_5__t28_bvfunc_5.depv1
2021-07-25 20:57
94
bvfunc_5__t25_bvfunc_5.depvmin1
2021-07-25 21:03
56
bvfunc_5__t25_bvfunc_5.depv1
2021-07-25 20:57
56
bvfunc_5__t16_bvfunc_5.depvmin1
2021-07-25 21:03
54
bvfunc_5__t16_bvfunc_5.depv1
2021-07-25 20:57
54
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80