update levels
solver: hard impossible decision to stop search early
fix bugs