automatically integrated combinatorial experimental evidence used in manual assertion