Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_isof_tls/conmetr

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]conmetr__t1_conmetr2017-01-13 00:44 21K 
[   ]conmetr__t2_conmetr2017-01-13 00:44 10K 
[   ]conmetr__t3_conmetr2017-01-13 00:44 20K 
[   ]conmetr__t4_conmetr2017-01-13 00:44 12K 
[   ]conmetr__t5_conmetr2017-01-13 00:44 10K 
[   ]conmetr__t6_conmetr2017-01-13 00:44 13K 
[   ]conmetr__t7_conmetr2017-01-13 00:44 36K 
[   ]conmetr__t8_conmetr2017-01-13 00:44 25K 
[   ]conmetr__t9_conmetr2017-01-13 00:44 47K 
[   ]conmetr__t10_conmetr2017-01-13 00:44 46K 
[   ]conmetr__t11_conmetr2017-01-13 00:44 28K 
[   ]conmetr__t12_conmetr2017-01-13 00:44 54K 
[   ]conmetr__t13_conmetr2017-01-13 00:44 61K 
[   ]conmetr__t14_conmetr2017-01-13 00:44 53K 
[   ]conmetr__t15_conmetr2017-01-13 00:44 32K 

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