Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_isof_tls/lattice6

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]lattice6__l1_lattice62017-01-13 00:40 122K 
[ ]lattice6__l2_lattice62017-01-13 00:40 122K 
[ ]lattice6__l3_lattice62017-01-13 00:40 133K 
[ ]lattice6__l4_lattice62017-01-13 00:40 69K 
[ ]lattice6__l5_lattice62017-01-13 00:40 143K 
[ ]lattice6__l8_lattice62017-01-13 00:40 92K 
[ ]lattice6__l12_lattice62017-01-13 00:40 78K 
[ ]lattice6__l33_lattice62017-01-13 00:40 97K 
[ ]lattice6__l52_lattice62017-01-13 00:40 102K 
[ ]lattice6__l53_lattice62017-01-13 00:40 94K 
[ ]lattice6__t1_lattice62017-01-13 00:40 96K 
[ ]lattice6__t2_lattice62017-01-13 00:40 66K 
[ ]lattice6__t3_lattice62017-01-13 00:40 86K 
[ ]lattice6__t4_lattice62017-01-13 00:40 89K 
[ ]lattice6__t5_lattice62017-01-13 00:40 57K 
[ ]lattice6__t6_lattice62017-01-13 00:40 62K 
[ ]lattice6__t7_lattice62017-01-13 00:40 57K 
[ ]lattice6__t8_lattice62017-01-13 00:40 62K 
[ ]lattice6__t9_lattice62017-01-13 00:40 61K 
[ ]lattice6__t10_lattice62017-01-13 00:40 85K 
[ ]lattice6__t11_lattice62017-01-13 00:40 90K 
[ ]lattice6__t12_lattice62017-01-13 00:40 62K 
[ ]lattice6__t13_lattice62017-01-13 00:40 62K 
[ ]lattice6__t14_lattice62017-01-13 00:40 61K 
[ ]lattice6__t15_lattice62017-01-13 00:40 61K 
[ ]lattice6__t16_lattice62017-01-13 00:40 91K 
[ ]lattice6__t17_lattice62017-01-13 00:40 95K 
[ ]lattice6__t18_lattice62017-01-13 00:40 91K 
[ ]lattice6__t19_lattice62017-01-13 00:40 95K 
[ ]lattice6__t20_lattice62017-01-13 00:40 80K 
[ ]lattice6__t21_lattice62017-01-13 00:40 62K 
[ ]lattice6__t22_lattice62017-01-13 00:40 62K 
[ ]lattice6__t23_lattice62017-01-13 00:40 60K 
[ ]lattice6__t24_lattice62017-01-13 00:40 60K 
[ ]lattice6__t25_lattice62017-01-13 00:40 89K 
[ ]lattice6__t26_lattice62017-01-13 00:40 62K 
[ ]lattice6__t27_lattice62017-01-13 00:40 62K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80