Index of /~mptp/1147/MPTP2/problems_thf_tls1/lattice7

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]lattice7__l18_lattice72017-01-13 19:23 49K 
[   ]lattice7__l24_lattice72017-01-13 19:23 25K 
[   ]lattice7__l25_lattice72017-01-13 19:23 25K 
[   ]lattice7__s1_lattice72017-01-13 19:23 33K 
[   ]lattice7__t1_lattice72017-01-13 19:23 32K 
[   ]lattice7__t2_lattice72017-01-13 19:23 49K 
[   ]lattice7__t3_lattice72017-01-13 19:23 31K 
[   ]lattice7__t4_lattice72017-01-13 19:23 32K 
[   ]lattice7__t5_lattice72017-01-13 19:23 32K 
[   ]lattice7__t6_lattice72017-01-13 19:23 41K 
[   ]lattice7__t7_lattice72017-01-13 19:23 40K 
[   ]lattice7__t8_lattice72017-01-13 19:23 34K 
[   ]lattice7__t9_lattice72017-01-13 19:23 55K 
[   ]lattice7__t10_lattice72017-01-13 19:23 29K 
[   ]lattice7__t11_lattice72017-01-13 19:23 36K 
[   ]lattice7__t12_lattice72017-01-13 19:23 39K 
[   ]lattice7__t13_lattice72017-01-13 19:23 72K 
[   ]lattice7__t14_lattice72017-01-13 19:23 48K 
[   ]lattice7__t15_lattice72017-01-13 19:23 46K 
[   ]lattice7__t16_lattice72017-01-13 19:23 46K 

Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80