automatically integrated combinatorial computational and experimental evidence