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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]hilbasis__t1_hilbasis2016-03-08 13:06 107K 
[ ]hilbasis__t2_hilbasis2016-03-08 13:06 93K 
[ ]hilbasis__t3_hilbasis2017-01-05 20:54 57K 
[ ]hilbasis__t4_hilbasis2016-03-08 13:06 66K 
[ ]hilbasis__t5_hilbasis2016-03-08 13:06 76K 
[ ]hilbasis__t6_hilbasis2016-03-08 13:06 84K 
[ ]hilbasis__t7_hilbasis2016-03-08 13:06 81K 
[ ]hilbasis__t8_hilbasis2016-03-08 13:06 75K 
[ ]hilbasis__t9_hilbasis2016-03-08 13:06 74K 
[ ]hilbasis__t10_hilbasis2016-03-08 13:06 53K 
[ ]hilbasis__t11_hilbasis2016-03-08 13:06 94K 
[ ]hilbasis__t12_hilbasis2016-03-08 13:06 101K 
[ ]hilbasis__t13_hilbasis2016-03-08 13:06 95K 
[ ]hilbasis__t14_hilbasis2016-03-08 13:06 88K 
[ ]hilbasis__t15_hilbasis2016-03-08 13:06 118K 
[ ]hilbasis__t16_hilbasis2016-03-08 13:06 109K 
[ ]hilbasis__t17_hilbasis2017-01-05 20:54 86K 
[ ]hilbasis__t18_hilbasis2016-03-08 13:06 116K 
[ ]hilbasis__t19_hilbasis2016-03-08 13:06 139K 
[ ]hilbasis__t20_hilbasis2016-03-08 13:06 140K 
[ ]hilbasis__t21_hilbasis2016-03-08 13:06 111K 
[ ]hilbasis__t22_hilbasis2016-03-08 13:06 94K 
[ ]hilbasis__t23_hilbasis2016-03-08 13:06 80K 
[ ]hilbasis__t24_hilbasis2016-03-08 13:06 126K 
[ ]hilbasis__t25_hilbasis2016-03-08 13:06 93K 
[ ]hilbasis__t26_hilbasis2016-03-08 13:06 123K 
[ ]hilbasis__t27_hilbasis2016-03-08 13:06 93K 
[ ]hilbasis__t28_hilbasis2016-03-08 13:06 166K 
[ ]hilbasis__t29_hilbasis2016-03-08 13:06 174K 
[ ]hilbasis__t30_hilbasis2016-03-08 13:06 151K 
[ ]hilbasis__t31_hilbasis2016-03-08 13:06 107K 
[ ]hilbasis__t32_hilbasis2016-03-08 13:06 93K 
[ ]hilbasis__t33_hilbasis2016-03-08 13:06 74K 
[ ]hilbasis__t34_hilbasis2016-03-08 13:06 85K 
[ ]hilbasis__t35_hilbasis2017-01-05 20:54 174K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80