Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_isof_tls1/scmpds_i

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]scmpds_i__l3_scmpds_i2017-01-13 17:40 78K 
[   ]scmpds_i__l24_scmpds_i2017-01-13 17:40 92K 
[   ]scmpds_i__l25_scmpds_i2017-01-13 17:40 91K 
[   ]scmpds_i__l26_scmpds_i2017-01-13 17:40 91K 
[   ]scmpds_i__l27_scmpds_i2017-01-13 17:40 91K 
[   ]scmpds_i__l28_scmpds_i2017-01-13 17:40 91K 
[   ]scmpds_i__l29_scmpds_i2017-01-13 17:40 91K 
[   ]scmpds_i__l30_scmpds_i2017-01-13 17:40 91K 
[   ]scmpds_i__t1_scmpds_i2017-01-13 17:40 41K 
[   ]scmpds_i__t2_scmpds_i2017-01-13 17:40 78K 
[   ]scmpds_i__t3_scmpds_i2017-01-13 17:40 81K 
[   ]scmpds_i__t4_scmpds_i2017-01-13 17:40 81K 
[   ]scmpds_i__t5_scmpds_i2017-01-13 17:40 85K 
[   ]scmpds_i__t6_scmpds_i2017-01-13 17:40 86K 
[   ]scmpds_i__t7_scmpds_i2017-01-13 17:40 88K 
[   ]scmpds_i__t8_scmpds_i2017-01-13 17:40 84K 

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