Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_isof_tls/lattice5

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]lattice5__l15_lattice52017-01-13 00:30 56K 
[ ]lattice5__l63_lattice52017-01-13 00:30 66K 
[ ]lattice5__l64_lattice52017-01-13 00:30 62K 
[ ]lattice5__l65_lattice52017-01-13 00:30 80K 
[ ]lattice5__t1_lattice52017-01-13 00:29 66K 
[ ]lattice5__t2_lattice52017-01-13 00:29 67K 
[ ]lattice5__t3_lattice52017-01-13 00:29 63K 
[ ]lattice5__t4_lattice52017-01-13 00:29 112K 
[ ]lattice5__t5_lattice52017-01-13 00:29 109K 
[ ]lattice5__t6_lattice52017-01-13 00:29 93K 
[ ]lattice5__t7_lattice52017-01-13 00:29 94K 
[ ]lattice5__t8_lattice52017-01-13 00:29 121K 
[ ]lattice5__t9_lattice52017-01-13 00:29 94K 
[ ]lattice5__t10_lattice52017-01-13 00:29 121K 
[ ]lattice5__t11_lattice52017-01-13 00:29 102K 
[ ]lattice5__t12_lattice52017-01-13 00:29 169K 
[ ]lattice5__t13_lattice52017-01-13 00:29 143K 
[ ]lattice5__t14_lattice52017-01-13 00:29 136K 
[ ]lattice5__t15_lattice52017-01-13 00:29 116K 
[ ]lattice5__t16_lattice52017-01-13 00:29 108K 
[ ]lattice5__t17_lattice52017-01-13 00:29 107K 
[ ]lattice5__t18_lattice52017-01-13 00:29 117K 
[ ]lattice5__t19_lattice52017-01-13 00:29 112K 
[ ]lattice5__t20_lattice52017-01-13 00:29 96K 
[ ]lattice5__t21_lattice52017-01-13 00:29 78K 
[ ]lattice5__t22_lattice52017-01-13 00:29 79K 
[ ]lattice5__t23_lattice52017-01-13 00:29 80K 
[ ]lattice5__t24_lattice52017-01-13 00:29 69K 
[ ]lattice5__t25_lattice52017-01-13 00:30 104K 
[ ]lattice5__t26_lattice52017-01-13 00:30 107K 
[ ]lattice5__t27_lattice52017-01-13 00:30 107K 
[ ]lattice5__t28_lattice52017-01-13 00:30 108K 
[ ]lattice5__t29_lattice52017-01-13 00:30 71K 
[ ]lattice5__t30_lattice52017-01-13 00:30 119K 
[ ]lattice5__t31_lattice52017-01-13 00:30 109K 
[ ]lattice5__t32_lattice52017-01-13 00:30 110K 
[ ]lattice5__t33_lattice52017-01-13 00:30 121K 
[ ]lattice5__t34_lattice52017-01-13 00:30 121K 
[ ]lattice5__t35_lattice52017-01-13 00:30 156K 
[ ]lattice5__t36_lattice52017-01-13 00:29 87K 
[ ]lattice5__t37_lattice52017-01-13 00:30 162K 
[ ]lattice5__t38_lattice52017-01-13 00:30 131K 
[ ]lattice5__t39_lattice52017-01-13 00:30 132K 
[ ]lattice5__t40_lattice52017-01-13 00:30 94K 
[ ]lattice5__t41_lattice52017-01-13 00:30 125K 
[ ]lattice5__t42_lattice52017-01-13 00:30 113K 
[ ]lattice5__t43_lattice52017-01-13 00:30 191K 
[ ]lattice5__t44_lattice52017-01-13 00:30 270K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80