Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tl.bad_dt_f/bvfunc10

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]bvfunc10__l2_bvfunc102016-03-08 13:04 172K 
[ ]bvfunc10__l4_bvfunc102016-03-08 13:04 105K 
[ ]bvfunc10__l9_bvfunc102016-03-08 13:04 110K 
[ ]bvfunc10__l19_bvfunc102016-03-08 13:04 107K 
[ ]bvfunc10__t1_bvfunc102016-03-08 13:04 208K 
[ ]bvfunc10__t2_bvfunc102016-03-08 13:04 17K 
[ ]bvfunc10__t3_bvfunc102016-03-08 13:04 17K 
[ ]bvfunc10__t4_bvfunc102016-03-08 13:04 12K 
[ ]bvfunc10__t5_bvfunc102016-03-08 13:04 12K 
[ ]bvfunc10__t6_bvfunc102016-03-08 13:04 180K 
[ ]bvfunc10__t7_bvfunc102016-03-08 13:04 19K 
[ ]bvfunc10__t8_bvfunc102016-03-08 13:04 14K 
[ ]bvfunc10__t9_bvfunc102016-03-08 13:04 14K 
[ ]bvfunc10__t10_bvfunc102016-03-08 13:04 20K 
[ ]bvfunc10__t11_bvfunc102016-03-08 13:04 108K 
[ ]bvfunc10__t12_bvfunc102016-03-08 13:04 108K 
[ ]bvfunc10__t13_bvfunc102016-03-08 13:04 19K 
[ ]bvfunc10__t14_bvfunc102016-03-08 13:04 109K 
[ ]bvfunc10__t15_bvfunc102016-03-08 13:04 22K 
[ ]bvfunc10__t16_bvfunc102016-03-08 13:04 556K 
[ ]bvfunc10__t17_bvfunc102016-03-08 13:04 55K 
[ ]bvfunc10__t18_bvfunc102016-03-08 13:04 56K 
[ ]bvfunc10__t19_bvfunc102016-03-08 13:04 52K 
[ ]bvfunc10__t20_bvfunc102016-03-08 13:04 52K 
[ ]bvfunc10__t21_bvfunc102016-03-08 13:04 52K 
[ ]bvfunc10__t22_bvfunc102016-03-08 13:04 52K 
[ ]bvfunc10__t23_bvfunc102016-03-08 13:04 18K 
[ ]bvfunc10__t24_bvfunc102016-03-08 13:04 19K 
[ ]bvfunc10__t25_bvfunc102016-03-08 13:04 18K 
[ ]bvfunc10__t26_bvfunc102016-03-08 13:04 20K 
[ ]bvfunc10__t27_bvfunc102016-03-08 13:04 20K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80