Archive and cleanup; new solver now runs entire test set in ~315s