Index of /~mptp/1147/MPTP2/problems_small_consist/bvfunc10

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]bvfunc10__l2_bvfunc102013-09-04 12:14 94K 
[   ]bvfunc10__l4_bvfunc102013-09-04 12:14 58K 
[   ]bvfunc10__l9_bvfunc102013-09-04 12:14 61K 
[   ]bvfunc10__l19_bvfunc102013-09-04 12:14 59K 
[   ]bvfunc10__t1_bvfunc102013-09-04 12:14 113K 
[   ]bvfunc10__t2_bvfunc102013-09-04 12:14 10K 
[   ]bvfunc10__t3_bvfunc102013-09-04 12:14 10K 
[   ]bvfunc10__t4_bvfunc102013-09-04 12:14 7.1K 
[   ]bvfunc10__t5_bvfunc102013-09-04 12:14 7.3K 
[   ]bvfunc10__t6_bvfunc102013-09-04 12:14 99K 
[   ]bvfunc10__t7_bvfunc102013-09-04 12:14 12K 
[   ]bvfunc10__t8_bvfunc102013-09-04 12:14 8.7K 
[   ]bvfunc10__t9_bvfunc102013-09-04 12:14 8.9K 
[   ]bvfunc10__t10_bvfunc102013-09-04 12:14 13K 
[   ]bvfunc10__t11_bvfunc102013-09-04 12:14 60K 
[   ]bvfunc10__t12_bvfunc102013-09-04 12:14 60K 
[   ]bvfunc10__t13_bvfunc102013-09-04 12:14 12K 
[   ]bvfunc10__t14_bvfunc102013-09-04 12:14 61K 
[   ]bvfunc10__t15_bvfunc102013-09-04 12:14 14K 
[   ]bvfunc10__t16_bvfunc102013-09-04 12:14 301K 
[   ]bvfunc10__t17_bvfunc102013-09-04 12:14 32K 
[   ]bvfunc10__t18_bvfunc102013-09-04 12:14 32K 
[   ]bvfunc10__t19_bvfunc102013-09-04 12:14 30K 
[   ]bvfunc10__t20_bvfunc102013-09-04 12:14 30K 
[   ]bvfunc10__t21_bvfunc102013-09-04 12:14 30K 
[   ]bvfunc10__t22_bvfunc102013-09-04 12:14 30K 
[   ]bvfunc10__t23_bvfunc102013-09-04 12:14 11K 
[   ]bvfunc10__t24_bvfunc102013-09-04 12:14 12K 
[   ]bvfunc10__t25_bvfunc102013-09-04 12:14 11K 
[   ]bvfunc10__t26_bvfunc102013-09-04 12:14 12K 
[   ]bvfunc10__t27_bvfunc102013-09-04 12:14 12K 

Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80