Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_isof_from.bad_dt_f/lp_space

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]lp_space__e1_1_1_12017-01-05 21:24 46K 
[ ]lp_space__e1_2_1_12017-01-05 21:24 40K 
[ ]lp_space__e1_27_4_1_2_12017-01-05 21:24 67K 
[ ]lp_space__e2_12_1_12017-01-05 21:24 71K 
[ ]lp_space__e2_27_4_3_12017-01-05 21:24 67K 
[ ]lp_space__e3_16_22017-01-05 21:24 53K 
[ ]lp_space__e3_232017-01-05 21:24 48K 
[ ]lp_space__e3_27_22017-01-05 21:24 62K 
[ ]lp_space__e4_242017-01-05 21:24 50K 
[ ]lp_space__e6_27_4_12017-01-05 21:24 88K 
[ ]lp_space__e7_62017-01-05 21:24 49K 
[ ]lp_space__e7_272017-01-05 21:24 65K 
[ ]lp_space__e19_82017-01-05 21:24 49K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80