Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_small_consist/lattice7

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]lattice7__l18_lattice72013-09-04 12:29 31K 
[   ]lattice7__l24_lattice72013-09-04 12:29 15K 
[   ]lattice7__l25_lattice72013-09-04 12:29 15K 
[   ]lattice7__t1_lattice72013-09-04 12:29 19K 
[   ]lattice7__t2_lattice72013-09-04 12:29 30K 
[   ]lattice7__t3_lattice72013-09-04 12:29 19K 
[   ]lattice7__t4_lattice72013-09-04 12:29 19K 
[   ]lattice7__t5_lattice72013-09-04 12:29 19K 
[   ]lattice7__t6_lattice72013-09-04 12:29 25K 
[   ]lattice7__t7_lattice72013-09-04 12:29 24K 
[   ]lattice7__t8_lattice72013-09-04 12:29 21K 
[   ]lattice7__t9_lattice72013-09-04 12:29 33K 
[   ]lattice7__t10_lattice72013-09-04 12:29 18K 
[   ]lattice7__t11_lattice72013-09-04 12:29 23K 
[   ]lattice7__t12_lattice72013-09-04 12:29 24K 
[   ]lattice7__t13_lattice72013-09-04 12:29 46K 
[   ]lattice7__t14_lattice72013-09-04 12:29 29K 
[   ]lattice7__t15_lattice72013-09-04 12:29 28K 
[   ]lattice7__t16_lattice72013-09-04 12:29 28K 

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