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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]vectsp_2__l1_vectsp_22016-03-08 13:10 13K 
[ ]vectsp_2__l4_vectsp_22016-03-08 13:10 16K 
[ ]vectsp_2__l5_vectsp_22016-03-08 13:10 16K 
[ ]vectsp_2__l30_vectsp_22016-03-08 13:10 24K 
[ ]vectsp_2__l32_vectsp_22016-03-08 13:10 24K 
[ ]vectsp_2__l35_vectsp_22016-03-08 13:10 28K 
[ ]vectsp_2__l38_vectsp_22016-03-08 13:10 32K 
[ ]vectsp_2__l41_vectsp_22016-03-08 13:10 30K 
[ ]vectsp_2__l42_vectsp_22016-03-08 13:10 36K 
[ ]vectsp_2__t1_vectsp_22016-03-08 13:10 19K 
[ ]vectsp_2__t2_vectsp_22016-03-08 13:10 15K 
[ ]vectsp_2__t3_vectsp_22016-03-08 13:10 9.1K 
[ ]vectsp_2__t4_vectsp_22016-03-08 13:10 15K 
[ ]vectsp_2__t5_vectsp_22016-03-08 13:10 16K 
[ ]vectsp_2__t6_vectsp_22016-03-08 13:10 19K 
[ ]vectsp_2__t7_vectsp_22016-03-08 13:10 19K 
[ ]vectsp_2__t8_vectsp_22016-03-08 13:10 20K 
[ ]vectsp_2__t9_vectsp_22016-03-08 13:10 19K 
[ ]vectsp_2__t10_vectsp_22016-03-08 13:10 20K 
[ ]vectsp_2__t11_vectsp_22016-03-08 13:10 20K 
[ ]vectsp_2__t12_vectsp_22016-03-08 13:10 17K 
[ ]vectsp_2__t13_vectsp_22016-03-08 13:10 18K 
[ ]vectsp_2__t14_vectsp_22016-03-08 13:10 20K 
[ ]vectsp_2__t15_vectsp_22016-03-08 13:10 20K 
[ ]vectsp_2__t16_vectsp_22016-03-08 13:10 20K 
[ ]vectsp_2__t17_vectsp_22016-03-08 13:10 20K 
[ ]vectsp_2__t18_vectsp_22016-03-08 13:10 21K 
[ ]vectsp_2__t19_vectsp_22016-03-08 13:10 22K 
[ ]vectsp_2__t20_vectsp_22016-03-08 13:10 23K 
[ ]vectsp_2__t21_vectsp_22016-03-08 13:10 20K 
[ ]vectsp_2__t22_vectsp_22016-03-08 13:10 20K 
[ ]vectsp_2__t23_vectsp_22016-03-08 13:10 30K 
[ ]vectsp_2__t24_vectsp_22016-03-08 13:10 30K 
[ ]vectsp_2__t25_vectsp_22016-03-08 13:10 31K 
[ ]vectsp_2__t26_vectsp_22016-03-08 13:10 43K 
[ ]vectsp_2__t27_vectsp_22016-03-08 13:10 8.4K 
[ ]vectsp_2__t28_vectsp_22016-03-08 13:10 19K 
[ ]vectsp_2__t29_vectsp_22016-03-08 13:10 19K 
[ ]vectsp_2__t30_vectsp_22016-03-08 13:10 24K 
[ ]vectsp_2__t31_vectsp_22016-03-08 13:10 23K 
[ ]vectsp_2__t32_vectsp_22016-03-08 13:10 27K 
[ ]vectsp_2__t33_vectsp_22016-03-08 13:10 26K 
[ ]vectsp_2__t34_vectsp_22016-03-08 13:10 27K 
[ ]vectsp_2__t35_vectsp_22016-03-08 13:10 24K 
[ ]vectsp_2__t36_vectsp_22016-03-08 13:10 26K 
[ ]vectsp_2__t37_vectsp_22016-03-08 13:10 24K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80