Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tl.bad_dt_f/lattice8

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]lattice8__l3_lattice82016-03-08 13:07 31K 
[   ]lattice8__l4_lattice82016-03-08 13:07 26K 
[   ]lattice8__l47_lattice82016-03-08 13:07 28K 
[   ]lattice8__l48_lattice82016-03-08 13:07 31K 
[   ]lattice8__t1_lattice82016-03-08 13:07 39K 
[   ]lattice8__t2_lattice82016-03-08 13:07 33K 
[   ]lattice8__t3_lattice82016-03-08 13:07 46K 
[   ]lattice8__t4_lattice82016-03-08 13:07 40K 
[   ]lattice8__t5_lattice82016-03-08 13:07 52K 
[   ]lattice8__t6_lattice82016-03-08 13:07 49K 
[   ]lattice8__t7_lattice82016-03-08 13:07 65K 
[   ]lattice8__t8_lattice82016-03-08 13:07 279K 
[   ]lattice8__t9_lattice82016-03-08 13:07 71K 
[   ]lattice8__t10_lattice82016-03-08 13:07 55K 
[   ]lattice8__t11_lattice82016-03-08 13:07 55K 
[   ]lattice8__t12_lattice82016-03-08 13:07 64K 
[   ]lattice8__t13_lattice82016-03-08 13:07 57K 
[   ]lattice8__t14_lattice82016-03-08 13:07 32K 
[   ]lattice8__t15_lattice82016-03-08 13:07 32K 
[   ]lattice8__t16_lattice82016-03-08 13:07 33K 
[   ]lattice8__t17_lattice82016-03-08 13:07 29K 
[   ]lattice8__t18_lattice82016-03-08 13:07 50K 
[   ]lattice8__t19_lattice82016-03-08 13:07 50K 
[   ]lattice8__t20_lattice82016-03-08 13:07 51K 
[   ]lattice8__t21_lattice82016-03-08 13:07 30K 
[   ]lattice8__t22_lattice82017-01-05 20:54 62K 
[   ]lattice8__t23_lattice82016-03-08 13:07 53K 
[   ]lattice8__t24_lattice82016-03-08 13:07 54K 
[   ]lattice8__t25_lattice82016-03-08 13:07 60K 
[   ]lattice8__t26_lattice82016-03-08 13:07 60K 
[   ]lattice8__t27_lattice82017-01-05 20:54 85K 
[   ]lattice8__t28_lattice82016-03-08 13:07 43K 
[   ]lattice8__t29_lattice82017-01-05 20:54 87K 
[   ]lattice8__t30_lattice82016-03-08 13:07 71K 
[   ]lattice8__t31_lattice82016-03-08 13:07 72K 
[   ]lattice8__t32_lattice82017-01-05 20:54 67K 
[   ]lattice8__t33_lattice82017-01-05 20:54 60K 
[   ]lattice8__t34_lattice82017-01-05 20:54 293K 
[   ]lattice8__t35_lattice82017-01-05 20:54 178K 
[   ]lattice8__t36_lattice82016-03-08 13:07 27K 

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