./picosat-957.tar.gz already exists, skipping download
Getting http://fmv.jku.at/picosat/picosat-957.tar.gz to ./picosat-957.tar.gz