adding solver comparison data to spn chapter