Index of /~mptp/7.13.01_4.181.1147/mptp/problems_notypes/bvfunc10
Name
Last modified
Size
Description
Parent Directory
-
bvfunc10__l2_bvfunc10
2017-03-01 15:19
97K
bvfunc10__l4_bvfunc10
2017-03-01 15:19
55K
bvfunc10__l9_bvfunc10
2017-03-01 15:19
56K
bvfunc10__l19_bvfunc10
2017-03-01 15:19
56K
bvfunc10__t1_bvfunc10
2017-03-01 15:19
119K
bvfunc10__t2_bvfunc10
2017-03-01 15:19
5.0K
bvfunc10__t3_bvfunc10
2017-03-01 15:19
5.0K
bvfunc10__t4_bvfunc10
2017-03-01 15:19
3.6K
bvfunc10__t5_bvfunc10
2017-03-01 15:19
3.8K
bvfunc10__t6_bvfunc10
2017-03-01 15:19
99K
bvfunc10__t7_bvfunc10
2017-03-01 15:19
5.5K
bvfunc10__t8_bvfunc10
2017-03-01 15:19
4.0K
bvfunc10__t9_bvfunc10
2017-03-01 15:19
4.1K
bvfunc10__t10_bvfunc10
2017-03-01 15:19
5.7K
bvfunc10__t11_bvfunc10
2017-03-01 15:19
56K
bvfunc10__t12_bvfunc10
2017-03-01 15:19
56K
bvfunc10__t13_bvfunc10
2017-03-01 15:19
5.3K
bvfunc10__t14_bvfunc10
2017-03-01 15:19
56K
bvfunc10__t15_bvfunc10
2017-03-01 15:19
6.5K
bvfunc10__t16_bvfunc10
2017-03-01 15:19
331K
bvfunc10__t17_bvfunc10
2017-03-01 15:19
23K
bvfunc10__t18_bvfunc10
2017-03-01 15:19
23K
bvfunc10__t19_bvfunc10
2017-03-01 15:19
22K
bvfunc10__t20_bvfunc10
2017-03-01 15:19
22K
bvfunc10__t21_bvfunc10
2017-03-01 15:19
22K
bvfunc10__t22_bvfunc10
2017-03-01 15:19
22K
bvfunc10__t23_bvfunc10
2017-03-01 15:19
5.0K
bvfunc10__t24_bvfunc10
2017-03-01 15:19
5.6K
bvfunc10__t25_bvfunc10
2017-03-01 15:19
5.1K
bvfunc10__t26_bvfunc10
2017-03-01 15:19
5.7K
bvfunc10__t27_bvfunc10
2017-03-01 15:19
5.7K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80