Index of /~mptp/7.13.01_4.181.1147/mptp/problems_from_newthf1/lattice6

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]lattice6__l1_lattice62023-06-27 17:16 81K 
[   ]lattice6__l2_lattice62023-06-27 17:16 81K 
[   ]lattice6__l3_lattice62023-06-27 17:16 89K 
[   ]lattice6__l5_lattice62023-06-27 17:16 94K 
[   ]lattice6__l52_lattice62023-06-27 17:16 64K 
[   ]lattice6__l53_lattice62023-06-27 17:16 59K 
[   ]lattice6__t3_lattice62023-06-27 17:16 53K 
[   ]lattice6__t4_lattice62023-06-27 17:16 55K 

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