Refactor tests into one testcase per solver

Created originally on Bitbucket by avmo (Ashwin Vishnu)

Was already merged in Bitbucket before import, marked as merged by the import user

Related to #22 (closed)