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

[ICO]NameLast modifiedSizeDescription

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

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