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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]lattices__l4_lattices2016-03-08 13:07 22K 
[ ]lattices__l5_lattices2016-03-08 13:07 20K 
[ ]lattices__l6_lattices2016-03-08 13:07 20K 
[ ]lattices__l18_lattices2016-03-08 13:07 30K 
[ ]lattices__l19_lattices2016-03-08 13:07 28K 
[ ]lattices__l20_lattices2016-03-08 13:07 28K 
[ ]lattices__t3_lattices2016-03-08 13:07 28K 
[ ]lattices__t4_lattices2016-03-08 13:07 23K 
[ ]lattices__t5_lattices2016-03-08 13:07 22K 
[ ]lattices__t6_lattices2016-03-08 13:07 24K 
[ ]lattices__t7_lattices2016-03-08 13:07 21K 
[ ]lattices__t8_lattices2016-03-08 13:07 22K 
[ ]lattices__t9_lattices2016-03-08 13:07 24K 
[ ]lattices__t10_lattices2016-03-08 13:07 30K 
[ ]lattices__t11_lattices2016-03-08 13:07 28K 
[ ]lattices__t12_lattices2016-03-08 13:07 27K 
[ ]lattices__t13_lattices2016-03-08 13:07 28K 
[ ]lattices__t14_lattices2016-03-08 13:07 24K 
[ ]lattices__t15_lattices2016-03-08 13:07 24K 
[ ]lattices__t16_lattices2016-03-08 13:07 25K 
[ ]lattices__t17_lattices2016-03-08 13:07 24K 
[ ]lattices__t18_lattices2016-03-08 13:07 24K 
[ ]lattices__t19_lattices2016-03-08 13:07 25K 
[ ]lattices__t20_lattices2016-03-08 13:07 29K 
[ ]lattices__t21_lattices2016-03-08 13:07 29K 
[ ]lattices__t22_lattices2016-03-08 13:07 20K 
[ ]lattices__t23_lattices2016-03-08 13:07 34K 
[ ]lattices__t24_lattices2016-03-08 13:07 29K 
[ ]lattices__t25_lattices2016-03-08 13:07 34K 
[ ]lattices__t26_lattices2016-03-08 13:07 29K 
[ ]lattices__t27_lattices2016-03-08 13:07 29K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80