Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tl.bad_dt_f/taxonom1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]taxonom1__l11_taxonom12016-03-08 13:09 22K 
[ ]taxonom1__l28_taxonom12016-03-08 13:09 34K 
[ ]taxonom1__t1_taxonom12016-03-08 13:09 33K 
[ ]taxonom1__t2_taxonom12016-03-08 13:09 30K 
[ ]taxonom1__t3_taxonom12016-03-08 13:09 26K 
[ ]taxonom1__t4_taxonom12016-03-08 13:09 26K 
[ ]taxonom1__t5_taxonom12016-03-08 13:09 25K 
[ ]taxonom1__t6_taxonom12016-03-08 13:09 26K 
[ ]taxonom1__t7_taxonom12016-03-08 13:09 69K 
[ ]taxonom1__t8_taxonom12016-03-08 13:09 26K 
[ ]taxonom1__t9_taxonom12016-03-08 13:09 25K 
[ ]taxonom1__t10_taxonom12016-03-08 13:09 38K 
[ ]taxonom1__t11_taxonom12016-03-08 13:09 27K 
[ ]taxonom1__t12_taxonom12016-03-08 13:09 23K 
[ ]taxonom1__t13_taxonom12016-03-08 13:09 28K 
[ ]taxonom1__t14_taxonom12016-03-08 13:09 30K 
[ ]taxonom1__t15_taxonom12016-03-08 13:09 30K 
[ ]taxonom1__t16_taxonom12016-03-08 13:09 34K 
[ ]taxonom1__t17_taxonom12016-03-08 13:09 32K 
[ ]taxonom1__t18_taxonom12016-03-08 13:09 36K 
[ ]taxonom1__t19_taxonom12016-03-08 13:09 33K 
[ ]taxonom1__t20_taxonom12016-03-08 13:09 35K 
[ ]taxonom1__t21_taxonom12016-03-08 13:09 34K 
[ ]taxonom1__t22_taxonom12016-03-08 13:09 34K 
[ ]taxonom1__t23_taxonom12016-03-08 13:09 46K 
[ ]taxonom1__t24_taxonom12016-03-08 13:09 34K 
[ ]taxonom1__t25_taxonom12016-03-08 13:09 33K 
[ ]taxonom1__t26_taxonom12016-03-08 13:09 37K 
[ ]taxonom1__t27_taxonom12016-03-08 13:09 44K 
[ ]taxonom1__t28_taxonom12016-03-08 13:09 39K 
[ ]taxonom1__t29_taxonom12016-03-08 13:09 31K 
[ ]taxonom1__t30_taxonom12016-03-08 13:09 47K 
[ ]taxonom1__t31_taxonom12016-03-08 13:09 35K 
[ ]taxonom1__t32_taxonom12016-03-08 13:09 32K 
[ ]taxonom1__t33_taxonom12016-03-08 13:09 44K 
[ ]taxonom1__t34_taxonom12016-03-08 13:09 38K 
[ ]taxonom1__t35_taxonom12016-03-08 13:09 40K 
[ ]taxonom1__t36_taxonom12016-03-08 13:09 50K 
[ ]taxonom1__t37_taxonom12016-03-08 13:09 44K 
[ ]taxonom1__t38_taxonom12016-03-08 13:09 37K 
[ ]taxonom1__t39_taxonom12016-03-08 13:09 37K 
[ ]taxonom1__t40_taxonom12016-03-08 13:09 41K 
[ ]taxonom1__t41_taxonom12016-03-08 13:09 48K 
[ ]taxonom1__t42_taxonom12016-03-08 13:09 33K 
[ ]taxonom1__t43_taxonom12016-03-08 13:09 49K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80