Name Last modified Size Description![[PARENTDIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[ ]](/icons/compressed.gif){kind=icon}
DIS.zip 2018-11-07 18:11 4.2M
![[DIR]](/icons/folder.gif){kind=icon}
benchmarks/ 2019-11-17 23:25 -
ijgp.tar.gz 2014-09-04 08:28 21M
rees.zip 2017-07-28 23:22 2.8M
uai2008-mpe.zip 2017-07-28 23:22 139M
uai2008-pe.zip 2017-07-28 23:22 126M