Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_isof_tls1/lattices

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]lattices__l4_lattices2017-01-13 17:43 32K 
[ ]lattices__l5_lattices2017-01-13 17:43 30K 
[ ]lattices__l6_lattices2017-01-13 17:43 30K 
[ ]lattices__l18_lattices2017-01-13 17:43 43K 
[ ]lattices__l19_lattices2017-01-13 17:43 41K 
[ ]lattices__l20_lattices2017-01-13 17:43 41K 
[ ]lattices__t3_lattices2017-01-13 17:43 42K 
[ ]lattices__t4_lattices2017-01-13 17:43 34K 
[ ]lattices__t5_lattices2017-01-13 17:43 33K 
[ ]lattices__t6_lattices2017-01-13 17:43 35K 
[ ]lattices__t7_lattices2017-01-13 17:43 31K 
[ ]lattices__t8_lattices2017-01-13 17:43 32K 
[ ]lattices__t9_lattices2017-01-13 17:43 35K 
[ ]lattices__t10_lattices2017-01-13 17:43 45K 
[ ]lattices__t11_lattices2017-01-13 17:43 41K 
[ ]lattices__t12_lattices2017-01-13 17:43 40K 
[ ]lattices__t13_lattices2017-01-13 17:43 42K 
[ ]lattices__t14_lattices2017-01-13 17:43 35K 
[ ]lattices__t15_lattices2017-01-13 17:43 35K 
[ ]lattices__t16_lattices2017-01-13 17:43 37K 
[ ]lattices__t17_lattices2017-01-13 17:43 35K 
[ ]lattices__t18_lattices2017-01-13 17:43 35K 
[ ]lattices__t19_lattices2017-01-13 17:43 37K 
[ ]lattices__t20_lattices2017-01-13 17:43 43K 
[ ]lattices__t21_lattices2017-01-13 17:43 43K 
[ ]lattices__t22_lattices2017-01-13 17:43 31K 
[ ]lattices__t23_lattices2017-01-13 17:43 50K 
[ ]lattices__t24_lattices2017-01-13 17:43 43K 
[ ]lattices__t25_lattices2017-01-13 17:43 51K 
[ ]lattices__t26_lattices2017-01-13 17:43 43K 
[ ]lattices__t27_lattices2017-01-13 17:43 43K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80