Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_from1/lattice5

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]lattice5__e1_32_1_1_12017-01-13 18:43 48K 
[   ]lattice5__e1_44_1_12017-01-13 18:43 45K 
[   ]lattice5__e1_54_1_12017-01-13 18:43 62K 
[   ]lattice5__e2_32_1_12017-01-13 18:43 53K 
[   ]lattice5__e2_452017-01-13 18:43 42K 
[   ]lattice5__e2_462017-01-13 18:43 42K 
[   ]lattice5__e2_552017-01-13 18:43 59K 
[   ]lattice5__e2_562017-01-13 18:43 60K 
[   ]lattice5__e2_72_1_12017-01-13 18:43 55K 
[   ]lattice5__e2_75_1_12017-01-13 18:43 48K 
[   ]lattice5__e3_58_22017-01-13 18:43 33K 
[   ]lattice5__e3_62_12017-01-13 18:43 51K 
[   ]lattice5__e3_63_22017-01-13 18:43 51K 
[   ]lattice5__e3_64_22017-01-13 18:43 51K 
[   ]lattice5__e3_732017-01-13 18:43 50K 
[   ]lattice5__e3_742017-01-13 18:43 50K 
[   ]lattice5__e4_48_1_12017-01-13 18:43 32K 
[   ]lattice5__e4_492017-01-13 18:43 32K 
[   ]lattice5__e4_582017-01-13 18:43 33K 
[   ]lattice5__e4_59_22017-01-13 18:43 49K 
[   ]lattice5__e4_59_2_12017-01-13 18:43 36K 
[   ]lattice5__e4_612017-01-13 18:43 50K 
[   ]lattice5__e4_622017-01-13 18:43 52K 
[   ]lattice5__e4_65_22017-01-13 18:43 51K 
[   ]lattice5__e5_37_1_12017-01-13 18:43 64K 
[   ]lattice5__e5_472017-01-13 18:43 43K 
[   ]lattice5__e5_48_1_1_22017-01-13 18:43 33K 
[   ]lattice5__e5_49_22017-01-13 18:43 33K 
[   ]lattice5__e5_572017-01-13 18:43 61K 
[   ]lattice5__e5_592017-01-13 18:43 51K 
[   ]lattice5__e5_59_2_1_12017-01-13 18:43 49K 
[   ]lattice5__e5_61_12017-01-13 18:43 51K 
[   ]lattice5__e5_632017-01-13 18:43 49K 
[   ]lattice5__e5_642017-01-13 18:43 49K 
[   ]lattice5__e6_652017-01-13 18:43 51K 
[   ]lattice5__e7_63_22017-01-13 18:43 33K 
[   ]lattice5__e7_64_22017-01-13 18:43 33K 
[   ]lattice5__e8_65_22017-01-13 18:43 33K 
[   ]lattice5__e11_72_1_12017-01-13 18:43 52K 
[   ]lattice5__e12_83_1_22017-01-13 18:43 38K 
[   ]lattice5__e13_59_22017-01-13 18:43 33K 
[   ]lattice5__e13_802017-01-13 18:43 49K 
[   ]lattice5__e18_24_1_12017-01-13 18:43 52K 
[   ]lattice5__e38_822017-01-13 18:43 37K 

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