Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_isof_from1/fscirc_2

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]fscirc_2__e1_1_1_12017-01-13 18:31 95K 
[   ]fscirc_2__e1_1_1_22017-01-13 18:31 93K 
[   ]fscirc_2__e1_252017-01-13 18:31 70K 
[   ]fscirc_2__e2_2_1_12017-01-13 18:31 135K 
[   ]fscirc_2__e3_262017-01-13 18:31 80K 
[   ]fscirc_2__e4_152017-01-13 18:31 73K 
[   ]fscirc_2__e4_22_1_12017-01-13 18:31 73K 
[   ]fscirc_2__e5_2_1_22017-01-13 18:31 141K 
[   ]fscirc_2__e5_232017-01-13 18:31 87K 
[   ]fscirc_2__e7_112017-01-13 18:31 73K 
[   ]fscirc_2__e7_332017-01-13 18:31 70K 
[   ]fscirc_2__e10_3_1_22017-01-13 18:31 64K 
[   ]fscirc_2__e12_252017-01-13 18:31 92K 
[   ]fscirc_2__e14_42017-01-13 18:31 117K 
[   ]fscirc_2__e15_3_1_12017-01-13 18:31 87K 
[   ]fscirc_2__e16_3_1_22017-01-13 18:31 82K 
[   ]fscirc_2__e16_42017-01-13 18:31 127K 
[   ]fscirc_2__e16_8_12017-01-13 18:31 117K 
[   ]fscirc_2__e17_82017-01-13 18:31 55K 
[   ]fscirc_2__e18_42017-01-13 18:31 90K 
[   ]fscirc_2__e27_332017-01-13 18:31 159K 
[   ]fscirc_2__e29_42017-01-13 18:31 86K 

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