updated solver comparison for spn