@Test public void testContextCreation() { for (int i = 0; i < 1000; i++) { Solver solver = Solver.createSolver(); solver.isSatisfiable(); } }