automatically integrated combinatorial computational and experimental evidence used in manual assertion