Index of /~mptp/7.13.01_4.181.1147/mptp/problems_gdfthf/scmpds_i

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]scmpds_i__l3_scmpds_i2019-08-19 18:52 87K 
[   ]scmpds_i__l24_scmpds_i2019-08-19 18:52 87K 
[   ]scmpds_i__l25_scmpds_i2019-08-19 18:52 92K 
[   ]scmpds_i__l26_scmpds_i2019-08-19 18:52 90K 
[   ]scmpds_i__l27_scmpds_i2019-08-19 18:52 90K 
[   ]scmpds_i__l28_scmpds_i2019-08-19 18:52 90K 
[   ]scmpds_i__l29_scmpds_i2019-08-19 18:52 91K 
[   ]scmpds_i__l30_scmpds_i2019-08-19 18:52 91K 
[   ]scmpds_i__t1_scmpds_i2019-08-19 18:52 37K 
[   ]scmpds_i__t2_scmpds_i2019-08-19 18:52 90K 
[   ]scmpds_i__t3_scmpds_i2019-08-19 18:52 89K 
[   ]scmpds_i__t4_scmpds_i2019-08-19 18:52 89K 
[   ]scmpds_i__t5_scmpds_i2019-08-19 18:52 118K 
[   ]scmpds_i__t6_scmpds_i2019-08-19 18:52 143K 
[   ]scmpds_i__t7_scmpds_i2019-08-19 18:52 170K 
[   ]scmpds_i__t8_scmpds_i2019-08-19 18:52 231K 

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