Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/bvfunc_3
Name
Last modified
Size
Description
Parent Directory
-
bvfunc_3__l10_bvfunc_3
2024-07-27 22:06
12K
bvfunc_3__l10_bvfunc_3.vout
2024-08-03 09:26
6.8K
bvfunc_3__l15_bvfunc_3
2024-07-27 22:07
11K
bvfunc_3__l15_bvfunc_3.vout
2024-08-03 06:00
7.3K
bvfunc_3__t1_bvfunc_3
2024-07-27 21:15
16K
bvfunc_3__t1_bvfunc_3.vout
2024-08-03 07:18
6.8K
bvfunc_3__t2_bvfunc_3
2024-07-27 21:17
16K
bvfunc_3__t2_bvfunc_3.vout
2024-08-03 06:19
7.3K
bvfunc_3__t3_bvfunc_3
2024-07-27 21:18
17K
bvfunc_3__t3_bvfunc_3.vout
2024-08-03 05:00
4.7K
bvfunc_3__t4_bvfunc_3
2024-07-27 21:19
27K
bvfunc_3__t4_bvfunc_3.vout
2024-08-03 06:18
4.7K
bvfunc_3__t5_bvfunc_3
2024-07-27 21:21
27K
bvfunc_3__t5_bvfunc_3.vout
2024-08-03 05:46
4.7K
bvfunc_3__t6_bvfunc_3
2024-07-27 21:22
15K
bvfunc_3__t6_bvfunc_3.vout
2024-08-03 09:41
7.3K
bvfunc_3__t7_bvfunc_3
2024-07-27 21:23
16K
bvfunc_3__t7_bvfunc_3.vout
2024-08-03 09:55
4.7K
bvfunc_3__t8_bvfunc_3
2024-07-27 21:25
23K
bvfunc_3__t8_bvfunc_3.vout
2024-08-03 05:07
4.7K
bvfunc_3__t9_bvfunc_3
2024-07-27 21:26
17K
bvfunc_3__t9_bvfunc_3.vout
2024-08-03 07:31
6.8K
bvfunc_3__t10_bvfunc_3
2024-07-27 21:27
17K
bvfunc_3__t10_bvfunc_3.vout
2024-08-03 09:50
6.8K
bvfunc_3__t11_bvfunc_3
2024-07-27 21:28
16K
bvfunc_3__t11_bvfunc_3.vout
2024-08-03 08:59
6.8K
bvfunc_3__t12_bvfunc_3
2024-07-27 21:29
18K
bvfunc_3__t12_bvfunc_3.vout
2024-08-03 06:32
6.8K
bvfunc_3__t13_bvfunc_3
2024-07-27 21:31
18K
bvfunc_3__t13_bvfunc_3.vout
2024-08-03 08:37
6.8K
bvfunc_3__t14_bvfunc_3
2024-07-27 21:32
18K
bvfunc_3__t14_bvfunc_3.vout
2024-08-03 09:43
4.7K
bvfunc_3__t15_bvfunc_3
2024-07-27 21:33
16K
bvfunc_3__t15_bvfunc_3.vout
2024-08-03 04:21
4.7K
bvfunc_3__t16_bvfunc_3
2024-07-27 21:34
16K
bvfunc_3__t16_bvfunc_3.vout
2024-08-03 05:44
7.3K
bvfunc_3__t17_bvfunc_3
2024-07-27 21:35
14K
bvfunc_3__t17_bvfunc_3.vout
2024-08-03 07:45
6.8K
bvfunc_3__t18_bvfunc_3
2024-07-27 21:36
14K
bvfunc_3__t18_bvfunc_3.vout
2024-08-03 06:31
6.8K
bvfunc_3__t19_bvfunc_3
2024-07-27 21:38
16K
bvfunc_3__t19_bvfunc_3.vout
2024-08-03 04:46
6.8K
bvfunc_3__t20_bvfunc_3
2024-07-27 21:39
21K
bvfunc_3__t20_bvfunc_3.vout
2024-08-03 05:53
7.3K
bvfunc_3__t21_bvfunc_3
2024-07-27 21:40
15K
bvfunc_3__t21_bvfunc_3.vout
2024-08-03 09:05
6.8K
bvfunc_3__t22_bvfunc_3
2024-07-27 21:41
17K
bvfunc_3__t22_bvfunc_3.vout
2024-08-03 06:15
6.8K
bvfunc_3__t23_bvfunc_3
2024-07-27 21:43
18K
bvfunc_3__t23_bvfunc_3.vout
2024-08-03 08:16
4.7K
bvfunc_3__t24_bvfunc_3
2024-07-27 21:44
16K
bvfunc_3__t24_bvfunc_3.vout
2024-08-03 07:00
7.3K
bvfunc_3__t25_bvfunc_3
2024-07-27 21:45
17K
bvfunc_3__t25_bvfunc_3.vout
2024-08-03 07:48
4.7K
bvfunc_3__t26_bvfunc_3
2024-07-27 21:46
21K
bvfunc_3__t26_bvfunc_3.vout
2024-08-03 06:09
4.7K
bvfunc_3__t27_bvfunc_3
2024-07-27 21:47
14K
bvfunc_3__t27_bvfunc_3.vout
2024-08-03 07:46
4.7K
bvfunc_3__t28_bvfunc_3
2024-07-27 21:48
24K
bvfunc_3__t28_bvfunc_3.vout
2024-08-03 04:18
7.3K
bvfunc_3__t29_bvfunc_3
2024-07-27 21:49
20K
bvfunc_3__t29_bvfunc_3.vout
2024-08-03 10:13
6.8K
bvfunc_3__t30_bvfunc_3
2024-07-27 21:51
21K
bvfunc_3__t30_bvfunc_3.vout
2024-08-03 07:40
7.3K
bvfunc_3__t31_bvfunc_3
2024-07-27 21:52
25K
bvfunc_3__t31_bvfunc_3.vout
2024-08-03 05:51
4.7K
bvfunc_3__t32_bvfunc_3
2024-07-27 21:53
20K
bvfunc_3__t32_bvfunc_3.vout
2024-08-03 09:12
7.3K
bvfunc_3__t33_bvfunc_3
2024-07-27 21:54
22K
bvfunc_3__t33_bvfunc_3.vout
2024-08-03 04:07
6.8K
bvfunc_3__t34_bvfunc_3
2024-07-27 21:56
22K
bvfunc_3__t34_bvfunc_3.vout
2024-08-03 09:59
7.3K
bvfunc_3__t35_bvfunc_3
2024-07-27 21:57
22K
bvfunc_3__t35_bvfunc_3.vout
2024-08-03 04:14
7.3K
bvfunc_3__t36_bvfunc_3
2024-07-27 21:58
24K
bvfunc_3__t36_bvfunc_3.vout
2024-08-03 07:59
6.8K
bvfunc_3__t37_bvfunc_3
2024-07-27 21:59
24K
bvfunc_3__t37_bvfunc_3.vout
2024-08-03 10:04
6.8K
bvfunc_3__t38_bvfunc_3
2024-07-27 22:01
22K
bvfunc_3__t38_bvfunc_3.vout
2024-08-03 07:47
6.8K
bvfunc_3__t39_bvfunc_3
2024-07-27 22:02
22K
bvfunc_3__t39_bvfunc_3.vout
2024-08-03 04:30
7.3K
bvfunc_3__t40_bvfunc_3
2024-07-27 22:03
22K
bvfunc_3__t40_bvfunc_3.vout
2024-08-03 04:13
7.3K
bvfunc_3__t41_bvfunc_3
2024-07-27 22:04
24K
bvfunc_3__t41_bvfunc_3.vout
2024-08-03 06:12
6.8K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80