Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tl.bad_dt_f/lattice6

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]lattice6__l1_lattice62016-03-08 13:07 82K 
[ ]lattice6__l2_lattice62016-03-08 13:07 82K 
[ ]lattice6__l3_lattice62016-03-08 13:07 90K 
[ ]lattice6__l4_lattice62016-03-08 13:07 43K 
[ ]lattice6__l5_lattice62016-03-08 13:07 95K 
[ ]lattice6__l8_lattice62016-03-08 13:07 59K 
[ ]lattice6__l12_lattice62016-03-08 13:07 48K 
[ ]lattice6__l33_lattice62016-03-08 13:07 61K 
[ ]lattice6__l52_lattice62017-01-05 20:54 65K 
[ ]lattice6__l53_lattice62017-01-05 20:54 59K 
[ ]lattice6__t1_lattice62016-03-08 13:07 59K 
[ ]lattice6__t2_lattice62016-03-08 13:07 41K 
[ ]lattice6__t3_lattice62016-03-08 13:07 53K 
[ ]lattice6__t4_lattice62016-03-08 13:07 56K 
[ ]lattice6__t5_lattice62016-03-08 13:07 35K 
[ ]lattice6__t6_lattice62016-03-08 13:07 38K 
[ ]lattice6__t7_lattice62016-03-08 13:07 35K 
[ ]lattice6__t8_lattice62016-03-08 13:07 38K 
[ ]lattice6__t9_lattice62017-01-05 20:54 38K 
[ ]lattice6__t10_lattice62017-01-05 20:54 53K 
[ ]lattice6__t11_lattice62017-01-05 20:54 56K 
[ ]lattice6__t12_lattice62017-01-05 20:54 39K 
[ ]lattice6__t13_lattice62017-01-05 20:54 39K 
[ ]lattice6__t14_lattice62017-01-05 20:54 38K 
[ ]lattice6__t15_lattice62017-01-05 20:54 38K 
[ ]lattice6__t16_lattice62017-01-05 20:54 57K 
[ ]lattice6__t17_lattice62016-03-08 13:07 59K 
[ ]lattice6__t18_lattice62017-01-05 20:54 57K 
[ ]lattice6__t19_lattice62016-03-08 13:07 59K 
[ ]lattice6__t20_lattice62016-03-08 13:07 49K 
[ ]lattice6__t21_lattice62017-01-05 20:54 39K 
[ ]lattice6__t22_lattice62017-01-05 20:54 39K 
[ ]lattice6__t23_lattice62017-01-05 20:54 37K 
[ ]lattice6__t24_lattice62017-01-05 20:54 38K 
[ ]lattice6__t25_lattice62017-01-05 20:54 55K 
[ ]lattice6__t26_lattice62017-01-05 20:54 39K 
[ ]lattice6__t27_lattice62017-01-05 20:54 39K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80