} else if (DomainSearchingAlgorythm == 1) {
get_min_domain(domains.back(), graph, domsizes, domain_min_size);
}
+ std::cout << "new domain: " << domains.back().size() << " atoms\n";
delete_domain_from_graph(graph, domains.back());
domsizes.resize(0);
find_domain_sizes(graph, domsizes);