Results for punksat