high throughput evidence used in automatic assertion