Index of /~mptp/1147/mptp/problems_thf_tls/lattice6

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]lattice6__l1_lattice62017-01-12 22:20 82K 
[ ]lattice6__l2_lattice62017-01-12 22:20 82K 
[ ]lattice6__l3_lattice62017-01-12 22:20 90K 
[ ]lattice6__l4_lattice62017-01-12 22:20 43K 
[ ]lattice6__l5_lattice62017-01-12 22:20 95K 
[ ]lattice6__l8_lattice62017-01-12 22:20 59K 
[ ]lattice6__l12_lattice62017-01-12 22:20 48K 
[ ]lattice6__l33_lattice62017-01-12 22:20 61K 
[ ]lattice6__l52_lattice62017-01-12 22:20 65K 
[ ]lattice6__l53_lattice62017-01-12 22:20 59K 
[ ]lattice6__t1_lattice62017-01-12 22:20 59K 
[ ]lattice6__t2_lattice62017-01-12 22:20 41K 
[ ]lattice6__t3_lattice62017-01-12 22:20 53K 
[ ]lattice6__t4_lattice62017-01-12 22:20 56K 
[ ]lattice6__t5_lattice62017-01-12 22:20 35K 
[ ]lattice6__t6_lattice62017-01-12 22:20 38K 
[ ]lattice6__t7_lattice62017-01-12 22:20 35K 
[ ]lattice6__t8_lattice62017-01-12 22:20 38K 
[ ]lattice6__t9_lattice62017-01-12 22:20 38K 
[ ]lattice6__t10_lattice62017-01-12 22:20 53K 
[ ]lattice6__t11_lattice62017-01-12 22:20 56K 
[ ]lattice6__t12_lattice62017-01-12 22:20 39K 
[ ]lattice6__t13_lattice62017-01-12 22:20 39K 
[ ]lattice6__t14_lattice62017-01-12 22:20 38K 
[ ]lattice6__t15_lattice62017-01-12 22:20 38K 
[ ]lattice6__t16_lattice62017-01-12 22:20 57K 
[ ]lattice6__t17_lattice62017-01-12 22:20 59K 
[ ]lattice6__t18_lattice62017-01-12 22:20 57K 
[ ]lattice6__t19_lattice62017-01-12 22:20 59K 
[ ]lattice6__t20_lattice62017-01-12 22:20 49K 
[ ]lattice6__t21_lattice62017-01-12 22:20 39K 
[ ]lattice6__t22_lattice62017-01-12 22:20 39K 
[ ]lattice6__t23_lattice62017-01-12 22:20 37K 
[ ]lattice6__t24_lattice62017-01-12 22:20 38K 
[ ]lattice6__t25_lattice62017-01-12 22:20 55K 
[ ]lattice6__t26_lattice62017-01-12 22:20 39K 
[ ]lattice6__t27_lattice62017-01-12 22:20 39K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80