ProbMine: Search for real-world problems