Test solver