Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tls1/hilbasis

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]hilbasis__t1_hilbasis2017-01-13 19:03 109K 
[ ]hilbasis__t2_hilbasis2017-01-13 19:03 94K 
[ ]hilbasis__t3_hilbasis2017-01-13 19:03 57K 
[ ]hilbasis__t4_hilbasis2017-01-13 19:03 66K 
[ ]hilbasis__t5_hilbasis2017-01-13 19:03 76K 
[ ]hilbasis__t6_hilbasis2017-01-13 19:03 84K 
[ ]hilbasis__t7_hilbasis2017-01-13 19:03 81K 
[ ]hilbasis__t8_hilbasis2017-01-13 19:03 75K 
[ ]hilbasis__t9_hilbasis2017-01-13 19:03 74K 
[ ]hilbasis__t10_hilbasis2017-01-13 19:03 53K 
[ ]hilbasis__t11_hilbasis2017-01-13 19:03 95K 
[ ]hilbasis__t12_hilbasis2017-01-13 19:03 101K 
[ ]hilbasis__t13_hilbasis2017-01-13 19:03 95K 
[ ]hilbasis__t14_hilbasis2017-01-13 19:03 88K 
[ ]hilbasis__t15_hilbasis2017-01-13 19:03 118K 
[ ]hilbasis__t16_hilbasis2017-01-13 19:03 109K 
[ ]hilbasis__t17_hilbasis2017-01-13 19:03 86K 
[ ]hilbasis__t18_hilbasis2017-01-13 19:03 117K 
[ ]hilbasis__t19_hilbasis2017-01-13 19:03 140K 
[ ]hilbasis__t20_hilbasis2017-01-13 19:03 142K 
[ ]hilbasis__t21_hilbasis2017-01-13 19:03 111K 
[ ]hilbasis__t22_hilbasis2017-01-13 19:03 94K 
[ ]hilbasis__t23_hilbasis2017-01-13 19:03 80K 
[ ]hilbasis__t24_hilbasis2017-01-13 19:03 126K 
[ ]hilbasis__t25_hilbasis2017-01-13 19:03 93K 
[ ]hilbasis__t26_hilbasis2017-01-13 19:03 123K 
[ ]hilbasis__t27_hilbasis2017-01-13 19:03 93K 
[ ]hilbasis__t28_hilbasis2017-01-13 19:03 166K 
[ ]hilbasis__t29_hilbasis2017-01-13 19:03 176K 
[ ]hilbasis__t30_hilbasis2017-01-13 19:03 151K 
[ ]hilbasis__t31_hilbasis2017-01-13 19:03 108K 
[ ]hilbasis__t32_hilbasis2017-01-13 19:03 93K 
[ ]hilbasis__t33_hilbasis2017-01-13 19:03 75K 
[ ]hilbasis__t34_hilbasis2017-01-13 19:03 85K 
[ ]hilbasis__t35_hilbasis2017-01-13 19:03 175K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80