automatically integrated combinatorial computational evidence