Index of /~mptp/1147/mptp/problems/bvfunc25

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]bvfunc25__t1_bvfunc252023-06-28 00:33 15K 
[ ]bvfunc25__t2_bvfunc252023-06-28 00:33 19K 
[ ]bvfunc25__t3_bvfunc252023-06-28 00:33 11K 
[ ]bvfunc25__t4_bvfunc252023-06-28 00:33 14K 
[ ]bvfunc25__t5_bvfunc252023-06-28 00:33 17K 
[ ]bvfunc25__t6_bvfunc252023-06-28 00:33 17K 
[ ]bvfunc25__t7_bvfunc252023-06-28 00:33 18K 
[ ]bvfunc25__t8_bvfunc252023-06-28 00:33 12K 
[ ]bvfunc25__t9_bvfunc252023-06-28 00:33 18K 
[ ]bvfunc25__t10_bvfunc252023-06-28 00:33 12K 
[ ]bvfunc25__t11_bvfunc252023-06-28 00:33 20K 
[ ]bvfunc25__t12_bvfunc252023-06-28 00:33 11K 
[ ]bvfunc25__t13_bvfunc252023-06-28 00:33 16K 
[ ]bvfunc25__t14_bvfunc252023-06-28 00:33 16K 
[ ]bvfunc25__t15_bvfunc252023-06-28 00:33 17K 
[ ]bvfunc25__t16_bvfunc252023-06-28 00:33 16K 
[ ]bvfunc25__t17_bvfunc252023-06-28 00:33 13K 
[ ]bvfunc25__t18_bvfunc252023-06-28 00:33 20K 
[ ]bvfunc25__t19_bvfunc252023-06-28 00:33 23K 
[ ]bvfunc25__t20_bvfunc252023-06-28 00:33 8.0K 
[ ]bvfunc25__t21_bvfunc252023-06-28 00:33 11K 
[ ]bvfunc25__t22_bvfunc252023-06-28 00:33 12K 
[ ]bvfunc25__t23_bvfunc252023-06-28 00:33 15K 
[ ]bvfunc25__t24_bvfunc252023-06-28 00:33 13K 
[ ]bvfunc25__t25_bvfunc252023-06-28 00:33 14K 
[ ]bvfunc25__t26_bvfunc252023-06-28 00:33 13K 
[ ]bvfunc25__t27_bvfunc252023-06-28 00:33 13K 
[ ]bvfunc25__t28_bvfunc252023-06-28 00:33 22K 
[ ]bvfunc25__t29_bvfunc252023-06-28 00:33 19K 
[ ]bvfunc25__t30_bvfunc252023-06-28 00:33 22K 
[ ]bvfunc25__t31_bvfunc252023-06-28 00:33 10K 
[ ]bvfunc25__t32_bvfunc252023-06-28 00:33 11K 
[ ]bvfunc25__t33_bvfunc252023-06-28 00:33 17K 
[ ]bvfunc25__t34_bvfunc252023-06-28 00:33 9.3K 
[ ]bvfunc25__t35_bvfunc252023-06-28 00:33 15K 
[ ]bvfunc25__t36_bvfunc252023-06-28 00:33 15K 
[ ]bvfunc25__t37_bvfunc252023-06-28 00:33 11K 
[ ]bvfunc25__t38_bvfunc252023-06-28 00:33 17K 
[ ]bvfunc25__t39_bvfunc252023-06-28 00:33 6.8K 
[ ]bvfunc25__t40_bvfunc252023-06-28 00:33 19K 
[ ]bvfunc25__t41_bvfunc252023-06-28 00:33 19K 
[ ]bvfunc25__t42_bvfunc252023-06-28 00:33 19K 
[ ]bvfunc25__t43_bvfunc252023-06-28 00:33 19K 
[ ]bvfunc25__t44_bvfunc252023-06-28 00:33 12K 
[ ]bvfunc25__t45_bvfunc252023-06-28 00:33 12K 
[ ]bvfunc25__t46_bvfunc252023-06-28 00:33 20K 
[ ]bvfunc25__t47_bvfunc252023-06-28 00:33 23K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80