Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_from_newthf/lattice8

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]lattice8__t14_lattice82023-06-27 16:46 32K 
[   ]lattice8__t15_lattice82023-06-27 16:46 32K 
[   ]lattice8__t16_lattice82023-06-27 16:46 32K 
[   ]lattice8__t17_lattice82023-06-27 16:46 29K 
[   ]lattice8__t18_lattice82023-06-27 16:46 50K 
[   ]lattice8__t19_lattice82023-06-27 16:46 50K 
[   ]lattice8__t20_lattice82023-06-27 16:46 50K 
[   ]lattice8__t21_lattice82023-06-27 16:46 30K 
[   ]lattice8__t22_lattice82023-06-27 16:46 61K 
[   ]lattice8__t23_lattice82023-06-27 16:46 53K 
[   ]lattice8__t24_lattice82023-06-27 16:46 54K 
[   ]lattice8__t25_lattice82023-06-27 16:46 60K 
[   ]lattice8__t26_lattice82023-06-27 16:46 60K 
[   ]lattice8__t27_lattice82023-06-27 16:46 84K 
[   ]lattice8__t30_lattice82023-06-27 16:46 70K 
[   ]lattice8__t31_lattice82023-06-27 16:46 71K 
[   ]lattice8__t32_lattice82023-06-27 16:46 67K 
[   ]lattice8__t34_lattice82023-06-27 16:46 282K 
[   ]lattice8__t35_lattice82023-06-27 16:46 175K 

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