Optimality guarantees for crystal structure prediction | Litlas