Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tls1/lattices

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]lattices__l4_lattices2017-01-13 19:19 22K 
[ ]lattices__l5_lattices2017-01-13 19:19 20K 
[ ]lattices__l6_lattices2017-01-13 19:19 20K 
[ ]lattices__l18_lattices2017-01-13 19:19 30K 
[ ]lattices__l19_lattices2017-01-13 19:19 28K 
[ ]lattices__l20_lattices2017-01-13 19:19 28K 
[ ]lattices__t3_lattices2017-01-13 19:19 28K 
[ ]lattices__t4_lattices2017-01-13 19:19 23K 
[ ]lattices__t5_lattices2017-01-13 19:19 22K 
[ ]lattices__t6_lattices2017-01-13 19:19 24K 
[ ]lattices__t7_lattices2017-01-13 19:19 21K 
[ ]lattices__t8_lattices2017-01-13 19:19 22K 
[ ]lattices__t9_lattices2017-01-13 19:19 24K 
[ ]lattices__t10_lattices2017-01-13 19:19 30K 
[ ]lattices__t11_lattices2017-01-13 19:19 28K 
[ ]lattices__t12_lattices2017-01-13 19:19 27K 
[ ]lattices__t13_lattices2017-01-13 19:19 28K 
[ ]lattices__t14_lattices2017-01-13 19:19 24K 
[ ]lattices__t15_lattices2017-01-13 19:19 24K 
[ ]lattices__t16_lattices2017-01-13 19:19 25K 
[ ]lattices__t17_lattices2017-01-13 19:19 24K 
[ ]lattices__t18_lattices2017-01-13 19:19 24K 
[ ]lattices__t19_lattices2017-01-13 19:19 25K 
[ ]lattices__t20_lattices2017-01-13 19:19 29K 
[ ]lattices__t21_lattices2017-01-13 19:19 29K 
[ ]lattices__t22_lattices2017-01-13 19:19 21K 
[ ]lattices__t23_lattices2017-01-13 19:19 34K 
[ ]lattices__t24_lattices2017-01-13 19:19 29K 
[ ]lattices__t25_lattices2017-01-13 19:19 34K 
[ ]lattices__t26_lattices2017-01-13 19:19 29K 
[ ]lattices__t27_lattices2017-01-13 19:19 29K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80