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

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