Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp1/d16_ami_2

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]ami_3__885_22.min1.thm1.tptp2017-02-06 16:58 251  
[   ]ami_3__992_59.min1.thm1.tptp2017-02-06 16:58 278  
[   ]scmfsa_2__168_23.min1.thm1.tptp2017-02-06 16:58 269  
[   ]scmfsa_2__246_22.min1.thm1.tptp2017-02-06 16:58 269  
[   ]scmfsa_2__254_22.min1.thm1.tptp2017-02-06 16:58 269  
[   ]scmfsa_2__671_22.min1.thm1.tptp2017-02-06 16:58 266  
[   ]scmfsa_2__689_22.min1.thm1.tptp2017-02-06 16:58 266  
[   ]scmfsa_m__769_24.min1.thm1.tptp2017-02-06 16:58 273  
[   ]scmfsa_m__776_24.min1.thm1.tptp2017-02-06 16:58 273  
[   ]scmfsa_m__777_24.min1.thm1.tptp2017-02-06 16:58 273  
[   ]scmfsa_m__784_24.min1.thm1.tptp2017-02-06 16:58 273  
[   ]scmfsa_m__785_24.min1.thm1.tptp2017-02-06 16:58 273  
[   ]scmfsa_m__786_24.min1.thm1.tptp2017-02-06 16:58 273  
[   ]scmfsa_m__793_24.min1.thm1.tptp2017-02-06 16:58 273  
[   ]scmfsa_m__794_24.min1.thm1.tptp2017-02-06 16:58 273  
[   ]scmfsa_m__795_24.min1.thm1.tptp2017-02-06 16:58 273  
[   ]scmfsa_m__796_24.min1.thm1.tptp2017-02-06 16:58 273  
[   ]scmpds_2__99_22.min1.thm1.tptp2017-02-06 16:58 264  
[   ]scmpds_2__1460_24.min1.thm1.tptp2017-02-06 16:58 279  
[   ]scmpds_3__61_24.min1.thm1.tptp2017-02-06 16:58 264  
[   ]scmpds_3__78_24.min1.thm1.tptp2017-02-06 16:58 264  
[   ]scmpds_4__180_23.min1.thm1.tptp2017-02-06 16:58 264  
[   ]scmpds_4__321_26.min1.thm1.tptp2017-02-06 16:58 284  
[   ]scmpds_5__2277_24.min1.thm1.tptp2017-02-06 16:58 269  
[   ]scmpds_7__1243_24.min1.thm1.tptp2017-02-06 16:58 269  
[   ]scmpds_8__52_11.min1.thm1.tptp2017-02-06 16:58 264  
[   ]scmpds_9__235_22.min1.thm1.tptp2017-02-06 16:58 265  
[   ]scmpds_9__634_24.min1.thm1.tptp2017-02-06 16:58 271  
[   ]scmring3__79_22.min1.thm1.tptp2017-02-06 16:58 280  

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