Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_isof_from1/lp_space

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]lp_space__e1_1_1_12017-01-13 18:17 46K 
[   ]lp_space__e1_2_1_12017-01-13 18:17 40K 
[   ]lp_space__e1_27_4_1_2_12017-01-13 18:17 67K 
[   ]lp_space__e2_12_1_12017-01-13 18:17 71K 
[   ]lp_space__e2_27_4_3_12017-01-13 18:17 67K 
[   ]lp_space__e3_16_22017-01-13 18:17 53K 
[   ]lp_space__e3_232017-01-13 18:17 49K 
[   ]lp_space__e3_27_22017-01-13 18:17 62K 
[   ]lp_space__e4_242017-01-13 18:17 50K 
[   ]lp_space__e6_27_4_12017-01-13 18:17 88K 
[   ]lp_space__e7_62017-01-13 18:17 49K 
[   ]lp_space__e7_272017-01-13 18:17 65K 
[   ]lp_space__e19_82017-01-13 18:17 49K 

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