Twin directories of verification:

pkg://FSMDesigner4-debug-1.1-1mdv2008.1.x86_64.rpm:7498883/usr/src/debug/FSMDesigner4-1.1/src/  info  downloads[DIR]3  FSMDesigner4-debug-1.1-1mdv2008.1.x86_64.rpm/usr/src/debug/FSMDesigner4-1.1/src/verification/
pkg://FSMGenerator10b7.tar.gz:107334/usr/src/debug/FSMDesigner4-1.1/src/  downloads[DIR]3  FSMGenerator10b7.tar.gz/usr/src/debug/FSMDesigner4-1.1/src/verification/
[DIR]  ftp://ftp.doe.carleton.ca/pub/hahmed/477Tutorial_prj/verification/
[DIR]  ftp://200.17.202.1/CRAN/web/packages/verification/
[DIR]  ftp://200.17.202.1/CRAN/src/contrib/Archive/verification/
[DIR]  ftp://ftp.di.uminho.pt/pub/cran/web/packages/verification/
[DIR]  ftp://ftp.di.uminho.pt/pub/cran/src/contrib/Archive/verification/
[DIR]  ftp://200.17.202.16/CRAN/web/packages/verification/
[DIR]  ftp://200.17.202.16/CRAN/src/contrib/Archive/verification/
[DIR]  ftp://15.217.49.21/ftp1/save/pub/dpbeta/verification/
[DIR]  ftp://ftp.udc.es/mirror/CRAN/src/contrib/Archive/verification/
[DIR]  ftp://15.216.110.21/ftp1/save/pub/dpbeta/verification/
[DIR]  ftp://ftp.cs.uu.nl/mirror/CRAN/web/packages/verification/
[DIR]  ftp://ftp.cs.uu.nl/mirror/CRAN/src/contrib/Archive/verification/
[DIR]  ftp://ftp.eng.auburn.edu/pub/gotetrv/tantenna/patchonttop_prj/verification/
[DIR]  ftp://ftp.eng.auburn.edu/pub/gotetrv/tantenna/finaldesign1_prj/verification/
[DIR]  ftp://ftp.eng.auburn.edu/pub/palasjn/ATF35143__ZZ/ATF35_prj/verification/
[DIR]  ftp://ftp.eng.auburn.edu/pub/palasjn/jithendra/ATF35143__ZZ/ATF35_prj/verification/
[DIR]  ftp://ftp.eng.auburn.edu/pub/palasjn/jithendra/LCRCktSimulation_prj/verification/
[DIR]  ftp://ftp.eng.auburn.edu/pub/palasjn/jithendra/amplifier_prj/verification/
[DIR]  ftp://ftp.eng.auburn.edu/pub/palasjn/jithendra/ass3_prj/verification/
[DIR]  ftp://ftp.eng.auburn.edu/pub/palasjn/jithendra/ass4_prj/verification/
[DIR]  ftp://ftp.eng.auburn.edu/pub/palasjn/jithendra/ass6_prj/verification/
[DIR]  ftp://ftp.eng.auburn.edu/pub/palasjn/jithendra/assgn2_prj/verification/
[DIR]  ftp://ftp.eng.auburn.edu/pub/palasjn/jithendra/lab2_prj/verification/
[DIR]  ftp://ftp.eng.auburn.edu/pub/palasjn/jithendra/new_prj/verification/
[DIR]  ftp://ftp.eng.auburn.edu/pub/sundaan/Printfilter_prj/verification/
[DIR]  ftp://ftp.ecc.u-tokyo.ac.jp/mirror/cran.r-project.org/CRAN/src/contrib/Archive/verification/
[DIR]  ftp://ftp.ecc.u-tokyo.ac.jp/mirror/cran.r-project.org/CRAN/web/packages/verification/
[DIR]  ftp://ftp.stat.math.ethz.ch/pub/Software/CRAN/src/contrib/Archive/verification/
[DIR]  ftp://ftp.stat.math.ethz.ch/pub/Software/CRAN/web/packages/verification/
[DIR]  ftp://ftp.math.ethz.ch/sfs/pub/Software/CRAN/web/packages/verification/
[DIR]  ftp://ftp.math.ethz.ch/sfs/pub/Software/CRAN/src/contrib/Archive/verification/
[DIR]  ftp://200.17.202.17/CRAN/web/packages/verification/
[DIR]  ftp://200.17.202.17/CRAN/src/contrib/Archive/verification/
pkg://planmaker-2004.3.31-2.src.rpm:4167571/PlanFacile-2.0/src/passes/  info  downloads[DIR]3  planmaker-2004.3.31-2.src.rpm/PlanFacile-2.0/src/passes/verification/
[DIR]  ftp://ftp.ii.uib.no/pub/linux/sites/cran.r-project.org/web/packages/verification/
[DIR]  ftp://ftp.ii.uib.no/pub/linux/sites/cran.r-project.org/src/contrib/Archive/verification/
[DIR]  ftp://15.201.49.22/ftp1/save/pub/dpbeta/verification/
[DIR]  ftp://ftp.uvigo.es/mirror/volumes/vol2/cran.r-project.org/pub/R/web/packages/verification/
[DIR]  ftp://ftp.uvigo.es/mirror/volumes/vol2/cran.r-project.org/pub/R/src/contrib/Archive/verification/
[DIR]  ftp://ftp.au.freebsd.org/disks/la4/.p/CRAN/src/contrib/Archive/verification/
[DIR]  ftp://ftp.au.freebsd.org/disks/la4/.p/CRAN/web/packages/verification/
[DIR]  ftp://15.193.112.21/ftp1/save/pub/dpbeta/verification/
[DIR]  ftp://200.236.31.1/CRAN/web/packages/verification/
[DIR]  ftp://packages.ndir.dscr.i18n.2008.11.29-21.31.00.gz/CRAN/web/packages/verification/
[DIR]  ftp://200.236.31.1/CRAN/src/contrib/Archive/verification/
[DIR]  ftp://packages.ndir.dscr.i18n.2008.11.29-21.31.00.gz/CRAN/src/contrib/Archive/verification/
[DIR]  ftp://ftp.us.xemacs.org/pub/mirrors/CRAN/web/packages/verification/
[DIR]  ftp://ftp.us.xemacs.org/pub/mirrors/CRAN/src/contrib/Archive/verification/