manually integrated combinatorial computational and experimental evidence used in automatic assertion